#BEGIN: [Tue Sep 26 01:41:20 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /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): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.077 seconds
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.000 seconds
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 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 158 162 171 177 183 184 186 189 190 191 200 201 204 206 207 208
a 1 3 6 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 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 158 162 171 177 183 184 186 189 191 200 201 204 206 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 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 189 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 5 6 7 10 11 13 17 22 29 31 32 33 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 5 6 7 10 11 13 14 17 22 29 31 32 33 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 208
a 1 3 5 6 7 10 11 13 14 17 22 29 31 32 33 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 208
a 1 3 5 6 7 10 11 13 14 17 22 29 31 32 33 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 208
a 1 3 5 6 7 10 11 13 14 17 22 29 31 32 33 35 36 40 41 47 51 53 55 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 5 6 7 10 11 13 14 17 22 29 31 32 33 35 36 40 41 47 51 53 55 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 5 6 7 10 11 13 14 17 22 29 31 32 33 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 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 5 6 7 10 11 13 14 17 22 29 31 32 33 35 36 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 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 5 6 7 10 11 13 14 17 22 29 31 32 33 35 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 98 107 121 123 124 127 131 132 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 5 6 7 10 11 13 14 17 22 29 31 32 33 35 40 41 47 51 53 55 59 61 69 71 72 76 78 83 86 89 91 97 98 107 121 123 124 127 131 132 136 140 141 142 144 148 150 154 162 171 175 177 181 183 184 186 189 190 191 195 200 201 204 205 207 208
a 1 3 5 6 7 10 11 13 14 17 22 29 31 32 33 35 40 41 47 51 53 55 59 61 69 71 72 76 78 83 86 89 91 97 98 107 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 175 177 181 183 186 189 190 191 195 200 201 204 205 207 208
a 1 3 5 6 7 10 11 13 14 17 22 29 31 32 33 35 40 41 47 51 53 55 59 61 69 72 76 78 83 86 89 91 97 98 107 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 175 177 181 183 186 189 190 191 195 197 200 201 204 205 207 208
a 1 3 5 6 7 10 11 13 14 17 22 29 31 32 33 40 41 47 51 53 55 59 61 69 70 72 76 78 83 86 89 91 97 98 107 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 175 177 181 183 186 189 190 191 195 197 200 201 204 205 207 208
a 1 3 5 6 7 11 13 14 17 22 29 31 32 33 40 41 47 51 53 55 59 61 69 70 72 76 78 83 86 89 91 97 98 107 119 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 175 177 181 183 186 189 190 191 195 197 200 201 204 205 207 208
a 1 3 5 6 7 11 13 14 17 22 29 31 32 33 40 41 47 53 55 59 61 69 70 72 76 78 83 86 89 91 97 98 107 119 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 197 200 201 204 205 207 208
a 1 3 5 6 7 11 13 14 22 29 31 32 33 40 41 47 53 55 59 61 69 70 72 76 78 83 86 89 91 97 98 107 114 119 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 197 200 201 204 205 207 208
a 1 3 5 6 7 11 13 14 22 29 31 32 33 35 40 41 47 53 55 59 61 69 72 76 78 83 86 89 91 97 98 107 114 119 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 197 200 201 204 205 207 208
a 1 3 5 6 7 11 13 14 22 29 31 32 33 35 40 41 47 53 55 58 59 61 69 72 76 78 83 86 89 91 97 98 107 114 119 121 123 124 127 131 132 133 136 140 141 142 144 148 154 162 171 175 177 181 183 184 186 189 190 191 195 197 200 201 204 205 207 208
a 1 3 5 6 7 11 13 14 22 29 31 32 33 35 40 41 47 53 55 58 59 61 67 69 72 76 78 83 86 89 91 97 98 107 114 119 121 123 124 127 131 132 133 136 140 141 144 148 154 162 171 175 177 181 183 184 186 189 190 191 195 197 200 201 204 205 207 208
a 1 3 5 6 7 11 13 14 18 22 29 31 32 33 35 40 41 47 53 55 58 59 61 67 69 72 76 78 83 86 91 97 98 107 114 119 121 123 124 127 131 132 133 136 140 141 144 148 154 162 171 175 177 181 183 184 186 189 190 191 195 197 200 201 204 205 207 208
a 1 5 6 7 11 13 14 18 22 29 31 32 33 35 40 41 47 53 55 58 59 61 67 69 72 76 78 83 86 91 97 98 107 111 114 119 121 123 124 127 131 132 133 136 140 141 144 148 154 162 171 175 177 181 183 184 186 189 190 191 195 197 200 201 204 205 207 208
a 5 6 7 11 13 14 18 22 29 31 32 33 35 40 41 47 53 55 58 59 61 67 69 72 76 78 83 86 91 97 98 107 111 114 119 121 123 124 127 131 132 133 136 140 141 144 148 154 162 169 171 175 177 181 183 184 186 189 190 191 195 197 200 201 204 205 207 208
a 5 6 7 11 13 14 18 27 29 31 32 33 35 40 41 47 53 55 58 59 61 67 69 72 76 78 83 86 91 97 98 107 111 114 119 121 123 124 127 131 132 133 136 140 141 144 148 154 162 169 171 175 177 181 183 184 186 189 190 191 195 197 200 201 204 205 207 208
a 5 6 7 11 13 14 18 27 29 31 32 33 35 40 41 47 53 55 58 59 61 67 69 72 76 78 83 86 91 97 98 107 111 114 119 121 124 127 131 132 133 136 140 141 144 148 154 156 162 169 171 175 177 181 183 184 186 189 190 191 195 197 200 201 204 205 207 208
a 5 6 7 11 13 14 18 27 29 31 32 33 35 40 41 47 53 55 58 59 61 67 69 72 76 78 83 86 91 97 98 100 107 111 114 119 121 124 127 131 132 133 136 140 141 144 148 154 156 162 169 171 175 177 181 183 184 186 189 190 191 197 200 201 204 205 207 208
a 5 6 7 11 13 14 18 27 29 31 32 33 35 40 41 47 53 55 58 59 61 67 69 72 76 78 83 86 91 97 98 100 107 111 114 119 121 124 125 127 131 132 133 136 140 141 144 148 154 156 162 169 171 175 177 181 183 184 186 189 190 191 197 200 201 205 207 208
a 5 6 7 11 13 14 18 27 29 31 32 33 35 40 41 47 53 55 58 59 61 67 68 69 72 76 78 83 86 91 97 98 100 107 111 114 119 121 124 125 127 131 132 133 140 141 144 148 154 156 162 169 171 175 177 181 183 184 186 189 190 191 197 200 201 205 207 208
a 5 6 7 11 13 14 18 27 29 31 32 33 35 40 41 47 53 55 58 59 61 67 68 69 72 76 78 83 86 97 98 100 107 108 111 114 119 121 124 125 127 131 132 133 140 141 144 148 154 156 162 169 171 175 177 181 183 184 186 189 190 191 197 200 201 205 207 208
a 5 6 7 11 13 14 18 27 29 31 32 33 35 40 41 47 53 55 58 59 61 67 68 69 72 76 78 83 86 97 98 100 107 108 111 114 119 121 124 125 127 131 132 133 140 141 144 147 148 154 156 162 169 171 175 177 181 183 184 186 190 191 197 200 201 205 207 208
a 5 6 7 11 13 14 18 21 27 29 31 33 35 40 41 47 53 55 58 59 61 67 68 69 72 76 78 83 86 97 98 100 107 108 111 114 119 121 124 125 127 131 132 133 140 141 144 147 148 154 156 162 169 171 175 177 181 183 184 186 190 191 197 200 201 205 207 208
a 5 6 7 11 13 14 18 21 27 29 31 33 35 40 41 47 53 55 58 59 61 67 68 69 72 76 78 83 86 97 98 100 107 108 111 114 119 121 124 125 126 127 131 132 133 140 141 144 147 148 154 156 162 169 171 175 177 181 184 186 190 191 197 200 201 205 207 208
a 5 6 7 11 13 14 18 21 27 29 31 33 35 40 41 47 53 55 58 59 61 67 68 69 72 76 78 83 86 97 98 100 107 108 111 114 115 119 121 124 125 126 127 131 132 133 140 141 144 147 148 154 156 162 169 171 175 177 181 184 186 190 191 197 200 201 207 208
a 5 6 7 11 13 14 18 21 27 29 31 33 35 40 41 46 47 53 55 58 59 67 68 69 72 76 78 83 86 97 98 100 107 108 111 114 115 119 121 124 125 126 127 131 132 133 140 141 144 147 148 154 156 162 169 171 175 177 181 184 186 190 191 197 200 201 207 208
a 5 6 7 11 13 14 15 18 21 27 29 31 33 35 40 41 46 47 53 55 58 59 67 68 69 72 76 78 86 97 98 100 107 108 111 114 115 119 121 124 125 126 127 131 132 133 140 141 144 147 148 154 156 162 169 171 175 177 181 184 186 190 191 197 200 201 207 208
a 5 6 7 11 13 14 15 18 21 27 29 31 33 35 40 41 46 47 53 55 58 59 67 68 69 72 76 78 84 86 97 98 100 107 108 111 114 115 119 121 124 125 126 127 131 132 133 140 141 144 147 148 154 156 162 169 175 177 181 184 186 190 191 197 200 201 207 208
a 5 6 7 11 13 14 15 18 21 27 29 31 33 35 40 41 46 47 53 55 58 59 67 68 69 72 76 78 84 86 97 98 100 107 108 111 114 115 119 121 124 125 126 127 132 133 137 140 141 144 147 148 154 156 162 169 175 177 181 184 186 190 191 197 200 201 207 208
a 5 6 7 11 13 14 15 18 21 27 29 31 33 35 40 41 46 47 53 55 58 59 67 68 69 72 76 78 84 86 97 98 100 105 107 108 111 114 115 121 124 125 126 127 132 133 137 140 141 144 147 148 154 156 162 169 175 177 181 184 186 190 191 197 200 201 207 208
a 5 6 7 11 13 15 18 21 27 29 31 33 35 40 41 46 47 53 55 58 59 67 68 69 72 76 78 84 86 97 98 100 105 107 108 111 114 115 121 124 125 126 127 128 132 133 137 140 141 144 147 148 154 156 162 169 175 177 181 184 186 190 191 197 200 201 207 208
a 6 7 11 13 15 18 21 27 29 31 33 34 35 40 41 46 47 53 55 58 59 67 68 69 72 76 78 84 86 97 98 100 105 107 108 111 114 115 121 124 125 126 127 128 132 133 137 140 141 144 147 148 154 156 162 169 175 177 181 184 186 190 191 197 200 201 207 208
a 6 7 11 13 15 18 21 27 29 31 33 34 35 40 41 46 47 53 55 58 59 67 68 69 71 72 76 78 84 86 97 98 100 105 107 108 111 114 115 121 124 125 126 127 128 132 133 137 140 141 144 147 148 154 156 162 169 175 177 181 184 186 190 191 200 201 207 208
a 6 7 11 13 15 18 21 27 29 31 33 34 35 40 41 46 47 53 58 59 67 68 69 71 72 76 78 84 86 94 97 98 100 105 107 108 111 114 115 121 124 125 126 127 128 132 133 137 140 141 144 147 148 154 156 162 169 175 177 181 184 186 190 191 200 201 207 208
a 6 7 11 13 15 18 21 27 29 31 33 34 35 40 41 46 47 53 58 59 67 68 69 71 72 76 78 84 86 94 97 98 100 105 107 108 111 114 115 118 121 124 125 126 127 128 132 133 137 140 141 144 147 148 154 156 162 169 177 181 184 186 190 191 200 201 207 208
a 6 7 11 13 15 18 21 27 29 31 33 34 35 40 41 46 47 53 58 59 67 68 69 71 76 78 84 86 94 97 98 100 105 107 108 111 114 115 118 121 124 125 126 127 128 132 133 137 140 141 144 147 148 154 156 162 169 177 179 181 184 186 190 191 200 201 207 208
a 6 7 11 13 15 18 21 27 29 31 33 34 35 40 41 46 47 53 58 59 67 68 69 71 76 78 84 86 94 97 98 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 147 148 149 154 156 162 169 177 179 181 184 186 190 191 200 201 207 208
a 6 7 11 12 13 15 18 21 27 29 31 33 34 35 40 41 46 47 53 58 59 67 68 69 71 76 78 84 86 94 97 98 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 147 148 149 154 156 169 177 179 181 184 186 190 191 200 201 207 208
a 6 7 11 12 13 15 18 21 27 29 31 33 34 35 40 41 46 47 53 58 59 67 68 69 71 78 84 86 94 97 98 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 147 148 149 154 156 161 169 177 179 181 184 186 190 191 200 201 207 208
a 6 7 11 12 13 15 18 21 27 29 31 33 34 35 40 41 46 47 50 53 58 59 67 68 69 71 78 84 86 94 98 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 147 148 149 154 156 161 169 177 179 181 184 186 190 191 200 201 207 208
a 6 7 11 12 13 15 18 21 27 29 31 33 34 35 40 41 46 47 50 53 58 59 67 68 69 71 78 84 86 94 98 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 146 147 149 154 156 161 169 177 179 181 184 186 190 191 200 201 207 208
a 6 7 11 12 13 15 18 21 27 29 31 33 34 35 40 41 46 47 50 53 58 59 67 68 69 71 78 84 86 94 98 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 146 147 149 154 156 161 169 177 179 180 181 184 186 190 191 200 207 208
a 6 7 11 12 13 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 53 58 59 67 68 69 71 78 84 86 94 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 146 147 149 154 156 161 169 177 179 180 181 184 186 190 191 200 207 208
a 6 11 12 13 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 53 58 59 67 68 69 71 78 84 86 94 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 146 147 149 154 156 161 169 177 179 180 181 184 186 190 191 193 200 207 208
a 6 11 12 13 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 59 67 68 69 71 78 84 94 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 146 147 149 154 156 161 169 177 179 180 181 184 186 190 191 193 200 207 208
a 6 11 12 13 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 59 67 68 69 71 78 84 94 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 146 147 149 154 156 161 169 173 177 179 180 181 184 186 190 191 193 200 207
a 6 11 12 13 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 59 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 137 140 141 144 146 147 149 156 161 169 173 177 179 180 181 184 186 190 191 193 200 207
a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 59 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 141 144 146 147 149 156 161 169 173 177 179 180 181 184 186 190 191 193 200 207
a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 59 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 141 144 146 147 149 156 161 169 173 177 179 180 181 184 186 188 190 191 193 200 207
a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 59 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
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: 63
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance016_graph001.col /benchmark/random_instance/random_instance016_graph001_01.dat"
	User time (seconds): 1168.36
	System time (seconds): 18.81
	Percent of CPU this job got: 326%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.36
	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): 16691316
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 5
	Minor (reclaiming a frame) page faults: 5303782
	Voluntary context switches: 7117351
	Involuntary context switches: 2913
	Swaps: 0
	File system inputs: 832
	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 01:47:24 2023]