#BEGIN: [Mon Sep  4 17:41:16 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance017_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance017_graph005_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_instance017_graph005.col /benchmark/random_instance/random_instance017_graph005_01.dat
c /benchmark/random_instance/random_instance017_graph005.col
c /benchmark/random_instance/random_instance017_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID a88ef489f51d70df4e7edc428d3ab241073b4095a6744dac80434c549b913445
s 131 41 140 62 79 160 110 3 60 11 172 164 15 185 184 74 213 166 189 113 181 122 205 212 217 133 65 102 111 28 50 22 108 68 6 96 124 45 33 47 200 4 13 196 29 163 202 208 137 192 73 126 7 8 59 129 209 119 101 206 165 195 58 117 84 93 150 75 132 56
t 47 71 156 159 140 126 220 18 148 49 110 13 11 142 106 19 177 101 152 137 96 122 69 165 178 211 195 32 146 23 53 207 63 29 26 6 179 56 39 14 203 99 30 90 147 44 107 210 176 157 155 199 17 57 43 129 104 163 181 151 134 10 219 143 208 25 196 79 132 92
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 18:11:17 2023]