#BEGIN: [Tue Sep  5 09:01:11 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance024_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance024_graph003_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_instance024_graph003.col /benchmark/random_instance/random_instance024_graph003_01.dat
c /benchmark/random_instance/random_instance024_graph003.col
c /benchmark/random_instance/random_instance024_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID f8d9d375ebb2432b73e9bea0015d982ab08b4d25614c1afbcd6f8d13f35628ed
s 254 294 110 7 132 276 75 170 298 24 127 293 216 87 70 312 194 280 180 8 255 89 78 260 126 246 67 80 139 240 189 307 176 53 179 272 134 223 76 112 116 219 96 275 137 167 265 278 237 310 196 268 182 33 171 83 17 232 47 190 296 162 64 290 168 15 262 187 85 69 164 88 224 93 206 264 153 72 259 151 226 192 263 169 122 285 217 119 52 230 120 201 61 214 241 37 25 144 242
t 45 268 216 271 149 263 124 137 267 85 306 83 163 21 44 195 217 222 211 7 179 42 56 3 171 73 129 59 190 22 247 158 18 308 50 194 58 143 30 176 206 144 299 212 2 150 283 82 237 304 55 202 156 235 24 112 90 295 225 218 213 182 26 230 264 93 277 223 204 57 169 61 63 265 161 266 309 107 220 127 76 131 103 241 239 236 97 296 135 20 145 40 15 184 71 152 232 224 187
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 09:31:11 2023]