#BEGIN: [Tue Sep  5 02:55:03 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance025_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance025_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_instance025_graph002.col /benchmark/random_instance/random_instance025_graph002_01.dat
c /benchmark/random_instance/random_instance025_graph002.col
c /benchmark/random_instance/random_instance025_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 6ab74bc803804bd111dab0fd2a45b43bfd962ea9dcc526d496a86a241d0a4c49
s 10 202 181 37 236 255 215 276 194 86 164 15 98 304 8 268 246 157 127 143 94 96 248 251 259 311 269 191 108 124 134 121 230 109 220 295 79 56 190 288 100 83 208 34 88 252 279 144 260 205 110 250 137 29 172 214 26 320 151 200 70 27 315 17 204 125 278 211 272 36 199 122 281 180 197 257 282 165 60 231 306 277 173 262 123 241 131 161 158 163 321 294 62 58 80 35 104 41 298 40 206 160 112 237 196
t 95 49 45 79 264 215 23 275 144 13 59 285 44 17 180 202 278 261 266 115 126 279 226 143 114 176 129 276 212 148 33 42 86 131 32 55 171 186 29 141 140 133 109 110 62 294 314 178 3 271 92 224 321 220 277 258 282 169 27 41 37 174 123 181 106 118 66 296 204 65 302 177 265 238 234 2 73 125 119 213 112 105 244 325 208 53 308 63 25 304 250 134 145 68 262 164 101 317 183 9 257 142 231 30 74
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 03:25:03 2023]