#BEGIN: [Mon Sep  4 20:11:23 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance034_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance034_graph001_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_instance034_graph001.col /benchmark/random_instance/random_instance034_graph001_01.dat
c /benchmark/random_instance/random_instance034_graph001.col
c /benchmark/random_instance/random_instance034_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 8aa0702ac523c71c9b360ad45bbdab5f44f894af9f9cb9753b9d4491f3657409
s 310 44 377 42 149 78 66 55 423 100 33 188 46 406 179 74 234 356 210 296 32 203 265 95 49 432 389 320 29 111 321 160 110 262 330 9 281 211 138 332 249 424 412 322 22 256 403 247 388 419 405 189 70 242 218 206 155 148 393 418 145 327 323 271 216 85 186 128 285 173 14 135 276 263 379 291 298 357 97 275 204 311 61 272 292 382 112 26 422 373 414 258 361 303 120 312 113 208 23 144 2 102 252 353 336 338 340 209 205 181 400 10 147 139 369 178 282 305 198 346 91 38 317 118 101 39 384 152 81 360 62 299 253 273 123 17 199 221
t 234 74 433 90 396 392 264 245 385 22 416 346 435 330 160 46 247 401 88 318 150 341 7 235 425 84 32 64 107 70 263 355 76 381 106 334 297 268 131 142 277 241 86 198 427 406 357 222 379 190 432 111 380 343 29 79 16 172 265 373 95 9 191 232 290 258 364 59 345 316 113 181 417 145 10 135 262 91 221 161 286 374 163 368 157 40 196 378 223 174 116 207 390 407 249 49 67 155 311 403 205 128 291 94 152 217 23 98 421 347 299 271 19 359 228 273 418 53 117 389 39 178 66 189 141 118 439 252 218 314 71 322 303 254 227 139 404 349
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 20:41:23 2023]