#BEGIN: [Tue Sep 26 06:40:02 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance030_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance030_graph004_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_graph004.col /benchmark/random_instance/random_instance030_graph004_01.dat
c /benchmark/random_instance/random_instance030_graph004.col
c /benchmark/random_instance/random_instance030_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID d8e5f790e32aa265ed203a906eb8d2eebe82bf41d70d60b59f911f50d6109422
s 292 239 25 80 219 11 103 177 13 325 271 101 151 330 146 299 287 14 267 186 104 21 161 193 231 2 4 272 154 256 324 15 307 12 140 202 71 102 16 157 24 83 304 317 251 377 308 316 366 29 373 332 90 361 237 321 188 355 145 89 95 129 293 141 315 265 336 201 229 341 382 257 362 314 60 227 147 196 243 176 270 53 134 172 249 124 363 279 359 340 313 106 168 364 142 281 351 198 273 250 150 285 46 160 19 123 370 27 118 40 88 224 211 360 174 56 82 245 93 127 353 331 122 39
t 154 287 184 69 150 376 100 237 222 343 118 269 113 246 57 220 341 179 77 145 163 201 254 7 41 6 338 29 61 331 356 311 188 336 46 307 357 236 258 110 147 226 133 123 305 363 95 288 196 390 380 348 105 186 94 33 349 108 19 137 364 93 48 107 89 134 102 54 362 372 365 202 116 256 233 51 344 360 121 284 11 168 263 214 327 229 125 172 248 203 245 73 211 270 221 22 182 345 385 271 139 292 312 135 316 330 379 32 368 84 306 128 228 315 82 301 117 369 317 370 141 140 257 24
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 07:10:02 2023]