#BEGIN: [Thu Aug 31 13:30:26 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/sp/sp028.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/sp/sp028_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/sp/sp028.col /benchmark/2022benchmark/benchmark/sp/sp028_01.dat
c /benchmark/2022benchmark/benchmark/sp/sp028.col
c /benchmark/2022benchmark/benchmark/sp/sp028_01.dat
TIMEOUT 1800
c send SIGTERM to CID 4d6af18e1a2c7d34915ab774599e4e9d459ab8c7dae512c3f70abb9bd43c09a9
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
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
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 14:00:27 2023]