#BEGIN: [Mon Sep  4 17:41:10 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance017_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance017_graph002_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_graph002.col /benchmark/random_instance/random_instance017_graph002_01.dat
c /benchmark/random_instance/random_instance017_graph002.col
c /benchmark/random_instance/random_instance017_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 58c2519129b10c7c60bd75aade0082a832ecf76cc11761695381d0fae0b3feda
s 27 198 201 34 83 193 131 166 186 120 59 47 183 65 179 72 220 43 147 194 116 66 85 41 2 168 144 35 62 132 154 24 68 4 213 200 8 216 187 167 75 100 42 38 32 71 188 19 180 61 33 139 122 114 6 143 90 81 22 7 111 137 181 26 88 164 5 196 60
t 156 61 198 191 202 131 212 162 44 158 51 119 137 50 148 12 147 153 42 108 129 64 71 99 66 19 207 83 216 116 139 163 187 179 174 84 90 31 117 29 160 63 181 112 5 110 10 188 159 27 59 20 169 8 140 197 210 189 18 164 199 88 193 79 6 176 142 48 73
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 18:11:10 2023]