#BEGIN: [Thu Aug 31 01:11:38 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen070x070.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen070x070_02_8683.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_02_8683.dat
c /benchmark/2022benchmark/benchmark/queen/queen070x070.col
c /benchmark/2022benchmark/benchmark/queen/queen070x070_02_8683.dat
TIMEOUT 1800
c send SIGTERM to CID e398ca4622eeb2078940d7454f305cff8af95b93ab9b7e2f212466674bf9086c
s 3674 3102 539 1392 2163 2578 3946 723 55 4136 4351 2449 941 1460 4807 3189 3735 4894 2011 196 1677 2958 1064 2713 2191 4485 2345 589 4590 213 2878 465 1958 4098 122 4031 1472 2655 860 3054 1223 3376 4694 691 4283 393 3826 3892 1839 1610 4419 4215 3618 2089 2297 1690 4621 2836 787 330 1147 3257 2516 1782 1267 3442 1008 3320 2754
t 55 1839 4894 592 4020 2318 330 2768 4215 3102 4485 2449 739 3617 4136 3442 3891 1210 3674 4694 1146 4789 3554 1958 1472 787 1460 122 2578 2011 4594 2810 3735 196 2958 392 4419 2516 1777 2163 2089 1392 1677 4283 1610 2905 691 234 1267 4351 3257 2713 3024 1001 3153 3306 1073 4108 2655 3396 1720 4621 943 2297 871 2198 3826 3963 465
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 01:41:39 2023]