| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.01 | 3619.25 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_4.opb |
| MD5SUM | f08684a49e4744afc6bcc5ce80f1fe7b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 71 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 70 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5644 |
| 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 71 #constraints 17 0.00/0.00 c bounds - >= 0 @ 0.0002 0.00/0.00 c rational objective 0 0.20/0.29 c #Conflicts: 1000 | #Constraints: 1036 0.20/0.29 c #Conflicts: 2000 | #Constraints: 2050 0.20/0.29 c INPROCESSING 0.20/0.29 c GARBAGE COLLECT 0.20/0.29 c rational objective 0 0.69/0.74 c #Conflicts: 3000 | #Constraints: 2049 0.69/0.74 c #Conflicts: 4000 | #Constraints: 3058 0.69/0.74 c INPROCESSING 0.69/0.74 c GARBAGE COLLECT 0.69/0.74 c rational objective 0 1.29/1.34 c #Conflicts: 5000 | #Constraints: 2449 1.29/1.34 c #Conflicts: 6000 | #Constraints: 3454 1.29/1.34 c INPROCESSING 1.29/1.34 c GARBAGE COLLECT 1.29/1.34 c rational objective 0 2.09/2.14 c #Conflicts: 7000 | #Constraints: 2444 2.09/2.14 c #Conflicts: 8000 | #Constraints: 3448 2.09/2.14 c #Conflicts: 9000 | #Constraints: 4454 2.09/2.14 c INPROCESSING 2.09/2.14 c GARBAGE COLLECT 2.09/2.14 c rational objective 0 2.98/3.08 c #Conflicts: 10000 | #Constraints: 3143 2.98/3.08 c #Conflicts: 11000 | #Constraints: 4151 2.98/3.08 c #Conflicts: 12000 | #Constraints: 5159 2.98/3.08 c INPROCESSING 2.98/3.08 c GARBAGE COLLECT 2.98/3.08 c rational objective 0 3.97/4.05 c #Conflicts: 13000 | #Constraints: 3600 3.97/4.05 c #Conflicts: 14000 | #Constraints: 4611 3.97/4.05 c #Conflicts: 15000 | #Constraints: 5614 3.97/4.05 c INPROCESSING 3.97/4.05 c GARBAGE COLLECT 3.97/4.05 c rational objective 0 5.16/5.28 c #Conflicts: 16000 | #Constraints: 3829 5.16/5.28 c #Conflicts: 17000 | #Constraints: 4829 5.16/5.28 c #Conflicts: 18000 | #Constraints: 5832 5.16/5.28 c INPROCESSING 5.16/5.28 c GARBAGE COLLECT 5.16/5.28 c rational objective 0 6.55/6.67 c #Conflicts: 19000 | #Constraints: 3835 6.55/6.67 c #Conflicts: 20000 | #Constraints: 4840 6.55/6.67 c #Conflicts: 21000 | #Constraints: 5844 6.55/6.67 c INPROCESSING 6.55/6.67 c GARBAGE COLLECT 6.55/6.67 c rational objective 0 8.05/8.12 c #Conflicts: 22000 | #Constraints: 3642 8.05/8.12 c #Conflicts: 23000 | #Constraints: 4647 8.05/8.12 c #Conflicts: 24000 | #Constraints: 5651 8.05/8.12 c #Conflicts: 25000 | #Constraints: 6653 8.05/8.12 c INPROCESSING 8.05/8.12 c GARBAGE COLLECT 8.05/8.12 c rational objective 0 9.64/9.76 c #Conflicts: 26000 | #Constraints: 4245 9.64/9.76 c #Conflicts: 27000 | #Constraints: 5247 9.64/9.76 c #Conflicts: 28000 | #Constraints: 6253 9.64/9.76 c #Conflicts: 29000 | #Constraints: 7257 9.64/9.76 c INPROCESSING 9.64/9.76 c GARBAGE COLLECT 9.64/9.76 c rational objective 0 11.44/11.53 c #Conflicts: 30000 | #Constraints: 4647 11.44/11.53 c #Conflicts: 31000 | #Constraints: 5647 11.44/11.53 c #Conflicts: 32000 | #Constraints: 6649 11.44/11.53 c #Conflicts: 33000 | #Constraints: 7652 11.44/11.53 c INPROCESSING 11.44/11.53 c GARBAGE COLLECT 11.44/11.53 c rational objective 0 13.43/13.57 c #Conflicts: 34000 | #Constraints: 4847 13.43/13.57 c #Conflicts: 35000 | #Constraints: 5849 13.43/13.57 c #Conflicts: 36000 | #Constraints: 6854 13.43/13.57 c #Conflicts: 37000 | #Constraints: 7856 13.43/13.57 c INPROCESSING 13.43/13.57 c GARBAGE COLLECT 13.43/13.57 c rational objective 0 15.73/15.85 c #Conflicts: 38000 | #Constraints: 4848 15.73/15.85 c #Conflicts: 39000 | #Constraints: 5848 15.73/15.85 c #Conflicts: 40000 | #Constraints: 6849 15.73/15.85 c #Conflicts: 41000 | #Constraints: 7849 15.73/15.85 c INPROCESSING 15.73/15.85 c GARBAGE COLLECT 15.73/15.85 c rational objective 0 18.32/18.41 c #Conflicts: 42000 | #Constraints: 4643 18.32/18.41 c #Conflicts: 43000 | #Constraints: 5646 18.32/18.41 c #Conflicts: 44000 | #Constraints: 6646 18.32/18.41 c #Conflicts: 45000 | #Constraints: 7648 18.32/18.41 c #Conflicts: 46000 | #Constraints: 8653 18.32/18.41 c INPROCESSING 18.32/18.41 c GARBAGE COLLECT 18.32/18.41 c rational objective 0 20.81/20.93 c #Conflicts: 47000 | #Constraints: 5248 20.81/20.93 c #Conflicts: 48000 | #Constraints: 6250 20.81/20.93 c #Conflicts: 49000 | #Constraints: 7251 20.81/20.93 c #Conflicts: 50000 | #Constraints: 8252 20.81/20.93 c #Conflicts: 51000 | #Constraints: 9255 20.81/20.93 c INPROCESSING 20.81/20.93 c GARBAGE COLLECT 20.81/20.93 c rational objective 0 23.50/23.66 c #Conflicts: 52000 | #Constraints: 5642 23.50/23.66 c #Conflicts: 53000 | #Constraints: 6642 23.50/23.66 c #Conflicts: 54000 | #Constraints: 7646 23.50/23.66 c #Conflicts: 55000 | #Constraints: 8648 23.50/23.66 c #Conflicts: 56000 | #Constraints: 9651 23.50/23.66 c INPROCESSING 23.50/23.66 c GARBAGE COLLECT 23.50/23.66 c rational objective 0 26.39/26.52 c #Conflicts: 57000 | #Constraints: 5842 26.39/26.52 c #Conflicts: 58000 | #Constraints: 6845 26.39/26.52 c #Conflicts: 59000 | #Constraints: 7848 26.39/26.52 c #Conflicts: 60000 | #Constraints: 8848 26.39/26.52 c #Conflicts: 61000 | #Constraints: 9848 26.39/26.52 c INPROCESSING 26.39/26.52 c GARBAGE COLLECT 26.39/26.52 c rational objective 0 29.49/29.68 c #Conflicts: 62000 | #Constraints: 5845 29.49/29.68 c #Conflicts: 63000 | #Constraints: 6846 29.49/29.68 c #Conflicts: 64000 | #Constraints: 7848 29.49/29.68 c #Conflicts: 65000 | #Constraints: 8850 29.49/29.68 c #Conflicts: 66000 | #Constraints: 9854 29.49/29.68 c INPROCESSING 29.49/29.68 c GARBAGE COLLECT 29.49/29.68 c rational objective 0 32.77/33.00 c #Conflicts: 67000 | #Constraints: 5641 32.77/33.00 c #Conflicts: 68000 | #Constraints: 6643 32.77/33.00 c #Conflicts: 69000 | #Constraints: 7644 32.77/33.00 c #Conflicts: 70000 | #Constraints: 8649 32.77/33.00 c #Conflicts: 71000 | #Constraints: 9651 32.77/33.00 c #Conflicts: 72000 | #Constraints: 10653 32.77/33.00 c INPROCESSING 32.77/33.00 c GARBAGE COLLECT 32.77/33.00 c rational objective 0 36.54/36.70 c #Conflicts: 73000 | #Constraints: 6244 36.54/36.70 c #Conflicts: 74000 | #Constraints: 7248 36.54/36.70 c #Conflicts: 75000 | #Constraints: 8252 36.54/36.70 c #Conflicts: 76000 | #Constraints: 9254 36.54/36.70 c #Conflicts: 77000 | #Constraints: 10255 36.54/36.70 c #Conflicts: 78000 | #Constraints: 11258 36.54/36.70 c INPROCESSING 36.54/36.70 c GARBAGE COLLECT 36.54/36.70 c rational objective 0 40.70/40.98 c #Conflicts: 79000 | #Constraints: 6646 40.70/40.98 c #Conflicts: 80000 | #Constraints: 7646 40.70/40.98 c #Conflicts: 81000 | #Constraints: 8646 40.70/40.98 c #Conflicts: 82000 | #Constraints: 9647 40.70/40.98 c #Conflicts: 83000 | #Constraints: 10648 40.70/40.98 c #Conflicts: 84000 | #Constraints: 11650 40.70/40.98 c INPROCESSING 40.70/40.98 c GARBAGE COLLECT 40.70/40.98 c rational objective 0 45.27/45.56 c #Conflicts: 85000 | #Constraints: 6843 45.27/45.56 c #Conflicts: 86000 | #Constraints: 7846 45.27/45.56 c #Conflicts: 87000 | #Constraints: 8848 45.27/45.56 c #Conflicts: 88000 | #Constraints: 9850 45.27/45.56 c #Conflicts: 89000 | #Constraints: 10850 45.27/45.56 c #Conflicts: 90000 | #Constraints: 11851 45.27/45.56 c INPROCESSING 45.27/45.56 c GARBAGE COLLECT 45.27/45.56 c rational objective 0 50.33/50.62 c #Conflicts: 91000 | #Constraints: 6845 50.33/50.62 c #Conflicts: 92000 | #Constraints: 7848 50.33/50.62 c #Conflicts: 93000 | #Constraints: 8850 50.33/50.62 c #Conflicts: 94000 | #Constraints: 9851 50.33/50.62 c #Conflicts: 95000 | #Constraints: 10852 50.33/50.62 c #Conflicts: 96000 | #Constraints: 11853 50.33/50.62 c INPROCESSING 50.33/50.62 c GARBAGE COLLECT 50.33/50.62 c rational objective 0 55.39/55.79 c #Conflicts: 97000 | #Constraints: 6643 55.39/55.79 c #Conflicts: 98000 | #Constraints: 7644 55.39/55.79 c #Conflicts: 99000 | #Constraints: 8645 55.39/55.79 c #Conflicts: 100000 | #Constraints: 9647 55.39/55.79 c #Conflicts: 101000 | #Constraints: 10648 55.39/55.79 c #Conflicts: 102000 | #Constraints: 11649 55.39/55.79 c #Conflicts: 103000 | #Constraints: 12650 55.39/55.79 c INPROCESSING 55.39/55.79 c GARBAGE COLLECT 55.39/55.79 c rational objective 0 60.27/60.61 c #Conflicts: 104000 | #Constraints: 7239 60.27/60.61 c #Conflicts: 105000 | #Constraints: 8239 60.27/60.61 c #Conflicts: 106000 | #Constraints: 9239 60.27/60.61 c #Conflicts: 107000 | #Constraints: 10239 60.27/60.61 c #Conflicts: 108000 | #Constraints: 11241 60.27/60.61 c #Conflicts: 109000 | #Constraints: 12247 60.27/60.61 c #Conflicts: 110000 | #Constraints: 13247 60.27/60.61 c INPROCESSING 60.27/60.61 c GARBAGE COLLECT 60.27/60.61 c rational objective 0 65.45/65.83 c #Conflicts: 111000 | #Constraints: 7642 65.45/65.83 c #Conflicts: 112000 | #Constraints: 8643 65.45/65.83 c #Conflicts: 113000 | #Constraints: 9643 65.45/65.83 c #Conflicts: 114000 | #Constraints: 10643 65.45/65.83 c #Conflicts: 115000 | #Constraints: 11646 65.45/65.83 c #Conflicts: 116000 | #Constraints: 12648 65.45/65.83 c #Conflicts: 117000 | #Constraints: 13651 65.45/65.83 c INPROCESSING 65.45/65.83 c GARBAGE COLLECT 65.45/65.83 c rational objective 0 71.31/71.74 c #Conflicts: 118000 | #Constraints: 7843 71.31/71.74 c #Conflicts: 119000 | #Constraints: 8844 71.31/71.74 c #Conflicts: 120000 | #Constraints: 9846 71.31/71.74 c #Conflicts: 121000 | #Constraints: 10848 71.31/71.74 c #Conflicts: 122000 | #Constraints: 11849 71.31/71.74 c #Conflicts: 123000 | #Constraints: 12850 71.31/71.74 c #Conflicts: 124000 | #Constraints: 13851 71.31/71.74 c INPROCESSING 71.31/71.74 c GARBAGE COLLECT 71.31/71.74 c rational objective 0 77.34/77.81 c #Conflicts: 125000 | #Constraints: 7846 77.34/77.81 c #Conflicts: 126000 | #Constraints: 8846 77.34/77.81 c #Conflicts: 127000 | #Constraints: 9846 77.34/77.81 c #Conflicts: 128000 | #Constraints: 10846 77.34/77.81 c #Conflicts: 129000 | #Constraints: 11847 77.34/77.81 c #Conflicts: 130000 | #Constraints: 12849 77.34/77.81 c #Conflicts: 131000 | #Constraints: 13851 77.34/77.81 c INPROCESSING 77.34/77.81 c GARBAGE COLLECT 77.34/77.81 c rational objective 0 83.61/84.16 c #Conflicts: 132000 | #Constraints: 7643 83.61/84.16 c #Conflicts: 133000 | #Constraints: 8645 83.61/84.16 c #Conflicts: 134000 | #Constraints: 9646 83.61/84.16 c #Conflicts: 135000 | #Constraints: 10647 83.61/84.16 c #Conflicts: 136000 | #Constraints: 11652 83.61/84.16 c #Conflicts: 137000 | #Constraints: 12654 83.61/84.16 c #Conflicts: 138000 | #Constraints: 13655 83.61/84.16 c #Conflicts: 139000 | #Constraints: 14656 83.61/84.16 c INPROCESSING 83.61/84.16 c GARBAGE COLLECT 83.61/84.16 c rational objective 0 90.65/91.20 c #Conflicts: 140000 | #Constraints: 8251 90.65/91.20 c #Conflicts: 141000 | #Constraints: 9253 90.65/91.20 c #Conflicts: 142000 | #Constraints: 10254 90.65/91.20 c #Conflicts: 143000 | #Constraints: 11258 90.65/91.20 c #Conflicts: 144000 | #Constraints: 12260 90.65/91.20 c #Conflicts: 145000 | #Constraints: 13265 90.65/91.20 c #Conflicts: 146000 | #Constraints: 14266 90.65/91.20 c #Conflicts: 147000 | #Constraints: 15266 90.65/91.20 c INPROCESSING 90.65/91.20 c GARBAGE COLLECT 90.65/91.20 c rational objective 0 97.70/98.31 c #Conflicts: 148000 | #Constraints: 8651 97.70/98.31 c #Conflicts: 149000 | #Constraints: 9654 97.70/98.31 c #Conflicts: 150000 | #Constraints: 10655 97.70/98.31 c #Conflicts: 151000 | #Constraints: 11656 97.70/98.31 c #Conflicts: 152000 | #Constraints: 12658 97.70/98.31 c #Conflicts: 153000 | #Constraints: 13659 97.70/98.31 c #Conflicts: 154000 | #Constraints: 14659 97.70/98.31 c #Conflicts: 155000 | #Constraints: 15659 97.70/98.31 c INPROCESSING 97.70/98.31 c GARBAGE COLLECT 97.70/98.31 c rational objective 0 105.03/105.71 c #Conflicts: 156000 | #Constraints: 8850 105.03/105.71 c #Conflicts: 157000 | #Constraints: 9852 105.03/105.71 c #Conflicts: 158000 | #Constraints: 10856 105.03/105.71 c #Conflicts: 159000 | #Constraints: 11860 105.03/105.71 c #Conflicts: 160000 | #Constraints: 12861 105.03/105.71 c #Conflicts: 161000 | #Constraints: 13863 105.03/105.71 c #Conflicts: 162000 | #Constraints: 14863 105.03/105.71 c #Conflicts: 163000 | #Constraints: 15864 105.03/105.71 c INPROCESSING 105.03/105.71 c GARBAGE COLLECT 105.03/105.71 c rational objective 0 112.66/113.44 c #Conflicts: 164000 | #Constraints: 8849 112.66/113.44 c #Conflicts: 165000 | #Constraints: 9851 112.66/113.44 c #Conflicts: 166000 | #Constraints: 10851 112.66/113.44 c #Conflicts: 167000 | #Constraints: 11853 112.66/113.44 c #Conflicts: 168000 | #Constraints: 12854 112.66/113.44 c #Conflicts: 169000 | #Constraints: 13857 112.66/113.44 c #Conflicts: 170000 | #Constraints: 14858 112.66/113.44 c #Conflicts: 171000 | #Constraints: 15859 112.66/113.44 c INPROCESSING 112.66/113.44 c GARBAGE COLLECT 112.66/113.44 c rational objective 0 120.58/121.41 c #Conflicts: 172000 | #Constraints: 8648 120.58/121.41 c #Conflicts: 173000 | #Constraints: 9651 120.58/121.41 c #Conflicts: 174000 | #Constraints: 10653 120.58/121.41 c #Conflicts: 175000 | #Constraints: 11653 120.58/121.41 c #Conflicts: 176000 | #Constraints: 12654 120.58/121.41 c #Conflicts: 177000 | #Constraints: 13657 120.58/121.41 c #Conflicts: 178000 | #Constraints: 14657 120.58/121.41 c #Conflicts: 179000 | #Constraints: 15659 120.58/121.41 c #Conflicts: 180000 | #Constraints: 16661 120.58/121.41 c INPROCESSING 120.58/121.41 c GARBAGE COLLECT 120.58/121.41 c rational objective 0 129.50/130.47 c #Conflicts: 181000 | #Constraints: 9244 129.50/130.47 c #Conflicts: 182000 | #Constraints: 10247 129.50/130.47 c #Conflicts: 183000 | #Constraints: 11250 129.50/130.47 c #Conflicts: 184000 | #Constraints: 12251 129.50/130.47 c #Conflicts: 185000 | #Constraints: 13252 129.50/130.47 c #Conflicts: 186000 | #Constraints: 14252 129.50/130.47 c #Conflicts: 187000 | #Constraints: 15253 129.50/130.47 c #Conflicts: 188000 | #Constraints: 16255 129.50/130.47 c #Conflicts: 189000 | #Constraints: 17255 129.50/130.47 c INPROCESSING 129.50/130.47 c GARBAGE COLLECT 129.50/130.47 c rational objective 0 139.24/140.25 c #Conflicts: 190000 | #Constraints: 9644 139.24/140.25 c #Conflicts: 191000 | #Constraints: 10645 139.24/140.25 c #Conflicts: 192000 | #Constraints: 11646 139.24/140.25 c #Conflicts: 193000 | #Constraints: 12648 139.24/140.25 c #Conflicts: 194000 | #Constraints: 13648 139.24/140.25 c #Conflicts: 195000 | #Constraints: 14650 139.24/140.25 c #Conflicts: 196000 | #Constraints: 15650 139.24/140.25 c #Conflicts: 197000 | #Constraints: 16650 139.24/140.25 c #Conflicts: 198000 | #Constraints: 17650 139.24/140.25 c INPROCESSING 139.24/140.25 c GARBAGE COLLECT 139.24/140.25 c rational objective 0 149.79/150.80 c #Conflicts: 199000 | #Constraints: 9843 149.79/150.80 c #Conflicts: 200000 | #Constraints: 10843 149.79/150.80 c #Conflicts: 201000 | #Constraints: 11843 149.79/150.80 c #Conflicts: 202000 | #Constraints: 12843 149.79/150.80 c #Conflicts: 203000 | #Constraints: 13843 149.79/150.80 c #Conflicts: 204000 | #Constraints: 14843 149.79/150.80 c #Conflicts: 205000 | #Constraints: 15843 149.79/150.80 c #Conflicts: 206000 | #Constraints: 16844 149.79/150.80 c #Conflicts: 207000 | #Constraints: 17844 149.79/150.80 c INPROCESSING 149.79/150.80 c GARBAGE COLLECT 149.79/150.80 c rational objective 0 160.33/161.44 c #Conflicts: 208000 | #Constraints: 9840 160.33/161.44 c #Conflicts: 209000 | #Constraints: 10842 160.33/161.44 c #Conflicts: 210000 | #Constraints: 11845 160.33/161.44 c #Conflicts: 211000 | #Constraints: 12845 160.33/161.44 c #Conflicts: 212000 | #Constraints: 13847 160.33/161.44 c #Conflicts: 213000 | #Constraints: 14849 160.33/161.44 c #Conflicts: 214000 | #Constraints: 15850 160.33/161.44 c #Conflicts: 215000 | #Constraints: 16851 160.33/161.44 c #Conflicts: 216000 | #Constraints: 17852 160.33/161.44 c INPROCESSING 160.33/161.44 c GARBAGE COLLECT 160.33/161.44 c rational objective 0 171.89/173.09 c #Conflicts: 217000 | #Constraints: 9645 171.89/173.09 c #Conflicts: 218000 | #Constraints: 10645 171.89/173.09 c #Conflicts: 219000 | #Constraints: 11648 171.89/173.09 c #Conflicts: 220000 | #Constraints: 12649 171.89/173.09 c #Conflicts: 221000 | #Constraints: 13649 171.89/173.09 c #Conflicts: 222000 | #Constraints: 14649 171.89/173.09 c #Conflicts: 223000 | #Constraints: 15649 171.89/173.09 c #Conflicts: 224000 | #Constraints: 16650 171.89/173.09 c #Conflicts: 225000 | #Constraints: 17651 171.89/173.09 c #Conflicts: 226000 | #Constraints: 18651 171.89/173.09 c INPROCESSING 171.89/173.09 c GARBAGE COLLECT 171.89/173.09 c rational objective 0 182.75/183.90 c #Conflicts: 227000 | #Constraints: 10245 182.75/183.90 c #Conflicts: 228000 | #Constraints: 11247 182.75/183.90 c #Conflicts: 229000 | #Constraints: 12247 182.75/183.90 c #Conflicts: 230000 | #Constraints: 13249 182.75/183.90 c #Conflicts: 231000 | #Constraints: 14249 182.75/183.90 c #Conflicts: 232000 | #Constraints: 15250 182.75/183.90 c #Conflicts: 233000 | #Constraints: 16250 182.75/183.90 c #Conflicts: 234000 | #Constraints: 17252 182.75/183.90 c #Conflicts: 235000 | #Constraints: 18255 182.75/183.90 c #Conflicts: 236000 | #Constraints: 19257 182.75/183.90 c INPROCESSING 182.75/183.90 c GARBAGE COLLECT 182.75/183.90 c rational objective 0 193.80/195.10 c #Conflicts: 237000 | #Constraints: 10646 193.80/195.10 c #Conflicts: 238000 | #Constraints: 11647 193.80/195.10 c #Conflicts: 239000 | #Constraints: 12648 193.80/195.10 c #Conflicts: 240000 | #Constraints: 13650 193.80/195.10 c #Conflicts: 241000 | #Constraints: 14654 193.80/195.10 c #Conflicts: 242000 | #Constraints: 15655 193.80/195.10 c #Conflicts: 243000 | #Constraints: 16655 193.80/195.10 c #Conflicts: 244000 | #Constraints: 17655 193.80/195.10 c #Conflicts: 245000 | #Constraints: 18655 193.80/195.10 c #Conflicts: 246000 | #Constraints: 19656 193.80/195.10 c INPROCESSING 193.80/195.10 c GARBAGE COLLECT 193.80/195.10 c rational objective 0 205.56/206.85 c #Conflicts: 247000 | #Constraints: 10848 205.56/206.85 c #Conflicts: 248000 | #Constraints: 11849 205.56/206.85 c #Conflicts: 249000 | #Constraints: 12849 205.56/206.85 c #Conflicts: 250000 | #Constraints: 13849 205.56/206.85 c #Conflicts: 251000 | #Constraints: 14850 205.56/206.85 c #Conflicts: 252000 | #Constraints: 15850 205.56/206.85 c #Conflicts: 253000 | #Constraints: 16851 205.56/206.85 c #Conflicts: 254000 | #Constraints: 17853 205.56/206.85 c #Conflicts: 255000 | #Constraints: 18855 205.56/206.85 c #Conflicts: 256000 | #Constraints: 19856 205.56/206.85 c INPROCESSING 205.56/206.85 c GARBAGE COLLECT 205.56/206.85 c rational objective 0 217.31/218.66 c #Conflicts: 257000 | #Constraints: 10844 217.31/218.66 c #Conflicts: 258000 | #Constraints: 11844 217.31/218.66 c #Conflicts: 259000 | #Constraints: 12846 217.31/218.66 c #Conflicts: 260000 | #Constraints: 13851 217.31/218.66 c #Conflicts: 261000 | #Constraints: 14851 217.31/218.66 c #Conflicts: 262000 | #Constraints: 15852 217.31/218.66 c #Conflicts: 263000 | #Constraints: 16853 217.31/218.66 c #Conflicts: 264000 | #Constraints: 17855 217.31/218.66 c #Conflicts: 265000 | #Constraints: 18857 217.31/218.66 c #Conflicts: 266000 | #Constraints: 19857 217.31/218.66 c INPROCESSING 217.31/218.66 c GARBAGE COLLECT 217.31/218.66 c rational objective 0 230.52/231.95 c #Conflicts: 267000 | #Constraints: 10647 230.52/231.95 c #Conflicts: 268000 | #Constraints: 11647 230.52/231.95 c #Conflicts: 269000 | #Constraints: 12647 230.52/231.95 c #Conflicts: 270000 | #Constraints: 13648 230.52/231.95 c #Conflicts: 271000 | #Constraints: 14649 230.52/231.95 c #Conflicts: 272000 | #Constraints: 15649 230.52/231.95 c #Conflicts: 273000 | #Constraints: 16649 230.52/231.95 c #Conflicts: 274000 | #Constraints: 17649 230.52/231.95 c #Conflicts: 275000 | #Constraints: 18650 230.52/231.95 c #Conflicts: 276000 | #Constraints: 19651 230.52/231.95 c #Conflicts: 277000 | #Constraints: 20651 230.52/231.95 c INPROCESSING 230.52/231.95 c GARBAGE COLLECT 230.52/231.95 c rational objective 0 243.24/244.74 c #Conflicts: 278000 | #Constraints: 11243 243.24/244.74 c #Conflicts: 279000 | #Constraints: 12244 243.24/244.74 c #Conflicts: 280000 | #Constraints: 13244 243.24/244.74 c #Conflicts: 281000 | #Constraints: 14245 243.24/244.74 c #Conflicts: 282000 | #Constraints: 15246 243.24/244.74 c #Conflicts: 283000 | #Constraints: 16246 243.24/244.74 c #Conflicts: 284000 | #Constraints: 17248 243.24/244.74 c #Conflicts: 285000 | #Constraints: 18249 243.24/244.74 c #Conflicts: 286000 | #Constraints: 19250 243.24/244.74 c #Conflicts: 287000 | #Constraints: 20250 243.24/244.74 c #Conflicts: 288000 | #Constraints: 21251 243.24/244.74 c INPROCESSING 243.24/244.74 c GARBAGE COLLECT 243.24/244.74 c rational objective 0 256.58/258.15 c #Conflicts: 289000 | #Constraints: 11640 256.58/258.15 c #Conflicts: 290000 | #Constraints: 12641 256.58/258.15 c #Conflicts: 291000 | #Constraints: 13641 256.58/258.15 c #Conflicts: 292000 | #Constraints: 14642 256.58/258.15 c #Conflicts: 293000 | #Constraints: 15643 256.58/258.15 c #Conflicts: 294000 | #Constraints: 16644 256.58/258.15 c #Conflicts: 295000 | #Constraints: 17645 256.58/258.15 c #Conflicts: 296000 | #Constraints: 18646 256.58/258.15 c #Conflicts: 297000 | #Constraints: 19649 256.58/258.15 c #Conflicts: 298000 | #Constraints: 20651 256.58/258.15 c #Conflicts: 299000 | #Constraints: 21652 256.58/258.15 c INPROCESSING 256.58/258.15 c GARBAGE COLLECT 256.58/258.15 c rational objective 0 270.52/272.14 c #Conflicts: 300000 | #Constraints: 11845 270.52/272.14 c #Conflicts: 301000 | #Constraints: 12846 270.52/272.14 c #Conflicts: 302000 | #Constraints: 13846 270.52/272.14 c #Conflicts: 303000 | #Constraints: 14846 270.52/272.14 c #Conflicts: 304000 | #Constraints: 15848 270.52/272.14 c #Conflicts: 305000 | #Constraints: 16849 270.52/272.14 c #Conflicts: 306000 | #Constraints: 17849 270.52/272.14 c #Conflicts: 307000 | #Constraints: 18850 270.52/272.14 c #Conflicts: 308000 | #Constraints: 19851 270.52/272.14 c #Conflicts: 309000 | #Constraints: 20851 270.52/272.14 c #Conflicts: 310000 | #Constraints: 21851 270.52/272.14 c INPROCESSING 270.52/272.14 c GARBAGE COLLECT 270.52/272.14 c rational objective 0 286.23/287.99 c #Conflicts: 311000 | #Constraints: 11844 286.23/287.99 c #Conflicts: 312000 | #Constraints: 12846 286.23/287.99 c #Conflicts: 313000 | #Constraints: 13849 286.23/287.99 c #Conflicts: 314000 | #Constraints: 14849 286.23/287.99 c #Conflicts: 315000 | #Constraints: 15849 286.23/287.99 c #Conflicts: 316000 | #Constraints: 16851 286.23/287.99 c #Conflicts: 317000 | #Constraints: 17851 286.23/287.99 c #Conflicts: 318000 | #Constraints: 18851 286.23/287.99 c #Conflicts: 319000 | #Constraints: 19851 286.23/287.99 c #Conflicts: 320000 | #Constraints: 20851 286.23/287.99 c #Conflicts: 321000 | #Constraints: 21851 286.23/287.99 c INPROCESSING 286.23/287.99 c GARBAGE COLLECT 286.23/287.99 c rational objective 0 302.37/304.19 c #Conflicts: 322000 | #Constraints: 11646 302.37/304.19 c #Conflicts: 323000 | #Constraints: 12651 302.37/304.19 c #Conflicts: 324000 | #Constraints: 13653 302.37/304.19 c #Conflicts: 325000 | #Constraints: 14657 302.37/304.19 c #Conflicts: 326000 | #Constraints: 15657 302.37/304.19 c #Conflicts: 327000 | #Constraints: 16657 302.37/304.19 c #Conflicts: 328000 | #Constraints: 17658 302.37/304.19 c #Conflicts: 329000 | #Constraints: 18658 302.37/304.19 c #Conflicts: 330000 | #Constraints: 19659 302.37/304.19 c #Conflicts: 331000 | #Constraints: 20659 302.37/304.19 c #Conflicts: 332000 | #Constraints: 21659 302.37/304.19 c #Conflicts: 333000 | #Constraints: 22659 302.37/304.19 c INPROCESSING 302.37/304.19 c GARBAGE COLLECT 302.37/304.19 c rational objective 0 317.88/319.77 c #Conflicts: 334000 | #Constraints: 12246 317.88/319.77 c #Conflicts: 335000 | #Constraints: 13248 317.88/319.77 c #Conflicts: 336000 | #Constraints: 14248 317.88/319.77 c #Conflicts: 337000 | #Constraints: 15248 317.88/319.77 c #Conflicts: 338000 | #Constraints: 16250 317.88/319.77 c #Conflicts: 339000 | #Constraints: 17250 317.88/319.77 c #Conflicts: 340000 | #Constraints: 18251 317.88/319.77 c #Conflicts: 341000 | #Constraints: 19251 317.88/319.77 c #Conflicts: 342000 | #Constraints: 20253 317.88/319.77 c #Conflicts: 343000 | #Constraints: 21255 317.88/319.77 c #Conflicts: 344000 | #Constraints: 22257 317.88/319.77 c #Conflicts: 345000 | #Constraints: 23257 317.88/319.77 c INPROCESSING 317.88/319.77 c GARBAGE COLLECT 317.88/319.77 c rational objective 0 333.82/335.73 c #Conflicts: 346000 | #Constraints: 12648 333.82/335.73 c #Conflicts: 347000 | #Constraints: 13649 333.82/335.73 c #Conflicts: 348000 | #Constraints: 14650 333.82/335.73 c #Conflicts: 349000 | #Constraints: 15650 333.82/335.73 c #Conflicts: 350000 | #Constraints: 16651 333.82/335.73 c #Conflicts: 351000 | #Constraints: 17652 333.82/335.73 c #Conflicts: 352000 | #Constraints: 18652 333.82/335.73 c #Conflicts: 353000 | #Constraints: 19652 333.82/335.73 c #Conflicts: 354000 | #Constraints: 20652 333.82/335.73 c #Conflicts: 355000 | #Constraints: 21654 333.82/335.73 c #Conflicts: 356000 | #Constraints: 22654 333.82/335.73 c #Conflicts: 357000 | #Constraints: 23655 333.82/335.73 c INPROCESSING 333.82/335.73 c GARBAGE COLLECT 333.82/335.73 c rational objective 0 350.34/352.30 c #Conflicts: 358000 | #Constraints: 12848 350.34/352.30 c #Conflicts: 359000 | #Constraints: 13848 350.34/352.30 c #Conflicts: 360000 | #Constraints: 14848 350.34/352.30 c #Conflicts: 361000 | #Constraints: 15848 350.34/352.30 c #Conflicts: 362000 | #Constraints: 16850 350.34/352.30 c #Conflicts: 363000 | #Constraints: 17850 350.34/352.30 c #Conflicts: 364000 | #Constraints: 18852 350.34/352.30 c #Conflicts: 365000 | #Constraints: 19852 350.34/352.30 c #Conflicts: 366000 | #Constraints: 20852 350.34/352.30 c #Conflicts: 367000 | #Constraints: 21853 350.34/352.30 c #Conflicts: 368000 | #Constraints: 22855 350.34/352.30 c #Conflicts: 369000 | #Constraints: 23856 350.34/352.30 c INPROCESSING 350.34/352.30 c GARBAGE COLLECT 350.34/352.30 c rational objective 0 367.66/369.74 c #Conflicts: 370000 | #Constraints: 12845 367.66/369.74 c #Conflicts: 371000 | #Constraints: 13847 367.66/369.74 c #Conflicts: 372000 | #Constraints: 14848 367.66/369.74 c #Conflicts: 373000 | #Constraints: 15851 367.66/369.74 c #Conflicts: 374000 | #Constraints: 16851 367.66/369.74 c #Conflicts: 375000 | #Constraints: 17852 367.66/369.74 c #Conflicts: 376000 | #Constraints: 18852 367.66/369.74 c #Conflicts: 377000 | #Constraints: 19852 367.66/369.74 c #Conflicts: 378000 | #Constraints: 20852 367.66/369.74 c #Conflicts: 379000 | #Constraints: 21852 367.66/369.74 c #Conflicts: 380000 | #Constraints: 22854 367.66/369.74 c #Conflicts: 381000 | #Constraints: 23859 367.66/369.74 c INPROCESSING 367.66/369.74 c GARBAGE COLLECT 367.66/369.74 c rational objective 0 385.09/387.26 c #Conflicts: 382000 | #Constraints: 12645 385.09/387.26 c #Conflicts: 383000 | #Constraints: 13645 385.09/387.26 c #Conflicts: 384000 | #Constraints: 14647 385.09/387.26 c #Conflicts: 385000 | #Constraints: 15647 385.09/387.26 c #Conflicts: 386000 | #Constraints: 16647 385.09/387.26 c #Conflicts: 387000 | #Constraints: 17647 385.09/387.26 c #Conflicts: 388000 | #Constraints: 18647 385.09/387.26 c #Conflicts: 389000 | #Constraints: 19647 385.09/387.26 c #Conflicts: 390000 | #Constraints: 20649 385.09/387.26 c #Conflicts: 391000 | #Constraints: 21650 385.09/387.26 c #Conflicts: 392000 | #Constraints: 22653 385.09/387.26 c #Conflicts: 393000 | #Constraints: 23654 385.09/387.26 c #Conflicts: 394000 | #Constraints: 24654 385.09/387.26 c INPROCESSING 385.09/387.26 c GARBAGE COLLECT 385.09/387.26 c rational objective 0 403.10/405.39 c #Conflicts: 395000 | #Constraints: 13246 403.10/405.39 c #Conflicts: 396000 | #Constraints: 14246 403.10/405.39 c #Conflicts: 397000 | #Constraints: 15247 403.10/405.39 c #Conflicts: 398000 | #Constraints: 16247 403.10/405.39 c #Conflicts: 399000 | #Constraints: 17247 403.10/405.39 c #Conflicts: 400000 | #Constraints: 18247 403.10/405.39 c #Conflicts: 401000 | #Constraints: 19247 403.10/405.39 c #Conflicts: 402000 | #Constraints: 20247 403.10/405.39 c #Conflicts: 403000 | #Constraints: 21247 403.10/405.39 c #Conflicts: 404000 | #Constraints: 22249 403.10/405.39 c #Conflicts: 405000 | #Constraints: 23250 403.10/405.39 c #Conflicts: 406000 | #Constraints: 24251 403.10/405.39 c #Conflicts: 407000 | #Constraints: 25252 403.10/405.39 c INPROCESSING 403.10/405.39 c GARBAGE COLLECT 403.10/405.39 c rational objective 0 421.43/423.79 c #Conflicts: 408000 | #Constraints: 13642 421.43/423.79 c #Conflicts: 409000 | #Constraints: 14643 421.43/423.79 c #Conflicts: 410000 | #Constraints: 15646 421.43/423.79 c #Conflicts: 411000 | #Constraints: 16646 421.43/423.79 c #Conflicts: 412000 | #Constraints: 17646 421.43/423.79 c #Conflicts: 413000 | #Constraints: 18646 421.43/423.79 c #Conflicts: 414000 | #Constraints: 19649 421.43/423.79 c #Conflicts: 415000 | #Constraints: 20650 421.43/423.79 c #Conflicts: 416000 | #Constraints: 21650 421.43/423.79 c #Conflicts: 417000 | #Constraints: 22650 421.43/423.79 c #Conflicts: 418000 | #Constraints: 23650 421.43/423.79 c #Conflicts: 419000 | #Constraints: 24650 421.43/423.79 c #Conflicts: 420000 | #Constraints: 25650 421.43/423.79 c INPROCESSING 421.43/423.79 c GARBAGE COLLECT 421.43/423.79 c rational objective 0 442.33/444.75 c #Conflicts: 421000 | #Constraints: 13846 442.33/444.75 c #Conflicts: 422000 | #Constraints: 14846 442.33/444.75 c #Conflicts: 423000 | #Constraints: 15847 442.33/444.75 c #Conflicts: 424000 | #Constraints: 16847 442.33/444.75 c #Conflicts: 425000 | #Constraints: 17848 442.33/444.75 c #Conflicts: 426000 | #Constraints: 18849 442.33/444.75 c #Conflicts: 427000 | #Constraints: 19849 442.33/444.75 c #Conflicts: 428000 | #Constraints: 20849 442.33/444.75 c #Conflicts: 429000 | #Constraints: 21850 442.33/444.75 c #Conflicts: 430000 | #Constraints: 22850 442.33/444.75 c #Conflicts: 431000 | #Constraints: 23850 442.33/444.75 c #Conflicts: 432000 | #Constraints: 24850 442.33/444.75 c #Conflicts: 433000 | #Constraints: 25850 442.33/444.75 c INPROCESSING 442.33/444.75 c GARBAGE COLLECT 442.33/444.75 c rational objective 0 464.23/466.77 c #Conflicts: 434000 | #Constraints: 13843 464.23/466.77 c #Conflicts: 435000 | #Constraints: 14843 464.23/466.77 c #Conflicts: 436000 | #Constraints: 15843 464.23/466.77 c #Conflicts: 437000 | #Constraints: 16843 464.23/466.77 c #Conflicts: 438000 | #Constraints: 17844 464.23/466.77 c #Conflicts: 439000 | #Constraints: 18846 464.23/466.77 c #Conflicts: 440000 | #Constraints: 19847 464.23/466.77 c #Conflicts: 441000 | #Constraints: 20848 464.23/466.77 c #Conflicts: 442000 | #Constraints: 21848 464.23/466.77 c #Conflicts: 443000 | #Constraints: 22848 464.23/466.77 c #Conflicts: 444000 | #Constraints: 23848 464.23/466.77 c #Conflicts: 445000 | #Constraints: 24848 464.23/466.77 c #Conflicts: 446000 | #Constraints: 25848 464.23/466.77 c INPROCESSING 464.23/466.77 c GARBAGE COLLECT 464.23/466.77 c rational objective 0 489.03/491.65 c #Conflicts: 447000 | #Constraints: 13644 489.03/491.65 c #Conflicts: 448000 | #Constraints: 14644 489.03/491.65 c #Conflicts: 449000 | #Constraints: 15645 489.03/491.65 c #Conflicts: 450000 | #Constraints: 16645 489.03/491.65 c #Conflicts: 451000 | #Constraints: 17645 489.03/491.65 c #Conflicts: 452000 | #Constraints: 18646 489.03/491.65 c #Conflicts: 453000 | #Constraints: 19648 489.03/491.65 c #Conflicts: 454000 | #Constraints: 20649 489.03/491.65 c #Conflicts: 455000 | #Constraints: 21649 489.03/491.65 c #Conflicts: 456000 | #Constraints: 22649 489.03/491.65 c #Conflicts: 457000 | #Constraints: 23649 489.03/491.65 c #Conflicts: 458000 | #Constraints: 24650 489.03/491.65 c #Conflicts: 459000 | #Constraints: 25651 489.03/491.65 c #Conflicts: 460000 | #Constraints: 26651 489.03/491.65 c INPROCESSING 489.03/491.65 c GARBAGE COLLECT 489.03/491.65 c rational objective 0 513.72/516.49 c #Conflicts: 461000 | #Constraints: 14243 513.72/516.49 c #Conflicts: 462000 | #Constraints: 15243 513.72/516.49 c #Conflicts: 463000 | #Constraints: 16246 513.72/516.49 c #Conflicts: 464000 | #Constraints: 17246 513.72/516.49 c #Conflicts: 465000 | #Constraints: 18247 513.72/516.49 c #Conflicts: 466000 | #Constraints: 19247 513.72/516.49 c #Conflicts: 467000 | #Constraints: 20248 513.72/516.49 c #Conflicts: 468000 | #Constraints: 21249 513.72/516.49 c #Conflicts: 469000 | #Constraints: 22249 513.72/516.49 c #Conflicts: 470000 | #Constraints: 23249 513.72/516.49 c #Conflicts: 471000 | #Constraints: 24251 513.72/516.49 c #Conflicts: 472000 | #Constraints: 25251 513.72/516.49 c #Conflicts: 473000 | #Constraints: 26251 513.72/516.49 c #Conflicts: 474000 | #Constraints: 27253 513.72/516.49 c INPROCESSING 513.72/516.49 c GARBAGE COLLECT 513.72/516.49 c rational objective 0 538.11/540.92 c #Conflicts: 475000 | #Constraints: 14646 538.11/540.92 c #Conflicts: 476000 | #Constraints: 15647 538.11/540.92 c #Conflicts: 477000 | #Constraints: 16648 538.11/540.92 c #Conflicts: 478000 | #Constraints: 17649 538.11/540.92 c #Conflicts: 479000 | #Constraints: 18649 538.11/540.92 c #Conflicts: 480000 | #Constraints: 19650 538.11/540.92 c #Conflicts: 481000 | #Constraints: 20650 538.11/540.92 c #Conflicts: 482000 | #Constraints: 21651 538.11/540.92 c #Conflicts: 483000 | #Constraints: 22652 538.11/540.92 c #Conflicts: 484000 | #Constraints: 23652 538.11/540.92 c #Conflicts: 485000 | #Constraints: 24652 538.11/540.92 c #Conflicts: 486000 | #Constraints: 25653 538.11/540.92 c #Conflicts: 487000 | #Constraints: 26654 538.11/540.92 c #Conflicts: 488000 | #Constraints: 27654 538.11/540.92 c INPROCESSING 538.11/540.92 c GARBAGE COLLECT 538.11/540.92 c rational objective 0 564.58/567.51 c #Conflicts: 489000 | #Constraints: 14849 564.58/567.51 c #Conflicts: 490000 | #Constraints: 15849 564.58/567.51 c #Conflicts: 491000 | #Constraints: 16849 564.58/567.51 c #Conflicts: 492000 | #Constraints: 17851 564.58/567.51 c #Conflicts: 493000 | #Constraints: 18851 564.58/567.51 c #Conflicts: 494000 | #Constraints: 19851 564.58/567.51 c #Conflicts: 495000 | #Constraints: 20852 564.58/567.51 c #Conflicts: 496000 | #Constraints: 21852 564.58/567.51 c #Conflicts: 497000 | #Constraints: 22853 564.58/567.51 c #Conflicts: 498000 | #Constraints: 23854 564.58/567.51 c #Conflicts: 499000 | #Constraints: 24855 564.58/567.51 c #Conflicts: 500000 | #Constraints: 25857 564.58/567.51 c #Conflicts: 501000 | #Constraints: 26857 564.58/567.51 c #Conflicts: 502000 | #Constraints: 27857 564.58/567.51 c INPROCESSING 564.58/567.51 c GARBAGE COLLECT 564.58/567.51 c rational objective 0 592.36/595.43 c #Conflicts: 503000 | #Constraints: 14846 592.36/595.43 c #Conflicts: 504000 | #Constraints: 15847 592.36/595.43 c #Conflicts: 505000 | #Constraints: 16847 592.36/595.43 c #Conflicts: 506000 | #Constraints: 17848 592.36/595.43 c #Conflicts: 507000 | #Constraints: 18848 592.36/595.43 c #Conflicts: 508000 | #Constraints: 19850 592.36/595.43 c #Conflicts: 509000 | #Constraints: 20850 592.36/595.43 c #Conflicts: 510000 | #Constraints: 21851 592.36/595.43 c #Conflicts: 511000 | #Constraints: 22851 592.36/595.43 c #Conflicts: 512000 | #Constraints: 23851 592.36/595.43 c #Conflicts: 513000 | #Constraints: 24852 592.36/595.43 c #Conflicts: 514000 | #Constraints: 25853 592.36/595.43 c #Conflicts: 515000 | #Constraints: 26853 592.36/595.43 c #Conflicts: 516000 | #Constraints: 27853 592.36/595.43 c INPROCESSING 592.36/595.43 c GARBAGE COLLECT 592.36/595.43 c rational objective 0 618.14/621.33 c #Conflicts: 517000 | #Constraints: 14642 618.14/621.33 c #Conflicts: 518000 | #Constraints: 15643 618.14/621.33 c #Conflicts: 519000 | #Constraints: 16644 618.14/621.33 c #Conflicts: 520000 | #Constraints: 17644 618.14/621.33 c #Conflicts: 521000 | #Constraints: 18644 618.14/621.33 c #Conflicts: 522000 | #Constraints: 19644 618.14/621.33 c #Conflicts: 523000 | #Constraints: 20644 618.14/621.33 c #Conflicts: 524000 | #Constraints: 21644 618.14/621.33 c #Conflicts: 525000 | #Constraints: 22644 618.14/621.33 c #Conflicts: 526000 | #Constraints: 23645 618.14/621.33 c #Conflicts: 527000 | #Constraints: 24645 618.14/621.33 c #Conflicts: 528000 | #Constraints: 25646 618.14/621.33 c #Conflicts: 529000 | #Constraints: 26648 618.14/621.33 c #Conflicts: 530000 | #Constraints: 27648 618.14/621.33 c #Conflicts: 531000 | #Constraints: 28648 618.14/621.33 c INPROCESSING 618.14/621.33 c GARBAGE COLLECT 618.14/621.33 c rational objective 0 645.62/648.91 c #Conflicts: 532000 | #Constraints: 15243 645.62/648.91 c #Conflicts: 533000 | #Constraints: 16244 645.62/648.91 c #Conflicts: 534000 | #Constraints: 17244 645.62/648.91 c #Conflicts: 535000 | #Constraints: 18244 645.62/648.91 c #Conflicts: 536000 | #Constraints: 19244 645.62/648.91 c #Conflicts: 537000 | #Constraints: 20246 645.62/648.91 c #Conflicts: 538000 | #Constraints: 21248 645.62/648.91 c #Conflicts: 539000 | #Constraints: 22249 645.62/648.91 c #Conflicts: 540000 | #Constraints: 23249 645.62/648.91 c #Conflicts: 541000 | #Constraints: 24249 645.62/648.91 c #Conflicts: 542000 | #Constraints: 25250 645.62/648.91 c #Conflicts: 543000 | #Constraints: 26251 645.62/648.91 c #Conflicts: 544000 | #Constraints: 27252 645.62/648.91 c #Conflicts: 545000 | #Constraints: 28252 645.62/648.91 c #Conflicts: 546000 | #Constraints: 29252 645.62/648.91 c INPROCESSING 645.62/648.91 c GARBAGE COLLECT 645.62/648.91 c rational objective 0 675.20/678.66 c #Conflicts: 547000 | #Constraints: 15645 675.20/678.66 c #Conflicts: 548000 | #Constraints: 16645 675.20/678.66 c #Conflicts: 549000 | #Constraints: 17645 675.20/678.66 c #Conflicts: 550000 | #Constraints: 18645 675.20/678.66 c #Conflicts: 551000 | #Constraints: 19646 675.20/678.66 c #Conflicts: 552000 | #Constraints: 20649 675.20/678.66 c #Conflicts: 553000 | #Constraints: 21649 675.20/678.66 c #Conflicts: 554000 | #Constraints: 22649 675.20/678.66 c #Conflicts: 555000 | #Constraints: 23649 675.20/678.66 c #Conflicts: 556000 | #Constraints: 24649 675.20/678.66 c #Conflicts: 557000 | #Constraints: 25650 675.20/678.66 c #Conflicts: 558000 | #Constraints: 26652 675.20/678.66 c #Conflicts: 559000 | #Constraints: 27652 675.20/678.66 c #Conflicts: 560000 | #Constraints: 28652 675.20/678.66 c #Conflicts: 561000 | #Constraints: 29653 675.20/678.66 c INPROCESSING 675.20/678.66 c GARBAGE COLLECT 675.20/678.66 c rational objective 0 703.10/706.67 c #Conflicts: 562000 | #Constraints: 15843 703.10/706.67 c #Conflicts: 563000 | #Constraints: 16844 703.10/706.67 c #Conflicts: 564000 | #Constraints: 17844 703.10/706.67 c #Conflicts: 565000 | #Constraints: 18844 703.10/706.67 c #Conflicts: 566000 | #Constraints: 19845 703.10/706.67 c #Conflicts: 567000 | #Constraints: 20845 703.10/706.67 c #Conflicts: 568000 | #Constraints: 21845 703.10/706.67 c #Conflicts: 569000 | #Constraints: 22845 703.10/706.67 c #Conflicts: 570000 | #Constraints: 23845 703.10/706.67 c #Conflicts: 571000 | #Constraints: 24849 703.10/706.67 c #Conflicts: 572000 | #Constraints: 25849 703.10/706.67 c #Conflicts: 573000 | #Constraints: 26850 703.10/706.67 c #Conflicts: 574000 | #Constraints: 27851 703.10/706.67 c #Conflicts: 575000 | #Constraints: 28851 703.10/706.67 c #Conflicts: 576000 | #Constraints: 29851 703.10/706.67 c INPROCESSING 703.10/706.67 c GARBAGE COLLECT 703.10/706.67 c rational objective 0 731.49/735.16 c #Conflicts: 577000 | #Constraints: 15845 731.49/735.16 c #Conflicts: 578000 | #Constraints: 16846 731.49/735.16 c #Conflicts: 579000 | #Constraints: 17846 731.49/735.16 c #Conflicts: 580000 | #Constraints: 18846 731.49/735.16 c #Conflicts: 581000 | #Constraints: 19846 731.49/735.16 c #Conflicts: 582000 | #Constraints: 20848 731.49/735.16 c #Conflicts: 583000 | #Constraints: 21849 731.49/735.16 c #Conflicts: 584000 | #Constraints: 22851 731.49/735.16 c #Conflicts: 585000 | #Constraints: 23854 731.49/735.16 c #Conflicts: 586000 | #Constraints: 24855 731.49/735.16 c #Conflicts: 587000 | #Constraints: 25855 731.49/735.16 c #Conflicts: 588000 | #Constraints: 26859 731.49/735.16 c #Conflicts: 589000 | #Constraints: 27859 731.49/735.16 c #Conflicts: 590000 | #Constraints: 28860 731.49/735.16 c #Conflicts: 591000 | #Constraints: 29861 731.49/735.16 c INPROCESSING 731.49/735.16 c GARBAGE COLLECT 731.49/735.16 c rational objective 0 762.47/766.21 c #Conflicts: 592000 | #Constraints: 15647 762.47/766.21 c #Conflicts: 593000 | #Constraints: 16647 762.47/766.21 c #Conflicts: 594000 | #Constraints: 17647 762.47/766.21 c #Conflicts: 595000 | #Constraints: 18647 762.47/766.21 c #Conflicts: 596000 | #Constraints: 19647 762.47/766.21 c #Conflicts: 597000 | #Constraints: 20650 762.47/766.21 c #Conflicts: 598000 | #Constraints: 21650 762.47/766.21 c #Conflicts: 599000 | #Constraints: 22650 762.47/766.21 c #Conflicts: 600000 | #Constraints: 23650 762.47/766.21 c #Conflicts: 601000 | #Constraints: 24650 762.47/766.21 c #Conflicts: 602000 | #Constraints: 25650 762.47/766.21 c #Conflicts: 603000 | #Constraints: 26650 762.47/766.21 c #Conflicts: 604000 | #Constraints: 27650 762.47/766.21 c #Conflicts: 605000 | #Constraints: 28650 762.47/766.21 c #Conflicts: 606000 | #Constraints: 29651 762.47/766.21 c #Conflicts: 607000 | #Constraints: 30652 762.47/766.21 c INPROCESSING 762.47/766.21 c GARBAGE COLLECT 762.47/766.21 c rational objective 0 795.25/799.19 c #Conflicts: 608000 | #Constraints: 16245 795.25/799.19 c #Conflicts: 609000 | #Constraints: 17245 795.25/799.19 c #Conflicts: 610000 | #Constraints: 18245 795.25/799.19 c #Conflicts: 611000 | #Constraints: 19246 795.25/799.19 c #Conflicts: 612000 | #Constraints: 20246 795.25/799.19 c #Conflicts: 613000 | #Constraints: 21246 795.25/799.19 c #Conflicts: 614000 | #Constraints: 22247 795.25/799.19 c #Conflicts: 615000 | #Constraints: 23248 795.25/799.19 c #Conflicts: 616000 | #Constraints: 24248 795.25/799.19 c #Conflicts: 617000 | #Constraints: 25248 795.25/799.19 c #Conflicts: 618000 | #Constraints: 26249 795.25/799.19 c #Conflicts: 619000 | #Constraints: 27250 795.25/799.19 c #Conflicts: 620000 | #Constraints: 28251 795.25/799.19 c #Conflicts: 621000 | #Constraints: 29252 795.25/799.19 c #Conflicts: 622000 | #Constraints: 30252 795.25/799.19 c #Conflicts: 623000 | #Constraints: 31252 795.25/799.19 c INPROCESSING 795.25/799.19 c GARBAGE COLLECT 795.25/799.19 c rational objective 0 827.53/831.58 c #Conflicts: 624000 | #Constraints: 16644 827.53/831.58 c #Conflicts: 625000 | #Constraints: 17645 827.53/831.58 c #Conflicts: 626000 | #Constraints: 18646 827.53/831.58 c #Conflicts: 627000 | #Constraints: 19646 827.53/831.58 c #Conflicts: 628000 | #Constraints: 20651 827.53/831.58 c #Conflicts: 629000 | #Constraints: 21651 827.53/831.58 c #Conflicts: 630000 | #Constraints: 22651 827.53/831.58 c #Conflicts: 631000 | #Constraints: 23651 827.53/831.58 c #Conflicts: 632000 | #Constraints: 24652 827.53/831.58 c #Conflicts: 633000 | #Constraints: 25655 827.53/831.58 c #Conflicts: 634000 | #Constraints: 26657 827.53/831.58 c #Conflicts: 635000 | #Constraints: 27657 827.53/831.58 c #Conflicts: 636000 | #Constraints: 28657 827.53/831.58 c #Conflicts: 637000 | #Constraints: 29657 827.53/831.58 c #Conflicts: 638000 | #Constraints: 30657 827.53/831.58 c #Conflicts: 639000 | #Constraints: 31657 827.53/831.58 c INPROCESSING 827.53/831.58 c GARBAGE COLLECT 827.53/831.58 c rational objective 0 860.90/865.01 c #Conflicts: 640000 | #Constraints: 16844 860.90/865.01 c #Conflicts: 641000 | #Constraints: 17845 860.90/865.01 c #Conflicts: 642000 | #Constraints: 18845 860.90/865.01 c #Conflicts: 643000 | #Constraints: 19846 860.90/865.01 c #Conflicts: 644000 | #Constraints: 20846 860.90/865.01 c #Conflicts: 645000 | #Constraints: 21846 860.90/865.01 c #Conflicts: 646000 | #Constraints: 22847 860.90/865.01 c #Conflicts: 647000 | #Constraints: 23848 860.90/865.01 c #Conflicts: 648000 | #Constraints: 24849 860.90/865.01 c #Conflicts: 649000 | #Constraints: 25850 860.90/865.01 c #Conflicts: 650000 | #Constraints: 26851 860.90/865.01 c #Conflicts: 651000 | #Constraints: 27852 860.90/865.01 c #Conflicts: 652000 | #Constraints: 28852 860.90/865.01 c #Conflicts: 653000 | #Constraints: 29852 860.90/865.01 c #Conflicts: 654000 | #Constraints: 30852 860.90/865.01 c #Conflicts: 655000 | #Constraints: 31854 860.90/865.01 c INPROCESSING 860.90/865.01 c GARBAGE COLLECT 860.90/865.01 c rational objective 0 894.36/898.65 c #Conflicts: 656000 | #Constraints: 16845 894.36/898.65 c #Conflicts: 657000 | #Constraints: 17846 894.36/898.65 c #Conflicts: 658000 | #Constraints: 18846 894.36/898.65 c #Conflicts: 659000 | #Constraints: 19846 894.36/898.65 c #Conflicts: 660000 | #Constraints: 20848 894.36/898.65 c #Conflicts: 661000 | #Constraints: 21849 894.36/898.65 c #Conflicts: 662000 | #Constraints: 22849 894.36/898.65 c #Conflicts: 663000 | #Constraints: 23849 894.36/898.65 c #Conflicts: 664000 | #Constraints: 24850 894.36/898.65 c #Conflicts: 665000 | #Constraints: 25850 894.36/898.65 c #Conflicts: 666000 | #Constraints: 26851 894.36/898.65 c #Conflicts: 667000 | #Constraints: 27852 894.36/898.65 c #Conflicts: 668000 | #Constraints: 28852 894.36/898.65 c #Conflicts: 669000 | #Constraints: 29852 894.36/898.65 c #Conflicts: 670000 | #Constraints: 30852 894.36/898.65 c #Conflicts: 671000 | #Constraints: 31852 894.36/898.65 c INPROCESSING 894.36/898.65 c GARBAGE COLLECT 894.36/898.65 c rational objective 0 928.44/932.85 c #Conflicts: 672000 | #Constraints: 16643 928.44/932.85 c #Conflicts: 673000 | #Constraints: 17643 928.44/932.85 c #Conflicts: 674000 | #Constraints: 18643 928.44/932.85 c #Conflicts: 675000 | #Constraints: 19643 928.44/932.85 c #Conflicts: 676000 | #Constraints: 20643 928.44/932.85 c #Conflicts: 677000 | #Constraints: 21643 928.44/932.85 c #Conflicts: 678000 | #Constraints: 22645 928.44/932.85 c #Conflicts: 679000 | #Constraints: 23645 928.44/932.85 c #Conflicts: 680000 | #Constraints: 24645 928.44/932.85 c #Conflicts: 681000 | #Constraints: 25645 928.44/932.85 c #Conflicts: 682000 | #Constraints: 26645 928.44/932.85 c #Conflicts: 683000 | #Constraints: 27648 928.44/932.85 c #Conflicts: 684000 | #Constraints: 28648 928.44/932.85 c #Conflicts: 685000 | #Constraints: 29650 928.44/932.85 c #Conflicts: 686000 | #Constraints: 30651 928.44/932.85 c #Conflicts: 687000 | #Constraints: 31651 928.44/932.85 c #Conflicts: 688000 | #Constraints: 32653 928.44/932.85 c INPROCESSING 928.44/932.85 c GARBAGE COLLECT 928.44/932.85 c rational objective 0 963.82/968.31 c #Conflicts: 689000 | #Constraints: 17243 963.82/968.31 c #Conflicts: 690000 | #Constraints: 18243 963.82/968.31 c #Conflicts: 691000 | #Constraints: 19243 963.82/968.31 c #Conflicts: 692000 | #Constraints: 20243 963.82/968.31 c #Conflicts: 693000 | #Constraints: 21245 963.82/968.31 c #Conflicts: 694000 | #Constraints: 22245 963.82/968.31 c #Conflicts: 695000 | #Constraints: 23245 963.82/968.31 c #Conflicts: 696000 | #Constraints: 24245 963.82/968.31 c #Conflicts: 697000 | #Constraints: 25246 963.82/968.31 c #Conflicts: 698000 | #Constraints: 26246 963.82/968.31 c #Conflicts: 699000 | #Constraints: 27247 963.82/968.31 c #Conflicts: 700000 | #Constraints: 28247 963.82/968.31 c #Conflicts: 701000 | #Constraints: 29247 963.82/968.31 c #Conflicts: 702000 | #Constraints: 30247 963.82/968.31 c #Conflicts: 703000 | #Constraints: 31247 963.82/968.31 c #Conflicts: 704000 | #Constraints: 32247 963.82/968.31 c #Conflicts: 705000 | #Constraints: 33247 963.82/968.31 c INPROCESSING 963.82/968.31 c GARBAGE COLLECT 963.82/968.31 c rational objective 0 1002.38/1007.05 c #Conflicts: 706000 | #Constraints: 17643 1002.38/1007.05 c #Conflicts: 707000 | #Constraints: 18645 1002.38/1007.05 c #Conflicts: 708000 | #Constraints: 19646 1002.38/1007.05 c #Conflicts: 709000 | #Constraints: 20647 1002.38/1007.05 c #Conflicts: 710000 | #Constraints: 21647 1002.38/1007.05 c #Conflicts: 711000 | #Constraints: 22649 1002.38/1007.05 c #Conflicts: 712000 | #Constraints: 23649 1002.38/1007.05 c #Conflicts: 713000 | #Constraints: 24650 1002.38/1007.05 c #Conflicts: 714000 | #Constraints: 25650 1002.38/1007.05 c #Conflicts: 715000 | #Constraints: 26650 1002.38/1007.05 c #Conflicts: 716000 | #Constraints: 27651 1002.38/1007.05 c #Conflicts: 717000 | #Constraints: 28651 1002.38/1007.05 c #Conflicts: 718000 | #Constraints: 29651 1002.38/1007.05 c #Conflicts: 719000 | #Constraints: 30651 1002.38/1007.05 c #Conflicts: 720000 | #Constraints: 31651 1002.38/1007.05 c #Conflicts: 721000 | #Constraints: 32653 1002.38/1007.05 c #Conflicts: 722000 | #Constraints: 33653 1002.38/1007.05 c INPROCESSING 1002.38/1007.05 c GARBAGE COLLECT 1002.38/1007.05 c rational objective 0 1043.82/1048.70 c #Conflicts: 723000 | #Constraints: 17843 1043.82/1048.70 c #Conflicts: 724000 | #Constraints: 18843 1043.82/1048.70 c #Conflicts: 725000 | #Constraints: 19843 1043.82/1048.70 c #Conflicts: 726000 | #Constraints: 20843 1043.82/1048.70 c #Conflicts: 727000 | #Constraints: 21843 1043.82/1048.70 c #Conflicts: 728000 | #Constraints: 22843 1043.82/1048.70 c #Conflicts: 729000 | #Constraints: 23844 1043.82/1048.70 c #Conflicts: 730000 | #Constraints: 24844 1043.82/1048.70 c #Conflicts: 731000 | #Constraints: 25844 1043.82/1048.70 c #Conflicts: 732000 | #Constraints: 26844 1043.82/1048.70 c #Conflicts: 733000 | #Constraints: 27844 1043.82/1048.70 c #Conflicts: 734000 | #Constraints: 28844 1043.82/1048.70 c #Conflicts: 735000 | #Constraints: 29844 1043.82/1048.70 c #Conflicts: 736000 | #Constraints: 30844 1043.82/1048.70 c #Conflicts: 737000 | #Constraints: 31844 1043.82/1048.70 c #Conflicts: 738000 | #Constraints: 32844 1043.82/1048.70 c #Conflicts: 739000 | #Constraints: 33844 1043.82/1048.70 c INPROCESSING 1043.82/1048.70 c GARBAGE COLLECT 1043.82/1048.70 c rational objective 0 1082.67/1087.66 c #Conflicts: 740000 | #Constraints: 17841 1082.67/1087.66 c #Conflicts: 741000 | #Constraints: 18841 1082.67/1087.66 c #Conflicts: 742000 | #Constraints: 19841 1082.67/1087.66 c #Conflicts: 743000 | #Constraints: 20841 1082.67/1087.66 c #Conflicts: 744000 | #Constraints: 21843 1082.67/1087.66 c #Conflicts: 745000 | #Constraints: 22844 1082.67/1087.66 c #Conflicts: 746000 | #Constraints: 23846 1082.67/1087.66 c #Conflicts: 747000 | #Constraints: 24846 1082.67/1087.66 c #Conflicts: 748000 | #Constraints: 25849 1082.67/1087.66 c #Conflicts: 749000 | #Constraints: 26850 1082.67/1087.66 c #Conflicts: 750000 | #Constraints: 27853 1082.67/1087.66 c #Conflicts: 751000 | #Constraints: 28853 1082.67/1087.66 c #Conflicts: 752000 | #Constraints: 29854 1082.67/1087.66 c #Conflicts: 753000 | #Constraints: 30855 1082.67/1087.66 c #Conflicts: 754000 | #Constraints: 31856 1082.67/1087.66 c #Conflicts: 755000 | #Constraints: 32856 1082.67/1087.66 c #Conflicts: 756000 | #Constraints: 33856 1082.67/1087.66 c INPROCESSING 1082.67/1087.66 c GARBAGE COLLECT 1082.67/1087.66 c rational objective 0 1122.73/1127.85 c #Conflicts: 757000 | #Constraints: 17646 1122.73/1127.85 c #Conflicts: 758000 | #Constraints: 18646 1122.73/1127.85 c #Conflicts: 759000 | #Constraints: 19646 1122.73/1127.85 c #Conflicts: 760000 | #Constraints: 20648 1122.73/1127.85 c #Conflicts: 761000 | #Constraints: 21648 1122.73/1127.85 c #Conflicts: 762000 | #Constraints: 22648 1122.73/1127.85 c #Conflicts: 763000 | #Constraints: 23648 1122.73/1127.85 c #Conflicts: 764000 | #Constraints: 24650 1122.73/1127.85 c #Conflicts: 765000 | #Constraints: 25650 1122.73/1127.85 c #Conflicts: 766000 | #Constraints: 26652 1122.73/1127.85 c #Conflicts: 767000 | #Constraints: 27652 1122.73/1127.85 c #Conflicts: 768000 | #Constraints: 28653 1122.73/1127.85 c #Conflicts: 769000 | #Constraints: 29653 1122.73/1127.85 c #Conflicts: 770000 | #Constraints: 30655 1122.73/1127.85 c #Conflicts: 771000 | #Constraints: 31655 1122.73/1127.85 c #Conflicts: 772000 | #Constraints: 32655 1122.73/1127.85 c #Conflicts: 773000 | #Constraints: 33656 1122.73/1127.85 c #Conflicts: 774000 | #Constraints: 34656 1122.73/1127.85 c INPROCESSING 1122.73/1127.85 c GARBAGE COLLECT 1122.73/1127.85 c rational objective 0 1164.08/1169.34 c #Conflicts: 775000 | #Constraints: 18247 1164.08/1169.34 c #Conflicts: 776000 | #Constraints: 19247 1164.08/1169.34 c #Conflicts: 777000 | #Constraints: 20247 1164.08/1169.34 c #Conflicts: 778000 | #Constraints: 21247 1164.08/1169.34 c #Conflicts: 779000 | #Constraints: 22247 1164.08/1169.34 c #Conflicts: 780000 | #Constraints: 23247 1164.08/1169.34 c #Conflicts: 781000 | #Constraints: 24247 1164.08/1169.34 c #Conflicts: 782000 | #Constraints: 25247 1164.08/1169.34 c #Conflicts: 783000 | #Constraints: 26249 1164.08/1169.34 c #Conflicts: 784000 | #Constraints: 27249 1164.08/1169.34 c #Conflicts: 785000 | #Constraints: 28249 1164.08/1169.34 c #Conflicts: 786000 | #Constraints: 29249 1164.08/1169.34 c #Conflicts: 787000 | #Constraints: 30249 1164.08/1169.34 c #Conflicts: 788000 | #Constraints: 31249 1164.08/1169.34 c #Conflicts: 789000 | #Constraints: 32252 1164.08/1169.34 c #Conflicts: 790000 | #Constraints: 33254 1164.08/1169.34 c #Conflicts: 791000 | #Constraints: 34255 1164.08/1169.34 c #Conflicts: 792000 | #Constraints: 35256 1164.08/1169.34 c INPROCESSING 1164.08/1169.34 c GARBAGE COLLECT 1164.08/1169.34 c rational objective 0 1205.03/1210.49 c #Conflicts: 793000 | #Constraints: 18643 1205.03/1210.49 c #Conflicts: 794000 | #Constraints: 19643 1205.03/1210.49 c #Conflicts: 795000 | #Constraints: 20643 1205.03/1210.49 c #Conflicts: 796000 | #Constraints: 21643 1205.03/1210.49 c #Conflicts: 797000 | #Constraints: 22644 1205.03/1210.49 c #Conflicts: 798000 | #Constraints: 23645 1205.03/1210.49 c #Conflicts: 799000 | #Constraints: 24645 1205.03/1210.49 c #Conflicts: 800000 | #Constraints: 25646 1205.03/1210.49 c #Conflicts: 801000 | #Constraints: 26648 1205.03/1210.49 c #Conflicts: 802000 | #Constraints: 27648 1205.03/1210.49 c #Conflicts: 803000 | #Constraints: 28649 1205.03/1210.49 c #Conflicts: 804000 | #Constraints: 29649 1205.03/1210.49 c #Conflicts: 805000 | #Constraints: 30650 1205.03/1210.49 c #Conflicts: 806000 | #Constraints: 31650 1205.03/1210.49 c #Conflicts: 807000 | #Constraints: 32653 1205.03/1210.49 c #Conflicts: 808000 | #Constraints: 33654 1205.03/1210.49 c #Conflicts: 809000 | #Constraints: 34654 1205.03/1210.49 c #Conflicts: 810000 | #Constraints: 35654 1205.03/1210.49 c INPROCESSING 1205.03/1210.49 c GARBAGE COLLECT 1205.03/1210.49 c rational objective 0 1248.07/1253.66 c #Conflicts: 811000 | #Constraints: 18845 1248.07/1253.66 c #Conflicts: 812000 | #Constraints: 19845 1248.07/1253.66 c #Conflicts: 813000 | #Constraints: 20845 1248.07/1253.66 c #Conflicts: 814000 | #Constraints: 21849 1248.07/1253.66 c #Conflicts: 815000 | #Constraints: 22849 1248.07/1253.66 c #Conflicts: 816000 | #Constraints: 23849 1248.07/1253.66 c #Conflicts: 817000 | #Constraints: 24849 1248.07/1253.66 c #Conflicts: 818000 | #Constraints: 25850 1248.07/1253.66 c #Conflicts: 819000 | #Constraints: 26850 1248.07/1253.66 c #Conflicts: 820000 | #Constraints: 27850 1248.07/1253.66 c #Conflicts: 821000 | #Constraints: 28850 1248.07/1253.66 c #Conflicts: 822000 | #Constraints: 29850 1248.07/1253.66 c #Conflicts: 823000 | #Constraints: 30850 1248.07/1253.66 c #Conflicts: 824000 | #Constraints: 31850 1248.07/1253.66 c #Conflicts: 825000 | #Constraints: 32850 1248.07/1253.66 c #Conflicts: 826000 | #Constraints: 33850 1248.07/1253.66 c #Conflicts: 827000 | #Constraints: 34850 1248.07/1253.66 c #Conflicts: 828000 | #Constraints: 35851 1248.07/1253.66 c INPROCESSING 1248.07/1253.66 c GARBAGE COLLECT 1248.07/1253.66 c rational objective 0 1295.90/1301.68 c #Conflicts: 829000 | #Constraints: 18845 1295.90/1301.68 c #Conflicts: 830000 | #Constraints: 19845 1295.90/1301.68 c #Conflicts: 831000 | #Constraints: 20848 1295.90/1301.68 c #Conflicts: 832000 | #Constraints: 21848 1295.90/1301.68 c #Conflicts: 833000 | #Constraints: 22848 1295.90/1301.68 c #Conflicts: 834000 | #Constraints: 23848 1295.90/1301.68 c #Conflicts: 835000 | #Constraints: 24848 1295.90/1301.68 c #Conflicts: 836000 | #Constraints: 25848 1295.90/1301.68 c #Conflicts: 837000 | #Constraints: 26849 1295.90/1301.68 c #Conflicts: 838000 | #Constraints: 27849 1295.90/1301.68 c #Conflicts: 839000 | #Constraints: 28850 1295.90/1301.68 c #Conflicts: 840000 | #Constraints: 29850 1295.90/1301.68 c #Conflicts: 841000 | #Constraints: 30850 1295.90/1301.68 c #Conflicts: 842000 | #Constraints: 31850 1295.90/1301.68 c #Conflicts: 843000 | #Constraints: 32850 1295.90/1301.68 c #Conflicts: 844000 | #Constraints: 33850 1295.90/1301.68 c #Conflicts: 845000 | #Constraints: 34850 1295.90/1301.68 c #Conflicts: 846000 | #Constraints: 35850 1295.90/1301.68 c INPROCESSING 1295.90/1301.68 c GARBAGE COLLECT 1295.90/1301.68 c rational objective 0 1342.83/1348.79 c #Conflicts: 847000 | #Constraints: 18640 1342.83/1348.79 c #Conflicts: 848000 | #Constraints: 19640 1342.83/1348.79 c #Conflicts: 849000 | #Constraints: 20640 1342.83/1348.79 c #Conflicts: 850000 | #Constraints: 21640 1342.83/1348.79 c #Conflicts: 851000 | #Constraints: 22640 1342.83/1348.79 c #Conflicts: 852000 | #Constraints: 23640 1342.83/1348.79 c #Conflicts: 853000 | #Constraints: 24640 1342.83/1348.79 c #Conflicts: 854000 | #Constraints: 25641 1342.83/1348.79 c #Conflicts: 855000 | #Constraints: 26642 1342.83/1348.79 c #Conflicts: 856000 | #Constraints: 27642 1342.83/1348.79 c #Conflicts: 857000 | #Constraints: 28644 1342.83/1348.79 c #Conflicts: 858000 | #Constraints: 29644 1342.83/1348.79 c #Conflicts: 859000 | #Constraints: 30644 1342.83/1348.79 c #Conflicts: 860000 | #Constraints: 31644 1342.83/1348.79 c #Conflicts: 861000 | #Constraints: 32644 1342.83/1348.79 c #Conflicts: 862000 | #Constraints: 33644 1342.83/1348.79 c #Conflicts: 863000 | #Constraints: 34644 1342.83/1348.79 c #Conflicts: 864000 | #Constraints: 35644 1342.83/1348.79 c #Conflicts: 865000 | #Constraints: 36644 1342.83/1348.79 c INPROCESSING 1342.83/1348.79 c GARBAGE COLLECT 1342.83/1348.79 c rational objective 0 1391.06/1397.13 c #Conflicts: 866000 | #Constraints: 19235 1391.06/1397.13 c #Conflicts: 867000 | #Constraints: 20236 1391.06/1397.13 c #Conflicts: 868000 | #Constraints: 21236 1391.06/1397.13 c #Conflicts: 869000 | #Constraints: 22236 1391.06/1397.13 c #Conflicts: 870000 | #Constraints: 23237 1391.06/1397.13 c #Conflicts: 871000 | #Constraints: 24238 1391.06/1397.13 c #Conflicts: 872000 | #Constraints: 25238 1391.06/1397.13 c #Conflicts: 873000 | #Constraints: 26238 1391.06/1397.13 c #Conflicts: 874000 | #Constraints: 27238 1391.06/1397.13 c #Conflicts: 875000 | #Constraints: 28240 1391.06/1397.13 c #Conflicts: 876000 | #Constraints: 29240 1391.06/1397.13 c #Conflicts: 877000 | #Constraints: 30241 1391.06/1397.13 c #Conflicts: 878000 | #Constraints: 31241 1391.06/1397.13 c #Conflicts: 879000 | #Constraints: 32241 1391.06/1397.13 c #Conflicts: 880000 | #Constraints: 33242 1391.06/1397.13 c #Conflicts: 881000 | #Constraints: 34244 1391.06/1397.13 c #Conflicts: 882000 | #Constraints: 35247 1391.06/1397.13 c #Conflicts: 883000 | #Constraints: 36248 1391.06/1397.13 c #Conflicts: 884000 | #Constraints: 37250 1391.06/1397.13 c INPROCESSING 1391.06/1397.13 c GARBAGE COLLECT 1391.06/1397.13 c rational objective 0 1440.27/1446.52 c #Conflicts: 885000 | #Constraints: 19642 1440.27/1446.52 c #Conflicts: 886000 | #Constraints: 20642 1440.27/1446.52 c #Conflicts: 887000 | #Constraints: 21642 1440.27/1446.52 c #Conflicts: 888000 | #Constraints: 22642 1440.27/1446.52 c #Conflicts: 889000 | #Constraints: 23642 1440.27/1446.52 c #Conflicts: 890000 | #Constraints: 24643 1440.27/1446.52 c #Conflicts: 891000 | #Constraints: 25644 1440.27/1446.52 c #Conflicts: 892000 | #Constraints: 26644 1440.27/1446.52 c #Conflicts: 893000 | #Constraints: 27646 1440.27/1446.52 c #Conflicts: 894000 | #Constraints: 28647 1440.27/1446.52 c #Conflicts: 895000 | #Constraints: 29647 1440.27/1446.52 c #Conflicts: 896000 | #Constraints: 30647 1440.27/1446.52 c #Conflicts: 897000 | #Constraints: 31648 1440.27/1446.52 c #Conflicts: 898000 | #Constraints: 32648 1440.27/1446.52 c #Conflicts: 899000 | #Constraints: 33648 1440.27/1446.52 c #Conflicts: 900000 | #Constraints: 34648 1440.27/1446.52 c #Conflicts: 901000 | #Constraints: 35650 1440.27/1446.52 c #Conflicts: 902000 | #Constraints: 36650 1440.27/1446.52 c #Conflicts: 903000 | #Constraints: 37650 1440.27/1446.52 c INPROCESSING 1440.27/1446.52 c GARBAGE COLLECT 1440.27/1446.52 c rational objective 0 1488.20/1494.63 c #Conflicts: 904000 | #Constraints: 19844 1488.20/1494.63 c #Conflicts: 905000 | #Constraints: 20844 1488.20/1494.63 c #Conflicts: 906000 | #Constraints: 21844 1488.20/1494.63 c #Conflicts: 907000 | #Constraints: 22844 1488.20/1494.63 c #Conflicts: 908000 | #Constraints: 23845 1488.20/1494.63 c #Conflicts: 909000 | #Constraints: 24845 1488.20/1494.63 c #Conflicts: 910000 | #Constraints: 25845 1488.20/1494.63 c #Conflicts: 911000 | #Constraints: 26846 1488.20/1494.63 c #Conflicts: 912000 | #Constraints: 27846 1488.20/1494.63 c #Conflicts: 913000 | #Constraints: 28846 1488.20/1494.63 c #Conflicts: 914000 | #Constraints: 29846 1488.20/1494.63 c #Conflicts: 915000 | #Constraints: 30846 1488.20/1494.63 c #Conflicts: 916000 | #Constraints: 31849 1488.20/1494.63 c #Conflicts: 917000 | #Constraints: 32850 1488.20/1494.63 c #Conflicts: 918000 | #Constraints: 33851 1488.20/1494.63 c #Conflicts: 919000 | #Constraints: 34851 1488.20/1494.63 c #Conflicts: 920000 | #Constraints: 35851 1488.20/1494.63 c #Conflicts: 921000 | #Constraints: 36851 1488.20/1494.63 c #Conflicts: 922000 | #Constraints: 37852 1488.20/1494.63 c INPROCESSING 1488.20/1494.63 c GARBAGE COLLECT 1488.20/1494.63 c rational objective 0 1537.42/1544.05 c #Conflicts: 923000 | #Constraints: 19846 1537.42/1544.05 c #Conflicts: 924000 | #Constraints: 20846 1537.42/1544.05 c #Conflicts: 925000 | #Constraints: 21846 1537.42/1544.05 c #Conflicts: 926000 | #Constraints: 22849 1537.42/1544.05 c #Conflicts: 927000 | #Constraints: 23849 1537.42/1544.05 c #Conflicts: 928000 | #Constraints: 24851 1537.42/1544.05 c #Conflicts: 929000 | #Constraints: 25852 1537.42/1544.05 c #Conflicts: 930000 | #Constraints: 26852 1537.42/1544.05 c #Conflicts: 931000 | #Constraints: 27852 1537.42/1544.05 c #Conflicts: 932000 | #Constraints: 28852 1537.42/1544.05 c #Conflicts: 933000 | #Constraints: 29853 1537.42/1544.05 c #Conflicts: 934000 | #Constraints: 30853 1537.42/1544.05 c #Conflicts: 935000 | #Constraints: 31854 1537.42/1544.05 c #Conflicts: 936000 | #Constraints: 32854 1537.42/1544.05 c #Conflicts: 937000 | #Constraints: 33854 1537.42/1544.05 c #Conflicts: 938000 | #Constraints: 34854 1537.42/1544.05 c #Conflicts: 939000 | #Constraints: 35854 1537.42/1544.05 c #Conflicts: 940000 | #Constraints: 36854 1537.42/1544.05 c #Conflicts: 941000 | #Constraints: 37854 1537.42/1544.05 c INPROCESSING 1537.42/1544.05 c GARBAGE COLLECT 1537.42/1544.05 c rational objective 0 1590.63/1597.49 c #Conflicts: 942000 | #Constraints: 19647 1590.63/1597.49 c #Conflicts: 943000 | #Constraints: 20648 1590.63/1597.49 c #Conflicts: 944000 | #Constraints: 21649 1590.63/1597.49 c #Conflicts: 945000 | #Constraints: 22649 1590.63/1597.49 c #Conflicts: 946000 | #Constraints: 23650 1590.63/1597.49 c #Conflicts: 947000 | #Constraints: 24651 1590.63/1597.49 c #Conflicts: 948000 | #Constraints: 25651 1590.63/1597.49 c #Conflicts: 949000 | #Constraints: 26651 1590.63/1597.49 c #Conflicts: 950000 | #Constraints: 27651 1590.63/1597.49 c #Conflicts: 951000 | #Constraints: 28651 1590.63/1597.49 c #Conflicts: 952000 | #Constraints: 29651 1590.63/1597.49 c #Conflicts: 953000 | #Constraints: 30652 1590.63/1597.49 c #Conflicts: 954000 | #Constraints: 31653 1590.63/1597.49 c #Conflicts: 955000 | #Constraints: 32653 1590.63/1597.49 c #Conflicts: 956000 | #Constraints: 33655 1590.63/1597.49 c #Conflicts: 957000 | #Constraints: 34655 1590.63/1597.49 c #Conflicts: 958000 | #Constraints: 35655 1590.63/1597.49 c #Conflicts: 959000 | #Constraints: 36655 1590.63/1597.49 c #Conflicts: 960000 | #Constraints: 37655 1590.63/1597.49 c #Conflicts: 961000 | #Constraints: 38658 1590.63/1597.49 c INPROCESSING 1590.63/1597.49 c GARBAGE COLLECT 1590.63/1597.49 c rational objective 0 1637.47/1644.46 c #Conflicts: 962000 | #Constraints: 20246 1637.47/1644.46 c #Conflicts: 963000 | #Constraints: 21246 1637.47/1644.46 c #Conflicts: 964000 | #Constraints: 22247 1637.47/1644.46 c #Conflicts: 965000 | #Constraints: 23248 1637.47/1644.46 c #Conflicts: 966000 | #Constraints: 24248 1637.47/1644.46 c #Conflicts: 967000 | #Constraints: 25249 1637.47/1644.46 c #Conflicts: 968000 | #Constraints: 26251 1637.47/1644.46 c #Conflicts: 969000 | #Constraints: 27251 1637.47/1644.46 c #Conflicts: 970000 | #Constraints: 28251 1637.47/1644.46 c #Conflicts: 971000 | #Constraints: 29253 1637.47/1644.46 c #Conflicts: 972000 | #Constraints: 30253 1637.47/1644.46 c #Conflicts: 973000 | #Constraints: 31254 1637.47/1644.46 c #Conflicts: 974000 | #Constraints: 32255 1637.47/1644.46 c #Conflicts: 975000 | #Constraints: 33255 1637.47/1644.46 c #Conflicts: 976000 | #Constraints: 34256 1637.47/1644.46 c #Conflicts: 977000 | #Constraints: 35256 1637.47/1644.46 c #Conflicts: 978000 | #Constraints: 36256 1637.47/1644.46 c #Conflicts: 979000 | #Constraints: 37257 1637.47/1644.46 c #Conflicts: 980000 | #Constraints: 38260 1637.47/1644.46 c #Conflicts: 981000 | #Constraints: 39261 1637.47/1644.46 c INPROCESSING 1637.47/1644.46 c GARBAGE COLLECT 1637.47/1644.46 c rational objective 0 1691.76/1698.95 c #Conflicts: 982000 | #Constraints: 20647 1691.76/1698.95 c #Conflicts: 983000 | #Constraints: 21649 1691.76/1698.95 c #Conflicts: 984000 | #Constraints: 22649 1691.76/1698.95 c #Conflicts: 985000 | #Constraints: 23649 1691.76/1698.95 c #Conflicts: 986000 | #Constraints: 24650 1691.76/1698.95 c #Conflicts: 987000 | #Constraints: 25650 1691.76/1698.95 c #Conflicts: 988000 | #Constraints: 26650 1691.76/1698.95 c #Conflicts: 989000 | #Constraints: 27650 1691.76/1698.95 c #Conflicts: 990000 | #Constraints: 28650 1691.76/1698.95 c #Conflicts: 991000 | #Constraints: 29651 1691.76/1698.95 c #Conflicts: 992000 | #Constraints: 30651 1691.76/1698.95 c #Conflicts: 993000 | #Constraints: 31651 1691.76/1698.95 c #Conflicts: 994000 | #Constraints: 32652 1691.76/1698.95 c #Conflicts: 995000 | #Constraints: 33652 1691.76/1698.95 c #Conflicts: 996000 | #Constraints: 34652 1691.76/1698.95 c #Conflicts: 997000 | #Constraints: 35652 1691.76/1698.95 c #Conflicts: 998000 | #Constraints: 36652 1691.76/1698.95 c #Conflicts: 999000 | #Constraints: 37653 1691.76/1698.95 c #Conflicts: 1000000 | #Constraints: 38653 1691.76/1698.95 c #Conflicts: 1001000 | #Constraints: 39654 1691.76/1698.95 c INPROCESSING 1691.76/1698.95 c GARBAGE COLLECT 1691.76/1698.95 c rational objective 0 1751.42/1758.83 c #Conflicts: 1002000 | #Constraints: 20847 1751.42/1758.83 c #Conflicts: 1003000 | #Constraints: 21847 1751.42/1758.83 c #Conflicts: 1004000 | #Constraints: 22847 1751.42/1758.83 c #Conflicts: 1005000 | #Constraints: 23847 1751.42/1758.83 c #Conflicts: 1006000 | #Constraints: 24847 1751.42/1758.83 c #Conflicts: 1007000 | #Constraints: 25847 1751.42/1758.83 c #Conflicts: 1008000 | #Constraints: 26847 1751.42/1758.83 c #Conflicts: 1009000 | #Constraints: 27847 1751.42/1758.83 c #Conflicts: 1010000 | #Constraints: 28848 1751.42/1758.83 c #Conflicts: 1011000 | #Constraints: 29848 1751.42/1758.83 c #Conflicts: 1012000 | #Constraints: 30848 1751.42/1758.83 c #Conflicts: 1013000 | #Constraints: 31848 1751.42/1758.83 c #Conflicts: 1014000 | #Constraints: 32848 1751.42/1758.83 c #Conflicts: 1015000 | #Constraints: 33848 1751.42/1758.83 c #Conflicts: 1016000 | #Constraints: 34848 1751.42/1758.83 c #Conflicts: 1017000 | #Constraints: 35848 1751.42/1758.83 c #Conflicts: 1018000 | #Constraints: 36849 1751.42/1758.83 c #Conflicts: 1019000 | #Constraints: 37849 1751.42/1758.83 c #Conflicts: 1020000 | #Constraints: 38849 1751.42/1758.83 c #Conflicts: 1021000 | #Constraints: 39850 1751.42/1758.83 c INPROCESSING 1751.42/1758.83 c GARBAGE COLLECT 1751.42/1758.83 c rational objective 0 1808.61/1816.24 c #Conflicts: 1022000 | #Constraints: 20844 1808.61/1816.24 c #Conflicts: 1023000 | #Constraints: 21844 1808.61/1816.24 c #Conflicts: 1024000 | #Constraints: 22844 1808.61/1816.24 c #Conflicts: 1025000 | #Constraints: 23845 1808.61/1816.24 c #Conflicts: 1026000 | #Constraints: 24845 1808.61/1816.24 c #Conflicts: 1027000 | #Constraints: 25846 1808.61/1816.24 c #Conflicts: 1028000 | #Constraints: 26846 1808.61/1816.24 c #Conflicts: 1029000 | #Constraints: 27846 1808.61/1816.24 c #Conflicts: 1030000 | #Constraints: 28846 1808.61/1816.24 c #Conflicts: 1031000 | #Constraints: 29846 1808.61/1816.24 c #Conflicts: 1032000 | #Constraints: 30846 1808.61/1816.24 c #Conflicts: 1033000 | #Constraints: 31846 1808.61/1816.24 c #Conflicts: 1034000 | #Constraints: 32846 1808.61/1816.24 c #Conflicts: 1035000 | #Constraints: 33846 1808.61/1816.24 c #Conflicts: 1036000 | #Constraints: 34846 1808.61/1816.24 c #Conflicts: 1037000 | #Constraints: 35846 1808.61/1816.24 c #Conflicts: 1038000 | #Constraints: 36846 1808.61/1816.24 c #Conflicts: 1039000 | #Constraints: 37847 1808.61/1816.24 c #Conflicts: 1040000 | #Constraints: 38847 1808.61/1816.24 c #Conflicts: 1041000 | #Constraints: 39847 1808.61/1816.24 c INPROCESSING 1808.61/1816.24 c GARBAGE COLLECT 1808.61/1816.24 c rational objective 0 1868.77/1876.63 c #Conflicts: 1042000 | #Constraints: 20644 1868.77/1876.63 c #Conflicts: 1043000 | #Constraints: 21644 1868.77/1876.63 c #Conflicts: 1044000 | #Constraints: 22644 1868.77/1876.63 c #Conflicts: 1045000 | #Constraints: 23644 1868.77/1876.63 c #Conflicts: 1046000 | #Constraints: 24645 1868.77/1876.63 c #Conflicts: 1047000 | #Constraints: 25645 1868.77/1876.63 c #Conflicts: 1048000 | #Constraints: 26646 1868.77/1876.63 c #Conflicts: 1049000 | #Constraints: 27647 1868.77/1876.63 c #Conflicts: 1050000 | #Constraints: 28647 1868.77/1876.63 c #Conflicts: 1051000 | #Constraints: 29647 1868.77/1876.63 c #Conflicts: 1052000 | #Constraints: 30647 1868.77/1876.63 c #Conflicts: 1053000 | #Constraints: 31647 1868.77/1876.63 c #Conflicts: 1054000 | #Constraints: 32647 1868.77/1876.63 c #Conflicts: 1055000 | #Constraints: 33647 1868.77/1876.63 c #Conflicts: 1056000 | #Constraints: 34647 1868.77/1876.63 c #Conflicts: 1057000 | #Constraints: 35647 1868.77/1876.63 c #Conflicts: 1058000 | #Constraints: 36647 1868.77/1876.63 c #Conflicts: 1059000 | #Constraints: 37647 1868.77/1876.63 c #Conflicts: 1060000 | #Constraints: 38648 1868.77/1876.63 c #Conflicts: 1061000 | #Constraints: 39652 1868.77/1876.63 c #Conflicts: 1062000 | #Constraints: 40652 1868.77/1876.63 c INPROCESSING 1868.77/1876.63 c GARBAGE COLLECT 1868.77/1876.63 c rational objective 0 1928.24/1936.35 c #Conflicts: 1063000 | #Constraints: 21243 1928.24/1936.35 c #Conflicts: 1064000 | #Constraints: 22243 1928.24/1936.35 c #Conflicts: 1065000 | #Constraints: 23243 1928.24/1936.35 c #Conflicts: 1066000 | #Constraints: 24244 1928.24/1936.35 c #Conflicts: 1067000 | #Constraints: 25244 1928.24/1936.35 c #Conflicts: 1068000 | #Constraints: 26244 1928.24/1936.35 c #Conflicts: 1069000 | #Constraints: 27246 1928.24/1936.35 c #Conflicts: 1070000 | #Constraints: 28247 1928.24/1936.35 c #Conflicts: 1071000 | #Constraints: 29249 1928.24/1936.35 c #Conflicts: 1072000 | #Constraints: 30250 1928.24/1936.35 c #Conflicts: 1073000 | #Constraints: 31251 1928.24/1936.35 c #Conflicts: 1074000 | #Constraints: 32253 1928.24/1936.35 c #Conflicts: 1075000 | #Constraints: 33253 1928.24/1936.35 c #Conflicts: 1076000 | #Constraints: 34255 1928.24/1936.35 c #Conflicts: 1077000 | #Constraints: 35255 1928.24/1936.35 c #Conflicts: 1078000 | #Constraints: 36255 1928.24/1936.35 c #Conflicts: 1079000 | #Constraints: 37256 1928.24/1936.35 c #Conflicts: 1080000 | #Constraints: 38256 1928.24/1936.35 c #Conflicts: 1081000 | #Constraints: 39256 1928.24/1936.35 c #Conflicts: 1082000 | #Constraints: 40256 1928.24/1936.35 c #Conflicts: 1083000 | #Constraints: 41256 1928.24/1936.35 c INPROCESSING 1928.24/1936.35 c GARBAGE COLLECT 1928.24/1936.35 c rational objective 0 1990.31/1998.64 c #Conflicts: 1084000 | #Constraints: 21648 1990.31/1998.64 c #Conflicts: 1085000 | #Constraints: 22648 1990.31/1998.64 c #Conflicts: 1086000 | #Constraints: 23648 1990.31/1998.64 c #Conflicts: 1087000 | #Constraints: 24648 1990.31/1998.64 c #Conflicts: 1088000 | #Constraints: 25648 1990.31/1998.64 c #Conflicts: 1089000 | #Constraints: 26648 1990.31/1998.64 c #Conflicts: 1090000 | #Constraints: 27648 1990.31/1998.64 c #Conflicts: 1091000 | #Constraints: 28649 1990.31/1998.64 c #Conflicts: 1092000 | #Constraints: 29649 1990.31/1998.64 c #Conflicts: 1093000 | #Constraints: 30649 1990.31/1998.64 c #Conflicts: 1094000 | #Constraints: 31649 1990.31/1998.64 c #Conflicts: 1095000 | #Constraints: 32649 1990.31/1998.64 c #Conflicts: 1096000 | #Constraints: 33649 1990.31/1998.64 c #Conflicts: 1097000 | #Constraints: 34649 1990.31/1998.64 c #Conflicts: 1098000 | #Constraints: 35649 1990.31/1998.64 c #Conflicts: 1099000 | #Constraints: 36649 1990.31/1998.64 c #Conflicts: 1100000 | #Constraints: 37649 1990.31/1998.64 c #Conflicts: 1101000 | #Constraints: 38650 1990.31/1998.64 c #Conflicts: 1102000 | #Constraints: 39650 1990.31/1998.64 c #Conflicts: 1103000 | #Constraints: 40650 1990.31/1998.64 c #Conflicts: 1104000 | #Constraints: 41651 1990.31/1998.64 c INPROCESSING 1990.31/1998.64 c GARBAGE COLLECT 1990.31/1998.64 c rational objective 0 2054.25/2062.81 c #Conflicts: 1105000 | #Constraints: 21843 2054.25/2062.81 c #Conflicts: 1106000 | #Constraints: 22843 2054.25/2062.81 c #Conflicts: 1107000 | #Constraints: 23843 2054.25/2062.81 c #Conflicts: 1108000 | #Constraints: 24843 2054.25/2062.81 c #Conflicts: 1109000 | #Constraints: 25843 2054.25/2062.81 c #Conflicts: 1110000 | #Constraints: 26843 2054.25/2062.81 c #Conflicts: 1111000 | #Constraints: 27843 2054.25/2062.81 c #Conflicts: 1112000 | #Constraints: 28843 2054.25/2062.81 c #Conflicts: 1113000 | #Constraints: 29844 2054.25/2062.81 c #Conflicts: 1114000 | #Constraints: 30844 2054.25/2062.81 c #Conflicts: 1115000 | #Constraints: 31844 2054.25/2062.81 c #Conflicts: 1116000 | #Constraints: 32844 2054.25/2062.81 c #Conflicts: 1117000 | #Constraints: 33844 2054.25/2062.81 c #Conflicts: 1118000 | #Constraints: 34844 2054.25/2062.81 c #Conflicts: 1119000 | #Constraints: 35846 2054.25/2062.81 c #Conflicts: 1120000 | #Constraints: 36846 2054.25/2062.81 c #Conflicts: 1121000 | #Constraints: 37847 2054.25/2062.81 c #Conflicts: 1122000 | #Constraints: 38847 2054.25/2062.81 c #Conflicts: 1123000 | #Constraints: 39847 2054.25/2062.81 c #Conflicts: 1124000 | #Constraints: 40848 2054.25/2062.81 c #Conflicts: 1125000 | #Constraints: 41848 2054.25/2062.81 c INPROCESSING 2054.25/2062.81 c GARBAGE COLLECT 2054.25/2062.81 c rational objective 0 2114.25/2123.06 c #Conflicts: 1126000 | #Constraints: 21843 2114.25/2123.06 c #Conflicts: 1127000 | #Constraints: 22843 2114.25/2123.06 c #Conflicts: 1128000 | #Constraints: 23843 2114.25/2123.06 c #Conflicts: 1129000 | #Constraints: 24844 2114.25/2123.06 c #Conflicts: 1130000 | #Constraints: 25844 2114.25/2123.06 c #Conflicts: 1131000 | #Constraints: 26845 2114.25/2123.06 c #Conflicts: 1132000 | #Constraints: 27846 2114.25/2123.06 c #Conflicts: 1133000 | #Constraints: 28846 2114.25/2123.06 c #Conflicts: 1134000 | #Constraints: 29846 2114.25/2123.06 c #Conflicts: 1135000 | #Constraints: 30846 2114.25/2123.06 c #Conflicts: 1136000 | #Constraints: 31846 2114.25/2123.06 c #Conflicts: 1137000 | #Constraints: 32846 2114.25/2123.06 c #Conflicts: 1138000 | #Constraints: 33846 2114.25/2123.06 c #Conflicts: 1139000 | #Constraints: 34848 2114.25/2123.06 c #Conflicts: 1140000 | #Constraints: 35848 2114.25/2123.06 c #Conflicts: 1141000 | #Constraints: 36848 2114.25/2123.06 c #Conflicts: 1142000 | #Constraints: 37849 2114.25/2123.06 c #Conflicts: 1143000 | #Constraints: 38849 2114.25/2123.06 c #Conflicts: 1144000 | #Constraints: 39849 2114.25/2123.06 c #Conflicts: 1145000 | #Constraints: 40849 2114.25/2123.06 c #Conflicts: 1146000 | #Constraints: 41849 2114.25/2123.06 c INPROCESSING 2114.25/2123.06 c GARBAGE COLLECT 2114.25/2123.06 c rational objective 0 2175.42/2184.46 c #Conflicts: 1147000 | #Constraints: 21642 2175.42/2184.46 c #Conflicts: 1148000 | #Constraints: 22642 2175.42/2184.46 c #Conflicts: 1149000 | #Constraints: 23644 2175.42/2184.46 c #Conflicts: 1150000 | #Constraints: 24645 2175.42/2184.46 c #Conflicts: 1151000 | #Constraints: 25646 2175.42/2184.46 c #Conflicts: 1152000 | #Constraints: 26647 2175.42/2184.46 c #Conflicts: 1153000 | #Constraints: 27647 2175.42/2184.46 c #Conflicts: 1154000 | #Constraints: 28648 2175.42/2184.46 c #Conflicts: 1155000 | #Constraints: 29648 2175.42/2184.46 c #Conflicts: 1156000 | #Constraints: 30648 2175.42/2184.46 c #Conflicts: 1157000 | #Constraints: 31648 2175.42/2184.46 c #Conflicts: 1158000 | #Constraints: 32649 2175.42/2184.46 c #Conflicts: 1159000 | #Constraints: 33651 2175.42/2184.46 c #Conflicts: 1160000 | #Constraints: 34653 2175.42/2184.46 c #Conflicts: 1161000 | #Constraints: 35653 2175.42/2184.46 c #Conflicts: 1162000 | #Constraints: 36653 2175.42/2184.46 c #Conflicts: 1163000 | #Constraints: 37653 2175.42/2184.46 c #Conflicts: 1164000 | #Constraints: 38653 2175.42/2184.46 c #Conflicts: 1165000 | #Constraints: 39655 2175.42/2184.46 c #Conflicts: 1166000 | #Constraints: 40655 2175.42/2184.46 c #Conflicts: 1167000 | #Constraints: 41657 2175.42/2184.46 c #Conflicts: 1168000 | #Constraints: 42657 2175.42/2184.46 c INPROCESSING 2175.42/2184.46 c GARBAGE COLLECT 2175.42/2184.46 c rational objective 0 2239.47/2248.76 c #Conflicts: 1169000 | #Constraints: 22247 2239.47/2248.76 c #Conflicts: 1170000 | #Constraints: 23247 2239.47/2248.76 c #Conflicts: 1171000 | #Constraints: 24247 2239.47/2248.76 c #Conflicts: 1172000 | #Constraints: 25248 2239.47/2248.76 c #Conflicts: 1173000 | #Constraints: 26248 2239.47/2248.76 c #Conflicts: 1174000 | #Constraints: 27248 2239.47/2248.76 c #Conflicts: 1175000 | #Constraints: 28248 2239.47/2248.76 c #Conflicts: 1176000 | #Constraints: 29248 2239.47/2248.76 c #Conflicts: 1177000 | #Constraints: 30248 2239.47/2248.76 c #Conflicts: 1178000 | #Constraints: 31249 2239.47/2248.76 c #Conflicts: 1179000 | #Constraints: 32249 2239.47/2248.76 c #Conflicts: 1180000 | #Constraints: 33249 2239.47/2248.76 c #Conflicts: 1181000 | #Constraints: 34250 2239.47/2248.76 c #Conflicts: 1182000 | #Constraints: 35250 2239.47/2248.76 c #Conflicts: 1183000 | #Constraints: 36252 2239.47/2248.76 c #Conflicts: 1184000 | #Constraints: 37252 2239.47/2248.76 c #Conflicts: 1185000 | #Constraints: 38252 2239.47/2248.76 c #Conflicts: 1186000 | #Constraints: 39252 2239.47/2248.76 c #Conflicts: 1187000 | #Constraints: 40253 2239.47/2248.76 c #Conflicts: 1188000 | #Constraints: 41253 2239.47/2248.76 c #Conflicts: 1189000 | #Constraints: 42253 2239.47/2248.76 c #Conflicts: 1190000 | #Constraints: 43253 2239.47/2248.76 c INPROCESSING 2239.47/2248.76 c GARBAGE COLLECT 2239.47/2248.76 c rational objective 0 2302.73/2312.20 c #Conflicts: 1191000 | #Constraints: 22642 2302.73/2312.20 c #Conflicts: 1192000 | #Constraints: 23643 2302.73/2312.20 c #Conflicts: 1193000 | #Constraints: 24643 2302.73/2312.20 c #Conflicts: 1194000 | #Constraints: 25644 2302.73/2312.20 c #Conflicts: 1195000 | #Constraints: 26644 2302.73/2312.20 c #Conflicts: 1196000 | #Constraints: 27644 2302.73/2312.20 c #Conflicts: 1197000 | #Constraints: 28644 2302.73/2312.20 c #Conflicts: 1198000 | #Constraints: 29644 2302.73/2312.20 c #Conflicts: 1199000 | #Constraints: 30644 2302.73/2312.20 c #Conflicts: 1200000 | #Constraints: 31645 2302.73/2312.20 c #Conflicts: 1201000 | #Constraints: 32646 2302.73/2312.20 c #Conflicts: 1202000 | #Constraints: 33646 2302.73/2312.20 c #Conflicts: 1203000 | #Constraints: 34646 2302.73/2312.20 c #Conflicts: 1204000 | #Constraints: 35646 2302.73/2312.20 c #Conflicts: 1205000 | #Constraints: 36648 2302.73/2312.20 c #Conflicts: 1206000 | #Constraints: 37648 2302.73/2312.20 c #Conflicts: 1207000 | #Constraints: 38649 2302.73/2312.20 c #Conflicts: 1208000 | #Constraints: 39650 2302.73/2312.20 c #Conflicts: 1209000 | #Constraints: 40651 2302.73/2312.20 c #Conflicts: 1210000 | #Constraints: 41651 2302.73/2312.20 c #Conflicts: 1211000 | #Constraints: 42651 2302.73/2312.20 c #Conflicts: 1212000 | #Constraints: 43651 2302.73/2312.20 c INPROCESSING 2302.73/2312.20 c GARBAGE COLLECT 2302.73/2312.20 c rational objective 0 2371.08/2380.83 c #Conflicts: 1213000 | #Constraints: 22846 2371.08/2380.83 c #Conflicts: 1214000 | #Constraints: 23847 2371.08/2380.83 c #Conflicts: 1215000 | #Constraints: 24847 2371.08/2380.83 c #Conflicts: 1216000 | #Constraints: 25847 2371.08/2380.83 c #Conflicts: 1217000 | #Constraints: 26847 2371.08/2380.83 c #Conflicts: 1218000 | #Constraints: 27848 2371.08/2380.83 c #Conflicts: 1219000 | #Constraints: 28848 2371.08/2380.83 c #Conflicts: 1220000 | #Constraints: 29848 2371.08/2380.83 c #Conflicts: 1221000 | #Constraints: 30848 2371.08/2380.83 c #Conflicts: 1222000 | #Constraints: 31848 2371.08/2380.83 c #Conflicts: 1223000 | #Constraints: 32848 2371.08/2380.83 c #Conflicts: 1224000 | #Constraints: 33848 2371.08/2380.83 c #Conflicts: 1225000 | #Constraints: 34848 2371.08/2380.83 c #Conflicts: 1226000 | #Constraints: 35848 2371.08/2380.83 c #Conflicts: 1227000 | #Constraints: 36848 2371.08/2380.83 c #Conflicts: 1228000 | #Constraints: 37848 2371.08/2380.83 c #Conflicts: 1229000 | #Constraints: 38848 2371.08/2380.83 c #Conflicts: 1230000 | #Constraints: 39849 2371.08/2380.83 c #Conflicts: 1231000 | #Constraints: 40849 2371.08/2380.83 c #Conflicts: 1232000 | #Constraints: 41850 2371.08/2380.83 c #Conflicts: 1233000 | #Constraints: 42851 2371.08/2380.83 c #Conflicts: 1234000 | #Constraints: 43852 2371.08/2380.83 c INPROCESSING 2371.08/2380.83 c GARBAGE COLLECT 2371.08/2380.83 c rational objective 0 2438.63/2448.66 c #Conflicts: 1235000 | #Constraints: 22847 2438.63/2448.66 c #Conflicts: 1236000 | #Constraints: 23848 2438.63/2448.66 c #Conflicts: 1237000 | #Constraints: 24848 2438.63/2448.66 c #Conflicts: 1238000 | #Constraints: 25848 2438.63/2448.66 c #Conflicts: 1239000 | #Constraints: 26849 2438.63/2448.66 c #Conflicts: 1240000 | #Constraints: 27849 2438.63/2448.66 c #Conflicts: 1241000 | #Constraints: 28850 2438.63/2448.66 c #Conflicts: 1242000 | #Constraints: 29851 2438.63/2448.66 c #Conflicts: 1243000 | #Constraints: 30852 2438.63/2448.66 c #Conflicts: 1244000 | #Constraints: 31852 2438.63/2448.66 c #Conflicts: 1245000 | #Constraints: 32852 2438.63/2448.66 c #Conflicts: 1246000 | #Constraints: 33852 2438.63/2448.66 c #Conflicts: 1247000 | #Constraints: 34852 2438.63/2448.66 c #Conflicts: 1248000 | #Constraints: 35852 2438.63/2448.66 c #Conflicts: 1249000 | #Constraints: 36852 2438.63/2448.66 c #Conflicts: 1250000 | #Constraints: 37853 2438.63/2448.66 c #Conflicts: 1251000 | #Constraints: 38853 2438.63/2448.66 c #Conflicts: 1252000 | #Constraints: 39853 2438.63/2448.66 c #Conflicts: 1253000 | #Constraints: 40855 2438.63/2448.66 c #Conflicts: 1254000 | #Constraints: 41855 2438.63/2448.66 c #Conflicts: 1255000 | #Constraints: 42855 2438.63/2448.66 c #Conflicts: 1256000 | #Constraints: 43855 2438.63/2448.66 c INPROCESSING 2438.63/2448.66 c GARBAGE COLLECT 2438.63/2448.66 c rational objective 0 2507.49/2517.70 c #Conflicts: 1257000 | #Constraints: 22646 2507.49/2517.70 c #Conflicts: 1258000 | #Constraints: 23647 2507.49/2517.70 c #Conflicts: 1259000 | #Constraints: 24649 2507.49/2517.70 c #Conflicts: 1260000 | #Constraints: 25649 2507.49/2517.70 c #Conflicts: 1261000 | #Constraints: 26649 2507.49/2517.70 c #Conflicts: 1262000 | #Constraints: 27649 2507.49/2517.70 c #Conflicts: 1263000 | #Constraints: 28649 2507.49/2517.70 c #Conflicts: 1264000 | #Constraints: 29650 2507.49/2517.70 c #Conflicts: 1265000 | #Constraints: 30650 2507.49/2517.70 c #Conflicts: 1266000 | #Constraints: 31651 2507.49/2517.70 c #Conflicts: 1267000 | #Constraints: 32653 2507.49/2517.70 c #Conflicts: 1268000 | #Constraints: 33653 2507.49/2517.70 c #Conflicts: 1269000 | #Constraints: 34653 2507.49/2517.70 c #Conflicts: 1270000 | #Constraints: 35654 2507.49/2517.70 c #Conflicts: 1271000 | #Constraints: 36654 2507.49/2517.70 c #Conflicts: 1272000 | #Constraints: 37654 2507.49/2517.70 c #Conflicts: 1273000 | #Constraints: 38654 2507.49/2517.70 c #Conflicts: 1274000 | #Constraints: 39654 2507.49/2517.70 c #Conflicts: 1275000 | #Constraints: 40654 2507.49/2517.70 c #Conflicts: 1276000 | #Constraints: 41654 2507.49/2517.70 c #Conflicts: 1277000 | #Constraints: 42654 2507.49/2517.70 c #Conflicts: 1278000 | #Constraints: 43654 2507.49/2517.70 c #Conflicts: 1279000 | #Constraints: 44657 2507.49/2517.70 c INPROCESSING 2507.49/2517.70 c GARBAGE COLLECT 2507.49/2517.70 c rational objective 0 2579.93/2590.45 c #Conflicts: 1280000 | #Constraints: 23248 2579.93/2590.45 c #Conflicts: 1281000 | #Constraints: 24249 2579.93/2590.45 c #Conflicts: 1282000 | #Constraints: 25249 2579.93/2590.45 c #Conflicts: 1283000 | #Constraints: 26249 2579.93/2590.45 c #Conflicts: 1284000 | #Constraints: 27249 2579.93/2590.45 c #Conflicts: 1285000 | #Constraints: 28249 2579.93/2590.45 c #Conflicts: 1286000 | #Constraints: 29249 2579.93/2590.45 c #Conflicts: 1287000 | #Constraints: 30249 2579.93/2590.45 c #Conflicts: 1288000 | #Constraints: 31250 2579.93/2590.45 c #Conflicts: 1289000 | #Constraints: 32250 2579.93/2590.45 c #Conflicts: 1290000 | #Constraints: 33250 2579.93/2590.45 c #Conflicts: 1291000 | #Constraints: 34251 2579.93/2590.45 c #Conflicts: 1292000 | #Constraints: 35252 2579.93/2590.45 c #Conflicts: 1293000 | #Constraints: 36252 2579.93/2590.45 c #Conflicts: 1294000 | #Constraints: 37252 2579.93/2590.45 c #Conflicts: 1295000 | #Constraints: 38252 2579.93/2590.45 c #Conflicts: 1296000 | #Constraints: 39253 2579.93/2590.45 c #Conflicts: 1297000 | #Constraints: 40253 2579.93/2590.45 c #Conflicts: 1298000 | #Constraints: 41253 2579.93/2590.45 c #Conflicts: 1299000 | #Constraints: 42254 2579.93/2590.45 c #Conflicts: 1300000 | #Constraints: 43254 2579.93/2590.45 c #Conflicts: 1301000 | #Constraints: 44254 2579.93/2590.45 c #Conflicts: 1302000 | #Constraints: 45254 2579.93/2590.45 c INPROCESSING 2579.93/2590.45 c GARBAGE COLLECT 2579.93/2590.45 c rational objective 0 2656.25/2667.09 c #Conflicts: 1303000 | #Constraints: 23647 2656.25/2667.09 c #Conflicts: 1304000 | #Constraints: 24647 2656.25/2667.09 c #Conflicts: 1305000 | #Constraints: 25647 2656.25/2667.09 c #Conflicts: 1306000 | #Constraints: 26647 2656.25/2667.09 c #Conflicts: 1307000 | #Constraints: 27647 2656.25/2667.09 c #Conflicts: 1308000 | #Constraints: 28648 2656.25/2667.09 c #Conflicts: 1309000 | #Constraints: 29648 2656.25/2667.09 c #Conflicts: 1310000 | #Constraints: 30648 2656.25/2667.09 c #Conflicts: 1311000 | #Constraints: 31648 2656.25/2667.09 c #Conflicts: 1312000 | #Constraints: 32648 2656.25/2667.09 c #Conflicts: 1313000 | #Constraints: 33648 2656.25/2667.09 c #Conflicts: 1314000 | #Constraints: 34648 2656.25/2667.09 c #Conflicts: 1315000 | #Constraints: 35648 2656.25/2667.09 c #Conflicts: 1316000 | #Constraints: 36648 2656.25/2667.09 c #Conflicts: 1317000 | #Constraints: 37649 2656.25/2667.09 c #Conflicts: 1318000 | #Constraints: 38649 2656.25/2667.09 c #Conflicts: 1319000 | #Constraints: 39649 2656.25/2667.09 c #Conflicts: 1320000 | #Constraints: 40650 2656.25/2667.09 c #Conflicts: 1321000 | #Constraints: 41651 2656.25/2667.09 c #Conflicts: 1322000 | #Constraints: 42651 2656.25/2667.09 c #Conflicts: 1323000 | #Constraints: 43652 2656.25/2667.09 c #Conflicts: 1324000 | #Constraints: 44652 2656.25/2667.09 c #Conflicts: 1325000 | #Constraints: 45652 2656.25/2667.09 c INPROCESSING 2656.25/2667.09 c GARBAGE COLLECT 2656.25/2667.09 c rational objective 0 2737.65/2748.73 c #Conflicts: 1326000 | #Constraints: 23847 2737.65/2748.73 c #Conflicts: 1327000 | #Constraints: 24848 2737.65/2748.73 c #Conflicts: 1328000 | #Constraints: 25848 2737.65/2748.73 c #Conflicts: 1329000 | #Constraints: 26848 2737.65/2748.73 c #Conflicts: 1330000 | #Constraints: 27848 2737.65/2748.73 c #Conflicts: 1331000 | #Constraints: 28848 2737.65/2748.73 c #Conflicts: 1332000 | #Constraints: 29848 2737.65/2748.73 c #Conflicts: 1333000 | #Constraints: 30848 2737.65/2748.73 c #Conflicts: 1334000 | #Constraints: 31848 2737.65/2748.73 c #Conflicts: 1335000 | #Constraints: 32848 2737.65/2748.73 c #Conflicts: 1336000 | #Constraints: 33848 2737.65/2748.73 c #Conflicts: 1337000 | #Constraints: 34848 2737.65/2748.73 c #Conflicts: 1338000 | #Constraints: 35849 2737.65/2748.73 c #Conflicts: 1339000 | #Constraints: 36850 2737.65/2748.73 c #Conflicts: 1340000 | #Constraints: 37851 2737.65/2748.73 c #Conflicts: 1341000 | #Constraints: 38851 2737.65/2748.73 c #Conflicts: 1342000 | #Constraints: 39851 2737.65/2748.73 c #Conflicts: 1343000 | #Constraints: 40851 2737.65/2748.73 c #Conflicts: 1344000 | #Constraints: 41851 2737.65/2748.73 c #Conflicts: 1345000 | #Constraints: 42851 2737.65/2748.73 c #Conflicts: 1346000 | #Constraints: 43851 2737.65/2748.73 c #Conflicts: 1347000 | #Constraints: 44851 2737.65/2748.73 c #Conflicts: 1348000 | #Constraints: 45851 2737.65/2748.73 c INPROCESSING 2737.65/2748.73 c GARBAGE COLLECT 2737.65/2748.73 c rational objective 0 2816.86/2828.22 c #Conflicts: 1349000 | #Constraints: 23844 2816.86/2828.22 c #Conflicts: 1350000 | #Constraints: 24844 2816.86/2828.22 c #Conflicts: 1351000 | #Constraints: 25844 2816.86/2828.22 c #Conflicts: 1352000 | #Constraints: 26844 2816.86/2828.22 c #Conflicts: 1353000 | #Constraints: 27844 2816.86/2828.22 c #Conflicts: 1354000 | #Constraints: 28844 2816.86/2828.22 c #Conflicts: 1355000 | #Constraints: 29845 2816.86/2828.22 c #Conflicts: 1356000 | #Constraints: 30845 2816.86/2828.22 c #Conflicts: 1357000 | #Constraints: 31845 2816.86/2828.22 c #Conflicts: 1358000 | #Constraints: 32845 2816.86/2828.22 c #Conflicts: 1359000 | #Constraints: 33845 2816.86/2828.22 c #Conflicts: 1360000 | #Constraints: 34847 2816.86/2828.22 c #Conflicts: 1361000 | #Constraints: 35847 2816.86/2828.22 c #Conflicts: 1362000 | #Constraints: 36847 2816.86/2828.22 c #Conflicts: 1363000 | #Constraints: 37848 2816.86/2828.22 c #Conflicts: 1364000 | #Constraints: 38849 2816.86/2828.22 c #Conflicts: 1365000 | #Constraints: 39849 2816.86/2828.22 c #Conflicts: 1366000 | #Constraints: 40849 2816.86/2828.22 c #Conflicts: 1367000 | #Constraints: 41849 2816.86/2828.22 c #Conflicts: 1368000 | #Constraints: 42849 2816.86/2828.22 c #Conflicts: 1369000 | #Constraints: 43849 2816.86/2828.22 c #Conflicts: 1370000 | #Constraints: 44850 2816.86/2828.22 c #Conflicts: 1371000 | #Constraints: 45850 2816.86/2828.22 c INPROCESSING 2816.86/2828.22 c GARBAGE COLLECT 2816.86/2828.22 c rational objective 0 2896.18/2907.89 c #Conflicts: 1372000 | #Constraints: 23645 2896.18/2907.89 c #Conflicts: 1373000 | #Constraints: 24645 2896.18/2907.89 c #Conflicts: 1374000 | #Constraints: 25645 2896.18/2907.89 c #Conflicts: 1375000 | #Constraints: 26646 2896.18/2907.89 c #Conflicts: 1376000 | #Constraints: 27646 2896.18/2907.89 c #Conflicts: 1377000 | #Constraints: 28647 2896.18/2907.89 c #Conflicts: 1378000 | #Constraints: 29647 2896.18/2907.89 c #Conflicts: 1379000 | #Constraints: 30647 2896.18/2907.89 c #Conflicts: 1380000 | #Constraints: 31647 2896.18/2907.89 c #Conflicts: 1381000 | #Constraints: 32647 2896.18/2907.89 c #Conflicts: 1382000 | #Constraints: 33647 2896.18/2907.89 c #Conflicts: 1383000 | #Constraints: 34648 2896.18/2907.89 c #Conflicts: 1384000 | #Constraints: 35648 2896.18/2907.89 c #Conflicts: 1385000 | #Constraints: 36649 2896.18/2907.89 c #Conflicts: 1386000 | #Constraints: 37649 2896.18/2907.89 c #Conflicts: 1387000 | #Constraints: 38649 2896.18/2907.89 c #Conflicts: 1388000 | #Constraints: 39650 2896.18/2907.89 c #Conflicts: 1389000 | #Constraints: 40651 2896.18/2907.89 c #Conflicts: 1390000 | #Constraints: 41652 2896.18/2907.89 c #Conflicts: 1391000 | #Constraints: 42653 2896.18/2907.89 c #Conflicts: 1392000 | #Constraints: 43653 2896.18/2907.89 c #Conflicts: 1393000 | #Constraints: 44653 2896.18/2907.89 c #Conflicts: 1394000 | #Constraints: 45653 2896.18/2907.89 c #Conflicts: 1395000 | #Constraints: 46654 2896.18/2907.89 c INPROCESSING 2896.18/2907.89 c GARBAGE COLLECT 2896.18/2907.89 c rational objective 0 2973.41/2985.31 c #Conflicts: 1396000 | #Constraints: 24248 2973.41/2985.31 c #Conflicts: 1397000 | #Constraints: 25249 2973.41/2985.31 c #Conflicts: 1398000 | #Constraints: 26250 2973.41/2985.31 c #Conflicts: 1399000 | #Constraints: 27253 2973.41/2985.31 c #Conflicts: 1400000 | #Constraints: 28253 2973.41/2985.31 c #Conflicts: 1401000 | #Constraints: 29253 2973.41/2985.31 c #Conflicts: 1402000 | #Constraints: 30255 2973.41/2985.31 c #Conflicts: 1403000 | #Constraints: 31255 2973.41/2985.31 c #Conflicts: 1404000 | #Constraints: 32256 2973.41/2985.31 c #Conflicts: 1405000 | #Constraints: 33256 2973.41/2985.31 c #Conflicts: 1406000 | #Constraints: 34256 2973.41/2985.31 c #Conflicts: 1407000 | #Constraints: 35256 2973.41/2985.31 c #Conflicts: 1408000 | #Constraints: 36256 2973.41/2985.31 c #Conflicts: 1409000 | #Constraints: 37256 2973.41/2985.31 c #Conflicts: 1410000 | #Constraints: 38256 2973.41/2985.31 c #Conflicts: 1411000 | #Constraints: 39256 2973.41/2985.31 c #Conflicts: 1412000 | #Constraints: 40256 2973.41/2985.31 c #Conflicts: 1413000 | #Constraints: 41256 2973.41/2985.31 c #Conflicts: 1414000 | #Constraints: 42258 2973.41/2985.31 c #Conflicts: 1415000 | #Constraints: 43258 2973.41/2985.31 c #Conflicts: 1416000 | #Constraints: 44258 2973.41/2985.31 c #Conflicts: 1417000 | #Constraints: 45258 2973.41/2985.31 c #Conflicts: 1418000 | #Constraints: 46258 2973.41/2985.31 c #Conflicts: 1419000 | #Constraints: 47258 2973.41/2985.31 c INPROCESSING 2973.41/2985.31 c GARBAGE COLLECT 2973.41/2985.31 c rational objective 0 3055.73/3067.98 c #Conflicts: 1420000 | #Constraints: 24647 3055.73/3067.98 c #Conflicts: 1421000 | #Constraints: 25647 3055.73/3067.98 c #Conflicts: 1422000 | #Constraints: 26647 3055.73/3067.98 c #Conflicts: 1423000 | #Constraints: 27647 3055.73/3067.98 c #Conflicts: 1424000 | #Constraints: 28647 3055.73/3067.98 c #Conflicts: 1425000 | #Constraints: 29647 3055.73/3067.98 c #Conflicts: 1426000 | #Constraints: 30649 3055.73/3067.98 c #Conflicts: 1427000 | #Constraints: 31649 3055.73/3067.98 c #Conflicts: 1428000 | #Constraints: 32649 3055.73/3067.98 c #Conflicts: 1429000 | #Constraints: 33649 3055.73/3067.98 c #Conflicts: 1430000 | #Constraints: 34649 3055.73/3067.98 c #Conflicts: 1431000 | #Constraints: 35649 3055.73/3067.98 c #Conflicts: 1432000 | #Constraints: 36650 3055.73/3067.98 c #Conflicts: 1433000 | #Constraints: 37652 3055.73/3067.98 c #Conflicts: 1434000 | #Constraints: 38653 3055.73/3067.98 c #Conflicts: 1435000 | #Constraints: 39653 3055.73/3067.98 c #Conflicts: 1436000 | #Constraints: 40654 3055.73/3067.98 c #Conflicts: 1437000 | #Constraints: 41654 3055.73/3067.98 c #Conflicts: 1438000 | #Constraints: 42654 3055.73/3067.98 c #Conflicts: 1439000 | #Constraints: 43654 3055.73/3067.98 c #Conflicts: 1440000 | #Constraints: 44654 3055.73/3067.98 c #Conflicts: 1441000 | #Constraints: 45654 3055.73/3067.98 c #Conflicts: 1442000 | #Constraints: 46654 3055.73/3067.98 c #Conflicts: 1443000 | #Constraints: 47655 3055.73/3067.98 c INPROCESSING 3055.73/3067.98 c GARBAGE COLLECT 3055.73/3067.98 c rational objective 0 3150.35/3162.93 c #Conflicts: 1444000 | #Constraints: 24848 3150.35/3162.93 c #Conflicts: 1445000 | #Constraints: 25848 3150.35/3162.93 c #Conflicts: 1446000 | #Constraints: 26849 3150.35/3162.93 c #Conflicts: 1447000 | #Constraints: 27850 3150.35/3162.93 c #Conflicts: 1448000 | #Constraints: 28850 3150.35/3162.93 c #Conflicts: 1449000 | #Constraints: 29850 3150.35/3162.93 c #Conflicts: 1450000 | #Constraints: 30850 3150.35/3162.93 c #Conflicts: 1451000 | #Constraints: 31850 3150.35/3162.93 c #Conflicts: 1452000 | #Constraints: 32850 3150.35/3162.93 c #Conflicts: 1453000 | #Constraints: 33850 3150.35/3162.93 c #Conflicts: 1454000 | #Constraints: 34850 3150.35/3162.93 c #Conflicts: 1455000 | #Constraints: 35851 3150.35/3162.93 c #Conflicts: 1456000 | #Constraints: 36851 3150.35/3162.93 c #Conflicts: 1457000 | #Constraints: 37851 3150.35/3162.93 c #Conflicts: 1458000 | #Constraints: 38851 3150.35/3162.93 c #Conflicts: 1459000 | #Constraints: 39852 3150.35/3162.93 c #Conflicts: 1460000 | #Constraints: 40852 3150.35/3162.93 c #Conflicts: 1461000 | #Constraints: 41852 3150.35/3162.93 c #Conflicts: 1462000 | #Constraints: 42855 3150.35/3162.93 c #Conflicts: 1463000 | #Constraints: 43855 3150.35/3162.93 c #Conflicts: 1464000 | #Constraints: 44855 3150.35/3162.93 c #Conflicts: 1465000 | #Constraints: 45855 3150.35/3162.93 c #Conflicts: 1466000 | #Constraints: 46855 3150.35/3162.93 c #Conflicts: 1467000 | #Constraints: 47855 3150.35/3162.93 c INPROCESSING 3150.35/3162.93 c GARBAGE COLLECT 3150.35/3162.93 c rational objective 0 3242.89/3255.82 c #Conflicts: 1468000 | #Constraints: 24847 3242.89/3255.82 c #Conflicts: 1469000 | #Constraints: 25850 3242.89/3255.82 c #Conflicts: 1470000 | #Constraints: 26850 3242.89/3255.82 c #Conflicts: 1471000 | #Constraints: 27850 3242.89/3255.82 c #Conflicts: 1472000 | #Constraints: 28850 3242.89/3255.82 c #Conflicts: 1473000 | #Constraints: 29850 3242.89/3255.82 c #Conflicts: 1474000 | #Constraints: 30850 3242.89/3255.82 c #Conflicts: 1475000 | #Constraints: 31854 3242.89/3255.82 c #Conflicts: 1476000 | #Constraints: 32854 3242.89/3255.82 c #Conflicts: 1477000 | #Constraints: 33854 3242.89/3255.82 c #Conflicts: 1478000 | #Constraints: 34854 3242.89/3255.82 c #Conflicts: 1479000 | #Constraints: 35854 3242.89/3255.82 c #Conflicts: 1480000 | #Constraints: 36854 3242.89/3255.82 c #Conflicts: 1481000 | #Constraints: 37854 3242.89/3255.82 c #Conflicts: 1482000 | #Constraints: 38855 3242.89/3255.82 c #Conflicts: 1483000 | #Constraints: 39856 3242.89/3255.82 c #Conflicts: 1484000 | #Constraints: 40856 3242.89/3255.82 c #Conflicts: 1485000 | #Constraints: 41856 3242.89/3255.82 c #Conflicts: 1486000 | #Constraints: 42856 3242.89/3255.82 c #Conflicts: 1487000 | #Constraints: 43856 3242.89/3255.82 c #Conflicts: 1488000 | #Constraints: 44857 3242.89/3255.82 c #Conflicts: 1489000 | #Constraints: 45858 3242.89/3255.82 c #Conflicts: 1490000 | #Constraints: 46858 3242.89/3255.82 c #Conflicts: 1491000 | #Constraints: 47859 3242.89/3255.82 c INPROCESSING 3242.89/3255.82 c GARBAGE COLLECT 3242.89/3255.82 c rational objective 0 3333.44/3346.75 c #Conflicts: 1492000 | #Constraints: 24647 3333.44/3346.75 c #Conflicts: 1493000 | #Constraints: 25647 3333.44/3346.75 c #Conflicts: 1494000 | #Constraints: 26647 3333.44/3346.75 c #Conflicts: 1495000 | #Constraints: 27647 3333.44/3346.75 c #Conflicts: 1496000 | #Constraints: 28648 3333.44/3346.75 c #Conflicts: 1497000 | #Constraints: 29648 3333.44/3346.75 c #Conflicts: 1498000 | #Constraints: 30649 3333.44/3346.75 c #Conflicts: 1499000 | #Constraints: 31650 3333.44/3346.75 c #Conflicts: 1500000 | #Constraints: 32650 3333.44/3346.75 c #Conflicts: 1501000 | #Constraints: 33650 3333.44/3346.75 c #Conflicts: 1502000 | #Constraints: 34650 3333.44/3346.75 c #Conflicts: 1503000 | #Constraints: 35650 3333.44/3346.75 c #Conflicts: 1504000 | #Constraints: 36651 3333.44/3346.75 c #Conflicts: 1505000 | #Constraints: 37651 3333.44/3346.75 c #Conflicts: 1506000 | #Constraints: 38651 3333.44/3346.75 c #Conflicts: 1507000 | #Constraints: 39651 3333.44/3346.75 c #Conflicts: 1508000 | #Constraints: 40652 3333.44/3346.75 c #Conflicts: 1509000 | #Constraints: 41652 3333.44/3346.75 c #Conflicts: 1510000 | #Constraints: 42654 3333.44/3346.75 c #Conflicts: 1511000 | #Constraints: 43654 3333.44/3346.75 c #Conflicts: 1512000 | #Constraints: 44654 3333.44/3346.75 c #Conflicts: 1513000 | #Constraints: 45654 3333.44/3346.75 c #Conflicts: 1514000 | #Constraints: 46654 3333.44/3346.75 c #Conflicts: 1515000 | #Constraints: 47655 3333.44/3346.75 c #Conflicts: 1516000 | #Constraints: 48655 3333.44/3346.75 c INPROCESSING 3333.44/3346.75 c GARBAGE COLLECT 3333.44/3346.75 c rational objective 0 3419.80/3433.44 c #Conflicts: 1517000 | #Constraints: 25241 3419.80/3433.44 c #Conflicts: 1518000 | #Constraints: 26242 3419.80/3433.44 c #Conflicts: 1519000 | #Constraints: 27243 3419.80/3433.44 c #Conflicts: 1520000 | #Constraints: 28244 3419.80/3433.44 c #Conflicts: 1521000 | #Constraints: 29244 3419.80/3433.44 c #Conflicts: 1522000 | #Constraints: 30244 3419.80/3433.44 c #Conflicts: 1523000 | #Constraints: 31245 3419.80/3433.44 c #Conflicts: 1524000 | #Constraints: 32245 3419.80/3433.44 c #Conflicts: 1525000 | #Constraints: 33247 3419.80/3433.44 c #Conflicts: 1526000 | #Constraints: 34247 3419.80/3433.44 c #Conflicts: 1527000 | #Constraints: 35247 3419.80/3433.44 c #Conflicts: 1528000 | #Constraints: 36248 3419.80/3433.44 c #Conflicts: 1529000 | #Constraints: 37248 3419.80/3433.44 c #Conflicts: 1530000 | #Constraints: 38248 3419.80/3433.44 c #Conflicts: 1531000 | #Constraints: 39248 3419.80/3433.44 c #Conflicts: 1532000 | #Constraints: 40248 3419.80/3433.44 c #Conflicts: 1533000 | #Constraints: 41248 3419.80/3433.44 c #Conflicts: 1534000 | #Constraints: 42251 3419.80/3433.44 c #Conflicts: 1535000 | #Constraints: 43251 3419.80/3433.44 c #Conflicts: 1536000 | #Constraints: 44251 3419.80/3433.44 c #Conflicts: 1537000 | #Constraints: 45251 3419.80/3433.44 c #Conflicts: 1538000 | #Constraints: 46252 3419.80/3433.44 c #Conflicts: 1539000 | #Constraints: 47252 3419.80/3433.44 c #Conflicts: 1540000 | #Constraints: 48252 3419.80/3433.44 c #Conflicts: 1541000 | #Constraints: 49253 3419.80/3433.44 c INPROCESSING 3419.80/3433.44 c GARBAGE COLLECT 3419.80/3433.44 c rational objective 0 3512.54/3526.52 c #Conflicts: 1542000 | #Constraints: 25643 3512.54/3526.52 c #Conflicts: 1543000 | #Constraints: 26643 3512.54/3526.52 c #Conflicts: 1544000 | #Constraints: 27643 3512.54/3526.52 c #Conflicts: 1545000 | #Constraints: 28643 3512.54/3526.52 c #Conflicts: 1546000 | #Constraints: 29643 3512.54/3526.52 c #Conflicts: 1547000 | #Constraints: 30643 3512.54/3526.52 c #Conflicts: 1548000 | #Constraints: 31643 3512.54/3526.52 c #Conflicts: 1549000 | #Constraints: 32643 3512.54/3526.52 c #Conflicts: 1550000 | #Constraints: 33643 3512.54/3526.52 c #Conflicts: 1551000 | #Constraints: 34643 3512.54/3526.52 c #Conflicts: 1552000 | #Constraints: 35643 3512.54/3526.52 c #Conflicts: 1553000 | #Constraints: 36643 3512.54/3526.52 c #Conflicts: 1554000 | #Constraints: 37643 3512.54/3526.52 c #Conflicts: 1555000 | #Constraints: 38643 3512.54/3526.52 c #Conflicts: 1556000 | #Constraints: 39643 3512.54/3526.52 c #Conflicts: 1557000 | #Constraints: 40643 3512.54/3526.52 c #Conflicts: 1558000 | #Constraints: 41643 3512.54/3526.52 c #Conflicts: 1559000 | #Constraints: 42643 3512.54/3526.52 c #Conflicts: 1560000 | #Constraints: 43643 3512.54/3526.52 c #Conflicts: 1561000 | #Constraints: 44643 3512.54/3526.52 c #Conflicts: 1562000 | #Constraints: 45643 3512.54/3526.52 c #Conflicts: 1563000 | #Constraints: 46644 3512.54/3526.52 c #Conflicts: 1564000 | #Constraints: 47644 3512.54/3526.52 c #Conflicts: 1565000 | #Constraints: 48645 3512.54/3526.52 c #Conflicts: 1566000 | #Constraints: 49646 3512.54/3526.52 c INPROCESSING 3512.54/3526.52 c GARBAGE COLLECT 3512.54/3526.52 c rational objective 0 3599.60/3613.92 c #Conflicts: 1567000 | #Constraints: 25844 3599.60/3613.92 c #Conflicts: 1568000 | #Constraints: 26846 3599.60/3613.92 c #Conflicts: 1569000 | #Constraints: 27847 3599.60/3613.92 c #Conflicts: 1570000 | #Constraints: 28847 3599.60/3613.92 c #Conflicts: 1571000 | #Constraints: 29848 3599.60/3613.92 c #Conflicts: 1572000 | #Constraints: 30848 3599.60/3613.92 c #Conflicts: 1573000 | #Constraints: 31849 3599.60/3613.92 c #Conflicts: 1574000 | #Constraints: 32850 3599.60/3613.92 c #Conflicts: 1575000 | #Constraints: 33852 3599.60/3613.92 c #Conflicts: 1576000 | #Constraints: 34853 3599.60/3613.92 c #Conflicts: 1577000 | #Constraints: 35855 3599.60/3613.92 c #Conflicts: 1578000 | #Constraints: 36855 3599.60/3613.92 c #Conflicts: 1579000 | #Constraints: 37856 3599.60/3613.92 c #Conflicts: 1580000 | #Constraints: 38856 3599.60/3613.92 c #Conflicts: 1581000 | #Constraints: 39856 3599.60/3613.92 c #Conflicts: 1582000 | #Constraints: 40857 3599.60/3613.92 c #Conflicts: 1583000 | #Constraints: 41857 3599.60/3613.92 c #Conflicts: 1584000 | #Constraints: 42857 3599.60/3613.92 c #Conflicts: 1585000 | #Constraints: 43857 3599.60/3613.92 c #Conflicts: 1586000 | #Constraints: 44858 3599.60/3613.92 c #Conflicts: 1587000 | #Constraints: 45858 3599.60/3613.92 c #Conflicts: 1588000 | #Constraints: 46860 3599.60/3613.92 c #Conflicts: 1589000 | #Constraints: 47861 3599.60/3613.92 c #Conflicts: 1590000 | #Constraints: 48861 3599.60/3613.92 c #Conflicts: 1591000 | #Constraints: 49861 3599.60/3613.92 c INPROCESSING 3599.60/3613.92 c GARBAGE COLLECT 3599.60/3613.92 c rational objective 0 3600.00/3614.30 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: 63968 MiB (62152 MiB free)
memory of node 1: 64473 MiB (62912 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460214-1722064839/watcher-4460214-1722064839 -o /tmp/evaluation-result-4460214-1722064839/solver-4460214-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369841 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460214-1722064839 --lp-cut-gomory=0 HOME/instance-4460214-1722064839.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=370001, runsolver pid=369998
[startup+0.100079 s]*
/proc/loadavg: 0.40 0.17 0.11 5/259 370002
/proc/meminfo: memFree=128053636/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=38028 memory=8732 CPUtime=0.09 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 526 0 0 0 9 0 0 0 20 0 1 0 43006739 38940672 2183 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 9507 2183 1902 992 0 1365 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38028 KiB
Current children cumulated memory: 8732 KiB
[startup+0.205539 s]*
/proc/loadavg: 0.40 0.17 0.11 5/259 370002
/proc/meminfo: memFree=128045404/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=38276 memory=11280 CPUtime=0.2 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 643 0 0 0 19 1 0 0 20 0 1 0 43006739 39194624 2820 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 9569 2820 1902 992 0 1427 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38276 KiB
Current children cumulated memory: 11280 KiB
[startup+0.305296 s]*
/proc/loadavg: 0.40 0.17 0.11 5/259 370002
/proc/meminfo: memFree=128033344/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=38404 memory=11528 CPUtime=0.3 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 678 0 0 0 28 2 0 0 20 0 1 0 43006739 39325696 2882 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 9601 2882 1902 992 0 1459 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38404 KiB
Current children cumulated memory: 11528 KiB
[startup+0.700168 s]
/proc/loadavg: 0.40 0.17 0.11 5/259 370002
/proc/meminfo: memFree=128017472/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=38792 memory=11924 CPUtime=0.69 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 766 0 0 0 64 5 0 0 20 0 1 0 43006739 39723008 2981 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 9698 2981 1902 992 0 1556 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38792 KiB
Current children cumulated memory: 11924 KiB
[startup+1.50019 s]
/proc/loadavg: 0.40 0.17 0.11 5/259 370002
/proc/meminfo: memFree=127972236/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=39176 memory=12308 CPUtime=1.49 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 862 0 0 0 140 9 0 0 20 0 1 0 43006739 40116224 3077 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 9794 3077 1902 992 0 1652 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39176 KiB
Current children cumulated memory: 12308 KiB
[startup+3.10576 s]
/proc/loadavg: 0.40 0.17 0.11 5/261 370004
/proc/meminfo: memFree=127807972/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=39896 memory=12832 CPUtime=3.08 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 1022 0 0 0 294 14 0 0 20 0 1 0 43006739 40853504 3208 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 9974 3208 1902 992 0 1832 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39896 KiB
Current children cumulated memory: 12832 KiB
[startup+6.30015 s]
/proc/loadavg: 0.69 0.23 0.13 5/261 370004
/proc/meminfo: memFree=127489756/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=40264 memory=13352 CPUtime=6.26 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 1119 0 0 0 602 24 0 0 20 0 1 0 43006739 41230336 3338 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 10066 3338 1902 992 0 1924 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 13352 KiB
[startup+12.7002 s]
/proc/loadavg: 0.96 0.29 0.15 5/261 370005
/proc/meminfo: memFree=126705516/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=40840 memory=14376 CPUtime=12.64 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 1383 0 0 0 1224 40 0 0 20 0 1 0 43006739 41820160 3594 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 10210 3594 1902 992 0 2068 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 40840 KiB
Current children cumulated memory: 14376 KiB
[startup+25.5002 s]
/proc/loadavg: 1.77 0.51 0.22 5/261 370007
/proc/meminfo: memFree=125678036/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=42056 memory=16208 CPUtime=25.4 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 1858 0 0 0 2473 67 0 0 20 0 1 0 43006739 43065344 4052 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 10514 4052 1902 992 0 2372 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 42056 KiB
Current children cumulated memory: 16208 KiB
[startup+51.1056 s]
/proc/loadavg: 2.53 0.79 0.33 5/261 370011
/proc/meminfo: memFree=124099356/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=45416 memory=18012 CPUtime=50.83 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 2442 0 0 0 4967 116 0 0 20 0 1 0 43006739 46505984 4503 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 11354 4503 1902 992 0 3212 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 45416 KiB
Current children cumulated memory: 18012 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 1.32 0.53 5/257 370048
/proc/meminfo: memFree=123467356/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=47016 memory=20640 CPUtime=101.65 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 3206 0 0 0 9951 214 0 0 20 0 1 0 43006739 48144384 5160 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 11754 5160 1902 992 0 3612 0
Current children cumulated CPU time: 101.65 s
Current children cumulated vsize: 47016 KiB
Current children cumulated memory: 20640 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 1.82 0.76 5/263 370080
/proc/meminfo: memFree=122616044/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=53880 memory=23948 CPUtime=161.22 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 4183 0 0 0 15810 312 0 0 20 0 1 0 43006739 55173120 5987 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 13470 5987 1902 992 0 5328 0
Current children cumulated CPU time: 161.22 s
Current children cumulated vsize: 53880 KiB
Current children cumulated memory: 23948 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.27 0.98 5/263 370091
/proc/meminfo: memFree=121355436/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=54080 memory=24912 CPUtime=220.99 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 4544 0 0 0 21720 379 0 0 20 0 1 0 43006739 55377920 6228 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 13520 6228 1902 992 0 5378 0
Current children cumulated CPU time: 220.99 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 24912 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 2.63 1.19 5/263 370101
/proc/meminfo: memFree=120728456/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=54128 memory=25524 CPUtime=280.67 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 5029 0 0 0 27617 450 0 0 20 0 1 0 43006739 55427072 6381 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 13532 6381 1902 992 0 5390 0
Current children cumulated CPU time: 280.67 s
Current children cumulated vsize: 54128 KiB
Current children cumulated memory: 25524 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 2.89 1.37 5/262 370496
/proc/meminfo: memFree=119948112/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=54384 memory=28400 CPUtime=340.38 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 5408 0 0 0 33517 521 0 0 20 0 1 0 43006739 55689216 7100 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 13596 7100 1902 992 0 5454 0
Current children cumulated CPU time: 340.38 s
Current children cumulated vsize: 54384 KiB
Current children cumulated memory: 28400 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.13 1.55 5/261 370507
/proc/meminfo: memFree=119269564/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=54612 memory=28688 CPUtime=400.13 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 5642 0 0 0 39432 581 0 0 20 0 1 0 43006739 55922688 7172 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 13653 7172 1902 992 0 5511 0
Current children cumulated CPU time: 400.13 s
Current children cumulated vsize: 54612 KiB
Current children cumulated memory: 28688 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 3.33 1.72 5/260 370517
/proc/meminfo: memFree=118324484/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=54872 memory=28976 CPUtime=459.86 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 5895 0 0 0 45347 639 0 0 20 0 1 0 43006739 56188928 7244 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 13718 7244 1902 992 0 5576 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.10 4.15 4.05 5/260 371815
/proc/meminfo: memFree=94523700/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=83028 memory=48268 CPUtime=3209.53 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 13594 0 0 0 318532 2421 0 0 20 0 1 0 43006739 85020672 12067 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 20757 12067 1902 992 0 12615 0
Current children cumulated CPU time: 3209.53 s
Current children cumulated vsize: 83028 KiB
Current children cumulated memory: 48268 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.13 4.05 5/260 371825
/proc/meminfo: memFree=94192412/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=83028 memory=48268 CPUtime=3269.29 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 13774 0 0 0 324471 2458 0 0 20 0 1 0 43006739 85020672 12067 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 20757 12067 1902 992 0 12615 0
Current children cumulated CPU time: 3269.29 s
Current children cumulated vsize: 83028 KiB
Current children cumulated memory: 48268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.06 5/257 371835
/proc/meminfo: memFree=93924788/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=83608 memory=48392 CPUtime=3329.05 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 13852 0 0 0 330414 2491 0 0 20 0 1 0 43006739 85614592 12098 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 20902 12098 1902 992 0 12760 0
Current children cumulated CPU time: 3329.05 s
Current children cumulated vsize: 83608 KiB
Current children cumulated memory: 48392 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.12 4.05 5/257 371847
/proc/meminfo: memFree=93704100/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=83608 memory=48604 CPUtime=3388.82 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 14038 0 0 0 336359 2523 0 0 20 0 1 0 43006739 85614592 12151 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 20902 12151 1902 992 0 12760 0
Current children cumulated CPU time: 3388.82 s
Current children cumulated vsize: 83608 KiB
Current children cumulated memory: 48604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.14 4.06 5/257 371857
/proc/meminfo: memFree=93379716/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=83800 memory=48796 CPUtime=3448.59 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 14202 0 0 0 342308 2551 0 0 20 0 1 0 43006739 85811200 12199 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 20950 12199 1902 992 0 12808 0
Current children cumulated CPU time: 3448.59 s
Current children cumulated vsize: 83800 KiB
Current children cumulated memory: 48796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.06 5/257 371867
/proc/meminfo: memFree=93032992/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=83800 memory=48796 CPUtime=3508.35 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 14222 0 0 0 348256 2579 0 0 20 0 1 0 43006739 85811200 12199 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 20950 12199 1902 992 0 12808 0
Current children cumulated CPU time: 3508.35 s
Current children cumulated vsize: 83800 KiB
Current children cumulated memory: 48796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.06 5/258 371881
/proc/meminfo: memFree=92785864/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=83800 memory=48796 CPUtime=3568.12 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 14411 0 0 0 354203 2609 0 0 20 0 1 0 43006739 85811200 12199 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 20950 12199 1902 992 0 12808 0
Current children cumulated CPU time: 3568.12 s
Current children cumulated vsize: 83800 KiB
Current children cumulated memory: 48796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.3 s]
/proc/loadavg: 4.05 4.11 4.06 5/260 371981
/proc/meminfo: memFree=116684828/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=84188 memory=49124 CPUtime=3600 cores=0,2
/proc/370001/stat : 370001 (roundingsat) R 369998 370001 369827 0 -1 4194304 14634 0 0 0 357378 2622 0 0 20 0 1 0 43006739 86208512 12281 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 21047 12281 1902 992 0 12905 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49124 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.05 4.11 4.06 4/260 371981
/proc/meminfo: memFree=116439764/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=84188 memory=49124 CPUtime=3600 cores=0,2
/proc/370001/stat : 370001 (roundingsat) D 369998 370001 369827 0 -1 4194304 14641 0 0 0 357378 2622 0 0 20 0 1 0 43006739 86208512 12281 134679101440 4194304 8254357 140729982412720 0 0 256 0 0 25182210 0 0 0 17 2 0 0 180 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 21047 12281 1902 992 0 12905 0
??? kill 370001 sig 9
??? end of watcher thread
[startup+3619.25 s]
# the end of solver process 370001 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.78 s, system=26.23 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.05 4.11 4.06 5/260 371981
/proc/meminfo: memFree=116684828/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=84188 memory=49124 CPUtime=3600 cores=0,2
/proc/370001/stat : 370001 (roundingsat) D 369998 370001 369827 0 -1 4194304 14641 0 0 0 357378 2622 0 0 20 0 1 0 43006739 86208512 12281 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 21047 12281 1902 992 0 12905 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49124 KiB
[startup+3615.2 s]
/proc/loadavg: 4.05 4.11 4.06 4/260 371981
/proc/meminfo: memFree=116626052/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=84188 memory=49124 CPUtime=3600 cores=0,2
/proc/370001/stat : 370001 (roundingsat) D 369998 370001 369827 0 -1 4194304 14641 0 0 0 357378 2622 0 0 20 0 1 0 43006739 86208512 12281 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 2 0 0 142 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 21047 12281 1902 992 0 12905 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49124 KiB
[startup+3616 s]*
/proc/loadavg: 4.05 4.11 4.06 4/260 371981
/proc/meminfo: memFree=116441108/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=84188 memory=49124 CPUtime=3600 cores=0,2
/proc/370001/stat : 370001 (roundingsat) D 369998 370001 369827 0 -1 4194304 14641 0 0 0 357378 2622 0 0 20 0 1 0 43006739 86208512 12281 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 2 0 0 180 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 21047 12281 1902 992 0 12905 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49124 KiB
[startup+3616.2 s]
/proc/loadavg: 4.05 4.11 4.06 4/260 371981
/proc/meminfo: memFree=116441108/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=84188 memory=49124 CPUtime=3600 cores=0,2
/proc/370001/stat : 370001 (roundingsat) D 369998 370001 369827 0 -1 4194304 14641 0 0 0 357378 2622 0 0 20 0 1 0 43006739 86208512 12281 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 2 0 0 180 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 21047 12281 1902 992 0 12905 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49124 KiB
[startup+3616.3 s]
/proc/loadavg: 4.05 4.11 4.06 4/260 371981
/proc/meminfo: memFree=116441108/131524600 swapFree=131056028/131071996
[pid=370001] ppid=369998 vsize=84188 memory=49124 CPUtime=3600 cores=0,2
/proc/370001/stat : 370001 (roundingsat) D 369998 370001 369827 0 -1 4194304 14641 0 0 0 357378 2622 0 0 20 0 1 0 43006739 86208512 12281 134679101440 4194304 8254357 140729982412720 0 0 0 0 0 25182210 0 0 0 17 2 0 0 180 0 0 9037040 9046032 17276928 140729982419803 140729982420065 140729982420065 140729982427081 0
/proc/370001/statm: 21047 12281 1902 992 0 12905 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 84188 KiB
Current children cumulated memory: 49124 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3619.25
CPU time (s): 3600.01
CPU user time (s): 3573.78
CPU system time (s): 26.23
CPU usage (%): 99.4685
Max. virtual memory (cumulated for all children) (KiB): 84188
Max. memory (cumulated for all children) (KiB): 49124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.78
system time used= 26.23
maximum resident set size= 49528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14641
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13737400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 651
involuntary context switches= 25591
# summary of solver processes directly reported to runsolver:
# pid: 370001
# total CPU time (s): 3600.01
# total CPU user time (s): 3573.78
# total CPU system time (s): 26.23
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41469 second user time and 17.01 second system time
The end
Begin job on nodeC015 at 2024-07-27 09:20:39 IDJOB=4460214 IDBENCH=147583 IDSOLVER=3086 FILE ID=nodeC015/4460214-1722064839 RUNJOBID= nodeC015-1722064836-369841 SLURM_JOB_ID= 8248085 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.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-4460214-1722064839/watcher-4460214-1722064839 -o /tmp/evaluation-result-4460214-1722064839/solver-4460214-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722064836-369841 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460214-1722064839 --lp-cut-gomory=0 HOME/instance-4460214-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b RANDOM SEED=1994572972 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3645.966 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.535 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.147 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.178 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3676.766 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.616 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3625.510 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.939 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128070464 kB MemAvailable: 129434000 kB Buffers: 376348 kB Cached: 1651584 kB SwapCached: 312 kB Active: 1286508 kB Inactive: 1234128 kB Active(anon): 4416 kB Inactive(anon): 540604 kB Active(file): 1282092 kB Inactive(file): 693524 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 227884 kB Writeback: 36 kB AnonPages: 491588 kB Mapped: 105540 kB Shmem: 52524 kB KReclaimable: 449328 kB Slab: 580356 kB SReclaimable: 449328 kB SUnreclaim: 131028 kB KernelStack: 4204 kB PageTables: 10704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 877344 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16224 kB HardwareCorrupted: 0 kB AnonHugePages: 221184 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: 367316 kB DirectMap2M: 43446272 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890048 MiB End job on nodeC015 at 2024-07-27 10:20:58