#BEGIN: [Mon Sep  4 22:28:19 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance020_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance020_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance020_graph003.col /benchmark/random_instance/random_instance020_graph003_01.dat
c /benchmark/random_instance/random_instance020_graph003.col
c /benchmark/random_instance/random_instance020_graph003_01.dat
s 145 190 177 93 23 251 214 78 30 98 82 25 210 233 188 38 115 103 86 35 163 218 135 212 150 72 197 70 138 13 194 253 232 96 102 125 227 148 224 191 90 151 49 89 116 91 37 184 206 31 258 158 123 247 8 67 143 229 61 75 199 205 168 254 259 43 183 94 220 32 128 165 144 1 225 160 99 219 55 53 63 213
t 139 124 44 14 242 59 235 184 121 215 95 49 81 105 5 157 223 65 120 246 234 7 133 13 238 176 96 34 8 160 145 41 79 119 116 76 134 162 112 239 161 72 17 230 16 159 98 30 113 213 37 3 231 31 187 259 168 194 240 229 68 212 103 155 69 90 4 12 158 20 73 198 218 249 38 56 143 108 71 29 225 226
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 22:35:55 2023]