| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 7 | 3600.01 | 3609.54 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8451009eff5aac10a49807ab684bf277 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 146 #constraints 12 0.00/0.00 c bounds - >= 0 @ 0.002214 0.00/0.00 c rational objective 0 0.78/0.81 c bounds 371 >= 0 @ 0.036598 0.78/0.81 c bounds 216 >= 0 @ 0.036743 0.78/0.81 c bounds 156 >= 0 @ 0.036745 0.78/0.81 c bounds 96 >= 0 @ 0.039953 0.78/0.81 c #Conflicts: 1000 | #Constraints: 1030 0.78/0.81 c #Conflicts: 2000 | #Constraints: 2036 0.78/0.81 c INPROCESSING 0.78/0.81 c GARBAGE COLLECT 0.78/0.81 c rational objective 0 1.48/1.55 c bounds 92 >= 0 @ 0.775995 1.48/1.55 c bounds 90 >= 0 @ 0.775995 1.48/1.55 c bounds 88 >= 0 @ 0.776723 1.48/1.55 c bounds 80 >= 0 @ 0.778153 1.48/1.55 c bounds 72 >= 0 @ 0.780241 1.48/1.55 c bounds 64 >= 0 @ 0.895387 1.48/1.55 c bounds 56 >= 0 @ 0.898183 1.48/1.55 c bounds 52 >= 0 @ 0.901217 1.48/1.55 c bounds 50 >= 0 @ 0.931973 1.48/1.55 c bounds 49 >= 0 @ 1.01807 1.48/1.55 c bounds 48 >= 0 @ 1.02914 1.48/1.55 c bounds 46 >= 0 @ 1.02969 1.48/1.55 c bounds 44 >= 0 @ 1.03059 1.48/1.55 c bounds 42 >= 0 @ 1.03117 1.48/1.55 c #Conflicts: 3000 | #Constraints: 2062 1.48/1.55 c bounds 40 >= 0 @ 1.15146 1.48/1.55 c #Conflicts: 4000 | #Constraints: 3071 1.48/1.55 c INPROCESSING 1.48/1.55 c GARBAGE COLLECT 1.48/1.55 c rational objective 0 2.18/2.24 c bounds 38 >= 0 @ 1.49253 2.18/2.24 c bounds 36 >= 0 @ 1.49346 2.18/2.24 c bounds 32 >= 0 @ 1.49466 2.18/2.24 c bounds 30 >= 0 @ 1.66508 2.18/2.24 c #Conflicts: 5000 | #Constraints: 2456 2.18/2.24 c #Conflicts: 6000 | #Constraints: 3466 2.18/2.24 c bounds 23 >= 0 @ 2.06936 2.18/2.24 c INPROCESSING 2.18/2.24 c GARBAGE COLLECT 2.18/2.24 c rational objective 0 2.87/2.99 c #Conflicts: 7000 | #Constraints: 2456 2.87/2.99 c #Conflicts: 8000 | #Constraints: 3463 2.87/2.99 c #Conflicts: 9000 | #Constraints: 4467 2.87/2.99 c INPROCESSING 2.87/2.99 c GARBAGE COLLECT 2.87/2.99 c rational objective 0 3.77/3.88 c bounds 19 >= 0 @ 2.85358 3.77/3.88 c bounds 15 >= 0 @ 2.85598 3.77/3.88 c #Conflicts: 10000 | #Constraints: 3157 3.77/3.88 c #Conflicts: 11000 | #Constraints: 4164 3.77/3.88 c #Conflicts: 12000 | #Constraints: 5171 3.77/3.88 c INPROCESSING 3.77/3.88 c GARBAGE COLLECT 3.77/3.88 c rational objective 0 4.67/4.75 c #Conflicts: 13000 | #Constraints: 3605 4.67/4.75 c #Conflicts: 14000 | #Constraints: 4607 4.67/4.75 c #Conflicts: 15000 | #Constraints: 5610 4.67/4.75 c INPROCESSING 4.67/4.75 c GARBAGE COLLECT 4.67/4.75 c rational objective 0 5.76/5.81 c #Conflicts: 16000 | #Constraints: 3821 5.76/5.81 c bounds 12 >= 0 @ 5.046 5.76/5.81 c #Conflicts: 17000 | #Constraints: 4825 5.76/5.81 c #Conflicts: 18000 | #Constraints: 5827 5.76/5.81 c INPROCESSING 5.76/5.81 c GARBAGE COLLECT 5.76/5.81 c rational objective 0 6.98/7.10 c bounds 10 >= 0 @ 5.53231 6.98/7.10 c #Conflicts: 19000 | #Constraints: 3835 6.98/7.10 c #Conflicts: 20000 | #Constraints: 4844 6.98/7.10 c #Conflicts: 21000 | #Constraints: 5849 6.98/7.10 c INPROCESSING 6.98/7.10 c GARBAGE COLLECT 6.98/7.10 c rational objective 0 8.26/8.34 c #Conflicts: 22000 | #Constraints: 3641 8.26/8.34 c #Conflicts: 23000 | #Constraints: 4644 8.26/8.34 c #Conflicts: 24000 | #Constraints: 5648 8.26/8.34 c #Conflicts: 25000 | #Constraints: 6649 8.26/8.34 c INPROCESSING 8.26/8.34 c GARBAGE COLLECT 8.26/8.34 c rational objective 0 9.66/9.76 c #Conflicts: 26000 | #Constraints: 4240 9.66/9.76 c #Conflicts: 27000 | #Constraints: 5241 9.66/9.76 c #Conflicts: 28000 | #Constraints: 6241 9.66/9.76 c #Conflicts: 29000 | #Constraints: 7244 9.66/9.76 c INPROCESSING 9.66/9.76 c GARBAGE COLLECT 9.66/9.76 c rational objective 0 11.55/11.66 c #Conflicts: 30000 | #Constraints: 4636 11.55/11.66 c #Conflicts: 31000 | #Constraints: 5642 11.55/11.66 c #Conflicts: 32000 | #Constraints: 6645 11.55/11.66 c #Conflicts: 33000 | #Constraints: 7649 11.55/11.66 c INPROCESSING 11.55/11.66 c GARBAGE COLLECT 11.55/11.66 c rational objective 0 13.15/13.24 c #Conflicts: 34000 | #Constraints: 4845 13.15/13.24 c #Conflicts: 35000 | #Constraints: 5851 13.15/13.24 c #Conflicts: 36000 | #Constraints: 6853 13.15/13.24 c #Conflicts: 37000 | #Constraints: 7856 13.15/13.24 c INPROCESSING 13.15/13.24 c GARBAGE COLLECT 13.15/13.24 c rational objective 0 15.34/15.49 c #Conflicts: 38000 | #Constraints: 4845 15.34/15.49 c #Conflicts: 39000 | #Constraints: 5845 15.34/15.49 c #Conflicts: 40000 | #Constraints: 6847 15.34/15.49 c #Conflicts: 41000 | #Constraints: 7848 15.34/15.49 c INPROCESSING 15.34/15.49 c GARBAGE COLLECT 15.34/15.49 c rational objective 0 17.54/17.61 c #Conflicts: 42000 | #Constraints: 4641 17.54/17.61 c #Conflicts: 43000 | #Constraints: 5643 17.54/17.61 c #Conflicts: 44000 | #Constraints: 6643 17.54/17.61 c #Conflicts: 45000 | #Constraints: 7645 17.54/17.61 c #Conflicts: 46000 | #Constraints: 8647 17.54/17.61 c INPROCESSING 17.54/17.61 c GARBAGE COLLECT 17.54/17.61 c rational objective 0 20.23/20.30 c #Conflicts: 47000 | #Constraints: 5240 20.23/20.30 c #Conflicts: 48000 | #Constraints: 6248 20.23/20.30 c #Conflicts: 49000 | #Constraints: 7251 20.23/20.30 c #Conflicts: 50000 | #Constraints: 8254 20.23/20.30 c #Conflicts: 51000 | #Constraints: 9255 20.23/20.30 c INPROCESSING 20.23/20.30 c GARBAGE COLLECT 20.23/20.30 c rational objective 0 22.43/22.54 c #Conflicts: 52000 | #Constraints: 5650 22.43/22.54 c #Conflicts: 53000 | #Constraints: 6651 22.43/22.54 c #Conflicts: 54000 | #Constraints: 7654 22.43/22.54 c #Conflicts: 55000 | #Constraints: 8654 22.43/22.54 c #Conflicts: 56000 | #Constraints: 9657 22.43/22.54 c INPROCESSING 22.43/22.54 c GARBAGE COLLECT 22.43/22.54 c rational objective 0 24.81/24.90 c #Conflicts: 57000 | #Constraints: 5844 24.81/24.90 c #Conflicts: 58000 | #Constraints: 6845 24.81/24.90 c #Conflicts: 59000 | #Constraints: 7845 24.81/24.90 c #Conflicts: 60000 | #Constraints: 8848 24.81/24.90 c #Conflicts: 61000 | #Constraints: 9848 24.81/24.90 c INPROCESSING 24.81/24.90 c GARBAGE COLLECT 24.81/24.90 c rational objective 0 28.31/28.40 c #Conflicts: 62000 | #Constraints: 5840 28.31/28.40 c #Conflicts: 63000 | #Constraints: 6841 28.31/28.40 c #Conflicts: 64000 | #Constraints: 7843 28.31/28.40 c #Conflicts: 65000 | #Constraints: 8847 28.31/28.40 c #Conflicts: 66000 | #Constraints: 9847 28.31/28.40 c INPROCESSING 28.31/28.40 c GARBAGE COLLECT 28.31/28.40 c rational objective 0 31.10/31.20 c #Conflicts: 67000 | #Constraints: 5646 31.10/31.20 c #Conflicts: 68000 | #Constraints: 6649 31.10/31.20 c #Conflicts: 69000 | #Constraints: 7650 31.10/31.20 c #Conflicts: 70000 | #Constraints: 8650 31.10/31.20 c #Conflicts: 71000 | #Constraints: 9650 31.10/31.20 c #Conflicts: 72000 | #Constraints: 10652 31.10/31.20 c INPROCESSING 31.10/31.20 c GARBAGE COLLECT 31.10/31.20 c rational objective 0 35.19/35.32 c #Conflicts: 73000 | #Constraints: 6237 35.19/35.32 c #Conflicts: 74000 | #Constraints: 7240 35.19/35.32 c #Conflicts: 75000 | #Constraints: 8241 35.19/35.32 c #Conflicts: 76000 | #Constraints: 9242 35.19/35.32 c #Conflicts: 77000 | #Constraints: 10243 35.19/35.32 c #Conflicts: 78000 | #Constraints: 11245 35.19/35.32 c INPROCESSING 35.19/35.32 c GARBAGE COLLECT 35.19/35.32 c rational objective 0 38.49/38.60 c #Conflicts: 79000 | #Constraints: 6642 38.49/38.60 c #Conflicts: 80000 | #Constraints: 7642 38.49/38.60 c #Conflicts: 81000 | #Constraints: 8642 38.49/38.60 c #Conflicts: 82000 | #Constraints: 9642 38.49/38.60 c #Conflicts: 83000 | #Constraints: 10642 38.49/38.60 c #Conflicts: 84000 | #Constraints: 11643 38.49/38.60 c INPROCESSING 38.49/38.60 c GARBAGE COLLECT 38.49/38.60 c rational objective 0 42.18/42.39 c #Conflicts: 85000 | #Constraints: 6837 42.18/42.39 c #Conflicts: 86000 | #Constraints: 7838 42.18/42.39 c #Conflicts: 87000 | #Constraints: 8839 42.18/42.39 c #Conflicts: 88000 | #Constraints: 9839 42.18/42.39 c #Conflicts: 89000 | #Constraints: 10839 42.18/42.39 c #Conflicts: 90000 | #Constraints: 11840 42.18/42.39 c INPROCESSING 42.18/42.39 c GARBAGE COLLECT 42.18/42.39 c rational objective 0 47.35/47.51 c #Conflicts: 91000 | #Constraints: 6830 47.35/47.51 c #Conflicts: 92000 | #Constraints: 7830 47.35/47.51 c #Conflicts: 93000 | #Constraints: 8831 47.35/47.51 c #Conflicts: 94000 | #Constraints: 9832 47.35/47.51 c #Conflicts: 95000 | #Constraints: 10832 47.35/47.51 c #Conflicts: 96000 | #Constraints: 11832 47.35/47.51 c INPROCESSING 47.35/47.51 c GARBAGE COLLECT 47.35/47.51 c rational objective 0 51.75/51.90 c #Conflicts: 97000 | #Constraints: 6635 51.75/51.90 c #Conflicts: 98000 | #Constraints: 7635 51.75/51.90 c #Conflicts: 99000 | #Constraints: 8635 51.75/51.90 c #Conflicts: 100000 | #Constraints: 9635 51.75/51.90 c #Conflicts: 101000 | #Constraints: 10635 51.75/51.90 c #Conflicts: 102000 | #Constraints: 11636 51.75/51.90 c #Conflicts: 103000 | #Constraints: 12638 51.75/51.90 c INPROCESSING 51.75/51.90 c GARBAGE COLLECT 51.75/51.90 c rational objective 0 57.33/57.52 c #Conflicts: 104000 | #Constraints: 7234 57.33/57.52 c #Conflicts: 105000 | #Constraints: 8234 57.33/57.52 c #Conflicts: 106000 | #Constraints: 9234 57.33/57.52 c #Conflicts: 107000 | #Constraints: 10234 57.33/57.52 c #Conflicts: 108000 | #Constraints: 11234 57.33/57.52 c #Conflicts: 109000 | #Constraints: 12235 57.33/57.52 c #Conflicts: 110000 | #Constraints: 13236 57.33/57.52 c INPROCESSING 57.33/57.52 c GARBAGE COLLECT 57.33/57.52 c rational objective 0 61.52/61.73 c #Conflicts: 111000 | #Constraints: 7637 61.52/61.73 c #Conflicts: 112000 | #Constraints: 8637 61.52/61.73 c #Conflicts: 113000 | #Constraints: 9638 61.52/61.73 c #Conflicts: 114000 | #Constraints: 10638 61.52/61.73 c #Conflicts: 115000 | #Constraints: 11638 61.52/61.73 c #Conflicts: 116000 | #Constraints: 12641 61.52/61.73 c #Conflicts: 117000 | #Constraints: 13641 61.52/61.73 c INPROCESSING 61.52/61.73 c GARBAGE COLLECT 61.52/61.73 c rational objective 0 67.70/67.97 c #Conflicts: 118000 | #Constraints: 7835 67.70/67.97 c #Conflicts: 119000 | #Constraints: 8836 67.70/67.97 c #Conflicts: 120000 | #Constraints: 9836 67.70/67.97 c #Conflicts: 121000 | #Constraints: 10837 67.70/67.97 c #Conflicts: 122000 | #Constraints: 11837 67.70/67.97 c #Conflicts: 123000 | #Constraints: 12837 67.70/67.97 c #Conflicts: 124000 | #Constraints: 13838 67.70/67.97 c INPROCESSING 67.70/67.97 c GARBAGE COLLECT 67.70/67.97 c rational objective 0 72.49/72.76 c #Conflicts: 125000 | #Constraints: 7837 72.49/72.76 c #Conflicts: 126000 | #Constraints: 8837 72.49/72.76 c #Conflicts: 127000 | #Constraints: 9837 72.49/72.76 c #Conflicts: 128000 | #Constraints: 10837 72.49/72.76 c #Conflicts: 129000 | #Constraints: 11837 72.49/72.76 c #Conflicts: 130000 | #Constraints: 12837 72.49/72.76 c #Conflicts: 131000 | #Constraints: 13837 72.49/72.76 c INPROCESSING 72.49/72.76 c GARBAGE COLLECT 72.49/72.76 c rational objective 0 77.79/78.03 c #Conflicts: 132000 | #Constraints: 7631 77.79/78.03 c #Conflicts: 133000 | #Constraints: 8632 77.79/78.03 c #Conflicts: 134000 | #Constraints: 9633 77.79/78.03 c #Conflicts: 135000 | #Constraints: 10634 77.79/78.03 c #Conflicts: 136000 | #Constraints: 11634 77.79/78.03 c #Conflicts: 137000 | #Constraints: 12635 77.79/78.03 c #Conflicts: 138000 | #Constraints: 13635 77.79/78.03 c #Conflicts: 139000 | #Constraints: 14635 77.79/78.03 c INPROCESSING 77.79/78.03 c GARBAGE COLLECT 77.79/78.03 c rational objective 0 84.96/85.27 c #Conflicts: 140000 | #Constraints: 8234 84.96/85.27 c #Conflicts: 141000 | #Constraints: 9234 84.96/85.27 c #Conflicts: 142000 | #Constraints: 10235 84.96/85.27 c #Conflicts: 143000 | #Constraints: 11235 84.96/85.27 c #Conflicts: 144000 | #Constraints: 12235 84.96/85.27 c #Conflicts: 145000 | #Constraints: 13236 84.96/85.27 c #Conflicts: 146000 | #Constraints: 14236 84.96/85.27 c #Conflicts: 147000 | #Constraints: 15238 84.96/85.27 c INPROCESSING 84.96/85.27 c GARBAGE COLLECT 84.96/85.27 c rational objective 0 90.55/90.88 c #Conflicts: 148000 | #Constraints: 8641 90.55/90.88 c #Conflicts: 149000 | #Constraints: 9641 90.55/90.88 c #Conflicts: 150000 | #Constraints: 10641 90.55/90.88 c #Conflicts: 151000 | #Constraints: 11641 90.55/90.88 c #Conflicts: 152000 | #Constraints: 12641 90.55/90.88 c #Conflicts: 153000 | #Constraints: 13643 90.55/90.88 c #Conflicts: 154000 | #Constraints: 14646 90.55/90.88 c #Conflicts: 155000 | #Constraints: 15646 90.55/90.88 c INPROCESSING 90.55/90.88 c GARBAGE COLLECT 90.55/90.88 c rational objective 0 98.74/99.01 c #Conflicts: 156000 | #Constraints: 8842 98.74/99.01 c #Conflicts: 157000 | #Constraints: 9842 98.74/99.01 c #Conflicts: 158000 | #Constraints: 10843 98.74/99.01 c #Conflicts: 159000 | #Constraints: 11843 98.74/99.01 c #Conflicts: 160000 | #Constraints: 12844 98.74/99.01 c #Conflicts: 161000 | #Constraints: 13845 98.74/99.01 c #Conflicts: 162000 | #Constraints: 14845 98.74/99.01 c #Conflicts: 163000 | #Constraints: 15845 98.74/99.01 c INPROCESSING 98.74/99.01 c GARBAGE COLLECT 98.74/99.01 c rational objective 0 105.60/105.96 c #Conflicts: 164000 | #Constraints: 8842 105.60/105.96 c #Conflicts: 165000 | #Constraints: 9844 105.60/105.96 c #Conflicts: 166000 | #Constraints: 10844 105.60/105.96 c #Conflicts: 167000 | #Constraints: 11844 105.60/105.96 c #Conflicts: 168000 | #Constraints: 12844 105.60/105.96 c #Conflicts: 169000 | #Constraints: 13845 105.60/105.96 c #Conflicts: 170000 | #Constraints: 14846 105.60/105.96 c #Conflicts: 171000 | #Constraints: 15848 105.60/105.96 c INPROCESSING 105.60/105.96 c GARBAGE COLLECT 105.60/105.96 c rational objective 0 111.88/112.23 c #Conflicts: 172000 | #Constraints: 8641 111.88/112.23 c #Conflicts: 173000 | #Constraints: 9643 111.88/112.23 c #Conflicts: 174000 | #Constraints: 10644 111.88/112.23 c #Conflicts: 175000 | #Constraints: 11646 111.88/112.23 c #Conflicts: 176000 | #Constraints: 12646 111.88/112.23 c #Conflicts: 177000 | #Constraints: 13647 111.88/112.23 c #Conflicts: 178000 | #Constraints: 14647 111.88/112.23 c #Conflicts: 179000 | #Constraints: 15647 111.88/112.23 c #Conflicts: 180000 | #Constraints: 16648 111.88/112.23 c INPROCESSING 111.88/112.23 c GARBAGE COLLECT 111.88/112.23 c rational objective 0 121.16/121.57 c #Conflicts: 181000 | #Constraints: 9236 121.16/121.57 c #Conflicts: 182000 | #Constraints: 10237 121.16/121.57 c #Conflicts: 183000 | #Constraints: 11239 121.16/121.57 c #Conflicts: 184000 | #Constraints: 12239 121.16/121.57 c #Conflicts: 185000 | #Constraints: 13239 121.16/121.57 c #Conflicts: 186000 | #Constraints: 14239 121.16/121.57 c #Conflicts: 187000 | #Constraints: 15240 121.16/121.57 c #Conflicts: 188000 | #Constraints: 16240 121.16/121.57 c #Conflicts: 189000 | #Constraints: 17240 121.16/121.57 c INPROCESSING 121.16/121.57 c GARBAGE COLLECT 121.16/121.57 c rational objective 0 129.45/129.86 c #Conflicts: 190000 | #Constraints: 9642 129.45/129.86 c #Conflicts: 191000 | #Constraints: 10645 129.45/129.86 c #Conflicts: 192000 | #Constraints: 11645 129.45/129.86 c #Conflicts: 193000 | #Constraints: 12645 129.45/129.86 c #Conflicts: 194000 | #Constraints: 13645 129.45/129.86 c #Conflicts: 195000 | #Constraints: 14645 129.45/129.86 c #Conflicts: 196000 | #Constraints: 15646 129.45/129.86 c #Conflicts: 197000 | #Constraints: 16647 129.45/129.86 c #Conflicts: 198000 | #Constraints: 17647 129.45/129.86 c INPROCESSING 129.45/129.86 c GARBAGE COLLECT 129.45/129.86 c rational objective 0 140.21/140.60 c #Conflicts: 199000 | #Constraints: 9838 140.21/140.60 c #Conflicts: 200000 | #Constraints: 10839 140.21/140.60 c #Conflicts: 201000 | #Constraints: 11840 140.21/140.60 c #Conflicts: 202000 | #Constraints: 12840 140.21/140.60 c #Conflicts: 203000 | #Constraints: 13842 140.21/140.60 c #Conflicts: 204000 | #Constraints: 14843 140.21/140.60 c #Conflicts: 205000 | #Constraints: 15844 140.21/140.60 c #Conflicts: 206000 | #Constraints: 16844 140.21/140.60 c #Conflicts: 207000 | #Constraints: 17845 140.21/140.60 c INPROCESSING 140.21/140.60 c GARBAGE COLLECT 140.21/140.60 c rational objective 0 149.79/150.26 c #Conflicts: 208000 | #Constraints: 9838 149.79/150.26 c #Conflicts: 209000 | #Constraints: 10838 149.79/150.26 c #Conflicts: 210000 | #Constraints: 11838 149.79/150.26 c #Conflicts: 211000 | #Constraints: 12838 149.79/150.26 c #Conflicts: 212000 | #Constraints: 13838 149.79/150.26 c #Conflicts: 213000 | #Constraints: 14838 149.79/150.26 c #Conflicts: 214000 | #Constraints: 15838 149.79/150.26 c #Conflicts: 215000 | #Constraints: 16838 149.79/150.26 c #Conflicts: 216000 | #Constraints: 17838 149.79/150.26 c INPROCESSING 149.79/150.26 c GARBAGE COLLECT 149.79/150.26 c rational objective 0 161.57/162.10 c #Conflicts: 217000 | #Constraints: 9635 161.57/162.10 c #Conflicts: 218000 | #Constraints: 10636 161.57/162.10 c #Conflicts: 219000 | #Constraints: 11636 161.57/162.10 c #Conflicts: 220000 | #Constraints: 12636 161.57/162.10 c #Conflicts: 221000 | #Constraints: 13636 161.57/162.10 c #Conflicts: 222000 | #Constraints: 14636 161.57/162.10 c #Conflicts: 223000 | #Constraints: 15637 161.57/162.10 c #Conflicts: 224000 | #Constraints: 16637 161.57/162.10 c #Conflicts: 225000 | #Constraints: 17637 161.57/162.10 c #Conflicts: 226000 | #Constraints: 18637 161.57/162.10 c INPROCESSING 161.57/162.10 c GARBAGE COLLECT 161.57/162.10 c rational objective 0 170.73/171.29 c #Conflicts: 227000 | #Constraints: 10236 170.73/171.29 c #Conflicts: 228000 | #Constraints: 11236 170.73/171.29 c #Conflicts: 229000 | #Constraints: 12236 170.73/171.29 c #Conflicts: 230000 | #Constraints: 13236 170.73/171.29 c #Conflicts: 231000 | #Constraints: 14236 170.73/171.29 c #Conflicts: 232000 | #Constraints: 15236 170.73/171.29 c #Conflicts: 233000 | #Constraints: 16237 170.73/171.29 c #Conflicts: 234000 | #Constraints: 17238 170.73/171.29 c #Conflicts: 235000 | #Constraints: 18241 170.73/171.29 c #Conflicts: 236000 | #Constraints: 19241 170.73/171.29 c INPROCESSING 170.73/171.29 c GARBAGE COLLECT 170.73/171.29 c rational objective 0 179.90/180.49 c #Conflicts: 237000 | #Constraints: 10636 179.90/180.49 c #Conflicts: 238000 | #Constraints: 11636 179.90/180.49 c #Conflicts: 239000 | #Constraints: 12636 179.90/180.49 c #Conflicts: 240000 | #Constraints: 13636 179.90/180.49 c #Conflicts: 241000 | #Constraints: 14637 179.90/180.49 c #Conflicts: 242000 | #Constraints: 15637 179.90/180.49 c #Conflicts: 243000 | #Constraints: 16637 179.90/180.49 c #Conflicts: 244000 | #Constraints: 17638 179.90/180.49 c #Conflicts: 245000 | #Constraints: 18638 179.90/180.49 c #Conflicts: 246000 | #Constraints: 19640 179.90/180.49 c INPROCESSING 179.90/180.49 c GARBAGE COLLECT 179.90/180.49 c rational objective 0 193.37/193.93 c #Conflicts: 247000 | #Constraints: 10835 193.37/193.93 c #Conflicts: 248000 | #Constraints: 11835 193.37/193.93 c #Conflicts: 249000 | #Constraints: 12837 193.37/193.93 c #Conflicts: 250000 | #Constraints: 13837 193.37/193.93 c #Conflicts: 251000 | #Constraints: 14837 193.37/193.93 c #Conflicts: 252000 | #Constraints: 15838 193.37/193.93 c #Conflicts: 253000 | #Constraints: 16838 193.37/193.93 c #Conflicts: 254000 | #Constraints: 17839 193.37/193.93 c #Conflicts: 255000 | #Constraints: 18839 193.37/193.93 c #Conflicts: 256000 | #Constraints: 19839 193.37/193.93 c INPROCESSING 193.37/193.93 c GARBAGE COLLECT 193.37/193.93 c rational objective 0 203.24/203.83 c #Conflicts: 257000 | #Constraints: 10839 203.24/203.83 c #Conflicts: 258000 | #Constraints: 11839 203.24/203.83 c #Conflicts: 259000 | #Constraints: 12839 203.24/203.83 c #Conflicts: 260000 | #Constraints: 13840 203.24/203.83 c #Conflicts: 261000 | #Constraints: 14841 203.24/203.83 c #Conflicts: 262000 | #Constraints: 15842 203.24/203.83 c #Conflicts: 263000 | #Constraints: 16842 203.24/203.83 c #Conflicts: 264000 | #Constraints: 17842 203.24/203.83 c #Conflicts: 265000 | #Constraints: 18842 203.24/203.83 c #Conflicts: 266000 | #Constraints: 19842 203.24/203.83 c INPROCESSING 203.24/203.83 c GARBAGE COLLECT 203.24/203.83 c rational objective 0 218.21/218.80 c #Conflicts: 267000 | #Constraints: 10636 218.21/218.80 c #Conflicts: 268000 | #Constraints: 11637 218.21/218.80 c #Conflicts: 269000 | #Constraints: 12638 218.21/218.80 c #Conflicts: 270000 | #Constraints: 13638 218.21/218.80 c #Conflicts: 271000 | #Constraints: 14638 218.21/218.80 c #Conflicts: 272000 | #Constraints: 15638 218.21/218.80 c #Conflicts: 273000 | #Constraints: 16638 218.21/218.80 c #Conflicts: 274000 | #Constraints: 17638 218.21/218.80 c #Conflicts: 275000 | #Constraints: 18638 218.21/218.80 c #Conflicts: 276000 | #Constraints: 19639 218.21/218.80 c #Conflicts: 277000 | #Constraints: 20639 218.21/218.80 c INPROCESSING 218.21/218.80 c GARBAGE COLLECT 218.21/218.80 c rational objective 0 229.28/229.90 c #Conflicts: 278000 | #Constraints: 11238 229.28/229.90 c #Conflicts: 279000 | #Constraints: 12238 229.28/229.90 c #Conflicts: 280000 | #Constraints: 13238 229.28/229.90 c #Conflicts: 281000 | #Constraints: 14238 229.28/229.90 c #Conflicts: 282000 | #Constraints: 15239 229.28/229.90 c #Conflicts: 283000 | #Constraints: 16239 229.28/229.90 c #Conflicts: 284000 | #Constraints: 17239 229.28/229.90 c #Conflicts: 285000 | #Constraints: 18239 229.28/229.90 c #Conflicts: 286000 | #Constraints: 19239 229.28/229.90 c #Conflicts: 287000 | #Constraints: 20239 229.28/229.90 c #Conflicts: 288000 | #Constraints: 21239 229.28/229.90 c INPROCESSING 229.28/229.90 c GARBAGE COLLECT 229.28/229.90 c rational objective 0 240.74/241.44 c #Conflicts: 289000 | #Constraints: 11635 240.74/241.44 c #Conflicts: 290000 | #Constraints: 12635 240.74/241.44 c #Conflicts: 291000 | #Constraints: 13636 240.74/241.44 c #Conflicts: 292000 | #Constraints: 14637 240.74/241.44 c #Conflicts: 293000 | #Constraints: 15637 240.74/241.44 c #Conflicts: 294000 | #Constraints: 16637 240.74/241.44 c #Conflicts: 295000 | #Constraints: 17637 240.74/241.44 c #Conflicts: 296000 | #Constraints: 18639 240.74/241.44 c #Conflicts: 297000 | #Constraints: 19639 240.74/241.44 c #Conflicts: 298000 | #Constraints: 20639 240.74/241.44 c #Conflicts: 299000 | #Constraints: 21639 240.74/241.44 c INPROCESSING 240.74/241.44 c GARBAGE COLLECT 240.74/241.44 c rational objective 0 258.69/259.45 c #Conflicts: 300000 | #Constraints: 11834 258.69/259.45 c #Conflicts: 301000 | #Constraints: 12834 258.69/259.45 c #Conflicts: 302000 | #Constraints: 13834 258.69/259.45 c #Conflicts: 303000 | #Constraints: 14835 258.69/259.45 c #Conflicts: 304000 | #Constraints: 15837 258.69/259.45 c #Conflicts: 305000 | #Constraints: 16838 258.69/259.45 c #Conflicts: 306000 | #Constraints: 17838 258.69/259.45 c #Conflicts: 307000 | #Constraints: 18839 258.69/259.45 c #Conflicts: 308000 | #Constraints: 19840 258.69/259.45 c #Conflicts: 309000 | #Constraints: 20841 258.69/259.45 c #Conflicts: 310000 | #Constraints: 21841 258.69/259.45 c INPROCESSING 258.69/259.45 c GARBAGE COLLECT 258.69/259.45 c rational objective 0 274.03/274.80 c #Conflicts: 311000 | #Constraints: 11835 274.03/274.80 c #Conflicts: 312000 | #Constraints: 12835 274.03/274.80 c #Conflicts: 313000 | #Constraints: 13836 274.03/274.80 c #Conflicts: 314000 | #Constraints: 14836 274.03/274.80 c #Conflicts: 315000 | #Constraints: 15837 274.03/274.80 c #Conflicts: 316000 | #Constraints: 16837 274.03/274.80 c #Conflicts: 317000 | #Constraints: 17837 274.03/274.80 c #Conflicts: 318000 | #Constraints: 18837 274.03/274.80 c #Conflicts: 319000 | #Constraints: 19837 274.03/274.80 c #Conflicts: 320000 | #Constraints: 20838 274.03/274.80 c #Conflicts: 321000 | #Constraints: 21838 274.03/274.80 c INPROCESSING 274.03/274.80 c GARBAGE COLLECT 274.03/274.80 c rational objective 0 293.07/293.90 c #Conflicts: 322000 | #Constraints: 11635 293.07/293.90 c #Conflicts: 323000 | #Constraints: 12636 293.07/293.90 c #Conflicts: 324000 | #Constraints: 13636 293.07/293.90 c #Conflicts: 325000 | #Constraints: 14636 293.07/293.90 c #Conflicts: 326000 | #Constraints: 15636 293.07/293.90 c #Conflicts: 327000 | #Constraints: 16636 293.07/293.90 c #Conflicts: 328000 | #Constraints: 17636 293.07/293.90 c #Conflicts: 329000 | #Constraints: 18636 293.07/293.90 c #Conflicts: 330000 | #Constraints: 19636 293.07/293.90 c #Conflicts: 331000 | #Constraints: 20636 293.07/293.90 c #Conflicts: 332000 | #Constraints: 21636 293.07/293.90 c #Conflicts: 333000 | #Constraints: 22636 293.07/293.90 c INPROCESSING 293.07/293.90 c GARBAGE COLLECT 293.07/293.90 c rational objective 0 306.63/307.56 c #Conflicts: 334000 | #Constraints: 12237 306.63/307.56 c #Conflicts: 335000 | #Constraints: 13238 306.63/307.56 c #Conflicts: 336000 | #Constraints: 14239 306.63/307.56 c #Conflicts: 337000 | #Constraints: 15239 306.63/307.56 c #Conflicts: 338000 | #Constraints: 16239 306.63/307.56 c #Conflicts: 339000 | #Constraints: 17240 306.63/307.56 c #Conflicts: 340000 | #Constraints: 18240 306.63/307.56 c #Conflicts: 341000 | #Constraints: 19240 306.63/307.56 c #Conflicts: 342000 | #Constraints: 20243 306.63/307.56 c #Conflicts: 343000 | #Constraints: 21243 306.63/307.56 c #Conflicts: 344000 | #Constraints: 22243 306.63/307.56 c #Conflicts: 345000 | #Constraints: 23243 306.63/307.56 c INPROCESSING 306.63/307.56 c GARBAGE COLLECT 306.63/307.56 c rational objective 0 320.50/321.48 c #Conflicts: 346000 | #Constraints: 12635 320.50/321.48 c #Conflicts: 347000 | #Constraints: 13635 320.50/321.48 c #Conflicts: 348000 | #Constraints: 14636 320.50/321.48 c #Conflicts: 349000 | #Constraints: 15636 320.50/321.48 c #Conflicts: 350000 | #Constraints: 16636 320.50/321.48 c #Conflicts: 351000 | #Constraints: 17637 320.50/321.48 c #Conflicts: 352000 | #Constraints: 18637 320.50/321.48 c #Conflicts: 353000 | #Constraints: 19637 320.50/321.48 c #Conflicts: 354000 | #Constraints: 20638 320.50/321.48 c #Conflicts: 355000 | #Constraints: 21638 320.50/321.48 c #Conflicts: 356000 | #Constraints: 22638 320.50/321.48 c #Conflicts: 357000 | #Constraints: 23639 320.50/321.48 c INPROCESSING 320.50/321.48 c GARBAGE COLLECT 320.50/321.48 c rational objective 0 339.54/340.56 c #Conflicts: 358000 | #Constraints: 12836 339.54/340.56 c #Conflicts: 359000 | #Constraints: 13836 339.54/340.56 c bounds 9 >= 0 @ 319.699 339.54/340.56 c bounds 7 >= 0 @ 319.703 339.54/340.56 c #Conflicts: 360000 | #Constraints: 14838 339.54/340.56 c #Conflicts: 361000 | #Constraints: 15838 339.54/340.56 c #Conflicts: 362000 | #Constraints: 16839 339.54/340.56 c #Conflicts: 363000 | #Constraints: 17841 339.54/340.56 c #Conflicts: 364000 | #Constraints: 18841 339.54/340.56 c #Conflicts: 365000 | #Constraints: 19841 339.54/340.56 c #Conflicts: 366000 | #Constraints: 20842 339.54/340.56 c #Conflicts: 367000 | #Constraints: 21842 339.54/340.56 c #Conflicts: 368000 | #Constraints: 22842 339.54/340.56 c #Conflicts: 369000 | #Constraints: 23842 339.54/340.56 c INPROCESSING 339.54/340.56 c GARBAGE COLLECT 339.54/340.56 c rational objective 0 355.50/356.58 c #Conflicts: 370000 | #Constraints: 12836 355.50/356.58 c #Conflicts: 371000 | #Constraints: 13836 355.50/356.58 c #Conflicts: 372000 | #Constraints: 14836 355.50/356.58 c #Conflicts: 373000 | #Constraints: 15836 355.50/356.58 c #Conflicts: 374000 | #Constraints: 16836 355.50/356.58 c #Conflicts: 375000 | #Constraints: 17836 355.50/356.58 c #Conflicts: 376000 | #Constraints: 18836 355.50/356.58 c #Conflicts: 377000 | #Constraints: 19836 355.50/356.58 c #Conflicts: 378000 | #Constraints: 20836 355.50/356.58 c #Conflicts: 379000 | #Constraints: 21836 355.50/356.58 c #Conflicts: 380000 | #Constraints: 22836 355.50/356.58 c #Conflicts: 381000 | #Constraints: 23837 355.50/356.58 c INPROCESSING 355.50/356.58 c GARBAGE COLLECT 355.50/356.58 c rational objective 0 376.54/377.63 c #Conflicts: 382000 | #Constraints: 12633 376.54/377.63 c #Conflicts: 383000 | #Constraints: 13634 376.54/377.63 c #Conflicts: 384000 | #Constraints: 14635 376.54/377.63 c #Conflicts: 385000 | #Constraints: 15636 376.54/377.63 c #Conflicts: 386000 | #Constraints: 16637 376.54/377.63 c #Conflicts: 387000 | #Constraints: 17637 376.54/377.63 c #Conflicts: 388000 | #Constraints: 18638 376.54/377.63 c #Conflicts: 389000 | #Constraints: 19638 376.54/377.63 c #Conflicts: 390000 | #Constraints: 20640 376.54/377.63 c #Conflicts: 391000 | #Constraints: 21642 376.54/377.63 c #Conflicts: 392000 | #Constraints: 22642 376.54/377.63 c #Conflicts: 393000 | #Constraints: 23642 376.54/377.63 c #Conflicts: 394000 | #Constraints: 24643 376.54/377.63 c INPROCESSING 376.54/377.63 c GARBAGE COLLECT 376.54/377.63 c rational objective 0 393.20/394.30 c #Conflicts: 395000 | #Constraints: 13240 393.20/394.30 c #Conflicts: 396000 | #Constraints: 14240 393.20/394.30 c #Conflicts: 397000 | #Constraints: 15240 393.20/394.30 c #Conflicts: 398000 | #Constraints: 16240 393.20/394.30 c #Conflicts: 399000 | #Constraints: 17240 393.20/394.30 c #Conflicts: 400000 | #Constraints: 18240 393.20/394.30 c #Conflicts: 401000 | #Constraints: 19240 393.20/394.30 c #Conflicts: 402000 | #Constraints: 20240 393.20/394.30 c #Conflicts: 403000 | #Constraints: 21240 393.20/394.30 c #Conflicts: 404000 | #Constraints: 22240 393.20/394.30 c #Conflicts: 405000 | #Constraints: 23240 393.20/394.30 c #Conflicts: 406000 | #Constraints: 24240 393.20/394.30 c #Conflicts: 407000 | #Constraints: 25240 393.20/394.30 c INPROCESSING 393.20/394.30 c GARBAGE COLLECT 393.20/394.30 c rational objective 0 415.55/416.76 c #Conflicts: 408000 | #Constraints: 13634 415.55/416.76 c #Conflicts: 409000 | #Constraints: 14634 415.55/416.76 c #Conflicts: 410000 | #Constraints: 15634 415.55/416.76 c #Conflicts: 411000 | #Constraints: 16635 415.55/416.76 c #Conflicts: 412000 | #Constraints: 17635 415.55/416.76 c #Conflicts: 413000 | #Constraints: 18635 415.55/416.76 c #Conflicts: 414000 | #Constraints: 19635 415.55/416.76 c #Conflicts: 415000 | #Constraints: 20635 415.55/416.76 c #Conflicts: 416000 | #Constraints: 21635 415.55/416.76 c #Conflicts: 417000 | #Constraints: 22636 415.55/416.76 c #Conflicts: 418000 | #Constraints: 23638 415.55/416.76 c #Conflicts: 419000 | #Constraints: 24638 415.55/416.76 c #Conflicts: 420000 | #Constraints: 25640 415.55/416.76 c INPROCESSING 415.55/416.76 c GARBAGE COLLECT 415.55/416.76 c rational objective 0 435.39/436.70 c #Conflicts: 421000 | #Constraints: 13839 435.39/436.70 c #Conflicts: 422000 | #Constraints: 14839 435.39/436.70 c #Conflicts: 423000 | #Constraints: 15839 435.39/436.70 c #Conflicts: 424000 | #Constraints: 16841 435.39/436.70 c #Conflicts: 425000 | #Constraints: 17841 435.39/436.70 c #Conflicts: 426000 | #Constraints: 18841 435.39/436.70 c #Conflicts: 427000 | #Constraints: 19841 435.39/436.70 c #Conflicts: 428000 | #Constraints: 20841 435.39/436.70 c #Conflicts: 429000 | #Constraints: 21841 435.39/436.70 c #Conflicts: 430000 | #Constraints: 22842 435.39/436.70 c #Conflicts: 431000 | #Constraints: 23843 435.39/436.70 c #Conflicts: 432000 | #Constraints: 24843 435.39/436.70 c #Conflicts: 433000 | #Constraints: 25843 435.39/436.70 c INPROCESSING 435.39/436.70 c GARBAGE COLLECT 435.39/436.70 c rational objective 0 458.13/459.49 c #Conflicts: 434000 | #Constraints: 13838 458.13/459.49 c #Conflicts: 435000 | #Constraints: 14838 458.13/459.49 c #Conflicts: 436000 | #Constraints: 15838 458.13/459.49 c #Conflicts: 437000 | #Constraints: 16839 458.13/459.49 c #Conflicts: 438000 | #Constraints: 17839 458.13/459.49 c #Conflicts: 439000 | #Constraints: 18839 458.13/459.49 c #Conflicts: 440000 | #Constraints: 19839 458.13/459.49 c #Conflicts: 441000 | #Constraints: 20839 458.13/459.49 c #Conflicts: 442000 | #Constraints: 21840 458.13/459.49 c #Conflicts: 443000 | #Constraints: 22842 458.13/459.49 c #Conflicts: 444000 | #Constraints: 23843 458.13/459.49 c #Conflicts: 445000 | #Constraints: 24843 458.13/459.49 c #Conflicts: 446000 | #Constraints: 25843 458.13/459.49 c INPROCESSING 458.13/459.49 c GARBAGE COLLECT 458.13/459.49 c rational objective 0 480.18/481.57 c #Conflicts: 447000 | #Constraints: 13641 480.18/481.57 c #Conflicts: 448000 | #Constraints: 14641 480.18/481.57 c #Conflicts: 449000 | #Constraints: 15641 480.18/481.57 c #Conflicts: 450000 | #Constraints: 16641 480.18/481.57 c #Conflicts: 451000 | #Constraints: 17642 480.18/481.57 c #Conflicts: 452000 | #Constraints: 18642 480.18/481.57 c #Conflicts: 453000 | #Constraints: 19642 480.18/481.57 c #Conflicts: 454000 | #Constraints: 20644 480.18/481.57 c #Conflicts: 455000 | #Constraints: 21644 480.18/481.57 c #Conflicts: 456000 | #Constraints: 22644 480.18/481.57 c #Conflicts: 457000 | #Constraints: 23644 480.18/481.57 c #Conflicts: 458000 | #Constraints: 24644 480.18/481.57 c #Conflicts: 459000 | #Constraints: 25644 480.18/481.57 c #Conflicts: 460000 | #Constraints: 26645 480.18/481.57 c INPROCESSING 480.18/481.57 c GARBAGE COLLECT 480.18/481.57 c rational objective 0 500.53/501.97 c #Conflicts: 461000 | #Constraints: 14239 500.53/501.97 c #Conflicts: 462000 | #Constraints: 15239 500.53/501.97 c #Conflicts: 463000 | #Constraints: 16239 500.53/501.97 c #Conflicts: 464000 | #Constraints: 17239 500.53/501.97 c #Conflicts: 465000 | #Constraints: 18239 500.53/501.97 c #Conflicts: 466000 | #Constraints: 19239 500.53/501.97 c #Conflicts: 467000 | #Constraints: 20239 500.53/501.97 c #Conflicts: 468000 | #Constraints: 21239 500.53/501.97 c #Conflicts: 469000 | #Constraints: 22239 500.53/501.97 c #Conflicts: 470000 | #Constraints: 23239 500.53/501.97 c #Conflicts: 471000 | #Constraints: 24240 500.53/501.97 c #Conflicts: 472000 | #Constraints: 25240 500.53/501.97 c #Conflicts: 473000 | #Constraints: 26240 500.53/501.97 c #Conflicts: 474000 | #Constraints: 27240 500.53/501.97 c INPROCESSING 500.53/501.97 c GARBAGE COLLECT 500.53/501.97 c rational objective 0 528.15/529.62 c #Conflicts: 475000 | #Constraints: 14637 528.15/529.62 c #Conflicts: 476000 | #Constraints: 15637 528.15/529.62 c #Conflicts: 477000 | #Constraints: 16637 528.15/529.62 c #Conflicts: 478000 | #Constraints: 17638 528.15/529.62 c #Conflicts: 479000 | #Constraints: 18638 528.15/529.62 c #Conflicts: 480000 | #Constraints: 19638 528.15/529.62 c #Conflicts: 481000 | #Constraints: 20638 528.15/529.62 c #Conflicts: 482000 | #Constraints: 21638 528.15/529.62 c #Conflicts: 483000 | #Constraints: 22638 528.15/529.62 c #Conflicts: 484000 | #Constraints: 23638 528.15/529.62 c #Conflicts: 485000 | #Constraints: 24640 528.15/529.62 c #Conflicts: 486000 | #Constraints: 25640 528.15/529.62 c #Conflicts: 487000 | #Constraints: 26640 528.15/529.62 c #Conflicts: 488000 | #Constraints: 27640 528.15/529.62 c INPROCESSING 528.15/529.62 c GARBAGE COLLECT 528.15/529.62 c rational objective 0 552.88/554.46 c #Conflicts: 489000 | #Constraints: 14841 552.88/554.46 c #Conflicts: 490000 | #Constraints: 15841 552.88/554.46 c #Conflicts: 491000 | #Constraints: 16841 552.88/554.46 c #Conflicts: 492000 | #Constraints: 17841 552.88/554.46 c #Conflicts: 493000 | #Constraints: 18842 552.88/554.46 c #Conflicts: 494000 | #Constraints: 19842 552.88/554.46 c #Conflicts: 495000 | #Constraints: 20842 552.88/554.46 c #Conflicts: 496000 | #Constraints: 21843 552.88/554.46 c #Conflicts: 497000 | #Constraints: 22843 552.88/554.46 c #Conflicts: 498000 | #Constraints: 23845 552.88/554.46 c #Conflicts: 499000 | #Constraints: 24845 552.88/554.46 c #Conflicts: 500000 | #Constraints: 25845 552.88/554.46 c #Conflicts: 501000 | #Constraints: 26845 552.88/554.46 c #Conflicts: 502000 | #Constraints: 27845 552.88/554.46 c INPROCESSING 552.88/554.46 c GARBAGE COLLECT 552.88/554.46 c rational objective 0 581.01/582.68 c #Conflicts: 503000 | #Constraints: 14841 581.01/582.68 c #Conflicts: 504000 | #Constraints: 15841 581.01/582.68 c #Conflicts: 505000 | #Constraints: 16842 581.01/582.68 c #Conflicts: 506000 | #Constraints: 17842 581.01/582.68 c #Conflicts: 507000 | #Constraints: 18842 581.01/582.68 c #Conflicts: 508000 | #Constraints: 19842 581.01/582.68 c #Conflicts: 509000 | #Constraints: 20842 581.01/582.68 c #Conflicts: 510000 | #Constraints: 21842 581.01/582.68 c #Conflicts: 511000 | #Constraints: 22844 581.01/582.68 c #Conflicts: 512000 | #Constraints: 23844 581.01/582.68 c #Conflicts: 513000 | #Constraints: 24845 581.01/582.68 c #Conflicts: 514000 | #Constraints: 25846 581.01/582.68 c #Conflicts: 515000 | #Constraints: 26846 581.01/582.68 c #Conflicts: 516000 | #Constraints: 27846 581.01/582.68 c INPROCESSING 581.01/582.68 c GARBAGE COLLECT 581.01/582.68 c rational objective 0 602.26/603.97 c #Conflicts: 517000 | #Constraints: 14643 602.26/603.97 c #Conflicts: 518000 | #Constraints: 15644 602.26/603.97 c #Conflicts: 519000 | #Constraints: 16646 602.26/603.97 c #Conflicts: 520000 | #Constraints: 17646 602.26/603.97 c #Conflicts: 521000 | #Constraints: 18647 602.26/603.97 c #Conflicts: 522000 | #Constraints: 19648 602.26/603.97 c #Conflicts: 523000 | #Constraints: 20648 602.26/603.97 c #Conflicts: 524000 | #Constraints: 21649 602.26/603.97 c #Conflicts: 525000 | #Constraints: 22649 602.26/603.97 c #Conflicts: 526000 | #Constraints: 23649 602.26/603.97 c #Conflicts: 527000 | #Constraints: 24649 602.26/603.97 c #Conflicts: 528000 | #Constraints: 25649 602.26/603.97 c #Conflicts: 529000 | #Constraints: 26649 602.26/603.97 c #Conflicts: 530000 | #Constraints: 27649 602.26/603.97 c #Conflicts: 531000 | #Constraints: 28649 602.26/603.97 c INPROCESSING 602.26/603.97 c GARBAGE COLLECT 602.26/603.97 c rational objective 0 634.67/636.40 c #Conflicts: 532000 | #Constraints: 15241 634.67/636.40 c #Conflicts: 533000 | #Constraints: 16243 634.67/636.40 c #Conflicts: 534000 | #Constraints: 17245 634.67/636.40 c #Conflicts: 535000 | #Constraints: 18245 634.67/636.40 c #Conflicts: 536000 | #Constraints: 19245 634.67/636.40 c #Conflicts: 537000 | #Constraints: 20245 634.67/636.40 c #Conflicts: 538000 | #Constraints: 21246 634.67/636.40 c #Conflicts: 539000 | #Constraints: 22246 634.67/636.40 c #Conflicts: 540000 | #Constraints: 23246 634.67/636.40 c #Conflicts: 541000 | #Constraints: 24246 634.67/636.40 c #Conflicts: 542000 | #Constraints: 25246 634.67/636.40 c #Conflicts: 543000 | #Constraints: 26246 634.67/636.40 c #Conflicts: 544000 | #Constraints: 27246 634.67/636.40 c #Conflicts: 545000 | #Constraints: 28248 634.67/636.40 c #Conflicts: 546000 | #Constraints: 29248 634.67/636.40 c INPROCESSING 634.67/636.40 c GARBAGE COLLECT 634.67/636.40 c rational objective 0 661.39/663.24 c #Conflicts: 547000 | #Constraints: 15639 661.39/663.24 c #Conflicts: 548000 | #Constraints: 16639 661.39/663.24 c #Conflicts: 549000 | #Constraints: 17639 661.39/663.24 c #Conflicts: 550000 | #Constraints: 18639 661.39/663.24 c #Conflicts: 551000 | #Constraints: 19639 661.39/663.24 c #Conflicts: 552000 | #Constraints: 20639 661.39/663.24 c #Conflicts: 553000 | #Constraints: 21639 661.39/663.24 c #Conflicts: 554000 | #Constraints: 22641 661.39/663.24 c #Conflicts: 555000 | #Constraints: 23642 661.39/663.24 c #Conflicts: 556000 | #Constraints: 24642 661.39/663.24 c #Conflicts: 557000 | #Constraints: 25642 661.39/663.24 c #Conflicts: 558000 | #Constraints: 26643 661.39/663.24 c #Conflicts: 559000 | #Constraints: 27644 661.39/663.24 c #Conflicts: 560000 | #Constraints: 28644 661.39/663.24 c #Conflicts: 561000 | #Constraints: 29644 661.39/663.24 c INPROCESSING 661.39/663.24 c GARBAGE COLLECT 661.39/663.24 c rational objective 0 697.87/699.85 c #Conflicts: 562000 | #Constraints: 15835 697.87/699.85 c #Conflicts: 563000 | #Constraints: 16836 697.87/699.85 c #Conflicts: 564000 | #Constraints: 17837 697.87/699.85 c #Conflicts: 565000 | #Constraints: 18837 697.87/699.85 c #Conflicts: 566000 | #Constraints: 19837 697.87/699.85 c #Conflicts: 567000 | #Constraints: 20837 697.87/699.85 c #Conflicts: 568000 | #Constraints: 21837 697.87/699.85 c #Conflicts: 569000 | #Constraints: 22837 697.87/699.85 c #Conflicts: 570000 | #Constraints: 23837 697.87/699.85 c #Conflicts: 571000 | #Constraints: 24837 697.87/699.85 c #Conflicts: 572000 | #Constraints: 25837 697.87/699.85 c #Conflicts: 573000 | #Constraints: 26837 697.87/699.85 c #Conflicts: 574000 | #Constraints: 27837 697.87/699.85 c #Conflicts: 575000 | #Constraints: 28838 697.87/699.85 c #Conflicts: 576000 | #Constraints: 29838 697.87/699.85 c INPROCESSING 697.87/699.85 c GARBAGE COLLECT 697.87/699.85 c rational objective 0 724.19/726.24 c #Conflicts: 577000 | #Constraints: 15843 724.19/726.24 c #Conflicts: 578000 | #Constraints: 16843 724.19/726.24 c #Conflicts: 579000 | #Constraints: 17845 724.19/726.24 c #Conflicts: 580000 | #Constraints: 18846 724.19/726.24 c #Conflicts: 581000 | #Constraints: 19846 724.19/726.24 c #Conflicts: 582000 | #Constraints: 20846 724.19/726.24 c #Conflicts: 583000 | #Constraints: 21847 724.19/726.24 c #Conflicts: 584000 | #Constraints: 22848 724.19/726.24 c #Conflicts: 585000 | #Constraints: 23848 724.19/726.24 c #Conflicts: 586000 | #Constraints: 24849 724.19/726.24 c #Conflicts: 587000 | #Constraints: 25849 724.19/726.24 c #Conflicts: 588000 | #Constraints: 26849 724.19/726.24 c #Conflicts: 589000 | #Constraints: 27849 724.19/726.24 c #Conflicts: 590000 | #Constraints: 28849 724.19/726.24 c #Conflicts: 591000 | #Constraints: 29851 724.19/726.24 c INPROCESSING 724.19/726.24 c GARBAGE COLLECT 724.19/726.24 c rational objective 0 749.11/751.20 c #Conflicts: 592000 | #Constraints: 15643 749.11/751.20 c #Conflicts: 593000 | #Constraints: 16643 749.11/751.20 c #Conflicts: 594000 | #Constraints: 17643 749.11/751.20 c #Conflicts: 595000 | #Constraints: 18643 749.11/751.20 c #Conflicts: 596000 | #Constraints: 19643 749.11/751.20 c #Conflicts: 597000 | #Constraints: 20643 749.11/751.20 c #Conflicts: 598000 | #Constraints: 21643 749.11/751.20 c #Conflicts: 599000 | #Constraints: 22643 749.11/751.20 c #Conflicts: 600000 | #Constraints: 23645 749.11/751.20 c #Conflicts: 601000 | #Constraints: 24645 749.11/751.20 c #Conflicts: 602000 | #Constraints: 25645 749.11/751.20 c #Conflicts: 603000 | #Constraints: 26645 749.11/751.20 c #Conflicts: 604000 | #Constraints: 27646 749.11/751.20 c #Conflicts: 605000 | #Constraints: 28647 749.11/751.20 c #Conflicts: 606000 | #Constraints: 29648 749.11/751.20 c #Conflicts: 607000 | #Constraints: 30649 749.11/751.20 c INPROCESSING 749.11/751.20 c GARBAGE COLLECT 749.11/751.20 c rational objective 0 784.81/787.05 c #Conflicts: 608000 | #Constraints: 16242 784.81/787.05 c #Conflicts: 609000 | #Constraints: 17244 784.81/787.05 c #Conflicts: 610000 | #Constraints: 18244 784.81/787.05 c #Conflicts: 611000 | #Constraints: 19244 784.81/787.05 c #Conflicts: 612000 | #Constraints: 20247 784.81/787.05 c #Conflicts: 613000 | #Constraints: 21247 784.81/787.05 c #Conflicts: 614000 | #Constraints: 22248 784.81/787.05 c #Conflicts: 615000 | #Constraints: 23248 784.81/787.05 c #Conflicts: 616000 | #Constraints: 24248 784.81/787.05 c #Conflicts: 617000 | #Constraints: 25248 784.81/787.05 c #Conflicts: 618000 | #Constraints: 26249 784.81/787.05 c #Conflicts: 619000 | #Constraints: 27249 784.81/787.05 c #Conflicts: 620000 | #Constraints: 28249 784.81/787.05 c #Conflicts: 621000 | #Constraints: 29249 784.81/787.05 c #Conflicts: 622000 | #Constraints: 30251 784.81/787.05 c #Conflicts: 623000 | #Constraints: 31252 784.81/787.05 c INPROCESSING 784.81/787.05 c GARBAGE COLLECT 784.81/787.05 c rational objective 0 811.31/813.60 c #Conflicts: 624000 | #Constraints: 16642 811.31/813.60 c #Conflicts: 625000 | #Constraints: 17642 811.31/813.60 c #Conflicts: 626000 | #Constraints: 18644 811.31/813.60 c #Conflicts: 627000 | #Constraints: 19644 811.31/813.60 c #Conflicts: 628000 | #Constraints: 20644 811.31/813.60 c #Conflicts: 629000 | #Constraints: 21645 811.31/813.60 c #Conflicts: 630000 | #Constraints: 22645 811.31/813.60 c #Conflicts: 631000 | #Constraints: 23645 811.31/813.60 c #Conflicts: 632000 | #Constraints: 24645 811.31/813.60 c #Conflicts: 633000 | #Constraints: 25645 811.31/813.60 c #Conflicts: 634000 | #Constraints: 26647 811.31/813.60 c #Conflicts: 635000 | #Constraints: 27647 811.31/813.60 c #Conflicts: 636000 | #Constraints: 28647 811.31/813.60 c #Conflicts: 637000 | #Constraints: 29648 811.31/813.60 c #Conflicts: 638000 | #Constraints: 30648 811.31/813.60 c #Conflicts: 639000 | #Constraints: 31648 811.31/813.60 c INPROCESSING 811.31/813.60 c GARBAGE COLLECT 811.31/813.60 c rational objective 0 852.29/854.78 c #Conflicts: 640000 | #Constraints: 16843 852.29/854.78 c #Conflicts: 641000 | #Constraints: 17843 852.29/854.78 c #Conflicts: 642000 | #Constraints: 18843 852.29/854.78 c #Conflicts: 643000 | #Constraints: 19843 852.29/854.78 c #Conflicts: 644000 | #Constraints: 20843 852.29/854.78 c #Conflicts: 645000 | #Constraints: 21843 852.29/854.78 c #Conflicts: 646000 | #Constraints: 22843 852.29/854.78 c #Conflicts: 647000 | #Constraints: 23843 852.29/854.78 c #Conflicts: 648000 | #Constraints: 24843 852.29/854.78 c #Conflicts: 649000 | #Constraints: 25843 852.29/854.78 c #Conflicts: 650000 | #Constraints: 26843 852.29/854.78 c #Conflicts: 651000 | #Constraints: 27843 852.29/854.78 c #Conflicts: 652000 | #Constraints: 28845 852.29/854.78 c #Conflicts: 653000 | #Constraints: 29846 852.29/854.78 c #Conflicts: 654000 | #Constraints: 30846 852.29/854.78 c #Conflicts: 655000 | #Constraints: 31846 852.29/854.78 c INPROCESSING 852.29/854.78 c GARBAGE COLLECT 852.29/854.78 c rational objective 0 882.50/885.09 c #Conflicts: 656000 | #Constraints: 16843 882.50/885.09 c #Conflicts: 657000 | #Constraints: 17843 882.50/885.09 c #Conflicts: 658000 | #Constraints: 18843 882.50/885.09 c #Conflicts: 659000 | #Constraints: 19843 882.50/885.09 c #Conflicts: 660000 | #Constraints: 20844 882.50/885.09 c #Conflicts: 661000 | #Constraints: 21844 882.50/885.09 c #Conflicts: 662000 | #Constraints: 22844 882.50/885.09 c #Conflicts: 663000 | #Constraints: 23844 882.50/885.09 c #Conflicts: 664000 | #Constraints: 24844 882.50/885.09 c #Conflicts: 665000 | #Constraints: 25844 882.50/885.09 c #Conflicts: 666000 | #Constraints: 26844 882.50/885.09 c #Conflicts: 667000 | #Constraints: 27844 882.50/885.09 c #Conflicts: 668000 | #Constraints: 28845 882.50/885.09 c #Conflicts: 669000 | #Constraints: 29845 882.50/885.09 c #Conflicts: 670000 | #Constraints: 30845 882.50/885.09 c #Conflicts: 671000 | #Constraints: 31845 882.50/885.09 c INPROCESSING 882.50/885.09 c GARBAGE COLLECT 882.50/885.09 c rational objective 0 911.60/914.28 c #Conflicts: 672000 | #Constraints: 16636 911.60/914.28 c #Conflicts: 673000 | #Constraints: 17636 911.60/914.28 c #Conflicts: 674000 | #Constraints: 18636 911.60/914.28 c #Conflicts: 675000 | #Constraints: 19638 911.60/914.28 c #Conflicts: 676000 | #Constraints: 20638 911.60/914.28 c #Conflicts: 677000 | #Constraints: 21639 911.60/914.28 c #Conflicts: 678000 | #Constraints: 22639 911.60/914.28 c #Conflicts: 679000 | #Constraints: 23639 911.60/914.28 c #Conflicts: 680000 | #Constraints: 24639 911.60/914.28 c #Conflicts: 681000 | #Constraints: 25639 911.60/914.28 c #Conflicts: 682000 | #Constraints: 26639 911.60/914.28 c #Conflicts: 683000 | #Constraints: 27639 911.60/914.28 c #Conflicts: 684000 | #Constraints: 28640 911.60/914.28 c #Conflicts: 685000 | #Constraints: 29640 911.60/914.28 c #Conflicts: 686000 | #Constraints: 30641 911.60/914.28 c #Conflicts: 687000 | #Constraints: 31641 911.60/914.28 c #Conflicts: 688000 | #Constraints: 32642 911.60/914.28 c INPROCESSING 911.60/914.28 c GARBAGE COLLECT 911.60/914.28 c rational objective 0 955.96/958.70 c #Conflicts: 689000 | #Constraints: 17235 955.96/958.70 c #Conflicts: 690000 | #Constraints: 18235 955.96/958.70 c #Conflicts: 691000 | #Constraints: 19235 955.96/958.70 c #Conflicts: 692000 | #Constraints: 20235 955.96/958.70 c #Conflicts: 693000 | #Constraints: 21235 955.96/958.70 c #Conflicts: 694000 | #Constraints: 22239 955.96/958.70 c #Conflicts: 695000 | #Constraints: 23239 955.96/958.70 c #Conflicts: 696000 | #Constraints: 24240 955.96/958.70 c #Conflicts: 697000 | #Constraints: 25240 955.96/958.70 c #Conflicts: 698000 | #Constraints: 26240 955.96/958.70 c #Conflicts: 699000 | #Constraints: 27240 955.96/958.70 c #Conflicts: 700000 | #Constraints: 28240 955.96/958.70 c #Conflicts: 701000 | #Constraints: 29240 955.96/958.70 c #Conflicts: 702000 | #Constraints: 30240 955.96/958.70 c #Conflicts: 703000 | #Constraints: 31240 955.96/958.70 c #Conflicts: 704000 | #Constraints: 32240 955.96/958.70 c #Conflicts: 705000 | #Constraints: 33240 955.96/958.70 c INPROCESSING 955.96/958.70 c GARBAGE COLLECT 955.96/958.70 c rational objective 0 992.97/995.82 c #Conflicts: 706000 | #Constraints: 17637 992.97/995.82 c #Conflicts: 707000 | #Constraints: 18638 992.97/995.82 c #Conflicts: 708000 | #Constraints: 19638 992.97/995.82 c #Conflicts: 709000 | #Constraints: 20638 992.97/995.82 c #Conflicts: 710000 | #Constraints: 21638 992.97/995.82 c #Conflicts: 711000 | #Constraints: 22638 992.97/995.82 c #Conflicts: 712000 | #Constraints: 23638 992.97/995.82 c #Conflicts: 713000 | #Constraints: 24638 992.97/995.82 c #Conflicts: 714000 | #Constraints: 25638 992.97/995.82 c #Conflicts: 715000 | #Constraints: 26638 992.97/995.82 c #Conflicts: 716000 | #Constraints: 27638 992.97/995.82 c #Conflicts: 717000 | #Constraints: 28638 992.97/995.82 c #Conflicts: 718000 | #Constraints: 29638 992.97/995.82 c #Conflicts: 719000 | #Constraints: 30638 992.97/995.82 c #Conflicts: 720000 | #Constraints: 31638 992.97/995.82 c #Conflicts: 721000 | #Constraints: 32639 992.97/995.82 c #Conflicts: 722000 | #Constraints: 33639 992.97/995.82 c INPROCESSING 992.97/995.82 c GARBAGE COLLECT 992.97/995.82 c rational objective 0 1033.26/1036.28 c #Conflicts: 723000 | #Constraints: 17834 1033.26/1036.28 c #Conflicts: 724000 | #Constraints: 18834 1033.26/1036.28 c #Conflicts: 725000 | #Constraints: 19834 1033.26/1036.28 c #Conflicts: 726000 | #Constraints: 20834 1033.26/1036.28 c #Conflicts: 727000 | #Constraints: 21834 1033.26/1036.28 c #Conflicts: 728000 | #Constraints: 22835 1033.26/1036.28 c #Conflicts: 729000 | #Constraints: 23835 1033.26/1036.28 c #Conflicts: 730000 | #Constraints: 24835 1033.26/1036.28 c #Conflicts: 731000 | #Constraints: 25835 1033.26/1036.28 c #Conflicts: 732000 | #Constraints: 26835 1033.26/1036.28 c #Conflicts: 733000 | #Constraints: 27835 1033.26/1036.28 c #Conflicts: 734000 | #Constraints: 28835 1033.26/1036.28 c #Conflicts: 735000 | #Constraints: 29835 1033.26/1036.28 c #Conflicts: 736000 | #Constraints: 30835 1033.26/1036.28 c #Conflicts: 737000 | #Constraints: 31836 1033.26/1036.28 c #Conflicts: 738000 | #Constraints: 32836 1033.26/1036.28 c #Conflicts: 739000 | #Constraints: 33836 1033.26/1036.28 c INPROCESSING 1033.26/1036.28 c GARBAGE COLLECT 1033.26/1036.28 c rational objective 0 1065.18/1068.21 c #Conflicts: 740000 | #Constraints: 17836 1065.18/1068.21 c #Conflicts: 741000 | #Constraints: 18836 1065.18/1068.21 c #Conflicts: 742000 | #Constraints: 19836 1065.18/1068.21 c #Conflicts: 743000 | #Constraints: 20836 1065.18/1068.21 c #Conflicts: 744000 | #Constraints: 21836 1065.18/1068.21 c #Conflicts: 745000 | #Constraints: 22836 1065.18/1068.21 c #Conflicts: 746000 | #Constraints: 23836 1065.18/1068.21 c #Conflicts: 747000 | #Constraints: 24836 1065.18/1068.21 c #Conflicts: 748000 | #Constraints: 25836 1065.18/1068.21 c #Conflicts: 749000 | #Constraints: 26836 1065.18/1068.21 c #Conflicts: 750000 | #Constraints: 27837 1065.18/1068.21 c #Conflicts: 751000 | #Constraints: 28837 1065.18/1068.21 c #Conflicts: 752000 | #Constraints: 29837 1065.18/1068.21 c #Conflicts: 753000 | #Constraints: 30837 1065.18/1068.21 c #Conflicts: 754000 | #Constraints: 31837 1065.18/1068.21 c #Conflicts: 755000 | #Constraints: 32838 1065.18/1068.21 c #Conflicts: 756000 | #Constraints: 33838 1065.18/1068.21 c INPROCESSING 1065.18/1068.21 c GARBAGE COLLECT 1065.18/1068.21 c rational objective 0 1115.05/1118.27 c #Conflicts: 757000 | #Constraints: 17635 1115.05/1118.27 c #Conflicts: 758000 | #Constraints: 18635 1115.05/1118.27 c #Conflicts: 759000 | #Constraints: 19635 1115.05/1118.27 c #Conflicts: 760000 | #Constraints: 20635 1115.05/1118.27 c #Conflicts: 761000 | #Constraints: 21636 1115.05/1118.27 c #Conflicts: 762000 | #Constraints: 22637 1115.05/1118.27 c #Conflicts: 763000 | #Constraints: 23637 1115.05/1118.27 c #Conflicts: 764000 | #Constraints: 24637 1115.05/1118.27 c #Conflicts: 765000 | #Constraints: 25637 1115.05/1118.27 c #Conflicts: 766000 | #Constraints: 26638 1115.05/1118.27 c #Conflicts: 767000 | #Constraints: 27638 1115.05/1118.27 c #Conflicts: 768000 | #Constraints: 28638 1115.05/1118.27 c #Conflicts: 769000 | #Constraints: 29638 1115.05/1118.27 c #Conflicts: 770000 | #Constraints: 30638 1115.05/1118.27 c #Conflicts: 771000 | #Constraints: 31638 1115.05/1118.27 c #Conflicts: 772000 | #Constraints: 32638 1115.05/1118.27 c #Conflicts: 773000 | #Constraints: 33639 1115.05/1118.27 c #Conflicts: 774000 | #Constraints: 34639 1115.05/1118.27 c INPROCESSING 1115.05/1118.27 c GARBAGE COLLECT 1115.05/1118.27 c rational objective 0 1149.26/1152.57 c #Conflicts: 775000 | #Constraints: 18237 1149.26/1152.57 c #Conflicts: 776000 | #Constraints: 19238 1149.26/1152.57 c #Conflicts: 777000 | #Constraints: 20238 1149.26/1152.57 c #Conflicts: 778000 | #Constraints: 21238 1149.26/1152.57 c #Conflicts: 779000 | #Constraints: 22238 1149.26/1152.57 c #Conflicts: 780000 | #Constraints: 23238 1149.26/1152.57 c #Conflicts: 781000 | #Constraints: 24238 1149.26/1152.57 c #Conflicts: 782000 | #Constraints: 25238 1149.26/1152.57 c #Conflicts: 783000 | #Constraints: 26238 1149.26/1152.57 c #Conflicts: 784000 | #Constraints: 27238 1149.26/1152.57 c #Conflicts: 785000 | #Constraints: 28239 1149.26/1152.57 c #Conflicts: 786000 | #Constraints: 29239 1149.26/1152.57 c #Conflicts: 787000 | #Constraints: 30239 1149.26/1152.57 c #Conflicts: 788000 | #Constraints: 31239 1149.26/1152.57 c #Conflicts: 789000 | #Constraints: 32239 1149.26/1152.57 c #Conflicts: 790000 | #Constraints: 33239 1149.26/1152.57 c #Conflicts: 791000 | #Constraints: 34239 1149.26/1152.57 c #Conflicts: 792000 | #Constraints: 35240 1149.26/1152.57 c INPROCESSING 1149.26/1152.57 c GARBAGE COLLECT 1149.26/1152.57 c rational objective 0 1184.58/1187.95 c #Conflicts: 793000 | #Constraints: 18632 1184.58/1187.95 c #Conflicts: 794000 | #Constraints: 19632 1184.58/1187.95 c #Conflicts: 795000 | #Constraints: 20633 1184.58/1187.95 c #Conflicts: 796000 | #Constraints: 21633 1184.58/1187.95 c #Conflicts: 797000 | #Constraints: 22633 1184.58/1187.95 c #Conflicts: 798000 | #Constraints: 23634 1184.58/1187.95 c #Conflicts: 799000 | #Constraints: 24634 1184.58/1187.95 c #Conflicts: 800000 | #Constraints: 25635 1184.58/1187.95 c #Conflicts: 801000 | #Constraints: 26635 1184.58/1187.95 c #Conflicts: 802000 | #Constraints: 27636 1184.58/1187.95 c #Conflicts: 803000 | #Constraints: 28636 1184.58/1187.95 c #Conflicts: 804000 | #Constraints: 29636 1184.58/1187.95 c #Conflicts: 805000 | #Constraints: 30636 1184.58/1187.95 c #Conflicts: 806000 | #Constraints: 31636 1184.58/1187.95 c #Conflicts: 807000 | #Constraints: 32636 1184.58/1187.95 c #Conflicts: 808000 | #Constraints: 33636 1184.58/1187.95 c #Conflicts: 809000 | #Constraints: 34636 1184.58/1187.95 c #Conflicts: 810000 | #Constraints: 35636 1184.58/1187.95 c INPROCESSING 1184.58/1187.95 c GARBAGE COLLECT 1184.58/1187.95 c rational objective 0 1240.82/1244.36 c #Conflicts: 811000 | #Constraints: 18833 1240.82/1244.36 c #Conflicts: 812000 | #Constraints: 19834 1240.82/1244.36 c #Conflicts: 813000 | #Constraints: 20834 1240.82/1244.36 c #Conflicts: 814000 | #Constraints: 21835 1240.82/1244.36 c #Conflicts: 815000 | #Constraints: 22836 1240.82/1244.36 c #Conflicts: 816000 | #Constraints: 23836 1240.82/1244.36 c #Conflicts: 817000 | #Constraints: 24836 1240.82/1244.36 c #Conflicts: 818000 | #Constraints: 25836 1240.82/1244.36 c #Conflicts: 819000 | #Constraints: 26836 1240.82/1244.36 c #Conflicts: 820000 | #Constraints: 27836 1240.82/1244.36 c #Conflicts: 821000 | #Constraints: 28837 1240.82/1244.36 c #Conflicts: 822000 | #Constraints: 29837 1240.82/1244.36 c #Conflicts: 823000 | #Constraints: 30838 1240.82/1244.36 c #Conflicts: 824000 | #Constraints: 31838 1240.82/1244.36 c #Conflicts: 825000 | #Constraints: 32839 1240.82/1244.36 c #Conflicts: 826000 | #Constraints: 33839 1240.82/1244.36 c #Conflicts: 827000 | #Constraints: 34839 1240.82/1244.36 c #Conflicts: 828000 | #Constraints: 35839 1240.82/1244.36 c INPROCESSING 1240.82/1244.36 c GARBAGE COLLECT 1240.82/1244.36 c rational objective 0 1281.13/1284.74 c #Conflicts: 829000 | #Constraints: 18837 1281.13/1284.74 c #Conflicts: 830000 | #Constraints: 19837 1281.13/1284.74 c #Conflicts: 831000 | #Constraints: 20837 1281.13/1284.74 c #Conflicts: 832000 | #Constraints: 21837 1281.13/1284.74 c #Conflicts: 833000 | #Constraints: 22837 1281.13/1284.74 c #Conflicts: 834000 | #Constraints: 23837 1281.13/1284.74 c #Conflicts: 835000 | #Constraints: 24837 1281.13/1284.74 c #Conflicts: 836000 | #Constraints: 25837 1281.13/1284.74 c #Conflicts: 837000 | #Constraints: 26837 1281.13/1284.74 c #Conflicts: 838000 | #Constraints: 27838 1281.13/1284.74 c #Conflicts: 839000 | #Constraints: 28838 1281.13/1284.74 c #Conflicts: 840000 | #Constraints: 29838 1281.13/1284.74 c #Conflicts: 841000 | #Constraints: 30838 1281.13/1284.74 c #Conflicts: 842000 | #Constraints: 31839 1281.13/1284.74 c #Conflicts: 843000 | #Constraints: 32839 1281.13/1284.74 c #Conflicts: 844000 | #Constraints: 33839 1281.13/1284.74 c #Conflicts: 845000 | #Constraints: 34839 1281.13/1284.74 c #Conflicts: 846000 | #Constraints: 35839 1281.13/1284.74 c INPROCESSING 1281.13/1284.74 c GARBAGE COLLECT 1281.13/1284.74 c rational objective 0 1341.97/1345.73 c #Conflicts: 847000 | #Constraints: 18630 1341.97/1345.73 c #Conflicts: 848000 | #Constraints: 19630 1341.97/1345.73 c #Conflicts: 849000 | #Constraints: 20630 1341.97/1345.73 c #Conflicts: 850000 | #Constraints: 21630 1341.97/1345.73 c #Conflicts: 851000 | #Constraints: 22630 1341.97/1345.73 c #Conflicts: 852000 | #Constraints: 23631 1341.97/1345.73 c #Conflicts: 853000 | #Constraints: 24631 1341.97/1345.73 c #Conflicts: 854000 | #Constraints: 25632 1341.97/1345.73 c #Conflicts: 855000 | #Constraints: 26633 1341.97/1345.73 c #Conflicts: 856000 | #Constraints: 27633 1341.97/1345.73 c #Conflicts: 857000 | #Constraints: 28633 1341.97/1345.73 c #Conflicts: 858000 | #Constraints: 29633 1341.97/1345.73 c #Conflicts: 859000 | #Constraints: 30633 1341.97/1345.73 c #Conflicts: 860000 | #Constraints: 31633 1341.97/1345.73 c #Conflicts: 861000 | #Constraints: 32633 1341.97/1345.73 c #Conflicts: 862000 | #Constraints: 33634 1341.97/1345.73 c #Conflicts: 863000 | #Constraints: 34635 1341.97/1345.73 c #Conflicts: 864000 | #Constraints: 35635 1341.97/1345.73 c #Conflicts: 865000 | #Constraints: 36635 1341.97/1345.73 c INPROCESSING 1341.97/1345.73 c GARBAGE COLLECT 1341.97/1345.73 c rational objective 0 1382.86/1386.70 c #Conflicts: 866000 | #Constraints: 19238 1382.86/1386.70 c #Conflicts: 867000 | #Constraints: 20239 1382.86/1386.70 c #Conflicts: 868000 | #Constraints: 21239 1382.86/1386.70 c #Conflicts: 869000 | #Constraints: 22239 1382.86/1386.70 c #Conflicts: 870000 | #Constraints: 23239 1382.86/1386.70 c #Conflicts: 871000 | #Constraints: 24239 1382.86/1386.70 c #Conflicts: 872000 | #Constraints: 25239 1382.86/1386.70 c #Conflicts: 873000 | #Constraints: 26240 1382.86/1386.70 c #Conflicts: 874000 | #Constraints: 27241 1382.86/1386.70 c #Conflicts: 875000 | #Constraints: 28241 1382.86/1386.70 c #Conflicts: 876000 | #Constraints: 29241 1382.86/1386.70 c #Conflicts: 877000 | #Constraints: 30241 1382.86/1386.70 c #Conflicts: 878000 | #Constraints: 31242 1382.86/1386.70 c #Conflicts: 879000 | #Constraints: 32242 1382.86/1386.70 c #Conflicts: 880000 | #Constraints: 33242 1382.86/1386.70 c #Conflicts: 881000 | #Constraints: 34242 1382.86/1386.70 c #Conflicts: 882000 | #Constraints: 35242 1382.86/1386.70 c #Conflicts: 883000 | #Constraints: 36244 1382.86/1386.70 c #Conflicts: 884000 | #Constraints: 37244 1382.86/1386.70 c INPROCESSING 1382.86/1386.70 c GARBAGE COLLECT 1382.86/1386.70 c rational objective 0 1425.25/1429.24 c #Conflicts: 885000 | #Constraints: 19641 1425.25/1429.24 c #Conflicts: 886000 | #Constraints: 20641 1425.25/1429.24 c #Conflicts: 887000 | #Constraints: 21641 1425.25/1429.24 c #Conflicts: 888000 | #Constraints: 22641 1425.25/1429.24 c #Conflicts: 889000 | #Constraints: 23641 1425.25/1429.24 c #Conflicts: 890000 | #Constraints: 24641 1425.25/1429.24 c #Conflicts: 891000 | #Constraints: 25641 1425.25/1429.24 c #Conflicts: 892000 | #Constraints: 26641 1425.25/1429.24 c #Conflicts: 893000 | #Constraints: 27641 1425.25/1429.24 c #Conflicts: 894000 | #Constraints: 28641 1425.25/1429.24 c #Conflicts: 895000 | #Constraints: 29641 1425.25/1429.24 c #Conflicts: 896000 | #Constraints: 30641 1425.25/1429.24 c #Conflicts: 897000 | #Constraints: 31641 1425.25/1429.24 c #Conflicts: 898000 | #Constraints: 32641 1425.25/1429.24 c #Conflicts: 899000 | #Constraints: 33641 1425.25/1429.24 c #Conflicts: 900000 | #Constraints: 34642 1425.25/1429.24 c #Conflicts: 901000 | #Constraints: 35642 1425.25/1429.24 c #Conflicts: 902000 | #Constraints: 36642 1425.25/1429.24 c #Conflicts: 903000 | #Constraints: 37642 1425.25/1429.24 c INPROCESSING 1425.25/1429.24 c GARBAGE COLLECT 1425.25/1429.24 c rational objective 0 1489.91/1494.06 c #Conflicts: 904000 | #Constraints: 19835 1489.91/1494.06 c #Conflicts: 905000 | #Constraints: 20835 1489.91/1494.06 c #Conflicts: 906000 | #Constraints: 21835 1489.91/1494.06 c #Conflicts: 907000 | #Constraints: 22837 1489.91/1494.06 c #Conflicts: 908000 | #Constraints: 23838 1489.91/1494.06 c #Conflicts: 909000 | #Constraints: 24838 1489.91/1494.06 c #Conflicts: 910000 | #Constraints: 25839 1489.91/1494.06 c #Conflicts: 911000 | #Constraints: 26839 1489.91/1494.06 c #Conflicts: 912000 | #Constraints: 27839 1489.91/1494.06 c #Conflicts: 913000 | #Constraints: 28839 1489.91/1494.06 c #Conflicts: 914000 | #Constraints: 29839 1489.91/1494.06 c #Conflicts: 915000 | #Constraints: 30839 1489.91/1494.06 c #Conflicts: 916000 | #Constraints: 31839 1489.91/1494.06 c #Conflicts: 917000 | #Constraints: 32839 1489.91/1494.06 c #Conflicts: 918000 | #Constraints: 33839 1489.91/1494.06 c #Conflicts: 919000 | #Constraints: 34840 1489.91/1494.06 c #Conflicts: 920000 | #Constraints: 35840 1489.91/1494.06 c #Conflicts: 921000 | #Constraints: 36840 1489.91/1494.06 c #Conflicts: 922000 | #Constraints: 37840 1489.91/1494.06 c INPROCESSING 1489.91/1494.06 c GARBAGE COLLECT 1489.91/1494.06 c rational objective 0 1531.38/1535.63 c #Conflicts: 923000 | #Constraints: 19839 1531.38/1535.63 c #Conflicts: 924000 | #Constraints: 20839 1531.38/1535.63 c #Conflicts: 925000 | #Constraints: 21839 1531.38/1535.63 c #Conflicts: 926000 | #Constraints: 22839 1531.38/1535.63 c #Conflicts: 927000 | #Constraints: 23839 1531.38/1535.63 c #Conflicts: 928000 | #Constraints: 24839 1531.38/1535.63 c #Conflicts: 929000 | #Constraints: 25839 1531.38/1535.63 c #Conflicts: 930000 | #Constraints: 26839 1531.38/1535.63 c #Conflicts: 931000 | #Constraints: 27839 1531.38/1535.63 c #Conflicts: 932000 | #Constraints: 28839 1531.38/1535.63 c #Conflicts: 933000 | #Constraints: 29839 1531.38/1535.63 c #Conflicts: 934000 | #Constraints: 30839 1531.38/1535.63 c #Conflicts: 935000 | #Constraints: 31840 1531.38/1535.63 c #Conflicts: 936000 | #Constraints: 32841 1531.38/1535.63 c #Conflicts: 937000 | #Constraints: 33841 1531.38/1535.63 c #Conflicts: 938000 | #Constraints: 34841 1531.38/1535.63 c #Conflicts: 939000 | #Constraints: 35841 1531.38/1535.63 c #Conflicts: 940000 | #Constraints: 36841 1531.38/1535.63 c #Conflicts: 941000 | #Constraints: 37841 1531.38/1535.63 c INPROCESSING 1531.38/1535.63 c GARBAGE COLLECT 1531.38/1535.63 c rational objective 0 1596.12/1600.52 c #Conflicts: 942000 | #Constraints: 19637 1596.12/1600.52 c #Conflicts: 943000 | #Constraints: 20637 1596.12/1600.52 c #Conflicts: 944000 | #Constraints: 21637 1596.12/1600.52 c #Conflicts: 945000 | #Constraints: 22637 1596.12/1600.52 c #Conflicts: 946000 | #Constraints: 23638 1596.12/1600.52 c #Conflicts: 947000 | #Constraints: 24638 1596.12/1600.52 c #Conflicts: 948000 | #Constraints: 25638 1596.12/1600.52 c #Conflicts: 949000 | #Constraints: 26638 1596.12/1600.52 c #Conflicts: 950000 | #Constraints: 27639 1596.12/1600.52 c #Conflicts: 951000 | #Constraints: 28639 1596.12/1600.52 c #Conflicts: 952000 | #Constraints: 29639 1596.12/1600.52 c #Conflicts: 953000 | #Constraints: 30639 1596.12/1600.52 c #Conflicts: 954000 | #Constraints: 31639 1596.12/1600.52 c #Conflicts: 955000 | #Constraints: 32640 1596.12/1600.52 c #Conflicts: 956000 | #Constraints: 33640 1596.12/1600.52 c #Conflicts: 957000 | #Constraints: 34640 1596.12/1600.52 c #Conflicts: 958000 | #Constraints: 35640 1596.12/1600.52 c #Conflicts: 959000 | #Constraints: 36640 1596.12/1600.52 c #Conflicts: 960000 | #Constraints: 37640 1596.12/1600.52 c #Conflicts: 961000 | #Constraints: 38640 1596.12/1600.52 c INPROCESSING 1596.12/1600.52 c GARBAGE COLLECT 1596.12/1600.52 c rational objective 0 1647.10/1651.60 c #Conflicts: 962000 | #Constraints: 20241 1647.10/1651.60 c #Conflicts: 963000 | #Constraints: 21242 1647.10/1651.60 c #Conflicts: 964000 | #Constraints: 22242 1647.10/1651.60 c #Conflicts: 965000 | #Constraints: 23242 1647.10/1651.60 c #Conflicts: 966000 | #Constraints: 24242 1647.10/1651.60 c #Conflicts: 967000 | #Constraints: 25242 1647.10/1651.60 c #Conflicts: 968000 | #Constraints: 26244 1647.10/1651.60 c #Conflicts: 969000 | #Constraints: 27245 1647.10/1651.60 c #Conflicts: 970000 | #Constraints: 28245 1647.10/1651.60 c #Conflicts: 971000 | #Constraints: 29245 1647.10/1651.60 c #Conflicts: 972000 | #Constraints: 30245 1647.10/1651.60 c #Conflicts: 973000 | #Constraints: 31246 1647.10/1651.60 c #Conflicts: 974000 | #Constraints: 32247 1647.10/1651.60 c #Conflicts: 975000 | #Constraints: 33247 1647.10/1651.60 c #Conflicts: 976000 | #Constraints: 34247 1647.10/1651.60 c #Conflicts: 977000 | #Constraints: 35247 1647.10/1651.60 c #Conflicts: 978000 | #Constraints: 36247 1647.10/1651.60 c #Conflicts: 979000 | #Constraints: 37248 1647.10/1651.60 c #Conflicts: 980000 | #Constraints: 38248 1647.10/1651.60 c #Conflicts: 981000 | #Constraints: 39248 1647.10/1651.60 c INPROCESSING 1647.10/1651.60 c GARBAGE COLLECT 1647.10/1651.60 c rational objective 0 1704.64/1709.36 c #Conflicts: 982000 | #Constraints: 20641 1704.64/1709.36 c #Conflicts: 983000 | #Constraints: 21641 1704.64/1709.36 c #Conflicts: 984000 | #Constraints: 22641 1704.64/1709.36 c #Conflicts: 985000 | #Constraints: 23642 1704.64/1709.36 c #Conflicts: 986000 | #Constraints: 24642 1704.64/1709.36 c #Conflicts: 987000 | #Constraints: 25642 1704.64/1709.36 c #Conflicts: 988000 | #Constraints: 26642 1704.64/1709.36 c #Conflicts: 989000 | #Constraints: 27642 1704.64/1709.36 c #Conflicts: 990000 | #Constraints: 28644 1704.64/1709.36 c #Conflicts: 991000 | #Constraints: 29644 1704.64/1709.36 c #Conflicts: 992000 | #Constraints: 30644 1704.64/1709.36 c #Conflicts: 993000 | #Constraints: 31644 1704.64/1709.36 c #Conflicts: 994000 | #Constraints: 32644 1704.64/1709.36 c #Conflicts: 995000 | #Constraints: 33644 1704.64/1709.36 c #Conflicts: 996000 | #Constraints: 34645 1704.64/1709.36 c #Conflicts: 997000 | #Constraints: 35645 1704.64/1709.36 c #Conflicts: 998000 | #Constraints: 36646 1704.64/1709.36 c #Conflicts: 999000 | #Constraints: 37647 1704.64/1709.36 c #Conflicts: 1000000 | #Constraints: 38647 1704.64/1709.36 c #Conflicts: 1001000 | #Constraints: 39647 1704.64/1709.36 c INPROCESSING 1704.64/1709.36 c GARBAGE COLLECT 1704.64/1709.36 c rational objective 0 1779.45/1784.31 c #Conflicts: 1002000 | #Constraints: 20841 1779.45/1784.31 c #Conflicts: 1003000 | #Constraints: 21842 1779.45/1784.31 c #Conflicts: 1004000 | #Constraints: 22842 1779.45/1784.31 c #Conflicts: 1005000 | #Constraints: 23842 1779.45/1784.31 c #Conflicts: 1006000 | #Constraints: 24842 1779.45/1784.31 c #Conflicts: 1007000 | #Constraints: 25842 1779.45/1784.31 c #Conflicts: 1008000 | #Constraints: 26842 1779.45/1784.31 c #Conflicts: 1009000 | #Constraints: 27842 1779.45/1784.31 c #Conflicts: 1010000 | #Constraints: 28842 1779.45/1784.31 c #Conflicts: 1011000 | #Constraints: 29842 1779.45/1784.31 c #Conflicts: 1012000 | #Constraints: 30843 1779.45/1784.31 c #Conflicts: 1013000 | #Constraints: 31843 1779.45/1784.31 c #Conflicts: 1014000 | #Constraints: 32843 1779.45/1784.31 c #Conflicts: 1015000 | #Constraints: 33843 1779.45/1784.31 c #Conflicts: 1016000 | #Constraints: 34843 1779.45/1784.31 c #Conflicts: 1017000 | #Constraints: 35844 1779.45/1784.31 c #Conflicts: 1018000 | #Constraints: 36844 1779.45/1784.31 c #Conflicts: 1019000 | #Constraints: 37844 1779.45/1784.31 c #Conflicts: 1020000 | #Constraints: 38844 1779.45/1784.31 c #Conflicts: 1021000 | #Constraints: 39844 1779.45/1784.31 c INPROCESSING 1779.45/1784.31 c GARBAGE COLLECT 1779.45/1784.31 c rational objective 0 1838.70/1843.74 c #Conflicts: 1022000 | #Constraints: 20844 1838.70/1843.74 c #Conflicts: 1023000 | #Constraints: 21845 1838.70/1843.74 c #Conflicts: 1024000 | #Constraints: 22845 1838.70/1843.74 c #Conflicts: 1025000 | #Constraints: 23845 1838.70/1843.74 c #Conflicts: 1026000 | #Constraints: 24845 1838.70/1843.74 c #Conflicts: 1027000 | #Constraints: 25846 1838.70/1843.74 c #Conflicts: 1028000 | #Constraints: 26846 1838.70/1843.74 c #Conflicts: 1029000 | #Constraints: 27846 1838.70/1843.74 c #Conflicts: 1030000 | #Constraints: 28846 1838.70/1843.74 c #Conflicts: 1031000 | #Constraints: 29846 1838.70/1843.74 c #Conflicts: 1032000 | #Constraints: 30846 1838.70/1843.74 c #Conflicts: 1033000 | #Constraints: 31846 1838.70/1843.74 c #Conflicts: 1034000 | #Constraints: 32846 1838.70/1843.74 c #Conflicts: 1035000 | #Constraints: 33846 1838.70/1843.74 c #Conflicts: 1036000 | #Constraints: 34846 1838.70/1843.74 c #Conflicts: 1037000 | #Constraints: 35846 1838.70/1843.74 c #Conflicts: 1038000 | #Constraints: 36848 1838.70/1843.74 c #Conflicts: 1039000 | #Constraints: 37848 1838.70/1843.74 c #Conflicts: 1040000 | #Constraints: 38848 1838.70/1843.74 c #Conflicts: 1041000 | #Constraints: 39848 1838.70/1843.74 c INPROCESSING 1838.70/1843.74 c GARBAGE COLLECT 1838.70/1843.74 c rational objective 0 1912.82/1918.01 c #Conflicts: 1042000 | #Constraints: 20642 1912.82/1918.01 c #Conflicts: 1043000 | #Constraints: 21643 1912.82/1918.01 c #Conflicts: 1044000 | #Constraints: 22643 1912.82/1918.01 c #Conflicts: 1045000 | #Constraints: 23644 1912.82/1918.01 c #Conflicts: 1046000 | #Constraints: 24645 1912.82/1918.01 c #Conflicts: 1047000 | #Constraints: 25645 1912.82/1918.01 c #Conflicts: 1048000 | #Constraints: 26646 1912.82/1918.01 c #Conflicts: 1049000 | #Constraints: 27646 1912.82/1918.01 c #Conflicts: 1050000 | #Constraints: 28646 1912.82/1918.01 c #Conflicts: 1051000 | #Constraints: 29646 1912.82/1918.01 c #Conflicts: 1052000 | #Constraints: 30646 1912.82/1918.01 c #Conflicts: 1053000 | #Constraints: 31646 1912.82/1918.01 c #Conflicts: 1054000 | #Constraints: 32646 1912.82/1918.01 c #Conflicts: 1055000 | #Constraints: 33646 1912.82/1918.01 c #Conflicts: 1056000 | #Constraints: 34646 1912.82/1918.01 c #Conflicts: 1057000 | #Constraints: 35647 1912.82/1918.01 c #Conflicts: 1058000 | #Constraints: 36647 1912.82/1918.01 c #Conflicts: 1059000 | #Constraints: 37647 1912.82/1918.01 c #Conflicts: 1060000 | #Constraints: 38647 1912.82/1918.01 c #Conflicts: 1061000 | #Constraints: 39647 1912.82/1918.01 c #Conflicts: 1062000 | #Constraints: 40647 1912.82/1918.01 c INPROCESSING 1912.82/1918.01 c GARBAGE COLLECT 1912.82/1918.01 c rational objective 0 1981.83/1987.20 c #Conflicts: 1063000 | #Constraints: 21245 1981.83/1987.20 c #Conflicts: 1064000 | #Constraints: 22245 1981.83/1987.20 c #Conflicts: 1065000 | #Constraints: 23245 1981.83/1987.20 c #Conflicts: 1066000 | #Constraints: 24245 1981.83/1987.20 c #Conflicts: 1067000 | #Constraints: 25245 1981.83/1987.20 c #Conflicts: 1068000 | #Constraints: 26245 1981.83/1987.20 c #Conflicts: 1069000 | #Constraints: 27245 1981.83/1987.20 c #Conflicts: 1070000 | #Constraints: 28245 1981.83/1987.20 c #Conflicts: 1071000 | #Constraints: 29245 1981.83/1987.20 c #Conflicts: 1072000 | #Constraints: 30246 1981.83/1987.20 c #Conflicts: 1073000 | #Constraints: 31246 1981.83/1987.20 c #Conflicts: 1074000 | #Constraints: 32246 1981.83/1987.20 c #Conflicts: 1075000 | #Constraints: 33246 1981.83/1987.20 c #Conflicts: 1076000 | #Constraints: 34246 1981.83/1987.20 c #Conflicts: 1077000 | #Constraints: 35246 1981.83/1987.20 c #Conflicts: 1078000 | #Constraints: 36246 1981.83/1987.20 c #Conflicts: 1079000 | #Constraints: 37246 1981.83/1987.20 c #Conflicts: 1080000 | #Constraints: 38246 1981.83/1987.20 c #Conflicts: 1081000 | #Constraints: 39246 1981.83/1987.20 c #Conflicts: 1082000 | #Constraints: 40246 1981.83/1987.20 c #Conflicts: 1083000 | #Constraints: 41246 1981.83/1987.20 c INPROCESSING 1981.83/1987.20 c GARBAGE COLLECT 1981.83/1987.20 c rational objective 0 2061.91/2067.54 c #Conflicts: 1084000 | #Constraints: 21640 2061.91/2067.54 c #Conflicts: 1085000 | #Constraints: 22640 2061.91/2067.54 c #Conflicts: 1086000 | #Constraints: 23640 2061.91/2067.54 c #Conflicts: 1087000 | #Constraints: 24640 2061.91/2067.54 c #Conflicts: 1088000 | #Constraints: 25640 2061.91/2067.54 c #Conflicts: 1089000 | #Constraints: 26640 2061.91/2067.54 c #Conflicts: 1090000 | #Constraints: 27641 2061.91/2067.54 c #Conflicts: 1091000 | #Constraints: 28643 2061.91/2067.54 c #Conflicts: 1092000 | #Constraints: 29643 2061.91/2067.54 c #Conflicts: 1093000 | #Constraints: 30643 2061.91/2067.54 c #Conflicts: 1094000 | #Constraints: 31644 2061.91/2067.54 c #Conflicts: 1095000 | #Constraints: 32644 2061.91/2067.54 c #Conflicts: 1096000 | #Constraints: 33644 2061.91/2067.54 c #Conflicts: 1097000 | #Constraints: 34644 2061.91/2067.54 c #Conflicts: 1098000 | #Constraints: 35644 2061.91/2067.54 c #Conflicts: 1099000 | #Constraints: 36644 2061.91/2067.54 c #Conflicts: 1100000 | #Constraints: 37644 2061.91/2067.54 c #Conflicts: 1101000 | #Constraints: 38644 2061.91/2067.54 c #Conflicts: 1102000 | #Constraints: 39644 2061.91/2067.54 c #Conflicts: 1103000 | #Constraints: 40645 2061.91/2067.54 c #Conflicts: 1104000 | #Constraints: 41645 2061.91/2067.54 c INPROCESSING 2061.91/2067.54 c GARBAGE COLLECT 2061.91/2067.54 c rational objective 0 2119.37/2125.19 c #Conflicts: 1105000 | #Constraints: 21841 2119.37/2125.19 c #Conflicts: 1106000 | #Constraints: 22841 2119.37/2125.19 c #Conflicts: 1107000 | #Constraints: 23841 2119.37/2125.19 c #Conflicts: 1108000 | #Constraints: 24842 2119.37/2125.19 c #Conflicts: 1109000 | #Constraints: 25843 2119.37/2125.19 c #Conflicts: 1110000 | #Constraints: 26843 2119.37/2125.19 c #Conflicts: 1111000 | #Constraints: 27843 2119.37/2125.19 c #Conflicts: 1112000 | #Constraints: 28844 2119.37/2125.19 c #Conflicts: 1113000 | #Constraints: 29844 2119.37/2125.19 c #Conflicts: 1114000 | #Constraints: 30845 2119.37/2125.19 c #Conflicts: 1115000 | #Constraints: 31845 2119.37/2125.19 c #Conflicts: 1116000 | #Constraints: 32845 2119.37/2125.19 c #Conflicts: 1117000 | #Constraints: 33845 2119.37/2125.19 c #Conflicts: 1118000 | #Constraints: 34845 2119.37/2125.19 c #Conflicts: 1119000 | #Constraints: 35845 2119.37/2125.19 c #Conflicts: 1120000 | #Constraints: 36845 2119.37/2125.19 c #Conflicts: 1121000 | #Constraints: 37845 2119.37/2125.19 c #Conflicts: 1122000 | #Constraints: 38845 2119.37/2125.19 c #Conflicts: 1123000 | #Constraints: 39845 2119.37/2125.19 c #Conflicts: 1124000 | #Constraints: 40846 2119.37/2125.19 c #Conflicts: 1125000 | #Constraints: 41846 2119.37/2125.19 c INPROCESSING 2119.37/2125.19 c GARBAGE COLLECT 2119.37/2125.19 c rational objective 0 2203.94/2209.91 c #Conflicts: 1126000 | #Constraints: 21839 2203.94/2209.91 c #Conflicts: 1127000 | #Constraints: 22839 2203.94/2209.91 c #Conflicts: 1128000 | #Constraints: 23840 2203.94/2209.91 c #Conflicts: 1129000 | #Constraints: 24840 2203.94/2209.91 c #Conflicts: 1130000 | #Constraints: 25840 2203.94/2209.91 c #Conflicts: 1131000 | #Constraints: 26840 2203.94/2209.91 c #Conflicts: 1132000 | #Constraints: 27840 2203.94/2209.91 c #Conflicts: 1133000 | #Constraints: 28840 2203.94/2209.91 c #Conflicts: 1134000 | #Constraints: 29840 2203.94/2209.91 c #Conflicts: 1135000 | #Constraints: 30840 2203.94/2209.91 c #Conflicts: 1136000 | #Constraints: 31840 2203.94/2209.91 c #Conflicts: 1137000 | #Constraints: 32840 2203.94/2209.91 c #Conflicts: 1138000 | #Constraints: 33840 2203.94/2209.91 c #Conflicts: 1139000 | #Constraints: 34840 2203.94/2209.91 c #Conflicts: 1140000 | #Constraints: 35840 2203.94/2209.91 c #Conflicts: 1141000 | #Constraints: 36840 2203.94/2209.91 c #Conflicts: 1142000 | #Constraints: 37840 2203.94/2209.91 c #Conflicts: 1143000 | #Constraints: 38840 2203.94/2209.91 c #Conflicts: 1144000 | #Constraints: 39840 2203.94/2209.91 c #Conflicts: 1145000 | #Constraints: 40840 2203.94/2209.91 c #Conflicts: 1146000 | #Constraints: 41840 2203.94/2209.91 c INPROCESSING 2203.94/2209.91 c GARBAGE COLLECT 2203.94/2209.91 c rational objective 0 2259.50/2265.67 c #Conflicts: 1147000 | #Constraints: 21642 2259.50/2265.67 c #Conflicts: 1148000 | #Constraints: 22642 2259.50/2265.67 c #Conflicts: 1149000 | #Constraints: 23642 2259.50/2265.67 c #Conflicts: 1150000 | #Constraints: 24643 2259.50/2265.67 c #Conflicts: 1151000 | #Constraints: 25643 2259.50/2265.67 c #Conflicts: 1152000 | #Constraints: 26644 2259.50/2265.67 c #Conflicts: 1153000 | #Constraints: 27645 2259.50/2265.67 c #Conflicts: 1154000 | #Constraints: 28645 2259.50/2265.67 c #Conflicts: 1155000 | #Constraints: 29645 2259.50/2265.67 c #Conflicts: 1156000 | #Constraints: 30645 2259.50/2265.67 c #Conflicts: 1157000 | #Constraints: 31647 2259.50/2265.67 c #Conflicts: 1158000 | #Constraints: 32647 2259.50/2265.67 c #Conflicts: 1159000 | #Constraints: 33647 2259.50/2265.67 c #Conflicts: 1160000 | #Constraints: 34647 2259.50/2265.67 c #Conflicts: 1161000 | #Constraints: 35647 2259.50/2265.67 c #Conflicts: 1162000 | #Constraints: 36647 2259.50/2265.67 c #Conflicts: 1163000 | #Constraints: 37647 2259.50/2265.67 c #Conflicts: 1164000 | #Constraints: 38647 2259.50/2265.67 c #Conflicts: 1165000 | #Constraints: 39647 2259.50/2265.67 c #Conflicts: 1166000 | #Constraints: 40647 2259.50/2265.67 c #Conflicts: 1167000 | #Constraints: 41647 2259.50/2265.67 c #Conflicts: 1168000 | #Constraints: 42647 2259.50/2265.67 c INPROCESSING 2259.50/2265.67 c GARBAGE COLLECT 2259.50/2265.67 c rational objective 0 2317.76/2324.05 c #Conflicts: 1169000 | #Constraints: 22236 2317.76/2324.05 c #Conflicts: 1170000 | #Constraints: 23236 2317.76/2324.05 c #Conflicts: 1171000 | #Constraints: 24236 2317.76/2324.05 c #Conflicts: 1172000 | #Constraints: 25236 2317.76/2324.05 c #Conflicts: 1173000 | #Constraints: 26236 2317.76/2324.05 c #Conflicts: 1174000 | #Constraints: 27236 2317.76/2324.05 c #Conflicts: 1175000 | #Constraints: 28236 2317.76/2324.05 c #Conflicts: 1176000 | #Constraints: 29236 2317.76/2324.05 c #Conflicts: 1177000 | #Constraints: 30236 2317.76/2324.05 c #Conflicts: 1178000 | #Constraints: 31236 2317.76/2324.05 c #Conflicts: 1179000 | #Constraints: 32236 2317.76/2324.05 c #Conflicts: 1180000 | #Constraints: 33236 2317.76/2324.05 c #Conflicts: 1181000 | #Constraints: 34236 2317.76/2324.05 c #Conflicts: 1182000 | #Constraints: 35236 2317.76/2324.05 c #Conflicts: 1183000 | #Constraints: 36236 2317.76/2324.05 c #Conflicts: 1184000 | #Constraints: 37236 2317.76/2324.05 c #Conflicts: 1185000 | #Constraints: 38236 2317.76/2324.05 c #Conflicts: 1186000 | #Constraints: 39236 2317.76/2324.05 c #Conflicts: 1187000 | #Constraints: 40237 2317.76/2324.05 c #Conflicts: 1188000 | #Constraints: 41237 2317.76/2324.05 c #Conflicts: 1189000 | #Constraints: 42237 2317.76/2324.05 c #Conflicts: 1190000 | #Constraints: 43237 2317.76/2324.05 c INPROCESSING 2317.76/2324.05 c GARBAGE COLLECT 2317.76/2324.05 c rational objective 0 2406.32/2412.89 c #Conflicts: 1191000 | #Constraints: 22637 2406.32/2412.89 c #Conflicts: 1192000 | #Constraints: 23637 2406.32/2412.89 c #Conflicts: 1193000 | #Constraints: 24637 2406.32/2412.89 c #Conflicts: 1194000 | #Constraints: 25637 2406.32/2412.89 c #Conflicts: 1195000 | #Constraints: 26637 2406.32/2412.89 c #Conflicts: 1196000 | #Constraints: 27637 2406.32/2412.89 c #Conflicts: 1197000 | #Constraints: 28637 2406.32/2412.89 c #Conflicts: 1198000 | #Constraints: 29637 2406.32/2412.89 c #Conflicts: 1199000 | #Constraints: 30637 2406.32/2412.89 c #Conflicts: 1200000 | #Constraints: 31637 2406.32/2412.89 c #Conflicts: 1201000 | #Constraints: 32637 2406.32/2412.89 c #Conflicts: 1202000 | #Constraints: 33637 2406.32/2412.89 c #Conflicts: 1203000 | #Constraints: 34637 2406.32/2412.89 c #Conflicts: 1204000 | #Constraints: 35637 2406.32/2412.89 c #Conflicts: 1205000 | #Constraints: 36637 2406.32/2412.89 c #Conflicts: 1206000 | #Constraints: 37637 2406.32/2412.89 c #Conflicts: 1207000 | #Constraints: 38637 2406.32/2412.89 c #Conflicts: 1208000 | #Constraints: 39637 2406.32/2412.89 c #Conflicts: 1209000 | #Constraints: 40637 2406.32/2412.89 c #Conflicts: 1210000 | #Constraints: 41637 2406.32/2412.89 c #Conflicts: 1211000 | #Constraints: 42637 2406.32/2412.89 c #Conflicts: 1212000 | #Constraints: 43638 2406.32/2412.89 c INPROCESSING 2406.32/2412.89 c GARBAGE COLLECT 2406.32/2412.89 c rational objective 0 2475.15/2481.81 c #Conflicts: 1213000 | #Constraints: 22835 2475.15/2481.81 c #Conflicts: 1214000 | #Constraints: 23835 2475.15/2481.81 c #Conflicts: 1215000 | #Constraints: 24835 2475.15/2481.81 c #Conflicts: 1216000 | #Constraints: 25835 2475.15/2481.81 c #Conflicts: 1217000 | #Constraints: 26835 2475.15/2481.81 c #Conflicts: 1218000 | #Constraints: 27835 2475.15/2481.81 c #Conflicts: 1219000 | #Constraints: 28835 2475.15/2481.81 c #Conflicts: 1220000 | #Constraints: 29836 2475.15/2481.81 c #Conflicts: 1221000 | #Constraints: 30837 2475.15/2481.81 c #Conflicts: 1222000 | #Constraints: 31837 2475.15/2481.81 c #Conflicts: 1223000 | #Constraints: 32837 2475.15/2481.81 c #Conflicts: 1224000 | #Constraints: 33837 2475.15/2481.81 c #Conflicts: 1225000 | #Constraints: 34838 2475.15/2481.81 c #Conflicts: 1226000 | #Constraints: 35838 2475.15/2481.81 c #Conflicts: 1227000 | #Constraints: 36838 2475.15/2481.81 c #Conflicts: 1228000 | #Constraints: 37838 2475.15/2481.81 c #Conflicts: 1229000 | #Constraints: 38838 2475.15/2481.81 c #Conflicts: 1230000 | #Constraints: 39838 2475.15/2481.81 c #Conflicts: 1231000 | #Constraints: 40838 2475.15/2481.81 c #Conflicts: 1232000 | #Constraints: 41838 2475.15/2481.81 c #Conflicts: 1233000 | #Constraints: 42839 2475.15/2481.81 c #Conflicts: 1234000 | #Constraints: 43839 2475.15/2481.81 c INPROCESSING 2475.15/2481.81 c GARBAGE COLLECT 2475.15/2481.81 c rational objective 0 2570.22/2577.17 c #Conflicts: 1235000 | #Constraints: 22834 2570.22/2577.17 c #Conflicts: 1236000 | #Constraints: 23834 2570.22/2577.17 c #Conflicts: 1237000 | #Constraints: 24835 2570.22/2577.17 c #Conflicts: 1238000 | #Constraints: 25836 2570.22/2577.17 c #Conflicts: 1239000 | #Constraints: 26836 2570.22/2577.17 c #Conflicts: 1240000 | #Constraints: 27836 2570.22/2577.17 c #Conflicts: 1241000 | #Constraints: 28836 2570.22/2577.17 c #Conflicts: 1242000 | #Constraints: 29836 2570.22/2577.17 c #Conflicts: 1243000 | #Constraints: 30836 2570.22/2577.17 c #Conflicts: 1244000 | #Constraints: 31836 2570.22/2577.17 c #Conflicts: 1245000 | #Constraints: 32837 2570.22/2577.17 c #Conflicts: 1246000 | #Constraints: 33837 2570.22/2577.17 c #Conflicts: 1247000 | #Constraints: 34837 2570.22/2577.17 c #Conflicts: 1248000 | #Constraints: 35837 2570.22/2577.17 c #Conflicts: 1249000 | #Constraints: 36837 2570.22/2577.17 c #Conflicts: 1250000 | #Constraints: 37837 2570.22/2577.17 c #Conflicts: 1251000 | #Constraints: 38837 2570.22/2577.17 c #Conflicts: 1252000 | #Constraints: 39837 2570.22/2577.17 c #Conflicts: 1253000 | #Constraints: 40837 2570.22/2577.17 c #Conflicts: 1254000 | #Constraints: 41837 2570.22/2577.17 c #Conflicts: 1255000 | #Constraints: 42837 2570.22/2577.17 c #Conflicts: 1256000 | #Constraints: 43838 2570.22/2577.17 c INPROCESSING 2570.22/2577.17 c GARBAGE COLLECT 2570.22/2577.17 c rational objective 0 2632.55/2639.60 c #Conflicts: 1257000 | #Constraints: 22642 2632.55/2639.60 c #Conflicts: 1258000 | #Constraints: 23642 2632.55/2639.60 c #Conflicts: 1259000 | #Constraints: 24642 2632.55/2639.60 c #Conflicts: 1260000 | #Constraints: 25642 2632.55/2639.60 c #Conflicts: 1261000 | #Constraints: 26642 2632.55/2639.60 c #Conflicts: 1262000 | #Constraints: 27642 2632.55/2639.60 c #Conflicts: 1263000 | #Constraints: 28642 2632.55/2639.60 c #Conflicts: 1264000 | #Constraints: 29642 2632.55/2639.60 c #Conflicts: 1265000 | #Constraints: 30642 2632.55/2639.60 c #Conflicts: 1266000 | #Constraints: 31642 2632.55/2639.60 c #Conflicts: 1267000 | #Constraints: 32642 2632.55/2639.60 c #Conflicts: 1268000 | #Constraints: 33642 2632.55/2639.60 c #Conflicts: 1269000 | #Constraints: 34642 2632.55/2639.60 c #Conflicts: 1270000 | #Constraints: 35642 2632.55/2639.60 c #Conflicts: 1271000 | #Constraints: 36642 2632.55/2639.60 c #Conflicts: 1272000 | #Constraints: 37642 2632.55/2639.60 c #Conflicts: 1273000 | #Constraints: 38642 2632.55/2639.60 c #Conflicts: 1274000 | #Constraints: 39642 2632.55/2639.60 c #Conflicts: 1275000 | #Constraints: 40642 2632.55/2639.60 c #Conflicts: 1276000 | #Constraints: 41642 2632.55/2639.60 c #Conflicts: 1277000 | #Constraints: 42642 2632.55/2639.60 c #Conflicts: 1278000 | #Constraints: 43642 2632.55/2639.60 c #Conflicts: 1279000 | #Constraints: 44642 2632.55/2639.60 c INPROCESSING 2632.55/2639.60 c GARBAGE COLLECT 2632.55/2639.60 c rational objective 0 2729.21/2736.54 c #Conflicts: 1280000 | #Constraints: 23236 2729.21/2736.54 c #Conflicts: 1281000 | #Constraints: 24236 2729.21/2736.54 c #Conflicts: 1282000 | #Constraints: 25236 2729.21/2736.54 c #Conflicts: 1283000 | #Constraints: 26236 2729.21/2736.54 c #Conflicts: 1284000 | #Constraints: 27236 2729.21/2736.54 c #Conflicts: 1285000 | #Constraints: 28236 2729.21/2736.54 c #Conflicts: 1286000 | #Constraints: 29236 2729.21/2736.54 c #Conflicts: 1287000 | #Constraints: 30238 2729.21/2736.54 c #Conflicts: 1288000 | #Constraints: 31239 2729.21/2736.54 c #Conflicts: 1289000 | #Constraints: 32239 2729.21/2736.54 c #Conflicts: 1290000 | #Constraints: 33239 2729.21/2736.54 c #Conflicts: 1291000 | #Constraints: 34239 2729.21/2736.54 c #Conflicts: 1292000 | #Constraints: 35239 2729.21/2736.54 c #Conflicts: 1293000 | #Constraints: 36240 2729.21/2736.54 c #Conflicts: 1294000 | #Constraints: 37240 2729.21/2736.54 c #Conflicts: 1295000 | #Constraints: 38240 2729.21/2736.54 c #Conflicts: 1296000 | #Constraints: 39240 2729.21/2736.54 c #Conflicts: 1297000 | #Constraints: 40240 2729.21/2736.54 c #Conflicts: 1298000 | #Constraints: 41240 2729.21/2736.54 c #Conflicts: 1299000 | #Constraints: 42240 2729.21/2736.54 c #Conflicts: 1300000 | #Constraints: 43240 2729.21/2736.54 c #Conflicts: 1301000 | #Constraints: 44240 2729.21/2736.54 c #Conflicts: 1302000 | #Constraints: 45240 2729.21/2736.54 c INPROCESSING 2729.21/2736.54 c GARBAGE COLLECT 2729.21/2736.54 c rational objective 0 2796.44/2803.99 c #Conflicts: 1303000 | #Constraints: 23641 2796.44/2803.99 c #Conflicts: 1304000 | #Constraints: 24641 2796.44/2803.99 c #Conflicts: 1305000 | #Constraints: 25641 2796.44/2803.99 c #Conflicts: 1306000 | #Constraints: 26641 2796.44/2803.99 c #Conflicts: 1307000 | #Constraints: 27641 2796.44/2803.99 c #Conflicts: 1308000 | #Constraints: 28641 2796.44/2803.99 c #Conflicts: 1309000 | #Constraints: 29641 2796.44/2803.99 c #Conflicts: 1310000 | #Constraints: 30643 2796.44/2803.99 c #Conflicts: 1311000 | #Constraints: 31643 2796.44/2803.99 c #Conflicts: 1312000 | #Constraints: 32644 2796.44/2803.99 c #Conflicts: 1313000 | #Constraints: 33644 2796.44/2803.99 c #Conflicts: 1314000 | #Constraints: 34644 2796.44/2803.99 c #Conflicts: 1315000 | #Constraints: 35644 2796.44/2803.99 c #Conflicts: 1316000 | #Constraints: 36644 2796.44/2803.99 c #Conflicts: 1317000 | #Constraints: 37644 2796.44/2803.99 c #Conflicts: 1318000 | #Constraints: 38644 2796.44/2803.99 c #Conflicts: 1319000 | #Constraints: 39644 2796.44/2803.99 c #Conflicts: 1320000 | #Constraints: 40644 2796.44/2803.99 c #Conflicts: 1321000 | #Constraints: 41644 2796.44/2803.99 c #Conflicts: 1322000 | #Constraints: 42644 2796.44/2803.99 c #Conflicts: 1323000 | #Constraints: 43644 2796.44/2803.99 c #Conflicts: 1324000 | #Constraints: 44644 2796.44/2803.99 c #Conflicts: 1325000 | #Constraints: 45645 2796.44/2803.99 c INPROCESSING 2796.44/2803.99 c GARBAGE COLLECT 2796.44/2803.99 c rational objective 0 2872.04/2879.72 c #Conflicts: 1326000 | #Constraints: 23840 2872.04/2879.72 c #Conflicts: 1327000 | #Constraints: 24840 2872.04/2879.72 c #Conflicts: 1328000 | #Constraints: 25840 2872.04/2879.72 c #Conflicts: 1329000 | #Constraints: 26840 2872.04/2879.72 c #Conflicts: 1330000 | #Constraints: 27840 2872.04/2879.72 c #Conflicts: 1331000 | #Constraints: 28840 2872.04/2879.72 c #Conflicts: 1332000 | #Constraints: 29840 2872.04/2879.72 c #Conflicts: 1333000 | #Constraints: 30840 2872.04/2879.72 c #Conflicts: 1334000 | #Constraints: 31840 2872.04/2879.72 c #Conflicts: 1335000 | #Constraints: 32840 2872.04/2879.72 c #Conflicts: 1336000 | #Constraints: 33840 2872.04/2879.72 c #Conflicts: 1337000 | #Constraints: 34840 2872.04/2879.72 c #Conflicts: 1338000 | #Constraints: 35841 2872.04/2879.72 c #Conflicts: 1339000 | #Constraints: 36841 2872.04/2879.72 c #Conflicts: 1340000 | #Constraints: 37841 2872.04/2879.72 c #Conflicts: 1341000 | #Constraints: 38841 2872.04/2879.72 c #Conflicts: 1342000 | #Constraints: 39841 2872.04/2879.72 c #Conflicts: 1343000 | #Constraints: 40841 2872.04/2879.72 c #Conflicts: 1344000 | #Constraints: 41841 2872.04/2879.72 c #Conflicts: 1345000 | #Constraints: 42841 2872.04/2879.72 c #Conflicts: 1346000 | #Constraints: 43841 2872.04/2879.72 c #Conflicts: 1347000 | #Constraints: 44841 2872.04/2879.72 c #Conflicts: 1348000 | #Constraints: 45841 2872.04/2879.72 c INPROCESSING 2872.04/2879.72 c GARBAGE COLLECT 2872.04/2879.72 c rational objective 0 2978.87/2986.89 c #Conflicts: 1349000 | #Constraints: 23834 2978.87/2986.89 c #Conflicts: 1350000 | #Constraints: 24834 2978.87/2986.89 c #Conflicts: 1351000 | #Constraints: 25834 2978.87/2986.89 c #Conflicts: 1352000 | #Constraints: 26834 2978.87/2986.89 c #Conflicts: 1353000 | #Constraints: 27834 2978.87/2986.89 c #Conflicts: 1354000 | #Constraints: 28834 2978.87/2986.89 c #Conflicts: 1355000 | #Constraints: 29834 2978.87/2986.89 c #Conflicts: 1356000 | #Constraints: 30835 2978.87/2986.89 c #Conflicts: 1357000 | #Constraints: 31835 2978.87/2986.89 c #Conflicts: 1358000 | #Constraints: 32835 2978.87/2986.89 c #Conflicts: 1359000 | #Constraints: 33835 2978.87/2986.89 c #Conflicts: 1360000 | #Constraints: 34835 2978.87/2986.89 c #Conflicts: 1361000 | #Constraints: 35835 2978.87/2986.89 c #Conflicts: 1362000 | #Constraints: 36835 2978.87/2986.89 c #Conflicts: 1363000 | #Constraints: 37836 2978.87/2986.89 c #Conflicts: 1364000 | #Constraints: 38836 2978.87/2986.89 c #Conflicts: 1365000 | #Constraints: 39836 2978.87/2986.89 c #Conflicts: 1366000 | #Constraints: 40837 2978.87/2986.89 c #Conflicts: 1367000 | #Constraints: 41837 2978.87/2986.89 c #Conflicts: 1368000 | #Constraints: 42837 2978.87/2986.89 c #Conflicts: 1369000 | #Constraints: 43838 2978.87/2986.89 c #Conflicts: 1370000 | #Constraints: 44838 2978.87/2986.89 c #Conflicts: 1371000 | #Constraints: 45838 2978.87/2986.89 c INPROCESSING 2978.87/2986.89 c GARBAGE COLLECT 2978.87/2986.89 c rational objective 0 3054.78/3062.95 c #Conflicts: 1372000 | #Constraints: 23642 3054.78/3062.95 c #Conflicts: 1373000 | #Constraints: 24642 3054.78/3062.95 c #Conflicts: 1374000 | #Constraints: 25642 3054.78/3062.95 c #Conflicts: 1375000 | #Constraints: 26642 3054.78/3062.95 c #Conflicts: 1376000 | #Constraints: 27642 3054.78/3062.95 c #Conflicts: 1377000 | #Constraints: 28642 3054.78/3062.95 c #Conflicts: 1378000 | #Constraints: 29642 3054.78/3062.95 c #Conflicts: 1379000 | #Constraints: 30643 3054.78/3062.95 c #Conflicts: 1380000 | #Constraints: 31643 3054.78/3062.95 c #Conflicts: 1381000 | #Constraints: 32643 3054.78/3062.95 c #Conflicts: 1382000 | #Constraints: 33643 3054.78/3062.95 c #Conflicts: 1383000 | #Constraints: 34643 3054.78/3062.95 c #Conflicts: 1384000 | #Constraints: 35643 3054.78/3062.95 c #Conflicts: 1385000 | #Constraints: 36643 3054.78/3062.95 c #Conflicts: 1386000 | #Constraints: 37643 3054.78/3062.95 c #Conflicts: 1387000 | #Constraints: 38644 3054.78/3062.95 c #Conflicts: 1388000 | #Constraints: 39644 3054.78/3062.95 c #Conflicts: 1389000 | #Constraints: 40644 3054.78/3062.95 c #Conflicts: 1390000 | #Constraints: 41644 3054.78/3062.95 c #Conflicts: 1391000 | #Constraints: 42644 3054.78/3062.95 c #Conflicts: 1392000 | #Constraints: 43644 3054.78/3062.95 c #Conflicts: 1393000 | #Constraints: 44644 3054.78/3062.95 c #Conflicts: 1394000 | #Constraints: 45644 3054.78/3062.95 c #Conflicts: 1395000 | #Constraints: 46644 3054.78/3062.95 c INPROCESSING 3054.78/3062.95 c GARBAGE COLLECT 3054.78/3062.95 c rational objective 0 3169.49/3177.94 c #Conflicts: 1396000 | #Constraints: 24238 3169.49/3177.94 c #Conflicts: 1397000 | #Constraints: 25238 3169.49/3177.94 c #Conflicts: 1398000 | #Constraints: 26238 3169.49/3177.94 c #Conflicts: 1399000 | #Constraints: 27238 3169.49/3177.94 c #Conflicts: 1400000 | #Constraints: 28238 3169.49/3177.94 c #Conflicts: 1401000 | #Constraints: 29238 3169.49/3177.94 c #Conflicts: 1402000 | #Constraints: 30238 3169.49/3177.94 c #Conflicts: 1403000 | #Constraints: 31238 3169.49/3177.94 c #Conflicts: 1404000 | #Constraints: 32238 3169.49/3177.94 c #Conflicts: 1405000 | #Constraints: 33239 3169.49/3177.94 c #Conflicts: 1406000 | #Constraints: 34239 3169.49/3177.94 c #Conflicts: 1407000 | #Constraints: 35239 3169.49/3177.94 c #Conflicts: 1408000 | #Constraints: 36239 3169.49/3177.94 c #Conflicts: 1409000 | #Constraints: 37239 3169.49/3177.94 c #Conflicts: 1410000 | #Constraints: 38239 3169.49/3177.94 c #Conflicts: 1411000 | #Constraints: 39239 3169.49/3177.94 c #Conflicts: 1412000 | #Constraints: 40239 3169.49/3177.94 c #Conflicts: 1413000 | #Constraints: 41239 3169.49/3177.94 c #Conflicts: 1414000 | #Constraints: 42239 3169.49/3177.94 c #Conflicts: 1415000 | #Constraints: 43239 3169.49/3177.94 c #Conflicts: 1416000 | #Constraints: 44239 3169.49/3177.94 c #Conflicts: 1417000 | #Constraints: 45239 3169.49/3177.94 c #Conflicts: 1418000 | #Constraints: 46239 3169.49/3177.94 c #Conflicts: 1419000 | #Constraints: 47240 3169.49/3177.94 c INPROCESSING 3169.49/3177.94 c GARBAGE COLLECT 3169.49/3177.94 c rational objective 0 3242.42/3251.05 c #Conflicts: 1420000 | #Constraints: 24641 3242.42/3251.05 c #Conflicts: 1421000 | #Constraints: 25641 3242.42/3251.05 c #Conflicts: 1422000 | #Constraints: 26641 3242.42/3251.05 c #Conflicts: 1423000 | #Constraints: 27641 3242.42/3251.05 c #Conflicts: 1424000 | #Constraints: 28641 3242.42/3251.05 c #Conflicts: 1425000 | #Constraints: 29641 3242.42/3251.05 c #Conflicts: 1426000 | #Constraints: 30642 3242.42/3251.05 c #Conflicts: 1427000 | #Constraints: 31642 3242.42/3251.05 c #Conflicts: 1428000 | #Constraints: 32642 3242.42/3251.05 c #Conflicts: 1429000 | #Constraints: 33642 3242.42/3251.05 c #Conflicts: 1430000 | #Constraints: 34642 3242.42/3251.05 c #Conflicts: 1431000 | #Constraints: 35642 3242.42/3251.05 c #Conflicts: 1432000 | #Constraints: 36642 3242.42/3251.05 c #Conflicts: 1433000 | #Constraints: 37642 3242.42/3251.05 c #Conflicts: 1434000 | #Constraints: 38642 3242.42/3251.05 c #Conflicts: 1435000 | #Constraints: 39642 3242.42/3251.05 c #Conflicts: 1436000 | #Constraints: 40642 3242.42/3251.05 c #Conflicts: 1437000 | #Constraints: 41642 3242.42/3251.05 c #Conflicts: 1438000 | #Constraints: 42642 3242.42/3251.05 c #Conflicts: 1439000 | #Constraints: 43642 3242.42/3251.05 c #Conflicts: 1440000 | #Constraints: 44642 3242.42/3251.05 c #Conflicts: 1441000 | #Constraints: 45642 3242.42/3251.05 c #Conflicts: 1442000 | #Constraints: 46643 3242.42/3251.05 c #Conflicts: 1443000 | #Constraints: 47644 3242.42/3251.05 c INPROCESSING 3242.42/3251.05 c GARBAGE COLLECT 3242.42/3251.05 c rational objective 0 3323.39/3332.29 c #Conflicts: 1444000 | #Constraints: 24841 3323.39/3332.29 c #Conflicts: 1445000 | #Constraints: 25841 3323.39/3332.29 c #Conflicts: 1446000 | #Constraints: 26841 3323.39/3332.29 c #Conflicts: 1447000 | #Constraints: 27842 3323.39/3332.29 c #Conflicts: 1448000 | #Constraints: 28842 3323.39/3332.29 c #Conflicts: 1449000 | #Constraints: 29844 3323.39/3332.29 c #Conflicts: 1450000 | #Constraints: 30844 3323.39/3332.29 c #Conflicts: 1451000 | #Constraints: 31844 3323.39/3332.29 c #Conflicts: 1452000 | #Constraints: 32844 3323.39/3332.29 c #Conflicts: 1453000 | #Constraints: 33844 3323.39/3332.29 c #Conflicts: 1454000 | #Constraints: 34844 3323.39/3332.29 c #Conflicts: 1455000 | #Constraints: 35846 3323.39/3332.29 c #Conflicts: 1456000 | #Constraints: 36847 3323.39/3332.29 c #Conflicts: 1457000 | #Constraints: 37847 3323.39/3332.29 c #Conflicts: 1458000 | #Constraints: 38847 3323.39/3332.29 c #Conflicts: 1459000 | #Constraints: 39847 3323.39/3332.29 c #Conflicts: 1460000 | #Constraints: 40847 3323.39/3332.29 c #Conflicts: 1461000 | #Constraints: 41847 3323.39/3332.29 c #Conflicts: 1462000 | #Constraints: 42847 3323.39/3332.29 c #Conflicts: 1463000 | #Constraints: 43847 3323.39/3332.29 c #Conflicts: 1464000 | #Constraints: 44847 3323.39/3332.29 c #Conflicts: 1465000 | #Constraints: 45849 3323.39/3332.29 c #Conflicts: 1466000 | #Constraints: 46849 3323.39/3332.29 c #Conflicts: 1467000 | #Constraints: 47849 3323.39/3332.29 c INPROCESSING 3323.39/3332.29 c GARBAGE COLLECT 3323.39/3332.29 c rational objective 0 3445.69/3454.89 c #Conflicts: 1468000 | #Constraints: 24841 3445.69/3454.89 c #Conflicts: 1469000 | #Constraints: 25841 3445.69/3454.89 c #Conflicts: 1470000 | #Constraints: 26841 3445.69/3454.89 c #Conflicts: 1471000 | #Constraints: 27841 3445.69/3454.89 c #Conflicts: 1472000 | #Constraints: 28841 3445.69/3454.89 c #Conflicts: 1473000 | #Constraints: 29841 3445.69/3454.89 c #Conflicts: 1474000 | #Constraints: 30841 3445.69/3454.89 c #Conflicts: 1475000 | #Constraints: 31841 3445.69/3454.89 c #Conflicts: 1476000 | #Constraints: 32841 3445.69/3454.89 c #Conflicts: 1477000 | #Constraints: 33841 3445.69/3454.89 c #Conflicts: 1478000 | #Constraints: 34842 3445.69/3454.89 c #Conflicts: 1479000 | #Constraints: 35842 3445.69/3454.89 c #Conflicts: 1480000 | #Constraints: 36842 3445.69/3454.89 c #Conflicts: 1481000 | #Constraints: 37842 3445.69/3454.89 c #Conflicts: 1482000 | #Constraints: 38842 3445.69/3454.89 c #Conflicts: 1483000 | #Constraints: 39842 3445.69/3454.89 c #Conflicts: 1484000 | #Constraints: 40842 3445.69/3454.89 c #Conflicts: 1485000 | #Constraints: 41842 3445.69/3454.89 c #Conflicts: 1486000 | #Constraints: 42842 3445.69/3454.89 c #Conflicts: 1487000 | #Constraints: 43842 3445.69/3454.89 c #Conflicts: 1488000 | #Constraints: 44842 3445.69/3454.89 c #Conflicts: 1489000 | #Constraints: 45842 3445.69/3454.89 c #Conflicts: 1490000 | #Constraints: 46842 3445.69/3454.89 c #Conflicts: 1491000 | #Constraints: 47842 3445.69/3454.89 c INPROCESSING 3445.69/3454.89 c GARBAGE COLLECT 3445.69/3454.89 c rational objective 0 3524.88/3534.28 c #Conflicts: 1492000 | #Constraints: 24640 3524.88/3534.28 c #Conflicts: 1493000 | #Constraints: 25640 3524.88/3534.28 c #Conflicts: 1494000 | #Constraints: 26640 3524.88/3534.28 c #Conflicts: 1495000 | #Constraints: 27640 3524.88/3534.28 c #Conflicts: 1496000 | #Constraints: 28641 3524.88/3534.28 c #Conflicts: 1497000 | #Constraints: 29641 3524.88/3534.28 c #Conflicts: 1498000 | #Constraints: 30641 3524.88/3534.28 c #Conflicts: 1499000 | #Constraints: 31641 3524.88/3534.28 c #Conflicts: 1500000 | #Constraints: 32641 3524.88/3534.28 c #Conflicts: 1501000 | #Constraints: 33641 3524.88/3534.28 c #Conflicts: 1502000 | #Constraints: 34641 3524.88/3534.28 c #Conflicts: 1503000 | #Constraints: 35641 3524.88/3534.28 c #Conflicts: 1504000 | #Constraints: 36641 3524.88/3534.28 c #Conflicts: 1505000 | #Constraints: 37642 3524.88/3534.28 c #Conflicts: 1506000 | #Constraints: 38642 3524.88/3534.28 c #Conflicts: 1507000 | #Constraints: 39642 3524.88/3534.28 c #Conflicts: 1508000 | #Constraints: 40642 3524.88/3534.28 c #Conflicts: 1509000 | #Constraints: 41642 3524.88/3534.28 c #Conflicts: 1510000 | #Constraints: 42642 3524.88/3534.28 c #Conflicts: 1511000 | #Constraints: 43643 3524.88/3534.28 c #Conflicts: 1512000 | #Constraints: 44643 3524.88/3534.28 c #Conflicts: 1513000 | #Constraints: 45643 3524.88/3534.28 c #Conflicts: 1514000 | #Constraints: 46643 3524.88/3534.28 c #Conflicts: 1515000 | #Constraints: 47643 3524.88/3534.28 c #Conflicts: 1516000 | #Constraints: 48643 3524.88/3534.28 c INPROCESSING 3524.88/3534.28 c GARBAGE COLLECT 3524.88/3534.28 c rational objective 0 3600.00/3609.50 c #Conflicts: 1517000 | #Constraints: 25237 3600.00/3609.50 c #Conflicts: 1518000 | #Constraints: 26237 3600.00/3609.50 c #Conflicts: 1519000 | #Constraints: 27237 3600.00/3609.50 c #Conflicts: 1520000 | #Constraints: 28237 3600.00/3609.50 c #Conflicts: 1521000 | #Constraints: 29238 3600.00/3609.50 c #Conflicts: 1522000 | #Constraints: 30238 3600.00/3609.50 c #Conflicts: 1523000 | #Constraints: 31238 3600.00/3609.50 c #Conflicts: 1524000 | #Constraints: 32238 3600.00/3609.50 c #Conflicts: 1525000 | #Constraints: 33238 3600.00/3609.50 c #Conflicts: 1526000 | #Constraints: 34238 3600.00/3609.50 c #Conflicts: 1527000 | #Constraints: 35239 3600.00/3609.50 c #Conflicts: 1528000 | #Constraints: 36239 3600.00/3609.50 c #Conflicts: 1529000 | #Constraints: 37239 3600.00/3609.50 c #Conflicts: 1530000 | #Constraints: 38239 3600.00/3609.50 c #Conflicts: 1531000 | #Constraints: 39239 3600.00/3609.50 c Program interrupted by user. 3600.00/3609.53 c cpu time 3572.96 s 3600.00/3609.53 c deterministic time 501214388929 5.01e+11 3600.00/3609.53 c optimization time 74.6286 s 3600.00/3609.53 c total solve time 3498.33 s 3600.00/3609.53 c core-guided solve time 1757.14 s 3600.00/3609.53 c propagation time 3326.84 s 3600.00/3609.53 c conflict analysis time 213.56 s 3600.00/3609.53 c propagations 31289529 3600.00/3609.53 c resolve steps 9666700 3600.00/3609.53 c decisions 2625290 3600.00/3609.53 c conflicts 1531783 3600.00/3609.53 c restarts 3033 3600.00/3609.53 c inprocessing phases 114 3600.00/3609.53 c input clauses 0 3600.00/3609.53 c input cardinalities 0 3600.00/3609.53 c input general constraints 42 3600.00/3609.53 c input average constraint length 70.67 3600.00/3609.53 c input average constraint degree 1136.17 3600.00/3609.53 c learned clauses 854008 3600.00/3609.53 c learned cardinalities 1 3600.00/3609.53 c learned general constraints 678446 3600.00/3609.53 c learned average constraint length 56.86 3600.00/3609.53 c learned average constraint degree 549905912.45 3600.00/3609.53 c watched constraints 677462 3600.00/3609.53 c counting constraints 1026 3600.00/3609.53 c gcd simplifications 767256 3600.00/3609.53 c detected cardinalities 0 3600.00/3609.53 c weakened non-implied lits 27816225 3600.00/3609.53 c weakened non-implying lits 1074436 3600.00/3609.53 c original variables 146 3600.00/3609.53 c clausal propagations 464051 3600.00/3609.53 c cardinality propagations 0 3600.00/3609.53 c watched propagations 28440772 3600.00/3609.53 c counting propagations 1261319 3600.00/3609.53 c watch lookups 29066379429 3600.00/3609.53 c watch backjump lookups 11139346076 3600.00/3609.53 c watch checks 427396821577 3600.00/3609.53 c propagation checks 32632282239 3600.00/3609.53 c constraint additions 908667191 3600.00/3609.53 c trail pops 35445790 3600.00/3609.53 c formula constraints 12 3600.00/3609.53 c learned constraints 1531109 3600.00/3609.53 c bound constraints 30 3600.00/3609.53 c core-guided constraints 0 3600.00/3609.53 c encountered formula constraints 35991 3600.00/3609.53 c encountered learned constraints 3991482 3600.00/3609.53 c encountered bound constraints 439 3600.00/3609.53 c encountered core-guided constraints 0 3600.00/3609.53 c LP total time 33.4201 s 3600.00/3609.53 c LP solve time 26.65 s 3600.00/3609.53 c LP constraints added 81 3600.00/3609.53 c LP constraints removed 68 3600.00/3609.53 c LP pivots internal 1531787 3600.00/3609.53 c LP pivots root 20 3600.00/3609.53 c LP calls 215132 3600.00/3609.53 c LP optimalities 214459 3600.00/3609.53 c LP no pivot count 43310 3600.00/3609.53 c LP infeasibilities 673 3600.00/3609.53 c LP valid Farkas constraints 673 3600.00/3609.53 c LP learned Farkas constraints 673 3600.00/3609.53 c LP basis resets 0 3600.00/3609.53 c LP cycling count 0 3600.00/3609.53 c LP singular count 0 3600.00/3609.53 c LP no primal count 0 3600.00/3609.53 c LP no farkas count 0 3600.00/3609.53 c LP other issue count 0 3600.00/3609.53 c LP Gomory cuts 0 3600.00/3609.53 c LP learned cuts 69 3600.00/3609.53 c LP deleted cuts 68 3600.00/3609.53 c LP encountered Gomory constraints 0 3600.00/3609.53 c LP encountered Farkas constraints 6520656 3600.00/3609.53 c LP encountered learned Farkas constraints 649242 3600.00/3609.53 c CG auxiliary variables introduced 0 3600.00/3609.53 c CG solutions found 30 3600.00/3609.53 c CG cores constructed 0 3600.00/3609.53 c CG core cardinality constraints returned 0 3600.00/3609.53 c CG unit cores 0 3600.00/3609.53 c CG single cores 0 3600.00/3609.53 c CG blocks removed during cardinality reduction 0 3600.00/3609.53 c CG first core best 0 3600.00/3609.53 c CG decision core best 0 3600.00/3609.53 c CG core reduction tie 0 3600.00/3609.53 c CG core degree average 0.00 3600.00/3609.53 c CG core slack average 0.00 3600.00/3609.53 s SATISFIABLE 3600.00/3609.53 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 x100 x101 -x102 -x103 x104 -x105 -x106 -x107 x108 x109 -x110 -x111 -x112 -x113 -x114 x115 x116 x117 -x118 x119 x120 -x121 -x122 x123 -x124 -x125 -x126 x127 x128 x129 x130 -x131 -x132 x133 -x134 x135 x136 -x137 -x138 -x139 x140 x141 -x142 x143 -x144 x145 x146
OK 7
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (34783 MiB free)
memory of node 1: 64473 MiB (367 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456785-1721772865/watcher-4456785-1721772865 -o /tmp/evaluation-result-4456785-1721772865/solver-4456785-1721772865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721765642-113214 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456785-1721772865 --lp-cut-gomory=0 HOME/instance-4456785-1721772865.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
Starting watchdog thread
solver pid=117816, runsolver pid=117813
Current StackSize limit: 8192 KiB
[startup+0.100764 s]*
/proc/loadavg: 4.08 4.15 4.11 6/246 117817
/proc/meminfo: memFree=35989672/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=37912 memory=8580 CPUtime=0.1 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 442 0 0 0 10 0 0 0 20 0 1 0 13275944 38821888 2145 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 9478 2145 1910 992 0 1336 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 8580 KiB
[startup+0.213879 s]*
/proc/loadavg: 4.08 4.15 4.11 5/246 117817
/proc/meminfo: memFree=35986312/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=38036 memory=8772 CPUtime=0.21 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 505 0 0 0 20 1 0 0 20 0 1 0 13275944 38948864 2193 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 9509 2193 1910 992 0 1367 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38036 KiB
Current children cumulated memory: 8772 KiB
[startup+0.313652 s]*
/proc/loadavg: 4.08 4.15 4.11 5/246 117817
/proc/meminfo: memFree=35981804/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=38160 memory=11088 CPUtime=0.32 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 546 0 0 0 30 2 0 0 20 0 1 0 13275944 39075840 2772 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 9540 2772 1910 992 0 1398 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 38160 KiB
Current children cumulated memory: 11088 KiB
[startup+0.700328 s]
/proc/loadavg: 4.08 4.15 4.11 5/246 117817
/proc/meminfo: memFree=35975368/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=38284 memory=11212 CPUtime=0.68 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 594 0 0 0 65 3 0 0 20 0 1 0 13275944 39202816 2803 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 9571 2803 1910 992 0 1429 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 11212 KiB
[startup+1.50027 s]
/proc/loadavg: 4.08 4.15 4.11 5/241 117827
/proc/meminfo: memFree=36431224/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=38932 memory=11828 CPUtime=1.48 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 736 0 0 0 141 7 0 0 20 0 1 0 13275944 39866368 2957 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 9733 2957 1910 992 0 1591 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38932 KiB
Current children cumulated memory: 11828 KiB
[startup+3.11325 s]
/proc/loadavg: 4.07 4.14 4.10 8/242 117918
/proc/meminfo: memFree=36869736/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=39776 memory=12724 CPUtime=3.08 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 951 0 0 0 295 13 0 0 20 0 1 0 13275944 40730624 3181 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 9944 3181 1910 992 0 1802 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39776 KiB
Current children cumulated memory: 12724 KiB
[startup+6.30029 s]
/proc/loadavg: 4.07 4.14 4.10 5/246 118004
/proc/meminfo: memFree=36654744/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=40504 memory=13608 CPUtime=6.27 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 1176 0 0 0 599 28 0 0 20 0 1 0 13275944 41476096 3402 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 10126 3402 1910 992 0 1984 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40504 KiB
Current children cumulated memory: 13608 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.14 4.10 5/246 118004
/proc/meminfo: memFree=36415628/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=41496 memory=15356 CPUtime=12.64 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 1665 0 0 0 1219 45 0 0 20 0 1 0 13275944 42491904 3839 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 10374 3839 1910 992 0 2232 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 41496 KiB
Current children cumulated memory: 15356 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.15 4.11 5/246 118007
/proc/meminfo: memFree=36045156/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=45848 memory=18032 CPUtime=25.41 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 2316 0 0 0 2467 74 0 0 20 0 1 0 13275944 46948352 4508 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 11462 4508 1910 992 0 3320 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 45848 KiB
Current children cumulated memory: 18032 KiB
[startup+51.1131 s]
/proc/loadavg: 4.09 4.14 4.10 5/243 118010
/proc/meminfo: memFree=35588584/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=46616 memory=20384 CPUtime=50.97 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 3356 0 0 0 4969 128 0 0 20 0 1 0 13275944 47734784 5096 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 11654 5096 1910 992 0 3512 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 46616 KiB
Current children cumulated memory: 20384 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/242 118019
/proc/meminfo: memFree=34840436/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=53116 memory=23308 CPUtime=102.02 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 5231 0 0 0 9982 220 0 0 20 0 1 0 13275944 54390784 5827 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 13279 5827 1910 992 0 5137 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 53116 KiB
Current children cumulated memory: 23308 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/242 118030
/proc/meminfo: memFree=34089976/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=55244 memory=27016 CPUtime=161.86 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 7882 0 0 0 15876 310 0 0 20 0 1 0 13275944 56569856 6754 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 13811 6754 1910 992 0 5669 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 55244 KiB
Current children cumulated memory: 27016 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/242 118040
/proc/meminfo: memFree=33444208/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=55620 memory=28324 CPUtime=221.69 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 10529 0 0 0 21772 397 0 0 20 0 1 0 13275944 56954880 7081 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 13905 7081 1910 992 0 5763 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 55620 KiB
Current children cumulated memory: 28324 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/242 118051
/proc/meminfo: memFree=32893596/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=63376 memory=30632 CPUtime=281.51 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 13747 0 0 0 27682 469 0 0 20 0 1 0 13275944 64897024 7658 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 15844 7658 1910 992 0 7702 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 63376 KiB
Current children cumulated memory: 30632 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/242 118061
/proc/meminfo: memFree=32364264/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=63568 memory=32628 CPUtime=341.34 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 14170 0 0 0 33600 534 0 0 20 0 1 0 13275944 65093632 8157 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 15892 8157 1910 992 0 7750 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 63568 KiB
Current children cumulated memory: 32628 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/245 118076
/proc/meminfo: memFree=31879504/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=63952 memory=32896 CPUtime=401.18 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 14549 0 0 0 39520 598 0 0 20 0 1 0 13275944 65486848 8224 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 15988 8224 1910 992 0 7846 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 63952 KiB
Current children cumulated memory: 32896 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/245 118088
/proc/meminfo: memFree=31411836/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=64336 memory=33200 CPUtime=461.02 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 14848 0 0 0 45445 657 0 0 20 0 1 0 13275944 65880064 8300 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 16084 8300 1910 992 0 7942 0
################
# More data... #
################
Current children cumulated memory: 49596 KiB
[startup+2922.3 s]
/proc/loadavg: 4.29 4.38 4.30 5/246 119711
/proc/meminfo: memFree=20114568/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84640 memory=50000 CPUtime=2914.53 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 37493 0 0 0 289106 2347 0 0 20 0 1 0 13275944 86671360 12500 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21160 12500 1910 992 0 13018 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 84640 KiB
Current children cumulated memory: 50000 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.33 4.28 6/244 119722
/proc/meminfo: memFree=19930876/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84640 memory=50000 CPUtime=2974.38 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 37666 0 0 0 295064 2374 0 0 20 0 1 0 13275944 86671360 12500 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21160 12500 1910 992 0 13018 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 84640 KiB
Current children cumulated memory: 50000 KiB
[startup+3042.3 s]
/proc/loadavg: 4.37 4.36 4.29 5/244 119732
/proc/meminfo: memFree=19744060/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84896 memory=50260 CPUtime=3034.23 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 37916 0 0 0 301008 2415 0 0 20 0 1 0 13275944 86933504 12565 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21224 12565 1910 992 0 13082 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 84896 KiB
Current children cumulated memory: 50260 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.30 4.28 5/242 119743
/proc/meminfo: memFree=19555788/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84900 memory=50264 CPUtime=3094.07 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 38179 0 0 0 306959 2448 0 0 20 0 1 0 13275944 86937600 12566 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21225 12566 1910 992 0 13083 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 84900 KiB
Current children cumulated memory: 50264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.28 4.27 5/242 119753
/proc/meminfo: memFree=19376172/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84900 memory=50264 CPUtime=3153.92 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 38378 0 0 0 312918 2474 0 0 20 0 1 0 13275944 86937600 12566 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21225 12566 1910 992 0 13083 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 84900 KiB
Current children cumulated memory: 50264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.24 4.26 5/241 119763
/proc/meminfo: memFree=19181220/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84900 memory=50268 CPUtime=3213.78 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 38607 0 0 0 318870 2508 0 0 20 0 1 0 13275944 86937600 12567 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21225 12567 1910 992 0 13083 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 84900 KiB
Current children cumulated memory: 50268 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.22 4.25 6/241 119774
/proc/meminfo: memFree=18958800/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84900 memory=50268 CPUtime=3273.63 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 38956 0 0 0 324819 2544 0 0 20 0 1 0 13275944 86937600 12567 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21225 12567 1910 992 0 13083 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 84900 KiB
Current children cumulated memory: 50268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.21 4.24 5/241 119784
/proc/meminfo: memFree=18760944/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84904 memory=51920 CPUtime=3333.47 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 39392 0 0 0 330770 2577 0 0 20 0 1 0 13275944 86941696 12980 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21226 12980 1910 992 0 13084 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 84904 KiB
Current children cumulated memory: 51920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.24 5/243 119800
/proc/meminfo: memFree=18594008/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84904 memory=51920 CPUtime=3393.32 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 39400 0 0 0 336728 2604 0 0 20 0 1 0 13275944 86941696 12980 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21226 12980 1910 992 0 13084 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 84904 KiB
Current children cumulated memory: 51920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.18 4.23 5/243 119811
/proc/meminfo: memFree=18415520/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84904 memory=51924 CPUtime=3453.16 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 39895 0 0 0 342687 2629 0 0 20 0 1 0 13275944 86941696 12981 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21226 12981 1910 992 0 13084 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 84904 KiB
Current children cumulated memory: 51924 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.22 5/243 119821
/proc/meminfo: memFree=18192684/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84904 memory=51924 CPUtime=3513.02 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 39900 0 0 0 348639 2663 0 0 20 0 1 0 13275944 86941696 12981 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21226 12981 1910 992 0 13084 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 84904 KiB
Current children cumulated memory: 51924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.15 4.21 5/244 119833
/proc/meminfo: memFree=18009464/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84908 memory=51932 CPUtime=3572.86 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 40244 0 0 0 354593 2693 0 0 20 0 1 0 13275944 86945792 12983 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21227 12983 1910 992 0 13085 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 84908 KiB
Current children cumulated memory: 51932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.11 4.15 4.21 5/239 119864
/proc/meminfo: memFree=26344536/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84908 memory=51932 CPUtime=3600 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 40261 0 0 0 357295 2705 0 0 20 0 1 0 13275944 86945792 12983 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21227 12983 1910 992 0 13085 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 84908 KiB
Current children cumulated memory: 51932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.54 s]
# the end of solver process 117816 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.96 s, system=27.0564 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.11 4.15 4.21 5/239 119864
/proc/meminfo: memFree=26344536/131655788 swapFree=131070960/131071996
[pid=117816] ppid=117813 vsize=84908 memory=51932 CPUtime=3600 cores=1,3
/proc/117816/stat : 117816 (roundingsat) R 117813 117816 113202 0 -1 4194304 40261 0 0 0 357295 2705 0 0 20 0 1 0 13275944 86945792 12983 134679101440 4194304 8254037 140725468023648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21737472 140725468025696 140725468025958 140725468025958 140725468032969 0
/proc/117816/statm: 21227 12983 1910 992 0 13085 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 84908 KiB
Current children cumulated memory: 51932 KiB
Child status: 0
Real time (s): 3609.54
CPU time (s): 3600.01
CPU user time (s): 3572.96
CPU system time (s): 27.0564
CPU usage (%): 99.7362
Max. virtual memory (cumulated for all children) (KiB): 85252
Max. memory (cumulated for all children) (KiB): 51932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.96
system time used= 27.0564
maximum resident set size= 52420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18388656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199
involuntary context switches= 8460
# summary of solver processes directly reported to runsolver:
# pid: 117816
# total CPU time (s): 3600.01
# total CPU user time (s): 3572.96
# total CPU system time (s): 27.0564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8185 second user time and 37.0116 second system time
The end
Begin job on nodeC007 at 2024-07-24 00:14:25 IDJOB=4456785 IDBENCH=147612 IDSOLVER=3085 FILE ID=nodeC007/4456785-1721772865 RUNJOBID= nodeC007-1721765642-113214 SLURM_JOB_ID= 7770669 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456785-1721772865/watcher-4456785-1721772865 -o /tmp/evaluation-result-4456785-1721772865/solver-4456785-1721772865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721765642-113214 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456785-1721772865 --lp-cut-gomory=0 HOME/instance-4456785-1721772865.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277 RANDOM SEED=1047111487 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3565.279 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.851 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.352 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.206 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3680.534 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3549.510 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.411 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.329 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 35995920 kB MemAvailable: 128952040 kB Buffers: 189852 kB Cached: 93484788 kB SwapCached: 176 kB Active: 718840 kB Inactive: 94206580 kB Active(anon): 1524 kB Inactive(anon): 1286720 kB Active(file): 717316 kB Inactive(file): 92919860 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070960 kB Dirty: 86736 kB Writeback: 0 kB AnonPages: 1250780 kB Mapped: 90284 kB Shmem: 37356 kB KReclaimable: 318284 kB Slab: 422624 kB SReclaimable: 318284 kB SUnreclaim: 104340 kB KernelStack: 3928 kB PageTables: 12312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1667836 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14336 kB HardwareCorrupted: 0 kB AnonHugePages: 1198080 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 367432 kB DirectMap2M: 54063104 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723760 MiB End job on nodeC007 at 2024-07-24 01:14:35