| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.04 | 3609.42 |
| 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.52 c #variables 774 #constraints 1024 0.00/0.52 c bounds - >= 0 @ 0.004835 0.00/0.52 c rational objective 3 0.38/0.94 c #Conflicts: 1000 | #Constraints: 2033 0.38/0.94 c #Conflicts: 2000 | #Constraints: 3044 0.38/0.94 c INPROCESSING 0.38/0.94 c GARBAGE COLLECT 0.38/0.94 c rational objective 3 0.97/1.50 c bounds - >= 3 @ 0.413881 0.97/1.50 c #Conflicts: 3000 | #Constraints: 2279 0.97/1.50 c #Conflicts: 4000 | #Constraints: 3289 0.97/1.50 c INPROCESSING 0.97/1.50 c GARBAGE COLLECT 0.97/1.50 c rational objective 3 1.57/2.16 c #Conflicts: 5000 | #Constraints: 2688 1.57/2.16 c #Conflicts: 6000 | #Constraints: 3693 1.57/2.16 c INPROCESSING 1.57/2.16 c GARBAGE COLLECT 1.57/2.16 c rational objective 3 2.67/3.22 c #Conflicts: 7000 | #Constraints: 2692 2.67/3.22 c #Conflicts: 8000 | #Constraints: 3698 2.67/3.22 c #Conflicts: 9000 | #Constraints: 4705 2.67/3.22 c INPROCESSING 2.67/3.22 c GARBAGE COLLECT 2.67/3.22 c rational objective 3 3.57/4.10 c #Conflicts: 10000 | #Constraints: 3400 3.57/4.10 c #Conflicts: 11000 | #Constraints: 4414 3.57/4.10 c #Conflicts: 12000 | #Constraints: 5424 3.57/4.10 c INPROCESSING 3.57/4.10 c GARBAGE COLLECT 3.57/4.10 c rational objective 3 4.77/5.35 c #Conflicts: 13000 | #Constraints: 3856 4.77/5.35 c #Conflicts: 14000 | #Constraints: 4871 4.77/5.35 c #Conflicts: 15000 | #Constraints: 5880 4.77/5.35 c INPROCESSING 4.77/5.35 c GARBAGE COLLECT 4.77/5.35 c rational objective 3 7.25/7.89 c #Conflicts: 16000 | #Constraints: 4096 7.25/7.89 c #Conflicts: 17000 | #Constraints: 5101 7.25/7.89 c #Conflicts: 18000 | #Constraints: 6104 7.25/7.89 c INPROCESSING 7.25/7.89 c GARBAGE COLLECT 7.25/7.89 c rational objective 3 8.85/9.43 c #Conflicts: 19000 | #Constraints: 4102 8.85/9.43 c #Conflicts: 20000 | #Constraints: 5109 8.85/9.43 c #Conflicts: 21000 | #Constraints: 6120 8.85/9.43 c INPROCESSING 8.85/9.43 c GARBAGE COLLECT 8.85/9.43 c rational objective 3 10.15/10.72 c #Conflicts: 22000 | #Constraints: 3905 10.15/10.72 c #Conflicts: 23000 | #Constraints: 4917 10.15/10.72 c #Conflicts: 24000 | #Constraints: 5920 10.15/10.72 c #Conflicts: 25000 | #Constraints: 6926 10.15/10.72 c INPROCESSING 10.15/10.72 c GARBAGE COLLECT 10.15/10.72 c rational objective 3 11.45/12.04 c #Conflicts: 26000 | #Constraints: 4518 11.45/12.04 c #Conflicts: 27000 | #Constraints: 5531 11.45/12.04 c #Conflicts: 28000 | #Constraints: 6541 11.45/12.04 c #Conflicts: 29000 | #Constraints: 7547 11.45/12.04 c INPROCESSING 11.45/12.04 c GARBAGE COLLECT 11.45/12.04 c rational objective 3 12.85/13.49 c #Conflicts: 30000 | #Constraints: 4928 12.85/13.49 c #Conflicts: 31000 | #Constraints: 5934 12.85/13.49 c #Conflicts: 32000 | #Constraints: 6947 12.85/13.49 c #Conflicts: 33000 | #Constraints: 7958 12.85/13.49 c INPROCESSING 12.85/13.49 c GARBAGE COLLECT 12.85/13.49 c rational objective 3 14.24/14.85 c #Conflicts: 34000 | #Constraints: 5133 14.24/14.85 c #Conflicts: 35000 | #Constraints: 6142 14.24/14.85 c #Conflicts: 36000 | #Constraints: 7154 14.24/14.85 c #Conflicts: 37000 | #Constraints: 8163 14.24/14.85 c INPROCESSING 14.24/14.85 c GARBAGE COLLECT 14.24/14.85 c rational objective 3 16.44/17.01 c #Conflicts: 38000 | #Constraints: 5130 16.44/17.01 c #Conflicts: 39000 | #Constraints: 6140 16.44/17.01 c #Conflicts: 40000 | #Constraints: 7151 16.44/17.01 c #Conflicts: 41000 | #Constraints: 8159 16.44/17.01 c INPROCESSING 16.44/17.01 c GARBAGE COLLECT 16.44/17.01 c rational objective 3 19.23/19.83 c #Conflicts: 42000 | #Constraints: 4938 19.23/19.83 c #Conflicts: 43000 | #Constraints: 5949 19.23/19.83 c #Conflicts: 44000 | #Constraints: 6961 19.23/19.83 c #Conflicts: 45000 | #Constraints: 7967 19.23/19.83 c #Conflicts: 46000 | #Constraints: 8975 19.23/19.83 c INPROCESSING 19.23/19.83 c GARBAGE COLLECT 19.23/19.83 c rational objective 3 21.33/21.91 c #Conflicts: 47000 | #Constraints: 5538 21.33/21.91 c #Conflicts: 48000 | #Constraints: 6545 21.33/21.91 c #Conflicts: 49000 | #Constraints: 7553 21.33/21.91 c #Conflicts: 50000 | #Constraints: 8559 21.33/21.91 c #Conflicts: 51000 | #Constraints: 9577 21.33/21.91 c INPROCESSING 21.33/21.91 c GARBAGE COLLECT 21.33/21.91 c rational objective 3 23.82/24.46 c #Conflicts: 52000 | #Constraints: 5945 23.82/24.46 c #Conflicts: 53000 | #Constraints: 6948 23.82/24.46 c #Conflicts: 54000 | #Constraints: 7953 23.82/24.46 c #Conflicts: 55000 | #Constraints: 8958 23.82/24.46 c #Conflicts: 56000 | #Constraints: 9969 23.82/24.46 c INPROCESSING 23.82/24.46 c GARBAGE COLLECT 23.82/24.46 c rational objective 3 26.91/27.52 c #Conflicts: 57000 | #Constraints: 6141 26.91/27.52 c #Conflicts: 58000 | #Constraints: 7147 26.91/27.52 c #Conflicts: 59000 | #Constraints: 8153 26.91/27.52 c #Conflicts: 60000 | #Constraints: 9161 26.91/27.52 c #Conflicts: 61000 | #Constraints: 10171 26.91/27.52 c INPROCESSING 26.91/27.52 c GARBAGE COLLECT 26.91/27.52 c rational objective 3 30.10/30.73 c #Conflicts: 62000 | #Constraints: 6137 30.10/30.73 c #Conflicts: 63000 | #Constraints: 7144 30.10/30.73 c #Conflicts: 64000 | #Constraints: 8152 30.10/30.73 c #Conflicts: 65000 | #Constraints: 9158 30.10/30.73 c #Conflicts: 66000 | #Constraints: 10165 30.10/30.73 c INPROCESSING 30.10/30.73 c GARBAGE COLLECT 30.10/30.73 c rational objective 3 32.90/33.55 c #Conflicts: 67000 | #Constraints: 5929 32.90/33.55 c #Conflicts: 68000 | #Constraints: 6935 32.90/33.55 c #Conflicts: 69000 | #Constraints: 7938 32.90/33.55 c #Conflicts: 70000 | #Constraints: 8945 32.90/33.55 c #Conflicts: 71000 | #Constraints: 9948 32.90/33.55 c #Conflicts: 72000 | #Constraints: 10955 32.90/33.55 c INPROCESSING 32.90/33.55 c GARBAGE COLLECT 32.90/33.55 c rational objective 3 36.29/36.90 c #Conflicts: 73000 | #Constraints: 6522 36.29/36.90 c #Conflicts: 74000 | #Constraints: 7529 36.29/36.90 c #Conflicts: 75000 | #Constraints: 8536 36.29/36.90 c #Conflicts: 76000 | #Constraints: 9545 36.29/36.90 c #Conflicts: 77000 | #Constraints: 10555 36.29/36.90 c #Conflicts: 78000 | #Constraints: 11560 36.29/36.90 c INPROCESSING 36.29/36.90 c GARBAGE COLLECT 36.29/36.90 c rational objective 3 39.58/40.26 c #Conflicts: 79000 | #Constraints: 6938 39.58/40.26 c #Conflicts: 80000 | #Constraints: 7946 39.58/40.26 c #Conflicts: 81000 | #Constraints: 8949 39.58/40.26 c #Conflicts: 82000 | #Constraints: 9953 39.58/40.26 c #Conflicts: 83000 | #Constraints: 10955 39.58/40.26 c #Conflicts: 84000 | #Constraints: 11962 39.58/40.26 c INPROCESSING 39.58/40.26 c GARBAGE COLLECT 39.58/40.26 c rational objective 3 43.17/43.88 c #Conflicts: 85000 | #Constraints: 7131 43.17/43.88 c #Conflicts: 86000 | #Constraints: 8135 43.17/43.88 c #Conflicts: 87000 | #Constraints: 9142 43.17/43.88 c #Conflicts: 88000 | #Constraints: 10145 43.17/43.88 c #Conflicts: 89000 | #Constraints: 11149 43.17/43.88 c #Conflicts: 90000 | #Constraints: 12157 43.17/43.88 c INPROCESSING 43.17/43.88 c GARBAGE COLLECT 43.17/43.88 c rational objective 3 47.86/48.56 c #Conflicts: 91000 | #Constraints: 7130 47.86/48.56 c #Conflicts: 92000 | #Constraints: 8136 47.86/48.56 c #Conflicts: 93000 | #Constraints: 9145 47.86/48.56 c #Conflicts: 94000 | #Constraints: 10151 47.86/48.56 c #Conflicts: 95000 | #Constraints: 11155 47.86/48.56 c #Conflicts: 96000 | #Constraints: 12160 47.86/48.56 c INPROCESSING 47.86/48.56 c GARBAGE COLLECT 47.86/48.56 c rational objective 3 53.55/54.20 c #Conflicts: 97000 | #Constraints: 6941 53.55/54.20 c #Conflicts: 98000 | #Constraints: 7951 53.55/54.20 c #Conflicts: 99000 | #Constraints: 8958 53.55/54.20 c #Conflicts: 100000 | #Constraints: 9966 53.55/54.20 c #Conflicts: 101000 | #Constraints: 10976 53.55/54.20 c #Conflicts: 102000 | #Constraints: 11982 53.55/54.20 c #Conflicts: 103000 | #Constraints: 12988 53.55/54.20 c INPROCESSING 53.55/54.20 c GARBAGE COLLECT 53.55/54.20 c rational objective 3 58.23/58.93 c #Conflicts: 104000 | #Constraints: 7542 58.23/58.93 c #Conflicts: 105000 | #Constraints: 8553 58.23/58.93 c #Conflicts: 106000 | #Constraints: 9559 58.23/58.93 c #Conflicts: 107000 | #Constraints: 10566 58.23/58.93 c #Conflicts: 108000 | #Constraints: 11573 58.23/58.93 c #Conflicts: 109000 | #Constraints: 12576 58.23/58.93 c #Conflicts: 110000 | #Constraints: 13579 58.23/58.93 c INPROCESSING 58.23/58.93 c GARBAGE COLLECT 58.23/58.93 c rational objective 3 62.03/62.71 c #Conflicts: 111000 | #Constraints: 7938 62.03/62.71 c #Conflicts: 112000 | #Constraints: 8947 62.03/62.71 c #Conflicts: 113000 | #Constraints: 9954 62.03/62.71 c #Conflicts: 114000 | #Constraints: 10962 62.03/62.71 c #Conflicts: 115000 | #Constraints: 11970 62.03/62.71 c #Conflicts: 116000 | #Constraints: 12976 62.03/62.71 c #Conflicts: 117000 | #Constraints: 13984 62.03/62.71 c INPROCESSING 62.03/62.71 c GARBAGE COLLECT 62.03/62.71 c rational objective 3 66.42/67.14 c #Conflicts: 118000 | #Constraints: 8145 66.42/67.14 c #Conflicts: 119000 | #Constraints: 9147 66.42/67.14 c #Conflicts: 120000 | #Constraints: 10150 66.42/67.14 c #Conflicts: 121000 | #Constraints: 11156 66.42/67.14 c #Conflicts: 122000 | #Constraints: 12159 66.42/67.14 c #Conflicts: 123000 | #Constraints: 13164 66.42/67.14 c #Conflicts: 124000 | #Constraints: 14173 66.42/67.14 c INPROCESSING 66.42/67.14 c GARBAGE COLLECT 66.42/67.14 c rational objective 3 71.10/71.87 c #Conflicts: 125000 | #Constraints: 8136 71.10/71.87 c #Conflicts: 126000 | #Constraints: 9145 71.10/71.87 c #Conflicts: 127000 | #Constraints: 10153 71.10/71.87 c #Conflicts: 128000 | #Constraints: 11158 71.10/71.87 c #Conflicts: 129000 | #Constraints: 12163 71.10/71.87 c #Conflicts: 130000 | #Constraints: 13170 71.10/71.87 c #Conflicts: 131000 | #Constraints: 14177 71.10/71.87 c INPROCESSING 71.10/71.87 c GARBAGE COLLECT 71.10/71.87 c rational objective 3 76.49/77.20 c #Conflicts: 132000 | #Constraints: 7936 76.49/77.20 c #Conflicts: 133000 | #Constraints: 8942 76.49/77.20 c #Conflicts: 134000 | #Constraints: 9948 76.49/77.20 c #Conflicts: 135000 | #Constraints: 10952 76.49/77.20 c #Conflicts: 136000 | #Constraints: 11959 76.49/77.20 c #Conflicts: 137000 | #Constraints: 12965 76.49/77.20 c #Conflicts: 138000 | #Constraints: 13973 76.49/77.20 c #Conflicts: 139000 | #Constraints: 14980 76.49/77.20 c INPROCESSING 76.49/77.20 c GARBAGE COLLECT 76.49/77.20 c rational objective 3 82.97/83.71 c #Conflicts: 140000 | #Constraints: 8549 82.97/83.71 c #Conflicts: 141000 | #Constraints: 9553 82.97/83.71 c #Conflicts: 142000 | #Constraints: 10559 82.97/83.71 c #Conflicts: 143000 | #Constraints: 11563 82.97/83.71 c #Conflicts: 144000 | #Constraints: 12567 82.97/83.71 c #Conflicts: 145000 | #Constraints: 13575 82.97/83.71 c #Conflicts: 146000 | #Constraints: 14581 82.97/83.71 c #Conflicts: 147000 | #Constraints: 15585 82.97/83.71 c INPROCESSING 82.97/83.71 c GARBAGE COLLECT 82.97/83.71 c rational objective 3 87.86/88.62 c #Conflicts: 148000 | #Constraints: 8955 87.86/88.62 c #Conflicts: 149000 | #Constraints: 9963 87.86/88.62 c #Conflicts: 150000 | #Constraints: 10965 87.86/88.62 c #Conflicts: 151000 | #Constraints: 11974 87.86/88.62 c #Conflicts: 152000 | #Constraints: 12984 87.86/88.62 c #Conflicts: 153000 | #Constraints: 13992 87.86/88.62 c #Conflicts: 154000 | #Constraints: 14995 87.86/88.62 c #Conflicts: 155000 | #Constraints: 16003 87.86/88.62 c INPROCESSING 87.86/88.62 c GARBAGE COLLECT 87.86/88.62 c rational objective 3 93.45/94.20 c #Conflicts: 156000 | #Constraints: 9158 93.45/94.20 c #Conflicts: 157000 | #Constraints: 10164 93.45/94.20 c #Conflicts: 158000 | #Constraints: 11169 93.45/94.20 c #Conflicts: 159000 | #Constraints: 12175 93.45/94.20 c #Conflicts: 160000 | #Constraints: 13182 93.45/94.20 c #Conflicts: 161000 | #Constraints: 14196 93.45/94.20 c #Conflicts: 162000 | #Constraints: 15199 93.45/94.20 c #Conflicts: 163000 | #Constraints: 16210 93.45/94.20 c INPROCESSING 93.45/94.20 c GARBAGE COLLECT 93.45/94.20 c rational objective 3 98.24/99.06 c #Conflicts: 164000 | #Constraints: 9165 98.24/99.06 c #Conflicts: 165000 | #Constraints: 10176 98.24/99.06 c #Conflicts: 166000 | #Constraints: 11197 98.24/99.06 c #Conflicts: 167000 | #Constraints: 12205 98.24/99.06 c #Conflicts: 168000 | #Constraints: 13214 98.24/99.06 c #Conflicts: 169000 | #Constraints: 14219 98.24/99.06 c #Conflicts: 170000 | #Constraints: 15222 98.24/99.06 c #Conflicts: 171000 | #Constraints: 16227 98.24/99.06 c INPROCESSING 98.24/99.06 c GARBAGE COLLECT 98.24/99.06 c rational objective 3 103.33/104.12 c #Conflicts: 172000 | #Constraints: 8969 103.33/104.12 c #Conflicts: 173000 | #Constraints: 9970 103.33/104.12 c #Conflicts: 174000 | #Constraints: 10977 103.33/104.12 c #Conflicts: 175000 | #Constraints: 11981 103.33/104.12 c #Conflicts: 176000 | #Constraints: 12987 103.33/104.12 c #Conflicts: 177000 | #Constraints: 13996 103.33/104.12 c #Conflicts: 178000 | #Constraints: 15008 103.33/104.12 c #Conflicts: 179000 | #Constraints: 16018 103.33/104.12 c #Conflicts: 180000 | #Constraints: 17023 103.33/104.12 c INPROCESSING 103.33/104.12 c GARBAGE COLLECT 103.33/104.12 c rational objective 3 109.21/110.03 c #Conflicts: 181000 | #Constraints: 9564 109.21/110.03 c #Conflicts: 182000 | #Constraints: 10573 109.21/110.03 c #Conflicts: 183000 | #Constraints: 11578 109.21/110.03 c #Conflicts: 184000 | #Constraints: 12584 109.21/110.03 c #Conflicts: 185000 | #Constraints: 13589 109.21/110.03 c #Conflicts: 186000 | #Constraints: 14593 109.21/110.03 c #Conflicts: 187000 | #Constraints: 15599 109.21/110.03 c #Conflicts: 188000 | #Constraints: 16607 109.21/110.03 c #Conflicts: 189000 | #Constraints: 17612 109.21/110.03 c INPROCESSING 109.21/110.03 c GARBAGE COLLECT 109.21/110.03 c rational objective 3 118.29/119.19 c #Conflicts: 190000 | #Constraints: 9967 118.29/119.19 c #Conflicts: 191000 | #Constraints: 10976 118.29/119.19 c #Conflicts: 192000 | #Constraints: 11982 118.29/119.19 c #Conflicts: 193000 | #Constraints: 12986 118.29/119.19 c #Conflicts: 194000 | #Constraints: 13989 118.29/119.19 c #Conflicts: 195000 | #Constraints: 14994 118.29/119.19 c #Conflicts: 196000 | #Constraints: 15997 118.29/119.19 c #Conflicts: 197000 | #Constraints: 17003 118.29/119.19 c #Conflicts: 198000 | #Constraints: 18005 118.29/119.19 c INPROCESSING 118.29/119.19 c GARBAGE COLLECT 118.29/119.19 c rational objective 3 127.86/128.70 c #Conflicts: 199000 | #Constraints: 10160 127.86/128.70 c #Conflicts: 200000 | #Constraints: 11165 127.86/128.70 c #Conflicts: 201000 | #Constraints: 12169 127.86/128.70 c #Conflicts: 202000 | #Constraints: 13172 127.86/128.70 c #Conflicts: 203000 | #Constraints: 14175 127.86/128.70 c #Conflicts: 204000 | #Constraints: 15177 127.86/128.70 c #Conflicts: 205000 | #Constraints: 16182 127.86/128.70 c #Conflicts: 206000 | #Constraints: 17193 127.86/128.70 c #Conflicts: 207000 | #Constraints: 18196 127.86/128.70 c INPROCESSING 127.86/128.70 c GARBAGE COLLECT 127.86/128.70 c rational objective 3 137.04/138.00 c #Conflicts: 208000 | #Constraints: 10153 137.04/138.00 c #Conflicts: 209000 | #Constraints: 11157 137.04/138.00 c #Conflicts: 210000 | #Constraints: 12164 137.04/138.00 c #Conflicts: 211000 | #Constraints: 13168 137.04/138.00 c #Conflicts: 212000 | #Constraints: 14173 137.04/138.00 c #Conflicts: 213000 | #Constraints: 15180 137.04/138.00 c #Conflicts: 214000 | #Constraints: 16188 137.04/138.00 c #Conflicts: 215000 | #Constraints: 17191 137.04/138.00 c #Conflicts: 216000 | #Constraints: 18196 137.04/138.00 c INPROCESSING 137.04/138.00 c GARBAGE COLLECT 137.04/138.00 c rational objective 3 145.91/146.80 c #Conflicts: 217000 | #Constraints: 9953 145.91/146.80 c #Conflicts: 218000 | #Constraints: 10957 145.91/146.80 c #Conflicts: 219000 | #Constraints: 11961 145.91/146.80 c #Conflicts: 220000 | #Constraints: 12965 145.91/146.80 c #Conflicts: 221000 | #Constraints: 13973 145.91/146.80 c #Conflicts: 222000 | #Constraints: 14976 145.91/146.80 c #Conflicts: 223000 | #Constraints: 15980 145.91/146.80 c #Conflicts: 224000 | #Constraints: 16982 145.91/146.80 c #Conflicts: 225000 | #Constraints: 17984 145.91/146.80 c #Conflicts: 226000 | #Constraints: 18987 145.91/146.80 c INPROCESSING 145.91/146.80 c GARBAGE COLLECT 145.91/146.80 c rational objective 3 154.79/155.74 c #Conflicts: 227000 | #Constraints: 10551 154.79/155.74 c #Conflicts: 228000 | #Constraints: 11558 154.79/155.74 c #Conflicts: 229000 | #Constraints: 12566 154.79/155.74 c #Conflicts: 230000 | #Constraints: 13572 154.79/155.74 c #Conflicts: 231000 | #Constraints: 14577 154.79/155.74 c #Conflicts: 232000 | #Constraints: 15586 154.79/155.74 c #Conflicts: 233000 | #Constraints: 16593 154.79/155.74 c #Conflicts: 234000 | #Constraints: 17603 154.79/155.74 c #Conflicts: 235000 | #Constraints: 18611 154.79/155.74 c #Conflicts: 236000 | #Constraints: 19621 154.79/155.74 c INPROCESSING 154.79/155.74 c GARBAGE COLLECT 154.79/155.74 c rational objective 3 163.97/164.98 c #Conflicts: 237000 | #Constraints: 10960 163.97/164.98 c #Conflicts: 238000 | #Constraints: 11968 163.97/164.98 c #Conflicts: 239000 | #Constraints: 12973 163.97/164.98 c #Conflicts: 240000 | #Constraints: 13981 163.97/164.98 c #Conflicts: 241000 | #Constraints: 14992 163.97/164.98 c #Conflicts: 242000 | #Constraints: 15995 163.97/164.98 c #Conflicts: 243000 | #Constraints: 17001 163.97/164.98 c #Conflicts: 244000 | #Constraints: 18009 163.97/164.98 c #Conflicts: 245000 | #Constraints: 19015 163.97/164.98 c #Conflicts: 246000 | #Constraints: 20023 163.97/164.98 c INPROCESSING 163.97/164.98 c GARBAGE COLLECT 163.97/164.98 c rational objective 3 171.06/172.06 c #Conflicts: 247000 | #Constraints: 11187 171.06/172.06 c #Conflicts: 248000 | #Constraints: 12192 171.06/172.06 c #Conflicts: 249000 | #Constraints: 13195 171.06/172.06 c #Conflicts: 250000 | #Constraints: 14200 171.06/172.06 c #Conflicts: 251000 | #Constraints: 15206 171.06/172.06 c #Conflicts: 252000 | #Constraints: 16212 171.06/172.06 c #Conflicts: 253000 | #Constraints: 17214 171.06/172.06 c #Conflicts: 254000 | #Constraints: 18222 171.06/172.06 c #Conflicts: 255000 | #Constraints: 19235 171.06/172.06 c #Conflicts: 256000 | #Constraints: 20243 171.06/172.06 c INPROCESSING 171.06/172.06 c GARBAGE COLLECT 171.06/172.06 c rational objective 3 178.73/179.79 c #Conflicts: 257000 | #Constraints: 11168 178.73/179.79 c #Conflicts: 258000 | #Constraints: 12178 178.73/179.79 c #Conflicts: 259000 | #Constraints: 13184 178.73/179.79 c #Conflicts: 260000 | #Constraints: 14189 178.73/179.79 c #Conflicts: 261000 | #Constraints: 15193 178.73/179.79 c #Conflicts: 262000 | #Constraints: 16201 178.73/179.79 c #Conflicts: 263000 | #Constraints: 17209 178.73/179.79 c #Conflicts: 264000 | #Constraints: 18224 178.73/179.79 c #Conflicts: 265000 | #Constraints: 19230 178.73/179.79 c #Conflicts: 266000 | #Constraints: 20233 178.73/179.79 c INPROCESSING 178.73/179.79 c GARBAGE COLLECT 178.73/179.79 c rational objective 3 187.40/188.43 c #Conflicts: 267000 | #Constraints: 10971 187.40/188.43 c #Conflicts: 268000 | #Constraints: 11977 187.40/188.43 c #Conflicts: 269000 | #Constraints: 12979 187.40/188.43 c #Conflicts: 270000 | #Constraints: 13990 187.40/188.43 c #Conflicts: 271000 | #Constraints: 14995 187.40/188.43 c #Conflicts: 272000 | #Constraints: 16003 187.40/188.43 c #Conflicts: 273000 | #Constraints: 17008 187.40/188.43 c #Conflicts: 274000 | #Constraints: 18009 187.40/188.43 c #Conflicts: 275000 | #Constraints: 19010 187.40/188.43 c #Conflicts: 276000 | #Constraints: 20015 187.40/188.43 c #Conflicts: 277000 | #Constraints: 21025 187.40/188.43 c INPROCESSING 187.40/188.43 c GARBAGE COLLECT 187.40/188.43 c rational objective 3 196.38/197.49 c #Conflicts: 278000 | #Constraints: 11569 196.38/197.49 c #Conflicts: 279000 | #Constraints: 12574 196.38/197.49 c #Conflicts: 280000 | #Constraints: 13579 196.38/197.49 c #Conflicts: 281000 | #Constraints: 14584 196.38/197.49 c #Conflicts: 282000 | #Constraints: 15589 196.38/197.49 c #Conflicts: 283000 | #Constraints: 16595 196.38/197.49 c #Conflicts: 284000 | #Constraints: 17601 196.38/197.49 c #Conflicts: 285000 | #Constraints: 18608 196.38/197.49 c #Conflicts: 286000 | #Constraints: 19612 196.38/197.49 c #Conflicts: 287000 | #Constraints: 20622 196.38/197.49 c #Conflicts: 288000 | #Constraints: 21625 196.38/197.49 c INPROCESSING 196.38/197.49 c GARBAGE COLLECT 196.38/197.49 c rational objective 3 206.96/208.09 c #Conflicts: 289000 | #Constraints: 11961 206.96/208.09 c #Conflicts: 290000 | #Constraints: 12967 206.96/208.09 c #Conflicts: 291000 | #Constraints: 13973 206.96/208.09 c #Conflicts: 292000 | #Constraints: 14979 206.96/208.09 c #Conflicts: 293000 | #Constraints: 15985 206.96/208.09 c #Conflicts: 294000 | #Constraints: 16989 206.96/208.09 c #Conflicts: 295000 | #Constraints: 17993 206.96/208.09 c #Conflicts: 296000 | #Constraints: 18999 206.96/208.09 c #Conflicts: 297000 | #Constraints: 20013 206.96/208.09 c #Conflicts: 298000 | #Constraints: 21018 206.96/208.09 c #Conflicts: 299000 | #Constraints: 22028 206.96/208.09 c INPROCESSING 206.96/208.09 c GARBAGE COLLECT 206.96/208.09 c rational objective 3 215.54/216.68 c #Conflicts: 300000 | #Constraints: 12161 215.54/216.68 c #Conflicts: 301000 | #Constraints: 13165 215.54/216.68 c #Conflicts: 302000 | #Constraints: 14170 215.54/216.68 c #Conflicts: 303000 | #Constraints: 15175 215.54/216.68 c #Conflicts: 304000 | #Constraints: 16179 215.54/216.68 c #Conflicts: 305000 | #Constraints: 17183 215.54/216.68 c #Conflicts: 306000 | #Constraints: 18188 215.54/216.68 c #Conflicts: 307000 | #Constraints: 19198 215.54/216.68 c #Conflicts: 308000 | #Constraints: 20202 215.54/216.68 c #Conflicts: 309000 | #Constraints: 21206 215.54/216.68 c #Conflicts: 310000 | #Constraints: 22211 215.54/216.68 c INPROCESSING 215.54/216.68 c GARBAGE COLLECT 215.54/216.68 c rational objective 3 225.12/226.22 c #Conflicts: 311000 | #Constraints: 12156 225.12/226.22 c #Conflicts: 312000 | #Constraints: 13162 225.12/226.22 c #Conflicts: 313000 | #Constraints: 14167 225.12/226.22 c #Conflicts: 314000 | #Constraints: 15172 225.12/226.22 c #Conflicts: 315000 | #Constraints: 16180 225.12/226.22 c #Conflicts: 316000 | #Constraints: 17187 225.12/226.22 c #Conflicts: 317000 | #Constraints: 18191 225.12/226.22 c #Conflicts: 318000 | #Constraints: 19194 225.12/226.22 c #Conflicts: 319000 | #Constraints: 20200 225.12/226.22 c #Conflicts: 320000 | #Constraints: 21202 225.12/226.22 c #Conflicts: 321000 | #Constraints: 22208 225.12/226.22 c INPROCESSING 225.12/226.22 c GARBAGE COLLECT 225.12/226.22 c rational objective 3 236.29/237.41 c #Conflicts: 322000 | #Constraints: 11959 236.29/237.41 c #Conflicts: 323000 | #Constraints: 12965 236.29/237.41 c #Conflicts: 324000 | #Constraints: 13975 236.29/237.41 c #Conflicts: 325000 | #Constraints: 14981 236.29/237.41 c #Conflicts: 326000 | #Constraints: 15987 236.29/237.41 c #Conflicts: 327000 | #Constraints: 16995 236.29/237.41 c #Conflicts: 328000 | #Constraints: 17997 236.29/237.41 c #Conflicts: 329000 | #Constraints: 19000 236.29/237.41 c #Conflicts: 330000 | #Constraints: 20002 236.29/237.41 c #Conflicts: 331000 | #Constraints: 21007 236.29/237.41 c #Conflicts: 332000 | #Constraints: 22010 236.29/237.41 c #Conflicts: 333000 | #Constraints: 23013 236.29/237.41 c INPROCESSING 236.29/237.41 c GARBAGE COLLECT 236.29/237.41 c rational objective 3 244.76/245.95 c #Conflicts: 334000 | #Constraints: 12562 244.76/245.95 c #Conflicts: 335000 | #Constraints: 13574 244.76/245.95 c #Conflicts: 336000 | #Constraints: 14581 244.76/245.95 c #Conflicts: 337000 | #Constraints: 15583 244.76/245.95 c #Conflicts: 338000 | #Constraints: 16587 244.76/245.95 c #Conflicts: 339000 | #Constraints: 17594 244.76/245.95 c #Conflicts: 340000 | #Constraints: 18601 244.76/245.95 c #Conflicts: 341000 | #Constraints: 19604 244.76/245.95 c #Conflicts: 342000 | #Constraints: 20610 244.76/245.95 c #Conflicts: 343000 | #Constraints: 21616 244.76/245.95 c #Conflicts: 344000 | #Constraints: 22622 244.76/245.95 c #Conflicts: 345000 | #Constraints: 23627 244.76/245.95 c INPROCESSING 244.76/245.95 c GARBAGE COLLECT 244.76/245.95 c rational objective 3 256.14/257.31 c #Conflicts: 346000 | #Constraints: 12973 256.14/257.31 c #Conflicts: 347000 | #Constraints: 13981 256.14/257.31 c #Conflicts: 348000 | #Constraints: 14998 256.14/257.31 c #Conflicts: 349000 | #Constraints: 16006 256.14/257.31 c #Conflicts: 350000 | #Constraints: 17012 256.14/257.31 c #Conflicts: 351000 | #Constraints: 18018 256.14/257.31 c #Conflicts: 352000 | #Constraints: 19023 256.14/257.31 c #Conflicts: 353000 | #Constraints: 20024 256.14/257.31 c #Conflicts: 354000 | #Constraints: 21027 256.14/257.31 c #Conflicts: 355000 | #Constraints: 22031 256.14/257.31 c #Conflicts: 356000 | #Constraints: 23039 256.14/257.31 c #Conflicts: 357000 | #Constraints: 24044 256.14/257.31 c INPROCESSING 256.14/257.31 c GARBAGE COLLECT 256.14/257.31 c rational objective 3 265.72/267.00 c #Conflicts: 358000 | #Constraints: 13194 265.72/267.00 c #Conflicts: 359000 | #Constraints: 14200 265.72/267.00 c #Conflicts: 360000 | #Constraints: 15203 265.72/267.00 c #Conflicts: 361000 | #Constraints: 16208 265.72/267.00 c #Conflicts: 362000 | #Constraints: 17215 265.72/267.00 c #Conflicts: 363000 | #Constraints: 18223 265.72/267.00 c #Conflicts: 364000 | #Constraints: 19227 265.72/267.00 c #Conflicts: 365000 | #Constraints: 20234 265.72/267.00 c #Conflicts: 366000 | #Constraints: 21242 265.72/267.00 c #Conflicts: 367000 | #Constraints: 22250 265.72/267.00 c #Conflicts: 368000 | #Constraints: 23256 265.72/267.00 c #Conflicts: 369000 | #Constraints: 24265 265.72/267.00 c INPROCESSING 265.72/267.00 c GARBAGE COLLECT 265.72/267.00 c rational objective 3 280.38/281.64 c #Conflicts: 370000 | #Constraints: 13199 280.38/281.64 c #Conflicts: 371000 | #Constraints: 14201 280.38/281.64 c #Conflicts: 372000 | #Constraints: 15205 280.38/281.64 c #Conflicts: 373000 | #Constraints: 16210 280.38/281.64 c #Conflicts: 374000 | #Constraints: 17217 280.38/281.64 c #Conflicts: 375000 | #Constraints: 18221 280.38/281.64 c #Conflicts: 376000 | #Constraints: 19227 280.38/281.64 c #Conflicts: 377000 | #Constraints: 20234 280.38/281.64 c #Conflicts: 378000 | #Constraints: 21241 280.38/281.64 c #Conflicts: 379000 | #Constraints: 22248 280.38/281.64 c #Conflicts: 380000 | #Constraints: 23256 280.38/281.64 c #Conflicts: 381000 | #Constraints: 24263 280.38/281.64 c INPROCESSING 280.38/281.64 c GARBAGE COLLECT 280.38/281.64 c rational objective 3 292.04/293.36 c #Conflicts: 382000 | #Constraints: 12984 292.04/293.36 c #Conflicts: 383000 | #Constraints: 13990 292.04/293.36 c #Conflicts: 384000 | #Constraints: 14994 292.04/293.36 c #Conflicts: 385000 | #Constraints: 15998 292.04/293.36 c #Conflicts: 386000 | #Constraints: 17004 292.04/293.36 c #Conflicts: 387000 | #Constraints: 18013 292.04/293.36 c #Conflicts: 388000 | #Constraints: 19018 292.04/293.36 c #Conflicts: 389000 | #Constraints: 20024 292.04/293.36 c #Conflicts: 390000 | #Constraints: 21030 292.04/293.36 c #Conflicts: 391000 | #Constraints: 22035 292.04/293.36 c #Conflicts: 392000 | #Constraints: 23041 292.04/293.36 c #Conflicts: 393000 | #Constraints: 24052 292.04/293.36 c #Conflicts: 394000 | #Constraints: 25059 292.04/293.36 c INPROCESSING 292.04/293.36 c GARBAGE COLLECT 292.04/293.36 c rational objective 3 302.53/303.88 c #Conflicts: 395000 | #Constraints: 13590 302.53/303.88 c #Conflicts: 396000 | #Constraints: 14600 302.53/303.88 c #Conflicts: 397000 | #Constraints: 15610 302.53/303.88 c #Conflicts: 398000 | #Constraints: 16617 302.53/303.88 c #Conflicts: 399000 | #Constraints: 17624 302.53/303.88 c #Conflicts: 400000 | #Constraints: 18631 302.53/303.88 c #Conflicts: 401000 | #Constraints: 19637 302.53/303.88 c #Conflicts: 402000 | #Constraints: 20643 302.53/303.88 c #Conflicts: 403000 | #Constraints: 21649 302.53/303.88 c #Conflicts: 404000 | #Constraints: 22657 302.53/303.88 c #Conflicts: 405000 | #Constraints: 23664 302.53/303.88 c #Conflicts: 406000 | #Constraints: 24670 302.53/303.88 c #Conflicts: 407000 | #Constraints: 25676 302.53/303.88 c INPROCESSING 302.53/303.88 c GARBAGE COLLECT 302.53/303.88 c rational objective 3 313.99/315.32 c #Conflicts: 408000 | #Constraints: 13993 313.99/315.32 c #Conflicts: 409000 | #Constraints: 14999 313.99/315.32 c #Conflicts: 410000 | #Constraints: 16005 313.99/315.32 c #Conflicts: 411000 | #Constraints: 17010 313.99/315.32 c #Conflicts: 412000 | #Constraints: 18014 313.99/315.32 c #Conflicts: 413000 | #Constraints: 19020 313.99/315.32 c #Conflicts: 414000 | #Constraints: 20027 313.99/315.32 c #Conflicts: 415000 | #Constraints: 21032 313.99/315.32 c #Conflicts: 416000 | #Constraints: 22045 313.99/315.32 c #Conflicts: 417000 | #Constraints: 23056 313.99/315.32 c #Conflicts: 418000 | #Constraints: 24061 313.99/315.32 c #Conflicts: 419000 | #Constraints: 25066 313.99/315.32 c #Conflicts: 420000 | #Constraints: 26067 313.99/315.32 c INPROCESSING 313.99/315.32 c GARBAGE COLLECT 313.99/315.32 c rational objective 3 330.75/332.16 c #Conflicts: 421000 | #Constraints: 14186 330.75/332.16 c #Conflicts: 422000 | #Constraints: 15193 330.75/332.16 c #Conflicts: 423000 | #Constraints: 16196 330.75/332.16 c #Conflicts: 424000 | #Constraints: 17202 330.75/332.16 c #Conflicts: 425000 | #Constraints: 18209 330.75/332.16 c #Conflicts: 426000 | #Constraints: 19215 330.75/332.16 c #Conflicts: 427000 | #Constraints: 20219 330.75/332.16 c #Conflicts: 428000 | #Constraints: 21222 330.75/332.16 c #Conflicts: 429000 | #Constraints: 22228 330.75/332.16 c #Conflicts: 430000 | #Constraints: 23233 330.75/332.16 c #Conflicts: 431000 | #Constraints: 24237 330.75/332.16 c #Conflicts: 432000 | #Constraints: 25241 330.75/332.16 c #Conflicts: 433000 | #Constraints: 26246 330.75/332.16 c INPROCESSING 330.75/332.16 c GARBAGE COLLECT 330.75/332.16 c rational objective 3 345.62/347.06 c #Conflicts: 434000 | #Constraints: 14179 345.62/347.06 c #Conflicts: 435000 | #Constraints: 15188 345.62/347.06 c #Conflicts: 436000 | #Constraints: 16194 345.62/347.06 c #Conflicts: 437000 | #Constraints: 17198 345.62/347.06 c #Conflicts: 438000 | #Constraints: 18201 345.62/347.06 c #Conflicts: 439000 | #Constraints: 19204 345.62/347.06 c #Conflicts: 440000 | #Constraints: 20211 345.62/347.06 c #Conflicts: 441000 | #Constraints: 21219 345.62/347.06 c #Conflicts: 442000 | #Constraints: 22223 345.62/347.06 c #Conflicts: 443000 | #Constraints: 23230 345.62/347.06 c #Conflicts: 444000 | #Constraints: 24233 345.62/347.06 c #Conflicts: 445000 | #Constraints: 25238 345.62/347.06 c #Conflicts: 446000 | #Constraints: 26240 345.62/347.06 c INPROCESSING 345.62/347.06 c GARBAGE COLLECT 345.62/347.06 c rational objective 3 370.43/371.96 c #Conflicts: 447000 | #Constraints: 13979 370.43/371.96 c #Conflicts: 448000 | #Constraints: 14982 370.43/371.96 c #Conflicts: 449000 | #Constraints: 15989 370.43/371.96 c #Conflicts: 450000 | #Constraints: 16998 370.43/371.96 c #Conflicts: 451000 | #Constraints: 18001 370.43/371.96 c #Conflicts: 452000 | #Constraints: 19009 370.43/371.96 c #Conflicts: 453000 | #Constraints: 20014 370.43/371.96 c #Conflicts: 454000 | #Constraints: 21020 370.43/371.96 c #Conflicts: 455000 | #Constraints: 22021 370.43/371.96 c #Conflicts: 456000 | #Constraints: 23026 370.43/371.96 c #Conflicts: 457000 | #Constraints: 24031 370.43/371.96 c #Conflicts: 458000 | #Constraints: 25036 370.43/371.96 c #Conflicts: 459000 | #Constraints: 26038 370.43/371.96 c #Conflicts: 460000 | #Constraints: 27043 370.43/371.96 c INPROCESSING 370.43/371.96 c GARBAGE COLLECT 370.43/371.96 c rational objective 3 392.68/394.21 c #Conflicts: 461000 | #Constraints: 14591 392.68/394.21 c #Conflicts: 462000 | #Constraints: 15596 392.68/394.21 c #Conflicts: 463000 | #Constraints: 16599 392.68/394.21 c #Conflicts: 464000 | #Constraints: 17604 392.68/394.21 c #Conflicts: 465000 | #Constraints: 18608 392.68/394.21 c #Conflicts: 466000 | #Constraints: 19614 392.68/394.21 c #Conflicts: 467000 | #Constraints: 20617 392.68/394.21 c #Conflicts: 468000 | #Constraints: 21624 392.68/394.21 c #Conflicts: 469000 | #Constraints: 22627 392.68/394.21 c #Conflicts: 470000 | #Constraints: 23636 392.68/394.21 c #Conflicts: 471000 | #Constraints: 24644 392.68/394.21 c #Conflicts: 472000 | #Constraints: 25645 392.68/394.21 c #Conflicts: 473000 | #Constraints: 26646 392.68/394.21 c #Conflicts: 474000 | #Constraints: 27648 392.68/394.21 c INPROCESSING 392.68/394.21 c GARBAGE COLLECT 392.68/394.21 c rational objective 3 411.04/412.67 c #Conflicts: 475000 | #Constraints: 14986 411.04/412.67 c #Conflicts: 476000 | #Constraints: 15994 411.04/412.67 c #Conflicts: 477000 | #Constraints: 16998 411.04/412.67 c #Conflicts: 478000 | #Constraints: 18003 411.04/412.67 c #Conflicts: 479000 | #Constraints: 19004 411.04/412.67 c #Conflicts: 480000 | #Constraints: 20012 411.04/412.67 c #Conflicts: 481000 | #Constraints: 21016 411.04/412.67 c #Conflicts: 482000 | #Constraints: 22018 411.04/412.67 c #Conflicts: 483000 | #Constraints: 23024 411.04/412.67 c #Conflicts: 484000 | #Constraints: 24026 411.04/412.67 c #Conflicts: 485000 | #Constraints: 25030 411.04/412.67 c #Conflicts: 486000 | #Constraints: 26031 411.04/412.67 c #Conflicts: 487000 | #Constraints: 27032 411.04/412.67 c #Conflicts: 488000 | #Constraints: 28033 411.04/412.67 c INPROCESSING 411.04/412.67 c GARBAGE COLLECT 411.04/412.67 c rational objective 3 435.58/437.28 c #Conflicts: 489000 | #Constraints: 15180 435.58/437.28 c #Conflicts: 490000 | #Constraints: 16185 435.58/437.28 c #Conflicts: 491000 | #Constraints: 17188 435.58/437.28 c #Conflicts: 492000 | #Constraints: 18191 435.58/437.28 c #Conflicts: 493000 | #Constraints: 19193 435.58/437.28 c #Conflicts: 494000 | #Constraints: 20208 435.58/437.28 c #Conflicts: 495000 | #Constraints: 21211 435.58/437.28 c #Conflicts: 496000 | #Constraints: 22219 435.58/437.28 c #Conflicts: 497000 | #Constraints: 23223 435.58/437.28 c #Conflicts: 498000 | #Constraints: 24226 435.58/437.28 c #Conflicts: 499000 | #Constraints: 25232 435.58/437.28 c #Conflicts: 500000 | #Constraints: 26236 435.58/437.28 c #Conflicts: 501000 | #Constraints: 27238 435.58/437.28 c #Conflicts: 502000 | #Constraints: 28243 435.58/437.28 c INPROCESSING 435.58/437.28 c GARBAGE COLLECT 435.58/437.28 c rational objective 3 447.36/449.07 c #Conflicts: 503000 | #Constraints: 15173 447.36/449.07 c #Conflicts: 504000 | #Constraints: 16174 447.36/449.07 c #Conflicts: 505000 | #Constraints: 17176 447.36/449.07 c #Conflicts: 506000 | #Constraints: 18178 447.36/449.07 c #Conflicts: 507000 | #Constraints: 19182 447.36/449.07 c #Conflicts: 508000 | #Constraints: 20185 447.36/449.07 c #Conflicts: 509000 | #Constraints: 21187 447.36/449.07 c #Conflicts: 510000 | #Constraints: 22189 447.36/449.07 c #Conflicts: 511000 | #Constraints: 23190 447.36/449.07 c #Conflicts: 512000 | #Constraints: 24191 447.36/449.07 c #Conflicts: 513000 | #Constraints: 25195 447.36/449.07 c #Conflicts: 514000 | #Constraints: 26201 447.36/449.07 c #Conflicts: 515000 | #Constraints: 27202 447.36/449.07 c #Conflicts: 516000 | #Constraints: 28204 447.36/449.07 c INPROCESSING 447.36/449.07 c GARBAGE COLLECT 447.36/449.07 c rational objective 3 462.82/464.50 c #Conflicts: 517000 | #Constraints: 14968 462.82/464.50 c #Conflicts: 518000 | #Constraints: 15972 462.82/464.50 c #Conflicts: 519000 | #Constraints: 16978 462.82/464.50 c #Conflicts: 520000 | #Constraints: 17983 462.82/464.50 c #Conflicts: 521000 | #Constraints: 18987 462.82/464.50 c #Conflicts: 522000 | #Constraints: 19990 462.82/464.50 c #Conflicts: 523000 | #Constraints: 20996 462.82/464.50 c #Conflicts: 524000 | #Constraints: 22003 462.82/464.50 c #Conflicts: 525000 | #Constraints: 23007 462.82/464.50 c #Conflicts: 526000 | #Constraints: 24011 462.82/464.50 c #Conflicts: 527000 | #Constraints: 25018 462.82/464.50 c #Conflicts: 528000 | #Constraints: 26020 462.82/464.50 c #Conflicts: 529000 | #Constraints: 27023 462.82/464.50 c #Conflicts: 530000 | #Constraints: 28028 462.82/464.50 c #Conflicts: 531000 | #Constraints: 29028 462.82/464.50 c INPROCESSING 462.82/464.50 c GARBAGE COLLECT 462.82/464.50 c rational objective 3 479.49/481.28 c #Conflicts: 532000 | #Constraints: 15589 479.49/481.28 c #Conflicts: 533000 | #Constraints: 16594 479.49/481.28 c #Conflicts: 534000 | #Constraints: 17598 479.49/481.28 c #Conflicts: 535000 | #Constraints: 18607 479.49/481.28 c #Conflicts: 536000 | #Constraints: 19620 479.49/481.28 c #Conflicts: 537000 | #Constraints: 20632 479.49/481.28 c #Conflicts: 538000 | #Constraints: 21636 479.49/481.28 c #Conflicts: 539000 | #Constraints: 22637 479.49/481.28 c #Conflicts: 540000 | #Constraints: 23640 479.49/481.28 c #Conflicts: 541000 | #Constraints: 24646 479.49/481.28 c #Conflicts: 542000 | #Constraints: 25651 479.49/481.28 c #Conflicts: 543000 | #Constraints: 26655 479.49/481.28 c #Conflicts: 544000 | #Constraints: 27661 479.49/481.28 c #Conflicts: 545000 | #Constraints: 28665 479.49/481.28 c #Conflicts: 546000 | #Constraints: 29670 479.49/481.28 c INPROCESSING 479.49/481.28 c GARBAGE COLLECT 479.49/481.28 c rational objective 3 495.85/497.66 c #Conflicts: 547000 | #Constraints: 15984 495.85/497.66 c #Conflicts: 548000 | #Constraints: 16988 495.85/497.66 c #Conflicts: 549000 | #Constraints: 17993 495.85/497.66 c #Conflicts: 550000 | #Constraints: 18999 495.85/497.66 c #Conflicts: 551000 | #Constraints: 20001 495.85/497.66 c #Conflicts: 552000 | #Constraints: 21003 495.85/497.66 c #Conflicts: 553000 | #Constraints: 22009 495.85/497.66 c #Conflicts: 554000 | #Constraints: 23014 495.85/497.66 c #Conflicts: 555000 | #Constraints: 24019 495.85/497.66 c #Conflicts: 556000 | #Constraints: 25022 495.85/497.66 c #Conflicts: 557000 | #Constraints: 26024 495.85/497.66 c #Conflicts: 558000 | #Constraints: 27029 495.85/497.66 c #Conflicts: 559000 | #Constraints: 28033 495.85/497.66 c #Conflicts: 560000 | #Constraints: 29035 495.85/497.66 c #Conflicts: 561000 | #Constraints: 30039 495.85/497.66 c INPROCESSING 495.85/497.66 c GARBAGE COLLECT 495.85/497.66 c rational objective 3 511.22/513.05 c #Conflicts: 562000 | #Constraints: 16177 511.22/513.05 c #Conflicts: 563000 | #Constraints: 17184 511.22/513.05 c #Conflicts: 564000 | #Constraints: 18193 511.22/513.05 c #Conflicts: 565000 | #Constraints: 19199 511.22/513.05 c #Conflicts: 566000 | #Constraints: 20205 511.22/513.05 c #Conflicts: 567000 | #Constraints: 21214 511.22/513.05 c #Conflicts: 568000 | #Constraints: 22221 511.22/513.05 c #Conflicts: 569000 | #Constraints: 23231 511.22/513.05 c #Conflicts: 570000 | #Constraints: 24236 511.22/513.05 c #Conflicts: 571000 | #Constraints: 25245 511.22/513.05 c #Conflicts: 572000 | #Constraints: 26250 511.22/513.05 c #Conflicts: 573000 | #Constraints: 27259 511.22/513.05 c #Conflicts: 574000 | #Constraints: 28267 511.22/513.05 c #Conflicts: 575000 | #Constraints: 29275 511.22/513.05 c #Conflicts: 576000 | #Constraints: 30279 511.22/513.05 c INPROCESSING 511.22/513.05 c GARBAGE COLLECT 511.22/513.05 c rational objective 3 528.28/530.15 c #Conflicts: 577000 | #Constraints: 16209 528.28/530.15 c #Conflicts: 578000 | #Constraints: 17217 528.28/530.15 c #Conflicts: 579000 | #Constraints: 18230 528.28/530.15 c #Conflicts: 580000 | #Constraints: 19233 528.28/530.15 c #Conflicts: 581000 | #Constraints: 20238 528.28/530.15 c #Conflicts: 582000 | #Constraints: 21245 528.28/530.15 c #Conflicts: 583000 | #Constraints: 22250 528.28/530.15 c #Conflicts: 584000 | #Constraints: 23254 528.28/530.15 c #Conflicts: 585000 | #Constraints: 24259 528.28/530.15 c #Conflicts: 586000 | #Constraints: 25262 528.28/530.15 c #Conflicts: 587000 | #Constraints: 26266 528.28/530.15 c #Conflicts: 588000 | #Constraints: 27270 528.28/530.15 c #Conflicts: 589000 | #Constraints: 28274 528.28/530.15 c #Conflicts: 590000 | #Constraints: 29284 528.28/530.15 c #Conflicts: 591000 | #Constraints: 30288 528.28/530.15 c INPROCESSING 528.28/530.15 c GARBAGE COLLECT 528.28/530.15 c rational objective 3 549.62/551.59 c #Conflicts: 592000 | #Constraints: 16000 549.62/551.59 c #Conflicts: 593000 | #Constraints: 17006 549.62/551.59 c #Conflicts: 594000 | #Constraints: 18009 549.62/551.59 c #Conflicts: 595000 | #Constraints: 19011 549.62/551.59 c #Conflicts: 596000 | #Constraints: 20018 549.62/551.59 c #Conflicts: 597000 | #Constraints: 21025 549.62/551.59 c #Conflicts: 598000 | #Constraints: 22031 549.62/551.59 c #Conflicts: 599000 | #Constraints: 23037 549.62/551.59 c #Conflicts: 600000 | #Constraints: 24044 549.62/551.59 c #Conflicts: 601000 | #Constraints: 25047 549.62/551.59 c #Conflicts: 602000 | #Constraints: 26051 549.62/551.59 c #Conflicts: 603000 | #Constraints: 27055 549.62/551.59 c #Conflicts: 604000 | #Constraints: 28058 549.62/551.59 c #Conflicts: 605000 | #Constraints: 29061 549.62/551.59 c #Conflicts: 606000 | #Constraints: 30063 549.62/551.59 c #Conflicts: 607000 | #Constraints: 31065 549.62/551.59 c INPROCESSING 549.62/551.59 c GARBAGE COLLECT 549.62/551.59 c rational objective 3 573.86/575.82 c #Conflicts: 608000 | #Constraints: 16592 573.86/575.82 c #Conflicts: 609000 | #Constraints: 17595 573.86/575.82 c #Conflicts: 610000 | #Constraints: 18601 573.86/575.82 c #Conflicts: 611000 | #Constraints: 19605 573.86/575.82 c #Conflicts: 612000 | #Constraints: 20609 573.86/575.82 c #Conflicts: 613000 | #Constraints: 21612 573.86/575.82 c #Conflicts: 614000 | #Constraints: 22617 573.86/575.82 c #Conflicts: 615000 | #Constraints: 23624 573.86/575.82 c #Conflicts: 616000 | #Constraints: 24628 573.86/575.82 c #Conflicts: 617000 | #Constraints: 25632 573.86/575.82 c #Conflicts: 618000 | #Constraints: 26634 573.86/575.82 c #Conflicts: 619000 | #Constraints: 27640 573.86/575.82 c #Conflicts: 620000 | #Constraints: 28645 573.86/575.82 c #Conflicts: 621000 | #Constraints: 29652 573.86/575.82 c #Conflicts: 622000 | #Constraints: 30657 573.86/575.82 c #Conflicts: 623000 | #Constraints: 31663 573.86/575.82 c INPROCESSING 573.86/575.82 c GARBAGE COLLECT 573.86/575.82 c rational objective 3 591.03/593.05 c #Conflicts: 624000 | #Constraints: 16993 591.03/593.05 c #Conflicts: 625000 | #Constraints: 18001 591.03/593.05 c #Conflicts: 626000 | #Constraints: 19007 591.03/593.05 c #Conflicts: 627000 | #Constraints: 20016 591.03/593.05 c #Conflicts: 628000 | #Constraints: 21020 591.03/593.05 c #Conflicts: 629000 | #Constraints: 22025 591.03/593.05 c #Conflicts: 630000 | #Constraints: 23034 591.03/593.05 c #Conflicts: 631000 | #Constraints: 24035 591.03/593.05 c #Conflicts: 632000 | #Constraints: 25038 591.03/593.05 c #Conflicts: 633000 | #Constraints: 26040 591.03/593.05 c #Conflicts: 634000 | #Constraints: 27044 591.03/593.05 c #Conflicts: 635000 | #Constraints: 28051 591.03/593.05 c #Conflicts: 636000 | #Constraints: 29057 591.03/593.05 c #Conflicts: 637000 | #Constraints: 30066 591.03/593.05 c #Conflicts: 638000 | #Constraints: 31075 591.03/593.05 c #Conflicts: 639000 | #Constraints: 32083 591.03/593.05 c INPROCESSING 591.03/593.05 c GARBAGE COLLECT 591.03/593.05 c rational objective 3 608.08/610.10 c #Conflicts: 640000 | #Constraints: 17195 608.08/610.10 c #Conflicts: 641000 | #Constraints: 18198 608.08/610.10 c #Conflicts: 642000 | #Constraints: 19204 608.08/610.10 c #Conflicts: 643000 | #Constraints: 20211 608.08/610.10 c #Conflicts: 644000 | #Constraints: 21215 608.08/610.10 c #Conflicts: 645000 | #Constraints: 22221 608.08/610.10 c #Conflicts: 646000 | #Constraints: 23225 608.08/610.10 c #Conflicts: 647000 | #Constraints: 24233 608.08/610.10 c #Conflicts: 648000 | #Constraints: 25240 608.08/610.10 c #Conflicts: 649000 | #Constraints: 26245 608.08/610.10 c #Conflicts: 650000 | #Constraints: 27248 608.08/610.10 c #Conflicts: 651000 | #Constraints: 28253 608.08/610.10 c #Conflicts: 652000 | #Constraints: 29258 608.08/610.10 c #Conflicts: 653000 | #Constraints: 30261 608.08/610.10 c #Conflicts: 654000 | #Constraints: 31265 608.08/610.10 c #Conflicts: 655000 | #Constraints: 32271 608.08/610.10 c INPROCESSING 608.08/610.10 c GARBAGE COLLECT 608.08/610.10 c rational objective 3 623.72/625.83 c #Conflicts: 656000 | #Constraints: 17212 623.72/625.83 c #Conflicts: 657000 | #Constraints: 18218 623.72/625.83 c #Conflicts: 658000 | #Constraints: 19220 623.72/625.83 c #Conflicts: 659000 | #Constraints: 20224 623.72/625.83 c #Conflicts: 660000 | #Constraints: 21230 623.72/625.83 c #Conflicts: 661000 | #Constraints: 22239 623.72/625.83 c #Conflicts: 662000 | #Constraints: 23244 623.72/625.83 c #Conflicts: 663000 | #Constraints: 24258 623.72/625.83 c #Conflicts: 664000 | #Constraints: 25265 623.72/625.83 c #Conflicts: 665000 | #Constraints: 26273 623.72/625.83 c #Conflicts: 666000 | #Constraints: 27281 623.72/625.83 c #Conflicts: 667000 | #Constraints: 28288 623.72/625.83 c #Conflicts: 668000 | #Constraints: 29294 623.72/625.83 c #Conflicts: 669000 | #Constraints: 30300 623.72/625.83 c #Conflicts: 670000 | #Constraints: 31309 623.72/625.83 c #Conflicts: 671000 | #Constraints: 32312 623.72/625.83 c INPROCESSING 623.72/625.83 c GARBAGE COLLECT 623.72/625.83 c rational objective 3 642.77/644.93 c #Conflicts: 672000 | #Constraints: 17004 642.77/644.93 c #Conflicts: 673000 | #Constraints: 18011 642.77/644.93 c #Conflicts: 674000 | #Constraints: 19018 642.77/644.93 c #Conflicts: 675000 | #Constraints: 20021 642.77/644.93 c #Conflicts: 676000 | #Constraints: 21026 642.77/644.93 c #Conflicts: 677000 | #Constraints: 22034 642.77/644.93 c #Conflicts: 678000 | #Constraints: 23038 642.77/644.93 c #Conflicts: 679000 | #Constraints: 24043 642.77/644.93 c #Conflicts: 680000 | #Constraints: 25048 642.77/644.93 c #Conflicts: 681000 | #Constraints: 26055 642.77/644.93 c #Conflicts: 682000 | #Constraints: 27070 642.77/644.93 c #Conflicts: 683000 | #Constraints: 28078 642.77/644.93 c #Conflicts: 684000 | #Constraints: 29083 642.77/644.93 c #Conflicts: 685000 | #Constraints: 30088 642.77/644.93 c #Conflicts: 686000 | #Constraints: 31100 642.77/644.93 c #Conflicts: 687000 | #Constraints: 32104 642.77/644.93 c #Conflicts: 688000 | #Constraints: 33109 642.77/644.93 c INPROCESSING 642.77/644.93 c GARBAGE COLLECT 642.77/644.93 c rational objective 3 662.93/665.11 c #Conflicts: 689000 | #Constraints: 17600 662.93/665.11 c #Conflicts: 690000 | #Constraints: 18605 662.93/665.11 c #Conflicts: 691000 | #Constraints: 19614 662.93/665.11 c #Conflicts: 692000 | #Constraints: 20615 662.93/665.11 c #Conflicts: 693000 | #Constraints: 21621 662.93/665.11 c #Conflicts: 694000 | #Constraints: 22624 662.93/665.11 c #Conflicts: 695000 | #Constraints: 23630 662.93/665.11 c #Conflicts: 696000 | #Constraints: 24637 662.93/665.11 c #Conflicts: 697000 | #Constraints: 25641 662.93/665.11 c #Conflicts: 698000 | #Constraints: 26646 662.93/665.11 c #Conflicts: 699000 | #Constraints: 27652 662.93/665.11 c #Conflicts: 700000 | #Constraints: 28661 662.93/665.11 c #Conflicts: 701000 | #Constraints: 29663 662.93/665.11 c #Conflicts: 702000 | #Constraints: 30668 662.93/665.11 c #Conflicts: 703000 | #Constraints: 31672 662.93/665.11 c #Conflicts: 704000 | #Constraints: 32677 662.93/665.11 c #Conflicts: 705000 | #Constraints: 33685 662.93/665.11 c INPROCESSING 662.93/665.11 c GARBAGE COLLECT 662.93/665.11 c rational objective 3 690.06/692.32 c #Conflicts: 706000 | #Constraints: 18006 690.06/692.32 c #Conflicts: 707000 | #Constraints: 19015 690.06/692.32 c #Conflicts: 708000 | #Constraints: 20019 690.06/692.32 c #Conflicts: 709000 | #Constraints: 21025 690.06/692.32 c #Conflicts: 710000 | #Constraints: 22028 690.06/692.32 c #Conflicts: 711000 | #Constraints: 23033 690.06/692.32 c #Conflicts: 712000 | #Constraints: 24037 690.06/692.32 c #Conflicts: 713000 | #Constraints: 25042 690.06/692.32 c #Conflicts: 714000 | #Constraints: 26046 690.06/692.32 c #Conflicts: 715000 | #Constraints: 27049 690.06/692.32 c #Conflicts: 716000 | #Constraints: 28055 690.06/692.32 c #Conflicts: 717000 | #Constraints: 29062 690.06/692.32 c #Conflicts: 718000 | #Constraints: 30067 690.06/692.32 c #Conflicts: 719000 | #Constraints: 31070 690.06/692.32 c #Conflicts: 720000 | #Constraints: 32074 690.06/692.32 c #Conflicts: 721000 | #Constraints: 33079 690.06/692.32 c #Conflicts: 722000 | #Constraints: 34085 690.06/692.32 c INPROCESSING 690.06/692.32 c GARBAGE COLLECT 690.06/692.32 c rational objective 3 711.90/714.20 c #Conflicts: 723000 | #Constraints: 18213 711.90/714.20 c #Conflicts: 724000 | #Constraints: 19216 711.90/714.20 c #Conflicts: 725000 | #Constraints: 20219 711.90/714.20 c #Conflicts: 726000 | #Constraints: 21223 711.90/714.20 c #Conflicts: 727000 | #Constraints: 22225 711.90/714.20 c #Conflicts: 728000 | #Constraints: 23229 711.90/714.20 c #Conflicts: 729000 | #Constraints: 24232 711.90/714.20 c #Conflicts: 730000 | #Constraints: 25235 711.90/714.20 c #Conflicts: 731000 | #Constraints: 26241 711.90/714.20 c #Conflicts: 732000 | #Constraints: 27245 711.90/714.20 c #Conflicts: 733000 | #Constraints: 28247 711.90/714.20 c #Conflicts: 734000 | #Constraints: 29249 711.90/714.20 c #Conflicts: 735000 | #Constraints: 30252 711.90/714.20 c #Conflicts: 736000 | #Constraints: 31253 711.90/714.20 c #Conflicts: 737000 | #Constraints: 32257 711.90/714.20 c #Conflicts: 738000 | #Constraints: 33260 711.90/714.20 c #Conflicts: 739000 | #Constraints: 34263 711.90/714.20 c INPROCESSING 711.90/714.20 c GARBAGE COLLECT 711.90/714.20 c rational objective 3 737.64/740.07 c #Conflicts: 740000 | #Constraints: 18188 737.64/740.07 c #Conflicts: 741000 | #Constraints: 19196 737.64/740.07 c #Conflicts: 742000 | #Constraints: 20203 737.64/740.07 c #Conflicts: 743000 | #Constraints: 21208 737.64/740.07 c #Conflicts: 744000 | #Constraints: 22211 737.64/740.07 c #Conflicts: 745000 | #Constraints: 23216 737.64/740.07 c #Conflicts: 746000 | #Constraints: 24226 737.64/740.07 c #Conflicts: 747000 | #Constraints: 25228 737.64/740.07 c #Conflicts: 748000 | #Constraints: 26231 737.64/740.07 c #Conflicts: 749000 | #Constraints: 27236 737.64/740.07 c #Conflicts: 750000 | #Constraints: 28242 737.64/740.07 c #Conflicts: 751000 | #Constraints: 29246 737.64/740.07 c #Conflicts: 752000 | #Constraints: 30248 737.64/740.07 c #Conflicts: 753000 | #Constraints: 31252 737.64/740.07 c #Conflicts: 754000 | #Constraints: 32258 737.64/740.07 c #Conflicts: 755000 | #Constraints: 33263 737.64/740.07 c #Conflicts: 756000 | #Constraints: 34268 737.64/740.07 c INPROCESSING 737.64/740.07 c GARBAGE COLLECT 737.64/740.07 c rational objective 3 760.18/762.64 c #Conflicts: 757000 | #Constraints: 17992 760.18/762.64 c #Conflicts: 758000 | #Constraints: 18997 760.18/762.64 c #Conflicts: 759000 | #Constraints: 20002 760.18/762.64 c #Conflicts: 760000 | #Constraints: 21007 760.18/762.64 c #Conflicts: 761000 | #Constraints: 22010 760.18/762.64 c #Conflicts: 762000 | #Constraints: 23017 760.18/762.64 c #Conflicts: 763000 | #Constraints: 24025 760.18/762.64 c #Conflicts: 764000 | #Constraints: 25034 760.18/762.64 c #Conflicts: 765000 | #Constraints: 26039 760.18/762.64 c #Conflicts: 766000 | #Constraints: 27045 760.18/762.64 c #Conflicts: 767000 | #Constraints: 28053 760.18/762.64 c #Conflicts: 768000 | #Constraints: 29058 760.18/762.64 c #Conflicts: 769000 | #Constraints: 30065 760.18/762.64 c #Conflicts: 770000 | #Constraints: 31069 760.18/762.64 c #Conflicts: 771000 | #Constraints: 32072 760.18/762.64 c #Conflicts: 772000 | #Constraints: 33076 760.18/762.64 c #Conflicts: 773000 | #Constraints: 34078 760.18/762.64 c #Conflicts: 774000 | #Constraints: 35088 760.18/762.64 c INPROCESSING 760.18/762.64 c GARBAGE COLLECT 760.18/762.64 c rational objective 3 789.21/791.74 c #Conflicts: 775000 | #Constraints: 18601 789.21/791.74 c #Conflicts: 776000 | #Constraints: 19609 789.21/791.74 c #Conflicts: 777000 | #Constraints: 20616 789.21/791.74 c #Conflicts: 778000 | #Constraints: 21623 789.21/791.74 c #Conflicts: 779000 | #Constraints: 22631 789.21/791.74 c #Conflicts: 780000 | #Constraints: 23633 789.21/791.74 c #Conflicts: 781000 | #Constraints: 24636 789.21/791.74 c #Conflicts: 782000 | #Constraints: 25640 789.21/791.74 c #Conflicts: 783000 | #Constraints: 26646 789.21/791.74 c #Conflicts: 784000 | #Constraints: 27651 789.21/791.74 c #Conflicts: 785000 | #Constraints: 28655 789.21/791.74 c #Conflicts: 786000 | #Constraints: 29661 789.21/791.74 c #Conflicts: 787000 | #Constraints: 30664 789.21/791.74 c #Conflicts: 788000 | #Constraints: 31665 789.21/791.74 c #Conflicts: 789000 | #Constraints: 32669 789.21/791.74 c #Conflicts: 790000 | #Constraints: 33672 789.21/791.74 c #Conflicts: 791000 | #Constraints: 34674 789.21/791.74 c #Conflicts: 792000 | #Constraints: 35688 789.21/791.74 c INPROCESSING 789.21/791.74 c GARBAGE COLLECT 789.21/791.74 c rational objective 3 813.86/816.48 c #Conflicts: 793000 | #Constraints: 19003 813.86/816.48 c #Conflicts: 794000 | #Constraints: 20007 813.86/816.48 c #Conflicts: 795000 | #Constraints: 21012 813.86/816.48 c #Conflicts: 796000 | #Constraints: 22018 813.86/816.48 c #Conflicts: 797000 | #Constraints: 23023 813.86/816.48 c #Conflicts: 798000 | #Constraints: 24029 813.86/816.48 c #Conflicts: 799000 | #Constraints: 25031 813.86/816.48 c #Conflicts: 800000 | #Constraints: 26043 813.86/816.48 c #Conflicts: 801000 | #Constraints: 27049 813.86/816.48 c #Conflicts: 802000 | #Constraints: 28054 813.86/816.48 c #Conflicts: 803000 | #Constraints: 29060 813.86/816.48 c #Conflicts: 804000 | #Constraints: 30065 813.86/816.48 c #Conflicts: 805000 | #Constraints: 31070 813.86/816.48 c #Conflicts: 806000 | #Constraints: 32074 813.86/816.48 c #Conflicts: 807000 | #Constraints: 33081 813.86/816.48 c #Conflicts: 808000 | #Constraints: 34085 813.86/816.48 c #Conflicts: 809000 | #Constraints: 35088 813.86/816.48 c #Conflicts: 810000 | #Constraints: 36089 813.86/816.48 c INPROCESSING 813.86/816.48 c GARBAGE COLLECT 813.86/816.48 c rational objective 3 837.40/840.05 c #Conflicts: 811000 | #Constraints: 19202 837.40/840.05 c #Conflicts: 812000 | #Constraints: 20205 837.40/840.05 c #Conflicts: 813000 | #Constraints: 21209 837.40/840.05 c #Conflicts: 814000 | #Constraints: 22214 837.40/840.05 c #Conflicts: 815000 | #Constraints: 23217 837.40/840.05 c #Conflicts: 816000 | #Constraints: 24220 837.40/840.05 c #Conflicts: 817000 | #Constraints: 25224 837.40/840.05 c #Conflicts: 818000 | #Constraints: 26227 837.40/840.05 c #Conflicts: 819000 | #Constraints: 27232 837.40/840.05 c #Conflicts: 820000 | #Constraints: 28236 837.40/840.05 c #Conflicts: 821000 | #Constraints: 29244 837.40/840.05 c #Conflicts: 822000 | #Constraints: 30252 837.40/840.05 c #Conflicts: 823000 | #Constraints: 31260 837.40/840.05 c #Conflicts: 824000 | #Constraints: 32262 837.40/840.05 c #Conflicts: 825000 | #Constraints: 33264 837.40/840.05 c #Conflicts: 826000 | #Constraints: 34265 837.40/840.05 c #Conflicts: 827000 | #Constraints: 35268 837.40/840.05 c #Conflicts: 828000 | #Constraints: 36271 837.40/840.05 c INPROCESSING 837.40/840.05 c GARBAGE COLLECT 837.40/840.05 c rational objective 3 864.44/867.19 c #Conflicts: 829000 | #Constraints: 19199 864.44/867.19 c #Conflicts: 830000 | #Constraints: 20205 864.44/867.19 c #Conflicts: 831000 | #Constraints: 21212 864.44/867.19 c #Conflicts: 832000 | #Constraints: 22218 864.44/867.19 c #Conflicts: 833000 | #Constraints: 23224 864.44/867.19 c #Conflicts: 834000 | #Constraints: 24230 864.44/867.19 c #Conflicts: 835000 | #Constraints: 25236 864.44/867.19 c #Conflicts: 836000 | #Constraints: 26240 864.44/867.19 c #Conflicts: 837000 | #Constraints: 27244 864.44/867.19 c #Conflicts: 838000 | #Constraints: 28250 864.44/867.19 c #Conflicts: 839000 | #Constraints: 29255 864.44/867.19 c #Conflicts: 840000 | #Constraints: 30260 864.44/867.19 c #Conflicts: 841000 | #Constraints: 31264 864.44/867.19 c #Conflicts: 842000 | #Constraints: 32268 864.44/867.19 c #Conflicts: 843000 | #Constraints: 33269 864.44/867.19 c #Conflicts: 844000 | #Constraints: 34273 864.44/867.19 c #Conflicts: 845000 | #Constraints: 35277 864.44/867.19 c #Conflicts: 846000 | #Constraints: 36282 864.44/867.19 c INPROCESSING 864.44/867.19 c GARBAGE COLLECT 864.44/867.19 c rational objective 3 887.48/890.22 c #Conflicts: 847000 | #Constraints: 18983 887.48/890.22 c #Conflicts: 848000 | #Constraints: 19990 887.48/890.22 c #Conflicts: 849000 | #Constraints: 20994 887.48/890.22 c #Conflicts: 850000 | #Constraints: 21998 887.48/890.22 c #Conflicts: 851000 | #Constraints: 23005 887.48/890.22 c #Conflicts: 852000 | #Constraints: 24013 887.48/890.22 c #Conflicts: 853000 | #Constraints: 25021 887.48/890.22 c #Conflicts: 854000 | #Constraints: 26023 887.48/890.22 c #Conflicts: 855000 | #Constraints: 27031 887.48/890.22 c #Conflicts: 856000 | #Constraints: 28043 887.48/890.22 c #Conflicts: 857000 | #Constraints: 29046 887.48/890.22 c #Conflicts: 858000 | #Constraints: 30054 887.48/890.22 c #Conflicts: 859000 | #Constraints: 31061 887.48/890.22 c #Conflicts: 860000 | #Constraints: 32070 887.48/890.22 c #Conflicts: 861000 | #Constraints: 33079 887.48/890.22 c #Conflicts: 862000 | #Constraints: 34093 887.48/890.22 c #Conflicts: 863000 | #Constraints: 35107 887.48/890.22 c #Conflicts: 864000 | #Constraints: 36131 887.48/890.22 c #Conflicts: 865000 | #Constraints: 37138 887.48/890.22 c INPROCESSING 887.48/890.22 c GARBAGE COLLECT 887.48/890.22 c rational objective 3 911.82/914.62 c #Conflicts: 866000 | #Constraints: 19623 911.82/914.62 c #Conflicts: 867000 | #Constraints: 20629 911.82/914.62 c #Conflicts: 868000 | #Constraints: 21638 911.82/914.62 c #Conflicts: 869000 | #Constraints: 22645 911.82/914.62 c #Conflicts: 870000 | #Constraints: 23649 911.82/914.62 c #Conflicts: 871000 | #Constraints: 24656 911.82/914.62 c #Conflicts: 872000 | #Constraints: 25663 911.82/914.62 c #Conflicts: 873000 | #Constraints: 26672 911.82/914.62 c #Conflicts: 874000 | #Constraints: 27677 911.82/914.62 c #Conflicts: 875000 | #Constraints: 28686 911.82/914.62 c #Conflicts: 876000 | #Constraints: 29693 911.82/914.62 c #Conflicts: 877000 | #Constraints: 30697 911.82/914.62 c #Conflicts: 878000 | #Constraints: 31708 911.82/914.62 c #Conflicts: 879000 | #Constraints: 32713 911.82/914.62 c #Conflicts: 880000 | #Constraints: 33718 911.82/914.62 c #Conflicts: 881000 | #Constraints: 34723 911.82/914.62 c #Conflicts: 882000 | #Constraints: 35726 911.82/914.62 c #Conflicts: 883000 | #Constraints: 36729 911.82/914.62 c #Conflicts: 884000 | #Constraints: 37733 911.82/914.62 c INPROCESSING 911.82/914.62 c GARBAGE COLLECT 911.82/914.62 c rational objective 3 939.65/942.51 c #Conflicts: 885000 | #Constraints: 20050 939.65/942.51 c #Conflicts: 886000 | #Constraints: 21052 939.65/942.51 c #Conflicts: 887000 | #Constraints: 22059 939.65/942.51 c #Conflicts: 888000 | #Constraints: 23064 939.65/942.51 c #Conflicts: 889000 | #Constraints: 24069 939.65/942.51 c #Conflicts: 890000 | #Constraints: 25072 939.65/942.51 c #Conflicts: 891000 | #Constraints: 26076 939.65/942.51 c #Conflicts: 892000 | #Constraints: 27082 939.65/942.51 c #Conflicts: 893000 | #Constraints: 28086 939.65/942.51 c #Conflicts: 894000 | #Constraints: 29094 939.65/942.51 c #Conflicts: 895000 | #Constraints: 30103 939.65/942.51 c #Conflicts: 896000 | #Constraints: 31107 939.65/942.51 c #Conflicts: 897000 | #Constraints: 32113 939.65/942.51 c #Conflicts: 898000 | #Constraints: 33121 939.65/942.51 c #Conflicts: 899000 | #Constraints: 34129 939.65/942.51 c #Conflicts: 900000 | #Constraints: 35139 939.65/942.51 c #Conflicts: 901000 | #Constraints: 36143 939.65/942.51 c #Conflicts: 902000 | #Constraints: 37150 939.65/942.51 c #Conflicts: 903000 | #Constraints: 38154 939.65/942.51 c INPROCESSING 939.65/942.51 c GARBAGE COLLECT 939.65/942.51 c rational objective 3 963.40/966.30 c #Conflicts: 904000 | #Constraints: 20274 963.40/966.30 c #Conflicts: 905000 | #Constraints: 21289 963.40/966.30 c #Conflicts: 906000 | #Constraints: 22292 963.40/966.30 c #Conflicts: 907000 | #Constraints: 23295 963.40/966.30 c #Conflicts: 908000 | #Constraints: 24304 963.40/966.30 c #Conflicts: 909000 | #Constraints: 25308 963.40/966.30 c #Conflicts: 910000 | #Constraints: 26316 963.40/966.30 c #Conflicts: 911000 | #Constraints: 27321 963.40/966.30 c #Conflicts: 912000 | #Constraints: 28327 963.40/966.30 c #Conflicts: 913000 | #Constraints: 29333 963.40/966.30 c #Conflicts: 914000 | #Constraints: 30339 963.40/966.30 c #Conflicts: 915000 | #Constraints: 31342 963.40/966.30 c #Conflicts: 916000 | #Constraints: 32345 963.40/966.30 c #Conflicts: 917000 | #Constraints: 33348 963.40/966.30 c #Conflicts: 918000 | #Constraints: 34351 963.40/966.30 c #Conflicts: 919000 | #Constraints: 35354 963.40/966.30 c #Conflicts: 920000 | #Constraints: 36358 963.40/966.30 c #Conflicts: 921000 | #Constraints: 37362 963.40/966.30 c #Conflicts: 922000 | #Constraints: 38367 963.40/966.30 c INPROCESSING 963.40/966.30 c GARBAGE COLLECT 963.40/966.30 c rational objective 3 996.33/999.37 c #Conflicts: 923000 | #Constraints: 20240 996.33/999.37 c #Conflicts: 924000 | #Constraints: 21246 996.33/999.37 c #Conflicts: 925000 | #Constraints: 22253 996.33/999.37 c #Conflicts: 926000 | #Constraints: 23256 996.33/999.37 c #Conflicts: 927000 | #Constraints: 24260 996.33/999.37 c #Conflicts: 928000 | #Constraints: 25262 996.33/999.37 c #Conflicts: 929000 | #Constraints: 26267 996.33/999.37 c #Conflicts: 930000 | #Constraints: 27269 996.33/999.37 c #Conflicts: 931000 | #Constraints: 28276 996.33/999.37 c #Conflicts: 932000 | #Constraints: 29281 996.33/999.37 c #Conflicts: 933000 | #Constraints: 30287 996.33/999.37 c #Conflicts: 934000 | #Constraints: 31294 996.33/999.37 c #Conflicts: 935000 | #Constraints: 32296 996.33/999.37 c #Conflicts: 936000 | #Constraints: 33300 996.33/999.37 c #Conflicts: 937000 | #Constraints: 34303 996.33/999.37 c #Conflicts: 938000 | #Constraints: 35306 996.33/999.37 c #Conflicts: 939000 | #Constraints: 36309 996.33/999.37 c #Conflicts: 940000 | #Constraints: 37311 996.33/999.37 c #Conflicts: 941000 | #Constraints: 38314 996.33/999.37 c INPROCESSING 996.33/999.37 c GARBAGE COLLECT 996.33/999.37 c rational objective 3 1041.62/1044.76 c #Conflicts: 942000 | #Constraints: 20011 1041.62/1044.76 c #Conflicts: 943000 | #Constraints: 21021 1041.62/1044.76 c #Conflicts: 944000 | #Constraints: 22030 1041.62/1044.76 c #Conflicts: 945000 | #Constraints: 23041 1041.62/1044.76 c #Conflicts: 946000 | #Constraints: 24047 1041.62/1044.76 c #Conflicts: 947000 | #Constraints: 25056 1041.62/1044.76 c #Conflicts: 948000 | #Constraints: 26060 1041.62/1044.76 c #Conflicts: 949000 | #Constraints: 27064 1041.62/1044.76 c #Conflicts: 950000 | #Constraints: 28065 1041.62/1044.76 c #Conflicts: 951000 | #Constraints: 29073 1041.62/1044.76 c #Conflicts: 952000 | #Constraints: 30077 1041.62/1044.76 c #Conflicts: 953000 | #Constraints: 31078 1041.62/1044.76 c #Conflicts: 954000 | #Constraints: 32079 1041.62/1044.76 c #Conflicts: 955000 | #Constraints: 33081 1041.62/1044.76 c #Conflicts: 956000 | #Constraints: 34085 1041.62/1044.76 c #Conflicts: 957000 | #Constraints: 35087 1041.62/1044.76 c #Conflicts: 958000 | #Constraints: 36089 1041.62/1044.76 c #Conflicts: 959000 | #Constraints: 37090 1041.62/1044.76 c #Conflicts: 960000 | #Constraints: 38091 1041.62/1044.76 c #Conflicts: 961000 | #Constraints: 39094 1041.62/1044.76 c INPROCESSING 1041.62/1044.76 c GARBAGE COLLECT 1041.62/1044.76 c rational objective 3 1076.04/1079.26 c #Conflicts: 962000 | #Constraints: 20602 1076.04/1079.26 c #Conflicts: 963000 | #Constraints: 21609 1076.04/1079.26 c #Conflicts: 964000 | #Constraints: 22610 1076.04/1079.26 c #Conflicts: 965000 | #Constraints: 23615 1076.04/1079.26 c #Conflicts: 966000 | #Constraints: 24618 1076.04/1079.26 c #Conflicts: 967000 | #Constraints: 25625 1076.04/1079.26 c #Conflicts: 968000 | #Constraints: 26631 1076.04/1079.26 c #Conflicts: 969000 | #Constraints: 27636 1076.04/1079.26 c #Conflicts: 970000 | #Constraints: 28639 1076.04/1079.26 c #Conflicts: 971000 | #Constraints: 29646 1076.04/1079.26 c #Conflicts: 972000 | #Constraints: 30650 1076.04/1079.26 c #Conflicts: 973000 | #Constraints: 31654 1076.04/1079.26 c #Conflicts: 974000 | #Constraints: 32659 1076.04/1079.26 c #Conflicts: 975000 | #Constraints: 33666 1076.04/1079.26 c #Conflicts: 976000 | #Constraints: 34673 1076.04/1079.26 c #Conflicts: 977000 | #Constraints: 35675 1076.04/1079.26 c #Conflicts: 978000 | #Constraints: 36679 1076.04/1079.26 c #Conflicts: 979000 | #Constraints: 37681 1076.04/1079.26 c #Conflicts: 980000 | #Constraints: 38682 1076.04/1079.26 c #Conflicts: 981000 | #Constraints: 39687 1076.04/1079.26 c INPROCESSING 1076.04/1079.26 c GARBAGE COLLECT 1076.04/1079.26 c rational objective 3 1128.12/1131.43 c #Conflicts: 982000 | #Constraints: 21023 1128.12/1131.43 c #Conflicts: 983000 | #Constraints: 22025 1128.12/1131.43 c #Conflicts: 984000 | #Constraints: 23027 1128.12/1131.43 c #Conflicts: 985000 | #Constraints: 24027 1128.12/1131.43 c #Conflicts: 986000 | #Constraints: 25032 1128.12/1131.43 c #Conflicts: 987000 | #Constraints: 26037 1128.12/1131.43 c #Conflicts: 988000 | #Constraints: 27041 1128.12/1131.43 c #Conflicts: 989000 | #Constraints: 28044 1128.12/1131.43 c #Conflicts: 990000 | #Constraints: 29051 1128.12/1131.43 c #Conflicts: 991000 | #Constraints: 30057 1128.12/1131.43 c #Conflicts: 992000 | #Constraints: 31066 1128.12/1131.43 c #Conflicts: 993000 | #Constraints: 32069 1128.12/1131.43 c #Conflicts: 994000 | #Constraints: 33079 1128.12/1131.43 c #Conflicts: 995000 | #Constraints: 34085 1128.12/1131.43 c #Conflicts: 996000 | #Constraints: 35088 1128.12/1131.43 c #Conflicts: 997000 | #Constraints: 36090 1128.12/1131.43 c #Conflicts: 998000 | #Constraints: 37095 1128.12/1131.43 c #Conflicts: 999000 | #Constraints: 38101 1128.12/1131.43 c #Conflicts: 1000000 | #Constraints: 39105 1128.12/1131.43 c #Conflicts: 1001000 | #Constraints: 40112 1128.12/1131.43 c INPROCESSING 1128.12/1131.43 c GARBAGE COLLECT 1128.12/1131.43 c rational objective 3 1194.26/1197.70 c #Conflicts: 1002000 | #Constraints: 21211 1194.26/1197.70 c #Conflicts: 1003000 | #Constraints: 22221 1194.26/1197.70 c #Conflicts: 1004000 | #Constraints: 23228 1194.26/1197.70 c #Conflicts: 1005000 | #Constraints: 24236 1194.26/1197.70 c #Conflicts: 1006000 | #Constraints: 25243 1194.26/1197.70 c #Conflicts: 1007000 | #Constraints: 26253 1194.26/1197.70 c #Conflicts: 1008000 | #Constraints: 27260 1194.26/1197.70 c #Conflicts: 1009000 | #Constraints: 28266 1194.26/1197.70 c #Conflicts: 1010000 | #Constraints: 29271 1194.26/1197.70 c #Conflicts: 1011000 | #Constraints: 30277 1194.26/1197.70 c #Conflicts: 1012000 | #Constraints: 31282 1194.26/1197.70 c #Conflicts: 1013000 | #Constraints: 32292 1194.26/1197.70 c #Conflicts: 1014000 | #Constraints: 33298 1194.26/1197.70 c #Conflicts: 1015000 | #Constraints: 34305 1194.26/1197.70 c #Conflicts: 1016000 | #Constraints: 35308 1194.26/1197.70 c #Conflicts: 1017000 | #Constraints: 36312 1194.26/1197.70 c #Conflicts: 1018000 | #Constraints: 37316 1194.26/1197.70 c #Conflicts: 1019000 | #Constraints: 38323 1194.26/1197.70 c #Conflicts: 1020000 | #Constraints: 39328 1194.26/1197.70 c #Conflicts: 1021000 | #Constraints: 40336 1194.26/1197.71 c INPROCESSING 1194.26/1197.71 c GARBAGE COLLECT 1194.26/1197.71 c rational objective 3 1239.64/1243.20 c #Conflicts: 1022000 | #Constraints: 21234 1239.64/1243.20 c #Conflicts: 1023000 | #Constraints: 22241 1239.64/1243.20 c #Conflicts: 1024000 | #Constraints: 23250 1239.64/1243.20 c #Conflicts: 1025000 | #Constraints: 24255 1239.64/1243.20 c #Conflicts: 1026000 | #Constraints: 25262 1239.64/1243.20 c #Conflicts: 1027000 | #Constraints: 26269 1239.64/1243.20 c #Conflicts: 1028000 | #Constraints: 27272 1239.64/1243.20 c #Conflicts: 1029000 | #Constraints: 28281 1239.64/1243.20 c #Conflicts: 1030000 | #Constraints: 29285 1239.64/1243.20 c #Conflicts: 1031000 | #Constraints: 30292 1239.64/1243.20 c #Conflicts: 1032000 | #Constraints: 31301 1239.64/1243.20 c #Conflicts: 1033000 | #Constraints: 32305 1239.64/1243.20 c #Conflicts: 1034000 | #Constraints: 33309 1239.64/1243.20 c #Conflicts: 1035000 | #Constraints: 34310 1239.64/1243.20 c #Conflicts: 1036000 | #Constraints: 35315 1239.64/1243.20 c #Conflicts: 1037000 | #Constraints: 36319 1239.64/1243.20 c #Conflicts: 1038000 | #Constraints: 37320 1239.64/1243.20 c #Conflicts: 1039000 | #Constraints: 38325 1239.64/1243.20 c #Conflicts: 1040000 | #Constraints: 39330 1239.64/1243.20 c #Conflicts: 1041000 | #Constraints: 40331 1239.64/1243.20 c INPROCESSING 1239.64/1243.20 c GARBAGE COLLECT 1239.64/1243.20 c rational objective 3 1271.26/1274.93 c #Conflicts: 1042000 | #Constraints: 21057 1271.26/1274.93 c #Conflicts: 1043000 | #Constraints: 22062 1271.26/1274.93 c #Conflicts: 1044000 | #Constraints: 23070 1271.26/1274.93 c #Conflicts: 1045000 | #Constraints: 24072 1271.26/1274.93 c #Conflicts: 1046000 | #Constraints: 25080 1271.26/1274.93 c #Conflicts: 1047000 | #Constraints: 26085 1271.26/1274.93 c #Conflicts: 1048000 | #Constraints: 27092 1271.26/1274.93 c #Conflicts: 1049000 | #Constraints: 28098 1271.26/1274.93 c #Conflicts: 1050000 | #Constraints: 29105 1271.26/1274.93 c #Conflicts: 1051000 | #Constraints: 30107 1271.26/1274.93 c #Conflicts: 1052000 | #Constraints: 31109 1271.26/1274.93 c #Conflicts: 1053000 | #Constraints: 32117 1271.26/1274.93 c #Conflicts: 1054000 | #Constraints: 33120 1271.26/1274.93 c #Conflicts: 1055000 | #Constraints: 34126 1271.26/1274.93 c #Conflicts: 1056000 | #Constraints: 35135 1271.26/1274.93 c #Conflicts: 1057000 | #Constraints: 36140 1271.26/1274.93 c #Conflicts: 1058000 | #Constraints: 37146 1271.26/1274.93 c #Conflicts: 1059000 | #Constraints: 38151 1271.26/1274.93 c #Conflicts: 1060000 | #Constraints: 39161 1271.26/1274.93 c #Conflicts: 1061000 | #Constraints: 40165 1271.26/1274.93 c #Conflicts: 1062000 | #Constraints: 41173 1271.26/1274.93 c INPROCESSING 1271.26/1274.93 c GARBAGE COLLECT 1271.26/1274.93 c rational objective 3 1320.15/1323.92 c #Conflicts: 1063000 | #Constraints: 21660 1320.15/1323.92 c #Conflicts: 1064000 | #Constraints: 22663 1320.15/1323.92 c #Conflicts: 1065000 | #Constraints: 23669 1320.15/1323.92 c #Conflicts: 1066000 | #Constraints: 24674 1320.15/1323.92 c #Conflicts: 1067000 | #Constraints: 25678 1320.15/1323.92 c #Conflicts: 1068000 | #Constraints: 26682 1320.15/1323.92 c #Conflicts: 1069000 | #Constraints: 27686 1320.15/1323.92 c #Conflicts: 1070000 | #Constraints: 28690 1320.15/1323.92 c #Conflicts: 1071000 | #Constraints: 29693 1320.15/1323.92 c #Conflicts: 1072000 | #Constraints: 30697 1320.15/1323.92 c #Conflicts: 1073000 | #Constraints: 31700 1320.15/1323.92 c #Conflicts: 1074000 | #Constraints: 32707 1320.15/1323.92 c #Conflicts: 1075000 | #Constraints: 33715 1320.15/1323.92 c #Conflicts: 1076000 | #Constraints: 34716 1320.15/1323.92 c #Conflicts: 1077000 | #Constraints: 35721 1320.15/1323.92 c #Conflicts: 1078000 | #Constraints: 36728 1320.15/1323.92 c #Conflicts: 1079000 | #Constraints: 37731 1320.15/1323.92 c #Conflicts: 1080000 | #Constraints: 38734 1320.15/1323.92 c #Conflicts: 1081000 | #Constraints: 39738 1320.15/1323.92 c #Conflicts: 1082000 | #Constraints: 40743 1320.15/1323.92 c #Conflicts: 1083000 | #Constraints: 41750 1320.15/1323.92 c INPROCESSING 1320.15/1323.92 c GARBAGE COLLECT 1320.15/1323.92 c rational objective 3 1367.73/1371.60 c #Conflicts: 1084000 | #Constraints: 22048 1367.73/1371.60 c #Conflicts: 1085000 | #Constraints: 23053 1367.73/1371.60 c #Conflicts: 1086000 | #Constraints: 24058 1367.73/1371.60 c #Conflicts: 1087000 | #Constraints: 25064 1367.73/1371.60 c #Conflicts: 1088000 | #Constraints: 26069 1367.73/1371.60 c #Conflicts: 1089000 | #Constraints: 27072 1367.73/1371.60 c #Conflicts: 1090000 | #Constraints: 28080 1367.73/1371.60 c #Conflicts: 1091000 | #Constraints: 29082 1367.73/1371.60 c #Conflicts: 1092000 | #Constraints: 30087 1367.73/1371.60 c #Conflicts: 1093000 | #Constraints: 31093 1367.73/1371.60 c #Conflicts: 1094000 | #Constraints: 32097 1367.73/1371.60 c #Conflicts: 1095000 | #Constraints: 33102 1367.73/1371.60 c #Conflicts: 1096000 | #Constraints: 34109 1367.73/1371.60 c #Conflicts: 1097000 | #Constraints: 35111 1367.73/1371.60 c #Conflicts: 1098000 | #Constraints: 36114 1367.73/1371.60 c #Conflicts: 1099000 | #Constraints: 37125 1367.73/1371.60 c #Conflicts: 1100000 | #Constraints: 38129 1367.73/1371.60 c #Conflicts: 1101000 | #Constraints: 39132 1367.73/1371.60 c #Conflicts: 1102000 | #Constraints: 40134 1367.73/1371.60 c #Conflicts: 1103000 | #Constraints: 41135 1367.73/1371.60 c #Conflicts: 1104000 | #Constraints: 42138 1367.73/1371.60 c INPROCESSING 1367.73/1371.60 c GARBAGE COLLECT 1367.73/1371.60 c rational objective 3 1407.22/1411.22 c #Conflicts: 1105000 | #Constraints: 22222 1407.22/1411.22 c #Conflicts: 1106000 | #Constraints: 23223 1407.22/1411.22 c #Conflicts: 1107000 | #Constraints: 24226 1407.22/1411.22 c #Conflicts: 1108000 | #Constraints: 25232 1407.22/1411.22 c #Conflicts: 1109000 | #Constraints: 26237 1407.22/1411.22 c #Conflicts: 1110000 | #Constraints: 27241 1407.22/1411.22 c #Conflicts: 1111000 | #Constraints: 28245 1407.22/1411.22 c #Conflicts: 1112000 | #Constraints: 29250 1407.22/1411.22 c #Conflicts: 1113000 | #Constraints: 30255 1407.22/1411.22 c #Conflicts: 1114000 | #Constraints: 31260 1407.22/1411.22 c #Conflicts: 1115000 | #Constraints: 32262 1407.22/1411.22 c #Conflicts: 1116000 | #Constraints: 33266 1407.22/1411.22 c #Conflicts: 1117000 | #Constraints: 34271 1407.22/1411.22 c #Conflicts: 1118000 | #Constraints: 35273 1407.22/1411.22 c #Conflicts: 1119000 | #Constraints: 36276 1407.22/1411.22 c #Conflicts: 1120000 | #Constraints: 37277 1407.22/1411.22 c #Conflicts: 1121000 | #Constraints: 38279 1407.22/1411.22 c #Conflicts: 1122000 | #Constraints: 39281 1407.22/1411.22 c #Conflicts: 1123000 | #Constraints: 40285 1407.22/1411.22 c #Conflicts: 1124000 | #Constraints: 41288 1407.22/1411.22 c #Conflicts: 1125000 | #Constraints: 42290 1407.22/1411.22 c INPROCESSING 1407.22/1411.22 c GARBAGE COLLECT 1407.22/1411.22 c rational objective 3 1445.63/1449.72 c #Conflicts: 1126000 | #Constraints: 22220 1445.63/1449.72 c #Conflicts: 1127000 | #Constraints: 23223 1445.63/1449.72 c #Conflicts: 1128000 | #Constraints: 24229 1445.63/1449.72 c #Conflicts: 1129000 | #Constraints: 25234 1445.63/1449.72 c #Conflicts: 1130000 | #Constraints: 26242 1445.63/1449.72 c #Conflicts: 1131000 | #Constraints: 27248 1445.63/1449.72 c #Conflicts: 1132000 | #Constraints: 28256 1445.63/1449.72 c #Conflicts: 1133000 | #Constraints: 29259 1445.63/1449.72 c #Conflicts: 1134000 | #Constraints: 30265 1445.63/1449.72 c #Conflicts: 1135000 | #Constraints: 31270 1445.63/1449.72 c #Conflicts: 1136000 | #Constraints: 32279 1445.63/1449.72 c #Conflicts: 1137000 | #Constraints: 33285 1445.63/1449.72 c #Conflicts: 1138000 | #Constraints: 34289 1445.63/1449.72 c #Conflicts: 1139000 | #Constraints: 35296 1445.63/1449.72 c #Conflicts: 1140000 | #Constraints: 36298 1445.63/1449.72 c #Conflicts: 1141000 | #Constraints: 37309 1445.63/1449.72 c #Conflicts: 1142000 | #Constraints: 38317 1445.63/1449.72 c #Conflicts: 1143000 | #Constraints: 39326 1445.63/1449.72 c #Conflicts: 1144000 | #Constraints: 40331 1445.63/1449.72 c #Conflicts: 1145000 | #Constraints: 41336 1445.63/1449.72 c #Conflicts: 1146000 | #Constraints: 42346 1445.63/1449.72 c INPROCESSING 1445.63/1449.72 c GARBAGE COLLECT 1445.63/1449.72 c rational objective 3 1488.93/1493.14 c #Conflicts: 1147000 | #Constraints: 22034 1488.93/1493.14 c #Conflicts: 1148000 | #Constraints: 23039 1488.93/1493.14 c #Conflicts: 1149000 | #Constraints: 24041 1488.93/1493.14 c #Conflicts: 1150000 | #Constraints: 25050 1488.93/1493.14 c #Conflicts: 1151000 | #Constraints: 26057 1488.93/1493.14 c #Conflicts: 1152000 | #Constraints: 27063 1488.93/1493.14 c #Conflicts: 1153000 | #Constraints: 28075 1488.93/1493.14 c #Conflicts: 1154000 | #Constraints: 29083 1488.93/1493.14 c #Conflicts: 1155000 | #Constraints: 30085 1488.93/1493.14 c #Conflicts: 1156000 | #Constraints: 31090 1488.93/1493.14 c #Conflicts: 1157000 | #Constraints: 32094 1488.93/1493.14 c #Conflicts: 1158000 | #Constraints: 33098 1488.93/1493.14 c #Conflicts: 1159000 | #Constraints: 34104 1488.93/1493.14 c #Conflicts: 1160000 | #Constraints: 35114 1488.93/1493.14 c #Conflicts: 1161000 | #Constraints: 36121 1488.93/1493.14 c #Conflicts: 1162000 | #Constraints: 37126 1488.93/1493.14 c #Conflicts: 1163000 | #Constraints: 38129 1488.93/1493.14 c #Conflicts: 1164000 | #Constraints: 39134 1488.93/1493.14 c #Conflicts: 1165000 | #Constraints: 40137 1488.93/1493.14 c #Conflicts: 1166000 | #Constraints: 41141 1488.93/1493.14 c #Conflicts: 1167000 | #Constraints: 42143 1488.93/1493.14 c #Conflicts: 1168000 | #Constraints: 43147 1488.93/1493.14 c INPROCESSING 1488.93/1493.14 c GARBAGE COLLECT 1488.93/1493.14 c rational objective 3 1520.85/1525.12 c #Conflicts: 1169000 | #Constraints: 22637 1520.85/1525.12 c #Conflicts: 1170000 | #Constraints: 23640 1520.85/1525.12 c #Conflicts: 1171000 | #Constraints: 24647 1520.85/1525.12 c #Conflicts: 1172000 | #Constraints: 25649 1520.85/1525.12 c #Conflicts: 1173000 | #Constraints: 26658 1520.85/1525.12 c #Conflicts: 1174000 | #Constraints: 27666 1520.85/1525.12 c #Conflicts: 1175000 | #Constraints: 28671 1520.85/1525.12 c #Conflicts: 1176000 | #Constraints: 29675 1520.85/1525.12 c #Conflicts: 1177000 | #Constraints: 30681 1520.85/1525.12 c #Conflicts: 1178000 | #Constraints: 31689 1520.85/1525.12 c #Conflicts: 1179000 | #Constraints: 32692 1520.85/1525.12 c #Conflicts: 1180000 | #Constraints: 33700 1520.85/1525.12 c #Conflicts: 1181000 | #Constraints: 34702 1520.85/1525.12 c #Conflicts: 1182000 | #Constraints: 35707 1520.85/1525.12 c #Conflicts: 1183000 | #Constraints: 36711 1520.85/1525.12 c #Conflicts: 1184000 | #Constraints: 37714 1520.85/1525.12 c #Conflicts: 1185000 | #Constraints: 38718 1520.85/1525.12 c #Conflicts: 1186000 | #Constraints: 39727 1520.85/1525.12 c #Conflicts: 1187000 | #Constraints: 40732 1520.85/1525.12 c #Conflicts: 1188000 | #Constraints: 41743 1520.85/1525.12 c #Conflicts: 1189000 | #Constraints: 42750 1520.85/1525.12 c #Conflicts: 1190000 | #Constraints: 43759 1520.85/1525.12 c INPROCESSING 1520.85/1525.12 c GARBAGE COLLECT 1520.85/1525.12 c rational objective 3 1558.76/1563.19 c #Conflicts: 1191000 | #Constraints: 23060 1558.76/1563.19 c #Conflicts: 1192000 | #Constraints: 24068 1558.76/1563.19 c #Conflicts: 1193000 | #Constraints: 25072 1558.76/1563.19 c #Conflicts: 1194000 | #Constraints: 26076 1558.76/1563.19 c #Conflicts: 1195000 | #Constraints: 27082 1558.76/1563.19 c #Conflicts: 1196000 | #Constraints: 28086 1558.76/1563.19 c #Conflicts: 1197000 | #Constraints: 29090 1558.76/1563.19 c #Conflicts: 1198000 | #Constraints: 30097 1558.76/1563.19 c #Conflicts: 1199000 | #Constraints: 31106 1558.76/1563.19 c #Conflicts: 1200000 | #Constraints: 32112 1558.76/1563.19 c #Conflicts: 1201000 | #Constraints: 33120 1558.76/1563.19 c #Conflicts: 1202000 | #Constraints: 34123 1558.76/1563.19 c #Conflicts: 1203000 | #Constraints: 35127 1558.76/1563.19 c #Conflicts: 1204000 | #Constraints: 36132 1558.76/1563.19 c #Conflicts: 1205000 | #Constraints: 37139 1558.76/1563.19 c #Conflicts: 1206000 | #Constraints: 38148 1558.76/1563.19 c #Conflicts: 1207000 | #Constraints: 39153 1558.76/1563.19 c #Conflicts: 1208000 | #Constraints: 40156 1558.76/1563.19 c #Conflicts: 1209000 | #Constraints: 41161 1558.76/1563.19 c #Conflicts: 1210000 | #Constraints: 42166 1558.76/1563.19 c #Conflicts: 1211000 | #Constraints: 43170 1558.76/1563.19 c #Conflicts: 1212000 | #Constraints: 44175 1558.76/1563.19 c INPROCESSING 1558.76/1563.19 c GARBAGE COLLECT 1558.76/1563.19 c rational objective 3 1590.37/1594.83 c #Conflicts: 1213000 | #Constraints: 23251 1590.37/1594.83 c #Conflicts: 1214000 | #Constraints: 24253 1590.37/1594.83 c #Conflicts: 1215000 | #Constraints: 25257 1590.37/1594.83 c #Conflicts: 1216000 | #Constraints: 26263 1590.37/1594.83 c #Conflicts: 1217000 | #Constraints: 27269 1590.37/1594.83 c #Conflicts: 1218000 | #Constraints: 28277 1590.37/1594.83 c #Conflicts: 1219000 | #Constraints: 29286 1590.37/1594.83 c #Conflicts: 1220000 | #Constraints: 30303 1590.37/1594.83 c #Conflicts: 1221000 | #Constraints: 31314 1590.37/1594.83 c #Conflicts: 1222000 | #Constraints: 32321 1590.37/1594.83 c #Conflicts: 1223000 | #Constraints: 33324 1590.37/1594.83 c #Conflicts: 1224000 | #Constraints: 34331 1590.37/1594.83 c #Conflicts: 1225000 | #Constraints: 35340 1590.37/1594.83 c #Conflicts: 1226000 | #Constraints: 36355 1590.37/1594.83 c #Conflicts: 1227000 | #Constraints: 37361 1590.37/1594.83 c #Conflicts: 1228000 | #Constraints: 38364 1590.37/1594.83 c #Conflicts: 1229000 | #Constraints: 39368 1590.37/1594.83 c #Conflicts: 1230000 | #Constraints: 40378 1590.37/1594.83 c #Conflicts: 1231000 | #Constraints: 41384 1590.37/1594.83 c #Conflicts: 1232000 | #Constraints: 42385 1590.37/1594.83 c #Conflicts: 1233000 | #Constraints: 43387 1590.37/1594.83 c #Conflicts: 1234000 | #Constraints: 44393 1590.37/1594.83 c INPROCESSING 1590.37/1594.83 c GARBAGE COLLECT 1590.37/1594.83 c rational objective 3 1628.78/1633.39 c #Conflicts: 1235000 | #Constraints: 23242 1628.78/1633.39 c #Conflicts: 1236000 | #Constraints: 24247 1628.78/1633.39 c #Conflicts: 1237000 | #Constraints: 25251 1628.78/1633.39 c #Conflicts: 1238000 | #Constraints: 26259 1628.78/1633.39 c #Conflicts: 1239000 | #Constraints: 27267 1628.78/1633.39 c #Conflicts: 1240000 | #Constraints: 28274 1628.78/1633.39 c #Conflicts: 1241000 | #Constraints: 29281 1628.78/1633.39 c #Conflicts: 1242000 | #Constraints: 30286 1628.78/1633.39 c #Conflicts: 1243000 | #Constraints: 31291 1628.78/1633.39 c #Conflicts: 1244000 | #Constraints: 32295 1628.78/1633.39 c #Conflicts: 1245000 | #Constraints: 33301 1628.78/1633.39 c #Conflicts: 1246000 | #Constraints: 34306 1628.78/1633.39 c #Conflicts: 1247000 | #Constraints: 35317 1628.78/1633.39 c #Conflicts: 1248000 | #Constraints: 36327 1628.78/1633.39 c #Conflicts: 1249000 | #Constraints: 37335 1628.78/1633.39 c #Conflicts: 1250000 | #Constraints: 38341 1628.78/1633.39 c #Conflicts: 1251000 | #Constraints: 39347 1628.78/1633.39 c #Conflicts: 1252000 | #Constraints: 40352 1628.78/1633.39 c #Conflicts: 1253000 | #Constraints: 41359 1628.78/1633.39 c #Conflicts: 1254000 | #Constraints: 42366 1628.78/1633.39 c #Conflicts: 1255000 | #Constraints: 43368 1628.78/1633.39 c #Conflicts: 1256000 | #Constraints: 44369 1628.78/1633.39 c INPROCESSING 1628.78/1633.39 c GARBAGE COLLECT 1628.78/1633.39 c rational objective 3 1669.48/1674.18 c #Conflicts: 1257000 | #Constraints: 23062 1669.48/1674.18 c #Conflicts: 1258000 | #Constraints: 24068 1669.48/1674.18 c #Conflicts: 1259000 | #Constraints: 25073 1669.48/1674.18 c #Conflicts: 1260000 | #Constraints: 26079 1669.48/1674.18 c #Conflicts: 1261000 | #Constraints: 27087 1669.48/1674.18 c #Conflicts: 1262000 | #Constraints: 28096 1669.48/1674.18 c #Conflicts: 1263000 | #Constraints: 29101 1669.48/1674.18 c #Conflicts: 1264000 | #Constraints: 30106 1669.48/1674.18 c #Conflicts: 1265000 | #Constraints: 31110 1669.48/1674.18 c #Conflicts: 1266000 | #Constraints: 32115 1669.48/1674.18 c #Conflicts: 1267000 | #Constraints: 33122 1669.48/1674.18 c #Conflicts: 1268000 | #Constraints: 34124 1669.48/1674.18 c #Conflicts: 1269000 | #Constraints: 35128 1669.48/1674.18 c #Conflicts: 1270000 | #Constraints: 36129 1669.48/1674.18 c #Conflicts: 1271000 | #Constraints: 37134 1669.48/1674.18 c #Conflicts: 1272000 | #Constraints: 38134 1669.48/1674.18 c #Conflicts: 1273000 | #Constraints: 39136 1669.48/1674.18 c #Conflicts: 1274000 | #Constraints: 40138 1669.48/1674.18 c #Conflicts: 1275000 | #Constraints: 41141 1669.48/1674.18 c #Conflicts: 1276000 | #Constraints: 42145 1669.48/1674.18 c #Conflicts: 1277000 | #Constraints: 43150 1669.48/1674.18 c #Conflicts: 1278000 | #Constraints: 44153 1669.48/1674.18 c #Conflicts: 1279000 | #Constraints: 45163 1669.48/1674.18 c INPROCESSING 1669.48/1674.18 c GARBAGE COLLECT 1669.48/1674.18 c rational objective 3 1706.68/1711.41 c #Conflicts: 1280000 | #Constraints: 23635 1706.68/1711.41 c #Conflicts: 1281000 | #Constraints: 24641 1706.68/1711.41 c #Conflicts: 1282000 | #Constraints: 25646 1706.68/1711.41 c #Conflicts: 1283000 | #Constraints: 26654 1706.68/1711.41 c #Conflicts: 1284000 | #Constraints: 27658 1706.68/1711.41 c #Conflicts: 1285000 | #Constraints: 28662 1706.68/1711.41 c #Conflicts: 1286000 | #Constraints: 29665 1706.68/1711.41 c #Conflicts: 1287000 | #Constraints: 30670 1706.68/1711.41 c #Conflicts: 1288000 | #Constraints: 31674 1706.68/1711.41 c #Conflicts: 1289000 | #Constraints: 32676 1706.68/1711.41 c #Conflicts: 1290000 | #Constraints: 33680 1706.68/1711.41 c #Conflicts: 1291000 | #Constraints: 34683 1706.68/1711.41 c #Conflicts: 1292000 | #Constraints: 35690 1706.68/1711.41 c #Conflicts: 1293000 | #Constraints: 36693 1706.68/1711.41 c #Conflicts: 1294000 | #Constraints: 37698 1706.68/1711.41 c #Conflicts: 1295000 | #Constraints: 38701 1706.68/1711.41 c #Conflicts: 1296000 | #Constraints: 39704 1706.68/1711.41 c #Conflicts: 1297000 | #Constraints: 40710 1706.68/1711.41 c #Conflicts: 1298000 | #Constraints: 41713 1706.68/1711.41 c #Conflicts: 1299000 | #Constraints: 42719 1706.68/1711.41 c #Conflicts: 1300000 | #Constraints: 43725 1706.68/1711.41 c #Conflicts: 1301000 | #Constraints: 44733 1706.68/1711.41 c #Conflicts: 1302000 | #Constraints: 45740 1706.68/1711.41 c INPROCESSING 1706.68/1711.41 c GARBAGE COLLECT 1706.68/1711.41 c rational objective 3 1759.46/1764.30 c #Conflicts: 1303000 | #Constraints: 24051 1759.46/1764.30 c #Conflicts: 1304000 | #Constraints: 25057 1759.46/1764.30 c #Conflicts: 1305000 | #Constraints: 26059 1759.46/1764.30 c #Conflicts: 1306000 | #Constraints: 27065 1759.46/1764.30 c #Conflicts: 1307000 | #Constraints: 28069 1759.46/1764.30 c #Conflicts: 1308000 | #Constraints: 29072 1759.46/1764.30 c #Conflicts: 1309000 | #Constraints: 30075 1759.46/1764.30 c #Conflicts: 1310000 | #Constraints: 31078 1759.46/1764.30 c #Conflicts: 1311000 | #Constraints: 32083 1759.46/1764.30 c #Conflicts: 1312000 | #Constraints: 33086 1759.46/1764.30 c #Conflicts: 1313000 | #Constraints: 34091 1759.46/1764.30 c #Conflicts: 1314000 | #Constraints: 35097 1759.46/1764.30 c #Conflicts: 1315000 | #Constraints: 36103 1759.46/1764.30 c #Conflicts: 1316000 | #Constraints: 37108 1759.46/1764.30 c #Conflicts: 1317000 | #Constraints: 38114 1759.46/1764.30 c #Conflicts: 1318000 | #Constraints: 39116 1759.46/1764.30 c #Conflicts: 1319000 | #Constraints: 40119 1759.46/1764.30 c #Conflicts: 1320000 | #Constraints: 41122 1759.46/1764.30 c #Conflicts: 1321000 | #Constraints: 42126 1759.46/1764.30 c #Conflicts: 1322000 | #Constraints: 43131 1759.46/1764.30 c #Conflicts: 1323000 | #Constraints: 44134 1759.46/1764.30 c #Conflicts: 1324000 | #Constraints: 45135 1759.46/1764.30 c #Conflicts: 1325000 | #Constraints: 46135 1759.46/1764.30 c INPROCESSING 1759.46/1764.30 c GARBAGE COLLECT 1759.46/1764.30 c rational objective 3 1800.06/1805.10 c #Conflicts: 1326000 | #Constraints: 24269 1800.06/1805.10 c #Conflicts: 1327000 | #Constraints: 25273 1800.06/1805.10 c #Conflicts: 1328000 | #Constraints: 26277 1800.06/1805.10 c #Conflicts: 1329000 | #Constraints: 27281 1800.06/1805.10 c #Conflicts: 1330000 | #Constraints: 28287 1800.06/1805.10 c #Conflicts: 1331000 | #Constraints: 29294 1800.06/1805.10 c #Conflicts: 1332000 | #Constraints: 30298 1800.06/1805.10 c #Conflicts: 1333000 | #Constraints: 31301 1800.06/1805.10 c #Conflicts: 1334000 | #Constraints: 32304 1800.06/1805.10 c #Conflicts: 1335000 | #Constraints: 33310 1800.06/1805.10 c #Conflicts: 1336000 | #Constraints: 34312 1800.06/1805.10 c #Conflicts: 1337000 | #Constraints: 35316 1800.06/1805.10 c #Conflicts: 1338000 | #Constraints: 36324 1800.06/1805.10 c #Conflicts: 1339000 | #Constraints: 37328 1800.06/1805.10 c #Conflicts: 1340000 | #Constraints: 38332 1800.06/1805.10 c #Conflicts: 1341000 | #Constraints: 39334 1800.06/1805.10 c #Conflicts: 1342000 | #Constraints: 40338 1800.06/1805.10 c #Conflicts: 1343000 | #Constraints: 41340 1800.06/1805.10 c #Conflicts: 1344000 | #Constraints: 42343 1800.06/1805.10 c #Conflicts: 1345000 | #Constraints: 43348 1800.06/1805.10 c #Conflicts: 1346000 | #Constraints: 44352 1800.06/1805.10 c #Conflicts: 1347000 | #Constraints: 45356 1800.06/1805.10 c #Conflicts: 1348000 | #Constraints: 46361 1800.06/1805.10 c INPROCESSING 1800.06/1805.10 c GARBAGE COLLECT 1800.06/1805.10 c rational objective 3 1842.75/1847.87 c #Conflicts: 1349000 | #Constraints: 24229 1842.75/1847.87 c #Conflicts: 1350000 | #Constraints: 25232 1842.75/1847.87 c #Conflicts: 1351000 | #Constraints: 26238 1842.75/1847.87 c #Conflicts: 1352000 | #Constraints: 27243 1842.75/1847.87 c #Conflicts: 1353000 | #Constraints: 28247 1842.75/1847.87 c #Conflicts: 1354000 | #Constraints: 29252 1842.75/1847.87 c #Conflicts: 1355000 | #Constraints: 30263 1842.75/1847.87 c #Conflicts: 1356000 | #Constraints: 31271 1842.75/1847.87 c #Conflicts: 1357000 | #Constraints: 32276 1842.75/1847.87 c #Conflicts: 1358000 | #Constraints: 33280 1842.75/1847.87 c #Conflicts: 1359000 | #Constraints: 34282 1842.75/1847.87 c #Conflicts: 1360000 | #Constraints: 35288 1842.75/1847.87 c #Conflicts: 1361000 | #Constraints: 36293 1842.75/1847.87 c #Conflicts: 1362000 | #Constraints: 37297 1842.75/1847.87 c #Conflicts: 1363000 | #Constraints: 38302 1842.75/1847.87 c #Conflicts: 1364000 | #Constraints: 39305 1842.75/1847.87 c #Conflicts: 1365000 | #Constraints: 40314 1842.75/1847.87 c #Conflicts: 1366000 | #Constraints: 41318 1842.75/1847.87 c #Conflicts: 1367000 | #Constraints: 42322 1842.75/1847.87 c #Conflicts: 1368000 | #Constraints: 43327 1842.75/1847.87 c #Conflicts: 1369000 | #Constraints: 44332 1842.75/1847.87 c #Conflicts: 1370000 | #Constraints: 45333 1842.75/1847.87 c #Conflicts: 1371000 | #Constraints: 46335 1842.75/1847.87 c INPROCESSING 1842.75/1847.87 c GARBAGE COLLECT 1842.75/1847.87 c rational objective 3 1891.33/1896.58 c #Conflicts: 1372000 | #Constraints: 24033 1891.33/1896.58 c #Conflicts: 1373000 | #Constraints: 25038 1891.33/1896.58 c #Conflicts: 1374000 | #Constraints: 26041 1891.33/1896.58 c #Conflicts: 1375000 | #Constraints: 27043 1891.33/1896.58 c #Conflicts: 1376000 | #Constraints: 28048 1891.33/1896.58 c #Conflicts: 1377000 | #Constraints: 29053 1891.33/1896.58 c #Conflicts: 1378000 | #Constraints: 30061 1891.33/1896.58 c #Conflicts: 1379000 | #Constraints: 31069 1891.33/1896.58 c #Conflicts: 1380000 | #Constraints: 32073 1891.33/1896.58 c #Conflicts: 1381000 | #Constraints: 33079 1891.33/1896.58 c #Conflicts: 1382000 | #Constraints: 34083 1891.33/1896.58 c #Conflicts: 1383000 | #Constraints: 35089 1891.33/1896.58 c #Conflicts: 1384000 | #Constraints: 36092 1891.33/1896.58 c #Conflicts: 1385000 | #Constraints: 37094 1891.33/1896.58 c #Conflicts: 1386000 | #Constraints: 38100 1891.33/1896.58 c #Conflicts: 1387000 | #Constraints: 39101 1891.33/1896.58 c #Conflicts: 1388000 | #Constraints: 40111 1891.33/1896.58 c #Conflicts: 1389000 | #Constraints: 41116 1891.33/1896.58 c #Conflicts: 1390000 | #Constraints: 42123 1891.33/1896.58 c #Conflicts: 1391000 | #Constraints: 43123 1891.33/1896.58 c #Conflicts: 1392000 | #Constraints: 44126 1891.33/1896.58 c #Conflicts: 1393000 | #Constraints: 45128 1891.33/1896.58 c #Conflicts: 1394000 | #Constraints: 46137 1891.33/1896.58 c #Conflicts: 1395000 | #Constraints: 47141 1891.33/1896.58 c INPROCESSING 1891.33/1896.58 c GARBAGE COLLECT 1891.33/1896.58 c rational objective 3 1937.31/1942.64 c #Conflicts: 1396000 | #Constraints: 24630 1937.31/1942.64 c #Conflicts: 1397000 | #Constraints: 25638 1937.31/1942.64 c #Conflicts: 1398000 | #Constraints: 26643 1937.31/1942.64 c #Conflicts: 1399000 | #Constraints: 27649 1937.31/1942.64 c #Conflicts: 1400000 | #Constraints: 28655 1937.31/1942.64 c #Conflicts: 1401000 | #Constraints: 29663 1937.31/1942.64 c #Conflicts: 1402000 | #Constraints: 30665 1937.31/1942.64 c #Conflicts: 1403000 | #Constraints: 31670 1937.31/1942.64 c #Conflicts: 1404000 | #Constraints: 32679 1937.31/1942.64 c #Conflicts: 1405000 | #Constraints: 33688 1937.31/1942.64 c #Conflicts: 1406000 | #Constraints: 34695 1937.31/1942.64 c #Conflicts: 1407000 | #Constraints: 35700 1937.31/1942.64 c #Conflicts: 1408000 | #Constraints: 36705 1937.31/1942.64 c #Conflicts: 1409000 | #Constraints: 37709 1937.31/1942.64 c #Conflicts: 1410000 | #Constraints: 38711 1937.31/1942.64 c #Conflicts: 1411000 | #Constraints: 39715 1937.31/1942.64 c #Conflicts: 1412000 | #Constraints: 40722 1937.31/1942.64 c #Conflicts: 1413000 | #Constraints: 41729 1937.31/1942.64 c #Conflicts: 1414000 | #Constraints: 42738 1937.31/1942.64 c #Conflicts: 1415000 | #Constraints: 43742 1937.31/1942.64 c #Conflicts: 1416000 | #Constraints: 44746 1937.31/1942.64 c #Conflicts: 1417000 | #Constraints: 45749 1937.31/1942.64 c #Conflicts: 1418000 | #Constraints: 46754 1937.31/1942.64 c #Conflicts: 1419000 | #Constraints: 47757 1937.31/1942.64 c INPROCESSING 1937.31/1942.64 c GARBAGE COLLECT 1937.31/1942.64 c rational objective 3 1978.41/1983.80 c #Conflicts: 1420000 | #Constraints: 25046 1978.41/1983.80 c #Conflicts: 1421000 | #Constraints: 26051 1978.41/1983.80 c #Conflicts: 1422000 | #Constraints: 27054 1978.41/1983.80 c #Conflicts: 1423000 | #Constraints: 28056 1978.41/1983.80 c #Conflicts: 1424000 | #Constraints: 29061 1978.41/1983.80 c #Conflicts: 1425000 | #Constraints: 30069 1978.41/1983.80 c #Conflicts: 1426000 | #Constraints: 31072 1978.41/1983.80 c #Conflicts: 1427000 | #Constraints: 32079 1978.41/1983.80 c #Conflicts: 1428000 | #Constraints: 33086 1978.41/1983.80 c #Conflicts: 1429000 | #Constraints: 34093 1978.41/1983.80 c #Conflicts: 1430000 | #Constraints: 35098 1978.41/1983.80 c #Conflicts: 1431000 | #Constraints: 36103 1978.41/1983.80 c #Conflicts: 1432000 | #Constraints: 37110 1978.41/1983.80 c #Conflicts: 1433000 | #Constraints: 38114 1978.41/1983.80 c #Conflicts: 1434000 | #Constraints: 39119 1978.41/1983.80 c #Conflicts: 1435000 | #Constraints: 40122 1978.41/1983.80 c #Conflicts: 1436000 | #Constraints: 41126 1978.41/1983.80 c #Conflicts: 1437000 | #Constraints: 42133 1978.41/1983.80 c #Conflicts: 1438000 | #Constraints: 43141 1978.41/1983.80 c #Conflicts: 1439000 | #Constraints: 44148 1978.41/1983.80 c #Conflicts: 1440000 | #Constraints: 45158 1978.41/1983.80 c #Conflicts: 1441000 | #Constraints: 46164 1978.41/1983.80 c #Conflicts: 1442000 | #Constraints: 47170 1978.41/1983.80 c #Conflicts: 1443000 | #Constraints: 48173 1978.41/1983.80 c INPROCESSING 1978.41/1983.80 c GARBAGE COLLECT 1978.41/1983.80 c rational objective 3 2017.71/2023.22 c #Conflicts: 1444000 | #Constraints: 25308 2017.71/2023.22 c #Conflicts: 1445000 | #Constraints: 26313 2017.71/2023.22 c #Conflicts: 1446000 | #Constraints: 27315 2017.71/2023.22 c #Conflicts: 1447000 | #Constraints: 28318 2017.71/2023.22 c #Conflicts: 1448000 | #Constraints: 29323 2017.71/2023.22 c #Conflicts: 1449000 | #Constraints: 30328 2017.71/2023.22 c #Conflicts: 1450000 | #Constraints: 31331 2017.71/2023.22 c #Conflicts: 1451000 | #Constraints: 32338 2017.71/2023.22 c #Conflicts: 1452000 | #Constraints: 33344 2017.71/2023.22 c #Conflicts: 1453000 | #Constraints: 34349 2017.71/2023.22 c #Conflicts: 1454000 | #Constraints: 35355 2017.71/2023.22 c #Conflicts: 1455000 | #Constraints: 36357 2017.71/2023.22 c #Conflicts: 1456000 | #Constraints: 37361 2017.71/2023.22 c #Conflicts: 1457000 | #Constraints: 38363 2017.71/2023.22 c #Conflicts: 1458000 | #Constraints: 39364 2017.71/2023.22 c #Conflicts: 1459000 | #Constraints: 40366 2017.71/2023.22 c #Conflicts: 1460000 | #Constraints: 41372 2017.71/2023.22 c #Conflicts: 1461000 | #Constraints: 42375 2017.71/2023.22 c #Conflicts: 1462000 | #Constraints: 43378 2017.71/2023.22 c #Conflicts: 1463000 | #Constraints: 44392 2017.71/2023.22 c #Conflicts: 1464000 | #Constraints: 45406 2017.71/2023.22 c #Conflicts: 1465000 | #Constraints: 46411 2017.71/2023.22 c #Conflicts: 1466000 | #Constraints: 47415 2017.71/2023.22 c #Conflicts: 1467000 | #Constraints: 48421 2017.71/2023.22 c INPROCESSING 2017.71/2023.22 c GARBAGE COLLECT 2017.71/2023.22 c rational objective 3 2062.90/2068.54 c #Conflicts: 1468000 | #Constraints: 25276 2062.90/2068.54 c #Conflicts: 1469000 | #Constraints: 26281 2062.90/2068.54 c #Conflicts: 1470000 | #Constraints: 27285 2062.90/2068.54 c #Conflicts: 1471000 | #Constraints: 28290 2062.90/2068.54 c #Conflicts: 1472000 | #Constraints: 29298 2062.90/2068.54 c #Conflicts: 1473000 | #Constraints: 30305 2062.90/2068.54 c #Conflicts: 1474000 | #Constraints: 31309 2062.90/2068.54 c #Conflicts: 1475000 | #Constraints: 32313 2062.90/2068.54 c #Conflicts: 1476000 | #Constraints: 33319 2062.90/2068.54 c #Conflicts: 1477000 | #Constraints: 34323 2062.90/2068.54 c #Conflicts: 1478000 | #Constraints: 35325 2062.90/2068.54 c #Conflicts: 1479000 | #Constraints: 36330 2062.90/2068.54 c #Conflicts: 1480000 | #Constraints: 37336 2062.90/2068.54 c #Conflicts: 1481000 | #Constraints: 38341 2062.90/2068.54 c #Conflicts: 1482000 | #Constraints: 39347 2062.90/2068.54 c #Conflicts: 1483000 | #Constraints: 40356 2062.90/2068.54 c #Conflicts: 1484000 | #Constraints: 41360 2062.90/2068.54 c #Conflicts: 1485000 | #Constraints: 42370 2062.90/2068.54 c #Conflicts: 1486000 | #Constraints: 43385 2062.90/2068.54 c #Conflicts: 1487000 | #Constraints: 44390 2062.90/2068.54 c #Conflicts: 1488000 | #Constraints: 45396 2062.90/2068.54 c #Conflicts: 1489000 | #Constraints: 46401 2062.90/2068.54 c #Conflicts: 1490000 | #Constraints: 47405 2062.90/2068.54 c #Conflicts: 1491000 | #Constraints: 48410 2062.90/2068.54 c INPROCESSING 2062.90/2068.54 c GARBAGE COLLECT 2062.90/2068.54 c rational objective 3 2100.32/2106.04 c #Conflicts: 1492000 | #Constraints: 25069 2100.32/2106.04 c #Conflicts: 1493000 | #Constraints: 26074 2100.32/2106.04 c #Conflicts: 1494000 | #Constraints: 27080 2100.32/2106.04 c #Conflicts: 1495000 | #Constraints: 28083 2100.32/2106.04 c #Conflicts: 1496000 | #Constraints: 29090 2100.32/2106.04 c #Conflicts: 1497000 | #Constraints: 30094 2100.32/2106.04 c #Conflicts: 1498000 | #Constraints: 31099 2100.32/2106.04 c #Conflicts: 1499000 | #Constraints: 32107 2100.32/2106.04 c #Conflicts: 1500000 | #Constraints: 33118 2100.32/2106.04 c #Conflicts: 1501000 | #Constraints: 34136 2100.32/2106.04 c #Conflicts: 1502000 | #Constraints: 35155 2100.32/2106.04 c #Conflicts: 1503000 | #Constraints: 36170 2100.32/2106.04 c #Conflicts: 1504000 | #Constraints: 37184 2100.32/2106.04 c #Conflicts: 1505000 | #Constraints: 38192 2100.32/2106.04 c #Conflicts: 1506000 | #Constraints: 39200 2100.32/2106.04 c #Conflicts: 1507000 | #Constraints: 40205 2100.32/2106.04 c #Conflicts: 1508000 | #Constraints: 41213 2100.32/2106.04 c #Conflicts: 1509000 | #Constraints: 42215 2100.32/2106.04 c #Conflicts: 1510000 | #Constraints: 43218 2100.32/2106.04 c #Conflicts: 1511000 | #Constraints: 44222 2100.32/2106.04 c #Conflicts: 1512000 | #Constraints: 45226 2100.32/2106.04 c #Conflicts: 1513000 | #Constraints: 46228 2100.32/2106.04 c #Conflicts: 1514000 | #Constraints: 47234 2100.32/2106.04 c #Conflicts: 1515000 | #Constraints: 48238 2100.32/2106.04 c #Conflicts: 1516000 | #Constraints: 49251 2100.32/2106.04 c INPROCESSING 2100.32/2106.04 c GARBAGE COLLECT 2100.32/2106.04 c rational objective 3 2148.29/2154.18 c #Conflicts: 1517000 | #Constraints: 25695 2148.29/2154.18 c #Conflicts: 1518000 | #Constraints: 26700 2148.29/2154.18 c #Conflicts: 1519000 | #Constraints: 27707 2148.29/2154.18 c #Conflicts: 1520000 | #Constraints: 28710 2148.29/2154.18 c #Conflicts: 1521000 | #Constraints: 29713 2148.29/2154.18 c #Conflicts: 1522000 | #Constraints: 30721 2148.29/2154.18 c #Conflicts: 1523000 | #Constraints: 31733 2148.29/2154.18 c #Conflicts: 1524000 | #Constraints: 32740 2148.29/2154.18 c #Conflicts: 1525000 | #Constraints: 33741 2148.29/2154.18 c #Conflicts: 1526000 | #Constraints: 34746 2148.29/2154.18 c #Conflicts: 1527000 | #Constraints: 35752 2148.29/2154.18 c #Conflicts: 1528000 | #Constraints: 36760 2148.29/2154.18 c #Conflicts: 1529000 | #Constraints: 37763 2148.29/2154.18 c #Conflicts: 1530000 | #Constraints: 38768 2148.29/2154.18 c #Conflicts: 1531000 | #Constraints: 39772 2148.29/2154.18 c #Conflicts: 1532000 | #Constraints: 40778 2148.29/2154.18 c #Conflicts: 1533000 | #Constraints: 41784 2148.29/2154.18 c #Conflicts: 1534000 | #Constraints: 42788 2148.29/2154.18 c #Conflicts: 1535000 | #Constraints: 43792 2148.29/2154.18 c #Conflicts: 1536000 | #Constraints: 44797 2148.29/2154.18 c #Conflicts: 1537000 | #Constraints: 45802 2148.29/2154.18 c #Conflicts: 1538000 | #Constraints: 46808 2148.29/2154.18 c #Conflicts: 1539000 | #Constraints: 47813 2148.29/2154.18 c #Conflicts: 1540000 | #Constraints: 48819 2148.29/2154.18 c #Conflicts: 1541000 | #Constraints: 49826 2148.29/2154.18 c INPROCESSING 2148.29/2154.18 c GARBAGE COLLECT 2148.29/2154.18 c rational objective 3 2194.97/2200.92 c #Conflicts: 1542000 | #Constraints: 26091 2194.97/2200.92 c #Conflicts: 1543000 | #Constraints: 27097 2194.97/2200.92 c #Conflicts: 1544000 | #Constraints: 28101 2194.97/2200.92 c #Conflicts: 1545000 | #Constraints: 29108 2194.97/2200.92 c #Conflicts: 1546000 | #Constraints: 30112 2194.97/2200.92 c #Conflicts: 1547000 | #Constraints: 31118 2194.97/2200.92 c #Conflicts: 1548000 | #Constraints: 32119 2194.97/2200.92 c #Conflicts: 1549000 | #Constraints: 33123 2194.97/2200.92 c #Conflicts: 1550000 | #Constraints: 34129 2194.97/2200.92 c #Conflicts: 1551000 | #Constraints: 35130 2194.97/2200.92 c #Conflicts: 1552000 | #Constraints: 36132 2194.97/2200.92 c #Conflicts: 1553000 | #Constraints: 37134 2194.97/2200.92 c #Conflicts: 1554000 | #Constraints: 38135 2194.97/2200.92 c #Conflicts: 1555000 | #Constraints: 39137 2194.97/2200.92 c #Conflicts: 1556000 | #Constraints: 40138 2194.97/2200.92 c #Conflicts: 1557000 | #Constraints: 41140 2194.97/2200.92 c #Conflicts: 1558000 | #Constraints: 42144 2194.97/2200.92 c #Conflicts: 1559000 | #Constraints: 43144 2194.97/2200.92 c #Conflicts: 1560000 | #Constraints: 44144 2194.97/2200.92 c #Conflicts: 1561000 | #Constraints: 45148 2194.97/2200.92 c #Conflicts: 1562000 | #Constraints: 46151 2194.97/2200.92 c #Conflicts: 1563000 | #Constraints: 47153 2194.97/2200.92 c #Conflicts: 1564000 | #Constraints: 48158 2194.97/2200.92 c #Conflicts: 1565000 | #Constraints: 49165 2194.97/2200.92 c #Conflicts: 1566000 | #Constraints: 50167 2194.97/2200.92 c INPROCESSING 2194.97/2200.92 c GARBAGE COLLECT 2194.97/2200.92 c rational objective 3 2249.94/2256.05 c #Conflicts: 1567000 | #Constraints: 26277 2249.94/2256.05 c #Conflicts: 1568000 | #Constraints: 27281 2249.94/2256.05 c #Conflicts: 1569000 | #Constraints: 28287 2249.94/2256.05 c #Conflicts: 1570000 | #Constraints: 29293 2249.94/2256.05 c #Conflicts: 1571000 | #Constraints: 30294 2249.94/2256.05 c #Conflicts: 1572000 | #Constraints: 31295 2249.94/2256.05 c #Conflicts: 1573000 | #Constraints: 32298 2249.94/2256.05 c #Conflicts: 1574000 | #Constraints: 33300 2249.94/2256.05 c #Conflicts: 1575000 | #Constraints: 34303 2249.94/2256.05 c #Conflicts: 1576000 | #Constraints: 35304 2249.94/2256.05 c #Conflicts: 1577000 | #Constraints: 36305 2249.94/2256.05 c #Conflicts: 1578000 | #Constraints: 37306 2249.94/2256.05 c #Conflicts: 1579000 | #Constraints: 38307 2249.94/2256.05 c #Conflicts: 1580000 | #Constraints: 39310 2249.94/2256.05 c #Conflicts: 1581000 | #Constraints: 40311 2249.94/2256.05 c #Conflicts: 1582000 | #Constraints: 41315 2249.94/2256.05 c #Conflicts: 1583000 | #Constraints: 42322 2249.94/2256.05 c #Conflicts: 1584000 | #Constraints: 43326 2249.94/2256.05 c #Conflicts: 1585000 | #Constraints: 44329 2249.94/2256.05 c #Conflicts: 1586000 | #Constraints: 45335 2249.94/2256.05 c #Conflicts: 1587000 | #Constraints: 46339 2249.94/2256.05 c #Conflicts: 1588000 | #Constraints: 47340 2249.94/2256.05 c #Conflicts: 1589000 | #Constraints: 48350 2249.94/2256.05 c #Conflicts: 1590000 | #Constraints: 49360 2249.94/2256.05 c #Conflicts: 1591000 | #Constraints: 50367 2249.94/2256.05 c INPROCESSING 2249.94/2256.05 c GARBAGE COLLECT 2249.94/2256.05 c rational objective 3 2333.35/2339.66 c #Conflicts: 1592000 | #Constraints: 26268 2333.35/2339.66 c #Conflicts: 1593000 | #Constraints: 27275 2333.35/2339.66 c #Conflicts: 1594000 | #Constraints: 28281 2333.35/2339.66 c #Conflicts: 1595000 | #Constraints: 29286 2333.35/2339.66 c #Conflicts: 1596000 | #Constraints: 30291 2333.35/2339.66 c #Conflicts: 1597000 | #Constraints: 31296 2333.35/2339.66 c #Conflicts: 1598000 | #Constraints: 32299 2333.35/2339.66 c #Conflicts: 1599000 | #Constraints: 33304 2333.35/2339.66 c #Conflicts: 1600000 | #Constraints: 34310 2333.35/2339.66 c #Conflicts: 1601000 | #Constraints: 35317 2333.35/2339.66 c #Conflicts: 1602000 | #Constraints: 36323 2333.35/2339.66 c #Conflicts: 1603000 | #Constraints: 37326 2333.35/2339.66 c #Conflicts: 1604000 | #Constraints: 38328 2333.35/2339.66 c #Conflicts: 1605000 | #Constraints: 39330 2333.35/2339.66 c #Conflicts: 1606000 | #Constraints: 40335 2333.35/2339.66 c #Conflicts: 1607000 | #Constraints: 41340 2333.35/2339.66 c #Conflicts: 1608000 | #Constraints: 42344 2333.35/2339.66 c #Conflicts: 1609000 | #Constraints: 43349 2333.35/2339.66 c #Conflicts: 1610000 | #Constraints: 44351 2333.35/2339.66 c #Conflicts: 1611000 | #Constraints: 45353 2333.35/2339.66 c #Conflicts: 1612000 | #Constraints: 46355 2333.35/2339.66 c #Conflicts: 1613000 | #Constraints: 47362 2333.35/2339.66 c #Conflicts: 1614000 | #Constraints: 48364 2333.35/2339.66 c #Conflicts: 1615000 | #Constraints: 49365 2333.35/2339.66 c #Conflicts: 1616000 | #Constraints: 50368 2333.35/2339.66 c INPROCESSING 2333.35/2339.66 c GARBAGE COLLECT 2333.35/2339.66 c rational objective 3 2370.55/2376.93 c #Conflicts: 1617000 | #Constraints: 26038 2370.55/2376.93 c #Conflicts: 1618000 | #Constraints: 27043 2370.55/2376.93 c #Conflicts: 1619000 | #Constraints: 28047 2370.55/2376.93 c #Conflicts: 1620000 | #Constraints: 29051 2370.55/2376.93 c #Conflicts: 1621000 | #Constraints: 30057 2370.55/2376.93 c #Conflicts: 1622000 | #Constraints: 31061 2370.55/2376.93 c #Conflicts: 1623000 | #Constraints: 32065 2370.55/2376.93 c #Conflicts: 1624000 | #Constraints: 33068 2370.55/2376.93 c #Conflicts: 1625000 | #Constraints: 34070 2370.55/2376.93 c #Conflicts: 1626000 | #Constraints: 35073 2370.55/2376.93 c #Conflicts: 1627000 | #Constraints: 36075 2370.55/2376.93 c #Conflicts: 1628000 | #Constraints: 37078 2370.55/2376.93 c #Conflicts: 1629000 | #Constraints: 38083 2370.55/2376.93 c #Conflicts: 1630000 | #Constraints: 39086 2370.55/2376.93 c #Conflicts: 1631000 | #Constraints: 40087 2370.55/2376.93 c #Conflicts: 1632000 | #Constraints: 41092 2370.55/2376.93 c #Conflicts: 1633000 | #Constraints: 42094 2370.55/2376.93 c #Conflicts: 1634000 | #Constraints: 43096 2370.55/2376.93 c #Conflicts: 1635000 | #Constraints: 44097 2370.55/2376.93 c #Conflicts: 1636000 | #Constraints: 45100 2370.55/2376.93 c #Conflicts: 1637000 | #Constraints: 46106 2370.55/2376.93 c #Conflicts: 1638000 | #Constraints: 47109 2370.55/2376.93 c #Conflicts: 1639000 | #Constraints: 48111 2370.55/2376.93 c #Conflicts: 1640000 | #Constraints: 49113 2370.55/2376.93 c #Conflicts: 1641000 | #Constraints: 50118 2370.55/2376.93 c #Conflicts: 1642000 | #Constraints: 51128 2370.55/2376.93 c INPROCESSING 2370.55/2376.93 c GARBAGE COLLECT 2370.55/2376.93 c rational objective 3 2412.75/2419.24 c #Conflicts: 1643000 | #Constraints: 26666 2412.75/2419.24 c #Conflicts: 1644000 | #Constraints: 27671 2412.75/2419.24 c #Conflicts: 1645000 | #Constraints: 28679 2412.75/2419.24 c #Conflicts: 1646000 | #Constraints: 29685 2412.75/2419.24 c #Conflicts: 1647000 | #Constraints: 30690 2412.75/2419.24 c #Conflicts: 1648000 | #Constraints: 31691 2412.75/2419.24 c #Conflicts: 1649000 | #Constraints: 32696 2412.75/2419.24 c #Conflicts: 1650000 | #Constraints: 33700 2412.75/2419.24 c #Conflicts: 1651000 | #Constraints: 34706 2412.75/2419.24 c #Conflicts: 1652000 | #Constraints: 35708 2412.75/2419.24 c #Conflicts: 1653000 | #Constraints: 36715 2412.75/2419.24 c #Conflicts: 1654000 | #Constraints: 37719 2412.75/2419.24 c #Conflicts: 1655000 | #Constraints: 38721 2412.75/2419.24 c #Conflicts: 1656000 | #Constraints: 39724 2412.75/2419.24 c #Conflicts: 1657000 | #Constraints: 40730 2412.75/2419.24 c #Conflicts: 1658000 | #Constraints: 41736 2412.75/2419.24 c #Conflicts: 1659000 | #Constraints: 42737 2412.75/2419.24 c #Conflicts: 1660000 | #Constraints: 43743 2412.75/2419.24 c #Conflicts: 1661000 | #Constraints: 44746 2412.75/2419.24 c #Conflicts: 1662000 | #Constraints: 45753 2412.75/2419.24 c #Conflicts: 1663000 | #Constraints: 46759 2412.75/2419.24 c #Conflicts: 1664000 | #Constraints: 47763 2412.75/2419.24 c #Conflicts: 1665000 | #Constraints: 48769 2412.75/2419.24 c #Conflicts: 1666000 | #Constraints: 49775 2412.75/2419.24 c #Conflicts: 1667000 | #Constraints: 50779 2412.75/2419.24 c #Conflicts: 1668000 | #Constraints: 51782 2412.75/2419.24 c INPROCESSING 2412.75/2419.24 c GARBAGE COLLECT 2412.75/2419.24 c rational objective 3 2454.85/2461.41 c #Conflicts: 1669000 | #Constraints: 27082 2454.85/2461.41 c #Conflicts: 1670000 | #Constraints: 28087 2454.85/2461.41 c #Conflicts: 1671000 | #Constraints: 29094 2454.85/2461.41 c #Conflicts: 1672000 | #Constraints: 30098 2454.85/2461.41 c #Conflicts: 1673000 | #Constraints: 31108 2454.85/2461.41 c #Conflicts: 1674000 | #Constraints: 32113 2454.85/2461.41 c #Conflicts: 1675000 | #Constraints: 33116 2454.85/2461.41 c #Conflicts: 1676000 | #Constraints: 34121 2454.85/2461.41 c #Conflicts: 1677000 | #Constraints: 35127 2454.85/2461.41 c #Conflicts: 1678000 | #Constraints: 36130 2454.85/2461.41 c #Conflicts: 1679000 | #Constraints: 37135 2454.85/2461.41 c #Conflicts: 1680000 | #Constraints: 38141 2454.85/2461.41 c #Conflicts: 1681000 | #Constraints: 39146 2454.85/2461.41 c #Conflicts: 1682000 | #Constraints: 40150 2454.85/2461.41 c #Conflicts: 1683000 | #Constraints: 41152 2454.85/2461.41 c #Conflicts: 1684000 | #Constraints: 42154 2454.85/2461.41 c #Conflicts: 1685000 | #Constraints: 43156 2454.85/2461.41 c #Conflicts: 1686000 | #Constraints: 44164 2454.85/2461.41 c #Conflicts: 1687000 | #Constraints: 45164 2454.85/2461.41 c #Conflicts: 1688000 | #Constraints: 46167 2454.85/2461.41 c #Conflicts: 1689000 | #Constraints: 47167 2454.85/2461.41 c #Conflicts: 1690000 | #Constraints: 48171 2454.85/2461.41 c #Conflicts: 1691000 | #Constraints: 49173 2454.85/2461.41 c #Conflicts: 1692000 | #Constraints: 50180 2454.85/2461.41 c #Conflicts: 1693000 | #Constraints: 51186 2454.85/2461.41 c #Conflicts: 1694000 | #Constraints: 52192 2454.85/2461.41 c INPROCESSING 2454.85/2461.41 c GARBAGE COLLECT 2454.85/2461.41 c rational objective 3 2502.14/2508.87 c #Conflicts: 1695000 | #Constraints: 27259 2502.14/2508.87 c #Conflicts: 1696000 | #Constraints: 28265 2502.14/2508.87 c #Conflicts: 1697000 | #Constraints: 29272 2502.14/2508.87 c #Conflicts: 1698000 | #Constraints: 30278 2502.14/2508.87 c #Conflicts: 1699000 | #Constraints: 31284 2502.14/2508.87 c #Conflicts: 1700000 | #Constraints: 32287 2502.14/2508.87 c #Conflicts: 1701000 | #Constraints: 33289 2502.14/2508.87 c #Conflicts: 1702000 | #Constraints: 34292 2502.14/2508.87 c #Conflicts: 1703000 | #Constraints: 35296 2502.14/2508.87 c #Conflicts: 1704000 | #Constraints: 36304 2502.14/2508.87 c #Conflicts: 1705000 | #Constraints: 37308 2502.14/2508.87 c #Conflicts: 1706000 | #Constraints: 38316 2502.14/2508.87 c #Conflicts: 1707000 | #Constraints: 39331 2502.14/2508.87 c #Conflicts: 1708000 | #Constraints: 40339 2502.14/2508.87 c #Conflicts: 1709000 | #Constraints: 41344 2502.14/2508.87 c #Conflicts: 1710000 | #Constraints: 42353 2502.14/2508.87 c #Conflicts: 1711000 | #Constraints: 43359 2502.14/2508.87 c #Conflicts: 1712000 | #Constraints: 44360 2502.14/2508.87 c #Conflicts: 1713000 | #Constraints: 45366 2502.14/2508.87 c #Conflicts: 1714000 | #Constraints: 46370 2502.14/2508.87 c #Conflicts: 1715000 | #Constraints: 47373 2502.14/2508.87 c #Conflicts: 1716000 | #Constraints: 48379 2502.14/2508.87 c #Conflicts: 1717000 | #Constraints: 49383 2502.14/2508.87 c #Conflicts: 1718000 | #Constraints: 50386 2502.14/2508.87 c #Conflicts: 1719000 | #Constraints: 51391 2502.14/2508.87 c #Conflicts: 1720000 | #Constraints: 52394 2502.14/2508.87 c INPROCESSING 2502.14/2508.87 c GARBAGE COLLECT 2502.14/2508.87 c rational objective 3 2546.53/2553.30 c #Conflicts: 1721000 | #Constraints: 27288 2546.53/2553.30 c #Conflicts: 1722000 | #Constraints: 28292 2546.53/2553.30 c #Conflicts: 1723000 | #Constraints: 29294 2546.53/2553.30 c #Conflicts: 1724000 | #Constraints: 30297 2546.53/2553.30 c #Conflicts: 1725000 | #Constraints: 31301 2546.53/2553.30 c #Conflicts: 1726000 | #Constraints: 32306 2546.53/2553.30 c #Conflicts: 1727000 | #Constraints: 33311 2546.53/2553.30 c #Conflicts: 1728000 | #Constraints: 34319 2546.53/2553.30 c #Conflicts: 1729000 | #Constraints: 35322 2546.53/2553.30 c #Conflicts: 1730000 | #Constraints: 36324 2546.53/2553.30 c #Conflicts: 1731000 | #Constraints: 37328 2546.53/2553.30 c #Conflicts: 1732000 | #Constraints: 38332 2546.53/2553.30 c #Conflicts: 1733000 | #Constraints: 39338 2546.53/2553.30 c #Conflicts: 1734000 | #Constraints: 40341 2546.53/2553.30 c #Conflicts: 1735000 | #Constraints: 41348 2546.53/2553.30 c #Conflicts: 1736000 | #Constraints: 42350 2546.53/2553.30 c #Conflicts: 1737000 | #Constraints: 43353 2546.53/2553.30 c #Conflicts: 1738000 | #Constraints: 44356 2546.53/2553.30 c #Conflicts: 1739000 | #Constraints: 45358 2546.53/2553.30 c #Conflicts: 1740000 | #Constraints: 46360 2546.53/2553.30 c #Conflicts: 1741000 | #Constraints: 47363 2546.53/2553.30 c #Conflicts: 1742000 | #Constraints: 48365 2546.53/2553.30 c #Conflicts: 1743000 | #Constraints: 49371 2546.53/2553.30 c #Conflicts: 1744000 | #Constraints: 50377 2546.53/2553.30 c #Conflicts: 1745000 | #Constraints: 51381 2546.53/2553.30 c #Conflicts: 1746000 | #Constraints: 52387 2546.53/2553.30 c INPROCESSING 2546.53/2553.30 c GARBAGE COLLECT 2546.53/2553.30 c rational objective 3 2587.94/2594.84 c #Conflicts: 1747000 | #Constraints: 27046 2587.94/2594.84 c #Conflicts: 1748000 | #Constraints: 28051 2587.94/2594.84 c #Conflicts: 1749000 | #Constraints: 29058 2587.94/2594.84 c #Conflicts: 1750000 | #Constraints: 30061 2587.94/2594.84 c #Conflicts: 1751000 | #Constraints: 31066 2587.94/2594.84 c #Conflicts: 1752000 | #Constraints: 32073 2587.94/2594.84 c #Conflicts: 1753000 | #Constraints: 33077 2587.94/2594.84 c #Conflicts: 1754000 | #Constraints: 34081 2587.94/2594.84 c #Conflicts: 1755000 | #Constraints: 35087 2587.94/2594.84 c #Conflicts: 1756000 | #Constraints: 36092 2587.94/2594.84 c #Conflicts: 1757000 | #Constraints: 37098 2587.94/2594.84 c #Conflicts: 1758000 | #Constraints: 38105 2587.94/2594.84 c #Conflicts: 1759000 | #Constraints: 39110 2587.94/2594.84 c #Conflicts: 1760000 | #Constraints: 40118 2587.94/2594.84 c #Conflicts: 1761000 | #Constraints: 41120 2587.94/2594.84 c #Conflicts: 1762000 | #Constraints: 42127 2587.94/2594.84 c #Conflicts: 1763000 | #Constraints: 43130 2587.94/2594.84 c #Conflicts: 1764000 | #Constraints: 44135 2587.94/2594.84 c #Conflicts: 1765000 | #Constraints: 45142 2587.94/2594.84 c #Conflicts: 1766000 | #Constraints: 46146 2587.94/2594.84 c #Conflicts: 1767000 | #Constraints: 47149 2587.94/2594.84 c #Conflicts: 1768000 | #Constraints: 48153 2587.94/2594.84 c #Conflicts: 1769000 | #Constraints: 49156 2587.94/2594.84 c #Conflicts: 1770000 | #Constraints: 50158 2587.94/2594.84 c #Conflicts: 1771000 | #Constraints: 51164 2587.94/2594.84 c #Conflicts: 1772000 | #Constraints: 52169 2587.94/2594.84 c #Conflicts: 1773000 | #Constraints: 53171 2587.94/2594.84 c INPROCESSING 2587.94/2594.84 c GARBAGE COLLECT 2587.94/2594.84 c rational objective 3 2646.10/2653.15 c #Conflicts: 1774000 | #Constraints: 27654 2646.10/2653.15 c #Conflicts: 1775000 | #Constraints: 28656 2646.10/2653.15 c #Conflicts: 1776000 | #Constraints: 29660 2646.10/2653.15 c #Conflicts: 1777000 | #Constraints: 30663 2646.10/2653.15 c #Conflicts: 1778000 | #Constraints: 31667 2646.10/2653.15 c #Conflicts: 1779000 | #Constraints: 32671 2646.10/2653.15 c #Conflicts: 1780000 | #Constraints: 33674 2646.10/2653.15 c #Conflicts: 1781000 | #Constraints: 34676 2646.10/2653.15 c #Conflicts: 1782000 | #Constraints: 35679 2646.10/2653.15 c #Conflicts: 1783000 | #Constraints: 36681 2646.10/2653.15 c #Conflicts: 1784000 | #Constraints: 37685 2646.10/2653.15 c #Conflicts: 1785000 | #Constraints: 38687 2646.10/2653.15 c #Conflicts: 1786000 | #Constraints: 39688 2646.10/2653.15 c #Conflicts: 1787000 | #Constraints: 40692 2646.10/2653.15 c #Conflicts: 1788000 | #Constraints: 41696 2646.10/2653.15 c #Conflicts: 1789000 | #Constraints: 42701 2646.10/2653.15 c #Conflicts: 1790000 | #Constraints: 43707 2646.10/2653.15 c #Conflicts: 1791000 | #Constraints: 44710 2646.10/2653.15 c #Conflicts: 1792000 | #Constraints: 45715 2646.10/2653.15 c #Conflicts: 1793000 | #Constraints: 46719 2646.10/2653.15 c #Conflicts: 1794000 | #Constraints: 47721 2646.10/2653.15 c #Conflicts: 1795000 | #Constraints: 48724 2646.10/2653.15 c #Conflicts: 1796000 | #Constraints: 49727 2646.10/2653.15 c #Conflicts: 1797000 | #Constraints: 50734 2646.10/2653.15 c #Conflicts: 1798000 | #Constraints: 51739 2646.10/2653.15 c #Conflicts: 1799000 | #Constraints: 52744 2646.10/2653.15 c #Conflicts: 1800000 | #Constraints: 53751 2646.10/2653.15 c INPROCESSING 2646.10/2653.15 c GARBAGE COLLECT 2646.10/2653.15 c rational objective 3 2694.77/2701.92 c #Conflicts: 1801000 | #Constraints: 28054 2694.77/2701.92 c #Conflicts: 1802000 | #Constraints: 29060 2694.77/2701.92 c #Conflicts: 1803000 | #Constraints: 30067 2694.77/2701.92 c #Conflicts: 1804000 | #Constraints: 31076 2694.77/2701.92 c #Conflicts: 1805000 | #Constraints: 32082 2694.77/2701.92 c #Conflicts: 1806000 | #Constraints: 33092 2694.77/2701.92 c #Conflicts: 1807000 | #Constraints: 34099 2694.77/2701.92 c #Conflicts: 1808000 | #Constraints: 35106 2694.77/2701.92 c #Conflicts: 1809000 | #Constraints: 36114 2694.77/2701.92 c #Conflicts: 1810000 | #Constraints: 37121 2694.77/2701.92 c #Conflicts: 1811000 | #Constraints: 38125 2694.77/2701.92 c #Conflicts: 1812000 | #Constraints: 39129 2694.77/2701.92 c #Conflicts: 1813000 | #Constraints: 40139 2694.77/2701.92 c #Conflicts: 1814000 | #Constraints: 41155 2694.77/2701.92 c #Conflicts: 1815000 | #Constraints: 42163 2694.77/2701.92 c #Conflicts: 1816000 | #Constraints: 43169 2694.77/2701.92 c #Conflicts: 1817000 | #Constraints: 44173 2694.77/2701.92 c #Conflicts: 1818000 | #Constraints: 45178 2694.77/2701.92 c #Conflicts: 1819000 | #Constraints: 46184 2694.77/2701.92 c #Conflicts: 1820000 | #Constraints: 47188 2694.77/2701.92 c #Conflicts: 1821000 | #Constraints: 48198 2694.77/2701.92 c #Conflicts: 1822000 | #Constraints: 49208 2694.77/2701.92 c #Conflicts: 1823000 | #Constraints: 50213 2694.77/2701.92 c #Conflicts: 1824000 | #Constraints: 51214 2694.77/2701.92 c #Conflicts: 1825000 | #Constraints: 52219 2694.77/2701.92 c #Conflicts: 1826000 | #Constraints: 53224 2694.77/2701.92 c #Conflicts: 1827000 | #Constraints: 54225 2694.77/2701.92 c INPROCESSING 2694.77/2701.92 c GARBAGE COLLECT 2694.77/2701.92 c rational objective 3 2760.42/2767.71 c #Conflicts: 1828000 | #Constraints: 28293 2760.42/2767.71 c #Conflicts: 1829000 | #Constraints: 29296 2760.42/2767.71 c #Conflicts: 1830000 | #Constraints: 30297 2760.42/2767.71 c #Conflicts: 1831000 | #Constraints: 31300 2760.42/2767.71 c #Conflicts: 1832000 | #Constraints: 32302 2760.42/2767.71 c #Conflicts: 1833000 | #Constraints: 33307 2760.42/2767.71 c #Conflicts: 1834000 | #Constraints: 34310 2760.42/2767.71 c #Conflicts: 1835000 | #Constraints: 35311 2760.42/2767.71 c #Conflicts: 1836000 | #Constraints: 36314 2760.42/2767.71 c #Conflicts: 1837000 | #Constraints: 37316 2760.42/2767.71 c #Conflicts: 1838000 | #Constraints: 38318 2760.42/2767.71 c #Conflicts: 1839000 | #Constraints: 39322 2760.42/2767.71 c #Conflicts: 1840000 | #Constraints: 40326 2760.42/2767.71 c #Conflicts: 1841000 | #Constraints: 41329 2760.42/2767.71 c #Conflicts: 1842000 | #Constraints: 42336 2760.42/2767.71 c #Conflicts: 1843000 | #Constraints: 43340 2760.42/2767.71 c #Conflicts: 1844000 | #Constraints: 44346 2760.42/2767.71 c #Conflicts: 1845000 | #Constraints: 45349 2760.42/2767.71 c #Conflicts: 1846000 | #Constraints: 46357 2760.42/2767.71 c #Conflicts: 1847000 | #Constraints: 47363 2760.42/2767.71 c #Conflicts: 1848000 | #Constraints: 48369 2760.42/2767.71 c #Conflicts: 1849000 | #Constraints: 49374 2760.42/2767.71 c #Conflicts: 1850000 | #Constraints: 50379 2760.42/2767.71 c #Conflicts: 1851000 | #Constraints: 51382 2760.42/2767.71 c #Conflicts: 1852000 | #Constraints: 52388 2760.42/2767.71 c #Conflicts: 1853000 | #Constraints: 53395 2760.42/2767.71 c #Conflicts: 1854000 | #Constraints: 54400 2760.42/2767.71 c INPROCESSING 2760.42/2767.71 c GARBAGE COLLECT 2760.42/2767.71 c rational objective 3 2811.79/2819.24 c #Conflicts: 1855000 | #Constraints: 28259 2811.79/2819.24 c #Conflicts: 1856000 | #Constraints: 29266 2811.79/2819.24 c #Conflicts: 1857000 | #Constraints: 30272 2811.79/2819.24 c #Conflicts: 1858000 | #Constraints: 31281 2811.79/2819.24 c #Conflicts: 1859000 | #Constraints: 32285 2811.79/2819.24 c #Conflicts: 1860000 | #Constraints: 33287 2811.79/2819.24 c #Conflicts: 1861000 | #Constraints: 34292 2811.79/2819.24 c #Conflicts: 1862000 | #Constraints: 35297 2811.79/2819.24 c #Conflicts: 1863000 | #Constraints: 36304 2811.79/2819.24 c #Conflicts: 1864000 | #Constraints: 37308 2811.79/2819.24 c #Conflicts: 1865000 | #Constraints: 38308 2811.79/2819.24 c #Conflicts: 1866000 | #Constraints: 39312 2811.79/2819.24 c #Conflicts: 1867000 | #Constraints: 40315 2811.79/2819.24 c #Conflicts: 1868000 | #Constraints: 41318 2811.79/2819.24 c #Conflicts: 1869000 | #Constraints: 42324 2811.79/2819.24 c #Conflicts: 1870000 | #Constraints: 43332 2811.79/2819.24 c #Conflicts: 1871000 | #Constraints: 44336 2811.79/2819.24 c #Conflicts: 1872000 | #Constraints: 45341 2811.79/2819.24 c #Conflicts: 1873000 | #Constraints: 46345 2811.79/2819.24 c #Conflicts: 1874000 | #Constraints: 47346 2811.79/2819.24 c #Conflicts: 1875000 | #Constraints: 48352 2811.79/2819.24 c #Conflicts: 1876000 | #Constraints: 49357 2811.79/2819.24 c #Conflicts: 1877000 | #Constraints: 50362 2811.79/2819.24 c #Conflicts: 1878000 | #Constraints: 51367 2811.79/2819.24 c #Conflicts: 1879000 | #Constraints: 52369 2811.79/2819.24 c #Conflicts: 1880000 | #Constraints: 53373 2811.79/2819.24 c #Conflicts: 1881000 | #Constraints: 54375 2811.79/2819.24 c INPROCESSING 2811.79/2819.24 c GARBAGE COLLECT 2811.79/2819.24 c rational objective 3 2862.36/2870.00 c #Conflicts: 1882000 | #Constraints: 28042 2862.36/2870.00 c #Conflicts: 1883000 | #Constraints: 29051 2862.36/2870.00 c #Conflicts: 1884000 | #Constraints: 30060 2862.36/2870.00 c #Conflicts: 1885000 | #Constraints: 31066 2862.36/2870.00 c #Conflicts: 1886000 | #Constraints: 32069 2862.36/2870.00 c #Conflicts: 1887000 | #Constraints: 33072 2862.36/2870.00 c #Conflicts: 1888000 | #Constraints: 34077 2862.36/2870.00 c #Conflicts: 1889000 | #Constraints: 35081 2862.36/2870.00 c #Conflicts: 1890000 | #Constraints: 36089 2862.36/2870.00 c #Conflicts: 1891000 | #Constraints: 37098 2862.36/2870.00 c #Conflicts: 1892000 | #Constraints: 38106 2862.36/2870.00 c #Conflicts: 1893000 | #Constraints: 39113 2862.36/2870.00 c #Conflicts: 1894000 | #Constraints: 40119 2862.36/2870.00 c #Conflicts: 1895000 | #Constraints: 41127 2862.36/2870.00 c #Conflicts: 1896000 | #Constraints: 42137 2862.36/2870.00 c #Conflicts: 1897000 | #Constraints: 43143 2862.36/2870.00 c #Conflicts: 1898000 | #Constraints: 44147 2862.36/2870.00 c #Conflicts: 1899000 | #Constraints: 45151 2862.36/2870.00 c #Conflicts: 1900000 | #Constraints: 46157 2862.36/2870.00 c #Conflicts: 1901000 | #Constraints: 47161 2862.36/2870.00 c #Conflicts: 1902000 | #Constraints: 48166 2862.36/2870.00 c #Conflicts: 1903000 | #Constraints: 49174 2862.36/2870.00 c #Conflicts: 1904000 | #Constraints: 50179 2862.36/2870.00 c #Conflicts: 1905000 | #Constraints: 51190 2862.36/2870.00 c #Conflicts: 1906000 | #Constraints: 52197 2862.36/2870.00 c #Conflicts: 1907000 | #Constraints: 53205 2862.36/2870.00 c #Conflicts: 1908000 | #Constraints: 54207 2862.36/2870.00 c #Conflicts: 1909000 | #Constraints: 55214 2862.36/2870.00 c INPROCESSING 2862.36/2870.00 c GARBAGE COLLECT 2862.36/2870.00 c rational objective 3 2922.91/2930.63 c #Conflicts: 1910000 | #Constraints: 28701 2922.91/2930.63 c #Conflicts: 1911000 | #Constraints: 29706 2922.91/2930.63 c #Conflicts: 1912000 | #Constraints: 30707 2922.91/2930.63 c #Conflicts: 1913000 | #Constraints: 31713 2922.91/2930.63 c #Conflicts: 1914000 | #Constraints: 32715 2922.91/2930.63 c #Conflicts: 1915000 | #Constraints: 33716 2922.91/2930.63 c #Conflicts: 1916000 | #Constraints: 34722 2922.91/2930.63 c #Conflicts: 1917000 | #Constraints: 35725 2922.91/2930.63 c #Conflicts: 1918000 | #Constraints: 36729 2922.91/2930.63 c #Conflicts: 1919000 | #Constraints: 37737 2922.91/2930.63 c #Conflicts: 1920000 | #Constraints: 38741 2922.91/2930.63 c #Conflicts: 1921000 | #Constraints: 39743 2922.91/2930.63 c #Conflicts: 1922000 | #Constraints: 40745 2922.91/2930.63 c #Conflicts: 1923000 | #Constraints: 41751 2922.91/2930.63 c #Conflicts: 1924000 | #Constraints: 42758 2922.91/2930.63 c #Conflicts: 1925000 | #Constraints: 43765 2922.91/2930.63 c #Conflicts: 1926000 | #Constraints: 44768 2922.91/2930.63 c #Conflicts: 1927000 | #Constraints: 45773 2922.91/2930.63 c #Conflicts: 1928000 | #Constraints: 46776 2922.91/2930.63 c #Conflicts: 1929000 | #Constraints: 47780 2922.91/2930.63 c #Conflicts: 1930000 | #Constraints: 48782 2922.91/2930.63 c #Conflicts: 1931000 | #Constraints: 49788 2922.91/2930.63 c #Conflicts: 1932000 | #Constraints: 50798 2922.91/2930.63 c #Conflicts: 1933000 | #Constraints: 51804 2922.91/2930.63 c #Conflicts: 1934000 | #Constraints: 52812 2922.91/2930.63 c #Conflicts: 1935000 | #Constraints: 53817 2922.91/2930.63 c #Conflicts: 1936000 | #Constraints: 54820 2922.91/2930.63 c #Conflicts: 1937000 | #Constraints: 55827 2922.91/2930.63 c INPROCESSING 2922.91/2930.63 c GARBAGE COLLECT 2922.91/2930.63 c rational objective 3 2972.89/2980.74 c #Conflicts: 1938000 | #Constraints: 29081 2972.89/2980.74 c #Conflicts: 1939000 | #Constraints: 30088 2972.89/2980.74 c #Conflicts: 1940000 | #Constraints: 31092 2972.89/2980.74 c #Conflicts: 1941000 | #Constraints: 32097 2972.89/2980.74 c #Conflicts: 1942000 | #Constraints: 33099 2972.89/2980.74 c #Conflicts: 1943000 | #Constraints: 34103 2972.89/2980.74 c #Conflicts: 1944000 | #Constraints: 35107 2972.89/2980.74 c #Conflicts: 1945000 | #Constraints: 36114 2972.89/2980.74 c #Conflicts: 1946000 | #Constraints: 37119 2972.89/2980.74 c #Conflicts: 1947000 | #Constraints: 38129 2972.89/2980.74 c #Conflicts: 1948000 | #Constraints: 39133 2972.89/2980.74 c #Conflicts: 1949000 | #Constraints: 40136 2972.89/2980.74 c #Conflicts: 1950000 | #Constraints: 41143 2972.89/2980.74 c #Conflicts: 1951000 | #Constraints: 42145 2972.89/2980.74 c #Conflicts: 1952000 | #Constraints: 43148 2972.89/2980.74 c #Conflicts: 1953000 | #Constraints: 44150 2972.89/2980.74 c #Conflicts: 1954000 | #Constraints: 45153 2972.89/2980.74 c #Conflicts: 1955000 | #Constraints: 46158 2972.89/2980.74 c #Conflicts: 1956000 | #Constraints: 47168 2972.89/2980.74 c #Conflicts: 1957000 | #Constraints: 48176 2972.89/2980.74 c #Conflicts: 1958000 | #Constraints: 49181 2972.89/2980.74 c #Conflicts: 1959000 | #Constraints: 50183 2972.89/2980.74 c #Conflicts: 1960000 | #Constraints: 51187 2972.89/2980.74 c #Conflicts: 1961000 | #Constraints: 52195 2972.89/2980.74 c #Conflicts: 1962000 | #Constraints: 53198 2972.89/2980.74 c #Conflicts: 1963000 | #Constraints: 54200 2972.89/2980.74 c #Conflicts: 1964000 | #Constraints: 55204 2972.89/2980.74 c #Conflicts: 1965000 | #Constraints: 56209 2972.89/2980.74 c INPROCESSING 2972.89/2980.74 c GARBAGE COLLECT 2972.89/2980.74 c rational objective 3 3036.43/3044.45 c #Conflicts: 1966000 | #Constraints: 29274 3036.43/3044.45 c #Conflicts: 1967000 | #Constraints: 30279 3036.43/3044.45 c #Conflicts: 1968000 | #Constraints: 31281 3036.43/3044.45 c #Conflicts: 1969000 | #Constraints: 32287 3036.43/3044.45 c #Conflicts: 1970000 | #Constraints: 33292 3036.43/3044.45 c #Conflicts: 1971000 | #Constraints: 34294 3036.43/3044.45 c #Conflicts: 1972000 | #Constraints: 35296 3036.43/3044.45 c #Conflicts: 1973000 | #Constraints: 36303 3036.43/3044.45 c #Conflicts: 1974000 | #Constraints: 37307 3036.43/3044.45 c #Conflicts: 1975000 | #Constraints: 38316 3036.43/3044.45 c #Conflicts: 1976000 | #Constraints: 39322 3036.43/3044.45 c #Conflicts: 1977000 | #Constraints: 40327 3036.43/3044.45 c #Conflicts: 1978000 | #Constraints: 41331 3036.43/3044.45 c #Conflicts: 1979000 | #Constraints: 42335 3036.43/3044.45 c #Conflicts: 1980000 | #Constraints: 43338 3036.43/3044.45 c #Conflicts: 1981000 | #Constraints: 44342 3036.43/3044.45 c #Conflicts: 1982000 | #Constraints: 45351 3036.43/3044.45 c #Conflicts: 1983000 | #Constraints: 46355 3036.43/3044.45 c #Conflicts: 1984000 | #Constraints: 47355 3036.43/3044.45 c #Conflicts: 1985000 | #Constraints: 48358 3036.43/3044.45 c #Conflicts: 1986000 | #Constraints: 49361 3036.43/3044.45 c #Conflicts: 1987000 | #Constraints: 50367 3036.43/3044.45 c #Conflicts: 1988000 | #Constraints: 51369 3036.43/3044.45 c #Conflicts: 1989000 | #Constraints: 52369 3036.43/3044.45 c #Conflicts: 1990000 | #Constraints: 53370 3036.43/3044.45 c #Conflicts: 1991000 | #Constraints: 54371 3036.43/3044.45 c #Conflicts: 1992000 | #Constraints: 55374 3036.43/3044.45 c #Conflicts: 1993000 | #Constraints: 56378 3036.43/3044.45 c INPROCESSING 3036.43/3044.45 c GARBAGE COLLECT 3036.43/3044.45 c rational objective 3 3097.58/3105.71 c #Conflicts: 1994000 | #Constraints: 29254 3097.58/3105.71 c #Conflicts: 1995000 | #Constraints: 30256 3097.58/3105.71 c #Conflicts: 1996000 | #Constraints: 31261 3097.58/3105.71 c #Conflicts: 1997000 | #Constraints: 32262 3097.58/3105.71 c #Conflicts: 1998000 | #Constraints: 33264 3097.58/3105.71 c #Conflicts: 1999000 | #Constraints: 34266 3097.58/3105.71 c #Conflicts: 2000000 | #Constraints: 35268 3097.58/3105.71 c #Conflicts: 2001000 | #Constraints: 36268 3097.58/3105.71 c #Conflicts: 2002000 | #Constraints: 37268 3097.58/3105.71 c #Conflicts: 2003000 | #Constraints: 38271 3097.58/3105.71 c #Conflicts: 2004000 | #Constraints: 39273 3097.58/3105.71 c #Conflicts: 2005000 | #Constraints: 40276 3097.58/3105.71 c #Conflicts: 2006000 | #Constraints: 41277 3097.58/3105.71 c #Conflicts: 2007000 | #Constraints: 42282 3097.58/3105.71 c #Conflicts: 2008000 | #Constraints: 43289 3097.58/3105.71 c #Conflicts: 2009000 | #Constraints: 44293 3097.58/3105.71 c #Conflicts: 2010000 | #Constraints: 45294 3097.58/3105.71 c #Conflicts: 2011000 | #Constraints: 46295 3097.58/3105.71 c #Conflicts: 2012000 | #Constraints: 47301 3097.58/3105.71 c #Conflicts: 2013000 | #Constraints: 48301 3097.58/3105.71 c #Conflicts: 2014000 | #Constraints: 49302 3097.58/3105.71 c #Conflicts: 2015000 | #Constraints: 50304 3097.58/3105.71 c #Conflicts: 2016000 | #Constraints: 51304 3097.58/3105.71 c #Conflicts: 2017000 | #Constraints: 52305 3097.58/3105.71 c #Conflicts: 2018000 | #Constraints: 53306 3097.58/3105.71 c #Conflicts: 2019000 | #Constraints: 54306 3097.58/3105.71 c #Conflicts: 2020000 | #Constraints: 55310 3097.58/3105.71 c #Conflicts: 2021000 | #Constraints: 56311 3097.58/3105.71 c INPROCESSING 3097.58/3105.71 c GARBAGE COLLECT 3097.58/3105.71 c rational objective 3 3158.62/3166.91 c #Conflicts: 2022000 | #Constraints: 29050 3158.62/3166.91 c #Conflicts: 2023000 | #Constraints: 30050 3158.62/3166.91 c #Conflicts: 2024000 | #Constraints: 31050 3158.62/3166.91 c #Conflicts: 2025000 | #Constraints: 32052 3158.62/3166.91 c #Conflicts: 2026000 | #Constraints: 33053 3158.62/3166.91 c #Conflicts: 2027000 | #Constraints: 34054 3158.62/3166.91 c #Conflicts: 2028000 | #Constraints: 35055 3158.62/3166.91 c #Conflicts: 2029000 | #Constraints: 36056 3158.62/3166.91 c #Conflicts: 2030000 | #Constraints: 37058 3158.62/3166.91 c #Conflicts: 2031000 | #Constraints: 38061 3158.62/3166.91 c #Conflicts: 2032000 | #Constraints: 39065 3158.62/3166.91 c #Conflicts: 2033000 | #Constraints: 40067 3158.62/3166.91 c #Conflicts: 2034000 | #Constraints: 41070 3158.62/3166.91 c #Conflicts: 2035000 | #Constraints: 42072 3158.62/3166.91 c #Conflicts: 2036000 | #Constraints: 43073 3158.62/3166.91 c #Conflicts: 2037000 | #Constraints: 44074 3158.62/3166.91 c #Conflicts: 2038000 | #Constraints: 45077 3158.62/3166.91 c #Conflicts: 2039000 | #Constraints: 46085 3158.62/3166.91 c #Conflicts: 2040000 | #Constraints: 47089 3158.62/3166.91 c #Conflicts: 2041000 | #Constraints: 48091 3158.62/3166.91 c #Conflicts: 2042000 | #Constraints: 49094 3158.62/3166.91 c #Conflicts: 2043000 | #Constraints: 50100 3158.62/3166.91 c #Conflicts: 2044000 | #Constraints: 51108 3158.62/3166.91 c #Conflicts: 2045000 | #Constraints: 52109 3158.62/3166.91 c #Conflicts: 2046000 | #Constraints: 53110 3158.62/3166.91 c #Conflicts: 2047000 | #Constraints: 54112 3158.62/3166.91 c #Conflicts: 2048000 | #Constraints: 55114 3158.62/3166.91 c #Conflicts: 2049000 | #Constraints: 56116 3158.62/3166.91 c #Conflicts: 2050000 | #Constraints: 57121 3158.62/3166.91 c INPROCESSING 3158.62/3166.91 c GARBAGE COLLECT 3158.62/3166.91 c rational objective 3 3231.94/3240.43 c #Conflicts: 2051000 | #Constraints: 29616 3231.94/3240.43 c #Conflicts: 2052000 | #Constraints: 30616 3231.94/3240.43 c #Conflicts: 2053000 | #Constraints: 31616 3231.94/3240.43 c #Conflicts: 2054000 | #Constraints: 32617 3231.94/3240.43 c #Conflicts: 2055000 | #Constraints: 33620 3231.94/3240.43 c #Conflicts: 2056000 | #Constraints: 34621 3231.94/3240.43 c #Conflicts: 2057000 | #Constraints: 35622 3231.94/3240.43 c #Conflicts: 2058000 | #Constraints: 36622 3231.94/3240.43 c #Conflicts: 2059000 | #Constraints: 37622 3231.94/3240.43 c #Conflicts: 2060000 | #Constraints: 38622 3231.94/3240.43 c #Conflicts: 2061000 | #Constraints: 39624 3231.94/3240.43 c #Conflicts: 2062000 | #Constraints: 40625 3231.94/3240.43 c #Conflicts: 2063000 | #Constraints: 41626 3231.94/3240.43 c #Conflicts: 2064000 | #Constraints: 42626 3231.94/3240.43 c #Conflicts: 2065000 | #Constraints: 43630 3231.94/3240.43 c #Conflicts: 2066000 | #Constraints: 44631 3231.94/3240.43 c #Conflicts: 2067000 | #Constraints: 45632 3231.94/3240.43 c #Conflicts: 2068000 | #Constraints: 46632 3231.94/3240.43 c #Conflicts: 2069000 | #Constraints: 47632 3231.94/3240.43 c #Conflicts: 2070000 | #Constraints: 48633 3231.94/3240.43 c #Conflicts: 2071000 | #Constraints: 49634 3231.94/3240.43 c #Conflicts: 2072000 | #Constraints: 50636 3231.94/3240.43 c #Conflicts: 2073000 | #Constraints: 51639 3231.94/3240.43 c #Conflicts: 2074000 | #Constraints: 52642 3231.94/3240.43 c #Conflicts: 2075000 | #Constraints: 53642 3231.94/3240.43 c #Conflicts: 2076000 | #Constraints: 54643 3231.94/3240.43 c #Conflicts: 2077000 | #Constraints: 55645 3231.94/3240.43 c #Conflicts: 2078000 | #Constraints: 56645 3231.94/3240.43 c #Conflicts: 2079000 | #Constraints: 57650 3231.94/3240.43 c INPROCESSING 3231.94/3240.43 c GARBAGE COLLECT 3231.94/3240.43 c rational objective 3 3302.46/3311.16 c #Conflicts: 2080000 | #Constraints: 29974 3302.46/3311.16 c #Conflicts: 2081000 | #Constraints: 30974 3302.46/3311.16 c #Conflicts: 2082000 | #Constraints: 31978 3302.46/3311.16 c #Conflicts: 2083000 | #Constraints: 32983 3302.46/3311.16 c #Conflicts: 2084000 | #Constraints: 33985 3302.46/3311.16 c #Conflicts: 2085000 | #Constraints: 34986 3302.46/3311.16 c #Conflicts: 2086000 | #Constraints: 35988 3302.46/3311.16 c #Conflicts: 2087000 | #Constraints: 36990 3302.46/3311.16 c #Conflicts: 2088000 | #Constraints: 37996 3302.46/3311.16 c #Conflicts: 2089000 | #Constraints: 39002 3302.46/3311.16 c #Conflicts: 2090000 | #Constraints: 40006 3302.46/3311.16 c #Conflicts: 2091000 | #Constraints: 41007 3302.46/3311.16 c #Conflicts: 2092000 | #Constraints: 42008 3302.46/3311.16 c #Conflicts: 2093000 | #Constraints: 43010 3302.46/3311.16 c #Conflicts: 2094000 | #Constraints: 44011 3302.46/3311.16 c #Conflicts: 2095000 | #Constraints: 45015 3302.46/3311.16 c #Conflicts: 2096000 | #Constraints: 46017 3302.46/3311.16 c #Conflicts: 2097000 | #Constraints: 47018 3302.46/3311.16 c #Conflicts: 2098000 | #Constraints: 48019 3302.46/3311.16 c #Conflicts: 2099000 | #Constraints: 49019 3302.46/3311.16 c #Conflicts: 2100000 | #Constraints: 50019 3302.46/3311.16 c #Conflicts: 2101000 | #Constraints: 51020 3302.46/3311.16 c #Conflicts: 2102000 | #Constraints: 52023 3302.46/3311.16 c #Conflicts: 2103000 | #Constraints: 53025 3302.46/3311.16 c #Conflicts: 2104000 | #Constraints: 54027 3302.46/3311.16 c #Conflicts: 2105000 | #Constraints: 55028 3302.46/3311.16 c #Conflicts: 2106000 | #Constraints: 56028 3302.46/3311.16 c #Conflicts: 2107000 | #Constraints: 57030 3302.46/3311.16 c #Conflicts: 2108000 | #Constraints: 58033 3302.46/3311.16 c INPROCESSING 3302.46/3311.16 c GARBAGE COLLECT 3302.46/3311.16 c rational objective 3 3438.23/3447.22 c #Conflicts: 2109000 | #Constraints: 30211 3438.23/3447.22 c #Conflicts: 2110000 | #Constraints: 31213 3438.23/3447.22 c #Conflicts: 2111000 | #Constraints: 32220 3438.23/3447.22 c #Conflicts: 2112000 | #Constraints: 33223 3438.23/3447.22 c #Conflicts: 2113000 | #Constraints: 34226 3438.23/3447.22 c #Conflicts: 2114000 | #Constraints: 35232 3438.23/3447.22 c #Conflicts: 2115000 | #Constraints: 36235 3438.23/3447.22 c #Conflicts: 2116000 | #Constraints: 37238 3438.23/3447.22 c #Conflicts: 2117000 | #Constraints: 38245 3438.23/3447.22 c #Conflicts: 2118000 | #Constraints: 39246 3438.23/3447.22 c #Conflicts: 2119000 | #Constraints: 40250 3438.23/3447.22 c #Conflicts: 2120000 | #Constraints: 41253 3438.23/3447.22 c #Conflicts: 2121000 | #Constraints: 42260 3438.23/3447.22 c #Conflicts: 2122000 | #Constraints: 43266 3438.23/3447.22 c #Conflicts: 2123000 | #Constraints: 44270 3438.23/3447.22 c #Conflicts: 2124000 | #Constraints: 45277 3438.23/3447.22 c #Conflicts: 2125000 | #Constraints: 46284 3438.23/3447.22 c #Conflicts: 2126000 | #Constraints: 47288 3438.23/3447.22 c #Conflicts: 2127000 | #Constraints: 48292 3438.23/3447.22 c #Conflicts: 2128000 | #Constraints: 49296 3438.23/3447.22 c #Conflicts: 2129000 | #Constraints: 50298 3438.23/3447.22 c #Conflicts: 2130000 | #Constraints: 51300 3438.23/3447.22 c #Conflicts: 2131000 | #Constraints: 52303 3438.23/3447.22 c #Conflicts: 2132000 | #Constraints: 53310 3438.23/3447.22 c #Conflicts: 2133000 | #Constraints: 54312 3438.23/3447.22 c #Conflicts: 2134000 | #Constraints: 55319 3438.23/3447.22 c #Conflicts: 2135000 | #Constraints: 56320 3438.23/3447.22 c #Conflicts: 2136000 | #Constraints: 57324 3438.23/3447.22 c #Conflicts: 2137000 | #Constraints: 58330 3438.23/3447.22 c INPROCESSING 3438.23/3447.22 c GARBAGE COLLECT 3438.23/3447.22 c rational objective 3 3533.29/3542.54 c #Conflicts: 2138000 | #Constraints: 30226 3533.29/3542.54 c #Conflicts: 2139000 | #Constraints: 31231 3533.29/3542.54 c #Conflicts: 2140000 | #Constraints: 32240 3533.29/3542.54 c #Conflicts: 2141000 | #Constraints: 33248 3533.29/3542.54 c #Conflicts: 2142000 | #Constraints: 34253 3533.29/3542.54 c #Conflicts: 2143000 | #Constraints: 35258 3533.29/3542.54 c #Conflicts: 2144000 | #Constraints: 36261 3533.29/3542.54 c #Conflicts: 2145000 | #Constraints: 37266 3533.29/3542.54 c #Conflicts: 2146000 | #Constraints: 38275 3533.29/3542.54 c #Conflicts: 2147000 | #Constraints: 39280 3533.29/3542.54 c #Conflicts: 2148000 | #Constraints: 40286 3533.29/3542.54 c #Conflicts: 2149000 | #Constraints: 41289 3533.29/3542.54 c #Conflicts: 2150000 | #Constraints: 42291 3533.29/3542.54 c #Conflicts: 2151000 | #Constraints: 43295 3533.29/3542.54 c #Conflicts: 2152000 | #Constraints: 44298 3533.29/3542.54 c #Conflicts: 2153000 | #Constraints: 45300 3533.29/3542.54 c #Conflicts: 2154000 | #Constraints: 46303 3533.29/3542.54 c #Conflicts: 2155000 | #Constraints: 47309 3533.29/3542.54 c #Conflicts: 2156000 | #Constraints: 48315 3533.29/3542.54 c #Conflicts: 2157000 | #Constraints: 49317 3533.29/3542.54 c #Conflicts: 2158000 | #Constraints: 50321 3533.29/3542.54 c #Conflicts: 2159000 | #Constraints: 51324 3533.29/3542.54 c #Conflicts: 2160000 | #Constraints: 52326 3533.29/3542.54 c #Conflicts: 2161000 | #Constraints: 53334 3533.29/3542.54 c #Conflicts: 2162000 | #Constraints: 54335 3533.29/3542.54 c #Conflicts: 2163000 | #Constraints: 55337 3533.29/3542.54 c #Conflicts: 2164000 | #Constraints: 56337 3533.29/3542.54 c #Conflicts: 2165000 | #Constraints: 57338 3533.29/3542.54 c #Conflicts: 2166000 | #Constraints: 58338 3533.29/3542.54 c INPROCESSING 3533.29/3542.54 c GARBAGE COLLECT 3533.29/3542.54 c rational objective 3 3600.02/3609.40 c #Conflicts: 2167000 | #Constraints: 30045 3600.02/3609.40 c #Conflicts: 2168000 | #Constraints: 31046 3600.02/3609.40 c #Conflicts: 2169000 | #Constraints: 32051 3600.02/3609.40 c #Conflicts: 2170000 | #Constraints: 33053 3600.02/3609.40 c #Conflicts: 2171000 | #Constraints: 34058 3600.02/3609.40 c #Conflicts: 2172000 | #Constraints: 35058 3600.02/3609.40 c #Conflicts: 2173000 | #Constraints: 36059 3600.02/3609.40 c #Conflicts: 2174000 | #Constraints: 37063 3600.02/3609.40 c #Conflicts: 2175000 | #Constraints: 38065 3600.02/3609.40 c #Conflicts: 2176000 | #Constraints: 39066 3600.02/3609.40 c #Conflicts: 2177000 | #Constraints: 40068 3600.02/3609.40 c #Conflicts: 2178000 | #Constraints: 41071 3600.02/3609.40 c #Conflicts: 2179000 | #Constraints: 42072 3600.02/3609.40 c #Conflicts: 2180000 | #Constraints: 43074 3600.02/3609.40 c #Conflicts: 2181000 | #Constraints: 44075 3600.02/3609.40 c #Conflicts: 2182000 | #Constraints: 45079 3600.02/3609.40 c #Conflicts: 2183000 | #Constraints: 46082 3600.02/3609.40 c #Conflicts: 2184000 | #Constraints: 47087 3600.02/3609.40 c #Conflicts: 2185000 | #Constraints: 48088 3600.02/3609.40 c #Conflicts: 2186000 | #Constraints: 49091 3600.02/3609.40 c #Conflicts: 2187000 | #Constraints: 50095 3600.02/3609.40 c #Conflicts: 2188000 | #Constraints: 51100 3600.02/3609.40 c #Conflicts: 2189000 | #Constraints: 52103 3600.02/3609.40 c #Conflicts: 2190000 | #Constraints: 53106 3600.02/3609.40 c #Conflicts: 2191000 | #Constraints: 54107 3600.02/3609.40 c Program interrupted by user. 3600.02/3609.42 c cpu time 3565.35 s 3600.02/3609.42 c deterministic time 531158710702 5.31e+11 3600.02/3609.42 c optimization time 66.2185 s 3600.02/3609.42 c total solve time 3499.12 s 3600.02/3609.42 c core-guided solve time 3e-06 s 3600.02/3609.42 c propagation time 2960.22 s 3600.02/3609.42 c conflict analysis time 542.794 s 3600.02/3609.42 c propagations 264901983 3600.02/3609.42 c resolve steps 27217011 3600.02/3609.42 c decisions 8110111 3600.02/3609.42 c conflicts 2191861 3600.02/3609.42 c restarts 4093 3600.02/3609.42 c inprocessing phases 138 3600.02/3609.42 c input clauses 801 3600.02/3609.42 c input cardinalities 31 3600.02/3609.42 c input general constraints 192 3600.02/3609.42 c input average constraint length 8.64 3600.02/3609.42 c input average constraint degree 57.01 3600.02/3609.42 c learned clauses 514496 3600.02/3609.42 c learned cardinalities 7122 3600.02/3609.42 c learned general constraints 1681431 3600.02/3609.42 c learned average constraint length 170.94 3600.02/3609.42 c learned average constraint degree 1922385682.87 3600.02/3609.42 c watched constraints 1528325 3600.02/3609.42 c counting constraints 153298 3600.02/3609.42 c gcd simplifications 233080 3600.02/3609.42 c detected cardinalities 220 3600.02/3609.42 c weakened non-implied lits 98206978 3600.02/3609.42 c weakened non-implying lits 670375 3600.02/3609.42 c original variables 774 3600.02/3609.42 c clausal propagations 3166395 3600.02/3609.42 c cardinality propagations 13626872 3600.02/3609.42 c watched propagations 53355189 3600.02/3609.42 c counting propagations 192675967 3600.02/3609.42 c watch lookups 62094563097 3600.02/3609.42 c watch backjump lookups 48282833931 3600.02/3609.42 c watch checks 373564371136 3600.02/3609.42 c propagation checks 44830523256 3600.02/3609.42 c constraint additions 1836021219 3600.02/3609.42 c trail pops 275192443 3600.02/3609.42 c formula constraints 1024 3600.02/3609.42 c learned constraints 2180671 3600.02/3609.42 c bound constraints 0 3600.02/3609.42 c core-guided constraints 0 3600.02/3609.42 c encountered formula constraints 17059990 3600.02/3609.42 c encountered learned constraints 9015882 3600.02/3609.42 c encountered bound constraints 0 3600.02/3609.42 c encountered core-guided constraints 0 3600.02/3609.42 c LP total time 100.982 s 3600.02/3609.42 c LP solve time 90.43 s 3600.02/3609.42 c LP constraints added 1650 3600.02/3609.42 c LP constraints removed 622 3600.02/3609.42 c LP pivots internal 2191960 3600.02/3609.42 c LP pivots root 1565 3600.02/3609.42 c LP calls 81784 3600.02/3609.42 c LP optimalities 70586 3600.02/3609.42 c LP no pivot count 22017 3600.02/3609.42 c LP infeasibilities 11191 3600.02/3609.42 c LP valid Farkas constraints 11189 3600.02/3609.42 c LP learned Farkas constraints 11189 3600.02/3609.42 c LP basis resets 8 3600.02/3609.42 c LP cycling count 0 3600.02/3609.42 c LP singular count 6 3600.02/3609.42 c LP no primal count 0 3600.02/3609.42 c LP no farkas count 2 3600.02/3609.42 c LP other issue count 0 3600.02/3609.42 c LP Gomory cuts 0 3600.02/3609.42 c LP learned cuts 626 3600.02/3609.42 c LP deleted cuts 622 3600.02/3609.42 c LP encountered Gomory constraints 0 3600.02/3609.42 c LP encountered Farkas constraints 3052756 3600.02/3609.42 c LP encountered learned Farkas constraints 269055 3600.02/3609.42 c CG auxiliary variables introduced 0 3600.02/3609.42 c CG solutions found 0 3600.02/3609.42 c CG cores constructed 1 3600.02/3609.42 c CG core cardinality constraints returned 0 3600.02/3609.42 c CG unit cores 1 3600.02/3609.42 c CG single cores 0 3600.02/3609.42 c CG blocks removed during cardinality reduction 0 3600.02/3609.42 c CG first core best 0 3600.02/3609.42 c CG decision core best 0 3600.02/3609.42 c CG core reduction tie 0 3600.02/3609.42 c CG core degree average 0.00 3600.02/3609.42 c CG core slack average 0.00 3600.02/3609.42 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 (63556 MiB free)
memory of node 1: 64473 MiB (63751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462702-1722344423/watcher-4462702-1722344423 -o /tmp/evaluation-result-4462702-1722344423/solver-4462702-1722344423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722340763-7477 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462702-1722344423 --lp-cut-gomory=0 HOME/instance-4462702-1722344423.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=9681, runsolver pid=9678
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.06 4.08 4.03 2/252 9682
/proc/meminfo: memFree=130363796/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=37376 memory=2620 CPUtime=0 cores=1,3
/proc/9681/stat : 9681 (roundingsat) D 9678 9681 7465 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1044190 38273024 655 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 9344 655 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2620 KiB
[startup+0.204956 s]*
/proc/loadavg: 4.13 4.10 4.03 2/252 9682
/proc/meminfo: memFree=130363116/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=37376 memory=2620 CPUtime=0 cores=1,3
/proc/9681/stat : 9681 (roundingsat) D 9678 9681 7465 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 1044190 38273024 655 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 9344 655 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2620 KiB
[startup+0.304275 s]*
/proc/loadavg: 4.13 4.10 4.03 2/251 9689
/proc/meminfo: memFree=130373824/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=37376 memory=2620 CPUtime=0 cores=1,3
/proc/9681/stat : 9681 (roundingsat) D 9678 9681 7465 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 1044190 38273024 655 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 9344 655 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2620 KiB
[startup+0.700159 s]
/proc/loadavg: 4.13 4.10 4.03 3/257 9706
/proc/meminfo: memFree=130370664/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=40300 memory=11716 CPUtime=0.18 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 1325 0 0 0 17 1 0 0 20 0 1 0 1044190 41267200 2929 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 10075 2929 1884 992 0 1933 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40300 KiB
Current children cumulated memory: 11716 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.10 4.03 4/262 9722
/proc/meminfo: memFree=130323892/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=42532 memory=16548 CPUtime=0.97 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 2058 0 0 0 93 4 0 0 20 0 1 0 1044190 43552768 4137 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 10633 4137 1900 992 0 2491 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 16548 KiB
[startup+3.10556 s]
/proc/loadavg: 4.13 4.10 4.03 5/262 9722
/proc/meminfo: memFree=130238836/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=47416 memory=19188 CPUtime=2.58 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 2764 0 0 0 249 9 0 0 20 0 1 0 1044190 48553984 4797 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 11854 4797 1900 992 0 3712 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 47416 KiB
Current children cumulated memory: 19188 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.09 4.03 5/262 9724
/proc/meminfo: memFree=130054180/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=48644 memory=22784 CPUtime=5.77 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 3171 0 0 0 559 18 0 0 20 0 1 0 1044190 49811456 5696 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 12161 5696 1900 992 0 4019 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 48644 KiB
Current children cumulated memory: 22784 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.11 4.04 5/262 9724
/proc/meminfo: memFree=129984440/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=55776 memory=28640 CPUtime=12.15 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 4222 0 0 0 1181 34 0 0 20 0 1 0 1044190 57114624 7160 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 13944 7160 1900 992 0 5802 0
Current children cumulated CPU time: 12.15 s
Current children cumulated vsize: 55776 KiB
Current children cumulated memory: 28640 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.10 4.03 5/261 9727
/proc/meminfo: memFree=129792952/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=59072 memory=31776 CPUtime=24.92 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 5046 0 0 0 2427 65 0 0 20 0 1 0 1044190 60489728 7944 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 14768 7944 1900 992 0 6626 0
Current children cumulated CPU time: 24.92 s
Current children cumulated vsize: 59072 KiB
Current children cumulated memory: 31776 KiB
[startup+51.1056 s]
/proc/loadavg: 4.30 4.14 4.05 5/261 9742
/proc/meminfo: memFree=129593332/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=69240 memory=38820 CPUtime=50.46 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 6327 0 0 0 4925 121 0 0 20 0 1 0 1044190 70901760 9705 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 17310 9705 1900 992 0 9168 0
Current children cumulated CPU time: 50.46 s
Current children cumulated vsize: 69240 KiB
Current children cumulated memory: 38820 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.05 5/261 9750
/proc/meminfo: memFree=129202968/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=72176 memory=43736 CPUtime=101.52 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 7473 0 0 0 9926 226 0 0 20 0 1 0 1044190 73908224 10934 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 18044 10934 1900 992 0 9902 0
Current children cumulated CPU time: 101.52 s
Current children cumulated vsize: 72176 KiB
Current children cumulated memory: 43736 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/260 9760
/proc/meminfo: memFree=128835220/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=88072 memory=50820 CPUtime=161.38 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 9001 0 0 0 15816 322 0 0 20 0 1 0 1044190 90185728 12705 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 22018 12705 1900 992 0 13876 0
Current children cumulated CPU time: 161.38 s
Current children cumulated vsize: 88072 KiB
Current children cumulated memory: 50820 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/259 9770
/proc/meminfo: memFree=128451460/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=90152 memory=56196 CPUtime=221.23 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 9955 0 0 0 21695 428 0 0 20 0 1 0 1044190 92315648 14049 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 22538 14049 1900 992 0 14396 0
Current children cumulated CPU time: 221.23 s
Current children cumulated vsize: 90152 KiB
Current children cumulated memory: 56196 KiB
[startup+282.3 s]
/proc/loadavg: 4.27 4.14 4.06 5/257 9829
/proc/meminfo: memFree=127176524/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=92900 memory=60444 CPUtime=281.07 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 10941 0 0 0 27590 517 0 0 20 0 1 0 1044190 95129600 15111 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 23225 15111 1900 992 0 15083 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 92900 KiB
Current children cumulated memory: 60444 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.15 4.07 5/256 9840
/proc/meminfo: memFree=125964956/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=94916 memory=62424 CPUtime=340.92 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 11647 0 0 0 33486 606 0 0 20 0 1 0 1044190 97193984 15606 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 23729 15606 1979 992 0 15587 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 94916 KiB
Current children cumulated memory: 62424 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/256 9850
/proc/meminfo: memFree=124924160/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=98088 memory=71040 CPUtime=400.76 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 12689 0 0 0 39403 673 0 0 20 0 1 0 1044190 100442112 17760 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 24522 17760 1995 992 0 16380 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 98088 KiB
Current children cumulated memory: 71040 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/251 9889
/proc/meminfo: memFree=125147604/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=121088 memory=78576 CPUtime=460.63 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 14666 0 0 0 45318 745 0 0 20 0 1 0 1044190 123994112 19644 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 30272 19644 1995 992 0 22130 0
################
# More data... #
################
Current children cumulated memory: 138584 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/259 10958
/proc/meminfo: memFree=110609628/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=184688 memory=140852 CPUtime=2854.78 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 31032 0 0 0 282512 2966 0 0 20 0 1 0 1044190 189120512 35213 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 46172 35213 1995 992 0 38030 0
Current children cumulated CPU time: 2854.78 s
Current children cumulated vsize: 184688 KiB
Current children cumulated memory: 140852 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/259 10968
/proc/meminfo: memFree=110320692/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=184820 memory=140996 CPUtime=2914.64 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 31301 0 0 0 288456 3008 0 0 20 0 1 0 1044190 189255680 35249 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 46205 35249 1995 992 0 38063 0
Current children cumulated CPU time: 2914.64 s
Current children cumulated vsize: 184820 KiB
Current children cumulated memory: 140996 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/256 10978
/proc/meminfo: memFree=110047920/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=184888 memory=141064 CPUtime=2974.49 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 31731 0 0 0 294389 3060 0 0 20 0 1 0 1044190 189325312 35266 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 46222 35266 1995 992 0 38080 0
Current children cumulated CPU time: 2974.49 s
Current children cumulated vsize: 184888 KiB
Current children cumulated memory: 141064 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/257 10993
/proc/meminfo: memFree=109741948/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=184888 memory=141064 CPUtime=3034.33 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 31786 0 0 0 300330 3103 0 0 20 0 1 0 1044190 189325312 35266 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 46222 35266 1995 992 0 38080 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 184888 KiB
Current children cumulated memory: 141064 KiB
[startup+3102.3 s]
/proc/loadavg: 4.36 4.17 4.11 5/256 11004
/proc/meminfo: memFree=109469412/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=184972 memory=141148 CPUtime=3094.19 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 32049 0 0 0 306269 3150 0 0 20 0 1 0 1044190 189411328 35287 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 46243 35287 1995 992 0 38101 0
Current children cumulated CPU time: 3094.19 s
Current children cumulated vsize: 184972 KiB
Current children cumulated memory: 141148 KiB
[startup+3162.3 s]
/proc/loadavg: 4.39 4.22 4.13 5/256 11015
/proc/meminfo: memFree=109137560/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=185580 memory=141760 CPUtime=3154.04 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 32463 0 0 0 312212 3192 0 0 20 0 1 0 1044190 190033920 35440 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 46395 35440 1995 992 0 38253 0
Current children cumulated CPU time: 3154.04 s
Current children cumulated vsize: 185580 KiB
Current children cumulated memory: 141760 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.20 4.13 5/256 11025
/proc/meminfo: memFree=108920840/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=185772 memory=141840 CPUtime=3213.88 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 32645 0 0 0 318149 3239 0 0 20 0 1 0 1044190 190230528 35460 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 46443 35460 1995 992 0 38301 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 185772 KiB
Current children cumulated memory: 141840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.21 4.13 5/259 11041
/proc/meminfo: memFree=108756444/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=186100 memory=142148 CPUtime=3273.73 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 32781 0 0 0 324088 3285 0 0 20 0 1 0 1044190 190566400 35537 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 46525 35537 1995 992 0 38383 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 186100 KiB
Current children cumulated memory: 142148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.56 4.28 4.16 5/258 11433
/proc/meminfo: memFree=108608016/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=186264 memory=142232 CPUtime=3333.58 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 32883 0 0 0 330035 3323 0 0 20 0 1 0 1044190 190734336 35558 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 46566 35558 1995 992 0 38424 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 186264 KiB
Current children cumulated memory: 142232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.31 4.27 4.17 5/258 11443
/proc/meminfo: memFree=108425244/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=190260 memory=146392 CPUtime=3393.43 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 33511 0 0 0 335993 3350 0 0 20 0 1 0 1044190 194826240 36598 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 47565 36598 1995 992 0 39423 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 190260 KiB
Current children cumulated memory: 146392 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.25 4.17 5/257 11455
/proc/meminfo: memFree=108167384/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=194184 memory=161708 CPUtime=3453.29 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 34615 0 0 0 341948 3381 0 0 20 0 1 0 1044190 198844416 40427 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 48546 40427 1995 992 0 40404 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 194184 KiB
Current children cumulated memory: 161708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.22 4.16 5/257 11633
/proc/meminfo: memFree=107960252/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=194184 memory=161708 CPUtime=3513.14 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 34679 0 0 0 347895 3419 0 0 20 0 1 0 1044190 198844416 40427 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 48546 40427 1995 992 0 40404 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 194184 KiB
Current children cumulated memory: 161708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.21 4.16 5/256 11644
/proc/meminfo: memFree=107707864/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=196300 memory=163112 CPUtime=3572.99 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 35266 0 0 0 353843 3456 0 0 20 0 1 0 1044190 201011200 40778 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 49075 40778 1995 992 0 40933 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 196300 KiB
Current children cumulated memory: 163112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.17 4.21 4.16 5/255 11745
/proc/meminfo: memFree=108293108/131524600 swapFree=131071996/131071996
[pid=9681] ppid=9678 vsize=196596 memory=163152 CPUtime=3600.02 cores=1,3
/proc/9681/stat : 9681 (roundingsat) R 9678 9681 7465 0 -1 4194304 35284 0 0 0 356534 3468 0 0 20 0 1 0 1044190 201314304 40788 134679101440 4194304 8255733 140727317263632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41562112 140727317267298 140727317267560 140727317267560 140727317274569 0
/proc/9681/statm: 49149 40788 1995 992 0 41007 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 196596 KiB
Current children cumulated memory: 163152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.42 s]
# the end of solver process 9681 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3565.35 s, system=34.6926 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.42
CPU time (s): 3600.04
CPU user time (s): 3565.35
CPU system time (s): 34.6926
CPU usage (%): 99.7401
Max. virtual memory (cumulated for all children) (KiB): 196596
Max. memory (cumulated for all children) (KiB): 163152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.35
system time used= 34.6926
maximum resident set size= 163812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22623624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 384
involuntary context switches= 4850
# summary of solver processes directly reported to runsolver:
# pid: 9681
# total CPU time (s): 3600.04
# total CPU user time (s): 3565.35
# total CPU system time (s): 34.6926
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62458 second user time and 16.4341 second system time
The end
Begin job on nodeC030 at 2024-07-30 15:00:23 IDJOB=4462702 IDBENCH=148776 IDSOLVER=3089 FILE ID=nodeC030/4462702-1722344423 RUNJOBID= nodeC030-1722340763-7477 SLURM_JOB_ID= 8249003 Free space on /tmp= 890068 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-4462702-1722344423/watcher-4462702-1722344423 -o /tmp/evaluation-result-4462702-1722344423/solver-4462702-1722344423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722340763-7477 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462702-1722344423 --lp-cut-gomory=0 HOME/instance-4462702-1722344423.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef RANDOM SEED=2076811527 nodeC030.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 : 3658.150 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 : 7000.60 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 : 3599.634 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 : 7006.48 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 : 3648.510 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 : 7000.60 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 : 3526.800 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 : 7006.48 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 : 3690.739 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 : 7000.60 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 : 2182.232 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 : 7006.48 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 : 3644.035 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 : 7000.60 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 : 3689.478 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 : 7006.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130364440 kB MemAvailable: 129962692 kB Buffers: 43452 kB Cached: 366304 kB SwapCached: 0 kB Active: 160220 kB Inactive: 534180 kB Active(anon): 1520 kB Inactive(anon): 304484 kB Active(file): 158700 kB Inactive(file): 229696 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 51520 kB Writeback: 0 kB AnonPages: 284664 kB Mapped: 91156 kB Shmem: 21328 kB KReclaimable: 44584 kB Slab: 124612 kB SReclaimable: 44584 kB SUnreclaim: 80028 kB KernelStack: 3984 kB PageTables: 9456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 592660 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8416 kB HardwareCorrupted: 0 kB AnonHugePages: 169984 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: 221908 kB DirectMap2M: 6891520 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 890052 MiB End job on nodeC030 at 2024-07-30 16:00:32