#BEGIN: [Tue Sep  5 03:59:13 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance032_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance032_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat
c /benchmark/random_instance/random_instance032_graph001.col
c /benchmark/random_instance/random_instance032_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 8f7c738a2e4c0cd0d64bb756d9e49074203997eaa7b02647eafbe165a5723038
s 295 219 82 306 346 304 88 312 98 75 137 40 171 180 73 369 133 232 200 34 364 256 231 253 46 173 261 278 94 92 47 361 18 50 168 122 221 44 86 271 9 37 17 240 266 61 338 201 263 230 127 68 280 91 323 291 118 59 43 197 215 23 35 416 250 81 80 42 352 248 404 69 347 367 386 302 190 169 262 129 406 378 182 128 39 177 192 376 114 293 216 83 259 146 348 214 111 6 1 371 340 246 147 377 238 396 235 285 368 321 318 4 57 198 344 307 319 145 411 188 211 70 124 251 151 305 11 360 284 252 119
t 209 5 72 163 346 63 14 284 65 99 316 349 282 350 76 183 61 49 125 154 25 296 234 175 33 211 412 190 170 216 366 138 331 109 135 261 21 403 354 192 3 8 159 291 178 264 88 240 223 4 385 193 259 256 388 398 248 252 227 293 305 370 379 134 364 317 214 150 406 400 221 149 393 249 13 332 92 239 276 382 378 96 108 171 85 52 91 38 245 165 43 323 372 341 119 401 307 254 94 184 384 231 16 250 225 342 123 168 224 219 328 191 387 28 241 206 205 57 257 279 95 327 361 344 312 151 6 140 263 111 54
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 04:29:13 2023]