#BEGIN: [Thu Aug 31 02:40:54 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/sp/sp029.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/sp/sp029_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/sp/sp029.col /benchmark/2022benchmark/benchmark/sp/sp029_01.dat
c /benchmark/2022benchmark/benchmark/sp/sp029.col
c /benchmark/2022benchmark/benchmark/sp/sp029_01.dat
TIMEOUT 1800
c send SIGTERM to CID 8fa066fb0143a12470b3a6a6551baa696990ffda034615137a806bf3b782a505
s 1 8 14 21 27 34 40 47 53 60 66 73 79 86 92 99 105 112 118 125 131 138 144 151 157 164 170 177 183 190 196 203 209 216 222 229 235 242 248 255 261 268 274 281 287 294 300 307 313 320 326 333 339 346 352 359 365 372
t 7 13 14 21 27 34 40 47 53 60 66 73 79 86 92 99 105 112 118 125 131 138 144 151 157 164 170 177 183 190 196 203 209 216 222 229 235 242 248 255 261 268 274 281 287 294 300 307 313 320 326 333 339 346 352 359 365 372
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 03:10:55 2023]