#BEGIN: [Mon Sep  4 19:11:18 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance027_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance027_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_instance027_graph002.col /benchmark/random_instance/random_instance027_graph002_01.dat
c /benchmark/random_instance/random_instance027_graph002.col
c /benchmark/random_instance/random_instance027_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 050775850b4fe185fdc42e440496650ca581362201c2ab6d348d6d46160d3bd5
s 84 303 192 230 296 323 1 19 336 236 108 9 225 13 344 40 232 55 257 276 286 57 204 145 168 133 329 171 154 131 86 69 284 321 314 338 351 172 45 158 140 50 130 16 118 180 113 79 123 248 63 325 112 161 240 109 14 25 219 341 175 39 342 298 187 165 258 249 119 261 275 238 183 222 331 288 68 212 330 224 138 260 35 217 144 115 173 5 272 85 11 343 283 80 56 150 75 211 300 142 184 41 53 312 152 159 306 291
t 266 128 83 63 162 146 84 204 9 254 268 10 238 305 4 74 245 220 57 81 230 256 17 79 350 126 225 332 21 165 231 29 166 131 200 152 67 110 269 45 288 155 337 282 294 190 331 68 312 115 298 53 250 343 300 189 180 219 112 94 229 321 103 96 122 309 109 179 304 283 170 176 5 98 264 351 6 271 88 242 159 291 184 119 303 316 15 311 108 208 11 302 144 236 188 62 142 56 89 13 130 161 1 97 198 19 259 248
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:41:18 2023]