#BEGIN: [Thu Aug 31 23:05:12 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen090x090.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen090x090_03_9570.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_03_9570.dat
c /benchmark/2022benchmark/benchmark/queen/queen090x090.col
c /benchmark/2022benchmark/benchmark/queen/queen090x090_03_9570.dat
TIMEOUT 1800
c send SIGTERM to CID 67ed6abf19ea17a1f59da4b6db46d7c784594cb00a22f2959a00d0d4445377d5
s 6804 4041 3470 3181 8094 6633 3683 1915 7741 3585 6153 519 5704 6447 2814 1469 2107 6271 3014 2068 5598 5240 5438 3853 250 426 2965 5956 7303 1414 866 7391 4828 7717 6949 1225 5093 5801 2786 3322 6492 342 756 3417 2357 4971 7215 1663 2523 4127 676 7028 158 5889 1108 3769 1052 5358 4220 1577 1842 5181 2273 572 1309 989 7922 4590 6065 6847 6719 7565 4740 5535 7834 6330 4304 2444 4488 1750 71 3082 7116 4887 4642 4385 2186 7479 2620
t 2444 6847 5618 1141 342 7717 1276 572 772 7741 3322 6542 2273 5535 5240 7215 1750 7565 6065 5358 7922 3769 7116 3480 4041 1833 4621 6813 989 3014 6238 6447 519 864 5977 5688 4692 4529 2965 656 2357 5801 3199 4304 1642 1400 5093 5889 1474 2820 2620 4828 2523 6184 1914 2185 71 2113 4385 3106 8094 5181 7303 5490 426 7834 4127 250 3585 6342 1225 3417 4971 3853 2786 7391 158 1026 4220 6626 4488 2068 6949 3683 7028 3946 1557 6719 7479
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 23:35:12 2023]