#BEGIN: [Tue Sep 26 02:16:11 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance016_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance016_graph001.col /benchmark/random_instance/random_instance016_graph001_01.dat c /benchmark/random_instance/random_instance016_graph001.col c /benchmark/random_instance/random_instance016_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 97 115 47 40 71 59 88 6 32 7 91 150 72 55 10 142 136 184 200 22 131 61 204 35 201 13 111 190 69 177 1 123 31 140 208 189 83 186 132 58 36 121 76 133 206 89 41 29 171 34 183 162 11 191 124 144 33 17 141 51 120 78 127 53 86 148 207 154 t 193 58 149 41 15 126 53 161 12 190 71 180 115 140 33 186 133 84 95 23 47 146 118 31 35 68 121 27 128 181 52 122 6 156 40 132 177 188 46 191 62 169 105 111 125 18 34 108 147 67 100 29 144 200 179 114 207 11 36 173 78 21 94 69 50 124 184 137 a YES a 1 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 189 190 191 200 201 204 206 207 208 a 1 3 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 189 190 191 200 201 204 206 207 208 a 1 3 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 189 190 191 195 200 201 204 206 207 208 a 1 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 189 190 191 195 200 201 204 206 207 208 a 1 6 7 10 11 13 17 22 24 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 189 191 195 200 201 204 206 207 208 a 1 6 7 10 11 13 17 22 24 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 181 183 184 186 189 191 195 200 201 204 207 208 a 1 3 6 7 10 11 13 17 22 24 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 181 183 184 186 189 191 195 200 201 204 207 208 a 1 3 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 181 183 184 186 189 190 191 195 200 201 204 207 208 a 1 3 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 175 177 181 183 184 186 189 190 191 195 200 201 204 207 208 a 1 3 6 7 10 11 13 17 22 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 175 177 181 183 184 186 189 190 191 192 195 200 201 204 207 208 a 1 3 6 7 10 11 13 17 22 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 107 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 175 177 181 183 184 186 189 190 191 192 195 200 201 204 207 208 a 1 3 6 7 10 11 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 107 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 175 177 181 183 184 186 189 191 192 195 200 201 204 207 208 a 1 3 6 7 10 11 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 107 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 159 162 171 175 177 181 183 184 186 189 191 192 195 200 204 207 208 a 1 3 6 7 10 11 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 107 121 123 124 127 132 133 136 140 141 142 144 148 150 154 159 162 171 175 177 181 183 184 186 189 191 192 195 200 204 205 207 208 a 1 3 6 7 10 11 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 107 121 123 124 127 128 132 133 136 140 141 142 144 148 150 154 159 162 171 175 177 181 183 184 186 189 191 192 195 204 205 207 208 a 1 3 6 7 10 11 13 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 105 107 121 123 124 127 128 132 133 136 140 141 142 144 148 150 154 159 162 171 175 177 181 183 184 186 189 191 192 195 204 205 207 208 a 1 3 6 7 10 11 13 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 98 105 107 121 123 124 127 128 132 133 136 140 141 142 144 148 150 154 159 162 171 175 177 181 183 184 186 189 192 195 204 205 207 208 a 1 3 6 7 10 11 13 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 89 91 97 98 105 107 121 123 124 127 128 132 133 136 140 141 142 144 148 150 154 159 162 171 175 177 181 183 184 186 189 192 195 197 204 205 207 208 a 1 3 6 7 10 11 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 89 91 97 98 105 107 121 123 124 127 128 132 133 136 141 142 144 148 150 154 159 162 171 175 177 181 183 184 186 189 192 195 197 204 205 207 208 a 1 3 6 7 10 11 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 89 91 97 98 105 107 121 123 127 128 132 133 136 141 142 144 148 150 152 154 159 162 171 175 177 181 183 184 186 189 192 195 197 204 205 207 208 a 1 3 6 7 10 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 89 91 97 98 105 107 121 123 127 128 132 133 136 141 142 144 148 150 152 154 159 162 171 175 177 181 183 184 186 189 192 195 197 200 204 205 207 208 a 1 3 6 7 10 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 89 91 97 98 105 107 121 123 124 127 128 132 133 136 141 142 144 148 150 152 154 159 162 171 175 177 181 183 186 189 192 195 197 200 204 205 207 208 a 1 3 6 7 10 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 89 91 97 98 105 107 121 123 124 127 128 132 133 136 140 141 142 144 148 150 152 154 159 171 175 177 181 183 186 189 192 195 197 200 204 205 207 208 a 1 3 6 7 10 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 89 91 97 98 105 107 121 123 124 127 128 132 133 136 140 141 142 144 148 150 154 159 171 175 177 181 183 186 189 191 192 195 197 200 204 205 207 208 a 1 3 6 7 10 11 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 89 91 97 98 105 107 121 123 124 127 128 132 133 136 140 141 142 144 148 150 154 159 171 175 177 181 186 189 191 192 195 197 200 204 205 207 208 a 1 3 6 7 10 11 13 17 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 89 91 97 98 105 107 121 123 124 127 128 132 133 136 140 141 142 144 148 154 159 171 175 177 181 184 186 189 191 192 195 197 200 204 205 207 208 a 1 3 6 7 10 11 13 17 18 22 24 29 31 32 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 91 97 98 105 107 121 123 124 127 128 132 133 136 140 141 142 144 148 154 159 171 175 177 181 184 186 189 191 192 195 197 200 204 205 207 208 a 1 3 6 7 10 11 13 17 18 22 24 29 31 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 91 97 98 105 107 121 123 124 126 127 128 132 133 136 140 141 142 144 148 154 159 171 175 177 181 184 186 189 191 192 195 197 200 204 205 207 208 a 1 3 6 7 10 11 13 17 18 22 24 29 31 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 91 97 98 105 107 121 123 124 126 128 132 133 136 140 141 142 144 148 149 154 159 171 175 177 181 184 186 189 191 192 195 197 200 204 205 207 208 a 1 3 6 7 10 11 13 17 18 21 22 24 29 31 33 34 35 40 41 47 51 53 55 58 59 61 69 72 76 78 83 86 91 97 98 105 107 121 123 124 126 128 132 133 136 140 141 144 148 149 154 159 171 175 177 181 184 186 189 191 192 195 197 200 204 205 207 208 a 1 3 6 7 10 11 13 17 18 21 22 24 29 31 33 34 35 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 91 97 98 105 107 121 123 124 126 128 132 133 136 140 141 144 148 149 154 159 171 175 177 181 184 186 189 191 192 195 200 204 205 207 208 a 1 3 6 7 10 11 13 17 18 21 22 24 29 31 33 34 35 40 41 47 51 53 58 59 61 69 71 72 76 78 83 86 91 94 97 98 105 107 121 123 124 126 128 132 133 136 140 141 144 148 149 154 159 171 175 177 181 184 186 189 191 192 195 200 204 205 207 208 a 1 3 6 7 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 51 53 58 59 61 69 71 72 76 78 83 86 91 94 97 98 105 107 121 123 124 126 128 132 133 136 140 141 144 148 149 154 159 171 175 177 181 184 186 189 191 192 195 200 204 205 207 208 a 1 3 6 7 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 51 53 58 59 61 69 71 72 76 78 83 86 91 94 97 98 105 107 121 123 124 126 128 132 133 136 140 141 144 148 149 154 156 159 171 175 177 181 184 186 189 191 192 195 200 204 207 208 a 1 3 6 7 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 51 53 58 59 61 69 71 72 76 78 83 86 91 94 98 105 107 121 123 124 126 128 132 133 136 140 141 144 146 148 149 154 156 159 171 175 177 181 184 186 189 191 192 195 200 204 207 208 a 1 3 6 7 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 51 53 58 59 61 69 71 76 78 83 86 91 94 98 105 107 121 123 124 126 128 132 133 136 140 141 144 146 148 149 154 156 159 171 175 177 179 181 184 186 189 191 192 195 200 204 207 208 a 1 3 6 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 51 53 58 59 61 69 71 76 78 83 86 91 94 98 105 107 121 123 124 126 128 132 133 136 140 141 144 146 148 149 154 156 159 171 175 177 179 181 184 186 189 191 192 193 195 200 204 207 208 a 1 3 6 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 51 53 58 59 61 69 71 76 78 83 84 86 91 94 98 105 107 121 123 124 126 128 132 133 136 140 141 144 146 148 149 154 156 159 175 177 179 181 184 186 189 191 192 193 195 200 204 207 208 a 1 3 6 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 51 53 58 59 61 69 71 76 78 83 84 86 91 94 98 105 107 121 123 124 126 128 132 133 136 140 141 144 146 148 149 154 156 159 173 175 177 179 181 184 186 189 191 192 193 195 200 204 207 a 3 6 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 50 51 53 58 59 61 69 71 76 78 83 84 86 91 94 98 105 107 121 123 124 126 128 132 133 136 140 141 144 146 148 149 154 156 159 173 175 177 179 181 184 186 189 191 192 193 195 200 204 207 a 3 6 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 50 51 53 58 59 61 67 69 71 76 78 83 84 86 91 94 98 105 107 121 123 124 126 128 132 133 140 141 144 146 148 149 154 156 159 173 175 177 179 181 184 186 189 191 192 193 195 200 204 207 a 3 6 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 50 51 53 58 59 61 67 69 71 76 78 83 84 86 91 94 98 105 107 121 123 124 125 126 128 132 133 140 141 144 146 148 149 154 156 159 173 175 177 179 181 184 186 189 191 192 193 195 200 207 a 3 6 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 50 51 53 58 59 61 67 69 71 76 78 83 84 86 91 94 98 105 107 121 124 125 126 128 132 133 140 141 144 146 148 149 154 156 159 173 175 177 179 180 181 184 186 189 191 192 193 195 200 207 a 3 6 10 11 13 17 18 21 24 27 29 31 33 34 35 40 41 47 50 51 53 58 59 61 67 69 71 76 78 83 84 86 91 94 98 100 105 107 121 124 125 126 128 132 133 140 141 144 146 148 149 154 156 159 173 175 177 179 180 181 184 186 189 191 192 193 200 207 a 3 6 10 11 13 18 21 24 27 29 31 33 34 35 40 41 47 50 51 53 58 59 61 67 69 71 76 78 83 84 86 91 94 98 100 105 107 121 124 125 126 128 132 133 140 141 144 146 148 149 154 156 159 169 173 175 177 179 180 181 184 186 189 191 192 193 200 207 a 6 10 11 13 18 21 24 27 29 31 33 34 35 40 41 47 50 51 53 58 59 61 67 69 71 76 78 83 84 86 91 94 98 100 105 107 111 121 124 125 126 128 132 133 140 141 144 146 148 149 154 156 159 169 173 175 177 179 180 181 184 186 189 191 192 193 200 207 a 6 10 11 13 18 21 24 27 29 31 33 34 35 40 41 47 50 51 53 58 59 61 67 69 71 78 83 84 86 91 94 98 100 105 107 111 121 124 125 126 128 132 133 137 140 141 144 146 148 149 154 156 159 169 173 175 177 179 180 181 184 186 189 191 192 193 200 207 a 6 10 11 13 18 21 24 27 29 31 33 34 35 40 41 47 50 51 53 58 59 61 67 69 71 78 83 84 86 91 94 100 105 107 111 121 124 125 126 128 132 133 137 140 141 144 146 148 149 154 156 159 161 169 173 175 177 179 180 181 184 186 189 191 192 193 200 207 a 6 10 11 13 18 21 24 27 29 31 33 34 35 36 40 41 47 50 51 53 58 59 61 67 69 71 78 83 84 86 91 94 100 105 107 111 121 124 125 126 128 132 133 137 140 141 144 146 148 149 154 156 159 161 169 173 175 177 179 180 181 184 186 189 191 193 200 207 a 6 10 11 13 18 21 24 27 29 31 33 34 35 36 40 41 47 50 51 53 58 59 61 67 69 71 78 83 84 91 94 100 105 107 111 115 121 124 125 126 128 132 133 137 140 141 144 146 148 149 154 156 159 161 169 173 175 177 179 180 181 184 186 189 191 193 200 207 a 6 10 11 13 18 21 24 27 29 31 33 34 35 36 40 41 47 50 51 53 58 59 61 67 68 69 71 78 83 84 91 94 100 105 107 111 115 121 124 125 126 128 132 133 137 140 141 144 146 148 149 156 159 161 169 173 175 177 179 180 181 184 186 189 191 193 200 207 a 6 10 11 13 18 21 24 27 29 31 33 34 35 36 40 41 47 50 51 53 58 59 61 67 68 69 71 78 84 91 94 95 100 105 107 111 115 121 124 125 126 128 132 133 137 140 141 144 146 148 149 156 159 161 169 173 175 177 179 180 181 184 186 189 191 193 200 207 a 6 10 11 13 18 21 24 27 29 31 33 34 35 36 40 41 47 50 51 52 53 58 59 67 68 69 71 78 84 91 94 95 100 105 107 111 115 121 124 125 126 128 132 133 137 140 141 144 146 148 149 156 159 161 169 173 175 177 179 180 181 184 186 189 191 193 200 207 a 6 11 13 18 21 24 27 29 31 33 34 35 36 40 41 47 50 51 52 53 58 59 67 68 69 71 78 84 91 94 95 100 105 107 111 114 115 121 124 125 126 128 132 133 137 140 141 144 146 148 149 156 159 161 169 173 175 177 179 180 181 184 186 189 191 193 200 207 a 6 11 12 13 18 21 27 29 31 33 34 35 36 40 41 47 50 51 52 53 58 59 67 68 69 71 78 84 91 94 95 100 105 107 111 114 115 121 124 125 126 128 132 133 137 140 141 144 146 148 149 156 159 161 169 173 175 177 179 180 181 184 186 189 191 193 200 207 a 6 11 12 13 18 21 27 29 31 33 34 35 36 40 41 47 50 51 52 53 58 59 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 121 124 125 126 128 132 133 137 140 141 144 146 148 149 156 159 161 169 173 175 177 179 180 181 184 186 189 191 193 200 207 a 6 11 12 13 18 21 27 29 31 33 34 35 36 40 41 47 50 51 52 53 58 59 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 121 124 125 126 128 132 133 137 140 141 144 146 147 148 149 156 159 161 169 173 175 177 179 180 181 184 186 191 193 200 207 a 6 11 12 13 15 18 21 27 29 31 33 34 35 36 40 41 47 50 51 52 53 58 59 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 121 124 125 126 128 132 133 137 140 141 144 146 147 148 149 156 161 169 173 175 177 179 180 181 184 186 191 193 200 207 a 6 11 12 13 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 59 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 121 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 175 177 179 180 181 184 186 191 193 200 207 a 6 11 12 13 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 121 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 175 177 179 180 181 184 186 190 191 193 200 207 a 6 11 12 13 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 84 94 95 100 105 108 111 114 115 121 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 175 177 179 180 181 184 186 190 191 193 200 207 a 6 11 12 13 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 84 94 95 100 105 108 111 114 115 118 121 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 177 179 180 181 184 186 190 191 193 200 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 51 52 53 58 67 68 69 71 78 84 94 95 100 105 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 177 179 180 181 184 186 190 191 193 200 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 67 68 69 71 78 84 94 95 100 105 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 177 179 180 181 184 186 188 190 191 193 200 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 62 67 68 69 71 78 84 94 95 100 105 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 149 156 161 169 173 177 179 180 181 184 186 188 190 191 193 200 207 c Step: 64 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance016_graph001.col /benchmark/random_instance/random_instance016_graph001_01.dat" User time (seconds): 357.77 System time (seconds): 2.94 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:00.74 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): 10946056 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3553539 Voluntary context switches: 27 Involuntary context switches: 2114 Swaps: 0 File system inputs: 0 File system outputs: 280 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:22:12 2023]