#BEGIN: [Mon Sep  4 18:07:57 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance019_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance019_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 /benchmark/random_instance/random_instance019_graph003.col /benchmark/random_instance/random_instance019_graph003_01.dat
c /benchmark/random_instance/random_instance019_graph003.col
c /benchmark/random_instance/random_instance019_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 080707c11e890c8fb3b69ac9cddd15f831bbb7aec2daccf45919fcea99472d1d
s 219 164 104 31 207 107 228 28 91 192 231 67 134 37 59 213 19 50 172 149 179 32 112 106 16 205 150 81 218 180 43 187 5 168 233 142 153 58 120 119 240 111 229 133 23 113 78 193 74 118 68 71 97 230 162 212 173 175 116 165 14 200 30 26 9 183 190 123 234 167 152 166 99 217 185 210 238 15 76
t 160 79 71 32 211 14 1 65 77 212 27 244 118 9 189 28 178 243 25 119 51 207 196 195 114 10 182 214 93 95 36 80 174 217 154 64 218 156 41 88 62 239 247 235 203 157 53 229 23 21 20 48 127 134 124 26 164 150 147 99 86 171 105 121 104 199 208 240 12 221 42 202 37 112 216 38 200 89 57
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 18:37:57 2023]