#BEGIN: [Thu Aug 31 01:20:43 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen090x090.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen090x090_04_1188.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_04_1188.dat
c /benchmark/2022benchmark/benchmark/queen/queen090x090.col
c /benchmark/2022benchmark/benchmark/queen/queen090x090_04_1188.dat
TIMEOUT 1800
c send SIGTERM to CID 8f3919e6d60573718e1d2c2b1b7f0f9a4f987701808e1c74909f31f5074d033e
s 4220 2185 3585 7391 3946 519 6447 2523 3322 4828 2444 4127 3769 3106 6847 4692 71 864 426 572 1474 7116 6949 5358 5240 1026 158 7215 5093 5801 656 7741 2068 4971 1141 2786 3199 4529 6065 5688 6342 4907 5490 5977 6813 6184 2357 7303 7834 2620 2965 8094 4304 3014 4385 4041 7479 3853 1737 3480 4488 3417 7565 5618 3683 2113 1642 6626 5181 989 7717 5889 6719 4621 7028 6238 2273 250 5535 7922 1225 772 1400 1833 6542 2820 1914 342 1276
t 6184 5358 4385 2820 2357 5801 5618 4590 342 1660 7303 426 1288 5240 4488 4971 6949 1477 4740 6714 8094 1742 6449 7391 4885 3106 2786 4220 2523 6847 2273 1926 3683 3322 2620 5424 4041 597 822 7717 2068 6239 6363 7116 4828 7479 3585 71 7741 3417 7834 5688 6626 5889 6542 7565 767 1844 4127 5535 1400 3946 663 7215 2113 250 1024 3177 6811 3436 5093 2965 1572 2186 7028 5971 1102 3769 4642 3853 6065 7922 989 2444 4304 5181 519 3019 1225
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 01:50:44 2023]