| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.04 | 3609.3 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb |
| MD5SUM | 91ecd4a7d2e975c8e8a35b07ef7013ef |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 130.294 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 774 |
| Total number of constraints | 994 |
| Number of constraints which are clauses | 771 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 192 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 192 |
| Number of terms in the objective function | 3 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 3 |
| Number of bits of the sum of numbers in the objective function | 2 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 380 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 774 #constraints 1024 0.00/0.00 c bounds - >= 3 @ 0.004966 0.00/0.00 c rational objective 3 0.29/0.35 c #Conflicts: 1000 | #Constraints: 2041 0.29/0.35 c #Conflicts: 2000 | #Constraints: 3050 0.29/0.35 c INPROCESSING 0.29/0.35 c GARBAGE COLLECT 0.29/0.35 c rational objective 3 0.88/0.93 c #Conflicts: 3000 | #Constraints: 2285 0.88/0.93 c #Conflicts: 4000 | #Constraints: 3290 0.88/0.93 c INPROCESSING 0.88/0.93 c GARBAGE COLLECT 0.88/0.93 c rational objective 3 1.78/1.87 c #Conflicts: 5000 | #Constraints: 2693 1.78/1.87 c #Conflicts: 6000 | #Constraints: 3700 1.78/1.87 c INPROCESSING 1.78/1.87 c GARBAGE COLLECT 1.78/1.87 c rational objective 3 2.98/3.07 c #Conflicts: 7000 | #Constraints: 2795 2.98/3.07 c #Conflicts: 8000 | #Constraints: 3795 2.98/3.07 c #Conflicts: 9000 | #Constraints: 4797 2.98/3.07 c INPROCESSING 2.98/3.07 c GARBAGE COLLECT 2.98/3.07 c rational objective 3 3.98/4.01 c #Conflicts: 10000 | #Constraints: 3448 3.98/4.01 c #Conflicts: 11000 | #Constraints: 4456 3.98/4.01 c #Conflicts: 12000 | #Constraints: 5463 3.98/4.01 c INPROCESSING 3.98/4.01 c GARBAGE COLLECT 3.98/4.01 c rational objective 3 4.98/5.08 c #Conflicts: 13000 | #Constraints: 3878 4.98/5.08 c #Conflicts: 14000 | #Constraints: 4884 4.98/5.08 c #Conflicts: 15000 | #Constraints: 5893 4.98/5.08 c INPROCESSING 4.98/5.08 c GARBAGE COLLECT 4.98/5.08 c rational objective 3 5.87/5.99 c #Conflicts: 16000 | #Constraints: 4098 5.87/5.99 c #Conflicts: 17000 | #Constraints: 5115 5.87/5.99 c #Conflicts: 18000 | #Constraints: 6123 5.87/5.99 c INPROCESSING 5.87/5.99 c GARBAGE COLLECT 5.87/5.99 c rational objective 3 7.08/7.18 c #Conflicts: 19000 | #Constraints: 4118 7.08/7.18 c #Conflicts: 20000 | #Constraints: 5124 7.08/7.18 c #Conflicts: 21000 | #Constraints: 6128 7.08/7.18 c INPROCESSING 7.08/7.18 c GARBAGE COLLECT 7.08/7.18 c rational objective 3 8.37/8.47 c #Conflicts: 22000 | #Constraints: 3913 8.37/8.47 c #Conflicts: 23000 | #Constraints: 4921 8.37/8.47 c #Conflicts: 24000 | #Constraints: 5929 8.37/8.47 c #Conflicts: 25000 | #Constraints: 6940 8.37/8.47 c INPROCESSING 8.37/8.47 c GARBAGE COLLECT 8.37/8.47 c rational objective 3 9.77/9.88 c #Conflicts: 26000 | #Constraints: 4517 9.77/9.88 c #Conflicts: 27000 | #Constraints: 5525 9.77/9.88 c #Conflicts: 28000 | #Constraints: 6531 9.77/9.88 c #Conflicts: 29000 | #Constraints: 7539 9.77/9.88 c INPROCESSING 9.77/9.88 c GARBAGE COLLECT 9.77/9.88 c rational objective 3 11.26/11.39 c #Conflicts: 30000 | #Constraints: 4919 11.26/11.39 c #Conflicts: 31000 | #Constraints: 5924 11.26/11.39 c #Conflicts: 32000 | #Constraints: 6931 11.26/11.39 c #Conflicts: 33000 | #Constraints: 7941 11.26/11.39 c INPROCESSING 11.26/11.39 c GARBAGE COLLECT 11.26/11.39 c rational objective 3 12.76/12.87 c #Conflicts: 34000 | #Constraints: 5120 12.76/12.87 c #Conflicts: 35000 | #Constraints: 6123 12.76/12.87 c #Conflicts: 36000 | #Constraints: 7132 12.76/12.87 c #Conflicts: 37000 | #Constraints: 8136 12.76/12.87 c INPROCESSING 12.76/12.87 c GARBAGE COLLECT 12.76/12.87 c rational objective 3 14.65/14.76 c #Conflicts: 38000 | #Constraints: 5116 14.65/14.76 c #Conflicts: 39000 | #Constraints: 6121 14.65/14.76 c #Conflicts: 40000 | #Constraints: 7127 14.65/14.76 c #Conflicts: 41000 | #Constraints: 8133 14.65/14.76 c INPROCESSING 14.65/14.76 c GARBAGE COLLECT 14.65/14.76 c rational objective 3 15.95/16.01 c #Conflicts: 42000 | #Constraints: 4923 15.95/16.01 c #Conflicts: 43000 | #Constraints: 5934 15.95/16.01 c #Conflicts: 44000 | #Constraints: 6942 15.95/16.01 c #Conflicts: 45000 | #Constraints: 7953 15.95/16.01 c #Conflicts: 46000 | #Constraints: 8962 15.95/16.01 c INPROCESSING 15.95/16.01 c GARBAGE COLLECT 15.95/16.01 c rational objective 3 17.95/18.03 c #Conflicts: 47000 | #Constraints: 5539 17.95/18.03 c #Conflicts: 48000 | #Constraints: 6543 17.95/18.03 c #Conflicts: 49000 | #Constraints: 7548 17.95/18.03 c #Conflicts: 50000 | #Constraints: 8555 17.95/18.03 c #Conflicts: 51000 | #Constraints: 9576 17.95/18.03 c INPROCESSING 17.95/18.03 c GARBAGE COLLECT 17.95/18.03 c rational objective 3 19.84/19.92 c #Conflicts: 52000 | #Constraints: 5945 19.84/19.92 c #Conflicts: 53000 | #Constraints: 6955 19.84/19.92 c #Conflicts: 54000 | #Constraints: 7964 19.84/19.92 c #Conflicts: 55000 | #Constraints: 8969 19.84/19.92 c #Conflicts: 56000 | #Constraints: 9975 19.84/19.92 c INPROCESSING 19.84/19.92 c GARBAGE COLLECT 19.84/19.92 c rational objective 3 22.24/22.33 c #Conflicts: 57000 | #Constraints: 6146 22.24/22.33 c #Conflicts: 58000 | #Constraints: 7155 22.24/22.33 c #Conflicts: 59000 | #Constraints: 8161 22.24/22.33 c #Conflicts: 60000 | #Constraints: 9167 22.24/22.33 c #Conflicts: 61000 | #Constraints: 10174 22.24/22.33 c INPROCESSING 22.24/22.33 c GARBAGE COLLECT 22.24/22.33 c rational objective 3 24.13/24.21 c #Conflicts: 62000 | #Constraints: 6136 24.13/24.21 c #Conflicts: 63000 | #Constraints: 7136 24.13/24.21 c #Conflicts: 64000 | #Constraints: 8137 24.13/24.21 c #Conflicts: 65000 | #Constraints: 9144 24.13/24.21 c #Conflicts: 66000 | #Constraints: 10151 24.13/24.21 c INPROCESSING 24.13/24.21 c GARBAGE COLLECT 24.13/24.21 c rational objective 3 26.73/26.82 c #Conflicts: 67000 | #Constraints: 5928 26.73/26.82 c #Conflicts: 68000 | #Constraints: 6934 26.73/26.82 c #Conflicts: 69000 | #Constraints: 7941 26.73/26.82 c #Conflicts: 70000 | #Constraints: 8952 26.73/26.82 c #Conflicts: 71000 | #Constraints: 9964 26.73/26.82 c #Conflicts: 72000 | #Constraints: 10970 26.73/26.82 c INPROCESSING 26.73/26.82 c GARBAGE COLLECT 26.73/26.82 c rational objective 3 29.31/29.45 c #Conflicts: 73000 | #Constraints: 6538 29.31/29.45 c #Conflicts: 74000 | #Constraints: 7546 29.31/29.45 c #Conflicts: 75000 | #Constraints: 8554 29.31/29.45 c #Conflicts: 76000 | #Constraints: 9559 29.31/29.45 c #Conflicts: 77000 | #Constraints: 10565 29.31/29.45 c #Conflicts: 78000 | #Constraints: 11574 29.31/29.45 c INPROCESSING 29.31/29.45 c GARBAGE COLLECT 29.31/29.45 c rational objective 3 31.71/31.87 c #Conflicts: 79000 | #Constraints: 6939 31.71/31.87 c #Conflicts: 80000 | #Constraints: 7943 31.71/31.87 c #Conflicts: 81000 | #Constraints: 8957 31.71/31.87 c #Conflicts: 82000 | #Constraints: 9974 31.71/31.87 c #Conflicts: 83000 | #Constraints: 10982 31.71/31.87 c #Conflicts: 84000 | #Constraints: 11990 31.71/31.87 c INPROCESSING 31.71/31.87 c GARBAGE COLLECT 31.71/31.87 c rational objective 3 34.21/34.30 c #Conflicts: 85000 | #Constraints: 7150 34.21/34.30 c #Conflicts: 86000 | #Constraints: 8158 34.21/34.30 c #Conflicts: 87000 | #Constraints: 9167 34.21/34.30 c #Conflicts: 88000 | #Constraints: 10172 34.21/34.30 c #Conflicts: 89000 | #Constraints: 11175 34.21/34.30 c #Conflicts: 90000 | #Constraints: 12180 34.21/34.30 c INPROCESSING 34.21/34.30 c GARBAGE COLLECT 34.21/34.30 c rational objective 3 39.19/39.38 c #Conflicts: 91000 | #Constraints: 7139 39.19/39.38 c #Conflicts: 92000 | #Constraints: 8144 39.19/39.38 c #Conflicts: 93000 | #Constraints: 9149 39.19/39.38 c #Conflicts: 94000 | #Constraints: 10155 39.19/39.38 c #Conflicts: 95000 | #Constraints: 11163 39.19/39.38 c #Conflicts: 96000 | #Constraints: 12169 39.19/39.38 c INPROCESSING 39.19/39.38 c GARBAGE COLLECT 39.19/39.38 c rational objective 3 42.68/42.88 c #Conflicts: 97000 | #Constraints: 6945 42.68/42.88 c #Conflicts: 98000 | #Constraints: 8036 42.68/42.88 c #Conflicts: 99000 | #Constraints: 9200 42.68/42.88 c #Conflicts: 100000 | #Constraints: 10288 42.68/42.88 c #Conflicts: 101000 | #Constraints: 11332 42.68/42.88 c #Conflicts: 102000 | #Constraints: 12499 42.68/42.88 c #Conflicts: 103000 | #Constraints: 13629 42.68/42.88 c INPROCESSING 42.68/42.88 c GARBAGE COLLECT 42.68/42.88 c rational objective 3 46.68/46.81 c #Conflicts: 104000 | #Constraints: 7868 46.68/46.81 c #Conflicts: 105000 | #Constraints: 8871 46.68/46.81 c #Conflicts: 106000 | #Constraints: 9874 46.68/46.81 c #Conflicts: 107000 | #Constraints: 10877 46.68/46.81 c #Conflicts: 108000 | #Constraints: 11878 46.68/46.81 c #Conflicts: 109000 | #Constraints: 12882 46.68/46.81 c #Conflicts: 110000 | #Constraints: 13883 46.68/46.81 c INPROCESSING 46.68/46.81 c GARBAGE COLLECT 46.68/46.81 c rational objective 3 50.67/50.84 c #Conflicts: 111000 | #Constraints: 8093 50.67/50.84 c #Conflicts: 112000 | #Constraints: 9267 50.67/50.84 c #Conflicts: 113000 | #Constraints: 10287 50.67/50.84 c #Conflicts: 114000 | #Constraints: 11400 50.67/50.84 c #Conflicts: 115000 | #Constraints: 12404 50.67/50.84 c #Conflicts: 116000 | #Constraints: 13407 50.67/50.84 c #Conflicts: 117000 | #Constraints: 14438 50.67/50.84 c INPROCESSING 50.67/50.84 c GARBAGE COLLECT 50.67/50.84 c rational objective 3 56.45/56.66 c #Conflicts: 118000 | #Constraints: 8365 56.45/56.66 c #Conflicts: 119000 | #Constraints: 9369 56.45/56.66 c #Conflicts: 120000 | #Constraints: 10372 56.45/56.66 c #Conflicts: 121000 | #Constraints: 11375 56.45/56.66 c #Conflicts: 122000 | #Constraints: 12375 56.45/56.66 c #Conflicts: 123000 | #Constraints: 13378 56.45/56.66 c #Conflicts: 124000 | #Constraints: 14378 56.45/56.66 c INPROCESSING 56.45/56.66 c GARBAGE COLLECT 56.45/56.66 c rational objective 3 61.03/61.22 c #Conflicts: 125000 | #Constraints: 8239 61.03/61.22 c #Conflicts: 126000 | #Constraints: 9241 61.03/61.22 c #Conflicts: 127000 | #Constraints: 10247 61.03/61.22 c #Conflicts: 128000 | #Constraints: 11251 61.03/61.22 c #Conflicts: 129000 | #Constraints: 12260 61.03/61.22 c #Conflicts: 130000 | #Constraints: 13266 61.03/61.22 c #Conflicts: 131000 | #Constraints: 14271 61.03/61.22 c INPROCESSING 61.03/61.22 c GARBAGE COLLECT 61.03/61.22 c rational objective 3 65.42/65.61 c #Conflicts: 132000 | #Constraints: 7982 65.42/65.61 c #Conflicts: 133000 | #Constraints: 8989 65.42/65.61 c #Conflicts: 134000 | #Constraints: 9992 65.42/65.61 c #Conflicts: 135000 | #Constraints: 10997 65.42/65.61 c #Conflicts: 136000 | #Constraints: 12009 65.42/65.61 c #Conflicts: 137000 | #Constraints: 13014 65.42/65.61 c #Conflicts: 138000 | #Constraints: 14017 65.42/65.61 c #Conflicts: 139000 | #Constraints: 15024 65.42/65.61 c INPROCESSING 65.42/65.61 c GARBAGE COLLECT 65.42/65.61 c rational objective 3 71.90/72.15 c #Conflicts: 140000 | #Constraints: 8575 71.90/72.15 c #Conflicts: 141000 | #Constraints: 9582 71.90/72.15 c #Conflicts: 142000 | #Constraints: 10587 71.90/72.15 c #Conflicts: 143000 | #Constraints: 11593 71.90/72.15 c #Conflicts: 144000 | #Constraints: 12599 71.90/72.15 c #Conflicts: 145000 | #Constraints: 13602 71.90/72.15 c #Conflicts: 146000 | #Constraints: 14606 71.90/72.15 c #Conflicts: 147000 | #Constraints: 15607 71.90/72.15 c INPROCESSING 71.90/72.15 c GARBAGE COLLECT 71.90/72.15 c rational objective 3 76.80/77.03 c #Conflicts: 148000 | #Constraints: 8955 76.80/77.03 c #Conflicts: 149000 | #Constraints: 9959 76.80/77.03 c #Conflicts: 150000 | #Constraints: 10970 76.80/77.03 c #Conflicts: 151000 | #Constraints: 11980 76.80/77.03 c #Conflicts: 152000 | #Constraints: 12988 76.80/77.03 c #Conflicts: 153000 | #Constraints: 13995 76.80/77.03 c #Conflicts: 154000 | #Constraints: 15001 76.80/77.03 c #Conflicts: 155000 | #Constraints: 16006 76.80/77.03 c INPROCESSING 76.80/77.03 c GARBAGE COLLECT 76.80/77.03 c rational objective 3 81.08/81.39 c #Conflicts: 156000 | #Constraints: 9162 81.08/81.39 c #Conflicts: 157000 | #Constraints: 10169 81.08/81.39 c #Conflicts: 158000 | #Constraints: 11176 81.08/81.39 c #Conflicts: 159000 | #Constraints: 12182 81.08/81.39 c #Conflicts: 160000 | #Constraints: 13193 81.08/81.39 c #Conflicts: 161000 | #Constraints: 14198 81.08/81.39 c #Conflicts: 162000 | #Constraints: 15206 81.08/81.39 c #Conflicts: 163000 | #Constraints: 16221 81.08/81.39 c INPROCESSING 81.08/81.39 c GARBAGE COLLECT 81.08/81.39 c rational objective 3 86.66/86.91 c #Conflicts: 164000 | #Constraints: 9168 86.66/86.91 c #Conflicts: 165000 | #Constraints: 10175 86.66/86.91 c #Conflicts: 166000 | #Constraints: 11182 86.66/86.91 c #Conflicts: 167000 | #Constraints: 12189 86.66/86.91 c #Conflicts: 168000 | #Constraints: 13196 86.66/86.91 c #Conflicts: 169000 | #Constraints: 14200 86.66/86.91 c #Conflicts: 170000 | #Constraints: 15207 86.66/86.91 c #Conflicts: 171000 | #Constraints: 16213 86.66/86.91 c INPROCESSING 86.66/86.91 c GARBAGE COLLECT 86.66/86.91 c rational objective 3 92.75/93.05 c #Conflicts: 172000 | #Constraints: 8962 92.75/93.05 c #Conflicts: 173000 | #Constraints: 9967 92.75/93.05 c #Conflicts: 174000 | #Constraints: 10973 92.75/93.05 c #Conflicts: 175000 | #Constraints: 11980 92.75/93.05 c #Conflicts: 176000 | #Constraints: 12985 92.75/93.05 c #Conflicts: 177000 | #Constraints: 13993 92.75/93.05 c #Conflicts: 178000 | #Constraints: 14998 92.75/93.05 c #Conflicts: 179000 | #Constraints: 16004 92.75/93.05 c #Conflicts: 180000 | #Constraints: 17011 92.75/93.05 c INPROCESSING 92.75/93.05 c GARBAGE COLLECT 92.75/93.05 c rational objective 3 98.73/99.10 c #Conflicts: 181000 | #Constraints: 9564 98.73/99.10 c #Conflicts: 182000 | #Constraints: 10567 98.73/99.10 c #Conflicts: 183000 | #Constraints: 11569 98.73/99.10 c #Conflicts: 184000 | #Constraints: 12574 98.73/99.10 c #Conflicts: 185000 | #Constraints: 13577 98.73/99.10 c #Conflicts: 186000 | #Constraints: 14582 98.73/99.10 c #Conflicts: 187000 | #Constraints: 15588 98.73/99.10 c #Conflicts: 188000 | #Constraints: 16594 98.73/99.10 c #Conflicts: 189000 | #Constraints: 17602 98.73/99.10 c INPROCESSING 98.73/99.10 c GARBAGE COLLECT 98.73/99.10 c rational objective 3 106.10/106.45 c #Conflicts: 190000 | #Constraints: 9957 106.10/106.45 c #Conflicts: 191000 | #Constraints: 10960 106.10/106.45 c #Conflicts: 192000 | #Constraints: 11965 106.10/106.45 c #Conflicts: 193000 | #Constraints: 12967 106.10/106.45 c #Conflicts: 194000 | #Constraints: 13969 106.10/106.45 c #Conflicts: 195000 | #Constraints: 14975 106.10/106.45 c #Conflicts: 196000 | #Constraints: 15982 106.10/106.45 c #Conflicts: 197000 | #Constraints: 16988 106.10/106.45 c #Conflicts: 198000 | #Constraints: 17995 106.10/106.45 c INPROCESSING 106.10/106.45 c GARBAGE COLLECT 106.10/106.45 c rational objective 3 111.89/112.24 c #Conflicts: 199000 | #Constraints: 10158 111.89/112.24 c #Conflicts: 200000 | #Constraints: 11164 111.89/112.24 c #Conflicts: 201000 | #Constraints: 12169 111.89/112.24 c #Conflicts: 202000 | #Constraints: 13176 111.89/112.24 c #Conflicts: 203000 | #Constraints: 14178 111.89/112.24 c #Conflicts: 204000 | #Constraints: 15186 111.89/112.24 c #Conflicts: 205000 | #Constraints: 16192 111.89/112.24 c #Conflicts: 206000 | #Constraints: 17195 111.89/112.24 c #Conflicts: 207000 | #Constraints: 18204 111.89/112.24 c INPROCESSING 111.89/112.24 c GARBAGE COLLECT 111.89/112.24 c rational objective 3 119.07/119.46 c #Conflicts: 208000 | #Constraints: 10163 119.07/119.46 c #Conflicts: 209000 | #Constraints: 11173 119.07/119.46 c #Conflicts: 210000 | #Constraints: 12182 119.07/119.46 c #Conflicts: 211000 | #Constraints: 13189 119.07/119.46 c #Conflicts: 212000 | #Constraints: 14199 119.07/119.46 c #Conflicts: 213000 | #Constraints: 15204 119.07/119.46 c #Conflicts: 214000 | #Constraints: 16209 119.07/119.46 c #Conflicts: 215000 | #Constraints: 17210 119.07/119.46 c #Conflicts: 216000 | #Constraints: 18213 119.07/119.46 c INPROCESSING 119.07/119.46 c GARBAGE COLLECT 119.07/119.46 c rational objective 3 130.83/131.22 c #Conflicts: 217000 | #Constraints: 9958 130.83/131.22 c #Conflicts: 218000 | #Constraints: 10961 130.83/131.22 c #Conflicts: 219000 | #Constraints: 11963 130.83/131.22 c #Conflicts: 220000 | #Constraints: 12967 130.83/131.22 c #Conflicts: 221000 | #Constraints: 13973 130.83/131.22 c #Conflicts: 222000 | #Constraints: 14976 130.83/131.22 c #Conflicts: 223000 | #Constraints: 15980 130.83/131.22 c #Conflicts: 224000 | #Constraints: 16983 130.83/131.22 c #Conflicts: 225000 | #Constraints: 17990 130.83/131.22 c #Conflicts: 226000 | #Constraints: 18996 130.83/131.22 c INPROCESSING 130.83/131.22 c GARBAGE COLLECT 130.83/131.22 c rational objective 3 140.20/140.64 c #Conflicts: 227000 | #Constraints: 10561 140.20/140.64 c #Conflicts: 228000 | #Constraints: 11564 140.20/140.64 c #Conflicts: 229000 | #Constraints: 12565 140.20/140.64 c #Conflicts: 230000 | #Constraints: 13570 140.20/140.64 c #Conflicts: 231000 | #Constraints: 14577 140.20/140.64 c #Conflicts: 232000 | #Constraints: 15581 140.20/140.64 c #Conflicts: 233000 | #Constraints: 16587 140.20/140.64 c #Conflicts: 234000 | #Constraints: 17595 140.20/140.64 c #Conflicts: 235000 | #Constraints: 18601 140.20/140.64 c #Conflicts: 236000 | #Constraints: 19603 140.20/140.64 c INPROCESSING 140.20/140.64 c GARBAGE COLLECT 140.20/140.64 c rational objective 3 147.88/148.32 c #Conflicts: 237000 | #Constraints: 10950 147.88/148.32 c #Conflicts: 238000 | #Constraints: 11959 147.88/148.32 c #Conflicts: 239000 | #Constraints: 12964 147.88/148.32 c #Conflicts: 240000 | #Constraints: 13969 147.88/148.32 c #Conflicts: 241000 | #Constraints: 14974 147.88/148.32 c #Conflicts: 242000 | #Constraints: 15978 147.88/148.32 c #Conflicts: 243000 | #Constraints: 16983 147.88/148.32 c #Conflicts: 244000 | #Constraints: 17987 147.88/148.32 c #Conflicts: 245000 | #Constraints: 18994 147.88/148.32 c #Conflicts: 246000 | #Constraints: 19997 147.88/148.32 c INPROCESSING 147.88/148.32 c GARBAGE COLLECT 147.88/148.32 c rational objective 3 154.95/155.49 c #Conflicts: 247000 | #Constraints: 11152 154.95/155.49 c #Conflicts: 248000 | #Constraints: 12156 154.95/155.49 c #Conflicts: 249000 | #Constraints: 13160 154.95/155.49 c #Conflicts: 250000 | #Constraints: 14167 154.95/155.49 c #Conflicts: 251000 | #Constraints: 15172 154.95/155.49 c #Conflicts: 252000 | #Constraints: 16176 154.95/155.49 c #Conflicts: 253000 | #Constraints: 17181 154.95/155.49 c #Conflicts: 254000 | #Constraints: 18188 154.95/155.49 c #Conflicts: 255000 | #Constraints: 19193 154.95/155.49 c #Conflicts: 256000 | #Constraints: 20200 154.95/155.49 c INPROCESSING 154.95/155.49 c GARBAGE COLLECT 154.95/155.49 c rational objective 3 162.33/162.85 c #Conflicts: 257000 | #Constraints: 11155 162.33/162.85 c #Conflicts: 258000 | #Constraints: 12161 162.33/162.85 c #Conflicts: 259000 | #Constraints: 13164 162.33/162.85 c #Conflicts: 260000 | #Constraints: 14173 162.33/162.85 c #Conflicts: 261000 | #Constraints: 15185 162.33/162.85 c #Conflicts: 262000 | #Constraints: 16191 162.33/162.85 c #Conflicts: 263000 | #Constraints: 17197 162.33/162.85 c #Conflicts: 264000 | #Constraints: 18202 162.33/162.85 c #Conflicts: 265000 | #Constraints: 19209 162.33/162.85 c #Conflicts: 266000 | #Constraints: 20218 162.33/162.85 c INPROCESSING 162.33/162.85 c GARBAGE COLLECT 162.33/162.85 c rational objective 3 174.70/175.26 c #Conflicts: 267000 | #Constraints: 10962 174.70/175.26 c #Conflicts: 268000 | #Constraints: 11964 174.70/175.26 c #Conflicts: 269000 | #Constraints: 12967 174.70/175.26 c #Conflicts: 270000 | #Constraints: 13972 174.70/175.26 c #Conflicts: 271000 | #Constraints: 14977 174.70/175.26 c #Conflicts: 272000 | #Constraints: 15981 174.70/175.26 c #Conflicts: 273000 | #Constraints: 16987 174.70/175.26 c #Conflicts: 274000 | #Constraints: 17993 174.70/175.26 c #Conflicts: 275000 | #Constraints: 18998 174.70/175.26 c #Conflicts: 276000 | #Constraints: 20006 174.70/175.26 c #Conflicts: 277000 | #Constraints: 21011 174.70/175.26 c INPROCESSING 174.70/175.26 c GARBAGE COLLECT 174.70/175.26 c rational objective 3 182.87/183.47 c #Conflicts: 278000 | #Constraints: 11564 182.87/183.47 c #Conflicts: 279000 | #Constraints: 12568 182.87/183.47 c #Conflicts: 280000 | #Constraints: 13578 182.87/183.47 c #Conflicts: 281000 | #Constraints: 14583 182.87/183.47 c #Conflicts: 282000 | #Constraints: 15589 182.87/183.47 c #Conflicts: 283000 | #Constraints: 16593 182.87/183.47 c #Conflicts: 284000 | #Constraints: 17600 182.87/183.47 c #Conflicts: 285000 | #Constraints: 18604 182.87/183.47 c #Conflicts: 286000 | #Constraints: 19610 182.87/183.47 c #Conflicts: 287000 | #Constraints: 20613 182.87/183.47 c #Conflicts: 288000 | #Constraints: 21620 182.87/183.47 c INPROCESSING 182.87/183.47 c GARBAGE COLLECT 182.87/183.47 c rational objective 3 192.75/193.39 c #Conflicts: 289000 | #Constraints: 11960 192.75/193.39 c #Conflicts: 290000 | #Constraints: 12966 192.75/193.39 c #Conflicts: 291000 | #Constraints: 13974 192.75/193.39 c #Conflicts: 292000 | #Constraints: 14982 192.75/193.39 c #Conflicts: 293000 | #Constraints: 15989 192.75/193.39 c #Conflicts: 294000 | #Constraints: 16995 192.75/193.39 c #Conflicts: 295000 | #Constraints: 18003 192.75/193.39 c #Conflicts: 296000 | #Constraints: 19009 192.75/193.39 c #Conflicts: 297000 | #Constraints: 20015 192.75/193.39 c #Conflicts: 298000 | #Constraints: 21020 192.75/193.39 c #Conflicts: 299000 | #Constraints: 22027 192.75/193.39 c INPROCESSING 192.75/193.39 c GARBAGE COLLECT 192.75/193.39 c rational objective 3 201.92/202.56 c #Conflicts: 300000 | #Constraints: 12164 201.92/202.56 c #Conflicts: 301000 | #Constraints: 13169 201.92/202.56 c #Conflicts: 302000 | #Constraints: 14174 201.92/202.56 c #Conflicts: 303000 | #Constraints: 15180 201.92/202.56 c #Conflicts: 304000 | #Constraints: 16185 201.92/202.56 c #Conflicts: 305000 | #Constraints: 17191 201.92/202.56 c #Conflicts: 306000 | #Constraints: 18196 201.92/202.56 c #Conflicts: 307000 | #Constraints: 19201 201.92/202.56 c #Conflicts: 308000 | #Constraints: 20205 201.92/202.56 c #Conflicts: 309000 | #Constraints: 21210 201.92/202.56 c #Conflicts: 310000 | #Constraints: 22214 201.92/202.56 c INPROCESSING 201.92/202.56 c GARBAGE COLLECT 201.92/202.56 c rational objective 3 215.07/215.71 c #Conflicts: 311000 | #Constraints: 12170 215.07/215.71 c #Conflicts: 312000 | #Constraints: 13178 215.07/215.71 c #Conflicts: 313000 | #Constraints: 14185 215.07/215.71 c #Conflicts: 314000 | #Constraints: 15194 215.07/215.71 c #Conflicts: 315000 | #Constraints: 16197 215.07/215.71 c #Conflicts: 316000 | #Constraints: 17201 215.07/215.71 c #Conflicts: 317000 | #Constraints: 18203 215.07/215.71 c #Conflicts: 318000 | #Constraints: 19208 215.07/215.71 c #Conflicts: 319000 | #Constraints: 20212 215.07/215.71 c #Conflicts: 320000 | #Constraints: 21213 215.07/215.71 c #Conflicts: 321000 | #Constraints: 22217 215.07/215.71 c INPROCESSING 215.07/215.71 c GARBAGE COLLECT 215.07/215.71 c rational objective 3 225.64/226.36 c #Conflicts: 322000 | #Constraints: 11958 225.64/226.36 c #Conflicts: 323000 | #Constraints: 12962 225.64/226.36 c #Conflicts: 324000 | #Constraints: 13968 225.64/226.36 c #Conflicts: 325000 | #Constraints: 14975 225.64/226.36 c #Conflicts: 326000 | #Constraints: 15982 225.64/226.36 c #Conflicts: 327000 | #Constraints: 16988 225.64/226.36 c #Conflicts: 328000 | #Constraints: 17993 225.64/226.36 c #Conflicts: 329000 | #Constraints: 18995 225.64/226.36 c #Conflicts: 330000 | #Constraints: 19999 225.64/226.36 c #Conflicts: 331000 | #Constraints: 21002 225.64/226.36 c #Conflicts: 332000 | #Constraints: 22002 225.64/226.36 c #Conflicts: 333000 | #Constraints: 23006 225.64/226.36 c INPROCESSING 225.64/226.36 c GARBAGE COLLECT 225.64/226.36 c rational objective 3 237.51/238.23 c #Conflicts: 334000 | #Constraints: 12559 237.51/238.23 c #Conflicts: 335000 | #Constraints: 13565 237.51/238.23 c #Conflicts: 336000 | #Constraints: 14571 237.51/238.23 c #Conflicts: 337000 | #Constraints: 15577 237.51/238.23 c #Conflicts: 338000 | #Constraints: 16585 237.51/238.23 c #Conflicts: 339000 | #Constraints: 17590 237.51/238.23 c #Conflicts: 340000 | #Constraints: 18594 237.51/238.23 c #Conflicts: 341000 | #Constraints: 19601 237.51/238.23 c #Conflicts: 342000 | #Constraints: 20614 237.51/238.23 c #Conflicts: 343000 | #Constraints: 21617 237.51/238.23 c #Conflicts: 344000 | #Constraints: 22621 237.51/238.23 c #Conflicts: 345000 | #Constraints: 23627 237.51/238.23 c INPROCESSING 237.51/238.23 c GARBAGE COLLECT 237.51/238.23 c rational objective 3 246.48/247.27 c #Conflicts: 346000 | #Constraints: 12970 246.48/247.27 c #Conflicts: 347000 | #Constraints: 13976 246.48/247.27 c #Conflicts: 348000 | #Constraints: 14979 246.48/247.27 c #Conflicts: 349000 | #Constraints: 15982 246.48/247.27 c #Conflicts: 350000 | #Constraints: 16990 246.48/247.27 c #Conflicts: 351000 | #Constraints: 17994 246.48/247.27 c #Conflicts: 352000 | #Constraints: 19002 246.48/247.27 c #Conflicts: 353000 | #Constraints: 20012 246.48/247.27 c #Conflicts: 354000 | #Constraints: 21014 246.48/247.27 c #Conflicts: 355000 | #Constraints: 22019 246.48/247.27 c #Conflicts: 356000 | #Constraints: 23023 246.48/247.27 c #Conflicts: 357000 | #Constraints: 24030 246.48/247.27 c INPROCESSING 246.48/247.27 c GARBAGE COLLECT 246.48/247.27 c rational objective 3 257.65/258.46 c #Conflicts: 358000 | #Constraints: 13163 257.65/258.46 c #Conflicts: 359000 | #Constraints: 14166 257.65/258.46 c #Conflicts: 360000 | #Constraints: 15167 257.65/258.46 c #Conflicts: 361000 | #Constraints: 16172 257.65/258.46 c #Conflicts: 362000 | #Constraints: 17174 257.65/258.46 c #Conflicts: 363000 | #Constraints: 18178 257.65/258.46 c #Conflicts: 364000 | #Constraints: 19180 257.65/258.46 c #Conflicts: 365000 | #Constraints: 20180 257.65/258.46 c #Conflicts: 366000 | #Constraints: 21183 257.65/258.46 c #Conflicts: 367000 | #Constraints: 22188 257.65/258.46 c #Conflicts: 368000 | #Constraints: 23189 257.65/258.46 c #Conflicts: 369000 | #Constraints: 24192 257.65/258.46 c INPROCESSING 257.65/258.46 c GARBAGE COLLECT 257.65/258.46 c rational objective 3 270.32/271.11 c #Conflicts: 370000 | #Constraints: 13163 270.32/271.11 c #Conflicts: 371000 | #Constraints: 14193 270.32/271.11 c #Conflicts: 372000 | #Constraints: 15220 270.32/271.11 c #Conflicts: 373000 | #Constraints: 16285 270.32/271.11 c #Conflicts: 374000 | #Constraints: 17289 270.32/271.11 c #Conflicts: 375000 | #Constraints: 18330 270.32/271.11 c #Conflicts: 376000 | #Constraints: 19350 270.32/271.11 c #Conflicts: 377000 | #Constraints: 20372 270.32/271.11 c #Conflicts: 378000 | #Constraints: 21382 270.32/271.11 c #Conflicts: 379000 | #Constraints: 22412 270.32/271.11 c #Conflicts: 380000 | #Constraints: 23780 270.32/271.11 c #Conflicts: 381000 | #Constraints: 25095 270.32/271.11 c INPROCESSING 270.32/271.11 c GARBAGE COLLECT 270.32/271.11 c rational objective 3 280.38/281.24 c #Conflicts: 382000 | #Constraints: 13403 280.38/281.24 c #Conflicts: 383000 | #Constraints: 14411 280.38/281.24 c #Conflicts: 384000 | #Constraints: 15418 280.38/281.24 c #Conflicts: 385000 | #Constraints: 16427 280.38/281.24 c #Conflicts: 386000 | #Constraints: 17432 280.38/281.24 c #Conflicts: 387000 | #Constraints: 18440 280.38/281.24 c #Conflicts: 388000 | #Constraints: 19442 280.38/281.24 c #Conflicts: 389000 | #Constraints: 20449 280.38/281.24 c #Conflicts: 390000 | #Constraints: 21457 280.38/281.24 c #Conflicts: 391000 | #Constraints: 22463 280.38/281.24 c #Conflicts: 392000 | #Constraints: 23474 280.38/281.24 c #Conflicts: 393000 | #Constraints: 24480 280.38/281.24 c #Conflicts: 394000 | #Constraints: 25502 280.38/281.24 c INPROCESSING 280.38/281.24 c GARBAGE COLLECT 280.38/281.24 c rational objective 3 289.55/290.42 c #Conflicts: 395000 | #Constraints: 13811 289.55/290.42 c #Conflicts: 396000 | #Constraints: 14817 289.55/290.42 c #Conflicts: 397000 | #Constraints: 15821 289.55/290.42 c #Conflicts: 398000 | #Constraints: 16829 289.55/290.42 c #Conflicts: 399000 | #Constraints: 17834 289.55/290.42 c #Conflicts: 400000 | #Constraints: 18841 289.55/290.42 c #Conflicts: 401000 | #Constraints: 19848 289.55/290.42 c #Conflicts: 402000 | #Constraints: 20856 289.55/290.42 c #Conflicts: 403000 | #Constraints: 21862 289.55/290.42 c #Conflicts: 404000 | #Constraints: 22876 289.55/290.42 c #Conflicts: 405000 | #Constraints: 23890 289.55/290.42 c #Conflicts: 406000 | #Constraints: 24901 289.55/290.42 c #Conflicts: 407000 | #Constraints: 25912 289.55/290.42 c INPROCESSING 289.55/290.42 c GARBAGE COLLECT 289.55/290.42 c rational objective 3 301.22/302.11 c #Conflicts: 408000 | #Constraints: 14115 301.22/302.11 c #Conflicts: 409000 | #Constraints: 15120 301.22/302.11 c #Conflicts: 410000 | #Constraints: 16126 301.22/302.11 c #Conflicts: 411000 | #Constraints: 17131 301.22/302.11 c #Conflicts: 412000 | #Constraints: 18138 301.22/302.11 c #Conflicts: 413000 | #Constraints: 19141 301.22/302.11 c #Conflicts: 414000 | #Constraints: 20150 301.22/302.11 c #Conflicts: 415000 | #Constraints: 21160 301.22/302.11 c #Conflicts: 416000 | #Constraints: 22163 301.22/302.11 c #Conflicts: 417000 | #Constraints: 23170 301.22/302.11 c #Conflicts: 418000 | #Constraints: 24178 301.22/302.11 c #Conflicts: 419000 | #Constraints: 25188 301.22/302.11 c #Conflicts: 420000 | #Constraints: 26197 301.22/302.11 c INPROCESSING 301.22/302.11 c GARBAGE COLLECT 301.22/302.11 c rational objective 3 316.27/317.22 c #Conflicts: 421000 | #Constraints: 14261 316.27/317.22 c #Conflicts: 422000 | #Constraints: 15266 316.27/317.22 c #Conflicts: 423000 | #Constraints: 16271 316.27/317.22 c #Conflicts: 424000 | #Constraints: 17273 316.27/317.22 c #Conflicts: 425000 | #Constraints: 18277 316.27/317.22 c #Conflicts: 426000 | #Constraints: 19280 316.27/317.22 c #Conflicts: 427000 | #Constraints: 20284 316.27/317.22 c #Conflicts: 428000 | #Constraints: 21288 316.27/317.22 c #Conflicts: 429000 | #Constraints: 22292 316.27/317.22 c #Conflicts: 430000 | #Constraints: 23300 316.27/317.22 c #Conflicts: 431000 | #Constraints: 24303 316.27/317.22 c #Conflicts: 432000 | #Constraints: 25309 316.27/317.22 c #Conflicts: 433000 | #Constraints: 26311 316.27/317.22 c INPROCESSING 316.27/317.22 c GARBAGE COLLECT 316.27/317.22 c rational objective 3 330.04/331.10 c #Conflicts: 434000 | #Constraints: 14215 330.04/331.10 c #Conflicts: 435000 | #Constraints: 15216 330.04/331.10 c #Conflicts: 436000 | #Constraints: 16216 330.04/331.10 c #Conflicts: 437000 | #Constraints: 17226 330.04/331.10 c #Conflicts: 438000 | #Constraints: 18231 330.04/331.10 c #Conflicts: 439000 | #Constraints: 19236 330.04/331.10 c #Conflicts: 440000 | #Constraints: 20243 330.04/331.10 c #Conflicts: 441000 | #Constraints: 21251 330.04/331.10 c #Conflicts: 442000 | #Constraints: 22258 330.04/331.10 c #Conflicts: 443000 | #Constraints: 23263 330.04/331.10 c #Conflicts: 444000 | #Constraints: 24271 330.04/331.10 c #Conflicts: 445000 | #Constraints: 25276 330.04/331.10 c #Conflicts: 446000 | #Constraints: 26281 330.04/331.10 c INPROCESSING 330.04/331.10 c GARBAGE COLLECT 330.04/331.10 c rational objective 3 338.70/339.77 c #Conflicts: 447000 | #Constraints: 13992 338.70/339.77 c #Conflicts: 448000 | #Constraints: 14999 338.70/339.77 c #Conflicts: 449000 | #Constraints: 16008 338.70/339.77 c #Conflicts: 450000 | #Constraints: 17016 338.70/339.77 c #Conflicts: 451000 | #Constraints: 18025 338.70/339.77 c #Conflicts: 452000 | #Constraints: 19031 338.70/339.77 c #Conflicts: 453000 | #Constraints: 20042 338.70/339.77 c #Conflicts: 454000 | #Constraints: 21046 338.70/339.77 c #Conflicts: 455000 | #Constraints: 22049 338.70/339.77 c #Conflicts: 456000 | #Constraints: 23055 338.70/339.77 c #Conflicts: 457000 | #Constraints: 24061 338.70/339.77 c #Conflicts: 458000 | #Constraints: 25066 338.70/339.77 c #Conflicts: 459000 | #Constraints: 26071 338.70/339.77 c #Conflicts: 460000 | #Constraints: 27077 338.70/339.77 c INPROCESSING 338.70/339.77 c GARBAGE COLLECT 338.70/339.77 c rational objective 3 364.73/365.86 c #Conflicts: 461000 | #Constraints: 14596 364.73/365.86 c #Conflicts: 462000 | #Constraints: 15604 364.73/365.86 c #Conflicts: 463000 | #Constraints: 16609 364.73/365.86 c #Conflicts: 464000 | #Constraints: 17615 364.73/365.86 c #Conflicts: 465000 | #Constraints: 18619 364.73/365.86 c #Conflicts: 466000 | #Constraints: 19622 364.73/365.86 c #Conflicts: 467000 | #Constraints: 20625 364.73/365.86 c #Conflicts: 468000 | #Constraints: 21629 364.73/365.86 c #Conflicts: 469000 | #Constraints: 22633 364.73/365.86 c #Conflicts: 470000 | #Constraints: 23637 364.73/365.86 c #Conflicts: 471000 | #Constraints: 24640 364.73/365.86 c #Conflicts: 472000 | #Constraints: 25644 364.73/365.86 c #Conflicts: 473000 | #Constraints: 26649 364.73/365.86 c #Conflicts: 474000 | #Constraints: 27652 364.73/365.86 c INPROCESSING 364.73/365.86 c GARBAGE COLLECT 364.73/365.86 c rational objective 3 376.59/377.74 c #Conflicts: 475000 | #Constraints: 15004 376.59/377.74 c #Conflicts: 476000 | #Constraints: 16008 376.59/377.74 c #Conflicts: 477000 | #Constraints: 17008 376.59/377.74 c #Conflicts: 478000 | #Constraints: 18008 376.59/377.74 c #Conflicts: 479000 | #Constraints: 19008 376.59/377.74 c #Conflicts: 480000 | #Constraints: 20009 376.59/377.74 c #Conflicts: 481000 | #Constraints: 21009 376.59/377.74 c #Conflicts: 482000 | #Constraints: 22010 376.59/377.74 c #Conflicts: 483000 | #Constraints: 23010 376.59/377.74 c #Conflicts: 484000 | #Constraints: 24010 376.59/377.74 c #Conflicts: 485000 | #Constraints: 25010 376.59/377.74 c #Conflicts: 486000 | #Constraints: 26011 376.59/377.74 c #Conflicts: 487000 | #Constraints: 27013 376.59/377.74 c #Conflicts: 488000 | #Constraints: 28014 376.59/377.74 c INPROCESSING 376.59/377.74 c GARBAGE COLLECT 376.59/377.74 c rational objective 3 387.96/389.17 c #Conflicts: 489000 | #Constraints: 15163 387.96/389.17 c #Conflicts: 490000 | #Constraints: 16164 387.96/389.17 c #Conflicts: 491000 | #Constraints: 17178 387.96/389.17 c #Conflicts: 492000 | #Constraints: 18198 387.96/389.17 c #Conflicts: 493000 | #Constraints: 19202 387.96/389.17 c #Conflicts: 494000 | #Constraints: 20204 387.96/389.17 c #Conflicts: 495000 | #Constraints: 21212 387.96/389.17 c #Conflicts: 496000 | #Constraints: 22215 387.96/389.17 c #Conflicts: 497000 | #Constraints: 23219 387.96/389.17 c #Conflicts: 498000 | #Constraints: 24223 387.96/389.17 c #Conflicts: 499000 | #Constraints: 25224 387.96/389.17 c #Conflicts: 500000 | #Constraints: 26227 387.96/389.17 c #Conflicts: 501000 | #Constraints: 27231 387.96/389.17 c #Conflicts: 502000 | #Constraints: 28234 387.96/389.17 c INPROCESSING 387.96/389.17 c GARBAGE COLLECT 387.96/389.17 c rational objective 3 401.61/402.84 c #Conflicts: 503000 | #Constraints: 15178 401.61/402.84 c #Conflicts: 504000 | #Constraints: 16184 401.61/402.84 c #Conflicts: 505000 | #Constraints: 17188 401.61/402.84 c #Conflicts: 506000 | #Constraints: 18191 401.61/402.84 c #Conflicts: 507000 | #Constraints: 19194 401.61/402.84 c #Conflicts: 508000 | #Constraints: 20199 401.61/402.84 c #Conflicts: 509000 | #Constraints: 21201 401.61/402.84 c #Conflicts: 510000 | #Constraints: 22205 401.61/402.84 c #Conflicts: 511000 | #Constraints: 23208 401.61/402.84 c #Conflicts: 512000 | #Constraints: 24212 401.61/402.84 c #Conflicts: 513000 | #Constraints: 25219 401.61/402.84 c #Conflicts: 514000 | #Constraints: 26222 401.61/402.84 c #Conflicts: 515000 | #Constraints: 27225 401.61/402.84 c #Conflicts: 516000 | #Constraints: 28234 401.61/402.84 c INPROCESSING 401.61/402.84 c GARBAGE COLLECT 401.61/402.84 c rational objective 3 414.98/416.22 c #Conflicts: 517000 | #Constraints: 14971 414.98/416.22 c #Conflicts: 518000 | #Constraints: 15976 414.98/416.22 c #Conflicts: 519000 | #Constraints: 16983 414.98/416.22 c #Conflicts: 520000 | #Constraints: 17989 414.98/416.22 c #Conflicts: 521000 | #Constraints: 18995 414.98/416.22 c #Conflicts: 522000 | #Constraints: 20001 414.98/416.22 c #Conflicts: 523000 | #Constraints: 21005 414.98/416.22 c #Conflicts: 524000 | #Constraints: 22015 414.98/416.22 c #Conflicts: 525000 | #Constraints: 23023 414.98/416.22 c #Conflicts: 526000 | #Constraints: 24027 414.98/416.22 c #Conflicts: 527000 | #Constraints: 25034 414.98/416.22 c #Conflicts: 528000 | #Constraints: 26043 414.98/416.22 c #Conflicts: 529000 | #Constraints: 27048 414.98/416.22 c #Conflicts: 530000 | #Constraints: 28053 414.98/416.22 c #Conflicts: 531000 | #Constraints: 29059 414.98/416.22 c INPROCESSING 414.98/416.22 c GARBAGE COLLECT 414.98/416.22 c rational objective 3 429.53/430.89 c #Conflicts: 532000 | #Constraints: 15601 429.53/430.89 c #Conflicts: 533000 | #Constraints: 16606 429.53/430.89 c #Conflicts: 534000 | #Constraints: 17614 429.53/430.89 c #Conflicts: 535000 | #Constraints: 18618 429.53/430.89 c #Conflicts: 536000 | #Constraints: 19627 429.53/430.89 c #Conflicts: 537000 | #Constraints: 20633 429.53/430.89 c #Conflicts: 538000 | #Constraints: 21638 429.53/430.89 c #Conflicts: 539000 | #Constraints: 22644 429.53/430.89 c #Conflicts: 540000 | #Constraints: 23653 429.53/430.89 c #Conflicts: 541000 | #Constraints: 24660 429.53/430.89 c #Conflicts: 542000 | #Constraints: 25670 429.53/430.89 c #Conflicts: 543000 | #Constraints: 26678 429.53/430.89 c #Conflicts: 544000 | #Constraints: 27682 429.53/430.89 c #Conflicts: 545000 | #Constraints: 28687 429.53/430.89 c #Conflicts: 546000 | #Constraints: 29694 429.53/430.89 c INPROCESSING 429.53/430.89 c GARBAGE COLLECT 429.53/430.89 c rational objective 3 442.99/444.32 c #Conflicts: 547000 | #Constraints: 16017 442.99/444.32 c #Conflicts: 548000 | #Constraints: 17022 442.99/444.32 c #Conflicts: 549000 | #Constraints: 18030 442.99/444.32 c #Conflicts: 550000 | #Constraints: 19035 442.99/444.32 c #Conflicts: 551000 | #Constraints: 20041 442.99/444.32 c #Conflicts: 552000 | #Constraints: 21045 442.99/444.32 c #Conflicts: 553000 | #Constraints: 22052 442.99/444.32 c #Conflicts: 554000 | #Constraints: 23059 442.99/444.32 c #Conflicts: 555000 | #Constraints: 24065 442.99/444.32 c #Conflicts: 556000 | #Constraints: 25072 442.99/444.32 c #Conflicts: 557000 | #Constraints: 26076 442.99/444.32 c #Conflicts: 558000 | #Constraints: 27080 442.99/444.32 c #Conflicts: 559000 | #Constraints: 28087 442.99/444.32 c #Conflicts: 560000 | #Constraints: 29091 442.99/444.32 c #Conflicts: 561000 | #Constraints: 30099 442.99/444.32 c INPROCESSING 442.99/444.32 c GARBAGE COLLECT 442.99/444.32 c rational objective 3 461.53/462.91 c #Conflicts: 562000 | #Constraints: 16211 461.53/462.91 c #Conflicts: 563000 | #Constraints: 17219 461.53/462.91 c #Conflicts: 564000 | #Constraints: 18228 461.53/462.91 c #Conflicts: 565000 | #Constraints: 19233 461.53/462.91 c #Conflicts: 566000 | #Constraints: 20238 461.53/462.91 c #Conflicts: 567000 | #Constraints: 21244 461.53/462.91 c #Conflicts: 568000 | #Constraints: 22248 461.53/462.91 c #Conflicts: 569000 | #Constraints: 23251 461.53/462.91 c #Conflicts: 570000 | #Constraints: 24254 461.53/462.91 c #Conflicts: 571000 | #Constraints: 25285 461.53/462.91 c #Conflicts: 572000 | #Constraints: 26337 461.53/462.91 c #Conflicts: 573000 | #Constraints: 27368 461.53/462.91 c #Conflicts: 574000 | #Constraints: 28574 461.53/462.91 c #Conflicts: 575000 | #Constraints: 30130 461.53/462.91 c #Conflicts: 576000 | #Constraints: 31835 461.53/462.91 c INPROCESSING 461.53/462.91 c GARBAGE COLLECT 461.53/462.91 c rational objective 3 478.69/480.19 c #Conflicts: 577000 | #Constraints: 17114 478.69/480.19 c #Conflicts: 578000 | #Constraints: 18117 478.69/480.19 c #Conflicts: 579000 | #Constraints: 19123 478.69/480.19 c #Conflicts: 580000 | #Constraints: 20167 478.69/480.19 c #Conflicts: 581000 | #Constraints: 21169 478.69/480.19 c #Conflicts: 582000 | #Constraints: 22176 478.69/480.19 c #Conflicts: 583000 | #Constraints: 23177 478.69/480.19 c #Conflicts: 584000 | #Constraints: 24375 478.69/480.19 c #Conflicts: 585000 | #Constraints: 25494 478.69/480.19 c #Conflicts: 586000 | #Constraints: 26506 478.69/480.19 c #Conflicts: 587000 | #Constraints: 27613 478.69/480.19 c #Conflicts: 588000 | #Constraints: 28623 478.69/480.19 c #Conflicts: 589000 | #Constraints: 29630 478.69/480.19 c #Conflicts: 590000 | #Constraints: 30636 478.69/480.19 c #Conflicts: 591000 | #Constraints: 31653 478.69/480.19 c INPROCESSING 478.69/480.19 c GARBAGE COLLECT 478.69/480.19 c rational objective 3 497.43/498.99 c #Conflicts: 592000 | #Constraints: 16685 497.43/498.99 c #Conflicts: 593000 | #Constraints: 17688 497.43/498.99 c #Conflicts: 594000 | #Constraints: 18695 497.43/498.99 c #Conflicts: 595000 | #Constraints: 19700 497.43/498.99 c #Conflicts: 596000 | #Constraints: 20705 497.43/498.99 c #Conflicts: 597000 | #Constraints: 21710 497.43/498.99 c #Conflicts: 598000 | #Constraints: 22717 497.43/498.99 c #Conflicts: 599000 | #Constraints: 23722 497.43/498.99 c #Conflicts: 600000 | #Constraints: 24727 497.43/498.99 c #Conflicts: 601000 | #Constraints: 25734 497.43/498.99 c #Conflicts: 602000 | #Constraints: 26741 497.43/498.99 c #Conflicts: 603000 | #Constraints: 27747 497.43/498.99 c #Conflicts: 604000 | #Constraints: 28753 497.43/498.99 c #Conflicts: 605000 | #Constraints: 29759 497.43/498.99 c #Conflicts: 606000 | #Constraints: 30769 497.43/498.99 c #Conflicts: 607000 | #Constraints: 31778 497.43/498.99 c INPROCESSING 497.43/498.99 c GARBAGE COLLECT 497.43/498.99 c rational objective 3 510.79/512.31 c #Conflicts: 608000 | #Constraints: 16952 510.79/512.31 c #Conflicts: 609000 | #Constraints: 17953 510.79/512.31 c #Conflicts: 610000 | #Constraints: 18955 510.79/512.31 c #Conflicts: 611000 | #Constraints: 19960 510.79/512.31 c #Conflicts: 612000 | #Constraints: 20964 510.79/512.31 c #Conflicts: 613000 | #Constraints: 21971 510.79/512.31 c #Conflicts: 614000 | #Constraints: 22976 510.79/512.31 c #Conflicts: 615000 | #Constraints: 23981 510.79/512.31 c #Conflicts: 616000 | #Constraints: 24990 510.79/512.31 c #Conflicts: 617000 | #Constraints: 25996 510.79/512.31 c #Conflicts: 618000 | #Constraints: 27007 510.79/512.31 c #Conflicts: 619000 | #Constraints: 28014 510.79/512.31 c #Conflicts: 620000 | #Constraints: 29019 510.79/512.31 c #Conflicts: 621000 | #Constraints: 30028 510.79/512.31 c #Conflicts: 622000 | #Constraints: 31033 510.79/512.31 c #Conflicts: 623000 | #Constraints: 32038 510.79/512.31 c INPROCESSING 510.79/512.31 c GARBAGE COLLECT 510.79/512.31 c rational objective 3 525.24/526.88 c #Conflicts: 624000 | #Constraints: 17173 525.24/526.88 c #Conflicts: 625000 | #Constraints: 18181 525.24/526.88 c #Conflicts: 626000 | #Constraints: 19185 525.24/526.88 c #Conflicts: 627000 | #Constraints: 20190 525.24/526.88 c #Conflicts: 628000 | #Constraints: 21200 525.24/526.88 c #Conflicts: 629000 | #Constraints: 22208 525.24/526.88 c #Conflicts: 630000 | #Constraints: 23212 525.24/526.88 c #Conflicts: 631000 | #Constraints: 24219 525.24/526.88 c #Conflicts: 632000 | #Constraints: 25226 525.24/526.88 c #Conflicts: 633000 | #Constraints: 26234 525.24/526.88 c #Conflicts: 634000 | #Constraints: 27240 525.24/526.88 c #Conflicts: 635000 | #Constraints: 28244 525.24/526.88 c #Conflicts: 636000 | #Constraints: 29248 525.24/526.88 c #Conflicts: 637000 | #Constraints: 30254 525.24/526.88 c #Conflicts: 638000 | #Constraints: 31258 525.24/526.88 c #Conflicts: 639000 | #Constraints: 32269 525.24/526.88 c INPROCESSING 525.24/526.88 c GARBAGE COLLECT 525.24/526.88 c rational objective 3 545.49/547.19 c #Conflicts: 640000 | #Constraints: 17302 545.49/547.19 c #Conflicts: 641000 | #Constraints: 18307 545.49/547.19 c #Conflicts: 642000 | #Constraints: 19314 545.49/547.19 c #Conflicts: 643000 | #Constraints: 20319 545.49/547.19 c #Conflicts: 644000 | #Constraints: 21324 545.49/547.19 c #Conflicts: 645000 | #Constraints: 22331 545.49/547.19 c #Conflicts: 646000 | #Constraints: 23337 545.49/547.19 c #Conflicts: 647000 | #Constraints: 24342 545.49/547.19 c #Conflicts: 648000 | #Constraints: 25347 545.49/547.19 c #Conflicts: 649000 | #Constraints: 26355 545.49/547.19 c #Conflicts: 650000 | #Constraints: 27362 545.49/547.19 c #Conflicts: 651000 | #Constraints: 28368 545.49/547.19 c #Conflicts: 652000 | #Constraints: 29374 545.49/547.19 c #Conflicts: 653000 | #Constraints: 30374 545.49/547.19 c #Conflicts: 654000 | #Constraints: 31382 545.49/547.19 c #Conflicts: 655000 | #Constraints: 32389 545.49/547.19 c INPROCESSING 545.49/547.19 c GARBAGE COLLECT 545.49/547.19 c rational objective 3 564.72/566.47 c #Conflicts: 656000 | #Constraints: 17260 564.72/566.47 c #Conflicts: 657000 | #Constraints: 18268 564.72/566.47 c #Conflicts: 658000 | #Constraints: 19274 564.72/566.47 c #Conflicts: 659000 | #Constraints: 20279 564.72/566.47 c #Conflicts: 660000 | #Constraints: 21285 564.72/566.47 c #Conflicts: 661000 | #Constraints: 22293 564.72/566.47 c #Conflicts: 662000 | #Constraints: 23300 564.72/566.47 c #Conflicts: 663000 | #Constraints: 24305 564.72/566.47 c #Conflicts: 664000 | #Constraints: 25313 564.72/566.47 c #Conflicts: 665000 | #Constraints: 26320 564.72/566.47 c #Conflicts: 666000 | #Constraints: 27326 564.72/566.47 c #Conflicts: 667000 | #Constraints: 28329 564.72/566.47 c #Conflicts: 668000 | #Constraints: 29336 564.72/566.47 c #Conflicts: 669000 | #Constraints: 30342 564.72/566.47 c #Conflicts: 670000 | #Constraints: 31348 564.72/566.47 c #Conflicts: 671000 | #Constraints: 32356 564.72/566.47 c INPROCESSING 564.72/566.47 c GARBAGE COLLECT 564.72/566.47 c rational objective 3 586.05/587.81 c #Conflicts: 672000 | #Constraints: 17036 586.05/587.81 c #Conflicts: 673000 | #Constraints: 18043 586.05/587.81 c #Conflicts: 674000 | #Constraints: 19062 586.05/587.81 c #Conflicts: 675000 | #Constraints: 20078 586.05/587.81 c #Conflicts: 676000 | #Constraints: 21084 586.05/587.81 c #Conflicts: 677000 | #Constraints: 22094 586.05/587.81 c #Conflicts: 678000 | #Constraints: 23099 586.05/587.81 c #Conflicts: 679000 | #Constraints: 24103 586.05/587.81 c #Conflicts: 680000 | #Constraints: 25108 586.05/587.81 c #Conflicts: 681000 | #Constraints: 26115 586.05/587.81 c #Conflicts: 682000 | #Constraints: 27120 586.05/587.81 c #Conflicts: 683000 | #Constraints: 28124 586.05/587.81 c #Conflicts: 684000 | #Constraints: 29126 586.05/587.81 c #Conflicts: 685000 | #Constraints: 30131 586.05/587.81 c #Conflicts: 686000 | #Constraints: 31136 586.05/587.81 c #Conflicts: 687000 | #Constraints: 32142 586.05/587.81 c #Conflicts: 688000 | #Constraints: 33148 586.05/587.81 c INPROCESSING 586.05/587.81 c GARBAGE COLLECT 586.05/587.81 c rational objective 3 604.00/605.87 c #Conflicts: 689000 | #Constraints: 17638 604.00/605.87 c #Conflicts: 690000 | #Constraints: 18645 604.00/605.87 c #Conflicts: 691000 | #Constraints: 19656 604.00/605.87 c #Conflicts: 692000 | #Constraints: 20663 604.00/605.87 c #Conflicts: 693000 | #Constraints: 21671 604.00/605.87 c #Conflicts: 694000 | #Constraints: 22678 604.00/605.87 c #Conflicts: 695000 | #Constraints: 23681 604.00/605.87 c #Conflicts: 696000 | #Constraints: 24684 604.00/605.87 c #Conflicts: 697000 | #Constraints: 25690 604.00/605.87 c #Conflicts: 698000 | #Constraints: 26697 604.00/605.87 c #Conflicts: 699000 | #Constraints: 27701 604.00/605.87 c #Conflicts: 700000 | #Constraints: 28704 604.00/605.87 c #Conflicts: 701000 | #Constraints: 29707 604.00/605.87 c #Conflicts: 702000 | #Constraints: 30712 604.00/605.87 c #Conflicts: 703000 | #Constraints: 31716 604.00/605.87 c #Conflicts: 704000 | #Constraints: 32721 604.00/605.87 c #Conflicts: 705000 | #Constraints: 33725 604.00/605.87 c INPROCESSING 604.00/605.87 c GARBAGE COLLECT 604.00/605.87 c rational objective 3 638.72/640.69 c #Conflicts: 706000 | #Constraints: 18022 638.72/640.69 c #Conflicts: 707000 | #Constraints: 19029 638.72/640.69 c #Conflicts: 708000 | #Constraints: 20036 638.72/640.69 c #Conflicts: 709000 | #Constraints: 21043 638.72/640.69 c #Conflicts: 710000 | #Constraints: 22050 638.72/640.69 c #Conflicts: 711000 | #Constraints: 23057 638.72/640.69 c #Conflicts: 712000 | #Constraints: 24061 638.72/640.69 c #Conflicts: 713000 | #Constraints: 25067 638.72/640.69 c #Conflicts: 714000 | #Constraints: 26077 638.72/640.69 c #Conflicts: 715000 | #Constraints: 27082 638.72/640.69 c #Conflicts: 716000 | #Constraints: 28085 638.72/640.69 c #Conflicts: 717000 | #Constraints: 29092 638.72/640.69 c #Conflicts: 718000 | #Constraints: 30098 638.72/640.69 c #Conflicts: 719000 | #Constraints: 31105 638.72/640.69 c #Conflicts: 720000 | #Constraints: 32106 638.72/640.69 c #Conflicts: 721000 | #Constraints: 33211 638.72/640.69 c #Conflicts: 722000 | #Constraints: 34278 638.72/640.69 c INPROCESSING 638.72/640.69 c GARBAGE COLLECT 638.72/640.69 c rational objective 3 662.17/664.14 c #Conflicts: 723000 | #Constraints: 18293 662.17/664.14 c #Conflicts: 724000 | #Constraints: 19298 662.17/664.14 c #Conflicts: 725000 | #Constraints: 20301 662.17/664.14 c #Conflicts: 726000 | #Constraints: 21309 662.17/664.14 c #Conflicts: 727000 | #Constraints: 22333 662.17/664.14 c #Conflicts: 728000 | #Constraints: 23335 662.17/664.14 c #Conflicts: 729000 | #Constraints: 24339 662.17/664.14 c #Conflicts: 730000 | #Constraints: 25354 662.17/664.14 c #Conflicts: 731000 | #Constraints: 26384 662.17/664.14 c #Conflicts: 732000 | #Constraints: 27399 662.17/664.14 c #Conflicts: 733000 | #Constraints: 28413 662.17/664.14 c #Conflicts: 734000 | #Constraints: 29416 662.17/664.14 c #Conflicts: 735000 | #Constraints: 30427 662.17/664.14 c #Conflicts: 736000 | #Constraints: 31447 662.17/664.14 c #Conflicts: 737000 | #Constraints: 32450 662.17/664.14 c #Conflicts: 738000 | #Constraints: 33453 662.17/664.14 c #Conflicts: 739000 | #Constraints: 34467 662.17/664.14 c INPROCESSING 662.17/664.14 c GARBAGE COLLECT 662.17/664.14 c rational objective 3 679.23/681.22 c #Conflicts: 740000 | #Constraints: 18282 679.23/681.22 c #Conflicts: 741000 | #Constraints: 19285 679.23/681.22 c #Conflicts: 742000 | #Constraints: 20287 679.23/681.22 c #Conflicts: 743000 | #Constraints: 21288 679.23/681.22 c #Conflicts: 744000 | #Constraints: 22289 679.23/681.22 c #Conflicts: 745000 | #Constraints: 23293 679.23/681.22 c #Conflicts: 746000 | #Constraints: 24297 679.23/681.22 c #Conflicts: 747000 | #Constraints: 25300 679.23/681.22 c #Conflicts: 748000 | #Constraints: 26305 679.23/681.22 c #Conflicts: 749000 | #Constraints: 27309 679.23/681.22 c #Conflicts: 750000 | #Constraints: 28309 679.23/681.22 c #Conflicts: 751000 | #Constraints: 29313 679.23/681.22 c #Conflicts: 752000 | #Constraints: 30316 679.23/681.22 c #Conflicts: 753000 | #Constraints: 31321 679.23/681.22 c #Conflicts: 754000 | #Constraints: 32324 679.23/681.22 c #Conflicts: 755000 | #Constraints: 33325 679.23/681.22 c #Conflicts: 756000 | #Constraints: 34329 679.23/681.22 c INPROCESSING 679.23/681.22 c GARBAGE COLLECT 679.23/681.22 c rational objective 3 697.00/699.08 c #Conflicts: 757000 | #Constraints: 18024 697.00/699.08 c #Conflicts: 758000 | #Constraints: 19029 697.00/699.08 c #Conflicts: 759000 | #Constraints: 20031 697.00/699.08 c #Conflicts: 760000 | #Constraints: 21036 697.00/699.08 c #Conflicts: 761000 | #Constraints: 22039 697.00/699.08 c #Conflicts: 762000 | #Constraints: 23045 697.00/699.08 c #Conflicts: 763000 | #Constraints: 24052 697.00/699.08 c #Conflicts: 764000 | #Constraints: 25057 697.00/699.08 c #Conflicts: 765000 | #Constraints: 26064 697.00/699.08 c #Conflicts: 766000 | #Constraints: 27067 697.00/699.08 c #Conflicts: 767000 | #Constraints: 28074 697.00/699.08 c #Conflicts: 768000 | #Constraints: 29081 697.00/699.08 c #Conflicts: 769000 | #Constraints: 30087 697.00/699.08 c #Conflicts: 770000 | #Constraints: 31098 697.00/699.08 c #Conflicts: 771000 | #Constraints: 32102 697.00/699.08 c #Conflicts: 772000 | #Constraints: 33106 697.00/699.08 c #Conflicts: 773000 | #Constraints: 34111 697.00/699.08 c #Conflicts: 774000 | #Constraints: 35122 697.00/699.08 c INPROCESSING 697.00/699.08 c GARBAGE COLLECT 697.00/699.08 c rational objective 3 711.76/713.80 c #Conflicts: 775000 | #Constraints: 18612 711.76/713.80 c #Conflicts: 776000 | #Constraints: 19615 711.76/713.80 c #Conflicts: 777000 | #Constraints: 20619 711.76/713.80 c #Conflicts: 778000 | #Constraints: 21625 711.76/713.80 c #Conflicts: 779000 | #Constraints: 22628 711.76/713.80 c #Conflicts: 780000 | #Constraints: 23634 711.76/713.80 c #Conflicts: 781000 | #Constraints: 24638 711.76/713.80 c #Conflicts: 782000 | #Constraints: 25643 711.76/713.80 c #Conflicts: 783000 | #Constraints: 26645 711.76/713.80 c #Conflicts: 784000 | #Constraints: 27651 711.76/713.80 c #Conflicts: 785000 | #Constraints: 28653 711.76/713.80 c #Conflicts: 786000 | #Constraints: 29655 711.76/713.80 c #Conflicts: 787000 | #Constraints: 30658 711.76/713.80 c #Conflicts: 788000 | #Constraints: 31662 711.76/713.80 c #Conflicts: 789000 | #Constraints: 32666 711.76/713.80 c #Conflicts: 790000 | #Constraints: 33672 711.76/713.80 c #Conflicts: 791000 | #Constraints: 34681 711.76/713.80 c #Conflicts: 792000 | #Constraints: 35686 711.76/713.80 c INPROCESSING 711.76/713.80 c GARBAGE COLLECT 711.76/713.80 c rational objective 3 734.70/736.87 c #Conflicts: 793000 | #Constraints: 19006 734.70/736.87 c #Conflicts: 794000 | #Constraints: 20015 734.70/736.87 c #Conflicts: 795000 | #Constraints: 21022 734.70/736.87 c #Conflicts: 796000 | #Constraints: 22027 734.70/736.87 c #Conflicts: 797000 | #Constraints: 23030 734.70/736.87 c #Conflicts: 798000 | #Constraints: 24034 734.70/736.87 c #Conflicts: 799000 | #Constraints: 25040 734.70/736.87 c #Conflicts: 800000 | #Constraints: 26046 734.70/736.87 c #Conflicts: 801000 | #Constraints: 27054 734.70/736.87 c #Conflicts: 802000 | #Constraints: 28063 734.70/736.87 c #Conflicts: 803000 | #Constraints: 29068 734.70/736.87 c #Conflicts: 804000 | #Constraints: 30073 734.70/736.87 c #Conflicts: 805000 | #Constraints: 31083 734.70/736.87 c #Conflicts: 806000 | #Constraints: 32089 734.70/736.87 c #Conflicts: 807000 | #Constraints: 33096 734.70/736.87 c #Conflicts: 808000 | #Constraints: 34100 734.70/736.87 c #Conflicts: 809000 | #Constraints: 35103 734.70/736.87 c #Conflicts: 810000 | #Constraints: 36108 734.70/736.87 c INPROCESSING 734.70/736.87 c GARBAGE COLLECT 734.70/736.87 c rational objective 3 759.35/761.52 c #Conflicts: 811000 | #Constraints: 19215 759.35/761.52 c #Conflicts: 812000 | #Constraints: 20220 759.35/761.52 c #Conflicts: 813000 | #Constraints: 21224 759.35/761.52 c #Conflicts: 814000 | #Constraints: 22228 759.35/761.52 c #Conflicts: 815000 | #Constraints: 23234 759.35/761.52 c #Conflicts: 816000 | #Constraints: 24240 759.35/761.52 c #Conflicts: 817000 | #Constraints: 25246 759.35/761.52 c #Conflicts: 818000 | #Constraints: 26252 759.35/761.52 c #Conflicts: 819000 | #Constraints: 27258 759.35/761.52 c #Conflicts: 820000 | #Constraints: 28271 759.35/761.52 c #Conflicts: 821000 | #Constraints: 29276 759.35/761.52 c #Conflicts: 822000 | #Constraints: 30280 759.35/761.52 c #Conflicts: 823000 | #Constraints: 31286 759.35/761.52 c #Conflicts: 824000 | #Constraints: 32292 759.35/761.52 c #Conflicts: 825000 | #Constraints: 33294 759.35/761.52 c #Conflicts: 826000 | #Constraints: 34297 759.35/761.52 c #Conflicts: 827000 | #Constraints: 35307 759.35/761.52 c #Conflicts: 828000 | #Constraints: 36316 759.35/761.52 c INPROCESSING 759.35/761.52 c GARBAGE COLLECT 759.35/761.52 c rational objective 3 788.19/790.45 c #Conflicts: 829000 | #Constraints: 19229 788.19/790.45 c #Conflicts: 830000 | #Constraints: 20234 788.19/790.45 c #Conflicts: 831000 | #Constraints: 21241 788.19/790.45 c #Conflicts: 832000 | #Constraints: 22247 788.19/790.45 c #Conflicts: 833000 | #Constraints: 23251 788.19/790.45 c #Conflicts: 834000 | #Constraints: 24259 788.19/790.45 c #Conflicts: 835000 | #Constraints: 25262 788.19/790.45 c #Conflicts: 836000 | #Constraints: 26266 788.19/790.45 c #Conflicts: 837000 | #Constraints: 27268 788.19/790.45 c #Conflicts: 838000 | #Constraints: 28272 788.19/790.45 c #Conflicts: 839000 | #Constraints: 29276 788.19/790.45 c #Conflicts: 840000 | #Constraints: 30277 788.19/790.45 c #Conflicts: 841000 | #Constraints: 31279 788.19/790.45 c #Conflicts: 842000 | #Constraints: 32281 788.19/790.45 c #Conflicts: 843000 | #Constraints: 33283 788.19/790.45 c #Conflicts: 844000 | #Constraints: 34286 788.19/790.45 c #Conflicts: 845000 | #Constraints: 35289 788.19/790.45 c #Conflicts: 846000 | #Constraints: 36296 788.19/790.45 c INPROCESSING 788.19/790.45 c GARBAGE COLLECT 788.19/790.45 c rational objective 3 806.44/808.76 c #Conflicts: 847000 | #Constraints: 19007 806.44/808.76 c #Conflicts: 848000 | #Constraints: 20012 806.44/808.76 c #Conflicts: 849000 | #Constraints: 21021 806.44/808.76 c #Conflicts: 850000 | #Constraints: 22026 806.44/808.76 c #Conflicts: 851000 | #Constraints: 23030 806.44/808.76 c #Conflicts: 852000 | #Constraints: 24035 806.44/808.76 c #Conflicts: 853000 | #Constraints: 25035 806.44/808.76 c #Conflicts: 854000 | #Constraints: 26040 806.44/808.76 c #Conflicts: 855000 | #Constraints: 27048 806.44/808.76 c #Conflicts: 856000 | #Constraints: 28056 806.44/808.76 c #Conflicts: 857000 | #Constraints: 29061 806.44/808.76 c #Conflicts: 858000 | #Constraints: 30066 806.44/808.76 c #Conflicts: 859000 | #Constraints: 31071 806.44/808.76 c #Conflicts: 860000 | #Constraints: 32074 806.44/808.76 c #Conflicts: 861000 | #Constraints: 33079 806.44/808.76 c #Conflicts: 862000 | #Constraints: 34089 806.44/808.76 c #Conflicts: 863000 | #Constraints: 35099 806.44/808.76 c #Conflicts: 864000 | #Constraints: 36108 806.44/808.76 c #Conflicts: 865000 | #Constraints: 37115 806.44/808.76 c INPROCESSING 806.44/808.76 c GARBAGE COLLECT 806.44/808.76 c rational objective 3 825.20/827.58 c #Conflicts: 866000 | #Constraints: 19619 825.20/827.58 c #Conflicts: 867000 | #Constraints: 20627 825.20/827.58 c #Conflicts: 868000 | #Constraints: 21632 825.20/827.58 c #Conflicts: 869000 | #Constraints: 22636 825.20/827.58 c #Conflicts: 870000 | #Constraints: 23642 825.20/827.58 c #Conflicts: 871000 | #Constraints: 24650 825.20/827.58 c #Conflicts: 872000 | #Constraints: 25653 825.20/827.58 c #Conflicts: 873000 | #Constraints: 26658 825.20/827.58 c #Conflicts: 874000 | #Constraints: 27665 825.20/827.58 c #Conflicts: 875000 | #Constraints: 28671 825.20/827.58 c #Conflicts: 876000 | #Constraints: 29677 825.20/827.58 c #Conflicts: 877000 | #Constraints: 30686 825.20/827.58 c #Conflicts: 878000 | #Constraints: 31691 825.20/827.58 c #Conflicts: 879000 | #Constraints: 32696 825.20/827.58 c #Conflicts: 880000 | #Constraints: 33702 825.20/827.58 c #Conflicts: 881000 | #Constraints: 34710 825.20/827.58 c #Conflicts: 882000 | #Constraints: 35727 825.20/827.58 c #Conflicts: 883000 | #Constraints: 36733 825.20/827.58 c #Conflicts: 884000 | #Constraints: 37744 825.20/827.58 c INPROCESSING 825.20/827.58 c GARBAGE COLLECT 825.20/827.58 c rational objective 3 849.24/851.68 c #Conflicts: 885000 | #Constraints: 20033 849.24/851.68 c #Conflicts: 886000 | #Constraints: 21037 849.24/851.68 c #Conflicts: 887000 | #Constraints: 22042 849.24/851.68 c #Conflicts: 888000 | #Constraints: 23049 849.24/851.68 c #Conflicts: 889000 | #Constraints: 24056 849.24/851.68 c #Conflicts: 890000 | #Constraints: 25065 849.24/851.68 c #Conflicts: 891000 | #Constraints: 26071 849.24/851.68 c #Conflicts: 892000 | #Constraints: 27075 849.24/851.68 c #Conflicts: 893000 | #Constraints: 28085 849.24/851.68 c #Conflicts: 894000 | #Constraints: 29089 849.24/851.68 c #Conflicts: 895000 | #Constraints: 30095 849.24/851.68 c #Conflicts: 896000 | #Constraints: 31101 849.24/851.68 c #Conflicts: 897000 | #Constraints: 32106 849.24/851.68 c #Conflicts: 898000 | #Constraints: 33110 849.24/851.68 c #Conflicts: 899000 | #Constraints: 34116 849.24/851.68 c #Conflicts: 900000 | #Constraints: 35124 849.24/851.68 c #Conflicts: 901000 | #Constraints: 36134 849.24/851.68 c #Conflicts: 902000 | #Constraints: 37138 849.24/851.68 c #Conflicts: 903000 | #Constraints: 38143 849.24/851.68 c INPROCESSING 849.24/851.68 c GARBAGE COLLECT 849.24/851.68 c rational objective 3 870.10/872.54 c #Conflicts: 904000 | #Constraints: 20231 870.10/872.54 c #Conflicts: 905000 | #Constraints: 21238 870.10/872.54 c #Conflicts: 906000 | #Constraints: 22245 870.10/872.54 c #Conflicts: 907000 | #Constraints: 23251 870.10/872.54 c #Conflicts: 908000 | #Constraints: 24255 870.10/872.54 c #Conflicts: 909000 | #Constraints: 25259 870.10/872.54 c #Conflicts: 910000 | #Constraints: 26263 870.10/872.54 c #Conflicts: 911000 | #Constraints: 27268 870.10/872.54 c #Conflicts: 912000 | #Constraints: 28271 870.10/872.54 c #Conflicts: 913000 | #Constraints: 29275 870.10/872.54 c #Conflicts: 914000 | #Constraints: 30282 870.10/872.54 c #Conflicts: 915000 | #Constraints: 31292 870.10/872.54 c #Conflicts: 916000 | #Constraints: 32296 870.10/872.54 c #Conflicts: 917000 | #Constraints: 33301 870.10/872.54 c #Conflicts: 918000 | #Constraints: 34305 870.10/872.54 c #Conflicts: 919000 | #Constraints: 35311 870.10/872.54 c #Conflicts: 920000 | #Constraints: 36315 870.10/872.54 c #Conflicts: 921000 | #Constraints: 37320 870.10/872.54 c #Conflicts: 922000 | #Constraints: 38324 870.10/872.54 c INPROCESSING 870.10/872.54 c GARBAGE COLLECT 870.10/872.54 c rational objective 3 894.94/897.47 c #Conflicts: 923000 | #Constraints: 20220 894.94/897.47 c #Conflicts: 924000 | #Constraints: 21239 894.94/897.47 c #Conflicts: 925000 | #Constraints: 22243 894.94/897.47 c #Conflicts: 926000 | #Constraints: 23245 894.94/897.47 c #Conflicts: 927000 | #Constraints: 24246 894.94/897.47 c #Conflicts: 928000 | #Constraints: 25247 894.94/897.47 c #Conflicts: 929000 | #Constraints: 26251 894.94/897.47 c #Conflicts: 930000 | #Constraints: 27253 894.94/897.47 c #Conflicts: 931000 | #Constraints: 28258 894.94/897.47 c #Conflicts: 932000 | #Constraints: 29263 894.94/897.47 c #Conflicts: 933000 | #Constraints: 30266 894.94/897.47 c #Conflicts: 934000 | #Constraints: 31270 894.94/897.47 c #Conflicts: 935000 | #Constraints: 32272 894.94/897.47 c #Conflicts: 936000 | #Constraints: 33277 894.94/897.47 c #Conflicts: 937000 | #Constraints: 34282 894.94/897.47 c #Conflicts: 938000 | #Constraints: 35285 894.94/897.47 c #Conflicts: 939000 | #Constraints: 36292 894.94/897.47 c #Conflicts: 940000 | #Constraints: 37293 894.94/897.47 c #Conflicts: 941000 | #Constraints: 38295 894.94/897.47 c INPROCESSING 894.94/897.47 c GARBAGE COLLECT 894.94/897.47 c rational objective 3 917.69/920.24 c #Conflicts: 942000 | #Constraints: 20019 917.69/920.24 c #Conflicts: 943000 | #Constraints: 21022 917.69/920.24 c #Conflicts: 944000 | #Constraints: 22025 917.69/920.24 c #Conflicts: 945000 | #Constraints: 23028 917.69/920.24 c #Conflicts: 946000 | #Constraints: 24034 917.69/920.24 c #Conflicts: 947000 | #Constraints: 25035 917.69/920.24 c #Conflicts: 948000 | #Constraints: 26036 917.69/920.24 c #Conflicts: 949000 | #Constraints: 27039 917.69/920.24 c #Conflicts: 950000 | #Constraints: 28043 917.69/920.24 c #Conflicts: 951000 | #Constraints: 29049 917.69/920.24 c #Conflicts: 952000 | #Constraints: 30056 917.69/920.24 c #Conflicts: 953000 | #Constraints: 31063 917.69/920.24 c #Conflicts: 954000 | #Constraints: 32069 917.69/920.24 c #Conflicts: 955000 | #Constraints: 33078 917.69/920.24 c #Conflicts: 956000 | #Constraints: 34081 917.69/920.24 c #Conflicts: 957000 | #Constraints: 35084 917.69/920.24 c #Conflicts: 958000 | #Constraints: 36085 917.69/920.24 c #Conflicts: 959000 | #Constraints: 37090 917.69/920.24 c #Conflicts: 960000 | #Constraints: 38096 917.69/920.24 c #Conflicts: 961000 | #Constraints: 39098 917.69/920.24 c INPROCESSING 917.69/920.24 c GARBAGE COLLECT 917.69/920.24 c rational objective 3 936.04/938.62 c #Conflicts: 962000 | #Constraints: 20614 936.04/938.62 c #Conflicts: 963000 | #Constraints: 21623 936.04/938.62 c #Conflicts: 964000 | #Constraints: 22630 936.04/938.62 c #Conflicts: 965000 | #Constraints: 23637 936.04/938.62 c #Conflicts: 966000 | #Constraints: 24642 936.04/938.62 c #Conflicts: 967000 | #Constraints: 25648 936.04/938.62 c #Conflicts: 968000 | #Constraints: 26655 936.04/938.62 c #Conflicts: 969000 | #Constraints: 27661 936.04/938.62 c #Conflicts: 970000 | #Constraints: 28665 936.04/938.62 c #Conflicts: 971000 | #Constraints: 29669 936.04/938.62 c #Conflicts: 972000 | #Constraints: 30670 936.04/938.62 c #Conflicts: 973000 | #Constraints: 31673 936.04/938.62 c #Conflicts: 974000 | #Constraints: 32682 936.04/938.62 c #Conflicts: 975000 | #Constraints: 33687 936.04/938.62 c #Conflicts: 976000 | #Constraints: 34692 936.04/938.62 c #Conflicts: 977000 | #Constraints: 35700 936.04/938.62 c #Conflicts: 978000 | #Constraints: 36702 936.04/938.62 c #Conflicts: 979000 | #Constraints: 37705 936.04/938.62 c #Conflicts: 980000 | #Constraints: 38710 936.04/938.62 c #Conflicts: 981000 | #Constraints: 39715 936.04/938.62 c INPROCESSING 936.04/938.62 c GARBAGE COLLECT 936.04/938.62 c rational objective 3 958.89/961.56 c #Conflicts: 982000 | #Constraints: 21021 958.89/961.56 c #Conflicts: 983000 | #Constraints: 22027 958.89/961.56 c #Conflicts: 984000 | #Constraints: 23032 958.89/961.56 c #Conflicts: 985000 | #Constraints: 24035 958.89/961.56 c #Conflicts: 986000 | #Constraints: 25038 958.89/961.56 c #Conflicts: 987000 | #Constraints: 26042 958.89/961.56 c #Conflicts: 988000 | #Constraints: 27045 958.89/961.56 c #Conflicts: 989000 | #Constraints: 28046 958.89/961.56 c #Conflicts: 990000 | #Constraints: 29049 958.89/961.56 c #Conflicts: 991000 | #Constraints: 30051 958.89/961.56 c #Conflicts: 992000 | #Constraints: 31051 958.89/961.56 c #Conflicts: 993000 | #Constraints: 32055 958.89/961.56 c #Conflicts: 994000 | #Constraints: 33057 958.89/961.56 c #Conflicts: 995000 | #Constraints: 34059 958.89/961.56 c #Conflicts: 996000 | #Constraints: 35061 958.89/961.56 c #Conflicts: 997000 | #Constraints: 36065 958.89/961.56 c #Conflicts: 998000 | #Constraints: 37067 958.89/961.56 c #Conflicts: 999000 | #Constraints: 38071 958.89/961.56 c #Conflicts: 1000000 | #Constraints: 39074 958.89/961.56 c #Conflicts: 1001000 | #Constraints: 40077 958.89/961.56 c INPROCESSING 958.89/961.56 c GARBAGE COLLECT 958.89/961.56 c rational objective 3 988.12/990.84 c #Conflicts: 1002000 | #Constraints: 21205 988.12/990.84 c #Conflicts: 1003000 | #Constraints: 22210 988.12/990.84 c #Conflicts: 1004000 | #Constraints: 23217 988.12/990.84 c #Conflicts: 1005000 | #Constraints: 24223 988.12/990.84 c #Conflicts: 1006000 | #Constraints: 25225 988.12/990.84 c #Conflicts: 1007000 | #Constraints: 26230 988.12/990.84 c #Conflicts: 1008000 | #Constraints: 27236 988.12/990.84 c #Conflicts: 1009000 | #Constraints: 28239 988.12/990.84 c #Conflicts: 1010000 | #Constraints: 29245 988.12/990.84 c #Conflicts: 1011000 | #Constraints: 30252 988.12/990.84 c #Conflicts: 1012000 | #Constraints: 31260 988.12/990.84 c #Conflicts: 1013000 | #Constraints: 32266 988.12/990.84 c #Conflicts: 1014000 | #Constraints: 33272 988.12/990.84 c #Conflicts: 1015000 | #Constraints: 34275 988.12/990.84 c #Conflicts: 1016000 | #Constraints: 35277 988.12/990.84 c #Conflicts: 1017000 | #Constraints: 36281 988.12/990.84 c #Conflicts: 1018000 | #Constraints: 37284 988.12/990.84 c #Conflicts: 1019000 | #Constraints: 38287 988.12/990.84 c #Conflicts: 1020000 | #Constraints: 39290 988.12/990.84 c #Conflicts: 1021000 | #Constraints: 40293 988.12/990.84 c INPROCESSING 988.12/990.84 c GARBAGE COLLECT 988.12/990.84 c rational objective 3 1012.37/1015.13 c #Conflicts: 1022000 | #Constraints: 21215 1012.37/1015.13 c #Conflicts: 1023000 | #Constraints: 22218 1012.37/1015.13 c #Conflicts: 1024000 | #Constraints: 23226 1012.37/1015.13 c #Conflicts: 1025000 | #Constraints: 24232 1012.37/1015.13 c #Conflicts: 1026000 | #Constraints: 25237 1012.37/1015.13 c #Conflicts: 1027000 | #Constraints: 26241 1012.37/1015.13 c #Conflicts: 1028000 | #Constraints: 27248 1012.37/1015.13 c #Conflicts: 1029000 | #Constraints: 28252 1012.37/1015.13 c #Conflicts: 1030000 | #Constraints: 29253 1012.37/1015.13 c #Conflicts: 1031000 | #Constraints: 30256 1012.37/1015.13 c #Conflicts: 1032000 | #Constraints: 31261 1012.37/1015.13 c #Conflicts: 1033000 | #Constraints: 32265 1012.37/1015.13 c #Conflicts: 1034000 | #Constraints: 33266 1012.37/1015.13 c #Conflicts: 1035000 | #Constraints: 34272 1012.37/1015.13 c #Conflicts: 1036000 | #Constraints: 35276 1012.37/1015.13 c #Conflicts: 1037000 | #Constraints: 36277 1012.37/1015.13 c #Conflicts: 1038000 | #Constraints: 37280 1012.37/1015.13 c #Conflicts: 1039000 | #Constraints: 38283 1012.37/1015.13 c #Conflicts: 1040000 | #Constraints: 39287 1012.37/1015.13 c #Conflicts: 1041000 | #Constraints: 40291 1012.37/1015.13 c INPROCESSING 1012.37/1015.13 c GARBAGE COLLECT 1012.37/1015.13 c rational objective 3 1081.59/1084.55 c #Conflicts: 1042000 | #Constraints: 21008 1081.59/1084.55 c #Conflicts: 1043000 | #Constraints: 22016 1081.59/1084.55 c #Conflicts: 1044000 | #Constraints: 23026 1081.59/1084.55 c #Conflicts: 1045000 | #Constraints: 24035 1081.59/1084.55 c #Conflicts: 1046000 | #Constraints: 25041 1081.59/1084.55 c #Conflicts: 1047000 | #Constraints: 26228 1081.59/1084.55 c #Conflicts: 1048000 | #Constraints: 27973 1081.59/1084.55 c #Conflicts: 1049000 | #Constraints: 29759 1081.59/1084.55 c #Conflicts: 1050000 | #Constraints: 31501 1081.59/1084.55 c #Conflicts: 1051000 | #Constraints: 33256 1081.59/1084.55 c #Conflicts: 1052000 | #Constraints: 35034 1081.59/1084.55 c #Conflicts: 1053000 | #Constraints: 36677 1081.59/1084.55 c #Conflicts: 1054000 | #Constraints: 38240 1081.59/1084.55 c #Conflicts: 1055000 | #Constraints: 39637 1081.59/1084.55 c #Conflicts: 1056000 | #Constraints: 41401 1081.59/1084.55 c #Conflicts: 1057000 | #Constraints: 43174 1081.59/1084.55 c #Conflicts: 1058000 | #Constraints: 44973 1081.59/1084.55 c #Conflicts: 1059000 | #Constraints: 46752 1081.59/1084.55 c #Conflicts: 1060000 | #Constraints: 48142 1081.59/1084.55 c #Conflicts: 1061000 | #Constraints: 49358 1081.59/1084.55 c #Conflicts: 1062000 | #Constraints: 51103 1081.59/1084.55 c INPROCESSING 1081.59/1084.55 c GARBAGE COLLECT 1081.59/1084.55 c rational objective 3 1132.86/1135.93 c #Conflicts: 1063000 | #Constraints: 26690 1132.86/1135.93 c #Conflicts: 1064000 | #Constraints: 27693 1132.86/1135.93 c #Conflicts: 1065000 | #Constraints: 28696 1132.86/1135.93 c #Conflicts: 1066000 | #Constraints: 29700 1132.86/1135.93 c #Conflicts: 1067000 | #Constraints: 30706 1132.86/1135.93 c #Conflicts: 1068000 | #Constraints: 31711 1132.86/1135.93 c #Conflicts: 1069000 | #Constraints: 32714 1132.86/1135.93 c #Conflicts: 1070000 | #Constraints: 33716 1132.86/1135.93 c #Conflicts: 1071000 | #Constraints: 34720 1132.86/1135.93 c #Conflicts: 1072000 | #Constraints: 35725 1132.86/1135.93 c #Conflicts: 1073000 | #Constraints: 36730 1132.86/1135.93 c #Conflicts: 1074000 | #Constraints: 37734 1132.86/1135.93 c #Conflicts: 1075000 | #Constraints: 38744 1132.86/1135.93 c #Conflicts: 1076000 | #Constraints: 39746 1132.86/1135.93 c #Conflicts: 1077000 | #Constraints: 40748 1132.86/1135.93 c #Conflicts: 1078000 | #Constraints: 41756 1132.86/1135.93 c #Conflicts: 1079000 | #Constraints: 42762 1132.86/1135.93 c #Conflicts: 1080000 | #Constraints: 43770 1132.86/1135.93 c #Conflicts: 1081000 | #Constraints: 44774 1132.86/1135.93 c #Conflicts: 1082000 | #Constraints: 45778 1132.86/1135.93 c #Conflicts: 1083000 | #Constraints: 46781 1132.86/1135.93 c INPROCESSING 1132.86/1135.93 c GARBAGE COLLECT 1132.86/1135.93 c rational objective 3 1177.65/1180.82 c #Conflicts: 1084000 | #Constraints: 24547 1177.65/1180.82 c #Conflicts: 1085000 | #Constraints: 25550 1177.65/1180.82 c #Conflicts: 1086000 | #Constraints: 26555 1177.65/1180.82 c #Conflicts: 1087000 | #Constraints: 27557 1177.65/1180.82 c #Conflicts: 1088000 | #Constraints: 28558 1177.65/1180.82 c #Conflicts: 1089000 | #Constraints: 29561 1177.65/1180.82 c #Conflicts: 1090000 | #Constraints: 30565 1177.65/1180.82 c #Conflicts: 1091000 | #Constraints: 31568 1177.65/1180.82 c #Conflicts: 1092000 | #Constraints: 32571 1177.65/1180.82 c #Conflicts: 1093000 | #Constraints: 33576 1177.65/1180.82 c #Conflicts: 1094000 | #Constraints: 34579 1177.65/1180.82 c #Conflicts: 1095000 | #Constraints: 35585 1177.65/1180.82 c #Conflicts: 1096000 | #Constraints: 36585 1177.65/1180.82 c #Conflicts: 1097000 | #Constraints: 37589 1177.65/1180.82 c #Conflicts: 1098000 | #Constraints: 38595 1177.65/1180.82 c #Conflicts: 1099000 | #Constraints: 39600 1177.65/1180.82 c #Conflicts: 1100000 | #Constraints: 40606 1177.65/1180.82 c #Conflicts: 1101000 | #Constraints: 41609 1177.65/1180.82 c #Conflicts: 1102000 | #Constraints: 42613 1177.65/1180.82 c #Conflicts: 1103000 | #Constraints: 43622 1177.65/1180.82 c #Conflicts: 1104000 | #Constraints: 44626 1177.65/1180.82 c INPROCESSING 1177.65/1180.82 c GARBAGE COLLECT 1177.65/1180.82 c rational objective 3 1266.04/1269.41 c #Conflicts: 1105000 | #Constraints: 23464 1266.04/1269.41 c #Conflicts: 1106000 | #Constraints: 24471 1266.04/1269.41 c #Conflicts: 1107000 | #Constraints: 25479 1266.04/1269.41 c #Conflicts: 1108000 | #Constraints: 26484 1266.04/1269.41 c #Conflicts: 1109000 | #Constraints: 27487 1266.04/1269.41 c #Conflicts: 1110000 | #Constraints: 28489 1266.04/1269.41 c #Conflicts: 1111000 | #Constraints: 29497 1266.04/1269.41 c #Conflicts: 1112000 | #Constraints: 30499 1266.04/1269.41 c #Conflicts: 1113000 | #Constraints: 31502 1266.04/1269.41 c #Conflicts: 1114000 | #Constraints: 32504 1266.04/1269.41 c #Conflicts: 1115000 | #Constraints: 33506 1266.04/1269.41 c #Conflicts: 1116000 | #Constraints: 34512 1266.04/1269.41 c #Conflicts: 1117000 | #Constraints: 35519 1266.04/1269.41 c #Conflicts: 1118000 | #Constraints: 36524 1266.04/1269.41 c #Conflicts: 1119000 | #Constraints: 37532 1266.04/1269.41 c #Conflicts: 1120000 | #Constraints: 38535 1266.04/1269.41 c #Conflicts: 1121000 | #Constraints: 39540 1266.04/1269.41 c #Conflicts: 1122000 | #Constraints: 40542 1266.04/1269.41 c #Conflicts: 1123000 | #Constraints: 41545 1266.04/1269.41 c #Conflicts: 1124000 | #Constraints: 42550 1266.04/1269.41 c #Conflicts: 1125000 | #Constraints: 43552 1266.04/1269.41 c INPROCESSING 1266.04/1269.41 c GARBAGE COLLECT 1266.04/1269.41 c rational objective 3 1306.54/1310.08 c #Conflicts: 1126000 | #Constraints: 22863 1306.54/1310.08 c #Conflicts: 1127000 | #Constraints: 23911 1306.54/1310.08 c #Conflicts: 1128000 | #Constraints: 24933 1306.54/1310.08 c #Conflicts: 1129000 | #Constraints: 25953 1306.54/1310.08 c #Conflicts: 1130000 | #Constraints: 27055 1306.54/1310.08 c #Conflicts: 1131000 | #Constraints: 28215 1306.54/1310.08 c #Conflicts: 1132000 | #Constraints: 29242 1306.54/1310.08 c #Conflicts: 1133000 | #Constraints: 30306 1306.54/1310.08 c #Conflicts: 1134000 | #Constraints: 31395 1306.54/1310.08 c #Conflicts: 1135000 | #Constraints: 32406 1306.54/1310.08 c #Conflicts: 1136000 | #Constraints: 33418 1306.54/1310.08 c #Conflicts: 1137000 | #Constraints: 34488 1306.54/1310.08 c #Conflicts: 1138000 | #Constraints: 35847 1306.54/1310.08 c #Conflicts: 1139000 | #Constraints: 36853 1306.54/1310.08 c #Conflicts: 1140000 | #Constraints: 38033 1306.54/1310.08 c #Conflicts: 1141000 | #Constraints: 39040 1306.54/1310.08 c #Conflicts: 1142000 | #Constraints: 40045 1306.54/1310.08 c #Conflicts: 1143000 | #Constraints: 41048 1306.54/1310.08 c #Conflicts: 1144000 | #Constraints: 42056 1306.54/1310.08 c #Conflicts: 1145000 | #Constraints: 43064 1306.54/1310.08 c #Conflicts: 1146000 | #Constraints: 44140 1306.54/1310.08 c INPROCESSING 1306.54/1310.08 c GARBAGE COLLECT 1306.54/1310.08 c rational objective 3 1348.14/1351.76 c #Conflicts: 1147000 | #Constraints: 22939 1348.14/1351.76 c #Conflicts: 1148000 | #Constraints: 23945 1348.14/1351.76 c #Conflicts: 1149000 | #Constraints: 25048 1348.14/1351.76 c #Conflicts: 1150000 | #Constraints: 26220 1348.14/1351.76 c #Conflicts: 1151000 | #Constraints: 27239 1348.14/1351.76 c #Conflicts: 1152000 | #Constraints: 28445 1348.14/1351.76 c #Conflicts: 1153000 | #Constraints: 29859 1348.14/1351.76 c #Conflicts: 1154000 | #Constraints: 30870 1348.14/1351.76 c #Conflicts: 1155000 | #Constraints: 31908 1348.14/1351.76 c #Conflicts: 1156000 | #Constraints: 33164 1348.14/1351.76 c #Conflicts: 1157000 | #Constraints: 34257 1348.14/1351.76 c #Conflicts: 1158000 | #Constraints: 35375 1348.14/1351.76 c #Conflicts: 1159000 | #Constraints: 36573 1348.14/1351.76 c #Conflicts: 1160000 | #Constraints: 37612 1348.14/1351.76 c #Conflicts: 1161000 | #Constraints: 39057 1348.14/1351.76 c #Conflicts: 1162000 | #Constraints: 40091 1348.14/1351.76 c #Conflicts: 1163000 | #Constraints: 41346 1348.14/1351.76 c #Conflicts: 1164000 | #Constraints: 43049 1348.14/1351.76 c #Conflicts: 1165000 | #Constraints: 44213 1348.14/1351.76 c #Conflicts: 1166000 | #Constraints: 45234 1348.14/1351.76 c #Conflicts: 1167000 | #Constraints: 46237 1348.14/1351.76 c #Conflicts: 1168000 | #Constraints: 47246 1348.14/1351.76 c INPROCESSING 1348.14/1351.76 c GARBAGE COLLECT 1348.14/1351.76 c rational objective 3 1393.02/1396.72 c #Conflicts: 1169000 | #Constraints: 24900 1393.02/1396.72 c #Conflicts: 1170000 | #Constraints: 26074 1393.02/1396.72 c #Conflicts: 1171000 | #Constraints: 27265 1393.02/1396.72 c #Conflicts: 1172000 | #Constraints: 28442 1393.02/1396.72 c #Conflicts: 1173000 | #Constraints: 29570 1393.02/1396.72 c #Conflicts: 1174000 | #Constraints: 30681 1393.02/1396.72 c #Conflicts: 1175000 | #Constraints: 31696 1393.02/1396.72 c #Conflicts: 1176000 | #Constraints: 32704 1393.02/1396.72 c #Conflicts: 1177000 | #Constraints: 33754 1393.02/1396.72 c #Conflicts: 1178000 | #Constraints: 34991 1393.02/1396.72 c #Conflicts: 1179000 | #Constraints: 36006 1393.02/1396.72 c #Conflicts: 1180000 | #Constraints: 37034 1393.02/1396.72 c #Conflicts: 1181000 | #Constraints: 38112 1393.02/1396.72 c #Conflicts: 1182000 | #Constraints: 39200 1393.02/1396.72 c #Conflicts: 1183000 | #Constraints: 40337 1393.02/1396.72 c #Conflicts: 1184000 | #Constraints: 41337 1393.02/1396.72 c #Conflicts: 1185000 | #Constraints: 42389 1393.02/1396.72 c #Conflicts: 1186000 | #Constraints: 43404 1393.02/1396.72 c #Conflicts: 1187000 | #Constraints: 44442 1393.02/1396.72 c #Conflicts: 1188000 | #Constraints: 45467 1393.02/1396.72 c #Conflicts: 1189000 | #Constraints: 46588 1393.02/1396.72 c #Conflicts: 1190000 | #Constraints: 47697 1393.02/1396.72 c INPROCESSING 1393.02/1396.72 c GARBAGE COLLECT 1393.02/1396.72 c rational objective 3 1426.44/1430.27 c #Conflicts: 1191000 | #Constraints: 25032 1426.44/1430.27 c #Conflicts: 1192000 | #Constraints: 26033 1426.44/1430.27 c #Conflicts: 1193000 | #Constraints: 27034 1426.44/1430.27 c #Conflicts: 1194000 | #Constraints: 28035 1426.44/1430.27 c #Conflicts: 1195000 | #Constraints: 29036 1426.44/1430.27 c #Conflicts: 1196000 | #Constraints: 30038 1426.44/1430.27 c #Conflicts: 1197000 | #Constraints: 31039 1426.44/1430.27 c #Conflicts: 1198000 | #Constraints: 32041 1426.44/1430.27 c #Conflicts: 1199000 | #Constraints: 33045 1426.44/1430.27 c #Conflicts: 1200000 | #Constraints: 34045 1426.44/1430.27 c #Conflicts: 1201000 | #Constraints: 35046 1426.44/1430.27 c #Conflicts: 1202000 | #Constraints: 36048 1426.44/1430.27 c #Conflicts: 1203000 | #Constraints: 37049 1426.44/1430.27 c #Conflicts: 1204000 | #Constraints: 38049 1426.44/1430.27 c #Conflicts: 1205000 | #Constraints: 39051 1426.44/1430.27 c #Conflicts: 1206000 | #Constraints: 40052 1426.44/1430.27 c #Conflicts: 1207000 | #Constraints: 41052 1426.44/1430.27 c #Conflicts: 1208000 | #Constraints: 42053 1426.44/1430.27 c #Conflicts: 1209000 | #Constraints: 43054 1426.44/1430.27 c #Conflicts: 1210000 | #Constraints: 44055 1426.44/1430.27 c #Conflicts: 1211000 | #Constraints: 45056 1426.44/1430.27 c #Conflicts: 1212000 | #Constraints: 46058 1426.44/1430.27 c INPROCESSING 1426.44/1430.27 c GARBAGE COLLECT 1426.44/1430.27 c rational objective 3 1474.62/1478.53 c #Conflicts: 1213000 | #Constraints: 24187 1474.62/1478.53 c #Conflicts: 1214000 | #Constraints: 25192 1474.62/1478.53 c #Conflicts: 1215000 | #Constraints: 26196 1474.62/1478.53 c #Conflicts: 1216000 | #Constraints: 27199 1474.62/1478.53 c #Conflicts: 1217000 | #Constraints: 28209 1474.62/1478.53 c #Conflicts: 1218000 | #Constraints: 29265 1474.62/1478.53 c #Conflicts: 1219000 | #Constraints: 30468 1474.62/1478.53 c #Conflicts: 1220000 | #Constraints: 31680 1474.62/1478.53 c #Conflicts: 1221000 | #Constraints: 32694 1474.62/1478.53 c #Conflicts: 1222000 | #Constraints: 33715 1474.62/1478.53 c #Conflicts: 1223000 | #Constraints: 34794 1474.62/1478.53 c #Conflicts: 1224000 | #Constraints: 36111 1474.62/1478.53 c #Conflicts: 1225000 | #Constraints: 37201 1474.62/1478.53 c #Conflicts: 1226000 | #Constraints: 38488 1474.62/1478.53 c #Conflicts: 1227000 | #Constraints: 39599 1474.62/1478.53 c #Conflicts: 1228000 | #Constraints: 40898 1474.62/1478.53 c #Conflicts: 1229000 | #Constraints: 41900 1474.62/1478.53 c #Conflicts: 1230000 | #Constraints: 42943 1474.62/1478.53 c #Conflicts: 1231000 | #Constraints: 43988 1474.62/1478.53 c #Conflicts: 1232000 | #Constraints: 45017 1474.62/1478.53 c #Conflicts: 1233000 | #Constraints: 46027 1474.62/1478.53 c #Conflicts: 1234000 | #Constraints: 47122 1474.62/1478.53 c INPROCESSING 1474.62/1478.53 c GARBAGE COLLECT 1474.62/1478.53 c rational objective 3 1507.14/1511.17 c #Conflicts: 1235000 | #Constraints: 24622 1507.14/1511.17 c #Conflicts: 1236000 | #Constraints: 25623 1507.14/1511.17 c #Conflicts: 1237000 | #Constraints: 26624 1507.14/1511.17 c #Conflicts: 1238000 | #Constraints: 27625 1507.14/1511.17 c #Conflicts: 1239000 | #Constraints: 28628 1507.14/1511.17 c #Conflicts: 1240000 | #Constraints: 29629 1507.14/1511.17 c #Conflicts: 1241000 | #Constraints: 30630 1507.14/1511.17 c #Conflicts: 1242000 | #Constraints: 31631 1507.14/1511.17 c #Conflicts: 1243000 | #Constraints: 32631 1507.14/1511.17 c #Conflicts: 1244000 | #Constraints: 33631 1507.14/1511.17 c #Conflicts: 1245000 | #Constraints: 34634 1507.14/1511.17 c #Conflicts: 1246000 | #Constraints: 35638 1507.14/1511.17 c #Conflicts: 1247000 | #Constraints: 36639 1507.14/1511.17 c #Conflicts: 1248000 | #Constraints: 37639 1507.14/1511.17 c #Conflicts: 1249000 | #Constraints: 38640 1507.14/1511.17 c #Conflicts: 1250000 | #Constraints: 39642 1507.14/1511.17 c #Conflicts: 1251000 | #Constraints: 40643 1507.14/1511.17 c #Conflicts: 1252000 | #Constraints: 41649 1507.14/1511.17 c #Conflicts: 1253000 | #Constraints: 42652 1507.14/1511.17 c #Conflicts: 1254000 | #Constraints: 43653 1507.14/1511.17 c #Conflicts: 1255000 | #Constraints: 44661 1507.14/1511.17 c #Conflicts: 1256000 | #Constraints: 45662 1507.14/1511.17 c INPROCESSING 1507.14/1511.17 c GARBAGE COLLECT 1507.14/1511.17 c rational objective 3 1548.05/1552.11 c #Conflicts: 1257000 | #Constraints: 23695 1548.05/1552.11 c #Conflicts: 1258000 | #Constraints: 24700 1548.05/1552.11 c #Conflicts: 1259000 | #Constraints: 25706 1548.05/1552.11 c #Conflicts: 1260000 | #Constraints: 26711 1548.05/1552.11 c #Conflicts: 1261000 | #Constraints: 27715 1548.05/1552.11 c #Conflicts: 1262000 | #Constraints: 28720 1548.05/1552.11 c #Conflicts: 1263000 | #Constraints: 29722 1548.05/1552.11 c #Conflicts: 1264000 | #Constraints: 30731 1548.05/1552.11 c #Conflicts: 1265000 | #Constraints: 31743 1548.05/1552.11 c #Conflicts: 1266000 | #Constraints: 32748 1548.05/1552.11 c #Conflicts: 1267000 | #Constraints: 33752 1548.05/1552.11 c #Conflicts: 1268000 | #Constraints: 34759 1548.05/1552.11 c #Conflicts: 1269000 | #Constraints: 35764 1548.05/1552.11 c #Conflicts: 1270000 | #Constraints: 36765 1548.05/1552.11 c #Conflicts: 1271000 | #Constraints: 37769 1548.05/1552.11 c #Conflicts: 1272000 | #Constraints: 38772 1548.05/1552.11 c #Conflicts: 1273000 | #Constraints: 39774 1548.05/1552.11 c #Conflicts: 1274000 | #Constraints: 40776 1548.05/1552.11 c #Conflicts: 1275000 | #Constraints: 41781 1548.05/1552.11 c #Conflicts: 1276000 | #Constraints: 42789 1548.05/1552.11 c #Conflicts: 1277000 | #Constraints: 43794 1548.05/1552.11 c #Conflicts: 1278000 | #Constraints: 44798 1548.05/1552.11 c #Conflicts: 1279000 | #Constraints: 45803 1548.05/1552.11 c INPROCESSING 1548.05/1552.11 c GARBAGE COLLECT 1548.05/1552.11 c rational objective 3 1582.65/1586.81 c #Conflicts: 1280000 | #Constraints: 23952 1582.65/1586.81 c #Conflicts: 1281000 | #Constraints: 24962 1582.65/1586.81 c #Conflicts: 1282000 | #Constraints: 25969 1582.65/1586.81 c #Conflicts: 1283000 | #Constraints: 26978 1582.65/1586.81 c #Conflicts: 1284000 | #Constraints: 27981 1582.65/1586.81 c #Conflicts: 1285000 | #Constraints: 28986 1582.65/1586.81 c #Conflicts: 1286000 | #Constraints: 29993 1582.65/1586.81 c #Conflicts: 1287000 | #Constraints: 30998 1582.65/1586.81 c #Conflicts: 1288000 | #Constraints: 32006 1582.65/1586.81 c #Conflicts: 1289000 | #Constraints: 33010 1582.65/1586.81 c #Conflicts: 1290000 | #Constraints: 34014 1582.65/1586.81 c #Conflicts: 1291000 | #Constraints: 35018 1582.65/1586.81 c #Conflicts: 1292000 | #Constraints: 36021 1582.65/1586.81 c #Conflicts: 1293000 | #Constraints: 37024 1582.65/1586.81 c #Conflicts: 1294000 | #Constraints: 38026 1582.65/1586.81 c #Conflicts: 1295000 | #Constraints: 39028 1582.65/1586.81 c #Conflicts: 1296000 | #Constraints: 40035 1582.65/1586.81 c #Conflicts: 1297000 | #Constraints: 41043 1582.65/1586.81 c #Conflicts: 1298000 | #Constraints: 42048 1582.65/1586.81 c #Conflicts: 1299000 | #Constraints: 43054 1582.65/1586.81 c #Conflicts: 1300000 | #Constraints: 44057 1582.65/1586.81 c #Conflicts: 1301000 | #Constraints: 45060 1582.65/1586.81 c #Conflicts: 1302000 | #Constraints: 46063 1582.65/1586.81 c INPROCESSING 1582.65/1586.81 c GARBAGE COLLECT 1582.65/1586.81 c rational objective 3 1623.66/1627.95 c #Conflicts: 1303000 | #Constraints: 24185 1623.66/1627.95 c #Conflicts: 1304000 | #Constraints: 25194 1623.66/1627.95 c #Conflicts: 1305000 | #Constraints: 26199 1623.66/1627.95 c #Conflicts: 1306000 | #Constraints: 27202 1623.66/1627.95 c #Conflicts: 1307000 | #Constraints: 28208 1623.66/1627.95 c #Conflicts: 1308000 | #Constraints: 29214 1623.66/1627.95 c #Conflicts: 1309000 | #Constraints: 30222 1623.66/1627.95 c #Conflicts: 1310000 | #Constraints: 31241 1623.66/1627.95 c #Conflicts: 1311000 | #Constraints: 32242 1623.66/1627.95 c #Conflicts: 1312000 | #Constraints: 33251 1623.66/1627.95 c #Conflicts: 1313000 | #Constraints: 34257 1623.66/1627.95 c #Conflicts: 1314000 | #Constraints: 35266 1623.66/1627.95 c #Conflicts: 1315000 | #Constraints: 36273 1623.66/1627.95 c #Conflicts: 1316000 | #Constraints: 37281 1623.66/1627.95 c #Conflicts: 1317000 | #Constraints: 38286 1623.66/1627.95 c #Conflicts: 1318000 | #Constraints: 39289 1623.66/1627.95 c #Conflicts: 1319000 | #Constraints: 40292 1623.66/1627.95 c #Conflicts: 1320000 | #Constraints: 41301 1623.66/1627.95 c #Conflicts: 1321000 | #Constraints: 42309 1623.66/1627.95 c #Conflicts: 1322000 | #Constraints: 43314 1623.66/1627.95 c #Conflicts: 1323000 | #Constraints: 44316 1623.66/1627.95 c #Conflicts: 1324000 | #Constraints: 45322 1623.66/1627.95 c #Conflicts: 1325000 | #Constraints: 46326 1623.66/1627.95 c INPROCESSING 1623.66/1627.95 c GARBAGE COLLECT 1623.66/1627.95 c rational objective 3 1666.06/1670.42 c #Conflicts: 1326000 | #Constraints: 24348 1666.06/1670.42 c #Conflicts: 1327000 | #Constraints: 25351 1666.06/1670.42 c #Conflicts: 1328000 | #Constraints: 26354 1666.06/1670.42 c #Conflicts: 1329000 | #Constraints: 27357 1666.06/1670.42 c #Conflicts: 1330000 | #Constraints: 28359 1666.06/1670.42 c #Conflicts: 1331000 | #Constraints: 29362 1666.06/1670.42 c #Conflicts: 1332000 | #Constraints: 30365 1666.06/1670.42 c #Conflicts: 1333000 | #Constraints: 31370 1666.06/1670.42 c #Conflicts: 1334000 | #Constraints: 32372 1666.06/1670.42 c #Conflicts: 1335000 | #Constraints: 33374 1666.06/1670.42 c #Conflicts: 1336000 | #Constraints: 34379 1666.06/1670.42 c #Conflicts: 1337000 | #Constraints: 35384 1666.06/1670.42 c #Conflicts: 1338000 | #Constraints: 36385 1666.06/1670.42 c #Conflicts: 1339000 | #Constraints: 37389 1666.06/1670.42 c #Conflicts: 1340000 | #Constraints: 38393 1666.06/1670.42 c #Conflicts: 1341000 | #Constraints: 39399 1666.06/1670.42 c #Conflicts: 1342000 | #Constraints: 40401 1666.06/1670.42 c #Conflicts: 1343000 | #Constraints: 41404 1666.06/1670.42 c #Conflicts: 1344000 | #Constraints: 42407 1666.06/1670.42 c #Conflicts: 1345000 | #Constraints: 43416 1666.06/1670.42 c #Conflicts: 1346000 | #Constraints: 44421 1666.06/1670.42 c #Conflicts: 1347000 | #Constraints: 45426 1666.06/1670.42 c #Conflicts: 1348000 | #Constraints: 46429 1666.06/1670.42 c INPROCESSING 1666.06/1670.42 c GARBAGE COLLECT 1666.06/1670.42 c rational objective 3 1705.15/1709.60 c #Conflicts: 1349000 | #Constraints: 24284 1705.15/1709.60 c #Conflicts: 1350000 | #Constraints: 25286 1705.15/1709.60 c #Conflicts: 1351000 | #Constraints: 26291 1705.15/1709.60 c #Conflicts: 1352000 | #Constraints: 27296 1705.15/1709.60 c #Conflicts: 1353000 | #Constraints: 28299 1705.15/1709.60 c #Conflicts: 1354000 | #Constraints: 29301 1705.15/1709.60 c #Conflicts: 1355000 | #Constraints: 30304 1705.15/1709.60 c #Conflicts: 1356000 | #Constraints: 31308 1705.15/1709.60 c #Conflicts: 1357000 | #Constraints: 32309 1705.15/1709.60 c #Conflicts: 1358000 | #Constraints: 33311 1705.15/1709.60 c #Conflicts: 1359000 | #Constraints: 34322 1705.15/1709.60 c #Conflicts: 1360000 | #Constraints: 35324 1705.15/1709.60 c #Conflicts: 1361000 | #Constraints: 36329 1705.15/1709.60 c #Conflicts: 1362000 | #Constraints: 37332 1705.15/1709.60 c #Conflicts: 1363000 | #Constraints: 38339 1705.15/1709.60 c #Conflicts: 1364000 | #Constraints: 39348 1705.15/1709.60 c #Conflicts: 1365000 | #Constraints: 40351 1705.15/1709.60 c #Conflicts: 1366000 | #Constraints: 41356 1705.15/1709.60 c #Conflicts: 1367000 | #Constraints: 42363 1705.15/1709.60 c #Conflicts: 1368000 | #Constraints: 43367 1705.15/1709.60 c #Conflicts: 1369000 | #Constraints: 44374 1705.15/1709.60 c #Conflicts: 1370000 | #Constraints: 45377 1705.15/1709.60 c #Conflicts: 1371000 | #Constraints: 46377 1705.15/1709.60 c INPROCESSING 1705.15/1709.60 c GARBAGE COLLECT 1705.15/1709.60 c rational objective 3 1738.88/1743.41 c #Conflicts: 1372000 | #Constraints: 24083 1738.88/1743.41 c #Conflicts: 1373000 | #Constraints: 25086 1738.88/1743.41 c #Conflicts: 1374000 | #Constraints: 26086 1738.88/1743.41 c #Conflicts: 1375000 | #Constraints: 27089 1738.88/1743.41 c #Conflicts: 1376000 | #Constraints: 28090 1738.88/1743.41 c #Conflicts: 1377000 | #Constraints: 29095 1738.88/1743.41 c #Conflicts: 1378000 | #Constraints: 30099 1738.88/1743.41 c #Conflicts: 1379000 | #Constraints: 31104 1738.88/1743.41 c #Conflicts: 1380000 | #Constraints: 32110 1738.88/1743.41 c #Conflicts: 1381000 | #Constraints: 33115 1738.88/1743.41 c #Conflicts: 1382000 | #Constraints: 34120 1738.88/1743.41 c #Conflicts: 1383000 | #Constraints: 35125 1738.88/1743.41 c #Conflicts: 1384000 | #Constraints: 36133 1738.88/1743.41 c #Conflicts: 1385000 | #Constraints: 37144 1738.88/1743.41 c #Conflicts: 1386000 | #Constraints: 38150 1738.88/1743.41 c #Conflicts: 1387000 | #Constraints: 39154 1738.88/1743.41 c #Conflicts: 1388000 | #Constraints: 40168 1738.88/1743.41 c #Conflicts: 1389000 | #Constraints: 41172 1738.88/1743.41 c #Conflicts: 1390000 | #Constraints: 42177 1738.88/1743.41 c #Conflicts: 1391000 | #Constraints: 43185 1738.88/1743.41 c #Conflicts: 1392000 | #Constraints: 44190 1738.88/1743.41 c #Conflicts: 1393000 | #Constraints: 45196 1738.88/1743.41 c #Conflicts: 1394000 | #Constraints: 46199 1738.88/1743.41 c #Conflicts: 1395000 | #Constraints: 47203 1738.88/1743.41 c INPROCESSING 1738.88/1743.41 c GARBAGE COLLECT 1738.88/1743.41 c rational objective 3 1780.08/1784.78 c #Conflicts: 1396000 | #Constraints: 24704 1780.08/1784.78 c #Conflicts: 1397000 | #Constraints: 25709 1780.08/1784.78 c #Conflicts: 1398000 | #Constraints: 26716 1780.08/1784.78 c #Conflicts: 1399000 | #Constraints: 27723 1780.08/1784.78 c #Conflicts: 1400000 | #Constraints: 28730 1780.08/1784.78 c #Conflicts: 1401000 | #Constraints: 29738 1780.08/1784.78 c #Conflicts: 1402000 | #Constraints: 30747 1780.08/1784.78 c #Conflicts: 1403000 | #Constraints: 31752 1780.08/1784.78 c #Conflicts: 1404000 | #Constraints: 32757 1780.08/1784.78 c #Conflicts: 1405000 | #Constraints: 33767 1780.08/1784.78 c #Conflicts: 1406000 | #Constraints: 34776 1780.08/1784.78 c #Conflicts: 1407000 | #Constraints: 35780 1780.08/1784.78 c #Conflicts: 1408000 | #Constraints: 36784 1780.08/1784.78 c #Conflicts: 1409000 | #Constraints: 37788 1780.08/1784.78 c #Conflicts: 1410000 | #Constraints: 38799 1780.08/1784.78 c #Conflicts: 1411000 | #Constraints: 39803 1780.08/1784.78 c #Conflicts: 1412000 | #Constraints: 40816 1780.08/1784.78 c #Conflicts: 1413000 | #Constraints: 41826 1780.08/1784.78 c #Conflicts: 1414000 | #Constraints: 42833 1780.08/1784.78 c #Conflicts: 1415000 | #Constraints: 43840 1780.08/1784.78 c #Conflicts: 1416000 | #Constraints: 44845 1780.08/1784.78 c #Conflicts: 1417000 | #Constraints: 45851 1780.08/1784.78 c #Conflicts: 1418000 | #Constraints: 46854 1780.08/1784.78 c #Conflicts: 1419000 | #Constraints: 47855 1780.08/1784.78 c INPROCESSING 1780.08/1784.78 c GARBAGE COLLECT 1780.08/1784.78 c rational objective 3 1812.32/1817.04 c #Conflicts: 1420000 | #Constraints: 25091 1812.32/1817.04 c #Conflicts: 1421000 | #Constraints: 26100 1812.32/1817.04 c #Conflicts: 1422000 | #Constraints: 27112 1812.32/1817.04 c #Conflicts: 1423000 | #Constraints: 28119 1812.32/1817.04 c #Conflicts: 1424000 | #Constraints: 29123 1812.32/1817.04 c #Conflicts: 1425000 | #Constraints: 30126 1812.32/1817.04 c #Conflicts: 1426000 | #Constraints: 31129 1812.32/1817.04 c #Conflicts: 1427000 | #Constraints: 32133 1812.32/1817.04 c #Conflicts: 1428000 | #Constraints: 33138 1812.32/1817.04 c #Conflicts: 1429000 | #Constraints: 34144 1812.32/1817.04 c #Conflicts: 1430000 | #Constraints: 35147 1812.32/1817.04 c #Conflicts: 1431000 | #Constraints: 36156 1812.32/1817.04 c #Conflicts: 1432000 | #Constraints: 37159 1812.32/1817.04 c #Conflicts: 1433000 | #Constraints: 38166 1812.32/1817.04 c #Conflicts: 1434000 | #Constraints: 39171 1812.32/1817.04 c #Conflicts: 1435000 | #Constraints: 40175 1812.32/1817.04 c #Conflicts: 1436000 | #Constraints: 41183 1812.32/1817.04 c #Conflicts: 1437000 | #Constraints: 42186 1812.32/1817.04 c #Conflicts: 1438000 | #Constraints: 43189 1812.32/1817.04 c #Conflicts: 1439000 | #Constraints: 44189 1812.32/1817.04 c #Conflicts: 1440000 | #Constraints: 45192 1812.32/1817.04 c #Conflicts: 1441000 | #Constraints: 46195 1812.32/1817.04 c #Conflicts: 1442000 | #Constraints: 47199 1812.32/1817.04 c #Conflicts: 1443000 | #Constraints: 48200 1812.32/1817.04 c INPROCESSING 1812.32/1817.04 c GARBAGE COLLECT 1812.32/1817.04 c rational objective 3 1852.51/1857.37 c #Conflicts: 1444000 | #Constraints: 25288 1852.51/1857.37 c #Conflicts: 1445000 | #Constraints: 26291 1852.51/1857.37 c #Conflicts: 1446000 | #Constraints: 27296 1852.51/1857.37 c #Conflicts: 1447000 | #Constraints: 28300 1852.51/1857.37 c #Conflicts: 1448000 | #Constraints: 29308 1852.51/1857.37 c #Conflicts: 1449000 | #Constraints: 30314 1852.51/1857.37 c #Conflicts: 1450000 | #Constraints: 31316 1852.51/1857.37 c #Conflicts: 1451000 | #Constraints: 32325 1852.51/1857.37 c #Conflicts: 1452000 | #Constraints: 33332 1852.51/1857.37 c #Conflicts: 1453000 | #Constraints: 34339 1852.51/1857.37 c #Conflicts: 1454000 | #Constraints: 35347 1852.51/1857.37 c #Conflicts: 1455000 | #Constraints: 36350 1852.51/1857.37 c #Conflicts: 1456000 | #Constraints: 37356 1852.51/1857.37 c #Conflicts: 1457000 | #Constraints: 38359 1852.51/1857.37 c #Conflicts: 1458000 | #Constraints: 39364 1852.51/1857.37 c #Conflicts: 1459000 | #Constraints: 40369 1852.51/1857.37 c #Conflicts: 1460000 | #Constraints: 41376 1852.51/1857.37 c #Conflicts: 1461000 | #Constraints: 42379 1852.51/1857.37 c #Conflicts: 1462000 | #Constraints: 43382 1852.51/1857.37 c #Conflicts: 1463000 | #Constraints: 44388 1852.51/1857.37 c #Conflicts: 1464000 | #Constraints: 45393 1852.51/1857.37 c #Conflicts: 1465000 | #Constraints: 46395 1852.51/1857.37 c #Conflicts: 1466000 | #Constraints: 47403 1852.51/1857.37 c #Conflicts: 1467000 | #Constraints: 48408 1852.51/1857.37 c INPROCESSING 1852.51/1857.37 c GARBAGE COLLECT 1852.51/1857.37 c rational objective 3 1887.81/1892.75 c #Conflicts: 1468000 | #Constraints: 25273 1887.81/1892.75 c #Conflicts: 1469000 | #Constraints: 26280 1887.81/1892.75 c #Conflicts: 1470000 | #Constraints: 27289 1887.81/1892.75 c #Conflicts: 1471000 | #Constraints: 28296 1887.81/1892.75 c #Conflicts: 1472000 | #Constraints: 29301 1887.81/1892.75 c #Conflicts: 1473000 | #Constraints: 30310 1887.81/1892.75 c #Conflicts: 1474000 | #Constraints: 31317 1887.81/1892.75 c #Conflicts: 1475000 | #Constraints: 32322 1887.81/1892.75 c #Conflicts: 1476000 | #Constraints: 33328 1887.81/1892.75 c #Conflicts: 1477000 | #Constraints: 34330 1887.81/1892.75 c #Conflicts: 1478000 | #Constraints: 35333 1887.81/1892.75 c #Conflicts: 1479000 | #Constraints: 36337 1887.81/1892.75 c #Conflicts: 1480000 | #Constraints: 37347 1887.81/1892.75 c #Conflicts: 1481000 | #Constraints: 38350 1887.81/1892.75 c #Conflicts: 1482000 | #Constraints: 39352 1887.81/1892.75 c #Conflicts: 1483000 | #Constraints: 40358 1887.81/1892.75 c #Conflicts: 1484000 | #Constraints: 41367 1887.81/1892.75 c #Conflicts: 1485000 | #Constraints: 42371 1887.81/1892.75 c #Conflicts: 1486000 | #Constraints: 43379 1887.81/1892.75 c #Conflicts: 1487000 | #Constraints: 44383 1887.81/1892.75 c #Conflicts: 1488000 | #Constraints: 45387 1887.81/1892.75 c #Conflicts: 1489000 | #Constraints: 46390 1887.81/1892.75 c #Conflicts: 1490000 | #Constraints: 47390 1887.81/1892.75 c #Conflicts: 1491000 | #Constraints: 48392 1887.81/1892.75 c INPROCESSING 1887.81/1892.75 c GARBAGE COLLECT 1887.81/1892.75 c rational objective 3 1928.50/1933.52 c #Conflicts: 1492000 | #Constraints: 25066 1928.50/1933.52 c #Conflicts: 1493000 | #Constraints: 26071 1928.50/1933.52 c #Conflicts: 1494000 | #Constraints: 27073 1928.50/1933.52 c #Conflicts: 1495000 | #Constraints: 28075 1928.50/1933.52 c #Conflicts: 1496000 | #Constraints: 29077 1928.50/1933.52 c #Conflicts: 1497000 | #Constraints: 30080 1928.50/1933.52 c #Conflicts: 1498000 | #Constraints: 31080 1928.50/1933.52 c #Conflicts: 1499000 | #Constraints: 32083 1928.50/1933.52 c #Conflicts: 1500000 | #Constraints: 33085 1928.50/1933.52 c #Conflicts: 1501000 | #Constraints: 34087 1928.50/1933.52 c #Conflicts: 1502000 | #Constraints: 35092 1928.50/1933.52 c #Conflicts: 1503000 | #Constraints: 36093 1928.50/1933.52 c #Conflicts: 1504000 | #Constraints: 37094 1928.50/1933.52 c #Conflicts: 1505000 | #Constraints: 38095 1928.50/1933.52 c #Conflicts: 1506000 | #Constraints: 39101 1928.50/1933.52 c #Conflicts: 1507000 | #Constraints: 40109 1928.50/1933.52 c #Conflicts: 1508000 | #Constraints: 41113 1928.50/1933.52 c #Conflicts: 1509000 | #Constraints: 42119 1928.50/1933.52 c #Conflicts: 1510000 | #Constraints: 43122 1928.50/1933.52 c #Conflicts: 1511000 | #Constraints: 44129 1928.50/1933.52 c #Conflicts: 1512000 | #Constraints: 45136 1928.50/1933.52 c #Conflicts: 1513000 | #Constraints: 46137 1928.50/1933.52 c #Conflicts: 1514000 | #Constraints: 47144 1928.50/1933.52 c #Conflicts: 1515000 | #Constraints: 48145 1928.50/1933.52 c #Conflicts: 1516000 | #Constraints: 49150 1928.50/1933.52 c INPROCESSING 1928.50/1933.52 c GARBAGE COLLECT 1928.50/1933.52 c rational objective 3 1975.37/1980.50 c #Conflicts: 1517000 | #Constraints: 25641 1975.37/1980.50 c #Conflicts: 1518000 | #Constraints: 26646 1975.37/1980.50 c #Conflicts: 1519000 | #Constraints: 27654 1975.37/1980.50 c #Conflicts: 1520000 | #Constraints: 28660 1975.37/1980.50 c #Conflicts: 1521000 | #Constraints: 29665 1975.37/1980.50 c #Conflicts: 1522000 | #Constraints: 30669 1975.37/1980.50 c #Conflicts: 1523000 | #Constraints: 31675 1975.37/1980.50 c #Conflicts: 1524000 | #Constraints: 32680 1975.37/1980.50 c #Conflicts: 1525000 | #Constraints: 33690 1975.37/1980.50 c #Conflicts: 1526000 | #Constraints: 34695 1975.37/1980.50 c #Conflicts: 1527000 | #Constraints: 35704 1975.37/1980.50 c #Conflicts: 1528000 | #Constraints: 36714 1975.37/1980.50 c #Conflicts: 1529000 | #Constraints: 37721 1975.37/1980.50 c #Conflicts: 1530000 | #Constraints: 38726 1975.37/1980.50 c #Conflicts: 1531000 | #Constraints: 39733 1975.37/1980.50 c #Conflicts: 1532000 | #Constraints: 40737 1975.37/1980.50 c #Conflicts: 1533000 | #Constraints: 41741 1975.37/1980.50 c #Conflicts: 1534000 | #Constraints: 42746 1975.37/1980.50 c #Conflicts: 1535000 | #Constraints: 43749 1975.37/1980.50 c #Conflicts: 1536000 | #Constraints: 44751 1975.37/1980.50 c #Conflicts: 1537000 | #Constraints: 45756 1975.37/1980.50 c #Conflicts: 1538000 | #Constraints: 46763 1975.37/1980.50 c #Conflicts: 1539000 | #Constraints: 47768 1975.37/1980.50 c #Conflicts: 1540000 | #Constraints: 48777 1975.37/1980.50 c #Conflicts: 1541000 | #Constraints: 49782 1975.37/1980.50 c INPROCESSING 1975.37/1980.50 c GARBAGE COLLECT 1975.37/1980.50 c rational objective 3 2028.51/2033.88 c #Conflicts: 1542000 | #Constraints: 26075 2028.51/2033.88 c #Conflicts: 1543000 | #Constraints: 27079 2028.51/2033.88 c #Conflicts: 1544000 | #Constraints: 28083 2028.51/2033.88 c #Conflicts: 1545000 | #Constraints: 29084 2028.51/2033.88 c #Conflicts: 1546000 | #Constraints: 30087 2028.51/2033.88 c #Conflicts: 1547000 | #Constraints: 31091 2028.51/2033.88 c #Conflicts: 1548000 | #Constraints: 32097 2028.51/2033.88 c #Conflicts: 1549000 | #Constraints: 33102 2028.51/2033.88 c #Conflicts: 1550000 | #Constraints: 34107 2028.51/2033.88 c #Conflicts: 1551000 | #Constraints: 35111 2028.51/2033.88 c #Conflicts: 1552000 | #Constraints: 36116 2028.51/2033.88 c #Conflicts: 1553000 | #Constraints: 37121 2028.51/2033.88 c #Conflicts: 1554000 | #Constraints: 38128 2028.51/2033.88 c #Conflicts: 1555000 | #Constraints: 39134 2028.51/2033.88 c #Conflicts: 1556000 | #Constraints: 40135 2028.51/2033.88 c #Conflicts: 1557000 | #Constraints: 41141 2028.51/2033.88 c #Conflicts: 1558000 | #Constraints: 42144 2028.51/2033.88 c #Conflicts: 1559000 | #Constraints: 43149 2028.51/2033.88 c #Conflicts: 1560000 | #Constraints: 44151 2028.51/2033.88 c #Conflicts: 1561000 | #Constraints: 45153 2028.51/2033.88 c #Conflicts: 1562000 | #Constraints: 46155 2028.51/2033.88 c #Conflicts: 1563000 | #Constraints: 47159 2028.51/2033.88 c #Conflicts: 1564000 | #Constraints: 48163 2028.51/2033.88 c #Conflicts: 1565000 | #Constraints: 49166 2028.51/2033.88 c #Conflicts: 1566000 | #Constraints: 50175 2028.51/2033.88 c INPROCESSING 2028.51/2033.88 c GARBAGE COLLECT 2028.51/2033.88 c rational objective 3 2087.95/2093.48 c #Conflicts: 1567000 | #Constraints: 26252 2087.95/2093.48 c #Conflicts: 1568000 | #Constraints: 27259 2087.95/2093.48 c #Conflicts: 1569000 | #Constraints: 28263 2087.95/2093.48 c #Conflicts: 1570000 | #Constraints: 29270 2087.95/2093.48 c #Conflicts: 1571000 | #Constraints: 30273 2087.95/2093.48 c #Conflicts: 1572000 | #Constraints: 31277 2087.95/2093.48 c #Conflicts: 1573000 | #Constraints: 32282 2087.95/2093.48 c #Conflicts: 1574000 | #Constraints: 33285 2087.95/2093.48 c #Conflicts: 1575000 | #Constraints: 34291 2087.95/2093.48 c #Conflicts: 1576000 | #Constraints: 35299 2087.95/2093.48 c #Conflicts: 1577000 | #Constraints: 36303 2087.95/2093.48 c #Conflicts: 1578000 | #Constraints: 37308 2087.95/2093.48 c #Conflicts: 1579000 | #Constraints: 38312 2087.95/2093.48 c #Conflicts: 1580000 | #Constraints: 39316 2087.95/2093.48 c #Conflicts: 1581000 | #Constraints: 40318 2087.95/2093.48 c #Conflicts: 1582000 | #Constraints: 41324 2087.95/2093.48 c #Conflicts: 1583000 | #Constraints: 42331 2087.95/2093.48 c #Conflicts: 1584000 | #Constraints: 43334 2087.95/2093.48 c #Conflicts: 1585000 | #Constraints: 44337 2087.95/2093.48 c #Conflicts: 1586000 | #Constraints: 45343 2087.95/2093.48 c #Conflicts: 1587000 | #Constraints: 46349 2087.95/2093.48 c #Conflicts: 1588000 | #Constraints: 47354 2087.95/2093.48 c #Conflicts: 1589000 | #Constraints: 48360 2087.95/2093.48 c #Conflicts: 1590000 | #Constraints: 49363 2087.95/2093.48 c #Conflicts: 1591000 | #Constraints: 50366 2087.95/2093.48 c INPROCESSING 2087.95/2093.48 c GARBAGE COLLECT 2087.95/2093.48 c rational objective 3 2122.84/2128.49 c #Conflicts: 1592000 | #Constraints: 26258 2122.84/2128.49 c #Conflicts: 1593000 | #Constraints: 27260 2122.84/2128.49 c #Conflicts: 1594000 | #Constraints: 28265 2122.84/2128.49 c #Conflicts: 1595000 | #Constraints: 29269 2122.84/2128.49 c #Conflicts: 1596000 | #Constraints: 30275 2122.84/2128.49 c #Conflicts: 1597000 | #Constraints: 31279 2122.84/2128.49 c #Conflicts: 1598000 | #Constraints: 32279 2122.84/2128.49 c #Conflicts: 1599000 | #Constraints: 33282 2122.84/2128.49 c #Conflicts: 1600000 | #Constraints: 34286 2122.84/2128.49 c #Conflicts: 1601000 | #Constraints: 35289 2122.84/2128.49 c #Conflicts: 1602000 | #Constraints: 36293 2122.84/2128.49 c #Conflicts: 1603000 | #Constraints: 37296 2122.84/2128.49 c #Conflicts: 1604000 | #Constraints: 38299 2122.84/2128.49 c #Conflicts: 1605000 | #Constraints: 39302 2122.84/2128.49 c #Conflicts: 1606000 | #Constraints: 40304 2122.84/2128.49 c #Conflicts: 1607000 | #Constraints: 41306 2122.84/2128.49 c #Conflicts: 1608000 | #Constraints: 42309 2122.84/2128.49 c #Conflicts: 1609000 | #Constraints: 43314 2122.84/2128.49 c #Conflicts: 1610000 | #Constraints: 44319 2122.84/2128.49 c #Conflicts: 1611000 | #Constraints: 45325 2122.84/2128.49 c #Conflicts: 1612000 | #Constraints: 46331 2122.84/2128.49 c #Conflicts: 1613000 | #Constraints: 47337 2122.84/2128.49 c #Conflicts: 1614000 | #Constraints: 48342 2122.84/2128.49 c #Conflicts: 1615000 | #Constraints: 49347 2122.84/2128.49 c #Conflicts: 1616000 | #Constraints: 50352 2122.84/2128.49 c INPROCESSING 2122.84/2128.49 c GARBAGE COLLECT 2122.84/2128.49 c rational objective 3 2159.35/2165.09 c #Conflicts: 1617000 | #Constraints: 26031 2159.35/2165.09 c #Conflicts: 1618000 | #Constraints: 27036 2159.35/2165.09 c #Conflicts: 1619000 | #Constraints: 28043 2159.35/2165.09 c #Conflicts: 1620000 | #Constraints: 29050 2159.35/2165.09 c #Conflicts: 1621000 | #Constraints: 30054 2159.35/2165.09 c #Conflicts: 1622000 | #Constraints: 31054 2159.35/2165.09 c #Conflicts: 1623000 | #Constraints: 32059 2159.35/2165.09 c #Conflicts: 1624000 | #Constraints: 33067 2159.35/2165.09 c #Conflicts: 1625000 | #Constraints: 34071 2159.35/2165.09 c #Conflicts: 1626000 | #Constraints: 35076 2159.35/2165.09 c #Conflicts: 1627000 | #Constraints: 36081 2159.35/2165.09 c #Conflicts: 1628000 | #Constraints: 37088 2159.35/2165.09 c #Conflicts: 1629000 | #Constraints: 38090 2159.35/2165.09 c #Conflicts: 1630000 | #Constraints: 39094 2159.35/2165.09 c #Conflicts: 1631000 | #Constraints: 40100 2159.35/2165.09 c #Conflicts: 1632000 | #Constraints: 41106 2159.35/2165.09 c #Conflicts: 1633000 | #Constraints: 42109 2159.35/2165.09 c #Conflicts: 1634000 | #Constraints: 43115 2159.35/2165.09 c #Conflicts: 1635000 | #Constraints: 44124 2159.35/2165.09 c #Conflicts: 1636000 | #Constraints: 45132 2159.35/2165.09 c #Conflicts: 1637000 | #Constraints: 46136 2159.35/2165.09 c #Conflicts: 1638000 | #Constraints: 47141 2159.35/2165.09 c #Conflicts: 1639000 | #Constraints: 48147 2159.35/2165.09 c #Conflicts: 1640000 | #Constraints: 49152 2159.35/2165.09 c #Conflicts: 1641000 | #Constraints: 50157 2159.35/2165.09 c #Conflicts: 1642000 | #Constraints: 51163 2159.35/2165.09 c INPROCESSING 2159.35/2165.09 c GARBAGE COLLECT 2159.35/2165.09 c rational objective 3 2200.73/2206.56 c #Conflicts: 1643000 | #Constraints: 26665 2200.73/2206.56 c #Conflicts: 1644000 | #Constraints: 27672 2200.73/2206.56 c #Conflicts: 1645000 | #Constraints: 28677 2200.73/2206.56 c #Conflicts: 1646000 | #Constraints: 29682 2200.73/2206.56 c #Conflicts: 1647000 | #Constraints: 30683 2200.73/2206.56 c #Conflicts: 1648000 | #Constraints: 31687 2200.73/2206.56 c #Conflicts: 1649000 | #Constraints: 32689 2200.73/2206.56 c #Conflicts: 1650000 | #Constraints: 33692 2200.73/2206.56 c #Conflicts: 1651000 | #Constraints: 34694 2200.73/2206.56 c #Conflicts: 1652000 | #Constraints: 35702 2200.73/2206.56 c #Conflicts: 1653000 | #Constraints: 36707 2200.73/2206.56 c #Conflicts: 1654000 | #Constraints: 37712 2200.73/2206.56 c #Conflicts: 1655000 | #Constraints: 38722 2200.73/2206.56 c #Conflicts: 1656000 | #Constraints: 39729 2200.73/2206.56 c #Conflicts: 1657000 | #Constraints: 40734 2200.73/2206.56 c #Conflicts: 1658000 | #Constraints: 41740 2200.73/2206.56 c #Conflicts: 1659000 | #Constraints: 42752 2200.73/2206.56 c #Conflicts: 1660000 | #Constraints: 43759 2200.73/2206.56 c #Conflicts: 1661000 | #Constraints: 44763 2200.73/2206.56 c #Conflicts: 1662000 | #Constraints: 45768 2200.73/2206.56 c #Conflicts: 1663000 | #Constraints: 46778 2200.73/2206.56 c #Conflicts: 1664000 | #Constraints: 47785 2200.73/2206.56 c #Conflicts: 1665000 | #Constraints: 48787 2200.73/2206.56 c #Conflicts: 1666000 | #Constraints: 49796 2200.73/2206.56 c #Conflicts: 1667000 | #Constraints: 50806 2200.73/2206.56 c #Conflicts: 1668000 | #Constraints: 51815 2200.73/2206.56 c INPROCESSING 2200.73/2206.56 c GARBAGE COLLECT 2200.73/2206.56 c rational objective 3 2250.49/2256.47 c #Conflicts: 1669000 | #Constraints: 27083 2250.49/2256.47 c #Conflicts: 1670000 | #Constraints: 28090 2250.49/2256.47 c #Conflicts: 1671000 | #Constraints: 29095 2250.49/2256.47 c #Conflicts: 1672000 | #Constraints: 30097 2250.49/2256.47 c #Conflicts: 1673000 | #Constraints: 31105 2250.49/2256.47 c #Conflicts: 1674000 | #Constraints: 32110 2250.49/2256.47 c #Conflicts: 1675000 | #Constraints: 33120 2250.49/2256.47 c #Conflicts: 1676000 | #Constraints: 34130 2250.49/2256.47 c #Conflicts: 1677000 | #Constraints: 35136 2250.49/2256.47 c #Conflicts: 1678000 | #Constraints: 36145 2250.49/2256.47 c #Conflicts: 1679000 | #Constraints: 37149 2250.49/2256.47 c #Conflicts: 1680000 | #Constraints: 38152 2250.49/2256.47 c #Conflicts: 1681000 | #Constraints: 39155 2250.49/2256.47 c #Conflicts: 1682000 | #Constraints: 40162 2250.49/2256.47 c #Conflicts: 1683000 | #Constraints: 41164 2250.49/2256.47 c #Conflicts: 1684000 | #Constraints: 42170 2250.49/2256.47 c #Conflicts: 1685000 | #Constraints: 43177 2250.49/2256.47 c #Conflicts: 1686000 | #Constraints: 44180 2250.49/2256.47 c #Conflicts: 1687000 | #Constraints: 45185 2250.49/2256.47 c #Conflicts: 1688000 | #Constraints: 46189 2250.49/2256.47 c #Conflicts: 1689000 | #Constraints: 47196 2250.49/2256.47 c #Conflicts: 1690000 | #Constraints: 48199 2250.49/2256.47 c #Conflicts: 1691000 | #Constraints: 49206 2250.49/2256.47 c #Conflicts: 1692000 | #Constraints: 50209 2250.49/2256.47 c #Conflicts: 1693000 | #Constraints: 51213 2250.49/2256.47 c #Conflicts: 1694000 | #Constraints: 52219 2250.49/2256.47 c INPROCESSING 2250.49/2256.47 c GARBAGE COLLECT 2250.49/2256.47 c rational objective 3 2294.86/2300.98 c #Conflicts: 1695000 | #Constraints: 27275 2294.86/2300.98 c #Conflicts: 1696000 | #Constraints: 28288 2294.86/2300.98 c #Conflicts: 1697000 | #Constraints: 29297 2294.86/2300.98 c #Conflicts: 1698000 | #Constraints: 30299 2294.86/2300.98 c #Conflicts: 1699000 | #Constraints: 31303 2294.86/2300.98 c #Conflicts: 1700000 | #Constraints: 32309 2294.86/2300.98 c #Conflicts: 1701000 | #Constraints: 33314 2294.86/2300.98 c #Conflicts: 1702000 | #Constraints: 34320 2294.86/2300.98 c #Conflicts: 1703000 | #Constraints: 35325 2294.86/2300.98 c #Conflicts: 1704000 | #Constraints: 36328 2294.86/2300.98 c #Conflicts: 1705000 | #Constraints: 37335 2294.86/2300.98 c #Conflicts: 1706000 | #Constraints: 38339 2294.86/2300.98 c #Conflicts: 1707000 | #Constraints: 39345 2294.86/2300.98 c #Conflicts: 1708000 | #Constraints: 40350 2294.86/2300.98 c #Conflicts: 1709000 | #Constraints: 41355 2294.86/2300.98 c #Conflicts: 1710000 | #Constraints: 42358 2294.86/2300.98 c #Conflicts: 1711000 | #Constraints: 43367 2294.86/2300.98 c #Conflicts: 1712000 | #Constraints: 44373 2294.86/2300.98 c #Conflicts: 1713000 | #Constraints: 45373 2294.86/2300.98 c #Conflicts: 1714000 | #Constraints: 46375 2294.86/2300.98 c #Conflicts: 1715000 | #Constraints: 47378 2294.86/2300.98 c #Conflicts: 1716000 | #Constraints: 48380 2294.86/2300.98 c #Conflicts: 1717000 | #Constraints: 49387 2294.86/2300.98 c #Conflicts: 1718000 | #Constraints: 50394 2294.86/2300.98 c #Conflicts: 1719000 | #Constraints: 51395 2294.86/2300.98 c #Conflicts: 1720000 | #Constraints: 52398 2294.86/2300.98 c INPROCESSING 2294.86/2300.98 c GARBAGE COLLECT 2294.86/2300.98 c rational objective 3 2343.32/2349.57 c #Conflicts: 1721000 | #Constraints: 27266 2343.32/2349.57 c #Conflicts: 1722000 | #Constraints: 28273 2343.32/2349.57 c #Conflicts: 1723000 | #Constraints: 29278 2343.32/2349.57 c #Conflicts: 1724000 | #Constraints: 30279 2343.32/2349.57 c #Conflicts: 1725000 | #Constraints: 31282 2343.32/2349.57 c #Conflicts: 1726000 | #Constraints: 32286 2343.32/2349.57 c #Conflicts: 1727000 | #Constraints: 33288 2343.32/2349.57 c #Conflicts: 1728000 | #Constraints: 34293 2343.32/2349.57 c #Conflicts: 1729000 | #Constraints: 35296 2343.32/2349.57 c #Conflicts: 1730000 | #Constraints: 36299 2343.32/2349.57 c #Conflicts: 1731000 | #Constraints: 37300 2343.32/2349.57 c #Conflicts: 1732000 | #Constraints: 38300 2343.32/2349.57 c #Conflicts: 1733000 | #Constraints: 39302 2343.32/2349.57 c #Conflicts: 1734000 | #Constraints: 40303 2343.32/2349.57 c #Conflicts: 1735000 | #Constraints: 41304 2343.32/2349.57 c #Conflicts: 1736000 | #Constraints: 42304 2343.32/2349.57 c #Conflicts: 1737000 | #Constraints: 43305 2343.32/2349.57 c #Conflicts: 1738000 | #Constraints: 44305 2343.32/2349.57 c #Conflicts: 1739000 | #Constraints: 45306 2343.32/2349.57 c #Conflicts: 1740000 | #Constraints: 46308 2343.32/2349.57 c #Conflicts: 1741000 | #Constraints: 47308 2343.32/2349.57 c #Conflicts: 1742000 | #Constraints: 48308 2343.32/2349.57 c #Conflicts: 1743000 | #Constraints: 49308 2343.32/2349.57 c #Conflicts: 1744000 | #Constraints: 50309 2343.32/2349.57 c #Conflicts: 1745000 | #Constraints: 51310 2343.32/2349.57 c #Conflicts: 1746000 | #Constraints: 52310 2343.32/2349.57 c INPROCESSING 2343.32/2349.57 c GARBAGE COLLECT 2343.32/2349.57 c rational objective 3 2396.78/2403.13 c #Conflicts: 1747000 | #Constraints: 27026 2396.78/2403.13 c #Conflicts: 1748000 | #Constraints: 28028 2396.78/2403.13 c #Conflicts: 1749000 | #Constraints: 29030 2396.78/2403.13 c #Conflicts: 1750000 | #Constraints: 30038 2396.78/2403.13 c #Conflicts: 1751000 | #Constraints: 31041 2396.78/2403.13 c #Conflicts: 1752000 | #Constraints: 32041 2396.78/2403.13 c #Conflicts: 1753000 | #Constraints: 33044 2396.78/2403.13 c #Conflicts: 1754000 | #Constraints: 34048 2396.78/2403.13 c #Conflicts: 1755000 | #Constraints: 35052 2396.78/2403.13 c #Conflicts: 1756000 | #Constraints: 36052 2396.78/2403.13 c #Conflicts: 1757000 | #Constraints: 37053 2396.78/2403.13 c #Conflicts: 1758000 | #Constraints: 38056 2396.78/2403.13 c #Conflicts: 1759000 | #Constraints: 39056 2396.78/2403.13 c #Conflicts: 1760000 | #Constraints: 40058 2396.78/2403.13 c #Conflicts: 1761000 | #Constraints: 41059 2396.78/2403.13 c #Conflicts: 1762000 | #Constraints: 42060 2396.78/2403.13 c #Conflicts: 1763000 | #Constraints: 43062 2396.78/2403.13 c #Conflicts: 1764000 | #Constraints: 44064 2396.78/2403.13 c #Conflicts: 1765000 | #Constraints: 45065 2396.78/2403.13 c #Conflicts: 1766000 | #Constraints: 46067 2396.78/2403.13 c #Conflicts: 1767000 | #Constraints: 47069 2396.78/2403.13 c #Conflicts: 1768000 | #Constraints: 48070 2396.78/2403.13 c #Conflicts: 1769000 | #Constraints: 49070 2396.78/2403.13 c #Conflicts: 1770000 | #Constraints: 50071 2396.78/2403.13 c #Conflicts: 1771000 | #Constraints: 51073 2396.78/2403.13 c #Conflicts: 1772000 | #Constraints: 52074 2396.78/2403.13 c #Conflicts: 1773000 | #Constraints: 53074 2396.78/2403.13 c INPROCESSING 2396.78/2403.13 c GARBAGE COLLECT 2396.78/2403.13 c rational objective 3 2439.15/2445.66 c #Conflicts: 1774000 | #Constraints: 27619 2439.15/2445.66 c #Conflicts: 1775000 | #Constraints: 28627 2439.15/2445.66 c #Conflicts: 1776000 | #Constraints: 29628 2439.15/2445.66 c #Conflicts: 1777000 | #Constraints: 30630 2439.15/2445.66 c #Conflicts: 1778000 | #Constraints: 31636 2439.15/2445.66 c #Conflicts: 1779000 | #Constraints: 32641 2439.15/2445.66 c #Conflicts: 1780000 | #Constraints: 33654 2439.15/2445.66 c #Conflicts: 1781000 | #Constraints: 34658 2439.15/2445.66 c #Conflicts: 1782000 | #Constraints: 35669 2439.15/2445.66 c #Conflicts: 1783000 | #Constraints: 36699 2439.15/2445.66 c #Conflicts: 1784000 | #Constraints: 37735 2439.15/2445.66 c #Conflicts: 1785000 | #Constraints: 38756 2439.15/2445.66 c #Conflicts: 1786000 | #Constraints: 39766 2439.15/2445.66 c #Conflicts: 1787000 | #Constraints: 40779 2439.15/2445.66 c #Conflicts: 1788000 | #Constraints: 41780 2439.15/2445.66 c #Conflicts: 1789000 | #Constraints: 42785 2439.15/2445.66 c #Conflicts: 1790000 | #Constraints: 43790 2439.15/2445.66 c #Conflicts: 1791000 | #Constraints: 44796 2439.15/2445.66 c #Conflicts: 1792000 | #Constraints: 45803 2439.15/2445.66 c #Conflicts: 1793000 | #Constraints: 46810 2439.15/2445.66 c #Conflicts: 1794000 | #Constraints: 47813 2439.15/2445.66 c #Conflicts: 1795000 | #Constraints: 48818 2439.15/2445.66 c #Conflicts: 1796000 | #Constraints: 49823 2439.15/2445.66 c #Conflicts: 1797000 | #Constraints: 50830 2439.15/2445.66 c #Conflicts: 1798000 | #Constraints: 51836 2439.15/2445.66 c #Conflicts: 1799000 | #Constraints: 52841 2439.15/2445.66 c #Conflicts: 1800000 | #Constraints: 53842 2439.15/2445.66 c INPROCESSING 2439.15/2445.66 c GARBAGE COLLECT 2439.15/2445.66 c rational objective 3 2477.44/2484.08 c #Conflicts: 1801000 | #Constraints: 28119 2477.44/2484.08 c #Conflicts: 1802000 | #Constraints: 29124 2477.44/2484.08 c #Conflicts: 1803000 | #Constraints: 30134 2477.44/2484.08 c #Conflicts: 1804000 | #Constraints: 31138 2477.44/2484.08 c #Conflicts: 1805000 | #Constraints: 32139 2477.44/2484.08 c #Conflicts: 1806000 | #Constraints: 33140 2477.44/2484.08 c #Conflicts: 1807000 | #Constraints: 34147 2477.44/2484.08 c #Conflicts: 1808000 | #Constraints: 35150 2477.44/2484.08 c #Conflicts: 1809000 | #Constraints: 36156 2477.44/2484.08 c #Conflicts: 1810000 | #Constraints: 37160 2477.44/2484.08 c #Conflicts: 1811000 | #Constraints: 38172 2477.44/2484.08 c #Conflicts: 1812000 | #Constraints: 39177 2477.44/2484.08 c #Conflicts: 1813000 | #Constraints: 40184 2477.44/2484.08 c #Conflicts: 1814000 | #Constraints: 41189 2477.44/2484.08 c #Conflicts: 1815000 | #Constraints: 42191 2477.44/2484.08 c #Conflicts: 1816000 | #Constraints: 43196 2477.44/2484.08 c #Conflicts: 1817000 | #Constraints: 44207 2477.44/2484.08 c #Conflicts: 1818000 | #Constraints: 45212 2477.44/2484.08 c #Conflicts: 1819000 | #Constraints: 46216 2477.44/2484.08 c #Conflicts: 1820000 | #Constraints: 47220 2477.44/2484.08 c #Conflicts: 1821000 | #Constraints: 48221 2477.44/2484.08 c #Conflicts: 1822000 | #Constraints: 49225 2477.44/2484.08 c #Conflicts: 1823000 | #Constraints: 50232 2477.44/2484.08 c #Conflicts: 1824000 | #Constraints: 51239 2477.44/2484.08 c #Conflicts: 1825000 | #Constraints: 52243 2477.44/2484.08 c #Conflicts: 1826000 | #Constraints: 53250 2477.44/2484.08 c #Conflicts: 1827000 | #Constraints: 54253 2477.44/2484.08 c INPROCESSING 2477.44/2484.08 c GARBAGE COLLECT 2477.44/2484.08 c rational objective 3 2526.89/2533.64 c #Conflicts: 1828000 | #Constraints: 28326 2526.89/2533.64 c #Conflicts: 1829000 | #Constraints: 29334 2526.89/2533.64 c #Conflicts: 1830000 | #Constraints: 30338 2526.89/2533.64 c #Conflicts: 1831000 | #Constraints: 31343 2526.89/2533.64 c #Conflicts: 1832000 | #Constraints: 32353 2526.89/2533.64 c #Conflicts: 1833000 | #Constraints: 33358 2526.89/2533.64 c #Conflicts: 1834000 | #Constraints: 34365 2526.89/2533.64 c #Conflicts: 1835000 | #Constraints: 35368 2526.89/2533.64 c #Conflicts: 1836000 | #Constraints: 36372 2526.89/2533.64 c #Conflicts: 1837000 | #Constraints: 37372 2526.89/2533.64 c #Conflicts: 1838000 | #Constraints: 38376 2526.89/2533.64 c #Conflicts: 1839000 | #Constraints: 39379 2526.89/2533.64 c #Conflicts: 1840000 | #Constraints: 40381 2526.89/2533.64 c #Conflicts: 1841000 | #Constraints: 41384 2526.89/2533.64 c #Conflicts: 1842000 | #Constraints: 42388 2526.89/2533.64 c #Conflicts: 1843000 | #Constraints: 43392 2526.89/2533.64 c #Conflicts: 1844000 | #Constraints: 44396 2526.89/2533.64 c #Conflicts: 1845000 | #Constraints: 45398 2526.89/2533.64 c #Conflicts: 1846000 | #Constraints: 46403 2526.89/2533.64 c #Conflicts: 1847000 | #Constraints: 47407 2526.89/2533.64 c #Conflicts: 1848000 | #Constraints: 48410 2526.89/2533.64 c #Conflicts: 1849000 | #Constraints: 49417 2526.89/2533.64 c #Conflicts: 1850000 | #Constraints: 50422 2526.89/2533.64 c #Conflicts: 1851000 | #Constraints: 51426 2526.89/2533.64 c #Conflicts: 1852000 | #Constraints: 52429 2526.89/2533.64 c #Conflicts: 1853000 | #Constraints: 53433 2526.89/2533.64 c #Conflicts: 1854000 | #Constraints: 54436 2526.89/2533.64 c INPROCESSING 2526.89/2533.64 c GARBAGE COLLECT 2526.89/2533.64 c rational objective 3 2580.76/2587.64 c #Conflicts: 1855000 | #Constraints: 28302 2580.76/2587.64 c #Conflicts: 1856000 | #Constraints: 29309 2580.76/2587.64 c #Conflicts: 1857000 | #Constraints: 30313 2580.76/2587.64 c #Conflicts: 1858000 | #Constraints: 31320 2580.76/2587.64 c #Conflicts: 1859000 | #Constraints: 32324 2580.76/2587.64 c #Conflicts: 1860000 | #Constraints: 33328 2580.76/2587.64 c #Conflicts: 1861000 | #Constraints: 34334 2580.76/2587.64 c #Conflicts: 1862000 | #Constraints: 35338 2580.76/2587.64 c #Conflicts: 1863000 | #Constraints: 36343 2580.76/2587.64 c #Conflicts: 1864000 | #Constraints: 37348 2580.76/2587.64 c #Conflicts: 1865000 | #Constraints: 38353 2580.76/2587.64 c #Conflicts: 1866000 | #Constraints: 39357 2580.76/2587.64 c #Conflicts: 1867000 | #Constraints: 40360 2580.76/2587.64 c #Conflicts: 1868000 | #Constraints: 41365 2580.76/2587.64 c #Conflicts: 1869000 | #Constraints: 42370 2580.76/2587.64 c #Conflicts: 1870000 | #Constraints: 43379 2580.76/2587.64 c #Conflicts: 1871000 | #Constraints: 44383 2580.76/2587.64 c #Conflicts: 1872000 | #Constraints: 45387 2580.76/2587.64 c #Conflicts: 1873000 | #Constraints: 46393 2580.76/2587.64 c #Conflicts: 1874000 | #Constraints: 47398 2580.76/2587.64 c #Conflicts: 1875000 | #Constraints: 48404 2580.76/2587.64 c #Conflicts: 1876000 | #Constraints: 49412 2580.76/2587.64 c #Conflicts: 1877000 | #Constraints: 50415 2580.76/2587.64 c #Conflicts: 1878000 | #Constraints: 51417 2580.76/2587.64 c #Conflicts: 1879000 | #Constraints: 52421 2580.76/2587.64 c #Conflicts: 1880000 | #Constraints: 53429 2580.76/2587.64 c #Conflicts: 1881000 | #Constraints: 54433 2580.76/2587.64 c INPROCESSING 2580.76/2587.64 c GARBAGE COLLECT 2580.76/2587.64 c rational objective 3 2638.33/2645.39 c #Conflicts: 1882000 | #Constraints: 28104 2638.33/2645.39 c #Conflicts: 1883000 | #Constraints: 29112 2638.33/2645.39 c #Conflicts: 1884000 | #Constraints: 30115 2638.33/2645.39 c #Conflicts: 1885000 | #Constraints: 31117 2638.33/2645.39 c #Conflicts: 1886000 | #Constraints: 32129 2638.33/2645.39 c #Conflicts: 1887000 | #Constraints: 33338 2638.33/2645.39 c #Conflicts: 1888000 | #Constraints: 34349 2638.33/2645.39 c #Conflicts: 1889000 | #Constraints: 35373 2638.33/2645.39 c #Conflicts: 1890000 | #Constraints: 36441 2638.33/2645.39 c #Conflicts: 1891000 | #Constraints: 37445 2638.33/2645.39 c #Conflicts: 1892000 | #Constraints: 38462 2638.33/2645.39 c #Conflicts: 1893000 | #Constraints: 39524 2638.33/2645.39 c #Conflicts: 1894000 | #Constraints: 40903 2638.33/2645.39 c #Conflicts: 1895000 | #Constraints: 41931 2638.33/2645.39 c #Conflicts: 1896000 | #Constraints: 42942 2638.33/2645.39 c #Conflicts: 1897000 | #Constraints: 43994 2638.33/2645.39 c #Conflicts: 1898000 | #Constraints: 45018 2638.33/2645.39 c #Conflicts: 1899000 | #Constraints: 46043 2638.33/2645.39 c #Conflicts: 1900000 | #Constraints: 47101 2638.33/2645.39 c #Conflicts: 1901000 | #Constraints: 48183 2638.33/2645.39 c #Conflicts: 1902000 | #Constraints: 49191 2638.33/2645.39 c #Conflicts: 1903000 | #Constraints: 50466 2638.33/2645.39 c #Conflicts: 1904000 | #Constraints: 51617 2638.33/2645.39 c #Conflicts: 1905000 | #Constraints: 52708 2638.33/2645.39 c #Conflicts: 1906000 | #Constraints: 53771 2638.33/2645.39 c #Conflicts: 1907000 | #Constraints: 54865 2638.33/2645.39 c #Conflicts: 1908000 | #Constraints: 56411 2638.33/2645.39 c #Conflicts: 1909000 | #Constraints: 57446 2638.33/2645.39 c INPROCESSING 2638.33/2645.39 c GARBAGE COLLECT 2638.33/2645.39 c rational objective 3 2690.30/2697.44 c #Conflicts: 1910000 | #Constraints: 29787 2690.30/2697.44 c #Conflicts: 1911000 | #Constraints: 30788 2690.30/2697.44 c #Conflicts: 1912000 | #Constraints: 31791 2690.30/2697.44 c #Conflicts: 1913000 | #Constraints: 32793 2690.30/2697.44 c #Conflicts: 1914000 | #Constraints: 33796 2690.30/2697.44 c #Conflicts: 1915000 | #Constraints: 34799 2690.30/2697.44 c #Conflicts: 1916000 | #Constraints: 35800 2690.30/2697.44 c #Conflicts: 1917000 | #Constraints: 36805 2690.30/2697.44 c #Conflicts: 1918000 | #Constraints: 37810 2690.30/2697.44 c #Conflicts: 1919000 | #Constraints: 38817 2690.30/2697.44 c #Conflicts: 1920000 | #Constraints: 39823 2690.30/2697.44 c #Conflicts: 1921000 | #Constraints: 40828 2690.30/2697.44 c #Conflicts: 1922000 | #Constraints: 41832 2690.30/2697.44 c #Conflicts: 1923000 | #Constraints: 42836 2690.30/2697.44 c #Conflicts: 1924000 | #Constraints: 43838 2690.30/2697.44 c #Conflicts: 1925000 | #Constraints: 44846 2690.30/2697.44 c #Conflicts: 1926000 | #Constraints: 45857 2690.30/2697.44 c #Conflicts: 1927000 | #Constraints: 46861 2690.30/2697.44 c #Conflicts: 1928000 | #Constraints: 47865 2690.30/2697.44 c #Conflicts: 1929000 | #Constraints: 48868 2690.30/2697.44 c #Conflicts: 1930000 | #Constraints: 49877 2690.30/2697.44 c #Conflicts: 1931000 | #Constraints: 50883 2690.30/2697.44 c #Conflicts: 1932000 | #Constraints: 51890 2690.30/2697.44 c #Conflicts: 1933000 | #Constraints: 52896 2690.30/2697.44 c #Conflicts: 1934000 | #Constraints: 53899 2690.30/2697.44 c #Conflicts: 1935000 | #Constraints: 54907 2690.30/2697.44 c #Conflicts: 1936000 | #Constraints: 55910 2690.30/2697.44 c #Conflicts: 1937000 | #Constraints: 56916 2690.30/2697.44 c INPROCESSING 2690.30/2697.44 c GARBAGE COLLECT 2690.30/2697.44 c rational objective 3 2737.48/2744.71 c #Conflicts: 1938000 | #Constraints: 29668 2737.48/2744.71 c #Conflicts: 1939000 | #Constraints: 30670 2737.48/2744.71 c #Conflicts: 1940000 | #Constraints: 31673 2737.48/2744.71 c #Conflicts: 1941000 | #Constraints: 32676 2737.48/2744.71 c #Conflicts: 1942000 | #Constraints: 33683 2737.48/2744.71 c #Conflicts: 1943000 | #Constraints: 34687 2737.48/2744.71 c #Conflicts: 1944000 | #Constraints: 35690 2737.48/2744.71 c #Conflicts: 1945000 | #Constraints: 36701 2737.48/2744.71 c #Conflicts: 1946000 | #Constraints: 37705 2737.48/2744.71 c #Conflicts: 1947000 | #Constraints: 38708 2737.48/2744.71 c #Conflicts: 1948000 | #Constraints: 39712 2737.48/2744.71 c #Conflicts: 1949000 | #Constraints: 40712 2737.48/2744.71 c #Conflicts: 1950000 | #Constraints: 41714 2737.48/2744.71 c #Conflicts: 1951000 | #Constraints: 42716 2737.48/2744.71 c #Conflicts: 1952000 | #Constraints: 43717 2737.48/2744.71 c #Conflicts: 1953000 | #Constraints: 44718 2737.48/2744.71 c #Conflicts: 1954000 | #Constraints: 45724 2737.48/2744.71 c #Conflicts: 1955000 | #Constraints: 46728 2737.48/2744.71 c #Conflicts: 1956000 | #Constraints: 47731 2737.48/2744.71 c #Conflicts: 1957000 | #Constraints: 48735 2737.48/2744.71 c #Conflicts: 1958000 | #Constraints: 49741 2737.48/2744.71 c #Conflicts: 1959000 | #Constraints: 50743 2737.48/2744.71 c #Conflicts: 1960000 | #Constraints: 51746 2737.48/2744.71 c #Conflicts: 1961000 | #Constraints: 52747 2737.48/2744.71 c #Conflicts: 1962000 | #Constraints: 53749 2737.48/2744.71 c #Conflicts: 1963000 | #Constraints: 54751 2737.48/2744.71 c #Conflicts: 1964000 | #Constraints: 55752 2737.48/2744.71 c #Conflicts: 1965000 | #Constraints: 56754 2737.48/2744.71 c INPROCESSING 2737.48/2744.71 c GARBAGE COLLECT 2737.48/2744.71 c rational objective 3 2790.06/2797.40 c #Conflicts: 1966000 | #Constraints: 29561 2790.06/2797.40 c #Conflicts: 1967000 | #Constraints: 30566 2790.06/2797.40 c #Conflicts: 1968000 | #Constraints: 31570 2790.06/2797.40 c #Conflicts: 1969000 | #Constraints: 32572 2790.06/2797.40 c #Conflicts: 1970000 | #Constraints: 33575 2790.06/2797.40 c #Conflicts: 1971000 | #Constraints: 34576 2790.06/2797.40 c #Conflicts: 1972000 | #Constraints: 35577 2790.06/2797.40 c #Conflicts: 1973000 | #Constraints: 36584 2790.06/2797.40 c #Conflicts: 1974000 | #Constraints: 37587 2790.06/2797.40 c #Conflicts: 1975000 | #Constraints: 38591 2790.06/2797.40 c #Conflicts: 1976000 | #Constraints: 39594 2790.06/2797.40 c #Conflicts: 1977000 | #Constraints: 40598 2790.06/2797.40 c #Conflicts: 1978000 | #Constraints: 41603 2790.06/2797.40 c #Conflicts: 1979000 | #Constraints: 42607 2790.06/2797.40 c #Conflicts: 1980000 | #Constraints: 43608 2790.06/2797.40 c #Conflicts: 1981000 | #Constraints: 44610 2790.06/2797.40 c #Conflicts: 1982000 | #Constraints: 45612 2790.06/2797.40 c #Conflicts: 1983000 | #Constraints: 46619 2790.06/2797.40 c #Conflicts: 1984000 | #Constraints: 47624 2790.06/2797.40 c #Conflicts: 1985000 | #Constraints: 48628 2790.06/2797.40 c #Conflicts: 1986000 | #Constraints: 49635 2790.06/2797.40 c #Conflicts: 1987000 | #Constraints: 50641 2790.06/2797.40 c #Conflicts: 1988000 | #Constraints: 51648 2790.06/2797.40 c #Conflicts: 1989000 | #Constraints: 52651 2790.06/2797.40 c #Conflicts: 1990000 | #Constraints: 53654 2790.06/2797.40 c #Conflicts: 1991000 | #Constraints: 54655 2790.06/2797.40 c #Conflicts: 1992000 | #Constraints: 55658 2790.06/2797.40 c #Conflicts: 1993000 | #Constraints: 56658 2790.06/2797.40 c INPROCESSING 2790.06/2797.40 c GARBAGE COLLECT 2790.06/2797.40 c rational objective 3 2842.93/2850.47 c #Conflicts: 1994000 | #Constraints: 29438 2842.93/2850.47 c #Conflicts: 1995000 | #Constraints: 30443 2842.93/2850.47 c #Conflicts: 1996000 | #Constraints: 31450 2842.93/2850.47 c #Conflicts: 1997000 | #Constraints: 32453 2842.93/2850.47 c #Conflicts: 1998000 | #Constraints: 33457 2842.93/2850.47 c #Conflicts: 1999000 | #Constraints: 34459 2842.93/2850.47 c #Conflicts: 2000000 | #Constraints: 35461 2842.93/2850.47 c #Conflicts: 2001000 | #Constraints: 36468 2842.93/2850.47 c #Conflicts: 2002000 | #Constraints: 37472 2842.93/2850.47 c #Conflicts: 2003000 | #Constraints: 38478 2842.93/2850.47 c #Conflicts: 2004000 | #Constraints: 39485 2842.93/2850.47 c #Conflicts: 2005000 | #Constraints: 40491 2842.93/2850.47 c #Conflicts: 2006000 | #Constraints: 41492 2842.93/2850.47 c #Conflicts: 2007000 | #Constraints: 42496 2842.93/2850.47 c #Conflicts: 2008000 | #Constraints: 43498 2842.93/2850.47 c #Conflicts: 2009000 | #Constraints: 44504 2842.93/2850.47 c #Conflicts: 2010000 | #Constraints: 45511 2842.93/2850.47 c #Conflicts: 2011000 | #Constraints: 46517 2842.93/2850.47 c #Conflicts: 2012000 | #Constraints: 47524 2842.93/2850.47 c #Conflicts: 2013000 | #Constraints: 48527 2842.93/2850.47 c #Conflicts: 2014000 | #Constraints: 49529 2842.93/2850.47 c #Conflicts: 2015000 | #Constraints: 50536 2842.93/2850.47 c #Conflicts: 2016000 | #Constraints: 51540 2842.93/2850.47 c #Conflicts: 2017000 | #Constraints: 52547 2842.93/2850.47 c #Conflicts: 2018000 | #Constraints: 53554 2842.93/2850.47 c #Conflicts: 2019000 | #Constraints: 54559 2842.93/2850.47 c #Conflicts: 2020000 | #Constraints: 55562 2842.93/2850.47 c #Conflicts: 2021000 | #Constraints: 56569 2842.93/2850.47 c INPROCESSING 2842.93/2850.47 c GARBAGE COLLECT 2842.93/2850.47 c rational objective 3 2899.09/2906.71 c #Conflicts: 2022000 | #Constraints: 29144 2899.09/2906.71 c #Conflicts: 2023000 | #Constraints: 30146 2899.09/2906.71 c #Conflicts: 2024000 | #Constraints: 31152 2899.09/2906.71 c #Conflicts: 2025000 | #Constraints: 32156 2899.09/2906.71 c #Conflicts: 2026000 | #Constraints: 33158 2899.09/2906.71 c #Conflicts: 2027000 | #Constraints: 34167 2899.09/2906.71 c #Conflicts: 2028000 | #Constraints: 35170 2899.09/2906.71 c #Conflicts: 2029000 | #Constraints: 36176 2899.09/2906.71 c #Conflicts: 2030000 | #Constraints: 37178 2899.09/2906.71 c #Conflicts: 2031000 | #Constraints: 38180 2899.09/2906.71 c #Conflicts: 2032000 | #Constraints: 39183 2899.09/2906.71 c #Conflicts: 2033000 | #Constraints: 40189 2899.09/2906.71 c #Conflicts: 2034000 | #Constraints: 41192 2899.09/2906.71 c #Conflicts: 2035000 | #Constraints: 42198 2899.09/2906.71 c #Conflicts: 2036000 | #Constraints: 43203 2899.09/2906.71 c #Conflicts: 2037000 | #Constraints: 44209 2899.09/2906.71 c #Conflicts: 2038000 | #Constraints: 45212 2899.09/2906.71 c #Conflicts: 2039000 | #Constraints: 46219 2899.09/2906.71 c #Conflicts: 2040000 | #Constraints: 47229 2899.09/2906.71 c #Conflicts: 2041000 | #Constraints: 48231 2899.09/2906.71 c #Conflicts: 2042000 | #Constraints: 49236 2899.09/2906.71 c #Conflicts: 2043000 | #Constraints: 50239 2899.09/2906.71 c #Conflicts: 2044000 | #Constraints: 51245 2899.09/2906.71 c #Conflicts: 2045000 | #Constraints: 52250 2899.09/2906.71 c #Conflicts: 2046000 | #Constraints: 53253 2899.09/2906.71 c #Conflicts: 2047000 | #Constraints: 54253 2899.09/2906.71 c #Conflicts: 2048000 | #Constraints: 55260 2899.09/2906.71 c #Conflicts: 2049000 | #Constraints: 56265 2899.09/2906.71 c #Conflicts: 2050000 | #Constraints: 57271 2899.09/2906.71 c INPROCESSING 2899.09/2906.71 c GARBAGE COLLECT 2899.09/2906.71 c rational objective 3 2961.65/2969.44 c #Conflicts: 2051000 | #Constraints: 29707 2961.65/2969.44 c #Conflicts: 2052000 | #Constraints: 30716 2961.65/2969.44 c #Conflicts: 2053000 | #Constraints: 31722 2961.65/2969.44 c #Conflicts: 2054000 | #Constraints: 32731 2961.65/2969.44 c #Conflicts: 2055000 | #Constraints: 33734 2961.65/2969.44 c #Conflicts: 2056000 | #Constraints: 34739 2961.65/2969.44 c #Conflicts: 2057000 | #Constraints: 35748 2961.65/2969.44 c #Conflicts: 2058000 | #Constraints: 36755 2961.65/2969.44 c #Conflicts: 2059000 | #Constraints: 37759 2961.65/2969.44 c #Conflicts: 2060000 | #Constraints: 38765 2961.65/2969.44 c #Conflicts: 2061000 | #Constraints: 39768 2961.65/2969.44 c #Conflicts: 2062000 | #Constraints: 40770 2961.65/2969.44 c #Conflicts: 2063000 | #Constraints: 41773 2961.65/2969.44 c #Conflicts: 2064000 | #Constraints: 42782 2961.65/2969.44 c #Conflicts: 2065000 | #Constraints: 43788 2961.65/2969.44 c #Conflicts: 2066000 | #Constraints: 44796 2961.65/2969.44 c #Conflicts: 2067000 | #Constraints: 45803 2961.65/2969.44 c #Conflicts: 2068000 | #Constraints: 46813 2961.65/2969.44 c #Conflicts: 2069000 | #Constraints: 47820 2961.65/2969.44 c #Conflicts: 2070000 | #Constraints: 48826 2961.65/2969.44 c #Conflicts: 2071000 | #Constraints: 49830 2961.65/2969.44 c #Conflicts: 2072000 | #Constraints: 50834 2961.65/2969.44 c #Conflicts: 2073000 | #Constraints: 51836 2961.65/2969.44 c #Conflicts: 2074000 | #Constraints: 52840 2961.65/2969.44 c #Conflicts: 2075000 | #Constraints: 53847 2961.65/2969.44 c #Conflicts: 2076000 | #Constraints: 54852 2961.65/2969.44 c #Conflicts: 2077000 | #Constraints: 55854 2961.65/2969.44 c #Conflicts: 2078000 | #Constraints: 56855 2961.65/2969.44 c #Conflicts: 2079000 | #Constraints: 57857 2961.65/2969.44 c INPROCESSING 2961.65/2969.44 c GARBAGE COLLECT 2961.65/2969.44 c rational objective 3 3027.69/3035.65 c #Conflicts: 2080000 | #Constraints: 30131 3027.69/3035.65 c #Conflicts: 2081000 | #Constraints: 31133 3027.69/3035.65 c #Conflicts: 2082000 | #Constraints: 32135 3027.69/3035.65 c #Conflicts: 2083000 | #Constraints: 33137 3027.69/3035.65 c #Conflicts: 2084000 | #Constraints: 34138 3027.69/3035.65 c #Conflicts: 2085000 | #Constraints: 35141 3027.69/3035.65 c #Conflicts: 2086000 | #Constraints: 36143 3027.69/3035.65 c #Conflicts: 2087000 | #Constraints: 37145 3027.69/3035.65 c #Conflicts: 2088000 | #Constraints: 38149 3027.69/3035.65 c #Conflicts: 2089000 | #Constraints: 39151 3027.69/3035.65 c #Conflicts: 2090000 | #Constraints: 40153 3027.69/3035.65 c #Conflicts: 2091000 | #Constraints: 41154 3027.69/3035.65 c #Conflicts: 2092000 | #Constraints: 42158 3027.69/3035.65 c #Conflicts: 2093000 | #Constraints: 43160 3027.69/3035.65 c #Conflicts: 2094000 | #Constraints: 44161 3027.69/3035.65 c #Conflicts: 2095000 | #Constraints: 45165 3027.69/3035.65 c #Conflicts: 2096000 | #Constraints: 46170 3027.69/3035.65 c #Conflicts: 2097000 | #Constraints: 47171 3027.69/3035.65 c #Conflicts: 2098000 | #Constraints: 48172 3027.69/3035.65 c #Conflicts: 2099000 | #Constraints: 49175 3027.69/3035.65 c #Conflicts: 2100000 | #Constraints: 50179 3027.69/3035.65 c #Conflicts: 2101000 | #Constraints: 51180 3027.69/3035.65 c #Conflicts: 2102000 | #Constraints: 52183 3027.69/3035.65 c #Conflicts: 2103000 | #Constraints: 53189 3027.69/3035.65 c #Conflicts: 2104000 | #Constraints: 54194 3027.69/3035.65 c #Conflicts: 2105000 | #Constraints: 55199 3027.69/3035.65 c #Conflicts: 2106000 | #Constraints: 56205 3027.69/3035.65 c #Conflicts: 2107000 | #Constraints: 57216 3027.69/3035.65 c #Conflicts: 2108000 | #Constraints: 58222 3027.69/3035.65 c INPROCESSING 3027.69/3035.65 c GARBAGE COLLECT 3027.69/3035.65 c rational objective 3 3091.04/3099.16 c #Conflicts: 2109000 | #Constraints: 30282 3091.04/3099.16 c #Conflicts: 2110000 | #Constraints: 31285 3091.04/3099.16 c #Conflicts: 2111000 | #Constraints: 32288 3091.04/3099.16 c #Conflicts: 2112000 | #Constraints: 33289 3091.04/3099.16 c #Conflicts: 2113000 | #Constraints: 34291 3091.04/3099.16 c #Conflicts: 2114000 | #Constraints: 35293 3091.04/3099.16 c #Conflicts: 2115000 | #Constraints: 36297 3091.04/3099.16 c #Conflicts: 2116000 | #Constraints: 37301 3091.04/3099.16 c #Conflicts: 2117000 | #Constraints: 38305 3091.04/3099.16 c #Conflicts: 2118000 | #Constraints: 39310 3091.04/3099.16 c #Conflicts: 2119000 | #Constraints: 40315 3091.04/3099.16 c #Conflicts: 2120000 | #Constraints: 41315 3091.04/3099.16 c #Conflicts: 2121000 | #Constraints: 42315 3091.04/3099.16 c #Conflicts: 2122000 | #Constraints: 43316 3091.04/3099.16 c #Conflicts: 2123000 | #Constraints: 44320 3091.04/3099.16 c #Conflicts: 2124000 | #Constraints: 45323 3091.04/3099.16 c #Conflicts: 2125000 | #Constraints: 46325 3091.04/3099.16 c #Conflicts: 2126000 | #Constraints: 47327 3091.04/3099.16 c #Conflicts: 2127000 | #Constraints: 48329 3091.04/3099.16 c #Conflicts: 2128000 | #Constraints: 49334 3091.04/3099.16 c #Conflicts: 2129000 | #Constraints: 50334 3091.04/3099.16 c #Conflicts: 2130000 | #Constraints: 51337 3091.04/3099.16 c #Conflicts: 2131000 | #Constraints: 52339 3091.04/3099.16 c #Conflicts: 2132000 | #Constraints: 53344 3091.04/3099.16 c #Conflicts: 2133000 | #Constraints: 54347 3091.04/3099.16 c #Conflicts: 2134000 | #Constraints: 55350 3091.04/3099.16 c #Conflicts: 2135000 | #Constraints: 56354 3091.04/3099.16 c #Conflicts: 2136000 | #Constraints: 57357 3091.04/3099.16 c #Conflicts: 2137000 | #Constraints: 58361 3091.04/3099.16 c INPROCESSING 3091.04/3099.16 c GARBAGE COLLECT 3091.04/3099.16 c rational objective 3 3149.79/3158.04 c #Conflicts: 2138000 | #Constraints: 30262 3149.79/3158.04 c #Conflicts: 2139000 | #Constraints: 31264 3149.79/3158.04 c #Conflicts: 2140000 | #Constraints: 32270 3149.79/3158.04 c #Conflicts: 2141000 | #Constraints: 33274 3149.79/3158.04 c #Conflicts: 2142000 | #Constraints: 34279 3149.79/3158.04 c #Conflicts: 2143000 | #Constraints: 35283 3149.79/3158.04 c #Conflicts: 2144000 | #Constraints: 36286 3149.79/3158.04 c #Conflicts: 2145000 | #Constraints: 37288 3149.79/3158.04 c #Conflicts: 2146000 | #Constraints: 38291 3149.79/3158.04 c #Conflicts: 2147000 | #Constraints: 39295 3149.79/3158.04 c #Conflicts: 2148000 | #Constraints: 40299 3149.79/3158.04 c #Conflicts: 2149000 | #Constraints: 41301 3149.79/3158.04 c #Conflicts: 2150000 | #Constraints: 42303 3149.79/3158.04 c #Conflicts: 2151000 | #Constraints: 43309 3149.79/3158.04 c #Conflicts: 2152000 | #Constraints: 44314 3149.79/3158.04 c #Conflicts: 2153000 | #Constraints: 45320 3149.79/3158.04 c #Conflicts: 2154000 | #Constraints: 46323 3149.79/3158.04 c #Conflicts: 2155000 | #Constraints: 47326 3149.79/3158.04 c #Conflicts: 2156000 | #Constraints: 48331 3149.79/3158.04 c #Conflicts: 2157000 | #Constraints: 49333 3149.79/3158.04 c #Conflicts: 2158000 | #Constraints: 50339 3149.79/3158.04 c #Conflicts: 2159000 | #Constraints: 51341 3149.79/3158.04 c #Conflicts: 2160000 | #Constraints: 52344 3149.79/3158.04 c #Conflicts: 2161000 | #Constraints: 53347 3149.79/3158.04 c #Conflicts: 2162000 | #Constraints: 54349 3149.79/3158.04 c #Conflicts: 2163000 | #Constraints: 55354 3149.79/3158.04 c #Conflicts: 2164000 | #Constraints: 56355 3149.79/3158.04 c #Conflicts: 2165000 | #Constraints: 57356 3149.79/3158.04 c #Conflicts: 2166000 | #Constraints: 58360 3149.79/3158.04 c INPROCESSING 3149.79/3158.04 c GARBAGE COLLECT 3149.79/3158.04 c rational objective 3 3197.28/3205.65 c #Conflicts: 2167000 | #Constraints: 30053 3197.28/3205.65 c #Conflicts: 2168000 | #Constraints: 31060 3197.28/3205.65 c #Conflicts: 2169000 | #Constraints: 32065 3197.28/3205.65 c #Conflicts: 2170000 | #Constraints: 33070 3197.28/3205.65 c #Conflicts: 2171000 | #Constraints: 34074 3197.28/3205.65 c #Conflicts: 2172000 | #Constraints: 35082 3197.28/3205.65 c #Conflicts: 2173000 | #Constraints: 36089 3197.28/3205.65 c #Conflicts: 2174000 | #Constraints: 37096 3197.28/3205.65 c #Conflicts: 2175000 | #Constraints: 38103 3197.28/3205.65 c #Conflicts: 2176000 | #Constraints: 39107 3197.28/3205.65 c #Conflicts: 2177000 | #Constraints: 40109 3197.28/3205.65 c #Conflicts: 2178000 | #Constraints: 41114 3197.28/3205.65 c #Conflicts: 2179000 | #Constraints: 42116 3197.28/3205.65 c #Conflicts: 2180000 | #Constraints: 43120 3197.28/3205.65 c #Conflicts: 2181000 | #Constraints: 44124 3197.28/3205.65 c #Conflicts: 2182000 | #Constraints: 45128 3197.28/3205.65 c #Conflicts: 2183000 | #Constraints: 46130 3197.28/3205.65 c #Conflicts: 2184000 | #Constraints: 47133 3197.28/3205.65 c #Conflicts: 2185000 | #Constraints: 48137 3197.28/3205.65 c #Conflicts: 2186000 | #Constraints: 49143 3197.28/3205.65 c #Conflicts: 2187000 | #Constraints: 50150 3197.28/3205.65 c #Conflicts: 2188000 | #Constraints: 51155 3197.28/3205.65 c #Conflicts: 2189000 | #Constraints: 52159 3197.28/3205.65 c #Conflicts: 2190000 | #Constraints: 53164 3197.28/3205.65 c #Conflicts: 2191000 | #Constraints: 54175 3197.28/3205.65 c #Conflicts: 2192000 | #Constraints: 55181 3197.28/3205.65 c #Conflicts: 2193000 | #Constraints: 56188 3197.28/3205.65 c #Conflicts: 2194000 | #Constraints: 57193 3197.28/3205.65 c #Conflicts: 2195000 | #Constraints: 58199 3197.28/3205.65 c #Conflicts: 2196000 | #Constraints: 59200 3197.28/3205.65 c INPROCESSING 3197.28/3205.65 c GARBAGE COLLECT 3197.28/3205.65 c rational objective 3 3268.51/3277.08 c #Conflicts: 2197000 | #Constraints: 30667 3268.51/3277.08 c #Conflicts: 2198000 | #Constraints: 31667 3268.51/3277.08 c #Conflicts: 2199000 | #Constraints: 32669 3268.51/3277.08 c #Conflicts: 2200000 | #Constraints: 33670 3268.51/3277.08 c #Conflicts: 2201000 | #Constraints: 34676 3268.51/3277.08 c #Conflicts: 2202000 | #Constraints: 35679 3268.51/3277.08 c #Conflicts: 2203000 | #Constraints: 36679 3268.51/3277.08 c #Conflicts: 2204000 | #Constraints: 37682 3268.51/3277.08 c #Conflicts: 2205000 | #Constraints: 38683 3268.51/3277.08 c #Conflicts: 2206000 | #Constraints: 39683 3268.51/3277.08 c #Conflicts: 2207000 | #Constraints: 40686 3268.51/3277.08 c #Conflicts: 2208000 | #Constraints: 41689 3268.51/3277.08 c #Conflicts: 2209000 | #Constraints: 42693 3268.51/3277.08 c #Conflicts: 2210000 | #Constraints: 43696 3268.51/3277.08 c #Conflicts: 2211000 | #Constraints: 44701 3268.51/3277.08 c #Conflicts: 2212000 | #Constraints: 45703 3268.51/3277.08 c #Conflicts: 2213000 | #Constraints: 46707 3268.51/3277.08 c #Conflicts: 2214000 | #Constraints: 47710 3268.51/3277.08 c #Conflicts: 2215000 | #Constraints: 48713 3268.51/3277.08 c #Conflicts: 2216000 | #Constraints: 49716 3268.51/3277.08 c #Conflicts: 2217000 | #Constraints: 50717 3268.51/3277.08 c #Conflicts: 2218000 | #Constraints: 51720 3268.51/3277.08 c #Conflicts: 2219000 | #Constraints: 52724 3268.51/3277.08 c #Conflicts: 2220000 | #Constraints: 53726 3268.51/3277.08 c #Conflicts: 2221000 | #Constraints: 54727 3268.51/3277.08 c #Conflicts: 2222000 | #Constraints: 55728 3268.51/3277.08 c #Conflicts: 2223000 | #Constraints: 56732 3268.51/3277.08 c #Conflicts: 2224000 | #Constraints: 57736 3268.51/3277.08 c #Conflicts: 2225000 | #Constraints: 58736 3268.51/3277.08 c #Conflicts: 2226000 | #Constraints: 59738 3268.51/3277.08 c INPROCESSING 3268.51/3277.08 c GARBAGE COLLECT 3268.51/3277.08 c rational objective 3 3357.89/3366.68 c #Conflicts: 2227000 | #Constraints: 31065 3357.89/3366.68 c #Conflicts: 2228000 | #Constraints: 32067 3357.89/3366.68 c #Conflicts: 2229000 | #Constraints: 33068 3357.89/3366.68 c #Conflicts: 2230000 | #Constraints: 34072 3357.89/3366.68 c #Conflicts: 2231000 | #Constraints: 35075 3357.89/3366.68 c #Conflicts: 2232000 | #Constraints: 36076 3357.89/3366.68 c #Conflicts: 2233000 | #Constraints: 37076 3357.89/3366.68 c #Conflicts: 2234000 | #Constraints: 38077 3357.89/3366.68 c #Conflicts: 2235000 | #Constraints: 39081 3357.89/3366.68 c #Conflicts: 2236000 | #Constraints: 40084 3357.89/3366.68 c #Conflicts: 2237000 | #Constraints: 41085 3357.89/3366.68 c #Conflicts: 2238000 | #Constraints: 42089 3357.89/3366.68 c #Conflicts: 2239000 | #Constraints: 43091 3357.89/3366.68 c #Conflicts: 2240000 | #Constraints: 44095 3357.89/3366.68 c #Conflicts: 2241000 | #Constraints: 45099 3357.89/3366.68 c #Conflicts: 2242000 | #Constraints: 46101 3357.89/3366.68 c #Conflicts: 2243000 | #Constraints: 47103 3357.89/3366.68 c #Conflicts: 2244000 | #Constraints: 48104 3357.89/3366.68 c #Conflicts: 2245000 | #Constraints: 49105 3357.89/3366.68 c #Conflicts: 2246000 | #Constraints: 50108 3357.89/3366.68 c #Conflicts: 2247000 | #Constraints: 51110 3357.89/3366.68 c #Conflicts: 2248000 | #Constraints: 52111 3357.89/3366.68 c #Conflicts: 2249000 | #Constraints: 53111 3357.89/3366.68 c #Conflicts: 2250000 | #Constraints: 54111 3357.89/3366.68 c #Conflicts: 2251000 | #Constraints: 55112 3357.89/3366.68 c #Conflicts: 2252000 | #Constraints: 56117 3357.89/3366.68 c #Conflicts: 2253000 | #Constraints: 57124 3357.89/3366.68 c #Conflicts: 2254000 | #Constraints: 58126 3357.89/3366.68 c #Conflicts: 2255000 | #Constraints: 59131 3357.89/3366.68 c #Conflicts: 2256000 | #Constraints: 60138 3357.89/3366.68 c INPROCESSING 3357.89/3366.68 c GARBAGE COLLECT 3357.89/3366.68 c rational objective 3 3413.56/3422.47 c #Conflicts: 2257000 | #Constraints: 31237 3413.56/3422.47 c #Conflicts: 2258000 | #Constraints: 32239 3413.56/3422.47 c #Conflicts: 2259000 | #Constraints: 33243 3413.56/3422.47 c #Conflicts: 2260000 | #Constraints: 34248 3413.56/3422.47 c #Conflicts: 2261000 | #Constraints: 35250 3413.56/3422.47 c #Conflicts: 2262000 | #Constraints: 36250 3413.56/3422.47 c #Conflicts: 2263000 | #Constraints: 37252 3413.56/3422.47 c #Conflicts: 2264000 | #Constraints: 38255 3413.56/3422.47 c #Conflicts: 2265000 | #Constraints: 39256 3413.56/3422.47 c #Conflicts: 2266000 | #Constraints: 40256 3413.56/3422.47 c #Conflicts: 2267000 | #Constraints: 41259 3413.56/3422.47 c #Conflicts: 2268000 | #Constraints: 42264 3413.56/3422.47 c #Conflicts: 2269000 | #Constraints: 43266 3413.56/3422.47 c #Conflicts: 2270000 | #Constraints: 44269 3413.56/3422.47 c #Conflicts: 2271000 | #Constraints: 45269 3413.56/3422.47 c #Conflicts: 2272000 | #Constraints: 46270 3413.56/3422.47 c #Conflicts: 2273000 | #Constraints: 47276 3413.56/3422.47 c #Conflicts: 2274000 | #Constraints: 48278 3413.56/3422.47 c #Conflicts: 2275000 | #Constraints: 49280 3413.56/3422.47 c #Conflicts: 2276000 | #Constraints: 50285 3413.56/3422.47 c #Conflicts: 2277000 | #Constraints: 51290 3413.56/3422.47 c #Conflicts: 2278000 | #Constraints: 52291 3413.56/3422.47 c #Conflicts: 2279000 | #Constraints: 53294 3413.56/3422.47 c #Conflicts: 2280000 | #Constraints: 54297 3413.56/3422.47 c #Conflicts: 2281000 | #Constraints: 55301 3413.56/3422.47 c #Conflicts: 2282000 | #Constraints: 56307 3413.56/3422.47 c #Conflicts: 2283000 | #Constraints: 57312 3413.56/3422.47 c #Conflicts: 2284000 | #Constraints: 58315 3413.56/3422.47 c #Conflicts: 2285000 | #Constraints: 59317 3413.56/3422.47 c #Conflicts: 2286000 | #Constraints: 60317 3413.56/3422.47 c INPROCESSING 3413.56/3422.47 c GARBAGE COLLECT 3413.56/3422.47 c rational objective 3 3484.59/3493.63 c #Conflicts: 2287000 | #Constraints: 31259 3484.59/3493.63 c #Conflicts: 2288000 | #Constraints: 32264 3484.59/3493.63 c #Conflicts: 2289000 | #Constraints: 33267 3484.59/3493.63 c #Conflicts: 2290000 | #Constraints: 34269 3484.59/3493.63 c #Conflicts: 2291000 | #Constraints: 35277 3484.59/3493.63 c #Conflicts: 2292000 | #Constraints: 36279 3484.59/3493.63 c #Conflicts: 2293000 | #Constraints: 37282 3484.59/3493.63 c #Conflicts: 2294000 | #Constraints: 38284 3484.59/3493.63 c #Conflicts: 2295000 | #Constraints: 39287 3484.59/3493.63 c #Conflicts: 2296000 | #Constraints: 40289 3484.59/3493.63 c #Conflicts: 2297000 | #Constraints: 41293 3484.59/3493.63 c #Conflicts: 2298000 | #Constraints: 42295 3484.59/3493.63 c #Conflicts: 2299000 | #Constraints: 43303 3484.59/3493.63 c #Conflicts: 2300000 | #Constraints: 44311 3484.59/3493.63 c #Conflicts: 2301000 | #Constraints: 45316 3484.59/3493.63 c #Conflicts: 2302000 | #Constraints: 46321 3484.59/3493.63 c #Conflicts: 2303000 | #Constraints: 47321 3484.59/3493.63 c #Conflicts: 2304000 | #Constraints: 48326 3484.59/3493.63 c #Conflicts: 2305000 | #Constraints: 49329 3484.59/3493.63 c #Conflicts: 2306000 | #Constraints: 50331 3484.59/3493.63 c #Conflicts: 2307000 | #Constraints: 51334 3484.59/3493.63 c #Conflicts: 2308000 | #Constraints: 52336 3484.59/3493.63 c #Conflicts: 2309000 | #Constraints: 53338 3484.59/3493.63 c #Conflicts: 2310000 | #Constraints: 54342 3484.59/3493.63 c #Conflicts: 2311000 | #Constraints: 55346 3484.59/3493.63 c #Conflicts: 2312000 | #Constraints: 56347 3484.59/3493.63 c #Conflicts: 2313000 | #Constraints: 57352 3484.59/3493.63 c #Conflicts: 2314000 | #Constraints: 58355 3484.59/3493.63 c #Conflicts: 2315000 | #Constraints: 59359 3484.59/3493.63 c #Conflicts: 2316000 | #Constraints: 60362 3484.59/3493.63 c INPROCESSING 3484.59/3493.63 c GARBAGE COLLECT 3484.59/3493.63 c rational objective 3 3538.77/3547.96 c #Conflicts: 2317000 | #Constraints: 31073 3538.77/3547.96 c #Conflicts: 2318000 | #Constraints: 32075 3538.77/3547.96 c #Conflicts: 2319000 | #Constraints: 33078 3538.77/3547.96 c #Conflicts: 2320000 | #Constraints: 34084 3538.77/3547.96 c #Conflicts: 2321000 | #Constraints: 35088 3538.77/3547.96 c #Conflicts: 2322000 | #Constraints: 36089 3538.77/3547.96 c #Conflicts: 2323000 | #Constraints: 37095 3538.77/3547.96 c #Conflicts: 2324000 | #Constraints: 38098 3538.77/3547.96 c #Conflicts: 2325000 | #Constraints: 39104 3538.77/3547.96 c #Conflicts: 2326000 | #Constraints: 40108 3538.77/3547.96 c #Conflicts: 2327000 | #Constraints: 41108 3538.77/3547.96 c #Conflicts: 2328000 | #Constraints: 42110 3538.77/3547.96 c #Conflicts: 2329000 | #Constraints: 43114 3538.77/3547.96 c #Conflicts: 2330000 | #Constraints: 44116 3538.77/3547.96 c #Conflicts: 2331000 | #Constraints: 45120 3538.77/3547.96 c #Conflicts: 2332000 | #Constraints: 46123 3538.77/3547.96 c #Conflicts: 2333000 | #Constraints: 47124 3538.77/3547.96 c #Conflicts: 2334000 | #Constraints: 48125 3538.77/3547.96 c #Conflicts: 2335000 | #Constraints: 49127 3538.77/3547.96 c #Conflicts: 2336000 | #Constraints: 50132 3538.77/3547.96 c #Conflicts: 2337000 | #Constraints: 51134 3538.77/3547.96 c #Conflicts: 2338000 | #Constraints: 52135 3538.77/3547.96 c #Conflicts: 2339000 | #Constraints: 53137 3538.77/3547.96 c #Conflicts: 2340000 | #Constraints: 54141 3538.77/3547.96 c #Conflicts: 2341000 | #Constraints: 55143 3538.77/3547.96 c #Conflicts: 2342000 | #Constraints: 56146 3538.77/3547.96 c #Conflicts: 2343000 | #Constraints: 57147 3538.77/3547.96 c #Conflicts: 2344000 | #Constraints: 58150 3538.77/3547.96 c #Conflicts: 2345000 | #Constraints: 59154 3538.77/3547.96 c #Conflicts: 2346000 | #Constraints: 60158 3538.77/3547.96 c #Conflicts: 2347000 | #Constraints: 61161 3538.77/3547.96 c INPROCESSING 3538.77/3547.96 c GARBAGE COLLECT 3538.77/3547.96 c rational objective 3 3600.02/3609.30 c #Conflicts: 2348000 | #Constraints: 31663 3600.02/3609.30 c #Conflicts: 2349000 | #Constraints: 32669 3600.02/3609.30 c #Conflicts: 2350000 | #Constraints: 33672 3600.02/3609.30 c #Conflicts: 2351000 | #Constraints: 34673 3600.02/3609.30 c #Conflicts: 2352000 | #Constraints: 35677 3600.02/3609.30 c #Conflicts: 2353000 | #Constraints: 36682 3600.02/3609.30 c #Conflicts: 2354000 | #Constraints: 37686 3600.02/3609.30 c #Conflicts: 2355000 | #Constraints: 38694 3600.02/3609.30 c #Conflicts: 2356000 | #Constraints: 39696 3600.02/3609.30 c #Conflicts: 2357000 | #Constraints: 40699 3600.02/3609.30 c #Conflicts: 2358000 | #Constraints: 41699 3600.02/3609.30 c #Conflicts: 2359000 | #Constraints: 42702 3600.02/3609.30 c #Conflicts: 2360000 | #Constraints: 43705 3600.02/3609.30 c #Conflicts: 2361000 | #Constraints: 44705 3600.02/3609.30 c #Conflicts: 2362000 | #Constraints: 45708 3600.02/3609.30 c #Conflicts: 2363000 | #Constraints: 46710 3600.02/3609.30 c #Conflicts: 2364000 | #Constraints: 47713 3600.02/3609.30 c #Conflicts: 2365000 | #Constraints: 48715 3600.02/3609.30 c #Conflicts: 2366000 | #Constraints: 49718 3600.02/3609.30 c #Conflicts: 2367000 | #Constraints: 50722 3600.02/3609.30 c #Conflicts: 2368000 | #Constraints: 51963 3600.02/3609.30 c #Conflicts: 2369000 | #Constraints: 53119 3600.02/3609.30 c #Conflicts: 2370000 | #Constraints: 54169 3600.02/3609.30 c #Conflicts: 2371000 | #Constraints: 55228 3600.02/3609.30 c Program interrupted by user. 3600.02/3609.30 c cpu time 3575.08 s 3600.02/3609.30 c deterministic time 537315304691 5.37e+11 3600.02/3609.30 c optimization time 60.8847 s 3600.02/3609.30 c total solve time 3514.19 s 3600.02/3609.30 c core-guided solve time 0 s 3600.02/3609.30 c propagation time 3014.92 s 3600.02/3609.30 c conflict analysis time 504.361 s 3600.02/3609.30 c propagations 293353464 3600.02/3609.30 c resolve steps 29155567 3600.02/3609.30 c decisions 8568921 3600.02/3609.30 c conflicts 2371491 3600.02/3609.30 c restarts 4094 3600.02/3609.30 c inprocessing phases 144 3600.02/3609.30 c input clauses 801 3600.02/3609.30 c input cardinalities 31 3600.02/3609.30 c input general constraints 192 3600.02/3609.30 c input average constraint length 8.64 3600.02/3609.30 c input average constraint degree 57.01 3600.02/3609.30 c learned clauses 553799 3600.02/3609.30 c learned cardinalities 6929 3600.02/3609.30 c learned general constraints 1848119 3600.02/3609.30 c learned average constraint length 161.41 3600.02/3609.30 c learned average constraint degree 1989913278.70 3600.02/3609.30 c watched constraints 1613199 3600.02/3609.30 c counting constraints 235112 3600.02/3609.30 c gcd simplifications 237000 3600.02/3609.30 c detected cardinalities 440 3600.02/3609.30 c weakened non-implied lits 107603282 3600.02/3609.30 c weakened non-implying lits 717936 3600.02/3609.30 c original variables 774 3600.02/3609.30 c clausal propagations 3246020 3600.02/3609.30 c cardinality propagations 13379588 3600.02/3609.30 c watched propagations 45333478 3600.02/3609.30 c counting propagations 229194626 3600.02/3609.30 c watch lookups 66058470727 3600.02/3609.30 c watch backjump lookups 53535855395 3600.02/3609.30 c watch checks 335333560274 3600.02/3609.30 c propagation checks 79870858330 3600.02/3609.30 c constraint additions 1907980408 3600.02/3609.30 c trail pops 304283250 3600.02/3609.30 c formula constraints 1024 3600.02/3609.30 c learned constraints 2361050 3600.02/3609.30 c bound constraints 0 3600.02/3609.30 c core-guided constraints 0 3600.02/3609.30 c encountered formula constraints 17342241 3600.02/3609.30 c encountered learned constraints 10422629 3600.02/3609.30 c encountered bound constraints 0 3600.02/3609.30 c encountered core-guided constraints 0 3600.02/3609.30 c LP total time 121.992 s 3600.02/3609.30 c LP solve time 105.98 s 3600.02/3609.30 c LP constraints added 1725 3600.02/3609.30 c LP constraints removed 693 3600.02/3609.30 c LP pivots internal 2371437 3600.02/3609.30 c LP pivots root 2484 3600.02/3609.30 c LP calls 107102 3600.02/3609.30 c LP optimalities 69484 3600.02/3609.30 c LP no pivot count 21429 3600.02/3609.30 c LP infeasibilities 37590 3600.02/3609.30 c LP valid Farkas constraints 37162 3600.02/3609.30 c LP learned Farkas constraints 10440 3600.02/3609.30 c LP basis resets 39 3600.02/3609.30 c LP cycling count 1 3600.02/3609.30 c LP singular count 26 3600.02/3609.30 c LP no primal count 0 3600.02/3609.30 c LP no farkas count 12 3600.02/3609.30 c LP other issue count 0 3600.02/3609.30 c LP Gomory cuts 195 3600.02/3609.30 c LP learned cuts 506 3600.02/3609.30 c LP deleted cuts 693 3600.02/3609.30 c LP encountered Gomory constraints 57300 3600.02/3609.30 c LP encountered Farkas constraints 3527956 3600.02/3609.30 c LP encountered learned Farkas constraints 166492 3600.02/3609.30 c CG auxiliary variables introduced 0 3600.02/3609.30 c CG solutions found 0 3600.02/3609.30 c CG cores constructed 0 3600.02/3609.30 c CG core cardinality constraints returned 0 3600.02/3609.30 c CG unit cores 0 3600.02/3609.30 c CG single cores 0 3600.02/3609.30 c CG blocks removed during cardinality reduction 0 3600.02/3609.30 c CG first core best 0 3600.02/3609.30 c CG decision core best 0 3600.02/3609.30 c CG core reduction tie 0 3600.02/3609.30 c CG core degree average 0.00 3600.02/3609.30 c CG core slack average 0.00 3600.02/3609.30 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 (62489 MiB free)
memory of node 1: 64473 MiB (63126 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455268-1721461551/watcher-4455268-1721461551 -o /tmp/evaluation-result-4455268-1721461551/solver-4455268-1721461551 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040618 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455268-1721461551.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
Current StackSize limit: 8192 KiB
solver pid=1044037, runsolver pid=1044034
[startup+0.100196 s]*
/proc/loadavg: 4.28 4.20 4.12 5/254 1044038
/proc/meminfo: memFree=128626964/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=39804 memory=10816 CPUtime=0.09 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 1268 0 0 0 9 0 0 0 20 0 1 0 198322173 40759296 2704 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 9951 2704 1847 922 0 1903 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39804 KiB
Current children cumulated memory: 10816 KiB
[startup+0.205399 s]*
/proc/loadavg: 4.28 4.20 4.12 5/254 1044038
/proc/meminfo: memFree=128625508/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=40568 memory=12136 CPUtime=0.2 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 1607 0 0 0 19 1 0 0 20 0 1 0 198322173 41541632 3034 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 10142 3034 1847 922 0 2094 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40568 KiB
Current children cumulated memory: 12136 KiB
[startup+0.304448 s]*
/proc/loadavg: 4.28 4.20 4.12 5/254 1044038
/proc/meminfo: memFree=128623044/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=41144 memory=13184 CPUtime=0.29 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 1850 0 0 0 28 1 0 0 20 0 1 0 198322173 42131456 3296 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 10286 3296 1847 922 0 2238 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41144 KiB
Current children cumulated memory: 13184 KiB
[startup+0.700173 s]
/proc/loadavg: 4.28 4.20 4.12 5/254 1044038
/proc/meminfo: memFree=128619344/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=41632 memory=15952 CPUtime=0.69 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 2102 0 0 0 66 3 0 0 20 0 1 0 198322173 42631168 3988 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 10408 3988 1863 922 0 2360 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41632 KiB
Current children cumulated memory: 15952 KiB
[startup+1.50023 s]
/proc/loadavg: 4.28 4.20 4.12 5/254 1044038
/proc/meminfo: memFree=128618644/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=42616 memory=17008 CPUtime=1.48 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 2332 0 0 0 143 5 0 0 20 0 1 0 198322173 43638784 4252 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 10654 4252 1863 922 0 2606 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42616 KiB
Current children cumulated memory: 17008 KiB
[startup+3.1053 s]
/proc/loadavg: 4.28 4.20 4.12 5/254 1044038
/proc/meminfo: memFree=128615040/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=48220 memory=23120 CPUtime=3.09 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 3539 0 0 0 300 9 0 0 20 0 1 0 198322173 49377280 5780 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 12055 5780 1966 922 0 4007 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48220 KiB
Current children cumulated memory: 23120 KiB
[startup+6.30017 s]
/proc/loadavg: 4.26 4.19 4.12 5/254 1044038
/proc/meminfo: memFree=128611412/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=49088 memory=23984 CPUtime=6.27 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 3947 0 0 0 608 19 0 0 20 0 1 0 198322173 50266112 5996 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 12272 5996 1966 922 0 4224 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49088 KiB
Current children cumulated memory: 23984 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.19 4.12 5/254 1044039
/proc/meminfo: memFree=128606752/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=50212 memory=25256 CPUtime=12.66 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 4272 0 0 0 1230 36 0 0 20 0 1 0 198322173 51417088 6314 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 12553 6314 1966 922 0 4505 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50212 KiB
Current children cumulated memory: 25256 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.18 4.12 5/254 1044041
/proc/meminfo: memFree=128564468/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=58688 memory=32344 CPUtime=25.43 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 5545 0 0 0 2475 68 0 0 20 0 1 0 198322173 60096512 8086 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 14672 8086 1966 922 0 6624 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 58688 KiB
Current children cumulated memory: 32344 KiB
[startup+51.1053 s]
/proc/loadavg: 4.18 4.18 4.12 5/254 1044045
/proc/meminfo: memFree=128552404/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=71112 memory=41752 CPUtime=50.97 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 7877 0 0 0 4975 122 0 0 20 0 1 0 198322173 72818688 10438 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 17778 10438 1982 922 0 9730 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 71112 KiB
Current children cumulated memory: 41752 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/254 1044055
/proc/meminfo: memFree=128518960/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=74772 memory=49180 CPUtime=102.02 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 8841 0 0 0 9997 205 0 0 20 0 1 0 198322173 76566528 12295 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 18693 12295 1982 922 0 10645 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 74772 KiB
Current children cumulated memory: 49180 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/254 1044065
/proc/meminfo: memFree=128474192/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=91976 memory=59744 CPUtime=161.84 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 10466 0 0 0 15902 282 0 0 20 0 1 0 198322173 94183424 14936 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 22994 14936 1982 922 0 14946 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 91976 KiB
Current children cumulated memory: 59744 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/254 1044075
/proc/meminfo: memFree=128402728/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=92908 memory=60824 CPUtime=221.65 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 10832 0 0 0 21817 348 0 0 20 0 1 0 198322173 95137792 15206 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 23227 15206 1982 922 0 15179 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 92908 KiB
Current children cumulated memory: 60824 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/257 1044090
/proc/meminfo: memFree=128373076/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=95124 memory=62872 CPUtime=281.47 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 11923 0 0 0 27722 425 0 0 20 0 1 0 198322173 97406976 15718 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 23781 15718 1982 922 0 15733 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 95124 KiB
Current children cumulated memory: 62872 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 1044101
/proc/meminfo: memFree=128334596/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=99124 memory=68336 CPUtime=341.29 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 12747 0 0 0 33631 498 0 0 20 0 1 0 198322173 101502976 17084 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 24781 17084 1982 922 0 16733 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 99124 KiB
Current children cumulated memory: 68336 KiB
[startup+402.3 s]
/proc/loadavg: 4.47 4.23 4.13 6/257 1044111
/proc/meminfo: memFree=128306704/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=122784 memory=80260 CPUtime=401.12 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 14381 0 0 0 39556 556 0 0 20 0 1 0 198322173 125730816 20065 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 30696 20065 1982 922 0 22648 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 122784 KiB
Current children cumulated memory: 80260 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.20 4.12 5/257 1044122
/proc/meminfo: memFree=128274756/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=123508 memory=80780 CPUtime=460.93 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 14542 0 0 0 45462 631 0 0 20 0 1 0 198322173 126472192 20195 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 30877 20195 1982 922 0 22829 0
################
# More data... #
################
Current children cumulated memory: 148624 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/255 1045833
/proc/meminfo: memFree=95363384/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=193908 memory=148548 CPUtime=2914.66 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 31510 0 0 0 289285 2181 0 0 20 0 1 0 198322173 198561792 37137 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 48477 37137 1982 922 0 40429 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 193908 KiB
Current children cumulated memory: 148548 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/255 1045889
/proc/meminfo: memFree=125112232/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=195344 memory=149568 CPUtime=2974.51 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 31826 0 0 0 295239 2212 0 0 20 0 1 0 198322173 200032256 37392 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 48836 37392 1982 922 0 40788 0
Current children cumulated CPU time: 2974.51 s
Current children cumulated vsize: 195344 KiB
Current children cumulated memory: 149568 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/255 1045899
/proc/meminfo: memFree=125009648/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=195964 memory=150056 CPUtime=3034.37 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 32159 0 0 0 301199 2238 0 0 20 0 1 0 198322173 200667136 37514 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 48991 37514 1982 922 0 40943 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 195964 KiB
Current children cumulated memory: 150056 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/255 1045910
/proc/meminfo: memFree=124972836/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=196476 memory=150424 CPUtime=3094.22 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 32450 0 0 0 307158 2264 0 0 20 0 1 0 198322173 201191424 37606 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 49119 37606 1982 922 0 41071 0
Current children cumulated CPU time: 3094.22 s
Current children cumulated vsize: 196476 KiB
Current children cumulated memory: 150424 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/255 1045920
/proc/meminfo: memFree=124847900/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=196476 memory=150428 CPUtime=3154.07 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 32675 0 0 0 313113 2294 0 0 20 0 1 0 198322173 201191424 37607 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 49119 37607 1982 922 0 41071 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 196476 KiB
Current children cumulated memory: 150428 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.14 4.12 5/255 1045930
/proc/meminfo: memFree=124831288/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=196732 memory=150632 CPUtime=3213.94 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 32946 0 0 0 319066 2328 0 0 20 0 1 0 198322173 201453568 37658 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 49183 37658 1982 922 0 41135 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 196732 KiB
Current children cumulated memory: 150632 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/256 1045944
/proc/meminfo: memFree=124822356/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=197244 memory=150940 CPUtime=3273.79 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 33238 0 0 0 325027 2352 0 0 20 0 1 0 198322173 201977856 37735 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 49311 37735 1982 922 0 41263 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 197244 KiB
Current children cumulated memory: 150940 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/256 1045955
/proc/meminfo: memFree=124800016/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=197436 memory=150960 CPUtime=3333.65 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 33326 0 0 0 330991 2374 0 0 20 0 1 0 198322173 202174464 37740 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 49359 37740 1982 922 0 41311 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 197436 KiB
Current children cumulated memory: 150960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/256 1045965
/proc/meminfo: memFree=124786404/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=199360 memory=152224 CPUtime=3393.51 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 33818 0 0 0 336948 2403 0 0 20 0 1 0 198322173 204144640 38056 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 49840 38056 1982 922 0 41792 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 199360 KiB
Current children cumulated memory: 152224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/256 1045976
/proc/meminfo: memFree=124570412/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=199360 memory=152228 CPUtime=3453.37 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 34016 0 0 0 342904 2433 0 0 20 0 1 0 198322173 204144640 38057 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 49840 38057 1982 922 0 41792 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 199360 KiB
Current children cumulated memory: 152228 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/256 1046033
/proc/meminfo: memFree=125415060/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=199488 memory=152368 CPUtime=3513.23 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 34278 0 0 0 348862 2461 0 0 20 0 1 0 198322173 204275712 38092 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 49872 38092 1982 922 0 41824 0
Current children cumulated CPU time: 3513.23 s
Current children cumulated vsize: 199488 KiB
Current children cumulated memory: 152368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/254 1046043
/proc/meminfo: memFree=125398000/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=199848 memory=152620 CPUtime=3573.08 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 34574 0 0 0 354821 2487 0 0 20 0 1 0 198322173 204644352 38155 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 49962 38155 1982 922 0 41914 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 199848 KiB
Current children cumulated memory: 152620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 1046047
/proc/meminfo: memFree=125384364/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=200104 memory=152640 CPUtime=3600.02 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 34619 0 0 0 357507 2495 0 0 20 0 1 0 198322173 204906496 38160 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 50026 38160 1982 922 0 41978 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 200104 KiB
Current children cumulated memory: 152640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 1044037 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.08 s, system=24.9601 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 1046047
/proc/meminfo: memFree=125384364/131524600 swapFree=131071996/131071996
[pid=1044037] ppid=1044034 vsize=200104 memory=152640 CPUtime=3600.02 cores=1,3
/proc/1044037/stat : 1044037 (roundingsat) R 1044034 1044037 1040606 0 -1 4194304 34619 0 0 0 357507 2495 0 0 20 0 1 0 198322173 204906496 38160 134679101440 4194304 7968373 140737030472304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 27095040 140737030480828 140737030480992 140737030480992 140737030488009 0
/proc/1044037/statm: 50026 38160 1982 922 0 41978 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 200104 KiB
Current children cumulated memory: 152640 KiB
Child status: 0
Real time (s): 3609.3
CPU time (s): 3600.04
CPU user time (s): 3575.08
CPU system time (s): 24.9601
CPU usage (%): 99.7433
Max. virtual memory (cumulated for all children) (KiB): 200104
Max. memory (cumulated for all children) (KiB): 152640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.08
system time used= 24.9601
maximum resident set size= 153192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 2002
# summary of solver processes directly reported to runsolver:
# pid: 1044037
# total CPU time (s): 3600.04
# total CPU user time (s): 3575.08
# total CPU system time (s): 24.9601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30248 second user time and 15.1797 second system time
The end
Begin job on nodeC028 at 2024-07-20 09:46:04 IDJOB=4455268 IDBENCH=148776 IDSOLVER=3084 FILE ID=nodeC028/4455268-1721461551 RUNJOBID= nodeC028-1721456189-1040618 SLURM_JOB_ID= 7545691 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455268-1721461551/watcher-4455268-1721461551 -o /tmp/evaluation-result-4455268-1721461551/solver-4455268-1721461551 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040618 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455268-1721461551.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef RANDOM SEED=756022616 nodeC028.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 : 3674.252 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 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 : 3656.806 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3599.906 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 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 : 3666.556 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3674.315 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 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 : 3685.069 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.807 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 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 : 3672.548 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128631268 kB MemAvailable: 129171924 kB Buffers: 547352 kB Cached: 842200 kB SwapCached: 0 kB Active: 1075560 kB Inactive: 1218508 kB Active(anon): 1536 kB Inactive(anon): 948916 kB Active(file): 1074024 kB Inactive(file): 269592 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5372 kB Writeback: 0 kB AnonPages: 899612 kB Mapped: 115828 kB Shmem: 45912 kB KReclaimable: 73724 kB Slab: 182004 kB SReclaimable: 73724 kB SUnreclaim: 108280 kB KernelStack: 4128 kB PageTables: 11176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1320328 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 66336 kB HardwareCorrupted: 0 kB AnonHugePages: 624640 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: 197332 kB DirectMap2M: 20547584 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890040 MiB End job on nodeC028 at 2024-07-20 10:46:13