| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.02 | 3609.84 |
| Name | PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24bt.opb |
| MD5SUM | b1cc89baa8bd080d13ae67cc087920d3 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.064229 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 490 |
| Total number of constraints | 1085 |
| Number of constraints which are clauses | 738 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 345 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 169 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 32 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 193 |
| Number of bits of the biggest sum of numbers | 8 |
| 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 490 #constraints 1085 2.67/2.76 c #Conflicts: 1000 | #Constraints: 2084 2.67/2.76 c #Conflicts: 2000 | #Constraints: 3084 2.67/2.76 c INPROCESSING 2.67/2.76 c GARBAGE COLLECT 2.67/2.76 c #Conflicts: 3000 | #Constraints: 3057 2.67/2.76 c #Conflicts: 4000 | #Constraints: 4058 2.67/2.76 c INPROCESSING 2.67/2.76 c GARBAGE COLLECT 2.67/2.76 c #Conflicts: 5000 | #Constraints: 3463 2.67/2.76 c #Conflicts: 6000 | #Constraints: 4463 2.67/2.76 c INPROCESSING 2.67/2.76 c GARBAGE COLLECT 2.67/2.76 c #Conflicts: 7000 | #Constraints: 3462 2.67/2.76 c #Conflicts: 8000 | #Constraints: 4462 2.67/2.76 c #Conflicts: 9000 | #Constraints: 5463 2.67/2.76 c INPROCESSING 2.67/2.76 c GARBAGE COLLECT 2.67/2.76 c rational objective 68.5004 4.47/4.58 c #Conflicts: 10000 | #Constraints: 4165 4.47/4.58 c #Conflicts: 11000 | #Constraints: 5166 4.47/4.58 c #Conflicts: 12000 | #Constraints: 6167 4.47/4.58 c INPROCESSING 4.47/4.58 c GARBAGE COLLECT 4.47/4.58 c #Conflicts: 13000 | #Constraints: 4615 4.47/4.58 c #Conflicts: 14000 | #Constraints: 5615 4.47/4.58 c #Conflicts: 15000 | #Constraints: 6616 4.47/4.58 c INPROCESSING 4.47/4.58 c GARBAGE COLLECT 4.47/4.58 c rational objective 68.5012 6.87/6.95 c #Conflicts: 16000 | #Constraints: 4843 6.87/6.95 c #Conflicts: 17000 | #Constraints: 5846 6.87/6.95 c #Conflicts: 18000 | #Constraints: 6848 6.87/6.95 c INPROCESSING 6.87/6.95 c GARBAGE COLLECT 6.87/6.95 c #Conflicts: 19000 | #Constraints: 4863 6.87/6.95 c #Conflicts: 20000 | #Constraints: 5865 6.87/6.95 c #Conflicts: 21000 | #Constraints: 6865 6.87/6.95 c INPROCESSING 6.87/6.95 c GARBAGE COLLECT 6.87/6.95 c rational objective 68.5107 8.46/8.50 c #Conflicts: 22000 | #Constraints: 4669 8.46/8.50 c #Conflicts: 23000 | #Constraints: 5669 8.46/8.50 c #Conflicts: 24000 | #Constraints: 6669 8.46/8.50 c #Conflicts: 25000 | #Constraints: 7670 8.46/8.50 c INPROCESSING 8.46/8.50 c GARBAGE COLLECT 8.46/8.50 c rational objective 68.5118 11.35/11.40 c #Conflicts: 26000 | #Constraints: 5270 11.35/11.40 c #Conflicts: 27000 | #Constraints: 6271 11.35/11.40 c #Conflicts: 28000 | #Constraints: 7273 11.35/11.40 c #Conflicts: 29000 | #Constraints: 8273 11.35/11.40 c INPROCESSING 11.35/11.40 c GARBAGE COLLECT 11.35/11.40 c #Conflicts: 30000 | #Constraints: 5670 11.35/11.40 c #Conflicts: 31000 | #Constraints: 6670 11.35/11.40 c #Conflicts: 32000 | #Constraints: 7670 11.35/11.40 c #Conflicts: 33000 | #Constraints: 8670 11.35/11.40 c INPROCESSING 11.35/11.40 c GARBAGE COLLECT 11.35/11.40 c rational objective 68.5204 19.52/19.62 c #Conflicts: 34000 | #Constraints: 5863 19.52/19.62 c #Conflicts: 35000 | #Constraints: 6864 19.52/19.62 c #Conflicts: 36000 | #Constraints: 7867 19.52/19.62 c #Conflicts: 37000 | #Constraints: 8867 19.52/19.62 c INPROCESSING 19.52/19.62 c GARBAGE COLLECT 19.52/19.62 c #Conflicts: 38000 | #Constraints: 5870 19.52/19.62 c #Conflicts: 39000 | #Constraints: 6870 19.52/19.62 c #Conflicts: 40000 | #Constraints: 7872 19.52/19.62 c #Conflicts: 41000 | #Constraints: 8872 19.52/19.62 c INPROCESSING 19.52/19.62 c GARBAGE COLLECT 19.52/19.62 c #Conflicts: 42000 | #Constraints: 5666 19.52/19.62 c #Conflicts: 43000 | #Constraints: 6666 19.52/19.62 c #Conflicts: 44000 | #Constraints: 7666 19.52/19.62 c #Conflicts: 45000 | #Constraints: 8667 19.52/19.62 c #Conflicts: 46000 | #Constraints: 9667 19.52/19.62 c INPROCESSING 19.52/19.62 c GARBAGE COLLECT 19.52/19.62 c #Conflicts: 47000 | #Constraints: 6263 19.52/19.62 c #Conflicts: 48000 | #Constraints: 7263 19.52/19.62 c #Conflicts: 49000 | #Constraints: 8264 19.52/19.62 c #Conflicts: 50000 | #Constraints: 9265 19.52/19.62 c #Conflicts: 51000 | #Constraints: 10265 19.52/19.62 c INPROCESSING 19.52/19.62 c GARBAGE COLLECT 19.52/19.62 c rational objective 68.5349 22.22/22.33 c #Conflicts: 52000 | #Constraints: 6669 22.22/22.33 c #Conflicts: 53000 | #Constraints: 7671 22.22/22.33 c #Conflicts: 54000 | #Constraints: 8671 22.22/22.33 c #Conflicts: 55000 | #Constraints: 9671 22.22/22.33 c #Conflicts: 56000 | #Constraints: 10671 22.22/22.33 c INPROCESSING 22.22/22.33 c GARBAGE COLLECT 22.22/22.33 c rational objective 68.5355 27.20/27.37 c #Conflicts: 57000 | #Constraints: 6863 27.20/27.37 c #Conflicts: 58000 | #Constraints: 7863 27.20/27.37 c #Conflicts: 59000 | #Constraints: 8863 27.20/27.37 c #Conflicts: 60000 | #Constraints: 9864 27.20/27.37 c #Conflicts: 61000 | #Constraints: 10864 27.20/27.37 c INPROCESSING 27.20/27.37 c GARBAGE COLLECT 27.20/27.37 c #Conflicts: 62000 | #Constraints: 6864 27.20/27.37 c #Conflicts: 63000 | #Constraints: 7864 27.20/27.37 c #Conflicts: 64000 | #Constraints: 8865 27.20/27.37 c #Conflicts: 65000 | #Constraints: 9865 27.20/27.37 c #Conflicts: 66000 | #Constraints: 10865 27.20/27.37 c INPROCESSING 27.20/27.37 c GARBAGE COLLECT 27.20/27.37 c rational objective 68.5411 33.08/33.28 c #Conflicts: 67000 | #Constraints: 6664 33.08/33.28 c #Conflicts: 68000 | #Constraints: 7664 33.08/33.28 c #Conflicts: 69000 | #Constraints: 8664 33.08/33.28 c #Conflicts: 70000 | #Constraints: 9664 33.08/33.28 c #Conflicts: 71000 | #Constraints: 10664 33.08/33.28 c #Conflicts: 72000 | #Constraints: 11665 33.08/33.28 c INPROCESSING 33.08/33.28 c GARBAGE COLLECT 33.08/33.28 c #Conflicts: 73000 | #Constraints: 7265 33.08/33.28 c #Conflicts: 74000 | #Constraints: 8265 33.08/33.28 c #Conflicts: 75000 | #Constraints: 9266 33.08/33.28 c #Conflicts: 76000 | #Constraints: 10267 33.08/33.28 c #Conflicts: 77000 | #Constraints: 11267 33.08/33.28 c #Conflicts: 78000 | #Constraints: 12267 33.08/33.28 c INPROCESSING 33.08/33.28 c GARBAGE COLLECT 33.08/33.28 c rational objective 68.5423 36.08/36.24 c #Conflicts: 79000 | #Constraints: 7668 36.08/36.24 c #Conflicts: 80000 | #Constraints: 8668 36.08/36.24 c #Conflicts: 81000 | #Constraints: 9669 36.08/36.24 c #Conflicts: 82000 | #Constraints: 10670 36.08/36.24 c #Conflicts: 83000 | #Constraints: 11671 36.08/36.24 c #Conflicts: 84000 | #Constraints: 12673 36.08/36.24 c INPROCESSING 36.08/36.24 c GARBAGE COLLECT 36.08/36.24 c rational objective 68.5424 39.76/39.94 c #Conflicts: 85000 | #Constraints: 7868 39.76/39.94 c #Conflicts: 86000 | #Constraints: 8868 39.76/39.94 c #Conflicts: 87000 | #Constraints: 9868 39.76/39.94 c #Conflicts: 88000 | #Constraints: 10869 39.76/39.94 c #Conflicts: 89000 | #Constraints: 11870 39.76/39.94 c #Conflicts: 90000 | #Constraints: 12870 39.76/39.94 c INPROCESSING 39.76/39.94 c GARBAGE COLLECT 39.76/39.94 c rational objective 68.5433 46.64/46.84 c #Conflicts: 91000 | #Constraints: 7874 46.64/46.84 c #Conflicts: 92000 | #Constraints: 8875 46.64/46.84 c #Conflicts: 93000 | #Constraints: 9875 46.64/46.84 c #Conflicts: 94000 | #Constraints: 10875 46.64/46.84 c #Conflicts: 95000 | #Constraints: 11877 46.64/46.84 c #Conflicts: 96000 | #Constraints: 12877 46.64/46.84 c INPROCESSING 46.64/46.84 c GARBAGE COLLECT 46.64/46.84 c #Conflicts: 97000 | #Constraints: 7677 46.64/46.84 c #Conflicts: 98000 | #Constraints: 8678 46.64/46.84 c #Conflicts: 99000 | #Constraints: 9681 46.64/46.84 c #Conflicts: 100000 | #Constraints: 10684 46.64/46.84 c #Conflicts: 101000 | #Constraints: 11685 46.64/46.84 c #Conflicts: 102000 | #Constraints: 12685 46.64/46.84 c #Conflicts: 103000 | #Constraints: 13685 46.64/46.84 c INPROCESSING 46.64/46.84 c GARBAGE COLLECT 46.64/46.84 c rational objective 68.5435 50.23/50.42 c #Conflicts: 104000 | #Constraints: 8275 50.23/50.42 c #Conflicts: 105000 | #Constraints: 9275 50.23/50.42 c #Conflicts: 106000 | #Constraints: 10276 50.23/50.42 c #Conflicts: 107000 | #Constraints: 11277 50.23/50.42 c #Conflicts: 108000 | #Constraints: 12277 50.23/50.42 c #Conflicts: 109000 | #Constraints: 13278 50.23/50.42 c #Conflicts: 110000 | #Constraints: 14278 50.23/50.42 c INPROCESSING 50.23/50.42 c GARBAGE COLLECT 50.23/50.42 c rational objective 68.5435 53.93/54.11 c #Conflicts: 111000 | #Constraints: 8670 53.93/54.11 c #Conflicts: 112000 | #Constraints: 9670 53.93/54.11 c #Conflicts: 113000 | #Constraints: 10670 53.93/54.11 c #Conflicts: 114000 | #Constraints: 11670 53.93/54.11 c #Conflicts: 115000 | #Constraints: 12670 53.93/54.11 c #Conflicts: 116000 | #Constraints: 13670 53.93/54.11 c #Conflicts: 117000 | #Constraints: 14670 53.93/54.11 c INPROCESSING 53.93/54.11 c GARBAGE COLLECT 53.93/54.11 c rational objective 68.5522 58.30/58.53 c #Conflicts: 118000 | #Constraints: 8867 58.30/58.53 c #Conflicts: 119000 | #Constraints: 9868 58.30/58.53 c #Conflicts: 120000 | #Constraints: 10868 58.30/58.53 c #Conflicts: 121000 | #Constraints: 11868 58.30/58.53 c #Conflicts: 122000 | #Constraints: 12868 58.30/58.53 c #Conflicts: 123000 | #Constraints: 13868 58.30/58.53 c #Conflicts: 124000 | #Constraints: 14868 58.30/58.53 c INPROCESSING 58.30/58.53 c GARBAGE COLLECT 58.30/58.53 c rational objective 68.5534 62.38/62.64 c #Conflicts: 125000 | #Constraints: 8867 62.38/62.64 c #Conflicts: 126000 | #Constraints: 9867 62.38/62.64 c #Conflicts: 127000 | #Constraints: 10867 62.38/62.64 c #Conflicts: 128000 | #Constraints: 11870 62.38/62.64 c #Conflicts: 129000 | #Constraints: 12871 62.38/62.64 c #Conflicts: 130000 | #Constraints: 13874 62.38/62.64 c #Conflicts: 131000 | #Constraints: 14875 62.38/62.64 c INPROCESSING 62.38/62.64 c GARBAGE COLLECT 62.38/62.64 c rational objective 68.5538 66.47/66.79 c #Conflicts: 132000 | #Constraints: 8670 66.47/66.79 c #Conflicts: 133000 | #Constraints: 9670 66.47/66.79 c #Conflicts: 134000 | #Constraints: 10670 66.47/66.79 c #Conflicts: 135000 | #Constraints: 11671 66.47/66.79 c #Conflicts: 136000 | #Constraints: 12672 66.47/66.79 c #Conflicts: 137000 | #Constraints: 13673 66.47/66.79 c #Conflicts: 138000 | #Constraints: 14676 66.47/66.79 c #Conflicts: 139000 | #Constraints: 15676 66.47/66.79 c INPROCESSING 66.47/66.79 c GARBAGE COLLECT 66.47/66.79 c rational objective 68.5708 70.95/71.22 c #Conflicts: 140000 | #Constraints: 9269 70.95/71.22 c #Conflicts: 141000 | #Constraints: 10269 70.95/71.22 c #Conflicts: 142000 | #Constraints: 11272 70.95/71.22 c #Conflicts: 143000 | #Constraints: 12272 70.95/71.22 c #Conflicts: 144000 | #Constraints: 13273 70.95/71.22 c #Conflicts: 145000 | #Constraints: 14274 70.95/71.22 c #Conflicts: 146000 | #Constraints: 15275 70.95/71.22 c #Conflicts: 147000 | #Constraints: 16277 70.95/71.22 c INPROCESSING 70.95/71.22 c GARBAGE COLLECT 70.95/71.22 c rational objective 68.575 75.75/76.07 c #Conflicts: 148000 | #Constraints: 9676 75.75/76.07 c #Conflicts: 149000 | #Constraints: 10676 75.75/76.07 c #Conflicts: 150000 | #Constraints: 11676 75.75/76.07 c #Conflicts: 151000 | #Constraints: 12676 75.75/76.07 c #Conflicts: 152000 | #Constraints: 13677 75.75/76.07 c #Conflicts: 153000 | #Constraints: 14677 75.75/76.07 c #Conflicts: 154000 | #Constraints: 15679 75.75/76.07 c #Conflicts: 155000 | #Constraints: 16679 75.75/76.07 c INPROCESSING 75.75/76.07 c GARBAGE COLLECT 75.75/76.07 c rational objective 68.5761 80.52/80.83 c #Conflicts: 156000 | #Constraints: 9876 80.52/80.83 c #Conflicts: 157000 | #Constraints: 10876 80.52/80.83 c #Conflicts: 158000 | #Constraints: 11877 80.52/80.83 c #Conflicts: 159000 | #Constraints: 12877 80.52/80.83 c #Conflicts: 160000 | #Constraints: 13877 80.52/80.83 c #Conflicts: 161000 | #Constraints: 14879 80.52/80.83 c #Conflicts: 162000 | #Constraints: 15879 80.52/80.83 c #Conflicts: 163000 | #Constraints: 16879 80.52/80.83 c INPROCESSING 80.52/80.83 c GARBAGE COLLECT 80.52/80.83 c rational objective 68.5782 86.01/86.32 c #Conflicts: 164000 | #Constraints: 9870 86.01/86.32 c #Conflicts: 165000 | #Constraints: 10870 86.01/86.32 c #Conflicts: 166000 | #Constraints: 11871 86.01/86.32 c #Conflicts: 167000 | #Constraints: 12873 86.01/86.32 c #Conflicts: 168000 | #Constraints: 13873 86.01/86.32 c #Conflicts: 169000 | #Constraints: 14874 86.01/86.32 c #Conflicts: 170000 | #Constraints: 15874 86.01/86.32 c #Conflicts: 171000 | #Constraints: 16874 86.01/86.32 c INPROCESSING 86.01/86.32 c GARBAGE COLLECT 86.01/86.32 c rational objective 68.5793 91.30/91.69 c #Conflicts: 172000 | #Constraints: 9669 91.30/91.69 c #Conflicts: 173000 | #Constraints: 10669 91.30/91.69 c #Conflicts: 174000 | #Constraints: 11669 91.30/91.69 c #Conflicts: 175000 | #Constraints: 12670 91.30/91.69 c #Conflicts: 176000 | #Constraints: 13670 91.30/91.69 c #Conflicts: 177000 | #Constraints: 14670 91.30/91.69 c #Conflicts: 178000 | #Constraints: 15670 91.30/91.69 c #Conflicts: 179000 | #Constraints: 16672 91.30/91.69 c #Conflicts: 180000 | #Constraints: 17672 91.30/91.69 c INPROCESSING 91.30/91.69 c GARBAGE COLLECT 91.30/91.69 c rational objective 68.5813 96.57/96.99 c #Conflicts: 181000 | #Constraints: 10268 96.57/96.99 c #Conflicts: 182000 | #Constraints: 11268 96.57/96.99 c #Conflicts: 183000 | #Constraints: 12268 96.57/96.99 c #Conflicts: 184000 | #Constraints: 13269 96.57/96.99 c #Conflicts: 185000 | #Constraints: 14269 96.57/96.99 c #Conflicts: 186000 | #Constraints: 15270 96.57/96.99 c #Conflicts: 187000 | #Constraints: 16270 96.57/96.99 c #Conflicts: 188000 | #Constraints: 17271 96.57/96.99 c #Conflicts: 189000 | #Constraints: 18272 96.57/96.99 c INPROCESSING 96.57/96.99 c GARBAGE COLLECT 96.57/96.99 c rational objective 68.5813 104.25/104.67 c #Conflicts: 190000 | #Constraints: 10673 104.25/104.67 c #Conflicts: 191000 | #Constraints: 11673 104.25/104.67 c #Conflicts: 192000 | #Constraints: 12674 104.25/104.67 c #Conflicts: 193000 | #Constraints: 13674 104.25/104.67 c #Conflicts: 194000 | #Constraints: 14675 104.25/104.67 c #Conflicts: 195000 | #Constraints: 15675 104.25/104.67 c #Conflicts: 196000 | #Constraints: 16677 104.25/104.67 c #Conflicts: 197000 | #Constraints: 17678 104.25/104.67 c #Conflicts: 198000 | #Constraints: 18679 104.25/104.67 c INPROCESSING 104.25/104.67 c GARBAGE COLLECT 104.25/104.67 c rational objective 68.5813 111.72/112.18 c #Conflicts: 199000 | #Constraints: 10887 111.72/112.18 c #Conflicts: 200000 | #Constraints: 11889 111.72/112.18 c #Conflicts: 201000 | #Constraints: 12890 111.72/112.18 c #Conflicts: 202000 | #Constraints: 13893 111.72/112.18 c #Conflicts: 203000 | #Constraints: 14894 111.72/112.18 c #Conflicts: 204000 | #Constraints: 15896 111.72/112.18 c #Conflicts: 205000 | #Constraints: 16897 111.72/112.18 c #Conflicts: 206000 | #Constraints: 17897 111.72/112.18 c #Conflicts: 207000 | #Constraints: 18899 111.72/112.18 c INPROCESSING 111.72/112.18 c GARBAGE COLLECT 111.72/112.18 c rational objective 68.5815 120.48/120.96 c #Conflicts: 208000 | #Constraints: 10884 120.48/120.96 c #Conflicts: 209000 | #Constraints: 11885 120.48/120.96 c #Conflicts: 210000 | #Constraints: 12885 120.48/120.96 c #Conflicts: 211000 | #Constraints: 13885 120.48/120.96 c #Conflicts: 212000 | #Constraints: 14885 120.48/120.96 c #Conflicts: 213000 | #Constraints: 15887 120.48/120.96 c #Conflicts: 214000 | #Constraints: 16887 120.48/120.96 c #Conflicts: 215000 | #Constraints: 17888 120.48/120.96 c #Conflicts: 216000 | #Constraints: 18888 120.48/120.96 c INPROCESSING 120.48/120.96 c GARBAGE COLLECT 120.48/120.96 c rational objective 68.5874 128.56/129.01 c #Conflicts: 217000 | #Constraints: 10685 128.56/129.01 c #Conflicts: 218000 | #Constraints: 11685 128.56/129.01 c #Conflicts: 219000 | #Constraints: 12686 128.56/129.01 c #Conflicts: 220000 | #Constraints: 13686 128.56/129.01 c #Conflicts: 221000 | #Constraints: 14686 128.56/129.01 c #Conflicts: 222000 | #Constraints: 15687 128.56/129.01 c #Conflicts: 223000 | #Constraints: 16687 128.56/129.01 c #Conflicts: 224000 | #Constraints: 17687 128.56/129.01 c #Conflicts: 225000 | #Constraints: 18687 128.56/129.01 c #Conflicts: 226000 | #Constraints: 19687 128.56/129.01 c INPROCESSING 128.56/129.01 c GARBAGE COLLECT 128.56/129.01 c rational objective 68.5874 136.63/137.15 c #Conflicts: 227000 | #Constraints: 11287 136.63/137.15 c #Conflicts: 228000 | #Constraints: 12288 136.63/137.15 c #Conflicts: 229000 | #Constraints: 13288 136.63/137.15 c #Conflicts: 230000 | #Constraints: 14288 136.63/137.15 c #Conflicts: 231000 | #Constraints: 15288 136.63/137.15 c #Conflicts: 232000 | #Constraints: 16288 136.63/137.15 c #Conflicts: 233000 | #Constraints: 17290 136.63/137.15 c #Conflicts: 234000 | #Constraints: 18291 136.63/137.15 c #Conflicts: 235000 | #Constraints: 19292 136.63/137.15 c #Conflicts: 236000 | #Constraints: 20292 136.63/137.15 c INPROCESSING 136.63/137.15 c GARBAGE COLLECT 136.63/137.15 c rational objective 68.5874 143.11/143.61 c #Conflicts: 237000 | #Constraints: 11676 143.11/143.61 c #Conflicts: 238000 | #Constraints: 12677 143.11/143.61 c #Conflicts: 239000 | #Constraints: 13679 143.11/143.61 c #Conflicts: 240000 | #Constraints: 14679 143.11/143.61 c #Conflicts: 241000 | #Constraints: 15679 143.11/143.61 c #Conflicts: 242000 | #Constraints: 16679 143.11/143.61 c #Conflicts: 243000 | #Constraints: 17679 143.11/143.61 c #Conflicts: 244000 | #Constraints: 18681 143.11/143.61 c #Conflicts: 245000 | #Constraints: 19682 143.11/143.61 c #Conflicts: 246000 | #Constraints: 20684 143.11/143.61 c INPROCESSING 143.11/143.61 c GARBAGE COLLECT 143.11/143.61 c rational objective 68.5874 149.98/150.52 c #Conflicts: 247000 | #Constraints: 11876 149.98/150.52 c #Conflicts: 248000 | #Constraints: 12876 149.98/150.52 c #Conflicts: 249000 | #Constraints: 13876 149.98/150.52 c #Conflicts: 250000 | #Constraints: 14876 149.98/150.52 c #Conflicts: 251000 | #Constraints: 15876 149.98/150.52 c #Conflicts: 252000 | #Constraints: 16878 149.98/150.52 c #Conflicts: 253000 | #Constraints: 17879 149.98/150.52 c #Conflicts: 254000 | #Constraints: 18879 149.98/150.52 c #Conflicts: 255000 | #Constraints: 19879 149.98/150.52 c #Conflicts: 256000 | #Constraints: 20880 149.98/150.52 c INPROCESSING 149.98/150.52 c GARBAGE COLLECT 149.98/150.52 c rational objective 68.5874 158.74/159.39 c #Conflicts: 257000 | #Constraints: 11879 158.74/159.39 c #Conflicts: 258000 | #Constraints: 12880 158.74/159.39 c #Conflicts: 259000 | #Constraints: 13882 158.74/159.39 c #Conflicts: 260000 | #Constraints: 14883 158.74/159.39 c #Conflicts: 261000 | #Constraints: 15883 158.74/159.39 c #Conflicts: 262000 | #Constraints: 16883 158.74/159.39 c #Conflicts: 263000 | #Constraints: 17883 158.74/159.39 c #Conflicts: 264000 | #Constraints: 18883 158.74/159.39 c #Conflicts: 265000 | #Constraints: 19884 158.74/159.39 c #Conflicts: 266000 | #Constraints: 20884 158.74/159.39 c INPROCESSING 158.74/159.39 c GARBAGE COLLECT 158.74/159.39 c rational objective 68.5874 168.41/169.07 c #Conflicts: 267000 | #Constraints: 11681 168.41/169.07 c #Conflicts: 268000 | #Constraints: 12682 168.41/169.07 c #Conflicts: 269000 | #Constraints: 13684 168.41/169.07 c #Conflicts: 270000 | #Constraints: 14684 168.41/169.07 c #Conflicts: 271000 | #Constraints: 15685 168.41/169.07 c #Conflicts: 272000 | #Constraints: 16687 168.41/169.07 c #Conflicts: 273000 | #Constraints: 17688 168.41/169.07 c #Conflicts: 274000 | #Constraints: 18688 168.41/169.07 c #Conflicts: 275000 | #Constraints: 19688 168.41/169.07 c #Conflicts: 276000 | #Constraints: 20690 168.41/169.07 c #Conflicts: 277000 | #Constraints: 21692 168.41/169.07 c INPROCESSING 168.41/169.07 c GARBAGE COLLECT 168.41/169.07 c rational objective 68.5878 176.18/176.82 c #Conflicts: 278000 | #Constraints: 12271 176.18/176.82 c #Conflicts: 279000 | #Constraints: 13271 176.18/176.82 c #Conflicts: 280000 | #Constraints: 14272 176.18/176.82 c #Conflicts: 281000 | #Constraints: 15272 176.18/176.82 c #Conflicts: 282000 | #Constraints: 16276 176.18/176.82 c #Conflicts: 283000 | #Constraints: 17277 176.18/176.82 c #Conflicts: 284000 | #Constraints: 18279 176.18/176.82 c #Conflicts: 285000 | #Constraints: 19279 176.18/176.82 c #Conflicts: 286000 | #Constraints: 20279 176.18/176.82 c #Conflicts: 287000 | #Constraints: 21280 176.18/176.82 c #Conflicts: 288000 | #Constraints: 22281 176.18/176.82 c INPROCESSING 176.18/176.82 c GARBAGE COLLECT 176.18/176.82 c rational objective 68.5977 184.86/185.55 c #Conflicts: 289000 | #Constraints: 12665 184.86/185.55 c #Conflicts: 290000 | #Constraints: 13665 184.86/185.55 c #Conflicts: 291000 | #Constraints: 14665 184.86/185.55 c #Conflicts: 292000 | #Constraints: 15665 184.86/185.55 c #Conflicts: 293000 | #Constraints: 16667 184.86/185.55 c #Conflicts: 294000 | #Constraints: 17667 184.86/185.55 c #Conflicts: 295000 | #Constraints: 18669 184.86/185.55 c #Conflicts: 296000 | #Constraints: 19669 184.86/185.55 c #Conflicts: 297000 | #Constraints: 20669 184.86/185.55 c #Conflicts: 298000 | #Constraints: 21670 184.86/185.55 c #Conflicts: 299000 | #Constraints: 22672 184.86/185.55 c INPROCESSING 184.86/185.55 c GARBAGE COLLECT 184.86/185.55 c rational objective 68.598 193.21/193.93 c #Conflicts: 300000 | #Constraints: 12861 193.21/193.93 c #Conflicts: 301000 | #Constraints: 13862 193.21/193.93 c #Conflicts: 302000 | #Constraints: 14862 193.21/193.93 c #Conflicts: 303000 | #Constraints: 15862 193.21/193.93 c #Conflicts: 304000 | #Constraints: 16862 193.21/193.93 c #Conflicts: 305000 | #Constraints: 17862 193.21/193.93 c #Conflicts: 306000 | #Constraints: 18862 193.21/193.93 c #Conflicts: 307000 | #Constraints: 19862 193.21/193.93 c #Conflicts: 308000 | #Constraints: 20863 193.21/193.93 c #Conflicts: 309000 | #Constraints: 21864 193.21/193.93 c #Conflicts: 310000 | #Constraints: 22864 193.21/193.93 c INPROCESSING 193.21/193.93 c GARBAGE COLLECT 193.21/193.93 c rational objective 68.598 205.08/205.87 c #Conflicts: 311000 | #Constraints: 12872 205.08/205.87 c #Conflicts: 312000 | #Constraints: 13873 205.08/205.87 c #Conflicts: 313000 | #Constraints: 14874 205.08/205.87 c #Conflicts: 314000 | #Constraints: 15874 205.08/205.87 c #Conflicts: 315000 | #Constraints: 16874 205.08/205.87 c #Conflicts: 316000 | #Constraints: 17874 205.08/205.87 c #Conflicts: 317000 | #Constraints: 18876 205.08/205.87 c #Conflicts: 318000 | #Constraints: 19876 205.08/205.87 c #Conflicts: 319000 | #Constraints: 20878 205.08/205.87 c #Conflicts: 320000 | #Constraints: 21878 205.08/205.87 c #Conflicts: 321000 | #Constraints: 22879 205.08/205.87 c INPROCESSING 205.08/205.87 c GARBAGE COLLECT 205.08/205.87 c rational objective 68.598 215.55/216.33 c #Conflicts: 322000 | #Constraints: 12668 215.55/216.33 c #Conflicts: 323000 | #Constraints: 13668 215.55/216.33 c #Conflicts: 324000 | #Constraints: 14668 215.55/216.33 c #Conflicts: 325000 | #Constraints: 15669 215.55/216.33 c #Conflicts: 326000 | #Constraints: 16670 215.55/216.33 c #Conflicts: 327000 | #Constraints: 17671 215.55/216.33 c #Conflicts: 328000 | #Constraints: 18671 215.55/216.33 c #Conflicts: 329000 | #Constraints: 19671 215.55/216.33 c #Conflicts: 330000 | #Constraints: 20672 215.55/216.33 c #Conflicts: 331000 | #Constraints: 21673 215.55/216.33 c #Conflicts: 332000 | #Constraints: 22673 215.55/216.33 c #Conflicts: 333000 | #Constraints: 23674 215.55/216.33 c INPROCESSING 215.55/216.33 c GARBAGE COLLECT 215.55/216.33 c rational objective 68.598 225.10/225.95 c #Conflicts: 334000 | #Constraints: 13282 225.10/225.95 c #Conflicts: 335000 | #Constraints: 14282 225.10/225.95 c #Conflicts: 336000 | #Constraints: 15282 225.10/225.95 c #Conflicts: 337000 | #Constraints: 16282 225.10/225.95 c #Conflicts: 338000 | #Constraints: 17282 225.10/225.95 c #Conflicts: 339000 | #Constraints: 18283 225.10/225.95 c #Conflicts: 340000 | #Constraints: 19283 225.10/225.95 c #Conflicts: 341000 | #Constraints: 20285 225.10/225.95 c #Conflicts: 342000 | #Constraints: 21285 225.10/225.95 c #Conflicts: 343000 | #Constraints: 22286 225.10/225.95 c #Conflicts: 344000 | #Constraints: 23286 225.10/225.95 c #Conflicts: 345000 | #Constraints: 24286 225.10/225.95 c INPROCESSING 225.10/225.95 c GARBAGE COLLECT 225.10/225.95 c rational objective 68.598 234.19/235.04 c #Conflicts: 346000 | #Constraints: 13669 234.19/235.04 c #Conflicts: 347000 | #Constraints: 14670 234.19/235.04 c #Conflicts: 348000 | #Constraints: 15670 234.19/235.04 c #Conflicts: 349000 | #Constraints: 16671 234.19/235.04 c #Conflicts: 350000 | #Constraints: 17671 234.19/235.04 c #Conflicts: 351000 | #Constraints: 18673 234.19/235.04 c #Conflicts: 352000 | #Constraints: 19673 234.19/235.04 c #Conflicts: 353000 | #Constraints: 20674 234.19/235.04 c #Conflicts: 354000 | #Constraints: 21674 234.19/235.04 c #Conflicts: 355000 | #Constraints: 22674 234.19/235.04 c #Conflicts: 356000 | #Constraints: 23675 234.19/235.04 c #Conflicts: 357000 | #Constraints: 24676 234.19/235.04 c INPROCESSING 234.19/235.04 c GARBAGE COLLECT 234.19/235.04 c rational objective 68.5995 243.76/244.66 c #Conflicts: 358000 | #Constraints: 13861 243.76/244.66 c #Conflicts: 359000 | #Constraints: 14861 243.76/244.66 c #Conflicts: 360000 | #Constraints: 15863 243.76/244.66 c #Conflicts: 361000 | #Constraints: 16864 243.76/244.66 c #Conflicts: 362000 | #Constraints: 17864 243.76/244.66 c #Conflicts: 363000 | #Constraints: 18864 243.76/244.66 c #Conflicts: 364000 | #Constraints: 19864 243.76/244.66 c #Conflicts: 365000 | #Constraints: 20864 243.76/244.66 c #Conflicts: 366000 | #Constraints: 21865 243.76/244.66 c #Conflicts: 367000 | #Constraints: 22865 243.76/244.66 c #Conflicts: 368000 | #Constraints: 23865 243.76/244.66 c #Conflicts: 369000 | #Constraints: 24866 243.76/244.66 c INPROCESSING 243.76/244.66 c GARBAGE COLLECT 243.76/244.66 c rational objective 68.5995 252.83/253.75 c #Conflicts: 370000 | #Constraints: 13873 252.83/253.75 c #Conflicts: 371000 | #Constraints: 14873 252.83/253.75 c #Conflicts: 372000 | #Constraints: 15874 252.83/253.75 c #Conflicts: 373000 | #Constraints: 16874 252.83/253.75 c #Conflicts: 374000 | #Constraints: 17874 252.83/253.75 c #Conflicts: 375000 | #Constraints: 18874 252.83/253.75 c #Conflicts: 376000 | #Constraints: 19874 252.83/253.75 c #Conflicts: 377000 | #Constraints: 20874 252.83/253.75 c #Conflicts: 378000 | #Constraints: 21877 252.83/253.75 c #Conflicts: 379000 | #Constraints: 22877 252.83/253.75 c #Conflicts: 380000 | #Constraints: 23877 252.83/253.75 c #Conflicts: 381000 | #Constraints: 24877 252.83/253.75 c INPROCESSING 252.83/253.75 c GARBAGE COLLECT 252.83/253.75 c rational objective 68.5995 261.71/262.64 c #Conflicts: 382000 | #Constraints: 13667 261.71/262.64 c #Conflicts: 383000 | #Constraints: 14667 261.71/262.64 c #Conflicts: 384000 | #Constraints: 15669 261.71/262.64 c #Conflicts: 385000 | #Constraints: 16669 261.71/262.64 c #Conflicts: 386000 | #Constraints: 17669 261.71/262.64 c #Conflicts: 387000 | #Constraints: 18669 261.71/262.64 c #Conflicts: 388000 | #Constraints: 19669 261.71/262.64 c #Conflicts: 389000 | #Constraints: 20669 261.71/262.64 c #Conflicts: 390000 | #Constraints: 21669 261.71/262.64 c #Conflicts: 391000 | #Constraints: 22669 261.71/262.64 c #Conflicts: 392000 | #Constraints: 23669 261.71/262.64 c #Conflicts: 393000 | #Constraints: 24669 261.71/262.64 c #Conflicts: 394000 | #Constraints: 25670 261.71/262.64 c INPROCESSING 261.71/262.64 c GARBAGE COLLECT 261.71/262.64 c rational objective 68.5995 272.98/273.94 c #Conflicts: 395000 | #Constraints: 14269 272.98/273.94 c #Conflicts: 396000 | #Constraints: 15269 272.98/273.94 c #Conflicts: 397000 | #Constraints: 16269 272.98/273.94 c #Conflicts: 398000 | #Constraints: 17269 272.98/273.94 c #Conflicts: 399000 | #Constraints: 18269 272.98/273.94 c #Conflicts: 400000 | #Constraints: 19269 272.98/273.94 c #Conflicts: 401000 | #Constraints: 20270 272.98/273.94 c #Conflicts: 402000 | #Constraints: 21270 272.98/273.94 c #Conflicts: 403000 | #Constraints: 22270 272.98/273.94 c #Conflicts: 404000 | #Constraints: 23272 272.98/273.94 c #Conflicts: 405000 | #Constraints: 24273 272.98/273.94 c #Conflicts: 406000 | #Constraints: 25276 272.98/273.94 c #Conflicts: 407000 | #Constraints: 26276 272.98/273.94 c INPROCESSING 272.98/273.94 c GARBAGE COLLECT 272.98/273.94 c rational objective 68.5995 284.85/285.81 c #Conflicts: 408000 | #Constraints: 14672 284.85/285.81 c #Conflicts: 409000 | #Constraints: 15673 284.85/285.81 c #Conflicts: 410000 | #Constraints: 16675 284.85/285.81 c #Conflicts: 411000 | #Constraints: 17675 284.85/285.81 c #Conflicts: 412000 | #Constraints: 18675 284.85/285.81 c #Conflicts: 413000 | #Constraints: 19677 284.85/285.81 c #Conflicts: 414000 | #Constraints: 20680 284.85/285.81 c #Conflicts: 415000 | #Constraints: 21681 284.85/285.81 c #Conflicts: 416000 | #Constraints: 22682 284.85/285.81 c #Conflicts: 417000 | #Constraints: 23682 284.85/285.81 c #Conflicts: 418000 | #Constraints: 24683 284.85/285.81 c #Conflicts: 419000 | #Constraints: 25683 284.85/285.81 c #Conflicts: 420000 | #Constraints: 26684 284.85/285.81 c INPROCESSING 284.85/285.81 c GARBAGE COLLECT 284.85/285.81 c rational objective 68.5995 296.41/297.44 c #Conflicts: 421000 | #Constraints: 14888 296.41/297.44 c #Conflicts: 422000 | #Constraints: 15888 296.41/297.44 c #Conflicts: 423000 | #Constraints: 16888 296.41/297.44 c #Conflicts: 424000 | #Constraints: 17888 296.41/297.44 c #Conflicts: 425000 | #Constraints: 18889 296.41/297.44 c #Conflicts: 426000 | #Constraints: 19889 296.41/297.44 c #Conflicts: 427000 | #Constraints: 20889 296.41/297.44 c #Conflicts: 428000 | #Constraints: 21892 296.41/297.44 c #Conflicts: 429000 | #Constraints: 22893 296.41/297.44 c #Conflicts: 430000 | #Constraints: 23894 296.41/297.44 c #Conflicts: 431000 | #Constraints: 24895 296.41/297.44 c #Conflicts: 432000 | #Constraints: 25896 296.41/297.44 c #Conflicts: 433000 | #Constraints: 26897 296.41/297.44 c INPROCESSING 296.41/297.44 c GARBAGE COLLECT 296.41/297.44 c rational objective 68.5995 306.98/308.08 c #Conflicts: 434000 | #Constraints: 14886 306.98/308.08 c #Conflicts: 435000 | #Constraints: 15886 306.98/308.08 c #Conflicts: 436000 | #Constraints: 16886 306.98/308.08 c #Conflicts: 437000 | #Constraints: 17890 306.98/308.08 c #Conflicts: 438000 | #Constraints: 18891 306.98/308.08 c #Conflicts: 439000 | #Constraints: 19891 306.98/308.08 c #Conflicts: 440000 | #Constraints: 20892 306.98/308.08 c #Conflicts: 441000 | #Constraints: 21895 306.98/308.08 c #Conflicts: 442000 | #Constraints: 22897 306.98/308.08 c #Conflicts: 443000 | #Constraints: 23898 306.98/308.08 c #Conflicts: 444000 | #Constraints: 24900 306.98/308.08 c #Conflicts: 445000 | #Constraints: 25901 306.98/308.08 c #Conflicts: 446000 | #Constraints: 26903 306.98/308.08 c INPROCESSING 306.98/308.08 c GARBAGE COLLECT 306.98/308.08 c rational objective 68.5995 321.04/322.11 c #Conflicts: 447000 | #Constraints: 14687 321.04/322.11 c #Conflicts: 448000 | #Constraints: 15687 321.04/322.11 c #Conflicts: 449000 | #Constraints: 16687 321.04/322.11 c #Conflicts: 450000 | #Constraints: 17687 321.04/322.11 c #Conflicts: 451000 | #Constraints: 18688 321.04/322.11 c #Conflicts: 452000 | #Constraints: 19689 321.04/322.11 c #Conflicts: 453000 | #Constraints: 20689 321.04/322.11 c #Conflicts: 454000 | #Constraints: 21689 321.04/322.11 c #Conflicts: 455000 | #Constraints: 22689 321.04/322.11 c #Conflicts: 456000 | #Constraints: 23689 321.04/322.11 c #Conflicts: 457000 | #Constraints: 24689 321.04/322.11 c #Conflicts: 458000 | #Constraints: 25689 321.04/322.11 c #Conflicts: 459000 | #Constraints: 26689 321.04/322.11 c #Conflicts: 460000 | #Constraints: 27689 321.04/322.11 c INPROCESSING 321.04/322.11 c GARBAGE COLLECT 321.04/322.11 c rational objective 68.5995 335.39/336.50 c #Conflicts: 461000 | #Constraints: 15286 335.39/336.50 c #Conflicts: 462000 | #Constraints: 16286 335.39/336.50 c #Conflicts: 463000 | #Constraints: 17287 335.39/336.50 c #Conflicts: 464000 | #Constraints: 18290 335.39/336.50 c #Conflicts: 465000 | #Constraints: 19291 335.39/336.50 c #Conflicts: 466000 | #Constraints: 20293 335.39/336.50 c #Conflicts: 467000 | #Constraints: 21293 335.39/336.50 c #Conflicts: 468000 | #Constraints: 22294 335.39/336.50 c #Conflicts: 469000 | #Constraints: 23294 335.39/336.50 c #Conflicts: 470000 | #Constraints: 24294 335.39/336.50 c #Conflicts: 471000 | #Constraints: 25294 335.39/336.50 c #Conflicts: 472000 | #Constraints: 26294 335.39/336.50 c #Conflicts: 473000 | #Constraints: 27294 335.39/336.50 c #Conflicts: 474000 | #Constraints: 28294 335.39/336.50 c INPROCESSING 335.39/336.50 c GARBAGE COLLECT 335.39/336.50 c rational objective 68.5995 350.04/351.21 c #Conflicts: 475000 | #Constraints: 15692 350.04/351.21 c #Conflicts: 476000 | #Constraints: 16694 350.04/351.21 c #Conflicts: 477000 | #Constraints: 17694 350.04/351.21 c #Conflicts: 478000 | #Constraints: 18695 350.04/351.21 c #Conflicts: 479000 | #Constraints: 19695 350.04/351.21 c #Conflicts: 480000 | #Constraints: 20696 350.04/351.21 c #Conflicts: 481000 | #Constraints: 21698 350.04/351.21 c #Conflicts: 482000 | #Constraints: 22698 350.04/351.21 c #Conflicts: 483000 | #Constraints: 23698 350.04/351.21 c #Conflicts: 484000 | #Constraints: 24698 350.04/351.21 c #Conflicts: 485000 | #Constraints: 25699 350.04/351.21 c #Conflicts: 486000 | #Constraints: 26700 350.04/351.21 c #Conflicts: 487000 | #Constraints: 27700 350.04/351.21 c #Conflicts: 488000 | #Constraints: 28701 350.04/351.21 c INPROCESSING 350.04/351.21 c GARBAGE COLLECT 350.04/351.21 c rational objective 68.5995 363.00/364.23 c #Conflicts: 489000 | #Constraints: 15886 363.00/364.23 c #Conflicts: 490000 | #Constraints: 16887 363.00/364.23 c #Conflicts: 491000 | #Constraints: 17887 363.00/364.23 c #Conflicts: 492000 | #Constraints: 18888 363.00/364.23 c #Conflicts: 493000 | #Constraints: 19888 363.00/364.23 c #Conflicts: 494000 | #Constraints: 20888 363.00/364.23 c #Conflicts: 495000 | #Constraints: 21888 363.00/364.23 c #Conflicts: 496000 | #Constraints: 22888 363.00/364.23 c #Conflicts: 497000 | #Constraints: 23889 363.00/364.23 c #Conflicts: 498000 | #Constraints: 24890 363.00/364.23 c #Conflicts: 499000 | #Constraints: 25891 363.00/364.23 c #Conflicts: 500000 | #Constraints: 26891 363.00/364.23 c #Conflicts: 501000 | #Constraints: 27891 363.00/364.23 c #Conflicts: 502000 | #Constraints: 28892 363.00/364.23 c INPROCESSING 363.00/364.23 c GARBAGE COLLECT 363.00/364.23 c rational objective 68.5995 377.95/379.20 c #Conflicts: 503000 | #Constraints: 15885 377.95/379.20 c #Conflicts: 504000 | #Constraints: 16885 377.95/379.20 c #Conflicts: 505000 | #Constraints: 17885 377.95/379.20 c #Conflicts: 506000 | #Constraints: 18886 377.95/379.20 c #Conflicts: 507000 | #Constraints: 19887 377.95/379.20 c #Conflicts: 508000 | #Constraints: 20889 377.95/379.20 c #Conflicts: 509000 | #Constraints: 21891 377.95/379.20 c #Conflicts: 510000 | #Constraints: 22891 377.95/379.20 c #Conflicts: 511000 | #Constraints: 23892 377.95/379.20 c #Conflicts: 512000 | #Constraints: 24892 377.95/379.20 c #Conflicts: 513000 | #Constraints: 25892 377.95/379.20 c #Conflicts: 514000 | #Constraints: 26892 377.95/379.20 c #Conflicts: 515000 | #Constraints: 27892 377.95/379.20 c #Conflicts: 516000 | #Constraints: 28893 377.95/379.20 c INPROCESSING 377.95/379.20 c GARBAGE COLLECT 377.95/379.20 c rational objective 68.5995 391.91/393.23 c #Conflicts: 517000 | #Constraints: 15671 391.91/393.23 c #Conflicts: 518000 | #Constraints: 16671 391.91/393.23 c #Conflicts: 519000 | #Constraints: 17671 391.91/393.23 c #Conflicts: 520000 | #Constraints: 18671 391.91/393.23 c #Conflicts: 521000 | #Constraints: 19671 391.91/393.23 c #Conflicts: 522000 | #Constraints: 20671 391.91/393.23 c #Conflicts: 523000 | #Constraints: 21672 391.91/393.23 c #Conflicts: 524000 | #Constraints: 22672 391.91/393.23 c #Conflicts: 525000 | #Constraints: 23675 391.91/393.23 c #Conflicts: 526000 | #Constraints: 24676 391.91/393.23 c #Conflicts: 527000 | #Constraints: 25676 391.91/393.23 c #Conflicts: 528000 | #Constraints: 26677 391.91/393.23 c #Conflicts: 529000 | #Constraints: 27677 391.91/393.23 c #Conflicts: 530000 | #Constraints: 28677 391.91/393.23 c #Conflicts: 531000 | #Constraints: 29678 391.91/393.23 c INPROCESSING 391.91/393.23 c GARBAGE COLLECT 391.91/393.23 c rational objective 68.5995 404.87/406.26 c #Conflicts: 532000 | #Constraints: 16271 404.87/406.26 c #Conflicts: 533000 | #Constraints: 17271 404.87/406.26 c #Conflicts: 534000 | #Constraints: 18271 404.87/406.26 c #Conflicts: 535000 | #Constraints: 19272 404.87/406.26 c #Conflicts: 536000 | #Constraints: 20272 404.87/406.26 c #Conflicts: 537000 | #Constraints: 21273 404.87/406.26 c #Conflicts: 538000 | #Constraints: 22273 404.87/406.26 c #Conflicts: 539000 | #Constraints: 23275 404.87/406.26 c #Conflicts: 540000 | #Constraints: 24277 404.87/406.26 c #Conflicts: 541000 | #Constraints: 25277 404.87/406.26 c #Conflicts: 542000 | #Constraints: 26278 404.87/406.26 c #Conflicts: 543000 | #Constraints: 27279 404.87/406.26 c #Conflicts: 544000 | #Constraints: 28281 404.87/406.26 c #Conflicts: 545000 | #Constraints: 29282 404.87/406.26 c #Conflicts: 546000 | #Constraints: 30283 404.87/406.26 c INPROCESSING 404.87/406.26 c GARBAGE COLLECT 404.87/406.26 c rational objective 68.5995 417.83/419.29 c #Conflicts: 547000 | #Constraints: 16682 417.83/419.29 c #Conflicts: 548000 | #Constraints: 17682 417.83/419.29 c #Conflicts: 549000 | #Constraints: 18683 417.83/419.29 c #Conflicts: 550000 | #Constraints: 19685 417.83/419.29 c #Conflicts: 551000 | #Constraints: 20685 417.83/419.29 c #Conflicts: 552000 | #Constraints: 21685 417.83/419.29 c #Conflicts: 553000 | #Constraints: 22685 417.83/419.29 c #Conflicts: 554000 | #Constraints: 23685 417.83/419.29 c #Conflicts: 555000 | #Constraints: 24686 417.83/419.29 c #Conflicts: 556000 | #Constraints: 25686 417.83/419.29 c #Conflicts: 557000 | #Constraints: 26686 417.83/419.29 c #Conflicts: 558000 | #Constraints: 27686 417.83/419.29 c #Conflicts: 559000 | #Constraints: 28686 417.83/419.29 c #Conflicts: 560000 | #Constraints: 29687 417.83/419.29 c #Conflicts: 561000 | #Constraints: 30688 417.83/419.29 c INPROCESSING 417.83/419.29 c GARBAGE COLLECT 417.83/419.29 c rational objective 68.5997 431.29/432.73 c #Conflicts: 562000 | #Constraints: 16882 431.29/432.73 c #Conflicts: 563000 | #Constraints: 17882 431.29/432.73 c #Conflicts: 564000 | #Constraints: 18883 431.29/432.73 c #Conflicts: 565000 | #Constraints: 19884 431.29/432.73 c #Conflicts: 566000 | #Constraints: 20885 431.29/432.73 c #Conflicts: 567000 | #Constraints: 21885 431.29/432.73 c #Conflicts: 568000 | #Constraints: 22885 431.29/432.73 c #Conflicts: 569000 | #Constraints: 23885 431.29/432.73 c #Conflicts: 570000 | #Constraints: 24887 431.29/432.73 c #Conflicts: 571000 | #Constraints: 25888 431.29/432.73 c #Conflicts: 572000 | #Constraints: 26888 431.29/432.73 c #Conflicts: 573000 | #Constraints: 27890 431.29/432.73 c #Conflicts: 574000 | #Constraints: 28891 431.29/432.73 c #Conflicts: 575000 | #Constraints: 29891 431.29/432.73 c #Conflicts: 576000 | #Constraints: 30894 431.29/432.73 c INPROCESSING 431.29/432.73 c GARBAGE COLLECT 431.29/432.73 c rational objective 68.5998 446.65/448.10 c #Conflicts: 577000 | #Constraints: 16881 446.65/448.10 c #Conflicts: 578000 | #Constraints: 17881 446.65/448.10 c #Conflicts: 579000 | #Constraints: 18882 446.65/448.10 c #Conflicts: 580000 | #Constraints: 19882 446.65/448.10 c #Conflicts: 581000 | #Constraints: 20882 446.65/448.10 c #Conflicts: 582000 | #Constraints: 21882 446.65/448.10 c #Conflicts: 583000 | #Constraints: 22882 446.65/448.10 c #Conflicts: 584000 | #Constraints: 23882 446.65/448.10 c #Conflicts: 585000 | #Constraints: 24883 446.65/448.10 c #Conflicts: 586000 | #Constraints: 25883 446.65/448.10 c #Conflicts: 587000 | #Constraints: 26883 446.65/448.10 c #Conflicts: 588000 | #Constraints: 27883 446.65/448.10 c #Conflicts: 589000 | #Constraints: 28883 446.65/448.10 c #Conflicts: 590000 | #Constraints: 29883 446.65/448.10 c #Conflicts: 591000 | #Constraints: 30885 446.65/448.10 c INPROCESSING 446.65/448.10 c GARBAGE COLLECT 446.65/448.10 c rational objective 68.6558 460.30/461.81 c #Conflicts: 592000 | #Constraints: 16680 460.30/461.81 c #Conflicts: 593000 | #Constraints: 17680 460.30/461.81 c #Conflicts: 594000 | #Constraints: 18680 460.30/461.81 c #Conflicts: 595000 | #Constraints: 19681 460.30/461.81 c #Conflicts: 596000 | #Constraints: 20683 460.30/461.81 c #Conflicts: 597000 | #Constraints: 21684 460.30/461.81 c #Conflicts: 598000 | #Constraints: 22688 460.30/461.81 c #Conflicts: 599000 | #Constraints: 23692 460.30/461.81 c #Conflicts: 600000 | #Constraints: 24692 460.30/461.81 c #Conflicts: 601000 | #Constraints: 25694 460.30/461.81 c #Conflicts: 602000 | #Constraints: 26696 460.30/461.81 c #Conflicts: 603000 | #Constraints: 27697 460.30/461.81 c #Conflicts: 604000 | #Constraints: 28697 460.30/461.81 c #Conflicts: 605000 | #Constraints: 29697 460.30/461.81 c #Conflicts: 606000 | #Constraints: 30698 460.30/461.81 c #Conflicts: 607000 | #Constraints: 31699 460.30/461.81 c INPROCESSING 460.30/461.81 c GARBAGE COLLECT 460.30/461.81 c rational objective 68.6569 477.65/479.23 c #Conflicts: 608000 | #Constraints: 17288 477.65/479.23 c #Conflicts: 609000 | #Constraints: 18288 477.65/479.23 c #Conflicts: 610000 | #Constraints: 19288 477.65/479.23 c #Conflicts: 611000 | #Constraints: 20290 477.65/479.23 c #Conflicts: 612000 | #Constraints: 21290 477.65/479.23 c #Conflicts: 613000 | #Constraints: 22290 477.65/479.23 c #Conflicts: 614000 | #Constraints: 23290 477.65/479.23 c #Conflicts: 615000 | #Constraints: 24291 477.65/479.23 c #Conflicts: 616000 | #Constraints: 25291 477.65/479.23 c #Conflicts: 617000 | #Constraints: 26292 477.65/479.23 c #Conflicts: 618000 | #Constraints: 27292 477.65/479.23 c #Conflicts: 619000 | #Constraints: 28292 477.65/479.23 c #Conflicts: 620000 | #Constraints: 29294 477.65/479.23 c #Conflicts: 621000 | #Constraints: 30294 477.65/479.23 c #Conflicts: 622000 | #Constraints: 31295 477.65/479.23 c #Conflicts: 623000 | #Constraints: 32296 477.65/479.23 c INPROCESSING 477.65/479.23 c GARBAGE COLLECT 477.65/479.23 c rational objective 68.6569 493.69/495.32 c #Conflicts: 624000 | #Constraints: 17687 493.69/495.32 c #Conflicts: 625000 | #Constraints: 18689 493.69/495.32 c #Conflicts: 626000 | #Constraints: 19689 493.69/495.32 c #Conflicts: 627000 | #Constraints: 20689 493.69/495.32 c #Conflicts: 628000 | #Constraints: 21689 493.69/495.32 c #Conflicts: 629000 | #Constraints: 22689 493.69/495.32 c #Conflicts: 630000 | #Constraints: 23690 493.69/495.32 c #Conflicts: 631000 | #Constraints: 24691 493.69/495.32 c #Conflicts: 632000 | #Constraints: 25691 493.69/495.32 c #Conflicts: 633000 | #Constraints: 26691 493.69/495.32 c #Conflicts: 634000 | #Constraints: 27693 493.69/495.32 c #Conflicts: 635000 | #Constraints: 28693 493.69/495.32 c #Conflicts: 636000 | #Constraints: 29693 493.69/495.32 c #Conflicts: 637000 | #Constraints: 30693 493.69/495.32 c #Conflicts: 638000 | #Constraints: 31695 493.69/495.32 c #Conflicts: 639000 | #Constraints: 32696 493.69/495.32 c INPROCESSING 493.69/495.32 c GARBAGE COLLECT 493.69/495.32 c rational objective 68.6569 510.85/512.50 c #Conflicts: 640000 | #Constraints: 17884 510.85/512.50 c #Conflicts: 641000 | #Constraints: 18887 510.85/512.50 c #Conflicts: 642000 | #Constraints: 19888 510.85/512.50 c #Conflicts: 643000 | #Constraints: 20888 510.85/512.50 c #Conflicts: 644000 | #Constraints: 21888 510.85/512.50 c #Conflicts: 645000 | #Constraints: 22888 510.85/512.50 c #Conflicts: 646000 | #Constraints: 23888 510.85/512.50 c #Conflicts: 647000 | #Constraints: 24888 510.85/512.50 c #Conflicts: 648000 | #Constraints: 25890 510.85/512.50 c #Conflicts: 649000 | #Constraints: 26891 510.85/512.50 c #Conflicts: 650000 | #Constraints: 27891 510.85/512.50 c #Conflicts: 651000 | #Constraints: 28892 510.85/512.50 c #Conflicts: 652000 | #Constraints: 29892 510.85/512.50 c #Conflicts: 653000 | #Constraints: 30892 510.85/512.50 c #Conflicts: 654000 | #Constraints: 31893 510.85/512.50 c #Conflicts: 655000 | #Constraints: 32893 510.85/512.50 c INPROCESSING 510.85/512.50 c GARBAGE COLLECT 510.85/512.50 c rational objective 68.6569 527.59/529.31 c #Conflicts: 656000 | #Constraints: 17882 527.59/529.31 c #Conflicts: 657000 | #Constraints: 18882 527.59/529.31 c #Conflicts: 658000 | #Constraints: 19882 527.59/529.31 c #Conflicts: 659000 | #Constraints: 20883 527.59/529.31 c #Conflicts: 660000 | #Constraints: 21884 527.59/529.31 c #Conflicts: 661000 | #Constraints: 22884 527.59/529.31 c #Conflicts: 662000 | #Constraints: 23886 527.59/529.31 c #Conflicts: 663000 | #Constraints: 24886 527.59/529.31 c #Conflicts: 664000 | #Constraints: 25886 527.59/529.31 c #Conflicts: 665000 | #Constraints: 26888 527.59/529.31 c #Conflicts: 666000 | #Constraints: 27890 527.59/529.31 c #Conflicts: 667000 | #Constraints: 28891 527.59/529.31 c #Conflicts: 668000 | #Constraints: 29893 527.59/529.31 c #Conflicts: 669000 | #Constraints: 30895 527.59/529.31 c #Conflicts: 670000 | #Constraints: 31896 527.59/529.31 c #Conflicts: 671000 | #Constraints: 32896 527.59/529.31 c INPROCESSING 527.59/529.31 c GARBAGE COLLECT 527.59/529.31 c rational objective 68.6569 542.45/544.21 c #Conflicts: 672000 | #Constraints: 17684 542.45/544.21 c #Conflicts: 673000 | #Constraints: 18685 542.45/544.21 c #Conflicts: 674000 | #Constraints: 19685 542.45/544.21 c #Conflicts: 675000 | #Constraints: 20686 542.45/544.21 c #Conflicts: 676000 | #Constraints: 21686 542.45/544.21 c #Conflicts: 677000 | #Constraints: 22687 542.45/544.21 c #Conflicts: 678000 | #Constraints: 23687 542.45/544.21 c #Conflicts: 679000 | #Constraints: 24689 542.45/544.21 c #Conflicts: 680000 | #Constraints: 25691 542.45/544.21 c #Conflicts: 681000 | #Constraints: 26692 542.45/544.21 c #Conflicts: 682000 | #Constraints: 27694 542.45/544.21 c #Conflicts: 683000 | #Constraints: 28694 542.45/544.21 c #Conflicts: 684000 | #Constraints: 29694 542.45/544.21 c #Conflicts: 685000 | #Constraints: 30694 542.45/544.21 c #Conflicts: 686000 | #Constraints: 31694 542.45/544.21 c #Conflicts: 687000 | #Constraints: 32694 542.45/544.21 c #Conflicts: 688000 | #Constraints: 33694 542.45/544.21 c INPROCESSING 542.45/544.21 c GARBAGE COLLECT 542.45/544.21 c rational objective 68.6995 558.80/560.69 c #Conflicts: 689000 | #Constraints: 18278 558.80/560.69 c #Conflicts: 690000 | #Constraints: 19279 558.80/560.69 c #Conflicts: 691000 | #Constraints: 20280 558.80/560.69 c #Conflicts: 692000 | #Constraints: 21281 558.80/560.69 c #Conflicts: 693000 | #Constraints: 22281 558.80/560.69 c #Conflicts: 694000 | #Constraints: 23282 558.80/560.69 c #Conflicts: 695000 | #Constraints: 24282 558.80/560.69 c #Conflicts: 696000 | #Constraints: 25282 558.80/560.69 c #Conflicts: 697000 | #Constraints: 26283 558.80/560.69 c #Conflicts: 698000 | #Constraints: 27283 558.80/560.69 c #Conflicts: 699000 | #Constraints: 28283 558.80/560.69 c #Conflicts: 700000 | #Constraints: 29286 558.80/560.69 c #Conflicts: 701000 | #Constraints: 30287 558.80/560.69 c #Conflicts: 702000 | #Constraints: 31287 558.80/560.69 c #Conflicts: 703000 | #Constraints: 32289 558.80/560.69 c #Conflicts: 704000 | #Constraints: 33289 558.80/560.69 c #Conflicts: 705000 | #Constraints: 34292 558.80/560.69 c INPROCESSING 558.80/560.69 c GARBAGE COLLECT 558.80/560.69 c rational objective 68.7002 580.04/581.91 c #Conflicts: 706000 | #Constraints: 18688 580.04/581.91 c #Conflicts: 707000 | #Constraints: 19688 580.04/581.91 c #Conflicts: 708000 | #Constraints: 20688 580.04/581.91 c #Conflicts: 709000 | #Constraints: 21689 580.04/581.91 c #Conflicts: 710000 | #Constraints: 22690 580.04/581.91 c #Conflicts: 711000 | #Constraints: 23690 580.04/581.91 c #Conflicts: 712000 | #Constraints: 24691 580.04/581.91 c #Conflicts: 713000 | #Constraints: 25691 580.04/581.91 c #Conflicts: 714000 | #Constraints: 26691 580.04/581.91 c #Conflicts: 715000 | #Constraints: 27691 580.04/581.91 c #Conflicts: 716000 | #Constraints: 28691 580.04/581.91 c #Conflicts: 717000 | #Constraints: 29691 580.04/581.91 c #Conflicts: 718000 | #Constraints: 30691 580.04/581.91 c #Conflicts: 719000 | #Constraints: 31691 580.04/581.91 c #Conflicts: 720000 | #Constraints: 32693 580.04/581.91 c #Conflicts: 721000 | #Constraints: 33695 580.04/581.91 c #Conflicts: 722000 | #Constraints: 34697 580.04/581.91 c INPROCESSING 580.04/581.91 c GARBAGE COLLECT 580.04/581.91 c rational objective 68.7003 599.09/601.03 c #Conflicts: 723000 | #Constraints: 18888 599.09/601.03 c #Conflicts: 724000 | #Constraints: 19888 599.09/601.03 c #Conflicts: 725000 | #Constraints: 20888 599.09/601.03 c #Conflicts: 726000 | #Constraints: 21888 599.09/601.03 c #Conflicts: 727000 | #Constraints: 22888 599.09/601.03 c #Conflicts: 728000 | #Constraints: 23888 599.09/601.03 c #Conflicts: 729000 | #Constraints: 24888 599.09/601.03 c #Conflicts: 730000 | #Constraints: 25888 599.09/601.03 c #Conflicts: 731000 | #Constraints: 26889 599.09/601.03 c #Conflicts: 732000 | #Constraints: 27889 599.09/601.03 c #Conflicts: 733000 | #Constraints: 28889 599.09/601.03 c #Conflicts: 734000 | #Constraints: 29889 599.09/601.03 c #Conflicts: 735000 | #Constraints: 30889 599.09/601.03 c #Conflicts: 736000 | #Constraints: 31889 599.09/601.03 c #Conflicts: 737000 | #Constraints: 32890 599.09/601.03 c #Conflicts: 738000 | #Constraints: 33891 599.09/601.03 c #Conflicts: 739000 | #Constraints: 34891 599.09/601.03 c INPROCESSING 599.09/601.03 c GARBAGE COLLECT 599.09/601.03 c rational objective 68.7003 616.33/618.31 c #Conflicts: 740000 | #Constraints: 18891 616.33/618.31 c #Conflicts: 741000 | #Constraints: 19891 616.33/618.31 c #Conflicts: 742000 | #Constraints: 20891 616.33/618.31 c #Conflicts: 743000 | #Constraints: 21892 616.33/618.31 c #Conflicts: 744000 | #Constraints: 22892 616.33/618.31 c #Conflicts: 745000 | #Constraints: 23892 616.33/618.31 c #Conflicts: 746000 | #Constraints: 24892 616.33/618.31 c #Conflicts: 747000 | #Constraints: 25892 616.33/618.31 c #Conflicts: 748000 | #Constraints: 26892 616.33/618.31 c #Conflicts: 749000 | #Constraints: 27893 616.33/618.31 c #Conflicts: 750000 | #Constraints: 28893 616.33/618.31 c #Conflicts: 751000 | #Constraints: 29894 616.33/618.31 c #Conflicts: 752000 | #Constraints: 30894 616.33/618.31 c #Conflicts: 753000 | #Constraints: 31895 616.33/618.31 c #Conflicts: 754000 | #Constraints: 32895 616.33/618.31 c #Conflicts: 755000 | #Constraints: 33896 616.33/618.31 c #Conflicts: 756000 | #Constraints: 34897 616.33/618.31 c INPROCESSING 616.33/618.31 c GARBAGE COLLECT 616.33/618.31 c rational objective 68.7009 634.27/636.37 c #Conflicts: 757000 | #Constraints: 18688 634.27/636.37 c #Conflicts: 758000 | #Constraints: 19688 634.27/636.37 c #Conflicts: 759000 | #Constraints: 20689 634.27/636.37 c #Conflicts: 760000 | #Constraints: 21689 634.27/636.37 c #Conflicts: 761000 | #Constraints: 22689 634.27/636.37 c #Conflicts: 762000 | #Constraints: 23689 634.27/636.37 c #Conflicts: 763000 | #Constraints: 24689 634.27/636.37 c #Conflicts: 764000 | #Constraints: 25691 634.27/636.37 c #Conflicts: 765000 | #Constraints: 26691 634.27/636.37 c #Conflicts: 766000 | #Constraints: 27691 634.27/636.37 c #Conflicts: 767000 | #Constraints: 28691 634.27/636.37 c #Conflicts: 768000 | #Constraints: 29693 634.27/636.37 c #Conflicts: 769000 | #Constraints: 30693 634.27/636.37 c #Conflicts: 770000 | #Constraints: 31693 634.27/636.37 c #Conflicts: 771000 | #Constraints: 32693 634.27/636.37 c #Conflicts: 772000 | #Constraints: 33693 634.27/636.37 c #Conflicts: 773000 | #Constraints: 34693 634.27/636.37 c #Conflicts: 774000 | #Constraints: 35694 634.27/636.37 c INPROCESSING 634.27/636.37 c GARBAGE COLLECT 634.27/636.37 c rational objective 68.7009 652.32/654.42 c #Conflicts: 775000 | #Constraints: 19282 652.32/654.42 c #Conflicts: 776000 | #Constraints: 20283 652.32/654.42 c #Conflicts: 777000 | #Constraints: 21284 652.32/654.42 c #Conflicts: 778000 | #Constraints: 22286 652.32/654.42 c #Conflicts: 779000 | #Constraints: 23286 652.32/654.42 c #Conflicts: 780000 | #Constraints: 24287 652.32/654.42 c #Conflicts: 781000 | #Constraints: 25289 652.32/654.42 c #Conflicts: 782000 | #Constraints: 26289 652.32/654.42 c #Conflicts: 783000 | #Constraints: 27289 652.32/654.42 c #Conflicts: 784000 | #Constraints: 28289 652.32/654.42 c #Conflicts: 785000 | #Constraints: 29291 652.32/654.42 c #Conflicts: 786000 | #Constraints: 30291 652.32/654.42 c #Conflicts: 787000 | #Constraints: 31292 652.32/654.42 c #Conflicts: 788000 | #Constraints: 32292 652.32/654.42 c #Conflicts: 789000 | #Constraints: 33292 652.32/654.42 c #Conflicts: 790000 | #Constraints: 34293 652.32/654.42 c #Conflicts: 791000 | #Constraints: 35294 652.32/654.42 c #Conflicts: 792000 | #Constraints: 36294 652.32/654.42 c INPROCESSING 652.32/654.42 c GARBAGE COLLECT 652.32/654.42 c rational objective 68.7009 671.96/674.13 c #Conflicts: 793000 | #Constraints: 19683 671.96/674.13 c #Conflicts: 794000 | #Constraints: 20683 671.96/674.13 c #Conflicts: 795000 | #Constraints: 21683 671.96/674.13 c #Conflicts: 796000 | #Constraints: 22684 671.96/674.13 c #Conflicts: 797000 | #Constraints: 23684 671.96/674.13 c #Conflicts: 798000 | #Constraints: 24684 671.96/674.13 c #Conflicts: 799000 | #Constraints: 25684 671.96/674.13 c #Conflicts: 800000 | #Constraints: 26686 671.96/674.13 c #Conflicts: 801000 | #Constraints: 27686 671.96/674.13 c #Conflicts: 802000 | #Constraints: 28686 671.96/674.13 c #Conflicts: 803000 | #Constraints: 29687 671.96/674.13 c #Conflicts: 804000 | #Constraints: 30688 671.96/674.13 c #Conflicts: 805000 | #Constraints: 31689 671.96/674.13 c #Conflicts: 806000 | #Constraints: 32691 671.96/674.13 c #Conflicts: 807000 | #Constraints: 33691 671.96/674.13 c #Conflicts: 808000 | #Constraints: 34691 671.96/674.13 c #Conflicts: 809000 | #Constraints: 35691 671.96/674.13 c #Conflicts: 810000 | #Constraints: 36691 671.96/674.13 c INPROCESSING 671.96/674.13 c GARBAGE COLLECT 671.96/674.13 c rational objective 68.7095 692.99/695.21 c #Conflicts: 811000 | #Constraints: 19881 692.99/695.21 c #Conflicts: 812000 | #Constraints: 20881 692.99/695.21 c #Conflicts: 813000 | #Constraints: 21883 692.99/695.21 c #Conflicts: 814000 | #Constraints: 22883 692.99/695.21 c #Conflicts: 815000 | #Constraints: 23883 692.99/695.21 c #Conflicts: 816000 | #Constraints: 24884 692.99/695.21 c #Conflicts: 817000 | #Constraints: 25884 692.99/695.21 c #Conflicts: 818000 | #Constraints: 26884 692.99/695.21 c #Conflicts: 819000 | #Constraints: 27884 692.99/695.21 c #Conflicts: 820000 | #Constraints: 28884 692.99/695.21 c #Conflicts: 821000 | #Constraints: 29885 692.99/695.21 c #Conflicts: 822000 | #Constraints: 30886 692.99/695.21 c #Conflicts: 823000 | #Constraints: 31887 692.99/695.21 c #Conflicts: 824000 | #Constraints: 32888 692.99/695.21 c #Conflicts: 825000 | #Constraints: 33888 692.99/695.21 c #Conflicts: 826000 | #Constraints: 34890 692.99/695.21 c #Conflicts: 827000 | #Constraints: 35891 692.99/695.21 c #Conflicts: 828000 | #Constraints: 36891 692.99/695.21 c INPROCESSING 692.99/695.21 c GARBAGE COLLECT 692.99/695.21 c rational objective 68.7095 727.49/729.89 c #Conflicts: 829000 | #Constraints: 19879 727.49/729.89 c #Conflicts: 830000 | #Constraints: 20879 727.49/729.89 c #Conflicts: 831000 | #Constraints: 21880 727.49/729.89 c #Conflicts: 832000 | #Constraints: 22881 727.49/729.89 c #Conflicts: 833000 | #Constraints: 23881 727.49/729.89 c #Conflicts: 834000 | #Constraints: 24881 727.49/729.89 c #Conflicts: 835000 | #Constraints: 25881 727.49/729.89 c #Conflicts: 836000 | #Constraints: 26881 727.49/729.89 c #Conflicts: 837000 | #Constraints: 27881 727.49/729.89 c #Conflicts: 838000 | #Constraints: 28881 727.49/729.89 c #Conflicts: 839000 | #Constraints: 29881 727.49/729.89 c #Conflicts: 840000 | #Constraints: 30881 727.49/729.89 c #Conflicts: 841000 | #Constraints: 31882 727.49/729.89 c #Conflicts: 842000 | #Constraints: 32882 727.49/729.89 c #Conflicts: 843000 | #Constraints: 33882 727.49/729.89 c #Conflicts: 844000 | #Constraints: 34882 727.49/729.89 c #Conflicts: 845000 | #Constraints: 35884 727.49/729.89 c #Conflicts: 846000 | #Constraints: 36884 727.49/729.89 c INPROCESSING 727.49/729.89 c GARBAGE COLLECT 727.49/729.89 c rational objective 68.7095 747.13/749.53 c #Conflicts: 847000 | #Constraints: 19677 747.13/749.53 c #Conflicts: 848000 | #Constraints: 20677 747.13/749.53 c #Conflicts: 849000 | #Constraints: 21678 747.13/749.53 c #Conflicts: 850000 | #Constraints: 22679 747.13/749.53 c #Conflicts: 851000 | #Constraints: 23680 747.13/749.53 c #Conflicts: 852000 | #Constraints: 24682 747.13/749.53 c #Conflicts: 853000 | #Constraints: 25682 747.13/749.53 c #Conflicts: 854000 | #Constraints: 26682 747.13/749.53 c #Conflicts: 855000 | #Constraints: 27682 747.13/749.53 c #Conflicts: 856000 | #Constraints: 28683 747.13/749.53 c #Conflicts: 857000 | #Constraints: 29683 747.13/749.53 c #Conflicts: 858000 | #Constraints: 30684 747.13/749.53 c #Conflicts: 859000 | #Constraints: 31684 747.13/749.53 c #Conflicts: 860000 | #Constraints: 32685 747.13/749.53 c #Conflicts: 861000 | #Constraints: 33688 747.13/749.53 c #Conflicts: 862000 | #Constraints: 34691 747.13/749.53 c #Conflicts: 863000 | #Constraints: 35693 747.13/749.53 c #Conflicts: 864000 | #Constraints: 36693 747.13/749.53 c #Conflicts: 865000 | #Constraints: 37693 747.13/749.53 c INPROCESSING 747.13/749.53 c GARBAGE COLLECT 747.13/749.53 c rational objective 68.7095 769.96/772.42 c #Conflicts: 866000 | #Constraints: 20284 769.96/772.42 c #Conflicts: 867000 | #Constraints: 21284 769.96/772.42 c #Conflicts: 868000 | #Constraints: 22284 769.96/772.42 c #Conflicts: 869000 | #Constraints: 23285 769.96/772.42 c #Conflicts: 870000 | #Constraints: 24287 769.96/772.42 c #Conflicts: 871000 | #Constraints: 25288 769.96/772.42 c #Conflicts: 872000 | #Constraints: 26289 769.96/772.42 c #Conflicts: 873000 | #Constraints: 27289 769.96/772.42 c #Conflicts: 874000 | #Constraints: 28290 769.96/772.42 c #Conflicts: 875000 | #Constraints: 29290 769.96/772.42 c #Conflicts: 876000 | #Constraints: 30290 769.96/772.42 c #Conflicts: 877000 | #Constraints: 31292 769.96/772.42 c #Conflicts: 878000 | #Constraints: 32293 769.96/772.42 c #Conflicts: 879000 | #Constraints: 33293 769.96/772.42 c #Conflicts: 880000 | #Constraints: 34293 769.96/772.42 c #Conflicts: 881000 | #Constraints: 35293 769.96/772.42 c #Conflicts: 882000 | #Constraints: 36294 769.96/772.42 c #Conflicts: 883000 | #Constraints: 37295 769.96/772.42 c #Conflicts: 884000 | #Constraints: 38296 769.96/772.42 c INPROCESSING 769.96/772.42 c GARBAGE COLLECT 769.96/772.42 c rational objective 68.7095 791.19/793.75 c #Conflicts: 885000 | #Constraints: 20690 791.19/793.75 c #Conflicts: 886000 | #Constraints: 21690 791.19/793.75 c #Conflicts: 887000 | #Constraints: 22690 791.19/793.75 c #Conflicts: 888000 | #Constraints: 23691 791.19/793.75 c #Conflicts: 889000 | #Constraints: 24691 791.19/793.75 c #Conflicts: 890000 | #Constraints: 25692 791.19/793.75 c #Conflicts: 891000 | #Constraints: 26692 791.19/793.75 c #Conflicts: 892000 | #Constraints: 27692 791.19/793.75 c #Conflicts: 893000 | #Constraints: 28692 791.19/793.75 c #Conflicts: 894000 | #Constraints: 29693 791.19/793.75 c #Conflicts: 895000 | #Constraints: 30693 791.19/793.75 c #Conflicts: 896000 | #Constraints: 31693 791.19/793.75 c #Conflicts: 897000 | #Constraints: 32694 791.19/793.75 c #Conflicts: 898000 | #Constraints: 33694 791.19/793.75 c #Conflicts: 899000 | #Constraints: 34696 791.19/793.75 c #Conflicts: 900000 | #Constraints: 35696 791.19/793.75 c #Conflicts: 901000 | #Constraints: 36696 791.19/793.75 c #Conflicts: 902000 | #Constraints: 37698 791.19/793.75 c #Conflicts: 903000 | #Constraints: 38698 791.19/793.75 c INPROCESSING 791.19/793.75 c GARBAGE COLLECT 791.19/793.75 c rational objective 68.7109 814.14/816.75 c #Conflicts: 904000 | #Constraints: 20882 814.14/816.75 c #Conflicts: 905000 | #Constraints: 21882 814.14/816.75 c #Conflicts: 906000 | #Constraints: 22882 814.14/816.75 c #Conflicts: 907000 | #Constraints: 23883 814.14/816.75 c #Conflicts: 908000 | #Constraints: 24884 814.14/816.75 c #Conflicts: 909000 | #Constraints: 25884 814.14/816.75 c #Conflicts: 910000 | #Constraints: 26884 814.14/816.75 c #Conflicts: 911000 | #Constraints: 27884 814.14/816.75 c #Conflicts: 912000 | #Constraints: 28885 814.14/816.75 c #Conflicts: 913000 | #Constraints: 29886 814.14/816.75 c #Conflicts: 914000 | #Constraints: 30886 814.14/816.75 c #Conflicts: 915000 | #Constraints: 31887 814.14/816.75 c #Conflicts: 916000 | #Constraints: 32888 814.14/816.75 c #Conflicts: 917000 | #Constraints: 33889 814.14/816.75 c #Conflicts: 918000 | #Constraints: 34890 814.14/816.75 c #Conflicts: 919000 | #Constraints: 35890 814.14/816.75 c #Conflicts: 920000 | #Constraints: 36890 814.14/816.75 c #Conflicts: 921000 | #Constraints: 37891 814.14/816.75 c #Conflicts: 922000 | #Constraints: 38891 814.14/816.75 c INPROCESSING 814.14/816.75 c GARBAGE COLLECT 814.14/816.75 c rational objective 68.7207 835.20/837.85 c #Conflicts: 923000 | #Constraints: 20876 835.20/837.85 c #Conflicts: 924000 | #Constraints: 21876 835.20/837.85 c #Conflicts: 925000 | #Constraints: 22876 835.20/837.85 c #Conflicts: 926000 | #Constraints: 23876 835.20/837.85 c #Conflicts: 927000 | #Constraints: 24876 835.20/837.85 c #Conflicts: 928000 | #Constraints: 25876 835.20/837.85 c #Conflicts: 929000 | #Constraints: 26877 835.20/837.85 c #Conflicts: 930000 | #Constraints: 27877 835.20/837.85 c #Conflicts: 931000 | #Constraints: 28879 835.20/837.85 c #Conflicts: 932000 | #Constraints: 29879 835.20/837.85 c #Conflicts: 933000 | #Constraints: 30879 835.20/837.85 c #Conflicts: 934000 | #Constraints: 31879 835.20/837.85 c #Conflicts: 935000 | #Constraints: 32879 835.20/837.85 c #Conflicts: 936000 | #Constraints: 33881 835.20/837.85 c #Conflicts: 937000 | #Constraints: 34881 835.20/837.85 c #Conflicts: 938000 | #Constraints: 35882 835.20/837.85 c #Conflicts: 939000 | #Constraints: 36882 835.20/837.85 c #Conflicts: 940000 | #Constraints: 37884 835.20/837.85 c #Conflicts: 941000 | #Constraints: 38884 835.20/837.85 c INPROCESSING 835.20/837.85 c GARBAGE COLLECT 835.20/837.85 c rational objective 68.7208 855.45/858.18 c #Conflicts: 942000 | #Constraints: 20680 855.45/858.18 c #Conflicts: 943000 | #Constraints: 21681 855.45/858.18 c #Conflicts: 944000 | #Constraints: 22682 855.45/858.18 c #Conflicts: 945000 | #Constraints: 23684 855.45/858.18 c #Conflicts: 946000 | #Constraints: 24684 855.45/858.18 c #Conflicts: 947000 | #Constraints: 25685 855.45/858.18 c #Conflicts: 948000 | #Constraints: 26685 855.45/858.18 c #Conflicts: 949000 | #Constraints: 27687 855.45/858.18 c #Conflicts: 950000 | #Constraints: 28687 855.45/858.18 c #Conflicts: 951000 | #Constraints: 29687 855.45/858.18 c #Conflicts: 952000 | #Constraints: 30687 855.45/858.18 c #Conflicts: 953000 | #Constraints: 31687 855.45/858.18 c #Conflicts: 954000 | #Constraints: 32687 855.45/858.18 c #Conflicts: 955000 | #Constraints: 33687 855.45/858.18 c #Conflicts: 956000 | #Constraints: 34687 855.45/858.18 c #Conflicts: 957000 | #Constraints: 35688 855.45/858.18 c #Conflicts: 958000 | #Constraints: 36689 855.45/858.18 c #Conflicts: 959000 | #Constraints: 37692 855.45/858.18 c #Conflicts: 960000 | #Constraints: 38693 855.45/858.18 c #Conflicts: 961000 | #Constraints: 39693 855.45/858.18 c INPROCESSING 855.45/858.18 c GARBAGE COLLECT 855.45/858.18 c rational objective 68.7208 882.29/885.10 c #Conflicts: 962000 | #Constraints: 21284 882.29/885.10 c #Conflicts: 963000 | #Constraints: 22286 882.29/885.10 c #Conflicts: 964000 | #Constraints: 23286 882.29/885.10 c #Conflicts: 965000 | #Constraints: 24287 882.29/885.10 c #Conflicts: 966000 | #Constraints: 25288 882.29/885.10 c #Conflicts: 967000 | #Constraints: 26289 882.29/885.10 c #Conflicts: 968000 | #Constraints: 27289 882.29/885.10 c #Conflicts: 969000 | #Constraints: 28289 882.29/885.10 c #Conflicts: 970000 | #Constraints: 29289 882.29/885.10 c #Conflicts: 971000 | #Constraints: 30290 882.29/885.10 c #Conflicts: 972000 | #Constraints: 31290 882.29/885.10 c #Conflicts: 973000 | #Constraints: 32291 882.29/885.10 c #Conflicts: 974000 | #Constraints: 33291 882.29/885.10 c #Conflicts: 975000 | #Constraints: 34293 882.29/885.10 c #Conflicts: 976000 | #Constraints: 35293 882.29/885.10 c #Conflicts: 977000 | #Constraints: 36294 882.29/885.10 c #Conflicts: 978000 | #Constraints: 37294 882.29/885.10 c #Conflicts: 979000 | #Constraints: 38294 882.29/885.10 c #Conflicts: 980000 | #Constraints: 39295 882.29/885.10 c #Conflicts: 981000 | #Constraints: 40296 882.29/885.10 c INPROCESSING 882.29/885.10 c GARBAGE COLLECT 882.29/885.10 c rational objective 68.7208 913.92/916.71 c #Conflicts: 982000 | #Constraints: 21698 913.92/916.71 c #Conflicts: 983000 | #Constraints: 22698 913.92/916.71 c #Conflicts: 984000 | #Constraints: 23698 913.92/916.71 c #Conflicts: 985000 | #Constraints: 24698 913.92/916.71 c #Conflicts: 986000 | #Constraints: 25698 913.92/916.71 c #Conflicts: 987000 | #Constraints: 26700 913.92/916.71 c #Conflicts: 988000 | #Constraints: 27706 913.92/916.71 c #Conflicts: 989000 | #Constraints: 28707 913.92/916.71 c #Conflicts: 990000 | #Constraints: 29707 913.92/916.71 c #Conflicts: 991000 | #Constraints: 30708 913.92/916.71 c #Conflicts: 992000 | #Constraints: 31709 913.92/916.71 c #Conflicts: 993000 | #Constraints: 32713 913.92/916.71 c #Conflicts: 994000 | #Constraints: 33716 913.92/916.71 c #Conflicts: 995000 | #Constraints: 34717 913.92/916.71 c #Conflicts: 996000 | #Constraints: 35720 913.92/916.71 c #Conflicts: 997000 | #Constraints: 36721 913.92/916.71 c #Conflicts: 998000 | #Constraints: 37721 913.92/916.71 c #Conflicts: 999000 | #Constraints: 38722 913.92/916.71 c #Conflicts: 1000000 | #Constraints: 39723 913.92/916.71 c #Conflicts: 1001000 | #Constraints: 40723 913.92/916.71 c INPROCESSING 913.92/916.71 c GARBAGE COLLECT 913.92/916.71 c rational objective 68.7208 944.74/947.65 c #Conflicts: 1002000 | #Constraints: 21894 944.74/947.65 c #Conflicts: 1003000 | #Constraints: 22895 944.74/947.65 c #Conflicts: 1004000 | #Constraints: 23895 944.74/947.65 c #Conflicts: 1005000 | #Constraints: 24896 944.74/947.65 c #Conflicts: 1006000 | #Constraints: 25898 944.74/947.65 c #Conflicts: 1007000 | #Constraints: 26898 944.74/947.65 c #Conflicts: 1008000 | #Constraints: 27898 944.74/947.65 c #Conflicts: 1009000 | #Constraints: 28899 944.74/947.65 c #Conflicts: 1010000 | #Constraints: 29899 944.74/947.65 c #Conflicts: 1011000 | #Constraints: 30900 944.74/947.65 c #Conflicts: 1012000 | #Constraints: 31903 944.74/947.65 c #Conflicts: 1013000 | #Constraints: 32903 944.74/947.65 c #Conflicts: 1014000 | #Constraints: 33903 944.74/947.65 c #Conflicts: 1015000 | #Constraints: 34905 944.74/947.65 c #Conflicts: 1016000 | #Constraints: 35905 944.74/947.65 c #Conflicts: 1017000 | #Constraints: 36905 944.74/947.65 c #Conflicts: 1018000 | #Constraints: 37906 944.74/947.65 c #Conflicts: 1019000 | #Constraints: 38906 944.74/947.65 c #Conflicts: 1020000 | #Constraints: 39906 944.74/947.65 c #Conflicts: 1021000 | #Constraints: 40906 944.74/947.65 c INPROCESSING 944.74/947.65 c GARBAGE COLLECT 944.74/947.65 c rational objective 68.7208 969.09/972.07 c #Conflicts: 1022000 | #Constraints: 21893 969.09/972.07 c #Conflicts: 1023000 | #Constraints: 22893 969.09/972.07 c #Conflicts: 1024000 | #Constraints: 23893 969.09/972.07 c #Conflicts: 1025000 | #Constraints: 24893 969.09/972.07 c #Conflicts: 1026000 | #Constraints: 25893 969.09/972.07 c #Conflicts: 1027000 | #Constraints: 26894 969.09/972.07 c #Conflicts: 1028000 | #Constraints: 27895 969.09/972.07 c #Conflicts: 1029000 | #Constraints: 28896 969.09/972.07 c #Conflicts: 1030000 | #Constraints: 29896 969.09/972.07 c #Conflicts: 1031000 | #Constraints: 30896 969.09/972.07 c #Conflicts: 1032000 | #Constraints: 31896 969.09/972.07 c #Conflicts: 1033000 | #Constraints: 32896 969.09/972.07 c #Conflicts: 1034000 | #Constraints: 33898 969.09/972.07 c #Conflicts: 1035000 | #Constraints: 34899 969.09/972.07 c #Conflicts: 1036000 | #Constraints: 35900 969.09/972.07 c #Conflicts: 1037000 | #Constraints: 36902 969.09/972.07 c #Conflicts: 1038000 | #Constraints: 37903 969.09/972.07 c #Conflicts: 1039000 | #Constraints: 38903 969.09/972.07 c #Conflicts: 1040000 | #Constraints: 39905 969.09/972.07 c #Conflicts: 1041000 | #Constraints: 40905 969.09/972.07 c INPROCESSING 969.09/972.07 c GARBAGE COLLECT 969.09/972.07 c rational objective 68.7208 998.52/1001.53 c #Conflicts: 1042000 | #Constraints: 21696 998.52/1001.53 c #Conflicts: 1043000 | #Constraints: 22697 998.52/1001.53 c #Conflicts: 1044000 | #Constraints: 23697 998.52/1001.53 c #Conflicts: 1045000 | #Constraints: 24697 998.52/1001.53 c #Conflicts: 1046000 | #Constraints: 25698 998.52/1001.53 c #Conflicts: 1047000 | #Constraints: 26699 998.52/1001.53 c #Conflicts: 1048000 | #Constraints: 27700 998.52/1001.53 c #Conflicts: 1049000 | #Constraints: 28700 998.52/1001.53 c #Conflicts: 1050000 | #Constraints: 29702 998.52/1001.53 c #Conflicts: 1051000 | #Constraints: 30703 998.52/1001.53 c #Conflicts: 1052000 | #Constraints: 31704 998.52/1001.53 c #Conflicts: 1053000 | #Constraints: 32704 998.52/1001.53 c #Conflicts: 1054000 | #Constraints: 33705 998.52/1001.53 c #Conflicts: 1055000 | #Constraints: 34705 998.52/1001.53 c #Conflicts: 1056000 | #Constraints: 35705 998.52/1001.53 c #Conflicts: 1057000 | #Constraints: 36705 998.52/1001.53 c #Conflicts: 1058000 | #Constraints: 37705 998.52/1001.53 c #Conflicts: 1059000 | #Constraints: 38705 998.52/1001.53 c #Conflicts: 1060000 | #Constraints: 39705 998.52/1001.53 c #Conflicts: 1061000 | #Constraints: 40705 998.52/1001.53 c #Conflicts: 1062000 | #Constraints: 41705 998.52/1001.53 c INPROCESSING 998.52/1001.53 c GARBAGE COLLECT 998.52/1001.53 c rational objective 68.7214 1041.02/1044.15 c #Conflicts: 1063000 | #Constraints: 22308 1041.02/1044.15 c #Conflicts: 1064000 | #Constraints: 23308 1041.02/1044.15 c #Conflicts: 1065000 | #Constraints: 24308 1041.02/1044.15 c #Conflicts: 1066000 | #Constraints: 25309 1041.02/1044.15 c #Conflicts: 1067000 | #Constraints: 26310 1041.02/1044.15 c #Conflicts: 1068000 | #Constraints: 27310 1041.02/1044.15 c #Conflicts: 1069000 | #Constraints: 28311 1041.02/1044.15 c #Conflicts: 1070000 | #Constraints: 29312 1041.02/1044.15 c #Conflicts: 1071000 | #Constraints: 30312 1041.02/1044.15 c #Conflicts: 1072000 | #Constraints: 31312 1041.02/1044.15 c #Conflicts: 1073000 | #Constraints: 32312 1041.02/1044.15 c #Conflicts: 1074000 | #Constraints: 33312 1041.02/1044.15 c #Conflicts: 1075000 | #Constraints: 34312 1041.02/1044.15 c #Conflicts: 1076000 | #Constraints: 35312 1041.02/1044.15 c #Conflicts: 1077000 | #Constraints: 36312 1041.02/1044.15 c #Conflicts: 1078000 | #Constraints: 37312 1041.02/1044.15 c #Conflicts: 1079000 | #Constraints: 38312 1041.02/1044.15 c #Conflicts: 1080000 | #Constraints: 39312 1041.02/1044.15 c #Conflicts: 1081000 | #Constraints: 40313 1041.02/1044.15 c #Conflicts: 1082000 | #Constraints: 41314 1041.02/1044.15 c #Conflicts: 1083000 | #Constraints: 42314 1041.02/1044.15 c INPROCESSING 1041.02/1044.15 c GARBAGE COLLECT 1041.02/1044.15 c rational objective 68.7214 1079.33/1082.53 c #Conflicts: 1084000 | #Constraints: 22708 1079.33/1082.53 c #Conflicts: 1085000 | #Constraints: 23708 1079.33/1082.53 c #Conflicts: 1086000 | #Constraints: 24710 1079.33/1082.53 c #Conflicts: 1087000 | #Constraints: 25710 1079.33/1082.53 c #Conflicts: 1088000 | #Constraints: 26710 1079.33/1082.53 c #Conflicts: 1089000 | #Constraints: 27712 1079.33/1082.53 c #Conflicts: 1090000 | #Constraints: 28712 1079.33/1082.53 c #Conflicts: 1091000 | #Constraints: 29712 1079.33/1082.53 c #Conflicts: 1092000 | #Constraints: 30712 1079.33/1082.53 c #Conflicts: 1093000 | #Constraints: 31713 1079.33/1082.53 c #Conflicts: 1094000 | #Constraints: 32713 1079.33/1082.53 c #Conflicts: 1095000 | #Constraints: 33713 1079.33/1082.53 c #Conflicts: 1096000 | #Constraints: 34714 1079.33/1082.53 c #Conflicts: 1097000 | #Constraints: 35714 1079.33/1082.53 c #Conflicts: 1098000 | #Constraints: 36714 1079.33/1082.53 c #Conflicts: 1099000 | #Constraints: 37714 1079.33/1082.53 c #Conflicts: 1100000 | #Constraints: 38714 1079.33/1082.53 c #Conflicts: 1101000 | #Constraints: 39715 1079.33/1082.53 c #Conflicts: 1102000 | #Constraints: 40715 1079.33/1082.53 c #Conflicts: 1103000 | #Constraints: 41715 1079.33/1082.53 c #Conflicts: 1104000 | #Constraints: 42716 1079.33/1082.53 c INPROCESSING 1079.33/1082.53 c GARBAGE COLLECT 1079.33/1082.53 c rational objective 68.7214 1135.01/1138.30 c #Conflicts: 1105000 | #Constraints: 22903 1135.01/1138.30 c #Conflicts: 1106000 | #Constraints: 23903 1135.01/1138.30 c #Conflicts: 1107000 | #Constraints: 24903 1135.01/1138.30 c #Conflicts: 1108000 | #Constraints: 25905 1135.01/1138.30 c #Conflicts: 1109000 | #Constraints: 26906 1135.01/1138.30 c #Conflicts: 1110000 | #Constraints: 27906 1135.01/1138.30 c #Conflicts: 1111000 | #Constraints: 28906 1135.01/1138.30 c #Conflicts: 1112000 | #Constraints: 29906 1135.01/1138.30 c #Conflicts: 1113000 | #Constraints: 30906 1135.01/1138.30 c #Conflicts: 1114000 | #Constraints: 31907 1135.01/1138.30 c #Conflicts: 1115000 | #Constraints: 32907 1135.01/1138.30 c #Conflicts: 1116000 | #Constraints: 33907 1135.01/1138.30 c #Conflicts: 1117000 | #Constraints: 34907 1135.01/1138.30 c #Conflicts: 1118000 | #Constraints: 35907 1135.01/1138.30 c #Conflicts: 1119000 | #Constraints: 36907 1135.01/1138.30 c #Conflicts: 1120000 | #Constraints: 37907 1135.01/1138.30 c #Conflicts: 1121000 | #Constraints: 38907 1135.01/1138.30 c #Conflicts: 1122000 | #Constraints: 39908 1135.01/1138.30 c #Conflicts: 1123000 | #Constraints: 40909 1135.01/1138.30 c #Conflicts: 1124000 | #Constraints: 41910 1135.01/1138.30 c #Conflicts: 1125000 | #Constraints: 42910 1135.01/1138.30 c INPROCESSING 1135.01/1138.30 c GARBAGE COLLECT 1135.01/1138.30 c rational objective 68.7214 1160.24/1163.60 c #Conflicts: 1126000 | #Constraints: 22900 1160.24/1163.60 c #Conflicts: 1127000 | #Constraints: 23900 1160.24/1163.60 c #Conflicts: 1128000 | #Constraints: 24903 1160.24/1163.60 c #Conflicts: 1129000 | #Constraints: 25904 1160.24/1163.60 c #Conflicts: 1130000 | #Constraints: 26905 1160.24/1163.60 c #Conflicts: 1131000 | #Constraints: 27906 1160.24/1163.60 c #Conflicts: 1132000 | #Constraints: 28906 1160.24/1163.60 c #Conflicts: 1133000 | #Constraints: 29906 1160.24/1163.60 c #Conflicts: 1134000 | #Constraints: 30911 1160.24/1163.60 c #Conflicts: 1135000 | #Constraints: 31911 1160.24/1163.60 c #Conflicts: 1136000 | #Constraints: 32912 1160.24/1163.60 c #Conflicts: 1137000 | #Constraints: 33912 1160.24/1163.60 c #Conflicts: 1138000 | #Constraints: 34912 1160.24/1163.60 c #Conflicts: 1139000 | #Constraints: 35912 1160.24/1163.60 c #Conflicts: 1140000 | #Constraints: 36912 1160.24/1163.60 c #Conflicts: 1141000 | #Constraints: 37912 1160.24/1163.60 c #Conflicts: 1142000 | #Constraints: 38913 1160.24/1163.60 c #Conflicts: 1143000 | #Constraints: 39914 1160.24/1163.60 c #Conflicts: 1144000 | #Constraints: 40916 1160.24/1163.60 c #Conflicts: 1145000 | #Constraints: 41918 1160.24/1163.60 c #Conflicts: 1146000 | #Constraints: 42918 1160.24/1163.60 c INPROCESSING 1160.24/1163.60 c GARBAGE COLLECT 1160.24/1163.60 c rational objective 68.7336 1188.97/1192.45 c #Conflicts: 1147000 | #Constraints: 22699 1188.97/1192.45 c #Conflicts: 1148000 | #Constraints: 23700 1188.97/1192.45 c #Conflicts: 1149000 | #Constraints: 24700 1188.97/1192.45 c #Conflicts: 1150000 | #Constraints: 25700 1188.97/1192.45 c #Conflicts: 1151000 | #Constraints: 26701 1188.97/1192.45 c #Conflicts: 1152000 | #Constraints: 27701 1188.97/1192.45 c #Conflicts: 1153000 | #Constraints: 28701 1188.97/1192.45 c #Conflicts: 1154000 | #Constraints: 29701 1188.97/1192.45 c #Conflicts: 1155000 | #Constraints: 30703 1188.97/1192.45 c #Conflicts: 1156000 | #Constraints: 31705 1188.97/1192.45 c #Conflicts: 1157000 | #Constraints: 32705 1188.97/1192.45 c #Conflicts: 1158000 | #Constraints: 33705 1188.97/1192.45 c #Conflicts: 1159000 | #Constraints: 34705 1188.97/1192.45 c #Conflicts: 1160000 | #Constraints: 35705 1188.97/1192.45 c #Conflicts: 1161000 | #Constraints: 36705 1188.97/1192.45 c #Conflicts: 1162000 | #Constraints: 37705 1188.97/1192.45 c #Conflicts: 1163000 | #Constraints: 38705 1188.97/1192.45 c #Conflicts: 1164000 | #Constraints: 39710 1188.97/1192.45 c #Conflicts: 1165000 | #Constraints: 40711 1188.97/1192.45 c #Conflicts: 1166000 | #Constraints: 41713 1188.97/1192.45 c #Conflicts: 1167000 | #Constraints: 42713 1188.97/1192.45 c #Conflicts: 1168000 | #Constraints: 43713 1188.97/1192.45 c INPROCESSING 1188.97/1192.45 c GARBAGE COLLECT 1188.97/1192.45 c rational objective 68.7336 1221.29/1224.88 c #Conflicts: 1169000 | #Constraints: 23300 1221.29/1224.88 c #Conflicts: 1170000 | #Constraints: 24300 1221.29/1224.88 c #Conflicts: 1171000 | #Constraints: 25300 1221.29/1224.88 c #Conflicts: 1172000 | #Constraints: 26300 1221.29/1224.88 c #Conflicts: 1173000 | #Constraints: 27301 1221.29/1224.88 c #Conflicts: 1174000 | #Constraints: 28301 1221.29/1224.88 c #Conflicts: 1175000 | #Constraints: 29301 1221.29/1224.88 c #Conflicts: 1176000 | #Constraints: 30302 1221.29/1224.88 c #Conflicts: 1177000 | #Constraints: 31303 1221.29/1224.88 c #Conflicts: 1178000 | #Constraints: 32304 1221.29/1224.88 c #Conflicts: 1179000 | #Constraints: 33304 1221.29/1224.88 c #Conflicts: 1180000 | #Constraints: 34304 1221.29/1224.88 c #Conflicts: 1181000 | #Constraints: 35304 1221.29/1224.88 c #Conflicts: 1182000 | #Constraints: 36304 1221.29/1224.88 c #Conflicts: 1183000 | #Constraints: 37304 1221.29/1224.88 c #Conflicts: 1184000 | #Constraints: 38304 1221.29/1224.88 c #Conflicts: 1185000 | #Constraints: 39304 1221.29/1224.88 c #Conflicts: 1186000 | #Constraints: 40304 1221.29/1224.88 c #Conflicts: 1187000 | #Constraints: 41305 1221.29/1224.88 c #Conflicts: 1188000 | #Constraints: 42306 1221.29/1224.88 c #Conflicts: 1189000 | #Constraints: 43306 1221.29/1224.88 c #Conflicts: 1190000 | #Constraints: 44307 1221.29/1224.88 c INPROCESSING 1221.29/1224.88 c GARBAGE COLLECT 1221.29/1224.88 c rational objective 68.7336 1251.13/1254.73 c #Conflicts: 1191000 | #Constraints: 23692 1251.13/1254.73 c #Conflicts: 1192000 | #Constraints: 24695 1251.13/1254.73 c #Conflicts: 1193000 | #Constraints: 25696 1251.13/1254.73 c #Conflicts: 1194000 | #Constraints: 26696 1251.13/1254.73 c #Conflicts: 1195000 | #Constraints: 27696 1251.13/1254.73 c #Conflicts: 1196000 | #Constraints: 28697 1251.13/1254.73 c #Conflicts: 1197000 | #Constraints: 29697 1251.13/1254.73 c #Conflicts: 1198000 | #Constraints: 30697 1251.13/1254.73 c #Conflicts: 1199000 | #Constraints: 31697 1251.13/1254.73 c #Conflicts: 1200000 | #Constraints: 32699 1251.13/1254.73 c #Conflicts: 1201000 | #Constraints: 33700 1251.13/1254.73 c #Conflicts: 1202000 | #Constraints: 34700 1251.13/1254.73 c #Conflicts: 1203000 | #Constraints: 35700 1251.13/1254.73 c #Conflicts: 1204000 | #Constraints: 36700 1251.13/1254.73 c #Conflicts: 1205000 | #Constraints: 37700 1251.13/1254.73 c #Conflicts: 1206000 | #Constraints: 38702 1251.13/1254.73 c #Conflicts: 1207000 | #Constraints: 39704 1251.13/1254.73 c #Conflicts: 1208000 | #Constraints: 40706 1251.13/1254.73 c #Conflicts: 1209000 | #Constraints: 41706 1251.13/1254.73 c #Conflicts: 1210000 | #Constraints: 42707 1251.13/1254.73 c #Conflicts: 1211000 | #Constraints: 43707 1251.13/1254.73 c #Conflicts: 1212000 | #Constraints: 44707 1251.13/1254.73 c INPROCESSING 1251.13/1254.73 c GARBAGE COLLECT 1251.13/1254.73 c rational objective 68.7336 1291.12/1294.81 c #Conflicts: 1213000 | #Constraints: 23899 1291.12/1294.81 c #Conflicts: 1214000 | #Constraints: 24899 1291.12/1294.81 c #Conflicts: 1215000 | #Constraints: 25900 1291.12/1294.81 c #Conflicts: 1216000 | #Constraints: 26901 1291.12/1294.81 c #Conflicts: 1217000 | #Constraints: 27901 1291.12/1294.81 c #Conflicts: 1218000 | #Constraints: 28901 1291.12/1294.81 c #Conflicts: 1219000 | #Constraints: 29901 1291.12/1294.81 c #Conflicts: 1220000 | #Constraints: 30902 1291.12/1294.81 c #Conflicts: 1221000 | #Constraints: 31903 1291.12/1294.81 c #Conflicts: 1222000 | #Constraints: 32904 1291.12/1294.81 c #Conflicts: 1223000 | #Constraints: 33904 1291.12/1294.81 c #Conflicts: 1224000 | #Constraints: 34904 1291.12/1294.81 c #Conflicts: 1225000 | #Constraints: 35904 1291.12/1294.81 c #Conflicts: 1226000 | #Constraints: 36904 1291.12/1294.81 c #Conflicts: 1227000 | #Constraints: 37904 1291.12/1294.81 c #Conflicts: 1228000 | #Constraints: 38904 1291.12/1294.81 c #Conflicts: 1229000 | #Constraints: 39904 1291.12/1294.81 c #Conflicts: 1230000 | #Constraints: 40904 1291.12/1294.81 c #Conflicts: 1231000 | #Constraints: 41904 1291.12/1294.81 c #Conflicts: 1232000 | #Constraints: 42904 1291.12/1294.81 c #Conflicts: 1233000 | #Constraints: 43904 1291.12/1294.81 c #Conflicts: 1234000 | #Constraints: 44905 1291.12/1294.81 c INPROCESSING 1291.12/1294.81 c GARBAGE COLLECT 1291.12/1294.81 c rational objective 68.7336 1319.85/1323.63 c #Conflicts: 1235000 | #Constraints: 23888 1319.85/1323.63 c #Conflicts: 1236000 | #Constraints: 24888 1319.85/1323.63 c #Conflicts: 1237000 | #Constraints: 25888 1319.85/1323.63 c #Conflicts: 1238000 | #Constraints: 26888 1319.85/1323.63 c #Conflicts: 1239000 | #Constraints: 27889 1319.85/1323.63 c #Conflicts: 1240000 | #Constraints: 28889 1319.85/1323.63 c #Conflicts: 1241000 | #Constraints: 29889 1319.85/1323.63 c #Conflicts: 1242000 | #Constraints: 30890 1319.85/1323.63 c #Conflicts: 1243000 | #Constraints: 31892 1319.85/1323.63 c #Conflicts: 1244000 | #Constraints: 32892 1319.85/1323.63 c #Conflicts: 1245000 | #Constraints: 33893 1319.85/1323.63 c #Conflicts: 1246000 | #Constraints: 34894 1319.85/1323.63 c #Conflicts: 1247000 | #Constraints: 35894 1319.85/1323.63 c #Conflicts: 1248000 | #Constraints: 36894 1319.85/1323.63 c #Conflicts: 1249000 | #Constraints: 37895 1319.85/1323.63 c #Conflicts: 1250000 | #Constraints: 38895 1319.85/1323.63 c #Conflicts: 1251000 | #Constraints: 39895 1319.85/1323.63 c #Conflicts: 1252000 | #Constraints: 40896 1319.85/1323.63 c #Conflicts: 1253000 | #Constraints: 41897 1319.85/1323.63 c #Conflicts: 1254000 | #Constraints: 42899 1319.85/1323.63 c #Conflicts: 1255000 | #Constraints: 43899 1319.85/1323.63 c #Conflicts: 1256000 | #Constraints: 44902 1319.85/1323.63 c INPROCESSING 1319.85/1323.63 c GARBAGE COLLECT 1319.85/1323.63 c rational objective 68.7336 1346.69/1350.52 c #Conflicts: 1257000 | #Constraints: 23687 1346.69/1350.52 c #Conflicts: 1258000 | #Constraints: 24687 1346.69/1350.52 c #Conflicts: 1259000 | #Constraints: 25687 1346.69/1350.52 c #Conflicts: 1260000 | #Constraints: 26687 1346.69/1350.52 c #Conflicts: 1261000 | #Constraints: 27687 1346.69/1350.52 c #Conflicts: 1262000 | #Constraints: 28688 1346.69/1350.52 c #Conflicts: 1263000 | #Constraints: 29689 1346.69/1350.52 c #Conflicts: 1264000 | #Constraints: 30690 1346.69/1350.52 c #Conflicts: 1265000 | #Constraints: 31692 1346.69/1350.52 c #Conflicts: 1266000 | #Constraints: 32693 1346.69/1350.52 c #Conflicts: 1267000 | #Constraints: 33694 1346.69/1350.52 c #Conflicts: 1268000 | #Constraints: 34695 1346.69/1350.52 c #Conflicts: 1269000 | #Constraints: 35695 1346.69/1350.52 c #Conflicts: 1270000 | #Constraints: 36696 1346.69/1350.52 c #Conflicts: 1271000 | #Constraints: 37697 1346.69/1350.52 c #Conflicts: 1272000 | #Constraints: 38699 1346.69/1350.52 c #Conflicts: 1273000 | #Constraints: 39699 1346.69/1350.52 c #Conflicts: 1274000 | #Constraints: 40701 1346.69/1350.52 c #Conflicts: 1275000 | #Constraints: 41702 1346.69/1350.52 c #Conflicts: 1276000 | #Constraints: 42703 1346.69/1350.52 c #Conflicts: 1277000 | #Constraints: 43703 1346.69/1350.52 c #Conflicts: 1278000 | #Constraints: 44703 1346.69/1350.52 c #Conflicts: 1279000 | #Constraints: 45703 1346.69/1350.52 c INPROCESSING 1346.69/1350.52 c GARBAGE COLLECT 1346.69/1350.52 c rational objective 68.7336 1380.12/1384.09 c #Conflicts: 1280000 | #Constraints: 24287 1380.12/1384.09 c #Conflicts: 1281000 | #Constraints: 25287 1380.12/1384.09 c #Conflicts: 1282000 | #Constraints: 26287 1380.12/1384.09 c #Conflicts: 1283000 | #Constraints: 27288 1380.12/1384.09 c #Conflicts: 1284000 | #Constraints: 28288 1380.12/1384.09 c #Conflicts: 1285000 | #Constraints: 29288 1380.12/1384.09 c #Conflicts: 1286000 | #Constraints: 30288 1380.12/1384.09 c #Conflicts: 1287000 | #Constraints: 31288 1380.12/1384.09 c #Conflicts: 1288000 | #Constraints: 32289 1380.12/1384.09 c #Conflicts: 1289000 | #Constraints: 33289 1380.12/1384.09 c #Conflicts: 1290000 | #Constraints: 34290 1380.12/1384.09 c #Conflicts: 1291000 | #Constraints: 35290 1380.12/1384.09 c #Conflicts: 1292000 | #Constraints: 36292 1380.12/1384.09 c #Conflicts: 1293000 | #Constraints: 37292 1380.12/1384.09 c #Conflicts: 1294000 | #Constraints: 38292 1380.12/1384.09 c #Conflicts: 1295000 | #Constraints: 39292 1380.12/1384.09 c #Conflicts: 1296000 | #Constraints: 40293 1380.12/1384.09 c #Conflicts: 1297000 | #Constraints: 41297 1380.12/1384.09 c #Conflicts: 1298000 | #Constraints: 42297 1380.12/1384.09 c #Conflicts: 1299000 | #Constraints: 43298 1380.12/1384.09 c #Conflicts: 1300000 | #Constraints: 44299 1380.12/1384.09 c #Conflicts: 1301000 | #Constraints: 45299 1380.12/1384.09 c #Conflicts: 1302000 | #Constraints: 46299 1380.12/1384.09 c INPROCESSING 1380.12/1384.09 c GARBAGE COLLECT 1380.12/1384.09 c rational objective 68.7336 1408.44/1412.44 c #Conflicts: 1303000 | #Constraints: 24695 1408.44/1412.44 c #Conflicts: 1304000 | #Constraints: 25695 1408.44/1412.44 c #Conflicts: 1305000 | #Constraints: 26697 1408.44/1412.44 c #Conflicts: 1306000 | #Constraints: 27697 1408.44/1412.44 c #Conflicts: 1307000 | #Constraints: 28697 1408.44/1412.44 c #Conflicts: 1308000 | #Constraints: 29698 1408.44/1412.44 c #Conflicts: 1309000 | #Constraints: 30699 1408.44/1412.44 c #Conflicts: 1310000 | #Constraints: 31699 1408.44/1412.44 c #Conflicts: 1311000 | #Constraints: 32700 1408.44/1412.44 c #Conflicts: 1312000 | #Constraints: 33700 1408.44/1412.44 c #Conflicts: 1313000 | #Constraints: 34700 1408.44/1412.44 c #Conflicts: 1314000 | #Constraints: 35700 1408.44/1412.44 c #Conflicts: 1315000 | #Constraints: 36701 1408.44/1412.44 c #Conflicts: 1316000 | #Constraints: 37701 1408.44/1412.44 c #Conflicts: 1317000 | #Constraints: 38701 1408.44/1412.44 c #Conflicts: 1318000 | #Constraints: 39701 1408.44/1412.44 c #Conflicts: 1319000 | #Constraints: 40701 1408.44/1412.44 c #Conflicts: 1320000 | #Constraints: 41702 1408.44/1412.44 c #Conflicts: 1321000 | #Constraints: 42703 1408.44/1412.44 c #Conflicts: 1322000 | #Constraints: 43705 1408.44/1412.44 c #Conflicts: 1323000 | #Constraints: 44707 1408.44/1412.44 c #Conflicts: 1324000 | #Constraints: 45707 1408.44/1412.44 c #Conflicts: 1325000 | #Constraints: 46708 1408.44/1412.44 c INPROCESSING 1408.44/1412.44 c GARBAGE COLLECT 1408.44/1412.44 c rational objective 68.7434 1446.36/1450.45 c #Conflicts: 1326000 | #Constraints: 24891 1446.36/1450.45 c #Conflicts: 1327000 | #Constraints: 25891 1446.36/1450.45 c #Conflicts: 1328000 | #Constraints: 26891 1446.36/1450.45 c #Conflicts: 1329000 | #Constraints: 27891 1446.36/1450.45 c #Conflicts: 1330000 | #Constraints: 28892 1446.36/1450.45 c #Conflicts: 1331000 | #Constraints: 29893 1446.36/1450.45 c #Conflicts: 1332000 | #Constraints: 30894 1446.36/1450.45 c #Conflicts: 1333000 | #Constraints: 31894 1446.36/1450.45 c #Conflicts: 1334000 | #Constraints: 32894 1446.36/1450.45 c #Conflicts: 1335000 | #Constraints: 33896 1446.36/1450.45 c #Conflicts: 1336000 | #Constraints: 34896 1446.36/1450.45 c #Conflicts: 1337000 | #Constraints: 35897 1446.36/1450.45 c #Conflicts: 1338000 | #Constraints: 36898 1446.36/1450.45 c #Conflicts: 1339000 | #Constraints: 37898 1446.36/1450.45 c #Conflicts: 1340000 | #Constraints: 38898 1446.36/1450.45 c #Conflicts: 1341000 | #Constraints: 39898 1446.36/1450.45 c #Conflicts: 1342000 | #Constraints: 40899 1446.36/1450.45 c #Conflicts: 1343000 | #Constraints: 41899 1446.36/1450.45 c #Conflicts: 1344000 | #Constraints: 42900 1446.36/1450.45 c #Conflicts: 1345000 | #Constraints: 43900 1446.36/1450.45 c #Conflicts: 1346000 | #Constraints: 44900 1446.36/1450.45 c #Conflicts: 1347000 | #Constraints: 45901 1446.36/1450.45 c #Conflicts: 1348000 | #Constraints: 46901 1446.36/1450.45 c INPROCESSING 1446.36/1450.45 c GARBAGE COLLECT 1446.36/1450.45 c rational objective 68.7434 1488.75/1492.92 c #Conflicts: 1349000 | #Constraints: 24898 1488.75/1492.92 c #Conflicts: 1350000 | #Constraints: 25898 1488.75/1492.92 c #Conflicts: 1351000 | #Constraints: 26898 1488.75/1492.92 c #Conflicts: 1352000 | #Constraints: 27898 1488.75/1492.92 c #Conflicts: 1353000 | #Constraints: 28898 1488.75/1492.92 c #Conflicts: 1354000 | #Constraints: 29898 1488.75/1492.92 c #Conflicts: 1355000 | #Constraints: 30899 1488.75/1492.92 c #Conflicts: 1356000 | #Constraints: 31899 1488.75/1492.92 c #Conflicts: 1357000 | #Constraints: 32899 1488.75/1492.92 c #Conflicts: 1358000 | #Constraints: 33899 1488.75/1492.92 c #Conflicts: 1359000 | #Constraints: 34899 1488.75/1492.92 c #Conflicts: 1360000 | #Constraints: 35899 1488.75/1492.92 c #Conflicts: 1361000 | #Constraints: 36900 1488.75/1492.92 c #Conflicts: 1362000 | #Constraints: 37901 1488.75/1492.92 c #Conflicts: 1363000 | #Constraints: 38902 1488.75/1492.92 c #Conflicts: 1364000 | #Constraints: 39904 1488.75/1492.92 c #Conflicts: 1365000 | #Constraints: 40904 1488.75/1492.92 c #Conflicts: 1366000 | #Constraints: 41910 1488.75/1492.92 c #Conflicts: 1367000 | #Constraints: 42910 1488.75/1492.92 c #Conflicts: 1368000 | #Constraints: 43910 1488.75/1492.92 c #Conflicts: 1369000 | #Constraints: 44910 1488.75/1492.92 c #Conflicts: 1370000 | #Constraints: 45910 1488.75/1492.92 c #Conflicts: 1371000 | #Constraints: 46911 1488.75/1492.92 c INPROCESSING 1488.75/1492.92 c GARBAGE COLLECT 1488.75/1492.92 c rational objective 68.7434 1524.36/1528.67 c #Conflicts: 1372000 | #Constraints: 24696 1524.36/1528.67 c #Conflicts: 1373000 | #Constraints: 25696 1524.36/1528.67 c #Conflicts: 1374000 | #Constraints: 26696 1524.36/1528.67 c #Conflicts: 1375000 | #Constraints: 27696 1524.36/1528.67 c #Conflicts: 1376000 | #Constraints: 28698 1524.36/1528.67 c #Conflicts: 1377000 | #Constraints: 29699 1524.36/1528.67 c #Conflicts: 1378000 | #Constraints: 30700 1524.36/1528.67 c #Conflicts: 1379000 | #Constraints: 31702 1524.36/1528.67 c #Conflicts: 1380000 | #Constraints: 32704 1524.36/1528.67 c #Conflicts: 1381000 | #Constraints: 33705 1524.36/1528.67 c #Conflicts: 1382000 | #Constraints: 34705 1524.36/1528.67 c #Conflicts: 1383000 | #Constraints: 35705 1524.36/1528.67 c #Conflicts: 1384000 | #Constraints: 36705 1524.36/1528.67 c #Conflicts: 1385000 | #Constraints: 37705 1524.36/1528.67 c #Conflicts: 1386000 | #Constraints: 38706 1524.36/1528.67 c #Conflicts: 1387000 | #Constraints: 39706 1524.36/1528.67 c #Conflicts: 1388000 | #Constraints: 40706 1524.36/1528.67 c #Conflicts: 1389000 | #Constraints: 41706 1524.36/1528.67 c #Conflicts: 1390000 | #Constraints: 42707 1524.36/1528.67 c #Conflicts: 1391000 | #Constraints: 43707 1524.36/1528.67 c #Conflicts: 1392000 | #Constraints: 44707 1524.36/1528.67 c #Conflicts: 1393000 | #Constraints: 45707 1524.36/1528.67 c #Conflicts: 1394000 | #Constraints: 46707 1524.36/1528.67 c #Conflicts: 1395000 | #Constraints: 47707 1524.36/1528.67 c INPROCESSING 1524.36/1528.67 c GARBAGE COLLECT 1524.36/1528.67 c rational objective 68.7434 1559.46/1563.80 c #Conflicts: 1396000 | #Constraints: 25297 1559.46/1563.80 c #Conflicts: 1397000 | #Constraints: 26297 1559.46/1563.80 c #Conflicts: 1398000 | #Constraints: 27298 1559.46/1563.80 c #Conflicts: 1399000 | #Constraints: 28298 1559.46/1563.80 c #Conflicts: 1400000 | #Constraints: 29299 1559.46/1563.80 c #Conflicts: 1401000 | #Constraints: 30300 1559.46/1563.80 c #Conflicts: 1402000 | #Constraints: 31301 1559.46/1563.80 c #Conflicts: 1403000 | #Constraints: 32304 1559.46/1563.80 c #Conflicts: 1404000 | #Constraints: 33306 1559.46/1563.80 c #Conflicts: 1405000 | #Constraints: 34306 1559.46/1563.80 c #Conflicts: 1406000 | #Constraints: 35306 1559.46/1563.80 c #Conflicts: 1407000 | #Constraints: 36306 1559.46/1563.80 c #Conflicts: 1408000 | #Constraints: 37308 1559.46/1563.80 c #Conflicts: 1409000 | #Constraints: 38308 1559.46/1563.80 c #Conflicts: 1410000 | #Constraints: 39310 1559.46/1563.80 c #Conflicts: 1411000 | #Constraints: 40310 1559.46/1563.80 c #Conflicts: 1412000 | #Constraints: 41311 1559.46/1563.80 c #Conflicts: 1413000 | #Constraints: 42311 1559.46/1563.80 c #Conflicts: 1414000 | #Constraints: 43313 1559.46/1563.80 c #Conflicts: 1415000 | #Constraints: 44314 1559.46/1563.80 c #Conflicts: 1416000 | #Constraints: 45315 1559.46/1563.80 c #Conflicts: 1417000 | #Constraints: 46315 1559.46/1563.80 c #Conflicts: 1418000 | #Constraints: 47317 1559.46/1563.80 c #Conflicts: 1419000 | #Constraints: 48317 1559.46/1563.80 c INPROCESSING 1559.46/1563.80 c GARBAGE COLLECT 1559.46/1563.80 c rational objective 68.7434 1595.36/1599.81 c #Conflicts: 1420000 | #Constraints: 25700 1595.36/1599.81 c #Conflicts: 1421000 | #Constraints: 26701 1595.36/1599.81 c #Conflicts: 1422000 | #Constraints: 27701 1595.36/1599.81 c #Conflicts: 1423000 | #Constraints: 28702 1595.36/1599.81 c #Conflicts: 1424000 | #Constraints: 29703 1595.36/1599.81 c #Conflicts: 1425000 | #Constraints: 30703 1595.36/1599.81 c #Conflicts: 1426000 | #Constraints: 31704 1595.36/1599.81 c #Conflicts: 1427000 | #Constraints: 32704 1595.36/1599.81 c #Conflicts: 1428000 | #Constraints: 33704 1595.36/1599.81 c #Conflicts: 1429000 | #Constraints: 34704 1595.36/1599.81 c #Conflicts: 1430000 | #Constraints: 35705 1595.36/1599.81 c #Conflicts: 1431000 | #Constraints: 36706 1595.36/1599.81 c #Conflicts: 1432000 | #Constraints: 37706 1595.36/1599.81 c #Conflicts: 1433000 | #Constraints: 38706 1595.36/1599.81 c #Conflicts: 1434000 | #Constraints: 39706 1595.36/1599.81 c #Conflicts: 1435000 | #Constraints: 40706 1595.36/1599.81 c #Conflicts: 1436000 | #Constraints: 41706 1595.36/1599.81 c #Conflicts: 1437000 | #Constraints: 42708 1595.36/1599.81 c #Conflicts: 1438000 | #Constraints: 43709 1595.36/1599.81 c #Conflicts: 1439000 | #Constraints: 44710 1595.36/1599.81 c #Conflicts: 1440000 | #Constraints: 45712 1595.36/1599.81 c #Conflicts: 1441000 | #Constraints: 46713 1595.36/1599.81 c #Conflicts: 1442000 | #Constraints: 47713 1595.36/1599.81 c #Conflicts: 1443000 | #Constraints: 48714 1595.36/1599.81 c INPROCESSING 1595.36/1599.81 c GARBAGE COLLECT 1595.36/1599.81 c rational objective 68.7434 1632.75/1637.38 c #Conflicts: 1444000 | #Constraints: 25911 1632.75/1637.38 c #Conflicts: 1445000 | #Constraints: 26911 1632.75/1637.38 c #Conflicts: 1446000 | #Constraints: 27911 1632.75/1637.38 c #Conflicts: 1447000 | #Constraints: 28911 1632.75/1637.38 c #Conflicts: 1448000 | #Constraints: 29912 1632.75/1637.38 c #Conflicts: 1449000 | #Constraints: 30912 1632.75/1637.38 c #Conflicts: 1450000 | #Constraints: 31914 1632.75/1637.38 c #Conflicts: 1451000 | #Constraints: 32916 1632.75/1637.38 c #Conflicts: 1452000 | #Constraints: 33918 1632.75/1637.38 c #Conflicts: 1453000 | #Constraints: 34918 1632.75/1637.38 c #Conflicts: 1454000 | #Constraints: 35920 1632.75/1637.38 c #Conflicts: 1455000 | #Constraints: 36921 1632.75/1637.38 c #Conflicts: 1456000 | #Constraints: 37921 1632.75/1637.38 c #Conflicts: 1457000 | #Constraints: 38922 1632.75/1637.38 c #Conflicts: 1458000 | #Constraints: 39926 1632.75/1637.38 c #Conflicts: 1459000 | #Constraints: 40927 1632.75/1637.38 c #Conflicts: 1460000 | #Constraints: 41928 1632.75/1637.38 c #Conflicts: 1461000 | #Constraints: 42929 1632.75/1637.38 c #Conflicts: 1462000 | #Constraints: 43929 1632.75/1637.38 c #Conflicts: 1463000 | #Constraints: 44929 1632.75/1637.38 c #Conflicts: 1464000 | #Constraints: 45929 1632.75/1637.38 c #Conflicts: 1465000 | #Constraints: 46929 1632.75/1637.38 c #Conflicts: 1466000 | #Constraints: 47930 1632.75/1637.38 c #Conflicts: 1467000 | #Constraints: 48930 1632.75/1637.38 c INPROCESSING 1632.75/1637.38 c GARBAGE COLLECT 1632.75/1637.38 c rational objective 68.8029 1665.87/1670.58 c #Conflicts: 1468000 | #Constraints: 25906 1665.87/1670.58 c #Conflicts: 1469000 | #Constraints: 26906 1665.87/1670.58 c #Conflicts: 1470000 | #Constraints: 27906 1665.87/1670.58 c #Conflicts: 1471000 | #Constraints: 28907 1665.87/1670.58 c #Conflicts: 1472000 | #Constraints: 29908 1665.87/1670.58 c #Conflicts: 1473000 | #Constraints: 30908 1665.87/1670.58 c #Conflicts: 1474000 | #Constraints: 31909 1665.87/1670.58 c #Conflicts: 1475000 | #Constraints: 32909 1665.87/1670.58 c #Conflicts: 1476000 | #Constraints: 33910 1665.87/1670.58 c #Conflicts: 1477000 | #Constraints: 34910 1665.87/1670.58 c #Conflicts: 1478000 | #Constraints: 35912 1665.87/1670.58 c #Conflicts: 1479000 | #Constraints: 36912 1665.87/1670.58 c #Conflicts: 1480000 | #Constraints: 37914 1665.87/1670.58 c #Conflicts: 1481000 | #Constraints: 38914 1665.87/1670.58 c #Conflicts: 1482000 | #Constraints: 39915 1665.87/1670.58 c #Conflicts: 1483000 | #Constraints: 40915 1665.87/1670.58 c #Conflicts: 1484000 | #Constraints: 41915 1665.87/1670.58 c #Conflicts: 1485000 | #Constraints: 42915 1665.87/1670.58 c #Conflicts: 1486000 | #Constraints: 43915 1665.87/1670.58 c #Conflicts: 1487000 | #Constraints: 44915 1665.96/1670.64 c #Conflicts: 1488000 | #Constraints: 45916 1665.96/1670.64 c #Conflicts: 1489000 | #Constraints: 46916 1665.96/1670.64 c #Conflicts: 1490000 | #Constraints: 47917 1665.96/1670.64 c #Conflicts: 1491000 | #Constraints: 48919 1665.96/1670.64 c INPROCESSING 1665.96/1670.64 c GARBAGE COLLECT 1665.96/1670.64 c rational objective 68.8029 1704.55/1709.39 c #Conflicts: 1492000 | #Constraints: 25710 1704.55/1709.39 c #Conflicts: 1493000 | #Constraints: 26711 1704.55/1709.39 c #Conflicts: 1494000 | #Constraints: 27711 1704.55/1709.39 c #Conflicts: 1495000 | #Constraints: 28712 1704.55/1709.39 c #Conflicts: 1496000 | #Constraints: 29712 1704.55/1709.39 c #Conflicts: 1497000 | #Constraints: 30712 1704.55/1709.39 c #Conflicts: 1498000 | #Constraints: 31715 1704.55/1709.39 c #Conflicts: 1499000 | #Constraints: 32716 1704.55/1709.39 c #Conflicts: 1500000 | #Constraints: 33718 1704.55/1709.39 c #Conflicts: 1501000 | #Constraints: 34721 1704.55/1709.39 c #Conflicts: 1502000 | #Constraints: 35722 1704.55/1709.39 c #Conflicts: 1503000 | #Constraints: 36723 1704.55/1709.39 c #Conflicts: 1504000 | #Constraints: 37724 1704.55/1709.39 c #Conflicts: 1505000 | #Constraints: 38724 1704.55/1709.39 c #Conflicts: 1506000 | #Constraints: 39726 1704.55/1709.39 c #Conflicts: 1507000 | #Constraints: 40726 1704.55/1709.39 c #Conflicts: 1508000 | #Constraints: 41726 1704.55/1709.39 c #Conflicts: 1509000 | #Constraints: 42730 1704.55/1709.39 c #Conflicts: 1510000 | #Constraints: 43732 1704.55/1709.39 c #Conflicts: 1511000 | #Constraints: 44733 1704.55/1709.39 c #Conflicts: 1512000 | #Constraints: 45734 1704.55/1709.39 c #Conflicts: 1513000 | #Constraints: 46734 1704.55/1709.39 c #Conflicts: 1514000 | #Constraints: 47734 1704.55/1709.39 c #Conflicts: 1515000 | #Constraints: 48735 1704.55/1709.39 c #Conflicts: 1516000 | #Constraints: 49735 1704.55/1709.39 c INPROCESSING 1704.55/1709.39 c GARBAGE COLLECT 1704.55/1709.39 c rational objective 68.8029 1739.05/1743.90 c #Conflicts: 1517000 | #Constraints: 26318 1739.05/1743.90 c #Conflicts: 1518000 | #Constraints: 27325 1739.05/1743.90 c #Conflicts: 1519000 | #Constraints: 28325 1739.05/1743.90 c #Conflicts: 1520000 | #Constraints: 29328 1739.05/1743.90 c #Conflicts: 1521000 | #Constraints: 30328 1739.05/1743.90 c #Conflicts: 1522000 | #Constraints: 31330 1739.05/1743.90 c #Conflicts: 1523000 | #Constraints: 32331 1739.05/1743.90 c #Conflicts: 1524000 | #Constraints: 33331 1739.05/1743.90 c #Conflicts: 1525000 | #Constraints: 34331 1739.05/1743.90 c #Conflicts: 1526000 | #Constraints: 35331 1739.05/1743.90 c #Conflicts: 1527000 | #Constraints: 36332 1739.05/1743.90 c #Conflicts: 1528000 | #Constraints: 37333 1739.05/1743.90 c #Conflicts: 1529000 | #Constraints: 38333 1739.05/1743.90 c #Conflicts: 1530000 | #Constraints: 39333 1739.05/1743.90 c #Conflicts: 1531000 | #Constraints: 40334 1739.05/1743.90 c #Conflicts: 1532000 | #Constraints: 41334 1739.05/1743.90 c #Conflicts: 1533000 | #Constraints: 42334 1739.05/1743.90 c #Conflicts: 1534000 | #Constraints: 43336 1739.05/1743.90 c #Conflicts: 1535000 | #Constraints: 44337 1739.05/1743.90 c #Conflicts: 1536000 | #Constraints: 45337 1739.05/1743.90 c #Conflicts: 1537000 | #Constraints: 46338 1739.05/1743.90 c #Conflicts: 1538000 | #Constraints: 47338 1739.05/1743.90 c #Conflicts: 1539000 | #Constraints: 48338 1739.05/1743.90 c #Conflicts: 1540000 | #Constraints: 49339 1739.05/1743.90 c #Conflicts: 1541000 | #Constraints: 50340 1739.05/1743.90 c INPROCESSING 1739.05/1743.90 c GARBAGE COLLECT 1739.05/1743.90 c rational objective 68.8035 1777.65/1782.69 c #Conflicts: 1542000 | #Constraints: 26713 1777.65/1782.69 c #Conflicts: 1543000 | #Constraints: 27715 1777.65/1782.69 c #Conflicts: 1544000 | #Constraints: 28716 1777.65/1782.69 c #Conflicts: 1545000 | #Constraints: 29718 1777.65/1782.69 c #Conflicts: 1546000 | #Constraints: 30719 1777.65/1782.69 c #Conflicts: 1547000 | #Constraints: 31720 1777.65/1782.69 c #Conflicts: 1548000 | #Constraints: 32722 1777.65/1782.69 c #Conflicts: 1549000 | #Constraints: 33723 1777.65/1782.69 c #Conflicts: 1550000 | #Constraints: 34727 1777.65/1782.69 c #Conflicts: 1551000 | #Constraints: 35727 1777.65/1782.69 c #Conflicts: 1552000 | #Constraints: 36727 1777.65/1782.69 c #Conflicts: 1553000 | #Constraints: 37728 1777.65/1782.69 c #Conflicts: 1554000 | #Constraints: 38728 1777.65/1782.69 c #Conflicts: 1555000 | #Constraints: 39728 1777.65/1782.69 c #Conflicts: 1556000 | #Constraints: 40730 1777.65/1782.69 c #Conflicts: 1557000 | #Constraints: 41732 1777.65/1782.69 c #Conflicts: 1558000 | #Constraints: 42734 1777.65/1782.69 c #Conflicts: 1559000 | #Constraints: 43734 1777.65/1782.69 c #Conflicts: 1560000 | #Constraints: 44735 1777.65/1782.69 c #Conflicts: 1561000 | #Constraints: 45735 1777.65/1782.69 c #Conflicts: 1562000 | #Constraints: 46737 1777.65/1782.69 c #Conflicts: 1563000 | #Constraints: 47737 1777.65/1782.69 c #Conflicts: 1564000 | #Constraints: 48738 1777.65/1782.69 c #Conflicts: 1565000 | #Constraints: 49738 1777.65/1782.69 c #Conflicts: 1566000 | #Constraints: 50739 1777.65/1782.69 c INPROCESSING 1777.65/1782.69 c GARBAGE COLLECT 1777.65/1782.69 c rational objective 68.8038 1833.48/1838.66 c #Conflicts: 1567000 | #Constraints: 26910 1833.48/1838.66 c #Conflicts: 1568000 | #Constraints: 27911 1833.48/1838.66 c #Conflicts: 1569000 | #Constraints: 28911 1833.48/1838.66 c #Conflicts: 1570000 | #Constraints: 29911 1833.48/1838.66 c #Conflicts: 1571000 | #Constraints: 30914 1833.48/1838.66 c #Conflicts: 1572000 | #Constraints: 31914 1833.48/1838.66 c #Conflicts: 1573000 | #Constraints: 32914 1833.48/1838.66 c #Conflicts: 1574000 | #Constraints: 33914 1833.48/1838.66 c #Conflicts: 1575000 | #Constraints: 34914 1833.48/1838.66 c #Conflicts: 1576000 | #Constraints: 35914 1833.48/1838.66 c #Conflicts: 1577000 | #Constraints: 36918 1833.48/1838.66 c #Conflicts: 1578000 | #Constraints: 37918 1833.48/1838.66 c #Conflicts: 1579000 | #Constraints: 38920 1833.48/1838.66 c #Conflicts: 1580000 | #Constraints: 39920 1833.48/1838.66 c #Conflicts: 1581000 | #Constraints: 40921 1833.48/1838.66 c #Conflicts: 1582000 | #Constraints: 41921 1833.48/1838.66 c #Conflicts: 1583000 | #Constraints: 42921 1833.48/1838.66 c #Conflicts: 1584000 | #Constraints: 43921 1833.48/1838.66 c #Conflicts: 1585000 | #Constraints: 44921 1833.48/1838.66 c #Conflicts: 1586000 | #Constraints: 45922 1833.48/1838.66 c #Conflicts: 1587000 | #Constraints: 46922 1833.48/1838.66 c #Conflicts: 1588000 | #Constraints: 47922 1833.48/1838.66 c #Conflicts: 1589000 | #Constraints: 48923 1833.48/1838.66 c #Conflicts: 1590000 | #Constraints: 49923 1833.48/1838.66 c #Conflicts: 1591000 | #Constraints: 50923 1833.48/1838.66 c INPROCESSING 1833.48/1838.66 c GARBAGE COLLECT 1833.48/1838.66 c rational objective 68.8038 1883.05/1888.32 c #Conflicts: 1592000 | #Constraints: 26907 1883.05/1888.32 c #Conflicts: 1593000 | #Constraints: 27907 1883.05/1888.32 c #Conflicts: 1594000 | #Constraints: 28907 1883.05/1888.32 c #Conflicts: 1595000 | #Constraints: 29907 1883.05/1888.32 c #Conflicts: 1596000 | #Constraints: 30908 1883.05/1888.32 c #Conflicts: 1597000 | #Constraints: 31909 1883.05/1888.32 c #Conflicts: 1598000 | #Constraints: 32910 1883.05/1888.32 c #Conflicts: 1599000 | #Constraints: 33911 1883.05/1888.32 c #Conflicts: 1600000 | #Constraints: 34913 1883.05/1888.32 c #Conflicts: 1601000 | #Constraints: 35913 1883.05/1888.32 c #Conflicts: 1602000 | #Constraints: 36914 1883.05/1888.32 c #Conflicts: 1603000 | #Constraints: 37914 1883.05/1888.32 c #Conflicts: 1604000 | #Constraints: 38915 1883.05/1888.32 c #Conflicts: 1605000 | #Constraints: 39916 1883.05/1888.32 c #Conflicts: 1606000 | #Constraints: 40918 1883.05/1888.32 c #Conflicts: 1607000 | #Constraints: 41920 1883.05/1888.32 c #Conflicts: 1608000 | #Constraints: 42921 1883.05/1888.32 c #Conflicts: 1609000 | #Constraints: 43921 1883.05/1888.32 c #Conflicts: 1610000 | #Constraints: 44921 1883.05/1888.32 c #Conflicts: 1611000 | #Constraints: 45922 1883.05/1888.32 c #Conflicts: 1612000 | #Constraints: 46922 1883.05/1888.32 c #Conflicts: 1613000 | #Constraints: 47924 1883.05/1888.32 c #Conflicts: 1614000 | #Constraints: 48924 1883.05/1888.32 c #Conflicts: 1615000 | #Constraints: 49924 1883.05/1888.32 c #Conflicts: 1616000 | #Constraints: 50925 1883.05/1888.32 c INPROCESSING 1883.05/1888.32 c GARBAGE COLLECT 1883.05/1888.32 c rational objective 68.8039 1933.00/1938.46 c #Conflicts: 1617000 | #Constraints: 26713 1933.00/1938.46 c #Conflicts: 1618000 | #Constraints: 27713 1933.00/1938.46 c #Conflicts: 1619000 | #Constraints: 28714 1933.00/1938.46 c #Conflicts: 1620000 | #Constraints: 29714 1933.00/1938.46 c #Conflicts: 1621000 | #Constraints: 30715 1933.00/1938.46 c #Conflicts: 1622000 | #Constraints: 31718 1933.00/1938.46 c #Conflicts: 1623000 | #Constraints: 32718 1933.00/1938.46 c #Conflicts: 1624000 | #Constraints: 33719 1933.00/1938.46 c #Conflicts: 1625000 | #Constraints: 34722 1933.00/1938.46 c #Conflicts: 1626000 | #Constraints: 35723 1933.00/1938.46 c #Conflicts: 1627000 | #Constraints: 36723 1933.00/1938.46 c #Conflicts: 1628000 | #Constraints: 37725 1933.00/1938.46 c #Conflicts: 1629000 | #Constraints: 38728 1933.00/1938.46 c #Conflicts: 1630000 | #Constraints: 39729 1933.00/1938.46 c #Conflicts: 1631000 | #Constraints: 40729 1933.00/1938.46 c #Conflicts: 1632000 | #Constraints: 41729 1933.00/1938.46 c #Conflicts: 1633000 | #Constraints: 42731 1933.00/1938.46 c #Conflicts: 1634000 | #Constraints: 43732 1933.00/1938.46 c #Conflicts: 1635000 | #Constraints: 44734 1933.00/1938.46 c #Conflicts: 1636000 | #Constraints: 45735 1933.00/1938.46 c #Conflicts: 1637000 | #Constraints: 46737 1933.00/1938.46 c #Conflicts: 1638000 | #Constraints: 47737 1933.00/1938.46 c #Conflicts: 1639000 | #Constraints: 48738 1933.00/1938.46 c #Conflicts: 1640000 | #Constraints: 49745 1933.00/1938.46 c #Conflicts: 1641000 | #Constraints: 50746 1933.00/1938.46 c #Conflicts: 1642000 | #Constraints: 51746 1933.00/1938.46 c INPROCESSING 1933.00/1938.46 c GARBAGE COLLECT 1933.00/1938.46 c rational objective 68.8144 1945.77/1951.21 c #Conflicts: 1643000 | #Constraints: 27311 1945.77/1951.21 c #Conflicts: 1644000 | #Constraints: 28311 1945.77/1951.21 c #Conflicts: 1645000 | #Constraints: 29311 1945.77/1951.21 c #Conflicts: 1646000 | #Constraints: 30311 1945.77/1951.21 c #Conflicts: 1647000 | #Constraints: 31312 1945.77/1951.21 c #Conflicts: 1648000 | #Constraints: 32313 1945.77/1951.21 c #Conflicts: 1649000 | #Constraints: 33314 1945.77/1951.21 c #Conflicts: 1650000 | #Constraints: 34314 1945.77/1951.21 c #Conflicts: 1651000 | #Constraints: 35315 1945.77/1951.21 c #Conflicts: 1652000 | #Constraints: 36315 1945.77/1951.21 c #Conflicts: 1653000 | #Constraints: 37317 1945.77/1951.21 WSVECS04 Frhs2[6]: 6 0 0.620714 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[38]: 6 0 0.620748 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[52]: 6 0 0.351334 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[59]: 6 0 1.31036 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[61]: 6 0 1.31038 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[63]: 6 0 1.31043 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[66]: 6 0 0.638016 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[67]: 6 0 1.31042 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[78]: 6 0 0.0819283 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[81]: 6 0 1.76092 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[85]: 6 0 1.31043 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[89]: 6 0 1.31037 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[95]: 6 0 1.31037 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[101]: 6 0 1.3104 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[116]: 6 0 0.620717 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[118]: 6 0 0.62073 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[139]: 6 0 1.31036 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[145]: 6 0 1.31042 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[154]: 6 0 0.620742 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[179]: 6 0 1.31042 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[186]: 6 0 0.620779 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[191]: 6 0 1.31043 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[199]: 6 0 1.31039 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[212]: 6 0 0.620727 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[216]: 6 0 0.620753 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[230]: 6 0 0.620722 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[234]: 6 0 0.620714 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[238]: 6 0 0.62079 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[243]: 6 0 1.31038 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[246]: 6 0 0.620722 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[250]: 6 0 0.620753 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[251]: 6 0 1.31041 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[257]: 6 0 1.31042 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[267]: 6 0 1.31037 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[270]: 6 0 0.620774 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[275]: 6 0 1.31038 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[279]: 6 0 1.31038 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[289]: 6 0 1.31037 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[292]: 6 0 0.707267 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[293]: 6 0 1.31043 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[298]: 6 0 0.620767 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[302]: 6 0 0.620733 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[305]: 6 0 1.3104 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[312]: 6 0 0.620731 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[313]: 6 0 1.31036 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[315]: 6 0 1.31039 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[318]: 6 0 1.61496 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[322]: 6 0 1.17249 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[324]: 6 0 1.17248 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[327]: 6 0 1.62071 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[337]: 6 0 1.31039 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[347]: 6 0 1.36259 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[362]: 6 0 0.103883 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[363]: 6 -0.965563 0 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[364]: 6 0 0.0805575 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[389]: 6 0 1.40092 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[393]: 6 -0.0560448 0 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[396]: 6 -1.00009 0 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[400]: 6 -0.568988 0 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[450]: 6 -0.672467 0 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[454]: 6 -0.34486 0 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[458]: 6 -1.00004 0 shouldn't be 1945.77/1951.21 WSVECS04 Frhs2[484]: 6 -0.65525 0 shouldn't be 1970.00/1975.57 c #Conflicts: 1654000 | #Constraints: 38317 1970.00/1975.57 c #Conflicts: 1655000 | #Constraints: 39317 1970.00/1975.57 c #Conflicts: 1656000 | #Constraints: 40319 1970.00/1975.57 c #Conflicts: 1657000 | #Constraints: 41320 1970.00/1975.57 c #Conflicts: 1658000 | #Constraints: 42321 1970.00/1975.57 c #Conflicts: 1659000 | #Constraints: 43322 1970.00/1975.57 c #Conflicts: 1660000 | #Constraints: 44323 1970.00/1975.57 c #Conflicts: 1661000 | #Constraints: 45325 1970.00/1975.57 c #Conflicts: 1662000 | #Constraints: 46326 1970.00/1975.57 c #Conflicts: 1663000 | #Constraints: 47326 1970.00/1975.57 c #Conflicts: 1664000 | #Constraints: 48327 1970.00/1975.57 c #Conflicts: 1665000 | #Constraints: 49327 1970.00/1975.57 c #Conflicts: 1666000 | #Constraints: 50328 1970.00/1975.57 c #Conflicts: 1667000 | #Constraints: 51329 1970.00/1975.57 c #Conflicts: 1668000 | #Constraints: 52329 1970.00/1975.57 c INPROCESSING 1970.00/1975.57 c GARBAGE COLLECT 1970.00/1975.57 c rational objective 68.8145 2008.99/2014.66 c #Conflicts: 1669000 | #Constraints: 27709 2008.99/2014.66 c #Conflicts: 1670000 | #Constraints: 28709 2008.99/2014.66 c #Conflicts: 1671000 | #Constraints: 29710 2008.99/2014.66 c #Conflicts: 1672000 | #Constraints: 30711 2008.99/2014.66 c #Conflicts: 1673000 | #Constraints: 31713 2008.99/2014.66 c #Conflicts: 1674000 | #Constraints: 32715 2008.99/2014.66 c #Conflicts: 1675000 | #Constraints: 33716 2008.99/2014.66 c #Conflicts: 1676000 | #Constraints: 34720 2008.99/2014.66 c #Conflicts: 1677000 | #Constraints: 35722 2008.99/2014.66 c #Conflicts: 1678000 | #Constraints: 36722 2008.99/2014.66 c #Conflicts: 1679000 | #Constraints: 37722 2008.99/2014.66 c #Conflicts: 1680000 | #Constraints: 38723 2008.99/2014.66 c #Conflicts: 1681000 | #Constraints: 39723 2008.99/2014.66 c #Conflicts: 1682000 | #Constraints: 40724 2008.99/2014.66 c #Conflicts: 1683000 | #Constraints: 41725 2008.99/2014.66 c #Conflicts: 1684000 | #Constraints: 42725 2008.99/2014.66 c #Conflicts: 1685000 | #Constraints: 43725 2008.99/2014.66 c #Conflicts: 1686000 | #Constraints: 44725 2008.99/2014.66 c #Conflicts: 1687000 | #Constraints: 45725 2008.99/2014.66 c #Conflicts: 1688000 | #Constraints: 46725 2008.99/2014.66 c #Conflicts: 1689000 | #Constraints: 47726 2008.99/2014.66 c #Conflicts: 1690000 | #Constraints: 48726 2008.99/2014.66 c #Conflicts: 1691000 | #Constraints: 49726 2008.99/2014.66 c #Conflicts: 1692000 | #Constraints: 50727 2008.99/2014.66 c #Conflicts: 1693000 | #Constraints: 51728 2008.99/2014.66 c #Conflicts: 1694000 | #Constraints: 52728 2008.99/2014.66 c INPROCESSING 2008.99/2014.66 c GARBAGE COLLECT 2008.99/2014.66 c rational objective 68.8145 2046.28/2052.03 c #Conflicts: 1695000 | #Constraints: 27903 2046.28/2052.03 c #Conflicts: 1696000 | #Constraints: 28903 2046.28/2052.03 c #Conflicts: 1697000 | #Constraints: 29903 2046.28/2052.03 c #Conflicts: 1698000 | #Constraints: 30903 2046.28/2052.03 c #Conflicts: 1699000 | #Constraints: 31903 2046.28/2052.03 c #Conflicts: 1700000 | #Constraints: 32904 2046.28/2052.03 c #Conflicts: 1701000 | #Constraints: 33907 2046.28/2052.03 c #Conflicts: 1702000 | #Constraints: 34908 2046.28/2052.03 c #Conflicts: 1703000 | #Constraints: 35910 2046.28/2052.03 c #Conflicts: 1704000 | #Constraints: 36912 2046.28/2052.03 c #Conflicts: 1705000 | #Constraints: 37913 2046.28/2052.03 c #Conflicts: 1706000 | #Constraints: 38913 2046.28/2052.03 c #Conflicts: 1707000 | #Constraints: 39913 2046.28/2052.03 c #Conflicts: 1708000 | #Constraints: 40913 2046.28/2052.03 c #Conflicts: 1709000 | #Constraints: 41913 2046.28/2052.03 c #Conflicts: 1710000 | #Constraints: 42913 2046.28/2052.03 c #Conflicts: 1711000 | #Constraints: 43913 2046.28/2052.03 c #Conflicts: 1712000 | #Constraints: 44914 2046.28/2052.03 c #Conflicts: 1713000 | #Constraints: 45915 2046.28/2052.03 c #Conflicts: 1714000 | #Constraints: 46915 2046.28/2052.03 c #Conflicts: 1715000 | #Constraints: 47916 2046.28/2052.03 c #Conflicts: 1716000 | #Constraints: 48916 2046.28/2052.03 c #Conflicts: 1717000 | #Constraints: 49917 2046.28/2052.03 c #Conflicts: 1718000 | #Constraints: 50918 2046.28/2052.03 c #Conflicts: 1719000 | #Constraints: 51918 2046.28/2052.03 c #Conflicts: 1720000 | #Constraints: 52920 2046.28/2052.03 c INPROCESSING 2046.28/2052.03 c GARBAGE COLLECT 2046.28/2052.03 c rational objective 68.8145 2088.76/2094.63 c #Conflicts: 1721000 | #Constraints: 27906 2088.76/2094.63 c #Conflicts: 1722000 | #Constraints: 28906 2088.76/2094.63 c #Conflicts: 1723000 | #Constraints: 29907 2088.76/2094.63 c #Conflicts: 1724000 | #Constraints: 30908 2088.76/2094.63 c #Conflicts: 1725000 | #Constraints: 31908 2088.76/2094.63 c #Conflicts: 1726000 | #Constraints: 32909 2088.76/2094.63 c #Conflicts: 1727000 | #Constraints: 33909 2088.76/2094.63 c #Conflicts: 1728000 | #Constraints: 34910 2088.76/2094.63 c #Conflicts: 1729000 | #Constraints: 35911 2088.76/2094.63 c #Conflicts: 1730000 | #Constraints: 36911 2088.76/2094.63 c #Conflicts: 1731000 | #Constraints: 37911 2088.76/2094.63 c #Conflicts: 1732000 | #Constraints: 38913 2088.76/2094.63 c #Conflicts: 1733000 | #Constraints: 39913 2088.76/2094.63 c #Conflicts: 1734000 | #Constraints: 40916 2088.76/2094.63 c #Conflicts: 1735000 | #Constraints: 41918 2088.76/2094.63 c #Conflicts: 1736000 | #Constraints: 42919 2088.76/2094.63 c #Conflicts: 1737000 | #Constraints: 43919 2088.76/2094.63 c #Conflicts: 1738000 | #Constraints: 44919 2088.76/2094.63 c #Conflicts: 1739000 | #Constraints: 45919 2088.76/2094.63 c #Conflicts: 1740000 | #Constraints: 46919 2088.76/2094.63 c #Conflicts: 1741000 | #Constraints: 47920 2088.76/2094.63 c #Conflicts: 1742000 | #Constraints: 48920 2088.76/2094.63 c #Conflicts: 1743000 | #Constraints: 49921 2088.76/2094.63 c #Conflicts: 1744000 | #Constraints: 50922 2088.76/2094.63 c #Conflicts: 1745000 | #Constraints: 51922 2088.76/2094.63 c #Conflicts: 1746000 | #Constraints: 52922 2088.76/2094.63 c INPROCESSING 2088.76/2094.63 c GARBAGE COLLECT 2088.76/2094.63 c rational objective 68.8145 2125.86/2131.86 c #Conflicts: 1747000 | #Constraints: 27700 2125.86/2131.86 c #Conflicts: 1748000 | #Constraints: 28703 2125.86/2131.86 c #Conflicts: 1749000 | #Constraints: 29704 2125.86/2131.86 c #Conflicts: 1750000 | #Constraints: 30704 2125.86/2131.86 c #Conflicts: 1751000 | #Constraints: 31705 2125.86/2131.86 c #Conflicts: 1752000 | #Constraints: 32705 2125.86/2131.86 c #Conflicts: 1753000 | #Constraints: 33707 2125.86/2131.86 c #Conflicts: 1754000 | #Constraints: 34707 2125.86/2131.86 c #Conflicts: 1755000 | #Constraints: 35707 2125.86/2131.86 c #Conflicts: 1756000 | #Constraints: 36707 2125.86/2131.86 c #Conflicts: 1757000 | #Constraints: 37707 2125.86/2131.86 c #Conflicts: 1758000 | #Constraints: 38707 2125.86/2131.86 c #Conflicts: 1759000 | #Constraints: 39707 2125.86/2131.86 c #Conflicts: 1760000 | #Constraints: 40708 2125.86/2131.86 c #Conflicts: 1761000 | #Constraints: 41708 2125.86/2131.86 c #Conflicts: 1762000 | #Constraints: 42708 2125.86/2131.86 c #Conflicts: 1763000 | #Constraints: 43708 2125.86/2131.86 c #Conflicts: 1764000 | #Constraints: 44708 2125.86/2131.86 c #Conflicts: 1765000 | #Constraints: 45708 2125.86/2131.86 c #Conflicts: 1766000 | #Constraints: 46709 2125.86/2131.86 c #Conflicts: 1767000 | #Constraints: 47709 2125.86/2131.86 c #Conflicts: 1768000 | #Constraints: 48710 2125.86/2131.86 c #Conflicts: 1769000 | #Constraints: 49710 2125.86/2131.86 c #Conflicts: 1770000 | #Constraints: 50710 2125.86/2131.86 c #Conflicts: 1771000 | #Constraints: 51710 2125.86/2131.86 c #Conflicts: 1772000 | #Constraints: 52710 2125.86/2131.86 c #Conflicts: 1773000 | #Constraints: 53712 2125.86/2131.86 c INPROCESSING 2125.86/2131.86 c GARBAGE COLLECT 2125.86/2131.86 c rational objective 68.8145 2160.85/2166.90 c #Conflicts: 1774000 | #Constraints: 28297 2160.85/2166.90 c #Conflicts: 1775000 | #Constraints: 29297 2160.85/2166.90 c #Conflicts: 1776000 | #Constraints: 30298 2160.85/2166.90 c #Conflicts: 1777000 | #Constraints: 31299 2160.85/2166.90 c #Conflicts: 1778000 | #Constraints: 32300 2160.85/2166.90 c #Conflicts: 1779000 | #Constraints: 33301 2160.85/2166.90 c #Conflicts: 1780000 | #Constraints: 34301 2160.85/2166.90 c #Conflicts: 1781000 | #Constraints: 35301 2160.85/2166.90 c #Conflicts: 1782000 | #Constraints: 36301 2160.85/2166.90 c #Conflicts: 1783000 | #Constraints: 37301 2160.85/2166.90 c #Conflicts: 1784000 | #Constraints: 38304 2160.85/2166.90 c #Conflicts: 1785000 | #Constraints: 39304 2160.85/2166.90 c #Conflicts: 1786000 | #Constraints: 40304 2160.85/2166.90 c #Conflicts: 1787000 | #Constraints: 41305 2160.85/2166.90 c #Conflicts: 1788000 | #Constraints: 42306 2160.85/2166.90 c #Conflicts: 1789000 | #Constraints: 43307 2160.85/2166.90 c #Conflicts: 1790000 | #Constraints: 44307 2160.85/2166.90 c #Conflicts: 1791000 | #Constraints: 45307 2160.85/2166.90 c #Conflicts: 1792000 | #Constraints: 46308 2160.85/2166.90 c #Conflicts: 1793000 | #Constraints: 47308 2160.85/2166.90 c #Conflicts: 1794000 | #Constraints: 48309 2160.85/2166.90 c #Conflicts: 1795000 | #Constraints: 49310 2160.85/2166.90 c #Conflicts: 1796000 | #Constraints: 50311 2160.85/2166.90 c #Conflicts: 1797000 | #Constraints: 51311 2160.85/2166.90 c #Conflicts: 1798000 | #Constraints: 52314 2160.85/2166.90 c #Conflicts: 1799000 | #Constraints: 53318 2160.85/2166.90 c #Conflicts: 1800000 | #Constraints: 54318 2160.85/2166.90 c INPROCESSING 2160.85/2166.90 c GARBAGE COLLECT 2160.85/2166.90 c rational objective 68.8145 2213.60/2219.82 c #Conflicts: 1801000 | #Constraints: 28715 2213.60/2219.82 c #Conflicts: 1802000 | #Constraints: 29716 2213.60/2219.82 c #Conflicts: 1803000 | #Constraints: 30717 2213.60/2219.82 c #Conflicts: 1804000 | #Constraints: 31717 2213.60/2219.82 c #Conflicts: 1805000 | #Constraints: 32718 2213.60/2219.82 c #Conflicts: 1806000 | #Constraints: 33719 2213.60/2219.82 c #Conflicts: 1807000 | #Constraints: 34719 2213.60/2219.82 c #Conflicts: 1808000 | #Constraints: 35719 2213.60/2219.82 c #Conflicts: 1809000 | #Constraints: 36719 2213.60/2219.82 c #Conflicts: 1810000 | #Constraints: 37720 2213.60/2219.82 c #Conflicts: 1811000 | #Constraints: 38721 2213.60/2219.82 c #Conflicts: 1812000 | #Constraints: 39721 2213.60/2219.82 c #Conflicts: 1813000 | #Constraints: 40721 2213.60/2219.82 c #Conflicts: 1814000 | #Constraints: 41723 2213.60/2219.82 c #Conflicts: 1815000 | #Constraints: 42724 2213.60/2219.82 c #Conflicts: 1816000 | #Constraints: 43727 2213.60/2219.82 c #Conflicts: 1817000 | #Constraints: 44727 2213.60/2219.82 c #Conflicts: 1818000 | #Constraints: 45729 2213.60/2219.82 c #Conflicts: 1819000 | #Constraints: 46729 2213.60/2219.82 c #Conflicts: 1820000 | #Constraints: 47731 2213.60/2219.82 c #Conflicts: 1821000 | #Constraints: 48732 2213.60/2219.82 c #Conflicts: 1822000 | #Constraints: 49736 2213.60/2219.82 c #Conflicts: 1823000 | #Constraints: 50736 2213.60/2219.82 c #Conflicts: 1824000 | #Constraints: 51737 2213.60/2219.82 c #Conflicts: 1825000 | #Constraints: 52738 2213.60/2219.82 c #Conflicts: 1826000 | #Constraints: 53738 2213.60/2219.82 c #Conflicts: 1827000 | #Constraints: 54739 2213.60/2219.82 c INPROCESSING 2213.60/2219.82 c GARBAGE COLLECT 2213.60/2219.82 c rational objective 68.815 2260.37/2266.74 c #Conflicts: 1828000 | #Constraints: 28923 2260.37/2266.74 c #Conflicts: 1829000 | #Constraints: 29924 2260.37/2266.74 c #Conflicts: 1830000 | #Constraints: 30925 2260.37/2266.74 c #Conflicts: 1831000 | #Constraints: 31925 2260.37/2266.74 c #Conflicts: 1832000 | #Constraints: 32925 2260.37/2266.74 c #Conflicts: 1833000 | #Constraints: 33926 2260.37/2266.74 c #Conflicts: 1834000 | #Constraints: 34931 2260.37/2266.74 c #Conflicts: 1835000 | #Constraints: 35932 2260.37/2266.74 c #Conflicts: 1836000 | #Constraints: 36936 2260.37/2266.74 c #Conflicts: 1837000 | #Constraints: 37938 2260.37/2266.74 c #Conflicts: 1838000 | #Constraints: 38940 2260.37/2266.74 c #Conflicts: 1839000 | #Constraints: 39941 2260.37/2266.74 c #Conflicts: 1840000 | #Constraints: 40942 2260.37/2266.74 c #Conflicts: 1841000 | #Constraints: 41942 2260.37/2266.74 c #Conflicts: 1842000 | #Constraints: 42943 2260.37/2266.74 c #Conflicts: 1843000 | #Constraints: 43947 2260.37/2266.74 c #Conflicts: 1844000 | #Constraints: 44949 2260.37/2266.74 c #Conflicts: 1845000 | #Constraints: 45950 2260.37/2266.74 c #Conflicts: 1846000 | #Constraints: 46951 2260.37/2266.74 c #Conflicts: 1847000 | #Constraints: 47951 2260.37/2266.74 c #Conflicts: 1848000 | #Constraints: 48951 2260.37/2266.74 c #Conflicts: 1849000 | #Constraints: 49951 2260.37/2266.74 c #Conflicts: 1850000 | #Constraints: 50951 2260.37/2266.74 c #Conflicts: 1851000 | #Constraints: 51951 2260.37/2266.74 c #Conflicts: 1852000 | #Constraints: 52952 2260.37/2266.74 c #Conflicts: 1853000 | #Constraints: 53952 2260.37/2266.74 c #Conflicts: 1854000 | #Constraints: 54952 2260.37/2266.74 c INPROCESSING 2260.37/2266.74 c GARBAGE COLLECT 2260.37/2266.74 c rational objective 68.815 2307.03/2313.56 c #Conflicts: 1855000 | #Constraints: 28919 2307.03/2313.56 c #Conflicts: 1856000 | #Constraints: 29919 2307.03/2313.56 c #Conflicts: 1857000 | #Constraints: 30919 2307.03/2313.56 c #Conflicts: 1858000 | #Constraints: 31919 2307.03/2313.56 c #Conflicts: 1859000 | #Constraints: 32919 2307.03/2313.56 c #Conflicts: 1860000 | #Constraints: 33920 2307.03/2313.56 c #Conflicts: 1861000 | #Constraints: 34922 2307.03/2313.56 c #Conflicts: 1862000 | #Constraints: 35924 2307.03/2313.56 c #Conflicts: 1863000 | #Constraints: 36924 2307.03/2313.56 c #Conflicts: 1864000 | #Constraints: 37924 2307.03/2313.56 c #Conflicts: 1865000 | #Constraints: 38924 2307.03/2313.56 c #Conflicts: 1866000 | #Constraints: 39924 2307.03/2313.56 c #Conflicts: 1867000 | #Constraints: 40924 2307.03/2313.56 c #Conflicts: 1868000 | #Constraints: 41924 2307.03/2313.56 c #Conflicts: 1869000 | #Constraints: 42925 2307.03/2313.56 c #Conflicts: 1870000 | #Constraints: 43926 2307.03/2313.56 c #Conflicts: 1871000 | #Constraints: 44928 2307.03/2313.56 c #Conflicts: 1872000 | #Constraints: 45929 2307.03/2313.56 c #Conflicts: 1873000 | #Constraints: 46930 2307.03/2313.56 c #Conflicts: 1874000 | #Constraints: 47930 2307.03/2313.56 c #Conflicts: 1875000 | #Constraints: 48930 2307.03/2313.56 c #Conflicts: 1876000 | #Constraints: 49931 2307.03/2313.56 c #Conflicts: 1877000 | #Constraints: 50931 2307.03/2313.56 c #Conflicts: 1878000 | #Constraints: 51931 2307.03/2313.56 c #Conflicts: 1879000 | #Constraints: 52931 2307.03/2313.56 c #Conflicts: 1880000 | #Constraints: 53931 2307.03/2313.56 c #Conflicts: 1881000 | #Constraints: 54931 2307.03/2313.56 c INPROCESSING 2307.03/2313.56 c GARBAGE COLLECT 2307.03/2313.56 c rational objective 68.815 2351.80/2358.49 c #Conflicts: 1882000 | #Constraints: 28708 2351.80/2358.49 c #Conflicts: 1883000 | #Constraints: 29708 2351.80/2358.49 c #Conflicts: 1884000 | #Constraints: 30708 2351.80/2358.49 c #Conflicts: 1885000 | #Constraints: 31708 2351.80/2358.49 c #Conflicts: 1886000 | #Constraints: 32708 2351.80/2358.49 c #Conflicts: 1887000 | #Constraints: 33708 2351.80/2358.49 c #Conflicts: 1888000 | #Constraints: 34710 2351.80/2358.49 c #Conflicts: 1889000 | #Constraints: 35711 2351.80/2358.49 c #Conflicts: 1890000 | #Constraints: 36713 2351.80/2358.49 c #Conflicts: 1891000 | #Constraints: 37713 2351.80/2358.49 c #Conflicts: 1892000 | #Constraints: 38713 2351.80/2358.49 c #Conflicts: 1893000 | #Constraints: 39713 2351.80/2358.49 c #Conflicts: 1894000 | #Constraints: 40714 2351.80/2358.49 c #Conflicts: 1895000 | #Constraints: 41714 2351.80/2358.49 c #Conflicts: 1896000 | #Constraints: 42714 2351.80/2358.49 c #Conflicts: 1897000 | #Constraints: 43714 2351.80/2358.49 c #Conflicts: 1898000 | #Constraints: 44714 2351.80/2358.49 c #Conflicts: 1899000 | #Constraints: 45714 2351.80/2358.49 c #Conflicts: 1900000 | #Constraints: 46714 2351.80/2358.49 c #Conflicts: 1901000 | #Constraints: 47714 2351.80/2358.49 c #Conflicts: 1902000 | #Constraints: 48717 2351.80/2358.49 c #Conflicts: 1903000 | #Constraints: 49717 2351.80/2358.49 c #Conflicts: 1904000 | #Constraints: 50717 2351.80/2358.49 c #Conflicts: 1905000 | #Constraints: 51717 2351.80/2358.49 c #Conflicts: 1906000 | #Constraints: 52718 2351.80/2358.49 c #Conflicts: 1907000 | #Constraints: 53718 2351.80/2358.49 c #Conflicts: 1908000 | #Constraints: 54719 2351.80/2358.49 c #Conflicts: 1909000 | #Constraints: 55720 2351.80/2358.49 c INPROCESSING 2351.80/2358.49 c GARBAGE COLLECT 2351.80/2358.49 c rational objective 68.815 2391.09/2397.84 c #Conflicts: 1910000 | #Constraints: 29300 2391.09/2397.84 c #Conflicts: 1911000 | #Constraints: 30300 2391.09/2397.84 c #Conflicts: 1912000 | #Constraints: 31301 2391.09/2397.84 c #Conflicts: 1913000 | #Constraints: 32301 2391.09/2397.84 c #Conflicts: 1914000 | #Constraints: 33303 2391.09/2397.84 c #Conflicts: 1915000 | #Constraints: 34304 2391.09/2397.84 c #Conflicts: 1916000 | #Constraints: 35305 2391.09/2397.84 c #Conflicts: 1917000 | #Constraints: 36305 2391.09/2397.84 c #Conflicts: 1918000 | #Constraints: 37305 2391.09/2397.84 c #Conflicts: 1919000 | #Constraints: 38305 2391.09/2397.84 c #Conflicts: 1920000 | #Constraints: 39306 2391.09/2397.84 c #Conflicts: 1921000 | #Constraints: 40306 2391.09/2397.84 c #Conflicts: 1922000 | #Constraints: 41308 2391.09/2397.84 c #Conflicts: 1923000 | #Constraints: 42308 2391.09/2397.84 c #Conflicts: 1924000 | #Constraints: 43310 2391.09/2397.84 c #Conflicts: 1925000 | #Constraints: 44312 2391.09/2397.84 c #Conflicts: 1926000 | #Constraints: 45312 2391.09/2397.84 c #Conflicts: 1927000 | #Constraints: 46312 2391.09/2397.84 c #Conflicts: 1928000 | #Constraints: 47312 2391.09/2397.84 c #Conflicts: 1929000 | #Constraints: 48312 2391.09/2397.84 c #Conflicts: 1930000 | #Constraints: 49313 2391.09/2397.84 c #Conflicts: 1931000 | #Constraints: 50314 2391.09/2397.84 c #Conflicts: 1932000 | #Constraints: 51314 2391.09/2397.84 c #Conflicts: 1933000 | #Constraints: 52314 2391.09/2397.84 c #Conflicts: 1934000 | #Constraints: 53314 2391.09/2397.84 c #Conflicts: 1935000 | #Constraints: 54315 2391.09/2397.84 c #Conflicts: 1936000 | #Constraints: 55315 2391.09/2397.84 c #Conflicts: 1937000 | #Constraints: 56315 2391.09/2397.84 c INPROCESSING 2391.09/2397.84 c GARBAGE COLLECT 2391.09/2397.84 c rational objective 68.815 2434.77/2441.61 c #Conflicts: 1938000 | #Constraints: 29704 2434.77/2441.61 c #Conflicts: 1939000 | #Constraints: 30704 2434.77/2441.61 c #Conflicts: 1940000 | #Constraints: 31704 2434.77/2441.61 c #Conflicts: 1941000 | #Constraints: 32704 2434.77/2441.61 c #Conflicts: 1942000 | #Constraints: 33706 2434.77/2441.61 c #Conflicts: 1943000 | #Constraints: 34706 2434.77/2441.61 c #Conflicts: 1944000 | #Constraints: 35706 2434.77/2441.61 c #Conflicts: 1945000 | #Constraints: 36706 2434.77/2441.61 c #Conflicts: 1946000 | #Constraints: 37707 2434.77/2441.61 c #Conflicts: 1947000 | #Constraints: 38707 2434.77/2441.61 c #Conflicts: 1948000 | #Constraints: 39707 2434.77/2441.61 c #Conflicts: 1949000 | #Constraints: 40708 2434.77/2441.61 c #Conflicts: 1950000 | #Constraints: 41712 2434.77/2441.61 c #Conflicts: 1951000 | #Constraints: 42717 2434.77/2441.61 c #Conflicts: 1952000 | #Constraints: 43719 2434.77/2441.61 c #Conflicts: 1953000 | #Constraints: 44720 2434.77/2441.61 c #Conflicts: 1954000 | #Constraints: 45720 2434.77/2441.61 c #Conflicts: 1955000 | #Constraints: 46720 2434.77/2441.61 c #Conflicts: 1956000 | #Constraints: 47721 2434.77/2441.61 c #Conflicts: 1957000 | #Constraints: 48721 2434.77/2441.61 c #Conflicts: 1958000 | #Constraints: 49721 2434.77/2441.61 c #Conflicts: 1959000 | #Constraints: 50721 2434.77/2441.61 c #Conflicts: 1960000 | #Constraints: 51722 2434.77/2441.61 c #Conflicts: 1961000 | #Constraints: 52722 2434.77/2441.61 c #Conflicts: 1962000 | #Constraints: 53725 2434.77/2441.61 c #Conflicts: 1963000 | #Constraints: 54726 2434.77/2441.61 c #Conflicts: 1964000 | #Constraints: 55728 2434.77/2441.61 c #Conflicts: 1965000 | #Constraints: 56728 2434.77/2441.61 c INPROCESSING 2434.77/2441.61 c GARBAGE COLLECT 2434.77/2441.61 c rational objective 68.815 2483.13/2490.18 c #Conflicts: 1966000 | #Constraints: 29906 2483.13/2490.18 c #Conflicts: 1967000 | #Constraints: 30906 2483.13/2490.18 c #Conflicts: 1968000 | #Constraints: 31906 2483.13/2490.18 c #Conflicts: 1969000 | #Constraints: 32906 2483.13/2490.18 c #Conflicts: 1970000 | #Constraints: 33906 2483.13/2490.18 c #Conflicts: 1971000 | #Constraints: 34906 2483.13/2490.18 c #Conflicts: 1972000 | #Constraints: 35906 2483.13/2490.18 c #Conflicts: 1973000 | #Constraints: 36907 2483.13/2490.18 c #Conflicts: 1974000 | #Constraints: 37907 2483.13/2490.18 c #Conflicts: 1975000 | #Constraints: 38907 2483.13/2490.18 c #Conflicts: 1976000 | #Constraints: 39907 2483.13/2490.18 c #Conflicts: 1977000 | #Constraints: 40907 2483.13/2490.18 c #Conflicts: 1978000 | #Constraints: 41907 2483.13/2490.18 c #Conflicts: 1979000 | #Constraints: 42907 2483.13/2490.18 c #Conflicts: 1980000 | #Constraints: 43907 2483.13/2490.18 c #Conflicts: 1981000 | #Constraints: 44909 2483.13/2490.18 c #Conflicts: 1982000 | #Constraints: 45909 2483.13/2490.18 c #Conflicts: 1983000 | #Constraints: 46909 2483.13/2490.18 c #Conflicts: 1984000 | #Constraints: 47909 2483.13/2490.18 c #Conflicts: 1985000 | #Constraints: 48909 2483.13/2490.18 c #Conflicts: 1986000 | #Constraints: 49911 2483.13/2490.18 c #Conflicts: 1987000 | #Constraints: 50911 2483.13/2490.18 c #Conflicts: 1988000 | #Constraints: 51912 2483.13/2490.18 c #Conflicts: 1989000 | #Constraints: 52912 2483.13/2490.18 c #Conflicts: 1990000 | #Constraints: 53912 2483.13/2490.18 c #Conflicts: 1991000 | #Constraints: 54913 2483.13/2490.18 c #Conflicts: 1992000 | #Constraints: 55913 2483.13/2490.18 c #Conflicts: 1993000 | #Constraints: 56913 2483.13/2490.18 c INPROCESSING 2483.13/2490.18 c GARBAGE COLLECT 2483.13/2490.18 c rational objective 68.8182 2485.62/2492.62 c #Conflicts: 1994000 | #Constraints: 29906 2485.62/2492.62 WSVECS04 Frhs2[5]: 6 0 0.856585 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[8]: 6 0 0.937693 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[11]: 6 0 0.846897 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[22]: 6 0 0.0424857 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[77]: 6 0 0.922324 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[78]: 6 0 0.922318 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[129]: 6 0 0.905048 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[130]: 6 0 0.886212 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[209]: 6 0 0.845398 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[233]: 6 0 0.0528362 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[286]: 6 0 0.0412008 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[331]: 6 0 1.07601 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[332]: 6 0 2.3389 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[333]: 6 0 0.624062 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[334]: 6 0 2.09042 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[340]: 6 0 2.80133 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[387]: 6 0 3.12664 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[388]: 6 -0.316716 0 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[390]: 6 0 3.34215 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[442]: 6 -0.999756 0 shouldn't be 2485.62/2492.62 WSVECS04 Frhs2[461]: 6 0 0.367544 shouldn't be 2532.89/2540.06 c #Conflicts: 1995000 | #Constraints: 30906 2532.89/2540.06 c #Conflicts: 1996000 | #Constraints: 31906 2532.89/2540.06 c #Conflicts: 1997000 | #Constraints: 32907 2532.89/2540.06 c #Conflicts: 1998000 | #Constraints: 33907 2532.89/2540.06 c #Conflicts: 1999000 | #Constraints: 34907 2532.89/2540.06 c #Conflicts: 2000000 | #Constraints: 35908 2532.89/2540.06 c #Conflicts: 2001000 | #Constraints: 36908 2532.89/2540.06 c #Conflicts: 2002000 | #Constraints: 37909 2532.89/2540.06 c #Conflicts: 2003000 | #Constraints: 38909 2532.89/2540.06 c #Conflicts: 2004000 | #Constraints: 39909 2532.89/2540.06 c #Conflicts: 2005000 | #Constraints: 40909 2532.89/2540.06 c #Conflicts: 2006000 | #Constraints: 41909 2532.89/2540.06 c #Conflicts: 2007000 | #Constraints: 42909 2532.89/2540.06 c #Conflicts: 2008000 | #Constraints: 43910 2532.89/2540.06 c #Conflicts: 2009000 | #Constraints: 44910 2532.89/2540.06 c #Conflicts: 2010000 | #Constraints: 45911 2532.89/2540.06 c #Conflicts: 2011000 | #Constraints: 46911 2532.89/2540.06 c #Conflicts: 2012000 | #Constraints: 47911 2532.89/2540.06 c #Conflicts: 2013000 | #Constraints: 48913 2532.89/2540.06 c #Conflicts: 2014000 | #Constraints: 49913 2532.89/2540.06 c #Conflicts: 2015000 | #Constraints: 50919 2532.89/2540.06 c #Conflicts: 2016000 | #Constraints: 51920 2532.89/2540.06 c #Conflicts: 2017000 | #Constraints: 52922 2532.89/2540.06 c #Conflicts: 2018000 | #Constraints: 53923 2532.89/2540.06 c #Conflicts: 2019000 | #Constraints: 54924 2532.89/2540.06 c #Conflicts: 2020000 | #Constraints: 55925 2532.89/2540.06 c #Conflicts: 2021000 | #Constraints: 56925 2532.89/2540.06 c INPROCESSING 2532.89/2540.06 c GARBAGE COLLECT 2532.89/2540.06 c rational objective 68.8182 2581.44/2588.78 c #Conflicts: 2022000 | #Constraints: 29702 2581.44/2588.78 c #Conflicts: 2023000 | #Constraints: 30702 2581.44/2588.78 c #Conflicts: 2024000 | #Constraints: 31702 2581.44/2588.78 c #Conflicts: 2025000 | #Constraints: 32703 2581.44/2588.78 c #Conflicts: 2026000 | #Constraints: 33705 2581.44/2588.78 c #Conflicts: 2027000 | #Constraints: 34707 2581.44/2588.78 c #Conflicts: 2028000 | #Constraints: 35708 2581.44/2588.78 c #Conflicts: 2029000 | #Constraints: 36708 2581.44/2588.78 c #Conflicts: 2030000 | #Constraints: 37708 2581.44/2588.78 c #Conflicts: 2031000 | #Constraints: 38708 2581.44/2588.78 c #Conflicts: 2032000 | #Constraints: 39708 2581.44/2588.78 c #Conflicts: 2033000 | #Constraints: 40709 2581.44/2588.78 c #Conflicts: 2034000 | #Constraints: 41710 2581.44/2588.78 c #Conflicts: 2035000 | #Constraints: 42711 2581.44/2588.78 c #Conflicts: 2036000 | #Constraints: 43711 2581.44/2588.78 c #Conflicts: 2037000 | #Constraints: 44711 2581.44/2588.78 c #Conflicts: 2038000 | #Constraints: 45711 2581.44/2588.78 c #Conflicts: 2039000 | #Constraints: 46711 2581.44/2588.78 c #Conflicts: 2040000 | #Constraints: 47711 2581.44/2588.78 c #Conflicts: 2041000 | #Constraints: 48711 2581.44/2588.78 c #Conflicts: 2042000 | #Constraints: 49711 2581.44/2588.78 c #Conflicts: 2043000 | #Constraints: 50711 2581.44/2588.78 c #Conflicts: 2044000 | #Constraints: 51711 2581.44/2588.78 c #Conflicts: 2045000 | #Constraints: 52712 2581.44/2588.78 c #Conflicts: 2046000 | #Constraints: 53712 2581.44/2588.78 c #Conflicts: 2047000 | #Constraints: 54713 2581.44/2588.78 c #Conflicts: 2048000 | #Constraints: 55714 2581.44/2588.78 c #Conflicts: 2049000 | #Constraints: 56714 2581.44/2588.78 c #Conflicts: 2050000 | #Constraints: 57714 2581.44/2588.78 c INPROCESSING 2581.44/2588.78 c GARBAGE COLLECT 2581.44/2588.78 c rational objective 68.8182 2620.83/2628.24 c #Conflicts: 2051000 | #Constraints: 30295 2620.83/2628.24 c #Conflicts: 2052000 | #Constraints: 31295 2620.83/2628.24 c #Conflicts: 2053000 | #Constraints: 32296 2620.83/2628.24 c #Conflicts: 2054000 | #Constraints: 33296 2620.83/2628.24 c #Conflicts: 2055000 | #Constraints: 34296 2620.83/2628.24 c #Conflicts: 2056000 | #Constraints: 35296 2620.83/2628.24 c #Conflicts: 2057000 | #Constraints: 36296 2620.83/2628.24 c #Conflicts: 2058000 | #Constraints: 37298 2620.83/2628.24 c #Conflicts: 2059000 | #Constraints: 38299 2620.83/2628.24 c #Conflicts: 2060000 | #Constraints: 39300 2620.83/2628.24 c #Conflicts: 2061000 | #Constraints: 40300 2620.83/2628.24 c #Conflicts: 2062000 | #Constraints: 41300 2620.83/2628.24 c #Conflicts: 2063000 | #Constraints: 42301 2620.83/2628.24 c #Conflicts: 2064000 | #Constraints: 43301 2620.83/2628.24 c #Conflicts: 2065000 | #Constraints: 44302 2620.83/2628.24 c #Conflicts: 2066000 | #Constraints: 45302 2620.83/2628.24 c #Conflicts: 2067000 | #Constraints: 46303 2620.83/2628.24 c #Conflicts: 2068000 | #Constraints: 47304 2620.83/2628.24 c #Conflicts: 2069000 | #Constraints: 48305 2620.83/2628.24 c #Conflicts: 2070000 | #Constraints: 49307 2620.83/2628.24 c #Conflicts: 2071000 | #Constraints: 50308 2620.83/2628.24 c #Conflicts: 2072000 | #Constraints: 51308 2620.83/2628.24 c #Conflicts: 2073000 | #Constraints: 52309 2620.83/2628.24 c #Conflicts: 2074000 | #Constraints: 53311 2620.83/2628.24 c #Conflicts: 2075000 | #Constraints: 54311 2620.83/2628.24 c #Conflicts: 2076000 | #Constraints: 55313 2620.83/2628.24 c #Conflicts: 2077000 | #Constraints: 56315 2620.83/2628.24 c #Conflicts: 2078000 | #Constraints: 57316 2620.83/2628.24 c #Conflicts: 2079000 | #Constraints: 58316 2620.83/2628.24 c INPROCESSING 2620.83/2628.24 c GARBAGE COLLECT 2620.83/2628.24 c rational objective 68.8182 2705.12/2712.78 c #Conflicts: 2080000 | #Constraints: 30700 2705.12/2712.78 c #Conflicts: 2081000 | #Constraints: 31700 2705.12/2712.78 c #Conflicts: 2082000 | #Constraints: 32700 2705.12/2712.78 c #Conflicts: 2083000 | #Constraints: 33700 2705.12/2712.78 c #Conflicts: 2084000 | #Constraints: 34700 2705.12/2712.78 c #Conflicts: 2085000 | #Constraints: 35700 2705.12/2712.78 c #Conflicts: 2086000 | #Constraints: 36701 2705.12/2712.78 c #Conflicts: 2087000 | #Constraints: 37702 2705.12/2712.78 c #Conflicts: 2088000 | #Constraints: 38702 2705.12/2712.78 c #Conflicts: 2089000 | #Constraints: 39702 2705.12/2712.78 c #Conflicts: 2090000 | #Constraints: 40702 2705.12/2712.78 c #Conflicts: 2091000 | #Constraints: 41703 2705.12/2712.78 c #Conflicts: 2092000 | #Constraints: 42704 2705.12/2712.78 c #Conflicts: 2093000 | #Constraints: 43704 2705.12/2712.78 c #Conflicts: 2094000 | #Constraints: 44706 2705.12/2712.78 c #Conflicts: 2095000 | #Constraints: 45706 2705.12/2712.78 c #Conflicts: 2096000 | #Constraints: 46706 2705.12/2712.78 c #Conflicts: 2097000 | #Constraints: 47706 2705.12/2712.78 c #Conflicts: 2098000 | #Constraints: 48708 2705.12/2712.78 c #Conflicts: 2099000 | #Constraints: 49708 2705.12/2712.78 c #Conflicts: 2100000 | #Constraints: 50709 2705.12/2712.78 c #Conflicts: 2101000 | #Constraints: 51709 2705.12/2712.78 c #Conflicts: 2102000 | #Constraints: 52711 2705.12/2712.78 c #Conflicts: 2103000 | #Constraints: 53711 2705.12/2712.78 c #Conflicts: 2104000 | #Constraints: 54712 2705.12/2712.78 c #Conflicts: 2105000 | #Constraints: 55713 2705.12/2712.78 c #Conflicts: 2106000 | #Constraints: 56713 2705.12/2712.78 c #Conflicts: 2107000 | #Constraints: 57713 2705.12/2712.78 c #Conflicts: 2108000 | #Constraints: 58713 2705.12/2712.78 c INPROCESSING 2705.12/2712.78 c GARBAGE COLLECT 2705.12/2712.78 c rational objective 68.8182 2775.55/2783.32 c #Conflicts: 2109000 | #Constraints: 30912 2775.55/2783.32 c #Conflicts: 2110000 | #Constraints: 31912 2775.55/2783.32 c #Conflicts: 2111000 | #Constraints: 32912 2775.55/2783.32 c #Conflicts: 2112000 | #Constraints: 33912 2775.55/2783.32 c #Conflicts: 2113000 | #Constraints: 34912 2775.55/2783.32 c #Conflicts: 2114000 | #Constraints: 35912 2775.55/2783.32 c #Conflicts: 2115000 | #Constraints: 36912 2775.55/2783.32 c #Conflicts: 2116000 | #Constraints: 37912 2775.55/2783.32 c #Conflicts: 2117000 | #Constraints: 38912 2775.55/2783.32 c #Conflicts: 2118000 | #Constraints: 39912 2775.55/2783.32 c #Conflicts: 2119000 | #Constraints: 40913 2775.55/2783.32 c #Conflicts: 2120000 | #Constraints: 41913 2775.55/2783.32 c #Conflicts: 2121000 | #Constraints: 42913 2775.55/2783.32 c #Conflicts: 2122000 | #Constraints: 43914 2775.55/2783.32 c #Conflicts: 2123000 | #Constraints: 44915 2775.55/2783.32 c #Conflicts: 2124000 | #Constraints: 45915 2775.55/2783.32 c #Conflicts: 2125000 | #Constraints: 46915 2775.55/2783.32 c #Conflicts: 2126000 | #Constraints: 47915 2775.55/2783.32 c #Conflicts: 2127000 | #Constraints: 48915 2775.55/2783.32 c #Conflicts: 2128000 | #Constraints: 49915 2775.55/2783.32 c #Conflicts: 2129000 | #Constraints: 50915 2775.55/2783.32 c #Conflicts: 2130000 | #Constraints: 51915 2775.55/2783.32 c #Conflicts: 2131000 | #Constraints: 52915 2775.55/2783.32 c #Conflicts: 2132000 | #Constraints: 53916 2775.55/2783.32 c #Conflicts: 2133000 | #Constraints: 54916 2775.55/2783.32 c #Conflicts: 2134000 | #Constraints: 55916 2775.55/2783.32 c #Conflicts: 2135000 | #Constraints: 56916 2775.55/2783.32 c #Conflicts: 2136000 | #Constraints: 57917 2775.55/2783.32 c #Conflicts: 2137000 | #Constraints: 58918 2775.55/2783.32 c INPROCESSING 2775.55/2783.32 c GARBAGE COLLECT 2775.55/2783.32 c rational objective 68.8182 2781.44/2789.25 c #Conflicts: 2138000 | #Constraints: 30905 2781.44/2789.25 c #Conflicts: 2139000 | #Constraints: 31905 2781.44/2789.25 c #Conflicts: 2140000 | #Constraints: 32905 2781.44/2789.25 c #Conflicts: 2141000 | #Constraints: 33905 2781.44/2789.25 WSVECS04 Frhs2[9]: 6 0 0.133841 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[13]: 6 0 0.334801 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[40]: 6 0 1.3305 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[41]: 6 0 0.0345601 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[43]: 6 0 0.0342664 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[53]: 6 0 0.133897 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[63]: 6 0 0.19042 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[73]: 6 0 0.0218193 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[75]: 6 0 0.196741 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[79]: 6 0 0.267695 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[83]: 6 0 0.754234 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[89]: 6 0 0.881904 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[91]: 6 0 0.661012 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[101]: 6 0 0.736564 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[121]: 6 0 0.15354 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[131]: 6 0 1.07063 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[135]: 6 0 0.105196 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[164]: 6 0 2.22538 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[174]: 6 0 1.33053 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[243]: 6 0 1.13391 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[246]: 6 0 1.33053 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[249]: 6 0 0.19672 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[324]: 6 0 1.33912 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[344]: 6 0 1.61966 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[345]: 6 -0.665283 0 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[346]: 6 0 3.87181 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[370]: 6 0 2.12285 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[374]: 6 0 2.33078 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[380]: 6 0 0.230646 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[402]: 6 0 1.47232 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[430]: 6 0 0.454978 shouldn't be 2781.44/2789.25 WSVECS04 Frhs2[436]: 6 0 0.910203 shouldn't be 2829.72/2837.63 c #Conflicts: 2142000 | #Constraints: 34905 2829.72/2837.63 c #Conflicts: 2143000 | #Constraints: 35905 2829.72/2837.63 c #Conflicts: 2144000 | #Constraints: 36905 2829.72/2837.63 c #Conflicts: 2145000 | #Constraints: 37905 2829.72/2837.63 c #Conflicts: 2146000 | #Constraints: 38905 2829.72/2837.63 c #Conflicts: 2147000 | #Constraints: 39905 2829.72/2837.63 c #Conflicts: 2148000 | #Constraints: 40905 2829.72/2837.63 c #Conflicts: 2149000 | #Constraints: 41905 2829.72/2837.63 c #Conflicts: 2150000 | #Constraints: 42906 2829.72/2837.63 c #Conflicts: 2151000 | #Constraints: 43908 2829.72/2837.63 c #Conflicts: 2152000 | #Constraints: 44909 2829.72/2837.63 c #Conflicts: 2153000 | #Constraints: 45912 2829.72/2837.63 c #Conflicts: 2154000 | #Constraints: 46912 2829.72/2837.63 c #Conflicts: 2155000 | #Constraints: 47912 2829.72/2837.63 c #Conflicts: 2156000 | #Constraints: 48914 2829.72/2837.63 c #Conflicts: 2157000 | #Constraints: 49916 2829.72/2837.63 c #Conflicts: 2158000 | #Constraints: 50916 2829.72/2837.63 c #Conflicts: 2159000 | #Constraints: 51919 2829.72/2837.63 c #Conflicts: 2160000 | #Constraints: 52919 2829.72/2837.63 c #Conflicts: 2161000 | #Constraints: 53920 2829.72/2837.63 c #Conflicts: 2162000 | #Constraints: 54921 2829.72/2837.63 c #Conflicts: 2163000 | #Constraints: 55923 2829.72/2837.63 c #Conflicts: 2164000 | #Constraints: 56924 2829.72/2837.63 c #Conflicts: 2165000 | #Constraints: 57924 2829.72/2837.63 c #Conflicts: 2166000 | #Constraints: 58927 2829.72/2837.63 c INPROCESSING 2829.72/2837.63 c GARBAGE COLLECT 2829.72/2837.63 c rational objective 68.8182 2896.45/2904.52 c #Conflicts: 2167000 | #Constraints: 30712 2896.45/2904.52 c #Conflicts: 2168000 | #Constraints: 31712 2896.45/2904.52 c #Conflicts: 2169000 | #Constraints: 32712 2896.45/2904.52 c #Conflicts: 2170000 | #Constraints: 33714 2896.45/2904.52 c #Conflicts: 2171000 | #Constraints: 34714 2896.45/2904.52 c #Conflicts: 2172000 | #Constraints: 35716 2896.45/2904.52 c #Conflicts: 2173000 | #Constraints: 36716 2896.45/2904.52 c #Conflicts: 2174000 | #Constraints: 37718 2896.45/2904.52 c #Conflicts: 2175000 | #Constraints: 38718 2896.45/2904.52 c #Conflicts: 2176000 | #Constraints: 39718 2896.45/2904.52 c #Conflicts: 2177000 | #Constraints: 40718 2896.45/2904.52 c #Conflicts: 2178000 | #Constraints: 41719 2896.45/2904.52 c #Conflicts: 2179000 | #Constraints: 42720 2896.45/2904.52 c #Conflicts: 2180000 | #Constraints: 43720 2896.45/2904.52 c #Conflicts: 2181000 | #Constraints: 44720 2896.45/2904.52 c #Conflicts: 2182000 | #Constraints: 45720 2896.45/2904.52 c #Conflicts: 2183000 | #Constraints: 46720 2896.45/2904.52 c #Conflicts: 2184000 | #Constraints: 47721 2896.45/2904.52 c #Conflicts: 2185000 | #Constraints: 48721 2896.45/2904.52 c #Conflicts: 2186000 | #Constraints: 49722 2896.45/2904.52 c #Conflicts: 2187000 | #Constraints: 50723 2896.45/2904.52 c #Conflicts: 2188000 | #Constraints: 51724 2896.45/2904.52 c #Conflicts: 2189000 | #Constraints: 52724 2896.45/2904.52 c #Conflicts: 2190000 | #Constraints: 53724 2896.45/2904.52 c #Conflicts: 2191000 | #Constraints: 54724 2896.45/2904.52 c #Conflicts: 2192000 | #Constraints: 55725 2896.45/2904.52 c #Conflicts: 2193000 | #Constraints: 56725 2896.45/2904.52 c #Conflicts: 2194000 | #Constraints: 57725 2896.45/2904.52 c #Conflicts: 2195000 | #Constraints: 58726 2896.45/2904.52 c #Conflicts: 2196000 | #Constraints: 59727 2896.45/2904.52 c INPROCESSING 2896.45/2904.52 c GARBAGE COLLECT 2896.45/2904.52 c rational objective 68.8182 2970.36/2978.68 c #Conflicts: 2197000 | #Constraints: 31313 2970.36/2978.68 c #Conflicts: 2198000 | #Constraints: 32313 2970.36/2978.68 c #Conflicts: 2199000 | #Constraints: 33315 2970.36/2978.68 c #Conflicts: 2200000 | #Constraints: 34315 2970.36/2978.68 c #Conflicts: 2201000 | #Constraints: 35316 2970.36/2978.68 c #Conflicts: 2202000 | #Constraints: 36316 2970.36/2978.68 c #Conflicts: 2203000 | #Constraints: 37316 2970.36/2978.68 c #Conflicts: 2204000 | #Constraints: 38316 2970.36/2978.68 c #Conflicts: 2205000 | #Constraints: 39316 2970.36/2978.68 c #Conflicts: 2206000 | #Constraints: 40318 2970.36/2978.68 c #Conflicts: 2207000 | #Constraints: 41318 2970.36/2978.68 c #Conflicts: 2208000 | #Constraints: 42319 2970.36/2978.68 c #Conflicts: 2209000 | #Constraints: 43319 2970.36/2978.68 c #Conflicts: 2210000 | #Constraints: 44320 2970.36/2978.68 c #Conflicts: 2211000 | #Constraints: 45321 2970.36/2978.68 c #Conflicts: 2212000 | #Constraints: 46321 2970.36/2978.68 c #Conflicts: 2213000 | #Constraints: 47322 2970.36/2978.68 c #Conflicts: 2214000 | #Constraints: 48323 2970.36/2978.68 c #Conflicts: 2215000 | #Constraints: 49325 2970.36/2978.68 c #Conflicts: 2216000 | #Constraints: 50325 2970.36/2978.68 c #Conflicts: 2217000 | #Constraints: 51326 2970.36/2978.68 c #Conflicts: 2218000 | #Constraints: 52326 2970.36/2978.68 c #Conflicts: 2219000 | #Constraints: 53327 2970.36/2978.68 c #Conflicts: 2220000 | #Constraints: 54327 2970.36/2978.68 c #Conflicts: 2221000 | #Constraints: 55330 2970.36/2978.68 c #Conflicts: 2222000 | #Constraints: 56332 2970.36/2978.68 c #Conflicts: 2223000 | #Constraints: 57332 2970.36/2978.68 c #Conflicts: 2224000 | #Constraints: 58332 2970.36/2978.68 c #Conflicts: 2225000 | #Constraints: 59333 2970.36/2978.68 c #Conflicts: 2226000 | #Constraints: 60334 2970.36/2978.68 c INPROCESSING 2970.36/2978.68 c GARBAGE COLLECT 2970.36/2978.68 c rational objective 68.8182 3049.25/3057.75 c #Conflicts: 2227000 | #Constraints: 31712 3049.25/3057.75 c #Conflicts: 2228000 | #Constraints: 32714 3049.25/3057.75 c #Conflicts: 2229000 | #Constraints: 33717 3049.25/3057.75 c #Conflicts: 2230000 | #Constraints: 34717 3049.25/3057.75 c #Conflicts: 2231000 | #Constraints: 35718 3049.25/3057.75 c #Conflicts: 2232000 | #Constraints: 36718 3049.25/3057.75 c #Conflicts: 2233000 | #Constraints: 37719 3049.25/3057.75 c #Conflicts: 2234000 | #Constraints: 38721 3049.25/3057.75 c #Conflicts: 2235000 | #Constraints: 39722 3049.25/3057.75 c #Conflicts: 2236000 | #Constraints: 40722 3049.25/3057.75 c #Conflicts: 2237000 | #Constraints: 41722 3049.25/3057.75 c #Conflicts: 2238000 | #Constraints: 42723 3049.25/3057.75 c #Conflicts: 2239000 | #Constraints: 43723 3049.25/3057.75 c #Conflicts: 2240000 | #Constraints: 44723 3049.25/3057.75 c #Conflicts: 2241000 | #Constraints: 45723 3049.25/3057.75 c #Conflicts: 2242000 | #Constraints: 46725 3049.25/3057.75 c #Conflicts: 2243000 | #Constraints: 47725 3049.25/3057.75 c #Conflicts: 2244000 | #Constraints: 48725 3049.25/3057.75 c #Conflicts: 2245000 | #Constraints: 49725 3049.25/3057.75 c #Conflicts: 2246000 | #Constraints: 50726 3049.25/3057.75 c #Conflicts: 2247000 | #Constraints: 51726 3049.25/3057.75 c #Conflicts: 2248000 | #Constraints: 52727 3049.25/3057.75 c #Conflicts: 2249000 | #Constraints: 53727 3049.25/3057.75 c #Conflicts: 2250000 | #Constraints: 54727 3049.25/3057.75 c #Conflicts: 2251000 | #Constraints: 55728 3049.25/3057.75 c #Conflicts: 2252000 | #Constraints: 56728 3049.25/3057.75 c #Conflicts: 2253000 | #Constraints: 57728 3049.25/3057.75 c #Conflicts: 2254000 | #Constraints: 58730 3049.25/3057.75 c #Conflicts: 2255000 | #Constraints: 59731 3049.25/3057.75 c #Conflicts: 2256000 | #Constraints: 60731 3049.25/3057.75 c INPROCESSING 3049.25/3057.75 c GARBAGE COLLECT 3049.25/3057.75 c rational objective 68.8182 3132.15/3140.88 c #Conflicts: 2257000 | #Constraints: 31913 3132.15/3140.88 c #Conflicts: 2258000 | #Constraints: 32913 3132.15/3140.88 c #Conflicts: 2259000 | #Constraints: 33913 3132.15/3140.88 c #Conflicts: 2260000 | #Constraints: 34913 3132.15/3140.88 c #Conflicts: 2261000 | #Constraints: 35913 3132.15/3140.88 c #Conflicts: 2262000 | #Constraints: 36913 3132.15/3140.88 c #Conflicts: 2263000 | #Constraints: 37913 3132.15/3140.88 c #Conflicts: 2264000 | #Constraints: 38916 3132.15/3140.88 c #Conflicts: 2265000 | #Constraints: 39918 3132.15/3140.88 c #Conflicts: 2266000 | #Constraints: 40918 3132.15/3140.88 c #Conflicts: 2267000 | #Constraints: 41918 3132.15/3140.88 c #Conflicts: 2268000 | #Constraints: 42919 3132.15/3140.88 c #Conflicts: 2269000 | #Constraints: 43920 3132.15/3140.88 c #Conflicts: 2270000 | #Constraints: 44922 3132.15/3140.88 c #Conflicts: 2271000 | #Constraints: 45924 3132.15/3140.88 c #Conflicts: 2272000 | #Constraints: 46924 3132.15/3140.88 c #Conflicts: 2273000 | #Constraints: 47924 3132.15/3140.88 c #Conflicts: 2274000 | #Constraints: 48924 3132.15/3140.88 c #Conflicts: 2275000 | #Constraints: 49924 3132.15/3140.88 c #Conflicts: 2276000 | #Constraints: 50925 3132.15/3140.88 c #Conflicts: 2277000 | #Constraints: 51925 3132.15/3140.88 c #Conflicts: 2278000 | #Constraints: 52925 3132.15/3140.88 c #Conflicts: 2279000 | #Constraints: 53925 3132.15/3140.88 c #Conflicts: 2280000 | #Constraints: 54925 3132.15/3140.88 c #Conflicts: 2281000 | #Constraints: 55925 3132.15/3140.88 c #Conflicts: 2282000 | #Constraints: 56927 3132.15/3140.88 c #Conflicts: 2283000 | #Constraints: 57927 3132.15/3140.88 c #Conflicts: 2284000 | #Constraints: 58927 3132.15/3140.88 c #Conflicts: 2285000 | #Constraints: 59928 3132.15/3140.88 c #Conflicts: 2286000 | #Constraints: 60929 3132.15/3140.88 c INPROCESSING 3132.15/3140.88 c GARBAGE COLLECT 3132.15/3140.88 c rational objective 68.8182 3209.75/3218.68 c #Conflicts: 2287000 | #Constraints: 31918 3209.75/3218.68 c #Conflicts: 2288000 | #Constraints: 32919 3209.75/3218.68 c #Conflicts: 2289000 | #Constraints: 33920 3209.75/3218.68 c #Conflicts: 2290000 | #Constraints: 34921 3209.75/3218.68 c #Conflicts: 2291000 | #Constraints: 35922 3209.75/3218.68 c #Conflicts: 2292000 | #Constraints: 36923 3209.75/3218.68 c #Conflicts: 2293000 | #Constraints: 37924 3209.75/3218.68 c #Conflicts: 2294000 | #Constraints: 38924 3209.75/3218.68 c #Conflicts: 2295000 | #Constraints: 39927 3209.75/3218.68 c #Conflicts: 2296000 | #Constraints: 40929 3209.75/3218.68 c #Conflicts: 2297000 | #Constraints: 41929 3209.75/3218.68 c #Conflicts: 2298000 | #Constraints: 42929 3209.75/3218.68 c #Conflicts: 2299000 | #Constraints: 43931 3209.75/3218.68 c #Conflicts: 2300000 | #Constraints: 44932 3209.75/3218.68 c #Conflicts: 2301000 | #Constraints: 45934 3209.75/3218.68 c #Conflicts: 2302000 | #Constraints: 46934 3209.75/3218.68 c #Conflicts: 2303000 | #Constraints: 47935 3209.75/3218.68 c #Conflicts: 2304000 | #Constraints: 48936 3209.75/3218.68 c #Conflicts: 2305000 | #Constraints: 49936 3209.75/3218.68 c #Conflicts: 2306000 | #Constraints: 50936 3209.75/3218.68 c #Conflicts: 2307000 | #Constraints: 51936 3209.75/3218.68 c #Conflicts: 2308000 | #Constraints: 52936 3209.75/3218.68 c #Conflicts: 2309000 | #Constraints: 53938 3209.75/3218.68 c #Conflicts: 2310000 | #Constraints: 54938 3209.75/3218.68 c #Conflicts: 2311000 | #Constraints: 55938 3209.75/3218.68 c #Conflicts: 2312000 | #Constraints: 56938 3209.75/3218.68 c #Conflicts: 2313000 | #Constraints: 57940 3209.75/3218.68 c #Conflicts: 2314000 | #Constraints: 58940 3209.75/3218.68 c #Conflicts: 2315000 | #Constraints: 59940 3209.75/3218.68 c #Conflicts: 2316000 | #Constraints: 60941 3209.75/3218.68 c INPROCESSING 3209.75/3218.68 c GARBAGE COLLECT 3209.75/3218.68 c rational objective 68.8182 3290.96/3300.00 c #Conflicts: 2317000 | #Constraints: 31718 3290.96/3300.00 c #Conflicts: 2318000 | #Constraints: 32719 3290.96/3300.00 c #Conflicts: 2319000 | #Constraints: 33719 3290.96/3300.00 c #Conflicts: 2320000 | #Constraints: 34719 3290.96/3300.00 c #Conflicts: 2321000 | #Constraints: 35719 3290.96/3300.00 c #Conflicts: 2322000 | #Constraints: 36719 3290.96/3300.00 c #Conflicts: 2323000 | #Constraints: 37720 3290.96/3300.00 c #Conflicts: 2324000 | #Constraints: 38721 3290.96/3300.00 c #Conflicts: 2325000 | #Constraints: 39721 3290.96/3300.00 c #Conflicts: 2326000 | #Constraints: 40721 3290.96/3300.00 c #Conflicts: 2327000 | #Constraints: 41723 3290.96/3300.00 c #Conflicts: 2328000 | #Constraints: 42725 3290.96/3300.00 c #Conflicts: 2329000 | #Constraints: 43727 3290.96/3300.00 c #Conflicts: 2330000 | #Constraints: 44727 3290.96/3300.00 c #Conflicts: 2331000 | #Constraints: 45727 3290.96/3300.00 c #Conflicts: 2332000 | #Constraints: 46727 3290.96/3300.00 c #Conflicts: 2333000 | #Constraints: 47727 3290.96/3300.00 c #Conflicts: 2334000 | #Constraints: 48727 3290.96/3300.00 c #Conflicts: 2335000 | #Constraints: 49727 3290.96/3300.00 c #Conflicts: 2336000 | #Constraints: 50727 3290.96/3300.00 c #Conflicts: 2337000 | #Constraints: 51727 3290.96/3300.00 c #Conflicts: 2338000 | #Constraints: 52728 3290.96/3300.00 c #Conflicts: 2339000 | #Constraints: 53728 3290.96/3300.00 c #Conflicts: 2340000 | #Constraints: 54729 3290.96/3300.00 c #Conflicts: 2341000 | #Constraints: 55729 3290.96/3300.00 c #Conflicts: 2342000 | #Constraints: 56730 3290.96/3300.00 c #Conflicts: 2343000 | #Constraints: 57730 3290.96/3300.00 c #Conflicts: 2344000 | #Constraints: 58732 3290.96/3300.00 c #Conflicts: 2345000 | #Constraints: 59732 3290.96/3300.00 c #Conflicts: 2346000 | #Constraints: 60733 3290.96/3300.00 c #Conflicts: 2347000 | #Constraints: 61733 3290.96/3300.00 c INPROCESSING 3290.96/3300.00 c GARBAGE COLLECT 3290.96/3300.00 c rational objective 68.8182 3392.51/3401.84 c #Conflicts: 2348000 | #Constraints: 32323 3392.51/3401.84 c #Conflicts: 2349000 | #Constraints: 33323 3392.51/3401.84 c #Conflicts: 2350000 | #Constraints: 34323 3392.51/3401.84 c #Conflicts: 2351000 | #Constraints: 35324 3392.51/3401.84 c #Conflicts: 2352000 | #Constraints: 36324 3392.51/3401.84 c #Conflicts: 2353000 | #Constraints: 37324 3392.51/3401.84 c #Conflicts: 2354000 | #Constraints: 38324 3392.51/3401.84 c #Conflicts: 2355000 | #Constraints: 39324 3392.51/3401.84 c #Conflicts: 2356000 | #Constraints: 40324 3392.51/3401.84 c #Conflicts: 2357000 | #Constraints: 41325 3392.51/3401.84 c #Conflicts: 2358000 | #Constraints: 42326 3392.51/3401.84 c #Conflicts: 2359000 | #Constraints: 43326 3392.51/3401.84 c #Conflicts: 2360000 | #Constraints: 44326 3392.51/3401.84 c #Conflicts: 2361000 | #Constraints: 45326 3392.51/3401.84 c #Conflicts: 2362000 | #Constraints: 46326 3392.51/3401.84 c #Conflicts: 2363000 | #Constraints: 47326 3392.51/3401.84 c #Conflicts: 2364000 | #Constraints: 48326 3392.51/3401.84 c #Conflicts: 2365000 | #Constraints: 49326 3392.51/3401.84 c #Conflicts: 2366000 | #Constraints: 50326 3392.51/3401.84 c #Conflicts: 2367000 | #Constraints: 51326 3392.51/3401.84 c #Conflicts: 2368000 | #Constraints: 52326 3392.51/3401.84 c #Conflicts: 2369000 | #Constraints: 53329 3392.51/3401.84 c #Conflicts: 2370000 | #Constraints: 54329 3392.51/3401.84 c #Conflicts: 2371000 | #Constraints: 55330 3392.51/3401.84 c #Conflicts: 2372000 | #Constraints: 56331 3392.51/3401.84 c #Conflicts: 2373000 | #Constraints: 57331 3392.51/3401.84 c #Conflicts: 2374000 | #Constraints: 58332 3392.51/3401.84 c #Conflicts: 2375000 | #Constraints: 59334 3392.51/3401.84 c #Conflicts: 2376000 | #Constraints: 60335 3392.51/3401.84 c #Conflicts: 2377000 | #Constraints: 61336 3392.51/3401.84 c #Conflicts: 2378000 | #Constraints: 62336 3392.51/3401.84 c INPROCESSING 3392.51/3401.84 c GARBAGE COLLECT 3392.51/3401.84 c rational objective 68.8182 3461.64/3471.10 c #Conflicts: 2379000 | #Constraints: 32718 3461.64/3471.10 c #Conflicts: 2380000 | #Constraints: 33718 3461.64/3471.10 c #Conflicts: 2381000 | #Constraints: 34718 3461.64/3471.10 c #Conflicts: 2382000 | #Constraints: 35719 3461.64/3471.10 c #Conflicts: 2383000 | #Constraints: 36720 3461.64/3471.10 c #Conflicts: 2384000 | #Constraints: 37721 3461.64/3471.10 c #Conflicts: 2385000 | #Constraints: 38721 3461.64/3471.10 c #Conflicts: 2386000 | #Constraints: 39721 3461.64/3471.10 c #Conflicts: 2387000 | #Constraints: 40721 3461.64/3471.10 c #Conflicts: 2388000 | #Constraints: 41721 3461.64/3471.10 c #Conflicts: 2389000 | #Constraints: 42723 3461.64/3471.10 c #Conflicts: 2390000 | #Constraints: 43723 3461.64/3471.10 c #Conflicts: 2391000 | #Constraints: 44723 3461.64/3471.10 c #Conflicts: 2392000 | #Constraints: 45725 3461.64/3471.10 c #Conflicts: 2393000 | #Constraints: 46726 3461.64/3471.10 c #Conflicts: 2394000 | #Constraints: 47726 3461.64/3471.10 c #Conflicts: 2395000 | #Constraints: 48726 3461.64/3471.10 c #Conflicts: 2396000 | #Constraints: 49726 3461.64/3471.10 c #Conflicts: 2397000 | #Constraints: 50727 3461.64/3471.10 c #Conflicts: 2398000 | #Constraints: 51727 3461.64/3471.10 c #Conflicts: 2399000 | #Constraints: 52727 3461.64/3471.10 c #Conflicts: 2400000 | #Constraints: 53727 3461.64/3471.10 c #Conflicts: 2401000 | #Constraints: 54727 3461.64/3471.10 c #Conflicts: 2402000 | #Constraints: 55727 3461.64/3471.10 c #Conflicts: 2403000 | #Constraints: 56728 3461.64/3471.10 c #Conflicts: 2404000 | #Constraints: 57728 3461.64/3471.10 c #Conflicts: 2405000 | #Constraints: 58728 3461.64/3471.10 c #Conflicts: 2406000 | #Constraints: 59728 3461.64/3471.10 c #Conflicts: 2407000 | #Constraints: 60728 3461.64/3471.10 c #Conflicts: 2408000 | #Constraints: 61728 3461.64/3471.10 c #Conflicts: 2409000 | #Constraints: 62728 3461.64/3471.10 c INPROCESSING 3461.64/3471.10 c GARBAGE COLLECT 3461.64/3471.10 c rational objective 68.8182 3528.37/3538.01 c #Conflicts: 2410000 | #Constraints: 32908 3528.37/3538.01 c #Conflicts: 2411000 | #Constraints: 33908 3528.37/3538.01 c #Conflicts: 2412000 | #Constraints: 34908 3528.37/3538.01 c #Conflicts: 2413000 | #Constraints: 35909 3528.37/3538.01 c #Conflicts: 2414000 | #Constraints: 36909 3528.37/3538.01 c #Conflicts: 2415000 | #Constraints: 37910 3528.37/3538.01 c #Conflicts: 2416000 | #Constraints: 38910 3528.37/3538.01 c #Conflicts: 2417000 | #Constraints: 39910 3528.37/3538.01 c #Conflicts: 2418000 | #Constraints: 40910 3528.37/3538.01 c #Conflicts: 2419000 | #Constraints: 41910 3528.37/3538.01 c #Conflicts: 2420000 | #Constraints: 42910 3528.37/3538.01 c #Conflicts: 2421000 | #Constraints: 43911 3528.37/3538.01 c #Conflicts: 2422000 | #Constraints: 44913 3528.37/3538.01 c #Conflicts: 2423000 | #Constraints: 45913 3528.37/3538.01 c #Conflicts: 2424000 | #Constraints: 46913 3528.37/3538.01 c #Conflicts: 2425000 | #Constraints: 47913 3528.37/3538.01 c #Conflicts: 2426000 | #Constraints: 48913 3528.37/3538.01 c #Conflicts: 2427000 | #Constraints: 49913 3528.37/3538.01 c #Conflicts: 2428000 | #Constraints: 50914 3528.37/3538.01 c #Conflicts: 2429000 | #Constraints: 51915 3528.37/3538.01 c #Conflicts: 2430000 | #Constraints: 52916 3528.37/3538.01 c #Conflicts: 2431000 | #Constraints: 53918 3528.37/3538.01 c #Conflicts: 2432000 | #Constraints: 54920 3528.37/3538.01 c #Conflicts: 2433000 | #Constraints: 55921 3528.37/3538.01 c #Conflicts: 2434000 | #Constraints: 56921 3528.37/3538.01 c #Conflicts: 2435000 | #Constraints: 57921 3528.37/3538.01 c #Conflicts: 2436000 | #Constraints: 58922 3528.37/3538.01 c #Conflicts: 2437000 | #Constraints: 59922 3528.37/3538.01 c #Conflicts: 2438000 | #Constraints: 60922 3528.37/3538.01 c #Conflicts: 2439000 | #Constraints: 61924 3528.37/3538.01 c #Conflicts: 2440000 | #Constraints: 62925 3528.37/3538.01 c INPROCESSING 3528.37/3538.01 c GARBAGE COLLECT 3528.37/3538.01 c rational objective 68.8182 3583.14/3592.90 c #Conflicts: 2441000 | #Constraints: 32911 3583.14/3592.90 c #Conflicts: 2442000 | #Constraints: 33911 3583.14/3592.90 c #Conflicts: 2443000 | #Constraints: 34911 3583.14/3592.90 c #Conflicts: 2444000 | #Constraints: 35911 3583.14/3592.90 c #Conflicts: 2445000 | #Constraints: 36911 3583.14/3592.90 c #Conflicts: 2446000 | #Constraints: 37911 3583.14/3592.90 c #Conflicts: 2447000 | #Constraints: 38911 3583.14/3592.90 c #Conflicts: 2448000 | #Constraints: 39911 3583.14/3592.90 c #Conflicts: 2449000 | #Constraints: 40911 3583.14/3592.90 c #Conflicts: 2450000 | #Constraints: 41912 3583.14/3592.90 c #Conflicts: 2451000 | #Constraints: 42913 3583.14/3592.90 c #Conflicts: 2452000 | #Constraints: 43913 3583.14/3592.90 c #Conflicts: 2453000 | #Constraints: 44913 3583.14/3592.90 c #Conflicts: 2454000 | #Constraints: 45913 3583.14/3592.90 c #Conflicts: 2455000 | #Constraints: 46913 3583.14/3592.90 c #Conflicts: 2456000 | #Constraints: 47913 3583.14/3592.90 c #Conflicts: 2457000 | #Constraints: 48914 3583.14/3592.90 c #Conflicts: 2458000 | #Constraints: 49914 3583.14/3592.90 c #Conflicts: 2459000 | #Constraints: 50914 3583.14/3592.90 c #Conflicts: 2460000 | #Constraints: 51914 3583.14/3592.90 c #Conflicts: 2461000 | #Constraints: 52914 3583.14/3592.90 c #Conflicts: 2462000 | #Constraints: 53915 3583.14/3592.90 c #Conflicts: 2463000 | #Constraints: 54915 3583.14/3592.90 c #Conflicts: 2464000 | #Constraints: 55915 3583.14/3592.90 c #Conflicts: 2465000 | #Constraints: 56916 3583.14/3592.90 c #Conflicts: 2466000 | #Constraints: 57916 3583.14/3592.90 c #Conflicts: 2467000 | #Constraints: 58916 3583.14/3592.90 c #Conflicts: 2468000 | #Constraints: 59917 3583.14/3592.90 c #Conflicts: 2469000 | #Constraints: 60918 3583.14/3592.90 c #Conflicts: 2470000 | #Constraints: 61918 3583.14/3592.90 c #Conflicts: 2471000 | #Constraints: 62918 3583.14/3592.90 c INPROCESSING 3583.14/3592.90 c GARBAGE COLLECT 3583.14/3592.90 c rational objective 68.8182 3600.01/3609.80 c #Conflicts: 2472000 | #Constraints: 32704 3600.01/3609.80 c #Conflicts: 2473000 | #Constraints: 33704 3600.01/3609.80 c #Conflicts: 2474000 | #Constraints: 34704 3600.01/3609.80 c #Conflicts: 2475000 | #Constraints: 35705 3600.01/3609.80 c #Conflicts: 2476000 | #Constraints: 36705 3600.01/3609.80 c #Conflicts: 2477000 | #Constraints: 37707 3600.01/3609.80 c #Conflicts: 2478000 | #Constraints: 38708 3600.01/3609.80 c #Conflicts: 2479000 | #Constraints: 39709 3600.01/3609.80 c #Conflicts: 2480000 | #Constraints: 40711 3600.01/3609.80 c #Conflicts: 2481000 | #Constraints: 41713 3600.01/3609.80 c #Conflicts: 2482000 | #Constraints: 42713 3600.01/3609.80 c #Conflicts: 2483000 | #Constraints: 43715 3600.01/3609.80 c Program interrupted by user. 3600.01/3609.83 c cpu time 3575.97 s 3600.01/3609.83 c deterministic time 569446357848 5.69e+11 3600.01/3609.83 c optimization time 16.6769 s 3600.01/3609.83 c total solve time 3559.29 s 3600.01/3609.83 c core-guided solve time 0 s 3600.01/3609.83 c propagation time 3241.36 s 3600.01/3609.83 c conflict analysis time 241.688 s 3600.01/3609.83 c propagations 161460726 3600.01/3609.83 c resolve steps 42615836 3600.01/3609.83 c decisions 4084764 3600.01/3609.83 c conflicts 2483765 3600.01/3609.83 c restarts 4179 3600.01/3609.83 c inprocessing phases 148 3600.01/3609.83 c input clauses 738 3600.01/3609.83 c input cardinalities 2 3600.01/3609.83 c input general constraints 345 3600.01/3609.83 c input average constraint length 5.51 3600.01/3609.83 c input average constraint degree 2.72 3600.01/3609.83 c learned clauses 2016430 3600.01/3609.83 c learned cardinalities 1701 3600.01/3609.83 c learned general constraints 467161 3600.01/3609.83 c learned average constraint length 184.09 3600.01/3609.83 c learned average constraint degree 6589145.10 3600.01/3609.83 c watched constraints 466287 3600.01/3609.83 c counting constraints 1219 3600.01/3609.83 c gcd simplifications 247199 3600.01/3609.83 c detected cardinalities 402 3600.01/3609.83 c weakened non-implied lits 47845560 3600.01/3609.83 c weakened non-implying lits 703748 3600.01/3609.83 c original variables 490 3600.01/3609.83 c clausal propagations 53522301 3600.01/3609.83 c cardinality propagations 1932569 3600.01/3609.83 c watched propagations 36804570 3600.01/3609.83 c counting propagations 65626780 3600.01/3609.83 c watch lookups 39845977861 3600.01/3609.83 c watch backjump lookups 14147903516 3600.01/3609.83 c watch checks 502960365836 3600.01/3609.83 c propagation checks 10947035220 3600.01/3609.83 c constraint additions 1207871392 3600.01/3609.83 c trail pops 168027306 3600.01/3609.83 c formula constraints 1085 3600.01/3609.83 c learned constraints 2482238 3600.01/3609.83 c bound constraints 0 3600.01/3609.83 c core-guided constraints 0 3600.01/3609.83 c encountered formula constraints 32753234 3600.01/3609.83 c encountered learned constraints 12342421 3600.01/3609.83 c encountered bound constraints 0 3600.01/3609.83 c encountered core-guided constraints 0 3600.01/3609.83 c LP total time 145.608 s 3600.01/3609.83 c LP solve time 136.15 s 3600.01/3609.83 c LP constraints added 1178 3600.01/3609.83 c LP constraints removed 82 3600.01/3609.83 c LP pivots internal 2483766 3600.01/3609.83 c LP pivots root 1147460 3600.01/3609.83 c LP calls 9203 3600.01/3609.83 c LP optimalities 7672 3600.01/3609.83 c LP no pivot count 0 3600.01/3609.83 c LP infeasibilities 1527 3600.01/3609.83 c LP valid Farkas constraints 1527 3600.01/3609.83 c LP learned Farkas constraints 1527 3600.01/3609.83 c LP basis resets 0 3600.01/3609.83 c LP cycling count 0 3600.01/3609.83 c LP singular count 0 3600.01/3609.83 c LP no primal count 0 3600.01/3609.83 c LP no farkas count 0 3600.01/3609.83 c LP other issue count 0 3600.01/3609.83 c LP Gomory cuts 0 3600.01/3609.83 c LP learned cuts 93 3600.01/3609.83 c LP deleted cuts 82 3600.01/3609.83 c LP encountered Gomory constraints 0 3600.01/3609.83 c LP encountered Farkas constraints 714 3600.01/3609.83 c LP encountered learned Farkas constraints 1705 3600.01/3609.83 c CG auxiliary variables introduced 0 3600.01/3609.83 c CG solutions found 0 3600.01/3609.83 c CG cores constructed 0 3600.01/3609.83 c CG core cardinality constraints returned 0 3600.01/3609.83 c CG unit cores 0 3600.01/3609.83 c CG single cores 0 3600.01/3609.83 c CG blocks removed during cardinality reduction 0 3600.01/3609.83 c CG first core best 0 3600.01/3609.83 c CG decision core best 0 3600.01/3609.83 c CG core reduction tie 0 3600.01/3609.83 c CG core degree average 0.00 3600.01/3609.83 c CG core slack average 0.00 3600.01/3609.83 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61438 MiB free)
memory of node 1: 64510 MiB (61774 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456867-1721817187/watcher-4456867-1721817187 -o /tmp/evaluation-result-4456867-1721817187/solver-4456867-1721817187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721817186-192409 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456867-1721817187 --lp-cut-gomory=0 HOME/instance-4456867-1721817187.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=192447, runsolver pid=192443
Current StackSize limit: 8192 KiB
[startup+0.100582 s]*
/proc/loadavg: 0.04 0.07 0.09 6/259 192471
/proc/meminfo: memFree=126153424/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=39324 memory=9344 CPUtime=0.09 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 802 0 1 0 9 0 0 0 20 0 1 0 18247329 40267776 2336 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 9831 2336 1750 992 0 1689 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 9344 KiB
[startup+0.20564 s]*
/proc/loadavg: 0.04 0.07 0.09 5/259 192471
/proc/meminfo: memFree=126139828/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=39324 memory=11656 CPUtime=0.19 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 876 0 1 0 18 1 0 0 20 0 1 0 18247329 40267776 2914 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 9831 2914 1750 992 0 1689 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 11656 KiB
[startup+0.305053 s]*
/proc/loadavg: 0.04 0.07 0.09 5/259 192471
/proc/meminfo: memFree=126137196/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=39456 memory=11972 CPUtime=0.29 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 929 0 1 0 28 1 0 0 20 0 1 0 18247329 40402944 2993 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 9864 2993 1765 992 0 1722 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39456 KiB
Current children cumulated memory: 11972 KiB
[startup+0.700152 s]
/proc/loadavg: 0.04 0.07 0.09 5/259 192471
/proc/meminfo: memFree=126132048/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=39860 memory=12236 CPUtime=0.68 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 1021 0 1 0 65 3 0 0 20 0 1 0 18247329 40816640 3059 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 9965 3059 1765 992 0 1823 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39860 KiB
Current children cumulated memory: 12236 KiB
[startup+1.50016 s]
/proc/loadavg: 0.04 0.07 0.09 5/259 192471
/proc/meminfo: memFree=126121604/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=40400 memory=13436 CPUtime=1.48 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 1213 0 1 0 142 6 0 0 20 0 1 0 18247329 41369600 3359 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 10100 3359 1874 992 0 1958 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40400 KiB
Current children cumulated memory: 13436 KiB
[startup+3.10568 s]
/proc/loadavg: 0.04 0.07 0.09 5/260 192518
/proc/meminfo: memFree=126082220/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=41288 memory=15544 CPUtime=3.08 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 1747 0 1 0 298 10 0 0 20 0 1 0 18247329 42278912 3886 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 10322 3886 1874 992 0 2180 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 15544 KiB
[startup+6.30015 s]
/proc/loadavg: 0.36 0.14 0.11 5/261 192521
/proc/meminfo: memFree=126021820/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=44836 memory=17116 CPUtime=6.27 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 2170 0 1 0 608 19 0 0 20 0 1 0 18247329 45912064 4279 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 11209 4279 1874 992 0 3067 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44836 KiB
Current children cumulated memory: 17116 KiB
[startup+12.7001 s]
/proc/loadavg: 0.73 0.22 0.14 5/262 192890
/proc/meminfo: memFree=126047776/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=45892 memory=19368 CPUtime=12.65 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 2726 0 1 0 1229 36 0 0 20 0 1 0 18247329 46993408 4842 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 11473 4842 1874 992 0 3331 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45892 KiB
Current children cumulated memory: 19368 KiB
[startup+25.5002 s]
/proc/loadavg: 1.46 0.41 0.20 5/260 192892
/proc/meminfo: memFree=125930332/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=51604 memory=22312 CPUtime=25.41 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 3578 0 1 0 2478 63 0 0 20 0 1 0 18247329 52842496 5578 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 12901 5578 1874 992 0 4759 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 51604 KiB
Current children cumulated memory: 22312 KiB
[startup+51.1057 s]
/proc/loadavg: 2.33 0.70 0.30 5/262 192944
/proc/meminfo: memFree=125400696/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=53848 memory=27556 CPUtime=50.93 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 4618 0 1 0 4980 113 0 0 20 0 1 0 18247329 55140352 6889 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 13462 6889 1874 992 0 5320 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 53848 KiB
Current children cumulated memory: 27556 KiB
[startup+102.3 s]
/proc/loadavg: 3.39 1.24 0.51 5/262 192953
/proc/meminfo: memFree=124556328/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=62408 memory=30704 CPUtime=101.94 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 5738 0 1 0 9999 195 0 0 20 0 1 0 18247329 63905792 7676 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 15602 7676 1874 992 0 7460 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 62408 KiB
Current children cumulated memory: 30704 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.76 0.74 5/261 192966
/proc/meminfo: memFree=123692912/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=64100 memory=34616 CPUtime=161.73 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 6747 0 1 0 15895 278 0 0 20 0 1 0 18247329 65638400 8654 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 16025 8654 1874 992 0 7883 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 64100 KiB
Current children cumulated memory: 34616 KiB
[startup+222.3 s]
/proc/loadavg: 3.94 2.17 0.94 5/261 192976
/proc/meminfo: memFree=122823520/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=65884 memory=38672 CPUtime=221.52 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 7723 0 1 0 21799 353 0 0 20 0 1 0 18247329 67465216 9668 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 16471 9668 1874 992 0 8329 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 65884 KiB
Current children cumulated memory: 38672 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.54 1.15 5/261 192986
/proc/meminfo: memFree=122517384/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=67600 memory=40408 CPUtime=281.35 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 8806 0 1 0 27703 432 0 0 20 0 1 0 18247329 69222400 10102 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 16900 10102 1874 992 0 8758 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 67600 KiB
Current children cumulated memory: 40408 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 2.82 1.33 5/260 192997
/proc/meminfo: memFree=121953280/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=79956 memory=44424 CPUtime=341.17 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 9857 0 1 0 33619 498 0 0 20 0 1 0 18247329 81874944 11106 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 19989 11106 1874 992 0 11847 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 79956 KiB
Current children cumulated memory: 44424 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.07 1.51 5/259 193009
/proc/meminfo: memFree=121415460/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=81108 memory=45488 CPUtime=400.98 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 10558 0 1 0 39541 557 0 0 20 0 1 0 18247329 83054592 11372 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 20277 11372 1874 992 0 12135 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 81108 KiB
Current children cumulated memory: 45488 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.27 1.68 5/260 193023
/proc/meminfo: memFree=120907916/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=81420 memory=45856 CPUtime=460.8 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 11170 0 1 0 45455 625 0 0 20 0 1 0 18247329 83374080 11464 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 20355 11464 1874 992 0 12213 0
################
# More data... #
################
Current children cumulated memory: 82012 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.15 4.01 5/262 194146
/proc/meminfo: memFree=103716552/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=115816 memory=82160 CPUtime=2854.36 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 25803 0 1 0 283327 2109 0 0 20 0 1 0 18247329 118595584 20540 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 28954 20540 1874 992 0 20812 0
Current children cumulated CPU time: 2854.36 s
Current children cumulated vsize: 115816 KiB
Current children cumulated memory: 82160 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.01 5/262 194158
/proc/meminfo: memFree=103354044/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=116172 memory=82500 CPUtime=2914.2 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 26102 0 1 0 289281 2139 0 0 20 0 1 0 18247329 118960128 20625 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 29043 20625 1874 992 0 20901 0
Current children cumulated CPU time: 2914.2 s
Current children cumulated vsize: 116172 KiB
Current children cumulated memory: 82500 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.01 5/262 194171
/proc/meminfo: memFree=103086416/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=116176 memory=82508 CPUtime=2974.05 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 26318 0 1 0 295243 2162 0 0 20 0 1 0 18247329 118964224 20627 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 29044 20627 1874 992 0 20902 0
Current children cumulated CPU time: 2974.05 s
Current children cumulated vsize: 116176 KiB
Current children cumulated memory: 82508 KiB
[startup+3042.3 s]
/proc/loadavg: 4.26 4.16 4.03 5/263 194182
/proc/meminfo: memFree=102684632/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=116176 memory=82508 CPUtime=3033.89 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 26350 0 1 0 301205 2184 0 0 20 0 1 0 18247329 118964224 20627 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 29044 20627 1874 992 0 20902 0
Current children cumulated CPU time: 3033.89 s
Current children cumulated vsize: 116176 KiB
Current children cumulated memory: 82508 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.15 4.03 5/263 194193
/proc/meminfo: memFree=102338236/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=116176 memory=82512 CPUtime=3093.74 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 26563 0 1 0 307168 2206 0 0 20 0 1 0 18247329 118964224 20628 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 29044 20628 1874 992 0 20902 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 116176 KiB
Current children cumulated memory: 82512 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.03 5/262 194586
/proc/meminfo: memFree=102118840/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=116180 memory=82520 CPUtime=3153.6 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 26788 0 1 0 313132 2228 0 0 20 0 1 0 18247329 118968320 20630 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 29045 20630 1874 992 0 20903 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 116180 KiB
Current children cumulated memory: 82520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.03 5/262 194598
/proc/meminfo: memFree=101848260/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=117064 memory=83236 CPUtime=3213.45 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 27178 0 1 0 319098 2247 0 0 20 0 1 0 18247329 119873536 20809 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 29266 20809 1874 992 0 21124 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 117064 KiB
Current children cumulated memory: 83236 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.03 5/262 194610
/proc/meminfo: memFree=101505316/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=117064 memory=83236 CPUtime=3273.29 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 27209 0 1 0 325062 2267 0 0 20 0 1 0 18247329 119873536 20809 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 29266 20809 1874 992 0 21124 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 117064 KiB
Current children cumulated memory: 83236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/262 194788
/proc/meminfo: memFree=101291452/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=118344 memory=84108 CPUtime=3333.15 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 27640 0 1 0 331021 2294 0 0 20 0 1 0 18247329 121184256 21027 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 29586 21027 1874 992 0 21444 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 118344 KiB
Current children cumulated memory: 84108 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/260 194799
/proc/meminfo: memFree=100980484/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=121292 memory=88620 CPUtime=3393.01 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 28281 0 1 0 336987 2314 0 0 20 0 1 0 18247329 124203008 22155 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 30323 22155 1874 992 0 22181 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 121292 KiB
Current children cumulated memory: 88620 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.16 4.06 5/260 194866
/proc/meminfo: memFree=100682584/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=121432 memory=88620 CPUtime=3452.86 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 28335 0 1 0 342947 2339 0 0 20 0 1 0 18247329 124346368 22155 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 30358 22155 1874 992 0 22216 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 121432 KiB
Current children cumulated memory: 88620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.19 4.07 5/260 194877
/proc/meminfo: memFree=100438636/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=121944 memory=89068 CPUtime=3512.71 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 28647 0 1 0 348909 2362 0 0 20 0 1 0 18247329 124870656 22267 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 30486 22267 1874 992 0 22344 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 121944 KiB
Current children cumulated memory: 89068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.18 4.08 5/262 194893
/proc/meminfo: memFree=100207264/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=122576 memory=89664 CPUtime=3572.57 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 28981 0 1 0 354868 2389 0 0 20 0 1 0 18247329 125517824 22416 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 30644 22416 1874 992 0 22502 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 122576 KiB
Current children cumulated memory: 89664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.16 4.18 4.08 5/262 194899
/proc/meminfo: memFree=100086268/131524600 swapFree=131065292/131071996
[pid=192447] ppid=192443 vsize=122960 memory=90044 CPUtime=3600.01 cores=4,6
/proc/192447/stat : 192447 (roundingsat) R 192443 192447 192398 0 -1 4194304 29287 0 1 0 357597 2404 0 0 20 0 1 0 18247329 125911040 22511 134679101440 4194304 8254037 140728734867104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38043648 140728734876508 140728734876770 140728734876770 140728734883785 0
/proc/192447/statm: 30740 22511 1874 992 0 22598 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 122960 KiB
Current children cumulated memory: 90044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.84 s]
# the end of solver process 192447 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.97 s, system=24.0462 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.84
CPU time (s): 3600.02
CPU user time (s): 3575.97
CPU system time (s): 24.0462
CPU usage (%): 99.728
Max. virtual memory (cumulated for all children) (KiB): 122960
Max. memory (cumulated for all children) (KiB): 90044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.97
system time used= 24.0462
maximum resident set size= 90576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29302
page faults= 1
swaps= 0
block input operations= 248
block output operations= 3547936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58
involuntary context switches= 8401
# summary of solver processes directly reported to runsolver:
# pid: 192447
# total CPU time (s): 3600.02
# total CPU user time (s): 3575.97
# total CPU system time (s): 24.0462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00014 second user time and 17.1508 second system time
The end
Begin job on nodeC021 at 2024-07-24 12:33:07 IDJOB=4456867 IDBENCH=147869 IDSOLVER=3085 FILE ID=nodeC021/4456867-1721817187 RUNJOBID= nodeC021-1721817186-192409 SLURM_JOB_ID= 7816876 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army13.24bt.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456867-1721817187/watcher-4456867-1721817187 -o /tmp/evaluation-result-4456867-1721817187/solver-4456867-1721817187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721817186-192409 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456867-1721817187 --lp-cut-gomory=0 HOME/instance-4456867-1721817187.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b1cc89baa8bd080d13ae67cc087920d3 RANDOM SEED=990321049 nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3270.022 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3123.808 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3277.763 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.385 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3503.577 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.619 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3558.509 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3211.250 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126176580 kB MemAvailable: 129688536 kB Buffers: 247852 kB Cached: 4059084 kB SwapCached: 192 kB Active: 2603992 kB Inactive: 2071564 kB Active(anon): 1612 kB Inactive(anon): 420744 kB Active(file): 2602380 kB Inactive(file): 1650820 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131065292 kB Dirty: 11308 kB Writeback: 0 kB AnonPages: 368260 kB Mapped: 119544 kB Shmem: 53696 kB KReclaimable: 196808 kB Slab: 317748 kB SReclaimable: 196808 kB SUnreclaim: 120940 kB KernelStack: 3904 kB PageTables: 9648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 738008 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20800 kB HardwareCorrupted: 0 kB AnonHugePages: 253952 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: 322260 kB DirectMap2M: 40345600 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890060 MiB End job on nodeC021 at 2024-07-24 13:33:17