#BEGIN: [Mon Sep  4 19:40:23 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance029_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance029_graph003_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_instance029_graph003.col /benchmark/random_instance/random_instance029_graph003_01.dat
c /benchmark/random_instance/random_instance029_graph003.col
c /benchmark/random_instance/random_instance029_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 999b2587018c49a6f7d52c7594132e8cbb16934909bd69208ebd4028d19bec80
s 238 140 188 253 49 44 20 342 217 274 259 131 103 152 189 133 283 264 322 115 305 167 163 136 179 75 369 282 252 318 230 211 196 315 249 317 17 121 18 23 30 376 122 316 126 128 224 145 209 85 147 92 160 138 214 33 132 109 172 232 359 151 236 245 12 280 227 77 62 251 98 159 87 215 256 41 341 365 260 88 247 263 374 135 102 123 149 19 331 246 193 257 101 194 302 51 368 36 46 290 79 176 326 67 340 113 213 54 225 116 8 344 181 297 293 3 78 200 208 182 31 296 351
t 184 274 148 233 351 301 260 242 64 273 196 183 51 131 85 317 120 376 244 333 101 245 98 83 150 337 109 197 195 335 171 61 79 266 151 100 239 271 169 201 323 316 75 347 91 306 218 309 268 180 105 27 265 60 325 97 175 96 4 345 220 24 11 138 194 292 262 41 253 139 190 248 211 310 70 164 92 297 261 357 367 162 320 21 278 334 223 330 35 114 103 213 187 172 177 370 160 116 348 71 300 247 259 200 42 318 14 192 205 331 99 174 352 17 293 344 366 208 154 89 104 3 365
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 20:10:23 2023]