| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.07 | 3631.33 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 31fd86554dd2fe3e1cfc98032a9196a9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 602.754 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 120 |
| Total number of constraints | 10 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 120 #constraints 10 0.00/0.00 c bounds - >= 0 @ 0.000837 0.00/0.00 c rational objective 0 0.20/0.28 c bounds 209 >= 0 @ 0.011165 0.20/0.28 c bounds 169 >= 0 @ 0.011165 0.20/0.28 c bounds 133 >= 0 @ 0.011165 0.20/0.28 c bounds 86 >= 0 @ 0.015159 0.20/0.28 c bounds 18 >= 0 @ 0.04557 0.20/0.28 c bounds 14 >= 0 @ 0.046249 0.20/0.28 c bounds 12 >= 0 @ 0.046797 0.20/0.28 c bounds 10 >= 0 @ 0.073788 0.20/0.28 c #Conflicts: 1000 | #Constraints: 1030 0.20/0.28 c #Conflicts: 2000 | #Constraints: 2034 0.20/0.28 c INPROCESSING 0.20/0.28 c GARBAGE COLLECT 0.20/0.28 c rational objective 0 0.69/0.70 c #Conflicts: 3000 | #Constraints: 2033 0.69/0.70 c #Conflicts: 4000 | #Constraints: 3035 0.69/0.70 c INPROCESSING 0.69/0.70 c GARBAGE COLLECT 0.69/0.70 c rational objective 0 1.09/1.17 c #Conflicts: 5000 | #Constraints: 2433 1.09/1.17 c bounds 6 >= 0 @ 0.962413 1.09/1.17 c bounds 4 >= 0 @ 0.962485 1.09/1.17 c #Conflicts: 6000 | #Constraints: 3439 1.09/1.17 c INPROCESSING 1.09/1.17 c GARBAGE COLLECT 1.09/1.17 c rational objective 0 1.68/1.71 c #Conflicts: 7000 | #Constraints: 2434 1.68/1.71 c #Conflicts: 8000 | #Constraints: 3435 1.68/1.71 c #Conflicts: 9000 | #Constraints: 4440 1.68/1.71 c INPROCESSING 1.68/1.71 c GARBAGE COLLECT 1.68/1.71 c rational objective 0 2.28/2.38 c #Conflicts: 10000 | #Constraints: 3134 2.28/2.38 c #Conflicts: 11000 | #Constraints: 4137 2.28/2.38 c #Conflicts: 12000 | #Constraints: 5137 2.28/2.38 c INPROCESSING 2.28/2.38 c GARBAGE COLLECT 2.28/2.38 c rational objective 0 2.98/3.07 c #Conflicts: 13000 | #Constraints: 3585 2.98/3.07 c #Conflicts: 14000 | #Constraints: 4585 2.98/3.07 c #Conflicts: 15000 | #Constraints: 5585 2.98/3.07 c INPROCESSING 2.98/3.07 c GARBAGE COLLECT 2.98/3.07 c rational objective 0 3.88/3.92 c #Conflicts: 16000 | #Constraints: 3809 3.88/3.92 c #Conflicts: 17000 | #Constraints: 4810 3.88/3.92 c #Conflicts: 18000 | #Constraints: 5810 3.88/3.92 c INPROCESSING 3.88/3.92 c GARBAGE COLLECT 3.88/3.92 c rational objective 0 4.78/4.80 c #Conflicts: 19000 | #Constraints: 3824 4.78/4.80 c #Conflicts: 20000 | #Constraints: 4824 4.78/4.80 c #Conflicts: 21000 | #Constraints: 5825 4.78/4.80 c INPROCESSING 4.78/4.80 c GARBAGE COLLECT 4.78/4.80 c rational objective 0 5.88/5.91 c #Conflicts: 22000 | #Constraints: 3626 5.88/5.91 c #Conflicts: 23000 | #Constraints: 4628 5.88/5.91 c #Conflicts: 24000 | #Constraints: 5630 5.88/5.91 c #Conflicts: 25000 | #Constraints: 6632 5.88/5.91 c INPROCESSING 5.88/5.91 c GARBAGE COLLECT 5.88/5.91 c rational objective 0 6.98/7.00 c #Conflicts: 26000 | #Constraints: 4230 6.98/7.00 c #Conflicts: 27000 | #Constraints: 5233 6.98/7.00 c #Conflicts: 28000 | #Constraints: 6235 6.98/7.00 c #Conflicts: 29000 | #Constraints: 7235 6.98/7.00 c INPROCESSING 6.98/7.00 c GARBAGE COLLECT 6.98/7.00 c rational objective 0 8.26/8.39 c #Conflicts: 30000 | #Constraints: 4630 8.26/8.39 c #Conflicts: 31000 | #Constraints: 5630 8.26/8.39 c #Conflicts: 32000 | #Constraints: 6632 8.26/8.39 c #Conflicts: 33000 | #Constraints: 7633 8.26/8.39 c INPROCESSING 8.26/8.39 c GARBAGE COLLECT 8.26/8.39 c rational objective 0 9.76/9.84 c #Conflicts: 34000 | #Constraints: 4831 9.76/9.84 c #Conflicts: 35000 | #Constraints: 5832 9.76/9.84 c #Conflicts: 36000 | #Constraints: 6832 9.76/9.84 c #Conflicts: 37000 | #Constraints: 7832 9.76/9.84 c INPROCESSING 9.76/9.84 c GARBAGE COLLECT 9.76/9.84 c rational objective 0 11.36/11.48 c #Conflicts: 38000 | #Constraints: 4830 11.36/11.48 c #Conflicts: 39000 | #Constraints: 5830 11.36/11.48 c #Conflicts: 40000 | #Constraints: 6830 11.36/11.48 c #Conflicts: 41000 | #Constraints: 7830 11.36/11.48 c INPROCESSING 11.36/11.48 c GARBAGE COLLECT 11.36/11.48 c rational objective 0 12.96/13.06 c #Conflicts: 42000 | #Constraints: 4632 12.96/13.06 c #Conflicts: 43000 | #Constraints: 5633 12.96/13.06 c bounds 2 >= 0 @ 11.7533 12.96/13.06 c #Conflicts: 44000 | #Constraints: 6634 12.96/13.06 c #Conflicts: 45000 | #Constraints: 7636 12.96/13.06 c #Conflicts: 46000 | #Constraints: 8637 12.96/13.06 c INPROCESSING 12.96/13.06 c GARBAGE COLLECT 12.96/13.06 c rational objective 0 14.65/14.79 c #Conflicts: 47000 | #Constraints: 5229 14.65/14.79 c #Conflicts: 48000 | #Constraints: 6231 14.65/14.79 c #Conflicts: 49000 | #Constraints: 7231 14.65/14.79 c #Conflicts: 50000 | #Constraints: 8233 14.65/14.79 c #Conflicts: 51000 | #Constraints: 9234 14.65/14.79 c INPROCESSING 14.65/14.79 c GARBAGE COLLECT 14.65/14.79 c rational objective 0 16.55/16.63 c #Conflicts: 52000 | #Constraints: 5632 16.55/16.63 c #Conflicts: 53000 | #Constraints: 6632 16.55/16.63 c #Conflicts: 54000 | #Constraints: 7632 16.55/16.63 c #Conflicts: 55000 | #Constraints: 8632 16.55/16.63 c #Conflicts: 56000 | #Constraints: 9633 16.55/16.63 c INPROCESSING 16.55/16.63 c GARBAGE COLLECT 16.55/16.63 c rational objective 0 18.74/18.85 c #Conflicts: 57000 | #Constraints: 5830 18.74/18.85 c #Conflicts: 58000 | #Constraints: 6830 18.74/18.85 c #Conflicts: 59000 | #Constraints: 7830 18.74/18.85 c #Conflicts: 60000 | #Constraints: 8830 18.74/18.85 c #Conflicts: 61000 | #Constraints: 9830 18.74/18.85 c INPROCESSING 18.74/18.85 c GARBAGE COLLECT 18.74/18.85 c rational objective 0 20.94/21.07 c #Conflicts: 62000 | #Constraints: 5829 20.94/21.07 c #Conflicts: 63000 | #Constraints: 6831 20.94/21.07 c #Conflicts: 64000 | #Constraints: 7831 20.94/21.07 c #Conflicts: 65000 | #Constraints: 8832 20.94/21.07 c #Conflicts: 66000 | #Constraints: 9833 20.94/21.07 c INPROCESSING 20.94/21.07 c GARBAGE COLLECT 20.94/21.07 c rational objective 0 23.73/23.85 c #Conflicts: 67000 | #Constraints: 5629 23.73/23.85 c #Conflicts: 68000 | #Constraints: 6630 23.73/23.85 c #Conflicts: 69000 | #Constraints: 7630 23.73/23.85 c #Conflicts: 70000 | #Constraints: 8631 23.73/23.85 c #Conflicts: 71000 | #Constraints: 9631 23.73/23.85 c #Conflicts: 72000 | #Constraints: 10631 23.73/23.85 c INPROCESSING 23.73/23.85 c GARBAGE COLLECT 23.73/23.85 c rational objective 0 26.52/26.64 c #Conflicts: 73000 | #Constraints: 6230 26.52/26.64 c #Conflicts: 74000 | #Constraints: 7231 26.52/26.64 c #Conflicts: 75000 | #Constraints: 8231 26.52/26.64 c #Conflicts: 76000 | #Constraints: 9232 26.52/26.64 c #Conflicts: 77000 | #Constraints: 10234 26.52/26.64 c #Conflicts: 78000 | #Constraints: 11236 26.52/26.64 c INPROCESSING 26.52/26.64 c GARBAGE COLLECT 26.52/26.64 c rational objective 0 30.22/30.33 c #Conflicts: 79000 | #Constraints: 6631 30.22/30.33 c #Conflicts: 80000 | #Constraints: 7632 30.22/30.33 c #Conflicts: 81000 | #Constraints: 8632 30.22/30.33 c #Conflicts: 82000 | #Constraints: 9632 30.22/30.33 c #Conflicts: 83000 | #Constraints: 10632 30.22/30.33 c #Conflicts: 84000 | #Constraints: 11632 30.22/30.33 c INPROCESSING 30.22/30.33 c GARBAGE COLLECT 30.22/30.33 c rational objective 0 34.10/34.28 c #Conflicts: 85000 | #Constraints: 6830 34.10/34.28 c #Conflicts: 86000 | #Constraints: 7830 34.10/34.28 c #Conflicts: 87000 | #Constraints: 8830 34.10/34.28 c #Conflicts: 88000 | #Constraints: 9830 34.10/34.28 c #Conflicts: 89000 | #Constraints: 10830 34.10/34.28 c #Conflicts: 90000 | #Constraints: 11830 34.10/34.28 c INPROCESSING 34.10/34.28 c GARBAGE COLLECT 34.10/34.28 c rational objective 0 38.59/38.79 c #Conflicts: 91000 | #Constraints: 6829 38.59/38.79 c #Conflicts: 92000 | #Constraints: 7831 38.59/38.79 c #Conflicts: 93000 | #Constraints: 8832 38.59/38.79 c #Conflicts: 94000 | #Constraints: 9832 38.59/38.79 c #Conflicts: 95000 | #Constraints: 10832 38.59/38.79 c #Conflicts: 96000 | #Constraints: 11834 38.59/38.79 c INPROCESSING 38.59/38.79 c GARBAGE COLLECT 38.59/38.79 c rational objective 0 43.38/43.59 c #Conflicts: 97000 | #Constraints: 6636 43.38/43.59 c #Conflicts: 98000 | #Constraints: 7636 43.38/43.59 c #Conflicts: 99000 | #Constraints: 8638 43.38/43.59 c #Conflicts: 100000 | #Constraints: 9638 43.38/43.59 c #Conflicts: 101000 | #Constraints: 10638 43.38/43.59 c #Conflicts: 102000 | #Constraints: 11638 43.38/43.59 c #Conflicts: 103000 | #Constraints: 12638 43.38/43.59 c INPROCESSING 43.38/43.59 c GARBAGE COLLECT 43.38/43.59 c rational objective 0 48.97/49.11 c #Conflicts: 104000 | #Constraints: 7231 48.97/49.11 c #Conflicts: 105000 | #Constraints: 8231 48.97/49.11 c #Conflicts: 106000 | #Constraints: 9231 48.97/49.11 c #Conflicts: 107000 | #Constraints: 10231 48.97/49.11 c #Conflicts: 108000 | #Constraints: 11231 48.97/49.11 c #Conflicts: 109000 | #Constraints: 12231 48.97/49.11 c #Conflicts: 110000 | #Constraints: 13231 48.97/49.11 c INPROCESSING 48.97/49.11 c GARBAGE COLLECT 48.97/49.11 c rational objective 0 53.96/54.15 c #Conflicts: 111000 | #Constraints: 7633 53.96/54.15 c #Conflicts: 112000 | #Constraints: 8633 53.96/54.15 c #Conflicts: 113000 | #Constraints: 9634 53.96/54.15 c #Conflicts: 114000 | #Constraints: 10635 53.96/54.15 c #Conflicts: 115000 | #Constraints: 11636 53.96/54.15 c #Conflicts: 116000 | #Constraints: 12637 53.96/54.15 c #Conflicts: 117000 | #Constraints: 13637 53.96/54.15 c INPROCESSING 53.96/54.15 c GARBAGE COLLECT 53.96/54.15 c rational objective 0 60.24/60.46 c #Conflicts: 118000 | #Constraints: 7832 60.24/60.46 c #Conflicts: 119000 | #Constraints: 8832 60.24/60.46 c #Conflicts: 120000 | #Constraints: 9832 60.24/60.46 c #Conflicts: 121000 | #Constraints: 10832 60.24/60.46 c #Conflicts: 122000 | #Constraints: 11832 60.24/60.46 c #Conflicts: 123000 | #Constraints: 12832 60.24/60.46 c #Conflicts: 124000 | #Constraints: 13832 60.24/60.46 c INPROCESSING 60.24/60.46 c GARBAGE COLLECT 60.24/60.46 c rational objective 0 66.32/66.51 c #Conflicts: 125000 | #Constraints: 7832 66.32/66.51 c #Conflicts: 126000 | #Constraints: 8832 66.32/66.51 c #Conflicts: 127000 | #Constraints: 9833 66.32/66.51 c #Conflicts: 128000 | #Constraints: 10833 66.32/66.51 c #Conflicts: 129000 | #Constraints: 11833 66.32/66.51 c #Conflicts: 130000 | #Constraints: 12833 66.32/66.51 c #Conflicts: 131000 | #Constraints: 13833 66.32/66.51 c INPROCESSING 66.32/66.51 c GARBAGE COLLECT 66.32/66.51 c rational objective 0 73.61/73.81 c #Conflicts: 132000 | #Constraints: 7630 73.61/73.81 c #Conflicts: 133000 | #Constraints: 8630 73.61/73.81 c #Conflicts: 134000 | #Constraints: 9631 73.61/73.81 c #Conflicts: 135000 | #Constraints: 10631 73.61/73.81 c #Conflicts: 136000 | #Constraints: 11631 73.61/73.81 c #Conflicts: 137000 | #Constraints: 12631 73.61/73.81 c #Conflicts: 138000 | #Constraints: 13631 73.61/73.81 c #Conflicts: 139000 | #Constraints: 14631 73.61/73.81 c INPROCESSING 73.61/73.81 c GARBAGE COLLECT 73.61/73.81 c rational objective 0 80.69/80.97 c #Conflicts: 140000 | #Constraints: 8233 80.69/80.97 c #Conflicts: 141000 | #Constraints: 9233 80.69/80.97 c #Conflicts: 142000 | #Constraints: 10233 80.69/80.97 c #Conflicts: 143000 | #Constraints: 11233 80.69/80.97 c #Conflicts: 144000 | #Constraints: 12233 80.69/80.97 c #Conflicts: 145000 | #Constraints: 13233 80.69/80.97 c #Conflicts: 146000 | #Constraints: 14233 80.69/80.97 c #Conflicts: 147000 | #Constraints: 15233 80.69/80.97 c INPROCESSING 80.69/80.97 c GARBAGE COLLECT 80.69/80.97 c rational objective 0 88.67/88.99 c #Conflicts: 148000 | #Constraints: 8633 88.67/88.99 c #Conflicts: 149000 | #Constraints: 9633 88.67/88.99 c #Conflicts: 150000 | #Constraints: 10633 88.67/88.99 c #Conflicts: 151000 | #Constraints: 11633 88.67/88.99 c #Conflicts: 152000 | #Constraints: 12633 88.67/88.99 c #Conflicts: 153000 | #Constraints: 13633 88.67/88.99 c #Conflicts: 154000 | #Constraints: 14633 88.67/88.99 c #Conflicts: 155000 | #Constraints: 15633 88.67/88.99 c INPROCESSING 88.67/88.99 c GARBAGE COLLECT 88.67/88.99 c rational objective 0 96.85/97.11 c #Conflicts: 156000 | #Constraints: 8833 96.85/97.11 c #Conflicts: 157000 | #Constraints: 9833 96.85/97.11 c #Conflicts: 158000 | #Constraints: 10833 96.85/97.11 c #Conflicts: 159000 | #Constraints: 11833 96.85/97.11 c #Conflicts: 160000 | #Constraints: 12833 96.85/97.11 c #Conflicts: 161000 | #Constraints: 13833 96.85/97.11 c #Conflicts: 162000 | #Constraints: 14835 96.85/97.11 c #Conflicts: 163000 | #Constraints: 15835 96.85/97.11 c INPROCESSING 96.85/97.11 c GARBAGE COLLECT 96.85/97.11 c rational objective 0 106.12/106.48 c #Conflicts: 164000 | #Constraints: 8832 106.12/106.48 c #Conflicts: 165000 | #Constraints: 9832 106.12/106.48 c #Conflicts: 166000 | #Constraints: 10833 106.12/106.48 c #Conflicts: 167000 | #Constraints: 11833 106.12/106.48 c #Conflicts: 168000 | #Constraints: 12833 106.12/106.48 c #Conflicts: 169000 | #Constraints: 13833 106.12/106.48 c #Conflicts: 170000 | #Constraints: 14833 106.12/106.48 c #Conflicts: 171000 | #Constraints: 15833 106.12/106.48 c INPROCESSING 106.12/106.48 c GARBAGE COLLECT 106.12/106.48 c rational objective 0 114.91/115.24 c #Conflicts: 172000 | #Constraints: 8633 114.91/115.24 c #Conflicts: 173000 | #Constraints: 9633 114.91/115.24 c #Conflicts: 174000 | #Constraints: 10633 114.91/115.24 c #Conflicts: 175000 | #Constraints: 11633 114.91/115.24 c #Conflicts: 176000 | #Constraints: 12633 114.91/115.24 c #Conflicts: 177000 | #Constraints: 13633 114.91/115.24 c #Conflicts: 178000 | #Constraints: 14633 114.91/115.24 c #Conflicts: 179000 | #Constraints: 15633 114.91/115.24 c #Conflicts: 180000 | #Constraints: 16633 114.91/115.24 c INPROCESSING 114.91/115.24 c GARBAGE COLLECT 114.91/115.24 c rational objective 0 123.98/124.33 c #Conflicts: 181000 | #Constraints: 9229 123.98/124.33 c #Conflicts: 182000 | #Constraints: 10229 123.98/124.33 c #Conflicts: 183000 | #Constraints: 11229 123.98/124.33 c #Conflicts: 184000 | #Constraints: 12229 123.98/124.33 c #Conflicts: 185000 | #Constraints: 13229 123.98/124.33 c #Conflicts: 186000 | #Constraints: 14229 123.98/124.33 c #Conflicts: 187000 | #Constraints: 15229 123.98/124.33 c #Conflicts: 188000 | #Constraints: 16229 123.98/124.33 c #Conflicts: 189000 | #Constraints: 17229 123.98/124.33 c INPROCESSING 123.98/124.33 c GARBAGE COLLECT 123.98/124.33 c rational objective 0 134.45/134.84 c #Conflicts: 190000 | #Constraints: 9630 134.45/134.84 c #Conflicts: 191000 | #Constraints: 10630 134.45/134.84 c #Conflicts: 192000 | #Constraints: 11630 134.45/134.84 c #Conflicts: 193000 | #Constraints: 12630 134.45/134.84 c #Conflicts: 194000 | #Constraints: 13630 134.45/134.84 c #Conflicts: 195000 | #Constraints: 14630 134.45/134.84 c #Conflicts: 196000 | #Constraints: 15630 134.45/134.84 c #Conflicts: 197000 | #Constraints: 16630 134.45/134.84 c #Conflicts: 198000 | #Constraints: 17630 134.45/134.84 c INPROCESSING 134.45/134.84 c GARBAGE COLLECT 134.45/134.84 c rational objective 0 145.12/145.52 c #Conflicts: 199000 | #Constraints: 9833 145.12/145.52 c #Conflicts: 200000 | #Constraints: 10833 145.12/145.52 c #Conflicts: 201000 | #Constraints: 11833 145.12/145.52 c #Conflicts: 202000 | #Constraints: 12833 145.12/145.52 c #Conflicts: 203000 | #Constraints: 13834 145.12/145.52 c #Conflicts: 204000 | #Constraints: 14834 145.12/145.52 c #Conflicts: 205000 | #Constraints: 15834 145.12/145.52 c #Conflicts: 206000 | #Constraints: 16834 145.12/145.52 c #Conflicts: 207000 | #Constraints: 17834 145.12/145.52 c INPROCESSING 145.12/145.52 c GARBAGE COLLECT 145.12/145.52 c rational objective 0 156.39/156.88 c #Conflicts: 208000 | #Constraints: 9832 156.39/156.88 c #Conflicts: 209000 | #Constraints: 10832 156.39/156.88 c #Conflicts: 210000 | #Constraints: 11833 156.39/156.88 c #Conflicts: 211000 | #Constraints: 12833 156.39/156.88 c #Conflicts: 212000 | #Constraints: 13833 156.39/156.88 c #Conflicts: 213000 | #Constraints: 14833 156.39/156.88 c #Conflicts: 214000 | #Constraints: 15833 156.39/156.88 c #Conflicts: 215000 | #Constraints: 16833 156.39/156.88 c #Conflicts: 216000 | #Constraints: 17833 156.39/156.88 c INPROCESSING 156.39/156.88 c GARBAGE COLLECT 156.39/156.88 c rational objective 0 168.06/168.59 c #Conflicts: 217000 | #Constraints: 9634 168.06/168.59 c #Conflicts: 218000 | #Constraints: 10634 168.06/168.59 c #Conflicts: 219000 | #Constraints: 11634 168.06/168.59 c #Conflicts: 220000 | #Constraints: 12634 168.06/168.59 c #Conflicts: 221000 | #Constraints: 13634 168.06/168.59 c #Conflicts: 222000 | #Constraints: 14634 168.06/168.59 c #Conflicts: 223000 | #Constraints: 15635 168.06/168.59 c #Conflicts: 224000 | #Constraints: 16635 168.06/168.59 c #Conflicts: 225000 | #Constraints: 17635 168.06/168.59 c #Conflicts: 226000 | #Constraints: 18635 168.06/168.59 c INPROCESSING 168.06/168.59 c GARBAGE COLLECT 168.06/168.59 c rational objective 0 180.53/181.04 c #Conflicts: 227000 | #Constraints: 10232 180.53/181.04 c #Conflicts: 228000 | #Constraints: 11232 180.53/181.04 c #Conflicts: 229000 | #Constraints: 12232 180.53/181.04 c #Conflicts: 230000 | #Constraints: 13233 180.53/181.04 c #Conflicts: 231000 | #Constraints: 14233 180.53/181.04 c #Conflicts: 232000 | #Constraints: 15234 180.53/181.04 c #Conflicts: 233000 | #Constraints: 16234 180.53/181.04 c #Conflicts: 234000 | #Constraints: 17234 180.53/181.04 c #Conflicts: 235000 | #Constraints: 18234 180.53/181.04 c #Conflicts: 236000 | #Constraints: 19234 180.53/181.04 c INPROCESSING 180.53/181.04 c GARBAGE COLLECT 180.53/181.04 c rational objective 0 192.28/192.81 c #Conflicts: 237000 | #Constraints: 10632 192.28/192.81 c #Conflicts: 238000 | #Constraints: 11632 192.28/192.81 c #Conflicts: 239000 | #Constraints: 12632 192.28/192.81 c #Conflicts: 240000 | #Constraints: 13632 192.28/192.81 c #Conflicts: 241000 | #Constraints: 14632 192.28/192.81 c #Conflicts: 242000 | #Constraints: 15632 192.28/192.81 c #Conflicts: 243000 | #Constraints: 16632 192.28/192.81 c #Conflicts: 244000 | #Constraints: 17632 192.28/192.81 c #Conflicts: 245000 | #Constraints: 18633 192.28/192.81 c #Conflicts: 246000 | #Constraints: 19633 192.28/192.81 c INPROCESSING 192.28/192.81 c GARBAGE COLLECT 192.28/192.81 c rational objective 0 205.64/206.28 c #Conflicts: 247000 | #Constraints: 10832 205.64/206.28 c #Conflicts: 248000 | #Constraints: 11832 205.64/206.28 c #Conflicts: 249000 | #Constraints: 12832 205.64/206.28 c #Conflicts: 250000 | #Constraints: 13833 205.64/206.28 c #Conflicts: 251000 | #Constraints: 14833 205.64/206.28 c #Conflicts: 252000 | #Constraints: 15834 205.64/206.28 c #Conflicts: 253000 | #Constraints: 16834 205.64/206.28 c #Conflicts: 254000 | #Constraints: 17834 205.64/206.28 c #Conflicts: 255000 | #Constraints: 18834 205.64/206.28 c #Conflicts: 256000 | #Constraints: 19834 205.64/206.28 c INPROCESSING 205.64/206.28 c GARBAGE COLLECT 205.64/206.28 c rational objective 0 218.11/218.75 c #Conflicts: 257000 | #Constraints: 10832 218.11/218.75 c #Conflicts: 258000 | #Constraints: 11832 218.11/218.75 c #Conflicts: 259000 | #Constraints: 12832 218.11/218.75 c #Conflicts: 260000 | #Constraints: 13833 218.11/218.75 c #Conflicts: 261000 | #Constraints: 14833 218.11/218.75 c #Conflicts: 262000 | #Constraints: 15833 218.11/218.75 c #Conflicts: 263000 | #Constraints: 16833 218.11/218.75 c #Conflicts: 264000 | #Constraints: 17833 218.11/218.75 c #Conflicts: 265000 | #Constraints: 18833 218.11/218.75 c #Conflicts: 266000 | #Constraints: 19834 218.11/218.75 c INPROCESSING 218.11/218.75 c GARBAGE COLLECT 218.11/218.75 c rational objective 0 232.96/233.67 c #Conflicts: 267000 | #Constraints: 10632 232.96/233.67 c #Conflicts: 268000 | #Constraints: 11632 232.96/233.67 c #Conflicts: 269000 | #Constraints: 12632 232.96/233.67 c #Conflicts: 270000 | #Constraints: 13632 232.96/233.67 c #Conflicts: 271000 | #Constraints: 14632 232.96/233.67 c #Conflicts: 272000 | #Constraints: 15632 232.96/233.67 c #Conflicts: 273000 | #Constraints: 16632 232.96/233.67 c #Conflicts: 274000 | #Constraints: 17632 232.96/233.67 c #Conflicts: 275000 | #Constraints: 18632 232.96/233.67 c #Conflicts: 276000 | #Constraints: 19632 232.96/233.67 c #Conflicts: 277000 | #Constraints: 20632 232.96/233.67 c INPROCESSING 232.96/233.67 c GARBAGE COLLECT 232.96/233.67 c rational objective 0 246.73/247.49 c #Conflicts: 278000 | #Constraints: 11231 246.73/247.49 c #Conflicts: 279000 | #Constraints: 12231 246.73/247.49 c #Conflicts: 280000 | #Constraints: 13232 246.73/247.49 c #Conflicts: 281000 | #Constraints: 14232 246.73/247.49 c #Conflicts: 282000 | #Constraints: 15232 246.73/247.49 c #Conflicts: 283000 | #Constraints: 16233 246.73/247.49 c #Conflicts: 284000 | #Constraints: 17233 246.73/247.49 c #Conflicts: 285000 | #Constraints: 18233 246.73/247.49 c #Conflicts: 286000 | #Constraints: 19233 246.73/247.49 c #Conflicts: 287000 | #Constraints: 20233 246.73/247.49 c #Conflicts: 288000 | #Constraints: 21233 246.73/247.49 c INPROCESSING 246.73/247.49 c GARBAGE COLLECT 246.73/247.49 c rational objective 0 262.18/262.97 c #Conflicts: 289000 | #Constraints: 11630 262.18/262.97 c #Conflicts: 290000 | #Constraints: 12630 262.18/262.97 c #Conflicts: 291000 | #Constraints: 13630 262.18/262.97 c #Conflicts: 292000 | #Constraints: 14630 262.18/262.97 c #Conflicts: 293000 | #Constraints: 15630 262.18/262.97 c #Conflicts: 294000 | #Constraints: 16630 262.18/262.97 c #Conflicts: 295000 | #Constraints: 17630 262.18/262.97 c #Conflicts: 296000 | #Constraints: 18630 262.18/262.97 c #Conflicts: 297000 | #Constraints: 19630 262.18/262.97 c #Conflicts: 298000 | #Constraints: 20630 262.18/262.97 c #Conflicts: 299000 | #Constraints: 21630 262.18/262.97 c INPROCESSING 262.18/262.97 c GARBAGE COLLECT 262.18/262.97 c rational objective 0 276.94/277.77 c #Conflicts: 300000 | #Constraints: 11831 276.94/277.77 c #Conflicts: 301000 | #Constraints: 12831 276.94/277.77 c #Conflicts: 302000 | #Constraints: 13831 276.94/277.77 c #Conflicts: 303000 | #Constraints: 14831 276.94/277.77 c #Conflicts: 304000 | #Constraints: 15831 276.94/277.77 c #Conflicts: 305000 | #Constraints: 16831 276.94/277.77 c #Conflicts: 306000 | #Constraints: 17831 276.94/277.77 c #Conflicts: 307000 | #Constraints: 18831 276.94/277.77 c #Conflicts: 308000 | #Constraints: 19831 276.94/277.77 c #Conflicts: 309000 | #Constraints: 20831 276.94/277.77 c #Conflicts: 310000 | #Constraints: 21831 276.94/277.77 c INPROCESSING 276.94/277.77 c GARBAGE COLLECT 276.94/277.77 c rational objective 0 294.09/294.94 c #Conflicts: 311000 | #Constraints: 11832 294.09/294.94 c #Conflicts: 312000 | #Constraints: 12832 294.09/294.94 c #Conflicts: 313000 | #Constraints: 13832 294.09/294.94 c #Conflicts: 314000 | #Constraints: 14832 294.09/294.94 c #Conflicts: 315000 | #Constraints: 15832 294.09/294.94 c #Conflicts: 316000 | #Constraints: 16832 294.09/294.94 c #Conflicts: 317000 | #Constraints: 17832 294.09/294.94 c #Conflicts: 318000 | #Constraints: 18832 294.09/294.94 c #Conflicts: 319000 | #Constraints: 19832 294.09/294.94 c #Conflicts: 320000 | #Constraints: 20832 294.09/294.94 c #Conflicts: 321000 | #Constraints: 21832 294.09/294.94 c INPROCESSING 294.09/294.94 c GARBAGE COLLECT 294.09/294.94 c rational objective 0 311.54/312.47 c #Conflicts: 322000 | #Constraints: 11632 311.54/312.47 c #Conflicts: 323000 | #Constraints: 12632 311.54/312.47 c #Conflicts: 324000 | #Constraints: 13632 311.54/312.47 c #Conflicts: 325000 | #Constraints: 14632 311.54/312.47 c #Conflicts: 326000 | #Constraints: 15632 311.54/312.47 c #Conflicts: 327000 | #Constraints: 16632 311.54/312.47 c #Conflicts: 328000 | #Constraints: 17632 311.54/312.47 c #Conflicts: 329000 | #Constraints: 18632 311.54/312.47 c #Conflicts: 330000 | #Constraints: 19632 311.54/312.47 c #Conflicts: 331000 | #Constraints: 20632 311.54/312.47 c #Conflicts: 332000 | #Constraints: 21632 311.54/312.47 c #Conflicts: 333000 | #Constraints: 22632 311.54/312.47 c INPROCESSING 311.54/312.47 c GARBAGE COLLECT 311.54/312.47 c rational objective 0 329.98/330.91 c #Conflicts: 334000 | #Constraints: 12230 329.98/330.91 c #Conflicts: 335000 | #Constraints: 13230 329.98/330.91 c #Conflicts: 336000 | #Constraints: 14230 329.98/330.91 c #Conflicts: 337000 | #Constraints: 15230 329.98/330.91 c #Conflicts: 338000 | #Constraints: 16230 329.98/330.91 c #Conflicts: 339000 | #Constraints: 17230 329.98/330.91 c #Conflicts: 340000 | #Constraints: 18230 329.98/330.91 c #Conflicts: 341000 | #Constraints: 19230 329.98/330.91 c #Conflicts: 342000 | #Constraints: 20230 329.98/330.91 c #Conflicts: 343000 | #Constraints: 21230 329.98/330.91 c #Conflicts: 344000 | #Constraints: 22230 329.98/330.91 c #Conflicts: 345000 | #Constraints: 23230 329.98/330.91 c INPROCESSING 329.98/330.91 c GARBAGE COLLECT 329.98/330.91 c rational objective 0 347.82/348.85 c #Conflicts: 346000 | #Constraints: 12628 347.82/348.85 c #Conflicts: 347000 | #Constraints: 13629 347.82/348.85 c #Conflicts: 348000 | #Constraints: 14630 347.82/348.85 c #Conflicts: 349000 | #Constraints: 15630 347.82/348.85 c #Conflicts: 350000 | #Constraints: 16630 347.82/348.85 c #Conflicts: 351000 | #Constraints: 17630 347.82/348.85 c #Conflicts: 352000 | #Constraints: 18630 347.82/348.85 c #Conflicts: 353000 | #Constraints: 19630 347.82/348.85 c #Conflicts: 354000 | #Constraints: 20630 347.82/348.85 c #Conflicts: 355000 | #Constraints: 21630 347.82/348.85 c #Conflicts: 356000 | #Constraints: 22630 347.82/348.85 c #Conflicts: 357000 | #Constraints: 23630 347.82/348.85 c INPROCESSING 347.82/348.85 c GARBAGE COLLECT 347.82/348.85 c rational objective 0 367.27/368.37 c #Conflicts: 358000 | #Constraints: 12828 367.27/368.37 c #Conflicts: 359000 | #Constraints: 13828 367.27/368.37 c #Conflicts: 360000 | #Constraints: 14828 367.27/368.37 c #Conflicts: 361000 | #Constraints: 15828 367.27/368.37 c #Conflicts: 362000 | #Constraints: 16828 367.27/368.37 c #Conflicts: 363000 | #Constraints: 17828 367.27/368.37 c #Conflicts: 364000 | #Constraints: 18828 367.27/368.37 c #Conflicts: 365000 | #Constraints: 19828 367.27/368.37 c #Conflicts: 366000 | #Constraints: 20828 367.27/368.37 c #Conflicts: 367000 | #Constraints: 21828 367.27/368.37 c #Conflicts: 368000 | #Constraints: 22828 367.27/368.37 c #Conflicts: 369000 | #Constraints: 23828 367.27/368.37 c INPROCESSING 367.27/368.37 c GARBAGE COLLECT 367.27/368.37 c rational objective 0 385.82/386.96 c #Conflicts: 370000 | #Constraints: 12831 385.82/386.96 c #Conflicts: 371000 | #Constraints: 13831 385.82/386.96 c #Conflicts: 372000 | #Constraints: 14831 385.82/386.96 c #Conflicts: 373000 | #Constraints: 15831 385.82/386.96 c #Conflicts: 374000 | #Constraints: 16831 385.82/386.96 c #Conflicts: 375000 | #Constraints: 17831 385.82/386.96 c #Conflicts: 376000 | #Constraints: 18831 385.82/386.96 c #Conflicts: 377000 | #Constraints: 19831 385.82/386.96 c #Conflicts: 378000 | #Constraints: 20831 385.82/386.96 c #Conflicts: 379000 | #Constraints: 21831 385.82/386.96 c #Conflicts: 380000 | #Constraints: 22831 385.82/386.96 c #Conflicts: 381000 | #Constraints: 23831 385.82/386.96 c INPROCESSING 385.82/386.96 c GARBAGE COLLECT 385.82/386.96 c rational objective 0 406.55/407.71 c #Conflicts: 382000 | #Constraints: 12630 406.55/407.71 c #Conflicts: 383000 | #Constraints: 13630 406.55/407.71 c #Conflicts: 384000 | #Constraints: 14630 406.55/407.71 c #Conflicts: 385000 | #Constraints: 15630 406.55/407.71 c #Conflicts: 386000 | #Constraints: 16630 406.55/407.71 c #Conflicts: 387000 | #Constraints: 17630 406.55/407.71 c #Conflicts: 388000 | #Constraints: 18630 406.55/407.71 c #Conflicts: 389000 | #Constraints: 19630 406.55/407.71 c #Conflicts: 390000 | #Constraints: 20630 406.55/407.71 c #Conflicts: 391000 | #Constraints: 21630 406.55/407.71 c #Conflicts: 392000 | #Constraints: 22630 406.55/407.71 c #Conflicts: 393000 | #Constraints: 23630 406.55/407.71 c #Conflicts: 394000 | #Constraints: 24630 406.55/407.71 c INPROCESSING 406.55/407.71 c GARBAGE COLLECT 406.55/407.71 c rational objective 0 426.40/427.60 c #Conflicts: 395000 | #Constraints: 13231 426.40/427.60 c #Conflicts: 396000 | #Constraints: 14231 426.40/427.60 c #Conflicts: 397000 | #Constraints: 15231 426.40/427.60 c #Conflicts: 398000 | #Constraints: 16231 426.40/427.60 c #Conflicts: 399000 | #Constraints: 17231 426.40/427.60 c #Conflicts: 400000 | #Constraints: 18231 426.40/427.60 c #Conflicts: 401000 | #Constraints: 19231 426.40/427.60 c #Conflicts: 402000 | #Constraints: 20231 426.40/427.60 c #Conflicts: 403000 | #Constraints: 21231 426.40/427.60 c #Conflicts: 404000 | #Constraints: 22231 426.40/427.60 c #Conflicts: 405000 | #Constraints: 23231 426.40/427.60 c #Conflicts: 406000 | #Constraints: 24231 426.40/427.60 c #Conflicts: 407000 | #Constraints: 25231 426.40/427.60 c INPROCESSING 426.40/427.60 c GARBAGE COLLECT 426.40/427.60 c rational objective 0 448.13/449.44 c #Conflicts: 408000 | #Constraints: 13630 448.13/449.44 c #Conflicts: 409000 | #Constraints: 14630 448.13/449.44 c #Conflicts: 410000 | #Constraints: 15631 448.13/449.44 c #Conflicts: 411000 | #Constraints: 16631 448.13/449.44 c #Conflicts: 412000 | #Constraints: 17631 448.13/449.44 c #Conflicts: 413000 | #Constraints: 18631 448.13/449.44 c #Conflicts: 414000 | #Constraints: 19631 448.13/449.44 c #Conflicts: 415000 | #Constraints: 20631 448.13/449.44 c #Conflicts: 416000 | #Constraints: 21631 448.13/449.44 c #Conflicts: 417000 | #Constraints: 22631 448.13/449.44 c #Conflicts: 418000 | #Constraints: 23631 448.13/449.44 c #Conflicts: 419000 | #Constraints: 24631 448.13/449.44 c #Conflicts: 420000 | #Constraints: 25631 448.13/449.44 c INPROCESSING 448.13/449.44 c GARBAGE COLLECT 448.13/449.44 c rational objective 0 469.77/471.19 c #Conflicts: 421000 | #Constraints: 13835 469.77/471.19 c #Conflicts: 422000 | #Constraints: 14835 469.77/471.19 c #Conflicts: 423000 | #Constraints: 15835 469.77/471.19 c #Conflicts: 424000 | #Constraints: 16835 469.77/471.19 c #Conflicts: 425000 | #Constraints: 17835 469.77/471.19 c #Conflicts: 426000 | #Constraints: 18835 469.77/471.19 c #Conflicts: 427000 | #Constraints: 19835 469.77/471.19 c #Conflicts: 428000 | #Constraints: 20836 469.77/471.19 c #Conflicts: 429000 | #Constraints: 21836 469.77/471.19 c #Conflicts: 430000 | #Constraints: 22836 469.77/471.19 c #Conflicts: 431000 | #Constraints: 23836 469.77/471.19 c #Conflicts: 432000 | #Constraints: 24837 469.77/471.19 c #Conflicts: 433000 | #Constraints: 25837 469.77/471.19 c INPROCESSING 469.77/471.19 c GARBAGE COLLECT 469.77/471.19 c rational objective 0 493.90/495.35 c #Conflicts: 434000 | #Constraints: 13836 493.90/495.35 c #Conflicts: 435000 | #Constraints: 14836 493.90/495.35 c #Conflicts: 436000 | #Constraints: 15836 493.90/495.35 c #Conflicts: 437000 | #Constraints: 16836 493.90/495.35 c #Conflicts: 438000 | #Constraints: 17836 493.90/495.35 c #Conflicts: 439000 | #Constraints: 18836 493.90/495.35 c #Conflicts: 440000 | #Constraints: 19836 493.90/495.35 c #Conflicts: 441000 | #Constraints: 20836 493.90/495.35 c #Conflicts: 442000 | #Constraints: 21836 493.90/495.35 c #Conflicts: 443000 | #Constraints: 22836 493.90/495.35 c #Conflicts: 444000 | #Constraints: 23836 493.90/495.35 c #Conflicts: 445000 | #Constraints: 24836 493.90/495.35 c #Conflicts: 446000 | #Constraints: 25836 493.90/495.35 c INPROCESSING 493.90/495.35 c GARBAGE COLLECT 493.90/495.35 c rational objective 0 518.53/520.07 c #Conflicts: 447000 | #Constraints: 13637 518.53/520.07 c #Conflicts: 448000 | #Constraints: 14637 518.53/520.07 c #Conflicts: 449000 | #Constraints: 15637 518.53/520.07 c #Conflicts: 450000 | #Constraints: 16637 518.53/520.07 c #Conflicts: 451000 | #Constraints: 17637 518.53/520.07 c #Conflicts: 452000 | #Constraints: 18637 518.53/520.07 c #Conflicts: 453000 | #Constraints: 19637 518.53/520.07 c #Conflicts: 454000 | #Constraints: 20637 518.53/520.07 c #Conflicts: 455000 | #Constraints: 21637 518.53/520.07 c #Conflicts: 456000 | #Constraints: 22637 518.53/520.07 c #Conflicts: 457000 | #Constraints: 23637 518.53/520.07 c #Conflicts: 458000 | #Constraints: 24637 518.53/520.07 c #Conflicts: 459000 | #Constraints: 25637 518.53/520.07 c #Conflicts: 460000 | #Constraints: 26637 518.53/520.07 c INPROCESSING 518.53/520.07 c GARBAGE COLLECT 518.53/520.07 c rational objective 0 543.34/544.98 c #Conflicts: 461000 | #Constraints: 14235 543.34/544.98 c #Conflicts: 462000 | #Constraints: 15235 543.34/544.98 c #Conflicts: 463000 | #Constraints: 16235 543.34/544.98 c #Conflicts: 464000 | #Constraints: 17235 543.34/544.98 c #Conflicts: 465000 | #Constraints: 18235 543.34/544.98 c #Conflicts: 466000 | #Constraints: 19235 543.34/544.98 c #Conflicts: 467000 | #Constraints: 20235 543.34/544.98 c #Conflicts: 468000 | #Constraints: 21236 543.34/544.98 c #Conflicts: 469000 | #Constraints: 22236 543.34/544.98 c bounds 1 >= 0 @ 529.824 543.34/544.98 c #Conflicts: 470000 | #Constraints: 23237 543.34/544.98 c #Conflicts: 471000 | #Constraints: 24237 543.34/544.98 c #Conflicts: 472000 | #Constraints: 25237 543.34/544.98 c #Conflicts: 473000 | #Constraints: 26238 543.34/544.98 c #Conflicts: 474000 | #Constraints: 27238 543.34/544.98 c INPROCESSING 543.34/544.98 c GARBAGE COLLECT 543.34/544.98 c rational objective 0 568.38/570.05 c #Conflicts: 475000 | #Constraints: 14634 568.38/570.05 c #Conflicts: 476000 | #Constraints: 15634 568.38/570.05 c #Conflicts: 477000 | #Constraints: 16634 568.38/570.05 c #Conflicts: 478000 | #Constraints: 17634 568.38/570.05 c #Conflicts: 479000 | #Constraints: 18634 568.38/570.05 c #Conflicts: 480000 | #Constraints: 19634 568.38/570.05 c #Conflicts: 481000 | #Constraints: 20634 568.38/570.05 c #Conflicts: 482000 | #Constraints: 21634 568.38/570.05 c #Conflicts: 483000 | #Constraints: 22634 568.38/570.05 c #Conflicts: 484000 | #Constraints: 23634 568.38/570.05 c #Conflicts: 485000 | #Constraints: 24634 568.38/570.05 c #Conflicts: 486000 | #Constraints: 25634 568.38/570.05 c #Conflicts: 487000 | #Constraints: 26634 568.38/570.05 c #Conflicts: 488000 | #Constraints: 27635 568.38/570.05 c INPROCESSING 568.38/570.05 c GARBAGE COLLECT 568.38/570.05 c rational objective 0 594.29/596.06 c #Conflicts: 489000 | #Constraints: 14832 594.29/596.06 c #Conflicts: 490000 | #Constraints: 15832 594.29/596.06 c #Conflicts: 491000 | #Constraints: 16832 594.29/596.06 c #Conflicts: 492000 | #Constraints: 17832 594.29/596.06 c #Conflicts: 493000 | #Constraints: 18832 594.29/596.06 c #Conflicts: 494000 | #Constraints: 19832 594.29/596.06 c #Conflicts: 495000 | #Constraints: 20832 594.29/596.06 c #Conflicts: 496000 | #Constraints: 21832 594.29/596.06 c #Conflicts: 497000 | #Constraints: 22832 594.29/596.06 c #Conflicts: 498000 | #Constraints: 23832 594.29/596.06 c #Conflicts: 499000 | #Constraints: 24832 594.29/596.06 c #Conflicts: 500000 | #Constraints: 25832 594.29/596.06 c #Conflicts: 501000 | #Constraints: 26832 594.29/596.06 c #Conflicts: 502000 | #Constraints: 27832 594.29/596.06 c INPROCESSING 594.29/596.06 c GARBAGE COLLECT 594.29/596.06 c rational objective 0 619.52/621.36 c #Conflicts: 503000 | #Constraints: 14829 619.52/621.36 c #Conflicts: 504000 | #Constraints: 15829 619.52/621.36 c #Conflicts: 505000 | #Constraints: 16829 619.52/621.36 c #Conflicts: 506000 | #Constraints: 17829 619.52/621.36 c #Conflicts: 507000 | #Constraints: 18829 619.52/621.36 c #Conflicts: 508000 | #Constraints: 19829 619.52/621.36 c #Conflicts: 509000 | #Constraints: 20829 619.52/621.36 c #Conflicts: 510000 | #Constraints: 21829 619.52/621.36 c #Conflicts: 511000 | #Constraints: 22829 619.52/621.36 c #Conflicts: 512000 | #Constraints: 23829 619.52/621.36 c #Conflicts: 513000 | #Constraints: 24829 619.52/621.36 c #Conflicts: 514000 | #Constraints: 25829 619.52/621.36 c #Conflicts: 515000 | #Constraints: 26830 619.52/621.36 c #Conflicts: 516000 | #Constraints: 27830 619.52/621.36 c INPROCESSING 619.52/621.36 c GARBAGE COLLECT 619.52/621.36 c rational objective 0 647.15/649.05 c #Conflicts: 517000 | #Constraints: 14629 647.15/649.05 c #Conflicts: 518000 | #Constraints: 15629 647.15/649.05 c #Conflicts: 519000 | #Constraints: 16629 647.15/649.05 c #Conflicts: 520000 | #Constraints: 17629 647.15/649.05 c #Conflicts: 521000 | #Constraints: 18629 647.15/649.05 c #Conflicts: 522000 | #Constraints: 19629 647.15/649.05 c #Conflicts: 523000 | #Constraints: 20629 647.15/649.05 c #Conflicts: 524000 | #Constraints: 21629 647.15/649.05 c #Conflicts: 525000 | #Constraints: 22629 647.15/649.05 c #Conflicts: 526000 | #Constraints: 23629 647.15/649.05 c #Conflicts: 527000 | #Constraints: 24629 647.15/649.05 c #Conflicts: 528000 | #Constraints: 25629 647.15/649.05 c #Conflicts: 529000 | #Constraints: 26629 647.15/649.05 c #Conflicts: 530000 | #Constraints: 27629 647.15/649.05 c #Conflicts: 531000 | #Constraints: 28629 647.15/649.05 c INPROCESSING 647.15/649.05 c GARBAGE COLLECT 647.15/649.05 c rational objective 0 672.47/674.46 c #Conflicts: 532000 | #Constraints: 15230 672.47/674.46 c #Conflicts: 533000 | #Constraints: 16230 672.47/674.46 c #Conflicts: 534000 | #Constraints: 17230 672.47/674.46 c #Conflicts: 535000 | #Constraints: 18230 672.47/674.46 c #Conflicts: 536000 | #Constraints: 19230 672.47/674.46 c #Conflicts: 537000 | #Constraints: 20230 672.47/674.46 c #Conflicts: 538000 | #Constraints: 21230 672.47/674.46 c #Conflicts: 539000 | #Constraints: 22230 672.47/674.46 c #Conflicts: 540000 | #Constraints: 23230 672.47/674.46 c #Conflicts: 541000 | #Constraints: 24230 672.47/674.46 c #Conflicts: 542000 | #Constraints: 25230 672.47/674.46 c #Conflicts: 543000 | #Constraints: 26230 672.47/674.46 c #Conflicts: 544000 | #Constraints: 27231 672.47/674.46 c #Conflicts: 545000 | #Constraints: 28231 672.47/674.46 c #Conflicts: 546000 | #Constraints: 29231 672.47/674.46 c INPROCESSING 672.47/674.46 c GARBAGE COLLECT 672.47/674.46 c rational objective 0 702.37/704.47 c #Conflicts: 547000 | #Constraints: 15628 702.37/704.47 c #Conflicts: 548000 | #Constraints: 16628 702.37/704.47 c #Conflicts: 549000 | #Constraints: 17628 702.37/704.47 c #Conflicts: 550000 | #Constraints: 18628 702.37/704.47 c #Conflicts: 551000 | #Constraints: 19628 702.37/704.47 c #Conflicts: 552000 | #Constraints: 20628 702.37/704.47 c #Conflicts: 553000 | #Constraints: 21628 702.37/704.47 c #Conflicts: 554000 | #Constraints: 22628 702.37/704.47 c #Conflicts: 555000 | #Constraints: 23628 702.37/704.47 c #Conflicts: 556000 | #Constraints: 24628 702.37/704.47 c #Conflicts: 557000 | #Constraints: 25628 702.37/704.47 c #Conflicts: 558000 | #Constraints: 26628 702.37/704.47 c #Conflicts: 559000 | #Constraints: 27628 702.37/704.47 c #Conflicts: 560000 | #Constraints: 28628 702.37/704.47 c #Conflicts: 561000 | #Constraints: 29628 702.37/704.47 c INPROCESSING 702.37/704.47 c GARBAGE COLLECT 702.37/704.47 c rational objective 0 730.09/732.27 c #Conflicts: 562000 | #Constraints: 15830 730.09/732.27 c #Conflicts: 563000 | #Constraints: 16830 730.09/732.27 c #Conflicts: 564000 | #Constraints: 17830 730.09/732.27 c #Conflicts: 565000 | #Constraints: 18830 730.09/732.27 c #Conflicts: 566000 | #Constraints: 19830 730.09/732.27 c #Conflicts: 567000 | #Constraints: 20830 730.09/732.27 c #Conflicts: 568000 | #Constraints: 21830 730.09/732.27 c #Conflicts: 569000 | #Constraints: 22830 730.09/732.27 c #Conflicts: 570000 | #Constraints: 23830 730.09/732.27 c #Conflicts: 571000 | #Constraints: 24830 730.09/732.27 c #Conflicts: 572000 | #Constraints: 25830 730.09/732.27 c #Conflicts: 573000 | #Constraints: 26830 730.09/732.27 c #Conflicts: 574000 | #Constraints: 27830 730.09/732.27 c #Conflicts: 575000 | #Constraints: 28830 730.09/732.27 c #Conflicts: 576000 | #Constraints: 29830 730.09/732.27 c INPROCESSING 730.09/732.27 c GARBAGE COLLECT 730.09/732.27 c rational objective 0 761.70/763.91 c #Conflicts: 577000 | #Constraints: 15831 761.70/763.91 c #Conflicts: 578000 | #Constraints: 16831 761.70/763.91 c #Conflicts: 579000 | #Constraints: 17831 761.70/763.91 c #Conflicts: 580000 | #Constraints: 18831 761.70/763.91 c #Conflicts: 581000 | #Constraints: 19831 761.70/763.91 c #Conflicts: 582000 | #Constraints: 20831 761.70/763.91 c #Conflicts: 583000 | #Constraints: 21831 761.70/763.91 c #Conflicts: 584000 | #Constraints: 22831 761.70/763.91 c #Conflicts: 585000 | #Constraints: 23831 761.70/763.91 c #Conflicts: 586000 | #Constraints: 24831 761.70/763.91 c #Conflicts: 587000 | #Constraints: 25831 761.70/763.91 c #Conflicts: 588000 | #Constraints: 26831 761.70/763.91 c #Conflicts: 589000 | #Constraints: 27831 761.70/763.91 c #Conflicts: 590000 | #Constraints: 28831 761.70/763.91 c #Conflicts: 591000 | #Constraints: 29831 761.70/763.91 c INPROCESSING 761.70/763.91 c GARBAGE COLLECT 761.70/763.91 c rational objective 0 792.60/794.99 c #Conflicts: 592000 | #Constraints: 15629 792.60/794.99 c #Conflicts: 593000 | #Constraints: 16629 792.60/794.99 c #Conflicts: 594000 | #Constraints: 17629 792.60/794.99 c #Conflicts: 595000 | #Constraints: 18629 792.60/794.99 c #Conflicts: 596000 | #Constraints: 19629 792.60/794.99 c #Conflicts: 597000 | #Constraints: 20629 792.60/794.99 c #Conflicts: 598000 | #Constraints: 21629 792.60/794.99 c #Conflicts: 599000 | #Constraints: 22629 792.60/794.99 c #Conflicts: 600000 | #Constraints: 23629 792.60/794.99 c #Conflicts: 601000 | #Constraints: 24629 792.60/794.99 c #Conflicts: 602000 | #Constraints: 25629 792.60/794.99 c #Conflicts: 603000 | #Constraints: 26629 792.60/794.99 c #Conflicts: 604000 | #Constraints: 27629 792.60/794.99 c #Conflicts: 605000 | #Constraints: 28629 792.60/794.99 c #Conflicts: 606000 | #Constraints: 29629 792.60/794.99 c #Conflicts: 607000 | #Constraints: 30629 792.60/794.99 c INPROCESSING 792.60/794.99 c GARBAGE COLLECT 792.60/794.99 c rational objective 0 826.50/828.99 c #Conflicts: 608000 | #Constraints: 16230 826.50/828.99 c #Conflicts: 609000 | #Constraints: 17230 826.50/828.99 c #Conflicts: 610000 | #Constraints: 18230 826.50/828.99 c #Conflicts: 611000 | #Constraints: 19230 826.50/828.99 c #Conflicts: 612000 | #Constraints: 20230 826.50/828.99 c #Conflicts: 613000 | #Constraints: 21230 826.50/828.99 c #Conflicts: 614000 | #Constraints: 22230 826.50/828.99 c #Conflicts: 615000 | #Constraints: 23230 826.50/828.99 c #Conflicts: 616000 | #Constraints: 24230 826.50/828.99 c #Conflicts: 617000 | #Constraints: 25230 826.50/828.99 c #Conflicts: 618000 | #Constraints: 26230 826.50/828.99 c #Conflicts: 619000 | #Constraints: 27230 826.50/828.99 c #Conflicts: 620000 | #Constraints: 28230 826.50/828.99 c #Conflicts: 621000 | #Constraints: 29230 826.50/828.99 c #Conflicts: 622000 | #Constraints: 30230 826.50/828.99 c #Conflicts: 623000 | #Constraints: 31230 826.50/828.99 c INPROCESSING 826.50/828.99 c GARBAGE COLLECT 826.50/828.99 c rational objective 0 856.91/859.46 c #Conflicts: 624000 | #Constraints: 16633 856.91/859.46 c #Conflicts: 625000 | #Constraints: 17633 856.91/859.46 c #Conflicts: 626000 | #Constraints: 18633 856.91/859.46 c #Conflicts: 627000 | #Constraints: 19633 856.91/859.46 c #Conflicts: 628000 | #Constraints: 20633 856.91/859.46 c #Conflicts: 629000 | #Constraints: 21633 856.91/859.46 c #Conflicts: 630000 | #Constraints: 22633 856.91/859.46 c #Conflicts: 631000 | #Constraints: 23633 856.91/859.46 c #Conflicts: 632000 | #Constraints: 24633 856.91/859.46 c #Conflicts: 633000 | #Constraints: 25633 856.91/859.46 c #Conflicts: 634000 | #Constraints: 26633 856.91/859.46 c #Conflicts: 635000 | #Constraints: 27633 856.91/859.46 c #Conflicts: 636000 | #Constraints: 28633 856.91/859.46 c #Conflicts: 637000 | #Constraints: 29633 856.91/859.46 c #Conflicts: 638000 | #Constraints: 30633 856.91/859.46 c #Conflicts: 639000 | #Constraints: 31633 856.91/859.46 c INPROCESSING 856.91/859.46 c GARBAGE COLLECT 856.91/859.46 c rational objective 0 891.70/894.34 c #Conflicts: 640000 | #Constraints: 16832 891.70/894.34 c #Conflicts: 641000 | #Constraints: 17832 891.70/894.34 c #Conflicts: 642000 | #Constraints: 18832 891.70/894.34 c #Conflicts: 643000 | #Constraints: 19832 891.70/894.34 c #Conflicts: 644000 | #Constraints: 20832 891.70/894.34 c #Conflicts: 645000 | #Constraints: 21832 891.70/894.34 c #Conflicts: 646000 | #Constraints: 22832 891.70/894.34 c #Conflicts: 647000 | #Constraints: 23832 891.70/894.34 c #Conflicts: 648000 | #Constraints: 24832 891.70/894.34 c #Conflicts: 649000 | #Constraints: 25832 891.70/894.34 c #Conflicts: 650000 | #Constraints: 26832 891.70/894.34 c #Conflicts: 651000 | #Constraints: 27832 891.70/894.34 c #Conflicts: 652000 | #Constraints: 28832 891.70/894.34 c #Conflicts: 653000 | #Constraints: 29832 891.70/894.34 c #Conflicts: 654000 | #Constraints: 30832 891.70/894.34 c #Conflicts: 655000 | #Constraints: 31832 891.70/894.34 c INPROCESSING 891.70/894.34 c GARBAGE COLLECT 891.70/894.34 c rational objective 0 924.80/927.53 c #Conflicts: 656000 | #Constraints: 16833 924.80/927.53 c #Conflicts: 657000 | #Constraints: 17833 924.80/927.53 c #Conflicts: 658000 | #Constraints: 18833 924.80/927.53 c #Conflicts: 659000 | #Constraints: 19833 924.80/927.53 c #Conflicts: 660000 | #Constraints: 20834 924.80/927.53 c #Conflicts: 661000 | #Constraints: 21834 924.80/927.53 c #Conflicts: 662000 | #Constraints: 22834 924.80/927.53 c #Conflicts: 663000 | #Constraints: 23834 924.80/927.53 c #Conflicts: 664000 | #Constraints: 24834 924.80/927.53 c #Conflicts: 665000 | #Constraints: 25834 924.80/927.53 c #Conflicts: 666000 | #Constraints: 26834 924.80/927.53 c #Conflicts: 667000 | #Constraints: 27834 924.80/927.53 c #Conflicts: 668000 | #Constraints: 28834 924.80/927.53 c #Conflicts: 669000 | #Constraints: 29834 924.80/927.53 c #Conflicts: 670000 | #Constraints: 30834 924.80/927.53 c #Conflicts: 671000 | #Constraints: 31834 924.80/927.53 c INPROCESSING 924.80/927.53 c GARBAGE COLLECT 924.80/927.53 c rational objective 0 961.79/964.64 c #Conflicts: 672000 | #Constraints: 16630 961.79/964.64 c #Conflicts: 673000 | #Constraints: 17630 961.79/964.64 c #Conflicts: 674000 | #Constraints: 18630 961.79/964.64 c #Conflicts: 675000 | #Constraints: 19630 961.79/964.64 c #Conflicts: 676000 | #Constraints: 20630 961.79/964.64 c #Conflicts: 677000 | #Constraints: 21630 961.79/964.64 c #Conflicts: 678000 | #Constraints: 22630 961.79/964.64 c #Conflicts: 679000 | #Constraints: 23630 961.79/964.64 c #Conflicts: 680000 | #Constraints: 24630 961.79/964.64 c #Conflicts: 681000 | #Constraints: 25630 961.79/964.64 c #Conflicts: 682000 | #Constraints: 26630 961.79/964.64 c #Conflicts: 683000 | #Constraints: 27630 961.79/964.64 c #Conflicts: 684000 | #Constraints: 28630 961.79/964.64 c #Conflicts: 685000 | #Constraints: 29630 961.79/964.64 c #Conflicts: 686000 | #Constraints: 30630 961.79/964.64 c #Conflicts: 687000 | #Constraints: 31630 961.79/964.64 c #Conflicts: 688000 | #Constraints: 32630 961.79/964.64 c INPROCESSING 961.79/964.64 c GARBAGE COLLECT 961.79/964.64 c rational objective 0 994.89/997.89 c #Conflicts: 689000 | #Constraints: 17229 994.89/997.89 c #Conflicts: 690000 | #Constraints: 18229 994.89/997.89 c #Conflicts: 691000 | #Constraints: 19229 994.89/997.89 c #Conflicts: 692000 | #Constraints: 20229 994.89/997.89 c #Conflicts: 693000 | #Constraints: 21229 994.89/997.89 c #Conflicts: 694000 | #Constraints: 22229 994.89/997.89 c #Conflicts: 695000 | #Constraints: 23229 994.89/997.89 c #Conflicts: 696000 | #Constraints: 24229 994.89/997.89 c #Conflicts: 697000 | #Constraints: 25229 994.89/997.89 c #Conflicts: 698000 | #Constraints: 26229 994.89/997.89 c #Conflicts: 699000 | #Constraints: 27229 994.89/997.89 c #Conflicts: 700000 | #Constraints: 28229 994.89/997.89 c #Conflicts: 701000 | #Constraints: 29229 994.89/997.89 c #Conflicts: 702000 | #Constraints: 30229 994.89/997.89 c #Conflicts: 703000 | #Constraints: 31229 994.89/997.89 c #Conflicts: 704000 | #Constraints: 32229 994.89/997.89 c #Conflicts: 705000 | #Constraints: 33229 994.89/997.89 c INPROCESSING 994.89/997.89 c GARBAGE COLLECT 994.89/997.89 c rational objective 0 1032.78/1035.87 c #Conflicts: 706000 | #Constraints: 17630 1032.78/1035.87 c #Conflicts: 707000 | #Constraints: 18630 1032.78/1035.87 c #Conflicts: 708000 | #Constraints: 19631 1032.78/1035.87 c #Conflicts: 709000 | #Constraints: 20631 1032.78/1035.87 c #Conflicts: 710000 | #Constraints: 21631 1032.78/1035.87 c #Conflicts: 711000 | #Constraints: 22631 1032.78/1035.87 c #Conflicts: 712000 | #Constraints: 23631 1032.78/1035.87 c #Conflicts: 713000 | #Constraints: 24631 1032.78/1035.87 c #Conflicts: 714000 | #Constraints: 25631 1032.78/1035.87 c #Conflicts: 715000 | #Constraints: 26631 1032.78/1035.87 c #Conflicts: 716000 | #Constraints: 27631 1032.78/1035.87 c #Conflicts: 717000 | #Constraints: 28631 1032.78/1035.87 c #Conflicts: 718000 | #Constraints: 29632 1032.78/1035.87 c #Conflicts: 719000 | #Constraints: 30632 1032.78/1035.87 c #Conflicts: 720000 | #Constraints: 31632 1032.78/1035.87 c #Conflicts: 721000 | #Constraints: 32632 1032.78/1035.87 c #Conflicts: 722000 | #Constraints: 33632 1032.78/1035.87 c INPROCESSING 1032.78/1035.87 c GARBAGE COLLECT 1032.78/1035.87 c rational objective 0 1071.46/1074.63 c #Conflicts: 723000 | #Constraints: 17833 1071.46/1074.63 c #Conflicts: 724000 | #Constraints: 18833 1071.46/1074.63 c #Conflicts: 725000 | #Constraints: 19833 1071.46/1074.63 c #Conflicts: 726000 | #Constraints: 20833 1071.46/1074.63 c #Conflicts: 727000 | #Constraints: 21833 1071.46/1074.63 c #Conflicts: 728000 | #Constraints: 22833 1071.46/1074.63 c #Conflicts: 729000 | #Constraints: 23833 1071.46/1074.63 c #Conflicts: 730000 | #Constraints: 24833 1071.46/1074.63 c #Conflicts: 731000 | #Constraints: 25833 1071.46/1074.63 c #Conflicts: 732000 | #Constraints: 26833 1071.46/1074.63 c #Conflicts: 733000 | #Constraints: 27833 1071.46/1074.63 c #Conflicts: 734000 | #Constraints: 28833 1071.46/1074.63 c #Conflicts: 735000 | #Constraints: 29833 1071.46/1074.63 c #Conflicts: 736000 | #Constraints: 30833 1071.46/1074.63 c #Conflicts: 737000 | #Constraints: 31833 1071.46/1074.63 c #Conflicts: 738000 | #Constraints: 32833 1071.46/1074.63 c #Conflicts: 739000 | #Constraints: 33833 1071.46/1074.63 c INPROCESSING 1071.46/1074.63 c GARBAGE COLLECT 1071.46/1074.63 c rational objective 0 1111.64/1114.91 c #Conflicts: 740000 | #Constraints: 17834 1111.64/1114.91 c #Conflicts: 741000 | #Constraints: 18834 1111.64/1114.91 c #Conflicts: 742000 | #Constraints: 19834 1111.64/1114.91 c #Conflicts: 743000 | #Constraints: 20834 1111.64/1114.91 c #Conflicts: 744000 | #Constraints: 21834 1111.64/1114.91 c #Conflicts: 745000 | #Constraints: 22834 1111.64/1114.91 c #Conflicts: 746000 | #Constraints: 23834 1111.64/1114.91 c #Conflicts: 747000 | #Constraints: 24834 1111.64/1114.91 c #Conflicts: 748000 | #Constraints: 25834 1111.64/1114.91 c #Conflicts: 749000 | #Constraints: 26834 1111.64/1114.91 c #Conflicts: 750000 | #Constraints: 27834 1111.64/1114.91 c #Conflicts: 751000 | #Constraints: 28834 1111.64/1114.91 c #Conflicts: 752000 | #Constraints: 29834 1111.64/1114.91 c #Conflicts: 753000 | #Constraints: 30834 1111.64/1114.91 c #Conflicts: 754000 | #Constraints: 31834 1111.64/1114.91 c #Conflicts: 755000 | #Constraints: 32834 1111.64/1114.91 c #Conflicts: 756000 | #Constraints: 33834 1111.64/1114.91 c INPROCESSING 1111.64/1114.91 c GARBAGE COLLECT 1111.64/1114.91 c rational objective 0 1149.73/1153.11 c #Conflicts: 757000 | #Constraints: 17632 1149.73/1153.11 c #Conflicts: 758000 | #Constraints: 18632 1149.73/1153.11 c #Conflicts: 759000 | #Constraints: 19632 1149.73/1153.11 c #Conflicts: 760000 | #Constraints: 20632 1149.73/1153.11 c #Conflicts: 761000 | #Constraints: 21632 1149.73/1153.11 c #Conflicts: 762000 | #Constraints: 22632 1149.73/1153.11 c #Conflicts: 763000 | #Constraints: 23632 1149.73/1153.11 c #Conflicts: 764000 | #Constraints: 24632 1149.73/1153.11 c #Conflicts: 765000 | #Constraints: 25632 1149.73/1153.11 c #Conflicts: 766000 | #Constraints: 26632 1149.73/1153.11 c #Conflicts: 767000 | #Constraints: 27632 1149.73/1153.11 c #Conflicts: 768000 | #Constraints: 28632 1149.73/1153.11 c #Conflicts: 769000 | #Constraints: 29632 1149.73/1153.11 c #Conflicts: 770000 | #Constraints: 30632 1149.73/1153.11 c #Conflicts: 771000 | #Constraints: 31632 1149.73/1153.11 c #Conflicts: 772000 | #Constraints: 32632 1149.73/1153.11 c #Conflicts: 773000 | #Constraints: 33632 1149.73/1153.11 c #Conflicts: 774000 | #Constraints: 34632 1149.73/1153.11 c INPROCESSING 1149.73/1153.11 c GARBAGE COLLECT 1149.73/1153.11 c rational objective 0 1191.60/1195.12 c #Conflicts: 775000 | #Constraints: 18229 1191.60/1195.12 c #Conflicts: 776000 | #Constraints: 19229 1191.60/1195.12 c #Conflicts: 777000 | #Constraints: 20229 1191.60/1195.12 c #Conflicts: 778000 | #Constraints: 21229 1191.60/1195.12 c #Conflicts: 779000 | #Constraints: 22229 1191.60/1195.12 c #Conflicts: 780000 | #Constraints: 23229 1191.60/1195.12 c #Conflicts: 781000 | #Constraints: 24229 1191.60/1195.12 c #Conflicts: 782000 | #Constraints: 25229 1191.60/1195.12 c #Conflicts: 783000 | #Constraints: 26229 1191.60/1195.12 c #Conflicts: 784000 | #Constraints: 27229 1191.60/1195.12 c #Conflicts: 785000 | #Constraints: 28229 1191.60/1195.12 c #Conflicts: 786000 | #Constraints: 29229 1191.60/1195.12 c #Conflicts: 787000 | #Constraints: 30229 1191.60/1195.12 c #Conflicts: 788000 | #Constraints: 31229 1191.60/1195.12 c #Conflicts: 789000 | #Constraints: 32229 1191.60/1195.12 c #Conflicts: 790000 | #Constraints: 33229 1191.60/1195.12 c #Conflicts: 791000 | #Constraints: 34229 1191.60/1195.12 c #Conflicts: 792000 | #Constraints: 35229 1191.60/1195.12 c INPROCESSING 1191.60/1195.12 c GARBAGE COLLECT 1191.60/1195.12 c rational objective 0 1231.37/1235.10 c #Conflicts: 793000 | #Constraints: 18630 1231.37/1235.10 c #Conflicts: 794000 | #Constraints: 19630 1231.37/1235.10 c #Conflicts: 795000 | #Constraints: 20630 1231.37/1235.10 c #Conflicts: 796000 | #Constraints: 21630 1231.37/1235.10 c #Conflicts: 797000 | #Constraints: 22630 1231.37/1235.10 c #Conflicts: 798000 | #Constraints: 23630 1231.37/1235.10 c #Conflicts: 799000 | #Constraints: 24630 1231.37/1235.10 c #Conflicts: 800000 | #Constraints: 25630 1231.37/1235.10 c #Conflicts: 801000 | #Constraints: 26630 1231.37/1235.10 c #Conflicts: 802000 | #Constraints: 27630 1231.37/1235.10 c #Conflicts: 803000 | #Constraints: 28630 1231.37/1235.10 c #Conflicts: 804000 | #Constraints: 29630 1231.37/1235.10 c #Conflicts: 805000 | #Constraints: 30630 1231.37/1235.10 c #Conflicts: 806000 | #Constraints: 31630 1231.37/1235.10 c #Conflicts: 807000 | #Constraints: 32630 1231.37/1235.10 c #Conflicts: 808000 | #Constraints: 33630 1231.37/1235.10 c #Conflicts: 809000 | #Constraints: 34630 1231.37/1235.10 c #Conflicts: 810000 | #Constraints: 35630 1231.37/1235.10 c INPROCESSING 1231.37/1235.10 c GARBAGE COLLECT 1231.37/1235.10 c rational objective 0 1276.53/1280.36 c #Conflicts: 811000 | #Constraints: 18831 1276.53/1280.36 c #Conflicts: 812000 | #Constraints: 19831 1276.53/1280.36 c #Conflicts: 813000 | #Constraints: 20831 1276.53/1280.36 c #Conflicts: 814000 | #Constraints: 21831 1276.53/1280.36 c #Conflicts: 815000 | #Constraints: 22831 1276.53/1280.36 c #Conflicts: 816000 | #Constraints: 23831 1276.53/1280.36 c #Conflicts: 817000 | #Constraints: 24831 1276.53/1280.36 c #Conflicts: 818000 | #Constraints: 25831 1276.53/1280.36 c #Conflicts: 819000 | #Constraints: 26831 1276.53/1280.36 c #Conflicts: 820000 | #Constraints: 27831 1276.53/1280.36 c #Conflicts: 821000 | #Constraints: 28831 1276.53/1280.36 c #Conflicts: 822000 | #Constraints: 29831 1276.53/1280.36 c #Conflicts: 823000 | #Constraints: 30831 1276.53/1280.36 c #Conflicts: 824000 | #Constraints: 31831 1276.53/1280.36 c #Conflicts: 825000 | #Constraints: 32831 1276.53/1280.36 c #Conflicts: 826000 | #Constraints: 33831 1276.53/1280.36 c #Conflicts: 827000 | #Constraints: 34831 1276.53/1280.36 c #Conflicts: 828000 | #Constraints: 35831 1276.53/1280.36 c INPROCESSING 1276.53/1280.36 c GARBAGE COLLECT 1276.53/1280.36 c rational objective 0 1320.50/1324.48 c #Conflicts: 829000 | #Constraints: 18830 1320.50/1324.48 c #Conflicts: 830000 | #Constraints: 19830 1320.50/1324.48 c #Conflicts: 831000 | #Constraints: 20830 1320.50/1324.48 c #Conflicts: 832000 | #Constraints: 21830 1320.50/1324.48 c #Conflicts: 833000 | #Constraints: 22830 1320.50/1324.48 c #Conflicts: 834000 | #Constraints: 23830 1320.50/1324.48 c #Conflicts: 835000 | #Constraints: 24830 1320.50/1324.48 c #Conflicts: 836000 | #Constraints: 25830 1320.50/1324.48 c #Conflicts: 837000 | #Constraints: 26830 1320.50/1324.48 c #Conflicts: 838000 | #Constraints: 27830 1320.50/1324.48 c #Conflicts: 839000 | #Constraints: 28830 1320.50/1324.48 c #Conflicts: 840000 | #Constraints: 29830 1320.50/1324.48 c #Conflicts: 841000 | #Constraints: 30830 1320.50/1324.48 c #Conflicts: 842000 | #Constraints: 31830 1320.50/1324.48 c #Conflicts: 843000 | #Constraints: 32830 1320.50/1324.48 c #Conflicts: 844000 | #Constraints: 33830 1320.50/1324.48 c #Conflicts: 845000 | #Constraints: 34830 1320.50/1324.48 c #Conflicts: 846000 | #Constraints: 35830 1320.50/1324.48 c INPROCESSING 1320.50/1324.48 c GARBAGE COLLECT 1320.50/1324.48 c rational objective 0 1367.65/1371.70 c #Conflicts: 847000 | #Constraints: 18628 1367.65/1371.70 c #Conflicts: 848000 | #Constraints: 19628 1367.65/1371.70 c #Conflicts: 849000 | #Constraints: 20628 1367.65/1371.70 c #Conflicts: 850000 | #Constraints: 21628 1367.65/1371.70 c #Conflicts: 851000 | #Constraints: 22628 1367.65/1371.70 c #Conflicts: 852000 | #Constraints: 23628 1367.65/1371.70 c #Conflicts: 853000 | #Constraints: 24628 1367.65/1371.70 c #Conflicts: 854000 | #Constraints: 25628 1367.65/1371.70 c #Conflicts: 855000 | #Constraints: 26628 1367.65/1371.70 c #Conflicts: 856000 | #Constraints: 27628 1367.65/1371.70 c #Conflicts: 857000 | #Constraints: 28628 1367.65/1371.70 c #Conflicts: 858000 | #Constraints: 29628 1367.65/1371.70 c #Conflicts: 859000 | #Constraints: 30628 1367.65/1371.70 c #Conflicts: 860000 | #Constraints: 31628 1367.65/1371.70 c #Conflicts: 861000 | #Constraints: 32628 1367.65/1371.70 c #Conflicts: 862000 | #Constraints: 33628 1367.65/1371.70 c #Conflicts: 863000 | #Constraints: 34628 1367.65/1371.70 c #Conflicts: 864000 | #Constraints: 35628 1367.65/1371.70 c #Conflicts: 865000 | #Constraints: 36628 1367.65/1371.70 c INPROCESSING 1367.65/1371.70 c GARBAGE COLLECT 1367.65/1371.70 c rational objective 0 1411.91/1416.13 c #Conflicts: 866000 | #Constraints: 19228 1411.91/1416.13 c #Conflicts: 867000 | #Constraints: 20228 1411.91/1416.13 c #Conflicts: 868000 | #Constraints: 21228 1411.91/1416.13 c #Conflicts: 869000 | #Constraints: 22228 1411.91/1416.13 c #Conflicts: 870000 | #Constraints: 23228 1411.91/1416.13 c #Conflicts: 871000 | #Constraints: 24228 1411.91/1416.13 c #Conflicts: 872000 | #Constraints: 25228 1411.91/1416.13 c #Conflicts: 873000 | #Constraints: 26228 1411.91/1416.13 c #Conflicts: 874000 | #Constraints: 27228 1411.91/1416.13 c #Conflicts: 875000 | #Constraints: 28228 1411.91/1416.13 c #Conflicts: 876000 | #Constraints: 29228 1411.91/1416.13 c #Conflicts: 877000 | #Constraints: 30228 1411.91/1416.13 c #Conflicts: 878000 | #Constraints: 31228 1411.91/1416.13 c #Conflicts: 879000 | #Constraints: 32228 1411.91/1416.13 c #Conflicts: 880000 | #Constraints: 33228 1411.91/1416.13 c #Conflicts: 881000 | #Constraints: 34228 1411.91/1416.13 c #Conflicts: 882000 | #Constraints: 35228 1411.91/1416.13 c #Conflicts: 883000 | #Constraints: 36228 1411.91/1416.13 c #Conflicts: 884000 | #Constraints: 37228 1411.91/1416.13 c INPROCESSING 1411.91/1416.13 c GARBAGE COLLECT 1411.91/1416.13 c rational objective 0 1462.76/1467.19 c #Conflicts: 885000 | #Constraints: 19626 1462.76/1467.19 c #Conflicts: 886000 | #Constraints: 20626 1462.76/1467.19 c #Conflicts: 887000 | #Constraints: 21626 1462.76/1467.19 c #Conflicts: 888000 | #Constraints: 22626 1462.76/1467.19 c #Conflicts: 889000 | #Constraints: 23626 1462.76/1467.19 c #Conflicts: 890000 | #Constraints: 24626 1462.76/1467.19 c #Conflicts: 891000 | #Constraints: 25626 1462.76/1467.19 c #Conflicts: 892000 | #Constraints: 26626 1462.76/1467.19 c #Conflicts: 893000 | #Constraints: 27626 1462.76/1467.19 c #Conflicts: 894000 | #Constraints: 28626 1462.76/1467.19 c #Conflicts: 895000 | #Constraints: 29626 1462.76/1467.19 c #Conflicts: 896000 | #Constraints: 30626 1462.76/1467.19 c #Conflicts: 897000 | #Constraints: 31626 1462.76/1467.19 c #Conflicts: 898000 | #Constraints: 32626 1462.76/1467.19 c #Conflicts: 899000 | #Constraints: 33626 1462.76/1467.19 c #Conflicts: 900000 | #Constraints: 34626 1462.76/1467.19 c #Conflicts: 901000 | #Constraints: 35626 1462.76/1467.19 c #Conflicts: 902000 | #Constraints: 36626 1462.76/1467.19 c #Conflicts: 903000 | #Constraints: 37626 1462.76/1467.19 c INPROCESSING 1462.76/1467.19 c GARBAGE COLLECT 1462.76/1467.19 c rational objective 0 1509.51/1514.09 c #Conflicts: 904000 | #Constraints: 19829 1509.51/1514.09 c #Conflicts: 905000 | #Constraints: 20829 1509.51/1514.09 c #Conflicts: 906000 | #Constraints: 21829 1509.51/1514.09 c #Conflicts: 907000 | #Constraints: 22829 1509.51/1514.09 c #Conflicts: 908000 | #Constraints: 23829 1509.51/1514.09 c #Conflicts: 909000 | #Constraints: 24829 1509.51/1514.09 c #Conflicts: 910000 | #Constraints: 25829 1509.51/1514.09 c #Conflicts: 911000 | #Constraints: 26829 1509.51/1514.09 c #Conflicts: 912000 | #Constraints: 27829 1509.51/1514.09 c #Conflicts: 913000 | #Constraints: 28829 1509.51/1514.09 c #Conflicts: 914000 | #Constraints: 29829 1509.51/1514.09 c #Conflicts: 915000 | #Constraints: 30829 1509.51/1514.09 c #Conflicts: 916000 | #Constraints: 31829 1509.51/1514.09 c #Conflicts: 917000 | #Constraints: 32829 1509.51/1514.09 c #Conflicts: 918000 | #Constraints: 33829 1509.51/1514.09 c #Conflicts: 919000 | #Constraints: 34829 1509.51/1514.09 c #Conflicts: 920000 | #Constraints: 35829 1509.51/1514.09 c #Conflicts: 921000 | #Constraints: 36829 1509.51/1514.09 c #Conflicts: 922000 | #Constraints: 37829 1509.51/1514.09 c INPROCESSING 1509.51/1514.09 c GARBAGE COLLECT 1509.51/1514.09 c rational objective 0 1561.84/1566.50 c #Conflicts: 923000 | #Constraints: 19830 1561.84/1566.50 c #Conflicts: 924000 | #Constraints: 20830 1561.84/1566.50 c #Conflicts: 925000 | #Constraints: 21830 1561.84/1566.50 c #Conflicts: 926000 | #Constraints: 22830 1561.84/1566.50 c #Conflicts: 927000 | #Constraints: 23830 1561.84/1566.50 c #Conflicts: 928000 | #Constraints: 24830 1561.84/1566.50 c #Conflicts: 929000 | #Constraints: 25830 1561.84/1566.50 c #Conflicts: 930000 | #Constraints: 26830 1561.84/1566.50 c #Conflicts: 931000 | #Constraints: 27830 1561.84/1566.50 c #Conflicts: 932000 | #Constraints: 28830 1561.84/1566.50 c #Conflicts: 933000 | #Constraints: 29830 1561.84/1566.50 c #Conflicts: 934000 | #Constraints: 30830 1561.84/1566.50 c #Conflicts: 935000 | #Constraints: 31830 1561.84/1566.50 c #Conflicts: 936000 | #Constraints: 32830 1561.84/1566.50 c #Conflicts: 937000 | #Constraints: 33830 1561.84/1566.50 c #Conflicts: 938000 | #Constraints: 34830 1561.84/1566.50 c #Conflicts: 939000 | #Constraints: 35830 1561.84/1566.50 c #Conflicts: 940000 | #Constraints: 36830 1561.84/1566.50 c #Conflicts: 941000 | #Constraints: 37830 1561.84/1566.50 c INPROCESSING 1561.84/1566.50 c GARBAGE COLLECT 1561.84/1566.50 c rational objective 0 1611.30/1616.16 c #Conflicts: 942000 | #Constraints: 19630 1611.30/1616.16 c #Conflicts: 943000 | #Constraints: 20630 1611.30/1616.16 c #Conflicts: 944000 | #Constraints: 21630 1611.30/1616.16 c #Conflicts: 945000 | #Constraints: 22631 1611.30/1616.16 c #Conflicts: 946000 | #Constraints: 23631 1611.30/1616.16 c #Conflicts: 947000 | #Constraints: 24631 1611.30/1616.16 c #Conflicts: 948000 | #Constraints: 25631 1611.30/1616.16 c #Conflicts: 949000 | #Constraints: 26631 1611.30/1616.16 c #Conflicts: 950000 | #Constraints: 27632 1611.30/1616.16 c #Conflicts: 951000 | #Constraints: 28632 1611.30/1616.16 c #Conflicts: 952000 | #Constraints: 29632 1611.30/1616.16 c #Conflicts: 953000 | #Constraints: 30632 1611.30/1616.16 c #Conflicts: 954000 | #Constraints: 31632 1611.30/1616.16 c #Conflicts: 955000 | #Constraints: 32632 1611.30/1616.16 c #Conflicts: 956000 | #Constraints: 33632 1611.30/1616.16 c #Conflicts: 957000 | #Constraints: 34632 1611.30/1616.16 c #Conflicts: 958000 | #Constraints: 35632 1611.30/1616.16 c #Conflicts: 959000 | #Constraints: 36632 1611.30/1616.16 c #Conflicts: 960000 | #Constraints: 37632 1611.30/1616.16 c #Conflicts: 961000 | #Constraints: 38632 1611.30/1616.16 c INPROCESSING 1611.30/1616.16 c GARBAGE COLLECT 1611.30/1616.16 c rational objective 0 1666.42/1671.44 c #Conflicts: 962000 | #Constraints: 20231 1666.42/1671.44 c #Conflicts: 963000 | #Constraints: 21231 1666.42/1671.44 c #Conflicts: 964000 | #Constraints: 22231 1666.42/1671.44 c #Conflicts: 965000 | #Constraints: 23231 1666.42/1671.44 c #Conflicts: 966000 | #Constraints: 24231 1666.42/1671.44 c #Conflicts: 967000 | #Constraints: 25231 1666.42/1671.44 c #Conflicts: 968000 | #Constraints: 26231 1666.42/1671.44 c #Conflicts: 969000 | #Constraints: 27231 1666.42/1671.44 c #Conflicts: 970000 | #Constraints: 28231 1666.42/1671.44 c #Conflicts: 971000 | #Constraints: 29231 1666.42/1671.44 c #Conflicts: 972000 | #Constraints: 30231 1666.42/1671.44 c #Conflicts: 973000 | #Constraints: 31231 1666.42/1671.44 c #Conflicts: 974000 | #Constraints: 32231 1666.42/1671.44 c #Conflicts: 975000 | #Constraints: 33231 1666.42/1671.44 c #Conflicts: 976000 | #Constraints: 34231 1666.42/1671.44 c #Conflicts: 977000 | #Constraints: 35231 1666.42/1671.44 c #Conflicts: 978000 | #Constraints: 36231 1666.42/1671.44 c #Conflicts: 979000 | #Constraints: 37231 1666.42/1671.44 c #Conflicts: 980000 | #Constraints: 38231 1666.42/1671.44 c #Conflicts: 981000 | #Constraints: 39231 1666.42/1671.44 c INPROCESSING 1666.42/1671.44 c GARBAGE COLLECT 1666.42/1671.44 c rational objective 0 1719.26/1724.46 c #Conflicts: 982000 | #Constraints: 20632 1719.26/1724.46 c #Conflicts: 983000 | #Constraints: 21632 1719.26/1724.46 c #Conflicts: 984000 | #Constraints: 22632 1719.26/1724.46 c #Conflicts: 985000 | #Constraints: 23632 1719.26/1724.46 c #Conflicts: 986000 | #Constraints: 24632 1719.26/1724.46 c #Conflicts: 987000 | #Constraints: 25632 1719.26/1724.46 c #Conflicts: 988000 | #Constraints: 26632 1719.26/1724.46 c #Conflicts: 989000 | #Constraints: 27632 1719.26/1724.46 c #Conflicts: 990000 | #Constraints: 28632 1719.26/1724.46 c #Conflicts: 991000 | #Constraints: 29632 1719.26/1724.46 c #Conflicts: 992000 | #Constraints: 30632 1719.26/1724.46 c #Conflicts: 993000 | #Constraints: 31632 1719.26/1724.46 c #Conflicts: 994000 | #Constraints: 32632 1719.26/1724.46 c #Conflicts: 995000 | #Constraints: 33632 1719.26/1724.46 c #Conflicts: 996000 | #Constraints: 34632 1719.26/1724.46 c #Conflicts: 997000 | #Constraints: 35632 1719.26/1724.46 c #Conflicts: 998000 | #Constraints: 36632 1719.26/1724.46 c #Conflicts: 999000 | #Constraints: 37632 1719.26/1724.46 c #Conflicts: 1000000 | #Constraints: 38632 1719.26/1724.46 c #Conflicts: 1001000 | #Constraints: 39632 1719.26/1724.46 c INPROCESSING 1719.26/1724.46 c GARBAGE COLLECT 1719.26/1724.46 c rational objective 0 1775.88/1781.29 c #Conflicts: 1002000 | #Constraints: 20831 1775.88/1781.29 c #Conflicts: 1003000 | #Constraints: 21831 1775.88/1781.29 c #Conflicts: 1004000 | #Constraints: 22831 1775.88/1781.29 c #Conflicts: 1005000 | #Constraints: 23831 1775.88/1781.29 c #Conflicts: 1006000 | #Constraints: 24831 1775.88/1781.29 c #Conflicts: 1007000 | #Constraints: 25831 1775.88/1781.29 c #Conflicts: 1008000 | #Constraints: 26831 1775.88/1781.29 c #Conflicts: 1009000 | #Constraints: 27831 1775.88/1781.29 c #Conflicts: 1010000 | #Constraints: 28831 1775.88/1781.29 c #Conflicts: 1011000 | #Constraints: 29831 1775.88/1781.29 c #Conflicts: 1012000 | #Constraints: 30831 1775.88/1781.29 c #Conflicts: 1013000 | #Constraints: 31831 1775.88/1781.29 c #Conflicts: 1014000 | #Constraints: 32831 1775.88/1781.29 c #Conflicts: 1015000 | #Constraints: 33831 1775.88/1781.29 c #Conflicts: 1016000 | #Constraints: 34831 1775.88/1781.29 c #Conflicts: 1017000 | #Constraints: 35831 1775.88/1781.29 c #Conflicts: 1018000 | #Constraints: 36831 1775.88/1781.29 c #Conflicts: 1019000 | #Constraints: 37831 1775.88/1781.29 c #Conflicts: 1020000 | #Constraints: 38831 1775.88/1781.29 c #Conflicts: 1021000 | #Constraints: 39831 1775.88/1781.29 c INPROCESSING 1775.88/1781.29 c GARBAGE COLLECT 1775.88/1781.29 c rational objective 0 1829.12/1834.69 c #Conflicts: 1022000 | #Constraints: 20834 1829.12/1834.69 c #Conflicts: 1023000 | #Constraints: 21834 1829.12/1834.69 c #Conflicts: 1024000 | #Constraints: 22834 1829.12/1834.69 c #Conflicts: 1025000 | #Constraints: 23834 1829.12/1834.69 c #Conflicts: 1026000 | #Constraints: 24834 1829.12/1834.69 c #Conflicts: 1027000 | #Constraints: 25834 1829.12/1834.69 c #Conflicts: 1028000 | #Constraints: 26834 1829.12/1834.69 c #Conflicts: 1029000 | #Constraints: 27834 1829.12/1834.69 c #Conflicts: 1030000 | #Constraints: 28834 1829.12/1834.69 c #Conflicts: 1031000 | #Constraints: 29834 1829.12/1834.69 c #Conflicts: 1032000 | #Constraints: 30834 1829.12/1834.69 c #Conflicts: 1033000 | #Constraints: 31834 1829.12/1834.69 c #Conflicts: 1034000 | #Constraints: 32835 1829.12/1834.69 c #Conflicts: 1035000 | #Constraints: 33835 1829.12/1834.69 c #Conflicts: 1036000 | #Constraints: 34835 1829.12/1834.69 c #Conflicts: 1037000 | #Constraints: 35835 1829.12/1834.69 c #Conflicts: 1038000 | #Constraints: 36835 1829.12/1834.69 c #Conflicts: 1039000 | #Constraints: 37835 1829.12/1834.69 c #Conflicts: 1040000 | #Constraints: 38835 1829.12/1834.69 c #Conflicts: 1041000 | #Constraints: 39835 1829.12/1834.69 c INPROCESSING 1829.12/1834.69 c GARBAGE COLLECT 1829.12/1834.69 c rational objective 0 1887.64/1893.38 c #Conflicts: 1042000 | #Constraints: 20632 1887.64/1893.38 c #Conflicts: 1043000 | #Constraints: 21632 1887.64/1893.38 c #Conflicts: 1044000 | #Constraints: 22632 1887.64/1893.38 c #Conflicts: 1045000 | #Constraints: 23632 1887.64/1893.38 c #Conflicts: 1046000 | #Constraints: 24632 1887.64/1893.38 c #Conflicts: 1047000 | #Constraints: 25632 1887.64/1893.38 c #Conflicts: 1048000 | #Constraints: 26632 1887.64/1893.38 c #Conflicts: 1049000 | #Constraints: 27632 1887.64/1893.38 c #Conflicts: 1050000 | #Constraints: 28632 1887.64/1893.38 c #Conflicts: 1051000 | #Constraints: 29632 1887.64/1893.38 c #Conflicts: 1052000 | #Constraints: 30632 1887.64/1893.38 c #Conflicts: 1053000 | #Constraints: 31633 1887.64/1893.38 c #Conflicts: 1054000 | #Constraints: 32633 1887.64/1893.38 c #Conflicts: 1055000 | #Constraints: 33633 1887.64/1893.38 c #Conflicts: 1056000 | #Constraints: 34633 1887.64/1893.38 c #Conflicts: 1057000 | #Constraints: 35633 1887.64/1893.38 c #Conflicts: 1058000 | #Constraints: 36633 1887.64/1893.38 c #Conflicts: 1059000 | #Constraints: 37633 1887.64/1893.38 c #Conflicts: 1060000 | #Constraints: 38633 1887.64/1893.38 c #Conflicts: 1061000 | #Constraints: 39633 1887.64/1893.38 c #Conflicts: 1062000 | #Constraints: 40633 1887.64/1893.38 c INPROCESSING 1887.64/1893.38 c GARBAGE COLLECT 1887.64/1893.38 c rational objective 0 1937.78/1943.68 c #Conflicts: 1063000 | #Constraints: 21233 1937.78/1943.68 c #Conflicts: 1064000 | #Constraints: 22233 1937.78/1943.68 c #Conflicts: 1065000 | #Constraints: 23233 1937.78/1943.68 c #Conflicts: 1066000 | #Constraints: 24233 1937.78/1943.68 c #Conflicts: 1067000 | #Constraints: 25233 1937.78/1943.68 c #Conflicts: 1068000 | #Constraints: 26233 1937.78/1943.68 c #Conflicts: 1069000 | #Constraints: 27233 1937.78/1943.68 c #Conflicts: 1070000 | #Constraints: 28233 1937.78/1943.68 c #Conflicts: 1071000 | #Constraints: 29233 1937.78/1943.68 c #Conflicts: 1072000 | #Constraints: 30233 1937.78/1943.68 c #Conflicts: 1073000 | #Constraints: 31233 1937.78/1943.68 c #Conflicts: 1074000 | #Constraints: 32233 1937.78/1943.68 c #Conflicts: 1075000 | #Constraints: 33233 1937.78/1943.68 c #Conflicts: 1076000 | #Constraints: 34233 1937.78/1943.68 c #Conflicts: 1077000 | #Constraints: 35233 1937.78/1943.68 c #Conflicts: 1078000 | #Constraints: 36233 1937.78/1943.68 c #Conflicts: 1079000 | #Constraints: 37234 1937.78/1943.68 c #Conflicts: 1080000 | #Constraints: 38234 1937.78/1943.68 c #Conflicts: 1081000 | #Constraints: 39234 1937.78/1943.68 c #Conflicts: 1082000 | #Constraints: 40234 1937.78/1943.68 c #Conflicts: 1083000 | #Constraints: 41234 1937.78/1943.68 c INPROCESSING 1937.78/1943.68 c GARBAGE COLLECT 1937.78/1943.68 c rational objective 0 1991.32/1997.30 c #Conflicts: 1084000 | #Constraints: 21635 1991.32/1997.30 c #Conflicts: 1085000 | #Constraints: 22635 1991.32/1997.30 c #Conflicts: 1086000 | #Constraints: 23635 1991.32/1997.30 c #Conflicts: 1087000 | #Constraints: 24635 1991.32/1997.30 c #Conflicts: 1088000 | #Constraints: 25635 1991.32/1997.30 c #Conflicts: 1089000 | #Constraints: 26635 1991.32/1997.30 c #Conflicts: 1090000 | #Constraints: 27635 1991.32/1997.30 c #Conflicts: 1091000 | #Constraints: 28635 1991.32/1997.30 c #Conflicts: 1092000 | #Constraints: 29635 1991.32/1997.30 c #Conflicts: 1093000 | #Constraints: 30635 1991.32/1997.30 c #Conflicts: 1094000 | #Constraints: 31635 1991.32/1997.30 c #Conflicts: 1095000 | #Constraints: 32635 1991.32/1997.30 c #Conflicts: 1096000 | #Constraints: 33635 1991.32/1997.30 c #Conflicts: 1097000 | #Constraints: 34635 1991.32/1997.30 c #Conflicts: 1098000 | #Constraints: 35635 1991.32/1997.30 c #Conflicts: 1099000 | #Constraints: 36635 1991.32/1997.30 c #Conflicts: 1100000 | #Constraints: 37635 1991.32/1997.30 c #Conflicts: 1101000 | #Constraints: 38635 1991.32/1997.30 c #Conflicts: 1102000 | #Constraints: 39635 1991.32/1997.30 c #Conflicts: 1103000 | #Constraints: 40635 1991.32/1997.30 c #Conflicts: 1104000 | #Constraints: 41635 1991.32/1997.30 c INPROCESSING 1991.32/1997.30 c GARBAGE COLLECT 1991.32/1997.30 c rational objective 0 2048.05/2054.24 c #Conflicts: 1105000 | #Constraints: 21832 2048.05/2054.24 c #Conflicts: 1106000 | #Constraints: 22832 2048.05/2054.24 c #Conflicts: 1107000 | #Constraints: 23832 2048.05/2054.24 c #Conflicts: 1108000 | #Constraints: 24832 2048.05/2054.24 c #Conflicts: 1109000 | #Constraints: 25832 2048.05/2054.24 c #Conflicts: 1110000 | #Constraints: 26832 2048.05/2054.24 c #Conflicts: 1111000 | #Constraints: 27832 2048.05/2054.24 c #Conflicts: 1112000 | #Constraints: 28832 2048.05/2054.24 c #Conflicts: 1113000 | #Constraints: 29832 2048.05/2054.24 c #Conflicts: 1114000 | #Constraints: 30832 2048.05/2054.24 c #Conflicts: 1115000 | #Constraints: 31832 2048.05/2054.24 c #Conflicts: 1116000 | #Constraints: 32832 2048.05/2054.24 c #Conflicts: 1117000 | #Constraints: 33832 2048.05/2054.24 c #Conflicts: 1118000 | #Constraints: 34832 2048.05/2054.24 c #Conflicts: 1119000 | #Constraints: 35832 2048.05/2054.24 c #Conflicts: 1120000 | #Constraints: 36832 2048.05/2054.24 c #Conflicts: 1121000 | #Constraints: 37832 2048.05/2054.24 c #Conflicts: 1122000 | #Constraints: 38832 2048.05/2054.24 c #Conflicts: 1123000 | #Constraints: 39832 2048.05/2054.24 c #Conflicts: 1124000 | #Constraints: 40832 2048.05/2054.24 c #Conflicts: 1125000 | #Constraints: 41832 2048.05/2054.24 c INPROCESSING 2048.05/2054.24 c GARBAGE COLLECT 2048.05/2054.24 c rational objective 0 2099.49/2105.89 c #Conflicts: 1126000 | #Constraints: 21833 2099.49/2105.89 c #Conflicts: 1127000 | #Constraints: 22833 2099.49/2105.89 c #Conflicts: 1128000 | #Constraints: 23833 2099.49/2105.89 c #Conflicts: 1129000 | #Constraints: 24833 2099.49/2105.89 c #Conflicts: 1130000 | #Constraints: 25833 2099.49/2105.89 c #Conflicts: 1131000 | #Constraints: 26833 2099.49/2105.89 c #Conflicts: 1132000 | #Constraints: 27833 2099.49/2105.89 c #Conflicts: 1133000 | #Constraints: 28833 2099.49/2105.89 c #Conflicts: 1134000 | #Constraints: 29833 2099.49/2105.89 c #Conflicts: 1135000 | #Constraints: 30833 2099.49/2105.89 c #Conflicts: 1136000 | #Constraints: 31833 2099.49/2105.89 c #Conflicts: 1137000 | #Constraints: 32833 2099.49/2105.89 c #Conflicts: 1138000 | #Constraints: 33833 2099.49/2105.89 c #Conflicts: 1139000 | #Constraints: 34833 2099.49/2105.89 c #Conflicts: 1140000 | #Constraints: 35833 2099.49/2105.89 c #Conflicts: 1141000 | #Constraints: 36833 2099.49/2105.89 c #Conflicts: 1142000 | #Constraints: 37833 2099.49/2105.89 c #Conflicts: 1143000 | #Constraints: 38833 2099.49/2105.89 c #Conflicts: 1144000 | #Constraints: 39833 2099.49/2105.89 c #Conflicts: 1145000 | #Constraints: 40833 2099.49/2105.89 c #Conflicts: 1146000 | #Constraints: 41833 2099.49/2105.89 c INPROCESSING 2099.49/2105.89 c GARBAGE COLLECT 2099.49/2105.89 c rational objective 0 2156.81/2163.36 c #Conflicts: 1147000 | #Constraints: 21629 2156.81/2163.36 c #Conflicts: 1148000 | #Constraints: 22629 2156.81/2163.36 c #Conflicts: 1149000 | #Constraints: 23629 2156.81/2163.36 c #Conflicts: 1150000 | #Constraints: 24629 2156.81/2163.36 c #Conflicts: 1151000 | #Constraints: 25629 2156.81/2163.36 c #Conflicts: 1152000 | #Constraints: 26629 2156.81/2163.36 c #Conflicts: 1153000 | #Constraints: 27629 2156.81/2163.36 c #Conflicts: 1154000 | #Constraints: 28630 2156.81/2163.36 c #Conflicts: 1155000 | #Constraints: 29630 2156.81/2163.36 c #Conflicts: 1156000 | #Constraints: 30630 2156.81/2163.36 c #Conflicts: 1157000 | #Constraints: 31630 2156.81/2163.36 c #Conflicts: 1158000 | #Constraints: 32630 2156.81/2163.36 c #Conflicts: 1159000 | #Constraints: 33630 2156.81/2163.36 c #Conflicts: 1160000 | #Constraints: 34630 2156.81/2163.36 c #Conflicts: 1161000 | #Constraints: 35630 2156.81/2163.36 c #Conflicts: 1162000 | #Constraints: 36630 2156.81/2163.36 c #Conflicts: 1163000 | #Constraints: 37630 2156.81/2163.36 c #Conflicts: 1164000 | #Constraints: 38630 2156.81/2163.36 c #Conflicts: 1165000 | #Constraints: 39630 2156.81/2163.36 c #Conflicts: 1166000 | #Constraints: 40630 2156.81/2163.36 c #Conflicts: 1167000 | #Constraints: 41630 2156.81/2163.36 c #Conflicts: 1168000 | #Constraints: 42630 2156.81/2163.36 c INPROCESSING 2156.81/2163.36 c GARBAGE COLLECT 2156.81/2163.36 c rational objective 0 2210.75/2217.42 c #Conflicts: 1169000 | #Constraints: 22231 2210.75/2217.42 c #Conflicts: 1170000 | #Constraints: 23231 2210.75/2217.42 c #Conflicts: 1171000 | #Constraints: 24231 2210.75/2217.42 c #Conflicts: 1172000 | #Constraints: 25231 2210.75/2217.42 c #Conflicts: 1173000 | #Constraints: 26231 2210.75/2217.42 c #Conflicts: 1174000 | #Constraints: 27231 2210.75/2217.42 c #Conflicts: 1175000 | #Constraints: 28231 2210.75/2217.42 c #Conflicts: 1176000 | #Constraints: 29232 2210.75/2217.42 c #Conflicts: 1177000 | #Constraints: 30232 2210.75/2217.42 c #Conflicts: 1178000 | #Constraints: 31232 2210.75/2217.42 c #Conflicts: 1179000 | #Constraints: 32232 2210.75/2217.42 c #Conflicts: 1180000 | #Constraints: 33232 2210.75/2217.42 c #Conflicts: 1181000 | #Constraints: 34232 2210.75/2217.42 c #Conflicts: 1182000 | #Constraints: 35232 2210.75/2217.42 c #Conflicts: 1183000 | #Constraints: 36232 2210.75/2217.42 c #Conflicts: 1184000 | #Constraints: 37232 2210.75/2217.42 c #Conflicts: 1185000 | #Constraints: 38232 2210.75/2217.42 c #Conflicts: 1186000 | #Constraints: 39232 2210.75/2217.42 c #Conflicts: 1187000 | #Constraints: 40232 2210.75/2217.42 c #Conflicts: 1188000 | #Constraints: 41232 2210.75/2217.42 c #Conflicts: 1189000 | #Constraints: 42232 2210.75/2217.42 c #Conflicts: 1190000 | #Constraints: 43232 2210.75/2217.42 c INPROCESSING 2210.75/2217.42 c GARBAGE COLLECT 2210.75/2217.42 c rational objective 0 2270.47/2277.34 c #Conflicts: 1191000 | #Constraints: 22633 2270.47/2277.34 c #Conflicts: 1192000 | #Constraints: 23633 2270.47/2277.34 c #Conflicts: 1193000 | #Constraints: 24634 2270.47/2277.34 c #Conflicts: 1194000 | #Constraints: 25634 2270.47/2277.34 c #Conflicts: 1195000 | #Constraints: 26634 2270.47/2277.34 c #Conflicts: 1196000 | #Constraints: 27634 2270.47/2277.34 c #Conflicts: 1197000 | #Constraints: 28634 2270.47/2277.34 c #Conflicts: 1198000 | #Constraints: 29634 2270.47/2277.34 c #Conflicts: 1199000 | #Constraints: 30634 2270.47/2277.34 c #Conflicts: 1200000 | #Constraints: 31634 2270.47/2277.34 c #Conflicts: 1201000 | #Constraints: 32634 2270.47/2277.34 c #Conflicts: 1202000 | #Constraints: 33634 2270.47/2277.34 c #Conflicts: 1203000 | #Constraints: 34634 2270.47/2277.34 c #Conflicts: 1204000 | #Constraints: 35634 2270.47/2277.34 c #Conflicts: 1205000 | #Constraints: 36634 2270.47/2277.34 c #Conflicts: 1206000 | #Constraints: 37634 2270.47/2277.34 c #Conflicts: 1207000 | #Constraints: 38634 2270.47/2277.34 c #Conflicts: 1208000 | #Constraints: 39634 2270.47/2277.34 c #Conflicts: 1209000 | #Constraints: 40634 2270.47/2277.34 c #Conflicts: 1210000 | #Constraints: 41634 2270.47/2277.34 c #Conflicts: 1211000 | #Constraints: 42634 2270.47/2277.34 c #Conflicts: 1212000 | #Constraints: 43634 2270.47/2277.34 c INPROCESSING 2270.47/2277.34 c GARBAGE COLLECT 2270.47/2277.34 c rational objective 0 2328.60/2335.62 c #Conflicts: 1213000 | #Constraints: 22834 2328.60/2335.62 c #Conflicts: 1214000 | #Constraints: 23834 2328.60/2335.62 c #Conflicts: 1215000 | #Constraints: 24834 2328.60/2335.62 c #Conflicts: 1216000 | #Constraints: 25834 2328.60/2335.62 c #Conflicts: 1217000 | #Constraints: 26834 2328.60/2335.62 c #Conflicts: 1218000 | #Constraints: 27834 2328.60/2335.62 c #Conflicts: 1219000 | #Constraints: 28834 2328.60/2335.62 c #Conflicts: 1220000 | #Constraints: 29834 2328.60/2335.62 c #Conflicts: 1221000 | #Constraints: 30834 2328.60/2335.62 c #Conflicts: 1222000 | #Constraints: 31834 2328.60/2335.62 c #Conflicts: 1223000 | #Constraints: 32834 2328.60/2335.62 c #Conflicts: 1224000 | #Constraints: 33834 2328.60/2335.62 c #Conflicts: 1225000 | #Constraints: 34834 2328.60/2335.62 c #Conflicts: 1226000 | #Constraints: 35834 2328.60/2335.62 c #Conflicts: 1227000 | #Constraints: 36834 2328.60/2335.62 c #Conflicts: 1228000 | #Constraints: 37834 2328.60/2335.62 c #Conflicts: 1229000 | #Constraints: 38834 2328.60/2335.62 c #Conflicts: 1230000 | #Constraints: 39834 2328.60/2335.62 c #Conflicts: 1231000 | #Constraints: 40834 2328.60/2335.62 c #Conflicts: 1232000 | #Constraints: 41834 2328.60/2335.62 c #Conflicts: 1233000 | #Constraints: 42834 2328.60/2335.62 c #Conflicts: 1234000 | #Constraints: 43834 2328.60/2335.62 c INPROCESSING 2328.60/2335.62 c GARBAGE COLLECT 2328.60/2335.62 c rational objective 0 2390.01/2397.22 c #Conflicts: 1235000 | #Constraints: 22832 2390.01/2397.22 c #Conflicts: 1236000 | #Constraints: 23832 2390.01/2397.22 c #Conflicts: 1237000 | #Constraints: 24832 2390.01/2397.22 c #Conflicts: 1238000 | #Constraints: 25832 2390.01/2397.22 c #Conflicts: 1239000 | #Constraints: 26833 2390.01/2397.22 c #Conflicts: 1240000 | #Constraints: 27833 2390.01/2397.22 c #Conflicts: 1241000 | #Constraints: 28833 2390.01/2397.22 c #Conflicts: 1242000 | #Constraints: 29833 2390.01/2397.22 c #Conflicts: 1243000 | #Constraints: 30833 2390.01/2397.22 c #Conflicts: 1244000 | #Constraints: 31833 2390.01/2397.22 c #Conflicts: 1245000 | #Constraints: 32833 2390.01/2397.22 c #Conflicts: 1246000 | #Constraints: 33833 2390.01/2397.22 c #Conflicts: 1247000 | #Constraints: 34833 2390.01/2397.22 c #Conflicts: 1248000 | #Constraints: 35833 2390.01/2397.22 c #Conflicts: 1249000 | #Constraints: 36833 2390.01/2397.22 c #Conflicts: 1250000 | #Constraints: 37833 2390.01/2397.22 c #Conflicts: 1251000 | #Constraints: 38833 2390.01/2397.22 c #Conflicts: 1252000 | #Constraints: 39833 2390.01/2397.22 c #Conflicts: 1253000 | #Constraints: 40833 2390.01/2397.22 c #Conflicts: 1254000 | #Constraints: 41833 2390.01/2397.22 c #Conflicts: 1255000 | #Constraints: 42833 2390.01/2397.22 c #Conflicts: 1256000 | #Constraints: 43833 2390.01/2397.22 c INPROCESSING 2390.01/2397.22 c GARBAGE COLLECT 2390.01/2397.22 c rational objective 0 2448.24/2455.64 c #Conflicts: 1257000 | #Constraints: 22633 2448.24/2455.64 c #Conflicts: 1258000 | #Constraints: 23633 2448.24/2455.64 c #Conflicts: 1259000 | #Constraints: 24633 2448.24/2455.64 c #Conflicts: 1260000 | #Constraints: 25633 2448.24/2455.64 c #Conflicts: 1261000 | #Constraints: 26633 2448.24/2455.64 c #Conflicts: 1262000 | #Constraints: 27633 2448.24/2455.64 c #Conflicts: 1263000 | #Constraints: 28633 2448.24/2455.64 c #Conflicts: 1264000 | #Constraints: 29633 2448.24/2455.64 c #Conflicts: 1265000 | #Constraints: 30633 2448.24/2455.64 c #Conflicts: 1266000 | #Constraints: 31633 2448.24/2455.64 c #Conflicts: 1267000 | #Constraints: 32633 2448.24/2455.64 c #Conflicts: 1268000 | #Constraints: 33633 2448.24/2455.64 c #Conflicts: 1269000 | #Constraints: 34633 2448.24/2455.64 c #Conflicts: 1270000 | #Constraints: 35633 2448.24/2455.64 c #Conflicts: 1271000 | #Constraints: 36633 2448.24/2455.64 c #Conflicts: 1272000 | #Constraints: 37633 2448.24/2455.64 c #Conflicts: 1273000 | #Constraints: 38633 2448.24/2455.64 c #Conflicts: 1274000 | #Constraints: 39633 2448.24/2455.64 c #Conflicts: 1275000 | #Constraints: 40633 2448.24/2455.64 c #Conflicts: 1276000 | #Constraints: 41634 2448.24/2455.64 c #Conflicts: 1277000 | #Constraints: 42634 2448.24/2455.64 c #Conflicts: 1278000 | #Constraints: 43634 2448.24/2455.64 c #Conflicts: 1279000 | #Constraints: 44634 2448.24/2455.64 c INPROCESSING 2448.24/2455.64 c GARBAGE COLLECT 2448.24/2455.64 c rational objective 0 2512.54/2520.17 c #Conflicts: 1280000 | #Constraints: 23228 2512.54/2520.17 c #Conflicts: 1281000 | #Constraints: 24228 2512.54/2520.17 c #Conflicts: 1282000 | #Constraints: 25228 2512.54/2520.17 c #Conflicts: 1283000 | #Constraints: 26228 2512.54/2520.17 c #Conflicts: 1284000 | #Constraints: 27228 2512.54/2520.17 c #Conflicts: 1285000 | #Constraints: 28228 2512.54/2520.17 c #Conflicts: 1286000 | #Constraints: 29228 2512.54/2520.17 c #Conflicts: 1287000 | #Constraints: 30228 2512.54/2520.17 c #Conflicts: 1288000 | #Constraints: 31228 2512.54/2520.17 c #Conflicts: 1289000 | #Constraints: 32228 2512.54/2520.17 c #Conflicts: 1290000 | #Constraints: 33228 2512.54/2520.17 c #Conflicts: 1291000 | #Constraints: 34228 2512.54/2520.17 c #Conflicts: 1292000 | #Constraints: 35228 2512.54/2520.17 c #Conflicts: 1293000 | #Constraints: 36228 2512.54/2520.17 c #Conflicts: 1294000 | #Constraints: 37228 2512.54/2520.17 c #Conflicts: 1295000 | #Constraints: 38228 2512.54/2520.17 c #Conflicts: 1296000 | #Constraints: 39228 2512.54/2520.17 c #Conflicts: 1297000 | #Constraints: 40228 2512.54/2520.17 c #Conflicts: 1298000 | #Constraints: 41228 2512.54/2520.17 c #Conflicts: 1299000 | #Constraints: 42228 2512.54/2520.17 c #Conflicts: 1300000 | #Constraints: 43228 2512.54/2520.17 c #Conflicts: 1301000 | #Constraints: 44228 2512.54/2520.17 c #Conflicts: 1302000 | #Constraints: 45228 2512.54/2520.17 c INPROCESSING 2512.54/2520.17 c GARBAGE COLLECT 2512.54/2520.17 c rational objective 0 2573.66/2581.41 c #Conflicts: 1303000 | #Constraints: 23629 2573.66/2581.41 c #Conflicts: 1304000 | #Constraints: 24629 2573.66/2581.41 c #Conflicts: 1305000 | #Constraints: 25629 2573.66/2581.41 c #Conflicts: 1306000 | #Constraints: 26629 2573.66/2581.41 c #Conflicts: 1307000 | #Constraints: 27629 2573.66/2581.41 c #Conflicts: 1308000 | #Constraints: 28629 2573.66/2581.41 c #Conflicts: 1309000 | #Constraints: 29629 2573.66/2581.41 c #Conflicts: 1310000 | #Constraints: 30629 2573.66/2581.41 c #Conflicts: 1311000 | #Constraints: 31629 2573.66/2581.41 c #Conflicts: 1312000 | #Constraints: 32629 2573.66/2581.41 c #Conflicts: 1313000 | #Constraints: 33629 2573.66/2581.41 c #Conflicts: 1314000 | #Constraints: 34629 2573.66/2581.41 c #Conflicts: 1315000 | #Constraints: 35629 2573.66/2581.41 c #Conflicts: 1316000 | #Constraints: 36629 2573.66/2581.41 c #Conflicts: 1317000 | #Constraints: 37629 2573.66/2581.41 c #Conflicts: 1318000 | #Constraints: 38629 2573.66/2581.41 c #Conflicts: 1319000 | #Constraints: 39629 2573.66/2581.41 c #Conflicts: 1320000 | #Constraints: 40629 2573.66/2581.41 c #Conflicts: 1321000 | #Constraints: 41629 2573.66/2581.41 c #Conflicts: 1322000 | #Constraints: 42629 2573.66/2581.41 c #Conflicts: 1323000 | #Constraints: 43629 2573.66/2581.41 c #Conflicts: 1324000 | #Constraints: 44629 2573.66/2581.41 c #Conflicts: 1325000 | #Constraints: 45629 2573.66/2581.41 c INPROCESSING 2573.66/2581.41 c GARBAGE COLLECT 2573.66/2581.41 c rational objective 0 2641.45/2649.45 c #Conflicts: 1326000 | #Constraints: 23830 2641.45/2649.45 c #Conflicts: 1327000 | #Constraints: 24830 2641.45/2649.45 c #Conflicts: 1328000 | #Constraints: 25830 2641.45/2649.45 c #Conflicts: 1329000 | #Constraints: 26830 2641.45/2649.45 c #Conflicts: 1330000 | #Constraints: 27830 2641.45/2649.45 c #Conflicts: 1331000 | #Constraints: 28830 2641.45/2649.45 c #Conflicts: 1332000 | #Constraints: 29830 2641.45/2649.45 c #Conflicts: 1333000 | #Constraints: 30830 2641.45/2649.45 c #Conflicts: 1334000 | #Constraints: 31830 2641.45/2649.45 c #Conflicts: 1335000 | #Constraints: 32830 2641.45/2649.45 c #Conflicts: 1336000 | #Constraints: 33830 2641.45/2649.45 c #Conflicts: 1337000 | #Constraints: 34830 2641.45/2649.45 c #Conflicts: 1338000 | #Constraints: 35830 2641.45/2649.45 c #Conflicts: 1339000 | #Constraints: 36830 2641.45/2649.45 c #Conflicts: 1340000 | #Constraints: 37830 2641.45/2649.45 c #Conflicts: 1341000 | #Constraints: 38830 2641.45/2649.45 c #Conflicts: 1342000 | #Constraints: 39830 2641.45/2649.45 c #Conflicts: 1343000 | #Constraints: 40830 2641.45/2649.45 c #Conflicts: 1344000 | #Constraints: 41830 2641.45/2649.45 c #Conflicts: 1345000 | #Constraints: 42830 2641.45/2649.45 c #Conflicts: 1346000 | #Constraints: 43830 2641.45/2649.45 c #Conflicts: 1347000 | #Constraints: 44830 2641.45/2649.45 c #Conflicts: 1348000 | #Constraints: 45830 2641.45/2649.45 c INPROCESSING 2641.45/2649.45 c GARBAGE COLLECT 2641.45/2649.45 c rational objective 0 2705.25/2713.43 c #Conflicts: 1349000 | #Constraints: 23831 2705.25/2713.43 c #Conflicts: 1350000 | #Constraints: 24831 2705.25/2713.43 c #Conflicts: 1351000 | #Constraints: 25831 2705.25/2713.43 c #Conflicts: 1352000 | #Constraints: 26832 2705.25/2713.43 c #Conflicts: 1353000 | #Constraints: 27832 2705.25/2713.43 c #Conflicts: 1354000 | #Constraints: 28832 2705.25/2713.43 c #Conflicts: 1355000 | #Constraints: 29832 2705.25/2713.43 c #Conflicts: 1356000 | #Constraints: 30832 2705.25/2713.43 c #Conflicts: 1357000 | #Constraints: 31832 2705.25/2713.43 c #Conflicts: 1358000 | #Constraints: 32832 2705.25/2713.43 c #Conflicts: 1359000 | #Constraints: 33832 2705.25/2713.43 c #Conflicts: 1360000 | #Constraints: 34832 2705.25/2713.43 c #Conflicts: 1361000 | #Constraints: 35832 2705.25/2713.43 c #Conflicts: 1362000 | #Constraints: 36832 2705.25/2713.43 c #Conflicts: 1363000 | #Constraints: 37832 2705.25/2713.43 c #Conflicts: 1364000 | #Constraints: 38832 2705.25/2713.43 c #Conflicts: 1365000 | #Constraints: 39832 2705.25/2713.43 c #Conflicts: 1366000 | #Constraints: 40832 2705.25/2713.43 c #Conflicts: 1367000 | #Constraints: 41832 2705.25/2713.43 c #Conflicts: 1368000 | #Constraints: 42832 2705.25/2713.43 c #Conflicts: 1369000 | #Constraints: 43832 2705.25/2713.43 c #Conflicts: 1370000 | #Constraints: 44832 2705.25/2713.43 c #Conflicts: 1371000 | #Constraints: 45832 2705.25/2713.43 c INPROCESSING 2705.25/2713.43 c GARBAGE COLLECT 2705.25/2713.43 c rational objective 0 2773.75/2782.14 c #Conflicts: 1372000 | #Constraints: 23633 2773.75/2782.14 c #Conflicts: 1373000 | #Constraints: 24633 2773.75/2782.14 c #Conflicts: 1374000 | #Constraints: 25633 2773.75/2782.14 c #Conflicts: 1375000 | #Constraints: 26633 2773.75/2782.14 c #Conflicts: 1376000 | #Constraints: 27633 2773.75/2782.14 c #Conflicts: 1377000 | #Constraints: 28633 2773.75/2782.14 c #Conflicts: 1378000 | #Constraints: 29633 2773.75/2782.14 c #Conflicts: 1379000 | #Constraints: 30633 2773.75/2782.14 c #Conflicts: 1380000 | #Constraints: 31633 2773.75/2782.14 c #Conflicts: 1381000 | #Constraints: 32634 2773.75/2782.14 c #Conflicts: 1382000 | #Constraints: 33634 2773.75/2782.14 c #Conflicts: 1383000 | #Constraints: 34634 2773.75/2782.14 c #Conflicts: 1384000 | #Constraints: 35634 2773.75/2782.14 c #Conflicts: 1385000 | #Constraints: 36634 2773.75/2782.14 c #Conflicts: 1386000 | #Constraints: 37634 2773.75/2782.14 c #Conflicts: 1387000 | #Constraints: 38634 2773.75/2782.14 c #Conflicts: 1388000 | #Constraints: 39634 2773.75/2782.14 c #Conflicts: 1389000 | #Constraints: 40634 2773.75/2782.14 c #Conflicts: 1390000 | #Constraints: 41634 2773.75/2782.14 c #Conflicts: 1391000 | #Constraints: 42634 2773.75/2782.14 c #Conflicts: 1392000 | #Constraints: 43634 2773.75/2782.14 c #Conflicts: 1393000 | #Constraints: 44634 2773.75/2782.14 c #Conflicts: 1394000 | #Constraints: 45634 2773.75/2782.14 c #Conflicts: 1395000 | #Constraints: 46634 2773.75/2782.14 c INPROCESSING 2773.75/2782.14 c GARBAGE COLLECT 2773.75/2782.14 c rational objective 0 2837.36/2845.93 c #Conflicts: 1396000 | #Constraints: 24235 2837.36/2845.93 c #Conflicts: 1397000 | #Constraints: 25235 2837.36/2845.93 c #Conflicts: 1398000 | #Constraints: 26235 2837.36/2845.93 c #Conflicts: 1399000 | #Constraints: 27235 2837.36/2845.93 c #Conflicts: 1400000 | #Constraints: 28235 2837.36/2845.93 c #Conflicts: 1401000 | #Constraints: 29235 2837.36/2845.93 c #Conflicts: 1402000 | #Constraints: 30235 2837.36/2845.93 c #Conflicts: 1403000 | #Constraints: 31235 2837.36/2845.93 c #Conflicts: 1404000 | #Constraints: 32235 2837.36/2845.93 c #Conflicts: 1405000 | #Constraints: 33235 2837.36/2845.93 c #Conflicts: 1406000 | #Constraints: 34235 2837.36/2845.93 c #Conflicts: 1407000 | #Constraints: 35235 2837.36/2845.93 c #Conflicts: 1408000 | #Constraints: 36235 2837.36/2845.93 c #Conflicts: 1409000 | #Constraints: 37235 2837.36/2845.93 c #Conflicts: 1410000 | #Constraints: 38235 2837.36/2845.93 c #Conflicts: 1411000 | #Constraints: 39235 2837.36/2845.93 c #Conflicts: 1412000 | #Constraints: 40235 2837.36/2845.93 c #Conflicts: 1413000 | #Constraints: 41235 2837.36/2845.93 c #Conflicts: 1414000 | #Constraints: 42235 2837.36/2845.93 c #Conflicts: 1415000 | #Constraints: 43235 2837.36/2845.93 c #Conflicts: 1416000 | #Constraints: 44235 2837.36/2845.93 c #Conflicts: 1417000 | #Constraints: 45235 2837.36/2845.93 c #Conflicts: 1418000 | #Constraints: 46235 2837.36/2845.93 c #Conflicts: 1419000 | #Constraints: 47235 2837.36/2845.93 c INPROCESSING 2837.36/2845.93 c GARBAGE COLLECT 2837.36/2845.93 c rational objective 0 2904.20/2912.92 c #Conflicts: 1420000 | #Constraints: 24630 2904.20/2912.92 c #Conflicts: 1421000 | #Constraints: 25630 2904.20/2912.92 c #Conflicts: 1422000 | #Constraints: 26630 2904.20/2912.92 c #Conflicts: 1423000 | #Constraints: 27630 2904.20/2912.92 c #Conflicts: 1424000 | #Constraints: 28630 2904.20/2912.92 c #Conflicts: 1425000 | #Constraints: 29630 2904.20/2912.92 c #Conflicts: 1426000 | #Constraints: 30630 2904.20/2912.92 c #Conflicts: 1427000 | #Constraints: 31630 2904.20/2912.92 c #Conflicts: 1428000 | #Constraints: 32630 2904.20/2912.92 c #Conflicts: 1429000 | #Constraints: 33630 2904.20/2912.92 c #Conflicts: 1430000 | #Constraints: 34630 2904.20/2912.92 c #Conflicts: 1431000 | #Constraints: 35630 2904.20/2912.92 c #Conflicts: 1432000 | #Constraints: 36630 2904.20/2912.92 c #Conflicts: 1433000 | #Constraints: 37630 2904.20/2912.92 c #Conflicts: 1434000 | #Constraints: 38630 2904.20/2912.92 c #Conflicts: 1435000 | #Constraints: 39630 2904.20/2912.92 c #Conflicts: 1436000 | #Constraints: 40630 2904.20/2912.92 c #Conflicts: 1437000 | #Constraints: 41630 2904.20/2912.92 c #Conflicts: 1438000 | #Constraints: 42630 2904.20/2912.92 c #Conflicts: 1439000 | #Constraints: 43630 2904.20/2912.92 c #Conflicts: 1440000 | #Constraints: 44630 2904.20/2912.92 c #Conflicts: 1441000 | #Constraints: 45630 2904.20/2912.92 c #Conflicts: 1442000 | #Constraints: 46631 2904.20/2912.92 c #Conflicts: 1443000 | #Constraints: 47631 2904.20/2912.92 c INPROCESSING 2904.20/2912.92 c GARBAGE COLLECT 2904.20/2912.92 c rational objective 0 2968.25/2977.18 c #Conflicts: 1444000 | #Constraints: 24829 2968.25/2977.18 c #Conflicts: 1445000 | #Constraints: 25829 2968.25/2977.18 c #Conflicts: 1446000 | #Constraints: 26829 2968.25/2977.18 c #Conflicts: 1447000 | #Constraints: 27829 2968.25/2977.18 c #Conflicts: 1448000 | #Constraints: 28829 2968.25/2977.18 c #Conflicts: 1449000 | #Constraints: 29829 2968.25/2977.18 c #Conflicts: 1450000 | #Constraints: 30829 2968.25/2977.18 c #Conflicts: 1451000 | #Constraints: 31829 2968.25/2977.18 c #Conflicts: 1452000 | #Constraints: 32829 2968.25/2977.18 c #Conflicts: 1453000 | #Constraints: 33829 2968.25/2977.18 c #Conflicts: 1454000 | #Constraints: 34829 2968.25/2977.18 c #Conflicts: 1455000 | #Constraints: 35829 2968.25/2977.18 c #Conflicts: 1456000 | #Constraints: 36829 2968.25/2977.18 c #Conflicts: 1457000 | #Constraints: 37829 2968.25/2977.18 c #Conflicts: 1458000 | #Constraints: 38829 2968.25/2977.18 c #Conflicts: 1459000 | #Constraints: 39829 2968.25/2977.18 c #Conflicts: 1460000 | #Constraints: 40829 2968.25/2977.18 c #Conflicts: 1461000 | #Constraints: 41829 2968.25/2977.18 c #Conflicts: 1462000 | #Constraints: 42830 2968.25/2977.18 c #Conflicts: 1463000 | #Constraints: 43830 2968.25/2977.18 c #Conflicts: 1464000 | #Constraints: 44830 2968.25/2977.18 c #Conflicts: 1465000 | #Constraints: 45830 2968.25/2977.18 c #Conflicts: 1466000 | #Constraints: 46830 2968.25/2977.18 c #Conflicts: 1467000 | #Constraints: 47830 2968.25/2977.18 c INPROCESSING 2968.25/2977.18 c GARBAGE COLLECT 2968.25/2977.18 c rational objective 0 3037.48/3046.52 c #Conflicts: 1468000 | #Constraints: 24831 3037.48/3046.52 c #Conflicts: 1469000 | #Constraints: 25831 3037.48/3046.52 c #Conflicts: 1470000 | #Constraints: 26831 3037.48/3046.52 c #Conflicts: 1471000 | #Constraints: 27831 3037.48/3046.52 c #Conflicts: 1472000 | #Constraints: 28831 3037.48/3046.52 c #Conflicts: 1473000 | #Constraints: 29831 3037.48/3046.52 c #Conflicts: 1474000 | #Constraints: 30831 3037.48/3046.52 c #Conflicts: 1475000 | #Constraints: 31831 3037.48/3046.52 c #Conflicts: 1476000 | #Constraints: 32831 3037.48/3046.52 c #Conflicts: 1477000 | #Constraints: 33831 3037.48/3046.52 c #Conflicts: 1478000 | #Constraints: 34831 3037.48/3046.52 c #Conflicts: 1479000 | #Constraints: 35831 3037.48/3046.52 c #Conflicts: 1480000 | #Constraints: 36831 3037.48/3046.52 c #Conflicts: 1481000 | #Constraints: 37831 3037.48/3046.52 c #Conflicts: 1482000 | #Constraints: 38831 3037.48/3046.52 c #Conflicts: 1483000 | #Constraints: 39831 3037.48/3046.52 c #Conflicts: 1484000 | #Constraints: 40831 3037.48/3046.52 c #Conflicts: 1485000 | #Constraints: 41831 3037.48/3046.52 c #Conflicts: 1486000 | #Constraints: 42831 3037.48/3046.52 c #Conflicts: 1487000 | #Constraints: 43831 3037.48/3046.52 c #Conflicts: 1488000 | #Constraints: 44831 3037.48/3046.52 c #Conflicts: 1489000 | #Constraints: 45831 3037.48/3046.52 c #Conflicts: 1490000 | #Constraints: 46831 3037.48/3046.52 c #Conflicts: 1491000 | #Constraints: 47831 3037.48/3046.52 c INPROCESSING 3037.48/3046.52 c GARBAGE COLLECT 3037.48/3046.52 c rational objective 0 3103.93/3113.17 c #Conflicts: 1492000 | #Constraints: 24634 3103.93/3113.17 c #Conflicts: 1493000 | #Constraints: 25634 3103.93/3113.17 c #Conflicts: 1494000 | #Constraints: 26634 3103.93/3113.17 c #Conflicts: 1495000 | #Constraints: 27634 3103.93/3113.17 c #Conflicts: 1496000 | #Constraints: 28634 3103.93/3113.17 c #Conflicts: 1497000 | #Constraints: 29634 3103.93/3113.17 c #Conflicts: 1498000 | #Constraints: 30634 3103.93/3113.17 c #Conflicts: 1499000 | #Constraints: 31634 3103.93/3113.17 c #Conflicts: 1500000 | #Constraints: 32634 3103.93/3113.17 c #Conflicts: 1501000 | #Constraints: 33634 3103.93/3113.17 c #Conflicts: 1502000 | #Constraints: 34634 3103.93/3113.17 c #Conflicts: 1503000 | #Constraints: 35634 3103.93/3113.17 c #Conflicts: 1504000 | #Constraints: 36634 3103.93/3113.17 c #Conflicts: 1505000 | #Constraints: 37634 3103.93/3113.17 c #Conflicts: 1506000 | #Constraints: 38634 3103.93/3113.17 c #Conflicts: 1507000 | #Constraints: 39634 3103.93/3113.17 c #Conflicts: 1508000 | #Constraints: 40634 3103.93/3113.17 c #Conflicts: 1509000 | #Constraints: 41635 3103.93/3113.17 c #Conflicts: 1510000 | #Constraints: 42635 3103.93/3113.17 c #Conflicts: 1511000 | #Constraints: 43635 3103.93/3113.17 c #Conflicts: 1512000 | #Constraints: 44635 3103.93/3113.17 c #Conflicts: 1513000 | #Constraints: 45635 3103.93/3113.17 c #Conflicts: 1514000 | #Constraints: 46635 3103.93/3113.17 c #Conflicts: 1515000 | #Constraints: 47635 3103.93/3113.17 c #Conflicts: 1516000 | #Constraints: 48635 3103.93/3113.17 c INPROCESSING 3103.93/3113.17 c GARBAGE COLLECT 3103.93/3113.17 c rational objective 0 3178.24/3187.68 c #Conflicts: 1517000 | #Constraints: 25231 3178.24/3187.68 c #Conflicts: 1518000 | #Constraints: 26231 3178.24/3187.68 c #Conflicts: 1519000 | #Constraints: 27231 3178.24/3187.68 c #Conflicts: 1520000 | #Constraints: 28231 3178.24/3187.68 c #Conflicts: 1521000 | #Constraints: 29231 3178.24/3187.68 c #Conflicts: 1522000 | #Constraints: 30231 3178.24/3187.68 c #Conflicts: 1523000 | #Constraints: 31231 3178.24/3187.68 c #Conflicts: 1524000 | #Constraints: 32231 3178.24/3187.68 c #Conflicts: 1525000 | #Constraints: 33231 3178.24/3187.68 c #Conflicts: 1526000 | #Constraints: 34231 3178.24/3187.68 c #Conflicts: 1527000 | #Constraints: 35231 3178.24/3187.68 c #Conflicts: 1528000 | #Constraints: 36231 3178.24/3187.68 c #Conflicts: 1529000 | #Constraints: 37231 3178.24/3187.68 c #Conflicts: 1530000 | #Constraints: 38231 3178.24/3187.68 c #Conflicts: 1531000 | #Constraints: 39231 3178.24/3187.68 c #Conflicts: 1532000 | #Constraints: 40231 3178.24/3187.68 c #Conflicts: 1533000 | #Constraints: 41231 3178.24/3187.68 c #Conflicts: 1534000 | #Constraints: 42231 3178.24/3187.68 c #Conflicts: 1535000 | #Constraints: 43231 3178.24/3187.68 c #Conflicts: 1536000 | #Constraints: 44231 3178.24/3187.68 c #Conflicts: 1537000 | #Constraints: 45231 3178.24/3187.68 c #Conflicts: 1538000 | #Constraints: 46231 3178.24/3187.68 c #Conflicts: 1539000 | #Constraints: 47231 3178.24/3187.68 c #Conflicts: 1540000 | #Constraints: 48231 3178.24/3187.68 c #Conflicts: 1541000 | #Constraints: 49231 3178.24/3187.68 c INPROCESSING 3178.24/3187.68 c GARBAGE COLLECT 3178.24/3187.68 c rational objective 0 3248.27/3257.82 c #Conflicts: 1542000 | #Constraints: 25633 3248.27/3257.82 c #Conflicts: 1543000 | #Constraints: 26633 3248.27/3257.82 c #Conflicts: 1544000 | #Constraints: 27633 3248.27/3257.82 c #Conflicts: 1545000 | #Constraints: 28633 3248.27/3257.82 c #Conflicts: 1546000 | #Constraints: 29633 3248.27/3257.82 c #Conflicts: 1547000 | #Constraints: 30633 3248.27/3257.82 c #Conflicts: 1548000 | #Constraints: 31633 3248.27/3257.82 c #Conflicts: 1549000 | #Constraints: 32633 3248.27/3257.82 c #Conflicts: 1550000 | #Constraints: 33633 3248.27/3257.82 c #Conflicts: 1551000 | #Constraints: 34633 3248.27/3257.82 c #Conflicts: 1552000 | #Constraints: 35633 3248.27/3257.82 c #Conflicts: 1553000 | #Constraints: 36633 3248.27/3257.82 c #Conflicts: 1554000 | #Constraints: 37633 3248.27/3257.82 c #Conflicts: 1555000 | #Constraints: 38633 3248.27/3257.82 c #Conflicts: 1556000 | #Constraints: 39633 3248.27/3257.82 c #Conflicts: 1557000 | #Constraints: 40633 3248.27/3257.82 c #Conflicts: 1558000 | #Constraints: 41633 3248.27/3257.82 c #Conflicts: 1559000 | #Constraints: 42633 3248.27/3257.82 c #Conflicts: 1560000 | #Constraints: 43633 3248.27/3257.82 c #Conflicts: 1561000 | #Constraints: 44633 3248.27/3257.82 c #Conflicts: 1562000 | #Constraints: 45633 3248.27/3257.82 c #Conflicts: 1563000 | #Constraints: 46633 3248.27/3257.82 c #Conflicts: 1564000 | #Constraints: 47633 3248.27/3257.82 c #Conflicts: 1565000 | #Constraints: 48633 3248.27/3257.82 c #Conflicts: 1566000 | #Constraints: 49633 3248.27/3257.82 c INPROCESSING 3248.27/3257.82 c GARBAGE COLLECT 3248.27/3257.82 c rational objective 0 3326.68/3336.47 c #Conflicts: 1567000 | #Constraints: 25834 3326.68/3336.47 c #Conflicts: 1568000 | #Constraints: 26834 3326.68/3336.47 c #Conflicts: 1569000 | #Constraints: 27834 3326.68/3336.47 c #Conflicts: 1570000 | #Constraints: 28834 3326.68/3336.47 c #Conflicts: 1571000 | #Constraints: 29834 3326.68/3336.47 c #Conflicts: 1572000 | #Constraints: 30835 3326.68/3336.47 c #Conflicts: 1573000 | #Constraints: 31835 3326.68/3336.47 c #Conflicts: 1574000 | #Constraints: 32835 3326.68/3336.47 c #Conflicts: 1575000 | #Constraints: 33835 3326.68/3336.47 c #Conflicts: 1576000 | #Constraints: 34835 3326.68/3336.47 c #Conflicts: 1577000 | #Constraints: 35835 3326.68/3336.47 c #Conflicts: 1578000 | #Constraints: 36835 3326.68/3336.47 c #Conflicts: 1579000 | #Constraints: 37835 3326.68/3336.47 c #Conflicts: 1580000 | #Constraints: 38835 3326.68/3336.47 c #Conflicts: 1581000 | #Constraints: 39835 3326.68/3336.47 c #Conflicts: 1582000 | #Constraints: 40835 3326.68/3336.47 c #Conflicts: 1583000 | #Constraints: 41835 3326.68/3336.47 c #Conflicts: 1584000 | #Constraints: 42835 3326.68/3336.47 c #Conflicts: 1585000 | #Constraints: 43835 3326.68/3336.47 c #Conflicts: 1586000 | #Constraints: 44835 3326.68/3336.47 c #Conflicts: 1587000 | #Constraints: 45835 3326.68/3336.47 c #Conflicts: 1588000 | #Constraints: 46835 3326.68/3336.47 c #Conflicts: 1589000 | #Constraints: 47835 3326.68/3336.47 c #Conflicts: 1590000 | #Constraints: 48835 3326.68/3336.47 c #Conflicts: 1591000 | #Constraints: 49835 3326.68/3336.47 c INPROCESSING 3326.68/3336.47 c GARBAGE COLLECT 3326.68/3336.47 c rational objective 0 3400.62/3410.57 c #Conflicts: 1592000 | #Constraints: 25835 3400.62/3410.57 c #Conflicts: 1593000 | #Constraints: 26835 3400.62/3410.57 c #Conflicts: 1594000 | #Constraints: 27835 3400.62/3410.57 c #Conflicts: 1595000 | #Constraints: 28835 3400.62/3410.57 c #Conflicts: 1596000 | #Constraints: 29835 3400.62/3410.57 c #Conflicts: 1597000 | #Constraints: 30835 3400.62/3410.57 c #Conflicts: 1598000 | #Constraints: 31835 3400.62/3410.57 c #Conflicts: 1599000 | #Constraints: 32835 3400.62/3410.57 c #Conflicts: 1600000 | #Constraints: 33835 3400.62/3410.57 c #Conflicts: 1601000 | #Constraints: 34835 3400.62/3410.57 c #Conflicts: 1602000 | #Constraints: 35835 3400.62/3410.57 c #Conflicts: 1603000 | #Constraints: 36835 3400.62/3410.57 c #Conflicts: 1604000 | #Constraints: 37835 3400.62/3410.57 c #Conflicts: 1605000 | #Constraints: 38835 3400.62/3410.57 c #Conflicts: 1606000 | #Constraints: 39835 3400.62/3410.57 c #Conflicts: 1607000 | #Constraints: 40835 3400.62/3410.57 c #Conflicts: 1608000 | #Constraints: 41835 3400.62/3410.57 c #Conflicts: 1609000 | #Constraints: 42835 3400.62/3410.57 c #Conflicts: 1610000 | #Constraints: 43835 3400.62/3410.57 c #Conflicts: 1611000 | #Constraints: 44835 3400.62/3410.57 c #Conflicts: 1612000 | #Constraints: 45835 3400.62/3410.57 c #Conflicts: 1613000 | #Constraints: 46835 3400.62/3410.57 c #Conflicts: 1614000 | #Constraints: 47835 3400.62/3410.57 c #Conflicts: 1615000 | #Constraints: 48835 3400.62/3410.57 c #Conflicts: 1616000 | #Constraints: 49835 3400.62/3410.57 c INPROCESSING 3400.62/3410.57 c GARBAGE COLLECT 3400.62/3410.57 c rational objective 0 3482.52/3492.66 c #Conflicts: 1617000 | #Constraints: 25636 3482.52/3492.66 c #Conflicts: 1618000 | #Constraints: 26636 3482.52/3492.66 c #Conflicts: 1619000 | #Constraints: 27636 3482.52/3492.66 c #Conflicts: 1620000 | #Constraints: 28636 3482.52/3492.66 c #Conflicts: 1621000 | #Constraints: 29636 3482.52/3492.66 c #Conflicts: 1622000 | #Constraints: 30636 3482.52/3492.66 c #Conflicts: 1623000 | #Constraints: 31636 3482.52/3492.66 c #Conflicts: 1624000 | #Constraints: 32636 3482.52/3492.66 c #Conflicts: 1625000 | #Constraints: 33636 3482.52/3492.66 c #Conflicts: 1626000 | #Constraints: 34636 3482.52/3492.66 c #Conflicts: 1627000 | #Constraints: 35636 3482.52/3492.66 c #Conflicts: 1628000 | #Constraints: 36636 3482.52/3492.66 c #Conflicts: 1629000 | #Constraints: 37636 3482.52/3492.66 c #Conflicts: 1630000 | #Constraints: 38636 3482.52/3492.66 c #Conflicts: 1631000 | #Constraints: 39636 3482.52/3492.66 c #Conflicts: 1632000 | #Constraints: 40636 3482.52/3492.66 c #Conflicts: 1633000 | #Constraints: 41636 3482.52/3492.66 c #Conflicts: 1634000 | #Constraints: 42636 3482.52/3492.66 c #Conflicts: 1635000 | #Constraints: 43636 3482.52/3492.66 c #Conflicts: 1636000 | #Constraints: 44636 3482.52/3492.66 c #Conflicts: 1637000 | #Constraints: 45636 3482.52/3492.66 c #Conflicts: 1638000 | #Constraints: 46636 3482.52/3492.66 c #Conflicts: 1639000 | #Constraints: 47636 3482.52/3492.66 c #Conflicts: 1640000 | #Constraints: 48636 3482.52/3492.66 c #Conflicts: 1641000 | #Constraints: 49636 3482.52/3492.66 c #Conflicts: 1642000 | #Constraints: 50636 3482.52/3492.66 c INPROCESSING 3482.52/3492.66 c GARBAGE COLLECT 3482.52/3492.66 c rational objective 0 3558.55/3568.86 c #Conflicts: 1643000 | #Constraints: 26235 3558.55/3568.86 c #Conflicts: 1644000 | #Constraints: 27235 3558.55/3568.86 c #Conflicts: 1645000 | #Constraints: 28235 3558.55/3568.86 c #Conflicts: 1646000 | #Constraints: 29235 3558.55/3568.86 c #Conflicts: 1647000 | #Constraints: 30235 3558.55/3568.86 c #Conflicts: 1648000 | #Constraints: 31235 3558.55/3568.86 c #Conflicts: 1649000 | #Constraints: 32235 3558.55/3568.86 c #Conflicts: 1650000 | #Constraints: 33235 3558.55/3568.86 c #Conflicts: 1651000 | #Constraints: 34235 3558.55/3568.86 c #Conflicts: 1652000 | #Constraints: 35235 3558.55/3568.86 c #Conflicts: 1653000 | #Constraints: 36235 3558.55/3568.86 c #Conflicts: 1654000 | #Constraints: 37235 3558.55/3568.86 c #Conflicts: 1655000 | #Constraints: 38235 3558.55/3568.86 c #Conflicts: 1656000 | #Constraints: 39235 3558.55/3568.86 c #Conflicts: 1657000 | #Constraints: 40235 3558.55/3568.86 c #Conflicts: 1658000 | #Constraints: 41235 3558.55/3568.86 c #Conflicts: 1659000 | #Constraints: 42235 3558.55/3568.86 c #Conflicts: 1660000 | #Constraints: 43235 3558.55/3568.86 c #Conflicts: 1661000 | #Constraints: 44235 3558.55/3568.86 c #Conflicts: 1662000 | #Constraints: 45235 3558.55/3568.86 c #Conflicts: 1663000 | #Constraints: 46235 3558.55/3568.86 c #Conflicts: 1664000 | #Constraints: 47236 3558.55/3568.86 c #Conflicts: 1665000 | #Constraints: 48236 3558.55/3568.86 c #Conflicts: 1666000 | #Constraints: 49236 3558.55/3568.86 c #Conflicts: 1667000 | #Constraints: 50236 3558.55/3568.86 c #Conflicts: 1668000 | #Constraints: 51236 3558.55/3568.86 c INPROCESSING 3558.55/3568.86 c GARBAGE COLLECT 3558.55/3568.86 c rational objective 0 3600.05/3610.40 c #Conflicts: 1669000 | #Constraints: 26633 3600.05/3610.40 c #Conflicts: 1670000 | #Constraints: 27633 3600.05/3610.40 c #Conflicts: 1671000 | #Constraints: 28633 3600.05/3610.40 c #Conflicts: 1672000 | #Constraints: 29633 3600.05/3610.40 c #Conflicts: 1673000 | #Constraints: 30633 3600.05/3610.40 c #Conflicts: 1674000 | #Constraints: 31633 3600.05/3610.40 c #Conflicts: 1675000 | #Constraints: 32633 3600.05/3610.40 c #Conflicts: 1676000 | #Constraints: 33633 3600.05/3610.40 c #Conflicts: 1677000 | #Constraints: 34633 3600.05/3610.40 c #Conflicts: 1678000 | #Constraints: 35633 3600.05/3610.40 c #Conflicts: 1679000 | #Constraints: 36633 3600.05/3610.40 c #Conflicts: 1680000 | #Constraints: 37633 3600.05/3610.40 c #Conflicts: 1681000 | #Constraints: 38633 3600.05/3610.40 c #Conflicts: 1682000 | #Constraints: 39633 3600.05/3610.40 c Program interrupted by user.
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 (63188 MiB free)
memory of node 1: 64473 MiB (63869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462605-1722340767/watcher-4462605-1722340767 -o /tmp/evaluation-result-4462605-1722340767/solver-4462605-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722340763-7347 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462605-1722340767 --lp-cut-gomory=0 HOME/instance-4462605-1722340767.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=7489, runsolver pid=7486
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 0.33 0.14 0.11 5/256 7500
/proc/meminfo: memFree=130091676/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=38024 memory=8716 CPUtime=0.1 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 510 0 0 0 9 1 0 0 20 0 1 0 676643 38936576 2179 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 9506 2179 1890 992 0 1364 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38024 KiB
Current children cumulated memory: 8716 KiB
[startup+0.205688 s]*
/proc/loadavg: 0.33 0.14 0.11 6/261 7505
/proc/meminfo: memFree=130079432/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=38144 memory=9036 CPUtime=0.2 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 606 0 0 0 18 2 0 0 20 0 1 0 676643 39059456 2259 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 9536 2259 1890 992 0 1394 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38144 KiB
Current children cumulated memory: 9036 KiB
[startup+0.305483 s]*
/proc/loadavg: 0.33 0.14 0.11 5/261 7505
/proc/meminfo: memFree=130070108/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=38268 memory=9364 CPUtime=0.3 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 658 0 0 0 27 3 0 0 20 0 1 0 676643 39186432 2341 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 9567 2341 1890 992 0 1425 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38268 KiB
Current children cumulated memory: 9364 KiB
[startup+0.700176 s]
/proc/loadavg: 0.33 0.14 0.11 5/261 7505
/proc/meminfo: memFree=130058712/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=38652 memory=9920 CPUtime=0.69 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 814 0 0 0 64 5 0 0 20 0 1 0 676643 39579648 2480 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 9663 2480 1890 992 0 1521 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38652 KiB
Current children cumulated memory: 9920 KiB
[startup+1.50018 s]
/proc/loadavg: 0.33 0.14 0.11 5/261 7505
/proc/meminfo: memFree=130021280/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=38872 memory=10444 CPUtime=1.48 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 907 0 0 0 139 9 0 0 20 0 1 0 676643 39804928 2611 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 9718 2611 1890 992 0 1576 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38872 KiB
Current children cumulated memory: 10444 KiB
[startup+3.10544 s]
/proc/loadavg: 0.33 0.14 0.11 6/261 7505
/proc/meminfo: memFree=129923476/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=39352 memory=11216 CPUtime=3.09 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 1102 0 0 0 292 17 0 0 20 0 1 0 676643 40296448 2804 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 9838 2804 1890 992 0 1696 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39352 KiB
Current children cumulated memory: 11216 KiB
[startup+6.30017 s]
/proc/loadavg: 0.63 0.21 0.13 5/261 7507
/proc/meminfo: memFree=129803412/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=39788 memory=11864 CPUtime=6.28 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 1265 0 0 0 598 30 0 0 20 0 1 0 676643 40742912 2966 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 9947 2966 1890 992 0 1805 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 11864 KiB
[startup+12.7001 s]
/proc/loadavg: 0.90 0.27 0.15 5/262 7508
/proc/meminfo: memFree=129549812/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=40220 memory=14388 CPUtime=12.65 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 1389 0 0 0 1216 49 0 0 20 0 1 0 676643 41185280 3597 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 10055 3597 1890 992 0 1913 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40220 KiB
Current children cumulated memory: 14388 KiB
[startup+25.5002 s]
/proc/loadavg: 1.65 0.47 0.22 5/262 7511
/proc/meminfo: memFree=129153012/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=41180 memory=15264 CPUtime=25.43 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 1707 0 0 0 2467 76 0 0 20 0 1 0 676643 42168320 3816 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 10295 3816 1890 992 0 2153 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 41180 KiB
Current children cumulated memory: 15264 KiB
[startup+51.1055 s]
/proc/loadavg: 2.53 0.77 0.32 5/264 7518
/proc/meminfo: memFree=128556024/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=42172 memory=16232 CPUtime=50.96 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 2075 0 0 0 4980 116 0 0 20 0 1 0 676643 43184128 4058 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 10543 4058 1890 992 0 2401 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 42172 KiB
Current children cumulated memory: 16232 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.52 5/263 7538
/proc/meminfo: memFree=127087984/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=46364 memory=18228 CPUtime=102.04 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 2620 0 0 0 10027 177 0 0 20 0 1 0 676643 47476736 4557 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 11591 4557 1890 992 0 3449 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 46364 KiB
Current children cumulated memory: 18228 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.80 0.75 5/263 7549
/proc/meminfo: memFree=125424716/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=47080 memory=21252 CPUtime=161.87 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 2994 0 0 0 15949 238 0 0 20 0 1 0 676643 48209920 5313 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 11770 5313 1890 992 0 3628 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 47080 KiB
Current children cumulated memory: 21252 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.22 0.96 5/265 7564
/proc/meminfo: memFree=124485896/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=47136 memory=21400 CPUtime=221.7 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 3176 0 0 0 21874 296 0 0 20 0 1 0 676643 48267264 5350 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 11784 5350 1890 992 0 3642 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 47136 KiB
Current children cumulated memory: 21400 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.58 1.16 5/263 7574
/proc/meminfo: memFree=123943708/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=47392 memory=21728 CPUtime=281.52 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 3540 0 0 0 27801 351 0 0 20 0 1 0 676643 48529408 5432 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 11848 5432 1890 992 0 3706 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 47392 KiB
Current children cumulated memory: 21728 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 2.85 1.35 5/262 7584
/proc/meminfo: memFree=123161880/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=48416 memory=22576 CPUtime=341.34 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 3885 0 0 0 33732 402 0 0 20 0 1 0 676643 49577984 5644 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 12104 5644 1890 992 0 3962 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 48416 KiB
Current children cumulated memory: 22576 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.09 1.53 5/260 7596
/proc/meminfo: memFree=121919808/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=48416 memory=22692 CPUtime=401.17 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 4117 0 0 0 39664 453 0 0 20 0 1 0 676643 49577984 5673 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 12104 5673 1890 992 0 3962 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 48416 KiB
Current children cumulated memory: 22692 KiB
[startup+462.3 s]
/proc/loadavg: 4.52 3.37 1.72 5/260 7607
/proc/meminfo: memFree=119719104/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=48928 memory=23400 CPUtime=460.99 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 4531 0 0 0 45596 503 0 0 20 0 1 0 676643 50102272 5850 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 12232 5850 1890 992 0 4090 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/260 8717
/proc/meminfo: memFree=91500468/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=59876 memory=32992 CPUtime=3093.15 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 10859 0 0 0 307064 2251 0 0 20 0 1 0 676643 61313024 8248 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 14969 8248 1890 992 0 6827 0
Current children cumulated CPU time: 3093.15 s
Current children cumulated vsize: 59876 KiB
Current children cumulated memory: 32992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/259 8727
/proc/meminfo: memFree=91338484/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=60880 memory=33740 CPUtime=3153 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 11084 0 0 0 313021 2279 0 0 20 0 1 0 676643 62341120 8435 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 15220 8435 1890 992 0 7078 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 60880 KiB
Current children cumulated memory: 33740 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/258 8737
/proc/meminfo: memFree=91160160/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=60880 memory=33956 CPUtime=3212.85 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 11120 0 0 0 318973 2312 0 0 20 0 1 0 676643 62341120 8489 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 15220 8489 1890 992 0 7078 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 60880 KiB
Current children cumulated memory: 33956 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/259 8749
/proc/meminfo: memFree=90832716/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=60584 memory=33876 CPUtime=3272.71 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 11224 0 0 0 324931 2340 0 0 20 0 1 0 676643 62038016 8469 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 15146 8469 1890 992 0 7004 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 60584 KiB
Current children cumulated memory: 33876 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.15 4.04 5/259 8760
/proc/meminfo: memFree=89882060/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=61412 memory=34640 CPUtime=3332.57 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 11525 0 0 0 330890 2367 0 0 20 0 1 0 676643 62885888 8660 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 15353 8660 1890 992 0 7211 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 61412 KiB
Current children cumulated memory: 34640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.05 5/260 9158
/proc/meminfo: memFree=89087792/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=61412 memory=34640 CPUtime=3392.43 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 11537 0 0 0 336844 2399 0 0 20 0 1 0 676643 62885888 8660 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 15353 8660 1890 992 0 7211 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 61412 KiB
Current children cumulated memory: 34640 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.05 5/262 9171
/proc/meminfo: memFree=88205152/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=68848 memory=34896 CPUtime=3452.29 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 11710 0 0 0 342796 2433 0 0 20 0 1 0 676643 70500352 8724 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 17212 8724 1890 992 0 9070 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 68848 KiB
Current children cumulated memory: 34896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.05 5/262 9183
/proc/meminfo: memFree=87548204/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=68848 memory=35040 CPUtime=3512.15 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 11856 0 0 0 348747 2468 0 0 20 0 1 0 676643 70500352 8760 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 17212 8760 1890 992 0 9070 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 68848 KiB
Current children cumulated memory: 35040 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.06 5/264 9363
/proc/meminfo: memFree=87282480/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=69432 memory=35260 CPUtime=3572.02 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 11954 0 0 0 354703 2499 0 0 20 0 1 0 676643 71098368 8815 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 17358 8815 1890 992 0 9216 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 69432 KiB
Current children cumulated memory: 35260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.15 4.14 4.06 2/263 9369
/proc/meminfo: memFree=96661264/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=69432 memory=35260 CPUtime=3600.05 cores=4,6
/proc/7489/stat : 7489 (roundingsat) R 7486 7489 7335 0 -1 4194304 11955 0 0 0 357494 2511 0 0 20 0 1 0 676643 71098368 8815 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 17358 8815 1890 992 0 9216 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 69432 KiB
Current children cumulated memory: 35260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.13 4.14 4.06 1/261 9369
/proc/meminfo: memFree=96661000/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=69432 memory=35260 CPUtime=3600.05 cores=4,6
/proc/7489/stat : 7489 (roundingsat) D 7486 7489 7335 0 -1 4194304 11963 0 0 0 357494 2511 0 0 20 0 1 0 676643 71098368 8815 134679101440 4194304 8255733 140730157825440 0 0 256 0 0 25182210 0 0 0 17 6 0 0 241 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 17358 8815 1890 992 0 9216 0
??? kill 7489 sig 9
??? end of watcher thread
[startup+3631.33 s]
# the end of solver process 7489 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3574.95 s, system=25.1213 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.13 4.14 4.06 1/263 9369
/proc/meminfo: memFree=96661580/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=69432 memory=35260 CPUtime=3600.05 cores=4,6
/proc/7489/stat : 7489 (roundingsat) D 7486 7489 7335 0 -1 4194304 11963 0 0 0 357494 2511 0 0 20 0 1 0 676643 71098368 8815 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 17358 8815 1890 992 0 9216 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 69432 KiB
Current children cumulated memory: 35260 KiB
[startup+3612 s]*
/proc/loadavg: 4.13 4.14 4.06 1/261 9369
/proc/meminfo: memFree=96661548/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=69432 memory=35260 CPUtime=3600.05 cores=4,6
/proc/7489/stat : 7489 (roundingsat) D 7486 7489 7335 0 -1 4194304 11963 0 0 0 357494 2511 0 0 20 0 1 0 676643 71098368 8815 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 4 0 0 114 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 17358 8815 1890 992 0 9216 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 69432 KiB
Current children cumulated memory: 35260 KiB
[startup+3612.4 s]
/proc/loadavg: 4.13 4.14 4.06 1/261 9369
/proc/meminfo: memFree=96661548/131524600 swapFree=131071996/131071996
[pid=7489] ppid=7486 vsize=69432 memory=35260 CPUtime=3600.05 cores=4,6
/proc/7489/stat : 7489 (roundingsat) D 7486 7489 7335 0 -1 4194304 11963 0 0 0 357494 2511 0 0 20 0 1 0 676643 71098368 8815 134679101440 4194304 8255733 140730157825440 0 0 0 0 0 25182210 0 0 0 17 6 0 0 241 0 0 9037040 9046032 26636288 140730157826910 140730157827172 140730157827172 140730157834185 0
/proc/7489/statm: 17358 8815 1890 992 0 9216 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 69432 KiB
Current children cumulated memory: 35260 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3631.33
CPU time (s): 3600.07
CPU user time (s): 3574.95
CPU system time (s): 25.1213
CPU usage (%): 99.139
Max. virtual memory (cumulated for all children) (KiB): 69432
Max. memory (cumulated for all children) (KiB): 35260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.95
system time used= 25.1213
maximum resident set size= 37492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9376848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 691
involuntary context switches= 4862
# summary of solver processes directly reported to runsolver:
# pid: 7489
# total CPU time (s): 3600.07
# total CPU user time (s): 3574.95
# total CPU system time (s): 25.1213
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48326 second user time and 15.9771 second system time
The end
Begin job on nodeC025 at 2024-07-30 13:59:27 IDJOB=4462605 IDBENCH=147580 IDSOLVER=3089 FILE ID=nodeC025/4462605-1722340767 RUNJOBID= nodeC025-1722340763-7347 SLURM_JOB_ID= 8248998 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.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-4462605-1722340767/watcher-4462605-1722340767 -o /tmp/evaluation-result-4462605-1722340767/solver-4462605-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722340763-7347 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462605-1722340767 --lp-cut-gomory=0 HOME/instance-4462605-1722340767.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9 RANDOM SEED=52205761 nodeC025.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 : 3670.040 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 : 7000.10 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 : 3688.216 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.96 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 : 3618.620 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 : 7000.10 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 : 3666.764 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.96 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 : 3658.830 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 : 7000.10 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 : 3603.894 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.96 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 : 3659.601 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 : 7000.10 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 : 3661.399 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.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130109968 kB MemAvailable: 129753532 kB Buffers: 38440 kB Cached: 443532 kB SwapCached: 0 kB Active: 133336 kB Inactive: 820200 kB Active(anon): 1528 kB Inactive(anon): 491448 kB Active(file): 131808 kB Inactive(file): 328752 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 110792 kB Writeback: 20 kB AnonPages: 471704 kB Mapped: 94912 kB Shmem: 21336 kB KReclaimable: 45656 kB Slab: 124324 kB SReclaimable: 45656 kB SUnreclaim: 78668 kB KernelStack: 4064 kB PageTables: 9532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 748360 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 260096 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: 230100 kB DirectMap2M: 10029056 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890056 MiB End job on nodeC025 at 2024-07-30 14:59:59