| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 16 | 3600.08 | 3610.23 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
| MD5SUM | d6e4abba593cb3232b5d1a2a9d687dd6 |
| 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 | 13 |
| Best CPU time to get the best result obtained on this benchmark | 3600.02 |
| 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 | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 82 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5856 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 198 #constraints 16 0.00/0.00 c bounds - >= 0 @ 0.001243 0.00/0.00 c rational objective 0 0.60/0.65 c bounds 227 >= 0 @ 0.013701 0.60/0.65 c bounds 222 >= 0 @ 0.015764 0.60/0.65 c bounds 217 >= 0 @ 0.028732 0.60/0.65 c bounds 201 >= 0 @ 0.032142 0.60/0.65 c bounds 199 >= 0 @ 0.033341 0.60/0.65 c #Conflicts: 1000 | #Constraints: 1036 0.60/0.65 c #Conflicts: 2000 | #Constraints: 2047 0.60/0.65 c INPROCESSING 0.60/0.65 c GARBAGE COLLECT 0.60/0.65 c rational objective 0 1.49/1.55 c bounds 197 >= 0 @ 0.625504 1.49/1.55 c bounds 195 >= 0 @ 0.626346 1.49/1.55 c bounds 193 >= 0 @ 0.628469 1.49/1.55 c bounds 191 >= 0 @ 0.633217 1.49/1.55 c bounds 189 >= 0 @ 0.633227 1.49/1.55 c bounds 185 >= 0 @ 0.633227 1.49/1.55 c bounds 183 >= 0 @ 0.633227 1.49/1.55 c bounds 181 >= 0 @ 0.63355 1.49/1.55 c bounds 179 >= 0 @ 0.636098 1.49/1.55 c bounds 177 >= 0 @ 0.637209 1.49/1.55 c bounds 171 >= 0 @ 0.640892 1.49/1.55 c bounds 169 >= 0 @ 0.646178 1.49/1.55 c bounds 167 >= 0 @ 0.64958 1.49/1.55 c bounds 151 >= 0 @ 0.651873 1.49/1.55 c bounds 119 >= 0 @ 0.653652 1.49/1.55 c bounds 97 >= 0 @ 0.662399 1.49/1.55 c bounds 85 >= 0 @ 0.669402 1.49/1.55 c bounds 81 >= 0 @ 0.673067 1.49/1.55 c bounds 73 >= 0 @ 0.675261 1.49/1.55 c bounds 69 >= 0 @ 0.678119 1.49/1.55 c bounds 65 >= 0 @ 0.679078 1.49/1.55 c bounds 61 >= 0 @ 0.683324 1.49/1.55 c bounds 57 >= 0 @ 0.684573 1.49/1.55 c #Conflicts: 3000 | #Constraints: 2075 1.49/1.55 c bounds 56 >= 0 @ 1.38409 1.49/1.55 c #Conflicts: 4000 | #Constraints: 3087 1.49/1.55 c INPROCESSING 1.49/1.55 c GARBAGE COLLECT 1.49/1.55 c rational objective 0 2.28/2.34 c #Conflicts: 5000 | #Constraints: 2437 2.28/2.34 c #Conflicts: 6000 | #Constraints: 3444 2.28/2.34 c INPROCESSING 2.28/2.34 c GARBAGE COLLECT 2.28/2.34 c rational objective 0 3.27/3.38 c bounds 54 >= 0 @ 2.23018 3.27/3.38 c #Conflicts: 7000 | #Constraints: 2448 3.27/3.38 c #Conflicts: 8000 | #Constraints: 3457 3.27/3.38 c #Conflicts: 9000 | #Constraints: 4467 3.27/3.38 c INPROCESSING 3.27/3.38 c GARBAGE COLLECT 3.27/3.38 c rational objective 0 4.37/4.44 c #Conflicts: 10000 | #Constraints: 3158 4.37/4.44 c #Conflicts: 11000 | #Constraints: 4165 4.37/4.44 c #Conflicts: 12000 | #Constraints: 5174 4.37/4.44 c INPROCESSING 4.37/4.44 c GARBAGE COLLECT 4.37/4.44 c rational objective 0 5.68/5.79 c #Conflicts: 13000 | #Constraints: 3611 5.68/5.79 c bounds 52 >= 0 @ 4.80791 5.68/5.79 c #Conflicts: 14000 | #Constraints: 4620 5.68/5.79 c #Conflicts: 15000 | #Constraints: 5627 5.68/5.79 c INPROCESSING 5.68/5.79 c GARBAGE COLLECT 5.68/5.79 c rational objective 0 7.17/7.24 c bounds 50 >= 0 @ 5.53024 7.17/7.24 c bounds 46 >= 0 @ 5.93382 7.17/7.24 c #Conflicts: 16000 | #Constraints: 3849 7.17/7.24 c #Conflicts: 17000 | #Constraints: 4860 7.17/7.24 c #Conflicts: 18000 | #Constraints: 5863 7.17/7.24 c INPROCESSING 7.17/7.24 c GARBAGE COLLECT 7.17/7.24 c rational objective 0 8.87/8.98 c bounds 38 >= 0 @ 6.97313 8.87/8.98 c #Conflicts: 19000 | #Constraints: 3852 8.87/8.98 c #Conflicts: 20000 | #Constraints: 4865 8.87/8.98 c #Conflicts: 21000 | #Constraints: 5877 8.87/8.98 c INPROCESSING 8.87/8.98 c GARBAGE COLLECT 8.87/8.98 c rational objective 0 10.56/10.62 c #Conflicts: 22000 | #Constraints: 3660 10.56/10.62 c #Conflicts: 23000 | #Constraints: 4678 10.56/10.62 c #Conflicts: 24000 | #Constraints: 5688 10.56/10.62 c #Conflicts: 25000 | #Constraints: 6698 10.56/10.62 c INPROCESSING 10.56/10.62 c GARBAGE COLLECT 10.56/10.62 c rational objective 0 12.85/12.99 c #Conflicts: 26000 | #Constraints: 4275 12.85/12.99 c #Conflicts: 27000 | #Constraints: 5282 12.85/12.99 c #Conflicts: 28000 | #Constraints: 6287 12.85/12.99 c #Conflicts: 29000 | #Constraints: 7292 12.85/12.99 c INPROCESSING 12.85/12.99 c GARBAGE COLLECT 12.85/12.99 c rational objective 0 15.06/15.18 c #Conflicts: 30000 | #Constraints: 4674 15.06/15.18 c #Conflicts: 31000 | #Constraints: 5682 15.06/15.18 c #Conflicts: 32000 | #Constraints: 6692 15.06/15.18 c #Conflicts: 33000 | #Constraints: 7694 15.06/15.18 c INPROCESSING 15.06/15.18 c GARBAGE COLLECT 15.06/15.18 c rational objective 0 18.34/18.44 c #Conflicts: 34000 | #Constraints: 4867 18.34/18.44 c #Conflicts: 35000 | #Constraints: 5868 18.34/18.44 c #Conflicts: 36000 | #Constraints: 6874 18.34/18.44 c #Conflicts: 37000 | #Constraints: 7877 18.34/18.44 c INPROCESSING 18.34/18.44 c GARBAGE COLLECT 18.34/18.44 c rational objective 0 20.94/21.07 c #Conflicts: 38000 | #Constraints: 4872 20.94/21.07 c #Conflicts: 39000 | #Constraints: 5878 20.94/21.07 c #Conflicts: 40000 | #Constraints: 6884 20.94/21.07 c #Conflicts: 41000 | #Constraints: 7890 20.94/21.07 c INPROCESSING 20.94/21.07 c GARBAGE COLLECT 20.94/21.07 c rational objective 0 24.04/24.12 c #Conflicts: 42000 | #Constraints: 4663 24.04/24.12 c #Conflicts: 43000 | #Constraints: 5670 24.04/24.12 c #Conflicts: 44000 | #Constraints: 6673 24.04/24.12 c #Conflicts: 45000 | #Constraints: 7676 24.04/24.12 c #Conflicts: 46000 | #Constraints: 8683 24.04/24.12 c INPROCESSING 24.04/24.12 c GARBAGE COLLECT 24.04/24.12 c rational objective 0 27.71/27.83 c #Conflicts: 47000 | #Constraints: 5262 27.71/27.83 c bounds 36 >= 0 @ 24.049 27.71/27.83 c bounds 34 >= 0 @ 24.0522 27.71/27.83 c bounds 30 >= 0 @ 24.0558 27.71/27.83 c #Conflicts: 48000 | #Constraints: 6272 27.71/27.83 c #Conflicts: 49000 | #Constraints: 7276 27.71/27.83 c #Conflicts: 50000 | #Constraints: 8278 27.71/27.83 c #Conflicts: 51000 | #Constraints: 9284 27.71/27.83 c INPROCESSING 27.71/27.83 c GARBAGE COLLECT 27.71/27.83 c rational objective 0 30.91/31.08 c #Conflicts: 52000 | #Constraints: 5666 30.91/31.08 c #Conflicts: 53000 | #Constraints: 6670 30.91/31.08 c #Conflicts: 54000 | #Constraints: 7672 30.91/31.08 c #Conflicts: 55000 | #Constraints: 8680 30.91/31.08 c #Conflicts: 56000 | #Constraints: 9682 30.91/31.08 c INPROCESSING 30.91/31.08 c GARBAGE COLLECT 30.91/31.08 c rational objective 0 35.68/35.83 c #Conflicts: 57000 | #Constraints: 5863 35.68/35.83 c #Conflicts: 58000 | #Constraints: 6869 35.68/35.83 c #Conflicts: 59000 | #Constraints: 7875 35.68/35.83 c #Conflicts: 60000 | #Constraints: 8878 35.68/35.83 c #Conflicts: 61000 | #Constraints: 9881 35.68/35.83 c INPROCESSING 35.68/35.83 c GARBAGE COLLECT 35.68/35.83 c rational objective 0 39.67/39.81 c #Conflicts: 62000 | #Constraints: 5868 39.67/39.81 c #Conflicts: 63000 | #Constraints: 6872 39.67/39.81 c #Conflicts: 64000 | #Constraints: 7879 39.67/39.81 c #Conflicts: 65000 | #Constraints: 8881 39.67/39.81 c #Conflicts: 66000 | #Constraints: 9889 39.67/39.81 c INPROCESSING 39.67/39.81 c GARBAGE COLLECT 39.67/39.81 c rational objective 0 43.67/43.85 c #Conflicts: 67000 | #Constraints: 5663 43.67/43.85 c #Conflicts: 68000 | #Constraints: 6670 43.67/43.85 c #Conflicts: 69000 | #Constraints: 7672 43.67/43.85 c #Conflicts: 70000 | #Constraints: 8675 43.67/43.85 c #Conflicts: 71000 | #Constraints: 9677 43.67/43.85 c #Conflicts: 72000 | #Constraints: 10678 43.67/43.85 c INPROCESSING 43.67/43.85 c GARBAGE COLLECT 43.67/43.85 c rational objective 0 49.96/50.12 c #Conflicts: 73000 | #Constraints: 6261 49.96/50.12 c #Conflicts: 74000 | #Constraints: 7264 49.96/50.12 c #Conflicts: 75000 | #Constraints: 8266 49.96/50.12 c #Conflicts: 76000 | #Constraints: 9271 49.96/50.12 c #Conflicts: 77000 | #Constraints: 10279 49.96/50.12 c #Conflicts: 78000 | #Constraints: 11284 49.96/50.12 c INPROCESSING 49.96/50.12 c GARBAGE COLLECT 49.96/50.12 c rational objective 0 54.23/54.49 c #Conflicts: 79000 | #Constraints: 6672 54.23/54.49 c #Conflicts: 80000 | #Constraints: 7676 54.23/54.49 c #Conflicts: 81000 | #Constraints: 8679 54.23/54.49 c #Conflicts: 82000 | #Constraints: 9683 54.23/54.49 c #Conflicts: 83000 | #Constraints: 10685 54.23/54.49 c #Conflicts: 84000 | #Constraints: 11688 54.23/54.49 c INPROCESSING 54.23/54.49 c GARBAGE COLLECT 54.23/54.49 c rational objective 0 61.11/61.31 c #Conflicts: 85000 | #Constraints: 6864 61.11/61.31 c #Conflicts: 86000 | #Constraints: 7866 61.11/61.31 c #Conflicts: 87000 | #Constraints: 8868 61.11/61.31 c #Conflicts: 88000 | #Constraints: 9870 61.11/61.31 c #Conflicts: 89000 | #Constraints: 10871 61.11/61.31 c #Conflicts: 90000 | #Constraints: 11873 61.11/61.31 c INPROCESSING 61.11/61.31 c GARBAGE COLLECT 61.11/61.31 c rational objective 0 67.19/67.42 c #Conflicts: 91000 | #Constraints: 6861 67.19/67.42 c #Conflicts: 92000 | #Constraints: 7868 67.19/67.42 c #Conflicts: 93000 | #Constraints: 8869 67.19/67.42 c #Conflicts: 94000 | #Constraints: 9871 67.19/67.42 c #Conflicts: 95000 | #Constraints: 10872 67.19/67.42 c #Conflicts: 96000 | #Constraints: 11872 67.19/67.42 c INPROCESSING 67.19/67.42 c GARBAGE COLLECT 67.19/67.42 c rational objective 0 72.68/73.01 c #Conflicts: 97000 | #Constraints: 6658 72.68/73.01 c #Conflicts: 98000 | #Constraints: 7662 72.68/73.01 c #Conflicts: 99000 | #Constraints: 8665 72.68/73.01 c #Conflicts: 100000 | #Constraints: 9666 72.68/73.01 c #Conflicts: 101000 | #Constraints: 10666 72.68/73.01 c #Conflicts: 102000 | #Constraints: 11667 72.68/73.01 c #Conflicts: 103000 | #Constraints: 12672 72.68/73.01 c INPROCESSING 72.68/73.01 c GARBAGE COLLECT 72.68/73.01 c rational objective 0 81.05/81.40 c #Conflicts: 104000 | #Constraints: 7254 81.05/81.40 c #Conflicts: 105000 | #Constraints: 8256 81.05/81.40 c #Conflicts: 106000 | #Constraints: 9259 81.05/81.40 c #Conflicts: 107000 | #Constraints: 10262 81.05/81.40 c #Conflicts: 108000 | #Constraints: 11268 81.05/81.40 c #Conflicts: 109000 | #Constraints: 12271 81.05/81.40 c #Conflicts: 110000 | #Constraints: 13275 81.05/81.40 c INPROCESSING 81.05/81.40 c GARBAGE COLLECT 81.05/81.40 c rational objective 0 86.64/86.96 c #Conflicts: 111000 | #Constraints: 7665 86.64/86.96 c #Conflicts: 112000 | #Constraints: 8668 86.64/86.96 c #Conflicts: 113000 | #Constraints: 9673 86.64/86.96 c #Conflicts: 114000 | #Constraints: 10677 86.64/86.96 c #Conflicts: 115000 | #Constraints: 11678 86.64/86.96 c #Conflicts: 116000 | #Constraints: 12686 86.64/86.96 c #Conflicts: 117000 | #Constraints: 13687 86.64/86.96 c INPROCESSING 86.64/86.96 c GARBAGE COLLECT 86.64/86.96 c rational objective 0 94.52/94.84 c #Conflicts: 118000 | #Constraints: 7862 94.52/94.84 c #Conflicts: 119000 | #Constraints: 8864 94.52/94.84 c #Conflicts: 120000 | #Constraints: 9868 94.52/94.84 c #Conflicts: 121000 | #Constraints: 10870 94.52/94.84 c bounds 29 >= 0 @ 90.1197 94.52/94.84 c #Conflicts: 122000 | #Constraints: 11873 94.52/94.84 c #Conflicts: 123000 | #Constraints: 12878 94.52/94.84 c #Conflicts: 124000 | #Constraints: 13882 94.52/94.84 c INPROCESSING 94.52/94.84 c GARBAGE COLLECT 94.52/94.84 c rational objective 0 101.00/101.31 c #Conflicts: 125000 | #Constraints: 7860 101.00/101.31 c #Conflicts: 126000 | #Constraints: 8862 101.00/101.31 c #Conflicts: 127000 | #Constraints: 9867 101.00/101.31 c #Conflicts: 128000 | #Constraints: 10873 101.00/101.31 c #Conflicts: 129000 | #Constraints: 11874 101.00/101.31 c #Conflicts: 130000 | #Constraints: 12878 101.00/101.31 c #Conflicts: 131000 | #Constraints: 13882 101.00/101.31 c INPROCESSING 101.00/101.31 c GARBAGE COLLECT 101.00/101.31 c rational objective 0 110.78/111.14 c bounds 25 >= 0 @ 98.8843 110.78/111.14 c bounds 23 >= 0 @ 98.8887 110.78/111.14 c #Conflicts: 132000 | #Constraints: 7663 110.78/111.14 c #Conflicts: 133000 | #Constraints: 8667 110.78/111.14 c #Conflicts: 134000 | #Constraints: 9675 110.78/111.14 c #Conflicts: 135000 | #Constraints: 10679 110.78/111.14 c #Conflicts: 136000 | #Constraints: 11684 110.78/111.14 c #Conflicts: 137000 | #Constraints: 12690 110.78/111.14 c #Conflicts: 138000 | #Constraints: 13691 110.78/111.14 c #Conflicts: 139000 | #Constraints: 14695 110.78/111.14 c INPROCESSING 110.78/111.14 c GARBAGE COLLECT 110.78/111.14 c rational objective 0 119.04/119.40 c #Conflicts: 140000 | #Constraints: 8271 119.04/119.40 c #Conflicts: 141000 | #Constraints: 9274 119.04/119.40 c #Conflicts: 142000 | #Constraints: 10277 119.04/119.40 c #Conflicts: 143000 | #Constraints: 11278 119.04/119.40 c #Conflicts: 144000 | #Constraints: 12279 119.04/119.40 c #Conflicts: 145000 | #Constraints: 13281 119.04/119.40 c #Conflicts: 146000 | #Constraints: 14284 119.04/119.40 c #Conflicts: 147000 | #Constraints: 15288 119.04/119.40 c INPROCESSING 119.04/119.40 c GARBAGE COLLECT 119.04/119.40 c rational objective 0 130.51/131.01 c #Conflicts: 148000 | #Constraints: 8664 130.51/131.01 c #Conflicts: 149000 | #Constraints: 9668 130.51/131.01 c #Conflicts: 150000 | #Constraints: 10672 130.51/131.01 c #Conflicts: 151000 | #Constraints: 11676 130.51/131.01 c #Conflicts: 152000 | #Constraints: 12678 130.51/131.01 c #Conflicts: 153000 | #Constraints: 13680 130.51/131.01 c #Conflicts: 154000 | #Constraints: 14683 130.51/131.01 c #Conflicts: 155000 | #Constraints: 15684 130.51/131.01 c INPROCESSING 130.51/131.01 c GARBAGE COLLECT 130.51/131.01 c rational objective 0 138.50/138.94 c #Conflicts: 156000 | #Constraints: 8867 138.50/138.94 c #Conflicts: 157000 | #Constraints: 9871 138.50/138.94 c #Conflicts: 158000 | #Constraints: 10876 138.50/138.94 c #Conflicts: 159000 | #Constraints: 11878 138.50/138.94 c #Conflicts: 160000 | #Constraints: 12881 138.50/138.94 c #Conflicts: 161000 | #Constraints: 13886 138.50/138.94 c #Conflicts: 162000 | #Constraints: 14889 138.50/138.94 c #Conflicts: 163000 | #Constraints: 15891 138.50/138.94 c INPROCESSING 138.50/138.94 c GARBAGE COLLECT 138.50/138.94 c rational objective 0 146.77/147.20 c #Conflicts: 164000 | #Constraints: 8865 146.77/147.20 c #Conflicts: 165000 | #Constraints: 9867 146.77/147.20 c #Conflicts: 166000 | #Constraints: 10871 146.77/147.20 c #Conflicts: 167000 | #Constraints: 11872 146.77/147.20 c #Conflicts: 168000 | #Constraints: 12872 146.77/147.20 c #Conflicts: 169000 | #Constraints: 13875 146.77/147.20 c #Conflicts: 170000 | #Constraints: 14878 146.77/147.20 c #Conflicts: 171000 | #Constraints: 15880 146.77/147.20 c INPROCESSING 146.77/147.20 c GARBAGE COLLECT 146.77/147.20 c rational objective 0 160.73/161.20 c #Conflicts: 172000 | #Constraints: 8657 160.73/161.20 c #Conflicts: 173000 | #Constraints: 9660 160.73/161.20 c #Conflicts: 174000 | #Constraints: 10664 160.73/161.20 c #Conflicts: 175000 | #Constraints: 11669 160.73/161.20 c #Conflicts: 176000 | #Constraints: 12673 160.73/161.20 c #Conflicts: 177000 | #Constraints: 13673 160.73/161.20 c #Conflicts: 178000 | #Constraints: 14674 160.73/161.20 c #Conflicts: 179000 | #Constraints: 15675 160.73/161.20 c #Conflicts: 180000 | #Constraints: 16677 160.73/161.20 c INPROCESSING 160.73/161.20 c GARBAGE COLLECT 160.73/161.20 c rational objective 0 170.61/171.19 c #Conflicts: 181000 | #Constraints: 9267 170.61/171.19 c #Conflicts: 182000 | #Constraints: 10271 170.61/171.19 c #Conflicts: 183000 | #Constraints: 11275 170.61/171.19 c #Conflicts: 184000 | #Constraints: 12278 170.61/171.19 c #Conflicts: 185000 | #Constraints: 13282 170.61/171.19 c #Conflicts: 186000 | #Constraints: 14285 170.61/171.19 c #Conflicts: 187000 | #Constraints: 15288 170.61/171.19 c #Conflicts: 188000 | #Constraints: 16291 170.61/171.19 c #Conflicts: 189000 | #Constraints: 17294 170.61/171.19 c INPROCESSING 170.61/171.19 c GARBAGE COLLECT 170.61/171.19 c rational objective 0 181.27/181.80 c #Conflicts: 190000 | #Constraints: 9667 181.27/181.80 c #Conflicts: 191000 | #Constraints: 10669 181.27/181.80 c #Conflicts: 192000 | #Constraints: 11672 181.27/181.80 c #Conflicts: 193000 | #Constraints: 12675 181.27/181.80 c #Conflicts: 194000 | #Constraints: 13676 181.27/181.80 c #Conflicts: 195000 | #Constraints: 14678 181.27/181.80 c #Conflicts: 196000 | #Constraints: 15681 181.27/181.80 c #Conflicts: 197000 | #Constraints: 16683 181.27/181.80 c #Conflicts: 198000 | #Constraints: 17683 181.27/181.80 c INPROCESSING 181.27/181.80 c GARBAGE COLLECT 181.27/181.80 c rational objective 0 196.92/197.52 c #Conflicts: 199000 | #Constraints: 9866 196.92/197.52 c #Conflicts: 200000 | #Constraints: 10871 196.92/197.52 c #Conflicts: 201000 | #Constraints: 11875 196.92/197.52 c #Conflicts: 202000 | #Constraints: 12881 196.92/197.52 c #Conflicts: 203000 | #Constraints: 13882 196.92/197.52 c #Conflicts: 204000 | #Constraints: 14882 196.92/197.52 c #Conflicts: 205000 | #Constraints: 15885 196.92/197.52 c #Conflicts: 206000 | #Constraints: 16888 196.92/197.52 c #Conflicts: 207000 | #Constraints: 17889 196.92/197.52 c INPROCESSING 196.92/197.52 c GARBAGE COLLECT 196.92/197.52 c rational objective 0 210.58/211.24 c #Conflicts: 208000 | #Constraints: 9873 210.58/211.24 c #Conflicts: 209000 | #Constraints: 10876 210.58/211.24 c #Conflicts: 210000 | #Constraints: 11879 210.58/211.24 c #Conflicts: 211000 | #Constraints: 12881 210.58/211.24 c #Conflicts: 212000 | #Constraints: 13885 210.58/211.24 c #Conflicts: 213000 | #Constraints: 14886 210.58/211.24 c #Conflicts: 214000 | #Constraints: 15887 210.58/211.24 c #Conflicts: 215000 | #Constraints: 16888 210.58/211.24 c #Conflicts: 216000 | #Constraints: 17890 210.58/211.24 c INPROCESSING 210.58/211.24 c GARBAGE COLLECT 210.58/211.24 c rational objective 0 230.34/231.06 c #Conflicts: 217000 | #Constraints: 9663 230.34/231.06 c #Conflicts: 218000 | #Constraints: 10664 230.34/231.06 c #Conflicts: 219000 | #Constraints: 11665 230.34/231.06 c #Conflicts: 220000 | #Constraints: 12666 230.34/231.06 c #Conflicts: 221000 | #Constraints: 13666 230.34/231.06 c #Conflicts: 222000 | #Constraints: 14668 230.34/231.06 c #Conflicts: 223000 | #Constraints: 15670 230.34/231.06 c #Conflicts: 224000 | #Constraints: 16672 230.34/231.06 c #Conflicts: 225000 | #Constraints: 17675 230.34/231.06 c #Conflicts: 226000 | #Constraints: 18676 230.34/231.06 c INPROCESSING 230.34/231.06 c GARBAGE COLLECT 230.34/231.06 c rational objective 0 242.99/243.79 c #Conflicts: 227000 | #Constraints: 10263 242.99/243.79 c #Conflicts: 228000 | #Constraints: 11265 242.99/243.79 c #Conflicts: 229000 | #Constraints: 12270 242.99/243.79 c #Conflicts: 230000 | #Constraints: 13270 242.99/243.79 c #Conflicts: 231000 | #Constraints: 14272 242.99/243.79 c #Conflicts: 232000 | #Constraints: 15274 242.99/243.79 c #Conflicts: 233000 | #Constraints: 16277 242.99/243.79 c #Conflicts: 234000 | #Constraints: 17280 242.99/243.79 c #Conflicts: 235000 | #Constraints: 18280 242.99/243.79 c #Conflicts: 236000 | #Constraints: 19282 242.99/243.79 c INPROCESSING 242.99/243.79 c GARBAGE COLLECT 242.99/243.79 c rational objective 0 255.06/255.87 c #Conflicts: 237000 | #Constraints: 10655 255.06/255.87 c #Conflicts: 238000 | #Constraints: 11658 255.06/255.87 c #Conflicts: 239000 | #Constraints: 12659 255.06/255.87 c #Conflicts: 240000 | #Constraints: 13662 255.06/255.87 c #Conflicts: 241000 | #Constraints: 14664 255.06/255.87 c #Conflicts: 242000 | #Constraints: 15667 255.06/255.87 c #Conflicts: 243000 | #Constraints: 16671 255.06/255.87 c #Conflicts: 244000 | #Constraints: 17675 255.06/255.87 c #Conflicts: 245000 | #Constraints: 18676 255.06/255.87 c #Conflicts: 246000 | #Constraints: 19681 255.06/255.87 c INPROCESSING 255.06/255.87 c GARBAGE COLLECT 255.06/255.87 c rational objective 0 276.89/277.75 c #Conflicts: 247000 | #Constraints: 10860 276.89/277.75 c #Conflicts: 248000 | #Constraints: 11862 276.89/277.75 c #Conflicts: 249000 | #Constraints: 12863 276.89/277.75 c #Conflicts: 250000 | #Constraints: 13866 276.89/277.75 c #Conflicts: 251000 | #Constraints: 14867 276.89/277.75 c #Conflicts: 252000 | #Constraints: 15869 276.89/277.75 c #Conflicts: 253000 | #Constraints: 16874 276.89/277.75 c #Conflicts: 254000 | #Constraints: 17876 276.89/277.75 c #Conflicts: 255000 | #Constraints: 18878 276.89/277.75 c #Conflicts: 256000 | #Constraints: 19878 276.89/277.75 c INPROCESSING 276.89/277.75 c GARBAGE COLLECT 276.89/277.75 c rational objective 0 290.27/291.16 c #Conflicts: 257000 | #Constraints: 10864 290.27/291.16 c #Conflicts: 258000 | #Constraints: 11867 290.27/291.16 c #Conflicts: 259000 | #Constraints: 12872 290.27/291.16 c #Conflicts: 260000 | #Constraints: 13875 290.27/291.16 c #Conflicts: 261000 | #Constraints: 14876 290.27/291.16 c #Conflicts: 262000 | #Constraints: 15877 290.27/291.16 c #Conflicts: 263000 | #Constraints: 16879 290.27/291.16 c #Conflicts: 264000 | #Constraints: 17881 290.27/291.16 c #Conflicts: 265000 | #Constraints: 18881 290.27/291.16 c #Conflicts: 266000 | #Constraints: 19882 290.27/291.16 c INPROCESSING 290.27/291.16 c GARBAGE COLLECT 290.27/291.16 c rational objective 0 313.11/314.04 c #Conflicts: 267000 | #Constraints: 10658 313.11/314.04 c #Conflicts: 268000 | #Constraints: 11659 313.11/314.04 c #Conflicts: 269000 | #Constraints: 12659 313.11/314.04 c #Conflicts: 270000 | #Constraints: 13660 313.11/314.04 c #Conflicts: 271000 | #Constraints: 14663 313.11/314.04 c #Conflicts: 272000 | #Constraints: 15664 313.11/314.04 c #Conflicts: 273000 | #Constraints: 16665 313.11/314.04 c #Conflicts: 274000 | #Constraints: 17665 313.11/314.04 c #Conflicts: 275000 | #Constraints: 18666 313.11/314.04 c #Conflicts: 276000 | #Constraints: 19668 313.11/314.04 c #Conflicts: 277000 | #Constraints: 20669 313.11/314.04 c INPROCESSING 313.11/314.04 c GARBAGE COLLECT 313.11/314.04 c rational objective 0 327.17/328.11 c #Conflicts: 278000 | #Constraints: 11258 327.17/328.11 c #Conflicts: 279000 | #Constraints: 12260 327.17/328.11 c #Conflicts: 280000 | #Constraints: 13262 327.17/328.11 c #Conflicts: 281000 | #Constraints: 14267 327.17/328.11 c #Conflicts: 282000 | #Constraints: 15268 327.17/328.11 c #Conflicts: 283000 | #Constraints: 16271 327.17/328.11 c #Conflicts: 284000 | #Constraints: 17273 327.17/328.11 c #Conflicts: 285000 | #Constraints: 18275 327.17/328.11 c #Conflicts: 286000 | #Constraints: 19280 327.17/328.11 c #Conflicts: 287000 | #Constraints: 20282 327.17/328.11 c #Conflicts: 288000 | #Constraints: 21285 327.17/328.11 c INPROCESSING 327.17/328.11 c GARBAGE COLLECT 327.17/328.11 c rational objective 0 341.92/342.95 c #Conflicts: 289000 | #Constraints: 11660 341.92/342.95 c #Conflicts: 290000 | #Constraints: 12666 341.92/342.95 c #Conflicts: 291000 | #Constraints: 13669 341.92/342.95 c #Conflicts: 292000 | #Constraints: 14670 341.92/342.95 c #Conflicts: 293000 | #Constraints: 15671 341.92/342.95 c #Conflicts: 294000 | #Constraints: 16672 341.92/342.95 c #Conflicts: 295000 | #Constraints: 17672 341.92/342.95 c #Conflicts: 296000 | #Constraints: 18674 341.92/342.95 c #Conflicts: 297000 | #Constraints: 19675 341.92/342.95 c #Conflicts: 298000 | #Constraints: 20675 341.92/342.95 c #Conflicts: 299000 | #Constraints: 21681 341.92/342.95 c INPROCESSING 341.92/342.95 c GARBAGE COLLECT 341.92/342.95 c rational objective 0 368.54/369.62 c #Conflicts: 300000 | #Constraints: 11863 368.54/369.62 c #Conflicts: 301000 | #Constraints: 12865 368.54/369.62 c #Conflicts: 302000 | #Constraints: 13866 368.54/369.62 c #Conflicts: 303000 | #Constraints: 14868 368.54/369.62 c #Conflicts: 304000 | #Constraints: 15871 368.54/369.62 c #Conflicts: 305000 | #Constraints: 16871 368.54/369.62 c #Conflicts: 306000 | #Constraints: 17875 368.54/369.62 c #Conflicts: 307000 | #Constraints: 18879 368.54/369.62 c #Conflicts: 308000 | #Constraints: 19879 368.54/369.62 c #Conflicts: 309000 | #Constraints: 20881 368.54/369.62 c #Conflicts: 310000 | #Constraints: 21882 368.54/369.62 c INPROCESSING 368.54/369.62 c GARBAGE COLLECT 368.54/369.62 c rational objective 0 388.18/389.38 c #Conflicts: 311000 | #Constraints: 11871 388.18/389.38 c #Conflicts: 312000 | #Constraints: 12872 388.18/389.38 c #Conflicts: 313000 | #Constraints: 13872 388.18/389.38 c #Conflicts: 314000 | #Constraints: 14873 388.18/389.38 c #Conflicts: 315000 | #Constraints: 15874 388.18/389.38 c #Conflicts: 316000 | #Constraints: 16876 388.18/389.38 c #Conflicts: 317000 | #Constraints: 17876 388.18/389.38 c #Conflicts: 318000 | #Constraints: 18878 388.18/389.38 c #Conflicts: 319000 | #Constraints: 19880 388.18/389.38 c #Conflicts: 320000 | #Constraints: 20881 388.18/389.38 c #Conflicts: 321000 | #Constraints: 21881 388.18/389.38 c INPROCESSING 388.18/389.38 c GARBAGE COLLECT 388.18/389.38 c rational objective 0 408.33/409.50 c #Conflicts: 322000 | #Constraints: 11661 408.33/409.50 c #Conflicts: 323000 | #Constraints: 12662 408.33/409.50 c #Conflicts: 324000 | #Constraints: 13663 408.33/409.50 c #Conflicts: 325000 | #Constraints: 14665 408.33/409.50 c #Conflicts: 326000 | #Constraints: 15666 408.33/409.50 c #Conflicts: 327000 | #Constraints: 16666 408.33/409.50 c #Conflicts: 328000 | #Constraints: 17668 408.33/409.50 c #Conflicts: 329000 | #Constraints: 18668 408.33/409.50 c #Conflicts: 330000 | #Constraints: 19670 408.33/409.50 c #Conflicts: 331000 | #Constraints: 20670 408.33/409.50 c #Conflicts: 332000 | #Constraints: 21673 408.33/409.50 c #Conflicts: 333000 | #Constraints: 22673 408.33/409.50 c INPROCESSING 408.33/409.50 c GARBAGE COLLECT 408.33/409.50 c rational objective 0 437.65/438.96 c #Conflicts: 334000 | #Constraints: 12251 437.65/438.96 c #Conflicts: 335000 | #Constraints: 13253 437.65/438.96 c #Conflicts: 336000 | #Constraints: 14255 437.65/438.96 c #Conflicts: 337000 | #Constraints: 15259 437.65/438.96 c #Conflicts: 338000 | #Constraints: 16260 437.65/438.96 c #Conflicts: 339000 | #Constraints: 17261 437.65/438.96 c #Conflicts: 340000 | #Constraints: 18264 437.65/438.96 c #Conflicts: 341000 | #Constraints: 19266 437.65/438.96 c #Conflicts: 342000 | #Constraints: 20269 437.65/438.96 c #Conflicts: 343000 | #Constraints: 21271 437.65/438.96 c #Conflicts: 344000 | #Constraints: 22272 437.65/438.96 c #Conflicts: 345000 | #Constraints: 23274 437.65/438.96 c INPROCESSING 437.65/438.96 c GARBAGE COLLECT 437.65/438.96 c rational objective 0 456.99/458.31 c #Conflicts: 346000 | #Constraints: 12660 456.99/458.31 c #Conflicts: 347000 | #Constraints: 13661 456.99/458.31 c #Conflicts: 348000 | #Constraints: 14664 456.99/458.31 c #Conflicts: 349000 | #Constraints: 15665 456.99/458.31 c #Conflicts: 350000 | #Constraints: 16665 456.99/458.31 c #Conflicts: 351000 | #Constraints: 17667 456.99/458.31 c #Conflicts: 352000 | #Constraints: 18669 456.99/458.31 c #Conflicts: 353000 | #Constraints: 19671 456.99/458.31 c #Conflicts: 354000 | #Constraints: 20672 456.99/458.31 c #Conflicts: 355000 | #Constraints: 21676 456.99/458.31 c #Conflicts: 356000 | #Constraints: 22677 456.99/458.31 c #Conflicts: 357000 | #Constraints: 23682 456.99/458.31 c INPROCESSING 456.99/458.31 c GARBAGE COLLECT 456.99/458.31 c rational objective 0 487.91/489.34 c #Conflicts: 358000 | #Constraints: 12860 487.91/489.34 c #Conflicts: 359000 | #Constraints: 13860 487.91/489.34 c #Conflicts: 360000 | #Constraints: 14862 487.91/489.34 c #Conflicts: 361000 | #Constraints: 15863 487.91/489.34 c #Conflicts: 362000 | #Constraints: 16865 487.91/489.34 c #Conflicts: 363000 | #Constraints: 17866 487.91/489.34 c #Conflicts: 364000 | #Constraints: 18869 487.91/489.34 c #Conflicts: 365000 | #Constraints: 19873 487.91/489.34 c #Conflicts: 366000 | #Constraints: 20873 487.91/489.34 c bounds 22 >= 0 @ 476.18 487.91/489.34 c #Conflicts: 367000 | #Constraints: 21877 487.91/489.34 c #Conflicts: 368000 | #Constraints: 22881 487.91/489.34 c #Conflicts: 369000 | #Constraints: 23884 487.91/489.34 c INPROCESSING 487.91/489.34 c GARBAGE COLLECT 487.91/489.34 c rational objective 0 508.35/509.80 c #Conflicts: 370000 | #Constraints: 12864 508.35/509.80 c #Conflicts: 371000 | #Constraints: 13868 508.35/509.80 c #Conflicts: 372000 | #Constraints: 14869 508.35/509.80 c #Conflicts: 373000 | #Constraints: 15869 508.35/509.80 c #Conflicts: 374000 | #Constraints: 16871 508.35/509.80 c #Conflicts: 375000 | #Constraints: 17873 508.35/509.80 c #Conflicts: 376000 | #Constraints: 18873 508.35/509.80 c #Conflicts: 377000 | #Constraints: 19875 508.35/509.80 c #Conflicts: 378000 | #Constraints: 20881 508.35/509.80 c #Conflicts: 379000 | #Constraints: 21884 508.35/509.80 c #Conflicts: 380000 | #Constraints: 22886 508.35/509.80 c #Conflicts: 381000 | #Constraints: 23887 508.35/509.80 c INPROCESSING 508.35/509.80 c GARBAGE COLLECT 508.35/509.80 c rational objective 0 542.57/544.15 c #Conflicts: 382000 | #Constraints: 12663 542.57/544.15 c #Conflicts: 383000 | #Constraints: 13664 542.57/544.15 c #Conflicts: 384000 | #Constraints: 14665 542.57/544.15 c #Conflicts: 385000 | #Constraints: 15667 542.57/544.15 c #Conflicts: 386000 | #Constraints: 16667 542.57/544.15 c #Conflicts: 387000 | #Constraints: 17669 542.57/544.15 c #Conflicts: 388000 | #Constraints: 18672 542.57/544.15 c #Conflicts: 389000 | #Constraints: 19674 542.57/544.15 c #Conflicts: 390000 | #Constraints: 20676 542.57/544.15 c #Conflicts: 391000 | #Constraints: 21677 542.57/544.15 c #Conflicts: 392000 | #Constraints: 22679 542.57/544.15 c #Conflicts: 393000 | #Constraints: 23681 542.57/544.15 c #Conflicts: 394000 | #Constraints: 24681 542.57/544.15 c INPROCESSING 542.57/544.15 c GARBAGE COLLECT 542.57/544.15 c rational objective 0 565.68/567.33 c #Conflicts: 395000 | #Constraints: 13265 565.68/567.33 c #Conflicts: 396000 | #Constraints: 14270 565.68/567.33 c #Conflicts: 397000 | #Constraints: 15270 565.68/567.33 c #Conflicts: 398000 | #Constraints: 16273 565.68/567.33 c #Conflicts: 399000 | #Constraints: 17273 565.68/567.33 c #Conflicts: 400000 | #Constraints: 18273 565.68/567.33 c #Conflicts: 401000 | #Constraints: 19274 565.68/567.33 c #Conflicts: 402000 | #Constraints: 20278 565.68/567.33 c #Conflicts: 403000 | #Constraints: 21279 565.68/567.33 c #Conflicts: 404000 | #Constraints: 22281 565.68/567.33 c #Conflicts: 405000 | #Constraints: 23283 565.68/567.33 c #Conflicts: 406000 | #Constraints: 24287 565.68/567.33 c #Conflicts: 407000 | #Constraints: 25287 565.68/567.33 c INPROCESSING 565.68/567.33 c GARBAGE COLLECT 565.68/567.33 c rational objective 0 589.61/591.30 c #Conflicts: 408000 | #Constraints: 13664 589.61/591.30 c #Conflicts: 409000 | #Constraints: 14669 589.61/591.30 c #Conflicts: 410000 | #Constraints: 15672 589.61/591.30 c #Conflicts: 411000 | #Constraints: 16675 589.61/591.30 c #Conflicts: 412000 | #Constraints: 17678 589.61/591.30 c #Conflicts: 413000 | #Constraints: 18679 589.61/591.30 c #Conflicts: 414000 | #Constraints: 19680 589.61/591.30 c #Conflicts: 415000 | #Constraints: 20683 589.61/591.30 c #Conflicts: 416000 | #Constraints: 21684 589.61/591.30 c #Conflicts: 417000 | #Constraints: 22687 589.61/591.30 c #Conflicts: 418000 | #Constraints: 23689 589.61/591.30 c #Conflicts: 419000 | #Constraints: 24690 589.61/591.30 c #Conflicts: 420000 | #Constraints: 25690 589.61/591.30 c INPROCESSING 589.61/591.30 c GARBAGE COLLECT 589.61/591.30 c rational objective 0 629.21/631.08 c #Conflicts: 421000 | #Constraints: 13863 629.21/631.08 c #Conflicts: 422000 | #Constraints: 14864 629.21/631.08 c #Conflicts: 423000 | #Constraints: 15864 629.21/631.08 c #Conflicts: 424000 | #Constraints: 16866 629.21/631.08 c #Conflicts: 425000 | #Constraints: 17866 629.21/631.08 c #Conflicts: 426000 | #Constraints: 18866 629.21/631.08 c #Conflicts: 427000 | #Constraints: 19867 629.21/631.08 c #Conflicts: 428000 | #Constraints: 20868 629.21/631.08 c #Conflicts: 429000 | #Constraints: 21869 629.21/631.08 c #Conflicts: 430000 | #Constraints: 22870 629.21/631.08 c #Conflicts: 431000 | #Constraints: 23871 629.21/631.08 c #Conflicts: 432000 | #Constraints: 24871 629.21/631.08 c #Conflicts: 433000 | #Constraints: 25871 629.21/631.08 c INPROCESSING 629.21/631.08 c GARBAGE COLLECT 629.21/631.08 c rational objective 0 661.31/663.24 c #Conflicts: 434000 | #Constraints: 13863 661.31/663.24 c #Conflicts: 435000 | #Constraints: 14864 661.31/663.24 c #Conflicts: 436000 | #Constraints: 15867 661.31/663.24 c #Conflicts: 437000 | #Constraints: 16870 661.31/663.24 c #Conflicts: 438000 | #Constraints: 17872 661.31/663.24 c #Conflicts: 439000 | #Constraints: 18872 661.31/663.24 c #Conflicts: 440000 | #Constraints: 19874 661.31/663.24 c #Conflicts: 441000 | #Constraints: 20876 661.31/663.24 c #Conflicts: 442000 | #Constraints: 21877 661.31/663.24 c #Conflicts: 443000 | #Constraints: 22878 661.31/663.24 c #Conflicts: 444000 | #Constraints: 23878 661.31/663.24 c #Conflicts: 445000 | #Constraints: 24882 661.31/663.24 c #Conflicts: 446000 | #Constraints: 25882 661.31/663.24 c INPROCESSING 661.31/663.24 c GARBAGE COLLECT 661.31/663.24 c rational objective 0 702.11/704.14 c #Conflicts: 447000 | #Constraints: 13665 702.11/704.14 c #Conflicts: 448000 | #Constraints: 14666 702.11/704.14 c #Conflicts: 449000 | #Constraints: 15667 702.11/704.14 c #Conflicts: 450000 | #Constraints: 16668 702.11/704.14 c #Conflicts: 451000 | #Constraints: 17670 702.11/704.14 c #Conflicts: 452000 | #Constraints: 18670 702.11/704.14 c #Conflicts: 453000 | #Constraints: 19670 702.11/704.14 c #Conflicts: 454000 | #Constraints: 20672 702.11/704.14 c #Conflicts: 455000 | #Constraints: 21672 702.11/704.14 c #Conflicts: 456000 | #Constraints: 22672 702.11/704.14 c #Conflicts: 457000 | #Constraints: 23672 702.11/704.14 c #Conflicts: 458000 | #Constraints: 24673 702.11/704.14 c #Conflicts: 459000 | #Constraints: 25675 702.11/704.14 c #Conflicts: 460000 | #Constraints: 26677 702.11/704.14 c INPROCESSING 702.11/704.14 c GARBAGE COLLECT 702.11/704.14 c rational objective 0 736.20/738.35 c #Conflicts: 461000 | #Constraints: 14271 736.20/738.35 c #Conflicts: 462000 | #Constraints: 15277 736.20/738.35 c #Conflicts: 463000 | #Constraints: 16277 736.20/738.35 c #Conflicts: 464000 | #Constraints: 17279 736.20/738.35 c #Conflicts: 465000 | #Constraints: 18279 736.20/738.35 c #Conflicts: 466000 | #Constraints: 19280 736.20/738.35 c #Conflicts: 467000 | #Constraints: 20280 736.20/738.35 c #Conflicts: 468000 | #Constraints: 21283 736.20/738.35 c #Conflicts: 469000 | #Constraints: 22285 736.20/738.35 c #Conflicts: 470000 | #Constraints: 23287 736.20/738.35 c #Conflicts: 471000 | #Constraints: 24287 736.20/738.35 c #Conflicts: 472000 | #Constraints: 25288 736.20/738.35 c #Conflicts: 473000 | #Constraints: 26288 736.20/738.35 c #Conflicts: 474000 | #Constraints: 27288 736.20/738.35 c INPROCESSING 736.20/738.35 c GARBAGE COLLECT 736.20/738.35 c rational objective 0 770.82/773.03 c #Conflicts: 475000 | #Constraints: 14664 770.82/773.03 c #Conflicts: 476000 | #Constraints: 15664 770.82/773.03 c #Conflicts: 477000 | #Constraints: 16666 770.82/773.03 c #Conflicts: 478000 | #Constraints: 17667 770.82/773.03 c #Conflicts: 479000 | #Constraints: 18668 770.82/773.03 c #Conflicts: 480000 | #Constraints: 19671 770.82/773.03 c #Conflicts: 481000 | #Constraints: 20672 770.82/773.03 c #Conflicts: 482000 | #Constraints: 21672 770.82/773.03 c #Conflicts: 483000 | #Constraints: 22672 770.82/773.03 c #Conflicts: 484000 | #Constraints: 23672 770.82/773.03 c #Conflicts: 485000 | #Constraints: 24672 770.82/773.03 c #Conflicts: 486000 | #Constraints: 25673 770.82/773.03 c #Conflicts: 487000 | #Constraints: 26674 770.82/773.03 c #Conflicts: 488000 | #Constraints: 27674 770.82/773.03 c INPROCESSING 770.82/773.03 c GARBAGE COLLECT 770.82/773.03 c rational objective 0 815.48/817.85 c #Conflicts: 489000 | #Constraints: 14856 815.48/817.85 c #Conflicts: 490000 | #Constraints: 15858 815.48/817.85 c #Conflicts: 491000 | #Constraints: 16859 815.48/817.85 c #Conflicts: 492000 | #Constraints: 17859 815.48/817.85 c #Conflicts: 493000 | #Constraints: 18860 815.48/817.85 c #Conflicts: 494000 | #Constraints: 19861 815.48/817.85 c #Conflicts: 495000 | #Constraints: 20863 815.48/817.85 c #Conflicts: 496000 | #Constraints: 21865 815.48/817.85 c #Conflicts: 497000 | #Constraints: 22867 815.48/817.85 c #Conflicts: 498000 | #Constraints: 23869 815.48/817.85 c #Conflicts: 499000 | #Constraints: 24870 815.48/817.85 c #Conflicts: 500000 | #Constraints: 25870 815.48/817.85 c #Conflicts: 501000 | #Constraints: 26871 815.48/817.85 c #Conflicts: 502000 | #Constraints: 27871 815.48/817.85 c INPROCESSING 815.48/817.85 c GARBAGE COLLECT 815.48/817.85 c rational objective 0 849.09/851.58 c #Conflicts: 503000 | #Constraints: 14857 849.09/851.58 c #Conflicts: 504000 | #Constraints: 15859 849.09/851.58 c #Conflicts: 505000 | #Constraints: 16862 849.09/851.58 c #Conflicts: 506000 | #Constraints: 17865 849.09/851.58 c #Conflicts: 507000 | #Constraints: 18865 849.09/851.58 c #Conflicts: 508000 | #Constraints: 19868 849.09/851.58 c #Conflicts: 509000 | #Constraints: 20871 849.09/851.58 c #Conflicts: 510000 | #Constraints: 21872 849.09/851.58 c #Conflicts: 511000 | #Constraints: 22874 849.09/851.58 c #Conflicts: 512000 | #Constraints: 23875 849.09/851.58 c #Conflicts: 513000 | #Constraints: 24876 849.09/851.58 c #Conflicts: 514000 | #Constraints: 25880 849.09/851.58 c #Conflicts: 515000 | #Constraints: 26885 849.09/851.58 c #Conflicts: 516000 | #Constraints: 27888 849.09/851.58 c INPROCESSING 849.09/851.58 c GARBAGE COLLECT 849.09/851.58 c rational objective 0 895.96/898.52 c #Conflicts: 517000 | #Constraints: 14659 895.96/898.52 c #Conflicts: 518000 | #Constraints: 15660 895.96/898.52 c #Conflicts: 519000 | #Constraints: 16662 895.96/898.52 c #Conflicts: 520000 | #Constraints: 17667 895.96/898.52 c #Conflicts: 521000 | #Constraints: 18669 895.96/898.52 c #Conflicts: 522000 | #Constraints: 19672 895.96/898.52 c #Conflicts: 523000 | #Constraints: 20674 895.96/898.52 c #Conflicts: 524000 | #Constraints: 21677 895.96/898.52 c #Conflicts: 525000 | #Constraints: 22678 895.96/898.52 c #Conflicts: 526000 | #Constraints: 23679 895.96/898.52 c #Conflicts: 527000 | #Constraints: 24679 895.96/898.52 c #Conflicts: 528000 | #Constraints: 25683 895.96/898.52 c #Conflicts: 529000 | #Constraints: 26685 895.96/898.52 c #Conflicts: 530000 | #Constraints: 27685 895.96/898.52 c #Conflicts: 531000 | #Constraints: 28686 895.96/898.52 c INPROCESSING 895.96/898.52 c GARBAGE COLLECT 895.96/898.52 c rational objective 0 926.49/929.12 c #Conflicts: 532000 | #Constraints: 15268 926.49/929.12 c #Conflicts: 533000 | #Constraints: 16270 926.49/929.12 c #Conflicts: 534000 | #Constraints: 17271 926.49/929.12 c #Conflicts: 535000 | #Constraints: 18272 926.49/929.12 c #Conflicts: 536000 | #Constraints: 19277 926.49/929.12 c #Conflicts: 537000 | #Constraints: 20280 926.49/929.12 c #Conflicts: 538000 | #Constraints: 21281 926.49/929.12 c #Conflicts: 539000 | #Constraints: 22281 926.49/929.12 c #Conflicts: 540000 | #Constraints: 23283 926.49/929.12 c #Conflicts: 541000 | #Constraints: 24283 926.49/929.12 c #Conflicts: 542000 | #Constraints: 25284 926.49/929.12 c #Conflicts: 543000 | #Constraints: 26286 926.49/929.12 c #Conflicts: 544000 | #Constraints: 27287 926.49/929.12 c #Conflicts: 545000 | #Constraints: 28291 926.49/929.12 c #Conflicts: 546000 | #Constraints: 29292 926.49/929.12 c INPROCESSING 926.49/929.12 c GARBAGE COLLECT 926.49/929.12 c rational objective 0 978.43/981.26 c #Conflicts: 547000 | #Constraints: 15664 978.43/981.26 c #Conflicts: 548000 | #Constraints: 16665 978.43/981.26 c #Conflicts: 549000 | #Constraints: 17666 978.43/981.26 c #Conflicts: 550000 | #Constraints: 18667 978.43/981.26 c #Conflicts: 551000 | #Constraints: 19669 978.43/981.26 c #Conflicts: 552000 | #Constraints: 20670 978.43/981.26 c #Conflicts: 553000 | #Constraints: 21671 978.43/981.26 c #Conflicts: 554000 | #Constraints: 22672 978.43/981.26 c #Conflicts: 555000 | #Constraints: 23673 978.43/981.26 c #Conflicts: 556000 | #Constraints: 24676 978.43/981.26 c #Conflicts: 557000 | #Constraints: 25676 978.43/981.26 c #Conflicts: 558000 | #Constraints: 26678 978.43/981.26 c #Conflicts: 559000 | #Constraints: 27682 978.43/981.26 c #Conflicts: 560000 | #Constraints: 28683 978.43/981.26 c #Conflicts: 561000 | #Constraints: 29683 978.43/981.26 c INPROCESSING 978.43/981.26 c GARBAGE COLLECT 978.43/981.26 c rational objective 0 1007.26/1010.14 c #Conflicts: 562000 | #Constraints: 15876 1007.26/1010.14 c #Conflicts: 563000 | #Constraints: 16876 1007.26/1010.14 c #Conflicts: 564000 | #Constraints: 17880 1007.26/1010.14 c #Conflicts: 565000 | #Constraints: 18881 1007.26/1010.14 c #Conflicts: 566000 | #Constraints: 19882 1007.26/1010.14 c #Conflicts: 567000 | #Constraints: 20883 1007.26/1010.14 c #Conflicts: 568000 | #Constraints: 21886 1007.26/1010.14 c #Conflicts: 569000 | #Constraints: 22888 1007.26/1010.14 c #Conflicts: 570000 | #Constraints: 23888 1007.26/1010.14 c #Conflicts: 571000 | #Constraints: 24890 1007.26/1010.14 c #Conflicts: 572000 | #Constraints: 25891 1007.26/1010.14 c #Conflicts: 573000 | #Constraints: 26892 1007.26/1010.14 c #Conflicts: 574000 | #Constraints: 27892 1007.26/1010.14 c #Conflicts: 575000 | #Constraints: 28894 1007.26/1010.14 c #Conflicts: 576000 | #Constraints: 29897 1007.26/1010.14 c INPROCESSING 1007.26/1010.14 c GARBAGE COLLECT 1007.26/1010.14 c rational objective 0 1041.25/1044.20 c #Conflicts: 577000 | #Constraints: 15871 1041.25/1044.20 c #Conflicts: 578000 | #Constraints: 16871 1041.25/1044.20 c #Conflicts: 579000 | #Constraints: 17874 1041.25/1044.20 c #Conflicts: 580000 | #Constraints: 18875 1041.25/1044.20 c #Conflicts: 581000 | #Constraints: 19877 1041.25/1044.20 c #Conflicts: 582000 | #Constraints: 20879 1041.25/1044.20 c #Conflicts: 583000 | #Constraints: 21881 1041.25/1044.20 c #Conflicts: 584000 | #Constraints: 22881 1041.25/1044.20 c #Conflicts: 585000 | #Constraints: 23882 1041.25/1044.20 c #Conflicts: 586000 | #Constraints: 24882 1041.25/1044.20 c #Conflicts: 587000 | #Constraints: 25882 1041.25/1044.20 c #Conflicts: 588000 | #Constraints: 26885 1041.25/1044.20 c #Conflicts: 589000 | #Constraints: 27885 1041.25/1044.20 c #Conflicts: 590000 | #Constraints: 28885 1041.25/1044.20 c #Conflicts: 591000 | #Constraints: 29886 1041.25/1044.20 c INPROCESSING 1041.25/1044.20 c GARBAGE COLLECT 1041.25/1044.20 c rational objective 0 1098.10/1101.22 c #Conflicts: 592000 | #Constraints: 15663 1098.10/1101.22 c #Conflicts: 593000 | #Constraints: 16665 1098.10/1101.22 c #Conflicts: 594000 | #Constraints: 17667 1098.10/1101.22 c #Conflicts: 595000 | #Constraints: 18669 1098.10/1101.22 c #Conflicts: 596000 | #Constraints: 19670 1098.10/1101.22 c #Conflicts: 597000 | #Constraints: 20672 1098.10/1101.22 c #Conflicts: 598000 | #Constraints: 21676 1098.10/1101.22 c #Conflicts: 599000 | #Constraints: 22677 1098.10/1101.22 c #Conflicts: 600000 | #Constraints: 23677 1098.10/1101.22 c #Conflicts: 601000 | #Constraints: 24679 1098.10/1101.22 c #Conflicts: 602000 | #Constraints: 25681 1098.10/1101.22 c #Conflicts: 603000 | #Constraints: 26684 1098.10/1101.22 c #Conflicts: 604000 | #Constraints: 27687 1098.10/1101.22 c #Conflicts: 605000 | #Constraints: 28688 1098.10/1101.22 c #Conflicts: 606000 | #Constraints: 29689 1098.10/1101.22 c #Conflicts: 607000 | #Constraints: 30690 1098.10/1101.22 c INPROCESSING 1098.10/1101.22 c GARBAGE COLLECT 1098.10/1101.22 c rational objective 0 1136.49/1139.73 c #Conflicts: 608000 | #Constraints: 16270 1136.49/1139.73 c #Conflicts: 609000 | #Constraints: 17270 1136.49/1139.73 c #Conflicts: 610000 | #Constraints: 18273 1136.49/1139.73 c #Conflicts: 611000 | #Constraints: 19274 1136.49/1139.73 c #Conflicts: 612000 | #Constraints: 20275 1136.49/1139.73 c #Conflicts: 613000 | #Constraints: 21278 1136.49/1139.73 c #Conflicts: 614000 | #Constraints: 22278 1136.49/1139.73 c #Conflicts: 615000 | #Constraints: 23279 1136.49/1139.73 c #Conflicts: 616000 | #Constraints: 24280 1136.49/1139.73 c #Conflicts: 617000 | #Constraints: 25282 1136.49/1139.73 c #Conflicts: 618000 | #Constraints: 26285 1136.49/1139.73 c #Conflicts: 619000 | #Constraints: 27286 1136.49/1139.73 c #Conflicts: 620000 | #Constraints: 28290 1136.49/1139.73 c #Conflicts: 621000 | #Constraints: 29293 1136.49/1139.73 c #Conflicts: 622000 | #Constraints: 30294 1136.49/1139.73 c #Conflicts: 623000 | #Constraints: 31295 1136.49/1139.73 c INPROCESSING 1136.49/1139.73 c GARBAGE COLLECT 1136.49/1139.73 c rational objective 0 1169.50/1172.86 c #Conflicts: 624000 | #Constraints: 16666 1169.50/1172.86 c #Conflicts: 625000 | #Constraints: 17667 1169.50/1172.86 c #Conflicts: 626000 | #Constraints: 18668 1169.50/1172.86 c #Conflicts: 627000 | #Constraints: 19671 1169.50/1172.86 c #Conflicts: 628000 | #Constraints: 20672 1169.50/1172.86 c #Conflicts: 629000 | #Constraints: 21673 1169.50/1172.86 c #Conflicts: 630000 | #Constraints: 22674 1169.50/1172.86 c #Conflicts: 631000 | #Constraints: 23675 1169.50/1172.86 c #Conflicts: 632000 | #Constraints: 24676 1169.50/1172.86 c #Conflicts: 633000 | #Constraints: 25681 1169.50/1172.86 c #Conflicts: 634000 | #Constraints: 26682 1169.50/1172.86 c #Conflicts: 635000 | #Constraints: 27684 1169.50/1172.86 c #Conflicts: 636000 | #Constraints: 28685 1169.50/1172.86 c #Conflicts: 637000 | #Constraints: 29686 1169.50/1172.86 c #Conflicts: 638000 | #Constraints: 30687 1169.50/1172.86 c #Conflicts: 639000 | #Constraints: 31689 1169.50/1172.86 c INPROCESSING 1169.50/1172.86 c GARBAGE COLLECT 1169.50/1172.86 c rational objective 0 1233.02/1236.53 c #Conflicts: 640000 | #Constraints: 16861 1233.02/1236.53 c #Conflicts: 641000 | #Constraints: 17862 1233.02/1236.53 c #Conflicts: 642000 | #Constraints: 18863 1233.02/1236.53 c #Conflicts: 643000 | #Constraints: 19865 1233.02/1236.53 c #Conflicts: 644000 | #Constraints: 20867 1233.02/1236.53 c #Conflicts: 645000 | #Constraints: 21867 1233.02/1236.53 c #Conflicts: 646000 | #Constraints: 22870 1233.02/1236.53 c #Conflicts: 647000 | #Constraints: 23871 1233.02/1236.53 c #Conflicts: 648000 | #Constraints: 24872 1233.02/1236.53 c #Conflicts: 649000 | #Constraints: 25872 1233.02/1236.53 c #Conflicts: 650000 | #Constraints: 26875 1233.02/1236.53 c #Conflicts: 651000 | #Constraints: 27876 1233.02/1236.53 c #Conflicts: 652000 | #Constraints: 28876 1233.02/1236.53 c #Conflicts: 653000 | #Constraints: 29876 1233.02/1236.53 c #Conflicts: 654000 | #Constraints: 30879 1233.02/1236.53 c #Conflicts: 655000 | #Constraints: 31879 1233.02/1236.53 c INPROCESSING 1233.02/1236.53 c GARBAGE COLLECT 1233.02/1236.53 c rational objective 0 1271.42/1275.09 c #Conflicts: 656000 | #Constraints: 16869 1271.42/1275.09 c #Conflicts: 657000 | #Constraints: 17872 1271.42/1275.09 c #Conflicts: 658000 | #Constraints: 18874 1271.42/1275.09 c #Conflicts: 659000 | #Constraints: 19876 1271.42/1275.09 c #Conflicts: 660000 | #Constraints: 20876 1271.42/1275.09 c #Conflicts: 661000 | #Constraints: 21878 1271.42/1275.09 c #Conflicts: 662000 | #Constraints: 22880 1271.42/1275.09 c #Conflicts: 663000 | #Constraints: 23882 1271.42/1275.09 c #Conflicts: 664000 | #Constraints: 24883 1271.42/1275.09 c #Conflicts: 665000 | #Constraints: 25884 1271.42/1275.09 c #Conflicts: 666000 | #Constraints: 26886 1271.42/1275.09 c #Conflicts: 667000 | #Constraints: 27889 1271.42/1275.09 c #Conflicts: 668000 | #Constraints: 28890 1271.42/1275.09 c #Conflicts: 669000 | #Constraints: 29890 1271.42/1275.09 c #Conflicts: 670000 | #Constraints: 30893 1271.42/1275.09 c #Conflicts: 671000 | #Constraints: 31893 1271.42/1275.09 c INPROCESSING 1271.42/1275.09 c GARBAGE COLLECT 1271.42/1275.09 c rational objective 0 1342.11/1345.97 c #Conflicts: 672000 | #Constraints: 16665 1342.11/1345.97 c #Conflicts: 673000 | #Constraints: 17668 1342.11/1345.97 c #Conflicts: 674000 | #Constraints: 18670 1342.11/1345.97 c #Conflicts: 675000 | #Constraints: 19671 1342.11/1345.97 c #Conflicts: 676000 | #Constraints: 20672 1342.11/1345.97 c #Conflicts: 677000 | #Constraints: 21672 1342.11/1345.97 c #Conflicts: 678000 | #Constraints: 22673 1342.11/1345.97 c #Conflicts: 679000 | #Constraints: 23674 1342.11/1345.97 c #Conflicts: 680000 | #Constraints: 24675 1342.11/1345.97 c #Conflicts: 681000 | #Constraints: 25675 1342.11/1345.97 c #Conflicts: 682000 | #Constraints: 26675 1342.11/1345.97 c #Conflicts: 683000 | #Constraints: 27675 1342.11/1345.97 c #Conflicts: 684000 | #Constraints: 28675 1342.11/1345.97 c #Conflicts: 685000 | #Constraints: 29675 1342.11/1345.97 c #Conflicts: 686000 | #Constraints: 30675 1342.11/1345.97 c #Conflicts: 687000 | #Constraints: 31675 1342.11/1345.97 c #Conflicts: 688000 | #Constraints: 32676 1342.11/1345.97 c INPROCESSING 1342.11/1345.97 c GARBAGE COLLECT 1342.11/1345.97 c rational objective 0 1388.78/1392.75 c #Conflicts: 689000 | #Constraints: 17271 1388.78/1392.75 c #Conflicts: 690000 | #Constraints: 18271 1388.78/1392.75 c #Conflicts: 691000 | #Constraints: 19274 1388.78/1392.75 c #Conflicts: 692000 | #Constraints: 20274 1388.78/1392.75 c #Conflicts: 693000 | #Constraints: 21275 1388.78/1392.75 c #Conflicts: 694000 | #Constraints: 22275 1388.78/1392.75 c #Conflicts: 695000 | #Constraints: 23275 1388.78/1392.75 c #Conflicts: 696000 | #Constraints: 24278 1388.78/1392.75 c #Conflicts: 697000 | #Constraints: 25279 1388.78/1392.75 c #Conflicts: 698000 | #Constraints: 26279 1388.78/1392.75 c #Conflicts: 699000 | #Constraints: 27280 1388.78/1392.75 c #Conflicts: 700000 | #Constraints: 28280 1388.78/1392.75 c #Conflicts: 701000 | #Constraints: 29280 1388.78/1392.75 c #Conflicts: 702000 | #Constraints: 30283 1388.78/1392.75 c #Conflicts: 703000 | #Constraints: 31283 1388.78/1392.75 c #Conflicts: 704000 | #Constraints: 32283 1388.78/1392.75 c #Conflicts: 705000 | #Constraints: 33283 1388.78/1392.75 c INPROCESSING 1388.78/1392.75 c GARBAGE COLLECT 1388.78/1392.75 c rational objective 0 1437.95/1442.07 c #Conflicts: 706000 | #Constraints: 17662 1437.95/1442.07 c #Conflicts: 707000 | #Constraints: 18665 1437.95/1442.07 c #Conflicts: 708000 | #Constraints: 19666 1437.95/1442.07 c #Conflicts: 709000 | #Constraints: 20666 1437.95/1442.07 c #Conflicts: 710000 | #Constraints: 21667 1437.95/1442.07 c #Conflicts: 711000 | #Constraints: 22667 1437.95/1442.07 c #Conflicts: 712000 | #Constraints: 23668 1437.95/1442.07 c #Conflicts: 713000 | #Constraints: 24670 1437.95/1442.07 c #Conflicts: 714000 | #Constraints: 25671 1437.95/1442.07 c #Conflicts: 715000 | #Constraints: 26672 1437.95/1442.07 c #Conflicts: 716000 | #Constraints: 27672 1437.95/1442.07 c #Conflicts: 717000 | #Constraints: 28672 1437.95/1442.07 c #Conflicts: 718000 | #Constraints: 29673 1437.95/1442.07 c #Conflicts: 719000 | #Constraints: 30674 1437.95/1442.07 c #Conflicts: 720000 | #Constraints: 31674 1437.95/1442.07 c #Conflicts: 721000 | #Constraints: 32675 1437.95/1442.07 c #Conflicts: 722000 | #Constraints: 33675 1437.95/1442.07 c INPROCESSING 1437.95/1442.07 c GARBAGE COLLECT 1437.95/1442.07 c rational objective 0 1501.06/1505.38 c #Conflicts: 723000 | #Constraints: 17854 1501.06/1505.38 c #Conflicts: 724000 | #Constraints: 18855 1501.06/1505.38 c #Conflicts: 725000 | #Constraints: 19856 1501.06/1505.38 c #Conflicts: 726000 | #Constraints: 20859 1501.06/1505.38 c #Conflicts: 727000 | #Constraints: 21860 1501.06/1505.38 c #Conflicts: 728000 | #Constraints: 22861 1501.06/1505.38 c #Conflicts: 729000 | #Constraints: 23863 1501.06/1505.38 c #Conflicts: 730000 | #Constraints: 24865 1501.06/1505.38 c #Conflicts: 731000 | #Constraints: 25867 1501.06/1505.38 c #Conflicts: 732000 | #Constraints: 26867 1501.06/1505.38 c #Conflicts: 733000 | #Constraints: 27868 1501.06/1505.38 c #Conflicts: 734000 | #Constraints: 28869 1501.06/1505.38 c #Conflicts: 735000 | #Constraints: 29869 1501.06/1505.38 c #Conflicts: 736000 | #Constraints: 30869 1501.06/1505.38 c #Conflicts: 737000 | #Constraints: 31872 1501.06/1505.38 c #Conflicts: 738000 | #Constraints: 32872 1501.06/1505.38 c #Conflicts: 739000 | #Constraints: 33872 1501.06/1505.38 c INPROCESSING 1501.06/1505.38 c GARBAGE COLLECT 1501.06/1505.38 c rational objective 0 1543.24/1547.64 c #Conflicts: 740000 | #Constraints: 17861 1543.24/1547.64 c #Conflicts: 741000 | #Constraints: 18861 1543.24/1547.64 c #Conflicts: 742000 | #Constraints: 19863 1543.24/1547.64 c #Conflicts: 743000 | #Constraints: 20865 1543.24/1547.64 c #Conflicts: 744000 | #Constraints: 21869 1543.24/1547.64 c #Conflicts: 745000 | #Constraints: 22871 1543.24/1547.64 c #Conflicts: 746000 | #Constraints: 23874 1543.24/1547.64 c #Conflicts: 747000 | #Constraints: 24874 1543.24/1547.64 c #Conflicts: 748000 | #Constraints: 25875 1543.24/1547.64 c #Conflicts: 749000 | #Constraints: 26875 1543.24/1547.64 c #Conflicts: 750000 | #Constraints: 27876 1543.24/1547.64 c #Conflicts: 751000 | #Constraints: 28877 1543.24/1547.64 c #Conflicts: 752000 | #Constraints: 29879 1543.24/1547.64 c #Conflicts: 753000 | #Constraints: 30884 1543.24/1547.64 c #Conflicts: 754000 | #Constraints: 31887 1543.24/1547.64 c #Conflicts: 755000 | #Constraints: 32889 1543.24/1547.64 c #Conflicts: 756000 | #Constraints: 33892 1543.24/1547.64 c INPROCESSING 1543.24/1547.64 c GARBAGE COLLECT 1543.24/1547.64 c rational objective 0 1586.81/1591.30 c #Conflicts: 757000 | #Constraints: 17663 1586.81/1591.30 c #Conflicts: 758000 | #Constraints: 18664 1586.81/1591.30 c #Conflicts: 759000 | #Constraints: 19665 1586.81/1591.30 c #Conflicts: 760000 | #Constraints: 20666 1586.81/1591.30 c #Conflicts: 761000 | #Constraints: 21666 1586.81/1591.30 c #Conflicts: 762000 | #Constraints: 22668 1586.81/1591.30 c #Conflicts: 763000 | #Constraints: 23669 1586.81/1591.30 c #Conflicts: 764000 | #Constraints: 24671 1586.81/1591.30 c #Conflicts: 765000 | #Constraints: 25671 1586.81/1591.30 c #Conflicts: 766000 | #Constraints: 26673 1586.81/1591.30 c #Conflicts: 767000 | #Constraints: 27673 1586.81/1591.30 c #Conflicts: 768000 | #Constraints: 28675 1586.81/1591.30 c #Conflicts: 769000 | #Constraints: 29675 1586.81/1591.30 c #Conflicts: 770000 | #Constraints: 30675 1586.81/1591.30 c #Conflicts: 771000 | #Constraints: 31676 1586.81/1591.30 c #Conflicts: 772000 | #Constraints: 32678 1586.81/1591.30 c #Conflicts: 773000 | #Constraints: 33678 1586.81/1591.30 c #Conflicts: 774000 | #Constraints: 34679 1586.81/1591.30 c INPROCESSING 1586.81/1591.30 c GARBAGE COLLECT 1586.81/1591.30 c rational objective 0 1659.51/1664.27 c #Conflicts: 775000 | #Constraints: 18255 1659.51/1664.27 c #Conflicts: 776000 | #Constraints: 19258 1659.51/1664.27 c #Conflicts: 777000 | #Constraints: 20260 1659.51/1664.27 c #Conflicts: 778000 | #Constraints: 21264 1659.51/1664.27 c #Conflicts: 779000 | #Constraints: 22265 1659.51/1664.27 c #Conflicts: 780000 | #Constraints: 23267 1659.51/1664.27 c #Conflicts: 781000 | #Constraints: 24267 1659.51/1664.27 c #Conflicts: 782000 | #Constraints: 25267 1659.51/1664.27 c #Conflicts: 783000 | #Constraints: 26268 1659.51/1664.27 c #Conflicts: 784000 | #Constraints: 27271 1659.51/1664.27 c #Conflicts: 785000 | #Constraints: 28275 1659.51/1664.27 c #Conflicts: 786000 | #Constraints: 29276 1659.51/1664.27 c #Conflicts: 787000 | #Constraints: 30277 1659.51/1664.27 c #Conflicts: 788000 | #Constraints: 31277 1659.51/1664.27 c #Conflicts: 789000 | #Constraints: 32278 1659.51/1664.27 c #Conflicts: 790000 | #Constraints: 33278 1659.51/1664.27 c #Conflicts: 791000 | #Constraints: 34278 1659.51/1664.27 c #Conflicts: 792000 | #Constraints: 35279 1659.51/1664.27 c INPROCESSING 1659.51/1664.27 c GARBAGE COLLECT 1659.51/1664.27 c rational objective 0 1704.69/1709.57 c #Conflicts: 793000 | #Constraints: 18668 1704.69/1709.57 c #Conflicts: 794000 | #Constraints: 19670 1704.69/1709.57 c #Conflicts: 795000 | #Constraints: 20670 1704.69/1709.57 c #Conflicts: 796000 | #Constraints: 21672 1704.69/1709.57 c #Conflicts: 797000 | #Constraints: 22673 1704.69/1709.57 c #Conflicts: 798000 | #Constraints: 23677 1704.69/1709.57 c #Conflicts: 799000 | #Constraints: 24679 1704.69/1709.57 c #Conflicts: 800000 | #Constraints: 25680 1704.69/1709.57 c #Conflicts: 801000 | #Constraints: 26682 1704.69/1709.57 c #Conflicts: 802000 | #Constraints: 27682 1704.69/1709.57 c #Conflicts: 803000 | #Constraints: 28682 1704.69/1709.57 c #Conflicts: 804000 | #Constraints: 29683 1704.69/1709.57 c #Conflicts: 805000 | #Constraints: 30684 1704.69/1709.57 c #Conflicts: 806000 | #Constraints: 31684 1704.69/1709.57 c #Conflicts: 807000 | #Constraints: 32684 1704.69/1709.57 c #Conflicts: 808000 | #Constraints: 33685 1704.69/1709.57 c #Conflicts: 809000 | #Constraints: 34686 1704.69/1709.57 c #Conflicts: 810000 | #Constraints: 35688 1704.69/1709.57 c INPROCESSING 1704.69/1709.57 c GARBAGE COLLECT 1704.69/1709.57 c rational objective 0 1787.08/1792.14 c #Conflicts: 811000 | #Constraints: 18861 1787.08/1792.14 c #Conflicts: 812000 | #Constraints: 19861 1787.08/1792.14 c #Conflicts: 813000 | #Constraints: 20863 1787.08/1792.14 c #Conflicts: 814000 | #Constraints: 21866 1787.08/1792.14 c #Conflicts: 815000 | #Constraints: 22867 1787.08/1792.14 c #Conflicts: 816000 | #Constraints: 23867 1787.08/1792.14 c #Conflicts: 817000 | #Constraints: 24869 1787.08/1792.14 c #Conflicts: 818000 | #Constraints: 25869 1787.08/1792.14 c #Conflicts: 819000 | #Constraints: 26869 1787.08/1792.14 c #Conflicts: 820000 | #Constraints: 27870 1787.08/1792.14 c #Conflicts: 821000 | #Constraints: 28870 1787.08/1792.14 c #Conflicts: 822000 | #Constraints: 29870 1787.08/1792.14 c #Conflicts: 823000 | #Constraints: 30870 1787.08/1792.14 c #Conflicts: 824000 | #Constraints: 31871 1787.08/1792.14 c #Conflicts: 825000 | #Constraints: 32871 1787.08/1792.14 c #Conflicts: 826000 | #Constraints: 33873 1787.08/1792.14 c #Conflicts: 827000 | #Constraints: 34874 1787.08/1792.14 c #Conflicts: 828000 | #Constraints: 35875 1787.08/1792.14 c INPROCESSING 1787.08/1792.14 c GARBAGE COLLECT 1787.08/1792.14 c rational objective 0 1844.41/1849.63 c #Conflicts: 829000 | #Constraints: 18863 1844.41/1849.63 c #Conflicts: 830000 | #Constraints: 19865 1844.41/1849.63 c #Conflicts: 831000 | #Constraints: 20866 1844.41/1849.63 c #Conflicts: 832000 | #Constraints: 21866 1844.41/1849.63 c #Conflicts: 833000 | #Constraints: 22868 1844.41/1849.63 c #Conflicts: 834000 | #Constraints: 23868 1844.41/1849.63 c #Conflicts: 835000 | #Constraints: 24874 1844.41/1849.63 c #Conflicts: 836000 | #Constraints: 25875 1844.41/1849.63 c #Conflicts: 837000 | #Constraints: 26876 1844.41/1849.63 c #Conflicts: 838000 | #Constraints: 27876 1844.41/1849.63 c #Conflicts: 839000 | #Constraints: 28878 1844.41/1849.63 c #Conflicts: 840000 | #Constraints: 29878 1844.41/1849.63 c #Conflicts: 841000 | #Constraints: 30878 1844.41/1849.63 c #Conflicts: 842000 | #Constraints: 31879 1844.41/1849.63 c #Conflicts: 843000 | #Constraints: 32881 1844.41/1849.63 c #Conflicts: 844000 | #Constraints: 33884 1844.41/1849.63 c #Conflicts: 845000 | #Constraints: 34886 1844.41/1849.63 c #Conflicts: 846000 | #Constraints: 35886 1844.41/1849.63 c INPROCESSING 1844.41/1849.63 c GARBAGE COLLECT 1844.41/1849.63 c rational objective 0 1893.79/1899.15 c #Conflicts: 847000 | #Constraints: 18660 1893.79/1899.15 c #Conflicts: 848000 | #Constraints: 19661 1893.79/1899.15 c #Conflicts: 849000 | #Constraints: 20664 1893.79/1899.15 c #Conflicts: 850000 | #Constraints: 21668 1893.79/1899.15 c #Conflicts: 851000 | #Constraints: 22672 1893.79/1899.15 c #Conflicts: 852000 | #Constraints: 23675 1893.79/1899.15 c #Conflicts: 853000 | #Constraints: 24676 1893.79/1899.15 c #Conflicts: 854000 | #Constraints: 25677 1893.79/1899.15 c #Conflicts: 855000 | #Constraints: 26678 1893.79/1899.15 c #Conflicts: 856000 | #Constraints: 27679 1893.79/1899.15 c #Conflicts: 857000 | #Constraints: 28681 1893.79/1899.15 c #Conflicts: 858000 | #Constraints: 29682 1893.79/1899.15 c #Conflicts: 859000 | #Constraints: 30682 1893.79/1899.15 c #Conflicts: 860000 | #Constraints: 31683 1893.79/1899.15 c #Conflicts: 861000 | #Constraints: 32685 1893.79/1899.15 c #Conflicts: 862000 | #Constraints: 33686 1893.79/1899.15 c #Conflicts: 863000 | #Constraints: 34686 1893.79/1899.15 c #Conflicts: 864000 | #Constraints: 35688 1893.79/1899.15 c #Conflicts: 865000 | #Constraints: 36689 1893.79/1899.15 c INPROCESSING 1893.79/1899.15 c GARBAGE COLLECT 1893.79/1899.15 c rational objective 0 1981.64/1987.23 c #Conflicts: 866000 | #Constraints: 19260 1981.64/1987.23 c #Conflicts: 867000 | #Constraints: 20261 1981.64/1987.23 c #Conflicts: 868000 | #Constraints: 21262 1981.64/1987.23 c #Conflicts: 869000 | #Constraints: 22263 1981.64/1987.23 c #Conflicts: 870000 | #Constraints: 23264 1981.64/1987.23 c #Conflicts: 871000 | #Constraints: 24265 1981.64/1987.23 c #Conflicts: 872000 | #Constraints: 25265 1981.64/1987.23 c #Conflicts: 873000 | #Constraints: 26266 1981.64/1987.23 c #Conflicts: 874000 | #Constraints: 27266 1981.64/1987.23 c #Conflicts: 875000 | #Constraints: 28267 1981.64/1987.23 c #Conflicts: 876000 | #Constraints: 29269 1981.64/1987.23 c #Conflicts: 877000 | #Constraints: 30269 1981.64/1987.23 c #Conflicts: 878000 | #Constraints: 31269 1981.64/1987.23 c #Conflicts: 879000 | #Constraints: 32269 1981.64/1987.23 c #Conflicts: 880000 | #Constraints: 33270 1981.64/1987.23 c #Conflicts: 881000 | #Constraints: 34271 1981.64/1987.23 c #Conflicts: 882000 | #Constraints: 35273 1981.64/1987.23 c bounds 21 >= 0 @ 1957.61 1981.64/1987.23 c #Conflicts: 883000 | #Constraints: 36276 1981.64/1987.23 c #Conflicts: 884000 | #Constraints: 37278 1981.64/1987.23 c INPROCESSING 1981.64/1987.23 c GARBAGE COLLECT 1981.64/1987.23 c rational objective 0 2035.79/2041.57 c #Conflicts: 885000 | #Constraints: 19659 2035.79/2041.57 c #Conflicts: 886000 | #Constraints: 20659 2035.79/2041.57 c #Conflicts: 887000 | #Constraints: 21659 2035.79/2041.57 c #Conflicts: 888000 | #Constraints: 22659 2035.79/2041.57 c #Conflicts: 889000 | #Constraints: 23661 2035.79/2041.57 c #Conflicts: 890000 | #Constraints: 24661 2035.79/2041.57 c #Conflicts: 891000 | #Constraints: 25662 2035.79/2041.57 c #Conflicts: 892000 | #Constraints: 26664 2035.79/2041.57 c #Conflicts: 893000 | #Constraints: 27664 2035.79/2041.57 c #Conflicts: 894000 | #Constraints: 28665 2035.79/2041.57 c #Conflicts: 895000 | #Constraints: 29667 2035.79/2041.57 c #Conflicts: 896000 | #Constraints: 30667 2035.79/2041.57 c #Conflicts: 897000 | #Constraints: 31669 2035.79/2041.57 c #Conflicts: 898000 | #Constraints: 32669 2035.79/2041.57 c #Conflicts: 899000 | #Constraints: 33671 2035.79/2041.57 c #Conflicts: 900000 | #Constraints: 34673 2035.79/2041.57 c #Conflicts: 901000 | #Constraints: 35673 2035.79/2041.57 c #Conflicts: 902000 | #Constraints: 36675 2035.79/2041.57 c #Conflicts: 903000 | #Constraints: 37676 2035.79/2041.57 c INPROCESSING 2035.79/2041.57 c GARBAGE COLLECT 2035.79/2041.57 c rational objective 0 2122.36/2128.37 c #Conflicts: 904000 | #Constraints: 19857 2122.36/2128.37 c #Conflicts: 905000 | #Constraints: 20858 2122.36/2128.37 c #Conflicts: 906000 | #Constraints: 21858 2122.36/2128.37 c #Conflicts: 907000 | #Constraints: 22858 2122.36/2128.37 c #Conflicts: 908000 | #Constraints: 23858 2122.36/2128.37 c #Conflicts: 909000 | #Constraints: 24860 2122.36/2128.37 c #Conflicts: 910000 | #Constraints: 25860 2122.36/2128.37 c #Conflicts: 911000 | #Constraints: 26862 2122.36/2128.37 c #Conflicts: 912000 | #Constraints: 27863 2122.36/2128.37 c #Conflicts: 913000 | #Constraints: 28866 2122.36/2128.37 c #Conflicts: 914000 | #Constraints: 29867 2122.36/2128.37 c #Conflicts: 915000 | #Constraints: 30867 2122.36/2128.37 c #Conflicts: 916000 | #Constraints: 31867 2122.36/2128.37 c #Conflicts: 917000 | #Constraints: 32868 2122.36/2128.37 c #Conflicts: 918000 | #Constraints: 33868 2122.36/2128.37 c #Conflicts: 919000 | #Constraints: 34870 2122.36/2128.37 c #Conflicts: 920000 | #Constraints: 35871 2122.36/2128.37 c #Conflicts: 921000 | #Constraints: 36873 2122.36/2128.37 c #Conflicts: 922000 | #Constraints: 37875 2122.36/2128.37 c INPROCESSING 2122.36/2128.37 c GARBAGE COLLECT 2122.36/2128.37 c rational objective 0 2183.49/2189.68 c #Conflicts: 923000 | #Constraints: 19862 2183.49/2189.68 c #Conflicts: 924000 | #Constraints: 20863 2183.49/2189.68 c #Conflicts: 925000 | #Constraints: 21864 2183.49/2189.68 c #Conflicts: 926000 | #Constraints: 22864 2183.49/2189.68 c #Conflicts: 927000 | #Constraints: 23864 2183.49/2189.68 c #Conflicts: 928000 | #Constraints: 24866 2183.49/2189.68 c #Conflicts: 929000 | #Constraints: 25867 2183.49/2189.68 c #Conflicts: 930000 | #Constraints: 26867 2183.49/2189.68 c #Conflicts: 931000 | #Constraints: 27868 2183.49/2189.68 c #Conflicts: 932000 | #Constraints: 28871 2183.49/2189.68 c #Conflicts: 933000 | #Constraints: 29872 2183.49/2189.68 c #Conflicts: 934000 | #Constraints: 30874 2183.49/2189.68 c #Conflicts: 935000 | #Constraints: 31875 2183.49/2189.68 c #Conflicts: 936000 | #Constraints: 32875 2183.49/2189.68 c #Conflicts: 937000 | #Constraints: 33876 2183.49/2189.68 c #Conflicts: 938000 | #Constraints: 34876 2183.49/2189.68 c #Conflicts: 939000 | #Constraints: 35877 2183.49/2189.68 c #Conflicts: 940000 | #Constraints: 36878 2183.49/2189.68 c #Conflicts: 941000 | #Constraints: 37879 2183.49/2189.68 c INPROCESSING 2183.49/2189.68 c GARBAGE COLLECT 2183.49/2189.68 c rational objective 0 2248.59/2255.00 c #Conflicts: 942000 | #Constraints: 19659 2248.59/2255.00 c #Conflicts: 943000 | #Constraints: 20659 2248.59/2255.00 c #Conflicts: 944000 | #Constraints: 21660 2248.59/2255.00 c #Conflicts: 945000 | #Constraints: 22661 2248.59/2255.00 c #Conflicts: 946000 | #Constraints: 23662 2248.59/2255.00 c #Conflicts: 947000 | #Constraints: 24663 2248.59/2255.00 c #Conflicts: 948000 | #Constraints: 25664 2248.59/2255.00 c #Conflicts: 949000 | #Constraints: 26664 2248.59/2255.00 c #Conflicts: 950000 | #Constraints: 27665 2248.59/2255.00 c #Conflicts: 951000 | #Constraints: 28665 2248.59/2255.00 c #Conflicts: 952000 | #Constraints: 29665 2248.59/2255.00 c #Conflicts: 953000 | #Constraints: 30665 2248.59/2255.00 c #Conflicts: 954000 | #Constraints: 31666 2248.59/2255.00 c #Conflicts: 955000 | #Constraints: 32666 2248.59/2255.00 c #Conflicts: 956000 | #Constraints: 33668 2248.59/2255.00 c #Conflicts: 957000 | #Constraints: 34668 2248.59/2255.00 c #Conflicts: 958000 | #Constraints: 35668 2248.59/2255.00 c #Conflicts: 959000 | #Constraints: 36669 2248.59/2255.00 c #Conflicts: 960000 | #Constraints: 37670 2248.59/2255.00 c #Conflicts: 961000 | #Constraints: 38670 2248.59/2255.00 c INPROCESSING 2248.59/2255.00 c GARBAGE COLLECT 2248.59/2255.00 c rational objective 0 2332.95/2339.52 c #Conflicts: 962000 | #Constraints: 20256 2332.95/2339.52 c #Conflicts: 963000 | #Constraints: 21256 2332.95/2339.52 c #Conflicts: 964000 | #Constraints: 22257 2332.95/2339.52 c #Conflicts: 965000 | #Constraints: 23259 2332.95/2339.52 c #Conflicts: 966000 | #Constraints: 24260 2332.95/2339.52 c #Conflicts: 967000 | #Constraints: 25261 2332.95/2339.52 c #Conflicts: 968000 | #Constraints: 26261 2332.95/2339.52 c #Conflicts: 969000 | #Constraints: 27261 2332.95/2339.52 c #Conflicts: 970000 | #Constraints: 28261 2332.95/2339.52 c #Conflicts: 971000 | #Constraints: 29261 2332.95/2339.52 c #Conflicts: 972000 | #Constraints: 30261 2332.95/2339.52 c #Conflicts: 973000 | #Constraints: 31261 2332.95/2339.52 c #Conflicts: 974000 | #Constraints: 32261 2332.95/2339.52 c #Conflicts: 975000 | #Constraints: 33261 2332.95/2339.52 c #Conflicts: 976000 | #Constraints: 34261 2332.95/2339.52 c #Conflicts: 977000 | #Constraints: 35261 2332.95/2339.52 c #Conflicts: 978000 | #Constraints: 36264 2332.95/2339.52 c #Conflicts: 979000 | #Constraints: 37265 2332.95/2339.52 c #Conflicts: 980000 | #Constraints: 38266 2332.95/2339.52 c #Conflicts: 981000 | #Constraints: 39267 2332.95/2339.52 c INPROCESSING 2332.95/2339.52 c GARBAGE COLLECT 2332.95/2339.52 c rational objective 0 2405.45/2412.22 c #Conflicts: 982000 | #Constraints: 20662 2405.45/2412.22 c #Conflicts: 983000 | #Constraints: 21664 2405.45/2412.22 c #Conflicts: 984000 | #Constraints: 22668 2405.45/2412.22 c #Conflicts: 985000 | #Constraints: 23669 2405.45/2412.22 c #Conflicts: 986000 | #Constraints: 24671 2405.45/2412.22 c #Conflicts: 987000 | #Constraints: 25674 2405.45/2412.22 c #Conflicts: 988000 | #Constraints: 26675 2405.45/2412.22 c #Conflicts: 989000 | #Constraints: 27675 2405.45/2412.22 c #Conflicts: 990000 | #Constraints: 28677 2405.45/2412.22 c #Conflicts: 991000 | #Constraints: 29680 2405.45/2412.22 c #Conflicts: 992000 | #Constraints: 30682 2405.45/2412.22 c #Conflicts: 993000 | #Constraints: 31683 2405.45/2412.22 c #Conflicts: 994000 | #Constraints: 32685 2405.45/2412.22 c #Conflicts: 995000 | #Constraints: 33685 2405.45/2412.22 c #Conflicts: 996000 | #Constraints: 34685 2405.45/2412.22 c #Conflicts: 997000 | #Constraints: 35685 2405.45/2412.22 c #Conflicts: 998000 | #Constraints: 36686 2405.45/2412.22 c #Conflicts: 999000 | #Constraints: 37688 2405.45/2412.22 c #Conflicts: 1000000 | #Constraints: 38688 2405.45/2412.22 c #Conflicts: 1001000 | #Constraints: 39688 2405.45/2412.22 c INPROCESSING 2405.45/2412.22 c GARBAGE COLLECT 2405.45/2412.22 c rational objective 0 2494.79/2501.82 c #Conflicts: 1002000 | #Constraints: 20863 2494.79/2501.82 c #Conflicts: 1003000 | #Constraints: 21863 2494.79/2501.82 c #Conflicts: 1004000 | #Constraints: 22863 2494.79/2501.82 c #Conflicts: 1005000 | #Constraints: 23865 2494.79/2501.82 c #Conflicts: 1006000 | #Constraints: 24866 2494.79/2501.82 c #Conflicts: 1007000 | #Constraints: 25867 2494.79/2501.82 c #Conflicts: 1008000 | #Constraints: 26868 2494.79/2501.82 c #Conflicts: 1009000 | #Constraints: 27869 2494.79/2501.82 c #Conflicts: 1010000 | #Constraints: 28869 2494.79/2501.82 c #Conflicts: 1011000 | #Constraints: 29869 2494.79/2501.82 c #Conflicts: 1012000 | #Constraints: 30870 2494.79/2501.82 c #Conflicts: 1013000 | #Constraints: 31871 2494.79/2501.82 c #Conflicts: 1014000 | #Constraints: 32871 2494.79/2501.82 c #Conflicts: 1015000 | #Constraints: 33872 2494.79/2501.82 c #Conflicts: 1016000 | #Constraints: 34872 2494.79/2501.82 c #Conflicts: 1017000 | #Constraints: 35872 2494.79/2501.82 c #Conflicts: 1018000 | #Constraints: 36872 2494.79/2501.82 c #Conflicts: 1019000 | #Constraints: 37872 2494.79/2501.82 c #Conflicts: 1020000 | #Constraints: 38873 2494.79/2501.82 c #Conflicts: 1021000 | #Constraints: 39874 2494.79/2501.82 c INPROCESSING 2494.79/2501.82 c GARBAGE COLLECT 2494.79/2501.82 c rational objective 0 2565.89/2573.13 c #Conflicts: 1022000 | #Constraints: 20869 2565.89/2573.13 c #Conflicts: 1023000 | #Constraints: 21869 2565.89/2573.13 c #Conflicts: 1024000 | #Constraints: 22871 2565.89/2573.13 c #Conflicts: 1025000 | #Constraints: 23872 2565.89/2573.13 c #Conflicts: 1026000 | #Constraints: 24874 2565.89/2573.13 c #Conflicts: 1027000 | #Constraints: 25876 2565.89/2573.13 c #Conflicts: 1028000 | #Constraints: 26876 2565.89/2573.13 c #Conflicts: 1029000 | #Constraints: 27877 2565.89/2573.13 c #Conflicts: 1030000 | #Constraints: 28878 2565.89/2573.13 c #Conflicts: 1031000 | #Constraints: 29879 2565.89/2573.13 c #Conflicts: 1032000 | #Constraints: 30881 2565.89/2573.13 c #Conflicts: 1033000 | #Constraints: 31882 2565.89/2573.13 c #Conflicts: 1034000 | #Constraints: 32883 2565.89/2573.13 c #Conflicts: 1035000 | #Constraints: 33883 2565.89/2573.13 c #Conflicts: 1036000 | #Constraints: 34884 2565.89/2573.13 c #Conflicts: 1037000 | #Constraints: 35884 2565.89/2573.13 c #Conflicts: 1038000 | #Constraints: 36886 2565.89/2573.13 c #Conflicts: 1039000 | #Constraints: 37886 2565.89/2573.13 c #Conflicts: 1040000 | #Constraints: 38887 2565.89/2573.13 c #Conflicts: 1041000 | #Constraints: 39887 2565.89/2573.13 c INPROCESSING 2565.89/2573.13 c GARBAGE COLLECT 2565.89/2573.13 c rational objective 0 2663.49/2671.02 c #Conflicts: 1042000 | #Constraints: 20664 2663.49/2671.02 c #Conflicts: 1043000 | #Constraints: 21664 2663.49/2671.02 c #Conflicts: 1044000 | #Constraints: 22665 2663.49/2671.02 c #Conflicts: 1045000 | #Constraints: 23665 2663.49/2671.02 c #Conflicts: 1046000 | #Constraints: 24666 2663.49/2671.02 c #Conflicts: 1047000 | #Constraints: 25666 2663.49/2671.02 c #Conflicts: 1048000 | #Constraints: 26666 2663.49/2671.02 c #Conflicts: 1049000 | #Constraints: 27667 2663.49/2671.02 c #Conflicts: 1050000 | #Constraints: 28667 2663.49/2671.02 c #Conflicts: 1051000 | #Constraints: 29667 2663.49/2671.02 c #Conflicts: 1052000 | #Constraints: 30667 2663.49/2671.02 c #Conflicts: 1053000 | #Constraints: 31667 2663.49/2671.02 c #Conflicts: 1054000 | #Constraints: 32667 2663.49/2671.02 c #Conflicts: 1055000 | #Constraints: 33667 2663.49/2671.02 c #Conflicts: 1056000 | #Constraints: 34668 2663.49/2671.02 c #Conflicts: 1057000 | #Constraints: 35672 2663.49/2671.02 c #Conflicts: 1058000 | #Constraints: 36672 2663.49/2671.02 c #Conflicts: 1059000 | #Constraints: 37672 2663.49/2671.02 c #Conflicts: 1060000 | #Constraints: 38672 2663.49/2671.02 c #Conflicts: 1061000 | #Constraints: 39672 2663.49/2671.02 c #Conflicts: 1062000 | #Constraints: 40672 2663.49/2671.02 c INPROCESSING 2663.49/2671.02 c GARBAGE COLLECT 2663.49/2671.02 c rational objective 0 2745.23/2753.04 c #Conflicts: 1063000 | #Constraints: 21259 2745.23/2753.04 c #Conflicts: 1064000 | #Constraints: 22261 2745.23/2753.04 c #Conflicts: 1065000 | #Constraints: 23261 2745.23/2753.04 c #Conflicts: 1066000 | #Constraints: 24261 2745.23/2753.04 c #Conflicts: 1067000 | #Constraints: 25263 2745.23/2753.04 c #Conflicts: 1068000 | #Constraints: 26265 2745.23/2753.04 c #Conflicts: 1069000 | #Constraints: 27265 2745.23/2753.04 c #Conflicts: 1070000 | #Constraints: 28265 2745.23/2753.04 c #Conflicts: 1071000 | #Constraints: 29267 2745.23/2753.04 c #Conflicts: 1072000 | #Constraints: 30268 2745.23/2753.04 c #Conflicts: 1073000 | #Constraints: 31268 2745.23/2753.04 c #Conflicts: 1074000 | #Constraints: 32269 2745.23/2753.04 c #Conflicts: 1075000 | #Constraints: 33269 2745.23/2753.04 c #Conflicts: 1076000 | #Constraints: 34270 2745.23/2753.04 c #Conflicts: 1077000 | #Constraints: 35271 2745.23/2753.04 c #Conflicts: 1078000 | #Constraints: 36271 2745.23/2753.04 c #Conflicts: 1079000 | #Constraints: 37271 2745.23/2753.04 c #Conflicts: 1080000 | #Constraints: 38271 2745.23/2753.04 c #Conflicts: 1081000 | #Constraints: 39272 2745.23/2753.04 c #Conflicts: 1082000 | #Constraints: 40273 2745.23/2753.04 c #Conflicts: 1083000 | #Constraints: 41273 2745.23/2753.04 c INPROCESSING 2745.23/2753.04 c GARBAGE COLLECT 2745.23/2753.04 c rational objective 0 2849.09/2857.24 c #Conflicts: 1084000 | #Constraints: 21656 2849.09/2857.24 c #Conflicts: 1085000 | #Constraints: 22657 2849.09/2857.24 c #Conflicts: 1086000 | #Constraints: 23657 2849.09/2857.24 c #Conflicts: 1087000 | #Constraints: 24657 2849.09/2857.24 c #Conflicts: 1088000 | #Constraints: 25657 2849.09/2857.24 c #Conflicts: 1089000 | #Constraints: 26657 2849.09/2857.24 c #Conflicts: 1090000 | #Constraints: 27657 2849.09/2857.24 c #Conflicts: 1091000 | #Constraints: 28657 2849.09/2857.24 c #Conflicts: 1092000 | #Constraints: 29657 2849.09/2857.24 c #Conflicts: 1093000 | #Constraints: 30657 2849.09/2857.24 c #Conflicts: 1094000 | #Constraints: 31658 2849.09/2857.24 c #Conflicts: 1095000 | #Constraints: 32658 2849.09/2857.24 c #Conflicts: 1096000 | #Constraints: 33658 2849.09/2857.24 c #Conflicts: 1097000 | #Constraints: 34658 2849.09/2857.24 c #Conflicts: 1098000 | #Constraints: 35659 2849.09/2857.24 c #Conflicts: 1099000 | #Constraints: 36660 2849.09/2857.24 c #Conflicts: 1100000 | #Constraints: 37661 2849.09/2857.24 c #Conflicts: 1101000 | #Constraints: 38662 2849.09/2857.24 c #Conflicts: 1102000 | #Constraints: 39663 2849.09/2857.24 c #Conflicts: 1103000 | #Constraints: 40663 2849.09/2857.24 c #Conflicts: 1104000 | #Constraints: 41665 2849.09/2857.24 c INPROCESSING 2849.09/2857.24 c GARBAGE COLLECT 2849.09/2857.24 c rational objective 0 2939.02/2947.47 c #Conflicts: 1105000 | #Constraints: 21861 2939.02/2947.47 c #Conflicts: 1106000 | #Constraints: 22862 2939.02/2947.47 c #Conflicts: 1107000 | #Constraints: 23863 2939.02/2947.47 c #Conflicts: 1108000 | #Constraints: 24866 2939.02/2947.47 c #Conflicts: 1109000 | #Constraints: 25867 2939.02/2947.47 c #Conflicts: 1110000 | #Constraints: 26868 2939.02/2947.47 c #Conflicts: 1111000 | #Constraints: 27869 2939.02/2947.47 c #Conflicts: 1112000 | #Constraints: 28870 2939.02/2947.47 c #Conflicts: 1113000 | #Constraints: 29871 2939.02/2947.47 c #Conflicts: 1114000 | #Constraints: 30871 2939.02/2947.47 c #Conflicts: 1115000 | #Constraints: 31872 2939.02/2947.47 c #Conflicts: 1116000 | #Constraints: 32872 2939.02/2947.47 c #Conflicts: 1117000 | #Constraints: 33872 2939.02/2947.47 c #Conflicts: 1118000 | #Constraints: 34872 2939.02/2947.47 c #Conflicts: 1119000 | #Constraints: 35873 2939.02/2947.47 c #Conflicts: 1120000 | #Constraints: 36873 2939.02/2947.47 c #Conflicts: 1121000 | #Constraints: 37875 2939.02/2947.47 c #Conflicts: 1122000 | #Constraints: 38875 2939.02/2947.47 c #Conflicts: 1123000 | #Constraints: 39878 2939.02/2947.47 c #Conflicts: 1124000 | #Constraints: 40878 2939.02/2947.47 c #Conflicts: 1125000 | #Constraints: 41878 2939.02/2947.47 c INPROCESSING 2939.02/2947.47 c GARBAGE COLLECT 2939.02/2947.47 c rational objective 0 3007.62/3016.20 c #Conflicts: 1126000 | #Constraints: 21859 3007.62/3016.20 c #Conflicts: 1127000 | #Constraints: 22861 3007.62/3016.20 c #Conflicts: 1128000 | #Constraints: 23863 3007.62/3016.20 c #Conflicts: 1129000 | #Constraints: 24863 3007.62/3016.20 c #Conflicts: 1130000 | #Constraints: 25864 3007.62/3016.20 c #Conflicts: 1131000 | #Constraints: 26864 3007.62/3016.20 c #Conflicts: 1132000 | #Constraints: 27866 3007.62/3016.20 c #Conflicts: 1133000 | #Constraints: 28867 3007.62/3016.20 c #Conflicts: 1134000 | #Constraints: 29867 3007.62/3016.20 c #Conflicts: 1135000 | #Constraints: 30869 3007.62/3016.20 c #Conflicts: 1136000 | #Constraints: 31870 3007.62/3016.20 c #Conflicts: 1137000 | #Constraints: 32870 3007.62/3016.20 c #Conflicts: 1138000 | #Constraints: 33870 3007.62/3016.20 c #Conflicts: 1139000 | #Constraints: 34871 3007.62/3016.20 c #Conflicts: 1140000 | #Constraints: 35872 3007.62/3016.20 c #Conflicts: 1141000 | #Constraints: 36875 3007.62/3016.20 c #Conflicts: 1142000 | #Constraints: 37875 3007.62/3016.20 c #Conflicts: 1143000 | #Constraints: 38875 3007.62/3016.20 c #Conflicts: 1144000 | #Constraints: 39875 3007.62/3016.20 c #Conflicts: 1145000 | #Constraints: 40877 3007.62/3016.20 c #Conflicts: 1146000 | #Constraints: 41878 3007.62/3016.20 c INPROCESSING 3007.62/3016.20 c GARBAGE COLLECT 3007.62/3016.20 c rational objective 0 3114.00/3122.95 c #Conflicts: 1147000 | #Constraints: 21659 3114.00/3122.95 c #Conflicts: 1148000 | #Constraints: 22659 3114.00/3122.95 c #Conflicts: 1149000 | #Constraints: 23659 3114.00/3122.95 c #Conflicts: 1150000 | #Constraints: 24660 3114.00/3122.95 c #Conflicts: 1151000 | #Constraints: 25660 3114.00/3122.95 c #Conflicts: 1152000 | #Constraints: 26662 3114.00/3122.95 c #Conflicts: 1153000 | #Constraints: 27662 3114.00/3122.95 c #Conflicts: 1154000 | #Constraints: 28663 3114.00/3122.95 c #Conflicts: 1155000 | #Constraints: 29663 3114.00/3122.95 c #Conflicts: 1156000 | #Constraints: 30664 3114.00/3122.95 c #Conflicts: 1157000 | #Constraints: 31667 3114.00/3122.95 c #Conflicts: 1158000 | #Constraints: 32671 3114.00/3122.95 c #Conflicts: 1159000 | #Constraints: 33673 3114.00/3122.95 c #Conflicts: 1160000 | #Constraints: 34674 3114.00/3122.95 c #Conflicts: 1161000 | #Constraints: 35675 3114.00/3122.95 c #Conflicts: 1162000 | #Constraints: 36675 3114.00/3122.95 c #Conflicts: 1163000 | #Constraints: 37675 3114.00/3122.95 c #Conflicts: 1164000 | #Constraints: 38676 3114.00/3122.95 c #Conflicts: 1165000 | #Constraints: 39677 3114.00/3122.95 c #Conflicts: 1166000 | #Constraints: 40678 3114.00/3122.95 c bounds 20 >= 0 @ 3082.27 3114.00/3122.95 c #Conflicts: 1167000 | #Constraints: 41684 3114.00/3122.95 c #Conflicts: 1168000 | #Constraints: 42684 3114.00/3122.95 c INPROCESSING 3114.00/3122.95 c GARBAGE COLLECT 3114.00/3122.95 c rational objective 0 3183.18/3192.38 c #Conflicts: 1169000 | #Constraints: 22259 3183.18/3192.38 c #Conflicts: 1170000 | #Constraints: 23261 3183.18/3192.38 c #Conflicts: 1171000 | #Constraints: 24263 3183.18/3192.38 c #Conflicts: 1172000 | #Constraints: 25263 3183.18/3192.38 c #Conflicts: 1173000 | #Constraints: 26264 3183.18/3192.38 c #Conflicts: 1174000 | #Constraints: 27267 3183.18/3192.38 c #Conflicts: 1175000 | #Constraints: 28268 3183.18/3192.38 c #Conflicts: 1176000 | #Constraints: 29269 3183.18/3192.38 c #Conflicts: 1177000 | #Constraints: 30271 3183.18/3192.38 c #Conflicts: 1178000 | #Constraints: 31272 3183.18/3192.38 c #Conflicts: 1179000 | #Constraints: 32272 3183.18/3192.38 c #Conflicts: 1180000 | #Constraints: 33273 3183.18/3192.38 c #Conflicts: 1181000 | #Constraints: 34274 3183.18/3192.38 c #Conflicts: 1182000 | #Constraints: 35275 3183.18/3192.38 c #Conflicts: 1183000 | #Constraints: 36276 3183.18/3192.38 c #Conflicts: 1184000 | #Constraints: 37276 3183.18/3192.38 c #Conflicts: 1185000 | #Constraints: 38277 3183.18/3192.38 c #Conflicts: 1186000 | #Constraints: 39278 3183.18/3192.38 c #Conflicts: 1187000 | #Constraints: 40279 3183.18/3192.38 c #Conflicts: 1188000 | #Constraints: 41279 3183.18/3192.38 c #Conflicts: 1189000 | #Constraints: 42279 3183.18/3192.38 c #Conflicts: 1190000 | #Constraints: 43280 3183.18/3192.38 c INPROCESSING 3183.18/3192.38 c GARBAGE COLLECT 3183.18/3192.38 c rational objective 0 3294.35/3303.82 c bounds 18 >= 0 @ 3156.47 3294.35/3303.82 c bounds 16 >= 0 @ 3156.48 3294.35/3303.82 c #Conflicts: 1191000 | #Constraints: 22657 3294.35/3303.82 c #Conflicts: 1192000 | #Constraints: 23658 3294.35/3303.82 c #Conflicts: 1193000 | #Constraints: 24661 3294.35/3303.82 c #Conflicts: 1194000 | #Constraints: 25661 3294.35/3303.82 c #Conflicts: 1195000 | #Constraints: 26662 3294.35/3303.82 c #Conflicts: 1196000 | #Constraints: 27663 3294.35/3303.82 c #Conflicts: 1197000 | #Constraints: 28664 3294.35/3303.82 c #Conflicts: 1198000 | #Constraints: 29666 3294.35/3303.82 c #Conflicts: 1199000 | #Constraints: 30666 3294.35/3303.82 c #Conflicts: 1200000 | #Constraints: 31668 3294.35/3303.82 c #Conflicts: 1201000 | #Constraints: 32671 3294.35/3303.82 c #Conflicts: 1202000 | #Constraints: 33672 3294.35/3303.82 c #Conflicts: 1203000 | #Constraints: 34672 3294.35/3303.82 c #Conflicts: 1204000 | #Constraints: 35673 3294.35/3303.82 c #Conflicts: 1205000 | #Constraints: 36674 3294.35/3303.82 c #Conflicts: 1206000 | #Constraints: 37674 3294.35/3303.82 c #Conflicts: 1207000 | #Constraints: 38676 3294.35/3303.82 c #Conflicts: 1208000 | #Constraints: 39676 3294.35/3303.82 c #Conflicts: 1209000 | #Constraints: 40677 3294.35/3303.82 c #Conflicts: 1210000 | #Constraints: 41679 3294.35/3303.82 c #Conflicts: 1211000 | #Constraints: 42681 3294.35/3303.82 c #Conflicts: 1212000 | #Constraints: 43682 3294.35/3303.82 c INPROCESSING 3294.35/3303.82 c GARBAGE COLLECT 3294.35/3303.82 c rational objective 0 3365.56/3375.26 c #Conflicts: 1213000 | #Constraints: 22858 3365.56/3375.26 c #Conflicts: 1214000 | #Constraints: 23858 3365.56/3375.26 c #Conflicts: 1215000 | #Constraints: 24858 3365.56/3375.26 c #Conflicts: 1216000 | #Constraints: 25862 3365.56/3375.26 c #Conflicts: 1217000 | #Constraints: 26863 3365.56/3375.26 c #Conflicts: 1218000 | #Constraints: 27868 3365.56/3375.26 c #Conflicts: 1219000 | #Constraints: 28870 3365.56/3375.26 c #Conflicts: 1220000 | #Constraints: 29870 3365.56/3375.26 c #Conflicts: 1221000 | #Constraints: 30870 3365.56/3375.26 c #Conflicts: 1222000 | #Constraints: 31870 3365.56/3375.26 c #Conflicts: 1223000 | #Constraints: 32871 3365.56/3375.26 c #Conflicts: 1224000 | #Constraints: 33871 3365.56/3375.26 c #Conflicts: 1225000 | #Constraints: 34871 3365.56/3375.26 c #Conflicts: 1226000 | #Constraints: 35872 3365.56/3375.26 c #Conflicts: 1227000 | #Constraints: 36874 3365.56/3375.26 c #Conflicts: 1228000 | #Constraints: 37877 3365.56/3375.26 c #Conflicts: 1229000 | #Constraints: 38877 3365.56/3375.26 c #Conflicts: 1230000 | #Constraints: 39878 3365.56/3375.26 c #Conflicts: 1231000 | #Constraints: 40882 3365.56/3375.26 c #Conflicts: 1232000 | #Constraints: 41882 3365.56/3375.26 c #Conflicts: 1233000 | #Constraints: 42885 3365.56/3375.26 c #Conflicts: 1234000 | #Constraints: 43887 3365.56/3375.26 c INPROCESSING 3365.56/3375.26 c GARBAGE COLLECT 3365.56/3375.26 c rational objective 0 3457.56/3467.41 c #Conflicts: 1235000 | #Constraints: 22863 3457.56/3467.41 c #Conflicts: 1236000 | #Constraints: 23865 3457.56/3467.41 c #Conflicts: 1237000 | #Constraints: 24865 3457.56/3467.41 c #Conflicts: 1238000 | #Constraints: 25867 3457.56/3467.41 c #Conflicts: 1239000 | #Constraints: 26869 3457.56/3467.41 c #Conflicts: 1240000 | #Constraints: 27870 3457.56/3467.41 c #Conflicts: 1241000 | #Constraints: 28874 3457.56/3467.41 c #Conflicts: 1242000 | #Constraints: 29877 3457.56/3467.41 c #Conflicts: 1243000 | #Constraints: 30878 3457.56/3467.41 c #Conflicts: 1244000 | #Constraints: 31881 3457.56/3467.41 c #Conflicts: 1245000 | #Constraints: 32883 3457.56/3467.41 c #Conflicts: 1246000 | #Constraints: 33884 3457.56/3467.41 c #Conflicts: 1247000 | #Constraints: 34884 3457.56/3467.41 c #Conflicts: 1248000 | #Constraints: 35885 3457.56/3467.41 c #Conflicts: 1249000 | #Constraints: 36885 3457.56/3467.41 c #Conflicts: 1250000 | #Constraints: 37892 3457.56/3467.41 c #Conflicts: 1251000 | #Constraints: 38895 3457.56/3467.41 c #Conflicts: 1252000 | #Constraints: 39897 3457.56/3467.41 c #Conflicts: 1253000 | #Constraints: 40898 3457.56/3467.41 c #Conflicts: 1254000 | #Constraints: 41900 3457.56/3467.41 c #Conflicts: 1255000 | #Constraints: 42900 3457.56/3467.41 c #Conflicts: 1256000 | #Constraints: 43901 3457.56/3467.41 c INPROCESSING 3457.56/3467.41 c GARBAGE COLLECT 3457.56/3467.41 c rational objective 0 3523.14/3533.15 c #Conflicts: 1257000 | #Constraints: 22675 3523.14/3533.15 c #Conflicts: 1258000 | #Constraints: 23676 3523.14/3533.15 c #Conflicts: 1259000 | #Constraints: 24678 3523.14/3533.15 c #Conflicts: 1260000 | #Constraints: 25680 3523.14/3533.15 c #Conflicts: 1261000 | #Constraints: 26681 3523.14/3533.15 c #Conflicts: 1262000 | #Constraints: 27684 3523.14/3533.15 c #Conflicts: 1263000 | #Constraints: 28684 3523.14/3533.15 c #Conflicts: 1264000 | #Constraints: 29684 3523.14/3533.15 c #Conflicts: 1265000 | #Constraints: 30685 3523.14/3533.15 c #Conflicts: 1266000 | #Constraints: 31686 3523.14/3533.15 c #Conflicts: 1267000 | #Constraints: 32688 3523.14/3533.15 c #Conflicts: 1268000 | #Constraints: 33689 3523.14/3533.15 c #Conflicts: 1269000 | #Constraints: 34690 3523.14/3533.15 c #Conflicts: 1270000 | #Constraints: 35693 3523.14/3533.15 c #Conflicts: 1271000 | #Constraints: 36694 3523.14/3533.15 c #Conflicts: 1272000 | #Constraints: 37695 3523.14/3533.15 c #Conflicts: 1273000 | #Constraints: 38695 3523.14/3533.15 c #Conflicts: 1274000 | #Constraints: 39695 3523.14/3533.15 c #Conflicts: 1275000 | #Constraints: 40695 3523.14/3533.15 c #Conflicts: 1276000 | #Constraints: 41695 3523.14/3533.15 c #Conflicts: 1277000 | #Constraints: 42695 3523.14/3533.15 c #Conflicts: 1278000 | #Constraints: 43695 3523.14/3533.15 c #Conflicts: 1279000 | #Constraints: 44697 3523.14/3533.15 c INPROCESSING 3523.14/3533.15 c GARBAGE COLLECT 3523.14/3533.15 c rational objective 0 3584.20/3594.32 c #Conflicts: 1280000 | #Constraints: 23265 3584.20/3594.32 c #Conflicts: 1281000 | #Constraints: 24267 3584.20/3594.32 c #Conflicts: 1282000 | #Constraints: 25270 3584.20/3594.32 c #Conflicts: 1283000 | #Constraints: 26271 3584.20/3594.32 c #Conflicts: 1284000 | #Constraints: 27272 3584.20/3594.32 c #Conflicts: 1285000 | #Constraints: 28273 3584.20/3594.32 c #Conflicts: 1286000 | #Constraints: 29273 3584.20/3594.32 c #Conflicts: 1287000 | #Constraints: 30273 3584.20/3594.32 c #Conflicts: 1288000 | #Constraints: 31273 3584.20/3594.32 c #Conflicts: 1289000 | #Constraints: 32273 3584.20/3594.32 c #Conflicts: 1290000 | #Constraints: 33273 3584.20/3594.32 c #Conflicts: 1291000 | #Constraints: 34275 3584.20/3594.32 c #Conflicts: 1292000 | #Constraints: 35276 3584.20/3594.32 c #Conflicts: 1293000 | #Constraints: 36277 3584.20/3594.32 c #Conflicts: 1294000 | #Constraints: 37278 3584.20/3594.32 c #Conflicts: 1295000 | #Constraints: 38278 3584.20/3594.32 c #Conflicts: 1296000 | #Constraints: 39279 3584.20/3594.32 c #Conflicts: 1297000 | #Constraints: 40280 3584.20/3594.32 c #Conflicts: 1298000 | #Constraints: 41280 3584.20/3594.32 c #Conflicts: 1299000 | #Constraints: 42281 3584.20/3594.32 c #Conflicts: 1300000 | #Constraints: 43281 3584.20/3594.32 c #Conflicts: 1301000 | #Constraints: 44282 3584.20/3594.32 c #Conflicts: 1302000 | #Constraints: 45283 3584.20/3594.32 c INPROCESSING 3584.20/3594.32 c GARBAGE COLLECT 3584.20/3594.32 c rational objective 0 3600.06/3610.20 c #Conflicts: 1303000 | #Constraints: 23659 3600.06/3610.20 c #Conflicts: 1304000 | #Constraints: 24660 3600.06/3610.20 c #Conflicts: 1305000 | #Constraints: 25662 3600.06/3610.20 c #Conflicts: 1306000 | #Constraints: 26663 3600.06/3610.20 c Program interrupted by user. 3600.06/3610.22 c cpu time 3570.82 s 3600.06/3610.22 c deterministic time 599455504669 5.99e+11 3600.06/3610.22 c optimization time 15.6634 s 3600.06/3610.22 c total solve time 3555.15 s 3600.06/3610.22 c core-guided solve time 1809.59 s 3600.06/3610.22 c propagation time 3284.74 s 3600.06/3610.22 c conflict analysis time 245.692 s 3600.06/3610.22 c propagations 40421948 3600.06/3610.22 c resolve steps 8627035 3600.06/3610.22 c decisions 2711430 3600.06/3610.22 c conflicts 1306197 3600.06/3610.22 c restarts 2544 3600.06/3610.22 c inprocessing phases 105 3600.06/3610.22 c input clauses 0 3600.06/3610.22 c input cardinalities 0 3600.06/3610.22 c input general constraints 61 3600.06/3610.22 c input average constraint length 103.25 3600.06/3610.22 c input average constraint degree 2224.15 3600.06/3610.22 c learned clauses 591631 3600.06/3610.22 c learned cardinalities 0 3600.06/3610.22 c learned general constraints 716932 3600.06/3610.22 c learned average constraint length 103.84 3600.06/3610.22 c learned average constraint degree 925101496.12 3600.06/3610.22 c watched constraints 716575 3600.06/3610.22 c counting constraints 418 3600.06/3610.22 c gcd simplifications 522248 3600.06/3610.22 c detected cardinalities 0 3600.06/3610.22 c weakened non-implied lits 35636225 3600.06/3610.22 c weakened non-implying lits 1097882 3600.06/3610.22 c original variables 198 3600.06/3610.22 c clausal propagations 380724 3600.06/3610.22 c cardinality propagations 0 3600.06/3610.22 c watched propagations 38564541 3600.06/3610.22 c counting propagations 638953 3600.06/3610.22 c watch lookups 23727523058 3600.06/3610.22 c watch backjump lookups 8451217492 3600.06/3610.22 c watch checks 539272692090 3600.06/3610.22 c propagation checks 26592245612 3600.06/3610.22 c constraint additions 1322949712 3600.06/3610.22 c trail pops 44437021 3600.06/3610.22 c formula constraints 16 3600.06/3610.22 c learned constraints 1303829 3600.06/3610.22 c bound constraints 45 3600.06/3610.22 c core-guided constraints 0 3600.06/3610.22 c encountered formula constraints 47359 3600.06/3610.22 c encountered learned constraints 2621339 3600.06/3610.22 c encountered bound constraints 1026 3600.06/3610.22 c encountered core-guided constraints 0 3600.06/3610.22 c LP total time 28.3439 s 3600.06/3610.22 c LP solve time 20.28 s 3600.06/3610.22 c LP constraints added 84 3600.06/3610.22 c LP constraints removed 68 3600.06/3610.22 c LP pivots internal 1306207 3600.06/3610.22 c LP pivots root 98 3600.06/3610.22 c LP calls 109281 3600.06/3610.22 c LP optimalities 106914 3600.06/3610.22 c LP no pivot count 20600 3600.06/3610.22 c LP infeasibilities 2367 3600.06/3610.22 c LP valid Farkas constraints 2367 3600.06/3610.22 c LP learned Farkas constraints 2367 3600.06/3610.22 c LP basis resets 0 3600.06/3610.22 c LP cycling count 0 3600.06/3610.22 c LP singular count 0 3600.06/3610.22 c LP no primal count 0 3600.06/3610.22 c LP no farkas count 0 3600.06/3610.22 c LP other issue count 0 3600.06/3610.22 c LP Gomory cuts 0 3600.06/3610.22 c LP learned cuts 68 3600.06/3610.22 c LP deleted cuts 68 3600.06/3610.22 c LP encountered Gomory constraints 0 3600.06/3610.22 c LP encountered Farkas constraints 6553647 3600.06/3610.22 c LP encountered learned Farkas constraints 707494 3600.06/3610.22 c CG auxiliary variables introduced 0 3600.06/3610.22 c CG solutions found 45 3600.06/3610.22 c CG cores constructed 0 3600.06/3610.22 c CG core cardinality constraints returned 0 3600.06/3610.22 c CG unit cores 0 3600.06/3610.22 c CG single cores 0 3600.06/3610.22 c CG blocks removed during cardinality reduction 0 3600.06/3610.22 c CG first core best 0 3600.06/3610.22 c CG decision core best 0 3600.06/3610.22 c CG core reduction tie 0 3600.06/3610.22 c CG core degree average 0.00 3600.06/3610.22 c CG core slack average 0.00 3600.06/3610.22 s SATISFIABLE 3600.06/3610.22 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
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: 64059 MiB (364 MiB free)
memory of node 1: 64510 MiB (9154 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456781-1721772853/watcher-4456781-1721772853 -o /tmp/evaluation-result-4456781-1721772853/solver-4456781-1721772853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124355 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456781-1721772853 --lp-cut-gomory=0 HOME/instance-4456781-1721772853.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=129865, runsolver pid=129862
[startup+0.100102 s]*
/proc/loadavg: 4.21 4.22 4.19 5/267 129866
/proc/meminfo: memFree=9743344/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=38144 memory=9024 CPUtime=0.1 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 571 0 0 0 10 0 0 0 20 0 1 0 13274871 39059456 2256 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 9536 2256 1880 992 0 1394 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38144 KiB
Current children cumulated memory: 9024 KiB
[startup+0.214548 s]*
/proc/loadavg: 4.21 4.22 4.19 9/267 129866
/proc/meminfo: memFree=9741164/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=38268 memory=9348 CPUtime=0.22 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 667 0 0 0 21 1 0 0 20 0 1 0 13274871 39186432 2337 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 9567 2337 1880 992 0 1425 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38268 KiB
Current children cumulated memory: 9348 KiB
[startup+0.315633 s]*
/proc/loadavg: 4.21 4.22 4.19 5/267 129868
/proc/meminfo: memFree=9738664/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=38548 memory=9728 CPUtime=0.31 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 760 0 0 0 30 1 0 0 20 0 1 0 13274871 39473152 2432 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 9637 2432 1880 992 0 1495 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38548 KiB
Current children cumulated memory: 9728 KiB
[startup+0.700334 s]
/proc/loadavg: 4.21 4.22 4.19 5/267 129868
/proc/meminfo: memFree=9734820/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=38912 memory=10820 CPUtime=0.69 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 1037 0 0 0 65 4 0 0 20 0 1 0 13274871 39845888 2705 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 9728 2705 1880 992 0 1586 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38912 KiB
Current children cumulated memory: 10820 KiB
[startup+1.50033 s]
/proc/loadavg: 4.21 4.22 4.19 5/267 129868
/proc/meminfo: memFree=9725392/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=40200 memory=14628 CPUtime=1.49 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 1462 0 0 0 141 8 0 0 20 0 1 0 13274871 41164800 3657 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 10050 3657 1896 992 0 1908 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40200 KiB
Current children cumulated memory: 14628 KiB
[startup+3.1143 s]
/proc/loadavg: 4.19 4.21 4.19 5/267 129868
/proc/meminfo: memFree=9664120/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=41140 memory=15496 CPUtime=3.1 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 1663 0 0 0 296 14 0 0 20 0 1 0 13274871 42127360 3874 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 10285 3874 1896 992 0 2143 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 41140 KiB
Current children cumulated memory: 15496 KiB
[startup+6.30031 s]
/proc/loadavg: 4.19 4.21 4.19 5/267 129868
/proc/meminfo: memFree=9590140/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=42500 memory=17060 CPUtime=6.27 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 2044 0 0 0 600 27 0 0 20 0 1 0 13274871 43520000 4265 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 10625 4265 1896 992 0 2483 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42500 KiB
Current children cumulated memory: 17060 KiB
[startup+12.7003 s]
/proc/loadavg: 4.34 4.24 4.20 5/267 129869
/proc/meminfo: memFree=9450924/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=46860 memory=21052 CPUtime=12.65 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 2568 0 0 0 1220 45 0 0 20 0 1 0 13274871 47984640 5263 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 11715 5263 1896 992 0 3573 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 46860 KiB
Current children cumulated memory: 21052 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 4.23 4.19 5/268 129872
/proc/meminfo: memFree=9218248/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=53488 memory=24132 CPUtime=25.42 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 3326 0 0 0 2463 79 0 0 20 0 1 0 13274871 54771712 6033 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 13372 6033 1896 992 0 5230 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 53488 KiB
Current children cumulated memory: 24132 KiB
[startup+51.1143 s]
/proc/loadavg: 4.17 4.21 4.19 6/268 129876
/proc/meminfo: memFree=8557892/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=54900 memory=28140 CPUtime=50.96 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 3883 0 0 0 4965 131 0 0 20 0 1 0 13274871 56217600 7035 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 13725 7035 1896 992 0 5583 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 54900 KiB
Current children cumulated memory: 28140 KiB
[startup+102.3 s]
/proc/loadavg: 4.59 4.29 4.21 5/267 129885
/proc/meminfo: memFree=7188032/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=57972 memory=31068 CPUtime=101.99 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 4740 0 0 0 9979 220 0 0 20 0 1 0 13274871 59363328 7767 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 14493 7767 1896 992 0 6351 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 31068 KiB
[startup+162.3 s]
/proc/loadavg: 4.28 4.25 4.20 5/266 129896
/proc/meminfo: memFree=6419848/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=67776 memory=36840 CPUtime=161.83 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 5777 0 0 0 15881 302 0 0 20 0 1 0 13274871 69402624 9210 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 16944 9210 1896 992 0 8802 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 67776 KiB
Current children cumulated memory: 36840 KiB
[startup+222.31 s]
/proc/loadavg: 4.10 4.20 4.18 5/261 129915
/proc/meminfo: memFree=4102548/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=68552 memory=37840 CPUtime=221.66 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 6117 0 0 0 21792 374 0 0 20 0 1 0 13274871 70197248 9460 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 17138 9460 1896 992 0 8996 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 68552 KiB
Current children cumulated memory: 37840 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/261 129927
/proc/meminfo: memFree=3092236/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=69008 memory=40580 CPUtime=281.48 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 6382 0 0 0 27701 447 0 0 20 0 1 0 13274871 70664192 10145 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 17252 10145 1896 992 0 9110 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 69008 KiB
Current children cumulated memory: 40580 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/270 129949
/proc/meminfo: memFree=1501088/131655788 swapFree=131071472/131071996
[pid=129865] ppid=129862 vsize=69504 memory=43344 CPUtime=341.31 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 6738 0 0 0 33610 521 0 0 20 0 1 0 13274871 71172096 10836 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 17376 10836 1896 992 0 9234 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 69504 KiB
Current children cumulated memory: 43344 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/272 129963
/proc/meminfo: memFree=594376/131655788 swapFree=131070960/131071996
[pid=129865] ppid=129862 vsize=71076 memory=44140 CPUtime=401.15 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 7069 0 0 0 39531 584 0 0 20 0 1 0 13274871 72781824 11035 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 17769 11035 1896 992 0 9627 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 71076 KiB
Current children cumulated memory: 44140 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/272 129976
/proc/meminfo: memFree=551728/131655788 swapFree=131070960/131071996
[pid=129865] ppid=129862 vsize=85276 memory=46500 CPUtime=460.98 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 7683 0 0 0 45458 640 0 0 20 0 1 0 13274871 87322624 11625 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 21319 11625 1896 992 0 13177 0
################
# More data... #
################
Current children cumulated memory: 76732 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.29 4.27 5/264 131694
/proc/meminfo: memFree=572368/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=119740 memory=77168 CPUtime=2854.19 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 15289 0 0 0 282941 2478 0 0 20 0 1 0 13274871 122613760 19292 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 29935 19292 1896 992 0 21793 0
Current children cumulated CPU time: 2854.19 s
Current children cumulated vsize: 119740 KiB
Current children cumulated memory: 77168 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.26 4.26 5/263 131704
/proc/meminfo: memFree=648952/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=119740 memory=77168 CPUtime=2914 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 15357 0 0 0 288886 2514 0 0 20 0 1 0 13274871 122613760 19292 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 29935 19292 1896 992 0 21793 0
Current children cumulated CPU time: 2914 s
Current children cumulated vsize: 119740 KiB
Current children cumulated memory: 77168 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.23 4.25 5/262 131715
/proc/meminfo: memFree=610316/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=120252 memory=77564 CPUtime=2973.82 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 15627 0 0 0 294829 2553 0 0 20 0 1 0 13274871 123138048 19391 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 30063 19391 1896 992 0 21921 0
Current children cumulated CPU time: 2973.82 s
Current children cumulated vsize: 120252 KiB
Current children cumulated memory: 77564 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.23 4.25 5/266 131732
/proc/meminfo: memFree=661392/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=120252 memory=77564 CPUtime=3033.64 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 15774 0 0 0 300769 2595 0 0 20 0 1 0 13274871 123138048 19391 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 30063 19391 1896 992 0 21921 0
Current children cumulated CPU time: 3033.64 s
Current children cumulated vsize: 120252 KiB
Current children cumulated memory: 77564 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.23 4.25 5/262 131745
/proc/meminfo: memFree=693304/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=120252 memory=77564 CPUtime=3093.45 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 15870 0 0 0 306716 2629 0 0 20 0 1 0 13274871 123138048 19391 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 30063 19391 1896 992 0 21921 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 120252 KiB
Current children cumulated memory: 77564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.22 4.25 5/271 131767
/proc/meminfo: memFree=684428/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=120836 memory=77800 CPUtime=3153.27 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 16054 0 0 0 312658 2669 0 0 20 0 1 0 13274871 123736064 19450 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 30209 19450 1896 992 0 22067 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 120836 KiB
Current children cumulated memory: 77800 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.23 4.25 5/272 131778
/proc/meminfo: memFree=659088/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=120836 memory=77900 CPUtime=3213.09 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 16184 0 0 0 318601 2708 0 0 20 0 1 0 13274871 123736064 19475 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 30209 19475 1896 992 0 22067 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 120836 KiB
Current children cumulated memory: 77900 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.24 4.25 8/272 131789
/proc/meminfo: memFree=542028/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=120836 memory=77900 CPUtime=3272.91 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 16227 0 0 0 324553 2738 0 0 20 0 1 0 13274871 123736064 19475 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 30209 19475 1896 992 0 22067 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 120836 KiB
Current children cumulated memory: 77900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.21 4.24 5/270 131813
/proc/meminfo: memFree=3232996/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=120764 memory=77956 CPUtime=3332.74 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 16433 0 0 0 330497 2777 0 0 20 0 1 0 13274871 123662336 19489 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 30191 19489 1896 992 0 22049 0
Current children cumulated CPU time: 3332.74 s
Current children cumulated vsize: 120764 KiB
Current children cumulated memory: 77956 KiB
[startup+3402.3 s]
/proc/loadavg: 3.58 4.04 4.18 4/266 131845
/proc/meminfo: memFree=51910480/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=120764 memory=80508 CPUtime=3392.6 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 16624 0 0 0 336446 2814 0 0 20 0 1 0 13274871 123662336 20127 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 30191 20127 1896 992 0 22049 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 120764 KiB
Current children cumulated memory: 80508 KiB
[startup+3462.3 s]
/proc/loadavg: 3.25 3.86 4.11 4/253 131856
/proc/meminfo: memFree=51655328/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=123580 memory=81648 CPUtime=3452.48 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 16996 0 0 0 342407 2841 0 0 20 0 1 0 13274871 126545920 20412 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 30895 20412 1896 992 0 22753 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 123580 KiB
Current children cumulated memory: 81648 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.72 4.04 4/242 131866
/proc/meminfo: memFree=51373712/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=124860 memory=82656 CPUtime=3512.35 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 17327 0 0 0 348361 2874 0 0 20 0 1 0 13274871 127856640 20664 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 31215 20664 1896 992 0 23073 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 124860 KiB
Current children cumulated memory: 82656 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.60 3.98 4/242 131877
/proc/meminfo: memFree=51076736/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=124860 memory=82656 CPUtime=3572.22 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 17455 0 0 0 354313 2909 0 0 20 0 1 0 13274871 127856640 20664 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 31215 20664 1896 992 0 23073 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 124860 KiB
Current children cumulated memory: 82656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 2.95 3.52 3.94 3/235 131913
/proc/meminfo: memFree=55579316/131655788 swapFree=131065036/131071996
[pid=129865] ppid=129862 vsize=125116 memory=82796 CPUtime=3600.06 cores=5,7
/proc/129865/stat : 129865 (roundingsat) R 129862 129865 124342 0 -1 4194304 17619 0 0 0 357081 2925 0 0 20 0 1 0 13274871 128118784 20699 134679101440 4194304 8254037 140734282569392 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 35012608 140734282576732 140734282576994 140734282576994 140734282584009 0
/proc/129865/statm: 31279 20699 1896 992 0 23137 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 125116 KiB
Current children cumulated memory: 82796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.23 s]
# the end of solver process 129865 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.82 s, system=29.2598 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.23
CPU time (s): 3600.08
CPU user time (s): 3570.82
CPU system time (s): 29.2598
CPU usage (%): 99.7188
Max. virtual memory (cumulated for all children) (KiB): 125700
Max. memory (cumulated for all children) (KiB): 83044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.82
system time used= 29.2598
maximum resident set size= 83044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25269920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 277
involuntary context switches= 8481
# summary of solver processes directly reported to runsolver:
# pid: 129865
# total CPU time (s): 3600.08
# total CPU user time (s): 3570.82
# total CPU system time (s): 29.2598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2642 second user time and 39.7373 second system time
The end
Begin job on nodeC010 at 2024-07-24 00:14:13 IDJOB=4456781 IDBENCH=147586 IDSOLVER=3085 FILE ID=nodeC010/4456781-1721772853 RUNJOBID= nodeC010-1721765593-124355 SLURM_JOB_ID= 7770665 Free space on /tmp= 723732 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456781-1721772853/watcher-4456781-1721772853 -o /tmp/evaluation-result-4456781-1721772853/solver-4456781-1721772853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124355 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456781-1721772853 --lp-cut-gomory=0 HOME/instance-4456781-1721772853.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6 RANDOM SEED=2012132366 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3671.249 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3637.516 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.417 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.285 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3500.937 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.830 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.319 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.193 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 9747328 kB MemAvailable: 126178412 kB Buffers: 185380 kB Cached: 116689624 kB SwapCached: 0 kB Active: 1182168 kB Inactive: 119620884 kB Active(anon): 1656 kB Inactive(anon): 3972272 kB Active(file): 1180512 kB Inactive(file): 115648612 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 324248 kB Writeback: 184 kB AnonPages: 3927528 kB Mapped: 109136 kB Shmem: 45780 kB KReclaimable: 663704 kB Slab: 781084 kB SReclaimable: 663704 kB SUnreclaim: 117380 kB KernelStack: 4320 kB PageTables: 17244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 4876712 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18816 kB HardwareCorrupted: 0 kB AnonHugePages: 2664448 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: 357192 kB DirectMap2M: 46733312 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723760 MiB End job on nodeC010 at 2024-07-24 01:14:24