| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.08 | 3630.31 |
| 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.001324 0.00/0.00 c rational objective 0 0.77/0.82 c bounds 371 >= 0 @ 0.035757 0.77/0.82 c bounds 216 >= 0 @ 0.036419 0.77/0.82 c bounds 156 >= 0 @ 0.03674 0.77/0.82 c bounds 96 >= 0 @ 0.040141 0.77/0.82 c #Conflicts: 1000 | #Constraints: 1030 0.77/0.82 c #Conflicts: 2000 | #Constraints: 2036 0.77/0.82 c INPROCESSING 0.77/0.82 c GARBAGE COLLECT 0.77/0.82 c rational objective 0 1.47/1.56 c bounds 92 >= 0 @ 0.759528 1.47/1.56 c bounds 90 >= 0 @ 0.759581 1.47/1.56 c bounds 88 >= 0 @ 0.760495 1.47/1.56 c bounds 80 >= 0 @ 0.761783 1.47/1.56 c bounds 72 >= 0 @ 0.764846 1.47/1.56 c bounds 64 >= 0 @ 0.875359 1.47/1.56 c bounds 56 >= 0 @ 0.878168 1.47/1.56 c bounds 52 >= 0 @ 0.881209 1.47/1.56 c bounds 50 >= 0 @ 0.909635 1.47/1.56 c bounds 49 >= 0 @ 0.995601 1.47/1.56 c bounds 48 >= 0 @ 1.00738 1.47/1.56 c bounds 46 >= 0 @ 1.00792 1.47/1.56 c bounds 44 >= 0 @ 1.0088 1.47/1.56 c bounds 42 >= 0 @ 1.00937 1.47/1.56 c #Conflicts: 3000 | #Constraints: 2062 1.47/1.56 c bounds 40 >= 0 @ 1.12537 1.47/1.56 c #Conflicts: 4000 | #Constraints: 3071 1.47/1.56 c INPROCESSING 1.47/1.56 c GARBAGE COLLECT 1.47/1.56 c rational objective 0 2.17/2.24 c bounds 38 >= 0 @ 1.45976 2.17/2.24 c bounds 36 >= 0 @ 1.45995 2.17/2.24 c bounds 32 >= 0 @ 1.46117 2.17/2.24 c bounds 30 >= 0 @ 1.62708 2.17/2.24 c #Conflicts: 5000 | #Constraints: 2456 2.17/2.24 c #Conflicts: 6000 | #Constraints: 3466 2.17/2.24 c bounds 23 >= 0 @ 2.02981 2.17/2.24 c INPROCESSING 2.17/2.24 c GARBAGE COLLECT 2.17/2.24 c rational objective 0 2.87/2.98 c #Conflicts: 7000 | #Constraints: 2456 2.87/2.98 c #Conflicts: 8000 | #Constraints: 3463 2.87/2.98 c #Conflicts: 9000 | #Constraints: 4467 2.87/2.98 c INPROCESSING 2.87/2.98 c GARBAGE COLLECT 2.87/2.98 c rational objective 0 3.76/3.87 c bounds 19 >= 0 @ 2.80423 3.76/3.87 c bounds 15 >= 0 @ 2.8066 3.76/3.87 c #Conflicts: 10000 | #Constraints: 3157 3.76/3.87 c #Conflicts: 11000 | #Constraints: 4164 3.76/3.87 c #Conflicts: 12000 | #Constraints: 5171 3.76/3.87 c INPROCESSING 3.76/3.87 c GARBAGE COLLECT 3.76/3.87 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.82 c #Conflicts: 16000 | #Constraints: 3821 5.76/5.82 c bounds 12 >= 0 @ 5.04173 5.76/5.82 c #Conflicts: 17000 | #Constraints: 4825 5.76/5.82 c #Conflicts: 18000 | #Constraints: 5827 5.76/5.82 c INPROCESSING 5.76/5.82 c GARBAGE COLLECT 5.76/5.82 c rational objective 0 6.97/7.11 c bounds 10 >= 0 @ 5.54005 6.97/7.11 c #Conflicts: 19000 | #Constraints: 3835 6.97/7.11 c #Conflicts: 20000 | #Constraints: 4844 6.97/7.11 c #Conflicts: 21000 | #Constraints: 5849 6.97/7.11 c INPROCESSING 6.97/7.11 c GARBAGE COLLECT 6.97/7.11 c rational objective 0 8.25/8.36 c #Conflicts: 22000 | #Constraints: 3641 8.25/8.36 c #Conflicts: 23000 | #Constraints: 4644 8.25/8.36 c #Conflicts: 24000 | #Constraints: 5648 8.25/8.36 c #Conflicts: 25000 | #Constraints: 6649 8.25/8.36 c INPROCESSING 8.25/8.36 c GARBAGE COLLECT 8.25/8.36 c rational objective 0 9.65/9.78 c #Conflicts: 26000 | #Constraints: 4240 9.65/9.78 c #Conflicts: 27000 | #Constraints: 5241 9.65/9.78 c #Conflicts: 28000 | #Constraints: 6241 9.65/9.78 c #Conflicts: 29000 | #Constraints: 7244 9.65/9.78 c INPROCESSING 9.65/9.78 c GARBAGE COLLECT 9.65/9.78 c rational objective 0 11.54/11.69 c #Conflicts: 30000 | #Constraints: 4636 11.54/11.69 c #Conflicts: 31000 | #Constraints: 5642 11.54/11.69 c #Conflicts: 32000 | #Constraints: 6645 11.54/11.69 c #Conflicts: 33000 | #Constraints: 7649 11.54/11.69 c INPROCESSING 11.54/11.69 c GARBAGE COLLECT 11.54/11.69 c rational objective 0 13.14/13.29 c #Conflicts: 34000 | #Constraints: 4845 13.14/13.29 c #Conflicts: 35000 | #Constraints: 5851 13.14/13.29 c #Conflicts: 36000 | #Constraints: 6853 13.14/13.29 c #Conflicts: 37000 | #Constraints: 7856 13.14/13.29 c INPROCESSING 13.14/13.29 c GARBAGE COLLECT 13.14/13.29 c rational objective 0 15.43/15.55 c #Conflicts: 38000 | #Constraints: 4845 15.43/15.55 c #Conflicts: 39000 | #Constraints: 5845 15.43/15.55 c #Conflicts: 40000 | #Constraints: 6847 15.43/15.55 c #Conflicts: 41000 | #Constraints: 7848 15.43/15.55 c INPROCESSING 15.43/15.55 c GARBAGE COLLECT 15.43/15.55 c rational objective 0 17.52/17.68 c #Conflicts: 42000 | #Constraints: 4641 17.52/17.68 c #Conflicts: 43000 | #Constraints: 5643 17.52/17.68 c #Conflicts: 44000 | #Constraints: 6643 17.52/17.68 c #Conflicts: 45000 | #Constraints: 7645 17.52/17.68 c #Conflicts: 46000 | #Constraints: 8647 17.52/17.68 c INPROCESSING 17.52/17.68 c GARBAGE COLLECT 17.52/17.68 c rational objective 0 20.31/20.40 c #Conflicts: 47000 | #Constraints: 5240 20.31/20.40 c #Conflicts: 48000 | #Constraints: 6248 20.31/20.40 c #Conflicts: 49000 | #Constraints: 7251 20.31/20.40 c #Conflicts: 50000 | #Constraints: 8254 20.31/20.40 c #Conflicts: 51000 | #Constraints: 9255 20.31/20.40 c INPROCESSING 20.31/20.40 c GARBAGE COLLECT 20.31/20.40 c rational objective 0 22.51/22.66 c #Conflicts: 52000 | #Constraints: 5650 22.51/22.66 c #Conflicts: 53000 | #Constraints: 6651 22.51/22.66 c #Conflicts: 54000 | #Constraints: 7654 22.51/22.66 c #Conflicts: 55000 | #Constraints: 8654 22.51/22.66 c #Conflicts: 56000 | #Constraints: 9657 22.51/22.66 c INPROCESSING 22.51/22.66 c GARBAGE COLLECT 22.51/22.66 c rational objective 0 24.91/25.03 c #Conflicts: 57000 | #Constraints: 5844 24.91/25.03 c #Conflicts: 58000 | #Constraints: 6845 24.91/25.03 c #Conflicts: 59000 | #Constraints: 7845 24.91/25.03 c #Conflicts: 60000 | #Constraints: 8848 24.91/25.03 c #Conflicts: 61000 | #Constraints: 9848 24.91/25.03 c INPROCESSING 24.91/25.03 c GARBAGE COLLECT 24.91/25.03 c rational objective 0 28.39/28.53 c #Conflicts: 62000 | #Constraints: 5840 28.39/28.53 c #Conflicts: 63000 | #Constraints: 6841 28.39/28.53 c #Conflicts: 64000 | #Constraints: 7843 28.39/28.53 c #Conflicts: 65000 | #Constraints: 8847 28.39/28.53 c #Conflicts: 66000 | #Constraints: 9847 28.39/28.53 c INPROCESSING 28.39/28.53 c GARBAGE COLLECT 28.39/28.53 c rational objective 0 31.18/31.31 c #Conflicts: 67000 | #Constraints: 5646 31.18/31.31 c #Conflicts: 68000 | #Constraints: 6649 31.18/31.31 c #Conflicts: 69000 | #Constraints: 7650 31.18/31.31 c #Conflicts: 70000 | #Constraints: 8650 31.18/31.31 c #Conflicts: 71000 | #Constraints: 9650 31.18/31.31 c #Conflicts: 72000 | #Constraints: 10652 31.18/31.31 c INPROCESSING 31.18/31.31 c GARBAGE COLLECT 31.18/31.31 c rational objective 0 35.26/35.41 c #Conflicts: 73000 | #Constraints: 6237 35.26/35.41 c #Conflicts: 74000 | #Constraints: 7240 35.26/35.41 c #Conflicts: 75000 | #Constraints: 8241 35.26/35.41 c #Conflicts: 76000 | #Constraints: 9242 35.26/35.41 c #Conflicts: 77000 | #Constraints: 10243 35.26/35.41 c #Conflicts: 78000 | #Constraints: 11245 35.26/35.41 c INPROCESSING 35.26/35.41 c GARBAGE COLLECT 35.26/35.41 c rational objective 0 38.46/38.69 c #Conflicts: 79000 | #Constraints: 6642 38.46/38.69 c #Conflicts: 80000 | #Constraints: 7642 38.46/38.69 c #Conflicts: 81000 | #Constraints: 8642 38.46/38.69 c #Conflicts: 82000 | #Constraints: 9642 38.46/38.69 c #Conflicts: 83000 | #Constraints: 10642 38.46/38.69 c #Conflicts: 84000 | #Constraints: 11643 38.46/38.69 c INPROCESSING 38.46/38.69 c GARBAGE COLLECT 38.46/38.69 c rational objective 0 42.25/42.48 c #Conflicts: 85000 | #Constraints: 6837 42.25/42.48 c #Conflicts: 86000 | #Constraints: 7838 42.25/42.48 c #Conflicts: 87000 | #Constraints: 8839 42.25/42.48 c #Conflicts: 88000 | #Constraints: 9839 42.25/42.48 c #Conflicts: 89000 | #Constraints: 10839 42.25/42.48 c #Conflicts: 90000 | #Constraints: 11840 42.25/42.48 c INPROCESSING 42.25/42.48 c GARBAGE COLLECT 42.25/42.48 c rational objective 0 47.43/47.62 c #Conflicts: 91000 | #Constraints: 6830 47.43/47.62 c #Conflicts: 92000 | #Constraints: 7830 47.43/47.62 c #Conflicts: 93000 | #Constraints: 8831 47.43/47.62 c #Conflicts: 94000 | #Constraints: 9832 47.43/47.62 c #Conflicts: 95000 | #Constraints: 10832 47.43/47.62 c #Conflicts: 96000 | #Constraints: 11832 47.43/47.62 c INPROCESSING 47.43/47.62 c GARBAGE COLLECT 47.43/47.62 c rational objective 0 51.81/52.05 c #Conflicts: 97000 | #Constraints: 6635 51.81/52.05 c #Conflicts: 98000 | #Constraints: 7635 51.81/52.05 c #Conflicts: 99000 | #Constraints: 8635 51.81/52.05 c #Conflicts: 100000 | #Constraints: 9635 51.81/52.05 c #Conflicts: 101000 | #Constraints: 10635 51.81/52.05 c #Conflicts: 102000 | #Constraints: 11636 51.81/52.05 c #Conflicts: 103000 | #Constraints: 12638 51.81/52.05 c INPROCESSING 51.81/52.05 c GARBAGE COLLECT 51.81/52.05 c rational objective 0 57.39/57.63 c #Conflicts: 104000 | #Constraints: 7234 57.39/57.63 c #Conflicts: 105000 | #Constraints: 8234 57.39/57.63 c #Conflicts: 106000 | #Constraints: 9234 57.39/57.63 c #Conflicts: 107000 | #Constraints: 10234 57.39/57.63 c #Conflicts: 108000 | #Constraints: 11234 57.39/57.63 c #Conflicts: 109000 | #Constraints: 12235 57.39/57.63 c #Conflicts: 110000 | #Constraints: 13236 57.39/57.63 c INPROCESSING 57.39/57.63 c GARBAGE COLLECT 57.39/57.63 c rational objective 0 61.48/61.79 c #Conflicts: 111000 | #Constraints: 7637 61.48/61.79 c #Conflicts: 112000 | #Constraints: 8637 61.48/61.79 c #Conflicts: 113000 | #Constraints: 9638 61.48/61.79 c #Conflicts: 114000 | #Constraints: 10638 61.48/61.79 c #Conflicts: 115000 | #Constraints: 11638 61.48/61.79 c #Conflicts: 116000 | #Constraints: 12641 61.48/61.79 c #Conflicts: 117000 | #Constraints: 13641 61.48/61.79 c INPROCESSING 61.48/61.79 c GARBAGE COLLECT 61.48/61.79 c rational objective 0 67.65/67.95 c #Conflicts: 118000 | #Constraints: 7835 67.65/67.95 c #Conflicts: 119000 | #Constraints: 8836 67.65/67.95 c #Conflicts: 120000 | #Constraints: 9836 67.65/67.95 c #Conflicts: 121000 | #Constraints: 10837 67.65/67.95 c #Conflicts: 122000 | #Constraints: 11837 67.65/67.95 c #Conflicts: 123000 | #Constraints: 12837 67.65/67.95 c #Conflicts: 124000 | #Constraints: 13838 67.65/67.95 c INPROCESSING 67.65/67.95 c GARBAGE COLLECT 67.65/67.95 c rational objective 0 72.34/72.69 c #Conflicts: 125000 | #Constraints: 7837 72.34/72.69 c #Conflicts: 126000 | #Constraints: 8837 72.34/72.69 c #Conflicts: 127000 | #Constraints: 9837 72.34/72.69 c #Conflicts: 128000 | #Constraints: 10837 72.34/72.69 c #Conflicts: 129000 | #Constraints: 11837 72.34/72.69 c #Conflicts: 130000 | #Constraints: 12837 72.34/72.69 c #Conflicts: 131000 | #Constraints: 13837 72.34/72.69 c INPROCESSING 72.34/72.69 c GARBAGE COLLECT 72.34/72.69 c rational objective 0 77.52/77.87 c #Conflicts: 132000 | #Constraints: 7631 77.52/77.87 c #Conflicts: 133000 | #Constraints: 8632 77.52/77.87 c #Conflicts: 134000 | #Constraints: 9633 77.52/77.87 c #Conflicts: 135000 | #Constraints: 10634 77.52/77.87 c #Conflicts: 136000 | #Constraints: 11634 77.52/77.87 c #Conflicts: 137000 | #Constraints: 12635 77.52/77.87 c #Conflicts: 138000 | #Constraints: 13635 77.52/77.87 c #Conflicts: 139000 | #Constraints: 14635 77.52/77.87 c INPROCESSING 77.52/77.87 c GARBAGE COLLECT 77.52/77.87 c rational objective 0 84.71/85.07 c #Conflicts: 140000 | #Constraints: 8234 84.71/85.07 c #Conflicts: 141000 | #Constraints: 9234 84.71/85.07 c #Conflicts: 142000 | #Constraints: 10235 84.71/85.07 c #Conflicts: 143000 | #Constraints: 11235 84.71/85.07 c #Conflicts: 144000 | #Constraints: 12235 84.71/85.07 c #Conflicts: 145000 | #Constraints: 13236 84.71/85.07 c #Conflicts: 146000 | #Constraints: 14236 84.71/85.07 c #Conflicts: 147000 | #Constraints: 15238 84.71/85.07 c INPROCESSING 84.71/85.07 c GARBAGE COLLECT 84.71/85.07 c rational objective 0 90.27/90.65 c #Conflicts: 148000 | #Constraints: 8641 90.27/90.65 c #Conflicts: 149000 | #Constraints: 9641 90.27/90.65 c #Conflicts: 150000 | #Constraints: 10641 90.27/90.65 c #Conflicts: 151000 | #Constraints: 11641 90.27/90.65 c #Conflicts: 152000 | #Constraints: 12641 90.27/90.65 c #Conflicts: 153000 | #Constraints: 13643 90.27/90.65 c #Conflicts: 154000 | #Constraints: 14646 90.27/90.65 c #Conflicts: 155000 | #Constraints: 15646 90.27/90.65 c INPROCESSING 90.27/90.65 c GARBAGE COLLECT 90.27/90.65 c rational objective 0 98.24/98.69 c #Conflicts: 156000 | #Constraints: 8842 98.24/98.69 c #Conflicts: 157000 | #Constraints: 9842 98.24/98.69 c #Conflicts: 158000 | #Constraints: 10843 98.24/98.69 c #Conflicts: 159000 | #Constraints: 11843 98.24/98.69 c #Conflicts: 160000 | #Constraints: 12844 98.24/98.69 c #Conflicts: 161000 | #Constraints: 13845 98.24/98.69 c #Conflicts: 162000 | #Constraints: 14845 98.24/98.69 c #Conflicts: 163000 | #Constraints: 15845 98.24/98.69 c INPROCESSING 98.24/98.69 c GARBAGE COLLECT 98.24/98.69 c rational objective 0 105.22/105.62 c #Conflicts: 164000 | #Constraints: 8842 105.22/105.62 c #Conflicts: 165000 | #Constraints: 9844 105.22/105.62 c #Conflicts: 166000 | #Constraints: 10844 105.22/105.62 c #Conflicts: 167000 | #Constraints: 11844 105.22/105.62 c #Conflicts: 168000 | #Constraints: 12844 105.22/105.62 c #Conflicts: 169000 | #Constraints: 13845 105.22/105.62 c #Conflicts: 170000 | #Constraints: 14846 105.22/105.62 c #Conflicts: 171000 | #Constraints: 15848 105.22/105.62 c INPROCESSING 105.22/105.62 c GARBAGE COLLECT 105.22/105.62 c rational objective 0 111.40/111.87 c #Conflicts: 172000 | #Constraints: 8641 111.40/111.87 c #Conflicts: 173000 | #Constraints: 9643 111.40/111.87 c #Conflicts: 174000 | #Constraints: 10644 111.40/111.87 c #Conflicts: 175000 | #Constraints: 11646 111.40/111.87 c #Conflicts: 176000 | #Constraints: 12646 111.40/111.87 c #Conflicts: 177000 | #Constraints: 13647 111.40/111.87 c #Conflicts: 178000 | #Constraints: 14647 111.40/111.87 c #Conflicts: 179000 | #Constraints: 15647 111.40/111.87 c #Conflicts: 180000 | #Constraints: 16648 111.40/111.87 c INPROCESSING 111.40/111.87 c GARBAGE COLLECT 111.40/111.87 c rational objective 0 120.58/121.03 c #Conflicts: 181000 | #Constraints: 9236 120.58/121.03 c #Conflicts: 182000 | #Constraints: 10237 120.58/121.03 c #Conflicts: 183000 | #Constraints: 11239 120.58/121.03 c #Conflicts: 184000 | #Constraints: 12239 120.58/121.03 c #Conflicts: 185000 | #Constraints: 13239 120.58/121.03 c #Conflicts: 186000 | #Constraints: 14239 120.58/121.03 c #Conflicts: 187000 | #Constraints: 15240 120.58/121.03 c #Conflicts: 188000 | #Constraints: 16240 120.58/121.03 c #Conflicts: 189000 | #Constraints: 17240 120.58/121.03 c INPROCESSING 120.58/121.03 c GARBAGE COLLECT 120.58/121.03 c rational objective 0 128.55/129.02 c #Conflicts: 190000 | #Constraints: 9642 128.55/129.02 c #Conflicts: 191000 | #Constraints: 10645 128.55/129.02 c #Conflicts: 192000 | #Constraints: 11645 128.55/129.02 c #Conflicts: 193000 | #Constraints: 12645 128.55/129.02 c #Conflicts: 194000 | #Constraints: 13645 128.55/129.02 c #Conflicts: 195000 | #Constraints: 14645 128.55/129.02 c #Conflicts: 196000 | #Constraints: 15646 128.55/129.02 c #Conflicts: 197000 | #Constraints: 16647 128.55/129.02 c #Conflicts: 198000 | #Constraints: 17647 128.55/129.02 c INPROCESSING 128.55/129.02 c GARBAGE COLLECT 128.55/129.02 c rational objective 0 138.91/139.45 c #Conflicts: 199000 | #Constraints: 9838 138.91/139.45 c #Conflicts: 200000 | #Constraints: 10839 138.91/139.45 c #Conflicts: 201000 | #Constraints: 11840 138.91/139.45 c #Conflicts: 202000 | #Constraints: 12840 138.91/139.45 c #Conflicts: 203000 | #Constraints: 13842 138.91/139.45 c #Conflicts: 204000 | #Constraints: 14843 138.91/139.45 c #Conflicts: 205000 | #Constraints: 15844 138.91/139.45 c #Conflicts: 206000 | #Constraints: 16844 138.91/139.45 c #Conflicts: 207000 | #Constraints: 17845 138.91/139.45 c INPROCESSING 138.91/139.45 c GARBAGE COLLECT 138.91/139.45 c rational objective 0 148.27/148.80 c #Conflicts: 208000 | #Constraints: 9838 148.27/148.80 c #Conflicts: 209000 | #Constraints: 10838 148.27/148.80 c #Conflicts: 210000 | #Constraints: 11838 148.27/148.80 c #Conflicts: 211000 | #Constraints: 12838 148.27/148.80 c #Conflicts: 212000 | #Constraints: 13838 148.27/148.80 c #Conflicts: 213000 | #Constraints: 14838 148.27/148.80 c #Conflicts: 214000 | #Constraints: 15838 148.27/148.80 c #Conflicts: 215000 | #Constraints: 16838 148.27/148.80 c #Conflicts: 216000 | #Constraints: 17838 148.27/148.80 c INPROCESSING 148.27/148.80 c GARBAGE COLLECT 148.27/148.80 c rational objective 0 159.44/160.06 c #Conflicts: 217000 | #Constraints: 9635 159.44/160.06 c #Conflicts: 218000 | #Constraints: 10636 159.44/160.06 c #Conflicts: 219000 | #Constraints: 11636 159.44/160.06 c #Conflicts: 220000 | #Constraints: 12636 159.44/160.06 c #Conflicts: 221000 | #Constraints: 13636 159.44/160.06 c #Conflicts: 222000 | #Constraints: 14636 159.44/160.06 c #Conflicts: 223000 | #Constraints: 15637 159.44/160.06 c #Conflicts: 224000 | #Constraints: 16637 159.44/160.06 c #Conflicts: 225000 | #Constraints: 17637 159.44/160.06 c #Conflicts: 226000 | #Constraints: 18637 159.44/160.06 c INPROCESSING 159.44/160.06 c GARBAGE COLLECT 159.44/160.06 c rational objective 0 168.09/168.76 c #Conflicts: 227000 | #Constraints: 10236 168.09/168.76 c #Conflicts: 228000 | #Constraints: 11236 168.09/168.76 c #Conflicts: 229000 | #Constraints: 12236 168.09/168.76 c #Conflicts: 230000 | #Constraints: 13236 168.09/168.76 c #Conflicts: 231000 | #Constraints: 14236 168.09/168.76 c #Conflicts: 232000 | #Constraints: 15236 168.09/168.76 c #Conflicts: 233000 | #Constraints: 16237 168.09/168.76 c #Conflicts: 234000 | #Constraints: 17238 168.09/168.76 c #Conflicts: 235000 | #Constraints: 18241 168.09/168.76 c #Conflicts: 236000 | #Constraints: 19241 168.09/168.76 c INPROCESSING 168.09/168.76 c GARBAGE COLLECT 168.09/168.76 c rational objective 0 176.85/177.58 c #Conflicts: 237000 | #Constraints: 10636 176.85/177.58 c #Conflicts: 238000 | #Constraints: 11636 176.85/177.58 c #Conflicts: 239000 | #Constraints: 12636 176.85/177.58 c #Conflicts: 240000 | #Constraints: 13636 176.85/177.58 c #Conflicts: 241000 | #Constraints: 14637 176.85/177.58 c #Conflicts: 242000 | #Constraints: 15637 176.85/177.58 c #Conflicts: 243000 | #Constraints: 16637 176.85/177.58 c #Conflicts: 244000 | #Constraints: 17638 176.85/177.58 c #Conflicts: 245000 | #Constraints: 18638 176.85/177.58 c #Conflicts: 246000 | #Constraints: 19640 176.85/177.58 c INPROCESSING 176.85/177.58 c GARBAGE COLLECT 176.85/177.58 c rational objective 0 190.00/190.74 c #Conflicts: 247000 | #Constraints: 10835 190.00/190.74 c #Conflicts: 248000 | #Constraints: 11835 190.00/190.74 c #Conflicts: 249000 | #Constraints: 12837 190.00/190.74 c #Conflicts: 250000 | #Constraints: 13837 190.00/190.74 c #Conflicts: 251000 | #Constraints: 14837 190.00/190.74 c #Conflicts: 252000 | #Constraints: 15838 190.00/190.74 c #Conflicts: 253000 | #Constraints: 16838 190.00/190.74 c #Conflicts: 254000 | #Constraints: 17839 190.00/190.74 c #Conflicts: 255000 | #Constraints: 18839 190.00/190.74 c #Conflicts: 256000 | #Constraints: 19839 190.00/190.74 c INPROCESSING 190.00/190.74 c GARBAGE COLLECT 190.00/190.74 c rational objective 0 199.77/200.52 c #Conflicts: 257000 | #Constraints: 10839 199.77/200.52 c #Conflicts: 258000 | #Constraints: 11839 199.77/200.52 c #Conflicts: 259000 | #Constraints: 12839 199.77/200.52 c #Conflicts: 260000 | #Constraints: 13840 199.77/200.52 c #Conflicts: 261000 | #Constraints: 14841 199.77/200.52 c #Conflicts: 262000 | #Constraints: 15842 199.77/200.52 c #Conflicts: 263000 | #Constraints: 16842 199.77/200.52 c #Conflicts: 264000 | #Constraints: 17842 199.77/200.52 c #Conflicts: 265000 | #Constraints: 18842 199.77/200.52 c #Conflicts: 266000 | #Constraints: 19842 199.77/200.52 c INPROCESSING 199.77/200.52 c GARBAGE COLLECT 199.77/200.52 c rational objective 0 214.51/215.32 c #Conflicts: 267000 | #Constraints: 10636 214.51/215.32 c #Conflicts: 268000 | #Constraints: 11637 214.51/215.32 c #Conflicts: 269000 | #Constraints: 12638 214.51/215.32 c #Conflicts: 270000 | #Constraints: 13638 214.51/215.32 c #Conflicts: 271000 | #Constraints: 14638 214.51/215.32 c #Conflicts: 272000 | #Constraints: 15638 214.51/215.32 c #Conflicts: 273000 | #Constraints: 16638 214.51/215.32 c #Conflicts: 274000 | #Constraints: 17638 214.51/215.32 c #Conflicts: 275000 | #Constraints: 18638 214.51/215.32 c #Conflicts: 276000 | #Constraints: 19639 214.51/215.32 c #Conflicts: 277000 | #Constraints: 20639 214.51/215.32 c INPROCESSING 214.51/215.32 c GARBAGE COLLECT 214.51/215.32 c rational objective 0 224.87/225.79 c #Conflicts: 278000 | #Constraints: 11238 224.87/225.79 c #Conflicts: 279000 | #Constraints: 12238 224.87/225.79 c #Conflicts: 280000 | #Constraints: 13238 224.87/225.79 c #Conflicts: 281000 | #Constraints: 14238 224.87/225.79 c #Conflicts: 282000 | #Constraints: 15239 224.87/225.79 c #Conflicts: 283000 | #Constraints: 16239 224.87/225.79 c #Conflicts: 284000 | #Constraints: 17239 224.87/225.79 c #Conflicts: 285000 | #Constraints: 18239 224.87/225.79 c #Conflicts: 286000 | #Constraints: 19239 224.87/225.79 c #Conflicts: 287000 | #Constraints: 20239 224.87/225.79 c #Conflicts: 288000 | #Constraints: 21239 224.87/225.79 c INPROCESSING 224.87/225.79 c GARBAGE COLLECT 224.87/225.79 c rational objective 0 235.82/236.73 c #Conflicts: 289000 | #Constraints: 11635 235.82/236.73 c #Conflicts: 290000 | #Constraints: 12635 235.82/236.73 c #Conflicts: 291000 | #Constraints: 13636 235.82/236.73 c #Conflicts: 292000 | #Constraints: 14637 235.82/236.73 c #Conflicts: 293000 | #Constraints: 15637 235.82/236.73 c #Conflicts: 294000 | #Constraints: 16637 235.82/236.73 c #Conflicts: 295000 | #Constraints: 17637 235.82/236.73 c #Conflicts: 296000 | #Constraints: 18639 235.82/236.73 c #Conflicts: 297000 | #Constraints: 19639 235.82/236.73 c #Conflicts: 298000 | #Constraints: 20639 235.82/236.73 c #Conflicts: 299000 | #Constraints: 21639 235.82/236.73 c INPROCESSING 235.82/236.73 c GARBAGE COLLECT 235.82/236.73 c rational objective 0 252.26/253.29 c #Conflicts: 300000 | #Constraints: 11834 252.26/253.29 c #Conflicts: 301000 | #Constraints: 12834 252.26/253.29 c #Conflicts: 302000 | #Constraints: 13834 252.26/253.29 c #Conflicts: 303000 | #Constraints: 14835 252.26/253.29 c #Conflicts: 304000 | #Constraints: 15837 252.26/253.29 c #Conflicts: 305000 | #Constraints: 16838 252.26/253.29 c #Conflicts: 306000 | #Constraints: 17838 252.26/253.29 c #Conflicts: 307000 | #Constraints: 18839 252.26/253.29 c #Conflicts: 308000 | #Constraints: 19840 252.26/253.29 c #Conflicts: 309000 | #Constraints: 20841 252.26/253.29 c #Conflicts: 310000 | #Constraints: 21841 252.26/253.29 c INPROCESSING 252.26/253.29 c GARBAGE COLLECT 252.26/253.29 c rational objective 0 266.70/267.80 c #Conflicts: 311000 | #Constraints: 11835 266.70/267.80 c #Conflicts: 312000 | #Constraints: 12835 266.70/267.80 c #Conflicts: 313000 | #Constraints: 13836 266.70/267.80 c #Conflicts: 314000 | #Constraints: 14836 266.70/267.80 c #Conflicts: 315000 | #Constraints: 15837 266.70/267.80 c #Conflicts: 316000 | #Constraints: 16837 266.70/267.80 c #Conflicts: 317000 | #Constraints: 17837 266.70/267.80 c #Conflicts: 318000 | #Constraints: 18837 266.70/267.80 c #Conflicts: 319000 | #Constraints: 19837 266.70/267.80 c #Conflicts: 320000 | #Constraints: 20838 266.70/267.80 c #Conflicts: 321000 | #Constraints: 21838 266.70/267.80 c INPROCESSING 266.70/267.80 c GARBAGE COLLECT 266.70/267.80 c rational objective 0 285.23/286.39 c #Conflicts: 322000 | #Constraints: 11635 285.23/286.39 c #Conflicts: 323000 | #Constraints: 12636 285.23/286.39 c #Conflicts: 324000 | #Constraints: 13636 285.23/286.39 c #Conflicts: 325000 | #Constraints: 14636 285.23/286.39 c #Conflicts: 326000 | #Constraints: 15636 285.23/286.39 c #Conflicts: 327000 | #Constraints: 16636 285.23/286.39 c #Conflicts: 328000 | #Constraints: 17636 285.23/286.39 c #Conflicts: 329000 | #Constraints: 18636 285.23/286.39 c #Conflicts: 330000 | #Constraints: 19636 285.23/286.39 c #Conflicts: 331000 | #Constraints: 20636 285.23/286.39 c #Conflicts: 332000 | #Constraints: 21636 285.23/286.39 c #Conflicts: 333000 | #Constraints: 22636 285.23/286.39 c INPROCESSING 285.23/286.39 c GARBAGE COLLECT 285.23/286.39 c rational objective 0 298.99/300.13 c #Conflicts: 334000 | #Constraints: 12237 298.99/300.13 c #Conflicts: 335000 | #Constraints: 13238 298.99/300.13 c #Conflicts: 336000 | #Constraints: 14239 298.99/300.13 c #Conflicts: 337000 | #Constraints: 15239 298.99/300.13 c #Conflicts: 338000 | #Constraints: 16239 298.99/300.13 c #Conflicts: 339000 | #Constraints: 17240 298.99/300.13 c #Conflicts: 340000 | #Constraints: 18240 298.99/300.13 c #Conflicts: 341000 | #Constraints: 19240 298.99/300.13 c #Conflicts: 342000 | #Constraints: 20243 298.99/300.13 c #Conflicts: 343000 | #Constraints: 21243 298.99/300.13 c #Conflicts: 344000 | #Constraints: 22243 298.99/300.13 c #Conflicts: 345000 | #Constraints: 23243 298.99/300.13 c INPROCESSING 298.99/300.13 c GARBAGE COLLECT 298.99/300.13 c rational objective 0 312.63/313.87 c #Conflicts: 346000 | #Constraints: 12635 312.63/313.87 c #Conflicts: 347000 | #Constraints: 13635 312.63/313.87 c #Conflicts: 348000 | #Constraints: 14636 312.63/313.87 c #Conflicts: 349000 | #Constraints: 15636 312.63/313.87 c #Conflicts: 350000 | #Constraints: 16636 312.63/313.87 c #Conflicts: 351000 | #Constraints: 17637 312.63/313.87 c #Conflicts: 352000 | #Constraints: 18637 312.63/313.87 c #Conflicts: 353000 | #Constraints: 19637 312.63/313.87 c #Conflicts: 354000 | #Constraints: 20638 312.63/313.87 c #Conflicts: 355000 | #Constraints: 21638 312.63/313.87 c #Conflicts: 356000 | #Constraints: 22638 312.63/313.87 c #Conflicts: 357000 | #Constraints: 23639 312.63/313.87 c INPROCESSING 312.63/313.87 c GARBAGE COLLECT 312.63/313.87 c rational objective 0 330.97/332.29 c #Conflicts: 358000 | #Constraints: 12836 330.97/332.29 c #Conflicts: 359000 | #Constraints: 13836 330.97/332.29 c bounds 9 >= 0 @ 311.718 330.97/332.29 c bounds 7 >= 0 @ 311.722 330.97/332.29 c #Conflicts: 360000 | #Constraints: 14838 330.97/332.29 c #Conflicts: 361000 | #Constraints: 15838 330.97/332.29 c #Conflicts: 362000 | #Constraints: 16839 330.97/332.29 c #Conflicts: 363000 | #Constraints: 17841 330.97/332.29 c #Conflicts: 364000 | #Constraints: 18841 330.97/332.29 c #Conflicts: 365000 | #Constraints: 19841 330.97/332.29 c #Conflicts: 366000 | #Constraints: 20842 330.97/332.29 c #Conflicts: 367000 | #Constraints: 21842 330.97/332.29 c #Conflicts: 368000 | #Constraints: 22842 330.97/332.29 c #Conflicts: 369000 | #Constraints: 23842 330.97/332.29 c INPROCESSING 330.97/332.29 c GARBAGE COLLECT 330.97/332.29 c rational objective 0 346.50/347.82 c #Conflicts: 370000 | #Constraints: 12836 346.50/347.82 c #Conflicts: 371000 | #Constraints: 13836 346.50/347.82 c #Conflicts: 372000 | #Constraints: 14836 346.50/347.82 c #Conflicts: 373000 | #Constraints: 15836 346.50/347.82 c #Conflicts: 374000 | #Constraints: 16836 346.50/347.82 c #Conflicts: 375000 | #Constraints: 17836 346.50/347.82 c #Conflicts: 376000 | #Constraints: 18836 346.50/347.82 c #Conflicts: 377000 | #Constraints: 19836 346.50/347.82 c #Conflicts: 378000 | #Constraints: 20836 346.50/347.82 c #Conflicts: 379000 | #Constraints: 21836 346.50/347.82 c #Conflicts: 380000 | #Constraints: 22836 346.50/347.82 c #Conflicts: 381000 | #Constraints: 23837 346.50/347.82 c INPROCESSING 346.50/347.82 c GARBAGE COLLECT 346.50/347.82 c rational objective 0 365.95/367.36 c #Conflicts: 382000 | #Constraints: 12633 365.95/367.36 c #Conflicts: 383000 | #Constraints: 13634 365.95/367.36 c #Conflicts: 384000 | #Constraints: 14635 365.95/367.36 c #Conflicts: 385000 | #Constraints: 15636 365.95/367.36 c #Conflicts: 386000 | #Constraints: 16637 365.95/367.36 c #Conflicts: 387000 | #Constraints: 17637 365.95/367.36 c #Conflicts: 388000 | #Constraints: 18638 365.95/367.36 c #Conflicts: 389000 | #Constraints: 19638 365.95/367.36 c #Conflicts: 390000 | #Constraints: 20640 365.95/367.36 c #Conflicts: 391000 | #Constraints: 21642 365.95/367.36 c #Conflicts: 392000 | #Constraints: 22642 365.95/367.36 c #Conflicts: 393000 | #Constraints: 23642 365.95/367.36 c #Conflicts: 394000 | #Constraints: 24643 365.95/367.36 c INPROCESSING 365.95/367.36 c GARBAGE COLLECT 365.95/367.36 c rational objective 0 381.41/382.84 c #Conflicts: 395000 | #Constraints: 13240 381.41/382.84 c #Conflicts: 396000 | #Constraints: 14240 381.41/382.84 c #Conflicts: 397000 | #Constraints: 15240 381.41/382.84 c #Conflicts: 398000 | #Constraints: 16240 381.41/382.84 c #Conflicts: 399000 | #Constraints: 17240 381.41/382.84 c #Conflicts: 400000 | #Constraints: 18240 381.41/382.84 c #Conflicts: 401000 | #Constraints: 19240 381.41/382.84 c #Conflicts: 402000 | #Constraints: 20240 381.41/382.84 c #Conflicts: 403000 | #Constraints: 21240 381.41/382.84 c #Conflicts: 404000 | #Constraints: 22240 381.41/382.84 c #Conflicts: 405000 | #Constraints: 23240 381.41/382.84 c #Conflicts: 406000 | #Constraints: 24240 381.41/382.84 c #Conflicts: 407000 | #Constraints: 25240 381.41/382.84 c INPROCESSING 381.41/382.84 c GARBAGE COLLECT 381.41/382.84 c rational objective 0 401.57/403.03 c #Conflicts: 408000 | #Constraints: 13634 401.57/403.03 c #Conflicts: 409000 | #Constraints: 14634 401.57/403.03 c #Conflicts: 410000 | #Constraints: 15634 401.57/403.03 c #Conflicts: 411000 | #Constraints: 16635 401.57/403.03 c #Conflicts: 412000 | #Constraints: 17635 401.57/403.03 c #Conflicts: 413000 | #Constraints: 18635 401.57/403.03 c #Conflicts: 414000 | #Constraints: 19635 401.57/403.03 c #Conflicts: 415000 | #Constraints: 20635 401.57/403.03 c #Conflicts: 416000 | #Constraints: 21635 401.57/403.03 c #Conflicts: 417000 | #Constraints: 22636 401.57/403.03 c #Conflicts: 418000 | #Constraints: 23638 401.57/403.03 c #Conflicts: 419000 | #Constraints: 24638 401.57/403.03 c #Conflicts: 420000 | #Constraints: 25640 401.57/403.03 c INPROCESSING 401.57/403.03 c GARBAGE COLLECT 401.57/403.03 c rational objective 0 419.52/421.01 c #Conflicts: 421000 | #Constraints: 13839 419.52/421.01 c #Conflicts: 422000 | #Constraints: 14839 419.52/421.01 c #Conflicts: 423000 | #Constraints: 15839 419.52/421.01 c #Conflicts: 424000 | #Constraints: 16841 419.52/421.01 c #Conflicts: 425000 | #Constraints: 17841 419.52/421.01 c #Conflicts: 426000 | #Constraints: 18841 419.52/421.01 c #Conflicts: 427000 | #Constraints: 19841 419.52/421.01 c #Conflicts: 428000 | #Constraints: 20841 419.52/421.01 c #Conflicts: 429000 | #Constraints: 21841 419.52/421.01 c #Conflicts: 430000 | #Constraints: 22842 419.52/421.01 c #Conflicts: 431000 | #Constraints: 23843 419.52/421.01 c #Conflicts: 432000 | #Constraints: 24843 419.52/421.01 c #Conflicts: 433000 | #Constraints: 25843 419.52/421.01 c INPROCESSING 419.52/421.01 c GARBAGE COLLECT 419.52/421.01 c rational objective 0 440.86/442.48 c #Conflicts: 434000 | #Constraints: 13838 440.86/442.48 c #Conflicts: 435000 | #Constraints: 14838 440.86/442.48 c #Conflicts: 436000 | #Constraints: 15838 440.86/442.48 c #Conflicts: 437000 | #Constraints: 16839 440.86/442.48 c #Conflicts: 438000 | #Constraints: 17839 440.86/442.48 c #Conflicts: 439000 | #Constraints: 18839 440.86/442.48 c #Conflicts: 440000 | #Constraints: 19839 440.86/442.48 c #Conflicts: 441000 | #Constraints: 20839 440.86/442.48 c #Conflicts: 442000 | #Constraints: 21840 440.86/442.48 c #Conflicts: 443000 | #Constraints: 22842 440.86/442.48 c #Conflicts: 444000 | #Constraints: 23843 440.86/442.48 c #Conflicts: 445000 | #Constraints: 24843 440.86/442.48 c #Conflicts: 446000 | #Constraints: 25843 440.86/442.48 c INPROCESSING 440.86/442.48 c GARBAGE COLLECT 440.86/442.48 c rational objective 0 461.59/463.26 c #Conflicts: 447000 | #Constraints: 13641 461.59/463.26 c #Conflicts: 448000 | #Constraints: 14641 461.59/463.26 c #Conflicts: 449000 | #Constraints: 15641 461.59/463.26 c #Conflicts: 450000 | #Constraints: 16641 461.59/463.26 c #Conflicts: 451000 | #Constraints: 17642 461.59/463.26 c #Conflicts: 452000 | #Constraints: 18642 461.59/463.26 c #Conflicts: 453000 | #Constraints: 19642 461.59/463.26 c #Conflicts: 454000 | #Constraints: 20644 461.59/463.26 c #Conflicts: 455000 | #Constraints: 21644 461.59/463.26 c #Conflicts: 456000 | #Constraints: 22644 461.59/463.26 c #Conflicts: 457000 | #Constraints: 23644 461.59/463.26 c #Conflicts: 458000 | #Constraints: 24644 461.59/463.26 c #Conflicts: 459000 | #Constraints: 25644 461.59/463.26 c #Conflicts: 460000 | #Constraints: 26645 461.59/463.26 c INPROCESSING 461.59/463.26 c GARBAGE COLLECT 461.59/463.26 c rational objective 0 480.15/481.81 c #Conflicts: 461000 | #Constraints: 14239 480.15/481.81 c #Conflicts: 462000 | #Constraints: 15239 480.15/481.81 c #Conflicts: 463000 | #Constraints: 16239 480.15/481.81 c #Conflicts: 464000 | #Constraints: 17239 480.15/481.81 c #Conflicts: 465000 | #Constraints: 18239 480.15/481.81 c #Conflicts: 466000 | #Constraints: 19239 480.15/481.81 c #Conflicts: 467000 | #Constraints: 20239 480.15/481.81 c #Conflicts: 468000 | #Constraints: 21239 480.15/481.81 c #Conflicts: 469000 | #Constraints: 22239 480.15/481.81 c #Conflicts: 470000 | #Constraints: 23239 480.15/481.81 c #Conflicts: 471000 | #Constraints: 24240 480.15/481.81 c #Conflicts: 472000 | #Constraints: 25240 480.15/481.81 c #Conflicts: 473000 | #Constraints: 26240 480.15/481.81 c #Conflicts: 474000 | #Constraints: 27240 480.15/481.81 c INPROCESSING 480.15/481.81 c GARBAGE COLLECT 480.15/481.81 c rational objective 0 505.18/506.95 c #Conflicts: 475000 | #Constraints: 14637 505.18/506.95 c #Conflicts: 476000 | #Constraints: 15637 505.18/506.95 c #Conflicts: 477000 | #Constraints: 16637 505.18/506.95 c #Conflicts: 478000 | #Constraints: 17638 505.18/506.95 c #Conflicts: 479000 | #Constraints: 18638 505.18/506.95 c #Conflicts: 480000 | #Constraints: 19638 505.18/506.95 c #Conflicts: 481000 | #Constraints: 20638 505.18/506.95 c #Conflicts: 482000 | #Constraints: 21638 505.18/506.95 c #Conflicts: 483000 | #Constraints: 22638 505.18/506.95 c #Conflicts: 484000 | #Constraints: 23638 505.18/506.95 c #Conflicts: 485000 | #Constraints: 24640 505.18/506.95 c #Conflicts: 486000 | #Constraints: 25640 505.18/506.95 c #Conflicts: 487000 | #Constraints: 26640 505.18/506.95 c #Conflicts: 488000 | #Constraints: 27640 505.18/506.95 c INPROCESSING 505.18/506.95 c GARBAGE COLLECT 505.18/506.95 c rational objective 0 528.24/530.03 c #Conflicts: 489000 | #Constraints: 14841 528.24/530.03 c #Conflicts: 490000 | #Constraints: 15841 528.24/530.03 c #Conflicts: 491000 | #Constraints: 16841 528.24/530.03 c #Conflicts: 492000 | #Constraints: 17841 528.24/530.03 c #Conflicts: 493000 | #Constraints: 18842 528.24/530.03 c #Conflicts: 494000 | #Constraints: 19842 528.24/530.03 c #Conflicts: 495000 | #Constraints: 20842 528.24/530.03 c #Conflicts: 496000 | #Constraints: 21843 528.24/530.03 c #Conflicts: 497000 | #Constraints: 22843 528.24/530.03 c #Conflicts: 498000 | #Constraints: 23845 528.24/530.03 c #Conflicts: 499000 | #Constraints: 24845 528.24/530.03 c #Conflicts: 500000 | #Constraints: 25845 528.24/530.03 c #Conflicts: 501000 | #Constraints: 26845 528.24/530.03 c #Conflicts: 502000 | #Constraints: 27845 528.24/530.03 c INPROCESSING 528.24/530.03 c GARBAGE COLLECT 528.24/530.03 c rational objective 0 555.16/557.02 c #Conflicts: 503000 | #Constraints: 14841 555.16/557.02 c #Conflicts: 504000 | #Constraints: 15841 555.16/557.02 c #Conflicts: 505000 | #Constraints: 16842 555.16/557.02 c #Conflicts: 506000 | #Constraints: 17842 555.16/557.02 c #Conflicts: 507000 | #Constraints: 18842 555.16/557.02 c #Conflicts: 508000 | #Constraints: 19842 555.16/557.02 c #Conflicts: 509000 | #Constraints: 20842 555.16/557.02 c #Conflicts: 510000 | #Constraints: 21842 555.16/557.02 c #Conflicts: 511000 | #Constraints: 22844 555.16/557.02 c #Conflicts: 512000 | #Constraints: 23844 555.16/557.02 c #Conflicts: 513000 | #Constraints: 24845 555.16/557.02 c #Conflicts: 514000 | #Constraints: 25846 555.16/557.02 c #Conflicts: 515000 | #Constraints: 26846 555.16/557.02 c #Conflicts: 516000 | #Constraints: 27846 555.16/557.02 c INPROCESSING 555.16/557.02 c GARBAGE COLLECT 555.16/557.02 c rational objective 0 575.21/577.17 c #Conflicts: 517000 | #Constraints: 14643 575.21/577.17 c #Conflicts: 518000 | #Constraints: 15644 575.21/577.17 c #Conflicts: 519000 | #Constraints: 16646 575.21/577.17 c #Conflicts: 520000 | #Constraints: 17646 575.21/577.17 c #Conflicts: 521000 | #Constraints: 18647 575.21/577.17 c #Conflicts: 522000 | #Constraints: 19648 575.21/577.17 c #Conflicts: 523000 | #Constraints: 20648 575.21/577.17 c #Conflicts: 524000 | #Constraints: 21649 575.21/577.17 c #Conflicts: 525000 | #Constraints: 22649 575.21/577.17 c #Conflicts: 526000 | #Constraints: 23649 575.21/577.17 c #Conflicts: 527000 | #Constraints: 24649 575.21/577.17 c #Conflicts: 528000 | #Constraints: 25649 575.21/577.17 c #Conflicts: 529000 | #Constraints: 26649 575.21/577.17 c #Conflicts: 530000 | #Constraints: 27649 575.21/577.17 c #Conflicts: 531000 | #Constraints: 28649 575.21/577.17 c INPROCESSING 575.21/577.17 c GARBAGE COLLECT 575.21/577.17 c rational objective 0 604.92/607.01 c #Conflicts: 532000 | #Constraints: 15241 604.92/607.01 c #Conflicts: 533000 | #Constraints: 16243 604.92/607.01 c #Conflicts: 534000 | #Constraints: 17245 604.92/607.01 c #Conflicts: 535000 | #Constraints: 18245 604.92/607.01 c #Conflicts: 536000 | #Constraints: 19245 604.92/607.01 c #Conflicts: 537000 | #Constraints: 20245 604.92/607.01 c #Conflicts: 538000 | #Constraints: 21246 604.92/607.01 c #Conflicts: 539000 | #Constraints: 22246 604.92/607.01 c #Conflicts: 540000 | #Constraints: 23246 604.92/607.01 c #Conflicts: 541000 | #Constraints: 24246 604.92/607.01 c #Conflicts: 542000 | #Constraints: 25246 604.92/607.01 c #Conflicts: 543000 | #Constraints: 26246 604.92/607.01 c #Conflicts: 544000 | #Constraints: 27246 604.92/607.01 c #Conflicts: 545000 | #Constraints: 28248 604.92/607.01 c #Conflicts: 546000 | #Constraints: 29248 604.92/607.01 c INPROCESSING 604.92/607.01 c GARBAGE COLLECT 604.92/607.01 c rational objective 0 628.46/630.53 c #Conflicts: 547000 | #Constraints: 15639 628.46/630.53 c #Conflicts: 548000 | #Constraints: 16639 628.46/630.53 c #Conflicts: 549000 | #Constraints: 17639 628.46/630.53 c #Conflicts: 550000 | #Constraints: 18639 628.46/630.53 c #Conflicts: 551000 | #Constraints: 19639 628.46/630.53 c #Conflicts: 552000 | #Constraints: 20639 628.46/630.53 c #Conflicts: 553000 | #Constraints: 21639 628.46/630.53 c #Conflicts: 554000 | #Constraints: 22641 628.46/630.53 c #Conflicts: 555000 | #Constraints: 23642 628.46/630.53 c #Conflicts: 556000 | #Constraints: 24642 628.46/630.53 c #Conflicts: 557000 | #Constraints: 25642 628.46/630.53 c #Conflicts: 558000 | #Constraints: 26643 628.46/630.53 c #Conflicts: 559000 | #Constraints: 27644 628.46/630.53 c #Conflicts: 560000 | #Constraints: 28644 628.46/630.53 c #Conflicts: 561000 | #Constraints: 29644 628.46/630.53 c INPROCESSING 628.46/630.53 c GARBAGE COLLECT 628.46/630.53 c rational objective 0 660.07/662.22 c #Conflicts: 562000 | #Constraints: 15835 660.07/662.22 c #Conflicts: 563000 | #Constraints: 16836 660.07/662.22 c #Conflicts: 564000 | #Constraints: 17837 660.07/662.22 c #Conflicts: 565000 | #Constraints: 18837 660.07/662.22 c #Conflicts: 566000 | #Constraints: 19837 660.07/662.22 c #Conflicts: 567000 | #Constraints: 20837 660.07/662.22 c #Conflicts: 568000 | #Constraints: 21837 660.07/662.22 c #Conflicts: 569000 | #Constraints: 22837 660.07/662.22 c #Conflicts: 570000 | #Constraints: 23837 660.07/662.22 c #Conflicts: 571000 | #Constraints: 24837 660.07/662.22 c #Conflicts: 572000 | #Constraints: 25837 660.07/662.22 c #Conflicts: 573000 | #Constraints: 26837 660.07/662.22 c #Conflicts: 574000 | #Constraints: 27837 660.07/662.22 c #Conflicts: 575000 | #Constraints: 28838 660.07/662.22 c #Conflicts: 576000 | #Constraints: 29838 660.07/662.22 c INPROCESSING 660.07/662.22 c GARBAGE COLLECT 660.07/662.22 c rational objective 0 683.51/685.78 c #Conflicts: 577000 | #Constraints: 15843 683.51/685.78 c #Conflicts: 578000 | #Constraints: 16843 683.51/685.78 c #Conflicts: 579000 | #Constraints: 17845 683.51/685.78 c #Conflicts: 580000 | #Constraints: 18846 683.51/685.78 c #Conflicts: 581000 | #Constraints: 19846 683.51/685.78 c #Conflicts: 582000 | #Constraints: 20846 683.51/685.78 c #Conflicts: 583000 | #Constraints: 21847 683.51/685.78 c #Conflicts: 584000 | #Constraints: 22848 683.51/685.78 c #Conflicts: 585000 | #Constraints: 23848 683.51/685.78 c #Conflicts: 586000 | #Constraints: 24849 683.51/685.78 c #Conflicts: 587000 | #Constraints: 25849 683.51/685.78 c #Conflicts: 588000 | #Constraints: 26849 683.51/685.78 c #Conflicts: 589000 | #Constraints: 27849 683.51/685.78 c #Conflicts: 590000 | #Constraints: 28849 683.51/685.78 c #Conflicts: 591000 | #Constraints: 29851 683.51/685.78 c INPROCESSING 683.51/685.78 c GARBAGE COLLECT 683.51/685.78 c rational objective 0 706.76/709.07 c #Conflicts: 592000 | #Constraints: 15643 706.76/709.07 c #Conflicts: 593000 | #Constraints: 16643 706.76/709.07 c #Conflicts: 594000 | #Constraints: 17643 706.76/709.07 c #Conflicts: 595000 | #Constraints: 18643 706.76/709.07 c #Conflicts: 596000 | #Constraints: 19643 706.76/709.07 c #Conflicts: 597000 | #Constraints: 20643 706.76/709.07 c #Conflicts: 598000 | #Constraints: 21643 706.76/709.07 c #Conflicts: 599000 | #Constraints: 22643 706.76/709.07 c #Conflicts: 600000 | #Constraints: 23645 706.76/709.07 c #Conflicts: 601000 | #Constraints: 24645 706.76/709.07 c #Conflicts: 602000 | #Constraints: 25645 706.76/709.07 c #Conflicts: 603000 | #Constraints: 26645 706.76/709.07 c #Conflicts: 604000 | #Constraints: 27646 706.76/709.07 c #Conflicts: 605000 | #Constraints: 28647 706.76/709.07 c #Conflicts: 606000 | #Constraints: 29648 706.76/709.07 c #Conflicts: 607000 | #Constraints: 30649 706.76/709.07 c INPROCESSING 706.76/709.07 c GARBAGE COLLECT 706.76/709.07 c rational objective 0 739.56/742.00 c #Conflicts: 608000 | #Constraints: 16242 739.56/742.00 c #Conflicts: 609000 | #Constraints: 17244 739.56/742.00 c #Conflicts: 610000 | #Constraints: 18244 739.56/742.00 c #Conflicts: 611000 | #Constraints: 19244 739.56/742.00 c #Conflicts: 612000 | #Constraints: 20247 739.56/742.00 c #Conflicts: 613000 | #Constraints: 21247 739.56/742.00 c #Conflicts: 614000 | #Constraints: 22248 739.56/742.00 c #Conflicts: 615000 | #Constraints: 23248 739.56/742.00 c #Conflicts: 616000 | #Constraints: 24248 739.56/742.00 c #Conflicts: 617000 | #Constraints: 25248 739.56/742.00 c #Conflicts: 618000 | #Constraints: 26249 739.56/742.00 c #Conflicts: 619000 | #Constraints: 27249 739.56/742.00 c #Conflicts: 620000 | #Constraints: 28249 739.56/742.00 c #Conflicts: 621000 | #Constraints: 29249 739.56/742.00 c #Conflicts: 622000 | #Constraints: 30251 739.56/742.00 c #Conflicts: 623000 | #Constraints: 31252 739.56/742.00 c INPROCESSING 739.56/742.00 c GARBAGE COLLECT 739.56/742.00 c rational objective 0 764.09/766.50 c #Conflicts: 624000 | #Constraints: 16642 764.09/766.50 c #Conflicts: 625000 | #Constraints: 17642 764.09/766.50 c #Conflicts: 626000 | #Constraints: 18644 764.09/766.50 c #Conflicts: 627000 | #Constraints: 19644 764.09/766.50 c #Conflicts: 628000 | #Constraints: 20644 764.09/766.50 c #Conflicts: 629000 | #Constraints: 21645 764.09/766.50 c #Conflicts: 630000 | #Constraints: 22645 764.09/766.50 c #Conflicts: 631000 | #Constraints: 23645 764.09/766.50 c #Conflicts: 632000 | #Constraints: 24645 764.09/766.50 c #Conflicts: 633000 | #Constraints: 25645 764.09/766.50 c #Conflicts: 634000 | #Constraints: 26647 764.09/766.50 c #Conflicts: 635000 | #Constraints: 27647 764.09/766.50 c #Conflicts: 636000 | #Constraints: 28647 764.09/766.50 c #Conflicts: 637000 | #Constraints: 29648 764.09/766.50 c #Conflicts: 638000 | #Constraints: 30648 764.09/766.50 c #Conflicts: 639000 | #Constraints: 31648 764.09/766.50 c INPROCESSING 764.09/766.50 c GARBAGE COLLECT 764.09/766.50 c rational objective 0 799.90/802.47 c #Conflicts: 640000 | #Constraints: 16843 799.90/802.47 c #Conflicts: 641000 | #Constraints: 17843 799.90/802.47 c #Conflicts: 642000 | #Constraints: 18843 799.90/802.47 c #Conflicts: 643000 | #Constraints: 19843 799.90/802.47 c #Conflicts: 644000 | #Constraints: 20843 799.90/802.47 c #Conflicts: 645000 | #Constraints: 21843 799.90/802.47 c #Conflicts: 646000 | #Constraints: 22843 799.90/802.47 c #Conflicts: 647000 | #Constraints: 23843 799.90/802.47 c #Conflicts: 648000 | #Constraints: 24843 799.90/802.47 c #Conflicts: 649000 | #Constraints: 25843 799.90/802.47 c #Conflicts: 650000 | #Constraints: 26843 799.90/802.47 c #Conflicts: 651000 | #Constraints: 27843 799.90/802.47 c #Conflicts: 652000 | #Constraints: 28845 799.90/802.47 c #Conflicts: 653000 | #Constraints: 29846 799.90/802.47 c #Conflicts: 654000 | #Constraints: 30846 799.90/802.47 c #Conflicts: 655000 | #Constraints: 31846 799.90/802.47 c INPROCESSING 799.90/802.47 c GARBAGE COLLECT 799.90/802.47 c rational objective 0 826.83/829.45 c #Conflicts: 656000 | #Constraints: 16843 826.83/829.45 c #Conflicts: 657000 | #Constraints: 17843 826.83/829.45 c #Conflicts: 658000 | #Constraints: 18843 826.83/829.45 c #Conflicts: 659000 | #Constraints: 19843 826.83/829.45 c #Conflicts: 660000 | #Constraints: 20844 826.83/829.45 c #Conflicts: 661000 | #Constraints: 21844 826.83/829.45 c #Conflicts: 662000 | #Constraints: 22844 826.83/829.45 c #Conflicts: 663000 | #Constraints: 23844 826.83/829.45 c #Conflicts: 664000 | #Constraints: 24844 826.83/829.45 c #Conflicts: 665000 | #Constraints: 25844 826.83/829.45 c #Conflicts: 666000 | #Constraints: 26844 826.83/829.45 c #Conflicts: 667000 | #Constraints: 27844 826.83/829.45 c #Conflicts: 668000 | #Constraints: 28845 826.83/829.45 c #Conflicts: 669000 | #Constraints: 29845 826.83/829.45 c #Conflicts: 670000 | #Constraints: 30845 826.83/829.45 c #Conflicts: 671000 | #Constraints: 31845 826.83/829.45 c INPROCESSING 826.83/829.45 c GARBAGE COLLECT 826.83/829.45 c rational objective 0 852.95/855.63 c #Conflicts: 672000 | #Constraints: 16636 852.95/855.63 c #Conflicts: 673000 | #Constraints: 17636 852.95/855.63 c #Conflicts: 674000 | #Constraints: 18636 852.95/855.63 c #Conflicts: 675000 | #Constraints: 19638 852.95/855.63 c #Conflicts: 676000 | #Constraints: 20638 852.95/855.63 c #Conflicts: 677000 | #Constraints: 21639 852.95/855.63 c #Conflicts: 678000 | #Constraints: 22639 852.95/855.63 c #Conflicts: 679000 | #Constraints: 23639 852.95/855.63 c #Conflicts: 680000 | #Constraints: 24639 852.95/855.63 c #Conflicts: 681000 | #Constraints: 25639 852.95/855.63 c #Conflicts: 682000 | #Constraints: 26639 852.95/855.63 c #Conflicts: 683000 | #Constraints: 27639 852.95/855.63 c #Conflicts: 684000 | #Constraints: 28640 852.95/855.63 c #Conflicts: 685000 | #Constraints: 29640 852.95/855.63 c #Conflicts: 686000 | #Constraints: 30641 852.95/855.63 c #Conflicts: 687000 | #Constraints: 31641 852.95/855.63 c #Conflicts: 688000 | #Constraints: 32642 852.95/855.63 c INPROCESSING 852.95/855.63 c GARBAGE COLLECT 852.95/855.63 c rational objective 0 890.36/893.15 c #Conflicts: 689000 | #Constraints: 17235 890.36/893.15 c #Conflicts: 690000 | #Constraints: 18235 890.36/893.15 c #Conflicts: 691000 | #Constraints: 19235 890.36/893.15 c #Conflicts: 692000 | #Constraints: 20235 890.36/893.15 c #Conflicts: 693000 | #Constraints: 21235 890.36/893.15 c #Conflicts: 694000 | #Constraints: 22239 890.36/893.15 c #Conflicts: 695000 | #Constraints: 23239 890.36/893.15 c #Conflicts: 696000 | #Constraints: 24240 890.36/893.15 c #Conflicts: 697000 | #Constraints: 25240 890.36/893.15 c #Conflicts: 698000 | #Constraints: 26240 890.36/893.15 c #Conflicts: 699000 | #Constraints: 27240 890.36/893.15 c #Conflicts: 700000 | #Constraints: 28240 890.36/893.15 c #Conflicts: 701000 | #Constraints: 29240 890.36/893.15 c #Conflicts: 702000 | #Constraints: 30240 890.36/893.15 c #Conflicts: 703000 | #Constraints: 31240 890.36/893.15 c #Conflicts: 704000 | #Constraints: 32240 890.36/893.15 c #Conflicts: 705000 | #Constraints: 33240 890.36/893.15 c INPROCESSING 890.36/893.15 c GARBAGE COLLECT 890.36/893.15 c rational objective 0 923.57/926.43 c #Conflicts: 706000 | #Constraints: 17637 923.57/926.43 c #Conflicts: 707000 | #Constraints: 18638 923.57/926.43 c #Conflicts: 708000 | #Constraints: 19638 923.57/926.43 c #Conflicts: 709000 | #Constraints: 20638 923.57/926.43 c #Conflicts: 710000 | #Constraints: 21638 923.57/926.43 c #Conflicts: 711000 | #Constraints: 22638 923.57/926.43 c #Conflicts: 712000 | #Constraints: 23638 923.57/926.43 c #Conflicts: 713000 | #Constraints: 24638 923.57/926.43 c #Conflicts: 714000 | #Constraints: 25638 923.57/926.43 c #Conflicts: 715000 | #Constraints: 26638 923.57/926.43 c #Conflicts: 716000 | #Constraints: 27638 923.57/926.43 c #Conflicts: 717000 | #Constraints: 28638 923.57/926.43 c #Conflicts: 718000 | #Constraints: 29638 923.57/926.43 c #Conflicts: 719000 | #Constraints: 30638 923.57/926.43 c #Conflicts: 720000 | #Constraints: 31638 923.57/926.43 c #Conflicts: 721000 | #Constraints: 32639 923.57/926.43 c #Conflicts: 722000 | #Constraints: 33639 923.57/926.43 c INPROCESSING 923.57/926.43 c GARBAGE COLLECT 923.57/926.43 c rational objective 0 960.37/963.34 c #Conflicts: 723000 | #Constraints: 17834 960.37/963.34 c #Conflicts: 724000 | #Constraints: 18834 960.37/963.34 c #Conflicts: 725000 | #Constraints: 19834 960.37/963.34 c #Conflicts: 726000 | #Constraints: 20834 960.37/963.34 c #Conflicts: 727000 | #Constraints: 21834 960.37/963.34 c #Conflicts: 728000 | #Constraints: 22835 960.37/963.34 c #Conflicts: 729000 | #Constraints: 23835 960.37/963.34 c #Conflicts: 730000 | #Constraints: 24835 960.37/963.34 c #Conflicts: 731000 | #Constraints: 25835 960.37/963.34 c #Conflicts: 732000 | #Constraints: 26835 960.37/963.34 c #Conflicts: 733000 | #Constraints: 27835 960.37/963.34 c #Conflicts: 734000 | #Constraints: 28835 960.37/963.34 c #Conflicts: 735000 | #Constraints: 29835 960.37/963.34 c #Conflicts: 736000 | #Constraints: 30835 960.37/963.34 c #Conflicts: 737000 | #Constraints: 31836 960.37/963.34 c #Conflicts: 738000 | #Constraints: 32836 960.37/963.34 c #Conflicts: 739000 | #Constraints: 33836 960.37/963.34 c INPROCESSING 960.37/963.34 c GARBAGE COLLECT 960.37/963.34 c rational objective 0 989.68/992.71 c #Conflicts: 740000 | #Constraints: 17836 989.68/992.71 c #Conflicts: 741000 | #Constraints: 18836 989.68/992.71 c #Conflicts: 742000 | #Constraints: 19836 989.68/992.71 c #Conflicts: 743000 | #Constraints: 20836 989.68/992.71 c #Conflicts: 744000 | #Constraints: 21836 989.68/992.71 c #Conflicts: 745000 | #Constraints: 22836 989.68/992.71 c #Conflicts: 746000 | #Constraints: 23836 989.68/992.71 c #Conflicts: 747000 | #Constraints: 24836 989.68/992.71 c #Conflicts: 748000 | #Constraints: 25836 989.68/992.71 c #Conflicts: 749000 | #Constraints: 26836 989.68/992.71 c #Conflicts: 750000 | #Constraints: 27837 989.68/992.71 c #Conflicts: 751000 | #Constraints: 28837 989.68/992.71 c #Conflicts: 752000 | #Constraints: 29837 989.68/992.71 c #Conflicts: 753000 | #Constraints: 30837 989.68/992.71 c #Conflicts: 754000 | #Constraints: 31837 989.68/992.71 c #Conflicts: 755000 | #Constraints: 32838 989.68/992.71 c #Conflicts: 756000 | #Constraints: 33838 989.68/992.71 c INPROCESSING 989.68/992.71 c GARBAGE COLLECT 989.68/992.71 c rational objective 0 1032.99/1036.18 c #Conflicts: 757000 | #Constraints: 17635 1032.99/1036.18 c #Conflicts: 758000 | #Constraints: 18635 1032.99/1036.18 c #Conflicts: 759000 | #Constraints: 19635 1032.99/1036.18 c #Conflicts: 760000 | #Constraints: 20635 1032.99/1036.18 c #Conflicts: 761000 | #Constraints: 21636 1032.99/1036.18 c #Conflicts: 762000 | #Constraints: 22637 1032.99/1036.18 c #Conflicts: 763000 | #Constraints: 23637 1032.99/1036.18 c #Conflicts: 764000 | #Constraints: 24637 1032.99/1036.18 c #Conflicts: 765000 | #Constraints: 25637 1032.99/1036.18 c #Conflicts: 766000 | #Constraints: 26638 1032.99/1036.18 c #Conflicts: 767000 | #Constraints: 27638 1032.99/1036.18 c #Conflicts: 768000 | #Constraints: 28638 1032.99/1036.18 c #Conflicts: 769000 | #Constraints: 29638 1032.99/1036.18 c #Conflicts: 770000 | #Constraints: 30638 1032.99/1036.18 c #Conflicts: 771000 | #Constraints: 31638 1032.99/1036.18 c #Conflicts: 772000 | #Constraints: 32638 1032.99/1036.18 c #Conflicts: 773000 | #Constraints: 33639 1032.99/1036.18 c #Conflicts: 774000 | #Constraints: 34639 1032.99/1036.18 c INPROCESSING 1032.99/1036.18 c GARBAGE COLLECT 1032.99/1036.18 c rational objective 0 1062.60/1065.82 c #Conflicts: 775000 | #Constraints: 18237 1062.60/1065.82 c #Conflicts: 776000 | #Constraints: 19238 1062.60/1065.82 c #Conflicts: 777000 | #Constraints: 20238 1062.60/1065.82 c #Conflicts: 778000 | #Constraints: 21238 1062.60/1065.82 c #Conflicts: 779000 | #Constraints: 22238 1062.60/1065.82 c #Conflicts: 780000 | #Constraints: 23238 1062.60/1065.82 c #Conflicts: 781000 | #Constraints: 24238 1062.60/1065.82 c #Conflicts: 782000 | #Constraints: 25238 1062.60/1065.82 c #Conflicts: 783000 | #Constraints: 26238 1062.60/1065.82 c #Conflicts: 784000 | #Constraints: 27238 1062.60/1065.82 c #Conflicts: 785000 | #Constraints: 28239 1062.60/1065.82 c #Conflicts: 786000 | #Constraints: 29239 1062.60/1065.82 c #Conflicts: 787000 | #Constraints: 30239 1062.60/1065.82 c #Conflicts: 788000 | #Constraints: 31239 1062.60/1065.82 c #Conflicts: 789000 | #Constraints: 32239 1062.60/1065.82 c #Conflicts: 790000 | #Constraints: 33239 1062.60/1065.82 c #Conflicts: 791000 | #Constraints: 34239 1062.60/1065.82 c #Conflicts: 792000 | #Constraints: 35240 1062.60/1065.82 c INPROCESSING 1062.60/1065.82 c GARBAGE COLLECT 1062.60/1065.82 c rational objective 0 1093.61/1096.96 c #Conflicts: 793000 | #Constraints: 18632 1093.61/1096.96 c #Conflicts: 794000 | #Constraints: 19632 1093.61/1096.96 c #Conflicts: 795000 | #Constraints: 20633 1093.61/1096.96 c #Conflicts: 796000 | #Constraints: 21633 1093.61/1096.96 c #Conflicts: 797000 | #Constraints: 22633 1093.61/1096.96 c #Conflicts: 798000 | #Constraints: 23634 1093.61/1096.96 c #Conflicts: 799000 | #Constraints: 24634 1093.61/1096.96 c #Conflicts: 800000 | #Constraints: 25635 1093.61/1096.96 c #Conflicts: 801000 | #Constraints: 26635 1093.61/1096.96 c #Conflicts: 802000 | #Constraints: 27636 1093.61/1096.96 c #Conflicts: 803000 | #Constraints: 28636 1093.61/1096.96 c #Conflicts: 804000 | #Constraints: 29636 1093.61/1096.96 c #Conflicts: 805000 | #Constraints: 30636 1093.61/1096.96 c #Conflicts: 806000 | #Constraints: 31636 1093.61/1096.96 c #Conflicts: 807000 | #Constraints: 32636 1093.61/1096.96 c #Conflicts: 808000 | #Constraints: 33636 1093.61/1096.96 c #Conflicts: 809000 | #Constraints: 34636 1093.61/1096.96 c #Conflicts: 810000 | #Constraints: 35636 1093.61/1096.96 c INPROCESSING 1093.61/1096.96 c GARBAGE COLLECT 1093.61/1096.96 c rational objective 0 1141.39/1144.86 c #Conflicts: 811000 | #Constraints: 18833 1141.39/1144.86 c #Conflicts: 812000 | #Constraints: 19834 1141.39/1144.86 c #Conflicts: 813000 | #Constraints: 20834 1141.39/1144.86 c #Conflicts: 814000 | #Constraints: 21835 1141.39/1144.86 c #Conflicts: 815000 | #Constraints: 22836 1141.39/1144.86 c #Conflicts: 816000 | #Constraints: 23836 1141.39/1144.86 c #Conflicts: 817000 | #Constraints: 24836 1141.39/1144.86 c #Conflicts: 818000 | #Constraints: 25836 1141.39/1144.86 c #Conflicts: 819000 | #Constraints: 26836 1141.39/1144.86 c #Conflicts: 820000 | #Constraints: 27836 1141.39/1144.86 c #Conflicts: 821000 | #Constraints: 28837 1141.39/1144.86 c #Conflicts: 822000 | #Constraints: 29837 1141.39/1144.86 c #Conflicts: 823000 | #Constraints: 30838 1141.39/1144.86 c #Conflicts: 824000 | #Constraints: 31838 1141.39/1144.86 c #Conflicts: 825000 | #Constraints: 32839 1141.39/1144.86 c #Conflicts: 826000 | #Constraints: 33839 1141.39/1144.86 c #Conflicts: 827000 | #Constraints: 34839 1141.39/1144.86 c #Conflicts: 828000 | #Constraints: 35839 1141.39/1144.86 c INPROCESSING 1141.39/1144.86 c GARBAGE COLLECT 1141.39/1144.86 c rational objective 0 1176.39/1180.00 c #Conflicts: 829000 | #Constraints: 18837 1176.39/1180.00 c #Conflicts: 830000 | #Constraints: 19837 1176.39/1180.00 c #Conflicts: 831000 | #Constraints: 20837 1176.39/1180.00 c #Conflicts: 832000 | #Constraints: 21837 1176.39/1180.00 c #Conflicts: 833000 | #Constraints: 22837 1176.39/1180.00 c #Conflicts: 834000 | #Constraints: 23837 1176.39/1180.00 c #Conflicts: 835000 | #Constraints: 24837 1176.39/1180.00 c #Conflicts: 836000 | #Constraints: 25837 1176.39/1180.00 c #Conflicts: 837000 | #Constraints: 26837 1176.39/1180.00 c #Conflicts: 838000 | #Constraints: 27838 1176.39/1180.00 c #Conflicts: 839000 | #Constraints: 28838 1176.39/1180.00 c #Conflicts: 840000 | #Constraints: 29838 1176.39/1180.00 c #Conflicts: 841000 | #Constraints: 30838 1176.39/1180.00 c #Conflicts: 842000 | #Constraints: 31839 1176.39/1180.00 c #Conflicts: 843000 | #Constraints: 32839 1176.39/1180.00 c #Conflicts: 844000 | #Constraints: 33839 1176.39/1180.00 c #Conflicts: 845000 | #Constraints: 34839 1176.39/1180.00 c #Conflicts: 846000 | #Constraints: 35839 1176.39/1180.00 c INPROCESSING 1176.39/1180.00 c GARBAGE COLLECT 1176.39/1180.00 c rational objective 0 1226.14/1229.85 c #Conflicts: 847000 | #Constraints: 18630 1226.14/1229.85 c #Conflicts: 848000 | #Constraints: 19630 1226.14/1229.85 c #Conflicts: 849000 | #Constraints: 20630 1226.14/1229.85 c #Conflicts: 850000 | #Constraints: 21630 1226.14/1229.85 c #Conflicts: 851000 | #Constraints: 22630 1226.14/1229.85 c #Conflicts: 852000 | #Constraints: 23631 1226.14/1229.85 c #Conflicts: 853000 | #Constraints: 24631 1226.14/1229.85 c #Conflicts: 854000 | #Constraints: 25632 1226.14/1229.85 c #Conflicts: 855000 | #Constraints: 26633 1226.14/1229.85 c #Conflicts: 856000 | #Constraints: 27633 1226.14/1229.85 c #Conflicts: 857000 | #Constraints: 28633 1226.14/1229.85 c #Conflicts: 858000 | #Constraints: 29633 1226.14/1229.85 c #Conflicts: 859000 | #Constraints: 30633 1226.14/1229.85 c #Conflicts: 860000 | #Constraints: 31633 1226.14/1229.85 c #Conflicts: 861000 | #Constraints: 32633 1226.14/1229.85 c #Conflicts: 862000 | #Constraints: 33634 1226.14/1229.85 c #Conflicts: 863000 | #Constraints: 34635 1226.14/1229.85 c #Conflicts: 864000 | #Constraints: 35635 1226.14/1229.85 c #Conflicts: 865000 | #Constraints: 36635 1226.14/1229.85 c INPROCESSING 1226.14/1229.85 c GARBAGE COLLECT 1226.14/1229.85 c rational objective 0 1260.93/1264.77 c #Conflicts: 866000 | #Constraints: 19238 1260.93/1264.77 c #Conflicts: 867000 | #Constraints: 20239 1260.93/1264.77 c #Conflicts: 868000 | #Constraints: 21239 1260.93/1264.77 c #Conflicts: 869000 | #Constraints: 22239 1260.93/1264.77 c #Conflicts: 870000 | #Constraints: 23239 1260.93/1264.77 c #Conflicts: 871000 | #Constraints: 24239 1260.93/1264.77 c #Conflicts: 872000 | #Constraints: 25239 1260.93/1264.77 c #Conflicts: 873000 | #Constraints: 26240 1260.93/1264.77 c #Conflicts: 874000 | #Constraints: 27241 1260.93/1264.77 c #Conflicts: 875000 | #Constraints: 28241 1260.93/1264.77 c #Conflicts: 876000 | #Constraints: 29241 1260.93/1264.77 c #Conflicts: 877000 | #Constraints: 30241 1260.93/1264.77 c #Conflicts: 878000 | #Constraints: 31242 1260.93/1264.77 c #Conflicts: 879000 | #Constraints: 32242 1260.93/1264.77 c #Conflicts: 880000 | #Constraints: 33242 1260.93/1264.77 c #Conflicts: 881000 | #Constraints: 34242 1260.93/1264.77 c #Conflicts: 882000 | #Constraints: 35242 1260.93/1264.77 c #Conflicts: 883000 | #Constraints: 36244 1260.93/1264.77 c #Conflicts: 884000 | #Constraints: 37244 1260.93/1264.77 c INPROCESSING 1260.93/1264.77 c GARBAGE COLLECT 1260.93/1264.77 c rational objective 0 1297.32/1301.26 c #Conflicts: 885000 | #Constraints: 19641 1297.32/1301.26 c #Conflicts: 886000 | #Constraints: 20641 1297.32/1301.26 c #Conflicts: 887000 | #Constraints: 21641 1297.32/1301.26 c #Conflicts: 888000 | #Constraints: 22641 1297.32/1301.26 c #Conflicts: 889000 | #Constraints: 23641 1297.32/1301.26 c #Conflicts: 890000 | #Constraints: 24641 1297.32/1301.26 c #Conflicts: 891000 | #Constraints: 25641 1297.32/1301.26 c #Conflicts: 892000 | #Constraints: 26641 1297.32/1301.26 c #Conflicts: 893000 | #Constraints: 27641 1297.32/1301.26 c #Conflicts: 894000 | #Constraints: 28641 1297.32/1301.26 c #Conflicts: 895000 | #Constraints: 29641 1297.32/1301.26 c #Conflicts: 896000 | #Constraints: 30641 1297.32/1301.26 c #Conflicts: 897000 | #Constraints: 31641 1297.32/1301.26 c #Conflicts: 898000 | #Constraints: 32641 1297.32/1301.26 c #Conflicts: 899000 | #Constraints: 33641 1297.32/1301.26 c #Conflicts: 900000 | #Constraints: 34642 1297.32/1301.26 c #Conflicts: 901000 | #Constraints: 35642 1297.32/1301.26 c #Conflicts: 902000 | #Constraints: 36642 1297.32/1301.26 c #Conflicts: 903000 | #Constraints: 37642 1297.32/1301.26 c INPROCESSING 1297.32/1301.26 c GARBAGE COLLECT 1297.32/1301.26 c rational objective 0 1352.14/1356.29 c #Conflicts: 904000 | #Constraints: 19835 1352.14/1356.29 c #Conflicts: 905000 | #Constraints: 20835 1352.14/1356.29 c #Conflicts: 906000 | #Constraints: 21835 1352.14/1356.29 c #Conflicts: 907000 | #Constraints: 22837 1352.14/1356.29 c #Conflicts: 908000 | #Constraints: 23838 1352.14/1356.29 c #Conflicts: 909000 | #Constraints: 24838 1352.14/1356.29 c #Conflicts: 910000 | #Constraints: 25839 1352.14/1356.29 c #Conflicts: 911000 | #Constraints: 26839 1352.14/1356.29 c #Conflicts: 912000 | #Constraints: 27839 1352.14/1356.29 c #Conflicts: 913000 | #Constraints: 28839 1352.14/1356.29 c #Conflicts: 914000 | #Constraints: 29839 1352.14/1356.29 c #Conflicts: 915000 | #Constraints: 30839 1352.14/1356.29 c #Conflicts: 916000 | #Constraints: 31839 1352.14/1356.29 c #Conflicts: 917000 | #Constraints: 32839 1352.14/1356.29 c #Conflicts: 918000 | #Constraints: 33839 1352.14/1356.29 c #Conflicts: 919000 | #Constraints: 34840 1352.14/1356.29 c #Conflicts: 920000 | #Constraints: 35840 1352.14/1356.29 c #Conflicts: 921000 | #Constraints: 36840 1352.14/1356.29 c #Conflicts: 922000 | #Constraints: 37840 1352.14/1356.29 c INPROCESSING 1352.14/1356.29 c GARBAGE COLLECT 1352.14/1356.29 c rational objective 0 1388.94/1393.17 c #Conflicts: 923000 | #Constraints: 19839 1388.94/1393.17 c #Conflicts: 924000 | #Constraints: 20839 1388.94/1393.17 c #Conflicts: 925000 | #Constraints: 21839 1388.94/1393.17 c #Conflicts: 926000 | #Constraints: 22839 1388.94/1393.17 c #Conflicts: 927000 | #Constraints: 23839 1388.94/1393.17 c #Conflicts: 928000 | #Constraints: 24839 1388.94/1393.17 c #Conflicts: 929000 | #Constraints: 25839 1388.94/1393.17 c #Conflicts: 930000 | #Constraints: 26839 1388.94/1393.17 c #Conflicts: 931000 | #Constraints: 27839 1388.94/1393.17 c #Conflicts: 932000 | #Constraints: 28839 1388.94/1393.17 c #Conflicts: 933000 | #Constraints: 29839 1388.94/1393.17 c #Conflicts: 934000 | #Constraints: 30839 1388.94/1393.17 c #Conflicts: 935000 | #Constraints: 31840 1388.94/1393.17 c #Conflicts: 936000 | #Constraints: 32841 1388.94/1393.17 c #Conflicts: 937000 | #Constraints: 33841 1388.94/1393.17 c #Conflicts: 938000 | #Constraints: 34841 1388.94/1393.17 c #Conflicts: 939000 | #Constraints: 35841 1388.94/1393.17 c #Conflicts: 940000 | #Constraints: 36841 1388.94/1393.17 c #Conflicts: 941000 | #Constraints: 37841 1388.94/1393.17 c INPROCESSING 1388.94/1393.17 c GARBAGE COLLECT 1388.94/1393.17 c rational objective 0 1443.45/1447.86 c #Conflicts: 942000 | #Constraints: 19637 1443.45/1447.86 c #Conflicts: 943000 | #Constraints: 20637 1443.45/1447.86 c #Conflicts: 944000 | #Constraints: 21637 1443.45/1447.86 c #Conflicts: 945000 | #Constraints: 22637 1443.45/1447.86 c #Conflicts: 946000 | #Constraints: 23638 1443.45/1447.86 c #Conflicts: 947000 | #Constraints: 24638 1443.45/1447.86 c #Conflicts: 948000 | #Constraints: 25638 1443.45/1447.86 c #Conflicts: 949000 | #Constraints: 26638 1443.45/1447.86 c #Conflicts: 950000 | #Constraints: 27639 1443.45/1447.86 c #Conflicts: 951000 | #Constraints: 28639 1443.45/1447.86 c #Conflicts: 952000 | #Constraints: 29639 1443.45/1447.86 c #Conflicts: 953000 | #Constraints: 30639 1443.45/1447.86 c #Conflicts: 954000 | #Constraints: 31639 1443.45/1447.86 c #Conflicts: 955000 | #Constraints: 32640 1443.45/1447.86 c #Conflicts: 956000 | #Constraints: 33640 1443.45/1447.86 c #Conflicts: 957000 | #Constraints: 34640 1443.45/1447.86 c #Conflicts: 958000 | #Constraints: 35640 1443.45/1447.86 c #Conflicts: 959000 | #Constraints: 36640 1443.45/1447.86 c #Conflicts: 960000 | #Constraints: 37640 1443.45/1447.86 c #Conflicts: 961000 | #Constraints: 38640 1443.45/1447.86 c INPROCESSING 1443.45/1447.86 c GARBAGE COLLECT 1443.45/1447.86 c rational objective 0 1488.52/1493.06 c #Conflicts: 962000 | #Constraints: 20241 1488.52/1493.06 c #Conflicts: 963000 | #Constraints: 21242 1488.52/1493.06 c #Conflicts: 964000 | #Constraints: 22242 1488.52/1493.06 c #Conflicts: 965000 | #Constraints: 23242 1488.52/1493.06 c #Conflicts: 966000 | #Constraints: 24242 1488.52/1493.06 c #Conflicts: 967000 | #Constraints: 25242 1488.52/1493.06 c #Conflicts: 968000 | #Constraints: 26244 1488.52/1493.06 c #Conflicts: 969000 | #Constraints: 27245 1488.52/1493.06 c #Conflicts: 970000 | #Constraints: 28245 1488.52/1493.06 c #Conflicts: 971000 | #Constraints: 29245 1488.52/1493.06 c #Conflicts: 972000 | #Constraints: 30245 1488.52/1493.06 c #Conflicts: 973000 | #Constraints: 31246 1488.52/1493.06 c #Conflicts: 974000 | #Constraints: 32247 1488.52/1493.06 c #Conflicts: 975000 | #Constraints: 33247 1488.52/1493.06 c #Conflicts: 976000 | #Constraints: 34247 1488.52/1493.06 c #Conflicts: 977000 | #Constraints: 35247 1488.52/1493.06 c #Conflicts: 978000 | #Constraints: 36247 1488.52/1493.06 c #Conflicts: 979000 | #Constraints: 37248 1488.52/1493.06 c #Conflicts: 980000 | #Constraints: 38248 1488.52/1493.06 c #Conflicts: 981000 | #Constraints: 39248 1488.52/1493.06 c INPROCESSING 1488.52/1493.06 c GARBAGE COLLECT 1488.52/1493.06 c rational objective 0 1538.46/1543.11 c #Conflicts: 982000 | #Constraints: 20641 1538.46/1543.11 c #Conflicts: 983000 | #Constraints: 21641 1538.46/1543.11 c #Conflicts: 984000 | #Constraints: 22641 1538.46/1543.11 c #Conflicts: 985000 | #Constraints: 23642 1538.46/1543.11 c #Conflicts: 986000 | #Constraints: 24642 1538.46/1543.11 c #Conflicts: 987000 | #Constraints: 25642 1538.46/1543.11 c #Conflicts: 988000 | #Constraints: 26642 1538.46/1543.11 c #Conflicts: 989000 | #Constraints: 27642 1538.46/1543.11 c #Conflicts: 990000 | #Constraints: 28644 1538.46/1543.11 c #Conflicts: 991000 | #Constraints: 29644 1538.46/1543.11 c #Conflicts: 992000 | #Constraints: 30644 1538.46/1543.11 c #Conflicts: 993000 | #Constraints: 31644 1538.46/1543.11 c #Conflicts: 994000 | #Constraints: 32644 1538.46/1543.11 c #Conflicts: 995000 | #Constraints: 33644 1538.46/1543.11 c #Conflicts: 996000 | #Constraints: 34645 1538.46/1543.11 c #Conflicts: 997000 | #Constraints: 35645 1538.46/1543.11 c #Conflicts: 998000 | #Constraints: 36646 1538.46/1543.11 c #Conflicts: 999000 | #Constraints: 37647 1538.46/1543.11 c #Conflicts: 1000000 | #Constraints: 38647 1538.46/1543.11 c #Conflicts: 1001000 | #Constraints: 39647 1538.46/1543.11 c INPROCESSING 1538.46/1543.11 c GARBAGE COLLECT 1538.46/1543.11 c rational objective 0 1602.34/1607.27 c #Conflicts: 1002000 | #Constraints: 20841 1602.34/1607.27 c #Conflicts: 1003000 | #Constraints: 21842 1602.34/1607.27 c #Conflicts: 1004000 | #Constraints: 22842 1602.34/1607.27 c #Conflicts: 1005000 | #Constraints: 23842 1602.34/1607.27 c #Conflicts: 1006000 | #Constraints: 24842 1602.34/1607.27 c #Conflicts: 1007000 | #Constraints: 25842 1602.34/1607.27 c #Conflicts: 1008000 | #Constraints: 26842 1602.34/1607.27 c #Conflicts: 1009000 | #Constraints: 27842 1602.34/1607.27 c #Conflicts: 1010000 | #Constraints: 28842 1602.34/1607.27 c #Conflicts: 1011000 | #Constraints: 29842 1602.34/1607.27 c #Conflicts: 1012000 | #Constraints: 30843 1602.34/1607.27 c #Conflicts: 1013000 | #Constraints: 31843 1602.34/1607.27 c #Conflicts: 1014000 | #Constraints: 32843 1602.34/1607.27 c #Conflicts: 1015000 | #Constraints: 33843 1602.34/1607.27 c #Conflicts: 1016000 | #Constraints: 34843 1602.34/1607.27 c #Conflicts: 1017000 | #Constraints: 35844 1602.34/1607.27 c #Conflicts: 1018000 | #Constraints: 36844 1602.34/1607.27 c #Conflicts: 1019000 | #Constraints: 37844 1602.34/1607.27 c #Conflicts: 1020000 | #Constraints: 38844 1602.34/1607.27 c #Conflicts: 1021000 | #Constraints: 39844 1602.34/1607.27 c INPROCESSING 1602.34/1607.27 c GARBAGE COLLECT 1602.34/1607.27 c rational objective 0 1653.28/1658.33 c #Conflicts: 1022000 | #Constraints: 20844 1653.28/1658.33 c #Conflicts: 1023000 | #Constraints: 21845 1653.28/1658.33 c #Conflicts: 1024000 | #Constraints: 22845 1653.28/1658.33 c #Conflicts: 1025000 | #Constraints: 23845 1653.28/1658.33 c #Conflicts: 1026000 | #Constraints: 24845 1653.28/1658.33 c #Conflicts: 1027000 | #Constraints: 25846 1653.28/1658.33 c #Conflicts: 1028000 | #Constraints: 26846 1653.28/1658.33 c #Conflicts: 1029000 | #Constraints: 27846 1653.28/1658.33 c #Conflicts: 1030000 | #Constraints: 28846 1653.28/1658.33 c #Conflicts: 1031000 | #Constraints: 29846 1653.28/1658.33 c #Conflicts: 1032000 | #Constraints: 30846 1653.28/1658.33 c #Conflicts: 1033000 | #Constraints: 31846 1653.28/1658.33 c #Conflicts: 1034000 | #Constraints: 32846 1653.28/1658.33 c #Conflicts: 1035000 | #Constraints: 33846 1653.28/1658.33 c #Conflicts: 1036000 | #Constraints: 34846 1653.28/1658.33 c #Conflicts: 1037000 | #Constraints: 35846 1653.28/1658.33 c #Conflicts: 1038000 | #Constraints: 36848 1653.28/1658.33 c #Conflicts: 1039000 | #Constraints: 37848 1653.28/1658.33 c #Conflicts: 1040000 | #Constraints: 38848 1653.28/1658.33 c #Conflicts: 1041000 | #Constraints: 39848 1653.28/1658.33 c INPROCESSING 1653.28/1658.33 c GARBAGE COLLECT 1653.28/1658.33 c rational objective 0 1717.37/1722.65 c #Conflicts: 1042000 | #Constraints: 20642 1717.37/1722.65 c #Conflicts: 1043000 | #Constraints: 21643 1717.37/1722.65 c #Conflicts: 1044000 | #Constraints: 22643 1717.37/1722.65 c #Conflicts: 1045000 | #Constraints: 23644 1717.37/1722.65 c #Conflicts: 1046000 | #Constraints: 24645 1717.37/1722.65 c #Conflicts: 1047000 | #Constraints: 25645 1717.37/1722.65 c #Conflicts: 1048000 | #Constraints: 26646 1717.37/1722.65 c #Conflicts: 1049000 | #Constraints: 27646 1717.37/1722.65 c #Conflicts: 1050000 | #Constraints: 28646 1717.37/1722.65 c #Conflicts: 1051000 | #Constraints: 29646 1717.37/1722.65 c #Conflicts: 1052000 | #Constraints: 30646 1717.37/1722.65 c #Conflicts: 1053000 | #Constraints: 31646 1717.37/1722.65 c #Conflicts: 1054000 | #Constraints: 32646 1717.37/1722.65 c #Conflicts: 1055000 | #Constraints: 33646 1717.37/1722.65 c #Conflicts: 1056000 | #Constraints: 34646 1717.37/1722.65 c #Conflicts: 1057000 | #Constraints: 35647 1717.37/1722.65 c #Conflicts: 1058000 | #Constraints: 36647 1717.37/1722.65 c #Conflicts: 1059000 | #Constraints: 37647 1717.37/1722.65 c #Conflicts: 1060000 | #Constraints: 38647 1717.37/1722.65 c #Conflicts: 1061000 | #Constraints: 39647 1717.37/1722.65 c #Conflicts: 1062000 | #Constraints: 40647 1717.37/1722.65 c INPROCESSING 1717.37/1722.65 c GARBAGE COLLECT 1717.37/1722.65 c rational objective 0 1775.60/1781.11 c #Conflicts: 1063000 | #Constraints: 21245 1775.60/1781.11 c #Conflicts: 1064000 | #Constraints: 22245 1775.60/1781.11 c #Conflicts: 1065000 | #Constraints: 23245 1775.60/1781.11 c #Conflicts: 1066000 | #Constraints: 24245 1775.60/1781.11 c #Conflicts: 1067000 | #Constraints: 25245 1775.60/1781.11 c #Conflicts: 1068000 | #Constraints: 26245 1775.60/1781.11 c #Conflicts: 1069000 | #Constraints: 27245 1775.60/1781.11 c #Conflicts: 1070000 | #Constraints: 28245 1775.60/1781.11 c #Conflicts: 1071000 | #Constraints: 29245 1775.60/1781.11 c #Conflicts: 1072000 | #Constraints: 30246 1775.60/1781.11 c #Conflicts: 1073000 | #Constraints: 31246 1775.60/1781.11 c #Conflicts: 1074000 | #Constraints: 32246 1775.60/1781.11 c #Conflicts: 1075000 | #Constraints: 33246 1775.60/1781.11 c #Conflicts: 1076000 | #Constraints: 34246 1775.60/1781.11 c #Conflicts: 1077000 | #Constraints: 35246 1775.60/1781.11 c #Conflicts: 1078000 | #Constraints: 36246 1775.60/1781.11 c #Conflicts: 1079000 | #Constraints: 37246 1775.60/1781.11 c #Conflicts: 1080000 | #Constraints: 38246 1775.60/1781.11 c #Conflicts: 1081000 | #Constraints: 39246 1775.60/1781.11 c #Conflicts: 1082000 | #Constraints: 40246 1775.60/1781.11 c #Conflicts: 1083000 | #Constraints: 41246 1775.60/1781.11 c INPROCESSING 1775.60/1781.11 c GARBAGE COLLECT 1775.60/1781.11 c rational objective 0 1844.03/1849.74 c #Conflicts: 1084000 | #Constraints: 21640 1844.03/1849.74 c #Conflicts: 1085000 | #Constraints: 22640 1844.03/1849.74 c #Conflicts: 1086000 | #Constraints: 23640 1844.03/1849.74 c #Conflicts: 1087000 | #Constraints: 24640 1844.03/1849.74 c #Conflicts: 1088000 | #Constraints: 25640 1844.03/1849.74 c #Conflicts: 1089000 | #Constraints: 26640 1844.03/1849.74 c #Conflicts: 1090000 | #Constraints: 27641 1844.03/1849.74 c #Conflicts: 1091000 | #Constraints: 28643 1844.03/1849.74 c #Conflicts: 1092000 | #Constraints: 29643 1844.03/1849.74 c #Conflicts: 1093000 | #Constraints: 30643 1844.03/1849.74 c #Conflicts: 1094000 | #Constraints: 31644 1844.03/1849.74 c #Conflicts: 1095000 | #Constraints: 32644 1844.03/1849.74 c #Conflicts: 1096000 | #Constraints: 33644 1844.03/1849.74 c #Conflicts: 1097000 | #Constraints: 34644 1844.03/1849.74 c #Conflicts: 1098000 | #Constraints: 35644 1844.03/1849.74 c #Conflicts: 1099000 | #Constraints: 36644 1844.03/1849.74 c #Conflicts: 1100000 | #Constraints: 37644 1844.03/1849.74 c #Conflicts: 1101000 | #Constraints: 38644 1844.03/1849.74 c #Conflicts: 1102000 | #Constraints: 39644 1844.03/1849.74 c #Conflicts: 1103000 | #Constraints: 40645 1844.03/1849.74 c #Conflicts: 1104000 | #Constraints: 41645 1844.03/1849.74 c INPROCESSING 1844.03/1849.74 c GARBAGE COLLECT 1844.03/1849.74 c rational objective 0 1898.14/1904.07 c #Conflicts: 1105000 | #Constraints: 21841 1898.14/1904.07 c #Conflicts: 1106000 | #Constraints: 22841 1898.14/1904.07 c #Conflicts: 1107000 | #Constraints: 23841 1898.14/1904.07 c #Conflicts: 1108000 | #Constraints: 24842 1898.14/1904.07 c #Conflicts: 1109000 | #Constraints: 25843 1898.14/1904.07 c #Conflicts: 1110000 | #Constraints: 26843 1898.14/1904.07 c #Conflicts: 1111000 | #Constraints: 27843 1898.14/1904.07 c #Conflicts: 1112000 | #Constraints: 28844 1898.14/1904.07 c #Conflicts: 1113000 | #Constraints: 29844 1898.14/1904.07 c #Conflicts: 1114000 | #Constraints: 30845 1898.14/1904.07 c #Conflicts: 1115000 | #Constraints: 31845 1898.14/1904.07 c #Conflicts: 1116000 | #Constraints: 32845 1898.14/1904.07 c #Conflicts: 1117000 | #Constraints: 33845 1898.14/1904.07 c #Conflicts: 1118000 | #Constraints: 34845 1898.14/1904.07 c #Conflicts: 1119000 | #Constraints: 35845 1898.14/1904.07 c #Conflicts: 1120000 | #Constraints: 36845 1898.14/1904.07 c #Conflicts: 1121000 | #Constraints: 37845 1898.14/1904.07 c #Conflicts: 1122000 | #Constraints: 38845 1898.14/1904.07 c #Conflicts: 1123000 | #Constraints: 39845 1898.14/1904.07 c #Conflicts: 1124000 | #Constraints: 40846 1898.14/1904.07 c #Conflicts: 1125000 | #Constraints: 41846 1898.14/1904.07 c INPROCESSING 1898.14/1904.07 c GARBAGE COLLECT 1898.14/1904.07 c rational objective 0 1968.84/1974.96 c #Conflicts: 1126000 | #Constraints: 21839 1968.84/1974.96 c #Conflicts: 1127000 | #Constraints: 22839 1968.84/1974.96 c #Conflicts: 1128000 | #Constraints: 23840 1968.84/1974.96 c #Conflicts: 1129000 | #Constraints: 24840 1968.84/1974.96 c #Conflicts: 1130000 | #Constraints: 25840 1968.84/1974.96 c #Conflicts: 1131000 | #Constraints: 26840 1968.84/1974.96 c #Conflicts: 1132000 | #Constraints: 27840 1968.84/1974.96 c #Conflicts: 1133000 | #Constraints: 28840 1968.84/1974.96 c #Conflicts: 1134000 | #Constraints: 29840 1968.84/1974.96 c #Conflicts: 1135000 | #Constraints: 30840 1968.84/1974.96 c #Conflicts: 1136000 | #Constraints: 31840 1968.84/1974.96 c #Conflicts: 1137000 | #Constraints: 32840 1968.84/1974.96 c #Conflicts: 1138000 | #Constraints: 33840 1968.84/1974.96 c #Conflicts: 1139000 | #Constraints: 34840 1968.84/1974.96 c #Conflicts: 1140000 | #Constraints: 35840 1968.84/1974.96 c #Conflicts: 1141000 | #Constraints: 36840 1968.84/1974.96 c #Conflicts: 1142000 | #Constraints: 37840 1968.84/1974.96 c #Conflicts: 1143000 | #Constraints: 38840 1968.84/1974.96 c #Conflicts: 1144000 | #Constraints: 39840 1968.84/1974.96 c #Conflicts: 1145000 | #Constraints: 40840 1968.84/1974.96 c #Conflicts: 1146000 | #Constraints: 41840 1968.84/1974.96 c INPROCESSING 1968.84/1974.96 c GARBAGE COLLECT 1968.84/1974.96 c rational objective 0 2017.32/2023.51 c #Conflicts: 1147000 | #Constraints: 21642 2017.32/2023.51 c #Conflicts: 1148000 | #Constraints: 22642 2017.32/2023.51 c #Conflicts: 1149000 | #Constraints: 23642 2017.32/2023.51 c #Conflicts: 1150000 | #Constraints: 24643 2017.32/2023.51 c #Conflicts: 1151000 | #Constraints: 25643 2017.32/2023.51 c #Conflicts: 1152000 | #Constraints: 26644 2017.32/2023.51 c #Conflicts: 1153000 | #Constraints: 27645 2017.32/2023.51 c #Conflicts: 1154000 | #Constraints: 28645 2017.32/2023.51 c #Conflicts: 1155000 | #Constraints: 29645 2017.32/2023.51 c #Conflicts: 1156000 | #Constraints: 30645 2017.32/2023.51 c #Conflicts: 1157000 | #Constraints: 31647 2017.32/2023.51 c #Conflicts: 1158000 | #Constraints: 32647 2017.32/2023.51 c #Conflicts: 1159000 | #Constraints: 33647 2017.32/2023.51 c #Conflicts: 1160000 | #Constraints: 34647 2017.32/2023.51 c #Conflicts: 1161000 | #Constraints: 35647 2017.32/2023.51 c #Conflicts: 1162000 | #Constraints: 36647 2017.32/2023.51 c #Conflicts: 1163000 | #Constraints: 37647 2017.32/2023.51 c #Conflicts: 1164000 | #Constraints: 38647 2017.32/2023.51 c #Conflicts: 1165000 | #Constraints: 39647 2017.32/2023.51 c #Conflicts: 1166000 | #Constraints: 40647 2017.32/2023.51 c #Conflicts: 1167000 | #Constraints: 41647 2017.32/2023.51 c #Conflicts: 1168000 | #Constraints: 42647 2017.32/2023.51 c INPROCESSING 2017.32/2023.51 c GARBAGE COLLECT 2017.32/2023.51 c rational objective 0 2067.98/2074.40 c #Conflicts: 1169000 | #Constraints: 22236 2067.98/2074.40 c #Conflicts: 1170000 | #Constraints: 23236 2067.98/2074.40 c #Conflicts: 1171000 | #Constraints: 24236 2067.98/2074.40 c #Conflicts: 1172000 | #Constraints: 25236 2067.98/2074.40 c #Conflicts: 1173000 | #Constraints: 26236 2067.98/2074.40 c #Conflicts: 1174000 | #Constraints: 27236 2067.98/2074.40 c #Conflicts: 1175000 | #Constraints: 28236 2067.98/2074.40 c #Conflicts: 1176000 | #Constraints: 29236 2067.98/2074.40 c #Conflicts: 1177000 | #Constraints: 30236 2067.98/2074.40 c #Conflicts: 1178000 | #Constraints: 31236 2067.98/2074.40 c #Conflicts: 1179000 | #Constraints: 32236 2067.98/2074.40 c #Conflicts: 1180000 | #Constraints: 33236 2067.98/2074.40 c #Conflicts: 1181000 | #Constraints: 34236 2067.98/2074.40 c #Conflicts: 1182000 | #Constraints: 35236 2067.98/2074.40 c #Conflicts: 1183000 | #Constraints: 36236 2067.98/2074.40 c #Conflicts: 1184000 | #Constraints: 37236 2067.98/2074.40 c #Conflicts: 1185000 | #Constraints: 38236 2067.98/2074.40 c #Conflicts: 1186000 | #Constraints: 39236 2067.98/2074.40 c #Conflicts: 1187000 | #Constraints: 40237 2067.98/2074.40 c #Conflicts: 1188000 | #Constraints: 41237 2067.98/2074.40 c #Conflicts: 1189000 | #Constraints: 42237 2067.98/2074.40 c #Conflicts: 1190000 | #Constraints: 43237 2067.98/2074.40 c INPROCESSING 2067.98/2074.40 c GARBAGE COLLECT 2067.98/2074.40 c rational objective 0 2142.29/2148.87 c #Conflicts: 1191000 | #Constraints: 22637 2142.29/2148.87 c #Conflicts: 1192000 | #Constraints: 23637 2142.29/2148.87 c #Conflicts: 1193000 | #Constraints: 24637 2142.29/2148.87 c #Conflicts: 1194000 | #Constraints: 25637 2142.29/2148.87 c #Conflicts: 1195000 | #Constraints: 26637 2142.29/2148.87 c #Conflicts: 1196000 | #Constraints: 27637 2142.29/2148.87 c #Conflicts: 1197000 | #Constraints: 28637 2142.29/2148.87 c #Conflicts: 1198000 | #Constraints: 29637 2142.29/2148.87 c #Conflicts: 1199000 | #Constraints: 30637 2142.29/2148.87 c #Conflicts: 1200000 | #Constraints: 31637 2142.29/2148.87 c #Conflicts: 1201000 | #Constraints: 32637 2142.29/2148.87 c #Conflicts: 1202000 | #Constraints: 33637 2142.29/2148.87 c #Conflicts: 1203000 | #Constraints: 34637 2142.29/2148.87 c #Conflicts: 1204000 | #Constraints: 35637 2142.29/2148.87 c #Conflicts: 1205000 | #Constraints: 36637 2142.29/2148.87 c #Conflicts: 1206000 | #Constraints: 37637 2142.29/2148.87 c #Conflicts: 1207000 | #Constraints: 38637 2142.29/2148.87 c #Conflicts: 1208000 | #Constraints: 39637 2142.29/2148.87 c #Conflicts: 1209000 | #Constraints: 40637 2142.29/2148.87 c #Conflicts: 1210000 | #Constraints: 41637 2142.29/2148.87 c #Conflicts: 1211000 | #Constraints: 42637 2142.29/2148.87 c #Conflicts: 1212000 | #Constraints: 43638 2142.29/2148.87 c INPROCESSING 2142.29/2148.87 c GARBAGE COLLECT 2142.29/2148.87 c rational objective 0 2200.53/2207.22 c #Conflicts: 1213000 | #Constraints: 22835 2200.53/2207.22 c #Conflicts: 1214000 | #Constraints: 23835 2200.53/2207.22 c #Conflicts: 1215000 | #Constraints: 24835 2200.53/2207.22 c #Conflicts: 1216000 | #Constraints: 25835 2200.53/2207.22 c #Conflicts: 1217000 | #Constraints: 26835 2200.53/2207.22 c #Conflicts: 1218000 | #Constraints: 27835 2200.53/2207.22 c #Conflicts: 1219000 | #Constraints: 28835 2200.53/2207.22 c #Conflicts: 1220000 | #Constraints: 29836 2200.53/2207.22 c #Conflicts: 1221000 | #Constraints: 30837 2200.53/2207.22 c #Conflicts: 1222000 | #Constraints: 31837 2200.53/2207.22 c #Conflicts: 1223000 | #Constraints: 32837 2200.53/2207.22 c #Conflicts: 1224000 | #Constraints: 33837 2200.53/2207.22 c #Conflicts: 1225000 | #Constraints: 34838 2200.53/2207.22 c #Conflicts: 1226000 | #Constraints: 35838 2200.53/2207.22 c #Conflicts: 1227000 | #Constraints: 36838 2200.53/2207.22 c #Conflicts: 1228000 | #Constraints: 37838 2200.53/2207.22 c #Conflicts: 1229000 | #Constraints: 38838 2200.53/2207.22 c #Conflicts: 1230000 | #Constraints: 39838 2200.53/2207.22 c #Conflicts: 1231000 | #Constraints: 40838 2200.53/2207.22 c #Conflicts: 1232000 | #Constraints: 41838 2200.53/2207.22 c #Conflicts: 1233000 | #Constraints: 42839 2200.53/2207.22 c #Conflicts: 1234000 | #Constraints: 43839 2200.53/2207.22 c INPROCESSING 2200.53/2207.22 c GARBAGE COLLECT 2200.53/2207.22 c rational objective 0 2280.13/2287.05 c #Conflicts: 1235000 | #Constraints: 22834 2280.13/2287.05 c #Conflicts: 1236000 | #Constraints: 23834 2280.13/2287.05 c #Conflicts: 1237000 | #Constraints: 24835 2280.13/2287.05 c #Conflicts: 1238000 | #Constraints: 25836 2280.13/2287.05 c #Conflicts: 1239000 | #Constraints: 26836 2280.13/2287.05 c #Conflicts: 1240000 | #Constraints: 27836 2280.13/2287.05 c #Conflicts: 1241000 | #Constraints: 28836 2280.13/2287.05 c #Conflicts: 1242000 | #Constraints: 29836 2280.13/2287.05 c #Conflicts: 1243000 | #Constraints: 30836 2280.13/2287.05 c #Conflicts: 1244000 | #Constraints: 31836 2280.13/2287.05 c #Conflicts: 1245000 | #Constraints: 32837 2280.13/2287.05 c #Conflicts: 1246000 | #Constraints: 33837 2280.13/2287.05 c #Conflicts: 1247000 | #Constraints: 34837 2280.13/2287.05 c #Conflicts: 1248000 | #Constraints: 35837 2280.13/2287.05 c #Conflicts: 1249000 | #Constraints: 36837 2280.13/2287.05 c #Conflicts: 1250000 | #Constraints: 37837 2280.13/2287.05 c #Conflicts: 1251000 | #Constraints: 38837 2280.13/2287.05 c #Conflicts: 1252000 | #Constraints: 39837 2280.13/2287.05 c #Conflicts: 1253000 | #Constraints: 40837 2280.13/2287.05 c #Conflicts: 1254000 | #Constraints: 41837 2280.13/2287.05 c #Conflicts: 1255000 | #Constraints: 42837 2280.13/2287.05 c #Conflicts: 1256000 | #Constraints: 43838 2280.13/2287.05 c INPROCESSING 2280.13/2287.05 c GARBAGE COLLECT 2280.13/2287.05 c rational objective 0 2335.38/2342.46 c #Conflicts: 1257000 | #Constraints: 22642 2335.38/2342.46 c #Conflicts: 1258000 | #Constraints: 23642 2335.38/2342.46 c #Conflicts: 1259000 | #Constraints: 24642 2335.38/2342.46 c #Conflicts: 1260000 | #Constraints: 25642 2335.38/2342.46 c #Conflicts: 1261000 | #Constraints: 26642 2335.38/2342.46 c #Conflicts: 1262000 | #Constraints: 27642 2335.38/2342.46 c #Conflicts: 1263000 | #Constraints: 28642 2335.38/2342.46 c #Conflicts: 1264000 | #Constraints: 29642 2335.38/2342.46 c #Conflicts: 1265000 | #Constraints: 30642 2335.38/2342.46 c #Conflicts: 1266000 | #Constraints: 31642 2335.38/2342.46 c #Conflicts: 1267000 | #Constraints: 32642 2335.38/2342.46 c #Conflicts: 1268000 | #Constraints: 33642 2335.38/2342.46 c #Conflicts: 1269000 | #Constraints: 34642 2335.38/2342.46 c #Conflicts: 1270000 | #Constraints: 35642 2335.38/2342.46 c #Conflicts: 1271000 | #Constraints: 36642 2335.38/2342.46 c #Conflicts: 1272000 | #Constraints: 37642 2335.38/2342.46 c #Conflicts: 1273000 | #Constraints: 38642 2335.38/2342.46 c #Conflicts: 1274000 | #Constraints: 39642 2335.38/2342.46 c #Conflicts: 1275000 | #Constraints: 40642 2335.38/2342.46 c #Conflicts: 1276000 | #Constraints: 41642 2335.38/2342.46 c #Conflicts: 1277000 | #Constraints: 42642 2335.38/2342.46 c #Conflicts: 1278000 | #Constraints: 43642 2335.38/2342.46 c #Conflicts: 1279000 | #Constraints: 44642 2335.38/2342.46 c INPROCESSING 2335.38/2342.46 c GARBAGE COLLECT 2335.38/2342.46 c rational objective 0 2416.96/2424.20 c #Conflicts: 1280000 | #Constraints: 23236 2416.96/2424.20 c #Conflicts: 1281000 | #Constraints: 24236 2416.96/2424.20 c #Conflicts: 1282000 | #Constraints: 25236 2416.96/2424.20 c #Conflicts: 1283000 | #Constraints: 26236 2416.96/2424.20 c #Conflicts: 1284000 | #Constraints: 27236 2416.96/2424.20 c #Conflicts: 1285000 | #Constraints: 28236 2416.96/2424.20 c #Conflicts: 1286000 | #Constraints: 29236 2416.96/2424.20 c #Conflicts: 1287000 | #Constraints: 30238 2416.96/2424.20 c #Conflicts: 1288000 | #Constraints: 31239 2416.96/2424.20 c #Conflicts: 1289000 | #Constraints: 32239 2416.96/2424.20 c #Conflicts: 1290000 | #Constraints: 33239 2416.96/2424.20 c #Conflicts: 1291000 | #Constraints: 34239 2416.96/2424.20 c #Conflicts: 1292000 | #Constraints: 35239 2416.96/2424.20 c #Conflicts: 1293000 | #Constraints: 36240 2416.96/2424.20 c #Conflicts: 1294000 | #Constraints: 37240 2416.96/2424.20 c #Conflicts: 1295000 | #Constraints: 38240 2416.96/2424.20 c #Conflicts: 1296000 | #Constraints: 39240 2416.96/2424.20 c #Conflicts: 1297000 | #Constraints: 40240 2416.96/2424.20 c #Conflicts: 1298000 | #Constraints: 41240 2416.96/2424.20 c #Conflicts: 1299000 | #Constraints: 42240 2416.96/2424.20 c #Conflicts: 1300000 | #Constraints: 43240 2416.96/2424.20 c #Conflicts: 1301000 | #Constraints: 44240 2416.96/2424.20 c #Conflicts: 1302000 | #Constraints: 45240 2416.96/2424.20 c INPROCESSING 2416.96/2424.20 c GARBAGE COLLECT 2416.96/2424.20 c rational objective 0 2474.82/2482.27 c #Conflicts: 1303000 | #Constraints: 23641 2474.82/2482.27 c #Conflicts: 1304000 | #Constraints: 24641 2474.82/2482.27 c #Conflicts: 1305000 | #Constraints: 25641 2474.82/2482.27 c #Conflicts: 1306000 | #Constraints: 26641 2474.82/2482.27 c #Conflicts: 1307000 | #Constraints: 27641 2474.82/2482.27 c #Conflicts: 1308000 | #Constraints: 28641 2474.82/2482.27 c #Conflicts: 1309000 | #Constraints: 29641 2474.82/2482.27 c #Conflicts: 1310000 | #Constraints: 30643 2474.82/2482.27 c #Conflicts: 1311000 | #Constraints: 31643 2474.82/2482.27 c #Conflicts: 1312000 | #Constraints: 32644 2474.82/2482.27 c #Conflicts: 1313000 | #Constraints: 33644 2474.82/2482.27 c #Conflicts: 1314000 | #Constraints: 34644 2474.82/2482.27 c #Conflicts: 1315000 | #Constraints: 35644 2474.82/2482.27 c #Conflicts: 1316000 | #Constraints: 36644 2474.82/2482.27 c #Conflicts: 1317000 | #Constraints: 37644 2474.82/2482.27 c #Conflicts: 1318000 | #Constraints: 38644 2474.82/2482.27 c #Conflicts: 1319000 | #Constraints: 39644 2474.82/2482.27 c #Conflicts: 1320000 | #Constraints: 40644 2474.82/2482.27 c #Conflicts: 1321000 | #Constraints: 41644 2474.82/2482.27 c #Conflicts: 1322000 | #Constraints: 42644 2474.82/2482.27 c #Conflicts: 1323000 | #Constraints: 43644 2474.82/2482.27 c #Conflicts: 1324000 | #Constraints: 44644 2474.82/2482.27 c #Conflicts: 1325000 | #Constraints: 45645 2474.82/2482.27 c INPROCESSING 2474.82/2482.27 c GARBAGE COLLECT 2474.82/2482.27 c rational objective 0 2538.35/2546.00 c #Conflicts: 1326000 | #Constraints: 23840 2538.35/2546.00 c #Conflicts: 1327000 | #Constraints: 24840 2538.35/2546.00 c #Conflicts: 1328000 | #Constraints: 25840 2538.35/2546.00 c #Conflicts: 1329000 | #Constraints: 26840 2538.35/2546.00 c #Conflicts: 1330000 | #Constraints: 27840 2538.35/2546.00 c #Conflicts: 1331000 | #Constraints: 28840 2538.35/2546.00 c #Conflicts: 1332000 | #Constraints: 29840 2538.35/2546.00 c #Conflicts: 1333000 | #Constraints: 30840 2538.35/2546.00 c #Conflicts: 1334000 | #Constraints: 31840 2538.35/2546.00 c #Conflicts: 1335000 | #Constraints: 32840 2538.35/2546.00 c #Conflicts: 1336000 | #Constraints: 33840 2538.35/2546.00 c #Conflicts: 1337000 | #Constraints: 34840 2538.35/2546.00 c #Conflicts: 1338000 | #Constraints: 35841 2538.35/2546.00 c #Conflicts: 1339000 | #Constraints: 36841 2538.35/2546.00 c #Conflicts: 1340000 | #Constraints: 37841 2538.35/2546.00 c #Conflicts: 1341000 | #Constraints: 38841 2538.35/2546.00 c #Conflicts: 1342000 | #Constraints: 39841 2538.35/2546.00 c #Conflicts: 1343000 | #Constraints: 40841 2538.35/2546.00 c #Conflicts: 1344000 | #Constraints: 41841 2538.35/2546.00 c #Conflicts: 1345000 | #Constraints: 42841 2538.46/2546.01 c #Conflicts: 1346000 | #Constraints: 43841 2538.46/2546.01 c #Conflicts: 1347000 | #Constraints: 44841 2538.46/2546.01 c #Conflicts: 1348000 | #Constraints: 45841 2538.46/2546.01 c INPROCESSING 2538.46/2546.01 c GARBAGE COLLECT 2538.46/2546.01 c rational objective 0 2625.23/2633.02 c #Conflicts: 1349000 | #Constraints: 23834 2625.23/2633.02 c #Conflicts: 1350000 | #Constraints: 24834 2625.23/2633.02 c #Conflicts: 1351000 | #Constraints: 25834 2625.23/2633.02 c #Conflicts: 1352000 | #Constraints: 26834 2625.23/2633.02 c #Conflicts: 1353000 | #Constraints: 27834 2625.23/2633.02 c #Conflicts: 1354000 | #Constraints: 28834 2625.23/2633.02 c #Conflicts: 1355000 | #Constraints: 29834 2625.23/2633.02 c #Conflicts: 1356000 | #Constraints: 30835 2625.23/2633.02 c #Conflicts: 1357000 | #Constraints: 31835 2625.23/2633.02 c #Conflicts: 1358000 | #Constraints: 32835 2625.23/2633.02 c #Conflicts: 1359000 | #Constraints: 33835 2625.23/2633.02 c #Conflicts: 1360000 | #Constraints: 34835 2625.23/2633.02 c #Conflicts: 1361000 | #Constraints: 35835 2625.23/2633.02 c #Conflicts: 1362000 | #Constraints: 36835 2625.23/2633.02 c #Conflicts: 1363000 | #Constraints: 37836 2625.23/2633.02 c #Conflicts: 1364000 | #Constraints: 38836 2625.23/2633.02 c #Conflicts: 1365000 | #Constraints: 39836 2625.23/2633.02 c #Conflicts: 1366000 | #Constraints: 40837 2625.23/2633.02 c #Conflicts: 1367000 | #Constraints: 41837 2625.23/2633.02 c #Conflicts: 1368000 | #Constraints: 42837 2625.23/2633.02 c #Conflicts: 1369000 | #Constraints: 43838 2625.23/2633.02 c #Conflicts: 1370000 | #Constraints: 44838 2625.23/2633.02 c #Conflicts: 1371000 | #Constraints: 45838 2625.23/2633.02 c INPROCESSING 2625.23/2633.02 c GARBAGE COLLECT 2625.23/2633.02 c rational objective 0 2689.34/2697.34 c #Conflicts: 1372000 | #Constraints: 23642 2689.34/2697.34 c #Conflicts: 1373000 | #Constraints: 24642 2689.34/2697.34 c #Conflicts: 1374000 | #Constraints: 25642 2689.34/2697.34 c #Conflicts: 1375000 | #Constraints: 26642 2689.34/2697.34 c #Conflicts: 1376000 | #Constraints: 27642 2689.34/2697.34 c #Conflicts: 1377000 | #Constraints: 28642 2689.34/2697.34 c #Conflicts: 1378000 | #Constraints: 29642 2689.34/2697.34 c #Conflicts: 1379000 | #Constraints: 30643 2689.34/2697.34 c #Conflicts: 1380000 | #Constraints: 31643 2689.34/2697.34 c #Conflicts: 1381000 | #Constraints: 32643 2689.34/2697.34 c #Conflicts: 1382000 | #Constraints: 33643 2689.34/2697.34 c #Conflicts: 1383000 | #Constraints: 34643 2689.34/2697.34 c #Conflicts: 1384000 | #Constraints: 35643 2689.34/2697.34 c #Conflicts: 1385000 | #Constraints: 36643 2689.34/2697.34 c #Conflicts: 1386000 | #Constraints: 37643 2689.34/2697.34 c #Conflicts: 1387000 | #Constraints: 38644 2689.34/2697.34 c #Conflicts: 1388000 | #Constraints: 39644 2689.34/2697.34 c #Conflicts: 1389000 | #Constraints: 40644 2689.34/2697.34 c #Conflicts: 1390000 | #Constraints: 41644 2689.34/2697.34 c #Conflicts: 1391000 | #Constraints: 42644 2689.34/2697.34 c #Conflicts: 1392000 | #Constraints: 43644 2689.34/2697.34 c #Conflicts: 1393000 | #Constraints: 44644 2689.34/2697.34 c #Conflicts: 1394000 | #Constraints: 45644 2689.34/2697.34 c #Conflicts: 1395000 | #Constraints: 46644 2689.34/2697.34 c INPROCESSING 2689.34/2697.34 c GARBAGE COLLECT 2689.34/2697.34 c rational objective 0 2780.61/2788.88 c #Conflicts: 1396000 | #Constraints: 24238 2780.61/2788.88 c #Conflicts: 1397000 | #Constraints: 25238 2780.61/2788.88 c #Conflicts: 1398000 | #Constraints: 26238 2780.61/2788.88 c #Conflicts: 1399000 | #Constraints: 27238 2780.61/2788.88 c #Conflicts: 1400000 | #Constraints: 28238 2780.61/2788.88 c #Conflicts: 1401000 | #Constraints: 29238 2780.61/2788.88 c #Conflicts: 1402000 | #Constraints: 30238 2780.61/2788.88 c #Conflicts: 1403000 | #Constraints: 31238 2780.61/2788.88 c #Conflicts: 1404000 | #Constraints: 32238 2780.61/2788.88 c #Conflicts: 1405000 | #Constraints: 33239 2780.61/2788.88 c #Conflicts: 1406000 | #Constraints: 34239 2780.61/2788.88 c #Conflicts: 1407000 | #Constraints: 35239 2780.61/2788.88 c #Conflicts: 1408000 | #Constraints: 36239 2780.61/2788.88 c #Conflicts: 1409000 | #Constraints: 37239 2780.61/2788.88 c #Conflicts: 1410000 | #Constraints: 38239 2780.61/2788.88 c #Conflicts: 1411000 | #Constraints: 39239 2780.61/2788.88 c #Conflicts: 1412000 | #Constraints: 40239 2780.61/2788.88 c #Conflicts: 1413000 | #Constraints: 41239 2780.61/2788.88 c #Conflicts: 1414000 | #Constraints: 42239 2780.61/2788.88 c #Conflicts: 1415000 | #Constraints: 43239 2780.61/2788.88 c #Conflicts: 1416000 | #Constraints: 44239 2780.61/2788.88 c #Conflicts: 1417000 | #Constraints: 45239 2780.61/2788.88 c #Conflicts: 1418000 | #Constraints: 46239 2780.61/2788.88 c #Conflicts: 1419000 | #Constraints: 47240 2780.61/2788.88 c INPROCESSING 2780.61/2788.88 c GARBAGE COLLECT 2780.61/2788.88 c rational objective 0 2843.05/2851.45 c #Conflicts: 1420000 | #Constraints: 24641 2843.05/2851.45 c #Conflicts: 1421000 | #Constraints: 25641 2843.05/2851.45 c #Conflicts: 1422000 | #Constraints: 26641 2843.05/2851.45 c #Conflicts: 1423000 | #Constraints: 27641 2843.05/2851.45 c #Conflicts: 1424000 | #Constraints: 28641 2843.05/2851.45 c #Conflicts: 1425000 | #Constraints: 29641 2843.05/2851.45 c #Conflicts: 1426000 | #Constraints: 30642 2843.05/2851.45 c #Conflicts: 1427000 | #Constraints: 31642 2843.05/2851.45 c #Conflicts: 1428000 | #Constraints: 32642 2843.05/2851.45 c #Conflicts: 1429000 | #Constraints: 33642 2843.05/2851.45 c #Conflicts: 1430000 | #Constraints: 34642 2843.05/2851.45 c #Conflicts: 1431000 | #Constraints: 35642 2843.05/2851.45 c #Conflicts: 1432000 | #Constraints: 36642 2843.05/2851.45 c #Conflicts: 1433000 | #Constraints: 37642 2843.05/2851.45 c #Conflicts: 1434000 | #Constraints: 38642 2843.05/2851.45 c #Conflicts: 1435000 | #Constraints: 39642 2843.05/2851.45 c #Conflicts: 1436000 | #Constraints: 40642 2843.05/2851.45 c #Conflicts: 1437000 | #Constraints: 41642 2843.05/2851.45 c #Conflicts: 1438000 | #Constraints: 42642 2843.05/2851.45 c #Conflicts: 1439000 | #Constraints: 43642 2843.05/2851.45 c #Conflicts: 1440000 | #Constraints: 44642 2843.05/2851.45 c #Conflicts: 1441000 | #Constraints: 45642 2843.05/2851.45 c #Conflicts: 1442000 | #Constraints: 46643 2843.05/2851.45 c #Conflicts: 1443000 | #Constraints: 47644 2843.05/2851.45 c INPROCESSING 2843.05/2851.45 c GARBAGE COLLECT 2843.05/2851.45 c rational objective 0 2911.86/2920.45 c #Conflicts: 1444000 | #Constraints: 24841 2911.86/2920.45 c #Conflicts: 1445000 | #Constraints: 25841 2911.86/2920.45 c #Conflicts: 1446000 | #Constraints: 26841 2911.86/2920.45 c #Conflicts: 1447000 | #Constraints: 27842 2911.86/2920.45 c #Conflicts: 1448000 | #Constraints: 28842 2911.86/2920.45 c #Conflicts: 1449000 | #Constraints: 29844 2911.86/2920.45 c #Conflicts: 1450000 | #Constraints: 30844 2911.86/2920.45 c #Conflicts: 1451000 | #Constraints: 31844 2911.86/2920.45 c #Conflicts: 1452000 | #Constraints: 32844 2911.86/2920.45 c #Conflicts: 1453000 | #Constraints: 33844 2911.86/2920.45 c #Conflicts: 1454000 | #Constraints: 34844 2911.86/2920.45 c #Conflicts: 1455000 | #Constraints: 35846 2911.86/2920.45 c #Conflicts: 1456000 | #Constraints: 36847 2911.86/2920.45 c #Conflicts: 1457000 | #Constraints: 37847 2911.86/2920.45 c #Conflicts: 1458000 | #Constraints: 38847 2911.86/2920.45 c #Conflicts: 1459000 | #Constraints: 39847 2911.86/2920.45 c #Conflicts: 1460000 | #Constraints: 40847 2911.86/2920.45 c #Conflicts: 1461000 | #Constraints: 41847 2911.86/2920.45 c #Conflicts: 1462000 | #Constraints: 42847 2911.86/2920.45 c #Conflicts: 1463000 | #Constraints: 43847 2911.86/2920.45 c #Conflicts: 1464000 | #Constraints: 44847 2911.86/2920.45 c #Conflicts: 1465000 | #Constraints: 45849 2911.86/2920.45 c #Conflicts: 1466000 | #Constraints: 46849 2911.86/2920.45 c #Conflicts: 1467000 | #Constraints: 47849 2911.86/2920.45 c INPROCESSING 2911.86/2920.45 c GARBAGE COLLECT 2911.86/2920.45 c rational objective 0 3010.10/3018.92 c #Conflicts: 1468000 | #Constraints: 24841 3010.10/3018.92 c #Conflicts: 1469000 | #Constraints: 25841 3010.10/3018.92 c #Conflicts: 1470000 | #Constraints: 26841 3010.10/3018.92 c #Conflicts: 1471000 | #Constraints: 27841 3010.10/3018.92 c #Conflicts: 1472000 | #Constraints: 28841 3010.10/3018.92 c #Conflicts: 1473000 | #Constraints: 29841 3010.10/3018.92 c #Conflicts: 1474000 | #Constraints: 30841 3010.10/3018.92 c #Conflicts: 1475000 | #Constraints: 31841 3010.10/3018.92 c #Conflicts: 1476000 | #Constraints: 32841 3010.10/3018.92 c #Conflicts: 1477000 | #Constraints: 33841 3010.10/3018.92 c #Conflicts: 1478000 | #Constraints: 34842 3010.10/3018.92 c #Conflicts: 1479000 | #Constraints: 35842 3010.10/3018.92 c #Conflicts: 1480000 | #Constraints: 36842 3010.10/3018.92 c #Conflicts: 1481000 | #Constraints: 37842 3010.10/3018.92 c #Conflicts: 1482000 | #Constraints: 38842 3010.10/3018.92 c #Conflicts: 1483000 | #Constraints: 39842 3010.10/3018.92 c #Conflicts: 1484000 | #Constraints: 40842 3010.10/3018.92 c #Conflicts: 1485000 | #Constraints: 41842 3010.10/3018.92 c #Conflicts: 1486000 | #Constraints: 42842 3010.10/3018.92 c #Conflicts: 1487000 | #Constraints: 43842 3010.10/3018.92 c #Conflicts: 1488000 | #Constraints: 44842 3010.10/3018.92 c #Conflicts: 1489000 | #Constraints: 45842 3010.10/3018.92 c #Conflicts: 1490000 | #Constraints: 46842 3010.10/3018.92 c #Conflicts: 1491000 | #Constraints: 47842 3010.10/3018.92 c INPROCESSING 3010.10/3018.92 c GARBAGE COLLECT 3010.10/3018.92 c rational objective 0 3077.61/3086.63 c #Conflicts: 1492000 | #Constraints: 24640 3077.61/3086.63 c #Conflicts: 1493000 | #Constraints: 25640 3077.61/3086.63 c #Conflicts: 1494000 | #Constraints: 26640 3077.61/3086.63 c #Conflicts: 1495000 | #Constraints: 27640 3077.61/3086.63 c #Conflicts: 1496000 | #Constraints: 28641 3077.61/3086.63 c #Conflicts: 1497000 | #Constraints: 29641 3077.61/3086.63 c #Conflicts: 1498000 | #Constraints: 30641 3077.61/3086.63 c #Conflicts: 1499000 | #Constraints: 31641 3077.61/3086.63 c #Conflicts: 1500000 | #Constraints: 32641 3077.61/3086.63 c #Conflicts: 1501000 | #Constraints: 33641 3077.61/3086.63 c #Conflicts: 1502000 | #Constraints: 34641 3077.61/3086.63 c #Conflicts: 1503000 | #Constraints: 35641 3077.61/3086.63 c #Conflicts: 1504000 | #Constraints: 36641 3077.61/3086.63 c #Conflicts: 1505000 | #Constraints: 37642 3077.61/3086.63 c #Conflicts: 1506000 | #Constraints: 38642 3077.61/3086.63 c #Conflicts: 1507000 | #Constraints: 39642 3077.61/3086.63 c #Conflicts: 1508000 | #Constraints: 40642 3077.61/3086.63 c #Conflicts: 1509000 | #Constraints: 41642 3077.61/3086.63 c #Conflicts: 1510000 | #Constraints: 42642 3077.61/3086.63 c #Conflicts: 1511000 | #Constraints: 43643 3077.61/3086.63 c #Conflicts: 1512000 | #Constraints: 44643 3077.61/3086.63 c #Conflicts: 1513000 | #Constraints: 45643 3077.61/3086.63 c #Conflicts: 1514000 | #Constraints: 46643 3077.61/3086.63 c #Conflicts: 1515000 | #Constraints: 47643 3077.61/3086.63 c #Conflicts: 1516000 | #Constraints: 48643 3077.61/3086.63 c INPROCESSING 3077.61/3086.63 c GARBAGE COLLECT 3077.61/3086.63 c rational objective 0 3179.48/3188.87 c #Conflicts: 1517000 | #Constraints: 25237 3179.48/3188.87 c #Conflicts: 1518000 | #Constraints: 26237 3179.48/3188.87 c #Conflicts: 1519000 | #Constraints: 27237 3179.48/3188.87 c #Conflicts: 1520000 | #Constraints: 28237 3179.48/3188.87 c #Conflicts: 1521000 | #Constraints: 29238 3179.48/3188.87 c #Conflicts: 1522000 | #Constraints: 30238 3179.48/3188.87 c #Conflicts: 1523000 | #Constraints: 31238 3179.48/3188.87 c #Conflicts: 1524000 | #Constraints: 32238 3179.48/3188.87 c #Conflicts: 1525000 | #Constraints: 33238 3179.48/3188.87 c #Conflicts: 1526000 | #Constraints: 34238 3179.48/3188.87 c #Conflicts: 1527000 | #Constraints: 35239 3179.48/3188.87 c #Conflicts: 1528000 | #Constraints: 36239 3179.48/3188.87 c #Conflicts: 1529000 | #Constraints: 37239 3179.48/3188.87 c #Conflicts: 1530000 | #Constraints: 38239 3179.48/3188.87 c #Conflicts: 1531000 | #Constraints: 39239 3179.48/3188.87 c #Conflicts: 1532000 | #Constraints: 40239 3179.48/3188.87 c #Conflicts: 1533000 | #Constraints: 41239 3179.48/3188.87 c #Conflicts: 1534000 | #Constraints: 42240 3179.48/3188.87 c #Conflicts: 1535000 | #Constraints: 43240 3179.48/3188.87 c #Conflicts: 1536000 | #Constraints: 44240 3179.48/3188.87 c #Conflicts: 1537000 | #Constraints: 45240 3179.48/3188.87 c #Conflicts: 1538000 | #Constraints: 46240 3179.48/3188.87 c #Conflicts: 1539000 | #Constraints: 47240 3179.48/3188.87 c #Conflicts: 1540000 | #Constraints: 48240 3179.48/3188.87 c #Conflicts: 1541000 | #Constraints: 49240 3179.48/3188.87 c INPROCESSING 3179.48/3188.87 c GARBAGE COLLECT 3179.48/3188.87 c rational objective 0 3257.01/3266.68 c #Conflicts: 1542000 | #Constraints: 25638 3257.01/3266.68 c #Conflicts: 1543000 | #Constraints: 26638 3257.01/3266.68 c #Conflicts: 1544000 | #Constraints: 27638 3257.01/3266.68 c #Conflicts: 1545000 | #Constraints: 28638 3257.01/3266.68 c #Conflicts: 1546000 | #Constraints: 29638 3257.01/3266.68 c #Conflicts: 1547000 | #Constraints: 30638 3257.01/3266.68 c #Conflicts: 1548000 | #Constraints: 31638 3257.01/3266.68 c #Conflicts: 1549000 | #Constraints: 32639 3257.01/3266.68 c #Conflicts: 1550000 | #Constraints: 33639 3257.01/3266.68 c #Conflicts: 1551000 | #Constraints: 34639 3257.01/3266.68 c #Conflicts: 1552000 | #Constraints: 35639 3257.01/3266.68 c #Conflicts: 1553000 | #Constraints: 36639 3257.01/3266.68 c #Conflicts: 1554000 | #Constraints: 37639 3257.01/3266.68 c #Conflicts: 1555000 | #Constraints: 38639 3257.01/3266.68 c #Conflicts: 1556000 | #Constraints: 39639 3257.01/3266.68 c #Conflicts: 1557000 | #Constraints: 40639 3257.01/3266.68 c #Conflicts: 1558000 | #Constraints: 41639 3257.01/3266.68 c #Conflicts: 1559000 | #Constraints: 42639 3257.01/3266.68 c #Conflicts: 1560000 | #Constraints: 43639 3257.01/3266.68 c #Conflicts: 1561000 | #Constraints: 44639 3257.01/3266.68 c #Conflicts: 1562000 | #Constraints: 45639 3257.01/3266.68 c #Conflicts: 1563000 | #Constraints: 46639 3257.01/3266.68 c #Conflicts: 1564000 | #Constraints: 47639 3257.01/3266.68 c #Conflicts: 1565000 | #Constraints: 48639 3257.01/3266.68 c #Conflicts: 1566000 | #Constraints: 49640 3257.01/3266.68 c INPROCESSING 3257.01/3266.68 c GARBAGE COLLECT 3257.01/3266.68 c rational objective 0 3360.76/3370.71 c #Conflicts: 1567000 | #Constraints: 25834 3360.76/3370.71 c #Conflicts: 1568000 | #Constraints: 26834 3360.76/3370.71 c #Conflicts: 1569000 | #Constraints: 27834 3360.76/3370.71 c #Conflicts: 1570000 | #Constraints: 28834 3360.76/3370.71 c #Conflicts: 1571000 | #Constraints: 29834 3360.76/3370.71 c #Conflicts: 1572000 | #Constraints: 30834 3360.76/3370.71 c #Conflicts: 1573000 | #Constraints: 31834 3360.76/3370.71 c #Conflicts: 1574000 | #Constraints: 32834 3360.76/3370.71 c #Conflicts: 1575000 | #Constraints: 33834 3360.76/3370.71 c #Conflicts: 1576000 | #Constraints: 34834 3360.76/3370.71 c #Conflicts: 1577000 | #Constraints: 35834 3360.76/3370.71 c #Conflicts: 1578000 | #Constraints: 36834 3360.76/3370.71 c #Conflicts: 1579000 | #Constraints: 37834 3360.76/3370.71 c #Conflicts: 1580000 | #Constraints: 38834 3360.76/3370.71 c #Conflicts: 1581000 | #Constraints: 39834 3360.76/3370.71 c #Conflicts: 1582000 | #Constraints: 40834 3360.76/3370.71 c #Conflicts: 1583000 | #Constraints: 41834 3360.76/3370.71 c #Conflicts: 1584000 | #Constraints: 42834 3360.76/3370.71 c #Conflicts: 1585000 | #Constraints: 43834 3360.76/3370.71 c #Conflicts: 1586000 | #Constraints: 44834 3360.76/3370.71 c #Conflicts: 1587000 | #Constraints: 45834 3360.76/3370.71 c #Conflicts: 1588000 | #Constraints: 46834 3360.76/3370.71 c #Conflicts: 1589000 | #Constraints: 47834 3360.76/3370.71 c #Conflicts: 1590000 | #Constraints: 48834 3360.76/3370.71 c #Conflicts: 1591000 | #Constraints: 49835 3360.76/3370.71 c INPROCESSING 3360.76/3370.71 c GARBAGE COLLECT 3360.76/3370.71 c rational objective 0 3442.48/3452.77 c #Conflicts: 1592000 | #Constraints: 25839 3442.48/3452.77 c #Conflicts: 1593000 | #Constraints: 26840 3442.48/3452.77 c #Conflicts: 1594000 | #Constraints: 27841 3442.48/3452.77 c #Conflicts: 1595000 | #Constraints: 28842 3442.48/3452.77 c #Conflicts: 1596000 | #Constraints: 29842 3442.48/3452.77 c #Conflicts: 1597000 | #Constraints: 30842 3442.48/3452.77 c #Conflicts: 1598000 | #Constraints: 31842 3442.48/3452.77 c #Conflicts: 1599000 | #Constraints: 32842 3442.48/3452.77 c #Conflicts: 1600000 | #Constraints: 33842 3442.48/3452.77 c #Conflicts: 1601000 | #Constraints: 34842 3442.48/3452.77 c #Conflicts: 1602000 | #Constraints: 35843 3442.48/3452.77 c #Conflicts: 1603000 | #Constraints: 36843 3442.48/3452.77 c #Conflicts: 1604000 | #Constraints: 37844 3442.48/3452.77 c #Conflicts: 1605000 | #Constraints: 38844 3442.48/3452.77 c #Conflicts: 1606000 | #Constraints: 39844 3442.48/3452.77 c #Conflicts: 1607000 | #Constraints: 40844 3442.48/3452.77 c #Conflicts: 1608000 | #Constraints: 41844 3442.48/3452.77 c #Conflicts: 1609000 | #Constraints: 42844 3442.48/3452.77 c #Conflicts: 1610000 | #Constraints: 43844 3442.48/3452.77 c #Conflicts: 1611000 | #Constraints: 44844 3442.48/3452.77 c #Conflicts: 1612000 | #Constraints: 45844 3442.48/3452.77 c #Conflicts: 1613000 | #Constraints: 46844 3442.48/3452.77 c #Conflicts: 1614000 | #Constraints: 47845 3442.48/3452.77 c #Conflicts: 1615000 | #Constraints: 48845 3442.48/3452.77 c #Conflicts: 1616000 | #Constraints: 49845 3442.48/3452.77 c INPROCESSING 3442.48/3452.77 c GARBAGE COLLECT 3442.48/3452.77 c rational objective 0 3517.93/3528.44 c #Conflicts: 1617000 | #Constraints: 25636 3517.93/3528.44 c #Conflicts: 1618000 | #Constraints: 26636 3517.93/3528.44 c #Conflicts: 1619000 | #Constraints: 27637 3517.93/3528.44 c #Conflicts: 1620000 | #Constraints: 28637 3517.93/3528.44 c #Conflicts: 1621000 | #Constraints: 29637 3517.93/3528.44 c #Conflicts: 1622000 | #Constraints: 30637 3517.93/3528.44 c #Conflicts: 1623000 | #Constraints: 31638 3517.93/3528.44 c #Conflicts: 1624000 | #Constraints: 32638 3517.93/3528.44 c #Conflicts: 1625000 | #Constraints: 33638 3517.93/3528.44 c #Conflicts: 1626000 | #Constraints: 34639 3517.93/3528.44 c #Conflicts: 1627000 | #Constraints: 35639 3517.93/3528.44 c #Conflicts: 1628000 | #Constraints: 36639 3517.93/3528.44 c #Conflicts: 1629000 | #Constraints: 37639 3517.93/3528.44 c #Conflicts: 1630000 | #Constraints: 38639 3517.93/3528.44 c #Conflicts: 1631000 | #Constraints: 39640 3517.93/3528.44 c #Conflicts: 1632000 | #Constraints: 40640 3517.93/3528.44 c #Conflicts: 1633000 | #Constraints: 41640 3517.93/3528.44 c #Conflicts: 1634000 | #Constraints: 42640 3517.93/3528.44 c #Conflicts: 1635000 | #Constraints: 43640 3517.93/3528.44 c #Conflicts: 1636000 | #Constraints: 44640 3517.93/3528.44 c #Conflicts: 1637000 | #Constraints: 45641 3517.93/3528.44 c #Conflicts: 1638000 | #Constraints: 46641 3517.93/3528.44 c #Conflicts: 1639000 | #Constraints: 47641 3517.93/3528.44 c #Conflicts: 1640000 | #Constraints: 48641 3517.93/3528.44 c #Conflicts: 1641000 | #Constraints: 49641 3517.93/3528.44 c #Conflicts: 1642000 | #Constraints: 50641 3517.93/3528.44 c INPROCESSING 3517.93/3528.44 c GARBAGE COLLECT 3517.93/3528.44 c rational objective 0 3600.05/3610.80 c #Conflicts: 1643000 | #Constraints: 26236 3600.05/3610.80 c #Conflicts: 1644000 | #Constraints: 27236 3600.05/3610.80 c #Conflicts: 1645000 | #Constraints: 28236 3600.05/3610.80 c #Conflicts: 1646000 | #Constraints: 29236 3600.05/3610.80 c #Conflicts: 1647000 | #Constraints: 30236 3600.05/3610.80 c #Conflicts: 1648000 | #Constraints: 31238 3600.05/3610.80 c #Conflicts: 1649000 | #Constraints: 32238 3600.05/3610.80 c #Conflicts: 1650000 | #Constraints: 33238 3600.05/3610.80 c #Conflicts: 1651000 | #Constraints: 34238 3600.05/3610.80 c #Conflicts: 1652000 | #Constraints: 35238 3600.05/3610.80 c #Conflicts: 1653000 | #Constraints: 36238 3600.05/3610.80 c #Conflicts: 1654000 | #Constraints: 37238 3600.05/3610.80 c #Conflicts: 1655000 | #Constraints: 38238 3600.05/3610.80 c #Conflicts: 1656000 | #Constraints: 39238 3600.05/3610.80 c #Conflicts: 1657000 | #Constraints: 40238 3600.05/3610.80 c #Conflicts: 1658000 | #Constraints: 41238 3600.05/3610.80 c #Conflicts: 1659000 | #Constraints: 42238 3600.05/3610.80 c #Conflicts: 1660000 | #Constraints: 43238 3600.05/3610.80 c #Conflicts: 1661000 | #Constraints: 44238 3600.05/3610.80 c #Conflicts: 1662000 | #Constraints: 45238 3600.05/3610.80 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62000 MiB free)
memory of node 1: 64473 MiB (61357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460217-1722064839/watcher-4460217-1722064839 -o /tmp/evaluation-result-4460217-1722064839/solver-4460217-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722064836-319221 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460217-1722064839 --lp-cut-gomory=0 HOME/instance-4460217-1722064839.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=319413, runsolver pid=319406
[startup+0.101027 s]*
/proc/loadavg: 0.39 0.15 0.11 4/244 319427
/proc/meminfo: memFree=126312164/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=37912 memory=8628 CPUtime=0.09 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 439 0 0 0 9 0 0 0 20 0 1 0 42472736 38821888 2157 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 9478 2157 1922 992 0 1336 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37912 KiB
Current children cumulated memory: 8628 KiB
[startup+0.213247 s]*
/proc/loadavg: 0.39 0.15 0.11 5/243 319431
/proc/meminfo: memFree=126307504/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=38036 memory=8824 CPUtime=0.21 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 499 0 0 0 20 1 0 0 20 0 1 0 42472736 38948864 2206 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 9509 2206 1922 992 0 1367 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38036 KiB
Current children cumulated memory: 8824 KiB
[startup+0.313243 s]*
/proc/loadavg: 0.39 0.15 0.11 4/241 319435
/proc/meminfo: memFree=126306260/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=38160 memory=9124 CPUtime=0.31 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 555 0 0 0 29 2 0 0 20 0 1 0 42472736 39075840 2281 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 9540 2281 1922 992 0 1398 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38160 KiB
Current children cumulated memory: 9124 KiB
[startup+0.700276 s]
/proc/loadavg: 0.39 0.15 0.11 4/241 319435
/proc/meminfo: memFree=126299756/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=38284 memory=9744 CPUtime=0.68 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 715 0 0 0 63 5 0 0 20 0 1 0 42472736 39202816 2436 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 9571 2436 1922 992 0 1429 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 9744 KiB
[startup+1.50026 s]
/proc/loadavg: 0.39 0.15 0.11 5/246 319474
/proc/meminfo: memFree=126280892/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=38932 memory=12452 CPUtime=1.47 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 877 0 0 0 137 10 0 0 20 0 1 0 42472736 39866368 3113 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 9733 3113 1922 992 0 1591 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38932 KiB
Current children cumulated memory: 12452 KiB
[startup+3.11373 s]
/proc/loadavg: 0.68 0.21 0.13 5/246 319474
/proc/meminfo: memFree=126201364/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=39776 memory=13348 CPUtime=3.09 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 1093 0 0 0 292 17 0 0 20 0 1 0 42472736 40730624 3337 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 9944 3337 1922 992 0 1802 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39776 KiB
Current children cumulated memory: 13348 KiB
[startup+6.30028 s]
/proc/loadavg: 0.68 0.21 0.13 5/246 319474
/proc/meminfo: memFree=126082552/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=40504 memory=14068 CPUtime=6.26 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 1277 0 0 0 598 28 0 0 20 0 1 0 42472736 41476096 3517 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 10126 3517 1922 992 0 1984 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 40504 KiB
Current children cumulated memory: 14068 KiB
[startup+12.7003 s]
/proc/loadavg: 0.95 0.27 0.15 5/246 319475
/proc/meminfo: memFree=125850228/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=41496 memory=15380 CPUtime=12.65 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 1668 0 0 0 1214 51 0 0 20 0 1 0 42472736 42491904 3845 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 10374 3845 1922 992 0 2232 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41496 KiB
Current children cumulated memory: 15380 KiB
[startup+25.5003 s]
/proc/loadavg: 1.69 0.47 0.22 5/247 319478
/proc/meminfo: memFree=125540716/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=45848 memory=18072 CPUtime=25.39 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 2318 0 0 0 2454 85 0 0 20 0 1 0 42472736 46948352 4518 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 11462 4518 1922 992 0 3320 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 45848 KiB
Current children cumulated memory: 18072 KiB
[startup+51.1127 s]
/proc/loadavg: 2.48 0.76 0.32 5/247 319483
/proc/meminfo: memFree=125077724/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=46616 memory=20428 CPUtime=50.92 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 3056 0 0 0 4953 139 0 0 20 0 1 0 42472736 47734784 5107 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 11654 5107 1922 992 0 3512 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 46616 KiB
Current children cumulated memory: 20428 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.53 5/250 319495
/proc/meminfo: memFree=123967952/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=53116 memory=25264 CPUtime=101.93 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 3927 0 0 0 9959 234 0 0 20 0 1 0 42472736 54390784 6316 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 13279 6316 1922 992 0 5137 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 53116 KiB
Current children cumulated memory: 25264 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.80 0.75 5/251 319506
/proc/meminfo: memFree=123148136/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=55244 memory=27240 CPUtime=161.71 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 4613 0 0 0 15848 323 0 0 20 0 1 0 42472736 56569856 6810 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 13811 6810 1922 992 0 5669 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 55244 KiB
Current children cumulated memory: 27240 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.23 0.97 5/251 319517
/proc/meminfo: memFree=122269760/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=55620 memory=29916 CPUtime=221.48 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 4957 0 0 0 21742 406 0 0 20 0 1 0 42472736 56954880 7479 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 13905 7479 1922 992 0 5763 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 55620 KiB
Current children cumulated memory: 29916 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.59 1.17 5/250 319909
/proc/meminfo: memFree=121656884/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=63376 memory=30676 CPUtime=281.25 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 5326 0 0 0 27650 475 0 0 20 0 1 0 42472736 64897024 7669 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 15844 7669 1922 992 0 7702 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 63376 KiB
Current children cumulated memory: 30676 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 2.86 1.36 5/249 319919
/proc/meminfo: memFree=120950384/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=63568 memory=31580 CPUtime=341.02 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 5805 0 0 0 33554 548 0 0 20 0 1 0 42472736 65093632 7895 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 15892 7895 1922 992 0 7750 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 63568 KiB
Current children cumulated memory: 31580 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 3.12 1.54 5/249 319930
/proc/meminfo: memFree=120267904/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=63952 memory=33428 CPUtime=400.86 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 6118 0 0 0 39478 608 0 0 20 0 1 0 42472736 65486848 8357 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 15988 8357 1922 992 0 7846 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 63952 KiB
Current children cumulated memory: 33428 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 3.33 1.71 5/248 320110
/proc/meminfo: memFree=119698832/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=64336 memory=33736 CPUtime=460.7 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 6291 0 0 0 45408 662 0 0 20 0 1 0 42472736 65880064 8434 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 16084 8434 1922 992 0 7942 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.17 4.19 4.10 5/246 321224
/proc/meminfo: memFree=103209304/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=84908 memory=52648 CPUtime=3153.05 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 13903 0 0 0 312869 2436 0 0 20 0 1 0 42472736 86945792 13162 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21227 13162 1922 992 0 13085 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 84908 KiB
Current children cumulated memory: 52648 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/246 321234
/proc/meminfo: memFree=102959336/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=85164 memory=52908 CPUtime=3212.86 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 14126 0 0 0 318820 2466 0 0 20 0 1 0 42472736 87207936 13227 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21291 13227 1922 992 0 13149 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 85164 KiB
Current children cumulated memory: 52908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.23 4.12 5/247 321247
/proc/meminfo: memFree=102667536/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=85420 memory=53164 CPUtime=3272.66 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 14354 0 0 0 324766 2500 0 0 20 0 1 0 42472736 87470080 13291 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21355 13291 1922 992 0 13213 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 85420 KiB
Current children cumulated memory: 53164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.23 4.13 5/244 321257
/proc/meminfo: memFree=102328500/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=85420 memory=53164 CPUtime=3332.46 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 14371 0 0 0 330717 2529 0 0 20 0 1 0 42472736 87470080 13291 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21355 13291 1922 992 0 13213 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 85420 KiB
Current children cumulated memory: 53164 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.22 4.13 5/244 321267
/proc/meminfo: memFree=102005588/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=85424 memory=53168 CPUtime=3392.26 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 14530 0 0 0 336664 2562 0 0 20 0 1 0 42472736 87474176 13292 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21356 13292 1922 992 0 13214 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 85424 KiB
Current children cumulated memory: 53168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.27 4.15 5/247 321282
/proc/meminfo: memFree=101727620/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=85680 memory=53428 CPUtime=3452.05 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 14758 0 0 0 342609 2596 0 0 20 0 1 0 42472736 87736320 13357 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21420 13357 1922 992 0 13278 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 85680 KiB
Current children cumulated memory: 53428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.24 4.14 5/247 321293
/proc/meminfo: memFree=101466340/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=85680 memory=53428 CPUtime=3511.85 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 14777 0 0 0 348552 2633 0 0 20 0 1 0 42472736 87736320 13357 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21420 13357 1922 992 0 13278 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 85680 KiB
Current children cumulated memory: 53428 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.21 4.14 5/247 321305
/proc/meminfo: memFree=101213620/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=86252 memory=53776 CPUtime=3571.65 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 15023 0 0 0 354502 2663 0 0 20 0 1 0 42472736 88322048 13444 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21563 13444 1922 992 0 13421 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 86252 KiB
Current children cumulated memory: 53776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.13 4.20 4.14 3/246 321311
/proc/meminfo: memFree=101098060/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=86508 memory=53776 CPUtime=3600.05 cores=5,7
/proc/319413/stat : 319413 (roundingsat) R 319406 319413 319208 0 -1 4194304 15026 0 0 0 357331 2674 0 0 20 0 1 0 42472736 88584192 13444 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21627 13444 1922 992 0 13485 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 86508 KiB
Current children cumulated memory: 53776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.13 4.20 4.14 2/245 321311
/proc/meminfo: memFree=101095556/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=86508 memory=53776 CPUtime=3600.07 cores=5,7
/proc/319413/stat : 319413 (roundingsat) D 319406 319413 319208 0 -1 4194304 15035 0 0 0 357332 2675 0 0 20 0 1 0 42472736 88584192 13444 134679101440 4194304 8254357 140727505593728 0 0 256 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21627 13444 1922 992 0 13485 0
??? kill 319413 sig 9
??? end of watcher thread
[startup+3630.31 s]
# the end of solver process 319413 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.32 s, system=26.7577 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.13 4.20 4.14 2/246 321311
/proc/meminfo: memFree=101096084/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=86508 memory=53776 CPUtime=3600.07 cores=5,7
/proc/319413/stat : 319413 (roundingsat) D 319406 319413 319208 0 -1 4194304 15035 0 0 0 357332 2675 0 0 20 0 1 0 42472736 88584192 13444 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21627 13444 1922 992 0 13485 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 86508 KiB
Current children cumulated memory: 53776 KiB
[startup+3612 s]*
/proc/loadavg: 4.13 4.20 4.14 2/245 321311
/proc/meminfo: memFree=101095832/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=86508 memory=53776 CPUtime=3600.07 cores=5,7
/proc/319413/stat : 319413 (roundingsat) D 319406 319413 319208 0 -1 4194304 15035 0 0 0 357332 2675 0 0 20 0 1 0 42472736 88584192 13444 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21627 13444 1922 992 0 13485 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 86508 KiB
Current children cumulated memory: 53776 KiB
[startup+3612.4 s]
/proc/loadavg: 4.13 4.20 4.14 2/245 321311
/proc/meminfo: memFree=101095832/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=86508 memory=53776 CPUtime=3600.07 cores=5,7
/proc/319413/stat : 319413 (roundingsat) D 319406 319413 319208 0 -1 4194304 15035 0 0 0 357332 2675 0 0 20 0 1 0 42472736 88584192 13444 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21627 13444 1922 992 0 13485 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 86508 KiB
Current children cumulated memory: 53776 KiB
[startup+3612.8 s]
/proc/loadavg: 4.13 4.20 4.14 2/245 321311
/proc/meminfo: memFree=101095832/131655788 swapFree=131070192/131071996
[pid=319413] ppid=319406 vsize=86508 memory=53776 CPUtime=3600.07 cores=5,7
/proc/319413/stat : 319413 (roundingsat) D 319406 319413 319208 0 -1 4194304 15035 0 0 0 357332 2675 0 0 20 0 1 0 42472736 88584192 13444 134679101440 4194304 8254357 140727505593728 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27443200 140727505597275 140727505597537 140727505597537 140727505604553 0
/proc/319413/statm: 21627 13444 1922 992 0 13485 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 86508 KiB
Current children cumulated memory: 53776 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3630.31
CPU time (s): 3600.08
CPU user time (s): 3573.32
CPU system time (s): 26.7577
CPU usage (%): 99.1674
Max. virtual memory (cumulated for all children) (KiB): 86508
Max. memory (cumulated for all children) (KiB): 53776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.32
system time used= 26.7577
maximum resident set size= 54240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15035
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19959600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1156
involuntary context switches= 4830
# summary of solver processes directly reported to runsolver:
# pid: 319413
# total CPU time (s): 3600.08
# total CPU user time (s): 3573.32
# total CPU system time (s): 26.7577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.005 second user time and 34.456 second system time
The end
Begin job on nodeC002 at 2024-07-27 09:20:39 IDJOB=4460217 IDBENCH=147612 IDSOLVER=3086 FILE ID=nodeC002/4460217-1722064839 RUNJOBID= nodeC002-1722064836-319221 SLURM_JOB_ID= 8248104 Free space on /tmp= 723776 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-4460217-1722064839/watcher-4460217-1722064839 -o /tmp/evaluation-result-4460217-1722064839/solver-4460217-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722064836-319221 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460217-1722064839 --lp-cut-gomory=0 HOME/instance-4460217-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277 RANDOM SEED=1859590444 nodeC002.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 : 1197.176 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.43 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.714 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.41 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.173 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.43 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.287 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.41 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 : 1197.170 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.43 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 : 1197.163 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.41 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.197 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.43 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.182 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.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126329504 kB MemAvailable: 129891400 kB Buffers: 375532 kB Cached: 3999332 kB SwapCached: 72 kB Active: 2437244 kB Inactive: 2297824 kB Active(anon): 1504 kB Inactive(anon): 412612 kB Active(file): 2435740 kB Inactive(file): 1885212 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070192 kB Dirty: 40104 kB Writeback: 268 kB AnonPages: 359588 kB Mapped: 109568 kB Shmem: 53844 kB KReclaimable: 162284 kB Slab: 276232 kB SReclaimable: 162284 kB SUnreclaim: 113948 kB KernelStack: 3808 kB PageTables: 10016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 708620 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14752 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 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: 316232 kB DirectMap2M: 36288512 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 723756 MiB End job on nodeC002 at 2024-07-27 10:21:09