#BEGIN: [Thu Aug 31 03:11:54 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-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 -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 73ebafa9710e190aaba52d367549c289b56dd5c02a1fac97cb33dceea79f7c73
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: [Thu Aug 31 03:41:54 2023]