#BEGIN: [Tue Sep  5 08:53:52 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance021_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance021_graph005_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_instance021_graph005.col /benchmark/random_instance/random_instance021_graph005_01.dat
c /benchmark/random_instance/random_instance021_graph005.col
c /benchmark/random_instance/random_instance021_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 893e16050a0b3eda8ecac058fa93dfb11222783e149e8d21a70f73c4524cb0f5
s 258 242 53 212 165 262 142 267 273 146 186 160 231 60 105 7 30 170 255 194 40 107 84 207 34 167 218 132 104 38 110 148 183 188 57 179 14 134 147 244 71 268 6 250 106 32 91 130 99 270 238 181 88 52 239 257 39 9 232 168 121 187 117 191 66 263 58 150 185 144 145 193 221 135 11 27 236 94 97 29 229 158 42 115
t 114 93 62 4 75 152 225 71 102 5 113 60 36 224 81 246 259 197 105 54 84 235 261 18 153 163 227 86 116 175 140 88 249 56 112 76 155 182 181 183 149 270 236 20 231 24 111 207 59 55 108 201 94 83 178 151 228 208 193 37 158 244 154 69 209 127 124 204 271 174 217 142 188 248 202 251 176 147 145 9 89 42 247 82
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 09:23:52 2023]