#BEGIN: [Thu Aug 31 00:40:39 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen030x030.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen030x030_01_3761.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen030x030.col /benchmark/2022benchmark/benchmark/queen/queen030x030_01_3761.dat
c /benchmark/2022benchmark/benchmark/queen/queen030x030.col
c /benchmark/2022benchmark/benchmark/queen/queen030x030_01_3761.dat
TIMEOUT 1800
c send SIGTERM to CID 1e56fb0196408b3700d4576c7747cad623a86fd53754018a7cb4bd4a4546662f
s 508 814 699 671 753 781 615 226 82 576 414 287 725 247 842 447 368 643 329 109 190 21 480 48 162 533 355 560 896
t 507 895 416 814 530 109 287 563 725 576 480 699 753 448 134 615 21 671 82 359 226 643 188 48 247 384 781 310 162
a YES
a 21 48 82 109 162 190 226 247 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 781 814 842 896
a 21 48 82 109 127 162 190 226 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 781 814 842 896
a 21 48 82 109 134 162 190 226 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 781 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 355 368 414 447 480 508 533 560 576 643 671 699 725 753 781 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 355 368 414 447 480 508 533 560 576 615 643 671 725 753 781 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 814 842 896
a 21 31 82 109 134 162 190 226 247 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 814 842 896
a 21 82 109 134 162 190 226 247 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 781 814 842 896
a 48 82 109 134 162 190 226 247 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 781 814 842 896
a 21 48 109 134 162 190 226 247 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 781 814 842 896
a 21 48 82 109 134 162 190 247 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 781 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 355 368 447 480 508 533 560 576 615 643 671 699 725 753 781 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 355 368 447 480 508 533 560 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 508 533 560 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 508 533 560 576 615 643 671 699 725 753 804 840 842 896
a 21 48 82 94 134 162 190 226 247 287 329 355 368 391 447 508 533 560 576 615 643 671 699 725 753 804 840 842 896
a 21 48 82 94 134 162 190 226 247 287 329 355 368 391 447 480 508 533 560 576 615 643 671 699 725 753 804 842 896
a 21 48 82 134 162 190 226 247 287 329 355 368 391 447 480 508 533 560 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 190 226 247 287 329 355 368 391 447 480 508 533 560 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 155 190 226 247 287 329 355 368 391 447 480 508 533 560 576 615 643 671 699 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 560 576 615 643 671 699 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 355 368 391 447 480 508 533 560 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 355 368 391 447 480 508 533 560 576 615 643 671 699 725 753 804 814 842 899
a 21 48 82 109 134 162 190 226 247 287 355 368 391 447 480 508 533 560 576 615 656 671 699 725 753 804 814 842 899
a 21 48 82 109 134 162 190 226 247 287 302 355 368 391 447 480 508 533 560 576 615 656 671 699 725 753 804 814 899
a 21 48 82 109 134 162 190 226 247 287 302 355 368 391 447 480 508 533 560 576 615 656 671 699 725 753 804 814 883
a 21 48 82 109 134 162 190 226 247 287 355 368 391 447 480 508 533 560 576 615 656 671 699 725 753 804 814 842 883
a 21 48 82 109 134 162 226 247 287 329 355 368 391 447 480 508 533 560 576 615 656 671 699 725 753 804 814 842 883
a 21 48 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 560 576 615 656 671 699 725 753 804 814 842 883
a 21 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 560 576 615 656 671 699 725 753 804 814 842 883
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 560 576 615 656 671 699 725 753 804 842 883
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 576 615 656 671 699 725 753 804 814 842 883
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 549 576 615 656 671 725 753 804 814 842 883
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 549 576 615 656 671 710 753 804 814 842 883
a 21 48 82 109 134 162 190 226 247 287 329 355 391 447 480 508 533 549 576 615 656 671 710 725 753 804 814 842 883
a 21 48 82 109 134 162 226 247 287 329 355 368 391 447 480 508 533 549 576 615 656 671 710 725 753 804 814 842 883
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 549 576 615 656 671 710 725 753 804 814 842
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 549 576 615 643 671 710 725 753 804 814 842
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 576 615 643 671 710 725 753 804 814 842 879
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 576 615 643 671 716 725 753 804 814 842 879
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 549 576 615 643 671 716 725 753 804 814 842
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 549 576 615 643 671 716 725 753 804 814 842 893
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 530 549 576 615 643 671 725 753 804 814 842 893
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 530 576 615 643 671 699 725 753 804 814 842 893
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 530 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 480 508 530 563 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 480 507 530 563 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 329 368 391 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 359 368 391 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 301 359 368 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 896
a 21 48 82 109 134 162 190 226 247 287 301 359 368 416 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842
a 21 48 82 109 134 162 190 226 247 287 301 359 416 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 895
a 21 48 82 109 134 162 188 226 247 287 301 359 416 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 895
a 21 48 82 109 134 162 188 226 247 287 310 359 416 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 895
a 21 48 82 109 134 162 188 226 247 287 310 359 384 416 448 480 507 530 563 576 615 643 671 699 725 753 814 842 895
a 21 48 82 109 134 162 188 226 247 287 310 359 384 416 448 480 507 530 563 576 615 643 671 699 725 753 781 814 895
c Step: 55
#END: [Thu Aug 31 01:10:39 2023]