| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 1038 | 3600.07 | 3610.18 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb |
| MD5SUM | f429a5cb74c34761160471c7897bca93 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1037 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1963 |
| Total number of constraints | 4000 |
| Number of constraints which are clauses | 4000 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1963 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1963 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1963 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.41 c #variables 1963 #constraints 4000 0.14/0.57 c bounds - >= 0 @ 0.02777 0.14/0.57 c bounds 1210 >= 0 @ 0.129811 0.14/0.57 c bounds 1210 >= 1 @ 0.130299 0.14/0.57 c bounds 1210 >= 2 @ 0.130606 0.14/0.57 c bounds 1210 >= 3 @ 0.130898 0.14/0.57 c bounds 1210 >= 4 @ 0.131173 0.14/0.57 c bounds 1210 >= 5 @ 0.131469 0.14/0.57 c bounds 1210 >= 6 @ 0.13176 0.14/0.57 c bounds 1210 >= 7 @ 0.132049 0.14/0.57 c bounds 1210 >= 8 @ 0.132337 0.14/0.57 c bounds 1210 >= 9 @ 0.132622 0.14/0.57 c bounds 1210 >= 10 @ 0.132915 0.14/0.57 c bounds 1210 >= 11 @ 0.133224 0.14/0.57 c bounds 1210 >= 12 @ 0.133535 0.14/0.57 c bounds 1210 >= 13 @ 0.133846 0.14/0.57 c bounds 1210 >= 14 @ 0.134155 0.14/0.57 c bounds 1210 >= 15 @ 0.134472 0.14/0.57 c bounds 1210 >= 16 @ 0.134782 0.14/0.57 c bounds 1210 >= 17 @ 0.135089 0.14/0.57 c bounds 1210 >= 18 @ 0.135404 0.14/0.57 c bounds 1210 >= 19 @ 0.135711 0.14/0.57 c bounds 1210 >= 20 @ 0.13602 0.14/0.57 c bounds 1210 >= 21 @ 0.136338 0.14/0.57 c bounds 1210 >= 22 @ 0.136647 0.14/0.57 c bounds 1210 >= 23 @ 0.136955 0.14/0.57 c bounds 1210 >= 24 @ 0.137164 0.14/0.57 c bounds 1210 >= 25 @ 0.137164 0.14/0.57 c bounds 1210 >= 26 @ 0.137164 0.14/0.57 c bounds 1210 >= 27 @ 0.137256 0.14/0.57 c bounds 1210 >= 28 @ 0.137559 0.14/0.57 c bounds 1210 >= 29 @ 0.137859 0.14/0.57 c bounds 1210 >= 30 @ 0.138112 0.14/0.57 c bounds 1210 >= 31 @ 0.138421 0.14/0.57 c bounds 1210 >= 32 @ 0.138724 0.14/0.57 c bounds 1210 >= 33 @ 0.139025 0.14/0.57 c bounds 1210 >= 34 @ 0.139331 0.14/0.57 c bounds 1210 >= 35 @ 0.139659 0.14/0.57 c bounds 1210 >= 36 @ 0.139972 0.14/0.57 c bounds 1210 >= 37 @ 0.140281 0.14/0.57 c bounds 1210 >= 38 @ 0.140586 0.14/0.57 c bounds 1210 >= 39 @ 0.140887 0.14/0.57 c bounds 1210 >= 40 @ 0.141199 0.14/0.57 c bounds 1210 >= 41 @ 0.141492 0.14/0.57 c bounds 1210 >= 42 @ 0.141779 0.14/0.57 c bounds 1210 >= 43 @ 0.142064 0.14/0.57 c bounds 1210 >= 44 @ 0.142361 0.14/0.57 c bounds 1210 >= 45 @ 0.142646 0.14/0.57 c bounds 1210 >= 46 @ 0.142934 0.14/0.57 c bounds 1210 >= 47 @ 0.143128 0.14/0.57 c bounds 1210 >= 48 @ 0.143128 0.14/0.57 c bounds 1210 >= 49 @ 0.143128 0.14/0.57 c bounds 1210 >= 50 @ 0.143154 0.14/0.57 c bounds 1210 >= 51 @ 0.143459 0.14/0.57 c bounds 1210 >= 52 @ 0.143756 0.14/0.57 c bounds 1210 >= 53 @ 0.144059 0.14/0.57 c bounds 1210 >= 54 @ 0.144366 0.14/0.57 c bounds 1210 >= 55 @ 0.14467 0.14/0.57 c bounds 1210 >= 56 @ 0.144974 0.14/0.57 c bounds 1210 >= 57 @ 0.145283 0.14/0.57 c bounds 1210 >= 58 @ 0.145589 0.14/0.57 c bounds 1210 >= 59 @ 0.145892 0.14/0.57 c bounds 1210 >= 60 @ 0.146198 0.14/0.57 c bounds 1210 >= 61 @ 0.146502 0.14/0.57 c bounds 1210 >= 62 @ 0.146801 0.14/0.57 c bounds 1210 >= 63 @ 0.147105 0.14/0.57 c bounds 1210 >= 64 @ 0.147417 0.14/0.57 c bounds 1210 >= 65 @ 0.147714 0.14/0.57 c bounds 1210 >= 66 @ 0.148016 0.14/0.57 c bounds 1210 >= 67 @ 0.14832 0.14/0.57 c bounds 1210 >= 68 @ 0.14862 0.14/0.57 c bounds 1210 >= 69 @ 0.14892 0.14/0.57 c bounds 1210 >= 70 @ 0.14922 0.14/0.57 c bounds 1210 >= 71 @ 0.149517 0.14/0.57 c bounds 1210 >= 72 @ 0.149817 0.14/0.57 c bounds 1210 >= 73 @ 0.150114 0.14/0.57 c bounds 1210 >= 74 @ 0.150417 0.14/0.57 c bounds 1210 >= 75 @ 0.150717 0.14/0.57 c bounds 1210 >= 76 @ 0.151015 0.14/0.57 c bounds 1210 >= 77 @ 0.15131 0.14/0.57 c bounds 1210 >= 78 @ 0.15159 0.14/0.57 c bounds 1210 >= 79 @ 0.151875 0.14/0.57 c bounds 1210 >= 80 @ 0.152151 0.14/0.57 c bounds 1210 >= 81 @ 0.152425 0.14/0.57 c bounds 1210 >= 82 @ 0.152695 0.14/0.57 c bounds 1210 >= 83 @ 0.152971 0.14/0.57 c bounds 1210 >= 84 @ 0.153655 0.14/0.57 c bounds 1210 >= 85 @ 0.154502 0.14/0.57 c bounds 1210 >= 86 @ 0.15482 0.14/0.57 c bounds 1210 >= 87 @ 0.155106 0.14/0.57 c bounds 1210 >= 88 @ 0.155384 0.14/0.57 c bounds 1210 >= 89 @ 0.155664 0.14/0.57 c bounds 1210 >= 90 @ 0.15594 0.14/0.57 c bounds 1210 >= 91 @ 0.156223 0.14/0.57 c bounds 1210 >= 92 @ 0.156502 0.14/0.57 c bounds 1210 >= 93 @ 0.156805 0.14/0.57 c bounds 1210 >= 94 @ 0.157089 0.14/0.57 c bounds 1210 >= 95 @ 0.15738 0.14/0.57 c bounds 1210 >= 96 @ 0.157673 0.14/0.57 c bounds 1210 >= 97 @ 0.157968 0.14/0.57 c bounds 1210 >= 98 @ 0.158267 0.14/0.57 c bounds 1210 >= 99 @ 0.15856 0.14/0.57 c bounds 1210 >= 100 @ 0.158853 0.14/0.57 c bounds 1210 >= 101 @ 0.159152 0.14/0.57 c bounds 1210 >= 102 @ 0.159448 0.14/0.57 c bounds 1210 >= 103 @ 0.159738 0.14/0.57 c bounds 1210 >= 104 @ 0.16003 0.14/0.57 c bounds 1210 >= 105 @ 0.160325 0.14/0.57 c bounds 1210 >= 106 @ 0.160619 0.14/0.57 c bounds 1210 >= 107 @ 0.160908 0.14/0.57 c bounds 1210 >= 108 @ 0.1612 0.14/0.57 c bounds 1210 >= 109 @ 0.161495 0.14/0.57 c bounds 1210 >= 110 @ 0.161789 0.14/0.57 c bounds 1210 >= 111 @ 0.162085 0.14/0.57 c bounds 1210 >= 112 @ 0.162383 0.14/0.57 c bounds 1210 >= 113 @ 0.162676 0.14/0.57 c bounds 1210 >= 114 @ 0.162972 0.14/0.57 c bounds 1210 >= 115 @ 0.163265 0.14/0.57 c bounds 1210 >= 116 @ 0.163556 0.14/0.57 c bounds 1210 >= 117 @ 0.163846 0.14/0.57 c bounds 1210 >= 118 @ 0.164148 0.14/0.57 c bounds 1210 >= 119 @ 0.164451 0.14/0.57 c bounds 1210 >= 120 @ 0.164732 0.14/0.57 c bounds 1210 >= 121 @ 0.165029 0.14/0.57 c bounds 1210 >= 122 @ 0.165314 0.14/0.57 c bounds 1210 >= 123 @ 0.165605 0.14/0.57 c bounds 1210 >= 124 @ 0.165894 0.14/0.57 c bounds 1210 >= 125 @ 0.16619 0.14/0.57 c bounds 1210 >= 126 @ 0.166481 0.14/0.57 c bounds 1210 >= 127 @ 0.166774 0.14/0.57 c bounds 1210 >= 128 @ 0.167069 0.14/0.57 c bounds 1210 >= 129 @ 0.167371 0.14/0.57 c bounds 1210 >= 130 @ 0.167658 0.14/0.57 c bounds 1210 >= 131 @ 0.167965 0.23/0.66 c bounds 1210 >= 132 @ 0.168265 0.23/0.66 c bounds 1210 >= 133 @ 0.168551 0.23/0.66 c bounds 1210 >= 134 @ 0.168838 0.23/0.66 c bounds 1210 >= 135 @ 0.169128 0.23/0.66 c bounds 1210 >= 136 @ 0.169413 0.23/0.66 c bounds 1210 >= 137 @ 0.1697 0.23/0.66 c bounds 1210 >= 138 @ 0.169984 0.23/0.66 c bounds 1210 >= 139 @ 0.170271 0.23/0.66 c bounds 1210 >= 140 @ 0.170562 0.23/0.66 c bounds 1210 >= 141 @ 0.170845 0.23/0.66 c bounds 1210 >= 142 @ 0.171133 0.23/0.66 c bounds 1210 >= 143 @ 0.171413 0.23/0.66 c bounds 1210 >= 144 @ 0.171694 0.23/0.66 c bounds 1210 >= 145 @ 0.171982 0.23/0.66 c bounds 1210 >= 146 @ 0.172265 0.23/0.66 c bounds 1210 >= 147 @ 0.172548 0.23/0.66 c bounds 1210 >= 148 @ 0.172829 0.23/0.66 c bounds 1210 >= 149 @ 0.17314 0.23/0.66 c bounds 1210 >= 150 @ 0.173426 0.23/0.66 c bounds 1210 >= 151 @ 0.173711 0.23/0.66 c bounds 1210 >= 152 @ 0.173996 0.23/0.66 c bounds 1210 >= 153 @ 0.17428 0.23/0.66 c bounds 1210 >= 154 @ 0.174562 0.23/0.66 c bounds 1210 >= 155 @ 0.174843 0.23/0.66 c bounds 1210 >= 156 @ 0.175132 0.23/0.66 c bounds 1210 >= 157 @ 0.175418 0.23/0.66 c bounds 1210 >= 158 @ 0.175705 0.23/0.66 c bounds 1210 >= 159 @ 0.175978 0.23/0.66 c bounds 1210 >= 160 @ 0.176244 0.23/0.66 c bounds 1210 >= 161 @ 0.17651 0.23/0.66 c bounds 1210 >= 162 @ 0.176773 0.23/0.66 c bounds 1210 >= 163 @ 0.177037 0.23/0.66 c bounds 1210 >= 164 @ 0.1773 0.23/0.66 c bounds 1210 >= 165 @ 0.177563 0.23/0.66 c bounds 1210 >= 166 @ 0.177823 0.23/0.66 c bounds 1210 >= 167 @ 0.178092 0.23/0.66 c bounds 1210 >= 168 @ 0.178365 0.23/0.66 c bounds 1210 >= 169 @ 0.178633 0.23/0.66 c bounds 1210 >= 170 @ 0.178901 0.23/0.66 c bounds 1210 >= 171 @ 0.17917 0.23/0.66 c bounds 1210 >= 172 @ 0.17944 0.23/0.66 c bounds 1210 >= 173 @ 0.179706 0.23/0.66 c bounds 1210 >= 174 @ 0.179884 0.23/0.66 c bounds 1210 >= 175 @ 0.179884 0.23/0.66 c bounds 1210 >= 176 @ 0.179884 0.23/0.66 c bounds 1210 >= 177 @ 0.179884 0.23/0.66 c bounds 1210 >= 178 @ 0.180172 0.23/0.66 c bounds 1210 >= 179 @ 0.180454 0.23/0.66 c bounds 1210 >= 180 @ 0.180734 0.23/0.66 c bounds 1210 >= 181 @ 0.181003 0.23/0.66 c bounds 1210 >= 182 @ 0.18129 0.23/0.66 c bounds 1210 >= 183 @ 0.181578 0.23/0.66 c bounds 1210 >= 184 @ 0.181865 0.23/0.66 c bounds 1210 >= 185 @ 0.182153 0.23/0.66 c bounds 1210 >= 186 @ 0.182435 0.23/0.66 c bounds 1210 >= 187 @ 0.182723 0.23/0.66 c bounds 1210 >= 188 @ 0.183022 0.23/0.66 c bounds 1210 >= 189 @ 0.183315 0.23/0.66 c bounds 1210 >= 190 @ 0.183607 0.23/0.66 c bounds 1210 >= 191 @ 0.1839 0.23/0.66 c bounds 1210 >= 192 @ 0.184192 0.23/0.66 c bounds 1210 >= 193 @ 0.184479 0.23/0.66 c bounds 1210 >= 194 @ 0.184769 0.23/0.66 c bounds 1210 >= 195 @ 0.185063 0.23/0.66 c bounds 1210 >= 196 @ 0.185354 0.23/0.66 c bounds 1210 >= 197 @ 0.185647 0.23/0.66 c bounds 1210 >= 198 @ 0.185949 0.23/0.66 c bounds 1210 >= 199 @ 0.186227 0.23/0.66 c bounds 1210 >= 200 @ 0.186499 0.23/0.66 c bounds 1210 >= 201 @ 0.186769 0.23/0.66 c bounds 1210 >= 202 @ 0.187048 0.23/0.66 c bounds 1210 >= 203 @ 0.18732 0.23/0.66 c bounds 1210 >= 204 @ 0.187594 0.23/0.66 c bounds 1210 >= 205 @ 0.187877 0.23/0.66 c bounds 1210 >= 206 @ 0.188198 0.23/0.66 c bounds 1210 >= 207 @ 0.188496 0.23/0.66 c bounds 1210 >= 208 @ 0.188787 0.23/0.66 c bounds 1210 >= 209 @ 0.189076 0.23/0.66 c bounds 1210 >= 210 @ 0.189361 0.23/0.66 c bounds 1210 >= 211 @ 0.18965 0.23/0.66 c bounds 1210 >= 212 @ 0.189856 0.23/0.66 c bounds 1210 >= 213 @ 0.189856 0.23/0.66 c bounds 1210 >= 214 @ 0.189856 0.23/0.66 c bounds 1210 >= 215 @ 0.189856 0.23/0.66 c bounds 1210 >= 216 @ 0.190143 0.23/0.66 c bounds 1210 >= 217 @ 0.190432 0.23/0.66 c bounds 1210 >= 218 @ 0.190709 0.23/0.66 c bounds 1210 >= 219 @ 0.190853 0.23/0.66 c bounds 1210 >= 220 @ 0.190853 0.23/0.66 c bounds 1210 >= 221 @ 0.190853 0.23/0.66 c bounds 1210 >= 222 @ 0.190853 0.23/0.66 c bounds 1210 >= 223 @ 0.191147 0.23/0.66 c bounds 1210 >= 224 @ 0.191444 0.23/0.66 c bounds 1210 >= 225 @ 0.191734 0.23/0.66 c bounds 1210 >= 226 @ 0.192028 0.23/0.66 c bounds 1210 >= 227 @ 0.192316 0.23/0.66 c bounds 1210 >= 228 @ 0.192608 0.23/0.66 c bounds 1210 >= 229 @ 0.192895 0.23/0.66 c bounds 1210 >= 230 @ 0.19319 0.23/0.66 c bounds 1210 >= 231 @ 0.19348 0.23/0.66 c bounds 1209 >= 231 @ 0.237655 0.23/0.66 c bounds 1209 >= 232 @ 0.237989 0.23/0.66 c bounds 1209 >= 233 @ 0.238281 0.23/0.66 c bounds 1209 >= 234 @ 0.23854 0.23/0.66 c bounds 1209 >= 235 @ 0.23854 0.23/0.66 c bounds 1209 >= 236 @ 0.23854 0.23/0.66 c bounds 1209 >= 237 @ 0.23854 0.23/0.66 c bounds 1209 >= 238 @ 0.238822 0.23/0.66 c bounds 1209 >= 239 @ 0.239056 0.23/0.66 c bounds 1209 >= 240 @ 0.239283 0.23/0.66 c bounds 1209 >= 241 @ 0.239507 0.23/0.66 c bounds 1209 >= 242 @ 0.239787 0.23/0.66 c bounds 1209 >= 243 @ 0.240066 0.23/0.66 c bounds 1209 >= 244 @ 0.240341 0.23/0.66 c bounds 1209 >= 245 @ 0.240615 0.23/0.66 c bounds 1209 >= 246 @ 0.24089 0.23/0.66 c bounds 1209 >= 247 @ 0.241171 0.23/0.66 c bounds 1209 >= 248 @ 0.241444 0.23/0.66 c bounds 1209 >= 249 @ 0.241726 0.23/0.66 c bounds 1209 >= 250 @ 0.242021 0.23/0.66 c bounds 1209 >= 251 @ 0.2423 0.23/0.66 c bounds 1209 >= 252 @ 0.242583 0.23/0.66 c bounds 1209 >= 253 @ 0.242865 0.23/0.66 c bounds 1209 >= 254 @ 0.243151 0.23/0.66 c bounds 1209 >= 255 @ 0.243428 0.23/0.66 c bounds 1209 >= 256 @ 0.243717 0.23/0.66 c bounds 1209 >= 257 @ 0.243987 0.23/0.66 c bounds 1209 >= 258 @ 0.244257 0.32/0.70 c bounds 1209 >= 259 @ 0.244545 0.32/0.70 c bounds 1209 >= 260 @ 0.244819 0.32/0.70 c bounds 1209 >= 261 @ 0.245099 0.32/0.70 c bounds 1209 >= 262 @ 0.245388 0.32/0.70 c bounds 1209 >= 263 @ 0.245683 0.32/0.70 c bounds 1209 >= 264 @ 0.245971 0.32/0.70 c bounds 1209 >= 265 @ 0.246257 0.32/0.70 c bounds 1209 >= 266 @ 0.246553 0.32/0.70 c bounds 1209 >= 267 @ 0.246843 0.32/0.70 c bounds 1209 >= 268 @ 0.247132 0.32/0.70 c bounds 1209 >= 269 @ 0.247423 0.32/0.70 c bounds 1209 >= 270 @ 0.24772 0.32/0.70 c bounds 1209 >= 271 @ 0.248038 0.32/0.70 c bounds 1209 >= 272 @ 0.248335 0.32/0.70 c bounds 1209 >= 273 @ 0.248616 0.32/0.70 c bounds 1209 >= 274 @ 0.248888 0.32/0.70 c bounds 1209 >= 275 @ 0.249176 0.32/0.70 c bounds 1209 >= 276 @ 0.24945 0.32/0.70 c bounds 1209 >= 277 @ 0.249731 0.32/0.70 c bounds 1209 >= 278 @ 0.250011 0.32/0.70 c bounds 1209 >= 279 @ 0.250285 0.32/0.70 c bounds 1209 >= 280 @ 0.250469 0.32/0.70 c bounds 1209 >= 281 @ 0.250469 0.32/0.70 c bounds 1209 >= 282 @ 0.250469 0.32/0.70 c bounds 1209 >= 283 @ 0.250469 0.32/0.70 c bounds 1209 >= 284 @ 0.250749 0.32/0.70 c bounds 1209 >= 285 @ 0.251031 0.32/0.70 c bounds 1209 >= 286 @ 0.251308 0.32/0.70 c bounds 1209 >= 287 @ 0.251556 0.32/0.70 c bounds 1209 >= 288 @ 0.25183 0.32/0.70 c bounds 1209 >= 289 @ 0.252105 0.32/0.70 c bounds 1209 >= 290 @ 0.252386 0.32/0.70 c bounds 1209 >= 291 @ 0.252663 0.32/0.70 c bounds 1209 >= 292 @ 0.252941 0.32/0.70 c bounds 1209 >= 293 @ 0.253211 0.32/0.70 c bounds 1209 >= 294 @ 0.253487 0.32/0.70 c bounds 1209 >= 295 @ 0.25376 0.32/0.70 c bounds 1209 >= 296 @ 0.254029 0.32/0.70 c bounds 1209 >= 297 @ 0.254297 0.32/0.70 c bounds 1209 >= 298 @ 0.254572 0.32/0.70 c bounds 1209 >= 299 @ 0.254845 0.32/0.70 c bounds 1209 >= 300 @ 0.255114 0.32/0.70 c bounds 1209 >= 301 @ 0.25538 0.32/0.70 c bounds 1209 >= 302 @ 0.255657 0.32/0.70 c bounds 1209 >= 303 @ 0.255937 0.32/0.70 c bounds 1209 >= 304 @ 0.25622 0.32/0.70 c bounds 1209 >= 305 @ 0.256494 0.32/0.70 c bounds 1209 >= 306 @ 0.256772 0.32/0.70 c bounds 1209 >= 307 @ 0.257047 0.32/0.70 c bounds 1209 >= 308 @ 0.257322 0.32/0.70 c bounds 1209 >= 309 @ 0.257601 0.32/0.70 c bounds 1209 >= 310 @ 0.257874 0.32/0.70 c bounds 1209 >= 311 @ 0.258142 0.32/0.70 c bounds 1209 >= 312 @ 0.258416 0.32/0.70 c bounds 1209 >= 313 @ 0.258688 0.32/0.70 c bounds 1209 >= 314 @ 0.258953 0.32/0.70 c bounds 1209 >= 315 @ 0.259227 0.32/0.70 c bounds 1209 >= 316 @ 0.259497 0.32/0.70 c bounds 1209 >= 317 @ 0.259774 0.32/0.70 c bounds 1209 >= 318 @ 0.260044 0.32/0.70 c bounds 1209 >= 319 @ 0.26033 0.32/0.70 c bounds 1209 >= 320 @ 0.260616 0.32/0.70 c bounds 1209 >= 321 @ 0.260893 0.32/0.70 c bounds 1209 >= 322 @ 0.261166 0.32/0.70 c bounds 1209 >= 323 @ 0.261443 0.32/0.70 c bounds 1209 >= 324 @ 0.261716 0.32/0.70 c bounds 1209 >= 325 @ 0.261993 0.32/0.70 c bounds 1209 >= 326 @ 0.262271 0.32/0.70 c bounds 1209 >= 327 @ 0.262557 0.32/0.70 c bounds 1209 >= 328 @ 0.262834 0.32/0.70 c bounds 1209 >= 329 @ 0.263109 0.32/0.70 c bounds 1209 >= 330 @ 0.263383 0.32/0.70 c bounds 1209 >= 331 @ 0.263673 0.32/0.70 c bounds 1209 >= 332 @ 0.26397 0.32/0.70 c bounds 1209 >= 333 @ 0.264276 0.32/0.70 c bounds 1209 >= 334 @ 0.264588 0.32/0.70 c bounds 1209 >= 335 @ 0.264896 0.32/0.70 c bounds 1209 >= 336 @ 0.265206 0.32/0.70 c bounds 1209 >= 337 @ 0.26551 0.32/0.70 c bounds 1209 >= 338 @ 0.265809 0.32/0.70 c bounds 1209 >= 339 @ 0.266091 0.32/0.70 c bounds 1209 >= 340 @ 0.26637 0.32/0.70 c bounds 1209 >= 341 @ 0.266658 0.32/0.70 c bounds 1209 >= 342 @ 0.266948 0.32/0.70 c bounds 1209 >= 343 @ 0.267226 0.32/0.70 c bounds 1209 >= 344 @ 0.267507 0.32/0.70 c bounds 1209 >= 345 @ 0.267793 0.32/0.70 c bounds 1209 >= 346 @ 0.268074 0.32/0.70 c bounds 1209 >= 347 @ 0.268351 0.32/0.70 c bounds 1209 >= 348 @ 0.268631 0.32/0.70 c bounds 1209 >= 349 @ 0.268904 0.32/0.70 c bounds 1209 >= 350 @ 0.269181 0.32/0.70 c bounds 1209 >= 351 @ 0.269358 0.32/0.70 c bounds 1209 >= 352 @ 0.269358 0.32/0.70 c bounds 1209 >= 353 @ 0.269358 0.32/0.70 c bounds 1209 >= 354 @ 0.269378 0.32/0.70 c bounds 1209 >= 355 @ 0.269683 0.32/0.70 c bounds 1209 >= 356 @ 0.269983 0.32/0.70 c bounds 1209 >= 357 @ 0.270285 0.32/0.70 c bounds 1209 >= 358 @ 0.270596 0.32/0.70 c bounds 1209 >= 359 @ 0.270892 0.32/0.70 c bounds 1209 >= 360 @ 0.27119 0.32/0.70 c bounds 1209 >= 361 @ 0.271488 0.32/0.70 c bounds 1209 >= 362 @ 0.271787 0.32/0.70 c bounds 1209 >= 363 @ 0.272079 0.32/0.70 c bounds 1209 >= 364 @ 0.272381 0.32/0.70 c bounds 1209 >= 365 @ 0.272678 0.32/0.70 c bounds 1209 >= 366 @ 0.27296 0.32/0.70 c bounds 1209 >= 367 @ 0.27324 0.32/0.70 c bounds 1209 >= 368 @ 0.273528 0.32/0.70 c bounds 1209 >= 369 @ 0.273824 0.32/0.70 c bounds 1209 >= 370 @ 0.274108 0.32/0.70 c bounds 1209 >= 371 @ 0.2744 0.32/0.70 c bounds 1209 >= 372 @ 0.2747 0.32/0.70 c bounds 1209 >= 373 @ 0.274985 0.32/0.70 c bounds 1209 >= 374 @ 0.275274 0.32/0.70 c bounds 1209 >= 375 @ 0.275564 0.32/0.70 c bounds 1209 >= 376 @ 0.275863 0.32/0.70 c bounds 1209 >= 377 @ 0.276154 0.32/0.70 c bounds 1209 >= 378 @ 0.276324 0.32/0.70 c bounds 1209 >= 379 @ 0.276324 0.32/0.70 c bounds 1209 >= 380 @ 0.276324 0.32/0.70 c bounds 1209 >= 381 @ 0.276344 0.32/0.70 c bounds 1209 >= 382 @ 0.276636 0.32/0.70 c bounds 1209 >= 383 @ 0.276941 0.32/0.70 c bounds 1209 >= 384 @ 0.277233 0.32/0.70 c bounds 1209 >= 385 @ 0.277525 0.32/0.70 c bounds 1209 >= 386 @ 0.277811 0.32/0.70 c bounds 1209 >= 387 @ 0.278107 0.32/0.74 c bounds 1209 >= 388 @ 0.278313 0.32/0.74 c bounds 1209 >= 389 @ 0.278313 0.32/0.74 c bounds 1209 >= 390 @ 0.278313 0.32/0.74 c bounds 1209 >= 391 @ 0.278313 0.32/0.74 c bounds 1209 >= 392 @ 0.278608 0.32/0.74 c bounds 1209 >= 393 @ 0.27892 0.32/0.74 c bounds 1209 >= 394 @ 0.279203 0.32/0.74 c bounds 1209 >= 395 @ 0.279501 0.32/0.74 c bounds 1209 >= 396 @ 0.279788 0.32/0.74 c bounds 1209 >= 397 @ 0.28008 0.32/0.74 c bounds 1209 >= 398 @ 0.280367 0.32/0.74 c bounds 1209 >= 399 @ 0.280664 0.32/0.74 c bounds 1209 >= 400 @ 0.280974 0.32/0.74 c bounds 1209 >= 401 @ 0.281288 0.32/0.74 c bounds 1209 >= 402 @ 0.281599 0.32/0.74 c bounds 1209 >= 403 @ 0.281909 0.32/0.74 c bounds 1209 >= 404 @ 0.282225 0.32/0.74 c bounds 1209 >= 405 @ 0.282532 0.32/0.74 c bounds 1209 >= 406 @ 0.282832 0.32/0.74 c bounds 1209 >= 407 @ 0.283123 0.32/0.74 c bounds 1209 >= 408 @ 0.283426 0.32/0.74 c bounds 1209 >= 409 @ 0.283745 0.32/0.74 c bounds 1209 >= 410 @ 0.284041 0.32/0.74 c bounds 1209 >= 411 @ 0.284343 0.32/0.74 c bounds 1209 >= 412 @ 0.284636 0.32/0.74 c bounds 1209 >= 413 @ 0.284942 0.32/0.74 c bounds 1209 >= 414 @ 0.285236 0.32/0.74 c bounds 1209 >= 415 @ 0.285532 0.32/0.74 c bounds 1209 >= 416 @ 0.285818 0.32/0.74 c bounds 1209 >= 417 @ 0.286111 0.32/0.74 c bounds 1209 >= 418 @ 0.286262 0.32/0.74 c bounds 1209 >= 419 @ 0.286262 0.32/0.74 c bounds 1209 >= 420 @ 0.286262 0.32/0.74 c bounds 1209 >= 421 @ 0.286262 0.32/0.74 c bounds 1209 >= 422 @ 0.286262 0.32/0.74 c bounds 1209 >= 423 @ 0.286262 0.32/0.74 c bounds 1209 >= 424 @ 0.286345 0.32/0.74 c bounds 1209 >= 425 @ 0.286644 0.32/0.74 c bounds 1209 >= 426 @ 0.286941 0.32/0.74 c bounds 1209 >= 427 @ 0.287215 0.32/0.74 c bounds 1209 >= 428 @ 0.287516 0.32/0.74 c bounds 1209 >= 429 @ 0.287825 0.32/0.74 c bounds 1209 >= 430 @ 0.28812 0.32/0.74 c bounds 1209 >= 431 @ 0.288248 0.32/0.74 c bounds 1209 >= 432 @ 0.288248 0.32/0.74 c bounds 1209 >= 433 @ 0.288248 0.32/0.74 c bounds 1209 >= 434 @ 0.288329 0.32/0.74 c bounds 1209 >= 435 @ 0.288622 0.32/0.74 c bounds 1209 >= 436 @ 0.288916 0.32/0.74 c bounds 1209 >= 437 @ 0.289201 0.32/0.74 c bounds 1209 >= 438 @ 0.289497 0.32/0.74 c bounds 1209 >= 439 @ 0.28979 0.32/0.74 c bounds 1209 >= 440 @ 0.290088 0.32/0.74 c bounds 1209 >= 441 @ 0.290233 0.32/0.74 c bounds 1209 >= 442 @ 0.290233 0.32/0.74 c bounds 1209 >= 443 @ 0.290233 0.32/0.74 c bounds 1209 >= 444 @ 0.290329 0.32/0.74 c bounds 1209 >= 445 @ 0.290629 0.32/0.74 c bounds 1209 >= 446 @ 0.290936 0.32/0.74 c bounds 1209 >= 447 @ 0.291243 0.32/0.74 c bounds 1209 >= 448 @ 0.291555 0.32/0.74 c bounds 1209 >= 449 @ 0.291886 0.32/0.74 c bounds 1209 >= 450 @ 0.29221 0.32/0.74 c bounds 1209 >= 451 @ 0.292527 0.32/0.74 c bounds 1209 >= 452 @ 0.292842 0.32/0.74 c bounds 1209 >= 453 @ 0.293169 0.32/0.74 c bounds 1209 >= 454 @ 0.293489 0.32/0.74 c bounds 1209 >= 455 @ 0.293814 0.32/0.74 c bounds 1209 >= 456 @ 0.294155 0.32/0.74 c bounds 1209 >= 457 @ 0.2945 0.32/0.74 c bounds 1209 >= 458 @ 0.294838 0.32/0.74 c bounds 1209 >= 459 @ 0.295165 0.32/0.74 c bounds 1209 >= 460 @ 0.295506 0.32/0.74 c bounds 1209 >= 461 @ 0.295836 0.32/0.74 c bounds 1209 >= 462 @ 0.296163 0.32/0.74 c bounds 1209 >= 463 @ 0.296495 0.32/0.74 c bounds 1209 >= 464 @ 0.296829 0.32/0.74 c bounds 1209 >= 465 @ 0.297172 0.32/0.74 c bounds 1209 >= 466 @ 0.297521 0.32/0.74 c bounds 1209 >= 467 @ 0.29786 0.32/0.74 c bounds 1209 >= 468 @ 0.298198 0.32/0.74 c bounds 1209 >= 469 @ 0.298543 0.32/0.74 c bounds 1209 >= 470 @ 0.298879 0.32/0.74 c bounds 1209 >= 471 @ 0.299223 0.32/0.74 c bounds 1209 >= 472 @ 0.299564 0.32/0.74 c bounds 1209 >= 473 @ 0.299909 0.32/0.74 c bounds 1209 >= 474 @ 0.300259 0.32/0.74 c bounds 1209 >= 475 @ 0.300622 0.32/0.74 c bounds 1209 >= 476 @ 0.300991 0.32/0.74 c bounds 1209 >= 477 @ 0.301165 0.32/0.74 c bounds 1209 >= 478 @ 0.301165 0.32/0.74 c bounds 1209 >= 479 @ 0.301165 0.32/0.74 c bounds 1209 >= 480 @ 0.301526 0.32/0.74 c bounds 1209 >= 481 @ 0.301867 0.32/0.74 c bounds 1209 >= 482 @ 0.302152 0.32/0.74 c bounds 1209 >= 483 @ 0.302152 0.32/0.74 c bounds 1209 >= 484 @ 0.302152 0.32/0.74 c bounds 1209 >= 485 @ 0.30216 0.32/0.74 c bounds 1209 >= 486 @ 0.30216 0.32/0.74 c bounds 1209 >= 487 @ 0.30216 0.32/0.74 c bounds 1209 >= 488 @ 0.30216 0.32/0.74 c bounds 1209 >= 489 @ 0.30216 0.32/0.74 c bounds 1209 >= 490 @ 0.30216 0.32/0.74 c bounds 1209 >= 491 @ 0.30216 0.32/0.74 c bounds 1209 >= 492 @ 0.30216 0.32/0.74 c bounds 1209 >= 493 @ 0.30216 0.32/0.74 c bounds 1209 >= 494 @ 0.302521 0.32/0.74 c bounds 1209 >= 495 @ 0.302859 0.32/0.74 c bounds 1209 >= 496 @ 0.303158 0.32/0.74 c bounds 1209 >= 497 @ 0.303524 0.32/0.74 c bounds 1209 >= 498 @ 0.30387 0.32/0.74 c bounds 1209 >= 499 @ 0.30422 0.32/0.74 c bounds 1209 >= 500 @ 0.304581 0.32/0.74 c bounds 1209 >= 501 @ 0.30494 0.32/0.74 c bounds 1209 >= 502 @ 0.305136 0.32/0.74 c bounds 1209 >= 503 @ 0.305136 0.32/0.74 c bounds 1209 >= 504 @ 0.305136 0.32/0.74 c bounds 1209 >= 505 @ 0.305545 0.32/0.74 c bounds 1209 >= 506 @ 0.305888 0.32/0.74 c bounds 1209 >= 507 @ 0.306209 0.32/0.74 c bounds 1209 >= 508 @ 0.306576 0.32/0.74 c bounds 1209 >= 509 @ 0.306941 0.32/0.74 c bounds 1209 >= 510 @ 0.307124 0.32/0.74 c bounds 1209 >= 511 @ 0.307124 0.32/0.74 c bounds 1209 >= 512 @ 0.307124 0.32/0.74 c bounds 1209 >= 513 @ 0.307487 0.32/0.74 c bounds 1209 >= 514 @ 0.307819 0.32/0.74 c bounds 1209 >= 515 @ 0.308113 0.32/0.74 c bounds 1209 >= 516 @ 0.308488 0.32/0.79 c bounds 1209 >= 517 @ 0.30885 0.32/0.79 c bounds 1209 >= 518 @ 0.309222 0.32/0.79 c bounds 1209 >= 519 @ 0.309584 0.32/0.79 c bounds 1209 >= 520 @ 0.309941 0.32/0.79 c bounds 1209 >= 521 @ 0.310105 0.32/0.79 c bounds 1209 >= 522 @ 0.310105 0.32/0.79 c bounds 1209 >= 523 @ 0.310105 0.32/0.79 c bounds 1209 >= 524 @ 0.310476 0.32/0.79 c bounds 1209 >= 525 @ 0.310841 0.32/0.79 c bounds 1209 >= 526 @ 0.311088 0.32/0.79 c bounds 1209 >= 527 @ 0.311088 0.32/0.79 c bounds 1209 >= 528 @ 0.311088 0.32/0.79 c bounds 1209 >= 529 @ 0.311095 0.32/0.79 c bounds 1209 >= 530 @ 0.311095 0.32/0.79 c bounds 1209 >= 531 @ 0.311095 0.32/0.79 c bounds 1209 >= 532 @ 0.311462 0.32/0.79 c bounds 1209 >= 533 @ 0.311833 0.32/0.79 c bounds 1209 >= 534 @ 0.312152 0.32/0.79 c bounds 1209 >= 535 @ 0.312516 0.32/0.79 c bounds 1209 >= 536 @ 0.312911 0.32/0.79 c bounds 1209 >= 537 @ 0.313082 0.32/0.79 c bounds 1209 >= 538 @ 0.313082 0.32/0.79 c bounds 1209 >= 539 @ 0.313082 0.32/0.79 c bounds 1209 >= 540 @ 0.313463 0.32/0.79 c bounds 1209 >= 541 @ 0.313877 0.32/0.79 c bounds 1209 >= 542 @ 0.314076 0.32/0.79 c bounds 1209 >= 543 @ 0.314076 0.32/0.79 c bounds 1209 >= 544 @ 0.314076 0.32/0.79 c bounds 1209 >= 545 @ 0.314477 0.32/0.79 c bounds 1209 >= 546 @ 0.314867 0.32/0.79 c bounds 1209 >= 547 @ 0.315068 0.32/0.79 c bounds 1209 >= 548 @ 0.315068 0.32/0.79 c bounds 1209 >= 549 @ 0.315068 0.32/0.79 c bounds 1209 >= 550 @ 0.315466 0.32/0.79 c bounds 1209 >= 551 @ 0.315868 0.32/0.79 c bounds 1209 >= 552 @ 0.316225 0.32/0.79 c bounds 1209 >= 553 @ 0.316617 0.32/0.79 c bounds 1209 >= 554 @ 0.317006 0.32/0.79 c bounds 1209 >= 555 @ 0.31741 0.32/0.79 c bounds 1209 >= 556 @ 0.317845 0.32/0.79 c bounds 1209 >= 557 @ 0.318263 0.32/0.79 c bounds 1209 >= 558 @ 0.31865 0.32/0.79 c bounds 1209 >= 559 @ 0.31903 0.32/0.79 c bounds 1209 >= 560 @ 0.319435 0.32/0.79 c bounds 1209 >= 561 @ 0.319832 0.32/0.79 c bounds 1209 >= 562 @ 0.320034 0.32/0.79 c bounds 1209 >= 563 @ 0.320034 0.32/0.79 c bounds 1209 >= 564 @ 0.320034 0.32/0.79 c bounds 1209 >= 565 @ 0.32042 0.32/0.79 c bounds 1209 >= 566 @ 0.320808 0.32/0.79 c bounds 1209 >= 567 @ 0.321027 0.32/0.79 c bounds 1209 >= 568 @ 0.321027 0.32/0.79 c bounds 1209 >= 569 @ 0.321027 0.32/0.79 c bounds 1209 >= 570 @ 0.321027 0.32/0.79 c bounds 1209 >= 571 @ 0.321027 0.32/0.79 c bounds 1209 >= 572 @ 0.321106 0.32/0.79 c bounds 1209 >= 573 @ 0.3215 0.32/0.79 c bounds 1209 >= 574 @ 0.321885 0.32/0.79 c bounds 1209 >= 575 @ 0.322263 0.32/0.79 c bounds 1209 >= 576 @ 0.322662 0.32/0.79 c bounds 1209 >= 577 @ 0.323063 0.32/0.79 c bounds 1209 >= 578 @ 0.323455 0.32/0.79 c bounds 1209 >= 579 @ 0.323848 0.32/0.79 c bounds 1209 >= 580 @ 0.324006 0.32/0.79 c bounds 1209 >= 581 @ 0.324006 0.32/0.79 c bounds 1209 >= 582 @ 0.324086 0.32/0.79 c bounds 1209 >= 583 @ 0.324508 0.32/0.79 c bounds 1209 >= 584 @ 0.324913 0.32/0.79 c bounds 1209 >= 585 @ 0.325342 0.32/0.79 c bounds 1209 >= 586 @ 0.325771 0.32/0.79 c bounds 1209 >= 587 @ 0.326177 0.32/0.79 c bounds 1209 >= 588 @ 0.326613 0.32/0.79 c bounds 1209 >= 589 @ 0.327054 0.32/0.79 c bounds 1209 >= 590 @ 0.327463 0.32/0.79 c bounds 1209 >= 591 @ 0.327867 0.32/0.79 c bounds 1209 >= 592 @ 0.328292 0.32/0.79 c bounds 1209 >= 593 @ 0.328695 0.32/0.79 c bounds 1209 >= 594 @ 0.328975 0.32/0.79 c bounds 1209 >= 595 @ 0.328975 0.32/0.79 c bounds 1209 >= 596 @ 0.328975 0.32/0.79 c bounds 1209 >= 597 @ 0.329399 0.32/0.79 c bounds 1209 >= 598 @ 0.329796 0.32/0.79 c bounds 1209 >= 599 @ 0.330167 0.32/0.79 c bounds 1209 >= 600 @ 0.330577 0.32/0.79 c bounds 1209 >= 601 @ 0.330964 0.32/0.79 c bounds 1209 >= 602 @ 0.330964 0.32/0.79 c bounds 1209 >= 603 @ 0.330964 0.32/0.79 c bounds 1209 >= 604 @ 0.330964 0.32/0.79 c bounds 1209 >= 605 @ 0.330964 0.32/0.79 c bounds 1209 >= 606 @ 0.331078 0.32/0.79 c bounds 1209 >= 607 @ 0.331474 0.32/0.79 c bounds 1209 >= 608 @ 0.331901 0.32/0.79 c bounds 1209 >= 609 @ 0.332307 0.32/0.79 c bounds 1209 >= 610 @ 0.3327 0.32/0.79 c bounds 1209 >= 611 @ 0.332949 0.32/0.79 c bounds 1209 >= 612 @ 0.332949 0.32/0.79 c bounds 1209 >= 613 @ 0.332949 0.32/0.79 c bounds 1209 >= 614 @ 0.333358 0.32/0.79 c bounds 1209 >= 615 @ 0.333764 0.32/0.79 c bounds 1209 >= 616 @ 0.334452 0.32/0.79 c bounds 1209 >= 617 @ 0.334753 0.32/0.79 c bounds 1209 >= 618 @ 0.334935 0.32/0.79 c bounds 1209 >= 619 @ 0.334935 0.32/0.79 c bounds 1209 >= 620 @ 0.334935 0.32/0.79 c bounds 1209 >= 621 @ 0.334994 0.32/0.79 c bounds 1209 >= 622 @ 0.335309 0.32/0.79 c bounds 1209 >= 623 @ 0.335606 0.32/0.79 c bounds 1209 >= 624 @ 0.33588 0.32/0.79 c bounds 1209 >= 625 @ 0.33618 0.32/0.79 c bounds 1209 >= 626 @ 0.336476 0.32/0.79 c bounds 1209 >= 627 @ 0.336767 0.32/0.79 c bounds 1209 >= 628 @ 0.336924 0.32/0.79 c bounds 1209 >= 629 @ 0.336924 0.32/0.79 c bounds 1209 >= 630 @ 0.336924 0.32/0.79 c bounds 1209 >= 631 @ 0.336983 0.32/0.79 c bounds 1209 >= 632 @ 0.337274 0.32/0.79 c bounds 1209 >= 633 @ 0.337572 0.32/0.79 c bounds 1209 >= 634 @ 0.337873 0.32/0.79 c bounds 1209 >= 635 @ 0.338183 0.32/0.79 c bounds 1209 >= 636 @ 0.338479 0.32/0.79 c bounds 1209 >= 637 @ 0.338777 0.32/0.79 c bounds 1209 >= 638 @ 0.339081 0.32/0.79 c bounds 1209 >= 639 @ 0.339379 0.32/0.79 c bounds 1209 >= 640 @ 0.339692 0.32/0.79 c bounds 1209 >= 641 @ 0.339908 0.32/0.79 c bounds 1209 >= 642 @ 0.339908 0.32/0.79 c bounds 1209 >= 643 @ 0.339908 0.32/0.79 c bounds 1209 >= 644 @ 0.339939 0.42/0.87 c bounds 1209 >= 645 @ 0.340241 0.42/0.87 c bounds 1209 >= 646 @ 0.340551 0.42/0.87 c bounds 1209 >= 647 @ 0.340854 0.42/0.87 c bounds 1209 >= 648 @ 0.341173 0.42/0.87 c bounds 1209 >= 649 @ 0.341475 0.42/0.87 c bounds 1209 >= 650 @ 0.341791 0.42/0.87 c bounds 1209 >= 651 @ 0.341898 0.42/0.87 c bounds 1209 >= 652 @ 0.341898 0.42/0.87 c bounds 1209 >= 653 @ 0.341898 0.42/0.87 c bounds 1209 >= 654 @ 0.342075 0.42/0.87 c bounds 1209 >= 655 @ 0.34238 0.42/0.87 c bounds 1209 >= 656 @ 0.34268 0.42/0.87 c bounds 1209 >= 657 @ 0.342891 0.42/0.87 c bounds 1209 >= 658 @ 0.342891 0.42/0.87 c bounds 1209 >= 659 @ 0.342891 0.42/0.87 c bounds 1209 >= 660 @ 0.342958 0.42/0.87 c bounds 1209 >= 661 @ 0.343262 0.42/0.87 c bounds 1209 >= 662 @ 0.343578 0.42/0.87 c bounds 1209 >= 663 @ 0.343878 0.42/0.87 c bounds 1209 >= 664 @ 0.344184 0.42/0.87 c bounds 1209 >= 665 @ 0.3445 0.42/0.87 c bounds 1209 >= 666 @ 0.344814 0.42/0.87 c bounds 1209 >= 667 @ 0.345128 0.42/0.87 c bounds 1209 >= 668 @ 0.345436 0.42/0.87 c bounds 1209 >= 669 @ 0.345762 0.42/0.87 c bounds 1209 >= 670 @ 0.345872 0.42/0.87 c bounds 1209 >= 671 @ 0.345872 0.42/0.87 c bounds 1209 >= 672 @ 0.345872 0.42/0.87 c bounds 1209 >= 673 @ 0.345872 0.42/0.87 c bounds 1209 >= 674 @ 0.345872 0.42/0.87 c bounds 1209 >= 675 @ 0.345872 0.42/0.87 c bounds 1209 >= 676 @ 0.345872 0.42/0.87 c bounds 1209 >= 677 @ 0.345872 0.42/0.87 c bounds 1209 >= 678 @ 0.345872 0.42/0.87 c bounds 1209 >= 679 @ 0.345889 0.42/0.87 c bounds 1209 >= 680 @ 0.346215 0.42/0.87 c bounds 1209 >= 681 @ 0.346538 0.42/0.87 c bounds 1209 >= 682 @ 0.346874 0.42/0.87 c bounds 1209 >= 683 @ 0.3472 0.42/0.87 c bounds 1209 >= 684 @ 0.347531 0.42/0.87 c bounds 1209 >= 685 @ 0.347878 0.42/0.87 c bounds 1209 >= 686 @ 0.34822 0.42/0.87 c bounds 1209 >= 687 @ 0.348556 0.42/0.87 c bounds 1209 >= 688 @ 0.34891 0.42/0.87 c bounds 1209 >= 689 @ 0.349261 0.42/0.87 c bounds 1209 >= 690 @ 0.349615 0.42/0.87 c bounds 1209 >= 691 @ 0.349846 0.42/0.87 c bounds 1209 >= 692 @ 0.349846 0.42/0.87 c bounds 1209 >= 693 @ 0.349846 0.42/0.87 c bounds 1209 >= 694 @ 0.349846 0.42/0.87 c bounds 1209 >= 695 @ 0.349846 0.42/0.87 c bounds 1209 >= 696 @ 0.349846 0.42/0.87 c bounds 1209 >= 697 @ 0.349846 0.42/0.87 c bounds 1209 >= 698 @ 0.349846 0.42/0.87 c bounds 1209 >= 699 @ 0.349846 0.42/0.87 c bounds 1209 >= 700 @ 0.35012 0.42/0.87 c bounds 1209 >= 701 @ 0.350466 0.42/0.87 c bounds 1209 >= 702 @ 0.350799 0.42/0.87 c bounds 1209 >= 703 @ 0.351145 0.42/0.87 c bounds 1208 >= 703 @ 0.3767 0.42/0.87 c bounds 1208 >= 704 @ 0.3767 0.42/0.87 c bounds 1208 >= 705 @ 0.37676 0.42/0.87 c bounds 1208 >= 706 @ 0.377133 0.42/0.87 c bounds 1208 >= 707 @ 0.37749 0.42/0.87 c bounds 1208 >= 708 @ 0.37769 0.42/0.87 c bounds 1208 >= 709 @ 0.37769 0.42/0.87 c bounds 1208 >= 710 @ 0.37769 0.42/0.87 c bounds 1208 >= 711 @ 0.37769 0.42/0.87 c bounds 1208 >= 712 @ 0.37769 0.42/0.87 c bounds 1208 >= 713 @ 0.37769 0.42/0.87 c bounds 1208 >= 714 @ 0.378078 0.42/0.87 c bounds 1208 >= 715 @ 0.378447 0.42/0.87 c bounds 1208 >= 716 @ 0.378681 0.42/0.87 c bounds 1208 >= 717 @ 0.378681 0.42/0.87 c bounds 1208 >= 718 @ 0.378681 0.42/0.87 c bounds 1208 >= 719 @ 0.378681 0.42/0.87 c bounds 1208 >= 720 @ 0.378681 0.42/0.87 c bounds 1208 >= 721 @ 0.378698 0.42/0.87 c bounds 1208 >= 722 @ 0.379062 0.42/0.87 c bounds 1208 >= 723 @ 0.379462 0.42/0.87 c bounds 1208 >= 724 @ 0.379674 0.42/0.87 c bounds 1208 >= 725 @ 0.379674 0.42/0.87 c bounds 1208 >= 726 @ 0.379674 0.42/0.87 c bounds 1208 >= 727 @ 0.379674 0.42/0.87 c bounds 1208 >= 728 @ 0.379674 0.42/0.87 c bounds 1208 >= 729 @ 0.379775 0.42/0.87 c bounds 1208 >= 730 @ 0.380146 0.42/0.87 c bounds 1208 >= 731 @ 0.380502 0.42/0.87 c bounds 1208 >= 732 @ 0.380666 0.42/0.87 c bounds 1208 >= 733 @ 0.380666 0.42/0.87 c bounds 1208 >= 734 @ 0.380666 0.42/0.87 c bounds 1208 >= 735 @ 0.380961 0.42/0.87 c bounds 1208 >= 736 @ 0.381318 0.42/0.87 c bounds 1208 >= 737 @ 0.3817 0.42/0.87 c bounds 1208 >= 738 @ 0.382078 0.42/0.87 c bounds 1208 >= 739 @ 0.382437 0.42/0.87 c bounds 1208 >= 740 @ 0.382804 0.42/0.87 c bounds 1208 >= 741 @ 0.383172 0.42/0.87 c bounds 1208 >= 742 @ 0.383526 0.42/0.87 c bounds 1208 >= 743 @ 0.38365 0.42/0.87 c bounds 1208 >= 744 @ 0.38365 0.42/0.87 c bounds 1208 >= 745 @ 0.38365 0.42/0.87 c bounds 1208 >= 746 @ 0.384043 0.42/0.87 c bounds 1208 >= 747 @ 0.384424 0.42/0.87 c bounds 1208 >= 748 @ 0.384799 0.42/0.87 c bounds 1208 >= 749 @ 0.385199 0.42/0.87 c bounds 1208 >= 750 @ 0.385614 0.42/0.87 c bounds 1208 >= 751 @ 0.386025 0.42/0.87 c bounds 1208 >= 752 @ 0.386415 0.42/0.87 c bounds 1208 >= 753 @ 0.386631 0.42/0.87 c bounds 1208 >= 754 @ 0.386631 0.42/0.87 c bounds 1208 >= 755 @ 0.386632 0.42/0.87 c bounds 1208 >= 756 @ 0.386632 0.42/0.87 c bounds 1208 >= 757 @ 0.386651 0.42/0.87 c bounds 1208 >= 758 @ 0.387087 0.42/0.87 c bounds 1208 >= 759 @ 0.387504 0.42/0.87 c bounds 1208 >= 760 @ 0.387624 0.42/0.87 c bounds 1208 >= 761 @ 0.387624 0.42/0.87 c bounds 1208 >= 762 @ 0.387806 0.42/0.87 c bounds 1208 >= 763 @ 0.388213 0.42/0.87 c bounds 1208 >= 764 @ 0.388656 0.42/0.87 c bounds 1208 >= 765 @ 0.389089 0.42/0.87 c bounds 1208 >= 766 @ 0.389496 0.42/0.87 c bounds 1208 >= 767 @ 0.389613 0.42/0.87 c bounds 1208 >= 768 @ 0.389613 0.42/0.87 c bounds 1208 >= 769 @ 0.389613 0.42/0.87 c bounds 1208 >= 770 @ 0.389613 0.42/0.87 c bounds 1208 >= 771 @ 0.389613 0.42/0.87 c bounds 1208 >= 772 @ 0.390052 0.62/1.08 c bounds 1208 >= 773 @ 0.390512 0.62/1.08 c bounds 1208 >= 774 @ 0.39093 0.62/1.08 c bounds 1208 >= 775 @ 0.391373 0.62/1.08 c bounds 1208 >= 776 @ 0.391598 0.62/1.08 c bounds 1208 >= 777 @ 0.391598 0.62/1.08 c bounds 1208 >= 778 @ 0.391683 0.62/1.08 c bounds 1208 >= 779 @ 0.392161 0.62/1.08 c bounds 1208 >= 780 @ 0.392588 0.62/1.08 c bounds 1208 >= 781 @ 0.393035 0.62/1.08 c bounds 1208 >= 782 @ 0.393491 0.62/1.08 c bounds 1208 >= 783 @ 0.393588 0.62/1.08 c bounds 1208 >= 784 @ 0.393588 0.62/1.08 c bounds 1208 >= 785 @ 0.393588 0.62/1.08 c bounds 1208 >= 786 @ 0.393588 0.62/1.08 c bounds 1208 >= 787 @ 0.393588 0.62/1.08 c bounds 1208 >= 788 @ 0.393588 0.62/1.08 c bounds 1208 >= 789 @ 0.393646 0.62/1.08 c bounds 1208 >= 790 @ 0.394163 0.62/1.08 c bounds 1208 >= 791 @ 0.3946 0.62/1.08 c bounds 1208 >= 792 @ 0.395084 0.62/1.08 c bounds 1208 >= 793 @ 0.395594 0.62/1.08 c bounds 1208 >= 794 @ 0.396072 0.62/1.08 c bounds 1208 >= 795 @ 0.396554 0.62/1.08 c bounds 1208 >= 796 @ 0.397054 0.62/1.08 c bounds 1208 >= 797 @ 0.397613 0.62/1.08 c bounds 1208 >= 798 @ 0.398157 0.62/1.08 c bounds 1207 >= 798 @ 0.421962 0.62/1.08 c bounds 1207 >= 799 @ 0.422914 0.62/1.08 c bounds 1207 >= 800 @ 0.423418 0.62/1.08 c bounds 1207 >= 801 @ 0.423954 0.62/1.08 c bounds 1207 >= 802 @ 0.424527 0.62/1.08 c bounds 1207 >= 803 @ 0.425054 0.62/1.08 c bounds 1207 >= 804 @ 0.425423 0.62/1.08 c bounds 1207 >= 805 @ 0.425423 0.62/1.08 c bounds 1207 >= 806 @ 0.425616 0.62/1.08 c bounds 1207 >= 807 @ 0.426164 0.62/1.08 c bounds 1207 >= 808 @ 0.426418 0.62/1.08 c bounds 1207 >= 809 @ 0.426418 0.62/1.08 c bounds 1207 >= 810 @ 0.426855 0.62/1.08 c bounds 1207 >= 811 @ 0.42742 0.62/1.08 c bounds 1207 >= 812 @ 0.427968 0.62/1.08 c bounds 1207 >= 813 @ 0.428529 0.62/1.08 c bounds 1207 >= 814 @ 0.429151 0.62/1.08 c bounds 1207 >= 815 @ 0.429403 0.62/1.08 c bounds 1207 >= 816 @ 0.429403 0.62/1.08 c bounds 1207 >= 817 @ 0.429403 0.62/1.08 c bounds 1207 >= 818 @ 0.429501 0.62/1.08 c bounds 1207 >= 819 @ 0.43003 0.62/1.08 c bounds 1207 >= 820 @ 0.430394 0.62/1.08 c bounds 1207 >= 821 @ 0.430394 0.62/1.08 c bounds 1207 >= 822 @ 0.430729 0.62/1.08 c bounds 1207 >= 823 @ 0.431277 0.62/1.08 c bounds 1207 >= 824 @ 0.431899 0.62/1.08 c bounds 1207 >= 825 @ 0.432461 0.62/1.08 c bounds 1207 >= 826 @ 0.432992 0.62/1.08 c bounds 1207 >= 827 @ 0.433377 0.62/1.08 c bounds 1207 >= 828 @ 0.433377 0.62/1.08 c bounds 1207 >= 829 @ 0.433687 0.62/1.08 c bounds 1207 >= 830 @ 0.434266 0.62/1.08 c bounds 1207 >= 831 @ 0.434832 0.62/1.08 c bounds 1207 >= 832 @ 0.435395 0.62/1.08 c bounds 1207 >= 833 @ 0.436002 0.62/1.08 c bounds 1207 >= 834 @ 0.43669 0.62/1.08 c bounds 1207 >= 835 @ 0.437334 0.62/1.08 c bounds 1206 >= 835 @ 0.460045 0.62/1.08 c bounds 1206 >= 836 @ 0.460367 0.62/1.08 c bounds 1206 >= 837 @ 0.461059 0.62/1.08 c bounds 1206 >= 838 @ 0.461242 0.62/1.08 c bounds 1206 >= 839 @ 0.4614 0.62/1.08 c bounds 1206 >= 840 @ 0.461993 0.62/1.08 c bounds 1206 >= 841 @ 0.462236 0.62/1.08 c bounds 1206 >= 842 @ 0.462236 0.62/1.08 c bounds 1206 >= 843 @ 0.462906 0.62/1.08 c bounds 1206 >= 844 @ 0.463228 0.62/1.08 c bounds 1206 >= 845 @ 0.463228 0.62/1.08 c bounds 1206 >= 846 @ 0.463775 0.62/1.08 c bounds 1206 >= 847 @ 0.464223 0.62/1.08 c bounds 1206 >= 848 @ 0.464223 0.62/1.08 c bounds 1206 >= 849 @ 0.464223 0.62/1.08 c bounds 1206 >= 850 @ 0.464333 0.62/1.08 c bounds 1206 >= 851 @ 0.465051 0.62/1.08 c bounds 1206 >= 852 @ 0.465692 0.62/1.08 c bounds 1206 >= 853 @ 0.466381 0.62/1.08 c bounds 1206 >= 854 @ 0.46701 0.62/1.08 c bounds 1206 >= 855 @ 0.467205 0.62/1.08 c bounds 1206 >= 856 @ 0.467316 0.62/1.08 c bounds 1206 >= 857 @ 0.467928 0.62/1.08 c bounds 1206 >= 858 @ 0.468201 0.62/1.08 c bounds 1206 >= 859 @ 0.468201 0.62/1.08 c bounds 1206 >= 860 @ 0.468919 0.62/1.08 c bounds 1206 >= 861 @ 0.469195 0.62/1.08 c bounds 1205 >= 861 @ 0.491518 0.62/1.08 c bounds 1205 >= 862 @ 0.493066 0.62/1.08 c bounds 1205 >= 863 @ 0.493066 0.62/1.08 c bounds 1205 >= 864 @ 0.49338 0.62/1.08 c bounds 1205 >= 865 @ 0.494038 0.62/1.08 c bounds 1205 >= 866 @ 0.494704 0.62/1.08 c bounds 1205 >= 867 @ 0.495068 0.62/1.08 c bounds 1205 >= 868 @ 0.495132 0.62/1.08 c bounds 1205 >= 869 @ 0.495819 0.62/1.08 c bounds 1205 >= 870 @ 0.496453 0.62/1.08 c bounds 1205 >= 871 @ 0.497098 0.62/1.08 c bounds 1205 >= 872 @ 0.497732 0.62/1.08 c bounds 1205 >= 873 @ 0.49805 0.62/1.08 c bounds 1205 >= 874 @ 0.49807 0.62/1.08 c bounds 1205 >= 875 @ 0.498708 0.62/1.08 c bounds 1205 >= 876 @ 0.499043 0.62/1.08 c bounds 1205 >= 877 @ 0.499043 0.62/1.08 c bounds 1205 >= 878 @ 0.499704 0.62/1.08 c bounds 1205 >= 879 @ 0.500036 0.62/1.08 c bounds 1205 >= 880 @ 0.500153 0.62/1.08 c bounds 1205 >= 881 @ 0.500878 0.62/1.08 c bounds 1204 >= 881 @ 0.523961 0.62/1.08 c bounds 1204 >= 882 @ 0.524907 0.62/1.08 c bounds 1204 >= 883 @ 0.524909 0.62/1.08 c bounds 1204 >= 884 @ 0.525057 0.62/1.08 c bounds 1204 >= 885 @ 0.525819 0.62/1.08 c bounds 1204 >= 886 @ 0.526449 0.62/1.08 c bounds 1204 >= 887 @ 0.527143 0.62/1.08 c bounds 1204 >= 888 @ 0.527972 0.62/1.08 c bounds 1204 >= 889 @ 0.528723 0.62/1.08 c bounds 1204 >= 890 @ 0.528888 0.62/1.08 c bounds 1204 >= 891 @ 0.528888 0.62/1.08 c bounds 1204 >= 892 @ 0.529057 0.62/1.08 c bounds 1204 >= 893 @ 0.529697 0.62/1.08 c bounds 1204 >= 894 @ 0.529881 0.62/1.08 c bounds 1203 >= 894 @ 0.554703 0.62/1.08 c bounds 1203 >= 895 @ 0.556816 1.91/2.38 c bounds 1203 >= 896 @ 0.557687 1.91/2.38 c bounds 1203 >= 897 @ 0.55851 1.91/2.38 c bounds 1203 >= 898 @ 0.558721 1.91/2.38 c bounds 1203 >= 899 @ 0.558964 1.91/2.38 c bounds 1203 >= 900 @ 0.559677 1.91/2.38 c bounds 1203 >= 901 @ 0.560376 1.91/2.38 c bounds 1203 >= 902 @ 0.560713 1.91/2.38 c bounds 1203 >= 903 @ 0.560837 1.91/2.38 c bounds 1203 >= 904 @ 0.561586 1.91/2.38 c bounds 1203 >= 905 @ 0.561709 1.91/2.38 c bounds 1203 >= 906 @ 0.562118 1.91/2.38 c bounds 1203 >= 907 @ 0.56288 1.91/2.38 c bounds 1203 >= 908 @ 0.563666 1.91/2.38 c bounds 1203 >= 909 @ 0.563666 1.91/2.38 c bounds 1203 >= 910 @ 0.563697 1.91/2.38 c bounds 1203 >= 911 @ 0.563697 1.91/2.38 c bounds 1203 >= 912 @ 0.564115 1.91/2.38 c bounds 1203 >= 913 @ 0.56469 1.91/2.38 c bounds 1203 >= 914 @ 0.564894 1.91/2.38 c bounds 1202 >= 914 @ 0.594237 1.91/2.38 c bounds 1202 >= 915 @ 0.5964 1.91/2.38 c bounds 1202 >= 916 @ 0.596526 1.91/2.38 c bounds 1202 >= 917 @ 0.596534 1.91/2.38 c bounds 1202 >= 918 @ 0.597259 1.91/2.38 c bounds 1202 >= 919 @ 0.598167 1.91/2.38 c bounds 1202 >= 920 @ 0.598518 1.91/2.38 c bounds 1202 >= 921 @ 0.598518 1.91/2.38 c bounds 1202 >= 922 @ 0.599113 1.91/2.38 c bounds 1202 >= 923 @ 0.59951 1.91/2.38 c bounds 1202 >= 924 @ 0.59951 1.91/2.38 c bounds 1202 >= 925 @ 0.60018 1.91/2.38 c bounds 1202 >= 926 @ 0.601194 1.91/2.38 c bounds 1202 >= 927 @ 0.60216 1.91/2.38 c bounds 1202 >= 928 @ 0.602489 1.91/2.38 c bounds 1202 >= 929 @ 0.603357 1.91/2.38 c bounds 1202 >= 930 @ 0.603484 1.91/2.38 c bounds 1202 >= 931 @ 0.604802 1.91/2.38 c bounds 1202 >= 932 @ 0.605473 1.91/2.38 c bounds 1202 >= 933 @ 0.605473 1.91/2.38 c bounds 1202 >= 934 @ 0.605473 1.91/2.38 c bounds 1202 >= 935 @ 0.605473 1.91/2.38 c bounds 1202 >= 936 @ 0.606476 1.91/2.38 c bounds 1202 >= 937 @ 0.607702 1.91/2.38 c bounds 1202 >= 938 @ 0.608454 1.91/2.38 c bounds 1202 >= 939 @ 0.608454 1.91/2.38 c bounds 1202 >= 940 @ 0.609313 1.91/2.38 c bounds 1202 >= 941 @ 0.610459 1.91/2.38 c bounds 1202 >= 942 @ 0.611633 1.91/2.38 c bounds 1202 >= 943 @ 0.612929 1.91/2.38 c bounds 1202 >= 944 @ 0.613428 1.91/2.38 c bounds 1202 >= 945 @ 0.613428 1.91/2.38 c bounds 1202 >= 946 @ 0.614709 1.91/2.38 c bounds 1201 >= 946 @ 0.641738 1.91/2.38 c bounds 1201 >= 947 @ 0.643841 1.91/2.38 c bounds 1201 >= 948 @ 0.645084 1.91/2.38 c bounds 1201 >= 949 @ 0.645344 1.91/2.38 c bounds 1201 >= 950 @ 0.646538 1.91/2.38 c bounds 1201 >= 951 @ 0.647253 1.91/2.38 c bounds 1201 >= 952 @ 0.647254 1.91/2.38 c bounds 1201 >= 953 @ 0.648247 1.91/2.38 c bounds 1201 >= 954 @ 0.648247 1.91/2.38 c bounds 1201 >= 955 @ 0.648247 1.91/2.38 c bounds 1201 >= 956 @ 0.649541 1.91/2.38 c bounds 1201 >= 957 @ 0.650234 1.91/2.38 c bounds 1201 >= 958 @ 0.651229 1.91/2.38 c bounds 1201 >= 959 @ 0.651229 1.91/2.38 c bounds 1201 >= 960 @ 0.651488 1.91/2.38 c bounds 1201 >= 961 @ 0.652212 1.91/2.38 c bounds 1201 >= 962 @ 0.652212 1.91/2.38 c bounds 1201 >= 963 @ 0.652682 1.91/2.38 c bounds 1201 >= 964 @ 0.653618 1.91/2.38 c bounds 1201 >= 965 @ 0.655036 1.91/2.38 c bounds 1201 >= 966 @ 0.65581 1.91/2.38 c bounds 1200 >= 966 @ 0.682526 1.91/2.38 c bounds 1200 >= 967 @ 0.684324 1.91/2.38 c bounds 1200 >= 968 @ 0.6855 1.91/2.38 c bounds 1200 >= 969 @ 0.686928 1.91/2.38 c bounds 1200 >= 970 @ 0.687031 1.91/2.38 c bounds 1200 >= 971 @ 0.688575 1.91/2.38 c bounds 1200 >= 972 @ 0.689019 1.91/2.38 c bounds 1200 >= 973 @ 0.690171 1.91/2.38 c bounds 1200 >= 974 @ 0.691925 1.91/2.38 c bounds 1200 >= 975 @ 0.693992 1.91/2.38 c bounds 1200 >= 976 @ 0.695578 1.91/2.38 c bounds 1199 >= 976 @ 0.714897 1.91/2.38 c bounds 1199 >= 977 @ 0.716291 1.91/2.38 c bounds 1199 >= 978 @ 0.718975 1.91/2.38 c bounds 1199 >= 979 @ 0.722357 1.91/2.38 c bounds 1198 >= 979 @ 0.743474 1.91/2.38 c bounds 1198 >= 980 @ 0.745973 1.91/2.38 c bounds 1198 >= 981 @ 0.747707 1.91/2.38 c bounds 1197 >= 981 @ 0.77153 1.91/2.38 c bounds 1197 >= 982 @ 0.774121 1.91/2.38 c bounds 1197 >= 983 @ 0.775638 1.91/2.38 c bounds 1197 >= 984 @ 0.78089 1.91/2.38 c bounds 1196 >= 984 @ 0.800192 1.91/2.38 c bounds 1196 >= 985 @ 0.815948 1.91/2.38 c bounds 1195 >= 985 @ 0.838784 1.91/2.38 c bounds 1194 >= 985 @ 0.854611 1.91/2.38 c bounds 1194 >= 986 @ 0.865259 1.91/2.38 c bounds 1193 >= 986 @ 0.885829 1.91/2.38 c bounds 1193 >= 987 @ 0.89696 1.91/2.38 c bounds 1192 >= 987 @ 0.92743 1.91/2.38 c bounds 1192 >= 988 @ 0.948306 1.91/2.38 c bounds 1191 >= 988 @ 0.975294 1.91/2.38 c bounds 1190 >= 988 @ 0.998083 1.91/2.38 c bounds 1190 >= 989 @ 1.01229 1.91/2.38 c bounds 1189 >= 989 @ 1.03333 1.91/2.38 c #Conflicts: 1000 | #Constraints: 7471 1.91/2.38 c bounds 1189 >= 990 @ 1.0694 1.91/2.38 c bounds 1188 >= 990 @ 1.10093 1.91/2.38 c bounds 1187 >= 990 @ 1.12665 1.91/2.38 c bounds 1186 >= 990 @ 1.14926 1.91/2.38 c bounds 1186 >= 991 @ 1.2649 1.91/2.38 c bounds 1185 >= 991 @ 1.29034 1.91/2.38 c bounds 1184 >= 991 @ 1.30244 1.91/2.38 c bounds 1183 >= 991 @ 1.31567 1.91/2.38 c bounds 1182 >= 991 @ 1.32822 1.91/2.38 c bounds 1181 >= 991 @ 1.34396 1.91/2.38 c bounds 1180 >= 991 @ 1.38553 1.91/2.38 c bounds 1179 >= 991 @ 1.41783 1.91/2.38 c bounds 1178 >= 991 @ 1.44608 1.91/2.38 c bounds 1178 >= 992 @ 1.6113 1.91/2.38 c bounds 1177 >= 992 @ 1.63271 1.91/2.38 c bounds 1176 >= 992 @ 1.6479 1.91/2.38 c bounds 1175 >= 992 @ 1.66332 1.91/2.38 c #Conflicts: 2000 | #Constraints: 8609 1.91/2.38 c INPROCESSING 1.91/2.38 c GARBAGE COLLECT 2.01/2.45 c rational objective 977.5 3.11/3.56 c bounds 1174 >= 992 @ 1.81317 3.11/3.56 c bounds 1173 >= 992 @ 1.83024 3.11/3.56 c bounds 1172 >= 992 @ 1.84614 3.11/3.56 c bounds 1171 >= 992 @ 1.86417 3.11/3.56 c bounds 1170 >= 992 @ 1.88001 3.11/3.56 c bounds 1169 >= 992 @ 1.89404 3.11/3.56 c bounds 1168 >= 992 @ 1.9083 3.11/3.56 c bounds 1168 >= 993 @ 2.13903 3.11/3.56 c bounds 1167 >= 993 @ 2.1513 3.11/3.56 c bounds 1166 >= 993 @ 2.16316 3.11/3.56 c bounds 1165 >= 993 @ 2.19005 3.11/3.56 c bounds 1164 >= 993 @ 2.20777 3.11/3.56 c bounds 1163 >= 993 @ 2.22521 3.11/3.56 c #Conflicts: 3000 | #Constraints: 8591 3.11/3.56 c bounds 1162 >= 993 @ 2.27834 3.11/3.56 c bounds 1161 >= 993 @ 2.30305 3.11/3.56 c bounds 1160 >= 993 @ 2.32637 3.11/3.56 c bounds 1159 >= 993 @ 2.35659 3.11/3.56 c bounds 1158 >= 993 @ 2.37655 3.11/3.56 c bounds 1157 >= 993 @ 2.39776 3.11/3.56 c bounds 1156 >= 993 @ 2.41593 3.11/3.56 c bounds 1155 >= 993 @ 2.44806 3.11/3.56 c bounds 1154 >= 993 @ 2.47288 3.11/3.56 c bounds 1153 >= 993 @ 2.5096 3.11/3.56 c bounds 1152 >= 993 @ 2.53556 3.11/3.56 c bounds 1151 >= 993 @ 2.56682 3.11/3.56 c #Conflicts: 4000 | #Constraints: 9603 3.11/3.56 c bounds 1150 >= 993 @ 2.59107 3.11/3.56 c bounds 1149 >= 993 @ 2.61948 3.11/3.56 c INPROCESSING 3.11/3.56 c GARBAGE COLLECT 3.11/3.56 c rational objective 977.5 6.10/6.59 c bounds 1148 >= 993 @ 2.86604 6.10/6.59 c bounds 1147 >= 993 @ 2.89081 6.10/6.59 c #Conflicts: 5000 | #Constraints: 8972 6.10/6.59 c bounds 1147 >= 994 @ 3.39973 6.10/6.59 c bounds 1146 >= 994 @ 3.41634 6.10/6.59 c bounds 1145 >= 994 @ 3.42693 6.10/6.59 c bounds 1144 >= 994 @ 3.43878 6.10/6.59 c bounds 1143 >= 994 @ 3.45017 6.10/6.59 c bounds 1142 >= 994 @ 3.46499 6.10/6.59 c bounds 1141 >= 994 @ 3.48273 6.10/6.59 c bounds 1140 >= 994 @ 3.49953 6.10/6.59 c bounds 1139 >= 994 @ 3.5757 6.10/6.59 c bounds 1138 >= 994 @ 3.61171 6.10/6.59 c bounds 1137 >= 994 @ 3.64228 6.10/6.59 c #Conflicts: 6000 | #Constraints: 10032 6.10/6.59 c bounds 1136 >= 994 @ 3.66839 6.10/6.59 c bounds 1135 >= 994 @ 3.70158 6.10/6.59 c bounds 1134 >= 994 @ 3.73079 6.10/6.59 c bounds 1133 >= 994 @ 3.75797 6.10/6.59 c bounds 1132 >= 994 @ 3.78338 6.10/6.59 c bounds 1131 >= 994 @ 3.82722 6.10/6.59 c INPROCESSING 6.10/6.59 c GARBAGE COLLECT 6.10/6.59 c bounds 1130 >= 994 @ 3.87972 6.10/6.59 c bounds 1129 >= 994 @ 3.9083 6.10/6.59 c bounds 1128 >= 994 @ 3.96197 6.10/6.59 c bounds 1127 >= 994 @ 3.99252 6.10/6.59 c #Conflicts: 7000 | #Constraints: 9034 6.10/6.59 c bounds 1126 >= 994 @ 4.01978 6.10/6.59 c bounds 1125 >= 994 @ 4.04744 6.10/6.59 c bounds 1124 >= 994 @ 4.10346 6.10/6.59 c bounds 1123 >= 994 @ 4.19554 6.10/6.59 c #Conflicts: 8000 | #Constraints: 10039 6.10/6.59 c bounds 1122 >= 994 @ 4.34804 6.10/6.59 c bounds 1121 >= 994 @ 4.39493 6.10/6.59 c bounds 1120 >= 994 @ 4.51591 6.10/6.59 c #Conflicts: 9000 | #Constraints: 11048 6.10/6.59 c INPROCESSING 6.10/6.59 c GARBAGE COLLECT 6.10/6.59 c rational objective 977.5 7.10/7.56 c bounds 1119 >= 994 @ 5.75239 7.10/7.56 c bounds 1118 >= 994 @ 5.77525 7.10/7.56 c bounds 1117 >= 994 @ 5.83573 7.10/7.56 c bounds 1116 >= 994 @ 5.90662 7.10/7.56 c #Conflicts: 10000 | #Constraints: 9804 7.10/7.56 c bounds 1115 >= 994 @ 5.97869 7.10/7.56 c bounds 1114 >= 994 @ 6.01132 7.10/7.56 c bounds 1113 >= 994 @ 6.04528 7.10/7.56 c bounds 1112 >= 994 @ 6.09088 7.10/7.56 c bounds 1111 >= 994 @ 6.12673 7.10/7.56 c bounds 1110 >= 994 @ 6.20275 7.10/7.56 c #Conflicts: 11000 | #Constraints: 10810 7.10/7.56 c bounds 1109 >= 994 @ 6.36174 7.10/7.56 c bounds 1108 >= 994 @ 6.50687 7.10/7.56 c #Conflicts: 12000 | #Constraints: 11812 7.10/7.56 c INPROCESSING 7.10/7.56 c GARBAGE COLLECT 7.10/7.56 c rational objective 977.5 8.39/8.81 c bounds 1107 >= 994 @ 6.70038 8.39/8.81 c bounds 1106 >= 994 @ 6.75411 8.39/8.81 c bounds 1105 >= 994 @ 6.8609 8.39/8.81 c bounds 1104 >= 994 @ 6.9139 8.39/8.81 c bounds 1103 >= 994 @ 6.9633 8.39/8.81 c bounds 1102 >= 994 @ 7.0082 8.39/8.81 c #Conflicts: 13000 | #Constraints: 10299 8.39/8.81 c bounds 1101 >= 994 @ 7.0512 8.39/8.81 c bounds 1100 >= 994 @ 7.09171 8.39/8.81 c bounds 1099 >= 994 @ 7.16214 8.39/8.81 c bounds 1098 >= 994 @ 7.21438 8.39/8.81 c bounds 1097 >= 994 @ 7.25093 8.39/8.81 c bounds 1096 >= 994 @ 7.31374 8.39/8.81 c #Conflicts: 14000 | #Constraints: 11308 8.39/8.81 c bounds 1095 >= 994 @ 7.37012 8.39/8.81 c bounds 1094 >= 994 @ 7.41777 8.39/8.81 c bounds 1093 >= 994 @ 7.47238 8.39/8.81 c bounds 1092 >= 994 @ 7.52344 8.39/8.81 c bounds 1091 >= 994 @ 7.62751 8.39/8.81 c #Conflicts: 15000 | #Constraints: 12317 8.39/8.81 c INPROCESSING 8.39/8.81 c GARBAGE COLLECT 8.39/8.81 c rational objective 977.5 10.79/11.22 c bounds 1090 >= 994 @ 8.09801 10.79/11.22 c bounds 1089 >= 994 @ 8.21331 10.79/11.22 c #Conflicts: 16000 | #Constraints: 10472 10.79/11.22 c bounds 1088 >= 994 @ 8.39805 10.79/11.22 c #Conflicts: 17000 | #Constraints: 11477 10.79/11.22 c bounds 1088 >= 995 @ 9.91557 10.79/11.22 c bounds 1087 >= 995 @ 9.95841 10.79/11.22 c #Conflicts: 18000 | #Constraints: 12531 10.79/11.22 c bounds 1086 >= 995 @ 10.0457 10.79/11.22 c bounds 1085 >= 995 @ 10.0835 10.79/11.22 c INPROCESSING 10.79/11.22 c GARBAGE COLLECT 10.79/11.22 c rational objective 997.5 12.08/12.58 c bounds 1084 >= 995 @ 10.204 12.08/12.58 c bounds 1083 >= 995 @ 10.3255 12.08/12.58 c #Conflicts: 19000 | #Constraints: 10519 12.08/12.58 c bounds 1082 >= 995 @ 10.4524 12.08/12.58 c bounds 1081 >= 995 @ 10.5983 12.08/12.58 c bounds 1080 >= 995 @ 10.6847 12.08/12.58 c #Conflicts: 20000 | #Constraints: 11524 12.08/12.58 c bounds 1079 >= 995 @ 10.8575 12.08/12.58 c bounds 1078 >= 995 @ 10.9065 12.08/12.58 c bounds 1077 >= 995 @ 10.9486 12.08/12.58 c bounds 1076 >= 995 @ 10.9851 12.08/12.58 c bounds 1075 >= 995 @ 11.0259 12.08/12.58 c #Conflicts: 21000 | #Constraints: 12532 12.08/12.58 c bounds 1074 >= 995 @ 11.2467 12.08/12.58 c INPROCESSING 12.08/12.58 c GARBAGE COLLECT 12.08/12.58 c rational objective 977.5 14.08/14.58 c bounds 1073 >= 995 @ 11.5594 14.08/14.58 c #Conflicts: 22000 | #Constraints: 10364 14.08/14.58 c bounds 1072 >= 995 @ 11.8982 14.08/14.58 c #Conflicts: 23000 | #Constraints: 11365 14.08/14.58 c #Conflicts: 24000 | #Constraints: 12365 14.08/14.58 c #Conflicts: 25000 | #Constraints: 13365 14.08/14.58 c INPROCESSING 14.08/14.58 c GARBAGE COLLECT 14.08/14.58 c rational objective 977.5 16.58/17.08 c #Conflicts: 26000 | #Constraints: 10987 16.58/17.08 c #Conflicts: 27000 | #Constraints: 11987 16.58/17.08 c bounds 1072 >= 996 @ 14.7338 16.58/17.08 c #Conflicts: 28000 | #Constraints: 13022 16.58/17.08 c #Conflicts: 29000 | #Constraints: 14022 16.58/17.08 c INPROCESSING 16.58/17.08 c GARBAGE COLLECT 16.58/17.08 c rational objective 977.5 21.45/21.99 c bounds 1071 >= 996 @ 16.0419 21.45/21.99 c bounds 1070 >= 996 @ 16.0924 21.45/21.99 c #Conflicts: 30000 | #Constraints: 11457 21.45/21.99 c bounds 1069 >= 996 @ 16.2945 21.45/21.99 c bounds 1068 >= 996 @ 16.396 21.45/21.99 c bounds 1067 >= 996 @ 16.4494 21.45/21.99 c #Conflicts: 31000 | #Constraints: 12473 21.45/21.99 c bounds 1066 >= 996 @ 16.7258 21.45/21.99 c #Conflicts: 32000 | #Constraints: 13487 21.45/21.99 c bounds 1065 >= 996 @ 17.3042 21.45/21.99 c #Conflicts: 33000 | #Constraints: 14488 21.45/21.99 c INPROCESSING 21.45/21.99 c GARBAGE COLLECT 21.45/21.99 c rational objective 977.5 23.44/23.99 c bounds 1064 >= 996 @ 20.7418 23.44/23.99 c bounds 1063 >= 996 @ 20.9004 23.44/23.99 c bounds 1062 >= 996 @ 20.9693 23.44/23.99 c #Conflicts: 34000 | #Constraints: 11696 23.44/23.99 c bounds 1061 >= 996 @ 21.0527 23.44/23.99 c bounds 1060 >= 996 @ 21.1204 23.44/23.99 c #Conflicts: 35000 | #Constraints: 12699 23.44/23.99 c bounds 1059 >= 996 @ 21.5906 23.44/23.99 c bounds 1058 >= 996 @ 21.9694 23.44/23.99 c #Conflicts: 36000 | #Constraints: 13703 23.44/23.99 c bounds 1057 >= 996 @ 22.298 23.44/23.99 c bounds 1056 >= 996 @ 22.4003 23.44/23.99 c #Conflicts: 37000 | #Constraints: 14705 23.44/23.99 c INPROCESSING 23.44/23.99 c GARBAGE COLLECT 23.44/23.99 c rational objective 977.5 28.93/29.49 c #Conflicts: 38000 | #Constraints: 11691 28.93/29.49 c #Conflicts: 39000 | #Constraints: 12692 28.93/29.49 c bounds 1055 >= 996 @ 23.6606 28.93/29.49 c #Conflicts: 40000 | #Constraints: 13727 28.93/29.49 c #Conflicts: 41000 | #Constraints: 14727 28.93/29.49 c INPROCESSING 28.93/29.49 c GARBAGE COLLECT 28.93/29.49 c rational objective 977.5 31.72/32.27 c #Conflicts: 42000 | #Constraints: 11536 31.72/32.27 c bounds 1054 >= 996 @ 28.1323 31.72/32.27 c #Conflicts: 43000 | #Constraints: 12570 31.72/32.27 c bounds 1053 >= 996 @ 28.903 31.72/32.27 c #Conflicts: 44000 | #Constraints: 13650 31.72/32.27 c bounds 1052 >= 996 @ 29.5449 31.72/32.27 c #Conflicts: 45000 | #Constraints: 14692 31.72/32.27 c #Conflicts: 46000 | #Constraints: 15692 31.72/32.27 c INPROCESSING 31.72/32.27 c GARBAGE COLLECT 31.72/32.27 c rational objective 977.5 36.52/37.01 c #Conflicts: 47000 | #Constraints: 12190 36.52/37.01 c #Conflicts: 48000 | #Constraints: 13191 36.52/37.01 c bounds 1051 >= 996 @ 31.6123 36.52/37.01 c bounds 1050 >= 996 @ 31.7602 36.52/37.01 c #Conflicts: 49000 | #Constraints: 14219 36.52/37.01 c bounds 1049 >= 996 @ 31.9187 36.52/37.01 c bounds 1048 >= 996 @ 32.3844 36.52/37.01 c #Conflicts: 50000 | #Constraints: 15221 36.52/37.01 c #Conflicts: 51000 | #Constraints: 16221 36.52/37.01 c INPROCESSING 36.52/37.01 c GARBAGE COLLECT 36.52/37.01 c rational objective 977.5 39.51/40.11 c #Conflicts: 52000 | #Constraints: 12570 39.51/40.11 c bounds 1047 >= 996 @ 35.8885 39.51/40.11 c #Conflicts: 53000 | #Constraints: 13575 39.51/40.11 c bounds 1046 >= 996 @ 36.6675 39.51/40.11 c #Conflicts: 54000 | #Constraints: 14626 39.51/40.11 c #Conflicts: 55000 | #Constraints: 15707 39.51/40.11 c bounds 1045 >= 996 @ 37.8115 39.51/40.11 c #Conflicts: 56000 | #Constraints: 16719 39.51/40.11 c INPROCESSING 39.51/40.11 c GARBAGE COLLECT 39.51/40.11 c rational objective 977.5 42.60/43.17 c bounds 1044 >= 996 @ 38.6481 42.60/43.17 c #Conflicts: 57000 | #Constraints: 12821 42.60/43.17 c bounds 1044 >= 997 @ 39.1869 42.60/43.17 c #Conflicts: 58000 | #Constraints: 13853 42.60/43.17 c bounds 1043 >= 997 @ 39.4727 42.60/43.17 c #Conflicts: 59000 | #Constraints: 14855 42.60/43.17 c #Conflicts: 60000 | #Constraints: 15899 42.60/43.17 c #Conflicts: 61000 | #Constraints: 16979 42.60/43.17 c INPROCESSING 42.60/43.17 c GARBAGE COLLECT 42.60/43.17 c rational objective 977.5 47.17/47.73 c #Conflicts: 62000 | #Constraints: 12846 47.17/47.73 c #Conflicts: 63000 | #Constraints: 13846 47.17/47.73 c #Conflicts: 64000 | #Constraints: 14846 47.17/47.73 c #Conflicts: 65000 | #Constraints: 15846 47.17/47.73 c #Conflicts: 66000 | #Constraints: 16846 47.17/47.73 c INPROCESSING 47.17/47.73 c GARBAGE COLLECT 47.17/47.73 c rational objective 977.5 119.63/120.42 c #Conflicts: 67000 | #Constraints: 12620 119.63/120.42 c #Conflicts: 68000 | #Constraints: 13672 119.63/120.42 c bounds 1042 >= 997 @ 46.3204 119.63/120.42 c bounds 1041 >= 997 @ 46.7187 119.63/120.42 c #Conflicts: 69000 | #Constraints: 14675 119.63/120.42 c #Conflicts: 70000 | #Constraints: 15675 119.63/120.42 c #Conflicts: 71000 | #Constraints: 16675 119.63/120.42 c #Conflicts: 72000 | #Constraints: 17676 119.63/120.42 c #Conflicts: 73000 | #Constraints: 18715 119.63/120.42 c #Conflicts: 74000 | #Constraints: 19825 119.63/120.42 c #Conflicts: 75000 | #Constraints: 20887 119.63/120.42 c #Conflicts: 76000 | #Constraints: 21927 119.63/120.42 c #Conflicts: 77000 | #Constraints: 22992 119.63/120.42 c #Conflicts: 78000 | #Constraints: 24044 119.63/120.42 c bounds 1040 >= 997 @ 60.8699 119.63/120.42 c #Conflicts: 79000 | #Constraints: 25095 119.63/120.42 c #Conflicts: 80000 | #Constraints: 26095 119.63/120.42 c #Conflicts: 81000 | #Constraints: 27095 119.63/120.42 c #Conflicts: 82000 | #Constraints: 28095 119.63/120.42 c bounds 1040 >= 998 @ 97.9034 119.63/120.42 c #Conflicts: 83000 | #Constraints: 29170 119.63/120.42 c bounds 1039 >= 998 @ 100.068 119.63/120.42 c #Conflicts: 84000 | #Constraints: 30250 119.63/120.42 c #Conflicts: 85000 | #Constraints: 31303 119.63/120.42 c #Conflicts: 86000 | #Constraints: 32375 119.63/120.42 c #Conflicts: 87000 | #Constraints: 33431 119.63/120.42 c #Conflicts: 88000 | #Constraints: 34476 119.63/120.42 c #Conflicts: 89000 | #Constraints: 35510 119.63/120.42 c INPROCESSING 119.63/120.42 c GARBAGE COLLECT 119.63/120.42 c rational objective 977.5 125.32/126.16 c #Conflicts: 90000 | #Constraints: 22129 125.32/126.16 c #Conflicts: 91000 | #Constraints: 23166 125.32/126.16 c #Conflicts: 92000 | #Constraints: 24208 125.32/126.16 c #Conflicts: 93000 | #Constraints: 25257 125.32/126.16 c #Conflicts: 94000 | #Constraints: 26308 125.32/126.16 c #Conflicts: 95000 | #Constraints: 27346 125.32/126.16 c #Conflicts: 96000 | #Constraints: 28387 125.32/126.16 c INPROCESSING 125.32/126.16 c GARBAGE COLLECT 125.32/126.16 c rational objective 977.5 134.77/135.69 c #Conflicts: 97000 | #Constraints: 18735 134.77/135.69 c #Conflicts: 98000 | #Constraints: 19736 134.77/135.69 c #Conflicts: 99000 | #Constraints: 20736 134.77/135.69 c #Conflicts: 100000 | #Constraints: 21736 134.77/135.69 c #Conflicts: 101000 | #Constraints: 22736 134.77/135.69 c #Conflicts: 102000 | #Constraints: 23736 134.77/135.69 c INPROCESSING 134.77/135.69 c GARBAGE COLLECT 134.77/135.69 c rational objective 977.5 143.54/144.46 c #Conflicts: 103000 | #Constraints: 15979 143.54/144.46 c #Conflicts: 104000 | #Constraints: 17020 143.54/144.46 c #Conflicts: 105000 | #Constraints: 18099 143.54/144.46 c #Conflicts: 106000 | #Constraints: 19145 143.54/144.46 c #Conflicts: 107000 | #Constraints: 20218 143.54/144.46 c #Conflicts: 108000 | #Constraints: 21293 143.54/144.46 c #Conflicts: 109000 | #Constraints: 22356 143.54/144.46 c #Conflicts: 110000 | #Constraints: 23406 143.54/144.46 c INPROCESSING 143.54/144.46 c GARBAGE COLLECT 143.54/144.46 c rational objective 977.5 148.13/149.07 c #Conflicts: 111000 | #Constraints: 16219 148.13/149.07 c #Conflicts: 112000 | #Constraints: 17257 148.13/149.07 c #Conflicts: 113000 | #Constraints: 18301 148.13/149.07 c #Conflicts: 114000 | #Constraints: 19337 148.13/149.07 c #Conflicts: 115000 | #Constraints: 20382 148.13/149.07 c #Conflicts: 116000 | #Constraints: 21406 148.13/149.07 c #Conflicts: 117000 | #Constraints: 22455 148.13/149.07 c INPROCESSING 148.13/149.07 c GARBAGE COLLECT 148.13/149.07 c rational objective 977.5 215.02/216.18 c #Conflicts: 118000 | #Constraints: 15584 215.02/216.18 c #Conflicts: 119000 | #Constraints: 16584 215.02/216.18 c #Conflicts: 120000 | #Constraints: 17584 215.02/216.18 c #Conflicts: 121000 | #Constraints: 18584 215.02/216.18 c #Conflicts: 122000 | #Constraints: 19584 215.02/216.18 c #Conflicts: 123000 | #Constraints: 20584 215.02/216.18 c #Conflicts: 124000 | #Constraints: 21584 215.02/216.18 c #Conflicts: 125000 | #Constraints: 22584 215.02/216.18 c bounds 1039 >= 999 @ 156.141 215.02/216.18 c #Conflicts: 126000 | #Constraints: 23634 215.02/216.18 c #Conflicts: 127000 | #Constraints: 24671 215.02/216.18 c #Conflicts: 128000 | #Constraints: 25729 215.02/216.18 c #Conflicts: 129000 | #Constraints: 26776 215.02/216.18 c #Conflicts: 130000 | #Constraints: 27825 215.02/216.18 c #Conflicts: 131000 | #Constraints: 28866 215.02/216.18 c #Conflicts: 132000 | #Constraints: 29918 215.02/216.18 c #Conflicts: 133000 | #Constraints: 30965 215.02/216.18 c #Conflicts: 134000 | #Constraints: 32015 215.02/216.18 c #Conflicts: 135000 | #Constraints: 33055 215.02/216.18 c #Conflicts: 136000 | #Constraints: 34086 215.02/216.18 c bounds 1038 >= 999 @ 166.265 215.02/216.18 c #Conflicts: 137000 | #Constraints: 35116 215.02/216.18 c #Conflicts: 138000 | #Constraints: 36116 215.02/216.18 c #Conflicts: 139000 | #Constraints: 37116 215.02/216.18 c #Conflicts: 140000 | #Constraints: 38116 215.02/216.18 c #Conflicts: 141000 | #Constraints: 39116 215.02/216.18 c #Conflicts: 142000 | #Constraints: 40116 215.02/216.18 c #Conflicts: 143000 | #Constraints: 41116 215.02/216.18 c #Conflicts: 144000 | #Constraints: 42116 215.02/216.18 c #Conflicts: 145000 | #Constraints: 43116 215.02/216.18 c #Conflicts: 146000 | #Constraints: 44116 215.02/216.18 c INPROCESSING 215.02/216.18 c GARBAGE COLLECT 215.02/216.18 c rational objective 977.5 227.77/229.01 c #Conflicts: 147000 | #Constraints: 26459 227.77/229.01 c #Conflicts: 148000 | #Constraints: 27474 227.77/229.01 c #Conflicts: 149000 | #Constraints: 28583 227.77/229.01 c #Conflicts: 150000 | #Constraints: 29665 227.77/229.01 c #Conflicts: 151000 | #Constraints: 30703 227.77/229.01 c #Conflicts: 152000 | #Constraints: 31731 227.77/229.01 c #Conflicts: 153000 | #Constraints: 32773 227.77/229.01 c #Conflicts: 154000 | #Constraints: 33812 227.77/229.01 c #Conflicts: 155000 | #Constraints: 34851 227.77/229.01 c INPROCESSING 227.77/229.01 c GARBAGE COLLECT 227.77/229.01 c rational objective 977.5 234.45/235.69 c #Conflicts: 156000 | #Constraints: 22011 234.45/235.69 c #Conflicts: 157000 | #Constraints: 23042 234.45/235.69 c #Conflicts: 158000 | #Constraints: 24074 234.45/235.69 c #Conflicts: 159000 | #Constraints: 25102 234.45/235.69 c #Conflicts: 160000 | #Constraints: 26124 234.45/235.69 c #Conflicts: 161000 | #Constraints: 27155 234.45/235.69 c #Conflicts: 162000 | #Constraints: 28186 234.45/235.69 c #Conflicts: 163000 | #Constraints: 29215 234.45/235.69 c INPROCESSING 234.45/235.69 c GARBAGE COLLECT 234.45/235.69 c rational objective 977.5 285.73/287.07 c #Conflicts: 164000 | #Constraints: 18765 285.73/287.07 c #Conflicts: 165000 | #Constraints: 19785 285.73/287.07 c #Conflicts: 166000 | #Constraints: 20813 285.73/287.07 c #Conflicts: 167000 | #Constraints: 21853 285.73/287.07 c #Conflicts: 168000 | #Constraints: 22883 285.73/287.07 c #Conflicts: 169000 | #Constraints: 23929 285.73/287.07 c #Conflicts: 170000 | #Constraints: 24960 285.73/287.07 c #Conflicts: 171000 | #Constraints: 25998 285.73/287.07 c #Conflicts: 172000 | #Constraints: 27029 285.73/287.07 c #Conflicts: 173000 | #Constraints: 28062 285.73/287.07 c #Conflicts: 174000 | #Constraints: 29098 285.73/287.07 c #Conflicts: 175000 | #Constraints: 30112 285.73/287.07 c #Conflicts: 176000 | #Constraints: 31132 285.73/287.07 c #Conflicts: 177000 | #Constraints: 32155 285.73/287.07 c #Conflicts: 178000 | #Constraints: 33195 285.73/287.07 c #Conflicts: 179000 | #Constraints: 34225 285.73/287.07 c #Conflicts: 180000 | #Constraints: 35245 285.73/287.07 c #Conflicts: 181000 | #Constraints: 36277 285.73/287.07 c #Conflicts: 182000 | #Constraints: 37293 285.73/287.07 c #Conflicts: 183000 | #Constraints: 38313 285.73/287.07 c #Conflicts: 184000 | #Constraints: 39337 285.73/287.07 c #Conflicts: 185000 | #Constraints: 40359 285.73/287.07 c #Conflicts: 186000 | #Constraints: 41386 285.73/287.07 c #Conflicts: 187000 | #Constraints: 42411 285.73/287.07 c #Conflicts: 188000 | #Constraints: 43446 285.73/287.07 c #Conflicts: 189000 | #Constraints: 44465 285.73/287.07 c #Conflicts: 190000 | #Constraints: 45502 285.73/287.07 c #Conflicts: 191000 | #Constraints: 46522 285.73/287.07 c #Conflicts: 192000 | #Constraints: 47566 285.73/287.07 c #Conflicts: 193000 | #Constraints: 48598 285.73/287.07 c #Conflicts: 194000 | #Constraints: 49633 285.73/287.07 c #Conflicts: 195000 | #Constraints: 50686 285.73/287.07 c #Conflicts: 196000 | #Constraints: 51738 285.73/287.07 c #Conflicts: 197000 | #Constraints: 52769 285.73/287.07 c INPROCESSING 285.73/287.07 c GARBAGE COLLECT 285.73/287.07 c rational objective 977.5 306.96/308.34 c #Conflicts: 198000 | #Constraints: 30886 306.96/308.34 c #Conflicts: 199000 | #Constraints: 31886 306.96/308.34 c #Conflicts: 200000 | #Constraints: 32886 306.96/308.34 c #Conflicts: 201000 | #Constraints: 33886 306.96/308.34 c #Conflicts: 202000 | #Constraints: 34886 306.96/308.34 c #Conflicts: 203000 | #Constraints: 35886 306.96/308.34 c #Conflicts: 204000 | #Constraints: 36886 306.96/308.34 c #Conflicts: 205000 | #Constraints: 37886 306.96/308.34 c #Conflicts: 206000 | #Constraints: 38886 306.96/308.34 c #Conflicts: 207000 | #Constraints: 39886 306.96/308.34 c INPROCESSING 306.96/308.34 c GARBAGE COLLECT 306.96/308.34 c rational objective 977.5 332.79/334.27 c #Conflicts: 208000 | #Constraints: 24434 332.79/334.27 c #Conflicts: 209000 | #Constraints: 25434 332.79/334.27 c #Conflicts: 210000 | #Constraints: 26434 332.79/334.27 c #Conflicts: 211000 | #Constraints: 27434 332.79/334.27 c #Conflicts: 212000 | #Constraints: 28434 332.79/334.27 c #Conflicts: 213000 | #Constraints: 29434 332.79/334.27 c #Conflicts: 214000 | #Constraints: 30434 332.79/334.27 c #Conflicts: 215000 | #Constraints: 31434 332.79/334.27 c #Conflicts: 216000 | #Constraints: 32434 332.79/334.27 c #Conflicts: 217000 | #Constraints: 33434 332.79/334.27 c INPROCESSING 332.79/334.27 c GARBAGE COLLECT 332.79/334.27 c rational objective 977.5 415.77/417.48 c #Conflicts: 218000 | #Constraints: 21082 415.77/417.48 c #Conflicts: 219000 | #Constraints: 22207 415.77/417.48 c #Conflicts: 220000 | #Constraints: 23275 415.77/417.48 c #Conflicts: 221000 | #Constraints: 24313 415.77/417.48 c #Conflicts: 222000 | #Constraints: 25334 415.77/417.48 c #Conflicts: 223000 | #Constraints: 26391 415.77/417.48 c #Conflicts: 224000 | #Constraints: 27451 415.77/417.48 c #Conflicts: 225000 | #Constraints: 28497 415.77/417.48 c #Conflicts: 226000 | #Constraints: 29551 415.77/417.48 c #Conflicts: 227000 | #Constraints: 30596 415.77/417.48 c #Conflicts: 228000 | #Constraints: 31646 415.77/417.48 c #Conflicts: 229000 | #Constraints: 32668 415.77/417.48 c #Conflicts: 230000 | #Constraints: 33697 415.77/417.48 c #Conflicts: 231000 | #Constraints: 34733 415.77/417.48 c #Conflicts: 232000 | #Constraints: 35758 415.77/417.48 c #Conflicts: 233000 | #Constraints: 36782 415.77/417.48 c #Conflicts: 234000 | #Constraints: 37795 415.77/417.48 c #Conflicts: 235000 | #Constraints: 38810 415.77/417.48 c #Conflicts: 236000 | #Constraints: 39832 415.77/417.48 c #Conflicts: 237000 | #Constraints: 40866 415.77/417.48 c #Conflicts: 238000 | #Constraints: 41932 415.77/417.48 c #Conflicts: 239000 | #Constraints: 42974 415.77/417.48 c #Conflicts: 240000 | #Constraints: 44002 415.77/417.48 c #Conflicts: 241000 | #Constraints: 45037 415.77/417.48 c #Conflicts: 242000 | #Constraints: 46080 415.77/417.48 c #Conflicts: 243000 | #Constraints: 47118 415.77/417.48 c #Conflicts: 244000 | #Constraints: 48159 415.77/417.48 c #Conflicts: 245000 | #Constraints: 49183 415.77/417.48 c #Conflicts: 246000 | #Constraints: 50211 415.77/417.48 c #Conflicts: 247000 | #Constraints: 51248 415.77/417.48 c #Conflicts: 248000 | #Constraints: 52281 415.77/417.48 c #Conflicts: 249000 | #Constraints: 53332 415.77/417.48 c #Conflicts: 250000 | #Constraints: 54368 415.77/417.48 c #Conflicts: 251000 | #Constraints: 55402 415.77/417.48 c #Conflicts: 252000 | #Constraints: 56437 415.77/417.48 c #Conflicts: 253000 | #Constraints: 57457 415.77/417.48 c #Conflicts: 254000 | #Constraints: 58488 415.77/417.48 c #Conflicts: 255000 | #Constraints: 59519 415.77/417.48 c INPROCESSING 415.77/417.48 c GARBAGE COLLECT 415.77/417.48 c rational objective 977.5 445.99/447.79 c #Conflicts: 256000 | #Constraints: 34309 445.99/447.79 c #Conflicts: 257000 | #Constraints: 35309 445.99/447.79 c #Conflicts: 258000 | #Constraints: 36309 445.99/447.79 c #Conflicts: 259000 | #Constraints: 37309 445.99/447.79 c #Conflicts: 260000 | #Constraints: 38309 445.99/447.79 c #Conflicts: 261000 | #Constraints: 39309 445.99/447.79 c #Conflicts: 262000 | #Constraints: 40309 445.99/447.79 c #Conflicts: 263000 | #Constraints: 41309 445.99/447.79 c #Conflicts: 264000 | #Constraints: 42309 445.99/447.79 c #Conflicts: 265000 | #Constraints: 43309 445.99/447.79 c #Conflicts: 266000 | #Constraints: 44309 445.99/447.79 c bounds 1038 >= 1000 @ 438.571 445.99/447.79 c INPROCESSING 445.99/447.79 c GARBAGE COLLECT 445.99/447.79 c rational objective 977.5 478.08/479.93 c #Conflicts: 267000 | #Constraints: 26509 478.08/479.93 c #Conflicts: 268000 | #Constraints: 27509 478.08/479.93 c #Conflicts: 269000 | #Constraints: 28509 478.08/479.93 c #Conflicts: 270000 | #Constraints: 29509 478.08/479.93 c #Conflicts: 271000 | #Constraints: 30509 478.08/479.93 c #Conflicts: 272000 | #Constraints: 31509 478.08/479.93 c #Conflicts: 273000 | #Constraints: 32509 478.08/479.93 c #Conflicts: 274000 | #Constraints: 33509 478.08/479.93 c #Conflicts: 275000 | #Constraints: 34509 478.08/479.93 c #Conflicts: 276000 | #Constraints: 35509 478.08/479.93 c #Conflicts: 277000 | #Constraints: 36509 478.08/479.93 c #Conflicts: 278000 | #Constraints: 37509 478.08/479.93 c INPROCESSING 478.08/479.93 c GARBAGE COLLECT 478.08/479.93 c rational objective 977.5 667.21/669.60 c #Conflicts: 279000 | #Constraints: 23191 667.21/669.60 c #Conflicts: 280000 | #Constraints: 24191 667.21/669.60 c #Conflicts: 281000 | #Constraints: 25191 667.21/669.60 c #Conflicts: 282000 | #Constraints: 26191 667.21/669.60 c #Conflicts: 283000 | #Constraints: 27191 667.21/669.60 c #Conflicts: 284000 | #Constraints: 28191 667.21/669.60 c #Conflicts: 285000 | #Constraints: 29191 667.21/669.60 c #Conflicts: 286000 | #Constraints: 30191 667.21/669.60 c #Conflicts: 287000 | #Constraints: 31191 667.21/669.60 c #Conflicts: 288000 | #Constraints: 32191 667.21/669.60 c #Conflicts: 289000 | #Constraints: 33191 667.21/669.60 c #Conflicts: 290000 | #Constraints: 34191 667.21/669.60 c #Conflicts: 291000 | #Constraints: 35191 667.21/669.60 c #Conflicts: 292000 | #Constraints: 36191 667.21/669.60 c #Conflicts: 293000 | #Constraints: 37191 667.21/669.60 c #Conflicts: 294000 | #Constraints: 38191 667.21/669.60 c #Conflicts: 295000 | #Constraints: 39191 667.21/669.60 c #Conflicts: 296000 | #Constraints: 40191 667.21/669.60 c #Conflicts: 297000 | #Constraints: 41191 667.21/669.60 c #Conflicts: 298000 | #Constraints: 42191 667.21/669.60 c #Conflicts: 299000 | #Constraints: 43191 667.21/669.60 c #Conflicts: 300000 | #Constraints: 44191 667.21/669.60 c #Conflicts: 301000 | #Constraints: 45191 667.21/669.60 c #Conflicts: 302000 | #Constraints: 46191 667.21/669.60 c #Conflicts: 303000 | #Constraints: 47191 667.21/669.60 c #Conflicts: 304000 | #Constraints: 48191 667.21/669.60 c #Conflicts: 305000 | #Constraints: 49191 667.21/669.60 c #Conflicts: 306000 | #Constraints: 50191 667.21/669.60 c #Conflicts: 307000 | #Constraints: 51191 667.21/669.60 c #Conflicts: 308000 | #Constraints: 52191 667.21/669.60 c #Conflicts: 309000 | #Constraints: 53191 667.21/669.60 c #Conflicts: 310000 | #Constraints: 54191 667.21/669.60 c #Conflicts: 311000 | #Constraints: 55191 667.21/669.60 c #Conflicts: 312000 | #Constraints: 56191 667.21/669.60 c #Conflicts: 313000 | #Constraints: 57191 667.21/669.60 c #Conflicts: 314000 | #Constraints: 58191 667.21/669.60 c #Conflicts: 315000 | #Constraints: 59191 667.21/669.60 c #Conflicts: 316000 | #Constraints: 60191 667.21/669.60 c #Conflicts: 317000 | #Constraints: 61191 667.21/669.60 c #Conflicts: 318000 | #Constraints: 62191 667.21/669.60 c #Conflicts: 319000 | #Constraints: 63191 667.21/669.60 c #Conflicts: 320000 | #Constraints: 64191 667.21/669.60 c INPROCESSING 667.21/669.60 c GARBAGE COLLECT 667.21/669.60 c rational objective 977.5 701.00/703.55 c #Conflicts: 321000 | #Constraints: 36703 701.00/703.55 c #Conflicts: 322000 | #Constraints: 37704 701.00/703.55 c #Conflicts: 323000 | #Constraints: 38821 701.00/703.55 c #Conflicts: 324000 | #Constraints: 39919 701.00/703.55 c #Conflicts: 325000 | #Constraints: 40992 701.00/703.55 c #Conflicts: 326000 | #Constraints: 42070 701.00/703.55 c #Conflicts: 327000 | #Constraints: 43115 701.00/703.55 c #Conflicts: 328000 | #Constraints: 44155 701.00/703.55 c #Conflicts: 329000 | #Constraints: 45190 701.00/703.55 c #Conflicts: 330000 | #Constraints: 46223 701.00/703.55 c #Conflicts: 331000 | #Constraints: 47267 701.00/703.55 c #Conflicts: 332000 | #Constraints: 48291 701.00/703.55 c #Conflicts: 333000 | #Constraints: 49322 701.00/703.55 c INPROCESSING 701.00/703.55 c GARBAGE COLLECT 701.00/703.55 c rational objective 977.5 716.06/718.68 c #Conflicts: 334000 | #Constraints: 29175 716.06/718.68 c #Conflicts: 335000 | #Constraints: 30203 716.06/718.68 c #Conflicts: 336000 | #Constraints: 31224 716.06/718.68 c #Conflicts: 337000 | #Constraints: 32259 716.06/718.68 c #Conflicts: 338000 | #Constraints: 33297 716.06/718.68 c #Conflicts: 339000 | #Constraints: 34347 716.06/718.68 c #Conflicts: 340000 | #Constraints: 35417 716.06/718.68 c #Conflicts: 341000 | #Constraints: 36466 716.06/718.68 c #Conflicts: 342000 | #Constraints: 37503 716.06/718.68 c #Conflicts: 343000 | #Constraints: 38555 716.06/718.68 c #Conflicts: 344000 | #Constraints: 39612 716.06/718.68 c #Conflicts: 345000 | #Constraints: 40677 716.06/718.68 c #Conflicts: 346000 | #Constraints: 41713 716.06/718.68 c INPROCESSING 716.06/718.68 c GARBAGE COLLECT 716.06/718.68 c rational objective 977.5 812.77/815.69 c #Conflicts: 347000 | #Constraints: 25369 812.77/815.69 c #Conflicts: 348000 | #Constraints: 26437 812.77/815.69 c #Conflicts: 349000 | #Constraints: 27485 812.77/815.69 c #Conflicts: 350000 | #Constraints: 28520 812.77/815.69 c #Conflicts: 351000 | #Constraints: 29549 812.77/815.69 c #Conflicts: 352000 | #Constraints: 30574 812.77/815.69 c #Conflicts: 353000 | #Constraints: 31623 812.77/815.69 c #Conflicts: 354000 | #Constraints: 32653 812.77/815.69 c #Conflicts: 355000 | #Constraints: 33679 812.77/815.69 c #Conflicts: 356000 | #Constraints: 34693 812.77/815.69 c #Conflicts: 357000 | #Constraints: 35724 812.77/815.69 c #Conflicts: 358000 | #Constraints: 36742 812.77/815.69 c #Conflicts: 359000 | #Constraints: 37757 812.77/815.69 c #Conflicts: 360000 | #Constraints: 38810 812.77/815.69 c #Conflicts: 361000 | #Constraints: 39824 812.77/815.69 c #Conflicts: 362000 | #Constraints: 40850 812.77/815.69 c #Conflicts: 363000 | #Constraints: 41868 812.77/815.69 c #Conflicts: 364000 | #Constraints: 42892 812.77/815.69 c #Conflicts: 365000 | #Constraints: 43915 812.77/815.69 c #Conflicts: 366000 | #Constraints: 44933 812.77/815.69 c #Conflicts: 367000 | #Constraints: 45950 812.77/815.69 c #Conflicts: 368000 | #Constraints: 46965 812.77/815.69 c #Conflicts: 369000 | #Constraints: 47979 812.77/815.69 c #Conflicts: 370000 | #Constraints: 48991 812.77/815.69 c #Conflicts: 371000 | #Constraints: 50022 812.77/815.69 c #Conflicts: 372000 | #Constraints: 51048 812.77/815.69 c #Conflicts: 373000 | #Constraints: 52063 812.77/815.69 c #Conflicts: 374000 | #Constraints: 53079 812.77/815.69 c #Conflicts: 375000 | #Constraints: 54098 812.77/815.69 c #Conflicts: 376000 | #Constraints: 55118 812.77/815.69 c #Conflicts: 377000 | #Constraints: 56145 812.77/815.69 c #Conflicts: 378000 | #Constraints: 57191 812.77/815.69 c #Conflicts: 379000 | #Constraints: 58221 812.77/815.69 c #Conflicts: 380000 | #Constraints: 59267 812.77/815.69 c #Conflicts: 381000 | #Constraints: 60320 812.77/815.69 c #Conflicts: 382000 | #Constraints: 61341 812.77/815.69 c #Conflicts: 383000 | #Constraints: 62364 812.77/815.69 c #Conflicts: 384000 | #Constraints: 63380 812.77/815.69 c #Conflicts: 385000 | #Constraints: 64404 812.77/815.69 c #Conflicts: 386000 | #Constraints: 65427 812.77/815.69 c #Conflicts: 387000 | #Constraints: 66443 812.77/815.69 c #Conflicts: 388000 | #Constraints: 67460 812.77/815.69 c #Conflicts: 389000 | #Constraints: 68468 812.77/815.69 c #Conflicts: 390000 | #Constraints: 69489 812.77/815.69 c #Conflicts: 391000 | #Constraints: 70501 812.77/815.69 c #Conflicts: 392000 | #Constraints: 71531 812.77/815.69 c INPROCESSING 812.77/815.69 c GARBAGE COLLECT 812.77/815.69 c rational objective 977.5 836.00/838.91 c #Conflicts: 393000 | #Constraints: 40172 836.00/838.91 c #Conflicts: 394000 | #Constraints: 41182 836.00/838.91 c #Conflicts: 395000 | #Constraints: 42196 836.00/838.91 c #Conflicts: 396000 | #Constraints: 43218 836.00/838.91 c #Conflicts: 397000 | #Constraints: 44252 836.00/838.91 c #Conflicts: 398000 | #Constraints: 45304 836.00/838.91 c #Conflicts: 399000 | #Constraints: 46343 836.00/838.91 c #Conflicts: 400000 | #Constraints: 47370 836.00/838.91 c #Conflicts: 401000 | #Constraints: 48398 836.00/838.91 c #Conflicts: 402000 | #Constraints: 49416 836.00/838.91 c #Conflicts: 403000 | #Constraints: 50428 836.00/838.91 c #Conflicts: 404000 | #Constraints: 51442 836.00/838.91 c #Conflicts: 405000 | #Constraints: 52453 836.00/838.91 c #Conflicts: 406000 | #Constraints: 53466 836.00/838.91 c #Conflicts: 407000 | #Constraints: 54475 836.00/838.91 c INPROCESSING 836.00/838.91 c GARBAGE COLLECT 836.00/838.91 c rational objective 977.5 852.54/855.56 c #Conflicts: 408000 | #Constraints: 31865 852.54/855.56 c #Conflicts: 409000 | #Constraints: 32877 852.54/855.56 c #Conflicts: 410000 | #Constraints: 33885 852.54/855.56 c #Conflicts: 411000 | #Constraints: 34905 852.54/855.56 c #Conflicts: 412000 | #Constraints: 35914 852.54/855.56 c #Conflicts: 413000 | #Constraints: 36930 852.54/855.56 c #Conflicts: 414000 | #Constraints: 37939 852.54/855.56 c #Conflicts: 415000 | #Constraints: 38947 852.54/855.56 c #Conflicts: 416000 | #Constraints: 39979 852.54/855.56 c #Conflicts: 417000 | #Constraints: 40995 852.54/855.56 c #Conflicts: 418000 | #Constraints: 42010 852.54/855.56 c #Conflicts: 419000 | #Constraints: 43042 852.54/855.56 c #Conflicts: 420000 | #Constraints: 44081 852.54/855.56 c #Conflicts: 421000 | #Constraints: 45126 852.54/855.56 c INPROCESSING 852.54/855.56 c GARBAGE COLLECT 852.54/855.56 c rational objective 977.5 900.23/903.38 c #Conflicts: 422000 | #Constraints: 26759 900.23/903.38 c #Conflicts: 423000 | #Constraints: 27759 900.23/903.38 c #Conflicts: 424000 | #Constraints: 28759 900.23/903.38 c #Conflicts: 425000 | #Constraints: 29759 900.23/903.38 c #Conflicts: 426000 | #Constraints: 30759 900.23/903.38 c #Conflicts: 427000 | #Constraints: 31759 900.23/903.38 c #Conflicts: 428000 | #Constraints: 32759 900.23/903.38 c #Conflicts: 429000 | #Constraints: 33759 900.23/903.38 c #Conflicts: 430000 | #Constraints: 34759 900.23/903.38 c #Conflicts: 431000 | #Constraints: 35759 900.23/903.38 c #Conflicts: 432000 | #Constraints: 36759 900.23/903.38 c #Conflicts: 433000 | #Constraints: 37759 900.23/903.38 c #Conflicts: 434000 | #Constraints: 38759 900.23/903.38 c #Conflicts: 435000 | #Constraints: 39759 900.23/903.38 c #Conflicts: 436000 | #Constraints: 40759 900.23/903.38 c INPROCESSING 900.23/903.38 c GARBAGE COLLECT 900.23/903.38 c rational objective 977.5 1030.89/1034.32 c #Conflicts: 437000 | #Constraints: 26778 1030.89/1034.32 c #Conflicts: 438000 | #Constraints: 27787 1030.89/1034.32 c #Conflicts: 439000 | #Constraints: 28805 1030.89/1034.32 c #Conflicts: 440000 | #Constraints: 29867 1030.89/1034.32 c #Conflicts: 441000 | #Constraints: 30913 1030.89/1034.32 c #Conflicts: 442000 | #Constraints: 31960 1030.89/1034.32 c #Conflicts: 443000 | #Constraints: 33004 1030.89/1034.32 c #Conflicts: 444000 | #Constraints: 34034 1030.89/1034.32 c #Conflicts: 445000 | #Constraints: 35064 1030.89/1034.32 c #Conflicts: 446000 | #Constraints: 36095 1030.89/1034.32 c #Conflicts: 447000 | #Constraints: 37126 1030.89/1034.32 c #Conflicts: 448000 | #Constraints: 38156 1030.89/1034.32 c #Conflicts: 449000 | #Constraints: 39189 1030.89/1034.32 c #Conflicts: 450000 | #Constraints: 40217 1030.89/1034.32 c #Conflicts: 451000 | #Constraints: 41249 1030.89/1034.32 c #Conflicts: 452000 | #Constraints: 42275 1030.89/1034.32 c #Conflicts: 453000 | #Constraints: 43304 1030.89/1034.32 c #Conflicts: 454000 | #Constraints: 44334 1030.89/1034.32 c #Conflicts: 455000 | #Constraints: 45360 1030.89/1034.32 c #Conflicts: 456000 | #Constraints: 46389 1030.89/1034.32 c #Conflicts: 457000 | #Constraints: 47419 1030.89/1034.32 c #Conflicts: 458000 | #Constraints: 48459 1030.89/1034.32 c #Conflicts: 459000 | #Constraints: 49488 1030.89/1034.32 c #Conflicts: 460000 | #Constraints: 50512 1030.89/1034.32 c #Conflicts: 461000 | #Constraints: 51557 1030.89/1034.32 c #Conflicts: 462000 | #Constraints: 52578 1030.89/1034.32 c #Conflicts: 463000 | #Constraints: 53605 1030.89/1034.32 c #Conflicts: 464000 | #Constraints: 54641 1030.89/1034.32 c #Conflicts: 465000 | #Constraints: 55711 1030.89/1034.32 c #Conflicts: 466000 | #Constraints: 56756 1030.89/1034.32 c #Conflicts: 467000 | #Constraints: 57795 1030.89/1034.32 c #Conflicts: 468000 | #Constraints: 58829 1030.89/1034.32 c #Conflicts: 469000 | #Constraints: 59892 1030.89/1034.32 c #Conflicts: 470000 | #Constraints: 60929 1030.89/1034.32 c #Conflicts: 471000 | #Constraints: 61967 1030.89/1034.32 c #Conflicts: 472000 | #Constraints: 63015 1030.89/1034.32 c #Conflicts: 473000 | #Constraints: 64048 1030.89/1034.32 c #Conflicts: 474000 | #Constraints: 65093 1030.89/1034.32 c #Conflicts: 475000 | #Constraints: 66117 1030.89/1034.32 c #Conflicts: 476000 | #Constraints: 67161 1030.89/1034.32 c #Conflicts: 477000 | #Constraints: 68202 1030.89/1034.32 c #Conflicts: 478000 | #Constraints: 69236 1030.89/1034.32 c #Conflicts: 479000 | #Constraints: 70294 1030.89/1034.32 c #Conflicts: 480000 | #Constraints: 71335 1030.89/1034.32 c #Conflicts: 481000 | #Constraints: 72376 1030.89/1034.32 c #Conflicts: 482000 | #Constraints: 73407 1030.89/1034.32 c #Conflicts: 483000 | #Constraints: 74437 1030.89/1034.32 c #Conflicts: 484000 | #Constraints: 75465 1030.89/1034.32 c #Conflicts: 485000 | #Constraints: 76489 1030.89/1034.32 c #Conflicts: 486000 | #Constraints: 77526 1030.89/1034.32 c #Conflicts: 487000 | #Constraints: 78557 1030.89/1034.32 c #Conflicts: 488000 | #Constraints: 79586 1030.89/1034.32 c INPROCESSING 1030.89/1034.32 c GARBAGE COLLECT 1030.89/1034.32 c rational objective 977.5 1098.32/1101.92 c #Conflicts: 489000 | #Constraints: 44404 1098.32/1101.92 c #Conflicts: 490000 | #Constraints: 45404 1098.32/1101.92 c #Conflicts: 491000 | #Constraints: 46404 1098.32/1101.92 c #Conflicts: 492000 | #Constraints: 47404 1098.32/1101.92 c #Conflicts: 493000 | #Constraints: 48404 1098.32/1101.92 c #Conflicts: 494000 | #Constraints: 49404 1098.32/1101.92 c #Conflicts: 495000 | #Constraints: 50404 1098.32/1101.92 c #Conflicts: 496000 | #Constraints: 51404 1098.32/1101.92 c #Conflicts: 497000 | #Constraints: 52404 1098.32/1101.92 c #Conflicts: 498000 | #Constraints: 53404 1098.32/1101.92 c #Conflicts: 499000 | #Constraints: 54404 1098.32/1101.92 c #Conflicts: 500000 | #Constraints: 55404 1098.32/1101.92 c #Conflicts: 501000 | #Constraints: 56404 1098.32/1101.92 c #Conflicts: 502000 | #Constraints: 57404 1098.32/1101.92 c #Conflicts: 503000 | #Constraints: 58404 1098.32/1101.92 c #Conflicts: 504000 | #Constraints: 59404 1098.32/1101.92 c INPROCESSING 1098.32/1101.92 c GARBAGE COLLECT 1098.32/1101.92 c rational objective 977.5 1180.91/1184.73 c #Conflicts: 505000 | #Constraints: 34204 1180.91/1184.73 c #Conflicts: 506000 | #Constraints: 35204 1180.91/1184.73 c #Conflicts: 507000 | #Constraints: 36204 1180.91/1184.73 c #Conflicts: 508000 | #Constraints: 37204 1180.91/1184.73 c #Conflicts: 509000 | #Constraints: 38204 1180.91/1184.73 c #Conflicts: 510000 | #Constraints: 39204 1180.91/1184.73 c #Conflicts: 511000 | #Constraints: 40204 1180.91/1184.73 c #Conflicts: 512000 | #Constraints: 41204 1180.91/1184.73 c #Conflicts: 513000 | #Constraints: 42204 1180.91/1184.73 c #Conflicts: 514000 | #Constraints: 43204 1180.91/1184.73 c #Conflicts: 515000 | #Constraints: 44204 1180.91/1184.73 c #Conflicts: 516000 | #Constraints: 45204 1180.91/1184.73 c #Conflicts: 517000 | #Constraints: 46204 1180.91/1184.73 c #Conflicts: 518000 | #Constraints: 47204 1180.91/1184.73 c #Conflicts: 519000 | #Constraints: 48204 1180.91/1184.73 c #Conflicts: 520000 | #Constraints: 49204 1180.91/1184.73 c INPROCESSING 1180.91/1184.73 c GARBAGE COLLECT 1180.91/1184.73 c rational objective 977.5 1335.43/1339.64 c #Conflicts: 521000 | #Constraints: 29631 1335.43/1339.64 c #Conflicts: 522000 | #Constraints: 30675 1335.43/1339.64 c #Conflicts: 523000 | #Constraints: 31774 1335.43/1339.64 c #Conflicts: 524000 | #Constraints: 32822 1335.43/1339.64 c #Conflicts: 525000 | #Constraints: 33862 1335.43/1339.64 c #Conflicts: 526000 | #Constraints: 34896 1335.43/1339.64 c #Conflicts: 527000 | #Constraints: 35932 1335.43/1339.64 c #Conflicts: 528000 | #Constraints: 36957 1335.43/1339.64 c #Conflicts: 529000 | #Constraints: 37981 1335.43/1339.64 c #Conflicts: 530000 | #Constraints: 39004 1335.43/1339.64 c #Conflicts: 531000 | #Constraints: 40024 1335.43/1339.64 c #Conflicts: 532000 | #Constraints: 41070 1335.43/1339.64 c #Conflicts: 533000 | #Constraints: 42114 1335.43/1339.64 c #Conflicts: 534000 | #Constraints: 43158 1335.43/1339.64 c #Conflicts: 535000 | #Constraints: 44212 1335.43/1339.64 c #Conflicts: 536000 | #Constraints: 45256 1335.43/1339.64 c #Conflicts: 537000 | #Constraints: 46283 1335.43/1339.64 c #Conflicts: 538000 | #Constraints: 47305 1335.43/1339.64 c #Conflicts: 539000 | #Constraints: 48357 1335.43/1339.64 c #Conflicts: 540000 | #Constraints: 49391 1335.43/1339.64 c #Conflicts: 541000 | #Constraints: 50428 1335.43/1339.64 c #Conflicts: 542000 | #Constraints: 51457 1335.43/1339.64 c #Conflicts: 543000 | #Constraints: 52479 1335.43/1339.64 c #Conflicts: 544000 | #Constraints: 53515 1335.43/1339.64 c #Conflicts: 545000 | #Constraints: 54531 1335.43/1339.64 c #Conflicts: 546000 | #Constraints: 55556 1335.43/1339.64 c #Conflicts: 547000 | #Constraints: 56580 1335.43/1339.64 c #Conflicts: 548000 | #Constraints: 57598 1335.43/1339.64 c #Conflicts: 549000 | #Constraints: 58614 1335.43/1339.64 c #Conflicts: 550000 | #Constraints: 59633 1335.43/1339.64 c #Conflicts: 551000 | #Constraints: 60655 1335.43/1339.64 c #Conflicts: 552000 | #Constraints: 61688 1335.43/1339.64 c #Conflicts: 553000 | #Constraints: 62719 1335.43/1339.64 c #Conflicts: 554000 | #Constraints: 63775 1335.43/1339.64 c #Conflicts: 555000 | #Constraints: 64816 1335.43/1339.64 c #Conflicts: 556000 | #Constraints: 65861 1335.43/1339.64 c #Conflicts: 557000 | #Constraints: 66895 1335.43/1339.64 c #Conflicts: 558000 | #Constraints: 67950 1335.43/1339.64 c #Conflicts: 559000 | #Constraints: 68993 1335.43/1339.64 c #Conflicts: 560000 | #Constraints: 70035 1335.43/1339.64 c #Conflicts: 561000 | #Constraints: 71082 1335.43/1339.64 c #Conflicts: 562000 | #Constraints: 72109 1335.43/1339.64 c #Conflicts: 563000 | #Constraints: 73138 1335.43/1339.64 c #Conflicts: 564000 | #Constraints: 74155 1335.43/1339.64 c #Conflicts: 565000 | #Constraints: 75180 1335.43/1339.64 c #Conflicts: 566000 | #Constraints: 76197 1335.43/1339.64 c #Conflicts: 567000 | #Constraints: 77210 1335.43/1339.64 c #Conflicts: 568000 | #Constraints: 78239 1335.43/1339.64 c #Conflicts: 569000 | #Constraints: 79259 1335.43/1339.64 c #Conflicts: 570000 | #Constraints: 80287 1335.43/1339.64 c #Conflicts: 571000 | #Constraints: 81299 1335.43/1339.64 c #Conflicts: 572000 | #Constraints: 82313 1335.43/1339.64 c #Conflicts: 573000 | #Constraints: 83333 1335.43/1339.64 c #Conflicts: 574000 | #Constraints: 84347 1335.43/1339.64 c #Conflicts: 575000 | #Constraints: 85368 1335.43/1339.64 c #Conflicts: 576000 | #Constraints: 86388 1335.43/1339.64 c INPROCESSING 1335.43/1339.64 c GARBAGE COLLECT 1335.43/1339.64 c rational objective 977.5 1428.00/1432.47 c #Conflicts: 577000 | #Constraints: 47709 1428.00/1432.47 c #Conflicts: 578000 | #Constraints: 48709 1428.00/1432.47 c #Conflicts: 579000 | #Constraints: 49709 1428.00/1432.47 c #Conflicts: 580000 | #Constraints: 50709 1428.00/1432.47 c #Conflicts: 581000 | #Constraints: 51709 1428.00/1432.47 c #Conflicts: 582000 | #Constraints: 52709 1428.00/1432.47 c #Conflicts: 583000 | #Constraints: 53709 1428.00/1432.47 c #Conflicts: 584000 | #Constraints: 54709 1428.00/1432.47 c #Conflicts: 585000 | #Constraints: 55709 1428.00/1432.47 c #Conflicts: 586000 | #Constraints: 56709 1428.00/1432.47 c #Conflicts: 587000 | #Constraints: 57709 1428.00/1432.47 c #Conflicts: 588000 | #Constraints: 58709 1428.00/1432.47 c #Conflicts: 589000 | #Constraints: 59709 1428.00/1432.47 c #Conflicts: 590000 | #Constraints: 60709 1428.00/1432.47 c #Conflicts: 591000 | #Constraints: 61709 1428.00/1432.47 c #Conflicts: 592000 | #Constraints: 62709 1428.00/1432.47 c #Conflicts: 593000 | #Constraints: 63709 1428.00/1432.47 c #Conflicts: 594000 | #Constraints: 64709 1428.00/1432.47 c INPROCESSING 1428.00/1432.47 c GARBAGE COLLECT 1428.00/1432.47 c rational objective 977.5 1516.28/1520.95 c #Conflicts: 595000 | #Constraints: 37025 1516.28/1520.95 c #Conflicts: 596000 | #Constraints: 38025 1516.28/1520.95 c #Conflicts: 597000 | #Constraints: 39025 1516.28/1520.95 c #Conflicts: 598000 | #Constraints: 40025 1516.28/1520.95 c #Conflicts: 599000 | #Constraints: 41025 1516.28/1520.95 c #Conflicts: 600000 | #Constraints: 42025 1516.28/1520.95 c #Conflicts: 601000 | #Constraints: 43025 1516.28/1520.95 c #Conflicts: 602000 | #Constraints: 44025 1516.28/1520.95 c #Conflicts: 603000 | #Constraints: 45025 1516.28/1520.95 c #Conflicts: 604000 | #Constraints: 46025 1516.28/1520.95 c #Conflicts: 605000 | #Constraints: 47025 1516.28/1520.95 c #Conflicts: 606000 | #Constraints: 48025 1516.28/1520.95 c #Conflicts: 607000 | #Constraints: 49025 1516.28/1520.95 c #Conflicts: 608000 | #Constraints: 50025 1516.28/1520.95 c bounds 1038 >= 1001 @ 1500.48 1516.28/1520.95 c #Conflicts: 609000 | #Constraints: 51085 1516.28/1520.95 c #Conflicts: 610000 | #Constraints: 52180 1516.28/1520.95 c #Conflicts: 611000 | #Constraints: 53236 1516.28/1520.95 c #Conflicts: 612000 | #Constraints: 54291 1516.28/1520.95 c INPROCESSING 1516.28/1520.95 c GARBAGE COLLECT 1516.28/1520.95 c rational objective 977.5 1710.39/1715.59 c #Conflicts: 613000 | #Constraints: 32646 1710.39/1715.59 c #Conflicts: 614000 | #Constraints: 33688 1710.39/1715.59 c #Conflicts: 615000 | #Constraints: 34748 1710.39/1715.59 c #Conflicts: 616000 | #Constraints: 35789 1710.39/1715.59 c #Conflicts: 617000 | #Constraints: 36836 1710.39/1715.59 c #Conflicts: 618000 | #Constraints: 37878 1710.39/1715.59 c #Conflicts: 619000 | #Constraints: 38904 1710.39/1715.59 c #Conflicts: 620000 | #Constraints: 39953 1710.39/1715.59 c #Conflicts: 621000 | #Constraints: 40974 1710.39/1715.59 c #Conflicts: 622000 | #Constraints: 42008 1710.39/1715.59 c #Conflicts: 623000 | #Constraints: 43025 1710.39/1715.59 c #Conflicts: 624000 | #Constraints: 44054 1710.39/1715.59 c #Conflicts: 625000 | #Constraints: 45117 1710.39/1715.59 c #Conflicts: 626000 | #Constraints: 46181 1710.39/1715.59 c #Conflicts: 627000 | #Constraints: 47240 1710.39/1715.59 c #Conflicts: 628000 | #Constraints: 48264 1710.39/1715.59 c #Conflicts: 629000 | #Constraints: 49316 1710.39/1715.59 c #Conflicts: 630000 | #Constraints: 50364 1710.39/1715.59 c #Conflicts: 631000 | #Constraints: 51405 1710.39/1715.59 c #Conflicts: 632000 | #Constraints: 52435 1710.39/1715.59 c #Conflicts: 633000 | #Constraints: 53476 1710.39/1715.59 c #Conflicts: 634000 | #Constraints: 54524 1710.39/1715.59 c #Conflicts: 635000 | #Constraints: 55579 1710.39/1715.59 c #Conflicts: 636000 | #Constraints: 56622 1710.39/1715.59 c #Conflicts: 637000 | #Constraints: 57655 1710.39/1715.59 c #Conflicts: 638000 | #Constraints: 58713 1710.39/1715.59 c #Conflicts: 639000 | #Constraints: 59758 1710.39/1715.59 c #Conflicts: 640000 | #Constraints: 60788 1710.39/1715.59 c #Conflicts: 641000 | #Constraints: 61820 1710.39/1715.59 c #Conflicts: 642000 | #Constraints: 62855 1710.39/1715.59 c #Conflicts: 643000 | #Constraints: 63885 1710.39/1715.59 c #Conflicts: 644000 | #Constraints: 64908 1710.39/1715.59 c #Conflicts: 645000 | #Constraints: 65933 1710.39/1715.59 c #Conflicts: 646000 | #Constraints: 66994 1710.39/1715.59 c #Conflicts: 647000 | #Constraints: 68062 1710.39/1715.59 c #Conflicts: 648000 | #Constraints: 69116 1710.39/1715.59 c #Conflicts: 649000 | #Constraints: 70164 1710.39/1715.59 c #Conflicts: 650000 | #Constraints: 71200 1710.39/1715.59 c #Conflicts: 651000 | #Constraints: 72226 1710.39/1715.59 c #Conflicts: 652000 | #Constraints: 73250 1710.39/1715.59 c #Conflicts: 653000 | #Constraints: 74290 1710.39/1715.59 c #Conflicts: 654000 | #Constraints: 75323 1710.39/1715.59 c #Conflicts: 655000 | #Constraints: 76354 1710.39/1715.59 c #Conflicts: 656000 | #Constraints: 77395 1710.39/1715.59 c #Conflicts: 657000 | #Constraints: 78420 1710.39/1715.59 c #Conflicts: 658000 | #Constraints: 79445 1710.39/1715.59 c #Conflicts: 659000 | #Constraints: 80458 1710.39/1715.59 c #Conflicts: 660000 | #Constraints: 81476 1710.39/1715.59 c #Conflicts: 661000 | #Constraints: 82492 1710.39/1715.59 c #Conflicts: 662000 | #Constraints: 83506 1710.39/1715.59 c #Conflicts: 663000 | #Constraints: 84528 1710.39/1715.59 c #Conflicts: 664000 | #Constraints: 85552 1710.39/1715.59 c #Conflicts: 665000 | #Constraints: 86574 1710.39/1715.59 c #Conflicts: 666000 | #Constraints: 87587 1710.39/1715.59 c #Conflicts: 667000 | #Constraints: 88612 1710.39/1715.59 c #Conflicts: 668000 | #Constraints: 89638 1710.39/1715.59 c #Conflicts: 669000 | #Constraints: 90658 1710.39/1715.59 c #Conflicts: 670000 | #Constraints: 91682 1710.39/1715.59 c #Conflicts: 671000 | #Constraints: 92718 1710.39/1715.59 c INPROCESSING 1710.39/1715.59 c GARBAGE COLLECT 1710.39/1715.59 c rational objective 977.5 1816.41/1821.88 c #Conflicts: 672000 | #Constraints: 50718 1816.41/1821.88 c #Conflicts: 673000 | #Constraints: 51718 1816.41/1821.88 c #Conflicts: 674000 | #Constraints: 52718 1816.41/1821.88 c #Conflicts: 675000 | #Constraints: 53718 1816.41/1821.88 c #Conflicts: 676000 | #Constraints: 54718 1816.41/1821.88 c #Conflicts: 677000 | #Constraints: 55718 1816.41/1821.88 c #Conflicts: 678000 | #Constraints: 56719 1816.41/1821.88 c #Conflicts: 679000 | #Constraints: 57719 1816.41/1821.88 c #Conflicts: 680000 | #Constraints: 58719 1816.41/1821.88 c #Conflicts: 681000 | #Constraints: 59719 1816.41/1821.88 c #Conflicts: 682000 | #Constraints: 60719 1816.41/1821.88 c #Conflicts: 683000 | #Constraints: 61719 1816.41/1821.88 c #Conflicts: 684000 | #Constraints: 62719 1816.41/1821.88 c #Conflicts: 685000 | #Constraints: 63719 1816.41/1821.88 c #Conflicts: 686000 | #Constraints: 64719 1816.41/1821.88 c #Conflicts: 687000 | #Constraints: 65719 1816.41/1821.88 c #Conflicts: 688000 | #Constraints: 66719 1816.41/1821.88 c #Conflicts: 689000 | #Constraints: 67719 1816.41/1821.88 c #Conflicts: 690000 | #Constraints: 68719 1816.41/1821.88 c INPROCESSING 1816.41/1821.88 c GARBAGE COLLECT 1816.41/1821.88 c rational objective 977.5 1933.71/1939.44 c #Conflicts: 691000 | #Constraints: 38578 1933.71/1939.44 c #Conflicts: 692000 | #Constraints: 39578 1933.71/1939.44 c #Conflicts: 693000 | #Constraints: 40578 1933.71/1939.44 c #Conflicts: 694000 | #Constraints: 41578 1933.71/1939.44 c #Conflicts: 695000 | #Constraints: 42578 1933.71/1939.44 c #Conflicts: 696000 | #Constraints: 43578 1933.71/1939.44 c #Conflicts: 697000 | #Constraints: 44578 1933.71/1939.44 c #Conflicts: 698000 | #Constraints: 45578 1933.71/1939.44 c #Conflicts: 699000 | #Constraints: 46578 1933.71/1939.44 c #Conflicts: 700000 | #Constraints: 47578 1933.71/1939.44 c #Conflicts: 701000 | #Constraints: 48579 1933.71/1939.44 c #Conflicts: 702000 | #Constraints: 49579 1933.71/1939.44 c #Conflicts: 703000 | #Constraints: 50579 1933.71/1939.44 c #Conflicts: 704000 | #Constraints: 51579 1933.71/1939.44 c #Conflicts: 705000 | #Constraints: 52580 1933.71/1939.44 c #Conflicts: 706000 | #Constraints: 53580 1933.71/1939.44 c #Conflicts: 707000 | #Constraints: 54580 1933.71/1939.44 c #Conflicts: 708000 | #Constraints: 55580 1933.71/1939.44 c #Conflicts: 709000 | #Constraints: 56580 1933.71/1939.44 c #Conflicts: 710000 | #Constraints: 57580 1933.71/1939.44 c INPROCESSING 1933.71/1939.44 c GARBAGE COLLECT 1933.71/1939.44 c rational objective 977.5 2163.10/2169.43 c #Conflicts: 711000 | #Constraints: 36841 2163.10/2169.43 c #Conflicts: 712000 | #Constraints: 37916 2163.10/2169.43 c #Conflicts: 713000 | #Constraints: 38994 2163.10/2169.43 c #Conflicts: 714000 | #Constraints: 40057 2163.10/2169.43 c #Conflicts: 715000 | #Constraints: 41113 2163.10/2169.43 c #Conflicts: 716000 | #Constraints: 42147 2163.10/2169.43 c #Conflicts: 717000 | #Constraints: 43182 2163.10/2169.43 c #Conflicts: 718000 | #Constraints: 44205 2163.10/2169.43 c #Conflicts: 719000 | #Constraints: 45227 2163.10/2169.43 c #Conflicts: 720000 | #Constraints: 46269 2163.10/2169.43 c #Conflicts: 721000 | #Constraints: 47306 2163.10/2169.43 c #Conflicts: 722000 | #Constraints: 48339 2163.10/2169.43 c #Conflicts: 723000 | #Constraints: 49402 2163.10/2169.43 c #Conflicts: 724000 | #Constraints: 50457 2163.10/2169.43 c #Conflicts: 725000 | #Constraints: 51507 2163.10/2169.43 c #Conflicts: 726000 | #Constraints: 52554 2163.10/2169.43 c #Conflicts: 727000 | #Constraints: 53603 2163.10/2169.43 c #Conflicts: 728000 | #Constraints: 54642 2163.10/2169.43 c #Conflicts: 729000 | #Constraints: 55671 2163.10/2169.43 c #Conflicts: 730000 | #Constraints: 56708 2163.10/2169.43 c #Conflicts: 731000 | #Constraints: 57740 2163.10/2169.43 c #Conflicts: 732000 | #Constraints: 58771 2163.10/2169.43 c #Conflicts: 733000 | #Constraints: 59811 2163.10/2169.43 c #Conflicts: 734000 | #Constraints: 60837 2163.10/2169.43 c #Conflicts: 735000 | #Constraints: 61882 2163.10/2169.43 c #Conflicts: 736000 | #Constraints: 62917 2163.10/2169.43 c #Conflicts: 737000 | #Constraints: 63945 2163.10/2169.43 c #Conflicts: 738000 | #Constraints: 64964 2163.10/2169.43 c #Conflicts: 739000 | #Constraints: 65999 2163.10/2169.43 c #Conflicts: 740000 | #Constraints: 67025 2163.10/2169.43 c #Conflicts: 741000 | #Constraints: 68049 2163.10/2169.43 c #Conflicts: 742000 | #Constraints: 69079 2163.10/2169.43 c #Conflicts: 743000 | #Constraints: 70116 2163.10/2169.43 c #Conflicts: 744000 | #Constraints: 71139 2163.10/2169.43 c #Conflicts: 745000 | #Constraints: 72159 2163.10/2169.43 c #Conflicts: 746000 | #Constraints: 73172 2163.10/2169.43 c #Conflicts: 747000 | #Constraints: 74187 2163.10/2169.43 c #Conflicts: 748000 | #Constraints: 75230 2163.10/2169.43 c #Conflicts: 749000 | #Constraints: 76299 2163.10/2169.43 c #Conflicts: 750000 | #Constraints: 77345 2163.10/2169.43 c #Conflicts: 751000 | #Constraints: 78403 2163.10/2169.43 c #Conflicts: 752000 | #Constraints: 79437 2163.10/2169.43 c #Conflicts: 753000 | #Constraints: 80484 2163.10/2169.43 c #Conflicts: 754000 | #Constraints: 81525 2163.10/2169.43 c #Conflicts: 755000 | #Constraints: 82580 2163.10/2169.43 c #Conflicts: 756000 | #Constraints: 83617 2163.10/2169.43 c #Conflicts: 757000 | #Constraints: 84651 2163.10/2169.43 c #Conflicts: 758000 | #Constraints: 85687 2163.10/2169.43 c #Conflicts: 759000 | #Constraints: 86724 2163.10/2169.43 c #Conflicts: 760000 | #Constraints: 87761 2163.10/2169.43 c #Conflicts: 761000 | #Constraints: 88802 2163.10/2169.43 c #Conflicts: 762000 | #Constraints: 89849 2163.10/2169.43 c #Conflicts: 763000 | #Constraints: 90889 2163.10/2169.43 c #Conflicts: 764000 | #Constraints: 91938 2163.10/2169.43 c #Conflicts: 765000 | #Constraints: 92986 2163.10/2169.43 c #Conflicts: 766000 | #Constraints: 94024 2163.10/2169.43 c #Conflicts: 767000 | #Constraints: 95061 2163.10/2169.43 c #Conflicts: 768000 | #Constraints: 96109 2163.10/2169.43 c #Conflicts: 769000 | #Constraints: 97141 2163.10/2169.43 c #Conflicts: 770000 | #Constraints: 98182 2163.10/2169.43 c #Conflicts: 771000 | #Constraints: 99223 2163.10/2169.43 c #Conflicts: 772000 | #Constraints: 100256 2163.10/2169.43 c #Conflicts: 773000 | #Constraints: 101291 2163.10/2169.43 c #Conflicts: 774000 | #Constraints: 102323 2163.10/2169.43 c INPROCESSING 2163.10/2169.43 c GARBAGE COLLECT 2163.10/2169.43 c rational objective 977.5 2292.26/2298.95 c #Conflicts: 775000 | #Constraints: 55686 2292.26/2298.95 c #Conflicts: 776000 | #Constraints: 56686 2292.26/2298.95 c #Conflicts: 777000 | #Constraints: 57686 2292.26/2298.95 c #Conflicts: 778000 | #Constraints: 58686 2292.26/2298.95 c #Conflicts: 779000 | #Constraints: 59686 2292.26/2298.95 c #Conflicts: 780000 | #Constraints: 60686 2292.26/2298.95 c #Conflicts: 781000 | #Constraints: 61686 2292.26/2298.95 c #Conflicts: 782000 | #Constraints: 62686 2292.26/2298.95 c #Conflicts: 783000 | #Constraints: 63686 2292.26/2298.95 c #Conflicts: 784000 | #Constraints: 64686 2292.26/2298.95 c #Conflicts: 785000 | #Constraints: 65686 2292.26/2298.95 c #Conflicts: 786000 | #Constraints: 66686 2292.26/2298.95 c #Conflicts: 787000 | #Constraints: 67686 2292.26/2298.95 c #Conflicts: 788000 | #Constraints: 68686 2292.26/2298.95 c #Conflicts: 789000 | #Constraints: 69686 2292.26/2298.95 c #Conflicts: 790000 | #Constraints: 70686 2292.26/2298.95 c #Conflicts: 791000 | #Constraints: 71686 2292.26/2298.95 c #Conflicts: 792000 | #Constraints: 72686 2292.26/2298.95 c #Conflicts: 793000 | #Constraints: 73686 2292.26/2298.95 c #Conflicts: 794000 | #Constraints: 74686 2292.26/2298.95 c #Conflicts: 795000 | #Constraints: 75686 2292.26/2298.95 c INPROCESSING 2292.26/2298.95 c GARBAGE COLLECT 2292.26/2298.95 c rational objective 977.5 2441.66/2448.76 c #Conflicts: 796000 | #Constraints: 42523 2441.66/2448.76 c #Conflicts: 797000 | #Constraints: 43523 2441.66/2448.76 c #Conflicts: 798000 | #Constraints: 44523 2441.66/2448.76 c #Conflicts: 799000 | #Constraints: 45523 2441.66/2448.76 c #Conflicts: 800000 | #Constraints: 46523 2441.66/2448.76 c #Conflicts: 801000 | #Constraints: 47523 2441.66/2448.76 c #Conflicts: 802000 | #Constraints: 48523 2441.66/2448.76 c #Conflicts: 803000 | #Constraints: 49523 2441.66/2448.76 c #Conflicts: 804000 | #Constraints: 50523 2441.66/2448.76 c #Conflicts: 805000 | #Constraints: 51523 2441.66/2448.76 c #Conflicts: 806000 | #Constraints: 52523 2441.66/2448.76 c #Conflicts: 807000 | #Constraints: 53523 2441.66/2448.76 c #Conflicts: 808000 | #Constraints: 54523 2441.66/2448.76 c #Conflicts: 809000 | #Constraints: 55523 2441.66/2448.76 c #Conflicts: 810000 | #Constraints: 56523 2441.66/2448.76 c #Conflicts: 811000 | #Constraints: 57523 2441.66/2448.76 c #Conflicts: 812000 | #Constraints: 58523 2441.66/2448.76 c #Conflicts: 813000 | #Constraints: 59523 2441.66/2448.76 c #Conflicts: 814000 | #Constraints: 60523 2441.66/2448.76 c #Conflicts: 815000 | #Constraints: 61523 2441.66/2448.76 c #Conflicts: 816000 | #Constraints: 62523 2441.66/2448.76 c INPROCESSING 2441.66/2448.76 c GARBAGE COLLECT 2441.66/2448.76 c rational objective 977.5 2751.65/2759.58 c #Conflicts: 817000 | #Constraints: 41278 2751.65/2759.58 c #Conflicts: 818000 | #Constraints: 42362 2751.65/2759.58 c #Conflicts: 819000 | #Constraints: 43441 2751.65/2759.58 c #Conflicts: 820000 | #Constraints: 44484 2751.65/2759.58 c #Conflicts: 821000 | #Constraints: 45519 2751.65/2759.58 c #Conflicts: 822000 | #Constraints: 46574 2751.65/2759.58 c #Conflicts: 823000 | #Constraints: 47610 2751.65/2759.58 c #Conflicts: 824000 | #Constraints: 48641 2751.65/2759.58 c #Conflicts: 825000 | #Constraints: 49670 2751.65/2759.58 c #Conflicts: 826000 | #Constraints: 50751 2751.65/2759.58 c #Conflicts: 827000 | #Constraints: 51821 2751.65/2759.58 c #Conflicts: 828000 | #Constraints: 52870 2751.65/2759.58 c #Conflicts: 829000 | #Constraints: 53911 2751.65/2759.58 c #Conflicts: 830000 | #Constraints: 54946 2751.65/2759.58 c #Conflicts: 831000 | #Constraints: 55982 2751.65/2759.58 c #Conflicts: 832000 | #Constraints: 57038 2751.65/2759.58 c #Conflicts: 833000 | #Constraints: 58088 2751.65/2759.58 c #Conflicts: 834000 | #Constraints: 59159 2751.65/2759.58 c #Conflicts: 835000 | #Constraints: 60209 2751.65/2759.58 c #Conflicts: 836000 | #Constraints: 61238 2751.65/2759.58 c #Conflicts: 837000 | #Constraints: 62277 2751.65/2759.58 c #Conflicts: 838000 | #Constraints: 63326 2751.65/2759.58 c #Conflicts: 839000 | #Constraints: 64377 2751.65/2759.58 c #Conflicts: 840000 | #Constraints: 65426 2751.65/2759.58 c #Conflicts: 841000 | #Constraints: 66471 2751.65/2759.58 c #Conflicts: 842000 | #Constraints: 67503 2751.65/2759.58 c #Conflicts: 843000 | #Constraints: 68533 2751.65/2759.58 c #Conflicts: 844000 | #Constraints: 69558 2751.65/2759.58 c #Conflicts: 845000 | #Constraints: 70591 2751.65/2759.58 c #Conflicts: 846000 | #Constraints: 71630 2751.65/2759.58 c #Conflicts: 847000 | #Constraints: 72664 2751.65/2759.58 c #Conflicts: 848000 | #Constraints: 73681 2751.65/2759.58 c #Conflicts: 849000 | #Constraints: 74708 2751.65/2759.58 c #Conflicts: 850000 | #Constraints: 75759 2751.65/2759.58 c #Conflicts: 851000 | #Constraints: 76789 2751.65/2759.58 c #Conflicts: 852000 | #Constraints: 77814 2751.65/2759.58 c #Conflicts: 853000 | #Constraints: 78853 2751.65/2759.58 c #Conflicts: 854000 | #Constraints: 79889 2751.65/2759.58 c #Conflicts: 855000 | #Constraints: 80916 2751.65/2759.58 c #Conflicts: 856000 | #Constraints: 81944 2751.65/2759.58 c #Conflicts: 857000 | #Constraints: 82964 2751.65/2759.58 c #Conflicts: 858000 | #Constraints: 83987 2751.65/2759.58 c #Conflicts: 859000 | #Constraints: 85001 2751.65/2759.58 c #Conflicts: 860000 | #Constraints: 86018 2751.65/2759.58 c #Conflicts: 861000 | #Constraints: 87039 2751.65/2759.58 c #Conflicts: 862000 | #Constraints: 88057 2751.65/2759.58 c #Conflicts: 863000 | #Constraints: 89073 2751.65/2759.58 c #Conflicts: 864000 | #Constraints: 90081 2751.65/2759.58 c #Conflicts: 865000 | #Constraints: 91108 2751.65/2759.58 c #Conflicts: 866000 | #Constraints: 92130 2751.65/2759.58 c #Conflicts: 867000 | #Constraints: 93172 2751.65/2759.58 c #Conflicts: 868000 | #Constraints: 94216 2751.65/2759.58 c #Conflicts: 869000 | #Constraints: 95253 2751.65/2759.58 c #Conflicts: 870000 | #Constraints: 96276 2751.65/2759.58 c #Conflicts: 871000 | #Constraints: 97301 2751.65/2759.58 c #Conflicts: 872000 | #Constraints: 98339 2751.65/2759.58 c #Conflicts: 873000 | #Constraints: 99362 2751.65/2759.58 c #Conflicts: 874000 | #Constraints: 100390 2751.65/2759.58 c #Conflicts: 875000 | #Constraints: 101399 2751.65/2759.58 c #Conflicts: 876000 | #Constraints: 102417 2751.65/2759.58 c #Conflicts: 877000 | #Constraints: 103446 2751.65/2759.58 c #Conflicts: 878000 | #Constraints: 104461 2751.65/2759.58 c #Conflicts: 879000 | #Constraints: 105472 2751.65/2759.58 c #Conflicts: 880000 | #Constraints: 106486 2751.65/2759.58 c #Conflicts: 881000 | #Constraints: 107501 2751.65/2759.58 c #Conflicts: 882000 | #Constraints: 108518 2751.65/2759.58 c #Conflicts: 883000 | #Constraints: 109535 2751.65/2759.58 c #Conflicts: 884000 | #Constraints: 110555 2751.65/2759.58 c INPROCESSING 2751.65/2759.58 c GARBAGE COLLECT 2751.65/2759.58 c rational objective 977.5 2927.09/2935.48 c #Conflicts: 885000 | #Constraints: 59918 2927.09/2935.48 c #Conflicts: 886000 | #Constraints: 60918 2927.09/2935.48 c #Conflicts: 887000 | #Constraints: 61918 2927.09/2935.48 c #Conflicts: 888000 | #Constraints: 62918 2927.09/2935.48 c #Conflicts: 889000 | #Constraints: 63918 2927.09/2935.48 c #Conflicts: 890000 | #Constraints: 64918 2927.09/2935.48 c #Conflicts: 891000 | #Constraints: 65918 2927.09/2935.48 c #Conflicts: 892000 | #Constraints: 66918 2927.09/2935.48 c #Conflicts: 893000 | #Constraints: 67918 2927.09/2935.48 c #Conflicts: 894000 | #Constraints: 68918 2927.09/2935.48 c #Conflicts: 895000 | #Constraints: 69918 2927.09/2935.48 c #Conflicts: 896000 | #Constraints: 70918 2927.09/2935.48 c #Conflicts: 897000 | #Constraints: 71918 2927.09/2935.48 c #Conflicts: 898000 | #Constraints: 72918 2927.09/2935.48 c #Conflicts: 899000 | #Constraints: 73918 2927.09/2935.48 c #Conflicts: 900000 | #Constraints: 74918 2927.09/2935.48 c #Conflicts: 901000 | #Constraints: 75918 2927.09/2935.48 c #Conflicts: 902000 | #Constraints: 76918 2927.09/2935.48 c #Conflicts: 903000 | #Constraints: 77918 2927.09/2935.48 c #Conflicts: 904000 | #Constraints: 78918 2927.09/2935.48 c #Conflicts: 905000 | #Constraints: 79918 2927.09/2935.48 c #Conflicts: 906000 | #Constraints: 80918 2927.09/2935.48 c INPROCESSING 2927.09/2935.48 c GARBAGE COLLECT 2927.09/2935.48 c rational objective 977.5 3114.69/3123.52 c #Conflicts: 907000 | #Constraints: 44991 3114.69/3123.52 c #Conflicts: 908000 | #Constraints: 45991 3114.69/3123.52 c #Conflicts: 909000 | #Constraints: 46991 3114.69/3123.52 c #Conflicts: 910000 | #Constraints: 47991 3114.69/3123.52 c #Conflicts: 911000 | #Constraints: 48991 3114.69/3123.52 c #Conflicts: 912000 | #Constraints: 49991 3114.69/3123.52 c #Conflicts: 913000 | #Constraints: 50991 3114.69/3123.52 c #Conflicts: 914000 | #Constraints: 51991 3114.69/3123.52 c #Conflicts: 915000 | #Constraints: 52991 3114.69/3123.52 c #Conflicts: 916000 | #Constraints: 53991 3114.69/3123.52 c #Conflicts: 917000 | #Constraints: 54991 3114.69/3123.52 c #Conflicts: 918000 | #Constraints: 55991 3114.69/3123.52 c #Conflicts: 919000 | #Constraints: 56991 3114.69/3123.52 c #Conflicts: 920000 | #Constraints: 57992 3114.69/3123.52 c #Conflicts: 921000 | #Constraints: 58992 3114.69/3123.52 c #Conflicts: 922000 | #Constraints: 59992 3114.69/3123.52 c #Conflicts: 923000 | #Constraints: 60992 3114.69/3123.52 c #Conflicts: 924000 | #Constraints: 61992 3114.69/3123.52 c #Conflicts: 925000 | #Constraints: 62992 3114.69/3123.52 c #Conflicts: 926000 | #Constraints: 63992 3114.69/3123.52 c #Conflicts: 927000 | #Constraints: 64992 3114.69/3123.52 c #Conflicts: 928000 | #Constraints: 65992 3114.69/3123.52 c INPROCESSING 3114.69/3123.52 c GARBAGE COLLECT 3114.69/3123.52 c rational objective 977.5 3495.32/3505.19 c #Conflicts: 929000 | #Constraints: 44149 3495.32/3505.19 c #Conflicts: 930000 | #Constraints: 45191 3495.32/3505.19 c #Conflicts: 931000 | #Constraints: 46245 3495.32/3505.19 c #Conflicts: 932000 | #Constraints: 47344 3495.32/3505.19 c #Conflicts: 933000 | #Constraints: 48436 3495.32/3505.19 c #Conflicts: 934000 | #Constraints: 49495 3495.32/3505.19 c #Conflicts: 935000 | #Constraints: 50559 3495.32/3505.19 c #Conflicts: 936000 | #Constraints: 51594 3495.32/3505.19 c #Conflicts: 937000 | #Constraints: 52645 3495.32/3505.19 c #Conflicts: 938000 | #Constraints: 53694 3495.32/3505.19 c #Conflicts: 939000 | #Constraints: 54738 3495.32/3505.19 c #Conflicts: 940000 | #Constraints: 55763 3495.32/3505.19 c #Conflicts: 941000 | #Constraints: 56829 3495.32/3505.19 c #Conflicts: 942000 | #Constraints: 57878 3495.32/3505.19 c #Conflicts: 943000 | #Constraints: 58931 3495.32/3505.19 c #Conflicts: 944000 | #Constraints: 59964 3495.32/3505.19 c #Conflicts: 945000 | #Constraints: 61043 3495.32/3505.19 c #Conflicts: 946000 | #Constraints: 62071 3495.32/3505.19 c #Conflicts: 947000 | #Constraints: 63092 3495.32/3505.19 c #Conflicts: 948000 | #Constraints: 64132 3495.32/3505.19 c #Conflicts: 949000 | #Constraints: 65162 3495.32/3505.19 c #Conflicts: 950000 | #Constraints: 66197 3495.32/3505.19 c #Conflicts: 951000 | #Constraints: 67220 3495.32/3505.19 c #Conflicts: 952000 | #Constraints: 68235 3495.32/3505.19 c #Conflicts: 953000 | #Constraints: 69269 3495.32/3505.19 c #Conflicts: 954000 | #Constraints: 70323 3495.32/3505.19 c #Conflicts: 955000 | #Constraints: 71376 3495.32/3505.19 c #Conflicts: 956000 | #Constraints: 72420 3495.32/3505.19 c #Conflicts: 957000 | #Constraints: 73450 3495.32/3505.19 c #Conflicts: 958000 | #Constraints: 74481 3495.32/3505.19 c #Conflicts: 959000 | #Constraints: 75514 3495.32/3505.19 c #Conflicts: 960000 | #Constraints: 76548 3495.32/3505.19 c #Conflicts: 961000 | #Constraints: 77585 3495.32/3505.19 c #Conflicts: 962000 | #Constraints: 78605 3495.32/3505.19 c #Conflicts: 963000 | #Constraints: 79633 3495.32/3505.19 c #Conflicts: 964000 | #Constraints: 80669 3495.32/3505.19 c #Conflicts: 965000 | #Constraints: 81689 3495.32/3505.19 c #Conflicts: 966000 | #Constraints: 82720 3495.32/3505.19 c #Conflicts: 967000 | #Constraints: 83766 3495.32/3505.19 c #Conflicts: 968000 | #Constraints: 84786 3495.32/3505.20 c #Conflicts: 969000 | #Constraints: 85844 3495.32/3505.20 c #Conflicts: 970000 | #Constraints: 86876 3495.32/3505.20 c #Conflicts: 971000 | #Constraints: 87898 3495.32/3505.20 c #Conflicts: 972000 | #Constraints: 88916 3495.32/3505.20 c #Conflicts: 973000 | #Constraints: 89960 3495.32/3505.20 c #Conflicts: 974000 | #Constraints: 90993 3495.32/3505.20 c #Conflicts: 975000 | #Constraints: 92025 3495.32/3505.20 c #Conflicts: 976000 | #Constraints: 93057 3495.32/3505.20 c #Conflicts: 977000 | #Constraints: 94080 3495.32/3505.20 c #Conflicts: 978000 | #Constraints: 95111 3495.32/3505.20 c #Conflicts: 979000 | #Constraints: 96136 3495.32/3505.20 c #Conflicts: 980000 | #Constraints: 97184 3495.32/3505.20 c #Conflicts: 981000 | #Constraints: 98229 3495.32/3505.20 c #Conflicts: 982000 | #Constraints: 99274 3495.32/3505.20 c #Conflicts: 983000 | #Constraints: 100315 3495.32/3505.20 c #Conflicts: 984000 | #Constraints: 101352 3495.32/3505.20 c #Conflicts: 985000 | #Constraints: 102389 3495.32/3505.20 c #Conflicts: 986000 | #Constraints: 103446 3495.32/3505.20 c #Conflicts: 987000 | #Constraints: 104467 3495.32/3505.20 c #Conflicts: 988000 | #Constraints: 105529 3495.32/3505.20 c #Conflicts: 989000 | #Constraints: 106581 3495.32/3505.20 c #Conflicts: 990000 | #Constraints: 107607 3495.32/3505.20 c #Conflicts: 991000 | #Constraints: 108639 3495.32/3505.20 c #Conflicts: 992000 | #Constraints: 109665 3495.32/3505.20 c #Conflicts: 993000 | #Constraints: 110693 3495.32/3505.20 c #Conflicts: 994000 | #Constraints: 111721 3495.32/3505.20 c #Conflicts: 995000 | #Constraints: 112741 3495.32/3505.20 c #Conflicts: 996000 | #Constraints: 113758 3495.32/3505.20 c #Conflicts: 997000 | #Constraints: 114796 3495.32/3505.20 c #Conflicts: 998000 | #Constraints: 115816 3495.32/3505.20 c #Conflicts: 999000 | #Constraints: 116859 3495.32/3505.20 c #Conflicts: 1000000 | #Constraints: 117887 3495.32/3505.20 c #Conflicts: 1001000 | #Constraints: 118905 3495.32/3505.20 c INPROCESSING 3495.32/3505.20 c GARBAGE COLLECT 3495.32/3505.20 c rational objective 977.5 3600.04/3610.11 c #Conflicts: 1002000 | #Constraints: 64090 3600.04/3610.11 c #Conflicts: 1003000 | #Constraints: 65090 3600.04/3610.11 c #Conflicts: 1004000 | #Constraints: 66090 3600.04/3610.11 c #Conflicts: 1005000 | #Constraints: 67090 3600.04/3610.11 c #Conflicts: 1006000 | #Constraints: 68090 3600.04/3610.11 c #Conflicts: 1007000 | #Constraints: 69090 3600.04/3610.11 c #Conflicts: 1008000 | #Constraints: 70090 3600.04/3610.11 c #Conflicts: 1009000 | #Constraints: 71090 3600.04/3610.11 c #Conflicts: 1010000 | #Constraints: 72090 3600.04/3610.11 c #Conflicts: 1011000 | #Constraints: 73090 3600.04/3610.11 c #Conflicts: 1012000 | #Constraints: 74090 3600.04/3610.11 c #Conflicts: 1013000 | #Constraints: 75090 3600.04/3610.11 c Program interrupted by user. 3600.04/3610.11 c cpu time 3578.66 s 3600.04/3610.11 c deterministic time 372921358214 3.73e+11 3600.04/3610.11 c optimization time 104.344 s 3600.04/3610.11 c total solve time 3474.29 s 3600.04/3610.11 c core-guided solve time 1653.44 s 3600.04/3610.11 c propagation time 3178.3 s 3600.04/3610.11 c conflict analysis time 363.953 s 3600.04/3610.11 c propagations 198775941 3600.04/3610.11 c resolve steps 9544715 3600.04/3610.11 c decisions 7200501 3600.04/3610.11 c conflicts 1013837 3600.04/3610.11 c restarts 2045 3600.04/3610.11 c inprocessing phases 55 3600.04/3610.11 c input clauses 5197 3600.04/3610.11 c input cardinalities 1174 3600.04/3610.11 c input general constraints 674 3600.04/3610.11 c input average constraint length 51.66 3600.04/3610.11 c input average constraint degree 22.35 3600.04/3610.11 c learned clauses 331444 3600.04/3610.11 c learned cardinalities 146011 3600.04/3610.11 c learned general constraints 559002 3600.04/3610.11 c learned average constraint length 318.41 3600.04/3610.11 c learned average constraint degree 531855904.43 3600.04/3610.11 c watched constraints 491970 3600.04/3610.11 c counting constraints 67706 3600.04/3610.11 c gcd simplifications 61008 3600.04/3610.11 c detected cardinalities 19009 3600.04/3610.11 c weakened non-implied lits 30484517 3600.04/3610.11 c weakened non-implying lits 48748 3600.04/3610.11 c original variables 1963 3600.04/3610.11 c clausal propagations 76032450 3600.04/3610.11 c cardinality propagations 21419903 3600.04/3610.11 c watched propagations 29907532 3600.04/3610.11 c counting propagations 60086338 3600.04/3610.11 c watch lookups 49982755681 3600.04/3610.11 c watch backjump lookups 38926919015 3600.04/3610.11 c watch checks 269886681485 3600.04/3610.11 c propagation checks 12950067437 3600.04/3610.11 c constraint additions 760930093 3600.04/3610.11 c trail pops 206967099 3600.04/3610.11 c formula constraints 4000 3600.04/3610.11 c learned constraints 991519 3600.04/3610.11 c bound constraints 173 3600.04/3610.11 c core-guided constraints 2872 3600.04/3610.11 c encountered formula constraints 3998924 3600.04/3610.11 c encountered learned constraints 5028571 3600.04/3610.11 c encountered bound constraints 173 3600.04/3610.11 c encountered core-guided constraints 960111 3600.04/3610.11 c LP total time 97.3561 s 3600.04/3610.11 c LP solve time 76.36 s 3600.04/3610.11 c LP constraints added 4000 3600.04/3610.11 c LP constraints removed 0 3600.04/3610.11 c LP pivots internal 1013909 3600.04/3610.11 c LP pivots root 47052 3600.04/3610.11 c LP calls 25869 3600.04/3610.11 c LP optimalities 3397 3600.04/3610.11 c LP no pivot count 1442 3600.04/3610.11 c LP infeasibilities 22469 3600.04/3610.11 c LP valid Farkas constraints 22469 3600.04/3610.11 c LP learned Farkas constraints 22469 3600.04/3610.11 c LP basis resets 0 3600.04/3610.11 c LP cycling count 0 3600.04/3610.11 c LP singular count 0 3600.04/3610.11 c LP no primal count 0 3600.04/3610.11 c LP no farkas count 0 3600.04/3610.11 c LP other issue count 0 3600.04/3610.11 c LP Gomory cuts 0 3600.04/3610.11 c LP learned cuts 0 3600.04/3610.11 c LP deleted cuts 0 3600.04/3610.11 c LP encountered Gomory constraints 0 3600.04/3610.11 c LP encountered Farkas constraints 387978 3600.04/3610.11 c LP encountered learned Farkas constraints 160326 3600.04/3610.11 c CG auxiliary variables introduced 1291 3600.04/3610.11 c CG solutions found 173 3600.04/3610.11 c CG cores constructed 1001 3600.04/3610.11 c CG core cardinality constraints returned 0 3600.04/3610.11 c CG unit cores 0 3600.04/3610.11 c CG single cores 1001 3600.04/3610.11 c CG blocks removed during cardinality reduction 0 3600.04/3610.11 c CG first core best 0 3600.04/3610.11 c CG decision core best 0 3600.04/3610.11 c CG core reduction tie 0 3600.04/3610.11 c CG core degree average 1.00 3600.04/3610.11 c CG core slack average 1.99 3600.04/3610.11 s SATISFIABLE 3600.04/3610.11 v x1 -x2 -x3 x4 x5 x6 -x7 -x8 x9 x10 -x11 -x12 x13 x14 x15 -x16 x17 x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 x27 x28 -x29 x30 x31 x32 x33 x34 -x35 x36 -x37 -x38 x39 -x40 -x41 x42 -x43 x44 x45 x46 -x47 -x48 -x49 x50 x51 -x52 -x53 x54 -x55 -x56 -x57 x58 x59 -x60 x61 -x62 -x63 x64 x65 -x66 x67 -x68 -x69 -x70 x71 x72 x73 x74 x75 x76 -x77 -x78 -x79 x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 x88 x89 x90 x91 -x92 x93 x94 x95 x96 x97 x98 x99 x100 -x101 x102 -x103 x104 -x105 -x106 -x107 x108 -x109 x110 x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 x121 -x122 x123 x124 -x125 -x126 x127 -x128 -x129 -x130 x131 -x132 x133 -x134 -x135 x136 x137 x138 -x139 -x140 -x141 x142 -x143 -x144 x145 -x146 x147 x148 -x149 x150 x151 x152 x153 x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 x172 x173 -x174 -x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 x204 -x205 -x206 x207 -x208 x209 -x210 -x211 x212 x213 -x214 x215 -x216 -x217 x218 -x219 -x220 x221 -x222 -x223 x224 -x225 x226 -x227 x228 -x229 -x230 -x231 x232 -x233 x234 -x235 x236 -x237 -x238 -x239 x240 -x241 -x242 x243 -x244 -x245 x246 x247 -x248 x249 x250 -x251 -x252 x253 -x254 x255 x256 x257 x258 x259 x260 x261 -x262 x263 -x264 x265 x266 x267 x268 -x269 x270 x271 -x272 -x273 x274 x275 x276 x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 x290 x291 -x292 -x293 x294 -x295 x296 x297 x298 x299 x300 x301 -x302 -x303 -x304 x305 x306 -x307 x308 -x309 x310 -x311 x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 x325 -x326 -x327 -x328 x329 x330 x331 x332 x333 -x334 x335 -x336 x337 x338 x339 -x340 x341 -x342 x343 x344 x345 x346 x347 x348 x349 -x350 x351 x352 x353 -x354 x355 x356 x357 x358 x359 -x360 -x361 x362 x363 x364 -x365 -x366 x367 -x368 x369 x370 x371 -x372 x373 x374 x375 -x376 -x377 x378 -x379 x380 x381 x382 -x383 x384 x385 x386 -x387 -x388 x389 -x390 x391 -x392 x393 -x394 -x395 -x396 x397 -x398 x399 -x400 x401 -x402 x403 -x404 x405 x406 x407 x408 -x409 -x410 x411 x412 x413 -x414 -x415 -x416 x417 x418 -x419 x420 -x421 x422 -x423 x424 x425 x426 -x427 x428 x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 x449 -x450 -x451 x452 x453 -x454 x455 -x456 -x457 -x458 x459 -x460 x461 x462 x463 -x464 x465 x466 x467 x468 -x469 x470 x471 -x472 x473 -x474 x475 -x476 -x477 x478 x479 x480 -x481 -x482 x483 x484 x485 x486 x487 -x488 x489 -x490 -x491 -x492 -x493 x494 -x495 x496 x497 x498 -x499 x500 -x501 x502 -x503 -x504 -x505 x506 x507 x508 -x509 x510 -x511 -x512 -x513 x514 x515 x516 x517 x518 x519 x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 x529 x530 -x531 -x532 x533 x534 -x535 x536 x537 x538 -x539 -x540 x541 -x542 x543 x544 -x545 -x546 -x547 x548 x549 x550 x551 -x552 x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 x564 -x565 -x566 -x567 x568 -x569 x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 x585 -x586 x587 x588 -x589 -x590 -x591 x592 x593 x594 x595 -x596 -x597 -x598 x599 -x600 x601 -x602 -x603 x604 x605 x606 -x607 x608 x609 x610 -x611 -x612 -x613 -x614 x615 -x616 x617 x618 x619 x620 x621 x622 -x623 -x624 -x625 -x626 x627 x628 x629 -x630 -x631 -x632 x633 -x634 x635 -x636 -x637 -x638 x639 x640 x641 x642 x643 -x644 -x645 -x646 x647 x648 x649 -x650 -x651 -x652 x653 x654 x655 -x656 x657 x658 x659 x660 -x661 x662 -x663 -x664 x665 x666 x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 x677 -x678 -x679 x680 -x681 -x682 -x683 x684 -x685 x686 x687 x688 x689 -x690 -x691 -x692 -x693 x694 x695 x696 -x697 -x698 x699 -x700 -x701 x702 -x703 x704 x705 x706 -x707 x708 x709 -x710 x711 -x712 x713 x714 x715 -x716 -x717 -x718 x719 -x720 -x721 x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 x730 -x731 -x732 x733 -x734 x735 x736 x737 x738 x739 -x740 x741 x742 x743 x744 -x745 -x746 x747 -x748 -x749 x750 -x751 -x752 x753 -x754 x755 x756 -x757 x758 -x759 x760 -x761 x762 x763 x764 -x765 -x766 x767 -x768 x769 -x770 x771 -x772 -x773 -x774 x775 -x776 x777 -x778 x779 -x780 x781 x782 x783 -x784 x785 x786 -x787 x788 x789 x790 x791 x792 -x793 -x794 -x795 x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 x804 x805 x806 x807 x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 x818 -x819 x820 -x821 x822 x823 x824 x825 -x826 -x827 -x828 x829 -x830 x831 x832 x833 -x834 -x835 -x836 x837 -x838 -x839 x840 -x841 -x842 x843 x844 x845 -x846 x847 -x848 x849 -x850 x851 x852 x853 -x854 x855 -x856 -x857 x858 x859 x860 -x861 x862 x863 -x864 x865 -x866 x867 -x868 -x869 -x870 -x871 x872 -x873 x874 x875 -x876 x877 x878 -x879 -x880 x881 -x882 x883 -x884 x885 -x886 -x887 -x888 x889 x890 x891 x892 x893 -x894 -x895 x896 x897 -x898 -x899 x900 x901 -x902 x903 -x904 -x905 -x906 x907 x908 -x909 x910 -x911 -x912 x913 x914 x915 -x916 -x917 -x918 -x919 x920 x921 x922 -x923 -x924 x925 -x926 x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 x935 x936 x937 -x938 -x939 -x940 x941 -x942 x943 x944 x945 x946 -x947 x948 x949 x950 x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 -x963 x964 x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 x973 x974 -x975 x976 x977 x978 x979 x980 -x981 x982 x983 -x984 x985 -x986 -x987 x988 -x989 x990 x991 x992 x993 x994 -x995 -x996 x997 x998 -x999 x1000 x1001 x1002 -x1003 x1004 x1005 x1006 x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 x1015 x1016 x1017 x1018 x1019 x1020 -x1021 x1022 x1023 -x1024 x1025 -x1026 -x1027 x1028 x1029 -x1030 x1031 -x1032 x1033 x1034 x1035 -x1036 -x1037 -x1038 -x1039 x1040 x1041 x1042 x1043 x1044 x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 x1055 x1056 -x1057 x1058 x1059 -x1060 x1061 x1062 -x1063 -x1064 x1065 -x1066 x1067 x1068 -x1069 x1070 x1071 x1072 x1073 -x1074 -x1075 -x1076 x1077 x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 -x1092 x1093 x1094 x1095 x1096 -x1097 -x1098 -x1099 -x1100 x1101 x1102 -x1103 x1104 x1105 -x1106 x1107 -x1108 x1109 -x1110 x1111 -x1112 -x1113 x1114 x1115 -x1116 x1117 x1118 x1119 x1120 -x1121 x1122 x1123 x1124 x1125 -x1126 x1127 -x1128 x1129 x1130 -x1131 x1132 x1133 -x1134 x1135 x1136 x1137 -x1138 -x1139 x1140 -x1141 -x1142 x1143 x1144 -x1145 x1146 x1147 -x1148 x1149 -x1150 -x1151 x1152 -x1153 x1154 x1155 -x1156 x1157 x1158 -x1159 x1160 -x1161 x1162 x1163 -x1164 x1165 -x1166 x1167 x1168 -x1169 x1170 x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 x1178 x1179 -x1180 -x1181 -x1182 x1183 x1184 x1185 -x1186 -x1187 -x1188 x1189 x1190 -x1191 x1192 -x1193 x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 x1201 -x1202 x1203 -x1204 x1205 -x1206 -x1207 x1208 x1209 x1210 x1211 x1212 x1213 x1214 x1215 -x1216 x1217 x1218 -x1219 -x1220 -x1221 x1222 x1223 x1224 x1225 x1226 x1227 -x1228 x1229 -x1230 x1231 x1232 x1233 x1234 -x1235 -x1236 -x1237 x1238 x1239 -x1240 -x1241 x1242 -x1243 -x1244 x1245 x1246 x1247 -x1248 x1249 -x1250 x1251 x1252 -x1253 x1254 x1255 x1256 x1257 -x1258 x1259 x1260 x1261 x1262 -x1263 x1264 x1265 x1266 -x1267 -x1268 x1269 x1270 x1271 x1272 -x1273 x1274 x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 x1288 -x1289 x1290 x1291 x1292 x1293 -x1294 x1295 x1296 x1297 -x1298 x1299 x1300 x1301 -x1302 x1303 x1304 -x1305 -x1306 x1307 -x1308 x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 x1320 -x1321 x1322 x1323 x1324 -x1325 x1326 -x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 x1339 -x1340 -x1341 x1342 -x1343 x1344 -x1345 x1346 -x1347 x1348 -x1349 -x1350 x1351 -x1352 x1353 -x1354 -x1355 x1356 x1357 -x1358 -x1359 x1360 -x1361 x1362 x1363 x1364 x1365 x1366 -x1367 x1368 x1369 x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 x1379 x1380 -x1381 x1382 -x1383 -x1384 x1385 -x1386 -x1387 x1388 x1389 x1390 x1391 -x1392 x1393 x1394 x1395 -x1396 -x1397 x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 x1409 -x1410 x1411 -x1412 x1413 -x1414 -x1415 -x1416 x1417 x1418 -x1419 x1420 -x1421 x1422 -x1423 -x1424 x1425 x1426 -x1427 x1428 x1429 -x1430 x1431 x1432 -x1433 x1434 x1435 x1436 -x1437 -x1438 x1439 x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 x1447 -x1448 -x1449 x1450 x1451 -x1452 x1453 -x1454 -x1455 x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 x1467 x1468 x1469 x1470 -x1471 x1472 x1473 x1474 x1475 -x1476 x1477 x1478 x1479 x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 x1488 -x1489 -x1490 -x1491 x1492 x1493 x1494 -x1495 x1496 x1497 x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 -x1516 x1517 x1518 x1519 -x1520 x1521 -x1522 x1523 -x1524 x1525 -x1526 -x1527 x1528 x1529 x1530 -x1531 x1532 x1533 x1534 x1535 x1536 x1537 -x1538 x1539 x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 x1548 -x1549 -x1550 x1551 x1552 x1553 x1554 x1555 x1556 x1557 -x1558 -x1559 x1560 -x1561 x1562 x1563 -x1564 -x1565 x1566 -x1567 x1568 x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 x1576 x1577 x1578 x1579 -x1580 x1581 x1582 -x1583 x1584 -x1585 x1586 x1587 x1588 x1589 x1590 -x1591 -x1592 x1593 -x1594 x1595 -x1596 x1597 x1598 x1599 -x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 x1617 -x1618 x1619 x1620 -x1621 x1622 x1623 x1624 x1625 x1626 -x1627 x1628 x1629 x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 x1640 x1641 x1642 x1643 -x1644 x1645 x1646 -x1647 -x1648 x1649 x1650 -x1651 x1652 -x1653 x1654 -x1655 x1656 -x1657 x1658 x1659 x1660 -x1661 -x1662 x1663 -x1664 x1665 x1666 -x1667 -x1668 x1669 -x1670 -x1671 x1672 -x1673 x1674 x1675 -x1676 -x1677 x1678 x1679 -x1680 x1681 -x1682 x1683 x1684 x1685 -x1686 x1687 x1688 x1689 x1690 x1691 x1692 -x1693 x1694 -x1695 x1696 -x1697 x1698 x1699 x1700 x1701 -x1702 -x1703 x1704 x1705 -x1706 -x1707 -x1708 x1709 -x1710 x1711 x1712 -x1713 -x1714 x1715 x1716 -x1717 -x1718 -x1719 -x1720 x1721 x1722 -x1723 -x1724 x1725 -x1726 -x1727 x1728 -x1729 x1730 x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 x1739 x1740 x1741 x1742 x1743 -x1744 -x1745 x1746 x1747 -x1748 x1749 -x1750 -x1751 x1752 -x1753 x1754 -x1755 -x1756 x1757 -x1758 x1759 -x1760 -x1761 x1762 x1763 -x1764 -x1765 x1766 x1767 x1768 x1769 x1770 -x1771 -x1772 -x1773 x1774 x1775 -x1776 x1777 x1778 x1779 x1780 -x1781 x1782 -x1783 x1784 x1785 x1786 -x1787 x1788 -x1789 x1790 x1791 x1792 x1793 x1794 -x1795 -x1796 x1797 -x1798 x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 x1806 x1807 x1808 x1809 -x1810 x1811 x1812 x1813 x1814 -x1815 x1816 x1817 -x1818 x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 x1826 x1827 -x1828 x1829 -x1830 x1831 -x1832 -x1833 x1834 x1835 -x1836 x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 x1844 x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 x1854 x1855 -x1856 -x1857 x1858 x1859 -x1860 x1861 -x1862 -x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 x1871 x1872 x1873 x1874 x1875 x1876 -x1877 x1878 -x1879 x1880 x1881 x1882 x1883 -x1884 -x1885 x1886 x1887 x1888 -x1889 x1890 x1891 -x1892 -x1893 x1894 -x1895 x1896 x1897 x1898 x1899 x1900 -x1901 -x1902 x1903 x1904 x1905 x1906 -x1907 -x1908 -x1909 -x1910 x1911 x1912 x1913 -x1914 x1915 -x1916 x1917 x1918 x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 x1927 -x1928 x1929 -x1930 -x1931 -x1932 x1933 -x1934 x1935 x1936 x1937 -x1938 -x1939 x1940 -x1941 x1942 x1943 x1944 x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 -x1956 -x1957 x1958 x1959 x1960 x1961 x1962 x1963
OK 1038
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63536 MiB free)
memory of node 1: 64510 MiB (64043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462566-1722340764/watcher-4462566-1722340764 -o /tmp/evaluation-result-4462566-1722340764/solver-4462566-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6449 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462566-1722340764 --lp-cut-gomory=0 HOME/instance-4462566-1722340764.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6492, runsolver pid=6487
[startup+0.100097 s]*
/proc/loadavg: 0.10 0.09 0.09 1/241 6512
/proc/meminfo: memFree=130639280/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=37376 memory=2564 CPUtime=0 cores=4,6
/proc/6492/stat : 6492 (roundingsat) D 6487 6492 6438 0 -1 1078198272 221 0 1 0 0 0 0 0 20 0 1 0 447151 38273024 641 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.214886 s]*
/proc/loadavg: 0.10 0.09 0.09 2/241 6512
/proc/meminfo: memFree=130638668/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=37376 memory=2564 CPUtime=0 cores=4,6
/proc/6492/stat : 6492 (roundingsat) D 6487 6492 6438 0 -1 1078198272 221 0 1 0 0 0 0 0 20 0 1 0 447151 38273024 641 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.312705 s]*
/proc/loadavg: 0.10 0.09 0.09 1/241 6512
/proc/meminfo: memFree=130638276/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=37376 memory=2564 CPUtime=0 cores=4,6
/proc/6492/stat : 6492 (roundingsat) D 6487 6492 6438 0 -1 1078198272 221 0 1 0 0 0 0 0 20 0 1 0 447151 38273024 641 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.700262 s]
/proc/loadavg: 0.10 0.09 0.09 6/241 6512
/proc/meminfo: memFree=130619232/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=42416 memory=12924 CPUtime=0.32 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 1812 0 1 0 27 5 0 0 20 0 1 0 447151 43433984 3231 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 10604 3231 1806 992 0 2462 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 42416 KiB
Current children cumulated memory: 12924 KiB
[startup+1.50032 s]
/proc/loadavg: 0.10 0.09 0.09 5/241 6512
/proc/meminfo: memFree=130605148/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=52388 memory=24644 CPUtime=1.11 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 4277 0 1 0 87 24 0 0 20 0 1 0 447151 53645312 6161 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 13097 6161 1806 992 0 4955 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 52388 KiB
Current children cumulated memory: 24644 KiB
[startup+3.11313 s]
/proc/loadavg: 0.10 0.09 0.09 5/241 6512
/proc/meminfo: memFree=130425032/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=73100 memory=41592 CPUtime=2.72 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 7914 0 1 0 238 34 0 0 20 0 1 0 447151 74854400 10398 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 18275 10398 1887 992 0 10133 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 73100 KiB
Current children cumulated memory: 41592 KiB
[startup+6.30029 s]
/proc/loadavg: 0.42 0.15 0.11 6/242 6513
/proc/meminfo: memFree=130131140/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=88336 memory=58340 CPUtime=5.9 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 11070 0 1 0 544 46 0 0 20 0 1 0 447151 90456064 14585 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 22084 14585 1887 992 0 13942 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 88336 KiB
Current children cumulated memory: 58340 KiB
[startup+12.7003 s]
/proc/loadavg: 0.70 0.22 0.13 5/244 6517
/proc/meminfo: memFree=129571664/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=108204 memory=77780 CPUtime=12.28 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 13880 0 1 0 1160 68 0 0 20 0 1 0 447151 110800896 19445 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 27051 19445 1887 992 0 18909 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 108204 KiB
Current children cumulated memory: 77780 KiB
[startup+25.5003 s]
/proc/loadavg: 1.43 0.40 0.20 5/244 6518
/proc/meminfo: memFree=128442836/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=136428 memory=95688 CPUtime=25.04 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 16848 0 1 0 2405 99 0 0 20 0 1 0 447151 139702272 23922 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 34107 23922 1887 992 0 25965 0
Current children cumulated CPU time: 25.04 s
Current children cumulated vsize: 136428 KiB
Current children cumulated memory: 95688 KiB
[startup+51.1138 s]
/proc/loadavg: 2.53 0.74 0.31 6/248 6529
/proc/meminfo: memFree=126319492/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=168476 memory=123376 CPUtime=50.57 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 22274 0 1 0 4897 160 0 0 20 0 1 0 447151 172519424 30844 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 42119 30844 1887 992 0 33977 0
Current children cumulated CPU time: 50.57 s
Current children cumulated vsize: 168476 KiB
Current children cumulated memory: 123376 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.28 0.52 5/248 6548
/proc/meminfo: memFree=122339800/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=294712 memory=205536 CPUtime=101.59 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 33651 0 1 0 9968 191 0 0 20 0 1 0 447151 301785088 51384 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 73678 51384 1887 992 0 65536 0
Current children cumulated CPU time: 101.59 s
Current children cumulated vsize: 294712 KiB
Current children cumulated memory: 205536 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 1.88 0.78 5/248 6558
/proc/meminfo: memFree=117832896/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=314328 memory=248440 CPUtime=161.38 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 38389 0 1 0 15846 292 0 0 20 0 1 0 447151 321871872 62110 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 78582 62110 1887 992 0 70440 0
Current children cumulated CPU time: 161.38 s
Current children cumulated vsize: 314328 KiB
Current children cumulated memory: 248440 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 2.30 0.99 5/246 6569
/proc/meminfo: memFree=113417948/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=325464 memory=274616 CPUtime=221.18 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 40816 0 1 0 21769 349 0 0 20 0 1 0 447151 333275136 68654 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 81366 68654 1887 992 0 73224 0
Current children cumulated CPU time: 221.18 s
Current children cumulated vsize: 325464 KiB
Current children cumulated memory: 274616 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 2.64 1.19 5/247 6581
/proc/meminfo: memFree=109161700/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=335664 memory=282140 CPUtime=281.02 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 42748 0 1 0 27691 411 0 0 20 0 1 0 447151 343719936 70535 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 83916 70535 1887 992 0 75774 0
Current children cumulated CPU time: 281.02 s
Current children cumulated vsize: 335664 KiB
Current children cumulated memory: 282140 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 2.94 1.39 5/250 6595
/proc/meminfo: memFree=104763460/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=338644 memory=284676 CPUtime=340.87 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 43494 0 1 0 33607 480 0 0 20 0 1 0 447151 346771456 71169 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 84661 71169 1887 992 0 76519 0
Current children cumulated CPU time: 340.87 s
Current children cumulated vsize: 338644 KiB
Current children cumulated memory: 284676 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.18 1.57 5/251 6611
/proc/meminfo: memFree=100475892/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=350172 memory=292816 CPUtime=400.72 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 45689 0 1 0 39553 519 0 0 20 0 1 0 447151 358576128 73204 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 87543 73204 1887 992 0 79401 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 350172 KiB
Current children cumulated memory: 292816 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 3.39 1.75 5/251 6621
/proc/meminfo: memFree=96149344/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=355804 memory=297356 CPUtime=460.54 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 47271 0 1 0 45483 571 0 0 20 0 1 0 447151 364343296 74339 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 88951 74339 1887 992 0 80809 0
################
# More data... #
################
Current children cumulated memory: 459640 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.18 4.04 5/257 7722
/proc/meminfo: memFree=16820172/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=569772 memory=459640 CPUtime=2854.19 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 80458 0 1 0 283557 1862 0 0 20 0 1 0 447151 583446528 114910 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 142443 114910 1887 992 0 134301 0
Current children cumulated CPU time: 2854.19 s
Current children cumulated vsize: 569772 KiB
Current children cumulated memory: 459640 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.16 4.04 5/256 7732
/proc/meminfo: memFree=16711548/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=569772 memory=459640 CPUtime=2914.02 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 80575 0 1 0 289520 1882 0 0 20 0 1 0 447151 583446528 114910 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 142443 114910 1887 992 0 134301 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 569772 KiB
Current children cumulated memory: 459640 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.14 4.04 5/250 7742
/proc/meminfo: memFree=10974916/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=569124 memory=459176 CPUtime=2973.87 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 80950 0 1 0 295477 1910 0 0 20 0 1 0 447151 582782976 114794 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 142281 114794 1887 992 0 134139 0
Current children cumulated CPU time: 2973.87 s
Current children cumulated vsize: 569124 KiB
Current children cumulated memory: 459176 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.17 4.06 5/259 7767
/proc/meminfo: memFree=9443820/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=569124 memory=459176 CPUtime=3033.71 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 81065 0 1 0 301435 1936 0 0 20 0 1 0 447151 582782976 114794 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 142281 114794 1887 992 0 134139 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 569124 KiB
Current children cumulated memory: 459176 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.05 5/260 7778
/proc/meminfo: memFree=8054368/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=572196 memory=460432 CPUtime=3093.54 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 81556 0 1 0 307396 1958 0 0 20 0 1 0 447151 585928704 115108 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 143049 115108 1887 992 0 134907 0
Current children cumulated CPU time: 3093.54 s
Current children cumulated vsize: 572196 KiB
Current children cumulated memory: 460432 KiB
[startup+3162.3 s]
/proc/loadavg: 4.64 4.27 4.10 5/265 7793
/proc/meminfo: memFree=6557140/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=573988 memory=461800 CPUtime=3153.4 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 82254 0 1 0 313338 2002 0 0 20 0 1 0 447151 587763712 115450 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 143497 115450 1887 992 0 135355 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 573988 KiB
Current children cumulated memory: 461800 KiB
[startup+3222.3 s]
/proc/loadavg: 4.59 4.34 4.14 5/265 7804
/proc/meminfo: memFree=5396576/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=576804 memory=463252 CPUtime=3213.24 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 82790 0 1 0 319299 2025 0 0 20 0 1 0 447151 590647296 115813 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 144201 115813 1887 992 0 136059 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 576804 KiB
Current children cumulated memory: 463252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.66 4.39 4.17 5/263 7815
/proc/meminfo: memFree=4597580/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=579620 memory=465432 CPUtime=3273.09 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 83453 0 1 0 325266 2043 0 0 20 0 1 0 447151 593530880 116358 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 144905 116358 1887 992 0 136763 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 579620 KiB
Current children cumulated memory: 465432 KiB
[startup+3342.3 s]
/proc/loadavg: 4.72 4.47 4.21 5/258 7825
/proc/meminfo: memFree=4221972/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=583332 memory=468124 CPUtime=3332.93 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 84235 0 1 0 331235 2058 0 0 20 0 1 0 447151 597331968 117031 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 145833 117031 1887 992 0 137691 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 583332 KiB
Current children cumulated memory: 468124 KiB
[startup+3402.3 s]
/proc/loadavg: 4.48 4.43 4.21 5/259 8221
/proc/meminfo: memFree=3565008/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=588452 memory=482336 CPUtime=3392.78 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 85347 0 1 0 337204 2074 0 0 20 0 1 0 447151 602574848 120584 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 147113 120584 1887 992 0 138971 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 588452 KiB
Current children cumulated memory: 482336 KiB
[startup+3462.3 s]
/proc/loadavg: 4.66 4.48 4.24 5/253 8231
/proc/meminfo: memFree=3112284/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=590628 memory=496720 CPUtime=3452.62 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 85996 0 1 0 343172 2090 0 0 20 0 1 0 447151 604803072 124180 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 147657 124180 1887 992 0 139515 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 590628 KiB
Current children cumulated memory: 496720 KiB
[startup+3522.3 s]
/proc/loadavg: 4.51 4.49 4.26 5/247 8411
/proc/meminfo: memFree=2421348/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=593140 memory=509244 CPUtime=3512.47 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 86998 0 1 0 349138 2109 0 0 20 0 1 0 447151 607375360 127311 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 148285 127311 1887 992 0 140143 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 593140 KiB
Current children cumulated memory: 509244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.41 4.25 5/248 8422
/proc/meminfo: memFree=1896880/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=593140 memory=509244 CPUtime=3572.3 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 87113 0 1 0 355102 2128 0 0 20 0 1 0 447151 607375360 127311 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 148285 127311 1887 992 0 140143 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 593140 KiB
Current children cumulated memory: 509244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.1 s]*
/proc/loadavg: 4.21 4.40 4.25 4/246 8436
/proc/meminfo: memFree=20712340/131655788 swapFree=131071996/131071996
[pid=6492] ppid=6487 vsize=593140 memory=509244 CPUtime=3600.04 cores=4,6
/proc/6492/stat : 6492 (roundingsat) R 6487 6492 6438 0 -1 4194304 87113 0 1 0 357865 2139 0 0 20 0 1 0 447151 607375360 127311 134679101440 4194304 8255733 140734984158016 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24195072 140734984160098 140734984160360 140734984160360 140734984167369 0
/proc/6492/statm: 148285 127311 1887 992 0 140143 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 593140 KiB
Current children cumulated memory: 509244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.18 s]
# the end of solver process 6492 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.67 s, system=21.4029 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.18
CPU time (s): 3600.07
CPU user time (s): 3578.67
CPU system time (s): 21.4029
CPU usage (%): 99.7199
Max. virtual memory (cumulated for all children) (KiB): 594648
Max. memory (cumulated for all children) (KiB): 510356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.67
system time used= 21.4029
maximum resident set size= 510356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87128
page faults= 1
swaps= 0
block input operations= 48
block output operations= 6012536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 4824
# summary of solver processes directly reported to runsolver:
# pid: 6492
# total CPU time (s): 3600.07
# total CPU user time (s): 3578.67
# total CPU system time (s): 21.4029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5319 second user time and 38.0119 second system time
The end
Begin job on nodeC008 at 2024-07-30 13:59:24 IDJOB=4462566 IDBENCH=147531 IDSOLVER=3089 FILE ID=nodeC008/4462566-1722340764 RUNJOBID= nodeC008-1722340763-6449 SLURM_JOB_ID= 8248988 Free space on /tmp= 723780 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462566-1722340764/watcher-4462566-1722340764 -o /tmp/evaluation-result-4462566-1722340764/solver-4462566-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6449 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462566-1722340764 --lp-cut-gomory=0 HOME/instance-4462566-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f429a5cb74c34761160471c7897bca93 RANDOM SEED=1492646933 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.385 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.366 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.377 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.386 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.371 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.391 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.381 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.386 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130650252 kB MemAvailable: 130207020 kB Buffers: 40260 kB Cached: 291736 kB SwapCached: 0 kB Active: 127444 kB Inactive: 472296 kB Active(anon): 1376 kB Inactive(anon): 288104 kB Active(file): 126068 kB Inactive(file): 184192 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 23528 kB Writeback: 0 kB AnonPages: 267572 kB Mapped: 87572 kB Shmem: 21312 kB KReclaimable: 39908 kB Slab: 109164 kB SReclaimable: 39908 kB SUnreclaim: 69256 kB KernelStack: 3632 kB PageTables: 9308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 615792 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 146248 kB DirectMap2M: 10244096 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723752 MiB End job on nodeC008 at 2024-07-30 14:59:35