#BEGIN: [Mon Sep 4 14:13:22 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance015_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance015_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance015_graph002.col /benchmark/random_instance/random_instance015_graph002_01.dat c /benchmark/random_instance/random_instance015_graph002.col c /benchmark/random_instance/random_instance015_graph002_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.091 seconds *** Info : (clingo): Queueing signal... *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 2 8 191 87 43 97 120 185 9 57 35 84 18 151 93 110 184 109 29 194 147 70 92 30 114 45 66 111 80 46 144 155 101 76 140 193 180 133 11 75 5 131 16 130 161 60 162 113 116 64 132 112 21 119 15 68 176 137 106 143 85 t 173 187 129 64 152 29 110 170 9 186 162 45 154 43 123 87 19 92 117 172 157 69 179 3 144 21 149 131 53 13 115 111 127 42 32 70 93 114 100 137 16 168 101 82 143 81 5 15 126 66 185 167 67 130 2 135 106 85 174 26 61 a YES a 2 5 8 9 11 15 16 18 21 29 30 35 43 45 46 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 106 109 110 111 112 113 114 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 191 193 194 a 2 5 8 9 11 15 16 18 21 29 30 35 43 45 46 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 106 109 110 112 113 114 116 119 120 130 131 132 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 194 a 2 5 8 9 11 15 16 18 21 29 30 35 43 45 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 106 109 110 112 113 114 116 119 120 123 130 131 132 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 194 a 2 5 8 9 11 15 16 18 21 29 30 35 43 45 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 106 109 110 111 112 113 114 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 191 193 194 a 2 5 8 9 11 15 16 18 21 29 30 35 43 45 57 60 64 66 68 70 75 76 79 80 84 85 87 92 93 97 101 106 109 110 111 112 113 114 116 119 120 123 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 191 194 a 2 5 8 9 11 15 16 18 21 29 30 35 43 45 57 60 64 66 68 70 75 76 79 80 84 85 87 92 93 97 101 106 109 110 112 113 114 116 119 120 123 130 131 132 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 194 a 2 5 8 9 11 15 16 18 21 29 30 35 43 45 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 106 109 110 112 113 114 116 119 120 123 130 131 132 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 194 a 2 5 8 9 11 15 16 18 21 29 30 35 43 45 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 106 109 110 112 113 114 116 119 120 123 129 130 131 132 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 a 2 5 8 9 11 15 16 18 21 29 30 35 43 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 132 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 a 2 5 8 9 11 13 15 16 18 21 29 30 35 43 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 a 2 5 8 9 11 13 15 16 18 21 30 35 43 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 104 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 a 2 5 8 11 13 15 16 18 21 30 35 39 43 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 104 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 a 2 5 8 11 13 15 16 18 21 30 35 39 43 44 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 104 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 a 2 5 8 11 13 15 16 18 21 29 30 35 39 43 44 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 a 2 5 8 11 13 15 16 18 21 29 30 35 39 43 44 46 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 129 130 131 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 a 2 5 8 11 13 15 16 18 21 29 30 35 39 43 44 57 60 64 66 68 70 75 76 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 176 180 184 185 191 193 a 2 5 8 11 13 15 16 18 21 29 30 35 39 43 44 57 60 64 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 180 184 185 191 193 a 2 5 8 11 13 15 16 18 21 30 35 39 43 44 57 60 64 66 68 70 75 76 77 84 85 87 92 93 97 101 104 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 180 184 185 191 193 a 2 5 8 11 13 15 16 18 21 30 35 39 43 44 57 60 64 66 68 70 75 76 77 84 85 87 92 93 97 101 104 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 180 183 184 185 193 a 2 5 8 11 13 15 16 18 21 30 35 39 43 44 57 60 64 66 68 70 75 76 77 84 85 87 92 93 97 101 104 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 176 180 183 184 185 a 2 5 8 11 13 15 16 18 21 29 30 35 39 43 44 57 60 64 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 176 180 183 184 185 a 2 5 8 11 13 15 16 18 21 29 30 35 39 43 44 57 60 64 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 137 139 140 143 144 147 151 155 161 162 180 183 184 185 193 a 2 5 8 11 13 15 16 18 21 29 30 35 39 43 44 57 60 64 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 135 137 139 143 144 147 151 155 161 162 180 183 184 185 193 a 2 5 8 11 13 15 16 18 21 29 30 35 39 43 44 57 60 65 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 135 137 139 143 144 147 151 155 161 162 180 183 184 185 193 a 2 5 8 11 13 15 16 18 21 24 29 30 35 39 43 44 57 60 65 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 135 137 139 144 147 151 155 161 162 180 183 184 185 193 a 2 5 8 11 13 15 16 18 21 24 30 35 39 43 44 57 60 65 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 135 137 139 140 144 147 151 155 161 162 180 183 184 185 193 a 2 5 8 11 13 15 16 18 21 24 30 35 39 43 44 57 60 65 66 68 70 75 76 77 84 85 87 92 93 97 101 104 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 135 137 139 140 144 147 151 155 161 162 180 183 184 193 a 2 5 8 11 13 15 16 18 21 24 30 35 39 43 44 57 60 65 66 68 70 75 76 77 84 85 87 92 93 97 101 104 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 135 137 139 144 147 151 155 161 162 179 180 183 184 193 a 2 5 8 11 13 15 16 18 21 24 29 30 35 39 43 44 57 60 65 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 135 137 139 144 147 151 155 161 162 179 180 183 184 193 a 2 3 5 8 11 13 15 16 18 21 24 29 30 35 39 43 44 57 60 65 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 130 131 133 135 137 139 144 147 151 155 162 179 180 183 184 193 a 2 3 5 8 11 13 15 16 18 21 24 29 30 35 39 43 44 57 60 65 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 131 133 135 137 139 144 147 151 155 162 179 180 183 184 185 193 a 2 3 5 8 11 13 15 16 18 21 24 29 35 39 43 44 57 60 65 66 68 70 75 76 77 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 131 133 135 137 139 144 147 151 155 162 179 180 183 184 185 187 193 a 2 3 5 8 11 13 15 16 18 21 24 29 35 39 43 44 57 65 66 68 70 75 76 77 82 84 85 87 92 93 97 101 106 107 109 110 112 113 114 116 119 120 123 129 131 133 135 137 139 144 147 151 155 162 179 180 183 184 185 187 193 a 2 3 5 8 11 13 15 16 21 24 29 35 39 43 44 57 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 109 110 112 113 114 116 119 120 123 129 131 133 135 137 139 144 147 151 155 162 179 180 183 184 185 187 193 a 2 3 5 8 11 13 15 16 21 24 29 35 39 43 44 57 61 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 109 110 112 113 114 116 119 120 123 129 131 133 135 137 139 144 147 151 162 179 180 183 184 185 187 193 a 2 3 5 8 11 13 15 16 21 24 29 35 39 43 44 57 61 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 109 110 112 113 114 119 120 123 129 130 131 133 135 137 139 144 147 151 162 179 180 183 184 185 187 193 a 2 3 5 8 11 13 15 16 21 24 29 35 39 43 44 57 61 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 109 110 112 113 114 119 120 123 129 130 131 133 135 137 139 143 144 151 162 179 180 183 184 185 187 193 a 2 3 5 8 11 13 15 16 21 24 29 35 39 43 44 57 61 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 109 110 111 112 113 114 119 120 123 129 130 131 133 135 137 143 144 151 162 179 180 183 184 185 187 193 a 2 3 5 8 11 13 15 16 21 29 35 39 43 44 57 61 64 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 109 110 111 112 113 114 119 120 123 129 130 131 133 135 137 143 144 151 162 179 180 183 184 185 187 193 a 2 3 5 11 13 15 16 21 29 35 39 43 44 57 61 64 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 109 110 111 112 113 114 119 120 123 129 130 131 133 135 137 143 144 151 162 172 179 180 183 184 185 187 193 a 2 3 5 11 13 15 16 21 29 35 39 43 44 53 57 61 64 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 110 111 112 113 114 119 120 123 129 130 131 133 135 137 143 144 151 162 172 179 180 183 184 185 187 193 a 2 3 5 11 13 15 16 21 29 35 39 43 44 53 57 61 64 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 110 111 112 113 114 119 120 123 129 130 131 135 137 143 144 151 162 167 172 179 180 183 184 185 187 193 a 2 3 5 11 13 15 16 21 29 35 39 43 44 53 57 61 64 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 110 111 113 114 119 120 123 129 130 131 135 137 143 144 151 162 167 172 173 179 180 183 184 185 187 193 a 2 3 5 11 13 15 16 21 29 35 39 43 44 53 57 61 64 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 110 111 114 119 120 123 129 130 131 135 137 143 144 151 162 167 170 172 173 179 180 183 184 185 187 193 a 2 3 5 11 13 15 16 21 29 32 35 39 43 44 53 57 61 64 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 110 111 114 119 120 123 129 130 131 135 137 143 144 151 162 167 170 172 173 179 183 184 185 187 193 a 2 3 5 11 13 15 16 21 29 32 35 39 43 44 53 57 61 64 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 110 111 114 119 120 123 126 129 130 131 135 137 143 144 162 167 170 172 173 179 183 184 185 187 193 a 2 3 5 11 13 15 16 21 29 32 35 43 44 53 57 61 64 65 66 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 110 111 114 117 119 120 123 126 129 130 131 135 137 143 144 162 167 170 172 173 179 183 184 185 187 193 a 2 3 5 11 13 15 16 21 29 32 35 43 44 53 57 61 64 65 66 67 68 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 110 111 114 117 119 120 123 126 129 130 131 135 137 143 144 162 167 170 172 173 179 183 184 185 187 a 2 3 5 11 13 15 16 21 29 32 35 43 44 53 57 61 64 65 66 67 70 75 76 77 82 84 85 87 92 93 97 100 101 106 107 110 111 114 115 117 119 120 123 126 129 130 131 135 137 143 144 162 167 170 172 173 179 183 184 185 187 a 2 3 5 9 11 13 15 16 21 29 32 35 43 44 53 57 61 64 65 66 67 70 75 76 82 84 85 87 92 93 97 100 101 106 107 110 111 114 115 117 119 120 123 126 129 130 131 135 137 143 144 162 167 170 172 173 179 183 184 185 187 a 2 3 5 9 11 13 15 16 21 29 32 35 43 44 53 57 61 64 65 66 67 70 75 76 82 84 85 87 92 93 97 100 101 106 107 110 111 114 115 117 119 123 126 129 130 131 135 137 143 144 149 162 167 170 172 173 179 183 184 185 187 a 2 3 5 9 11 13 15 16 21 29 32 35 43 44 53 57 61 64 65 66 67 70 76 82 84 85 87 92 93 97 100 101 106 107 110 111 114 115 117 119 123 126 129 130 131 135 137 143 144 149 152 162 167 170 172 173 179 183 184 185 187 a 2 3 5 9 11 13 15 16 21 29 32 35 43 44 53 61 64 65 66 67 70 76 81 82 84 85 87 92 93 97 100 101 106 107 110 111 114 115 117 119 123 126 129 130 131 135 137 143 144 149 152 162 167 170 172 173 179 183 184 185 187 a 2 3 5 9 11 13 15 16 21 29 32 35 43 44 53 61 64 65 66 67 70 76 81 82 84 85 87 92 93 97 100 101 106 107 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 162 167 170 172 173 174 179 183 184 185 187 a 2 3 5 9 11 13 15 16 21 29 32 35 43 44 53 61 64 65 66 67 70 76 81 82 84 85 87 92 93 97 100 101 106 107 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 154 162 167 170 172 173 174 179 183 185 187 a 2 3 5 9 11 13 15 16 21 29 32 35 42 43 44 53 61 64 65 66 67 70 76 81 82 85 87 92 93 97 100 101 106 107 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 154 162 167 170 172 173 174 179 183 185 187 a 2 3 5 9 11 13 15 16 21 29 32 35 42 43 44 53 61 64 65 66 67 70 76 81 82 85 87 92 93 97 100 101 106 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 154 162 167 168 170 172 173 174 179 183 185 187 a 2 3 5 9 11 13 15 16 21 29 32 35 42 43 53 61 64 65 66 67 69 70 76 81 82 85 87 92 93 97 100 101 106 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 154 162 167 168 170 172 173 174 179 183 185 187 a 2 3 5 9 11 13 15 16 21 26 29 32 42 43 53 61 64 65 66 67 69 70 76 81 82 85 87 92 93 97 100 101 106 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 154 162 167 168 170 172 173 174 179 183 185 187 a 2 3 5 9 11 13 15 16 21 26 29 32 42 43 45 53 61 64 66 67 69 70 76 81 82 85 87 92 93 97 100 101 106 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 154 162 167 168 170 172 173 174 179 183 185 187 a 2 3 5 9 11 13 15 16 21 26 29 32 42 43 45 53 61 64 66 67 69 70 76 81 82 85 87 92 93 97 100 101 106 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 154 157 162 167 168 170 172 173 174 179 185 187 a 2 3 5 9 11 13 15 16 19 21 26 29 32 42 43 45 53 61 64 66 67 69 70 76 81 82 85 87 92 93 100 101 106 110 111 114 115 117 123 126 129 130 131 135 137 143 144 149 152 154 157 162 167 168 170 172 173 174 179 185 187 a 2 3 5 9 11 13 15 16 19 21 26 29 32 42 43 45 53 61 64 66 67 69 70 81 82 85 87 92 93 100 101 106 110 111 114 115 117 123 126 127 129 130 131 135 137 143 144 149 152 154 157 162 167 168 170 172 173 174 179 185 187 a 2 3 5 9 13 15 16 19 21 26 29 32 42 43 45 53 61 64 66 67 69 70 81 82 85 87 92 93 100 101 106 110 111 114 115 117 123 126 127 129 130 131 135 137 143 144 149 152 154 157 162 167 168 170 172 173 174 179 185 186 187 c Step: 63 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance015_graph002.col /benchmark/random_instance/random_instance015_graph002_01.dat" User time (seconds): 1253.74 System time (seconds): 15.55 Percent of CPU this job got: 350% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:02.42 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 11240524 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3562428 Voluntary context switches: 7065797 Involuntary context switches: 3099 Swaps: 0 File system inputs: 0 File system outputs: 264 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:19:25 2023]