#BEGIN: [Tue Sep 26 03:36:13 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance028_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance028_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance028_graph001.col /benchmark/random_instance/random_instance028_graph001_01.dat c /benchmark/random_instance/random_instance028_graph001.col c /benchmark/random_instance/random_instance028_graph001_01.dat s 149 83 106 6 119 18 101 240 273 269 216 214 75 158 154 138 77 285 233 170 319 55 35 176 72 94 243 188 85 126 15 353 65 9 268 111 27 213 215 185 321 205 324 7 137 44 36 306 174 143 63 110 354 91 102 40 64 262 340 328 275 232 344 265 86 187 121 161 247 339 172 5 88 89 358 291 164 263 71 69 207 312 192 209 30 274 97 218 256 107 79 21 212 282 278 169 24 252 168 302 3 150 62 33 338 76 341 296 239 31 183 279 57 241 112 90 180 t 276 158 193 62 64 199 6 204 222 270 307 40 228 299 216 194 246 26 88 121 55 213 348 226 248 122 24 258 56 59 328 95 289 51 74 71 323 277 35 240 207 315 302 215 161 249 47 17 100 124 93 296 308 341 331 319 234 282 116 141 358 224 69 112 262 281 247 274 155 152 169 154 20 76 63 279 275 176 298 340 57 350 361 9 150 191 27 144 312 126 73 90 119 33 42 174 30 101 125 18 220 19 265 201 149 168 13 159 223 146 45 338 138 334 29 21 99 a YES a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 55 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 91 94 97 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 205 207 209 212 213 214 215 216 218 232 233 239 240 241 243 247 252 256 262 263 265 268 269 273 274 275 278 279 282 285 291 296 302 306 312 319 321 324 328 338 339 340 341 344 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 91 94 97 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 205 207 209 212 213 214 215 216 218 232 233 239 240 241 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 312 319 321 324 328 338 339 340 341 344 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 97 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 205 207 209 212 213 214 215 216 218 232 233 239 240 241 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 312 319 321 324 328 338 339 340 341 344 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 97 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 233 239 240 241 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 312 319 321 324 328 338 339 340 341 344 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 97 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 233 239 240 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 338 339 340 341 344 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 97 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 199 205 207 209 212 213 214 215 216 218 233 239 240 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 338 339 340 341 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 97 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 199 205 207 209 212 213 214 215 216 218 233 239 240 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 338 339 340 341 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 97 101 102 106 107 110 111 112 119 121 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 199 205 207 209 212 213 214 215 216 218 233 239 240 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 307 312 319 321 324 328 338 339 340 341 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 97 101 102 106 107 110 111 112 119 121 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 199 205 207 209 212 213 214 215 216 233 239 240 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 307 308 312 319 321 324 328 338 339 340 341 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 97 101 102 106 107 110 111 112 119 121 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 199 201 205 207 209 212 213 214 215 216 233 239 240 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 307 308 312 319 321 324 328 338 339 340 341 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 97 101 102 106 107 110 111 112 119 121 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 199 201 205 207 209 212 213 214 215 216 233 239 240 243 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 321 324 328 338 339 340 341 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 97 101 102 106 107 110 111 112 119 121 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 199 201 205 207 209 212 213 214 215 216 233 239 240 243 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 321 328 338 339 340 341 350 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 97 101 102 107 110 111 112 116 119 121 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 199 201 205 207 209 212 213 214 215 216 233 239 240 243 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 321 328 338 339 340 341 350 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 101 102 107 110 111 112 116 119 121 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 199 201 205 207 209 212 213 214 215 216 233 239 240 243 246 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 321 328 338 339 340 341 350 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 99 101 102 107 110 111 112 116 119 121 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 188 192 193 199 201 205 207 209 212 213 214 215 216 233 239 240 243 246 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 321 328 338 339 340 341 350 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 99 101 107 110 111 112 116 119 121 125 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 188 192 193 199 201 205 207 209 212 213 214 215 216 233 239 240 243 246 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 321 328 338 339 340 341 350 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 94 95 99 101 107 110 111 112 116 119 121 125 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 192 193 199 201 205 207 209 212 213 214 215 216 220 233 239 240 243 246 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 321 328 338 339 340 341 350 353 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 74 75 76 77 79 83 85 86 88 89 90 94 95 99 101 107 110 111 112 116 119 121 125 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 192 193 199 201 205 207 209 212 213 214 215 216 220 233 239 240 243 246 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 321 328 338 339 340 341 350 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 74 75 76 77 79 83 85 86 88 89 90 94 95 99 101 107 110 111 112 116 119 121 125 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 192 193 194 199 201 205 207 209 212 213 214 215 216 220 233 239 240 243 246 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 328 338 339 340 341 350 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 74 75 76 77 79 83 85 86 88 89 90 94 95 99 101 107 110 111 112 116 119 121 125 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 193 194 199 201 205 207 209 212 213 214 215 216 220 233 239 240 243 246 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 328 338 339 340 341 350 358 361 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 74 75 76 77 79 83 86 88 89 90 94 95 99 101 107 110 111 112 116 119 121 125 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 193 194 199 201 205 207 209 212 213 214 215 216 220 233 239 240 243 246 247 252 256 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 74 75 76 77 79 86 88 89 90 94 95 99 101 107 110 111 112 116 119 121 125 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 193 194 199 201 205 207 209 212 213 214 215 216 220 233 239 240 243 246 247 252 256 258 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 62 63 64 65 69 71 72 74 75 76 77 79 86 88 89 90 94 95 99 100 101 107 110 111 112 116 119 121 125 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 193 194 199 201 205 207 209 212 213 214 215 216 220 233 239 240 243 246 247 252 256 258 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 59 62 63 64 65 69 71 72 74 75 76 77 79 86 88 89 90 94 95 99 100 101 107 110 111 112 116 119 121 125 126 137 138 143 144 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 193 194 199 201 207 209 212 213 214 215 216 220 233 239 240 243 246 247 252 256 258 262 263 265 273 274 275 278 279 282 285 291 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 59 62 63 64 65 69 71 72 74 75 76 77 79 86 88 89 90 94 95 99 100 101 107 110 111 112 116 119 121 125 126 137 138 143 144 146 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 193 194 199 201 207 209 212 213 214 215 216 220 233 239 240 243 246 247 252 256 258 262 263 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 59 62 63 64 65 69 71 72 74 75 76 77 79 86 88 89 90 94 95 99 100 101 107 110 111 112 116 119 121 125 126 137 138 143 144 146 149 150 152 154 158 161 164 168 169 170 172 174 176 180 183 187 193 194 199 201 207 209 212 213 214 215 216 220 239 240 243 246 247 252 256 258 262 263 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 59 62 63 64 65 69 71 74 75 76 77 79 86 88 89 90 94 95 99 100 101 107 110 111 112 116 119 121 125 126 137 138 141 143 144 146 149 150 152 154 158 161 164 168 169 170 172 174 176 180 183 187 193 194 199 201 207 209 212 213 214 215 216 220 239 240 243 246 247 252 256 258 262 263 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 59 62 63 64 65 69 71 74 75 76 77 79 86 88 89 90 95 99 100 101 107 110 111 112 116 119 121 125 126 137 138 141 143 144 146 149 150 152 154 158 161 164 168 169 170 172 174 176 180 183 187 193 194 199 201 207 209 212 213 214 215 216 220 228 239 240 243 246 247 252 256 258 262 263 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 18 21 24 27 30 31 33 35 40 44 45 55 56 57 59 62 63 64 65 69 71 74 75 76 77 79 86 88 89 90 95 99 100 101 107 110 111 112 116 119 121 122 125 126 137 138 141 143 144 146 149 150 152 154 158 161 164 168 169 170 172 174 176 180 183 193 194 199 201 207 209 212 213 214 215 216 220 228 239 240 243 246 247 252 256 258 262 263 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 21 24 27 30 31 33 35 40 44 45 55 56 57 59 62 63 64 65 69 71 74 75 76 77 79 86 88 89 90 95 99 100 101 107 110 111 112 116 119 121 122 125 126 137 138 141 143 144 146 149 150 152 154 158 161 164 168 169 172 174 176 180 183 193 194 199 201 207 209 212 213 214 215 216 220 228 239 240 243 246 247 252 256 258 262 263 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 21 24 27 29 30 31 33 35 40 44 45 55 56 57 59 62 63 64 65 69 71 74 75 76 77 79 86 88 89 90 95 99 100 101 107 110 111 112 116 119 121 122 125 126 137 138 141 143 144 146 149 150 152 154 158 161 164 168 169 172 174 176 180 183 193 194 199 201 207 209 212 213 214 215 216 220 228 239 240 243 246 247 252 256 258 262 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 21 24 27 29 30 31 33 35 40 44 45 55 56 57 59 62 63 64 65 69 71 74 75 76 77 79 86 88 90 95 99 100 101 107 110 111 112 116 119 121 122 125 126 137 138 141 143 144 146 149 150 152 154 158 161 164 168 169 172 174 176 180 183 193 194 199 201 207 209 212 213 214 215 216 220 228 239 240 243 246 247 252 256 258 262 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 21 24 27 29 30 31 33 35 40 44 45 47 55 56 57 59 62 63 64 65 69 71 74 75 76 77 79 86 88 90 95 99 100 101 107 110 111 112 116 119 121 122 125 126 137 138 141 143 144 146 149 150 152 154 158 161 164 168 169 172 174 176 180 183 193 194 199 201 207 209 212 213 214 215 216 220 228 239 240 246 247 252 256 258 262 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 21 24 27 29 30 31 33 35 40 44 45 47 55 56 57 59 62 63 64 65 69 71 74 75 76 77 79 86 88 90 95 99 100 101 107 110 111 112 116 119 121 122 125 126 137 138 141 143 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 212 213 214 215 216 220 228 239 240 246 247 252 256 258 262 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 21 24 27 29 30 31 33 35 40 44 45 47 55 56 57 59 62 63 64 65 69 71 74 75 76 77 79 86 88 90 95 99 100 101 107 110 112 116 119 121 122 125 126 137 138 141 143 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 212 213 214 215 216 220 222 228 239 240 246 247 252 256 258 262 265 273 274 275 278 279 282 285 296 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 21 24 27 29 30 31 33 35 40 44 45 47 55 56 57 59 62 63 64 65 69 71 74 75 76 77 79 86 88 90 95 99 100 101 107 110 112 116 119 121 122 125 126 137 138 141 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 212 213 214 215 216 220 222 228 239 240 246 247 252 256 258 262 265 273 274 275 278 279 281 282 285 296 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 21 24 27 29 30 31 33 35 40 44 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 77 79 86 88 90 95 99 100 101 107 110 112 116 119 121 122 125 126 137 138 141 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 212 213 214 215 216 220 222 228 239 240 246 247 252 258 262 265 273 274 275 278 279 281 282 285 296 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 21 24 27 29 30 31 33 35 40 44 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 77 79 86 88 90 95 99 100 101 107 110 112 116 119 121 122 125 126 137 138 141 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 213 214 215 216 220 222 228 239 240 246 247 252 258 262 265 273 274 275 278 279 281 282 285 296 298 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 77 79 86 88 90 95 99 100 101 107 110 112 116 119 121 122 125 126 137 138 141 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 213 214 215 216 220 222 228 239 240 246 247 252 258 262 265 273 274 275 278 279 281 282 285 296 298 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 77 79 86 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 213 214 215 216 220 222 228 239 240 246 247 252 258 262 265 273 274 275 278 279 281 282 296 298 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 77 79 86 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 213 215 216 220 222 228 239 240 246 247 249 252 258 262 265 273 274 275 278 279 281 282 296 298 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 77 79 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 213 215 216 220 222 228 239 240 246 247 249 252 258 262 265 273 274 275 278 279 281 282 289 296 298 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 77 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 213 215 216 220 222 228 239 240 246 247 249 252 258 262 265 273 274 275 277 278 279 281 282 289 296 298 299 302 307 308 312 319 323 328 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 158 159 161 164 168 169 172 174 176 180 193 194 199 201 207 209 213 215 216 220 222 228 239 240 246 247 249 252 258 262 265 273 274 275 277 278 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 158 159 161 168 169 172 174 176 180 193 194 199 201 207 209 213 215 216 220 222 228 234 239 240 246 247 249 252 258 262 265 273 274 275 277 278 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 158 159 161 168 169 172 174 176 180 193 194 199 201 207 213 215 216 220 222 228 234 239 240 246 247 248 249 252 258 262 265 273 274 275 277 278 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 172 174 176 180 193 194 199 201 207 213 215 216 220 222 228 234 239 240 246 247 248 249 252 258 262 265 274 275 277 278 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 172 174 176 180 193 194 199 201 207 213 215 216 220 222 226 228 234 239 240 246 247 248 249 252 258 262 265 274 275 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 338 339 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 172 174 176 180 193 194 199 201 207 213 215 216 220 222 226 228 234 239 240 246 247 248 249 252 258 262 265 270 274 275 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 338 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 65 69 71 73 74 75 76 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 172 174 176 180 193 194 199 201 207 213 215 216 220 222 226 228 234 240 246 247 248 249 252 258 262 265 270 274 275 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 69 71 73 74 75 76 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 172 174 176 180 193 194 199 201 204 207 213 215 216 220 222 226 228 234 240 246 247 248 249 252 258 262 265 270 274 275 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 69 71 73 74 75 76 88 90 95 99 100 101 107 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 172 174 176 193 194 199 201 204 207 213 215 216 220 222 223 226 228 234 240 246 247 248 249 252 258 262 265 270 274 275 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 26 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 69 71 73 74 75 76 88 90 95 99 100 101 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 172 174 176 193 194 199 201 204 207 213 215 216 220 222 223 226 228 234 240 246 247 248 249 252 258 262 265 270 274 275 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 358 361 a 3 6 7 9 15 17 18 19 21 24 26 27 29 30 31 33 35 40 45 47 55 56 57 59 62 63 64 69 71 73 74 75 76 88 90 95 99 100 101 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 172 174 176 193 194 199 201 204 207 213 215 216 220 222 223 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 358 361 a 6 7 9 15 17 18 19 21 24 26 27 29 30 31 33 35 40 45 47 51 55 56 57 59 62 63 64 69 71 73 74 75 76 88 90 95 99 100 101 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 172 174 176 193 194 199 201 204 207 213 215 216 220 222 223 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 358 361 a 6 7 9 17 18 19 21 24 26 27 29 30 31 33 35 40 45 47 51 55 56 57 59 62 63 64 69 71 73 74 75 76 88 90 95 99 100 101 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 172 174 176 193 194 199 201 204 207 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 358 361 a 6 7 9 17 18 19 20 21 24 26 27 29 30 31 33 35 40 45 47 51 55 56 57 59 62 63 64 69 71 73 74 75 76 88 90 95 99 100 101 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 193 194 199 201 204 207 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 358 361 a 6 7 9 17 18 19 20 21 24 26 27 29 30 33 35 40 45 47 51 55 56 57 59 62 63 64 69 71 73 74 75 76 88 90 93 95 99 100 101 110 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 193 194 199 201 204 207 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 358 361 a 6 7 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 45 47 51 55 56 57 59 62 63 64 69 71 73 74 75 76 88 90 93 95 99 100 101 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 193 194 199 201 204 207 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 358 361 a 6 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 45 47 51 55 56 57 59 62 63 64 69 71 73 74 75 76 88 90 93 95 99 100 101 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 193 194 199 201 204 207 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 358 361 a 6 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 73 74 76 88 90 93 95 99 100 101 112 116 119 121 122 124 125 126 137 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 193 194 199 201 204 207 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 358 361 a 6 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 73 74 76 88 90 93 95 99 100 101 112 116 119 121 122 124 125 126 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 191 193 194 199 201 204 207 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 358 361 c Step: 61 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance028_graph001.col /benchmark/random_instance/random_instance028_graph001_01.dat" User time (seconds): 6.32 System time (seconds): 0.15 Percent of CPU this job got: 236% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.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): 203040 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 118260 Voluntary context switches: 7279 Involuntary context switches: 26 Swaps: 0 File system inputs: 0 File system outputs: 392 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:36:16 2023]