| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 122 | 3600.1 | 3612.12 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb |
| MD5SUM | f38762496267db1df9beeeeb0c56175f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 121 |
| Best CPU time to get the best result obtained on this benchmark | 0.393057 |
| 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 | 4688 |
| Total number of constraints | 403 |
| Number of constraints which are clauses | 403 |
| 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 | 80 |
| Number of terms in the objective function | 4688 |
| 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 | 4688 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4688 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.00 c #variables 4688 #constraints 403 1.39/1.47 c bounds - >= 0 @ 0.005367 1.39/1.47 c bounds 263 >= 0 @ 0.181604 1.39/1.47 c bounds 263 >= 1 @ 0.181729 1.39/1.47 c bounds 263 >= 2 @ 0.182451 1.39/1.47 c bounds 263 >= 3 @ 0.182714 1.39/1.47 c bounds 263 >= 4 @ 0.182934 1.39/1.47 c bounds 263 >= 5 @ 0.18358 1.39/1.47 c bounds 263 >= 6 @ 0.184365 1.39/1.47 c bounds 263 >= 7 @ 0.18471 1.39/1.47 c bounds 263 >= 8 @ 0.185161 1.39/1.47 c bounds 263 >= 9 @ 0.185709 1.39/1.47 c bounds 263 >= 10 @ 0.186129 1.39/1.47 c bounds 263 >= 11 @ 0.186707 1.39/1.47 c bounds 263 >= 12 @ 0.186707 1.39/1.47 c bounds 263 >= 13 @ 0.186708 1.39/1.47 c bounds 263 >= 14 @ 0.186709 1.39/1.47 c bounds 263 >= 15 @ 0.187859 1.39/1.47 c bounds 263 >= 16 @ 0.188702 1.39/1.47 c bounds 263 >= 17 @ 0.189243 1.39/1.47 c bounds 263 >= 18 @ 0.189701 1.39/1.47 c bounds 263 >= 19 @ 0.190747 1.39/1.47 c bounds 263 >= 20 @ 0.19201 1.39/1.47 c bounds 262 >= 20 @ 0.202731 1.39/1.47 c bounds 262 >= 21 @ 0.203673 1.39/1.47 c bounds 262 >= 22 @ 0.203674 1.39/1.47 c bounds 262 >= 23 @ 0.203971 1.39/1.47 c bounds 262 >= 24 @ 0.204673 1.39/1.47 c bounds 262 >= 25 @ 0.205151 1.39/1.47 c bounds 262 >= 26 @ 0.205966 1.39/1.47 c bounds 262 >= 27 @ 0.207741 1.39/1.47 c bounds 262 >= 28 @ 0.208939 1.39/1.47 c bounds 262 >= 29 @ 0.210166 1.39/1.47 c bounds 262 >= 30 @ 0.210661 1.39/1.47 c bounds 262 >= 31 @ 0.210957 1.39/1.47 c bounds 262 >= 32 @ 0.211661 1.39/1.47 c bounds 262 >= 33 @ 0.211958 1.39/1.47 c bounds 262 >= 34 @ 0.213468 1.39/1.47 c bounds 262 >= 35 @ 0.214051 1.39/1.47 c bounds 262 >= 36 @ 0.214659 1.39/1.47 c bounds 262 >= 37 @ 0.215659 1.39/1.47 c bounds 262 >= 38 @ 0.216923 1.39/1.47 c bounds 262 >= 39 @ 0.218598 1.39/1.47 c bounds 262 >= 40 @ 0.219651 1.39/1.47 c bounds 262 >= 41 @ 0.219653 1.39/1.47 c bounds 261 >= 41 @ 0.22846 1.39/1.47 c bounds 261 >= 42 @ 0.229259 1.39/1.47 c bounds 261 >= 43 @ 0.231632 1.39/1.47 c bounds 261 >= 44 @ 0.231632 1.39/1.47 c bounds 261 >= 45 @ 0.231633 1.39/1.47 c bounds 261 >= 46 @ 0.231634 1.39/1.47 c bounds 261 >= 47 @ 0.232632 1.39/1.47 c bounds 261 >= 48 @ 0.233041 1.39/1.47 c bounds 261 >= 49 @ 0.235053 1.39/1.47 c bounds 261 >= 50 @ 0.236624 1.39/1.47 c bounds 261 >= 51 @ 0.237371 1.39/1.47 c bounds 261 >= 52 @ 0.238724 1.39/1.47 c bounds 261 >= 53 @ 0.239994 1.39/1.47 c bounds 261 >= 54 @ 0.241361 1.39/1.47 c bounds 261 >= 55 @ 0.241801 1.39/1.47 c bounds 261 >= 56 @ 0.242528 1.39/1.47 c bounds 261 >= 57 @ 0.242615 1.39/1.47 c bounds 261 >= 58 @ 0.244527 1.39/1.47 c bounds 261 >= 59 @ 0.245463 1.39/1.47 c bounds 261 >= 60 @ 0.246525 1.39/1.47 c bounds 261 >= 61 @ 0.247485 1.39/1.47 c bounds 261 >= 62 @ 0.248524 1.39/1.47 c bounds 261 >= 63 @ 0.248799 1.39/1.47 c bounds 260 >= 63 @ 0.25974 1.39/1.47 c bounds 260 >= 64 @ 0.261499 1.39/1.47 c bounds 260 >= 65 @ 0.261501 1.39/1.47 c bounds 260 >= 66 @ 0.262793 1.39/1.47 c bounds 260 >= 67 @ 0.265367 1.39/1.47 c bounds 260 >= 68 @ 0.265497 1.39/1.47 c bounds 260 >= 69 @ 0.265498 1.39/1.47 c bounds 260 >= 70 @ 0.266497 1.39/1.47 c bounds 260 >= 71 @ 0.268494 1.39/1.47 c bounds 260 >= 72 @ 0.270195 1.39/1.47 c bounds 260 >= 73 @ 0.272337 1.39/1.47 c bounds 260 >= 74 @ 0.272594 1.39/1.47 c bounds 260 >= 75 @ 0.275771 1.39/1.47 c bounds 260 >= 76 @ 0.276481 1.39/1.47 c bounds 260 >= 77 @ 0.278157 1.39/1.47 c bounds 260 >= 78 @ 0.280389 1.39/1.47 c bounds 260 >= 79 @ 0.281769 1.39/1.47 c bounds 260 >= 80 @ 0.283875 1.39/1.47 c bounds 260 >= 81 @ 0.284473 1.39/1.47 c bounds 260 >= 82 @ 0.284474 1.39/1.47 c bounds 259 >= 82 @ 0.295814 1.39/1.47 c bounds 259 >= 83 @ 0.299108 1.39/1.47 c bounds 259 >= 84 @ 0.299444 1.39/1.47 c bounds 259 >= 85 @ 0.301742 1.39/1.47 c bounds 259 >= 86 @ 0.302439 1.39/1.47 c bounds 259 >= 87 @ 0.30244 1.39/1.47 c bounds 259 >= 88 @ 0.304432 1.39/1.47 c bounds 259 >= 89 @ 0.307598 1.39/1.47 c bounds 259 >= 90 @ 0.308822 1.39/1.47 c bounds 259 >= 91 @ 0.310429 1.39/1.47 c bounds 259 >= 92 @ 0.312427 1.39/1.47 c bounds 259 >= 93 @ 0.312428 1.39/1.47 c bounds 259 >= 94 @ 0.314338 1.39/1.47 c bounds 259 >= 95 @ 0.316591 1.39/1.47 c bounds 259 >= 96 @ 0.318195 1.39/1.47 c bounds 259 >= 97 @ 0.320409 1.39/1.47 c bounds 258 >= 97 @ 0.33189 1.39/1.47 c bounds 258 >= 98 @ 0.340199 1.39/1.47 c bounds 257 >= 98 @ 0.353321 1.39/1.47 c bounds 256 >= 98 @ 0.36535 1.39/1.47 c bounds 256 >= 99 @ 0.374567 1.39/1.47 c bounds 255 >= 99 @ 0.393356 1.39/1.47 c bounds 254 >= 99 @ 0.410903 1.39/1.47 c bounds 254 >= 100 @ 0.424096 1.39/1.47 c bounds 253 >= 100 @ 0.442929 1.39/1.47 c bounds 252 >= 100 @ 0.464011 1.39/1.47 c bounds 251 >= 100 @ 0.528761 1.39/1.47 c bounds 251 >= 101 @ 0.530417 1.39/1.47 c bounds 251 >= 102 @ 0.53287 1.39/1.47 c bounds 251 >= 103 @ 0.53887 1.39/1.47 c bounds 251 >= 104 @ 0.572221 1.39/1.47 c #Conflicts: 1000 | #Constraints: 1945 1.39/1.47 c bounds 250 >= 104 @ 0.641326 1.39/1.47 c #Conflicts: 2000 | #Constraints: 2946 1.39/1.47 c INPROCESSING 1.39/1.47 c GARBAGE COLLECT 1.39/1.47 c rational objective 119.86 5.67/5.72 c bounds 249 >= 104 @ 1.4178 5.67/5.72 c bounds 248 >= 104 @ 1.48524 5.67/5.72 c bounds 247 >= 104 @ 1.5572 5.67/5.72 c bounds 246 >= 104 @ 1.61596 5.67/5.72 c bounds 245 >= 104 @ 1.69237 5.67/5.72 c bounds 244 >= 104 @ 1.73439 5.67/5.72 c bounds 243 >= 104 @ 1.78584 5.67/5.72 c bounds 242 >= 104 @ 1.8737 5.67/5.72 c #Conflicts: 3000 | #Constraints: 2882 5.67/5.72 c bounds 241 >= 104 @ 2.08665 5.67/5.72 c bounds 240 >= 104 @ 2.22406 5.67/5.72 c bounds 240 >= 105 @ 2.22655 5.67/5.72 c bounds 240 >= 106 @ 2.22934 5.67/5.72 c bounds 240 >= 107 @ 2.2334 5.67/5.72 c #Conflicts: 4000 | #Constraints: 3920 5.67/5.72 c bounds 240 >= 108 @ 2.71238 5.67/5.72 c bounds 239 >= 108 @ 2.7389 5.67/5.72 c INPROCESSING 5.67/5.72 c GARBAGE COLLECT 5.67/5.72 c bounds 238 >= 108 @ 3.09242 5.67/5.72 c bounds 237 >= 108 @ 3.11725 5.67/5.72 c bounds 236 >= 108 @ 3.15769 5.67/5.72 c bounds 235 >= 108 @ 3.19395 5.67/5.72 c bounds 234 >= 108 @ 3.23478 5.67/5.72 c bounds 233 >= 108 @ 3.26853 5.67/5.72 c bounds 232 >= 108 @ 3.30376 5.67/5.72 c bounds 231 >= 108 @ 3.33123 5.67/5.72 c bounds 230 >= 108 @ 3.3855 5.67/5.72 c bounds 229 >= 108 @ 3.42135 5.67/5.72 c bounds 228 >= 108 @ 3.48047 5.67/5.72 c bounds 227 >= 108 @ 3.51184 5.67/5.72 c bounds 226 >= 108 @ 3.59122 5.67/5.72 c #Conflicts: 5000 | #Constraints: 3356 5.67/5.72 c bounds 225 >= 108 @ 3.7228 5.67/5.72 c bounds 224 >= 108 @ 3.98906 5.67/5.72 c bounds 223 >= 108 @ 4.08648 5.67/5.72 c #Conflicts: 6000 | #Constraints: 4359 5.67/5.72 c INPROCESSING 5.67/5.72 c GARBAGE COLLECT 5.67/5.72 c rational objective 119.893 8.66/8.79 c bounds 222 >= 108 @ 5.40435 8.66/8.79 c bounds 221 >= 108 @ 5.42729 8.66/8.79 c bounds 220 >= 108 @ 5.44669 8.66/8.79 c bounds 219 >= 108 @ 5.47145 8.66/8.79 c bounds 218 >= 108 @ 5.51392 8.66/8.79 c bounds 217 >= 108 @ 5.67166 8.66/8.79 c #Conflicts: 7000 | #Constraints: 3372 8.66/8.79 c bounds 216 >= 108 @ 5.70784 8.66/8.79 c bounds 215 >= 108 @ 5.75144 8.66/8.79 c bounds 214 >= 108 @ 5.79415 8.66/8.79 c bounds 213 >= 108 @ 5.84512 8.66/8.79 c bounds 212 >= 108 @ 5.8805 8.66/8.79 c bounds 211 >= 108 @ 5.91529 8.66/8.79 c bounds 210 >= 108 @ 5.98246 8.66/8.79 c bounds 209 >= 108 @ 6.05812 8.66/8.79 c bounds 208 >= 108 @ 6.12071 8.66/8.79 c bounds 207 >= 108 @ 6.29555 8.66/8.79 c bounds 206 >= 108 @ 6.38655 8.66/8.79 c #Conflicts: 8000 | #Constraints: 4383 8.66/8.79 c bounds 205 >= 108 @ 6.42378 8.66/8.79 c bounds 204 >= 108 @ 6.48392 8.66/8.79 c bounds 203 >= 108 @ 6.51953 8.66/8.79 c bounds 202 >= 108 @ 6.57266 8.66/8.79 c bounds 201 >= 108 @ 6.60605 8.66/8.79 c bounds 200 >= 108 @ 6.64212 8.66/8.79 c bounds 199 >= 108 @ 6.69141 8.66/8.79 c bounds 198 >= 108 @ 6.73671 8.66/8.79 c bounds 197 >= 108 @ 6.78207 8.66/8.79 c bounds 196 >= 108 @ 6.80988 8.66/8.79 c bounds 195 >= 108 @ 6.84114 8.66/8.79 c #Conflicts: 9000 | #Constraints: 5394 8.66/8.79 c INPROCESSING 8.66/8.79 c GARBAGE COLLECT 8.66/8.79 c rational objective 119.893 12.05/12.18 c #Conflicts: 10000 | #Constraints: 4073 12.05/12.18 c #Conflicts: 11000 | #Constraints: 5074 12.05/12.18 c #Conflicts: 12000 | #Constraints: 6077 12.05/12.18 c INPROCESSING 12.05/12.18 c GARBAGE COLLECT 12.05/12.18 c rational objective 119.893 15.84/15.90 c bounds 194 >= 108 @ 11.3531 15.84/15.90 c bounds 193 >= 108 @ 11.408 15.84/15.90 c bounds 192 >= 108 @ 11.4824 15.84/15.90 c bounds 191 >= 108 @ 11.5698 15.84/15.90 c bounds 190 >= 108 @ 11.6307 15.84/15.90 c bounds 189 >= 108 @ 11.6975 15.84/15.90 c bounds 188 >= 108 @ 11.8157 15.84/15.90 c bounds 187 >= 108 @ 11.9304 15.84/15.90 c #Conflicts: 13000 | #Constraints: 4585 15.84/15.90 c bounds 186 >= 108 @ 12.6688 15.84/15.90 c bounds 185 >= 108 @ 12.7554 15.84/15.90 c bounds 184 >= 108 @ 12.8563 15.84/15.90 c bounds 183 >= 108 @ 12.9746 15.84/15.90 c bounds 182 >= 108 @ 13.1057 15.84/15.90 c #Conflicts: 14000 | #Constraints: 5622 15.84/15.90 c bounds 181 >= 108 @ 13.2407 15.84/15.90 c bounds 180 >= 108 @ 13.4406 15.84/15.90 c bounds 179 >= 108 @ 13.7561 15.84/15.90 c bounds 178 >= 108 @ 13.8635 15.84/15.90 c #Conflicts: 15000 | #Constraints: 6632 15.84/15.90 c INPROCESSING 15.84/15.90 c GARBAGE COLLECT 15.84/15.90 c rational objective 119.893 20.63/20.77 c bounds 177 >= 108 @ 14.8659 20.63/20.77 c #Conflicts: 16000 | #Constraints: 4867 20.63/20.77 c #Conflicts: 17000 | #Constraints: 5992 20.63/20.77 c bounds 176 >= 108 @ 18.0469 20.63/20.77 c #Conflicts: 18000 | #Constraints: 7246 20.63/20.77 c INPROCESSING 20.63/20.77 c GARBAGE COLLECT 20.63/20.77 c rational objective 119.893 31.49/31.66 c bounds 176 >= 109 @ 19.6327 31.49/31.66 c bounds 175 >= 109 @ 19.6685 31.49/31.66 c #Conflicts: 19000 | #Constraints: 5104 31.49/31.66 c #Conflicts: 20000 | #Constraints: 6104 31.49/31.66 c #Conflicts: 21000 | #Constraints: 7104 31.49/31.66 c INPROCESSING 31.49/31.66 c GARBAGE COLLECT 31.49/31.66 c bounds 174 >= 109 @ 24.6445 31.49/31.66 c bounds 173 >= 109 @ 24.6875 31.49/31.66 c bounds 172 >= 109 @ 24.8585 31.49/31.66 c #Conflicts: 22000 | #Constraints: 4769 31.49/31.66 c bounds 171 >= 109 @ 24.9308 31.49/31.66 c bounds 170 >= 109 @ 25.1639 31.49/31.66 c bounds 169 >= 109 @ 25.244 31.49/31.66 c bounds 168 >= 109 @ 25.372 31.49/31.66 c bounds 167 >= 109 @ 25.5213 31.49/31.66 c #Conflicts: 23000 | #Constraints: 5809 31.49/31.66 c bounds 166 >= 109 @ 25.9479 31.49/31.66 c bounds 165 >= 109 @ 26.4976 31.49/31.66 c #Conflicts: 24000 | #Constraints: 6819 31.49/31.66 c bounds 164 >= 109 @ 28.3743 31.49/31.66 c #Conflicts: 25000 | #Constraints: 7820 31.49/31.66 c INPROCESSING 31.49/31.66 c GARBAGE COLLECT 31.49/31.66 c rational objective 119.893 38.17/38.32 c #Conflicts: 26000 | #Constraints: 5292 38.17/38.32 c #Conflicts: 27000 | #Constraints: 6292 38.17/38.32 c bounds 163 >= 109 @ 32.9291 38.17/38.32 c #Conflicts: 28000 | #Constraints: 7293 38.17/38.32 c bounds 162 >= 109 @ 34.7505 38.17/38.32 c #Conflicts: 29000 | #Constraints: 8294 38.17/38.32 c INPROCESSING 38.17/38.32 c GARBAGE COLLECT 38.17/38.32 c rational objective 119.893 50.73/50.95 c #Conflicts: 30000 | #Constraints: 5664 50.73/50.95 c #Conflicts: 31000 | #Constraints: 6664 50.73/50.95 c #Conflicts: 32000 | #Constraints: 7664 50.73/50.95 c bounds 162 >= 110 @ 42.309 50.73/50.95 c bounds 161 >= 110 @ 42.4021 50.73/50.95 c bounds 160 >= 110 @ 42.4784 50.73/50.95 c bounds 159 >= 110 @ 42.5545 50.73/50.95 c bounds 158 >= 110 @ 42.6295 50.73/50.95 c #Conflicts: 33000 | #Constraints: 8731 50.73/50.95 c INPROCESSING 50.73/50.95 c GARBAGE COLLECT 50.73/50.95 c bounds 157 >= 110 @ 43.1326 50.73/50.95 c #Conflicts: 34000 | #Constraints: 5878 50.73/50.95 c bounds 156 >= 110 @ 44.3441 50.73/50.95 c bounds 155 >= 110 @ 44.4255 50.73/50.95 c bounds 154 >= 110 @ 44.5695 50.73/50.95 c #Conflicts: 35000 | #Constraints: 6881 50.73/50.95 c bounds 153 >= 110 @ 45.2406 50.73/50.95 c bounds 152 >= 110 @ 45.3051 50.73/50.95 c #Conflicts: 36000 | #Constraints: 7883 50.73/50.95 c #Conflicts: 37000 | #Constraints: 8883 50.73/50.95 c INPROCESSING 50.73/50.95 c GARBAGE COLLECT 50.73/50.95 c rational objective 119.893 66.38/66.66 c #Conflicts: 38000 | #Constraints: 5876 66.38/66.66 c #Conflicts: 39000 | #Constraints: 6880 66.38/66.66 c #Conflicts: 40000 | #Constraints: 7881 66.38/66.66 c bounds 151 >= 110 @ 53.2742 66.38/66.66 c #Conflicts: 41000 | #Constraints: 8893 66.38/66.66 c INPROCESSING 66.38/66.66 c GARBAGE COLLECT 66.38/66.66 c #Conflicts: 42000 | #Constraints: 5688 66.38/66.66 c #Conflicts: 43000 | #Constraints: 6688 66.38/66.66 c #Conflicts: 44000 | #Constraints: 7688 66.38/66.66 c #Conflicts: 45000 | #Constraints: 8688 66.38/66.66 c #Conflicts: 46000 | #Constraints: 9688 66.38/66.66 c INPROCESSING 66.38/66.66 c GARBAGE COLLECT 66.38/66.66 c rational objective 119.893 73.35/73.62 c bounds 150 >= 110 @ 63.5907 73.35/73.62 c bounds 149 >= 110 @ 64.0699 73.35/73.62 c bounds 148 >= 110 @ 64.1847 73.35/73.62 c #Conflicts: 47000 | #Constraints: 6324 73.35/73.62 c bounds 147 >= 110 @ 64.5522 73.35/73.62 c bounds 146 >= 110 @ 65.3026 73.35/73.62 c #Conflicts: 48000 | #Constraints: 7380 73.35/73.62 c bounds 145 >= 110 @ 65.9429 73.35/73.62 c bounds 144 >= 110 @ 66.5043 73.35/73.62 c #Conflicts: 49000 | #Constraints: 8433 73.35/73.62 c bounds 143 >= 110 @ 66.9051 73.35/73.62 c bounds 142 >= 110 @ 67.2768 73.35/73.62 c #Conflicts: 50000 | #Constraints: 9476 73.35/73.62 c #Conflicts: 51000 | #Constraints: 10503 73.35/73.62 c INPROCESSING 73.35/73.62 c GARBAGE COLLECT 73.35/73.62 c rational objective 119.893 81.84/82.19 c #Conflicts: 52000 | #Constraints: 6792 81.84/82.19 c bounds 141 >= 110 @ 71.6416 81.84/82.19 c #Conflicts: 53000 | #Constraints: 7832 81.84/82.19 c #Conflicts: 54000 | #Constraints: 8850 81.84/82.19 c bounds 140 >= 110 @ 74.7441 81.84/82.19 c bounds 139 >= 110 @ 75.2501 81.84/82.19 c #Conflicts: 55000 | #Constraints: 9904 81.84/82.19 c #Conflicts: 56000 | #Constraints: 10926 81.84/82.19 c INPROCESSING 81.84/82.19 c GARBAGE COLLECT 81.84/82.19 c rational objective 119.893 92.10/92.46 c #Conflicts: 57000 | #Constraints: 7020 92.10/92.46 c #Conflicts: 58000 | #Constraints: 8045 92.10/92.46 c #Conflicts: 59000 | #Constraints: 9068 92.10/92.46 c bounds 138 >= 110 @ 83.2141 92.10/92.46 c #Conflicts: 60000 | #Constraints: 10071 92.10/92.46 c #Conflicts: 61000 | #Constraints: 11071 92.10/92.46 c INPROCESSING 92.10/92.46 c GARBAGE COLLECT 92.10/92.46 c rational objective 119.893 101.07/101.45 c #Conflicts: 62000 | #Constraints: 7022 101.07/101.45 c bounds 137 >= 110 @ 89.3911 101.07/101.45 c #Conflicts: 63000 | #Constraints: 8081 101.07/101.45 c bounds 136 >= 110 @ 91.7337 101.07/101.45 c #Conflicts: 64000 | #Constraints: 9137 101.07/101.45 c bounds 135 >= 110 @ 93.3128 101.07/101.45 c #Conflicts: 65000 | #Constraints: 10174 101.07/101.45 c bounds 134 >= 110 @ 94.6338 101.07/101.45 c #Conflicts: 66000 | #Constraints: 11206 101.07/101.45 c INPROCESSING 101.07/101.45 c GARBAGE COLLECT 101.07/101.45 c rational objective 119.893 117.72/118.11 c #Conflicts: 67000 | #Constraints: 6854 117.72/118.11 c #Conflicts: 68000 | #Constraints: 7858 117.72/118.11 c #Conflicts: 69000 | #Constraints: 8863 117.72/118.11 c #Conflicts: 70000 | #Constraints: 9863 117.72/118.11 c #Conflicts: 71000 | #Constraints: 10863 117.72/118.11 c #Conflicts: 72000 | #Constraints: 11863 117.72/118.11 c INPROCESSING 117.72/118.11 c GARBAGE COLLECT 117.72/118.11 c rational objective 119.893 132.56/133.05 c #Conflicts: 73000 | #Constraints: 7426 132.56/133.05 c bounds 133 >= 110 @ 114.454 132.56/133.05 c #Conflicts: 74000 | #Constraints: 8654 132.56/133.05 c #Conflicts: 75000 | #Constraints: 9746 132.56/133.05 c #Conflicts: 76000 | #Constraints: 10803 132.56/133.05 c #Conflicts: 77000 | #Constraints: 11829 132.56/133.05 c #Conflicts: 78000 | #Constraints: 12890 132.56/133.05 c INPROCESSING 132.56/133.05 c GARBAGE COLLECT 132.56/133.05 c rational objective 119.893 148.71/149.22 c #Conflicts: 79000 | #Constraints: 8028 148.71/149.22 c #Conflicts: 80000 | #Constraints: 9043 148.71/149.22 c #Conflicts: 81000 | #Constraints: 10057 148.71/149.22 c #Conflicts: 82000 | #Constraints: 11169 148.71/149.22 c #Conflicts: 83000 | #Constraints: 12298 148.71/149.22 c #Conflicts: 84000 | #Constraints: 13337 148.71/149.22 c INPROCESSING 148.71/149.22 c GARBAGE COLLECT 148.71/149.22 c rational objective 119.893 171.03/171.60 c #Conflicts: 85000 | #Constraints: 8212 171.03/171.60 c #Conflicts: 86000 | #Constraints: 9217 171.03/171.60 c #Conflicts: 87000 | #Constraints: 10220 171.03/171.60 c #Conflicts: 88000 | #Constraints: 11253 171.03/171.60 c #Conflicts: 89000 | #Constraints: 12286 171.03/171.60 c #Conflicts: 90000 | #Constraints: 13312 171.03/171.60 c INPROCESSING 171.03/171.60 c GARBAGE COLLECT 171.03/171.60 c rational objective 119.904 183.69/184.33 c bounds 132 >= 110 @ 166.308 183.69/184.33 c bounds 131 >= 110 @ 166.44 183.69/184.33 c #Conflicts: 91000 | #Constraints: 8160 183.69/184.33 c bounds 130 >= 110 @ 167.172 183.69/184.33 c #Conflicts: 92000 | #Constraints: 9180 183.69/184.33 c #Conflicts: 93000 | #Constraints: 10187 183.69/184.33 c bounds 129 >= 110 @ 169.735 183.69/184.33 c #Conflicts: 94000 | #Constraints: 11220 183.69/184.33 c #Conflicts: 95000 | #Constraints: 12255 183.69/184.33 c #Conflicts: 96000 | #Constraints: 13292 183.69/184.33 c INPROCESSING 183.69/184.33 c GARBAGE COLLECT 183.69/184.33 c rational objective 119.893 209.91/210.67 c #Conflicts: 97000 | #Constraints: 7915 209.91/210.67 c bounds 128 >= 110 @ 179.561 209.91/210.67 c #Conflicts: 98000 | #Constraints: 8928 209.91/210.67 c #Conflicts: 99000 | #Constraints: 9928 209.91/210.67 c #Conflicts: 100000 | #Constraints: 10928 209.91/210.67 c #Conflicts: 101000 | #Constraints: 11928 209.91/210.67 c #Conflicts: 102000 | #Constraints: 12928 209.91/210.67 c #Conflicts: 103000 | #Constraints: 13928 209.91/210.67 c INPROCESSING 209.91/210.67 c GARBAGE COLLECT 209.91/210.67 c rational objective 119.893 443.81/445.39 c #Conflicts: 104000 | #Constraints: 8471 443.81/445.39 c #Conflicts: 105000 | #Constraints: 9488 443.81/445.39 c #Conflicts: 106000 | #Constraints: 10509 443.81/445.39 c #Conflicts: 107000 | #Constraints: 11525 443.81/445.39 c bounds 127 >= 110 @ 211.609 443.81/445.39 c #Conflicts: 108000 | #Constraints: 12545 443.81/445.39 c #Conflicts: 109000 | #Constraints: 13565 443.81/445.39 c #Conflicts: 110000 | #Constraints: 14594 443.81/445.39 c #Conflicts: 111000 | #Constraints: 15616 443.81/445.39 c bounds 126 >= 110 @ 224.625 443.81/445.39 c #Conflicts: 112000 | #Constraints: 16633 443.81/445.39 c #Conflicts: 113000 | #Constraints: 17658 443.81/445.39 c #Conflicts: 114000 | #Constraints: 18684 443.81/445.39 c #Conflicts: 115000 | #Constraints: 19696 443.81/445.39 c #Conflicts: 116000 | #Constraints: 20709 443.81/445.39 c #Conflicts: 117000 | #Constraints: 21726 443.81/445.39 c #Conflicts: 118000 | #Constraints: 22745 443.81/445.39 c bounds 125 >= 110 @ 245.988 443.81/445.39 c #Conflicts: 119000 | #Constraints: 23769 443.81/445.39 c #Conflicts: 120000 | #Constraints: 24770 443.81/445.39 c #Conflicts: 121000 | #Constraints: 25770 443.81/445.39 c #Conflicts: 122000 | #Constraints: 26770 443.81/445.39 c #Conflicts: 123000 | #Constraints: 27770 443.81/445.39 c #Conflicts: 124000 | #Constraints: 28770 443.81/445.39 c #Conflicts: 125000 | #Constraints: 29770 443.81/445.39 c #Conflicts: 126000 | #Constraints: 30770 443.81/445.39 c #Conflicts: 127000 | #Constraints: 31770 443.81/445.39 c #Conflicts: 128000 | #Constraints: 32770 443.81/445.39 c #Conflicts: 129000 | #Constraints: 33770 443.81/445.39 c #Conflicts: 130000 | #Constraints: 34770 443.81/445.39 c #Conflicts: 131000 | #Constraints: 35770 443.81/445.39 c #Conflicts: 132000 | #Constraints: 36770 443.81/445.39 c INPROCESSING 443.81/445.39 c GARBAGE COLLECT 443.81/445.39 c rational objective 119.893 472.62/474.24 c #Conflicts: 133000 | #Constraints: 19725 472.62/474.24 c #Conflicts: 134000 | #Constraints: 20741 472.62/474.24 c #Conflicts: 135000 | #Constraints: 21762 472.62/474.24 c bounds 124 >= 110 @ 446.01 472.62/474.24 c #Conflicts: 136000 | #Constraints: 22777 472.62/474.24 c #Conflicts: 137000 | #Constraints: 23800 472.62/474.24 c #Conflicts: 138000 | #Constraints: 24824 472.62/474.24 c #Conflicts: 139000 | #Constraints: 25839 472.62/474.24 c #Conflicts: 140000 | #Constraints: 26862 472.62/474.24 c INPROCESSING 472.62/474.24 c GARBAGE COLLECT 472.62/474.24 c rational objective 119.893 500.71/502.46 c #Conflicts: 141000 | #Constraints: 14799 500.71/502.46 c #Conflicts: 142000 | #Constraints: 15808 500.71/502.46 c #Conflicts: 143000 | #Constraints: 16822 500.71/502.46 c #Conflicts: 144000 | #Constraints: 17848 500.71/502.46 c bounds 123 >= 110 @ 474.728 500.71/502.46 c bounds 122 >= 110 @ 475.971 500.71/502.46 c #Conflicts: 145000 | #Constraints: 18876 500.71/502.46 c #Conflicts: 146000 | #Constraints: 19895 500.71/502.46 c #Conflicts: 147000 | #Constraints: 20910 500.71/502.46 c #Conflicts: 148000 | #Constraints: 21926 500.71/502.46 c INPROCESSING 500.71/502.46 c GARBAGE COLLECT 500.71/502.46 c rational objective 119.893 538.09/539.93 c #Conflicts: 149000 | #Constraints: 12273 538.09/539.93 c #Conflicts: 150000 | #Constraints: 13286 538.09/539.93 c #Conflicts: 151000 | #Constraints: 14344 538.09/539.93 c #Conflicts: 152000 | #Constraints: 15387 538.09/539.93 c #Conflicts: 153000 | #Constraints: 16427 538.09/539.93 c #Conflicts: 154000 | #Constraints: 17548 538.09/539.93 c #Conflicts: 155000 | #Constraints: 18588 538.09/539.93 c #Conflicts: 156000 | #Constraints: 19632 538.09/539.93 c INPROCESSING 538.09/539.93 c GARBAGE COLLECT 538.09/539.93 c rational objective 119.893 581.84/583.89 c #Conflicts: 157000 | #Constraints: 10971 581.84/583.89 c #Conflicts: 158000 | #Constraints: 11982 581.84/583.89 c #Conflicts: 159000 | #Constraints: 12999 581.84/583.89 c #Conflicts: 160000 | #Constraints: 14013 581.84/583.89 c #Conflicts: 161000 | #Constraints: 15025 581.84/583.89 c #Conflicts: 162000 | #Constraints: 16039 581.84/583.89 c #Conflicts: 163000 | #Constraints: 17060 581.84/583.89 c #Conflicts: 164000 | #Constraints: 18073 581.84/583.89 c #Conflicts: 165000 | #Constraints: 19080 581.84/583.89 c INPROCESSING 581.84/583.89 c GARBAGE COLLECT 581.84/583.89 c rational objective 119.893 665.27/667.51 c #Conflicts: 166000 | #Constraints: 10953 665.27/667.51 c #Conflicts: 167000 | #Constraints: 11969 665.27/667.51 c #Conflicts: 168000 | #Constraints: 13010 665.27/667.51 c #Conflicts: 169000 | #Constraints: 14010 665.27/667.51 c #Conflicts: 170000 | #Constraints: 15010 665.27/667.51 c #Conflicts: 171000 | #Constraints: 16010 665.27/667.51 c #Conflicts: 172000 | #Constraints: 17010 665.27/667.51 c #Conflicts: 173000 | #Constraints: 18010 665.27/667.51 c #Conflicts: 174000 | #Constraints: 19010 665.27/667.51 c INPROCESSING 665.27/667.51 c GARBAGE COLLECT 665.27/667.51 c rational objective 119.893 716.60/719.06 c #Conflicts: 175000 | #Constraints: 11081 716.60/719.06 c #Conflicts: 176000 | #Constraints: 12099 716.60/719.06 c #Conflicts: 177000 | #Constraints: 13110 716.60/719.06 c #Conflicts: 178000 | #Constraints: 14145 716.60/719.06 c #Conflicts: 179000 | #Constraints: 15161 716.60/719.06 c #Conflicts: 180000 | #Constraints: 16175 716.60/719.06 c #Conflicts: 181000 | #Constraints: 17188 716.60/719.06 c #Conflicts: 182000 | #Constraints: 18213 716.60/719.06 c INPROCESSING 716.60/719.06 c GARBAGE COLLECT 716.60/719.06 c rational objective 119.893 779.28/781.95 c #Conflicts: 183000 | #Constraints: 10229 779.28/781.95 c #Conflicts: 184000 | #Constraints: 11259 779.28/781.95 c #Conflicts: 185000 | #Constraints: 12260 779.28/781.95 c #Conflicts: 186000 | #Constraints: 13276 779.28/781.95 c #Conflicts: 187000 | #Constraints: 14322 779.28/781.95 c #Conflicts: 188000 | #Constraints: 15343 779.28/781.95 c #Conflicts: 189000 | #Constraints: 16350 779.28/781.95 c bounds 122 >= 111 @ 755.619 779.28/781.95 c #Conflicts: 190000 | #Constraints: 17416 779.28/781.95 c #Conflicts: 191000 | #Constraints: 18416 779.28/781.95 c #Conflicts: 192000 | #Constraints: 19416 779.28/781.95 c INPROCESSING 779.28/781.95 c GARBAGE COLLECT 779.28/781.95 c rational objective 119.893 1563.34/1568.63 c #Conflicts: 193000 | #Constraints: 11279 1563.34/1568.63 c #Conflicts: 194000 | #Constraints: 12279 1563.34/1568.63 c #Conflicts: 195000 | #Constraints: 13279 1563.34/1568.63 c #Conflicts: 196000 | #Constraints: 14279 1563.34/1568.63 c #Conflicts: 197000 | #Constraints: 15292 1563.34/1568.63 c #Conflicts: 198000 | #Constraints: 16299 1563.34/1568.63 c #Conflicts: 199000 | #Constraints: 17301 1563.34/1568.63 c #Conflicts: 200000 | #Constraints: 18301 1563.34/1568.63 c #Conflicts: 201000 | #Constraints: 19302 1563.34/1568.63 c #Conflicts: 202000 | #Constraints: 20302 1563.34/1568.63 c #Conflicts: 203000 | #Constraints: 21302 1563.34/1568.63 c #Conflicts: 204000 | #Constraints: 22302 1563.34/1568.63 c #Conflicts: 205000 | #Constraints: 23302 1563.34/1568.63 c #Conflicts: 206000 | #Constraints: 24302 1563.34/1568.63 c #Conflicts: 207000 | #Constraints: 25302 1563.34/1568.63 c #Conflicts: 208000 | #Constraints: 26302 1563.34/1568.63 c #Conflicts: 209000 | #Constraints: 27302 1563.34/1568.63 c #Conflicts: 210000 | #Constraints: 28303 1563.34/1568.63 c #Conflicts: 211000 | #Constraints: 29305 1563.34/1568.63 c #Conflicts: 212000 | #Constraints: 30307 1563.34/1568.63 c #Conflicts: 213000 | #Constraints: 31309 1563.34/1568.63 c #Conflicts: 214000 | #Constraints: 32313 1563.34/1568.63 c #Conflicts: 215000 | #Constraints: 33315 1563.34/1568.63 c #Conflicts: 216000 | #Constraints: 34318 1563.34/1568.63 c #Conflicts: 217000 | #Constraints: 35355 1563.34/1568.63 c #Conflicts: 218000 | #Constraints: 36355 1563.34/1568.63 c #Conflicts: 219000 | #Constraints: 37355 1563.34/1568.63 c #Conflicts: 220000 | #Constraints: 38370 1563.34/1568.63 c #Conflicts: 221000 | #Constraints: 39370 1563.34/1568.63 c #Conflicts: 222000 | #Constraints: 40370 1563.34/1568.63 c #Conflicts: 223000 | #Constraints: 41370 1563.34/1568.63 c #Conflicts: 224000 | #Constraints: 42370 1563.34/1568.63 c #Conflicts: 225000 | #Constraints: 43370 1563.34/1568.63 c #Conflicts: 226000 | #Constraints: 44370 1563.34/1568.63 c #Conflicts: 227000 | #Constraints: 45370 1563.34/1568.63 c #Conflicts: 228000 | #Constraints: 46370 1563.34/1568.63 c #Conflicts: 229000 | #Constraints: 47370 1563.34/1568.63 c #Conflicts: 230000 | #Constraints: 48370 1563.34/1568.63 c #Conflicts: 231000 | #Constraints: 49393 1563.34/1568.63 c INPROCESSING 1563.34/1568.63 c GARBAGE COLLECT 1563.34/1568.63 c rational objective 119.893 1638.49/1644.06 c #Conflicts: 232000 | #Constraints: 26368 1638.49/1644.06 c #Conflicts: 233000 | #Constraints: 27384 1638.49/1644.06 c #Conflicts: 234000 | #Constraints: 28403 1638.49/1644.06 c #Conflicts: 235000 | #Constraints: 29420 1638.49/1644.06 c #Conflicts: 236000 | #Constraints: 30434 1638.49/1644.06 c #Conflicts: 237000 | #Constraints: 31452 1638.49/1644.06 c #Conflicts: 238000 | #Constraints: 32477 1638.49/1644.06 c #Conflicts: 239000 | #Constraints: 33482 1638.49/1644.06 c #Conflicts: 240000 | #Constraints: 34488 1638.49/1644.06 c #Conflicts: 241000 | #Constraints: 35497 1638.49/1644.06 c INPROCESSING 1638.49/1644.06 c GARBAGE COLLECT 1638.49/1644.06 c rational objective 119.893 1715.81/1721.67 c #Conflicts: 242000 | #Constraints: 19152 1715.81/1721.67 c #Conflicts: 243000 | #Constraints: 20164 1715.81/1721.67 c #Conflicts: 244000 | #Constraints: 21170 1715.81/1721.67 c #Conflicts: 245000 | #Constraints: 22185 1715.81/1721.67 c #Conflicts: 246000 | #Constraints: 23200 1715.81/1721.67 c #Conflicts: 247000 | #Constraints: 24220 1715.81/1721.67 c #Conflicts: 248000 | #Constraints: 25236 1715.81/1721.67 c #Conflicts: 249000 | #Constraints: 26256 1715.81/1721.67 c #Conflicts: 250000 | #Constraints: 27277 1715.81/1721.67 c #Conflicts: 251000 | #Constraints: 28285 1715.81/1721.67 c #Conflicts: 252000 | #Constraints: 29297 1715.81/1721.67 c INPROCESSING 1715.81/1721.67 c GARBAGE COLLECT 1715.81/1721.67 c rational objective 119.893 1786.26/1792.39 c #Conflicts: 253000 | #Constraints: 16251 1786.26/1792.39 c #Conflicts: 254000 | #Constraints: 17254 1786.26/1792.39 c #Conflicts: 255000 | #Constraints: 18267 1786.26/1792.39 c #Conflicts: 256000 | #Constraints: 19282 1786.26/1792.39 c #Conflicts: 257000 | #Constraints: 20290 1786.26/1792.39 c #Conflicts: 258000 | #Constraints: 21307 1786.26/1792.39 c #Conflicts: 259000 | #Constraints: 22318 1786.26/1792.39 c #Conflicts: 260000 | #Constraints: 23331 1786.26/1792.39 c #Conflicts: 261000 | #Constraints: 24339 1786.26/1792.39 c #Conflicts: 262000 | #Constraints: 25347 1786.26/1792.39 c INPROCESSING 1786.26/1792.39 c GARBAGE COLLECT 1786.26/1792.39 c rational objective 119.893 2606.06/2614.96 c #Conflicts: 263000 | #Constraints: 13885 2606.06/2614.96 c #Conflicts: 264000 | #Constraints: 14897 2606.06/2614.96 c #Conflicts: 265000 | #Constraints: 15906 2606.06/2614.96 c #Conflicts: 266000 | #Constraints: 16910 2606.06/2614.96 c #Conflicts: 267000 | #Constraints: 17925 2606.06/2614.96 c #Conflicts: 268000 | #Constraints: 18977 2606.06/2614.96 c #Conflicts: 269000 | #Constraints: 20000 2606.06/2614.96 c #Conflicts: 270000 | #Constraints: 21008 2606.06/2614.96 c #Conflicts: 271000 | #Constraints: 22027 2606.06/2614.96 c #Conflicts: 272000 | #Constraints: 23041 2606.06/2614.96 c #Conflicts: 273000 | #Constraints: 24057 2606.06/2614.96 c #Conflicts: 274000 | #Constraints: 25065 2606.06/2614.96 c #Conflicts: 275000 | #Constraints: 26085 2606.06/2614.96 c #Conflicts: 276000 | #Constraints: 27093 2606.06/2614.96 c #Conflicts: 277000 | #Constraints: 28099 2606.06/2614.96 c #Conflicts: 278000 | #Constraints: 29107 2606.06/2614.96 c #Conflicts: 279000 | #Constraints: 30117 2606.06/2614.96 c #Conflicts: 280000 | #Constraints: 31125 2606.06/2614.96 c #Conflicts: 281000 | #Constraints: 32129 2606.06/2614.96 c #Conflicts: 282000 | #Constraints: 33138 2606.06/2614.96 c #Conflicts: 283000 | #Constraints: 34147 2606.06/2614.96 c #Conflicts: 284000 | #Constraints: 35156 2606.06/2614.96 c #Conflicts: 285000 | #Constraints: 36164 2606.06/2614.96 c #Conflicts: 286000 | #Constraints: 37178 2606.06/2614.96 c #Conflicts: 287000 | #Constraints: 38190 2606.06/2614.96 c #Conflicts: 288000 | #Constraints: 39199 2606.06/2614.96 c #Conflicts: 289000 | #Constraints: 40205 2606.06/2614.96 c #Conflicts: 290000 | #Constraints: 41211 2606.06/2614.96 c #Conflicts: 291000 | #Constraints: 42218 2606.06/2614.96 c #Conflicts: 292000 | #Constraints: 43229 2606.06/2614.96 c #Conflicts: 293000 | #Constraints: 44240 2606.06/2614.96 c #Conflicts: 294000 | #Constraints: 45253 2606.06/2614.96 c #Conflicts: 295000 | #Constraints: 46264 2606.06/2614.96 c #Conflicts: 296000 | #Constraints: 47270 2606.06/2614.96 c #Conflicts: 297000 | #Constraints: 48279 2606.06/2614.96 c #Conflicts: 298000 | #Constraints: 49283 2606.06/2614.96 c #Conflicts: 299000 | #Constraints: 50292 2606.06/2614.96 c #Conflicts: 300000 | #Constraints: 51300 2606.06/2614.96 c #Conflicts: 301000 | #Constraints: 52315 2606.06/2614.96 c #Conflicts: 302000 | #Constraints: 53330 2606.06/2614.96 c #Conflicts: 303000 | #Constraints: 54337 2606.06/2614.96 c #Conflicts: 304000 | #Constraints: 55340 2606.06/2614.96 c #Conflicts: 305000 | #Constraints: 56344 2606.06/2614.96 c #Conflicts: 306000 | #Constraints: 57361 2606.06/2614.96 c #Conflicts: 307000 | #Constraints: 58364 2606.06/2614.96 c INPROCESSING 2606.06/2614.96 c GARBAGE COLLECT 2606.06/2614.96 c rational objective 119.893 2874.07/2883.88 c #Conflicts: 308000 | #Constraints: 30742 2874.07/2883.88 c #Conflicts: 309000 | #Constraints: 31743 2874.07/2883.88 c #Conflicts: 310000 | #Constraints: 32744 2874.07/2883.88 c #Conflicts: 311000 | #Constraints: 33747 2874.07/2883.88 c #Conflicts: 312000 | #Constraints: 34771 2874.07/2883.88 c #Conflicts: 313000 | #Constraints: 35786 2874.07/2883.88 c #Conflicts: 314000 | #Constraints: 36787 2874.07/2883.88 c #Conflicts: 315000 | #Constraints: 37787 2874.07/2883.88 c #Conflicts: 316000 | #Constraints: 38791 2874.07/2883.88 c #Conflicts: 317000 | #Constraints: 39791 2874.07/2883.88 c #Conflicts: 318000 | #Constraints: 40793 2874.07/2883.88 c #Conflicts: 319000 | #Constraints: 41794 2874.07/2883.88 c INPROCESSING 2874.07/2883.88 c GARBAGE COLLECT 2874.07/2883.88 c rational objective 119.893 2996.33/3006.53 c #Conflicts: 320000 | #Constraints: 22415 2996.33/3006.53 c #Conflicts: 321000 | #Constraints: 23418 2996.33/3006.53 c #Conflicts: 322000 | #Constraints: 24434 2996.33/3006.53 c #Conflicts: 323000 | #Constraints: 25445 2996.33/3006.53 c #Conflicts: 324000 | #Constraints: 26461 2996.33/3006.53 c #Conflicts: 325000 | #Constraints: 27471 2996.33/3006.53 c #Conflicts: 326000 | #Constraints: 28483 2996.33/3006.53 c #Conflicts: 327000 | #Constraints: 29493 2996.33/3006.53 c #Conflicts: 328000 | #Constraints: 30508 2996.33/3006.53 c #Conflicts: 329000 | #Constraints: 31527 2996.33/3006.53 c #Conflicts: 330000 | #Constraints: 32542 2996.33/3006.53 c #Conflicts: 331000 | #Constraints: 33550 2996.33/3006.53 c INPROCESSING 2996.33/3006.53 c GARBAGE COLLECT 2996.33/3006.53 c rational objective 119.893 3152.86/3163.52 c #Conflicts: 332000 | #Constraints: 18151 3152.86/3163.52 c #Conflicts: 333000 | #Constraints: 19151 3152.86/3163.52 c #Conflicts: 334000 | #Constraints: 20151 3152.86/3163.52 c #Conflicts: 335000 | #Constraints: 21151 3152.86/3163.52 c #Conflicts: 336000 | #Constraints: 22151 3152.86/3163.52 c #Conflicts: 337000 | #Constraints: 23164 3152.86/3163.52 c #Conflicts: 338000 | #Constraints: 24167 3152.86/3163.52 c #Conflicts: 339000 | #Constraints: 25173 3152.86/3163.52 c #Conflicts: 340000 | #Constraints: 26177 3152.86/3163.52 c #Conflicts: 341000 | #Constraints: 27178 3152.86/3163.52 c #Conflicts: 342000 | #Constraints: 28264 3152.86/3163.52 c #Conflicts: 343000 | #Constraints: 29285 3152.86/3163.52 c #Conflicts: 344000 | #Constraints: 30303 3152.86/3163.52 c INPROCESSING 3152.86/3163.52 c GARBAGE COLLECT 3152.86/3163.52 c rational objective 119.893 3600.08/3612.11 c #Conflicts: 345000 | #Constraints: 16798 3600.08/3612.11 c #Conflicts: 346000 | #Constraints: 17847 3600.08/3612.11 c #Conflicts: 347000 | #Constraints: 18885 3600.08/3612.11 c #Conflicts: 348000 | #Constraints: 19944 3600.08/3612.11 c #Conflicts: 349000 | #Constraints: 21030 3600.08/3612.11 c #Conflicts: 350000 | #Constraints: 22056 3600.08/3612.11 c #Conflicts: 351000 | #Constraints: 23177 3600.08/3612.11 c #Conflicts: 352000 | #Constraints: 24311 3600.08/3612.11 c #Conflicts: 353000 | #Constraints: 25421 3600.08/3612.11 c #Conflicts: 354000 | #Constraints: 26439 3600.08/3612.11 c #Conflicts: 355000 | #Constraints: 27464 3600.08/3612.11 c #Conflicts: 356000 | #Constraints: 28499 3600.08/3612.11 c #Conflicts: 357000 | #Constraints: 29501 3600.08/3612.11 c #Conflicts: 358000 | #Constraints: 30512 3600.08/3612.11 c #Conflicts: 359000 | #Constraints: 31519 3600.08/3612.11 c #Conflicts: 360000 | #Constraints: 32547 3600.08/3612.11 c #Conflicts: 361000 | #Constraints: 33603 3600.08/3612.11 c #Conflicts: 362000 | #Constraints: 34606 3600.08/3612.11 c #Conflicts: 363000 | #Constraints: 35637 3600.08/3612.11 c #Conflicts: 364000 | #Constraints: 36645 3600.08/3612.11 c #Conflicts: 365000 | #Constraints: 37650 3600.08/3612.11 c #Conflicts: 366000 | #Constraints: 38651 3600.08/3612.11 c #Conflicts: 367000 | #Constraints: 39658 3600.08/3612.11 c #Conflicts: 368000 | #Constraints: 40661 3600.08/3612.11 c #Conflicts: 369000 | #Constraints: 41682 3600.08/3612.11 c #Conflicts: 370000 | #Constraints: 42689 3600.08/3612.11 c #Conflicts: 371000 | #Constraints: 43716 3600.08/3612.11 c #Conflicts: 372000 | #Constraints: 44732 3600.08/3612.11 c #Conflicts: 373000 | #Constraints: 45750 3600.08/3612.11 c #Conflicts: 374000 | #Constraints: 46761 3600.08/3612.11 c Program interrupted by user. 3600.08/3612.11 c cpu time 3575.64 s 3600.08/3612.11 c deterministic time 491780245223 4.92e+11 3600.08/3612.11 c optimization time 445.916 s 3600.08/3612.11 c total solve time 3129.72 s 3600.08/3612.11 c core-guided solve time 1616.61 s 3600.08/3612.11 c propagation time 2893.43 s 3600.08/3612.11 c conflict analysis time 582.312 s 3600.08/3612.11 c propagations 197959227 3600.08/3612.11 c resolve steps 1991119 3600.08/3612.11 c decisions 16280308 3600.08/3612.11 c conflicts 374390 3600.08/3612.11 c restarts 892 3600.08/3612.11 c inprocessing phases 40 3600.08/3612.11 c input clauses 541 3600.08/3612.11 c input cardinalities 363 3600.08/3612.11 c input general constraints 379 3600.08/3612.11 c input average constraint length 946.71 3600.08/3612.11 c input average constraint degree 510.18 3600.08/3612.11 c learned clauses 49619 3600.08/3612.11 c learned cardinalities 18955 3600.08/3612.11 c learned general constraints 312175 3600.08/3612.11 c learned average constraint length 2388.25 3600.08/3612.11 c learned average constraint degree 218637446219.48 3600.08/3612.11 c watched constraints 73830 3600.08/3612.11 c counting constraints 238724 3600.08/3612.11 c gcd simplifications 5765 3600.08/3612.11 c detected cardinalities 653 3600.08/3612.11 c weakened non-implied lits 155755600 3600.08/3612.11 c weakened non-implying lits 97819 3600.08/3612.11 c original variables 4688 3600.08/3612.11 c clausal propagations 3854450 3600.08/3612.11 c cardinality propagations 3223283 3600.08/3612.11 c watched propagations 19214252 3600.08/3612.11 c counting propagations 166687574 3600.08/3612.11 c watch lookups 56800009187 3600.08/3612.11 c watch backjump lookups 54831350450 3600.08/3612.11 c watch checks 144650208456 3600.08/3612.11 c propagation checks 231475669792 3600.08/3612.11 c constraint additions 3593701591 3600.08/3612.11 c trail pops 214607481 3600.08/3612.11 c formula constraints 403 3600.08/3612.11 c learned constraints 371744 3600.08/3612.11 c bound constraints 253 3600.08/3612.11 c core-guided constraints 627 3600.08/3612.11 c encountered formula constraints 300912 3600.08/3612.11 c encountered learned constraints 1448268 3600.08/3612.11 c encountered bound constraints 143 3600.08/3612.11 c encountered core-guided constraints 193733 3600.08/3612.11 c LP total time 69.2564 s 3600.08/3612.11 c LP solve time 44.23 s 3600.08/3612.11 c LP constraints added 439 3600.08/3612.11 c LP constraints removed 33 3600.08/3612.11 c LP pivots internal 374462 3600.08/3612.11 c LP pivots root 84268 3600.08/3612.11 c LP calls 6530 3600.08/3612.11 c LP optimalities 186 3600.08/3612.11 c LP no pivot count 30 3600.08/3612.11 c LP infeasibilities 6326 3600.08/3612.11 c LP valid Farkas constraints 6312 3600.08/3612.11 c LP learned Farkas constraints 2657 3600.08/3612.11 c LP basis resets 28 3600.08/3612.11 c LP cycling count 12 3600.08/3612.11 c LP singular count 2 3600.08/3612.11 c LP no primal count 0 3600.08/3612.11 c LP no farkas count 14 3600.08/3612.11 c LP other issue count 0 3600.08/3612.11 c LP Gomory cuts 36 3600.08/3612.11 c LP learned cuts 0 3600.08/3612.11 c LP deleted cuts 33 3600.08/3612.11 c LP encountered Gomory constraints 0 3600.08/3612.11 c LP encountered Farkas constraints 382290 3600.08/3612.11 c LP encountered learned Farkas constraints 37506 3600.08/3612.11 c CG auxiliary variables introduced 246 3600.08/3612.11 c CG solutions found 142 3600.08/3612.11 c CG cores constructed 111 3600.08/3612.11 c CG core cardinality constraints returned 0 3600.08/3612.11 c CG unit cores 0 3600.08/3612.11 c CG single cores 111 3600.08/3612.11 c CG blocks removed during cardinality reduction 0 3600.08/3612.11 c CG first core best 0 3600.08/3612.11 c CG decision core best 0 3600.08/3612.11 c CG core reduction tie 0 3600.08/3612.11 c CG core degree average 1.00 3600.08/3612.11 c CG core slack average 26.52 3600.08/3612.11 s SATISFIABLE 3600.08/3612.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 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688
OK 122
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: 63931 MiB (59994 MiB free)
memory of node 1: 64510 MiB (57966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455097-1721459688/watcher-4455097-1721459688 -o /tmp/evaluation-result-4455097-1721459688/solver-4455097-1721459688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721455786-1069359 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455097-1721459688.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1071934, runsolver pid=1071931
[startup+0.100086 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 1071935
/proc/meminfo: memFree=120787072/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=41888 memory=11872 CPUtime=0.09 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 1730 0 0 0 9 0 0 0 20 0 1 0 198137072 42893312 2968 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 10472 2968 1761 922 0 2424 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41888 KiB
Current children cumulated memory: 11872 KiB
[startup+0.205355 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 1071935
/proc/meminfo: memFree=120785876/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=42920 memory=13048 CPUtime=0.2 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 2013 0 0 0 18 2 0 0 20 0 1 0 198137072 43950080 3262 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 10730 3262 1793 922 0 2682 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42920 KiB
Current children cumulated memory: 13048 KiB
[startup+0.304674 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 1071935
/proc/meminfo: memFree=120782204/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=43932 memory=16412 CPUtime=0.3 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 2354 0 0 0 23 7 0 0 20 0 1 0 198137072 44986368 4103 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 10983 4103 1793 922 0 2935 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 16412 KiB
[startup+0.700212 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1071935
/proc/meminfo: memFree=120780720/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=55676 memory=28460 CPUtime=0.68 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 5244 0 0 0 41 27 0 0 20 0 1 0 198137072 57012224 7115 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 13919 7115 1867 922 0 5871 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55676 KiB
Current children cumulated memory: 28460 KiB
[startup+1.50023 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1071935
/proc/meminfo: memFree=120746788/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=81904 memory=49524 CPUtime=1.48 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 10029 0 0 0 108 40 0 0 20 0 1 0 198137072 83869696 12381 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 20476 12381 1883 922 0 12428 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81904 KiB
Current children cumulated memory: 49524 KiB
[startup+3.10549 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1071935
/proc/meminfo: memFree=120671336/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=152528 memory=120504 CPUtime=3.09 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 24664 0 0 0 255 54 0 0 20 0 1 0 198137072 156188672 30126 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 38132 30126 1883 922 0 30084 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 152528 KiB
Current children cumulated memory: 120504 KiB
[startup+6.30021 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1071935
/proc/meminfo: memFree=120665748/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=155592 memory=125980 CPUtime=6.27 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 25569 0 0 0 550 77 0 0 20 0 1 0 198137072 159326208 31495 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 38898 31495 1883 922 0 30850 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 155592 KiB
Current children cumulated memory: 125980 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1071937
/proc/meminfo: memFree=120583600/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=280528 memory=209620 CPUtime=12.65 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 41833 0 0 0 1143 122 0 0 20 0 1 0 198137072 287260672 52405 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 70132 52405 1883 922 0 62084 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 280528 KiB
Current children cumulated memory: 209620 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 1071939
/proc/meminfo: memFree=120486516/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=284000 memory=243884 CPUtime=25.41 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 44167 0 0 0 2363 178 0 0 20 0 1 0 198137072 290816000 60971 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 71000 60971 1883 922 0 62952 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 284000 KiB
Current children cumulated memory: 243884 KiB
[startup+51.1052 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 1072082
/proc/meminfo: memFree=121484576/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=355188 memory=284212 CPUtime=50.93 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 51337 0 0 0 4803 290 0 0 20 0 1 0 198137072 363712512 71053 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 88797 71053 1997 922 0 80749 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 355188 KiB
Current children cumulated memory: 284212 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 1072091
/proc/meminfo: memFree=121247288/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=464428 memory=394660 CPUtime=101.96 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 71877 0 0 0 9756 440 0 0 20 0 1 0 198137072 475574272 98665 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 116107 98665 2013 922 0 108059 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 464428 KiB
Current children cumulated memory: 394660 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 1072103
/proc/meminfo: memFree=121054020/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=579628 memory=491000 CPUtime=161.76 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 81722 0 0 0 15584 592 0 0 20 0 1 0 198137072 593539072 122750 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 144907 122750 2013 922 0 136859 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 579628 KiB
Current children cumulated memory: 491000 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/255 1072113
/proc/meminfo: memFree=120857564/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=582932 memory=495232 CPUtime=221.56 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 83392 0 0 0 21451 705 0 0 20 0 1 0 198137072 596922368 123808 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 145733 123808 2013 922 0 137685 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 582932 KiB
Current children cumulated memory: 495232 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/255 1072123
/proc/meminfo: memFree=120459840/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=1202224 memory=899412 CPUtime=281.36 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 142560 0 0 0 27349 787 0 0 20 0 1 0 198137072 1231077376 224853 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 300556 224853 2013 922 0 292508 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 1202224 KiB
Current children cumulated memory: 899412 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/258 1072138
/proc/meminfo: memFree=120462468/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=1228848 memory=935520 CPUtime=341.16 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 147521 0 0 0 33270 846 0 0 20 0 1 0 198137072 1258340352 233880 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 307212 233880 2013 922 0 299164 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 1228848 KiB
Current children cumulated memory: 935520 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/258 1072149
/proc/meminfo: memFree=120441464/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=1246256 memory=961900 CPUtime=400.95 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 151082 0 0 0 39205 890 0 0 20 0 1 0 198137072 1276166144 240475 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 311564 240475 2013 922 0 303516 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 1246256 KiB
Current children cumulated memory: 961900 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1072161
/proc/meminfo: memFree=120368644/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=1255180 memory=978436 CPUtime=460.75 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 153204 0 0 0 45127 948 0 0 20 0 1 0 198137072 1285304320 244609 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 313795 244609 2013 922 0 305747 0
################
# More data... #
################
Current children cumulated memory: 3492912 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.18 4.16 5/256 1073790
/proc/meminfo: memFree=116690804/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3537540 CPUtime=2912.44 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 445242 0 0 0 289049 2195 0 0 20 0 1 0 198137072 3890204672 884385 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 884385 2013 922 0 941709 0
Current children cumulated CPU time: 2912.44 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3537540 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.18 4.16 5/256 1073801
/proc/meminfo: memFree=116519764/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=2972.22 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 447012 0 0 0 295009 2213 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 2972.22 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.16 4.15 5/255 1073811
/proc/meminfo: memFree=116665144/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3032.02 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 448441 0 0 0 300945 2257 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3032.02 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.13 4.14 5/256 1073823
/proc/meminfo: memFree=116673568/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3091.84 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 449951 0 0 0 306876 2308 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3091.84 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/256 1073834
/proc/meminfo: memFree=116676064/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3151.66 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 451476 0 0 0 312820 2346 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/256 1073845
/proc/meminfo: memFree=116663252/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3211.46 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 453021 0 0 0 318772 2374 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/256 1073855
/proc/meminfo: memFree=116673508/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3271.28 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 454605 0 0 0 324738 2390 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/258 1073914
/proc/meminfo: memFree=118655380/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3331.1 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 456125 0 0 0 330706 2404 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/258 1073926
/proc/meminfo: memFree=117517676/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3390.92 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 457621 0 0 0 336676 2416 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3390.92 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/257 1073983
/proc/meminfo: memFree=115415500/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3450.73 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 459279 0 0 0 342646 2427 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3450.73 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/257 1073993
/proc/meminfo: memFree=112957768/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3510.55 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 460971 0 0 0 348620 2435 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.11 4.11 5/257 1074004
/proc/meminfo: memFree=111183320/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3570.37 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 462572 0 0 0 354595 2442 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3570.37 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.10 4.10 4.10 5/257 1074009
/proc/meminfo: memFree=111062396/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3600.08 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 463484 0 0 0 357563 2445 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 1071934 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.64 s, system=24.4641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.10 4.10 4.10 5/257 1074009
/proc/meminfo: memFree=111062396/131524600 swapFree=131071996/131071996
[pid=1071934] ppid=1071931 vsize=3799028 memory=3566204 CPUtime=3600.08 cores=0,2
/proc/1071934/stat : 1071934 (roundingsat) R 1071931 1071934 1069349 0 -1 4194304 463484 0 0 0 357563 2445 0 0 20 0 1 0 198137072 3890204672 891551 134679101440 4194304 7968373 140729667240032 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29134848 140729667244988 140729667245152 140729667245152 140729667252169 0
/proc/1071934/statm: 949757 891551 2013 922 0 941709 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3799028 KiB
Current children cumulated memory: 3566204 KiB
Child status: 0
Real time (s): 3612.12
CPU time (s): 3600.1
CPU user time (s): 3575.64
CPU system time (s): 24.4641
CPU usage (%): 99.6673
Max. virtual memory (cumulated for all children) (KiB): 3799028
Max. memory (cumulated for all children) (KiB): 3566204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.64
system time used= 24.4641
maximum resident set size= 3566204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463493
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202
involuntary context switches= 25281
# summary of solver processes directly reported to runsolver:
# pid: 1071934
# total CPU time (s): 3600.1
# total CPU user time (s): 3575.64
# total CPU system time (s): 24.4641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85435 second user time and 15.7816 second system time
The end
Begin job on nodeC031 at 2024-07-20 09:15:01 IDJOB=4455097 IDBENCH=147662 IDSOLVER=3084 FILE ID=nodeC031/4455097-1721459688 RUNJOBID= nodeC031-1721455786-1069359 SLURM_JOB_ID= 7545688 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455097-1721459688/watcher-4455097-1721459688 -o /tmp/evaluation-result-4455097-1721459688/solver-4455097-1721459688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721455786-1069359 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455097-1721459688.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f38762496267db1df9beeeeb0c56175f RANDOM SEED=753970079 nodeC031.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 : 0xb00002a cpu MHz : 3660.524 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.55 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 : 0xb00002a cpu MHz : 3681.985 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.11 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 : 0xb00002a cpu MHz : 3648.763 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.55 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 : 0xb00002a cpu MHz : 3600.065 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.11 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 : 0xb00002a cpu MHz : 3660.896 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.55 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 : 0xb00002a cpu MHz : 3682.018 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.11 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 : 0xb00002a cpu MHz : 3610.669 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.55 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 : 0xb00002a cpu MHz : 3599.802 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 120792460 kB MemAvailable: 127358964 kB Buffers: 536492 kB Cached: 6795996 kB SwapCached: 0 kB Active: 1101396 kB Inactive: 8837540 kB Active(anon): 1552 kB Inactive(anon): 2650476 kB Active(file): 1099844 kB Inactive(file): 6187064 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5344 kB Writeback: 0 kB AnonPages: 2604400 kB Mapped: 117916 kB Shmem: 45912 kB KReclaimable: 238488 kB Slab: 368040 kB SReclaimable: 238488 kB SUnreclaim: 129552 kB KernelStack: 4108 kB PageTables: 14692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3044520 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 73856 kB HardwareCorrupted: 0 kB AnonHugePages: 1071104 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: 254676 kB DirectMap2M: 39364608 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 890012 MiB End job on nodeC031 at 2024-07-20 10:15:13