#BEGIN: [Tue Sep 26 06:36:26 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance028_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance028_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance028_graph002.col /benchmark/random_instance/random_instance028_graph002_01.dat
c /benchmark/random_instance/random_instance028_graph002.col
c /benchmark/random_instance/random_instance028_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 0ed8310bea645cb8436c6e3802888c4c583f93a95c9dfd142257efbb556c9ec1
s 198 185 12 335 342 274 122 139 102 320 229 232 65 108 187 165 69 282 148 120 25 233 83 247 179 43 222 160 276 72 279 134 45 253 241 54 85 147 137 113 172 313 191 197 340 44 90 309 341 207 175 92 52 146 355 286 354 292 1 194 37 119 33 271 273 53 9 166 358 26 28 325 103 156 96 346 49 132 153 277 168 70 23 189 244 40 267 319 235 318 133 275 268 118 328 283 226 89 17 351 19 284 361 204 314 195 73 170 135 224 110 237 123 127 145 293 68 177 3 206
t 75 97 241 121 277 268 105 316 311 220 294 337 128 113 339 29 284 190 199 67 348 172 137 7 124 119 171 118 86 96 227 4 46 177 39 142 33 186 45 320 12 216 355 76 108 147 275 153 285 197 325 93 334 8 111 18 352 173 224 81 232 318 16 40 249 70 64 253 68 341 26 194 281 297 92 208 159 244 354 74 314 20 24 178 274 106 65 151 235 31 27 335 293 206 239 181 23 351 85 61 44 292 170 304 213 254 261 358 141 19 231 53 263 270 333 175 148 22 362 272
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 07:06:27 2023]