#BEGIN: [Mon Sep  4 18:08:16 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance019_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance019_graph004_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_graph004.col /benchmark/random_instance/random_instance019_graph004_01.dat
c /benchmark/random_instance/random_instance019_graph004.col
c /benchmark/random_instance/random_instance019_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID d6431bbce8f394ffc625b58c6c74b451aa52b00df4e84aab5988527aa0127744
s 145 209 65 225 147 69 88 110 101 150 224 53 35 175 218 94 67 70 13 195 167 173 124 73 60 76 10 62 23 186 149 201 1 129 226 229 33 230 196 6 116 14 32 245 144 46 5 154 119 68 163 207 155 191 179 137 77 100 3 99 172 231 142 183 243 45 213 22 98 57 7 55 211 166 234 66 52 105 238 148
t 204 161 70 219 40 231 71 78 83 66 1 164 155 89 106 141 23 217 61 5 35 31 151 145 84 191 242 20 225 39 38 169 116 135 127 87 4 144 171 91 216 220 166 118 211 194 153 236 239 53 230 46 105 90 101 201 24 8 52 17 157 97 174 76 130 149 69 48 131 50 238 112 25 199 175 12 72 159 138 207
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 18:38:16 2023]