| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.04 | 3614.15 |
| 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.001012 0.00/0.00 c rational objective 0 0.29/0.33 c bounds 89 >= 0 @ 0.015016 0.29/0.33 c bounds 88 >= 0 @ 0.018226 0.29/0.33 c bounds 86 >= 0 @ 0.018226 0.29/0.33 c bounds 82 >= 0 @ 0.03246 0.29/0.33 c bounds 74 >= 0 @ 0.033347 0.29/0.33 c bounds 72 >= 0 @ 0.034654 0.29/0.33 c bounds 68 >= 0 @ 0.035103 0.29/0.33 c bounds 66 >= 0 @ 0.035491 0.29/0.33 c bounds 62 >= 0 @ 0.036191 0.29/0.33 c bounds 52 >= 0 @ 0.036552 0.29/0.33 c bounds 36 >= 0 @ 0.038571 0.29/0.33 c bounds 35 >= 0 @ 0.088866 0.29/0.33 c bounds 33 >= 0 @ 0.090099 0.29/0.33 c bounds 29 >= 0 @ 0.090882 0.29/0.33 c bounds 27 >= 0 @ 0.09142 0.29/0.33 c bounds 25 >= 0 @ 0.091749 0.29/0.33 c bounds 21 >= 0 @ 0.09226 0.29/0.33 c #Conflicts: 1000 | #Constraints: 1050 0.29/0.33 c #Conflicts: 2000 | #Constraints: 2063 0.29/0.33 c INPROCESSING 0.29/0.33 c GARBAGE COLLECT 0.29/0.33 c rational objective 0 0.79/0.81 c #Conflicts: 3000 | #Constraints: 2048 0.79/0.81 c #Conflicts: 4000 | #Constraints: 3056 0.79/0.81 c INPROCESSING 0.79/0.81 c GARBAGE COLLECT 0.79/0.81 c rational objective 0 1.49/1.50 c #Conflicts: 5000 | #Constraints: 2452 1.49/1.50 c #Conflicts: 6000 | #Constraints: 3461 1.49/1.50 c INPROCESSING 1.49/1.50 c GARBAGE COLLECT 1.49/1.50 c rational objective 0 2.18/2.24 c #Conflicts: 7000 | #Constraints: 2456 2.18/2.24 c #Conflicts: 8000 | #Constraints: 3459 2.18/2.24 c #Conflicts: 9000 | #Constraints: 4463 2.18/2.24 c INPROCESSING 2.18/2.24 c GARBAGE COLLECT 2.18/2.24 c rational objective 0 3.18/3.20 c #Conflicts: 10000 | #Constraints: 3147 3.18/3.20 c #Conflicts: 11000 | #Constraints: 4152 3.18/3.20 c #Conflicts: 12000 | #Constraints: 5154 3.18/3.20 c INPROCESSING 3.18/3.20 c GARBAGE COLLECT 3.18/3.20 c rational objective 0 4.08/4.13 c #Conflicts: 13000 | #Constraints: 3596 4.08/4.13 c #Conflicts: 14000 | #Constraints: 4600 4.08/4.13 c #Conflicts: 15000 | #Constraints: 5603 4.08/4.13 c INPROCESSING 4.08/4.13 c GARBAGE COLLECT 4.08/4.13 c rational objective 0 5.27/5.38 c #Conflicts: 16000 | #Constraints: 3819 5.27/5.38 c #Conflicts: 17000 | #Constraints: 4821 5.27/5.38 c #Conflicts: 18000 | #Constraints: 5826 5.27/5.38 c INPROCESSING 5.27/5.38 c GARBAGE COLLECT 5.27/5.38 c rational objective 0 6.47/6.57 c #Conflicts: 19000 | #Constraints: 3835 6.47/6.57 c #Conflicts: 20000 | #Constraints: 4837 6.47/6.57 c #Conflicts: 21000 | #Constraints: 5842 6.47/6.57 c INPROCESSING 6.47/6.57 c GARBAGE COLLECT 6.47/6.57 c rational objective 0 7.76/7.80 c #Conflicts: 22000 | #Constraints: 3638 7.76/7.80 c #Conflicts: 23000 | #Constraints: 4639 7.76/7.80 c #Conflicts: 24000 | #Constraints: 5642 7.76/7.80 c #Conflicts: 25000 | #Constraints: 6643 7.76/7.80 c INPROCESSING 7.76/7.80 c GARBAGE COLLECT 7.76/7.80 c rational objective 0 9.46/9.57 c #Conflicts: 26000 | #Constraints: 4239 9.46/9.57 c #Conflicts: 27000 | #Constraints: 5241 9.46/9.57 c #Conflicts: 28000 | #Constraints: 6245 9.46/9.57 c #Conflicts: 29000 | #Constraints: 7251 9.46/9.57 c INPROCESSING 9.46/9.57 c GARBAGE COLLECT 9.46/9.57 c rational objective 0 10.96/11.08 c #Conflicts: 30000 | #Constraints: 4641 10.96/11.08 c #Conflicts: 31000 | #Constraints: 5646 10.96/11.08 c #Conflicts: 32000 | #Constraints: 6649 10.96/11.08 c #Conflicts: 33000 | #Constraints: 7651 10.96/11.08 c INPROCESSING 10.96/11.08 c GARBAGE COLLECT 10.96/11.08 c rational objective 0 13.05/13.10 c #Conflicts: 34000 | #Constraints: 4844 13.05/13.10 c #Conflicts: 35000 | #Constraints: 5846 13.05/13.10 c bounds 18 >= 0 @ 11.7238 13.05/13.10 c #Conflicts: 36000 | #Constraints: 6848 13.05/13.10 c #Conflicts: 37000 | #Constraints: 7851 13.05/13.10 c INPROCESSING 13.05/13.10 c GARBAGE COLLECT 13.05/13.10 c rational objective 0 14.95/15.02 c bounds 12 >= 0 @ 12.6224 14.95/15.02 c bounds 10 >= 0 @ 12.6246 14.95/15.02 c #Conflicts: 38000 | #Constraints: 4844 14.95/15.02 c bounds 6 >= 0 @ 13.135 14.95/15.02 c #Conflicts: 39000 | #Constraints: 5849 14.95/15.02 c #Conflicts: 40000 | #Constraints: 6850 14.95/15.02 c #Conflicts: 41000 | #Constraints: 7852 14.95/15.02 c INPROCESSING 14.95/15.02 c GARBAGE COLLECT 14.95/15.02 c rational objective 0 17.14/17.29 c #Conflicts: 42000 | #Constraints: 4629 17.14/17.29 c #Conflicts: 43000 | #Constraints: 5635 17.14/17.29 c #Conflicts: 44000 | #Constraints: 6638 17.14/17.29 c #Conflicts: 45000 | #Constraints: 7641 17.14/17.29 c #Conflicts: 46000 | #Constraints: 8644 17.14/17.29 c INPROCESSING 17.14/17.29 c GARBAGE COLLECT 17.14/17.29 c rational objective 0 19.23/19.31 c #Conflicts: 47000 | #Constraints: 5239 19.23/19.31 c #Conflicts: 48000 | #Constraints: 6240 19.23/19.31 c #Conflicts: 49000 | #Constraints: 7242 19.23/19.31 c #Conflicts: 50000 | #Constraints: 8246 19.23/19.31 c #Conflicts: 51000 | #Constraints: 9247 19.23/19.31 c INPROCESSING 19.23/19.31 c GARBAGE COLLECT 19.23/19.31 c rational objective 0 21.94/22.01 c #Conflicts: 52000 | #Constraints: 5643 21.94/22.01 c #Conflicts: 53000 | #Constraints: 6645 21.94/22.01 c #Conflicts: 54000 | #Constraints: 7649 21.94/22.01 c #Conflicts: 55000 | #Constraints: 8649 21.94/22.01 c #Conflicts: 56000 | #Constraints: 9652 21.94/22.01 c INPROCESSING 21.94/22.01 c GARBAGE COLLECT 21.94/22.01 c rational objective 0 24.33/24.45 c #Conflicts: 57000 | #Constraints: 5844 24.33/24.45 c #Conflicts: 58000 | #Constraints: 6845 24.33/24.45 c #Conflicts: 59000 | #Constraints: 7849 24.33/24.45 c #Conflicts: 60000 | #Constraints: 8851 24.33/24.45 c #Conflicts: 61000 | #Constraints: 9851 24.33/24.45 c INPROCESSING 24.33/24.45 c GARBAGE COLLECT 24.33/24.45 c rational objective 0 27.62/27.74 c #Conflicts: 62000 | #Constraints: 5841 27.62/27.74 c #Conflicts: 63000 | #Constraints: 6843 27.62/27.74 c #Conflicts: 64000 | #Constraints: 7843 27.62/27.74 c #Conflicts: 65000 | #Constraints: 8846 27.62/27.74 c #Conflicts: 66000 | #Constraints: 9847 27.62/27.74 c INPROCESSING 27.62/27.74 c GARBAGE COLLECT 27.62/27.74 c rational objective 0 30.51/30.68 c #Conflicts: 67000 | #Constraints: 5640 30.51/30.68 c #Conflicts: 68000 | #Constraints: 6642 30.51/30.68 c #Conflicts: 69000 | #Constraints: 7642 30.51/30.68 c #Conflicts: 70000 | #Constraints: 8646 30.51/30.68 c #Conflicts: 71000 | #Constraints: 9647 30.51/30.68 c #Conflicts: 72000 | #Constraints: 10649 30.51/30.68 c INPROCESSING 30.51/30.68 c GARBAGE COLLECT 30.51/30.68 c rational objective 0 33.50/33.67 c #Conflicts: 73000 | #Constraints: 6241 33.50/33.67 c #Conflicts: 74000 | #Constraints: 7244 33.50/33.67 c #Conflicts: 75000 | #Constraints: 8248 33.50/33.67 c #Conflicts: 76000 | #Constraints: 9248 33.50/33.67 c #Conflicts: 77000 | #Constraints: 10248 33.50/33.67 c #Conflicts: 78000 | #Constraints: 11249 33.50/33.67 c INPROCESSING 33.50/33.67 c GARBAGE COLLECT 33.50/33.67 c rational objective 0 37.69/37.85 c #Conflicts: 79000 | #Constraints: 6639 37.69/37.85 c #Conflicts: 80000 | #Constraints: 7639 37.69/37.85 c #Conflicts: 81000 | #Constraints: 8641 37.69/37.85 c #Conflicts: 82000 | #Constraints: 9642 37.69/37.85 c #Conflicts: 83000 | #Constraints: 10645 37.69/37.85 c #Conflicts: 84000 | #Constraints: 11645 37.69/37.85 c INPROCESSING 37.69/37.85 c GARBAGE COLLECT 37.69/37.85 c rational objective 0 41.68/41.87 c #Conflicts: 85000 | #Constraints: 6841 41.68/41.87 c #Conflicts: 86000 | #Constraints: 7841 41.68/41.87 c #Conflicts: 87000 | #Constraints: 8843 41.68/41.87 c #Conflicts: 88000 | #Constraints: 9844 41.68/41.87 c #Conflicts: 89000 | #Constraints: 10844 41.68/41.87 c #Conflicts: 90000 | #Constraints: 11844 41.68/41.87 c INPROCESSING 41.68/41.87 c GARBAGE COLLECT 41.68/41.87 c rational objective 0 46.57/46.77 c #Conflicts: 91000 | #Constraints: 6839 46.57/46.77 c #Conflicts: 92000 | #Constraints: 7839 46.57/46.77 c #Conflicts: 93000 | #Constraints: 8840 46.57/46.77 c #Conflicts: 94000 | #Constraints: 9840 46.57/46.77 c #Conflicts: 95000 | #Constraints: 10840 46.57/46.77 c #Conflicts: 96000 | #Constraints: 11840 46.57/46.77 c INPROCESSING 46.57/46.77 c GARBAGE COLLECT 46.57/46.77 c rational objective 0 51.35/51.54 c #Conflicts: 97000 | #Constraints: 6638 51.35/51.54 c #Conflicts: 98000 | #Constraints: 7640 51.35/51.54 c #Conflicts: 99000 | #Constraints: 8640 51.35/51.54 c #Conflicts: 100000 | #Constraints: 9640 51.35/51.54 c #Conflicts: 101000 | #Constraints: 10640 51.35/51.54 c #Conflicts: 102000 | #Constraints: 11641 51.35/51.54 c #Conflicts: 103000 | #Constraints: 12641 51.35/51.54 c INPROCESSING 51.35/51.54 c GARBAGE COLLECT 51.35/51.54 c rational objective 0 56.64/56.88 c #Conflicts: 104000 | #Constraints: 7239 56.64/56.88 c #Conflicts: 105000 | #Constraints: 8239 56.64/56.88 c #Conflicts: 106000 | #Constraints: 9240 56.64/56.88 c #Conflicts: 107000 | #Constraints: 10244 56.64/56.88 c #Conflicts: 108000 | #Constraints: 11245 56.64/56.88 c #Conflicts: 109000 | #Constraints: 12245 56.64/56.88 c #Conflicts: 110000 | #Constraints: 13246 56.64/56.88 c INPROCESSING 56.64/56.88 c GARBAGE COLLECT 56.64/56.88 c rational objective 0 61.03/61.21 c #Conflicts: 111000 | #Constraints: 7642 61.03/61.21 c #Conflicts: 112000 | #Constraints: 8643 61.03/61.21 c #Conflicts: 113000 | #Constraints: 9645 61.03/61.21 c #Conflicts: 114000 | #Constraints: 10645 61.03/61.21 c #Conflicts: 115000 | #Constraints: 11646 61.03/61.21 c #Conflicts: 116000 | #Constraints: 12646 61.03/61.21 c #Conflicts: 117000 | #Constraints: 13646 61.03/61.21 c INPROCESSING 61.03/61.21 c GARBAGE COLLECT 61.03/61.21 c rational objective 0 66.91/67.17 c #Conflicts: 118000 | #Constraints: 7840 66.91/67.17 c #Conflicts: 119000 | #Constraints: 8840 66.91/67.17 c #Conflicts: 120000 | #Constraints: 9840 66.91/67.17 c #Conflicts: 121000 | #Constraints: 10842 66.91/67.17 c #Conflicts: 122000 | #Constraints: 11842 66.91/67.17 c #Conflicts: 123000 | #Constraints: 12845 66.91/67.17 c #Conflicts: 124000 | #Constraints: 13845 66.91/67.17 c INPROCESSING 66.91/67.17 c GARBAGE COLLECT 66.91/67.17 c rational objective 0 72.10/72.39 c #Conflicts: 125000 | #Constraints: 7840 72.10/72.39 c #Conflicts: 126000 | #Constraints: 8840 72.10/72.39 c #Conflicts: 127000 | #Constraints: 9840 72.10/72.39 c #Conflicts: 128000 | #Constraints: 10841 72.10/72.39 c #Conflicts: 129000 | #Constraints: 11841 72.10/72.39 c #Conflicts: 130000 | #Constraints: 12841 72.10/72.39 c #Conflicts: 131000 | #Constraints: 13841 72.10/72.39 c INPROCESSING 72.10/72.39 c GARBAGE COLLECT 72.10/72.39 c rational objective 0 77.39/77.65 c #Conflicts: 132000 | #Constraints: 7636 77.39/77.65 c #Conflicts: 133000 | #Constraints: 8637 77.39/77.65 c #Conflicts: 134000 | #Constraints: 9637 77.39/77.65 c #Conflicts: 135000 | #Constraints: 10639 77.39/77.65 c #Conflicts: 136000 | #Constraints: 11639 77.39/77.65 c #Conflicts: 137000 | #Constraints: 12640 77.39/77.65 c #Conflicts: 138000 | #Constraints: 13641 77.39/77.65 c #Conflicts: 139000 | #Constraints: 14641 77.39/77.65 c INPROCESSING 77.39/77.65 c GARBAGE COLLECT 77.39/77.65 c rational objective 0 84.46/84.79 c #Conflicts: 140000 | #Constraints: 8236 84.46/84.79 c #Conflicts: 141000 | #Constraints: 9236 84.46/84.79 c #Conflicts: 142000 | #Constraints: 10239 84.46/84.79 c #Conflicts: 143000 | #Constraints: 11239 84.46/84.79 c #Conflicts: 144000 | #Constraints: 12240 84.46/84.79 c #Conflicts: 145000 | #Constraints: 13241 84.46/84.79 c #Conflicts: 146000 | #Constraints: 14241 84.46/84.79 c #Conflicts: 147000 | #Constraints: 15242 84.46/84.79 c INPROCESSING 84.46/84.79 c GARBAGE COLLECT 84.46/84.79 c rational objective 0 90.25/90.57 c #Conflicts: 148000 | #Constraints: 8642 90.25/90.57 c #Conflicts: 149000 | #Constraints: 9642 90.25/90.57 c #Conflicts: 150000 | #Constraints: 10642 90.25/90.57 c #Conflicts: 151000 | #Constraints: 11643 90.25/90.57 c #Conflicts: 152000 | #Constraints: 12643 90.25/90.57 c #Conflicts: 153000 | #Constraints: 13643 90.25/90.57 c #Conflicts: 154000 | #Constraints: 14645 90.25/90.57 c #Conflicts: 155000 | #Constraints: 15645 90.25/90.57 c INPROCESSING 90.25/90.57 c GARBAGE COLLECT 90.25/90.57 c rational objective 0 98.03/98.33 c #Conflicts: 156000 | #Constraints: 8840 98.03/98.33 c bounds 5 >= 0 @ 89.946 98.03/98.33 c #Conflicts: 157000 | #Constraints: 9841 98.03/98.33 c #Conflicts: 158000 | #Constraints: 10842 98.03/98.33 c #Conflicts: 159000 | #Constraints: 11843 98.03/98.33 c #Conflicts: 160000 | #Constraints: 12843 98.03/98.33 c #Conflicts: 161000 | #Constraints: 13843 98.03/98.33 c #Conflicts: 162000 | #Constraints: 14843 98.03/98.33 c #Conflicts: 163000 | #Constraints: 15844 98.03/98.33 c INPROCESSING 98.03/98.33 c GARBAGE COLLECT 98.03/98.33 c rational objective 0 105.11/105.45 c #Conflicts: 164000 | #Constraints: 8838 105.11/105.45 c #Conflicts: 165000 | #Constraints: 9838 105.11/105.45 c #Conflicts: 166000 | #Constraints: 10839 105.11/105.45 c #Conflicts: 167000 | #Constraints: 11840 105.11/105.45 c #Conflicts: 168000 | #Constraints: 12840 105.11/105.45 c #Conflicts: 169000 | #Constraints: 13841 105.11/105.45 c #Conflicts: 170000 | #Constraints: 14841 105.11/105.45 c #Conflicts: 171000 | #Constraints: 15841 105.11/105.45 c INPROCESSING 105.11/105.45 c GARBAGE COLLECT 105.11/105.45 c rational objective 0 114.09/114.46 c #Conflicts: 172000 | #Constraints: 8633 114.09/114.46 c #Conflicts: 173000 | #Constraints: 9634 114.09/114.46 c #Conflicts: 174000 | #Constraints: 10636 114.09/114.46 c #Conflicts: 175000 | #Constraints: 11637 114.09/114.46 c #Conflicts: 176000 | #Constraints: 12637 114.09/114.46 c #Conflicts: 177000 | #Constraints: 13638 114.09/114.46 c #Conflicts: 178000 | #Constraints: 14638 114.09/114.46 c #Conflicts: 179000 | #Constraints: 15639 114.09/114.46 c #Conflicts: 180000 | #Constraints: 16640 114.09/114.46 c INPROCESSING 114.09/114.46 c GARBAGE COLLECT 114.09/114.46 c rational objective 0 122.07/122.45 c #Conflicts: 181000 | #Constraints: 9239 122.07/122.45 c #Conflicts: 182000 | #Constraints: 10240 122.07/122.45 c #Conflicts: 183000 | #Constraints: 11242 122.07/122.45 c #Conflicts: 184000 | #Constraints: 12242 122.07/122.45 c #Conflicts: 185000 | #Constraints: 13242 122.07/122.45 c #Conflicts: 186000 | #Constraints: 14242 122.07/122.45 c #Conflicts: 187000 | #Constraints: 15243 122.07/122.45 c #Conflicts: 188000 | #Constraints: 16243 122.07/122.45 c #Conflicts: 189000 | #Constraints: 17243 122.07/122.45 c INPROCESSING 122.07/122.45 c GARBAGE COLLECT 122.07/122.45 c rational objective 0 131.94/132.31 c #Conflicts: 190000 | #Constraints: 9639 131.94/132.31 c #Conflicts: 191000 | #Constraints: 10640 131.94/132.31 c #Conflicts: 192000 | #Constraints: 11640 131.94/132.31 c #Conflicts: 193000 | #Constraints: 12642 131.94/132.31 c #Conflicts: 194000 | #Constraints: 13642 131.94/132.31 c #Conflicts: 195000 | #Constraints: 14642 131.94/132.31 c #Conflicts: 196000 | #Constraints: 15643 131.94/132.31 c #Conflicts: 197000 | #Constraints: 16643 131.94/132.31 c #Conflicts: 198000 | #Constraints: 17644 131.94/132.31 c INPROCESSING 131.94/132.31 c GARBAGE COLLECT 131.94/132.31 c rational objective 0 141.72/142.16 c #Conflicts: 199000 | #Constraints: 9842 141.72/142.16 c #Conflicts: 200000 | #Constraints: 10842 141.72/142.16 c #Conflicts: 201000 | #Constraints: 11842 141.72/142.16 c #Conflicts: 202000 | #Constraints: 12842 141.72/142.16 c #Conflicts: 203000 | #Constraints: 13842 141.72/142.16 c #Conflicts: 204000 | #Constraints: 14842 141.72/142.16 c #Conflicts: 205000 | #Constraints: 15842 141.72/142.16 c #Conflicts: 206000 | #Constraints: 16845 141.72/142.16 c #Conflicts: 207000 | #Constraints: 17845 141.72/142.16 c INPROCESSING 141.72/142.16 c GARBAGE COLLECT 141.72/142.16 c rational objective 0 152.98/153.47 c #Conflicts: 208000 | #Constraints: 9838 152.98/153.47 c #Conflicts: 209000 | #Constraints: 10838 152.98/153.47 c #Conflicts: 210000 | #Constraints: 11838 152.98/153.47 c #Conflicts: 211000 | #Constraints: 12838 152.98/153.47 c #Conflicts: 212000 | #Constraints: 13838 152.98/153.47 c #Conflicts: 213000 | #Constraints: 14840 152.98/153.47 c #Conflicts: 214000 | #Constraints: 15841 152.98/153.47 c #Conflicts: 215000 | #Constraints: 16841 152.98/153.47 c #Conflicts: 216000 | #Constraints: 17841 152.98/153.47 c INPROCESSING 152.98/153.47 c GARBAGE COLLECT 152.98/153.47 c rational objective 0 162.45/162.99 c #Conflicts: 217000 | #Constraints: 9638 162.45/162.99 c #Conflicts: 218000 | #Constraints: 10638 162.45/162.99 c #Conflicts: 219000 | #Constraints: 11638 162.45/162.99 c #Conflicts: 220000 | #Constraints: 12639 162.45/162.99 c #Conflicts: 221000 | #Constraints: 13639 162.45/162.99 c #Conflicts: 222000 | #Constraints: 14639 162.45/162.99 c #Conflicts: 223000 | #Constraints: 15639 162.45/162.99 c #Conflicts: 224000 | #Constraints: 16639 162.45/162.99 c #Conflicts: 225000 | #Constraints: 17639 162.45/162.99 c #Conflicts: 226000 | #Constraints: 18639 162.45/162.99 c INPROCESSING 162.45/162.99 c GARBAGE COLLECT 162.45/162.99 c rational objective 0 172.54/173.05 c #Conflicts: 227000 | #Constraints: 10236 172.54/173.05 c #Conflicts: 228000 | #Constraints: 11237 172.54/173.05 c #Conflicts: 229000 | #Constraints: 12237 172.54/173.05 c #Conflicts: 230000 | #Constraints: 13237 172.54/173.05 c #Conflicts: 231000 | #Constraints: 14237 172.54/173.05 c #Conflicts: 232000 | #Constraints: 15237 172.54/173.05 c #Conflicts: 233000 | #Constraints: 16237 172.54/173.05 c #Conflicts: 234000 | #Constraints: 17237 172.54/173.05 c #Conflicts: 235000 | #Constraints: 18237 172.54/173.05 c #Conflicts: 236000 | #Constraints: 19237 172.54/173.05 c INPROCESSING 172.54/173.05 c GARBAGE COLLECT 172.54/173.05 c rational objective 0 185.80/186.31 c #Conflicts: 237000 | #Constraints: 10633 185.80/186.31 c #Conflicts: 238000 | #Constraints: 11634 185.80/186.31 c #Conflicts: 239000 | #Constraints: 12634 185.80/186.31 c #Conflicts: 240000 | #Constraints: 13636 185.80/186.31 c #Conflicts: 241000 | #Constraints: 14637 185.80/186.31 c #Conflicts: 242000 | #Constraints: 15637 185.80/186.31 c #Conflicts: 243000 | #Constraints: 16637 185.80/186.31 c #Conflicts: 244000 | #Constraints: 17638 185.80/186.31 c #Conflicts: 245000 | #Constraints: 18638 185.80/186.31 c #Conflicts: 246000 | #Constraints: 19639 185.80/186.31 c INPROCESSING 185.80/186.31 c GARBAGE COLLECT 185.80/186.31 c rational objective 0 196.76/197.30 c #Conflicts: 247000 | #Constraints: 10839 196.76/197.30 c #Conflicts: 248000 | #Constraints: 11839 196.76/197.30 c #Conflicts: 249000 | #Constraints: 12839 196.76/197.30 c #Conflicts: 250000 | #Constraints: 13839 196.76/197.30 c #Conflicts: 251000 | #Constraints: 14839 196.76/197.30 c #Conflicts: 252000 | #Constraints: 15839 196.76/197.30 c #Conflicts: 253000 | #Constraints: 16839 196.76/197.30 c #Conflicts: 254000 | #Constraints: 17839 196.76/197.30 c #Conflicts: 255000 | #Constraints: 18841 196.76/197.30 c #Conflicts: 256000 | #Constraints: 19841 196.76/197.30 c INPROCESSING 196.76/197.30 c GARBAGE COLLECT 196.76/197.30 c rational objective 0 210.73/211.30 c #Conflicts: 257000 | #Constraints: 10836 210.73/211.30 c #Conflicts: 258000 | #Constraints: 11836 210.73/211.30 c #Conflicts: 259000 | #Constraints: 12836 210.73/211.30 c #Conflicts: 260000 | #Constraints: 13837 210.73/211.30 c #Conflicts: 261000 | #Constraints: 14837 210.73/211.30 c #Conflicts: 262000 | #Constraints: 15837 210.73/211.30 c #Conflicts: 263000 | #Constraints: 16837 210.73/211.30 c #Conflicts: 264000 | #Constraints: 17837 210.73/211.30 c #Conflicts: 265000 | #Constraints: 18837 210.73/211.30 c #Conflicts: 266000 | #Constraints: 19837 210.73/211.30 c INPROCESSING 210.73/211.30 c GARBAGE COLLECT 210.73/211.30 c rational objective 0 223.19/223.80 c #Conflicts: 267000 | #Constraints: 10635 223.19/223.80 c #Conflicts: 268000 | #Constraints: 11635 223.19/223.80 c #Conflicts: 269000 | #Constraints: 12635 223.19/223.80 c #Conflicts: 270000 | #Constraints: 13636 223.19/223.80 c #Conflicts: 271000 | #Constraints: 14636 223.19/223.80 c #Conflicts: 272000 | #Constraints: 15636 223.19/223.80 c #Conflicts: 273000 | #Constraints: 16636 223.19/223.80 c #Conflicts: 274000 | #Constraints: 17636 223.19/223.80 c #Conflicts: 275000 | #Constraints: 18637 223.19/223.80 c #Conflicts: 276000 | #Constraints: 19637 223.19/223.80 c #Conflicts: 277000 | #Constraints: 20637 223.19/223.80 c INPROCESSING 223.19/223.80 c GARBAGE COLLECT 223.19/223.80 c rational objective 0 238.84/239.56 c #Conflicts: 278000 | #Constraints: 11236 238.84/239.56 c #Conflicts: 279000 | #Constraints: 12239 238.84/239.56 c #Conflicts: 280000 | #Constraints: 13241 238.84/239.56 c #Conflicts: 281000 | #Constraints: 14242 238.84/239.56 c #Conflicts: 282000 | #Constraints: 15243 238.84/239.56 c #Conflicts: 283000 | #Constraints: 16243 238.84/239.56 c #Conflicts: 284000 | #Constraints: 17243 238.84/239.56 c #Conflicts: 285000 | #Constraints: 18243 238.84/239.56 c #Conflicts: 286000 | #Constraints: 19243 238.84/239.56 c #Conflicts: 287000 | #Constraints: 20243 238.84/239.56 c #Conflicts: 288000 | #Constraints: 21243 238.84/239.56 c INPROCESSING 238.84/239.56 c GARBAGE COLLECT 238.84/239.56 c rational objective 0 251.69/252.43 c #Conflicts: 289000 | #Constraints: 11643 251.69/252.43 c #Conflicts: 290000 | #Constraints: 12643 251.69/252.43 c #Conflicts: 291000 | #Constraints: 13643 251.69/252.43 c #Conflicts: 292000 | #Constraints: 14643 251.69/252.43 c #Conflicts: 293000 | #Constraints: 15643 251.69/252.43 c #Conflicts: 294000 | #Constraints: 16644 251.69/252.43 c #Conflicts: 295000 | #Constraints: 17645 251.69/252.43 c #Conflicts: 296000 | #Constraints: 18646 251.69/252.43 c #Conflicts: 297000 | #Constraints: 19647 251.69/252.43 c #Conflicts: 298000 | #Constraints: 20647 251.69/252.43 c #Conflicts: 299000 | #Constraints: 21648 251.69/252.43 c INPROCESSING 251.69/252.43 c GARBAGE COLLECT 251.69/252.43 c rational objective 0 268.44/269.26 c #Conflicts: 300000 | #Constraints: 11839 268.44/269.26 c #Conflicts: 301000 | #Constraints: 12839 268.44/269.26 c #Conflicts: 302000 | #Constraints: 13839 268.44/269.26 c #Conflicts: 303000 | #Constraints: 14839 268.44/269.26 c #Conflicts: 304000 | #Constraints: 15839 268.44/269.26 c #Conflicts: 305000 | #Constraints: 16839 268.44/269.26 c #Conflicts: 306000 | #Constraints: 17839 268.44/269.26 c #Conflicts: 307000 | #Constraints: 18839 268.44/269.26 c #Conflicts: 308000 | #Constraints: 19840 268.44/269.26 c #Conflicts: 309000 | #Constraints: 20842 268.44/269.26 c #Conflicts: 310000 | #Constraints: 21842 268.44/269.26 c INPROCESSING 268.44/269.26 c GARBAGE COLLECT 268.44/269.26 c rational objective 0 282.89/283.73 c #Conflicts: 311000 | #Constraints: 11840 282.89/283.73 c #Conflicts: 312000 | #Constraints: 12841 282.89/283.73 c #Conflicts: 313000 | #Constraints: 13842 282.89/283.73 c #Conflicts: 314000 | #Constraints: 14842 282.89/283.73 c #Conflicts: 315000 | #Constraints: 15842 282.89/283.73 c #Conflicts: 316000 | #Constraints: 16843 282.89/283.73 c #Conflicts: 317000 | #Constraints: 17843 282.89/283.73 c #Conflicts: 318000 | #Constraints: 18843 282.89/283.73 c #Conflicts: 319000 | #Constraints: 19843 282.89/283.73 c #Conflicts: 320000 | #Constraints: 20843 282.89/283.73 c #Conflicts: 321000 | #Constraints: 21843 282.89/283.73 c INPROCESSING 282.89/283.73 c GARBAGE COLLECT 282.89/283.73 c rational objective 0 297.44/298.38 c #Conflicts: 322000 | #Constraints: 11637 297.44/298.38 c #Conflicts: 323000 | #Constraints: 12637 297.44/298.38 c #Conflicts: 324000 | #Constraints: 13637 297.44/298.38 c #Conflicts: 325000 | #Constraints: 14637 297.44/298.38 c #Conflicts: 326000 | #Constraints: 15638 297.44/298.38 c #Conflicts: 327000 | #Constraints: 16638 297.44/298.38 c #Conflicts: 328000 | #Constraints: 17638 297.44/298.38 c #Conflicts: 329000 | #Constraints: 18638 297.44/298.38 c #Conflicts: 330000 | #Constraints: 19638 297.44/298.38 c #Conflicts: 331000 | #Constraints: 20638 297.44/298.38 c #Conflicts: 332000 | #Constraints: 21638 297.44/298.38 c #Conflicts: 333000 | #Constraints: 22638 297.44/298.38 c INPROCESSING 297.44/298.38 c GARBAGE COLLECT 297.44/298.38 c rational objective 0 316.19/317.12 c #Conflicts: 334000 | #Constraints: 12235 316.19/317.12 c #Conflicts: 335000 | #Constraints: 13235 316.19/317.12 c #Conflicts: 336000 | #Constraints: 14235 316.19/317.12 c #Conflicts: 337000 | #Constraints: 15235 316.19/317.12 c #Conflicts: 338000 | #Constraints: 16238 316.19/317.12 c #Conflicts: 339000 | #Constraints: 17238 316.19/317.12 c #Conflicts: 340000 | #Constraints: 18238 316.19/317.12 c #Conflicts: 341000 | #Constraints: 19238 316.19/317.12 c #Conflicts: 342000 | #Constraints: 20239 316.19/317.12 c #Conflicts: 343000 | #Constraints: 21239 316.19/317.12 c #Conflicts: 344000 | #Constraints: 22239 316.19/317.12 c #Conflicts: 345000 | #Constraints: 23241 316.19/317.12 c INPROCESSING 316.19/317.12 c GARBAGE COLLECT 316.19/317.12 c rational objective 0 331.83/332.83 c #Conflicts: 346000 | #Constraints: 12639 331.83/332.83 c #Conflicts: 347000 | #Constraints: 13640 331.83/332.83 c #Conflicts: 348000 | #Constraints: 14641 331.83/332.83 c #Conflicts: 349000 | #Constraints: 15641 331.83/332.83 c #Conflicts: 350000 | #Constraints: 16641 331.83/332.83 c #Conflicts: 351000 | #Constraints: 17642 331.83/332.83 c #Conflicts: 352000 | #Constraints: 18642 331.83/332.83 c #Conflicts: 353000 | #Constraints: 19643 331.83/332.83 c #Conflicts: 354000 | #Constraints: 20643 331.83/332.83 c #Conflicts: 355000 | #Constraints: 21643 331.83/332.83 c #Conflicts: 356000 | #Constraints: 22643 331.83/332.83 c #Conflicts: 357000 | #Constraints: 23643 331.83/332.83 c INPROCESSING 331.83/332.83 c GARBAGE COLLECT 331.83/332.83 c rational objective 0 352.66/353.71 c #Conflicts: 358000 | #Constraints: 12838 352.66/353.71 c #Conflicts: 359000 | #Constraints: 13838 352.66/353.71 c #Conflicts: 360000 | #Constraints: 14838 352.66/353.71 c #Conflicts: 361000 | #Constraints: 15838 352.66/353.71 c #Conflicts: 362000 | #Constraints: 16838 352.66/353.71 c #Conflicts: 363000 | #Constraints: 17839 352.66/353.71 c #Conflicts: 364000 | #Constraints: 18839 352.66/353.71 c #Conflicts: 365000 | #Constraints: 19839 352.66/353.71 c #Conflicts: 366000 | #Constraints: 20839 352.66/353.71 c #Conflicts: 367000 | #Constraints: 21839 352.66/353.71 c #Conflicts: 368000 | #Constraints: 22839 352.66/353.71 c #Conflicts: 369000 | #Constraints: 23840 352.66/353.71 c INPROCESSING 352.66/353.71 c GARBAGE COLLECT 352.66/353.71 c rational objective 0 371.20/372.33 c #Conflicts: 370000 | #Constraints: 12840 371.20/372.33 c #Conflicts: 371000 | #Constraints: 13840 371.20/372.33 c #Conflicts: 372000 | #Constraints: 14840 371.20/372.33 c #Conflicts: 373000 | #Constraints: 15840 371.20/372.33 c #Conflicts: 374000 | #Constraints: 16841 371.20/372.33 c #Conflicts: 375000 | #Constraints: 17841 371.20/372.33 c #Conflicts: 376000 | #Constraints: 18842 371.20/372.33 c #Conflicts: 377000 | #Constraints: 19842 371.20/372.33 c #Conflicts: 378000 | #Constraints: 20842 371.20/372.33 c #Conflicts: 379000 | #Constraints: 21842 371.20/372.33 c #Conflicts: 380000 | #Constraints: 22842 371.20/372.33 c #Conflicts: 381000 | #Constraints: 23842 371.20/372.33 c INPROCESSING 371.20/372.33 c GARBAGE COLLECT 371.20/372.33 c rational objective 0 393.52/394.75 c #Conflicts: 382000 | #Constraints: 12635 393.52/394.75 c #Conflicts: 383000 | #Constraints: 13635 393.52/394.75 c #Conflicts: 384000 | #Constraints: 14635 393.52/394.75 c #Conflicts: 385000 | #Constraints: 15635 393.52/394.75 c #Conflicts: 386000 | #Constraints: 16635 393.52/394.75 c #Conflicts: 387000 | #Constraints: 17635 393.52/394.75 c #Conflicts: 388000 | #Constraints: 18635 393.52/394.75 c #Conflicts: 389000 | #Constraints: 19635 393.52/394.75 c #Conflicts: 390000 | #Constraints: 20636 393.52/394.75 c #Conflicts: 391000 | #Constraints: 21638 393.52/394.75 c #Conflicts: 392000 | #Constraints: 22638 393.52/394.75 c #Conflicts: 393000 | #Constraints: 23638 393.52/394.75 c #Conflicts: 394000 | #Constraints: 24638 393.52/394.75 c INPROCESSING 393.52/394.75 c GARBAGE COLLECT 393.52/394.75 c rational objective 0 411.77/413.05 c #Conflicts: 395000 | #Constraints: 13239 411.77/413.05 c #Conflicts: 396000 | #Constraints: 14240 411.77/413.05 c #Conflicts: 397000 | #Constraints: 15240 411.77/413.05 c #Conflicts: 398000 | #Constraints: 16241 411.77/413.05 c #Conflicts: 399000 | #Constraints: 17241 411.77/413.05 c #Conflicts: 400000 | #Constraints: 18243 411.77/413.05 c #Conflicts: 401000 | #Constraints: 19243 411.77/413.05 c #Conflicts: 402000 | #Constraints: 20243 411.77/413.05 c #Conflicts: 403000 | #Constraints: 21243 411.77/413.05 c #Conflicts: 404000 | #Constraints: 22243 411.77/413.05 c #Conflicts: 405000 | #Constraints: 23243 411.77/413.05 c #Conflicts: 406000 | #Constraints: 24244 411.77/413.05 c #Conflicts: 407000 | #Constraints: 25244 411.77/413.05 c INPROCESSING 411.77/413.05 c GARBAGE COLLECT 411.77/413.05 c rational objective 0 435.49/436.82 c #Conflicts: 408000 | #Constraints: 13635 435.49/436.82 c #Conflicts: 409000 | #Constraints: 14635 435.49/436.82 c #Conflicts: 410000 | #Constraints: 15635 435.49/436.82 c #Conflicts: 411000 | #Constraints: 16635 435.49/436.82 c #Conflicts: 412000 | #Constraints: 17636 435.49/436.82 c #Conflicts: 413000 | #Constraints: 18636 435.49/436.82 c #Conflicts: 414000 | #Constraints: 19636 435.49/436.82 c #Conflicts: 415000 | #Constraints: 20636 435.49/436.82 c #Conflicts: 416000 | #Constraints: 21636 435.49/436.82 c #Conflicts: 417000 | #Constraints: 22636 435.49/436.82 c #Conflicts: 418000 | #Constraints: 23636 435.49/436.82 c #Conflicts: 419000 | #Constraints: 24636 435.49/436.82 c #Conflicts: 420000 | #Constraints: 25636 435.49/436.82 c INPROCESSING 435.49/436.82 c GARBAGE COLLECT 435.49/436.82 c rational objective 0 456.22/457.63 c #Conflicts: 421000 | #Constraints: 13840 456.22/457.63 c #Conflicts: 422000 | #Constraints: 14840 456.22/457.63 c #Conflicts: 423000 | #Constraints: 15840 456.22/457.63 c #Conflicts: 424000 | #Constraints: 16840 456.22/457.63 c #Conflicts: 425000 | #Constraints: 17840 456.22/457.63 c #Conflicts: 426000 | #Constraints: 18840 456.22/457.63 c #Conflicts: 427000 | #Constraints: 19841 456.22/457.63 c #Conflicts: 428000 | #Constraints: 20842 456.22/457.63 c #Conflicts: 429000 | #Constraints: 21843 456.22/457.63 c #Conflicts: 430000 | #Constraints: 22843 456.22/457.63 c #Conflicts: 431000 | #Constraints: 23843 456.22/457.63 c #Conflicts: 432000 | #Constraints: 24843 456.22/457.63 c #Conflicts: 433000 | #Constraints: 25843 456.22/457.63 c INPROCESSING 456.22/457.63 c GARBAGE COLLECT 456.22/457.63 c rational objective 0 477.05/478.54 c #Conflicts: 434000 | #Constraints: 13838 477.05/478.54 c #Conflicts: 435000 | #Constraints: 14838 477.05/478.54 c #Conflicts: 436000 | #Constraints: 15838 477.05/478.54 c #Conflicts: 437000 | #Constraints: 16838 477.05/478.54 c #Conflicts: 438000 | #Constraints: 17838 477.05/478.54 c #Conflicts: 439000 | #Constraints: 18838 477.05/478.54 c #Conflicts: 440000 | #Constraints: 19838 477.05/478.54 c #Conflicts: 441000 | #Constraints: 20838 477.05/478.54 c #Conflicts: 442000 | #Constraints: 21838 477.05/478.54 c #Conflicts: 443000 | #Constraints: 22838 477.05/478.54 c #Conflicts: 444000 | #Constraints: 23838 477.05/478.54 c #Conflicts: 445000 | #Constraints: 24838 477.05/478.54 c #Conflicts: 446000 | #Constraints: 25838 477.05/478.54 c INPROCESSING 477.05/478.54 c GARBAGE COLLECT 477.05/478.54 c rational objective 0 503.88/505.40 c #Conflicts: 447000 | #Constraints: 13635 503.88/505.40 c #Conflicts: 448000 | #Constraints: 14635 503.88/505.40 c #Conflicts: 449000 | #Constraints: 15635 503.88/505.40 c #Conflicts: 450000 | #Constraints: 16635 503.88/505.40 c #Conflicts: 451000 | #Constraints: 17635 503.88/505.40 c #Conflicts: 452000 | #Constraints: 18636 503.88/505.40 c #Conflicts: 453000 | #Constraints: 19636 503.88/505.40 c #Conflicts: 454000 | #Constraints: 20636 503.88/505.40 c #Conflicts: 455000 | #Constraints: 21636 503.88/505.40 c #Conflicts: 456000 | #Constraints: 22636 503.88/505.40 c #Conflicts: 457000 | #Constraints: 23636 503.88/505.40 c #Conflicts: 458000 | #Constraints: 24636 503.88/505.40 c #Conflicts: 459000 | #Constraints: 25636 503.88/505.40 c #Conflicts: 460000 | #Constraints: 26637 503.88/505.40 c INPROCESSING 503.88/505.40 c GARBAGE COLLECT 503.88/505.40 c rational objective 0 526.53/528.19 c #Conflicts: 461000 | #Constraints: 14238 526.53/528.19 c #Conflicts: 462000 | #Constraints: 15238 526.53/528.19 c #Conflicts: 463000 | #Constraints: 16239 526.53/528.19 c #Conflicts: 464000 | #Constraints: 17240 526.53/528.19 c #Conflicts: 465000 | #Constraints: 18240 526.53/528.19 c #Conflicts: 466000 | #Constraints: 19240 526.53/528.19 c #Conflicts: 467000 | #Constraints: 20240 526.53/528.19 c #Conflicts: 468000 | #Constraints: 21240 526.53/528.19 c #Conflicts: 469000 | #Constraints: 22240 526.53/528.19 c #Conflicts: 470000 | #Constraints: 23240 526.53/528.19 c #Conflicts: 471000 | #Constraints: 24240 526.53/528.19 c #Conflicts: 472000 | #Constraints: 25240 526.53/528.19 c #Conflicts: 473000 | #Constraints: 26240 526.53/528.19 c #Conflicts: 474000 | #Constraints: 27240 526.53/528.19 c INPROCESSING 526.53/528.19 c GARBAGE COLLECT 526.53/528.19 c rational objective 0 553.96/555.64 c #Conflicts: 475000 | #Constraints: 14637 553.96/555.64 c #Conflicts: 476000 | #Constraints: 15637 553.96/555.64 c #Conflicts: 477000 | #Constraints: 16638 553.96/555.64 c #Conflicts: 478000 | #Constraints: 17638 553.96/555.64 c #Conflicts: 479000 | #Constraints: 18638 553.96/555.64 c #Conflicts: 480000 | #Constraints: 19639 553.96/555.64 c #Conflicts: 481000 | #Constraints: 20639 553.96/555.64 c #Conflicts: 482000 | #Constraints: 21639 553.96/555.64 c #Conflicts: 483000 | #Constraints: 22639 553.96/555.64 c #Conflicts: 484000 | #Constraints: 23639 553.96/555.64 c #Conflicts: 485000 | #Constraints: 24639 553.96/555.64 c #Conflicts: 486000 | #Constraints: 25639 553.96/555.64 c #Conflicts: 487000 | #Constraints: 26640 553.96/555.64 c #Conflicts: 488000 | #Constraints: 27640 553.96/555.64 c INPROCESSING 553.96/555.64 c GARBAGE COLLECT 553.96/555.64 c rational objective 0 581.79/583.56 c #Conflicts: 489000 | #Constraints: 14838 581.79/583.56 c #Conflicts: 490000 | #Constraints: 15838 581.79/583.56 c #Conflicts: 491000 | #Constraints: 16839 581.79/583.56 c #Conflicts: 492000 | #Constraints: 17839 581.79/583.56 c #Conflicts: 493000 | #Constraints: 18839 581.79/583.56 c #Conflicts: 494000 | #Constraints: 19839 581.79/583.56 c #Conflicts: 495000 | #Constraints: 20839 581.79/583.56 c #Conflicts: 496000 | #Constraints: 21839 581.79/583.56 c #Conflicts: 497000 | #Constraints: 22839 581.79/583.56 c #Conflicts: 498000 | #Constraints: 23839 581.79/583.56 c #Conflicts: 499000 | #Constraints: 24839 581.79/583.56 c #Conflicts: 500000 | #Constraints: 25839 581.79/583.56 c #Conflicts: 501000 | #Constraints: 26839 581.79/583.56 c #Conflicts: 502000 | #Constraints: 27839 581.79/583.56 c INPROCESSING 581.79/583.56 c GARBAGE COLLECT 581.79/583.56 c rational objective 0 610.41/612.23 c #Conflicts: 503000 | #Constraints: 14836 610.41/612.23 c #Conflicts: 504000 | #Constraints: 15836 610.41/612.23 c #Conflicts: 505000 | #Constraints: 16836 610.41/612.23 c #Conflicts: 506000 | #Constraints: 17836 610.41/612.23 c #Conflicts: 507000 | #Constraints: 18836 610.41/612.23 c #Conflicts: 508000 | #Constraints: 19837 610.41/612.23 c #Conflicts: 509000 | #Constraints: 20837 610.41/612.23 c #Conflicts: 510000 | #Constraints: 21838 610.41/612.23 c #Conflicts: 511000 | #Constraints: 22838 610.41/612.23 c #Conflicts: 512000 | #Constraints: 23838 610.41/612.23 c #Conflicts: 513000 | #Constraints: 24838 610.41/612.23 c #Conflicts: 514000 | #Constraints: 25838 610.41/612.23 c #Conflicts: 515000 | #Constraints: 26838 610.41/612.23 c #Conflicts: 516000 | #Constraints: 27838 610.41/612.23 c INPROCESSING 610.41/612.23 c GARBAGE COLLECT 610.41/612.23 c rational objective 0 633.65/635.55 c #Conflicts: 517000 | #Constraints: 14639 633.65/635.55 c #Conflicts: 518000 | #Constraints: 15639 633.65/635.55 c #Conflicts: 519000 | #Constraints: 16640 633.65/635.55 c #Conflicts: 520000 | #Constraints: 17640 633.65/635.55 c #Conflicts: 521000 | #Constraints: 18641 633.65/635.55 c #Conflicts: 522000 | #Constraints: 19641 633.65/635.55 c #Conflicts: 523000 | #Constraints: 20642 633.65/635.55 c #Conflicts: 524000 | #Constraints: 21643 633.65/635.55 c #Conflicts: 525000 | #Constraints: 22643 633.65/635.55 c #Conflicts: 526000 | #Constraints: 23643 633.65/635.55 c #Conflicts: 527000 | #Constraints: 24643 633.65/635.55 c #Conflicts: 528000 | #Constraints: 25643 633.65/635.55 c #Conflicts: 529000 | #Constraints: 26643 633.65/635.55 c #Conflicts: 530000 | #Constraints: 27644 633.65/635.55 c #Conflicts: 531000 | #Constraints: 28644 633.65/635.55 c INPROCESSING 633.65/635.55 c GARBAGE COLLECT 633.65/635.55 c rational objective 0 665.98/667.92 c #Conflicts: 532000 | #Constraints: 15238 665.98/667.92 c #Conflicts: 533000 | #Constraints: 16238 665.98/667.92 c #Conflicts: 534000 | #Constraints: 17238 665.98/667.92 c #Conflicts: 535000 | #Constraints: 18238 665.98/667.92 c #Conflicts: 536000 | #Constraints: 19238 665.98/667.92 c #Conflicts: 537000 | #Constraints: 20238 665.98/667.92 c #Conflicts: 538000 | #Constraints: 21238 665.98/667.92 c #Conflicts: 539000 | #Constraints: 22238 665.98/667.92 c #Conflicts: 540000 | #Constraints: 23238 665.98/667.92 c #Conflicts: 541000 | #Constraints: 24238 665.98/667.92 c #Conflicts: 542000 | #Constraints: 25239 665.98/667.92 c #Conflicts: 543000 | #Constraints: 26240 665.98/667.92 c #Conflicts: 544000 | #Constraints: 27241 665.98/667.92 c #Conflicts: 545000 | #Constraints: 28242 665.98/667.92 c #Conflicts: 546000 | #Constraints: 29243 665.98/667.92 c INPROCESSING 665.98/667.92 c GARBAGE COLLECT 665.98/667.92 c rational objective 0 691.61/693.69 c #Conflicts: 547000 | #Constraints: 15645 691.61/693.69 c #Conflicts: 548000 | #Constraints: 16645 691.61/693.69 c #Conflicts: 549000 | #Constraints: 17645 691.61/693.69 c #Conflicts: 550000 | #Constraints: 18645 691.61/693.69 c #Conflicts: 551000 | #Constraints: 19645 691.61/693.69 c #Conflicts: 552000 | #Constraints: 20645 691.61/693.69 c #Conflicts: 553000 | #Constraints: 21645 691.61/693.69 c #Conflicts: 554000 | #Constraints: 22645 691.61/693.69 c #Conflicts: 555000 | #Constraints: 23645 691.61/693.69 c #Conflicts: 556000 | #Constraints: 24645 691.61/693.69 c #Conflicts: 557000 | #Constraints: 25645 691.61/693.69 c #Conflicts: 558000 | #Constraints: 26645 691.61/693.69 c #Conflicts: 559000 | #Constraints: 27645 691.61/693.69 c #Conflicts: 560000 | #Constraints: 28645 691.61/693.69 c #Conflicts: 561000 | #Constraints: 29645 691.61/693.69 c INPROCESSING 691.61/693.69 c GARBAGE COLLECT 691.61/693.69 c rational objective 0 724.83/726.96 c #Conflicts: 562000 | #Constraints: 15836 724.83/726.96 c #Conflicts: 563000 | #Constraints: 16836 724.83/726.96 c #Conflicts: 564000 | #Constraints: 17836 724.83/726.96 c #Conflicts: 565000 | #Constraints: 18837 724.83/726.96 c #Conflicts: 566000 | #Constraints: 19837 724.83/726.96 c #Conflicts: 567000 | #Constraints: 20838 724.83/726.96 c #Conflicts: 568000 | #Constraints: 21838 724.83/726.96 c #Conflicts: 569000 | #Constraints: 22839 724.83/726.96 c #Conflicts: 570000 | #Constraints: 23840 724.83/726.96 c #Conflicts: 571000 | #Constraints: 24840 724.83/726.96 c #Conflicts: 572000 | #Constraints: 25840 724.83/726.96 c #Conflicts: 573000 | #Constraints: 26840 724.83/726.96 c #Conflicts: 574000 | #Constraints: 27840 724.83/726.96 c #Conflicts: 575000 | #Constraints: 28840 724.83/726.96 c #Conflicts: 576000 | #Constraints: 29840 724.83/726.96 c INPROCESSING 724.83/726.96 c GARBAGE COLLECT 724.83/726.96 c rational objective 0 750.36/752.52 c #Conflicts: 577000 | #Constraints: 15841 750.36/752.52 c #Conflicts: 578000 | #Constraints: 16841 750.36/752.52 c #Conflicts: 579000 | #Constraints: 17841 750.36/752.52 c #Conflicts: 580000 | #Constraints: 18841 750.36/752.52 c #Conflicts: 581000 | #Constraints: 19841 750.36/752.52 c #Conflicts: 582000 | #Constraints: 20842 750.36/752.52 c #Conflicts: 583000 | #Constraints: 21842 750.36/752.52 c #Conflicts: 584000 | #Constraints: 22842 750.36/752.52 c #Conflicts: 585000 | #Constraints: 23842 750.36/752.52 c #Conflicts: 586000 | #Constraints: 24843 750.36/752.52 c #Conflicts: 587000 | #Constraints: 25843 750.36/752.52 c #Conflicts: 588000 | #Constraints: 26843 750.36/752.52 c #Conflicts: 589000 | #Constraints: 27843 750.36/752.52 c #Conflicts: 590000 | #Constraints: 28843 750.36/752.52 c #Conflicts: 591000 | #Constraints: 29844 750.36/752.52 c INPROCESSING 750.36/752.52 c GARBAGE COLLECT 750.36/752.52 c rational objective 0 778.79/781.07 c #Conflicts: 592000 | #Constraints: 15638 778.79/781.07 c #Conflicts: 593000 | #Constraints: 16639 778.79/781.07 c #Conflicts: 594000 | #Constraints: 17639 778.79/781.07 c #Conflicts: 595000 | #Constraints: 18639 778.79/781.07 c #Conflicts: 596000 | #Constraints: 19639 778.79/781.07 c #Conflicts: 597000 | #Constraints: 20639 778.79/781.07 c #Conflicts: 598000 | #Constraints: 21639 778.79/781.07 c #Conflicts: 599000 | #Constraints: 22639 778.79/781.07 c #Conflicts: 600000 | #Constraints: 23639 778.79/781.07 c #Conflicts: 601000 | #Constraints: 24639 778.79/781.07 c #Conflicts: 602000 | #Constraints: 25639 778.79/781.07 c #Conflicts: 603000 | #Constraints: 26639 778.79/781.07 c #Conflicts: 604000 | #Constraints: 27639 778.79/781.07 c #Conflicts: 605000 | #Constraints: 28639 778.79/781.07 c #Conflicts: 606000 | #Constraints: 29639 778.79/781.07 c #Conflicts: 607000 | #Constraints: 30639 778.79/781.07 c INPROCESSING 778.79/781.07 c GARBAGE COLLECT 778.79/781.07 c rational objective 0 814.00/816.30 c #Conflicts: 608000 | #Constraints: 16232 814.00/816.30 c #Conflicts: 609000 | #Constraints: 17232 814.00/816.30 c #Conflicts: 610000 | #Constraints: 18232 814.00/816.30 c #Conflicts: 611000 | #Constraints: 19232 814.00/816.30 c #Conflicts: 612000 | #Constraints: 20232 814.00/816.30 c #Conflicts: 613000 | #Constraints: 21232 814.00/816.30 c #Conflicts: 614000 | #Constraints: 22232 814.00/816.30 c #Conflicts: 615000 | #Constraints: 23232 814.00/816.30 c #Conflicts: 616000 | #Constraints: 24232 814.00/816.30 c #Conflicts: 617000 | #Constraints: 25233 814.00/816.30 c #Conflicts: 618000 | #Constraints: 26233 814.00/816.30 c #Conflicts: 619000 | #Constraints: 27233 814.00/816.30 c #Conflicts: 620000 | #Constraints: 28233 814.00/816.30 c #Conflicts: 621000 | #Constraints: 29233 814.00/816.30 c #Conflicts: 622000 | #Constraints: 30233 814.00/816.30 c #Conflicts: 623000 | #Constraints: 31233 814.00/816.30 c INPROCESSING 814.00/816.30 c GARBAGE COLLECT 814.00/816.30 c rational objective 0 841.73/844.11 c #Conflicts: 624000 | #Constraints: 16637 841.73/844.11 c #Conflicts: 625000 | #Constraints: 17638 841.73/844.11 c #Conflicts: 626000 | #Constraints: 18638 841.73/844.11 c #Conflicts: 627000 | #Constraints: 19638 841.73/844.11 c #Conflicts: 628000 | #Constraints: 20638 841.73/844.11 c #Conflicts: 629000 | #Constraints: 21638 841.73/844.11 c #Conflicts: 630000 | #Constraints: 22638 841.73/844.11 c #Conflicts: 631000 | #Constraints: 23638 841.73/844.11 c #Conflicts: 632000 | #Constraints: 24638 841.73/844.11 c #Conflicts: 633000 | #Constraints: 25638 841.73/844.11 c #Conflicts: 634000 | #Constraints: 26638 841.73/844.11 c #Conflicts: 635000 | #Constraints: 27638 841.73/844.11 c #Conflicts: 636000 | #Constraints: 28639 841.73/844.11 c #Conflicts: 637000 | #Constraints: 29640 841.73/844.11 c #Conflicts: 638000 | #Constraints: 30640 841.73/844.11 c #Conflicts: 639000 | #Constraints: 31640 841.73/844.11 c INPROCESSING 841.73/844.11 c GARBAGE COLLECT 841.73/844.11 c rational objective 0 879.33/881.87 c #Conflicts: 640000 | #Constraints: 16834 879.33/881.87 c #Conflicts: 641000 | #Constraints: 17834 879.33/881.87 c #Conflicts: 642000 | #Constraints: 18834 879.33/881.87 c #Conflicts: 643000 | #Constraints: 19834 879.33/881.87 c #Conflicts: 644000 | #Constraints: 20834 879.33/881.87 c #Conflicts: 645000 | #Constraints: 21835 879.33/881.87 c #Conflicts: 646000 | #Constraints: 22835 879.33/881.87 c #Conflicts: 647000 | #Constraints: 23835 879.33/881.87 c #Conflicts: 648000 | #Constraints: 24836 879.33/881.87 c #Conflicts: 649000 | #Constraints: 25836 879.33/881.87 c #Conflicts: 650000 | #Constraints: 26836 879.33/881.87 c #Conflicts: 651000 | #Constraints: 27837 879.33/881.87 c #Conflicts: 652000 | #Constraints: 28837 879.33/881.87 c #Conflicts: 653000 | #Constraints: 29837 879.33/881.87 c #Conflicts: 654000 | #Constraints: 30837 879.33/881.87 c #Conflicts: 655000 | #Constraints: 31837 879.33/881.87 c INPROCESSING 879.33/881.87 c GARBAGE COLLECT 879.33/881.87 c rational objective 0 909.26/911.86 c #Conflicts: 656000 | #Constraints: 16839 909.26/911.86 c #Conflicts: 657000 | #Constraints: 17839 909.26/911.86 c #Conflicts: 658000 | #Constraints: 18839 909.26/911.86 c #Conflicts: 659000 | #Constraints: 19839 909.26/911.86 c #Conflicts: 660000 | #Constraints: 20840 909.26/911.86 c #Conflicts: 661000 | #Constraints: 21840 909.26/911.86 c #Conflicts: 662000 | #Constraints: 22840 909.26/911.86 c #Conflicts: 663000 | #Constraints: 23840 909.26/911.86 c #Conflicts: 664000 | #Constraints: 24840 909.26/911.86 c #Conflicts: 665000 | #Constraints: 25840 909.26/911.86 c #Conflicts: 666000 | #Constraints: 26841 909.26/911.86 c #Conflicts: 667000 | #Constraints: 27841 909.26/911.86 c #Conflicts: 668000 | #Constraints: 28841 909.26/911.86 c #Conflicts: 669000 | #Constraints: 29841 909.26/911.86 c #Conflicts: 670000 | #Constraints: 30841 909.26/911.86 c #Conflicts: 671000 | #Constraints: 31842 909.26/911.86 c INPROCESSING 909.26/911.86 c GARBAGE COLLECT 909.26/911.86 c rational objective 0 949.85/952.52 c #Conflicts: 672000 | #Constraints: 16636 949.85/952.52 c #Conflicts: 673000 | #Constraints: 17636 949.85/952.52 c #Conflicts: 674000 | #Constraints: 18636 949.85/952.52 c #Conflicts: 675000 | #Constraints: 19636 949.85/952.52 c #Conflicts: 676000 | #Constraints: 20636 949.85/952.52 c #Conflicts: 677000 | #Constraints: 21636 949.85/952.52 c #Conflicts: 678000 | #Constraints: 22636 949.85/952.52 c #Conflicts: 679000 | #Constraints: 23636 949.85/952.52 c #Conflicts: 680000 | #Constraints: 24636 949.85/952.52 c #Conflicts: 681000 | #Constraints: 25636 949.85/952.52 c #Conflicts: 682000 | #Constraints: 26636 949.85/952.52 c #Conflicts: 683000 | #Constraints: 27637 949.85/952.52 c #Conflicts: 684000 | #Constraints: 28637 949.85/952.52 c #Conflicts: 685000 | #Constraints: 29637 949.85/952.52 c #Conflicts: 686000 | #Constraints: 30637 949.85/952.52 c #Conflicts: 687000 | #Constraints: 31637 949.85/952.52 c #Conflicts: 688000 | #Constraints: 32637 949.85/952.52 c INPROCESSING 949.85/952.52 c GARBAGE COLLECT 949.85/952.52 c rational objective 0 983.77/986.57 c #Conflicts: 689000 | #Constraints: 17237 983.77/986.57 c #Conflicts: 690000 | #Constraints: 18238 983.77/986.57 c #Conflicts: 691000 | #Constraints: 19238 983.77/986.57 c #Conflicts: 692000 | #Constraints: 20238 983.77/986.57 c #Conflicts: 693000 | #Constraints: 21238 983.77/986.57 c #Conflicts: 694000 | #Constraints: 22239 983.77/986.57 c #Conflicts: 695000 | #Constraints: 23239 983.77/986.57 c #Conflicts: 696000 | #Constraints: 24239 983.77/986.57 c #Conflicts: 697000 | #Constraints: 25239 983.77/986.57 c #Conflicts: 698000 | #Constraints: 26239 983.77/986.57 c #Conflicts: 699000 | #Constraints: 27239 983.77/986.57 c #Conflicts: 700000 | #Constraints: 28239 983.77/986.57 c #Conflicts: 701000 | #Constraints: 29239 983.77/986.57 c #Conflicts: 702000 | #Constraints: 30239 983.77/986.57 c #Conflicts: 703000 | #Constraints: 31239 983.77/986.57 c #Conflicts: 704000 | #Constraints: 32239 983.77/986.57 c #Conflicts: 705000 | #Constraints: 33239 983.77/986.57 c INPROCESSING 983.77/986.57 c GARBAGE COLLECT 983.77/986.57 c rational objective 0 1026.96/1029.83 c #Conflicts: 706000 | #Constraints: 17637 1026.96/1029.83 c #Conflicts: 707000 | #Constraints: 18637 1026.96/1029.83 c #Conflicts: 708000 | #Constraints: 19637 1026.96/1029.83 c #Conflicts: 709000 | #Constraints: 20637 1026.96/1029.83 c #Conflicts: 710000 | #Constraints: 21637 1026.96/1029.83 c #Conflicts: 711000 | #Constraints: 22638 1026.96/1029.83 c #Conflicts: 712000 | #Constraints: 23638 1026.96/1029.83 c #Conflicts: 713000 | #Constraints: 24638 1026.96/1029.83 c #Conflicts: 714000 | #Constraints: 25638 1026.96/1029.83 c #Conflicts: 715000 | #Constraints: 26639 1026.96/1029.83 c #Conflicts: 716000 | #Constraints: 27639 1026.96/1029.83 c #Conflicts: 717000 | #Constraints: 28639 1026.96/1029.83 c #Conflicts: 718000 | #Constraints: 29639 1026.96/1029.83 c #Conflicts: 719000 | #Constraints: 30639 1026.96/1029.83 c #Conflicts: 720000 | #Constraints: 31639 1026.96/1029.83 c #Conflicts: 721000 | #Constraints: 32639 1026.96/1029.83 c #Conflicts: 722000 | #Constraints: 33639 1026.96/1029.83 c INPROCESSING 1026.96/1029.83 c GARBAGE COLLECT 1026.96/1029.83 c rational objective 0 1064.16/1067.19 c #Conflicts: 723000 | #Constraints: 17843 1064.16/1067.19 c #Conflicts: 724000 | #Constraints: 18845 1064.16/1067.19 c #Conflicts: 725000 | #Constraints: 19845 1064.16/1067.19 c #Conflicts: 726000 | #Constraints: 20845 1064.16/1067.19 c #Conflicts: 727000 | #Constraints: 21845 1064.16/1067.19 c #Conflicts: 728000 | #Constraints: 22845 1064.16/1067.19 c #Conflicts: 729000 | #Constraints: 23845 1064.16/1067.19 c #Conflicts: 730000 | #Constraints: 24845 1064.16/1067.19 c #Conflicts: 731000 | #Constraints: 25845 1064.16/1067.19 c #Conflicts: 732000 | #Constraints: 26845 1064.16/1067.19 c #Conflicts: 733000 | #Constraints: 27845 1064.16/1067.19 c #Conflicts: 734000 | #Constraints: 28845 1064.16/1067.19 c #Conflicts: 735000 | #Constraints: 29845 1064.16/1067.19 c #Conflicts: 736000 | #Constraints: 30845 1064.16/1067.19 c #Conflicts: 737000 | #Constraints: 31845 1064.16/1067.19 c #Conflicts: 738000 | #Constraints: 32845 1064.16/1067.19 c #Conflicts: 739000 | #Constraints: 33845 1064.16/1067.19 c INPROCESSING 1064.16/1067.19 c GARBAGE COLLECT 1064.16/1067.19 c rational objective 0 1097.18/1100.25 c #Conflicts: 740000 | #Constraints: 17842 1097.18/1100.25 c #Conflicts: 741000 | #Constraints: 18842 1097.18/1100.25 c #Conflicts: 742000 | #Constraints: 19842 1097.18/1100.25 c #Conflicts: 743000 | #Constraints: 20842 1097.18/1100.25 c #Conflicts: 744000 | #Constraints: 21842 1097.18/1100.25 c #Conflicts: 745000 | #Constraints: 22842 1097.18/1100.25 c #Conflicts: 746000 | #Constraints: 23842 1097.18/1100.25 c #Conflicts: 747000 | #Constraints: 24842 1097.18/1100.25 c #Conflicts: 748000 | #Constraints: 25842 1097.18/1100.25 c #Conflicts: 749000 | #Constraints: 26843 1097.18/1100.25 c #Conflicts: 750000 | #Constraints: 27843 1097.18/1100.25 c #Conflicts: 751000 | #Constraints: 28843 1097.18/1100.25 c #Conflicts: 752000 | #Constraints: 29844 1097.18/1100.25 c #Conflicts: 753000 | #Constraints: 30844 1097.18/1100.25 c #Conflicts: 754000 | #Constraints: 31844 1097.18/1100.25 c #Conflicts: 755000 | #Constraints: 32844 1097.18/1100.25 c #Conflicts: 756000 | #Constraints: 33844 1097.18/1100.25 c INPROCESSING 1097.18/1100.25 c GARBAGE COLLECT 1097.18/1100.25 c rational objective 0 1143.16/1146.35 c #Conflicts: 757000 | #Constraints: 17639 1143.16/1146.35 c #Conflicts: 758000 | #Constraints: 18639 1143.16/1146.35 c #Conflicts: 759000 | #Constraints: 19639 1143.16/1146.35 c #Conflicts: 760000 | #Constraints: 20639 1143.16/1146.35 c #Conflicts: 761000 | #Constraints: 21639 1143.16/1146.35 c #Conflicts: 762000 | #Constraints: 22640 1143.16/1146.35 c #Conflicts: 763000 | #Constraints: 23640 1143.16/1146.35 c #Conflicts: 764000 | #Constraints: 24640 1143.16/1146.35 c #Conflicts: 765000 | #Constraints: 25640 1143.16/1146.35 c #Conflicts: 766000 | #Constraints: 26640 1143.16/1146.35 c #Conflicts: 767000 | #Constraints: 27640 1143.16/1146.35 c #Conflicts: 768000 | #Constraints: 28640 1143.16/1146.35 c #Conflicts: 769000 | #Constraints: 29640 1143.16/1146.35 c #Conflicts: 770000 | #Constraints: 30640 1143.16/1146.35 c #Conflicts: 771000 | #Constraints: 31640 1143.16/1146.35 c #Conflicts: 772000 | #Constraints: 32640 1143.16/1146.35 c #Conflicts: 773000 | #Constraints: 33640 1143.16/1146.35 c #Conflicts: 774000 | #Constraints: 34640 1143.16/1146.35 c INPROCESSING 1143.16/1146.35 c GARBAGE COLLECT 1143.16/1146.35 c rational objective 0 1180.45/1183.77 c #Conflicts: 775000 | #Constraints: 18239 1180.45/1183.77 c #Conflicts: 776000 | #Constraints: 19239 1180.45/1183.77 c #Conflicts: 777000 | #Constraints: 20239 1180.45/1183.77 c #Conflicts: 778000 | #Constraints: 21239 1180.45/1183.77 c #Conflicts: 779000 | #Constraints: 22239 1180.45/1183.77 c #Conflicts: 780000 | #Constraints: 23240 1180.45/1183.77 c #Conflicts: 781000 | #Constraints: 24240 1180.45/1183.77 c #Conflicts: 782000 | #Constraints: 25240 1180.45/1183.77 c #Conflicts: 783000 | #Constraints: 26240 1180.45/1183.77 c #Conflicts: 784000 | #Constraints: 27240 1180.45/1183.77 c #Conflicts: 785000 | #Constraints: 28240 1180.45/1183.77 c #Conflicts: 786000 | #Constraints: 29240 1180.45/1183.77 c #Conflicts: 787000 | #Constraints: 30240 1180.45/1183.77 c #Conflicts: 788000 | #Constraints: 31240 1180.45/1183.77 c #Conflicts: 789000 | #Constraints: 32240 1180.45/1183.77 c #Conflicts: 790000 | #Constraints: 33240 1180.45/1183.77 c #Conflicts: 791000 | #Constraints: 34240 1180.45/1183.77 c #Conflicts: 792000 | #Constraints: 35240 1180.45/1183.77 c INPROCESSING 1180.45/1183.77 c GARBAGE COLLECT 1180.45/1183.77 c rational objective 0 1231.72/1235.12 c #Conflicts: 793000 | #Constraints: 18633 1231.72/1235.12 c #Conflicts: 794000 | #Constraints: 19633 1231.72/1235.12 c #Conflicts: 795000 | #Constraints: 20634 1231.72/1235.12 c #Conflicts: 796000 | #Constraints: 21634 1231.72/1235.12 c #Conflicts: 797000 | #Constraints: 22634 1231.72/1235.12 c #Conflicts: 798000 | #Constraints: 23634 1231.72/1235.12 c #Conflicts: 799000 | #Constraints: 24634 1231.72/1235.12 c #Conflicts: 800000 | #Constraints: 25634 1231.72/1235.12 c #Conflicts: 801000 | #Constraints: 26634 1231.72/1235.12 c #Conflicts: 802000 | #Constraints: 27634 1231.72/1235.12 c #Conflicts: 803000 | #Constraints: 28634 1231.72/1235.12 c #Conflicts: 804000 | #Constraints: 29634 1231.72/1235.12 c #Conflicts: 805000 | #Constraints: 30634 1231.72/1235.12 c #Conflicts: 806000 | #Constraints: 31634 1231.72/1235.12 c #Conflicts: 807000 | #Constraints: 32634 1231.72/1235.12 c #Conflicts: 808000 | #Constraints: 33634 1231.72/1235.12 c #Conflicts: 809000 | #Constraints: 34634 1231.72/1235.12 c #Conflicts: 810000 | #Constraints: 35634 1231.72/1235.12 c INPROCESSING 1231.72/1235.12 c GARBAGE COLLECT 1231.72/1235.12 c rational objective 0 1269.63/1273.18 c #Conflicts: 811000 | #Constraints: 18839 1269.63/1273.18 c #Conflicts: 812000 | #Constraints: 19839 1269.63/1273.18 c #Conflicts: 813000 | #Constraints: 20839 1269.63/1273.18 c #Conflicts: 814000 | #Constraints: 21839 1269.63/1273.18 c #Conflicts: 815000 | #Constraints: 22840 1269.63/1273.18 c #Conflicts: 816000 | #Constraints: 23840 1269.63/1273.18 c #Conflicts: 817000 | #Constraints: 24840 1269.63/1273.18 c #Conflicts: 818000 | #Constraints: 25840 1269.63/1273.18 c #Conflicts: 819000 | #Constraints: 26840 1269.63/1273.18 c #Conflicts: 820000 | #Constraints: 27840 1269.63/1273.18 c #Conflicts: 821000 | #Constraints: 28840 1269.63/1273.18 c #Conflicts: 822000 | #Constraints: 29840 1269.63/1273.18 c #Conflicts: 823000 | #Constraints: 30840 1269.63/1273.18 c #Conflicts: 824000 | #Constraints: 31840 1269.63/1273.18 c #Conflicts: 825000 | #Constraints: 32840 1269.63/1273.18 c #Conflicts: 826000 | #Constraints: 33840 1269.63/1273.18 c #Conflicts: 827000 | #Constraints: 34840 1269.63/1273.18 c #Conflicts: 828000 | #Constraints: 35840 1269.63/1273.18 c INPROCESSING 1269.63/1273.18 c GARBAGE COLLECT 1269.63/1273.18 c rational objective 0 1321.39/1325.03 c #Conflicts: 829000 | #Constraints: 18836 1321.39/1325.03 c #Conflicts: 830000 | #Constraints: 19837 1321.39/1325.03 c #Conflicts: 831000 | #Constraints: 20838 1321.39/1325.03 c #Conflicts: 832000 | #Constraints: 21838 1321.39/1325.03 c #Conflicts: 833000 | #Constraints: 22838 1321.39/1325.03 c #Conflicts: 834000 | #Constraints: 23838 1321.39/1325.03 c #Conflicts: 835000 | #Constraints: 24838 1321.39/1325.03 c #Conflicts: 836000 | #Constraints: 25838 1321.39/1325.03 c #Conflicts: 837000 | #Constraints: 26838 1321.39/1325.03 c #Conflicts: 838000 | #Constraints: 27838 1321.39/1325.03 c #Conflicts: 839000 | #Constraints: 28838 1321.39/1325.03 c #Conflicts: 840000 | #Constraints: 29838 1321.39/1325.03 c #Conflicts: 841000 | #Constraints: 30838 1321.39/1325.03 c #Conflicts: 842000 | #Constraints: 31838 1321.39/1325.03 c #Conflicts: 843000 | #Constraints: 32838 1321.39/1325.03 c #Conflicts: 844000 | #Constraints: 33838 1321.39/1325.03 c #Conflicts: 845000 | #Constraints: 34838 1321.39/1325.03 c #Conflicts: 846000 | #Constraints: 35838 1321.39/1325.03 c INPROCESSING 1321.39/1325.03 c GARBAGE COLLECT 1321.39/1325.03 c rational objective 0 1360.87/1364.61 c #Conflicts: 847000 | #Constraints: 18638 1360.87/1364.61 c #Conflicts: 848000 | #Constraints: 19638 1360.87/1364.61 c #Conflicts: 849000 | #Constraints: 20638 1360.87/1364.61 c #Conflicts: 850000 | #Constraints: 21638 1360.87/1364.61 c #Conflicts: 851000 | #Constraints: 22638 1360.87/1364.61 c #Conflicts: 852000 | #Constraints: 23638 1360.87/1364.61 c #Conflicts: 853000 | #Constraints: 24638 1360.87/1364.61 c #Conflicts: 854000 | #Constraints: 25638 1360.87/1364.61 c #Conflicts: 855000 | #Constraints: 26638 1360.87/1364.61 c #Conflicts: 856000 | #Constraints: 27638 1360.87/1364.61 c #Conflicts: 857000 | #Constraints: 28638 1360.87/1364.61 c #Conflicts: 858000 | #Constraints: 29638 1360.87/1364.61 c #Conflicts: 859000 | #Constraints: 30638 1360.87/1364.61 c #Conflicts: 860000 | #Constraints: 31638 1360.87/1364.61 c #Conflicts: 861000 | #Constraints: 32638 1360.87/1364.61 c #Conflicts: 862000 | #Constraints: 33639 1360.87/1364.61 c #Conflicts: 863000 | #Constraints: 34642 1360.87/1364.61 c #Conflicts: 864000 | #Constraints: 35642 1360.87/1364.61 c #Conflicts: 865000 | #Constraints: 36643 1360.87/1364.61 c INPROCESSING 1360.87/1364.61 c GARBAGE COLLECT 1360.87/1364.61 c rational objective 0 1401.07/1404.97 c #Conflicts: 866000 | #Constraints: 19238 1401.07/1404.97 c #Conflicts: 867000 | #Constraints: 20239 1401.07/1404.97 c #Conflicts: 868000 | #Constraints: 21239 1401.07/1404.97 c #Conflicts: 869000 | #Constraints: 22239 1401.07/1404.97 c #Conflicts: 870000 | #Constraints: 23240 1401.07/1404.97 c #Conflicts: 871000 | #Constraints: 24240 1401.07/1404.97 c #Conflicts: 872000 | #Constraints: 25240 1401.07/1404.97 c #Conflicts: 873000 | #Constraints: 26240 1401.07/1404.97 c #Conflicts: 874000 | #Constraints: 27241 1401.07/1404.97 c #Conflicts: 875000 | #Constraints: 28242 1401.07/1404.97 c #Conflicts: 876000 | #Constraints: 29242 1401.07/1404.97 c #Conflicts: 877000 | #Constraints: 30242 1401.07/1404.97 c #Conflicts: 878000 | #Constraints: 31242 1401.07/1404.97 c #Conflicts: 879000 | #Constraints: 32242 1401.07/1404.97 c #Conflicts: 880000 | #Constraints: 33242 1401.07/1404.97 c #Conflicts: 881000 | #Constraints: 34242 1401.07/1404.97 c #Conflicts: 882000 | #Constraints: 35242 1401.07/1404.97 c #Conflicts: 883000 | #Constraints: 36242 1401.07/1404.97 c #Conflicts: 884000 | #Constraints: 37242 1401.07/1404.97 c INPROCESSING 1401.07/1404.97 c GARBAGE COLLECT 1401.07/1404.97 c rational objective 0 1455.94/1459.93 c #Conflicts: 885000 | #Constraints: 19639 1455.94/1459.93 c #Conflicts: 886000 | #Constraints: 20639 1455.94/1459.93 c #Conflicts: 887000 | #Constraints: 21639 1455.94/1459.93 c #Conflicts: 888000 | #Constraints: 22639 1455.94/1459.93 c #Conflicts: 889000 | #Constraints: 23639 1455.94/1459.93 c #Conflicts: 890000 | #Constraints: 24639 1455.94/1459.93 c #Conflicts: 891000 | #Constraints: 25639 1455.94/1459.93 c #Conflicts: 892000 | #Constraints: 26639 1455.94/1459.93 c #Conflicts: 893000 | #Constraints: 27640 1455.94/1459.93 c #Conflicts: 894000 | #Constraints: 28640 1455.94/1459.93 c #Conflicts: 895000 | #Constraints: 29640 1455.94/1459.93 c #Conflicts: 896000 | #Constraints: 30640 1455.94/1459.93 c #Conflicts: 897000 | #Constraints: 31640 1455.94/1459.93 c #Conflicts: 898000 | #Constraints: 32640 1455.94/1459.93 c #Conflicts: 899000 | #Constraints: 33641 1455.94/1459.93 c #Conflicts: 900000 | #Constraints: 34642 1455.94/1459.93 c #Conflicts: 901000 | #Constraints: 35642 1455.94/1459.93 c #Conflicts: 902000 | #Constraints: 36642 1455.94/1459.93 c #Conflicts: 903000 | #Constraints: 37642 1455.94/1459.93 c INPROCESSING 1455.94/1459.93 c GARBAGE COLLECT 1455.94/1459.93 c rational objective 0 1496.64/1500.79 c #Conflicts: 904000 | #Constraints: 19841 1496.64/1500.79 c #Conflicts: 905000 | #Constraints: 20841 1496.64/1500.79 c #Conflicts: 906000 | #Constraints: 21841 1496.64/1500.79 c #Conflicts: 907000 | #Constraints: 22842 1496.64/1500.79 c #Conflicts: 908000 | #Constraints: 23842 1496.64/1500.79 c #Conflicts: 909000 | #Constraints: 24842 1496.64/1500.79 c #Conflicts: 910000 | #Constraints: 25842 1496.64/1500.79 c #Conflicts: 911000 | #Constraints: 26842 1496.64/1500.79 c #Conflicts: 912000 | #Constraints: 27842 1496.64/1500.79 c #Conflicts: 913000 | #Constraints: 28842 1496.64/1500.79 c #Conflicts: 914000 | #Constraints: 29843 1496.64/1500.79 c #Conflicts: 915000 | #Constraints: 30843 1496.64/1500.79 c #Conflicts: 916000 | #Constraints: 31843 1496.64/1500.79 c #Conflicts: 917000 | #Constraints: 32843 1496.64/1500.79 c #Conflicts: 918000 | #Constraints: 33843 1496.64/1500.79 c #Conflicts: 919000 | #Constraints: 34843 1496.64/1500.79 c #Conflicts: 920000 | #Constraints: 35843 1496.64/1500.79 c #Conflicts: 921000 | #Constraints: 36843 1496.64/1500.79 c #Conflicts: 922000 | #Constraints: 37843 1496.64/1500.79 c INPROCESSING 1496.64/1500.79 c GARBAGE COLLECT 1496.64/1500.79 c rational objective 0 1552.20/1556.44 c #Conflicts: 923000 | #Constraints: 19835 1552.20/1556.44 c #Conflicts: 924000 | #Constraints: 20835 1552.20/1556.44 c #Conflicts: 925000 | #Constraints: 21836 1552.20/1556.44 c #Conflicts: 926000 | #Constraints: 22836 1552.20/1556.44 c #Conflicts: 927000 | #Constraints: 23836 1552.20/1556.44 c #Conflicts: 928000 | #Constraints: 24836 1552.20/1556.44 c #Conflicts: 929000 | #Constraints: 25836 1552.20/1556.44 c #Conflicts: 930000 | #Constraints: 26838 1552.20/1556.44 c #Conflicts: 931000 | #Constraints: 27839 1552.20/1556.44 c #Conflicts: 932000 | #Constraints: 28839 1552.20/1556.44 c #Conflicts: 933000 | #Constraints: 29839 1552.20/1556.44 c #Conflicts: 934000 | #Constraints: 30839 1552.20/1556.44 c #Conflicts: 935000 | #Constraints: 31839 1552.20/1556.44 c #Conflicts: 936000 | #Constraints: 32839 1552.20/1556.44 c #Conflicts: 937000 | #Constraints: 33839 1552.20/1556.44 c #Conflicts: 938000 | #Constraints: 34839 1552.20/1556.44 c #Conflicts: 939000 | #Constraints: 35839 1552.20/1556.44 c #Conflicts: 940000 | #Constraints: 36841 1552.20/1556.44 c #Conflicts: 941000 | #Constraints: 37841 1552.20/1556.44 c INPROCESSING 1552.20/1556.44 c GARBAGE COLLECT 1552.20/1556.44 c rational objective 0 1599.18/1603.52 c #Conflicts: 942000 | #Constraints: 19643 1599.18/1603.52 c #Conflicts: 943000 | #Constraints: 20643 1599.18/1603.52 c #Conflicts: 944000 | #Constraints: 21643 1599.18/1603.52 c #Conflicts: 945000 | #Constraints: 22643 1599.18/1603.52 c #Conflicts: 946000 | #Constraints: 23643 1599.18/1603.52 c #Conflicts: 947000 | #Constraints: 24643 1599.18/1603.52 c #Conflicts: 948000 | #Constraints: 25644 1599.18/1603.52 c #Conflicts: 949000 | #Constraints: 26644 1599.18/1603.52 c #Conflicts: 950000 | #Constraints: 27644 1599.18/1603.52 c #Conflicts: 951000 | #Constraints: 28644 1599.18/1603.52 c #Conflicts: 952000 | #Constraints: 29645 1599.18/1603.52 c #Conflicts: 953000 | #Constraints: 30645 1599.18/1603.52 c #Conflicts: 954000 | #Constraints: 31645 1599.18/1603.52 c #Conflicts: 955000 | #Constraints: 32646 1599.18/1603.52 c #Conflicts: 956000 | #Constraints: 33647 1599.18/1603.52 c #Conflicts: 957000 | #Constraints: 34647 1599.18/1603.52 c #Conflicts: 958000 | #Constraints: 35647 1599.18/1603.52 c #Conflicts: 959000 | #Constraints: 36648 1599.18/1603.52 c #Conflicts: 960000 | #Constraints: 37648 1599.18/1603.52 c #Conflicts: 961000 | #Constraints: 38648 1599.18/1603.52 c INPROCESSING 1599.18/1603.52 c GARBAGE COLLECT 1599.18/1603.52 c rational objective 0 1656.63/1661.16 c #Conflicts: 962000 | #Constraints: 20239 1656.63/1661.16 c #Conflicts: 963000 | #Constraints: 21239 1656.63/1661.16 c #Conflicts: 964000 | #Constraints: 22239 1656.63/1661.16 c #Conflicts: 965000 | #Constraints: 23239 1656.63/1661.16 c #Conflicts: 966000 | #Constraints: 24239 1656.63/1661.16 c #Conflicts: 967000 | #Constraints: 25239 1656.63/1661.16 c #Conflicts: 968000 | #Constraints: 26239 1656.63/1661.16 c #Conflicts: 969000 | #Constraints: 27239 1656.63/1661.16 c #Conflicts: 970000 | #Constraints: 28240 1656.63/1661.16 c #Conflicts: 971000 | #Constraints: 29240 1656.63/1661.16 c #Conflicts: 972000 | #Constraints: 30240 1656.63/1661.16 c #Conflicts: 973000 | #Constraints: 31240 1656.63/1661.16 c #Conflicts: 974000 | #Constraints: 32240 1656.63/1661.16 c #Conflicts: 975000 | #Constraints: 33240 1656.63/1661.16 c #Conflicts: 976000 | #Constraints: 34240 1656.63/1661.16 c #Conflicts: 977000 | #Constraints: 35240 1656.63/1661.16 c #Conflicts: 978000 | #Constraints: 36240 1656.63/1661.16 c #Conflicts: 979000 | #Constraints: 37240 1656.63/1661.16 c #Conflicts: 980000 | #Constraints: 38240 1656.63/1661.16 c #Conflicts: 981000 | #Constraints: 39240 1656.63/1661.16 c INPROCESSING 1656.63/1661.16 c GARBAGE COLLECT 1656.63/1661.16 c rational objective 0 1706.51/1711.14 c #Conflicts: 982000 | #Constraints: 20637 1706.51/1711.14 c #Conflicts: 983000 | #Constraints: 21637 1706.51/1711.14 c #Conflicts: 984000 | #Constraints: 22638 1706.51/1711.14 c #Conflicts: 985000 | #Constraints: 23639 1706.51/1711.14 c #Conflicts: 986000 | #Constraints: 24639 1706.51/1711.14 c #Conflicts: 987000 | #Constraints: 25639 1706.51/1711.14 c #Conflicts: 988000 | #Constraints: 26639 1706.51/1711.14 c #Conflicts: 989000 | #Constraints: 27639 1706.51/1711.14 c #Conflicts: 990000 | #Constraints: 28639 1706.51/1711.14 c #Conflicts: 991000 | #Constraints: 29639 1706.51/1711.14 c #Conflicts: 992000 | #Constraints: 30639 1706.51/1711.14 c #Conflicts: 993000 | #Constraints: 31639 1706.51/1711.14 c #Conflicts: 994000 | #Constraints: 32639 1706.51/1711.14 c #Conflicts: 995000 | #Constraints: 33639 1706.51/1711.14 c #Conflicts: 996000 | #Constraints: 34639 1706.51/1711.14 c #Conflicts: 997000 | #Constraints: 35639 1706.51/1711.14 c #Conflicts: 998000 | #Constraints: 36639 1706.51/1711.14 c #Conflicts: 999000 | #Constraints: 37639 1706.51/1711.14 c #Conflicts: 1000000 | #Constraints: 38639 1706.51/1711.14 c #Conflicts: 1001000 | #Constraints: 39639 1706.51/1711.14 c INPROCESSING 1706.51/1711.14 c GARBAGE COLLECT 1706.51/1711.14 c rational objective 0 1763.96/1768.75 c #Conflicts: 1002000 | #Constraints: 20835 1763.96/1768.75 c #Conflicts: 1003000 | #Constraints: 21835 1763.96/1768.75 c #Conflicts: 1004000 | #Constraints: 22835 1763.96/1768.75 c #Conflicts: 1005000 | #Constraints: 23835 1763.96/1768.75 c #Conflicts: 1006000 | #Constraints: 24835 1763.96/1768.75 c #Conflicts: 1007000 | #Constraints: 25835 1763.96/1768.75 c #Conflicts: 1008000 | #Constraints: 26835 1763.96/1768.75 c #Conflicts: 1009000 | #Constraints: 27835 1763.96/1768.75 c #Conflicts: 1010000 | #Constraints: 28835 1763.96/1768.75 c #Conflicts: 1011000 | #Constraints: 29835 1763.96/1768.75 c #Conflicts: 1012000 | #Constraints: 30835 1763.96/1768.75 c #Conflicts: 1013000 | #Constraints: 31835 1763.96/1768.75 c #Conflicts: 1014000 | #Constraints: 32835 1763.96/1768.75 c #Conflicts: 1015000 | #Constraints: 33835 1763.96/1768.75 c #Conflicts: 1016000 | #Constraints: 34835 1763.96/1768.75 c #Conflicts: 1017000 | #Constraints: 35835 1763.96/1768.75 c #Conflicts: 1018000 | #Constraints: 36835 1763.96/1768.75 c #Conflicts: 1019000 | #Constraints: 37835 1763.96/1768.75 c #Conflicts: 1020000 | #Constraints: 38835 1763.96/1768.75 c #Conflicts: 1021000 | #Constraints: 39835 1763.96/1768.75 c INPROCESSING 1763.96/1768.75 c GARBAGE COLLECT 1763.96/1768.75 c rational objective 0 1813.93/1818.90 c #Conflicts: 1022000 | #Constraints: 20838 1813.93/1818.90 c #Conflicts: 1023000 | #Constraints: 21838 1813.93/1818.90 c #Conflicts: 1024000 | #Constraints: 22839 1813.93/1818.90 c #Conflicts: 1025000 | #Constraints: 23839 1813.93/1818.90 c #Conflicts: 1026000 | #Constraints: 24839 1813.93/1818.90 c #Conflicts: 1027000 | #Constraints: 25840 1813.93/1818.90 c #Conflicts: 1028000 | #Constraints: 26841 1813.93/1818.90 c #Conflicts: 1029000 | #Constraints: 27841 1813.93/1818.90 c #Conflicts: 1030000 | #Constraints: 28841 1813.93/1818.90 c #Conflicts: 1031000 | #Constraints: 29841 1813.93/1818.90 c #Conflicts: 1032000 | #Constraints: 30841 1813.93/1818.90 c #Conflicts: 1033000 | #Constraints: 31841 1813.93/1818.90 c #Conflicts: 1034000 | #Constraints: 32841 1813.93/1818.90 c #Conflicts: 1035000 | #Constraints: 33841 1813.93/1818.90 c #Conflicts: 1036000 | #Constraints: 34841 1813.93/1818.90 c #Conflicts: 1037000 | #Constraints: 35841 1813.93/1818.90 c #Conflicts: 1038000 | #Constraints: 36841 1813.93/1818.90 c #Conflicts: 1039000 | #Constraints: 37841 1813.93/1818.90 c #Conflicts: 1040000 | #Constraints: 38841 1813.93/1818.90 c #Conflicts: 1041000 | #Constraints: 39841 1813.93/1818.90 c INPROCESSING 1813.93/1818.90 c GARBAGE COLLECT 1813.93/1818.90 c rational objective 0 1875.18/1880.27 c #Conflicts: 1042000 | #Constraints: 20639 1875.18/1880.27 c #Conflicts: 1043000 | #Constraints: 21640 1875.18/1880.27 c #Conflicts: 1044000 | #Constraints: 22640 1875.18/1880.27 c #Conflicts: 1045000 | #Constraints: 23640 1875.18/1880.27 c #Conflicts: 1046000 | #Constraints: 24640 1875.18/1880.27 c #Conflicts: 1047000 | #Constraints: 25640 1875.18/1880.27 c #Conflicts: 1048000 | #Constraints: 26640 1875.18/1880.27 c #Conflicts: 1049000 | #Constraints: 27640 1875.18/1880.27 c #Conflicts: 1050000 | #Constraints: 28640 1875.18/1880.27 c #Conflicts: 1051000 | #Constraints: 29640 1875.18/1880.27 c #Conflicts: 1052000 | #Constraints: 30640 1875.18/1880.27 c #Conflicts: 1053000 | #Constraints: 31640 1875.18/1880.27 c #Conflicts: 1054000 | #Constraints: 32640 1875.18/1880.27 c #Conflicts: 1055000 | #Constraints: 33640 1875.18/1880.27 c #Conflicts: 1056000 | #Constraints: 34640 1875.18/1880.27 c #Conflicts: 1057000 | #Constraints: 35640 1875.18/1880.27 c #Conflicts: 1058000 | #Constraints: 36640 1875.18/1880.27 c #Conflicts: 1059000 | #Constraints: 37640 1875.18/1880.27 c #Conflicts: 1060000 | #Constraints: 38640 1875.18/1880.27 c #Conflicts: 1061000 | #Constraints: 39640 1875.18/1880.27 c #Conflicts: 1062000 | #Constraints: 40640 1875.18/1880.27 c INPROCESSING 1875.18/1880.27 c GARBAGE COLLECT 1875.18/1880.27 c rational objective 0 1931.04/1936.21 c #Conflicts: 1063000 | #Constraints: 21241 1931.04/1936.21 c #Conflicts: 1064000 | #Constraints: 22241 1931.04/1936.21 c #Conflicts: 1065000 | #Constraints: 23242 1931.04/1936.21 c #Conflicts: 1066000 | #Constraints: 24242 1931.04/1936.21 c #Conflicts: 1067000 | #Constraints: 25242 1931.04/1936.21 c #Conflicts: 1068000 | #Constraints: 26242 1931.04/1936.21 c #Conflicts: 1069000 | #Constraints: 27242 1931.04/1936.21 c #Conflicts: 1070000 | #Constraints: 28242 1931.04/1936.21 c #Conflicts: 1071000 | #Constraints: 29243 1931.04/1936.21 c #Conflicts: 1072000 | #Constraints: 30243 1931.04/1936.21 c #Conflicts: 1073000 | #Constraints: 31243 1931.04/1936.21 c #Conflicts: 1074000 | #Constraints: 32243 1931.04/1936.21 c #Conflicts: 1075000 | #Constraints: 33244 1931.04/1936.21 c #Conflicts: 1076000 | #Constraints: 34244 1931.04/1936.21 c #Conflicts: 1077000 | #Constraints: 35244 1931.04/1936.21 c #Conflicts: 1078000 | #Constraints: 36244 1931.04/1936.21 c #Conflicts: 1079000 | #Constraints: 37244 1931.04/1936.21 c #Conflicts: 1080000 | #Constraints: 38244 1931.04/1936.21 c #Conflicts: 1081000 | #Constraints: 39244 1931.04/1936.21 c #Conflicts: 1082000 | #Constraints: 40244 1931.04/1936.21 c #Conflicts: 1083000 | #Constraints: 41244 1931.04/1936.21 c INPROCESSING 1931.04/1936.21 c GARBAGE COLLECT 1931.04/1936.21 c rational objective 0 1987.89/1993.28 c #Conflicts: 1084000 | #Constraints: 21637 1987.89/1993.28 c #Conflicts: 1085000 | #Constraints: 22637 1987.89/1993.28 c #Conflicts: 1086000 | #Constraints: 23637 1987.89/1993.28 c #Conflicts: 1087000 | #Constraints: 24637 1987.89/1993.28 c #Conflicts: 1088000 | #Constraints: 25637 1987.89/1993.28 c #Conflicts: 1089000 | #Constraints: 26637 1987.89/1993.28 c #Conflicts: 1090000 | #Constraints: 27637 1987.89/1993.28 c #Conflicts: 1091000 | #Constraints: 28637 1987.89/1993.28 c #Conflicts: 1092000 | #Constraints: 29637 1987.89/1993.28 c #Conflicts: 1093000 | #Constraints: 30637 1987.89/1993.28 c #Conflicts: 1094000 | #Constraints: 31637 1987.89/1993.28 c #Conflicts: 1095000 | #Constraints: 32637 1987.89/1993.28 c #Conflicts: 1096000 | #Constraints: 33637 1987.89/1993.28 c #Conflicts: 1097000 | #Constraints: 34637 1987.89/1993.28 c #Conflicts: 1098000 | #Constraints: 35637 1987.89/1993.28 c #Conflicts: 1099000 | #Constraints: 36637 1987.89/1993.28 c #Conflicts: 1100000 | #Constraints: 37638 1987.89/1993.28 c #Conflicts: 1101000 | #Constraints: 38638 1987.89/1993.28 c #Conflicts: 1102000 | #Constraints: 39640 1987.89/1993.28 c #Conflicts: 1103000 | #Constraints: 40640 1987.89/1993.28 c #Conflicts: 1104000 | #Constraints: 41640 1987.89/1993.28 c INPROCESSING 1987.89/1993.28 c GARBAGE COLLECT 1987.89/1993.28 c rational objective 0 2055.73/2061.23 c #Conflicts: 1105000 | #Constraints: 21838 2055.73/2061.23 c #Conflicts: 1106000 | #Constraints: 22838 2055.73/2061.23 c #Conflicts: 1107000 | #Constraints: 23838 2055.73/2061.23 c #Conflicts: 1108000 | #Constraints: 24838 2055.73/2061.23 c #Conflicts: 1109000 | #Constraints: 25838 2055.73/2061.23 c #Conflicts: 1110000 | #Constraints: 26839 2055.73/2061.23 c #Conflicts: 1111000 | #Constraints: 27840 2055.73/2061.23 c #Conflicts: 1112000 | #Constraints: 28841 2055.73/2061.23 c #Conflicts: 1113000 | #Constraints: 29843 2055.73/2061.23 c #Conflicts: 1114000 | #Constraints: 30844 2055.73/2061.23 c #Conflicts: 1115000 | #Constraints: 31844 2055.73/2061.23 c #Conflicts: 1116000 | #Constraints: 32845 2055.73/2061.23 c #Conflicts: 1117000 | #Constraints: 33845 2055.73/2061.23 c #Conflicts: 1118000 | #Constraints: 34845 2055.73/2061.23 c #Conflicts: 1119000 | #Constraints: 35845 2055.73/2061.23 c #Conflicts: 1120000 | #Constraints: 36845 2055.73/2061.23 c #Conflicts: 1121000 | #Constraints: 37846 2055.73/2061.23 c #Conflicts: 1122000 | #Constraints: 38846 2055.73/2061.23 c #Conflicts: 1123000 | #Constraints: 39846 2055.73/2061.23 c #Conflicts: 1124000 | #Constraints: 40846 2055.73/2061.23 c #Conflicts: 1125000 | #Constraints: 41846 2055.73/2061.23 c INPROCESSING 2055.73/2061.23 c GARBAGE COLLECT 2055.73/2061.23 c rational objective 0 2108.79/2114.48 c #Conflicts: 1126000 | #Constraints: 21845 2108.79/2114.48 c #Conflicts: 1127000 | #Constraints: 22845 2108.79/2114.48 c #Conflicts: 1128000 | #Constraints: 23845 2108.79/2114.48 c #Conflicts: 1129000 | #Constraints: 24845 2108.79/2114.48 c #Conflicts: 1130000 | #Constraints: 25846 2108.79/2114.48 c #Conflicts: 1131000 | #Constraints: 26846 2108.79/2114.48 c #Conflicts: 1132000 | #Constraints: 27846 2108.79/2114.48 c #Conflicts: 1133000 | #Constraints: 28846 2108.79/2114.48 c #Conflicts: 1134000 | #Constraints: 29846 2108.79/2114.48 c #Conflicts: 1135000 | #Constraints: 30846 2108.79/2114.48 c #Conflicts: 1136000 | #Constraints: 31846 2108.79/2114.48 c #Conflicts: 1137000 | #Constraints: 32846 2108.79/2114.48 c #Conflicts: 1138000 | #Constraints: 33847 2108.79/2114.48 c #Conflicts: 1139000 | #Constraints: 34847 2108.79/2114.48 c #Conflicts: 1140000 | #Constraints: 35848 2108.79/2114.48 c #Conflicts: 1141000 | #Constraints: 36848 2108.79/2114.48 c #Conflicts: 1142000 | #Constraints: 37849 2108.79/2114.48 c #Conflicts: 1143000 | #Constraints: 38849 2108.79/2114.48 c #Conflicts: 1144000 | #Constraints: 39849 2108.79/2114.48 c #Conflicts: 1145000 | #Constraints: 40849 2108.79/2114.48 c #Conflicts: 1146000 | #Constraints: 41849 2108.79/2114.48 c INPROCESSING 2108.79/2114.48 c GARBAGE COLLECT 2108.79/2114.48 c rational objective 0 2182.41/2188.24 c #Conflicts: 1147000 | #Constraints: 21639 2182.41/2188.24 c #Conflicts: 1148000 | #Constraints: 22639 2182.41/2188.24 c #Conflicts: 1149000 | #Constraints: 23639 2182.41/2188.24 c #Conflicts: 1150000 | #Constraints: 24639 2182.41/2188.24 c #Conflicts: 1151000 | #Constraints: 25639 2182.41/2188.24 c #Conflicts: 1152000 | #Constraints: 26639 2182.41/2188.24 c #Conflicts: 1153000 | #Constraints: 27639 2182.41/2188.24 c #Conflicts: 1154000 | #Constraints: 28639 2182.41/2188.24 c #Conflicts: 1155000 | #Constraints: 29640 2182.41/2188.24 c #Conflicts: 1156000 | #Constraints: 30640 2182.41/2188.24 c #Conflicts: 1157000 | #Constraints: 31640 2182.41/2188.24 c #Conflicts: 1158000 | #Constraints: 32640 2182.41/2188.24 c #Conflicts: 1159000 | #Constraints: 33640 2182.41/2188.24 c #Conflicts: 1160000 | #Constraints: 34640 2182.41/2188.24 c #Conflicts: 1161000 | #Constraints: 35640 2182.41/2188.24 c #Conflicts: 1162000 | #Constraints: 36640 2182.41/2188.24 c #Conflicts: 1163000 | #Constraints: 37640 2182.41/2188.24 c #Conflicts: 1164000 | #Constraints: 38640 2182.41/2188.24 c #Conflicts: 1165000 | #Constraints: 39640 2182.41/2188.24 c #Conflicts: 1166000 | #Constraints: 40640 2182.41/2188.24 c #Conflicts: 1167000 | #Constraints: 41640 2182.41/2188.24 c #Conflicts: 1168000 | #Constraints: 42640 2182.41/2188.24 c INPROCESSING 2182.41/2188.24 c GARBAGE COLLECT 2182.41/2188.24 c rational objective 0 2237.46/2243.40 c #Conflicts: 1169000 | #Constraints: 22245 2237.46/2243.40 c #Conflicts: 1170000 | #Constraints: 23245 2237.46/2243.40 c #Conflicts: 1171000 | #Constraints: 24245 2237.46/2243.40 c #Conflicts: 1172000 | #Constraints: 25245 2237.46/2243.40 c #Conflicts: 1173000 | #Constraints: 26245 2237.46/2243.40 c #Conflicts: 1174000 | #Constraints: 27245 2237.46/2243.40 c #Conflicts: 1175000 | #Constraints: 28245 2237.46/2243.40 c #Conflicts: 1176000 | #Constraints: 29245 2237.46/2243.40 c #Conflicts: 1177000 | #Constraints: 30246 2237.46/2243.40 c #Conflicts: 1178000 | #Constraints: 31246 2237.46/2243.40 c #Conflicts: 1179000 | #Constraints: 32246 2237.46/2243.40 c #Conflicts: 1180000 | #Constraints: 33246 2237.46/2243.40 c #Conflicts: 1181000 | #Constraints: 34247 2237.46/2243.40 c #Conflicts: 1182000 | #Constraints: 35247 2237.46/2243.40 c #Conflicts: 1183000 | #Constraints: 36247 2237.46/2243.40 c #Conflicts: 1184000 | #Constraints: 37247 2237.46/2243.40 c #Conflicts: 1185000 | #Constraints: 38248 2237.46/2243.40 c #Conflicts: 1186000 | #Constraints: 39248 2237.46/2243.40 c #Conflicts: 1187000 | #Constraints: 40248 2237.46/2243.40 c #Conflicts: 1188000 | #Constraints: 41248 2237.46/2243.40 c #Conflicts: 1189000 | #Constraints: 42248 2237.46/2243.40 c #Conflicts: 1190000 | #Constraints: 43248 2237.46/2243.40 c INPROCESSING 2237.46/2243.40 c GARBAGE COLLECT 2237.46/2243.40 c rational objective 0 2318.64/2324.86 c #Conflicts: 1191000 | #Constraints: 22636 2318.64/2324.86 c #Conflicts: 1192000 | #Constraints: 23636 2318.64/2324.86 c #Conflicts: 1193000 | #Constraints: 24636 2318.64/2324.86 c #Conflicts: 1194000 | #Constraints: 25636 2318.64/2324.86 c #Conflicts: 1195000 | #Constraints: 26636 2318.64/2324.86 c #Conflicts: 1196000 | #Constraints: 27637 2318.64/2324.86 c #Conflicts: 1197000 | #Constraints: 28639 2318.64/2324.86 c #Conflicts: 1198000 | #Constraints: 29639 2318.64/2324.86 c #Conflicts: 1199000 | #Constraints: 30639 2318.64/2324.86 c #Conflicts: 1200000 | #Constraints: 31639 2318.64/2324.86 c #Conflicts: 1201000 | #Constraints: 32639 2318.64/2324.86 c #Conflicts: 1202000 | #Constraints: 33639 2318.64/2324.86 c #Conflicts: 1203000 | #Constraints: 34639 2318.64/2324.86 c #Conflicts: 1204000 | #Constraints: 35639 2318.64/2324.86 c #Conflicts: 1205000 | #Constraints: 36639 2318.64/2324.86 c #Conflicts: 1206000 | #Constraints: 37639 2318.64/2324.86 c #Conflicts: 1207000 | #Constraints: 38639 2318.64/2324.86 c #Conflicts: 1208000 | #Constraints: 39639 2318.64/2324.86 c #Conflicts: 1209000 | #Constraints: 40639 2318.64/2324.86 c #Conflicts: 1210000 | #Constraints: 41639 2318.64/2324.86 c #Conflicts: 1211000 | #Constraints: 42639 2318.64/2324.86 c #Conflicts: 1212000 | #Constraints: 43639 2318.64/2324.86 c INPROCESSING 2318.64/2324.86 c GARBAGE COLLECT 2318.64/2324.86 c rational objective 0 2386.05/2392.46 c #Conflicts: 1213000 | #Constraints: 22841 2386.05/2392.46 c #Conflicts: 1214000 | #Constraints: 23842 2386.05/2392.46 c #Conflicts: 1215000 | #Constraints: 24842 2386.05/2392.46 c #Conflicts: 1216000 | #Constraints: 25842 2386.05/2392.46 c #Conflicts: 1217000 | #Constraints: 26842 2386.05/2392.46 c #Conflicts: 1218000 | #Constraints: 27842 2386.05/2392.46 c #Conflicts: 1219000 | #Constraints: 28842 2386.05/2392.46 c #Conflicts: 1220000 | #Constraints: 29842 2386.05/2392.46 c #Conflicts: 1221000 | #Constraints: 30842 2386.05/2392.46 c #Conflicts: 1222000 | #Constraints: 31843 2386.05/2392.46 c #Conflicts: 1223000 | #Constraints: 32843 2386.05/2392.46 c #Conflicts: 1224000 | #Constraints: 33843 2386.05/2392.46 c #Conflicts: 1225000 | #Constraints: 34843 2386.05/2392.46 c #Conflicts: 1226000 | #Constraints: 35843 2386.05/2392.46 c #Conflicts: 1227000 | #Constraints: 36843 2386.05/2392.46 c #Conflicts: 1228000 | #Constraints: 37843 2386.05/2392.46 c #Conflicts: 1229000 | #Constraints: 38843 2386.05/2392.46 c #Conflicts: 1230000 | #Constraints: 39843 2386.05/2392.46 c #Conflicts: 1231000 | #Constraints: 40843 2386.05/2392.46 c #Conflicts: 1232000 | #Constraints: 41843 2386.05/2392.46 c #Conflicts: 1233000 | #Constraints: 42843 2386.05/2392.46 c #Conflicts: 1234000 | #Constraints: 43844 2386.05/2392.46 c INPROCESSING 2386.05/2392.46 c GARBAGE COLLECT 2386.05/2392.46 c rational objective 0 2472.63/2479.27 c #Conflicts: 1235000 | #Constraints: 22834 2472.63/2479.27 c #Conflicts: 1236000 | #Constraints: 23834 2472.63/2479.27 c #Conflicts: 1237000 | #Constraints: 24834 2472.63/2479.27 c #Conflicts: 1238000 | #Constraints: 25834 2472.63/2479.27 c #Conflicts: 1239000 | #Constraints: 26834 2472.63/2479.27 c #Conflicts: 1240000 | #Constraints: 27834 2472.63/2479.27 c #Conflicts: 1241000 | #Constraints: 28834 2472.63/2479.27 c #Conflicts: 1242000 | #Constraints: 29834 2472.63/2479.27 c #Conflicts: 1243000 | #Constraints: 30834 2472.63/2479.27 c #Conflicts: 1244000 | #Constraints: 31834 2472.63/2479.27 c #Conflicts: 1245000 | #Constraints: 32835 2472.63/2479.27 c #Conflicts: 1246000 | #Constraints: 33836 2472.63/2479.27 c #Conflicts: 1247000 | #Constraints: 34836 2472.63/2479.27 c #Conflicts: 1248000 | #Constraints: 35837 2472.63/2479.27 c #Conflicts: 1249000 | #Constraints: 36837 2472.63/2479.27 c #Conflicts: 1250000 | #Constraints: 37837 2472.63/2479.27 c #Conflicts: 1251000 | #Constraints: 38837 2472.63/2479.27 c #Conflicts: 1252000 | #Constraints: 39837 2472.63/2479.27 c #Conflicts: 1253000 | #Constraints: 40837 2472.63/2479.27 c #Conflicts: 1254000 | #Constraints: 41837 2472.63/2479.27 c #Conflicts: 1255000 | #Constraints: 42837 2472.63/2479.27 c #Conflicts: 1256000 | #Constraints: 43837 2472.63/2479.27 c INPROCESSING 2472.63/2479.27 c GARBAGE COLLECT 2472.63/2479.27 c rational objective 0 2538.65/2545.45 c #Conflicts: 1257000 | #Constraints: 22636 2538.65/2545.45 c #Conflicts: 1258000 | #Constraints: 23636 2538.65/2545.45 c #Conflicts: 1259000 | #Constraints: 24636 2538.65/2545.45 c #Conflicts: 1260000 | #Constraints: 25636 2538.65/2545.45 c #Conflicts: 1261000 | #Constraints: 26636 2538.65/2545.45 c #Conflicts: 1262000 | #Constraints: 27636 2538.65/2545.45 c #Conflicts: 1263000 | #Constraints: 28636 2538.65/2545.45 c #Conflicts: 1264000 | #Constraints: 29636 2538.65/2545.45 c #Conflicts: 1265000 | #Constraints: 30636 2538.65/2545.45 c #Conflicts: 1266000 | #Constraints: 31636 2538.65/2545.45 c #Conflicts: 1267000 | #Constraints: 32636 2538.65/2545.45 c #Conflicts: 1268000 | #Constraints: 33636 2538.65/2545.45 c #Conflicts: 1269000 | #Constraints: 34636 2538.65/2545.45 c #Conflicts: 1270000 | #Constraints: 35636 2538.65/2545.45 c #Conflicts: 1271000 | #Constraints: 36636 2538.65/2545.45 c #Conflicts: 1272000 | #Constraints: 37636 2538.65/2545.45 c #Conflicts: 1273000 | #Constraints: 38637 2538.65/2545.45 c #Conflicts: 1274000 | #Constraints: 39638 2538.65/2545.45 c #Conflicts: 1275000 | #Constraints: 40638 2538.65/2545.45 c #Conflicts: 1276000 | #Constraints: 41638 2538.65/2545.45 c #Conflicts: 1277000 | #Constraints: 42638 2538.65/2545.45 c #Conflicts: 1278000 | #Constraints: 43638 2538.65/2545.45 c #Conflicts: 1279000 | #Constraints: 44638 2538.65/2545.45 c INPROCESSING 2538.65/2545.45 c GARBAGE COLLECT 2538.65/2545.45 c rational objective 0 2605.18/2612.11 c #Conflicts: 1280000 | #Constraints: 23236 2605.18/2612.11 c #Conflicts: 1281000 | #Constraints: 24237 2605.18/2612.11 c #Conflicts: 1282000 | #Constraints: 25237 2605.18/2612.11 c #Conflicts: 1283000 | #Constraints: 26237 2605.18/2612.11 c #Conflicts: 1284000 | #Constraints: 27237 2605.18/2612.11 c #Conflicts: 1285000 | #Constraints: 28237 2605.18/2612.11 c #Conflicts: 1286000 | #Constraints: 29237 2605.18/2612.11 c #Conflicts: 1287000 | #Constraints: 30237 2605.18/2612.11 c #Conflicts: 1288000 | #Constraints: 31237 2605.18/2612.11 c #Conflicts: 1289000 | #Constraints: 32238 2605.18/2612.11 c #Conflicts: 1290000 | #Constraints: 33238 2605.18/2612.11 c #Conflicts: 1291000 | #Constraints: 34239 2605.18/2612.11 c #Conflicts: 1292000 | #Constraints: 35239 2605.18/2612.11 c #Conflicts: 1293000 | #Constraints: 36239 2605.18/2612.11 c #Conflicts: 1294000 | #Constraints: 37239 2605.18/2612.11 c #Conflicts: 1295000 | #Constraints: 38239 2605.18/2612.11 c #Conflicts: 1296000 | #Constraints: 39239 2605.18/2612.11 c #Conflicts: 1297000 | #Constraints: 40239 2605.18/2612.11 c #Conflicts: 1298000 | #Constraints: 41239 2605.18/2612.11 c #Conflicts: 1299000 | #Constraints: 42239 2605.18/2612.11 c #Conflicts: 1300000 | #Constraints: 43239 2605.18/2612.11 c #Conflicts: 1301000 | #Constraints: 44239 2605.18/2612.11 c #Conflicts: 1302000 | #Constraints: 45240 2605.18/2612.11 c INPROCESSING 2605.18/2612.11 c GARBAGE COLLECT 2605.18/2612.11 c rational objective 0 2696.13/2703.38 c #Conflicts: 1303000 | #Constraints: 23639 2696.13/2703.38 c #Conflicts: 1304000 | #Constraints: 24640 2696.13/2703.38 c #Conflicts: 1305000 | #Constraints: 25640 2696.13/2703.38 c #Conflicts: 1306000 | #Constraints: 26640 2696.13/2703.38 c #Conflicts: 1307000 | #Constraints: 27640 2696.13/2703.38 c #Conflicts: 1308000 | #Constraints: 28640 2696.13/2703.38 c #Conflicts: 1309000 | #Constraints: 29641 2696.13/2703.38 c #Conflicts: 1310000 | #Constraints: 30642 2696.13/2703.38 c #Conflicts: 1311000 | #Constraints: 31642 2696.13/2703.38 c #Conflicts: 1312000 | #Constraints: 32643 2696.13/2703.38 c #Conflicts: 1313000 | #Constraints: 33643 2696.13/2703.38 c #Conflicts: 1314000 | #Constraints: 34643 2696.13/2703.38 c #Conflicts: 1315000 | #Constraints: 35643 2696.13/2703.38 c #Conflicts: 1316000 | #Constraints: 36643 2696.13/2703.38 c #Conflicts: 1317000 | #Constraints: 37643 2696.13/2703.38 c #Conflicts: 1318000 | #Constraints: 38643 2696.13/2703.38 c #Conflicts: 1319000 | #Constraints: 39643 2696.13/2703.38 c #Conflicts: 1320000 | #Constraints: 40643 2696.13/2703.38 c #Conflicts: 1321000 | #Constraints: 41643 2696.13/2703.38 c #Conflicts: 1322000 | #Constraints: 42644 2696.13/2703.38 c #Conflicts: 1323000 | #Constraints: 43644 2696.13/2703.38 c #Conflicts: 1324000 | #Constraints: 44644 2696.13/2703.38 c #Conflicts: 1325000 | #Constraints: 45644 2696.13/2703.38 c INPROCESSING 2696.13/2703.38 c GARBAGE COLLECT 2696.13/2703.38 c rational objective 0 2762.17/2769.55 c #Conflicts: 1326000 | #Constraints: 23840 2762.17/2769.55 c #Conflicts: 1327000 | #Constraints: 24840 2762.17/2769.55 c #Conflicts: 1328000 | #Constraints: 25840 2762.17/2769.55 c #Conflicts: 1329000 | #Constraints: 26840 2762.17/2769.55 c #Conflicts: 1330000 | #Constraints: 27840 2762.17/2769.55 c #Conflicts: 1331000 | #Constraints: 28840 2762.17/2769.55 c #Conflicts: 1332000 | #Constraints: 29840 2762.17/2769.55 c #Conflicts: 1333000 | #Constraints: 30840 2762.17/2769.55 c #Conflicts: 1334000 | #Constraints: 31840 2762.17/2769.55 c #Conflicts: 1335000 | #Constraints: 32840 2762.17/2769.55 c #Conflicts: 1336000 | #Constraints: 33840 2762.17/2769.55 c #Conflicts: 1337000 | #Constraints: 34840 2762.17/2769.55 c #Conflicts: 1338000 | #Constraints: 35840 2762.17/2769.55 c #Conflicts: 1339000 | #Constraints: 36840 2762.17/2769.55 c #Conflicts: 1340000 | #Constraints: 37840 2762.17/2769.55 c #Conflicts: 1341000 | #Constraints: 38841 2762.17/2769.55 c #Conflicts: 1342000 | #Constraints: 39841 2762.17/2769.55 c #Conflicts: 1343000 | #Constraints: 40841 2762.17/2769.55 c #Conflicts: 1344000 | #Constraints: 41842 2762.17/2769.55 c #Conflicts: 1345000 | #Constraints: 42842 2762.17/2769.55 c #Conflicts: 1346000 | #Constraints: 43842 2762.17/2769.55 c #Conflicts: 1347000 | #Constraints: 44842 2762.17/2769.55 c #Conflicts: 1348000 | #Constraints: 45842 2762.17/2769.55 c INPROCESSING 2762.17/2769.55 c GARBAGE COLLECT 2762.17/2769.55 c rational objective 0 2853.45/2861.01 c #Conflicts: 1349000 | #Constraints: 23837 2853.45/2861.01 c #Conflicts: 1350000 | #Constraints: 24837 2853.45/2861.01 c #Conflicts: 1351000 | #Constraints: 25837 2853.45/2861.01 c #Conflicts: 1352000 | #Constraints: 26837 2853.45/2861.01 c #Conflicts: 1353000 | #Constraints: 27837 2853.45/2861.01 c #Conflicts: 1354000 | #Constraints: 28837 2853.45/2861.01 c #Conflicts: 1355000 | #Constraints: 29837 2853.45/2861.01 c #Conflicts: 1356000 | #Constraints: 30837 2853.45/2861.01 c #Conflicts: 1357000 | #Constraints: 31837 2853.45/2861.01 c #Conflicts: 1358000 | #Constraints: 32837 2853.45/2861.01 c #Conflicts: 1359000 | #Constraints: 33838 2853.45/2861.01 c #Conflicts: 1360000 | #Constraints: 34838 2853.45/2861.01 c #Conflicts: 1361000 | #Constraints: 35838 2853.45/2861.01 c #Conflicts: 1362000 | #Constraints: 36838 2853.45/2861.01 c #Conflicts: 1363000 | #Constraints: 37838 2853.45/2861.01 c #Conflicts: 1364000 | #Constraints: 38838 2853.45/2861.01 c #Conflicts: 1365000 | #Constraints: 39839 2853.45/2861.01 c #Conflicts: 1366000 | #Constraints: 40840 2853.45/2861.01 c #Conflicts: 1367000 | #Constraints: 41840 2853.45/2861.01 c #Conflicts: 1368000 | #Constraints: 42840 2853.45/2861.01 c #Conflicts: 1369000 | #Constraints: 43840 2853.45/2861.01 c #Conflicts: 1370000 | #Constraints: 44840 2853.45/2861.01 c #Conflicts: 1371000 | #Constraints: 45840 2853.45/2861.01 c INPROCESSING 2853.45/2861.01 c GARBAGE COLLECT 2853.45/2861.01 c rational objective 0 2918.98/2926.72 c #Conflicts: 1372000 | #Constraints: 23638 2918.98/2926.72 c #Conflicts: 1373000 | #Constraints: 24638 2918.98/2926.72 c #Conflicts: 1374000 | #Constraints: 25638 2918.98/2926.72 c #Conflicts: 1375000 | #Constraints: 26638 2918.98/2926.72 c #Conflicts: 1376000 | #Constraints: 27638 2918.98/2926.72 c #Conflicts: 1377000 | #Constraints: 28638 2918.98/2926.72 c #Conflicts: 1378000 | #Constraints: 29638 2918.98/2926.72 c #Conflicts: 1379000 | #Constraints: 30638 2918.98/2926.72 c #Conflicts: 1380000 | #Constraints: 31639 2918.98/2926.72 c #Conflicts: 1381000 | #Constraints: 32639 2918.98/2926.72 c #Conflicts: 1382000 | #Constraints: 33639 2918.98/2926.72 c #Conflicts: 1383000 | #Constraints: 34639 2918.98/2926.72 c #Conflicts: 1384000 | #Constraints: 35639 2918.98/2926.72 c #Conflicts: 1385000 | #Constraints: 36639 2918.98/2926.72 c #Conflicts: 1386000 | #Constraints: 37639 2918.98/2926.72 c #Conflicts: 1387000 | #Constraints: 38640 2918.98/2926.72 c #Conflicts: 1388000 | #Constraints: 39640 2918.98/2926.72 c #Conflicts: 1389000 | #Constraints: 40641 2918.98/2926.72 c #Conflicts: 1390000 | #Constraints: 41641 2918.98/2926.72 c #Conflicts: 1391000 | #Constraints: 42641 2918.98/2926.72 c #Conflicts: 1392000 | #Constraints: 43641 2918.98/2926.72 c #Conflicts: 1393000 | #Constraints: 44641 2918.98/2926.72 c #Conflicts: 1394000 | #Constraints: 45641 2918.98/2926.72 c #Conflicts: 1395000 | #Constraints: 46641 2918.98/2926.72 c INPROCESSING 2918.98/2926.72 c GARBAGE COLLECT 2918.98/2926.72 c rational objective 0 3010.17/3018.12 c #Conflicts: 1396000 | #Constraints: 24237 3010.17/3018.12 c #Conflicts: 1397000 | #Constraints: 25237 3010.17/3018.12 c #Conflicts: 1398000 | #Constraints: 26237 3010.17/3018.12 c #Conflicts: 1399000 | #Constraints: 27237 3010.17/3018.12 c #Conflicts: 1400000 | #Constraints: 28237 3010.17/3018.12 c #Conflicts: 1401000 | #Constraints: 29237 3010.17/3018.12 c #Conflicts: 1402000 | #Constraints: 30237 3010.17/3018.12 c #Conflicts: 1403000 | #Constraints: 31237 3010.17/3018.12 c #Conflicts: 1404000 | #Constraints: 32237 3010.17/3018.12 c #Conflicts: 1405000 | #Constraints: 33237 3010.17/3018.12 c #Conflicts: 1406000 | #Constraints: 34237 3010.17/3018.12 c #Conflicts: 1407000 | #Constraints: 35237 3010.17/3018.12 c #Conflicts: 1408000 | #Constraints: 36237 3010.17/3018.12 c #Conflicts: 1409000 | #Constraints: 37237 3010.17/3018.12 c #Conflicts: 1410000 | #Constraints: 38237 3010.17/3018.12 c #Conflicts: 1411000 | #Constraints: 39237 3010.17/3018.12 c #Conflicts: 1412000 | #Constraints: 40237 3010.17/3018.12 c #Conflicts: 1413000 | #Constraints: 41237 3010.17/3018.12 c #Conflicts: 1414000 | #Constraints: 42237 3010.17/3018.12 c #Conflicts: 1415000 | #Constraints: 43237 3010.17/3018.12 c #Conflicts: 1416000 | #Constraints: 44237 3010.17/3018.12 c #Conflicts: 1417000 | #Constraints: 45237 3010.17/3018.12 c #Conflicts: 1418000 | #Constraints: 46237 3010.17/3018.12 c #Conflicts: 1419000 | #Constraints: 47237 3010.17/3018.12 c INPROCESSING 3010.17/3018.12 c GARBAGE COLLECT 3010.17/3018.12 c rational objective 0 3080.89/3089.02 c #Conflicts: 1420000 | #Constraints: 24638 3080.89/3089.02 c #Conflicts: 1421000 | #Constraints: 25638 3080.89/3089.02 c #Conflicts: 1422000 | #Constraints: 26638 3080.89/3089.02 c #Conflicts: 1423000 | #Constraints: 27638 3080.89/3089.02 c #Conflicts: 1424000 | #Constraints: 28638 3080.89/3089.02 c #Conflicts: 1425000 | #Constraints: 29638 3080.89/3089.02 c #Conflicts: 1426000 | #Constraints: 30638 3080.89/3089.02 c #Conflicts: 1427000 | #Constraints: 31638 3080.89/3089.02 c #Conflicts: 1428000 | #Constraints: 32638 3080.89/3089.02 c #Conflicts: 1429000 | #Constraints: 33639 3080.89/3089.02 c #Conflicts: 1430000 | #Constraints: 34639 3080.89/3089.02 c #Conflicts: 1431000 | #Constraints: 35639 3080.89/3089.02 c #Conflicts: 1432000 | #Constraints: 36639 3080.89/3089.02 c #Conflicts: 1433000 | #Constraints: 37639 3080.89/3089.02 c #Conflicts: 1434000 | #Constraints: 38639 3080.89/3089.02 c #Conflicts: 1435000 | #Constraints: 39641 3080.89/3089.02 c #Conflicts: 1436000 | #Constraints: 40641 3080.89/3089.02 c #Conflicts: 1437000 | #Constraints: 41641 3080.89/3089.02 c #Conflicts: 1438000 | #Constraints: 42641 3080.89/3089.02 c #Conflicts: 1439000 | #Constraints: 43641 3080.89/3089.02 c #Conflicts: 1440000 | #Constraints: 44641 3080.89/3089.02 c #Conflicts: 1441000 | #Constraints: 45641 3080.89/3089.02 c #Conflicts: 1442000 | #Constraints: 46641 3080.89/3089.02 c #Conflicts: 1443000 | #Constraints: 47641 3080.89/3089.02 c INPROCESSING 3080.89/3089.02 c GARBAGE COLLECT 3080.89/3089.02 c rational objective 0 3183.12/3191.56 c #Conflicts: 1444000 | #Constraints: 24842 3183.12/3191.56 c #Conflicts: 1445000 | #Constraints: 25842 3183.12/3191.56 c #Conflicts: 1446000 | #Constraints: 26842 3183.12/3191.56 c #Conflicts: 1447000 | #Constraints: 27842 3183.12/3191.56 c #Conflicts: 1448000 | #Constraints: 28842 3183.12/3191.56 c #Conflicts: 1449000 | #Constraints: 29843 3183.12/3191.56 c #Conflicts: 1450000 | #Constraints: 30843 3183.12/3191.56 c #Conflicts: 1451000 | #Constraints: 31843 3183.12/3191.56 c #Conflicts: 1452000 | #Constraints: 32843 3183.12/3191.56 c #Conflicts: 1453000 | #Constraints: 33843 3183.12/3191.56 c #Conflicts: 1454000 | #Constraints: 34843 3183.12/3191.56 c #Conflicts: 1455000 | #Constraints: 35844 3183.12/3191.56 c #Conflicts: 1456000 | #Constraints: 36844 3183.12/3191.56 c #Conflicts: 1457000 | #Constraints: 37844 3183.12/3191.56 c #Conflicts: 1458000 | #Constraints: 38844 3183.12/3191.56 c #Conflicts: 1459000 | #Constraints: 39845 3183.12/3191.56 c #Conflicts: 1460000 | #Constraints: 40845 3183.12/3191.56 c #Conflicts: 1461000 | #Constraints: 41845 3183.12/3191.56 c #Conflicts: 1462000 | #Constraints: 42845 3183.12/3191.56 c #Conflicts: 1463000 | #Constraints: 43845 3183.12/3191.56 c #Conflicts: 1464000 | #Constraints: 44845 3183.12/3191.56 c #Conflicts: 1465000 | #Constraints: 45846 3183.12/3191.56 c #Conflicts: 1466000 | #Constraints: 46846 3183.12/3191.56 c #Conflicts: 1467000 | #Constraints: 47846 3183.12/3191.56 c INPROCESSING 3183.12/3191.56 c GARBAGE COLLECT 3183.12/3191.56 c rational objective 0 3260.63/3269.22 c #Conflicts: 1468000 | #Constraints: 24845 3260.63/3269.22 c #Conflicts: 1469000 | #Constraints: 25845 3260.63/3269.22 c #Conflicts: 1470000 | #Constraints: 26846 3260.63/3269.22 c #Conflicts: 1471000 | #Constraints: 27846 3260.63/3269.22 c #Conflicts: 1472000 | #Constraints: 28846 3260.63/3269.22 c #Conflicts: 1473000 | #Constraints: 29847 3260.63/3269.22 c #Conflicts: 1474000 | #Constraints: 30848 3260.63/3269.22 c #Conflicts: 1475000 | #Constraints: 31849 3260.63/3269.22 c #Conflicts: 1476000 | #Constraints: 32849 3260.63/3269.22 c #Conflicts: 1477000 | #Constraints: 33849 3260.63/3269.22 c #Conflicts: 1478000 | #Constraints: 34849 3260.63/3269.22 c #Conflicts: 1479000 | #Constraints: 35849 3260.63/3269.22 c #Conflicts: 1480000 | #Constraints: 36849 3260.63/3269.22 c #Conflicts: 1481000 | #Constraints: 37849 3260.63/3269.22 c #Conflicts: 1482000 | #Constraints: 38849 3260.63/3269.22 c #Conflicts: 1483000 | #Constraints: 39850 3260.63/3269.22 c #Conflicts: 1484000 | #Constraints: 40850 3260.63/3269.22 c #Conflicts: 1485000 | #Constraints: 41850 3260.63/3269.22 c #Conflicts: 1486000 | #Constraints: 42850 3260.63/3269.22 c #Conflicts: 1487000 | #Constraints: 43851 3260.63/3269.22 c #Conflicts: 1488000 | #Constraints: 44851 3260.63/3269.22 c #Conflicts: 1489000 | #Constraints: 45851 3260.63/3269.22 c #Conflicts: 1490000 | #Constraints: 46851 3260.63/3269.22 c #Conflicts: 1491000 | #Constraints: 47851 3260.63/3269.22 c INPROCESSING 3260.63/3269.22 c GARBAGE COLLECT 3260.63/3269.22 c rational objective 0 3338.12/3346.97 c #Conflicts: 1492000 | #Constraints: 24640 3338.12/3346.97 c #Conflicts: 1493000 | #Constraints: 25640 3338.12/3346.97 c #Conflicts: 1494000 | #Constraints: 26640 3338.12/3346.97 c #Conflicts: 1495000 | #Constraints: 27640 3338.12/3346.97 c #Conflicts: 1496000 | #Constraints: 28640 3338.12/3346.97 c #Conflicts: 1497000 | #Constraints: 29640 3338.12/3346.97 c #Conflicts: 1498000 | #Constraints: 30640 3338.12/3346.97 c #Conflicts: 1499000 | #Constraints: 31642 3338.12/3346.97 c #Conflicts: 1500000 | #Constraints: 32642 3338.12/3346.97 c #Conflicts: 1501000 | #Constraints: 33642 3338.12/3346.97 c #Conflicts: 1502000 | #Constraints: 34642 3338.12/3346.97 c #Conflicts: 1503000 | #Constraints: 35642 3338.12/3346.97 c #Conflicts: 1504000 | #Constraints: 36642 3338.12/3346.97 c #Conflicts: 1505000 | #Constraints: 37642 3338.12/3346.97 c #Conflicts: 1506000 | #Constraints: 38642 3338.12/3346.97 c #Conflicts: 1507000 | #Constraints: 39642 3338.12/3346.97 c #Conflicts: 1508000 | #Constraints: 40642 3338.12/3346.97 c #Conflicts: 1509000 | #Constraints: 41643 3338.12/3346.97 c #Conflicts: 1510000 | #Constraints: 42643 3338.12/3346.97 c #Conflicts: 1511000 | #Constraints: 43643 3338.12/3346.97 c #Conflicts: 1512000 | #Constraints: 44643 3338.12/3346.97 c #Conflicts: 1513000 | #Constraints: 45643 3338.12/3346.97 c #Conflicts: 1514000 | #Constraints: 46643 3338.12/3346.97 c #Conflicts: 1515000 | #Constraints: 47643 3338.12/3346.97 c #Conflicts: 1516000 | #Constraints: 48643 3338.12/3346.97 c INPROCESSING 3338.12/3346.97 c GARBAGE COLLECT 3338.12/3346.97 c rational objective 0 3446.24/3455.33 c #Conflicts: 1517000 | #Constraints: 25238 3446.24/3455.33 c #Conflicts: 1518000 | #Constraints: 26238 3446.24/3455.33 c #Conflicts: 1519000 | #Constraints: 27238 3446.24/3455.33 c #Conflicts: 1520000 | #Constraints: 28238 3446.24/3455.33 c #Conflicts: 1521000 | #Constraints: 29238 3446.24/3455.33 c #Conflicts: 1522000 | #Constraints: 30239 3446.24/3455.33 c #Conflicts: 1523000 | #Constraints: 31239 3446.24/3455.33 c #Conflicts: 1524000 | #Constraints: 32240 3446.24/3455.33 c #Conflicts: 1525000 | #Constraints: 33240 3446.24/3455.33 c #Conflicts: 1526000 | #Constraints: 34240 3446.24/3455.33 c #Conflicts: 1527000 | #Constraints: 35240 3446.24/3455.33 c #Conflicts: 1528000 | #Constraints: 36240 3446.24/3455.33 c #Conflicts: 1529000 | #Constraints: 37240 3446.24/3455.33 c #Conflicts: 1530000 | #Constraints: 38240 3446.24/3455.33 c #Conflicts: 1531000 | #Constraints: 39240 3446.24/3455.33 c #Conflicts: 1532000 | #Constraints: 40240 3446.24/3455.33 c #Conflicts: 1533000 | #Constraints: 41240 3446.24/3455.33 c #Conflicts: 1534000 | #Constraints: 42241 3446.24/3455.33 c #Conflicts: 1535000 | #Constraints: 43241 3446.24/3455.33 c #Conflicts: 1536000 | #Constraints: 44241 3446.24/3455.33 c #Conflicts: 1537000 | #Constraints: 45241 3446.24/3455.33 c #Conflicts: 1538000 | #Constraints: 46241 3446.24/3455.33 c #Conflicts: 1539000 | #Constraints: 47241 3446.24/3455.33 c #Conflicts: 1540000 | #Constraints: 48241 3446.24/3455.33 c #Conflicts: 1541000 | #Constraints: 49241 3446.24/3455.33 c INPROCESSING 3446.24/3455.33 c GARBAGE COLLECT 3446.24/3455.33 c rational objective 0 3536.40/3545.75 c #Conflicts: 1542000 | #Constraints: 25638 3536.40/3545.75 c #Conflicts: 1543000 | #Constraints: 26638 3536.40/3545.75 c #Conflicts: 1544000 | #Constraints: 27638 3536.40/3545.75 c #Conflicts: 1545000 | #Constraints: 28638 3536.40/3545.75 c #Conflicts: 1546000 | #Constraints: 29638 3536.40/3545.75 c #Conflicts: 1547000 | #Constraints: 30638 3536.40/3545.75 c #Conflicts: 1548000 | #Constraints: 31638 3536.40/3545.75 c #Conflicts: 1549000 | #Constraints: 32638 3536.40/3545.75 c #Conflicts: 1550000 | #Constraints: 33638 3536.40/3545.75 c #Conflicts: 1551000 | #Constraints: 34639 3536.40/3545.75 c #Conflicts: 1552000 | #Constraints: 35639 3536.40/3545.75 c #Conflicts: 1553000 | #Constraints: 36639 3536.40/3545.75 c #Conflicts: 1554000 | #Constraints: 37639 3536.40/3545.75 c #Conflicts: 1555000 | #Constraints: 38639 3536.40/3545.75 c #Conflicts: 1556000 | #Constraints: 39639 3536.40/3545.75 c #Conflicts: 1557000 | #Constraints: 40639 3536.40/3545.75 c #Conflicts: 1558000 | #Constraints: 41639 3536.40/3545.75 c #Conflicts: 1559000 | #Constraints: 42639 3536.40/3545.75 c #Conflicts: 1560000 | #Constraints: 43639 3536.40/3545.75 c #Conflicts: 1561000 | #Constraints: 44639 3536.40/3545.75 c #Conflicts: 1562000 | #Constraints: 45639 3536.40/3545.75 c #Conflicts: 1563000 | #Constraints: 46639 3536.40/3545.75 c #Conflicts: 1564000 | #Constraints: 47639 3536.40/3545.75 c #Conflicts: 1565000 | #Constraints: 48640 3536.40/3545.75 c #Conflicts: 1566000 | #Constraints: 49640 3536.40/3545.75 c INPROCESSING 3536.40/3545.75 c GARBAGE COLLECT 3536.40/3545.75 c rational objective 0 3600.03/3609.50 c #Conflicts: 1567000 | #Constraints: 25838 3600.03/3609.50 c #Conflicts: 1568000 | #Constraints: 26838 3600.03/3609.50 c #Conflicts: 1569000 | #Constraints: 27838 3600.03/3609.50 c #Conflicts: 1570000 | #Constraints: 28838 3600.03/3609.50 c #Conflicts: 1571000 | #Constraints: 29838 3600.03/3609.50 c #Conflicts: 1572000 | #Constraints: 30838 3600.03/3609.50 c #Conflicts: 1573000 | #Constraints: 31838 3600.03/3609.50 c #Conflicts: 1574000 | #Constraints: 32839 3600.03/3609.50 c #Conflicts: 1575000 | #Constraints: 33839 3600.03/3609.50 c #Conflicts: 1576000 | #Constraints: 34839 3600.03/3609.50 c #Conflicts: 1577000 | #Constraints: 35839 3600.03/3609.50 c #Conflicts: 1578000 | #Constraints: 36839 3600.03/3609.50 c #Conflicts: 1579000 | #Constraints: 37839 3600.03/3609.50 c #Conflicts: 1580000 | #Constraints: 38839 3600.03/3609.50 c #Conflicts: 1581000 | #Constraints: 39839 3600.03/3609.50 c #Conflicts: 1582000 | #Constraints: 40839 3600.03/3609.50 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61287 MiB free)
memory of node 1: 64510 MiB (61975 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460216-1722064839/watcher-4460216-1722064839 -o /tmp/evaluation-result-4460216-1722064839/solver-4460216-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722064836-317064 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460216-1722064839 --lp-cut-gomory=0 HOME/instance-4460216-1722064839.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=317218, runsolver pid=317215
[startup+0.100603 s]*
/proc/loadavg: 0.15 0.11 0.09 5/256 317219
/proc/meminfo: memFree=126212596/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=38168 memory=8716 CPUtime=0.09 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 543 0 0 0 8 1 0 0 20 0 1 0 43012409 39084032 2179 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 9542 2179 1854 992 0 1400 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38168 KiB
Current children cumulated memory: 8716 KiB
[startup+0.205378 s]*
/proc/loadavg: 0.15 0.11 0.09 5/256 317219
/proc/meminfo: memFree=126203028/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=38444 memory=9260 CPUtime=0.19 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 683 0 0 0 18 1 0 0 20 0 1 0 43012409 39366656 2315 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 9611 2315 1854 992 0 1469 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38444 KiB
Current children cumulated memory: 9260 KiB
[startup+0.305329 s]*
/proc/loadavg: 0.15 0.11 0.09 5/256 317219
/proc/meminfo: memFree=126194932/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=38688 memory=9664 CPUtime=0.29 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 797 0 0 0 28 1 0 0 20 0 1 0 43012409 39616512 2416 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 9672 2416 1854 992 0 1530 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38688 KiB
Current children cumulated memory: 9664 KiB
[startup+0.700184 s]
/proc/loadavg: 0.15 0.11 0.09 5/256 317219
/proc/meminfo: memFree=126179192/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=38940 memory=10424 CPUtime=0.68 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 962 0 0 0 65 3 0 0 20 0 1 0 43012409 39874560 2606 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 9735 2606 1854 992 0 1593 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38940 KiB
Current children cumulated memory: 10424 KiB
[startup+1.5002 s]
/proc/loadavg: 0.15 0.11 0.09 5/256 317219
/proc/meminfo: memFree=126144644/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=39636 memory=11436 CPUtime=1.49 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 1196 0 0 0 142 7 0 0 20 0 1 0 43012409 40587264 2859 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 9909 2859 1854 992 0 1767 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 11436 KiB
[startup+3.10539 s]
/proc/loadavg: 0.45 0.17 0.11 6/260 317223
/proc/meminfo: memFree=126064216/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=40276 memory=14296 CPUtime=3.09 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 1411 0 0 0 294 15 0 0 20 0 1 0 43012409 41242624 3574 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 10069 3574 1854 992 0 1927 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40276 KiB
Current children cumulated memory: 14296 KiB
[startup+6.30018 s]
/proc/loadavg: 0.45 0.17 0.11 5/260 317225
/proc/meminfo: memFree=125988276/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=40760 memory=14712 CPUtime=6.27 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 1539 0 0 0 602 25 0 0 20 0 1 0 43012409 41738240 3678 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 10190 3678 1854 992 0 2048 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 14712 KiB
[startup+12.7002 s]
/proc/loadavg: 1.00 0.30 0.16 5/260 317225
/proc/meminfo: memFree=125768836/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=41272 memory=15212 CPUtime=12.66 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 1633 0 0 0 1221 45 0 0 20 0 1 0 43012409 42262528 3803 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 10318 3803 1854 992 0 2176 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41272 KiB
Current children cumulated memory: 15212 KiB
[startup+25.5002 s]
/proc/loadavg: 1.46 0.42 0.20 5/260 317228
/proc/meminfo: memFree=125435524/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=42648 memory=16904 CPUtime=25.42 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 2084 0 0 0 2466 76 0 0 20 0 1 0 43012409 43671552 4226 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 10662 4226 1854 992 0 2520 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42648 KiB
Current children cumulated memory: 16904 KiB
[startup+51.1054 s]
/proc/loadavg: 2.39 0.73 0.31 5/261 317233
/proc/meminfo: memFree=124966036/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=46360 memory=20268 CPUtime=50.96 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 2607 0 0 0 4968 128 0 0 20 0 1 0 43012409 47472640 5067 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 11590 5067 1854 992 0 3448 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 46360 KiB
Current children cumulated memory: 20268 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.29 0.53 5/261 317242
/proc/meminfo: memFree=124274236/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=49112 memory=22448 CPUtime=102.02 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 3283 0 0 0 9993 209 0 0 20 0 1 0 43012409 50290688 5612 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 12278 5612 1854 992 0 4136 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 49112 KiB
Current children cumulated memory: 22448 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.81 0.75 5/261 317252
/proc/meminfo: memFree=123274576/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=54568 memory=24276 CPUtime=161.86 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 3857 0 0 0 15897 289 0 0 20 0 1 0 43012409 55877632 6069 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 13642 6069 1854 992 0 5500 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 54568 KiB
Current children cumulated memory: 24276 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.22 0.96 5/261 317263
/proc/meminfo: memFree=122656168/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=54960 memory=27584 CPUtime=221.69 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 4261 0 0 0 21806 363 0 0 20 0 1 0 43012409 56279040 6896 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 13740 6896 1854 992 0 5598 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 54960 KiB
Current children cumulated memory: 27584 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.56 1.16 5/261 317274
/proc/meminfo: memFree=121921640/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=55072 memory=28008 CPUtime=281.49 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 4655 0 0 0 27717 432 0 0 20 0 1 0 43012409 56393728 7002 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 13768 7002 1854 992 0 5626 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 55072 KiB
Current children cumulated memory: 28008 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 2.84 1.35 5/259 317668
/proc/meminfo: memFree=121311776/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=55072 memory=28336 CPUtime=341.3 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 5035 0 0 0 33640 490 0 0 20 0 1 0 43012409 56393728 7084 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 13768 7084 1854 992 0 5626 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 55072 KiB
Current children cumulated memory: 28336 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.07 1.52 5/259 317679
/proc/meminfo: memFree=120539504/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=56480 memory=29748 CPUtime=401.1 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 5621 0 0 0 39559 551 0 0 20 0 1 0 43012409 57835520 7437 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 14120 7437 1854 992 0 5978 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 56480 KiB
Current children cumulated memory: 29748 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 3.29 1.69 5/261 317691
/proc/meminfo: memFree=119784224/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=58144 memory=31344 CPUtime=460.9 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 6210 0 0 0 45479 611 0 0 20 0 1 0 43012409 59539456 7836 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 14536 7836 1854 992 0 6394 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.04 5/261 319002
/proc/meminfo: memFree=103821260/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=85764 memory=51112 CPUtime=3213.85 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 13024 0 0 0 318975 2410 0 0 20 0 1 0 43012409 87822336 12778 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21441 12778 1854 992 0 13299 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 85764 KiB
Current children cumulated memory: 51112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.04 5/261 319012
/proc/meminfo: memFree=103283984/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=85768 memory=51120 CPUtime=3273.69 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 13183 0 0 0 324923 2446 0 0 20 0 1 0 43012409 87826432 12780 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21442 12780 1854 992 0 13300 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 85768 KiB
Current children cumulated memory: 51120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.04 5/258 319022
/proc/meminfo: memFree=102872340/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86092 memory=51120 CPUtime=3333.54 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 13220 0 0 0 330867 2487 0 0 20 0 1 0 43012409 88158208 12780 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21523 12780 1854 992 0 13381 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 86092 KiB
Current children cumulated memory: 51120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.04 5/257 319034
/proc/meminfo: memFree=102567744/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86280 memory=51508 CPUtime=3393.37 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 13455 0 0 0 336819 2518 0 0 20 0 1 0 43012409 88350720 12877 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21570 12877 1854 992 0 13428 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 86280 KiB
Current children cumulated memory: 51508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/257 319044
/proc/meminfo: memFree=102279592/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86540 memory=51772 CPUtime=3453.22 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 13677 0 0 0 342773 2549 0 0 20 0 1 0 43012409 88616960 12943 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21635 12943 1854 992 0 13493 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 86540 KiB
Current children cumulated memory: 51772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/257 319054
/proc/meminfo: memFree=101896852/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86540 memory=51772 CPUtime=3513.06 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 13695 0 0 0 348722 2584 0 0 20 0 1 0 43012409 88616960 12943 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21635 12943 1854 992 0 13493 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 86540 KiB
Current children cumulated memory: 51772 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/258 319066
/proc/meminfo: memFree=101556848/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86604 memory=51836 CPUtime=3572.9 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 13869 0 0 0 354676 2614 0 0 20 0 1 0 43012409 88682496 12959 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21651 12959 1854 992 0 13509 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 86604 KiB
Current children cumulated memory: 51836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 3.98 4.08 4.04 3/246 319124
/proc/meminfo: memFree=102537612/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86860 memory=51836 CPUtime=3600.03 cores=1,3
/proc/317218/stat : 317218 (roundingsat) R 317215 317218 317048 0 -1 4194304 13889 0 0 0 357375 2628 0 0 20 0 1 0 43012409 88944640 12959 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21715 12959 1854 992 0 13573 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 86860 KiB
Current children cumulated memory: 51836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 3.98 4.08 4.04 1/246 319124
/proc/meminfo: memFree=102527528/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86860 memory=51836 CPUtime=3600.03 cores=1,3
/proc/317218/stat : 317218 (roundingsat) D 317215 317218 317048 0 -1 4194304 13897 0 0 0 357375 2628 0 0 20 0 1 0 43012409 88944640 12959 134679101440 4194304 8254357 140733600634928 0 0 256 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21715 12959 1854 992 0 13573 0
??? kill 317218 sig 9
??? end of watcher thread
[startup+3614.15 s]
# the end of solver process 317218 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.76 s, system=26.2886 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 3.98 4.08 4.04 3/246 319124
/proc/meminfo: memFree=102537612/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86860 memory=51836 CPUtime=3600.03 cores=1,3
/proc/317218/stat : 317218 (roundingsat) D 317215 317218 317048 0 -1 4194304 13897 0 0 0 357375 2628 0 0 20 0 1 0 43012409 88944640 12959 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21715 12959 1854 992 0 13573 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 86860 KiB
Current children cumulated memory: 51836 KiB
[startup+3610.4 s]
/proc/loadavg: 3.98 4.08 4.04 2/246 319124
/proc/meminfo: memFree=102529280/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86860 memory=51836 CPUtime=3600.03 cores=1,3
/proc/317218/stat : 317218 (roundingsat) D 317215 317218 317048 0 -1 4194304 13897 0 0 0 357375 2628 0 0 20 0 1 0 43012409 88944640 12959 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21715 12959 1854 992 0 13573 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 86860 KiB
Current children cumulated memory: 51836 KiB
[startup+3611.2 s]
/proc/loadavg: 3.98 4.08 4.04 1/246 319124
/proc/meminfo: memFree=102527528/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86860 memory=51836 CPUtime=3600.03 cores=1,3
/proc/317218/stat : 317218 (roundingsat) D 317215 317218 317048 0 -1 4194304 13897 0 0 0 357375 2628 0 0 20 0 1 0 43012409 88944640 12959 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21715 12959 1854 992 0 13573 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 86860 KiB
Current children cumulated memory: 51836 KiB
[startup+3611.4 s]
/proc/loadavg: 3.98 4.08 4.04 1/246 319124
/proc/meminfo: memFree=102527528/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86860 memory=51836 CPUtime=3600.03 cores=1,3
/proc/317218/stat : 317218 (roundingsat) D 317215 317218 317048 0 -1 4194304 13897 0 0 0 357375 2628 0 0 20 0 1 0 43012409 88944640 12959 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21715 12959 1854 992 0 13573 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 86860 KiB
Current children cumulated memory: 51836 KiB
[startup+3611.5 s]
/proc/loadavg: 3.98 4.08 4.04 1/246 319124
/proc/meminfo: memFree=102527528/131524600 swapFree=131056028/131071996
[pid=317218] ppid=317215 vsize=86860 memory=51836 CPUtime=3600.03 cores=1,3
/proc/317218/stat : 317218 (roundingsat) D 317215 317218 317048 0 -1 4194304 13897 0 0 0 357375 2628 0 0 20 0 1 0 43012409 88944640 12959 134679101440 4194304 8254357 140733600634928 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13762560 140733600637787 140733600638049 140733600638049 140733600645065 0
/proc/317218/statm: 21715 12959 1854 992 0 13573 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 86860 KiB
Current children cumulated memory: 51836 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.15
CPU time (s): 3600.04
CPU user time (s): 3573.76
CPU system time (s): 26.2886
CPU usage (%): 99.6097
Max. virtual memory (cumulated for all children) (KiB): 86860
Max. memory (cumulated for all children) (KiB): 51836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.76
system time used= 26.2886
maximum resident set size= 52308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17932816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 347
involuntary context switches= 5176
# summary of solver processes directly reported to runsolver:
# pid: 317218
# total CPU time (s): 3600.04
# total CPU user time (s): 3573.76
# total CPU system time (s): 26.2886
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63159 second user time and 16.5888 second system time
The end
Begin job on nodeC016 at 2024-07-27 09:20:39 IDJOB=4460216 IDBENCH=147594 IDSOLVER=3086 FILE ID=nodeC016/4460216-1722064839 RUNJOBID= nodeC016-1722064836-317064 SLURM_JOB_ID= 8248086 Free space on /tmp= 890060 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-4460216-1722064839/watcher-4460216-1722064839 -o /tmp/evaluation-result-4460216-1722064839/solver-4460216-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722064836-317064 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460216-1722064839 --lp-cut-gomory=0 HOME/instance-4460216-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce RANDOM SEED=1994572972 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.468 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.455 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.992 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.027 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.490 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.448 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.889 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3624.799 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126222584 kB MemAvailable: 129447844 kB Buffers: 363136 kB Cached: 3543884 kB SwapCached: 284 kB Active: 2434220 kB Inactive: 1966284 kB Active(anon): 2396 kB Inactive(anon): 543336 kB Active(file): 2431824 kB Inactive(file): 1422948 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 119108 kB Writeback: 0 kB AnonPages: 492932 kB Mapped: 115124 kB Shmem: 52400 kB KReclaimable: 420268 kB Slab: 546388 kB SReclaimable: 420268 kB SUnreclaim: 126120 kB KernelStack: 4132 kB PageTables: 10176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 802336 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 256000 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: 373460 kB DirectMap2M: 42391552 kB DirectMap1G: 93323264 kB Free space on /tmp at the end= 890056 MiB End job on nodeC016 at 2024-07-27 10:20:53