| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 5 | 3600.03 | 3609.43 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | d93197574d7bf829fc84498a7cd9d0ce |
| 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 | 3583.48 |
| 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 | 66 |
| 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 | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| 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.001017 0.00/0.00 c rational objective 0 0.31/0.35 c bounds 89 >= 0 @ 0.014498 0.31/0.35 c bounds 88 >= 0 @ 0.018096 0.31/0.35 c bounds 86 >= 0 @ 0.018533 0.31/0.35 c bounds 82 >= 0 @ 0.033995 0.31/0.35 c bounds 74 >= 0 @ 0.034944 0.31/0.35 c bounds 72 >= 0 @ 0.034947 0.31/0.35 c bounds 68 >= 0 @ 0.034947 0.31/0.35 c bounds 66 >= 0 @ 0.035203 0.31/0.35 c bounds 62 >= 0 @ 0.035922 0.31/0.35 c bounds 52 >= 0 @ 0.036282 0.31/0.35 c bounds 36 >= 0 @ 0.038417 0.31/0.35 c bounds 35 >= 0 @ 0.092793 0.31/0.35 c bounds 33 >= 0 @ 0.09405 0.31/0.35 c bounds 29 >= 0 @ 0.095435 0.31/0.35 c bounds 27 >= 0 @ 0.09577 0.31/0.35 c bounds 25 >= 0 @ 0.095811 0.31/0.35 c bounds 21 >= 0 @ 0.096312 0.31/0.35 c #Conflicts: 1000 | #Constraints: 1050 0.31/0.35 c #Conflicts: 2000 | #Constraints: 2063 0.31/0.35 c INPROCESSING 0.31/0.35 c GARBAGE COLLECT 0.31/0.35 c rational objective 0 0.79/0.86 c #Conflicts: 3000 | #Constraints: 2048 0.79/0.86 c #Conflicts: 4000 | #Constraints: 3056 0.79/0.86 c INPROCESSING 0.79/0.86 c GARBAGE COLLECT 0.79/0.86 c rational objective 0 1.48/1.57 c #Conflicts: 5000 | #Constraints: 2452 1.48/1.57 c #Conflicts: 6000 | #Constraints: 3461 1.48/1.57 c INPROCESSING 1.48/1.57 c GARBAGE COLLECT 1.48/1.57 c rational objective 0 2.28/2.31 c #Conflicts: 7000 | #Constraints: 2456 2.28/2.31 c #Conflicts: 8000 | #Constraints: 3459 2.28/2.31 c #Conflicts: 9000 | #Constraints: 4463 2.28/2.31 c INPROCESSING 2.28/2.31 c GARBAGE COLLECT 2.28/2.31 c rational objective 0 3.18/3.29 c #Conflicts: 10000 | #Constraints: 3147 3.18/3.29 c #Conflicts: 11000 | #Constraints: 4152 3.18/3.29 c #Conflicts: 12000 | #Constraints: 5154 3.18/3.29 c INPROCESSING 3.18/3.29 c GARBAGE COLLECT 3.18/3.29 c rational objective 0 4.17/4.24 c #Conflicts: 13000 | #Constraints: 3596 4.17/4.24 c #Conflicts: 14000 | #Constraints: 4600 4.17/4.24 c #Conflicts: 15000 | #Constraints: 5603 4.17/4.24 c INPROCESSING 4.17/4.24 c GARBAGE COLLECT 4.17/4.24 c rational objective 0 5.47/5.50 c #Conflicts: 16000 | #Constraints: 3819 5.47/5.50 c #Conflicts: 17000 | #Constraints: 4821 5.47/5.50 c #Conflicts: 18000 | #Constraints: 5826 5.47/5.50 c INPROCESSING 5.47/5.50 c GARBAGE COLLECT 5.47/5.50 c rational objective 0 6.67/6.70 c #Conflicts: 19000 | #Constraints: 3835 6.67/6.70 c #Conflicts: 20000 | #Constraints: 4837 6.67/6.70 c #Conflicts: 21000 | #Constraints: 5842 6.67/6.70 c INPROCESSING 6.67/6.70 c GARBAGE COLLECT 6.67/6.70 c rational objective 0 7.86/7.93 c #Conflicts: 22000 | #Constraints: 3638 7.86/7.93 c #Conflicts: 23000 | #Constraints: 4639 7.86/7.93 c #Conflicts: 24000 | #Constraints: 5642 7.86/7.93 c #Conflicts: 25000 | #Constraints: 6643 7.86/7.93 c INPROCESSING 7.86/7.93 c GARBAGE COLLECT 7.86/7.93 c rational objective 0 9.56/9.69 c #Conflicts: 26000 | #Constraints: 4239 9.56/9.69 c #Conflicts: 27000 | #Constraints: 5241 9.56/9.69 c #Conflicts: 28000 | #Constraints: 6245 9.56/9.69 c #Conflicts: 29000 | #Constraints: 7251 9.56/9.69 c INPROCESSING 9.56/9.69 c GARBAGE COLLECT 9.56/9.69 c rational objective 0 11.06/11.18 c #Conflicts: 30000 | #Constraints: 4641 11.06/11.18 c #Conflicts: 31000 | #Constraints: 5646 11.06/11.18 c #Conflicts: 32000 | #Constraints: 6649 11.06/11.18 c #Conflicts: 33000 | #Constraints: 7651 11.06/11.18 c INPROCESSING 11.06/11.18 c GARBAGE COLLECT 11.06/11.18 c rational objective 0 13.06/13.19 c #Conflicts: 34000 | #Constraints: 4844 13.06/13.19 c #Conflicts: 35000 | #Constraints: 5846 13.06/13.19 c bounds 18 >= 0 @ 11.7942 13.06/13.19 c #Conflicts: 36000 | #Constraints: 6848 13.06/13.19 c #Conflicts: 37000 | #Constraints: 7851 13.06/13.19 c INPROCESSING 13.06/13.19 c GARBAGE COLLECT 13.06/13.19 c rational objective 0 14.96/15.10 c bounds 12 >= 0 @ 12.6784 14.96/15.10 c bounds 10 >= 0 @ 12.6805 14.96/15.10 c #Conflicts: 38000 | #Constraints: 4844 14.96/15.10 c bounds 6 >= 0 @ 13.1863 14.96/15.10 c #Conflicts: 39000 | #Constraints: 5849 14.96/15.10 c #Conflicts: 40000 | #Constraints: 6850 14.96/15.10 c #Conflicts: 41000 | #Constraints: 7852 14.96/15.10 c INPROCESSING 14.96/15.10 c GARBAGE COLLECT 14.96/15.10 c rational objective 0 17.24/17.37 c #Conflicts: 42000 | #Constraints: 4629 17.24/17.37 c #Conflicts: 43000 | #Constraints: 5635 17.24/17.37 c #Conflicts: 44000 | #Constraints: 6638 17.24/17.37 c #Conflicts: 45000 | #Constraints: 7641 17.24/17.37 c #Conflicts: 46000 | #Constraints: 8644 17.24/17.37 c INPROCESSING 17.24/17.37 c GARBAGE COLLECT 17.24/17.37 c rational objective 0 19.23/19.39 c #Conflicts: 47000 | #Constraints: 5239 19.23/19.39 c #Conflicts: 48000 | #Constraints: 6240 19.23/19.39 c #Conflicts: 49000 | #Constraints: 7242 19.23/19.39 c #Conflicts: 50000 | #Constraints: 8246 19.23/19.39 c #Conflicts: 51000 | #Constraints: 9247 19.23/19.39 c INPROCESSING 19.23/19.39 c GARBAGE COLLECT 19.23/19.39 c rational objective 0 21.94/22.09 c #Conflicts: 52000 | #Constraints: 5643 21.94/22.09 c #Conflicts: 53000 | #Constraints: 6645 21.94/22.09 c #Conflicts: 54000 | #Constraints: 7649 21.94/22.09 c #Conflicts: 55000 | #Constraints: 8649 21.94/22.09 c #Conflicts: 56000 | #Constraints: 9652 21.94/22.09 c INPROCESSING 21.94/22.09 c GARBAGE COLLECT 21.94/22.09 c rational objective 0 24.42/24.54 c #Conflicts: 57000 | #Constraints: 5844 24.42/24.54 c #Conflicts: 58000 | #Constraints: 6845 24.42/24.54 c #Conflicts: 59000 | #Constraints: 7849 24.42/24.54 c #Conflicts: 60000 | #Constraints: 8851 24.42/24.54 c #Conflicts: 61000 | #Constraints: 9851 24.42/24.54 c INPROCESSING 24.42/24.54 c GARBAGE COLLECT 24.42/24.54 c rational objective 0 27.71/27.82 c #Conflicts: 62000 | #Constraints: 5841 27.71/27.82 c #Conflicts: 63000 | #Constraints: 6843 27.71/27.82 c #Conflicts: 64000 | #Constraints: 7843 27.71/27.82 c #Conflicts: 65000 | #Constraints: 8846 27.71/27.82 c #Conflicts: 66000 | #Constraints: 9847 27.71/27.82 c INPROCESSING 27.71/27.82 c GARBAGE COLLECT 27.71/27.82 c rational objective 0 30.60/30.76 c #Conflicts: 67000 | #Constraints: 5640 30.60/30.76 c #Conflicts: 68000 | #Constraints: 6642 30.60/30.76 c #Conflicts: 69000 | #Constraints: 7642 30.60/30.76 c #Conflicts: 70000 | #Constraints: 8646 30.60/30.76 c #Conflicts: 71000 | #Constraints: 9647 30.60/30.76 c #Conflicts: 72000 | #Constraints: 10649 30.60/30.76 c INPROCESSING 30.60/30.76 c GARBAGE COLLECT 30.60/30.76 c rational objective 0 33.59/33.74 c #Conflicts: 73000 | #Constraints: 6241 33.59/33.74 c #Conflicts: 74000 | #Constraints: 7244 33.59/33.74 c #Conflicts: 75000 | #Constraints: 8248 33.59/33.74 c #Conflicts: 76000 | #Constraints: 9248 33.59/33.74 c #Conflicts: 77000 | #Constraints: 10248 33.59/33.74 c #Conflicts: 78000 | #Constraints: 11249 33.59/33.74 c INPROCESSING 33.59/33.74 c GARBAGE COLLECT 33.59/33.74 c rational objective 0 37.68/37.88 c #Conflicts: 79000 | #Constraints: 6639 37.68/37.88 c #Conflicts: 80000 | #Constraints: 7639 37.68/37.88 c #Conflicts: 81000 | #Constraints: 8641 37.68/37.88 c #Conflicts: 82000 | #Constraints: 9642 37.68/37.88 c #Conflicts: 83000 | #Constraints: 10645 37.68/37.88 c #Conflicts: 84000 | #Constraints: 11645 37.68/37.88 c INPROCESSING 37.68/37.88 c GARBAGE COLLECT 37.68/37.88 c rational objective 0 41.66/41.85 c #Conflicts: 85000 | #Constraints: 6841 41.66/41.85 c #Conflicts: 86000 | #Constraints: 7841 41.66/41.85 c #Conflicts: 87000 | #Constraints: 8843 41.66/41.85 c #Conflicts: 88000 | #Constraints: 9844 41.66/41.85 c #Conflicts: 89000 | #Constraints: 10844 41.66/41.85 c #Conflicts: 90000 | #Constraints: 11844 41.66/41.85 c INPROCESSING 41.66/41.85 c GARBAGE COLLECT 41.66/41.85 c rational objective 0 46.55/46.74 c #Conflicts: 91000 | #Constraints: 6839 46.55/46.74 c #Conflicts: 92000 | #Constraints: 7839 46.55/46.74 c #Conflicts: 93000 | #Constraints: 8840 46.55/46.74 c #Conflicts: 94000 | #Constraints: 9840 46.55/46.74 c #Conflicts: 95000 | #Constraints: 10840 46.55/46.74 c #Conflicts: 96000 | #Constraints: 11840 46.55/46.74 c INPROCESSING 46.55/46.74 c GARBAGE COLLECT 46.55/46.74 c rational objective 0 51.34/51.56 c #Conflicts: 97000 | #Constraints: 6638 51.34/51.56 c #Conflicts: 98000 | #Constraints: 7640 51.34/51.56 c #Conflicts: 99000 | #Constraints: 8640 51.34/51.56 c #Conflicts: 100000 | #Constraints: 9640 51.34/51.56 c #Conflicts: 101000 | #Constraints: 10640 51.34/51.56 c #Conflicts: 102000 | #Constraints: 11641 51.34/51.56 c #Conflicts: 103000 | #Constraints: 12641 51.34/51.56 c INPROCESSING 51.34/51.56 c GARBAGE COLLECT 51.34/51.56 c rational objective 0 56.72/56.97 c #Conflicts: 104000 | #Constraints: 7239 56.72/56.97 c #Conflicts: 105000 | #Constraints: 8239 56.72/56.97 c #Conflicts: 106000 | #Constraints: 9240 56.72/56.97 c #Conflicts: 107000 | #Constraints: 10244 56.72/56.97 c #Conflicts: 108000 | #Constraints: 11245 56.72/56.97 c #Conflicts: 109000 | #Constraints: 12245 56.72/56.97 c #Conflicts: 110000 | #Constraints: 13246 56.72/56.97 c INPROCESSING 56.72/56.97 c GARBAGE COLLECT 56.72/56.97 c rational objective 0 61.11/61.32 c #Conflicts: 111000 | #Constraints: 7642 61.11/61.32 c #Conflicts: 112000 | #Constraints: 8643 61.11/61.32 c #Conflicts: 113000 | #Constraints: 9645 61.11/61.32 c #Conflicts: 114000 | #Constraints: 10645 61.11/61.32 c #Conflicts: 115000 | #Constraints: 11646 61.11/61.32 c #Conflicts: 116000 | #Constraints: 12646 61.11/61.32 c #Conflicts: 117000 | #Constraints: 13646 61.11/61.32 c INPROCESSING 61.11/61.32 c GARBAGE COLLECT 61.11/61.32 c rational objective 0 67.09/67.34 c #Conflicts: 118000 | #Constraints: 7840 67.09/67.34 c #Conflicts: 119000 | #Constraints: 8840 67.09/67.34 c #Conflicts: 120000 | #Constraints: 9840 67.09/67.34 c #Conflicts: 121000 | #Constraints: 10842 67.09/67.34 c #Conflicts: 122000 | #Constraints: 11842 67.09/67.34 c #Conflicts: 123000 | #Constraints: 12845 67.09/67.34 c #Conflicts: 124000 | #Constraints: 13845 67.09/67.34 c INPROCESSING 67.09/67.34 c GARBAGE COLLECT 67.09/67.34 c rational objective 0 72.27/72.58 c #Conflicts: 125000 | #Constraints: 7840 72.27/72.58 c #Conflicts: 126000 | #Constraints: 8840 72.27/72.58 c #Conflicts: 127000 | #Constraints: 9840 72.27/72.58 c #Conflicts: 128000 | #Constraints: 10841 72.27/72.58 c #Conflicts: 129000 | #Constraints: 11841 72.27/72.58 c #Conflicts: 130000 | #Constraints: 12841 72.27/72.58 c #Conflicts: 131000 | #Constraints: 13841 72.27/72.58 c INPROCESSING 72.27/72.58 c GARBAGE COLLECT 72.27/72.58 c rational objective 0 77.56/77.89 c #Conflicts: 132000 | #Constraints: 7636 77.56/77.89 c #Conflicts: 133000 | #Constraints: 8637 77.56/77.89 c #Conflicts: 134000 | #Constraints: 9637 77.56/77.89 c #Conflicts: 135000 | #Constraints: 10639 77.56/77.89 c #Conflicts: 136000 | #Constraints: 11639 77.56/77.89 c #Conflicts: 137000 | #Constraints: 12640 77.56/77.89 c #Conflicts: 138000 | #Constraints: 13641 77.56/77.89 c #Conflicts: 139000 | #Constraints: 14641 77.56/77.89 c INPROCESSING 77.56/77.89 c GARBAGE COLLECT 77.56/77.89 c rational objective 0 84.74/85.08 c #Conflicts: 140000 | #Constraints: 8236 84.74/85.08 c #Conflicts: 141000 | #Constraints: 9236 84.74/85.08 c #Conflicts: 142000 | #Constraints: 10239 84.74/85.08 c #Conflicts: 143000 | #Constraints: 11239 84.74/85.08 c #Conflicts: 144000 | #Constraints: 12240 84.74/85.08 c #Conflicts: 145000 | #Constraints: 13241 84.74/85.08 c #Conflicts: 146000 | #Constraints: 14241 84.74/85.08 c #Conflicts: 147000 | #Constraints: 15242 84.74/85.08 c INPROCESSING 84.74/85.08 c GARBAGE COLLECT 84.74/85.08 c rational objective 0 90.62/90.92 c #Conflicts: 148000 | #Constraints: 8642 90.62/90.92 c #Conflicts: 149000 | #Constraints: 9642 90.62/90.92 c #Conflicts: 150000 | #Constraints: 10642 90.62/90.92 c #Conflicts: 151000 | #Constraints: 11643 90.62/90.92 c #Conflicts: 152000 | #Constraints: 12643 90.62/90.92 c #Conflicts: 153000 | #Constraints: 13643 90.62/90.92 c #Conflicts: 154000 | #Constraints: 14645 90.62/90.92 c #Conflicts: 155000 | #Constraints: 15645 90.62/90.92 c INPROCESSING 90.62/90.92 c GARBAGE COLLECT 90.62/90.92 c rational objective 0 98.39/98.74 c #Conflicts: 156000 | #Constraints: 8840 98.39/98.74 c bounds 5 >= 0 @ 90.2942 98.39/98.74 c #Conflicts: 157000 | #Constraints: 9841 98.39/98.74 c #Conflicts: 158000 | #Constraints: 10842 98.39/98.74 c #Conflicts: 159000 | #Constraints: 11843 98.39/98.74 c #Conflicts: 160000 | #Constraints: 12843 98.39/98.74 c #Conflicts: 161000 | #Constraints: 13843 98.39/98.74 c #Conflicts: 162000 | #Constraints: 14843 98.39/98.74 c #Conflicts: 163000 | #Constraints: 15844 98.39/98.74 c INPROCESSING 98.39/98.74 c GARBAGE COLLECT 98.39/98.74 c rational objective 0 105.57/105.94 c #Conflicts: 164000 | #Constraints: 8838 105.57/105.94 c #Conflicts: 165000 | #Constraints: 9838 105.57/105.94 c #Conflicts: 166000 | #Constraints: 10839 105.57/105.94 c #Conflicts: 167000 | #Constraints: 11840 105.57/105.94 c #Conflicts: 168000 | #Constraints: 12840 105.57/105.94 c #Conflicts: 169000 | #Constraints: 13841 105.57/105.94 c #Conflicts: 170000 | #Constraints: 14841 105.57/105.94 c #Conflicts: 171000 | #Constraints: 15841 105.57/105.94 c INPROCESSING 105.57/105.94 c GARBAGE COLLECT 105.57/105.94 c rational objective 0 114.66/115.05 c #Conflicts: 172000 | #Constraints: 8633 114.66/115.05 c #Conflicts: 173000 | #Constraints: 9634 114.66/115.05 c #Conflicts: 174000 | #Constraints: 10636 114.66/115.05 c #Conflicts: 175000 | #Constraints: 11637 114.66/115.05 c #Conflicts: 176000 | #Constraints: 12637 114.66/115.05 c #Conflicts: 177000 | #Constraints: 13638 114.66/115.05 c #Conflicts: 178000 | #Constraints: 14638 114.66/115.05 c #Conflicts: 179000 | #Constraints: 15639 114.66/115.05 c #Conflicts: 180000 | #Constraints: 16640 114.66/115.05 c INPROCESSING 114.66/115.05 c GARBAGE COLLECT 114.66/115.05 c rational objective 0 122.82/123.21 c #Conflicts: 181000 | #Constraints: 9239 122.82/123.21 c #Conflicts: 182000 | #Constraints: 10240 122.82/123.21 c #Conflicts: 183000 | #Constraints: 11242 122.82/123.21 c #Conflicts: 184000 | #Constraints: 12242 122.82/123.21 c #Conflicts: 185000 | #Constraints: 13242 122.82/123.21 c #Conflicts: 186000 | #Constraints: 14242 122.82/123.21 c #Conflicts: 187000 | #Constraints: 15243 122.82/123.21 c #Conflicts: 188000 | #Constraints: 16243 122.82/123.21 c #Conflicts: 189000 | #Constraints: 17243 122.82/123.21 c INPROCESSING 122.82/123.21 c GARBAGE COLLECT 122.82/123.21 c rational objective 0 132.60/133.10 c #Conflicts: 190000 | #Constraints: 9639 132.60/133.10 c #Conflicts: 191000 | #Constraints: 10640 132.60/133.10 c #Conflicts: 192000 | #Constraints: 11640 132.60/133.10 c #Conflicts: 193000 | #Constraints: 12642 132.60/133.10 c #Conflicts: 194000 | #Constraints: 13642 132.60/133.10 c #Conflicts: 195000 | #Constraints: 14642 132.60/133.10 c #Conflicts: 196000 | #Constraints: 15643 132.60/133.10 c #Conflicts: 197000 | #Constraints: 16643 132.60/133.10 c #Conflicts: 198000 | #Constraints: 17644 132.60/133.10 c INPROCESSING 132.60/133.10 c GARBAGE COLLECT 132.60/133.10 c rational objective 0 142.57/143.01 c #Conflicts: 199000 | #Constraints: 9842 142.57/143.01 c #Conflicts: 200000 | #Constraints: 10842 142.57/143.01 c #Conflicts: 201000 | #Constraints: 11842 142.57/143.01 c #Conflicts: 202000 | #Constraints: 12842 142.57/143.01 c #Conflicts: 203000 | #Constraints: 13842 142.57/143.01 c #Conflicts: 204000 | #Constraints: 14842 142.57/143.01 c #Conflicts: 205000 | #Constraints: 15842 142.57/143.01 c #Conflicts: 206000 | #Constraints: 16845 142.57/143.01 c #Conflicts: 207000 | #Constraints: 17845 142.57/143.01 c INPROCESSING 142.57/143.01 c GARBAGE COLLECT 142.57/143.01 c rational objective 0 153.72/154.23 c #Conflicts: 208000 | #Constraints: 9838 153.72/154.23 c #Conflicts: 209000 | #Constraints: 10838 153.72/154.23 c #Conflicts: 210000 | #Constraints: 11838 153.72/154.23 c #Conflicts: 211000 | #Constraints: 12838 153.72/154.23 c #Conflicts: 212000 | #Constraints: 13838 153.72/154.23 c #Conflicts: 213000 | #Constraints: 14840 153.72/154.23 c #Conflicts: 214000 | #Constraints: 15841 153.72/154.23 c #Conflicts: 215000 | #Constraints: 16841 153.72/154.23 c #Conflicts: 216000 | #Constraints: 17841 153.72/154.23 c INPROCESSING 153.72/154.23 c GARBAGE COLLECT 153.72/154.23 c rational objective 0 162.99/163.54 c #Conflicts: 217000 | #Constraints: 9638 162.99/163.54 c #Conflicts: 218000 | #Constraints: 10638 162.99/163.54 c #Conflicts: 219000 | #Constraints: 11638 162.99/163.54 c #Conflicts: 220000 | #Constraints: 12639 162.99/163.54 c #Conflicts: 221000 | #Constraints: 13639 162.99/163.54 c #Conflicts: 222000 | #Constraints: 14639 162.99/163.54 c #Conflicts: 223000 | #Constraints: 15639 162.99/163.54 c #Conflicts: 224000 | #Constraints: 16639 162.99/163.54 c #Conflicts: 225000 | #Constraints: 17639 162.99/163.54 c #Conflicts: 226000 | #Constraints: 18639 162.99/163.54 c INPROCESSING 162.99/163.54 c GARBAGE COLLECT 162.99/163.54 c rational objective 0 172.86/173.43 c #Conflicts: 227000 | #Constraints: 10236 172.86/173.43 c #Conflicts: 228000 | #Constraints: 11237 172.86/173.43 c #Conflicts: 229000 | #Constraints: 12237 172.86/173.43 c #Conflicts: 230000 | #Constraints: 13237 172.86/173.43 c #Conflicts: 231000 | #Constraints: 14237 172.86/173.43 c #Conflicts: 232000 | #Constraints: 15237 172.86/173.43 c #Conflicts: 233000 | #Constraints: 16237 172.86/173.43 c #Conflicts: 234000 | #Constraints: 17237 172.86/173.43 c #Conflicts: 235000 | #Constraints: 18237 172.86/173.43 c #Conflicts: 236000 | #Constraints: 19237 172.86/173.43 c INPROCESSING 172.86/173.43 c GARBAGE COLLECT 172.86/173.43 c rational objective 0 185.72/186.38 c #Conflicts: 237000 | #Constraints: 10633 185.72/186.38 c #Conflicts: 238000 | #Constraints: 11634 185.72/186.38 c #Conflicts: 239000 | #Constraints: 12634 185.72/186.38 c #Conflicts: 240000 | #Constraints: 13636 185.72/186.38 c #Conflicts: 241000 | #Constraints: 14637 185.72/186.38 c #Conflicts: 242000 | #Constraints: 15637 185.72/186.38 c #Conflicts: 243000 | #Constraints: 16637 185.72/186.38 c #Conflicts: 244000 | #Constraints: 17638 185.72/186.38 c #Conflicts: 245000 | #Constraints: 18638 185.72/186.38 c #Conflicts: 246000 | #Constraints: 19639 185.72/186.38 c INPROCESSING 185.72/186.38 c GARBAGE COLLECT 185.72/186.38 c rational objective 0 196.89/197.55 c #Conflicts: 247000 | #Constraints: 10839 196.89/197.55 c #Conflicts: 248000 | #Constraints: 11839 196.89/197.55 c #Conflicts: 249000 | #Constraints: 12839 196.89/197.55 c #Conflicts: 250000 | #Constraints: 13839 196.89/197.55 c #Conflicts: 251000 | #Constraints: 14839 196.89/197.55 c #Conflicts: 252000 | #Constraints: 15839 196.89/197.55 c #Conflicts: 253000 | #Constraints: 16839 196.89/197.55 c #Conflicts: 254000 | #Constraints: 17839 196.89/197.55 c #Conflicts: 255000 | #Constraints: 18841 196.89/197.55 c #Conflicts: 256000 | #Constraints: 19841 196.89/197.55 c INPROCESSING 196.89/197.55 c GARBAGE COLLECT 196.89/197.55 c rational objective 0 211.24/211.94 c #Conflicts: 257000 | #Constraints: 10836 211.24/211.94 c #Conflicts: 258000 | #Constraints: 11836 211.24/211.94 c #Conflicts: 259000 | #Constraints: 12836 211.24/211.94 c #Conflicts: 260000 | #Constraints: 13837 211.24/211.94 c #Conflicts: 261000 | #Constraints: 14837 211.24/211.94 c #Conflicts: 262000 | #Constraints: 15837 211.24/211.94 c #Conflicts: 263000 | #Constraints: 16837 211.24/211.94 c #Conflicts: 264000 | #Constraints: 17837 211.24/211.94 c #Conflicts: 265000 | #Constraints: 18837 211.24/211.94 c #Conflicts: 266000 | #Constraints: 19837 211.24/211.94 c INPROCESSING 211.24/211.94 c GARBAGE COLLECT 211.24/211.94 c rational objective 0 224.00/224.77 c #Conflicts: 267000 | #Constraints: 10635 224.00/224.77 c #Conflicts: 268000 | #Constraints: 11635 224.00/224.77 c #Conflicts: 269000 | #Constraints: 12635 224.00/224.77 c #Conflicts: 270000 | #Constraints: 13636 224.00/224.77 c #Conflicts: 271000 | #Constraints: 14636 224.00/224.77 c #Conflicts: 272000 | #Constraints: 15636 224.00/224.77 c #Conflicts: 273000 | #Constraints: 16636 224.00/224.77 c #Conflicts: 274000 | #Constraints: 17636 224.00/224.77 c #Conflicts: 275000 | #Constraints: 18637 224.00/224.77 c #Conflicts: 276000 | #Constraints: 19637 224.00/224.77 c #Conflicts: 277000 | #Constraints: 20637 224.00/224.77 c INPROCESSING 224.00/224.77 c GARBAGE COLLECT 224.00/224.77 c rational objective 0 239.95/240.79 c #Conflicts: 278000 | #Constraints: 11236 239.95/240.79 c #Conflicts: 279000 | #Constraints: 12239 239.95/240.79 c #Conflicts: 280000 | #Constraints: 13241 239.95/240.79 c #Conflicts: 281000 | #Constraints: 14242 239.95/240.79 c #Conflicts: 282000 | #Constraints: 15243 239.95/240.79 c #Conflicts: 283000 | #Constraints: 16243 239.95/240.79 c #Conflicts: 284000 | #Constraints: 17243 239.95/240.79 c #Conflicts: 285000 | #Constraints: 18243 239.95/240.79 c #Conflicts: 286000 | #Constraints: 19243 239.95/240.79 c #Conflicts: 287000 | #Constraints: 20243 239.95/240.79 c #Conflicts: 288000 | #Constraints: 21243 239.95/240.79 c INPROCESSING 239.95/240.79 c GARBAGE COLLECT 239.95/240.79 c rational objective 0 253.11/253.96 c #Conflicts: 289000 | #Constraints: 11643 253.11/253.96 c #Conflicts: 290000 | #Constraints: 12643 253.11/253.96 c #Conflicts: 291000 | #Constraints: 13643 253.11/253.96 c #Conflicts: 292000 | #Constraints: 14643 253.11/253.96 c #Conflicts: 293000 | #Constraints: 15643 253.11/253.96 c #Conflicts: 294000 | #Constraints: 16644 253.11/253.96 c #Conflicts: 295000 | #Constraints: 17645 253.11/253.96 c #Conflicts: 296000 | #Constraints: 18646 253.11/253.96 c #Conflicts: 297000 | #Constraints: 19647 253.11/253.96 c #Conflicts: 298000 | #Constraints: 20647 253.11/253.96 c #Conflicts: 299000 | #Constraints: 21648 253.11/253.96 c INPROCESSING 253.11/253.96 c GARBAGE COLLECT 253.11/253.96 c rational objective 0 270.85/271.72 c #Conflicts: 300000 | #Constraints: 11839 270.85/271.72 c #Conflicts: 301000 | #Constraints: 12839 270.85/271.72 c #Conflicts: 302000 | #Constraints: 13839 270.85/271.72 c #Conflicts: 303000 | #Constraints: 14839 270.85/271.72 c #Conflicts: 304000 | #Constraints: 15839 270.85/271.72 c #Conflicts: 305000 | #Constraints: 16839 270.85/271.72 c #Conflicts: 306000 | #Constraints: 17839 270.85/271.72 c #Conflicts: 307000 | #Constraints: 18839 270.85/271.72 c #Conflicts: 308000 | #Constraints: 19840 270.85/271.72 c #Conflicts: 309000 | #Constraints: 20842 270.85/271.72 c #Conflicts: 310000 | #Constraints: 21842 270.85/271.72 c INPROCESSING 270.85/271.72 c GARBAGE COLLECT 270.85/271.72 c rational objective 0 285.41/286.39 c #Conflicts: 311000 | #Constraints: 11840 285.41/286.39 c #Conflicts: 312000 | #Constraints: 12841 285.41/286.39 c #Conflicts: 313000 | #Constraints: 13842 285.41/286.39 c #Conflicts: 314000 | #Constraints: 14842 285.41/286.39 c #Conflicts: 315000 | #Constraints: 15842 285.41/286.39 c #Conflicts: 316000 | #Constraints: 16843 285.41/286.39 c #Conflicts: 317000 | #Constraints: 17843 285.41/286.39 c #Conflicts: 318000 | #Constraints: 18843 285.41/286.39 c #Conflicts: 319000 | #Constraints: 19843 285.41/286.39 c #Conflicts: 320000 | #Constraints: 20843 285.41/286.39 c #Conflicts: 321000 | #Constraints: 21843 285.41/286.39 c INPROCESSING 285.41/286.39 c GARBAGE COLLECT 285.41/286.39 c rational objective 0 300.08/301.06 c #Conflicts: 322000 | #Constraints: 11637 300.08/301.06 c #Conflicts: 323000 | #Constraints: 12637 300.08/301.06 c #Conflicts: 324000 | #Constraints: 13637 300.08/301.06 c #Conflicts: 325000 | #Constraints: 14637 300.08/301.06 c #Conflicts: 326000 | #Constraints: 15638 300.08/301.06 c #Conflicts: 327000 | #Constraints: 16638 300.08/301.06 c #Conflicts: 328000 | #Constraints: 17638 300.08/301.06 c #Conflicts: 329000 | #Constraints: 18638 300.08/301.06 c #Conflicts: 330000 | #Constraints: 19638 300.08/301.06 c #Conflicts: 331000 | #Constraints: 20638 300.08/301.06 c #Conflicts: 332000 | #Constraints: 21638 300.08/301.06 c #Conflicts: 333000 | #Constraints: 22638 300.08/301.06 c INPROCESSING 300.08/301.06 c GARBAGE COLLECT 300.08/301.06 c rational objective 0 318.93/319.99 c #Conflicts: 334000 | #Constraints: 12235 318.93/319.99 c #Conflicts: 335000 | #Constraints: 13235 318.93/319.99 c #Conflicts: 336000 | #Constraints: 14235 318.93/319.99 c #Conflicts: 337000 | #Constraints: 15235 318.93/319.99 c #Conflicts: 338000 | #Constraints: 16238 318.93/319.99 c #Conflicts: 339000 | #Constraints: 17238 318.93/319.99 c #Conflicts: 340000 | #Constraints: 18238 318.93/319.99 c #Conflicts: 341000 | #Constraints: 19238 318.93/319.99 c #Conflicts: 342000 | #Constraints: 20239 318.93/319.99 c #Conflicts: 343000 | #Constraints: 21239 318.93/319.99 c #Conflicts: 344000 | #Constraints: 22239 318.93/319.99 c #Conflicts: 345000 | #Constraints: 23241 318.93/319.99 c INPROCESSING 318.93/319.99 c GARBAGE COLLECT 318.93/319.99 c rational objective 0 334.58/335.64 c #Conflicts: 346000 | #Constraints: 12639 334.58/335.64 c #Conflicts: 347000 | #Constraints: 13640 334.58/335.64 c #Conflicts: 348000 | #Constraints: 14641 334.58/335.64 c #Conflicts: 349000 | #Constraints: 15641 334.58/335.64 c #Conflicts: 350000 | #Constraints: 16641 334.58/335.64 c #Conflicts: 351000 | #Constraints: 17642 334.58/335.64 c #Conflicts: 352000 | #Constraints: 18642 334.58/335.64 c #Conflicts: 353000 | #Constraints: 19643 334.58/335.64 c #Conflicts: 354000 | #Constraints: 20643 334.58/335.64 c #Conflicts: 355000 | #Constraints: 21643 334.58/335.64 c #Conflicts: 356000 | #Constraints: 22643 334.58/335.64 c #Conflicts: 357000 | #Constraints: 23643 334.58/335.64 c INPROCESSING 334.58/335.64 c GARBAGE COLLECT 334.58/335.64 c rational objective 0 355.23/356.30 c #Conflicts: 358000 | #Constraints: 12838 355.23/356.30 c #Conflicts: 359000 | #Constraints: 13838 355.23/356.30 c #Conflicts: 360000 | #Constraints: 14838 355.23/356.30 c #Conflicts: 361000 | #Constraints: 15838 355.23/356.30 c #Conflicts: 362000 | #Constraints: 16838 355.23/356.30 c #Conflicts: 363000 | #Constraints: 17839 355.23/356.30 c #Conflicts: 364000 | #Constraints: 18839 355.23/356.30 c #Conflicts: 365000 | #Constraints: 19839 355.23/356.30 c #Conflicts: 366000 | #Constraints: 20839 355.23/356.30 c #Conflicts: 367000 | #Constraints: 21839 355.23/356.30 c #Conflicts: 368000 | #Constraints: 22839 355.23/356.30 c #Conflicts: 369000 | #Constraints: 23840 355.23/356.30 c INPROCESSING 355.23/356.30 c GARBAGE COLLECT 355.23/356.30 c rational objective 0 372.90/374.02 c #Conflicts: 370000 | #Constraints: 12840 372.90/374.02 c #Conflicts: 371000 | #Constraints: 13840 372.90/374.02 c #Conflicts: 372000 | #Constraints: 14840 372.90/374.02 c #Conflicts: 373000 | #Constraints: 15840 372.90/374.02 c #Conflicts: 374000 | #Constraints: 16841 372.90/374.02 c #Conflicts: 375000 | #Constraints: 17841 372.90/374.02 c #Conflicts: 376000 | #Constraints: 18842 372.90/374.02 c #Conflicts: 377000 | #Constraints: 19842 372.90/374.02 c #Conflicts: 378000 | #Constraints: 20842 372.90/374.02 c #Conflicts: 379000 | #Constraints: 21842 372.90/374.02 c #Conflicts: 380000 | #Constraints: 22842 372.90/374.02 c #Conflicts: 381000 | #Constraints: 23842 372.90/374.02 c INPROCESSING 372.90/374.02 c GARBAGE COLLECT 372.90/374.02 c rational objective 0 395.34/396.56 c #Conflicts: 382000 | #Constraints: 12635 395.34/396.56 c #Conflicts: 383000 | #Constraints: 13635 395.34/396.56 c #Conflicts: 384000 | #Constraints: 14635 395.34/396.56 c #Conflicts: 385000 | #Constraints: 15635 395.34/396.56 c #Conflicts: 386000 | #Constraints: 16635 395.34/396.56 c #Conflicts: 387000 | #Constraints: 17635 395.34/396.56 c #Conflicts: 388000 | #Constraints: 18635 395.34/396.56 c #Conflicts: 389000 | #Constraints: 19635 395.34/396.56 c #Conflicts: 390000 | #Constraints: 20636 395.34/396.56 c #Conflicts: 391000 | #Constraints: 21638 395.34/396.56 c #Conflicts: 392000 | #Constraints: 22638 395.34/396.56 c #Conflicts: 393000 | #Constraints: 23638 395.34/396.56 c #Conflicts: 394000 | #Constraints: 24638 395.34/396.56 c INPROCESSING 395.34/396.56 c GARBAGE COLLECT 395.34/396.56 c rational objective 0 413.49/414.76 c #Conflicts: 395000 | #Constraints: 13239 413.49/414.76 c #Conflicts: 396000 | #Constraints: 14240 413.49/414.76 c #Conflicts: 397000 | #Constraints: 15240 413.49/414.76 c #Conflicts: 398000 | #Constraints: 16241 413.49/414.76 c #Conflicts: 399000 | #Constraints: 17241 413.49/414.76 c #Conflicts: 400000 | #Constraints: 18243 413.49/414.76 c #Conflicts: 401000 | #Constraints: 19243 413.49/414.76 c #Conflicts: 402000 | #Constraints: 20243 413.49/414.76 c #Conflicts: 403000 | #Constraints: 21243 413.49/414.76 c #Conflicts: 404000 | #Constraints: 22243 413.49/414.76 c #Conflicts: 405000 | #Constraints: 23243 413.49/414.76 c #Conflicts: 406000 | #Constraints: 24244 413.49/414.76 c #Conflicts: 407000 | #Constraints: 25244 413.49/414.76 c INPROCESSING 413.49/414.76 c GARBAGE COLLECT 413.49/414.76 c rational objective 0 437.84/439.12 c #Conflicts: 408000 | #Constraints: 13635 437.84/439.12 c #Conflicts: 409000 | #Constraints: 14635 437.84/439.12 c #Conflicts: 410000 | #Constraints: 15635 437.84/439.12 c #Conflicts: 411000 | #Constraints: 16635 437.84/439.12 c #Conflicts: 412000 | #Constraints: 17636 437.84/439.12 c #Conflicts: 413000 | #Constraints: 18636 437.84/439.12 c #Conflicts: 414000 | #Constraints: 19636 437.84/439.12 c #Conflicts: 415000 | #Constraints: 20636 437.84/439.12 c #Conflicts: 416000 | #Constraints: 21636 437.84/439.12 c #Conflicts: 417000 | #Constraints: 22636 437.84/439.12 c #Conflicts: 418000 | #Constraints: 23636 437.84/439.12 c #Conflicts: 419000 | #Constraints: 24636 437.84/439.12 c #Conflicts: 420000 | #Constraints: 25636 437.84/439.12 c INPROCESSING 437.84/439.12 c GARBAGE COLLECT 437.84/439.12 c rational objective 0 459.07/460.41 c #Conflicts: 421000 | #Constraints: 13840 459.07/460.41 c #Conflicts: 422000 | #Constraints: 14840 459.07/460.41 c #Conflicts: 423000 | #Constraints: 15840 459.07/460.41 c #Conflicts: 424000 | #Constraints: 16840 459.07/460.41 c #Conflicts: 425000 | #Constraints: 17840 459.07/460.41 c #Conflicts: 426000 | #Constraints: 18840 459.07/460.41 c #Conflicts: 427000 | #Constraints: 19841 459.07/460.41 c #Conflicts: 428000 | #Constraints: 20842 459.07/460.41 c #Conflicts: 429000 | #Constraints: 21843 459.07/460.41 c #Conflicts: 430000 | #Constraints: 22843 459.07/460.41 c #Conflicts: 431000 | #Constraints: 23843 459.07/460.41 c #Conflicts: 432000 | #Constraints: 24843 459.07/460.41 c #Conflicts: 433000 | #Constraints: 25843 459.07/460.41 c INPROCESSING 459.07/460.41 c GARBAGE COLLECT 459.07/460.41 c rational objective 0 480.52/481.97 c #Conflicts: 434000 | #Constraints: 13838 480.52/481.97 c #Conflicts: 435000 | #Constraints: 14838 480.52/481.97 c #Conflicts: 436000 | #Constraints: 15838 480.52/481.97 c #Conflicts: 437000 | #Constraints: 16838 480.52/481.97 c #Conflicts: 438000 | #Constraints: 17838 480.52/481.97 c #Conflicts: 439000 | #Constraints: 18838 480.52/481.97 c #Conflicts: 440000 | #Constraints: 19838 480.52/481.97 c #Conflicts: 441000 | #Constraints: 20838 480.52/481.97 c #Conflicts: 442000 | #Constraints: 21838 480.52/481.97 c #Conflicts: 443000 | #Constraints: 22838 480.52/481.97 c #Conflicts: 444000 | #Constraints: 23838 480.52/481.97 c #Conflicts: 445000 | #Constraints: 24838 480.52/481.97 c #Conflicts: 446000 | #Constraints: 25838 480.52/481.97 c INPROCESSING 480.52/481.97 c GARBAGE COLLECT 480.52/481.97 c rational objective 0 507.95/509.49 c #Conflicts: 447000 | #Constraints: 13635 507.95/509.49 c #Conflicts: 448000 | #Constraints: 14635 507.95/509.49 c #Conflicts: 449000 | #Constraints: 15635 507.95/509.49 c #Conflicts: 450000 | #Constraints: 16635 507.95/509.49 c #Conflicts: 451000 | #Constraints: 17635 507.95/509.49 c #Conflicts: 452000 | #Constraints: 18636 507.95/509.49 c #Conflicts: 453000 | #Constraints: 19636 507.95/509.49 c #Conflicts: 454000 | #Constraints: 20636 507.95/509.49 c #Conflicts: 455000 | #Constraints: 21636 507.95/509.49 c #Conflicts: 456000 | #Constraints: 22636 507.95/509.49 c #Conflicts: 457000 | #Constraints: 23636 507.95/509.49 c #Conflicts: 458000 | #Constraints: 24636 507.95/509.49 c #Conflicts: 459000 | #Constraints: 25636 507.95/509.49 c #Conflicts: 460000 | #Constraints: 26637 507.95/509.49 c INPROCESSING 507.95/509.49 c GARBAGE COLLECT 507.95/509.49 c rational objective 0 531.61/533.11 c #Conflicts: 461000 | #Constraints: 14238 531.61/533.11 c #Conflicts: 462000 | #Constraints: 15238 531.61/533.11 c #Conflicts: 463000 | #Constraints: 16239 531.61/533.11 c #Conflicts: 464000 | #Constraints: 17240 531.61/533.11 c #Conflicts: 465000 | #Constraints: 18240 531.61/533.11 c #Conflicts: 466000 | #Constraints: 19240 531.61/533.11 c #Conflicts: 467000 | #Constraints: 20240 531.61/533.11 c #Conflicts: 468000 | #Constraints: 21240 531.61/533.11 c #Conflicts: 469000 | #Constraints: 22240 531.61/533.11 c #Conflicts: 470000 | #Constraints: 23240 531.61/533.11 c #Conflicts: 471000 | #Constraints: 24240 531.61/533.11 c #Conflicts: 472000 | #Constraints: 25240 531.61/533.11 c #Conflicts: 473000 | #Constraints: 26240 531.61/533.11 c #Conflicts: 474000 | #Constraints: 27240 531.61/533.11 c INPROCESSING 531.61/533.11 c GARBAGE COLLECT 531.61/533.11 c rational objective 0 559.93/561.56 c #Conflicts: 475000 | #Constraints: 14637 559.93/561.56 c #Conflicts: 476000 | #Constraints: 15637 559.93/561.56 c #Conflicts: 477000 | #Constraints: 16638 559.93/561.56 c #Conflicts: 478000 | #Constraints: 17638 559.93/561.56 c #Conflicts: 479000 | #Constraints: 18638 559.93/561.56 c #Conflicts: 480000 | #Constraints: 19639 559.93/561.56 c #Conflicts: 481000 | #Constraints: 20639 559.93/561.56 c #Conflicts: 482000 | #Constraints: 21639 559.93/561.56 c #Conflicts: 483000 | #Constraints: 22639 559.93/561.56 c #Conflicts: 484000 | #Constraints: 23639 559.93/561.56 c #Conflicts: 485000 | #Constraints: 24639 559.93/561.56 c #Conflicts: 486000 | #Constraints: 25639 559.93/561.56 c #Conflicts: 487000 | #Constraints: 26640 559.93/561.56 c #Conflicts: 488000 | #Constraints: 27640 559.93/561.56 c INPROCESSING 559.93/561.56 c GARBAGE COLLECT 559.93/561.56 c rational objective 0 589.26/590.90 c #Conflicts: 489000 | #Constraints: 14838 589.26/590.90 c #Conflicts: 490000 | #Constraints: 15838 589.26/590.90 c #Conflicts: 491000 | #Constraints: 16839 589.26/590.90 c #Conflicts: 492000 | #Constraints: 17839 589.26/590.90 c #Conflicts: 493000 | #Constraints: 18839 589.26/590.90 c #Conflicts: 494000 | #Constraints: 19839 589.26/590.90 c #Conflicts: 495000 | #Constraints: 20839 589.26/590.90 c #Conflicts: 496000 | #Constraints: 21839 589.26/590.90 c #Conflicts: 497000 | #Constraints: 22839 589.26/590.90 c #Conflicts: 498000 | #Constraints: 23839 589.26/590.90 c #Conflicts: 499000 | #Constraints: 24839 589.26/590.90 c #Conflicts: 500000 | #Constraints: 25839 589.26/590.90 c #Conflicts: 501000 | #Constraints: 26839 589.26/590.90 c #Conflicts: 502000 | #Constraints: 27839 589.26/590.90 c INPROCESSING 589.26/590.90 c GARBAGE COLLECT 589.26/590.90 c rational objective 0 620.98/622.70 c #Conflicts: 503000 | #Constraints: 14836 620.98/622.70 c #Conflicts: 504000 | #Constraints: 15836 620.98/622.70 c #Conflicts: 505000 | #Constraints: 16836 620.98/622.70 c #Conflicts: 506000 | #Constraints: 17836 620.98/622.70 c #Conflicts: 507000 | #Constraints: 18836 620.98/622.70 c #Conflicts: 508000 | #Constraints: 19837 620.98/622.70 c #Conflicts: 509000 | #Constraints: 20837 620.98/622.70 c #Conflicts: 510000 | #Constraints: 21838 620.98/622.70 c #Conflicts: 511000 | #Constraints: 22838 620.98/622.70 c #Conflicts: 512000 | #Constraints: 23838 620.98/622.70 c #Conflicts: 513000 | #Constraints: 24838 620.98/622.70 c #Conflicts: 514000 | #Constraints: 25838 620.98/622.70 c #Conflicts: 515000 | #Constraints: 26838 620.98/622.70 c #Conflicts: 516000 | #Constraints: 27838 620.98/622.70 c INPROCESSING 620.98/622.70 c GARBAGE COLLECT 620.98/622.70 c rational objective 0 645.52/647.34 c #Conflicts: 517000 | #Constraints: 14639 645.52/647.34 c #Conflicts: 518000 | #Constraints: 15639 645.52/647.34 c #Conflicts: 519000 | #Constraints: 16640 645.52/647.34 c #Conflicts: 520000 | #Constraints: 17640 645.52/647.34 c #Conflicts: 521000 | #Constraints: 18641 645.52/647.34 c #Conflicts: 522000 | #Constraints: 19641 645.52/647.34 c #Conflicts: 523000 | #Constraints: 20642 645.52/647.34 c #Conflicts: 524000 | #Constraints: 21643 645.52/647.34 c #Conflicts: 525000 | #Constraints: 22643 645.52/647.34 c #Conflicts: 526000 | #Constraints: 23643 645.52/647.34 c #Conflicts: 527000 | #Constraints: 24643 645.52/647.34 c #Conflicts: 528000 | #Constraints: 25643 645.52/647.34 c #Conflicts: 529000 | #Constraints: 26643 645.52/647.34 c #Conflicts: 530000 | #Constraints: 27644 645.52/647.34 c #Conflicts: 531000 | #Constraints: 28644 645.52/647.34 c INPROCESSING 645.52/647.34 c GARBAGE COLLECT 645.52/647.34 c rational objective 0 679.63/681.59 c #Conflicts: 532000 | #Constraints: 15238 679.63/681.59 c #Conflicts: 533000 | #Constraints: 16238 679.63/681.59 c #Conflicts: 534000 | #Constraints: 17238 679.63/681.59 c #Conflicts: 535000 | #Constraints: 18238 679.63/681.59 c #Conflicts: 536000 | #Constraints: 19238 679.63/681.59 c #Conflicts: 537000 | #Constraints: 20238 679.63/681.59 c #Conflicts: 538000 | #Constraints: 21238 679.63/681.59 c #Conflicts: 539000 | #Constraints: 22238 679.63/681.59 c #Conflicts: 540000 | #Constraints: 23238 679.63/681.59 c #Conflicts: 541000 | #Constraints: 24238 679.63/681.59 c #Conflicts: 542000 | #Constraints: 25239 679.63/681.59 c #Conflicts: 543000 | #Constraints: 26240 679.63/681.59 c #Conflicts: 544000 | #Constraints: 27241 679.63/681.59 c #Conflicts: 545000 | #Constraints: 28242 679.63/681.59 c #Conflicts: 546000 | #Constraints: 29243 679.63/681.59 c INPROCESSING 679.63/681.59 c GARBAGE COLLECT 679.63/681.59 c rational objective 0 707.37/709.36 c #Conflicts: 547000 | #Constraints: 15645 707.37/709.36 c #Conflicts: 548000 | #Constraints: 16645 707.37/709.36 c #Conflicts: 549000 | #Constraints: 17645 707.37/709.36 c #Conflicts: 550000 | #Constraints: 18645 707.37/709.36 c #Conflicts: 551000 | #Constraints: 19645 707.37/709.36 c #Conflicts: 552000 | #Constraints: 20645 707.37/709.36 c #Conflicts: 553000 | #Constraints: 21645 707.37/709.36 c #Conflicts: 554000 | #Constraints: 22645 707.37/709.36 c #Conflicts: 555000 | #Constraints: 23645 707.37/709.36 c #Conflicts: 556000 | #Constraints: 24645 707.37/709.36 c #Conflicts: 557000 | #Constraints: 25645 707.37/709.36 c #Conflicts: 558000 | #Constraints: 26645 707.37/709.36 c #Conflicts: 559000 | #Constraints: 27645 707.37/709.36 c #Conflicts: 560000 | #Constraints: 28645 707.37/709.36 c #Conflicts: 561000 | #Constraints: 29645 707.37/709.36 c INPROCESSING 707.37/709.36 c GARBAGE COLLECT 707.37/709.36 c rational objective 0 743.28/745.35 c #Conflicts: 562000 | #Constraints: 15836 743.28/745.35 c #Conflicts: 563000 | #Constraints: 16836 743.28/745.35 c #Conflicts: 564000 | #Constraints: 17836 743.28/745.35 c #Conflicts: 565000 | #Constraints: 18837 743.28/745.35 c #Conflicts: 566000 | #Constraints: 19837 743.28/745.35 c #Conflicts: 567000 | #Constraints: 20838 743.28/745.35 c #Conflicts: 568000 | #Constraints: 21838 743.28/745.35 c #Conflicts: 569000 | #Constraints: 22839 743.28/745.35 c #Conflicts: 570000 | #Constraints: 23840 743.28/745.35 c #Conflicts: 571000 | #Constraints: 24840 743.28/745.35 c #Conflicts: 572000 | #Constraints: 25840 743.28/745.35 c #Conflicts: 573000 | #Constraints: 26840 743.28/745.35 c #Conflicts: 574000 | #Constraints: 27840 743.28/745.35 c #Conflicts: 575000 | #Constraints: 28840 743.28/745.35 c #Conflicts: 576000 | #Constraints: 29840 743.28/745.35 c INPROCESSING 743.28/745.35 c GARBAGE COLLECT 743.28/745.35 c rational objective 0 769.11/771.20 c #Conflicts: 577000 | #Constraints: 15841 769.11/771.20 c #Conflicts: 578000 | #Constraints: 16841 769.11/771.20 c #Conflicts: 579000 | #Constraints: 17841 769.11/771.20 c #Conflicts: 580000 | #Constraints: 18841 769.11/771.20 c #Conflicts: 581000 | #Constraints: 19841 769.11/771.20 c #Conflicts: 582000 | #Constraints: 20842 769.11/771.20 c #Conflicts: 583000 | #Constraints: 21842 769.11/771.20 c #Conflicts: 584000 | #Constraints: 22842 769.11/771.20 c #Conflicts: 585000 | #Constraints: 23842 769.11/771.20 c #Conflicts: 586000 | #Constraints: 24843 769.11/771.20 c #Conflicts: 587000 | #Constraints: 25843 769.11/771.20 c #Conflicts: 588000 | #Constraints: 26843 769.11/771.20 c #Conflicts: 589000 | #Constraints: 27843 769.11/771.20 c #Conflicts: 590000 | #Constraints: 28843 769.11/771.20 c #Conflicts: 591000 | #Constraints: 29844 769.11/771.20 c INPROCESSING 769.11/771.20 c GARBAGE COLLECT 769.11/771.20 c rational objective 0 797.24/799.40 c #Conflicts: 592000 | #Constraints: 15638 797.24/799.40 c #Conflicts: 593000 | #Constraints: 16639 797.24/799.40 c #Conflicts: 594000 | #Constraints: 17639 797.24/799.40 c #Conflicts: 595000 | #Constraints: 18639 797.24/799.40 c #Conflicts: 596000 | #Constraints: 19639 797.24/799.40 c #Conflicts: 597000 | #Constraints: 20639 797.24/799.40 c #Conflicts: 598000 | #Constraints: 21639 797.24/799.40 c #Conflicts: 599000 | #Constraints: 22639 797.24/799.40 c #Conflicts: 600000 | #Constraints: 23639 797.24/799.40 c #Conflicts: 601000 | #Constraints: 24639 797.24/799.40 c #Conflicts: 602000 | #Constraints: 25639 797.24/799.40 c #Conflicts: 603000 | #Constraints: 26639 797.24/799.40 c #Conflicts: 604000 | #Constraints: 27639 797.24/799.40 c #Conflicts: 605000 | #Constraints: 28639 797.24/799.40 c #Conflicts: 606000 | #Constraints: 29639 797.24/799.40 c #Conflicts: 607000 | #Constraints: 30639 797.24/799.40 c INPROCESSING 797.24/799.40 c GARBAGE COLLECT 797.24/799.40 c rational objective 0 836.24/838.50 c #Conflicts: 608000 | #Constraints: 16232 836.24/838.50 c #Conflicts: 609000 | #Constraints: 17232 836.24/838.50 c #Conflicts: 610000 | #Constraints: 18232 836.24/838.50 c #Conflicts: 611000 | #Constraints: 19232 836.24/838.50 c #Conflicts: 612000 | #Constraints: 20232 836.24/838.50 c #Conflicts: 613000 | #Constraints: 21232 836.24/838.50 c #Conflicts: 614000 | #Constraints: 22232 836.24/838.50 c #Conflicts: 615000 | #Constraints: 23232 836.24/838.50 c #Conflicts: 616000 | #Constraints: 24232 836.24/838.50 c #Conflicts: 617000 | #Constraints: 25233 836.24/838.50 c #Conflicts: 618000 | #Constraints: 26233 836.24/838.50 c #Conflicts: 619000 | #Constraints: 27233 836.24/838.50 c #Conflicts: 620000 | #Constraints: 28233 836.24/838.50 c #Conflicts: 621000 | #Constraints: 29233 836.24/838.50 c #Conflicts: 622000 | #Constraints: 30233 836.24/838.50 c #Conflicts: 623000 | #Constraints: 31233 836.24/838.50 c INPROCESSING 836.24/838.50 c GARBAGE COLLECT 836.24/838.50 c rational objective 0 865.17/867.54 c #Conflicts: 624000 | #Constraints: 16637 865.17/867.54 c #Conflicts: 625000 | #Constraints: 17638 865.17/867.54 c #Conflicts: 626000 | #Constraints: 18638 865.17/867.54 c #Conflicts: 627000 | #Constraints: 19638 865.17/867.54 c #Conflicts: 628000 | #Constraints: 20638 865.17/867.54 c #Conflicts: 629000 | #Constraints: 21638 865.17/867.54 c #Conflicts: 630000 | #Constraints: 22638 865.17/867.54 c #Conflicts: 631000 | #Constraints: 23638 865.17/867.54 c #Conflicts: 632000 | #Constraints: 24638 865.17/867.54 c #Conflicts: 633000 | #Constraints: 25638 865.17/867.54 c #Conflicts: 634000 | #Constraints: 26638 865.17/867.54 c #Conflicts: 635000 | #Constraints: 27638 865.17/867.54 c #Conflicts: 636000 | #Constraints: 28639 865.17/867.54 c #Conflicts: 637000 | #Constraints: 29640 865.17/867.54 c #Conflicts: 638000 | #Constraints: 30640 865.17/867.54 c #Conflicts: 639000 | #Constraints: 31640 865.17/867.54 c INPROCESSING 865.17/867.54 c GARBAGE COLLECT 865.17/867.54 c rational objective 0 906.47/908.99 c #Conflicts: 640000 | #Constraints: 16834 906.47/908.99 c #Conflicts: 641000 | #Constraints: 17834 906.47/908.99 c #Conflicts: 642000 | #Constraints: 18834 906.47/908.99 c #Conflicts: 643000 | #Constraints: 19834 906.47/908.99 c #Conflicts: 644000 | #Constraints: 20834 906.47/908.99 c #Conflicts: 645000 | #Constraints: 21835 906.47/908.99 c #Conflicts: 646000 | #Constraints: 22835 906.47/908.99 c #Conflicts: 647000 | #Constraints: 23835 906.47/908.99 c #Conflicts: 648000 | #Constraints: 24836 906.47/908.99 c #Conflicts: 649000 | #Constraints: 25836 906.47/908.99 c #Conflicts: 650000 | #Constraints: 26836 906.47/908.99 c #Conflicts: 651000 | #Constraints: 27837 906.47/908.99 c #Conflicts: 652000 | #Constraints: 28837 906.47/908.99 c #Conflicts: 653000 | #Constraints: 29837 906.47/908.99 c #Conflicts: 654000 | #Constraints: 30837 906.47/908.99 c #Conflicts: 655000 | #Constraints: 31837 906.47/908.99 c INPROCESSING 906.47/908.99 c GARBAGE COLLECT 906.47/908.99 c rational objective 0 939.38/941.99 c #Conflicts: 656000 | #Constraints: 16839 939.38/941.99 c #Conflicts: 657000 | #Constraints: 17839 939.38/941.99 c #Conflicts: 658000 | #Constraints: 18839 939.38/941.99 c #Conflicts: 659000 | #Constraints: 19839 939.38/941.99 c #Conflicts: 660000 | #Constraints: 20840 939.38/941.99 c #Conflicts: 661000 | #Constraints: 21840 939.38/941.99 c #Conflicts: 662000 | #Constraints: 22840 939.38/941.99 c #Conflicts: 663000 | #Constraints: 23840 939.38/941.99 c #Conflicts: 664000 | #Constraints: 24840 939.38/941.99 c #Conflicts: 665000 | #Constraints: 25840 939.38/941.99 c #Conflicts: 666000 | #Constraints: 26841 939.38/941.99 c #Conflicts: 667000 | #Constraints: 27841 939.38/941.99 c #Conflicts: 668000 | #Constraints: 28841 939.38/941.99 c #Conflicts: 669000 | #Constraints: 29841 939.38/941.99 c #Conflicts: 670000 | #Constraints: 30841 939.38/941.99 c #Conflicts: 671000 | #Constraints: 31842 939.38/941.99 c INPROCESSING 939.38/941.99 c GARBAGE COLLECT 939.38/941.99 c rational objective 0 982.38/985.01 c #Conflicts: 672000 | #Constraints: 16636 982.38/985.01 c #Conflicts: 673000 | #Constraints: 17636 982.38/985.01 c #Conflicts: 674000 | #Constraints: 18636 982.38/985.01 c #Conflicts: 675000 | #Constraints: 19636 982.38/985.01 c #Conflicts: 676000 | #Constraints: 20636 982.38/985.01 c #Conflicts: 677000 | #Constraints: 21636 982.38/985.01 c #Conflicts: 678000 | #Constraints: 22636 982.38/985.01 c #Conflicts: 679000 | #Constraints: 23636 982.38/985.01 c #Conflicts: 680000 | #Constraints: 24636 982.38/985.01 c #Conflicts: 681000 | #Constraints: 25636 982.38/985.01 c #Conflicts: 682000 | #Constraints: 26636 982.38/985.01 c #Conflicts: 683000 | #Constraints: 27637 982.38/985.01 c #Conflicts: 684000 | #Constraints: 28637 982.38/985.01 c #Conflicts: 685000 | #Constraints: 29637 982.38/985.01 c #Conflicts: 686000 | #Constraints: 30637 982.38/985.01 c #Conflicts: 687000 | #Constraints: 31637 982.38/985.01 c #Conflicts: 688000 | #Constraints: 32637 982.38/985.01 c INPROCESSING 982.38/985.01 c GARBAGE COLLECT 982.38/985.01 c rational objective 0 1017.28/1020.02 c #Conflicts: 689000 | #Constraints: 17237 1017.28/1020.02 c #Conflicts: 690000 | #Constraints: 18238 1017.28/1020.02 c #Conflicts: 691000 | #Constraints: 19238 1017.28/1020.02 c #Conflicts: 692000 | #Constraints: 20238 1017.28/1020.02 c #Conflicts: 693000 | #Constraints: 21238 1017.28/1020.02 c #Conflicts: 694000 | #Constraints: 22239 1017.28/1020.02 c #Conflicts: 695000 | #Constraints: 23239 1017.28/1020.02 c #Conflicts: 696000 | #Constraints: 24239 1017.28/1020.02 c #Conflicts: 697000 | #Constraints: 25239 1017.28/1020.02 c #Conflicts: 698000 | #Constraints: 26239 1017.28/1020.02 c #Conflicts: 699000 | #Constraints: 27239 1017.28/1020.02 c #Conflicts: 700000 | #Constraints: 28239 1017.28/1020.02 c #Conflicts: 701000 | #Constraints: 29239 1017.28/1020.02 c #Conflicts: 702000 | #Constraints: 30239 1017.28/1020.02 c #Conflicts: 703000 | #Constraints: 31239 1017.28/1020.02 c #Conflicts: 704000 | #Constraints: 32239 1017.28/1020.02 c #Conflicts: 705000 | #Constraints: 33239 1017.28/1020.02 c INPROCESSING 1017.28/1020.02 c GARBAGE COLLECT 1017.28/1020.02 c rational objective 0 1062.83/1065.77 c #Conflicts: 706000 | #Constraints: 17637 1062.83/1065.77 c #Conflicts: 707000 | #Constraints: 18637 1062.83/1065.77 c #Conflicts: 708000 | #Constraints: 19637 1062.83/1065.77 c #Conflicts: 709000 | #Constraints: 20637 1062.83/1065.77 c #Conflicts: 710000 | #Constraints: 21637 1062.83/1065.77 c #Conflicts: 711000 | #Constraints: 22638 1062.83/1065.77 c #Conflicts: 712000 | #Constraints: 23638 1062.83/1065.77 c #Conflicts: 713000 | #Constraints: 24638 1062.83/1065.77 c #Conflicts: 714000 | #Constraints: 25638 1062.83/1065.77 c #Conflicts: 715000 | #Constraints: 26639 1062.83/1065.77 c #Conflicts: 716000 | #Constraints: 27639 1062.83/1065.77 c #Conflicts: 717000 | #Constraints: 28639 1062.83/1065.77 c #Conflicts: 718000 | #Constraints: 29639 1062.83/1065.77 c #Conflicts: 719000 | #Constraints: 30639 1062.83/1065.77 c #Conflicts: 720000 | #Constraints: 31639 1062.83/1065.77 c #Conflicts: 721000 | #Constraints: 32639 1062.83/1065.77 c #Conflicts: 722000 | #Constraints: 33639 1062.83/1065.77 c INPROCESSING 1062.83/1065.77 c GARBAGE COLLECT 1062.83/1065.77 c rational objective 0 1104.13/1107.14 c #Conflicts: 723000 | #Constraints: 17843 1104.13/1107.14 c #Conflicts: 724000 | #Constraints: 18845 1104.13/1107.14 c #Conflicts: 725000 | #Constraints: 19845 1104.13/1107.14 c #Conflicts: 726000 | #Constraints: 20845 1104.13/1107.14 c #Conflicts: 727000 | #Constraints: 21845 1104.13/1107.14 c #Conflicts: 728000 | #Constraints: 22845 1104.13/1107.14 c #Conflicts: 729000 | #Constraints: 23845 1104.13/1107.14 c #Conflicts: 730000 | #Constraints: 24845 1104.13/1107.14 c #Conflicts: 731000 | #Constraints: 25845 1104.13/1107.14 c #Conflicts: 732000 | #Constraints: 26845 1104.13/1107.14 c #Conflicts: 733000 | #Constraints: 27845 1104.13/1107.14 c #Conflicts: 734000 | #Constraints: 28845 1104.13/1107.14 c #Conflicts: 735000 | #Constraints: 29845 1104.13/1107.14 c #Conflicts: 736000 | #Constraints: 30845 1104.13/1107.14 c #Conflicts: 737000 | #Constraints: 31845 1104.13/1107.14 c #Conflicts: 738000 | #Constraints: 32845 1104.13/1107.14 c #Conflicts: 739000 | #Constraints: 33845 1104.13/1107.14 c INPROCESSING 1104.13/1107.14 c GARBAGE COLLECT 1104.13/1107.14 c rational objective 0 1139.61/1142.73 c #Conflicts: 740000 | #Constraints: 17842 1139.61/1142.73 c #Conflicts: 741000 | #Constraints: 18842 1139.61/1142.73 c #Conflicts: 742000 | #Constraints: 19842 1139.61/1142.73 c #Conflicts: 743000 | #Constraints: 20842 1139.61/1142.73 c #Conflicts: 744000 | #Constraints: 21842 1139.61/1142.73 c #Conflicts: 745000 | #Constraints: 22842 1139.61/1142.73 c #Conflicts: 746000 | #Constraints: 23842 1139.61/1142.73 c #Conflicts: 747000 | #Constraints: 24842 1139.61/1142.73 c #Conflicts: 748000 | #Constraints: 25842 1139.61/1142.73 c #Conflicts: 749000 | #Constraints: 26843 1139.61/1142.73 c #Conflicts: 750000 | #Constraints: 27843 1139.61/1142.73 c #Conflicts: 751000 | #Constraints: 28843 1139.61/1142.73 c #Conflicts: 752000 | #Constraints: 29844 1139.61/1142.73 c #Conflicts: 753000 | #Constraints: 30844 1139.61/1142.73 c #Conflicts: 754000 | #Constraints: 31844 1139.61/1142.73 c #Conflicts: 755000 | #Constraints: 32844 1139.61/1142.73 c #Conflicts: 756000 | #Constraints: 33844 1139.61/1142.73 c INPROCESSING 1139.61/1142.73 c GARBAGE COLLECT 1139.61/1142.73 c rational objective 0 1189.36/1192.68 c #Conflicts: 757000 | #Constraints: 17639 1189.36/1192.68 c #Conflicts: 758000 | #Constraints: 18639 1189.36/1192.68 c #Conflicts: 759000 | #Constraints: 19639 1189.36/1192.68 c #Conflicts: 760000 | #Constraints: 20639 1189.36/1192.68 c #Conflicts: 761000 | #Constraints: 21639 1189.36/1192.68 c #Conflicts: 762000 | #Constraints: 22640 1189.36/1192.68 c #Conflicts: 763000 | #Constraints: 23640 1189.36/1192.68 c #Conflicts: 764000 | #Constraints: 24640 1189.36/1192.68 c #Conflicts: 765000 | #Constraints: 25640 1189.36/1192.68 c #Conflicts: 766000 | #Constraints: 26640 1189.36/1192.68 c #Conflicts: 767000 | #Constraints: 27640 1189.36/1192.68 c #Conflicts: 768000 | #Constraints: 28640 1189.36/1192.68 c #Conflicts: 769000 | #Constraints: 29640 1189.36/1192.68 c #Conflicts: 770000 | #Constraints: 30640 1189.36/1192.68 c #Conflicts: 771000 | #Constraints: 31640 1189.36/1192.68 c #Conflicts: 772000 | #Constraints: 32640 1189.36/1192.68 c #Conflicts: 773000 | #Constraints: 33640 1189.36/1192.68 c #Conflicts: 774000 | #Constraints: 34640 1189.36/1192.68 c INPROCESSING 1189.36/1192.68 c GARBAGE COLLECT 1189.36/1192.68 c rational objective 0 1227.35/1230.79 c #Conflicts: 775000 | #Constraints: 18239 1227.35/1230.79 c #Conflicts: 776000 | #Constraints: 19239 1227.35/1230.79 c #Conflicts: 777000 | #Constraints: 20239 1227.35/1230.79 c #Conflicts: 778000 | #Constraints: 21239 1227.35/1230.79 c #Conflicts: 779000 | #Constraints: 22239 1227.35/1230.79 c #Conflicts: 780000 | #Constraints: 23240 1227.35/1230.79 c #Conflicts: 781000 | #Constraints: 24240 1227.35/1230.79 c #Conflicts: 782000 | #Constraints: 25240 1227.35/1230.79 c #Conflicts: 783000 | #Constraints: 26240 1227.35/1230.79 c #Conflicts: 784000 | #Constraints: 27240 1227.35/1230.79 c #Conflicts: 785000 | #Constraints: 28240 1227.35/1230.79 c #Conflicts: 786000 | #Constraints: 29240 1227.35/1230.79 c #Conflicts: 787000 | #Constraints: 30240 1227.35/1230.79 c #Conflicts: 788000 | #Constraints: 31240 1227.35/1230.79 c #Conflicts: 789000 | #Constraints: 32240 1227.35/1230.79 c #Conflicts: 790000 | #Constraints: 33240 1227.35/1230.79 c #Conflicts: 791000 | #Constraints: 34240 1227.35/1230.79 c #Conflicts: 792000 | #Constraints: 35240 1227.35/1230.79 c INPROCESSING 1227.35/1230.79 c GARBAGE COLLECT 1227.35/1230.79 c rational objective 0 1280.70/1284.24 c #Conflicts: 793000 | #Constraints: 18633 1280.70/1284.24 c #Conflicts: 794000 | #Constraints: 19633 1280.70/1284.24 c #Conflicts: 795000 | #Constraints: 20634 1280.70/1284.24 c #Conflicts: 796000 | #Constraints: 21634 1280.70/1284.24 c #Conflicts: 797000 | #Constraints: 22634 1280.70/1284.24 c #Conflicts: 798000 | #Constraints: 23634 1280.70/1284.24 c #Conflicts: 799000 | #Constraints: 24634 1280.70/1284.24 c #Conflicts: 800000 | #Constraints: 25634 1280.70/1284.24 c #Conflicts: 801000 | #Constraints: 26634 1280.70/1284.24 c #Conflicts: 802000 | #Constraints: 27634 1280.70/1284.24 c #Conflicts: 803000 | #Constraints: 28634 1280.70/1284.24 c #Conflicts: 804000 | #Constraints: 29634 1280.70/1284.24 c #Conflicts: 805000 | #Constraints: 30634 1280.70/1284.24 c #Conflicts: 806000 | #Constraints: 31634 1280.70/1284.24 c #Conflicts: 807000 | #Constraints: 32634 1280.70/1284.24 c #Conflicts: 808000 | #Constraints: 33634 1280.70/1284.24 c #Conflicts: 809000 | #Constraints: 34634 1280.70/1284.24 c #Conflicts: 810000 | #Constraints: 35634 1280.70/1284.24 c INPROCESSING 1280.70/1284.24 c GARBAGE COLLECT 1280.70/1284.24 c rational objective 0 1318.98/1322.65 c #Conflicts: 811000 | #Constraints: 18839 1318.98/1322.65 c #Conflicts: 812000 | #Constraints: 19839 1318.98/1322.65 c #Conflicts: 813000 | #Constraints: 20839 1318.98/1322.65 c #Conflicts: 814000 | #Constraints: 21839 1318.98/1322.65 c #Conflicts: 815000 | #Constraints: 22840 1318.98/1322.65 c #Conflicts: 816000 | #Constraints: 23840 1318.98/1322.65 c #Conflicts: 817000 | #Constraints: 24840 1318.98/1322.65 c #Conflicts: 818000 | #Constraints: 25840 1318.98/1322.65 c #Conflicts: 819000 | #Constraints: 26840 1318.98/1322.65 c #Conflicts: 820000 | #Constraints: 27840 1318.98/1322.65 c #Conflicts: 821000 | #Constraints: 28840 1318.98/1322.65 c #Conflicts: 822000 | #Constraints: 29840 1318.98/1322.65 c #Conflicts: 823000 | #Constraints: 30840 1318.98/1322.65 c #Conflicts: 824000 | #Constraints: 31840 1318.98/1322.65 c #Conflicts: 825000 | #Constraints: 32840 1318.98/1322.65 c #Conflicts: 826000 | #Constraints: 33840 1318.98/1322.65 c #Conflicts: 827000 | #Constraints: 34840 1318.98/1322.65 c #Conflicts: 828000 | #Constraints: 35840 1318.98/1322.65 c INPROCESSING 1318.98/1322.65 c GARBAGE COLLECT 1318.98/1322.65 c rational objective 0 1373.12/1376.94 c #Conflicts: 829000 | #Constraints: 18836 1373.12/1376.94 c #Conflicts: 830000 | #Constraints: 19837 1373.12/1376.94 c #Conflicts: 831000 | #Constraints: 20838 1373.12/1376.94 c #Conflicts: 832000 | #Constraints: 21838 1373.12/1376.94 c #Conflicts: 833000 | #Constraints: 22838 1373.12/1376.94 c #Conflicts: 834000 | #Constraints: 23838 1373.12/1376.94 c #Conflicts: 835000 | #Constraints: 24838 1373.12/1376.94 c #Conflicts: 836000 | #Constraints: 25838 1373.12/1376.94 c #Conflicts: 837000 | #Constraints: 26838 1373.12/1376.94 c #Conflicts: 838000 | #Constraints: 27838 1373.12/1376.94 c #Conflicts: 839000 | #Constraints: 28838 1373.12/1376.94 c #Conflicts: 840000 | #Constraints: 29838 1373.12/1376.94 c #Conflicts: 841000 | #Constraints: 30838 1373.12/1376.94 c #Conflicts: 842000 | #Constraints: 31838 1373.12/1376.94 c #Conflicts: 843000 | #Constraints: 32838 1373.12/1376.94 c #Conflicts: 844000 | #Constraints: 33838 1373.12/1376.94 c #Conflicts: 845000 | #Constraints: 34838 1373.12/1376.94 c #Conflicts: 846000 | #Constraints: 35838 1373.12/1376.94 c INPROCESSING 1373.12/1376.94 c GARBAGE COLLECT 1373.12/1376.94 c rational objective 0 1413.80/1417.78 c #Conflicts: 847000 | #Constraints: 18638 1413.80/1417.78 c #Conflicts: 848000 | #Constraints: 19638 1413.80/1417.78 c #Conflicts: 849000 | #Constraints: 20638 1413.80/1417.78 c #Conflicts: 850000 | #Constraints: 21638 1413.80/1417.78 c #Conflicts: 851000 | #Constraints: 22638 1413.80/1417.78 c #Conflicts: 852000 | #Constraints: 23638 1413.80/1417.78 c #Conflicts: 853000 | #Constraints: 24638 1413.80/1417.78 c #Conflicts: 854000 | #Constraints: 25638 1413.80/1417.78 c #Conflicts: 855000 | #Constraints: 26638 1413.80/1417.78 c #Conflicts: 856000 | #Constraints: 27638 1413.80/1417.78 c #Conflicts: 857000 | #Constraints: 28638 1413.80/1417.78 c #Conflicts: 858000 | #Constraints: 29638 1413.80/1417.78 c #Conflicts: 859000 | #Constraints: 30638 1413.80/1417.78 c #Conflicts: 860000 | #Constraints: 31638 1413.80/1417.78 c #Conflicts: 861000 | #Constraints: 32638 1413.80/1417.78 c #Conflicts: 862000 | #Constraints: 33639 1413.80/1417.78 c #Conflicts: 863000 | #Constraints: 34642 1413.80/1417.78 c #Conflicts: 864000 | #Constraints: 35642 1413.80/1417.78 c #Conflicts: 865000 | #Constraints: 36643 1413.80/1417.78 c INPROCESSING 1413.80/1417.78 c GARBAGE COLLECT 1413.80/1417.78 c rational objective 0 1457.27/1461.30 c #Conflicts: 866000 | #Constraints: 19238 1457.27/1461.30 c #Conflicts: 867000 | #Constraints: 20239 1457.27/1461.30 c #Conflicts: 868000 | #Constraints: 21239 1457.27/1461.30 c #Conflicts: 869000 | #Constraints: 22239 1457.27/1461.30 c #Conflicts: 870000 | #Constraints: 23240 1457.27/1461.30 c #Conflicts: 871000 | #Constraints: 24240 1457.27/1461.30 c #Conflicts: 872000 | #Constraints: 25240 1457.27/1461.30 c #Conflicts: 873000 | #Constraints: 26240 1457.27/1461.30 c #Conflicts: 874000 | #Constraints: 27241 1457.27/1461.30 c #Conflicts: 875000 | #Constraints: 28242 1457.27/1461.30 c #Conflicts: 876000 | #Constraints: 29242 1457.27/1461.30 c #Conflicts: 877000 | #Constraints: 30242 1457.27/1461.30 c #Conflicts: 878000 | #Constraints: 31242 1457.27/1461.30 c #Conflicts: 879000 | #Constraints: 32242 1457.27/1461.30 c #Conflicts: 880000 | #Constraints: 33242 1457.27/1461.30 c #Conflicts: 881000 | #Constraints: 34242 1457.27/1461.30 c #Conflicts: 882000 | #Constraints: 35242 1457.27/1461.30 c #Conflicts: 883000 | #Constraints: 36242 1457.27/1461.30 c #Conflicts: 884000 | #Constraints: 37242 1457.27/1461.30 c INPROCESSING 1457.27/1461.30 c GARBAGE COLLECT 1457.27/1461.30 c rational objective 0 1520.59/1524.87 c #Conflicts: 885000 | #Constraints: 19639 1520.59/1524.87 c #Conflicts: 886000 | #Constraints: 20639 1520.59/1524.87 c #Conflicts: 887000 | #Constraints: 21639 1520.59/1524.87 c #Conflicts: 888000 | #Constraints: 22639 1520.59/1524.87 c #Conflicts: 889000 | #Constraints: 23639 1520.59/1524.87 c #Conflicts: 890000 | #Constraints: 24639 1520.59/1524.87 c #Conflicts: 891000 | #Constraints: 25639 1520.59/1524.87 c #Conflicts: 892000 | #Constraints: 26639 1520.59/1524.87 c #Conflicts: 893000 | #Constraints: 27640 1520.59/1524.87 c #Conflicts: 894000 | #Constraints: 28640 1520.59/1524.87 c #Conflicts: 895000 | #Constraints: 29640 1520.59/1524.87 c #Conflicts: 896000 | #Constraints: 30640 1520.59/1524.87 c #Conflicts: 897000 | #Constraints: 31640 1520.59/1524.87 c #Conflicts: 898000 | #Constraints: 32640 1520.59/1524.87 c #Conflicts: 899000 | #Constraints: 33641 1520.59/1524.87 c #Conflicts: 900000 | #Constraints: 34642 1520.59/1524.87 c #Conflicts: 901000 | #Constraints: 35642 1520.59/1524.87 c #Conflicts: 902000 | #Constraints: 36642 1520.59/1524.87 c #Conflicts: 903000 | #Constraints: 37642 1520.59/1524.87 c INPROCESSING 1520.59/1524.87 c GARBAGE COLLECT 1520.59/1524.87 c rational objective 0 1567.26/1571.67 c #Conflicts: 904000 | #Constraints: 19841 1567.26/1571.67 c #Conflicts: 905000 | #Constraints: 20841 1567.26/1571.67 c #Conflicts: 906000 | #Constraints: 21841 1567.26/1571.67 c #Conflicts: 907000 | #Constraints: 22842 1567.26/1571.67 c #Conflicts: 908000 | #Constraints: 23842 1567.26/1571.67 c #Conflicts: 909000 | #Constraints: 24842 1567.26/1571.67 c #Conflicts: 910000 | #Constraints: 25842 1567.26/1571.67 c #Conflicts: 911000 | #Constraints: 26842 1567.26/1571.67 c #Conflicts: 912000 | #Constraints: 27842 1567.26/1571.67 c #Conflicts: 913000 | #Constraints: 28842 1567.26/1571.67 c #Conflicts: 914000 | #Constraints: 29843 1567.26/1571.67 c #Conflicts: 915000 | #Constraints: 30843 1567.26/1571.67 c #Conflicts: 916000 | #Constraints: 31843 1567.26/1571.67 c #Conflicts: 917000 | #Constraints: 32843 1567.26/1571.67 c #Conflicts: 918000 | #Constraints: 33843 1567.26/1571.67 c #Conflicts: 919000 | #Constraints: 34843 1567.26/1571.67 c #Conflicts: 920000 | #Constraints: 35843 1567.26/1571.67 c #Conflicts: 921000 | #Constraints: 36843 1567.26/1571.67 c #Conflicts: 922000 | #Constraints: 37843 1567.26/1571.67 c INPROCESSING 1567.26/1571.67 c GARBAGE COLLECT 1567.26/1571.67 c rational objective 0 1627.18/1631.79 c #Conflicts: 923000 | #Constraints: 19835 1627.18/1631.79 c #Conflicts: 924000 | #Constraints: 20835 1627.18/1631.79 c #Conflicts: 925000 | #Constraints: 21836 1627.18/1631.79 c #Conflicts: 926000 | #Constraints: 22836 1627.18/1631.79 c #Conflicts: 927000 | #Constraints: 23836 1627.18/1631.79 c #Conflicts: 928000 | #Constraints: 24836 1627.18/1631.79 c #Conflicts: 929000 | #Constraints: 25836 1627.18/1631.79 c #Conflicts: 930000 | #Constraints: 26838 1627.18/1631.79 c #Conflicts: 931000 | #Constraints: 27839 1627.18/1631.79 c #Conflicts: 932000 | #Constraints: 28839 1627.18/1631.79 c #Conflicts: 933000 | #Constraints: 29839 1627.18/1631.79 c #Conflicts: 934000 | #Constraints: 30839 1627.18/1631.79 c #Conflicts: 935000 | #Constraints: 31839 1627.18/1631.79 c #Conflicts: 936000 | #Constraints: 32839 1627.18/1631.79 c #Conflicts: 937000 | #Constraints: 33839 1627.18/1631.79 c #Conflicts: 938000 | #Constraints: 34839 1627.18/1631.79 c #Conflicts: 939000 | #Constraints: 35839 1627.18/1631.79 c #Conflicts: 940000 | #Constraints: 36841 1627.18/1631.79 c #Conflicts: 941000 | #Constraints: 37841 1627.18/1631.79 c INPROCESSING 1627.18/1631.79 c GARBAGE COLLECT 1627.18/1631.79 c rational objective 0 1677.56/1682.22 c #Conflicts: 942000 | #Constraints: 19643 1677.56/1682.22 c #Conflicts: 943000 | #Constraints: 20643 1677.56/1682.22 c #Conflicts: 944000 | #Constraints: 21643 1677.56/1682.22 c #Conflicts: 945000 | #Constraints: 22643 1677.56/1682.22 c #Conflicts: 946000 | #Constraints: 23643 1677.56/1682.22 c #Conflicts: 947000 | #Constraints: 24643 1677.56/1682.22 c #Conflicts: 948000 | #Constraints: 25644 1677.56/1682.22 c #Conflicts: 949000 | #Constraints: 26644 1677.56/1682.22 c #Conflicts: 950000 | #Constraints: 27644 1677.56/1682.22 c #Conflicts: 951000 | #Constraints: 28644 1677.56/1682.22 c #Conflicts: 952000 | #Constraints: 29645 1677.56/1682.22 c #Conflicts: 953000 | #Constraints: 30645 1677.56/1682.22 c #Conflicts: 954000 | #Constraints: 31645 1677.56/1682.22 c #Conflicts: 955000 | #Constraints: 32646 1677.56/1682.22 c #Conflicts: 956000 | #Constraints: 33647 1677.56/1682.22 c #Conflicts: 957000 | #Constraints: 34647 1677.56/1682.22 c #Conflicts: 958000 | #Constraints: 35647 1677.56/1682.22 c #Conflicts: 959000 | #Constraints: 36648 1677.56/1682.22 c #Conflicts: 960000 | #Constraints: 37648 1677.56/1682.22 c #Conflicts: 961000 | #Constraints: 38648 1677.56/1682.22 c INPROCESSING 1677.56/1682.22 c GARBAGE COLLECT 1677.56/1682.22 c rational objective 0 1744.69/1749.50 c #Conflicts: 962000 | #Constraints: 20239 1744.69/1749.50 c #Conflicts: 963000 | #Constraints: 21239 1744.69/1749.50 c #Conflicts: 964000 | #Constraints: 22239 1744.69/1749.50 c #Conflicts: 965000 | #Constraints: 23239 1744.69/1749.50 c #Conflicts: 966000 | #Constraints: 24239 1744.69/1749.50 c #Conflicts: 967000 | #Constraints: 25239 1744.69/1749.50 c #Conflicts: 968000 | #Constraints: 26239 1744.69/1749.50 c #Conflicts: 969000 | #Constraints: 27239 1744.69/1749.50 c #Conflicts: 970000 | #Constraints: 28240 1744.69/1749.50 c #Conflicts: 971000 | #Constraints: 29240 1744.69/1749.50 c #Conflicts: 972000 | #Constraints: 30240 1744.69/1749.50 c #Conflicts: 973000 | #Constraints: 31240 1744.69/1749.50 c #Conflicts: 974000 | #Constraints: 32240 1744.69/1749.50 c #Conflicts: 975000 | #Constraints: 33240 1744.69/1749.50 c #Conflicts: 976000 | #Constraints: 34240 1744.69/1749.50 c #Conflicts: 977000 | #Constraints: 35240 1744.69/1749.50 c #Conflicts: 978000 | #Constraints: 36240 1744.69/1749.50 c #Conflicts: 979000 | #Constraints: 37240 1744.69/1749.50 c #Conflicts: 980000 | #Constraints: 38240 1744.69/1749.50 c #Conflicts: 981000 | #Constraints: 39240 1744.69/1749.50 c INPROCESSING 1744.69/1749.50 c GARBAGE COLLECT 1744.69/1749.50 c rational objective 0 1801.95/1806.95 c #Conflicts: 982000 | #Constraints: 20637 1801.95/1806.95 c #Conflicts: 983000 | #Constraints: 21637 1801.95/1806.95 c #Conflicts: 984000 | #Constraints: 22638 1801.95/1806.95 c #Conflicts: 985000 | #Constraints: 23639 1801.95/1806.95 c #Conflicts: 986000 | #Constraints: 24639 1801.95/1806.95 c #Conflicts: 987000 | #Constraints: 25639 1801.95/1806.95 c #Conflicts: 988000 | #Constraints: 26639 1801.95/1806.95 c #Conflicts: 989000 | #Constraints: 27639 1801.95/1806.95 c #Conflicts: 990000 | #Constraints: 28639 1801.95/1806.95 c #Conflicts: 991000 | #Constraints: 29639 1801.95/1806.95 c #Conflicts: 992000 | #Constraints: 30639 1801.95/1806.95 c #Conflicts: 993000 | #Constraints: 31639 1801.95/1806.95 c #Conflicts: 994000 | #Constraints: 32639 1801.95/1806.95 c #Conflicts: 995000 | #Constraints: 33639 1801.95/1806.95 c #Conflicts: 996000 | #Constraints: 34639 1801.95/1806.95 c #Conflicts: 997000 | #Constraints: 35639 1801.95/1806.95 c #Conflicts: 998000 | #Constraints: 36639 1801.95/1806.95 c #Conflicts: 999000 | #Constraints: 37639 1801.95/1806.95 c #Conflicts: 1000000 | #Constraints: 38639 1801.95/1806.95 c #Conflicts: 1001000 | #Constraints: 39639 1801.95/1806.95 c INPROCESSING 1801.95/1806.95 c GARBAGE COLLECT 1801.95/1806.95 c rational objective 0 1865.90/1871.02 c #Conflicts: 1002000 | #Constraints: 20835 1865.90/1871.02 c #Conflicts: 1003000 | #Constraints: 21835 1865.90/1871.02 c #Conflicts: 1004000 | #Constraints: 22835 1865.90/1871.02 c #Conflicts: 1005000 | #Constraints: 23835 1865.90/1871.02 c #Conflicts: 1006000 | #Constraints: 24835 1865.90/1871.02 c #Conflicts: 1007000 | #Constraints: 25835 1865.90/1871.02 c #Conflicts: 1008000 | #Constraints: 26835 1865.90/1871.02 c #Conflicts: 1009000 | #Constraints: 27835 1865.90/1871.02 c #Conflicts: 1010000 | #Constraints: 28835 1865.90/1871.02 c #Conflicts: 1011000 | #Constraints: 29835 1865.90/1871.02 c #Conflicts: 1012000 | #Constraints: 30835 1865.90/1871.02 c #Conflicts: 1013000 | #Constraints: 31835 1865.90/1871.02 c #Conflicts: 1014000 | #Constraints: 32835 1865.90/1871.02 c #Conflicts: 1015000 | #Constraints: 33835 1865.90/1871.02 c #Conflicts: 1016000 | #Constraints: 34835 1865.90/1871.02 c #Conflicts: 1017000 | #Constraints: 35835 1865.90/1871.02 c #Conflicts: 1018000 | #Constraints: 36835 1865.90/1871.02 c #Conflicts: 1019000 | #Constraints: 37835 1865.90/1871.02 c #Conflicts: 1020000 | #Constraints: 38835 1865.90/1871.02 c #Conflicts: 1021000 | #Constraints: 39835 1865.90/1871.02 c INPROCESSING 1865.90/1871.02 c GARBAGE COLLECT 1865.90/1871.02 c rational objective 0 1922.25/1927.52 c #Conflicts: 1022000 | #Constraints: 20838 1922.25/1927.52 c #Conflicts: 1023000 | #Constraints: 21838 1922.25/1927.52 c #Conflicts: 1024000 | #Constraints: 22839 1922.25/1927.52 c #Conflicts: 1025000 | #Constraints: 23839 1922.25/1927.52 c #Conflicts: 1026000 | #Constraints: 24839 1922.25/1927.52 c #Conflicts: 1027000 | #Constraints: 25840 1922.25/1927.52 c #Conflicts: 1028000 | #Constraints: 26841 1922.25/1927.52 c #Conflicts: 1029000 | #Constraints: 27841 1922.25/1927.52 c #Conflicts: 1030000 | #Constraints: 28841 1922.25/1927.52 c #Conflicts: 1031000 | #Constraints: 29841 1922.25/1927.52 c #Conflicts: 1032000 | #Constraints: 30841 1922.25/1927.52 c #Conflicts: 1033000 | #Constraints: 31841 1922.25/1927.52 c #Conflicts: 1034000 | #Constraints: 32841 1922.25/1927.52 c #Conflicts: 1035000 | #Constraints: 33841 1922.25/1927.52 c #Conflicts: 1036000 | #Constraints: 34841 1922.25/1927.52 c #Conflicts: 1037000 | #Constraints: 35841 1922.25/1927.52 c #Conflicts: 1038000 | #Constraints: 36841 1922.25/1927.52 c #Conflicts: 1039000 | #Constraints: 37841 1922.25/1927.52 c #Conflicts: 1040000 | #Constraints: 38841 1922.25/1927.52 c #Conflicts: 1041000 | #Constraints: 39841 1922.25/1927.52 c INPROCESSING 1922.25/1927.52 c GARBAGE COLLECT 1922.25/1927.52 c rational objective 0 1992.78/1998.27 c #Conflicts: 1042000 | #Constraints: 20639 1992.78/1998.27 c #Conflicts: 1043000 | #Constraints: 21640 1992.78/1998.27 c #Conflicts: 1044000 | #Constraints: 22640 1992.78/1998.27 c #Conflicts: 1045000 | #Constraints: 23640 1992.78/1998.27 c #Conflicts: 1046000 | #Constraints: 24640 1992.78/1998.27 c #Conflicts: 1047000 | #Constraints: 25640 1992.78/1998.27 c #Conflicts: 1048000 | #Constraints: 26640 1992.78/1998.27 c #Conflicts: 1049000 | #Constraints: 27640 1992.78/1998.27 c #Conflicts: 1050000 | #Constraints: 28640 1992.78/1998.27 c #Conflicts: 1051000 | #Constraints: 29640 1992.78/1998.27 c #Conflicts: 1052000 | #Constraints: 30640 1992.78/1998.27 c #Conflicts: 1053000 | #Constraints: 31640 1992.78/1998.27 c #Conflicts: 1054000 | #Constraints: 32640 1992.78/1998.27 c #Conflicts: 1055000 | #Constraints: 33640 1992.78/1998.27 c #Conflicts: 1056000 | #Constraints: 34640 1992.78/1998.27 c #Conflicts: 1057000 | #Constraints: 35640 1992.78/1998.27 c #Conflicts: 1058000 | #Constraints: 36640 1992.78/1998.27 c #Conflicts: 1059000 | #Constraints: 37640 1992.78/1998.27 c #Conflicts: 1060000 | #Constraints: 38640 1992.78/1998.27 c #Conflicts: 1061000 | #Constraints: 39640 1992.78/1998.27 c #Conflicts: 1062000 | #Constraints: 40640 1992.78/1998.27 c INPROCESSING 1992.78/1998.27 c GARBAGE COLLECT 1992.78/1998.27 c rational objective 0 2053.44/2059.04 c #Conflicts: 1063000 | #Constraints: 21241 2053.44/2059.04 c #Conflicts: 1064000 | #Constraints: 22241 2053.44/2059.04 c #Conflicts: 1065000 | #Constraints: 23242 2053.44/2059.04 c #Conflicts: 1066000 | #Constraints: 24242 2053.44/2059.04 c #Conflicts: 1067000 | #Constraints: 25242 2053.44/2059.04 c #Conflicts: 1068000 | #Constraints: 26242 2053.44/2059.04 c #Conflicts: 1069000 | #Constraints: 27242 2053.44/2059.04 c #Conflicts: 1070000 | #Constraints: 28242 2053.44/2059.04 c #Conflicts: 1071000 | #Constraints: 29243 2053.44/2059.04 c #Conflicts: 1072000 | #Constraints: 30243 2053.44/2059.04 c #Conflicts: 1073000 | #Constraints: 31243 2053.44/2059.04 c #Conflicts: 1074000 | #Constraints: 32243 2053.44/2059.04 c #Conflicts: 1075000 | #Constraints: 33244 2053.44/2059.04 c #Conflicts: 1076000 | #Constraints: 34244 2053.44/2059.04 c #Conflicts: 1077000 | #Constraints: 35244 2053.44/2059.04 c #Conflicts: 1078000 | #Constraints: 36244 2053.44/2059.04 c #Conflicts: 1079000 | #Constraints: 37244 2053.44/2059.04 c #Conflicts: 1080000 | #Constraints: 38244 2053.44/2059.04 c #Conflicts: 1081000 | #Constraints: 39244 2053.44/2059.04 c #Conflicts: 1082000 | #Constraints: 40244 2053.44/2059.04 c #Conflicts: 1083000 | #Constraints: 41244 2053.44/2059.04 c INPROCESSING 2053.44/2059.04 c GARBAGE COLLECT 2053.44/2059.04 c rational objective 0 2114.78/2120.52 c #Conflicts: 1084000 | #Constraints: 21637 2114.78/2120.52 c #Conflicts: 1085000 | #Constraints: 22637 2114.78/2120.52 c #Conflicts: 1086000 | #Constraints: 23637 2114.78/2120.52 c #Conflicts: 1087000 | #Constraints: 24637 2114.78/2120.52 c #Conflicts: 1088000 | #Constraints: 25637 2114.78/2120.52 c #Conflicts: 1089000 | #Constraints: 26637 2114.78/2120.52 c #Conflicts: 1090000 | #Constraints: 27637 2114.78/2120.52 c #Conflicts: 1091000 | #Constraints: 28637 2114.78/2120.52 c #Conflicts: 1092000 | #Constraints: 29637 2114.78/2120.52 c #Conflicts: 1093000 | #Constraints: 30637 2114.78/2120.52 c #Conflicts: 1094000 | #Constraints: 31637 2114.78/2120.52 c #Conflicts: 1095000 | #Constraints: 32637 2114.78/2120.52 c #Conflicts: 1096000 | #Constraints: 33637 2114.78/2120.52 c #Conflicts: 1097000 | #Constraints: 34637 2114.78/2120.52 c #Conflicts: 1098000 | #Constraints: 35637 2114.78/2120.52 c #Conflicts: 1099000 | #Constraints: 36637 2114.78/2120.52 c #Conflicts: 1100000 | #Constraints: 37638 2114.78/2120.52 c #Conflicts: 1101000 | #Constraints: 38638 2114.78/2120.52 c #Conflicts: 1102000 | #Constraints: 39640 2114.78/2120.52 c #Conflicts: 1103000 | #Constraints: 40640 2114.78/2120.52 c #Conflicts: 1104000 | #Constraints: 41640 2114.78/2120.52 c INPROCESSING 2114.78/2120.52 c GARBAGE COLLECT 2114.78/2120.52 c rational objective 0 2192.39/2198.32 c #Conflicts: 1105000 | #Constraints: 21838 2192.39/2198.32 c #Conflicts: 1106000 | #Constraints: 22838 2192.39/2198.32 c #Conflicts: 1107000 | #Constraints: 23838 2192.39/2198.32 c #Conflicts: 1108000 | #Constraints: 24838 2192.39/2198.32 c #Conflicts: 1109000 | #Constraints: 25838 2192.39/2198.32 c #Conflicts: 1110000 | #Constraints: 26839 2192.39/2198.32 c #Conflicts: 1111000 | #Constraints: 27840 2192.39/2198.32 c #Conflicts: 1112000 | #Constraints: 28841 2192.39/2198.32 c #Conflicts: 1113000 | #Constraints: 29843 2192.39/2198.32 c #Conflicts: 1114000 | #Constraints: 30844 2192.39/2198.32 c #Conflicts: 1115000 | #Constraints: 31844 2192.39/2198.32 c #Conflicts: 1116000 | #Constraints: 32845 2192.39/2198.32 c #Conflicts: 1117000 | #Constraints: 33845 2192.39/2198.32 c #Conflicts: 1118000 | #Constraints: 34845 2192.39/2198.32 c #Conflicts: 1119000 | #Constraints: 35845 2192.39/2198.32 c #Conflicts: 1120000 | #Constraints: 36845 2192.39/2198.32 c #Conflicts: 1121000 | #Constraints: 37846 2192.39/2198.32 c #Conflicts: 1122000 | #Constraints: 38846 2192.39/2198.32 c #Conflicts: 1123000 | #Constraints: 39846 2192.39/2198.32 c #Conflicts: 1124000 | #Constraints: 40846 2192.39/2198.32 c #Conflicts: 1125000 | #Constraints: 41846 2192.39/2198.32 c INPROCESSING 2192.39/2198.32 c GARBAGE COLLECT 2192.39/2198.32 c rational objective 0 2251.15/2257.27 c #Conflicts: 1126000 | #Constraints: 21845 2251.15/2257.27 c #Conflicts: 1127000 | #Constraints: 22845 2251.15/2257.27 c #Conflicts: 1128000 | #Constraints: 23845 2251.15/2257.27 c #Conflicts: 1129000 | #Constraints: 24845 2251.15/2257.27 c #Conflicts: 1130000 | #Constraints: 25846 2251.15/2257.27 c #Conflicts: 1131000 | #Constraints: 26846 2251.15/2257.27 c #Conflicts: 1132000 | #Constraints: 27846 2251.15/2257.27 c #Conflicts: 1133000 | #Constraints: 28846 2251.15/2257.27 c #Conflicts: 1134000 | #Constraints: 29846 2251.15/2257.27 c #Conflicts: 1135000 | #Constraints: 30846 2251.15/2257.27 c #Conflicts: 1136000 | #Constraints: 31846 2251.15/2257.27 c #Conflicts: 1137000 | #Constraints: 32846 2251.15/2257.27 c #Conflicts: 1138000 | #Constraints: 33847 2251.15/2257.27 c #Conflicts: 1139000 | #Constraints: 34847 2251.15/2257.27 c #Conflicts: 1140000 | #Constraints: 35848 2251.15/2257.27 c #Conflicts: 1141000 | #Constraints: 36848 2251.15/2257.27 c #Conflicts: 1142000 | #Constraints: 37849 2251.15/2257.27 c #Conflicts: 1143000 | #Constraints: 38849 2251.15/2257.27 c #Conflicts: 1144000 | #Constraints: 39849 2251.15/2257.27 c #Conflicts: 1145000 | #Constraints: 40849 2251.15/2257.27 c #Conflicts: 1146000 | #Constraints: 41849 2251.15/2257.27 c INPROCESSING 2251.15/2257.27 c GARBAGE COLLECT 2251.15/2257.27 c rational objective 0 2330.65/2336.97 c #Conflicts: 1147000 | #Constraints: 21639 2330.65/2336.97 c #Conflicts: 1148000 | #Constraints: 22639 2330.65/2336.97 c #Conflicts: 1149000 | #Constraints: 23639 2330.65/2336.97 c #Conflicts: 1150000 | #Constraints: 24639 2330.65/2336.97 c #Conflicts: 1151000 | #Constraints: 25639 2330.65/2336.97 c #Conflicts: 1152000 | #Constraints: 26639 2330.65/2336.97 c #Conflicts: 1153000 | #Constraints: 27639 2330.65/2336.97 c #Conflicts: 1154000 | #Constraints: 28639 2330.65/2336.97 c #Conflicts: 1155000 | #Constraints: 29640 2330.65/2336.97 c #Conflicts: 1156000 | #Constraints: 30640 2330.65/2336.97 c #Conflicts: 1157000 | #Constraints: 31640 2330.65/2336.97 c #Conflicts: 1158000 | #Constraints: 32640 2330.65/2336.97 c #Conflicts: 1159000 | #Constraints: 33640 2330.65/2336.97 c #Conflicts: 1160000 | #Constraints: 34640 2330.65/2336.97 c #Conflicts: 1161000 | #Constraints: 35640 2330.65/2336.97 c #Conflicts: 1162000 | #Constraints: 36640 2330.65/2336.97 c #Conflicts: 1163000 | #Constraints: 37640 2330.65/2336.97 c #Conflicts: 1164000 | #Constraints: 38640 2330.65/2336.97 c #Conflicts: 1165000 | #Constraints: 39640 2330.65/2336.97 c #Conflicts: 1166000 | #Constraints: 40640 2330.65/2336.97 c #Conflicts: 1167000 | #Constraints: 41640 2330.65/2336.97 c #Conflicts: 1168000 | #Constraints: 42640 2330.65/2336.97 c INPROCESSING 2330.65/2336.97 c GARBAGE COLLECT 2330.65/2336.97 c rational objective 0 2392.90/2399.33 c #Conflicts: 1169000 | #Constraints: 22245 2392.90/2399.33 c #Conflicts: 1170000 | #Constraints: 23245 2392.90/2399.33 c #Conflicts: 1171000 | #Constraints: 24245 2392.90/2399.33 c #Conflicts: 1172000 | #Constraints: 25245 2392.90/2399.33 c #Conflicts: 1173000 | #Constraints: 26245 2392.90/2399.33 c #Conflicts: 1174000 | #Constraints: 27245 2392.90/2399.33 c #Conflicts: 1175000 | #Constraints: 28245 2392.90/2399.33 c #Conflicts: 1176000 | #Constraints: 29245 2392.90/2399.33 c #Conflicts: 1177000 | #Constraints: 30246 2392.90/2399.33 c #Conflicts: 1178000 | #Constraints: 31246 2392.90/2399.33 c #Conflicts: 1179000 | #Constraints: 32246 2392.90/2399.33 c #Conflicts: 1180000 | #Constraints: 33246 2392.90/2399.33 c #Conflicts: 1181000 | #Constraints: 34247 2392.90/2399.33 c #Conflicts: 1182000 | #Constraints: 35247 2392.90/2399.33 c #Conflicts: 1183000 | #Constraints: 36247 2392.90/2399.33 c #Conflicts: 1184000 | #Constraints: 37247 2392.90/2399.33 c #Conflicts: 1185000 | #Constraints: 38248 2392.90/2399.33 c #Conflicts: 1186000 | #Constraints: 39248 2392.90/2399.33 c #Conflicts: 1187000 | #Constraints: 40248 2392.90/2399.33 c #Conflicts: 1188000 | #Constraints: 41248 2392.90/2399.33 c #Conflicts: 1189000 | #Constraints: 42248 2392.90/2399.33 c #Conflicts: 1190000 | #Constraints: 43248 2392.90/2399.33 c INPROCESSING 2392.90/2399.33 c GARBAGE COLLECT 2392.90/2399.33 c rational objective 0 2481.38/2488.02 c #Conflicts: 1191000 | #Constraints: 22636 2481.38/2488.02 c #Conflicts: 1192000 | #Constraints: 23636 2481.38/2488.02 c #Conflicts: 1193000 | #Constraints: 24636 2481.38/2488.02 c #Conflicts: 1194000 | #Constraints: 25636 2481.38/2488.02 c #Conflicts: 1195000 | #Constraints: 26636 2481.38/2488.02 c #Conflicts: 1196000 | #Constraints: 27637 2481.38/2488.02 c #Conflicts: 1197000 | #Constraints: 28639 2481.38/2488.02 c #Conflicts: 1198000 | #Constraints: 29639 2481.38/2488.02 c #Conflicts: 1199000 | #Constraints: 30639 2481.38/2488.02 c #Conflicts: 1200000 | #Constraints: 31639 2481.38/2488.02 c #Conflicts: 1201000 | #Constraints: 32639 2481.38/2488.02 c #Conflicts: 1202000 | #Constraints: 33639 2481.38/2488.02 c #Conflicts: 1203000 | #Constraints: 34639 2481.38/2488.02 c #Conflicts: 1204000 | #Constraints: 35639 2481.38/2488.02 c #Conflicts: 1205000 | #Constraints: 36639 2481.38/2488.02 c #Conflicts: 1206000 | #Constraints: 37639 2481.38/2488.02 c #Conflicts: 1207000 | #Constraints: 38639 2481.38/2488.02 c #Conflicts: 1208000 | #Constraints: 39639 2481.38/2488.02 c #Conflicts: 1209000 | #Constraints: 40639 2481.38/2488.02 c #Conflicts: 1210000 | #Constraints: 41639 2481.38/2488.02 c #Conflicts: 1211000 | #Constraints: 42639 2481.38/2488.02 c #Conflicts: 1212000 | #Constraints: 43639 2481.38/2488.02 c INPROCESSING 2481.38/2488.02 c GARBAGE COLLECT 2481.38/2488.02 c rational objective 0 2550.09/2557.00 c #Conflicts: 1213000 | #Constraints: 22841 2550.09/2557.00 c #Conflicts: 1214000 | #Constraints: 23842 2550.09/2557.00 c #Conflicts: 1215000 | #Constraints: 24842 2550.09/2557.00 c #Conflicts: 1216000 | #Constraints: 25842 2550.09/2557.00 c #Conflicts: 1217000 | #Constraints: 26842 2550.09/2557.00 c #Conflicts: 1218000 | #Constraints: 27842 2550.09/2557.00 c #Conflicts: 1219000 | #Constraints: 28842 2550.09/2557.00 c #Conflicts: 1220000 | #Constraints: 29842 2550.09/2557.00 c #Conflicts: 1221000 | #Constraints: 30842 2550.09/2557.00 c #Conflicts: 1222000 | #Constraints: 31843 2550.09/2557.00 c #Conflicts: 1223000 | #Constraints: 32843 2550.09/2557.00 c #Conflicts: 1224000 | #Constraints: 33843 2550.09/2557.00 c #Conflicts: 1225000 | #Constraints: 34843 2550.09/2557.00 c #Conflicts: 1226000 | #Constraints: 35843 2550.09/2557.00 c #Conflicts: 1227000 | #Constraints: 36843 2550.09/2557.00 c #Conflicts: 1228000 | #Constraints: 37843 2550.09/2557.00 c #Conflicts: 1229000 | #Constraints: 38843 2550.09/2557.00 c #Conflicts: 1230000 | #Constraints: 39843 2550.09/2557.00 c #Conflicts: 1231000 | #Constraints: 40843 2550.09/2557.00 c #Conflicts: 1232000 | #Constraints: 41843 2550.09/2557.00 c #Conflicts: 1233000 | #Constraints: 42843 2550.09/2557.00 c #Conflicts: 1234000 | #Constraints: 43844 2550.09/2557.00 c INPROCESSING 2550.09/2557.00 c GARBAGE COLLECT 2550.09/2557.00 c rational objective 0 2640.98/2648.02 c #Conflicts: 1235000 | #Constraints: 22834 2640.98/2648.02 c #Conflicts: 1236000 | #Constraints: 23834 2640.98/2648.02 c #Conflicts: 1237000 | #Constraints: 24834 2640.98/2648.02 c #Conflicts: 1238000 | #Constraints: 25834 2640.98/2648.02 c #Conflicts: 1239000 | #Constraints: 26834 2640.98/2648.02 c #Conflicts: 1240000 | #Constraints: 27834 2640.98/2648.02 c #Conflicts: 1241000 | #Constraints: 28834 2640.98/2648.02 c #Conflicts: 1242000 | #Constraints: 29834 2640.98/2648.02 c #Conflicts: 1243000 | #Constraints: 30834 2640.98/2648.02 c #Conflicts: 1244000 | #Constraints: 31834 2640.98/2648.02 c #Conflicts: 1245000 | #Constraints: 32835 2640.98/2648.02 c #Conflicts: 1246000 | #Constraints: 33836 2640.98/2648.02 c #Conflicts: 1247000 | #Constraints: 34836 2640.98/2648.02 c #Conflicts: 1248000 | #Constraints: 35837 2640.98/2648.02 c #Conflicts: 1249000 | #Constraints: 36837 2640.98/2648.02 c #Conflicts: 1250000 | #Constraints: 37837 2640.98/2648.02 c #Conflicts: 1251000 | #Constraints: 38837 2640.98/2648.02 c #Conflicts: 1252000 | #Constraints: 39837 2640.98/2648.02 c #Conflicts: 1253000 | #Constraints: 40837 2640.98/2648.02 c #Conflicts: 1254000 | #Constraints: 41837 2640.98/2648.02 c #Conflicts: 1255000 | #Constraints: 42837 2640.98/2648.02 c #Conflicts: 1256000 | #Constraints: 43837 2640.98/2648.02 c INPROCESSING 2640.98/2648.02 c GARBAGE COLLECT 2640.98/2648.02 c rational objective 0 2707.61/2714.82 c #Conflicts: 1257000 | #Constraints: 22636 2707.61/2714.82 c #Conflicts: 1258000 | #Constraints: 23636 2707.61/2714.82 c #Conflicts: 1259000 | #Constraints: 24636 2707.61/2714.82 c #Conflicts: 1260000 | #Constraints: 25636 2707.61/2714.82 c #Conflicts: 1261000 | #Constraints: 26636 2707.61/2714.82 c #Conflicts: 1262000 | #Constraints: 27636 2707.61/2714.82 c #Conflicts: 1263000 | #Constraints: 28636 2707.61/2714.82 c #Conflicts: 1264000 | #Constraints: 29636 2707.61/2714.82 c #Conflicts: 1265000 | #Constraints: 30636 2707.61/2714.82 c #Conflicts: 1266000 | #Constraints: 31636 2707.61/2714.82 c #Conflicts: 1267000 | #Constraints: 32636 2707.61/2714.82 c #Conflicts: 1268000 | #Constraints: 33636 2707.61/2714.82 c #Conflicts: 1269000 | #Constraints: 34636 2707.61/2714.82 c #Conflicts: 1270000 | #Constraints: 35636 2707.61/2714.82 c #Conflicts: 1271000 | #Constraints: 36636 2707.61/2714.82 c #Conflicts: 1272000 | #Constraints: 37636 2707.61/2714.82 c #Conflicts: 1273000 | #Constraints: 38637 2707.61/2714.82 c #Conflicts: 1274000 | #Constraints: 39638 2707.61/2714.82 c #Conflicts: 1275000 | #Constraints: 40638 2707.61/2714.82 c #Conflicts: 1276000 | #Constraints: 41638 2707.61/2714.82 c #Conflicts: 1277000 | #Constraints: 42638 2707.61/2714.82 c #Conflicts: 1278000 | #Constraints: 43638 2707.61/2714.82 c #Conflicts: 1279000 | #Constraints: 44638 2707.61/2714.82 c INPROCESSING 2707.61/2714.82 c GARBAGE COLLECT 2707.61/2714.82 c rational objective 0 2772.35/2779.73 c #Conflicts: 1280000 | #Constraints: 23236 2772.35/2779.73 c #Conflicts: 1281000 | #Constraints: 24237 2772.35/2779.73 c #Conflicts: 1282000 | #Constraints: 25237 2772.35/2779.73 c #Conflicts: 1283000 | #Constraints: 26237 2772.35/2779.73 c #Conflicts: 1284000 | #Constraints: 27237 2772.35/2779.73 c #Conflicts: 1285000 | #Constraints: 28237 2772.35/2779.73 c #Conflicts: 1286000 | #Constraints: 29237 2772.35/2779.73 c #Conflicts: 1287000 | #Constraints: 30237 2772.35/2779.73 c #Conflicts: 1288000 | #Constraints: 31237 2772.35/2779.73 c #Conflicts: 1289000 | #Constraints: 32238 2772.35/2779.73 c #Conflicts: 1290000 | #Constraints: 33238 2772.35/2779.73 c #Conflicts: 1291000 | #Constraints: 34239 2772.35/2779.73 c #Conflicts: 1292000 | #Constraints: 35239 2772.35/2779.73 c #Conflicts: 1293000 | #Constraints: 36239 2772.35/2779.73 c #Conflicts: 1294000 | #Constraints: 37239 2772.35/2779.73 c #Conflicts: 1295000 | #Constraints: 38239 2772.35/2779.73 c #Conflicts: 1296000 | #Constraints: 39239 2772.35/2779.73 c #Conflicts: 1297000 | #Constraints: 40239 2772.35/2779.73 c #Conflicts: 1298000 | #Constraints: 41239 2772.35/2779.73 c #Conflicts: 1299000 | #Constraints: 42239 2772.35/2779.73 c #Conflicts: 1300000 | #Constraints: 43239 2772.35/2779.73 c #Conflicts: 1301000 | #Constraints: 44239 2772.35/2779.73 c #Conflicts: 1302000 | #Constraints: 45240 2772.35/2779.73 c INPROCESSING 2772.35/2779.73 c GARBAGE COLLECT 2772.35/2779.73 c rational objective 0 2867.43/2875.06 c #Conflicts: 1303000 | #Constraints: 23639 2867.43/2875.06 c #Conflicts: 1304000 | #Constraints: 24640 2867.43/2875.06 c #Conflicts: 1305000 | #Constraints: 25640 2867.43/2875.06 c #Conflicts: 1306000 | #Constraints: 26640 2867.43/2875.06 c #Conflicts: 1307000 | #Constraints: 27640 2867.43/2875.06 c #Conflicts: 1308000 | #Constraints: 28640 2867.43/2875.06 c #Conflicts: 1309000 | #Constraints: 29641 2867.43/2875.06 c #Conflicts: 1310000 | #Constraints: 30642 2867.43/2875.06 c #Conflicts: 1311000 | #Constraints: 31642 2867.43/2875.06 c #Conflicts: 1312000 | #Constraints: 32643 2867.43/2875.06 c #Conflicts: 1313000 | #Constraints: 33643 2867.43/2875.06 c #Conflicts: 1314000 | #Constraints: 34643 2867.43/2875.06 c #Conflicts: 1315000 | #Constraints: 35643 2867.43/2875.06 c #Conflicts: 1316000 | #Constraints: 36643 2867.43/2875.06 c #Conflicts: 1317000 | #Constraints: 37643 2867.43/2875.06 c #Conflicts: 1318000 | #Constraints: 38643 2867.43/2875.06 c #Conflicts: 1319000 | #Constraints: 39643 2867.43/2875.06 c #Conflicts: 1320000 | #Constraints: 40643 2867.43/2875.06 c #Conflicts: 1321000 | #Constraints: 41643 2867.43/2875.06 c #Conflicts: 1322000 | #Constraints: 42644 2867.43/2875.06 c #Conflicts: 1323000 | #Constraints: 43644 2867.43/2875.06 c #Conflicts: 1324000 | #Constraints: 44644 2867.43/2875.06 c #Conflicts: 1325000 | #Constraints: 45644 2867.43/2875.06 c INPROCESSING 2867.43/2875.06 c GARBAGE COLLECT 2867.43/2875.06 c rational objective 0 2943.82/2951.69 c #Conflicts: 1326000 | #Constraints: 23840 2943.82/2951.69 c #Conflicts: 1327000 | #Constraints: 24840 2943.82/2951.69 c #Conflicts: 1328000 | #Constraints: 25840 2943.82/2951.69 c #Conflicts: 1329000 | #Constraints: 26840 2943.82/2951.69 c #Conflicts: 1330000 | #Constraints: 27840 2943.82/2951.69 c #Conflicts: 1331000 | #Constraints: 28840 2943.82/2951.69 c #Conflicts: 1332000 | #Constraints: 29840 2943.82/2951.69 c #Conflicts: 1333000 | #Constraints: 30840 2943.82/2951.69 c #Conflicts: 1334000 | #Constraints: 31840 2943.82/2951.69 c #Conflicts: 1335000 | #Constraints: 32840 2943.82/2951.69 c #Conflicts: 1336000 | #Constraints: 33840 2943.82/2951.69 c #Conflicts: 1337000 | #Constraints: 34840 2943.82/2951.69 c #Conflicts: 1338000 | #Constraints: 35840 2943.82/2951.69 c #Conflicts: 1339000 | #Constraints: 36840 2943.82/2951.69 c #Conflicts: 1340000 | #Constraints: 37840 2943.82/2951.69 c #Conflicts: 1341000 | #Constraints: 38841 2943.82/2951.69 c #Conflicts: 1342000 | #Constraints: 39841 2943.82/2951.69 c #Conflicts: 1343000 | #Constraints: 40841 2943.82/2951.69 c #Conflicts: 1344000 | #Constraints: 41842 2943.82/2951.69 c #Conflicts: 1345000 | #Constraints: 42842 2943.82/2951.69 c #Conflicts: 1346000 | #Constraints: 43842 2943.82/2951.69 c #Conflicts: 1347000 | #Constraints: 44842 2943.82/2951.69 c #Conflicts: 1348000 | #Constraints: 45842 2943.82/2951.69 c INPROCESSING 2943.82/2951.69 c GARBAGE COLLECT 2943.82/2951.69 c rational objective 0 3046.67/3054.75 c #Conflicts: 1349000 | #Constraints: 23837 3046.67/3054.75 c #Conflicts: 1350000 | #Constraints: 24837 3046.67/3054.75 c #Conflicts: 1351000 | #Constraints: 25837 3046.67/3054.75 c #Conflicts: 1352000 | #Constraints: 26837 3046.67/3054.75 c #Conflicts: 1353000 | #Constraints: 27837 3046.67/3054.75 c #Conflicts: 1354000 | #Constraints: 28837 3046.67/3054.75 c #Conflicts: 1355000 | #Constraints: 29837 3046.67/3054.75 c #Conflicts: 1356000 | #Constraints: 30837 3046.67/3054.75 c #Conflicts: 1357000 | #Constraints: 31837 3046.67/3054.75 c #Conflicts: 1358000 | #Constraints: 32837 3046.67/3054.75 c #Conflicts: 1359000 | #Constraints: 33838 3046.67/3054.75 c #Conflicts: 1360000 | #Constraints: 34838 3046.67/3054.75 c #Conflicts: 1361000 | #Constraints: 35838 3046.67/3054.75 c #Conflicts: 1362000 | #Constraints: 36838 3046.67/3054.75 c #Conflicts: 1363000 | #Constraints: 37838 3046.67/3054.75 c #Conflicts: 1364000 | #Constraints: 38838 3046.67/3054.75 c #Conflicts: 1365000 | #Constraints: 39839 3046.67/3054.75 c #Conflicts: 1366000 | #Constraints: 40840 3046.67/3054.75 c #Conflicts: 1367000 | #Constraints: 41840 3046.67/3054.75 c #Conflicts: 1368000 | #Constraints: 42840 3046.67/3054.75 c #Conflicts: 1369000 | #Constraints: 43840 3046.67/3054.75 c #Conflicts: 1370000 | #Constraints: 44840 3046.67/3054.75 c #Conflicts: 1371000 | #Constraints: 45840 3046.67/3054.75 c INPROCESSING 3046.67/3054.75 c GARBAGE COLLECT 3046.67/3054.75 c rational objective 0 3122.99/3131.26 c #Conflicts: 1372000 | #Constraints: 23638 3122.99/3131.26 c #Conflicts: 1373000 | #Constraints: 24638 3122.99/3131.26 c #Conflicts: 1374000 | #Constraints: 25638 3122.99/3131.26 c #Conflicts: 1375000 | #Constraints: 26638 3122.99/3131.26 c #Conflicts: 1376000 | #Constraints: 27638 3122.99/3131.26 c #Conflicts: 1377000 | #Constraints: 28638 3122.99/3131.26 c #Conflicts: 1378000 | #Constraints: 29638 3122.99/3131.26 c #Conflicts: 1379000 | #Constraints: 30638 3122.99/3131.26 c #Conflicts: 1380000 | #Constraints: 31639 3122.99/3131.26 c #Conflicts: 1381000 | #Constraints: 32639 3122.99/3131.26 c #Conflicts: 1382000 | #Constraints: 33639 3122.99/3131.26 c #Conflicts: 1383000 | #Constraints: 34639 3122.99/3131.26 c #Conflicts: 1384000 | #Constraints: 35639 3122.99/3131.26 c #Conflicts: 1385000 | #Constraints: 36639 3122.99/3131.26 c #Conflicts: 1386000 | #Constraints: 37639 3122.99/3131.26 c #Conflicts: 1387000 | #Constraints: 38640 3122.99/3131.26 c #Conflicts: 1388000 | #Constraints: 39640 3122.99/3131.26 c #Conflicts: 1389000 | #Constraints: 40641 3122.99/3131.26 c #Conflicts: 1390000 | #Constraints: 41641 3122.99/3131.26 c #Conflicts: 1391000 | #Constraints: 42641 3122.99/3131.26 c #Conflicts: 1392000 | #Constraints: 43641 3122.99/3131.26 c #Conflicts: 1393000 | #Constraints: 44641 3122.99/3131.26 c #Conflicts: 1394000 | #Constraints: 45641 3122.99/3131.26 c #Conflicts: 1395000 | #Constraints: 46641 3122.99/3131.26 c INPROCESSING 3122.99/3131.26 c GARBAGE COLLECT 3122.99/3131.26 c rational objective 0 3225.73/3234.28 c #Conflicts: 1396000 | #Constraints: 24237 3225.73/3234.28 c #Conflicts: 1397000 | #Constraints: 25237 3225.73/3234.28 c #Conflicts: 1398000 | #Constraints: 26237 3225.73/3234.28 c #Conflicts: 1399000 | #Constraints: 27237 3225.73/3234.28 c #Conflicts: 1400000 | #Constraints: 28237 3225.73/3234.28 c #Conflicts: 1401000 | #Constraints: 29237 3225.73/3234.28 c #Conflicts: 1402000 | #Constraints: 30237 3225.73/3234.28 c #Conflicts: 1403000 | #Constraints: 31237 3225.73/3234.28 c #Conflicts: 1404000 | #Constraints: 32237 3225.73/3234.28 c #Conflicts: 1405000 | #Constraints: 33237 3225.73/3234.28 c #Conflicts: 1406000 | #Constraints: 34237 3225.73/3234.28 c #Conflicts: 1407000 | #Constraints: 35237 3225.73/3234.28 c #Conflicts: 1408000 | #Constraints: 36237 3225.73/3234.28 c #Conflicts: 1409000 | #Constraints: 37237 3225.73/3234.28 c #Conflicts: 1410000 | #Constraints: 38237 3225.73/3234.28 c #Conflicts: 1411000 | #Constraints: 39237 3225.73/3234.28 c #Conflicts: 1412000 | #Constraints: 40237 3225.73/3234.28 c #Conflicts: 1413000 | #Constraints: 41237 3225.73/3234.28 c #Conflicts: 1414000 | #Constraints: 42237 3225.73/3234.28 c #Conflicts: 1415000 | #Constraints: 43237 3225.73/3234.29 c #Conflicts: 1416000 | #Constraints: 44237 3225.73/3234.29 c #Conflicts: 1417000 | #Constraints: 45237 3225.73/3234.29 c #Conflicts: 1418000 | #Constraints: 46237 3225.73/3234.29 c #Conflicts: 1419000 | #Constraints: 47237 3225.73/3234.29 c INPROCESSING 3225.73/3234.29 c GARBAGE COLLECT 3225.73/3234.29 c rational objective 0 3303.94/3312.60 c #Conflicts: 1420000 | #Constraints: 24638 3303.94/3312.60 c #Conflicts: 1421000 | #Constraints: 25638 3303.94/3312.60 c #Conflicts: 1422000 | #Constraints: 26638 3303.94/3312.60 c #Conflicts: 1423000 | #Constraints: 27638 3303.94/3312.60 c #Conflicts: 1424000 | #Constraints: 28638 3303.94/3312.60 c #Conflicts: 1425000 | #Constraints: 29638 3303.94/3312.60 c #Conflicts: 1426000 | #Constraints: 30638 3303.94/3312.60 c #Conflicts: 1427000 | #Constraints: 31638 3303.94/3312.60 c #Conflicts: 1428000 | #Constraints: 32638 3303.94/3312.60 c #Conflicts: 1429000 | #Constraints: 33639 3303.94/3312.60 c #Conflicts: 1430000 | #Constraints: 34639 3303.94/3312.60 c #Conflicts: 1431000 | #Constraints: 35639 3303.94/3312.60 c #Conflicts: 1432000 | #Constraints: 36639 3303.94/3312.60 c #Conflicts: 1433000 | #Constraints: 37639 3303.94/3312.60 c #Conflicts: 1434000 | #Constraints: 38639 3303.94/3312.60 c #Conflicts: 1435000 | #Constraints: 39641 3303.94/3312.60 c #Conflicts: 1436000 | #Constraints: 40641 3303.94/3312.60 c #Conflicts: 1437000 | #Constraints: 41641 3303.94/3312.60 c #Conflicts: 1438000 | #Constraints: 42641 3303.94/3312.60 c #Conflicts: 1439000 | #Constraints: 43641 3303.94/3312.60 c #Conflicts: 1440000 | #Constraints: 44641 3303.94/3312.60 c #Conflicts: 1441000 | #Constraints: 45641 3303.94/3312.60 c #Conflicts: 1442000 | #Constraints: 46641 3303.94/3312.60 c #Conflicts: 1443000 | #Constraints: 47641 3303.94/3312.60 c INPROCESSING 3303.94/3312.60 c GARBAGE COLLECT 3303.94/3312.60 c rational objective 0 3411.39/3420.34 c #Conflicts: 1444000 | #Constraints: 24842 3411.39/3420.34 c #Conflicts: 1445000 | #Constraints: 25842 3411.39/3420.34 c #Conflicts: 1446000 | #Constraints: 26842 3411.39/3420.34 c #Conflicts: 1447000 | #Constraints: 27842 3411.39/3420.34 c #Conflicts: 1448000 | #Constraints: 28842 3411.39/3420.34 c #Conflicts: 1449000 | #Constraints: 29843 3411.39/3420.34 c #Conflicts: 1450000 | #Constraints: 30843 3411.39/3420.34 c #Conflicts: 1451000 | #Constraints: 31843 3411.39/3420.34 c #Conflicts: 1452000 | #Constraints: 32843 3411.39/3420.34 c #Conflicts: 1453000 | #Constraints: 33843 3411.39/3420.34 c #Conflicts: 1454000 | #Constraints: 34843 3411.39/3420.34 c #Conflicts: 1455000 | #Constraints: 35844 3411.39/3420.34 c #Conflicts: 1456000 | #Constraints: 36844 3411.39/3420.34 c #Conflicts: 1457000 | #Constraints: 37844 3411.39/3420.34 c #Conflicts: 1458000 | #Constraints: 38844 3411.39/3420.34 c #Conflicts: 1459000 | #Constraints: 39845 3411.39/3420.34 c #Conflicts: 1460000 | #Constraints: 40845 3411.39/3420.34 c #Conflicts: 1461000 | #Constraints: 41845 3411.39/3420.34 c #Conflicts: 1462000 | #Constraints: 42845 3411.39/3420.34 c #Conflicts: 1463000 | #Constraints: 43845 3411.39/3420.34 c #Conflicts: 1464000 | #Constraints: 44845 3411.39/3420.34 c #Conflicts: 1465000 | #Constraints: 45846 3411.39/3420.34 c #Conflicts: 1466000 | #Constraints: 46846 3411.39/3420.34 c #Conflicts: 1467000 | #Constraints: 47846 3411.39/3420.34 c INPROCESSING 3411.39/3420.34 c GARBAGE COLLECT 3411.39/3420.34 c rational objective 0 3490.39/3499.54 c #Conflicts: 1468000 | #Constraints: 24845 3490.39/3499.54 c #Conflicts: 1469000 | #Constraints: 25845 3490.39/3499.54 c #Conflicts: 1470000 | #Constraints: 26846 3490.39/3499.54 c #Conflicts: 1471000 | #Constraints: 27846 3490.39/3499.54 c #Conflicts: 1472000 | #Constraints: 28846 3490.39/3499.54 c #Conflicts: 1473000 | #Constraints: 29847 3490.39/3499.54 c #Conflicts: 1474000 | #Constraints: 30848 3490.39/3499.54 c #Conflicts: 1475000 | #Constraints: 31849 3490.39/3499.54 c #Conflicts: 1476000 | #Constraints: 32849 3490.39/3499.54 c #Conflicts: 1477000 | #Constraints: 33849 3490.39/3499.54 c #Conflicts: 1478000 | #Constraints: 34849 3490.39/3499.54 c #Conflicts: 1479000 | #Constraints: 35849 3490.39/3499.54 c #Conflicts: 1480000 | #Constraints: 36849 3490.39/3499.54 c #Conflicts: 1481000 | #Constraints: 37849 3490.39/3499.54 c #Conflicts: 1482000 | #Constraints: 38849 3490.39/3499.54 c #Conflicts: 1483000 | #Constraints: 39850 3490.39/3499.54 c #Conflicts: 1484000 | #Constraints: 40850 3490.39/3499.54 c #Conflicts: 1485000 | #Constraints: 41850 3490.39/3499.54 c #Conflicts: 1486000 | #Constraints: 42850 3490.39/3499.54 c #Conflicts: 1487000 | #Constraints: 43851 3490.39/3499.54 c #Conflicts: 1488000 | #Constraints: 44851 3490.39/3499.54 c #Conflicts: 1489000 | #Constraints: 45851 3490.39/3499.54 c #Conflicts: 1490000 | #Constraints: 46851 3490.39/3499.54 c #Conflicts: 1491000 | #Constraints: 47851 3490.39/3499.54 c INPROCESSING 3490.39/3499.54 c GARBAGE COLLECT 3490.39/3499.54 c rational objective 0 3570.70/3580.03 c #Conflicts: 1492000 | #Constraints: 24640 3570.70/3580.03 c #Conflicts: 1493000 | #Constraints: 25640 3570.70/3580.03 c #Conflicts: 1494000 | #Constraints: 26640 3570.70/3580.03 c #Conflicts: 1495000 | #Constraints: 27640 3570.70/3580.03 c #Conflicts: 1496000 | #Constraints: 28640 3570.70/3580.03 c #Conflicts: 1497000 | #Constraints: 29640 3570.70/3580.03 c #Conflicts: 1498000 | #Constraints: 30640 3570.70/3580.03 c #Conflicts: 1499000 | #Constraints: 31642 3570.70/3580.03 c #Conflicts: 1500000 | #Constraints: 32642 3570.70/3580.03 c #Conflicts: 1501000 | #Constraints: 33642 3570.70/3580.03 c #Conflicts: 1502000 | #Constraints: 34642 3570.70/3580.03 c #Conflicts: 1503000 | #Constraints: 35642 3570.70/3580.03 c #Conflicts: 1504000 | #Constraints: 36642 3570.70/3580.03 c #Conflicts: 1505000 | #Constraints: 37642 3570.70/3580.03 c #Conflicts: 1506000 | #Constraints: 38642 3570.70/3580.03 c #Conflicts: 1507000 | #Constraints: 39642 3570.70/3580.03 c #Conflicts: 1508000 | #Constraints: 40642 3570.70/3580.03 c #Conflicts: 1509000 | #Constraints: 41643 3570.70/3580.03 c #Conflicts: 1510000 | #Constraints: 42643 3570.70/3580.03 c #Conflicts: 1511000 | #Constraints: 43643 3570.70/3580.03 c #Conflicts: 1512000 | #Constraints: 44643 3570.70/3580.03 c #Conflicts: 1513000 | #Constraints: 45643 3570.70/3580.03 c #Conflicts: 1514000 | #Constraints: 46643 3570.70/3580.03 c #Conflicts: 1515000 | #Constraints: 47643 3570.70/3580.03 c #Conflicts: 1516000 | #Constraints: 48643 3570.70/3580.03 c INPROCESSING 3570.70/3580.03 c GARBAGE COLLECT 3570.70/3580.03 c rational objective 0 3600.01/3609.40 c #Conflicts: 1517000 | #Constraints: 25238 3600.01/3609.40 c #Conflicts: 1518000 | #Constraints: 26238 3600.01/3609.40 c #Conflicts: 1519000 | #Constraints: 27238 3600.01/3609.40 c #Conflicts: 1520000 | #Constraints: 28238 3600.01/3609.40 c #Conflicts: 1521000 | #Constraints: 29238 3600.01/3609.40 c #Conflicts: 1522000 | #Constraints: 30239 3600.01/3609.40 c #Conflicts: 1523000 | #Constraints: 31239 3600.01/3609.40 c Program interrupted by user. 3600.01/3609.43 c cpu time 3572.97 s 3600.01/3609.43 c deterministic time 578225000182 5.78e+11 3600.01/3609.43 c optimization time 29.0699 s 3600.01/3609.43 c total solve time 3543.9 s 3600.01/3609.43 c core-guided solve time 1775.42 s 3600.01/3609.43 c propagation time 3306.34 s 3600.01/3609.43 c conflict analysis time 235.251 s 3600.01/3609.43 c propagations 33171329 3600.01/3609.43 c resolve steps 9827915 3600.01/3609.43 c decisions 2544068 3600.01/3609.43 c conflicts 1523147 3600.01/3609.43 c restarts 3002 3600.01/3609.43 c inprocessing phases 114 3600.01/3609.43 c input clauses 0 3600.01/3609.43 c input cardinalities 0 3600.01/3609.43 c input general constraints 34 3600.01/3609.43 c input average constraint length 69.18 3600.01/3609.43 c input average constraint degree 1105.76 3600.01/3609.43 c learned clauses 795764 3600.01/3609.43 c learned cardinalities 0 3600.01/3609.43 c learned general constraints 727932 3600.01/3609.43 c learned average constraint length 52.87 3600.01/3609.43 c learned average constraint degree 686186481.46 3600.01/3609.43 c watched constraints 723984 3600.01/3609.43 c counting constraints 3982 3600.01/3609.43 c gcd simplifications 730078 3600.01/3609.43 c detected cardinalities 0 3600.01/3609.43 c weakened non-implied lits 29377603 3600.01/3609.43 c weakened non-implying lits 1121812 3600.01/3609.43 c original variables 146 3600.01/3609.43 c clausal propagations 372132 3600.01/3609.43 c cardinality propagations 0 3600.01/3609.43 c watched propagations 28737569 3600.01/3609.43 c counting propagations 2961476 3600.01/3609.43 c watch lookups 34445044656 3600.01/3609.43 c watch backjump lookups 17778685375 3600.01/3609.43 c watch checks 461592654036 3600.01/3609.43 c propagation checks 63499238019 3600.01/3609.43 c constraint additions 834901663 3600.01/3609.43 c trail pops 37237858 3600.01/3609.43 c formula constraints 12 3600.01/3609.43 c learned constraints 1522596 3600.01/3609.43 c bound constraints 22 3600.01/3609.43 c core-guided constraints 0 3600.01/3609.43 c encountered formula constraints 58265 3600.01/3609.43 c encountered learned constraints 4926073 3600.01/3609.43 c encountered bound constraints 479 3600.01/3609.43 c encountered core-guided constraints 0 3600.01/3609.43 c LP total time 30.103 s 3600.01/3609.43 c LP solve time 22.99 s 3600.01/3609.43 c LP constraints added 87 3600.01/3609.43 c LP constraints removed 74 3600.01/3609.43 c LP pivots internal 1523147 3600.01/3609.43 c LP pivots root 30 3600.01/3609.43 c LP calls 180981 3600.01/3609.43 c LP optimalities 180431 3600.01/3609.43 c LP no pivot count 28972 3600.01/3609.43 c LP infeasibilities 550 3600.01/3609.43 c LP valid Farkas constraints 550 3600.01/3609.43 c LP learned Farkas constraints 550 3600.01/3609.43 c LP basis resets 0 3600.01/3609.43 c LP cycling count 0 3600.01/3609.43 c LP singular count 0 3600.01/3609.43 c LP no primal count 0 3600.01/3609.43 c LP no farkas count 0 3600.01/3609.43 c LP other issue count 0 3600.01/3609.43 c LP Gomory cuts 0 3600.01/3609.43 c LP learned cuts 75 3600.01/3609.43 c LP deleted cuts 74 3600.01/3609.43 c LP encountered Gomory constraints 0 3600.01/3609.43 c LP encountered Farkas constraints 6034085 3600.01/3609.43 c LP encountered learned Farkas constraints 331610 3600.01/3609.43 c CG auxiliary variables introduced 0 3600.01/3609.43 c CG solutions found 22 3600.01/3609.43 c CG cores constructed 0 3600.01/3609.43 c CG core cardinality constraints returned 0 3600.01/3609.43 c CG unit cores 0 3600.01/3609.43 c CG single cores 0 3600.01/3609.43 c CG blocks removed during cardinality reduction 0 3600.01/3609.43 c CG first core best 0 3600.01/3609.43 c CG decision core best 0 3600.01/3609.43 c CG core reduction tie 0 3600.01/3609.43 c CG core degree average 0.00 3600.01/3609.43 c CG core slack average 0.00 3600.01/3609.43 s SATISFIABLE 3600.01/3609.43 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 x106 -x107 x108 -x109 x110 x111 x112 -x113 -x114 -x115 x116 x117 x118 x119 x120 -x121 -x122 x123 x124 -x125 x126 -x127 x128 x129 x130 x131 -x132 -x133 x134 x135 x136 x137 -x138 -x139 x140 -x141 x142 -x143 -x144 -x145 -x146
OK 5
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: 64096 MiB (34629 MiB free)
memory of node 1: 64473 MiB (108 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456782-1721772863/watcher-4456782-1721772863 -o /tmp/evaluation-result-4456782-1721772863/solver-4456782-1721772863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721765642-113213 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456782-1721772863 --lp-cut-gomory=0 HOME/instance-4456782-1721772863.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=117770, runsolver pid=117767
[startup+0.100098 s]*
/proc/loadavg: 4.08 4.15 4.11 5/246 117771
/proc/meminfo: memFree=35567136/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=38168 memory=8900 CPUtime=0.1 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 562 0 0 0 9 1 0 0 20 0 1 0 13275709 39084032 2225 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 9542 2225 1885 992 0 1400 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38168 KiB
Current children cumulated memory: 8900 KiB
[startup+0.213385 s]*
/proc/loadavg: 4.08 4.15 4.11 5/246 117771
/proc/meminfo: memFree=35561224/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=38444 memory=11392 CPUtime=0.21 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 664 0 0 0 20 1 0 0 20 0 1 0 13275709 39366656 2848 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 9611 2848 1885 992 0 1469 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38444 KiB
Current children cumulated memory: 11392 KiB
[startup+0.313154 s]*
/proc/loadavg: 4.08 4.15 4.11 5/246 117771
/proc/meminfo: memFree=35558408/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=38688 memory=11628 CPUtime=0.31 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 727 0 0 0 29 2 0 0 20 0 1 0 13275709 39616512 2907 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 9672 2907 1885 992 0 1530 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38688 KiB
Current children cumulated memory: 11628 KiB
[startup+0.70032 s]
/proc/loadavg: 4.08 4.15 4.11 5/246 117771
/proc/meminfo: memFree=35552216/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=38940 memory=11748 CPUtime=0.68 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 768 0 0 0 64 4 0 0 20 0 1 0 13275709 39874560 2937 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 9735 2937 1885 992 0 1593 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38940 KiB
Current children cumulated memory: 11748 KiB
[startup+1.50034 s]
/proc/loadavg: 4.08 4.15 4.11 5/246 117771
/proc/meminfo: memFree=35538832/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=39508 memory=12460 CPUtime=1.48 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 928 0 0 0 141 7 0 0 20 0 1 0 13275709 40456192 3115 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 9877 3115 1885 992 0 1735 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39508 KiB
Current children cumulated memory: 12460 KiB
[startup+3.1131 s]
/proc/loadavg: 4.08 4.15 4.11 5/246 117817
/proc/meminfo: memFree=35969964/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=40132 memory=12940 CPUtime=3.09 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 1071 0 0 0 295 14 0 0 20 0 1 0 13275709 41095168 3235 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 10033 3235 1885 992 0 1891 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40132 KiB
Current children cumulated memory: 12940 KiB
[startup+6.30025 s]
/proc/loadavg: 4.07 4.14 4.10 7/246 118003
/proc/meminfo: memFree=36816608/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=40760 memory=13612 CPUtime=6.26 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 1239 0 0 0 598 28 0 0 20 0 1 0 13275709 41738240 3403 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 10190 3403 1885 992 0 2048 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13612 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.14 4.10 5/246 118004
/proc/meminfo: memFree=36511620/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=41272 memory=14840 CPUtime=12.65 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 1528 0 0 0 1218 47 0 0 20 0 1 0 13275709 42262528 3710 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 10318 3710 1885 992 0 2176 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41272 KiB
Current children cumulated memory: 14840 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.15 4.11 5/246 118006
/proc/meminfo: memFree=36101772/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=42648 memory=17044 CPUtime=25.42 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 2093 0 0 0 2463 79 0 0 20 0 1 0 13275709 43671552 4261 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 10662 4261 1885 992 0 2520 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42648 KiB
Current children cumulated memory: 17044 KiB
[startup+51.1126 s]
/proc/loadavg: 4.09 4.14 4.10 5/243 118010
/proc/meminfo: memFree=35630804/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=46360 memory=19152 CPUtime=50.95 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 2794 0 0 0 4972 123 0 0 20 0 1 0 13275709 47472640 4788 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 11590 4788 1885 992 0 3448 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 46360 KiB
Current children cumulated memory: 19152 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/242 118019
/proc/meminfo: memFree=34873476/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=48920 memory=22480 CPUtime=101.98 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 3768 0 0 0 9994 204 0 0 20 0 1 0 13275709 50094080 5620 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 12230 5620 1885 992 0 4088 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 48920 KiB
Current children cumulated memory: 22480 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/242 118030
/proc/meminfo: memFree=34116316/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=54568 memory=24416 CPUtime=161.8 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 4360 0 0 0 15903 277 0 0 20 0 1 0 13275709 55877632 6104 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 13642 6104 1885 992 0 5500 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 54568 KiB
Current children cumulated memory: 24416 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/242 118040
/proc/meminfo: memFree=33471428/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=54960 memory=26348 CPUtime=221.61 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 4949 0 0 0 21813 348 0 0 20 0 1 0 13275709 56279040 6587 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 13740 6587 1885 992 0 5598 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 54960 KiB
Current children cumulated memory: 26348 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/242 118051
/proc/meminfo: memFree=32915356/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=55072 memory=29200 CPUtime=281.41 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 5387 0 0 0 27730 411 0 0 20 0 1 0 13275709 56393728 7300 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 13768 7300 1885 992 0 5626 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 55072 KiB
Current children cumulated memory: 29200 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/242 118061
/proc/meminfo: memFree=32377164/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=55072 memory=29240 CPUtime=341.27 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 5707 0 0 0 33657 470 0 0 20 0 1 0 13275709 56393728 7310 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 13768 7310 1885 992 0 5626 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 55072 KiB
Current children cumulated memory: 29240 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/245 118076
/proc/meminfo: memFree=31893800/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=56480 memory=30220 CPUtime=401.12 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 6193 0 0 0 39586 526 0 0 20 0 1 0 13275709 57835520 7555 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 14120 7555 1885 992 0 5978 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 56480 KiB
Current children cumulated memory: 30220 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/245 118088
/proc/meminfo: memFree=31432884/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=58144 memory=31532 CPUtime=460.98 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 6719 0 0 0 45512 586 0 0 20 0 1 0 13275709 59539456 7883 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
################
# More data... #
################
Current children cumulated memory: 48812 KiB
[startup+2862.3 s]
/proc/loadavg: 4.55 4.43 4.31 5/246 119701
/proc/meminfo: memFree=20325392/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=84276 memory=48816 CPUtime=2854.75 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 12441 0 0 0 283202 2273 0 0 20 0 1 0 13275709 86298624 12204 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21069 12204 1885 992 0 12927 0
Current children cumulated CPU time: 2854.75 s
Current children cumulated vsize: 84276 KiB
Current children cumulated memory: 48816 KiB
[startup+2922.3 s]
/proc/loadavg: 4.29 4.38 4.30 5/246 119711
/proc/meminfo: memFree=20118420/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=83964 memory=48632 CPUtime=2914.6 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 12568 0 0 0 289148 2312 0 0 20 0 1 0 13275709 85979136 12158 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 20991 12158 1885 992 0 12849 0
Current children cumulated CPU time: 2914.6 s
Current children cumulated vsize: 83964 KiB
Current children cumulated memory: 48632 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.33 4.28 5/244 119722
/proc/meminfo: memFree=19941024/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=83964 memory=48632 CPUtime=2974.45 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 12723 0 0 0 295097 2348 0 0 20 0 1 0 13275709 85979136 12158 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 20991 12158 1885 992 0 12849 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 83964 KiB
Current children cumulated memory: 48632 KiB
[startup+3042.3 s]
/proc/loadavg: 4.37 4.36 4.29 5/244 119732
/proc/meminfo: memFree=19751832/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=83964 memory=48632 CPUtime=3034.31 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 12741 0 0 0 301053 2378 0 0 20 0 1 0 13275709 85979136 12158 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 20991 12158 1885 992 0 12849 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 83964 KiB
Current children cumulated memory: 48632 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.30 4.28 5/242 119743
/proc/meminfo: memFree=19560576/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=84044 memory=48732 CPUtime=3094.16 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 12952 0 0 0 307000 2416 0 0 20 0 1 0 13275709 86061056 12183 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21011 12183 1885 992 0 12869 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 84044 KiB
Current children cumulated memory: 48732 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.28 4.27 5/242 119753
/proc/meminfo: memFree=19381408/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=84224 memory=48912 CPUtime=3154.01 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 13153 0 0 0 312950 2451 0 0 20 0 1 0 13275709 86245376 12228 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21056 12228 1885 992 0 12914 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 84224 KiB
Current children cumulated memory: 48912 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.24 4.26 5/241 119763
/proc/meminfo: memFree=19188864/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=84224 memory=48912 CPUtime=3213.87 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 13171 0 0 0 318910 2477 0 0 20 0 1 0 13275709 86245376 12228 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21056 12228 1885 992 0 12914 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 84224 KiB
Current children cumulated memory: 48912 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.22 4.25 5/241 119774
/proc/meminfo: memFree=18967048/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=84228 memory=48920 CPUtime=3273.72 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 13329 0 0 0 324859 2513 0 0 20 0 1 0 13275709 86249472 12230 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21057 12230 1885 992 0 12915 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 84228 KiB
Current children cumulated memory: 48920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.21 4.24 5/241 119784
/proc/meminfo: memFree=18768336/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=84228 memory=48920 CPUtime=3333.58 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 13484 0 0 0 330811 2547 0 0 20 0 1 0 13275709 86249472 12230 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21057 12230 1885 992 0 12915 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 84228 KiB
Current children cumulated memory: 48920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.24 5/243 119800
/proc/meminfo: memFree=18599288/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=84228 memory=48920 CPUtime=3393.42 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 13503 0 0 0 336765 2577 0 0 20 0 1 0 13275709 86249472 12230 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21057 12230 1885 992 0 12915 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 84228 KiB
Current children cumulated memory: 48920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.18 4.23 5/243 119811
/proc/meminfo: memFree=18424936/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=85764 memory=49840 CPUtime=3453.28 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 13889 0 0 0 342715 2613 0 0 20 0 1 0 13275709 87822336 12460 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21441 12460 1885 992 0 13299 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 85764 KiB
Current children cumulated memory: 49840 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.22 5/243 119821
/proc/meminfo: memFree=18202668/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=85768 memory=51896 CPUtime=3513.13 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 14048 0 0 0 348662 2651 0 0 20 0 1 0 13275709 87826432 12974 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21442 12974 1885 992 0 13300 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 85768 KiB
Current children cumulated memory: 51896 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.15 4.21 5/244 119833
/proc/meminfo: memFree=18015680/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=86280 memory=52288 CPUtime=3572.99 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 14309 0 0 0 354609 2690 0 0 20 0 1 0 13275709 88350720 13072 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21570 13072 1885 992 0 13428 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 86280 KiB
Current children cumulated memory: 52288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.12 4.16 4.21 5/244 119837
/proc/meminfo: memFree=17943344/131655788 swapFree=131070960/131071996
[pid=117770] ppid=117767 vsize=86280 memory=52288 CPUtime=3600.01 cores=4,6
/proc/117770/stat : 117770 (roundingsat) R 117767 117770 113202 0 -1 4194304 14309 0 0 0 357296 2705 0 0 20 0 1 0 13275709 88350720 13072 134679101440 4194304 8254037 140726361945488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14172160 140726361953120 140726361953382 140726361953382 140726361960393 0
/proc/117770/statm: 21570 13072 1885 992 0 13428 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 86280 KiB
Current children cumulated memory: 52288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.43 s]
# the end of solver process 117770 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.97 s, system=27.0579 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.43
CPU time (s): 3600.03
CPU user time (s): 3572.97
CPU system time (s): 27.0579
CPU usage (%): 99.7395
Max. virtual memory (cumulated for all children) (KiB): 86280
Max. memory (cumulated for all children) (KiB): 52288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.97
system time used= 27.0579
maximum resident set size= 52792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17243848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 850
involuntary context switches= 5062
# summary of solver processes directly reported to runsolver:
# pid: 117770
# total CPU time (s): 3600.03
# total CPU user time (s): 3572.97
# total CPU system time (s): 27.0579
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.0629 second user time and 29.4381 second system time
The end
Begin job on nodeC007 at 2024-07-24 00:14:23 IDJOB=4456782 IDBENCH=147594 IDSOLVER=3085 FILE ID=nodeC007/4456782-1721772863 RUNJOBID= nodeC007-1721765642-113213 SLURM_JOB_ID= 7770669 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456782-1721772863/watcher-4456782-1721772863 -o /tmp/evaluation-result-4456782-1721772863/solver-4456782-1721772863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721765642-113213 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456782-1721772863 --lp-cut-gomory=0 HOME/instance-4456782-1721772863.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce RANDOM SEED=1047111487 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3521.062 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3512.584 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.318 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.401 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3493.699 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3503.035 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.205 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.251 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 35572196 kB MemAvailable: 128470168 kB Buffers: 189816 kB Cached: 93426716 kB SwapCached: 176 kB Active: 718780 kB Inactive: 94631016 kB Active(anon): 1508 kB Inactive(anon): 1769212 kB Active(file): 717272 kB Inactive(file): 92861804 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070960 kB Dirty: 24984 kB Writeback: 68 kB AnonPages: 1733196 kB Mapped: 89976 kB Shmem: 37356 kB KReclaimable: 318188 kB Slab: 420956 kB SReclaimable: 318188 kB SUnreclaim: 102768 kB KernelStack: 3936 kB PageTables: 12556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2280984 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14336 kB HardwareCorrupted: 0 kB AnonHugePages: 1527808 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: 367432 kB DirectMap2M: 54063104 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723752 MiB End job on nodeC007 at 2024-07-24 01:14:32