#BEGIN: [Mon Sep  4 22:35:46 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance022_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance022_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance022_graph001.col /benchmark/random_instance/random_instance022_graph001_01.dat
c /benchmark/random_instance/random_instance022_graph001.col
c /benchmark/random_instance/random_instance022_graph001_01.dat
s 210 189 48 80 234 192 15 30 232 81 140 109 218 248 96 226 233 102 118 254 183 82 281 117 119 172 195 283 137 176 63 257 2 256 43 125 146 147 34 12 49 104 216 84 161 242 170 179 95 50 152 65 130 219 159 201 206 211 180 202 97 61 274 143 191 77 196 21 57 11 72 225 129 153 185 229 231 163 20 262 139 230 284 134 40 280 92 32 66 149 227 29 110 131 246 10
t 131 230 74 177 172 108 47 188 42 32 261 155 247 115 274 38 215 13 119 190 256 118 10 284 129 122 18 277 249 156 220 270 6 98 266 54 113 39 232 205 2 272 200 235 196 184 282 1 64 264 239 63 127 75 26 136 263 5 43 76 36 70 145 56 245 273 242 246 279 187 130 262 66 194 84 159 40 135 150 222 92 189 243 45 206 90 139 100 140 233 191 29 48 52 185 149
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 22:43:24 2023]