| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.05 | 3614.66 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb |
| MD5SUM | 91ecd4a7d2e975c8e8a35b07ef7013ef |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 130.294 |
| 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 | 774 |
| Total number of constraints | 994 |
| Number of constraints which are clauses | 771 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 192 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 192 |
| Number of terms in the objective function | 3 |
| 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 | 3 |
| Number of bits of the sum of numbers in the objective function | 2 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 380 |
| Number of bits of the biggest sum of numbers | 9 |
| 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/4.39 c #variables 774 #constraints 1024 0.00/4.40 c bounds - >= 0 @ 0.0144 0.00/4.40 c rational objective 3 1.00/5.42 c #Conflicts: 1000 | #Constraints: 2033 1.00/5.42 c #Conflicts: 2000 | #Constraints: 3044 1.00/5.42 c INPROCESSING 1.00/5.42 c GARBAGE COLLECT 1.00/5.42 c rational objective 3 2.10/6.50 c bounds - >= 3 @ 0.981791 2.10/6.50 c #Conflicts: 3000 | #Constraints: 2279 2.10/6.50 c #Conflicts: 4000 | #Constraints: 3289 2.10/6.50 c INPROCESSING 2.10/6.50 c GARBAGE COLLECT 2.10/6.50 c rational objective 3 3.29/7.70 c #Conflicts: 5000 | #Constraints: 2688 3.29/7.70 c #Conflicts: 6000 | #Constraints: 3693 3.29/7.70 c INPROCESSING 3.29/7.70 c GARBAGE COLLECT 3.29/7.70 c rational objective 3 4.49/8.91 c #Conflicts: 7000 | #Constraints: 2692 4.49/8.91 c #Conflicts: 8000 | #Constraints: 3698 4.49/8.91 c #Conflicts: 9000 | #Constraints: 4705 4.49/8.91 c INPROCESSING 4.49/8.91 c GARBAGE COLLECT 4.49/8.91 c rational objective 3 5.38/9.84 c #Conflicts: 10000 | #Constraints: 3400 5.38/9.84 c #Conflicts: 11000 | #Constraints: 4414 5.38/9.84 c #Conflicts: 12000 | #Constraints: 5424 5.38/9.84 c INPROCESSING 5.38/9.84 c GARBAGE COLLECT 5.38/9.84 c rational objective 3 6.60/11.09 c #Conflicts: 13000 | #Constraints: 3856 6.60/11.09 c #Conflicts: 14000 | #Constraints: 4871 6.60/11.09 c #Conflicts: 15000 | #Constraints: 5880 6.60/11.09 c INPROCESSING 6.60/11.09 c GARBAGE COLLECT 6.60/11.09 c rational objective 3 9.17/13.67 c #Conflicts: 16000 | #Constraints: 4096 9.17/13.67 c #Conflicts: 17000 | #Constraints: 5101 9.17/13.67 c #Conflicts: 18000 | #Constraints: 6104 9.17/13.67 c INPROCESSING 9.17/13.67 c GARBAGE COLLECT 9.17/13.67 c rational objective 3 10.77/15.23 c #Conflicts: 19000 | #Constraints: 4102 10.77/15.23 c #Conflicts: 20000 | #Constraints: 5109 10.77/15.23 c #Conflicts: 21000 | #Constraints: 6120 10.77/15.23 c INPROCESSING 10.77/15.23 c GARBAGE COLLECT 10.77/15.23 c rational objective 3 12.07/16.54 c #Conflicts: 22000 | #Constraints: 3905 12.07/16.54 c #Conflicts: 23000 | #Constraints: 4917 12.07/16.54 c #Conflicts: 24000 | #Constraints: 5920 12.07/16.54 c #Conflicts: 25000 | #Constraints: 6926 12.07/16.54 c INPROCESSING 12.07/16.54 c GARBAGE COLLECT 12.07/16.54 c rational objective 3 13.36/17.88 c #Conflicts: 26000 | #Constraints: 4518 13.36/17.88 c #Conflicts: 27000 | #Constraints: 5531 13.36/17.88 c #Conflicts: 28000 | #Constraints: 6541 13.36/17.88 c #Conflicts: 29000 | #Constraints: 7547 13.36/17.88 c INPROCESSING 13.36/17.88 c GARBAGE COLLECT 13.36/17.88 c rational objective 3 14.86/19.36 c #Conflicts: 30000 | #Constraints: 4928 14.86/19.36 c #Conflicts: 31000 | #Constraints: 5934 14.86/19.36 c #Conflicts: 32000 | #Constraints: 6947 14.86/19.36 c #Conflicts: 33000 | #Constraints: 7958 14.86/19.36 c INPROCESSING 14.86/19.36 c GARBAGE COLLECT 14.86/19.36 c rational objective 3 16.26/20.74 c #Conflicts: 34000 | #Constraints: 5133 16.26/20.74 c #Conflicts: 35000 | #Constraints: 6142 16.26/20.74 c #Conflicts: 36000 | #Constraints: 7154 16.26/20.74 c #Conflicts: 37000 | #Constraints: 8163 16.26/20.74 c INPROCESSING 16.26/20.74 c GARBAGE COLLECT 16.26/20.74 c rational objective 3 18.45/22.94 c #Conflicts: 38000 | #Constraints: 5130 18.45/22.94 c #Conflicts: 39000 | #Constraints: 6140 18.45/22.94 c #Conflicts: 40000 | #Constraints: 7151 18.45/22.94 c #Conflicts: 41000 | #Constraints: 8159 18.45/22.94 c INPROCESSING 18.45/22.94 c GARBAGE COLLECT 18.45/22.94 c rational objective 3 21.25/25.79 c #Conflicts: 42000 | #Constraints: 4938 21.25/25.79 c #Conflicts: 43000 | #Constraints: 5949 21.25/25.79 c #Conflicts: 44000 | #Constraints: 6961 21.25/25.79 c #Conflicts: 45000 | #Constraints: 7967 21.25/25.79 c #Conflicts: 46000 | #Constraints: 8975 21.25/25.79 c INPROCESSING 21.25/25.79 c GARBAGE COLLECT 21.25/25.79 c rational objective 3 23.44/27.91 c #Conflicts: 47000 | #Constraints: 5538 23.44/27.91 c #Conflicts: 48000 | #Constraints: 6545 23.44/27.91 c #Conflicts: 49000 | #Constraints: 7553 23.44/27.91 c #Conflicts: 50000 | #Constraints: 8559 23.44/27.91 c #Conflicts: 51000 | #Constraints: 9577 23.44/27.91 c INPROCESSING 23.44/27.91 c GARBAGE COLLECT 23.44/27.91 c rational objective 3 25.93/30.49 c #Conflicts: 52000 | #Constraints: 5945 25.93/30.49 c #Conflicts: 53000 | #Constraints: 6948 25.93/30.49 c #Conflicts: 54000 | #Constraints: 7953 25.93/30.49 c #Conflicts: 55000 | #Constraints: 8958 25.93/30.49 c #Conflicts: 56000 | #Constraints: 9969 25.93/30.49 c INPROCESSING 25.93/30.49 c GARBAGE COLLECT 25.93/30.49 c rational objective 3 29.12/33.60 c #Conflicts: 57000 | #Constraints: 6141 29.12/33.60 c #Conflicts: 58000 | #Constraints: 7147 29.12/33.60 c #Conflicts: 59000 | #Constraints: 8153 29.12/33.60 c #Conflicts: 60000 | #Constraints: 9161 29.12/33.60 c #Conflicts: 61000 | #Constraints: 10171 29.12/33.60 c INPROCESSING 29.12/33.60 c GARBAGE COLLECT 29.12/33.60 c rational objective 3 32.32/36.82 c #Conflicts: 62000 | #Constraints: 6137 32.32/36.82 c #Conflicts: 63000 | #Constraints: 7144 32.32/36.82 c #Conflicts: 64000 | #Constraints: 8152 32.32/36.82 c #Conflicts: 65000 | #Constraints: 9158 32.32/36.82 c #Conflicts: 66000 | #Constraints: 10165 32.32/36.82 c INPROCESSING 32.32/36.82 c GARBAGE COLLECT 32.32/36.82 c rational objective 3 35.11/39.64 c #Conflicts: 67000 | #Constraints: 5929 35.11/39.64 c #Conflicts: 68000 | #Constraints: 6935 35.11/39.64 c #Conflicts: 69000 | #Constraints: 7938 35.11/39.64 c #Conflicts: 70000 | #Constraints: 8945 35.11/39.64 c #Conflicts: 71000 | #Constraints: 9948 35.11/39.64 c #Conflicts: 72000 | #Constraints: 10955 35.11/39.64 c INPROCESSING 35.11/39.64 c GARBAGE COLLECT 35.11/39.64 c rational objective 3 38.51/43.04 c #Conflicts: 73000 | #Constraints: 6522 38.51/43.04 c #Conflicts: 74000 | #Constraints: 7529 38.51/43.04 c #Conflicts: 75000 | #Constraints: 8536 38.51/43.04 c #Conflicts: 76000 | #Constraints: 9545 38.51/43.04 c #Conflicts: 77000 | #Constraints: 10555 38.51/43.04 c #Conflicts: 78000 | #Constraints: 11560 38.51/43.04 c INPROCESSING 38.51/43.04 c GARBAGE COLLECT 38.51/43.04 c rational objective 3 41.89/46.44 c #Conflicts: 79000 | #Constraints: 6938 41.89/46.44 c #Conflicts: 80000 | #Constraints: 7946 41.89/46.44 c #Conflicts: 81000 | #Constraints: 8949 41.89/46.44 c #Conflicts: 82000 | #Constraints: 9953 41.89/46.44 c #Conflicts: 83000 | #Constraints: 10955 41.89/46.44 c #Conflicts: 84000 | #Constraints: 11962 41.89/46.44 c INPROCESSING 41.89/46.44 c GARBAGE COLLECT 41.89/46.44 c rational objective 3 45.49/50.09 c #Conflicts: 85000 | #Constraints: 7131 45.49/50.09 c #Conflicts: 86000 | #Constraints: 8135 45.49/50.09 c #Conflicts: 87000 | #Constraints: 9142 45.49/50.09 c #Conflicts: 88000 | #Constraints: 10145 45.49/50.09 c #Conflicts: 89000 | #Constraints: 11149 45.49/50.09 c #Conflicts: 90000 | #Constraints: 12157 45.49/50.09 c INPROCESSING 45.49/50.09 c GARBAGE COLLECT 45.49/50.09 c rational objective 3 50.07/54.68 c #Conflicts: 91000 | #Constraints: 7130 50.07/54.68 c #Conflicts: 92000 | #Constraints: 8136 50.07/54.68 c #Conflicts: 93000 | #Constraints: 9145 50.07/54.68 c #Conflicts: 94000 | #Constraints: 10151 50.07/54.68 c #Conflicts: 95000 | #Constraints: 11155 50.07/54.68 c #Conflicts: 96000 | #Constraints: 12160 50.07/54.68 c INPROCESSING 50.07/54.68 c GARBAGE COLLECT 50.07/54.68 c rational objective 3 55.65/60.21 c #Conflicts: 97000 | #Constraints: 6941 55.65/60.21 c #Conflicts: 98000 | #Constraints: 7951 55.65/60.21 c #Conflicts: 99000 | #Constraints: 8958 55.65/60.21 c #Conflicts: 100000 | #Constraints: 9966 55.65/60.21 c #Conflicts: 101000 | #Constraints: 10976 55.65/60.21 c #Conflicts: 102000 | #Constraints: 11982 55.65/60.21 c #Conflicts: 103000 | #Constraints: 12988 55.65/60.21 c INPROCESSING 55.65/60.21 c GARBAGE COLLECT 55.65/60.21 c rational objective 3 60.34/64.90 c #Conflicts: 104000 | #Constraints: 7542 60.34/64.90 c #Conflicts: 105000 | #Constraints: 8553 60.34/64.90 c #Conflicts: 106000 | #Constraints: 9559 60.34/64.90 c #Conflicts: 107000 | #Constraints: 10566 60.34/64.90 c #Conflicts: 108000 | #Constraints: 11573 60.34/64.90 c #Conflicts: 109000 | #Constraints: 12576 60.34/64.90 c #Conflicts: 110000 | #Constraints: 13579 60.34/64.90 c INPROCESSING 60.34/64.90 c GARBAGE COLLECT 60.34/64.90 c rational objective 3 64.03/68.67 c #Conflicts: 111000 | #Constraints: 7938 64.03/68.67 c #Conflicts: 112000 | #Constraints: 8947 64.03/68.67 c #Conflicts: 113000 | #Constraints: 9954 64.03/68.67 c #Conflicts: 114000 | #Constraints: 10962 64.03/68.67 c #Conflicts: 115000 | #Constraints: 11970 64.03/68.67 c #Conflicts: 116000 | #Constraints: 12976 64.03/68.67 c #Conflicts: 117000 | #Constraints: 13984 64.03/68.67 c INPROCESSING 64.03/68.67 c GARBAGE COLLECT 64.03/68.67 c rational objective 3 68.53/73.16 c #Conflicts: 118000 | #Constraints: 8145 68.53/73.16 c #Conflicts: 119000 | #Constraints: 9147 68.53/73.16 c #Conflicts: 120000 | #Constraints: 10150 68.53/73.16 c #Conflicts: 121000 | #Constraints: 11156 68.53/73.16 c #Conflicts: 122000 | #Constraints: 12159 68.53/73.16 c #Conflicts: 123000 | #Constraints: 13164 68.53/73.16 c #Conflicts: 124000 | #Constraints: 14173 68.53/73.16 c INPROCESSING 68.53/73.16 c GARBAGE COLLECT 68.53/73.16 c rational objective 3 73.31/77.93 c #Conflicts: 125000 | #Constraints: 8136 73.31/77.93 c #Conflicts: 126000 | #Constraints: 9145 73.31/77.93 c #Conflicts: 127000 | #Constraints: 10153 73.31/77.93 c #Conflicts: 128000 | #Constraints: 11158 73.31/77.93 c #Conflicts: 129000 | #Constraints: 12163 73.31/77.93 c #Conflicts: 130000 | #Constraints: 13170 73.31/77.93 c #Conflicts: 131000 | #Constraints: 14177 73.31/77.93 c INPROCESSING 73.31/77.93 c GARBAGE COLLECT 73.31/77.93 c rational objective 3 78.51/83.19 c #Conflicts: 132000 | #Constraints: 7936 78.51/83.19 c #Conflicts: 133000 | #Constraints: 8942 78.51/83.19 c #Conflicts: 134000 | #Constraints: 9948 78.51/83.19 c #Conflicts: 135000 | #Constraints: 10952 78.51/83.19 c #Conflicts: 136000 | #Constraints: 11959 78.51/83.19 c #Conflicts: 137000 | #Constraints: 12965 78.51/83.19 c #Conflicts: 138000 | #Constraints: 13973 78.51/83.19 c #Conflicts: 139000 | #Constraints: 14980 78.51/83.19 c INPROCESSING 78.51/83.19 c GARBAGE COLLECT 78.51/83.19 c rational objective 3 84.98/89.64 c #Conflicts: 140000 | #Constraints: 8549 84.98/89.64 c #Conflicts: 141000 | #Constraints: 9553 84.98/89.64 c #Conflicts: 142000 | #Constraints: 10559 84.98/89.64 c #Conflicts: 143000 | #Constraints: 11563 84.98/89.64 c #Conflicts: 144000 | #Constraints: 12567 84.98/89.64 c #Conflicts: 145000 | #Constraints: 13575 84.98/89.64 c #Conflicts: 146000 | #Constraints: 14581 84.98/89.64 c #Conflicts: 147000 | #Constraints: 15585 84.98/89.64 c INPROCESSING 84.98/89.64 c GARBAGE COLLECT 84.98/89.64 c rational objective 3 89.86/94.51 c #Conflicts: 148000 | #Constraints: 8955 89.86/94.51 c #Conflicts: 149000 | #Constraints: 9963 89.86/94.51 c #Conflicts: 150000 | #Constraints: 10965 89.86/94.51 c #Conflicts: 151000 | #Constraints: 11974 89.86/94.51 c #Conflicts: 152000 | #Constraints: 12984 89.86/94.51 c #Conflicts: 153000 | #Constraints: 13992 89.86/94.51 c #Conflicts: 154000 | #Constraints: 14995 89.86/94.51 c #Conflicts: 155000 | #Constraints: 16003 89.86/94.51 c INPROCESSING 89.86/94.51 c GARBAGE COLLECT 89.86/94.51 c rational objective 3 95.36/100.04 c #Conflicts: 156000 | #Constraints: 9158 95.36/100.04 c #Conflicts: 157000 | #Constraints: 10164 95.36/100.04 c #Conflicts: 158000 | #Constraints: 11169 95.36/100.04 c #Conflicts: 159000 | #Constraints: 12175 95.36/100.04 c #Conflicts: 160000 | #Constraints: 13182 95.36/100.04 c #Conflicts: 161000 | #Constraints: 14196 95.36/100.04 c #Conflicts: 162000 | #Constraints: 15199 95.36/100.04 c #Conflicts: 163000 | #Constraints: 16210 95.36/100.04 c INPROCESSING 95.36/100.04 c GARBAGE COLLECT 95.36/100.04 c rational objective 3 100.24/104.95 c #Conflicts: 164000 | #Constraints: 9165 100.24/104.95 c #Conflicts: 165000 | #Constraints: 10176 100.24/104.95 c #Conflicts: 166000 | #Constraints: 11197 100.24/104.95 c #Conflicts: 167000 | #Constraints: 12205 100.24/104.95 c #Conflicts: 168000 | #Constraints: 13214 100.24/104.95 c #Conflicts: 169000 | #Constraints: 14219 100.24/104.95 c #Conflicts: 170000 | #Constraints: 15222 100.24/104.95 c #Conflicts: 171000 | #Constraints: 16227 100.24/104.95 c INPROCESSING 100.24/104.95 c GARBAGE COLLECT 100.24/104.95 c rational objective 3 105.33/110.09 c #Conflicts: 172000 | #Constraints: 8969 105.33/110.09 c #Conflicts: 173000 | #Constraints: 9970 105.33/110.09 c #Conflicts: 174000 | #Constraints: 10977 105.33/110.09 c #Conflicts: 175000 | #Constraints: 11981 105.33/110.09 c #Conflicts: 176000 | #Constraints: 12987 105.33/110.09 c #Conflicts: 177000 | #Constraints: 13996 105.33/110.09 c #Conflicts: 178000 | #Constraints: 15008 105.33/110.09 c #Conflicts: 179000 | #Constraints: 16018 105.33/110.09 c #Conflicts: 180000 | #Constraints: 17023 105.33/110.09 c INPROCESSING 105.33/110.09 c GARBAGE COLLECT 105.33/110.09 c rational objective 3 111.21/115.94 c #Conflicts: 181000 | #Constraints: 9564 111.21/115.94 c #Conflicts: 182000 | #Constraints: 10573 111.21/115.94 c #Conflicts: 183000 | #Constraints: 11578 111.21/115.94 c #Conflicts: 184000 | #Constraints: 12584 111.21/115.94 c #Conflicts: 185000 | #Constraints: 13589 111.21/115.94 c #Conflicts: 186000 | #Constraints: 14593 111.21/115.94 c #Conflicts: 187000 | #Constraints: 15599 111.21/115.94 c #Conflicts: 188000 | #Constraints: 16607 111.21/115.94 c #Conflicts: 189000 | #Constraints: 17612 111.21/115.94 c INPROCESSING 111.21/115.94 c GARBAGE COLLECT 111.21/115.94 c rational objective 3 120.48/125.20 c #Conflicts: 190000 | #Constraints: 9967 120.48/125.20 c #Conflicts: 191000 | #Constraints: 10976 120.48/125.20 c #Conflicts: 192000 | #Constraints: 11982 120.48/125.20 c #Conflicts: 193000 | #Constraints: 12986 120.48/125.20 c #Conflicts: 194000 | #Constraints: 13989 120.48/125.20 c #Conflicts: 195000 | #Constraints: 14994 120.48/125.20 c #Conflicts: 196000 | #Constraints: 15997 120.48/125.20 c #Conflicts: 197000 | #Constraints: 17003 120.48/125.20 c #Conflicts: 198000 | #Constraints: 18005 120.48/125.20 c INPROCESSING 120.48/125.20 c GARBAGE COLLECT 120.48/125.20 c rational objective 3 130.06/134.84 c #Conflicts: 199000 | #Constraints: 10160 130.06/134.84 c #Conflicts: 200000 | #Constraints: 11165 130.06/134.84 c #Conflicts: 201000 | #Constraints: 12169 130.06/134.84 c #Conflicts: 202000 | #Constraints: 13172 130.06/134.84 c #Conflicts: 203000 | #Constraints: 14175 130.06/134.84 c #Conflicts: 204000 | #Constraints: 15177 130.06/134.84 c #Conflicts: 205000 | #Constraints: 16182 130.06/134.84 c #Conflicts: 206000 | #Constraints: 17193 130.06/134.84 c #Conflicts: 207000 | #Constraints: 18196 130.06/134.84 c INPROCESSING 130.06/134.84 c GARBAGE COLLECT 130.06/134.84 c rational objective 3 139.03/143.82 c #Conflicts: 208000 | #Constraints: 10153 139.03/143.82 c #Conflicts: 209000 | #Constraints: 11157 139.03/143.82 c #Conflicts: 210000 | #Constraints: 12164 139.03/143.82 c #Conflicts: 211000 | #Constraints: 13168 139.03/143.82 c #Conflicts: 212000 | #Constraints: 14173 139.03/143.82 c #Conflicts: 213000 | #Constraints: 15180 139.03/143.82 c #Conflicts: 214000 | #Constraints: 16188 139.03/143.82 c #Conflicts: 215000 | #Constraints: 17191 139.03/143.82 c #Conflicts: 216000 | #Constraints: 18196 139.03/143.82 c INPROCESSING 139.03/143.82 c GARBAGE COLLECT 139.03/143.82 c rational objective 3 147.51/152.32 c #Conflicts: 217000 | #Constraints: 9953 147.51/152.32 c #Conflicts: 218000 | #Constraints: 10957 147.51/152.32 c #Conflicts: 219000 | #Constraints: 11961 147.51/152.32 c #Conflicts: 220000 | #Constraints: 12965 147.51/152.32 c #Conflicts: 221000 | #Constraints: 13973 147.51/152.32 c #Conflicts: 222000 | #Constraints: 14976 147.51/152.32 c #Conflicts: 223000 | #Constraints: 15980 147.51/152.32 c #Conflicts: 224000 | #Constraints: 16982 147.51/152.32 c #Conflicts: 225000 | #Constraints: 17984 147.51/152.32 c #Conflicts: 226000 | #Constraints: 18987 147.51/152.32 c INPROCESSING 147.51/152.32 c GARBAGE COLLECT 147.51/152.32 c rational objective 3 156.09/160.96 c #Conflicts: 227000 | #Constraints: 10551 156.09/160.96 c #Conflicts: 228000 | #Constraints: 11558 156.09/160.96 c #Conflicts: 229000 | #Constraints: 12566 156.09/160.96 c #Conflicts: 230000 | #Constraints: 13572 156.09/160.96 c #Conflicts: 231000 | #Constraints: 14577 156.09/160.96 c #Conflicts: 232000 | #Constraints: 15586 156.09/160.96 c #Conflicts: 233000 | #Constraints: 16593 156.09/160.96 c #Conflicts: 234000 | #Constraints: 17603 156.09/160.96 c #Conflicts: 235000 | #Constraints: 18611 156.09/160.96 c #Conflicts: 236000 | #Constraints: 19621 156.09/160.96 c INPROCESSING 156.09/160.96 c GARBAGE COLLECT 156.09/160.96 c rational objective 3 165.18/170.02 c #Conflicts: 237000 | #Constraints: 10960 165.18/170.02 c #Conflicts: 238000 | #Constraints: 11968 165.18/170.02 c #Conflicts: 239000 | #Constraints: 12973 165.18/170.02 c #Conflicts: 240000 | #Constraints: 13981 165.18/170.02 c #Conflicts: 241000 | #Constraints: 14992 165.18/170.02 c #Conflicts: 242000 | #Constraints: 15995 165.18/170.02 c #Conflicts: 243000 | #Constraints: 17001 165.18/170.02 c #Conflicts: 244000 | #Constraints: 18009 165.18/170.02 c #Conflicts: 245000 | #Constraints: 19015 165.18/170.02 c #Conflicts: 246000 | #Constraints: 20023 165.18/170.02 c INPROCESSING 165.18/170.02 c GARBAGE COLLECT 165.18/170.02 c rational objective 3 172.16/177.02 c #Conflicts: 247000 | #Constraints: 11187 172.16/177.02 c #Conflicts: 248000 | #Constraints: 12192 172.16/177.02 c #Conflicts: 249000 | #Constraints: 13195 172.16/177.02 c #Conflicts: 250000 | #Constraints: 14200 172.16/177.02 c #Conflicts: 251000 | #Constraints: 15206 172.16/177.02 c #Conflicts: 252000 | #Constraints: 16212 172.16/177.02 c #Conflicts: 253000 | #Constraints: 17214 172.16/177.02 c #Conflicts: 254000 | #Constraints: 18222 172.16/177.02 c #Conflicts: 255000 | #Constraints: 19235 172.16/177.02 c #Conflicts: 256000 | #Constraints: 20243 172.16/177.02 c INPROCESSING 172.16/177.02 c GARBAGE COLLECT 172.16/177.02 c rational objective 3 179.92/184.86 c #Conflicts: 257000 | #Constraints: 11168 179.92/184.86 c #Conflicts: 258000 | #Constraints: 12178 179.92/184.86 c #Conflicts: 259000 | #Constraints: 13184 179.92/184.86 c #Conflicts: 260000 | #Constraints: 14189 179.92/184.86 c #Conflicts: 261000 | #Constraints: 15193 179.92/184.86 c #Conflicts: 262000 | #Constraints: 16201 179.92/184.86 c #Conflicts: 263000 | #Constraints: 17209 179.92/184.86 c #Conflicts: 264000 | #Constraints: 18224 179.92/184.86 c #Conflicts: 265000 | #Constraints: 19230 179.92/184.86 c #Conflicts: 266000 | #Constraints: 20233 179.92/184.86 c INPROCESSING 179.92/184.86 c GARBAGE COLLECT 179.92/184.86 c rational objective 3 188.40/193.38 c #Conflicts: 267000 | #Constraints: 10971 188.40/193.38 c #Conflicts: 268000 | #Constraints: 11977 188.40/193.38 c #Conflicts: 269000 | #Constraints: 12979 188.40/193.38 c #Conflicts: 270000 | #Constraints: 13990 188.40/193.38 c #Conflicts: 271000 | #Constraints: 14995 188.40/193.38 c #Conflicts: 272000 | #Constraints: 16003 188.40/193.38 c #Conflicts: 273000 | #Constraints: 17008 188.40/193.38 c #Conflicts: 274000 | #Constraints: 18009 188.40/193.38 c #Conflicts: 275000 | #Constraints: 19010 188.40/193.38 c #Conflicts: 276000 | #Constraints: 20015 188.40/193.38 c #Conflicts: 277000 | #Constraints: 21025 188.40/193.38 c INPROCESSING 188.40/193.38 c GARBAGE COLLECT 188.40/193.38 c rational objective 3 197.68/202.70 c #Conflicts: 278000 | #Constraints: 11569 197.68/202.70 c #Conflicts: 279000 | #Constraints: 12574 197.68/202.70 c #Conflicts: 280000 | #Constraints: 13579 197.68/202.70 c #Conflicts: 281000 | #Constraints: 14584 197.68/202.70 c #Conflicts: 282000 | #Constraints: 15589 197.68/202.70 c #Conflicts: 283000 | #Constraints: 16595 197.68/202.70 c #Conflicts: 284000 | #Constraints: 17601 197.68/202.70 c #Conflicts: 285000 | #Constraints: 18608 197.68/202.70 c #Conflicts: 286000 | #Constraints: 19612 197.68/202.70 c #Conflicts: 287000 | #Constraints: 20622 197.68/202.70 c #Conflicts: 288000 | #Constraints: 21625 197.68/202.70 c INPROCESSING 197.68/202.70 c GARBAGE COLLECT 197.68/202.70 c rational objective 3 208.65/213.61 c #Conflicts: 289000 | #Constraints: 11961 208.65/213.61 c #Conflicts: 290000 | #Constraints: 12967 208.65/213.61 c #Conflicts: 291000 | #Constraints: 13973 208.65/213.61 c #Conflicts: 292000 | #Constraints: 14979 208.65/213.61 c #Conflicts: 293000 | #Constraints: 15985 208.65/213.61 c #Conflicts: 294000 | #Constraints: 16989 208.65/213.61 c #Conflicts: 295000 | #Constraints: 17993 208.65/213.61 c #Conflicts: 296000 | #Constraints: 18999 208.65/213.61 c #Conflicts: 297000 | #Constraints: 20013 208.65/213.61 c #Conflicts: 298000 | #Constraints: 21018 208.65/213.61 c #Conflicts: 299000 | #Constraints: 22028 208.65/213.61 c INPROCESSING 208.65/213.61 c GARBAGE COLLECT 208.65/213.61 c rational objective 3 217.53/222.53 c #Conflicts: 300000 | #Constraints: 12161 217.53/222.53 c #Conflicts: 301000 | #Constraints: 13165 217.53/222.53 c #Conflicts: 302000 | #Constraints: 14170 217.53/222.53 c #Conflicts: 303000 | #Constraints: 15175 217.53/222.53 c #Conflicts: 304000 | #Constraints: 16179 217.53/222.53 c #Conflicts: 305000 | #Constraints: 17183 217.53/222.53 c #Conflicts: 306000 | #Constraints: 18188 217.53/222.53 c #Conflicts: 307000 | #Constraints: 19198 217.53/222.53 c #Conflicts: 308000 | #Constraints: 20202 217.53/222.53 c #Conflicts: 309000 | #Constraints: 21206 217.53/222.53 c #Conflicts: 310000 | #Constraints: 22211 217.53/222.53 c INPROCESSING 217.53/222.53 c GARBAGE COLLECT 217.53/222.53 c rational objective 3 227.40/232.46 c #Conflicts: 311000 | #Constraints: 12156 227.40/232.46 c #Conflicts: 312000 | #Constraints: 13162 227.40/232.46 c #Conflicts: 313000 | #Constraints: 14167 227.40/232.46 c #Conflicts: 314000 | #Constraints: 15172 227.40/232.46 c #Conflicts: 315000 | #Constraints: 16180 227.40/232.46 c #Conflicts: 316000 | #Constraints: 17187 227.40/232.46 c #Conflicts: 317000 | #Constraints: 18191 227.40/232.46 c #Conflicts: 318000 | #Constraints: 19194 227.40/232.46 c #Conflicts: 319000 | #Constraints: 20200 227.40/232.46 c #Conflicts: 320000 | #Constraints: 21202 227.40/232.46 c #Conflicts: 321000 | #Constraints: 22208 227.40/232.46 c INPROCESSING 227.40/232.46 c GARBAGE COLLECT 227.40/232.46 c rational objective 3 238.98/244.03 c #Conflicts: 322000 | #Constraints: 11959 238.98/244.03 c #Conflicts: 323000 | #Constraints: 12965 238.98/244.03 c #Conflicts: 324000 | #Constraints: 13975 238.98/244.03 c #Conflicts: 325000 | #Constraints: 14981 238.98/244.03 c #Conflicts: 326000 | #Constraints: 15987 238.98/244.03 c #Conflicts: 327000 | #Constraints: 16995 238.98/244.03 c #Conflicts: 328000 | #Constraints: 17997 238.98/244.03 c #Conflicts: 329000 | #Constraints: 19000 238.98/244.03 c #Conflicts: 330000 | #Constraints: 20002 238.98/244.03 c #Conflicts: 331000 | #Constraints: 21007 238.98/244.03 c #Conflicts: 332000 | #Constraints: 22010 238.98/244.03 c #Conflicts: 333000 | #Constraints: 23013 238.98/244.03 c INPROCESSING 238.98/244.03 c GARBAGE COLLECT 238.98/244.03 c rational objective 3 248.34/253.41 c #Conflicts: 334000 | #Constraints: 12562 248.34/253.41 c #Conflicts: 335000 | #Constraints: 13574 248.34/253.41 c #Conflicts: 336000 | #Constraints: 14581 248.34/253.41 c #Conflicts: 337000 | #Constraints: 15583 248.34/253.41 c #Conflicts: 338000 | #Constraints: 16587 248.34/253.41 c #Conflicts: 339000 | #Constraints: 17594 248.34/253.41 c #Conflicts: 340000 | #Constraints: 18601 248.34/253.41 c #Conflicts: 341000 | #Constraints: 19604 248.34/253.41 c #Conflicts: 342000 | #Constraints: 20610 248.34/253.41 c #Conflicts: 343000 | #Constraints: 21616 248.34/253.41 c #Conflicts: 344000 | #Constraints: 22622 248.34/253.41 c #Conflicts: 345000 | #Constraints: 23627 248.34/253.41 c INPROCESSING 248.34/253.41 c GARBAGE COLLECT 248.34/253.41 c rational objective 3 259.70/264.82 c #Conflicts: 346000 | #Constraints: 12973 259.70/264.82 c #Conflicts: 347000 | #Constraints: 13981 259.70/264.82 c #Conflicts: 348000 | #Constraints: 14998 259.70/264.82 c #Conflicts: 349000 | #Constraints: 16006 259.70/264.82 c #Conflicts: 350000 | #Constraints: 17012 259.70/264.82 c #Conflicts: 351000 | #Constraints: 18018 259.70/264.82 c #Conflicts: 352000 | #Constraints: 19023 259.70/264.82 c #Conflicts: 353000 | #Constraints: 20024 259.70/264.82 c #Conflicts: 354000 | #Constraints: 21027 259.70/264.82 c #Conflicts: 355000 | #Constraints: 22031 259.70/264.82 c #Conflicts: 356000 | #Constraints: 23039 259.70/264.82 c #Conflicts: 357000 | #Constraints: 24044 259.70/264.82 c INPROCESSING 259.70/264.82 c GARBAGE COLLECT 259.70/264.82 c rational objective 3 269.67/274.84 c #Conflicts: 358000 | #Constraints: 13194 269.67/274.84 c #Conflicts: 359000 | #Constraints: 14200 269.67/274.84 c #Conflicts: 360000 | #Constraints: 15203 269.67/274.84 c #Conflicts: 361000 | #Constraints: 16208 269.67/274.84 c #Conflicts: 362000 | #Constraints: 17215 269.67/274.84 c #Conflicts: 363000 | #Constraints: 18223 269.67/274.84 c #Conflicts: 364000 | #Constraints: 19227 269.67/274.84 c #Conflicts: 365000 | #Constraints: 20234 269.67/274.84 c #Conflicts: 366000 | #Constraints: 21242 269.67/274.84 c #Conflicts: 367000 | #Constraints: 22250 269.67/274.84 c #Conflicts: 368000 | #Constraints: 23256 269.67/274.84 c #Conflicts: 369000 | #Constraints: 24265 269.67/274.84 c INPROCESSING 269.67/274.84 c GARBAGE COLLECT 269.67/274.84 c rational objective 3 281.24/286.46 c #Conflicts: 370000 | #Constraints: 13199 281.24/286.46 c #Conflicts: 371000 | #Constraints: 14201 281.24/286.46 c #Conflicts: 372000 | #Constraints: 15205 281.24/286.46 c #Conflicts: 373000 | #Constraints: 16210 281.24/286.46 c #Conflicts: 374000 | #Constraints: 17217 281.24/286.46 c #Conflicts: 375000 | #Constraints: 18221 281.24/286.46 c #Conflicts: 376000 | #Constraints: 19227 281.24/286.46 c #Conflicts: 377000 | #Constraints: 20234 281.24/286.46 c #Conflicts: 378000 | #Constraints: 21241 281.24/286.46 c #Conflicts: 379000 | #Constraints: 22248 281.24/286.46 c #Conflicts: 380000 | #Constraints: 23256 281.24/286.46 c #Conflicts: 381000 | #Constraints: 24263 281.24/286.46 c INPROCESSING 281.24/286.46 c GARBAGE COLLECT 281.24/286.46 c rational objective 3 293.11/298.39 c #Conflicts: 382000 | #Constraints: 12984 293.11/298.39 c #Conflicts: 383000 | #Constraints: 13990 293.11/298.39 c #Conflicts: 384000 | #Constraints: 14994 293.11/298.39 c #Conflicts: 385000 | #Constraints: 15998 293.11/298.39 c #Conflicts: 386000 | #Constraints: 17004 293.11/298.39 c #Conflicts: 387000 | #Constraints: 18013 293.11/298.39 c #Conflicts: 388000 | #Constraints: 19018 293.11/298.39 c #Conflicts: 389000 | #Constraints: 20024 293.11/298.39 c #Conflicts: 390000 | #Constraints: 21030 293.11/298.39 c #Conflicts: 391000 | #Constraints: 22035 293.11/298.39 c #Conflicts: 392000 | #Constraints: 23041 293.11/298.39 c #Conflicts: 393000 | #Constraints: 24052 293.11/298.39 c #Conflicts: 394000 | #Constraints: 25059 293.11/298.39 c INPROCESSING 293.11/298.39 c GARBAGE COLLECT 293.11/298.39 c rational objective 3 303.67/308.95 c #Conflicts: 395000 | #Constraints: 13590 303.67/308.95 c #Conflicts: 396000 | #Constraints: 14600 303.67/308.95 c #Conflicts: 397000 | #Constraints: 15610 303.67/308.95 c #Conflicts: 398000 | #Constraints: 16617 303.67/308.95 c #Conflicts: 399000 | #Constraints: 17624 303.67/308.95 c #Conflicts: 400000 | #Constraints: 18631 303.67/308.95 c #Conflicts: 401000 | #Constraints: 19637 303.67/308.95 c #Conflicts: 402000 | #Constraints: 20643 303.67/308.95 c #Conflicts: 403000 | #Constraints: 21649 303.67/308.95 c #Conflicts: 404000 | #Constraints: 22657 303.67/308.95 c #Conflicts: 405000 | #Constraints: 23664 303.67/308.95 c #Conflicts: 406000 | #Constraints: 24670 303.67/308.95 c #Conflicts: 407000 | #Constraints: 25676 303.67/308.95 c INPROCESSING 303.67/308.95 c GARBAGE COLLECT 303.67/308.95 c rational objective 3 312.45/317.73 c #Conflicts: 408000 | #Constraints: 13993 312.45/317.73 c #Conflicts: 409000 | #Constraints: 14999 312.45/317.73 c #Conflicts: 410000 | #Constraints: 16005 312.45/317.73 c #Conflicts: 411000 | #Constraints: 17010 312.45/317.73 c #Conflicts: 412000 | #Constraints: 18014 312.45/317.73 c #Conflicts: 413000 | #Constraints: 19020 312.45/317.73 c #Conflicts: 414000 | #Constraints: 20027 312.45/317.73 c #Conflicts: 415000 | #Constraints: 21032 312.45/317.73 c #Conflicts: 416000 | #Constraints: 22045 312.45/317.73 c #Conflicts: 417000 | #Constraints: 23056 312.45/317.73 c #Conflicts: 418000 | #Constraints: 24061 312.45/317.73 c #Conflicts: 419000 | #Constraints: 25066 312.45/317.73 c #Conflicts: 420000 | #Constraints: 26067 312.45/317.73 c INPROCESSING 312.45/317.73 c GARBAGE COLLECT 312.45/317.73 c rational objective 3 327.20/332.54 c #Conflicts: 421000 | #Constraints: 14186 327.20/332.54 c #Conflicts: 422000 | #Constraints: 15193 327.20/332.54 c #Conflicts: 423000 | #Constraints: 16196 327.20/332.54 c #Conflicts: 424000 | #Constraints: 17202 327.20/332.54 c #Conflicts: 425000 | #Constraints: 18209 327.20/332.54 c #Conflicts: 426000 | #Constraints: 19215 327.20/332.54 c #Conflicts: 427000 | #Constraints: 20219 327.20/332.54 c #Conflicts: 428000 | #Constraints: 21222 327.20/332.54 c #Conflicts: 429000 | #Constraints: 22228 327.20/332.54 c #Conflicts: 430000 | #Constraints: 23233 327.20/332.54 c #Conflicts: 431000 | #Constraints: 24237 327.20/332.54 c #Conflicts: 432000 | #Constraints: 25241 327.20/332.54 c #Conflicts: 433000 | #Constraints: 26246 327.20/332.54 c INPROCESSING 327.20/332.54 c GARBAGE COLLECT 327.20/332.54 c rational objective 3 342.17/347.57 c #Conflicts: 434000 | #Constraints: 14179 342.17/347.57 c #Conflicts: 435000 | #Constraints: 15188 342.17/347.57 c #Conflicts: 436000 | #Constraints: 16194 342.17/347.57 c #Conflicts: 437000 | #Constraints: 17198 342.17/347.57 c #Conflicts: 438000 | #Constraints: 18201 342.17/347.57 c #Conflicts: 439000 | #Constraints: 19204 342.17/347.57 c #Conflicts: 440000 | #Constraints: 20211 342.17/347.57 c #Conflicts: 441000 | #Constraints: 21219 342.17/347.57 c #Conflicts: 442000 | #Constraints: 22223 342.17/347.57 c #Conflicts: 443000 | #Constraints: 23230 342.17/347.57 c #Conflicts: 444000 | #Constraints: 24233 342.17/347.57 c #Conflicts: 445000 | #Constraints: 25238 342.17/347.57 c #Conflicts: 446000 | #Constraints: 26240 342.17/347.57 c INPROCESSING 342.17/347.57 c GARBAGE COLLECT 342.17/347.57 c rational objective 3 361.40/366.85 c #Conflicts: 447000 | #Constraints: 13979 361.40/366.85 c #Conflicts: 448000 | #Constraints: 14982 361.40/366.85 c #Conflicts: 449000 | #Constraints: 15989 361.40/366.85 c #Conflicts: 450000 | #Constraints: 16998 361.40/366.85 c #Conflicts: 451000 | #Constraints: 18001 361.40/366.85 c #Conflicts: 452000 | #Constraints: 19009 361.40/366.85 c #Conflicts: 453000 | #Constraints: 20014 361.40/366.85 c #Conflicts: 454000 | #Constraints: 21020 361.40/366.85 c #Conflicts: 455000 | #Constraints: 22021 361.40/366.85 c #Conflicts: 456000 | #Constraints: 23026 361.40/366.85 c #Conflicts: 457000 | #Constraints: 24031 361.40/366.85 c #Conflicts: 458000 | #Constraints: 25036 361.40/366.85 c #Conflicts: 459000 | #Constraints: 26038 361.40/366.85 c #Conflicts: 460000 | #Constraints: 27043 361.40/366.85 c INPROCESSING 361.40/366.85 c GARBAGE COLLECT 361.40/366.85 c rational objective 3 382.55/388.02 c #Conflicts: 461000 | #Constraints: 14591 382.55/388.02 c #Conflicts: 462000 | #Constraints: 15596 382.55/388.02 c #Conflicts: 463000 | #Constraints: 16599 382.55/388.02 c #Conflicts: 464000 | #Constraints: 17604 382.55/388.02 c #Conflicts: 465000 | #Constraints: 18608 382.55/388.02 c #Conflicts: 466000 | #Constraints: 19614 382.55/388.02 c #Conflicts: 467000 | #Constraints: 20617 382.55/388.02 c #Conflicts: 468000 | #Constraints: 21624 382.55/388.02 c #Conflicts: 469000 | #Constraints: 22627 382.55/388.02 c #Conflicts: 470000 | #Constraints: 23636 382.55/388.02 c #Conflicts: 471000 | #Constraints: 24644 382.55/388.02 c #Conflicts: 472000 | #Constraints: 25645 382.55/388.02 c #Conflicts: 473000 | #Constraints: 26646 382.55/388.02 c #Conflicts: 474000 | #Constraints: 27648 382.55/388.02 c INPROCESSING 382.55/388.02 c GARBAGE COLLECT 382.55/388.02 c rational objective 3 401.08/406.66 c #Conflicts: 475000 | #Constraints: 14986 401.08/406.66 c #Conflicts: 476000 | #Constraints: 15994 401.08/406.66 c #Conflicts: 477000 | #Constraints: 16998 401.08/406.66 c #Conflicts: 478000 | #Constraints: 18003 401.08/406.66 c #Conflicts: 479000 | #Constraints: 19004 401.08/406.66 c #Conflicts: 480000 | #Constraints: 20012 401.08/406.66 c #Conflicts: 481000 | #Constraints: 21016 401.08/406.66 c #Conflicts: 482000 | #Constraints: 22018 401.08/406.66 c #Conflicts: 483000 | #Constraints: 23024 401.08/406.66 c #Conflicts: 484000 | #Constraints: 24026 401.08/406.66 c #Conflicts: 485000 | #Constraints: 25030 401.08/406.66 c #Conflicts: 486000 | #Constraints: 26031 401.08/406.66 c #Conflicts: 487000 | #Constraints: 27032 401.08/406.66 c #Conflicts: 488000 | #Constraints: 28033 401.08/406.66 c INPROCESSING 401.08/406.66 c GARBAGE COLLECT 401.08/406.66 c rational objective 3 426.10/431.70 c #Conflicts: 489000 | #Constraints: 15180 426.10/431.70 c #Conflicts: 490000 | #Constraints: 16185 426.10/431.70 c #Conflicts: 491000 | #Constraints: 17188 426.10/431.70 c #Conflicts: 492000 | #Constraints: 18191 426.10/431.70 c #Conflicts: 493000 | #Constraints: 19193 426.10/431.70 c #Conflicts: 494000 | #Constraints: 20208 426.10/431.70 c #Conflicts: 495000 | #Constraints: 21211 426.10/431.70 c #Conflicts: 496000 | #Constraints: 22219 426.10/431.70 c #Conflicts: 497000 | #Constraints: 23223 426.10/431.70 c #Conflicts: 498000 | #Constraints: 24226 426.10/431.70 c #Conflicts: 499000 | #Constraints: 25232 426.10/431.70 c #Conflicts: 500000 | #Constraints: 26236 426.10/431.70 c #Conflicts: 501000 | #Constraints: 27238 426.10/431.70 c #Conflicts: 502000 | #Constraints: 28243 426.10/431.70 c INPROCESSING 426.10/431.70 c GARBAGE COLLECT 426.10/431.70 c rational objective 3 438.37/444.10 c #Conflicts: 503000 | #Constraints: 15173 438.37/444.10 c #Conflicts: 504000 | #Constraints: 16174 438.37/444.10 c #Conflicts: 505000 | #Constraints: 17176 438.37/444.10 c #Conflicts: 506000 | #Constraints: 18178 438.37/444.10 c #Conflicts: 507000 | #Constraints: 19182 438.37/444.10 c #Conflicts: 508000 | #Constraints: 20185 438.37/444.10 c #Conflicts: 509000 | #Constraints: 21187 438.37/444.10 c #Conflicts: 510000 | #Constraints: 22189 438.37/444.10 c #Conflicts: 511000 | #Constraints: 23190 438.37/444.10 c #Conflicts: 512000 | #Constraints: 24191 438.37/444.10 c #Conflicts: 513000 | #Constraints: 25195 438.37/444.10 c #Conflicts: 514000 | #Constraints: 26201 438.37/444.10 c #Conflicts: 515000 | #Constraints: 27202 438.37/444.10 c #Conflicts: 516000 | #Constraints: 28204 438.37/444.10 c INPROCESSING 438.37/444.10 c GARBAGE COLLECT 438.37/444.10 c rational objective 3 454.91/460.64 c #Conflicts: 517000 | #Constraints: 14968 454.91/460.64 c #Conflicts: 518000 | #Constraints: 15972 454.91/460.64 c #Conflicts: 519000 | #Constraints: 16978 454.91/460.64 c #Conflicts: 520000 | #Constraints: 17983 454.91/460.64 c #Conflicts: 521000 | #Constraints: 18987 454.91/460.64 c #Conflicts: 522000 | #Constraints: 19990 454.91/460.64 c #Conflicts: 523000 | #Constraints: 20996 454.91/460.64 c #Conflicts: 524000 | #Constraints: 22003 454.91/460.64 c #Conflicts: 525000 | #Constraints: 23007 454.91/460.64 c #Conflicts: 526000 | #Constraints: 24011 454.91/460.64 c #Conflicts: 527000 | #Constraints: 25018 454.91/460.64 c #Conflicts: 528000 | #Constraints: 26020 454.91/460.64 c #Conflicts: 529000 | #Constraints: 27023 454.91/460.64 c #Conflicts: 530000 | #Constraints: 28028 454.91/460.64 c #Conflicts: 531000 | #Constraints: 29028 454.91/460.64 c INPROCESSING 454.91/460.64 c GARBAGE COLLECT 454.91/460.64 c rational objective 3 473.06/478.88 c #Conflicts: 532000 | #Constraints: 15589 473.06/478.88 c #Conflicts: 533000 | #Constraints: 16594 473.06/478.88 c #Conflicts: 534000 | #Constraints: 17598 473.06/478.88 c #Conflicts: 535000 | #Constraints: 18607 473.06/478.88 c #Conflicts: 536000 | #Constraints: 19620 473.06/478.88 c #Conflicts: 537000 | #Constraints: 20632 473.06/478.88 c #Conflicts: 538000 | #Constraints: 21636 473.06/478.88 c #Conflicts: 539000 | #Constraints: 22637 473.06/478.88 c #Conflicts: 540000 | #Constraints: 23640 473.06/478.88 c #Conflicts: 541000 | #Constraints: 24646 473.06/478.88 c #Conflicts: 542000 | #Constraints: 25651 473.06/478.88 c #Conflicts: 543000 | #Constraints: 26655 473.06/478.88 c #Conflicts: 544000 | #Constraints: 27661 473.06/478.88 c #Conflicts: 545000 | #Constraints: 28665 473.06/478.88 c #Conflicts: 546000 | #Constraints: 29670 473.06/478.88 c INPROCESSING 473.06/478.88 c GARBAGE COLLECT 473.06/478.88 c rational objective 3 490.81/496.68 c #Conflicts: 547000 | #Constraints: 15984 490.81/496.68 c #Conflicts: 548000 | #Constraints: 16988 490.81/496.68 c #Conflicts: 549000 | #Constraints: 17993 490.81/496.68 c #Conflicts: 550000 | #Constraints: 18999 490.81/496.68 c #Conflicts: 551000 | #Constraints: 20001 490.81/496.68 c #Conflicts: 552000 | #Constraints: 21003 490.81/496.68 c #Conflicts: 553000 | #Constraints: 22009 490.81/496.68 c #Conflicts: 554000 | #Constraints: 23014 490.81/496.68 c #Conflicts: 555000 | #Constraints: 24019 490.81/496.68 c #Conflicts: 556000 | #Constraints: 25022 490.81/496.68 c #Conflicts: 557000 | #Constraints: 26024 490.81/496.68 c #Conflicts: 558000 | #Constraints: 27029 490.81/496.68 c #Conflicts: 559000 | #Constraints: 28033 490.81/496.68 c #Conflicts: 560000 | #Constraints: 29035 490.81/496.68 c #Conflicts: 561000 | #Constraints: 30039 490.81/496.68 c INPROCESSING 490.81/496.68 c GARBAGE COLLECT 490.81/496.68 c rational objective 3 507.45/513.31 c #Conflicts: 562000 | #Constraints: 16177 507.45/513.31 c #Conflicts: 563000 | #Constraints: 17184 507.45/513.31 c #Conflicts: 564000 | #Constraints: 18193 507.45/513.31 c #Conflicts: 565000 | #Constraints: 19199 507.45/513.31 c #Conflicts: 566000 | #Constraints: 20205 507.45/513.31 c #Conflicts: 567000 | #Constraints: 21214 507.45/513.31 c #Conflicts: 568000 | #Constraints: 22221 507.45/513.31 c #Conflicts: 569000 | #Constraints: 23231 507.45/513.31 c #Conflicts: 570000 | #Constraints: 24236 507.45/513.31 c #Conflicts: 571000 | #Constraints: 25245 507.45/513.31 c #Conflicts: 572000 | #Constraints: 26250 507.45/513.31 c #Conflicts: 573000 | #Constraints: 27259 507.45/513.31 c #Conflicts: 574000 | #Constraints: 28267 507.45/513.31 c #Conflicts: 575000 | #Constraints: 29275 507.45/513.31 c #Conflicts: 576000 | #Constraints: 30279 507.45/513.31 c INPROCESSING 507.45/513.31 c GARBAGE COLLECT 507.45/513.31 c rational objective 3 524.61/530.59 c #Conflicts: 577000 | #Constraints: 16209 524.61/530.59 c #Conflicts: 578000 | #Constraints: 17217 524.61/530.59 c #Conflicts: 579000 | #Constraints: 18230 524.61/530.59 c #Conflicts: 580000 | #Constraints: 19233 524.61/530.59 c #Conflicts: 581000 | #Constraints: 20238 524.61/530.59 c #Conflicts: 582000 | #Constraints: 21245 524.61/530.59 c #Conflicts: 583000 | #Constraints: 22250 524.61/530.59 c #Conflicts: 584000 | #Constraints: 23254 524.61/530.59 c #Conflicts: 585000 | #Constraints: 24259 524.61/530.59 c #Conflicts: 586000 | #Constraints: 25262 524.61/530.59 c #Conflicts: 587000 | #Constraints: 26266 524.61/530.59 c #Conflicts: 588000 | #Constraints: 27270 524.61/530.59 c #Conflicts: 589000 | #Constraints: 28274 524.61/530.59 c #Conflicts: 590000 | #Constraints: 29284 524.61/530.59 c #Conflicts: 591000 | #Constraints: 30288 524.61/530.59 c INPROCESSING 524.61/530.59 c GARBAGE COLLECT 524.61/530.59 c rational objective 3 545.74/551.73 c #Conflicts: 592000 | #Constraints: 16000 545.74/551.73 c #Conflicts: 593000 | #Constraints: 17006 545.74/551.73 c #Conflicts: 594000 | #Constraints: 18009 545.74/551.73 c #Conflicts: 595000 | #Constraints: 19011 545.74/551.73 c #Conflicts: 596000 | #Constraints: 20018 545.74/551.73 c #Conflicts: 597000 | #Constraints: 21025 545.74/551.73 c #Conflicts: 598000 | #Constraints: 22031 545.74/551.73 c #Conflicts: 599000 | #Constraints: 23037 545.74/551.73 c #Conflicts: 600000 | #Constraints: 24044 545.74/551.73 c #Conflicts: 601000 | #Constraints: 25047 545.74/551.73 c #Conflicts: 602000 | #Constraints: 26051 545.74/551.73 c #Conflicts: 603000 | #Constraints: 27055 545.74/551.73 c #Conflicts: 604000 | #Constraints: 28058 545.74/551.73 c #Conflicts: 605000 | #Constraints: 29061 545.74/551.73 c #Conflicts: 606000 | #Constraints: 30063 545.74/551.73 c #Conflicts: 607000 | #Constraints: 31065 545.74/551.73 c INPROCESSING 545.74/551.73 c GARBAGE COLLECT 545.74/551.73 c rational objective 3 569.17/575.27 c #Conflicts: 608000 | #Constraints: 16592 569.17/575.27 c #Conflicts: 609000 | #Constraints: 17595 569.17/575.27 c #Conflicts: 610000 | #Constraints: 18601 569.17/575.27 c #Conflicts: 611000 | #Constraints: 19605 569.17/575.27 c #Conflicts: 612000 | #Constraints: 20609 569.17/575.27 c #Conflicts: 613000 | #Constraints: 21612 569.17/575.27 c #Conflicts: 614000 | #Constraints: 22617 569.17/575.27 c #Conflicts: 615000 | #Constraints: 23624 569.17/575.27 c #Conflicts: 616000 | #Constraints: 24628 569.17/575.27 c #Conflicts: 617000 | #Constraints: 25632 569.17/575.27 c #Conflicts: 618000 | #Constraints: 26634 569.17/575.27 c #Conflicts: 619000 | #Constraints: 27640 569.17/575.27 c #Conflicts: 620000 | #Constraints: 28645 569.17/575.27 c #Conflicts: 621000 | #Constraints: 29652 569.17/575.27 c #Conflicts: 622000 | #Constraints: 30657 569.17/575.27 c #Conflicts: 623000 | #Constraints: 31663 569.17/575.27 c INPROCESSING 569.17/575.27 c GARBAGE COLLECT 569.17/575.27 c rational objective 3 585.52/591.68 c #Conflicts: 624000 | #Constraints: 16993 585.52/591.68 c #Conflicts: 625000 | #Constraints: 18001 585.52/591.68 c #Conflicts: 626000 | #Constraints: 19007 585.52/591.68 c #Conflicts: 627000 | #Constraints: 20016 585.52/591.68 c #Conflicts: 628000 | #Constraints: 21020 585.52/591.68 c #Conflicts: 629000 | #Constraints: 22025 585.52/591.68 c #Conflicts: 630000 | #Constraints: 23034 585.52/591.68 c #Conflicts: 631000 | #Constraints: 24035 585.52/591.68 c #Conflicts: 632000 | #Constraints: 25038 585.52/591.68 c #Conflicts: 633000 | #Constraints: 26040 585.52/591.68 c #Conflicts: 634000 | #Constraints: 27044 585.52/591.68 c #Conflicts: 635000 | #Constraints: 28051 585.52/591.68 c #Conflicts: 636000 | #Constraints: 29057 585.52/591.68 c #Conflicts: 637000 | #Constraints: 30066 585.52/591.68 c #Conflicts: 638000 | #Constraints: 31075 585.52/591.68 c #Conflicts: 639000 | #Constraints: 32083 585.52/591.68 c INPROCESSING 585.52/591.68 c GARBAGE COLLECT 585.52/591.68 c rational objective 3 602.77/608.97 c #Conflicts: 640000 | #Constraints: 17195 602.77/608.97 c #Conflicts: 641000 | #Constraints: 18198 602.77/608.97 c #Conflicts: 642000 | #Constraints: 19204 602.77/608.97 c #Conflicts: 643000 | #Constraints: 20211 602.77/608.97 c #Conflicts: 644000 | #Constraints: 21215 602.77/608.97 c #Conflicts: 645000 | #Constraints: 22221 602.77/608.97 c #Conflicts: 646000 | #Constraints: 23225 602.77/608.97 c #Conflicts: 647000 | #Constraints: 24233 602.77/608.97 c #Conflicts: 648000 | #Constraints: 25240 602.77/608.97 c #Conflicts: 649000 | #Constraints: 26245 602.77/608.97 c #Conflicts: 650000 | #Constraints: 27248 602.77/608.97 c #Conflicts: 651000 | #Constraints: 28253 602.77/608.97 c #Conflicts: 652000 | #Constraints: 29258 602.77/608.97 c #Conflicts: 653000 | #Constraints: 30261 602.77/608.97 c #Conflicts: 654000 | #Constraints: 31265 602.77/608.97 c #Conflicts: 655000 | #Constraints: 32271 602.77/608.97 c INPROCESSING 602.77/608.97 c GARBAGE COLLECT 602.77/608.97 c rational objective 3 618.22/624.43 c #Conflicts: 656000 | #Constraints: 17212 618.22/624.43 c #Conflicts: 657000 | #Constraints: 18218 618.22/624.43 c #Conflicts: 658000 | #Constraints: 19220 618.22/624.43 c #Conflicts: 659000 | #Constraints: 20224 618.22/624.43 c #Conflicts: 660000 | #Constraints: 21230 618.22/624.43 c #Conflicts: 661000 | #Constraints: 22239 618.22/624.43 c #Conflicts: 662000 | #Constraints: 23244 618.22/624.43 c #Conflicts: 663000 | #Constraints: 24258 618.22/624.43 c #Conflicts: 664000 | #Constraints: 25265 618.22/624.43 c #Conflicts: 665000 | #Constraints: 26273 618.22/624.43 c #Conflicts: 666000 | #Constraints: 27281 618.22/624.43 c #Conflicts: 667000 | #Constraints: 28288 618.22/624.43 c #Conflicts: 668000 | #Constraints: 29294 618.22/624.43 c #Conflicts: 669000 | #Constraints: 30300 618.22/624.43 c #Conflicts: 670000 | #Constraints: 31309 618.22/624.43 c #Conflicts: 671000 | #Constraints: 32312 618.22/624.43 c INPROCESSING 618.22/624.43 c GARBAGE COLLECT 618.22/624.43 c rational objective 3 635.97/642.22 c #Conflicts: 672000 | #Constraints: 17004 635.97/642.22 c #Conflicts: 673000 | #Constraints: 18011 635.97/642.22 c #Conflicts: 674000 | #Constraints: 19018 635.97/642.22 c #Conflicts: 675000 | #Constraints: 20021 635.97/642.22 c #Conflicts: 676000 | #Constraints: 21026 635.97/642.22 c #Conflicts: 677000 | #Constraints: 22034 635.97/642.22 c #Conflicts: 678000 | #Constraints: 23038 635.97/642.22 c #Conflicts: 679000 | #Constraints: 24043 635.97/642.22 c #Conflicts: 680000 | #Constraints: 25048 635.97/642.22 c #Conflicts: 681000 | #Constraints: 26055 635.97/642.22 c #Conflicts: 682000 | #Constraints: 27070 635.97/642.22 c #Conflicts: 683000 | #Constraints: 28078 635.97/642.22 c #Conflicts: 684000 | #Constraints: 29083 635.97/642.22 c #Conflicts: 685000 | #Constraints: 30088 635.97/642.22 c #Conflicts: 686000 | #Constraints: 31100 635.97/642.22 c #Conflicts: 687000 | #Constraints: 32104 635.97/642.22 c #Conflicts: 688000 | #Constraints: 33109 635.97/642.22 c INPROCESSING 635.97/642.22 c GARBAGE COLLECT 635.97/642.22 c rational objective 3 653.52/659.81 c #Conflicts: 689000 | #Constraints: 17600 653.52/659.81 c #Conflicts: 690000 | #Constraints: 18605 653.52/659.81 c #Conflicts: 691000 | #Constraints: 19614 653.52/659.81 c #Conflicts: 692000 | #Constraints: 20615 653.52/659.81 c #Conflicts: 693000 | #Constraints: 21621 653.52/659.81 c #Conflicts: 694000 | #Constraints: 22624 653.52/659.81 c #Conflicts: 695000 | #Constraints: 23630 653.52/659.81 c #Conflicts: 696000 | #Constraints: 24637 653.52/659.81 c #Conflicts: 697000 | #Constraints: 25641 653.52/659.81 c #Conflicts: 698000 | #Constraints: 26646 653.52/659.81 c #Conflicts: 699000 | #Constraints: 27652 653.52/659.81 c #Conflicts: 700000 | #Constraints: 28661 653.52/659.81 c #Conflicts: 701000 | #Constraints: 29663 653.52/659.81 c #Conflicts: 702000 | #Constraints: 30668 653.52/659.81 c #Conflicts: 703000 | #Constraints: 31672 653.52/659.81 c #Conflicts: 704000 | #Constraints: 32677 653.52/659.81 c #Conflicts: 705000 | #Constraints: 33685 653.52/659.81 c INPROCESSING 653.52/659.81 c GARBAGE COLLECT 653.52/659.81 c rational objective 3 678.67/685.02 c #Conflicts: 706000 | #Constraints: 18006 678.67/685.02 c #Conflicts: 707000 | #Constraints: 19015 678.67/685.02 c #Conflicts: 708000 | #Constraints: 20019 678.67/685.02 c #Conflicts: 709000 | #Constraints: 21025 678.67/685.02 c #Conflicts: 710000 | #Constraints: 22028 678.67/685.02 c #Conflicts: 711000 | #Constraints: 23033 678.67/685.02 c #Conflicts: 712000 | #Constraints: 24037 678.67/685.02 c #Conflicts: 713000 | #Constraints: 25042 678.67/685.02 c #Conflicts: 714000 | #Constraints: 26046 678.67/685.02 c #Conflicts: 715000 | #Constraints: 27049 678.67/685.02 c #Conflicts: 716000 | #Constraints: 28055 678.67/685.02 c #Conflicts: 717000 | #Constraints: 29062 678.67/685.02 c #Conflicts: 718000 | #Constraints: 30067 678.67/685.02 c #Conflicts: 719000 | #Constraints: 31070 678.67/685.02 c #Conflicts: 720000 | #Constraints: 32074 678.67/685.02 c #Conflicts: 721000 | #Constraints: 33079 678.67/685.02 c #Conflicts: 722000 | #Constraints: 34085 678.67/685.02 c INPROCESSING 678.67/685.02 c GARBAGE COLLECT 678.67/685.02 c rational objective 3 698.71/705.19 c #Conflicts: 723000 | #Constraints: 18213 698.71/705.19 c #Conflicts: 724000 | #Constraints: 19216 698.71/705.19 c #Conflicts: 725000 | #Constraints: 20219 698.71/705.19 c #Conflicts: 726000 | #Constraints: 21223 698.71/705.19 c #Conflicts: 727000 | #Constraints: 22225 698.71/705.19 c #Conflicts: 728000 | #Constraints: 23229 698.71/705.19 c #Conflicts: 729000 | #Constraints: 24232 698.71/705.19 c #Conflicts: 730000 | #Constraints: 25235 698.71/705.19 c #Conflicts: 731000 | #Constraints: 26241 698.71/705.19 c #Conflicts: 732000 | #Constraints: 27245 698.71/705.19 c #Conflicts: 733000 | #Constraints: 28247 698.71/705.19 c #Conflicts: 734000 | #Constraints: 29249 698.71/705.19 c #Conflicts: 735000 | #Constraints: 30252 698.71/705.19 c #Conflicts: 736000 | #Constraints: 31253 698.71/705.19 c #Conflicts: 737000 | #Constraints: 32257 698.71/705.19 c #Conflicts: 738000 | #Constraints: 33260 698.71/705.19 c #Conflicts: 739000 | #Constraints: 34263 698.71/705.19 c INPROCESSING 698.71/705.19 c GARBAGE COLLECT 698.71/705.19 c rational objective 3 721.55/728.07 c #Conflicts: 740000 | #Constraints: 18188 721.55/728.07 c #Conflicts: 741000 | #Constraints: 19196 721.55/728.07 c #Conflicts: 742000 | #Constraints: 20203 721.55/728.07 c #Conflicts: 743000 | #Constraints: 21208 721.55/728.07 c #Conflicts: 744000 | #Constraints: 22211 721.55/728.07 c #Conflicts: 745000 | #Constraints: 23216 721.55/728.07 c #Conflicts: 746000 | #Constraints: 24226 721.55/728.07 c #Conflicts: 747000 | #Constraints: 25228 721.55/728.07 c #Conflicts: 748000 | #Constraints: 26231 721.55/728.07 c #Conflicts: 749000 | #Constraints: 27236 721.55/728.07 c #Conflicts: 750000 | #Constraints: 28242 721.55/728.07 c #Conflicts: 751000 | #Constraints: 29246 721.55/728.07 c #Conflicts: 752000 | #Constraints: 30248 721.55/728.07 c #Conflicts: 753000 | #Constraints: 31252 721.55/728.07 c #Conflicts: 754000 | #Constraints: 32258 721.55/728.07 c #Conflicts: 755000 | #Constraints: 33263 721.55/728.07 c #Conflicts: 756000 | #Constraints: 34268 721.55/728.07 c INPROCESSING 721.55/728.07 c GARBAGE COLLECT 721.55/728.07 c rational objective 3 742.68/749.25 c #Conflicts: 757000 | #Constraints: 17992 742.68/749.25 c #Conflicts: 758000 | #Constraints: 18997 742.68/749.25 c #Conflicts: 759000 | #Constraints: 20002 742.68/749.25 c #Conflicts: 760000 | #Constraints: 21007 742.68/749.25 c #Conflicts: 761000 | #Constraints: 22010 742.68/749.25 c #Conflicts: 762000 | #Constraints: 23017 742.68/749.25 c #Conflicts: 763000 | #Constraints: 24025 742.68/749.25 c #Conflicts: 764000 | #Constraints: 25034 742.68/749.25 c #Conflicts: 765000 | #Constraints: 26039 742.68/749.25 c #Conflicts: 766000 | #Constraints: 27045 742.68/749.25 c #Conflicts: 767000 | #Constraints: 28053 742.68/749.25 c #Conflicts: 768000 | #Constraints: 29058 742.68/749.25 c #Conflicts: 769000 | #Constraints: 30065 742.68/749.25 c #Conflicts: 770000 | #Constraints: 31069 742.68/749.25 c #Conflicts: 771000 | #Constraints: 32072 742.68/749.25 c #Conflicts: 772000 | #Constraints: 33076 742.68/749.25 c #Conflicts: 773000 | #Constraints: 34078 742.68/749.25 c #Conflicts: 774000 | #Constraints: 35088 742.68/749.25 c INPROCESSING 742.68/749.25 c GARBAGE COLLECT 742.68/749.25 c rational objective 3 772.78/779.42 c #Conflicts: 775000 | #Constraints: 18601 772.78/779.42 c #Conflicts: 776000 | #Constraints: 19609 772.78/779.42 c #Conflicts: 777000 | #Constraints: 20616 772.78/779.42 c #Conflicts: 778000 | #Constraints: 21623 772.78/779.42 c #Conflicts: 779000 | #Constraints: 22631 772.78/779.42 c #Conflicts: 780000 | #Constraints: 23633 772.78/779.42 c #Conflicts: 781000 | #Constraints: 24636 772.78/779.42 c #Conflicts: 782000 | #Constraints: 25640 772.78/779.42 c #Conflicts: 783000 | #Constraints: 26646 772.78/779.42 c #Conflicts: 784000 | #Constraints: 27651 772.78/779.42 c #Conflicts: 785000 | #Constraints: 28655 772.78/779.42 c #Conflicts: 786000 | #Constraints: 29661 772.78/779.42 c #Conflicts: 787000 | #Constraints: 30664 772.78/779.42 c #Conflicts: 788000 | #Constraints: 31665 772.78/779.42 c #Conflicts: 789000 | #Constraints: 32669 772.78/779.42 c #Conflicts: 790000 | #Constraints: 33672 772.78/779.42 c #Conflicts: 791000 | #Constraints: 34674 772.78/779.42 c #Conflicts: 792000 | #Constraints: 35688 772.78/779.42 c INPROCESSING 772.78/779.42 c GARBAGE COLLECT 772.78/779.42 c rational objective 3 797.90/804.60 c #Conflicts: 793000 | #Constraints: 19003 797.90/804.60 c #Conflicts: 794000 | #Constraints: 20007 797.90/804.60 c #Conflicts: 795000 | #Constraints: 21012 797.90/804.60 c #Conflicts: 796000 | #Constraints: 22018 797.90/804.60 c #Conflicts: 797000 | #Constraints: 23023 797.90/804.60 c #Conflicts: 798000 | #Constraints: 24029 797.90/804.60 c #Conflicts: 799000 | #Constraints: 25031 797.90/804.60 c #Conflicts: 800000 | #Constraints: 26043 797.90/804.60 c #Conflicts: 801000 | #Constraints: 27049 797.90/804.60 c #Conflicts: 802000 | #Constraints: 28054 797.90/804.60 c #Conflicts: 803000 | #Constraints: 29060 797.90/804.60 c #Conflicts: 804000 | #Constraints: 30065 797.90/804.60 c #Conflicts: 805000 | #Constraints: 31070 797.90/804.60 c #Conflicts: 806000 | #Constraints: 32074 797.90/804.60 c #Conflicts: 807000 | #Constraints: 33081 797.90/804.60 c #Conflicts: 808000 | #Constraints: 34085 797.90/804.60 c #Conflicts: 809000 | #Constraints: 35088 797.90/804.60 c #Conflicts: 810000 | #Constraints: 36089 797.90/804.60 c INPROCESSING 797.90/804.60 c GARBAGE COLLECT 797.90/804.60 c rational objective 3 822.93/829.75 c #Conflicts: 811000 | #Constraints: 19202 822.93/829.75 c #Conflicts: 812000 | #Constraints: 20205 822.93/829.75 c #Conflicts: 813000 | #Constraints: 21209 822.93/829.75 c #Conflicts: 814000 | #Constraints: 22214 822.93/829.75 c #Conflicts: 815000 | #Constraints: 23217 822.93/829.75 c #Conflicts: 816000 | #Constraints: 24220 822.93/829.75 c #Conflicts: 817000 | #Constraints: 25224 822.93/829.75 c #Conflicts: 818000 | #Constraints: 26227 822.93/829.75 c #Conflicts: 819000 | #Constraints: 27232 822.93/829.75 c #Conflicts: 820000 | #Constraints: 28236 822.93/829.75 c #Conflicts: 821000 | #Constraints: 29244 822.93/829.75 c #Conflicts: 822000 | #Constraints: 30252 822.93/829.75 c #Conflicts: 823000 | #Constraints: 31260 822.93/829.75 c #Conflicts: 824000 | #Constraints: 32262 822.93/829.75 c #Conflicts: 825000 | #Constraints: 33264 822.93/829.75 c #Conflicts: 826000 | #Constraints: 34265 822.93/829.75 c #Conflicts: 827000 | #Constraints: 35268 822.93/829.75 c #Conflicts: 828000 | #Constraints: 36271 822.93/829.75 c INPROCESSING 822.93/829.75 c GARBAGE COLLECT 822.93/829.75 c rational objective 3 852.03/858.95 c #Conflicts: 829000 | #Constraints: 19199 852.03/858.95 c #Conflicts: 830000 | #Constraints: 20205 852.03/858.95 c #Conflicts: 831000 | #Constraints: 21212 852.03/858.95 c #Conflicts: 832000 | #Constraints: 22218 852.03/858.95 c #Conflicts: 833000 | #Constraints: 23224 852.03/858.95 c #Conflicts: 834000 | #Constraints: 24230 852.03/858.95 c #Conflicts: 835000 | #Constraints: 25236 852.03/858.95 c #Conflicts: 836000 | #Constraints: 26240 852.03/858.95 c #Conflicts: 837000 | #Constraints: 27244 852.03/858.95 c #Conflicts: 838000 | #Constraints: 28250 852.03/858.95 c #Conflicts: 839000 | #Constraints: 29255 852.03/858.95 c #Conflicts: 840000 | #Constraints: 30260 852.03/858.95 c #Conflicts: 841000 | #Constraints: 31264 852.03/858.95 c #Conflicts: 842000 | #Constraints: 32268 852.03/858.95 c #Conflicts: 843000 | #Constraints: 33269 852.03/858.95 c #Conflicts: 844000 | #Constraints: 34273 852.03/858.95 c #Conflicts: 845000 | #Constraints: 35277 852.03/858.95 c #Conflicts: 846000 | #Constraints: 36282 852.03/858.95 c INPROCESSING 852.03/858.95 c GARBAGE COLLECT 852.03/858.95 c rational objective 3 878.16/885.18 c #Conflicts: 847000 | #Constraints: 18983 878.16/885.18 c #Conflicts: 848000 | #Constraints: 19990 878.16/885.18 c #Conflicts: 849000 | #Constraints: 20994 878.16/885.18 c #Conflicts: 850000 | #Constraints: 21998 878.16/885.18 c #Conflicts: 851000 | #Constraints: 23005 878.16/885.18 c #Conflicts: 852000 | #Constraints: 24013 878.16/885.18 c #Conflicts: 853000 | #Constraints: 25021 878.16/885.18 c #Conflicts: 854000 | #Constraints: 26023 878.16/885.18 c #Conflicts: 855000 | #Constraints: 27031 878.16/885.18 c #Conflicts: 856000 | #Constraints: 28043 878.16/885.18 c #Conflicts: 857000 | #Constraints: 29046 878.16/885.18 c #Conflicts: 858000 | #Constraints: 30054 878.16/885.18 c #Conflicts: 859000 | #Constraints: 31061 878.16/885.18 c #Conflicts: 860000 | #Constraints: 32070 878.16/885.18 c #Conflicts: 861000 | #Constraints: 33079 878.16/885.18 c #Conflicts: 862000 | #Constraints: 34093 878.16/885.18 c #Conflicts: 863000 | #Constraints: 35107 878.16/885.18 c #Conflicts: 864000 | #Constraints: 36131 878.16/885.18 c #Conflicts: 865000 | #Constraints: 37138 878.16/885.18 c INPROCESSING 878.16/885.18 c GARBAGE COLLECT 878.16/885.18 c rational objective 3 901.78/908.85 c #Conflicts: 866000 | #Constraints: 19623 901.78/908.85 c #Conflicts: 867000 | #Constraints: 20629 901.78/908.85 c #Conflicts: 868000 | #Constraints: 21638 901.78/908.85 c #Conflicts: 869000 | #Constraints: 22645 901.78/908.85 c #Conflicts: 870000 | #Constraints: 23649 901.78/908.85 c #Conflicts: 871000 | #Constraints: 24656 901.78/908.85 c #Conflicts: 872000 | #Constraints: 25663 901.78/908.85 c #Conflicts: 873000 | #Constraints: 26672 901.78/908.85 c #Conflicts: 874000 | #Constraints: 27677 901.78/908.85 c #Conflicts: 875000 | #Constraints: 28686 901.78/908.85 c #Conflicts: 876000 | #Constraints: 29693 901.78/908.85 c #Conflicts: 877000 | #Constraints: 30697 901.78/908.85 c #Conflicts: 878000 | #Constraints: 31708 901.78/908.85 c #Conflicts: 879000 | #Constraints: 32713 901.78/908.85 c #Conflicts: 880000 | #Constraints: 33718 901.78/908.85 c #Conflicts: 881000 | #Constraints: 34723 901.78/908.85 c #Conflicts: 882000 | #Constraints: 35726 901.78/908.85 c #Conflicts: 883000 | #Constraints: 36729 901.78/908.85 c #Conflicts: 884000 | #Constraints: 37733 901.78/908.85 c INPROCESSING 901.78/908.85 c GARBAGE COLLECT 901.78/908.85 c rational objective 3 931.38/938.54 c #Conflicts: 885000 | #Constraints: 20050 931.38/938.54 c #Conflicts: 886000 | #Constraints: 21052 931.38/938.54 c #Conflicts: 887000 | #Constraints: 22059 931.38/938.54 c #Conflicts: 888000 | #Constraints: 23064 931.38/938.54 c #Conflicts: 889000 | #Constraints: 24069 931.38/938.54 c #Conflicts: 890000 | #Constraints: 25072 931.38/938.54 c #Conflicts: 891000 | #Constraints: 26076 931.38/938.54 c #Conflicts: 892000 | #Constraints: 27082 931.38/938.54 c #Conflicts: 893000 | #Constraints: 28086 931.38/938.54 c #Conflicts: 894000 | #Constraints: 29094 931.38/938.54 c #Conflicts: 895000 | #Constraints: 30103 931.38/938.54 c #Conflicts: 896000 | #Constraints: 31107 931.38/938.54 c #Conflicts: 897000 | #Constraints: 32113 931.38/938.54 c #Conflicts: 898000 | #Constraints: 33121 931.38/938.54 c #Conflicts: 899000 | #Constraints: 34129 931.38/938.54 c #Conflicts: 900000 | #Constraints: 35139 931.38/938.54 c #Conflicts: 901000 | #Constraints: 36143 931.38/938.54 c #Conflicts: 902000 | #Constraints: 37150 931.38/938.54 c #Conflicts: 903000 | #Constraints: 38154 931.38/938.54 c INPROCESSING 931.38/938.54 c GARBAGE COLLECT 931.38/938.54 c rational objective 3 957.20/964.49 c #Conflicts: 904000 | #Constraints: 20274 957.20/964.49 c #Conflicts: 905000 | #Constraints: 21289 957.20/964.49 c #Conflicts: 906000 | #Constraints: 22292 957.20/964.49 c #Conflicts: 907000 | #Constraints: 23295 957.20/964.49 c #Conflicts: 908000 | #Constraints: 24304 957.20/964.49 c #Conflicts: 909000 | #Constraints: 25308 957.20/964.49 c #Conflicts: 910000 | #Constraints: 26316 957.20/964.49 c #Conflicts: 911000 | #Constraints: 27321 957.20/964.49 c #Conflicts: 912000 | #Constraints: 28327 957.20/964.49 c #Conflicts: 913000 | #Constraints: 29333 957.20/964.49 c #Conflicts: 914000 | #Constraints: 30339 957.20/964.49 c #Conflicts: 915000 | #Constraints: 31342 957.20/964.49 c #Conflicts: 916000 | #Constraints: 32345 957.20/964.49 c #Conflicts: 917000 | #Constraints: 33348 957.20/964.49 c #Conflicts: 918000 | #Constraints: 34351 957.20/964.49 c #Conflicts: 919000 | #Constraints: 35354 957.20/964.49 c #Conflicts: 920000 | #Constraints: 36358 957.20/964.49 c #Conflicts: 921000 | #Constraints: 37362 957.20/964.49 c #Conflicts: 922000 | #Constraints: 38367 957.20/964.49 c INPROCESSING 957.20/964.49 c GARBAGE COLLECT 957.20/964.49 c rational objective 3 992.29/999.60 c #Conflicts: 923000 | #Constraints: 20240 992.29/999.60 c #Conflicts: 924000 | #Constraints: 21246 992.29/999.60 c #Conflicts: 925000 | #Constraints: 22253 992.29/999.60 c #Conflicts: 926000 | #Constraints: 23256 992.29/999.60 c #Conflicts: 927000 | #Constraints: 24260 992.29/999.60 c #Conflicts: 928000 | #Constraints: 25262 992.29/999.60 c #Conflicts: 929000 | #Constraints: 26267 992.29/999.60 c #Conflicts: 930000 | #Constraints: 27269 992.29/999.60 c #Conflicts: 931000 | #Constraints: 28276 992.29/999.60 c #Conflicts: 932000 | #Constraints: 29281 992.29/999.60 c #Conflicts: 933000 | #Constraints: 30287 992.29/999.60 c #Conflicts: 934000 | #Constraints: 31294 992.29/999.60 c #Conflicts: 935000 | #Constraints: 32296 992.29/999.60 c #Conflicts: 936000 | #Constraints: 33300 992.29/999.60 c #Conflicts: 937000 | #Constraints: 34303 992.29/999.60 c #Conflicts: 938000 | #Constraints: 35306 992.29/999.60 c #Conflicts: 939000 | #Constraints: 36309 992.29/999.60 c #Conflicts: 940000 | #Constraints: 37311 992.29/999.60 c #Conflicts: 941000 | #Constraints: 38314 992.29/999.60 c INPROCESSING 992.29/999.60 c GARBAGE COLLECT 992.29/999.60 c rational objective 3 1043.03/1050.59 c #Conflicts: 942000 | #Constraints: 20011 1043.03/1050.59 c #Conflicts: 943000 | #Constraints: 21021 1043.03/1050.59 c #Conflicts: 944000 | #Constraints: 22030 1043.03/1050.59 c #Conflicts: 945000 | #Constraints: 23041 1043.03/1050.59 c #Conflicts: 946000 | #Constraints: 24047 1043.03/1050.59 c #Conflicts: 947000 | #Constraints: 25056 1043.03/1050.59 c #Conflicts: 948000 | #Constraints: 26060 1043.03/1050.59 c #Conflicts: 949000 | #Constraints: 27064 1043.03/1050.59 c #Conflicts: 950000 | #Constraints: 28065 1043.03/1050.59 c #Conflicts: 951000 | #Constraints: 29073 1043.03/1050.59 c #Conflicts: 952000 | #Constraints: 30077 1043.03/1050.59 c #Conflicts: 953000 | #Constraints: 31078 1043.03/1050.59 c #Conflicts: 954000 | #Constraints: 32079 1043.03/1050.59 c #Conflicts: 955000 | #Constraints: 33081 1043.03/1050.59 c #Conflicts: 956000 | #Constraints: 34085 1043.03/1050.59 c #Conflicts: 957000 | #Constraints: 35087 1043.03/1050.59 c #Conflicts: 958000 | #Constraints: 36089 1043.03/1050.59 c #Conflicts: 959000 | #Constraints: 37090 1043.03/1050.59 c #Conflicts: 960000 | #Constraints: 38091 1043.03/1050.59 c #Conflicts: 961000 | #Constraints: 39094 1043.03/1050.59 c INPROCESSING 1043.03/1050.59 c GARBAGE COLLECT 1043.03/1050.59 c rational objective 3 1078.92/1086.53 c #Conflicts: 962000 | #Constraints: 20602 1078.92/1086.53 c #Conflicts: 963000 | #Constraints: 21609 1078.92/1086.53 c #Conflicts: 964000 | #Constraints: 22610 1078.92/1086.53 c #Conflicts: 965000 | #Constraints: 23615 1078.92/1086.53 c #Conflicts: 966000 | #Constraints: 24618 1078.92/1086.53 c #Conflicts: 967000 | #Constraints: 25625 1078.92/1086.53 c #Conflicts: 968000 | #Constraints: 26631 1078.92/1086.53 c #Conflicts: 969000 | #Constraints: 27636 1078.92/1086.53 c #Conflicts: 970000 | #Constraints: 28639 1078.92/1086.53 c #Conflicts: 971000 | #Constraints: 29646 1078.92/1086.53 c #Conflicts: 972000 | #Constraints: 30650 1078.92/1086.53 c #Conflicts: 973000 | #Constraints: 31654 1078.92/1086.53 c #Conflicts: 974000 | #Constraints: 32659 1078.92/1086.53 c #Conflicts: 975000 | #Constraints: 33666 1078.92/1086.53 c #Conflicts: 976000 | #Constraints: 34673 1078.92/1086.53 c #Conflicts: 977000 | #Constraints: 35675 1078.92/1086.53 c #Conflicts: 978000 | #Constraints: 36679 1078.92/1086.53 c #Conflicts: 979000 | #Constraints: 37681 1078.92/1086.53 c #Conflicts: 980000 | #Constraints: 38682 1078.92/1086.53 c #Conflicts: 981000 | #Constraints: 39687 1078.92/1086.53 c INPROCESSING 1078.92/1086.53 c GARBAGE COLLECT 1078.92/1086.53 c rational objective 3 1128.87/1136.61 c #Conflicts: 982000 | #Constraints: 21023 1128.87/1136.61 c #Conflicts: 983000 | #Constraints: 22025 1128.87/1136.61 c #Conflicts: 984000 | #Constraints: 23027 1128.87/1136.61 c #Conflicts: 985000 | #Constraints: 24027 1128.87/1136.61 c #Conflicts: 986000 | #Constraints: 25032 1128.87/1136.61 c #Conflicts: 987000 | #Constraints: 26037 1128.87/1136.61 c #Conflicts: 988000 | #Constraints: 27041 1128.87/1136.61 c #Conflicts: 989000 | #Constraints: 28044 1128.87/1136.61 c #Conflicts: 990000 | #Constraints: 29051 1128.87/1136.61 c #Conflicts: 991000 | #Constraints: 30057 1128.87/1136.61 c #Conflicts: 992000 | #Constraints: 31066 1128.87/1136.61 c #Conflicts: 993000 | #Constraints: 32069 1128.87/1136.61 c #Conflicts: 994000 | #Constraints: 33079 1128.87/1136.61 c #Conflicts: 995000 | #Constraints: 34085 1128.87/1136.61 c #Conflicts: 996000 | #Constraints: 35088 1128.87/1136.61 c #Conflicts: 997000 | #Constraints: 36090 1128.87/1136.61 c #Conflicts: 998000 | #Constraints: 37095 1128.87/1136.61 c #Conflicts: 999000 | #Constraints: 38101 1128.87/1136.61 c #Conflicts: 1000000 | #Constraints: 39105 1128.87/1136.61 c #Conflicts: 1001000 | #Constraints: 40112 1128.87/1136.61 c INPROCESSING 1128.87/1136.61 c GARBAGE COLLECT 1128.87/1136.61 c rational objective 3 1197.36/1205.37 c #Conflicts: 1002000 | #Constraints: 21211 1197.36/1205.37 c #Conflicts: 1003000 | #Constraints: 22221 1197.36/1205.37 c #Conflicts: 1004000 | #Constraints: 23228 1197.36/1205.37 c #Conflicts: 1005000 | #Constraints: 24236 1197.36/1205.37 c #Conflicts: 1006000 | #Constraints: 25243 1197.36/1205.37 c #Conflicts: 1007000 | #Constraints: 26253 1197.36/1205.37 c #Conflicts: 1008000 | #Constraints: 27260 1197.36/1205.37 c #Conflicts: 1009000 | #Constraints: 28266 1197.36/1205.37 c #Conflicts: 1010000 | #Constraints: 29271 1197.36/1205.37 c #Conflicts: 1011000 | #Constraints: 30277 1197.36/1205.37 c #Conflicts: 1012000 | #Constraints: 31282 1197.36/1205.37 c #Conflicts: 1013000 | #Constraints: 32292 1197.36/1205.37 c #Conflicts: 1014000 | #Constraints: 33298 1197.36/1205.37 c #Conflicts: 1015000 | #Constraints: 34305 1197.36/1205.37 c #Conflicts: 1016000 | #Constraints: 35308 1197.36/1205.37 c #Conflicts: 1017000 | #Constraints: 36312 1197.36/1205.37 c #Conflicts: 1018000 | #Constraints: 37316 1197.36/1205.37 c #Conflicts: 1019000 | #Constraints: 38323 1197.36/1205.37 c #Conflicts: 1020000 | #Constraints: 39328 1197.36/1205.37 c #Conflicts: 1021000 | #Constraints: 40336 1197.36/1205.37 c INPROCESSING 1197.36/1205.37 c GARBAGE COLLECT 1197.36/1205.37 c rational objective 3 1242.71/1250.86 c #Conflicts: 1022000 | #Constraints: 21234 1242.71/1250.86 c #Conflicts: 1023000 | #Constraints: 22241 1242.71/1250.86 c #Conflicts: 1024000 | #Constraints: 23250 1242.71/1250.86 c #Conflicts: 1025000 | #Constraints: 24255 1242.71/1250.86 c #Conflicts: 1026000 | #Constraints: 25262 1242.71/1250.86 c #Conflicts: 1027000 | #Constraints: 26269 1242.71/1250.86 c #Conflicts: 1028000 | #Constraints: 27272 1242.71/1250.86 c #Conflicts: 1029000 | #Constraints: 28281 1242.71/1250.86 c #Conflicts: 1030000 | #Constraints: 29285 1242.71/1250.86 c #Conflicts: 1031000 | #Constraints: 30292 1242.71/1250.86 c #Conflicts: 1032000 | #Constraints: 31301 1242.71/1250.86 c #Conflicts: 1033000 | #Constraints: 32305 1242.71/1250.86 c #Conflicts: 1034000 | #Constraints: 33309 1242.71/1250.86 c #Conflicts: 1035000 | #Constraints: 34310 1242.71/1250.86 c #Conflicts: 1036000 | #Constraints: 35315 1242.71/1250.86 c #Conflicts: 1037000 | #Constraints: 36319 1242.71/1250.86 c #Conflicts: 1038000 | #Constraints: 37320 1242.71/1250.86 c #Conflicts: 1039000 | #Constraints: 38325 1242.71/1250.86 c #Conflicts: 1040000 | #Constraints: 39330 1242.71/1250.86 c #Conflicts: 1041000 | #Constraints: 40331 1242.71/1250.86 c INPROCESSING 1242.71/1250.86 c GARBAGE COLLECT 1242.71/1250.86 c rational objective 3 1275.30/1283.59 c #Conflicts: 1042000 | #Constraints: 21057 1275.30/1283.59 c #Conflicts: 1043000 | #Constraints: 22062 1275.30/1283.59 c #Conflicts: 1044000 | #Constraints: 23070 1275.30/1283.59 c #Conflicts: 1045000 | #Constraints: 24072 1275.30/1283.59 c #Conflicts: 1046000 | #Constraints: 25080 1275.30/1283.59 c #Conflicts: 1047000 | #Constraints: 26085 1275.30/1283.59 c #Conflicts: 1048000 | #Constraints: 27092 1275.30/1283.59 c #Conflicts: 1049000 | #Constraints: 28098 1275.30/1283.59 c #Conflicts: 1050000 | #Constraints: 29105 1275.30/1283.59 c #Conflicts: 1051000 | #Constraints: 30107 1275.30/1283.59 c #Conflicts: 1052000 | #Constraints: 31109 1275.30/1283.59 c #Conflicts: 1053000 | #Constraints: 32117 1275.30/1283.59 c #Conflicts: 1054000 | #Constraints: 33120 1275.30/1283.59 c #Conflicts: 1055000 | #Constraints: 34126 1275.30/1283.59 c #Conflicts: 1056000 | #Constraints: 35135 1275.30/1283.59 c #Conflicts: 1057000 | #Constraints: 36140 1275.30/1283.59 c #Conflicts: 1058000 | #Constraints: 37146 1275.30/1283.59 c #Conflicts: 1059000 | #Constraints: 38151 1275.30/1283.59 c #Conflicts: 1060000 | #Constraints: 39161 1275.30/1283.59 c #Conflicts: 1061000 | #Constraints: 40165 1275.30/1283.59 c #Conflicts: 1062000 | #Constraints: 41173 1275.30/1283.59 c INPROCESSING 1275.30/1283.59 c GARBAGE COLLECT 1275.30/1283.59 c rational objective 3 1327.74/1336.18 c #Conflicts: 1063000 | #Constraints: 21660 1327.74/1336.18 c #Conflicts: 1064000 | #Constraints: 22663 1327.74/1336.18 c #Conflicts: 1065000 | #Constraints: 23669 1327.74/1336.18 c #Conflicts: 1066000 | #Constraints: 24674 1327.74/1336.18 c #Conflicts: 1067000 | #Constraints: 25678 1327.74/1336.18 c #Conflicts: 1068000 | #Constraints: 26682 1327.74/1336.18 c #Conflicts: 1069000 | #Constraints: 27686 1327.74/1336.18 c #Conflicts: 1070000 | #Constraints: 28690 1327.74/1336.18 c #Conflicts: 1071000 | #Constraints: 29693 1327.74/1336.18 c #Conflicts: 1072000 | #Constraints: 30697 1327.74/1336.18 c #Conflicts: 1073000 | #Constraints: 31700 1327.74/1336.18 c #Conflicts: 1074000 | #Constraints: 32707 1327.74/1336.18 c #Conflicts: 1075000 | #Constraints: 33715 1327.74/1336.18 c #Conflicts: 1076000 | #Constraints: 34716 1327.74/1336.18 c #Conflicts: 1077000 | #Constraints: 35721 1327.74/1336.18 c #Conflicts: 1078000 | #Constraints: 36728 1327.74/1336.18 c #Conflicts: 1079000 | #Constraints: 37731 1327.74/1336.18 c #Conflicts: 1080000 | #Constraints: 38734 1327.74/1336.18 c #Conflicts: 1081000 | #Constraints: 39738 1327.74/1336.18 c #Conflicts: 1082000 | #Constraints: 40743 1327.74/1336.18 c #Conflicts: 1083000 | #Constraints: 41750 1327.74/1336.18 c INPROCESSING 1327.74/1336.18 c GARBAGE COLLECT 1327.74/1336.18 c rational objective 3 1379.66/1388.23 c #Conflicts: 1084000 | #Constraints: 22048 1379.66/1388.23 c #Conflicts: 1085000 | #Constraints: 23053 1379.66/1388.23 c #Conflicts: 1086000 | #Constraints: 24058 1379.66/1388.23 c #Conflicts: 1087000 | #Constraints: 25064 1379.66/1388.23 c #Conflicts: 1088000 | #Constraints: 26069 1379.66/1388.23 c #Conflicts: 1089000 | #Constraints: 27072 1379.66/1388.23 c #Conflicts: 1090000 | #Constraints: 28080 1379.66/1388.23 c #Conflicts: 1091000 | #Constraints: 29082 1379.66/1388.23 c #Conflicts: 1092000 | #Constraints: 30087 1379.66/1388.23 c #Conflicts: 1093000 | #Constraints: 31093 1379.66/1388.23 c #Conflicts: 1094000 | #Constraints: 32097 1379.66/1388.23 c #Conflicts: 1095000 | #Constraints: 33102 1379.66/1388.23 c #Conflicts: 1096000 | #Constraints: 34109 1379.66/1388.23 c #Conflicts: 1097000 | #Constraints: 35111 1379.66/1388.23 c #Conflicts: 1098000 | #Constraints: 36114 1379.66/1388.23 c #Conflicts: 1099000 | #Constraints: 37125 1379.66/1388.23 c #Conflicts: 1100000 | #Constraints: 38129 1379.66/1388.23 c #Conflicts: 1101000 | #Constraints: 39132 1379.66/1388.23 c #Conflicts: 1102000 | #Constraints: 40134 1379.66/1388.23 c #Conflicts: 1103000 | #Constraints: 41135 1379.66/1388.23 c #Conflicts: 1104000 | #Constraints: 42138 1379.66/1388.23 c INPROCESSING 1379.66/1388.23 c GARBAGE COLLECT 1379.66/1388.23 c rational objective 3 1423.02/1431.74 c #Conflicts: 1105000 | #Constraints: 22222 1423.02/1431.74 c #Conflicts: 1106000 | #Constraints: 23223 1423.02/1431.74 c #Conflicts: 1107000 | #Constraints: 24226 1423.02/1431.74 c #Conflicts: 1108000 | #Constraints: 25232 1423.02/1431.74 c #Conflicts: 1109000 | #Constraints: 26237 1423.02/1431.74 c #Conflicts: 1110000 | #Constraints: 27241 1423.02/1431.74 c #Conflicts: 1111000 | #Constraints: 28245 1423.02/1431.74 c #Conflicts: 1112000 | #Constraints: 29250 1423.02/1431.74 c #Conflicts: 1113000 | #Constraints: 30255 1423.02/1431.74 c #Conflicts: 1114000 | #Constraints: 31260 1423.02/1431.74 c #Conflicts: 1115000 | #Constraints: 32262 1423.02/1431.74 c #Conflicts: 1116000 | #Constraints: 33266 1423.02/1431.74 c #Conflicts: 1117000 | #Constraints: 34271 1423.02/1431.74 c #Conflicts: 1118000 | #Constraints: 35273 1423.02/1431.74 c #Conflicts: 1119000 | #Constraints: 36276 1423.02/1431.74 c #Conflicts: 1120000 | #Constraints: 37277 1423.02/1431.74 c #Conflicts: 1121000 | #Constraints: 38279 1423.02/1431.74 c #Conflicts: 1122000 | #Constraints: 39281 1423.02/1431.74 c #Conflicts: 1123000 | #Constraints: 40285 1423.02/1431.74 c #Conflicts: 1124000 | #Constraints: 41288 1423.02/1431.74 c #Conflicts: 1125000 | #Constraints: 42290 1423.02/1431.74 c INPROCESSING 1423.02/1431.74 c GARBAGE COLLECT 1423.02/1431.74 c rational objective 3 1462.09/1470.90 c #Conflicts: 1126000 | #Constraints: 22220 1462.09/1470.90 c #Conflicts: 1127000 | #Constraints: 23223 1462.09/1470.90 c #Conflicts: 1128000 | #Constraints: 24229 1462.09/1470.90 c #Conflicts: 1129000 | #Constraints: 25234 1462.09/1470.90 c #Conflicts: 1130000 | #Constraints: 26242 1462.09/1470.90 c #Conflicts: 1131000 | #Constraints: 27248 1462.09/1470.90 c #Conflicts: 1132000 | #Constraints: 28256 1462.09/1470.90 c #Conflicts: 1133000 | #Constraints: 29259 1462.09/1470.90 c #Conflicts: 1134000 | #Constraints: 30265 1462.09/1470.90 c #Conflicts: 1135000 | #Constraints: 31270 1462.09/1470.90 c #Conflicts: 1136000 | #Constraints: 32279 1462.09/1470.90 c #Conflicts: 1137000 | #Constraints: 33285 1462.09/1470.90 c #Conflicts: 1138000 | #Constraints: 34289 1462.09/1470.90 c #Conflicts: 1139000 | #Constraints: 35296 1462.09/1470.90 c #Conflicts: 1140000 | #Constraints: 36298 1462.09/1470.90 c #Conflicts: 1141000 | #Constraints: 37309 1462.09/1470.90 c #Conflicts: 1142000 | #Constraints: 38317 1462.09/1470.90 c #Conflicts: 1143000 | #Constraints: 39326 1462.09/1470.90 c #Conflicts: 1144000 | #Constraints: 40331 1462.09/1470.90 c #Conflicts: 1145000 | #Constraints: 41336 1462.09/1470.90 c #Conflicts: 1146000 | #Constraints: 42346 1462.09/1470.90 c INPROCESSING 1462.09/1470.90 c GARBAGE COLLECT 1462.09/1470.90 c rational objective 3 1504.46/1513.47 c #Conflicts: 1147000 | #Constraints: 22034 1504.46/1513.47 c #Conflicts: 1148000 | #Constraints: 23039 1504.46/1513.47 c #Conflicts: 1149000 | #Constraints: 24041 1504.46/1513.47 c #Conflicts: 1150000 | #Constraints: 25050 1504.46/1513.47 c #Conflicts: 1151000 | #Constraints: 26057 1504.46/1513.47 c #Conflicts: 1152000 | #Constraints: 27063 1504.46/1513.47 c #Conflicts: 1153000 | #Constraints: 28075 1504.46/1513.47 c #Conflicts: 1154000 | #Constraints: 29083 1504.46/1513.47 c #Conflicts: 1155000 | #Constraints: 30085 1504.46/1513.47 c #Conflicts: 1156000 | #Constraints: 31090 1504.46/1513.47 c #Conflicts: 1157000 | #Constraints: 32094 1504.46/1513.47 c #Conflicts: 1158000 | #Constraints: 33098 1504.46/1513.47 c #Conflicts: 1159000 | #Constraints: 34104 1504.46/1513.47 c #Conflicts: 1160000 | #Constraints: 35114 1504.46/1513.47 c #Conflicts: 1161000 | #Constraints: 36121 1504.46/1513.47 c #Conflicts: 1162000 | #Constraints: 37126 1504.46/1513.47 c #Conflicts: 1163000 | #Constraints: 38129 1504.46/1513.47 c #Conflicts: 1164000 | #Constraints: 39134 1504.46/1513.47 c #Conflicts: 1165000 | #Constraints: 40137 1504.46/1513.47 c #Conflicts: 1166000 | #Constraints: 41141 1504.46/1513.47 c #Conflicts: 1167000 | #Constraints: 42143 1504.46/1513.47 c #Conflicts: 1168000 | #Constraints: 43147 1504.46/1513.47 c INPROCESSING 1504.46/1513.47 c GARBAGE COLLECT 1504.46/1513.47 c rational objective 3 1536.65/1545.78 c #Conflicts: 1169000 | #Constraints: 22637 1536.65/1545.78 c #Conflicts: 1170000 | #Constraints: 23640 1536.65/1545.78 c #Conflicts: 1171000 | #Constraints: 24647 1536.65/1545.78 c #Conflicts: 1172000 | #Constraints: 25649 1536.65/1545.78 c #Conflicts: 1173000 | #Constraints: 26658 1536.65/1545.78 c #Conflicts: 1174000 | #Constraints: 27666 1536.65/1545.78 c #Conflicts: 1175000 | #Constraints: 28671 1536.65/1545.78 c #Conflicts: 1176000 | #Constraints: 29675 1536.65/1545.78 c #Conflicts: 1177000 | #Constraints: 30681 1536.65/1545.78 c #Conflicts: 1178000 | #Constraints: 31689 1536.65/1545.78 c #Conflicts: 1179000 | #Constraints: 32692 1536.65/1545.78 c #Conflicts: 1180000 | #Constraints: 33700 1536.65/1545.78 c #Conflicts: 1181000 | #Constraints: 34702 1536.65/1545.78 c #Conflicts: 1182000 | #Constraints: 35707 1536.65/1545.78 c #Conflicts: 1183000 | #Constraints: 36711 1536.65/1545.78 c #Conflicts: 1184000 | #Constraints: 37714 1536.65/1545.78 c #Conflicts: 1185000 | #Constraints: 38718 1536.65/1545.78 c #Conflicts: 1186000 | #Constraints: 39727 1536.65/1545.78 c #Conflicts: 1187000 | #Constraints: 40732 1536.65/1545.78 c #Conflicts: 1188000 | #Constraints: 41743 1536.65/1545.78 c #Conflicts: 1189000 | #Constraints: 42750 1536.65/1545.78 c #Conflicts: 1190000 | #Constraints: 43759 1536.65/1545.78 c INPROCESSING 1536.65/1545.78 c GARBAGE COLLECT 1536.65/1545.78 c rational objective 3 1576.32/1585.51 c #Conflicts: 1191000 | #Constraints: 23060 1576.32/1585.51 c #Conflicts: 1192000 | #Constraints: 24068 1576.32/1585.51 c #Conflicts: 1193000 | #Constraints: 25072 1576.32/1585.51 c #Conflicts: 1194000 | #Constraints: 26076 1576.32/1585.51 c #Conflicts: 1195000 | #Constraints: 27082 1576.32/1585.51 c #Conflicts: 1196000 | #Constraints: 28086 1576.32/1585.51 c #Conflicts: 1197000 | #Constraints: 29090 1576.32/1585.51 c #Conflicts: 1198000 | #Constraints: 30097 1576.32/1585.51 c #Conflicts: 1199000 | #Constraints: 31106 1576.32/1585.51 c #Conflicts: 1200000 | #Constraints: 32112 1576.32/1585.51 c #Conflicts: 1201000 | #Constraints: 33120 1576.32/1585.51 c #Conflicts: 1202000 | #Constraints: 34123 1576.32/1585.51 c #Conflicts: 1203000 | #Constraints: 35127 1576.32/1585.51 c #Conflicts: 1204000 | #Constraints: 36132 1576.32/1585.51 c #Conflicts: 1205000 | #Constraints: 37139 1576.32/1585.51 c #Conflicts: 1206000 | #Constraints: 38148 1576.32/1585.51 c #Conflicts: 1207000 | #Constraints: 39153 1576.32/1585.51 c #Conflicts: 1208000 | #Constraints: 40156 1576.32/1585.51 c #Conflicts: 1209000 | #Constraints: 41161 1576.32/1585.51 c #Conflicts: 1210000 | #Constraints: 42166 1576.32/1585.51 c #Conflicts: 1211000 | #Constraints: 43170 1576.32/1585.51 c #Conflicts: 1212000 | #Constraints: 44175 1576.32/1585.51 c INPROCESSING 1576.32/1585.51 c GARBAGE COLLECT 1576.32/1585.51 c rational objective 3 1607.22/1616.54 c #Conflicts: 1213000 | #Constraints: 23251 1607.22/1616.54 c #Conflicts: 1214000 | #Constraints: 24253 1607.22/1616.54 c #Conflicts: 1215000 | #Constraints: 25257 1607.22/1616.54 c #Conflicts: 1216000 | #Constraints: 26263 1607.22/1616.54 c #Conflicts: 1217000 | #Constraints: 27269 1607.22/1616.54 c #Conflicts: 1218000 | #Constraints: 28277 1607.22/1616.54 c #Conflicts: 1219000 | #Constraints: 29286 1607.22/1616.54 c #Conflicts: 1220000 | #Constraints: 30303 1607.22/1616.54 c #Conflicts: 1221000 | #Constraints: 31314 1607.22/1616.54 c #Conflicts: 1222000 | #Constraints: 32321 1607.22/1616.54 c #Conflicts: 1223000 | #Constraints: 33324 1607.22/1616.54 c #Conflicts: 1224000 | #Constraints: 34331 1607.22/1616.54 c #Conflicts: 1225000 | #Constraints: 35340 1607.22/1616.54 c #Conflicts: 1226000 | #Constraints: 36355 1607.22/1616.54 c #Conflicts: 1227000 | #Constraints: 37361 1607.22/1616.54 c #Conflicts: 1228000 | #Constraints: 38364 1607.22/1616.54 c #Conflicts: 1229000 | #Constraints: 39368 1607.22/1616.54 c #Conflicts: 1230000 | #Constraints: 40378 1607.22/1616.54 c #Conflicts: 1231000 | #Constraints: 41384 1607.22/1616.54 c #Conflicts: 1232000 | #Constraints: 42385 1607.22/1616.54 c #Conflicts: 1233000 | #Constraints: 43387 1607.22/1616.54 c #Conflicts: 1234000 | #Constraints: 44393 1607.22/1616.54 c INPROCESSING 1607.22/1616.54 c GARBAGE COLLECT 1607.22/1616.54 c rational objective 3 1646.71/1656.14 c #Conflicts: 1235000 | #Constraints: 23242 1646.71/1656.14 c #Conflicts: 1236000 | #Constraints: 24247 1646.71/1656.14 c #Conflicts: 1237000 | #Constraints: 25251 1646.71/1656.14 c #Conflicts: 1238000 | #Constraints: 26259 1646.71/1656.14 c #Conflicts: 1239000 | #Constraints: 27267 1646.71/1656.14 c #Conflicts: 1240000 | #Constraints: 28274 1646.71/1656.14 c #Conflicts: 1241000 | #Constraints: 29281 1646.71/1656.14 c #Conflicts: 1242000 | #Constraints: 30286 1646.71/1656.14 c #Conflicts: 1243000 | #Constraints: 31291 1646.71/1656.14 c #Conflicts: 1244000 | #Constraints: 32295 1646.71/1656.14 c #Conflicts: 1245000 | #Constraints: 33301 1646.71/1656.14 c #Conflicts: 1246000 | #Constraints: 34306 1646.71/1656.14 c #Conflicts: 1247000 | #Constraints: 35317 1646.71/1656.14 c #Conflicts: 1248000 | #Constraints: 36327 1646.71/1656.14 c #Conflicts: 1249000 | #Constraints: 37335 1646.71/1656.14 c #Conflicts: 1250000 | #Constraints: 38341 1646.71/1656.14 c #Conflicts: 1251000 | #Constraints: 39347 1646.71/1656.14 c #Conflicts: 1252000 | #Constraints: 40352 1646.71/1656.14 c #Conflicts: 1253000 | #Constraints: 41359 1646.71/1656.14 c #Conflicts: 1254000 | #Constraints: 42366 1646.71/1656.14 c #Conflicts: 1255000 | #Constraints: 43368 1646.71/1656.14 c #Conflicts: 1256000 | #Constraints: 44369 1646.71/1656.14 c INPROCESSING 1646.71/1656.14 c GARBAGE COLLECT 1646.71/1656.14 c rational objective 3 1690.25/1699.89 c #Conflicts: 1257000 | #Constraints: 23062 1690.25/1699.89 c #Conflicts: 1258000 | #Constraints: 24068 1690.25/1699.89 c #Conflicts: 1259000 | #Constraints: 25073 1690.25/1699.89 c #Conflicts: 1260000 | #Constraints: 26079 1690.25/1699.89 c #Conflicts: 1261000 | #Constraints: 27087 1690.25/1699.89 c #Conflicts: 1262000 | #Constraints: 28096 1690.25/1699.89 c #Conflicts: 1263000 | #Constraints: 29101 1690.25/1699.89 c #Conflicts: 1264000 | #Constraints: 30106 1690.25/1699.89 c #Conflicts: 1265000 | #Constraints: 31110 1690.25/1699.89 c #Conflicts: 1266000 | #Constraints: 32115 1690.25/1699.89 c #Conflicts: 1267000 | #Constraints: 33122 1690.25/1699.89 c #Conflicts: 1268000 | #Constraints: 34124 1690.25/1699.89 c #Conflicts: 1269000 | #Constraints: 35128 1690.25/1699.89 c #Conflicts: 1270000 | #Constraints: 36129 1690.25/1699.89 c #Conflicts: 1271000 | #Constraints: 37134 1690.25/1699.89 c #Conflicts: 1272000 | #Constraints: 38134 1690.25/1699.89 c #Conflicts: 1273000 | #Constraints: 39136 1690.25/1699.89 c #Conflicts: 1274000 | #Constraints: 40138 1690.25/1699.89 c #Conflicts: 1275000 | #Constraints: 41141 1690.25/1699.89 c #Conflicts: 1276000 | #Constraints: 42145 1690.25/1699.89 c #Conflicts: 1277000 | #Constraints: 43150 1690.25/1699.89 c #Conflicts: 1278000 | #Constraints: 44153 1690.25/1699.89 c #Conflicts: 1279000 | #Constraints: 45163 1690.25/1699.89 c INPROCESSING 1690.25/1699.89 c GARBAGE COLLECT 1690.25/1699.89 c rational objective 3 1725.93/1735.69 c #Conflicts: 1280000 | #Constraints: 23635 1725.93/1735.69 c #Conflicts: 1281000 | #Constraints: 24641 1725.93/1735.69 c #Conflicts: 1282000 | #Constraints: 25646 1725.93/1735.69 c #Conflicts: 1283000 | #Constraints: 26654 1725.93/1735.69 c #Conflicts: 1284000 | #Constraints: 27658 1725.93/1735.69 c #Conflicts: 1285000 | #Constraints: 28662 1725.93/1735.69 c #Conflicts: 1286000 | #Constraints: 29665 1725.93/1735.69 c #Conflicts: 1287000 | #Constraints: 30670 1725.93/1735.69 c #Conflicts: 1288000 | #Constraints: 31674 1725.93/1735.69 c #Conflicts: 1289000 | #Constraints: 32676 1725.93/1735.69 c #Conflicts: 1290000 | #Constraints: 33680 1725.93/1735.69 c #Conflicts: 1291000 | #Constraints: 34683 1725.93/1735.69 c #Conflicts: 1292000 | #Constraints: 35690 1725.93/1735.69 c #Conflicts: 1293000 | #Constraints: 36693 1725.93/1735.69 c #Conflicts: 1294000 | #Constraints: 37698 1725.93/1735.69 c #Conflicts: 1295000 | #Constraints: 38701 1725.93/1735.69 c #Conflicts: 1296000 | #Constraints: 39704 1725.93/1735.69 c #Conflicts: 1297000 | #Constraints: 40710 1725.93/1735.69 c #Conflicts: 1298000 | #Constraints: 41713 1725.93/1735.69 c #Conflicts: 1299000 | #Constraints: 42719 1725.93/1735.69 c #Conflicts: 1300000 | #Constraints: 43725 1725.93/1735.69 c #Conflicts: 1301000 | #Constraints: 44733 1725.93/1735.69 c #Conflicts: 1302000 | #Constraints: 45740 1725.93/1735.69 c INPROCESSING 1725.93/1735.69 c GARBAGE COLLECT 1725.93/1735.69 c rational objective 3 1778.56/1788.41 c #Conflicts: 1303000 | #Constraints: 24051 1778.56/1788.41 c #Conflicts: 1304000 | #Constraints: 25057 1778.56/1788.41 c #Conflicts: 1305000 | #Constraints: 26059 1778.56/1788.41 c #Conflicts: 1306000 | #Constraints: 27065 1778.56/1788.41 c #Conflicts: 1307000 | #Constraints: 28069 1778.56/1788.41 c #Conflicts: 1308000 | #Constraints: 29072 1778.56/1788.41 c #Conflicts: 1309000 | #Constraints: 30075 1778.56/1788.41 c #Conflicts: 1310000 | #Constraints: 31078 1778.56/1788.41 c #Conflicts: 1311000 | #Constraints: 32083 1778.56/1788.41 c #Conflicts: 1312000 | #Constraints: 33086 1778.56/1788.41 c #Conflicts: 1313000 | #Constraints: 34091 1778.56/1788.41 c #Conflicts: 1314000 | #Constraints: 35097 1778.56/1788.41 c #Conflicts: 1315000 | #Constraints: 36103 1778.56/1788.41 c #Conflicts: 1316000 | #Constraints: 37108 1778.56/1788.41 c #Conflicts: 1317000 | #Constraints: 38114 1778.56/1788.41 c #Conflicts: 1318000 | #Constraints: 39116 1778.56/1788.41 c #Conflicts: 1319000 | #Constraints: 40119 1778.56/1788.41 c #Conflicts: 1320000 | #Constraints: 41122 1778.56/1788.41 c #Conflicts: 1321000 | #Constraints: 42126 1778.56/1788.41 c #Conflicts: 1322000 | #Constraints: 43131 1778.56/1788.41 c #Conflicts: 1323000 | #Constraints: 44134 1778.56/1788.41 c #Conflicts: 1324000 | #Constraints: 45135 1778.56/1788.41 c #Conflicts: 1325000 | #Constraints: 46135 1778.56/1788.41 c INPROCESSING 1778.56/1788.41 c GARBAGE COLLECT 1778.56/1788.41 c rational objective 3 1824.40/1834.49 c #Conflicts: 1326000 | #Constraints: 24269 1824.40/1834.49 c #Conflicts: 1327000 | #Constraints: 25273 1824.40/1834.49 c #Conflicts: 1328000 | #Constraints: 26277 1824.40/1834.49 c #Conflicts: 1329000 | #Constraints: 27281 1824.40/1834.49 c #Conflicts: 1330000 | #Constraints: 28287 1824.40/1834.49 c #Conflicts: 1331000 | #Constraints: 29294 1824.40/1834.49 c #Conflicts: 1332000 | #Constraints: 30298 1824.40/1834.49 c #Conflicts: 1333000 | #Constraints: 31301 1824.40/1834.49 c #Conflicts: 1334000 | #Constraints: 32304 1824.40/1834.49 c #Conflicts: 1335000 | #Constraints: 33310 1824.40/1834.49 c #Conflicts: 1336000 | #Constraints: 34312 1824.40/1834.49 c #Conflicts: 1337000 | #Constraints: 35316 1824.40/1834.49 c #Conflicts: 1338000 | #Constraints: 36324 1824.40/1834.49 c #Conflicts: 1339000 | #Constraints: 37328 1824.40/1834.49 c #Conflicts: 1340000 | #Constraints: 38332 1824.40/1834.49 c #Conflicts: 1341000 | #Constraints: 39334 1824.40/1834.49 c #Conflicts: 1342000 | #Constraints: 40338 1824.40/1834.49 c #Conflicts: 1343000 | #Constraints: 41340 1824.40/1834.49 c #Conflicts: 1344000 | #Constraints: 42343 1824.40/1834.49 c #Conflicts: 1345000 | #Constraints: 43348 1824.40/1834.49 c #Conflicts: 1346000 | #Constraints: 44352 1824.40/1834.49 c #Conflicts: 1347000 | #Constraints: 45356 1824.40/1834.49 c #Conflicts: 1348000 | #Constraints: 46361 1824.40/1834.49 c INPROCESSING 1824.40/1834.49 c GARBAGE COLLECT 1824.40/1834.49 c rational objective 3 1867.87/1878.09 c #Conflicts: 1349000 | #Constraints: 24229 1867.87/1878.09 c #Conflicts: 1350000 | #Constraints: 25232 1867.87/1878.09 c #Conflicts: 1351000 | #Constraints: 26238 1867.87/1878.09 c #Conflicts: 1352000 | #Constraints: 27243 1867.87/1878.09 c #Conflicts: 1353000 | #Constraints: 28247 1867.87/1878.09 c #Conflicts: 1354000 | #Constraints: 29252 1867.87/1878.09 c #Conflicts: 1355000 | #Constraints: 30263 1867.87/1878.09 c #Conflicts: 1356000 | #Constraints: 31271 1867.87/1878.09 c #Conflicts: 1357000 | #Constraints: 32276 1867.87/1878.09 c #Conflicts: 1358000 | #Constraints: 33280 1867.87/1878.09 c #Conflicts: 1359000 | #Constraints: 34282 1867.87/1878.09 c #Conflicts: 1360000 | #Constraints: 35288 1867.87/1878.09 c #Conflicts: 1361000 | #Constraints: 36293 1867.87/1878.09 c #Conflicts: 1362000 | #Constraints: 37297 1867.87/1878.09 c #Conflicts: 1363000 | #Constraints: 38302 1867.87/1878.09 c #Conflicts: 1364000 | #Constraints: 39305 1867.87/1878.09 c #Conflicts: 1365000 | #Constraints: 40314 1867.87/1878.09 c #Conflicts: 1366000 | #Constraints: 41318 1867.87/1878.09 c #Conflicts: 1367000 | #Constraints: 42322 1867.87/1878.09 c #Conflicts: 1368000 | #Constraints: 43327 1867.87/1878.09 c #Conflicts: 1369000 | #Constraints: 44332 1867.87/1878.09 c #Conflicts: 1370000 | #Constraints: 45333 1867.87/1878.09 c #Conflicts: 1371000 | #Constraints: 46335 1867.87/1878.09 c INPROCESSING 1867.87/1878.09 c GARBAGE COLLECT 1867.87/1878.09 c rational objective 3 1917.30/1927.61 c #Conflicts: 1372000 | #Constraints: 24033 1917.30/1927.61 c #Conflicts: 1373000 | #Constraints: 25038 1917.30/1927.61 c #Conflicts: 1374000 | #Constraints: 26041 1917.30/1927.61 c #Conflicts: 1375000 | #Constraints: 27043 1917.30/1927.61 c #Conflicts: 1376000 | #Constraints: 28048 1917.30/1927.61 c #Conflicts: 1377000 | #Constraints: 29053 1917.30/1927.61 c #Conflicts: 1378000 | #Constraints: 30061 1917.30/1927.61 c #Conflicts: 1379000 | #Constraints: 31069 1917.30/1927.61 c #Conflicts: 1380000 | #Constraints: 32073 1917.30/1927.61 c #Conflicts: 1381000 | #Constraints: 33079 1917.30/1927.61 c #Conflicts: 1382000 | #Constraints: 34083 1917.30/1927.61 c #Conflicts: 1383000 | #Constraints: 35089 1917.30/1927.61 c #Conflicts: 1384000 | #Constraints: 36092 1917.30/1927.61 c #Conflicts: 1385000 | #Constraints: 37094 1917.30/1927.61 c #Conflicts: 1386000 | #Constraints: 38100 1917.30/1927.61 c #Conflicts: 1387000 | #Constraints: 39101 1917.30/1927.61 c #Conflicts: 1388000 | #Constraints: 40111 1917.30/1927.61 c #Conflicts: 1389000 | #Constraints: 41116 1917.30/1927.61 c #Conflicts: 1390000 | #Constraints: 42123 1917.30/1927.61 c #Conflicts: 1391000 | #Constraints: 43123 1917.30/1927.61 c #Conflicts: 1392000 | #Constraints: 44126 1917.30/1927.61 c #Conflicts: 1393000 | #Constraints: 45128 1917.30/1927.61 c #Conflicts: 1394000 | #Constraints: 46137 1917.30/1927.61 c #Conflicts: 1395000 | #Constraints: 47141 1917.30/1927.61 c INPROCESSING 1917.30/1927.61 c GARBAGE COLLECT 1917.30/1927.61 c rational objective 3 1965.14/1975.69 c #Conflicts: 1396000 | #Constraints: 24630 1965.14/1975.69 c #Conflicts: 1397000 | #Constraints: 25638 1965.14/1975.69 c #Conflicts: 1398000 | #Constraints: 26643 1965.14/1975.69 c #Conflicts: 1399000 | #Constraints: 27649 1965.14/1975.69 c #Conflicts: 1400000 | #Constraints: 28655 1965.14/1975.69 c #Conflicts: 1401000 | #Constraints: 29663 1965.14/1975.69 c #Conflicts: 1402000 | #Constraints: 30665 1965.14/1975.69 c #Conflicts: 1403000 | #Constraints: 31670 1965.14/1975.69 c #Conflicts: 1404000 | #Constraints: 32679 1965.14/1975.69 c #Conflicts: 1405000 | #Constraints: 33688 1965.14/1975.69 c #Conflicts: 1406000 | #Constraints: 34695 1965.14/1975.69 c #Conflicts: 1407000 | #Constraints: 35700 1965.14/1975.69 c #Conflicts: 1408000 | #Constraints: 36705 1965.14/1975.69 c #Conflicts: 1409000 | #Constraints: 37709 1965.14/1975.69 c #Conflicts: 1410000 | #Constraints: 38711 1965.14/1975.69 c #Conflicts: 1411000 | #Constraints: 39715 1965.14/1975.69 c #Conflicts: 1412000 | #Constraints: 40722 1965.14/1975.69 c #Conflicts: 1413000 | #Constraints: 41729 1965.14/1975.69 c #Conflicts: 1414000 | #Constraints: 42738 1965.14/1975.69 c #Conflicts: 1415000 | #Constraints: 43742 1965.14/1975.69 c #Conflicts: 1416000 | #Constraints: 44746 1965.14/1975.69 c #Conflicts: 1417000 | #Constraints: 45749 1965.14/1975.69 c #Conflicts: 1418000 | #Constraints: 46754 1965.14/1975.69 c #Conflicts: 1419000 | #Constraints: 47757 1965.14/1975.69 c INPROCESSING 1965.14/1975.69 c GARBAGE COLLECT 1965.14/1975.69 c rational objective 3 2011.19/2021.85 c #Conflicts: 1420000 | #Constraints: 25046 2011.19/2021.85 c #Conflicts: 1421000 | #Constraints: 26051 2011.19/2021.85 c #Conflicts: 1422000 | #Constraints: 27054 2011.19/2021.85 c #Conflicts: 1423000 | #Constraints: 28056 2011.19/2021.85 c #Conflicts: 1424000 | #Constraints: 29061 2011.19/2021.85 c #Conflicts: 1425000 | #Constraints: 30069 2011.19/2021.85 c #Conflicts: 1426000 | #Constraints: 31072 2011.19/2021.85 c #Conflicts: 1427000 | #Constraints: 32079 2011.19/2021.85 c #Conflicts: 1428000 | #Constraints: 33086 2011.19/2021.85 c #Conflicts: 1429000 | #Constraints: 34093 2011.19/2021.85 c #Conflicts: 1430000 | #Constraints: 35098 2011.19/2021.85 c #Conflicts: 1431000 | #Constraints: 36103 2011.19/2021.85 c #Conflicts: 1432000 | #Constraints: 37110 2011.19/2021.85 c #Conflicts: 1433000 | #Constraints: 38114 2011.19/2021.85 c #Conflicts: 1434000 | #Constraints: 39119 2011.19/2021.85 c #Conflicts: 1435000 | #Constraints: 40122 2011.19/2021.85 c #Conflicts: 1436000 | #Constraints: 41126 2011.19/2021.85 c #Conflicts: 1437000 | #Constraints: 42133 2011.19/2021.85 c #Conflicts: 1438000 | #Constraints: 43141 2011.19/2021.85 c #Conflicts: 1439000 | #Constraints: 44148 2011.19/2021.85 c #Conflicts: 1440000 | #Constraints: 45158 2011.19/2021.85 c #Conflicts: 1441000 | #Constraints: 46164 2011.19/2021.85 c #Conflicts: 1442000 | #Constraints: 47170 2011.19/2021.85 c #Conflicts: 1443000 | #Constraints: 48173 2011.19/2021.85 c INPROCESSING 2011.19/2021.85 c GARBAGE COLLECT 2011.19/2021.85 c rational objective 3 2055.98/2066.70 c #Conflicts: 1444000 | #Constraints: 25308 2055.98/2066.70 c #Conflicts: 1445000 | #Constraints: 26313 2055.98/2066.70 c #Conflicts: 1446000 | #Constraints: 27315 2055.98/2066.70 c #Conflicts: 1447000 | #Constraints: 28318 2055.98/2066.70 c #Conflicts: 1448000 | #Constraints: 29323 2055.98/2066.70 c #Conflicts: 1449000 | #Constraints: 30328 2055.98/2066.70 c #Conflicts: 1450000 | #Constraints: 31331 2055.98/2066.70 c #Conflicts: 1451000 | #Constraints: 32338 2055.98/2066.70 c #Conflicts: 1452000 | #Constraints: 33344 2055.98/2066.70 c #Conflicts: 1453000 | #Constraints: 34349 2055.98/2066.70 c #Conflicts: 1454000 | #Constraints: 35355 2055.98/2066.70 c #Conflicts: 1455000 | #Constraints: 36357 2055.98/2066.70 c #Conflicts: 1456000 | #Constraints: 37361 2055.98/2066.70 c #Conflicts: 1457000 | #Constraints: 38363 2055.98/2066.70 c #Conflicts: 1458000 | #Constraints: 39364 2055.98/2066.70 c #Conflicts: 1459000 | #Constraints: 40366 2055.98/2066.70 c #Conflicts: 1460000 | #Constraints: 41372 2055.98/2066.70 c #Conflicts: 1461000 | #Constraints: 42375 2055.98/2066.70 c #Conflicts: 1462000 | #Constraints: 43378 2055.98/2066.70 c #Conflicts: 1463000 | #Constraints: 44392 2055.98/2066.70 c #Conflicts: 1464000 | #Constraints: 45406 2055.98/2066.70 c #Conflicts: 1465000 | #Constraints: 46411 2055.98/2066.70 c #Conflicts: 1466000 | #Constraints: 47415 2055.98/2066.70 c #Conflicts: 1467000 | #Constraints: 48421 2055.98/2066.70 c INPROCESSING 2055.98/2066.70 c GARBAGE COLLECT 2055.98/2066.70 c rational objective 3 2104.36/2115.23 c #Conflicts: 1468000 | #Constraints: 25276 2104.36/2115.23 c #Conflicts: 1469000 | #Constraints: 26281 2104.36/2115.23 c #Conflicts: 1470000 | #Constraints: 27285 2104.36/2115.23 c #Conflicts: 1471000 | #Constraints: 28290 2104.36/2115.23 c #Conflicts: 1472000 | #Constraints: 29298 2104.36/2115.23 c #Conflicts: 1473000 | #Constraints: 30305 2104.36/2115.23 c #Conflicts: 1474000 | #Constraints: 31309 2104.36/2115.23 c #Conflicts: 1475000 | #Constraints: 32313 2104.36/2115.23 c #Conflicts: 1476000 | #Constraints: 33319 2104.36/2115.23 c #Conflicts: 1477000 | #Constraints: 34323 2104.36/2115.23 c #Conflicts: 1478000 | #Constraints: 35325 2104.36/2115.23 c #Conflicts: 1479000 | #Constraints: 36330 2104.36/2115.23 c #Conflicts: 1480000 | #Constraints: 37336 2104.36/2115.23 c #Conflicts: 1481000 | #Constraints: 38341 2104.36/2115.23 c #Conflicts: 1482000 | #Constraints: 39347 2104.36/2115.23 c #Conflicts: 1483000 | #Constraints: 40356 2104.36/2115.23 c #Conflicts: 1484000 | #Constraints: 41360 2104.36/2115.23 c #Conflicts: 1485000 | #Constraints: 42370 2104.36/2115.23 c #Conflicts: 1486000 | #Constraints: 43385 2104.36/2115.23 c #Conflicts: 1487000 | #Constraints: 44390 2104.36/2115.23 c #Conflicts: 1488000 | #Constraints: 45396 2104.36/2115.23 c #Conflicts: 1489000 | #Constraints: 46401 2104.36/2115.23 c #Conflicts: 1490000 | #Constraints: 47405 2104.36/2115.23 c #Conflicts: 1491000 | #Constraints: 48410 2104.36/2115.23 c INPROCESSING 2104.36/2115.23 c GARBAGE COLLECT 2104.36/2115.23 c rational objective 3 2141.76/2152.78 c #Conflicts: 1492000 | #Constraints: 25069 2141.76/2152.78 c #Conflicts: 1493000 | #Constraints: 26074 2141.76/2152.78 c #Conflicts: 1494000 | #Constraints: 27080 2141.76/2152.78 c #Conflicts: 1495000 | #Constraints: 28083 2141.76/2152.78 c #Conflicts: 1496000 | #Constraints: 29090 2141.76/2152.78 c #Conflicts: 1497000 | #Constraints: 30094 2141.76/2152.78 c #Conflicts: 1498000 | #Constraints: 31099 2141.76/2152.78 c #Conflicts: 1499000 | #Constraints: 32107 2141.76/2152.78 c #Conflicts: 1500000 | #Constraints: 33118 2141.76/2152.78 c #Conflicts: 1501000 | #Constraints: 34136 2141.76/2152.78 c #Conflicts: 1502000 | #Constraints: 35155 2141.76/2152.78 c #Conflicts: 1503000 | #Constraints: 36170 2141.76/2152.78 c #Conflicts: 1504000 | #Constraints: 37184 2141.76/2152.78 c #Conflicts: 1505000 | #Constraints: 38192 2141.76/2152.78 c #Conflicts: 1506000 | #Constraints: 39200 2141.76/2152.78 c #Conflicts: 1507000 | #Constraints: 40205 2141.76/2152.78 c #Conflicts: 1508000 | #Constraints: 41213 2141.76/2152.78 c #Conflicts: 1509000 | #Constraints: 42215 2141.76/2152.78 c #Conflicts: 1510000 | #Constraints: 43218 2141.76/2152.78 c #Conflicts: 1511000 | #Constraints: 44222 2141.76/2152.78 c #Conflicts: 1512000 | #Constraints: 45226 2141.76/2152.78 c #Conflicts: 1513000 | #Constraints: 46228 2141.76/2152.78 c #Conflicts: 1514000 | #Constraints: 47234 2141.76/2152.78 c #Conflicts: 1515000 | #Constraints: 48238 2141.76/2152.78 c #Conflicts: 1516000 | #Constraints: 49251 2141.76/2152.78 c INPROCESSING 2141.76/2152.78 c GARBAGE COLLECT 2141.76/2152.78 c rational objective 3 2186.07/2197.15 c #Conflicts: 1517000 | #Constraints: 25695 2186.07/2197.15 c #Conflicts: 1518000 | #Constraints: 26700 2186.07/2197.15 c #Conflicts: 1519000 | #Constraints: 27707 2186.07/2197.15 c #Conflicts: 1520000 | #Constraints: 28710 2186.07/2197.15 c #Conflicts: 1521000 | #Constraints: 29713 2186.07/2197.15 c #Conflicts: 1522000 | #Constraints: 30721 2186.07/2197.15 c #Conflicts: 1523000 | #Constraints: 31733 2186.07/2197.15 c #Conflicts: 1524000 | #Constraints: 32740 2186.07/2197.15 c #Conflicts: 1525000 | #Constraints: 33741 2186.07/2197.15 c #Conflicts: 1526000 | #Constraints: 34746 2186.07/2197.15 c #Conflicts: 1527000 | #Constraints: 35752 2186.07/2197.15 c #Conflicts: 1528000 | #Constraints: 36760 2186.07/2197.15 c #Conflicts: 1529000 | #Constraints: 37763 2186.07/2197.15 c #Conflicts: 1530000 | #Constraints: 38768 2186.07/2197.15 c #Conflicts: 1531000 | #Constraints: 39772 2186.07/2197.15 c #Conflicts: 1532000 | #Constraints: 40778 2186.07/2197.15 c #Conflicts: 1533000 | #Constraints: 41784 2186.07/2197.15 c #Conflicts: 1534000 | #Constraints: 42788 2186.07/2197.15 c #Conflicts: 1535000 | #Constraints: 43792 2186.07/2197.15 c #Conflicts: 1536000 | #Constraints: 44797 2186.07/2197.15 c #Conflicts: 1537000 | #Constraints: 45802 2186.07/2197.15 c #Conflicts: 1538000 | #Constraints: 46808 2186.07/2197.15 c #Conflicts: 1539000 | #Constraints: 47813 2186.07/2197.15 c #Conflicts: 1540000 | #Constraints: 48819 2186.07/2197.15 c #Conflicts: 1541000 | #Constraints: 49826 2186.07/2197.15 c INPROCESSING 2186.07/2197.15 c GARBAGE COLLECT 2186.07/2197.15 c rational objective 3 2228.86/2240.02 c #Conflicts: 1542000 | #Constraints: 26091 2228.86/2240.02 c #Conflicts: 1543000 | #Constraints: 27097 2228.86/2240.02 c #Conflicts: 1544000 | #Constraints: 28101 2228.86/2240.02 c #Conflicts: 1545000 | #Constraints: 29108 2228.86/2240.02 c #Conflicts: 1546000 | #Constraints: 30112 2228.86/2240.02 c #Conflicts: 1547000 | #Constraints: 31118 2228.86/2240.02 c #Conflicts: 1548000 | #Constraints: 32119 2228.86/2240.02 c #Conflicts: 1549000 | #Constraints: 33123 2228.86/2240.02 c #Conflicts: 1550000 | #Constraints: 34129 2228.86/2240.02 c #Conflicts: 1551000 | #Constraints: 35130 2228.86/2240.02 c #Conflicts: 1552000 | #Constraints: 36132 2228.86/2240.02 c #Conflicts: 1553000 | #Constraints: 37134 2228.86/2240.02 c #Conflicts: 1554000 | #Constraints: 38135 2228.86/2240.02 c #Conflicts: 1555000 | #Constraints: 39137 2228.86/2240.02 c #Conflicts: 1556000 | #Constraints: 40138 2228.86/2240.02 c #Conflicts: 1557000 | #Constraints: 41140 2228.86/2240.02 c #Conflicts: 1558000 | #Constraints: 42144 2228.86/2240.02 c #Conflicts: 1559000 | #Constraints: 43144 2228.86/2240.02 c #Conflicts: 1560000 | #Constraints: 44144 2228.86/2240.02 c #Conflicts: 1561000 | #Constraints: 45148 2228.86/2240.02 c #Conflicts: 1562000 | #Constraints: 46151 2228.86/2240.02 c #Conflicts: 1563000 | #Constraints: 47153 2228.86/2240.02 c #Conflicts: 1564000 | #Constraints: 48158 2228.86/2240.02 c #Conflicts: 1565000 | #Constraints: 49165 2228.86/2240.02 c #Conflicts: 1566000 | #Constraints: 50167 2228.86/2240.02 c INPROCESSING 2228.86/2240.02 c GARBAGE COLLECT 2228.86/2240.02 c rational objective 3 2281.73/2293.02 c #Conflicts: 1567000 | #Constraints: 26277 2281.73/2293.02 c #Conflicts: 1568000 | #Constraints: 27281 2281.73/2293.02 c #Conflicts: 1569000 | #Constraints: 28287 2281.73/2293.02 c #Conflicts: 1570000 | #Constraints: 29293 2281.73/2293.02 c #Conflicts: 1571000 | #Constraints: 30294 2281.73/2293.02 c #Conflicts: 1572000 | #Constraints: 31295 2281.73/2293.02 c #Conflicts: 1573000 | #Constraints: 32298 2281.73/2293.02 c #Conflicts: 1574000 | #Constraints: 33300 2281.73/2293.02 c #Conflicts: 1575000 | #Constraints: 34303 2281.73/2293.02 c #Conflicts: 1576000 | #Constraints: 35304 2281.73/2293.02 c #Conflicts: 1577000 | #Constraints: 36305 2281.73/2293.02 c #Conflicts: 1578000 | #Constraints: 37306 2281.73/2293.02 c #Conflicts: 1579000 | #Constraints: 38307 2281.73/2293.02 c #Conflicts: 1580000 | #Constraints: 39310 2281.73/2293.02 c #Conflicts: 1581000 | #Constraints: 40311 2281.73/2293.02 c #Conflicts: 1582000 | #Constraints: 41315 2281.73/2293.02 c #Conflicts: 1583000 | #Constraints: 42322 2281.73/2293.02 c #Conflicts: 1584000 | #Constraints: 43326 2281.73/2293.02 c #Conflicts: 1585000 | #Constraints: 44329 2281.73/2293.02 c #Conflicts: 1586000 | #Constraints: 45335 2281.73/2293.02 c #Conflicts: 1587000 | #Constraints: 46339 2281.73/2293.02 c #Conflicts: 1588000 | #Constraints: 47340 2281.73/2293.02 c #Conflicts: 1589000 | #Constraints: 48350 2281.73/2293.02 c #Conflicts: 1590000 | #Constraints: 49360 2281.73/2293.02 c #Conflicts: 1591000 | #Constraints: 50367 2281.73/2293.02 c INPROCESSING 2281.73/2293.02 c GARBAGE COLLECT 2281.73/2293.02 c rational objective 3 2365.62/2377.16 c #Conflicts: 1592000 | #Constraints: 26268 2365.62/2377.16 c #Conflicts: 1593000 | #Constraints: 27275 2365.62/2377.16 c #Conflicts: 1594000 | #Constraints: 28281 2365.62/2377.16 c #Conflicts: 1595000 | #Constraints: 29286 2365.62/2377.16 c #Conflicts: 1596000 | #Constraints: 30291 2365.62/2377.16 c #Conflicts: 1597000 | #Constraints: 31296 2365.62/2377.16 c #Conflicts: 1598000 | #Constraints: 32299 2365.62/2377.16 c #Conflicts: 1599000 | #Constraints: 33304 2365.62/2377.16 c #Conflicts: 1600000 | #Constraints: 34310 2365.62/2377.16 c #Conflicts: 1601000 | #Constraints: 35317 2365.62/2377.16 c #Conflicts: 1602000 | #Constraints: 36323 2365.62/2377.16 c #Conflicts: 1603000 | #Constraints: 37326 2365.62/2377.16 c #Conflicts: 1604000 | #Constraints: 38328 2365.62/2377.16 c #Conflicts: 1605000 | #Constraints: 39330 2365.62/2377.16 c #Conflicts: 1606000 | #Constraints: 40335 2365.62/2377.16 c #Conflicts: 1607000 | #Constraints: 41340 2365.62/2377.16 c #Conflicts: 1608000 | #Constraints: 42344 2365.62/2377.16 c #Conflicts: 1609000 | #Constraints: 43349 2365.62/2377.16 c #Conflicts: 1610000 | #Constraints: 44351 2365.62/2377.16 c #Conflicts: 1611000 | #Constraints: 45353 2365.62/2377.16 c #Conflicts: 1612000 | #Constraints: 46355 2365.62/2377.16 c #Conflicts: 1613000 | #Constraints: 47362 2365.62/2377.16 c #Conflicts: 1614000 | #Constraints: 48364 2365.62/2377.16 c #Conflicts: 1615000 | #Constraints: 49365 2365.62/2377.16 c #Conflicts: 1616000 | #Constraints: 50368 2365.62/2377.16 c INPROCESSING 2365.62/2377.16 c GARBAGE COLLECT 2365.62/2377.16 c rational objective 3 2405.81/2417.49 c #Conflicts: 1617000 | #Constraints: 26038 2405.81/2417.49 c #Conflicts: 1618000 | #Constraints: 27043 2405.81/2417.49 c #Conflicts: 1619000 | #Constraints: 28047 2405.81/2417.49 c #Conflicts: 1620000 | #Constraints: 29051 2405.81/2417.49 c #Conflicts: 1621000 | #Constraints: 30057 2405.81/2417.49 c #Conflicts: 1622000 | #Constraints: 31061 2405.81/2417.49 c #Conflicts: 1623000 | #Constraints: 32065 2405.81/2417.49 c #Conflicts: 1624000 | #Constraints: 33068 2405.81/2417.49 c #Conflicts: 1625000 | #Constraints: 34070 2405.81/2417.49 c #Conflicts: 1626000 | #Constraints: 35073 2405.81/2417.49 c #Conflicts: 1627000 | #Constraints: 36075 2405.81/2417.49 c #Conflicts: 1628000 | #Constraints: 37078 2405.81/2417.49 c #Conflicts: 1629000 | #Constraints: 38083 2405.81/2417.49 c #Conflicts: 1630000 | #Constraints: 39086 2405.81/2417.49 c #Conflicts: 1631000 | #Constraints: 40087 2405.81/2417.49 c #Conflicts: 1632000 | #Constraints: 41092 2405.81/2417.49 c #Conflicts: 1633000 | #Constraints: 42094 2405.81/2417.49 c #Conflicts: 1634000 | #Constraints: 43096 2405.81/2417.49 c #Conflicts: 1635000 | #Constraints: 44097 2405.81/2417.49 c #Conflicts: 1636000 | #Constraints: 45100 2405.81/2417.49 c #Conflicts: 1637000 | #Constraints: 46106 2405.81/2417.49 c #Conflicts: 1638000 | #Constraints: 47109 2405.81/2417.49 c #Conflicts: 1639000 | #Constraints: 48111 2405.81/2417.49 c #Conflicts: 1640000 | #Constraints: 49113 2405.81/2417.49 c #Conflicts: 1641000 | #Constraints: 50118 2405.81/2417.49 c #Conflicts: 1642000 | #Constraints: 51128 2405.81/2417.49 c INPROCESSING 2405.81/2417.49 c GARBAGE COLLECT 2405.81/2417.49 c rational objective 3 2451.99/2463.70 c #Conflicts: 1643000 | #Constraints: 26666 2451.99/2463.70 c #Conflicts: 1644000 | #Constraints: 27671 2451.99/2463.70 c #Conflicts: 1645000 | #Constraints: 28679 2451.99/2463.70 c #Conflicts: 1646000 | #Constraints: 29685 2451.99/2463.70 c #Conflicts: 1647000 | #Constraints: 30690 2451.99/2463.70 c #Conflicts: 1648000 | #Constraints: 31691 2451.99/2463.70 c #Conflicts: 1649000 | #Constraints: 32696 2451.99/2463.70 c #Conflicts: 1650000 | #Constraints: 33700 2451.99/2463.70 c #Conflicts: 1651000 | #Constraints: 34706 2451.99/2463.70 c #Conflicts: 1652000 | #Constraints: 35708 2451.99/2463.70 c #Conflicts: 1653000 | #Constraints: 36715 2451.99/2463.70 c #Conflicts: 1654000 | #Constraints: 37719 2451.99/2463.70 c #Conflicts: 1655000 | #Constraints: 38721 2451.99/2463.70 c #Conflicts: 1656000 | #Constraints: 39724 2451.99/2463.70 c #Conflicts: 1657000 | #Constraints: 40730 2451.99/2463.70 c #Conflicts: 1658000 | #Constraints: 41736 2451.99/2463.70 c #Conflicts: 1659000 | #Constraints: 42737 2451.99/2463.70 c #Conflicts: 1660000 | #Constraints: 43743 2451.99/2463.70 c #Conflicts: 1661000 | #Constraints: 44746 2451.99/2463.70 c #Conflicts: 1662000 | #Constraints: 45753 2451.99/2463.70 c #Conflicts: 1663000 | #Constraints: 46759 2451.99/2463.70 c #Conflicts: 1664000 | #Constraints: 47763 2451.99/2463.70 c #Conflicts: 1665000 | #Constraints: 48769 2451.99/2463.70 c #Conflicts: 1666000 | #Constraints: 49775 2451.99/2463.70 c #Conflicts: 1667000 | #Constraints: 50779 2451.99/2463.70 c #Conflicts: 1668000 | #Constraints: 51782 2451.99/2463.70 c INPROCESSING 2451.99/2463.70 c GARBAGE COLLECT 2451.99/2463.70 c rational objective 3 2501.56/2513.45 c #Conflicts: 1669000 | #Constraints: 27082 2501.56/2513.45 c #Conflicts: 1670000 | #Constraints: 28087 2501.56/2513.45 c #Conflicts: 1671000 | #Constraints: 29094 2501.56/2513.45 c #Conflicts: 1672000 | #Constraints: 30098 2501.56/2513.45 c #Conflicts: 1673000 | #Constraints: 31108 2501.56/2513.45 c #Conflicts: 1674000 | #Constraints: 32113 2501.56/2513.45 c #Conflicts: 1675000 | #Constraints: 33116 2501.56/2513.45 c #Conflicts: 1676000 | #Constraints: 34121 2501.56/2513.45 c #Conflicts: 1677000 | #Constraints: 35127 2501.56/2513.45 c #Conflicts: 1678000 | #Constraints: 36130 2501.56/2513.45 c #Conflicts: 1679000 | #Constraints: 37135 2501.56/2513.45 c #Conflicts: 1680000 | #Constraints: 38141 2501.56/2513.45 c #Conflicts: 1681000 | #Constraints: 39146 2501.56/2513.45 c #Conflicts: 1682000 | #Constraints: 40150 2501.56/2513.45 c #Conflicts: 1683000 | #Constraints: 41152 2501.56/2513.45 c #Conflicts: 1684000 | #Constraints: 42154 2501.56/2513.45 c #Conflicts: 1685000 | #Constraints: 43156 2501.56/2513.45 c #Conflicts: 1686000 | #Constraints: 44164 2501.56/2513.45 c #Conflicts: 1687000 | #Constraints: 45164 2501.56/2513.45 c #Conflicts: 1688000 | #Constraints: 46167 2501.56/2513.45 c #Conflicts: 1689000 | #Constraints: 47167 2501.56/2513.45 c #Conflicts: 1690000 | #Constraints: 48171 2501.56/2513.45 c #Conflicts: 1691000 | #Constraints: 49173 2501.56/2513.45 c #Conflicts: 1692000 | #Constraints: 50180 2501.56/2513.45 c #Conflicts: 1693000 | #Constraints: 51186 2501.56/2513.45 c #Conflicts: 1694000 | #Constraints: 52192 2501.56/2513.45 c INPROCESSING 2501.56/2513.45 c GARBAGE COLLECT 2501.56/2513.45 c rational objective 3 2552.94/2564.91 c #Conflicts: 1695000 | #Constraints: 27259 2552.94/2564.91 c #Conflicts: 1696000 | #Constraints: 28265 2552.94/2564.91 c #Conflicts: 1697000 | #Constraints: 29272 2552.94/2564.91 c #Conflicts: 1698000 | #Constraints: 30278 2552.94/2564.91 c #Conflicts: 1699000 | #Constraints: 31284 2552.94/2564.91 c #Conflicts: 1700000 | #Constraints: 32287 2552.94/2564.91 c #Conflicts: 1701000 | #Constraints: 33289 2552.94/2564.91 c #Conflicts: 1702000 | #Constraints: 34292 2552.94/2564.91 c #Conflicts: 1703000 | #Constraints: 35296 2552.94/2564.91 c #Conflicts: 1704000 | #Constraints: 36304 2552.94/2564.91 c #Conflicts: 1705000 | #Constraints: 37308 2552.94/2564.91 c #Conflicts: 1706000 | #Constraints: 38316 2552.94/2564.91 c #Conflicts: 1707000 | #Constraints: 39331 2552.94/2564.91 c #Conflicts: 1708000 | #Constraints: 40339 2552.94/2564.91 c #Conflicts: 1709000 | #Constraints: 41344 2552.94/2564.91 c #Conflicts: 1710000 | #Constraints: 42353 2552.94/2564.91 c #Conflicts: 1711000 | #Constraints: 43359 2552.94/2564.91 c #Conflicts: 1712000 | #Constraints: 44360 2552.94/2564.91 c #Conflicts: 1713000 | #Constraints: 45366 2552.94/2564.91 c #Conflicts: 1714000 | #Constraints: 46370 2552.94/2564.91 c #Conflicts: 1715000 | #Constraints: 47373 2552.94/2564.91 c #Conflicts: 1716000 | #Constraints: 48379 2552.94/2564.91 c #Conflicts: 1717000 | #Constraints: 49383 2552.94/2564.91 c #Conflicts: 1718000 | #Constraints: 50386 2552.94/2564.91 c #Conflicts: 1719000 | #Constraints: 51391 2552.94/2564.91 c #Conflicts: 1720000 | #Constraints: 52394 2552.94/2564.91 c INPROCESSING 2552.94/2564.91 c GARBAGE COLLECT 2552.94/2564.91 c rational objective 3 2604.51/2616.63 c #Conflicts: 1721000 | #Constraints: 27288 2604.51/2616.63 c #Conflicts: 1722000 | #Constraints: 28292 2604.51/2616.63 c #Conflicts: 1723000 | #Constraints: 29294 2604.51/2616.63 c #Conflicts: 1724000 | #Constraints: 30297 2604.51/2616.63 c #Conflicts: 1725000 | #Constraints: 31301 2604.51/2616.63 c #Conflicts: 1726000 | #Constraints: 32306 2604.51/2616.63 c #Conflicts: 1727000 | #Constraints: 33311 2604.51/2616.63 c #Conflicts: 1728000 | #Constraints: 34319 2604.51/2616.63 c #Conflicts: 1729000 | #Constraints: 35322 2604.51/2616.63 c #Conflicts: 1730000 | #Constraints: 36324 2604.51/2616.63 c #Conflicts: 1731000 | #Constraints: 37328 2604.51/2616.63 c #Conflicts: 1732000 | #Constraints: 38332 2604.51/2616.63 c #Conflicts: 1733000 | #Constraints: 39338 2604.51/2616.63 c #Conflicts: 1734000 | #Constraints: 40341 2604.51/2616.63 c #Conflicts: 1735000 | #Constraints: 41348 2604.51/2616.63 c #Conflicts: 1736000 | #Constraints: 42350 2604.51/2616.63 c #Conflicts: 1737000 | #Constraints: 43353 2604.51/2616.63 c #Conflicts: 1738000 | #Constraints: 44356 2604.51/2616.63 c #Conflicts: 1739000 | #Constraints: 45358 2604.51/2616.63 c #Conflicts: 1740000 | #Constraints: 46360 2604.51/2616.64 c #Conflicts: 1741000 | #Constraints: 47363 2604.51/2616.64 c #Conflicts: 1742000 | #Constraints: 48365 2604.51/2616.64 c #Conflicts: 1743000 | #Constraints: 49371 2604.51/2616.64 c #Conflicts: 1744000 | #Constraints: 50377 2604.51/2616.64 c #Conflicts: 1745000 | #Constraints: 51381 2604.51/2616.64 c #Conflicts: 1746000 | #Constraints: 52387 2604.51/2616.64 c INPROCESSING 2604.51/2616.64 c GARBAGE COLLECT 2604.51/2616.64 c rational objective 3 2647.31/2659.52 c #Conflicts: 1747000 | #Constraints: 27046 2647.31/2659.52 c #Conflicts: 1748000 | #Constraints: 28051 2647.31/2659.52 c #Conflicts: 1749000 | #Constraints: 29058 2647.31/2659.52 c #Conflicts: 1750000 | #Constraints: 30061 2647.31/2659.52 c #Conflicts: 1751000 | #Constraints: 31066 2647.31/2659.52 c #Conflicts: 1752000 | #Constraints: 32073 2647.31/2659.52 c #Conflicts: 1753000 | #Constraints: 33077 2647.31/2659.52 c #Conflicts: 1754000 | #Constraints: 34081 2647.31/2659.52 c #Conflicts: 1755000 | #Constraints: 35087 2647.31/2659.52 c #Conflicts: 1756000 | #Constraints: 36092 2647.31/2659.52 c #Conflicts: 1757000 | #Constraints: 37098 2647.31/2659.52 c #Conflicts: 1758000 | #Constraints: 38105 2647.31/2659.52 c #Conflicts: 1759000 | #Constraints: 39110 2647.31/2659.52 c #Conflicts: 1760000 | #Constraints: 40118 2647.31/2659.52 c #Conflicts: 1761000 | #Constraints: 41120 2647.31/2659.52 c #Conflicts: 1762000 | #Constraints: 42127 2647.31/2659.52 c #Conflicts: 1763000 | #Constraints: 43130 2647.31/2659.52 c #Conflicts: 1764000 | #Constraints: 44135 2647.31/2659.52 c #Conflicts: 1765000 | #Constraints: 45142 2647.31/2659.52 c #Conflicts: 1766000 | #Constraints: 46146 2647.31/2659.52 c #Conflicts: 1767000 | #Constraints: 47149 2647.31/2659.52 c #Conflicts: 1768000 | #Constraints: 48153 2647.31/2659.52 c #Conflicts: 1769000 | #Constraints: 49156 2647.31/2659.52 c #Conflicts: 1770000 | #Constraints: 50158 2647.31/2659.52 c #Conflicts: 1771000 | #Constraints: 51164 2647.31/2659.52 c #Conflicts: 1772000 | #Constraints: 52169 2647.31/2659.52 c #Conflicts: 1773000 | #Constraints: 53171 2647.31/2659.52 c INPROCESSING 2647.31/2659.52 c GARBAGE COLLECT 2647.31/2659.52 c rational objective 3 2705.56/2717.99 c #Conflicts: 1774000 | #Constraints: 27654 2705.56/2717.99 c #Conflicts: 1775000 | #Constraints: 28656 2705.56/2717.99 c #Conflicts: 1776000 | #Constraints: 29660 2705.56/2717.99 c #Conflicts: 1777000 | #Constraints: 30663 2705.56/2717.99 c #Conflicts: 1778000 | #Constraints: 31667 2705.56/2717.99 c #Conflicts: 1779000 | #Constraints: 32671 2705.56/2717.99 c #Conflicts: 1780000 | #Constraints: 33674 2705.56/2717.99 c #Conflicts: 1781000 | #Constraints: 34676 2705.56/2717.99 c #Conflicts: 1782000 | #Constraints: 35679 2705.56/2717.99 c #Conflicts: 1783000 | #Constraints: 36681 2705.56/2717.99 c #Conflicts: 1784000 | #Constraints: 37685 2705.56/2717.99 c #Conflicts: 1785000 | #Constraints: 38687 2705.56/2717.99 c #Conflicts: 1786000 | #Constraints: 39688 2705.56/2717.99 c #Conflicts: 1787000 | #Constraints: 40692 2705.56/2717.99 c #Conflicts: 1788000 | #Constraints: 41696 2705.56/2717.99 c #Conflicts: 1789000 | #Constraints: 42701 2705.56/2717.99 c #Conflicts: 1790000 | #Constraints: 43707 2705.56/2717.99 c #Conflicts: 1791000 | #Constraints: 44710 2705.56/2717.99 c #Conflicts: 1792000 | #Constraints: 45715 2705.56/2717.99 c #Conflicts: 1793000 | #Constraints: 46719 2705.56/2717.99 c #Conflicts: 1794000 | #Constraints: 47721 2705.56/2717.99 c #Conflicts: 1795000 | #Constraints: 48724 2705.56/2717.99 c #Conflicts: 1796000 | #Constraints: 49727 2705.56/2717.99 c #Conflicts: 1797000 | #Constraints: 50734 2705.56/2717.99 c #Conflicts: 1798000 | #Constraints: 51739 2705.56/2717.99 c #Conflicts: 1799000 | #Constraints: 52744 2705.56/2717.99 c #Conflicts: 1800000 | #Constraints: 53751 2705.56/2717.99 c INPROCESSING 2705.56/2717.99 c GARBAGE COLLECT 2705.56/2717.99 c rational objective 3 2755.54/2768.01 c #Conflicts: 1801000 | #Constraints: 28054 2755.54/2768.01 c #Conflicts: 1802000 | #Constraints: 29060 2755.54/2768.01 c #Conflicts: 1803000 | #Constraints: 30067 2755.54/2768.01 c #Conflicts: 1804000 | #Constraints: 31076 2755.54/2768.01 c #Conflicts: 1805000 | #Constraints: 32082 2755.54/2768.01 c #Conflicts: 1806000 | #Constraints: 33092 2755.54/2768.01 c #Conflicts: 1807000 | #Constraints: 34099 2755.54/2768.01 c #Conflicts: 1808000 | #Constraints: 35106 2755.54/2768.01 c #Conflicts: 1809000 | #Constraints: 36114 2755.54/2768.01 c #Conflicts: 1810000 | #Constraints: 37121 2755.54/2768.01 c #Conflicts: 1811000 | #Constraints: 38125 2755.54/2768.01 c #Conflicts: 1812000 | #Constraints: 39129 2755.54/2768.01 c #Conflicts: 1813000 | #Constraints: 40139 2755.54/2768.01 c #Conflicts: 1814000 | #Constraints: 41155 2755.54/2768.01 c #Conflicts: 1815000 | #Constraints: 42163 2755.54/2768.01 c #Conflicts: 1816000 | #Constraints: 43169 2755.54/2768.01 c #Conflicts: 1817000 | #Constraints: 44173 2755.54/2768.01 c #Conflicts: 1818000 | #Constraints: 45178 2755.54/2768.01 c #Conflicts: 1819000 | #Constraints: 46184 2755.54/2768.01 c #Conflicts: 1820000 | #Constraints: 47188 2755.54/2768.01 c #Conflicts: 1821000 | #Constraints: 48198 2755.54/2768.01 c #Conflicts: 1822000 | #Constraints: 49208 2755.54/2768.01 c #Conflicts: 1823000 | #Constraints: 50213 2755.54/2768.01 c #Conflicts: 1824000 | #Constraints: 51214 2755.54/2768.01 c #Conflicts: 1825000 | #Constraints: 52219 2755.54/2768.01 c #Conflicts: 1826000 | #Constraints: 53224 2755.54/2768.01 c #Conflicts: 1827000 | #Constraints: 54225 2755.54/2768.01 c INPROCESSING 2755.54/2768.01 c GARBAGE COLLECT 2755.54/2768.01 c rational objective 3 2821.48/2834.15 c #Conflicts: 1828000 | #Constraints: 28293 2821.48/2834.15 c #Conflicts: 1829000 | #Constraints: 29296 2821.48/2834.15 c #Conflicts: 1830000 | #Constraints: 30297 2821.48/2834.15 c #Conflicts: 1831000 | #Constraints: 31300 2821.48/2834.15 c #Conflicts: 1832000 | #Constraints: 32302 2821.48/2834.15 c #Conflicts: 1833000 | #Constraints: 33307 2821.48/2834.15 c #Conflicts: 1834000 | #Constraints: 34310 2821.48/2834.15 c #Conflicts: 1835000 | #Constraints: 35311 2821.48/2834.15 c #Conflicts: 1836000 | #Constraints: 36314 2821.48/2834.15 c #Conflicts: 1837000 | #Constraints: 37316 2821.48/2834.15 c #Conflicts: 1838000 | #Constraints: 38318 2821.48/2834.15 c #Conflicts: 1839000 | #Constraints: 39322 2821.48/2834.15 c #Conflicts: 1840000 | #Constraints: 40326 2821.48/2834.15 c #Conflicts: 1841000 | #Constraints: 41329 2821.48/2834.15 c #Conflicts: 1842000 | #Constraints: 42336 2821.48/2834.15 c #Conflicts: 1843000 | #Constraints: 43340 2821.48/2834.15 c #Conflicts: 1844000 | #Constraints: 44346 2821.48/2834.15 c #Conflicts: 1845000 | #Constraints: 45349 2821.48/2834.15 c #Conflicts: 1846000 | #Constraints: 46357 2821.48/2834.15 c #Conflicts: 1847000 | #Constraints: 47363 2821.48/2834.15 c #Conflicts: 1848000 | #Constraints: 48369 2821.48/2834.15 c #Conflicts: 1849000 | #Constraints: 49374 2821.48/2834.15 c #Conflicts: 1850000 | #Constraints: 50379 2821.48/2834.15 c #Conflicts: 1851000 | #Constraints: 51382 2821.48/2834.15 c #Conflicts: 1852000 | #Constraints: 52388 2821.48/2834.15 c #Conflicts: 1853000 | #Constraints: 53395 2821.48/2834.15 c #Conflicts: 1854000 | #Constraints: 54400 2821.48/2834.15 c INPROCESSING 2821.48/2834.15 c GARBAGE COLLECT 2821.48/2834.15 c rational objective 3 2874.14/2886.92 c #Conflicts: 1855000 | #Constraints: 28259 2874.14/2886.92 c #Conflicts: 1856000 | #Constraints: 29266 2874.14/2886.92 c #Conflicts: 1857000 | #Constraints: 30272 2874.14/2886.92 c #Conflicts: 1858000 | #Constraints: 31281 2874.14/2886.92 c #Conflicts: 1859000 | #Constraints: 32285 2874.14/2886.92 c #Conflicts: 1860000 | #Constraints: 33287 2874.14/2886.92 c #Conflicts: 1861000 | #Constraints: 34292 2874.14/2886.92 c #Conflicts: 1862000 | #Constraints: 35297 2874.14/2886.92 c #Conflicts: 1863000 | #Constraints: 36304 2874.14/2886.92 c #Conflicts: 1864000 | #Constraints: 37308 2874.14/2886.92 c #Conflicts: 1865000 | #Constraints: 38308 2874.14/2886.92 c #Conflicts: 1866000 | #Constraints: 39312 2874.14/2886.92 c #Conflicts: 1867000 | #Constraints: 40315 2874.14/2886.92 c #Conflicts: 1868000 | #Constraints: 41318 2874.14/2886.92 c #Conflicts: 1869000 | #Constraints: 42324 2874.14/2886.92 c #Conflicts: 1870000 | #Constraints: 43332 2874.14/2886.92 c #Conflicts: 1871000 | #Constraints: 44336 2874.14/2886.92 c #Conflicts: 1872000 | #Constraints: 45341 2874.14/2886.92 c #Conflicts: 1873000 | #Constraints: 46345 2874.14/2886.92 c #Conflicts: 1874000 | #Constraints: 47346 2874.14/2886.92 c #Conflicts: 1875000 | #Constraints: 48352 2874.14/2886.92 c #Conflicts: 1876000 | #Constraints: 49357 2874.14/2886.92 c #Conflicts: 1877000 | #Constraints: 50362 2874.14/2886.92 c #Conflicts: 1878000 | #Constraints: 51367 2874.14/2886.92 c #Conflicts: 1879000 | #Constraints: 52369 2874.14/2886.92 c #Conflicts: 1880000 | #Constraints: 53373 2874.14/2886.92 c #Conflicts: 1881000 | #Constraints: 54375 2874.14/2886.92 c INPROCESSING 2874.14/2886.92 c GARBAGE COLLECT 2874.14/2886.92 c rational objective 3 2929.69/2942.61 c #Conflicts: 1882000 | #Constraints: 28042 2929.69/2942.61 c #Conflicts: 1883000 | #Constraints: 29051 2929.69/2942.61 c #Conflicts: 1884000 | #Constraints: 30060 2929.69/2942.61 c #Conflicts: 1885000 | #Constraints: 31066 2929.69/2942.61 c #Conflicts: 1886000 | #Constraints: 32069 2929.69/2942.61 c #Conflicts: 1887000 | #Constraints: 33072 2929.69/2942.61 c #Conflicts: 1888000 | #Constraints: 34077 2929.69/2942.61 c #Conflicts: 1889000 | #Constraints: 35081 2929.69/2942.61 c #Conflicts: 1890000 | #Constraints: 36089 2929.69/2942.61 c #Conflicts: 1891000 | #Constraints: 37098 2929.69/2942.61 c #Conflicts: 1892000 | #Constraints: 38106 2929.69/2942.61 c #Conflicts: 1893000 | #Constraints: 39113 2929.69/2942.61 c #Conflicts: 1894000 | #Constraints: 40119 2929.69/2942.61 c #Conflicts: 1895000 | #Constraints: 41127 2929.69/2942.61 c #Conflicts: 1896000 | #Constraints: 42137 2929.69/2942.61 c #Conflicts: 1897000 | #Constraints: 43143 2929.69/2942.61 c #Conflicts: 1898000 | #Constraints: 44147 2929.69/2942.61 c #Conflicts: 1899000 | #Constraints: 45151 2929.69/2942.61 c #Conflicts: 1900000 | #Constraints: 46157 2929.69/2942.61 c #Conflicts: 1901000 | #Constraints: 47161 2929.69/2942.61 c #Conflicts: 1902000 | #Constraints: 48166 2929.69/2942.61 c #Conflicts: 1903000 | #Constraints: 49174 2929.69/2942.61 c #Conflicts: 1904000 | #Constraints: 50179 2929.69/2942.61 c #Conflicts: 1905000 | #Constraints: 51190 2929.69/2942.61 c #Conflicts: 1906000 | #Constraints: 52197 2929.69/2942.61 c #Conflicts: 1907000 | #Constraints: 53205 2929.69/2942.61 c #Conflicts: 1908000 | #Constraints: 54207 2929.69/2942.61 c #Conflicts: 1909000 | #Constraints: 55214 2929.69/2942.61 c INPROCESSING 2929.69/2942.61 c GARBAGE COLLECT 2929.69/2942.61 c rational objective 3 2996.03/3009.18 c #Conflicts: 1910000 | #Constraints: 28701 2996.03/3009.18 c #Conflicts: 1911000 | #Constraints: 29706 2996.03/3009.18 c #Conflicts: 1912000 | #Constraints: 30707 2996.03/3009.18 c #Conflicts: 1913000 | #Constraints: 31713 2996.03/3009.18 c #Conflicts: 1914000 | #Constraints: 32715 2996.03/3009.18 c #Conflicts: 1915000 | #Constraints: 33716 2996.03/3009.18 c #Conflicts: 1916000 | #Constraints: 34722 2996.03/3009.18 c #Conflicts: 1917000 | #Constraints: 35725 2996.03/3009.18 c #Conflicts: 1918000 | #Constraints: 36729 2996.03/3009.18 c #Conflicts: 1919000 | #Constraints: 37737 2996.03/3009.18 c #Conflicts: 1920000 | #Constraints: 38741 2996.03/3009.18 c #Conflicts: 1921000 | #Constraints: 39743 2996.03/3009.18 c #Conflicts: 1922000 | #Constraints: 40745 2996.03/3009.18 c #Conflicts: 1923000 | #Constraints: 41751 2996.03/3009.18 c #Conflicts: 1924000 | #Constraints: 42758 2996.03/3009.18 c #Conflicts: 1925000 | #Constraints: 43765 2996.03/3009.18 c #Conflicts: 1926000 | #Constraints: 44768 2996.03/3009.18 c #Conflicts: 1927000 | #Constraints: 45773 2996.03/3009.18 c #Conflicts: 1928000 | #Constraints: 46776 2996.03/3009.18 c #Conflicts: 1929000 | #Constraints: 47780 2996.03/3009.18 c #Conflicts: 1930000 | #Constraints: 48782 2996.03/3009.18 c #Conflicts: 1931000 | #Constraints: 49788 2996.03/3009.18 c #Conflicts: 1932000 | #Constraints: 50798 2996.03/3009.18 c #Conflicts: 1933000 | #Constraints: 51804 2996.03/3009.18 c #Conflicts: 1934000 | #Constraints: 52812 2996.03/3009.18 c #Conflicts: 1935000 | #Constraints: 53817 2996.03/3009.18 c #Conflicts: 1936000 | #Constraints: 54820 2996.03/3009.18 c #Conflicts: 1937000 | #Constraints: 55827 2996.03/3009.18 c INPROCESSING 2996.03/3009.18 c GARBAGE COLLECT 2996.03/3009.18 c rational objective 3 3046.91/3060.13 c #Conflicts: 1938000 | #Constraints: 29081 3046.91/3060.13 c #Conflicts: 1939000 | #Constraints: 30088 3046.91/3060.13 c #Conflicts: 1940000 | #Constraints: 31092 3046.91/3060.13 c #Conflicts: 1941000 | #Constraints: 32097 3046.91/3060.13 c #Conflicts: 1942000 | #Constraints: 33099 3046.91/3060.13 c #Conflicts: 1943000 | #Constraints: 34103 3046.91/3060.13 c #Conflicts: 1944000 | #Constraints: 35107 3046.91/3060.13 c #Conflicts: 1945000 | #Constraints: 36114 3046.91/3060.13 c #Conflicts: 1946000 | #Constraints: 37119 3046.91/3060.13 c #Conflicts: 1947000 | #Constraints: 38129 3046.91/3060.13 c #Conflicts: 1948000 | #Constraints: 39133 3046.91/3060.13 c #Conflicts: 1949000 | #Constraints: 40136 3046.91/3060.13 c #Conflicts: 1950000 | #Constraints: 41143 3046.91/3060.13 c #Conflicts: 1951000 | #Constraints: 42145 3046.91/3060.13 c #Conflicts: 1952000 | #Constraints: 43148 3046.91/3060.13 c #Conflicts: 1953000 | #Constraints: 44150 3046.91/3060.13 c #Conflicts: 1954000 | #Constraints: 45153 3046.91/3060.13 c #Conflicts: 1955000 | #Constraints: 46158 3046.91/3060.13 c #Conflicts: 1956000 | #Constraints: 47168 3046.91/3060.13 c #Conflicts: 1957000 | #Constraints: 48176 3046.91/3060.13 c #Conflicts: 1958000 | #Constraints: 49181 3046.91/3060.13 c #Conflicts: 1959000 | #Constraints: 50183 3046.91/3060.13 c #Conflicts: 1960000 | #Constraints: 51187 3046.91/3060.13 c #Conflicts: 1961000 | #Constraints: 52195 3046.91/3060.13 c #Conflicts: 1962000 | #Constraints: 53198 3046.91/3060.13 c #Conflicts: 1963000 | #Constraints: 54200 3046.91/3060.13 c #Conflicts: 1964000 | #Constraints: 55204 3046.91/3060.13 c #Conflicts: 1965000 | #Constraints: 56209 3046.91/3060.13 c INPROCESSING 3046.91/3060.13 c GARBAGE COLLECT 3046.91/3060.13 c rational objective 3 3113.93/3127.36 c #Conflicts: 1966000 | #Constraints: 29274 3113.93/3127.36 c #Conflicts: 1967000 | #Constraints: 30279 3113.93/3127.36 c #Conflicts: 1968000 | #Constraints: 31281 3113.93/3127.36 c #Conflicts: 1969000 | #Constraints: 32287 3113.93/3127.36 c #Conflicts: 1970000 | #Constraints: 33292 3113.93/3127.36 c #Conflicts: 1971000 | #Constraints: 34294 3113.93/3127.36 c #Conflicts: 1972000 | #Constraints: 35296 3113.93/3127.36 c #Conflicts: 1973000 | #Constraints: 36303 3113.93/3127.36 c #Conflicts: 1974000 | #Constraints: 37307 3113.93/3127.36 c #Conflicts: 1975000 | #Constraints: 38316 3113.93/3127.36 c #Conflicts: 1976000 | #Constraints: 39322 3113.93/3127.36 c #Conflicts: 1977000 | #Constraints: 40327 3113.93/3127.36 c #Conflicts: 1978000 | #Constraints: 41331 3113.93/3127.36 c #Conflicts: 1979000 | #Constraints: 42335 3113.93/3127.36 c #Conflicts: 1980000 | #Constraints: 43338 3113.93/3127.36 c #Conflicts: 1981000 | #Constraints: 44342 3113.93/3127.36 c #Conflicts: 1982000 | #Constraints: 45351 3113.93/3127.36 c #Conflicts: 1983000 | #Constraints: 46355 3113.93/3127.36 c #Conflicts: 1984000 | #Constraints: 47355 3113.93/3127.36 c #Conflicts: 1985000 | #Constraints: 48358 3113.93/3127.36 c #Conflicts: 1986000 | #Constraints: 49361 3113.93/3127.36 c #Conflicts: 1987000 | #Constraints: 50367 3113.93/3127.36 c #Conflicts: 1988000 | #Constraints: 51369 3113.93/3127.36 c #Conflicts: 1989000 | #Constraints: 52369 3113.93/3127.36 c #Conflicts: 1990000 | #Constraints: 53370 3113.93/3127.36 c #Conflicts: 1991000 | #Constraints: 54371 3113.93/3127.36 c #Conflicts: 1992000 | #Constraints: 55374 3113.93/3127.36 c #Conflicts: 1993000 | #Constraints: 56378 3113.93/3127.36 c INPROCESSING 3113.93/3127.36 c GARBAGE COLLECT 3113.93/3127.36 c rational objective 3 3176.67/3190.21 c #Conflicts: 1994000 | #Constraints: 29254 3176.67/3190.21 c #Conflicts: 1995000 | #Constraints: 30256 3176.67/3190.21 c #Conflicts: 1996000 | #Constraints: 31261 3176.67/3190.21 c #Conflicts: 1997000 | #Constraints: 32262 3176.67/3190.21 c #Conflicts: 1998000 | #Constraints: 33264 3176.67/3190.21 c #Conflicts: 1999000 | #Constraints: 34266 3176.67/3190.21 c #Conflicts: 2000000 | #Constraints: 35268 3176.67/3190.21 c #Conflicts: 2001000 | #Constraints: 36268 3176.67/3190.21 c #Conflicts: 2002000 | #Constraints: 37268 3176.67/3190.21 c #Conflicts: 2003000 | #Constraints: 38271 3176.67/3190.21 c #Conflicts: 2004000 | #Constraints: 39273 3176.67/3190.21 c #Conflicts: 2005000 | #Constraints: 40276 3176.67/3190.21 c #Conflicts: 2006000 | #Constraints: 41277 3176.67/3190.21 c #Conflicts: 2007000 | #Constraints: 42282 3176.67/3190.21 c #Conflicts: 2008000 | #Constraints: 43289 3176.67/3190.21 c #Conflicts: 2009000 | #Constraints: 44293 3176.67/3190.21 c #Conflicts: 2010000 | #Constraints: 45294 3176.67/3190.21 c #Conflicts: 2011000 | #Constraints: 46295 3176.67/3190.21 c #Conflicts: 2012000 | #Constraints: 47301 3176.67/3190.21 c #Conflicts: 2013000 | #Constraints: 48301 3176.67/3190.21 c #Conflicts: 2014000 | #Constraints: 49302 3176.67/3190.21 c #Conflicts: 2015000 | #Constraints: 50304 3176.67/3190.21 c #Conflicts: 2016000 | #Constraints: 51304 3176.67/3190.21 c #Conflicts: 2017000 | #Constraints: 52305 3176.67/3190.21 c #Conflicts: 2018000 | #Constraints: 53306 3176.67/3190.21 c #Conflicts: 2019000 | #Constraints: 54306 3176.67/3190.21 c #Conflicts: 2020000 | #Constraints: 55310 3176.67/3190.21 c #Conflicts: 2021000 | #Constraints: 56311 3176.67/3190.21 c INPROCESSING 3176.67/3190.21 c GARBAGE COLLECT 3176.67/3190.21 c rational objective 3 3235.93/3249.67 c #Conflicts: 2022000 | #Constraints: 29050 3235.93/3249.67 c #Conflicts: 2023000 | #Constraints: 30050 3235.93/3249.67 c #Conflicts: 2024000 | #Constraints: 31050 3235.93/3249.67 c #Conflicts: 2025000 | #Constraints: 32052 3235.93/3249.67 c #Conflicts: 2026000 | #Constraints: 33053 3235.93/3249.67 c #Conflicts: 2027000 | #Constraints: 34054 3235.93/3249.67 c #Conflicts: 2028000 | #Constraints: 35055 3235.93/3249.67 c #Conflicts: 2029000 | #Constraints: 36056 3235.93/3249.67 c #Conflicts: 2030000 | #Constraints: 37058 3235.93/3249.67 c #Conflicts: 2031000 | #Constraints: 38061 3235.93/3249.67 c #Conflicts: 2032000 | #Constraints: 39065 3235.93/3249.67 c #Conflicts: 2033000 | #Constraints: 40067 3235.93/3249.67 c #Conflicts: 2034000 | #Constraints: 41070 3235.93/3249.67 c #Conflicts: 2035000 | #Constraints: 42072 3235.93/3249.67 c #Conflicts: 2036000 | #Constraints: 43073 3235.93/3249.67 c #Conflicts: 2037000 | #Constraints: 44074 3235.93/3249.67 c #Conflicts: 2038000 | #Constraints: 45077 3235.93/3249.67 c #Conflicts: 2039000 | #Constraints: 46085 3235.93/3249.67 c #Conflicts: 2040000 | #Constraints: 47089 3235.93/3249.67 c #Conflicts: 2041000 | #Constraints: 48091 3235.93/3249.67 c #Conflicts: 2042000 | #Constraints: 49094 3235.93/3249.67 c #Conflicts: 2043000 | #Constraints: 50100 3235.93/3249.67 c #Conflicts: 2044000 | #Constraints: 51108 3235.93/3249.67 c #Conflicts: 2045000 | #Constraints: 52109 3235.93/3249.67 c #Conflicts: 2046000 | #Constraints: 53110 3235.93/3249.67 c #Conflicts: 2047000 | #Constraints: 54112 3235.93/3249.67 c #Conflicts: 2048000 | #Constraints: 55114 3235.93/3249.67 c #Conflicts: 2049000 | #Constraints: 56116 3235.93/3249.67 c #Conflicts: 2050000 | #Constraints: 57121 3235.93/3249.67 c INPROCESSING 3235.93/3249.67 c GARBAGE COLLECT 3235.93/3249.67 c rational objective 3 3309.44/3323.37 c #Conflicts: 2051000 | #Constraints: 29616 3309.44/3323.37 c #Conflicts: 2052000 | #Constraints: 30616 3309.44/3323.37 c #Conflicts: 2053000 | #Constraints: 31616 3309.44/3323.37 c #Conflicts: 2054000 | #Constraints: 32617 3309.44/3323.37 c #Conflicts: 2055000 | #Constraints: 33620 3309.44/3323.37 c #Conflicts: 2056000 | #Constraints: 34621 3309.44/3323.37 c #Conflicts: 2057000 | #Constraints: 35622 3309.44/3323.37 c #Conflicts: 2058000 | #Constraints: 36622 3309.44/3323.37 c #Conflicts: 2059000 | #Constraints: 37622 3309.44/3323.37 c #Conflicts: 2060000 | #Constraints: 38622 3309.44/3323.37 c #Conflicts: 2061000 | #Constraints: 39624 3309.44/3323.37 c #Conflicts: 2062000 | #Constraints: 40625 3309.44/3323.37 c #Conflicts: 2063000 | #Constraints: 41626 3309.44/3323.37 c #Conflicts: 2064000 | #Constraints: 42626 3309.44/3323.37 c #Conflicts: 2065000 | #Constraints: 43630 3309.44/3323.37 c #Conflicts: 2066000 | #Constraints: 44631 3309.44/3323.37 c #Conflicts: 2067000 | #Constraints: 45632 3309.44/3323.37 c #Conflicts: 2068000 | #Constraints: 46632 3309.44/3323.37 c #Conflicts: 2069000 | #Constraints: 47632 3309.44/3323.37 c #Conflicts: 2070000 | #Constraints: 48633 3309.44/3323.37 c #Conflicts: 2071000 | #Constraints: 49634 3309.44/3323.37 c #Conflicts: 2072000 | #Constraints: 50636 3309.44/3323.37 c #Conflicts: 2073000 | #Constraints: 51639 3309.44/3323.37 c #Conflicts: 2074000 | #Constraints: 52642 3309.44/3323.37 c #Conflicts: 2075000 | #Constraints: 53642 3309.44/3323.37 c #Conflicts: 2076000 | #Constraints: 54643 3309.44/3323.37 c #Conflicts: 2077000 | #Constraints: 55645 3309.44/3323.37 c #Conflicts: 2078000 | #Constraints: 56645 3309.44/3323.37 c #Conflicts: 2079000 | #Constraints: 57650 3309.44/3323.37 c INPROCESSING 3309.44/3323.37 c GARBAGE COLLECT 3309.44/3323.37 c rational objective 3 3378.27/3392.37 c #Conflicts: 2080000 | #Constraints: 29974 3378.27/3392.37 c #Conflicts: 2081000 | #Constraints: 30974 3378.27/3392.37 c #Conflicts: 2082000 | #Constraints: 31978 3378.27/3392.37 c #Conflicts: 2083000 | #Constraints: 32983 3378.27/3392.37 c #Conflicts: 2084000 | #Constraints: 33985 3378.27/3392.37 c #Conflicts: 2085000 | #Constraints: 34986 3378.27/3392.37 c #Conflicts: 2086000 | #Constraints: 35988 3378.27/3392.37 c #Conflicts: 2087000 | #Constraints: 36990 3378.27/3392.37 c #Conflicts: 2088000 | #Constraints: 37996 3378.27/3392.37 c #Conflicts: 2089000 | #Constraints: 39002 3378.27/3392.37 c #Conflicts: 2090000 | #Constraints: 40006 3378.27/3392.37 c #Conflicts: 2091000 | #Constraints: 41007 3378.27/3392.37 c #Conflicts: 2092000 | #Constraints: 42008 3378.27/3392.37 c #Conflicts: 2093000 | #Constraints: 43010 3378.27/3392.37 c #Conflicts: 2094000 | #Constraints: 44011 3378.27/3392.37 c #Conflicts: 2095000 | #Constraints: 45015 3378.27/3392.37 c #Conflicts: 2096000 | #Constraints: 46017 3378.27/3392.37 c #Conflicts: 2097000 | #Constraints: 47018 3378.27/3392.37 c #Conflicts: 2098000 | #Constraints: 48019 3378.27/3392.37 c #Conflicts: 2099000 | #Constraints: 49019 3378.27/3392.37 c #Conflicts: 2100000 | #Constraints: 50019 3378.27/3392.37 c #Conflicts: 2101000 | #Constraints: 51020 3378.27/3392.37 c #Conflicts: 2102000 | #Constraints: 52023 3378.27/3392.37 c #Conflicts: 2103000 | #Constraints: 53025 3378.27/3392.37 c #Conflicts: 2104000 | #Constraints: 54027 3378.27/3392.37 c #Conflicts: 2105000 | #Constraints: 55028 3378.27/3392.37 c #Conflicts: 2106000 | #Constraints: 56028 3378.27/3392.37 c #Conflicts: 2107000 | #Constraints: 57030 3378.27/3392.37 c #Conflicts: 2108000 | #Constraints: 58033 3378.27/3392.37 c INPROCESSING 3378.27/3392.37 c GARBAGE COLLECT 3378.27/3392.37 c rational objective 3 3524.31/3538.70 c #Conflicts: 2109000 | #Constraints: 30211 3524.31/3538.70 c #Conflicts: 2110000 | #Constraints: 31213 3524.31/3538.70 c #Conflicts: 2111000 | #Constraints: 32220 3524.31/3538.70 c #Conflicts: 2112000 | #Constraints: 33223 3524.31/3538.70 c #Conflicts: 2113000 | #Constraints: 34226 3524.31/3538.70 c #Conflicts: 2114000 | #Constraints: 35232 3524.31/3538.70 c #Conflicts: 2115000 | #Constraints: 36235 3524.31/3538.70 c #Conflicts: 2116000 | #Constraints: 37238 3524.31/3538.70 c #Conflicts: 2117000 | #Constraints: 38245 3524.31/3538.70 c #Conflicts: 2118000 | #Constraints: 39246 3524.31/3538.70 c #Conflicts: 2119000 | #Constraints: 40250 3524.31/3538.70 c #Conflicts: 2120000 | #Constraints: 41253 3524.31/3538.70 c #Conflicts: 2121000 | #Constraints: 42260 3524.31/3538.70 c #Conflicts: 2122000 | #Constraints: 43266 3524.31/3538.70 c #Conflicts: 2123000 | #Constraints: 44270 3524.31/3538.70 c #Conflicts: 2124000 | #Constraints: 45277 3524.31/3538.70 c #Conflicts: 2125000 | #Constraints: 46284 3524.31/3538.70 c #Conflicts: 2126000 | #Constraints: 47288 3524.31/3538.70 c #Conflicts: 2127000 | #Constraints: 48292 3524.31/3538.70 c #Conflicts: 2128000 | #Constraints: 49296 3524.31/3538.70 c #Conflicts: 2129000 | #Constraints: 50298 3524.31/3538.70 c #Conflicts: 2130000 | #Constraints: 51300 3524.31/3538.70 c #Conflicts: 2131000 | #Constraints: 52303 3524.31/3538.70 c #Conflicts: 2132000 | #Constraints: 53310 3524.31/3538.70 c #Conflicts: 2133000 | #Constraints: 54312 3524.31/3538.70 c #Conflicts: 2134000 | #Constraints: 55319 3524.31/3538.70 c #Conflicts: 2135000 | #Constraints: 56320 3524.31/3538.70 c #Conflicts: 2136000 | #Constraints: 57324 3524.31/3538.70 c #Conflicts: 2137000 | #Constraints: 58330 3524.31/3538.70 c INPROCESSING 3524.31/3538.70 c GARBAGE COLLECT 3524.31/3538.70 c rational objective 3 3600.03/3614.60 c #Conflicts: 2138000 | #Constraints: 30226 3600.03/3614.60 c #Conflicts: 2139000 | #Constraints: 31231 3600.03/3614.60 c #Conflicts: 2140000 | #Constraints: 32240 3600.03/3614.60 c #Conflicts: 2141000 | #Constraints: 33248 3600.03/3614.60 c #Conflicts: 2142000 | #Constraints: 34253 3600.03/3614.60 c #Conflicts: 2143000 | #Constraints: 35258 3600.03/3614.60 c #Conflicts: 2144000 | #Constraints: 36261 3600.03/3614.60 c #Conflicts: 2145000 | #Constraints: 37266 3600.03/3614.60 c #Conflicts: 2146000 | #Constraints: 38275 3600.03/3614.60 c #Conflicts: 2147000 | #Constraints: 39280 3600.03/3614.60 c #Conflicts: 2148000 | #Constraints: 40286 3600.03/3614.60 c #Conflicts: 2149000 | #Constraints: 41289 3600.03/3614.60 c #Conflicts: 2150000 | #Constraints: 42291 3600.03/3614.60 c #Conflicts: 2151000 | #Constraints: 43295 3600.03/3614.60 c #Conflicts: 2152000 | #Constraints: 44298 3600.03/3614.60 c #Conflicts: 2153000 | #Constraints: 45300 3600.03/3614.60 c #Conflicts: 2154000 | #Constraints: 46303 3600.03/3614.60 c #Conflicts: 2155000 | #Constraints: 47309 3600.03/3614.60 c #Conflicts: 2156000 | #Constraints: 48315 3600.03/3614.60 c #Conflicts: 2157000 | #Constraints: 49317 3600.03/3614.60 c #Conflicts: 2158000 | #Constraints: 50321 3600.03/3614.60 c #Conflicts: 2159000 | #Constraints: 51324 3600.03/3614.60 c #Conflicts: 2160000 | #Constraints: 52326 3600.03/3614.60 c #Conflicts: 2161000 | #Constraints: 53334 3600.03/3614.60 c #Conflicts: 2162000 | #Constraints: 54335 3600.03/3614.60 c #Conflicts: 2163000 | #Constraints: 55337 3600.03/3614.60 c Program interrupted by user. 3600.03/3614.66 c cpu time 3563.49 s 3600.03/3614.66 c deterministic time 518512943382 5.19e+11 3600.03/3614.66 c optimization time 75.1233 s 3600.03/3614.66 c total solve time 3488.35 s 3600.03/3614.66 c core-guided solve time 6e-06 s 3600.03/3614.66 c propagation time 2961.42 s 3600.03/3614.66 c conflict analysis time 538.92 s 3600.03/3614.66 c propagations 261289469 3600.03/3614.66 c resolve steps 26828525 3600.03/3614.66 c decisions 8003047 3600.03/3614.66 c conflicts 2163288 3600.03/3614.66 c restarts 4093 3600.03/3614.66 c inprocessing phases 137 3600.03/3614.66 c input clauses 801 3600.03/3614.66 c input cardinalities 31 3600.03/3614.66 c input general constraints 192 3600.03/3614.66 c input average constraint length 8.64 3600.03/3614.66 c input average constraint degree 57.01 3600.03/3614.66 c learned clauses 509773 3600.03/3614.66 c learned cardinalities 7076 3600.03/3614.66 c learned general constraints 1657559 3600.03/3614.66 c learned average constraint length 170.82 3600.03/3614.66 c learned average constraint degree 1920536237.23 3600.03/3614.66 c watched constraints 1506769 3600.03/3614.66 c counting constraints 150982 3600.03/3614.66 c gcd simplifications 230981 3600.03/3614.66 c detected cardinalities 219 3600.03/3614.66 c weakened non-implied lits 96868267 3600.03/3614.66 c weakened non-implying lits 661456 3600.03/3614.66 c original variables 774 3600.03/3614.66 c clausal propagations 3132547 3600.03/3614.66 c cardinality propagations 13509660 3600.03/3614.66 c watched propagations 52776714 3600.03/3614.66 c counting propagations 189816856 3600.03/3614.66 c watch lookups 60726404804 3600.03/3614.66 c watch backjump lookups 47216045828 3600.03/3614.66 c watch checks 364460429648 3600.03/3614.66 c propagation checks 43759762568 3600.03/3614.66 c constraint additions 1807398796 3600.03/3614.66 c trail pops 271444329 3600.03/3614.66 c formula constraints 1024 3600.03/3614.66 c learned constraints 2152166 3600.03/3614.66 c bound constraints 0 3600.03/3614.66 c core-guided constraints 0 3600.03/3614.66 c encountered formula constraints 16853181 3600.03/3614.66 c encountered learned constraints 8852269 3600.03/3614.66 c encountered bound constraints 0 3600.03/3614.66 c encountered core-guided constraints 0 3600.03/3614.66 c LP total time 102.18 s 3600.03/3614.66 c LP solve time 90.9 s 3600.03/3614.66 c LP constraints added 1646 3600.03/3614.66 c LP constraints removed 613 3600.03/3614.66 c LP pivots internal 2163327 3600.03/3614.66 c LP pivots root 1565 3600.03/3614.66 c LP calls 80118 3600.03/3614.66 c LP optimalities 68988 3600.03/3614.66 c LP no pivot count 21488 3600.03/3614.66 c LP infeasibilities 11123 3600.03/3614.66 c LP valid Farkas constraints 11121 3600.03/3614.66 c LP learned Farkas constraints 11121 3600.03/3614.66 c LP basis resets 8 3600.03/3614.66 c LP cycling count 0 3600.03/3614.66 c LP singular count 6 3600.03/3614.66 c LP no primal count 0 3600.03/3614.66 c LP no farkas count 2 3600.03/3614.66 c LP other issue count 0 3600.03/3614.66 c LP Gomory cuts 0 3600.03/3614.66 c LP learned cuts 622 3600.03/3614.66 c LP deleted cuts 613 3600.03/3614.66 c LP encountered Gomory constraints 0 3600.03/3614.66 c LP encountered Farkas constraints 3012958 3600.03/3614.66 c LP encountered learned Farkas constraints 262284 3600.03/3614.66 c CG auxiliary variables introduced 0 3600.03/3614.66 c CG solutions found 0 3600.03/3614.66 c CG cores constructed 1 3600.03/3614.66 c CG core cardinality constraints returned 0 3600.03/3614.66 c CG unit cores 1 3600.03/3614.66 c CG single cores 0 3600.03/3614.66 c CG blocks removed during cardinality reduction 0 3600.03/3614.66 c CG first core best 0 3600.03/3614.66 c CG decision core best 0 3600.03/3614.66 c CG core reduction tie 0 3600.03/3614.66 c CG core degree average 0.00 3600.03/3614.66 c CG core slack average 0.00 3600.03/3614.66 s UNKNOWN
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: 64059 MiB (47816 MiB free)
memory of node 1: 64510 MiB (51124 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460312-1722068460/watcher-4460312-1722068460 -o /tmp/evaluation-result-4460312-1722068460/solver-4460312-1722068460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722064837-364881 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460312-1722068460 --lp-cut-gomory=0 HOME/instance-4460312-1722068460.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=366903, runsolver pid=366900
[startup+0.1001 s]*
/proc/loadavg: 4.09 4.12 4.09 1/232 366904
/proc/meminfo: memFree=101314556/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=37376 memory=2660 CPUtime=0 cores=4,6
/proc/366903/stat : 366903 (roundingsat) D 366900 366903 364870 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 42835327 38273024 665 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 9344 665 608 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2660 KiB
[startup+0.211773 s]*
/proc/loadavg: 4.09 4.12 4.09 1/232 366904
/proc/meminfo: memFree=101314432/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=37376 memory=2660 CPUtime=0 cores=4,6
/proc/366903/stat : 366903 (roundingsat) D 366900 366903 364870 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 42835327 38273024 665 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 9344 665 608 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2660 KiB
[startup+0.310716 s]*
/proc/loadavg: 4.09 4.12 4.09 1/232 366904
/proc/meminfo: memFree=101314320/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=37376 memory=2660 CPUtime=0 cores=4,6
/proc/366903/stat : 366903 (roundingsat) D 366900 366903 364870 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 42835327 38273024 665 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 9344 665 608 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2660 KiB
[startup+0.700255 s]
/proc/loadavg: 4.09 4.12 4.09 1/232 366904
/proc/meminfo: memFree=101314208/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=37376 memory=2660 CPUtime=0 cores=4,6
/proc/366903/stat : 366903 (roundingsat) D 366900 366903 364870 0 -1 4194304 217 0 0 0 0 0 0 0 20 0 1 0 42835327 38273024 665 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 8404994 1 0 0 17 6 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 9344 665 608 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2660 KiB
[startup+1.50025 s]
/proc/loadavg: 4.09 4.12 4.09 1/232 366904
/proc/meminfo: memFree=101314132/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=37376 memory=2660 CPUtime=0 cores=4,6
/proc/366903/stat : 366903 (roundingsat) D 366900 366903 364870 0 -1 4194304 217 0 0 0 0 0 0 0 20 0 1 0 42835327 38273024 665 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 8404994 1 0 0 17 6 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 9344 665 608 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2660 KiB
[startup+3.11153 s]
/proc/loadavg: 4.08 4.12 4.09 3/232 366916
/proc/meminfo: memFree=104621448/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=37376 memory=2660 CPUtime=0 cores=4,6
/proc/366903/stat : 366903 (roundingsat) D 366900 366903 364870 0 -1 4194304 217 0 0 0 0 0 0 0 20 0 1 0 42835327 38273024 665 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 8404994 1 0 0 17 6 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 9344 665 608 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2660 KiB
heavy processes:
[startup+6.30017 s]
/proc/loadavg: 4.08 4.12 4.09 5/250 366966
/proc/meminfo: memFree=109649720/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=42532 memory=16024 CPUtime=1.9 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 1961 0 0 0 180 10 0 0 20 0 1 0 42835327 43552768 4006 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 10633 4006 1899 992 0 2491 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 16024 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.07 4.12 4.09 5/250 366966
/proc/meminfo: memFree=109404920/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=49068 memory=22760 CPUtime=8.27 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 3172 0 0 0 795 32 0 0 20 0 1 0 42835327 50245632 5690 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 12267 5690 1899 992 0 4125 0
Current children cumulated CPU time: 8.27 s
Current children cumulated vsize: 49068 KiB
Current children cumulated memory: 22760 KiB
heavy processes:
[startup+25.5003 s]
/proc/loadavg: 4.06 4.11 4.09 5/250 366969
/proc/meminfo: memFree=109261612/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=58092 memory=30760 CPUtime=21.05 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 4717 0 0 0 2038 67 0 0 20 0 1 0 42835327 59486208 7690 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 14523 7690 1899 992 0 6381 0
Current children cumulated CPU time: 21.05 s
Current children cumulated vsize: 58092 KiB
Current children cumulated memory: 30760 KiB
[startup+51.1125 s]
/proc/loadavg: 4.11 4.12 4.09 5/250 366974
/proc/meminfo: memFree=108962580/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=68744 memory=38332 CPUtime=46.59 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 6114 0 0 0 4529 130 0 0 20 0 1 0 42835327 70393856 9583 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 17186 9583 1899 992 0 9044 0
Current children cumulated CPU time: 46.59 s
Current children cumulated vsize: 68744 KiB
Current children cumulated memory: 38332 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/250 366983
/proc/meminfo: memFree=108393184/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=71848 memory=43204 CPUtime=97.65 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 7125 0 0 0 9526 239 0 0 20 0 1 0 42835327 73572352 10801 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 17962 10801 1899 992 0 9820 0
Current children cumulated CPU time: 97.65 s
Current children cumulated vsize: 71848 KiB
Current children cumulated memory: 43204 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/249 366993
/proc/meminfo: memFree=107758016/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=88000 memory=50600 CPUtime=157.48 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 8883 0 0 0 15400 348 0 0 20 0 1 0 42835327 90112000 12650 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 22000 12650 1899 992 0 13858 0
Current children cumulated CPU time: 157.48 s
Current children cumulated vsize: 88000 KiB
Current children cumulated memory: 50600 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/249 367003
/proc/meminfo: memFree=107149400/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=90096 memory=55132 CPUtime=217.33 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 9865 0 0 0 21270 463 0 0 20 0 1 0 42835327 92258304 13783 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 22524 13783 1899 992 0 14382 0
Current children cumulated CPU time: 217.33 s
Current children cumulated vsize: 90096 KiB
Current children cumulated memory: 55132 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 367401
/proc/meminfo: memFree=106580176/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=92436 memory=58408 CPUtime=277.15 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 10759 0 0 0 27147 568 0 0 20 0 1 0 42835327 94654464 14602 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 23109 14602 1899 992 0 14967 0
Current children cumulated CPU time: 277.15 s
Current children cumulated vsize: 92436 KiB
Current children cumulated memory: 58408 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/247 367411
/proc/meminfo: memFree=106063352/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=94780 memory=62808 CPUtime=336.98 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 11721 0 0 0 33040 658 0 0 20 0 1 0 42835327 97054720 15702 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 23695 15702 1978 992 0 15553 0
Current children cumulated CPU time: 336.98 s
Current children cumulated vsize: 94780 KiB
Current children cumulated memory: 62808 KiB
[startup+402.3 s]
/proc/loadavg: 4.33 4.17 4.11 5/248 367468
/proc/meminfo: memFree=104476476/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=98484 memory=71704 CPUtime=396.79 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 12792 0 0 0 38950 729 0 0 20 0 1 0 42835327 100847616 17926 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 24621 17926 1994 992 0 16479 0
Current children cumulated CPU time: 396.79 s
Current children cumulated vsize: 98484 KiB
Current children cumulated memory: 71704 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 4.17 4.11 5/249 367648
/proc/meminfo: memFree=103736304/131655788 swapFree=131070704/131071996
################
# More data... #
################
Current children cumulated memory: 138080 KiB
[startup+2862.3 s]
/proc/loadavg: 4.23 4.32 4.26 5/256 368950
/proc/meminfo: memFree=85470732/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=184588 memory=138220 CPUtime=2849.59 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 31024 0 0 0 281852 3107 0 0 20 0 1 0 42835327 189018112 34555 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46147 34555 1994 992 0 38005 0
Current children cumulated CPU time: 2849.59 s
Current children cumulated vsize: 184588 KiB
Current children cumulated memory: 138220 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.29 4.26 5/251 368961
/proc/meminfo: memFree=84525892/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=184696 memory=138344 CPUtime=2909.44 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 31282 0 0 0 287779 3165 0 0 20 0 1 0 42835327 189128704 34586 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46174 34586 1994 992 0 38032 0
Current children cumulated CPU time: 2909.44 s
Current children cumulated vsize: 184696 KiB
Current children cumulated memory: 138344 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.27 4.25 5/254 368976
/proc/meminfo: memFree=83838416/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=184828 memory=138476 CPUtime=2969.29 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 31541 0 0 0 293718 3211 0 0 20 0 1 0 42835327 189263872 34619 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46207 34619 1994 992 0 38065 0
Current children cumulated CPU time: 2969.29 s
Current children cumulated vsize: 184828 KiB
Current children cumulated memory: 138476 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.23 4.24 5/254 368987
/proc/meminfo: memFree=83209952/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=184892 memory=138540 CPUtime=3029.14 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 31788 0 0 0 299654 3260 0 0 20 0 1 0 42835327 189329408 34635 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46223 34635 1994 992 0 38081 0
Current children cumulated CPU time: 3029.14 s
Current children cumulated vsize: 184892 KiB
Current children cumulated memory: 138540 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.22 4.23 5/254 368998
/proc/meminfo: memFree=83028580/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=184896 memory=138544 CPUtime=3088.99 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 32016 0 0 0 305589 3310 0 0 20 0 1 0 42835327 189333504 34636 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46224 34636 1994 992 0 38082 0
Current children cumulated CPU time: 3088.99 s
Current children cumulated vsize: 184896 KiB
Current children cumulated memory: 138544 KiB
[startup+3162.3 s]
/proc/loadavg: 4.52 4.29 4.26 5/248 369008
/proc/meminfo: memFree=82830608/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=184980 memory=138628 CPUtime=3148.83 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 32267 0 0 0 311526 3357 0 0 20 0 1 0 42835327 189419520 34657 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46245 34657 1994 992 0 38103 0
Current children cumulated CPU time: 3148.83 s
Current children cumulated vsize: 184980 KiB
Current children cumulated memory: 138628 KiB
[startup+3222.3 s]
/proc/loadavg: 4.57 4.37 4.29 5/248 369018
/proc/meminfo: memFree=82460392/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=185236 memory=138892 CPUtime=3208.69 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 32684 0 0 0 317466 3403 0 0 20 0 1 0 42835327 189681664 34723 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46309 34723 1994 992 0 38167 0
Current children cumulated CPU time: 3208.69 s
Current children cumulated vsize: 185236 KiB
Current children cumulated memory: 138892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.33 4.27 5/245 369029
/proc/meminfo: memFree=82218244/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=185584 memory=138980 CPUtime=3268.54 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 33060 0 0 0 323405 3449 0 0 20 0 1 0 42835327 190038016 34745 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46396 34745 1994 992 0 38254 0
Current children cumulated CPU time: 3268.54 s
Current children cumulated vsize: 185584 KiB
Current children cumulated memory: 138980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.30 4.27 5/245 369039
/proc/meminfo: memFree=81865504/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=186072 memory=139556 CPUtime=3328.39 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 33238 0 0 0 329343 3496 0 0 20 0 1 0 42835327 190537728 34889 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46518 34889 1994 992 0 38376 0
Current children cumulated CPU time: 3328.39 s
Current children cumulated vsize: 186072 KiB
Current children cumulated memory: 139556 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.26 4.26 5/245 369049
/proc/meminfo: memFree=81581012/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=186072 memory=139632 CPUtime=3388.25 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 33314 0 0 0 335287 3538 0 0 20 0 1 0 42835327 190537728 34908 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46518 34908 1994 992 0 38376 0
Current children cumulated CPU time: 3388.25 s
Current children cumulated vsize: 186072 KiB
Current children cumulated memory: 139632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.24 4.25 5/245 369060
/proc/meminfo: memFree=81395508/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=186520 memory=139732 CPUtime=3448.1 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 33414 0 0 0 341237 3573 0 0 20 0 1 0 42835327 190996480 34933 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 46630 34933 1994 992 0 38488 0
Current children cumulated CPU time: 3448.1 s
Current children cumulated vsize: 186520 KiB
Current children cumulated memory: 139732 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.21 4.24 5/245 369070
/proc/meminfo: memFree=81267132/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=192600 memory=156112 CPUtime=3507.95 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 34619 0 0 0 347199 3596 0 0 20 0 1 0 42835327 197222400 39028 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 48150 39028 1994 992 0 40008 0
Current children cumulated CPU time: 3507.95 s
Current children cumulated vsize: 192600 KiB
Current children cumulated memory: 156112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.21 4.24 5/246 369084
/proc/meminfo: memFree=80857960/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=193968 memory=159432 CPUtime=3567.81 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 35176 0 0 0 353146 3635 0 0 20 0 1 0 42835327 198623232 39858 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 48492 39858 1994 992 0 40350 0
Current children cumulated CPU time: 3567.81 s
Current children cumulated vsize: 193968 KiB
Current children cumulated memory: 159432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.6 s]
/proc/loadavg: 4.10 4.19 4.23 5/246 369091
/proc/meminfo: memFree=80742404/131655788 swapFree=131070704/131071996
[pid=366903] ppid=366900 vsize=193968 memory=159432 CPUtime=3600.03 cores=4,6
/proc/366903/stat : 366903 (roundingsat) R 366900 366903 364870 0 -1 4194304 35237 0 0 0 356349 3654 0 0 20 0 1 0 42835327 198623232 39858 134679101440 4194304 8254357 140724326838976 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12931072 140724326847323 140724326847585 140724326847585 140724326854601 0
/proc/366903/statm: 48492 39858 1994 992 0 40350 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 193968 KiB
Current children cumulated memory: 159432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.66 s]
# the end of solver process 366903 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.5 s, system=36.5556 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3614.66
CPU time (s): 3600.05
CPU user time (s): 3563.5
CPU system time (s): 36.5556
CPU usage (%): 99.5958
Max. virtual memory (cumulated for all children) (KiB): 194844
Max. memory (cumulated for all children) (KiB): 160008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.5
system time used= 36.5556
maximum resident set size= 160008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22273096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2899
involuntary context switches= 5175
# summary of solver processes directly reported to runsolver:
# pid: 366903
# total CPU time (s): 3600.05
# total CPU user time (s): 3563.5
# total CPU system time (s): 36.5556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3107 second user time and 35.989 second system time
The end
Begin job on nodeC008 at 2024-07-27 10:21:00 IDJOB=4460312 IDBENCH=148776 IDSOLVER=3086 FILE ID=nodeC008/4460312-1722068460 RUNJOBID= nodeC008-1722064837-364881 SLURM_JOB_ID= 8248110 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.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-4460312-1722068460/watcher-4460312-1722068460 -o /tmp/evaluation-result-4460312-1722068460/solver-4460312-1722068460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722064837-364881 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460312-1722068460 --lp-cut-gomory=0 HOME/instance-4460312-1722068460.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef RANDOM SEED=1663965919 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.267 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.19 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.200 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.250 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.19 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.166 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.123 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.19 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.256 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1260.424 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.19 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.169 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 101315264 kB MemAvailable: 129844392 kB Buffers: 374148 kB Cached: 28907760 kB SwapCached: 732 kB Active: 2841260 kB Inactive: 26773364 kB Active(anon): 1540 kB Inactive(anon): 385032 kB Active(file): 2839720 kB Inactive(file): 26388332 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 5980 kB Writeback: 0 kB AnonPages: 332044 kB Mapped: 121132 kB Shmem: 53860 kB KReclaimable: 282216 kB Slab: 403932 kB SReclaimable: 282216 kB SUnreclaim: 121716 kB KernelStack: 3712 kB PageTables: 9596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 739044 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21088 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 400200 kB DirectMap2M: 49836032 kB DirectMap1G: 85983232 kB Free space on /tmp at the end= 723644 MiB End job on nodeC008 at 2024-07-27 11:21:14