#BEGIN: [Tue Sep 26 05:02:03 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance031_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance031_graph004_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_instance031_graph004.col /benchmark/random_instance/random_instance031_graph004_01.dat
c /benchmark/random_instance/random_instance031_graph004.col
c /benchmark/random_instance/random_instance031_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 74fadfd7b5708058469e2046b05a27eab178e2e3b02f83ab0f7366e28d95e7f3
s 312 119 270 272 147 94 65 383 122 90 347 376 298 137 388 257 236 97 63 27 161 391 266 149 160 226 87 169 24 321 81 200 13 56 77 402 155 135 349 92 96 110 360 191 190 364 78 33 342 218 50 88 208 314 71 150 248 317 103 53 217 61 233 44 382 167 267 131 201 62 250 198 394 357 171 387 319 181 127 320 354 183 395 367 141 67 239 398 213 199 221 35 18 173 379 333 396 366 403 177 318 344 214 164 72 301 356 240 111 86 359 365 241 401 158 89 129 105 377 287 384 202 222 148 206 34 288 369 102 209 205 279 83 16
t 139 255 354 111 197 83 202 313 317 208 167 55 321 237 222 361 24 397 137 227 205 45 224 394 238 158 250 366 398 174 68 153 201 119 105 183 143 182 389 149 278 77 102 34 131 26 199 123 141 140 151 287 159 381 294 27 206 253 384 71 46 233 13 161 215 279 61 28 187 37 353 38 81 248 5 49 349 339 270 231 15 214 324 191 382 152 235 243 53 323 291 220 190 138 395 9 327 10 401 18 251 165 346 367 120 303 241 74 295 244 320 298 332 104 200 369 184 134 379 301 87 16 192 280 136 180 7 305 113 290 173 240 319 72
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 05:32:03 2023]