#BEGIN: [Tue Sep  5 10:02:03 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance031_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance031_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance031_graph002.col /benchmark/random_instance/random_instance031_graph002_01.dat
c /benchmark/random_instance/random_instance031_graph002.col
c /benchmark/random_instance/random_instance031_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 3985aaa1cd6496c9e79f7612a811993b570a5df60ff7dd8a71b464a3c1d44535
s 300 291 247 217 324 249 314 285 146 210 188 246 178 83 161 2 174 320 156 240 268 72 378 337 328 84 32 43 138 301 367 278 225 141 374 91 42 90 398 40 9 22 245 228 341 117 362 8 139 82 195 254 394 263 200 173 119 277 167 311 177 377 227 287 198 293 27 23 361 157 75 233 150 74 389 20 266 243 116 242 333 282 220 149 267 388 190 186 400 135 127 364 250 255 197 208 69 326 366 372 206 108 368 100 272 49 192 296 153 257 239 387 122 162 403 340 129 63 351 350 212 281 21 259 344 194 132
t 6 15 150 74 335 306 266 157 76 141 65 29 238 211 97 119 31 49 339 4 232 140 130 272 19 278 26 59 158 178 144 62 143 281 365 305 95 350 132 165 124 336 229 360 209 204 318 223 135 301 320 236 68 193 139 293 36 111 72 215 230 118 121 247 299 41 32 12 222 52 319 104 268 159 363 245 352 23 47 190 308 276 196 372 309 358 84 82 77 218 386 387 267 290 98 99 340 378 113 331 24 366 108 250 356 313 381 207 172 400 288 85 316 255 330 392 256 249 212 228 296 399 225 265 126 7 200
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 10:32:03 2023]