#BEGIN: [Mon Oct 16 13:40:43 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen200x200.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen200x200_03_0327.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen200x200.col /benchmark/2022benchmark/benchmark/queen/queen200x200_03_0327.dat
c /benchmark/2022benchmark/benchmark/queen/queen200x200.col
c /benchmark/2022benchmark/benchmark/queen/queen200x200_03_0327.dat
s 17988 36993 30674 9987 38144 22594 28141 20643 34017 38630 35435 14844 30848 26178 5085 34245 3589 4146 27118 2133 20859 759 37047 3607 21992 1532 24256 12364 31261 8500 14113 18371 16894 30476 28677 30190 22682 23521 5871 14431 18576 27711 8317 33463 9597 31666 36481 8195 24062 10410 20365 19009 7902 26707 28889 19562 34841 12488 23753 11669 1724 161 15452 33838 6145 28339 19239 2683 24613 32369 39528 32963 18772 18198 12006 34618 32446 24880 33620 39337 9177 25064 37996 17749 20570 9686 4608 25851 38411 16582 12690 10836 37383 15002 36065 2412 38805 39633 23136 8903 13131 23849 13604 33021 25781 6926 28492 29832 31979 898 19760 358 17574 22138 3986 11908 25584 35895 29467 20173 39901 21657 35242 32127 25356 31428 35614 27542 29068 21152 21350 14224 2899 9380 13470 26599 12887 34567 7272 17278 11491 27915 13279 6723 22335 31157 3155 3385 11023 14634 7693 16225 24591 29754 13855 17037 5547 37403 21548 26310 16640 26905 10001 10322 514 4416 37800 35168 15826 7022 23334 4351 5673 15650 11219 16096 7512 6525 39120 1975 29330 27316 6340 8697 4875 32658 1319 2306 5343 38304 36229 33253 18966 36684 22929 30260 19827 15254 1109
t 7693 6340 29330 34245 21350 11908 24256 7022 18198 13779 4608 759 14634 1109 25781 8195 23849 9380 19760 37046 18371 4875 17278 29660 4416 8500 30476 39696 23334 27316 36993 7272 10001 9597 37554 17574 31666 34684 32063 21992 35435 22929 24880 19313 13131 12006 2899 24062 6926 14002 14267 9686 30674 27915 10322 10410 28141 16640 2683 2133 36481 23753 31428 33253 28492 35614 34841 1724 21548 25851 15826 3986 29068 38805 20859 32552 5085 15650 12488 6525 26905 3385 15004 15452 26310 8697 37383 17749 358 30848 8317 3607 11219 37800 17037 32963 38625 23521 34017 35238 20570 5547 5871 4351 9987 12690 14431 26707 7512 20173 32658 6145 29832 13470 2412 27542 30190 33842 39528 3155 37996 34567 11023 6723 36720 31261 10615 26599 28677 18966 898 24591 38144 29447 8903 20643 38411 1532 18772 5343 30239 4146 22682 19562 12364 32369 25064 22335 7902 18576 11491 13279 3589 161 16295 39337 21030 19009 14844 25584 20365 22138 2306 19827 514 33021 38304 23136 13855 5673 1975 24613 27711 11669 28339 27118 39901 36229 1319 31157 15254 22594 35168 31824 17988 16582 16894 25356 36065 35818 12887 39003 16127 21657 26178 9177 10836 28889 33620
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Oct 16 14:08:28 2023]