#BEGIN: [Mon Sep  4 18:37:58 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance022_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance022_graph004_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_instance022_graph004.col /benchmark/random_instance/random_instance022_graph004_01.dat
c /benchmark/random_instance/random_instance022_graph004.col
c /benchmark/random_instance/random_instance022_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 45f84df6c38f4a5cc54a623f972b686901071e7d8f5f62a859ba3f8acaa13b61
s 27 85 106 202 179 16 20 220 73 228 233 137 221 69 273 10 160 72 197 262 256 75 35 162 9 271 186 6 42 140 235 133 136 253 100 124 244 109 99 56 252 156 201 223 58 217 267 277 48 138 243 46 139 211 225 49 1 125 95 285 157 50 29 57 74 126 190 112 147 234 19 208 236 51 2 185 191 172 113 33 177 214 34 122 79 76 259 107 265 200 77 115 89 60 119
t 155 273 10 210 36 199 125 173 158 22 160 242 37 259 184 277 198 43 139 238 240 231 97 285 232 271 94 256 152 239 132 119 264 112 12 190 54 237 200 118 33 268 51 24 176 60 156 204 141 241 69 282 99 255 223 222 85 249 58 208 100 137 193 225 113 202 95 142 79 15 6 71 74 128 76 73 27 244 147 115 1 245 2 20 227 50 124 201 182 257 16 47 247 234 196
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:07:58 2023]