| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.04 | 3614.81 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/ MIPLIB01/dec/miplib2010/normalized-iis-100-0-cov.0.u.opb |
| MD5SUM | af9f746f4378befb3a20d04b26ba3b05 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1628.09 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 100 |
| Total number of constraints | 3832 |
| Number of constraints which are clauses | 3831 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 6 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 28 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 128 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.02 c #variables 100 #constraints 3832 0.00/0.08 c rational objective 16.6667 0.88/0.95 c #Conflicts: 1000 | #Constraints: 4837 0.88/0.95 c #Conflicts: 2000 | #Constraints: 5848 0.88/0.95 c INPROCESSING 0.88/0.95 c GARBAGE COLLECT 0.88/0.95 c #Conflicts: 3000 | #Constraints: 5858 0.88/0.95 c #Conflicts: 4000 | #Constraints: 6872 0.88/0.95 c INPROCESSING 0.88/0.95 c GARBAGE COLLECT 0.88/0.95 c rational objective 16.6667 1.48/1.55 c #Conflicts: 5000 | #Constraints: 6264 1.48/1.55 c #Conflicts: 6000 | #Constraints: 7281 1.48/1.55 c INPROCESSING 1.48/1.55 c GARBAGE COLLECT 1.48/1.55 c rational objective 16.6667 2.18/2.23 c #Conflicts: 7000 | #Constraints: 6266 2.18/2.23 c #Conflicts: 8000 | #Constraints: 7281 2.18/2.23 c #Conflicts: 9000 | #Constraints: 8295 2.18/2.23 c INPROCESSING 2.18/2.23 c GARBAGE COLLECT 2.18/2.23 c rational objective 16.6667 2.87/3.00 c #Conflicts: 10000 | #Constraints: 6974 2.87/3.00 c #Conflicts: 11000 | #Constraints: 7991 2.87/3.00 c #Conflicts: 12000 | #Constraints: 9000 2.87/3.00 c INPROCESSING 2.87/3.00 c GARBAGE COLLECT 2.87/3.00 c rational objective 16.6667 3.77/3.81 c #Conflicts: 13000 | #Constraints: 7428 3.77/3.81 c #Conflicts: 14000 | #Constraints: 8439 3.77/3.81 c #Conflicts: 15000 | #Constraints: 9458 3.77/3.81 c INPROCESSING 3.77/3.81 c GARBAGE COLLECT 3.77/3.81 c rational objective 16.6667 4.77/4.82 c #Conflicts: 16000 | #Constraints: 7669 4.77/4.82 c #Conflicts: 17000 | #Constraints: 8684 4.77/4.82 c #Conflicts: 18000 | #Constraints: 9703 4.77/4.82 c INPROCESSING 4.77/4.82 c GARBAGE COLLECT 4.77/4.82 c rational objective 16.6667 5.76/5.80 c #Conflicts: 19000 | #Constraints: 7685 5.76/5.80 c #Conflicts: 20000 | #Constraints: 8696 5.76/5.80 c #Conflicts: 21000 | #Constraints: 9712 5.76/5.80 c INPROCESSING 5.76/5.80 c GARBAGE COLLECT 5.76/5.80 c rational objective 16.6667 6.76/6.82 c #Conflicts: 22000 | #Constraints: 7482 6.76/6.82 c #Conflicts: 23000 | #Constraints: 8495 6.76/6.82 c #Conflicts: 24000 | #Constraints: 9510 6.76/6.82 c #Conflicts: 25000 | #Constraints: 10525 6.76/6.82 c INPROCESSING 6.76/6.82 c GARBAGE COLLECT 6.76/6.82 c rational objective 16.6667 7.86/7.93 c #Conflicts: 26000 | #Constraints: 8094 7.86/7.93 c #Conflicts: 27000 | #Constraints: 9110 7.86/7.93 c #Conflicts: 28000 | #Constraints: 10123 7.86/7.93 c #Conflicts: 29000 | #Constraints: 11139 7.86/7.93 c INPROCESSING 7.86/7.93 c GARBAGE COLLECT 7.86/7.93 c rational objective 16.6667 9.06/9.16 c #Conflicts: 30000 | #Constraints: 8503 9.06/9.16 c #Conflicts: 31000 | #Constraints: 9518 9.06/9.16 c #Conflicts: 32000 | #Constraints: 10531 9.06/9.16 c #Conflicts: 33000 | #Constraints: 11541 9.06/9.16 c INPROCESSING 9.06/9.16 c GARBAGE COLLECT 9.06/9.16 c rational objective 16.6667 10.45/10.57 c #Conflicts: 34000 | #Constraints: 8699 10.45/10.57 c #Conflicts: 35000 | #Constraints: 9715 10.45/10.57 c #Conflicts: 36000 | #Constraints: 10731 10.45/10.57 c #Conflicts: 37000 | #Constraints: 11751 10.45/10.57 c INPROCESSING 10.45/10.57 c GARBAGE COLLECT 10.45/10.57 c rational objective 16.6667 12.04/12.13 c #Conflicts: 38000 | #Constraints: 8709 12.04/12.13 c #Conflicts: 39000 | #Constraints: 9727 12.04/12.13 c #Conflicts: 40000 | #Constraints: 10745 12.04/12.13 c #Conflicts: 41000 | #Constraints: 11761 12.04/12.13 c INPROCESSING 12.04/12.13 c GARBAGE COLLECT 12.04/12.13 c rational objective 16.6667 13.74/13.84 c #Conflicts: 42000 | #Constraints: 8510 13.74/13.84 c #Conflicts: 43000 | #Constraints: 9523 13.74/13.84 c #Conflicts: 44000 | #Constraints: 10539 13.74/13.84 c #Conflicts: 45000 | #Constraints: 11555 13.74/13.84 c #Conflicts: 46000 | #Constraints: 12567 13.74/13.84 c INPROCESSING 13.74/13.84 c GARBAGE COLLECT 13.74/13.84 c rational objective 16.6667 15.33/15.46 c #Conflicts: 47000 | #Constraints: 9111 15.33/15.46 c #Conflicts: 48000 | #Constraints: 10125 15.33/15.46 c #Conflicts: 49000 | #Constraints: 11138 15.33/15.46 c #Conflicts: 50000 | #Constraints: 12154 15.33/15.46 c #Conflicts: 51000 | #Constraints: 13174 15.33/15.46 c INPROCESSING 15.33/15.46 c GARBAGE COLLECT 15.33/15.46 c rational objective 16.6667 17.12/17.25 c #Conflicts: 52000 | #Constraints: 9521 17.12/17.25 c #Conflicts: 53000 | #Constraints: 10538 17.12/17.25 c #Conflicts: 54000 | #Constraints: 11550 17.12/17.25 c #Conflicts: 55000 | #Constraints: 12558 17.12/17.25 c #Conflicts: 56000 | #Constraints: 13571 17.12/17.25 c INPROCESSING 17.12/17.25 c GARBAGE COLLECT 17.12/17.25 c rational objective 16.6667 19.02/19.19 c #Conflicts: 57000 | #Constraints: 9713 19.02/19.19 c #Conflicts: 58000 | #Constraints: 10726 19.02/19.19 c #Conflicts: 59000 | #Constraints: 11742 19.02/19.19 c #Conflicts: 60000 | #Constraints: 12756 19.02/19.19 c #Conflicts: 61000 | #Constraints: 13769 19.02/19.19 c INPROCESSING 19.02/19.19 c GARBAGE COLLECT 19.02/19.19 c rational objective 16.6667 21.01/21.15 c #Conflicts: 62000 | #Constraints: 9716 21.01/21.15 c #Conflicts: 63000 | #Constraints: 10735 21.01/21.15 c #Conflicts: 64000 | #Constraints: 11751 21.01/21.15 c #Conflicts: 65000 | #Constraints: 12762 21.01/21.15 c #Conflicts: 66000 | #Constraints: 13775 21.01/21.15 c INPROCESSING 21.01/21.15 c GARBAGE COLLECT 21.01/21.15 c rational objective 16.6667 23.20/23.37 c #Conflicts: 67000 | #Constraints: 9514 23.20/23.37 c #Conflicts: 68000 | #Constraints: 10525 23.20/23.37 c #Conflicts: 69000 | #Constraints: 11536 23.20/23.37 c #Conflicts: 70000 | #Constraints: 12552 23.20/23.37 c #Conflicts: 71000 | #Constraints: 13565 23.20/23.37 c #Conflicts: 72000 | #Constraints: 14579 23.20/23.37 c INPROCESSING 23.20/23.37 c GARBAGE COLLECT 23.20/23.37 c rational objective 16.6667 25.38/25.55 c #Conflicts: 73000 | #Constraints: 10117 25.38/25.55 c #Conflicts: 74000 | #Constraints: 11129 25.38/25.55 c #Conflicts: 75000 | #Constraints: 12144 25.38/25.55 c #Conflicts: 76000 | #Constraints: 13158 25.38/25.55 c #Conflicts: 77000 | #Constraints: 14172 25.38/25.55 c #Conflicts: 78000 | #Constraints: 15182 25.38/25.55 c INPROCESSING 25.38/25.55 c GARBAGE COLLECT 25.38/25.55 c rational objective 16.6667 28.08/28.27 c #Conflicts: 79000 | #Constraints: 10529 28.08/28.27 c #Conflicts: 80000 | #Constraints: 11545 28.08/28.27 c #Conflicts: 81000 | #Constraints: 12560 28.08/28.27 c #Conflicts: 82000 | #Constraints: 13570 28.08/28.27 c #Conflicts: 83000 | #Constraints: 14585 28.08/28.27 c #Conflicts: 84000 | #Constraints: 15604 28.08/28.27 c INPROCESSING 28.08/28.27 c GARBAGE COLLECT 28.08/28.27 c rational objective 16.6667 31.06/31.25 c #Conflicts: 85000 | #Constraints: 10735 31.06/31.25 c #Conflicts: 86000 | #Constraints: 11751 31.06/31.25 c #Conflicts: 87000 | #Constraints: 12766 31.06/31.25 c #Conflicts: 88000 | #Constraints: 13786 31.06/31.25 c #Conflicts: 89000 | #Constraints: 14803 31.06/31.25 c #Conflicts: 90000 | #Constraints: 15817 31.06/31.25 c INPROCESSING 31.06/31.25 c GARBAGE COLLECT 31.06/31.25 c rational objective 16.6667 34.64/34.85 c #Conflicts: 91000 | #Constraints: 10744 34.64/34.85 c #Conflicts: 92000 | #Constraints: 11763 34.64/34.85 c #Conflicts: 93000 | #Constraints: 12778 34.64/34.85 c #Conflicts: 94000 | #Constraints: 13791 34.64/34.85 c #Conflicts: 95000 | #Constraints: 14803 34.64/34.85 c #Conflicts: 96000 | #Constraints: 15814 34.64/34.85 c INPROCESSING 34.64/34.85 c GARBAGE COLLECT 34.64/34.85 c rational objective 16.6667 37.53/37.74 c #Conflicts: 97000 | #Constraints: 10541 37.53/37.74 c #Conflicts: 98000 | #Constraints: 11558 37.53/37.74 c #Conflicts: 99000 | #Constraints: 12578 37.53/37.74 c #Conflicts: 100000 | #Constraints: 13598 37.53/37.74 c #Conflicts: 101000 | #Constraints: 14613 37.53/37.74 c #Conflicts: 102000 | #Constraints: 15631 37.53/37.74 c #Conflicts: 103000 | #Constraints: 16650 37.53/37.74 c INPROCESSING 37.53/37.74 c GARBAGE COLLECT 37.53/37.74 c rational objective 16.6667 40.51/40.73 c #Conflicts: 104000 | #Constraints: 11155 40.51/40.73 c #Conflicts: 105000 | #Constraints: 12170 40.51/40.73 c #Conflicts: 106000 | #Constraints: 13185 40.51/40.73 c #Conflicts: 107000 | #Constraints: 14197 40.51/40.73 c #Conflicts: 108000 | #Constraints: 15207 40.51/40.73 c #Conflicts: 109000 | #Constraints: 16223 40.51/40.73 c #Conflicts: 110000 | #Constraints: 17241 40.51/40.73 c INPROCESSING 40.51/40.73 c GARBAGE COLLECT 40.51/40.73 c rational objective 16.6667 43.50/43.77 c #Conflicts: 111000 | #Constraints: 11553 43.50/43.77 c #Conflicts: 112000 | #Constraints: 12567 43.50/43.77 c #Conflicts: 113000 | #Constraints: 13584 43.50/43.77 c #Conflicts: 114000 | #Constraints: 14598 43.50/43.77 c #Conflicts: 115000 | #Constraints: 15608 43.50/43.77 c #Conflicts: 116000 | #Constraints: 16621 43.50/43.77 c #Conflicts: 117000 | #Constraints: 17641 43.50/43.77 c INPROCESSING 43.50/43.77 c GARBAGE COLLECT 43.50/43.77 c rational objective 16.6667 46.79/47.09 c #Conflicts: 118000 | #Constraints: 11751 46.79/47.09 c #Conflicts: 119000 | #Constraints: 12765 46.79/47.09 c #Conflicts: 120000 | #Constraints: 13785 46.79/47.09 c #Conflicts: 121000 | #Constraints: 14804 46.79/47.09 c #Conflicts: 122000 | #Constraints: 15819 46.79/47.09 c #Conflicts: 123000 | #Constraints: 16832 46.79/47.09 c #Conflicts: 124000 | #Constraints: 17844 46.79/47.09 c INPROCESSING 46.79/47.09 c GARBAGE COLLECT 46.79/47.09 c rational objective 16.6667 50.37/50.60 c #Conflicts: 125000 | #Constraints: 11752 50.37/50.60 c #Conflicts: 126000 | #Constraints: 12765 50.37/50.60 c #Conflicts: 127000 | #Constraints: 13777 50.37/50.60 c #Conflicts: 128000 | #Constraints: 14792 50.37/50.60 c #Conflicts: 129000 | #Constraints: 15811 50.37/50.60 c #Conflicts: 130000 | #Constraints: 16830 50.37/50.60 c #Conflicts: 131000 | #Constraints: 17844 50.37/50.60 c INPROCESSING 50.37/50.60 c GARBAGE COLLECT 50.37/50.60 c rational objective 16.6667 53.86/54.16 c #Conflicts: 132000 | #Constraints: 11546 53.86/54.16 c #Conflicts: 133000 | #Constraints: 12558 53.86/54.16 c #Conflicts: 134000 | #Constraints: 13567 53.86/54.16 c #Conflicts: 135000 | #Constraints: 14581 53.86/54.16 c #Conflicts: 136000 | #Constraints: 15604 53.86/54.16 c #Conflicts: 137000 | #Constraints: 16626 53.86/54.16 c #Conflicts: 138000 | #Constraints: 17640 53.86/54.16 c #Conflicts: 139000 | #Constraints: 18659 53.86/54.16 c INPROCESSING 53.86/54.16 c GARBAGE COLLECT 53.86/54.16 c rational objective 16.6667 58.04/58.33 c #Conflicts: 140000 | #Constraints: 12167 58.04/58.33 c #Conflicts: 141000 | #Constraints: 13179 58.04/58.33 c #Conflicts: 142000 | #Constraints: 14192 58.04/58.33 c #Conflicts: 143000 | #Constraints: 15207 58.04/58.33 c #Conflicts: 144000 | #Constraints: 16224 58.04/58.33 c #Conflicts: 145000 | #Constraints: 17240 58.04/58.33 c #Conflicts: 146000 | #Constraints: 18258 58.04/58.33 c #Conflicts: 147000 | #Constraints: 19275 58.04/58.33 c INPROCESSING 58.04/58.33 c GARBAGE COLLECT 58.04/58.33 c rational objective 16.6667 61.82/62.13 c #Conflicts: 148000 | #Constraints: 12575 61.82/62.13 c #Conflicts: 149000 | #Constraints: 13587 61.82/62.13 c #Conflicts: 150000 | #Constraints: 14599 61.82/62.13 c #Conflicts: 151000 | #Constraints: 15612 61.82/62.13 c #Conflicts: 152000 | #Constraints: 16624 61.82/62.13 c #Conflicts: 153000 | #Constraints: 17633 61.82/62.13 c #Conflicts: 154000 | #Constraints: 18648 61.82/62.13 c #Conflicts: 155000 | #Constraints: 19666 61.82/62.13 c INPROCESSING 61.82/62.13 c GARBAGE COLLECT 61.82/62.13 c rational objective 16.6667 65.80/66.14 c #Conflicts: 156000 | #Constraints: 12763 65.80/66.14 c #Conflicts: 157000 | #Constraints: 13775 65.80/66.14 c #Conflicts: 158000 | #Constraints: 14785 65.80/66.14 c #Conflicts: 159000 | #Constraints: 15796 65.80/66.14 c #Conflicts: 160000 | #Constraints: 16805 65.80/66.14 c #Conflicts: 161000 | #Constraints: 17816 65.80/66.14 c #Conflicts: 162000 | #Constraints: 18834 65.80/66.14 c #Conflicts: 163000 | #Constraints: 19851 65.80/66.14 c INPROCESSING 65.80/66.14 c GARBAGE COLLECT 65.80/66.14 c rational objective 16.6667 69.98/70.35 c #Conflicts: 164000 | #Constraints: 12761 69.98/70.35 c #Conflicts: 165000 | #Constraints: 13778 69.98/70.35 c #Conflicts: 166000 | #Constraints: 14794 69.98/70.35 c #Conflicts: 167000 | #Constraints: 15808 69.98/70.35 c #Conflicts: 168000 | #Constraints: 16821 69.98/70.35 c #Conflicts: 169000 | #Constraints: 17835 69.98/70.35 c #Conflicts: 170000 | #Constraints: 18849 69.98/70.35 c #Conflicts: 171000 | #Constraints: 19862 69.98/70.35 c INPROCESSING 69.98/70.35 c GARBAGE COLLECT 69.98/70.35 c rational objective 16.6667 74.27/74.64 c #Conflicts: 172000 | #Constraints: 12557 74.27/74.64 c #Conflicts: 173000 | #Constraints: 13576 74.27/74.64 c #Conflicts: 174000 | #Constraints: 14594 74.27/74.64 c #Conflicts: 175000 | #Constraints: 15609 74.27/74.64 c #Conflicts: 176000 | #Constraints: 16619 74.27/74.64 c #Conflicts: 177000 | #Constraints: 17632 74.27/74.64 c #Conflicts: 178000 | #Constraints: 18644 74.27/74.64 c #Conflicts: 179000 | #Constraints: 19657 74.27/74.64 c #Conflicts: 180000 | #Constraints: 20668 74.27/74.64 c INPROCESSING 74.27/74.64 c GARBAGE COLLECT 74.27/74.64 c rational objective 16.6667 79.44/79.83 c #Conflicts: 181000 | #Constraints: 13162 79.44/79.83 c #Conflicts: 182000 | #Constraints: 14176 79.44/79.83 c #Conflicts: 183000 | #Constraints: 15188 79.44/79.83 c #Conflicts: 184000 | #Constraints: 16203 79.44/79.83 c #Conflicts: 185000 | #Constraints: 17216 79.44/79.83 c #Conflicts: 186000 | #Constraints: 18232 79.44/79.83 c #Conflicts: 187000 | #Constraints: 19249 79.44/79.83 c #Conflicts: 188000 | #Constraints: 20265 79.44/79.83 c #Conflicts: 189000 | #Constraints: 21279 79.44/79.83 c INPROCESSING 79.44/79.83 c GARBAGE COLLECT 79.44/79.83 c rational objective 16.6667 84.41/84.88 c #Conflicts: 190000 | #Constraints: 13576 84.41/84.88 c #Conflicts: 191000 | #Constraints: 14600 84.41/84.88 c #Conflicts: 192000 | #Constraints: 15616 84.41/84.88 c #Conflicts: 193000 | #Constraints: 16633 84.41/84.88 c #Conflicts: 194000 | #Constraints: 17653 84.41/84.88 c #Conflicts: 195000 | #Constraints: 18667 84.41/84.88 c #Conflicts: 196000 | #Constraints: 19684 84.41/84.88 c #Conflicts: 197000 | #Constraints: 20699 84.41/84.88 c #Conflicts: 198000 | #Constraints: 21715 84.41/84.88 c INPROCESSING 84.41/84.88 c GARBAGE COLLECT 84.41/84.88 c rational objective 16.6667 89.99/90.43 c #Conflicts: 199000 | #Constraints: 13796 89.99/90.43 c #Conflicts: 200000 | #Constraints: 14811 89.99/90.43 c #Conflicts: 201000 | #Constraints: 15827 89.99/90.43 c #Conflicts: 202000 | #Constraints: 16846 89.99/90.43 c #Conflicts: 203000 | #Constraints: 17859 89.99/90.43 c #Conflicts: 204000 | #Constraints: 18875 89.99/90.43 c #Conflicts: 205000 | #Constraints: 19893 89.99/90.43 c #Conflicts: 206000 | #Constraints: 20910 89.99/90.43 c #Conflicts: 207000 | #Constraints: 21927 89.99/90.43 c INPROCESSING 89.99/90.43 c GARBAGE COLLECT 89.99/90.43 c rational objective 16.6667 96.55/97.08 c #Conflicts: 208000 | #Constraints: 13799 96.55/97.08 c #Conflicts: 209000 | #Constraints: 14813 96.55/97.08 c #Conflicts: 210000 | #Constraints: 15825 96.55/97.08 c #Conflicts: 211000 | #Constraints: 16837 96.55/97.08 c #Conflicts: 212000 | #Constraints: 17852 96.55/97.08 c #Conflicts: 213000 | #Constraints: 18867 96.55/97.08 c #Conflicts: 214000 | #Constraints: 19880 96.55/97.08 c #Conflicts: 215000 | #Constraints: 20894 96.55/97.08 c #Conflicts: 216000 | #Constraints: 21909 96.55/97.08 c INPROCESSING 96.55/97.08 c GARBAGE COLLECT 96.55/97.08 c rational objective 16.6667 102.42/102.93 c #Conflicts: 217000 | #Constraints: 13590 102.42/102.93 c #Conflicts: 218000 | #Constraints: 14606 102.42/102.93 c #Conflicts: 219000 | #Constraints: 15624 102.42/102.93 c #Conflicts: 220000 | #Constraints: 16639 102.42/102.93 c #Conflicts: 221000 | #Constraints: 17654 102.42/102.93 c #Conflicts: 222000 | #Constraints: 18666 102.42/102.93 c #Conflicts: 223000 | #Constraints: 19680 102.42/102.93 c #Conflicts: 224000 | #Constraints: 20701 102.42/102.93 c #Conflicts: 225000 | #Constraints: 21719 102.42/102.93 c #Conflicts: 226000 | #Constraints: 22733 102.42/102.93 c INPROCESSING 102.42/102.93 c GARBAGE COLLECT 102.42/102.93 c rational objective 16.6667 107.89/108.47 c #Conflicts: 227000 | #Constraints: 14199 107.89/108.47 c #Conflicts: 228000 | #Constraints: 15214 107.89/108.47 c #Conflicts: 229000 | #Constraints: 16233 107.89/108.47 c #Conflicts: 230000 | #Constraints: 17250 107.89/108.47 c #Conflicts: 231000 | #Constraints: 18262 107.89/108.47 c #Conflicts: 232000 | #Constraints: 19271 107.89/108.47 c #Conflicts: 233000 | #Constraints: 20282 107.89/108.47 c #Conflicts: 234000 | #Constraints: 21295 107.89/108.47 c #Conflicts: 235000 | #Constraints: 22309 107.89/108.47 c #Conflicts: 236000 | #Constraints: 23324 107.89/108.47 c INPROCESSING 107.89/108.47 c GARBAGE COLLECT 107.89/108.47 c rational objective 16.6667 113.87/114.41 c #Conflicts: 237000 | #Constraints: 14592 113.87/114.41 c #Conflicts: 238000 | #Constraints: 15608 113.87/114.41 c #Conflicts: 239000 | #Constraints: 16626 113.87/114.41 c #Conflicts: 240000 | #Constraints: 17639 113.87/114.41 c #Conflicts: 241000 | #Constraints: 18652 113.87/114.41 c #Conflicts: 242000 | #Constraints: 19668 113.87/114.41 c #Conflicts: 243000 | #Constraints: 20683 113.87/114.41 c #Conflicts: 244000 | #Constraints: 21697 113.87/114.41 c #Conflicts: 245000 | #Constraints: 22713 113.87/114.41 c #Conflicts: 246000 | #Constraints: 23730 113.87/114.41 c INPROCESSING 113.87/114.41 c GARBAGE COLLECT 113.87/114.41 c rational objective 16.6667 119.94/120.57 c #Conflicts: 247000 | #Constraints: 14800 119.94/120.57 c #Conflicts: 248000 | #Constraints: 15815 119.94/120.57 c #Conflicts: 249000 | #Constraints: 16830 119.94/120.57 c #Conflicts: 250000 | #Constraints: 17845 119.94/120.57 c #Conflicts: 251000 | #Constraints: 18858 119.94/120.57 c #Conflicts: 252000 | #Constraints: 19867 119.94/120.57 c #Conflicts: 253000 | #Constraints: 20882 119.94/120.57 c #Conflicts: 254000 | #Constraints: 21896 119.94/120.57 c #Conflicts: 255000 | #Constraints: 22911 119.94/120.57 c #Conflicts: 256000 | #Constraints: 23925 119.94/120.57 c INPROCESSING 119.94/120.57 c GARBAGE COLLECT 119.94/120.57 c rational objective 16.6667 126.10/126.75 c #Conflicts: 257000 | #Constraints: 14793 126.10/126.75 c #Conflicts: 258000 | #Constraints: 15808 126.10/126.75 c #Conflicts: 259000 | #Constraints: 16823 126.10/126.75 c #Conflicts: 260000 | #Constraints: 17834 126.10/126.75 c #Conflicts: 261000 | #Constraints: 18849 126.10/126.75 c #Conflicts: 262000 | #Constraints: 19864 126.10/126.75 c #Conflicts: 263000 | #Constraints: 20876 126.10/126.75 c #Conflicts: 264000 | #Constraints: 21889 126.10/126.75 c #Conflicts: 265000 | #Constraints: 22903 126.10/126.75 c #Conflicts: 266000 | #Constraints: 23916 126.10/126.75 c INPROCESSING 126.10/126.75 c GARBAGE COLLECT 126.10/126.75 c rational objective 16.6667 132.67/133.39 c #Conflicts: 267000 | #Constraints: 14588 132.67/133.39 c #Conflicts: 268000 | #Constraints: 15606 132.67/133.39 c #Conflicts: 269000 | #Constraints: 16621 132.67/133.39 c #Conflicts: 270000 | #Constraints: 17638 132.67/133.39 c #Conflicts: 271000 | #Constraints: 18654 132.67/133.39 c #Conflicts: 272000 | #Constraints: 19670 132.67/133.39 c #Conflicts: 273000 | #Constraints: 20688 132.67/133.39 c #Conflicts: 274000 | #Constraints: 21699 132.67/133.39 c #Conflicts: 275000 | #Constraints: 22713 132.67/133.39 c #Conflicts: 276000 | #Constraints: 23725 132.67/133.39 c #Conflicts: 277000 | #Constraints: 24738 132.67/133.39 c INPROCESSING 132.67/133.39 c GARBAGE COLLECT 132.67/133.39 c rational objective 16.6667 139.25/139.99 c #Conflicts: 278000 | #Constraints: 15197 139.25/139.99 c #Conflicts: 279000 | #Constraints: 16215 139.25/139.99 c #Conflicts: 280000 | #Constraints: 17229 139.25/139.99 c #Conflicts: 281000 | #Constraints: 18242 139.25/139.99 c #Conflicts: 282000 | #Constraints: 19257 139.25/139.99 c #Conflicts: 283000 | #Constraints: 20271 139.25/139.99 c #Conflicts: 284000 | #Constraints: 21281 139.25/139.99 c #Conflicts: 285000 | #Constraints: 22295 139.25/139.99 c #Conflicts: 286000 | #Constraints: 23303 139.25/139.99 c #Conflicts: 287000 | #Constraints: 24316 139.25/139.99 c #Conflicts: 288000 | #Constraints: 25331 139.25/139.99 c INPROCESSING 139.25/139.99 c GARBAGE COLLECT 139.25/139.99 c rational objective 16.6667 145.91/146.69 c #Conflicts: 289000 | #Constraints: 15596 145.91/146.69 c #Conflicts: 290000 | #Constraints: 16611 145.91/146.69 c #Conflicts: 291000 | #Constraints: 17629 145.91/146.69 c #Conflicts: 292000 | #Constraints: 18646 145.91/146.69 c #Conflicts: 293000 | #Constraints: 19660 145.91/146.69 c #Conflicts: 294000 | #Constraints: 20672 145.91/146.69 c #Conflicts: 295000 | #Constraints: 21688 145.91/146.69 c #Conflicts: 296000 | #Constraints: 22701 145.91/146.69 c #Conflicts: 297000 | #Constraints: 23712 145.91/146.69 c #Conflicts: 298000 | #Constraints: 24728 145.91/146.69 c #Conflicts: 299000 | #Constraints: 25744 145.91/146.69 c INPROCESSING 145.91/146.69 c GARBAGE COLLECT 145.91/146.69 c rational objective 16.6667 153.16/153.90 c #Conflicts: 300000 | #Constraints: 15804 153.16/153.90 c #Conflicts: 301000 | #Constraints: 16825 153.16/153.90 c #Conflicts: 302000 | #Constraints: 17841 153.16/153.90 c #Conflicts: 303000 | #Constraints: 18857 153.16/153.90 c #Conflicts: 304000 | #Constraints: 19871 153.16/153.90 c #Conflicts: 305000 | #Constraints: 20885 153.16/153.90 c #Conflicts: 306000 | #Constraints: 21903 153.16/153.90 c #Conflicts: 307000 | #Constraints: 22913 153.16/153.90 c #Conflicts: 308000 | #Constraints: 23924 153.16/153.90 c #Conflicts: 309000 | #Constraints: 24944 153.16/153.90 c #Conflicts: 310000 | #Constraints: 25960 153.16/153.90 c INPROCESSING 153.16/153.90 c GARBAGE COLLECT 153.16/153.90 c rational objective 16.6667 160.64/161.45 c #Conflicts: 311000 | #Constraints: 15812 160.64/161.45 c #Conflicts: 312000 | #Constraints: 16832 160.64/161.45 c #Conflicts: 313000 | #Constraints: 17848 160.64/161.45 c #Conflicts: 314000 | #Constraints: 18866 160.64/161.45 c #Conflicts: 315000 | #Constraints: 19886 160.64/161.45 c #Conflicts: 316000 | #Constraints: 20906 160.64/161.45 c #Conflicts: 317000 | #Constraints: 21922 160.64/161.45 c #Conflicts: 318000 | #Constraints: 22936 160.64/161.45 c #Conflicts: 319000 | #Constraints: 23952 160.64/161.45 c #Conflicts: 320000 | #Constraints: 24965 160.64/161.45 c #Conflicts: 321000 | #Constraints: 25982 160.64/161.45 c INPROCESSING 160.64/161.45 c GARBAGE COLLECT 160.64/161.45 c rational objective 16.6667 170.10/170.93 c #Conflicts: 322000 | #Constraints: 15622 170.10/170.93 c #Conflicts: 323000 | #Constraints: 16636 170.10/170.93 c #Conflicts: 324000 | #Constraints: 17651 170.10/170.93 c #Conflicts: 325000 | #Constraints: 18667 170.10/170.93 c #Conflicts: 326000 | #Constraints: 19684 170.10/170.93 c #Conflicts: 327000 | #Constraints: 20701 170.10/170.93 c #Conflicts: 328000 | #Constraints: 21716 170.10/170.93 c #Conflicts: 329000 | #Constraints: 22728 170.10/170.93 c #Conflicts: 330000 | #Constraints: 23741 170.10/170.93 c #Conflicts: 331000 | #Constraints: 24755 170.10/170.93 c #Conflicts: 332000 | #Constraints: 25769 170.10/170.93 c #Conflicts: 333000 | #Constraints: 26784 170.10/170.93 c INPROCESSING 170.10/170.93 c GARBAGE COLLECT 170.10/170.93 c rational objective 16.6667 177.95/178.87 c #Conflicts: 334000 | #Constraints: 16221 177.95/178.87 c #Conflicts: 335000 | #Constraints: 17233 177.95/178.87 c #Conflicts: 336000 | #Constraints: 18252 177.95/178.87 c #Conflicts: 337000 | #Constraints: 19264 177.95/178.87 c #Conflicts: 338000 | #Constraints: 20277 177.95/178.87 c #Conflicts: 339000 | #Constraints: 21288 177.95/178.87 c #Conflicts: 340000 | #Constraints: 22304 177.95/178.87 c #Conflicts: 341000 | #Constraints: 23318 177.95/178.87 c #Conflicts: 342000 | #Constraints: 24328 177.95/178.87 c #Conflicts: 343000 | #Constraints: 25340 177.95/178.87 c #Conflicts: 344000 | #Constraints: 26356 177.95/178.87 c #Conflicts: 345000 | #Constraints: 27371 177.95/178.87 c INPROCESSING 177.95/178.87 c GARBAGE COLLECT 177.95/178.87 c rational objective 16.6667 186.22/187.14 c #Conflicts: 346000 | #Constraints: 16612 186.22/187.14 c #Conflicts: 347000 | #Constraints: 17625 186.22/187.14 c #Conflicts: 348000 | #Constraints: 18642 186.22/187.14 c #Conflicts: 349000 | #Constraints: 19657 186.22/187.14 c #Conflicts: 350000 | #Constraints: 20674 186.22/187.14 c #Conflicts: 351000 | #Constraints: 21689 186.22/187.14 c #Conflicts: 352000 | #Constraints: 22706 186.22/187.14 c #Conflicts: 353000 | #Constraints: 23717 186.22/187.14 c #Conflicts: 354000 | #Constraints: 24731 186.22/187.14 c #Conflicts: 355000 | #Constraints: 25748 186.22/187.14 c #Conflicts: 356000 | #Constraints: 26762 186.22/187.14 c #Conflicts: 357000 | #Constraints: 27778 186.22/187.14 c INPROCESSING 186.22/187.14 c GARBAGE COLLECT 186.22/187.14 c rational objective 16.6667 194.37/195.37 c #Conflicts: 358000 | #Constraints: 16818 194.37/195.37 c #Conflicts: 359000 | #Constraints: 17833 194.37/195.37 c #Conflicts: 360000 | #Constraints: 18847 194.37/195.37 c #Conflicts: 361000 | #Constraints: 19863 194.37/195.37 c #Conflicts: 362000 | #Constraints: 20874 194.37/195.37 c #Conflicts: 363000 | #Constraints: 21888 194.37/195.37 c #Conflicts: 364000 | #Constraints: 22905 194.37/195.37 c #Conflicts: 365000 | #Constraints: 23917 194.37/195.37 c #Conflicts: 366000 | #Constraints: 24927 194.37/195.37 c #Conflicts: 367000 | #Constraints: 25943 194.37/195.37 c #Conflicts: 368000 | #Constraints: 26961 194.37/195.37 c #Conflicts: 369000 | #Constraints: 27976 194.37/195.37 c INPROCESSING 194.37/195.37 c GARBAGE COLLECT 194.37/195.37 c rational objective 16.6667 203.53/204.53 c #Conflicts: 370000 | #Constraints: 16822 203.53/204.53 c #Conflicts: 371000 | #Constraints: 17839 203.53/204.53 c #Conflicts: 372000 | #Constraints: 18855 203.53/204.53 c #Conflicts: 373000 | #Constraints: 19871 203.53/204.53 c #Conflicts: 374000 | #Constraints: 20887 203.53/204.53 c #Conflicts: 375000 | #Constraints: 21902 203.53/204.53 c #Conflicts: 376000 | #Constraints: 22921 203.53/204.53 c #Conflicts: 377000 | #Constraints: 23939 203.53/204.53 c #Conflicts: 378000 | #Constraints: 24955 203.53/204.53 c #Conflicts: 379000 | #Constraints: 25968 203.53/204.53 c #Conflicts: 380000 | #Constraints: 26983 203.53/204.53 c #Conflicts: 381000 | #Constraints: 28001 203.53/204.53 c INPROCESSING 203.53/204.53 c GARBAGE COLLECT 203.53/204.53 c rational objective 16.6667 212.59/213.61 c #Conflicts: 382000 | #Constraints: 16627 212.59/213.61 c #Conflicts: 383000 | #Constraints: 17636 212.59/213.61 c #Conflicts: 384000 | #Constraints: 18650 212.59/213.61 c #Conflicts: 385000 | #Constraints: 19669 212.59/213.61 c #Conflicts: 386000 | #Constraints: 20682 212.59/213.61 c #Conflicts: 387000 | #Constraints: 21689 212.59/213.61 c #Conflicts: 388000 | #Constraints: 22703 212.59/213.61 c #Conflicts: 389000 | #Constraints: 23718 212.59/213.61 c #Conflicts: 390000 | #Constraints: 24727 212.59/213.61 c #Conflicts: 391000 | #Constraints: 25740 212.59/213.61 c #Conflicts: 392000 | #Constraints: 26756 212.59/213.61 c #Conflicts: 393000 | #Constraints: 27772 212.59/213.61 c #Conflicts: 394000 | #Constraints: 28787 212.59/213.61 c INPROCESSING 212.59/213.61 c GARBAGE COLLECT 212.59/213.61 c rational objective 16.6667 221.95/223.07 c #Conflicts: 395000 | #Constraints: 17226 221.95/223.07 c #Conflicts: 396000 | #Constraints: 18242 221.95/223.07 c #Conflicts: 397000 | #Constraints: 19259 221.95/223.07 c #Conflicts: 398000 | #Constraints: 20271 221.95/223.07 c #Conflicts: 399000 | #Constraints: 21286 221.95/223.07 c #Conflicts: 400000 | #Constraints: 22302 221.95/223.07 c #Conflicts: 401000 | #Constraints: 23314 221.95/223.07 c #Conflicts: 402000 | #Constraints: 24329 221.95/223.07 c #Conflicts: 403000 | #Constraints: 25344 221.95/223.07 c #Conflicts: 404000 | #Constraints: 26361 221.95/223.07 c #Conflicts: 405000 | #Constraints: 27382 221.95/223.07 c #Conflicts: 406000 | #Constraints: 28393 221.95/223.07 c #Conflicts: 407000 | #Constraints: 29407 221.95/223.07 c INPROCESSING 221.95/223.07 c GARBAGE COLLECT 221.95/223.07 c rational objective 16.6667 231.81/232.91 c #Conflicts: 408000 | #Constraints: 17633 231.81/232.91 c #Conflicts: 409000 | #Constraints: 18646 231.81/232.91 c #Conflicts: 410000 | #Constraints: 19660 231.81/232.91 c #Conflicts: 411000 | #Constraints: 20673 231.81/232.91 c #Conflicts: 412000 | #Constraints: 21693 231.81/232.91 c #Conflicts: 413000 | #Constraints: 22710 231.81/232.91 c #Conflicts: 414000 | #Constraints: 23727 231.81/232.91 c #Conflicts: 415000 | #Constraints: 24741 231.81/232.91 c #Conflicts: 416000 | #Constraints: 25755 231.81/232.91 c #Conflicts: 417000 | #Constraints: 26770 231.81/232.91 c #Conflicts: 418000 | #Constraints: 27786 231.81/232.91 c #Conflicts: 419000 | #Constraints: 28802 231.81/232.91 c #Conflicts: 420000 | #Constraints: 29819 231.81/232.91 c INPROCESSING 231.81/232.91 c GARBAGE COLLECT 231.81/232.91 c rational objective 16.6667 242.66/243.89 c #Conflicts: 421000 | #Constraints: 17854 242.66/243.89 c #Conflicts: 422000 | #Constraints: 18870 242.66/243.89 c #Conflicts: 423000 | #Constraints: 19883 242.66/243.89 c #Conflicts: 424000 | #Constraints: 20899 242.66/243.89 c #Conflicts: 425000 | #Constraints: 21913 242.66/243.89 c #Conflicts: 426000 | #Constraints: 22932 242.66/243.89 c #Conflicts: 427000 | #Constraints: 23949 242.66/243.89 c #Conflicts: 428000 | #Constraints: 24964 242.66/243.89 c #Conflicts: 429000 | #Constraints: 25978 242.66/243.89 c #Conflicts: 430000 | #Constraints: 26994 242.66/243.89 c #Conflicts: 431000 | #Constraints: 28010 242.66/243.89 c #Conflicts: 432000 | #Constraints: 29024 242.66/243.89 c #Conflicts: 433000 | #Constraints: 30038 242.66/243.89 c INPROCESSING 242.66/243.89 c GARBAGE COLLECT 242.66/243.89 c rational objective 16.6667 253.40/254.68 c #Conflicts: 434000 | #Constraints: 17854 253.40/254.68 c #Conflicts: 435000 | #Constraints: 18872 253.40/254.68 c #Conflicts: 436000 | #Constraints: 19884 253.40/254.68 c #Conflicts: 437000 | #Constraints: 20900 253.40/254.68 c #Conflicts: 438000 | #Constraints: 21916 253.40/254.68 c #Conflicts: 439000 | #Constraints: 22935 253.40/254.68 c #Conflicts: 440000 | #Constraints: 23951 253.40/254.68 c #Conflicts: 441000 | #Constraints: 24969 253.40/254.68 c #Conflicts: 442000 | #Constraints: 25988 253.40/254.68 c #Conflicts: 443000 | #Constraints: 27006 253.40/254.68 c #Conflicts: 444000 | #Constraints: 28021 253.40/254.68 c #Conflicts: 445000 | #Constraints: 29038 253.40/254.68 c #Conflicts: 446000 | #Constraints: 30056 253.40/254.68 c INPROCESSING 253.40/254.68 c GARBAGE COLLECT 253.40/254.68 c rational objective 16.6667 266.04/267.32 c #Conflicts: 447000 | #Constraints: 17664 266.04/267.32 c #Conflicts: 448000 | #Constraints: 18682 266.04/267.32 c #Conflicts: 449000 | #Constraints: 19697 266.04/267.32 c #Conflicts: 450000 | #Constraints: 20712 266.04/267.32 c #Conflicts: 451000 | #Constraints: 21728 266.04/267.32 c #Conflicts: 452000 | #Constraints: 22744 266.04/267.32 c #Conflicts: 453000 | #Constraints: 23765 266.04/267.32 c #Conflicts: 454000 | #Constraints: 24779 266.04/267.32 c #Conflicts: 455000 | #Constraints: 25792 266.04/267.32 c #Conflicts: 456000 | #Constraints: 26808 266.04/267.32 c #Conflicts: 457000 | #Constraints: 27821 266.04/267.32 c #Conflicts: 458000 | #Constraints: 28837 266.04/267.32 c #Conflicts: 459000 | #Constraints: 29853 266.04/267.32 c #Conflicts: 460000 | #Constraints: 30869 266.04/267.32 c INPROCESSING 266.04/267.32 c GARBAGE COLLECT 266.04/267.32 c rational objective 16.6667 281.56/283.00 c #Conflicts: 461000 | #Constraints: 18272 281.56/283.00 c #Conflicts: 462000 | #Constraints: 19287 281.56/283.00 c #Conflicts: 463000 | #Constraints: 20302 281.56/283.00 c #Conflicts: 464000 | #Constraints: 21314 281.56/283.00 c #Conflicts: 465000 | #Constraints: 22329 281.56/283.00 c #Conflicts: 466000 | #Constraints: 23341 281.56/283.00 c #Conflicts: 467000 | #Constraints: 24351 281.56/283.00 c #Conflicts: 468000 | #Constraints: 25361 281.56/283.00 c #Conflicts: 469000 | #Constraints: 26371 281.56/283.00 c #Conflicts: 470000 | #Constraints: 27384 281.56/283.00 c #Conflicts: 471000 | #Constraints: 28393 281.56/283.00 c #Conflicts: 472000 | #Constraints: 29402 281.56/283.00 c #Conflicts: 473000 | #Constraints: 30414 281.56/283.00 c #Conflicts: 474000 | #Constraints: 31430 281.56/283.00 c INPROCESSING 281.56/283.00 c GARBAGE COLLECT 281.56/283.00 c rational objective 16.6667 296.20/297.63 c #Conflicts: 475000 | #Constraints: 18654 296.20/297.63 c #Conflicts: 476000 | #Constraints: 19671 296.20/297.63 c #Conflicts: 477000 | #Constraints: 20687 296.20/297.63 c #Conflicts: 478000 | #Constraints: 21702 296.20/297.63 c #Conflicts: 479000 | #Constraints: 22718 296.20/297.63 c #Conflicts: 480000 | #Constraints: 23734 296.20/297.63 c #Conflicts: 481000 | #Constraints: 24752 296.20/297.63 c #Conflicts: 482000 | #Constraints: 25770 296.20/297.63 c #Conflicts: 483000 | #Constraints: 26788 296.20/297.63 c #Conflicts: 484000 | #Constraints: 27804 296.20/297.63 c #Conflicts: 485000 | #Constraints: 28823 296.20/297.63 c #Conflicts: 486000 | #Constraints: 29837 296.20/297.63 c #Conflicts: 487000 | #Constraints: 30849 296.20/297.63 c #Conflicts: 488000 | #Constraints: 31864 296.20/297.63 c INPROCESSING 296.20/297.63 c GARBAGE COLLECT 296.20/297.63 c rational objective 16.6667 311.41/312.94 c #Conflicts: 489000 | #Constraints: 18867 311.41/312.94 c #Conflicts: 490000 | #Constraints: 19883 311.41/312.94 c #Conflicts: 491000 | #Constraints: 20901 311.41/312.94 c #Conflicts: 492000 | #Constraints: 21915 311.41/312.94 c #Conflicts: 493000 | #Constraints: 22927 311.41/312.94 c #Conflicts: 494000 | #Constraints: 23940 311.41/312.94 c #Conflicts: 495000 | #Constraints: 24954 311.41/312.94 c #Conflicts: 496000 | #Constraints: 25971 311.41/312.94 c #Conflicts: 497000 | #Constraints: 26986 311.41/312.94 c #Conflicts: 498000 | #Constraints: 27998 311.41/312.94 c #Conflicts: 499000 | #Constraints: 29012 311.41/312.94 c #Conflicts: 500000 | #Constraints: 30027 311.41/312.94 c #Conflicts: 501000 | #Constraints: 31039 311.41/312.94 c #Conflicts: 502000 | #Constraints: 32056 311.41/312.94 c INPROCESSING 311.41/312.94 c GARBAGE COLLECT 311.41/312.94 c rational objective 16.6667 324.16/325.78 c #Conflicts: 503000 | #Constraints: 18871 324.16/325.78 c #Conflicts: 504000 | #Constraints: 19886 324.16/325.78 c #Conflicts: 505000 | #Constraints: 20900 324.16/325.78 c #Conflicts: 506000 | #Constraints: 21916 324.16/325.78 c #Conflicts: 507000 | #Constraints: 22931 324.16/325.78 c #Conflicts: 508000 | #Constraints: 23947 324.16/325.78 c #Conflicts: 509000 | #Constraints: 24963 324.16/325.78 c #Conflicts: 510000 | #Constraints: 25981 324.16/325.78 c #Conflicts: 511000 | #Constraints: 26995 324.16/325.78 c #Conflicts: 512000 | #Constraints: 28009 324.16/325.78 c #Conflicts: 513000 | #Constraints: 29020 324.16/325.78 c #Conflicts: 514000 | #Constraints: 30026 324.16/325.78 c #Conflicts: 515000 | #Constraints: 31044 324.16/325.78 c #Conflicts: 516000 | #Constraints: 32061 324.16/325.78 c INPROCESSING 324.16/325.78 c GARBAGE COLLECT 324.16/325.78 c rational objective 16.6667 336.19/337.89 c #Conflicts: 517000 | #Constraints: 18658 336.19/337.89 c #Conflicts: 518000 | #Constraints: 19669 336.19/337.89 c #Conflicts: 519000 | #Constraints: 20687 336.19/337.89 c #Conflicts: 520000 | #Constraints: 21706 336.19/337.89 c #Conflicts: 521000 | #Constraints: 22719 336.19/337.89 c #Conflicts: 522000 | #Constraints: 23731 336.19/337.89 c #Conflicts: 523000 | #Constraints: 24744 336.19/337.89 c #Conflicts: 524000 | #Constraints: 25757 336.19/337.89 c #Conflicts: 525000 | #Constraints: 26772 336.19/337.89 c #Conflicts: 526000 | #Constraints: 27788 336.19/337.89 c #Conflicts: 527000 | #Constraints: 28805 336.19/337.89 c #Conflicts: 528000 | #Constraints: 29826 336.19/337.89 c #Conflicts: 529000 | #Constraints: 30848 336.19/337.89 c #Conflicts: 530000 | #Constraints: 31863 336.19/337.89 c #Conflicts: 531000 | #Constraints: 32882 336.19/337.89 c INPROCESSING 336.19/337.89 c GARBAGE COLLECT 336.19/337.89 c rational objective 16.6667 348.74/350.44 c #Conflicts: 532000 | #Constraints: 19276 348.74/350.44 c #Conflicts: 533000 | #Constraints: 20289 348.74/350.44 c #Conflicts: 534000 | #Constraints: 21301 348.74/350.44 c #Conflicts: 535000 | #Constraints: 22318 348.74/350.44 c #Conflicts: 536000 | #Constraints: 23327 348.74/350.44 c #Conflicts: 537000 | #Constraints: 24340 348.74/350.44 c #Conflicts: 538000 | #Constraints: 25356 348.74/350.44 c #Conflicts: 539000 | #Constraints: 26373 348.74/350.44 c #Conflicts: 540000 | #Constraints: 27384 348.74/350.44 c #Conflicts: 541000 | #Constraints: 28393 348.74/350.44 c #Conflicts: 542000 | #Constraints: 29404 348.74/350.44 c #Conflicts: 543000 | #Constraints: 30418 348.74/350.44 c #Conflicts: 544000 | #Constraints: 31427 348.74/350.44 c #Conflicts: 545000 | #Constraints: 32435 348.74/350.44 c #Conflicts: 546000 | #Constraints: 33454 348.74/350.44 c INPROCESSING 348.74/350.44 c GARBAGE COLLECT 348.74/350.44 c rational objective 16.6667 362.07/363.81 c #Conflicts: 547000 | #Constraints: 19662 362.07/363.81 c #Conflicts: 548000 | #Constraints: 20677 362.07/363.81 c #Conflicts: 549000 | #Constraints: 21697 362.07/363.81 c #Conflicts: 550000 | #Constraints: 22718 362.07/363.81 c #Conflicts: 551000 | #Constraints: 23737 362.07/363.81 c #Conflicts: 552000 | #Constraints: 24757 362.07/363.81 c #Conflicts: 553000 | #Constraints: 25779 362.07/363.81 c #Conflicts: 554000 | #Constraints: 26795 362.07/363.81 c #Conflicts: 555000 | #Constraints: 27817 362.07/363.81 c #Conflicts: 556000 | #Constraints: 28833 362.07/363.81 c #Conflicts: 557000 | #Constraints: 29849 362.07/363.81 c #Conflicts: 558000 | #Constraints: 30861 362.07/363.81 c #Conflicts: 559000 | #Constraints: 31874 362.07/363.81 c #Conflicts: 560000 | #Constraints: 32887 362.07/363.81 c #Conflicts: 561000 | #Constraints: 33902 362.07/363.81 c INPROCESSING 362.07/363.81 c GARBAGE COLLECT 362.07/363.81 c rational objective 16.6667 376.01/377.86 c #Conflicts: 562000 | #Constraints: 19880 376.01/377.86 c #Conflicts: 563000 | #Constraints: 20889 376.01/377.86 c #Conflicts: 564000 | #Constraints: 21906 376.01/377.86 c #Conflicts: 565000 | #Constraints: 22925 376.01/377.86 c #Conflicts: 566000 | #Constraints: 23940 376.01/377.86 c #Conflicts: 567000 | #Constraints: 24955 376.01/377.86 c #Conflicts: 568000 | #Constraints: 25970 376.01/377.86 c #Conflicts: 569000 | #Constraints: 26984 376.01/377.86 c #Conflicts: 570000 | #Constraints: 27997 376.01/377.86 c #Conflicts: 571000 | #Constraints: 29011 376.01/377.86 c #Conflicts: 572000 | #Constraints: 30027 376.01/377.86 c #Conflicts: 573000 | #Constraints: 31043 376.01/377.86 c #Conflicts: 574000 | #Constraints: 32058 376.01/377.86 c #Conflicts: 575000 | #Constraints: 33073 376.01/377.86 c #Conflicts: 576000 | #Constraints: 34089 376.01/377.86 c INPROCESSING 376.01/377.86 c GARBAGE COLLECT 376.01/377.86 c rational objective 16.6667 389.65/391.50 c #Conflicts: 577000 | #Constraints: 19875 389.65/391.50 c #Conflicts: 578000 | #Constraints: 20888 389.65/391.50 c #Conflicts: 579000 | #Constraints: 21901 389.65/391.50 c #Conflicts: 580000 | #Constraints: 22917 389.65/391.50 c #Conflicts: 581000 | #Constraints: 23932 389.65/391.50 c #Conflicts: 582000 | #Constraints: 24941 389.65/391.50 c #Conflicts: 583000 | #Constraints: 25960 389.65/391.50 c #Conflicts: 584000 | #Constraints: 26981 389.65/391.50 c #Conflicts: 585000 | #Constraints: 27992 389.65/391.50 c #Conflicts: 586000 | #Constraints: 29003 389.65/391.50 c #Conflicts: 587000 | #Constraints: 30013 389.65/391.50 c #Conflicts: 588000 | #Constraints: 31027 389.65/391.50 c #Conflicts: 589000 | #Constraints: 32040 389.65/391.50 c #Conflicts: 590000 | #Constraints: 33054 389.65/391.50 c #Conflicts: 591000 | #Constraints: 34073 389.65/391.50 c INPROCESSING 389.65/391.50 c GARBAGE COLLECT 389.65/391.50 c rational objective 16.6667 403.67/405.69 c #Conflicts: 592000 | #Constraints: 19669 403.67/405.69 c #Conflicts: 593000 | #Constraints: 20690 403.67/405.69 c #Conflicts: 594000 | #Constraints: 21704 403.67/405.69 c #Conflicts: 595000 | #Constraints: 22723 403.67/405.69 c #Conflicts: 596000 | #Constraints: 23738 403.67/405.69 c #Conflicts: 597000 | #Constraints: 24755 403.67/405.69 c #Conflicts: 598000 | #Constraints: 25772 403.67/405.69 c #Conflicts: 599000 | #Constraints: 26788 403.67/405.69 c #Conflicts: 600000 | #Constraints: 27808 403.67/405.69 c #Conflicts: 601000 | #Constraints: 28824 403.67/405.69 c #Conflicts: 602000 | #Constraints: 29839 403.67/405.69 c #Conflicts: 603000 | #Constraints: 30856 403.67/405.69 c #Conflicts: 604000 | #Constraints: 31871 403.67/405.69 c #Conflicts: 605000 | #Constraints: 32890 403.67/405.69 c #Conflicts: 606000 | #Constraints: 33907 403.67/405.69 c #Conflicts: 607000 | #Constraints: 34923 403.67/405.69 c INPROCESSING 403.67/405.69 c GARBAGE COLLECT 403.67/405.69 c rational objective 16.6667 419.20/421.27 c #Conflicts: 608000 | #Constraints: 20295 419.20/421.27 c #Conflicts: 609000 | #Constraints: 21310 419.20/421.27 c #Conflicts: 610000 | #Constraints: 22326 419.20/421.27 c #Conflicts: 611000 | #Constraints: 23345 419.20/421.27 c #Conflicts: 612000 | #Constraints: 24364 419.20/421.27 c #Conflicts: 613000 | #Constraints: 25378 419.20/421.27 c #Conflicts: 614000 | #Constraints: 26394 419.20/421.27 c #Conflicts: 615000 | #Constraints: 27408 419.20/421.27 c #Conflicts: 616000 | #Constraints: 28424 419.20/421.27 c #Conflicts: 617000 | #Constraints: 29432 419.20/421.27 c #Conflicts: 618000 | #Constraints: 30448 419.20/421.27 c #Conflicts: 619000 | #Constraints: 31460 419.20/421.27 c #Conflicts: 620000 | #Constraints: 32471 419.20/421.27 c #Conflicts: 621000 | #Constraints: 33486 419.20/421.27 c #Conflicts: 622000 | #Constraints: 34503 419.20/421.27 c #Conflicts: 623000 | #Constraints: 35518 419.20/421.27 c INPROCESSING 419.20/421.27 c GARBAGE COLLECT 419.20/421.27 c rational objective 16.6667 434.83/436.94 c #Conflicts: 624000 | #Constraints: 20685 434.83/436.94 c #Conflicts: 625000 | #Constraints: 21700 434.83/436.94 c #Conflicts: 626000 | #Constraints: 22715 434.83/436.94 c #Conflicts: 627000 | #Constraints: 23724 434.83/436.94 c #Conflicts: 628000 | #Constraints: 24739 434.83/436.94 c #Conflicts: 629000 | #Constraints: 25757 434.83/436.94 c #Conflicts: 630000 | #Constraints: 26770 434.83/436.94 c #Conflicts: 631000 | #Constraints: 27785 434.83/436.94 c #Conflicts: 632000 | #Constraints: 28800 434.83/436.94 c #Conflicts: 633000 | #Constraints: 29816 434.83/436.94 c #Conflicts: 634000 | #Constraints: 30826 434.83/436.94 c #Conflicts: 635000 | #Constraints: 31836 434.83/436.94 c #Conflicts: 636000 | #Constraints: 32847 434.83/436.94 c #Conflicts: 637000 | #Constraints: 33865 434.83/436.94 c #Conflicts: 638000 | #Constraints: 34876 434.83/436.94 c #Conflicts: 639000 | #Constraints: 35887 434.83/436.94 c INPROCESSING 434.83/436.94 c GARBAGE COLLECT 434.83/436.94 c rational objective 16.6667 450.65/452.83 c #Conflicts: 640000 | #Constraints: 20873 450.65/452.83 c #Conflicts: 641000 | #Constraints: 21891 450.65/452.83 c #Conflicts: 642000 | #Constraints: 22908 450.65/452.83 c #Conflicts: 643000 | #Constraints: 23918 450.65/452.83 c #Conflicts: 644000 | #Constraints: 24927 450.65/452.83 c #Conflicts: 645000 | #Constraints: 25945 450.65/452.83 c #Conflicts: 646000 | #Constraints: 26957 450.65/452.83 c #Conflicts: 647000 | #Constraints: 27971 450.65/452.83 c #Conflicts: 648000 | #Constraints: 28985 450.65/452.83 c #Conflicts: 649000 | #Constraints: 30000 450.65/452.83 c #Conflicts: 650000 | #Constraints: 31023 450.65/452.83 c #Conflicts: 651000 | #Constraints: 32044 450.65/452.83 c #Conflicts: 652000 | #Constraints: 33059 450.65/452.83 c #Conflicts: 653000 | #Constraints: 34078 450.65/452.83 c #Conflicts: 654000 | #Constraints: 35093 450.65/452.83 c #Conflicts: 655000 | #Constraints: 36108 450.65/452.83 c INPROCESSING 450.65/452.83 c GARBAGE COLLECT 450.65/452.83 c rational objective 16.6667 467.38/469.62 c #Conflicts: 656000 | #Constraints: 20885 467.38/469.62 c #Conflicts: 657000 | #Constraints: 21897 467.38/469.62 c #Conflicts: 658000 | #Constraints: 22913 467.38/469.62 c #Conflicts: 659000 | #Constraints: 23924 467.38/469.62 c #Conflicts: 660000 | #Constraints: 24936 467.38/469.62 c #Conflicts: 661000 | #Constraints: 25950 467.38/469.62 c #Conflicts: 662000 | #Constraints: 26961 467.38/469.62 c #Conflicts: 663000 | #Constraints: 27978 467.38/469.62 c #Conflicts: 664000 | #Constraints: 28991 467.38/469.62 c #Conflicts: 665000 | #Constraints: 30001 467.38/469.62 c #Conflicts: 666000 | #Constraints: 31018 467.38/469.62 c #Conflicts: 667000 | #Constraints: 32033 467.38/469.62 c #Conflicts: 668000 | #Constraints: 33045 467.38/469.62 c #Conflicts: 669000 | #Constraints: 34057 467.38/469.62 c #Conflicts: 670000 | #Constraints: 35066 467.38/469.62 c #Conflicts: 671000 | #Constraints: 36086 467.38/469.62 c INPROCESSING 467.38/469.62 c GARBAGE COLLECT 467.38/469.62 c rational objective 16.6667 484.60/486.95 c #Conflicts: 672000 | #Constraints: 20671 484.60/486.95 c #Conflicts: 673000 | #Constraints: 21680 484.60/486.95 c #Conflicts: 674000 | #Constraints: 22694 484.60/486.95 c #Conflicts: 675000 | #Constraints: 23707 484.60/486.95 c #Conflicts: 676000 | #Constraints: 24719 484.60/486.95 c #Conflicts: 677000 | #Constraints: 25735 484.60/486.95 c #Conflicts: 678000 | #Constraints: 26750 484.60/486.95 c #Conflicts: 679000 | #Constraints: 27764 484.60/486.95 c #Conflicts: 680000 | #Constraints: 28774 484.60/486.95 c #Conflicts: 681000 | #Constraints: 29786 484.60/486.95 c #Conflicts: 682000 | #Constraints: 30801 484.60/486.95 c #Conflicts: 683000 | #Constraints: 31815 484.60/486.95 c #Conflicts: 684000 | #Constraints: 32825 484.60/486.95 c #Conflicts: 685000 | #Constraints: 33834 484.60/486.95 c #Conflicts: 686000 | #Constraints: 34852 484.60/486.95 c #Conflicts: 687000 | #Constraints: 35867 484.60/486.95 c #Conflicts: 688000 | #Constraints: 36875 484.60/486.95 c INPROCESSING 484.60/486.95 c GARBAGE COLLECT 484.60/486.95 c rational objective 16.6667 501.63/504.08 c #Conflicts: 689000 | #Constraints: 21267 501.63/504.08 c #Conflicts: 690000 | #Constraints: 22278 501.63/504.08 c #Conflicts: 691000 | #Constraints: 23290 501.63/504.08 c #Conflicts: 692000 | #Constraints: 24300 501.63/504.08 c #Conflicts: 693000 | #Constraints: 25312 501.63/504.08 c #Conflicts: 694000 | #Constraints: 26326 501.63/504.08 c #Conflicts: 695000 | #Constraints: 27340 501.63/504.08 c #Conflicts: 696000 | #Constraints: 28354 501.63/504.08 c #Conflicts: 697000 | #Constraints: 29370 501.63/504.08 c #Conflicts: 698000 | #Constraints: 30381 501.63/504.08 c #Conflicts: 699000 | #Constraints: 31398 501.63/504.08 c #Conflicts: 700000 | #Constraints: 32412 501.63/504.08 c #Conflicts: 701000 | #Constraints: 33424 501.63/504.08 c #Conflicts: 702000 | #Constraints: 34436 501.63/504.08 c #Conflicts: 703000 | #Constraints: 35451 501.63/504.08 c #Conflicts: 704000 | #Constraints: 36464 501.63/504.08 c #Conflicts: 705000 | #Constraints: 37478 501.63/504.08 c INPROCESSING 501.63/504.08 c GARBAGE COLLECT 501.63/504.08 c rational objective 16.6667 524.21/526.75 c #Conflicts: 706000 | #Constraints: 21677 524.21/526.75 c #Conflicts: 707000 | #Constraints: 22691 524.21/526.75 c #Conflicts: 708000 | #Constraints: 23707 524.21/526.75 c #Conflicts: 709000 | #Constraints: 24718 524.21/526.75 c #Conflicts: 710000 | #Constraints: 25731 524.21/526.75 c #Conflicts: 711000 | #Constraints: 26743 524.21/526.75 c #Conflicts: 712000 | #Constraints: 27755 524.21/526.75 c #Conflicts: 713000 | #Constraints: 28771 524.21/526.75 c #Conflicts: 714000 | #Constraints: 29786 524.21/526.75 c #Conflicts: 715000 | #Constraints: 30799 524.21/526.75 c #Conflicts: 716000 | #Constraints: 31813 524.21/526.75 c #Conflicts: 717000 | #Constraints: 32823 524.21/526.75 c #Conflicts: 718000 | #Constraints: 33837 524.21/526.75 c #Conflicts: 719000 | #Constraints: 34854 524.21/526.75 c #Conflicts: 720000 | #Constraints: 35869 524.21/526.75 c #Conflicts: 721000 | #Constraints: 36887 524.21/526.75 c #Conflicts: 722000 | #Constraints: 37900 524.21/526.75 c INPROCESSING 524.21/526.75 c GARBAGE COLLECT 524.21/526.75 c rational objective 16.6667 544.41/547.08 c #Conflicts: 723000 | #Constraints: 21885 544.41/547.08 c #Conflicts: 724000 | #Constraints: 22899 544.41/547.08 c #Conflicts: 725000 | #Constraints: 23915 544.41/547.08 c #Conflicts: 726000 | #Constraints: 24927 544.41/547.08 c #Conflicts: 727000 | #Constraints: 25940 544.41/547.08 c #Conflicts: 728000 | #Constraints: 26956 544.41/547.08 c #Conflicts: 729000 | #Constraints: 27970 544.41/547.08 c #Conflicts: 730000 | #Constraints: 28983 544.41/547.08 c #Conflicts: 731000 | #Constraints: 30002 544.41/547.08 c #Conflicts: 732000 | #Constraints: 31017 544.41/547.08 c #Conflicts: 733000 | #Constraints: 32032 544.41/547.08 c #Conflicts: 734000 | #Constraints: 33046 544.41/547.08 c #Conflicts: 735000 | #Constraints: 34058 544.41/547.08 c #Conflicts: 736000 | #Constraints: 35074 544.41/547.08 c #Conflicts: 737000 | #Constraints: 36088 544.41/547.08 c #Conflicts: 738000 | #Constraints: 37097 544.41/547.08 c #Conflicts: 739000 | #Constraints: 38112 544.41/547.08 c INPROCESSING 544.41/547.08 c GARBAGE COLLECT 544.41/547.08 c rational objective 16.6667 562.33/565.00 c #Conflicts: 740000 | #Constraints: 21888 562.33/565.00 c #Conflicts: 741000 | #Constraints: 22905 562.33/565.00 c #Conflicts: 742000 | #Constraints: 23918 562.33/565.00 c #Conflicts: 743000 | #Constraints: 24936 562.33/565.00 c #Conflicts: 744000 | #Constraints: 25948 562.33/565.00 c #Conflicts: 745000 | #Constraints: 26959 562.33/565.00 c #Conflicts: 746000 | #Constraints: 27974 562.33/565.00 c #Conflicts: 747000 | #Constraints: 28987 562.33/565.00 c #Conflicts: 748000 | #Constraints: 29998 562.33/565.00 c #Conflicts: 749000 | #Constraints: 31010 562.33/565.00 c #Conflicts: 750000 | #Constraints: 32027 562.33/565.00 c #Conflicts: 751000 | #Constraints: 33041 562.33/565.00 c #Conflicts: 752000 | #Constraints: 34051 562.33/565.00 c #Conflicts: 753000 | #Constraints: 35064 562.33/565.00 c #Conflicts: 754000 | #Constraints: 36079 562.33/565.00 c #Conflicts: 755000 | #Constraints: 37087 562.33/565.00 c #Conflicts: 756000 | #Constraints: 38101 562.33/565.00 c INPROCESSING 562.33/565.00 c GARBAGE COLLECT 562.33/565.00 c rational objective 16.6667 580.04/582.82 c #Conflicts: 757000 | #Constraints: 21683 580.04/582.82 c #Conflicts: 758000 | #Constraints: 22695 580.04/582.82 c #Conflicts: 759000 | #Constraints: 23713 580.04/582.82 c #Conflicts: 760000 | #Constraints: 24734 580.04/582.82 c #Conflicts: 761000 | #Constraints: 25752 580.04/582.82 c #Conflicts: 762000 | #Constraints: 26771 580.04/582.82 c #Conflicts: 763000 | #Constraints: 27779 580.04/582.82 c #Conflicts: 764000 | #Constraints: 28787 580.04/582.82 c #Conflicts: 765000 | #Constraints: 29800 580.04/582.82 c #Conflicts: 766000 | #Constraints: 30817 580.04/582.82 c #Conflicts: 767000 | #Constraints: 31826 580.04/582.82 c #Conflicts: 768000 | #Constraints: 32839 580.04/582.82 c #Conflicts: 769000 | #Constraints: 33860 580.04/582.82 c #Conflicts: 770000 | #Constraints: 34878 580.04/582.82 c #Conflicts: 771000 | #Constraints: 35888 580.04/582.82 c #Conflicts: 772000 | #Constraints: 36897 580.04/582.82 c #Conflicts: 773000 | #Constraints: 37910 580.04/582.82 c #Conflicts: 774000 | #Constraints: 38923 580.04/582.82 c INPROCESSING 580.04/582.82 c GARBAGE COLLECT 580.04/582.82 c rational objective 16.6667 598.76/601.65 c #Conflicts: 775000 | #Constraints: 22287 598.76/601.65 c #Conflicts: 776000 | #Constraints: 23298 598.76/601.65 c #Conflicts: 777000 | #Constraints: 24316 598.76/601.65 c #Conflicts: 778000 | #Constraints: 25333 598.76/601.65 c #Conflicts: 779000 | #Constraints: 26348 598.76/601.65 c #Conflicts: 780000 | #Constraints: 27363 598.76/601.65 c #Conflicts: 781000 | #Constraints: 28379 598.76/601.65 c #Conflicts: 782000 | #Constraints: 29396 598.76/601.65 c #Conflicts: 783000 | #Constraints: 30416 598.76/601.65 c #Conflicts: 784000 | #Constraints: 31431 598.76/601.65 c #Conflicts: 785000 | #Constraints: 32449 598.76/601.65 c #Conflicts: 786000 | #Constraints: 33468 598.76/601.65 c #Conflicts: 787000 | #Constraints: 34484 598.76/601.65 c #Conflicts: 788000 | #Constraints: 35502 598.76/601.65 c #Conflicts: 789000 | #Constraints: 36515 598.76/601.65 c #Conflicts: 790000 | #Constraints: 37525 598.76/601.65 c #Conflicts: 791000 | #Constraints: 38539 598.76/601.65 c #Conflicts: 792000 | #Constraints: 39554 598.76/601.65 c INPROCESSING 598.76/601.65 c GARBAGE COLLECT 598.76/601.65 c rational objective 16.6667 618.37/621.37 c #Conflicts: 793000 | #Constraints: 22704 618.37/621.37 c #Conflicts: 794000 | #Constraints: 23714 618.37/621.37 c #Conflicts: 795000 | #Constraints: 24728 618.37/621.37 c #Conflicts: 796000 | #Constraints: 25743 618.37/621.37 c #Conflicts: 797000 | #Constraints: 26754 618.37/621.37 c #Conflicts: 798000 | #Constraints: 27765 618.37/621.37 c #Conflicts: 799000 | #Constraints: 28784 618.37/621.37 c #Conflicts: 800000 | #Constraints: 29795 618.37/621.37 c #Conflicts: 801000 | #Constraints: 30808 618.37/621.37 c #Conflicts: 802000 | #Constraints: 31820 618.37/621.37 c #Conflicts: 803000 | #Constraints: 32831 618.37/621.37 c #Conflicts: 804000 | #Constraints: 33849 618.37/621.37 c #Conflicts: 805000 | #Constraints: 34868 618.37/621.37 c #Conflicts: 806000 | #Constraints: 35886 618.37/621.37 c #Conflicts: 807000 | #Constraints: 36906 618.37/621.37 c #Conflicts: 808000 | #Constraints: 37923 618.37/621.37 c #Conflicts: 809000 | #Constraints: 38935 618.37/621.37 c #Conflicts: 810000 | #Constraints: 39949 618.37/621.37 c INPROCESSING 618.37/621.37 c GARBAGE COLLECT 618.37/621.37 c rational objective 16.6667 639.37/642.43 c #Conflicts: 811000 | #Constraints: 22905 639.37/642.43 c #Conflicts: 812000 | #Constraints: 23921 639.37/642.43 c #Conflicts: 813000 | #Constraints: 24934 639.37/642.43 c #Conflicts: 814000 | #Constraints: 25951 639.37/642.43 c #Conflicts: 815000 | #Constraints: 26967 639.37/642.43 c #Conflicts: 816000 | #Constraints: 27976 639.37/642.43 c #Conflicts: 817000 | #Constraints: 28988 639.37/642.43 c #Conflicts: 818000 | #Constraints: 29999 639.37/642.43 c #Conflicts: 819000 | #Constraints: 31015 639.37/642.43 c #Conflicts: 820000 | #Constraints: 32029 639.37/642.43 c #Conflicts: 821000 | #Constraints: 33040 639.37/642.43 c #Conflicts: 822000 | #Constraints: 34052 639.37/642.43 c #Conflicts: 823000 | #Constraints: 35068 639.37/642.43 c #Conflicts: 824000 | #Constraints: 36086 639.37/642.43 c #Conflicts: 825000 | #Constraints: 37099 639.37/642.43 c #Conflicts: 826000 | #Constraints: 38114 639.37/642.43 c #Conflicts: 827000 | #Constraints: 39134 639.37/642.43 c #Conflicts: 828000 | #Constraints: 40148 639.37/642.43 c INPROCESSING 639.37/642.43 c GARBAGE COLLECT 639.37/642.43 c rational objective 16.6667 662.27/665.42 c #Conflicts: 829000 | #Constraints: 22905 662.27/665.42 c #Conflicts: 830000 | #Constraints: 23920 662.27/665.42 c #Conflicts: 831000 | #Constraints: 24931 662.27/665.42 c #Conflicts: 832000 | #Constraints: 25943 662.27/665.42 c #Conflicts: 833000 | #Constraints: 26956 662.27/665.42 c #Conflicts: 834000 | #Constraints: 27970 662.27/665.42 c #Conflicts: 835000 | #Constraints: 28986 662.27/665.42 c #Conflicts: 836000 | #Constraints: 30000 662.27/665.42 c #Conflicts: 837000 | #Constraints: 31017 662.27/665.42 c #Conflicts: 838000 | #Constraints: 32033 662.27/665.42 c #Conflicts: 839000 | #Constraints: 33051 662.27/665.42 c #Conflicts: 840000 | #Constraints: 34065 662.27/665.42 c #Conflicts: 841000 | #Constraints: 35075 662.27/665.42 c #Conflicts: 842000 | #Constraints: 36088 662.27/665.42 c #Conflicts: 843000 | #Constraints: 37100 662.27/665.42 c #Conflicts: 844000 | #Constraints: 38115 662.27/665.42 c #Conflicts: 845000 | #Constraints: 39127 662.27/665.42 c #Conflicts: 846000 | #Constraints: 40141 662.27/665.42 c INPROCESSING 662.27/665.42 c GARBAGE COLLECT 662.27/665.42 c rational objective 16.6667 683.08/686.34 c #Conflicts: 847000 | #Constraints: 22700 683.08/686.34 c #Conflicts: 848000 | #Constraints: 23710 683.08/686.34 c #Conflicts: 849000 | #Constraints: 24725 683.08/686.34 c #Conflicts: 850000 | #Constraints: 25741 683.08/686.34 c #Conflicts: 851000 | #Constraints: 26750 683.08/686.34 c #Conflicts: 852000 | #Constraints: 27764 683.08/686.34 c #Conflicts: 853000 | #Constraints: 28779 683.08/686.34 c #Conflicts: 854000 | #Constraints: 29791 683.08/686.34 c #Conflicts: 855000 | #Constraints: 30807 683.08/686.34 c #Conflicts: 856000 | #Constraints: 31821 683.08/686.34 c #Conflicts: 857000 | #Constraints: 32838 683.08/686.34 c #Conflicts: 858000 | #Constraints: 33849 683.08/686.34 c #Conflicts: 859000 | #Constraints: 34862 683.08/686.34 c #Conflicts: 860000 | #Constraints: 35877 683.08/686.34 c #Conflicts: 861000 | #Constraints: 36892 683.08/686.34 c #Conflicts: 862000 | #Constraints: 37908 683.08/686.34 c #Conflicts: 863000 | #Constraints: 38927 683.08/686.34 c #Conflicts: 864000 | #Constraints: 39943 683.08/686.34 c #Conflicts: 865000 | #Constraints: 40956 683.08/686.34 c INPROCESSING 683.08/686.34 c GARBAGE COLLECT 683.08/686.34 c rational objective 16.6667 704.18/707.58 c #Conflicts: 866000 | #Constraints: 23309 704.18/707.58 c #Conflicts: 867000 | #Constraints: 24317 704.18/707.58 c #Conflicts: 868000 | #Constraints: 25331 704.18/707.58 c #Conflicts: 869000 | #Constraints: 26340 704.18/707.58 c #Conflicts: 870000 | #Constraints: 27351 704.18/707.58 c #Conflicts: 871000 | #Constraints: 28366 704.18/707.58 c #Conflicts: 872000 | #Constraints: 29383 704.18/707.58 c #Conflicts: 873000 | #Constraints: 30396 704.18/707.58 c #Conflicts: 874000 | #Constraints: 31408 704.18/707.58 c #Conflicts: 875000 | #Constraints: 32419 704.18/707.58 c #Conflicts: 876000 | #Constraints: 33438 704.18/707.58 c #Conflicts: 877000 | #Constraints: 34449 704.18/707.58 c #Conflicts: 878000 | #Constraints: 35462 704.18/707.58 c #Conflicts: 879000 | #Constraints: 36477 704.18/707.58 c #Conflicts: 880000 | #Constraints: 37493 704.18/707.58 c #Conflicts: 881000 | #Constraints: 38510 704.18/707.58 c #Conflicts: 882000 | #Constraints: 39526 704.18/707.58 c #Conflicts: 883000 | #Constraints: 40543 704.18/707.58 c #Conflicts: 884000 | #Constraints: 41563 704.18/707.58 c INPROCESSING 704.18/707.58 c GARBAGE COLLECT 704.18/707.58 c rational objective 16.6667 726.59/730.08 c #Conflicts: 885000 | #Constraints: 23716 726.59/730.08 c #Conflicts: 886000 | #Constraints: 24731 726.59/730.08 c #Conflicts: 887000 | #Constraints: 25747 726.59/730.08 c #Conflicts: 888000 | #Constraints: 26764 726.59/730.08 c #Conflicts: 889000 | #Constraints: 27778 726.59/730.08 c #Conflicts: 890000 | #Constraints: 28794 726.59/730.08 c #Conflicts: 891000 | #Constraints: 29808 726.59/730.08 c #Conflicts: 892000 | #Constraints: 30822 726.59/730.08 c #Conflicts: 893000 | #Constraints: 31832 726.59/730.08 c #Conflicts: 894000 | #Constraints: 32847 726.59/730.08 c #Conflicts: 895000 | #Constraints: 33857 726.59/730.08 c #Conflicts: 896000 | #Constraints: 34868 726.59/730.08 c #Conflicts: 897000 | #Constraints: 35885 726.59/730.08 c #Conflicts: 898000 | #Constraints: 36907 726.59/730.08 c #Conflicts: 899000 | #Constraints: 37922 726.59/730.08 c #Conflicts: 900000 | #Constraints: 38933 726.59/730.08 c #Conflicts: 901000 | #Constraints: 39948 726.59/730.08 c #Conflicts: 902000 | #Constraints: 40962 726.59/730.08 c #Conflicts: 903000 | #Constraints: 41974 726.59/730.08 c INPROCESSING 726.59/730.08 c GARBAGE COLLECT 726.59/730.08 c rational objective 16.6667 750.49/754.01 c #Conflicts: 904000 | #Constraints: 23920 750.49/754.01 c #Conflicts: 905000 | #Constraints: 24934 750.49/754.01 c #Conflicts: 906000 | #Constraints: 25953 750.49/754.01 c #Conflicts: 907000 | #Constraints: 26973 750.49/754.01 c #Conflicts: 908000 | #Constraints: 27986 750.49/754.01 c #Conflicts: 909000 | #Constraints: 29004 750.49/754.01 c #Conflicts: 910000 | #Constraints: 30018 750.49/754.01 c #Conflicts: 911000 | #Constraints: 31031 750.49/754.01 c #Conflicts: 912000 | #Constraints: 32044 750.49/754.01 c #Conflicts: 913000 | #Constraints: 33063 750.49/754.01 c #Conflicts: 914000 | #Constraints: 34072 750.49/754.01 c #Conflicts: 915000 | #Constraints: 35085 750.49/754.01 c #Conflicts: 916000 | #Constraints: 36098 750.49/754.01 c #Conflicts: 917000 | #Constraints: 37110 750.49/754.01 c #Conflicts: 918000 | #Constraints: 38125 750.49/754.01 c #Conflicts: 919000 | #Constraints: 39134 750.49/754.01 c #Conflicts: 920000 | #Constraints: 40144 750.49/754.01 c #Conflicts: 921000 | #Constraints: 41157 750.49/754.01 c #Conflicts: 922000 | #Constraints: 42165 750.49/754.01 c INPROCESSING 750.49/754.01 c GARBAGE COLLECT 750.49/754.01 c rational objective 16.6667 775.48/779.15 c #Conflicts: 923000 | #Constraints: 23910 775.48/779.15 c #Conflicts: 924000 | #Constraints: 24928 775.48/779.15 c #Conflicts: 925000 | #Constraints: 25944 775.48/779.15 c #Conflicts: 926000 | #Constraints: 26960 775.48/779.15 c #Conflicts: 927000 | #Constraints: 27978 775.48/779.15 c #Conflicts: 928000 | #Constraints: 28994 775.48/779.15 c #Conflicts: 929000 | #Constraints: 30011 775.48/779.15 c #Conflicts: 930000 | #Constraints: 31031 775.48/779.15 c #Conflicts: 931000 | #Constraints: 32050 775.48/779.15 c #Conflicts: 932000 | #Constraints: 33065 775.48/779.15 c #Conflicts: 933000 | #Constraints: 34083 775.48/779.15 c #Conflicts: 934000 | #Constraints: 35099 775.48/779.15 c #Conflicts: 935000 | #Constraints: 36115 775.48/779.15 c #Conflicts: 936000 | #Constraints: 37131 775.48/779.15 c #Conflicts: 937000 | #Constraints: 38147 775.48/779.15 c #Conflicts: 938000 | #Constraints: 39164 775.48/779.15 c #Conflicts: 939000 | #Constraints: 40178 775.48/779.15 c #Conflicts: 940000 | #Constraints: 41195 775.48/779.15 c #Conflicts: 941000 | #Constraints: 42208 775.48/779.15 c INPROCESSING 775.48/779.15 c GARBAGE COLLECT 775.48/779.15 c rational objective 16.6667 799.28/803.10 c #Conflicts: 942000 | #Constraints: 23734 799.28/803.10 c #Conflicts: 943000 | #Constraints: 24752 799.28/803.10 c #Conflicts: 944000 | #Constraints: 25767 799.28/803.10 c #Conflicts: 945000 | #Constraints: 26784 799.28/803.10 c #Conflicts: 946000 | #Constraints: 27804 799.28/803.10 c #Conflicts: 947000 | #Constraints: 28818 799.28/803.10 c #Conflicts: 948000 | #Constraints: 29834 799.28/803.10 c #Conflicts: 949000 | #Constraints: 30851 799.28/803.10 c #Conflicts: 950000 | #Constraints: 31871 799.28/803.10 c #Conflicts: 951000 | #Constraints: 32887 799.28/803.10 c #Conflicts: 952000 | #Constraints: 33905 799.28/803.10 c #Conflicts: 953000 | #Constraints: 34920 799.28/803.10 c #Conflicts: 954000 | #Constraints: 35935 799.28/803.10 c #Conflicts: 955000 | #Constraints: 36954 799.28/803.10 c #Conflicts: 956000 | #Constraints: 37973 799.28/803.10 c #Conflicts: 957000 | #Constraints: 38991 799.28/803.10 c #Conflicts: 958000 | #Constraints: 40009 799.28/803.10 c #Conflicts: 959000 | #Constraints: 41027 799.28/803.10 c #Conflicts: 960000 | #Constraints: 42042 799.28/803.10 c #Conflicts: 961000 | #Constraints: 43059 799.28/803.10 c INPROCESSING 799.28/803.10 c GARBAGE COLLECT 799.28/803.10 c rational objective 16.6667 828.86/832.77 c #Conflicts: 962000 | #Constraints: 24368 828.86/832.77 c #Conflicts: 963000 | #Constraints: 25382 828.86/832.77 c #Conflicts: 964000 | #Constraints: 26395 828.86/832.77 c #Conflicts: 965000 | #Constraints: 27406 828.86/832.77 c #Conflicts: 966000 | #Constraints: 28418 828.86/832.77 c #Conflicts: 967000 | #Constraints: 29431 828.86/832.77 c #Conflicts: 968000 | #Constraints: 30442 828.86/832.77 c #Conflicts: 969000 | #Constraints: 31454 828.86/832.77 c #Conflicts: 970000 | #Constraints: 32468 828.86/832.77 c #Conflicts: 971000 | #Constraints: 33479 828.86/832.77 c #Conflicts: 972000 | #Constraints: 34492 828.86/832.77 c #Conflicts: 973000 | #Constraints: 35508 828.86/832.77 c #Conflicts: 974000 | #Constraints: 36521 828.86/832.77 c #Conflicts: 975000 | #Constraints: 37541 828.86/832.77 c #Conflicts: 976000 | #Constraints: 38558 828.86/832.77 c #Conflicts: 977000 | #Constraints: 39573 828.86/832.77 c #Conflicts: 978000 | #Constraints: 40591 828.86/832.77 c #Conflicts: 979000 | #Constraints: 41608 828.86/832.77 c #Conflicts: 980000 | #Constraints: 42627 828.86/832.77 c #Conflicts: 981000 | #Constraints: 43645 828.86/832.77 c INPROCESSING 828.86/832.77 c GARBAGE COLLECT 828.86/832.77 c rational objective 16.6667 858.54/862.51 c #Conflicts: 982000 | #Constraints: 24758 858.54/862.51 c #Conflicts: 983000 | #Constraints: 25775 858.54/862.51 c #Conflicts: 984000 | #Constraints: 26790 858.54/862.51 c #Conflicts: 985000 | #Constraints: 27805 858.54/862.51 c #Conflicts: 986000 | #Constraints: 28823 858.54/862.51 c #Conflicts: 987000 | #Constraints: 29839 858.54/862.51 c #Conflicts: 988000 | #Constraints: 30858 858.54/862.51 c #Conflicts: 989000 | #Constraints: 31877 858.54/862.51 c #Conflicts: 990000 | #Constraints: 32894 858.54/862.51 c #Conflicts: 991000 | #Constraints: 33908 858.54/862.51 c #Conflicts: 992000 | #Constraints: 34922 858.54/862.51 c #Conflicts: 993000 | #Constraints: 35930 858.54/862.51 c #Conflicts: 994000 | #Constraints: 36946 858.54/862.51 c #Conflicts: 995000 | #Constraints: 37957 858.54/862.51 c #Conflicts: 996000 | #Constraints: 38970 858.54/862.51 c #Conflicts: 997000 | #Constraints: 39981 858.54/862.51 c #Conflicts: 998000 | #Constraints: 40994 858.54/862.51 c #Conflicts: 999000 | #Constraints: 42002 858.54/862.51 c #Conflicts: 1000000 | #Constraints: 43011 858.54/862.51 c #Conflicts: 1001000 | #Constraints: 44022 858.54/862.51 c INPROCESSING 858.54/862.51 c GARBAGE COLLECT 858.54/862.51 c rational objective 16.6667 892.10/896.23 c #Conflicts: 1002000 | #Constraints: 24957 892.10/896.23 c #Conflicts: 1003000 | #Constraints: 25973 892.10/896.23 c #Conflicts: 1004000 | #Constraints: 26989 892.10/896.23 c #Conflicts: 1005000 | #Constraints: 28005 892.10/896.23 c #Conflicts: 1006000 | #Constraints: 29020 892.10/896.23 c #Conflicts: 1007000 | #Constraints: 30034 892.10/896.23 c #Conflicts: 1008000 | #Constraints: 31049 892.10/896.23 c #Conflicts: 1009000 | #Constraints: 32063 892.10/896.23 c #Conflicts: 1010000 | #Constraints: 33073 892.10/896.23 c #Conflicts: 1011000 | #Constraints: 34085 892.10/896.23 c #Conflicts: 1012000 | #Constraints: 35098 892.10/896.23 c #Conflicts: 1013000 | #Constraints: 36114 892.10/896.23 c #Conflicts: 1014000 | #Constraints: 37128 892.10/896.23 c #Conflicts: 1015000 | #Constraints: 38142 892.10/896.23 c #Conflicts: 1016000 | #Constraints: 39156 892.10/896.23 c #Conflicts: 1017000 | #Constraints: 40168 892.10/896.23 c #Conflicts: 1018000 | #Constraints: 41182 892.10/896.23 c #Conflicts: 1019000 | #Constraints: 42198 892.10/896.23 c #Conflicts: 1020000 | #Constraints: 43211 892.10/896.23 c #Conflicts: 1021000 | #Constraints: 44223 892.10/896.23 c INPROCESSING 892.10/896.23 c GARBAGE COLLECT 892.10/896.23 c rational objective 16.6667 919.50/923.71 c #Conflicts: 1022000 | #Constraints: 24946 919.50/923.71 c #Conflicts: 1023000 | #Constraints: 25962 919.50/923.71 c #Conflicts: 1024000 | #Constraints: 26977 919.50/923.71 c #Conflicts: 1025000 | #Constraints: 27992 919.50/923.71 c #Conflicts: 1026000 | #Constraints: 29011 919.50/923.71 c #Conflicts: 1027000 | #Constraints: 30029 919.50/923.71 c #Conflicts: 1028000 | #Constraints: 31048 919.50/923.71 c #Conflicts: 1029000 | #Constraints: 32066 919.50/923.71 c #Conflicts: 1030000 | #Constraints: 33083 919.50/923.71 c #Conflicts: 1031000 | #Constraints: 34098 919.50/923.71 c #Conflicts: 1032000 | #Constraints: 35117 919.50/923.71 c #Conflicts: 1033000 | #Constraints: 36132 919.50/923.71 c #Conflicts: 1034000 | #Constraints: 37147 919.50/923.71 c #Conflicts: 1035000 | #Constraints: 38163 919.50/923.71 c #Conflicts: 1036000 | #Constraints: 39176 919.50/923.71 c #Conflicts: 1037000 | #Constraints: 40190 919.50/923.71 c #Conflicts: 1038000 | #Constraints: 41204 919.50/923.71 c #Conflicts: 1039000 | #Constraints: 42217 919.50/923.71 c #Conflicts: 1040000 | #Constraints: 43235 919.50/923.71 c #Conflicts: 1041000 | #Constraints: 44250 919.50/923.71 c INPROCESSING 919.50/923.71 c GARBAGE COLLECT 919.50/923.71 c rational objective 16.6667 951.46/955.89 c #Conflicts: 1042000 | #Constraints: 24758 951.46/955.89 c #Conflicts: 1043000 | #Constraints: 25773 951.46/955.89 c #Conflicts: 1044000 | #Constraints: 26785 951.46/955.89 c #Conflicts: 1045000 | #Constraints: 27800 951.46/955.89 c #Conflicts: 1046000 | #Constraints: 28815 951.46/955.89 c #Conflicts: 1047000 | #Constraints: 29829 951.46/955.89 c #Conflicts: 1048000 | #Constraints: 30843 951.46/955.89 c #Conflicts: 1049000 | #Constraints: 31858 951.46/955.89 c #Conflicts: 1050000 | #Constraints: 32872 951.46/955.89 c #Conflicts: 1051000 | #Constraints: 33887 951.46/955.89 c #Conflicts: 1052000 | #Constraints: 34900 951.46/955.89 c #Conflicts: 1053000 | #Constraints: 35913 951.46/955.89 c #Conflicts: 1054000 | #Constraints: 36928 951.46/955.89 c #Conflicts: 1055000 | #Constraints: 37937 951.46/955.89 c #Conflicts: 1056000 | #Constraints: 38952 951.46/955.89 c #Conflicts: 1057000 | #Constraints: 39963 951.46/955.89 c #Conflicts: 1058000 | #Constraints: 40977 951.46/955.89 c #Conflicts: 1059000 | #Constraints: 41991 951.46/955.89 c #Conflicts: 1060000 | #Constraints: 43007 951.46/955.89 c #Conflicts: 1061000 | #Constraints: 44024 951.46/955.89 c #Conflicts: 1062000 | #Constraints: 45038 951.46/955.89 c INPROCESSING 951.46/955.89 c GARBAGE COLLECT 951.46/955.89 c rational objective 16.6667 988.62/993.16 c #Conflicts: 1063000 | #Constraints: 25355 988.62/993.16 c #Conflicts: 1064000 | #Constraints: 26372 988.62/993.16 c #Conflicts: 1065000 | #Constraints: 27389 988.62/993.16 c #Conflicts: 1066000 | #Constraints: 28403 988.62/993.16 c #Conflicts: 1067000 | #Constraints: 29416 988.62/993.16 c #Conflicts: 1068000 | #Constraints: 30430 988.62/993.16 c #Conflicts: 1069000 | #Constraints: 31443 988.62/993.16 c #Conflicts: 1070000 | #Constraints: 32456 988.62/993.16 c #Conflicts: 1071000 | #Constraints: 33469 988.62/993.16 c #Conflicts: 1072000 | #Constraints: 34480 988.62/993.16 c #Conflicts: 1073000 | #Constraints: 35492 988.62/993.16 c #Conflicts: 1074000 | #Constraints: 36505 988.62/993.16 c #Conflicts: 1075000 | #Constraints: 37520 988.62/993.16 c #Conflicts: 1076000 | #Constraints: 38538 988.62/993.16 c #Conflicts: 1077000 | #Constraints: 39551 988.62/993.16 c #Conflicts: 1078000 | #Constraints: 40561 988.62/993.16 c #Conflicts: 1079000 | #Constraints: 41577 988.62/993.16 c #Conflicts: 1080000 | #Constraints: 42590 988.62/993.16 c #Conflicts: 1081000 | #Constraints: 43601 988.62/993.16 c #Conflicts: 1082000 | #Constraints: 44615 988.62/993.16 c #Conflicts: 1083000 | #Constraints: 45629 988.62/993.16 c INPROCESSING 988.62/993.16 c GARBAGE COLLECT 988.62/993.16 c rational objective 16.6667 1021.88/1026.52 c #Conflicts: 1084000 | #Constraints: 25755 1021.88/1026.52 c #Conflicts: 1085000 | #Constraints: 26768 1021.88/1026.52 c #Conflicts: 1086000 | #Constraints: 27779 1021.88/1026.52 c #Conflicts: 1087000 | #Constraints: 28785 1021.88/1026.52 c #Conflicts: 1088000 | #Constraints: 29796 1021.88/1026.52 c #Conflicts: 1089000 | #Constraints: 30810 1021.88/1026.52 c #Conflicts: 1090000 | #Constraints: 31826 1021.88/1026.52 c #Conflicts: 1091000 | #Constraints: 32840 1021.88/1026.52 c #Conflicts: 1092000 | #Constraints: 33853 1021.88/1026.52 c #Conflicts: 1093000 | #Constraints: 34865 1021.88/1026.52 c #Conflicts: 1094000 | #Constraints: 35880 1021.88/1026.52 c #Conflicts: 1095000 | #Constraints: 36892 1021.88/1026.52 c #Conflicts: 1096000 | #Constraints: 37903 1021.88/1026.52 c #Conflicts: 1097000 | #Constraints: 38917 1021.88/1026.52 c #Conflicts: 1098000 | #Constraints: 39929 1021.88/1026.52 c #Conflicts: 1099000 | #Constraints: 40940 1021.88/1026.52 c #Conflicts: 1100000 | #Constraints: 41953 1021.88/1026.52 c #Conflicts: 1101000 | #Constraints: 42963 1021.88/1026.52 c #Conflicts: 1102000 | #Constraints: 43975 1021.88/1026.52 c #Conflicts: 1103000 | #Constraints: 44989 1021.88/1026.52 c #Conflicts: 1104000 | #Constraints: 46001 1021.88/1026.52 c INPROCESSING 1021.88/1026.52 c GARBAGE COLLECT 1021.88/1026.52 c rational objective 16.6667 1053.36/1058.16 c #Conflicts: 1105000 | #Constraints: 25945 1053.36/1058.16 c #Conflicts: 1106000 | #Constraints: 26958 1053.36/1058.16 c #Conflicts: 1107000 | #Constraints: 27973 1053.36/1058.16 c #Conflicts: 1108000 | #Constraints: 28990 1053.36/1058.16 c #Conflicts: 1109000 | #Constraints: 30008 1053.36/1058.16 c #Conflicts: 1110000 | #Constraints: 31021 1053.36/1058.16 c #Conflicts: 1111000 | #Constraints: 32035 1053.36/1058.16 c #Conflicts: 1112000 | #Constraints: 33050 1053.36/1058.16 c #Conflicts: 1113000 | #Constraints: 34064 1053.36/1058.16 c #Conflicts: 1114000 | #Constraints: 35077 1053.36/1058.16 c #Conflicts: 1115000 | #Constraints: 36092 1053.36/1058.16 c #Conflicts: 1116000 | #Constraints: 37107 1053.36/1058.16 c #Conflicts: 1117000 | #Constraints: 38120 1053.36/1058.16 c #Conflicts: 1118000 | #Constraints: 39131 1053.36/1058.16 c #Conflicts: 1119000 | #Constraints: 40149 1053.36/1058.16 c #Conflicts: 1120000 | #Constraints: 41161 1053.36/1058.16 c #Conflicts: 1121000 | #Constraints: 42174 1053.36/1058.16 c #Conflicts: 1122000 | #Constraints: 43182 1053.36/1058.16 c #Conflicts: 1123000 | #Constraints: 44193 1053.36/1058.16 c #Conflicts: 1124000 | #Constraints: 45209 1053.36/1058.16 c #Conflicts: 1125000 | #Constraints: 46221 1053.36/1058.16 c INPROCESSING 1053.36/1058.16 c GARBAGE COLLECT 1053.36/1058.16 c rational objective 16.6667 1082.93/1087.80 c #Conflicts: 1126000 | #Constraints: 25945 1082.93/1087.80 c #Conflicts: 1127000 | #Constraints: 26963 1082.93/1087.80 c #Conflicts: 1128000 | #Constraints: 27976 1082.93/1087.80 c #Conflicts: 1129000 | #Constraints: 28991 1082.93/1087.80 c #Conflicts: 1130000 | #Constraints: 30004 1082.93/1087.80 c #Conflicts: 1131000 | #Constraints: 31017 1082.93/1087.80 c #Conflicts: 1132000 | #Constraints: 32027 1082.93/1087.80 c #Conflicts: 1133000 | #Constraints: 33042 1082.93/1087.80 c #Conflicts: 1134000 | #Constraints: 34055 1082.93/1087.80 c #Conflicts: 1135000 | #Constraints: 35073 1082.93/1087.80 c #Conflicts: 1136000 | #Constraints: 36082 1082.93/1087.80 c #Conflicts: 1137000 | #Constraints: 37093 1082.93/1087.80 c #Conflicts: 1138000 | #Constraints: 38109 1082.93/1087.80 c #Conflicts: 1139000 | #Constraints: 39122 1082.93/1087.80 c #Conflicts: 1140000 | #Constraints: 40132 1082.93/1087.80 c #Conflicts: 1141000 | #Constraints: 41142 1082.93/1087.80 c #Conflicts: 1142000 | #Constraints: 42157 1082.93/1087.80 c #Conflicts: 1143000 | #Constraints: 43175 1082.93/1087.80 c #Conflicts: 1144000 | #Constraints: 44192 1082.93/1087.80 c #Conflicts: 1145000 | #Constraints: 45210 1082.93/1087.80 c #Conflicts: 1146000 | #Constraints: 46227 1082.93/1087.80 c INPROCESSING 1082.93/1087.80 c GARBAGE COLLECT 1082.93/1087.80 c rational objective 16.6667 1113.31/1118.32 c #Conflicts: 1147000 | #Constraints: 25743 1113.31/1118.32 c #Conflicts: 1148000 | #Constraints: 26757 1113.31/1118.32 c #Conflicts: 1149000 | #Constraints: 27772 1113.31/1118.32 c #Conflicts: 1150000 | #Constraints: 28786 1113.31/1118.32 c #Conflicts: 1151000 | #Constraints: 29798 1113.31/1118.32 c #Conflicts: 1152000 | #Constraints: 30811 1113.31/1118.32 c #Conflicts: 1153000 | #Constraints: 31835 1113.31/1118.32 c #Conflicts: 1154000 | #Constraints: 32855 1113.31/1118.32 c #Conflicts: 1155000 | #Constraints: 33872 1113.31/1118.32 c #Conflicts: 1156000 | #Constraints: 34882 1113.31/1118.32 c #Conflicts: 1157000 | #Constraints: 35892 1113.31/1118.32 c #Conflicts: 1158000 | #Constraints: 36904 1113.31/1118.32 c #Conflicts: 1159000 | #Constraints: 37918 1113.31/1118.32 c #Conflicts: 1160000 | #Constraints: 38926 1113.31/1118.32 c #Conflicts: 1161000 | #Constraints: 39938 1113.31/1118.32 c #Conflicts: 1162000 | #Constraints: 40956 1113.31/1118.32 c #Conflicts: 1163000 | #Constraints: 41973 1113.31/1118.32 c #Conflicts: 1164000 | #Constraints: 42992 1113.31/1118.32 c #Conflicts: 1165000 | #Constraints: 44008 1113.31/1118.32 c #Conflicts: 1166000 | #Constraints: 45021 1113.31/1118.32 c #Conflicts: 1167000 | #Constraints: 46035 1113.31/1118.32 c #Conflicts: 1168000 | #Constraints: 47046 1113.31/1118.32 c INPROCESSING 1113.31/1118.32 c GARBAGE COLLECT 1113.31/1118.32 c rational objective 16.6667 1143.29/1148.47 c #Conflicts: 1169000 | #Constraints: 26359 1143.29/1148.47 c #Conflicts: 1170000 | #Constraints: 27377 1143.29/1148.47 c #Conflicts: 1171000 | #Constraints: 28390 1143.29/1148.47 c #Conflicts: 1172000 | #Constraints: 29403 1143.29/1148.47 c #Conflicts: 1173000 | #Constraints: 30416 1143.29/1148.47 c #Conflicts: 1174000 | #Constraints: 31430 1143.29/1148.47 c #Conflicts: 1175000 | #Constraints: 32443 1143.29/1148.47 c #Conflicts: 1176000 | #Constraints: 33457 1143.29/1148.47 c #Conflicts: 1177000 | #Constraints: 34471 1143.29/1148.47 c #Conflicts: 1178000 | #Constraints: 35483 1143.29/1148.47 c #Conflicts: 1179000 | #Constraints: 36504 1143.29/1148.47 c #Conflicts: 1180000 | #Constraints: 37521 1143.29/1148.47 c #Conflicts: 1181000 | #Constraints: 38532 1143.29/1148.47 c #Conflicts: 1182000 | #Constraints: 39544 1143.29/1148.47 c #Conflicts: 1183000 | #Constraints: 40560 1143.29/1148.47 c #Conflicts: 1184000 | #Constraints: 41571 1143.29/1148.47 c #Conflicts: 1185000 | #Constraints: 42581 1143.29/1148.47 c #Conflicts: 1186000 | #Constraints: 43590 1143.29/1148.47 c #Conflicts: 1187000 | #Constraints: 44606 1143.29/1148.47 c #Conflicts: 1188000 | #Constraints: 45624 1143.29/1148.47 c #Conflicts: 1189000 | #Constraints: 46641 1143.29/1148.47 c #Conflicts: 1190000 | #Constraints: 47656 1143.29/1148.47 c INPROCESSING 1143.29/1148.47 c GARBAGE COLLECT 1143.29/1148.47 c rational objective 16.6667 1175.16/1180.41 c #Conflicts: 1191000 | #Constraints: 26762 1175.16/1180.41 c #Conflicts: 1192000 | #Constraints: 27771 1175.16/1180.41 c #Conflicts: 1193000 | #Constraints: 28784 1175.16/1180.41 c #Conflicts: 1194000 | #Constraints: 29794 1175.16/1180.41 c #Conflicts: 1195000 | #Constraints: 30809 1175.16/1180.41 c #Conflicts: 1196000 | #Constraints: 31822 1175.16/1180.41 c #Conflicts: 1197000 | #Constraints: 32837 1175.16/1180.41 c #Conflicts: 1198000 | #Constraints: 33859 1175.16/1180.41 c #Conflicts: 1199000 | #Constraints: 34874 1175.16/1180.41 c #Conflicts: 1200000 | #Constraints: 35884 1175.16/1180.41 c #Conflicts: 1201000 | #Constraints: 36894 1175.16/1180.41 c #Conflicts: 1202000 | #Constraints: 37910 1175.16/1180.41 c #Conflicts: 1203000 | #Constraints: 38924 1175.16/1180.41 c #Conflicts: 1204000 | #Constraints: 39938 1175.16/1180.41 c #Conflicts: 1205000 | #Constraints: 40954 1175.16/1180.41 c #Conflicts: 1206000 | #Constraints: 41969 1175.16/1180.41 c #Conflicts: 1207000 | #Constraints: 42987 1175.16/1180.41 c #Conflicts: 1208000 | #Constraints: 44005 1175.16/1180.41 c #Conflicts: 1209000 | #Constraints: 45018 1175.16/1180.41 c #Conflicts: 1210000 | #Constraints: 46031 1175.16/1180.41 c #Conflicts: 1211000 | #Constraints: 47044 1175.16/1180.41 c #Conflicts: 1212000 | #Constraints: 48062 1175.16/1180.41 c INPROCESSING 1175.16/1180.41 c GARBAGE COLLECT 1175.16/1180.41 c rational objective 16.6667 1211.91/1217.34 c #Conflicts: 1213000 | #Constraints: 26963 1211.91/1217.34 c #Conflicts: 1214000 | #Constraints: 27978 1211.91/1217.34 c #Conflicts: 1215000 | #Constraints: 28991 1211.91/1217.34 c #Conflicts: 1216000 | #Constraints: 30002 1211.91/1217.34 c #Conflicts: 1217000 | #Constraints: 31014 1211.91/1217.34 c #Conflicts: 1218000 | #Constraints: 32030 1211.91/1217.34 c #Conflicts: 1219000 | #Constraints: 33043 1211.91/1217.34 c #Conflicts: 1220000 | #Constraints: 34058 1211.91/1217.34 c #Conflicts: 1221000 | #Constraints: 35072 1211.91/1217.34 c #Conflicts: 1222000 | #Constraints: 36085 1211.91/1217.34 c #Conflicts: 1223000 | #Constraints: 37098 1211.91/1217.34 c #Conflicts: 1224000 | #Constraints: 38111 1211.91/1217.34 c #Conflicts: 1225000 | #Constraints: 39122 1211.91/1217.34 c #Conflicts: 1226000 | #Constraints: 40135 1211.91/1217.34 c #Conflicts: 1227000 | #Constraints: 41148 1211.91/1217.34 c #Conflicts: 1228000 | #Constraints: 42161 1211.91/1217.34 c #Conflicts: 1229000 | #Constraints: 43174 1211.91/1217.34 c #Conflicts: 1230000 | #Constraints: 44185 1211.91/1217.34 c #Conflicts: 1231000 | #Constraints: 45195 1211.91/1217.34 c #Conflicts: 1232000 | #Constraints: 46209 1211.91/1217.34 c #Conflicts: 1233000 | #Constraints: 47226 1211.91/1217.34 c #Conflicts: 1234000 | #Constraints: 48235 1211.91/1217.34 c INPROCESSING 1211.91/1217.34 c GARBAGE COLLECT 1211.91/1217.34 c rational objective 16.6667 1244.58/1250.18 c #Conflicts: 1235000 | #Constraints: 26947 1244.58/1250.18 c #Conflicts: 1236000 | #Constraints: 27964 1244.58/1250.18 c #Conflicts: 1237000 | #Constraints: 28982 1244.58/1250.18 c #Conflicts: 1238000 | #Constraints: 29997 1244.58/1250.18 c #Conflicts: 1239000 | #Constraints: 31012 1244.58/1250.18 c #Conflicts: 1240000 | #Constraints: 32023 1244.58/1250.18 c #Conflicts: 1241000 | #Constraints: 33042 1244.58/1250.18 c #Conflicts: 1242000 | #Constraints: 34051 1244.58/1250.18 c #Conflicts: 1243000 | #Constraints: 35063 1244.58/1250.18 c #Conflicts: 1244000 | #Constraints: 36080 1244.58/1250.18 c #Conflicts: 1245000 | #Constraints: 37101 1244.58/1250.18 c #Conflicts: 1246000 | #Constraints: 38118 1244.58/1250.18 c #Conflicts: 1247000 | #Constraints: 39133 1244.58/1250.18 c #Conflicts: 1248000 | #Constraints: 40148 1244.58/1250.18 c #Conflicts: 1249000 | #Constraints: 41165 1244.58/1250.18 c #Conflicts: 1250000 | #Constraints: 42180 1244.58/1250.18 c #Conflicts: 1251000 | #Constraints: 43192 1244.58/1250.18 c #Conflicts: 1252000 | #Constraints: 44206 1244.58/1250.18 c #Conflicts: 1253000 | #Constraints: 45218 1244.58/1250.18 c #Conflicts: 1254000 | #Constraints: 46229 1244.58/1250.18 c #Conflicts: 1255000 | #Constraints: 47243 1244.58/1250.18 c #Conflicts: 1256000 | #Constraints: 48256 1244.58/1250.18 c INPROCESSING 1244.58/1250.18 c GARBAGE COLLECT 1244.58/1250.18 c rational objective 16.6667 1279.34/1285.06 c #Conflicts: 1257000 | #Constraints: 26760 1279.34/1285.06 c #Conflicts: 1258000 | #Constraints: 27769 1279.34/1285.06 c #Conflicts: 1259000 | #Constraints: 28783 1279.34/1285.06 c #Conflicts: 1260000 | #Constraints: 29796 1279.34/1285.06 c #Conflicts: 1261000 | #Constraints: 30803 1279.34/1285.06 c #Conflicts: 1262000 | #Constraints: 31817 1279.34/1285.06 c #Conflicts: 1263000 | #Constraints: 32833 1279.34/1285.06 c #Conflicts: 1264000 | #Constraints: 33850 1279.34/1285.06 c #Conflicts: 1265000 | #Constraints: 34864 1279.34/1285.06 c #Conflicts: 1266000 | #Constraints: 35876 1279.34/1285.06 c #Conflicts: 1267000 | #Constraints: 36893 1279.34/1285.06 c #Conflicts: 1268000 | #Constraints: 37908 1279.34/1285.06 c #Conflicts: 1269000 | #Constraints: 38922 1279.34/1285.06 c #Conflicts: 1270000 | #Constraints: 39937 1279.34/1285.06 c #Conflicts: 1271000 | #Constraints: 40950 1279.34/1285.06 c #Conflicts: 1272000 | #Constraints: 41963 1279.34/1285.06 c #Conflicts: 1273000 | #Constraints: 42976 1279.34/1285.06 c #Conflicts: 1274000 | #Constraints: 43991 1279.34/1285.06 c #Conflicts: 1275000 | #Constraints: 45005 1279.34/1285.06 c #Conflicts: 1276000 | #Constraints: 46016 1279.34/1285.06 c #Conflicts: 1277000 | #Constraints: 47026 1279.34/1285.06 c #Conflicts: 1278000 | #Constraints: 48040 1279.34/1285.06 c #Conflicts: 1279000 | #Constraints: 49052 1279.34/1285.06 c INPROCESSING 1279.34/1285.06 c GARBAGE COLLECT 1279.34/1285.06 c rational objective 16.6667 1313.31/1319.13 c #Conflicts: 1280000 | #Constraints: 27351 1313.31/1319.13 c #Conflicts: 1281000 | #Constraints: 28367 1313.31/1319.13 c #Conflicts: 1282000 | #Constraints: 29384 1313.31/1319.13 c #Conflicts: 1283000 | #Constraints: 30400 1313.31/1319.13 c #Conflicts: 1284000 | #Constraints: 31411 1313.31/1319.13 c #Conflicts: 1285000 | #Constraints: 32419 1313.31/1319.13 c #Conflicts: 1286000 | #Constraints: 33436 1313.31/1319.13 c #Conflicts: 1287000 | #Constraints: 34449 1313.31/1319.13 c #Conflicts: 1288000 | #Constraints: 35462 1313.31/1319.13 c #Conflicts: 1289000 | #Constraints: 36480 1313.31/1319.13 c #Conflicts: 1290000 | #Constraints: 37498 1313.31/1319.13 c #Conflicts: 1291000 | #Constraints: 38515 1313.31/1319.13 c #Conflicts: 1292000 | #Constraints: 39534 1313.31/1319.13 c #Conflicts: 1293000 | #Constraints: 40553 1313.31/1319.13 c #Conflicts: 1294000 | #Constraints: 41567 1313.31/1319.13 c #Conflicts: 1295000 | #Constraints: 42579 1313.31/1319.13 c #Conflicts: 1296000 | #Constraints: 43593 1313.31/1319.13 c #Conflicts: 1297000 | #Constraints: 44605 1313.31/1319.13 c #Conflicts: 1298000 | #Constraints: 45615 1313.31/1319.13 c #Conflicts: 1299000 | #Constraints: 46628 1313.31/1319.13 c #Conflicts: 1300000 | #Constraints: 47644 1313.31/1319.13 c #Conflicts: 1301000 | #Constraints: 48658 1313.31/1319.13 c #Conflicts: 1302000 | #Constraints: 49670 1313.31/1319.13 c INPROCESSING 1313.31/1319.13 c GARBAGE COLLECT 1313.31/1319.13 c rational objective 16.6667 1348.75/1354.79 c #Conflicts: 1303000 | #Constraints: 27764 1348.75/1354.79 c #Conflicts: 1304000 | #Constraints: 28775 1348.75/1354.79 c #Conflicts: 1305000 | #Constraints: 29790 1348.75/1354.79 c #Conflicts: 1306000 | #Constraints: 30800 1348.75/1354.79 c #Conflicts: 1307000 | #Constraints: 31817 1348.75/1354.79 c #Conflicts: 1308000 | #Constraints: 32831 1348.75/1354.79 c #Conflicts: 1309000 | #Constraints: 33845 1348.75/1354.79 c #Conflicts: 1310000 | #Constraints: 34862 1348.75/1354.79 c #Conflicts: 1311000 | #Constraints: 35880 1348.75/1354.79 c #Conflicts: 1312000 | #Constraints: 36895 1348.75/1354.79 c #Conflicts: 1313000 | #Constraints: 37912 1348.75/1354.79 c #Conflicts: 1314000 | #Constraints: 38931 1348.75/1354.79 c #Conflicts: 1315000 | #Constraints: 39949 1348.75/1354.79 c #Conflicts: 1316000 | #Constraints: 40966 1348.75/1354.79 c #Conflicts: 1317000 | #Constraints: 41984 1348.75/1354.79 c #Conflicts: 1318000 | #Constraints: 43001 1348.75/1354.79 c #Conflicts: 1319000 | #Constraints: 44020 1348.75/1354.79 c #Conflicts: 1320000 | #Constraints: 45039 1348.75/1354.79 c #Conflicts: 1321000 | #Constraints: 46052 1348.75/1354.79 c #Conflicts: 1322000 | #Constraints: 47066 1348.75/1354.79 c #Conflicts: 1323000 | #Constraints: 48079 1348.75/1354.79 c #Conflicts: 1324000 | #Constraints: 49091 1348.75/1354.79 c #Conflicts: 1325000 | #Constraints: 50105 1348.75/1354.79 c INPROCESSING 1348.75/1354.79 c GARBAGE COLLECT 1348.75/1354.79 c rational objective 16.6667 1384.71/1390.85 c #Conflicts: 1326000 | #Constraints: 27987 1384.71/1390.85 c #Conflicts: 1327000 | #Constraints: 29002 1384.71/1390.85 c #Conflicts: 1328000 | #Constraints: 30017 1384.71/1390.85 c #Conflicts: 1329000 | #Constraints: 31035 1384.71/1390.85 c #Conflicts: 1330000 | #Constraints: 32047 1384.71/1390.85 c #Conflicts: 1331000 | #Constraints: 33060 1384.71/1390.85 c #Conflicts: 1332000 | #Constraints: 34073 1384.71/1390.85 c #Conflicts: 1333000 | #Constraints: 35090 1384.71/1390.85 c #Conflicts: 1334000 | #Constraints: 36107 1384.71/1390.85 c #Conflicts: 1335000 | #Constraints: 37123 1384.71/1390.85 c #Conflicts: 1336000 | #Constraints: 38138 1384.71/1390.85 c #Conflicts: 1337000 | #Constraints: 39153 1384.71/1390.85 c #Conflicts: 1338000 | #Constraints: 40167 1384.71/1390.85 c #Conflicts: 1339000 | #Constraints: 41181 1384.71/1390.85 c #Conflicts: 1340000 | #Constraints: 42196 1384.71/1390.85 c #Conflicts: 1341000 | #Constraints: 43209 1384.71/1390.85 c #Conflicts: 1342000 | #Constraints: 44225 1384.71/1390.85 c #Conflicts: 1343000 | #Constraints: 45238 1384.71/1390.85 c #Conflicts: 1344000 | #Constraints: 46251 1384.71/1390.85 c #Conflicts: 1345000 | #Constraints: 47268 1384.71/1390.85 c #Conflicts: 1346000 | #Constraints: 48285 1384.71/1390.85 c #Conflicts: 1347000 | #Constraints: 49300 1384.71/1390.85 c #Conflicts: 1348000 | #Constraints: 50313 1384.71/1390.85 c INPROCESSING 1384.71/1390.85 c GARBAGE COLLECT 1384.71/1390.85 c rational objective 16.6667 1419.06/1425.39 c #Conflicts: 1349000 | #Constraints: 27992 1419.06/1425.39 c #Conflicts: 1350000 | #Constraints: 29006 1419.06/1425.39 c #Conflicts: 1351000 | #Constraints: 30024 1419.06/1425.39 c #Conflicts: 1352000 | #Constraints: 31038 1419.06/1425.39 c #Conflicts: 1353000 | #Constraints: 32051 1419.06/1425.39 c #Conflicts: 1354000 | #Constraints: 33066 1419.06/1425.39 c #Conflicts: 1355000 | #Constraints: 34077 1419.06/1425.39 c #Conflicts: 1356000 | #Constraints: 35092 1419.06/1425.39 c #Conflicts: 1357000 | #Constraints: 36106 1419.06/1425.39 c #Conflicts: 1358000 | #Constraints: 37119 1419.06/1425.39 c #Conflicts: 1359000 | #Constraints: 38132 1419.06/1425.39 c #Conflicts: 1360000 | #Constraints: 39145 1419.06/1425.39 c #Conflicts: 1361000 | #Constraints: 40160 1419.06/1425.39 c #Conflicts: 1362000 | #Constraints: 41168 1419.06/1425.39 c #Conflicts: 1363000 | #Constraints: 42179 1419.06/1425.39 c #Conflicts: 1364000 | #Constraints: 43195 1419.06/1425.39 c #Conflicts: 1365000 | #Constraints: 44212 1419.06/1425.39 c #Conflicts: 1366000 | #Constraints: 45228 1419.06/1425.39 c #Conflicts: 1367000 | #Constraints: 46242 1419.06/1425.39 c #Conflicts: 1368000 | #Constraints: 47255 1419.06/1425.39 c #Conflicts: 1369000 | #Constraints: 48272 1419.06/1425.39 c #Conflicts: 1370000 | #Constraints: 49283 1419.06/1425.39 c #Conflicts: 1371000 | #Constraints: 50293 1419.06/1425.39 c INPROCESSING 1419.06/1425.39 c GARBAGE COLLECT 1419.06/1425.39 c rational objective 16.6667 1456.82/1463.29 c #Conflicts: 1372000 | #Constraints: 27777 1456.82/1463.29 c #Conflicts: 1373000 | #Constraints: 28789 1456.82/1463.29 c #Conflicts: 1374000 | #Constraints: 29801 1456.82/1463.29 c #Conflicts: 1375000 | #Constraints: 30815 1456.82/1463.29 c #Conflicts: 1376000 | #Constraints: 31830 1456.82/1463.29 c #Conflicts: 1377000 | #Constraints: 32849 1456.82/1463.29 c #Conflicts: 1378000 | #Constraints: 33860 1456.82/1463.29 c #Conflicts: 1379000 | #Constraints: 34869 1456.82/1463.29 c #Conflicts: 1380000 | #Constraints: 35886 1456.82/1463.29 c #Conflicts: 1381000 | #Constraints: 36898 1456.82/1463.29 c #Conflicts: 1382000 | #Constraints: 37907 1456.82/1463.29 c #Conflicts: 1383000 | #Constraints: 38923 1456.82/1463.29 c #Conflicts: 1384000 | #Constraints: 39938 1456.82/1463.29 c #Conflicts: 1385000 | #Constraints: 40954 1456.82/1463.29 c #Conflicts: 1386000 | #Constraints: 41971 1456.82/1463.29 c #Conflicts: 1387000 | #Constraints: 42986 1456.82/1463.29 c #Conflicts: 1388000 | #Constraints: 44003 1456.82/1463.29 c #Conflicts: 1389000 | #Constraints: 45015 1456.82/1463.29 c #Conflicts: 1390000 | #Constraints: 46026 1456.82/1463.29 c #Conflicts: 1391000 | #Constraints: 47037 1456.82/1463.29 c #Conflicts: 1392000 | #Constraints: 48051 1456.82/1463.29 c #Conflicts: 1393000 | #Constraints: 49066 1456.82/1463.29 c #Conflicts: 1394000 | #Constraints: 50082 1456.82/1463.29 c #Conflicts: 1395000 | #Constraints: 51098 1456.82/1463.29 c INPROCESSING 1456.82/1463.29 c GARBAGE COLLECT 1456.82/1463.29 c rational objective 16.6667 1496.05/1502.69 c #Conflicts: 1396000 | #Constraints: 28378 1496.05/1502.69 c #Conflicts: 1397000 | #Constraints: 29391 1496.05/1502.69 c #Conflicts: 1398000 | #Constraints: 30405 1496.05/1502.69 c #Conflicts: 1399000 | #Constraints: 31418 1496.05/1502.69 c #Conflicts: 1400000 | #Constraints: 32428 1496.05/1502.69 c #Conflicts: 1401000 | #Constraints: 33441 1496.05/1502.69 c #Conflicts: 1402000 | #Constraints: 34453 1496.05/1502.69 c #Conflicts: 1403000 | #Constraints: 35467 1496.05/1502.69 c #Conflicts: 1404000 | #Constraints: 36479 1496.05/1502.69 c #Conflicts: 1405000 | #Constraints: 37488 1496.05/1502.69 c #Conflicts: 1406000 | #Constraints: 38503 1496.05/1502.69 c #Conflicts: 1407000 | #Constraints: 39514 1496.05/1502.69 c #Conflicts: 1408000 | #Constraints: 40525 1496.05/1502.69 c #Conflicts: 1409000 | #Constraints: 41541 1496.05/1502.69 c #Conflicts: 1410000 | #Constraints: 42560 1496.05/1502.69 c #Conflicts: 1411000 | #Constraints: 43578 1496.05/1502.69 c #Conflicts: 1412000 | #Constraints: 44592 1496.05/1502.69 c #Conflicts: 1413000 | #Constraints: 45603 1496.05/1502.69 c #Conflicts: 1414000 | #Constraints: 46618 1496.05/1502.69 c #Conflicts: 1415000 | #Constraints: 47632 1496.05/1502.69 c #Conflicts: 1416000 | #Constraints: 48643 1496.05/1502.69 c #Conflicts: 1417000 | #Constraints: 49662 1496.05/1502.69 c #Conflicts: 1418000 | #Constraints: 50680 1496.05/1502.69 c #Conflicts: 1419000 | #Constraints: 51699 1496.05/1502.69 c INPROCESSING 1496.05/1502.69 c GARBAGE COLLECT 1496.05/1502.69 c rational objective 16.6667 1534.79/1541.52 c #Conflicts: 1420000 | #Constraints: 28783 1534.79/1541.52 c #Conflicts: 1421000 | #Constraints: 29801 1534.79/1541.52 c #Conflicts: 1422000 | #Constraints: 30815 1534.79/1541.52 c #Conflicts: 1423000 | #Constraints: 31827 1534.79/1541.52 c #Conflicts: 1424000 | #Constraints: 32840 1534.79/1541.52 c #Conflicts: 1425000 | #Constraints: 33855 1534.79/1541.52 c #Conflicts: 1426000 | #Constraints: 34867 1534.79/1541.52 c #Conflicts: 1427000 | #Constraints: 35879 1534.79/1541.52 c #Conflicts: 1428000 | #Constraints: 36889 1534.79/1541.52 c #Conflicts: 1429000 | #Constraints: 37905 1534.79/1541.52 c #Conflicts: 1430000 | #Constraints: 38920 1534.79/1541.52 c #Conflicts: 1431000 | #Constraints: 39930 1534.79/1541.52 c #Conflicts: 1432000 | #Constraints: 40942 1534.79/1541.52 c #Conflicts: 1433000 | #Constraints: 41958 1534.79/1541.52 c #Conflicts: 1434000 | #Constraints: 42971 1534.79/1541.52 c #Conflicts: 1435000 | #Constraints: 43987 1534.79/1541.52 c #Conflicts: 1436000 | #Constraints: 45003 1534.79/1541.52 c #Conflicts: 1437000 | #Constraints: 46021 1534.79/1541.52 c #Conflicts: 1438000 | #Constraints: 47040 1534.79/1541.52 c #Conflicts: 1439000 | #Constraints: 48056 1534.79/1541.52 c #Conflicts: 1440000 | #Constraints: 49069 1534.79/1541.52 c #Conflicts: 1441000 | #Constraints: 50085 1534.79/1541.52 c #Conflicts: 1442000 | #Constraints: 51102 1534.79/1541.52 c #Conflicts: 1443000 | #Constraints: 52120 1534.79/1541.52 c INPROCESSING 1534.79/1541.52 c GARBAGE COLLECT 1534.79/1541.52 c rational objective 16.6667 1572.64/1579.56 c #Conflicts: 1444000 | #Constraints: 28995 1572.64/1579.56 c #Conflicts: 1445000 | #Constraints: 30009 1572.64/1579.56 c #Conflicts: 1446000 | #Constraints: 31022 1572.64/1579.56 c #Conflicts: 1447000 | #Constraints: 32034 1572.64/1579.56 c #Conflicts: 1448000 | #Constraints: 33050 1572.64/1579.56 c #Conflicts: 1449000 | #Constraints: 34068 1572.64/1579.56 c #Conflicts: 1450000 | #Constraints: 35084 1572.64/1579.56 c #Conflicts: 1451000 | #Constraints: 36098 1572.64/1579.56 c #Conflicts: 1452000 | #Constraints: 37114 1572.64/1579.56 c #Conflicts: 1453000 | #Constraints: 38128 1572.64/1579.56 c #Conflicts: 1454000 | #Constraints: 39146 1572.64/1579.56 c #Conflicts: 1455000 | #Constraints: 40162 1572.64/1579.56 c #Conflicts: 1456000 | #Constraints: 41179 1572.64/1579.56 c #Conflicts: 1457000 | #Constraints: 42195 1572.64/1579.56 c #Conflicts: 1458000 | #Constraints: 43212 1572.64/1579.56 c #Conflicts: 1459000 | #Constraints: 44228 1572.64/1579.56 c #Conflicts: 1460000 | #Constraints: 45247 1572.64/1579.56 c #Conflicts: 1461000 | #Constraints: 46258 1572.64/1579.56 c #Conflicts: 1462000 | #Constraints: 47271 1572.64/1579.56 c #Conflicts: 1463000 | #Constraints: 48286 1572.64/1579.56 c #Conflicts: 1464000 | #Constraints: 49300 1572.64/1579.56 c #Conflicts: 1465000 | #Constraints: 50315 1572.64/1579.56 c #Conflicts: 1466000 | #Constraints: 51327 1572.64/1579.56 c #Conflicts: 1467000 | #Constraints: 52338 1572.64/1579.56 c INPROCESSING 1572.64/1579.56 c GARBAGE COLLECT 1572.64/1579.56 c rational objective 16.6667 1611.59/1618.65 c #Conflicts: 1468000 | #Constraints: 29001 1611.59/1618.65 c #Conflicts: 1469000 | #Constraints: 30011 1611.59/1618.65 c #Conflicts: 1470000 | #Constraints: 31024 1611.59/1618.65 c #Conflicts: 1471000 | #Constraints: 32036 1611.59/1618.65 c #Conflicts: 1472000 | #Constraints: 33053 1611.59/1618.65 c #Conflicts: 1473000 | #Constraints: 34064 1611.59/1618.65 c #Conflicts: 1474000 | #Constraints: 35074 1611.59/1618.65 c #Conflicts: 1475000 | #Constraints: 36089 1611.59/1618.65 c #Conflicts: 1476000 | #Constraints: 37105 1611.59/1618.65 c #Conflicts: 1477000 | #Constraints: 38121 1611.59/1618.65 c #Conflicts: 1478000 | #Constraints: 39137 1611.59/1618.65 c #Conflicts: 1479000 | #Constraints: 40155 1611.59/1618.65 c #Conflicts: 1480000 | #Constraints: 41170 1611.59/1618.65 c #Conflicts: 1481000 | #Constraints: 42179 1611.59/1618.65 c #Conflicts: 1482000 | #Constraints: 43191 1611.59/1618.65 c #Conflicts: 1483000 | #Constraints: 44205 1611.59/1618.65 c #Conflicts: 1484000 | #Constraints: 45218 1611.59/1618.65 c #Conflicts: 1485000 | #Constraints: 46232 1611.59/1618.65 c #Conflicts: 1486000 | #Constraints: 47252 1611.59/1618.65 c #Conflicts: 1487000 | #Constraints: 48270 1611.59/1618.65 c #Conflicts: 1488000 | #Constraints: 49283 1611.59/1618.65 c #Conflicts: 1489000 | #Constraints: 50294 1611.59/1618.65 c #Conflicts: 1490000 | #Constraints: 51310 1611.59/1618.65 c #Conflicts: 1491000 | #Constraints: 52324 1611.59/1618.65 c INPROCESSING 1611.59/1618.65 c GARBAGE COLLECT 1611.59/1618.65 c rational objective 16.6667 1651.02/1658.25 c #Conflicts: 1492000 | #Constraints: 28786 1651.02/1658.25 c #Conflicts: 1493000 | #Constraints: 29795 1651.02/1658.25 c #Conflicts: 1494000 | #Constraints: 30810 1651.02/1658.25 c #Conflicts: 1495000 | #Constraints: 31828 1651.02/1658.25 c #Conflicts: 1496000 | #Constraints: 32849 1651.02/1658.25 c #Conflicts: 1497000 | #Constraints: 33867 1651.02/1658.25 c #Conflicts: 1498000 | #Constraints: 34881 1651.02/1658.25 c #Conflicts: 1499000 | #Constraints: 35896 1651.02/1658.25 c #Conflicts: 1500000 | #Constraints: 36912 1651.02/1658.25 c #Conflicts: 1501000 | #Constraints: 37932 1651.02/1658.25 c #Conflicts: 1502000 | #Constraints: 38949 1651.02/1658.25 c #Conflicts: 1503000 | #Constraints: 39964 1651.02/1658.25 c #Conflicts: 1504000 | #Constraints: 40981 1651.02/1658.25 c #Conflicts: 1505000 | #Constraints: 41999 1651.02/1658.25 c #Conflicts: 1506000 | #Constraints: 43012 1651.02/1658.25 c #Conflicts: 1507000 | #Constraints: 44026 1651.02/1658.25 c #Conflicts: 1508000 | #Constraints: 45043 1651.02/1658.25 c #Conflicts: 1509000 | #Constraints: 46057 1651.02/1658.25 c #Conflicts: 1510000 | #Constraints: 47075 1651.02/1658.25 c #Conflicts: 1511000 | #Constraints: 48091 1651.02/1658.25 c #Conflicts: 1512000 | #Constraints: 49108 1651.02/1658.25 c #Conflicts: 1513000 | #Constraints: 50125 1651.02/1658.25 c #Conflicts: 1514000 | #Constraints: 51135 1651.02/1658.25 c #Conflicts: 1515000 | #Constraints: 52147 1651.02/1658.25 c #Conflicts: 1516000 | #Constraints: 53164 1651.02/1658.25 c INPROCESSING 1651.02/1658.25 c GARBAGE COLLECT 1651.02/1658.25 c rational objective 16.6667 1692.06/1699.49 c #Conflicts: 1517000 | #Constraints: 29417 1692.06/1699.49 c #Conflicts: 1518000 | #Constraints: 30430 1692.06/1699.49 c #Conflicts: 1519000 | #Constraints: 31444 1692.06/1699.49 c #Conflicts: 1520000 | #Constraints: 32458 1692.06/1699.49 c #Conflicts: 1521000 | #Constraints: 33477 1692.06/1699.49 c #Conflicts: 1522000 | #Constraints: 34494 1692.06/1699.49 c #Conflicts: 1523000 | #Constraints: 35508 1692.06/1699.49 c #Conflicts: 1524000 | #Constraints: 36524 1692.06/1699.49 c #Conflicts: 1525000 | #Constraints: 37539 1692.06/1699.49 c #Conflicts: 1526000 | #Constraints: 38548 1692.06/1699.49 c #Conflicts: 1527000 | #Constraints: 39560 1692.06/1699.49 c #Conflicts: 1528000 | #Constraints: 40575 1692.06/1699.49 c #Conflicts: 1529000 | #Constraints: 41588 1692.06/1699.49 c #Conflicts: 1530000 | #Constraints: 42599 1692.06/1699.49 c #Conflicts: 1531000 | #Constraints: 43616 1692.06/1699.49 c #Conflicts: 1532000 | #Constraints: 44633 1692.06/1699.49 c #Conflicts: 1533000 | #Constraints: 45648 1692.06/1699.49 c #Conflicts: 1534000 | #Constraints: 46660 1692.06/1699.49 c #Conflicts: 1535000 | #Constraints: 47674 1692.06/1699.49 c #Conflicts: 1536000 | #Constraints: 48690 1692.06/1699.49 c #Conflicts: 1537000 | #Constraints: 49702 1692.06/1699.49 c #Conflicts: 1538000 | #Constraints: 50712 1692.06/1699.49 c #Conflicts: 1539000 | #Constraints: 51730 1692.06/1699.49 c #Conflicts: 1540000 | #Constraints: 52752 1692.06/1699.49 c #Conflicts: 1541000 | #Constraints: 53768 1692.06/1699.49 c INPROCESSING 1692.06/1699.49 c GARBAGE COLLECT 1692.06/1699.49 c rational objective 16.6667 1735.58/1743.16 c #Conflicts: 1542000 | #Constraints: 29817 1735.58/1743.16 c #Conflicts: 1543000 | #Constraints: 30833 1735.58/1743.16 c #Conflicts: 1544000 | #Constraints: 31848 1735.58/1743.16 c #Conflicts: 1545000 | #Constraints: 32864 1735.58/1743.16 c #Conflicts: 1546000 | #Constraints: 33878 1735.58/1743.16 c #Conflicts: 1547000 | #Constraints: 34893 1735.58/1743.16 c #Conflicts: 1548000 | #Constraints: 35911 1735.58/1743.16 c #Conflicts: 1549000 | #Constraints: 36927 1735.58/1743.16 c #Conflicts: 1550000 | #Constraints: 37942 1735.58/1743.16 c #Conflicts: 1551000 | #Constraints: 38961 1735.58/1743.16 c #Conflicts: 1552000 | #Constraints: 39975 1735.58/1743.16 c #Conflicts: 1553000 | #Constraints: 40990 1735.58/1743.16 c #Conflicts: 1554000 | #Constraints: 42008 1735.58/1743.16 c #Conflicts: 1555000 | #Constraints: 43026 1735.58/1743.16 c #Conflicts: 1556000 | #Constraints: 44042 1735.58/1743.16 c #Conflicts: 1557000 | #Constraints: 45055 1735.58/1743.16 c #Conflicts: 1558000 | #Constraints: 46069 1735.58/1743.16 c #Conflicts: 1559000 | #Constraints: 47086 1735.58/1743.16 c #Conflicts: 1560000 | #Constraints: 48106 1735.58/1743.16 c #Conflicts: 1561000 | #Constraints: 49120 1735.58/1743.16 c #Conflicts: 1562000 | #Constraints: 50134 1735.58/1743.16 c #Conflicts: 1563000 | #Constraints: 51145 1735.58/1743.16 c #Conflicts: 1564000 | #Constraints: 52163 1735.58/1743.16 c #Conflicts: 1565000 | #Constraints: 53176 1735.58/1743.16 c #Conflicts: 1566000 | #Constraints: 54193 1735.58/1743.16 c INPROCESSING 1735.58/1743.16 c GARBAGE COLLECT 1735.58/1743.16 c rational objective 16.6667 1790.54/1798.31 c #Conflicts: 1567000 | #Constraints: 30038 1790.54/1798.31 c #Conflicts: 1568000 | #Constraints: 31051 1790.54/1798.31 c #Conflicts: 1569000 | #Constraints: 32064 1790.54/1798.31 c #Conflicts: 1570000 | #Constraints: 33077 1790.54/1798.31 c #Conflicts: 1571000 | #Constraints: 34085 1790.54/1798.31 c #Conflicts: 1572000 | #Constraints: 35103 1790.54/1798.31 c #Conflicts: 1573000 | #Constraints: 36118 1790.54/1798.31 c #Conflicts: 1574000 | #Constraints: 37129 1790.54/1798.31 c #Conflicts: 1575000 | #Constraints: 38143 1790.54/1798.31 c #Conflicts: 1576000 | #Constraints: 39158 1790.54/1798.31 c #Conflicts: 1577000 | #Constraints: 40171 1790.54/1798.31 c #Conflicts: 1578000 | #Constraints: 41184 1790.54/1798.31 c #Conflicts: 1579000 | #Constraints: 42198 1790.54/1798.31 c #Conflicts: 1580000 | #Constraints: 43211 1790.54/1798.31 c #Conflicts: 1581000 | #Constraints: 44225 1790.54/1798.31 c #Conflicts: 1582000 | #Constraints: 45241 1790.54/1798.31 c #Conflicts: 1583000 | #Constraints: 46255 1790.54/1798.31 c #Conflicts: 1584000 | #Constraints: 47268 1790.54/1798.31 c #Conflicts: 1585000 | #Constraints: 48283 1790.54/1798.31 c #Conflicts: 1586000 | #Constraints: 49295 1790.54/1798.31 c #Conflicts: 1587000 | #Constraints: 50307 1790.54/1798.31 c #Conflicts: 1588000 | #Constraints: 51320 1790.54/1798.31 c #Conflicts: 1589000 | #Constraints: 52335 1790.54/1798.31 c #Conflicts: 1590000 | #Constraints: 53353 1790.54/1798.31 c #Conflicts: 1591000 | #Constraints: 54371 1790.54/1798.31 c INPROCESSING 1790.54/1798.31 c GARBAGE COLLECT 1790.54/1798.31 c rational objective 16.6667 1842.53/1850.52 c #Conflicts: 1592000 | #Constraints: 30020 1842.53/1850.52 c #Conflicts: 1593000 | #Constraints: 31035 1842.53/1850.52 c #Conflicts: 1594000 | #Constraints: 32049 1842.53/1850.52 c #Conflicts: 1595000 | #Constraints: 33062 1842.53/1850.52 c #Conflicts: 1596000 | #Constraints: 34077 1842.53/1850.52 c #Conflicts: 1597000 | #Constraints: 35091 1842.53/1850.52 c #Conflicts: 1598000 | #Constraints: 36107 1842.53/1850.52 c #Conflicts: 1599000 | #Constraints: 37119 1842.53/1850.52 c #Conflicts: 1600000 | #Constraints: 38133 1842.53/1850.52 c #Conflicts: 1601000 | #Constraints: 39146 1842.53/1850.52 c #Conflicts: 1602000 | #Constraints: 40161 1842.53/1850.52 c #Conflicts: 1603000 | #Constraints: 41177 1842.53/1850.52 c #Conflicts: 1604000 | #Constraints: 42192 1842.53/1850.52 c #Conflicts: 1605000 | #Constraints: 43205 1842.53/1850.52 c #Conflicts: 1606000 | #Constraints: 44219 1842.53/1850.52 c #Conflicts: 1607000 | #Constraints: 45233 1842.53/1850.52 c #Conflicts: 1608000 | #Constraints: 46248 1842.53/1850.52 c #Conflicts: 1609000 | #Constraints: 47262 1842.53/1850.52 c #Conflicts: 1610000 | #Constraints: 48276 1842.53/1850.52 c #Conflicts: 1611000 | #Constraints: 49293 1842.53/1850.52 c #Conflicts: 1612000 | #Constraints: 50307 1842.53/1850.52 c #Conflicts: 1613000 | #Constraints: 51321 1842.53/1850.52 c #Conflicts: 1614000 | #Constraints: 52334 1842.53/1850.52 c #Conflicts: 1615000 | #Constraints: 53348 1842.53/1850.52 c #Conflicts: 1616000 | #Constraints: 54360 1842.53/1850.52 c INPROCESSING 1842.53/1850.52 c GARBAGE COLLECT 1842.53/1850.52 c rational objective 16.6667 1888.74/1896.92 c #Conflicts: 1617000 | #Constraints: 29815 1888.74/1896.92 c #Conflicts: 1618000 | #Constraints: 30828 1888.74/1896.92 c #Conflicts: 1619000 | #Constraints: 31845 1888.74/1896.92 c #Conflicts: 1620000 | #Constraints: 32861 1888.74/1896.92 c #Conflicts: 1621000 | #Constraints: 33873 1888.74/1896.92 c #Conflicts: 1622000 | #Constraints: 34887 1888.74/1896.92 c #Conflicts: 1623000 | #Constraints: 35902 1888.74/1896.92 c #Conflicts: 1624000 | #Constraints: 36916 1888.74/1896.92 c #Conflicts: 1625000 | #Constraints: 37930 1888.74/1896.92 c #Conflicts: 1626000 | #Constraints: 38945 1888.74/1896.92 c #Conflicts: 1627000 | #Constraints: 39963 1888.74/1896.92 c #Conflicts: 1628000 | #Constraints: 40976 1888.74/1896.92 c #Conflicts: 1629000 | #Constraints: 41994 1888.74/1896.92 c #Conflicts: 1630000 | #Constraints: 43008 1888.74/1896.92 c #Conflicts: 1631000 | #Constraints: 44024 1888.74/1896.92 c #Conflicts: 1632000 | #Constraints: 45036 1888.74/1896.92 c #Conflicts: 1633000 | #Constraints: 46052 1888.74/1896.92 c #Conflicts: 1634000 | #Constraints: 47065 1888.74/1896.92 c #Conflicts: 1635000 | #Constraints: 48084 1888.74/1896.92 c #Conflicts: 1636000 | #Constraints: 49098 1888.74/1896.92 c #Conflicts: 1637000 | #Constraints: 50111 1888.74/1896.92 c #Conflicts: 1638000 | #Constraints: 51129 1888.74/1896.92 c #Conflicts: 1639000 | #Constraints: 52139 1888.74/1896.92 c #Conflicts: 1640000 | #Constraints: 53155 1888.74/1896.92 c #Conflicts: 1641000 | #Constraints: 54168 1888.74/1896.92 c #Conflicts: 1642000 | #Constraints: 55182 1888.74/1896.92 c INPROCESSING 1888.74/1896.92 c GARBAGE COLLECT 1888.74/1896.92 c rational objective 16.6667 1934.66/1943.07 c #Conflicts: 1643000 | #Constraints: 30422 1934.66/1943.07 c #Conflicts: 1644000 | #Constraints: 31431 1934.66/1943.07 c #Conflicts: 1645000 | #Constraints: 32441 1934.66/1943.07 c #Conflicts: 1646000 | #Constraints: 33456 1934.66/1943.07 c #Conflicts: 1647000 | #Constraints: 34473 1934.66/1943.07 c #Conflicts: 1648000 | #Constraints: 35488 1934.66/1943.07 c #Conflicts: 1649000 | #Constraints: 36502 1934.66/1943.07 c #Conflicts: 1650000 | #Constraints: 37516 1934.66/1943.07 c #Conflicts: 1651000 | #Constraints: 38532 1934.66/1943.07 c #Conflicts: 1652000 | #Constraints: 39544 1934.66/1943.07 c #Conflicts: 1653000 | #Constraints: 40555 1934.66/1943.07 c #Conflicts: 1654000 | #Constraints: 41574 1934.66/1943.07 c #Conflicts: 1655000 | #Constraints: 42591 1934.66/1943.07 c #Conflicts: 1656000 | #Constraints: 43610 1934.66/1943.07 c #Conflicts: 1657000 | #Constraints: 44624 1934.66/1943.07 c #Conflicts: 1658000 | #Constraints: 45640 1934.66/1943.07 c #Conflicts: 1659000 | #Constraints: 46656 1934.66/1943.07 c #Conflicts: 1660000 | #Constraints: 47668 1934.66/1943.07 c #Conflicts: 1661000 | #Constraints: 48680 1934.66/1943.07 c #Conflicts: 1662000 | #Constraints: 49694 1934.66/1943.07 c #Conflicts: 1663000 | #Constraints: 50704 1934.66/1943.07 c #Conflicts: 1664000 | #Constraints: 51717 1934.66/1943.07 c #Conflicts: 1665000 | #Constraints: 52734 1934.66/1943.07 c #Conflicts: 1666000 | #Constraints: 53749 1934.66/1943.07 c #Conflicts: 1667000 | #Constraints: 54765 1934.66/1943.07 c #Conflicts: 1668000 | #Constraints: 55778 1934.66/1943.07 c INPROCESSING 1934.66/1943.07 c GARBAGE COLLECT 1934.66/1943.07 c rational objective 16.6667 1979.28/1987.80 c #Conflicts: 1669000 | #Constraints: 30821 1979.28/1987.80 c #Conflicts: 1670000 | #Constraints: 31837 1979.28/1987.80 c #Conflicts: 1671000 | #Constraints: 32848 1979.28/1987.80 c #Conflicts: 1672000 | #Constraints: 33858 1979.28/1987.80 c #Conflicts: 1673000 | #Constraints: 34875 1979.28/1987.80 c #Conflicts: 1674000 | #Constraints: 35889 1979.28/1987.80 c #Conflicts: 1675000 | #Constraints: 36903 1979.28/1987.80 c #Conflicts: 1676000 | #Constraints: 37918 1979.28/1987.80 c #Conflicts: 1677000 | #Constraints: 38932 1979.28/1987.80 c #Conflicts: 1678000 | #Constraints: 39948 1979.28/1987.80 c #Conflicts: 1679000 | #Constraints: 40965 1979.28/1987.80 c #Conflicts: 1680000 | #Constraints: 41978 1979.28/1987.80 c #Conflicts: 1681000 | #Constraints: 42991 1979.28/1987.80 c #Conflicts: 1682000 | #Constraints: 44008 1979.28/1987.80 c #Conflicts: 1683000 | #Constraints: 45025 1979.28/1987.80 c #Conflicts: 1684000 | #Constraints: 46038 1979.28/1987.80 c #Conflicts: 1685000 | #Constraints: 47054 1979.28/1987.80 c #Conflicts: 1686000 | #Constraints: 48061 1979.28/1987.80 c #Conflicts: 1687000 | #Constraints: 49073 1979.28/1987.80 c #Conflicts: 1688000 | #Constraints: 50089 1979.28/1987.80 c #Conflicts: 1689000 | #Constraints: 51103 1979.28/1987.80 c #Conflicts: 1690000 | #Constraints: 52111 1979.28/1987.80 c #Conflicts: 1691000 | #Constraints: 53126 1979.28/1987.80 c #Conflicts: 1692000 | #Constraints: 54144 1979.28/1987.80 c #Conflicts: 1693000 | #Constraints: 55159 1979.28/1987.80 c #Conflicts: 1694000 | #Constraints: 56174 1979.28/1987.80 c INPROCESSING 1979.28/1987.80 c GARBAGE COLLECT 1979.28/1987.80 c rational objective 16.6667 2026.30/2035.01 c #Conflicts: 1695000 | #Constraints: 31017 2026.30/2035.01 c #Conflicts: 1696000 | #Constraints: 32031 2026.30/2035.01 c #Conflicts: 1697000 | #Constraints: 33041 2026.30/2035.01 c #Conflicts: 1698000 | #Constraints: 34049 2026.30/2035.01 c #Conflicts: 1699000 | #Constraints: 35067 2026.30/2035.01 c #Conflicts: 1700000 | #Constraints: 36089 2026.30/2035.01 c #Conflicts: 1701000 | #Constraints: 37108 2026.30/2035.01 c #Conflicts: 1702000 | #Constraints: 38126 2026.30/2035.01 c #Conflicts: 1703000 | #Constraints: 39144 2026.30/2035.01 c #Conflicts: 1704000 | #Constraints: 40162 2026.30/2035.01 c #Conflicts: 1705000 | #Constraints: 41174 2026.30/2035.01 c #Conflicts: 1706000 | #Constraints: 42184 2026.30/2035.01 c #Conflicts: 1707000 | #Constraints: 43204 2026.30/2035.01 c #Conflicts: 1708000 | #Constraints: 44214 2026.30/2035.01 c #Conflicts: 1709000 | #Constraints: 45224 2026.30/2035.01 c #Conflicts: 1710000 | #Constraints: 46241 2026.30/2035.01 c #Conflicts: 1711000 | #Constraints: 47258 2026.30/2035.01 c #Conflicts: 1712000 | #Constraints: 48272 2026.30/2035.01 c #Conflicts: 1713000 | #Constraints: 49290 2026.30/2035.01 c #Conflicts: 1714000 | #Constraints: 50302 2026.30/2035.01 c #Conflicts: 1715000 | #Constraints: 51315 2026.30/2035.01 c #Conflicts: 1716000 | #Constraints: 52327 2026.30/2035.01 c #Conflicts: 1717000 | #Constraints: 53341 2026.30/2035.01 c #Conflicts: 1718000 | #Constraints: 54358 2026.30/2035.01 c #Conflicts: 1719000 | #Constraints: 55375 2026.30/2035.01 c #Conflicts: 1720000 | #Constraints: 56391 2026.30/2035.01 c INPROCESSING 2026.30/2035.01 c GARBAGE COLLECT 2026.30/2035.01 c rational objective 16.6667 2076.39/2085.37 c #Conflicts: 1721000 | #Constraints: 31030 2076.39/2085.37 c #Conflicts: 1722000 | #Constraints: 32046 2076.39/2085.37 c #Conflicts: 1723000 | #Constraints: 33064 2076.39/2085.37 c #Conflicts: 1724000 | #Constraints: 34080 2076.39/2085.37 c #Conflicts: 1725000 | #Constraints: 35097 2076.39/2085.37 c #Conflicts: 1726000 | #Constraints: 36117 2076.39/2085.37 c #Conflicts: 1727000 | #Constraints: 37131 2076.39/2085.37 c #Conflicts: 1728000 | #Constraints: 38147 2076.39/2085.37 c #Conflicts: 1729000 | #Constraints: 39166 2076.39/2085.37 c #Conflicts: 1730000 | #Constraints: 40184 2076.39/2085.37 c #Conflicts: 1731000 | #Constraints: 41201 2076.39/2085.37 c #Conflicts: 1732000 | #Constraints: 42215 2076.39/2085.37 c #Conflicts: 1733000 | #Constraints: 43228 2076.39/2085.37 c #Conflicts: 1734000 | #Constraints: 44243 2076.39/2085.37 c #Conflicts: 1735000 | #Constraints: 45258 2076.39/2085.37 c #Conflicts: 1736000 | #Constraints: 46272 2076.39/2085.37 c #Conflicts: 1737000 | #Constraints: 47287 2076.39/2085.37 c #Conflicts: 1738000 | #Constraints: 48302 2076.39/2085.37 c #Conflicts: 1739000 | #Constraints: 49318 2076.39/2085.37 c #Conflicts: 1740000 | #Constraints: 50332 2076.39/2085.37 c #Conflicts: 1741000 | #Constraints: 51349 2076.39/2085.37 c #Conflicts: 1742000 | #Constraints: 52366 2076.39/2085.37 c #Conflicts: 1743000 | #Constraints: 53378 2076.39/2085.37 c #Conflicts: 1744000 | #Constraints: 54388 2076.39/2085.37 c #Conflicts: 1745000 | #Constraints: 55403 2076.39/2085.37 c #Conflicts: 1746000 | #Constraints: 56419 2076.39/2085.37 c INPROCESSING 2076.39/2085.37 c GARBAGE COLLECT 2076.39/2085.37 c rational objective 16.6667 2123.09/2132.22 c #Conflicts: 1747000 | #Constraints: 30839 2123.09/2132.22 c #Conflicts: 1748000 | #Constraints: 31851 2123.09/2132.22 c #Conflicts: 1749000 | #Constraints: 32866 2123.09/2132.22 c #Conflicts: 1750000 | #Constraints: 33882 2123.09/2132.22 c #Conflicts: 1751000 | #Constraints: 34894 2123.09/2132.22 c #Conflicts: 1752000 | #Constraints: 35910 2123.09/2132.22 c #Conflicts: 1753000 | #Constraints: 36927 2123.09/2132.22 c #Conflicts: 1754000 | #Constraints: 37941 2123.09/2132.22 c #Conflicts: 1755000 | #Constraints: 38953 2123.09/2132.22 c #Conflicts: 1756000 | #Constraints: 39962 2123.09/2132.22 c #Conflicts: 1757000 | #Constraints: 40979 2123.09/2132.22 c #Conflicts: 1758000 | #Constraints: 41994 2123.09/2132.22 c #Conflicts: 1759000 | #Constraints: 43012 2123.09/2132.22 c #Conflicts: 1760000 | #Constraints: 44029 2123.09/2132.22 c #Conflicts: 1761000 | #Constraints: 45047 2123.09/2132.22 c #Conflicts: 1762000 | #Constraints: 46059 2123.09/2132.22 c #Conflicts: 1763000 | #Constraints: 47067 2123.09/2132.22 c #Conflicts: 1764000 | #Constraints: 48078 2123.09/2132.22 c #Conflicts: 1765000 | #Constraints: 49091 2123.09/2132.22 c #Conflicts: 1766000 | #Constraints: 50103 2123.09/2132.22 c #Conflicts: 1767000 | #Constraints: 51117 2123.09/2132.22 c #Conflicts: 1768000 | #Constraints: 52131 2123.09/2132.22 c #Conflicts: 1769000 | #Constraints: 53147 2123.09/2132.22 c #Conflicts: 1770000 | #Constraints: 54162 2123.09/2132.22 c #Conflicts: 1771000 | #Constraints: 55176 2123.09/2132.22 c #Conflicts: 1772000 | #Constraints: 56188 2123.09/2132.22 c #Conflicts: 1773000 | #Constraints: 57201 2123.09/2132.22 c INPROCESSING 2123.09/2132.22 c GARBAGE COLLECT 2123.09/2132.22 c rational objective 16.6667 2172.29/2181.67 c #Conflicts: 1774000 | #Constraints: 31428 2172.29/2181.67 c #Conflicts: 1775000 | #Constraints: 32444 2172.29/2181.67 c #Conflicts: 1776000 | #Constraints: 33461 2172.29/2181.67 c #Conflicts: 1777000 | #Constraints: 34477 2172.29/2181.67 c #Conflicts: 1778000 | #Constraints: 35491 2172.29/2181.67 c #Conflicts: 1779000 | #Constraints: 36512 2172.29/2181.67 c #Conflicts: 1780000 | #Constraints: 37527 2172.29/2181.67 c #Conflicts: 1781000 | #Constraints: 38544 2172.29/2181.67 c #Conflicts: 1782000 | #Constraints: 39558 2172.29/2181.67 c #Conflicts: 1783000 | #Constraints: 40572 2172.29/2181.67 c #Conflicts: 1784000 | #Constraints: 41587 2172.29/2181.67 c #Conflicts: 1785000 | #Constraints: 42601 2172.29/2181.67 c #Conflicts: 1786000 | #Constraints: 43616 2172.29/2181.67 c #Conflicts: 1787000 | #Constraints: 44631 2172.29/2181.67 c #Conflicts: 1788000 | #Constraints: 45642 2172.29/2181.67 c #Conflicts: 1789000 | #Constraints: 46652 2172.29/2181.67 c #Conflicts: 1790000 | #Constraints: 47670 2172.29/2181.67 c #Conflicts: 1791000 | #Constraints: 48683 2172.29/2181.67 c #Conflicts: 1792000 | #Constraints: 49695 2172.29/2181.67 c #Conflicts: 1793000 | #Constraints: 50709 2172.29/2181.67 c #Conflicts: 1794000 | #Constraints: 51731 2172.29/2181.67 c #Conflicts: 1795000 | #Constraints: 52749 2172.29/2181.67 c #Conflicts: 1796000 | #Constraints: 53763 2172.29/2181.67 c #Conflicts: 1797000 | #Constraints: 54777 2172.29/2181.67 c #Conflicts: 1798000 | #Constraints: 55793 2172.29/2181.67 c #Conflicts: 1799000 | #Constraints: 56806 2172.29/2181.67 c #Conflicts: 1800000 | #Constraints: 57818 2172.29/2181.67 c INPROCESSING 2172.29/2181.67 c GARBAGE COLLECT 2172.29/2181.67 c rational objective 16.6667 2222.89/2232.43 c #Conflicts: 1801000 | #Constraints: 31840 2222.89/2232.43 c #Conflicts: 1802000 | #Constraints: 32858 2222.89/2232.43 c #Conflicts: 1803000 | #Constraints: 33878 2222.89/2232.43 c #Conflicts: 1804000 | #Constraints: 34894 2222.89/2232.43 c #Conflicts: 1805000 | #Constraints: 35912 2222.89/2232.43 c #Conflicts: 1806000 | #Constraints: 36926 2222.89/2232.43 c #Conflicts: 1807000 | #Constraints: 37941 2222.89/2232.43 c #Conflicts: 1808000 | #Constraints: 38955 2222.89/2232.43 c #Conflicts: 1809000 | #Constraints: 39970 2222.89/2232.43 c #Conflicts: 1810000 | #Constraints: 40981 2222.89/2232.43 c #Conflicts: 1811000 | #Constraints: 41993 2222.89/2232.43 c #Conflicts: 1812000 | #Constraints: 43005 2222.89/2232.43 c #Conflicts: 1813000 | #Constraints: 44027 2222.89/2232.43 c #Conflicts: 1814000 | #Constraints: 45045 2222.89/2232.43 c #Conflicts: 1815000 | #Constraints: 46057 2222.89/2232.43 c #Conflicts: 1816000 | #Constraints: 47074 2222.89/2232.43 c #Conflicts: 1817000 | #Constraints: 48086 2222.89/2232.43 c #Conflicts: 1818000 | #Constraints: 49103 2222.89/2232.43 c #Conflicts: 1819000 | #Constraints: 50117 2222.89/2232.43 c #Conflicts: 1820000 | #Constraints: 51127 2222.89/2232.43 c #Conflicts: 1821000 | #Constraints: 52144 2222.89/2232.43 c #Conflicts: 1822000 | #Constraints: 53160 2222.89/2232.43 c #Conflicts: 1823000 | #Constraints: 54174 2222.89/2232.43 c #Conflicts: 1824000 | #Constraints: 55190 2222.89/2232.43 c #Conflicts: 1825000 | #Constraints: 56204 2222.89/2232.43 c #Conflicts: 1826000 | #Constraints: 57218 2222.89/2232.43 c #Conflicts: 1827000 | #Constraints: 58234 2222.89/2232.43 c INPROCESSING 2222.89/2232.43 c GARBAGE COLLECT 2222.89/2232.43 c rational objective 16.6667 2276.77/2286.59 c #Conflicts: 1828000 | #Constraints: 32049 2276.77/2286.59 c #Conflicts: 1829000 | #Constraints: 33066 2276.77/2286.59 c #Conflicts: 1830000 | #Constraints: 34082 2276.77/2286.59 c #Conflicts: 1831000 | #Constraints: 35099 2276.77/2286.59 c #Conflicts: 1832000 | #Constraints: 36113 2276.77/2286.59 c #Conflicts: 1833000 | #Constraints: 37128 2276.77/2286.59 c #Conflicts: 1834000 | #Constraints: 38144 2276.77/2286.59 c #Conflicts: 1835000 | #Constraints: 39158 2276.77/2286.59 c #Conflicts: 1836000 | #Constraints: 40174 2276.77/2286.59 c #Conflicts: 1837000 | #Constraints: 41188 2276.77/2286.59 c #Conflicts: 1838000 | #Constraints: 42205 2276.77/2286.59 c #Conflicts: 1839000 | #Constraints: 43221 2276.77/2286.59 c #Conflicts: 1840000 | #Constraints: 44234 2276.77/2286.59 c #Conflicts: 1841000 | #Constraints: 45253 2276.77/2286.59 c #Conflicts: 1842000 | #Constraints: 46269 2276.77/2286.59 c #Conflicts: 1843000 | #Constraints: 47281 2276.77/2286.59 c #Conflicts: 1844000 | #Constraints: 48295 2276.77/2286.59 c #Conflicts: 1845000 | #Constraints: 49310 2276.77/2286.59 c #Conflicts: 1846000 | #Constraints: 50328 2276.77/2286.59 c #Conflicts: 1847000 | #Constraints: 51343 2276.77/2286.59 c #Conflicts: 1848000 | #Constraints: 52359 2276.77/2286.59 c #Conflicts: 1849000 | #Constraints: 53377 2276.77/2286.59 c #Conflicts: 1850000 | #Constraints: 54393 2276.77/2286.59 c #Conflicts: 1851000 | #Constraints: 55407 2276.77/2286.59 c #Conflicts: 1852000 | #Constraints: 56427 2276.77/2286.59 c #Conflicts: 1853000 | #Constraints: 57444 2276.77/2286.59 c #Conflicts: 1854000 | #Constraints: 58463 2276.77/2286.59 c INPROCESSING 2276.77/2286.59 c GARBAGE COLLECT 2276.77/2286.59 c rational objective 16.6667 2330.35/2340.34 c #Conflicts: 1855000 | #Constraints: 32072 2330.35/2340.34 c #Conflicts: 1856000 | #Constraints: 33090 2330.35/2340.34 c #Conflicts: 1857000 | #Constraints: 34104 2330.35/2340.34 c #Conflicts: 1858000 | #Constraints: 35122 2330.35/2340.34 c #Conflicts: 1859000 | #Constraints: 36134 2330.35/2340.34 c #Conflicts: 1860000 | #Constraints: 37150 2330.35/2340.34 c #Conflicts: 1861000 | #Constraints: 38163 2330.35/2340.34 c #Conflicts: 1862000 | #Constraints: 39179 2330.35/2340.34 c #Conflicts: 1863000 | #Constraints: 40194 2330.35/2340.34 c #Conflicts: 1864000 | #Constraints: 41209 2330.35/2340.34 c #Conflicts: 1865000 | #Constraints: 42222 2330.35/2340.34 c #Conflicts: 1866000 | #Constraints: 43236 2330.35/2340.34 c #Conflicts: 1867000 | #Constraints: 44253 2330.35/2340.34 c #Conflicts: 1868000 | #Constraints: 45271 2330.35/2340.34 c #Conflicts: 1869000 | #Constraints: 46284 2330.35/2340.34 c #Conflicts: 1870000 | #Constraints: 47300 2330.35/2340.34 c #Conflicts: 1871000 | #Constraints: 48315 2330.35/2340.34 c #Conflicts: 1872000 | #Constraints: 49330 2330.35/2340.34 c #Conflicts: 1873000 | #Constraints: 50347 2330.35/2340.34 c #Conflicts: 1874000 | #Constraints: 51363 2330.35/2340.34 c #Conflicts: 1875000 | #Constraints: 52372 2330.35/2340.34 c #Conflicts: 1876000 | #Constraints: 53385 2330.35/2340.34 c #Conflicts: 1877000 | #Constraints: 54400 2330.35/2340.34 c #Conflicts: 1878000 | #Constraints: 55417 2330.35/2340.34 c #Conflicts: 1879000 | #Constraints: 56429 2330.35/2340.34 c #Conflicts: 1880000 | #Constraints: 57441 2330.35/2340.34 c #Conflicts: 1881000 | #Constraints: 58454 2330.35/2340.34 c INPROCESSING 2330.35/2340.34 c GARBAGE COLLECT 2330.35/2340.34 c rational objective 16.6667 2385.63/2395.83 c #Conflicts: 1882000 | #Constraints: 31861 2385.63/2395.83 c #Conflicts: 1883000 | #Constraints: 32870 2385.63/2395.83 c #Conflicts: 1884000 | #Constraints: 33881 2385.63/2395.83 c #Conflicts: 1885000 | #Constraints: 34897 2385.63/2395.83 c #Conflicts: 1886000 | #Constraints: 35916 2385.63/2395.83 c #Conflicts: 1887000 | #Constraints: 36934 2385.63/2395.83 c #Conflicts: 1888000 | #Constraints: 37952 2385.63/2395.83 c #Conflicts: 1889000 | #Constraints: 38968 2385.63/2395.83 c #Conflicts: 1890000 | #Constraints: 39987 2385.63/2395.83 c #Conflicts: 1891000 | #Constraints: 41002 2385.63/2395.83 c #Conflicts: 1892000 | #Constraints: 42017 2385.63/2395.83 c #Conflicts: 1893000 | #Constraints: 43035 2385.63/2395.83 c #Conflicts: 1894000 | #Constraints: 44050 2385.63/2395.83 c #Conflicts: 1895000 | #Constraints: 45062 2385.63/2395.83 c #Conflicts: 1896000 | #Constraints: 46077 2385.63/2395.83 c #Conflicts: 1897000 | #Constraints: 47096 2385.63/2395.83 c #Conflicts: 1898000 | #Constraints: 48116 2385.63/2395.83 c #Conflicts: 1899000 | #Constraints: 49127 2385.63/2395.83 c #Conflicts: 1900000 | #Constraints: 50139 2385.63/2395.83 c #Conflicts: 1901000 | #Constraints: 51157 2385.63/2395.83 c #Conflicts: 1902000 | #Constraints: 52169 2385.63/2395.83 c #Conflicts: 1903000 | #Constraints: 53179 2385.63/2395.83 c #Conflicts: 1904000 | #Constraints: 54197 2385.63/2395.83 c #Conflicts: 1905000 | #Constraints: 55218 2385.63/2395.83 c #Conflicts: 1906000 | #Constraints: 56235 2385.63/2395.83 c #Conflicts: 1907000 | #Constraints: 57252 2385.63/2395.83 c #Conflicts: 1908000 | #Constraints: 58271 2385.63/2395.83 c #Conflicts: 1909000 | #Constraints: 59284 2385.63/2395.83 c INPROCESSING 2385.63/2395.83 c GARBAGE COLLECT 2385.63/2395.83 c rational objective 16.6667 2440.21/2450.61 c #Conflicts: 1910000 | #Constraints: 32471 2440.21/2450.61 c #Conflicts: 1911000 | #Constraints: 33484 2440.21/2450.61 c #Conflicts: 1912000 | #Constraints: 34499 2440.21/2450.61 c #Conflicts: 1913000 | #Constraints: 35515 2440.21/2450.61 c #Conflicts: 1914000 | #Constraints: 36530 2440.21/2450.61 c #Conflicts: 1915000 | #Constraints: 37545 2440.21/2450.61 c #Conflicts: 1916000 | #Constraints: 38560 2440.21/2450.61 c #Conflicts: 1917000 | #Constraints: 39574 2440.21/2450.61 c #Conflicts: 1918000 | #Constraints: 40590 2440.21/2450.61 c #Conflicts: 1919000 | #Constraints: 41603 2440.21/2450.61 c #Conflicts: 1920000 | #Constraints: 42613 2440.21/2450.61 c #Conflicts: 1921000 | #Constraints: 43624 2440.21/2450.61 c #Conflicts: 1922000 | #Constraints: 44642 2440.21/2450.61 c #Conflicts: 1923000 | #Constraints: 45658 2440.21/2450.61 c #Conflicts: 1924000 | #Constraints: 46665 2440.21/2450.61 c #Conflicts: 1925000 | #Constraints: 47674 2440.21/2450.61 c #Conflicts: 1926000 | #Constraints: 48688 2440.21/2450.61 c #Conflicts: 1927000 | #Constraints: 49703 2440.21/2450.61 c #Conflicts: 1928000 | #Constraints: 50715 2440.21/2450.61 c #Conflicts: 1929000 | #Constraints: 51730 2440.21/2450.61 c #Conflicts: 1930000 | #Constraints: 52749 2440.21/2450.61 c #Conflicts: 1931000 | #Constraints: 53769 2440.21/2450.61 c #Conflicts: 1932000 | #Constraints: 54785 2440.21/2450.61 c #Conflicts: 1933000 | #Constraints: 55805 2440.21/2450.61 c #Conflicts: 1934000 | #Constraints: 56822 2440.21/2450.61 c #Conflicts: 1935000 | #Constraints: 57831 2440.21/2450.61 c #Conflicts: 1936000 | #Constraints: 58842 2440.21/2450.61 c #Conflicts: 1937000 | #Constraints: 59857 2440.21/2450.61 c INPROCESSING 2440.21/2450.61 c GARBAGE COLLECT 2440.21/2450.61 c rational objective 16.6667 2494.09/2504.71 c #Conflicts: 1938000 | #Constraints: 32858 2494.09/2504.71 c #Conflicts: 1939000 | #Constraints: 33873 2494.09/2504.71 c #Conflicts: 1940000 | #Constraints: 34888 2494.09/2504.71 c #Conflicts: 1941000 | #Constraints: 35904 2494.09/2504.71 c #Conflicts: 1942000 | #Constraints: 36925 2494.09/2504.71 c #Conflicts: 1943000 | #Constraints: 37933 2494.09/2504.71 c #Conflicts: 1944000 | #Constraints: 38947 2494.09/2504.71 c #Conflicts: 1945000 | #Constraints: 39960 2494.09/2504.71 c #Conflicts: 1946000 | #Constraints: 40981 2494.09/2504.71 c #Conflicts: 1947000 | #Constraints: 41995 2494.09/2504.71 c #Conflicts: 1948000 | #Constraints: 43010 2494.09/2504.71 c #Conflicts: 1949000 | #Constraints: 44028 2494.09/2504.71 c #Conflicts: 1950000 | #Constraints: 45050 2494.09/2504.71 c #Conflicts: 1951000 | #Constraints: 46066 2494.09/2504.71 c #Conflicts: 1952000 | #Constraints: 47083 2494.09/2504.71 c #Conflicts: 1953000 | #Constraints: 48097 2494.09/2504.71 c #Conflicts: 1954000 | #Constraints: 49113 2494.09/2504.71 c #Conflicts: 1955000 | #Constraints: 50130 2494.09/2504.71 c #Conflicts: 1956000 | #Constraints: 51149 2494.09/2504.71 c #Conflicts: 1957000 | #Constraints: 52170 2494.09/2504.71 c #Conflicts: 1958000 | #Constraints: 53188 2494.09/2504.71 c #Conflicts: 1959000 | #Constraints: 54200 2494.09/2504.71 c #Conflicts: 1960000 | #Constraints: 55219 2494.09/2504.71 c #Conflicts: 1961000 | #Constraints: 56237 2494.09/2504.71 c #Conflicts: 1962000 | #Constraints: 57251 2494.09/2504.71 c #Conflicts: 1963000 | #Constraints: 58266 2494.09/2504.71 c #Conflicts: 1964000 | #Constraints: 59281 2494.09/2504.71 c #Conflicts: 1965000 | #Constraints: 60298 2494.09/2504.71 c INPROCESSING 2494.09/2504.71 c GARBAGE COLLECT 2494.09/2504.71 c rational objective 16.6667 2553.95/2564.89 c #Conflicts: 1966000 | #Constraints: 33084 2553.95/2564.89 c #Conflicts: 1967000 | #Constraints: 34096 2553.95/2564.89 c #Conflicts: 1968000 | #Constraints: 35114 2553.95/2564.89 c #Conflicts: 1969000 | #Constraints: 36128 2553.95/2564.89 c #Conflicts: 1970000 | #Constraints: 37141 2553.95/2564.89 c #Conflicts: 1971000 | #Constraints: 38153 2553.95/2564.89 c #Conflicts: 1972000 | #Constraints: 39164 2553.95/2564.89 c #Conflicts: 1973000 | #Constraints: 40177 2553.95/2564.89 c #Conflicts: 1974000 | #Constraints: 41189 2553.95/2564.89 c #Conflicts: 1975000 | #Constraints: 42198 2553.95/2564.89 c #Conflicts: 1976000 | #Constraints: 43213 2553.95/2564.89 c #Conflicts: 1977000 | #Constraints: 44224 2553.95/2564.89 c #Conflicts: 1978000 | #Constraints: 45238 2553.95/2564.89 c #Conflicts: 1979000 | #Constraints: 46251 2553.95/2564.89 c #Conflicts: 1980000 | #Constraints: 47265 2553.95/2564.89 c #Conflicts: 1981000 | #Constraints: 48276 2553.95/2564.89 c #Conflicts: 1982000 | #Constraints: 49286 2553.95/2564.89 c #Conflicts: 1983000 | #Constraints: 50298 2553.95/2564.89 c #Conflicts: 1984000 | #Constraints: 51314 2553.95/2564.89 c #Conflicts: 1985000 | #Constraints: 52324 2553.95/2564.89 c #Conflicts: 1986000 | #Constraints: 53335 2553.95/2564.89 c #Conflicts: 1987000 | #Constraints: 54353 2553.95/2564.89 c #Conflicts: 1988000 | #Constraints: 55371 2553.95/2564.89 c #Conflicts: 1989000 | #Constraints: 56382 2553.95/2564.89 c #Conflicts: 1990000 | #Constraints: 57400 2553.95/2564.89 c #Conflicts: 1991000 | #Constraints: 58415 2553.95/2564.89 c #Conflicts: 1992000 | #Constraints: 59429 2553.95/2564.89 c #Conflicts: 1993000 | #Constraints: 60443 2553.95/2564.89 c INPROCESSING 2553.95/2564.89 c GARBAGE COLLECT 2553.95/2564.89 c rational objective 16.6667 2609.72/2620.89 c #Conflicts: 1994000 | #Constraints: 33053 2609.72/2620.89 c #Conflicts: 1995000 | #Constraints: 34069 2609.72/2620.89 c #Conflicts: 1996000 | #Constraints: 35082 2609.72/2620.89 c #Conflicts: 1997000 | #Constraints: 36092 2609.72/2620.89 c #Conflicts: 1998000 | #Constraints: 37106 2609.72/2620.89 c #Conflicts: 1999000 | #Constraints: 38122 2609.72/2620.89 c #Conflicts: 2000000 | #Constraints: 39139 2609.72/2620.89 c #Conflicts: 2001000 | #Constraints: 40150 2609.72/2620.89 c #Conflicts: 2002000 | #Constraints: 41160 2609.72/2620.89 c #Conflicts: 2003000 | #Constraints: 42171 2609.72/2620.89 c #Conflicts: 2004000 | #Constraints: 43183 2609.72/2620.89 c #Conflicts: 2005000 | #Constraints: 44197 2609.72/2620.89 c #Conflicts: 2006000 | #Constraints: 45210 2609.72/2620.89 c #Conflicts: 2007000 | #Constraints: 46228 2609.72/2620.89 c #Conflicts: 2008000 | #Constraints: 47243 2609.72/2620.89 c #Conflicts: 2009000 | #Constraints: 48259 2609.72/2620.89 c #Conflicts: 2010000 | #Constraints: 49273 2609.72/2620.89 c #Conflicts: 2011000 | #Constraints: 50292 2609.72/2620.89 c #Conflicts: 2012000 | #Constraints: 51309 2609.72/2620.89 c #Conflicts: 2013000 | #Constraints: 52325 2609.72/2620.89 c #Conflicts: 2014000 | #Constraints: 53341 2609.72/2620.89 c #Conflicts: 2015000 | #Constraints: 54360 2609.72/2620.89 c #Conflicts: 2016000 | #Constraints: 55374 2609.72/2620.89 c #Conflicts: 2017000 | #Constraints: 56386 2609.72/2620.89 c #Conflicts: 2018000 | #Constraints: 57402 2609.72/2620.89 c #Conflicts: 2019000 | #Constraints: 58415 2609.72/2620.89 c #Conflicts: 2020000 | #Constraints: 59426 2609.72/2620.89 c #Conflicts: 2021000 | #Constraints: 60443 2609.72/2620.89 c INPROCESSING 2609.72/2620.89 c GARBAGE COLLECT 2609.72/2620.89 c rational objective 16.6667 2665.10/2676.40 c #Conflicts: 2022000 | #Constraints: 32850 2665.10/2676.40 c #Conflicts: 2023000 | #Constraints: 33861 2665.10/2676.40 c #Conflicts: 2024000 | #Constraints: 34876 2665.10/2676.40 c #Conflicts: 2025000 | #Constraints: 35893 2665.10/2676.40 c #Conflicts: 2026000 | #Constraints: 36906 2665.10/2676.40 c #Conflicts: 2027000 | #Constraints: 37919 2665.10/2676.40 c #Conflicts: 2028000 | #Constraints: 38931 2665.10/2676.40 c #Conflicts: 2029000 | #Constraints: 39943 2665.10/2676.40 c #Conflicts: 2030000 | #Constraints: 40954 2665.10/2676.40 c #Conflicts: 2031000 | #Constraints: 41966 2665.10/2676.40 c #Conflicts: 2032000 | #Constraints: 42984 2665.10/2676.40 c #Conflicts: 2033000 | #Constraints: 44003 2665.10/2676.40 c #Conflicts: 2034000 | #Constraints: 45022 2665.10/2676.40 c #Conflicts: 2035000 | #Constraints: 46039 2665.10/2676.40 c #Conflicts: 2036000 | #Constraints: 47060 2665.10/2676.40 c #Conflicts: 2037000 | #Constraints: 48077 2665.10/2676.40 c #Conflicts: 2038000 | #Constraints: 49084 2665.10/2676.40 c #Conflicts: 2039000 | #Constraints: 50095 2665.10/2676.40 c #Conflicts: 2040000 | #Constraints: 51115 2665.10/2676.40 c #Conflicts: 2041000 | #Constraints: 52125 2665.10/2676.40 c #Conflicts: 2042000 | #Constraints: 53136 2665.10/2676.40 c #Conflicts: 2043000 | #Constraints: 54152 2665.10/2676.40 c #Conflicts: 2044000 | #Constraints: 55172 2665.10/2676.40 c #Conflicts: 2045000 | #Constraints: 56189 2665.10/2676.40 c #Conflicts: 2046000 | #Constraints: 57201 2665.10/2676.40 c #Conflicts: 2047000 | #Constraints: 58209 2665.10/2676.40 c #Conflicts: 2048000 | #Constraints: 59224 2665.10/2676.40 c #Conflicts: 2049000 | #Constraints: 60235 2665.10/2676.40 c #Conflicts: 2050000 | #Constraints: 61249 2665.10/2676.40 c INPROCESSING 2665.10/2676.40 c GARBAGE COLLECT 2665.10/2676.40 c rational objective 16.6667 2726.14/2737.77 c #Conflicts: 2051000 | #Constraints: 33456 2726.14/2737.77 c #Conflicts: 2052000 | #Constraints: 34473 2726.14/2737.77 c #Conflicts: 2053000 | #Constraints: 35488 2726.14/2737.77 c #Conflicts: 2054000 | #Constraints: 36504 2726.14/2737.77 c #Conflicts: 2055000 | #Constraints: 37519 2726.14/2737.77 c #Conflicts: 2056000 | #Constraints: 38532 2726.14/2737.77 c #Conflicts: 2057000 | #Constraints: 39546 2726.14/2737.77 c #Conflicts: 2058000 | #Constraints: 40563 2726.14/2737.77 c #Conflicts: 2059000 | #Constraints: 41580 2726.14/2737.77 c #Conflicts: 2060000 | #Constraints: 42595 2726.14/2737.77 c #Conflicts: 2061000 | #Constraints: 43609 2726.14/2737.77 c #Conflicts: 2062000 | #Constraints: 44626 2726.14/2737.77 c #Conflicts: 2063000 | #Constraints: 45637 2726.14/2737.77 c #Conflicts: 2064000 | #Constraints: 46653 2726.14/2737.77 c #Conflicts: 2065000 | #Constraints: 47671 2726.14/2737.77 c #Conflicts: 2066000 | #Constraints: 48686 2726.14/2737.77 c #Conflicts: 2067000 | #Constraints: 49701 2726.14/2737.77 c #Conflicts: 2068000 | #Constraints: 50715 2726.14/2737.77 c #Conflicts: 2069000 | #Constraints: 51733 2726.14/2737.77 c #Conflicts: 2070000 | #Constraints: 52749 2726.14/2737.77 c #Conflicts: 2071000 | #Constraints: 53767 2726.14/2737.77 c #Conflicts: 2072000 | #Constraints: 54785 2726.14/2737.77 c #Conflicts: 2073000 | #Constraints: 55797 2726.14/2737.77 c #Conflicts: 2074000 | #Constraints: 56810 2726.14/2737.77 c #Conflicts: 2075000 | #Constraints: 57829 2726.14/2737.77 c #Conflicts: 2076000 | #Constraints: 58844 2726.14/2737.77 c #Conflicts: 2077000 | #Constraints: 59865 2726.14/2737.77 c #Conflicts: 2078000 | #Constraints: 60883 2726.14/2737.77 c #Conflicts: 2079000 | #Constraints: 61899 2726.14/2737.77 c INPROCESSING 2726.14/2737.77 c GARBAGE COLLECT 2726.14/2737.77 c rational objective 16.6667 2790.19/2802.00 c #Conflicts: 2080000 | #Constraints: 33884 2790.19/2802.00 c #Conflicts: 2081000 | #Constraints: 34901 2790.19/2802.00 c #Conflicts: 2082000 | #Constraints: 35916 2790.19/2802.00 c #Conflicts: 2083000 | #Constraints: 36932 2790.19/2802.00 c #Conflicts: 2084000 | #Constraints: 37946 2790.19/2802.00 c #Conflicts: 2085000 | #Constraints: 38961 2790.19/2802.00 c #Conflicts: 2086000 | #Constraints: 39981 2790.19/2802.00 c #Conflicts: 2087000 | #Constraints: 40995 2790.19/2802.00 c #Conflicts: 2088000 | #Constraints: 42009 2790.19/2802.00 c #Conflicts: 2089000 | #Constraints: 43021 2790.19/2802.00 c #Conflicts: 2090000 | #Constraints: 44033 2790.19/2802.00 c #Conflicts: 2091000 | #Constraints: 45052 2790.19/2802.00 c #Conflicts: 2092000 | #Constraints: 46067 2790.19/2802.00 c #Conflicts: 2093000 | #Constraints: 47082 2790.19/2802.00 c #Conflicts: 2094000 | #Constraints: 48094 2790.19/2802.00 c #Conflicts: 2095000 | #Constraints: 49108 2790.19/2802.00 c #Conflicts: 2096000 | #Constraints: 50123 2790.19/2802.00 c #Conflicts: 2097000 | #Constraints: 51136 2790.19/2802.00 c #Conflicts: 2098000 | #Constraints: 52150 2790.19/2802.00 c #Conflicts: 2099000 | #Constraints: 53166 2790.19/2802.00 c #Conflicts: 2100000 | #Constraints: 54177 2790.19/2802.00 c #Conflicts: 2101000 | #Constraints: 55192 2790.19/2802.00 c #Conflicts: 2102000 | #Constraints: 56209 2790.19/2802.00 c #Conflicts: 2103000 | #Constraints: 57228 2790.19/2802.00 c #Conflicts: 2104000 | #Constraints: 58243 2790.19/2802.00 c #Conflicts: 2105000 | #Constraints: 59260 2790.19/2802.00 c #Conflicts: 2106000 | #Constraints: 60279 2790.19/2802.00 c #Conflicts: 2107000 | #Constraints: 61297 2790.19/2802.00 c #Conflicts: 2108000 | #Constraints: 62314 2790.19/2802.00 c INPROCESSING 2790.19/2802.00 c GARBAGE COLLECT 2790.19/2802.00 c rational objective 16.6667 2852.34/2864.46 c #Conflicts: 2109000 | #Constraints: 34094 2852.34/2864.46 c #Conflicts: 2110000 | #Constraints: 35108 2852.34/2864.46 c #Conflicts: 2111000 | #Constraints: 36124 2852.34/2864.46 c #Conflicts: 2112000 | #Constraints: 37138 2852.34/2864.46 c #Conflicts: 2113000 | #Constraints: 38151 2852.34/2864.46 c #Conflicts: 2114000 | #Constraints: 39164 2852.34/2864.46 c #Conflicts: 2115000 | #Constraints: 40180 2852.34/2864.46 c #Conflicts: 2116000 | #Constraints: 41196 2852.34/2864.46 c #Conflicts: 2117000 | #Constraints: 42212 2852.34/2864.46 c #Conflicts: 2118000 | #Constraints: 43227 2852.34/2864.46 c #Conflicts: 2119000 | #Constraints: 44243 2852.34/2864.46 c #Conflicts: 2120000 | #Constraints: 45262 2852.34/2864.46 c #Conflicts: 2121000 | #Constraints: 46278 2852.34/2864.46 c #Conflicts: 2122000 | #Constraints: 47292 2852.34/2864.46 c #Conflicts: 2123000 | #Constraints: 48306 2852.34/2864.46 c #Conflicts: 2124000 | #Constraints: 49318 2852.34/2864.46 c #Conflicts: 2125000 | #Constraints: 50330 2852.34/2864.46 c #Conflicts: 2126000 | #Constraints: 51345 2852.34/2864.46 c #Conflicts: 2127000 | #Constraints: 52360 2852.34/2864.46 c #Conflicts: 2128000 | #Constraints: 53375 2852.34/2864.46 c #Conflicts: 2129000 | #Constraints: 54395 2852.34/2864.46 c #Conflicts: 2130000 | #Constraints: 55410 2852.34/2864.46 c #Conflicts: 2131000 | #Constraints: 56424 2852.34/2864.46 c #Conflicts: 2132000 | #Constraints: 57443 2852.34/2864.46 c #Conflicts: 2133000 | #Constraints: 58459 2852.34/2864.46 c #Conflicts: 2134000 | #Constraints: 59474 2852.34/2864.46 c #Conflicts: 2135000 | #Constraints: 60492 2852.34/2864.46 c #Conflicts: 2136000 | #Constraints: 61507 2852.34/2864.46 c #Conflicts: 2137000 | #Constraints: 62522 2852.34/2864.46 c INPROCESSING 2852.34/2864.46 c GARBAGE COLLECT 2852.34/2864.46 c rational objective 16.6667 2917.47/2929.82 c #Conflicts: 2138000 | #Constraints: 34102 2917.47/2929.82 c #Conflicts: 2139000 | #Constraints: 35121 2917.47/2929.82 c #Conflicts: 2140000 | #Constraints: 36140 2917.47/2929.82 c #Conflicts: 2141000 | #Constraints: 37156 2917.47/2929.82 c #Conflicts: 2142000 | #Constraints: 38173 2917.47/2929.82 c #Conflicts: 2143000 | #Constraints: 39191 2917.47/2929.82 c #Conflicts: 2144000 | #Constraints: 40211 2917.47/2929.82 c #Conflicts: 2145000 | #Constraints: 41228 2917.47/2929.82 c #Conflicts: 2146000 | #Constraints: 42245 2917.47/2929.82 c #Conflicts: 2147000 | #Constraints: 43263 2917.47/2929.82 c #Conflicts: 2148000 | #Constraints: 44280 2917.47/2929.82 c #Conflicts: 2149000 | #Constraints: 45298 2917.47/2929.82 c #Conflicts: 2150000 | #Constraints: 46317 2917.47/2929.82 c #Conflicts: 2151000 | #Constraints: 47333 2917.47/2929.82 c #Conflicts: 2152000 | #Constraints: 48347 2917.47/2929.82 c #Conflicts: 2153000 | #Constraints: 49364 2917.47/2929.82 c #Conflicts: 2154000 | #Constraints: 50382 2917.47/2929.82 c #Conflicts: 2155000 | #Constraints: 51399 2917.47/2929.82 c #Conflicts: 2156000 | #Constraints: 52413 2917.47/2929.82 c #Conflicts: 2157000 | #Constraints: 53431 2917.47/2929.82 c #Conflicts: 2158000 | #Constraints: 54449 2917.47/2929.82 c #Conflicts: 2159000 | #Constraints: 55466 2917.47/2929.82 c #Conflicts: 2160000 | #Constraints: 56481 2917.47/2929.82 c #Conflicts: 2161000 | #Constraints: 57501 2917.47/2929.82 c #Conflicts: 2162000 | #Constraints: 58517 2917.47/2929.82 c #Conflicts: 2163000 | #Constraints: 59538 2917.47/2929.82 c #Conflicts: 2164000 | #Constraints: 60556 2917.47/2929.82 c #Conflicts: 2165000 | #Constraints: 61569 2917.47/2929.82 c #Conflicts: 2166000 | #Constraints: 62584 2917.47/2929.82 c INPROCESSING 2917.47/2929.82 c GARBAGE COLLECT 2917.47/2929.82 c rational objective 16.6667 2987.28/2999.99 c #Conflicts: 2167000 | #Constraints: 33926 2987.28/2999.99 c #Conflicts: 2168000 | #Constraints: 34942 2987.28/2999.99 c #Conflicts: 2169000 | #Constraints: 35959 2987.28/2999.99 c #Conflicts: 2170000 | #Constraints: 36971 2987.28/2999.99 c #Conflicts: 2171000 | #Constraints: 37987 2987.28/2999.99 c #Conflicts: 2172000 | #Constraints: 39001 2987.28/2999.99 c #Conflicts: 2173000 | #Constraints: 40018 2987.28/2999.99 c #Conflicts: 2174000 | #Constraints: 41033 2987.28/2999.99 c #Conflicts: 2175000 | #Constraints: 42045 2987.28/2999.99 c #Conflicts: 2176000 | #Constraints: 43053 2987.28/2999.99 c #Conflicts: 2177000 | #Constraints: 44061 2987.28/2999.99 c #Conflicts: 2178000 | #Constraints: 45076 2987.28/2999.99 c #Conflicts: 2179000 | #Constraints: 46098 2987.28/2999.99 c #Conflicts: 2180000 | #Constraints: 47118 2987.28/2999.99 c #Conflicts: 2181000 | #Constraints: 48135 2987.28/2999.99 c #Conflicts: 2182000 | #Constraints: 49149 2987.28/2999.99 c #Conflicts: 2183000 | #Constraints: 50165 2987.28/2999.99 c #Conflicts: 2184000 | #Constraints: 51182 2987.28/2999.99 c #Conflicts: 2185000 | #Constraints: 52199 2987.28/2999.99 c #Conflicts: 2186000 | #Constraints: 53215 2987.28/2999.99 c #Conflicts: 2187000 | #Constraints: 54230 2987.28/2999.99 c #Conflicts: 2188000 | #Constraints: 55248 2987.28/2999.99 c #Conflicts: 2189000 | #Constraints: 56266 2987.28/2999.99 c #Conflicts: 2190000 | #Constraints: 57286 2987.28/2999.99 c #Conflicts: 2191000 | #Constraints: 58295 2987.28/2999.99 c #Conflicts: 2192000 | #Constraints: 59311 2987.28/2999.99 c #Conflicts: 2193000 | #Constraints: 60325 2987.28/2999.99 c #Conflicts: 2194000 | #Constraints: 61342 2987.28/2999.99 c #Conflicts: 2195000 | #Constraints: 62356 2987.28/2999.99 c #Conflicts: 2196000 | #Constraints: 63371 2987.28/2999.99 c INPROCESSING 2987.28/2999.99 c GARBAGE COLLECT 2987.28/2999.99 c rational objective 16.6667 3061.88/3074.88 c #Conflicts: 2197000 | #Constraints: 34523 3061.88/3074.88 c #Conflicts: 2198000 | #Constraints: 35540 3061.88/3074.88 c #Conflicts: 2199000 | #Constraints: 36559 3061.88/3074.88 c #Conflicts: 2200000 | #Constraints: 37577 3061.88/3074.88 c #Conflicts: 2201000 | #Constraints: 38594 3061.88/3074.88 c #Conflicts: 2202000 | #Constraints: 39608 3061.88/3074.88 c #Conflicts: 2203000 | #Constraints: 40624 3061.88/3074.88 c #Conflicts: 2204000 | #Constraints: 41642 3061.88/3074.88 c #Conflicts: 2205000 | #Constraints: 42653 3061.88/3074.88 c #Conflicts: 2206000 | #Constraints: 43665 3061.88/3074.88 c #Conflicts: 2207000 | #Constraints: 44678 3061.88/3074.88 c #Conflicts: 2208000 | #Constraints: 45692 3061.88/3074.88 c #Conflicts: 2209000 | #Constraints: 46710 3061.88/3074.88 c #Conflicts: 2210000 | #Constraints: 47724 3061.88/3074.88 c #Conflicts: 2211000 | #Constraints: 48739 3061.88/3074.88 c #Conflicts: 2212000 | #Constraints: 49753 3061.88/3074.88 c #Conflicts: 2213000 | #Constraints: 50764 3061.88/3074.88 c #Conflicts: 2214000 | #Constraints: 51779 3061.88/3074.88 c #Conflicts: 2215000 | #Constraints: 52790 3061.88/3074.88 c #Conflicts: 2216000 | #Constraints: 53805 3061.88/3074.88 c #Conflicts: 2217000 | #Constraints: 54816 3061.88/3074.88 c #Conflicts: 2218000 | #Constraints: 55829 3061.88/3074.88 c #Conflicts: 2219000 | #Constraints: 56838 3061.88/3074.88 c #Conflicts: 2220000 | #Constraints: 57856 3061.88/3074.88 c #Conflicts: 2221000 | #Constraints: 58870 3061.88/3074.88 c #Conflicts: 2222000 | #Constraints: 59885 3061.88/3074.88 c #Conflicts: 2223000 | #Constraints: 60897 3061.88/3074.88 c #Conflicts: 2224000 | #Constraints: 61909 3061.88/3074.88 c #Conflicts: 2225000 | #Constraints: 62921 3061.88/3074.88 c #Conflicts: 2226000 | #Constraints: 63937 3061.88/3074.88 c INPROCESSING 3061.88/3074.88 c GARBAGE COLLECT 3061.88/3074.88 c rational objective 16.6667 3140.25/3153.59 c #Conflicts: 2227000 | #Constraints: 34909 3140.25/3153.59 c #Conflicts: 2228000 | #Constraints: 35922 3140.25/3153.59 c #Conflicts: 2229000 | #Constraints: 36935 3140.25/3153.59 c #Conflicts: 2230000 | #Constraints: 37949 3140.25/3153.59 c #Conflicts: 2231000 | #Constraints: 38962 3140.25/3153.59 c #Conflicts: 2232000 | #Constraints: 39971 3140.25/3153.59 c #Conflicts: 2233000 | #Constraints: 40981 3140.25/3153.59 c #Conflicts: 2234000 | #Constraints: 41999 3140.25/3153.59 c #Conflicts: 2235000 | #Constraints: 43011 3140.25/3153.59 c #Conflicts: 2236000 | #Constraints: 44025 3140.25/3153.59 c #Conflicts: 2237000 | #Constraints: 45036 3140.25/3153.59 c #Conflicts: 2238000 | #Constraints: 46046 3140.25/3153.59 c #Conflicts: 2239000 | #Constraints: 47058 3140.25/3153.59 c #Conflicts: 2240000 | #Constraints: 48070 3140.25/3153.59 c #Conflicts: 2241000 | #Constraints: 49081 3140.25/3153.59 c #Conflicts: 2242000 | #Constraints: 50101 3140.25/3153.59 c #Conflicts: 2243000 | #Constraints: 51118 3140.25/3153.59 c #Conflicts: 2244000 | #Constraints: 52133 3140.25/3153.59 c #Conflicts: 2245000 | #Constraints: 53147 3140.25/3153.59 c #Conflicts: 2246000 | #Constraints: 54165 3140.25/3153.59 c #Conflicts: 2247000 | #Constraints: 55182 3140.25/3153.59 c #Conflicts: 2248000 | #Constraints: 56196 3140.25/3153.59 c #Conflicts: 2249000 | #Constraints: 57210 3140.25/3153.59 c #Conflicts: 2250000 | #Constraints: 58225 3140.25/3153.59 c #Conflicts: 2251000 | #Constraints: 59241 3140.25/3153.59 c #Conflicts: 2252000 | #Constraints: 60254 3140.25/3153.59 c #Conflicts: 2253000 | #Constraints: 61267 3140.25/3153.59 c #Conflicts: 2254000 | #Constraints: 62281 3140.25/3153.59 c #Conflicts: 2255000 | #Constraints: 63289 3140.25/3153.59 c #Conflicts: 2256000 | #Constraints: 64302 3140.25/3153.59 c INPROCESSING 3140.25/3153.59 c GARBAGE COLLECT 3140.25/3153.59 c rational objective 16.6667 3221.03/3234.62 c #Conflicts: 2257000 | #Constraints: 35086 3221.03/3234.62 c #Conflicts: 2258000 | #Constraints: 36100 3221.03/3234.62 c #Conflicts: 2259000 | #Constraints: 37111 3221.03/3234.62 c #Conflicts: 2260000 | #Constraints: 38124 3221.03/3234.62 c #Conflicts: 2261000 | #Constraints: 39137 3221.03/3234.62 c #Conflicts: 2262000 | #Constraints: 40152 3221.03/3234.62 c #Conflicts: 2263000 | #Constraints: 41169 3221.03/3234.62 c #Conflicts: 2264000 | #Constraints: 42182 3221.03/3234.62 c #Conflicts: 2265000 | #Constraints: 43201 3221.03/3234.62 c #Conflicts: 2266000 | #Constraints: 44219 3221.03/3234.62 c #Conflicts: 2267000 | #Constraints: 45233 3221.03/3234.62 c #Conflicts: 2268000 | #Constraints: 46248 3221.03/3234.62 c #Conflicts: 2269000 | #Constraints: 47266 3221.03/3234.62 c #Conflicts: 2270000 | #Constraints: 48280 3221.03/3234.62 c #Conflicts: 2271000 | #Constraints: 49295 3221.03/3234.62 c #Conflicts: 2272000 | #Constraints: 50308 3221.03/3234.62 c #Conflicts: 2273000 | #Constraints: 51326 3221.03/3234.62 c #Conflicts: 2274000 | #Constraints: 52341 3221.03/3234.62 c #Conflicts: 2275000 | #Constraints: 53354 3221.03/3234.62 c #Conflicts: 2276000 | #Constraints: 54368 3221.03/3234.62 c #Conflicts: 2277000 | #Constraints: 55378 3221.03/3234.62 c #Conflicts: 2278000 | #Constraints: 56391 3221.03/3234.62 c #Conflicts: 2279000 | #Constraints: 57406 3221.03/3234.62 c #Conflicts: 2280000 | #Constraints: 58420 3221.03/3234.62 c #Conflicts: 2281000 | #Constraints: 59434 3221.03/3234.62 c #Conflicts: 2282000 | #Constraints: 60448 3221.03/3234.62 c #Conflicts: 2283000 | #Constraints: 61460 3221.03/3234.62 c #Conflicts: 2284000 | #Constraints: 62473 3221.03/3234.62 c #Conflicts: 2285000 | #Constraints: 63486 3221.03/3234.62 c #Conflicts: 2286000 | #Constraints: 64495 3221.03/3234.62 c INPROCESSING 3221.03/3234.62 c GARBAGE COLLECT 3221.03/3234.62 c rational objective 16.6667 3292.03/3305.97 c #Conflicts: 2287000 | #Constraints: 35088 3292.03/3305.97 c #Conflicts: 2288000 | #Constraints: 36103 3292.03/3305.97 c #Conflicts: 2289000 | #Constraints: 37119 3292.03/3305.97 c #Conflicts: 2290000 | #Constraints: 38133 3292.03/3305.97 c #Conflicts: 2291000 | #Constraints: 39146 3292.03/3305.97 c #Conflicts: 2292000 | #Constraints: 40159 3292.03/3305.97 c #Conflicts: 2293000 | #Constraints: 41177 3292.03/3305.97 c #Conflicts: 2294000 | #Constraints: 42198 3292.03/3305.97 c #Conflicts: 2295000 | #Constraints: 43212 3292.03/3305.97 c #Conflicts: 2296000 | #Constraints: 44228 3292.03/3305.97 c #Conflicts: 2297000 | #Constraints: 45241 3292.03/3305.97 c #Conflicts: 2298000 | #Constraints: 46255 3292.03/3305.97 c #Conflicts: 2299000 | #Constraints: 47264 3292.03/3305.97 c #Conflicts: 2300000 | #Constraints: 48281 3292.03/3305.97 c #Conflicts: 2301000 | #Constraints: 49297 3292.03/3305.97 c #Conflicts: 2302000 | #Constraints: 50312 3292.03/3305.97 c #Conflicts: 2303000 | #Constraints: 51330 3292.03/3305.97 c #Conflicts: 2304000 | #Constraints: 52345 3292.03/3305.97 c #Conflicts: 2305000 | #Constraints: 53360 3292.03/3305.97 c #Conflicts: 2306000 | #Constraints: 54376 3292.03/3305.97 c #Conflicts: 2307000 | #Constraints: 55391 3292.03/3305.97 c #Conflicts: 2308000 | #Constraints: 56407 3292.03/3305.97 c #Conflicts: 2309000 | #Constraints: 57424 3292.03/3305.97 c #Conflicts: 2310000 | #Constraints: 58439 3292.03/3305.97 c #Conflicts: 2311000 | #Constraints: 59456 3292.03/3305.97 c #Conflicts: 2312000 | #Constraints: 60470 3292.03/3305.97 c #Conflicts: 2313000 | #Constraints: 61485 3292.03/3305.97 c #Conflicts: 2314000 | #Constraints: 62500 3292.03/3305.97 c #Conflicts: 2315000 | #Constraints: 63514 3292.03/3305.97 c #Conflicts: 2316000 | #Constraints: 64526 3292.03/3305.97 c INPROCESSING 3292.03/3305.97 c GARBAGE COLLECT 3292.03/3305.97 c rational objective 16.6667 3351.64/3365.74 c #Conflicts: 2317000 | #Constraints: 34896 3351.64/3365.74 c #Conflicts: 2318000 | #Constraints: 35912 3351.64/3365.74 c #Conflicts: 2319000 | #Constraints: 36927 3351.64/3365.74 c #Conflicts: 2320000 | #Constraints: 37941 3351.64/3365.74 c #Conflicts: 2321000 | #Constraints: 38957 3351.64/3365.74 c #Conflicts: 2322000 | #Constraints: 39972 3351.64/3365.74 c #Conflicts: 2323000 | #Constraints: 40985 3351.64/3365.74 c #Conflicts: 2324000 | #Constraints: 42001 3351.64/3365.74 c #Conflicts: 2325000 | #Constraints: 43017 3351.64/3365.74 c #Conflicts: 2326000 | #Constraints: 44030 3351.64/3365.74 c #Conflicts: 2327000 | #Constraints: 45043 3351.64/3365.74 c #Conflicts: 2328000 | #Constraints: 46055 3351.64/3365.74 c #Conflicts: 2329000 | #Constraints: 47069 3351.64/3365.74 c #Conflicts: 2330000 | #Constraints: 48083 3351.64/3365.74 c #Conflicts: 2331000 | #Constraints: 49094 3351.64/3365.74 c #Conflicts: 2332000 | #Constraints: 50106 3351.64/3365.74 c #Conflicts: 2333000 | #Constraints: 51120 3351.64/3365.74 c #Conflicts: 2334000 | #Constraints: 52133 3351.64/3365.74 c #Conflicts: 2335000 | #Constraints: 53142 3351.64/3365.74 c #Conflicts: 2336000 | #Constraints: 54154 3351.64/3365.74 c #Conflicts: 2337000 | #Constraints: 55164 3351.64/3365.74 c #Conflicts: 2338000 | #Constraints: 56173 3351.64/3365.74 c #Conflicts: 2339000 | #Constraints: 57184 3351.64/3365.74 c #Conflicts: 2340000 | #Constraints: 58189 3351.64/3365.74 c #Conflicts: 2341000 | #Constraints: 59196 3351.64/3365.74 c #Conflicts: 2342000 | #Constraints: 60203 3351.64/3365.74 c #Conflicts: 2343000 | #Constraints: 61216 3351.64/3365.74 c #Conflicts: 2344000 | #Constraints: 62232 3351.64/3365.74 c #Conflicts: 2345000 | #Constraints: 63248 3351.64/3365.74 c #Conflicts: 2346000 | #Constraints: 64263 3351.64/3365.74 c #Conflicts: 2347000 | #Constraints: 65275 3351.64/3365.74 c INPROCESSING 3351.64/3365.74 c GARBAGE COLLECT 3351.64/3365.74 c rational objective 16.6667 3404.09/3418.31 c #Conflicts: 2348000 | #Constraints: 35471 3404.09/3418.31 c #Conflicts: 2349000 | #Constraints: 36488 3404.09/3418.31 c #Conflicts: 2350000 | #Constraints: 37501 3404.09/3418.31 c #Conflicts: 2351000 | #Constraints: 38517 3404.09/3418.31 c #Conflicts: 2352000 | #Constraints: 39533 3404.09/3418.31 c #Conflicts: 2353000 | #Constraints: 40545 3404.09/3418.31 c #Conflicts: 2354000 | #Constraints: 41555 3404.09/3418.31 c #Conflicts: 2355000 | #Constraints: 42573 3404.09/3418.31 c #Conflicts: 2356000 | #Constraints: 43589 3404.09/3418.31 c #Conflicts: 2357000 | #Constraints: 44601 3404.09/3418.31 c #Conflicts: 2358000 | #Constraints: 45614 3404.09/3418.31 c #Conflicts: 2359000 | #Constraints: 46626 3404.09/3418.31 c #Conflicts: 2360000 | #Constraints: 47645 3404.09/3418.31 c #Conflicts: 2361000 | #Constraints: 48659 3404.09/3418.31 c #Conflicts: 2362000 | #Constraints: 49672 3404.09/3418.31 c #Conflicts: 2363000 | #Constraints: 50686 3404.09/3418.31 c #Conflicts: 2364000 | #Constraints: 51700 3404.09/3418.31 c #Conflicts: 2365000 | #Constraints: 52713 3404.09/3418.31 c #Conflicts: 2366000 | #Constraints: 53727 3404.09/3418.31 c #Conflicts: 2367000 | #Constraints: 54739 3404.09/3418.31 c #Conflicts: 2368000 | #Constraints: 55749 3404.09/3418.31 c #Conflicts: 2369000 | #Constraints: 56762 3404.09/3418.31 c #Conflicts: 2370000 | #Constraints: 57777 3404.09/3418.31 c #Conflicts: 2371000 | #Constraints: 58786 3404.09/3418.31 c #Conflicts: 2372000 | #Constraints: 59796 3404.09/3418.31 c #Conflicts: 2373000 | #Constraints: 60810 3404.09/3418.31 c #Conflicts: 2374000 | #Constraints: 61827 3404.09/3418.31 c #Conflicts: 2375000 | #Constraints: 62844 3404.09/3418.31 c #Conflicts: 2376000 | #Constraints: 63861 3404.09/3418.31 c #Conflicts: 2377000 | #Constraints: 64877 3404.09/3418.31 c #Conflicts: 2378000 | #Constraints: 65894 3404.09/3418.31 c INPROCESSING 3404.09/3418.31 c GARBAGE COLLECT 3404.09/3418.31 c rational objective 16.6667 3461.53/3475.92 c #Conflicts: 2379000 | #Constraints: 35885 3461.53/3475.92 c #Conflicts: 2380000 | #Constraints: 36899 3461.53/3475.92 c #Conflicts: 2381000 | #Constraints: 37918 3461.53/3475.92 c #Conflicts: 2382000 | #Constraints: 38931 3461.53/3475.92 c #Conflicts: 2383000 | #Constraints: 39946 3461.53/3475.92 c #Conflicts: 2384000 | #Constraints: 40963 3461.53/3475.92 c #Conflicts: 2385000 | #Constraints: 41977 3461.53/3475.92 c #Conflicts: 2386000 | #Constraints: 42991 3461.53/3475.92 c #Conflicts: 2387000 | #Constraints: 44004 3461.53/3475.92 c #Conflicts: 2388000 | #Constraints: 45018 3461.53/3475.92 c #Conflicts: 2389000 | #Constraints: 46035 3461.53/3475.92 c #Conflicts: 2390000 | #Constraints: 47051 3461.53/3475.92 c #Conflicts: 2391000 | #Constraints: 48064 3461.53/3475.92 c #Conflicts: 2392000 | #Constraints: 49077 3461.53/3475.92 c #Conflicts: 2393000 | #Constraints: 50089 3461.53/3475.92 c #Conflicts: 2394000 | #Constraints: 51108 3461.53/3475.92 c #Conflicts: 2395000 | #Constraints: 52122 3461.53/3475.92 c #Conflicts: 2396000 | #Constraints: 53138 3461.53/3475.92 c #Conflicts: 2397000 | #Constraints: 54153 3461.53/3475.92 c #Conflicts: 2398000 | #Constraints: 55167 3461.53/3475.92 c #Conflicts: 2399000 | #Constraints: 56184 3461.53/3475.92 c #Conflicts: 2400000 | #Constraints: 57197 3461.53/3475.92 c #Conflicts: 2401000 | #Constraints: 58211 3461.53/3475.92 c #Conflicts: 2402000 | #Constraints: 59226 3461.53/3475.92 c #Conflicts: 2403000 | #Constraints: 60235 3461.53/3475.92 c #Conflicts: 2404000 | #Constraints: 61249 3461.53/3475.92 c #Conflicts: 2405000 | #Constraints: 62264 3461.53/3475.92 c #Conflicts: 2406000 | #Constraints: 63280 3461.53/3475.92 c #Conflicts: 2407000 | #Constraints: 64294 3461.53/3475.92 c #Conflicts: 2408000 | #Constraints: 65308 3461.53/3475.92 c #Conflicts: 2409000 | #Constraints: 66328 3461.53/3475.92 c INPROCESSING 3461.53/3475.92 c GARBAGE COLLECT 3461.53/3475.92 c rational objective 16.6667 3523.75/3538.36 c #Conflicts: 2410000 | #Constraints: 36099 3523.75/3538.36 c #Conflicts: 2411000 | #Constraints: 37114 3523.75/3538.36 c #Conflicts: 2412000 | #Constraints: 38126 3523.75/3538.36 c #Conflicts: 2413000 | #Constraints: 39143 3523.75/3538.36 c #Conflicts: 2414000 | #Constraints: 40161 3523.75/3538.36 c #Conflicts: 2415000 | #Constraints: 41178 3523.75/3538.36 c #Conflicts: 2416000 | #Constraints: 42192 3523.75/3538.36 c #Conflicts: 2417000 | #Constraints: 43206 3523.75/3538.36 c #Conflicts: 2418000 | #Constraints: 44218 3523.75/3538.36 c #Conflicts: 2419000 | #Constraints: 45228 3523.75/3538.36 c #Conflicts: 2420000 | #Constraints: 46243 3523.75/3538.36 c #Conflicts: 2421000 | #Constraints: 47256 3523.75/3538.36 c #Conflicts: 2422000 | #Constraints: 48271 3523.75/3538.36 c #Conflicts: 2423000 | #Constraints: 49287 3523.75/3538.36 c #Conflicts: 2424000 | #Constraints: 50299 3523.75/3538.36 c #Conflicts: 2425000 | #Constraints: 51313 3523.75/3538.36 c #Conflicts: 2426000 | #Constraints: 52331 3523.75/3538.36 c #Conflicts: 2427000 | #Constraints: 53344 3523.75/3538.36 c #Conflicts: 2428000 | #Constraints: 54360 3523.75/3538.36 c #Conflicts: 2429000 | #Constraints: 55374 3523.75/3538.36 c #Conflicts: 2430000 | #Constraints: 56387 3523.75/3538.36 c #Conflicts: 2431000 | #Constraints: 57401 3523.75/3538.36 c #Conflicts: 2432000 | #Constraints: 58418 3523.75/3538.36 c #Conflicts: 2433000 | #Constraints: 59430 3523.75/3538.36 c #Conflicts: 2434000 | #Constraints: 60443 3523.75/3538.36 c #Conflicts: 2435000 | #Constraints: 61456 3523.75/3538.36 c #Conflicts: 2436000 | #Constraints: 62470 3523.75/3538.36 c #Conflicts: 2437000 | #Constraints: 63481 3523.75/3538.36 c #Conflicts: 2438000 | #Constraints: 64495 3523.75/3538.36 c #Conflicts: 2439000 | #Constraints: 65511 3523.75/3538.36 c #Conflicts: 2440000 | #Constraints: 66525 3523.75/3538.36 c INPROCESSING 3523.75/3538.36 c GARBAGE COLLECT 3523.75/3538.36 c rational objective 16.6667 3571.71/3586.46 c #Conflicts: 2441000 | #Constraints: 36098 3571.71/3586.46 c #Conflicts: 2442000 | #Constraints: 37112 3571.71/3586.46 c #Conflicts: 2443000 | #Constraints: 38126 3571.71/3586.46 c #Conflicts: 2444000 | #Constraints: 39141 3571.71/3586.46 c #Conflicts: 2445000 | #Constraints: 40157 3571.71/3586.46 c #Conflicts: 2446000 | #Constraints: 41170 3571.71/3586.46 c #Conflicts: 2447000 | #Constraints: 42185 3571.71/3586.46 c #Conflicts: 2448000 | #Constraints: 43201 3571.71/3586.46 c #Conflicts: 2449000 | #Constraints: 44211 3571.71/3586.46 c #Conflicts: 2450000 | #Constraints: 45224 3571.71/3586.46 c #Conflicts: 2451000 | #Constraints: 46240 3571.71/3586.46 c #Conflicts: 2452000 | #Constraints: 47257 3571.71/3586.46 c #Conflicts: 2453000 | #Constraints: 48276 3571.71/3586.46 c #Conflicts: 2454000 | #Constraints: 49292 3571.71/3586.46 c #Conflicts: 2455000 | #Constraints: 50303 3571.71/3586.46 c #Conflicts: 2456000 | #Constraints: 51312 3571.71/3586.46 c #Conflicts: 2457000 | #Constraints: 52324 3571.71/3586.46 c #Conflicts: 2458000 | #Constraints: 53335 3571.71/3586.46 c #Conflicts: 2459000 | #Constraints: 54343 3571.71/3586.46 c #Conflicts: 2460000 | #Constraints: 55353 3571.71/3586.46 c #Conflicts: 2461000 | #Constraints: 56364 3571.71/3586.46 c #Conflicts: 2462000 | #Constraints: 57376 3571.71/3586.46 c #Conflicts: 2463000 | #Constraints: 58392 3571.71/3586.46 c #Conflicts: 2464000 | #Constraints: 59406 3571.71/3586.46 c #Conflicts: 2465000 | #Constraints: 60414 3571.71/3586.46 c #Conflicts: 2466000 | #Constraints: 61429 3571.71/3586.46 c #Conflicts: 2467000 | #Constraints: 62444 3571.71/3586.46 c #Conflicts: 2468000 | #Constraints: 63456 3571.71/3586.46 c #Conflicts: 2469000 | #Constraints: 64468 3571.71/3586.46 c #Conflicts: 2470000 | #Constraints: 65481 3571.71/3586.46 c #Conflicts: 2471000 | #Constraints: 66496 3571.71/3586.46 c INPROCESSING 3571.71/3586.46 c GARBAGE COLLECT 3571.71/3586.46 c rational objective 16.6667 3600.03/3614.80 c #Conflicts: 2472000 | #Constraints: 35877 3600.03/3614.80 c #Conflicts: 2473000 | #Constraints: 36888 3600.03/3614.80 c #Conflicts: 2474000 | #Constraints: 37901 3600.03/3614.80 c #Conflicts: 2475000 | #Constraints: 38917 3600.03/3614.80 c #Conflicts: 2476000 | #Constraints: 39927 3600.03/3614.80 c #Conflicts: 2477000 | #Constraints: 40944 3600.03/3614.80 c #Conflicts: 2478000 | #Constraints: 41958 3600.03/3614.80 c #Conflicts: 2479000 | #Constraints: 42972 3600.03/3614.80 c #Conflicts: 2480000 | #Constraints: 43982 3600.03/3614.80 c #Conflicts: 2481000 | #Constraints: 44996 3600.03/3614.80 c #Conflicts: 2482000 | #Constraints: 46012 3600.03/3614.80 c #Conflicts: 2483000 | #Constraints: 47021 3600.03/3614.80 c #Conflicts: 2484000 | #Constraints: 48031 3600.03/3614.80 c #Conflicts: 2485000 | #Constraints: 49050 3600.03/3614.80 c #Conflicts: 2486000 | #Constraints: 50068 3600.03/3614.80 c #Conflicts: 2487000 | #Constraints: 51082 3600.03/3614.80 c #Conflicts: 2488000 | #Constraints: 52092 3600.03/3614.80 c #Conflicts: 2489000 | #Constraints: 53104 3600.03/3614.80 c #Conflicts: 2490000 | #Constraints: 54117 3600.03/3614.80 c #Conflicts: 2491000 | #Constraints: 55128 3600.03/3614.80 c Program interrupted by user. 3600.03/3614.81 c cpu time 3568.54 s 3600.03/3614.81 c deterministic time 273479718174 2.73e+11 3600.03/3614.81 c optimization time 27.9946 s 3600.03/3614.81 c total solve time 3540.53 s 3600.03/3614.81 c core-guided solve time 0 s 3600.03/3614.81 c propagation time 3140.39 s 3600.03/3614.81 c conflict analysis time 379.766 s 3600.03/3614.81 c propagations 76399537 3600.03/3614.81 c resolve steps 11603041 3600.03/3614.81 c decisions 6338961 3600.03/3614.81 c conflicts 2491410 3600.03/3614.81 c restarts 4214 3600.03/3614.81 c inprocessing phases 148 3600.03/3614.81 c input clauses 3831 3600.03/3614.81 c input cardinalities 1 3600.03/3614.81 c input general constraints 0 3600.03/3614.81 c input average constraint length 6.02 3600.03/3614.81 c input average constraint degree 1.02 3600.03/3614.81 c learned clauses 980748 3600.03/3614.81 c learned cardinalities 82461 3600.03/3614.81 c learned general constraints 1463938 3600.03/3614.81 c learned average constraint length 46.84 3600.03/3614.81 c learned average constraint degree 54434896.16 3600.03/3614.81 c watched constraints 939354 3600.03/3614.81 c counting constraints 524584 3600.03/3614.81 c gcd simplifications 116649 3600.03/3614.81 c detected cardinalities 770 3600.03/3614.81 c weakened non-implied lits 31136771 3600.03/3614.81 c weakened non-implying lits 114437 3600.03/3614.81 c original variables 100 3600.03/3614.81 c clausal propagations 15082207 3600.03/3614.81 c cardinality propagations 7199885 3600.03/3614.81 c watched propagations 17315069 3600.03/3614.81 c counting propagations 30682276 3600.03/3614.81 c watch lookups 104690338325 3600.03/3614.81 c watch backjump lookups 81881276265 3600.03/3614.81 c watch checks 84902119650 3600.03/3614.81 c propagation checks 1457712994 3600.03/3614.81 c constraint additions 377736201 3600.03/3614.81 c trail pops 85194091 3600.03/3614.81 c formula constraints 3832 3600.03/3614.81 c learned constraints 2455671 3600.03/3614.81 c bound constraints 0 3600.03/3614.81 c core-guided constraints 0 3600.03/3614.81 c encountered formula constraints 7743012 3600.03/3614.81 c encountered learned constraints 5518760 3600.03/3614.81 c encountered bound constraints 0 3600.03/3614.81 c encountered core-guided constraints 0 3600.03/3614.81 c LP total time 273.847 s 3600.03/3614.81 c LP solve time 258.95 s 3600.03/3614.81 c LP constraints added 3832 3600.03/3614.81 c LP constraints removed 0 3600.03/3614.81 c LP pivots internal 2491490 3600.03/3614.81 c LP pivots root 110659 3600.03/3614.81 c LP calls 35927 3600.03/3614.81 c LP optimalities 188 3600.03/3614.81 c LP no pivot count 1 3600.03/3614.81 c LP infeasibilities 35738 3600.03/3614.81 c LP valid Farkas constraints 35738 3600.03/3614.81 c LP learned Farkas constraints 35738 3600.03/3614.81 c LP basis resets 0 3600.03/3614.81 c LP cycling count 0 3600.03/3614.81 c LP singular count 0 3600.03/3614.81 c LP no primal count 0 3600.03/3614.81 c LP no farkas count 0 3600.03/3614.81 c LP other issue count 0 3600.03/3614.81 c LP Gomory cuts 0 3600.03/3614.81 c LP learned cuts 0 3600.03/3614.81 c LP deleted cuts 0 3600.03/3614.81 c LP encountered Gomory constraints 0 3600.03/3614.81 c LP encountered Farkas constraints 532284 3600.03/3614.81 c LP encountered learned Farkas constraints 264657 3600.03/3614.81 c CG auxiliary variables introduced 0 3600.03/3614.81 c CG solutions found 0 3600.03/3614.81 c CG cores constructed 0 3600.03/3614.81 c CG core cardinality constraints returned 0 3600.03/3614.81 c CG unit cores 0 3600.03/3614.81 c CG single cores 0 3600.03/3614.81 c CG blocks removed during cardinality reduction 0 3600.03/3614.81 c CG first core best 0 3600.03/3614.81 c CG decision core best 0 3600.03/3614.81 c CG core reduction tie 0 3600.03/3614.81 c CG core degree average 0.00 3600.03/3614.81 c CG core slack average 0.00 3600.03/3614.81 s UNKNOWN
ERROR: no interpretation found !
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: 63968 MiB (58834 MiB free)
memory of node 1: 64473 MiB (57005 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460900-1722072377/watcher-4460900-1722072377 -o /tmp/evaluation-result-4460900-1722072377/solver-4460900-1722072377 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369841 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460900-1722072377 --lp-cut-gomory=0 HOME/instance-4460900-1722072377.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=374987, runsolver pid=374984
[startup+0.100329 s]*
/proc/loadavg: 4.08 4.16 4.13 5/270 374988
/proc/meminfo: memFree=118614000/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=40296 memory=9908 CPUtime=0.09 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 1490 0 0 0 9 0 0 0 20 0 1 0 43760578 41263104 2477 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 10074 2477 1670 992 0 1932 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40296 KiB
Current children cumulated memory: 9908 KiB
[startup+0.206031 s]*
/proc/loadavg: 4.08 4.16 4.13 5/270 374988
/proc/meminfo: memFree=118612444/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=40472 memory=11152 CPUtime=0.2 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 1604 0 0 0 19 1 0 0 20 0 1 0 43760578 41443328 2788 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 10118 2788 1862 992 0 1976 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40472 KiB
Current children cumulated memory: 11152 KiB
[startup+0.305919 s]*
/proc/loadavg: 4.08 4.16 4.13 5/270 374988
/proc/meminfo: memFree=118610288/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=40604 memory=11680 CPUtime=0.29 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 1732 0 0 0 28 1 0 0 20 0 1 0 43760578 41578496 2920 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 10151 2920 1862 992 0 2009 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40604 KiB
Current children cumulated memory: 11680 KiB
[startup+0.700232 s]
/proc/loadavg: 4.08 4.16 4.13 5/270 374988
/proc/meminfo: memFree=118602420/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=41292 memory=12472 CPUtime=0.68 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 1965 0 0 0 65 3 0 0 20 0 1 0 43760578 42283008 3118 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 10323 3118 1862 992 0 2181 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41292 KiB
Current children cumulated memory: 12472 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.16 4.13 5/270 374988
/proc/meminfo: memFree=118586412/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=42792 memory=16364 CPUtime=1.48 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 2387 0 0 0 142 6 0 0 20 0 1 0 43760578 43819008 4091 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 10698 4091 1862 992 0 2556 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 16364 KiB
[startup+3.10573 s]
/proc/loadavg: 4.15 4.18 4.13 5/270 374988
/proc/meminfo: memFree=118528816/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=43288 memory=16888 CPUtime=3.08 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 2528 0 0 0 296 12 0 0 20 0 1 0 43760578 44326912 4222 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 10822 4222 1862 992 0 2680 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43288 KiB
Current children cumulated memory: 16888 KiB
[startup+6.30022 s]
/proc/loadavg: 4.15 4.18 4.13 5/270 374988
/proc/meminfo: memFree=118475472/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=44216 memory=17940 CPUtime=6.26 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 2767 0 0 0 604 22 0 0 20 0 1 0 43760578 45277184 4485 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 11054 4485 1862 992 0 2912 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 44216 KiB
Current children cumulated memory: 17940 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.17 4.13 5/270 374990
/proc/meminfo: memFree=118367976/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=45912 memory=19516 CPUtime=12.64 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 3177 0 0 0 1222 42 0 0 20 0 1 0 43760578 47013888 4879 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 11478 4879 1862 992 0 3336 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 45912 KiB
Current children cumulated memory: 19516 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.17 4.13 5/270 374991
/proc/meminfo: memFree=117976628/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=50116 memory=22028 CPUtime=25.38 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 3822 0 0 0 2459 79 0 0 20 0 1 0 43760578 51318784 5507 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 12529 5507 1862 992 0 4387 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 50116 KiB
Current children cumulated memory: 22028 KiB
[startup+51.1059 s]
/proc/loadavg: 4.15 4.17 4.13 5/273 375000
/proc/meminfo: memFree=117452480/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=54020 memory=27496 CPUtime=50.87 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 4701 0 0 0 4947 140 0 0 20 0 1 0 43760578 55316480 6874 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 13505 6874 1862 992 0 5363 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 54020 KiB
Current children cumulated memory: 27496 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/273 375008
/proc/meminfo: memFree=116137608/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=60760 memory=30528 CPUtime=101.83 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 5425 0 0 0 9939 244 0 0 20 0 1 0 43760578 62218240 7632 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 15190 7632 1862 992 0 7048 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 60760 KiB
Current children cumulated memory: 30528 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/273 375186
/proc/meminfo: memFree=114307136/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=65044 memory=36792 CPUtime=161.54 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 6500 0 0 0 15790 364 0 0 20 0 1 0 43760578 66605056 9198 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 16261 9198 1862 992 0 8119 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 65044 KiB
Current children cumulated memory: 36792 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/272 375196
/proc/meminfo: memFree=112937804/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=67608 memory=38896 CPUtime=221.25 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 7030 0 0 0 21661 464 0 0 20 0 1 0 43760578 69230592 9724 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 16902 9724 1862 992 0 8760 0
Current children cumulated CPU time: 221.25 s
Current children cumulated vsize: 67608 KiB
Current children cumulated memory: 38896 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/272 375265
/proc/meminfo: memFree=111388176/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=69172 memory=41004 CPUtime=280.97 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 7570 0 0 0 27546 551 0 0 20 0 1 0 43760578 70832128 10251 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 17293 10251 1862 992 0 9151 0
Current children cumulated CPU time: 280.97 s
Current children cumulated vsize: 69172 KiB
Current children cumulated memory: 41004 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/269 375275
/proc/meminfo: memFree=109911916/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=70612 memory=43112 CPUtime=340.67 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 8055 0 0 0 33436 631 0 0 20 0 1 0 43760578 72306688 10778 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 17653 10778 1862 992 0 9511 0
Current children cumulated CPU time: 340.67 s
Current children cumulated vsize: 70612 KiB
Current children cumulated memory: 43112 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/269 375286
/proc/meminfo: memFree=108462300/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=78312 memory=44324 CPUtime=400.39 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 8359 0 0 0 39329 710 0 0 20 0 1 0 43760578 80191488 11081 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 19578 11081 1862 992 0 11436 0
Current children cumulated CPU time: 400.39 s
Current children cumulated vsize: 78312 KiB
Current children cumulated memory: 44324 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/270 375298
/proc/meminfo: memFree=106687120/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=78648 memory=47424 CPUtime=460.11 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 8628 0 0 0 45218 793 0 0 20 0 1 0 43760578 80535552 11856 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 19662 11856 1862 992 0 11520 0
################
# More data... #
################
Current children cumulated memory: 72132 KiB
[startup+2862.3 s]
/proc/loadavg: 3.10 3.17 3.50 4/260 376366
/proc/meminfo: memFree=65455532/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=107824 memory=72132 CPUtime=2850.25 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 13416 0 0 0 282300 2725 0 0 20 0 1 0 43760578 110411776 18033 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 26956 18033 1862 992 0 18814 0
Current children cumulated CPU time: 2850.25 s
Current children cumulated vsize: 107824 KiB
Current children cumulated memory: 72132 KiB
[startup+2922.3 s]
/proc/loadavg: 3.15 3.17 3.48 4/260 376376
/proc/meminfo: memFree=64540128/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=107824 memory=72368 CPUtime=2910 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 13441 0 0 0 288238 2762 0 0 20 0 1 0 43760578 110411776 18092 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 26956 18092 1862 992 0 18814 0
Current children cumulated CPU time: 2910 s
Current children cumulated vsize: 107824 KiB
Current children cumulated memory: 72368 KiB
[startup+2982.3 s]
/proc/loadavg: 3.20 3.18 3.46 4/262 376388
/proc/meminfo: memFree=63537232/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=107824 memory=72368 CPUtime=2969.75 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 13452 0 0 0 294179 2796 0 0 20 0 1 0 43760578 110411776 18092 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 26956 18092 1862 992 0 18814 0
Current children cumulated CPU time: 2969.75 s
Current children cumulated vsize: 107824 KiB
Current children cumulated memory: 72368 KiB
[startup+3042.3 s]
/proc/loadavg: 3.07 3.14 3.43 4/260 376402
/proc/meminfo: memFree=62410072/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=107252 memory=72128 CPUtime=3029.51 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 13553 0 0 0 300122 2829 0 0 20 0 1 0 43760578 109826048 18032 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 26813 18032 1862 992 0 18671 0
Current children cumulated CPU time: 3029.51 s
Current children cumulated vsize: 107252 KiB
Current children cumulated memory: 72128 KiB
[startup+3102.3 s]
/proc/loadavg: 3.10 3.14 3.41 4/261 376413
/proc/meminfo: memFree=60707296/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=107508 memory=72404 CPUtime=3089.27 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 13792 0 0 0 306066 2861 0 0 20 0 1 0 43760578 110088192 18101 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 26877 18101 1862 992 0 18735 0
Current children cumulated CPU time: 3089.27 s
Current children cumulated vsize: 107508 KiB
Current children cumulated memory: 72404 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.15 3.39 4/262 376424
/proc/meminfo: memFree=59623052/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=109056 memory=75372 CPUtime=3149.02 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 14197 0 0 0 312010 2892 0 0 20 0 1 0 43760578 111673344 18843 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 27264 18843 1862 992 0 19122 0
Current children cumulated CPU time: 3149.02 s
Current children cumulated vsize: 109056 KiB
Current children cumulated memory: 75372 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.13 3.37 4/262 376434
/proc/meminfo: memFree=58820308/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=109312 memory=75372 CPUtime=3208.77 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 14209 0 0 0 317951 2926 0 0 20 0 1 0 43760578 111935488 18843 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 27328 18843 1862 992 0 19186 0
Current children cumulated CPU time: 3208.77 s
Current children cumulated vsize: 109312 KiB
Current children cumulated memory: 75372 KiB
[startup+3282.3 s]
/proc/loadavg: 3.11 3.12 3.35 4/264 376450
/proc/meminfo: memFree=58223296/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=109568 memory=75692 CPUtime=3268.53 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 14454 0 0 0 323898 2955 0 0 20 0 1 0 43760578 112197632 18923 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 27392 18923 1862 992 0 19250 0
Current children cumulated CPU time: 3268.53 s
Current children cumulated vsize: 109568 KiB
Current children cumulated memory: 75692 KiB
[startup+3342.3 s]
/proc/loadavg: 2.04 2.83 3.24 2/248 376522
/proc/meminfo: memFree=124773876/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=110668 memory=77916 CPUtime=3328.31 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 14680 0 0 0 329840 2991 0 0 20 0 1 0 43760578 113324032 19479 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 27667 19479 1862 992 0 19525 0
Current children cumulated CPU time: 3328.31 s
Current children cumulated vsize: 110668 KiB
Current children cumulated memory: 77916 KiB
[startup+3402.3 s]
/proc/loadavg: 1.43 2.51 3.10 2/248 376533
/proc/meminfo: memFree=124758096/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=111184 memory=78044 CPUtime=3388.14 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 14777 0 0 0 335789 3025 0 0 20 0 1 0 43760578 113852416 19511 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 27796 19511 1862 992 0 19654 0
Current children cumulated CPU time: 3388.14 s
Current children cumulated vsize: 111184 KiB
Current children cumulated memory: 78044 KiB
[startup+3462.3 s]
/proc/loadavg: 1.22 2.26 2.98 2/241 376544
/proc/meminfo: memFree=124742104/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=111700 memory=78436 CPUtime=3447.97 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 14875 0 0 0 341736 3061 0 0 20 0 1 0 43760578 114380800 19609 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 27925 19609 1862 992 0 19783 0
Current children cumulated CPU time: 3447.97 s
Current children cumulated vsize: 111700 KiB
Current children cumulated memory: 78436 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 2.04 2.85 2/241 376554
/proc/meminfo: memFree=124725268/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=112216 memory=78584 CPUtime=3507.8 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 14975 0 0 0 347686 3094 0 0 20 0 1 0 43760578 114909184 19646 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 28054 19646 1862 992 0 19912 0
Current children cumulated CPU time: 3507.8 s
Current children cumulated vsize: 112216 KiB
Current children cumulated memory: 78584 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.88 2.75 2/243 376949
/proc/meminfo: memFree=124707344/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=112216 memory=78716 CPUtime=3567.62 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 15009 0 0 0 353633 3129 0 0 20 0 1 0 43760578 114909184 19679 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 28054 19679 1862 992 0 19912 0
Current children cumulated CPU time: 3567.62 s
Current children cumulated vsize: 112216 KiB
Current children cumulated memory: 78716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.8 s]
/proc/loadavg: 1.09 1.78 2.68 2/240 376954
/proc/meminfo: memFree=124698548/131524600 swapFree=131056028/131071996
[pid=374987] ppid=374984 vsize=112476 memory=79856 CPUtime=3600.03 cores=0,2
/proc/374987/stat : 374987 (roundingsat) R 374984 374987 369827 0 -1 4194304 15076 0 0 0 356853 3150 0 0 20 0 1 0 43760578 115175424 19964 134679101440 4194304 8254357 140729242637504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 11509760 140729242645339 140729242645601 140729242645601 140729242652617 0
/proc/374987/statm: 28119 19964 1862 992 0 19977 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 112476 KiB
Current children cumulated memory: 79856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.81 s]
# the end of solver process 374987 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.54 s, system=31.505 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3614.81
CPU time (s): 3600.04
CPU user time (s): 3568.54
CPU system time (s): 31.505
CPU usage (%): 99.5914
Max. virtual memory (cumulated for all children) (KiB): 112476
Max. memory (cumulated for all children) (KiB): 79856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.54
system time used= 31.505
maximum resident set size= 80072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15092
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2011504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178
involuntary context switches= 25577
# summary of solver processes directly reported to runsolver:
# pid: 374987
# total CPU time (s): 3600.04
# total CPU user time (s): 3568.54
# total CPU system time (s): 31.505
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.04517 second user time and 16.7111 second system time
The end
Begin job on nodeC015 at 2024-07-27 11:26:17 IDJOB=4460900 IDBENCH=164452 IDSOLVER=3086 FILE ID=nodeC015/4460900-1722072377 RUNJOBID= nodeC015-1722064836-369841 SLURM_JOB_ID= 8248085 Free space on /tmp= 890056 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-iis-100-0-cov.0.u.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-4460900-1722072377/watcher-4460900-1722072377 -o /tmp/evaluation-result-4460900-1722072377/solver-4460900-1722072377 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369841 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460900-1722072377 --lp-cut-gomory=0 HOME/instance-4460900-1722072377.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= af9f746f4378befb3a20d04b26ba3b05 RANDOM SEED=1128939738 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3628.367 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3679.116 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3650.435 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.066 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3670.260 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3679.124 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.005 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.711 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 118620296 kB MemAvailable: 125521916 kB Buffers: 381924 kB Cached: 7186580 kB SwapCached: 280 kB Active: 1295516 kB Inactive: 10673192 kB Active(anon): 4540 kB Inactive(anon): 4448168 kB Active(file): 1290976 kB Inactive(file): 6225024 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 107520 kB Writeback: 8 kB AnonPages: 4399400 kB Mapped: 105972 kB Shmem: 52460 kB KReclaimable: 447028 kB Slab: 575412 kB SReclaimable: 447028 kB SUnreclaim: 128384 kB KernelStack: 4352 kB PageTables: 18416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5787012 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16224 kB HardwareCorrupted: 0 kB AnonHugePages: 915456 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: 367316 kB DirectMap2M: 43446272 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890076 MiB End job on nodeC015 at 2024-07-27 12:26:32