#BEGIN: [Tue Sep 26 04:57:52 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance030_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance030_graph005_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_instance030_graph005.col /benchmark/random_instance/random_instance030_graph005_01.dat
c /benchmark/random_instance/random_instance030_graph005.col
c /benchmark/random_instance/random_instance030_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID d9bdb0ae49dfd04d47afb0c0b8e6f6b4ea90d6979eae4b32a2507f729de010f3
s 250 253 128 5 223 27 299 207 57 241 2 117 159 14 124 111 213 272 313 364 310 262 52 338 165 249 283 374 60 198 7 325 385 182 292 29 166 345 77 53 273 289 102 172 51 203 366 186 361 308 367 217 225 363 118 254 194 75 232 239 3 231 152 354 311 191 222 142 346 71 336 320 50 139 79 146 290 160 11 277 221 133 39 85 278 97 269 10 47 312 161 318 316 23 148 197 54 291 271 28 324 260 333 33 314 214 205 235 121 181 242 173 234 301 329 68 215 373 41 56 22 219 341 96 331 381 176
t 228 3 88 248 327 57 133 179 7 184 164 310 1 339 43 278 319 94 281 63 385 31 91 42 269 85 144 30 106 111 370 51 322 20 46 366 226 167 208 285 16 376 44 303 107 177 390 378 45 247 155 275 380 103 252 108 249 203 353 356 37 277 21 225 56 28 13 236 309 128 211 340 181 182 358 221 66 260 239 18 262 266 24 97 338 170 214 323 122 11 335 62 368 298 350 68 280 188 23 102 152 375 314 53 267 328 166 308 244 148 357 331 347 124 294 234 320 334 195 344 207 346 254 191 112 201 200
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 05:27:52 2023]