#BEGIN: [Mon Sep  4 18:40:34 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance023_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance023_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance023_graph002.col /benchmark/random_instance/random_instance023_graph002_01.dat
c /benchmark/random_instance/random_instance023_graph002.col
c /benchmark/random_instance/random_instance023_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 4bc8f79eb5155428469282feeb8a89877ec43cc4099ce3cc0e81d52f3c8594ef
s 248 71 216 105 249 8 50 292 254 45 39 297 204 110 53 46 2 161 157 232 124 107 44 171 256 196 210 198 67 180 188 258 255 228 29 87 197 214 144 172 251 156 229 49 9 209 153 51 265 193 64 85 298 79 75 162 36 225 217 37 211 182 252 231 121 3 30 275 106 142 122 4 203 150 283 77 299 21 158 63 19 244 174 155 1 290 118 241 245 293 185 243 274
t 52 212 176 231 75 88 79 22 83 202 114 194 41 246 221 141 175 123 108 275 160 33 12 39 19 128 223 1 266 9 137 139 205 159 121 60 56 118 259 213 136 101 6 220 145 103 69 55 36 171 240 198 199 253 282 216 260 124 152 87 20 105 131 209 28 77 100 144 235 185 151 268 299 15 109 50 197 162 161 146 251 129 150 179 147 119 155 274 270 189 35 148 245
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:10:34 2023]