#BEGIN: [Fri Sep  1 00:06:21 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/sp/sp024.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/sp/sp024_01.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/sp/sp024.col /benchmark/2022benchmark/benchmark/sp/sp024_01.dat
c /benchmark/2022benchmark/benchmark/sp/sp024.col
c /benchmark/2022benchmark/benchmark/sp/sp024_01.dat
TIMEOUT 1800
c send SIGTERM to CID f5985eed1f495e5bb392531c1f9291c058afd4b23eb03ba9f5be2560f440ed92
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
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
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Fri Sep  1 00:36:21 2023]