#BEGIN: [Tue Sep 26 05:07:01 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance032_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance032_graph002_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_instance032_graph002.col /benchmark/random_instance/random_instance032_graph002_01.dat
c /benchmark/random_instance/random_instance032_graph002.col
c /benchmark/random_instance/random_instance032_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 4964ada6ed6861ce52e252627b34cc05f6bca4dd5a6a558e3d652bee3034f956
s 241 393 297 360 72 73 348 294 21 128 166 98 351 339 51 25 18 366 308 342 150 113 254 208 248 60 31 224 144 155 160 11 129 17 193 329 186 408 212 237 145 361 56 189 251 284 299 76 227 228 52 415 132 55 131 209 70 324 377 256 240 2 109 389 85 201 401 4 22 179 84 68 134 121 7 332 79 250 170 77 217 138 117 279 387 146 162 335 28 376 173 391 385 381 315 27 354 352 172 157 289 326 3 54 118 89 50 331 338 205 156 5 87 26 260 105 295 327 92 392 283 104 197 371 262 119 399 396 120 380
t 90 298 99 273 129 247 101 399 166 217 31 202 394 46 278 327 171 206 364 397 109 353 121 9 25 214 2 252 192 337 401 13 331 339 156 162 239 142 117 4 20 10 209 150 237 280 123 304 241 182 367 369 406 188 170 41 381 149 189 125 292 207 402 176 338 334 362 412 223 393 215 64 159 91 173 58 34 335 255 374 227 6 376 139 250 140 277 104 164 36 175 198 269 314 28 38 60 62 357 208 312 315 332 134 52 356 11 384 61 243 56 351 295 160 7 69 377 27 114 354 321 266 387 118 352 124 283 382 120 293
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 05:37:02 2023]