#BEGIN: [Thu Aug 31 23:28:17 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen100x100.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen100x100_04_0618.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/queen100x100.col /benchmark/2022benchmark/benchmark/queen/queen100x100_04_0618.dat
c /benchmark/2022benchmark/benchmark/queen/queen100x100.col
c /benchmark/2022benchmark/benchmark/queen/queen100x100_04_0618.dat
TIMEOUT 1800
c send SIGTERM to CID fd1c4fc3c6868866d0afca154c3338111cec7a155f87d8e25a6c5cb89d14cba7
s 944 6969 4991 9113 3753 8129 7017 6462 1459 8719 9015 7249 5728 5626 5360 8410 9309 6550 6257 5866 7861 4592 7347 8227 79 3412 3694 3848 1356 477 8031 278 1823 7682 6751 4888 4400 7198 7499 554 4483 1568 9405 1652 5435 2916 2696 1258 176 2342 4286 9704 7740 2546 9601 3514 5932 6820 9211 7597 8808 4687 5289 6695 5081 6155 8607 5570 3990 1973 3330 767 9802 2437 3018 5184 636 375 2824 4193 2739 6063 864 1065 6321 4785 2245 8522 8325 3280 3133 8906 9503 1143 2141 2038 4074 7972 9971
t 6820 79 5289 5570 7254 5957 7464 375 1242 2443 4193 2300 1045 4286 5184 7017 1773 7898 548 278 1161 176 7372 8906 5081 2037 4483 6751 3694 3746 2644 4888 8808 4074 6695 6455 3412 867 9601 6156 9309 477 2916 3514 5866 8719 5728 3330 1459 9953 2147 8607 8522 5435 8031 1349 6258 2536 9211 762 9704 9802 8410 3133 5360 9405 9113 2739 4592 1621 4785 2832 7199 2324 5626 3990 9015 6952 9503 3280 4991 668 8325 6063 1569 3838 7597 7965 3018 8227 1834 6323 941 6550 4687 1940 4396 7771 8129
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 23:58:18 2023]