| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.02 | 3609.45 |
| 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/0.00 c #variables 774 #constraints 1024 0.00/0.01 c bounds - >= 0 @ 0.004874 0.00/0.01 c rational objective 3 0.40/0.43 c #Conflicts: 1000 | #Constraints: 2033 0.40/0.43 c #Conflicts: 2000 | #Constraints: 3044 0.40/0.43 c INPROCESSING 0.40/0.43 c GARBAGE COLLECT 0.40/0.43 c rational objective 3 0.88/0.99 c bounds - >= 3 @ 0.413887 0.88/0.99 c #Conflicts: 3000 | #Constraints: 2279 0.88/0.99 c #Conflicts: 4000 | #Constraints: 3289 0.88/0.99 c INPROCESSING 0.88/0.99 c GARBAGE COLLECT 0.88/0.99 c rational objective 3 1.59/1.66 c #Conflicts: 5000 | #Constraints: 2688 1.59/1.66 c #Conflicts: 6000 | #Constraints: 3693 1.59/1.66 c INPROCESSING 1.59/1.66 c GARBAGE COLLECT 1.59/1.66 c rational objective 3 2.68/2.72 c #Conflicts: 7000 | #Constraints: 2692 2.68/2.72 c #Conflicts: 8000 | #Constraints: 3698 2.68/2.72 c #Conflicts: 9000 | #Constraints: 4705 2.68/2.72 c INPROCESSING 2.68/2.72 c GARBAGE COLLECT 2.68/2.72 c rational objective 3 3.58/3.62 c #Conflicts: 10000 | #Constraints: 3400 3.58/3.62 c #Conflicts: 11000 | #Constraints: 4414 3.58/3.62 c #Conflicts: 12000 | #Constraints: 5424 3.58/3.62 c INPROCESSING 3.58/3.62 c GARBAGE COLLECT 3.58/3.62 c rational objective 3 4.77/4.87 c #Conflicts: 13000 | #Constraints: 3856 4.77/4.87 c #Conflicts: 14000 | #Constraints: 4871 4.77/4.87 c #Conflicts: 15000 | #Constraints: 5880 4.77/4.87 c INPROCESSING 4.77/4.87 c GARBAGE COLLECT 4.77/4.87 c rational objective 3 7.38/7.47 c #Conflicts: 16000 | #Constraints: 4096 7.38/7.47 c #Conflicts: 17000 | #Constraints: 5101 7.38/7.47 c #Conflicts: 18000 | #Constraints: 6104 7.38/7.47 c INPROCESSING 7.38/7.47 c GARBAGE COLLECT 7.38/7.47 c rational objective 3 8.97/9.03 c #Conflicts: 19000 | #Constraints: 4102 8.97/9.03 c #Conflicts: 20000 | #Constraints: 5109 8.97/9.03 c #Conflicts: 21000 | #Constraints: 6120 8.97/9.03 c INPROCESSING 8.97/9.03 c GARBAGE COLLECT 8.97/9.03 c rational objective 3 10.26/10.34 c #Conflicts: 22000 | #Constraints: 3905 10.26/10.34 c #Conflicts: 23000 | #Constraints: 4917 10.26/10.34 c #Conflicts: 24000 | #Constraints: 5920 10.26/10.34 c #Conflicts: 25000 | #Constraints: 6926 10.26/10.34 c INPROCESSING 10.26/10.34 c GARBAGE COLLECT 10.26/10.34 c rational objective 3 11.56/11.68 c #Conflicts: 26000 | #Constraints: 4518 11.56/11.68 c #Conflicts: 27000 | #Constraints: 5531 11.56/11.68 c #Conflicts: 28000 | #Constraints: 6541 11.56/11.68 c #Conflicts: 29000 | #Constraints: 7547 11.56/11.68 c INPROCESSING 11.56/11.68 c GARBAGE COLLECT 11.56/11.68 c rational objective 3 13.06/13.16 c #Conflicts: 30000 | #Constraints: 4928 13.06/13.16 c #Conflicts: 31000 | #Constraints: 5934 13.06/13.16 c #Conflicts: 32000 | #Constraints: 6947 13.06/13.16 c #Conflicts: 33000 | #Constraints: 7958 13.06/13.16 c INPROCESSING 13.06/13.16 c GARBAGE COLLECT 13.06/13.16 c rational objective 3 14.45/14.54 c #Conflicts: 34000 | #Constraints: 5133 14.45/14.54 c #Conflicts: 35000 | #Constraints: 6142 14.45/14.54 c #Conflicts: 36000 | #Constraints: 7154 14.45/14.54 c #Conflicts: 37000 | #Constraints: 8163 14.45/14.54 c INPROCESSING 14.45/14.54 c GARBAGE COLLECT 14.45/14.54 c rational objective 3 16.64/16.74 c #Conflicts: 38000 | #Constraints: 5130 16.64/16.74 c #Conflicts: 39000 | #Constraints: 6140 16.64/16.74 c #Conflicts: 40000 | #Constraints: 7151 16.64/16.74 c #Conflicts: 41000 | #Constraints: 8159 16.64/16.74 c INPROCESSING 16.64/16.74 c GARBAGE COLLECT 16.64/16.74 c rational objective 3 19.54/19.62 c #Conflicts: 42000 | #Constraints: 4938 19.54/19.62 c #Conflicts: 43000 | #Constraints: 5949 19.54/19.62 c #Conflicts: 44000 | #Constraints: 6961 19.54/19.62 c #Conflicts: 45000 | #Constraints: 7967 19.54/19.62 c #Conflicts: 46000 | #Constraints: 8975 19.54/19.62 c INPROCESSING 19.54/19.62 c GARBAGE COLLECT 19.54/19.62 c rational objective 3 21.63/21.73 c #Conflicts: 47000 | #Constraints: 5538 21.63/21.73 c #Conflicts: 48000 | #Constraints: 6545 21.63/21.73 c #Conflicts: 49000 | #Constraints: 7553 21.63/21.73 c #Conflicts: 50000 | #Constraints: 8559 21.63/21.73 c #Conflicts: 51000 | #Constraints: 9577 21.63/21.73 c INPROCESSING 21.63/21.73 c GARBAGE COLLECT 21.63/21.73 c rational objective 3 24.12/24.30 c #Conflicts: 52000 | #Constraints: 5945 24.12/24.30 c #Conflicts: 53000 | #Constraints: 6948 24.12/24.30 c #Conflicts: 54000 | #Constraints: 7953 24.12/24.30 c #Conflicts: 55000 | #Constraints: 8958 24.12/24.30 c #Conflicts: 56000 | #Constraints: 9969 24.12/24.30 c INPROCESSING 24.12/24.30 c GARBAGE COLLECT 24.12/24.30 c rational objective 3 27.32/27.40 c #Conflicts: 57000 | #Constraints: 6141 27.32/27.40 c #Conflicts: 58000 | #Constraints: 7147 27.32/27.40 c #Conflicts: 59000 | #Constraints: 8153 27.32/27.40 c #Conflicts: 60000 | #Constraints: 9161 27.32/27.40 c #Conflicts: 61000 | #Constraints: 10171 27.32/27.40 c INPROCESSING 27.32/27.40 c GARBAGE COLLECT 27.32/27.40 c rational objective 3 30.51/30.62 c #Conflicts: 62000 | #Constraints: 6137 30.51/30.62 c #Conflicts: 63000 | #Constraints: 7144 30.51/30.62 c #Conflicts: 64000 | #Constraints: 8152 30.51/30.62 c #Conflicts: 65000 | #Constraints: 9158 30.51/30.62 c #Conflicts: 66000 | #Constraints: 10165 30.51/30.62 c INPROCESSING 30.51/30.62 c GARBAGE COLLECT 30.51/30.62 c rational objective 3 33.31/33.44 c #Conflicts: 67000 | #Constraints: 5929 33.31/33.44 c #Conflicts: 68000 | #Constraints: 6935 33.31/33.44 c #Conflicts: 69000 | #Constraints: 7938 33.31/33.44 c #Conflicts: 70000 | #Constraints: 8945 33.31/33.44 c #Conflicts: 71000 | #Constraints: 9948 33.31/33.44 c #Conflicts: 72000 | #Constraints: 10955 33.31/33.44 c INPROCESSING 33.31/33.44 c GARBAGE COLLECT 33.31/33.44 c rational objective 3 36.70/36.85 c #Conflicts: 73000 | #Constraints: 6522 36.70/36.85 c #Conflicts: 74000 | #Constraints: 7529 36.70/36.85 c #Conflicts: 75000 | #Constraints: 8536 36.70/36.85 c #Conflicts: 76000 | #Constraints: 9545 36.70/36.85 c #Conflicts: 77000 | #Constraints: 10555 36.70/36.85 c #Conflicts: 78000 | #Constraints: 11560 36.70/36.85 c INPROCESSING 36.70/36.85 c GARBAGE COLLECT 36.70/36.85 c rational objective 3 40.09/40.28 c #Conflicts: 79000 | #Constraints: 6938 40.09/40.28 c #Conflicts: 80000 | #Constraints: 7946 40.09/40.28 c #Conflicts: 81000 | #Constraints: 8949 40.09/40.28 c #Conflicts: 82000 | #Constraints: 9953 40.09/40.28 c #Conflicts: 83000 | #Constraints: 10955 40.09/40.28 c #Conflicts: 84000 | #Constraints: 11962 40.09/40.28 c INPROCESSING 40.09/40.28 c GARBAGE COLLECT 40.09/40.28 c rational objective 3 43.77/43.97 c #Conflicts: 85000 | #Constraints: 7131 43.77/43.97 c #Conflicts: 86000 | #Constraints: 8135 43.77/43.97 c #Conflicts: 87000 | #Constraints: 9142 43.77/43.97 c #Conflicts: 88000 | #Constraints: 10145 43.77/43.97 c #Conflicts: 89000 | #Constraints: 11149 43.77/43.97 c #Conflicts: 90000 | #Constraints: 12157 43.77/43.97 c INPROCESSING 43.77/43.97 c GARBAGE COLLECT 43.77/43.97 c rational objective 3 48.46/48.65 c #Conflicts: 91000 | #Constraints: 7130 48.46/48.65 c #Conflicts: 92000 | #Constraints: 8136 48.46/48.65 c #Conflicts: 93000 | #Constraints: 9145 48.46/48.65 c #Conflicts: 94000 | #Constraints: 10151 48.46/48.65 c #Conflicts: 95000 | #Constraints: 11155 48.46/48.65 c #Conflicts: 96000 | #Constraints: 12160 48.46/48.65 c INPROCESSING 48.46/48.65 c GARBAGE COLLECT 48.46/48.65 c rational objective 3 54.05/54.29 c #Conflicts: 97000 | #Constraints: 6941 54.05/54.29 c #Conflicts: 98000 | #Constraints: 7951 54.05/54.29 c #Conflicts: 99000 | #Constraints: 8958 54.05/54.29 c #Conflicts: 100000 | #Constraints: 9966 54.05/54.29 c #Conflicts: 101000 | #Constraints: 10976 54.05/54.29 c #Conflicts: 102000 | #Constraints: 11982 54.05/54.29 c #Conflicts: 103000 | #Constraints: 12988 54.05/54.29 c INPROCESSING 54.05/54.29 c GARBAGE COLLECT 54.05/54.29 c rational objective 3 58.74/58.96 c #Conflicts: 104000 | #Constraints: 7542 58.74/58.96 c #Conflicts: 105000 | #Constraints: 8553 58.74/58.96 c #Conflicts: 106000 | #Constraints: 9559 58.74/58.96 c #Conflicts: 107000 | #Constraints: 10566 58.74/58.96 c #Conflicts: 108000 | #Constraints: 11573 58.74/58.96 c #Conflicts: 109000 | #Constraints: 12576 58.74/58.96 c #Conflicts: 110000 | #Constraints: 13579 58.74/58.96 c INPROCESSING 58.74/58.96 c GARBAGE COLLECT 58.74/58.96 c rational objective 3 62.53/62.72 c #Conflicts: 111000 | #Constraints: 7938 62.53/62.72 c #Conflicts: 112000 | #Constraints: 8947 62.53/62.72 c #Conflicts: 113000 | #Constraints: 9954 62.53/62.72 c #Conflicts: 114000 | #Constraints: 10962 62.53/62.72 c #Conflicts: 115000 | #Constraints: 11970 62.53/62.72 c #Conflicts: 116000 | #Constraints: 12976 62.53/62.72 c #Conflicts: 117000 | #Constraints: 13984 62.53/62.72 c INPROCESSING 62.53/62.72 c GARBAGE COLLECT 62.53/62.72 c rational objective 3 66.92/67.18 c #Conflicts: 118000 | #Constraints: 8145 66.92/67.18 c #Conflicts: 119000 | #Constraints: 9147 66.92/67.18 c #Conflicts: 120000 | #Constraints: 10150 66.92/67.18 c #Conflicts: 121000 | #Constraints: 11156 66.92/67.18 c #Conflicts: 122000 | #Constraints: 12159 66.92/67.18 c #Conflicts: 123000 | #Constraints: 13164 66.92/67.18 c #Conflicts: 124000 | #Constraints: 14173 66.92/67.18 c INPROCESSING 66.92/67.18 c GARBAGE COLLECT 66.92/67.18 c rational objective 3 71.71/71.97 c #Conflicts: 125000 | #Constraints: 8136 71.71/71.97 c #Conflicts: 126000 | #Constraints: 9145 71.71/71.97 c #Conflicts: 127000 | #Constraints: 10153 71.71/71.97 c #Conflicts: 128000 | #Constraints: 11158 71.71/71.97 c #Conflicts: 129000 | #Constraints: 12163 71.71/71.97 c #Conflicts: 130000 | #Constraints: 13170 71.71/71.97 c #Conflicts: 131000 | #Constraints: 14177 71.71/71.97 c INPROCESSING 71.71/71.97 c GARBAGE COLLECT 71.71/71.97 c rational objective 3 76.99/77.27 c #Conflicts: 132000 | #Constraints: 7936 76.99/77.27 c #Conflicts: 133000 | #Constraints: 8942 76.99/77.27 c #Conflicts: 134000 | #Constraints: 9948 76.99/77.27 c #Conflicts: 135000 | #Constraints: 10952 76.99/77.27 c #Conflicts: 136000 | #Constraints: 11959 76.99/77.27 c #Conflicts: 137000 | #Constraints: 12965 76.99/77.27 c #Conflicts: 138000 | #Constraints: 13973 76.99/77.27 c #Conflicts: 139000 | #Constraints: 14980 76.99/77.27 c INPROCESSING 76.99/77.27 c GARBAGE COLLECT 76.99/77.27 c rational objective 3 83.57/83.83 c #Conflicts: 140000 | #Constraints: 8549 83.57/83.83 c #Conflicts: 141000 | #Constraints: 9553 83.57/83.83 c #Conflicts: 142000 | #Constraints: 10559 83.57/83.83 c #Conflicts: 143000 | #Constraints: 11563 83.57/83.83 c #Conflicts: 144000 | #Constraints: 12567 83.57/83.83 c #Conflicts: 145000 | #Constraints: 13575 83.57/83.83 c #Conflicts: 146000 | #Constraints: 14581 83.57/83.83 c #Conflicts: 147000 | #Constraints: 15585 83.57/83.83 c INPROCESSING 83.57/83.83 c GARBAGE COLLECT 83.57/83.83 c rational objective 3 88.46/88.72 c #Conflicts: 148000 | #Constraints: 8955 88.46/88.72 c #Conflicts: 149000 | #Constraints: 9963 88.46/88.72 c #Conflicts: 150000 | #Constraints: 10965 88.46/88.72 c #Conflicts: 151000 | #Constraints: 11974 88.46/88.72 c #Conflicts: 152000 | #Constraints: 12984 88.46/88.72 c #Conflicts: 153000 | #Constraints: 13992 88.46/88.72 c #Conflicts: 154000 | #Constraints: 14995 88.46/88.72 c #Conflicts: 155000 | #Constraints: 16003 88.46/88.72 c INPROCESSING 88.46/88.72 c GARBAGE COLLECT 88.46/88.72 c rational objective 3 93.95/94.24 c #Conflicts: 156000 | #Constraints: 9158 93.95/94.24 c #Conflicts: 157000 | #Constraints: 10164 93.95/94.24 c #Conflicts: 158000 | #Constraints: 11169 93.95/94.24 c #Conflicts: 159000 | #Constraints: 12175 93.95/94.24 c #Conflicts: 160000 | #Constraints: 13182 93.95/94.24 c #Conflicts: 161000 | #Constraints: 14196 93.95/94.24 c #Conflicts: 162000 | #Constraints: 15199 93.95/94.24 c #Conflicts: 163000 | #Constraints: 16210 93.95/94.24 c INPROCESSING 93.95/94.24 c GARBAGE COLLECT 93.95/94.24 c rational objective 3 98.84/99.16 c #Conflicts: 164000 | #Constraints: 9165 98.84/99.16 c #Conflicts: 165000 | #Constraints: 10176 98.84/99.16 c #Conflicts: 166000 | #Constraints: 11197 98.84/99.16 c #Conflicts: 167000 | #Constraints: 12205 98.84/99.16 c #Conflicts: 168000 | #Constraints: 13214 98.84/99.16 c #Conflicts: 169000 | #Constraints: 14219 98.84/99.16 c #Conflicts: 170000 | #Constraints: 15222 98.84/99.16 c #Conflicts: 171000 | #Constraints: 16227 98.84/99.16 c INPROCESSING 98.84/99.16 c GARBAGE COLLECT 98.84/99.16 c rational objective 3 104.02/104.35 c #Conflicts: 172000 | #Constraints: 8969 104.02/104.35 c #Conflicts: 173000 | #Constraints: 9970 104.02/104.35 c #Conflicts: 174000 | #Constraints: 10977 104.02/104.35 c #Conflicts: 175000 | #Constraints: 11981 104.02/104.35 c #Conflicts: 176000 | #Constraints: 12987 104.02/104.35 c #Conflicts: 177000 | #Constraints: 13996 104.02/104.35 c #Conflicts: 178000 | #Constraints: 15008 104.02/104.35 c #Conflicts: 179000 | #Constraints: 16018 104.02/104.35 c #Conflicts: 180000 | #Constraints: 17023 104.02/104.35 c INPROCESSING 104.02/104.35 c GARBAGE COLLECT 104.02/104.35 c rational objective 3 109.91/110.28 c #Conflicts: 181000 | #Constraints: 9564 109.91/110.28 c #Conflicts: 182000 | #Constraints: 10573 109.91/110.28 c #Conflicts: 183000 | #Constraints: 11578 109.91/110.28 c #Conflicts: 184000 | #Constraints: 12584 109.91/110.28 c #Conflicts: 185000 | #Constraints: 13589 109.91/110.28 c #Conflicts: 186000 | #Constraints: 14593 109.91/110.28 c #Conflicts: 187000 | #Constraints: 15599 109.91/110.28 c #Conflicts: 188000 | #Constraints: 16607 109.91/110.28 c #Conflicts: 189000 | #Constraints: 17612 109.91/110.28 c INPROCESSING 109.91/110.28 c GARBAGE COLLECT 109.91/110.28 c rational objective 3 119.18/119.53 c #Conflicts: 190000 | #Constraints: 9967 119.18/119.53 c #Conflicts: 191000 | #Constraints: 10976 119.18/119.53 c #Conflicts: 192000 | #Constraints: 11982 119.18/119.53 c #Conflicts: 193000 | #Constraints: 12986 119.18/119.53 c #Conflicts: 194000 | #Constraints: 13989 119.18/119.53 c #Conflicts: 195000 | #Constraints: 14994 119.18/119.53 c #Conflicts: 196000 | #Constraints: 15997 119.18/119.53 c #Conflicts: 197000 | #Constraints: 17003 119.18/119.53 c #Conflicts: 198000 | #Constraints: 18005 119.18/119.53 c INPROCESSING 119.18/119.53 c GARBAGE COLLECT 119.18/119.53 c rational objective 3 128.85/129.28 c #Conflicts: 199000 | #Constraints: 10160 128.85/129.28 c #Conflicts: 200000 | #Constraints: 11165 128.85/129.28 c #Conflicts: 201000 | #Constraints: 12169 128.85/129.28 c #Conflicts: 202000 | #Constraints: 13172 128.85/129.28 c #Conflicts: 203000 | #Constraints: 14175 128.85/129.28 c #Conflicts: 204000 | #Constraints: 15177 128.85/129.28 c #Conflicts: 205000 | #Constraints: 16182 128.85/129.28 c #Conflicts: 206000 | #Constraints: 17193 128.85/129.28 c #Conflicts: 207000 | #Constraints: 18196 128.85/129.28 c INPROCESSING 128.85/129.28 c GARBAGE COLLECT 128.85/129.28 c rational objective 3 137.93/138.30 c #Conflicts: 208000 | #Constraints: 10153 137.93/138.30 c #Conflicts: 209000 | #Constraints: 11157 137.93/138.30 c #Conflicts: 210000 | #Constraints: 12164 137.93/138.30 c #Conflicts: 211000 | #Constraints: 13168 137.93/138.30 c #Conflicts: 212000 | #Constraints: 14173 137.93/138.30 c #Conflicts: 213000 | #Constraints: 15180 137.93/138.30 c #Conflicts: 214000 | #Constraints: 16188 137.93/138.30 c #Conflicts: 215000 | #Constraints: 17191 137.93/138.30 c #Conflicts: 216000 | #Constraints: 18196 137.93/138.30 c INPROCESSING 137.93/138.30 c GARBAGE COLLECT 137.93/138.30 c rational objective 3 146.41/146.86 c #Conflicts: 217000 | #Constraints: 9953 146.41/146.86 c #Conflicts: 218000 | #Constraints: 10957 146.41/146.86 c #Conflicts: 219000 | #Constraints: 11961 146.41/146.86 c #Conflicts: 220000 | #Constraints: 12965 146.41/146.86 c #Conflicts: 221000 | #Constraints: 13973 146.41/146.86 c #Conflicts: 222000 | #Constraints: 14976 146.41/146.86 c #Conflicts: 223000 | #Constraints: 15980 146.41/146.86 c #Conflicts: 224000 | #Constraints: 16982 146.41/146.86 c #Conflicts: 225000 | #Constraints: 17984 146.41/146.86 c #Conflicts: 226000 | #Constraints: 18987 146.41/146.86 c INPROCESSING 146.41/146.86 c GARBAGE COLLECT 146.41/146.86 c rational objective 3 155.08/155.55 c #Conflicts: 227000 | #Constraints: 10551 155.08/155.55 c #Conflicts: 228000 | #Constraints: 11558 155.08/155.55 c #Conflicts: 229000 | #Constraints: 12566 155.08/155.55 c #Conflicts: 230000 | #Constraints: 13572 155.08/155.55 c #Conflicts: 231000 | #Constraints: 14577 155.08/155.55 c #Conflicts: 232000 | #Constraints: 15586 155.08/155.55 c #Conflicts: 233000 | #Constraints: 16593 155.08/155.55 c #Conflicts: 234000 | #Constraints: 17603 155.08/155.55 c #Conflicts: 235000 | #Constraints: 18611 155.08/155.55 c #Conflicts: 236000 | #Constraints: 19621 155.08/155.55 c INPROCESSING 155.08/155.55 c GARBAGE COLLECT 155.08/155.55 c rational objective 3 164.16/164.66 c #Conflicts: 237000 | #Constraints: 10960 164.16/164.66 c #Conflicts: 238000 | #Constraints: 11968 164.16/164.66 c #Conflicts: 239000 | #Constraints: 12973 164.16/164.66 c #Conflicts: 240000 | #Constraints: 13981 164.16/164.66 c #Conflicts: 241000 | #Constraints: 14992 164.16/164.66 c #Conflicts: 242000 | #Constraints: 15995 164.16/164.66 c #Conflicts: 243000 | #Constraints: 17001 164.16/164.66 c #Conflicts: 244000 | #Constraints: 18009 164.16/164.66 c #Conflicts: 245000 | #Constraints: 19015 164.16/164.66 c #Conflicts: 246000 | #Constraints: 20023 164.16/164.66 c INPROCESSING 164.16/164.66 c GARBAGE COLLECT 164.16/164.66 c rational objective 3 171.25/171.71 c #Conflicts: 247000 | #Constraints: 11187 171.25/171.71 c #Conflicts: 248000 | #Constraints: 12192 171.25/171.71 c #Conflicts: 249000 | #Constraints: 13195 171.25/171.71 c #Conflicts: 250000 | #Constraints: 14200 171.25/171.71 c #Conflicts: 251000 | #Constraints: 15206 171.25/171.71 c #Conflicts: 252000 | #Constraints: 16212 171.25/171.71 c #Conflicts: 253000 | #Constraints: 17214 171.25/171.71 c #Conflicts: 254000 | #Constraints: 18222 171.25/171.71 c #Conflicts: 255000 | #Constraints: 19235 171.25/171.71 c #Conflicts: 256000 | #Constraints: 20243 171.25/171.71 c INPROCESSING 171.25/171.71 c GARBAGE COLLECT 171.25/171.71 c rational objective 3 179.12/179.62 c #Conflicts: 257000 | #Constraints: 11168 179.12/179.62 c #Conflicts: 258000 | #Constraints: 12178 179.12/179.62 c #Conflicts: 259000 | #Constraints: 13184 179.12/179.62 c #Conflicts: 260000 | #Constraints: 14189 179.12/179.62 c #Conflicts: 261000 | #Constraints: 15193 179.12/179.62 c #Conflicts: 262000 | #Constraints: 16201 179.12/179.62 c #Conflicts: 263000 | #Constraints: 17209 179.12/179.62 c #Conflicts: 264000 | #Constraints: 18224 179.12/179.62 c #Conflicts: 265000 | #Constraints: 19230 179.12/179.62 c #Conflicts: 266000 | #Constraints: 20233 179.12/179.62 c INPROCESSING 179.12/179.62 c GARBAGE COLLECT 179.12/179.62 c rational objective 3 187.70/188.23 c #Conflicts: 267000 | #Constraints: 10971 187.70/188.23 c #Conflicts: 268000 | #Constraints: 11977 187.70/188.23 c #Conflicts: 269000 | #Constraints: 12979 187.70/188.23 c #Conflicts: 270000 | #Constraints: 13990 187.70/188.23 c #Conflicts: 271000 | #Constraints: 14995 187.70/188.23 c #Conflicts: 272000 | #Constraints: 16003 187.70/188.23 c #Conflicts: 273000 | #Constraints: 17008 187.70/188.23 c #Conflicts: 274000 | #Constraints: 18009 187.70/188.23 c #Conflicts: 275000 | #Constraints: 19010 187.70/188.23 c #Conflicts: 276000 | #Constraints: 20015 187.70/188.23 c #Conflicts: 277000 | #Constraints: 21025 187.70/188.23 c INPROCESSING 187.70/188.23 c GARBAGE COLLECT 187.70/188.23 c rational objective 3 197.07/197.69 c #Conflicts: 278000 | #Constraints: 11569 197.07/197.69 c #Conflicts: 279000 | #Constraints: 12574 197.07/197.69 c #Conflicts: 280000 | #Constraints: 13579 197.07/197.69 c #Conflicts: 281000 | #Constraints: 14584 197.07/197.69 c #Conflicts: 282000 | #Constraints: 15589 197.07/197.69 c #Conflicts: 283000 | #Constraints: 16595 197.07/197.69 c #Conflicts: 284000 | #Constraints: 17601 197.07/197.69 c #Conflicts: 285000 | #Constraints: 18608 197.07/197.69 c #Conflicts: 286000 | #Constraints: 19612 197.07/197.69 c #Conflicts: 287000 | #Constraints: 20622 197.07/197.69 c #Conflicts: 288000 | #Constraints: 21625 197.07/197.69 c INPROCESSING 197.07/197.69 c GARBAGE COLLECT 197.07/197.69 c rational objective 3 208.14/208.70 c #Conflicts: 289000 | #Constraints: 11961 208.14/208.70 c #Conflicts: 290000 | #Constraints: 12967 208.14/208.70 c #Conflicts: 291000 | #Constraints: 13973 208.14/208.70 c #Conflicts: 292000 | #Constraints: 14979 208.14/208.70 c #Conflicts: 293000 | #Constraints: 15985 208.14/208.70 c #Conflicts: 294000 | #Constraints: 16989 208.14/208.70 c #Conflicts: 295000 | #Constraints: 17993 208.14/208.70 c #Conflicts: 296000 | #Constraints: 18999 208.14/208.70 c #Conflicts: 297000 | #Constraints: 20013 208.14/208.70 c #Conflicts: 298000 | #Constraints: 21018 208.14/208.70 c #Conflicts: 299000 | #Constraints: 22028 208.14/208.70 c INPROCESSING 208.14/208.70 c GARBAGE COLLECT 208.14/208.70 c rational objective 3 217.12/217.71 c #Conflicts: 300000 | #Constraints: 12161 217.12/217.71 c #Conflicts: 301000 | #Constraints: 13165 217.12/217.71 c #Conflicts: 302000 | #Constraints: 14170 217.12/217.71 c #Conflicts: 303000 | #Constraints: 15175 217.12/217.71 c #Conflicts: 304000 | #Constraints: 16179 217.12/217.71 c #Conflicts: 305000 | #Constraints: 17183 217.12/217.71 c #Conflicts: 306000 | #Constraints: 18188 217.12/217.71 c #Conflicts: 307000 | #Constraints: 19198 217.12/217.71 c #Conflicts: 308000 | #Constraints: 20202 217.12/217.71 c #Conflicts: 309000 | #Constraints: 21206 217.12/217.71 c #Conflicts: 310000 | #Constraints: 22211 217.12/217.71 c INPROCESSING 217.12/217.71 c GARBAGE COLLECT 217.12/217.71 c rational objective 3 226.99/227.68 c #Conflicts: 311000 | #Constraints: 12156 226.99/227.68 c #Conflicts: 312000 | #Constraints: 13162 226.99/227.68 c #Conflicts: 313000 | #Constraints: 14167 226.99/227.68 c #Conflicts: 314000 | #Constraints: 15172 226.99/227.68 c #Conflicts: 315000 | #Constraints: 16180 226.99/227.68 c #Conflicts: 316000 | #Constraints: 17187 226.99/227.68 c #Conflicts: 317000 | #Constraints: 18191 226.99/227.68 c #Conflicts: 318000 | #Constraints: 19194 226.99/227.68 c #Conflicts: 319000 | #Constraints: 20200 226.99/227.68 c #Conflicts: 320000 | #Constraints: 21202 226.99/227.68 c #Conflicts: 321000 | #Constraints: 22208 226.99/227.68 c INPROCESSING 226.99/227.68 c GARBAGE COLLECT 226.99/227.68 c rational objective 3 238.75/239.43 c #Conflicts: 322000 | #Constraints: 11959 238.75/239.43 c #Conflicts: 323000 | #Constraints: 12965 238.75/239.43 c #Conflicts: 324000 | #Constraints: 13975 238.75/239.43 c #Conflicts: 325000 | #Constraints: 14981 238.75/239.43 c #Conflicts: 326000 | #Constraints: 15987 238.75/239.43 c #Conflicts: 327000 | #Constraints: 16995 238.75/239.43 c #Conflicts: 328000 | #Constraints: 17997 238.75/239.43 c #Conflicts: 329000 | #Constraints: 19000 238.75/239.43 c #Conflicts: 330000 | #Constraints: 20002 238.75/239.43 c #Conflicts: 331000 | #Constraints: 21007 238.75/239.43 c #Conflicts: 332000 | #Constraints: 22010 238.75/239.43 c #Conflicts: 333000 | #Constraints: 23013 238.75/239.43 c INPROCESSING 238.75/239.43 c GARBAGE COLLECT 238.75/239.43 c rational objective 3 248.13/248.84 c #Conflicts: 334000 | #Constraints: 12562 248.13/248.84 c #Conflicts: 335000 | #Constraints: 13574 248.13/248.84 c #Conflicts: 336000 | #Constraints: 14581 248.13/248.84 c #Conflicts: 337000 | #Constraints: 15583 248.13/248.84 c #Conflicts: 338000 | #Constraints: 16587 248.13/248.84 c #Conflicts: 339000 | #Constraints: 17594 248.13/248.84 c #Conflicts: 340000 | #Constraints: 18601 248.13/248.84 c #Conflicts: 341000 | #Constraints: 19604 248.13/248.84 c #Conflicts: 342000 | #Constraints: 20610 248.13/248.84 c #Conflicts: 343000 | #Constraints: 21616 248.13/248.84 c #Conflicts: 344000 | #Constraints: 22622 248.13/248.84 c #Conflicts: 345000 | #Constraints: 23627 248.13/248.84 c INPROCESSING 248.13/248.84 c GARBAGE COLLECT 248.13/248.84 c rational objective 3 259.60/260.35 c #Conflicts: 346000 | #Constraints: 12973 259.60/260.35 c #Conflicts: 347000 | #Constraints: 13981 259.60/260.35 c #Conflicts: 348000 | #Constraints: 14998 259.60/260.35 c #Conflicts: 349000 | #Constraints: 16006 259.60/260.35 c #Conflicts: 350000 | #Constraints: 17012 259.60/260.35 c #Conflicts: 351000 | #Constraints: 18018 259.60/260.35 c #Conflicts: 352000 | #Constraints: 19023 259.60/260.35 c #Conflicts: 353000 | #Constraints: 20024 259.60/260.35 c #Conflicts: 354000 | #Constraints: 21027 259.60/260.35 c #Conflicts: 355000 | #Constraints: 22031 259.60/260.35 c #Conflicts: 356000 | #Constraints: 23039 259.60/260.35 c #Conflicts: 357000 | #Constraints: 24044 259.60/260.35 c INPROCESSING 259.60/260.35 c GARBAGE COLLECT 259.60/260.35 c rational objective 3 270.08/270.86 c #Conflicts: 358000 | #Constraints: 13194 270.08/270.86 c #Conflicts: 359000 | #Constraints: 14200 270.08/270.86 c #Conflicts: 360000 | #Constraints: 15203 270.08/270.86 c #Conflicts: 361000 | #Constraints: 16208 270.08/270.86 c #Conflicts: 362000 | #Constraints: 17215 270.08/270.86 c #Conflicts: 363000 | #Constraints: 18223 270.08/270.86 c #Conflicts: 364000 | #Constraints: 19227 270.08/270.86 c #Conflicts: 365000 | #Constraints: 20234 270.08/270.86 c #Conflicts: 366000 | #Constraints: 21242 270.08/270.86 c #Conflicts: 367000 | #Constraints: 22250 270.08/270.86 c #Conflicts: 368000 | #Constraints: 23256 270.08/270.86 c #Conflicts: 369000 | #Constraints: 24265 270.08/270.86 c INPROCESSING 270.08/270.86 c GARBAGE COLLECT 270.08/270.86 c rational objective 3 282.35/283.13 c #Conflicts: 370000 | #Constraints: 13199 282.35/283.13 c #Conflicts: 371000 | #Constraints: 14201 282.35/283.13 c #Conflicts: 372000 | #Constraints: 15205 282.35/283.13 c #Conflicts: 373000 | #Constraints: 16210 282.35/283.13 c #Conflicts: 374000 | #Constraints: 17217 282.35/283.13 c #Conflicts: 375000 | #Constraints: 18221 282.35/283.13 c #Conflicts: 376000 | #Constraints: 19227 282.35/283.13 c #Conflicts: 377000 | #Constraints: 20234 282.35/283.13 c #Conflicts: 378000 | #Constraints: 21241 282.35/283.13 c #Conflicts: 379000 | #Constraints: 22248 282.35/283.13 c #Conflicts: 380000 | #Constraints: 23256 282.35/283.13 c #Conflicts: 381000 | #Constraints: 24263 282.35/283.13 c INPROCESSING 282.35/283.13 c GARBAGE COLLECT 282.35/283.13 c rational objective 3 295.10/295.91 c #Conflicts: 382000 | #Constraints: 12984 295.10/295.91 c #Conflicts: 383000 | #Constraints: 13990 295.10/295.91 c #Conflicts: 384000 | #Constraints: 14994 295.10/295.91 c #Conflicts: 385000 | #Constraints: 15998 295.10/295.91 c #Conflicts: 386000 | #Constraints: 17004 295.10/295.91 c #Conflicts: 387000 | #Constraints: 18013 295.10/295.91 c #Conflicts: 388000 | #Constraints: 19018 295.10/295.91 c #Conflicts: 389000 | #Constraints: 20024 295.10/295.91 c #Conflicts: 390000 | #Constraints: 21030 295.10/295.91 c #Conflicts: 391000 | #Constraints: 22035 295.10/295.91 c #Conflicts: 392000 | #Constraints: 23041 295.10/295.91 c #Conflicts: 393000 | #Constraints: 24052 295.10/295.91 c #Conflicts: 394000 | #Constraints: 25059 295.10/295.91 c INPROCESSING 295.10/295.91 c GARBAGE COLLECT 295.10/295.91 c rational objective 3 306.47/307.34 c #Conflicts: 395000 | #Constraints: 13590 306.47/307.34 c #Conflicts: 396000 | #Constraints: 14600 306.47/307.34 c #Conflicts: 397000 | #Constraints: 15610 306.47/307.34 c #Conflicts: 398000 | #Constraints: 16617 306.47/307.34 c #Conflicts: 399000 | #Constraints: 17624 306.47/307.34 c #Conflicts: 400000 | #Constraints: 18631 306.47/307.34 c #Conflicts: 401000 | #Constraints: 19637 306.47/307.34 c #Conflicts: 402000 | #Constraints: 20643 306.47/307.34 c #Conflicts: 403000 | #Constraints: 21649 306.47/307.34 c #Conflicts: 404000 | #Constraints: 22657 306.47/307.34 c #Conflicts: 405000 | #Constraints: 23664 306.47/307.34 c #Conflicts: 406000 | #Constraints: 24670 306.47/307.34 c #Conflicts: 407000 | #Constraints: 25676 306.47/307.34 c INPROCESSING 306.47/307.34 c GARBAGE COLLECT 306.47/307.34 c rational objective 3 316.05/316.99 c #Conflicts: 408000 | #Constraints: 13993 316.05/316.99 c #Conflicts: 409000 | #Constraints: 14999 316.05/316.99 c #Conflicts: 410000 | #Constraints: 16005 316.05/316.99 c #Conflicts: 411000 | #Constraints: 17010 316.05/316.99 c #Conflicts: 412000 | #Constraints: 18014 316.05/316.99 c #Conflicts: 413000 | #Constraints: 19020 316.05/316.99 c #Conflicts: 414000 | #Constraints: 20027 316.05/316.99 c #Conflicts: 415000 | #Constraints: 21032 316.05/316.99 c #Conflicts: 416000 | #Constraints: 22045 316.05/316.99 c #Conflicts: 417000 | #Constraints: 23056 316.05/316.99 c #Conflicts: 418000 | #Constraints: 24061 316.05/316.99 c #Conflicts: 419000 | #Constraints: 25066 316.05/316.99 c #Conflicts: 420000 | #Constraints: 26067 316.05/316.99 c INPROCESSING 316.05/316.99 c GARBAGE COLLECT 316.05/316.99 c rational objective 3 332.21/333.11 c #Conflicts: 421000 | #Constraints: 14186 332.21/333.11 c #Conflicts: 422000 | #Constraints: 15193 332.21/333.11 c #Conflicts: 423000 | #Constraints: 16196 332.21/333.11 c #Conflicts: 424000 | #Constraints: 17202 332.21/333.11 c #Conflicts: 425000 | #Constraints: 18209 332.21/333.11 c #Conflicts: 426000 | #Constraints: 19215 332.21/333.11 c #Conflicts: 427000 | #Constraints: 20219 332.21/333.11 c #Conflicts: 428000 | #Constraints: 21222 332.21/333.11 c #Conflicts: 429000 | #Constraints: 22228 332.21/333.11 c #Conflicts: 430000 | #Constraints: 23233 332.21/333.11 c #Conflicts: 431000 | #Constraints: 24237 332.21/333.11 c #Conflicts: 432000 | #Constraints: 25241 332.21/333.11 c #Conflicts: 433000 | #Constraints: 26246 332.21/333.11 c INPROCESSING 332.21/333.11 c GARBAGE COLLECT 332.21/333.11 c rational objective 3 348.36/349.38 c #Conflicts: 434000 | #Constraints: 14179 348.36/349.38 c #Conflicts: 435000 | #Constraints: 15188 348.36/349.38 c #Conflicts: 436000 | #Constraints: 16194 348.36/349.38 c #Conflicts: 437000 | #Constraints: 17198 348.36/349.38 c #Conflicts: 438000 | #Constraints: 18201 348.36/349.38 c #Conflicts: 439000 | #Constraints: 19204 348.36/349.38 c #Conflicts: 440000 | #Constraints: 20211 348.36/349.38 c #Conflicts: 441000 | #Constraints: 21219 348.36/349.38 c #Conflicts: 442000 | #Constraints: 22223 348.36/349.38 c #Conflicts: 443000 | #Constraints: 23230 348.36/349.38 c #Conflicts: 444000 | #Constraints: 24233 348.36/349.38 c #Conflicts: 445000 | #Constraints: 25238 348.36/349.38 c #Conflicts: 446000 | #Constraints: 26240 348.36/349.38 c INPROCESSING 348.36/349.38 c GARBAGE COLLECT 348.36/349.38 c rational objective 3 368.79/369.82 c #Conflicts: 447000 | #Constraints: 13979 368.79/369.82 c #Conflicts: 448000 | #Constraints: 14982 368.79/369.82 c #Conflicts: 449000 | #Constraints: 15989 368.79/369.82 c #Conflicts: 450000 | #Constraints: 16998 368.79/369.82 c #Conflicts: 451000 | #Constraints: 18001 368.79/369.82 c #Conflicts: 452000 | #Constraints: 19009 368.79/369.82 c #Conflicts: 453000 | #Constraints: 20014 368.79/369.82 c #Conflicts: 454000 | #Constraints: 21020 368.79/369.82 c #Conflicts: 455000 | #Constraints: 22021 368.79/369.82 c #Conflicts: 456000 | #Constraints: 23026 368.79/369.82 c #Conflicts: 457000 | #Constraints: 24031 368.79/369.82 c #Conflicts: 458000 | #Constraints: 25036 368.79/369.82 c #Conflicts: 459000 | #Constraints: 26038 368.79/369.82 c #Conflicts: 460000 | #Constraints: 27043 368.79/369.82 c INPROCESSING 368.79/369.82 c GARBAGE COLLECT 368.79/369.82 c rational objective 3 390.24/391.36 c #Conflicts: 461000 | #Constraints: 14591 390.24/391.36 c #Conflicts: 462000 | #Constraints: 15596 390.24/391.36 c #Conflicts: 463000 | #Constraints: 16599 390.24/391.36 c #Conflicts: 464000 | #Constraints: 17604 390.24/391.36 c #Conflicts: 465000 | #Constraints: 18608 390.24/391.36 c #Conflicts: 466000 | #Constraints: 19614 390.24/391.36 c #Conflicts: 467000 | #Constraints: 20617 390.24/391.36 c #Conflicts: 468000 | #Constraints: 21624 390.24/391.36 c #Conflicts: 469000 | #Constraints: 22627 390.24/391.36 c #Conflicts: 470000 | #Constraints: 23636 390.24/391.36 c #Conflicts: 471000 | #Constraints: 24644 390.24/391.36 c #Conflicts: 472000 | #Constraints: 25645 390.24/391.36 c #Conflicts: 473000 | #Constraints: 26646 390.24/391.36 c #Conflicts: 474000 | #Constraints: 27648 390.24/391.36 c INPROCESSING 390.24/391.36 c GARBAGE COLLECT 390.24/391.36 c rational objective 3 409.00/410.18 c #Conflicts: 475000 | #Constraints: 14986 409.00/410.18 c #Conflicts: 476000 | #Constraints: 15994 409.00/410.18 c #Conflicts: 477000 | #Constraints: 16998 409.00/410.18 c #Conflicts: 478000 | #Constraints: 18003 409.00/410.18 c #Conflicts: 479000 | #Constraints: 19004 409.00/410.18 c #Conflicts: 480000 | #Constraints: 20012 409.00/410.18 c #Conflicts: 481000 | #Constraints: 21016 409.00/410.18 c #Conflicts: 482000 | #Constraints: 22018 409.00/410.18 c #Conflicts: 483000 | #Constraints: 23024 409.00/410.18 c #Conflicts: 484000 | #Constraints: 24026 409.00/410.18 c #Conflicts: 485000 | #Constraints: 25030 409.00/410.18 c #Conflicts: 486000 | #Constraints: 26031 409.00/410.18 c #Conflicts: 487000 | #Constraints: 27032 409.00/410.18 c #Conflicts: 488000 | #Constraints: 28033 409.00/410.18 c INPROCESSING 409.00/410.18 c GARBAGE COLLECT 409.00/410.18 c rational objective 3 434.43/435.65 c #Conflicts: 489000 | #Constraints: 15180 434.43/435.65 c #Conflicts: 490000 | #Constraints: 16185 434.43/435.65 c #Conflicts: 491000 | #Constraints: 17188 434.43/435.65 c #Conflicts: 492000 | #Constraints: 18191 434.43/435.65 c #Conflicts: 493000 | #Constraints: 19193 434.43/435.65 c #Conflicts: 494000 | #Constraints: 20208 434.43/435.65 c #Conflicts: 495000 | #Constraints: 21211 434.43/435.65 c #Conflicts: 496000 | #Constraints: 22219 434.43/435.65 c #Conflicts: 497000 | #Constraints: 23223 434.43/435.65 c #Conflicts: 498000 | #Constraints: 24226 434.43/435.65 c #Conflicts: 499000 | #Constraints: 25232 434.43/435.65 c #Conflicts: 500000 | #Constraints: 26236 434.43/435.65 c #Conflicts: 501000 | #Constraints: 27238 434.43/435.65 c #Conflicts: 502000 | #Constraints: 28243 434.43/435.65 c INPROCESSING 434.43/435.65 c GARBAGE COLLECT 434.43/435.65 c rational objective 3 446.91/448.18 c #Conflicts: 503000 | #Constraints: 15173 446.91/448.18 c #Conflicts: 504000 | #Constraints: 16174 446.91/448.18 c #Conflicts: 505000 | #Constraints: 17176 446.91/448.18 c #Conflicts: 506000 | #Constraints: 18178 446.91/448.18 c #Conflicts: 507000 | #Constraints: 19182 446.91/448.18 c #Conflicts: 508000 | #Constraints: 20185 446.91/448.18 c #Conflicts: 509000 | #Constraints: 21187 446.91/448.18 c #Conflicts: 510000 | #Constraints: 22189 446.91/448.18 c #Conflicts: 511000 | #Constraints: 23190 446.91/448.18 c #Conflicts: 512000 | #Constraints: 24191 446.91/448.18 c #Conflicts: 513000 | #Constraints: 25195 446.91/448.18 c #Conflicts: 514000 | #Constraints: 26201 446.91/448.18 c #Conflicts: 515000 | #Constraints: 27202 446.91/448.18 c #Conflicts: 516000 | #Constraints: 28204 446.91/448.18 c INPROCESSING 446.91/448.18 c GARBAGE COLLECT 446.91/448.18 c rational objective 3 463.67/464.98 c #Conflicts: 517000 | #Constraints: 14968 463.67/464.98 c #Conflicts: 518000 | #Constraints: 15972 463.67/464.98 c #Conflicts: 519000 | #Constraints: 16978 463.67/464.98 c #Conflicts: 520000 | #Constraints: 17983 463.67/464.98 c #Conflicts: 521000 | #Constraints: 18987 463.67/464.98 c #Conflicts: 522000 | #Constraints: 19990 463.67/464.98 c #Conflicts: 523000 | #Constraints: 20996 463.67/464.98 c #Conflicts: 524000 | #Constraints: 22003 463.67/464.98 c #Conflicts: 525000 | #Constraints: 23007 463.67/464.98 c #Conflicts: 526000 | #Constraints: 24011 463.67/464.98 c #Conflicts: 527000 | #Constraints: 25018 463.67/464.98 c #Conflicts: 528000 | #Constraints: 26020 463.67/464.98 c #Conflicts: 529000 | #Constraints: 27023 463.67/464.98 c #Conflicts: 530000 | #Constraints: 28028 463.67/464.98 c #Conflicts: 531000 | #Constraints: 29028 463.67/464.98 c INPROCESSING 463.67/464.98 c GARBAGE COLLECT 463.67/464.98 c rational objective 3 482.22/483.50 c #Conflicts: 532000 | #Constraints: 15589 482.22/483.50 c #Conflicts: 533000 | #Constraints: 16594 482.22/483.50 c #Conflicts: 534000 | #Constraints: 17598 482.22/483.50 c #Conflicts: 535000 | #Constraints: 18607 482.22/483.50 c #Conflicts: 536000 | #Constraints: 19620 482.22/483.50 c #Conflicts: 537000 | #Constraints: 20632 482.22/483.50 c #Conflicts: 538000 | #Constraints: 21636 482.22/483.50 c #Conflicts: 539000 | #Constraints: 22637 482.22/483.50 c #Conflicts: 540000 | #Constraints: 23640 482.22/483.50 c #Conflicts: 541000 | #Constraints: 24646 482.22/483.50 c #Conflicts: 542000 | #Constraints: 25651 482.22/483.50 c #Conflicts: 543000 | #Constraints: 26655 482.22/483.50 c #Conflicts: 544000 | #Constraints: 27661 482.22/483.50 c #Conflicts: 545000 | #Constraints: 28665 482.22/483.50 c #Conflicts: 546000 | #Constraints: 29670 482.22/483.50 c INPROCESSING 482.22/483.50 c GARBAGE COLLECT 482.22/483.50 c rational objective 3 499.97/501.36 c #Conflicts: 547000 | #Constraints: 15984 499.97/501.36 c #Conflicts: 548000 | #Constraints: 16988 499.97/501.36 c #Conflicts: 549000 | #Constraints: 17993 499.97/501.36 c #Conflicts: 550000 | #Constraints: 18999 499.97/501.36 c #Conflicts: 551000 | #Constraints: 20001 499.97/501.36 c #Conflicts: 552000 | #Constraints: 21003 499.97/501.36 c #Conflicts: 553000 | #Constraints: 22009 499.97/501.36 c #Conflicts: 554000 | #Constraints: 23014 499.97/501.36 c #Conflicts: 555000 | #Constraints: 24019 499.97/501.36 c #Conflicts: 556000 | #Constraints: 25022 499.97/501.36 c #Conflicts: 557000 | #Constraints: 26024 499.97/501.36 c #Conflicts: 558000 | #Constraints: 27029 499.97/501.36 c #Conflicts: 559000 | #Constraints: 28033 499.97/501.36 c #Conflicts: 560000 | #Constraints: 29035 499.97/501.36 c #Conflicts: 561000 | #Constraints: 30039 499.97/501.36 c INPROCESSING 499.97/501.36 c GARBAGE COLLECT 499.97/501.36 c rational objective 3 516.83/518.29 c #Conflicts: 562000 | #Constraints: 16177 516.83/518.29 c #Conflicts: 563000 | #Constraints: 17184 516.83/518.29 c #Conflicts: 564000 | #Constraints: 18193 516.83/518.29 c #Conflicts: 565000 | #Constraints: 19199 516.83/518.29 c #Conflicts: 566000 | #Constraints: 20205 516.83/518.29 c #Conflicts: 567000 | #Constraints: 21214 516.83/518.29 c #Conflicts: 568000 | #Constraints: 22221 516.83/518.29 c #Conflicts: 569000 | #Constraints: 23231 516.83/518.29 c #Conflicts: 570000 | #Constraints: 24236 516.83/518.29 c #Conflicts: 571000 | #Constraints: 25245 516.83/518.29 c #Conflicts: 572000 | #Constraints: 26250 516.83/518.29 c #Conflicts: 573000 | #Constraints: 27259 516.83/518.29 c #Conflicts: 574000 | #Constraints: 28267 516.83/518.29 c #Conflicts: 575000 | #Constraints: 29275 516.83/518.29 c #Conflicts: 576000 | #Constraints: 30279 516.83/518.29 c INPROCESSING 516.83/518.29 c GARBAGE COLLECT 516.83/518.29 c rational objective 3 534.39/535.81 c #Conflicts: 577000 | #Constraints: 16209 534.39/535.81 c #Conflicts: 578000 | #Constraints: 17217 534.39/535.81 c #Conflicts: 579000 | #Constraints: 18230 534.39/535.81 c #Conflicts: 580000 | #Constraints: 19233 534.39/535.81 c #Conflicts: 581000 | #Constraints: 20238 534.39/535.81 c #Conflicts: 582000 | #Constraints: 21245 534.39/535.81 c #Conflicts: 583000 | #Constraints: 22250 534.39/535.81 c #Conflicts: 584000 | #Constraints: 23254 534.39/535.81 c #Conflicts: 585000 | #Constraints: 24259 534.39/535.81 c #Conflicts: 586000 | #Constraints: 25262 534.39/535.81 c #Conflicts: 587000 | #Constraints: 26266 534.39/535.81 c #Conflicts: 588000 | #Constraints: 27270 534.39/535.81 c #Conflicts: 589000 | #Constraints: 28274 534.39/535.81 c #Conflicts: 590000 | #Constraints: 29284 534.39/535.81 c #Conflicts: 591000 | #Constraints: 30288 534.39/535.81 c INPROCESSING 534.39/535.81 c GARBAGE COLLECT 534.39/535.81 c rational objective 3 555.84/557.39 c #Conflicts: 592000 | #Constraints: 16000 555.84/557.39 c #Conflicts: 593000 | #Constraints: 17006 555.84/557.39 c #Conflicts: 594000 | #Constraints: 18009 555.84/557.39 c #Conflicts: 595000 | #Constraints: 19011 555.84/557.39 c #Conflicts: 596000 | #Constraints: 20018 555.84/557.39 c #Conflicts: 597000 | #Constraints: 21025 555.84/557.39 c #Conflicts: 598000 | #Constraints: 22031 555.84/557.39 c #Conflicts: 599000 | #Constraints: 23037 555.84/557.39 c #Conflicts: 600000 | #Constraints: 24044 555.84/557.39 c #Conflicts: 601000 | #Constraints: 25047 555.84/557.39 c #Conflicts: 602000 | #Constraints: 26051 555.84/557.39 c #Conflicts: 603000 | #Constraints: 27055 555.84/557.39 c #Conflicts: 604000 | #Constraints: 28058 555.84/557.39 c #Conflicts: 605000 | #Constraints: 29061 555.84/557.39 c #Conflicts: 606000 | #Constraints: 30063 555.84/557.39 c #Conflicts: 607000 | #Constraints: 31065 555.84/557.39 c INPROCESSING 555.84/557.39 c GARBAGE COLLECT 555.84/557.39 c rational objective 3 579.97/581.57 c #Conflicts: 608000 | #Constraints: 16592 579.97/581.57 c #Conflicts: 609000 | #Constraints: 17595 579.97/581.57 c #Conflicts: 610000 | #Constraints: 18601 579.97/581.57 c #Conflicts: 611000 | #Constraints: 19605 579.97/581.57 c #Conflicts: 612000 | #Constraints: 20609 579.97/581.57 c #Conflicts: 613000 | #Constraints: 21612 579.97/581.57 c #Conflicts: 614000 | #Constraints: 22617 579.97/581.57 c #Conflicts: 615000 | #Constraints: 23624 579.97/581.57 c #Conflicts: 616000 | #Constraints: 24628 579.97/581.57 c #Conflicts: 617000 | #Constraints: 25632 579.97/581.57 c #Conflicts: 618000 | #Constraints: 26634 579.97/581.57 c #Conflicts: 619000 | #Constraints: 27640 579.97/581.57 c #Conflicts: 620000 | #Constraints: 28645 579.97/581.57 c #Conflicts: 621000 | #Constraints: 29652 579.97/581.57 c #Conflicts: 622000 | #Constraints: 30657 579.97/581.57 c #Conflicts: 623000 | #Constraints: 31663 579.97/581.57 c INPROCESSING 579.97/581.57 c GARBAGE COLLECT 579.97/581.57 c rational objective 3 596.81/598.43 c #Conflicts: 624000 | #Constraints: 16993 596.81/598.43 c #Conflicts: 625000 | #Constraints: 18001 596.81/598.43 c #Conflicts: 626000 | #Constraints: 19007 596.81/598.43 c #Conflicts: 627000 | #Constraints: 20016 596.81/598.43 c #Conflicts: 628000 | #Constraints: 21020 596.81/598.43 c #Conflicts: 629000 | #Constraints: 22025 596.81/598.43 c #Conflicts: 630000 | #Constraints: 23034 596.81/598.43 c #Conflicts: 631000 | #Constraints: 24035 596.81/598.43 c #Conflicts: 632000 | #Constraints: 25038 596.81/598.43 c #Conflicts: 633000 | #Constraints: 26040 596.81/598.43 c #Conflicts: 634000 | #Constraints: 27044 596.81/598.43 c #Conflicts: 635000 | #Constraints: 28051 596.81/598.43 c #Conflicts: 636000 | #Constraints: 29057 596.81/598.43 c #Conflicts: 637000 | #Constraints: 30066 596.81/598.43 c #Conflicts: 638000 | #Constraints: 31075 596.81/598.43 c #Conflicts: 639000 | #Constraints: 32083 596.81/598.43 c INPROCESSING 596.81/598.43 c GARBAGE COLLECT 596.81/598.43 c rational objective 3 614.47/616.12 c #Conflicts: 640000 | #Constraints: 17195 614.47/616.12 c #Conflicts: 641000 | #Constraints: 18198 614.47/616.12 c #Conflicts: 642000 | #Constraints: 19204 614.47/616.12 c #Conflicts: 643000 | #Constraints: 20211 614.47/616.12 c #Conflicts: 644000 | #Constraints: 21215 614.47/616.12 c #Conflicts: 645000 | #Constraints: 22221 614.47/616.12 c #Conflicts: 646000 | #Constraints: 23225 614.47/616.12 c #Conflicts: 647000 | #Constraints: 24233 614.47/616.12 c #Conflicts: 648000 | #Constraints: 25240 614.47/616.12 c #Conflicts: 649000 | #Constraints: 26245 614.47/616.12 c #Conflicts: 650000 | #Constraints: 27248 614.47/616.12 c #Conflicts: 651000 | #Constraints: 28253 614.47/616.12 c #Conflicts: 652000 | #Constraints: 29258 614.47/616.12 c #Conflicts: 653000 | #Constraints: 30261 614.47/616.12 c #Conflicts: 654000 | #Constraints: 31265 614.47/616.12 c #Conflicts: 655000 | #Constraints: 32271 614.47/616.12 c INPROCESSING 614.47/616.12 c GARBAGE COLLECT 614.47/616.12 c rational objective 3 629.92/631.67 c #Conflicts: 656000 | #Constraints: 17212 629.92/631.67 c #Conflicts: 657000 | #Constraints: 18218 629.92/631.67 c #Conflicts: 658000 | #Constraints: 19220 629.92/631.67 c #Conflicts: 659000 | #Constraints: 20224 629.92/631.67 c #Conflicts: 660000 | #Constraints: 21230 629.92/631.67 c #Conflicts: 661000 | #Constraints: 22239 629.92/631.67 c #Conflicts: 662000 | #Constraints: 23244 629.92/631.67 c #Conflicts: 663000 | #Constraints: 24258 629.92/631.67 c #Conflicts: 664000 | #Constraints: 25265 629.92/631.67 c #Conflicts: 665000 | #Constraints: 26273 629.92/631.67 c #Conflicts: 666000 | #Constraints: 27281 629.92/631.67 c #Conflicts: 667000 | #Constraints: 28288 629.92/631.67 c #Conflicts: 668000 | #Constraints: 29294 629.92/631.67 c #Conflicts: 669000 | #Constraints: 30300 629.92/631.67 c #Conflicts: 670000 | #Constraints: 31309 629.92/631.67 c #Conflicts: 671000 | #Constraints: 32312 629.92/631.67 c INPROCESSING 629.92/631.67 c GARBAGE COLLECT 629.92/631.67 c rational objective 3 648.66/650.47 c #Conflicts: 672000 | #Constraints: 17004 648.66/650.47 c #Conflicts: 673000 | #Constraints: 18011 648.66/650.47 c #Conflicts: 674000 | #Constraints: 19018 648.66/650.47 c #Conflicts: 675000 | #Constraints: 20021 648.66/650.47 c #Conflicts: 676000 | #Constraints: 21026 648.66/650.47 c #Conflicts: 677000 | #Constraints: 22034 648.66/650.47 c #Conflicts: 678000 | #Constraints: 23038 648.66/650.47 c #Conflicts: 679000 | #Constraints: 24043 648.66/650.47 c #Conflicts: 680000 | #Constraints: 25048 648.66/650.47 c #Conflicts: 681000 | #Constraints: 26055 648.66/650.47 c #Conflicts: 682000 | #Constraints: 27070 648.66/650.47 c #Conflicts: 683000 | #Constraints: 28078 648.66/650.47 c #Conflicts: 684000 | #Constraints: 29083 648.66/650.47 c #Conflicts: 685000 | #Constraints: 30088 648.66/650.47 c #Conflicts: 686000 | #Constraints: 31100 648.66/650.47 c #Conflicts: 687000 | #Constraints: 32104 648.66/650.47 c #Conflicts: 688000 | #Constraints: 33109 648.66/650.47 c INPROCESSING 648.66/650.47 c GARBAGE COLLECT 648.66/650.47 c rational objective 3 668.20/670.06 c #Conflicts: 689000 | #Constraints: 17600 668.20/670.06 c #Conflicts: 690000 | #Constraints: 18605 668.20/670.06 c #Conflicts: 691000 | #Constraints: 19614 668.20/670.06 c #Conflicts: 692000 | #Constraints: 20615 668.20/670.06 c #Conflicts: 693000 | #Constraints: 21621 668.20/670.06 c #Conflicts: 694000 | #Constraints: 22624 668.20/670.06 c #Conflicts: 695000 | #Constraints: 23630 668.20/670.06 c #Conflicts: 696000 | #Constraints: 24637 668.20/670.06 c #Conflicts: 697000 | #Constraints: 25641 668.20/670.06 c #Conflicts: 698000 | #Constraints: 26646 668.20/670.06 c #Conflicts: 699000 | #Constraints: 27652 668.20/670.06 c #Conflicts: 700000 | #Constraints: 28661 668.20/670.06 c #Conflicts: 701000 | #Constraints: 29663 668.20/670.06 c #Conflicts: 702000 | #Constraints: 30668 668.20/670.06 c #Conflicts: 703000 | #Constraints: 31672 668.20/670.06 c #Conflicts: 704000 | #Constraints: 32677 668.20/670.06 c #Conflicts: 705000 | #Constraints: 33685 668.20/670.06 c INPROCESSING 668.20/670.06 c GARBAGE COLLECT 668.20/670.06 c rational objective 3 696.61/698.51 c #Conflicts: 706000 | #Constraints: 18006 696.61/698.51 c #Conflicts: 707000 | #Constraints: 19015 696.61/698.51 c #Conflicts: 708000 | #Constraints: 20019 696.61/698.51 c #Conflicts: 709000 | #Constraints: 21025 696.61/698.51 c #Conflicts: 710000 | #Constraints: 22028 696.61/698.51 c #Conflicts: 711000 | #Constraints: 23033 696.61/698.51 c #Conflicts: 712000 | #Constraints: 24037 696.61/698.51 c #Conflicts: 713000 | #Constraints: 25042 696.61/698.51 c #Conflicts: 714000 | #Constraints: 26046 696.61/698.51 c #Conflicts: 715000 | #Constraints: 27049 696.61/698.51 c #Conflicts: 716000 | #Constraints: 28055 696.61/698.51 c #Conflicts: 717000 | #Constraints: 29062 696.61/698.51 c #Conflicts: 718000 | #Constraints: 30067 696.61/698.51 c #Conflicts: 719000 | #Constraints: 31070 696.61/698.51 c #Conflicts: 720000 | #Constraints: 32074 696.61/698.51 c #Conflicts: 721000 | #Constraints: 33079 696.61/698.51 c #Conflicts: 722000 | #Constraints: 34085 696.61/698.51 c INPROCESSING 696.61/698.51 c GARBAGE COLLECT 696.61/698.51 c rational objective 3 718.95/720.94 c #Conflicts: 723000 | #Constraints: 18213 718.95/720.94 c #Conflicts: 724000 | #Constraints: 19216 718.95/720.94 c #Conflicts: 725000 | #Constraints: 20219 718.95/720.94 c #Conflicts: 726000 | #Constraints: 21223 718.95/720.94 c #Conflicts: 727000 | #Constraints: 22225 718.95/720.94 c #Conflicts: 728000 | #Constraints: 23229 718.95/720.94 c #Conflicts: 729000 | #Constraints: 24232 718.95/720.94 c #Conflicts: 730000 | #Constraints: 25235 718.95/720.94 c #Conflicts: 731000 | #Constraints: 26241 718.95/720.94 c #Conflicts: 732000 | #Constraints: 27245 718.95/720.94 c #Conflicts: 733000 | #Constraints: 28247 718.95/720.94 c #Conflicts: 734000 | #Constraints: 29249 718.95/720.94 c #Conflicts: 735000 | #Constraints: 30252 718.95/720.94 c #Conflicts: 736000 | #Constraints: 31253 718.95/720.94 c #Conflicts: 737000 | #Constraints: 32257 718.95/720.94 c #Conflicts: 738000 | #Constraints: 33260 718.95/720.94 c #Conflicts: 739000 | #Constraints: 34263 718.95/720.94 c INPROCESSING 718.95/720.94 c GARBAGE COLLECT 718.95/720.94 c rational objective 3 744.38/746.46 c #Conflicts: 740000 | #Constraints: 18188 744.38/746.46 c #Conflicts: 741000 | #Constraints: 19196 744.38/746.46 c #Conflicts: 742000 | #Constraints: 20203 744.38/746.46 c #Conflicts: 743000 | #Constraints: 21208 744.38/746.46 c #Conflicts: 744000 | #Constraints: 22211 744.38/746.46 c #Conflicts: 745000 | #Constraints: 23216 744.38/746.46 c #Conflicts: 746000 | #Constraints: 24226 744.38/746.46 c #Conflicts: 747000 | #Constraints: 25228 744.38/746.46 c #Conflicts: 748000 | #Constraints: 26231 744.38/746.46 c #Conflicts: 749000 | #Constraints: 27236 744.38/746.46 c #Conflicts: 750000 | #Constraints: 28242 744.38/746.46 c #Conflicts: 751000 | #Constraints: 29246 744.38/746.46 c #Conflicts: 752000 | #Constraints: 30248 744.38/746.46 c #Conflicts: 753000 | #Constraints: 31252 744.38/746.46 c #Conflicts: 754000 | #Constraints: 32258 744.38/746.46 c #Conflicts: 755000 | #Constraints: 33263 744.38/746.46 c #Conflicts: 756000 | #Constraints: 34268 744.38/746.46 c INPROCESSING 744.38/746.46 c GARBAGE COLLECT 744.38/746.46 c rational objective 3 768.20/770.37 c #Conflicts: 757000 | #Constraints: 17992 768.20/770.37 c #Conflicts: 758000 | #Constraints: 18997 768.20/770.37 c #Conflicts: 759000 | #Constraints: 20002 768.20/770.37 c #Conflicts: 760000 | #Constraints: 21007 768.20/770.37 c #Conflicts: 761000 | #Constraints: 22010 768.20/770.37 c #Conflicts: 762000 | #Constraints: 23017 768.20/770.37 c #Conflicts: 763000 | #Constraints: 24025 768.20/770.37 c #Conflicts: 764000 | #Constraints: 25034 768.20/770.37 c #Conflicts: 765000 | #Constraints: 26039 768.20/770.37 c #Conflicts: 766000 | #Constraints: 27045 768.20/770.37 c #Conflicts: 767000 | #Constraints: 28053 768.20/770.37 c #Conflicts: 768000 | #Constraints: 29058 768.20/770.37 c #Conflicts: 769000 | #Constraints: 30065 768.20/770.37 c #Conflicts: 770000 | #Constraints: 31069 768.20/770.37 c #Conflicts: 771000 | #Constraints: 32072 768.20/770.37 c #Conflicts: 772000 | #Constraints: 33076 768.20/770.37 c #Conflicts: 773000 | #Constraints: 34078 768.20/770.37 c #Conflicts: 774000 | #Constraints: 35088 768.20/770.37 c INPROCESSING 768.20/770.37 c GARBAGE COLLECT 768.20/770.37 c rational objective 3 799.21/801.40 c #Conflicts: 775000 | #Constraints: 18601 799.21/801.40 c #Conflicts: 776000 | #Constraints: 19609 799.21/801.40 c #Conflicts: 777000 | #Constraints: 20616 799.21/801.40 c #Conflicts: 778000 | #Constraints: 21623 799.21/801.40 c #Conflicts: 779000 | #Constraints: 22631 799.21/801.40 c #Conflicts: 780000 | #Constraints: 23633 799.21/801.40 c #Conflicts: 781000 | #Constraints: 24636 799.21/801.40 c #Conflicts: 782000 | #Constraints: 25640 799.21/801.40 c #Conflicts: 783000 | #Constraints: 26646 799.21/801.40 c #Conflicts: 784000 | #Constraints: 27651 799.21/801.40 c #Conflicts: 785000 | #Constraints: 28655 799.21/801.40 c #Conflicts: 786000 | #Constraints: 29661 799.21/801.40 c #Conflicts: 787000 | #Constraints: 30664 799.21/801.40 c #Conflicts: 788000 | #Constraints: 31665 799.21/801.40 c #Conflicts: 789000 | #Constraints: 32669 799.21/801.40 c #Conflicts: 790000 | #Constraints: 33672 799.21/801.40 c #Conflicts: 791000 | #Constraints: 34674 799.21/801.40 c #Conflicts: 792000 | #Constraints: 35688 799.21/801.40 c INPROCESSING 799.21/801.40 c GARBAGE COLLECT 799.21/801.40 c rational objective 3 825.14/827.40 c #Conflicts: 793000 | #Constraints: 19003 825.14/827.40 c #Conflicts: 794000 | #Constraints: 20007 825.14/827.40 c #Conflicts: 795000 | #Constraints: 21012 825.14/827.40 c #Conflicts: 796000 | #Constraints: 22018 825.14/827.40 c #Conflicts: 797000 | #Constraints: 23023 825.14/827.40 c #Conflicts: 798000 | #Constraints: 24029 825.14/827.40 c #Conflicts: 799000 | #Constraints: 25031 825.14/827.40 c #Conflicts: 800000 | #Constraints: 26043 825.14/827.40 c #Conflicts: 801000 | #Constraints: 27049 825.14/827.40 c #Conflicts: 802000 | #Constraints: 28054 825.14/827.40 c #Conflicts: 803000 | #Constraints: 29060 825.14/827.40 c #Conflicts: 804000 | #Constraints: 30065 825.14/827.40 c #Conflicts: 805000 | #Constraints: 31070 825.14/827.40 c #Conflicts: 806000 | #Constraints: 32074 825.14/827.40 c #Conflicts: 807000 | #Constraints: 33081 825.14/827.40 c #Conflicts: 808000 | #Constraints: 34085 825.14/827.40 c #Conflicts: 809000 | #Constraints: 35088 825.14/827.40 c #Conflicts: 810000 | #Constraints: 36089 825.14/827.40 c INPROCESSING 825.14/827.40 c GARBAGE COLLECT 825.14/827.40 c rational objective 3 847.88/850.24 c #Conflicts: 811000 | #Constraints: 19202 847.88/850.24 c #Conflicts: 812000 | #Constraints: 20205 847.88/850.24 c #Conflicts: 813000 | #Constraints: 21209 847.88/850.24 c #Conflicts: 814000 | #Constraints: 22214 847.88/850.24 c #Conflicts: 815000 | #Constraints: 23217 847.88/850.24 c #Conflicts: 816000 | #Constraints: 24220 847.88/850.24 c #Conflicts: 817000 | #Constraints: 25224 847.88/850.24 c #Conflicts: 818000 | #Constraints: 26227 847.88/850.24 c #Conflicts: 819000 | #Constraints: 27232 847.88/850.24 c #Conflicts: 820000 | #Constraints: 28236 847.88/850.24 c #Conflicts: 821000 | #Constraints: 29244 847.88/850.24 c #Conflicts: 822000 | #Constraints: 30252 847.88/850.24 c #Conflicts: 823000 | #Constraints: 31260 847.88/850.24 c #Conflicts: 824000 | #Constraints: 32262 847.88/850.24 c #Conflicts: 825000 | #Constraints: 33264 847.88/850.24 c #Conflicts: 826000 | #Constraints: 34265 847.88/850.24 c #Conflicts: 827000 | #Constraints: 35268 847.88/850.24 c #Conflicts: 828000 | #Constraints: 36271 847.88/850.24 c INPROCESSING 847.88/850.24 c GARBAGE COLLECT 847.88/850.24 c rational objective 3 876.31/878.77 c #Conflicts: 829000 | #Constraints: 19199 876.31/878.77 c #Conflicts: 830000 | #Constraints: 20205 876.31/878.77 c #Conflicts: 831000 | #Constraints: 21212 876.31/878.77 c #Conflicts: 832000 | #Constraints: 22218 876.31/878.77 c #Conflicts: 833000 | #Constraints: 23224 876.31/878.77 c #Conflicts: 834000 | #Constraints: 24230 876.31/878.77 c #Conflicts: 835000 | #Constraints: 25236 876.31/878.77 c #Conflicts: 836000 | #Constraints: 26240 876.31/878.77 c #Conflicts: 837000 | #Constraints: 27244 876.31/878.77 c #Conflicts: 838000 | #Constraints: 28250 876.31/878.77 c #Conflicts: 839000 | #Constraints: 29255 876.31/878.77 c #Conflicts: 840000 | #Constraints: 30260 876.31/878.77 c #Conflicts: 841000 | #Constraints: 31264 876.31/878.77 c #Conflicts: 842000 | #Constraints: 32268 876.31/878.77 c #Conflicts: 843000 | #Constraints: 33269 876.31/878.77 c #Conflicts: 844000 | #Constraints: 34273 876.31/878.77 c #Conflicts: 845000 | #Constraints: 35277 876.31/878.77 c #Conflicts: 846000 | #Constraints: 36282 876.31/878.77 c INPROCESSING 876.31/878.77 c GARBAGE COLLECT 876.31/878.77 c rational objective 3 901.55/904.00 c #Conflicts: 847000 | #Constraints: 18983 901.55/904.00 c #Conflicts: 848000 | #Constraints: 19990 901.55/904.00 c #Conflicts: 849000 | #Constraints: 20994 901.55/904.00 c #Conflicts: 850000 | #Constraints: 21998 901.55/904.00 c #Conflicts: 851000 | #Constraints: 23005 901.55/904.00 c #Conflicts: 852000 | #Constraints: 24013 901.55/904.00 c #Conflicts: 853000 | #Constraints: 25021 901.55/904.00 c #Conflicts: 854000 | #Constraints: 26023 901.55/904.00 c #Conflicts: 855000 | #Constraints: 27031 901.55/904.00 c #Conflicts: 856000 | #Constraints: 28043 901.55/904.00 c #Conflicts: 857000 | #Constraints: 29046 901.55/904.00 c #Conflicts: 858000 | #Constraints: 30054 901.55/904.00 c #Conflicts: 859000 | #Constraints: 31061 901.55/904.00 c #Conflicts: 860000 | #Constraints: 32070 901.55/904.00 c #Conflicts: 861000 | #Constraints: 33079 901.55/904.00 c #Conflicts: 862000 | #Constraints: 34093 901.55/904.00 c #Conflicts: 863000 | #Constraints: 35107 901.55/904.00 c #Conflicts: 864000 | #Constraints: 36131 901.55/904.00 c #Conflicts: 865000 | #Constraints: 37138 901.55/904.00 c INPROCESSING 901.55/904.00 c GARBAGE COLLECT 901.55/904.00 c rational objective 3 927.98/930.51 c #Conflicts: 866000 | #Constraints: 19623 927.98/930.51 c #Conflicts: 867000 | #Constraints: 20629 927.98/930.51 c #Conflicts: 868000 | #Constraints: 21638 927.98/930.51 c #Conflicts: 869000 | #Constraints: 22645 927.98/930.51 c #Conflicts: 870000 | #Constraints: 23649 927.98/930.51 c #Conflicts: 871000 | #Constraints: 24656 927.98/930.51 c #Conflicts: 872000 | #Constraints: 25663 927.98/930.51 c #Conflicts: 873000 | #Constraints: 26672 927.98/930.51 c #Conflicts: 874000 | #Constraints: 27677 927.98/930.51 c #Conflicts: 875000 | #Constraints: 28686 927.98/930.51 c #Conflicts: 876000 | #Constraints: 29693 927.98/930.51 c #Conflicts: 877000 | #Constraints: 30697 927.98/930.51 c #Conflicts: 878000 | #Constraints: 31708 927.98/930.51 c #Conflicts: 879000 | #Constraints: 32713 927.98/930.51 c #Conflicts: 880000 | #Constraints: 33718 927.98/930.51 c #Conflicts: 881000 | #Constraints: 34723 927.98/930.51 c #Conflicts: 882000 | #Constraints: 35726 927.98/930.51 c #Conflicts: 883000 | #Constraints: 36729 927.98/930.51 c #Conflicts: 884000 | #Constraints: 37733 927.98/930.51 c INPROCESSING 927.98/930.51 c GARBAGE COLLECT 927.98/930.51 c rational objective 3 958.00/960.60 c #Conflicts: 885000 | #Constraints: 20050 958.00/960.60 c #Conflicts: 886000 | #Constraints: 21052 958.00/960.60 c #Conflicts: 887000 | #Constraints: 22059 958.00/960.60 c #Conflicts: 888000 | #Constraints: 23064 958.00/960.60 c #Conflicts: 889000 | #Constraints: 24069 958.00/960.60 c #Conflicts: 890000 | #Constraints: 25072 958.00/960.60 c #Conflicts: 891000 | #Constraints: 26076 958.00/960.60 c #Conflicts: 892000 | #Constraints: 27082 958.00/960.60 c #Conflicts: 893000 | #Constraints: 28086 958.00/960.60 c #Conflicts: 894000 | #Constraints: 29094 958.00/960.60 c #Conflicts: 895000 | #Constraints: 30103 958.00/960.60 c #Conflicts: 896000 | #Constraints: 31107 958.00/960.60 c #Conflicts: 897000 | #Constraints: 32113 958.00/960.60 c #Conflicts: 898000 | #Constraints: 33121 958.00/960.60 c #Conflicts: 899000 | #Constraints: 34129 958.00/960.60 c #Conflicts: 900000 | #Constraints: 35139 958.00/960.60 c #Conflicts: 901000 | #Constraints: 36143 958.00/960.60 c #Conflicts: 902000 | #Constraints: 37150 958.00/960.60 c #Conflicts: 903000 | #Constraints: 38154 958.00/960.60 c INPROCESSING 958.00/960.60 c GARBAGE COLLECT 958.00/960.60 c rational objective 3 985.83/988.51 c #Conflicts: 904000 | #Constraints: 20274 985.83/988.51 c #Conflicts: 905000 | #Constraints: 21289 985.83/988.51 c #Conflicts: 906000 | #Constraints: 22292 985.83/988.51 c #Conflicts: 907000 | #Constraints: 23295 985.83/988.51 c #Conflicts: 908000 | #Constraints: 24304 985.83/988.51 c #Conflicts: 909000 | #Constraints: 25308 985.83/988.51 c #Conflicts: 910000 | #Constraints: 26316 985.83/988.51 c #Conflicts: 911000 | #Constraints: 27321 985.83/988.51 c #Conflicts: 912000 | #Constraints: 28327 985.83/988.51 c #Conflicts: 913000 | #Constraints: 29333 985.83/988.51 c #Conflicts: 914000 | #Constraints: 30339 985.83/988.51 c #Conflicts: 915000 | #Constraints: 31342 985.83/988.51 c #Conflicts: 916000 | #Constraints: 32345 985.83/988.51 c #Conflicts: 917000 | #Constraints: 33348 985.83/988.51 c #Conflicts: 918000 | #Constraints: 34351 985.83/988.51 c #Conflicts: 919000 | #Constraints: 35354 985.83/988.51 c #Conflicts: 920000 | #Constraints: 36358 985.83/988.51 c #Conflicts: 921000 | #Constraints: 37362 985.83/988.51 c #Conflicts: 922000 | #Constraints: 38367 985.83/988.51 c INPROCESSING 985.83/988.51 c GARBAGE COLLECT 985.83/988.51 c rational objective 3 1023.44/1026.26 c #Conflicts: 923000 | #Constraints: 20240 1023.44/1026.26 c #Conflicts: 924000 | #Constraints: 21246 1023.44/1026.26 c #Conflicts: 925000 | #Constraints: 22253 1023.44/1026.26 c #Conflicts: 926000 | #Constraints: 23256 1023.44/1026.26 c #Conflicts: 927000 | #Constraints: 24260 1023.44/1026.26 c #Conflicts: 928000 | #Constraints: 25262 1023.44/1026.26 c #Conflicts: 929000 | #Constraints: 26267 1023.44/1026.26 c #Conflicts: 930000 | #Constraints: 27269 1023.44/1026.26 c #Conflicts: 931000 | #Constraints: 28276 1023.44/1026.26 c #Conflicts: 932000 | #Constraints: 29281 1023.44/1026.26 c #Conflicts: 933000 | #Constraints: 30287 1023.44/1026.26 c #Conflicts: 934000 | #Constraints: 31294 1023.44/1026.26 c #Conflicts: 935000 | #Constraints: 32296 1023.44/1026.26 c #Conflicts: 936000 | #Constraints: 33300 1023.44/1026.26 c #Conflicts: 937000 | #Constraints: 34303 1023.44/1026.26 c #Conflicts: 938000 | #Constraints: 35306 1023.44/1026.26 c #Conflicts: 939000 | #Constraints: 36309 1023.44/1026.26 c #Conflicts: 940000 | #Constraints: 37311 1023.44/1026.26 c #Conflicts: 941000 | #Constraints: 38314 1023.44/1026.26 c INPROCESSING 1023.44/1026.26 c GARBAGE COLLECT 1023.44/1026.26 c rational objective 3 1072.92/1075.83 c #Conflicts: 942000 | #Constraints: 20011 1072.92/1075.83 c #Conflicts: 943000 | #Constraints: 21021 1072.92/1075.83 c #Conflicts: 944000 | #Constraints: 22030 1072.92/1075.83 c #Conflicts: 945000 | #Constraints: 23041 1072.92/1075.83 c #Conflicts: 946000 | #Constraints: 24047 1072.92/1075.83 c #Conflicts: 947000 | #Constraints: 25056 1072.92/1075.83 c #Conflicts: 948000 | #Constraints: 26060 1072.92/1075.83 c #Conflicts: 949000 | #Constraints: 27064 1072.92/1075.83 c #Conflicts: 950000 | #Constraints: 28065 1072.92/1075.83 c #Conflicts: 951000 | #Constraints: 29073 1072.92/1075.83 c #Conflicts: 952000 | #Constraints: 30077 1072.92/1075.83 c #Conflicts: 953000 | #Constraints: 31078 1072.92/1075.83 c #Conflicts: 954000 | #Constraints: 32079 1072.92/1075.83 c #Conflicts: 955000 | #Constraints: 33081 1072.92/1075.83 c #Conflicts: 956000 | #Constraints: 34085 1072.92/1075.83 c #Conflicts: 957000 | #Constraints: 35087 1072.92/1075.83 c #Conflicts: 958000 | #Constraints: 36089 1072.92/1075.83 c #Conflicts: 959000 | #Constraints: 37090 1072.92/1075.83 c #Conflicts: 960000 | #Constraints: 38091 1072.92/1075.83 c #Conflicts: 961000 | #Constraints: 39094 1072.92/1075.83 c INPROCESSING 1072.92/1075.83 c GARBAGE COLLECT 1072.92/1075.83 c rational objective 3 1111.82/1114.88 c #Conflicts: 962000 | #Constraints: 20602 1111.82/1114.88 c #Conflicts: 963000 | #Constraints: 21609 1111.82/1114.88 c #Conflicts: 964000 | #Constraints: 22610 1111.82/1114.88 c #Conflicts: 965000 | #Constraints: 23615 1111.82/1114.88 c #Conflicts: 966000 | #Constraints: 24618 1111.82/1114.88 c #Conflicts: 967000 | #Constraints: 25625 1111.82/1114.88 c #Conflicts: 968000 | #Constraints: 26631 1111.82/1114.88 c #Conflicts: 969000 | #Constraints: 27636 1111.82/1114.88 c #Conflicts: 970000 | #Constraints: 28639 1111.82/1114.88 c #Conflicts: 971000 | #Constraints: 29646 1111.82/1114.88 c #Conflicts: 972000 | #Constraints: 30650 1111.82/1114.88 c #Conflicts: 973000 | #Constraints: 31654 1111.82/1114.88 c #Conflicts: 974000 | #Constraints: 32659 1111.82/1114.88 c #Conflicts: 975000 | #Constraints: 33666 1111.82/1114.88 c #Conflicts: 976000 | #Constraints: 34673 1111.82/1114.88 c #Conflicts: 977000 | #Constraints: 35675 1111.82/1114.88 c #Conflicts: 978000 | #Constraints: 36679 1111.82/1114.88 c #Conflicts: 979000 | #Constraints: 37681 1111.82/1114.88 c #Conflicts: 980000 | #Constraints: 38682 1111.82/1114.88 c #Conflicts: 981000 | #Constraints: 39687 1111.82/1114.88 c INPROCESSING 1111.82/1114.88 c GARBAGE COLLECT 1111.82/1114.88 c rational objective 3 1166.89/1170.09 c #Conflicts: 982000 | #Constraints: 21023 1166.89/1170.09 c #Conflicts: 983000 | #Constraints: 22025 1166.89/1170.09 c #Conflicts: 984000 | #Constraints: 23027 1166.89/1170.09 c #Conflicts: 985000 | #Constraints: 24027 1166.89/1170.09 c #Conflicts: 986000 | #Constraints: 25032 1166.89/1170.09 c #Conflicts: 987000 | #Constraints: 26037 1166.89/1170.09 c #Conflicts: 988000 | #Constraints: 27041 1166.89/1170.09 c #Conflicts: 989000 | #Constraints: 28044 1166.89/1170.09 c #Conflicts: 990000 | #Constraints: 29051 1166.89/1170.09 c #Conflicts: 991000 | #Constraints: 30057 1166.89/1170.09 c #Conflicts: 992000 | #Constraints: 31066 1166.89/1170.09 c #Conflicts: 993000 | #Constraints: 32069 1166.89/1170.09 c #Conflicts: 994000 | #Constraints: 33079 1166.89/1170.09 c #Conflicts: 995000 | #Constraints: 34085 1166.89/1170.09 c #Conflicts: 996000 | #Constraints: 35088 1166.89/1170.09 c #Conflicts: 997000 | #Constraints: 36090 1166.89/1170.09 c #Conflicts: 998000 | #Constraints: 37095 1166.89/1170.09 c #Conflicts: 999000 | #Constraints: 38101 1166.89/1170.09 c #Conflicts: 1000000 | #Constraints: 39105 1166.89/1170.09 c #Conflicts: 1001000 | #Constraints: 40112 1166.89/1170.09 c INPROCESSING 1166.89/1170.09 c GARBAGE COLLECT 1166.89/1170.09 c rational objective 3 1236.61/1239.97 c #Conflicts: 1002000 | #Constraints: 21211 1236.61/1239.97 c #Conflicts: 1003000 | #Constraints: 22221 1236.61/1239.97 c #Conflicts: 1004000 | #Constraints: 23228 1236.61/1239.97 c #Conflicts: 1005000 | #Constraints: 24236 1236.61/1239.97 c #Conflicts: 1006000 | #Constraints: 25243 1236.61/1239.97 c #Conflicts: 1007000 | #Constraints: 26253 1236.61/1239.97 c #Conflicts: 1008000 | #Constraints: 27260 1236.61/1239.97 c #Conflicts: 1009000 | #Constraints: 28266 1236.61/1239.97 c #Conflicts: 1010000 | #Constraints: 29271 1236.61/1239.97 c #Conflicts: 1011000 | #Constraints: 30277 1236.61/1239.97 c #Conflicts: 1012000 | #Constraints: 31282 1236.61/1239.97 c #Conflicts: 1013000 | #Constraints: 32292 1236.61/1239.97 c #Conflicts: 1014000 | #Constraints: 33298 1236.61/1239.97 c #Conflicts: 1015000 | #Constraints: 34305 1236.61/1239.97 c #Conflicts: 1016000 | #Constraints: 35308 1236.61/1239.97 c #Conflicts: 1017000 | #Constraints: 36312 1236.61/1239.97 c #Conflicts: 1018000 | #Constraints: 37316 1236.61/1239.97 c #Conflicts: 1019000 | #Constraints: 38323 1236.61/1239.97 c #Conflicts: 1020000 | #Constraints: 39328 1236.61/1239.97 c #Conflicts: 1021000 | #Constraints: 40336 1236.61/1239.97 c INPROCESSING 1236.61/1239.97 c GARBAGE COLLECT 1236.61/1239.97 c rational objective 3 1283.19/1286.63 c #Conflicts: 1022000 | #Constraints: 21234 1283.19/1286.63 c #Conflicts: 1023000 | #Constraints: 22241 1283.19/1286.63 c #Conflicts: 1024000 | #Constraints: 23250 1283.19/1286.63 c #Conflicts: 1025000 | #Constraints: 24255 1283.19/1286.63 c #Conflicts: 1026000 | #Constraints: 25262 1283.19/1286.63 c #Conflicts: 1027000 | #Constraints: 26269 1283.19/1286.63 c #Conflicts: 1028000 | #Constraints: 27272 1283.19/1286.63 c #Conflicts: 1029000 | #Constraints: 28281 1283.19/1286.63 c #Conflicts: 1030000 | #Constraints: 29285 1283.19/1286.63 c #Conflicts: 1031000 | #Constraints: 30292 1283.19/1286.63 c #Conflicts: 1032000 | #Constraints: 31301 1283.19/1286.63 c #Conflicts: 1033000 | #Constraints: 32305 1283.19/1286.63 c #Conflicts: 1034000 | #Constraints: 33309 1283.19/1286.63 c #Conflicts: 1035000 | #Constraints: 34310 1283.19/1286.63 c #Conflicts: 1036000 | #Constraints: 35315 1283.19/1286.63 c #Conflicts: 1037000 | #Constraints: 36319 1283.19/1286.63 c #Conflicts: 1038000 | #Constraints: 37320 1283.19/1286.63 c #Conflicts: 1039000 | #Constraints: 38325 1283.19/1286.63 c #Conflicts: 1040000 | #Constraints: 39330 1283.19/1286.63 c #Conflicts: 1041000 | #Constraints: 40331 1283.19/1286.63 c INPROCESSING 1283.19/1286.63 c GARBAGE COLLECT 1283.19/1286.63 c rational objective 3 1318.09/1321.65 c #Conflicts: 1042000 | #Constraints: 21057 1318.09/1321.65 c #Conflicts: 1043000 | #Constraints: 22062 1318.09/1321.65 c #Conflicts: 1044000 | #Constraints: 23070 1318.09/1321.65 c #Conflicts: 1045000 | #Constraints: 24072 1318.09/1321.65 c #Conflicts: 1046000 | #Constraints: 25080 1318.09/1321.65 c #Conflicts: 1047000 | #Constraints: 26085 1318.09/1321.65 c #Conflicts: 1048000 | #Constraints: 27092 1318.09/1321.65 c #Conflicts: 1049000 | #Constraints: 28098 1318.09/1321.65 c #Conflicts: 1050000 | #Constraints: 29105 1318.09/1321.65 c #Conflicts: 1051000 | #Constraints: 30107 1318.09/1321.65 c #Conflicts: 1052000 | #Constraints: 31109 1318.09/1321.65 c #Conflicts: 1053000 | #Constraints: 32117 1318.09/1321.65 c #Conflicts: 1054000 | #Constraints: 33120 1318.09/1321.65 c #Conflicts: 1055000 | #Constraints: 34126 1318.09/1321.65 c #Conflicts: 1056000 | #Constraints: 35135 1318.09/1321.65 c #Conflicts: 1057000 | #Constraints: 36140 1318.09/1321.65 c #Conflicts: 1058000 | #Constraints: 37146 1318.09/1321.65 c #Conflicts: 1059000 | #Constraints: 38151 1318.09/1321.65 c #Conflicts: 1060000 | #Constraints: 39161 1318.09/1321.65 c #Conflicts: 1061000 | #Constraints: 40165 1318.09/1321.65 c #Conflicts: 1062000 | #Constraints: 41173 1318.09/1321.65 c INPROCESSING 1318.09/1321.65 c GARBAGE COLLECT 1318.09/1321.65 c rational objective 3 1368.66/1372.31 c #Conflicts: 1063000 | #Constraints: 21660 1368.66/1372.31 c #Conflicts: 1064000 | #Constraints: 22663 1368.66/1372.31 c #Conflicts: 1065000 | #Constraints: 23669 1368.66/1372.31 c #Conflicts: 1066000 | #Constraints: 24674 1368.66/1372.31 c #Conflicts: 1067000 | #Constraints: 25678 1368.66/1372.31 c #Conflicts: 1068000 | #Constraints: 26682 1368.66/1372.31 c #Conflicts: 1069000 | #Constraints: 27686 1368.66/1372.31 c #Conflicts: 1070000 | #Constraints: 28690 1368.66/1372.31 c #Conflicts: 1071000 | #Constraints: 29693 1368.66/1372.31 c #Conflicts: 1072000 | #Constraints: 30697 1368.66/1372.31 c #Conflicts: 1073000 | #Constraints: 31700 1368.66/1372.31 c #Conflicts: 1074000 | #Constraints: 32707 1368.66/1372.31 c #Conflicts: 1075000 | #Constraints: 33715 1368.66/1372.31 c #Conflicts: 1076000 | #Constraints: 34716 1368.66/1372.31 c #Conflicts: 1077000 | #Constraints: 35721 1368.66/1372.31 c #Conflicts: 1078000 | #Constraints: 36728 1368.66/1372.31 c #Conflicts: 1079000 | #Constraints: 37731 1368.66/1372.31 c #Conflicts: 1080000 | #Constraints: 38734 1368.66/1372.31 c #Conflicts: 1081000 | #Constraints: 39738 1368.66/1372.31 c #Conflicts: 1082000 | #Constraints: 40743 1368.66/1372.31 c #Conflicts: 1083000 | #Constraints: 41750 1368.66/1372.31 c INPROCESSING 1368.66/1372.31 c GARBAGE COLLECT 1368.66/1372.31 c rational objective 3 1417.13/1420.98 c #Conflicts: 1084000 | #Constraints: 22048 1417.13/1420.98 c #Conflicts: 1085000 | #Constraints: 23053 1417.13/1420.98 c #Conflicts: 1086000 | #Constraints: 24058 1417.13/1420.98 c #Conflicts: 1087000 | #Constraints: 25064 1417.13/1420.98 c #Conflicts: 1088000 | #Constraints: 26069 1417.13/1420.98 c #Conflicts: 1089000 | #Constraints: 27072 1417.13/1420.98 c #Conflicts: 1090000 | #Constraints: 28080 1417.13/1420.98 c #Conflicts: 1091000 | #Constraints: 29082 1417.13/1420.98 c #Conflicts: 1092000 | #Constraints: 30087 1417.13/1420.98 c #Conflicts: 1093000 | #Constraints: 31093 1417.13/1420.98 c #Conflicts: 1094000 | #Constraints: 32097 1417.13/1420.98 c #Conflicts: 1095000 | #Constraints: 33102 1417.13/1420.98 c #Conflicts: 1096000 | #Constraints: 34109 1417.13/1420.98 c #Conflicts: 1097000 | #Constraints: 35111 1417.13/1420.98 c #Conflicts: 1098000 | #Constraints: 36114 1417.13/1420.98 c #Conflicts: 1099000 | #Constraints: 37125 1417.13/1420.98 c #Conflicts: 1100000 | #Constraints: 38129 1417.13/1420.98 c #Conflicts: 1101000 | #Constraints: 39132 1417.13/1420.98 c #Conflicts: 1102000 | #Constraints: 40134 1417.13/1420.98 c #Conflicts: 1103000 | #Constraints: 41135 1417.13/1420.98 c #Conflicts: 1104000 | #Constraints: 42138 1417.13/1420.98 c INPROCESSING 1417.13/1420.98 c GARBAGE COLLECT 1417.13/1420.98 c rational objective 3 1455.93/1459.80 c #Conflicts: 1105000 | #Constraints: 22222 1455.93/1459.80 c #Conflicts: 1106000 | #Constraints: 23223 1455.93/1459.80 c #Conflicts: 1107000 | #Constraints: 24226 1455.93/1459.80 c #Conflicts: 1108000 | #Constraints: 25232 1455.93/1459.80 c #Conflicts: 1109000 | #Constraints: 26237 1455.93/1459.80 c #Conflicts: 1110000 | #Constraints: 27241 1455.93/1459.80 c #Conflicts: 1111000 | #Constraints: 28245 1455.93/1459.80 c #Conflicts: 1112000 | #Constraints: 29250 1455.93/1459.80 c #Conflicts: 1113000 | #Constraints: 30255 1455.93/1459.80 c #Conflicts: 1114000 | #Constraints: 31260 1455.93/1459.80 c #Conflicts: 1115000 | #Constraints: 32262 1455.93/1459.80 c #Conflicts: 1116000 | #Constraints: 33266 1455.93/1459.80 c #Conflicts: 1117000 | #Constraints: 34271 1455.93/1459.80 c #Conflicts: 1118000 | #Constraints: 35273 1455.93/1459.80 c #Conflicts: 1119000 | #Constraints: 36276 1455.93/1459.80 c #Conflicts: 1120000 | #Constraints: 37277 1455.93/1459.80 c #Conflicts: 1121000 | #Constraints: 38279 1455.93/1459.80 c #Conflicts: 1122000 | #Constraints: 39281 1455.93/1459.80 c #Conflicts: 1123000 | #Constraints: 40285 1455.93/1459.80 c #Conflicts: 1124000 | #Constraints: 41288 1455.93/1459.80 c #Conflicts: 1125000 | #Constraints: 42290 1455.93/1459.80 c INPROCESSING 1455.93/1459.80 c GARBAGE COLLECT 1455.93/1459.80 c rational objective 3 1488.76/1492.74 c #Conflicts: 1126000 | #Constraints: 22220 1488.76/1492.74 c #Conflicts: 1127000 | #Constraints: 23223 1488.76/1492.74 c #Conflicts: 1128000 | #Constraints: 24229 1488.76/1492.74 c #Conflicts: 1129000 | #Constraints: 25234 1488.76/1492.74 c #Conflicts: 1130000 | #Constraints: 26242 1488.76/1492.74 c #Conflicts: 1131000 | #Constraints: 27248 1488.76/1492.74 c #Conflicts: 1132000 | #Constraints: 28256 1488.76/1492.74 c #Conflicts: 1133000 | #Constraints: 29259 1488.76/1492.74 c #Conflicts: 1134000 | #Constraints: 30265 1488.76/1492.74 c #Conflicts: 1135000 | #Constraints: 31270 1488.76/1492.74 c #Conflicts: 1136000 | #Constraints: 32279 1488.76/1492.74 c #Conflicts: 1137000 | #Constraints: 33285 1488.76/1492.74 c #Conflicts: 1138000 | #Constraints: 34289 1488.76/1492.74 c #Conflicts: 1139000 | #Constraints: 35296 1488.76/1492.74 c #Conflicts: 1140000 | #Constraints: 36298 1488.76/1492.74 c #Conflicts: 1141000 | #Constraints: 37309 1488.76/1492.74 c #Conflicts: 1142000 | #Constraints: 38317 1488.76/1492.74 c #Conflicts: 1143000 | #Constraints: 39326 1488.76/1492.74 c #Conflicts: 1144000 | #Constraints: 40331 1488.76/1492.74 c #Conflicts: 1145000 | #Constraints: 41336 1488.76/1492.74 c #Conflicts: 1146000 | #Constraints: 42346 1488.76/1492.74 c INPROCESSING 1488.76/1492.74 c GARBAGE COLLECT 1488.76/1492.74 c rational objective 3 1522.79/1526.86 c #Conflicts: 1147000 | #Constraints: 22034 1522.79/1526.86 c #Conflicts: 1148000 | #Constraints: 23039 1522.79/1526.86 c #Conflicts: 1149000 | #Constraints: 24041 1522.79/1526.86 c #Conflicts: 1150000 | #Constraints: 25050 1522.79/1526.86 c #Conflicts: 1151000 | #Constraints: 26057 1522.79/1526.86 c #Conflicts: 1152000 | #Constraints: 27063 1522.79/1526.86 c #Conflicts: 1153000 | #Constraints: 28075 1522.79/1526.86 c #Conflicts: 1154000 | #Constraints: 29083 1522.79/1526.86 c #Conflicts: 1155000 | #Constraints: 30085 1522.79/1526.86 c #Conflicts: 1156000 | #Constraints: 31090 1522.79/1526.86 c #Conflicts: 1157000 | #Constraints: 32094 1522.79/1526.86 c #Conflicts: 1158000 | #Constraints: 33098 1522.79/1526.86 c #Conflicts: 1159000 | #Constraints: 34104 1522.79/1526.86 c #Conflicts: 1160000 | #Constraints: 35114 1522.79/1526.86 c #Conflicts: 1161000 | #Constraints: 36121 1522.79/1526.86 c #Conflicts: 1162000 | #Constraints: 37126 1522.79/1526.86 c #Conflicts: 1163000 | #Constraints: 38129 1522.79/1526.86 c #Conflicts: 1164000 | #Constraints: 39134 1522.79/1526.86 c #Conflicts: 1165000 | #Constraints: 40137 1522.79/1526.86 c #Conflicts: 1166000 | #Constraints: 41141 1522.79/1526.86 c #Conflicts: 1167000 | #Constraints: 42143 1522.79/1526.86 c #Conflicts: 1168000 | #Constraints: 43147 1522.79/1526.86 c INPROCESSING 1522.79/1526.86 c GARBAGE COLLECT 1522.79/1526.86 c rational objective 3 1549.82/1553.97 c #Conflicts: 1169000 | #Constraints: 22637 1549.82/1553.97 c #Conflicts: 1170000 | #Constraints: 23640 1549.82/1553.97 c #Conflicts: 1171000 | #Constraints: 24647 1549.82/1553.97 c #Conflicts: 1172000 | #Constraints: 25649 1549.82/1553.97 c #Conflicts: 1173000 | #Constraints: 26658 1549.82/1553.97 c #Conflicts: 1174000 | #Constraints: 27666 1549.82/1553.97 c #Conflicts: 1175000 | #Constraints: 28671 1549.82/1553.97 c #Conflicts: 1176000 | #Constraints: 29675 1549.82/1553.97 c #Conflicts: 1177000 | #Constraints: 30681 1549.82/1553.97 c #Conflicts: 1178000 | #Constraints: 31689 1549.82/1553.97 c #Conflicts: 1179000 | #Constraints: 32692 1549.82/1553.97 c #Conflicts: 1180000 | #Constraints: 33700 1549.82/1553.97 c #Conflicts: 1181000 | #Constraints: 34702 1549.82/1553.97 c #Conflicts: 1182000 | #Constraints: 35707 1549.82/1553.97 c #Conflicts: 1183000 | #Constraints: 36711 1549.82/1553.97 c #Conflicts: 1184000 | #Constraints: 37714 1549.82/1553.97 c #Conflicts: 1185000 | #Constraints: 38718 1549.82/1553.97 c #Conflicts: 1186000 | #Constraints: 39727 1549.82/1553.97 c #Conflicts: 1187000 | #Constraints: 40732 1549.82/1553.97 c #Conflicts: 1188000 | #Constraints: 41743 1549.82/1553.97 c #Conflicts: 1189000 | #Constraints: 42750 1549.82/1553.97 c #Conflicts: 1190000 | #Constraints: 43759 1549.82/1553.97 c INPROCESSING 1549.82/1553.97 c GARBAGE COLLECT 1549.82/1553.97 c rational objective 3 1582.34/1586.53 c #Conflicts: 1191000 | #Constraints: 23060 1582.34/1586.53 c #Conflicts: 1192000 | #Constraints: 24068 1582.34/1586.53 c #Conflicts: 1193000 | #Constraints: 25072 1582.34/1586.53 c #Conflicts: 1194000 | #Constraints: 26076 1582.34/1586.53 c #Conflicts: 1195000 | #Constraints: 27082 1582.34/1586.53 c #Conflicts: 1196000 | #Constraints: 28086 1582.34/1586.53 c #Conflicts: 1197000 | #Constraints: 29090 1582.34/1586.53 c #Conflicts: 1198000 | #Constraints: 30097 1582.34/1586.53 c #Conflicts: 1199000 | #Constraints: 31106 1582.34/1586.53 c #Conflicts: 1200000 | #Constraints: 32112 1582.34/1586.53 c #Conflicts: 1201000 | #Constraints: 33120 1582.34/1586.53 c #Conflicts: 1202000 | #Constraints: 34123 1582.34/1586.53 c #Conflicts: 1203000 | #Constraints: 35127 1582.34/1586.53 c #Conflicts: 1204000 | #Constraints: 36132 1582.34/1586.53 c #Conflicts: 1205000 | #Constraints: 37139 1582.34/1586.53 c #Conflicts: 1206000 | #Constraints: 38148 1582.34/1586.53 c #Conflicts: 1207000 | #Constraints: 39153 1582.34/1586.53 c #Conflicts: 1208000 | #Constraints: 40156 1582.34/1586.53 c #Conflicts: 1209000 | #Constraints: 41161 1582.34/1586.53 c #Conflicts: 1210000 | #Constraints: 42166 1582.34/1586.53 c #Conflicts: 1211000 | #Constraints: 43170 1582.34/1586.53 c #Conflicts: 1212000 | #Constraints: 44175 1582.34/1586.53 c INPROCESSING 1582.34/1586.53 c GARBAGE COLLECT 1582.34/1586.53 c rational objective 3 1608.58/1612.84 c #Conflicts: 1213000 | #Constraints: 23251 1608.58/1612.84 c #Conflicts: 1214000 | #Constraints: 24253 1608.58/1612.84 c #Conflicts: 1215000 | #Constraints: 25257 1608.58/1612.84 c #Conflicts: 1216000 | #Constraints: 26263 1608.58/1612.84 c #Conflicts: 1217000 | #Constraints: 27269 1608.58/1612.84 c #Conflicts: 1218000 | #Constraints: 28277 1608.58/1612.84 c #Conflicts: 1219000 | #Constraints: 29286 1608.58/1612.84 c #Conflicts: 1220000 | #Constraints: 30303 1608.58/1612.84 c #Conflicts: 1221000 | #Constraints: 31314 1608.58/1612.84 c #Conflicts: 1222000 | #Constraints: 32321 1608.58/1612.84 c #Conflicts: 1223000 | #Constraints: 33324 1608.58/1612.84 c #Conflicts: 1224000 | #Constraints: 34331 1608.58/1612.84 c #Conflicts: 1225000 | #Constraints: 35340 1608.58/1612.84 c #Conflicts: 1226000 | #Constraints: 36355 1608.58/1612.84 c #Conflicts: 1227000 | #Constraints: 37361 1608.58/1612.84 c #Conflicts: 1228000 | #Constraints: 38364 1608.58/1612.84 c #Conflicts: 1229000 | #Constraints: 39368 1608.58/1612.84 c #Conflicts: 1230000 | #Constraints: 40378 1608.58/1612.84 c #Conflicts: 1231000 | #Constraints: 41384 1608.58/1612.84 c #Conflicts: 1232000 | #Constraints: 42385 1608.58/1612.84 c #Conflicts: 1233000 | #Constraints: 43387 1608.58/1612.84 c #Conflicts: 1234000 | #Constraints: 44393 1608.58/1612.84 c INPROCESSING 1608.58/1612.84 c GARBAGE COLLECT 1608.58/1612.84 c rational objective 3 1641.61/1645.97 c #Conflicts: 1235000 | #Constraints: 23242 1641.61/1645.97 c #Conflicts: 1236000 | #Constraints: 24247 1641.61/1645.97 c #Conflicts: 1237000 | #Constraints: 25251 1641.61/1645.97 c #Conflicts: 1238000 | #Constraints: 26259 1641.61/1645.97 c #Conflicts: 1239000 | #Constraints: 27267 1641.61/1645.97 c #Conflicts: 1240000 | #Constraints: 28274 1641.61/1645.97 c #Conflicts: 1241000 | #Constraints: 29281 1641.61/1645.97 c #Conflicts: 1242000 | #Constraints: 30286 1641.61/1645.97 c #Conflicts: 1243000 | #Constraints: 31291 1641.61/1645.97 c #Conflicts: 1244000 | #Constraints: 32295 1641.61/1645.97 c #Conflicts: 1245000 | #Constraints: 33301 1641.61/1645.97 c #Conflicts: 1246000 | #Constraints: 34306 1641.61/1645.97 c #Conflicts: 1247000 | #Constraints: 35317 1641.61/1645.97 c #Conflicts: 1248000 | #Constraints: 36327 1641.61/1645.97 c #Conflicts: 1249000 | #Constraints: 37335 1641.61/1645.97 c #Conflicts: 1250000 | #Constraints: 38341 1641.61/1645.97 c #Conflicts: 1251000 | #Constraints: 39347 1641.61/1645.97 c #Conflicts: 1252000 | #Constraints: 40352 1641.61/1645.97 c #Conflicts: 1253000 | #Constraints: 41359 1641.61/1645.97 c #Conflicts: 1254000 | #Constraints: 42366 1641.61/1645.97 c #Conflicts: 1255000 | #Constraints: 43368 1641.61/1645.97 c #Conflicts: 1256000 | #Constraints: 44369 1641.61/1645.97 c INPROCESSING 1641.61/1645.97 c GARBAGE COLLECT 1641.61/1645.97 c rational objective 3 1673.93/1678.32 c #Conflicts: 1257000 | #Constraints: 23062 1673.93/1678.32 c #Conflicts: 1258000 | #Constraints: 24068 1673.93/1678.32 c #Conflicts: 1259000 | #Constraints: 25073 1673.93/1678.32 c #Conflicts: 1260000 | #Constraints: 26079 1673.93/1678.32 c #Conflicts: 1261000 | #Constraints: 27087 1673.93/1678.32 c #Conflicts: 1262000 | #Constraints: 28096 1673.93/1678.32 c #Conflicts: 1263000 | #Constraints: 29101 1673.93/1678.32 c #Conflicts: 1264000 | #Constraints: 30106 1673.93/1678.32 c #Conflicts: 1265000 | #Constraints: 31110 1673.93/1678.32 c #Conflicts: 1266000 | #Constraints: 32115 1673.93/1678.32 c #Conflicts: 1267000 | #Constraints: 33122 1673.93/1678.32 c #Conflicts: 1268000 | #Constraints: 34124 1673.93/1678.32 c #Conflicts: 1269000 | #Constraints: 35128 1673.93/1678.32 c #Conflicts: 1270000 | #Constraints: 36129 1673.93/1678.32 c #Conflicts: 1271000 | #Constraints: 37134 1673.93/1678.32 c #Conflicts: 1272000 | #Constraints: 38134 1673.93/1678.32 c #Conflicts: 1273000 | #Constraints: 39136 1673.93/1678.32 c #Conflicts: 1274000 | #Constraints: 40138 1673.93/1678.32 c #Conflicts: 1275000 | #Constraints: 41141 1673.93/1678.32 c #Conflicts: 1276000 | #Constraints: 42145 1673.93/1678.32 c #Conflicts: 1277000 | #Constraints: 43150 1673.93/1678.32 c #Conflicts: 1278000 | #Constraints: 44153 1673.93/1678.32 c #Conflicts: 1279000 | #Constraints: 45163 1673.93/1678.32 c INPROCESSING 1673.93/1678.32 c GARBAGE COLLECT 1673.93/1678.32 c rational objective 3 1703.87/1708.31 c #Conflicts: 1280000 | #Constraints: 23635 1703.87/1708.31 c #Conflicts: 1281000 | #Constraints: 24641 1703.87/1708.31 c #Conflicts: 1282000 | #Constraints: 25646 1703.87/1708.31 c #Conflicts: 1283000 | #Constraints: 26654 1703.87/1708.31 c #Conflicts: 1284000 | #Constraints: 27658 1703.87/1708.31 c #Conflicts: 1285000 | #Constraints: 28662 1703.87/1708.31 c #Conflicts: 1286000 | #Constraints: 29665 1703.87/1708.31 c #Conflicts: 1287000 | #Constraints: 30670 1703.87/1708.31 c #Conflicts: 1288000 | #Constraints: 31674 1703.87/1708.31 c #Conflicts: 1289000 | #Constraints: 32676 1703.87/1708.31 c #Conflicts: 1290000 | #Constraints: 33680 1703.87/1708.31 c #Conflicts: 1291000 | #Constraints: 34683 1703.87/1708.31 c #Conflicts: 1292000 | #Constraints: 35690 1703.87/1708.31 c #Conflicts: 1293000 | #Constraints: 36693 1703.87/1708.31 c #Conflicts: 1294000 | #Constraints: 37698 1703.87/1708.31 c #Conflicts: 1295000 | #Constraints: 38701 1703.87/1708.31 c #Conflicts: 1296000 | #Constraints: 39704 1703.87/1708.31 c #Conflicts: 1297000 | #Constraints: 40710 1703.87/1708.31 c #Conflicts: 1298000 | #Constraints: 41713 1703.87/1708.31 c #Conflicts: 1299000 | #Constraints: 42719 1703.87/1708.31 c #Conflicts: 1300000 | #Constraints: 43725 1703.87/1708.31 c #Conflicts: 1301000 | #Constraints: 44733 1703.87/1708.31 c #Conflicts: 1302000 | #Constraints: 45740 1703.87/1708.31 c INPROCESSING 1703.87/1708.31 c GARBAGE COLLECT 1703.87/1708.31 c rational objective 3 1750.85/1755.46 c #Conflicts: 1303000 | #Constraints: 24051 1750.85/1755.46 c #Conflicts: 1304000 | #Constraints: 25057 1750.85/1755.46 c #Conflicts: 1305000 | #Constraints: 26059 1750.85/1755.46 c #Conflicts: 1306000 | #Constraints: 27065 1750.85/1755.46 c #Conflicts: 1307000 | #Constraints: 28069 1750.85/1755.46 c #Conflicts: 1308000 | #Constraints: 29072 1750.85/1755.46 c #Conflicts: 1309000 | #Constraints: 30075 1750.85/1755.46 c #Conflicts: 1310000 | #Constraints: 31078 1750.85/1755.46 c #Conflicts: 1311000 | #Constraints: 32083 1750.85/1755.46 c #Conflicts: 1312000 | #Constraints: 33086 1750.85/1755.46 c #Conflicts: 1313000 | #Constraints: 34091 1750.85/1755.46 c #Conflicts: 1314000 | #Constraints: 35097 1750.85/1755.46 c #Conflicts: 1315000 | #Constraints: 36103 1750.85/1755.46 c #Conflicts: 1316000 | #Constraints: 37108 1750.85/1755.46 c #Conflicts: 1317000 | #Constraints: 38114 1750.85/1755.46 c #Conflicts: 1318000 | #Constraints: 39116 1750.85/1755.46 c #Conflicts: 1319000 | #Constraints: 40119 1750.85/1755.46 c #Conflicts: 1320000 | #Constraints: 41122 1750.85/1755.46 c #Conflicts: 1321000 | #Constraints: 42126 1750.85/1755.46 c #Conflicts: 1322000 | #Constraints: 43131 1750.85/1755.46 c #Conflicts: 1323000 | #Constraints: 44134 1750.85/1755.46 c #Conflicts: 1324000 | #Constraints: 45135 1750.85/1755.46 c #Conflicts: 1325000 | #Constraints: 46135 1750.85/1755.46 c INPROCESSING 1750.85/1755.46 c GARBAGE COLLECT 1750.85/1755.46 c rational objective 3 1790.05/1794.78 c #Conflicts: 1326000 | #Constraints: 24269 1790.05/1794.78 c #Conflicts: 1327000 | #Constraints: 25273 1790.05/1794.78 c #Conflicts: 1328000 | #Constraints: 26277 1790.05/1794.78 c #Conflicts: 1329000 | #Constraints: 27281 1790.05/1794.78 c #Conflicts: 1330000 | #Constraints: 28287 1790.05/1794.78 c #Conflicts: 1331000 | #Constraints: 29294 1790.05/1794.78 c #Conflicts: 1332000 | #Constraints: 30298 1790.05/1794.78 c #Conflicts: 1333000 | #Constraints: 31301 1790.05/1794.78 c #Conflicts: 1334000 | #Constraints: 32304 1790.05/1794.78 c #Conflicts: 1335000 | #Constraints: 33310 1790.05/1794.78 c #Conflicts: 1336000 | #Constraints: 34312 1790.05/1794.78 c #Conflicts: 1337000 | #Constraints: 35316 1790.05/1794.78 c #Conflicts: 1338000 | #Constraints: 36324 1790.05/1794.78 c #Conflicts: 1339000 | #Constraints: 37328 1790.05/1794.78 c #Conflicts: 1340000 | #Constraints: 38332 1790.05/1794.78 c #Conflicts: 1341000 | #Constraints: 39334 1790.05/1794.78 c #Conflicts: 1342000 | #Constraints: 40338 1790.05/1794.78 c #Conflicts: 1343000 | #Constraints: 41340 1790.05/1794.78 c #Conflicts: 1344000 | #Constraints: 42343 1790.05/1794.78 c #Conflicts: 1345000 | #Constraints: 43348 1790.05/1794.78 c #Conflicts: 1346000 | #Constraints: 44352 1790.05/1794.78 c #Conflicts: 1347000 | #Constraints: 45356 1790.05/1794.78 c #Conflicts: 1348000 | #Constraints: 46361 1790.05/1794.78 c INPROCESSING 1790.05/1794.78 c GARBAGE COLLECT 1790.05/1794.78 c rational objective 3 1828.75/1833.56 c #Conflicts: 1349000 | #Constraints: 24229 1828.75/1833.56 c #Conflicts: 1350000 | #Constraints: 25232 1828.75/1833.56 c #Conflicts: 1351000 | #Constraints: 26238 1828.75/1833.56 c #Conflicts: 1352000 | #Constraints: 27243 1828.75/1833.56 c #Conflicts: 1353000 | #Constraints: 28247 1828.75/1833.56 c #Conflicts: 1354000 | #Constraints: 29252 1828.75/1833.56 c #Conflicts: 1355000 | #Constraints: 30263 1828.75/1833.56 c #Conflicts: 1356000 | #Constraints: 31271 1828.75/1833.56 c #Conflicts: 1357000 | #Constraints: 32276 1828.75/1833.56 c #Conflicts: 1358000 | #Constraints: 33280 1828.75/1833.56 c #Conflicts: 1359000 | #Constraints: 34282 1828.75/1833.56 c #Conflicts: 1360000 | #Constraints: 35288 1828.75/1833.56 c #Conflicts: 1361000 | #Constraints: 36293 1828.75/1833.56 c #Conflicts: 1362000 | #Constraints: 37297 1828.75/1833.56 c #Conflicts: 1363000 | #Constraints: 38302 1828.75/1833.56 c #Conflicts: 1364000 | #Constraints: 39305 1828.75/1833.56 c #Conflicts: 1365000 | #Constraints: 40314 1828.75/1833.56 c #Conflicts: 1366000 | #Constraints: 41318 1828.75/1833.56 c #Conflicts: 1367000 | #Constraints: 42322 1828.75/1833.56 c #Conflicts: 1368000 | #Constraints: 43327 1828.75/1833.56 c #Conflicts: 1369000 | #Constraints: 44332 1828.75/1833.56 c #Conflicts: 1370000 | #Constraints: 45333 1828.75/1833.56 c #Conflicts: 1371000 | #Constraints: 46335 1828.75/1833.56 c INPROCESSING 1828.75/1833.56 c GARBAGE COLLECT 1828.75/1833.56 c rational objective 3 1871.45/1876.39 c #Conflicts: 1372000 | #Constraints: 24033 1871.45/1876.39 c #Conflicts: 1373000 | #Constraints: 25038 1871.45/1876.39 c #Conflicts: 1374000 | #Constraints: 26041 1871.45/1876.39 c #Conflicts: 1375000 | #Constraints: 27043 1871.45/1876.39 c #Conflicts: 1376000 | #Constraints: 28048 1871.45/1876.39 c #Conflicts: 1377000 | #Constraints: 29053 1871.45/1876.39 c #Conflicts: 1378000 | #Constraints: 30061 1871.45/1876.39 c #Conflicts: 1379000 | #Constraints: 31069 1871.45/1876.39 c #Conflicts: 1380000 | #Constraints: 32073 1871.45/1876.39 c #Conflicts: 1381000 | #Constraints: 33079 1871.45/1876.39 c #Conflicts: 1382000 | #Constraints: 34083 1871.45/1876.39 c #Conflicts: 1383000 | #Constraints: 35089 1871.45/1876.39 c #Conflicts: 1384000 | #Constraints: 36092 1871.45/1876.39 c #Conflicts: 1385000 | #Constraints: 37094 1871.45/1876.39 c #Conflicts: 1386000 | #Constraints: 38100 1871.45/1876.39 c #Conflicts: 1387000 | #Constraints: 39101 1871.45/1876.39 c #Conflicts: 1388000 | #Constraints: 40111 1871.45/1876.39 c #Conflicts: 1389000 | #Constraints: 41116 1871.45/1876.39 c #Conflicts: 1390000 | #Constraints: 42123 1871.45/1876.39 c #Conflicts: 1391000 | #Constraints: 43123 1871.45/1876.39 c #Conflicts: 1392000 | #Constraints: 44126 1871.45/1876.39 c #Conflicts: 1393000 | #Constraints: 45128 1871.45/1876.39 c #Conflicts: 1394000 | #Constraints: 46137 1871.45/1876.39 c #Conflicts: 1395000 | #Constraints: 47141 1871.45/1876.39 c INPROCESSING 1871.45/1876.39 c GARBAGE COLLECT 1871.45/1876.39 c rational objective 3 1913.34/1918.30 c #Conflicts: 1396000 | #Constraints: 24630 1913.34/1918.30 c #Conflicts: 1397000 | #Constraints: 25638 1913.34/1918.30 c #Conflicts: 1398000 | #Constraints: 26643 1913.34/1918.30 c #Conflicts: 1399000 | #Constraints: 27649 1913.34/1918.30 c #Conflicts: 1400000 | #Constraints: 28655 1913.34/1918.30 c #Conflicts: 1401000 | #Constraints: 29663 1913.34/1918.30 c #Conflicts: 1402000 | #Constraints: 30665 1913.34/1918.30 c #Conflicts: 1403000 | #Constraints: 31670 1913.34/1918.30 c #Conflicts: 1404000 | #Constraints: 32679 1913.34/1918.30 c #Conflicts: 1405000 | #Constraints: 33688 1913.34/1918.30 c #Conflicts: 1406000 | #Constraints: 34695 1913.34/1918.30 c #Conflicts: 1407000 | #Constraints: 35700 1913.34/1918.30 c #Conflicts: 1408000 | #Constraints: 36705 1913.34/1918.30 c #Conflicts: 1409000 | #Constraints: 37709 1913.34/1918.30 c #Conflicts: 1410000 | #Constraints: 38711 1913.34/1918.30 c #Conflicts: 1411000 | #Constraints: 39715 1913.34/1918.30 c #Conflicts: 1412000 | #Constraints: 40722 1913.34/1918.30 c #Conflicts: 1413000 | #Constraints: 41729 1913.34/1918.30 c #Conflicts: 1414000 | #Constraints: 42738 1913.34/1918.30 c #Conflicts: 1415000 | #Constraints: 43742 1913.34/1918.30 c #Conflicts: 1416000 | #Constraints: 44746 1913.34/1918.30 c #Conflicts: 1417000 | #Constraints: 45749 1913.34/1918.30 c #Conflicts: 1418000 | #Constraints: 46754 1913.34/1918.30 c #Conflicts: 1419000 | #Constraints: 47757 1913.34/1918.30 c INPROCESSING 1913.34/1918.30 c GARBAGE COLLECT 1913.34/1918.30 c rational objective 3 1954.14/1959.24 c #Conflicts: 1420000 | #Constraints: 25046 1954.14/1959.24 c #Conflicts: 1421000 | #Constraints: 26051 1954.14/1959.24 c #Conflicts: 1422000 | #Constraints: 27054 1954.14/1959.24 c #Conflicts: 1423000 | #Constraints: 28056 1954.14/1959.24 c #Conflicts: 1424000 | #Constraints: 29061 1954.14/1959.24 c #Conflicts: 1425000 | #Constraints: 30069 1954.14/1959.24 c #Conflicts: 1426000 | #Constraints: 31072 1954.14/1959.24 c #Conflicts: 1427000 | #Constraints: 32079 1954.14/1959.24 c #Conflicts: 1428000 | #Constraints: 33086 1954.14/1959.24 c #Conflicts: 1429000 | #Constraints: 34093 1954.14/1959.24 c #Conflicts: 1430000 | #Constraints: 35098 1954.14/1959.24 c #Conflicts: 1431000 | #Constraints: 36103 1954.14/1959.24 c #Conflicts: 1432000 | #Constraints: 37110 1954.14/1959.24 c #Conflicts: 1433000 | #Constraints: 38114 1954.14/1959.24 c #Conflicts: 1434000 | #Constraints: 39119 1954.14/1959.24 c #Conflicts: 1435000 | #Constraints: 40122 1954.14/1959.24 c #Conflicts: 1436000 | #Constraints: 41126 1954.14/1959.24 c #Conflicts: 1437000 | #Constraints: 42133 1954.14/1959.24 c #Conflicts: 1438000 | #Constraints: 43141 1954.14/1959.24 c #Conflicts: 1439000 | #Constraints: 44148 1954.14/1959.24 c #Conflicts: 1440000 | #Constraints: 45158 1954.14/1959.24 c #Conflicts: 1441000 | #Constraints: 46164 1954.14/1959.24 c #Conflicts: 1442000 | #Constraints: 47170 1954.14/1959.24 c #Conflicts: 1443000 | #Constraints: 48173 1954.14/1959.24 c INPROCESSING 1954.14/1959.24 c GARBAGE COLLECT 1954.14/1959.24 c rational objective 3 1993.94/1999.18 c #Conflicts: 1444000 | #Constraints: 25308 1993.94/1999.18 c #Conflicts: 1445000 | #Constraints: 26313 1993.94/1999.18 c #Conflicts: 1446000 | #Constraints: 27315 1993.94/1999.18 c #Conflicts: 1447000 | #Constraints: 28318 1993.94/1999.18 c #Conflicts: 1448000 | #Constraints: 29323 1993.94/1999.18 c #Conflicts: 1449000 | #Constraints: 30328 1993.94/1999.18 c #Conflicts: 1450000 | #Constraints: 31331 1993.94/1999.18 c #Conflicts: 1451000 | #Constraints: 32338 1993.94/1999.18 c #Conflicts: 1452000 | #Constraints: 33344 1993.94/1999.18 c #Conflicts: 1453000 | #Constraints: 34349 1993.94/1999.18 c #Conflicts: 1454000 | #Constraints: 35355 1993.94/1999.18 c #Conflicts: 1455000 | #Constraints: 36357 1993.94/1999.18 c #Conflicts: 1456000 | #Constraints: 37361 1993.94/1999.18 c #Conflicts: 1457000 | #Constraints: 38363 1993.94/1999.18 c #Conflicts: 1458000 | #Constraints: 39364 1993.94/1999.18 c #Conflicts: 1459000 | #Constraints: 40366 1993.94/1999.18 c #Conflicts: 1460000 | #Constraints: 41372 1993.94/1999.18 c #Conflicts: 1461000 | #Constraints: 42375 1993.94/1999.18 c #Conflicts: 1462000 | #Constraints: 43378 1993.94/1999.18 c #Conflicts: 1463000 | #Constraints: 44392 1993.94/1999.18 c #Conflicts: 1464000 | #Constraints: 45406 1993.94/1999.18 c #Conflicts: 1465000 | #Constraints: 46411 1993.94/1999.18 c #Conflicts: 1466000 | #Constraints: 47415 1993.94/1999.18 c #Conflicts: 1467000 | #Constraints: 48421 1993.94/1999.18 c INPROCESSING 1993.94/1999.18 c GARBAGE COLLECT 1993.94/1999.18 c rational objective 3 2039.43/2044.73 c #Conflicts: 1468000 | #Constraints: 25276 2039.43/2044.73 c #Conflicts: 1469000 | #Constraints: 26281 2039.43/2044.73 c #Conflicts: 1470000 | #Constraints: 27285 2039.43/2044.73 c #Conflicts: 1471000 | #Constraints: 28290 2039.43/2044.73 c #Conflicts: 1472000 | #Constraints: 29298 2039.43/2044.73 c #Conflicts: 1473000 | #Constraints: 30305 2039.43/2044.73 c #Conflicts: 1474000 | #Constraints: 31309 2039.43/2044.73 c #Conflicts: 1475000 | #Constraints: 32313 2039.43/2044.73 c #Conflicts: 1476000 | #Constraints: 33319 2039.43/2044.73 c #Conflicts: 1477000 | #Constraints: 34323 2039.43/2044.73 c #Conflicts: 1478000 | #Constraints: 35325 2039.43/2044.73 c #Conflicts: 1479000 | #Constraints: 36330 2039.43/2044.73 c #Conflicts: 1480000 | #Constraints: 37336 2039.43/2044.73 c #Conflicts: 1481000 | #Constraints: 38341 2039.43/2044.73 c #Conflicts: 1482000 | #Constraints: 39347 2039.43/2044.73 c #Conflicts: 1483000 | #Constraints: 40356 2039.43/2044.73 c #Conflicts: 1484000 | #Constraints: 41360 2039.43/2044.73 c #Conflicts: 1485000 | #Constraints: 42370 2039.43/2044.73 c #Conflicts: 1486000 | #Constraints: 43385 2039.43/2044.73 c #Conflicts: 1487000 | #Constraints: 44390 2039.43/2044.73 c #Conflicts: 1488000 | #Constraints: 45396 2039.43/2044.73 c #Conflicts: 1489000 | #Constraints: 46401 2039.43/2044.73 c #Conflicts: 1490000 | #Constraints: 47405 2039.43/2044.73 c #Conflicts: 1491000 | #Constraints: 48410 2039.43/2044.73 c INPROCESSING 2039.43/2044.73 c GARBAGE COLLECT 2039.43/2044.73 c rational objective 3 2077.63/2083.04 c #Conflicts: 1492000 | #Constraints: 25069 2077.63/2083.04 c #Conflicts: 1493000 | #Constraints: 26074 2077.63/2083.04 c #Conflicts: 1494000 | #Constraints: 27080 2077.63/2083.04 c #Conflicts: 1495000 | #Constraints: 28083 2077.63/2083.04 c #Conflicts: 1496000 | #Constraints: 29090 2077.63/2083.04 c #Conflicts: 1497000 | #Constraints: 30094 2077.63/2083.04 c #Conflicts: 1498000 | #Constraints: 31099 2077.63/2083.04 c #Conflicts: 1499000 | #Constraints: 32107 2077.63/2083.04 c #Conflicts: 1500000 | #Constraints: 33118 2077.63/2083.04 c #Conflicts: 1501000 | #Constraints: 34136 2077.63/2083.04 c #Conflicts: 1502000 | #Constraints: 35155 2077.63/2083.04 c #Conflicts: 1503000 | #Constraints: 36170 2077.63/2083.04 c #Conflicts: 1504000 | #Constraints: 37184 2077.63/2083.04 c #Conflicts: 1505000 | #Constraints: 38192 2077.63/2083.04 c #Conflicts: 1506000 | #Constraints: 39200 2077.63/2083.04 c #Conflicts: 1507000 | #Constraints: 40205 2077.63/2083.04 c #Conflicts: 1508000 | #Constraints: 41213 2077.63/2083.04 c #Conflicts: 1509000 | #Constraints: 42215 2077.63/2083.04 c #Conflicts: 1510000 | #Constraints: 43218 2077.63/2083.04 c #Conflicts: 1511000 | #Constraints: 44222 2077.63/2083.04 c #Conflicts: 1512000 | #Constraints: 45226 2077.63/2083.04 c #Conflicts: 1513000 | #Constraints: 46228 2077.63/2083.04 c #Conflicts: 1514000 | #Constraints: 47234 2077.63/2083.04 c #Conflicts: 1515000 | #Constraints: 48238 2077.63/2083.04 c #Conflicts: 1516000 | #Constraints: 49251 2077.63/2083.04 c INPROCESSING 2077.63/2083.04 c GARBAGE COLLECT 2077.63/2083.04 c rational objective 3 2122.89/2128.47 c #Conflicts: 1517000 | #Constraints: 25695 2122.89/2128.47 c #Conflicts: 1518000 | #Constraints: 26700 2122.89/2128.47 c #Conflicts: 1519000 | #Constraints: 27707 2122.89/2128.47 c #Conflicts: 1520000 | #Constraints: 28710 2122.89/2128.47 c #Conflicts: 1521000 | #Constraints: 29713 2122.89/2128.47 c #Conflicts: 1522000 | #Constraints: 30721 2122.89/2128.47 c #Conflicts: 1523000 | #Constraints: 31733 2122.89/2128.47 c #Conflicts: 1524000 | #Constraints: 32740 2122.89/2128.47 c #Conflicts: 1525000 | #Constraints: 33741 2122.89/2128.47 c #Conflicts: 1526000 | #Constraints: 34746 2122.89/2128.47 c #Conflicts: 1527000 | #Constraints: 35752 2122.89/2128.47 c #Conflicts: 1528000 | #Constraints: 36760 2122.89/2128.47 c #Conflicts: 1529000 | #Constraints: 37763 2122.89/2128.47 c #Conflicts: 1530000 | #Constraints: 38768 2122.89/2128.47 c #Conflicts: 1531000 | #Constraints: 39772 2122.89/2128.47 c #Conflicts: 1532000 | #Constraints: 40778 2122.89/2128.47 c #Conflicts: 1533000 | #Constraints: 41784 2122.89/2128.47 c #Conflicts: 1534000 | #Constraints: 42788 2122.89/2128.47 c #Conflicts: 1535000 | #Constraints: 43792 2122.89/2128.47 c #Conflicts: 1536000 | #Constraints: 44797 2122.89/2128.47 c #Conflicts: 1537000 | #Constraints: 45802 2122.89/2128.47 c #Conflicts: 1538000 | #Constraints: 46808 2122.89/2128.47 c #Conflicts: 1539000 | #Constraints: 47813 2122.89/2128.47 c #Conflicts: 1540000 | #Constraints: 48819 2122.89/2128.47 c #Conflicts: 1541000 | #Constraints: 49826 2122.89/2128.47 c INPROCESSING 2122.89/2128.47 c GARBAGE COLLECT 2122.89/2128.47 c rational objective 3 2167.07/2172.78 c #Conflicts: 1542000 | #Constraints: 26091 2167.07/2172.78 c #Conflicts: 1543000 | #Constraints: 27097 2167.07/2172.78 c #Conflicts: 1544000 | #Constraints: 28101 2167.07/2172.78 c #Conflicts: 1545000 | #Constraints: 29108 2167.07/2172.78 c #Conflicts: 1546000 | #Constraints: 30112 2167.07/2172.78 c #Conflicts: 1547000 | #Constraints: 31118 2167.07/2172.78 c #Conflicts: 1548000 | #Constraints: 32119 2167.07/2172.78 c #Conflicts: 1549000 | #Constraints: 33123 2167.07/2172.78 c #Conflicts: 1550000 | #Constraints: 34129 2167.07/2172.78 c #Conflicts: 1551000 | #Constraints: 35130 2167.07/2172.78 c #Conflicts: 1552000 | #Constraints: 36132 2167.07/2172.78 c #Conflicts: 1553000 | #Constraints: 37134 2167.07/2172.78 c #Conflicts: 1554000 | #Constraints: 38135 2167.07/2172.78 c #Conflicts: 1555000 | #Constraints: 39137 2167.07/2172.78 c #Conflicts: 1556000 | #Constraints: 40138 2167.07/2172.78 c #Conflicts: 1557000 | #Constraints: 41140 2167.07/2172.78 c #Conflicts: 1558000 | #Constraints: 42144 2167.07/2172.78 c #Conflicts: 1559000 | #Constraints: 43144 2167.07/2172.78 c #Conflicts: 1560000 | #Constraints: 44144 2167.07/2172.78 c #Conflicts: 1561000 | #Constraints: 45148 2167.07/2172.78 c #Conflicts: 1562000 | #Constraints: 46151 2167.07/2172.78 c #Conflicts: 1563000 | #Constraints: 47153 2167.07/2172.78 c #Conflicts: 1564000 | #Constraints: 48158 2167.07/2172.78 c #Conflicts: 1565000 | #Constraints: 49165 2167.07/2172.78 c #Conflicts: 1566000 | #Constraints: 50167 2167.07/2172.78 c INPROCESSING 2167.07/2172.78 c GARBAGE COLLECT 2167.07/2172.78 c rational objective 3 2219.11/2224.98 c #Conflicts: 1567000 | #Constraints: 26277 2219.11/2224.98 c #Conflicts: 1568000 | #Constraints: 27281 2219.11/2224.98 c #Conflicts: 1569000 | #Constraints: 28287 2219.11/2224.98 c #Conflicts: 1570000 | #Constraints: 29293 2219.11/2224.98 c #Conflicts: 1571000 | #Constraints: 30294 2219.11/2224.98 c #Conflicts: 1572000 | #Constraints: 31295 2219.11/2224.98 c #Conflicts: 1573000 | #Constraints: 32298 2219.11/2224.98 c #Conflicts: 1574000 | #Constraints: 33300 2219.11/2224.98 c #Conflicts: 1575000 | #Constraints: 34303 2219.11/2224.98 c #Conflicts: 1576000 | #Constraints: 35304 2219.11/2224.98 c #Conflicts: 1577000 | #Constraints: 36305 2219.11/2224.98 c #Conflicts: 1578000 | #Constraints: 37306 2219.11/2224.98 c #Conflicts: 1579000 | #Constraints: 38307 2219.11/2224.98 c #Conflicts: 1580000 | #Constraints: 39310 2219.11/2224.98 c #Conflicts: 1581000 | #Constraints: 40311 2219.11/2224.98 c #Conflicts: 1582000 | #Constraints: 41315 2219.11/2224.98 c #Conflicts: 1583000 | #Constraints: 42322 2219.11/2224.98 c #Conflicts: 1584000 | #Constraints: 43326 2219.11/2224.98 c #Conflicts: 1585000 | #Constraints: 44329 2219.11/2224.98 c #Conflicts: 1586000 | #Constraints: 45335 2219.11/2224.98 c #Conflicts: 1587000 | #Constraints: 46339 2219.11/2224.98 c #Conflicts: 1588000 | #Constraints: 47340 2219.11/2224.98 c #Conflicts: 1589000 | #Constraints: 48350 2219.11/2224.98 c #Conflicts: 1590000 | #Constraints: 49360 2219.11/2224.98 c #Conflicts: 1591000 | #Constraints: 50367 2219.11/2224.98 c INPROCESSING 2219.11/2224.98 c GARBAGE COLLECT 2219.11/2224.98 c rational objective 3 2302.08/2308.15 c #Conflicts: 1592000 | #Constraints: 26268 2302.08/2308.15 c #Conflicts: 1593000 | #Constraints: 27275 2302.08/2308.15 c #Conflicts: 1594000 | #Constraints: 28281 2302.08/2308.15 c #Conflicts: 1595000 | #Constraints: 29286 2302.08/2308.15 c #Conflicts: 1596000 | #Constraints: 30291 2302.08/2308.15 c #Conflicts: 1597000 | #Constraints: 31296 2302.08/2308.15 c #Conflicts: 1598000 | #Constraints: 32299 2302.08/2308.15 c #Conflicts: 1599000 | #Constraints: 33304 2302.08/2308.15 c #Conflicts: 1600000 | #Constraints: 34310 2302.08/2308.15 c #Conflicts: 1601000 | #Constraints: 35317 2302.08/2308.15 c #Conflicts: 1602000 | #Constraints: 36323 2302.08/2308.15 c #Conflicts: 1603000 | #Constraints: 37326 2302.08/2308.15 c #Conflicts: 1604000 | #Constraints: 38328 2302.08/2308.15 c #Conflicts: 1605000 | #Constraints: 39330 2302.08/2308.15 c #Conflicts: 1606000 | #Constraints: 40335 2302.08/2308.15 c #Conflicts: 1607000 | #Constraints: 41340 2302.08/2308.15 c #Conflicts: 1608000 | #Constraints: 42344 2302.08/2308.15 c #Conflicts: 1609000 | #Constraints: 43349 2302.08/2308.15 c #Conflicts: 1610000 | #Constraints: 44351 2302.08/2308.15 c #Conflicts: 1611000 | #Constraints: 45353 2302.08/2308.15 c #Conflicts: 1612000 | #Constraints: 46355 2302.08/2308.15 c #Conflicts: 1613000 | #Constraints: 47362 2302.08/2308.15 c #Conflicts: 1614000 | #Constraints: 48364 2302.08/2308.15 c #Conflicts: 1615000 | #Constraints: 49365 2302.08/2308.15 c #Conflicts: 1616000 | #Constraints: 50368 2302.08/2308.15 c INPROCESSING 2302.08/2308.15 c GARBAGE COLLECT 2302.08/2308.15 c rational objective 3 2337.87/2344.06 c #Conflicts: 1617000 | #Constraints: 26038 2337.87/2344.06 c #Conflicts: 1618000 | #Constraints: 27043 2337.87/2344.06 c #Conflicts: 1619000 | #Constraints: 28047 2337.87/2344.06 c #Conflicts: 1620000 | #Constraints: 29051 2337.87/2344.06 c #Conflicts: 1621000 | #Constraints: 30057 2337.87/2344.06 c #Conflicts: 1622000 | #Constraints: 31061 2337.87/2344.06 c #Conflicts: 1623000 | #Constraints: 32065 2337.87/2344.06 c #Conflicts: 1624000 | #Constraints: 33068 2337.87/2344.06 c #Conflicts: 1625000 | #Constraints: 34070 2337.87/2344.06 c #Conflicts: 1626000 | #Constraints: 35073 2337.87/2344.06 c #Conflicts: 1627000 | #Constraints: 36075 2337.87/2344.06 c #Conflicts: 1628000 | #Constraints: 37078 2337.87/2344.06 c #Conflicts: 1629000 | #Constraints: 38083 2337.87/2344.06 c #Conflicts: 1630000 | #Constraints: 39086 2337.87/2344.06 c #Conflicts: 1631000 | #Constraints: 40087 2337.87/2344.06 c #Conflicts: 1632000 | #Constraints: 41092 2337.87/2344.06 c #Conflicts: 1633000 | #Constraints: 42094 2337.87/2344.06 c #Conflicts: 1634000 | #Constraints: 43096 2337.87/2344.06 c #Conflicts: 1635000 | #Constraints: 44097 2337.87/2344.06 c #Conflicts: 1636000 | #Constraints: 45100 2337.87/2344.06 c #Conflicts: 1637000 | #Constraints: 46106 2337.87/2344.06 c #Conflicts: 1638000 | #Constraints: 47109 2337.87/2344.06 c #Conflicts: 1639000 | #Constraints: 48111 2337.87/2344.06 c #Conflicts: 1640000 | #Constraints: 49113 2337.87/2344.06 c #Conflicts: 1641000 | #Constraints: 50118 2337.87/2344.06 c #Conflicts: 1642000 | #Constraints: 51128 2337.87/2344.06 c INPROCESSING 2337.87/2344.06 c GARBAGE COLLECT 2337.87/2344.06 c rational objective 3 2382.84/2389.16 c #Conflicts: 1643000 | #Constraints: 26666 2382.84/2389.16 c #Conflicts: 1644000 | #Constraints: 27671 2382.84/2389.16 c #Conflicts: 1645000 | #Constraints: 28679 2382.84/2389.16 c #Conflicts: 1646000 | #Constraints: 29685 2382.84/2389.16 c #Conflicts: 1647000 | #Constraints: 30690 2382.84/2389.16 c #Conflicts: 1648000 | #Constraints: 31691 2382.84/2389.16 c #Conflicts: 1649000 | #Constraints: 32696 2382.84/2389.16 c #Conflicts: 1650000 | #Constraints: 33700 2382.84/2389.16 c #Conflicts: 1651000 | #Constraints: 34706 2382.84/2389.16 c #Conflicts: 1652000 | #Constraints: 35708 2382.84/2389.16 c #Conflicts: 1653000 | #Constraints: 36715 2382.84/2389.16 c #Conflicts: 1654000 | #Constraints: 37719 2382.84/2389.16 c #Conflicts: 1655000 | #Constraints: 38721 2382.84/2389.16 c #Conflicts: 1656000 | #Constraints: 39724 2382.84/2389.16 c #Conflicts: 1657000 | #Constraints: 40730 2382.84/2389.16 c #Conflicts: 1658000 | #Constraints: 41736 2382.84/2389.16 c #Conflicts: 1659000 | #Constraints: 42737 2382.84/2389.16 c #Conflicts: 1660000 | #Constraints: 43743 2382.84/2389.16 c #Conflicts: 1661000 | #Constraints: 44746 2382.84/2389.16 c #Conflicts: 1662000 | #Constraints: 45753 2382.84/2389.16 c #Conflicts: 1663000 | #Constraints: 46759 2382.84/2389.16 c #Conflicts: 1664000 | #Constraints: 47763 2382.84/2389.16 c #Conflicts: 1665000 | #Constraints: 48769 2382.84/2389.16 c #Conflicts: 1666000 | #Constraints: 49775 2382.84/2389.16 c #Conflicts: 1667000 | #Constraints: 50779 2382.84/2389.16 c #Conflicts: 1668000 | #Constraints: 51782 2382.84/2389.16 c INPROCESSING 2382.84/2389.16 c GARBAGE COLLECT 2382.84/2389.16 c rational objective 3 2425.31/2431.78 c #Conflicts: 1669000 | #Constraints: 27082 2425.31/2431.78 c #Conflicts: 1670000 | #Constraints: 28087 2425.31/2431.78 c #Conflicts: 1671000 | #Constraints: 29094 2425.31/2431.78 c #Conflicts: 1672000 | #Constraints: 30098 2425.31/2431.78 c #Conflicts: 1673000 | #Constraints: 31108 2425.31/2431.78 c #Conflicts: 1674000 | #Constraints: 32113 2425.31/2431.78 c #Conflicts: 1675000 | #Constraints: 33116 2425.31/2431.78 c #Conflicts: 1676000 | #Constraints: 34121 2425.31/2431.78 c #Conflicts: 1677000 | #Constraints: 35127 2425.31/2431.78 c #Conflicts: 1678000 | #Constraints: 36130 2425.31/2431.78 c #Conflicts: 1679000 | #Constraints: 37135 2425.31/2431.78 c #Conflicts: 1680000 | #Constraints: 38141 2425.31/2431.78 c #Conflicts: 1681000 | #Constraints: 39146 2425.31/2431.78 c #Conflicts: 1682000 | #Constraints: 40150 2425.31/2431.78 c #Conflicts: 1683000 | #Constraints: 41152 2425.31/2431.78 c #Conflicts: 1684000 | #Constraints: 42154 2425.31/2431.78 c #Conflicts: 1685000 | #Constraints: 43156 2425.31/2431.78 c #Conflicts: 1686000 | #Constraints: 44164 2425.31/2431.78 c #Conflicts: 1687000 | #Constraints: 45164 2425.31/2431.78 c #Conflicts: 1688000 | #Constraints: 46167 2425.31/2431.78 c #Conflicts: 1689000 | #Constraints: 47167 2425.31/2431.78 c #Conflicts: 1690000 | #Constraints: 48171 2425.31/2431.78 c #Conflicts: 1691000 | #Constraints: 49173 2425.31/2431.78 c #Conflicts: 1692000 | #Constraints: 50180 2425.31/2431.78 c #Conflicts: 1693000 | #Constraints: 51186 2425.31/2431.78 c #Conflicts: 1694000 | #Constraints: 52192 2425.31/2431.78 c INPROCESSING 2425.31/2431.78 c GARBAGE COLLECT 2425.31/2431.78 c rational objective 3 2474.57/2481.10 c #Conflicts: 1695000 | #Constraints: 27259 2474.57/2481.10 c #Conflicts: 1696000 | #Constraints: 28265 2474.57/2481.10 c #Conflicts: 1697000 | #Constraints: 29272 2474.57/2481.10 c #Conflicts: 1698000 | #Constraints: 30278 2474.57/2481.10 c #Conflicts: 1699000 | #Constraints: 31284 2474.57/2481.10 c #Conflicts: 1700000 | #Constraints: 32287 2474.57/2481.10 c #Conflicts: 1701000 | #Constraints: 33289 2474.57/2481.10 c #Conflicts: 1702000 | #Constraints: 34292 2474.57/2481.10 c #Conflicts: 1703000 | #Constraints: 35296 2474.57/2481.10 c #Conflicts: 1704000 | #Constraints: 36304 2474.57/2481.10 c #Conflicts: 1705000 | #Constraints: 37308 2474.57/2481.10 c #Conflicts: 1706000 | #Constraints: 38316 2474.57/2481.10 c #Conflicts: 1707000 | #Constraints: 39331 2474.57/2481.10 c #Conflicts: 1708000 | #Constraints: 40339 2474.57/2481.10 c #Conflicts: 1709000 | #Constraints: 41344 2474.57/2481.10 c #Conflicts: 1710000 | #Constraints: 42353 2474.57/2481.10 c #Conflicts: 1711000 | #Constraints: 43359 2474.57/2481.10 c #Conflicts: 1712000 | #Constraints: 44360 2474.57/2481.10 c #Conflicts: 1713000 | #Constraints: 45366 2474.57/2481.10 c #Conflicts: 1714000 | #Constraints: 46370 2474.57/2481.10 c #Conflicts: 1715000 | #Constraints: 47373 2474.57/2481.10 c #Conflicts: 1716000 | #Constraints: 48379 2474.57/2481.10 c #Conflicts: 1717000 | #Constraints: 49383 2474.57/2481.10 c #Conflicts: 1718000 | #Constraints: 50386 2474.57/2481.10 c #Conflicts: 1719000 | #Constraints: 51391 2474.57/2481.10 c #Conflicts: 1720000 | #Constraints: 52394 2474.57/2481.10 c INPROCESSING 2474.57/2481.10 c GARBAGE COLLECT 2474.57/2481.10 c rational objective 3 2521.33/2528.08 c #Conflicts: 1721000 | #Constraints: 27288 2521.33/2528.08 c #Conflicts: 1722000 | #Constraints: 28292 2521.33/2528.08 c #Conflicts: 1723000 | #Constraints: 29294 2521.33/2528.08 c #Conflicts: 1724000 | #Constraints: 30297 2521.33/2528.08 c #Conflicts: 1725000 | #Constraints: 31301 2521.33/2528.08 c #Conflicts: 1726000 | #Constraints: 32306 2521.33/2528.08 c #Conflicts: 1727000 | #Constraints: 33311 2521.33/2528.08 c #Conflicts: 1728000 | #Constraints: 34319 2521.33/2528.08 c #Conflicts: 1729000 | #Constraints: 35322 2521.33/2528.08 c #Conflicts: 1730000 | #Constraints: 36324 2521.33/2528.08 c #Conflicts: 1731000 | #Constraints: 37328 2521.33/2528.08 c #Conflicts: 1732000 | #Constraints: 38332 2521.33/2528.08 c #Conflicts: 1733000 | #Constraints: 39338 2521.33/2528.08 c #Conflicts: 1734000 | #Constraints: 40341 2521.33/2528.08 c #Conflicts: 1735000 | #Constraints: 41348 2521.33/2528.08 c #Conflicts: 1736000 | #Constraints: 42350 2521.33/2528.08 c #Conflicts: 1737000 | #Constraints: 43353 2521.33/2528.08 c #Conflicts: 1738000 | #Constraints: 44356 2521.33/2528.08 c #Conflicts: 1739000 | #Constraints: 45358 2521.33/2528.08 c #Conflicts: 1740000 | #Constraints: 46360 2521.33/2528.08 c #Conflicts: 1741000 | #Constraints: 47363 2521.33/2528.08 c #Conflicts: 1742000 | #Constraints: 48365 2521.33/2528.08 c #Conflicts: 1743000 | #Constraints: 49371 2521.33/2528.08 c #Conflicts: 1744000 | #Constraints: 50377 2521.33/2528.08 c #Conflicts: 1745000 | #Constraints: 51381 2521.33/2528.08 c #Conflicts: 1746000 | #Constraints: 52387 2521.33/2528.08 c INPROCESSING 2521.33/2528.08 c GARBAGE COLLECT 2521.33/2528.08 c rational objective 3 2563.61/2570.41 c #Conflicts: 1747000 | #Constraints: 27046 2563.61/2570.41 c #Conflicts: 1748000 | #Constraints: 28051 2563.61/2570.41 c #Conflicts: 1749000 | #Constraints: 29058 2563.61/2570.41 c #Conflicts: 1750000 | #Constraints: 30061 2563.61/2570.41 c #Conflicts: 1751000 | #Constraints: 31066 2563.61/2570.41 c #Conflicts: 1752000 | #Constraints: 32073 2563.61/2570.41 c #Conflicts: 1753000 | #Constraints: 33077 2563.61/2570.41 c #Conflicts: 1754000 | #Constraints: 34081 2563.61/2570.41 c #Conflicts: 1755000 | #Constraints: 35087 2563.61/2570.41 c #Conflicts: 1756000 | #Constraints: 36092 2563.61/2570.41 c #Conflicts: 1757000 | #Constraints: 37098 2563.61/2570.41 c #Conflicts: 1758000 | #Constraints: 38105 2563.61/2570.41 c #Conflicts: 1759000 | #Constraints: 39110 2563.61/2570.41 c #Conflicts: 1760000 | #Constraints: 40118 2563.61/2570.41 c #Conflicts: 1761000 | #Constraints: 41120 2563.61/2570.41 c #Conflicts: 1762000 | #Constraints: 42127 2563.61/2570.41 c #Conflicts: 1763000 | #Constraints: 43130 2563.61/2570.41 c #Conflicts: 1764000 | #Constraints: 44135 2563.61/2570.41 c #Conflicts: 1765000 | #Constraints: 45142 2563.61/2570.41 c #Conflicts: 1766000 | #Constraints: 46146 2563.61/2570.41 c #Conflicts: 1767000 | #Constraints: 47149 2563.61/2570.41 c #Conflicts: 1768000 | #Constraints: 48153 2563.61/2570.41 c #Conflicts: 1769000 | #Constraints: 49156 2563.61/2570.41 c #Conflicts: 1770000 | #Constraints: 50158 2563.61/2570.41 c #Conflicts: 1771000 | #Constraints: 51164 2563.61/2570.41 c #Conflicts: 1772000 | #Constraints: 52169 2563.61/2570.41 c #Conflicts: 1773000 | #Constraints: 53171 2563.61/2570.41 c INPROCESSING 2563.61/2570.41 c GARBAGE COLLECT 2563.61/2570.41 c rational objective 3 2624.03/2631.07 c #Conflicts: 1774000 | #Constraints: 27654 2624.03/2631.07 c #Conflicts: 1775000 | #Constraints: 28656 2624.03/2631.07 c #Conflicts: 1776000 | #Constraints: 29660 2624.03/2631.07 c #Conflicts: 1777000 | #Constraints: 30663 2624.03/2631.07 c #Conflicts: 1778000 | #Constraints: 31667 2624.03/2631.07 c #Conflicts: 1779000 | #Constraints: 32671 2624.03/2631.07 c #Conflicts: 1780000 | #Constraints: 33674 2624.03/2631.07 c #Conflicts: 1781000 | #Constraints: 34676 2624.03/2631.07 c #Conflicts: 1782000 | #Constraints: 35679 2624.03/2631.07 c #Conflicts: 1783000 | #Constraints: 36681 2624.03/2631.07 c #Conflicts: 1784000 | #Constraints: 37685 2624.03/2631.07 c #Conflicts: 1785000 | #Constraints: 38687 2624.03/2631.07 c #Conflicts: 1786000 | #Constraints: 39688 2624.03/2631.07 c #Conflicts: 1787000 | #Constraints: 40692 2624.03/2631.07 c #Conflicts: 1788000 | #Constraints: 41696 2624.03/2631.07 c #Conflicts: 1789000 | #Constraints: 42701 2624.03/2631.07 c #Conflicts: 1790000 | #Constraints: 43707 2624.03/2631.07 c #Conflicts: 1791000 | #Constraints: 44710 2624.03/2631.07 c #Conflicts: 1792000 | #Constraints: 45715 2624.03/2631.07 c #Conflicts: 1793000 | #Constraints: 46719 2624.03/2631.07 c #Conflicts: 1794000 | #Constraints: 47721 2624.03/2631.07 c #Conflicts: 1795000 | #Constraints: 48724 2624.03/2631.07 c #Conflicts: 1796000 | #Constraints: 49727 2624.03/2631.07 c #Conflicts: 1797000 | #Constraints: 50734 2624.03/2631.07 c #Conflicts: 1798000 | #Constraints: 51739 2624.03/2631.07 c #Conflicts: 1799000 | #Constraints: 52744 2624.03/2631.07 c #Conflicts: 1800000 | #Constraints: 53751 2624.03/2631.07 c INPROCESSING 2624.03/2631.07 c GARBAGE COLLECT 2624.03/2631.07 c rational objective 3 2672.78/2679.92 c #Conflicts: 1801000 | #Constraints: 28054 2672.78/2679.92 c #Conflicts: 1802000 | #Constraints: 29060 2672.78/2679.92 c #Conflicts: 1803000 | #Constraints: 30067 2672.78/2679.92 c #Conflicts: 1804000 | #Constraints: 31076 2672.78/2679.92 c #Conflicts: 1805000 | #Constraints: 32082 2672.78/2679.92 c #Conflicts: 1806000 | #Constraints: 33092 2672.78/2679.92 c #Conflicts: 1807000 | #Constraints: 34099 2672.78/2679.92 c #Conflicts: 1808000 | #Constraints: 35106 2672.78/2679.92 c #Conflicts: 1809000 | #Constraints: 36114 2672.78/2679.92 c #Conflicts: 1810000 | #Constraints: 37121 2672.78/2679.92 c #Conflicts: 1811000 | #Constraints: 38125 2672.78/2679.92 c #Conflicts: 1812000 | #Constraints: 39129 2672.78/2679.92 c #Conflicts: 1813000 | #Constraints: 40139 2672.78/2679.92 c #Conflicts: 1814000 | #Constraints: 41155 2672.78/2679.92 c #Conflicts: 1815000 | #Constraints: 42163 2672.78/2679.92 c #Conflicts: 1816000 | #Constraints: 43169 2672.78/2679.92 c #Conflicts: 1817000 | #Constraints: 44173 2672.78/2679.92 c #Conflicts: 1818000 | #Constraints: 45178 2672.78/2679.92 c #Conflicts: 1819000 | #Constraints: 46184 2672.78/2679.92 c #Conflicts: 1820000 | #Constraints: 47188 2672.78/2679.92 c #Conflicts: 1821000 | #Constraints: 48198 2672.78/2679.92 c #Conflicts: 1822000 | #Constraints: 49208 2672.78/2679.92 c #Conflicts: 1823000 | #Constraints: 50213 2672.78/2679.92 c #Conflicts: 1824000 | #Constraints: 51214 2672.78/2679.92 c #Conflicts: 1825000 | #Constraints: 52219 2672.78/2679.92 c #Conflicts: 1826000 | #Constraints: 53224 2672.78/2679.92 c #Conflicts: 1827000 | #Constraints: 54225 2672.78/2679.92 c INPROCESSING 2672.78/2679.92 c GARBAGE COLLECT 2672.78/2679.92 c rational objective 3 2738.32/2745.61 c #Conflicts: 1828000 | #Constraints: 28293 2738.32/2745.61 c #Conflicts: 1829000 | #Constraints: 29296 2738.32/2745.61 c #Conflicts: 1830000 | #Constraints: 30297 2738.32/2745.61 c #Conflicts: 1831000 | #Constraints: 31300 2738.32/2745.61 c #Conflicts: 1832000 | #Constraints: 32302 2738.32/2745.61 c #Conflicts: 1833000 | #Constraints: 33307 2738.32/2745.61 c #Conflicts: 1834000 | #Constraints: 34310 2738.32/2745.61 c #Conflicts: 1835000 | #Constraints: 35311 2738.32/2745.61 c #Conflicts: 1836000 | #Constraints: 36314 2738.32/2745.61 c #Conflicts: 1837000 | #Constraints: 37316 2738.32/2745.61 c #Conflicts: 1838000 | #Constraints: 38318 2738.32/2745.61 c #Conflicts: 1839000 | #Constraints: 39322 2738.32/2745.61 c #Conflicts: 1840000 | #Constraints: 40326 2738.32/2745.61 c #Conflicts: 1841000 | #Constraints: 41329 2738.32/2745.61 c #Conflicts: 1842000 | #Constraints: 42336 2738.32/2745.61 c #Conflicts: 1843000 | #Constraints: 43340 2738.32/2745.61 c #Conflicts: 1844000 | #Constraints: 44346 2738.32/2745.61 c #Conflicts: 1845000 | #Constraints: 45349 2738.32/2745.61 c #Conflicts: 1846000 | #Constraints: 46357 2738.32/2745.61 c #Conflicts: 1847000 | #Constraints: 47363 2738.32/2745.61 c #Conflicts: 1848000 | #Constraints: 48369 2738.32/2745.61 c #Conflicts: 1849000 | #Constraints: 49374 2738.32/2745.61 c #Conflicts: 1850000 | #Constraints: 50379 2738.32/2745.61 c #Conflicts: 1851000 | #Constraints: 51382 2738.32/2745.61 c #Conflicts: 1852000 | #Constraints: 52388 2738.32/2745.61 c #Conflicts: 1853000 | #Constraints: 53395 2738.32/2745.61 c #Conflicts: 1854000 | #Constraints: 54400 2738.32/2745.61 c INPROCESSING 2738.32/2745.61 c GARBAGE COLLECT 2738.32/2745.61 c rational objective 3 2791.29/2798.77 c #Conflicts: 1855000 | #Constraints: 28259 2791.29/2798.77 c #Conflicts: 1856000 | #Constraints: 29266 2791.29/2798.77 c #Conflicts: 1857000 | #Constraints: 30272 2791.29/2798.77 c #Conflicts: 1858000 | #Constraints: 31281 2791.29/2798.77 c #Conflicts: 1859000 | #Constraints: 32285 2791.29/2798.77 c #Conflicts: 1860000 | #Constraints: 33287 2791.29/2798.77 c #Conflicts: 1861000 | #Constraints: 34292 2791.29/2798.77 c #Conflicts: 1862000 | #Constraints: 35297 2791.29/2798.77 c #Conflicts: 1863000 | #Constraints: 36304 2791.29/2798.77 c #Conflicts: 1864000 | #Constraints: 37308 2791.29/2798.77 c #Conflicts: 1865000 | #Constraints: 38308 2791.29/2798.77 c #Conflicts: 1866000 | #Constraints: 39312 2791.29/2798.77 c #Conflicts: 1867000 | #Constraints: 40315 2791.29/2798.77 c #Conflicts: 1868000 | #Constraints: 41318 2791.29/2798.77 c #Conflicts: 1869000 | #Constraints: 42324 2791.29/2798.77 c #Conflicts: 1870000 | #Constraints: 43332 2791.29/2798.77 c #Conflicts: 1871000 | #Constraints: 44336 2791.29/2798.77 c #Conflicts: 1872000 | #Constraints: 45341 2791.29/2798.77 c #Conflicts: 1873000 | #Constraints: 46345 2791.29/2798.77 c #Conflicts: 1874000 | #Constraints: 47346 2791.29/2798.77 c #Conflicts: 1875000 | #Constraints: 48352 2791.29/2798.77 c #Conflicts: 1876000 | #Constraints: 49357 2791.29/2798.77 c #Conflicts: 1877000 | #Constraints: 50362 2791.29/2798.77 c #Conflicts: 1878000 | #Constraints: 51367 2791.29/2798.77 c #Conflicts: 1879000 | #Constraints: 52369 2791.29/2798.77 c #Conflicts: 1880000 | #Constraints: 53373 2791.29/2798.77 c #Conflicts: 1881000 | #Constraints: 54375 2791.29/2798.77 c INPROCESSING 2791.29/2798.77 c GARBAGE COLLECT 2791.29/2798.77 c rational objective 3 2840.27/2847.83 c #Conflicts: 1882000 | #Constraints: 28042 2840.27/2847.83 c #Conflicts: 1883000 | #Constraints: 29051 2840.27/2847.83 c #Conflicts: 1884000 | #Constraints: 30060 2840.27/2847.83 c #Conflicts: 1885000 | #Constraints: 31066 2840.27/2847.83 c #Conflicts: 1886000 | #Constraints: 32069 2840.27/2847.83 c #Conflicts: 1887000 | #Constraints: 33072 2840.27/2847.83 c #Conflicts: 1888000 | #Constraints: 34077 2840.27/2847.83 c #Conflicts: 1889000 | #Constraints: 35081 2840.27/2847.83 c #Conflicts: 1890000 | #Constraints: 36089 2840.27/2847.83 c #Conflicts: 1891000 | #Constraints: 37098 2840.27/2847.83 c #Conflicts: 1892000 | #Constraints: 38106 2840.27/2847.83 c #Conflicts: 1893000 | #Constraints: 39113 2840.27/2847.83 c #Conflicts: 1894000 | #Constraints: 40119 2840.27/2847.83 c #Conflicts: 1895000 | #Constraints: 41127 2840.27/2847.83 c #Conflicts: 1896000 | #Constraints: 42137 2840.27/2847.83 c #Conflicts: 1897000 | #Constraints: 43143 2840.27/2847.83 c #Conflicts: 1898000 | #Constraints: 44147 2840.27/2847.83 c #Conflicts: 1899000 | #Constraints: 45151 2840.27/2847.83 c #Conflicts: 1900000 | #Constraints: 46157 2840.27/2847.83 c #Conflicts: 1901000 | #Constraints: 47161 2840.27/2847.83 c #Conflicts: 1902000 | #Constraints: 48166 2840.27/2847.83 c #Conflicts: 1903000 | #Constraints: 49174 2840.27/2847.83 c #Conflicts: 1904000 | #Constraints: 50179 2840.27/2847.83 c #Conflicts: 1905000 | #Constraints: 51190 2840.27/2847.83 c #Conflicts: 1906000 | #Constraints: 52197 2840.27/2847.83 c #Conflicts: 1907000 | #Constraints: 53205 2840.27/2847.83 c #Conflicts: 1908000 | #Constraints: 54207 2840.27/2847.83 c #Conflicts: 1909000 | #Constraints: 55214 2840.27/2847.83 c INPROCESSING 2840.27/2847.83 c GARBAGE COLLECT 2840.27/2847.83 c rational objective 3 2899.92/2907.68 c #Conflicts: 1910000 | #Constraints: 28701 2899.92/2907.68 c #Conflicts: 1911000 | #Constraints: 29706 2899.92/2907.68 c #Conflicts: 1912000 | #Constraints: 30707 2899.92/2907.68 c #Conflicts: 1913000 | #Constraints: 31713 2899.92/2907.68 c #Conflicts: 1914000 | #Constraints: 32715 2899.92/2907.68 c #Conflicts: 1915000 | #Constraints: 33716 2899.92/2907.68 c #Conflicts: 1916000 | #Constraints: 34722 2899.92/2907.68 c #Conflicts: 1917000 | #Constraints: 35725 2899.92/2907.68 c #Conflicts: 1918000 | #Constraints: 36729 2899.92/2907.68 c #Conflicts: 1919000 | #Constraints: 37737 2899.92/2907.68 c #Conflicts: 1920000 | #Constraints: 38741 2899.92/2907.68 c #Conflicts: 1921000 | #Constraints: 39743 2899.92/2907.68 c #Conflicts: 1922000 | #Constraints: 40745 2899.92/2907.68 c #Conflicts: 1923000 | #Constraints: 41751 2899.92/2907.68 c #Conflicts: 1924000 | #Constraints: 42758 2899.92/2907.68 c #Conflicts: 1925000 | #Constraints: 43765 2899.92/2907.68 c #Conflicts: 1926000 | #Constraints: 44768 2899.92/2907.68 c #Conflicts: 1927000 | #Constraints: 45773 2899.92/2907.68 c #Conflicts: 1928000 | #Constraints: 46776 2899.92/2907.68 c #Conflicts: 1929000 | #Constraints: 47780 2899.92/2907.68 c #Conflicts: 1930000 | #Constraints: 48782 2899.92/2907.68 c #Conflicts: 1931000 | #Constraints: 49788 2899.92/2907.68 c #Conflicts: 1932000 | #Constraints: 50798 2899.92/2907.68 c #Conflicts: 1933000 | #Constraints: 51804 2899.92/2907.68 c #Conflicts: 1934000 | #Constraints: 52812 2899.92/2907.68 c #Conflicts: 1935000 | #Constraints: 53817 2899.92/2907.68 c #Conflicts: 1936000 | #Constraints: 54820 2899.92/2907.68 c #Conflicts: 1937000 | #Constraints: 55827 2899.92/2907.68 c INPROCESSING 2899.92/2907.68 c GARBAGE COLLECT 2899.92/2907.68 c rational objective 3 2950.00/2957.81 c #Conflicts: 1938000 | #Constraints: 29081 2950.00/2957.81 c #Conflicts: 1939000 | #Constraints: 30088 2950.00/2957.81 c #Conflicts: 1940000 | #Constraints: 31092 2950.00/2957.81 c #Conflicts: 1941000 | #Constraints: 32097 2950.00/2957.81 c #Conflicts: 1942000 | #Constraints: 33099 2950.00/2957.81 c #Conflicts: 1943000 | #Constraints: 34103 2950.00/2957.81 c #Conflicts: 1944000 | #Constraints: 35107 2950.00/2957.81 c #Conflicts: 1945000 | #Constraints: 36114 2950.00/2957.81 c #Conflicts: 1946000 | #Constraints: 37119 2950.00/2957.81 c #Conflicts: 1947000 | #Constraints: 38129 2950.00/2957.81 c #Conflicts: 1948000 | #Constraints: 39133 2950.00/2957.81 c #Conflicts: 1949000 | #Constraints: 40136 2950.00/2957.81 c #Conflicts: 1950000 | #Constraints: 41143 2950.00/2957.81 c #Conflicts: 1951000 | #Constraints: 42145 2950.00/2957.81 c #Conflicts: 1952000 | #Constraints: 43148 2950.00/2957.81 c #Conflicts: 1953000 | #Constraints: 44150 2950.00/2957.81 c #Conflicts: 1954000 | #Constraints: 45153 2950.00/2957.81 c #Conflicts: 1955000 | #Constraints: 46158 2950.00/2957.81 c #Conflicts: 1956000 | #Constraints: 47168 2950.00/2957.81 c #Conflicts: 1957000 | #Constraints: 48176 2950.00/2957.81 c #Conflicts: 1958000 | #Constraints: 49181 2950.00/2957.81 c #Conflicts: 1959000 | #Constraints: 50183 2950.00/2957.81 c #Conflicts: 1960000 | #Constraints: 51187 2950.00/2957.81 c #Conflicts: 1961000 | #Constraints: 52195 2950.00/2957.81 c #Conflicts: 1962000 | #Constraints: 53198 2950.00/2957.81 c #Conflicts: 1963000 | #Constraints: 54200 2950.00/2957.81 c #Conflicts: 1964000 | #Constraints: 55204 2950.00/2957.81 c #Conflicts: 1965000 | #Constraints: 56209 2950.00/2957.81 c INPROCESSING 2950.00/2957.81 c GARBAGE COLLECT 2950.00/2957.81 c rational objective 3 3012.35/3020.40 c #Conflicts: 1966000 | #Constraints: 29274 3012.35/3020.40 c #Conflicts: 1967000 | #Constraints: 30279 3012.35/3020.40 c #Conflicts: 1968000 | #Constraints: 31281 3012.35/3020.40 c #Conflicts: 1969000 | #Constraints: 32287 3012.35/3020.40 c #Conflicts: 1970000 | #Constraints: 33292 3012.35/3020.40 c #Conflicts: 1971000 | #Constraints: 34294 3012.35/3020.40 c #Conflicts: 1972000 | #Constraints: 35296 3012.35/3020.40 c #Conflicts: 1973000 | #Constraints: 36303 3012.35/3020.40 c #Conflicts: 1974000 | #Constraints: 37307 3012.35/3020.40 c #Conflicts: 1975000 | #Constraints: 38316 3012.35/3020.40 c #Conflicts: 1976000 | #Constraints: 39322 3012.35/3020.40 c #Conflicts: 1977000 | #Constraints: 40327 3012.35/3020.40 c #Conflicts: 1978000 | #Constraints: 41331 3012.35/3020.40 c #Conflicts: 1979000 | #Constraints: 42335 3012.35/3020.40 c #Conflicts: 1980000 | #Constraints: 43338 3012.35/3020.40 c #Conflicts: 1981000 | #Constraints: 44342 3012.35/3020.40 c #Conflicts: 1982000 | #Constraints: 45351 3012.35/3020.40 c #Conflicts: 1983000 | #Constraints: 46355 3012.35/3020.40 c #Conflicts: 1984000 | #Constraints: 47355 3012.35/3020.40 c #Conflicts: 1985000 | #Constraints: 48358 3012.35/3020.40 c #Conflicts: 1986000 | #Constraints: 49361 3012.35/3020.40 c #Conflicts: 1987000 | #Constraints: 50367 3012.35/3020.40 c #Conflicts: 1988000 | #Constraints: 51369 3012.35/3020.40 c #Conflicts: 1989000 | #Constraints: 52369 3012.35/3020.40 c #Conflicts: 1990000 | #Constraints: 53370 3012.35/3020.40 c #Conflicts: 1991000 | #Constraints: 54371 3012.35/3020.40 c #Conflicts: 1992000 | #Constraints: 55374 3012.35/3020.40 c #Conflicts: 1993000 | #Constraints: 56378 3012.35/3020.40 c INPROCESSING 3012.35/3020.40 c GARBAGE COLLECT 3012.35/3020.40 c rational objective 3 3073.50/3081.65 c #Conflicts: 1994000 | #Constraints: 29254 3073.50/3081.65 c #Conflicts: 1995000 | #Constraints: 30256 3073.50/3081.65 c #Conflicts: 1996000 | #Constraints: 31261 3073.50/3081.65 c #Conflicts: 1997000 | #Constraints: 32262 3073.50/3081.65 c #Conflicts: 1998000 | #Constraints: 33264 3073.50/3081.65 c #Conflicts: 1999000 | #Constraints: 34266 3073.50/3081.65 c #Conflicts: 2000000 | #Constraints: 35268 3073.50/3081.65 c #Conflicts: 2001000 | #Constraints: 36268 3073.50/3081.65 c #Conflicts: 2002000 | #Constraints: 37268 3073.50/3081.65 c #Conflicts: 2003000 | #Constraints: 38271 3073.50/3081.65 c #Conflicts: 2004000 | #Constraints: 39273 3073.50/3081.65 c #Conflicts: 2005000 | #Constraints: 40276 3073.50/3081.65 c #Conflicts: 2006000 | #Constraints: 41277 3073.50/3081.65 c #Conflicts: 2007000 | #Constraints: 42282 3073.50/3081.65 c #Conflicts: 2008000 | #Constraints: 43289 3073.50/3081.65 c #Conflicts: 2009000 | #Constraints: 44293 3073.50/3081.65 c #Conflicts: 2010000 | #Constraints: 45294 3073.50/3081.65 c #Conflicts: 2011000 | #Constraints: 46295 3073.50/3081.65 c #Conflicts: 2012000 | #Constraints: 47301 3073.50/3081.65 c #Conflicts: 2013000 | #Constraints: 48301 3073.50/3081.65 c #Conflicts: 2014000 | #Constraints: 49302 3073.50/3081.65 c #Conflicts: 2015000 | #Constraints: 50304 3073.50/3081.65 c #Conflicts: 2016000 | #Constraints: 51304 3073.50/3081.65 c #Conflicts: 2017000 | #Constraints: 52305 3073.50/3081.65 c #Conflicts: 2018000 | #Constraints: 53306 3073.50/3081.65 c #Conflicts: 2019000 | #Constraints: 54306 3073.50/3081.65 c #Conflicts: 2020000 | #Constraints: 55310 3073.50/3081.65 c #Conflicts: 2021000 | #Constraints: 56311 3073.50/3081.65 c INPROCESSING 3073.50/3081.65 c GARBAGE COLLECT 3073.50/3081.65 c rational objective 3 3129.57/3137.86 c #Conflicts: 2022000 | #Constraints: 29050 3129.57/3137.86 c #Conflicts: 2023000 | #Constraints: 30050 3129.57/3137.86 c #Conflicts: 2024000 | #Constraints: 31050 3129.57/3137.86 c #Conflicts: 2025000 | #Constraints: 32052 3129.57/3137.86 c #Conflicts: 2026000 | #Constraints: 33053 3129.57/3137.86 c #Conflicts: 2027000 | #Constraints: 34054 3129.57/3137.86 c #Conflicts: 2028000 | #Constraints: 35055 3129.57/3137.86 c #Conflicts: 2029000 | #Constraints: 36056 3129.57/3137.86 c #Conflicts: 2030000 | #Constraints: 37058 3129.57/3137.86 c #Conflicts: 2031000 | #Constraints: 38061 3129.57/3137.86 c #Conflicts: 2032000 | #Constraints: 39065 3129.57/3137.86 c #Conflicts: 2033000 | #Constraints: 40067 3129.57/3137.86 c #Conflicts: 2034000 | #Constraints: 41070 3129.57/3137.86 c #Conflicts: 2035000 | #Constraints: 42072 3129.57/3137.86 c #Conflicts: 2036000 | #Constraints: 43073 3129.57/3137.86 c #Conflicts: 2037000 | #Constraints: 44074 3129.57/3137.86 c #Conflicts: 2038000 | #Constraints: 45077 3129.57/3137.86 c #Conflicts: 2039000 | #Constraints: 46085 3129.57/3137.86 c #Conflicts: 2040000 | #Constraints: 47089 3129.57/3137.86 c #Conflicts: 2041000 | #Constraints: 48091 3129.57/3137.86 c #Conflicts: 2042000 | #Constraints: 49094 3129.57/3137.86 c #Conflicts: 2043000 | #Constraints: 50100 3129.57/3137.86 c #Conflicts: 2044000 | #Constraints: 51108 3129.57/3137.86 c #Conflicts: 2045000 | #Constraints: 52109 3129.57/3137.86 c #Conflicts: 2046000 | #Constraints: 53110 3129.57/3137.86 c #Conflicts: 2047000 | #Constraints: 54112 3129.57/3137.86 c #Conflicts: 2048000 | #Constraints: 55114 3129.57/3137.86 c #Conflicts: 2049000 | #Constraints: 56116 3129.57/3137.86 c #Conflicts: 2050000 | #Constraints: 57121 3129.57/3137.86 c INPROCESSING 3129.57/3137.86 c GARBAGE COLLECT 3129.57/3137.86 c rational objective 3 3197.50/3205.97 c #Conflicts: 2051000 | #Constraints: 29616 3197.50/3205.97 c #Conflicts: 2052000 | #Constraints: 30616 3197.50/3205.97 c #Conflicts: 2053000 | #Constraints: 31616 3197.50/3205.97 c #Conflicts: 2054000 | #Constraints: 32617 3197.50/3205.97 c #Conflicts: 2055000 | #Constraints: 33620 3197.50/3205.97 c #Conflicts: 2056000 | #Constraints: 34621 3197.50/3205.97 c #Conflicts: 2057000 | #Constraints: 35622 3197.50/3205.97 c #Conflicts: 2058000 | #Constraints: 36622 3197.50/3205.97 c #Conflicts: 2059000 | #Constraints: 37622 3197.50/3205.97 c #Conflicts: 2060000 | #Constraints: 38622 3197.50/3205.97 c #Conflicts: 2061000 | #Constraints: 39624 3197.50/3205.97 c #Conflicts: 2062000 | #Constraints: 40625 3197.50/3205.97 c #Conflicts: 2063000 | #Constraints: 41626 3197.50/3205.97 c #Conflicts: 2064000 | #Constraints: 42626 3197.50/3205.97 c #Conflicts: 2065000 | #Constraints: 43630 3197.50/3205.97 c #Conflicts: 2066000 | #Constraints: 44631 3197.50/3205.97 c #Conflicts: 2067000 | #Constraints: 45632 3197.50/3205.97 c #Conflicts: 2068000 | #Constraints: 46632 3197.50/3205.97 c #Conflicts: 2069000 | #Constraints: 47632 3197.50/3205.97 c #Conflicts: 2070000 | #Constraints: 48633 3197.50/3205.97 c #Conflicts: 2071000 | #Constraints: 49634 3197.50/3205.97 c #Conflicts: 2072000 | #Constraints: 50636 3197.50/3205.97 c #Conflicts: 2073000 | #Constraints: 51639 3197.50/3205.97 c #Conflicts: 2074000 | #Constraints: 52642 3197.50/3205.97 c #Conflicts: 2075000 | #Constraints: 53642 3197.50/3205.97 c #Conflicts: 2076000 | #Constraints: 54643 3197.50/3205.97 c #Conflicts: 2077000 | #Constraints: 55645 3197.50/3205.97 c #Conflicts: 2078000 | #Constraints: 56645 3197.50/3205.97 c #Conflicts: 2079000 | #Constraints: 57650 3197.50/3205.97 c INPROCESSING 3197.50/3205.97 c GARBAGE COLLECT 3197.50/3205.97 c rational objective 3 3262.45/3271.00 c #Conflicts: 2080000 | #Constraints: 29974 3262.45/3271.00 c #Conflicts: 2081000 | #Constraints: 30974 3262.45/3271.00 c #Conflicts: 2082000 | #Constraints: 31978 3262.45/3271.00 c #Conflicts: 2083000 | #Constraints: 32983 3262.45/3271.00 c #Conflicts: 2084000 | #Constraints: 33985 3262.45/3271.00 c #Conflicts: 2085000 | #Constraints: 34986 3262.45/3271.00 c #Conflicts: 2086000 | #Constraints: 35988 3262.45/3271.00 c #Conflicts: 2087000 | #Constraints: 36990 3262.45/3271.00 c #Conflicts: 2088000 | #Constraints: 37996 3262.45/3271.00 c #Conflicts: 2089000 | #Constraints: 39002 3262.45/3271.00 c #Conflicts: 2090000 | #Constraints: 40006 3262.45/3271.00 c #Conflicts: 2091000 | #Constraints: 41007 3262.45/3271.00 c #Conflicts: 2092000 | #Constraints: 42008 3262.45/3271.00 c #Conflicts: 2093000 | #Constraints: 43010 3262.45/3271.00 c #Conflicts: 2094000 | #Constraints: 44011 3262.45/3271.00 c #Conflicts: 2095000 | #Constraints: 45015 3262.45/3271.00 c #Conflicts: 2096000 | #Constraints: 46017 3262.45/3271.00 c #Conflicts: 2097000 | #Constraints: 47018 3262.45/3271.00 c #Conflicts: 2098000 | #Constraints: 48019 3262.45/3271.00 c #Conflicts: 2099000 | #Constraints: 49019 3262.45/3271.00 c #Conflicts: 2100000 | #Constraints: 50019 3262.45/3271.00 c #Conflicts: 2101000 | #Constraints: 51020 3262.45/3271.00 c #Conflicts: 2102000 | #Constraints: 52023 3262.45/3271.00 c #Conflicts: 2103000 | #Constraints: 53025 3262.45/3271.00 c #Conflicts: 2104000 | #Constraints: 54027 3262.45/3271.00 c #Conflicts: 2105000 | #Constraints: 55028 3262.45/3271.00 c #Conflicts: 2106000 | #Constraints: 56028 3262.45/3271.00 c #Conflicts: 2107000 | #Constraints: 57030 3262.45/3271.00 c #Conflicts: 2108000 | #Constraints: 58033 3262.45/3271.00 c INPROCESSING 3262.45/3271.00 c GARBAGE COLLECT 3262.45/3271.00 c rational objective 3 3398.50/3407.46 c #Conflicts: 2109000 | #Constraints: 30211 3398.50/3407.46 c #Conflicts: 2110000 | #Constraints: 31213 3398.50/3407.46 c #Conflicts: 2111000 | #Constraints: 32220 3398.50/3407.46 c #Conflicts: 2112000 | #Constraints: 33223 3398.50/3407.46 c #Conflicts: 2113000 | #Constraints: 34226 3398.50/3407.46 c #Conflicts: 2114000 | #Constraints: 35232 3398.50/3407.46 c #Conflicts: 2115000 | #Constraints: 36235 3398.50/3407.46 c #Conflicts: 2116000 | #Constraints: 37238 3398.50/3407.46 c #Conflicts: 2117000 | #Constraints: 38245 3398.50/3407.46 c #Conflicts: 2118000 | #Constraints: 39246 3398.50/3407.46 c #Conflicts: 2119000 | #Constraints: 40250 3398.50/3407.46 c #Conflicts: 2120000 | #Constraints: 41253 3398.50/3407.46 c #Conflicts: 2121000 | #Constraints: 42260 3398.50/3407.46 c #Conflicts: 2122000 | #Constraints: 43266 3398.50/3407.46 c #Conflicts: 2123000 | #Constraints: 44270 3398.50/3407.46 c #Conflicts: 2124000 | #Constraints: 45277 3398.50/3407.46 c #Conflicts: 2125000 | #Constraints: 46284 3398.50/3407.46 c #Conflicts: 2126000 | #Constraints: 47288 3398.50/3407.46 c #Conflicts: 2127000 | #Constraints: 48292 3398.50/3407.46 c #Conflicts: 2128000 | #Constraints: 49296 3398.50/3407.46 c #Conflicts: 2129000 | #Constraints: 50298 3398.50/3407.46 c #Conflicts: 2130000 | #Constraints: 51300 3398.50/3407.46 c #Conflicts: 2131000 | #Constraints: 52303 3398.50/3407.46 c #Conflicts: 2132000 | #Constraints: 53310 3398.50/3407.46 c #Conflicts: 2133000 | #Constraints: 54312 3398.50/3407.46 c #Conflicts: 2134000 | #Constraints: 55319 3398.50/3407.46 c #Conflicts: 2135000 | #Constraints: 56320 3398.50/3407.46 c #Conflicts: 2136000 | #Constraints: 57324 3398.50/3407.46 c #Conflicts: 2137000 | #Constraints: 58330 3398.50/3407.46 c INPROCESSING 3398.50/3407.46 c GARBAGE COLLECT 3398.50/3407.46 c rational objective 3 3495.96/3505.11 c #Conflicts: 2138000 | #Constraints: 30226 3495.96/3505.11 c #Conflicts: 2139000 | #Constraints: 31231 3495.96/3505.11 c #Conflicts: 2140000 | #Constraints: 32240 3495.96/3505.11 c #Conflicts: 2141000 | #Constraints: 33248 3495.96/3505.11 c #Conflicts: 2142000 | #Constraints: 34253 3495.96/3505.11 c #Conflicts: 2143000 | #Constraints: 35258 3495.96/3505.11 c #Conflicts: 2144000 | #Constraints: 36261 3495.96/3505.11 c #Conflicts: 2145000 | #Constraints: 37266 3495.96/3505.11 c #Conflicts: 2146000 | #Constraints: 38275 3495.96/3505.11 c #Conflicts: 2147000 | #Constraints: 39280 3495.96/3505.11 c #Conflicts: 2148000 | #Constraints: 40286 3495.96/3505.11 c #Conflicts: 2149000 | #Constraints: 41289 3495.96/3505.11 c #Conflicts: 2150000 | #Constraints: 42291 3495.96/3505.11 c #Conflicts: 2151000 | #Constraints: 43295 3495.96/3505.11 c #Conflicts: 2152000 | #Constraints: 44298 3495.96/3505.11 c #Conflicts: 2153000 | #Constraints: 45300 3495.96/3505.11 c #Conflicts: 2154000 | #Constraints: 46303 3495.96/3505.11 c #Conflicts: 2155000 | #Constraints: 47309 3495.96/3505.11 c #Conflicts: 2156000 | #Constraints: 48315 3495.96/3505.11 c #Conflicts: 2157000 | #Constraints: 49317 3495.96/3505.11 c #Conflicts: 2158000 | #Constraints: 50321 3495.96/3505.11 c #Conflicts: 2159000 | #Constraints: 51324 3495.96/3505.11 c #Conflicts: 2160000 | #Constraints: 52326 3495.96/3505.11 c #Conflicts: 2161000 | #Constraints: 53334 3495.96/3505.11 c #Conflicts: 2162000 | #Constraints: 54335 3495.96/3505.11 c #Conflicts: 2163000 | #Constraints: 55337 3495.96/3505.11 c #Conflicts: 2164000 | #Constraints: 56337 3495.96/3505.11 c #Conflicts: 2165000 | #Constraints: 57338 3495.96/3505.11 c #Conflicts: 2166000 | #Constraints: 58338 3495.96/3505.11 c INPROCESSING 3495.96/3505.11 c GARBAGE COLLECT 3495.96/3505.11 c rational objective 3 3581.95/3591.38 c #Conflicts: 2167000 | #Constraints: 30045 3581.95/3591.38 c #Conflicts: 2168000 | #Constraints: 31046 3581.95/3591.38 c #Conflicts: 2169000 | #Constraints: 32051 3581.95/3591.38 c #Conflicts: 2170000 | #Constraints: 33053 3581.95/3591.38 c #Conflicts: 2171000 | #Constraints: 34058 3581.95/3591.38 c #Conflicts: 2172000 | #Constraints: 35058 3581.95/3591.38 c #Conflicts: 2173000 | #Constraints: 36059 3581.95/3591.38 c #Conflicts: 2174000 | #Constraints: 37063 3581.95/3591.38 c #Conflicts: 2175000 | #Constraints: 38065 3581.95/3591.38 c #Conflicts: 2176000 | #Constraints: 39066 3581.95/3591.38 c #Conflicts: 2177000 | #Constraints: 40068 3581.95/3591.38 c #Conflicts: 2178000 | #Constraints: 41071 3581.95/3591.38 c #Conflicts: 2179000 | #Constraints: 42072 3581.95/3591.38 c #Conflicts: 2180000 | #Constraints: 43074 3581.95/3591.38 c #Conflicts: 2181000 | #Constraints: 44075 3581.95/3591.38 c #Conflicts: 2182000 | #Constraints: 45079 3581.95/3591.38 c #Conflicts: 2183000 | #Constraints: 46082 3581.95/3591.38 c #Conflicts: 2184000 | #Constraints: 47087 3581.95/3591.38 c #Conflicts: 2185000 | #Constraints: 48088 3581.95/3591.38 c #Conflicts: 2186000 | #Constraints: 49091 3581.95/3591.38 c #Conflicts: 2187000 | #Constraints: 50095 3581.95/3591.38 c #Conflicts: 2188000 | #Constraints: 51100 3581.95/3591.38 c #Conflicts: 2189000 | #Constraints: 52103 3581.95/3591.38 c #Conflicts: 2190000 | #Constraints: 53106 3581.95/3591.38 c #Conflicts: 2191000 | #Constraints: 54107 3581.95/3591.38 c #Conflicts: 2192000 | #Constraints: 55110 3581.95/3591.38 c #Conflicts: 2193000 | #Constraints: 56111 3581.95/3591.38 c #Conflicts: 2194000 | #Constraints: 57115 3581.95/3591.38 c #Conflicts: 2195000 | #Constraints: 58119 3581.95/3591.38 c #Conflicts: 2196000 | #Constraints: 59124 3581.95/3591.38 c INPROCESSING 3581.95/3591.38 c GARBAGE COLLECT 3581.95/3591.38 c rational objective 3 3600.01/3609.40 c #Conflicts: 2197000 | #Constraints: 30627 3600.01/3609.40 c #Conflicts: 2198000 | #Constraints: 31633 3600.01/3609.40 c #Conflicts: 2199000 | #Constraints: 32640 3600.01/3609.40 c #Conflicts: 2200000 | #Constraints: 33645 3600.01/3609.40 c #Conflicts: 2201000 | #Constraints: 34652 3600.01/3609.40 c #Conflicts: 2202000 | #Constraints: 35659 3600.01/3609.40 c #Conflicts: 2203000 | #Constraints: 36667 3600.01/3609.40 c #Conflicts: 2204000 | #Constraints: 37670 3600.01/3609.40 c #Conflicts: 2205000 | #Constraints: 38676 3600.01/3609.40 c #Conflicts: 2206000 | #Constraints: 39679 3600.01/3609.40 c #Conflicts: 2207000 | #Constraints: 40684 3600.01/3609.40 c #Conflicts: 2208000 | #Constraints: 41688 3600.01/3609.40 c Program interrupted by user. 3600.01/3609.44 c cpu time 3564.73 s 3600.01/3609.44 c deterministic time 535910202297 5.36e+11 3600.01/3609.44 c optimization time 17.6739 s 3600.01/3609.44 c total solve time 3547.06 s 3600.01/3609.44 c core-guided solve time 3e-06 s 3600.01/3609.44 c propagation time 2960.98 s 3600.01/3609.44 c conflict analysis time 540.854 s 3600.01/3609.44 c propagations 267006517 3600.01/3609.44 c resolve steps 27417955 3600.01/3609.44 c decisions 8195655 3600.01/3609.44 c conflicts 2208345 3600.01/3609.44 c restarts 4093 3600.01/3609.44 c inprocessing phases 139 3600.01/3609.44 c input clauses 801 3600.01/3609.44 c input cardinalities 31 3600.01/3609.44 c input general constraints 192 3600.01/3609.44 c input average constraint length 8.64 3600.01/3609.44 c input average constraint degree 57.01 3600.01/3609.44 c learned clauses 516888 3600.01/3609.44 c learned cardinalities 7143 3600.01/3609.44 c learned general constraints 1695581 3600.01/3609.44 c learned average constraint length 171.08 3600.01/3609.44 c learned average constraint degree 1924899750.03 3600.01/3609.44 c watched constraints 1541832 3600.01/3609.44 c counting constraints 153941 3600.01/3609.44 c gcd simplifications 234186 3600.01/3609.44 c detected cardinalities 220 3600.01/3609.44 c weakened non-implied lits 98828195 3600.01/3609.44 c weakened non-implying lits 675036 3600.01/3609.44 c original variables 774 3600.01/3609.44 c clausal propagations 3183203 3600.01/3609.44 c cardinality propagations 13850925 3600.01/3609.44 c watched propagations 54023467 3600.01/3609.44 c counting propagations 193858399 3600.01/3609.44 c watch lookups 62728886933 3600.01/3609.44 c watch backjump lookups 48802648307 3600.01/3609.44 c watch checks 376757425565 3600.01/3609.44 c propagation checks 45215955539 3600.01/3609.44 c constraint additions 1850475023 3600.01/3609.44 c trail pops 277398851 3600.01/3609.44 c formula constraints 1024 3600.01/3609.44 c learned constraints 2197076 3600.01/3609.44 c bound constraints 0 3600.01/3609.44 c core-guided constraints 0 3600.01/3609.44 c encountered formula constraints 17199536 3600.01/3609.44 c encountered learned constraints 9075510 3600.01/3609.44 c encountered bound constraints 0 3600.01/3609.44 c encountered core-guided constraints 0 3600.01/3609.44 c LP total time 104.027 s 3600.01/3609.44 c LP solve time 92.62 s 3600.01/3609.44 c LP constraints added 1654 3600.01/3609.44 c LP constraints removed 626 3600.01/3609.44 c LP pivots internal 2208341 3600.01/3609.44 c LP pivots root 1565 3600.01/3609.44 c LP calls 82812 3600.01/3609.44 c LP optimalities 71535 3600.01/3609.44 c LP no pivot count 22571 3600.01/3609.44 c LP infeasibilities 11270 3600.01/3609.44 c LP valid Farkas constraints 11268 3600.01/3609.44 c LP learned Farkas constraints 11268 3600.01/3609.44 c LP basis resets 8 3600.01/3609.44 c LP cycling count 0 3600.01/3609.44 c LP singular count 6 3600.01/3609.44 c LP no primal count 0 3600.01/3609.44 c LP no farkas count 2 3600.01/3609.44 c LP other issue count 0 3600.01/3609.44 c LP Gomory cuts 0 3600.01/3609.44 c LP learned cuts 630 3600.01/3609.44 c LP deleted cuts 626 3600.01/3609.44 c LP encountered Gomory constraints 0 3600.01/3609.44 c LP encountered Farkas constraints 3069645 3600.01/3609.44 c LP encountered learned Farkas constraints 270341 3600.01/3609.44 c CG auxiliary variables introduced 0 3600.01/3609.44 c CG solutions found 0 3600.01/3609.44 c CG cores constructed 1 3600.01/3609.44 c CG core cardinality constraints returned 0 3600.01/3609.44 c CG unit cores 1 3600.01/3609.44 c CG single cores 0 3600.01/3609.44 c CG blocks removed during cardinality reduction 0 3600.01/3609.44 c CG first core best 0 3600.01/3609.44 c CG decision core best 0 3600.01/3609.44 c CG core reduction tie 0 3600.01/3609.44 c CG core degree average 0.00 3600.01/3609.44 c CG core slack average 0.00 3600.01/3609.44 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: 63968 MiB (45731 MiB free)
memory of node 1: 64473 MiB (49838 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456992-1721817956/watcher-4456992-1721817956 -o /tmp/evaluation-result-4456992-1721817956/solver-4456992-1721817956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228037 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456992-1721817956 --lp-cut-gomory=0 HOME/instance-4456992-1721817956.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=229080, runsolver pid=229077
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.10 3.82 2.38 5/261 229081
/proc/meminfo: memFree=97858924/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=40008 memory=10912 CPUtime=0.09 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 1137 0 0 0 9 0 0 0 20 0 1 0 18323909 40968192 2728 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 10002 2728 1882 992 0 1860 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40008 KiB
Current children cumulated memory: 10912 KiB
[startup+0.205823 s]*
/proc/loadavg: 4.10 3.82 2.38 5/261 229081
/proc/meminfo: memFree=97854328/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=40300 memory=13484 CPUtime=0.2 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 1285 0 0 0 19 1 0 0 20 0 1 0 18323909 41267200 3371 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 10075 3371 1882 992 0 1933 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40300 KiB
Current children cumulated memory: 13484 KiB
[startup+0.305746 s]*
/proc/loadavg: 4.10 3.82 2.38 5/261 229081
/proc/meminfo: memFree=97852536/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=40704 memory=14012 CPUtime=0.29 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 1407 0 0 0 28 1 0 0 20 0 1 0 18323909 41680896 3503 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 10176 3503 1882 992 0 2034 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40704 KiB
Current children cumulated memory: 14012 KiB
[startup+0.7002 s]
/proc/loadavg: 4.10 3.82 2.38 5/261 229081
/proc/meminfo: memFree=97848292/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=41948 memory=15328 CPUtime=0.68 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 1762 0 0 0 65 3 0 0 20 0 1 0 18323909 42954752 3832 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 10487 3832 1898 992 0 2345 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 15328 KiB
[startup+1.50021 s]
/proc/loadavg: 4.10 3.82 2.38 5/261 229082
/proc/meminfo: memFree=97839400/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=43072 memory=16352 CPUtime=1.48 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 2030 0 0 0 142 6 0 0 20 0 1 0 18323909 44105728 4088 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 10768 4088 1898 992 0 2626 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43072 KiB
Current children cumulated memory: 16352 KiB
[startup+3.10569 s]
/proc/loadavg: 4.18 3.84 2.39 5/261 229082
/proc/meminfo: memFree=97797820/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=47484 memory=19688 CPUtime=3.09 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 2893 0 0 0 298 11 0 0 20 0 1 0 18323909 48623616 4922 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 11871 4922 1898 992 0 3729 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47484 KiB
Current children cumulated memory: 19688 KiB
[startup+6.3002 s]
/proc/loadavg: 4.18 3.84 2.39 5/259 229082
/proc/meminfo: memFree=97757908/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=48804 memory=22032 CPUtime=6.28 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 3489 0 0 0 609 19 0 0 20 0 1 0 18323909 49975296 5508 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 12201 5508 1898 992 0 4059 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 48804 KiB
Current children cumulated memory: 22032 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 3.84 2.40 5/259 229084
/proc/meminfo: memFree=97656488/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=55816 memory=28156 CPUtime=12.66 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 4535 0 0 0 1227 39 0 0 20 0 1 0 18323909 57155584 7039 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 13954 7039 1898 992 0 5812 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 55816 KiB
Current children cumulated memory: 28156 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 3.85 2.43 5/260 229086
/proc/meminfo: memFree=97478452/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=59124 memory=33152 CPUtime=25.42 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 5350 0 0 0 2471 71 0 0 20 0 1 0 18323909 60542976 8288 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 14781 8288 1898 992 0 6639 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 59124 KiB
Current children cumulated memory: 33152 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 3.86 2.47 5/260 229091
/proc/meminfo: memFree=97123904/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=69504 memory=40452 CPUtime=50.97 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 6677 0 0 0 4966 131 0 0 20 0 1 0 18323909 71172096 10113 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 17376 10113 1898 992 0 9234 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 69504 KiB
Current children cumulated memory: 40452 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.90 2.56 5/260 229099
/proc/meminfo: memFree=96504292/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=72076 memory=44908 CPUtime=102.02 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 7634 0 0 0 9970 232 0 0 20 0 1 0 18323909 73805824 11227 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 18019 11227 1898 992 0 9877 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 72076 KiB
Current children cumulated memory: 44908 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.95 2.66 5/259 229110
/proc/meminfo: memFree=95699800/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=88136 memory=50592 CPUtime=161.87 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 9432 0 0 0 15860 327 0 0 20 0 1 0 18323909 90251264 12648 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 22034 12648 1898 992 0 13892 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 88136 KiB
Current children cumulated memory: 50592 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.99 2.76 5/252 229148
/proc/meminfo: memFree=97315044/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=90152 memory=56800 CPUtime=221.71 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 10358 0 0 0 21732 439 0 0 20 0 1 0 18323909 92315648 14200 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 22538 14200 1898 992 0 14396 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 90152 KiB
Current children cumulated memory: 56800 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.01 2.85 5/256 229177
/proc/meminfo: memFree=98140788/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=92588 memory=58648 CPUtime=281.54 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 11189 0 0 0 27622 532 0 0 20 0 1 0 18323909 94810112 14662 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 23147 14662 1898 992 0 15005 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 92588 KiB
Current children cumulated memory: 58648 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.04 2.93 5/258 229193
/proc/meminfo: memFree=97521900/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=94780 memory=61216 CPUtime=341.38 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 12147 0 1 0 33507 631 0 0 20 0 1 0 18323909 97054720 15304 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 23695 15304 1969 992 0 15553 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 94780 KiB
Current children cumulated memory: 61216 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.04 3.01 5/258 229252
/proc/meminfo: memFree=96960012/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=98484 memory=71924 CPUtime=401.21 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 13250 0 1 0 39419 702 0 0 20 0 1 0 18323909 100847616 17981 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 24621 17981 1985 992 0 16479 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 98484 KiB
Current children cumulated memory: 71924 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.05 3.08 5/258 229262
/proc/meminfo: memFree=96447824/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=121036 memory=79016 CPUtime=461.07 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 15066 0 1 0 45331 776 0 0 20 0 1 0 18323909 123940864 19754 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 30259 19754 1985 992 0 22117 0
################
# More data... #
################
Current children cumulated memory: 140136 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.17 4.10 6/258 233112
/proc/meminfo: memFree=78341296/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=184828 memory=140268 CPUtime=2854.74 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 32014 0 1 0 282473 3001 0 0 20 0 1 0 18323909 189263872 35067 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 46207 35067 1985 992 0 38065 0
Current children cumulated CPU time: 2854.74 s
Current children cumulated vsize: 184828 KiB
Current children cumulated memory: 140268 KiB
[startup+2922.3 s]
/proc/loadavg: 4.32 4.20 4.11 6/259 233127
/proc/meminfo: memFree=77575068/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=184892 memory=140332 CPUtime=2914.59 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 32265 0 1 0 288409 3050 0 0 20 0 1 0 18323909 189329408 35083 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 46223 35083 1985 992 0 38081 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 184892 KiB
Current children cumulated memory: 140332 KiB
[startup+2982.3 s]
/proc/loadavg: 4.48 4.29 4.14 6/260 233139
/proc/meminfo: memFree=77094400/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=184896 memory=140336 CPUtime=2974.44 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 32501 0 1 0 294343 3101 0 0 20 0 1 0 18323909 189333504 35084 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 46224 35084 1985 992 0 38082 0
Current children cumulated CPU time: 2974.44 s
Current children cumulated vsize: 184896 KiB
Current children cumulated memory: 140336 KiB
[startup+3042.3 s]
/proc/loadavg: 4.34 4.28 4.15 6/257 233149
/proc/meminfo: memFree=76702784/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=184980 memory=140420 CPUtime=3034.29 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 32759 0 1 0 300279 3150 0 0 20 0 1 0 18323909 189419520 35105 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 46245 35105 1985 992 0 38103 0
Current children cumulated CPU time: 3034.29 s
Current children cumulated vsize: 184980 KiB
Current children cumulated memory: 140420 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.22 4.14 6/257 233160
/proc/meminfo: memFree=76343584/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=185236 memory=140680 CPUtime=3094.15 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 33179 0 1 0 306219 3196 0 0 20 0 1 0 18323909 189681664 35170 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 46309 35170 1985 992 0 38167 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 185236 KiB
Current children cumulated memory: 140680 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.23 4.14 6/259 233172
/proc/meminfo: memFree=75560336/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=185584 memory=140916 CPUtime=3154.01 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 33559 0 1 0 312156 3245 0 0 20 0 1 0 18323909 190038016 35229 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 46396 35229 1985 992 0 38254 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 185584 KiB
Current children cumulated memory: 140916 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.22 4.14 6/257 233228
/proc/meminfo: memFree=88153956/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=186072 memory=141428 CPUtime=3213.86 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 33742 0 1 0 318098 3288 0 0 20 0 1 0 18323909 190537728 35357 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 46518 35357 1985 992 0 38376 0
Current children cumulated CPU time: 3213.86 s
Current children cumulated vsize: 186072 KiB
Current children cumulated memory: 141428 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.19 4.14 6/257 233239
/proc/meminfo: memFree=87615876/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=186072 memory=141508 CPUtime=3273.71 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 33819 0 1 0 324038 3333 0 0 20 0 1 0 18323909 190537728 35377 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 46518 35377 1985 992 0 38376 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 186072 KiB
Current children cumulated memory: 141508 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.17 4.13 6/258 233253
/proc/meminfo: memFree=87194496/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=187032 memory=141920 CPUtime=3333.56 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 34001 0 1 0 329989 3367 0 0 20 0 1 0 18323909 191520768 35480 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 46758 35480 1985 992 0 38616 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 187032 KiB
Current children cumulated memory: 141920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.13 6/258 233264
/proc/meminfo: memFree=86858588/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=192856 memory=159908 CPUtime=3393.42 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 35160 0 1 0 335955 3387 0 0 20 0 1 0 18323909 197484544 39977 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 48214 39977 1985 992 0 40072 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 192856 KiB
Current children cumulated memory: 159908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.12 6/257 233274
/proc/meminfo: memFree=86290400/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=193968 memory=160876 CPUtime=3453.27 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 35628 0 1 0 341898 3429 0 0 20 0 1 0 18323909 198623232 40219 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 48492 40219 1985 992 0 40350 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 193968 KiB
Current children cumulated memory: 160876 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.13 4.12 6/257 233284
/proc/meminfo: memFree=85667932/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=196100 memory=162288 CPUtime=3513.12 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 36219 0 1 0 347846 3466 0 0 20 0 1 0 18323909 200806400 40572 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 49025 40572 1985 992 0 40883 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 196100 KiB
Current children cumulated memory: 162288 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.11 6/257 233296
/proc/meminfo: memFree=85344492/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=196484 memory=162444 CPUtime=3572.97 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 36327 0 1 0 353797 3500 0 0 20 0 1 0 18323909 201199616 40611 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 49121 40611 1985 992 0 40979 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 196484 KiB
Current children cumulated memory: 162444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.10 4.12 4.11 6/257 233302
/proc/meminfo: memFree=85112284/131524600 swapFree=131071216/131071996
[pid=229080] ppid=229077 vsize=196716 memory=162800 CPUtime=3600.01 cores=1,3
/proc/229080/stat : 229080 (roundingsat) R 229077 229080 228025 0 -1 4194304 36557 0 1 0 356473 3528 0 0 20 0 1 0 18323909 201437184 40700 134679101440 4194304 8254037 140724155464896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 13676544 140724155466592 140724155466854 140724155466854 140724155473865 0
/proc/229080/statm: 49179 40700 1985 992 0 41037 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 196716 KiB
Current children cumulated memory: 162800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.45 s]
# the end of solver process 229080 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.74 s, system=35.2882 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.45
CPU time (s): 3600.02
CPU user time (s): 3564.74
CPU system time (s): 35.2882
CPU usage (%): 99.739
Max. virtual memory (cumulated for all children) (KiB): 196976
Max. memory (cumulated for all children) (KiB): 162972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.74
system time used= 35.2882
maximum resident set size= 163132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36568
page faults= 1
swaps= 0
block input operations= 224
block output operations= 22796240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1000
involuntary context switches= 5062
# summary of solver processes directly reported to runsolver:
# pid: 229080
# total CPU time (s): 3600.02
# total CPU user time (s): 3564.74
# total CPU system time (s): 35.2882
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11739 second user time and 16.4259 second system time
The end
Begin job on nodeC018 at 2024-07-24 12:45:56 IDJOB=4456992 IDBENCH=148776 IDSOLVER=3085 FILE ID=nodeC018/4456992-1721817956 RUNJOBID= nodeC018-1721817186-228037 SLURM_JOB_ID= 7816872 Free space on /tmp= 890048 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-4456992-1721817956/watcher-4456992-1721817956 -o /tmp/evaluation-result-4456992-1721817956/solver-4456992-1721817956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228037 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456992-1721817956 --lp-cut-gomory=0 HOME/instance-4456992-1721817956.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef RANDOM SEED=363426714 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3645.118 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.787 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.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 : 0xb00002a cpu MHz : 3600.036 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3655.725 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.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 : 0xb00002a cpu MHz : 3645.170 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.928 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.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 : 0xb00002a cpu MHz : 3599.750 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.131 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 97864268 kB MemAvailable: 126906364 kB Buffers: 250584 kB Cached: 29524420 kB SwapCached: 184 kB Active: 2504176 kB Inactive: 30343492 kB Active(anon): 1544 kB Inactive(anon): 3124828 kB Active(file): 2502632 kB Inactive(file): 27218664 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 53132 kB Writeback: 4 kB AnonPages: 3070348 kB Mapped: 124516 kB Shmem: 53972 kB KReclaimable: 321244 kB Slab: 446388 kB SReclaimable: 321244 kB SUnreclaim: 125144 kB KernelStack: 4172 kB PageTables: 15520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3847132 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21088 kB HardwareCorrupted: 0 kB AnonHugePages: 958464 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: 375508 kB DirectMap2M: 43438080 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890052 MiB End job on nodeC018 at 2024-07-24 13:46:06