#BEGIN: [Fri Sep  1 00:59:45 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/square/hc-square-019-002.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/square/hc-square-019-002_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/2022benchmark/benchmark/square/hc-square-019-002.col /benchmark/2022benchmark/benchmark/square/hc-square-019-002_01.dat
c /benchmark/2022benchmark/benchmark/square/hc-square-019-002.col
c /benchmark/2022benchmark/benchmark/square/hc-square-019-002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 35b048b06630460cd85074b9afc99e53012465445c1a45178acff57a90b4a3d1
s 2 4 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 46 49 51 54 56 59 61 64 66 69 71 74 76 79 81 84 86 89 91 94 96 99 101 104 106 109 111 114 116 119 121 124 126 129 131 134 136 139 141 144 146 149 151 154 156 159 161 164 166 169 171 174 176 179 181 184 186 189 191 194
t 1 3 7 8 12 13 17 18 22 23 27 28 32 33 37 38 42 43 47 48 52 53 57 58 62 63 67 68 72 73 77 78 82 83 87 88 92 93 97 98 102 103 107 108 112 113 117 118 122 123 127 128 132 133 137 138 142 143 147 148 152 153 157 158 162 163 167 168 172 173 177 178 182 183 187 188 192 193
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Fri Sep  1 01:29:46 2023]