| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 16 | 3600.14 | 3613.14 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb |
| MD5SUM | a64beba99ddb27280a5fb75072b9e119 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 3419.49 |
| 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 | 5568 |
| Total number of constraints | 412 |
| Number of constraints which are clauses | 173 |
| Number of constraints which are cardinality constraints (but not clauses) | 173 |
| Number of constraints which are nor clauses,nor cardinality constraints | 66 |
| Minimum length of a constraint | 32 |
| Maximum length of a constraint | 174 |
| Number of terms in the objective function | 32 |
| 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 | 32 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 56906 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 206719 |
| Number of bits of the biggest sum of numbers | 18 |
| 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.01 c #variables 5568 #constraints 412 0.00/0.05 c bounds 33 >= 0 @ 0.012093 0.00/0.05 c rational objective 15 4.17/4.29 c bounds 18 >= 0 @ 0.216208 4.17/4.29 c bounds 18 >= 15 @ 0.216487 4.17/4.29 c #Conflicts: 1000 | #Constraints: 1558 4.17/4.29 c #Conflicts: 2000 | #Constraints: 2788 4.17/4.29 c INPROCESSING 4.17/4.29 c GARBAGE COLLECT 4.17/4.29 c bounds 17 >= 15 @ 2.16163 4.17/4.29 c bounds 16 >= 15 @ 2.17014 4.17/4.29 c #Conflicts: 3000 | #Constraints: 2620 4.17/4.29 c #Conflicts: 4000 | #Constraints: 3620 4.17/4.29 c INPROCESSING 4.17/4.29 c GARBAGE COLLECT 4.17/4.29 c rational objective 15 7.36/7.45 c #Conflicts: 5000 | #Constraints: 2938 7.36/7.45 c #Conflicts: 6000 | #Constraints: 3959 7.36/7.45 c INPROCESSING 7.36/7.45 c GARBAGE COLLECT 7.36/7.45 c rational objective 15 9.66/9.79 c #Conflicts: 7000 | #Constraints: 2914 9.66/9.79 c #Conflicts: 8000 | #Constraints: 3915 9.66/9.79 c #Conflicts: 9000 | #Constraints: 4915 9.66/9.79 c INPROCESSING 9.66/9.79 c GARBAGE COLLECT 9.66/9.79 c rational objective 15 11.34/11.45 c #Conflicts: 10000 | #Constraints: 3592 11.34/11.45 c #Conflicts: 11000 | #Constraints: 4592 11.34/11.45 c #Conflicts: 12000 | #Constraints: 5592 11.34/11.45 c INPROCESSING 11.34/11.45 c GARBAGE COLLECT 11.34/11.45 c rational objective 15 13.64/13.75 c #Conflicts: 13000 | #Constraints: 4029 13.64/13.75 c #Conflicts: 14000 | #Constraints: 5029 13.64/13.75 c #Conflicts: 15000 | #Constraints: 6029 13.64/13.75 c INPROCESSING 13.64/13.75 c GARBAGE COLLECT 13.64/13.75 c rational objective 15 17.82/17.94 c #Conflicts: 16000 | #Constraints: 4246 17.82/17.94 c #Conflicts: 17000 | #Constraints: 5246 17.82/17.94 c #Conflicts: 18000 | #Constraints: 6246 17.82/17.94 c INPROCESSING 17.82/17.94 c GARBAGE COLLECT 17.82/17.94 c rational objective 15 21.41/21.58 c #Conflicts: 19000 | #Constraints: 4266 21.41/21.58 c #Conflicts: 20000 | #Constraints: 5270 21.41/21.58 c #Conflicts: 21000 | #Constraints: 6299 21.41/21.58 c INPROCESSING 21.41/21.58 c GARBAGE COLLECT 21.41/21.58 c rational objective 15 24.90/25.09 c #Conflicts: 22000 | #Constraints: 4078 24.90/25.09 c #Conflicts: 23000 | #Constraints: 5078 24.90/25.09 c #Conflicts: 24000 | #Constraints: 6078 24.90/25.09 c #Conflicts: 25000 | #Constraints: 7078 24.90/25.09 c INPROCESSING 24.90/25.09 c GARBAGE COLLECT 24.90/25.09 c rational objective 15 27.00/27.15 c #Conflicts: 26000 | #Constraints: 4663 27.00/27.15 c #Conflicts: 27000 | #Constraints: 5663 27.00/27.15 c #Conflicts: 28000 | #Constraints: 6663 27.00/27.15 c #Conflicts: 29000 | #Constraints: 7663 27.00/27.15 c INPROCESSING 27.00/27.15 c GARBAGE COLLECT 27.00/27.15 c rational objective 15 31.08/31.26 c #Conflicts: 30000 | #Constraints: 5057 31.08/31.26 c #Conflicts: 31000 | #Constraints: 6057 31.08/31.26 c #Conflicts: 32000 | #Constraints: 7074 31.08/31.26 c #Conflicts: 33000 | #Constraints: 8074 31.08/31.26 c INPROCESSING 31.08/31.26 c GARBAGE COLLECT 31.08/31.26 c rational objective 15 34.47/34.65 c #Conflicts: 34000 | #Constraints: 5261 34.47/34.65 c #Conflicts: 35000 | #Constraints: 6261 34.47/34.65 c #Conflicts: 36000 | #Constraints: 7261 34.47/34.65 c #Conflicts: 37000 | #Constraints: 8261 34.47/34.65 c INPROCESSING 34.47/34.65 c GARBAGE COLLECT 34.47/34.65 c rational objective 15 40.95/41.13 c #Conflicts: 38000 | #Constraints: 5261 40.95/41.13 c #Conflicts: 39000 | #Constraints: 6261 40.95/41.13 c #Conflicts: 40000 | #Constraints: 7261 40.95/41.13 c #Conflicts: 41000 | #Constraints: 8261 40.95/41.13 c INPROCESSING 40.95/41.13 c GARBAGE COLLECT 40.95/41.13 c rational objective 15 59.48/59.73 c #Conflicts: 42000 | #Constraints: 5061 59.48/59.73 c #Conflicts: 43000 | #Constraints: 6082 59.48/59.73 c #Conflicts: 44000 | #Constraints: 7113 59.48/59.73 c #Conflicts: 45000 | #Constraints: 8162 59.48/59.73 c #Conflicts: 46000 | #Constraints: 9295 59.48/59.73 c INPROCESSING 59.48/59.73 c GARBAGE COLLECT 59.48/59.73 c rational objective 15 66.36/66.65 c #Conflicts: 47000 | #Constraints: 5771 66.36/66.65 c #Conflicts: 48000 | #Constraints: 6771 66.36/66.65 c #Conflicts: 49000 | #Constraints: 7772 66.36/66.65 c #Conflicts: 50000 | #Constraints: 8773 66.36/66.65 c #Conflicts: 51000 | #Constraints: 9773 66.36/66.65 c INPROCESSING 66.36/66.65 c GARBAGE COLLECT 66.36/66.65 c rational objective 15 70.85/71.15 c #Conflicts: 52000 | #Constraints: 6111 70.85/71.15 c #Conflicts: 53000 | #Constraints: 7111 70.85/71.15 c #Conflicts: 54000 | #Constraints: 8111 70.85/71.15 c #Conflicts: 55000 | #Constraints: 9111 70.85/71.15 c #Conflicts: 56000 | #Constraints: 10111 70.85/71.15 c INPROCESSING 70.85/71.15 c GARBAGE COLLECT 70.85/71.15 c rational objective 15 75.13/75.43 c #Conflicts: 57000 | #Constraints: 6280 75.13/75.43 c #Conflicts: 58000 | #Constraints: 7280 75.13/75.43 c #Conflicts: 59000 | #Constraints: 8280 75.13/75.43 c #Conflicts: 60000 | #Constraints: 9280 75.13/75.43 c #Conflicts: 61000 | #Constraints: 10280 75.13/75.43 c INPROCESSING 75.13/75.43 c GARBAGE COLLECT 75.13/75.43 c rational objective 15 83.61/83.90 c #Conflicts: 62000 | #Constraints: 6264 83.61/83.90 c #Conflicts: 63000 | #Constraints: 7264 83.61/83.90 c #Conflicts: 64000 | #Constraints: 8264 83.61/83.90 c #Conflicts: 65000 | #Constraints: 9264 83.61/83.90 c #Conflicts: 66000 | #Constraints: 10265 83.61/83.90 c INPROCESSING 83.61/83.90 c GARBAGE COLLECT 83.61/83.90 c rational objective 15 90.79/91.18 c #Conflicts: 67000 | #Constraints: 6050 90.79/91.18 c #Conflicts: 68000 | #Constraints: 7051 90.79/91.18 c #Conflicts: 69000 | #Constraints: 8051 90.79/91.18 c #Conflicts: 70000 | #Constraints: 9051 90.79/91.18 c #Conflicts: 71000 | #Constraints: 10068 90.79/91.18 c #Conflicts: 72000 | #Constraints: 11124 90.79/91.18 c INPROCESSING 90.79/91.18 c GARBAGE COLLECT 90.79/91.18 c rational objective 15 102.34/102.78 c #Conflicts: 73000 | #Constraints: 6682 102.34/102.78 c #Conflicts: 74000 | #Constraints: 7682 102.34/102.78 c #Conflicts: 75000 | #Constraints: 8682 102.34/102.78 c #Conflicts: 76000 | #Constraints: 9682 102.34/102.78 c #Conflicts: 77000 | #Constraints: 10682 102.34/102.78 c #Conflicts: 78000 | #Constraints: 11682 102.34/102.78 c INPROCESSING 102.34/102.78 c GARBAGE COLLECT 102.34/102.78 c rational objective 15 107.93/108.32 c #Conflicts: 79000 | #Constraints: 7063 107.93/108.32 c #Conflicts: 80000 | #Constraints: 8063 107.93/108.32 c #Conflicts: 81000 | #Constraints: 9063 107.93/108.32 c #Conflicts: 82000 | #Constraints: 10063 107.93/108.32 c #Conflicts: 83000 | #Constraints: 11063 107.93/108.32 c #Conflicts: 84000 | #Constraints: 12063 107.93/108.32 c INPROCESSING 107.93/108.32 c GARBAGE COLLECT 107.93/108.32 c rational objective 15 119.39/119.87 c #Conflicts: 85000 | #Constraints: 7253 119.39/119.87 c #Conflicts: 86000 | #Constraints: 8253 119.39/119.87 c #Conflicts: 87000 | #Constraints: 9254 119.39/119.87 c #Conflicts: 88000 | #Constraints: 10254 119.39/119.87 c #Conflicts: 89000 | #Constraints: 11254 119.39/119.87 c #Conflicts: 90000 | #Constraints: 12254 119.39/119.87 c INPROCESSING 119.39/119.87 c GARBAGE COLLECT 119.39/119.87 c rational objective 15 149.29/149.81 c #Conflicts: 91000 | #Constraints: 7250 149.29/149.81 c #Conflicts: 92000 | #Constraints: 8250 149.29/149.81 c #Conflicts: 93000 | #Constraints: 9250 149.29/149.81 c #Conflicts: 94000 | #Constraints: 10250 149.29/149.81 c #Conflicts: 95000 | #Constraints: 11250 149.29/149.81 c #Conflicts: 96000 | #Constraints: 12250 149.29/149.81 c INPROCESSING 149.29/149.81 c GARBAGE COLLECT 149.29/149.81 c #Conflicts: 97000 | #Constraints: 7048 149.29/149.81 c #Conflicts: 98000 | #Constraints: 8048 149.29/149.81 c #Conflicts: 99000 | #Constraints: 9048 149.29/149.81 c #Conflicts: 100000 | #Constraints: 10048 149.29/149.81 c #Conflicts: 101000 | #Constraints: 11048 149.29/149.81 c #Conflicts: 102000 | #Constraints: 12048 149.29/149.81 c #Conflicts: 103000 | #Constraints: 13048 149.29/149.81 c INPROCESSING 149.29/149.81 c GARBAGE COLLECT 149.29/149.81 c rational objective 15 160.75/161.39 c #Conflicts: 104000 | #Constraints: 7645 160.75/161.39 c #Conflicts: 105000 | #Constraints: 8645 160.75/161.39 c #Conflicts: 106000 | #Constraints: 9645 160.75/161.39 c #Conflicts: 107000 | #Constraints: 10645 160.75/161.39 c #Conflicts: 108000 | #Constraints: 11645 160.75/161.39 c #Conflicts: 109000 | #Constraints: 12645 160.75/161.39 c #Conflicts: 110000 | #Constraints: 13645 160.75/161.39 c INPROCESSING 160.75/161.39 c GARBAGE COLLECT 160.75/161.39 c rational objective 15 199.22/199.93 c #Conflicts: 111000 | #Constraints: 8042 199.22/199.93 c #Conflicts: 112000 | #Constraints: 9042 199.22/199.93 c #Conflicts: 113000 | #Constraints: 10042 199.22/199.93 c #Conflicts: 114000 | #Constraints: 11043 199.22/199.93 c #Conflicts: 115000 | #Constraints: 12043 199.22/199.93 c #Conflicts: 116000 | #Constraints: 13043 199.22/199.93 c #Conflicts: 117000 | #Constraints: 14043 199.22/199.93 c INPROCESSING 199.22/199.93 c GARBAGE COLLECT 199.22/199.93 c #Conflicts: 118000 | #Constraints: 8242 199.22/199.93 c #Conflicts: 119000 | #Constraints: 9242 199.22/199.93 c #Conflicts: 120000 | #Constraints: 10242 199.22/199.93 c #Conflicts: 121000 | #Constraints: 11242 199.22/199.93 c #Conflicts: 122000 | #Constraints: 12242 199.22/199.93 c #Conflicts: 123000 | #Constraints: 13244 199.22/199.93 c #Conflicts: 124000 | #Constraints: 14247 199.22/199.93 c INPROCESSING 199.22/199.93 c GARBAGE COLLECT 199.22/199.93 c #Conflicts: 125000 | #Constraints: 8247 199.22/199.93 c #Conflicts: 126000 | #Constraints: 9250 199.22/199.93 c #Conflicts: 127000 | #Constraints: 10259 199.22/199.93 c #Conflicts: 128000 | #Constraints: 11259 199.22/199.93 c #Conflicts: 129000 | #Constraints: 12259 199.22/199.93 c #Conflicts: 130000 | #Constraints: 13259 199.22/199.93 c #Conflicts: 131000 | #Constraints: 14259 199.22/199.93 c INPROCESSING 199.22/199.93 c GARBAGE COLLECT 199.22/199.93 c rational objective 15 207.29/208.07 c #Conflicts: 132000 | #Constraints: 8066 207.29/208.07 c #Conflicts: 133000 | #Constraints: 9072 207.29/208.07 c #Conflicts: 134000 | #Constraints: 10079 207.29/208.07 c #Conflicts: 135000 | #Constraints: 11079 207.29/208.07 c #Conflicts: 136000 | #Constraints: 12080 207.29/208.07 c #Conflicts: 137000 | #Constraints: 13080 207.29/208.07 c #Conflicts: 138000 | #Constraints: 14084 207.29/208.07 c #Conflicts: 139000 | #Constraints: 15093 207.29/208.07 c INPROCESSING 207.29/208.07 c GARBAGE COLLECT 207.29/208.07 c rational objective 15 228.23/229.07 c #Conflicts: 140000 | #Constraints: 8668 228.23/229.07 c #Conflicts: 141000 | #Constraints: 9679 228.23/229.07 c #Conflicts: 142000 | #Constraints: 10682 228.23/229.07 c #Conflicts: 143000 | #Constraints: 11689 228.23/229.07 c #Conflicts: 144000 | #Constraints: 12698 228.23/229.07 c #Conflicts: 145000 | #Constraints: 13701 228.23/229.07 c #Conflicts: 146000 | #Constraints: 14704 228.23/229.07 c #Conflicts: 147000 | #Constraints: 15707 228.23/229.07 c INPROCESSING 228.23/229.07 c GARBAGE COLLECT 228.23/229.07 c rational objective 15 241.37/242.27 c #Conflicts: 148000 | #Constraints: 9083 241.37/242.27 c #Conflicts: 149000 | #Constraints: 10085 241.37/242.27 c #Conflicts: 150000 | #Constraints: 11085 241.37/242.27 c #Conflicts: 151000 | #Constraints: 12085 241.37/242.27 c #Conflicts: 152000 | #Constraints: 13085 241.37/242.27 c #Conflicts: 153000 | #Constraints: 14099 241.37/242.27 c #Conflicts: 154000 | #Constraints: 15102 241.37/242.27 c #Conflicts: 155000 | #Constraints: 16105 241.37/242.27 c INPROCESSING 241.37/242.27 c GARBAGE COLLECT 241.37/242.27 c rational objective 15 251.54/252.41 c #Conflicts: 156000 | #Constraints: 9294 251.54/252.41 c #Conflicts: 157000 | #Constraints: 10294 251.54/252.41 c #Conflicts: 158000 | #Constraints: 11294 251.54/252.41 c #Conflicts: 159000 | #Constraints: 12294 251.54/252.41 c #Conflicts: 160000 | #Constraints: 13294 251.54/252.41 c #Conflicts: 161000 | #Constraints: 14294 251.54/252.41 c #Conflicts: 162000 | #Constraints: 15294 251.54/252.41 c #Conflicts: 163000 | #Constraints: 16294 251.54/252.41 c INPROCESSING 251.54/252.41 c GARBAGE COLLECT 251.54/252.41 c rational objective 15 269.67/270.61 c #Conflicts: 164000 | #Constraints: 9273 269.67/270.61 c #Conflicts: 165000 | #Constraints: 10273 269.67/270.61 c #Conflicts: 166000 | #Constraints: 11275 269.67/270.61 c #Conflicts: 167000 | #Constraints: 12279 269.67/270.61 c #Conflicts: 168000 | #Constraints: 13284 269.67/270.61 c #Conflicts: 169000 | #Constraints: 14285 269.67/270.61 c #Conflicts: 170000 | #Constraints: 15286 269.67/270.61 c #Conflicts: 171000 | #Constraints: 16286 269.67/270.61 c INPROCESSING 269.67/270.61 c GARBAGE COLLECT 269.67/270.61 c rational objective 15 284.22/285.20 c #Conflicts: 172000 | #Constraints: 9076 284.22/285.20 c #Conflicts: 173000 | #Constraints: 10080 284.22/285.20 c #Conflicts: 174000 | #Constraints: 11086 284.22/285.20 c #Conflicts: 175000 | #Constraints: 12086 284.22/285.20 c #Conflicts: 176000 | #Constraints: 13086 284.22/285.20 c #Conflicts: 177000 | #Constraints: 14086 284.22/285.20 c #Conflicts: 178000 | #Constraints: 15086 284.22/285.20 c #Conflicts: 179000 | #Constraints: 16086 284.22/285.20 c #Conflicts: 180000 | #Constraints: 17086 284.22/285.20 c INPROCESSING 284.22/285.20 c GARBAGE COLLECT 284.22/285.20 c rational objective 15 291.70/292.74 c #Conflicts: 181000 | #Constraints: 9744 291.70/292.74 c #Conflicts: 182000 | #Constraints: 10744 291.70/292.74 c #Conflicts: 183000 | #Constraints: 11744 291.70/292.74 c #Conflicts: 184000 | #Constraints: 12744 291.70/292.74 c #Conflicts: 185000 | #Constraints: 13744 291.70/292.74 c #Conflicts: 186000 | #Constraints: 14744 291.70/292.74 c #Conflicts: 187000 | #Constraints: 15744 291.70/292.74 c #Conflicts: 188000 | #Constraints: 16744 291.70/292.74 c #Conflicts: 189000 | #Constraints: 17745 291.70/292.74 c INPROCESSING 291.70/292.74 c GARBAGE COLLECT 291.70/292.74 c rational objective 15 297.58/298.65 c #Conflicts: 190000 | #Constraints: 10102 297.58/298.65 c #Conflicts: 191000 | #Constraints: 11102 297.58/298.65 c #Conflicts: 192000 | #Constraints: 12102 297.58/298.65 c #Conflicts: 193000 | #Constraints: 13102 297.58/298.65 c #Conflicts: 194000 | #Constraints: 14102 297.58/298.65 c #Conflicts: 195000 | #Constraints: 15103 297.58/298.65 c #Conflicts: 196000 | #Constraints: 16105 297.58/298.65 c #Conflicts: 197000 | #Constraints: 17106 297.58/298.65 c #Conflicts: 198000 | #Constraints: 18109 297.58/298.65 c INPROCESSING 297.58/298.65 c GARBAGE COLLECT 297.58/298.65 c rational objective 15 311.34/312.44 c #Conflicts: 199000 | #Constraints: 10296 311.34/312.44 c #Conflicts: 200000 | #Constraints: 11296 311.34/312.44 c #Conflicts: 201000 | #Constraints: 12296 311.34/312.44 c #Conflicts: 202000 | #Constraints: 13296 311.34/312.44 c #Conflicts: 203000 | #Constraints: 14297 311.34/312.44 c #Conflicts: 204000 | #Constraints: 15297 311.34/312.44 c #Conflicts: 205000 | #Constraints: 16297 311.34/312.44 c #Conflicts: 206000 | #Constraints: 17297 311.34/312.44 c #Conflicts: 207000 | #Constraints: 18297 311.34/312.44 c INPROCESSING 311.34/312.44 c GARBAGE COLLECT 311.34/312.44 c rational objective 15 331.37/332.52 c #Conflicts: 208000 | #Constraints: 10307 331.37/332.52 c #Conflicts: 209000 | #Constraints: 11307 331.37/332.52 c #Conflicts: 210000 | #Constraints: 12307 331.37/332.52 c #Conflicts: 211000 | #Constraints: 13307 331.37/332.52 c #Conflicts: 212000 | #Constraints: 14307 331.37/332.52 c #Conflicts: 213000 | #Constraints: 15699 331.37/332.52 c #Conflicts: 214000 | #Constraints: 16866 331.37/332.52 c #Conflicts: 215000 | #Constraints: 17867 331.37/332.52 c #Conflicts: 216000 | #Constraints: 18874 331.37/332.52 c INPROCESSING 331.37/332.52 c GARBAGE COLLECT 331.37/332.52 c rational objective 15 441.40/442.95 c #Conflicts: 217000 | #Constraints: 10385 441.40/442.95 c #Conflicts: 218000 | #Constraints: 11385 441.40/442.95 c #Conflicts: 219000 | #Constraints: 12385 441.40/442.95 c #Conflicts: 220000 | #Constraints: 13385 441.40/442.95 c #Conflicts: 221000 | #Constraints: 14386 441.40/442.95 c #Conflicts: 222000 | #Constraints: 15386 441.40/442.95 c #Conflicts: 223000 | #Constraints: 16386 441.40/442.95 c #Conflicts: 224000 | #Constraints: 17396 441.40/442.95 c #Conflicts: 225000 | #Constraints: 18421 441.40/442.95 c #Conflicts: 226000 | #Constraints: 19477 441.40/442.95 c INPROCESSING 441.40/442.95 c GARBAGE COLLECT 441.40/442.95 c #Conflicts: 227000 | #Constraints: 10867 441.40/442.95 c #Conflicts: 228000 | #Constraints: 11867 441.40/442.95 c #Conflicts: 229000 | #Constraints: 12869 441.40/442.95 c #Conflicts: 230000 | #Constraints: 13869 441.40/442.95 c #Conflicts: 231000 | #Constraints: 14869 441.40/442.95 c #Conflicts: 232000 | #Constraints: 15869 441.40/442.95 c #Conflicts: 233000 | #Constraints: 16869 441.40/442.95 c #Conflicts: 234000 | #Constraints: 17869 441.40/442.95 c #Conflicts: 235000 | #Constraints: 18869 441.40/442.95 c #Conflicts: 236000 | #Constraints: 19869 441.40/442.95 c INPROCESSING 441.40/442.95 c GARBAGE COLLECT 441.40/442.95 c rational objective 15 468.91/470.58 c #Conflicts: 237000 | #Constraints: 11170 468.91/470.58 c #Conflicts: 238000 | #Constraints: 12170 468.91/470.58 c #Conflicts: 239000 | #Constraints: 13170 468.91/470.58 c #Conflicts: 240000 | #Constraints: 14170 468.91/470.58 c #Conflicts: 241000 | #Constraints: 15170 468.91/470.58 c #Conflicts: 242000 | #Constraints: 16170 468.91/470.58 c #Conflicts: 243000 | #Constraints: 17170 468.91/470.58 c #Conflicts: 244000 | #Constraints: 18170 468.91/470.58 c #Conflicts: 245000 | #Constraints: 19170 468.91/470.58 c #Conflicts: 246000 | #Constraints: 20170 468.91/470.58 c INPROCESSING 468.91/470.58 c GARBAGE COLLECT 468.91/470.58 c rational objective 15 497.81/499.58 c #Conflicts: 247000 | #Constraints: 11321 497.81/499.58 c #Conflicts: 248000 | #Constraints: 12321 497.81/499.58 c #Conflicts: 249000 | #Constraints: 13321 497.81/499.58 c #Conflicts: 250000 | #Constraints: 14321 497.81/499.58 c #Conflicts: 251000 | #Constraints: 15321 497.81/499.58 c #Conflicts: 252000 | #Constraints: 16321 497.81/499.58 c #Conflicts: 253000 | #Constraints: 17323 497.81/499.58 c #Conflicts: 254000 | #Constraints: 18323 497.81/499.58 c #Conflicts: 255000 | #Constraints: 19323 497.81/499.58 c #Conflicts: 256000 | #Constraints: 20323 497.81/499.58 c INPROCESSING 497.81/499.58 c GARBAGE COLLECT 497.81/499.58 c rational objective 15 529.40/531.22 c #Conflicts: 257000 | #Constraints: 11301 529.40/531.22 c #Conflicts: 258000 | #Constraints: 12301 529.40/531.22 c #Conflicts: 259000 | #Constraints: 13301 529.40/531.22 c #Conflicts: 260000 | #Constraints: 14301 529.40/531.22 c #Conflicts: 261000 | #Constraints: 15301 529.40/531.22 c #Conflicts: 262000 | #Constraints: 16301 529.40/531.22 c #Conflicts: 263000 | #Constraints: 17301 529.40/531.22 c #Conflicts: 264000 | #Constraints: 18301 529.40/531.22 c #Conflicts: 265000 | #Constraints: 19301 529.40/531.22 c #Conflicts: 266000 | #Constraints: 20301 529.40/531.22 c INPROCESSING 529.40/531.22 c GARBAGE COLLECT 529.40/531.22 c rational objective 15 560.69/562.61 c #Conflicts: 267000 | #Constraints: 11087 560.69/562.61 c #Conflicts: 268000 | #Constraints: 12087 560.69/562.61 c #Conflicts: 269000 | #Constraints: 13087 560.69/562.61 c #Conflicts: 270000 | #Constraints: 14087 560.69/562.61 c #Conflicts: 271000 | #Constraints: 15087 560.69/562.61 c #Conflicts: 272000 | #Constraints: 16087 560.69/562.61 c #Conflicts: 273000 | #Constraints: 17087 560.69/562.61 c #Conflicts: 274000 | #Constraints: 18087 560.69/562.61 c #Conflicts: 275000 | #Constraints: 19087 560.69/562.61 c #Conflicts: 276000 | #Constraints: 20087 560.69/562.61 c #Conflicts: 277000 | #Constraints: 21087 560.69/562.61 c INPROCESSING 560.69/562.61 c GARBAGE COLLECT 560.69/562.61 c rational objective 15 649.69/651.97 c #Conflicts: 278000 | #Constraints: 11692 649.69/651.97 c #Conflicts: 279000 | #Constraints: 12692 649.69/651.97 c #Conflicts: 280000 | #Constraints: 13692 649.69/651.97 c #Conflicts: 281000 | #Constraints: 14692 649.69/651.97 c #Conflicts: 282000 | #Constraints: 15692 649.69/651.97 c #Conflicts: 283000 | #Constraints: 16692 649.69/651.97 c #Conflicts: 284000 | #Constraints: 17692 649.69/651.97 c #Conflicts: 285000 | #Constraints: 18692 649.69/651.97 c #Conflicts: 286000 | #Constraints: 19692 649.69/651.97 c #Conflicts: 287000 | #Constraints: 20692 649.69/651.97 c #Conflicts: 288000 | #Constraints: 21692 649.69/651.97 c INPROCESSING 649.69/651.97 c GARBAGE COLLECT 649.69/651.97 c rational objective 15 682.88/685.24 c #Conflicts: 289000 | #Constraints: 12075 682.88/685.24 c #Conflicts: 290000 | #Constraints: 13075 682.88/685.24 c #Conflicts: 291000 | #Constraints: 14075 682.88/685.24 c #Conflicts: 292000 | #Constraints: 15075 682.88/685.24 c #Conflicts: 293000 | #Constraints: 16075 682.88/685.24 c #Conflicts: 294000 | #Constraints: 17075 682.88/685.24 c #Conflicts: 295000 | #Constraints: 18075 682.88/685.24 c #Conflicts: 296000 | #Constraints: 19075 682.88/685.24 c #Conflicts: 297000 | #Constraints: 20075 682.88/685.24 c #Conflicts: 298000 | #Constraints: 21075 682.88/685.24 c #Conflicts: 299000 | #Constraints: 22076 682.88/685.24 c INPROCESSING 682.88/685.24 c GARBAGE COLLECT 682.88/685.24 c rational objective 15 696.65/699.06 c #Conflicts: 300000 | #Constraints: 12263 696.65/699.06 c #Conflicts: 301000 | #Constraints: 13263 696.65/699.06 c #Conflicts: 302000 | #Constraints: 14263 696.65/699.06 c #Conflicts: 303000 | #Constraints: 15263 696.65/699.06 c #Conflicts: 304000 | #Constraints: 16263 696.65/699.06 c #Conflicts: 305000 | #Constraints: 17267 696.65/699.06 c #Conflicts: 306000 | #Constraints: 18267 696.65/699.06 c #Conflicts: 307000 | #Constraints: 19267 696.65/699.06 c #Conflicts: 308000 | #Constraints: 20267 696.65/699.06 c #Conflicts: 309000 | #Constraints: 21268 696.65/699.06 c #Conflicts: 310000 | #Constraints: 22276 696.65/699.06 c INPROCESSING 696.65/699.06 c GARBAGE COLLECT 696.65/699.06 c rational objective 15 712.89/715.31 c #Conflicts: 311000 | #Constraints: 12261 712.89/715.31 c #Conflicts: 312000 | #Constraints: 13261 712.89/715.31 c #Conflicts: 313000 | #Constraints: 14261 712.89/715.31 c #Conflicts: 314000 | #Constraints: 15261 712.89/715.31 c #Conflicts: 315000 | #Constraints: 16261 712.89/715.31 c #Conflicts: 316000 | #Constraints: 17261 712.89/715.31 c #Conflicts: 317000 | #Constraints: 18261 712.89/715.31 c #Conflicts: 318000 | #Constraints: 19261 712.89/715.31 c #Conflicts: 319000 | #Constraints: 20261 712.89/715.31 c #Conflicts: 320000 | #Constraints: 21261 712.89/715.31 c #Conflicts: 321000 | #Constraints: 22261 712.89/715.31 c INPROCESSING 712.89/715.31 c GARBAGE COLLECT 712.89/715.31 c rational objective 15 738.29/740.83 c #Conflicts: 322000 | #Constraints: 12053 738.29/740.83 c #Conflicts: 323000 | #Constraints: 13053 738.29/740.83 c #Conflicts: 324000 | #Constraints: 14053 738.29/740.83 c #Conflicts: 325000 | #Constraints: 15053 738.29/740.83 c #Conflicts: 326000 | #Constraints: 16053 738.29/740.83 c #Conflicts: 327000 | #Constraints: 17053 738.29/740.83 c #Conflicts: 328000 | #Constraints: 18059 738.29/740.83 c #Conflicts: 329000 | #Constraints: 19064 738.29/740.83 c #Conflicts: 330000 | #Constraints: 20068 738.29/740.83 c #Conflicts: 331000 | #Constraints: 21068 738.29/740.83 c #Conflicts: 332000 | #Constraints: 22068 738.29/740.83 c #Conflicts: 333000 | #Constraints: 23069 738.29/740.83 c INPROCESSING 738.29/740.83 c GARBAGE COLLECT 738.29/740.83 c rational objective 15 755.04/757.69 c #Conflicts: 334000 | #Constraints: 12717 755.04/757.69 c #Conflicts: 335000 | #Constraints: 13719 755.04/757.69 c #Conflicts: 336000 | #Constraints: 14720 755.04/757.69 c #Conflicts: 337000 | #Constraints: 15721 755.04/757.69 c #Conflicts: 338000 | #Constraints: 16721 755.04/757.69 c #Conflicts: 339000 | #Constraints: 17721 755.04/757.69 c #Conflicts: 340000 | #Constraints: 18721 755.04/757.69 c #Conflicts: 341000 | #Constraints: 19722 755.04/757.69 c #Conflicts: 342000 | #Constraints: 20722 755.04/757.69 c #Conflicts: 343000 | #Constraints: 21722 755.04/757.69 c #Conflicts: 344000 | #Constraints: 22723 755.04/757.69 c #Conflicts: 345000 | #Constraints: 23723 755.04/757.69 c INPROCESSING 755.04/757.69 c GARBAGE COLLECT 755.04/757.69 c rational objective 15 774.78/777.44 c #Conflicts: 346000 | #Constraints: 13089 774.78/777.44 c #Conflicts: 347000 | #Constraints: 14089 774.78/777.44 c #Conflicts: 348000 | #Constraints: 15089 774.78/777.44 c #Conflicts: 349000 | #Constraints: 16089 774.78/777.44 c #Conflicts: 350000 | #Constraints: 17089 774.78/777.44 c #Conflicts: 351000 | #Constraints: 18090 774.78/777.44 c #Conflicts: 352000 | #Constraints: 19090 774.78/777.44 c #Conflicts: 353000 | #Constraints: 20090 774.78/777.44 c #Conflicts: 354000 | #Constraints: 21091 774.78/777.44 c #Conflicts: 355000 | #Constraints: 22093 774.78/777.44 c #Conflicts: 356000 | #Constraints: 23093 774.78/777.44 c #Conflicts: 357000 | #Constraints: 24093 774.78/777.44 c INPROCESSING 774.78/777.44 c GARBAGE COLLECT 774.78/777.44 c rational objective 15 797.89/800.63 c #Conflicts: 358000 | #Constraints: 13265 797.89/800.63 c #Conflicts: 359000 | #Constraints: 14266 797.89/800.63 c #Conflicts: 360000 | #Constraints: 15282 797.89/800.63 c #Conflicts: 361000 | #Constraints: 16294 797.89/800.63 c #Conflicts: 362000 | #Constraints: 17300 797.89/800.63 c #Conflicts: 363000 | #Constraints: 18301 797.89/800.63 c #Conflicts: 364000 | #Constraints: 19302 797.89/800.63 c #Conflicts: 365000 | #Constraints: 20306 797.89/800.63 c #Conflicts: 366000 | #Constraints: 21307 797.89/800.63 c #Conflicts: 367000 | #Constraints: 22309 797.89/800.63 c #Conflicts: 368000 | #Constraints: 23309 797.89/800.63 c #Conflicts: 369000 | #Constraints: 24314 797.89/800.63 c INPROCESSING 797.89/800.63 c GARBAGE COLLECT 797.89/800.63 c rational objective 15 825.00/827.81 c #Conflicts: 370000 | #Constraints: 13311 825.00/827.81 c #Conflicts: 371000 | #Constraints: 14316 825.00/827.81 c #Conflicts: 372000 | #Constraints: 15325 825.00/827.81 c #Conflicts: 373000 | #Constraints: 16361 825.00/827.81 c #Conflicts: 374000 | #Constraints: 17367 825.00/827.81 c #Conflicts: 375000 | #Constraints: 18371 825.00/827.81 c #Conflicts: 376000 | #Constraints: 19382 825.00/827.81 c #Conflicts: 377000 | #Constraints: 20401 825.00/827.81 c #Conflicts: 378000 | #Constraints: 21434 825.00/827.81 c #Conflicts: 379000 | #Constraints: 22434 825.00/827.81 c #Conflicts: 380000 | #Constraints: 23434 825.00/827.81 c #Conflicts: 381000 | #Constraints: 24434 825.00/827.81 c INPROCESSING 825.00/827.81 c GARBAGE COLLECT 825.00/827.81 c rational objective 15 842.74/845.66 c #Conflicts: 382000 | #Constraints: 13139 842.74/845.66 c #Conflicts: 383000 | #Constraints: 14140 842.74/845.66 c #Conflicts: 384000 | #Constraints: 15582 842.74/845.66 c #Conflicts: 385000 | #Constraints: 16914 842.74/845.66 c #Conflicts: 386000 | #Constraints: 18597 842.74/845.66 c #Conflicts: 387000 | #Constraints: 19597 842.74/845.66 c #Conflicts: 388000 | #Constraints: 20597 842.74/845.66 c #Conflicts: 389000 | #Constraints: 21597 842.74/845.66 c #Conflicts: 390000 | #Constraints: 22597 842.74/845.66 c #Conflicts: 391000 | #Constraints: 23597 842.74/845.66 c #Conflicts: 392000 | #Constraints: 24597 842.74/845.66 c #Conflicts: 393000 | #Constraints: 25597 842.74/845.66 c #Conflicts: 394000 | #Constraints: 26597 842.74/845.66 c INPROCESSING 842.74/845.66 c GARBAGE COLLECT 842.74/845.66 c rational objective 15 856.79/859.74 c #Conflicts: 395000 | #Constraints: 14423 856.79/859.74 c #Conflicts: 396000 | #Constraints: 15423 856.79/859.74 c #Conflicts: 397000 | #Constraints: 16423 856.79/859.74 c #Conflicts: 398000 | #Constraints: 17423 856.79/859.74 c #Conflicts: 399000 | #Constraints: 18423 856.79/859.74 c #Conflicts: 400000 | #Constraints: 19423 856.79/859.74 c #Conflicts: 401000 | #Constraints: 20423 856.79/859.74 c #Conflicts: 402000 | #Constraints: 21423 856.79/859.74 c #Conflicts: 403000 | #Constraints: 22423 856.79/859.74 c #Conflicts: 404000 | #Constraints: 23429 856.79/859.74 c #Conflicts: 405000 | #Constraints: 24429 856.79/859.74 c #Conflicts: 406000 | #Constraints: 25430 856.79/859.74 c #Conflicts: 407000 | #Constraints: 26432 856.79/859.74 c INPROCESSING 856.79/859.74 c GARBAGE COLLECT 856.79/859.74 c rational objective 15 889.99/893.01 c #Conflicts: 408000 | #Constraints: 14457 889.99/893.01 c #Conflicts: 409000 | #Constraints: 15457 889.99/893.01 c #Conflicts: 410000 | #Constraints: 16457 889.99/893.01 c #Conflicts: 411000 | #Constraints: 17457 889.99/893.01 c #Conflicts: 412000 | #Constraints: 18458 889.99/893.01 c #Conflicts: 413000 | #Constraints: 19458 889.99/893.01 c #Conflicts: 414000 | #Constraints: 20458 889.99/893.01 c #Conflicts: 415000 | #Constraints: 21458 889.99/893.01 c #Conflicts: 416000 | #Constraints: 22458 889.99/893.01 c #Conflicts: 417000 | #Constraints: 23458 889.99/893.01 c #Conflicts: 418000 | #Constraints: 24458 889.99/893.01 c #Conflicts: 419000 | #Constraints: 25458 889.99/893.01 c #Conflicts: 420000 | #Constraints: 26458 889.99/893.01 c INPROCESSING 889.99/893.01 c GARBAGE COLLECT 889.99/893.01 c rational objective 15 919.78/922.97 c #Conflicts: 421000 | #Constraints: 14458 919.78/922.97 c #Conflicts: 422000 | #Constraints: 15458 919.78/922.97 c #Conflicts: 423000 | #Constraints: 16458 919.78/922.97 c #Conflicts: 424000 | #Constraints: 17458 919.78/922.97 c #Conflicts: 425000 | #Constraints: 18458 919.78/922.97 c #Conflicts: 426000 | #Constraints: 19458 919.78/922.97 c #Conflicts: 427000 | #Constraints: 20458 919.78/922.97 c #Conflicts: 428000 | #Constraints: 21458 919.78/922.97 c #Conflicts: 429000 | #Constraints: 22458 919.78/922.97 c #Conflicts: 430000 | #Constraints: 23458 919.78/922.97 c #Conflicts: 431000 | #Constraints: 24458 919.78/922.97 c #Conflicts: 432000 | #Constraints: 25458 919.78/922.97 c #Conflicts: 433000 | #Constraints: 26458 919.78/922.97 c INPROCESSING 919.78/922.97 c GARBAGE COLLECT 919.78/922.97 c rational objective 15 949.18/952.42 c #Conflicts: 434000 | #Constraints: 14357 949.18/952.42 c #Conflicts: 435000 | #Constraints: 15357 949.18/952.42 c #Conflicts: 436000 | #Constraints: 16357 949.18/952.42 c #Conflicts: 437000 | #Constraints: 17357 949.18/952.42 c #Conflicts: 438000 | #Constraints: 18358 949.18/952.42 c #Conflicts: 439000 | #Constraints: 19359 949.18/952.42 c #Conflicts: 440000 | #Constraints: 20359 949.18/952.42 c #Conflicts: 441000 | #Constraints: 21359 949.18/952.42 c #Conflicts: 442000 | #Constraints: 22359 949.18/952.42 c #Conflicts: 443000 | #Constraints: 23359 949.18/952.42 c #Conflicts: 444000 | #Constraints: 24359 949.18/952.42 c #Conflicts: 445000 | #Constraints: 25359 949.18/952.42 c #Conflicts: 446000 | #Constraints: 26359 949.18/952.42 c INPROCESSING 949.18/952.42 c GARBAGE COLLECT 949.18/952.42 c rational objective 15 968.81/972.11 c #Conflicts: 447000 | #Constraints: 14123 968.81/972.11 c #Conflicts: 448000 | #Constraints: 15123 968.81/972.11 c #Conflicts: 449000 | #Constraints: 16123 968.81/972.11 c #Conflicts: 450000 | #Constraints: 17123 968.81/972.11 c #Conflicts: 451000 | #Constraints: 18123 968.81/972.11 c #Conflicts: 452000 | #Constraints: 19124 968.81/972.11 c #Conflicts: 453000 | #Constraints: 20124 968.81/972.11 c #Conflicts: 454000 | #Constraints: 21124 968.81/972.11 c #Conflicts: 455000 | #Constraints: 22125 968.81/972.11 c #Conflicts: 456000 | #Constraints: 23125 968.81/972.11 c #Conflicts: 457000 | #Constraints: 24126 968.81/972.11 c #Conflicts: 458000 | #Constraints: 25126 968.81/972.11 c #Conflicts: 459000 | #Constraints: 26126 968.81/972.11 c #Conflicts: 460000 | #Constraints: 27126 968.81/972.11 c INPROCESSING 968.81/972.11 c GARBAGE COLLECT 968.81/972.11 c rational objective 15 997.82/1001.24 c #Conflicts: 461000 | #Constraints: 14687 997.82/1001.24 c #Conflicts: 462000 | #Constraints: 15687 997.82/1001.24 c #Conflicts: 463000 | #Constraints: 16687 997.82/1001.24 c #Conflicts: 464000 | #Constraints: 17687 997.82/1001.24 c #Conflicts: 465000 | #Constraints: 18687 997.82/1001.24 c #Conflicts: 466000 | #Constraints: 19687 997.82/1001.24 c #Conflicts: 467000 | #Constraints: 20687 997.82/1001.24 c #Conflicts: 468000 | #Constraints: 21687 997.82/1001.24 c #Conflicts: 469000 | #Constraints: 22687 997.82/1001.24 c #Conflicts: 470000 | #Constraints: 23687 997.82/1001.24 c #Conflicts: 471000 | #Constraints: 24687 997.82/1001.24 c #Conflicts: 472000 | #Constraints: 25687 997.82/1001.24 c #Conflicts: 473000 | #Constraints: 26687 997.82/1001.24 c #Conflicts: 474000 | #Constraints: 27687 997.82/1001.24 c INPROCESSING 997.82/1001.24 c GARBAGE COLLECT 997.82/1001.24 c rational objective 15 1014.66/1018.10 c #Conflicts: 475000 | #Constraints: 15070 1014.66/1018.10 c #Conflicts: 476000 | #Constraints: 16070 1014.66/1018.10 c #Conflicts: 477000 | #Constraints: 17070 1014.66/1018.10 c #Conflicts: 478000 | #Constraints: 18070 1014.66/1018.10 c #Conflicts: 479000 | #Constraints: 19071 1014.66/1018.10 c #Conflicts: 480000 | #Constraints: 20072 1014.66/1018.10 c #Conflicts: 481000 | #Constraints: 21072 1014.66/1018.10 c #Conflicts: 482000 | #Constraints: 22073 1014.66/1018.10 c #Conflicts: 483000 | #Constraints: 23074 1014.66/1018.10 c #Conflicts: 484000 | #Constraints: 24074 1014.66/1018.10 c #Conflicts: 485000 | #Constraints: 25075 1014.66/1018.10 c #Conflicts: 486000 | #Constraints: 26075 1014.66/1018.10 c #Conflicts: 487000 | #Constraints: 27076 1014.66/1018.10 c #Conflicts: 488000 | #Constraints: 28076 1014.66/1018.10 c INPROCESSING 1014.66/1018.10 c GARBAGE COLLECT 1014.66/1018.10 c rational objective 15 1043.25/1046.89 c #Conflicts: 489000 | #Constraints: 15259 1043.25/1046.89 c #Conflicts: 490000 | #Constraints: 16259 1043.25/1046.89 c #Conflicts: 491000 | #Constraints: 17259 1043.25/1046.89 c #Conflicts: 492000 | #Constraints: 18259 1043.25/1046.89 c #Conflicts: 493000 | #Constraints: 19259 1043.25/1046.89 c #Conflicts: 494000 | #Constraints: 20259 1043.25/1046.89 c #Conflicts: 495000 | #Constraints: 21259 1043.25/1046.89 c #Conflicts: 496000 | #Constraints: 22260 1043.25/1046.89 c #Conflicts: 497000 | #Constraints: 23260 1043.25/1046.89 c #Conflicts: 498000 | #Constraints: 24260 1043.25/1046.89 c #Conflicts: 499000 | #Constraints: 25260 1043.25/1046.89 c #Conflicts: 500000 | #Constraints: 26260 1043.25/1046.89 c #Conflicts: 501000 | #Constraints: 27261 1043.25/1046.89 c #Conflicts: 502000 | #Constraints: 28261 1043.25/1046.89 c INPROCESSING 1043.25/1046.89 c GARBAGE COLLECT 1043.25/1046.89 c rational objective 15 1087.51/1091.29 c #Conflicts: 503000 | #Constraints: 15256 1087.51/1091.29 c #Conflicts: 504000 | #Constraints: 16256 1087.51/1091.29 c #Conflicts: 505000 | #Constraints: 17257 1087.51/1091.29 c #Conflicts: 506000 | #Constraints: 18261 1087.51/1091.29 c #Conflicts: 507000 | #Constraints: 19266 1087.51/1091.29 c #Conflicts: 508000 | #Constraints: 20269 1087.51/1091.29 c #Conflicts: 509000 | #Constraints: 21270 1087.51/1091.29 c #Conflicts: 510000 | #Constraints: 22272 1087.51/1091.29 c #Conflicts: 511000 | #Constraints: 23283 1087.51/1091.29 c #Conflicts: 512000 | #Constraints: 24283 1087.51/1091.29 c #Conflicts: 513000 | #Constraints: 25283 1087.51/1091.29 c #Conflicts: 514000 | #Constraints: 26283 1087.51/1091.29 c #Conflicts: 515000 | #Constraints: 27283 1087.51/1091.29 c #Conflicts: 516000 | #Constraints: 28283 1087.51/1091.29 c INPROCESSING 1087.51/1091.29 c GARBAGE COLLECT 1087.51/1091.29 c rational objective 15 1119.31/1123.18 c #Conflicts: 517000 | #Constraints: 15073 1119.31/1123.18 c #Conflicts: 518000 | #Constraints: 16073 1119.31/1123.18 c #Conflicts: 519000 | #Constraints: 17073 1119.31/1123.18 c #Conflicts: 520000 | #Constraints: 18073 1119.31/1123.18 c #Conflicts: 521000 | #Constraints: 19073 1119.31/1123.18 c #Conflicts: 522000 | #Constraints: 20073 1119.31/1123.18 c #Conflicts: 523000 | #Constraints: 21087 1119.31/1123.18 c #Conflicts: 524000 | #Constraints: 22087 1119.31/1123.18 c #Conflicts: 525000 | #Constraints: 23088 1119.31/1123.18 c #Conflicts: 526000 | #Constraints: 24089 1119.31/1123.18 c #Conflicts: 527000 | #Constraints: 25094 1119.31/1123.18 c #Conflicts: 528000 | #Constraints: 26095 1119.31/1123.18 c #Conflicts: 529000 | #Constraints: 27095 1119.31/1123.18 c #Conflicts: 530000 | #Constraints: 28095 1119.31/1123.18 c #Conflicts: 531000 | #Constraints: 29096 1119.31/1123.18 c INPROCESSING 1119.31/1123.18 c GARBAGE COLLECT 1119.31/1123.18 c rational objective 15 1154.98/1158.98 c #Conflicts: 532000 | #Constraints: 15677 1154.98/1158.98 c #Conflicts: 533000 | #Constraints: 16677 1154.98/1158.98 c #Conflicts: 534000 | #Constraints: 17683 1154.98/1158.98 c #Conflicts: 535000 | #Constraints: 18697 1154.98/1158.98 c #Conflicts: 536000 | #Constraints: 19699 1154.98/1158.98 c #Conflicts: 537000 | #Constraints: 20702 1154.98/1158.98 c #Conflicts: 538000 | #Constraints: 21702 1154.98/1158.98 c #Conflicts: 539000 | #Constraints: 22703 1154.98/1158.98 c #Conflicts: 540000 | #Constraints: 23706 1154.98/1158.98 c #Conflicts: 541000 | #Constraints: 24712 1154.98/1158.98 c #Conflicts: 542000 | #Constraints: 25712 1154.98/1158.98 c #Conflicts: 543000 | #Constraints: 26724 1154.98/1158.98 c #Conflicts: 544000 | #Constraints: 27736 1154.98/1158.98 c #Conflicts: 545000 | #Constraints: 28737 1154.98/1158.98 c #Conflicts: 546000 | #Constraints: 29737 1154.98/1158.98 c INPROCESSING 1154.98/1158.98 c GARBAGE COLLECT 1154.98/1158.98 c rational objective 15 1279.05/1283.44 c #Conflicts: 547000 | #Constraints: 16106 1279.05/1283.44 c #Conflicts: 548000 | #Constraints: 17106 1279.05/1283.44 c #Conflicts: 549000 | #Constraints: 18106 1279.05/1283.44 c #Conflicts: 550000 | #Constraints: 19106 1279.05/1283.44 c #Conflicts: 551000 | #Constraints: 20106 1279.05/1283.44 c #Conflicts: 552000 | #Constraints: 21106 1279.05/1283.44 c #Conflicts: 553000 | #Constraints: 22106 1279.05/1283.44 c #Conflicts: 554000 | #Constraints: 23106 1279.05/1283.44 c #Conflicts: 555000 | #Constraints: 24106 1279.05/1283.44 c #Conflicts: 556000 | #Constraints: 25106 1279.05/1283.44 c #Conflicts: 557000 | #Constraints: 26106 1279.05/1283.44 c #Conflicts: 558000 | #Constraints: 27106 1279.05/1283.44 c #Conflicts: 559000 | #Constraints: 28106 1279.05/1283.44 c #Conflicts: 560000 | #Constraints: 29106 1279.05/1283.44 c #Conflicts: 561000 | #Constraints: 30106 1279.05/1283.44 c INPROCESSING 1279.05/1283.44 c GARBAGE COLLECT 1279.05/1283.44 c rational objective 15 1311.35/1315.86 c #Conflicts: 562000 | #Constraints: 16283 1311.35/1315.86 c #Conflicts: 563000 | #Constraints: 17283 1311.35/1315.86 c #Conflicts: 564000 | #Constraints: 18283 1311.35/1315.86 c #Conflicts: 565000 | #Constraints: 19285 1311.35/1315.86 c #Conflicts: 566000 | #Constraints: 20286 1311.35/1315.86 c #Conflicts: 567000 | #Constraints: 21301 1311.35/1315.86 c #Conflicts: 568000 | #Constraints: 22337 1311.35/1315.86 c #Conflicts: 569000 | #Constraints: 23337 1311.35/1315.86 c #Conflicts: 570000 | #Constraints: 24367 1311.35/1315.86 c #Conflicts: 571000 | #Constraints: 25367 1311.35/1315.86 c #Conflicts: 572000 | #Constraints: 26367 1311.35/1315.86 c #Conflicts: 573000 | #Constraints: 27367 1311.35/1315.86 c #Conflicts: 574000 | #Constraints: 28369 1311.35/1315.86 c #Conflicts: 575000 | #Constraints: 29369 1311.35/1315.86 c #Conflicts: 576000 | #Constraints: 30369 1311.35/1315.86 c INPROCESSING 1311.35/1315.86 c GARBAGE COLLECT 1311.35/1315.86 c rational objective 15 1348.43/1353.05 c #Conflicts: 577000 | #Constraints: 16328 1348.43/1353.05 c #Conflicts: 578000 | #Constraints: 17328 1348.43/1353.05 c #Conflicts: 579000 | #Constraints: 18328 1348.43/1353.05 c #Conflicts: 580000 | #Constraints: 19328 1348.43/1353.05 c #Conflicts: 581000 | #Constraints: 20328 1348.43/1353.05 c #Conflicts: 582000 | #Constraints: 21328 1348.43/1353.05 c #Conflicts: 583000 | #Constraints: 22328 1348.43/1353.05 c #Conflicts: 584000 | #Constraints: 23328 1348.43/1353.05 c #Conflicts: 585000 | #Constraints: 24328 1348.43/1353.05 c #Conflicts: 586000 | #Constraints: 25328 1348.43/1353.05 c #Conflicts: 587000 | #Constraints: 26328 1348.43/1353.05 c #Conflicts: 588000 | #Constraints: 27328 1348.43/1353.05 c #Conflicts: 589000 | #Constraints: 28328 1348.43/1353.05 c #Conflicts: 590000 | #Constraints: 29328 1348.43/1353.05 c #Conflicts: 591000 | #Constraints: 30328 1348.43/1353.05 c INPROCESSING 1348.43/1353.05 c GARBAGE COLLECT 1348.43/1353.05 c rational objective 15 1381.91/1386.66 c #Conflicts: 592000 | #Constraints: 16087 1381.91/1386.66 c #Conflicts: 593000 | #Constraints: 17087 1381.91/1386.66 c #Conflicts: 594000 | #Constraints: 18087 1381.91/1386.66 c #Conflicts: 595000 | #Constraints: 19087 1381.91/1386.66 c #Conflicts: 596000 | #Constraints: 20087 1381.91/1386.66 c #Conflicts: 597000 | #Constraints: 21087 1381.91/1386.66 c #Conflicts: 598000 | #Constraints: 22087 1381.91/1386.66 c #Conflicts: 599000 | #Constraints: 23087 1381.91/1386.66 c #Conflicts: 600000 | #Constraints: 24087 1381.91/1386.66 c #Conflicts: 601000 | #Constraints: 25087 1381.91/1386.66 c #Conflicts: 602000 | #Constraints: 26087 1381.91/1386.66 c #Conflicts: 603000 | #Constraints: 27087 1381.91/1386.66 c #Conflicts: 604000 | #Constraints: 28087 1381.91/1386.66 c #Conflicts: 605000 | #Constraints: 29087 1381.91/1386.66 c #Conflicts: 606000 | #Constraints: 30087 1381.91/1386.66 c #Conflicts: 607000 | #Constraints: 31087 1381.91/1386.66 c INPROCESSING 1381.91/1386.66 c GARBAGE COLLECT 1381.91/1386.66 c rational objective 15 1450.28/1455.28 c #Conflicts: 608000 | #Constraints: 16660 1450.28/1455.28 c #Conflicts: 609000 | #Constraints: 17661 1450.28/1455.28 c #Conflicts: 610000 | #Constraints: 18661 1450.28/1455.28 c #Conflicts: 611000 | #Constraints: 19661 1450.28/1455.28 c #Conflicts: 612000 | #Constraints: 20661 1450.28/1455.28 c #Conflicts: 613000 | #Constraints: 21661 1450.28/1455.28 c #Conflicts: 614000 | #Constraints: 22661 1450.28/1455.28 c #Conflicts: 615000 | #Constraints: 23661 1450.28/1455.28 c #Conflicts: 616000 | #Constraints: 24661 1450.28/1455.28 c #Conflicts: 617000 | #Constraints: 25661 1450.28/1455.28 c #Conflicts: 618000 | #Constraints: 26661 1450.28/1455.28 c #Conflicts: 619000 | #Constraints: 27661 1450.28/1455.28 c #Conflicts: 620000 | #Constraints: 28661 1450.28/1455.28 c #Conflicts: 621000 | #Constraints: 29661 1450.28/1455.28 c #Conflicts: 622000 | #Constraints: 30662 1450.28/1455.28 c #Conflicts: 623000 | #Constraints: 31662 1450.28/1455.28 c INPROCESSING 1450.28/1455.28 c GARBAGE COLLECT 1450.28/1455.28 c #Conflicts: 624000 | #Constraints: 17049 1450.28/1455.28 c #Conflicts: 625000 | #Constraints: 18049 1450.28/1455.28 c #Conflicts: 626000 | #Constraints: 19049 1450.28/1455.28 c #Conflicts: 627000 | #Constraints: 20049 1450.28/1455.28 c #Conflicts: 628000 | #Constraints: 21049 1450.28/1455.28 c #Conflicts: 629000 | #Constraints: 22049 1450.28/1455.28 c #Conflicts: 630000 | #Constraints: 23049 1450.28/1455.28 c #Conflicts: 631000 | #Constraints: 24049 1450.28/1455.28 c #Conflicts: 632000 | #Constraints: 25049 1450.28/1455.28 c #Conflicts: 633000 | #Constraints: 26049 1450.28/1455.28 c #Conflicts: 634000 | #Constraints: 27073 1450.28/1455.28 c #Conflicts: 635000 | #Constraints: 28073 1450.28/1455.28 c #Conflicts: 636000 | #Constraints: 29073 1450.28/1455.28 c #Conflicts: 637000 | #Constraints: 30073 1450.28/1455.28 c #Conflicts: 638000 | #Constraints: 31073 1450.28/1455.28 c #Conflicts: 639000 | #Constraints: 32073 1450.28/1455.28 c INPROCESSING 1450.28/1455.28 c GARBAGE COLLECT 1450.28/1455.28 c rational objective 15 1478.00/1483.06 c #Conflicts: 640000 | #Constraints: 17257 1478.00/1483.06 c #Conflicts: 641000 | #Constraints: 18257 1478.00/1483.06 c #Conflicts: 642000 | #Constraints: 19257 1478.00/1483.06 c #Conflicts: 643000 | #Constraints: 20257 1478.00/1483.06 c #Conflicts: 644000 | #Constraints: 21257 1478.00/1483.06 c #Conflicts: 645000 | #Constraints: 22257 1478.00/1483.06 c #Conflicts: 646000 | #Constraints: 23257 1478.00/1483.06 c #Conflicts: 647000 | #Constraints: 24257 1478.00/1483.06 c #Conflicts: 648000 | #Constraints: 25257 1478.00/1483.06 c #Conflicts: 649000 | #Constraints: 26257 1478.00/1483.06 c #Conflicts: 650000 | #Constraints: 27257 1478.00/1483.06 c #Conflicts: 651000 | #Constraints: 28287 1478.00/1483.06 c #Conflicts: 652000 | #Constraints: 29310 1478.00/1483.06 c #Conflicts: 653000 | #Constraints: 30319 1478.00/1483.06 c #Conflicts: 654000 | #Constraints: 31322 1478.00/1483.06 c #Conflicts: 655000 | #Constraints: 32325 1478.00/1483.06 c INPROCESSING 1478.00/1483.06 c GARBAGE COLLECT 1478.00/1483.06 c rational objective 15 1573.16/1578.55 c #Conflicts: 656000 | #Constraints: 17297 1573.16/1578.55 c #Conflicts: 657000 | #Constraints: 18297 1573.16/1578.55 c #Conflicts: 658000 | #Constraints: 19299 1573.16/1578.55 c #Conflicts: 659000 | #Constraints: 20313 1573.16/1578.55 c #Conflicts: 660000 | #Constraints: 21316 1573.16/1578.55 c #Conflicts: 661000 | #Constraints: 22316 1573.16/1578.55 c #Conflicts: 662000 | #Constraints: 23320 1573.16/1578.55 c #Conflicts: 663000 | #Constraints: 24328 1573.16/1578.55 c #Conflicts: 664000 | #Constraints: 25330 1573.16/1578.55 c #Conflicts: 665000 | #Constraints: 26331 1573.16/1578.55 c #Conflicts: 666000 | #Constraints: 27333 1573.16/1578.55 c #Conflicts: 667000 | #Constraints: 28336 1573.16/1578.55 c #Conflicts: 668000 | #Constraints: 29339 1573.16/1578.55 c #Conflicts: 669000 | #Constraints: 30339 1573.16/1578.55 c #Conflicts: 670000 | #Constraints: 31339 1573.16/1578.55 c #Conflicts: 671000 | #Constraints: 32339 1573.16/1578.55 c INPROCESSING 1573.16/1578.55 c GARBAGE COLLECT 1573.16/1578.55 c rational objective 15 1691.55/1697.38 c #Conflicts: 672000 | #Constraints: 17114 1691.55/1697.38 c #Conflicts: 673000 | #Constraints: 18114 1691.55/1697.38 c #Conflicts: 674000 | #Constraints: 19114 1691.55/1697.38 c #Conflicts: 675000 | #Constraints: 20114 1691.55/1697.38 c #Conflicts: 676000 | #Constraints: 21114 1691.55/1697.38 c #Conflicts: 677000 | #Constraints: 22420 1691.55/1697.38 c #Conflicts: 678000 | #Constraints: 24420 1691.55/1697.38 c #Conflicts: 679000 | #Constraints: 25985 1691.55/1697.38 c #Conflicts: 680000 | #Constraints: 26985 1691.55/1697.38 c #Conflicts: 681000 | #Constraints: 27985 1691.55/1697.38 c #Conflicts: 682000 | #Constraints: 28985 1691.55/1697.38 c #Conflicts: 683000 | #Constraints: 29985 1691.55/1697.38 c #Conflicts: 684000 | #Constraints: 30985 1691.55/1697.38 c #Conflicts: 685000 | #Constraints: 32296 1691.55/1697.38 c #Conflicts: 686000 | #Constraints: 34254 1691.55/1697.38 c #Conflicts: 687000 | #Constraints: 36234 1691.55/1697.38 c #Conflicts: 688000 | #Constraints: 37969 1691.55/1697.38 c INPROCESSING 1691.55/1697.38 c GARBAGE COLLECT 1691.55/1697.38 c rational objective 15 1742.96/1749.00 c #Conflicts: 689000 | #Constraints: 20112 1742.96/1749.00 c #Conflicts: 690000 | #Constraints: 21112 1742.96/1749.00 c #Conflicts: 691000 | #Constraints: 22112 1742.96/1749.00 c #Conflicts: 692000 | #Constraints: 23112 1742.96/1749.00 c #Conflicts: 693000 | #Constraints: 24112 1742.96/1749.00 c #Conflicts: 694000 | #Constraints: 25113 1742.96/1749.00 c #Conflicts: 695000 | #Constraints: 26116 1742.96/1749.00 c #Conflicts: 696000 | #Constraints: 27118 1742.96/1749.00 c #Conflicts: 697000 | #Constraints: 28147 1742.96/1749.00 c #Conflicts: 698000 | #Constraints: 29149 1742.96/1749.00 c #Conflicts: 699000 | #Constraints: 30150 1742.96/1749.00 c #Conflicts: 700000 | #Constraints: 31150 1742.96/1749.00 c #Conflicts: 701000 | #Constraints: 32150 1742.96/1749.00 c #Conflicts: 702000 | #Constraints: 33154 1742.96/1749.00 c #Conflicts: 703000 | #Constraints: 34197 1742.96/1749.00 c #Conflicts: 704000 | #Constraints: 35251 1742.96/1749.00 c #Conflicts: 705000 | #Constraints: 36310 1742.96/1749.00 c INPROCESSING 1742.96/1749.00 c GARBAGE COLLECT 1742.96/1749.00 c rational objective 15 1812.20/1818.42 c #Conflicts: 706000 | #Constraints: 19387 1812.20/1818.42 c #Conflicts: 707000 | #Constraints: 20387 1812.20/1818.42 c #Conflicts: 708000 | #Constraints: 21389 1812.20/1818.42 c #Conflicts: 709000 | #Constraints: 22389 1812.20/1818.42 c #Conflicts: 710000 | #Constraints: 23389 1812.20/1818.42 c #Conflicts: 711000 | #Constraints: 24389 1812.20/1818.42 c #Conflicts: 712000 | #Constraints: 25389 1812.20/1818.42 c #Conflicts: 713000 | #Constraints: 26524 1812.20/1818.42 c #Conflicts: 714000 | #Constraints: 27532 1812.20/1818.42 c #Conflicts: 715000 | #Constraints: 28538 1812.20/1818.42 c #Conflicts: 716000 | #Constraints: 29544 1812.20/1818.42 c #Conflicts: 717000 | #Constraints: 30552 1812.20/1818.42 c #Conflicts: 718000 | #Constraints: 31579 1812.20/1818.42 c #Conflicts: 719000 | #Constraints: 33579 1812.20/1818.42 c #Conflicts: 720000 | #Constraints: 35579 1812.20/1818.42 c #Conflicts: 721000 | #Constraints: 37579 1812.20/1818.42 c #Conflicts: 722000 | #Constraints: 39559 1812.20/1818.42 c INPROCESSING 1812.20/1818.42 c GARBAGE COLLECT 1812.20/1818.42 c rational objective 15 1913.10/1919.74 c #Conflicts: 723000 | #Constraints: 21018 1913.10/1919.74 c #Conflicts: 724000 | #Constraints: 22043 1913.10/1919.74 c #Conflicts: 725000 | #Constraints: 23050 1913.10/1919.74 c #Conflicts: 726000 | #Constraints: 24050 1913.10/1919.74 c #Conflicts: 727000 | #Constraints: 25050 1913.10/1919.74 c #Conflicts: 728000 | #Constraints: 26050 1913.10/1919.74 c #Conflicts: 729000 | #Constraints: 27059 1913.10/1919.74 c #Conflicts: 730000 | #Constraints: 28103 1913.10/1919.74 c #Conflicts: 731000 | #Constraints: 29114 1913.10/1919.74 c #Conflicts: 732000 | #Constraints: 30309 1913.10/1919.74 c #Conflicts: 733000 | #Constraints: 32135 1913.10/1919.74 c #Conflicts: 734000 | #Constraints: 33935 1913.10/1919.74 c #Conflicts: 735000 | #Constraints: 35702 1913.10/1919.74 c #Conflicts: 736000 | #Constraints: 37568 1913.10/1919.74 c #Conflicts: 737000 | #Constraints: 39376 1913.10/1919.74 c #Conflicts: 738000 | #Constraints: 41139 1913.10/1919.74 c #Conflicts: 739000 | #Constraints: 42894 1913.10/1919.74 c INPROCESSING 1913.10/1919.74 c GARBAGE COLLECT 1913.10/1919.74 c rational objective 15 2000.27/2007.21 c #Conflicts: 740000 | #Constraints: 22650 2000.27/2007.21 c #Conflicts: 741000 | #Constraints: 23650 2000.27/2007.21 c #Conflicts: 742000 | #Constraints: 24711 2000.27/2007.21 c #Conflicts: 743000 | #Constraints: 25729 2000.27/2007.21 c #Conflicts: 744000 | #Constraints: 26729 2000.27/2007.21 c #Conflicts: 745000 | #Constraints: 27729 2000.27/2007.21 c #Conflicts: 746000 | #Constraints: 28729 2000.27/2007.21 c #Conflicts: 747000 | #Constraints: 29764 2000.27/2007.21 c #Conflicts: 748000 | #Constraints: 30780 2000.27/2007.21 c #Conflicts: 749000 | #Constraints: 31786 2000.27/2007.21 c #Conflicts: 750000 | #Constraints: 32787 2000.27/2007.21 c #Conflicts: 751000 | #Constraints: 33859 2000.27/2007.21 c #Conflicts: 752000 | #Constraints: 35138 2000.27/2007.21 c #Conflicts: 753000 | #Constraints: 36164 2000.27/2007.21 c #Conflicts: 754000 | #Constraints: 37442 2000.27/2007.21 c #Conflicts: 755000 | #Constraints: 38456 2000.27/2007.21 c #Conflicts: 756000 | #Constraints: 39462 2000.27/2007.21 c INPROCESSING 2000.27/2007.21 c GARBAGE COLLECT 2000.27/2007.21 c rational objective 15 2234.07/2241.94 c #Conflicts: 757000 | #Constraints: 20675 2234.07/2241.94 c #Conflicts: 758000 | #Constraints: 22324 2234.07/2241.94 c #Conflicts: 759000 | #Constraints: 24006 2234.07/2241.94 c #Conflicts: 760000 | #Constraints: 25075 2234.07/2241.94 c #Conflicts: 761000 | #Constraints: 26263 2234.07/2241.94 c #Conflicts: 762000 | #Constraints: 27420 2234.07/2241.94 c #Conflicts: 763000 | #Constraints: 28474 2234.07/2241.94 c #Conflicts: 764000 | #Constraints: 29476 2234.07/2241.94 c #Conflicts: 765000 | #Constraints: 31385 2234.07/2241.94 c #Conflicts: 766000 | #Constraints: 32500 2234.07/2241.94 c #Conflicts: 767000 | #Constraints: 33644 2234.07/2241.94 c #Conflicts: 768000 | #Constraints: 34736 2234.07/2241.94 c #Conflicts: 769000 | #Constraints: 35955 2234.07/2241.94 c #Conflicts: 770000 | #Constraints: 37945 2234.07/2241.94 c #Conflicts: 771000 | #Constraints: 39623 2234.07/2241.94 c #Conflicts: 772000 | #Constraints: 40936 2234.07/2241.94 c #Conflicts: 773000 | #Constraints: 42902 2234.07/2241.94 c #Conflicts: 774000 | #Constraints: 44079 2234.07/2241.94 c INPROCESSING 2234.07/2241.94 c GARBAGE COLLECT 2234.07/2241.94 c rational objective 15 2268.75/2276.78 c #Conflicts: 775000 | #Constraints: 23182 2268.75/2276.78 c #Conflicts: 776000 | #Constraints: 24189 2268.75/2276.78 c #Conflicts: 777000 | #Constraints: 25196 2268.75/2276.78 c #Conflicts: 778000 | #Constraints: 26200 2268.75/2276.78 c #Conflicts: 779000 | #Constraints: 27200 2268.75/2276.78 c #Conflicts: 780000 | #Constraints: 28201 2268.75/2276.78 c #Conflicts: 781000 | #Constraints: 29205 2268.75/2276.78 c #Conflicts: 782000 | #Constraints: 30205 2268.75/2276.78 c #Conflicts: 783000 | #Constraints: 31206 2268.75/2276.78 c #Conflicts: 784000 | #Constraints: 32206 2268.75/2276.78 c #Conflicts: 785000 | #Constraints: 33206 2268.75/2276.78 c #Conflicts: 786000 | #Constraints: 34210 2268.75/2276.78 c #Conflicts: 787000 | #Constraints: 35211 2268.75/2276.78 c #Conflicts: 788000 | #Constraints: 36211 2268.75/2276.78 c #Conflicts: 789000 | #Constraints: 37212 2268.75/2276.78 c #Conflicts: 790000 | #Constraints: 38212 2268.75/2276.78 c #Conflicts: 791000 | #Constraints: 39212 2268.75/2276.78 c #Conflicts: 792000 | #Constraints: 40216 2268.75/2276.78 c INPROCESSING 2268.75/2276.78 c GARBAGE COLLECT 2268.75/2276.78 c rational objective 15 2297.45/2305.50 c #Conflicts: 793000 | #Constraints: 21852 2297.45/2305.50 c #Conflicts: 794000 | #Constraints: 23376 2297.45/2305.50 c #Conflicts: 795000 | #Constraints: 24376 2297.45/2305.50 c #Conflicts: 796000 | #Constraints: 25376 2297.45/2305.50 c #Conflicts: 797000 | #Constraints: 26401 2297.45/2305.50 c #Conflicts: 798000 | #Constraints: 27534 2297.45/2305.50 c #Conflicts: 799000 | #Constraints: 28545 2297.45/2305.50 c #Conflicts: 800000 | #Constraints: 29545 2297.45/2305.50 c #Conflicts: 801000 | #Constraints: 30545 2297.45/2305.50 c #Conflicts: 802000 | #Constraints: 31601 2297.45/2305.50 c #Conflicts: 803000 | #Constraints: 32601 2297.45/2305.50 c #Conflicts: 804000 | #Constraints: 33732 2297.45/2305.50 c #Conflicts: 805000 | #Constraints: 35539 2297.45/2305.50 c #Conflicts: 806000 | #Constraints: 36540 2297.45/2305.50 c #Conflicts: 807000 | #Constraints: 37543 2297.45/2305.50 c #Conflicts: 808000 | #Constraints: 38623 2297.45/2305.50 c #Conflicts: 809000 | #Constraints: 39654 2297.45/2305.50 c #Conflicts: 810000 | #Constraints: 40655 2297.45/2305.50 c INPROCESSING 2297.45/2305.50 c GARBAGE COLLECT 2297.45/2305.50 c rational objective 15 2314.89/2323.06 c #Conflicts: 811000 | #Constraints: 21544 2314.89/2323.06 c #Conflicts: 812000 | #Constraints: 22544 2314.89/2323.06 c #Conflicts: 813000 | #Constraints: 23547 2314.89/2323.06 c #Conflicts: 814000 | #Constraints: 24550 2314.89/2323.06 c #Conflicts: 815000 | #Constraints: 25554 2314.89/2323.06 c #Conflicts: 816000 | #Constraints: 26555 2314.89/2323.06 c #Conflicts: 817000 | #Constraints: 27556 2314.89/2323.06 c #Conflicts: 818000 | #Constraints: 28556 2314.89/2323.06 c #Conflicts: 819000 | #Constraints: 29556 2314.89/2323.06 c #Conflicts: 820000 | #Constraints: 30557 2314.89/2323.06 c #Conflicts: 821000 | #Constraints: 31562 2314.89/2323.06 c #Conflicts: 822000 | #Constraints: 32562 2314.89/2323.06 c #Conflicts: 823000 | #Constraints: 33562 2314.89/2323.06 c #Conflicts: 824000 | #Constraints: 34573 2314.89/2323.06 c #Conflicts: 825000 | #Constraints: 36327 2314.89/2323.06 c #Conflicts: 826000 | #Constraints: 38057 2314.89/2323.06 c #Conflicts: 827000 | #Constraints: 39316 2314.89/2323.06 c #Conflicts: 828000 | #Constraints: 40495 2314.89/2323.06 c INPROCESSING 2314.89/2323.06 c GARBAGE COLLECT 2314.89/2323.06 c rational objective 15 2613.24/2622.52 c #Conflicts: 829000 | #Constraints: 21383 2613.24/2622.52 c #Conflicts: 830000 | #Constraints: 22383 2613.24/2622.52 c #Conflicts: 831000 | #Constraints: 23384 2613.24/2622.52 c #Conflicts: 832000 | #Constraints: 24384 2613.24/2622.52 c #Conflicts: 833000 | #Constraints: 25384 2613.24/2622.52 c #Conflicts: 834000 | #Constraints: 26384 2613.24/2622.52 c #Conflicts: 835000 | #Constraints: 27384 2613.24/2622.52 c #Conflicts: 836000 | #Constraints: 28384 2613.24/2622.52 c #Conflicts: 837000 | #Constraints: 29384 2613.24/2622.52 c #Conflicts: 838000 | #Constraints: 30384 2613.24/2622.52 c #Conflicts: 839000 | #Constraints: 31384 2613.24/2622.52 c #Conflicts: 840000 | #Constraints: 32384 2613.24/2622.52 c #Conflicts: 841000 | #Constraints: 33384 2613.24/2622.52 c #Conflicts: 842000 | #Constraints: 34384 2613.24/2622.52 c #Conflicts: 843000 | #Constraints: 35384 2613.24/2622.52 c #Conflicts: 844000 | #Constraints: 36384 2613.24/2622.52 c #Conflicts: 845000 | #Constraints: 37387 2613.24/2622.52 c #Conflicts: 846000 | #Constraints: 38394 2613.24/2622.52 c INPROCESSING 2613.24/2622.52 c GARBAGE COLLECT 2613.24/2622.52 c rational objective 15 2633.77/2643.16 c #Conflicts: 847000 | #Constraints: 20118 2633.77/2643.16 c #Conflicts: 848000 | #Constraints: 21118 2633.77/2643.16 c #Conflicts: 849000 | #Constraints: 22118 2633.77/2643.16 c #Conflicts: 850000 | #Constraints: 23118 2633.77/2643.16 c #Conflicts: 851000 | #Constraints: 24118 2633.77/2643.16 c #Conflicts: 852000 | #Constraints: 25118 2633.77/2643.16 c #Conflicts: 853000 | #Constraints: 26118 2633.77/2643.16 c #Conflicts: 854000 | #Constraints: 27118 2633.77/2643.16 c #Conflicts: 855000 | #Constraints: 28118 2633.77/2643.16 c #Conflicts: 856000 | #Constraints: 29118 2633.77/2643.16 c #Conflicts: 857000 | #Constraints: 30118 2633.77/2643.16 c #Conflicts: 858000 | #Constraints: 31118 2633.77/2643.16 c #Conflicts: 859000 | #Constraints: 32118 2633.77/2643.16 c #Conflicts: 860000 | #Constraints: 33120 2633.77/2643.16 c #Conflicts: 861000 | #Constraints: 34120 2633.77/2643.16 c #Conflicts: 862000 | #Constraints: 35120 2633.77/2643.16 c #Conflicts: 863000 | #Constraints: 36120 2633.77/2643.16 c #Conflicts: 864000 | #Constraints: 37121 2633.77/2643.16 c #Conflicts: 865000 | #Constraints: 38122 2633.77/2643.16 c INPROCESSING 2633.77/2643.16 c GARBAGE COLLECT 2633.77/2643.16 c rational objective 15 2662.66/2672.16 c #Conflicts: 866000 | #Constraints: 20316 2662.66/2672.16 c #Conflicts: 867000 | #Constraints: 21316 2662.66/2672.16 c #Conflicts: 868000 | #Constraints: 22316 2662.66/2672.16 c #Conflicts: 869000 | #Constraints: 23318 2662.66/2672.16 c #Conflicts: 870000 | #Constraints: 24320 2662.66/2672.16 c #Conflicts: 871000 | #Constraints: 25320 2662.66/2672.16 c #Conflicts: 872000 | #Constraints: 26329 2662.66/2672.16 c #Conflicts: 873000 | #Constraints: 27331 2662.66/2672.16 c #Conflicts: 874000 | #Constraints: 28334 2662.66/2672.16 c #Conflicts: 875000 | #Constraints: 29338 2662.66/2672.16 c #Conflicts: 876000 | #Constraints: 30356 2662.66/2672.16 c #Conflicts: 877000 | #Constraints: 31412 2662.66/2672.16 c #Conflicts: 878000 | #Constraints: 32459 2662.66/2672.16 c #Conflicts: 879000 | #Constraints: 33459 2662.66/2672.16 c #Conflicts: 880000 | #Constraints: 34578 2662.66/2672.16 c #Conflicts: 881000 | #Constraints: 35579 2662.66/2672.16 c #Conflicts: 882000 | #Constraints: 36579 2662.66/2672.16 c #Conflicts: 883000 | #Constraints: 37579 2662.66/2672.16 c #Conflicts: 884000 | #Constraints: 39052 2662.66/2672.16 c INPROCESSING 2662.66/2672.16 c GARBAGE COLLECT 2662.66/2672.16 c rational objective 15 2861.11/2871.39 c #Conflicts: 885000 | #Constraints: 20757 2861.11/2871.39 c #Conflicts: 886000 | #Constraints: 21757 2861.11/2871.39 c #Conflicts: 887000 | #Constraints: 22757 2861.11/2871.39 c #Conflicts: 888000 | #Constraints: 23763 2861.11/2871.39 c #Conflicts: 889000 | #Constraints: 24772 2861.11/2871.39 c #Conflicts: 890000 | #Constraints: 26451 2861.11/2871.39 c #Conflicts: 891000 | #Constraints: 27455 2861.11/2871.39 c #Conflicts: 892000 | #Constraints: 28463 2861.11/2871.39 c #Conflicts: 893000 | #Constraints: 29468 2861.11/2871.39 c #Conflicts: 894000 | #Constraints: 30469 2861.11/2871.39 c #Conflicts: 895000 | #Constraints: 31478 2861.11/2871.39 c #Conflicts: 896000 | #Constraints: 32482 2861.11/2871.39 c #Conflicts: 897000 | #Constraints: 33503 2861.11/2871.39 c #Conflicts: 898000 | #Constraints: 34923 2861.11/2871.39 c #Conflicts: 899000 | #Constraints: 35942 2861.11/2871.39 c #Conflicts: 900000 | #Constraints: 36963 2861.11/2871.39 c #Conflicts: 901000 | #Constraints: 37980 2861.11/2871.39 c #Conflicts: 902000 | #Constraints: 38994 2861.11/2871.39 c #Conflicts: 903000 | #Constraints: 40020 2861.11/2871.39 c INPROCESSING 2861.11/2871.39 c GARBAGE COLLECT 2861.11/2871.39 c rational objective 15 3579.65/3592.63 c #Conflicts: 904000 | #Constraints: 21235 3579.65/3592.63 c #Conflicts: 905000 | #Constraints: 22236 3579.65/3592.63 c #Conflicts: 906000 | #Constraints: 23237 3579.65/3592.63 c #Conflicts: 907000 | #Constraints: 24351 3579.65/3592.63 c #Conflicts: 908000 | #Constraints: 25351 3579.65/3592.63 c #Conflicts: 909000 | #Constraints: 26357 3579.65/3592.63 c #Conflicts: 910000 | #Constraints: 27362 3579.65/3592.63 c #Conflicts: 911000 | #Constraints: 28365 3579.65/3592.63 c #Conflicts: 912000 | #Constraints: 29365 3579.65/3592.63 c #Conflicts: 913000 | #Constraints: 30369 3579.65/3592.63 c #Conflicts: 914000 | #Constraints: 31443 3579.65/3592.63 c #Conflicts: 915000 | #Constraints: 32557 3579.65/3592.63 c #Conflicts: 916000 | #Constraints: 33574 3579.65/3592.63 c #Conflicts: 917000 | #Constraints: 34786 3579.65/3592.63 c #Conflicts: 918000 | #Constraints: 35791 3579.65/3592.63 c #Conflicts: 919000 | #Constraints: 36791 3579.65/3592.63 c #Conflicts: 920000 | #Constraints: 37791 3579.65/3592.63 c #Conflicts: 921000 | #Constraints: 38791 3579.65/3592.63 c #Conflicts: 922000 | #Constraints: 39791 3579.65/3592.63 c INPROCESSING 3579.65/3592.63 c GARBAGE COLLECT 3579.65/3592.63 c #Conflicts: 923000 | #Constraints: 21035 3579.65/3592.63 c #Conflicts: 924000 | #Constraints: 22109 3579.65/3592.63 c #Conflicts: 925000 | #Constraints: 23213 3579.65/3592.63 c #Conflicts: 926000 | #Constraints: 24225 3579.65/3592.63 c #Conflicts: 927000 | #Constraints: 25443 3579.65/3592.63 c #Conflicts: 928000 | #Constraints: 26632 3579.65/3592.63 c #Conflicts: 929000 | #Constraints: 27767 3579.65/3592.63 c #Conflicts: 930000 | #Constraints: 28853 3579.65/3592.63 c #Conflicts: 931000 | #Constraints: 29880 3579.65/3592.63 c #Conflicts: 932000 | #Constraints: 30975 3579.65/3592.63 c #Conflicts: 933000 | #Constraints: 31978 3579.65/3592.63 c #Conflicts: 934000 | #Constraints: 32999 3579.65/3592.63 c #Conflicts: 935000 | #Constraints: 34032 3579.65/3592.63 c #Conflicts: 936000 | #Constraints: 35282 3579.65/3592.63 c #Conflicts: 937000 | #Constraints: 37276 3579.65/3592.63 c #Conflicts: 938000 | #Constraints: 39273 3579.65/3592.63 c #Conflicts: 939000 | #Constraints: 41270 3579.65/3592.63 c #Conflicts: 940000 | #Constraints: 43270 3579.65/3592.63 c #Conflicts: 941000 | #Constraints: 45269 3579.65/3592.63 c INPROCESSING 3579.65/3592.63 c GARBAGE COLLECT 3579.65/3592.63 c #Conflicts: 942000 | #Constraints: 23863 3579.65/3592.63 c #Conflicts: 943000 | #Constraints: 24863 3579.65/3592.63 c #Conflicts: 944000 | #Constraints: 25863 3579.65/3592.63 c #Conflicts: 945000 | #Constraints: 26863 3579.65/3592.63 c #Conflicts: 946000 | #Constraints: 27864 3579.65/3592.63 c #Conflicts: 947000 | #Constraints: 28865 3579.65/3592.63 c #Conflicts: 948000 | #Constraints: 29867 3579.65/3592.63 c #Conflicts: 949000 | #Constraints: 30873 3579.65/3592.63 c #Conflicts: 950000 | #Constraints: 31879 3579.65/3592.63 c #Conflicts: 951000 | #Constraints: 32879 3579.65/3592.63 c #Conflicts: 952000 | #Constraints: 33879 3579.65/3592.63 c #Conflicts: 953000 | #Constraints: 34879 3579.65/3592.63 c #Conflicts: 954000 | #Constraints: 35882 3579.65/3592.63 c #Conflicts: 955000 | #Constraints: 36885 3579.65/3592.63 c #Conflicts: 956000 | #Constraints: 37887 3579.65/3592.63 c #Conflicts: 957000 | #Constraints: 38887 3579.65/3592.63 c #Conflicts: 958000 | #Constraints: 39887 3579.65/3592.63 c #Conflicts: 959000 | #Constraints: 40887 3579.65/3592.63 c #Conflicts: 960000 | #Constraints: 41887 3579.65/3592.63 c #Conflicts: 961000 | #Constraints: 42887 3579.65/3592.63 c INPROCESSING 3579.65/3592.63 c GARBAGE COLLECT 3579.65/3592.63 c rational objective 15 3600.09/3613.10 c 3600.09/3613.10 s SATISFIABLE 3600.09/3613.10 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 ~x4689 ~x4690 ~x4691 ~x4692 ~x4693 ~x4694 ~x4695 ~x4696 ~x4697 ~x4698 ~x4699 ~x4700 ~x4701 ~x4702 ~x4703 ~x4704 ~x4705 ~x4706 ~x4707 ~x4708 ~x4709 ~x4710 ~x4711 ~x4712 ~x4713 ~x4714 ~x4715 ~x4716 ~x4717 ~x4718 ~x4719 ~x4720 ~x4721 ~x4722 ~x4723 ~x4724 ~x4725 ~x4726 ~x4727 x4728 ~x4729 ~x4730 ~x4731 ~x4732 ~x4733 ~x4734 ~x4735 ~x4736 ~x4737 ~x4738 ~x4739 ~x4740 ~x4741 ~x4742 ~x4743 ~x4744 ~x4745 ~x4746 ~x4747 ~x4748 ~x4749 ~x4750 ~x4751 ~x4752 ~x4753 ~x4754 ~x4755 x4756 ~x4757 ~x4758 ~x4759 ~x4760 ~x4761 x4762 x4763 x4764 ~x4765 x4766 x4767 x4768 x4769 ~x4770 x4771 x4772 x4773 x4774 ~x4775 ~x4776 ~x4777 ~x4778 ~x4779 ~x4780 ~x4781 ~x4782 ~x4783 ~x4784 ~x4785 ~x4786 ~x4787 ~x4788 ~x4789 ~x4790 ~x4791 ~x4792 ~x4793 ~x4794 x4795 ~x4796 ~x4797 ~x4798 ~x4799 ~x4800 ~x4801 ~x4802 ~x4803 ~x4804 ~x4805 ~x4806 ~x4807 ~x4808 ~x4809 ~x4810 ~x4811 ~x4812 ~x4813 ~x4814 ~x4815 ~x4816 ~x4817 ~x4818 ~x4819 ~x4820 ~x4821 ~x4822 ~x4823 ~x4824 ~x4825 ~x4826 ~x4827 ~x4828 ~x4829 ~x4830 ~x4831 ~x4832 ~x4833 ~x4834 ~x4835 ~x4836 ~x4837 ~x4838 ~x4839 ~x4840 ~x4841 ~x4842 ~x4843 ~x4844 ~x4845 ~x4846 ~x4847 ~x4848 ~x4849 x4850 ~x4851 ~x4852 ~x4853 ~x4854 ~x4855 ~x4856 ~x4857 ~x4858 ~x4859 x4860 ~x4861 ~x4862 ~x4863 ~x4864 ~x4865 ~x4866 ~x4867 ~x4868 ~x4869 ~x4870 ~x4871 ~x4872 ~x4873 ~x4874 ~x4875 ~x4876 ~x4877 ~x4878 ~x4879 ~x4880 ~x4881 ~x4882 ~x4883 ~x4884 ~x4885 ~x4886 ~x4887 ~x4888 ~x4889 ~x4890 ~x4891 ~x4892 ~x4893 ~x4894 ~x4895 ~x4896 ~x4897 ~x4898 ~x4899 ~x4900 ~x4901 ~x4902 ~x4903 ~x4904 ~x4905 ~x4906 ~x4907 ~x4908 ~x4909 ~x4910 ~x4911 ~x4912 ~x4913 ~x4914 ~x4915 ~x4916 ~x4917 ~x4918 ~x4919 ~x4920 ~x4921 ~x4922 ~x4923 ~x4924 ~x4925 ~x4926 ~x4927 ~x4928 ~x4929 ~x4930 ~x4931 ~x4932 ~x4933 ~x4934 ~x4935 ~x4936 ~x4937 x4938 ~x4939 ~x4940 ~x4941 ~x4942 ~x4943 ~x4944 ~x4945 ~x4946 ~x4947 ~x4948 ~x4949 ~x4950 ~x4951 ~x4952 ~x4953 ~x4954 ~x4955 ~x4956 ~x4957 ~x4958 ~x4959 ~x4960 ~x4961 ~x4962 ~x4963 ~x4964 ~x4965 ~x4966 ~x4967 ~x4968 ~x4969 ~x4970 ~x4971 ~x4972 x4973 ~x4974 ~x4975 ~x4976 ~x4977 ~x4978 ~x4979 ~x4980 ~x4981 ~x4982 ~x4983 ~x4984 x4985 ~x4986 ~x4987 ~x4988 ~x4989 ~x4990 ~x4991 ~x4992 ~x4993 ~x4994 ~x4995 ~x4996 ~x4997 ~x4998 ~x4999 ~x5000 ~x5001 ~x5002 ~x5003 ~x5004 x5005 ~x5006 ~x5007 ~x5008 ~x5009 ~x5010 ~x5011 ~x5012 ~x5013 ~x5014 ~x5015 ~x5016 ~x5017 ~x5018 ~x5019 ~x5020 ~x5021 ~x5022 ~x5023 ~x5024 ~x5025 ~x5026 ~x5027 ~x5028 ~x5029 ~x5030 ~x5031 ~x5032 ~x5033 ~x5034 ~x5035 ~x5036 ~x5037 ~x5038 ~x5039 ~x5040 ~x5041 ~x5042 ~x5043 ~x5044 ~x5045 ~x5046 ~x5047 ~x5048 ~x5049 ~x5050 ~x5051 ~x5052 ~x5053 ~x5054 ~x5055 ~x5056 ~x5057 ~x5058 ~x5059 ~x5060 ~x5061 ~x5062 ~x5063 ~x5064 ~x5065 ~x5066 ~x5067 ~x5068 ~x5069 x5070 ~x5071 ~x5072 ~x5073 ~x5074 ~x5075 ~x5076 ~x5077 ~x5078 ~x5079 ~x5080 ~x5081 ~x5082 ~x5083 ~x5084 ~x5085 ~x5086 ~x5087 ~x5088 ~x5089 ~x5090 ~x5091 ~x5092 ~x5093 ~x5094 x5095 ~x5096 ~x5097 ~x5098 x5099 ~x5100 ~x5101 ~x5102 ~x5103 ~x5104 ~x5105 ~x5106 ~x5107 ~x5108 ~x5109 ~x5110 ~x5111 ~x5112 ~x5113 ~x5114 ~x5115 ~x5116 ~x5117 ~x5118 ~x5119 ~x5120 ~x5121 ~x5122 ~x5123 ~x5124 ~x5125 ~x5126 ~x5127 ~x5128 ~x5129 ~x5130 ~x5131 ~x5132 ~x5133 ~x5134 ~x5135 ~x5136 ~x5137 ~x5138 ~x5139 x5140 ~x5141 ~x5142 ~x5143 x5144 x5145 ~x5146 ~x5147 ~x5148 x5149 x5150 x5151 ~x5152 ~x5153 ~x5154 ~x5155 ~x5156 ~x5157 ~x5158 ~x5159 ~x5160 ~x5161 ~x5162 ~x5163 ~x5164 ~x5165 ~x5166 ~x5167 ~x5168 ~x5169 ~x5170 ~x5171 ~x5172 ~x5173 ~x5174 ~x5175 ~x5176 ~x5177 ~x5178 ~x5179 ~x5180 ~x5181 ~x5182 ~x5183 ~x5184 ~x5185 ~x5186 ~x5187 ~x5188 ~x5189 ~x5190 ~x5191 ~x5192 ~x5193 ~x5194 ~x5195 ~x5196 ~x5197 ~x5198 ~x5199 ~x5200 ~x5201 ~x5202 ~x5203 ~x5204 ~x5205 ~x5206 ~x5207 ~x5208 ~x5209 ~x5210 ~x5211 ~x5212 ~x5213 ~x5214 ~x5215 ~x5216 ~x5217 ~x5218 ~x5219 ~x5220 ~x5221 ~x5222 ~x5223 ~x5224 x5225 ~x5226 ~x5227 ~x5228 ~x5229 ~x5230 ~x5231 ~x5232 ~x5233 ~x5234 ~x5235 ~x5236 ~x5237 x5238 ~x5239 ~x5240 x5241 x5242 ~x5243 ~x5244 ~x5245 ~x5246 ~x5247 ~x5248 ~x5249 ~x5250 ~x5251 ~x5252 ~x5253 ~x5254 x5255 ~x5256 ~x5257 ~x5258 x5259 ~x5260 ~x5261 ~x5262 ~x5263 ~x5264 ~x5265 ~x5266 ~x5267 ~x5268 ~x5269 ~x5270 ~x5271 ~x5272 ~x5273 ~x5274 ~x5275 ~x5276 ~x5277 ~x5278 ~x5279 ~x5280 ~x5281 ~x5282 ~x5283 ~x5284 ~x5285 ~x5286 ~x5287 ~x5288 ~x5289 ~x5290 ~x5291 ~x5292 ~x5293 ~x5294 ~x5295 ~x5296 ~x5297 ~x5298 ~x5299 ~x5300 ~x5301 ~x5302 ~x5303 ~x5304 ~x5305 ~x5306 ~x5307 ~x5308 ~x5309 ~x5310 ~x5311 ~x5312 ~x5313 ~x5314 ~x5315 ~x5316 ~x5317 ~x5318 ~x5319 ~x5320 ~x5321 ~x5322 ~x5323 ~x5324 ~x5325 ~x5326 ~x5327 ~x5328 ~x5329 ~x5330 ~x5331 ~x5332 ~x5333 ~x5334 ~x5335 ~x5336 ~x5337 ~x5338 ~x5339 ~x5340 ~x5341 ~x5342 ~x5343 ~x5344 ~x5345 ~x5346 ~x5347 ~x5348 ~x5349 ~x5350 ~x5351 ~x5352 ~x5353 ~x5354 ~x5355 ~x5356 ~x5357 ~x5358 ~x5359 ~x5360 ~x5361 ~x5362 ~x5363 ~x5364 ~x5365 ~x5366 ~x5367 ~x5368 ~x5369 ~x5370 ~x5371 ~x5372 ~x5373 ~x5374 ~x5375 ~x5376 ~x5377 ~x5378 ~x5379 ~x5380 ~x5381 ~x5382 ~x5383 ~x5384 ~x5385 ~x5386 ~x5387 ~x5388 ~x5389 ~x5390 ~x5391 ~x5392 ~x5393 ~x5394 ~x5395 ~x5396 ~x5397 ~x5398 ~x5399 ~x5400 ~x5401 ~x5402 ~x5403 ~x5404 ~x5405 ~x5406 ~x5407 ~x5408 ~x5409 ~x5410 ~x5411 ~x5412 ~x5413 ~x5414 ~x5415 ~x5416 ~x5417 ~x5418 ~x5419 ~x5420 ~x5421 ~x5422 ~x5423 ~x5424 ~x5425 ~x5426 ~x5427 ~x5428 ~x5429 ~x5430 ~x5431 ~x5432 ~x5433 ~x5434 ~x5435 ~x5436 ~x5437 ~x5438 ~x5439 ~x5440 ~x5441 ~x5442 ~x5443 ~x5444 ~x5445 ~x5446 ~x5447 ~x5448 ~x5449 ~x5450 ~x5451 ~x5452 ~x5453 ~x5454 ~x5455 ~x5456 ~x5457 ~x5458 ~x5459 ~x5460 ~x5461 ~x5462 ~x5463 ~x5464 ~x5465 ~x5466 ~x5467 ~x5468 ~x5469 ~x5470 ~x5471 ~x5472 ~x5473 ~x5474 ~x5475 ~x5476 ~x5477 ~x5478 ~x5479 ~x5480 ~x5481 ~x5482 ~x5483 ~x5484 ~x5485 ~x5486 ~x5487 ~x5488 ~x5489 ~x5490 ~x5491 ~x5492 ~x5493 ~x5494 ~x5495 ~x5496 ~x5497 ~x5498 ~x5499 ~x5500 ~x5501 ~x5502 ~x5503 ~x5504 ~x5505 ~x5506 ~x5507 ~x5508 ~x5509 ~x5510 ~x5511 ~x5512 ~x5513 ~x5514 ~x5515 ~x5516 ~x5517 ~x5518 ~x5519 ~x5520 ~x5521 ~x5522 ~x5523 ~x5524 ~x5525 ~x5526 ~x5527 ~x5528 ~x5529 ~x5530 ~x5531 ~x5532 ~x5533 ~x5534 ~x5535 ~x5536 ~x5537 ~x5538 ~x5539 ~x5540 ~x5541 ~x5542 ~x5543 ~x5544 ~x5545 ~x5546 ~x5547 ~x5548 ~x5549 ~x5550 ~x5551 ~x5552 ~x5553 ~x5554 ~x5555 ~x5556 ~x5557 ~x5558 ~x5559 ~x5560 ~x5561 ~x5562 ~x5563 ~x5564 ~x5565 ~x5566 ~x5567 ~x5568 3600.09/3613.11 c #Conflicts: 962000 | #Constraints: 22582 3600.09/3613.11 c #Conflicts: 963000 | #Constraints: 23585 3600.09/3613.11 c #Conflicts: 964000 | #Constraints: 24585 3600.09/3613.11 c #Conflicts: 965000 | #Constraints: 25585
OK 16
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 (60245 MiB free)
memory of node 1: 64510 MiB (62984 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429712-1721052620/watcher-4429712-1721052620 -o /tmp/evaluation-result-4429712-1721052620/solver-4429712-1721052620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721049012-808654 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429712-1721052620.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=811057, runsolver pid=811054
[startup+0.100082 s]*
/proc/loadavg: 4.15 4.18 4.12 5/259 811058
/proc/meminfo: memFree=126177532/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=43860 memory=15828 CPUtime=0.09 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 2208 0 0 0 9 0 0 0 20 0 1 0 157430266 44912640 3957 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 10965 3957 1737 922 0 2917 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43860 KiB
Current children cumulated memory: 15828 KiB
[startup+0.205778 s]*
/proc/loadavg: 4.15 4.18 4.12 5/259 811058
/proc/meminfo: memFree=126173084/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=48480 memory=20620 CPUtime=0.19 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 3362 0 0 0 19 0 0 0 20 0 1 0 157430266 49643520 5155 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 12120 5155 1819 922 0 4072 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48480 KiB
Current children cumulated memory: 20620 KiB
[startup+0.305687 s]*
/proc/loadavg: 4.15 4.18 4.12 5/259 811058
/proc/meminfo: memFree=126172944/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=48480 memory=20620 CPUtime=0.29 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 3363 0 0 0 28 1 0 0 20 0 1 0 157430266 49643520 5155 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 12120 5155 1819 922 0 4072 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48480 KiB
Current children cumulated memory: 20620 KiB
[startup+0.700196 s]
/proc/loadavg: 4.15 4.18 4.12 5/259 811058
/proc/meminfo: memFree=126169924/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=57376 memory=27744 CPUtime=0.68 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 4637 0 0 0 64 4 0 0 20 0 1 0 157430266 58753024 6936 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 14344 6936 1835 922 0 6296 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57376 KiB
Current children cumulated memory: 27744 KiB
[startup+1.5002 s]
/proc/loadavg: 4.15 4.18 4.12 5/259 811058
/proc/meminfo: memFree=126159504/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=68572 memory=39020 CPUtime=1.48 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 6396 0 0 0 141 7 0 0 20 0 1 0 157430266 70217728 9755 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 17143 9755 1851 922 0 9095 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68572 KiB
Current children cumulated memory: 39020 KiB
[startup+3.10581 s]
/proc/loadavg: 4.14 4.18 4.12 5/259 811058
/proc/meminfo: memFree=126105568/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=75964 memory=50488 CPUtime=3.08 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 8261 0 0 0 294 14 0 0 20 0 1 0 157430266 77787136 12622 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 18991 12622 1851 922 0 10943 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 75964 KiB
Current children cumulated memory: 50488 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.18 4.12 5/259 811058
/proc/meminfo: memFree=126065784/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=100412 memory=73184 CPUtime=6.26 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 12052 0 0 0 603 23 0 0 20 0 1 0 157430266 102821888 18296 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 25103 18296 1851 922 0 17055 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 100412 KiB
Current children cumulated memory: 73184 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.18 4.12 5/259 811060
/proc/meminfo: memFree=125909704/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=126016 memory=87928 CPUtime=12.64 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 15345 0 0 0 1220 44 0 0 20 0 1 0 157430266 129040384 21982 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 31504 21982 1851 922 0 23456 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126016 KiB
Current children cumulated memory: 87928 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.17 4.12 5/259 811063
/proc/meminfo: memFree=125754944/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=145140 memory=106936 CPUtime=25.4 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 21375 0 0 0 2465 75 0 0 20 0 1 0 157430266 148623360 26734 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 36285 26734 1851 922 0 28237 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 145140 KiB
Current children cumulated memory: 106936 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 4.15 4.11 5/259 811067
/proc/meminfo: memFree=125442264/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=213516 memory=156296 CPUtime=50.91 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 31349 0 1 0 4966 125 0 0 20 0 1 0 157430266 218640384 39074 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 53379 39074 1981 922 0 45331 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 213516 KiB
Current children cumulated memory: 156296 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/259 811076
/proc/meminfo: memFree=124966028/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=235732 memory=187360 CPUtime=101.95 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 38010 0 1 0 9969 226 0 0 20 0 1 0 157430266 241389568 46840 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 58933 46840 1981 922 0 50885 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 235732 KiB
Current children cumulated memory: 187360 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/258 811087
/proc/meminfo: memFree=124719136/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=277884 memory=226348 CPUtime=161.75 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 48086 0 1 0 15871 304 0 0 20 0 1 0 157430266 284553216 56587 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 69471 56587 1981 922 0 61423 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 277884 KiB
Current children cumulated memory: 226348 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/258 811099
/proc/meminfo: memFree=124009392/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=341460 memory=262040 CPUtime=221.55 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 52183 0 1 0 21741 414 0 0 20 0 1 0 157430266 349655040 65510 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 85365 65510 1981 922 0 77317 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 341460 KiB
Current children cumulated memory: 262040 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/258 811109
/proc/meminfo: memFree=123744144/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=366700 memory=306316 CPUtime=281.34 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 57104 0 1 0 27601 533 0 0 20 0 1 0 157430266 375500800 76579 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 91675 76579 1981 922 0 83627 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 366700 KiB
Current children cumulated memory: 306316 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/255 811120
/proc/meminfo: memFree=123474576/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=415600 memory=349348 CPUtime=341.14 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 67882 0 1 0 33256 858 0 0 20 0 1 0 157430266 425574400 87337 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 103900 87337 1981 922 0 95852 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 415600 KiB
Current children cumulated memory: 349348 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/255 811130
/proc/meminfo: memFree=123201116/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=458604 memory=384696 CPUtime=400.93 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 76730 0 1 0 38993 1100 0 0 20 0 1 0 157430266 469610496 96174 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 114651 96174 1981 922 0 106603 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 458604 KiB
Current children cumulated memory: 384696 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 811141
/proc/meminfo: memFree=123139776/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=463872 memory=392532 CPUtime=460.73 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 78146 0 1 0 44811 1262 0 0 20 0 1 0 157430266 475004928 98133 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 115968 98133 1981 922 0 107920 0
################
# More data... #
################
Current children cumulated memory: 1083028 KiB
[startup+2922.3 s]
/proc/loadavg: 3.11 3.13 3.37 4/251 812789
/proc/meminfo: memFree=119756184/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1361268 memory=1090520 CPUtime=2911.92 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 175635 0 1 0 286789 4403 0 0 20 0 1 0 157430266 1393938432 272630 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 340317 272630 1981 922 0 332269 0
Current children cumulated CPU time: 2911.92 s
Current children cumulated vsize: 1361268 KiB
Current children cumulated memory: 1090520 KiB
[startup+2982.3 s]
/proc/loadavg: 3.09 3.11 3.35 4/252 812802
/proc/meminfo: memFree=119706828/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1364980 memory=1093420 CPUtime=2971.69 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 176435 0 1 0 292729 4440 0 0 20 0 1 0 157430266 1397739520 273355 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 341245 273355 1981 922 0 333197 0
Current children cumulated CPU time: 2971.69 s
Current children cumulated vsize: 1364980 KiB
Current children cumulated memory: 1093420 KiB
[startup+3042.3 s]
/proc/loadavg: 3.15 3.12 3.34 4/252 812824
/proc/meminfo: memFree=119658096/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1407608 memory=1123096 CPUtime=3031.46 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 183924 0 1 0 298678 4468 0 0 20 0 1 0 157430266 1441390592 280774 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 351902 280774 1981 922 0 343854 0
Current children cumulated CPU time: 3031.46 s
Current children cumulated vsize: 1407608 KiB
Current children cumulated memory: 1123096 KiB
[startup+3102.3 s]
/proc/loadavg: 3.05 3.10 3.31 4/250 812834
/proc/meminfo: memFree=119556860/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1438716 memory=1149924 CPUtime=3091.24 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 190625 0 1 0 304636 4488 0 0 20 0 1 0 157430266 1473245184 287481 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 359679 287481 1981 922 0 351631 0
Current children cumulated CPU time: 3091.24 s
Current children cumulated vsize: 1438716 KiB
Current children cumulated memory: 1149924 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.11 3.30 4/250 812846
/proc/meminfo: memFree=119534488/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1456704 memory=1167532 CPUtime=3151.01 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 195065 0 1 0 310600 4501 0 0 20 0 1 0 157430266 1491664896 291883 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 364176 291883 1981 922 0 356128 0
Current children cumulated CPU time: 3151.01 s
Current children cumulated vsize: 1456704 KiB
Current children cumulated memory: 1167532 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.12 3.29 4/250 812857
/proc/meminfo: memFree=119518216/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1476928 memory=1184044 CPUtime=3210.77 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 199185 0 1 0 316566 4511 0 0 20 0 1 0 157430266 1512374272 296011 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 369232 296011 1981 922 0 361184 0
Current children cumulated CPU time: 3210.77 s
Current children cumulated vsize: 1476928 KiB
Current children cumulated memory: 1184044 KiB
[startup+3282.3 s]
/proc/loadavg: 3.10 3.11 3.27 4/248 812867
/proc/meminfo: memFree=119505780/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1487044 memory=1195572 CPUtime=3270.54 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 202098 0 1 0 322533 4521 0 0 20 0 1 0 157430266 1522733056 298893 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 371761 298893 1981 922 0 363713 0
Current children cumulated CPU time: 3270.54 s
Current children cumulated vsize: 1487044 KiB
Current children cumulated memory: 1195572 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.10 3.26 4/248 812877
/proc/meminfo: memFree=119470708/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1514436 memory=1215024 CPUtime=3330.32 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 206994 0 1 0 328504 4528 0 0 20 0 1 0 157430266 1550782464 303756 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 378609 303756 1981 922 0 370561 0
Current children cumulated CPU time: 3330.32 s
Current children cumulated vsize: 1514436 KiB
Current children cumulated memory: 1215024 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.10 3.25 4/248 812887
/proc/meminfo: memFree=119460060/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1524296 memory=1224396 CPUtime=3390.08 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 208842 0 1 0 334440 4568 0 0 20 0 1 0 157430266 1560879104 306099 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 381074 306099 1981 922 0 373026 0
Current children cumulated CPU time: 3390.08 s
Current children cumulated vsize: 1524296 KiB
Current children cumulated memory: 1224396 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.09 3.24 4/248 812899
/proc/meminfo: memFree=119427840/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1524296 memory=1225884 CPUtime=3449.86 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 209242 0 1 0 340355 4631 0 0 20 0 1 0 157430266 1560879104 306471 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 381074 306471 1981 922 0 373026 0
Current children cumulated CPU time: 3449.86 s
Current children cumulated vsize: 1524296 KiB
Current children cumulated memory: 1225884 KiB
[startup+3522.3 s]
/proc/loadavg: 3.27 3.16 3.26 4/248 812910
/proc/meminfo: memFree=119367404/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1529284 memory=1229220 CPUtime=3509.63 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 210123 0 1 0 346312 4651 0 0 20 0 1 0 157430266 1565986816 307305 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 382321 307305 1981 922 0 374273 0
Current children cumulated CPU time: 3509.63 s
Current children cumulated vsize: 1529284 KiB
Current children cumulated memory: 1229220 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.14 3.24 4/250 812924
/proc/meminfo: memFree=119319028/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1532868 memory=1232064 CPUtime=3569.4 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 210854 0 1 0 352272 4668 0 0 20 0 1 0 157430266 1569656832 308016 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 383217 308016 1981 922 0 375169 0
Current children cumulated CPU time: 3569.4 s
Current children cumulated vsize: 1532868 KiB
Current children cumulated memory: 1232064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.11 s]
/proc/loadavg: 2.69 3.04 3.21 2/236 812992
/proc/meminfo: memFree=126968536/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1533808 memory=1233128 CPUtime=3600.09 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 211092 0 1 0 355319 4690 0 0 20 0 1 0 157430266 1570619392 308282 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 383452 308282 1981 922 0 375404 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1533808 KiB
Current children cumulated memory: 1233128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.14 s]
# the end of solver process 811057 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3553.19 s, system=46.9465 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.11 s]
/proc/loadavg: 2.69 3.04 3.21 2/236 812992
/proc/meminfo: memFree=126968536/131524600 swapFree=131071996/131071996
[pid=811057] ppid=811054 vsize=1533808 memory=1233128 CPUtime=3600.09 cores=0,2
/proc/811057/stat : 811057 (roundingsat) R 811054 811057 808644 0 -1 4194304 211092 0 1 0 355319 4690 0 0 20 0 1 0 157430266 1570619392 308282 134679101440 4194304 7968869 140733876214624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 25280512 140733876220862 140733876221026 140733876221026 140733876228041 0
/proc/811057/statm: 383452 308282 1981 922 0 375404 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1533808 KiB
Current children cumulated memory: 1233128 KiB
Child status: 1
Real time (s): 3613.14
CPU time (s): 3600.14
CPU user time (s): 3553.19
CPU system time (s): 46.9465
CPU usage (%): 99.6401
Max. virtual memory (cumulated for all children) (KiB): 1533808
Max. memory (cumulated for all children) (KiB): 1233128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.19
system time used= 46.9465
maximum resident set size= 1233128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211102
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 25299
# summary of solver processes directly reported to runsolver:
# pid: 811057
# total CPU time (s): 3600.14
# total CPU user time (s): 3553.19
# total CPU system time (s): 46.9465
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62225 second user time and 16.4212 second system time
The end
Begin job on nodeC031 at 2024-07-15 16:10:33 IDJOB=4429712 IDBENCH=158621 IDSOLVER=3051 FILE ID=nodeC031/4429712-1721052620 RUNJOBID= nodeC031-1721049012-808654 SLURM_JOB_ID= 7505473 Free space on /tmp= 890016 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.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-4429712-1721052620/watcher-4429712-1721052620 -o /tmp/evaluation-result-4429712-1721052620/solver-4429712-1721052620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721049012-808654 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429712-1721052620.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119 RANDOM SEED=568945210 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 : 3655.494 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 : 3683.971 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 : 3657.367 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 : 3599.918 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 : 3664.256 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 : 3684.115 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.765 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 : 3600.073 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: 126187016 kB MemAvailable: 127718584 kB Buffers: 353228 kB Cached: 2003420 kB SwapCached: 0 kB Active: 659508 kB Inactive: 4056784 kB Active(anon): 1560 kB Inactive(anon): 2395796 kB Active(file): 657948 kB Inactive(file): 1660988 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5684 kB Writeback: 0 kB AnonPages: 2357580 kB Mapped: 112556 kB Shmem: 37720 kB KReclaimable: 104556 kB Slab: 211516 kB SReclaimable: 104556 kB SUnreclaim: 106960 kB KernelStack: 4172 kB PageTables: 13788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2843880 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61760 kB HardwareCorrupted: 0 kB AnonHugePages: 1816576 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: 185044 kB DirectMap2M: 16365568 kB DirectMap1G: 119537664 kB Free space on /tmp at the end= 890076 MiB End job on nodeC031 at 2024-07-15 17:10:46