#BEGIN: [Thu Aug 31 12:09:10 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen100x100.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen100x100_01_3955.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/queen/queen100x100.col /benchmark/2022benchmark/benchmark/queen/queen100x100_01_3955.dat
c /benchmark/2022benchmark/benchmark/queen/queen100x100.col
c /benchmark/2022benchmark/benchmark/queen/queen100x100_01_3955.dat
TIMEOUT 1800
c send SIGTERM to CID 831a4989e69211554d3e0e46897494b7d6d8798c087a8f5555c396c5c70a0749
s 6751 3746 7271 5932 7017 6257 4785 2644 1772 4193 4074 8607 8129 2100 2537 9601 5626 2145 6155 9211 3412 8227 4687 2447 9802 6649 941 9503 7767 8031 1064 8719 4592 1940 9113 4483 2334 176 5360 3990 6556 278 8906 8325 5081 3694 2916 1652 8808 375 9958 1338 669 477 2795 8410 1823 7365 1161 7898 5570 7597 3514 5728 5436 2824 3854 6462 4991 7968 4396 79 8522 6973 2239 7199 6321 7443 3018 3330 9405 9309 1459 753 835 5866 4286 9704 548 5184 7682 5289 6820 6063 1242 4888 9015 3133 3280
t 3694 4785 8227 6950 4991 4400 1459 4687 5728 652 1823 6221 6456 935 8607 2832 5866 2239 8522 2347 5570 6561 5360 2055 7396 3838 864 4483 375 6358 2534 1224 9309 5957 8129 7468 1636 6751 2916 9802 9704 7844 9015 3018 6063 3330 6154 3133 477 7597 8719 9601 3514 5289 7273 6820 1569 7762 9405 7199 8906 7965 5081 5626 4592 1349 8808 4193 3412 1143 3280 8325 7017 2741 2442 548 9211 3753 6695 1772 1040 767 3990 5184 4888 7682 176 5437 9113 2171 8410 79 1946 4074 9998 2645 4286 278 8031
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 12:39:10 2023]