#BEGIN: [Tue Sep  5 02:24:30 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance021_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance021_graph004_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_graph004.col /benchmark/random_instance/random_instance021_graph004_01.dat
c /benchmark/random_instance/random_instance021_graph004.col
c /benchmark/random_instance/random_instance021_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 8547cbd3dd6c43d31cfbbd20b5e4ec20398b987d55977882e945d973d1afe121
s 141 153 122 259 60 199 201 149 84 3 267 243 271 103 242 244 210 78 156 93 225 17 76 114 62 39 163 209 26 70 219 184 229 249 32 36 165 7 44 220 262 112 131 137 167 252 147 250 179 169 94 25 30 260 81 150 54 246 91 207 126 79 175 86 67 52 130 257 101 120 22 158 261 266 9 238 269 95 31 162 105 273 239 33 185 152
t 128 161 170 25 172 218 131 244 250 228 216 155 220 266 129 214 146 62 26 243 206 18 159 271 36 203 191 67 166 45 46 97 179 92 32 241 143 104 208 158 272 136 63 156 247 12 268 212 235 265 189 101 171 209 43 150 233 175 261 57 59 103 142 90 81 185 10 253 89 239 190 95 7 273 82 257 39 132 93 255 184 210 238 180 83 162
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 02:54:30 2023]