#BEGIN: [Tue Sep  5 02:31:23 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance023_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance023_graph001_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_instance023_graph001.col /benchmark/random_instance/random_instance023_graph001_01.dat
c /benchmark/random_instance/random_instance023_graph001.col
c /benchmark/random_instance/random_instance023_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 558f28371b82a0ca3afa1e661836cc82801d18be491761d2c542b35fc4118465
s 243 295 206 270 51 137 253 177 292 7 12 48 157 18 207 150 219 27 245 43 162 249 120 73 244 263 265 108 278 78 294 33 256 251 11 68 60 130 83 235 257 239 30 180 210 90 195 25 208 44 1 164 211 107 13 127 55 218 144 224 259 151 53 91 173 296 230 66 248 254 264 4 132 160 116 227 228 37 2 163 76 274 201 152 22 181 187 203 183 297 271 153 159 288 21 186 247
t 88 296 252 96 137 213 233 102 15 209 18 100 68 294 90 41 224 71 272 237 92 8 153 217 251 220 130 45 17 250 285 168 299 172 254 81 156 280 72 43 247 3 26 211 259 287 198 33 50 270 180 200 103 86 176 125 46 94 82 275 47 274 98 271 114 230 187 28 22 1 36 104 235 154 42 291 228 159 91 13 19 186 135 256 61 52 196 140 51 248 215 35 4 40 160 80 232
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 03:01:23 2023]