#BEGIN: [Thu Sep  7 10:19:45 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/hand_made_wide/power_wider/suzuki_instance_3_12_2_3.col
#INSTANCE2: /benchmark/hand_made_wide/power_wider/suzuki_instance_3_12_2_3_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/hand_made_wide/power_wider/suzuki_instance_3_12_2_3.col /benchmark/hand_made_wide/power_wider/suzuki_instance_3_12_2_3_01.dat
c /benchmark/hand_made_wide/power_wider/suzuki_instance_3_12_2_3.col
c /benchmark/hand_made_wide/power_wider/suzuki_instance_3_12_2_3_01.dat
TIMEOUT 1800
c send SIGTERM to CID 78495bc98a19b000675a57907011ac1ea8491959db8c4f3601306aa3dc0c01c1
s 6 12 18 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 198 207 213 222 228 237 243 252 258 267 273 282 288 297 303 312 318 327 333 342 348 357 363 372 378 387 393 402 408 417 423 432 438 447 453 462 468 477 483 492 498 507 513 522 528 537 543 552
t 6 12 18 27 33 42 48 57 63 72 78 87 93 102 108 117 123 132 138 147 153 162 168 177 183 192 198 207 213 222 228 237 243 252 258 267 273 282 288 297 303 312 318 327 333 342 348 357 363 372 378 387 393 402 408 417 423 432 438 447 453 462 468 477 483 492 498 507 516 519 531 534 546 549
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Sep  7 10:49:45 2023]