| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.05 | 3627.37 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8451009eff5aac10a49807ab684bf277 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| 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 | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| 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 | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 146 #constraints 12 0.00/0.00 c bounds - >= 0 @ 0.000895 0.00/0.00 c rational objective 0 0.30/0.32 c bounds 371 >= 0 @ 0.011458 0.30/0.32 c bounds 216 >= 0 @ 0.011672 0.30/0.32 c bounds 156 >= 0 @ 0.011877 0.30/0.32 c bounds 96 >= 0 @ 0.013248 0.30/0.32 c #Conflicts: 1000 | #Constraints: 1030 0.30/0.32 c #Conflicts: 2000 | #Constraints: 2036 0.30/0.32 c INPROCESSING 0.30/0.32 c GARBAGE COLLECT 0.30/0.32 c rational objective 0 0.69/0.78 c bounds 92 >= 0 @ 0.299296 0.69/0.78 c bounds 90 >= 0 @ 0.299831 0.69/0.78 c bounds 88 >= 0 @ 0.300074 0.69/0.78 c bounds 80 >= 0 @ 0.300453 0.69/0.78 c bounds 72 >= 0 @ 0.302503 0.69/0.78 c bounds 64 >= 0 @ 0.359662 0.69/0.78 c bounds 56 >= 0 @ 0.360085 0.69/0.78 c bounds 52 >= 0 @ 0.360911 0.69/0.78 c bounds 50 >= 0 @ 0.375535 0.69/0.78 c bounds 49 >= 0 @ 0.426122 0.69/0.78 c bounds 48 >= 0 @ 0.433013 0.69/0.78 c bounds 46 >= 0 @ 0.43336 0.69/0.78 c bounds 44 >= 0 @ 0.43395 0.69/0.78 c bounds 42 >= 0 @ 0.434327 0.69/0.78 c #Conflicts: 3000 | #Constraints: 2062 0.69/0.78 c bounds 40 >= 0 @ 0.51223 0.69/0.78 c #Conflicts: 4000 | #Constraints: 3071 0.69/0.78 c INPROCESSING 0.69/0.78 c GARBAGE COLLECT 0.69/0.78 c rational objective 0 1.29/1.37 c bounds 38 >= 0 @ 0.736518 1.29/1.37 c bounds 36 >= 0 @ 0.737293 1.29/1.37 c bounds 32 >= 0 @ 0.738331 1.29/1.37 c bounds 30 >= 0 @ 0.872398 1.29/1.37 c #Conflicts: 5000 | #Constraints: 2456 1.29/1.37 c #Conflicts: 6000 | #Constraints: 3466 1.29/1.37 c bounds 23 >= 0 @ 1.22642 1.29/1.37 c INPROCESSING 1.29/1.37 c GARBAGE COLLECT 1.29/1.37 c rational objective 0 1.98/2.07 c #Conflicts: 7000 | #Constraints: 2456 1.98/2.07 c #Conflicts: 8000 | #Constraints: 3463 1.98/2.07 c #Conflicts: 9000 | #Constraints: 4467 1.98/2.07 c INPROCESSING 1.98/2.07 c GARBAGE COLLECT 1.98/2.07 c rational objective 0 2.88/2.97 c bounds 19 >= 0 @ 1.96593 2.88/2.97 c bounds 15 >= 0 @ 1.96823 2.88/2.97 c #Conflicts: 10000 | #Constraints: 3157 2.88/2.97 c #Conflicts: 11000 | #Constraints: 4164 2.88/2.97 c #Conflicts: 12000 | #Constraints: 5171 2.88/2.97 c INPROCESSING 2.88/2.97 c GARBAGE COLLECT 2.88/2.97 c rational objective 0 3.78/3.86 c #Conflicts: 13000 | #Constraints: 3605 3.78/3.86 c #Conflicts: 14000 | #Constraints: 4607 3.78/3.86 c #Conflicts: 15000 | #Constraints: 5610 3.78/3.86 c INPROCESSING 3.78/3.86 c GARBAGE COLLECT 3.78/3.86 c rational objective 0 4.88/4.92 c #Conflicts: 16000 | #Constraints: 3821 4.88/4.92 c bounds 12 >= 0 @ 4.20397 4.88/4.92 c #Conflicts: 17000 | #Constraints: 4825 4.88/4.92 c #Conflicts: 18000 | #Constraints: 5827 4.88/4.92 c INPROCESSING 4.88/4.92 c GARBAGE COLLECT 4.88/4.92 c rational objective 0 6.17/6.22 c bounds 10 >= 0 @ 4.69703 6.17/6.22 c #Conflicts: 19000 | #Constraints: 3835 6.17/6.22 c #Conflicts: 20000 | #Constraints: 4844 6.17/6.22 c #Conflicts: 21000 | #Constraints: 5849 6.17/6.22 c INPROCESSING 6.17/6.22 c GARBAGE COLLECT 6.17/6.22 c rational objective 0 7.37/7.48 c #Conflicts: 22000 | #Constraints: 3641 7.37/7.48 c #Conflicts: 23000 | #Constraints: 4644 7.37/7.48 c #Conflicts: 24000 | #Constraints: 5648 7.37/7.48 c #Conflicts: 25000 | #Constraints: 6649 7.37/7.48 c INPROCESSING 7.37/7.48 c GARBAGE COLLECT 7.37/7.48 c rational objective 0 8.84/8.97 c #Conflicts: 26000 | #Constraints: 4240 8.84/8.97 c #Conflicts: 27000 | #Constraints: 5241 8.84/8.97 c #Conflicts: 28000 | #Constraints: 6241 8.84/8.97 c #Conflicts: 29000 | #Constraints: 7244 8.84/8.97 c INPROCESSING 8.84/8.97 c GARBAGE COLLECT 8.84/8.97 c rational objective 0 10.82/10.96 c #Conflicts: 30000 | #Constraints: 4636 10.82/10.96 c #Conflicts: 31000 | #Constraints: 5642 10.82/10.96 c #Conflicts: 32000 | #Constraints: 6645 10.82/10.96 c #Conflicts: 33000 | #Constraints: 7649 10.82/10.96 c INPROCESSING 10.82/10.96 c GARBAGE COLLECT 10.82/10.96 c rational objective 0 12.41/12.56 c #Conflicts: 34000 | #Constraints: 4845 12.41/12.56 c #Conflicts: 35000 | #Constraints: 5851 12.41/12.56 c #Conflicts: 36000 | #Constraints: 6853 12.41/12.56 c #Conflicts: 37000 | #Constraints: 7856 12.41/12.56 c INPROCESSING 12.41/12.56 c GARBAGE COLLECT 12.41/12.56 c rational objective 0 14.71/14.86 c #Conflicts: 38000 | #Constraints: 4845 14.71/14.86 c #Conflicts: 39000 | #Constraints: 5845 14.71/14.86 c #Conflicts: 40000 | #Constraints: 6847 14.71/14.86 c #Conflicts: 41000 | #Constraints: 7848 14.71/14.86 c INPROCESSING 14.71/14.86 c GARBAGE COLLECT 14.71/14.86 c rational objective 0 16.91/17.02 c #Conflicts: 42000 | #Constraints: 4641 16.91/17.02 c #Conflicts: 43000 | #Constraints: 5643 16.91/17.02 c #Conflicts: 44000 | #Constraints: 6643 16.91/17.02 c #Conflicts: 45000 | #Constraints: 7645 16.91/17.02 c #Conflicts: 46000 | #Constraints: 8647 16.91/17.02 c INPROCESSING 16.91/17.02 c GARBAGE COLLECT 16.91/17.02 c rational objective 0 19.59/19.76 c #Conflicts: 47000 | #Constraints: 5240 19.59/19.76 c #Conflicts: 48000 | #Constraints: 6248 19.59/19.76 c #Conflicts: 49000 | #Constraints: 7251 19.59/19.76 c #Conflicts: 50000 | #Constraints: 8254 19.59/19.76 c #Conflicts: 51000 | #Constraints: 9255 19.59/19.76 c INPROCESSING 19.59/19.76 c GARBAGE COLLECT 19.59/19.76 c rational objective 0 21.88/22.04 c #Conflicts: 52000 | #Constraints: 5650 21.88/22.04 c #Conflicts: 53000 | #Constraints: 6651 21.88/22.04 c #Conflicts: 54000 | #Constraints: 7654 21.88/22.04 c #Conflicts: 55000 | #Constraints: 8654 21.88/22.04 c #Conflicts: 56000 | #Constraints: 9657 21.88/22.04 c INPROCESSING 21.88/22.04 c GARBAGE COLLECT 21.88/22.04 c rational objective 0 24.28/24.43 c #Conflicts: 57000 | #Constraints: 5844 24.28/24.43 c #Conflicts: 58000 | #Constraints: 6845 24.28/24.43 c #Conflicts: 59000 | #Constraints: 7845 24.28/24.43 c #Conflicts: 60000 | #Constraints: 8848 24.28/24.43 c #Conflicts: 61000 | #Constraints: 9848 24.28/24.43 c INPROCESSING 24.28/24.43 c GARBAGE COLLECT 24.28/24.43 c rational objective 0 27.77/27.98 c #Conflicts: 62000 | #Constraints: 5840 27.77/27.98 c #Conflicts: 63000 | #Constraints: 6841 27.77/27.98 c #Conflicts: 64000 | #Constraints: 7843 27.77/27.98 c #Conflicts: 65000 | #Constraints: 8847 27.77/27.98 c #Conflicts: 66000 | #Constraints: 9847 27.77/27.98 c INPROCESSING 27.77/27.98 c GARBAGE COLLECT 27.77/27.98 c rational objective 0 30.56/30.79 c #Conflicts: 67000 | #Constraints: 5646 30.56/30.79 c #Conflicts: 68000 | #Constraints: 6649 30.56/30.79 c #Conflicts: 69000 | #Constraints: 7650 30.56/30.79 c #Conflicts: 70000 | #Constraints: 8650 30.56/30.79 c #Conflicts: 71000 | #Constraints: 9650 30.56/30.79 c #Conflicts: 72000 | #Constraints: 10652 30.56/30.79 c INPROCESSING 30.56/30.79 c GARBAGE COLLECT 30.56/30.79 c rational objective 0 34.74/34.97 c #Conflicts: 73000 | #Constraints: 6237 34.74/34.97 c #Conflicts: 74000 | #Constraints: 7240 34.74/34.97 c #Conflicts: 75000 | #Constraints: 8241 34.74/34.97 c #Conflicts: 76000 | #Constraints: 9242 34.74/34.97 c #Conflicts: 77000 | #Constraints: 10243 34.74/34.97 c #Conflicts: 78000 | #Constraints: 11245 34.74/34.97 c INPROCESSING 34.74/34.97 c GARBAGE COLLECT 34.74/34.97 c rational objective 0 38.03/38.28 c #Conflicts: 79000 | #Constraints: 6642 38.03/38.28 c #Conflicts: 80000 | #Constraints: 7642 38.03/38.28 c #Conflicts: 81000 | #Constraints: 8642 38.03/38.28 c #Conflicts: 82000 | #Constraints: 9642 38.03/38.28 c #Conflicts: 83000 | #Constraints: 10642 38.03/38.28 c #Conflicts: 84000 | #Constraints: 11643 38.03/38.28 c INPROCESSING 38.03/38.28 c GARBAGE COLLECT 38.03/38.28 c rational objective 0 41.99/42.28 c #Conflicts: 85000 | #Constraints: 6837 41.99/42.28 c #Conflicts: 86000 | #Constraints: 7838 41.99/42.28 c #Conflicts: 87000 | #Constraints: 8839 41.99/42.28 c #Conflicts: 88000 | #Constraints: 9839 41.99/42.28 c #Conflicts: 89000 | #Constraints: 10839 41.99/42.28 c #Conflicts: 90000 | #Constraints: 11840 41.99/42.28 c INPROCESSING 41.99/42.28 c GARBAGE COLLECT 41.99/42.28 c rational objective 0 47.35/47.67 c #Conflicts: 91000 | #Constraints: 6830 47.35/47.67 c #Conflicts: 92000 | #Constraints: 7830 47.35/47.67 c #Conflicts: 93000 | #Constraints: 8831 47.35/47.67 c #Conflicts: 94000 | #Constraints: 9832 47.35/47.67 c #Conflicts: 95000 | #Constraints: 10832 47.35/47.67 c #Conflicts: 96000 | #Constraints: 11832 47.35/47.67 c INPROCESSING 47.35/47.67 c GARBAGE COLLECT 47.35/47.67 c rational objective 0 51.91/52.24 c #Conflicts: 97000 | #Constraints: 6635 51.91/52.24 c #Conflicts: 98000 | #Constraints: 7635 51.91/52.24 c #Conflicts: 99000 | #Constraints: 8635 51.91/52.24 c #Conflicts: 100000 | #Constraints: 9635 51.91/52.24 c #Conflicts: 101000 | #Constraints: 10635 51.91/52.24 c #Conflicts: 102000 | #Constraints: 11636 51.91/52.24 c #Conflicts: 103000 | #Constraints: 12638 51.91/52.24 c INPROCESSING 51.91/52.24 c GARBAGE COLLECT 51.91/52.24 c rational objective 0 57.60/57.91 c #Conflicts: 104000 | #Constraints: 7234 57.60/57.91 c #Conflicts: 105000 | #Constraints: 8234 57.60/57.91 c #Conflicts: 106000 | #Constraints: 9234 57.60/57.91 c #Conflicts: 107000 | #Constraints: 10234 57.60/57.91 c #Conflicts: 108000 | #Constraints: 11234 57.60/57.91 c #Conflicts: 109000 | #Constraints: 12235 57.60/57.91 c #Conflicts: 110000 | #Constraints: 13236 57.60/57.91 c INPROCESSING 57.60/57.91 c GARBAGE COLLECT 57.60/57.91 c rational objective 0 61.78/62.13 c #Conflicts: 111000 | #Constraints: 7637 61.78/62.13 c #Conflicts: 112000 | #Constraints: 8637 61.78/62.13 c #Conflicts: 113000 | #Constraints: 9638 61.78/62.13 c #Conflicts: 114000 | #Constraints: 10638 61.78/62.13 c #Conflicts: 115000 | #Constraints: 11638 61.78/62.13 c #Conflicts: 116000 | #Constraints: 12641 61.78/62.13 c #Conflicts: 117000 | #Constraints: 13641 61.78/62.13 c INPROCESSING 61.78/62.13 c GARBAGE COLLECT 61.78/62.13 c rational objective 0 68.06/68.41 c #Conflicts: 118000 | #Constraints: 7835 68.06/68.41 c #Conflicts: 119000 | #Constraints: 8836 68.06/68.41 c #Conflicts: 120000 | #Constraints: 9836 68.06/68.41 c #Conflicts: 121000 | #Constraints: 10837 68.06/68.41 c #Conflicts: 122000 | #Constraints: 11837 68.06/68.41 c #Conflicts: 123000 | #Constraints: 12837 68.06/68.41 c #Conflicts: 124000 | #Constraints: 13838 68.06/68.41 c INPROCESSING 68.06/68.41 c GARBAGE COLLECT 68.06/68.41 c rational objective 0 72.91/73.35 c #Conflicts: 125000 | #Constraints: 7837 72.91/73.35 c #Conflicts: 126000 | #Constraints: 8837 72.91/73.35 c #Conflicts: 127000 | #Constraints: 9837 72.91/73.35 c #Conflicts: 128000 | #Constraints: 10837 72.91/73.35 c #Conflicts: 129000 | #Constraints: 11837 72.91/73.35 c #Conflicts: 130000 | #Constraints: 12837 72.91/73.35 c #Conflicts: 131000 | #Constraints: 13837 72.91/73.35 c INPROCESSING 72.91/73.35 c GARBAGE COLLECT 72.91/73.35 c rational objective 0 78.20/78.61 c #Conflicts: 132000 | #Constraints: 7631 78.20/78.61 c #Conflicts: 133000 | #Constraints: 8632 78.20/78.61 c #Conflicts: 134000 | #Constraints: 9633 78.20/78.61 c #Conflicts: 135000 | #Constraints: 10634 78.20/78.61 c #Conflicts: 136000 | #Constraints: 11634 78.20/78.61 c #Conflicts: 137000 | #Constraints: 12635 78.20/78.61 c #Conflicts: 138000 | #Constraints: 13635 78.20/78.61 c #Conflicts: 139000 | #Constraints: 14635 78.20/78.61 c INPROCESSING 78.20/78.61 c GARBAGE COLLECT 78.20/78.61 c rational objective 0 85.47/85.92 c #Conflicts: 140000 | #Constraints: 8234 85.47/85.92 c #Conflicts: 141000 | #Constraints: 9234 85.47/85.92 c #Conflicts: 142000 | #Constraints: 10235 85.47/85.92 c #Conflicts: 143000 | #Constraints: 11235 85.47/85.92 c #Conflicts: 144000 | #Constraints: 12235 85.47/85.92 c #Conflicts: 145000 | #Constraints: 13236 85.47/85.92 c #Conflicts: 146000 | #Constraints: 14236 85.47/85.92 c #Conflicts: 147000 | #Constraints: 15238 85.47/85.92 c INPROCESSING 85.47/85.92 c GARBAGE COLLECT 85.47/85.92 c rational objective 0 91.06/91.53 c #Conflicts: 148000 | #Constraints: 8641 91.06/91.53 c #Conflicts: 149000 | #Constraints: 9641 91.06/91.53 c #Conflicts: 150000 | #Constraints: 10641 91.06/91.53 c #Conflicts: 151000 | #Constraints: 11641 91.06/91.53 c #Conflicts: 152000 | #Constraints: 12641 91.06/91.53 c #Conflicts: 153000 | #Constraints: 13643 91.06/91.53 c #Conflicts: 154000 | #Constraints: 14646 91.06/91.53 c #Conflicts: 155000 | #Constraints: 15646 91.06/91.53 c INPROCESSING 91.06/91.53 c GARBAGE COLLECT 91.06/91.53 c rational objective 0 99.13/99.62 c #Conflicts: 156000 | #Constraints: 8842 99.13/99.62 c #Conflicts: 157000 | #Constraints: 9842 99.13/99.62 c #Conflicts: 158000 | #Constraints: 10843 99.13/99.62 c #Conflicts: 159000 | #Constraints: 11843 99.13/99.62 c #Conflicts: 160000 | #Constraints: 12844 99.13/99.62 c #Conflicts: 161000 | #Constraints: 13845 99.13/99.62 c #Conflicts: 162000 | #Constraints: 14845 99.13/99.62 c #Conflicts: 163000 | #Constraints: 15845 99.13/99.62 c INPROCESSING 99.13/99.62 c GARBAGE COLLECT 99.13/99.62 c rational objective 0 106.07/106.69 c #Conflicts: 164000 | #Constraints: 8842 106.07/106.69 c #Conflicts: 165000 | #Constraints: 9844 106.07/106.69 c #Conflicts: 166000 | #Constraints: 10844 106.07/106.69 c #Conflicts: 167000 | #Constraints: 11844 106.07/106.69 c #Conflicts: 168000 | #Constraints: 12844 106.07/106.69 c #Conflicts: 169000 | #Constraints: 13845 106.07/106.69 c #Conflicts: 170000 | #Constraints: 14846 106.07/106.69 c #Conflicts: 171000 | #Constraints: 15848 106.07/106.69 c INPROCESSING 106.07/106.69 c GARBAGE COLLECT 106.07/106.69 c rational objective 0 112.36/112.94 c #Conflicts: 172000 | #Constraints: 8641 112.36/112.94 c #Conflicts: 173000 | #Constraints: 9643 112.36/112.94 c #Conflicts: 174000 | #Constraints: 10644 112.36/112.94 c #Conflicts: 175000 | #Constraints: 11646 112.36/112.94 c #Conflicts: 176000 | #Constraints: 12646 112.36/112.94 c #Conflicts: 177000 | #Constraints: 13647 112.36/112.94 c #Conflicts: 178000 | #Constraints: 14647 112.36/112.94 c #Conflicts: 179000 | #Constraints: 15647 112.36/112.94 c #Conflicts: 180000 | #Constraints: 16648 112.36/112.94 c INPROCESSING 112.36/112.94 c GARBAGE COLLECT 112.36/112.94 c rational objective 0 121.53/122.18 c #Conflicts: 181000 | #Constraints: 9236 121.53/122.18 c #Conflicts: 182000 | #Constraints: 10237 121.53/122.18 c #Conflicts: 183000 | #Constraints: 11239 121.53/122.18 c #Conflicts: 184000 | #Constraints: 12239 121.53/122.18 c #Conflicts: 185000 | #Constraints: 13239 121.53/122.18 c #Conflicts: 186000 | #Constraints: 14239 121.53/122.18 c #Conflicts: 187000 | #Constraints: 15240 121.53/122.18 c #Conflicts: 188000 | #Constraints: 16240 121.53/122.18 c #Conflicts: 189000 | #Constraints: 17240 121.53/122.18 c INPROCESSING 121.53/122.18 c GARBAGE COLLECT 121.53/122.18 c rational objective 0 129.60/130.24 c #Conflicts: 190000 | #Constraints: 9642 129.60/130.24 c #Conflicts: 191000 | #Constraints: 10645 129.60/130.24 c #Conflicts: 192000 | #Constraints: 11645 129.60/130.24 c #Conflicts: 193000 | #Constraints: 12645 129.60/130.24 c #Conflicts: 194000 | #Constraints: 13645 129.60/130.24 c #Conflicts: 195000 | #Constraints: 14645 129.60/130.24 c #Conflicts: 196000 | #Constraints: 15646 129.60/130.24 c #Conflicts: 197000 | #Constraints: 16647 129.60/130.24 c #Conflicts: 198000 | #Constraints: 17647 129.60/130.24 c INPROCESSING 129.60/130.24 c GARBAGE COLLECT 129.60/130.24 c rational objective 0 140.05/140.79 c #Conflicts: 199000 | #Constraints: 9838 140.05/140.79 c #Conflicts: 200000 | #Constraints: 10839 140.05/140.79 c #Conflicts: 201000 | #Constraints: 11840 140.05/140.79 c #Conflicts: 202000 | #Constraints: 12840 140.05/140.79 c #Conflicts: 203000 | #Constraints: 13842 140.05/140.79 c #Conflicts: 204000 | #Constraints: 14843 140.05/140.79 c #Conflicts: 205000 | #Constraints: 15844 140.05/140.79 c #Conflicts: 206000 | #Constraints: 16844 140.05/140.79 c #Conflicts: 207000 | #Constraints: 17845 140.05/140.79 c INPROCESSING 140.05/140.79 c GARBAGE COLLECT 140.05/140.79 c rational objective 0 149.43/150.15 c #Conflicts: 208000 | #Constraints: 9838 149.43/150.15 c #Conflicts: 209000 | #Constraints: 10838 149.43/150.15 c #Conflicts: 210000 | #Constraints: 11838 149.43/150.15 c #Conflicts: 211000 | #Constraints: 12838 149.43/150.15 c #Conflicts: 212000 | #Constraints: 13838 149.43/150.15 c #Conflicts: 213000 | #Constraints: 14838 149.43/150.15 c #Conflicts: 214000 | #Constraints: 15838 149.43/150.15 c #Conflicts: 215000 | #Constraints: 16838 149.43/150.15 c #Conflicts: 216000 | #Constraints: 17838 149.43/150.15 c INPROCESSING 149.43/150.15 c GARBAGE COLLECT 149.43/150.15 c rational objective 0 160.67/161.49 c #Conflicts: 217000 | #Constraints: 9635 160.67/161.49 c #Conflicts: 218000 | #Constraints: 10636 160.67/161.49 c #Conflicts: 219000 | #Constraints: 11636 160.67/161.49 c #Conflicts: 220000 | #Constraints: 12636 160.67/161.49 c #Conflicts: 221000 | #Constraints: 13636 160.67/161.49 c #Conflicts: 222000 | #Constraints: 14636 160.67/161.49 c #Conflicts: 223000 | #Constraints: 15637 160.67/161.49 c #Conflicts: 224000 | #Constraints: 16637 160.67/161.49 c #Conflicts: 225000 | #Constraints: 17637 160.67/161.49 c #Conflicts: 226000 | #Constraints: 18637 160.67/161.49 c INPROCESSING 160.67/161.49 c GARBAGE COLLECT 160.67/161.49 c rational objective 0 169.54/170.33 c #Conflicts: 227000 | #Constraints: 10236 169.54/170.33 c #Conflicts: 228000 | #Constraints: 11236 169.54/170.33 c #Conflicts: 229000 | #Constraints: 12236 169.54/170.33 c #Conflicts: 230000 | #Constraints: 13236 169.54/170.33 c #Conflicts: 231000 | #Constraints: 14236 169.54/170.33 c #Conflicts: 232000 | #Constraints: 15236 169.54/170.33 c #Conflicts: 233000 | #Constraints: 16237 169.54/170.33 c #Conflicts: 234000 | #Constraints: 17238 169.54/170.33 c #Conflicts: 235000 | #Constraints: 18241 169.54/170.33 c #Conflicts: 236000 | #Constraints: 19241 169.54/170.33 c INPROCESSING 169.54/170.33 c GARBAGE COLLECT 169.54/170.33 c rational objective 0 178.31/179.15 c #Conflicts: 237000 | #Constraints: 10636 178.31/179.15 c #Conflicts: 238000 | #Constraints: 11636 178.31/179.15 c #Conflicts: 239000 | #Constraints: 12636 178.31/179.15 c #Conflicts: 240000 | #Constraints: 13636 178.31/179.15 c #Conflicts: 241000 | #Constraints: 14637 178.31/179.15 c #Conflicts: 242000 | #Constraints: 15637 178.31/179.15 c #Conflicts: 243000 | #Constraints: 16637 178.31/179.15 c #Conflicts: 244000 | #Constraints: 17638 178.31/179.15 c #Conflicts: 245000 | #Constraints: 18638 178.31/179.15 c #Conflicts: 246000 | #Constraints: 19640 178.31/179.15 c INPROCESSING 178.31/179.15 c GARBAGE COLLECT 178.31/179.15 c rational objective 0 191.56/192.43 c #Conflicts: 247000 | #Constraints: 10835 191.56/192.43 c #Conflicts: 248000 | #Constraints: 11835 191.56/192.43 c #Conflicts: 249000 | #Constraints: 12837 191.56/192.43 c #Conflicts: 250000 | #Constraints: 13837 191.56/192.43 c #Conflicts: 251000 | #Constraints: 14837 191.56/192.43 c #Conflicts: 252000 | #Constraints: 15838 191.56/192.43 c #Conflicts: 253000 | #Constraints: 16838 191.56/192.43 c #Conflicts: 254000 | #Constraints: 17839 191.56/192.43 c #Conflicts: 255000 | #Constraints: 18839 191.56/192.43 c #Conflicts: 256000 | #Constraints: 19839 191.56/192.43 c INPROCESSING 191.56/192.43 c GARBAGE COLLECT 191.56/192.43 c rational objective 0 201.39/202.33 c #Conflicts: 257000 | #Constraints: 10839 201.39/202.33 c #Conflicts: 258000 | #Constraints: 11839 201.39/202.33 c #Conflicts: 259000 | #Constraints: 12839 201.39/202.33 c #Conflicts: 260000 | #Constraints: 13840 201.39/202.33 c #Conflicts: 261000 | #Constraints: 14841 201.39/202.33 c #Conflicts: 262000 | #Constraints: 15842 201.39/202.33 c #Conflicts: 263000 | #Constraints: 16842 201.39/202.33 c #Conflicts: 264000 | #Constraints: 17842 201.39/202.33 c #Conflicts: 265000 | #Constraints: 18842 201.39/202.33 c #Conflicts: 266000 | #Constraints: 19842 201.39/202.33 c INPROCESSING 201.39/202.33 c GARBAGE COLLECT 201.39/202.33 c rational objective 0 215.74/216.75 c #Conflicts: 267000 | #Constraints: 10636 215.74/216.75 c #Conflicts: 268000 | #Constraints: 11637 215.74/216.75 c #Conflicts: 269000 | #Constraints: 12638 215.74/216.75 c #Conflicts: 270000 | #Constraints: 13638 215.74/216.75 c #Conflicts: 271000 | #Constraints: 14638 215.74/216.75 c #Conflicts: 272000 | #Constraints: 15638 215.74/216.75 c #Conflicts: 273000 | #Constraints: 16638 215.74/216.75 c #Conflicts: 274000 | #Constraints: 17638 215.74/216.75 c #Conflicts: 275000 | #Constraints: 18638 215.74/216.75 c #Conflicts: 276000 | #Constraints: 19639 215.74/216.75 c #Conflicts: 277000 | #Constraints: 20639 215.74/216.75 c INPROCESSING 215.74/216.75 c GARBAGE COLLECT 215.74/216.75 c rational objective 0 226.38/227.47 c #Conflicts: 278000 | #Constraints: 11238 226.38/227.47 c #Conflicts: 279000 | #Constraints: 12238 226.38/227.47 c #Conflicts: 280000 | #Constraints: 13238 226.38/227.47 c #Conflicts: 281000 | #Constraints: 14238 226.38/227.47 c #Conflicts: 282000 | #Constraints: 15239 226.38/227.47 c #Conflicts: 283000 | #Constraints: 16239 226.38/227.47 c #Conflicts: 284000 | #Constraints: 17239 226.38/227.47 c #Conflicts: 285000 | #Constraints: 18239 226.38/227.47 c #Conflicts: 286000 | #Constraints: 19239 226.38/227.47 c #Conflicts: 287000 | #Constraints: 20239 226.38/227.47 c #Conflicts: 288000 | #Constraints: 21239 226.38/227.47 c INPROCESSING 226.38/227.47 c GARBAGE COLLECT 226.38/227.47 c rational objective 0 237.35/238.41 c #Conflicts: 289000 | #Constraints: 11635 237.35/238.41 c #Conflicts: 290000 | #Constraints: 12635 237.35/238.41 c #Conflicts: 291000 | #Constraints: 13636 237.35/238.41 c #Conflicts: 292000 | #Constraints: 14637 237.35/238.41 c #Conflicts: 293000 | #Constraints: 15637 237.35/238.41 c #Conflicts: 294000 | #Constraints: 16637 237.35/238.41 c #Conflicts: 295000 | #Constraints: 17637 237.35/238.41 c #Conflicts: 296000 | #Constraints: 18639 237.35/238.41 c #Conflicts: 297000 | #Constraints: 19639 237.35/238.41 c #Conflicts: 298000 | #Constraints: 20639 237.35/238.41 c #Conflicts: 299000 | #Constraints: 21639 237.35/238.41 c INPROCESSING 237.35/238.41 c GARBAGE COLLECT 237.35/238.41 c rational objective 0 253.78/254.97 c #Conflicts: 300000 | #Constraints: 11834 253.78/254.97 c #Conflicts: 301000 | #Constraints: 12834 253.78/254.97 c #Conflicts: 302000 | #Constraints: 13834 253.78/254.97 c #Conflicts: 303000 | #Constraints: 14835 253.78/254.97 c #Conflicts: 304000 | #Constraints: 15837 253.78/254.97 c #Conflicts: 305000 | #Constraints: 16838 253.78/254.97 c #Conflicts: 306000 | #Constraints: 17838 253.78/254.97 c #Conflicts: 307000 | #Constraints: 18839 253.78/254.97 c #Conflicts: 308000 | #Constraints: 19840 253.78/254.97 c #Conflicts: 309000 | #Constraints: 20841 253.78/254.97 c #Conflicts: 310000 | #Constraints: 21841 253.78/254.97 c INPROCESSING 253.78/254.97 c GARBAGE COLLECT 253.78/254.97 c rational objective 0 268.03/269.21 c #Conflicts: 311000 | #Constraints: 11835 268.03/269.21 c #Conflicts: 312000 | #Constraints: 12835 268.03/269.21 c #Conflicts: 313000 | #Constraints: 13836 268.03/269.21 c #Conflicts: 314000 | #Constraints: 14836 268.03/269.21 c #Conflicts: 315000 | #Constraints: 15837 268.03/269.21 c #Conflicts: 316000 | #Constraints: 16837 268.03/269.21 c #Conflicts: 317000 | #Constraints: 17837 268.03/269.21 c #Conflicts: 318000 | #Constraints: 18837 268.03/269.21 c #Conflicts: 319000 | #Constraints: 19837 268.03/269.21 c #Conflicts: 320000 | #Constraints: 20838 268.03/269.21 c #Conflicts: 321000 | #Constraints: 21838 268.03/269.21 c INPROCESSING 268.03/269.21 c GARBAGE COLLECT 268.03/269.21 c rational objective 0 286.57/287.80 c #Conflicts: 322000 | #Constraints: 11635 286.57/287.80 c #Conflicts: 323000 | #Constraints: 12636 286.57/287.80 c #Conflicts: 324000 | #Constraints: 13636 286.57/287.80 c #Conflicts: 325000 | #Constraints: 14636 286.57/287.80 c #Conflicts: 326000 | #Constraints: 15636 286.57/287.80 c #Conflicts: 327000 | #Constraints: 16636 286.57/287.80 c #Conflicts: 328000 | #Constraints: 17636 286.57/287.80 c #Conflicts: 329000 | #Constraints: 18636 286.57/287.80 c #Conflicts: 330000 | #Constraints: 19636 286.57/287.80 c #Conflicts: 331000 | #Constraints: 20636 286.57/287.80 c #Conflicts: 332000 | #Constraints: 21636 286.57/287.80 c #Conflicts: 333000 | #Constraints: 22636 286.57/287.80 c INPROCESSING 286.57/287.80 c GARBAGE COLLECT 286.57/287.80 c rational objective 0 300.03/301.30 c #Conflicts: 334000 | #Constraints: 12237 300.03/301.30 c #Conflicts: 335000 | #Constraints: 13238 300.03/301.30 c #Conflicts: 336000 | #Constraints: 14239 300.03/301.30 c #Conflicts: 337000 | #Constraints: 15239 300.03/301.30 c #Conflicts: 338000 | #Constraints: 16239 300.03/301.30 c #Conflicts: 339000 | #Constraints: 17240 300.03/301.30 c #Conflicts: 340000 | #Constraints: 18240 300.03/301.30 c #Conflicts: 341000 | #Constraints: 19240 300.03/301.30 c #Conflicts: 342000 | #Constraints: 20243 300.03/301.30 c #Conflicts: 343000 | #Constraints: 21243 300.03/301.30 c #Conflicts: 344000 | #Constraints: 22243 300.03/301.30 c #Conflicts: 345000 | #Constraints: 23243 300.03/301.30 c INPROCESSING 300.03/301.30 c GARBAGE COLLECT 300.03/301.30 c rational objective 0 313.69/315.08 c #Conflicts: 346000 | #Constraints: 12635 313.69/315.08 c #Conflicts: 347000 | #Constraints: 13635 313.69/315.08 c #Conflicts: 348000 | #Constraints: 14636 313.69/315.08 c #Conflicts: 349000 | #Constraints: 15636 313.69/315.08 c #Conflicts: 350000 | #Constraints: 16636 313.69/315.08 c #Conflicts: 351000 | #Constraints: 17637 313.69/315.08 c #Conflicts: 352000 | #Constraints: 18637 313.69/315.08 c #Conflicts: 353000 | #Constraints: 19637 313.69/315.08 c #Conflicts: 354000 | #Constraints: 20638 313.69/315.08 c #Conflicts: 355000 | #Constraints: 21638 313.69/315.08 c #Conflicts: 356000 | #Constraints: 22638 313.69/315.08 c #Conflicts: 357000 | #Constraints: 23639 313.69/315.08 c INPROCESSING 313.69/315.08 c GARBAGE COLLECT 313.69/315.08 c rational objective 0 331.91/333.32 c #Conflicts: 358000 | #Constraints: 12836 331.91/333.32 c #Conflicts: 359000 | #Constraints: 13836 331.91/333.32 c bounds 9 >= 0 @ 312.687 331.91/333.32 c bounds 7 >= 0 @ 312.69 331.91/333.32 c #Conflicts: 360000 | #Constraints: 14838 331.91/333.32 c #Conflicts: 361000 | #Constraints: 15838 331.91/333.32 c #Conflicts: 362000 | #Constraints: 16839 331.91/333.32 c #Conflicts: 363000 | #Constraints: 17841 331.91/333.32 c #Conflicts: 364000 | #Constraints: 18841 331.91/333.32 c #Conflicts: 365000 | #Constraints: 19841 331.91/333.32 c #Conflicts: 366000 | #Constraints: 20842 331.91/333.32 c #Conflicts: 367000 | #Constraints: 21842 331.91/333.32 c #Conflicts: 368000 | #Constraints: 22842 331.91/333.32 c #Conflicts: 369000 | #Constraints: 23842 331.91/333.32 c INPROCESSING 331.91/333.32 c GARBAGE COLLECT 331.91/333.32 c rational objective 0 347.26/348.76 c #Conflicts: 370000 | #Constraints: 12836 347.26/348.76 c #Conflicts: 371000 | #Constraints: 13836 347.26/348.76 c #Conflicts: 372000 | #Constraints: 14836 347.26/348.76 c #Conflicts: 373000 | #Constraints: 15836 347.26/348.76 c #Conflicts: 374000 | #Constraints: 16836 347.26/348.76 c #Conflicts: 375000 | #Constraints: 17836 347.26/348.76 c #Conflicts: 376000 | #Constraints: 18836 347.26/348.76 c #Conflicts: 377000 | #Constraints: 19836 347.26/348.76 c #Conflicts: 378000 | #Constraints: 20836 347.26/348.76 c #Conflicts: 379000 | #Constraints: 21836 347.26/348.76 c #Conflicts: 380000 | #Constraints: 22836 347.26/348.76 c #Conflicts: 381000 | #Constraints: 23837 347.26/348.76 c INPROCESSING 347.26/348.76 c GARBAGE COLLECT 347.26/348.76 c rational objective 0 366.89/368.45 c #Conflicts: 382000 | #Constraints: 12633 366.89/368.45 c #Conflicts: 383000 | #Constraints: 13634 366.89/368.45 c #Conflicts: 384000 | #Constraints: 14635 366.89/368.45 c #Conflicts: 385000 | #Constraints: 15636 366.89/368.45 c #Conflicts: 386000 | #Constraints: 16637 366.89/368.45 c #Conflicts: 387000 | #Constraints: 17637 366.89/368.45 c #Conflicts: 388000 | #Constraints: 18638 366.89/368.45 c #Conflicts: 389000 | #Constraints: 19638 366.89/368.45 c #Conflicts: 390000 | #Constraints: 20640 366.89/368.45 c #Conflicts: 391000 | #Constraints: 21642 366.89/368.45 c #Conflicts: 392000 | #Constraints: 22642 366.89/368.45 c #Conflicts: 393000 | #Constraints: 23642 366.89/368.45 c #Conflicts: 394000 | #Constraints: 24643 366.89/368.45 c INPROCESSING 366.89/368.45 c GARBAGE COLLECT 366.89/368.45 c rational objective 0 383.13/384.72 c #Conflicts: 395000 | #Constraints: 13240 383.13/384.72 c #Conflicts: 396000 | #Constraints: 14240 383.13/384.72 c #Conflicts: 397000 | #Constraints: 15240 383.13/384.72 c #Conflicts: 398000 | #Constraints: 16240 383.13/384.72 c #Conflicts: 399000 | #Constraints: 17240 383.13/384.72 c #Conflicts: 400000 | #Constraints: 18240 383.13/384.72 c #Conflicts: 401000 | #Constraints: 19240 383.13/384.72 c #Conflicts: 402000 | #Constraints: 20240 383.13/384.72 c #Conflicts: 403000 | #Constraints: 21240 383.13/384.72 c #Conflicts: 404000 | #Constraints: 22240 383.13/384.72 c #Conflicts: 405000 | #Constraints: 23240 383.13/384.72 c #Conflicts: 406000 | #Constraints: 24240 383.13/384.72 c #Conflicts: 407000 | #Constraints: 25240 383.13/384.72 c INPROCESSING 383.13/384.72 c GARBAGE COLLECT 383.13/384.72 c rational objective 0 404.15/405.83 c #Conflicts: 408000 | #Constraints: 13634 404.15/405.83 c #Conflicts: 409000 | #Constraints: 14634 404.15/405.83 c #Conflicts: 410000 | #Constraints: 15634 404.15/405.83 c #Conflicts: 411000 | #Constraints: 16635 404.15/405.83 c #Conflicts: 412000 | #Constraints: 17635 404.15/405.83 c #Conflicts: 413000 | #Constraints: 18635 404.15/405.83 c #Conflicts: 414000 | #Constraints: 19635 404.15/405.83 c #Conflicts: 415000 | #Constraints: 20635 404.15/405.83 c #Conflicts: 416000 | #Constraints: 21635 404.15/405.83 c #Conflicts: 417000 | #Constraints: 22636 404.15/405.83 c #Conflicts: 418000 | #Constraints: 23638 404.15/405.83 c #Conflicts: 419000 | #Constraints: 24638 404.15/405.83 c #Conflicts: 420000 | #Constraints: 25640 404.15/405.83 c INPROCESSING 404.15/405.83 c GARBAGE COLLECT 404.15/405.83 c rational objective 0 422.76/424.53 c #Conflicts: 421000 | #Constraints: 13839 422.76/424.53 c #Conflicts: 422000 | #Constraints: 14839 422.76/424.53 c #Conflicts: 423000 | #Constraints: 15839 422.76/424.53 c #Conflicts: 424000 | #Constraints: 16841 422.76/424.53 c #Conflicts: 425000 | #Constraints: 17841 422.76/424.53 c #Conflicts: 426000 | #Constraints: 18841 422.76/424.53 c #Conflicts: 427000 | #Constraints: 19841 422.76/424.53 c #Conflicts: 428000 | #Constraints: 20841 422.76/424.53 c #Conflicts: 429000 | #Constraints: 21841 422.76/424.53 c #Conflicts: 430000 | #Constraints: 22842 422.76/424.53 c #Conflicts: 431000 | #Constraints: 23843 422.76/424.53 c #Conflicts: 432000 | #Constraints: 24843 422.76/424.53 c #Conflicts: 433000 | #Constraints: 25843 422.76/424.53 c INPROCESSING 422.76/424.53 c GARBAGE COLLECT 422.76/424.53 c rational objective 0 445.15/447.04 c #Conflicts: 434000 | #Constraints: 13838 445.15/447.04 c #Conflicts: 435000 | #Constraints: 14838 445.15/447.04 c #Conflicts: 436000 | #Constraints: 15838 445.15/447.04 c #Conflicts: 437000 | #Constraints: 16839 445.15/447.04 c #Conflicts: 438000 | #Constraints: 17839 445.15/447.04 c #Conflicts: 439000 | #Constraints: 18839 445.15/447.04 c #Conflicts: 440000 | #Constraints: 19839 445.15/447.04 c #Conflicts: 441000 | #Constraints: 20839 445.15/447.04 c #Conflicts: 442000 | #Constraints: 21840 445.15/447.04 c #Conflicts: 443000 | #Constraints: 22842 445.15/447.04 c #Conflicts: 444000 | #Constraints: 23843 445.15/447.04 c #Conflicts: 445000 | #Constraints: 24843 445.15/447.04 c #Conflicts: 446000 | #Constraints: 25843 445.15/447.04 c INPROCESSING 445.15/447.04 c GARBAGE COLLECT 445.15/447.04 c rational objective 0 466.67/468.61 c #Conflicts: 447000 | #Constraints: 13641 466.67/468.61 c #Conflicts: 448000 | #Constraints: 14641 466.67/468.61 c #Conflicts: 449000 | #Constraints: 15641 466.67/468.61 c #Conflicts: 450000 | #Constraints: 16641 466.67/468.61 c #Conflicts: 451000 | #Constraints: 17642 466.67/468.61 c #Conflicts: 452000 | #Constraints: 18642 466.67/468.61 c #Conflicts: 453000 | #Constraints: 19642 466.67/468.61 c #Conflicts: 454000 | #Constraints: 20644 466.67/468.61 c #Conflicts: 455000 | #Constraints: 21644 466.67/468.61 c #Conflicts: 456000 | #Constraints: 22644 466.67/468.61 c #Conflicts: 457000 | #Constraints: 23644 466.67/468.61 c #Conflicts: 458000 | #Constraints: 24644 466.67/468.61 c #Conflicts: 459000 | #Constraints: 25644 466.67/468.61 c #Conflicts: 460000 | #Constraints: 26645 466.67/468.61 c INPROCESSING 466.67/468.61 c GARBAGE COLLECT 466.67/468.61 c rational objective 0 485.99/488.09 c #Conflicts: 461000 | #Constraints: 14239 485.99/488.09 c #Conflicts: 462000 | #Constraints: 15239 485.99/488.09 c #Conflicts: 463000 | #Constraints: 16239 485.99/488.09 c #Conflicts: 464000 | #Constraints: 17239 485.99/488.09 c #Conflicts: 465000 | #Constraints: 18239 485.99/488.09 c #Conflicts: 466000 | #Constraints: 19239 485.99/488.09 c #Conflicts: 467000 | #Constraints: 20239 485.99/488.09 c #Conflicts: 468000 | #Constraints: 21239 485.99/488.09 c #Conflicts: 469000 | #Constraints: 22239 485.99/488.09 c #Conflicts: 470000 | #Constraints: 23239 485.99/488.09 c #Conflicts: 471000 | #Constraints: 24240 485.99/488.09 c #Conflicts: 472000 | #Constraints: 25240 485.99/488.09 c #Conflicts: 473000 | #Constraints: 26240 485.99/488.09 c #Conflicts: 474000 | #Constraints: 27240 485.99/488.09 c INPROCESSING 485.99/488.09 c GARBAGE COLLECT 485.99/488.09 c rational objective 0 511.78/514.00 c #Conflicts: 475000 | #Constraints: 14637 511.78/514.00 c #Conflicts: 476000 | #Constraints: 15637 511.78/514.00 c #Conflicts: 477000 | #Constraints: 16637 511.78/514.00 c #Conflicts: 478000 | #Constraints: 17638 511.78/514.00 c #Conflicts: 479000 | #Constraints: 18638 511.78/514.00 c #Conflicts: 480000 | #Constraints: 19638 511.78/514.00 c #Conflicts: 481000 | #Constraints: 20638 511.78/514.00 c #Conflicts: 482000 | #Constraints: 21638 511.78/514.00 c #Conflicts: 483000 | #Constraints: 22638 511.78/514.00 c #Conflicts: 484000 | #Constraints: 23638 511.78/514.00 c #Conflicts: 485000 | #Constraints: 24640 511.78/514.00 c #Conflicts: 486000 | #Constraints: 25640 511.78/514.00 c #Conflicts: 487000 | #Constraints: 26640 511.78/514.00 c #Conflicts: 488000 | #Constraints: 27640 511.78/514.00 c INPROCESSING 511.78/514.00 c GARBAGE COLLECT 511.78/514.00 c rational objective 0 535.08/537.33 c #Conflicts: 489000 | #Constraints: 14841 535.08/537.33 c #Conflicts: 490000 | #Constraints: 15841 535.08/537.33 c #Conflicts: 491000 | #Constraints: 16841 535.08/537.33 c #Conflicts: 492000 | #Constraints: 17841 535.08/537.33 c #Conflicts: 493000 | #Constraints: 18842 535.08/537.33 c #Conflicts: 494000 | #Constraints: 19842 535.08/537.33 c #Conflicts: 495000 | #Constraints: 20842 535.08/537.33 c #Conflicts: 496000 | #Constraints: 21843 535.08/537.33 c #Conflicts: 497000 | #Constraints: 22843 535.08/537.33 c #Conflicts: 498000 | #Constraints: 23845 535.08/537.33 c #Conflicts: 499000 | #Constraints: 24845 535.08/537.33 c #Conflicts: 500000 | #Constraints: 25845 535.08/537.33 c #Conflicts: 501000 | #Constraints: 26845 535.08/537.33 c #Conflicts: 502000 | #Constraints: 27845 535.08/537.33 c INPROCESSING 535.08/537.33 c GARBAGE COLLECT 535.08/537.33 c rational objective 0 561.69/564.08 c #Conflicts: 503000 | #Constraints: 14841 561.69/564.08 c #Conflicts: 504000 | #Constraints: 15841 561.69/564.08 c #Conflicts: 505000 | #Constraints: 16842 561.69/564.08 c #Conflicts: 506000 | #Constraints: 17842 561.69/564.08 c #Conflicts: 507000 | #Constraints: 18842 561.69/564.08 c #Conflicts: 508000 | #Constraints: 19842 561.69/564.08 c #Conflicts: 509000 | #Constraints: 20842 561.69/564.08 c #Conflicts: 510000 | #Constraints: 21842 561.69/564.08 c #Conflicts: 511000 | #Constraints: 22844 561.69/564.08 c #Conflicts: 512000 | #Constraints: 23844 561.69/564.08 c #Conflicts: 513000 | #Constraints: 24845 561.69/564.08 c #Conflicts: 514000 | #Constraints: 25846 561.69/564.08 c #Conflicts: 515000 | #Constraints: 26846 561.69/564.08 c #Conflicts: 516000 | #Constraints: 27846 561.69/564.08 c INPROCESSING 561.69/564.08 c GARBAGE COLLECT 561.69/564.08 c rational objective 0 581.92/584.37 c #Conflicts: 517000 | #Constraints: 14643 581.92/584.37 c #Conflicts: 518000 | #Constraints: 15644 581.92/584.37 c #Conflicts: 519000 | #Constraints: 16646 581.92/584.37 c #Conflicts: 520000 | #Constraints: 17646 581.92/584.37 c #Conflicts: 521000 | #Constraints: 18647 581.92/584.37 c #Conflicts: 522000 | #Constraints: 19648 581.92/584.37 c #Conflicts: 523000 | #Constraints: 20648 581.92/584.37 c #Conflicts: 524000 | #Constraints: 21649 581.92/584.37 c #Conflicts: 525000 | #Constraints: 22649 581.92/584.37 c #Conflicts: 526000 | #Constraints: 23649 581.92/584.37 c #Conflicts: 527000 | #Constraints: 24649 581.92/584.37 c #Conflicts: 528000 | #Constraints: 25649 581.92/584.37 c #Conflicts: 529000 | #Constraints: 26649 581.92/584.37 c #Conflicts: 530000 | #Constraints: 27649 581.92/584.37 c #Conflicts: 531000 | #Constraints: 28649 581.92/584.37 c INPROCESSING 581.92/584.37 c GARBAGE COLLECT 581.92/584.37 c rational objective 0 611.42/613.93 c #Conflicts: 532000 | #Constraints: 15241 611.42/613.93 c #Conflicts: 533000 | #Constraints: 16243 611.42/613.93 c #Conflicts: 534000 | #Constraints: 17245 611.42/613.93 c #Conflicts: 535000 | #Constraints: 18245 611.42/613.93 c #Conflicts: 536000 | #Constraints: 19245 611.42/613.93 c #Conflicts: 537000 | #Constraints: 20245 611.42/613.93 c #Conflicts: 538000 | #Constraints: 21246 611.42/613.93 c #Conflicts: 539000 | #Constraints: 22246 611.42/613.93 c #Conflicts: 540000 | #Constraints: 23246 611.42/613.93 c #Conflicts: 541000 | #Constraints: 24246 611.42/613.93 c #Conflicts: 542000 | #Constraints: 25246 611.42/613.93 c #Conflicts: 543000 | #Constraints: 26246 611.42/613.93 c #Conflicts: 544000 | #Constraints: 27246 611.42/613.93 c #Conflicts: 545000 | #Constraints: 28248 611.42/613.93 c #Conflicts: 546000 | #Constraints: 29248 611.42/613.93 c INPROCESSING 611.42/613.93 c GARBAGE COLLECT 611.42/613.93 c rational objective 0 635.22/637.82 c #Conflicts: 547000 | #Constraints: 15639 635.22/637.82 c #Conflicts: 548000 | #Constraints: 16639 635.22/637.82 c #Conflicts: 549000 | #Constraints: 17639 635.22/637.82 c #Conflicts: 550000 | #Constraints: 18639 635.22/637.82 c #Conflicts: 551000 | #Constraints: 19639 635.22/637.82 c #Conflicts: 552000 | #Constraints: 20639 635.22/637.82 c #Conflicts: 553000 | #Constraints: 21639 635.22/637.82 c #Conflicts: 554000 | #Constraints: 22641 635.22/637.82 c #Conflicts: 555000 | #Constraints: 23642 635.22/637.82 c #Conflicts: 556000 | #Constraints: 24642 635.22/637.82 c #Conflicts: 557000 | #Constraints: 25642 635.22/637.82 c #Conflicts: 558000 | #Constraints: 26643 635.22/637.82 c #Conflicts: 559000 | #Constraints: 27644 635.22/637.82 c #Conflicts: 560000 | #Constraints: 28644 635.22/637.82 c #Conflicts: 561000 | #Constraints: 29644 635.22/637.82 c INPROCESSING 635.22/637.82 c GARBAGE COLLECT 635.22/637.82 c rational objective 0 666.42/669.18 c #Conflicts: 562000 | #Constraints: 15835 666.42/669.18 c #Conflicts: 563000 | #Constraints: 16836 666.42/669.18 c #Conflicts: 564000 | #Constraints: 17837 666.42/669.18 c #Conflicts: 565000 | #Constraints: 18837 666.42/669.18 c #Conflicts: 566000 | #Constraints: 19837 666.42/669.18 c #Conflicts: 567000 | #Constraints: 20837 666.42/669.18 c #Conflicts: 568000 | #Constraints: 21837 666.42/669.18 c #Conflicts: 569000 | #Constraints: 22837 666.42/669.18 c #Conflicts: 570000 | #Constraints: 23837 666.42/669.18 c #Conflicts: 571000 | #Constraints: 24837 666.42/669.18 c #Conflicts: 572000 | #Constraints: 25837 666.42/669.18 c #Conflicts: 573000 | #Constraints: 26837 666.42/669.18 c #Conflicts: 574000 | #Constraints: 27837 666.42/669.18 c #Conflicts: 575000 | #Constraints: 28838 666.42/669.18 c #Conflicts: 576000 | #Constraints: 29838 666.42/669.18 c INPROCESSING 666.42/669.18 c GARBAGE COLLECT 666.42/669.18 c rational objective 0 690.02/692.80 c #Conflicts: 577000 | #Constraints: 15843 690.02/692.80 c #Conflicts: 578000 | #Constraints: 16843 690.02/692.80 c #Conflicts: 579000 | #Constraints: 17845 690.02/692.80 c #Conflicts: 580000 | #Constraints: 18846 690.02/692.80 c #Conflicts: 581000 | #Constraints: 19846 690.02/692.80 c #Conflicts: 582000 | #Constraints: 20846 690.02/692.80 c #Conflicts: 583000 | #Constraints: 21847 690.02/692.80 c #Conflicts: 584000 | #Constraints: 22848 690.02/692.80 c #Conflicts: 585000 | #Constraints: 23848 690.02/692.80 c #Conflicts: 586000 | #Constraints: 24849 690.02/692.80 c #Conflicts: 587000 | #Constraints: 25849 690.02/692.80 c #Conflicts: 588000 | #Constraints: 26849 690.02/692.80 c #Conflicts: 589000 | #Constraints: 27849 690.02/692.80 c #Conflicts: 590000 | #Constraints: 28849 690.02/692.80 c #Conflicts: 591000 | #Constraints: 29851 690.02/692.80 c INPROCESSING 690.02/692.80 c GARBAGE COLLECT 690.02/692.80 c rational objective 0 713.32/716.22 c #Conflicts: 592000 | #Constraints: 15643 713.32/716.22 c #Conflicts: 593000 | #Constraints: 16643 713.32/716.22 c #Conflicts: 594000 | #Constraints: 17643 713.32/716.22 c #Conflicts: 595000 | #Constraints: 18643 713.32/716.22 c #Conflicts: 596000 | #Constraints: 19643 713.32/716.22 c #Conflicts: 597000 | #Constraints: 20643 713.32/716.22 c #Conflicts: 598000 | #Constraints: 21643 713.32/716.22 c #Conflicts: 599000 | #Constraints: 22643 713.32/716.22 c #Conflicts: 600000 | #Constraints: 23645 713.32/716.22 c #Conflicts: 601000 | #Constraints: 24645 713.32/716.22 c #Conflicts: 602000 | #Constraints: 25645 713.32/716.22 c #Conflicts: 603000 | #Constraints: 26645 713.32/716.22 c #Conflicts: 604000 | #Constraints: 27646 713.32/716.22 c #Conflicts: 605000 | #Constraints: 28647 713.32/716.22 c #Conflicts: 606000 | #Constraints: 29648 713.32/716.22 c #Conflicts: 607000 | #Constraints: 30649 713.32/716.22 c INPROCESSING 713.32/716.22 c GARBAGE COLLECT 713.32/716.22 c rational objective 0 745.81/748.87 c #Conflicts: 608000 | #Constraints: 16242 745.81/748.87 c #Conflicts: 609000 | #Constraints: 17244 745.81/748.87 c #Conflicts: 610000 | #Constraints: 18244 745.81/748.87 c #Conflicts: 611000 | #Constraints: 19244 745.81/748.87 c #Conflicts: 612000 | #Constraints: 20247 745.81/748.87 c #Conflicts: 613000 | #Constraints: 21247 745.81/748.87 c #Conflicts: 614000 | #Constraints: 22248 745.81/748.87 c #Conflicts: 615000 | #Constraints: 23248 745.81/748.87 c #Conflicts: 616000 | #Constraints: 24248 745.81/748.87 c #Conflicts: 617000 | #Constraints: 25248 745.81/748.87 c #Conflicts: 618000 | #Constraints: 26249 745.81/748.87 c #Conflicts: 619000 | #Constraints: 27249 745.81/748.87 c #Conflicts: 620000 | #Constraints: 28249 745.81/748.87 c #Conflicts: 621000 | #Constraints: 29249 745.81/748.87 c #Conflicts: 622000 | #Constraints: 30251 745.81/748.87 c #Conflicts: 623000 | #Constraints: 31252 745.81/748.87 c INPROCESSING 745.81/748.87 c GARBAGE COLLECT 745.81/748.87 c rational objective 0 770.33/773.41 c #Conflicts: 624000 | #Constraints: 16642 770.33/773.41 c #Conflicts: 625000 | #Constraints: 17642 770.33/773.41 c #Conflicts: 626000 | #Constraints: 18644 770.33/773.41 c #Conflicts: 627000 | #Constraints: 19644 770.33/773.41 c #Conflicts: 628000 | #Constraints: 20644 770.33/773.41 c #Conflicts: 629000 | #Constraints: 21645 770.33/773.41 c #Conflicts: 630000 | #Constraints: 22645 770.33/773.41 c #Conflicts: 631000 | #Constraints: 23645 770.33/773.41 c #Conflicts: 632000 | #Constraints: 24645 770.33/773.41 c #Conflicts: 633000 | #Constraints: 25645 770.33/773.41 c #Conflicts: 634000 | #Constraints: 26647 770.33/773.41 c #Conflicts: 635000 | #Constraints: 27647 770.33/773.41 c #Conflicts: 636000 | #Constraints: 28647 770.33/773.41 c #Conflicts: 637000 | #Constraints: 29648 770.33/773.41 c #Conflicts: 638000 | #Constraints: 30648 770.33/773.41 c #Conflicts: 639000 | #Constraints: 31648 770.33/773.41 c INPROCESSING 770.33/773.41 c GARBAGE COLLECT 770.33/773.41 c rational objective 0 805.60/808.84 c #Conflicts: 640000 | #Constraints: 16843 805.60/808.84 c #Conflicts: 641000 | #Constraints: 17843 805.60/808.84 c #Conflicts: 642000 | #Constraints: 18843 805.60/808.84 c #Conflicts: 643000 | #Constraints: 19843 805.60/808.84 c #Conflicts: 644000 | #Constraints: 20843 805.60/808.84 c #Conflicts: 645000 | #Constraints: 21843 805.60/808.84 c #Conflicts: 646000 | #Constraints: 22843 805.60/808.84 c #Conflicts: 647000 | #Constraints: 23843 805.60/808.84 c #Conflicts: 648000 | #Constraints: 24843 805.60/808.84 c #Conflicts: 649000 | #Constraints: 25843 805.60/808.84 c #Conflicts: 650000 | #Constraints: 26843 805.60/808.84 c #Conflicts: 651000 | #Constraints: 27843 805.60/808.84 c #Conflicts: 652000 | #Constraints: 28845 805.60/808.84 c #Conflicts: 653000 | #Constraints: 29846 805.60/808.84 c #Conflicts: 654000 | #Constraints: 30846 805.60/808.84 c #Conflicts: 655000 | #Constraints: 31846 805.60/808.84 c INPROCESSING 805.60/808.84 c GARBAGE COLLECT 805.60/808.84 c rational objective 0 832.32/835.63 c #Conflicts: 656000 | #Constraints: 16843 832.32/835.63 c #Conflicts: 657000 | #Constraints: 17843 832.32/835.63 c #Conflicts: 658000 | #Constraints: 18843 832.32/835.63 c #Conflicts: 659000 | #Constraints: 19843 832.32/835.63 c #Conflicts: 660000 | #Constraints: 20844 832.32/835.63 c #Conflicts: 661000 | #Constraints: 21844 832.32/835.63 c #Conflicts: 662000 | #Constraints: 22844 832.32/835.63 c #Conflicts: 663000 | #Constraints: 23844 832.32/835.63 c #Conflicts: 664000 | #Constraints: 24844 832.32/835.63 c #Conflicts: 665000 | #Constraints: 25844 832.32/835.63 c #Conflicts: 666000 | #Constraints: 26844 832.32/835.63 c #Conflicts: 667000 | #Constraints: 27844 832.32/835.63 c #Conflicts: 668000 | #Constraints: 28845 832.32/835.63 c #Conflicts: 669000 | #Constraints: 29845 832.32/835.63 c #Conflicts: 670000 | #Constraints: 30845 832.32/835.63 c #Conflicts: 671000 | #Constraints: 31845 832.32/835.63 c INPROCESSING 832.32/835.63 c GARBAGE COLLECT 832.32/835.63 c rational objective 0 857.92/861.32 c #Conflicts: 672000 | #Constraints: 16636 857.92/861.32 c #Conflicts: 673000 | #Constraints: 17636 857.92/861.32 c #Conflicts: 674000 | #Constraints: 18636 857.92/861.32 c #Conflicts: 675000 | #Constraints: 19638 857.92/861.32 c #Conflicts: 676000 | #Constraints: 20638 857.92/861.32 c #Conflicts: 677000 | #Constraints: 21639 857.92/861.32 c #Conflicts: 678000 | #Constraints: 22639 857.92/861.32 c #Conflicts: 679000 | #Constraints: 23639 857.92/861.32 c #Conflicts: 680000 | #Constraints: 24639 857.92/861.32 c #Conflicts: 681000 | #Constraints: 25639 857.92/861.32 c #Conflicts: 682000 | #Constraints: 26639 857.92/861.32 c #Conflicts: 683000 | #Constraints: 27639 857.92/861.32 c #Conflicts: 684000 | #Constraints: 28640 857.92/861.32 c #Conflicts: 685000 | #Constraints: 29640 857.92/861.32 c #Conflicts: 686000 | #Constraints: 30641 857.92/861.32 c #Conflicts: 687000 | #Constraints: 31641 857.92/861.32 c #Conflicts: 688000 | #Constraints: 32642 857.92/861.32 c INPROCESSING 857.92/861.32 c GARBAGE COLLECT 857.92/861.32 c rational objective 0 894.41/897.97 c #Conflicts: 689000 | #Constraints: 17235 894.41/897.97 c #Conflicts: 690000 | #Constraints: 18235 894.41/897.97 c #Conflicts: 691000 | #Constraints: 19235 894.41/897.97 c #Conflicts: 692000 | #Constraints: 20235 894.41/897.97 c #Conflicts: 693000 | #Constraints: 21235 894.41/897.97 c #Conflicts: 694000 | #Constraints: 22239 894.41/897.97 c #Conflicts: 695000 | #Constraints: 23239 894.41/897.97 c #Conflicts: 696000 | #Constraints: 24240 894.41/897.97 c #Conflicts: 697000 | #Constraints: 25240 894.41/897.97 c #Conflicts: 698000 | #Constraints: 26240 894.41/897.97 c #Conflicts: 699000 | #Constraints: 27240 894.41/897.97 c #Conflicts: 700000 | #Constraints: 28240 894.41/897.97 c #Conflicts: 701000 | #Constraints: 29240 894.41/897.97 c #Conflicts: 702000 | #Constraints: 30240 894.41/897.97 c #Conflicts: 703000 | #Constraints: 31240 894.41/897.97 c #Conflicts: 704000 | #Constraints: 32240 894.41/897.97 c #Conflicts: 705000 | #Constraints: 33240 894.41/897.97 c INPROCESSING 894.41/897.97 c GARBAGE COLLECT 894.41/897.97 c rational objective 0 926.68/930.37 c #Conflicts: 706000 | #Constraints: 17637 926.68/930.37 c #Conflicts: 707000 | #Constraints: 18638 926.68/930.37 c #Conflicts: 708000 | #Constraints: 19638 926.68/930.37 c #Conflicts: 709000 | #Constraints: 20638 926.68/930.37 c #Conflicts: 710000 | #Constraints: 21638 926.68/930.37 c #Conflicts: 711000 | #Constraints: 22638 926.68/930.37 c #Conflicts: 712000 | #Constraints: 23638 926.68/930.37 c #Conflicts: 713000 | #Constraints: 24638 926.68/930.37 c #Conflicts: 714000 | #Constraints: 25638 926.68/930.37 c #Conflicts: 715000 | #Constraints: 26638 926.68/930.37 c #Conflicts: 716000 | #Constraints: 27638 926.68/930.37 c #Conflicts: 717000 | #Constraints: 28638 926.68/930.37 c #Conflicts: 718000 | #Constraints: 29638 926.68/930.37 c #Conflicts: 719000 | #Constraints: 30638 926.68/930.37 c #Conflicts: 720000 | #Constraints: 31638 926.68/930.37 c #Conflicts: 721000 | #Constraints: 32639 926.68/930.37 c #Conflicts: 722000 | #Constraints: 33639 926.68/930.37 c INPROCESSING 926.68/930.37 c GARBAGE COLLECT 926.68/930.37 c rational objective 0 962.58/966.33 c #Conflicts: 723000 | #Constraints: 17834 962.58/966.33 c #Conflicts: 724000 | #Constraints: 18834 962.58/966.33 c #Conflicts: 725000 | #Constraints: 19834 962.58/966.33 c #Conflicts: 726000 | #Constraints: 20834 962.58/966.33 c #Conflicts: 727000 | #Constraints: 21834 962.58/966.33 c #Conflicts: 728000 | #Constraints: 22835 962.58/966.33 c #Conflicts: 729000 | #Constraints: 23835 962.58/966.33 c #Conflicts: 730000 | #Constraints: 24835 962.58/966.33 c #Conflicts: 731000 | #Constraints: 25835 962.58/966.33 c #Conflicts: 732000 | #Constraints: 26835 962.58/966.33 c #Conflicts: 733000 | #Constraints: 27835 962.58/966.33 c #Conflicts: 734000 | #Constraints: 28835 962.58/966.33 c #Conflicts: 735000 | #Constraints: 29835 962.58/966.33 c #Conflicts: 736000 | #Constraints: 30835 962.58/966.33 c #Conflicts: 737000 | #Constraints: 31836 962.58/966.33 c #Conflicts: 738000 | #Constraints: 32836 962.58/966.33 c #Conflicts: 739000 | #Constraints: 33836 962.58/966.33 c INPROCESSING 962.58/966.33 c GARBAGE COLLECT 962.58/966.33 c rational objective 0 991.28/995.16 c #Conflicts: 740000 | #Constraints: 17836 991.28/995.16 c #Conflicts: 741000 | #Constraints: 18836 991.28/995.16 c #Conflicts: 742000 | #Constraints: 19836 991.28/995.16 c #Conflicts: 743000 | #Constraints: 20836 991.28/995.16 c #Conflicts: 744000 | #Constraints: 21836 991.28/995.16 c #Conflicts: 745000 | #Constraints: 22836 991.28/995.16 c #Conflicts: 746000 | #Constraints: 23836 991.28/995.16 c #Conflicts: 747000 | #Constraints: 24836 991.28/995.16 c #Conflicts: 748000 | #Constraints: 25836 991.28/995.16 c #Conflicts: 749000 | #Constraints: 26836 991.28/995.16 c #Conflicts: 750000 | #Constraints: 27837 991.28/995.16 c #Conflicts: 751000 | #Constraints: 28837 991.28/995.16 c #Conflicts: 752000 | #Constraints: 29837 991.28/995.16 c #Conflicts: 753000 | #Constraints: 30837 991.28/995.16 c #Conflicts: 754000 | #Constraints: 31837 991.28/995.16 c #Conflicts: 755000 | #Constraints: 32838 991.28/995.16 c #Conflicts: 756000 | #Constraints: 33838 991.28/995.16 c INPROCESSING 991.28/995.16 c GARBAGE COLLECT 991.28/995.16 c rational objective 0 1033.63/1037.66 c #Conflicts: 757000 | #Constraints: 17635 1033.63/1037.66 c #Conflicts: 758000 | #Constraints: 18635 1033.63/1037.66 c #Conflicts: 759000 | #Constraints: 19635 1033.63/1037.66 c #Conflicts: 760000 | #Constraints: 20635 1033.63/1037.66 c #Conflicts: 761000 | #Constraints: 21636 1033.63/1037.66 c #Conflicts: 762000 | #Constraints: 22637 1033.63/1037.66 c #Conflicts: 763000 | #Constraints: 23637 1033.63/1037.66 c #Conflicts: 764000 | #Constraints: 24637 1033.63/1037.66 c #Conflicts: 765000 | #Constraints: 25637 1033.63/1037.66 c #Conflicts: 766000 | #Constraints: 26638 1033.63/1037.66 c #Conflicts: 767000 | #Constraints: 27638 1033.63/1037.66 c #Conflicts: 768000 | #Constraints: 28638 1033.63/1037.66 c #Conflicts: 769000 | #Constraints: 29638 1033.63/1037.66 c #Conflicts: 770000 | #Constraints: 30638 1033.63/1037.66 c #Conflicts: 771000 | #Constraints: 31638 1033.63/1037.66 c #Conflicts: 772000 | #Constraints: 32638 1033.63/1037.66 c #Conflicts: 773000 | #Constraints: 33639 1033.63/1037.66 c #Conflicts: 774000 | #Constraints: 34639 1033.63/1037.66 c INPROCESSING 1033.63/1037.66 c GARBAGE COLLECT 1033.63/1037.66 c rational objective 0 1063.04/1067.18 c #Conflicts: 775000 | #Constraints: 18237 1063.04/1067.18 c #Conflicts: 776000 | #Constraints: 19238 1063.04/1067.18 c #Conflicts: 777000 | #Constraints: 20238 1063.04/1067.18 c #Conflicts: 778000 | #Constraints: 21238 1063.04/1067.18 c #Conflicts: 779000 | #Constraints: 22238 1063.04/1067.18 c #Conflicts: 780000 | #Constraints: 23238 1063.04/1067.18 c #Conflicts: 781000 | #Constraints: 24238 1063.04/1067.18 c #Conflicts: 782000 | #Constraints: 25238 1063.04/1067.18 c #Conflicts: 783000 | #Constraints: 26238 1063.04/1067.18 c #Conflicts: 784000 | #Constraints: 27238 1063.04/1067.18 c #Conflicts: 785000 | #Constraints: 28239 1063.04/1067.18 c #Conflicts: 786000 | #Constraints: 29239 1063.04/1067.18 c #Conflicts: 787000 | #Constraints: 30239 1063.04/1067.18 c #Conflicts: 788000 | #Constraints: 31239 1063.04/1067.18 c #Conflicts: 789000 | #Constraints: 32239 1063.04/1067.18 c #Conflicts: 790000 | #Constraints: 33239 1063.04/1067.18 c #Conflicts: 791000 | #Constraints: 34239 1063.04/1067.18 c #Conflicts: 792000 | #Constraints: 35240 1063.04/1067.18 c INPROCESSING 1063.04/1067.18 c GARBAGE COLLECT 1063.04/1067.18 c rational objective 0 1092.45/1096.65 c #Conflicts: 793000 | #Constraints: 18632 1092.45/1096.65 c #Conflicts: 794000 | #Constraints: 19632 1092.45/1096.65 c #Conflicts: 795000 | #Constraints: 20633 1092.45/1096.65 c #Conflicts: 796000 | #Constraints: 21633 1092.45/1096.65 c #Conflicts: 797000 | #Constraints: 22633 1092.45/1096.65 c #Conflicts: 798000 | #Constraints: 23634 1092.45/1096.65 c #Conflicts: 799000 | #Constraints: 24634 1092.45/1096.65 c #Conflicts: 800000 | #Constraints: 25635 1092.45/1096.65 c #Conflicts: 801000 | #Constraints: 26635 1092.45/1096.65 c #Conflicts: 802000 | #Constraints: 27636 1092.45/1096.65 c #Conflicts: 803000 | #Constraints: 28636 1092.45/1096.65 c #Conflicts: 804000 | #Constraints: 29636 1092.45/1096.65 c #Conflicts: 805000 | #Constraints: 30636 1092.45/1096.65 c #Conflicts: 806000 | #Constraints: 31636 1092.45/1096.65 c #Conflicts: 807000 | #Constraints: 32636 1092.45/1096.65 c #Conflicts: 808000 | #Constraints: 33636 1092.45/1096.65 c #Conflicts: 809000 | #Constraints: 34636 1092.45/1096.65 c #Conflicts: 810000 | #Constraints: 35636 1092.45/1096.65 c INPROCESSING 1092.45/1096.65 c GARBAGE COLLECT 1092.45/1096.65 c rational objective 0 1136.22/1140.55 c #Conflicts: 811000 | #Constraints: 18833 1136.22/1140.55 c #Conflicts: 812000 | #Constraints: 19834 1136.22/1140.55 c #Conflicts: 813000 | #Constraints: 20834 1136.22/1140.55 c #Conflicts: 814000 | #Constraints: 21835 1136.22/1140.55 c #Conflicts: 815000 | #Constraints: 22836 1136.22/1140.55 c #Conflicts: 816000 | #Constraints: 23836 1136.22/1140.55 c #Conflicts: 817000 | #Constraints: 24836 1136.22/1140.55 c #Conflicts: 818000 | #Constraints: 25836 1136.22/1140.55 c #Conflicts: 819000 | #Constraints: 26836 1136.22/1140.55 c #Conflicts: 820000 | #Constraints: 27836 1136.22/1140.55 c #Conflicts: 821000 | #Constraints: 28837 1136.22/1140.55 c #Conflicts: 822000 | #Constraints: 29837 1136.22/1140.55 c #Conflicts: 823000 | #Constraints: 30838 1136.22/1140.55 c #Conflicts: 824000 | #Constraints: 31838 1136.22/1140.55 c #Conflicts: 825000 | #Constraints: 32839 1136.22/1140.55 c #Conflicts: 826000 | #Constraints: 33839 1136.22/1140.55 c #Conflicts: 827000 | #Constraints: 34839 1136.22/1140.55 c #Conflicts: 828000 | #Constraints: 35839 1136.22/1140.55 c INPROCESSING 1136.22/1140.55 c GARBAGE COLLECT 1136.22/1140.55 c rational objective 0 1168.73/1173.10 c #Conflicts: 829000 | #Constraints: 18837 1168.73/1173.10 c #Conflicts: 830000 | #Constraints: 19837 1168.73/1173.10 c #Conflicts: 831000 | #Constraints: 20837 1168.73/1173.10 c #Conflicts: 832000 | #Constraints: 21837 1168.73/1173.10 c #Conflicts: 833000 | #Constraints: 22837 1168.73/1173.10 c #Conflicts: 834000 | #Constraints: 23837 1168.73/1173.10 c #Conflicts: 835000 | #Constraints: 24837 1168.73/1173.10 c #Conflicts: 836000 | #Constraints: 25837 1168.73/1173.10 c #Conflicts: 837000 | #Constraints: 26837 1168.73/1173.10 c #Conflicts: 838000 | #Constraints: 27838 1168.73/1173.10 c #Conflicts: 839000 | #Constraints: 28838 1168.73/1173.10 c #Conflicts: 840000 | #Constraints: 29838 1168.73/1173.10 c #Conflicts: 841000 | #Constraints: 30838 1168.73/1173.10 c #Conflicts: 842000 | #Constraints: 31839 1168.73/1173.10 c #Conflicts: 843000 | #Constraints: 32839 1168.73/1173.10 c #Conflicts: 844000 | #Constraints: 33839 1168.73/1173.10 c #Conflicts: 845000 | #Constraints: 34839 1168.73/1173.10 c #Conflicts: 846000 | #Constraints: 35839 1168.73/1173.10 c INPROCESSING 1168.73/1173.10 c GARBAGE COLLECT 1168.73/1173.10 c rational objective 0 1215.09/1219.69 c #Conflicts: 847000 | #Constraints: 18630 1215.09/1219.69 c #Conflicts: 848000 | #Constraints: 19630 1215.09/1219.69 c #Conflicts: 849000 | #Constraints: 20630 1215.09/1219.69 c #Conflicts: 850000 | #Constraints: 21630 1215.09/1219.69 c #Conflicts: 851000 | #Constraints: 22630 1215.09/1219.69 c #Conflicts: 852000 | #Constraints: 23631 1215.09/1219.69 c #Conflicts: 853000 | #Constraints: 24631 1215.09/1219.69 c #Conflicts: 854000 | #Constraints: 25632 1215.09/1219.69 c #Conflicts: 855000 | #Constraints: 26633 1215.09/1219.69 c #Conflicts: 856000 | #Constraints: 27633 1215.09/1219.69 c #Conflicts: 857000 | #Constraints: 28633 1215.09/1219.69 c #Conflicts: 858000 | #Constraints: 29633 1215.09/1219.69 c #Conflicts: 859000 | #Constraints: 30633 1215.09/1219.69 c #Conflicts: 860000 | #Constraints: 31633 1215.09/1219.69 c #Conflicts: 861000 | #Constraints: 32633 1215.09/1219.69 c #Conflicts: 862000 | #Constraints: 33634 1215.09/1219.69 c #Conflicts: 863000 | #Constraints: 34635 1215.09/1219.69 c #Conflicts: 864000 | #Constraints: 35635 1215.09/1219.69 c #Conflicts: 865000 | #Constraints: 36635 1215.09/1219.69 c INPROCESSING 1215.09/1219.69 c GARBAGE COLLECT 1215.09/1219.69 c rational objective 0 1247.80/1252.49 c #Conflicts: 866000 | #Constraints: 19238 1247.80/1252.49 c #Conflicts: 867000 | #Constraints: 20239 1247.80/1252.49 c #Conflicts: 868000 | #Constraints: 21239 1247.80/1252.49 c #Conflicts: 869000 | #Constraints: 22239 1247.80/1252.49 c #Conflicts: 870000 | #Constraints: 23239 1247.80/1252.49 c #Conflicts: 871000 | #Constraints: 24239 1247.80/1252.49 c #Conflicts: 872000 | #Constraints: 25239 1247.80/1252.49 c #Conflicts: 873000 | #Constraints: 26240 1247.80/1252.49 c #Conflicts: 874000 | #Constraints: 27241 1247.80/1252.49 c #Conflicts: 875000 | #Constraints: 28241 1247.80/1252.49 c #Conflicts: 876000 | #Constraints: 29241 1247.80/1252.49 c #Conflicts: 877000 | #Constraints: 30241 1247.80/1252.49 c #Conflicts: 878000 | #Constraints: 31242 1247.80/1252.49 c #Conflicts: 879000 | #Constraints: 32242 1247.80/1252.49 c #Conflicts: 880000 | #Constraints: 33242 1247.80/1252.49 c #Conflicts: 881000 | #Constraints: 34242 1247.80/1252.49 c #Conflicts: 882000 | #Constraints: 35242 1247.80/1252.49 c #Conflicts: 883000 | #Constraints: 36244 1247.80/1252.49 c #Conflicts: 884000 | #Constraints: 37244 1247.80/1252.49 c INPROCESSING 1247.80/1252.49 c GARBAGE COLLECT 1247.80/1252.49 c rational objective 0 1281.89/1286.61 c #Conflicts: 885000 | #Constraints: 19641 1281.89/1286.61 c #Conflicts: 886000 | #Constraints: 20641 1281.89/1286.61 c #Conflicts: 887000 | #Constraints: 21641 1281.89/1286.61 c #Conflicts: 888000 | #Constraints: 22641 1281.89/1286.61 c #Conflicts: 889000 | #Constraints: 23641 1281.89/1286.61 c #Conflicts: 890000 | #Constraints: 24641 1281.89/1286.61 c #Conflicts: 891000 | #Constraints: 25641 1281.89/1286.61 c #Conflicts: 892000 | #Constraints: 26641 1281.89/1286.61 c #Conflicts: 893000 | #Constraints: 27641 1281.89/1286.61 c #Conflicts: 894000 | #Constraints: 28641 1281.89/1286.61 c #Conflicts: 895000 | #Constraints: 29641 1281.89/1286.61 c #Conflicts: 896000 | #Constraints: 30641 1281.89/1286.61 c #Conflicts: 897000 | #Constraints: 31641 1281.89/1286.61 c #Conflicts: 898000 | #Constraints: 32641 1281.89/1286.61 c #Conflicts: 899000 | #Constraints: 33641 1281.89/1286.61 c #Conflicts: 900000 | #Constraints: 34642 1281.89/1286.61 c #Conflicts: 901000 | #Constraints: 35642 1281.89/1286.61 c #Conflicts: 902000 | #Constraints: 36642 1281.89/1286.61 c #Conflicts: 903000 | #Constraints: 37642 1281.89/1286.61 c INPROCESSING 1281.89/1286.61 c GARBAGE COLLECT 1281.89/1286.61 c rational objective 0 1331.66/1336.58 c #Conflicts: 904000 | #Constraints: 19835 1331.66/1336.58 c #Conflicts: 905000 | #Constraints: 20835 1331.66/1336.58 c #Conflicts: 906000 | #Constraints: 21835 1331.66/1336.58 c #Conflicts: 907000 | #Constraints: 22837 1331.66/1336.58 c #Conflicts: 908000 | #Constraints: 23838 1331.66/1336.58 c #Conflicts: 909000 | #Constraints: 24838 1331.66/1336.58 c #Conflicts: 910000 | #Constraints: 25839 1331.66/1336.58 c #Conflicts: 911000 | #Constraints: 26839 1331.66/1336.58 c #Conflicts: 912000 | #Constraints: 27839 1331.66/1336.58 c #Conflicts: 913000 | #Constraints: 28839 1331.66/1336.58 c #Conflicts: 914000 | #Constraints: 29839 1331.66/1336.58 c #Conflicts: 915000 | #Constraints: 30839 1331.66/1336.58 c #Conflicts: 916000 | #Constraints: 31839 1331.66/1336.58 c #Conflicts: 917000 | #Constraints: 32839 1331.66/1336.58 c #Conflicts: 918000 | #Constraints: 33839 1331.66/1336.58 c #Conflicts: 919000 | #Constraints: 34840 1331.66/1336.58 c #Conflicts: 920000 | #Constraints: 35840 1331.66/1336.58 c #Conflicts: 921000 | #Constraints: 36840 1331.66/1336.58 c #Conflicts: 922000 | #Constraints: 37840 1331.66/1336.58 c INPROCESSING 1331.66/1336.58 c GARBAGE COLLECT 1331.66/1336.58 c rational objective 0 1366.16/1371.12 c #Conflicts: 923000 | #Constraints: 19839 1366.16/1371.12 c #Conflicts: 924000 | #Constraints: 20839 1366.16/1371.12 c #Conflicts: 925000 | #Constraints: 21839 1366.16/1371.12 c #Conflicts: 926000 | #Constraints: 22839 1366.16/1371.12 c #Conflicts: 927000 | #Constraints: 23839 1366.16/1371.12 c #Conflicts: 928000 | #Constraints: 24839 1366.16/1371.12 c #Conflicts: 929000 | #Constraints: 25839 1366.16/1371.12 c #Conflicts: 930000 | #Constraints: 26839 1366.16/1371.12 c #Conflicts: 931000 | #Constraints: 27839 1366.16/1371.12 c #Conflicts: 932000 | #Constraints: 28839 1366.16/1371.12 c #Conflicts: 933000 | #Constraints: 29839 1366.16/1371.12 c #Conflicts: 934000 | #Constraints: 30839 1366.16/1371.12 c #Conflicts: 935000 | #Constraints: 31840 1366.16/1371.12 c #Conflicts: 936000 | #Constraints: 32841 1366.16/1371.12 c #Conflicts: 937000 | #Constraints: 33841 1366.16/1371.12 c #Conflicts: 938000 | #Constraints: 34841 1366.16/1371.12 c #Conflicts: 939000 | #Constraints: 35841 1366.16/1371.12 c #Conflicts: 940000 | #Constraints: 36841 1366.16/1371.12 c #Conflicts: 941000 | #Constraints: 37841 1366.16/1371.12 c INPROCESSING 1366.16/1371.12 c GARBAGE COLLECT 1366.16/1371.12 c rational objective 0 1417.21/1422.34 c #Conflicts: 942000 | #Constraints: 19637 1417.21/1422.34 c #Conflicts: 943000 | #Constraints: 20637 1417.21/1422.34 c #Conflicts: 944000 | #Constraints: 21637 1417.21/1422.34 c #Conflicts: 945000 | #Constraints: 22637 1417.21/1422.34 c #Conflicts: 946000 | #Constraints: 23638 1417.21/1422.34 c #Conflicts: 947000 | #Constraints: 24638 1417.21/1422.34 c #Conflicts: 948000 | #Constraints: 25638 1417.21/1422.34 c #Conflicts: 949000 | #Constraints: 26638 1417.21/1422.34 c #Conflicts: 950000 | #Constraints: 27639 1417.21/1422.34 c #Conflicts: 951000 | #Constraints: 28639 1417.21/1422.34 c #Conflicts: 952000 | #Constraints: 29639 1417.21/1422.34 c #Conflicts: 953000 | #Constraints: 30639 1417.21/1422.34 c #Conflicts: 954000 | #Constraints: 31639 1417.21/1422.34 c #Conflicts: 955000 | #Constraints: 32640 1417.21/1422.34 c #Conflicts: 956000 | #Constraints: 33640 1417.21/1422.34 c #Conflicts: 957000 | #Constraints: 34640 1417.21/1422.34 c #Conflicts: 958000 | #Constraints: 35640 1417.21/1422.34 c #Conflicts: 959000 | #Constraints: 36640 1417.21/1422.34 c #Conflicts: 960000 | #Constraints: 37640 1417.21/1422.34 c #Conflicts: 961000 | #Constraints: 38640 1417.21/1422.34 c INPROCESSING 1417.21/1422.34 c GARBAGE COLLECT 1417.21/1422.34 c rational objective 0 1458.99/1464.25 c #Conflicts: 962000 | #Constraints: 20241 1458.99/1464.25 c #Conflicts: 963000 | #Constraints: 21242 1458.99/1464.25 c #Conflicts: 964000 | #Constraints: 22242 1458.99/1464.25 c #Conflicts: 965000 | #Constraints: 23242 1458.99/1464.25 c #Conflicts: 966000 | #Constraints: 24242 1458.99/1464.25 c #Conflicts: 967000 | #Constraints: 25242 1458.99/1464.25 c #Conflicts: 968000 | #Constraints: 26244 1458.99/1464.25 c #Conflicts: 969000 | #Constraints: 27245 1458.99/1464.25 c #Conflicts: 970000 | #Constraints: 28245 1458.99/1464.25 c #Conflicts: 971000 | #Constraints: 29245 1458.99/1464.25 c #Conflicts: 972000 | #Constraints: 30245 1458.99/1464.25 c #Conflicts: 973000 | #Constraints: 31246 1458.99/1464.25 c #Conflicts: 974000 | #Constraints: 32247 1458.99/1464.25 c #Conflicts: 975000 | #Constraints: 33247 1458.99/1464.25 c #Conflicts: 976000 | #Constraints: 34247 1458.99/1464.25 c #Conflicts: 977000 | #Constraints: 35247 1458.99/1464.25 c #Conflicts: 978000 | #Constraints: 36247 1458.99/1464.25 c #Conflicts: 979000 | #Constraints: 37248 1458.99/1464.25 c #Conflicts: 980000 | #Constraints: 38248 1458.99/1464.25 c #Conflicts: 981000 | #Constraints: 39248 1458.99/1464.25 c INPROCESSING 1458.99/1464.25 c GARBAGE COLLECT 1458.99/1464.25 c rational objective 0 1505.06/1510.41 c #Conflicts: 982000 | #Constraints: 20641 1505.06/1510.41 c #Conflicts: 983000 | #Constraints: 21641 1505.06/1510.41 c #Conflicts: 984000 | #Constraints: 22641 1505.06/1510.41 c #Conflicts: 985000 | #Constraints: 23642 1505.06/1510.41 c #Conflicts: 986000 | #Constraints: 24642 1505.06/1510.41 c #Conflicts: 987000 | #Constraints: 25642 1505.06/1510.41 c #Conflicts: 988000 | #Constraints: 26642 1505.06/1510.41 c #Conflicts: 989000 | #Constraints: 27642 1505.06/1510.41 c #Conflicts: 990000 | #Constraints: 28644 1505.06/1510.41 c #Conflicts: 991000 | #Constraints: 29644 1505.06/1510.41 c #Conflicts: 992000 | #Constraints: 30644 1505.06/1510.41 c #Conflicts: 993000 | #Constraints: 31644 1505.06/1510.41 c #Conflicts: 994000 | #Constraints: 32644 1505.06/1510.41 c #Conflicts: 995000 | #Constraints: 33644 1505.06/1510.41 c #Conflicts: 996000 | #Constraints: 34645 1505.06/1510.41 c #Conflicts: 997000 | #Constraints: 35645 1505.06/1510.41 c #Conflicts: 998000 | #Constraints: 36646 1505.06/1510.41 c #Conflicts: 999000 | #Constraints: 37647 1505.06/1510.41 c #Conflicts: 1000000 | #Constraints: 38647 1505.06/1510.41 c #Conflicts: 1001000 | #Constraints: 39647 1505.06/1510.41 c INPROCESSING 1505.06/1510.41 c GARBAGE COLLECT 1505.06/1510.41 c rational objective 0 1562.69/1568.28 c #Conflicts: 1002000 | #Constraints: 20841 1562.69/1568.28 c #Conflicts: 1003000 | #Constraints: 21842 1562.69/1568.28 c #Conflicts: 1004000 | #Constraints: 22842 1562.69/1568.28 c #Conflicts: 1005000 | #Constraints: 23842 1562.69/1568.28 c #Conflicts: 1006000 | #Constraints: 24842 1562.69/1568.28 c #Conflicts: 1007000 | #Constraints: 25842 1562.69/1568.28 c #Conflicts: 1008000 | #Constraints: 26842 1562.69/1568.28 c #Conflicts: 1009000 | #Constraints: 27842 1562.69/1568.28 c #Conflicts: 1010000 | #Constraints: 28842 1562.69/1568.28 c #Conflicts: 1011000 | #Constraints: 29842 1562.69/1568.28 c #Conflicts: 1012000 | #Constraints: 30843 1562.69/1568.28 c #Conflicts: 1013000 | #Constraints: 31843 1562.69/1568.28 c #Conflicts: 1014000 | #Constraints: 32843 1562.69/1568.28 c #Conflicts: 1015000 | #Constraints: 33843 1562.69/1568.28 c #Conflicts: 1016000 | #Constraints: 34843 1562.69/1568.28 c #Conflicts: 1017000 | #Constraints: 35844 1562.69/1568.28 c #Conflicts: 1018000 | #Constraints: 36844 1562.69/1568.28 c #Conflicts: 1019000 | #Constraints: 37844 1562.69/1568.28 c #Conflicts: 1020000 | #Constraints: 38844 1562.69/1568.28 c #Conflicts: 1021000 | #Constraints: 39844 1562.69/1568.28 c INPROCESSING 1562.69/1568.28 c GARBAGE COLLECT 1562.69/1568.28 c rational objective 0 1609.56/1615.28 c #Conflicts: 1022000 | #Constraints: 20844 1609.56/1615.28 c #Conflicts: 1023000 | #Constraints: 21845 1609.56/1615.28 c #Conflicts: 1024000 | #Constraints: 22845 1609.56/1615.28 c #Conflicts: 1025000 | #Constraints: 23845 1609.56/1615.28 c #Conflicts: 1026000 | #Constraints: 24845 1609.56/1615.28 c #Conflicts: 1027000 | #Constraints: 25846 1609.56/1615.28 c #Conflicts: 1028000 | #Constraints: 26846 1609.56/1615.28 c #Conflicts: 1029000 | #Constraints: 27846 1609.56/1615.28 c #Conflicts: 1030000 | #Constraints: 28846 1609.56/1615.28 c #Conflicts: 1031000 | #Constraints: 29846 1609.56/1615.28 c #Conflicts: 1032000 | #Constraints: 30846 1609.56/1615.28 c #Conflicts: 1033000 | #Constraints: 31846 1609.56/1615.28 c #Conflicts: 1034000 | #Constraints: 32846 1609.56/1615.28 c #Conflicts: 1035000 | #Constraints: 33846 1609.56/1615.28 c #Conflicts: 1036000 | #Constraints: 34846 1609.56/1615.28 c #Conflicts: 1037000 | #Constraints: 35846 1609.56/1615.28 c #Conflicts: 1038000 | #Constraints: 36848 1609.56/1615.28 c #Conflicts: 1039000 | #Constraints: 37848 1609.56/1615.28 c #Conflicts: 1040000 | #Constraints: 38848 1609.56/1615.28 c #Conflicts: 1041000 | #Constraints: 39848 1609.56/1615.28 c INPROCESSING 1609.56/1615.28 c GARBAGE COLLECT 1609.56/1615.28 c rational objective 0 1667.30/1673.11 c #Conflicts: 1042000 | #Constraints: 20642 1667.30/1673.11 c #Conflicts: 1043000 | #Constraints: 21643 1667.30/1673.11 c #Conflicts: 1044000 | #Constraints: 22643 1667.30/1673.11 c #Conflicts: 1045000 | #Constraints: 23644 1667.30/1673.11 c #Conflicts: 1046000 | #Constraints: 24645 1667.30/1673.11 c #Conflicts: 1047000 | #Constraints: 25645 1667.30/1673.11 c #Conflicts: 1048000 | #Constraints: 26646 1667.30/1673.11 c #Conflicts: 1049000 | #Constraints: 27646 1667.30/1673.11 c #Conflicts: 1050000 | #Constraints: 28646 1667.30/1673.11 c #Conflicts: 1051000 | #Constraints: 29646 1667.30/1673.11 c #Conflicts: 1052000 | #Constraints: 30646 1667.30/1673.11 c #Conflicts: 1053000 | #Constraints: 31646 1667.30/1673.11 c #Conflicts: 1054000 | #Constraints: 32646 1667.30/1673.11 c #Conflicts: 1055000 | #Constraints: 33646 1667.30/1673.11 c #Conflicts: 1056000 | #Constraints: 34646 1667.30/1673.11 c #Conflicts: 1057000 | #Constraints: 35647 1667.30/1673.11 c #Conflicts: 1058000 | #Constraints: 36647 1667.30/1673.11 c #Conflicts: 1059000 | #Constraints: 37647 1667.30/1673.11 c #Conflicts: 1060000 | #Constraints: 38647 1667.30/1673.11 c #Conflicts: 1061000 | #Constraints: 39647 1667.30/1673.11 c #Conflicts: 1062000 | #Constraints: 40647 1667.30/1673.11 c INPROCESSING 1667.30/1673.11 c GARBAGE COLLECT 1667.30/1673.11 c rational objective 0 1720.04/1726.02 c #Conflicts: 1063000 | #Constraints: 21245 1720.04/1726.02 c #Conflicts: 1064000 | #Constraints: 22245 1720.04/1726.02 c #Conflicts: 1065000 | #Constraints: 23245 1720.04/1726.02 c #Conflicts: 1066000 | #Constraints: 24245 1720.04/1726.02 c #Conflicts: 1067000 | #Constraints: 25245 1720.04/1726.02 c #Conflicts: 1068000 | #Constraints: 26245 1720.04/1726.02 c #Conflicts: 1069000 | #Constraints: 27245 1720.04/1726.02 c #Conflicts: 1070000 | #Constraints: 28245 1720.04/1726.02 c #Conflicts: 1071000 | #Constraints: 29245 1720.04/1726.02 c #Conflicts: 1072000 | #Constraints: 30246 1720.04/1726.02 c #Conflicts: 1073000 | #Constraints: 31246 1720.04/1726.02 c #Conflicts: 1074000 | #Constraints: 32246 1720.04/1726.02 c #Conflicts: 1075000 | #Constraints: 33246 1720.04/1726.02 c #Conflicts: 1076000 | #Constraints: 34246 1720.04/1726.02 c #Conflicts: 1077000 | #Constraints: 35246 1720.04/1726.02 c #Conflicts: 1078000 | #Constraints: 36246 1720.04/1726.02 c #Conflicts: 1079000 | #Constraints: 37246 1720.04/1726.02 c #Conflicts: 1080000 | #Constraints: 38246 1720.04/1726.02 c #Conflicts: 1081000 | #Constraints: 39246 1720.04/1726.02 c #Conflicts: 1082000 | #Constraints: 40246 1720.04/1726.02 c #Conflicts: 1083000 | #Constraints: 41246 1720.04/1726.02 c INPROCESSING 1720.04/1726.02 c GARBAGE COLLECT 1720.04/1726.02 c rational objective 0 1784.24/1790.40 c #Conflicts: 1084000 | #Constraints: 21640 1784.24/1790.40 c #Conflicts: 1085000 | #Constraints: 22640 1784.24/1790.40 c #Conflicts: 1086000 | #Constraints: 23640 1784.24/1790.40 c #Conflicts: 1087000 | #Constraints: 24640 1784.24/1790.40 c #Conflicts: 1088000 | #Constraints: 25640 1784.24/1790.40 c #Conflicts: 1089000 | #Constraints: 26640 1784.24/1790.40 c #Conflicts: 1090000 | #Constraints: 27641 1784.24/1790.40 c #Conflicts: 1091000 | #Constraints: 28643 1784.24/1790.40 c #Conflicts: 1092000 | #Constraints: 29643 1784.24/1790.40 c #Conflicts: 1093000 | #Constraints: 30643 1784.24/1790.40 c #Conflicts: 1094000 | #Constraints: 31644 1784.24/1790.40 c #Conflicts: 1095000 | #Constraints: 32644 1784.24/1790.40 c #Conflicts: 1096000 | #Constraints: 33644 1784.24/1790.40 c #Conflicts: 1097000 | #Constraints: 34644 1784.24/1790.40 c #Conflicts: 1098000 | #Constraints: 35644 1784.24/1790.40 c #Conflicts: 1099000 | #Constraints: 36644 1784.24/1790.40 c #Conflicts: 1100000 | #Constraints: 37644 1784.24/1790.40 c #Conflicts: 1101000 | #Constraints: 38644 1784.24/1790.40 c #Conflicts: 1102000 | #Constraints: 39644 1784.24/1790.40 c #Conflicts: 1103000 | #Constraints: 40645 1784.24/1790.40 c #Conflicts: 1104000 | #Constraints: 41645 1784.24/1790.40 c INPROCESSING 1784.24/1790.40 c GARBAGE COLLECT 1784.24/1790.40 c rational objective 0 1836.78/1843.14 c #Conflicts: 1105000 | #Constraints: 21841 1836.78/1843.14 c #Conflicts: 1106000 | #Constraints: 22841 1836.78/1843.14 c #Conflicts: 1107000 | #Constraints: 23841 1836.78/1843.14 c #Conflicts: 1108000 | #Constraints: 24842 1836.78/1843.14 c #Conflicts: 1109000 | #Constraints: 25843 1836.78/1843.14 c #Conflicts: 1110000 | #Constraints: 26843 1836.78/1843.14 c #Conflicts: 1111000 | #Constraints: 27843 1836.78/1843.14 c #Conflicts: 1112000 | #Constraints: 28844 1836.78/1843.14 c #Conflicts: 1113000 | #Constraints: 29844 1836.78/1843.14 c #Conflicts: 1114000 | #Constraints: 30845 1836.78/1843.14 c #Conflicts: 1115000 | #Constraints: 31845 1836.78/1843.14 c #Conflicts: 1116000 | #Constraints: 32845 1836.78/1843.14 c #Conflicts: 1117000 | #Constraints: 33845 1836.78/1843.14 c #Conflicts: 1118000 | #Constraints: 34845 1836.78/1843.14 c #Conflicts: 1119000 | #Constraints: 35845 1836.78/1843.14 c #Conflicts: 1120000 | #Constraints: 36845 1836.78/1843.14 c #Conflicts: 1121000 | #Constraints: 37845 1836.78/1843.14 c #Conflicts: 1122000 | #Constraints: 38845 1836.78/1843.14 c #Conflicts: 1123000 | #Constraints: 39845 1836.78/1843.14 c #Conflicts: 1124000 | #Constraints: 40846 1836.78/1843.14 c #Conflicts: 1125000 | #Constraints: 41846 1836.78/1843.14 c INPROCESSING 1836.78/1843.14 c GARBAGE COLLECT 1836.78/1843.14 c rational objective 0 1910.46/1917.08 c #Conflicts: 1126000 | #Constraints: 21839 1910.46/1917.08 c #Conflicts: 1127000 | #Constraints: 22839 1910.46/1917.08 c #Conflicts: 1128000 | #Constraints: 23840 1910.46/1917.08 c #Conflicts: 1129000 | #Constraints: 24840 1910.46/1917.08 c #Conflicts: 1130000 | #Constraints: 25840 1910.46/1917.08 c #Conflicts: 1131000 | #Constraints: 26840 1910.46/1917.08 c #Conflicts: 1132000 | #Constraints: 27840 1910.46/1917.08 c #Conflicts: 1133000 | #Constraints: 28840 1910.46/1917.08 c #Conflicts: 1134000 | #Constraints: 29840 1910.46/1917.08 c #Conflicts: 1135000 | #Constraints: 30840 1910.46/1917.08 c #Conflicts: 1136000 | #Constraints: 31840 1910.46/1917.08 c #Conflicts: 1137000 | #Constraints: 32840 1910.46/1917.08 c #Conflicts: 1138000 | #Constraints: 33840 1910.46/1917.08 c #Conflicts: 1139000 | #Constraints: 34840 1910.46/1917.08 c #Conflicts: 1140000 | #Constraints: 35840 1910.46/1917.08 c #Conflicts: 1141000 | #Constraints: 36840 1910.46/1917.08 c #Conflicts: 1142000 | #Constraints: 37840 1910.46/1917.08 c #Conflicts: 1143000 | #Constraints: 38840 1910.46/1917.08 c #Conflicts: 1144000 | #Constraints: 39840 1910.46/1917.08 c #Conflicts: 1145000 | #Constraints: 40840 1910.46/1917.08 c #Conflicts: 1146000 | #Constraints: 41840 1910.46/1917.08 c INPROCESSING 1910.46/1917.08 c GARBAGE COLLECT 1910.46/1917.08 c rational objective 0 1961.31/1968.03 c #Conflicts: 1147000 | #Constraints: 21642 1961.31/1968.03 c #Conflicts: 1148000 | #Constraints: 22642 1961.31/1968.03 c #Conflicts: 1149000 | #Constraints: 23642 1961.31/1968.03 c #Conflicts: 1150000 | #Constraints: 24643 1961.31/1968.03 c #Conflicts: 1151000 | #Constraints: 25643 1961.31/1968.03 c #Conflicts: 1152000 | #Constraints: 26644 1961.31/1968.03 c #Conflicts: 1153000 | #Constraints: 27645 1961.31/1968.03 c #Conflicts: 1154000 | #Constraints: 28645 1961.31/1968.03 c #Conflicts: 1155000 | #Constraints: 29645 1961.31/1968.03 c #Conflicts: 1156000 | #Constraints: 30645 1961.31/1968.03 c #Conflicts: 1157000 | #Constraints: 31647 1961.31/1968.03 c #Conflicts: 1158000 | #Constraints: 32647 1961.31/1968.03 c #Conflicts: 1159000 | #Constraints: 33647 1961.31/1968.03 c #Conflicts: 1160000 | #Constraints: 34647 1961.31/1968.03 c #Conflicts: 1161000 | #Constraints: 35647 1961.31/1968.03 c #Conflicts: 1162000 | #Constraints: 36647 1961.31/1968.03 c #Conflicts: 1163000 | #Constraints: 37647 1961.31/1968.03 c #Conflicts: 1164000 | #Constraints: 38647 1961.31/1968.03 c #Conflicts: 1165000 | #Constraints: 39647 1961.31/1968.03 c #Conflicts: 1166000 | #Constraints: 40647 1961.31/1968.03 c #Conflicts: 1167000 | #Constraints: 41647 1961.31/1968.03 c #Conflicts: 1168000 | #Constraints: 42647 1961.31/1968.03 c INPROCESSING 1961.31/1968.03 c GARBAGE COLLECT 1961.31/1968.03 c rational objective 0 2014.74/2021.62 c #Conflicts: 1169000 | #Constraints: 22236 2014.74/2021.62 c #Conflicts: 1170000 | #Constraints: 23236 2014.74/2021.62 c #Conflicts: 1171000 | #Constraints: 24236 2014.74/2021.62 c #Conflicts: 1172000 | #Constraints: 25236 2014.74/2021.62 c #Conflicts: 1173000 | #Constraints: 26236 2014.74/2021.62 c #Conflicts: 1174000 | #Constraints: 27236 2014.74/2021.62 c #Conflicts: 1175000 | #Constraints: 28236 2014.74/2021.62 c #Conflicts: 1176000 | #Constraints: 29236 2014.74/2021.62 c #Conflicts: 1177000 | #Constraints: 30236 2014.74/2021.62 c #Conflicts: 1178000 | #Constraints: 31236 2014.74/2021.62 c #Conflicts: 1179000 | #Constraints: 32236 2014.74/2021.62 c #Conflicts: 1180000 | #Constraints: 33236 2014.74/2021.62 c #Conflicts: 1181000 | #Constraints: 34236 2014.74/2021.62 c #Conflicts: 1182000 | #Constraints: 35236 2014.74/2021.62 c #Conflicts: 1183000 | #Constraints: 36236 2014.74/2021.62 c #Conflicts: 1184000 | #Constraints: 37236 2014.74/2021.62 c #Conflicts: 1185000 | #Constraints: 38236 2014.74/2021.62 c #Conflicts: 1186000 | #Constraints: 39236 2014.74/2021.62 c #Conflicts: 1187000 | #Constraints: 40237 2014.74/2021.62 c #Conflicts: 1188000 | #Constraints: 41237 2014.74/2021.62 c #Conflicts: 1189000 | #Constraints: 42237 2014.74/2021.62 c #Conflicts: 1190000 | #Constraints: 43237 2014.74/2021.62 c INPROCESSING 2014.74/2021.62 c GARBAGE COLLECT 2014.74/2021.62 c rational objective 0 2092.69/2099.81 c #Conflicts: 1191000 | #Constraints: 22637 2092.69/2099.81 c #Conflicts: 1192000 | #Constraints: 23637 2092.69/2099.81 c #Conflicts: 1193000 | #Constraints: 24637 2092.69/2099.81 c #Conflicts: 1194000 | #Constraints: 25637 2092.69/2099.81 c #Conflicts: 1195000 | #Constraints: 26637 2092.69/2099.81 c #Conflicts: 1196000 | #Constraints: 27637 2092.69/2099.81 c #Conflicts: 1197000 | #Constraints: 28637 2092.69/2099.81 c #Conflicts: 1198000 | #Constraints: 29637 2092.69/2099.81 c #Conflicts: 1199000 | #Constraints: 30637 2092.69/2099.81 c #Conflicts: 1200000 | #Constraints: 31637 2092.69/2099.81 c #Conflicts: 1201000 | #Constraints: 32637 2092.69/2099.81 c #Conflicts: 1202000 | #Constraints: 33637 2092.69/2099.81 c #Conflicts: 1203000 | #Constraints: 34637 2092.69/2099.81 c #Conflicts: 1204000 | #Constraints: 35637 2092.69/2099.81 c #Conflicts: 1205000 | #Constraints: 36637 2092.69/2099.81 c #Conflicts: 1206000 | #Constraints: 37637 2092.69/2099.81 c #Conflicts: 1207000 | #Constraints: 38637 2092.69/2099.81 c #Conflicts: 1208000 | #Constraints: 39637 2092.69/2099.81 c #Conflicts: 1209000 | #Constraints: 40637 2092.69/2099.81 c #Conflicts: 1210000 | #Constraints: 41637 2092.69/2099.81 c #Conflicts: 1211000 | #Constraints: 42637 2092.69/2099.81 c #Conflicts: 1212000 | #Constraints: 43638 2092.69/2099.81 c INPROCESSING 2092.69/2099.81 c GARBAGE COLLECT 2092.69/2099.81 c rational objective 0 2153.72/2161.02 c #Conflicts: 1213000 | #Constraints: 22835 2153.72/2161.02 c #Conflicts: 1214000 | #Constraints: 23835 2153.72/2161.02 c #Conflicts: 1215000 | #Constraints: 24835 2153.72/2161.02 c #Conflicts: 1216000 | #Constraints: 25835 2153.72/2161.02 c #Conflicts: 1217000 | #Constraints: 26835 2153.72/2161.02 c #Conflicts: 1218000 | #Constraints: 27835 2153.72/2161.02 c #Conflicts: 1219000 | #Constraints: 28835 2153.72/2161.02 c #Conflicts: 1220000 | #Constraints: 29836 2153.72/2161.02 c #Conflicts: 1221000 | #Constraints: 30837 2153.72/2161.02 c #Conflicts: 1222000 | #Constraints: 31837 2153.72/2161.02 c #Conflicts: 1223000 | #Constraints: 32837 2153.72/2161.02 c #Conflicts: 1224000 | #Constraints: 33837 2153.72/2161.02 c #Conflicts: 1225000 | #Constraints: 34838 2153.72/2161.02 c #Conflicts: 1226000 | #Constraints: 35838 2153.72/2161.02 c #Conflicts: 1227000 | #Constraints: 36838 2153.72/2161.02 c #Conflicts: 1228000 | #Constraints: 37838 2153.72/2161.02 c #Conflicts: 1229000 | #Constraints: 38838 2153.72/2161.02 c #Conflicts: 1230000 | #Constraints: 39838 2153.72/2161.02 c #Conflicts: 1231000 | #Constraints: 40838 2153.72/2161.02 c #Conflicts: 1232000 | #Constraints: 41838 2153.72/2161.02 c #Conflicts: 1233000 | #Constraints: 42839 2153.72/2161.02 c #Conflicts: 1234000 | #Constraints: 43839 2153.72/2161.02 c INPROCESSING 2153.72/2161.02 c GARBAGE COLLECT 2153.72/2161.02 c rational objective 0 2236.26/2243.89 c #Conflicts: 1235000 | #Constraints: 22834 2236.26/2243.89 c #Conflicts: 1236000 | #Constraints: 23834 2236.26/2243.89 c #Conflicts: 1237000 | #Constraints: 24835 2236.26/2243.89 c #Conflicts: 1238000 | #Constraints: 25836 2236.26/2243.89 c #Conflicts: 1239000 | #Constraints: 26836 2236.26/2243.89 c #Conflicts: 1240000 | #Constraints: 27836 2236.26/2243.89 c #Conflicts: 1241000 | #Constraints: 28836 2236.26/2243.89 c #Conflicts: 1242000 | #Constraints: 29836 2236.26/2243.89 c #Conflicts: 1243000 | #Constraints: 30836 2236.26/2243.89 c #Conflicts: 1244000 | #Constraints: 31836 2236.26/2243.89 c #Conflicts: 1245000 | #Constraints: 32837 2236.26/2243.89 c #Conflicts: 1246000 | #Constraints: 33837 2236.26/2243.89 c #Conflicts: 1247000 | #Constraints: 34837 2236.26/2243.89 c #Conflicts: 1248000 | #Constraints: 35837 2236.26/2243.89 c #Conflicts: 1249000 | #Constraints: 36837 2236.26/2243.89 c #Conflicts: 1250000 | #Constraints: 37837 2236.26/2243.89 c #Conflicts: 1251000 | #Constraints: 38837 2236.26/2243.89 c #Conflicts: 1252000 | #Constraints: 39837 2236.26/2243.89 c #Conflicts: 1253000 | #Constraints: 40837 2236.26/2243.89 c #Conflicts: 1254000 | #Constraints: 41837 2236.26/2243.89 c #Conflicts: 1255000 | #Constraints: 42837 2236.26/2243.89 c #Conflicts: 1256000 | #Constraints: 43838 2236.26/2243.89 c INPROCESSING 2236.26/2243.89 c GARBAGE COLLECT 2236.26/2243.89 c rational objective 0 2293.98/2301.77 c #Conflicts: 1257000 | #Constraints: 22642 2293.98/2301.77 c #Conflicts: 1258000 | #Constraints: 23642 2293.98/2301.77 c #Conflicts: 1259000 | #Constraints: 24642 2293.98/2301.77 c #Conflicts: 1260000 | #Constraints: 25642 2293.98/2301.77 c #Conflicts: 1261000 | #Constraints: 26642 2293.98/2301.77 c #Conflicts: 1262000 | #Constraints: 27642 2293.98/2301.77 c #Conflicts: 1263000 | #Constraints: 28642 2293.98/2301.77 c #Conflicts: 1264000 | #Constraints: 29642 2293.98/2301.77 c #Conflicts: 1265000 | #Constraints: 30642 2293.98/2301.77 c #Conflicts: 1266000 | #Constraints: 31642 2293.98/2301.77 c #Conflicts: 1267000 | #Constraints: 32642 2293.98/2301.77 c #Conflicts: 1268000 | #Constraints: 33642 2293.98/2301.77 c #Conflicts: 1269000 | #Constraints: 34642 2293.98/2301.77 c #Conflicts: 1270000 | #Constraints: 35642 2293.98/2301.77 c #Conflicts: 1271000 | #Constraints: 36642 2293.98/2301.77 c #Conflicts: 1272000 | #Constraints: 37642 2293.98/2301.77 c #Conflicts: 1273000 | #Constraints: 38642 2293.98/2301.77 c #Conflicts: 1274000 | #Constraints: 39642 2293.98/2301.77 c #Conflicts: 1275000 | #Constraints: 40642 2293.98/2301.77 c #Conflicts: 1276000 | #Constraints: 41642 2293.98/2301.77 c #Conflicts: 1277000 | #Constraints: 42642 2293.98/2301.77 c #Conflicts: 1278000 | #Constraints: 43642 2293.98/2301.77 c #Conflicts: 1279000 | #Constraints: 44642 2293.98/2301.77 c INPROCESSING 2293.98/2301.77 c GARBAGE COLLECT 2293.98/2301.77 c rational objective 0 2379.52/2388.17 c #Conflicts: 1280000 | #Constraints: 23236 2379.52/2388.17 c #Conflicts: 1281000 | #Constraints: 24236 2379.52/2388.17 c #Conflicts: 1282000 | #Constraints: 25236 2379.52/2388.17 c #Conflicts: 1283000 | #Constraints: 26236 2379.52/2388.17 c #Conflicts: 1284000 | #Constraints: 27236 2379.52/2388.17 c #Conflicts: 1285000 | #Constraints: 28236 2379.52/2388.17 c #Conflicts: 1286000 | #Constraints: 29236 2379.52/2388.17 c #Conflicts: 1287000 | #Constraints: 30238 2379.52/2388.17 c #Conflicts: 1288000 | #Constraints: 31239 2379.52/2388.17 c #Conflicts: 1289000 | #Constraints: 32239 2379.52/2388.17 c #Conflicts: 1290000 | #Constraints: 33239 2379.52/2388.17 c #Conflicts: 1291000 | #Constraints: 34239 2379.52/2388.17 c #Conflicts: 1292000 | #Constraints: 35239 2379.52/2388.17 c #Conflicts: 1293000 | #Constraints: 36240 2379.52/2388.17 c #Conflicts: 1294000 | #Constraints: 37240 2379.52/2388.17 c #Conflicts: 1295000 | #Constraints: 38240 2379.52/2388.17 c #Conflicts: 1296000 | #Constraints: 39240 2379.52/2388.17 c #Conflicts: 1297000 | #Constraints: 40240 2379.52/2388.17 c #Conflicts: 1298000 | #Constraints: 41240 2379.52/2388.17 c #Conflicts: 1299000 | #Constraints: 42240 2379.52/2388.17 c #Conflicts: 1300000 | #Constraints: 43240 2379.52/2388.17 c #Conflicts: 1301000 | #Constraints: 44240 2379.52/2388.17 c #Conflicts: 1302000 | #Constraints: 45240 2379.52/2388.17 c INPROCESSING 2379.52/2388.17 c GARBAGE COLLECT 2379.52/2388.17 c rational objective 0 2440.53/2449.36 c #Conflicts: 1303000 | #Constraints: 23641 2440.53/2449.36 c #Conflicts: 1304000 | #Constraints: 24641 2440.53/2449.36 c #Conflicts: 1305000 | #Constraints: 25641 2440.53/2449.36 c #Conflicts: 1306000 | #Constraints: 26641 2440.53/2449.36 c #Conflicts: 1307000 | #Constraints: 27641 2440.53/2449.36 c #Conflicts: 1308000 | #Constraints: 28641 2440.53/2449.36 c #Conflicts: 1309000 | #Constraints: 29641 2440.53/2449.36 c #Conflicts: 1310000 | #Constraints: 30643 2440.53/2449.36 c #Conflicts: 1311000 | #Constraints: 31643 2440.53/2449.36 c #Conflicts: 1312000 | #Constraints: 32644 2440.53/2449.36 c #Conflicts: 1313000 | #Constraints: 33644 2440.53/2449.36 c #Conflicts: 1314000 | #Constraints: 34644 2440.53/2449.36 c #Conflicts: 1315000 | #Constraints: 35644 2440.53/2449.36 c #Conflicts: 1316000 | #Constraints: 36644 2440.53/2449.36 c #Conflicts: 1317000 | #Constraints: 37644 2440.53/2449.36 c #Conflicts: 1318000 | #Constraints: 38644 2440.53/2449.36 c #Conflicts: 1319000 | #Constraints: 39644 2440.53/2449.36 c #Conflicts: 1320000 | #Constraints: 40644 2440.53/2449.36 c #Conflicts: 1321000 | #Constraints: 41644 2440.53/2449.36 c #Conflicts: 1322000 | #Constraints: 42644 2440.53/2449.36 c #Conflicts: 1323000 | #Constraints: 43644 2440.53/2449.36 c #Conflicts: 1324000 | #Constraints: 44644 2440.53/2449.36 c #Conflicts: 1325000 | #Constraints: 45645 2440.53/2449.36 c INPROCESSING 2440.53/2449.36 c GARBAGE COLLECT 2440.53/2449.36 c rational objective 0 2503.93/2512.99 c #Conflicts: 1326000 | #Constraints: 23840 2503.93/2512.99 c #Conflicts: 1327000 | #Constraints: 24840 2503.93/2512.99 c #Conflicts: 1328000 | #Constraints: 25840 2503.93/2512.99 c #Conflicts: 1329000 | #Constraints: 26840 2503.93/2512.99 c #Conflicts: 1330000 | #Constraints: 27840 2503.93/2512.99 c #Conflicts: 1331000 | #Constraints: 28840 2503.93/2512.99 c #Conflicts: 1332000 | #Constraints: 29840 2503.93/2512.99 c #Conflicts: 1333000 | #Constraints: 30840 2503.93/2512.99 c #Conflicts: 1334000 | #Constraints: 31840 2503.93/2512.99 c #Conflicts: 1335000 | #Constraints: 32840 2503.93/2512.99 c #Conflicts: 1336000 | #Constraints: 33840 2503.93/2512.99 c #Conflicts: 1337000 | #Constraints: 34840 2503.93/2512.99 c #Conflicts: 1338000 | #Constraints: 35841 2503.93/2512.99 c #Conflicts: 1339000 | #Constraints: 36841 2503.93/2512.99 c #Conflicts: 1340000 | #Constraints: 37841 2503.93/2512.99 c #Conflicts: 1341000 | #Constraints: 38841 2503.93/2512.99 c #Conflicts: 1342000 | #Constraints: 39841 2503.93/2512.99 c #Conflicts: 1343000 | #Constraints: 40841 2503.93/2512.99 c #Conflicts: 1344000 | #Constraints: 41841 2503.93/2512.99 c #Conflicts: 1345000 | #Constraints: 42841 2503.93/2512.99 c #Conflicts: 1346000 | #Constraints: 43841 2503.93/2512.99 c #Conflicts: 1347000 | #Constraints: 44841 2503.93/2512.99 c #Conflicts: 1348000 | #Constraints: 45841 2503.93/2512.99 c INPROCESSING 2503.93/2512.99 c GARBAGE COLLECT 2503.93/2512.99 c rational objective 0 2589.17/2598.40 c #Conflicts: 1349000 | #Constraints: 23834 2589.17/2598.40 c #Conflicts: 1350000 | #Constraints: 24834 2589.17/2598.40 c #Conflicts: 1351000 | #Constraints: 25834 2589.17/2598.40 c #Conflicts: 1352000 | #Constraints: 26834 2589.17/2598.40 c #Conflicts: 1353000 | #Constraints: 27834 2589.17/2598.40 c #Conflicts: 1354000 | #Constraints: 28834 2589.17/2598.40 c #Conflicts: 1355000 | #Constraints: 29834 2589.17/2598.40 c #Conflicts: 1356000 | #Constraints: 30835 2589.17/2598.40 c #Conflicts: 1357000 | #Constraints: 31835 2589.17/2598.40 c #Conflicts: 1358000 | #Constraints: 32835 2589.17/2598.40 c #Conflicts: 1359000 | #Constraints: 33835 2589.17/2598.40 c #Conflicts: 1360000 | #Constraints: 34835 2589.17/2598.40 c #Conflicts: 1361000 | #Constraints: 35835 2589.17/2598.40 c #Conflicts: 1362000 | #Constraints: 36835 2589.17/2598.40 c #Conflicts: 1363000 | #Constraints: 37836 2589.17/2598.40 c #Conflicts: 1364000 | #Constraints: 38836 2589.17/2598.40 c #Conflicts: 1365000 | #Constraints: 39836 2589.17/2598.40 c #Conflicts: 1366000 | #Constraints: 40837 2589.17/2598.40 c #Conflicts: 1367000 | #Constraints: 41837 2589.17/2598.40 c #Conflicts: 1368000 | #Constraints: 42837 2589.17/2598.40 c #Conflicts: 1369000 | #Constraints: 43838 2589.17/2598.40 c #Conflicts: 1370000 | #Constraints: 44838 2589.17/2598.40 c #Conflicts: 1371000 | #Constraints: 45838 2589.17/2598.40 c INPROCESSING 2589.17/2598.40 c GARBAGE COLLECT 2589.17/2598.40 c rational objective 0 2652.18/2661.68 c #Conflicts: 1372000 | #Constraints: 23642 2652.18/2661.68 c #Conflicts: 1373000 | #Constraints: 24642 2652.18/2661.68 c #Conflicts: 1374000 | #Constraints: 25642 2652.18/2661.68 c #Conflicts: 1375000 | #Constraints: 26642 2652.18/2661.68 c #Conflicts: 1376000 | #Constraints: 27642 2652.18/2661.68 c #Conflicts: 1377000 | #Constraints: 28642 2652.18/2661.68 c #Conflicts: 1378000 | #Constraints: 29642 2652.18/2661.68 c #Conflicts: 1379000 | #Constraints: 30643 2652.18/2661.68 c #Conflicts: 1380000 | #Constraints: 31643 2652.18/2661.68 c #Conflicts: 1381000 | #Constraints: 32643 2652.18/2661.68 c #Conflicts: 1382000 | #Constraints: 33643 2652.18/2661.68 c #Conflicts: 1383000 | #Constraints: 34643 2652.18/2661.68 c #Conflicts: 1384000 | #Constraints: 35643 2652.18/2661.68 c #Conflicts: 1385000 | #Constraints: 36643 2652.18/2661.68 c #Conflicts: 1386000 | #Constraints: 37643 2652.18/2661.68 c #Conflicts: 1387000 | #Constraints: 38644 2652.18/2661.68 c #Conflicts: 1388000 | #Constraints: 39644 2652.18/2661.68 c #Conflicts: 1389000 | #Constraints: 40644 2652.18/2661.68 c #Conflicts: 1390000 | #Constraints: 41644 2652.18/2661.68 c #Conflicts: 1391000 | #Constraints: 42644 2652.18/2661.68 c #Conflicts: 1392000 | #Constraints: 43644 2652.18/2661.68 c #Conflicts: 1393000 | #Constraints: 44644 2652.18/2661.68 c #Conflicts: 1394000 | #Constraints: 45644 2652.18/2661.68 c #Conflicts: 1395000 | #Constraints: 46644 2652.18/2661.68 c INPROCESSING 2652.18/2661.68 c GARBAGE COLLECT 2652.18/2661.68 c rational objective 0 2741.81/2751.51 c #Conflicts: 1396000 | #Constraints: 24238 2741.81/2751.51 c #Conflicts: 1397000 | #Constraints: 25238 2741.81/2751.51 c #Conflicts: 1398000 | #Constraints: 26238 2741.81/2751.51 c #Conflicts: 1399000 | #Constraints: 27238 2741.81/2751.51 c #Conflicts: 1400000 | #Constraints: 28238 2741.81/2751.51 c #Conflicts: 1401000 | #Constraints: 29238 2741.81/2751.51 c #Conflicts: 1402000 | #Constraints: 30238 2741.81/2751.51 c #Conflicts: 1403000 | #Constraints: 31238 2741.81/2751.51 c #Conflicts: 1404000 | #Constraints: 32238 2741.81/2751.51 c #Conflicts: 1405000 | #Constraints: 33239 2741.81/2751.51 c #Conflicts: 1406000 | #Constraints: 34239 2741.81/2751.51 c #Conflicts: 1407000 | #Constraints: 35239 2741.81/2751.51 c #Conflicts: 1408000 | #Constraints: 36239 2741.81/2751.51 c #Conflicts: 1409000 | #Constraints: 37239 2741.81/2751.51 c #Conflicts: 1410000 | #Constraints: 38239 2741.81/2751.51 c #Conflicts: 1411000 | #Constraints: 39239 2741.81/2751.51 c #Conflicts: 1412000 | #Constraints: 40239 2741.81/2751.51 c #Conflicts: 1413000 | #Constraints: 41239 2741.81/2751.51 c #Conflicts: 1414000 | #Constraints: 42239 2741.81/2751.51 c #Conflicts: 1415000 | #Constraints: 43239 2741.81/2751.51 c #Conflicts: 1416000 | #Constraints: 44239 2741.81/2751.51 c #Conflicts: 1417000 | #Constraints: 45239 2741.81/2751.51 c #Conflicts: 1418000 | #Constraints: 46239 2741.81/2751.51 c #Conflicts: 1419000 | #Constraints: 47240 2741.81/2751.51 c INPROCESSING 2741.81/2751.51 c GARBAGE COLLECT 2741.81/2751.51 c rational objective 0 2803.32/2813.20 c #Conflicts: 1420000 | #Constraints: 24641 2803.32/2813.20 c #Conflicts: 1421000 | #Constraints: 25641 2803.32/2813.20 c #Conflicts: 1422000 | #Constraints: 26641 2803.32/2813.20 c #Conflicts: 1423000 | #Constraints: 27641 2803.32/2813.20 c #Conflicts: 1424000 | #Constraints: 28641 2803.32/2813.20 c #Conflicts: 1425000 | #Constraints: 29641 2803.32/2813.20 c #Conflicts: 1426000 | #Constraints: 30642 2803.32/2813.20 c #Conflicts: 1427000 | #Constraints: 31642 2803.32/2813.20 c #Conflicts: 1428000 | #Constraints: 32642 2803.32/2813.20 c #Conflicts: 1429000 | #Constraints: 33642 2803.32/2813.20 c #Conflicts: 1430000 | #Constraints: 34642 2803.32/2813.20 c #Conflicts: 1431000 | #Constraints: 35642 2803.32/2813.20 c #Conflicts: 1432000 | #Constraints: 36642 2803.32/2813.20 c #Conflicts: 1433000 | #Constraints: 37642 2803.32/2813.20 c #Conflicts: 1434000 | #Constraints: 38642 2803.32/2813.20 c #Conflicts: 1435000 | #Constraints: 39642 2803.32/2813.20 c #Conflicts: 1436000 | #Constraints: 40642 2803.32/2813.20 c #Conflicts: 1437000 | #Constraints: 41642 2803.32/2813.20 c #Conflicts: 1438000 | #Constraints: 42642 2803.32/2813.20 c #Conflicts: 1439000 | #Constraints: 43642 2803.32/2813.20 c #Conflicts: 1440000 | #Constraints: 44642 2803.32/2813.20 c #Conflicts: 1441000 | #Constraints: 45642 2803.32/2813.20 c #Conflicts: 1442000 | #Constraints: 46643 2803.32/2813.20 c #Conflicts: 1443000 | #Constraints: 47644 2803.32/2813.20 c INPROCESSING 2803.32/2813.20 c GARBAGE COLLECT 2803.32/2813.20 c rational objective 0 2870.32/2880.40 c #Conflicts: 1444000 | #Constraints: 24841 2870.32/2880.40 c #Conflicts: 1445000 | #Constraints: 25841 2870.32/2880.40 c #Conflicts: 1446000 | #Constraints: 26841 2870.32/2880.40 c #Conflicts: 1447000 | #Constraints: 27842 2870.32/2880.40 c #Conflicts: 1448000 | #Constraints: 28842 2870.32/2880.40 c #Conflicts: 1449000 | #Constraints: 29844 2870.32/2880.40 c #Conflicts: 1450000 | #Constraints: 30844 2870.32/2880.40 c #Conflicts: 1451000 | #Constraints: 31844 2870.32/2880.40 c #Conflicts: 1452000 | #Constraints: 32844 2870.32/2880.40 c #Conflicts: 1453000 | #Constraints: 33844 2870.32/2880.40 c #Conflicts: 1454000 | #Constraints: 34844 2870.32/2880.40 c #Conflicts: 1455000 | #Constraints: 35846 2870.32/2880.40 c #Conflicts: 1456000 | #Constraints: 36847 2870.32/2880.40 c #Conflicts: 1457000 | #Constraints: 37847 2870.32/2880.40 c #Conflicts: 1458000 | #Constraints: 38847 2870.32/2880.40 c #Conflicts: 1459000 | #Constraints: 39847 2870.32/2880.40 c #Conflicts: 1460000 | #Constraints: 40847 2870.32/2880.40 c #Conflicts: 1461000 | #Constraints: 41847 2870.32/2880.40 c #Conflicts: 1462000 | #Constraints: 42847 2870.32/2880.40 c #Conflicts: 1463000 | #Constraints: 43847 2870.32/2880.40 c #Conflicts: 1464000 | #Constraints: 44847 2870.32/2880.40 c #Conflicts: 1465000 | #Constraints: 45849 2870.32/2880.40 c #Conflicts: 1466000 | #Constraints: 46849 2870.32/2880.40 c #Conflicts: 1467000 | #Constraints: 47849 2870.32/2880.40 c INPROCESSING 2870.32/2880.40 c GARBAGE COLLECT 2870.32/2880.40 c rational objective 0 2964.63/2975.00 c #Conflicts: 1468000 | #Constraints: 24841 2964.63/2975.00 c #Conflicts: 1469000 | #Constraints: 25841 2964.63/2975.00 c #Conflicts: 1470000 | #Constraints: 26841 2964.63/2975.00 c #Conflicts: 1471000 | #Constraints: 27841 2964.63/2975.00 c #Conflicts: 1472000 | #Constraints: 28841 2964.63/2975.00 c #Conflicts: 1473000 | #Constraints: 29841 2964.63/2975.00 c #Conflicts: 1474000 | #Constraints: 30841 2964.63/2975.00 c #Conflicts: 1475000 | #Constraints: 31841 2964.63/2975.00 c #Conflicts: 1476000 | #Constraints: 32841 2964.63/2975.00 c #Conflicts: 1477000 | #Constraints: 33841 2964.63/2975.00 c #Conflicts: 1478000 | #Constraints: 34842 2964.63/2975.00 c #Conflicts: 1479000 | #Constraints: 35842 2964.63/2975.00 c #Conflicts: 1480000 | #Constraints: 36842 2964.63/2975.00 c #Conflicts: 1481000 | #Constraints: 37842 2964.63/2975.00 c #Conflicts: 1482000 | #Constraints: 38842 2964.63/2975.00 c #Conflicts: 1483000 | #Constraints: 39842 2964.63/2975.00 c #Conflicts: 1484000 | #Constraints: 40842 2964.63/2975.00 c #Conflicts: 1485000 | #Constraints: 41842 2964.63/2975.00 c #Conflicts: 1486000 | #Constraints: 42842 2964.63/2975.00 c #Conflicts: 1487000 | #Constraints: 43842 2964.63/2975.00 c #Conflicts: 1488000 | #Constraints: 44842 2964.63/2975.00 c #Conflicts: 1489000 | #Constraints: 45842 2964.63/2975.00 c #Conflicts: 1490000 | #Constraints: 46842 2964.63/2975.00 c #Conflicts: 1491000 | #Constraints: 47842 2964.63/2975.00 c INPROCESSING 2964.63/2975.00 c GARBAGE COLLECT 2964.63/2975.00 c rational objective 0 3030.33/3040.94 c #Conflicts: 1492000 | #Constraints: 24640 3030.33/3040.94 c #Conflicts: 1493000 | #Constraints: 25640 3030.33/3040.94 c #Conflicts: 1494000 | #Constraints: 26640 3030.33/3040.94 c #Conflicts: 1495000 | #Constraints: 27640 3030.33/3040.94 c #Conflicts: 1496000 | #Constraints: 28641 3030.33/3040.94 c #Conflicts: 1497000 | #Constraints: 29641 3030.33/3040.94 c #Conflicts: 1498000 | #Constraints: 30641 3030.33/3040.94 c #Conflicts: 1499000 | #Constraints: 31641 3030.33/3040.94 c #Conflicts: 1500000 | #Constraints: 32641 3030.33/3040.94 c #Conflicts: 1501000 | #Constraints: 33641 3030.33/3040.94 c #Conflicts: 1502000 | #Constraints: 34641 3030.33/3040.94 c #Conflicts: 1503000 | #Constraints: 35641 3030.33/3040.94 c #Conflicts: 1504000 | #Constraints: 36641 3030.33/3040.94 c #Conflicts: 1505000 | #Constraints: 37642 3030.33/3040.94 c #Conflicts: 1506000 | #Constraints: 38642 3030.33/3040.94 c #Conflicts: 1507000 | #Constraints: 39642 3030.33/3040.94 c #Conflicts: 1508000 | #Constraints: 40642 3030.33/3040.94 c #Conflicts: 1509000 | #Constraints: 41642 3030.33/3040.94 c #Conflicts: 1510000 | #Constraints: 42642 3030.33/3040.94 c #Conflicts: 1511000 | #Constraints: 43643 3030.33/3040.94 c #Conflicts: 1512000 | #Constraints: 44643 3030.33/3040.94 c #Conflicts: 1513000 | #Constraints: 45643 3030.33/3040.94 c #Conflicts: 1514000 | #Constraints: 46643 3030.33/3040.94 c #Conflicts: 1515000 | #Constraints: 47643 3030.33/3040.94 c #Conflicts: 1516000 | #Constraints: 48643 3030.33/3040.94 c INPROCESSING 3030.33/3040.94 c GARBAGE COLLECT 3030.33/3040.94 c rational objective 0 3127.44/3138.38 c #Conflicts: 1517000 | #Constraints: 25237 3127.44/3138.38 c #Conflicts: 1518000 | #Constraints: 26237 3127.44/3138.38 c #Conflicts: 1519000 | #Constraints: 27237 3127.44/3138.38 c #Conflicts: 1520000 | #Constraints: 28237 3127.44/3138.38 c #Conflicts: 1521000 | #Constraints: 29238 3127.44/3138.38 c #Conflicts: 1522000 | #Constraints: 30238 3127.44/3138.38 c #Conflicts: 1523000 | #Constraints: 31238 3127.44/3138.38 c #Conflicts: 1524000 | #Constraints: 32238 3127.44/3138.38 c #Conflicts: 1525000 | #Constraints: 33238 3127.44/3138.38 c #Conflicts: 1526000 | #Constraints: 34238 3127.44/3138.38 c #Conflicts: 1527000 | #Constraints: 35239 3127.44/3138.38 c #Conflicts: 1528000 | #Constraints: 36239 3127.44/3138.38 c #Conflicts: 1529000 | #Constraints: 37239 3127.44/3138.38 c #Conflicts: 1530000 | #Constraints: 38239 3127.44/3138.38 c #Conflicts: 1531000 | #Constraints: 39239 3127.44/3138.38 c #Conflicts: 1532000 | #Constraints: 40239 3127.44/3138.38 c #Conflicts: 1533000 | #Constraints: 41239 3127.44/3138.38 c #Conflicts: 1534000 | #Constraints: 42240 3127.44/3138.38 c #Conflicts: 1535000 | #Constraints: 43240 3127.44/3138.38 c #Conflicts: 1536000 | #Constraints: 44240 3127.44/3138.38 c #Conflicts: 1537000 | #Constraints: 45240 3127.44/3138.38 c #Conflicts: 1538000 | #Constraints: 46240 3127.44/3138.38 c #Conflicts: 1539000 | #Constraints: 47240 3127.44/3138.38 c #Conflicts: 1540000 | #Constraints: 48240 3127.44/3138.38 c #Conflicts: 1541000 | #Constraints: 49240 3127.44/3138.38 c INPROCESSING 3127.44/3138.38 c GARBAGE COLLECT 3127.44/3138.38 c rational objective 0 3202.41/3213.56 c #Conflicts: 1542000 | #Constraints: 25638 3202.41/3213.56 c #Conflicts: 1543000 | #Constraints: 26638 3202.41/3213.56 c #Conflicts: 1544000 | #Constraints: 27638 3202.41/3213.56 c #Conflicts: 1545000 | #Constraints: 28638 3202.41/3213.56 c #Conflicts: 1546000 | #Constraints: 29638 3202.41/3213.56 c #Conflicts: 1547000 | #Constraints: 30638 3202.41/3213.56 c #Conflicts: 1548000 | #Constraints: 31638 3202.41/3213.56 c #Conflicts: 1549000 | #Constraints: 32639 3202.41/3213.56 c #Conflicts: 1550000 | #Constraints: 33639 3202.41/3213.56 c #Conflicts: 1551000 | #Constraints: 34639 3202.41/3213.56 c #Conflicts: 1552000 | #Constraints: 35639 3202.41/3213.56 c #Conflicts: 1553000 | #Constraints: 36639 3202.41/3213.56 c #Conflicts: 1554000 | #Constraints: 37639 3202.41/3213.56 c #Conflicts: 1555000 | #Constraints: 38639 3202.41/3213.56 c #Conflicts: 1556000 | #Constraints: 39639 3202.41/3213.56 c #Conflicts: 1557000 | #Constraints: 40639 3202.41/3213.56 c #Conflicts: 1558000 | #Constraints: 41639 3202.41/3213.56 c #Conflicts: 1559000 | #Constraints: 42639 3202.41/3213.56 c #Conflicts: 1560000 | #Constraints: 43639 3202.41/3213.56 c #Conflicts: 1561000 | #Constraints: 44639 3202.41/3213.56 c #Conflicts: 1562000 | #Constraints: 45639 3202.41/3213.56 c #Conflicts: 1563000 | #Constraints: 46639 3202.41/3213.56 c #Conflicts: 1564000 | #Constraints: 47639 3202.41/3213.56 c #Conflicts: 1565000 | #Constraints: 48639 3202.41/3213.56 c #Conflicts: 1566000 | #Constraints: 49640 3202.41/3213.56 c INPROCESSING 3202.41/3213.56 c GARBAGE COLLECT 3202.41/3213.56 c rational objective 0 3303.60/3315.02 c #Conflicts: 1567000 | #Constraints: 25834 3303.60/3315.02 c #Conflicts: 1568000 | #Constraints: 26834 3303.60/3315.02 c #Conflicts: 1569000 | #Constraints: 27834 3303.60/3315.02 c #Conflicts: 1570000 | #Constraints: 28834 3303.60/3315.02 c #Conflicts: 1571000 | #Constraints: 29834 3303.60/3315.02 c #Conflicts: 1572000 | #Constraints: 30834 3303.60/3315.02 c #Conflicts: 1573000 | #Constraints: 31834 3303.60/3315.02 c #Conflicts: 1574000 | #Constraints: 32834 3303.60/3315.02 c #Conflicts: 1575000 | #Constraints: 33834 3303.60/3315.02 c #Conflicts: 1576000 | #Constraints: 34834 3303.60/3315.02 c #Conflicts: 1577000 | #Constraints: 35834 3303.60/3315.02 c #Conflicts: 1578000 | #Constraints: 36834 3303.60/3315.02 c #Conflicts: 1579000 | #Constraints: 37834 3303.60/3315.02 c #Conflicts: 1580000 | #Constraints: 38834 3303.60/3315.02 c #Conflicts: 1581000 | #Constraints: 39834 3303.60/3315.02 c #Conflicts: 1582000 | #Constraints: 40834 3303.60/3315.02 c #Conflicts: 1583000 | #Constraints: 41834 3303.60/3315.02 c #Conflicts: 1584000 | #Constraints: 42834 3303.60/3315.02 c #Conflicts: 1585000 | #Constraints: 43834 3303.60/3315.02 c #Conflicts: 1586000 | #Constraints: 44834 3303.60/3315.02 c #Conflicts: 1587000 | #Constraints: 45834 3303.60/3315.02 c #Conflicts: 1588000 | #Constraints: 46834 3303.60/3315.02 c #Conflicts: 1589000 | #Constraints: 47834 3303.60/3315.02 c #Conflicts: 1590000 | #Constraints: 48834 3303.60/3315.02 c #Conflicts: 1591000 | #Constraints: 49835 3303.60/3315.02 c INPROCESSING 3303.60/3315.02 c GARBAGE COLLECT 3303.60/3315.02 c rational objective 0 3383.45/3395.13 c #Conflicts: 1592000 | #Constraints: 25839 3383.45/3395.13 c #Conflicts: 1593000 | #Constraints: 26840 3383.45/3395.13 c #Conflicts: 1594000 | #Constraints: 27841 3383.45/3395.13 c #Conflicts: 1595000 | #Constraints: 28842 3383.45/3395.13 c #Conflicts: 1596000 | #Constraints: 29842 3383.45/3395.13 c #Conflicts: 1597000 | #Constraints: 30842 3383.45/3395.13 c #Conflicts: 1598000 | #Constraints: 31842 3383.45/3395.13 c #Conflicts: 1599000 | #Constraints: 32842 3383.45/3395.13 c #Conflicts: 1600000 | #Constraints: 33842 3383.45/3395.13 c #Conflicts: 1601000 | #Constraints: 34842 3383.45/3395.13 c #Conflicts: 1602000 | #Constraints: 35843 3383.45/3395.13 c #Conflicts: 1603000 | #Constraints: 36843 3383.45/3395.13 c #Conflicts: 1604000 | #Constraints: 37844 3383.45/3395.13 c #Conflicts: 1605000 | #Constraints: 38844 3383.45/3395.13 c #Conflicts: 1606000 | #Constraints: 39844 3383.45/3395.13 c #Conflicts: 1607000 | #Constraints: 40844 3383.45/3395.13 c #Conflicts: 1608000 | #Constraints: 41844 3383.45/3395.13 c #Conflicts: 1609000 | #Constraints: 42844 3383.45/3395.13 c #Conflicts: 1610000 | #Constraints: 43844 3383.45/3395.13 c #Conflicts: 1611000 | #Constraints: 44844 3383.45/3395.13 c #Conflicts: 1612000 | #Constraints: 45844 3383.45/3395.13 c #Conflicts: 1613000 | #Constraints: 46844 3383.45/3395.13 c #Conflicts: 1614000 | #Constraints: 47845 3383.45/3395.13 c #Conflicts: 1615000 | #Constraints: 48845 3383.45/3395.13 c #Conflicts: 1616000 | #Constraints: 49845 3383.45/3395.13 c INPROCESSING 3383.45/3395.13 c GARBAGE COLLECT 3383.45/3395.13 c rational objective 0 3451.69/3463.57 c #Conflicts: 1617000 | #Constraints: 25636 3451.69/3463.57 c #Conflicts: 1618000 | #Constraints: 26636 3451.69/3463.57 c #Conflicts: 1619000 | #Constraints: 27637 3451.69/3463.57 c #Conflicts: 1620000 | #Constraints: 28637 3451.69/3463.57 c #Conflicts: 1621000 | #Constraints: 29637 3451.69/3463.57 c #Conflicts: 1622000 | #Constraints: 30637 3451.69/3463.57 c #Conflicts: 1623000 | #Constraints: 31638 3451.69/3463.57 c #Conflicts: 1624000 | #Constraints: 32638 3451.69/3463.57 c #Conflicts: 1625000 | #Constraints: 33638 3451.69/3463.57 c #Conflicts: 1626000 | #Constraints: 34639 3451.69/3463.57 c #Conflicts: 1627000 | #Constraints: 35639 3451.69/3463.57 c #Conflicts: 1628000 | #Constraints: 36639 3451.69/3463.57 c #Conflicts: 1629000 | #Constraints: 37639 3451.69/3463.57 c #Conflicts: 1630000 | #Constraints: 38639 3451.69/3463.57 c #Conflicts: 1631000 | #Constraints: 39640 3451.69/3463.57 c #Conflicts: 1632000 | #Constraints: 40640 3451.69/3463.57 c #Conflicts: 1633000 | #Constraints: 41640 3451.69/3463.57 c #Conflicts: 1634000 | #Constraints: 42640 3451.69/3463.57 c #Conflicts: 1635000 | #Constraints: 43640 3451.69/3463.57 c #Conflicts: 1636000 | #Constraints: 44640 3451.69/3463.57 c #Conflicts: 1637000 | #Constraints: 45641 3451.69/3463.57 c #Conflicts: 1638000 | #Constraints: 46641 3451.69/3463.57 c #Conflicts: 1639000 | #Constraints: 47641 3451.69/3463.57 c #Conflicts: 1640000 | #Constraints: 48641 3451.69/3463.57 c #Conflicts: 1641000 | #Constraints: 49641 3451.69/3463.57 c #Conflicts: 1642000 | #Constraints: 50641 3451.69/3463.57 c INPROCESSING 3451.69/3463.57 c GARBAGE COLLECT 3451.69/3463.57 c rational objective 0 3548.67/3560.74 c #Conflicts: 1643000 | #Constraints: 26236 3548.67/3560.74 c #Conflicts: 1644000 | #Constraints: 27236 3548.67/3560.74 c #Conflicts: 1645000 | #Constraints: 28236 3548.67/3560.74 c #Conflicts: 1646000 | #Constraints: 29236 3548.67/3560.74 c #Conflicts: 1647000 | #Constraints: 30236 3548.67/3560.74 c #Conflicts: 1648000 | #Constraints: 31238 3548.67/3560.74 c #Conflicts: 1649000 | #Constraints: 32238 3548.67/3560.74 c #Conflicts: 1650000 | #Constraints: 33238 3548.67/3560.74 c #Conflicts: 1651000 | #Constraints: 34238 3548.67/3560.74 c #Conflicts: 1652000 | #Constraints: 35238 3548.67/3560.74 c #Conflicts: 1653000 | #Constraints: 36238 3548.67/3560.74 c #Conflicts: 1654000 | #Constraints: 37238 3548.67/3560.74 c #Conflicts: 1655000 | #Constraints: 38238 3548.67/3560.74 c #Conflicts: 1656000 | #Constraints: 39238 3548.67/3560.74 c #Conflicts: 1657000 | #Constraints: 40238 3548.67/3560.74 c #Conflicts: 1658000 | #Constraints: 41238 3548.67/3560.74 c #Conflicts: 1659000 | #Constraints: 42238 3548.67/3560.74 c #Conflicts: 1660000 | #Constraints: 43238 3548.67/3560.74 c #Conflicts: 1661000 | #Constraints: 44238 3548.67/3560.74 c #Conflicts: 1662000 | #Constraints: 45238 3548.67/3560.74 c #Conflicts: 1663000 | #Constraints: 46238 3548.67/3560.74 c #Conflicts: 1664000 | #Constraints: 47239 3548.67/3560.74 c #Conflicts: 1665000 | #Constraints: 48239 3548.67/3560.74 c #Conflicts: 1666000 | #Constraints: 49239 3548.67/3560.74 c #Conflicts: 1667000 | #Constraints: 50239 3548.67/3560.74 c #Conflicts: 1668000 | #Constraints: 51240 3548.67/3560.74 c INPROCESSING 3548.67/3560.74 c GARBAGE COLLECT 3548.67/3560.74 c rational objective 0 3600.04/3612.20 c #Conflicts: 1669000 | #Constraints: 26639 3600.04/3612.20 c #Conflicts: 1670000 | #Constraints: 27639 3600.04/3612.20 c #Conflicts: 1671000 | #Constraints: 28639 3600.04/3612.20 c #Conflicts: 1672000 | #Constraints: 29639 3600.04/3612.20 c #Conflicts: 1673000 | #Constraints: 30639 3600.04/3612.20 c #Conflicts: 1674000 | #Constraints: 31639 3600.04/3612.20 c #Conflicts: 1675000 | #Constraints: 32640 3600.04/3612.20 c #Conflicts: 1676000 | #Constraints: 33640 3600.04/3612.20 c #Conflicts: 1677000 | #Constraints: 34640 3600.04/3612.20 c #Conflicts: 1678000 | #Constraints: 35640 3600.04/3612.20 c #Conflicts: 1679000 | #Constraints: 36640 3600.04/3612.20 c #Conflicts: 1680000 | #Constraints: 37640 3600.04/3612.20 c #Conflicts: 1681000 | #Constraints: 38640 3600.04/3612.20 c #Conflicts: 1682000 | #Constraints: 39640 3600.04/3612.20 c #Conflicts: 1683000 | #Constraints: 40640 3600.04/3612.20 c #Conflicts: 1684000 | #Constraints: 41640 3600.04/3612.20 c #Conflicts: 1685000 | #Constraints: 42640 3600.04/3612.20 c #Conflicts: 1686000 | #Constraints: 43640 3600.04/3612.20 c #Conflicts: 1687000 | #Constraints: 44640 3600.04/3612.20 c #Conflicts: 1688000 | #Constraints: 45640 3600.04/3612.20 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: 63931 MiB (63369 MiB free)
memory of node 1: 64510 MiB (63564 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462607-1722340768/watcher-4462607-1722340768 -o /tmp/evaluation-result-4462607-1722340768/solver-4462607-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462607-1722340768 --lp-cut-gomory=0 HOME/instance-4462607-1722340768.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
Current StackSize limit: 8192 KiB
solver pid=6866, runsolver pid=6863
[startup+0.100947 s]*
/proc/loadavg: 0.44 0.16 0.11 5/259 6869
/proc/meminfo: memFree=129968192/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=38160 memory=9000 CPUtime=0.09 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 547 0 0 0 9 0 0 0 20 0 1 0 672353 39075840 2250 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 9540 2250 1891 992 0 1398 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38160 KiB
Current children cumulated memory: 9000 KiB
[startup+0.205407 s]*
/proc/loadavg: 0.44 0.16 0.11 7/259 6869
/proc/meminfo: memFree=129955488/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=38284 memory=9360 CPUtime=0.2 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 671 0 0 0 19 1 0 0 20 0 1 0 672353 39202816 2340 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 9571 2340 1891 992 0 1429 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 9360 KiB
[startup+0.305299 s]*
/proc/loadavg: 0.44 0.16 0.11 5/259 6869
/proc/meminfo: memFree=129943320/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=38404 memory=9812 CPUtime=0.3 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 761 0 0 0 28 2 0 0 20 0 1 0 672353 39325696 2453 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 9601 2453 1891 992 0 1459 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38404 KiB
Current children cumulated memory: 9812 KiB
[startup+0.700188 s]
/proc/loadavg: 0.44 0.16 0.11 5/259 6869
/proc/meminfo: memFree=129919684/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=38808 memory=12296 CPUtime=0.69 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 886 0 0 0 64 5 0 0 20 0 1 0 672353 39739392 3074 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 9702 3074 1891 992 0 1560 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38808 KiB
Current children cumulated memory: 12296 KiB
[startup+1.50018 s]
/proc/loadavg: 0.44 0.16 0.11 5/259 6869
/proc/meminfo: memFree=129865944/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=39548 memory=12912 CPUtime=1.48 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 1058 0 0 0 140 8 0 0 20 0 1 0 672353 40497152 3228 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 9887 3228 1891 992 0 1745 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39548 KiB
Current children cumulated memory: 12912 KiB
[startup+3.10543 s]
/proc/loadavg: 0.73 0.22 0.13 5/262 6872
/proc/meminfo: memFree=129670232/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=40136 memory=13688 CPUtime=3.08 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 1209 0 0 0 293 15 0 0 20 0 1 0 672353 41099264 3422 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 10034 3422 1891 992 0 1892 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40136 KiB
Current children cumulated memory: 13688 KiB
[startup+6.30019 s]
/proc/loadavg: 0.73 0.22 0.13 5/262 6872
/proc/meminfo: memFree=129380736/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=40936 memory=14476 CPUtime=6.27 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 1408 0 0 0 602 25 0 0 20 0 1 0 672353 41918464 3619 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 10234 3619 1891 992 0 2092 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40936 KiB
Current children cumulated memory: 14476 KiB
[startup+12.7002 s]
/proc/loadavg: 0.99 0.28 0.15 4/262 6873
/proc/meminfo: memFree=128921308/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=41528 memory=15544 CPUtime=12.61 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 1678 0 0 0 1211 50 0 0 20 0 1 0 672353 42524672 3886 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 10382 3886 1891 992 0 2240 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 41528 KiB
Current children cumulated memory: 15544 KiB
[startup+25.5002 s]
/proc/loadavg: 1.66 0.47 0.22 5/262 6969
/proc/meminfo: memFree=128409796/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=45816 memory=17920 CPUtime=25.37 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 2312 0 0 0 2456 81 0 0 20 0 1 0 672353 46915584 4480 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 11454 4480 1891 992 0 3312 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 45816 KiB
Current children cumulated memory: 17920 KiB
[startup+51.1056 s]
/proc/loadavg: 2.52 0.77 0.32 5/262 6975
/proc/meminfo: memFree=127353828/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=46648 memory=20308 CPUtime=50.82 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 3078 0 0 0 4938 144 0 0 20 0 1 0 672353 47767552 5077 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 11662 5077 1891 992 0 3520 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 46648 KiB
Current children cumulated memory: 20308 KiB
[startup+102.3 s]
/proc/loadavg: 3.36 1.27 0.52 5/260 6995
/proc/meminfo: memFree=126301640/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=53180 memory=25264 CPUtime=101.81 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 3975 0 0 0 9945 236 0 0 20 0 1 0 672353 54456320 6316 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 13295 6316 1891 992 0 5153 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 53180 KiB
Current children cumulated memory: 25264 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 1.80 0.75 5/260 7005
/proc/meminfo: memFree=125587008/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=55372 memory=27336 CPUtime=161.57 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 4678 0 0 0 15831 326 0 0 20 0 1 0 672353 56700928 6834 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 13843 6834 1891 992 0 5701 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 55372 KiB
Current children cumulated memory: 27336 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.22 0.96 5/260 7017
/proc/meminfo: memFree=124500768/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=55748 memory=29988 CPUtime=221.33 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 5016 0 0 0 21720 413 0 0 20 0 1 0 672353 57085952 7497 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 13937 7497 1891 992 0 5795 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 55748 KiB
Current children cumulated memory: 29988 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.57 1.16 5/259 7028
/proc/meminfo: memFree=123828516/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=63504 memory=30648 CPUtime=281.09 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 5475 0 0 0 27619 490 0 0 20 0 1 0 672353 65028096 7662 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 15876 7662 1891 992 0 7734 0
Current children cumulated CPU time: 281.09 s
Current children cumulated vsize: 63504 KiB
Current children cumulated memory: 30648 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 2.85 1.35 5/258 7039
/proc/meminfo: memFree=123277528/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=63888 memory=31496 CPUtime=340.89 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 5985 0 0 0 33532 557 0 0 20 0 1 0 672353 65421312 7874 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 15972 7874 1891 992 0 7830 0
Current children cumulated CPU time: 340.89 s
Current children cumulated vsize: 63888 KiB
Current children cumulated memory: 31496 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.09 1.53 5/258 7050
/proc/meminfo: memFree=122476824/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=64272 memory=31812 CPUtime=400.67 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 6299 0 0 0 39439 628 0 0 20 0 1 0 672353 65814528 7953 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 16068 7953 1891 992 0 7926 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 64272 KiB
Current children cumulated memory: 31812 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.28 1.69 5/257 7061
/proc/meminfo: memFree=121673408/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=64784 memory=32060 CPUtime=460.39 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 6525 0 0 0 45343 696 0 0 20 0 1 0 672353 66338816 8015 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 16196 8015 1891 992 0 8054 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/260 8169
/proc/meminfo: memFree=98028052/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=85100 memory=50552 CPUtime=3091.55 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 14250 0 0 0 306557 2598 0 0 20 0 1 0 672353 87142400 12638 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21275 12638 1891 992 0 13133 0
Current children cumulated CPU time: 3091.55 s
Current children cumulated vsize: 85100 KiB
Current children cumulated memory: 50552 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.10 4.01 5/260 8179
/proc/meminfo: memFree=97658984/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=85356 memory=50812 CPUtime=3151.37 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 14464 0 0 0 312509 2628 0 0 20 0 1 0 672353 87404544 12703 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21339 12703 1891 992 0 13197 0
Current children cumulated CPU time: 3151.37 s
Current children cumulated vsize: 85356 KiB
Current children cumulated memory: 50812 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.02 5/260 8191
/proc/meminfo: memFree=97156436/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=85612 memory=53116 CPUtime=3211.18 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 14680 0 0 0 318452 2666 0 0 20 0 1 0 672353 87666688 13279 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21403 13279 1891 992 0 13261 0
Current children cumulated CPU time: 3211.18 s
Current children cumulated vsize: 85612 KiB
Current children cumulated memory: 53116 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/261 8204
/proc/meminfo: memFree=96664152/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=85612 memory=53116 CPUtime=3271 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 14698 0 0 0 324401 2699 0 0 20 0 1 0 672353 87666688 13279 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21403 13279 1891 992 0 13261 0
Current children cumulated CPU time: 3271 s
Current children cumulated vsize: 85612 KiB
Current children cumulated memory: 53116 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/260 8215
/proc/meminfo: memFree=96249852/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=85616 memory=53168 CPUtime=3330.82 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 14851 0 0 0 330345 2737 0 0 20 0 1 0 672353 87670784 13292 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21404 13292 1891 992 0 13262 0
Current children cumulated CPU time: 3330.82 s
Current children cumulated vsize: 85616 KiB
Current children cumulated memory: 53168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/262 8613
/proc/meminfo: memFree=95972540/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=85872 memory=53580 CPUtime=3390.64 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 15078 0 0 0 336289 2775 0 0 20 0 1 0 672353 87932928 13395 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21468 13395 1891 992 0 13326 0
Current children cumulated CPU time: 3390.64 s
Current children cumulated vsize: 85872 KiB
Current children cumulated memory: 53580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/262 8623
/proc/meminfo: memFree=95713212/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=86444 memory=53772 CPUtime=3450.5 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 15151 0 0 0 342239 2811 0 0 20 0 1 0 672353 88518656 13443 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21611 13443 1891 992 0 13469 0
Current children cumulated CPU time: 3450.5 s
Current children cumulated vsize: 86444 KiB
Current children cumulated memory: 53772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/262 8635
/proc/meminfo: memFree=95552056/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=86644 memory=54128 CPUtime=3510.36 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 15391 0 0 0 348196 2840 0 0 20 0 1 0 672353 88723456 13532 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21661 13532 1891 992 0 13519 0
Current children cumulated CPU time: 3510.36 s
Current children cumulated vsize: 86644 KiB
Current children cumulated memory: 54128 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/259 8813
/proc/meminfo: memFree=95201412/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=87212 memory=54452 CPUtime=3570.21 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 15633 0 0 0 354150 2871 0 0 20 0 1 0 672353 89305088 13613 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21803 13613 1891 992 0 13661 0
Current children cumulated CPU time: 3570.21 s
Current children cumulated vsize: 87212 KiB
Current children cumulated memory: 54452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.10 4.09 4.02 5/255 8892
/proc/meminfo: memFree=116539304/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=87212 memory=54452 CPUtime=3600.04 cores=4,6
/proc/6866/stat : 6866 (roundingsat) R 6863 6866 6746 0 -1 4194304 15653 0 0 0 357113 2891 0 0 20 0 1 0 672353 89305088 13613 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21803 13613 1891 992 0 13661 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 87212 KiB
Current children cumulated memory: 54452 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.09 4.09 4.02 3/261 8912
/proc/meminfo: memFree=117691272/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=87212 memory=54452 CPUtime=3600.04 cores=4,6
/proc/6866/stat : 6866 (roundingsat) D 6863 6866 6746 0 -1 4194304 15661 0 0 0 357113 2891 0 0 20 0 1 0 672353 89305088 13613 134679101440 4194304 8255733 140733972203472 0 0 256 0 0 25182210 0 0 0 17 4 0 0 124 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21803 13613 1891 992 0 13661 0
??? kill 6866 sig 9
??? end of watcher thread
[startup+3627.37 s]
# the end of solver process 6866 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3571.14 s, system=28.9151 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3613.4 s]
/proc/loadavg: 4.10 4.09 4.02 3/261 8912
/proc/meminfo: memFree=117706276/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=87212 memory=54452 CPUtime=3600.04 cores=4,6
/proc/6866/stat : 6866 (roundingsat) D 6863 6866 6746 0 -1 4194304 15661 0 0 0 357113 2891 0 0 20 0 1 0 672353 89305088 13613 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 124 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21803 13613 1891 992 0 13661 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 87212 KiB
Current children cumulated memory: 54452 KiB
[startup+3613.8 s]
/proc/loadavg: 4.09 4.09 4.02 3/261 8912
/proc/meminfo: memFree=117697240/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=87212 memory=54452 CPUtime=3600.04 cores=4,6
/proc/6866/stat : 6866 (roundingsat) D 6863 6866 6746 0 -1 4194304 15661 0 0 0 357113 2891 0 0 20 0 1 0 672353 89305088 13613 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 124 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21803 13613 1891 992 0 13661 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 87212 KiB
Current children cumulated memory: 54452 KiB
[startup+3614.2 s]
/proc/loadavg: 4.09 4.09 4.02 3/261 8912
/proc/meminfo: memFree=117697240/131524600 swapFree=131071996/131071996
[pid=6866] ppid=6863 vsize=87212 memory=54452 CPUtime=3600.04 cores=4,6
/proc/6866/stat : 6866 (roundingsat) D 6863 6866 6746 0 -1 4194304 15661 0 0 0 357113 2891 0 0 20 0 1 0 672353 89305088 13613 134679101440 4194304 8255733 140733972203472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 124 0 0 9037040 9046032 39583744 140733972206430 140733972206692 140733972206692 140733972213705 0
/proc/6866/statm: 21803 13613 1891 992 0 13661 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 87212 KiB
Current children cumulated memory: 54452 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3627.37
CPU time (s): 3600.05
CPU user time (s): 3571.14
CPU system time (s): 28.9151
CPU usage (%): 99.2469
Max. virtual memory (cumulated for all children) (KiB): 87212
Max. memory (cumulated for all children) (KiB): 54452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.14
system time used= 28.9151
maximum resident set size= 54912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20255744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 557
involuntary context switches= 4939
# summary of solver processes directly reported to runsolver:
# pid: 6866
# total CPU time (s): 3600.05
# total CPU user time (s): 3571.14
# total CPU system time (s): 28.9151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54736 second user time and 16.6989 second system time
The end
Begin job on nodeC014 at 2024-07-30 13:59:28 IDJOB=4462607 IDBENCH=147612 IDSOLVER=3089 FILE ID=nodeC014/4462607-1722340768 RUNJOBID= nodeC014-1722340763-6758 SLURM_JOB_ID= 8248977 Free space on /tmp= 890056 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462607-1722340768/watcher-4462607-1722340768 -o /tmp/evaluation-result-4462607-1722340768/solver-4462607-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462607-1722340768 --lp-cut-gomory=0 HOME/instance-4462607-1722340768.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277 RANDOM SEED=52205761 nodeC014.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 : 3677.415 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.06 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.210 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 : 7007.10 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 : 3637.324 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.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.038 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 : 7007.10 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 : 3659.372 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.06 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 : 3688.227 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 : 7007.10 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 : 3648.859 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.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.451 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 : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129983248 kB MemAvailable: 129768924 kB Buffers: 45720 kB Cached: 577680 kB SwapCached: 0 kB Active: 146352 kB Inactive: 929552 kB Active(anon): 1532 kB Inactive(anon): 472072 kB Active(file): 144820 kB Inactive(file): 457480 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 245960 kB Writeback: 120 kB AnonPages: 451816 kB Mapped: 96284 kB Shmem: 21336 kB KReclaimable: 46048 kB Slab: 128172 kB SReclaimable: 46048 kB SUnreclaim: 82124 kB KernelStack: 4204 kB PageTables: 10132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 810004 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 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: 174804 kB DirectMap2M: 10084352 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890052 MiB End job on nodeC014 at 2024-07-30 14:59:55