#BEGIN: [Mon Oct 16 13:23:54 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen200x200.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen200x200_04_4796.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/queen200x200.col /benchmark/2022benchmark/benchmark/queen/queen200x200_04_4796.dat
c /benchmark/2022benchmark/benchmark/queen/queen200x200.col
c /benchmark/2022benchmark/benchmark/queen/queen200x200_04_4796.dat
TIMEOUT 1800
c send SIGTERM to CID 1c1b6af06f42670e6991626d646f945322da94224f180c637a6d79406977b5a2
s 39120 3385 27316 3155 19827 13131 20570 7272 14034 6525 17574 19760 17278 5673 16096 9686 39528 30190 26707 7022 24880 8697 5871 21992 13470 35614 12488 12887 29754 26905 29068 27118 39952 16225 34017 26178 10836 9597 36624 27542 35242 13604 11491 9380 5343 3589 11219 17988 21350 33021 36229 25584 2899 39337 3607 10615 31261 28339 24256 22682 23334 24613 30260 18966 34567 6340 161 23849 16582 1724 38805 5547 35168 12690 12006 2683 5085 759 25064 39633 38144 32369 8500 898 15826 33463 36065 20643 22138 15452 36993 13279 27711 18772 11908 17037 21179 30674 1532 15018 2412 4351 16640 18198 29330 3986 20859 10322 31839 10410 2133 38304 14638 32127 17749 29467 33253 7512 34245 9177 1319 7693 14844 34684 8195 22929 34841 25851 7902 31666 33620 28141 14431 19562 6926 12364 32446 28889 16894 4416 31428 18371 30848 36481 2306 1109 22335 26599 31157 24591 37047 14209 26310 28492 13855 10001 9987 6723 8903 19313 35435 514 21657 33901 23136 358 4146 38630 27915 15254 20365 11023 18576 4608 20173 37403 19002 35895 29832 15650 25356 38411 23753 23521 11669 22594 32658 37996 4875 24062 37800 28677 6145 30476 1975 37383 21548 32963 25781
t 28677 16127 17988 36720 15018 30674 32063 12006 26178 32552 26707 5343 29754 4875 3589 31261 8903 20173 19827 9987 6926 16295 25064 5871 11908 29068 10615 9177 14431 25584 21992 17749 20365 20643 514 27711 35614 13855 15650 30848 898 3155 12887 12488 26310 10001 31428 4608 18966 22335 21548 30260 23753 24613 31839 35238 36993 4351 37089 37996 26599 9597 20570 39337 2899 11669 8195 39696 16894 1532 17278 14267 21350 4416 24591 30476 36229 21030 18371 28846 32369 1724 21657 10322 1975 28492 7512 8697 23521 23136 38411 22594 4146 2683 34245 35435 32963 14844 7022 18198 23334 33424 39834 29447 16582 3607 18576 27915 9686 7902 20859 36065 19760 24880 1109 33021 17574 16640 12364 37800 6340 33620 24256 2306 14003 759 27118 33901 13470 22682 29330 1319 15826 34567 161 37383 28141 6525 13779 2133 11491 33253 38144 7272 35168 5673 37442 22138 32658 10410 2412 39037 12690 25356 15254 27316 28339 25781 31666 19313 11023 6723 14633 22929 30190 3986 13131 11219 17002 26905 13279 34684 358 24062 15452 25851 34841 18772 35804 9380 5547 23849 19009 39528 38625 8317 19562 10836 3385 29832 7693 34017 38304 31157 38805 27542 5085 36481 6145
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Oct 16 13:53:55 2023]