#BEGIN: [Tue Sep  5 02:24:30 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance021_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance021_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance021_graph003.col /benchmark/random_instance/random_instance021_graph003_01.dat
c /benchmark/random_instance/random_instance021_graph003.col
c /benchmark/random_instance/random_instance021_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 33da52e2b9651c40ecb836d3effe2efd0a3858a6c499de4196abe1051e64ce57
s 84 245 85 234 144 83 218 154 256 265 223 20 255 72 157 147 112 58 69 193 13 257 95 186 98 203 75 175 51 73 212 270 3 251 235 240 56 127 44 170 63 114 143 252 239 97 205 200 267 52 199 59 104 168 126 91 48 32 195 88 78 225 215 213 237 190 120 90 241 19 37 148 173 24 70 132 50 80 38 229 182 273 233 264 176 183 23 228
t 228 217 174 191 68 113 167 19 163 12 183 265 109 96 50 256 36 154 245 14 70 248 260 45 184 88 236 146 110 229 133 192 169 214 81 123 147 75 209 51 233 185 60 199 9 24 230 49 61 91 25 67 211 267 54 182 254 249 64 59 206 97 156 44 175 241 266 197 195 23 177 150 78 73 34 22 87 176 33 264 215 222 93 235 57 157 3 53
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 02:54:30 2023]