#BEGIN: [Tue Sep 26 02:18:11 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance021_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance021_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_instance021_graph001.col /benchmark/random_instance/random_instance021_graph001_01.dat c /benchmark/random_instance/random_instance021_graph001.col c /benchmark/random_instance/random_instance021_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 222 28 74 105 49 248 165 52 208 197 17 55 143 175 255 83 209 100 247 109 162 90 189 179 75 96 19 163 12 136 29 76 218 148 50 137 225 164 89 181 45 23 156 223 115 33 217 231 158 9 4 235 120 42 41 37 111 251 144 53 108 25 272 154 146 118 133 7 155 244 184 107 198 92 190 121 99 267 224 268 169 20 228 211 79 87 236 54 57 207 69 t 138 14 249 25 189 144 8 36 179 98 63 263 134 213 146 28 40 230 200 48 45 188 205 160 170 99 171 106 248 103 74 175 13 125 42 37 105 80 209 79 240 159 70 94 4 266 38 78 3 35 236 101 243 132 261 224 1 163 221 267 177 165 187 182 262 137 211 164 111 5 29 173 169 51 145 225 154 112 126 152 141 115 245 208 117 190 16 161 114 244 217 a YES a 4 7 9 12 17 19 20 23 25 28 29 33 37 41 42 45 49 50 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 175 179 181 184 189 190 197 198 207 208 209 211 217 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272 a 4 7 9 12 17 19 20 23 25 28 29 33 37 41 42 45 49 50 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 184 189 190 197 198 207 208 209 211 214 217 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272 a 4 7 9 12 17 19 20 22 23 25 28 29 33 37 41 42 45 49 50 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 184 189 190 197 198 207 208 209 211 214 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272 a 4 7 9 12 17 19 20 22 23 25 28 29 31 33 37 41 42 45 49 50 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 184 189 190 197 198 207 208 209 211 214 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272 a 4 7 9 12 17 19 20 22 23 25 28 29 31 33 37 41 42 45 46 49 50 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 184 189 190 197 198 207 208 209 211 214 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272 a 4 7 9 12 17 19 20 22 23 25 28 29 33 37 41 42 45 46 49 50 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 184 189 190 197 198 207 208 209 211 214 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272 a 4 7 9 12 17 19 20 22 23 25 28 29 33 37 42 45 46 49 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 133 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 184 189 190 197 198 207 208 209 211 214 218 222 223 224 225 228 231 235 236 244 247 248 251 255 267 268 272 a 4 7 9 12 17 19 20 22 23 25 28 29 33 37 42 45 46 49 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 184 189 190 197 198 207 208 209 211 214 218 222 223 224 225 228 231 235 236 244 247 248 251 255 261 267 268 272 a 4 7 9 12 13 17 19 20 22 23 25 28 29 33 37 42 45 46 49 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 105 107 108 109 111 115 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 184 189 190 197 198 207 208 209 211 214 218 222 223 224 225 228 231 235 236 244 248 251 255 261 267 268 272 a 4 7 9 12 13 17 19 20 22 23 25 28 29 33 37 42 45 46 49 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 101 105 107 108 109 111 115 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 189 190 197 198 207 208 209 211 214 218 222 223 224 225 228 231 235 236 244 248 251 255 261 267 268 272 a 4 7 9 12 13 17 19 20 22 23 25 28 29 33 37 42 45 46 49 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 101 105 107 108 109 111 115 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 189 190 197 198 207 208 209 211 214 217 218 222 223 224 225 228 231 235 236 244 248 251 255 261 267 272 a 4 7 9 12 13 17 19 20 22 23 25 28 29 33 37 42 45 46 49 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 101 105 107 108 109 111 115 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 189 190 197 198 200 208 209 211 214 217 218 222 223 224 225 228 231 235 236 244 248 251 255 261 267 272 a 4 7 9 12 13 17 19 20 22 25 28 29 33 36 37 42 45 46 49 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 101 105 107 108 109 111 115 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 189 190 197 198 200 208 209 211 214 217 218 222 223 224 225 228 231 235 236 244 248 251 255 261 267 272 a 4 7 9 12 13 17 19 20 22 25 28 29 33 36 37 42 45 46 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 101 105 107 108 109 111 115 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 189 190 197 198 200 208 209 211 214 217 218 221 222 223 224 225 228 231 235 236 244 248 251 255 261 267 272 a 4 7 12 13 17 19 20 22 25 28 29 33 36 37 42 45 46 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 101 105 107 108 109 111 115 117 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 189 190 197 198 200 208 209 211 214 217 218 221 222 223 224 225 228 231 235 236 244 248 251 255 261 267 272 a 4 7 12 13 14 17 20 22 25 28 29 33 36 37 42 45 46 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 101 105 107 108 109 111 115 117 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 189 190 197 198 200 208 209 211 214 217 218 221 222 223 224 225 228 231 235 236 244 248 251 255 261 267 272 a 4 7 12 13 14 17 20 22 25 28 29 33 36 37 42 45 46 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 101 105 107 108 109 111 115 117 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 218 221 222 223 224 225 228 231 235 236 244 248 251 255 261 267 a 4 5 7 12 13 14 17 20 22 25 28 29 33 36 37 42 45 46 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 101 105 107 108 109 111 115 117 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 218 221 223 224 225 228 231 235 236 244 248 251 255 261 267 a 4 5 7 12 13 14 17 22 25 28 29 33 36 37 42 45 46 50 51 52 53 54 55 57 69 75 76 79 83 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 218 221 223 224 225 228 231 235 236 244 248 251 255 261 267 a 4 5 7 12 13 14 17 22 25 28 29 33 36 37 42 45 50 51 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 218 221 223 224 225 228 231 235 236 244 248 251 255 261 267 a 4 5 7 8 12 13 14 17 22 25 28 29 33 36 37 42 45 51 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 120 121 136 137 143 144 146 148 154 155 156 158 162 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 218 221 223 224 225 228 231 235 236 244 248 251 255 261 267 a 4 5 7 8 12 13 14 17 22 25 28 29 33 36 37 42 45 51 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 120 121 136 137 144 146 148 154 155 156 158 162 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 218 221 223 224 225 228 231 235 236 244 248 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 33 36 37 42 45 51 52 53 54 55 57 69 74 75 76 79 83 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 120 121 136 137 144 146 148 154 155 156 158 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 218 221 223 224 225 228 231 235 236 244 248 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 33 36 37 42 45 51 52 53 54 55 57 69 74 76 78 79 83 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 120 121 136 137 144 146 148 154 155 156 158 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 218 221 223 224 225 228 231 235 236 244 248 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 33 36 37 42 45 51 52 53 54 55 57 69 74 76 78 79 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 120 121 136 137 144 146 148 152 154 155 156 158 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 218 221 223 224 225 228 231 235 236 244 248 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 33 36 37 42 45 51 52 53 54 55 57 69 74 76 78 79 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 120 121 136 137 144 146 148 152 154 155 158 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 218 221 223 224 225 228 231 235 236 244 248 249 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 33 36 37 42 45 51 52 53 54 55 57 69 74 76 78 79 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 120 121 126 136 137 144 146 148 152 154 155 158 163 164 165 169 179 181 182 189 190 197 198 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 33 36 37 42 45 51 53 54 55 57 69 74 76 78 79 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 120 121 126 136 137 144 146 148 152 154 155 158 163 164 165 169 177 179 181 182 189 190 197 198 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 33 36 37 42 45 48 51 53 54 55 57 69 74 76 78 79 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 121 126 136 137 144 146 148 152 154 155 158 163 164 165 169 177 179 181 182 189 190 197 198 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 36 37 38 42 45 48 51 53 54 55 57 69 74 76 78 79 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 121 126 136 137 144 146 148 152 154 155 158 163 164 165 169 177 179 181 182 189 190 197 198 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 36 37 38 42 45 48 51 53 54 55 57 69 74 76 78 79 87 89 90 92 96 99 100 101 103 105 107 108 109 111 115 117 118 121 126 136 137 144 146 148 152 154 155 158 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 36 37 38 42 45 48 51 53 54 55 57 69 74 76 78 79 87 89 90 92 96 99 100 101 103 105 108 109 111 115 117 118 121 126 136 137 144 146 148 152 154 155 158 159 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 36 37 38 42 45 48 51 53 54 55 57 69 74 76 78 79 87 90 92 96 99 100 101 103 105 108 109 111 115 117 118 121 126 134 136 137 144 146 148 152 154 155 158 159 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 36 37 38 42 45 48 51 53 54 55 57 69 74 76 78 79 87 90 92 99 100 101 103 105 108 109 111 115 117 118 121 126 134 136 137 141 144 146 148 152 154 155 158 159 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 255 261 266 267 a 1 4 5 7 8 12 13 14 17 22 25 28 29 36 37 38 42 45 48 51 53 54 55 57 69 74 76 78 79 87 90 92 99 100 101 103 105 108 109 111 115 117 118 121 126 134 136 137 141 144 145 146 148 152 154 155 158 159 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 261 266 267 a 1 3 4 5 7 8 12 13 14 17 22 25 28 29 36 37 38 42 45 48 51 54 55 57 69 74 76 78 79 87 90 92 99 100 101 103 105 108 109 111 115 117 118 121 126 134 136 137 141 144 145 146 148 152 154 155 158 159 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 261 266 267 a 1 3 4 5 7 8 12 13 14 17 22 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 76 78 79 87 90 92 99 100 101 103 105 108 109 111 115 117 118 121 126 134 136 137 141 144 145 146 148 152 154 155 158 159 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 223 224 225 228 231 235 236 244 248 249 251 261 266 267 a 1 3 4 5 7 8 12 13 14 17 22 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 76 78 79 87 90 92 99 100 101 103 105 108 109 111 115 117 118 121 126 134 136 137 141 144 145 146 148 152 154 155 158 159 160 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 224 225 228 231 235 236 244 248 249 251 261 266 267 a 1 3 4 5 7 8 12 13 14 16 17 22 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 87 90 92 99 100 101 103 105 108 109 111 115 117 118 121 126 134 136 137 141 144 145 146 148 152 154 155 158 159 160 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 224 225 228 231 235 236 244 248 249 251 261 266 267 a 1 3 4 5 7 8 13 14 16 17 22 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 99 100 101 103 105 108 109 111 115 117 118 121 126 134 136 137 141 144 145 146 148 152 154 155 158 159 160 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 224 225 228 231 235 236 244 248 249 251 261 266 267 a 1 3 4 5 7 8 13 14 16 17 22 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 94 99 100 101 103 105 108 109 111 115 117 121 126 134 136 137 141 144 145 146 148 152 154 155 158 159 160 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 214 217 221 224 225 228 231 235 236 244 248 249 251 261 266 267 a 1 3 4 5 7 8 13 14 16 17 22 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 94 99 100 101 103 105 108 109 111 115 117 126 134 136 137 141 144 145 146 148 152 154 155 158 159 160 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 213 214 217 221 224 225 228 231 235 236 244 248 249 251 261 266 267 a 1 3 4 5 7 8 13 14 16 17 22 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 94 99 100 101 103 105 108 109 111 115 117 126 134 136 137 141 144 145 146 148 152 154 155 158 159 160 163 164 165 169 177 179 181 182 188 189 190 197 200 208 209 211 213 214 217 221 224 225 228 231 235 236 244 248 249 261 263 266 267 a 1 3 4 5 7 8 13 14 16 17 22 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 94 99 100 101 103 105 108 109 111 115 117 126 134 136 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 177 179 181 182 188 189 190 197 200 208 209 211 213 214 217 221 224 225 228 231 235 236 244 248 249 261 263 266 267 a 1 3 4 5 7 8 13 14 16 17 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 94 99 100 101 103 105 108 109 111 115 117 126 132 134 136 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 177 179 181 182 188 189 190 197 200 208 209 211 213 214 217 221 224 225 228 231 235 236 244 248 249 261 263 266 267 a 1 3 4 5 7 8 13 14 16 17 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 94 99 100 101 103 105 108 109 111 115 117 126 132 134 136 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 173 177 179 182 188 189 190 197 200 208 209 211 213 214 217 221 224 225 228 231 235 236 244 248 249 261 263 266 267 a 1 3 4 5 7 8 13 14 16 17 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 94 99 100 101 103 105 108 109 111 115 117 125 126 132 134 136 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 173 177 179 182 188 189 190 197 200 208 209 211 213 214 217 221 224 225 228 231 236 244 248 249 261 263 266 267 a 1 3 4 5 7 8 13 14 16 17 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 94 99 100 101 103 105 108 109 111 115 117 125 126 132 134 136 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 173 175 177 179 182 188 189 190 197 200 208 209 211 213 217 221 224 225 228 231 236 244 248 249 261 263 266 267 a 1 3 4 5 7 8 13 14 16 17 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 94 99 101 103 105 108 109 111 115 117 125 126 132 134 136 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 173 175 177 179 182 188 189 190 197 200 208 209 211 213 217 221 224 225 228 231 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 17 25 28 29 36 37 38 40 42 45 48 51 54 57 69 74 78 79 80 87 90 92 94 99 101 103 105 108 109 111 115 117 125 126 132 134 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 173 175 177 179 182 188 189 190 197 200 208 209 211 213 217 221 224 225 228 230 231 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 17 25 28 29 35 36 37 38 40 42 45 48 51 57 69 74 78 79 80 87 90 92 94 99 101 103 105 108 109 111 115 117 125 126 132 134 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 173 175 177 179 182 188 189 190 197 200 208 209 211 213 217 221 224 225 228 230 231 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 17 25 28 29 35 36 37 38 40 42 45 48 51 57 63 69 74 78 79 80 87 90 92 94 99 101 103 105 108 111 115 117 125 126 132 134 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 173 175 177 179 182 188 189 190 197 200 208 209 211 213 217 221 224 225 228 230 231 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 17 25 28 29 35 36 37 38 40 42 45 48 51 57 63 69 70 74 78 79 80 87 90 92 94 99 101 103 105 108 111 115 117 125 126 132 134 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 173 175 177 179 182 188 189 190 197 200 208 209 211 213 217 221 224 225 228 230 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 17 25 28 29 35 36 37 38 40 42 45 48 51 57 63 69 70 74 78 79 80 87 90 92 94 99 101 103 105 108 111 115 117 125 126 132 134 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 171 173 175 177 179 182 188 189 190 197 200 205 208 209 211 213 217 221 224 225 230 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 57 63 69 70 74 78 79 80 87 90 92 94 99 101 103 105 108 111 115 117 125 126 132 134 137 141 144 145 146 148 152 154 155 159 160 163 164 165 169 170 171 173 175 177 179 182 188 189 190 197 200 205 208 209 211 213 217 221 224 225 230 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 57 63 69 70 74 78 79 80 87 90 92 94 99 101 103 105 108 111 112 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 163 164 165 169 170 171 173 175 177 179 182 188 189 190 197 200 205 208 209 211 213 217 221 224 225 230 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 57 63 69 70 74 78 79 80 87 92 94 99 101 103 105 108 111 112 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 188 189 190 197 200 205 208 209 211 213 217 221 224 225 230 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 57 63 70 74 78 79 80 87 92 94 99 101 103 105 108 111 112 114 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 188 189 190 197 200 205 208 209 211 213 217 221 224 225 230 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 57 63 70 74 78 79 80 92 94 98 99 101 103 105 108 111 112 114 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 188 189 190 197 200 205 208 209 211 213 217 221 224 225 230 236 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 63 70 74 78 79 80 92 94 98 99 101 103 105 108 111 112 114 115 117 125 126 132 134 137 141 144 145 146 148 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 188 189 190 197 200 205 208 209 211 213 217 221 224 225 230 236 243 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 63 70 74 78 79 80 92 94 98 99 101 103 105 108 111 112 114 115 117 125 126 132 134 137 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 188 189 190 197 200 205 208 209 211 213 217 221 224 225 230 236 240 243 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 63 70 74 78 79 80 92 94 98 99 101 103 105 111 112 114 115 117 125 126 132 134 137 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 187 188 189 190 197 200 205 208 209 211 213 217 221 224 225 230 236 240 243 244 248 249 261 262 263 266 267 a 1 3 4 5 7 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 63 70 74 78 79 80 92 94 98 99 101 103 105 111 112 114 115 117 125 126 132 134 137 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 187 188 189 190 200 205 208 209 211 213 217 221 224 225 230 236 240 243 244 245 248 249 261 262 263 266 267 a 1 3 4 5 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 63 70 74 78 79 80 92 94 98 99 101 103 105 111 112 114 115 117 125 126 132 134 137 138 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 187 188 189 190 200 205 208 209 211 213 217 221 224 225 230 236 240 243 244 245 248 249 261 262 263 266 267 a 1 3 4 5 8 13 14 16 25 28 29 35 36 37 38 40 42 45 48 51 63 70 74 78 79 80 94 98 99 101 103 105 106 111 112 114 115 117 125 126 132 134 137 138 141 144 145 146 152 154 159 160 161 163 164 165 169 170 171 173 175 177 179 182 187 188 189 190 200 205 208 209 211 213 217 221 224 225 230 236 240 243 244 245 248 249 261 262 263 266 267 c Step: 64 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance021_graph001.col /benchmark/random_instance/random_instance021_graph001_01.dat" User time (seconds): 353.86 System time (seconds): 7.33 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.22 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): 24213148 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8341859 Voluntary context switches: 25 Involuntary context switches: 2302 Swaps: 0 File system inputs: 0 File system outputs: 344 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:24:12 2023]