#BEGIN: [Mon Sep  4 18:41:29 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance024_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance024_graph005_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/random_instance/random_instance024_graph005.col /benchmark/random_instance/random_instance024_graph005_01.dat
c /benchmark/random_instance/random_instance024_graph005.col
c /benchmark/random_instance/random_instance024_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID c497f5510afd5cb0a473402a6cc96ae132866f3eaa291a8edbf0744e97c70e2c
s 26 250 309 206 307 136 226 246 213 242 127 50 273 203 120 312 12 151 278 244 87 224 140 275 123 58 116 183 88 264 93 232 145 168 249 10 274 306 268 281 269 175 61 7 294 238 166 301 96 172 298 72 299 24 97 181 3 62 308 1 71 51 310 286 110 41 257 13 225 143 57 101 303 157 33 222 204 125 216 169 202 253 30 230 66 73 108 239 261 5 118 47 211 236 277 272 217 201 106 163 289 197 122 293
t 103 87 9 148 116 14 225 137 20 170 247 106 271 267 248 230 7 181 171 223 169 39 55 122 104 253 206 272 160 229 278 120 51 124 232 159 52 177 67 165 301 36 21 68 289 191 140 107 61 96 46 284 145 216 237 93 201 274 205 180 234 54 76 100 178 199 94 306 214 192 77 143 196 304 121 288 58 38 219 63 269 163 233 136 246 59 139 108 242 130 211 293 88 47 33 34 26 146 283 252 310 5 308 303
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:11:30 2023]