#BEGIN: [Tue Sep 26 08:06:27 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance021_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance021_graph001_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_graph001.col /benchmark/random_instance/random_instance021_graph001_01.dat
c /benchmark/random_instance/random_instance021_graph001.col
c /benchmark/random_instance/random_instance021_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID cc021c89338e4f78c8309f4aa93dc1a81cf85011aac1c20899566ebed045435c
s 222 28 74 105 49 248 165 52 208 197 17 55 143 175 255 83 209 100 247 109 162 90 189 179 75 96 19 163 12 136 29 76 218 148 50 137 225 164 89 181 45 23 156 223 115 33 217 231 158 9 4 235 120 42 41 37 111 251 144 53 108 25 272 154 146 118 133 7 155 244 184 107 198 92 190 121 99 267 224 268 169 20 228 211 79 87 236 54 57 207 69
t 138 14 249 25 189 144 8 36 179 98 63 263 134 213 146 28 40 230 200 48 45 188 205 160 170 99 171 106 248 103 74 175 13 125 42 37 105 80 209 79 240 159 70 94 4 266 38 78 3 35 236 101 243 132 261 224 1 163 221 267 177 165 187 182 262 137 211 164 111 5 29 173 169 51 145 225 154 112 126 152 141 115 245 208 117 190 16 161 114 244 217
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 08:36:28 2023]