| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | Wrong Cert. | 3600.01 | 3609.11 |
| 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.01 c #variables 774 #constraints 1024 0.00/0.01 c bounds 4 >= 3 @ 0.007006 0.00/0.01 c rational objective 3 0.51/0.56 c #Conflicts: 1000 | #Constraints: 2041 0.51/0.56 c #Conflicts: 2000 | #Constraints: 3050 0.51/0.56 c INPROCESSING 0.51/0.56 c GARBAGE COLLECT 0.51/0.56 c rational objective 3 1.10/1.18 c #Conflicts: 3000 | #Constraints: 2285 1.10/1.18 c #Conflicts: 4000 | #Constraints: 3290 1.10/1.18 c INPROCESSING 1.10/1.18 c GARBAGE COLLECT 1.10/1.18 c rational objective 3 2.10/2.18 c #Conflicts: 5000 | #Constraints: 2693 2.10/2.18 c #Conflicts: 6000 | #Constraints: 3700 2.10/2.18 c INPROCESSING 2.10/2.18 c GARBAGE COLLECT 2.10/2.18 c rational objective 3 3.38/3.42 c #Conflicts: 7000 | #Constraints: 2795 3.38/3.42 c #Conflicts: 8000 | #Constraints: 3795 3.38/3.42 c #Conflicts: 9000 | #Constraints: 4797 3.38/3.42 c INPROCESSING 3.38/3.42 c GARBAGE COLLECT 3.38/3.42 c rational objective 3 4.27/4.39 c #Conflicts: 10000 | #Constraints: 3448 4.27/4.39 c #Conflicts: 11000 | #Constraints: 4456 4.27/4.39 c #Conflicts: 12000 | #Constraints: 5463 4.27/4.39 c INPROCESSING 4.27/4.39 c GARBAGE COLLECT 4.27/4.39 c rational objective 3 5.47/5.52 c #Conflicts: 13000 | #Constraints: 3878 5.47/5.52 c #Conflicts: 14000 | #Constraints: 4884 5.47/5.52 c #Conflicts: 15000 | #Constraints: 5893 5.47/5.52 c INPROCESSING 5.47/5.52 c GARBAGE COLLECT 5.47/5.52 c rational objective 3 6.37/6.48 c #Conflicts: 16000 | #Constraints: 4098 6.37/6.48 c #Conflicts: 17000 | #Constraints: 5115 6.37/6.48 c #Conflicts: 18000 | #Constraints: 6123 6.37/6.48 c INPROCESSING 6.37/6.48 c GARBAGE COLLECT 6.37/6.48 c rational objective 3 7.67/7.73 c #Conflicts: 19000 | #Constraints: 4118 7.67/7.73 c #Conflicts: 20000 | #Constraints: 5124 7.67/7.73 c #Conflicts: 21000 | #Constraints: 6128 7.67/7.73 c INPROCESSING 7.67/7.73 c GARBAGE COLLECT 7.67/7.73 c rational objective 3 8.98/9.08 c #Conflicts: 22000 | #Constraints: 3913 8.98/9.08 c #Conflicts: 23000 | #Constraints: 4921 8.98/9.08 c #Conflicts: 24000 | #Constraints: 5929 8.98/9.08 c #Conflicts: 25000 | #Constraints: 6940 8.98/9.08 c INPROCESSING 8.98/9.08 c GARBAGE COLLECT 8.98/9.08 c rational objective 3 10.46/10.57 c #Conflicts: 26000 | #Constraints: 4517 10.46/10.57 c #Conflicts: 27000 | #Constraints: 5525 10.46/10.57 c #Conflicts: 28000 | #Constraints: 6531 10.46/10.57 c #Conflicts: 29000 | #Constraints: 7539 10.46/10.57 c INPROCESSING 10.46/10.57 c GARBAGE COLLECT 10.46/10.57 c rational objective 3 12.07/12.18 c #Conflicts: 30000 | #Constraints: 4919 12.07/12.18 c #Conflicts: 31000 | #Constraints: 5924 12.07/12.18 c #Conflicts: 32000 | #Constraints: 6931 12.07/12.18 c #Conflicts: 33000 | #Constraints: 7941 12.07/12.18 c INPROCESSING 12.07/12.18 c GARBAGE COLLECT 12.07/12.18 c rational objective 3 13.66/13.77 c #Conflicts: 34000 | #Constraints: 5120 13.66/13.77 c #Conflicts: 35000 | #Constraints: 6123 13.66/13.77 c #Conflicts: 36000 | #Constraints: 7132 13.66/13.77 c #Conflicts: 37000 | #Constraints: 8136 13.66/13.77 c INPROCESSING 13.66/13.77 c GARBAGE COLLECT 13.66/13.77 c rational objective 3 15.65/15.79 c #Conflicts: 38000 | #Constraints: 5116 15.65/15.79 c #Conflicts: 39000 | #Constraints: 6121 15.65/15.79 c #Conflicts: 40000 | #Constraints: 7127 15.65/15.79 c #Conflicts: 41000 | #Constraints: 8133 15.65/15.79 c INPROCESSING 15.65/15.79 c GARBAGE COLLECT 15.65/15.79 c rational objective 3 17.05/17.12 c #Conflicts: 42000 | #Constraints: 4923 17.05/17.12 c #Conflicts: 43000 | #Constraints: 5934 17.05/17.12 c #Conflicts: 44000 | #Constraints: 6942 17.05/17.12 c #Conflicts: 45000 | #Constraints: 7953 17.05/17.12 c #Conflicts: 46000 | #Constraints: 8962 17.05/17.12 c INPROCESSING 17.05/17.12 c GARBAGE COLLECT 17.05/17.12 c rational objective 3 19.14/19.25 c #Conflicts: 47000 | #Constraints: 5539 19.14/19.25 c #Conflicts: 48000 | #Constraints: 6543 19.14/19.25 c #Conflicts: 49000 | #Constraints: 7548 19.14/19.25 c #Conflicts: 50000 | #Constraints: 8555 19.14/19.25 c #Conflicts: 51000 | #Constraints: 9576 19.14/19.25 c INPROCESSING 19.14/19.25 c GARBAGE COLLECT 19.14/19.25 c rational objective 3 21.13/21.23 c #Conflicts: 52000 | #Constraints: 5945 21.13/21.23 c #Conflicts: 53000 | #Constraints: 6955 21.13/21.23 c #Conflicts: 54000 | #Constraints: 7964 21.13/21.23 c #Conflicts: 55000 | #Constraints: 8969 21.13/21.23 c #Conflicts: 56000 | #Constraints: 9975 21.13/21.23 c INPROCESSING 21.13/21.23 c GARBAGE COLLECT 21.13/21.23 c rational objective 3 23.63/23.78 c #Conflicts: 57000 | #Constraints: 6146 23.63/23.78 c #Conflicts: 58000 | #Constraints: 7155 23.63/23.78 c #Conflicts: 59000 | #Constraints: 8161 23.63/23.78 c #Conflicts: 60000 | #Constraints: 9167 23.63/23.78 c #Conflicts: 61000 | #Constraints: 10174 23.63/23.78 c INPROCESSING 23.63/23.78 c GARBAGE COLLECT 23.63/23.78 c rational objective 3 25.72/25.80 c #Conflicts: 62000 | #Constraints: 6136 25.72/25.80 c #Conflicts: 63000 | #Constraints: 7136 25.72/25.80 c #Conflicts: 64000 | #Constraints: 8137 25.72/25.80 c #Conflicts: 65000 | #Constraints: 9144 25.72/25.80 c #Conflicts: 66000 | #Constraints: 10151 25.72/25.80 c INPROCESSING 25.72/25.80 c GARBAGE COLLECT 25.72/25.80 c rational objective 3 28.42/28.50 c #Conflicts: 67000 | #Constraints: 5928 28.42/28.50 c #Conflicts: 68000 | #Constraints: 6934 28.42/28.50 c #Conflicts: 69000 | #Constraints: 7941 28.42/28.50 c #Conflicts: 70000 | #Constraints: 8952 28.42/28.50 c #Conflicts: 71000 | #Constraints: 9964 28.42/28.50 c #Conflicts: 72000 | #Constraints: 10970 28.42/28.50 c INPROCESSING 28.42/28.50 c GARBAGE COLLECT 28.42/28.50 c rational objective 3 31.03/31.19 c #Conflicts: 73000 | #Constraints: 6538 31.03/31.19 c #Conflicts: 74000 | #Constraints: 7546 31.03/31.19 c #Conflicts: 75000 | #Constraints: 8554 31.03/31.19 c #Conflicts: 76000 | #Constraints: 9559 31.03/31.19 c #Conflicts: 77000 | #Constraints: 10565 31.03/31.19 c #Conflicts: 78000 | #Constraints: 11574 31.03/31.19 c INPROCESSING 31.03/31.19 c GARBAGE COLLECT 31.03/31.19 c rational objective 3 33.50/33.68 c #Conflicts: 79000 | #Constraints: 6939 33.50/33.68 c #Conflicts: 80000 | #Constraints: 7943 33.50/33.68 c #Conflicts: 81000 | #Constraints: 8957 33.50/33.68 c #Conflicts: 82000 | #Constraints: 9974 33.50/33.68 c #Conflicts: 83000 | #Constraints: 10982 33.50/33.68 c #Conflicts: 84000 | #Constraints: 11990 33.50/33.68 c INPROCESSING 33.50/33.68 c GARBAGE COLLECT 33.50/33.68 c rational objective 3 36.09/36.24 c #Conflicts: 85000 | #Constraints: 7150 36.09/36.24 c #Conflicts: 86000 | #Constraints: 8158 36.09/36.24 c #Conflicts: 87000 | #Constraints: 9167 36.09/36.24 c #Conflicts: 88000 | #Constraints: 10172 36.09/36.24 c #Conflicts: 89000 | #Constraints: 11175 36.09/36.24 c #Conflicts: 90000 | #Constraints: 12180 36.09/36.24 c INPROCESSING 36.09/36.24 c GARBAGE COLLECT 36.09/36.24 c rational objective 3 41.39/41.55 c #Conflicts: 91000 | #Constraints: 7139 41.39/41.55 c #Conflicts: 92000 | #Constraints: 8144 41.39/41.55 c #Conflicts: 93000 | #Constraints: 9149 41.39/41.55 c #Conflicts: 94000 | #Constraints: 10155 41.39/41.55 c #Conflicts: 95000 | #Constraints: 11163 41.39/41.55 c #Conflicts: 96000 | #Constraints: 12169 41.39/41.55 c INPROCESSING 41.39/41.55 c GARBAGE COLLECT 41.39/41.55 c rational objective 3 45.08/45.21 c #Conflicts: 97000 | #Constraints: 6945 45.08/45.21 c #Conflicts: 98000 | #Constraints: 8036 45.08/45.21 c #Conflicts: 99000 | #Constraints: 9200 45.08/45.21 c #Conflicts: 100000 | #Constraints: 10288 45.08/45.21 c #Conflicts: 101000 | #Constraints: 11332 45.08/45.21 c #Conflicts: 102000 | #Constraints: 12499 45.08/45.21 c #Conflicts: 103000 | #Constraints: 13629 45.08/45.21 c INPROCESSING 45.08/45.21 c GARBAGE COLLECT 45.08/45.21 c rational objective 3 49.16/49.30 c #Conflicts: 104000 | #Constraints: 7868 49.16/49.30 c #Conflicts: 105000 | #Constraints: 8871 49.16/49.30 c #Conflicts: 106000 | #Constraints: 9874 49.16/49.30 c #Conflicts: 107000 | #Constraints: 10877 49.16/49.30 c #Conflicts: 108000 | #Constraints: 11878 49.16/49.30 c #Conflicts: 109000 | #Constraints: 12882 49.16/49.30 c #Conflicts: 110000 | #Constraints: 13883 49.16/49.30 c INPROCESSING 49.16/49.30 c GARBAGE COLLECT 49.16/49.30 c rational objective 3 53.35/53.51 c #Conflicts: 111000 | #Constraints: 8093 53.35/53.51 c #Conflicts: 112000 | #Constraints: 9267 53.35/53.51 c #Conflicts: 113000 | #Constraints: 10287 53.35/53.51 c #Conflicts: 114000 | #Constraints: 11400 53.35/53.51 c #Conflicts: 115000 | #Constraints: 12404 53.35/53.51 c #Conflicts: 116000 | #Constraints: 13407 53.35/53.51 c #Conflicts: 117000 | #Constraints: 14438 53.35/53.51 c INPROCESSING 53.35/53.51 c GARBAGE COLLECT 53.35/53.51 c rational objective 3 59.24/59.48 c #Conflicts: 118000 | #Constraints: 8365 59.24/59.48 c #Conflicts: 119000 | #Constraints: 9369 59.24/59.48 c #Conflicts: 120000 | #Constraints: 10372 59.24/59.48 c #Conflicts: 121000 | #Constraints: 11375 59.24/59.48 c #Conflicts: 122000 | #Constraints: 12375 59.24/59.48 c #Conflicts: 123000 | #Constraints: 13378 59.24/59.48 c #Conflicts: 124000 | #Constraints: 14378 59.24/59.48 c INPROCESSING 59.24/59.48 c GARBAGE COLLECT 59.24/59.48 c rational objective 3 64.13/64.35 c #Conflicts: 125000 | #Constraints: 8239 64.13/64.35 c #Conflicts: 126000 | #Constraints: 9241 64.13/64.35 c #Conflicts: 127000 | #Constraints: 10247 64.13/64.35 c #Conflicts: 128000 | #Constraints: 11251 64.13/64.35 c #Conflicts: 129000 | #Constraints: 12260 64.13/64.35 c #Conflicts: 130000 | #Constraints: 13266 64.13/64.35 c #Conflicts: 131000 | #Constraints: 14271 64.13/64.35 c INPROCESSING 64.13/64.35 c GARBAGE COLLECT 64.13/64.35 c rational objective 3 68.72/68.93 c #Conflicts: 132000 | #Constraints: 7982 68.72/68.93 c #Conflicts: 133000 | #Constraints: 8989 68.72/68.93 c #Conflicts: 134000 | #Constraints: 9992 68.72/68.93 c #Conflicts: 135000 | #Constraints: 10997 68.72/68.93 c #Conflicts: 136000 | #Constraints: 12009 68.72/68.93 c #Conflicts: 137000 | #Constraints: 13014 68.72/68.93 c #Conflicts: 138000 | #Constraints: 14017 68.72/68.93 c #Conflicts: 139000 | #Constraints: 15024 68.72/68.93 c INPROCESSING 68.72/68.93 c GARBAGE COLLECT 68.72/68.93 c rational objective 3 75.60/75.84 c #Conflicts: 140000 | #Constraints: 8575 75.60/75.84 c #Conflicts: 141000 | #Constraints: 9582 75.60/75.84 c #Conflicts: 142000 | #Constraints: 10587 75.60/75.84 c #Conflicts: 143000 | #Constraints: 11593 75.60/75.84 c #Conflicts: 144000 | #Constraints: 12599 75.60/75.84 c #Conflicts: 145000 | #Constraints: 13602 75.60/75.84 c #Conflicts: 146000 | #Constraints: 14606 75.60/75.84 c #Conflicts: 147000 | #Constraints: 15607 75.60/75.84 c INPROCESSING 75.60/75.84 c GARBAGE COLLECT 75.60/75.84 c rational objective 3 80.58/80.88 c #Conflicts: 148000 | #Constraints: 8955 80.58/80.88 c #Conflicts: 149000 | #Constraints: 9959 80.58/80.88 c #Conflicts: 150000 | #Constraints: 10970 80.58/80.88 c #Conflicts: 151000 | #Constraints: 11980 80.58/80.88 c #Conflicts: 152000 | #Constraints: 12988 80.58/80.88 c #Conflicts: 153000 | #Constraints: 13995 80.58/80.88 c #Conflicts: 154000 | #Constraints: 15001 80.58/80.88 c #Conflicts: 155000 | #Constraints: 16006 80.58/80.88 c INPROCESSING 80.58/80.88 c GARBAGE COLLECT 80.58/80.88 c rational objective 3 85.07/85.34 c #Conflicts: 156000 | #Constraints: 9162 85.07/85.34 c #Conflicts: 157000 | #Constraints: 10169 85.07/85.34 c #Conflicts: 158000 | #Constraints: 11176 85.07/85.34 c #Conflicts: 159000 | #Constraints: 12182 85.07/85.34 c #Conflicts: 160000 | #Constraints: 13193 85.07/85.34 c #Conflicts: 161000 | #Constraints: 14198 85.07/85.34 c #Conflicts: 162000 | #Constraints: 15206 85.07/85.34 c #Conflicts: 163000 | #Constraints: 16221 85.07/85.34 c INPROCESSING 85.07/85.34 c GARBAGE COLLECT 85.07/85.34 c rational objective 3 90.66/90.90 c #Conflicts: 164000 | #Constraints: 9168 90.66/90.90 c #Conflicts: 165000 | #Constraints: 10175 90.66/90.90 c #Conflicts: 166000 | #Constraints: 11182 90.66/90.90 c #Conflicts: 167000 | #Constraints: 12189 90.66/90.90 c #Conflicts: 168000 | #Constraints: 13196 90.66/90.90 c #Conflicts: 169000 | #Constraints: 14200 90.66/90.90 c #Conflicts: 170000 | #Constraints: 15207 90.66/90.90 c #Conflicts: 171000 | #Constraints: 16213 90.66/90.90 c INPROCESSING 90.66/90.90 c GARBAGE COLLECT 90.66/90.90 c rational objective 3 96.86/97.16 c #Conflicts: 172000 | #Constraints: 8962 96.86/97.16 c #Conflicts: 173000 | #Constraints: 9967 96.86/97.16 c #Conflicts: 174000 | #Constraints: 10973 96.86/97.16 c #Conflicts: 175000 | #Constraints: 11980 96.86/97.16 c #Conflicts: 176000 | #Constraints: 12985 96.86/97.16 c #Conflicts: 177000 | #Constraints: 13993 96.86/97.16 c #Conflicts: 178000 | #Constraints: 14998 96.86/97.16 c #Conflicts: 179000 | #Constraints: 16004 96.86/97.16 c #Conflicts: 180000 | #Constraints: 17011 96.86/97.16 c INPROCESSING 96.86/97.16 c GARBAGE COLLECT 96.86/97.16 c rational objective 3 103.43/103.75 c #Conflicts: 181000 | #Constraints: 9564 103.43/103.75 c #Conflicts: 182000 | #Constraints: 10567 103.43/103.75 c #Conflicts: 183000 | #Constraints: 11569 103.43/103.75 c #Conflicts: 184000 | #Constraints: 12574 103.43/103.75 c #Conflicts: 185000 | #Constraints: 13577 103.43/103.75 c #Conflicts: 186000 | #Constraints: 14582 103.43/103.75 c #Conflicts: 187000 | #Constraints: 15588 103.43/103.75 c #Conflicts: 188000 | #Constraints: 16594 103.43/103.75 c #Conflicts: 189000 | #Constraints: 17602 103.43/103.75 c INPROCESSING 103.43/103.75 c GARBAGE COLLECT 103.43/103.75 c rational objective 3 110.81/111.17 c #Conflicts: 190000 | #Constraints: 9957 110.81/111.17 c #Conflicts: 191000 | #Constraints: 10960 110.81/111.17 c #Conflicts: 192000 | #Constraints: 11965 110.81/111.17 c #Conflicts: 193000 | #Constraints: 12967 110.81/111.17 c #Conflicts: 194000 | #Constraints: 13969 110.81/111.17 c #Conflicts: 195000 | #Constraints: 14975 110.81/111.17 c #Conflicts: 196000 | #Constraints: 15982 110.81/111.17 c #Conflicts: 197000 | #Constraints: 16988 110.81/111.17 c #Conflicts: 198000 | #Constraints: 17995 110.81/111.17 c INPROCESSING 110.81/111.17 c GARBAGE COLLECT 110.81/111.17 c rational objective 3 117.19/117.57 c #Conflicts: 199000 | #Constraints: 10158 117.19/117.57 c #Conflicts: 200000 | #Constraints: 11164 117.19/117.57 c #Conflicts: 201000 | #Constraints: 12169 117.19/117.57 c #Conflicts: 202000 | #Constraints: 13176 117.19/117.57 c #Conflicts: 203000 | #Constraints: 14178 117.19/117.57 c #Conflicts: 204000 | #Constraints: 15186 117.19/117.57 c #Conflicts: 205000 | #Constraints: 16192 117.19/117.57 c #Conflicts: 206000 | #Constraints: 17195 117.19/117.57 c #Conflicts: 207000 | #Constraints: 18204 117.19/117.57 c INPROCESSING 117.19/117.57 c GARBAGE COLLECT 117.19/117.57 c rational objective 3 125.57/125.92 c #Conflicts: 208000 | #Constraints: 10163 125.57/125.92 c #Conflicts: 209000 | #Constraints: 11173 125.57/125.92 c #Conflicts: 210000 | #Constraints: 12182 125.57/125.92 c #Conflicts: 211000 | #Constraints: 13189 125.57/125.92 c #Conflicts: 212000 | #Constraints: 14199 125.57/125.92 c #Conflicts: 213000 | #Constraints: 15204 125.57/125.92 c #Conflicts: 214000 | #Constraints: 16209 125.57/125.92 c #Conflicts: 215000 | #Constraints: 17210 125.57/125.92 c #Conflicts: 216000 | #Constraints: 18213 125.57/125.92 c INPROCESSING 125.57/125.92 c GARBAGE COLLECT 125.57/125.92 c rational objective 3 137.83/138.23 c #Conflicts: 217000 | #Constraints: 9958 137.83/138.23 c #Conflicts: 218000 | #Constraints: 10961 137.83/138.23 c #Conflicts: 219000 | #Constraints: 11963 137.83/138.23 c #Conflicts: 220000 | #Constraints: 12967 137.83/138.23 c #Conflicts: 221000 | #Constraints: 13973 137.83/138.23 c #Conflicts: 222000 | #Constraints: 14976 137.83/138.23 c #Conflicts: 223000 | #Constraints: 15980 137.83/138.23 c #Conflicts: 224000 | #Constraints: 16983 137.83/138.23 c #Conflicts: 225000 | #Constraints: 17990 137.83/138.23 c #Conflicts: 226000 | #Constraints: 18996 137.83/138.23 c INPROCESSING 137.83/138.23 c GARBAGE COLLECT 137.83/138.23 c rational objective 3 148.41/148.83 c #Conflicts: 227000 | #Constraints: 10561 148.41/148.83 c #Conflicts: 228000 | #Constraints: 11564 148.41/148.83 c #Conflicts: 229000 | #Constraints: 12565 148.41/148.83 c #Conflicts: 230000 | #Constraints: 13570 148.41/148.83 c #Conflicts: 231000 | #Constraints: 14577 148.41/148.83 c #Conflicts: 232000 | #Constraints: 15581 148.41/148.83 c #Conflicts: 233000 | #Constraints: 16587 148.41/148.83 c #Conflicts: 234000 | #Constraints: 17595 148.41/148.83 c #Conflicts: 235000 | #Constraints: 18601 148.41/148.83 c #Conflicts: 236000 | #Constraints: 19603 148.41/148.83 c INPROCESSING 148.41/148.83 c GARBAGE COLLECT 148.41/148.83 c rational objective 3 157.29/157.79 c #Conflicts: 237000 | #Constraints: 10950 157.29/157.79 c #Conflicts: 238000 | #Constraints: 11959 157.29/157.79 c #Conflicts: 239000 | #Constraints: 12964 157.29/157.79 c #Conflicts: 240000 | #Constraints: 13969 157.29/157.79 c #Conflicts: 241000 | #Constraints: 14974 157.29/157.79 c #Conflicts: 242000 | #Constraints: 15978 157.29/157.79 c #Conflicts: 243000 | #Constraints: 16983 157.29/157.79 c #Conflicts: 244000 | #Constraints: 17987 157.29/157.79 c #Conflicts: 245000 | #Constraints: 18994 157.29/157.79 c #Conflicts: 246000 | #Constraints: 19997 157.29/157.79 c INPROCESSING 157.29/157.79 c GARBAGE COLLECT 157.29/157.79 c rational objective 3 166.26/166.71 c #Conflicts: 247000 | #Constraints: 11152 166.26/166.71 c #Conflicts: 248000 | #Constraints: 12156 166.26/166.71 c #Conflicts: 249000 | #Constraints: 13160 166.26/166.71 c #Conflicts: 250000 | #Constraints: 14167 166.26/166.71 c #Conflicts: 251000 | #Constraints: 15172 166.26/166.71 c #Conflicts: 252000 | #Constraints: 16176 166.26/166.71 c #Conflicts: 253000 | #Constraints: 17181 166.26/166.71 c #Conflicts: 254000 | #Constraints: 18188 166.26/166.71 c #Conflicts: 255000 | #Constraints: 19193 166.26/166.71 c #Conflicts: 256000 | #Constraints: 20200 166.26/166.71 c INPROCESSING 166.26/166.71 c GARBAGE COLLECT 166.26/166.71 c rational objective 3 175.24/175.72 c #Conflicts: 257000 | #Constraints: 11155 175.24/175.72 c #Conflicts: 258000 | #Constraints: 12161 175.24/175.72 c #Conflicts: 259000 | #Constraints: 13164 175.24/175.72 c #Conflicts: 260000 | #Constraints: 14173 175.24/175.72 c #Conflicts: 261000 | #Constraints: 15185 175.24/175.72 c #Conflicts: 262000 | #Constraints: 16191 175.24/175.72 c #Conflicts: 263000 | #Constraints: 17197 175.24/175.72 c #Conflicts: 264000 | #Constraints: 18202 175.24/175.72 c #Conflicts: 265000 | #Constraints: 19209 175.24/175.72 c #Conflicts: 266000 | #Constraints: 20218 175.24/175.72 c INPROCESSING 175.24/175.72 c GARBAGE COLLECT 175.24/175.72 c rational objective 3 190.50/191.03 c #Conflicts: 267000 | #Constraints: 10962 190.50/191.03 c #Conflicts: 268000 | #Constraints: 11964 190.50/191.03 c #Conflicts: 269000 | #Constraints: 12967 190.50/191.03 c #Conflicts: 270000 | #Constraints: 13972 190.50/191.03 c #Conflicts: 271000 | #Constraints: 14977 190.50/191.03 c #Conflicts: 272000 | #Constraints: 15981 190.50/191.03 c #Conflicts: 273000 | #Constraints: 16987 190.50/191.03 c #Conflicts: 274000 | #Constraints: 17993 190.50/191.03 c #Conflicts: 275000 | #Constraints: 18998 190.50/191.03 c #Conflicts: 276000 | #Constraints: 20006 190.50/191.03 c #Conflicts: 277000 | #Constraints: 21011 190.50/191.03 c INPROCESSING 190.50/191.03 c GARBAGE COLLECT 190.50/191.03 c rational objective 3 200.06/200.62 c #Conflicts: 278000 | #Constraints: 11564 200.06/200.62 c #Conflicts: 279000 | #Constraints: 12568 200.06/200.62 c #Conflicts: 280000 | #Constraints: 13578 200.06/200.62 c #Conflicts: 281000 | #Constraints: 14583 200.06/200.62 c #Conflicts: 282000 | #Constraints: 15589 200.06/200.62 c #Conflicts: 283000 | #Constraints: 16593 200.06/200.62 c #Conflicts: 284000 | #Constraints: 17600 200.06/200.62 c #Conflicts: 285000 | #Constraints: 18604 200.06/200.62 c #Conflicts: 286000 | #Constraints: 19610 200.06/200.62 c #Conflicts: 287000 | #Constraints: 20613 200.06/200.62 c #Conflicts: 288000 | #Constraints: 21620 200.06/200.62 c INPROCESSING 200.06/200.62 c GARBAGE COLLECT 200.06/200.62 c rational objective 3 211.14/211.78 c #Conflicts: 289000 | #Constraints: 11960 211.14/211.78 c #Conflicts: 290000 | #Constraints: 12966 211.14/211.78 c #Conflicts: 291000 | #Constraints: 13974 211.14/211.78 c #Conflicts: 292000 | #Constraints: 14982 211.14/211.78 c #Conflicts: 293000 | #Constraints: 15989 211.14/211.78 c #Conflicts: 294000 | #Constraints: 16995 211.14/211.78 c #Conflicts: 295000 | #Constraints: 18003 211.14/211.78 c #Conflicts: 296000 | #Constraints: 19009 211.14/211.78 c #Conflicts: 297000 | #Constraints: 20015 211.14/211.78 c #Conflicts: 298000 | #Constraints: 21020 211.14/211.78 c #Conflicts: 299000 | #Constraints: 22027 211.14/211.78 c INPROCESSING 211.14/211.78 c GARBAGE COLLECT 211.14/211.78 c rational objective 3 220.92/221.57 c #Conflicts: 300000 | #Constraints: 12164 220.92/221.57 c #Conflicts: 301000 | #Constraints: 13169 220.92/221.57 c #Conflicts: 302000 | #Constraints: 14174 220.92/221.57 c #Conflicts: 303000 | #Constraints: 15180 220.92/221.57 c #Conflicts: 304000 | #Constraints: 16185 220.92/221.57 c #Conflicts: 305000 | #Constraints: 17191 220.92/221.57 c #Conflicts: 306000 | #Constraints: 18196 220.92/221.57 c #Conflicts: 307000 | #Constraints: 19201 220.92/221.57 c #Conflicts: 308000 | #Constraints: 20205 220.92/221.57 c #Conflicts: 309000 | #Constraints: 21210 220.92/221.57 c #Conflicts: 310000 | #Constraints: 22214 220.92/221.57 c INPROCESSING 220.92/221.57 c GARBAGE COLLECT 220.92/221.57 c rational objective 3 234.88/235.55 c #Conflicts: 311000 | #Constraints: 12170 234.88/235.55 c #Conflicts: 312000 | #Constraints: 13178 234.88/235.55 c #Conflicts: 313000 | #Constraints: 14185 234.88/235.55 c #Conflicts: 314000 | #Constraints: 15194 234.88/235.55 c #Conflicts: 315000 | #Constraints: 16197 234.88/235.55 c #Conflicts: 316000 | #Constraints: 17201 234.88/235.55 c #Conflicts: 317000 | #Constraints: 18203 234.88/235.55 c #Conflicts: 318000 | #Constraints: 19208 234.88/235.55 c #Conflicts: 319000 | #Constraints: 20212 234.88/235.55 c #Conflicts: 320000 | #Constraints: 21213 234.88/235.55 c #Conflicts: 321000 | #Constraints: 22217 234.88/235.55 c INPROCESSING 234.88/235.55 c GARBAGE COLLECT 234.88/235.55 c rational objective 3 246.24/247.00 c #Conflicts: 322000 | #Constraints: 11958 246.24/247.00 c #Conflicts: 323000 | #Constraints: 12962 246.24/247.00 c #Conflicts: 324000 | #Constraints: 13968 246.24/247.00 c #Conflicts: 325000 | #Constraints: 14975 246.24/247.00 c #Conflicts: 326000 | #Constraints: 15982 246.24/247.00 c #Conflicts: 327000 | #Constraints: 16988 246.24/247.00 c #Conflicts: 328000 | #Constraints: 17993 246.24/247.00 c #Conflicts: 329000 | #Constraints: 18995 246.24/247.00 c #Conflicts: 330000 | #Constraints: 19999 246.24/247.00 c #Conflicts: 331000 | #Constraints: 21002 246.24/247.00 c #Conflicts: 332000 | #Constraints: 22002 246.24/247.00 c #Conflicts: 333000 | #Constraints: 23006 246.24/247.00 c INPROCESSING 246.24/247.00 c GARBAGE COLLECT 246.24/247.00 c rational objective 3 258.02/258.71 c #Conflicts: 334000 | #Constraints: 12559 258.02/258.71 c #Conflicts: 335000 | #Constraints: 13565 258.02/258.71 c #Conflicts: 336000 | #Constraints: 14571 258.02/258.71 c #Conflicts: 337000 | #Constraints: 15577 258.02/258.71 c #Conflicts: 338000 | #Constraints: 16585 258.02/258.71 c #Conflicts: 339000 | #Constraints: 17590 258.02/258.71 c #Conflicts: 340000 | #Constraints: 18594 258.02/258.71 c #Conflicts: 341000 | #Constraints: 19601 258.02/258.71 c #Conflicts: 342000 | #Constraints: 20614 258.02/258.71 c #Conflicts: 343000 | #Constraints: 21617 258.02/258.71 c #Conflicts: 344000 | #Constraints: 22621 258.02/258.71 c #Conflicts: 345000 | #Constraints: 23627 258.02/258.71 c INPROCESSING 258.02/258.71 c GARBAGE COLLECT 258.02/258.71 c rational objective 3 267.10/267.84 c #Conflicts: 346000 | #Constraints: 12970 267.10/267.84 c #Conflicts: 347000 | #Constraints: 13976 267.10/267.84 c #Conflicts: 348000 | #Constraints: 14979 267.10/267.84 c #Conflicts: 349000 | #Constraints: 15982 267.10/267.84 c #Conflicts: 350000 | #Constraints: 16990 267.10/267.84 c #Conflicts: 351000 | #Constraints: 17994 267.10/267.84 c #Conflicts: 352000 | #Constraints: 19002 267.10/267.84 c #Conflicts: 353000 | #Constraints: 20012 267.10/267.84 c #Conflicts: 354000 | #Constraints: 21014 267.10/267.84 c #Conflicts: 355000 | #Constraints: 22019 267.10/267.84 c #Conflicts: 356000 | #Constraints: 23023 267.10/267.84 c #Conflicts: 357000 | #Constraints: 24030 267.10/267.84 c INPROCESSING 267.10/267.84 c GARBAGE COLLECT 267.10/267.84 c rational objective 3 278.77/279.55 c #Conflicts: 358000 | #Constraints: 13163 278.77/279.55 c #Conflicts: 359000 | #Constraints: 14166 278.77/279.55 c #Conflicts: 360000 | #Constraints: 15167 278.77/279.55 c #Conflicts: 361000 | #Constraints: 16172 278.77/279.55 c #Conflicts: 362000 | #Constraints: 17174 278.77/279.55 c #Conflicts: 363000 | #Constraints: 18178 278.77/279.55 c #Conflicts: 364000 | #Constraints: 19180 278.77/279.55 c #Conflicts: 365000 | #Constraints: 20180 278.77/279.55 c #Conflicts: 366000 | #Constraints: 21183 278.77/279.55 c #Conflicts: 367000 | #Constraints: 22188 278.77/279.55 c #Conflicts: 368000 | #Constraints: 23189 278.77/279.55 c #Conflicts: 369000 | #Constraints: 24192 278.77/279.55 c INPROCESSING 278.77/279.55 c GARBAGE COLLECT 278.77/279.55 c rational objective 3 291.73/292.52 c #Conflicts: 370000 | #Constraints: 13163 291.73/292.52 c #Conflicts: 371000 | #Constraints: 14193 291.73/292.52 c #Conflicts: 372000 | #Constraints: 15220 291.73/292.52 c #Conflicts: 373000 | #Constraints: 16285 291.73/292.52 c #Conflicts: 374000 | #Constraints: 17289 291.73/292.52 c #Conflicts: 375000 | #Constraints: 18330 291.73/292.52 c #Conflicts: 376000 | #Constraints: 19350 291.73/292.52 c #Conflicts: 377000 | #Constraints: 20372 291.73/292.52 c #Conflicts: 378000 | #Constraints: 21382 291.73/292.52 c #Conflicts: 379000 | #Constraints: 22412 291.73/292.52 c #Conflicts: 380000 | #Constraints: 23780 291.73/292.52 c #Conflicts: 381000 | #Constraints: 25095 291.73/292.52 c INPROCESSING 291.73/292.52 c GARBAGE COLLECT 291.73/292.52 c rational objective 3 302.01/302.85 c #Conflicts: 382000 | #Constraints: 13403 302.01/302.85 c #Conflicts: 383000 | #Constraints: 14411 302.01/302.85 c #Conflicts: 384000 | #Constraints: 15418 302.01/302.85 c #Conflicts: 385000 | #Constraints: 16427 302.01/302.85 c #Conflicts: 386000 | #Constraints: 17432 302.01/302.85 c #Conflicts: 387000 | #Constraints: 18440 302.01/302.85 c #Conflicts: 388000 | #Constraints: 19442 302.01/302.85 c #Conflicts: 389000 | #Constraints: 20449 302.01/302.85 c #Conflicts: 390000 | #Constraints: 21457 302.01/302.85 c #Conflicts: 391000 | #Constraints: 22463 302.01/302.85 c #Conflicts: 392000 | #Constraints: 23474 302.01/302.85 c #Conflicts: 393000 | #Constraints: 24480 302.01/302.85 c #Conflicts: 394000 | #Constraints: 25502 302.01/302.85 c INPROCESSING 302.01/302.85 c GARBAGE COLLECT 302.01/302.85 c rational objective 3 311.39/312.24 c #Conflicts: 395000 | #Constraints: 13811 311.39/312.24 c #Conflicts: 396000 | #Constraints: 14817 311.39/312.24 c #Conflicts: 397000 | #Constraints: 15821 311.39/312.24 c #Conflicts: 398000 | #Constraints: 16829 311.39/312.24 c #Conflicts: 399000 | #Constraints: 17834 311.39/312.24 c #Conflicts: 400000 | #Constraints: 18841 311.39/312.24 c #Conflicts: 401000 | #Constraints: 19848 311.39/312.24 c #Conflicts: 402000 | #Constraints: 20856 311.39/312.24 c #Conflicts: 403000 | #Constraints: 21862 311.39/312.24 c #Conflicts: 404000 | #Constraints: 22876 311.39/312.24 c #Conflicts: 405000 | #Constraints: 23890 311.39/312.24 c #Conflicts: 406000 | #Constraints: 24901 311.39/312.24 c #Conflicts: 407000 | #Constraints: 25912 311.39/312.24 c INPROCESSING 311.39/312.24 c GARBAGE COLLECT 311.39/312.24 c rational objective 3 324.45/325.33 c #Conflicts: 408000 | #Constraints: 14115 324.45/325.33 c #Conflicts: 409000 | #Constraints: 15120 324.45/325.33 c #Conflicts: 410000 | #Constraints: 16126 324.45/325.33 c #Conflicts: 411000 | #Constraints: 17131 324.45/325.33 c #Conflicts: 412000 | #Constraints: 18138 324.45/325.33 c #Conflicts: 413000 | #Constraints: 19141 324.45/325.33 c #Conflicts: 414000 | #Constraints: 20150 324.45/325.33 c #Conflicts: 415000 | #Constraints: 21160 324.45/325.33 c #Conflicts: 416000 | #Constraints: 22163 324.45/325.33 c #Conflicts: 417000 | #Constraints: 23170 324.45/325.33 c #Conflicts: 418000 | #Constraints: 24178 324.45/325.33 c #Conflicts: 419000 | #Constraints: 25188 324.45/325.33 c #Conflicts: 420000 | #Constraints: 26197 324.45/325.33 c INPROCESSING 324.45/325.33 c GARBAGE COLLECT 324.45/325.33 c rational objective 3 341.61/342.51 c #Conflicts: 421000 | #Constraints: 14261 341.61/342.51 c #Conflicts: 422000 | #Constraints: 15266 341.61/342.51 c #Conflicts: 423000 | #Constraints: 16271 341.61/342.51 c #Conflicts: 424000 | #Constraints: 17273 341.61/342.51 c #Conflicts: 425000 | #Constraints: 18277 341.61/342.51 c #Conflicts: 426000 | #Constraints: 19280 341.61/342.51 c #Conflicts: 427000 | #Constraints: 20284 341.61/342.51 c #Conflicts: 428000 | #Constraints: 21288 341.61/342.51 c #Conflicts: 429000 | #Constraints: 22292 341.61/342.51 c #Conflicts: 430000 | #Constraints: 23300 341.61/342.51 c #Conflicts: 431000 | #Constraints: 24303 341.61/342.51 c #Conflicts: 432000 | #Constraints: 25309 341.61/342.51 c #Conflicts: 433000 | #Constraints: 26311 341.61/342.51 c INPROCESSING 341.61/342.51 c GARBAGE COLLECT 341.61/342.51 c rational objective 3 357.46/358.44 c #Conflicts: 434000 | #Constraints: 14215 357.46/358.44 c #Conflicts: 435000 | #Constraints: 15216 357.46/358.44 c #Conflicts: 436000 | #Constraints: 16216 357.46/358.44 c #Conflicts: 437000 | #Constraints: 17226 357.46/358.44 c #Conflicts: 438000 | #Constraints: 18231 357.46/358.44 c #Conflicts: 439000 | #Constraints: 19236 357.46/358.44 c #Conflicts: 440000 | #Constraints: 20243 357.46/358.44 c #Conflicts: 441000 | #Constraints: 21251 357.46/358.44 c #Conflicts: 442000 | #Constraints: 22258 357.46/358.44 c #Conflicts: 443000 | #Constraints: 23263 357.46/358.44 c #Conflicts: 444000 | #Constraints: 24271 357.46/358.44 c #Conflicts: 445000 | #Constraints: 25276 357.46/358.44 c #Conflicts: 446000 | #Constraints: 26281 357.46/358.44 c INPROCESSING 357.46/358.44 c GARBAGE COLLECT 357.46/358.44 c rational objective 3 366.45/367.42 c #Conflicts: 447000 | #Constraints: 13992 366.45/367.42 c #Conflicts: 448000 | #Constraints: 14999 366.45/367.42 c #Conflicts: 449000 | #Constraints: 16008 366.45/367.42 c #Conflicts: 450000 | #Constraints: 17016 366.45/367.42 c #Conflicts: 451000 | #Constraints: 18025 366.45/367.42 c #Conflicts: 452000 | #Constraints: 19031 366.45/367.42 c #Conflicts: 453000 | #Constraints: 20042 366.45/367.42 c #Conflicts: 454000 | #Constraints: 21046 366.45/367.42 c #Conflicts: 455000 | #Constraints: 22049 366.45/367.42 c #Conflicts: 456000 | #Constraints: 23055 366.45/367.42 c #Conflicts: 457000 | #Constraints: 24061 366.45/367.42 c #Conflicts: 458000 | #Constraints: 25066 366.45/367.42 c #Conflicts: 459000 | #Constraints: 26071 366.45/367.42 c #Conflicts: 460000 | #Constraints: 27077 366.45/367.42 c INPROCESSING 366.45/367.42 c GARBAGE COLLECT 366.45/367.42 c rational objective 3 394.67/395.76 c #Conflicts: 461000 | #Constraints: 14596 394.67/395.76 c #Conflicts: 462000 | #Constraints: 15604 394.67/395.76 c #Conflicts: 463000 | #Constraints: 16609 394.67/395.76 c #Conflicts: 464000 | #Constraints: 17615 394.67/395.76 c #Conflicts: 465000 | #Constraints: 18619 394.67/395.76 c #Conflicts: 466000 | #Constraints: 19622 394.67/395.76 c #Conflicts: 467000 | #Constraints: 20625 394.67/395.76 c #Conflicts: 468000 | #Constraints: 21629 394.67/395.76 c #Conflicts: 469000 | #Constraints: 22633 394.67/395.76 c #Conflicts: 470000 | #Constraints: 23637 394.67/395.76 c #Conflicts: 471000 | #Constraints: 24640 394.67/395.76 c #Conflicts: 472000 | #Constraints: 25644 394.67/395.76 c #Conflicts: 473000 | #Constraints: 26649 394.67/395.76 c #Conflicts: 474000 | #Constraints: 27652 394.67/395.76 c INPROCESSING 394.67/395.76 c GARBAGE COLLECT 394.67/395.76 c rational objective 3 407.24/408.33 c #Conflicts: 475000 | #Constraints: 15004 407.24/408.33 c #Conflicts: 476000 | #Constraints: 16008 407.24/408.33 c #Conflicts: 477000 | #Constraints: 17008 407.24/408.33 c #Conflicts: 478000 | #Constraints: 18008 407.24/408.33 c #Conflicts: 479000 | #Constraints: 19008 407.24/408.33 c #Conflicts: 480000 | #Constraints: 20009 407.24/408.33 c #Conflicts: 481000 | #Constraints: 21009 407.24/408.33 c #Conflicts: 482000 | #Constraints: 22010 407.24/408.33 c #Conflicts: 483000 | #Constraints: 23010 407.24/408.33 c #Conflicts: 484000 | #Constraints: 24010 407.24/408.33 c #Conflicts: 485000 | #Constraints: 25010 407.24/408.33 c #Conflicts: 486000 | #Constraints: 26011 407.24/408.33 c #Conflicts: 487000 | #Constraints: 27013 407.24/408.33 c #Conflicts: 488000 | #Constraints: 28014 407.24/408.33 c INPROCESSING 407.24/408.33 c GARBAGE COLLECT 407.24/408.33 c rational objective 3 420.19/421.37 c #Conflicts: 489000 | #Constraints: 15163 420.19/421.37 c #Conflicts: 490000 | #Constraints: 16164 420.19/421.37 c #Conflicts: 491000 | #Constraints: 17178 420.19/421.37 c #Conflicts: 492000 | #Constraints: 18198 420.19/421.37 c #Conflicts: 493000 | #Constraints: 19202 420.19/421.37 c #Conflicts: 494000 | #Constraints: 20204 420.19/421.37 c #Conflicts: 495000 | #Constraints: 21212 420.19/421.37 c #Conflicts: 496000 | #Constraints: 22215 420.19/421.37 c #Conflicts: 497000 | #Constraints: 23219 420.19/421.37 c #Conflicts: 498000 | #Constraints: 24223 420.19/421.37 c #Conflicts: 499000 | #Constraints: 25224 420.19/421.37 c #Conflicts: 500000 | #Constraints: 26227 420.19/421.37 c #Conflicts: 501000 | #Constraints: 27231 420.19/421.37 c #Conflicts: 502000 | #Constraints: 28234 420.19/421.37 c INPROCESSING 420.19/421.37 c GARBAGE COLLECT 420.19/421.37 c rational objective 3 434.96/436.12 c #Conflicts: 503000 | #Constraints: 15178 434.96/436.12 c #Conflicts: 504000 | #Constraints: 16184 434.96/436.12 c #Conflicts: 505000 | #Constraints: 17188 434.96/436.12 c #Conflicts: 506000 | #Constraints: 18191 434.96/436.12 c #Conflicts: 507000 | #Constraints: 19194 434.96/436.12 c #Conflicts: 508000 | #Constraints: 20199 434.96/436.12 c #Conflicts: 509000 | #Constraints: 21201 434.96/436.12 c #Conflicts: 510000 | #Constraints: 22205 434.96/436.12 c #Conflicts: 511000 | #Constraints: 23208 434.96/436.12 c #Conflicts: 512000 | #Constraints: 24212 434.96/436.12 c #Conflicts: 513000 | #Constraints: 25219 434.96/436.12 c #Conflicts: 514000 | #Constraints: 26222 434.96/436.12 c #Conflicts: 515000 | #Constraints: 27225 434.96/436.12 c #Conflicts: 516000 | #Constraints: 28234 434.96/436.12 c INPROCESSING 434.96/436.12 c GARBAGE COLLECT 434.96/436.12 c rational objective 3 449.91/451.14 c #Conflicts: 517000 | #Constraints: 14971 449.91/451.14 c #Conflicts: 518000 | #Constraints: 15976 449.91/451.14 c #Conflicts: 519000 | #Constraints: 16983 449.91/451.14 c #Conflicts: 520000 | #Constraints: 17989 449.91/451.14 c #Conflicts: 521000 | #Constraints: 18995 449.91/451.14 c #Conflicts: 522000 | #Constraints: 20001 449.91/451.14 c #Conflicts: 523000 | #Constraints: 21005 449.91/451.14 c #Conflicts: 524000 | #Constraints: 22015 449.91/451.14 c #Conflicts: 525000 | #Constraints: 23023 449.91/451.14 c #Conflicts: 526000 | #Constraints: 24027 449.91/451.14 c #Conflicts: 527000 | #Constraints: 25034 449.91/451.14 c #Conflicts: 528000 | #Constraints: 26043 449.91/451.14 c #Conflicts: 529000 | #Constraints: 27048 449.91/451.14 c #Conflicts: 530000 | #Constraints: 28053 449.91/451.14 c #Conflicts: 531000 | #Constraints: 29059 449.91/451.14 c INPROCESSING 449.91/451.14 c GARBAGE COLLECT 449.91/451.14 c rational objective 3 466.45/467.78 c #Conflicts: 532000 | #Constraints: 15601 466.45/467.78 c #Conflicts: 533000 | #Constraints: 16606 466.45/467.78 c #Conflicts: 534000 | #Constraints: 17614 466.45/467.78 c #Conflicts: 535000 | #Constraints: 18618 466.45/467.78 c #Conflicts: 536000 | #Constraints: 19627 466.45/467.78 c #Conflicts: 537000 | #Constraints: 20633 466.45/467.78 c #Conflicts: 538000 | #Constraints: 21638 466.45/467.78 c #Conflicts: 539000 | #Constraints: 22644 466.45/467.78 c #Conflicts: 540000 | #Constraints: 23653 466.45/467.78 c #Conflicts: 541000 | #Constraints: 24660 466.45/467.78 c #Conflicts: 542000 | #Constraints: 25670 466.45/467.78 c #Conflicts: 543000 | #Constraints: 26678 466.45/467.78 c #Conflicts: 544000 | #Constraints: 27682 466.45/467.78 c #Conflicts: 545000 | #Constraints: 28687 466.45/467.78 c #Conflicts: 546000 | #Constraints: 29694 466.45/467.78 c INPROCESSING 466.45/467.78 c GARBAGE COLLECT 466.45/467.78 c rational objective 3 481.32/482.61 c #Conflicts: 547000 | #Constraints: 16017 481.32/482.61 c #Conflicts: 548000 | #Constraints: 17022 481.32/482.61 c #Conflicts: 549000 | #Constraints: 18030 481.32/482.61 c #Conflicts: 550000 | #Constraints: 19035 481.32/482.61 c #Conflicts: 551000 | #Constraints: 20041 481.32/482.61 c #Conflicts: 552000 | #Constraints: 21045 481.32/482.61 c #Conflicts: 553000 | #Constraints: 22052 481.32/482.61 c #Conflicts: 554000 | #Constraints: 23059 481.32/482.61 c #Conflicts: 555000 | #Constraints: 24065 481.32/482.61 c #Conflicts: 556000 | #Constraints: 25072 481.32/482.61 c #Conflicts: 557000 | #Constraints: 26076 481.32/482.61 c #Conflicts: 558000 | #Constraints: 27080 481.32/482.61 c #Conflicts: 559000 | #Constraints: 28087 481.32/482.61 c #Conflicts: 560000 | #Constraints: 29091 481.32/482.61 c #Conflicts: 561000 | #Constraints: 30099 481.32/482.61 c INPROCESSING 481.32/482.61 c GARBAGE COLLECT 481.32/482.61 c rational objective 3 499.79/501.13 c #Conflicts: 562000 | #Constraints: 16211 499.79/501.13 c #Conflicts: 563000 | #Constraints: 17219 499.79/501.13 c #Conflicts: 564000 | #Constraints: 18228 499.79/501.13 c #Conflicts: 565000 | #Constraints: 19233 499.79/501.13 c #Conflicts: 566000 | #Constraints: 20238 499.79/501.13 c #Conflicts: 567000 | #Constraints: 21244 499.79/501.13 c #Conflicts: 568000 | #Constraints: 22248 499.79/501.13 c #Conflicts: 569000 | #Constraints: 23251 499.79/501.13 c #Conflicts: 570000 | #Constraints: 24254 499.79/501.13 c #Conflicts: 571000 | #Constraints: 25285 499.79/501.13 c #Conflicts: 572000 | #Constraints: 26337 499.79/501.13 c #Conflicts: 573000 | #Constraints: 27368 499.79/501.13 c #Conflicts: 574000 | #Constraints: 28574 499.79/501.13 c #Conflicts: 575000 | #Constraints: 30130 499.79/501.13 c #Conflicts: 576000 | #Constraints: 31835 499.79/501.13 c INPROCESSING 499.79/501.13 c GARBAGE COLLECT 499.79/501.13 c rational objective 3 516.93/518.38 c #Conflicts: 577000 | #Constraints: 17114 516.93/518.38 c #Conflicts: 578000 | #Constraints: 18117 516.93/518.38 c #Conflicts: 579000 | #Constraints: 19123 516.93/518.38 c #Conflicts: 580000 | #Constraints: 20167 516.93/518.38 c #Conflicts: 581000 | #Constraints: 21169 516.93/518.38 c #Conflicts: 582000 | #Constraints: 22176 516.93/518.38 c #Conflicts: 583000 | #Constraints: 23177 516.93/518.38 c #Conflicts: 584000 | #Constraints: 24375 516.93/518.38 c #Conflicts: 585000 | #Constraints: 25494 516.93/518.38 c #Conflicts: 586000 | #Constraints: 26506 516.93/518.38 c #Conflicts: 587000 | #Constraints: 27613 516.93/518.38 c #Conflicts: 588000 | #Constraints: 28623 516.93/518.38 c #Conflicts: 589000 | #Constraints: 29630 516.93/518.38 c #Conflicts: 590000 | #Constraints: 30636 516.93/518.38 c #Conflicts: 591000 | #Constraints: 31653 516.93/518.38 c INPROCESSING 516.93/518.38 c GARBAGE COLLECT 516.93/518.38 c rational objective 3 536.09/537.57 c #Conflicts: 592000 | #Constraints: 16685 536.09/537.57 c #Conflicts: 593000 | #Constraints: 17688 536.09/537.57 c #Conflicts: 594000 | #Constraints: 18695 536.09/537.57 c #Conflicts: 595000 | #Constraints: 19700 536.09/537.57 c #Conflicts: 596000 | #Constraints: 20705 536.09/537.57 c #Conflicts: 597000 | #Constraints: 21710 536.09/537.57 c #Conflicts: 598000 | #Constraints: 22717 536.09/537.57 c #Conflicts: 599000 | #Constraints: 23722 536.09/537.57 c #Conflicts: 600000 | #Constraints: 24727 536.09/537.57 c #Conflicts: 601000 | #Constraints: 25734 536.09/537.57 c #Conflicts: 602000 | #Constraints: 26741 536.09/537.57 c #Conflicts: 603000 | #Constraints: 27747 536.09/537.57 c #Conflicts: 604000 | #Constraints: 28753 536.09/537.57 c #Conflicts: 605000 | #Constraints: 29759 536.09/537.57 c #Conflicts: 606000 | #Constraints: 30769 536.09/537.57 c #Conflicts: 607000 | #Constraints: 31778 536.09/537.57 c INPROCESSING 536.09/537.57 c GARBAGE COLLECT 536.09/537.57 c rational objective 3 548.26/549.75 c #Conflicts: 608000 | #Constraints: 16952 548.26/549.75 c #Conflicts: 609000 | #Constraints: 17953 548.26/549.75 c #Conflicts: 610000 | #Constraints: 18955 548.26/549.75 c #Conflicts: 611000 | #Constraints: 19960 548.26/549.75 c #Conflicts: 612000 | #Constraints: 20964 548.26/549.75 c #Conflicts: 613000 | #Constraints: 21971 548.26/549.75 c #Conflicts: 614000 | #Constraints: 22976 548.26/549.75 c #Conflicts: 615000 | #Constraints: 23981 548.26/549.75 c #Conflicts: 616000 | #Constraints: 24990 548.26/549.75 c #Conflicts: 617000 | #Constraints: 25996 548.26/549.75 c #Conflicts: 618000 | #Constraints: 27007 548.26/549.75 c #Conflicts: 619000 | #Constraints: 28014 548.26/549.75 c #Conflicts: 620000 | #Constraints: 29019 548.26/549.75 c #Conflicts: 621000 | #Constraints: 30028 548.26/549.75 c #Conflicts: 622000 | #Constraints: 31033 548.26/549.75 c #Conflicts: 623000 | #Constraints: 32038 548.26/549.75 c INPROCESSING 548.26/549.75 c GARBAGE COLLECT 548.26/549.75 c rational objective 3 562.82/564.33 c #Conflicts: 624000 | #Constraints: 17173 562.82/564.33 c #Conflicts: 625000 | #Constraints: 18181 562.82/564.33 c #Conflicts: 626000 | #Constraints: 19185 562.82/564.33 c #Conflicts: 627000 | #Constraints: 20190 562.82/564.33 c #Conflicts: 628000 | #Constraints: 21200 562.82/564.33 c #Conflicts: 629000 | #Constraints: 22208 562.82/564.33 c #Conflicts: 630000 | #Constraints: 23212 562.82/564.33 c #Conflicts: 631000 | #Constraints: 24219 562.82/564.33 c #Conflicts: 632000 | #Constraints: 25226 562.82/564.33 c #Conflicts: 633000 | #Constraints: 26234 562.82/564.33 c #Conflicts: 634000 | #Constraints: 27240 562.82/564.33 c #Conflicts: 635000 | #Constraints: 28244 562.82/564.33 c #Conflicts: 636000 | #Constraints: 29248 562.82/564.33 c #Conflicts: 637000 | #Constraints: 30254 562.82/564.33 c #Conflicts: 638000 | #Constraints: 31258 562.82/564.33 c #Conflicts: 639000 | #Constraints: 32269 562.82/564.33 c INPROCESSING 562.82/564.33 c GARBAGE COLLECT 562.82/564.33 c rational objective 3 582.78/584.30 c #Conflicts: 640000 | #Constraints: 17302 582.78/584.30 c #Conflicts: 641000 | #Constraints: 18307 582.78/584.30 c #Conflicts: 642000 | #Constraints: 19314 582.78/584.30 c #Conflicts: 643000 | #Constraints: 20319 582.78/584.30 c #Conflicts: 644000 | #Constraints: 21324 582.78/584.30 c #Conflicts: 645000 | #Constraints: 22331 582.78/584.30 c #Conflicts: 646000 | #Constraints: 23337 582.78/584.30 c #Conflicts: 647000 | #Constraints: 24342 582.78/584.30 c #Conflicts: 648000 | #Constraints: 25347 582.78/584.30 c #Conflicts: 649000 | #Constraints: 26355 582.78/584.30 c #Conflicts: 650000 | #Constraints: 27362 582.78/584.30 c #Conflicts: 651000 | #Constraints: 28368 582.78/584.30 c #Conflicts: 652000 | #Constraints: 29374 582.78/584.30 c #Conflicts: 653000 | #Constraints: 30374 582.78/584.30 c #Conflicts: 654000 | #Constraints: 31382 582.78/584.30 c #Conflicts: 655000 | #Constraints: 32389 582.78/584.30 c INPROCESSING 582.78/584.30 c GARBAGE COLLECT 582.78/584.30 c rational objective 3 602.92/604.57 c #Conflicts: 656000 | #Constraints: 17260 602.92/604.57 c #Conflicts: 657000 | #Constraints: 18268 602.92/604.57 c #Conflicts: 658000 | #Constraints: 19274 602.92/604.57 c #Conflicts: 659000 | #Constraints: 20279 602.92/604.57 c #Conflicts: 660000 | #Constraints: 21285 602.92/604.57 c #Conflicts: 661000 | #Constraints: 22293 602.92/604.57 c #Conflicts: 662000 | #Constraints: 23300 602.92/604.57 c #Conflicts: 663000 | #Constraints: 24305 602.92/604.57 c #Conflicts: 664000 | #Constraints: 25313 602.92/604.57 c #Conflicts: 665000 | #Constraints: 26320 602.92/604.57 c #Conflicts: 666000 | #Constraints: 27326 602.92/604.57 c #Conflicts: 667000 | #Constraints: 28329 602.92/604.57 c #Conflicts: 668000 | #Constraints: 29336 602.92/604.57 c #Conflicts: 669000 | #Constraints: 30342 602.92/604.57 c #Conflicts: 670000 | #Constraints: 31348 602.92/604.57 c #Conflicts: 671000 | #Constraints: 32356 602.92/604.57 c INPROCESSING 602.92/604.57 c GARBAGE COLLECT 602.92/604.57 c rational objective 3 623.78/625.45 c #Conflicts: 672000 | #Constraints: 17036 623.78/625.45 c #Conflicts: 673000 | #Constraints: 18043 623.78/625.45 c #Conflicts: 674000 | #Constraints: 19062 623.78/625.45 c #Conflicts: 675000 | #Constraints: 20078 623.78/625.45 c #Conflicts: 676000 | #Constraints: 21084 623.78/625.45 c #Conflicts: 677000 | #Constraints: 22094 623.78/625.45 c #Conflicts: 678000 | #Constraints: 23099 623.78/625.45 c #Conflicts: 679000 | #Constraints: 24103 623.78/625.45 c #Conflicts: 680000 | #Constraints: 25108 623.78/625.45 c #Conflicts: 681000 | #Constraints: 26115 623.78/625.45 c #Conflicts: 682000 | #Constraints: 27120 623.78/625.45 c #Conflicts: 683000 | #Constraints: 28124 623.78/625.45 c #Conflicts: 684000 | #Constraints: 29126 623.78/625.45 c #Conflicts: 685000 | #Constraints: 30131 623.78/625.45 c #Conflicts: 686000 | #Constraints: 31136 623.78/625.45 c #Conflicts: 687000 | #Constraints: 32142 623.78/625.45 c #Conflicts: 688000 | #Constraints: 33148 623.78/625.45 c INPROCESSING 623.78/625.45 c GARBAGE COLLECT 623.78/625.45 c rational objective 3 641.23/642.91 c #Conflicts: 689000 | #Constraints: 17638 641.23/642.91 c #Conflicts: 690000 | #Constraints: 18645 641.23/642.91 c #Conflicts: 691000 | #Constraints: 19656 641.23/642.91 c #Conflicts: 692000 | #Constraints: 20663 641.23/642.91 c #Conflicts: 693000 | #Constraints: 21671 641.23/642.91 c #Conflicts: 694000 | #Constraints: 22678 641.23/642.91 c #Conflicts: 695000 | #Constraints: 23681 641.23/642.91 c #Conflicts: 696000 | #Constraints: 24684 641.23/642.91 c #Conflicts: 697000 | #Constraints: 25690 641.23/642.91 c #Conflicts: 698000 | #Constraints: 26697 641.23/642.91 c #Conflicts: 699000 | #Constraints: 27701 641.23/642.91 c #Conflicts: 700000 | #Constraints: 28704 641.23/642.91 c #Conflicts: 701000 | #Constraints: 29707 641.23/642.91 c #Conflicts: 702000 | #Constraints: 30712 641.23/642.91 c #Conflicts: 703000 | #Constraints: 31716 641.23/642.91 c #Conflicts: 704000 | #Constraints: 32721 641.23/642.91 c #Conflicts: 705000 | #Constraints: 33725 641.23/642.91 c INPROCESSING 641.23/642.91 c GARBAGE COLLECT 641.23/642.91 c rational objective 3 677.95/679.79 c #Conflicts: 706000 | #Constraints: 18022 677.95/679.79 c #Conflicts: 707000 | #Constraints: 19029 677.95/679.79 c #Conflicts: 708000 | #Constraints: 20036 677.95/679.79 c #Conflicts: 709000 | #Constraints: 21043 677.95/679.79 c #Conflicts: 710000 | #Constraints: 22050 677.95/679.79 c #Conflicts: 711000 | #Constraints: 23057 677.95/679.79 c #Conflicts: 712000 | #Constraints: 24061 677.95/679.79 c #Conflicts: 713000 | #Constraints: 25067 677.95/679.79 c #Conflicts: 714000 | #Constraints: 26077 677.95/679.79 c #Conflicts: 715000 | #Constraints: 27082 677.95/679.79 c #Conflicts: 716000 | #Constraints: 28085 677.95/679.79 c #Conflicts: 717000 | #Constraints: 29092 677.95/679.79 c #Conflicts: 718000 | #Constraints: 30098 677.95/679.79 c #Conflicts: 719000 | #Constraints: 31105 677.95/679.79 c #Conflicts: 720000 | #Constraints: 32106 677.95/679.79 c #Conflicts: 721000 | #Constraints: 33211 677.95/679.79 c #Conflicts: 722000 | #Constraints: 34278 677.95/679.79 c INPROCESSING 677.95/679.79 c GARBAGE COLLECT 677.95/679.79 c rational objective 3 702.59/704.48 c #Conflicts: 723000 | #Constraints: 18293 702.59/704.48 c #Conflicts: 724000 | #Constraints: 19298 702.59/704.48 c #Conflicts: 725000 | #Constraints: 20301 702.59/704.48 c #Conflicts: 726000 | #Constraints: 21309 702.59/704.48 c #Conflicts: 727000 | #Constraints: 22333 702.59/704.48 c #Conflicts: 728000 | #Constraints: 23335 702.59/704.48 c #Conflicts: 729000 | #Constraints: 24339 702.59/704.48 c #Conflicts: 730000 | #Constraints: 25354 702.59/704.48 c #Conflicts: 731000 | #Constraints: 26384 702.59/704.48 c #Conflicts: 732000 | #Constraints: 27399 702.59/704.48 c #Conflicts: 733000 | #Constraints: 28413 702.59/704.48 c #Conflicts: 734000 | #Constraints: 29416 702.59/704.48 c #Conflicts: 735000 | #Constraints: 30427 702.59/704.48 c #Conflicts: 736000 | #Constraints: 31447 702.59/704.48 c #Conflicts: 737000 | #Constraints: 32450 702.59/704.48 c #Conflicts: 738000 | #Constraints: 33453 702.59/704.48 c #Conflicts: 739000 | #Constraints: 34467 702.59/704.48 c INPROCESSING 702.59/704.48 c GARBAGE COLLECT 702.59/704.48 c rational objective 3 720.34/722.28 c #Conflicts: 740000 | #Constraints: 18282 720.34/722.28 c #Conflicts: 741000 | #Constraints: 19285 720.34/722.28 c #Conflicts: 742000 | #Constraints: 20287 720.34/722.28 c #Conflicts: 743000 | #Constraints: 21288 720.34/722.28 c #Conflicts: 744000 | #Constraints: 22289 720.34/722.28 c #Conflicts: 745000 | #Constraints: 23293 720.34/722.28 c #Conflicts: 746000 | #Constraints: 24297 720.34/722.28 c #Conflicts: 747000 | #Constraints: 25300 720.34/722.28 c #Conflicts: 748000 | #Constraints: 26305 720.34/722.28 c #Conflicts: 749000 | #Constraints: 27309 720.34/722.28 c #Conflicts: 750000 | #Constraints: 28309 720.34/722.28 c #Conflicts: 751000 | #Constraints: 29313 720.34/722.28 c #Conflicts: 752000 | #Constraints: 30316 720.34/722.28 c #Conflicts: 753000 | #Constraints: 31321 720.34/722.28 c #Conflicts: 754000 | #Constraints: 32324 720.34/722.28 c #Conflicts: 755000 | #Constraints: 33325 720.34/722.28 c #Conflicts: 756000 | #Constraints: 34329 720.34/722.28 c INPROCESSING 720.34/722.28 c GARBAGE COLLECT 720.34/722.28 c rational objective 3 739.21/741.11 c #Conflicts: 757000 | #Constraints: 18024 739.21/741.11 c #Conflicts: 758000 | #Constraints: 19029 739.21/741.11 c #Conflicts: 759000 | #Constraints: 20031 739.21/741.11 c #Conflicts: 760000 | #Constraints: 21036 739.21/741.11 c #Conflicts: 761000 | #Constraints: 22039 739.21/741.11 c #Conflicts: 762000 | #Constraints: 23045 739.21/741.11 c #Conflicts: 763000 | #Constraints: 24052 739.21/741.11 c #Conflicts: 764000 | #Constraints: 25057 739.21/741.11 c #Conflicts: 765000 | #Constraints: 26064 739.21/741.11 c #Conflicts: 766000 | #Constraints: 27067 739.21/741.11 c #Conflicts: 767000 | #Constraints: 28074 739.21/741.11 c #Conflicts: 768000 | #Constraints: 29081 739.21/741.11 c #Conflicts: 769000 | #Constraints: 30087 739.21/741.11 c #Conflicts: 770000 | #Constraints: 31098 739.21/741.11 c #Conflicts: 771000 | #Constraints: 32102 739.21/741.11 c #Conflicts: 772000 | #Constraints: 33106 739.21/741.11 c #Conflicts: 773000 | #Constraints: 34111 739.21/741.11 c #Conflicts: 774000 | #Constraints: 35122 739.21/741.11 c INPROCESSING 739.21/741.11 c GARBAGE COLLECT 739.21/741.11 c rational objective 3 754.56/756.55 c #Conflicts: 775000 | #Constraints: 18612 754.56/756.55 c #Conflicts: 776000 | #Constraints: 19615 754.56/756.55 c #Conflicts: 777000 | #Constraints: 20619 754.56/756.55 c #Conflicts: 778000 | #Constraints: 21625 754.56/756.55 c #Conflicts: 779000 | #Constraints: 22628 754.56/756.55 c #Conflicts: 780000 | #Constraints: 23634 754.56/756.55 c #Conflicts: 781000 | #Constraints: 24638 754.56/756.55 c #Conflicts: 782000 | #Constraints: 25643 754.56/756.55 c #Conflicts: 783000 | #Constraints: 26645 754.56/756.55 c #Conflicts: 784000 | #Constraints: 27651 754.56/756.55 c #Conflicts: 785000 | #Constraints: 28653 754.56/756.55 c #Conflicts: 786000 | #Constraints: 29655 754.56/756.55 c #Conflicts: 787000 | #Constraints: 30658 754.56/756.55 c #Conflicts: 788000 | #Constraints: 31662 754.56/756.55 c #Conflicts: 789000 | #Constraints: 32666 754.56/756.55 c #Conflicts: 790000 | #Constraints: 33672 754.56/756.55 c #Conflicts: 791000 | #Constraints: 34681 754.56/756.55 c #Conflicts: 792000 | #Constraints: 35686 754.56/756.55 c INPROCESSING 754.56/756.55 c GARBAGE COLLECT 754.56/756.55 c rational objective 3 778.90/780.90 c #Conflicts: 793000 | #Constraints: 19006 778.90/780.90 c #Conflicts: 794000 | #Constraints: 20015 778.90/780.90 c #Conflicts: 795000 | #Constraints: 21022 778.90/780.90 c #Conflicts: 796000 | #Constraints: 22027 778.90/780.90 c #Conflicts: 797000 | #Constraints: 23030 778.90/780.90 c #Conflicts: 798000 | #Constraints: 24034 778.90/780.90 c #Conflicts: 799000 | #Constraints: 25040 778.90/780.90 c #Conflicts: 800000 | #Constraints: 26046 778.90/780.90 c #Conflicts: 801000 | #Constraints: 27054 778.90/780.90 c #Conflicts: 802000 | #Constraints: 28063 778.90/780.90 c #Conflicts: 803000 | #Constraints: 29068 778.90/780.90 c #Conflicts: 804000 | #Constraints: 30073 778.90/780.90 c #Conflicts: 805000 | #Constraints: 31083 778.90/780.90 c #Conflicts: 806000 | #Constraints: 32089 778.90/780.90 c #Conflicts: 807000 | #Constraints: 33096 778.90/780.90 c #Conflicts: 808000 | #Constraints: 34100 778.90/780.90 c #Conflicts: 809000 | #Constraints: 35103 778.90/780.90 c #Conflicts: 810000 | #Constraints: 36108 778.90/780.90 c INPROCESSING 778.90/780.90 c GARBAGE COLLECT 778.90/780.90 c rational objective 3 805.23/807.38 c #Conflicts: 811000 | #Constraints: 19215 805.23/807.38 c #Conflicts: 812000 | #Constraints: 20220 805.23/807.38 c #Conflicts: 813000 | #Constraints: 21224 805.23/807.38 c #Conflicts: 814000 | #Constraints: 22228 805.23/807.38 c #Conflicts: 815000 | #Constraints: 23234 805.23/807.38 c #Conflicts: 816000 | #Constraints: 24240 805.23/807.38 c #Conflicts: 817000 | #Constraints: 25246 805.23/807.38 c #Conflicts: 818000 | #Constraints: 26252 805.23/807.38 c #Conflicts: 819000 | #Constraints: 27258 805.23/807.38 c #Conflicts: 820000 | #Constraints: 28271 805.23/807.38 c #Conflicts: 821000 | #Constraints: 29276 805.23/807.38 c #Conflicts: 822000 | #Constraints: 30280 805.23/807.38 c #Conflicts: 823000 | #Constraints: 31286 805.23/807.38 c #Conflicts: 824000 | #Constraints: 32292 805.23/807.38 c #Conflicts: 825000 | #Constraints: 33294 805.23/807.38 c #Conflicts: 826000 | #Constraints: 34297 805.23/807.38 c #Conflicts: 827000 | #Constraints: 35307 805.23/807.38 c #Conflicts: 828000 | #Constraints: 36316 805.23/807.38 c INPROCESSING 805.23/807.38 c GARBAGE COLLECT 805.23/807.38 c rational objective 3 836.47/838.69 c #Conflicts: 829000 | #Constraints: 19229 836.47/838.69 c #Conflicts: 830000 | #Constraints: 20234 836.47/838.69 c #Conflicts: 831000 | #Constraints: 21241 836.47/838.69 c #Conflicts: 832000 | #Constraints: 22247 836.47/838.69 c #Conflicts: 833000 | #Constraints: 23251 836.47/838.69 c #Conflicts: 834000 | #Constraints: 24259 836.47/838.69 c #Conflicts: 835000 | #Constraints: 25262 836.47/838.69 c #Conflicts: 836000 | #Constraints: 26266 836.47/838.69 c #Conflicts: 837000 | #Constraints: 27268 836.47/838.69 c #Conflicts: 838000 | #Constraints: 28272 836.47/838.69 c #Conflicts: 839000 | #Constraints: 29276 836.47/838.69 c #Conflicts: 840000 | #Constraints: 30277 836.47/838.69 c #Conflicts: 841000 | #Constraints: 31279 836.47/838.69 c #Conflicts: 842000 | #Constraints: 32281 836.47/838.69 c #Conflicts: 843000 | #Constraints: 33283 836.47/838.69 c #Conflicts: 844000 | #Constraints: 34286 836.47/838.69 c #Conflicts: 845000 | #Constraints: 35289 836.47/838.69 c #Conflicts: 846000 | #Constraints: 36296 836.47/838.69 c INPROCESSING 836.47/838.69 c GARBAGE COLLECT 836.47/838.69 c rational objective 3 855.12/857.34 c #Conflicts: 847000 | #Constraints: 19007 855.12/857.34 c #Conflicts: 848000 | #Constraints: 20012 855.12/857.34 c #Conflicts: 849000 | #Constraints: 21021 855.12/857.34 c #Conflicts: 850000 | #Constraints: 22026 855.12/857.34 c #Conflicts: 851000 | #Constraints: 23030 855.12/857.34 c #Conflicts: 852000 | #Constraints: 24035 855.12/857.34 c #Conflicts: 853000 | #Constraints: 25035 855.12/857.34 c #Conflicts: 854000 | #Constraints: 26040 855.12/857.34 c #Conflicts: 855000 | #Constraints: 27048 855.12/857.34 c #Conflicts: 856000 | #Constraints: 28056 855.12/857.34 c #Conflicts: 857000 | #Constraints: 29061 855.12/857.34 c #Conflicts: 858000 | #Constraints: 30066 855.12/857.34 c #Conflicts: 859000 | #Constraints: 31071 855.12/857.34 c #Conflicts: 860000 | #Constraints: 32074 855.12/857.34 c #Conflicts: 861000 | #Constraints: 33079 855.12/857.34 c #Conflicts: 862000 | #Constraints: 34089 855.12/857.34 c #Conflicts: 863000 | #Constraints: 35099 855.12/857.34 c #Conflicts: 864000 | #Constraints: 36108 855.12/857.34 c #Conflicts: 865000 | #Constraints: 37115 855.12/857.34 c INPROCESSING 855.12/857.34 c GARBAGE COLLECT 855.12/857.34 c rational objective 3 876.96/879.29 c #Conflicts: 866000 | #Constraints: 19619 876.96/879.29 c #Conflicts: 867000 | #Constraints: 20627 876.96/879.29 c #Conflicts: 868000 | #Constraints: 21632 876.96/879.29 c #Conflicts: 869000 | #Constraints: 22636 876.96/879.29 c #Conflicts: 870000 | #Constraints: 23642 876.96/879.29 c #Conflicts: 871000 | #Constraints: 24650 876.96/879.29 c #Conflicts: 872000 | #Constraints: 25653 876.96/879.29 c #Conflicts: 873000 | #Constraints: 26658 876.96/879.29 c #Conflicts: 874000 | #Constraints: 27665 876.96/879.29 c #Conflicts: 875000 | #Constraints: 28671 876.96/879.29 c #Conflicts: 876000 | #Constraints: 29677 876.96/879.29 c #Conflicts: 877000 | #Constraints: 30686 876.96/879.29 c #Conflicts: 878000 | #Constraints: 31691 876.96/879.29 c #Conflicts: 879000 | #Constraints: 32696 876.96/879.29 c #Conflicts: 880000 | #Constraints: 33702 876.96/879.29 c #Conflicts: 881000 | #Constraints: 34710 876.96/879.29 c #Conflicts: 882000 | #Constraints: 35727 876.96/879.29 c #Conflicts: 883000 | #Constraints: 36733 876.96/879.29 c #Conflicts: 884000 | #Constraints: 37744 876.96/879.29 c INPROCESSING 876.96/879.29 c GARBAGE COLLECT 876.96/879.29 c rational objective 3 902.81/905.16 c #Conflicts: 885000 | #Constraints: 20033 902.81/905.16 c #Conflicts: 886000 | #Constraints: 21037 902.81/905.16 c #Conflicts: 887000 | #Constraints: 22042 902.81/905.16 c #Conflicts: 888000 | #Constraints: 23049 902.81/905.16 c #Conflicts: 889000 | #Constraints: 24056 902.81/905.16 c #Conflicts: 890000 | #Constraints: 25065 902.81/905.16 c #Conflicts: 891000 | #Constraints: 26071 902.81/905.16 c #Conflicts: 892000 | #Constraints: 27075 902.81/905.16 c #Conflicts: 893000 | #Constraints: 28085 902.81/905.16 c #Conflicts: 894000 | #Constraints: 29089 902.81/905.16 c #Conflicts: 895000 | #Constraints: 30095 902.81/905.16 c #Conflicts: 896000 | #Constraints: 31101 902.81/905.16 c #Conflicts: 897000 | #Constraints: 32106 902.81/905.16 c #Conflicts: 898000 | #Constraints: 33110 902.81/905.16 c #Conflicts: 899000 | #Constraints: 34116 902.81/905.16 c #Conflicts: 900000 | #Constraints: 35124 902.81/905.16 c #Conflicts: 901000 | #Constraints: 36134 902.81/905.16 c #Conflicts: 902000 | #Constraints: 37138 902.81/905.16 c #Conflicts: 903000 | #Constraints: 38143 902.81/905.16 c INPROCESSING 902.81/905.16 c GARBAGE COLLECT 902.81/905.16 c rational objective 3 927.83/930.20 c #Conflicts: 904000 | #Constraints: 20231 927.83/930.20 c #Conflicts: 905000 | #Constraints: 21238 927.83/930.20 c #Conflicts: 906000 | #Constraints: 22245 927.83/930.20 c #Conflicts: 907000 | #Constraints: 23251 927.83/930.20 c #Conflicts: 908000 | #Constraints: 24255 927.83/930.20 c #Conflicts: 909000 | #Constraints: 25259 927.83/930.20 c #Conflicts: 910000 | #Constraints: 26263 927.83/930.20 c #Conflicts: 911000 | #Constraints: 27268 927.83/930.20 c #Conflicts: 912000 | #Constraints: 28271 927.83/930.20 c #Conflicts: 913000 | #Constraints: 29275 927.83/930.20 c #Conflicts: 914000 | #Constraints: 30282 927.83/930.20 c #Conflicts: 915000 | #Constraints: 31292 927.83/930.20 c #Conflicts: 916000 | #Constraints: 32296 927.83/930.20 c #Conflicts: 917000 | #Constraints: 33301 927.83/930.20 c #Conflicts: 918000 | #Constraints: 34305 927.83/930.20 c #Conflicts: 919000 | #Constraints: 35311 927.83/930.20 c #Conflicts: 920000 | #Constraints: 36315 927.83/930.20 c #Conflicts: 921000 | #Constraints: 37320 927.83/930.20 c #Conflicts: 922000 | #Constraints: 38324 927.83/930.20 c INPROCESSING 927.83/930.20 c GARBAGE COLLECT 927.83/930.20 c rational objective 3 958.95/961.41 c #Conflicts: 923000 | #Constraints: 20220 958.95/961.41 c #Conflicts: 924000 | #Constraints: 21239 958.95/961.41 c #Conflicts: 925000 | #Constraints: 22243 958.95/961.41 c #Conflicts: 926000 | #Constraints: 23245 958.95/961.41 c #Conflicts: 927000 | #Constraints: 24246 958.95/961.41 c #Conflicts: 928000 | #Constraints: 25247 958.95/961.41 c #Conflicts: 929000 | #Constraints: 26251 958.95/961.41 c #Conflicts: 930000 | #Constraints: 27253 958.95/961.41 c #Conflicts: 931000 | #Constraints: 28258 958.95/961.41 c #Conflicts: 932000 | #Constraints: 29263 958.95/961.41 c #Conflicts: 933000 | #Constraints: 30266 958.95/961.41 c #Conflicts: 934000 | #Constraints: 31270 958.95/961.41 c #Conflicts: 935000 | #Constraints: 32272 958.95/961.41 c #Conflicts: 936000 | #Constraints: 33277 958.95/961.41 c #Conflicts: 937000 | #Constraints: 34282 958.95/961.41 c #Conflicts: 938000 | #Constraints: 35285 958.95/961.41 c #Conflicts: 939000 | #Constraints: 36292 958.95/961.41 c #Conflicts: 940000 | #Constraints: 37293 958.95/961.41 c #Conflicts: 941000 | #Constraints: 38295 958.95/961.41 c INPROCESSING 958.95/961.41 c GARBAGE COLLECT 958.95/961.41 c rational objective 3 984.88/987.41 c #Conflicts: 942000 | #Constraints: 20019 984.88/987.41 c #Conflicts: 943000 | #Constraints: 21022 984.88/987.41 c #Conflicts: 944000 | #Constraints: 22025 984.88/987.41 c #Conflicts: 945000 | #Constraints: 23028 984.88/987.41 c #Conflicts: 946000 | #Constraints: 24034 984.88/987.41 c #Conflicts: 947000 | #Constraints: 25035 984.88/987.41 c #Conflicts: 948000 | #Constraints: 26036 984.88/987.41 c #Conflicts: 949000 | #Constraints: 27039 984.88/987.41 c #Conflicts: 950000 | #Constraints: 28043 984.88/987.41 c #Conflicts: 951000 | #Constraints: 29049 984.88/987.41 c #Conflicts: 952000 | #Constraints: 30056 984.88/987.41 c #Conflicts: 953000 | #Constraints: 31063 984.88/987.41 c #Conflicts: 954000 | #Constraints: 32069 984.88/987.41 c #Conflicts: 955000 | #Constraints: 33078 984.88/987.41 c #Conflicts: 956000 | #Constraints: 34081 984.88/987.41 c #Conflicts: 957000 | #Constraints: 35084 984.88/987.41 c #Conflicts: 958000 | #Constraints: 36085 984.88/987.41 c #Conflicts: 959000 | #Constraints: 37090 984.88/987.41 c #Conflicts: 960000 | #Constraints: 38096 984.88/987.41 c #Conflicts: 961000 | #Constraints: 39098 984.88/987.41 c INPROCESSING 984.88/987.41 c GARBAGE COLLECT 984.88/987.41 c rational objective 3 1004.04/1006.61 c #Conflicts: 962000 | #Constraints: 20614 1004.04/1006.61 c #Conflicts: 963000 | #Constraints: 21623 1004.04/1006.61 c #Conflicts: 964000 | #Constraints: 22630 1004.04/1006.61 c #Conflicts: 965000 | #Constraints: 23637 1004.04/1006.61 c #Conflicts: 966000 | #Constraints: 24642 1004.04/1006.61 c #Conflicts: 967000 | #Constraints: 25648 1004.04/1006.61 c #Conflicts: 968000 | #Constraints: 26655 1004.04/1006.61 c #Conflicts: 969000 | #Constraints: 27661 1004.04/1006.61 c #Conflicts: 970000 | #Constraints: 28665 1004.04/1006.61 c #Conflicts: 971000 | #Constraints: 29669 1004.04/1006.61 c #Conflicts: 972000 | #Constraints: 30670 1004.04/1006.61 c #Conflicts: 973000 | #Constraints: 31673 1004.04/1006.61 c #Conflicts: 974000 | #Constraints: 32682 1004.04/1006.61 c #Conflicts: 975000 | #Constraints: 33687 1004.04/1006.61 c #Conflicts: 976000 | #Constraints: 34692 1004.04/1006.61 c #Conflicts: 977000 | #Constraints: 35700 1004.04/1006.61 c #Conflicts: 978000 | #Constraints: 36702 1004.04/1006.61 c #Conflicts: 979000 | #Constraints: 37705 1004.04/1006.61 c #Conflicts: 980000 | #Constraints: 38710 1004.04/1006.61 c #Conflicts: 981000 | #Constraints: 39715 1004.04/1006.61 c INPROCESSING 1004.04/1006.61 c GARBAGE COLLECT 1004.04/1006.61 c rational objective 3 1027.88/1030.54 c #Conflicts: 982000 | #Constraints: 21021 1027.88/1030.54 c #Conflicts: 983000 | #Constraints: 22027 1027.88/1030.54 c #Conflicts: 984000 | #Constraints: 23032 1027.88/1030.54 c #Conflicts: 985000 | #Constraints: 24035 1027.88/1030.54 c #Conflicts: 986000 | #Constraints: 25038 1027.88/1030.54 c #Conflicts: 987000 | #Constraints: 26042 1027.88/1030.54 c #Conflicts: 988000 | #Constraints: 27045 1027.88/1030.54 c #Conflicts: 989000 | #Constraints: 28046 1027.88/1030.54 c #Conflicts: 990000 | #Constraints: 29049 1027.88/1030.54 c #Conflicts: 991000 | #Constraints: 30051 1027.88/1030.54 c #Conflicts: 992000 | #Constraints: 31051 1027.88/1030.54 c #Conflicts: 993000 | #Constraints: 32055 1027.88/1030.54 c #Conflicts: 994000 | #Constraints: 33057 1027.88/1030.54 c #Conflicts: 995000 | #Constraints: 34059 1027.88/1030.54 c #Conflicts: 996000 | #Constraints: 35061 1027.88/1030.54 c #Conflicts: 997000 | #Constraints: 36065 1027.88/1030.54 c #Conflicts: 998000 | #Constraints: 37067 1027.88/1030.54 c #Conflicts: 999000 | #Constraints: 38071 1027.88/1030.54 c #Conflicts: 1000000 | #Constraints: 39074 1027.88/1030.54 c #Conflicts: 1001000 | #Constraints: 40077 1027.88/1030.54 c INPROCESSING 1027.88/1030.54 c GARBAGE COLLECT 1027.88/1030.54 c rational objective 3 1057.91/1060.65 c #Conflicts: 1002000 | #Constraints: 21205 1057.91/1060.65 c #Conflicts: 1003000 | #Constraints: 22210 1057.91/1060.65 c #Conflicts: 1004000 | #Constraints: 23217 1057.91/1060.65 c #Conflicts: 1005000 | #Constraints: 24223 1057.91/1060.65 c #Conflicts: 1006000 | #Constraints: 25225 1057.91/1060.65 c #Conflicts: 1007000 | #Constraints: 26230 1057.91/1060.65 c #Conflicts: 1008000 | #Constraints: 27236 1057.91/1060.65 c #Conflicts: 1009000 | #Constraints: 28239 1057.91/1060.65 c #Conflicts: 1010000 | #Constraints: 29245 1057.91/1060.65 c #Conflicts: 1011000 | #Constraints: 30252 1057.91/1060.65 c #Conflicts: 1012000 | #Constraints: 31260 1057.91/1060.65 c #Conflicts: 1013000 | #Constraints: 32266 1057.91/1060.65 c #Conflicts: 1014000 | #Constraints: 33272 1057.91/1060.65 c #Conflicts: 1015000 | #Constraints: 34275 1057.91/1060.65 c #Conflicts: 1016000 | #Constraints: 35277 1057.91/1060.65 c #Conflicts: 1017000 | #Constraints: 36281 1057.91/1060.65 c #Conflicts: 1018000 | #Constraints: 37284 1057.91/1060.65 c #Conflicts: 1019000 | #Constraints: 38287 1057.91/1060.65 c #Conflicts: 1020000 | #Constraints: 39290 1057.91/1060.65 c #Conflicts: 1021000 | #Constraints: 40293 1057.91/1060.65 c INPROCESSING 1057.91/1060.65 c GARBAGE COLLECT 1057.91/1060.65 c rational objective 3 1083.85/1086.66 c #Conflicts: 1022000 | #Constraints: 21215 1083.85/1086.66 c #Conflicts: 1023000 | #Constraints: 22218 1083.85/1086.66 c #Conflicts: 1024000 | #Constraints: 23226 1083.85/1086.66 c #Conflicts: 1025000 | #Constraints: 24232 1083.85/1086.66 c #Conflicts: 1026000 | #Constraints: 25237 1083.85/1086.66 c #Conflicts: 1027000 | #Constraints: 26241 1083.85/1086.66 c #Conflicts: 1028000 | #Constraints: 27248 1083.85/1086.66 c #Conflicts: 1029000 | #Constraints: 28252 1083.85/1086.66 c #Conflicts: 1030000 | #Constraints: 29253 1083.85/1086.66 c #Conflicts: 1031000 | #Constraints: 30256 1083.85/1086.66 c #Conflicts: 1032000 | #Constraints: 31261 1083.85/1086.66 c #Conflicts: 1033000 | #Constraints: 32265 1083.85/1086.66 c #Conflicts: 1034000 | #Constraints: 33266 1083.85/1086.66 c #Conflicts: 1035000 | #Constraints: 34272 1083.85/1086.66 c #Conflicts: 1036000 | #Constraints: 35276 1083.85/1086.66 c #Conflicts: 1037000 | #Constraints: 36277 1083.85/1086.66 c #Conflicts: 1038000 | #Constraints: 37280 1083.85/1086.66 c #Conflicts: 1039000 | #Constraints: 38283 1083.85/1086.66 c #Conflicts: 1040000 | #Constraints: 39287 1083.85/1086.66 c #Conflicts: 1041000 | #Constraints: 40291 1083.85/1086.66 c INPROCESSING 1083.85/1086.66 c GARBAGE COLLECT 1083.85/1086.66 c rational objective 3 1155.97/1158.99 c #Conflicts: 1042000 | #Constraints: 21008 1155.97/1158.99 c #Conflicts: 1043000 | #Constraints: 22016 1155.97/1158.99 c #Conflicts: 1044000 | #Constraints: 23026 1155.97/1158.99 c #Conflicts: 1045000 | #Constraints: 24035 1155.97/1158.99 c #Conflicts: 1046000 | #Constraints: 25041 1155.97/1158.99 c #Conflicts: 1047000 | #Constraints: 26228 1155.97/1158.99 c #Conflicts: 1048000 | #Constraints: 27973 1155.97/1158.99 c #Conflicts: 1049000 | #Constraints: 29759 1155.97/1158.99 c #Conflicts: 1050000 | #Constraints: 31501 1155.97/1158.99 c #Conflicts: 1051000 | #Constraints: 33256 1155.97/1158.99 c #Conflicts: 1052000 | #Constraints: 35034 1155.97/1158.99 c #Conflicts: 1053000 | #Constraints: 36677 1155.97/1158.99 c #Conflicts: 1054000 | #Constraints: 38240 1155.97/1158.99 c #Conflicts: 1055000 | #Constraints: 39637 1155.97/1158.99 c #Conflicts: 1056000 | #Constraints: 41401 1155.97/1158.99 c #Conflicts: 1057000 | #Constraints: 43174 1155.97/1158.99 c #Conflicts: 1058000 | #Constraints: 44973 1155.97/1158.99 c #Conflicts: 1059000 | #Constraints: 46752 1155.97/1158.99 c #Conflicts: 1060000 | #Constraints: 48142 1155.97/1158.99 c #Conflicts: 1061000 | #Constraints: 49358 1155.97/1158.99 c #Conflicts: 1062000 | #Constraints: 51103 1155.97/1158.99 c INPROCESSING 1155.97/1158.99 c GARBAGE COLLECT 1155.97/1158.99 c rational objective 3 1211.72/1214.88 c #Conflicts: 1063000 | #Constraints: 26690 1211.72/1214.88 c #Conflicts: 1064000 | #Constraints: 27693 1211.72/1214.88 c #Conflicts: 1065000 | #Constraints: 28696 1211.72/1214.88 c #Conflicts: 1066000 | #Constraints: 29700 1211.72/1214.88 c #Conflicts: 1067000 | #Constraints: 30706 1211.72/1214.88 c #Conflicts: 1068000 | #Constraints: 31711 1211.72/1214.88 c #Conflicts: 1069000 | #Constraints: 32714 1211.72/1214.88 c #Conflicts: 1070000 | #Constraints: 33716 1211.72/1214.88 c #Conflicts: 1071000 | #Constraints: 34720 1211.72/1214.88 c #Conflicts: 1072000 | #Constraints: 35725 1211.72/1214.88 c #Conflicts: 1073000 | #Constraints: 36730 1211.72/1214.88 c #Conflicts: 1074000 | #Constraints: 37734 1211.72/1214.88 c #Conflicts: 1075000 | #Constraints: 38744 1211.72/1214.88 c #Conflicts: 1076000 | #Constraints: 39746 1211.72/1214.88 c #Conflicts: 1077000 | #Constraints: 40748 1211.72/1214.88 c #Conflicts: 1078000 | #Constraints: 41756 1211.72/1214.88 c #Conflicts: 1079000 | #Constraints: 42762 1211.72/1214.88 c #Conflicts: 1080000 | #Constraints: 43770 1211.72/1214.88 c #Conflicts: 1081000 | #Constraints: 44774 1211.72/1214.88 c #Conflicts: 1082000 | #Constraints: 45778 1211.72/1214.88 c #Conflicts: 1083000 | #Constraints: 46781 1211.72/1214.88 c INPROCESSING 1211.72/1214.88 c GARBAGE COLLECT 1211.72/1214.88 c rational objective 3 1266.96/1270.26 c #Conflicts: 1084000 | #Constraints: 24547 1266.96/1270.26 c #Conflicts: 1085000 | #Constraints: 25550 1266.96/1270.26 c #Conflicts: 1086000 | #Constraints: 26555 1266.96/1270.26 c #Conflicts: 1087000 | #Constraints: 27557 1266.96/1270.26 c #Conflicts: 1088000 | #Constraints: 28558 1266.96/1270.26 c #Conflicts: 1089000 | #Constraints: 29561 1266.96/1270.26 c #Conflicts: 1090000 | #Constraints: 30565 1266.96/1270.26 c #Conflicts: 1091000 | #Constraints: 31568 1266.96/1270.26 c #Conflicts: 1092000 | #Constraints: 32571 1266.96/1270.26 c #Conflicts: 1093000 | #Constraints: 33576 1266.96/1270.26 c #Conflicts: 1094000 | #Constraints: 34579 1266.96/1270.26 c #Conflicts: 1095000 | #Constraints: 35585 1266.96/1270.26 c #Conflicts: 1096000 | #Constraints: 36585 1266.96/1270.26 c #Conflicts: 1097000 | #Constraints: 37589 1266.96/1270.26 c #Conflicts: 1098000 | #Constraints: 38595 1266.96/1270.26 c #Conflicts: 1099000 | #Constraints: 39600 1266.96/1270.26 c #Conflicts: 1100000 | #Constraints: 40606 1266.96/1270.26 c #Conflicts: 1101000 | #Constraints: 41609 1266.96/1270.26 c #Conflicts: 1102000 | #Constraints: 42613 1266.96/1270.26 c #Conflicts: 1103000 | #Constraints: 43622 1266.96/1270.26 c #Conflicts: 1104000 | #Constraints: 44626 1266.96/1270.26 c INPROCESSING 1266.96/1270.26 c GARBAGE COLLECT 1266.96/1270.26 c rational objective 3 1362.81/1366.35 c #Conflicts: 1105000 | #Constraints: 23464 1362.81/1366.35 c #Conflicts: 1106000 | #Constraints: 24471 1362.81/1366.35 c #Conflicts: 1107000 | #Constraints: 25479 1362.81/1366.35 c #Conflicts: 1108000 | #Constraints: 26484 1362.81/1366.35 c #Conflicts: 1109000 | #Constraints: 27487 1362.81/1366.35 c #Conflicts: 1110000 | #Constraints: 28489 1362.81/1366.35 c #Conflicts: 1111000 | #Constraints: 29497 1362.81/1366.35 c #Conflicts: 1112000 | #Constraints: 30499 1362.81/1366.35 c #Conflicts: 1113000 | #Constraints: 31502 1362.81/1366.35 c #Conflicts: 1114000 | #Constraints: 32504 1362.81/1366.35 c #Conflicts: 1115000 | #Constraints: 33506 1362.81/1366.35 c #Conflicts: 1116000 | #Constraints: 34512 1362.81/1366.35 c #Conflicts: 1117000 | #Constraints: 35519 1362.81/1366.35 c #Conflicts: 1118000 | #Constraints: 36524 1362.81/1366.35 c #Conflicts: 1119000 | #Constraints: 37532 1362.81/1366.35 c #Conflicts: 1120000 | #Constraints: 38535 1362.81/1366.35 c #Conflicts: 1121000 | #Constraints: 39540 1362.81/1366.35 c #Conflicts: 1122000 | #Constraints: 40542 1362.81/1366.35 c #Conflicts: 1123000 | #Constraints: 41545 1362.81/1366.35 c #Conflicts: 1124000 | #Constraints: 42550 1362.81/1366.35 c #Conflicts: 1125000 | #Constraints: 43552 1362.81/1366.35 c INPROCESSING 1362.81/1366.35 c GARBAGE COLLECT 1362.81/1366.35 c rational objective 3 1413.27/1416.93 c #Conflicts: 1126000 | #Constraints: 22863 1413.27/1416.93 c #Conflicts: 1127000 | #Constraints: 23911 1413.27/1416.93 c #Conflicts: 1128000 | #Constraints: 24933 1413.27/1416.93 c #Conflicts: 1129000 | #Constraints: 25953 1413.27/1416.93 c #Conflicts: 1130000 | #Constraints: 27055 1413.27/1416.93 c #Conflicts: 1131000 | #Constraints: 28215 1413.27/1416.93 c #Conflicts: 1132000 | #Constraints: 29242 1413.27/1416.93 c #Conflicts: 1133000 | #Constraints: 30306 1413.27/1416.93 c #Conflicts: 1134000 | #Constraints: 31395 1413.27/1416.93 c #Conflicts: 1135000 | #Constraints: 32406 1413.27/1416.93 c #Conflicts: 1136000 | #Constraints: 33418 1413.27/1416.93 c #Conflicts: 1137000 | #Constraints: 34488 1413.27/1416.93 c #Conflicts: 1138000 | #Constraints: 35847 1413.27/1416.93 c #Conflicts: 1139000 | #Constraints: 36853 1413.27/1416.93 c #Conflicts: 1140000 | #Constraints: 38033 1413.27/1416.93 c #Conflicts: 1141000 | #Constraints: 39040 1413.27/1416.93 c #Conflicts: 1142000 | #Constraints: 40045 1413.27/1416.93 c #Conflicts: 1143000 | #Constraints: 41048 1413.27/1416.93 c #Conflicts: 1144000 | #Constraints: 42056 1413.27/1416.93 c #Conflicts: 1145000 | #Constraints: 43064 1413.27/1416.93 c #Conflicts: 1146000 | #Constraints: 44140 1413.27/1416.93 c INPROCESSING 1413.27/1416.93 c GARBAGE COLLECT 1413.27/1416.93 c rational objective 3 1459.55/1463.35 c #Conflicts: 1147000 | #Constraints: 22939 1459.55/1463.35 c #Conflicts: 1148000 | #Constraints: 23945 1459.55/1463.35 c #Conflicts: 1149000 | #Constraints: 25048 1459.55/1463.35 c #Conflicts: 1150000 | #Constraints: 26220 1459.55/1463.35 c #Conflicts: 1151000 | #Constraints: 27239 1459.55/1463.35 c #Conflicts: 1152000 | #Constraints: 28445 1459.55/1463.35 c #Conflicts: 1153000 | #Constraints: 29859 1459.55/1463.35 c #Conflicts: 1154000 | #Constraints: 30870 1459.55/1463.35 c #Conflicts: 1155000 | #Constraints: 31908 1459.55/1463.35 c #Conflicts: 1156000 | #Constraints: 33164 1459.55/1463.35 c #Conflicts: 1157000 | #Constraints: 34257 1459.55/1463.35 c #Conflicts: 1158000 | #Constraints: 35375 1459.55/1463.35 c #Conflicts: 1159000 | #Constraints: 36573 1459.55/1463.35 c #Conflicts: 1160000 | #Constraints: 37612 1459.55/1463.35 c #Conflicts: 1161000 | #Constraints: 39057 1459.55/1463.35 c #Conflicts: 1162000 | #Constraints: 40091 1459.55/1463.35 c #Conflicts: 1163000 | #Constraints: 41346 1459.55/1463.35 c #Conflicts: 1164000 | #Constraints: 43049 1459.55/1463.35 c #Conflicts: 1165000 | #Constraints: 44213 1459.55/1463.35 c #Conflicts: 1166000 | #Constraints: 45234 1459.55/1463.36 c #Conflicts: 1167000 | #Constraints: 46237 1459.55/1463.36 c #Conflicts: 1168000 | #Constraints: 47246 1459.55/1463.36 c INPROCESSING 1459.55/1463.36 c GARBAGE COLLECT 1459.55/1463.36 c rational objective 3 1507.82/1511.72 c #Conflicts: 1169000 | #Constraints: 24900 1507.82/1511.72 c #Conflicts: 1170000 | #Constraints: 26074 1507.82/1511.72 c #Conflicts: 1171000 | #Constraints: 27265 1507.82/1511.72 c #Conflicts: 1172000 | #Constraints: 28442 1507.82/1511.72 c #Conflicts: 1173000 | #Constraints: 29570 1507.82/1511.72 c #Conflicts: 1174000 | #Constraints: 30681 1507.82/1511.72 c #Conflicts: 1175000 | #Constraints: 31696 1507.82/1511.72 c #Conflicts: 1176000 | #Constraints: 32704 1507.82/1511.72 c #Conflicts: 1177000 | #Constraints: 33754 1507.82/1511.72 c #Conflicts: 1178000 | #Constraints: 34991 1507.82/1511.72 c #Conflicts: 1179000 | #Constraints: 36006 1507.82/1511.72 c #Conflicts: 1180000 | #Constraints: 37034 1507.82/1511.72 c #Conflicts: 1181000 | #Constraints: 38112 1507.82/1511.72 c #Conflicts: 1182000 | #Constraints: 39200 1507.82/1511.72 c #Conflicts: 1183000 | #Constraints: 40337 1507.82/1511.72 c #Conflicts: 1184000 | #Constraints: 41337 1507.82/1511.72 c #Conflicts: 1185000 | #Constraints: 42389 1507.82/1511.72 c #Conflicts: 1186000 | #Constraints: 43404 1507.82/1511.72 c #Conflicts: 1187000 | #Constraints: 44442 1507.82/1511.72 c #Conflicts: 1188000 | #Constraints: 45467 1507.82/1511.72 c #Conflicts: 1189000 | #Constraints: 46588 1507.82/1511.72 c #Conflicts: 1190000 | #Constraints: 47697 1507.82/1511.72 c INPROCESSING 1507.82/1511.72 c GARBAGE COLLECT 1507.82/1511.72 c rational objective 3 1547.52/1551.55 c #Conflicts: 1191000 | #Constraints: 25032 1547.52/1551.55 c #Conflicts: 1192000 | #Constraints: 26033 1547.52/1551.55 c #Conflicts: 1193000 | #Constraints: 27034 1547.52/1551.55 c #Conflicts: 1194000 | #Constraints: 28035 1547.52/1551.55 c #Conflicts: 1195000 | #Constraints: 29036 1547.52/1551.55 c #Conflicts: 1196000 | #Constraints: 30038 1547.52/1551.55 c #Conflicts: 1197000 | #Constraints: 31039 1547.52/1551.55 c #Conflicts: 1198000 | #Constraints: 32041 1547.52/1551.55 c #Conflicts: 1199000 | #Constraints: 33045 1547.52/1551.55 c #Conflicts: 1200000 | #Constraints: 34045 1547.52/1551.55 c #Conflicts: 1201000 | #Constraints: 35046 1547.52/1551.55 c #Conflicts: 1202000 | #Constraints: 36048 1547.52/1551.55 c #Conflicts: 1203000 | #Constraints: 37049 1547.52/1551.55 c #Conflicts: 1204000 | #Constraints: 38049 1547.52/1551.55 c #Conflicts: 1205000 | #Constraints: 39051 1547.52/1551.55 c #Conflicts: 1206000 | #Constraints: 40052 1547.52/1551.55 c #Conflicts: 1207000 | #Constraints: 41052 1547.52/1551.55 c #Conflicts: 1208000 | #Constraints: 42053 1547.52/1551.55 c #Conflicts: 1209000 | #Constraints: 43054 1547.52/1551.55 c #Conflicts: 1210000 | #Constraints: 44055 1547.52/1551.55 c #Conflicts: 1211000 | #Constraints: 45056 1547.52/1551.55 c #Conflicts: 1212000 | #Constraints: 46058 1547.52/1551.55 c INPROCESSING 1547.52/1551.55 c GARBAGE COLLECT 1547.52/1551.55 c rational objective 3 1598.79/1603.01 c #Conflicts: 1213000 | #Constraints: 24187 1598.79/1603.01 c #Conflicts: 1214000 | #Constraints: 25192 1598.79/1603.01 c #Conflicts: 1215000 | #Constraints: 26196 1598.79/1603.01 c #Conflicts: 1216000 | #Constraints: 27199 1598.79/1603.01 c #Conflicts: 1217000 | #Constraints: 28209 1598.79/1603.01 c #Conflicts: 1218000 | #Constraints: 29265 1598.79/1603.01 c #Conflicts: 1219000 | #Constraints: 30468 1598.79/1603.01 c #Conflicts: 1220000 | #Constraints: 31680 1598.79/1603.01 c #Conflicts: 1221000 | #Constraints: 32694 1598.79/1603.01 c #Conflicts: 1222000 | #Constraints: 33715 1598.79/1603.01 c #Conflicts: 1223000 | #Constraints: 34794 1598.79/1603.01 c #Conflicts: 1224000 | #Constraints: 36111 1598.79/1603.01 c #Conflicts: 1225000 | #Constraints: 37201 1598.79/1603.01 c #Conflicts: 1226000 | #Constraints: 38488 1598.79/1603.01 c #Conflicts: 1227000 | #Constraints: 39599 1598.79/1603.01 c #Conflicts: 1228000 | #Constraints: 40898 1598.79/1603.01 c #Conflicts: 1229000 | #Constraints: 41900 1598.79/1603.01 c #Conflicts: 1230000 | #Constraints: 42943 1598.79/1603.01 c #Conflicts: 1231000 | #Constraints: 43988 1598.79/1603.01 c #Conflicts: 1232000 | #Constraints: 45017 1598.79/1603.01 c #Conflicts: 1233000 | #Constraints: 46027 1598.79/1603.01 c #Conflicts: 1234000 | #Constraints: 47122 1598.79/1603.01 c INPROCESSING 1598.79/1603.01 c GARBAGE COLLECT 1598.79/1603.01 c rational objective 3 1633.20/1637.49 c #Conflicts: 1235000 | #Constraints: 24622 1633.20/1637.49 c #Conflicts: 1236000 | #Constraints: 25623 1633.20/1637.49 c #Conflicts: 1237000 | #Constraints: 26624 1633.20/1637.49 c #Conflicts: 1238000 | #Constraints: 27625 1633.20/1637.49 c #Conflicts: 1239000 | #Constraints: 28628 1633.20/1637.49 c #Conflicts: 1240000 | #Constraints: 29629 1633.20/1637.49 c #Conflicts: 1241000 | #Constraints: 30630 1633.20/1637.49 c #Conflicts: 1242000 | #Constraints: 31631 1633.20/1637.49 c #Conflicts: 1243000 | #Constraints: 32631 1633.20/1637.49 c #Conflicts: 1244000 | #Constraints: 33631 1633.20/1637.49 c #Conflicts: 1245000 | #Constraints: 34634 1633.20/1637.49 c #Conflicts: 1246000 | #Constraints: 35638 1633.20/1637.49 c #Conflicts: 1247000 | #Constraints: 36639 1633.20/1637.49 c #Conflicts: 1248000 | #Constraints: 37639 1633.20/1637.49 c #Conflicts: 1249000 | #Constraints: 38640 1633.20/1637.49 c #Conflicts: 1250000 | #Constraints: 39642 1633.20/1637.49 c #Conflicts: 1251000 | #Constraints: 40643 1633.20/1637.49 c #Conflicts: 1252000 | #Constraints: 41649 1633.20/1637.49 c #Conflicts: 1253000 | #Constraints: 42652 1633.20/1637.49 c #Conflicts: 1254000 | #Constraints: 43653 1633.20/1637.49 c #Conflicts: 1255000 | #Constraints: 44661 1633.20/1637.49 c #Conflicts: 1256000 | #Constraints: 45662 1633.20/1637.49 c INPROCESSING 1633.20/1637.49 c GARBAGE COLLECT 1633.20/1637.49 c rational objective 3 1676.79/1681.12 c #Conflicts: 1257000 | #Constraints: 23695 1676.79/1681.12 c #Conflicts: 1258000 | #Constraints: 24700 1676.79/1681.12 c #Conflicts: 1259000 | #Constraints: 25706 1676.79/1681.12 c #Conflicts: 1260000 | #Constraints: 26711 1676.79/1681.12 c #Conflicts: 1261000 | #Constraints: 27715 1676.79/1681.12 c #Conflicts: 1262000 | #Constraints: 28720 1676.79/1681.12 c #Conflicts: 1263000 | #Constraints: 29722 1676.79/1681.12 c #Conflicts: 1264000 | #Constraints: 30731 1676.79/1681.12 c #Conflicts: 1265000 | #Constraints: 31743 1676.79/1681.12 c #Conflicts: 1266000 | #Constraints: 32748 1676.79/1681.12 c #Conflicts: 1267000 | #Constraints: 33752 1676.79/1681.12 c #Conflicts: 1268000 | #Constraints: 34759 1676.79/1681.12 c #Conflicts: 1269000 | #Constraints: 35764 1676.79/1681.12 c #Conflicts: 1270000 | #Constraints: 36765 1676.79/1681.12 c #Conflicts: 1271000 | #Constraints: 37769 1676.79/1681.12 c #Conflicts: 1272000 | #Constraints: 38772 1676.79/1681.12 c #Conflicts: 1273000 | #Constraints: 39774 1676.79/1681.12 c #Conflicts: 1274000 | #Constraints: 40776 1676.79/1681.12 c #Conflicts: 1275000 | #Constraints: 41781 1676.79/1681.12 c #Conflicts: 1276000 | #Constraints: 42789 1676.79/1681.12 c #Conflicts: 1277000 | #Constraints: 43794 1676.79/1681.12 c #Conflicts: 1278000 | #Constraints: 44798 1676.79/1681.12 c #Conflicts: 1279000 | #Constraints: 45803 1676.79/1681.12 c INPROCESSING 1676.79/1681.12 c GARBAGE COLLECT 1676.79/1681.12 c rational objective 3 1713.89/1718.36 c #Conflicts: 1280000 | #Constraints: 23952 1713.89/1718.36 c #Conflicts: 1281000 | #Constraints: 24962 1713.89/1718.36 c #Conflicts: 1282000 | #Constraints: 25969 1713.89/1718.36 c #Conflicts: 1283000 | #Constraints: 26978 1713.89/1718.36 c #Conflicts: 1284000 | #Constraints: 27981 1713.89/1718.36 c #Conflicts: 1285000 | #Constraints: 28986 1713.89/1718.36 c #Conflicts: 1286000 | #Constraints: 29993 1713.89/1718.36 c #Conflicts: 1287000 | #Constraints: 30998 1713.89/1718.36 c #Conflicts: 1288000 | #Constraints: 32006 1713.89/1718.36 c #Conflicts: 1289000 | #Constraints: 33010 1713.89/1718.36 c #Conflicts: 1290000 | #Constraints: 34014 1713.89/1718.36 c #Conflicts: 1291000 | #Constraints: 35018 1713.89/1718.36 c #Conflicts: 1292000 | #Constraints: 36021 1713.89/1718.36 c #Conflicts: 1293000 | #Constraints: 37024 1713.89/1718.36 c #Conflicts: 1294000 | #Constraints: 38026 1713.89/1718.36 c #Conflicts: 1295000 | #Constraints: 39028 1713.89/1718.36 c #Conflicts: 1296000 | #Constraints: 40035 1713.89/1718.36 c #Conflicts: 1297000 | #Constraints: 41043 1713.89/1718.36 c #Conflicts: 1298000 | #Constraints: 42048 1713.89/1718.36 c #Conflicts: 1299000 | #Constraints: 43054 1713.89/1718.36 c #Conflicts: 1300000 | #Constraints: 44057 1713.89/1718.36 c #Conflicts: 1301000 | #Constraints: 45060 1713.89/1718.36 c #Conflicts: 1302000 | #Constraints: 46063 1713.89/1718.36 c INPROCESSING 1713.89/1718.36 c GARBAGE COLLECT 1713.89/1718.36 c rational objective 3 1757.18/1761.79 c #Conflicts: 1303000 | #Constraints: 24185 1757.18/1761.79 c #Conflicts: 1304000 | #Constraints: 25194 1757.18/1761.79 c #Conflicts: 1305000 | #Constraints: 26199 1757.18/1761.79 c #Conflicts: 1306000 | #Constraints: 27202 1757.18/1761.79 c #Conflicts: 1307000 | #Constraints: 28208 1757.18/1761.79 c #Conflicts: 1308000 | #Constraints: 29214 1757.18/1761.79 c #Conflicts: 1309000 | #Constraints: 30222 1757.18/1761.79 c #Conflicts: 1310000 | #Constraints: 31241 1757.18/1761.79 c #Conflicts: 1311000 | #Constraints: 32242 1757.18/1761.79 c #Conflicts: 1312000 | #Constraints: 33251 1757.18/1761.79 c #Conflicts: 1313000 | #Constraints: 34257 1757.18/1761.79 c #Conflicts: 1314000 | #Constraints: 35266 1757.18/1761.79 c #Conflicts: 1315000 | #Constraints: 36273 1757.18/1761.79 c #Conflicts: 1316000 | #Constraints: 37281 1757.18/1761.79 c #Conflicts: 1317000 | #Constraints: 38286 1757.18/1761.79 c #Conflicts: 1318000 | #Constraints: 39289 1757.18/1761.79 c #Conflicts: 1319000 | #Constraints: 40292 1757.18/1761.79 c #Conflicts: 1320000 | #Constraints: 41301 1757.18/1761.79 c #Conflicts: 1321000 | #Constraints: 42309 1757.18/1761.79 c #Conflicts: 1322000 | #Constraints: 43314 1757.18/1761.79 c #Conflicts: 1323000 | #Constraints: 44316 1757.18/1761.79 c #Conflicts: 1324000 | #Constraints: 45322 1757.18/1761.79 c #Conflicts: 1325000 | #Constraints: 46326 1757.18/1761.79 c INPROCESSING 1757.18/1761.79 c GARBAGE COLLECT 1757.18/1761.79 c rational objective 3 1803.16/1807.86 c #Conflicts: 1326000 | #Constraints: 24348 1803.16/1807.86 c #Conflicts: 1327000 | #Constraints: 25351 1803.16/1807.86 c #Conflicts: 1328000 | #Constraints: 26354 1803.16/1807.86 c #Conflicts: 1329000 | #Constraints: 27357 1803.16/1807.86 c #Conflicts: 1330000 | #Constraints: 28359 1803.16/1807.86 c #Conflicts: 1331000 | #Constraints: 29362 1803.16/1807.86 c #Conflicts: 1332000 | #Constraints: 30365 1803.16/1807.86 c #Conflicts: 1333000 | #Constraints: 31370 1803.16/1807.86 c #Conflicts: 1334000 | #Constraints: 32372 1803.16/1807.86 c #Conflicts: 1335000 | #Constraints: 33374 1803.16/1807.86 c #Conflicts: 1336000 | #Constraints: 34379 1803.16/1807.86 c #Conflicts: 1337000 | #Constraints: 35384 1803.16/1807.86 c #Conflicts: 1338000 | #Constraints: 36385 1803.16/1807.86 c #Conflicts: 1339000 | #Constraints: 37389 1803.16/1807.86 c #Conflicts: 1340000 | #Constraints: 38393 1803.16/1807.86 c #Conflicts: 1341000 | #Constraints: 39399 1803.16/1807.86 c #Conflicts: 1342000 | #Constraints: 40401 1803.16/1807.86 c #Conflicts: 1343000 | #Constraints: 41404 1803.16/1807.86 c #Conflicts: 1344000 | #Constraints: 42407 1803.16/1807.86 c #Conflicts: 1345000 | #Constraints: 43416 1803.16/1807.86 c #Conflicts: 1346000 | #Constraints: 44421 1803.16/1807.86 c #Conflicts: 1347000 | #Constraints: 45426 1803.16/1807.86 c #Conflicts: 1348000 | #Constraints: 46429 1803.16/1807.86 c INPROCESSING 1803.16/1807.86 c GARBAGE COLLECT 1803.16/1807.86 c rational objective 3 1850.24/1855.04 c #Conflicts: 1349000 | #Constraints: 24284 1850.24/1855.04 c #Conflicts: 1350000 | #Constraints: 25286 1850.24/1855.04 c #Conflicts: 1351000 | #Constraints: 26291 1850.24/1855.04 c #Conflicts: 1352000 | #Constraints: 27296 1850.24/1855.04 c #Conflicts: 1353000 | #Constraints: 28299 1850.24/1855.04 c #Conflicts: 1354000 | #Constraints: 29301 1850.24/1855.04 c #Conflicts: 1355000 | #Constraints: 30304 1850.24/1855.04 c #Conflicts: 1356000 | #Constraints: 31308 1850.24/1855.04 c #Conflicts: 1357000 | #Constraints: 32309 1850.24/1855.04 c #Conflicts: 1358000 | #Constraints: 33311 1850.24/1855.04 c #Conflicts: 1359000 | #Constraints: 34322 1850.24/1855.04 c #Conflicts: 1360000 | #Constraints: 35324 1850.24/1855.04 c #Conflicts: 1361000 | #Constraints: 36329 1850.24/1855.04 c #Conflicts: 1362000 | #Constraints: 37332 1850.24/1855.04 c #Conflicts: 1363000 | #Constraints: 38339 1850.24/1855.04 c #Conflicts: 1364000 | #Constraints: 39348 1850.24/1855.04 c #Conflicts: 1365000 | #Constraints: 40351 1850.24/1855.04 c #Conflicts: 1366000 | #Constraints: 41356 1850.24/1855.04 c #Conflicts: 1367000 | #Constraints: 42363 1850.24/1855.04 c #Conflicts: 1368000 | #Constraints: 43367 1850.24/1855.04 c #Conflicts: 1369000 | #Constraints: 44374 1850.24/1855.04 c #Conflicts: 1370000 | #Constraints: 45377 1850.24/1855.04 c #Conflicts: 1371000 | #Constraints: 46377 1850.24/1855.04 c INPROCESSING 1850.24/1855.04 c GARBAGE COLLECT 1850.24/1855.04 c rational objective 3 1889.33/1894.29 c #Conflicts: 1372000 | #Constraints: 24083 1889.33/1894.29 c #Conflicts: 1373000 | #Constraints: 25086 1889.33/1894.29 c #Conflicts: 1374000 | #Constraints: 26086 1889.33/1894.29 c #Conflicts: 1375000 | #Constraints: 27089 1889.33/1894.29 c #Conflicts: 1376000 | #Constraints: 28090 1889.33/1894.29 c #Conflicts: 1377000 | #Constraints: 29095 1889.33/1894.29 c #Conflicts: 1378000 | #Constraints: 30099 1889.33/1894.29 c #Conflicts: 1379000 | #Constraints: 31104 1889.33/1894.29 c #Conflicts: 1380000 | #Constraints: 32110 1889.33/1894.29 c #Conflicts: 1381000 | #Constraints: 33115 1889.33/1894.29 c #Conflicts: 1382000 | #Constraints: 34120 1889.33/1894.29 c #Conflicts: 1383000 | #Constraints: 35125 1889.33/1894.29 c #Conflicts: 1384000 | #Constraints: 36133 1889.33/1894.29 c #Conflicts: 1385000 | #Constraints: 37144 1889.33/1894.29 c #Conflicts: 1386000 | #Constraints: 38150 1889.33/1894.29 c #Conflicts: 1387000 | #Constraints: 39154 1889.33/1894.29 c #Conflicts: 1388000 | #Constraints: 40168 1889.33/1894.29 c #Conflicts: 1389000 | #Constraints: 41172 1889.33/1894.29 c #Conflicts: 1390000 | #Constraints: 42177 1889.33/1894.29 c #Conflicts: 1391000 | #Constraints: 43185 1889.33/1894.29 c #Conflicts: 1392000 | #Constraints: 44190 1889.33/1894.29 c #Conflicts: 1393000 | #Constraints: 45196 1889.33/1894.29 c #Conflicts: 1394000 | #Constraints: 46199 1889.33/1894.29 c #Conflicts: 1395000 | #Constraints: 47203 1889.33/1894.29 c INPROCESSING 1889.33/1894.29 c GARBAGE COLLECT 1889.33/1894.29 c rational objective 3 1936.30/1941.33 c #Conflicts: 1396000 | #Constraints: 24704 1936.30/1941.33 c #Conflicts: 1397000 | #Constraints: 25709 1936.30/1941.33 c #Conflicts: 1398000 | #Constraints: 26716 1936.30/1941.33 c #Conflicts: 1399000 | #Constraints: 27723 1936.30/1941.33 c #Conflicts: 1400000 | #Constraints: 28730 1936.30/1941.33 c #Conflicts: 1401000 | #Constraints: 29738 1936.30/1941.33 c #Conflicts: 1402000 | #Constraints: 30747 1936.30/1941.33 c #Conflicts: 1403000 | #Constraints: 31752 1936.30/1941.33 c #Conflicts: 1404000 | #Constraints: 32757 1936.30/1941.33 c #Conflicts: 1405000 | #Constraints: 33767 1936.30/1941.33 c #Conflicts: 1406000 | #Constraints: 34776 1936.30/1941.33 c #Conflicts: 1407000 | #Constraints: 35780 1936.30/1941.33 c #Conflicts: 1408000 | #Constraints: 36784 1936.30/1941.33 c #Conflicts: 1409000 | #Constraints: 37788 1936.30/1941.33 c #Conflicts: 1410000 | #Constraints: 38799 1936.30/1941.33 c #Conflicts: 1411000 | #Constraints: 39803 1936.30/1941.33 c #Conflicts: 1412000 | #Constraints: 40816 1936.30/1941.33 c #Conflicts: 1413000 | #Constraints: 41826 1936.30/1941.33 c #Conflicts: 1414000 | #Constraints: 42833 1936.30/1941.33 c #Conflicts: 1415000 | #Constraints: 43840 1936.30/1941.33 c #Conflicts: 1416000 | #Constraints: 44845 1936.30/1941.33 c #Conflicts: 1417000 | #Constraints: 45851 1936.30/1941.33 c #Conflicts: 1418000 | #Constraints: 46854 1936.30/1941.33 c #Conflicts: 1419000 | #Constraints: 47855 1936.30/1941.33 c INPROCESSING 1936.30/1941.33 c GARBAGE COLLECT 1936.30/1941.33 c rational objective 3 1974.60/1979.76 c #Conflicts: 1420000 | #Constraints: 25091 1974.60/1979.76 c #Conflicts: 1421000 | #Constraints: 26100 1974.60/1979.76 c #Conflicts: 1422000 | #Constraints: 27112 1974.60/1979.76 c #Conflicts: 1423000 | #Constraints: 28119 1974.60/1979.76 c #Conflicts: 1424000 | #Constraints: 29123 1974.60/1979.76 c #Conflicts: 1425000 | #Constraints: 30126 1974.60/1979.76 c #Conflicts: 1426000 | #Constraints: 31129 1974.60/1979.76 c #Conflicts: 1427000 | #Constraints: 32133 1974.60/1979.76 c #Conflicts: 1428000 | #Constraints: 33138 1974.60/1979.76 c #Conflicts: 1429000 | #Constraints: 34144 1974.60/1979.76 c #Conflicts: 1430000 | #Constraints: 35147 1974.60/1979.76 c #Conflicts: 1431000 | #Constraints: 36156 1974.60/1979.76 c #Conflicts: 1432000 | #Constraints: 37159 1974.60/1979.76 c #Conflicts: 1433000 | #Constraints: 38166 1974.60/1979.76 c #Conflicts: 1434000 | #Constraints: 39171 1974.60/1979.76 c #Conflicts: 1435000 | #Constraints: 40175 1974.60/1979.76 c #Conflicts: 1436000 | #Constraints: 41183 1974.60/1979.76 c #Conflicts: 1437000 | #Constraints: 42186 1974.60/1979.76 c #Conflicts: 1438000 | #Constraints: 43189 1974.60/1979.76 c #Conflicts: 1439000 | #Constraints: 44189 1974.60/1979.76 c #Conflicts: 1440000 | #Constraints: 45192 1974.60/1979.76 c #Conflicts: 1441000 | #Constraints: 46195 1974.60/1979.76 c #Conflicts: 1442000 | #Constraints: 47199 1974.60/1979.76 c #Conflicts: 1443000 | #Constraints: 48200 1974.60/1979.76 c INPROCESSING 1974.60/1979.76 c GARBAGE COLLECT 1974.60/1979.76 c rational objective 3 2020.19/2025.50 c #Conflicts: 1444000 | #Constraints: 25288 2020.19/2025.50 c #Conflicts: 1445000 | #Constraints: 26291 2020.19/2025.50 c #Conflicts: 1446000 | #Constraints: 27296 2020.19/2025.50 c #Conflicts: 1447000 | #Constraints: 28300 2020.19/2025.50 c #Conflicts: 1448000 | #Constraints: 29308 2020.19/2025.50 c #Conflicts: 1449000 | #Constraints: 30314 2020.19/2025.50 c #Conflicts: 1450000 | #Constraints: 31316 2020.19/2025.50 c #Conflicts: 1451000 | #Constraints: 32325 2020.19/2025.50 c #Conflicts: 1452000 | #Constraints: 33332 2020.19/2025.50 c #Conflicts: 1453000 | #Constraints: 34339 2020.19/2025.50 c #Conflicts: 1454000 | #Constraints: 35347 2020.19/2025.50 c #Conflicts: 1455000 | #Constraints: 36350 2020.19/2025.50 c #Conflicts: 1456000 | #Constraints: 37356 2020.19/2025.50 c #Conflicts: 1457000 | #Constraints: 38359 2020.19/2025.50 c #Conflicts: 1458000 | #Constraints: 39364 2020.19/2025.50 c #Conflicts: 1459000 | #Constraints: 40369 2020.19/2025.50 c #Conflicts: 1460000 | #Constraints: 41376 2020.19/2025.50 c #Conflicts: 1461000 | #Constraints: 42379 2020.19/2025.50 c #Conflicts: 1462000 | #Constraints: 43382 2020.19/2025.50 c #Conflicts: 1463000 | #Constraints: 44388 2020.19/2025.50 c #Conflicts: 1464000 | #Constraints: 45393 2020.19/2025.50 c #Conflicts: 1465000 | #Constraints: 46395 2020.19/2025.50 c #Conflicts: 1466000 | #Constraints: 47403 2020.19/2025.50 c #Conflicts: 1467000 | #Constraints: 48408 2020.19/2025.50 c INPROCESSING 2020.19/2025.50 c GARBAGE COLLECT 2020.19/2025.50 c rational objective 3 2062.28/2067.69 c #Conflicts: 1468000 | #Constraints: 25273 2062.28/2067.69 c #Conflicts: 1469000 | #Constraints: 26280 2062.28/2067.69 c #Conflicts: 1470000 | #Constraints: 27289 2062.28/2067.69 c #Conflicts: 1471000 | #Constraints: 28296 2062.28/2067.69 c #Conflicts: 1472000 | #Constraints: 29301 2062.28/2067.69 c #Conflicts: 1473000 | #Constraints: 30310 2062.28/2067.69 c #Conflicts: 1474000 | #Constraints: 31317 2062.28/2067.69 c #Conflicts: 1475000 | #Constraints: 32322 2062.28/2067.69 c #Conflicts: 1476000 | #Constraints: 33328 2062.28/2067.69 c #Conflicts: 1477000 | #Constraints: 34330 2062.28/2067.69 c #Conflicts: 1478000 | #Constraints: 35333 2062.28/2067.69 c #Conflicts: 1479000 | #Constraints: 36337 2062.28/2067.69 c #Conflicts: 1480000 | #Constraints: 37347 2062.28/2067.69 c #Conflicts: 1481000 | #Constraints: 38350 2062.28/2067.69 c #Conflicts: 1482000 | #Constraints: 39352 2062.28/2067.69 c #Conflicts: 1483000 | #Constraints: 40358 2062.28/2067.69 c #Conflicts: 1484000 | #Constraints: 41367 2062.28/2067.69 c #Conflicts: 1485000 | #Constraints: 42371 2062.28/2067.69 c #Conflicts: 1486000 | #Constraints: 43379 2062.28/2067.69 c #Conflicts: 1487000 | #Constraints: 44383 2062.28/2067.70 c #Conflicts: 1488000 | #Constraints: 45387 2062.28/2067.70 c #Conflicts: 1489000 | #Constraints: 46390 2062.28/2067.70 c #Conflicts: 1490000 | #Constraints: 47390 2062.28/2067.70 c #Conflicts: 1491000 | #Constraints: 48392 2062.28/2067.70 c INPROCESSING 2062.28/2067.70 c GARBAGE COLLECT 2062.28/2067.70 c rational objective 3 2115.54/2121.02 c #Conflicts: 1492000 | #Constraints: 25066 2115.54/2121.02 c #Conflicts: 1493000 | #Constraints: 26071 2115.54/2121.02 c #Conflicts: 1494000 | #Constraints: 27073 2115.54/2121.02 c #Conflicts: 1495000 | #Constraints: 28075 2115.54/2121.02 c #Conflicts: 1496000 | #Constraints: 29077 2115.54/2121.02 c #Conflicts: 1497000 | #Constraints: 30080 2115.54/2121.02 c #Conflicts: 1498000 | #Constraints: 31080 2115.54/2121.02 c #Conflicts: 1499000 | #Constraints: 32083 2115.54/2121.02 c #Conflicts: 1500000 | #Constraints: 33085 2115.54/2121.02 c #Conflicts: 1501000 | #Constraints: 34087 2115.54/2121.02 c #Conflicts: 1502000 | #Constraints: 35092 2115.54/2121.02 c #Conflicts: 1503000 | #Constraints: 36093 2115.54/2121.02 c #Conflicts: 1504000 | #Constraints: 37094 2115.54/2121.02 c #Conflicts: 1505000 | #Constraints: 38095 2115.54/2121.02 c #Conflicts: 1506000 | #Constraints: 39101 2115.54/2121.02 c #Conflicts: 1507000 | #Constraints: 40109 2115.54/2121.02 c #Conflicts: 1508000 | #Constraints: 41113 2115.54/2121.02 c #Conflicts: 1509000 | #Constraints: 42119 2115.54/2121.02 c #Conflicts: 1510000 | #Constraints: 43122 2115.54/2121.02 c #Conflicts: 1511000 | #Constraints: 44129 2115.54/2121.02 c #Conflicts: 1512000 | #Constraints: 45136 2115.54/2121.02 c #Conflicts: 1513000 | #Constraints: 46137 2115.54/2121.02 c #Conflicts: 1514000 | #Constraints: 47144 2115.54/2121.02 c #Conflicts: 1515000 | #Constraints: 48145 2115.54/2121.02 c #Conflicts: 1516000 | #Constraints: 49150 2115.54/2121.02 c INPROCESSING 2115.54/2121.02 c GARBAGE COLLECT 2115.54/2121.02 c rational objective 3 2174.68/2180.36 c #Conflicts: 1517000 | #Constraints: 25641 2174.68/2180.36 c #Conflicts: 1518000 | #Constraints: 26646 2174.68/2180.36 c #Conflicts: 1519000 | #Constraints: 27654 2174.68/2180.36 c #Conflicts: 1520000 | #Constraints: 28660 2174.68/2180.36 c #Conflicts: 1521000 | #Constraints: 29665 2174.68/2180.36 c #Conflicts: 1522000 | #Constraints: 30669 2174.68/2180.36 c #Conflicts: 1523000 | #Constraints: 31675 2174.68/2180.36 c #Conflicts: 1524000 | #Constraints: 32680 2174.68/2180.36 c #Conflicts: 1525000 | #Constraints: 33690 2174.68/2180.36 c #Conflicts: 1526000 | #Constraints: 34695 2174.68/2180.36 c #Conflicts: 1527000 | #Constraints: 35704 2174.68/2180.36 c #Conflicts: 1528000 | #Constraints: 36714 2174.68/2180.36 c #Conflicts: 1529000 | #Constraints: 37721 2174.68/2180.36 c #Conflicts: 1530000 | #Constraints: 38726 2174.68/2180.36 c #Conflicts: 1531000 | #Constraints: 39733 2174.68/2180.36 c #Conflicts: 1532000 | #Constraints: 40737 2174.68/2180.36 c #Conflicts: 1533000 | #Constraints: 41741 2174.68/2180.36 c #Conflicts: 1534000 | #Constraints: 42746 2174.68/2180.36 c #Conflicts: 1535000 | #Constraints: 43749 2174.68/2180.36 c #Conflicts: 1536000 | #Constraints: 44751 2174.68/2180.36 c #Conflicts: 1537000 | #Constraints: 45756 2174.68/2180.36 c #Conflicts: 1538000 | #Constraints: 46763 2174.68/2180.36 c #Conflicts: 1539000 | #Constraints: 47768 2174.68/2180.36 c #Conflicts: 1540000 | #Constraints: 48777 2174.68/2180.36 c #Conflicts: 1541000 | #Constraints: 49782 2174.68/2180.36 c INPROCESSING 2174.68/2180.36 c GARBAGE COLLECT 2174.68/2180.36 c rational objective 3 2235.02/2240.85 c #Conflicts: 1542000 | #Constraints: 26075 2235.02/2240.85 c #Conflicts: 1543000 | #Constraints: 27079 2235.02/2240.85 c #Conflicts: 1544000 | #Constraints: 28083 2235.02/2240.85 c #Conflicts: 1545000 | #Constraints: 29084 2235.02/2240.85 c #Conflicts: 1546000 | #Constraints: 30087 2235.02/2240.85 c #Conflicts: 1547000 | #Constraints: 31091 2235.02/2240.85 c #Conflicts: 1548000 | #Constraints: 32097 2235.02/2240.85 c #Conflicts: 1549000 | #Constraints: 33102 2235.02/2240.85 c #Conflicts: 1550000 | #Constraints: 34107 2235.02/2240.85 c #Conflicts: 1551000 | #Constraints: 35111 2235.02/2240.85 c #Conflicts: 1552000 | #Constraints: 36116 2235.02/2240.85 c #Conflicts: 1553000 | #Constraints: 37121 2235.02/2240.85 c #Conflicts: 1554000 | #Constraints: 38128 2235.02/2240.85 c #Conflicts: 1555000 | #Constraints: 39134 2235.02/2240.85 c #Conflicts: 1556000 | #Constraints: 40135 2235.02/2240.85 c #Conflicts: 1557000 | #Constraints: 41141 2235.02/2240.85 c #Conflicts: 1558000 | #Constraints: 42144 2235.02/2240.85 c #Conflicts: 1559000 | #Constraints: 43149 2235.02/2240.85 c #Conflicts: 1560000 | #Constraints: 44151 2235.02/2240.85 c #Conflicts: 1561000 | #Constraints: 45153 2235.02/2240.85 c #Conflicts: 1562000 | #Constraints: 46155 2235.02/2240.85 c #Conflicts: 1563000 | #Constraints: 47159 2235.02/2240.85 c #Conflicts: 1564000 | #Constraints: 48163 2235.02/2240.85 c #Conflicts: 1565000 | #Constraints: 49166 2235.02/2240.85 c #Conflicts: 1566000 | #Constraints: 50175 2235.02/2240.85 c INPROCESSING 2235.02/2240.85 c GARBAGE COLLECT 2235.02/2240.85 c rational objective 3 2303.15/2309.15 c #Conflicts: 1567000 | #Constraints: 26252 2303.15/2309.15 c #Conflicts: 1568000 | #Constraints: 27259 2303.15/2309.15 c #Conflicts: 1569000 | #Constraints: 28263 2303.15/2309.15 c #Conflicts: 1570000 | #Constraints: 29270 2303.15/2309.15 c #Conflicts: 1571000 | #Constraints: 30273 2303.15/2309.15 c #Conflicts: 1572000 | #Constraints: 31277 2303.15/2309.15 c #Conflicts: 1573000 | #Constraints: 32282 2303.15/2309.15 c #Conflicts: 1574000 | #Constraints: 33285 2303.15/2309.15 c #Conflicts: 1575000 | #Constraints: 34291 2303.15/2309.15 c #Conflicts: 1576000 | #Constraints: 35299 2303.15/2309.15 c #Conflicts: 1577000 | #Constraints: 36303 2303.15/2309.15 c #Conflicts: 1578000 | #Constraints: 37308 2303.15/2309.15 c #Conflicts: 1579000 | #Constraints: 38312 2303.15/2309.15 c #Conflicts: 1580000 | #Constraints: 39316 2303.15/2309.15 c #Conflicts: 1581000 | #Constraints: 40318 2303.15/2309.15 c #Conflicts: 1582000 | #Constraints: 41324 2303.15/2309.15 c #Conflicts: 1583000 | #Constraints: 42331 2303.15/2309.15 c #Conflicts: 1584000 | #Constraints: 43334 2303.15/2309.15 c #Conflicts: 1585000 | #Constraints: 44337 2303.15/2309.15 c #Conflicts: 1586000 | #Constraints: 45343 2303.15/2309.15 c #Conflicts: 1587000 | #Constraints: 46349 2303.15/2309.15 c #Conflicts: 1588000 | #Constraints: 47354 2303.15/2309.15 c #Conflicts: 1589000 | #Constraints: 48360 2303.15/2309.15 c #Conflicts: 1590000 | #Constraints: 49363 2303.15/2309.15 c #Conflicts: 1591000 | #Constraints: 50366 2303.15/2309.15 c INPROCESSING 2303.15/2309.15 c GARBAGE COLLECT 2303.15/2309.15 c rational objective 3 2343.21/2349.31 c #Conflicts: 1592000 | #Constraints: 26258 2343.21/2349.31 c #Conflicts: 1593000 | #Constraints: 27260 2343.21/2349.31 c #Conflicts: 1594000 | #Constraints: 28265 2343.21/2349.31 c #Conflicts: 1595000 | #Constraints: 29269 2343.21/2349.31 c #Conflicts: 1596000 | #Constraints: 30275 2343.21/2349.31 c #Conflicts: 1597000 | #Constraints: 31279 2343.21/2349.31 c #Conflicts: 1598000 | #Constraints: 32279 2343.21/2349.31 c #Conflicts: 1599000 | #Constraints: 33282 2343.21/2349.31 c #Conflicts: 1600000 | #Constraints: 34286 2343.21/2349.31 c #Conflicts: 1601000 | #Constraints: 35289 2343.21/2349.31 c #Conflicts: 1602000 | #Constraints: 36293 2343.21/2349.31 c #Conflicts: 1603000 | #Constraints: 37296 2343.21/2349.31 c #Conflicts: 1604000 | #Constraints: 38299 2343.21/2349.31 c #Conflicts: 1605000 | #Constraints: 39302 2343.21/2349.31 c #Conflicts: 1606000 | #Constraints: 40304 2343.21/2349.31 c #Conflicts: 1607000 | #Constraints: 41306 2343.21/2349.31 c #Conflicts: 1608000 | #Constraints: 42309 2343.21/2349.31 c #Conflicts: 1609000 | #Constraints: 43314 2343.21/2349.31 c #Conflicts: 1610000 | #Constraints: 44319 2343.21/2349.31 c #Conflicts: 1611000 | #Constraints: 45325 2343.21/2349.31 c #Conflicts: 1612000 | #Constraints: 46331 2343.21/2349.31 c #Conflicts: 1613000 | #Constraints: 47337 2343.21/2349.31 c #Conflicts: 1614000 | #Constraints: 48342 2343.21/2349.31 c #Conflicts: 1615000 | #Constraints: 49347 2343.21/2349.31 c #Conflicts: 1616000 | #Constraints: 50352 2343.21/2349.31 c INPROCESSING 2343.21/2349.31 c GARBAGE COLLECT 2343.21/2349.31 c rational objective 3 2383.61/2389.83 c #Conflicts: 1617000 | #Constraints: 26031 2383.61/2389.83 c #Conflicts: 1618000 | #Constraints: 27036 2383.61/2389.83 c #Conflicts: 1619000 | #Constraints: 28043 2383.61/2389.83 c #Conflicts: 1620000 | #Constraints: 29050 2383.61/2389.83 c #Conflicts: 1621000 | #Constraints: 30054 2383.61/2389.83 c #Conflicts: 1622000 | #Constraints: 31054 2383.61/2389.83 c #Conflicts: 1623000 | #Constraints: 32059 2383.61/2389.83 c #Conflicts: 1624000 | #Constraints: 33067 2383.61/2389.83 c #Conflicts: 1625000 | #Constraints: 34071 2383.61/2389.83 c #Conflicts: 1626000 | #Constraints: 35076 2383.61/2389.83 c #Conflicts: 1627000 | #Constraints: 36081 2383.61/2389.83 c #Conflicts: 1628000 | #Constraints: 37088 2383.61/2389.83 c #Conflicts: 1629000 | #Constraints: 38090 2383.61/2389.83 c #Conflicts: 1630000 | #Constraints: 39094 2383.61/2389.83 c #Conflicts: 1631000 | #Constraints: 40100 2383.61/2389.83 c #Conflicts: 1632000 | #Constraints: 41106 2383.61/2389.83 c #Conflicts: 1633000 | #Constraints: 42109 2383.61/2389.83 c #Conflicts: 1634000 | #Constraints: 43115 2383.61/2389.83 c #Conflicts: 1635000 | #Constraints: 44124 2383.61/2389.83 c #Conflicts: 1636000 | #Constraints: 45132 2383.61/2389.83 c #Conflicts: 1637000 | #Constraints: 46136 2383.61/2389.83 c #Conflicts: 1638000 | #Constraints: 47141 2383.61/2389.83 c #Conflicts: 1639000 | #Constraints: 48147 2383.61/2389.83 c #Conflicts: 1640000 | #Constraints: 49152 2383.61/2389.83 c #Conflicts: 1641000 | #Constraints: 50157 2383.61/2389.83 c #Conflicts: 1642000 | #Constraints: 51163 2383.61/2389.83 c INPROCESSING 2383.61/2389.83 c GARBAGE COLLECT 2383.61/2389.83 c rational objective 3 2427.19/2433.50 c #Conflicts: 1643000 | #Constraints: 26665 2427.19/2433.50 c #Conflicts: 1644000 | #Constraints: 27672 2427.19/2433.50 c #Conflicts: 1645000 | #Constraints: 28677 2427.19/2433.50 c #Conflicts: 1646000 | #Constraints: 29682 2427.19/2433.50 c #Conflicts: 1647000 | #Constraints: 30683 2427.19/2433.50 c #Conflicts: 1648000 | #Constraints: 31687 2427.19/2433.50 c #Conflicts: 1649000 | #Constraints: 32689 2427.19/2433.50 c #Conflicts: 1650000 | #Constraints: 33692 2427.19/2433.50 c #Conflicts: 1651000 | #Constraints: 34694 2427.19/2433.50 c #Conflicts: 1652000 | #Constraints: 35702 2427.19/2433.50 c #Conflicts: 1653000 | #Constraints: 36707 2427.19/2433.50 c #Conflicts: 1654000 | #Constraints: 37712 2427.19/2433.50 c #Conflicts: 1655000 | #Constraints: 38722 2427.19/2433.50 c #Conflicts: 1656000 | #Constraints: 39729 2427.19/2433.50 c #Conflicts: 1657000 | #Constraints: 40734 2427.19/2433.50 c #Conflicts: 1658000 | #Constraints: 41740 2427.19/2433.50 c #Conflicts: 1659000 | #Constraints: 42752 2427.19/2433.50 c #Conflicts: 1660000 | #Constraints: 43759 2427.19/2433.50 c #Conflicts: 1661000 | #Constraints: 44763 2427.19/2433.50 c #Conflicts: 1662000 | #Constraints: 45768 2427.19/2433.50 c #Conflicts: 1663000 | #Constraints: 46778 2427.19/2433.50 c #Conflicts: 1664000 | #Constraints: 47785 2427.19/2433.50 c #Conflicts: 1665000 | #Constraints: 48787 2427.19/2433.50 c #Conflicts: 1666000 | #Constraints: 49796 2427.19/2433.50 c #Conflicts: 1667000 | #Constraints: 50806 2427.19/2433.50 c #Conflicts: 1668000 | #Constraints: 51815 2427.19/2433.50 c INPROCESSING 2427.19/2433.50 c GARBAGE COLLECT 2427.19/2433.50 c rational objective 3 2485.25/2491.78 c #Conflicts: 1669000 | #Constraints: 27083 2485.25/2491.78 c #Conflicts: 1670000 | #Constraints: 28090 2485.25/2491.78 c #Conflicts: 1671000 | #Constraints: 29095 2485.25/2491.78 c #Conflicts: 1672000 | #Constraints: 30097 2485.25/2491.78 c #Conflicts: 1673000 | #Constraints: 31105 2485.25/2491.78 c #Conflicts: 1674000 | #Constraints: 32110 2485.25/2491.78 c #Conflicts: 1675000 | #Constraints: 33120 2485.25/2491.78 c #Conflicts: 1676000 | #Constraints: 34130 2485.25/2491.78 c #Conflicts: 1677000 | #Constraints: 35136 2485.25/2491.78 c #Conflicts: 1678000 | #Constraints: 36145 2485.25/2491.78 c #Conflicts: 1679000 | #Constraints: 37149 2485.25/2491.78 c #Conflicts: 1680000 | #Constraints: 38152 2485.25/2491.78 c #Conflicts: 1681000 | #Constraints: 39155 2485.25/2491.78 c #Conflicts: 1682000 | #Constraints: 40162 2485.25/2491.78 c #Conflicts: 1683000 | #Constraints: 41164 2485.25/2491.78 c #Conflicts: 1684000 | #Constraints: 42170 2485.25/2491.78 c #Conflicts: 1685000 | #Constraints: 43177 2485.25/2491.78 c #Conflicts: 1686000 | #Constraints: 44180 2485.25/2491.78 c #Conflicts: 1687000 | #Constraints: 45185 2485.25/2491.78 c #Conflicts: 1688000 | #Constraints: 46189 2485.25/2491.78 c #Conflicts: 1689000 | #Constraints: 47196 2485.25/2491.78 c #Conflicts: 1690000 | #Constraints: 48199 2485.25/2491.78 c #Conflicts: 1691000 | #Constraints: 49206 2485.25/2491.78 c #Conflicts: 1692000 | #Constraints: 50209 2485.25/2491.78 c #Conflicts: 1693000 | #Constraints: 51213 2485.25/2491.78 c #Conflicts: 1694000 | #Constraints: 52219 2485.25/2491.78 c INPROCESSING 2485.25/2491.78 c GARBAGE COLLECT 2485.25/2491.78 c rational objective 3 2533.83/2540.48 c #Conflicts: 1695000 | #Constraints: 27275 2533.83/2540.48 c #Conflicts: 1696000 | #Constraints: 28288 2533.83/2540.48 c #Conflicts: 1697000 | #Constraints: 29297 2533.83/2540.48 c #Conflicts: 1698000 | #Constraints: 30299 2533.83/2540.48 c #Conflicts: 1699000 | #Constraints: 31303 2533.83/2540.48 c #Conflicts: 1700000 | #Constraints: 32309 2533.83/2540.48 c #Conflicts: 1701000 | #Constraints: 33314 2533.83/2540.48 c #Conflicts: 1702000 | #Constraints: 34320 2533.83/2540.48 c #Conflicts: 1703000 | #Constraints: 35325 2533.83/2540.48 c #Conflicts: 1704000 | #Constraints: 36328 2533.83/2540.48 c #Conflicts: 1705000 | #Constraints: 37335 2533.83/2540.48 c #Conflicts: 1706000 | #Constraints: 38339 2533.83/2540.48 c #Conflicts: 1707000 | #Constraints: 39345 2533.83/2540.48 c #Conflicts: 1708000 | #Constraints: 40350 2533.83/2540.48 c #Conflicts: 1709000 | #Constraints: 41355 2533.83/2540.48 c #Conflicts: 1710000 | #Constraints: 42358 2533.83/2540.48 c #Conflicts: 1711000 | #Constraints: 43367 2533.83/2540.48 c #Conflicts: 1712000 | #Constraints: 44373 2533.83/2540.48 c #Conflicts: 1713000 | #Constraints: 45373 2533.83/2540.48 c #Conflicts: 1714000 | #Constraints: 46375 2533.83/2540.48 c #Conflicts: 1715000 | #Constraints: 47378 2533.83/2540.48 c #Conflicts: 1716000 | #Constraints: 48380 2533.83/2540.48 c #Conflicts: 1717000 | #Constraints: 49387 2533.83/2540.48 c #Conflicts: 1718000 | #Constraints: 50394 2533.83/2540.48 c #Conflicts: 1719000 | #Constraints: 51395 2533.83/2540.48 c #Conflicts: 1720000 | #Constraints: 52398 2533.83/2540.48 c INPROCESSING 2533.83/2540.48 c GARBAGE COLLECT 2533.83/2540.48 c rational objective 3 2585.70/2592.47 c #Conflicts: 1721000 | #Constraints: 27266 2585.70/2592.47 c #Conflicts: 1722000 | #Constraints: 28273 2585.70/2592.47 c #Conflicts: 1723000 | #Constraints: 29278 2585.70/2592.47 c #Conflicts: 1724000 | #Constraints: 30279 2585.70/2592.47 c #Conflicts: 1725000 | #Constraints: 31282 2585.70/2592.47 c #Conflicts: 1726000 | #Constraints: 32286 2585.70/2592.47 c #Conflicts: 1727000 | #Constraints: 33288 2585.70/2592.47 c #Conflicts: 1728000 | #Constraints: 34293 2585.70/2592.47 c #Conflicts: 1729000 | #Constraints: 35296 2585.70/2592.47 c #Conflicts: 1730000 | #Constraints: 36299 2585.70/2592.47 c #Conflicts: 1731000 | #Constraints: 37300 2585.70/2592.47 c #Conflicts: 1732000 | #Constraints: 38300 2585.70/2592.47 c #Conflicts: 1733000 | #Constraints: 39302 2585.70/2592.47 c #Conflicts: 1734000 | #Constraints: 40303 2585.70/2592.47 c #Conflicts: 1735000 | #Constraints: 41304 2585.70/2592.47 c #Conflicts: 1736000 | #Constraints: 42304 2585.70/2592.47 c #Conflicts: 1737000 | #Constraints: 43305 2585.70/2592.47 c #Conflicts: 1738000 | #Constraints: 44305 2585.70/2592.47 c #Conflicts: 1739000 | #Constraints: 45306 2585.70/2592.47 c #Conflicts: 1740000 | #Constraints: 46308 2585.70/2592.47 c #Conflicts: 1741000 | #Constraints: 47308 2585.70/2592.47 c #Conflicts: 1742000 | #Constraints: 48308 2585.70/2592.47 c #Conflicts: 1743000 | #Constraints: 49308 2585.70/2592.47 c #Conflicts: 1744000 | #Constraints: 50309 2585.70/2592.47 c #Conflicts: 1745000 | #Constraints: 51310 2585.70/2592.47 c #Conflicts: 1746000 | #Constraints: 52310 2585.70/2592.47 c INPROCESSING 2585.70/2592.47 c GARBAGE COLLECT 2585.70/2592.47 c rational objective 3 2642.87/2649.77 c #Conflicts: 1747000 | #Constraints: 27026 2642.87/2649.77 c #Conflicts: 1748000 | #Constraints: 28028 2642.87/2649.77 c #Conflicts: 1749000 | #Constraints: 29030 2642.87/2649.77 c #Conflicts: 1750000 | #Constraints: 30038 2642.87/2649.77 c #Conflicts: 1751000 | #Constraints: 31041 2642.87/2649.77 c #Conflicts: 1752000 | #Constraints: 32041 2642.87/2649.77 c #Conflicts: 1753000 | #Constraints: 33044 2642.87/2649.77 c #Conflicts: 1754000 | #Constraints: 34048 2642.87/2649.77 c #Conflicts: 1755000 | #Constraints: 35052 2642.87/2649.77 c #Conflicts: 1756000 | #Constraints: 36052 2642.87/2649.77 c #Conflicts: 1757000 | #Constraints: 37053 2642.87/2649.77 c #Conflicts: 1758000 | #Constraints: 38056 2642.87/2649.77 c #Conflicts: 1759000 | #Constraints: 39056 2642.87/2649.77 c #Conflicts: 1760000 | #Constraints: 40058 2642.87/2649.77 c #Conflicts: 1761000 | #Constraints: 41059 2642.87/2649.77 c #Conflicts: 1762000 | #Constraints: 42060 2642.87/2649.77 c #Conflicts: 1763000 | #Constraints: 43062 2642.87/2649.77 c #Conflicts: 1764000 | #Constraints: 44064 2642.87/2649.77 c #Conflicts: 1765000 | #Constraints: 45065 2642.87/2649.77 c #Conflicts: 1766000 | #Constraints: 46067 2642.87/2649.77 c #Conflicts: 1767000 | #Constraints: 47069 2642.87/2649.77 c #Conflicts: 1768000 | #Constraints: 48070 2642.87/2649.77 c #Conflicts: 1769000 | #Constraints: 49070 2642.87/2649.77 c #Conflicts: 1770000 | #Constraints: 50071 2642.87/2649.77 c #Conflicts: 1771000 | #Constraints: 51073 2642.87/2649.77 c #Conflicts: 1772000 | #Constraints: 52074 2642.87/2649.77 c #Conflicts: 1773000 | #Constraints: 53074 2642.87/2649.77 c INPROCESSING 2642.87/2649.77 c GARBAGE COLLECT 2642.87/2649.77 c rational objective 3 2690.85/2697.88 c #Conflicts: 1774000 | #Constraints: 27619 2690.85/2697.88 c #Conflicts: 1775000 | #Constraints: 28627 2690.85/2697.88 c #Conflicts: 1776000 | #Constraints: 29628 2690.85/2697.88 c #Conflicts: 1777000 | #Constraints: 30630 2690.85/2697.88 c #Conflicts: 1778000 | #Constraints: 31636 2690.85/2697.88 c #Conflicts: 1779000 | #Constraints: 32641 2690.85/2697.88 c #Conflicts: 1780000 | #Constraints: 33654 2690.85/2697.88 c #Conflicts: 1781000 | #Constraints: 34658 2690.85/2697.88 c #Conflicts: 1782000 | #Constraints: 35669 2690.85/2697.88 c #Conflicts: 1783000 | #Constraints: 36699 2690.85/2697.88 c #Conflicts: 1784000 | #Constraints: 37735 2690.85/2697.88 c #Conflicts: 1785000 | #Constraints: 38756 2690.85/2697.88 c #Conflicts: 1786000 | #Constraints: 39766 2690.85/2697.88 c #Conflicts: 1787000 | #Constraints: 40779 2690.85/2697.88 c #Conflicts: 1788000 | #Constraints: 41780 2690.85/2697.88 c #Conflicts: 1789000 | #Constraints: 42785 2690.85/2697.88 c #Conflicts: 1790000 | #Constraints: 43790 2690.85/2697.88 c #Conflicts: 1791000 | #Constraints: 44796 2690.85/2697.88 c #Conflicts: 1792000 | #Constraints: 45803 2690.85/2697.88 c #Conflicts: 1793000 | #Constraints: 46810 2690.85/2697.88 c #Conflicts: 1794000 | #Constraints: 47813 2690.85/2697.88 c #Conflicts: 1795000 | #Constraints: 48818 2690.85/2697.88 c #Conflicts: 1796000 | #Constraints: 49823 2690.85/2697.88 c #Conflicts: 1797000 | #Constraints: 50830 2690.85/2697.88 c #Conflicts: 1798000 | #Constraints: 51836 2690.85/2697.88 c #Conflicts: 1799000 | #Constraints: 52841 2690.85/2697.88 c #Conflicts: 1800000 | #Constraints: 53842 2690.85/2697.88 c INPROCESSING 2690.85/2697.88 c GARBAGE COLLECT 2690.85/2697.88 c rational objective 3 2733.24/2740.38 c #Conflicts: 1801000 | #Constraints: 28119 2733.24/2740.38 c #Conflicts: 1802000 | #Constraints: 29124 2733.24/2740.38 c #Conflicts: 1803000 | #Constraints: 30134 2733.24/2740.38 c #Conflicts: 1804000 | #Constraints: 31138 2733.24/2740.38 c #Conflicts: 1805000 | #Constraints: 32139 2733.24/2740.38 c #Conflicts: 1806000 | #Constraints: 33140 2733.24/2740.38 c #Conflicts: 1807000 | #Constraints: 34147 2733.24/2740.38 c #Conflicts: 1808000 | #Constraints: 35150 2733.24/2740.38 c #Conflicts: 1809000 | #Constraints: 36156 2733.24/2740.38 c #Conflicts: 1810000 | #Constraints: 37160 2733.24/2740.38 c #Conflicts: 1811000 | #Constraints: 38172 2733.24/2740.38 c #Conflicts: 1812000 | #Constraints: 39177 2733.24/2740.38 c #Conflicts: 1813000 | #Constraints: 40184 2733.24/2740.38 c #Conflicts: 1814000 | #Constraints: 41189 2733.24/2740.38 c #Conflicts: 1815000 | #Constraints: 42191 2733.24/2740.38 c #Conflicts: 1816000 | #Constraints: 43196 2733.24/2740.38 c #Conflicts: 1817000 | #Constraints: 44207 2733.24/2740.38 c #Conflicts: 1818000 | #Constraints: 45212 2733.24/2740.38 c #Conflicts: 1819000 | #Constraints: 46216 2733.24/2740.38 c #Conflicts: 1820000 | #Constraints: 47220 2733.24/2740.38 c #Conflicts: 1821000 | #Constraints: 48221 2733.24/2740.38 c #Conflicts: 1822000 | #Constraints: 49225 2733.24/2740.38 c #Conflicts: 1823000 | #Constraints: 50232 2733.24/2740.38 c #Conflicts: 1824000 | #Constraints: 51239 2733.24/2740.38 c #Conflicts: 1825000 | #Constraints: 52243 2733.24/2740.38 c #Conflicts: 1826000 | #Constraints: 53250 2733.24/2740.38 c #Conflicts: 1827000 | #Constraints: 54253 2733.24/2740.38 c INPROCESSING 2733.24/2740.38 c GARBAGE COLLECT 2733.24/2740.38 c rational objective 3 2785.52/2792.72 c #Conflicts: 1828000 | #Constraints: 28326 2785.52/2792.72 c #Conflicts: 1829000 | #Constraints: 29334 2785.52/2792.72 c #Conflicts: 1830000 | #Constraints: 30338 2785.52/2792.72 c #Conflicts: 1831000 | #Constraints: 31343 2785.52/2792.72 c #Conflicts: 1832000 | #Constraints: 32353 2785.52/2792.72 c #Conflicts: 1833000 | #Constraints: 33358 2785.52/2792.72 c #Conflicts: 1834000 | #Constraints: 34365 2785.52/2792.72 c #Conflicts: 1835000 | #Constraints: 35368 2785.52/2792.72 c #Conflicts: 1836000 | #Constraints: 36372 2785.52/2792.72 c #Conflicts: 1837000 | #Constraints: 37372 2785.52/2792.72 c #Conflicts: 1838000 | #Constraints: 38376 2785.52/2792.72 c #Conflicts: 1839000 | #Constraints: 39379 2785.52/2792.72 c #Conflicts: 1840000 | #Constraints: 40381 2785.52/2792.72 c #Conflicts: 1841000 | #Constraints: 41384 2785.52/2792.72 c #Conflicts: 1842000 | #Constraints: 42388 2785.52/2792.72 c #Conflicts: 1843000 | #Constraints: 43392 2785.52/2792.72 c #Conflicts: 1844000 | #Constraints: 44396 2785.52/2792.72 c #Conflicts: 1845000 | #Constraints: 45398 2785.52/2792.72 c #Conflicts: 1846000 | #Constraints: 46403 2785.52/2792.72 c #Conflicts: 1847000 | #Constraints: 47407 2785.52/2792.72 c #Conflicts: 1848000 | #Constraints: 48410 2785.52/2792.72 c #Conflicts: 1849000 | #Constraints: 49417 2785.52/2792.72 c #Conflicts: 1850000 | #Constraints: 50422 2785.52/2792.72 c #Conflicts: 1851000 | #Constraints: 51426 2785.52/2792.72 c #Conflicts: 1852000 | #Constraints: 52429 2785.52/2792.72 c #Conflicts: 1853000 | #Constraints: 53433 2785.52/2792.72 c #Conflicts: 1854000 | #Constraints: 54436 2785.52/2792.72 c INPROCESSING 2785.52/2792.72 c GARBAGE COLLECT 2785.52/2792.72 c rational objective 3 2840.59/2847.92 c #Conflicts: 1855000 | #Constraints: 28302 2840.59/2847.92 c #Conflicts: 1856000 | #Constraints: 29309 2840.59/2847.92 c #Conflicts: 1857000 | #Constraints: 30313 2840.59/2847.92 c #Conflicts: 1858000 | #Constraints: 31320 2840.59/2847.92 c #Conflicts: 1859000 | #Constraints: 32324 2840.59/2847.92 c #Conflicts: 1860000 | #Constraints: 33328 2840.59/2847.92 c #Conflicts: 1861000 | #Constraints: 34334 2840.59/2847.92 c #Conflicts: 1862000 | #Constraints: 35338 2840.59/2847.92 c #Conflicts: 1863000 | #Constraints: 36343 2840.59/2847.92 c #Conflicts: 1864000 | #Constraints: 37348 2840.59/2847.92 c #Conflicts: 1865000 | #Constraints: 38353 2840.59/2847.92 c #Conflicts: 1866000 | #Constraints: 39357 2840.59/2847.92 c #Conflicts: 1867000 | #Constraints: 40360 2840.59/2847.92 c #Conflicts: 1868000 | #Constraints: 41365 2840.59/2847.92 c #Conflicts: 1869000 | #Constraints: 42370 2840.59/2847.92 c #Conflicts: 1870000 | #Constraints: 43379 2840.59/2847.92 c #Conflicts: 1871000 | #Constraints: 44383 2840.59/2847.92 c #Conflicts: 1872000 | #Constraints: 45387 2840.59/2847.92 c #Conflicts: 1873000 | #Constraints: 46393 2840.59/2847.92 c #Conflicts: 1874000 | #Constraints: 47398 2840.59/2847.92 c #Conflicts: 1875000 | #Constraints: 48404 2840.59/2847.92 c #Conflicts: 1876000 | #Constraints: 49412 2840.59/2847.92 c #Conflicts: 1877000 | #Constraints: 50415 2840.59/2847.92 c #Conflicts: 1878000 | #Constraints: 51417 2840.59/2847.92 c #Conflicts: 1879000 | #Constraints: 52421 2840.59/2847.92 c #Conflicts: 1880000 | #Constraints: 53429 2840.59/2847.92 c #Conflicts: 1881000 | #Constraints: 54433 2840.59/2847.92 c INPROCESSING 2840.59/2847.92 c GARBAGE COLLECT 2840.59/2847.92 c rational objective 3 2901.44/2908.93 c #Conflicts: 1882000 | #Constraints: 28104 2901.44/2908.93 c #Conflicts: 1883000 | #Constraints: 29112 2901.44/2908.93 c #Conflicts: 1884000 | #Constraints: 30115 2901.44/2908.93 c #Conflicts: 1885000 | #Constraints: 31117 2901.44/2908.93 c #Conflicts: 1886000 | #Constraints: 32129 2901.44/2908.93 c #Conflicts: 1887000 | #Constraints: 33338 2901.44/2908.93 c #Conflicts: 1888000 | #Constraints: 34349 2901.44/2908.93 c #Conflicts: 1889000 | #Constraints: 35373 2901.44/2908.93 c #Conflicts: 1890000 | #Constraints: 36441 2901.44/2908.93 c #Conflicts: 1891000 | #Constraints: 37445 2901.44/2908.93 c #Conflicts: 1892000 | #Constraints: 38462 2901.44/2908.93 c #Conflicts: 1893000 | #Constraints: 39524 2901.44/2908.93 c #Conflicts: 1894000 | #Constraints: 40903 2901.44/2908.93 c #Conflicts: 1895000 | #Constraints: 41931 2901.44/2908.93 c #Conflicts: 1896000 | #Constraints: 42942 2901.44/2908.93 c #Conflicts: 1897000 | #Constraints: 43994 2901.44/2908.93 c #Conflicts: 1898000 | #Constraints: 45018 2901.44/2908.93 c #Conflicts: 1899000 | #Constraints: 46043 2901.44/2908.93 c #Conflicts: 1900000 | #Constraints: 47101 2901.44/2908.93 c #Conflicts: 1901000 | #Constraints: 48183 2901.44/2908.93 c #Conflicts: 1902000 | #Constraints: 49191 2901.44/2908.93 c #Conflicts: 1903000 | #Constraints: 50466 2901.44/2908.93 c #Conflicts: 1904000 | #Constraints: 51617 2901.44/2908.93 c #Conflicts: 1905000 | #Constraints: 52708 2901.44/2908.93 c #Conflicts: 1906000 | #Constraints: 53771 2901.44/2908.93 c #Conflicts: 1907000 | #Constraints: 54865 2901.44/2908.93 c #Conflicts: 1908000 | #Constraints: 56411 2901.44/2908.93 c #Conflicts: 1909000 | #Constraints: 57446 2901.44/2908.93 c INPROCESSING 2901.44/2908.93 c GARBAGE COLLECT 2901.44/2908.93 c rational objective 3 2954.00/2961.65 c #Conflicts: 1910000 | #Constraints: 29787 2954.00/2961.65 c #Conflicts: 1911000 | #Constraints: 30788 2954.00/2961.65 c #Conflicts: 1912000 | #Constraints: 31791 2954.00/2961.65 c #Conflicts: 1913000 | #Constraints: 32793 2954.00/2961.65 c #Conflicts: 1914000 | #Constraints: 33796 2954.00/2961.65 c #Conflicts: 1915000 | #Constraints: 34799 2954.00/2961.65 c #Conflicts: 1916000 | #Constraints: 35800 2954.00/2961.65 c #Conflicts: 1917000 | #Constraints: 36805 2954.00/2961.65 c #Conflicts: 1918000 | #Constraints: 37810 2954.00/2961.65 c #Conflicts: 1919000 | #Constraints: 38817 2954.00/2961.65 c #Conflicts: 1920000 | #Constraints: 39823 2954.00/2961.65 c #Conflicts: 1921000 | #Constraints: 40828 2954.00/2961.65 c #Conflicts: 1922000 | #Constraints: 41832 2954.00/2961.65 c #Conflicts: 1923000 | #Constraints: 42836 2954.00/2961.65 c #Conflicts: 1924000 | #Constraints: 43838 2954.00/2961.65 c #Conflicts: 1925000 | #Constraints: 44846 2954.00/2961.65 c #Conflicts: 1926000 | #Constraints: 45857 2954.00/2961.65 c #Conflicts: 1927000 | #Constraints: 46861 2954.00/2961.65 c #Conflicts: 1928000 | #Constraints: 47865 2954.00/2961.65 c #Conflicts: 1929000 | #Constraints: 48868 2954.00/2961.65 c #Conflicts: 1930000 | #Constraints: 49877 2954.00/2961.65 c #Conflicts: 1931000 | #Constraints: 50883 2954.00/2961.65 c #Conflicts: 1932000 | #Constraints: 51890 2954.00/2961.65 c #Conflicts: 1933000 | #Constraints: 52896 2954.00/2961.65 c #Conflicts: 1934000 | #Constraints: 53899 2954.00/2961.65 c #Conflicts: 1935000 | #Constraints: 54907 2954.00/2961.65 c #Conflicts: 1936000 | #Constraints: 55910 2954.00/2961.65 c #Conflicts: 1937000 | #Constraints: 56916 2954.00/2961.65 c INPROCESSING 2954.00/2961.65 c GARBAGE COLLECT 2954.00/2961.65 c rational objective 3 2999.30/3007.08 c #Conflicts: 1938000 | #Constraints: 29668 2999.30/3007.08 c #Conflicts: 1939000 | #Constraints: 30670 2999.30/3007.08 c #Conflicts: 1940000 | #Constraints: 31673 2999.30/3007.08 c #Conflicts: 1941000 | #Constraints: 32676 2999.30/3007.08 c #Conflicts: 1942000 | #Constraints: 33683 2999.30/3007.08 c #Conflicts: 1943000 | #Constraints: 34687 2999.30/3007.08 c #Conflicts: 1944000 | #Constraints: 35690 2999.30/3007.08 c #Conflicts: 1945000 | #Constraints: 36701 2999.30/3007.08 c #Conflicts: 1946000 | #Constraints: 37705 2999.30/3007.08 c #Conflicts: 1947000 | #Constraints: 38708 2999.30/3007.08 c #Conflicts: 1948000 | #Constraints: 39712 2999.30/3007.08 c #Conflicts: 1949000 | #Constraints: 40712 2999.30/3007.08 c #Conflicts: 1950000 | #Constraints: 41714 2999.30/3007.08 c #Conflicts: 1951000 | #Constraints: 42716 2999.30/3007.08 c #Conflicts: 1952000 | #Constraints: 43717 2999.30/3007.08 c #Conflicts: 1953000 | #Constraints: 44718 2999.30/3007.08 c #Conflicts: 1954000 | #Constraints: 45724 2999.30/3007.08 c #Conflicts: 1955000 | #Constraints: 46728 2999.30/3007.08 c #Conflicts: 1956000 | #Constraints: 47731 2999.30/3007.08 c #Conflicts: 1957000 | #Constraints: 48735 2999.30/3007.08 c #Conflicts: 1958000 | #Constraints: 49741 2999.30/3007.08 c #Conflicts: 1959000 | #Constraints: 50743 2999.30/3007.08 c #Conflicts: 1960000 | #Constraints: 51746 2999.30/3007.08 c #Conflicts: 1961000 | #Constraints: 52747 2999.30/3007.08 c #Conflicts: 1962000 | #Constraints: 53749 2999.30/3007.08 c #Conflicts: 1963000 | #Constraints: 54751 2999.30/3007.08 c #Conflicts: 1964000 | #Constraints: 55752 2999.30/3007.08 c #Conflicts: 1965000 | #Constraints: 56754 2999.30/3007.08 c INPROCESSING 2999.30/3007.08 c GARBAGE COLLECT 2999.30/3007.08 c rational objective 3 3054.55/3062.40 c #Conflicts: 1966000 | #Constraints: 29561 3054.55/3062.40 c #Conflicts: 1967000 | #Constraints: 30566 3054.55/3062.40 c #Conflicts: 1968000 | #Constraints: 31570 3054.55/3062.40 c #Conflicts: 1969000 | #Constraints: 32572 3054.55/3062.40 c #Conflicts: 1970000 | #Constraints: 33575 3054.55/3062.40 c #Conflicts: 1971000 | #Constraints: 34576 3054.55/3062.40 c #Conflicts: 1972000 | #Constraints: 35577 3054.55/3062.40 c #Conflicts: 1973000 | #Constraints: 36584 3054.55/3062.40 c #Conflicts: 1974000 | #Constraints: 37587 3054.55/3062.40 c #Conflicts: 1975000 | #Constraints: 38591 3054.55/3062.40 c #Conflicts: 1976000 | #Constraints: 39594 3054.55/3062.40 c #Conflicts: 1977000 | #Constraints: 40598 3054.55/3062.40 c #Conflicts: 1978000 | #Constraints: 41603 3054.55/3062.40 c #Conflicts: 1979000 | #Constraints: 42607 3054.55/3062.40 c #Conflicts: 1980000 | #Constraints: 43608 3054.55/3062.40 c #Conflicts: 1981000 | #Constraints: 44610 3054.55/3062.40 c #Conflicts: 1982000 | #Constraints: 45612 3054.55/3062.40 c #Conflicts: 1983000 | #Constraints: 46619 3054.55/3062.40 c #Conflicts: 1984000 | #Constraints: 47624 3054.55/3062.40 c #Conflicts: 1985000 | #Constraints: 48628 3054.55/3062.40 c #Conflicts: 1986000 | #Constraints: 49635 3054.55/3062.40 c #Conflicts: 1987000 | #Constraints: 50641 3054.55/3062.40 c #Conflicts: 1988000 | #Constraints: 51648 3054.55/3062.40 c #Conflicts: 1989000 | #Constraints: 52651 3054.55/3062.40 c #Conflicts: 1990000 | #Constraints: 53654 3054.55/3062.40 c #Conflicts: 1991000 | #Constraints: 54655 3054.55/3062.40 c #Conflicts: 1992000 | #Constraints: 55658 3054.55/3062.40 c #Conflicts: 1993000 | #Constraints: 56658 3054.55/3062.40 c INPROCESSING 3054.55/3062.40 c GARBAGE COLLECT 3054.55/3062.40 c rational objective 3 3107.33/3115.39 c #Conflicts: 1994000 | #Constraints: 29438 3107.33/3115.39 c #Conflicts: 1995000 | #Constraints: 30443 3107.33/3115.39 c #Conflicts: 1996000 | #Constraints: 31450 3107.33/3115.39 c #Conflicts: 1997000 | #Constraints: 32453 3107.33/3115.39 c #Conflicts: 1998000 | #Constraints: 33457 3107.33/3115.39 c #Conflicts: 1999000 | #Constraints: 34459 3107.33/3115.39 c #Conflicts: 2000000 | #Constraints: 35461 3107.33/3115.39 c #Conflicts: 2001000 | #Constraints: 36468 3107.33/3115.39 c #Conflicts: 2002000 | #Constraints: 37472 3107.33/3115.39 c #Conflicts: 2003000 | #Constraints: 38478 3107.33/3115.39 c #Conflicts: 2004000 | #Constraints: 39485 3107.33/3115.39 c #Conflicts: 2005000 | #Constraints: 40491 3107.33/3115.39 c #Conflicts: 2006000 | #Constraints: 41492 3107.33/3115.39 c #Conflicts: 2007000 | #Constraints: 42496 3107.33/3115.39 c #Conflicts: 2008000 | #Constraints: 43498 3107.33/3115.39 c #Conflicts: 2009000 | #Constraints: 44504 3107.33/3115.39 c #Conflicts: 2010000 | #Constraints: 45511 3107.33/3115.39 c #Conflicts: 2011000 | #Constraints: 46517 3107.33/3115.39 c #Conflicts: 2012000 | #Constraints: 47524 3107.33/3115.39 c #Conflicts: 2013000 | #Constraints: 48527 3107.33/3115.39 c #Conflicts: 2014000 | #Constraints: 49529 3107.33/3115.39 c #Conflicts: 2015000 | #Constraints: 50536 3107.33/3115.39 c #Conflicts: 2016000 | #Constraints: 51540 3107.33/3115.39 c #Conflicts: 2017000 | #Constraints: 52547 3107.33/3115.39 c #Conflicts: 2018000 | #Constraints: 53554 3107.33/3115.39 c #Conflicts: 2019000 | #Constraints: 54559 3107.33/3115.39 c #Conflicts: 2020000 | #Constraints: 55562 3107.33/3115.39 c #Conflicts: 2021000 | #Constraints: 56569 3107.33/3115.39 c INPROCESSING 3107.33/3115.39 c GARBAGE COLLECT 3107.33/3115.39 c rational objective 3 3159.61/3167.75 c #Conflicts: 2022000 | #Constraints: 29144 3159.61/3167.75 c #Conflicts: 2023000 | #Constraints: 30146 3159.61/3167.75 c #Conflicts: 2024000 | #Constraints: 31152 3159.61/3167.75 c #Conflicts: 2025000 | #Constraints: 32156 3159.61/3167.75 c #Conflicts: 2026000 | #Constraints: 33158 3159.61/3167.75 c #Conflicts: 2027000 | #Constraints: 34167 3159.61/3167.75 c #Conflicts: 2028000 | #Constraints: 35170 3159.61/3167.75 c #Conflicts: 2029000 | #Constraints: 36176 3159.61/3167.75 c #Conflicts: 2030000 | #Constraints: 37178 3159.61/3167.75 c #Conflicts: 2031000 | #Constraints: 38180 3159.61/3167.75 c #Conflicts: 2032000 | #Constraints: 39183 3159.61/3167.75 c #Conflicts: 2033000 | #Constraints: 40189 3159.61/3167.75 c #Conflicts: 2034000 | #Constraints: 41192 3159.61/3167.75 c #Conflicts: 2035000 | #Constraints: 42198 3159.61/3167.75 c #Conflicts: 2036000 | #Constraints: 43203 3159.61/3167.75 c #Conflicts: 2037000 | #Constraints: 44209 3159.61/3167.75 c #Conflicts: 2038000 | #Constraints: 45212 3159.61/3167.75 c #Conflicts: 2039000 | #Constraints: 46219 3159.61/3167.75 c #Conflicts: 2040000 | #Constraints: 47229 3159.61/3167.75 c #Conflicts: 2041000 | #Constraints: 48231 3159.61/3167.75 c #Conflicts: 2042000 | #Constraints: 49236 3159.61/3167.75 c #Conflicts: 2043000 | #Constraints: 50239 3159.61/3167.75 c #Conflicts: 2044000 | #Constraints: 51245 3159.61/3167.75 c #Conflicts: 2045000 | #Constraints: 52250 3159.61/3167.75 c #Conflicts: 2046000 | #Constraints: 53253 3159.61/3167.75 c #Conflicts: 2047000 | #Constraints: 54253 3159.61/3167.75 c #Conflicts: 2048000 | #Constraints: 55260 3159.61/3167.75 c #Conflicts: 2049000 | #Constraints: 56265 3159.61/3167.75 c #Conflicts: 2050000 | #Constraints: 57271 3159.61/3167.75 c INPROCESSING 3159.61/3167.75 c GARBAGE COLLECT 3159.61/3167.75 c rational objective 3 3219.37/3227.60 c #Conflicts: 2051000 | #Constraints: 29707 3219.37/3227.60 c #Conflicts: 2052000 | #Constraints: 30716 3219.37/3227.60 c #Conflicts: 2053000 | #Constraints: 31722 3219.37/3227.60 c #Conflicts: 2054000 | #Constraints: 32731 3219.37/3227.60 c #Conflicts: 2055000 | #Constraints: 33734 3219.37/3227.60 c #Conflicts: 2056000 | #Constraints: 34739 3219.37/3227.60 c #Conflicts: 2057000 | #Constraints: 35748 3219.37/3227.60 c #Conflicts: 2058000 | #Constraints: 36755 3219.37/3227.60 c #Conflicts: 2059000 | #Constraints: 37759 3219.37/3227.60 c #Conflicts: 2060000 | #Constraints: 38765 3219.37/3227.60 c #Conflicts: 2061000 | #Constraints: 39768 3219.37/3227.60 c #Conflicts: 2062000 | #Constraints: 40770 3219.37/3227.60 c #Conflicts: 2063000 | #Constraints: 41773 3219.37/3227.60 c #Conflicts: 2064000 | #Constraints: 42782 3219.37/3227.60 c #Conflicts: 2065000 | #Constraints: 43788 3219.37/3227.60 c #Conflicts: 2066000 | #Constraints: 44796 3219.37/3227.60 c #Conflicts: 2067000 | #Constraints: 45803 3219.37/3227.60 c #Conflicts: 2068000 | #Constraints: 46813 3219.37/3227.60 c #Conflicts: 2069000 | #Constraints: 47820 3219.37/3227.60 c #Conflicts: 2070000 | #Constraints: 48826 3219.37/3227.60 c #Conflicts: 2071000 | #Constraints: 49830 3219.37/3227.60 c #Conflicts: 2072000 | #Constraints: 50834 3219.37/3227.60 c #Conflicts: 2073000 | #Constraints: 51836 3219.37/3227.60 c #Conflicts: 2074000 | #Constraints: 52840 3219.37/3227.60 c #Conflicts: 2075000 | #Constraints: 53847 3219.37/3227.60 c #Conflicts: 2076000 | #Constraints: 54852 3219.37/3227.60 c #Conflicts: 2077000 | #Constraints: 55854 3219.37/3227.60 c #Conflicts: 2078000 | #Constraints: 56855 3219.37/3227.60 c #Conflicts: 2079000 | #Constraints: 57857 3219.37/3227.60 c INPROCESSING 3219.37/3227.60 c GARBAGE COLLECT 3219.37/3227.60 c rational objective 3 3282.02/3290.45 c #Conflicts: 2080000 | #Constraints: 30131 3282.02/3290.45 c #Conflicts: 2081000 | #Constraints: 31133 3282.02/3290.45 c #Conflicts: 2082000 | #Constraints: 32135 3282.02/3290.45 c #Conflicts: 2083000 | #Constraints: 33137 3282.02/3290.45 c #Conflicts: 2084000 | #Constraints: 34138 3282.02/3290.45 c #Conflicts: 2085000 | #Constraints: 35141 3282.02/3290.45 c #Conflicts: 2086000 | #Constraints: 36143 3282.02/3290.45 c #Conflicts: 2087000 | #Constraints: 37145 3282.02/3290.45 c #Conflicts: 2088000 | #Constraints: 38149 3282.02/3290.45 c #Conflicts: 2089000 | #Constraints: 39151 3282.02/3290.45 c #Conflicts: 2090000 | #Constraints: 40153 3282.02/3290.45 c #Conflicts: 2091000 | #Constraints: 41154 3282.02/3290.45 c #Conflicts: 2092000 | #Constraints: 42158 3282.02/3290.45 c #Conflicts: 2093000 | #Constraints: 43160 3282.02/3290.45 c #Conflicts: 2094000 | #Constraints: 44161 3282.02/3290.45 c #Conflicts: 2095000 | #Constraints: 45165 3282.02/3290.45 c #Conflicts: 2096000 | #Constraints: 46170 3282.02/3290.45 c #Conflicts: 2097000 | #Constraints: 47171 3282.02/3290.45 c #Conflicts: 2098000 | #Constraints: 48172 3282.02/3290.45 c #Conflicts: 2099000 | #Constraints: 49175 3282.02/3290.45 c #Conflicts: 2100000 | #Constraints: 50179 3282.02/3290.45 c #Conflicts: 2101000 | #Constraints: 51180 3282.02/3290.45 c #Conflicts: 2102000 | #Constraints: 52183 3282.02/3290.45 c #Conflicts: 2103000 | #Constraints: 53189 3282.02/3290.45 c #Conflicts: 2104000 | #Constraints: 54194 3282.02/3290.45 c #Conflicts: 2105000 | #Constraints: 55199 3282.02/3290.45 c #Conflicts: 2106000 | #Constraints: 56205 3282.02/3290.45 c #Conflicts: 2107000 | #Constraints: 57216 3282.02/3290.45 c #Conflicts: 2108000 | #Constraints: 58222 3282.02/3290.45 c INPROCESSING 3282.02/3290.45 c GARBAGE COLLECT 3282.02/3290.45 c rational objective 3 3343.60/3352.13 c #Conflicts: 2109000 | #Constraints: 30282 3343.60/3352.13 c #Conflicts: 2110000 | #Constraints: 31285 3343.60/3352.13 c #Conflicts: 2111000 | #Constraints: 32288 3343.60/3352.13 c #Conflicts: 2112000 | #Constraints: 33289 3343.60/3352.13 c #Conflicts: 2113000 | #Constraints: 34291 3343.60/3352.13 c #Conflicts: 2114000 | #Constraints: 35293 3343.60/3352.13 c #Conflicts: 2115000 | #Constraints: 36297 3343.60/3352.13 c #Conflicts: 2116000 | #Constraints: 37301 3343.60/3352.13 c #Conflicts: 2117000 | #Constraints: 38305 3343.60/3352.13 c #Conflicts: 2118000 | #Constraints: 39310 3343.60/3352.13 c #Conflicts: 2119000 | #Constraints: 40315 3343.60/3352.13 c #Conflicts: 2120000 | #Constraints: 41315 3343.60/3352.13 c #Conflicts: 2121000 | #Constraints: 42315 3343.60/3352.13 c #Conflicts: 2122000 | #Constraints: 43316 3343.60/3352.13 c #Conflicts: 2123000 | #Constraints: 44320 3343.60/3352.13 c #Conflicts: 2124000 | #Constraints: 45323 3343.60/3352.13 c #Conflicts: 2125000 | #Constraints: 46325 3343.60/3352.13 c #Conflicts: 2126000 | #Constraints: 47327 3343.60/3352.13 c #Conflicts: 2127000 | #Constraints: 48329 3343.60/3352.13 c #Conflicts: 2128000 | #Constraints: 49334 3343.60/3352.13 c #Conflicts: 2129000 | #Constraints: 50334 3343.60/3352.13 c #Conflicts: 2130000 | #Constraints: 51337 3343.60/3352.13 c #Conflicts: 2131000 | #Constraints: 52339 3343.60/3352.13 c #Conflicts: 2132000 | #Constraints: 53344 3343.60/3352.13 c #Conflicts: 2133000 | #Constraints: 54347 3343.60/3352.13 c #Conflicts: 2134000 | #Constraints: 55350 3343.60/3352.13 c #Conflicts: 2135000 | #Constraints: 56354 3343.60/3352.13 c #Conflicts: 2136000 | #Constraints: 57357 3343.60/3352.13 c #Conflicts: 2137000 | #Constraints: 58361 3343.60/3352.13 c INPROCESSING 3343.60/3352.13 c GARBAGE COLLECT 3343.60/3352.13 c rational objective 3 3399.65/3408.35 c #Conflicts: 2138000 | #Constraints: 30262 3399.65/3408.35 c #Conflicts: 2139000 | #Constraints: 31264 3399.65/3408.35 c #Conflicts: 2140000 | #Constraints: 32270 3399.65/3408.35 c #Conflicts: 2141000 | #Constraints: 33274 3399.65/3408.35 c #Conflicts: 2142000 | #Constraints: 34279 3399.65/3408.35 c #Conflicts: 2143000 | #Constraints: 35283 3399.65/3408.35 c #Conflicts: 2144000 | #Constraints: 36286 3399.65/3408.35 c #Conflicts: 2145000 | #Constraints: 37288 3399.65/3408.35 c #Conflicts: 2146000 | #Constraints: 38291 3399.65/3408.35 c #Conflicts: 2147000 | #Constraints: 39295 3399.65/3408.35 c #Conflicts: 2148000 | #Constraints: 40299 3399.65/3408.35 c #Conflicts: 2149000 | #Constraints: 41301 3399.65/3408.35 c #Conflicts: 2150000 | #Constraints: 42303 3399.65/3408.35 c #Conflicts: 2151000 | #Constraints: 43309 3399.65/3408.35 c #Conflicts: 2152000 | #Constraints: 44314 3399.65/3408.35 c #Conflicts: 2153000 | #Constraints: 45320 3399.65/3408.35 c #Conflicts: 2154000 | #Constraints: 46323 3399.65/3408.35 c #Conflicts: 2155000 | #Constraints: 47326 3399.65/3408.35 c #Conflicts: 2156000 | #Constraints: 48331 3399.65/3408.35 c #Conflicts: 2157000 | #Constraints: 49333 3399.65/3408.35 c #Conflicts: 2158000 | #Constraints: 50339 3399.65/3408.35 c #Conflicts: 2159000 | #Constraints: 51341 3399.65/3408.35 c #Conflicts: 2160000 | #Constraints: 52344 3399.65/3408.35 c #Conflicts: 2161000 | #Constraints: 53347 3399.65/3408.35 c #Conflicts: 2162000 | #Constraints: 54349 3399.65/3408.35 c #Conflicts: 2163000 | #Constraints: 55354 3399.65/3408.35 c #Conflicts: 2164000 | #Constraints: 56355 3399.65/3408.35 c #Conflicts: 2165000 | #Constraints: 57356 3399.65/3408.35 c #Conflicts: 2166000 | #Constraints: 58360 3399.65/3408.35 c INPROCESSING 3399.65/3408.35 c GARBAGE COLLECT 3399.65/3408.35 c rational objective 3 3444.94/3453.77 c #Conflicts: 2167000 | #Constraints: 30053 3444.94/3453.77 c #Conflicts: 2168000 | #Constraints: 31060 3444.94/3453.77 c #Conflicts: 2169000 | #Constraints: 32065 3444.94/3453.77 c #Conflicts: 2170000 | #Constraints: 33070 3444.94/3453.77 c #Conflicts: 2171000 | #Constraints: 34074 3444.94/3453.77 c #Conflicts: 2172000 | #Constraints: 35082 3444.94/3453.77 c #Conflicts: 2173000 | #Constraints: 36089 3444.94/3453.77 c #Conflicts: 2174000 | #Constraints: 37096 3444.94/3453.77 c #Conflicts: 2175000 | #Constraints: 38103 3444.94/3453.77 c #Conflicts: 2176000 | #Constraints: 39107 3444.94/3453.77 c #Conflicts: 2177000 | #Constraints: 40109 3444.94/3453.77 c #Conflicts: 2178000 | #Constraints: 41114 3444.94/3453.77 c #Conflicts: 2179000 | #Constraints: 42116 3444.94/3453.77 c #Conflicts: 2180000 | #Constraints: 43120 3444.94/3453.77 c #Conflicts: 2181000 | #Constraints: 44124 3444.94/3453.77 c #Conflicts: 2182000 | #Constraints: 45128 3444.94/3453.77 c #Conflicts: 2183000 | #Constraints: 46130 3444.94/3453.77 c #Conflicts: 2184000 | #Constraints: 47133 3444.94/3453.77 c #Conflicts: 2185000 | #Constraints: 48137 3444.94/3453.77 c #Conflicts: 2186000 | #Constraints: 49143 3444.94/3453.77 c #Conflicts: 2187000 | #Constraints: 50150 3444.94/3453.77 c #Conflicts: 2188000 | #Constraints: 51155 3444.94/3453.77 c #Conflicts: 2189000 | #Constraints: 52159 3444.94/3453.77 c #Conflicts: 2190000 | #Constraints: 53164 3444.94/3453.77 c #Conflicts: 2191000 | #Constraints: 54175 3444.94/3453.77 c #Conflicts: 2192000 | #Constraints: 55181 3444.94/3453.77 c #Conflicts: 2193000 | #Constraints: 56188 3444.94/3453.77 c #Conflicts: 2194000 | #Constraints: 57193 3444.94/3453.77 c #Conflicts: 2195000 | #Constraints: 58199 3444.94/3453.77 c #Conflicts: 2196000 | #Constraints: 59200 3444.94/3453.77 c INPROCESSING 3444.94/3453.77 c GARBAGE COLLECT 3444.94/3453.77 c rational objective 3 3513.78/3522.73 c #Conflicts: 2197000 | #Constraints: 30667 3513.78/3522.73 c #Conflicts: 2198000 | #Constraints: 31667 3513.78/3522.73 c #Conflicts: 2199000 | #Constraints: 32669 3513.78/3522.73 c #Conflicts: 2200000 | #Constraints: 33670 3513.78/3522.73 c #Conflicts: 2201000 | #Constraints: 34676 3513.78/3522.73 c #Conflicts: 2202000 | #Constraints: 35679 3513.78/3522.73 c #Conflicts: 2203000 | #Constraints: 36679 3513.78/3522.73 c #Conflicts: 2204000 | #Constraints: 37682 3513.78/3522.73 c #Conflicts: 2205000 | #Constraints: 38683 3513.78/3522.73 c #Conflicts: 2206000 | #Constraints: 39683 3513.78/3522.73 c #Conflicts: 2207000 | #Constraints: 40686 3513.78/3522.73 c #Conflicts: 2208000 | #Constraints: 41689 3513.78/3522.73 c #Conflicts: 2209000 | #Constraints: 42693 3513.78/3522.73 c #Conflicts: 2210000 | #Constraints: 43696 3513.78/3522.73 c #Conflicts: 2211000 | #Constraints: 44701 3513.78/3522.73 c #Conflicts: 2212000 | #Constraints: 45703 3513.78/3522.73 c #Conflicts: 2213000 | #Constraints: 46707 3513.78/3522.73 c #Conflicts: 2214000 | #Constraints: 47710 3513.78/3522.73 c #Conflicts: 2215000 | #Constraints: 48713 3513.78/3522.73 c #Conflicts: 2216000 | #Constraints: 49716 3513.78/3522.73 c #Conflicts: 2217000 | #Constraints: 50717 3513.78/3522.73 c #Conflicts: 2218000 | #Constraints: 51720 3513.78/3522.73 c #Conflicts: 2219000 | #Constraints: 52724 3513.78/3522.73 c #Conflicts: 2220000 | #Constraints: 53726 3513.78/3522.73 c #Conflicts: 2221000 | #Constraints: 54727 3513.78/3522.73 c #Conflicts: 2222000 | #Constraints: 55728 3513.78/3522.73 c #Conflicts: 2223000 | #Constraints: 56732 3513.78/3522.73 c #Conflicts: 2224000 | #Constraints: 57736 3513.78/3522.73 c #Conflicts: 2225000 | #Constraints: 58736 3513.78/3522.73 c #Conflicts: 2226000 | #Constraints: 59738 3513.78/3522.73 c INPROCESSING 3513.78/3522.73 c GARBAGE COLLECT 3513.78/3522.73 c rational objective 3 3600.01/3609.11 c 3600.01/3609.11 s SATISFIABLE 3600.01/3609.11 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 ~x41 x42 x43 ~x44 ~x45 x46 x47 ~x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 3600.01/3609.11 c #Conflicts: 2227000 | #Constraints: 31065 3600.01/3609.11 c #Conflicts: 2228000 | #Constraints: 32067 3600.01/3609.11 c #Conflicts: 2229000 | #Constraints: 33068 3600.01/3609.11 c #Conflicts: 2230000 | #Constraints: 34072 3600.01/3609.11 c #Conflicts: 2231000 | #Constraints: 35075 3600.01/3609.11 c #Conflicts: 2232000 | #Constraints: 36076 3600.01/3609.11 c #Conflicts: 2233000 | #Constraints: 37076 3600.01/3609.11 c #Conflicts: 2234000 | #Constraints: 38077 3600.01/3609.11 c #Conflicts: 2235000 | #Constraints: 39081 3600.01/3609.11 c #Conflicts: 2236000 | #Constraints: 40084 3600.01/3609.11 c #Conflicts: 2237000 | #Constraints: 41085 3600.01/3609.11 c #Conflicts: 2238000 | #Constraints: 42089 3600.01/3609.11 c #Conflicts: 2239000 | #Constraints: 43091 3600.01/3609.11 c #Conflicts: 2240000 | #Constraints: 44095 3600.01/3609.11 c #Conflicts: 2241000 | #Constraints: 45099 3600.01/3609.11 c #Conflicts: 2242000 | #Constraints: 46101 3600.01/3609.11 c #Conflicts: 2243000 | #Constraints: 47103 3600.01/3609.11 c #Conflicts: 2244000 | #Constraints: 48104 3600.01/3609.11 c #Conflicts: 2245000 | #Constraints: 49105 3600.01/3609.11 c #Conflicts: 2246000 | #Constraints: 50108 3600.01/3609.11 c #Conflicts: 2247000 | #Constraints: 51110 3600.01/3609.11 c #Conflicts: 2248000 | #Constraints: 52111 3600.01/3609.11 c #Conflicts: 2249000 | #Constraints: 53111 3600.01/3609.11 c #Conflicts: 2250000 | #Constraints: 54111 3600.01/3609.11 c #Conflicts: 2251000 | #Constraints: 55112 3600.01/3609.11 c #Conflicts: 2252000 | #Constraints: 56117 3600.01/3609.11 c #Conflicts: 2253000 | #Constraints: 57124 3600.01/3609.11 c #Conflicts: 2254000 | #Constraints: 58126 3600.01/3609.11 c #Conflicts: 2255000 | #Constraints: 59131
FAILED ERROR: unsatisfied constraint on line 20 12=1 Falsified constraint is: +1*x258[=1] +1*x269[=1] +1*x278[=1] +1*x287[=1] +1*x671[=1] +1*x643[=1] +1*x655[=1] +1*x623[=1] +1*x331[=1] +1*x266[=1] +1*x272[=1] +1*x281[=1] = 1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61010 MiB free)
memory of node 1: 64510 MiB (63363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429552-1721049342/watcher-4429552-1721049342 -o /tmp/evaluation-result-4429552-1721049342/solver-4429552-1721049342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721048664-795060 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429552-1721049342.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=796075, runsolver pid=796072
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 4.79 4.31 4.21 5/243 796076
/proc/meminfo: memFree=127355588/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=39500 memory=10212 CPUtime=0.1 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 1111 0 0 0 10 0 0 0 20 0 1 0 157090869 40448000 2553 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 9875 2553 1825 922 0 1827 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39500 KiB
Current children cumulated memory: 10212 KiB
[startup+0.212841 s]*
/proc/loadavg: 4.79 4.31 4.21 6/243 796077
/proc/meminfo: memFree=127352864/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=39948 memory=12776 CPUtime=0.21 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 1264 0 0 0 20 1 0 0 20 0 1 0 157090869 40906752 3194 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 9987 3194 1825 922 0 1939 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39948 KiB
Current children cumulated memory: 12776 KiB
[startup+0.312883 s]*
/proc/loadavg: 4.79 4.31 4.21 6/243 796077
/proc/meminfo: memFree=127352444/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=40220 memory=13040 CPUtime=0.32 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 1338 0 0 0 30 2 0 0 20 0 1 0 157090869 41185280 3260 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 10055 3260 1825 922 0 2007 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40220 KiB
Current children cumulated memory: 13040 KiB
[startup+0.70034 s]
/proc/loadavg: 4.97 4.35 4.22 5/243 796077
/proc/meminfo: memFree=127351272/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=41096 memory=14160 CPUtime=0.68 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 1620 0 0 0 65 3 0 0 20 0 1 0 157090869 42082304 3540 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 10274 3540 1841 922 0 2226 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41096 KiB
Current children cumulated memory: 14160 KiB
[startup+1.50033 s]
/proc/loadavg: 4.97 4.35 4.22 5/243 796077
/proc/meminfo: memFree=127350572/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=42336 memory=15740 CPUtime=1.49 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 2073 0 0 0 142 7 0 0 20 0 1 0 157090869 43352064 3935 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 10584 3935 1841 922 0 2536 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 15740 KiB
[startup+3.11281 s]
/proc/loadavg: 4.97 4.35 4.22 5/243 796077
/proc/meminfo: memFree=127341700/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=47308 memory=19840 CPUtime=3.1 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 3250 0 0 0 300 10 0 0 20 0 1 0 157090869 48443392 4960 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 11827 4960 1841 922 0 3779 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 47308 KiB
Current children cumulated memory: 19840 KiB
[startup+6.30029 s]
/proc/loadavg: 4.89 4.35 4.22 5/243 796077
/proc/meminfo: memFree=127335512/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=48584 memory=22192 CPUtime=6.28 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 3977 0 0 0 609 19 0 0 20 0 1 0 157090869 49750016 5548 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 12146 5548 1943 922 0 4098 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 48584 KiB
Current children cumulated memory: 22192 KiB
[startup+12.7003 s]
/proc/loadavg: 4.82 4.34 4.22 5/243 796079
/proc/meminfo: memFree=127331716/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=50216 memory=24896 CPUtime=12.66 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 4708 0 0 0 1231 35 0 0 20 0 1 0 157090869 51421184 6224 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 12554 6224 1943 922 0 4506 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50216 KiB
Current children cumulated memory: 24896 KiB
[startup+25.5003 s]
/proc/loadavg: 4.69 4.33 4.22 5/243 796081
/proc/meminfo: memFree=127321124/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=58504 memory=32784 CPUtime=25.43 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 6159 0 0 0 2478 65 0 0 20 0 1 0 157090869 59908096 8196 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 14626 8196 1943 922 0 6578 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 58504 KiB
Current children cumulated memory: 32784 KiB
[startup+51.1126 s]
/proc/loadavg: 4.48 4.31 4.22 5/243 796085
/proc/meminfo: memFree=127312076/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=70120 memory=41392 CPUtime=50.97 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 8152 0 0 0 4978 119 0 0 20 0 1 0 157090869 71802880 10348 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 17530 10348 1959 922 0 9482 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 70120 KiB
Current children cumulated memory: 41392 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.28 4.21 5/242 796094
/proc/meminfo: memFree=127260216/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=74300 memory=47132 CPUtime=102.02 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 9400 0 0 0 9999 203 0 0 20 0 1 0 157090869 76083200 11783 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 18575 11783 1959 922 0 10527 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 74300 KiB
Current children cumulated memory: 47132 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.26 4.20 6/246 796110
/proc/meminfo: memFree=127150512/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=91708 memory=58140 CPUtime=161.87 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 11595 0 0 0 15909 278 0 0 20 0 1 0 157090869 93908992 14535 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 22927 14535 1959 922 0 14879 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 91708 KiB
Current children cumulated memory: 58140 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.25 4.20 5/246 796121
/proc/meminfo: memFree=127148112/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=92776 memory=59192 CPUtime=221.71 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 11853 0 0 0 21829 342 0 0 20 0 1 0 157090869 95002624 14798 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 23194 14798 1959 922 0 15146 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 92776 KiB
Current children cumulated memory: 59192 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.20 4.18 5/246 796133
/proc/meminfo: memFree=127138992/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=94340 memory=62820 CPUtime=281.56 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 12741 0 0 0 27736 420 0 0 20 0 1 0 157090869 96604160 15705 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 23585 15705 1959 922 0 15537 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 94340 KiB
Current children cumulated memory: 62820 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/246 796143
/proc/meminfo: memFree=126944552/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=95376 memory=63908 CPUtime=341.41 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 13178 0 0 0 33651 490 0 0 20 0 1 0 157090869 97665024 15977 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 23844 15977 1959 922 0 15796 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 95376 KiB
Current children cumulated memory: 63908 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.19 4.18 6/246 796154
/proc/meminfo: memFree=126794192/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=121436 memory=77404 CPUtime=401.25 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 15081 0 0 0 39576 549 0 0 20 0 1 0 157090869 124350464 19351 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 30359 19351 1959 922 0 22311 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 121436 KiB
Current children cumulated memory: 77404 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/249 796220
/proc/meminfo: memFree=126786164/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=123272 memory=82240 CPUtime=461.07 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 15709 0 0 0 45489 618 0 0 20 0 1 0 157090869 126230528 20560 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 30818 20560 1959 922 0 22770 0
################
# More data... #
################
Current children cumulated memory: 146140 KiB
[startup+2922.3 s]
/proc/loadavg: 4.72 4.29 4.21 5/245 797898
/proc/meminfo: memFree=126068380/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=194528 memory=146852 CPUtime=2914.81 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 31345 0 0 0 289262 2219 0 0 20 0 1 0 157090869 199196672 36713 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 48632 36713 1959 922 0 40584 0
Current children cumulated CPU time: 2914.81 s
Current children cumulated vsize: 194528 KiB
Current children cumulated memory: 146852 KiB
[startup+2982.3 s]
/proc/loadavg: 4.54 4.33 4.23 5/243 798000
/proc/meminfo: memFree=127932164/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=193904 memory=146460 CPUtime=2974.66 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 31443 0 0 0 295211 2255 0 0 20 0 1 0 157090869 198557696 36615 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 48476 36615 1959 922 0 40428 0
Current children cumulated CPU time: 2974.66 s
Current children cumulated vsize: 193904 KiB
Current children cumulated memory: 146460 KiB
[startup+3042.3 s]
/proc/loadavg: 4.21 4.27 4.21 5/243 798056
/proc/meminfo: memFree=127804172/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=194124 memory=146972 CPUtime=3034.5 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 31755 0 0 0 301161 2289 0 0 20 0 1 0 157090869 198782976 36743 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 48531 36743 1959 922 0 40483 0
Current children cumulated CPU time: 3034.5 s
Current children cumulated vsize: 194124 KiB
Current children cumulated memory: 146972 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.23 4.20 5/240 798080
/proc/meminfo: memFree=128567936/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=194080 memory=147024 CPUtime=3094.35 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 32020 0 0 0 307114 2321 0 0 20 0 1 0 157090869 198737920 36756 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 48520 36756 1959 922 0 40472 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 194080 KiB
Current children cumulated memory: 147024 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.20 4.19 6/242 798122
/proc/meminfo: memFree=127896888/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=194128 memory=147068 CPUtime=3154.22 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 32273 0 0 0 313066 2356 0 0 20 0 1 0 157090869 198787072 36767 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 48532 36767 1959 922 0 40484 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 194128 KiB
Current children cumulated memory: 147068 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.18 4.18 5/242 798133
/proc/meminfo: memFree=127108332/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=194376 memory=147048 CPUtime=3214.08 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 32559 0 0 0 319023 2385 0 0 20 0 1 0 157090869 199041024 36762 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 48594 36762 1959 922 0 40546 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 194376 KiB
Current children cumulated memory: 147048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/246 798149
/proc/meminfo: memFree=126522828/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=195348 memory=147996 CPUtime=3273.95 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 32830 0 0 0 324980 2415 0 0 20 0 1 0 157090869 200036352 36999 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 48837 36999 1959 922 0 40789 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 195348 KiB
Current children cumulated memory: 147996 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/246 798159
/proc/meminfo: memFree=126141900/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=195968 memory=148484 CPUtime=3333.81 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 33141 0 0 0 330936 2445 0 0 20 0 1 0 157090869 200671232 37121 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 48992 37121 1959 922 0 40944 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 195968 KiB
Current children cumulated memory: 148484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.21 4.19 6/246 798170
/proc/meminfo: memFree=125648056/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=196480 memory=148852 CPUtime=3393.67 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 33432 0 0 0 336890 2477 0 0 20 0 1 0 157090869 201195520 37213 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 49120 37213 1959 922 0 41072 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 196480 KiB
Current children cumulated memory: 148852 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/246 798180
/proc/meminfo: memFree=125646976/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=196736 memory=149060 CPUtime=3453.52 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 33879 0 0 0 342842 2510 0 0 20 0 1 0 157090869 201457664 37265 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 49184 37265 1959 922 0 41136 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 196736 KiB
Current children cumulated memory: 149060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/246 798190
/proc/meminfo: memFree=125645988/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=197248 memory=149076 CPUtime=3513.39 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 33985 0 0 0 348803 2536 0 0 20 0 1 0 157090869 201981952 37269 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 49312 37269 1959 922 0 41264 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 197248 KiB
Current children cumulated memory: 149076 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/245 798201
/proc/meminfo: memFree=125604160/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=197248 memory=149368 CPUtime=3573.25 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 34218 0 0 0 354765 2560 0 0 20 0 1 0 157090869 201981952 37342 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 49312 37342 1959 922 0 41264 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 197248 KiB
Current children cumulated memory: 149368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.09 4.16 4.17 5/242 798206
/proc/meminfo: memFree=125601604/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=199364 memory=150432 CPUtime=3600.01 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 34510 0 0 0 357433 2568 0 0 20 0 1 0 157090869 204148736 37608 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 49841 37608 1959 922 0 41793 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 199364 KiB
Current children cumulated memory: 150432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 796075 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3574.33 s, system=25.6834 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.09 4.16 4.17 5/242 798206
/proc/meminfo: memFree=125601604/131655788 swapFree=131071996/131071996
[pid=796075] ppid=796072 vsize=199364 memory=150432 CPUtime=3600.01 cores=4,6
/proc/796075/stat : 796075 (roundingsat) R 796072 796075 795049 0 -1 4194304 34510 0 0 0 357433 2568 0 0 20 0 1 0 157090869 204148736 37608 134679101440 4194304 7968869 140733678477952 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 21327872 140733678482366 140733678482530 140733678482530 140733678489545 0
/proc/796075/statm: 49841 37608 1959 922 0 41793 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 199364 KiB
Current children cumulated memory: 150432 KiB
Child status: 1
Real time (s): 3609.11
CPU time (s): 3600.01
CPU user time (s): 3574.33
CPU system time (s): 25.6834
CPU usage (%): 99.7478
Max. virtual memory (cumulated for all children) (KiB): 199364
Max. memory (cumulated for all children) (KiB): 150432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.33
system time used= 25.6834
maximum resident set size= 150432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34518
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= 63
involuntary context switches= 2199
# summary of solver processes directly reported to runsolver:
# pid: 796075
# total CPU time (s): 3600.01
# total CPU user time (s): 3574.33
# total CPU system time (s): 25.6834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5049 second user time and 37.5236 second system time
The end
Begin job on nodeC007 at 2024-07-15 15:15:55 IDJOB=4429552 IDBENCH=148776 IDSOLVER=3051 FILE ID=nodeC007/4429552-1721049342 RUNJOBID= nodeC007-1721048664-795060 SLURM_JOB_ID= 7505467 Free space on /tmp= 723752 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-4429552-1721049342/watcher-4429552-1721049342 -o /tmp/evaluation-result-4429552-1721049342/solver-4429552-1721049342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721048664-795060 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429552-1721049342.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef RANDOM SEED=165941748 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3562.795 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3660.154 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.270 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.246 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.653 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3658.067 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.132 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.290 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127359296 kB MemAvailable: 128364624 kB Buffers: 362244 kB Cached: 1476160 kB SwapCached: 0 kB Active: 594520 kB Inactive: 3157104 kB Active(anon): 1460 kB Inactive(anon): 1949464 kB Active(file): 593060 kB Inactive(file): 1207640 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5140 kB Writeback: 28 kB AnonPages: 1912756 kB Mapped: 113716 kB Shmem: 37704 kB KReclaimable: 89320 kB Slab: 184984 kB SReclaimable: 89320 kB SUnreclaim: 95664 kB KernelStack: 3852 kB PageTables: 12840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2476260 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51104 kB HardwareCorrupted: 0 kB AnonHugePages: 1470464 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: 248648 kB DirectMap2M: 22724608 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 723752 MiB End job on nodeC007 at 2024-07-15 16:16:04