#BEGIN: [Tue Sep 26 03:23:18 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance029_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance029_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance029_graph001.col /benchmark/random_instance/random_instance029_graph001_01.dat c /benchmark/random_instance/random_instance029_graph001.col c /benchmark/random_instance/random_instance029_graph001_01.dat s 145 327 294 196 344 38 31 359 73 67 210 207 37 279 329 119 76 372 224 362 343 319 84 68 216 301 246 240 187 44 263 292 139 80 180 174 221 365 160 291 124 123 272 193 316 20 146 91 50 293 324 183 176 243 208 238 323 21 204 276 349 281 274 278 285 3 213 282 367 111 354 189 15 355 321 312 273 374 277 18 370 150 340 268 122 116 77 40 95 284 300 90 41 126 152 337 239 358 227 320 35 303 326 117 47 134 79 56 54 118 314 81 225 34 265 209 109 237 290 52 172 39 128 331 297 164 t 4 288 135 327 175 192 62 72 369 356 304 285 128 235 32 95 350 45 233 272 117 262 361 169 321 244 182 293 216 246 67 221 150 199 231 329 206 53 20 70 172 340 19 370 106 35 125 77 122 139 335 71 99 228 278 112 260 69 280 348 178 28 44 65 342 269 152 39 354 100 207 15 254 355 284 159 50 218 94 227 347 299 85 52 237 257 7 29 174 322 143 34 83 127 316 274 187 249 320 170 358 373 3 300 194 283 98 73 81 103 308 54 291 111 101 298 126 183 259 223 193 113 158 239 267 337 a YES a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 146 150 152 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 237 238 239 240 243 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 292 293 294 297 300 301 303 312 314 316 319 320 321 323 324 326 327 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 146 150 152 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 293 294 297 300 301 303 312 314 316 319 320 321 323 324 326 327 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 293 294 297 300 301 303 312 314 316 319 320 321 323 324 326 327 329 331 337 340 343 344 349 354 355 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 293 294 297 300 301 303 312 314 316 319 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 172 174 176 180 183 187 189 193 196 204 207 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 254 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 293 294 297 300 301 303 312 314 316 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 207 208 209 210 213 216 221 224 225 227 235 237 238 239 240 243 244 246 254 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 293 294 297 300 301 303 312 314 316 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 207 208 209 210 213 216 218 221 224 225 227 235 237 238 239 240 243 244 246 254 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 293 297 300 301 303 312 314 316 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 293 297 300 301 303 312 314 316 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 365 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 71 73 76 77 79 80 81 84 90 91 95 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 263 265 268 272 273 274 276 277 278 279 281 282 284 285 290 291 293 297 300 301 303 312 314 316 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 71 73 76 77 79 80 81 84 90 91 95 99 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 263 265 268 272 274 276 277 278 279 281 282 284 285 290 291 293 297 300 301 303 312 314 316 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 71 73 76 77 79 80 81 84 90 91 95 99 106 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 265 268 272 274 276 277 278 279 281 282 284 285 290 291 293 297 300 301 303 312 314 316 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 71 73 76 77 79 80 81 90 91 95 99 106 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 265 268 272 274 276 277 278 279 281 282 284 285 288 290 291 293 297 300 301 303 312 314 316 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 265 268 272 274 276 277 278 281 282 284 285 288 290 291 293 297 300 301 303 312 314 316 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 68 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 265 268 272 274 276 277 278 281 282 284 285 288 290 291 293 297 300 301 312 314 316 320 321 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 367 370 372 374 a 3 15 18 20 21 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 265 268 272 274 276 277 278 281 282 284 285 288 290 291 293 297 300 301 312 314 316 320 321 322 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 367 370 372 374 a 3 15 18 20 21 29 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 265 268 272 274 276 277 278 281 282 284 285 288 290 291 293 297 300 301 312 314 316 320 321 322 323 324 326 327 329 331 337 340 343 349 354 355 356 358 359 362 367 370 374 a 3 15 20 21 29 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 265 268 272 274 276 277 278 281 282 284 285 288 290 291 293 297 300 301 312 314 316 320 321 322 323 324 326 327 329 331 337 340 343 347 349 354 355 356 358 359 362 367 370 374 a 3 15 20 21 29 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 116 117 118 119 122 123 124 126 128 134 139 145 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 272 274 276 277 278 281 282 284 285 288 290 291 293 297 300 301 312 314 316 320 321 322 323 324 326 327 329 331 337 340 343 347 349 354 355 356 358 359 362 367 370 374 a 3 15 20 21 29 31 34 35 37 38 39 40 41 44 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 116 117 118 119 122 123 124 126 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 272 274 276 277 278 281 282 284 285 288 290 291 293 297 299 300 301 312 314 316 320 321 322 323 324 326 327 329 331 337 340 343 347 349 354 355 356 358 359 362 367 370 374 a 3 4 15 20 21 29 31 34 35 38 39 40 41 44 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 116 117 118 119 122 123 124 126 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 272 274 276 277 278 281 282 284 285 288 290 291 293 297 299 300 301 312 314 316 320 321 322 323 324 326 327 329 331 337 340 343 347 349 354 355 356 358 359 362 367 370 374 a 3 4 15 20 21 29 34 35 38 39 40 41 44 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 112 116 117 118 119 122 123 124 126 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 272 274 276 277 278 281 282 284 285 288 290 291 293 297 299 300 301 312 314 316 320 321 322 323 324 326 327 329 331 337 340 343 347 349 354 355 356 358 359 362 367 370 374 a 3 4 15 20 21 29 34 35 38 39 40 41 44 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 112 116 117 118 119 122 123 124 126 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 301 312 314 316 320 321 322 323 324 326 327 329 331 337 340 343 347 349 354 355 356 358 359 362 370 374 a 3 4 15 20 21 29 34 35 38 39 40 41 44 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 112 116 117 118 119 122 123 124 126 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 208 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 301 312 314 316 320 321 322 323 324 326 327 329 331 337 340 347 349 354 355 356 358 359 362 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 109 111 112 116 117 118 119 122 123 124 126 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 301 312 314 316 320 321 322 323 324 326 327 329 331 337 340 347 349 354 355 356 358 359 362 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 301 308 312 314 316 320 321 322 323 324 326 327 329 331 337 340 347 349 354 355 356 358 359 362 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 204 206 207 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 301 308 312 314 316 320 321 322 323 324 327 329 331 337 340 347 349 354 355 356 358 359 362 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 206 207 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 301 308 312 314 316 320 321 322 323 324 327 329 331 337 340 342 347 349 354 355 356 358 359 362 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 127 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 206 207 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 301 308 312 316 320 321 322 323 324 327 329 331 337 340 342 347 349 354 355 356 358 359 362 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 79 80 81 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 127 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 206 207 209 210 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 301 308 312 316 320 321 322 323 324 327 329 331 335 337 340 342 347 349 354 355 356 358 359 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 79 80 81 83 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 127 128 134 139 150 152 160 164 170 172 174 176 180 183 187 189 193 206 207 209 213 216 218 221 225 227 235 237 238 239 240 243 244 246 249 254 268 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 301 308 312 316 320 321 322 323 324 327 329 331 335 337 340 342 347 349 354 355 356 358 359 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 79 80 81 83 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 127 128 134 139 150 152 160 164 170 172 174 180 183 187 189 193 206 207 209 213 216 218 221 225 227 231 235 237 238 239 240 243 244 246 249 254 268 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 301 308 312 316 320 321 322 323 324 327 329 331 335 337 340 342 347 349 354 355 356 358 359 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 79 80 81 83 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 127 128 134 139 150 152 160 164 170 172 174 180 183 187 189 193 206 207 209 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 268 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 308 312 316 320 321 322 323 324 327 329 331 335 337 340 342 347 349 354 355 356 358 359 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 79 80 81 83 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 127 128 134 139 150 152 160 164 170 172 174 175 180 183 187 189 193 206 207 209 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 308 312 316 320 321 322 323 324 327 329 331 335 337 340 342 347 349 354 355 356 358 359 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 80 81 83 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 127 128 134 139 150 152 160 164 169 170 172 174 175 180 183 187 189 193 206 207 209 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 299 300 308 312 316 320 321 322 323 324 327 329 331 335 337 340 342 347 349 354 355 356 358 359 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 80 81 83 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 127 128 134 139 150 152 160 164 169 170 172 174 175 180 183 187 189 193 206 207 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 323 324 327 329 331 335 337 340 342 347 349 354 355 356 358 359 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 80 81 83 90 91 95 99 103 106 111 112 116 117 118 119 122 123 124 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 323 324 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 370 374 a 3 4 15 20 21 28 29 34 35 38 39 40 41 44 45 47 50 52 54 56 67 69 71 73 76 77 80 81 83 90 91 95 99 103 106 111 112 116 117 118 122 123 124 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 323 324 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 370 374 a 3 4 15 20 28 29 34 35 38 39 40 41 44 45 47 50 52 53 54 56 67 69 71 73 76 77 80 81 83 90 91 95 99 103 106 111 112 116 117 118 122 123 124 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 323 324 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 370 374 a 3 4 15 20 28 29 34 35 38 39 40 41 44 45 47 50 52 53 54 56 67 69 71 73 76 77 80 81 83 90 91 95 98 99 103 106 111 112 116 117 118 122 123 124 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 277 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 323 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 370 374 a 3 4 15 20 28 29 34 35 38 39 40 41 44 45 47 50 52 53 54 56 67 69 70 71 73 76 77 80 81 83 90 91 95 98 99 103 106 111 112 116 117 118 122 123 124 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 323 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 370 374 a 3 4 15 20 28 29 34 35 38 39 40 41 44 45 47 50 52 53 54 56 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 116 117 118 122 123 124 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 323 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 370 374 a 3 4 7 15 20 28 29 34 35 38 39 40 41 44 45 47 50 52 53 54 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 116 117 118 122 123 124 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 225 227 231 233 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 323 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 370 374 a 3 4 7 15 20 28 29 34 35 38 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 116 117 118 122 123 124 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 223 225 227 231 233 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 323 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 370 374 a 3 4 7 15 20 28 29 34 35 38 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 116 117 118 122 123 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 223 225 227 231 233 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 323 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 369 370 374 a 3 4 7 15 19 20 28 29 34 35 38 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 116 117 118 122 123 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 223 225 227 231 233 235 237 238 239 240 243 244 246 249 254 259 269 272 274 276 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 369 370 374 a 3 4 7 15 19 20 28 29 34 35 38 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 116 117 118 122 123 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 223 225 227 231 233 235 237 238 239 240 243 244 246 249 254 257 259 269 272 274 276 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 327 329 331 335 337 340 342 347 349 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 38 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 113 116 117 118 122 123 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 223 225 227 231 233 235 237 238 239 240 243 244 246 249 254 257 259 269 272 274 276 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 349 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 113 116 117 118 122 123 125 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 223 225 227 231 233 235 237 238 239 240 243 244 246 249 254 257 259 269 272 274 276 278 281 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 349 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 113 116 117 118 122 123 125 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 243 244 246 249 254 257 259 269 272 274 276 278 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 349 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 113 116 117 118 122 123 125 126 127 128 134 139 150 152 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 243 244 246 249 254 257 259 260 269 272 274 278 282 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 349 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 76 77 80 81 83 91 95 98 99 103 106 111 112 113 116 117 118 122 123 125 126 127 128 134 139 150 152 159 160 164 169 170 172 174 175 183 187 189 193 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 243 244 246 249 254 257 259 260 269 272 274 278 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 349 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 77 80 81 83 91 95 98 99 103 106 111 112 113 116 117 118 122 123 125 126 127 128 134 139 150 152 159 160 164 169 170 172 174 175 183 187 189 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 243 244 246 249 254 257 259 260 269 272 274 278 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 349 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 77 80 81 83 91 95 98 99 103 106 111 112 113 116 117 118 122 123 125 126 127 128 134 139 150 152 159 160 164 169 170 172 174 175 183 187 189 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 243 244 246 249 254 257 259 260 269 272 274 278 280 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 77 80 81 83 91 95 98 99 103 106 111 112 113 116 117 118 122 125 126 127 128 134 139 150 152 159 160 164 169 170 172 174 175 183 187 189 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 243 244 246 249 254 257 259 260 269 272 274 278 280 283 284 285 288 290 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 77 80 81 83 91 95 98 99 103 106 111 112 113 116 117 118 122 125 126 127 128 134 139 150 152 158 159 160 164 169 170 172 174 175 183 187 189 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 243 244 246 249 254 257 259 260 269 272 274 278 280 283 284 285 288 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 77 80 81 83 95 98 99 103 106 111 112 113 116 117 118 122 125 126 127 128 134 139 150 152 158 159 160 164 169 170 172 174 175 183 187 189 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 243 244 246 249 254 257 259 260 269 272 274 278 280 283 284 285 288 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 77 80 81 83 85 95 98 99 103 106 111 112 113 116 117 118 122 125 126 127 128 134 139 150 152 158 159 160 164 169 170 172 174 175 183 187 189 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 244 246 249 254 257 259 260 269 272 274 278 280 283 284 285 288 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 77 80 81 83 85 95 98 99 103 106 111 112 113 116 117 118 122 125 126 127 128 134 139 150 152 158 159 160 164 169 170 172 174 175 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 244 246 249 254 257 259 260 269 272 274 278 280 283 284 285 288 291 293 297 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 77 80 81 83 85 95 98 99 103 106 111 112 113 116 117 118 122 125 126 127 128 134 139 150 152 158 159 160 164 169 170 172 174 175 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 244 246 249 254 257 259 260 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 67 69 70 71 73 77 80 81 83 85 95 98 99 100 103 106 111 112 113 117 118 122 125 126 127 128 134 139 150 152 158 159 160 164 169 170 172 174 175 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 244 246 249 254 257 259 260 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 34 35 39 40 41 44 45 50 52 53 54 62 65 67 69 70 71 73 77 80 81 83 85 95 98 99 100 103 106 111 112 113 117 118 122 125 126 127 128 134 139 150 152 158 159 160 169 170 172 174 175 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 244 246 249 254 257 259 260 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 359 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 41 44 45 50 52 53 54 62 65 67 69 70 71 73 77 80 81 83 85 95 98 99 100 103 106 111 112 113 117 118 122 125 126 127 128 134 139 150 152 158 159 160 169 170 172 174 175 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 244 246 249 254 257 259 260 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 41 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 95 98 99 100 103 106 111 112 113 117 118 122 125 126 127 128 134 139 150 152 158 159 160 169 170 172 174 175 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 244 246 249 254 257 259 260 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 103 106 111 112 113 117 118 122 125 126 127 128 134 139 150 152 158 159 160 169 170 172 174 175 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 244 246 249 254 257 259 260 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 103 106 111 112 113 117 118 122 125 126 127 128 139 150 152 158 159 160 169 170 172 174 175 178 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 244 246 249 254 257 259 260 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 103 106 111 112 113 117 122 125 126 127 128 139 143 150 152 158 159 160 169 170 172 174 175 178 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 238 239 240 244 246 249 254 257 259 260 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 103 106 111 112 113 117 122 125 126 127 128 139 143 150 152 158 159 160 169 170 172 174 175 178 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 103 106 111 112 113 117 122 125 126 127 128 139 143 150 152 158 159 169 170 172 174 175 178 182 183 187 192 193 194 206 207 213 216 218 221 223 225 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 304 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 122 125 126 127 128 139 143 150 152 158 159 169 170 172 174 175 178 182 183 187 192 193 194 206 207 213 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 304 308 312 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 122 125 126 127 128 139 143 150 152 158 159 169 170 172 174 175 178 182 183 187 192 193 194 199 206 207 213 216 218 221 223 227 228 231 233 235 237 239 240 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 122 125 126 127 128 139 143 150 152 158 159 169 170 172 174 175 178 182 183 187 192 193 194 199 206 207 213 216 218 221 223 227 228 231 233 235 237 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 361 369 370 a 3 4 7 15 19 20 28 29 32 34 35 39 40 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 122 125 126 127 128 139 143 150 152 158 159 169 170 172 174 175 178 182 183 187 192 193 194 199 206 207 216 218 221 223 227 228 231 233 235 237 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 361 369 370 373 a 3 4 7 15 19 20 28 29 32 34 35 39 44 45 50 52 53 54 62 65 67 69 70 71 72 73 77 81 83 85 94 95 98 99 100 101 103 106 111 112 113 117 122 125 126 127 128 135 139 143 150 152 158 159 169 170 172 174 175 178 182 183 187 192 193 194 199 206 207 216 218 221 223 227 228 231 233 235 237 239 244 246 249 254 257 259 260 262 267 269 272 274 278 280 283 284 285 288 291 293 298 299 300 304 308 316 320 321 322 327 329 335 337 340 342 347 348 350 354 355 356 358 361 369 370 373 c Step: 72 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance029_graph001.col /benchmark/random_instance/random_instance029_graph001_01.dat" User time (seconds): 2.55 System time (seconds): 0.15 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.71 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): 115444 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 125778 Voluntary context switches: 17 Involuntary context switches: 13 Swaps: 0 File system inputs: 0 File system outputs: 472 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:23:21 2023]