#BEGIN: [Tue Sep 26 06:38:51 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance030_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance030_graph002_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_instance030_graph002.col /benchmark/random_instance/random_instance030_graph002_01.dat
c /benchmark/random_instance/random_instance030_graph002.col
c /benchmark/random_instance/random_instance030_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 54df1edb8f4794b3b694bc42c976194dd98d6a80d97784f5e46f8da86a7cf8f2
s 35 267 23 170 83 150 225 251 378 314 187 238 139 43 323 8 290 387 369 79 185 47 376 313 271 72 285 5 236 312 343 137 20 56 205 263 138 191 113 381 257 356 133 136 197 247 159 306 117 222 73 164 180 249 270 380 99 354 259 295 371 143 63 126 269 291 288 39 101 52 12 26 68 207 67 208 76 338 90 277 282 310 40 1 55 66 11 321 216 219 262 54 169 333 81 235 264 223 175 194 215 168 25 373 198 300 162 193 75 13 94 41 233 384 250 374 84 91 195 135 265 286 9 59 206 261 213 77
t 353 18 388 286 169 317 228 193 221 225 244 45 346 176 300 232 38 147 17 93 231 91 251 340 141 255 380 159 267 106 385 175 144 148 92 204 307 125 365 285 182 256 102 67 331 258 185 20 243 315 152 341 59 342 70 131 278 283 184 309 27 207 181 35 373 110 323 9 304 326 31 97 47 352 293 124 261 80 347 58 95 192 390 316 235 32 34 1 212 318 85 357 254 94 174 6 54 377 369 245 103 301 14 268 137 8 214 75 4 381 13 344 382 374 133 308 337 310 190 306 363 79 299 5 329 376 296 229
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 07:08:51 2023]