#BEGIN: [Tue Sep 26 09:07:01 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance033_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance033_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance033_graph002.col /benchmark/random_instance/random_instance033_graph002_01.dat
c /benchmark/random_instance/random_instance033_graph002.col
c /benchmark/random_instance/random_instance033_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 95f0111813af7f49a65cf4deb2ca60626cc95dc8f5d5d23003f7134a29f80469
s 163 312 74 213 415 245 315 301 406 413 365 248 256 140 23 2 56 359 39 64 201 356 9 358 35 318 206 200 283 276 349 317 267 310 378 348 221 305 390 116 157 375 421 60 228 139 411 86 187 69 396 142 89 54 404 209 52 306 15 360 347 303 204 91 263 226 295 195 45 426 108 322 154 111 80 329 275 217 234 429 43 232 251 215 137 162 33 269 342 336 387 130 19 81 227 351 321 412 352 181 129 38 239 174 41 373 17 287 282 184 101 409 197 104 333 3 78 188 254 391 44 255 331 316 395 289 145 369 212 355 7 182 133 260 147
t 311 150 138 60 213 218 275 254 278 250 270 228 418 168 386 92 308 374 25 28 114 197 219 406 115 283 32 245 53 169 143 64 273 327 279 289 45 375 189 410 76 182 134 130 93 290 293 354 224 37 427 404 38 269 5 120 10 356 229 325 248 411 216 282 46 41 388 232 380 344 260 428 75 133 422 184 81 127 397 129 141 355 105 303 251 34 195 190 307 272 317 342 108 295 74 359 11 217 199 352 66 258 101 52 207 131 364 50 343 391 1 296 96 135 348 301 333 72 86 206 299 302 201 223 208 357 255 125 192 174 171 117 384 389 276
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 09:37:01 2023]