| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.03 | 3615.57 |
| Name | PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21bt.opb |
| MD5SUM | 8150ec280d22960cf2e4079d2206c8ae |
| 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.210661 |
| 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 | 428 |
| Total number of constraints | 942 |
| Number of constraints which are clauses | 645 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 295 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 144 |
| 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 | 189 |
| 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.00 c #variables 428 #constraints 942 2.38/2.45 c #Conflicts: 1000 | #Constraints: 1942 2.38/2.45 c #Conflicts: 2000 | #Constraints: 2943 2.38/2.45 c INPROCESSING 2.38/2.45 c GARBAGE COLLECT 2.38/2.45 c #Conflicts: 3000 | #Constraints: 2917 2.38/2.45 c #Conflicts: 4000 | #Constraints: 3918 2.38/2.45 c INPROCESSING 2.38/2.45 c GARBAGE COLLECT 2.38/2.45 c #Conflicts: 5000 | #Constraints: 3317 2.38/2.45 c #Conflicts: 6000 | #Constraints: 4317 2.38/2.45 c INPROCESSING 2.38/2.45 c GARBAGE COLLECT 2.38/2.45 c #Conflicts: 7000 | #Constraints: 3324 2.38/2.45 c #Conflicts: 8000 | #Constraints: 4325 2.38/2.45 c #Conflicts: 9000 | #Constraints: 5326 2.38/2.45 c INPROCESSING 2.38/2.45 c GARBAGE COLLECT 2.38/2.45 c rational objective 60.8197 4.18/4.24 c #Conflicts: 10000 | #Constraints: 4022 4.18/4.24 c #Conflicts: 11000 | #Constraints: 5022 4.18/4.24 c #Conflicts: 12000 | #Constraints: 6022 4.18/4.24 c INPROCESSING 4.18/4.24 c GARBAGE COLLECT 4.18/4.24 c #Conflicts: 13000 | #Constraints: 4427 4.18/4.24 c #Conflicts: 14000 | #Constraints: 5427 4.18/4.24 c #Conflicts: 15000 | #Constraints: 6427 4.18/4.24 c INPROCESSING 4.18/4.24 c GARBAGE COLLECT 4.18/4.24 c rational objective 60.9743 5.37/5.47 c #Conflicts: 16000 | #Constraints: 4658 5.37/5.47 c #Conflicts: 17000 | #Constraints: 5659 5.37/5.47 c #Conflicts: 18000 | #Constraints: 6659 5.37/5.47 c INPROCESSING 5.37/5.47 c GARBAGE COLLECT 5.37/5.47 c rational objective 60.9749 7.98/8.00 c #Conflicts: 19000 | #Constraints: 4677 7.98/8.00 c #Conflicts: 20000 | #Constraints: 5678 7.98/8.00 c #Conflicts: 21000 | #Constraints: 6680 7.98/8.00 c INPROCESSING 7.98/8.00 c GARBAGE COLLECT 7.98/8.00 c #Conflicts: 22000 | #Constraints: 4489 7.98/8.00 c #Conflicts: 23000 | #Constraints: 5490 7.98/8.00 c #Conflicts: 24000 | #Constraints: 6490 7.98/8.00 c #Conflicts: 25000 | #Constraints: 7490 7.98/8.00 c INPROCESSING 7.98/8.00 c GARBAGE COLLECT 7.98/8.00 c rational objective 60.9781 10.66/10.79 c #Conflicts: 26000 | #Constraints: 5087 10.66/10.79 c #Conflicts: 27000 | #Constraints: 6088 10.66/10.79 c #Conflicts: 28000 | #Constraints: 7089 10.66/10.79 c #Conflicts: 29000 | #Constraints: 8091 10.66/10.79 c INPROCESSING 10.66/10.79 c GARBAGE COLLECT 10.66/10.79 c #Conflicts: 30000 | #Constraints: 5485 10.66/10.79 c #Conflicts: 31000 | #Constraints: 6485 10.66/10.79 c #Conflicts: 32000 | #Constraints: 7485 10.66/10.79 c #Conflicts: 33000 | #Constraints: 8485 10.66/10.79 c INPROCESSING 10.66/10.79 c GARBAGE COLLECT 10.66/10.79 c rational objective 60.9815 12.46/12.53 c #Conflicts: 34000 | #Constraints: 5686 12.46/12.53 c #Conflicts: 35000 | #Constraints: 6686 12.46/12.53 c #Conflicts: 36000 | #Constraints: 7686 12.46/12.53 c #Conflicts: 37000 | #Constraints: 8687 12.46/12.53 c INPROCESSING 12.46/12.53 c GARBAGE COLLECT 12.46/12.53 c rational objective 60.9816 14.26/14.30 c #Conflicts: 38000 | #Constraints: 5696 14.26/14.30 c #Conflicts: 39000 | #Constraints: 6697 14.26/14.30 c #Conflicts: 40000 | #Constraints: 7697 14.26/14.30 c #Conflicts: 41000 | #Constraints: 8699 14.26/14.30 c INPROCESSING 14.26/14.30 c GARBAGE COLLECT 14.26/14.30 c rational objective 60.983 20.44/20.50 c #Conflicts: 42000 | #Constraints: 5499 20.44/20.50 c #Conflicts: 43000 | #Constraints: 6499 20.44/20.50 c #Conflicts: 44000 | #Constraints: 7502 20.44/20.50 c #Conflicts: 45000 | #Constraints: 8502 20.44/20.50 c #Conflicts: 46000 | #Constraints: 9504 20.44/20.50 c INPROCESSING 20.44/20.50 c GARBAGE COLLECT 20.44/20.50 c #Conflicts: 47000 | #Constraints: 6096 20.44/20.50 c #Conflicts: 48000 | #Constraints: 7096 20.44/20.50 c #Conflicts: 49000 | #Constraints: 8098 20.44/20.50 c #Conflicts: 50000 | #Constraints: 9098 20.44/20.50 c #Conflicts: 51000 | #Constraints: 10098 20.44/20.50 c INPROCESSING 20.44/20.50 c GARBAGE COLLECT 20.44/20.50 c #Conflicts: 52000 | #Constraints: 6492 20.44/20.50 c #Conflicts: 53000 | #Constraints: 7492 20.44/20.50 c #Conflicts: 54000 | #Constraints: 8492 20.44/20.50 c #Conflicts: 55000 | #Constraints: 9495 20.44/20.50 c #Conflicts: 56000 | #Constraints: 10496 20.44/20.50 c INPROCESSING 20.44/20.50 c GARBAGE COLLECT 20.44/20.50 c rational objective 60.9923 24.93/25.04 c #Conflicts: 57000 | #Constraints: 6693 24.93/25.04 c #Conflicts: 58000 | #Constraints: 7693 24.93/25.04 c #Conflicts: 59000 | #Constraints: 8693 24.93/25.04 c #Conflicts: 60000 | #Constraints: 9693 24.93/25.04 c #Conflicts: 61000 | #Constraints: 10694 24.93/25.04 c INPROCESSING 24.93/25.04 c GARBAGE COLLECT 24.93/25.04 c #Conflicts: 62000 | #Constraints: 6694 24.93/25.04 c #Conflicts: 63000 | #Constraints: 7694 24.93/25.04 c #Conflicts: 64000 | #Constraints: 8694 24.93/25.04 c #Conflicts: 65000 | #Constraints: 9694 24.93/25.04 c #Conflicts: 66000 | #Constraints: 10694 24.93/25.04 c INPROCESSING 24.93/25.04 c GARBAGE COLLECT 24.93/25.04 c rational objective 60.9944 27.72/27.87 c #Conflicts: 67000 | #Constraints: 6492 27.72/27.87 c #Conflicts: 68000 | #Constraints: 7492 27.72/27.87 c #Conflicts: 69000 | #Constraints: 8492 27.72/27.87 c #Conflicts: 70000 | #Constraints: 9492 27.72/27.87 c #Conflicts: 71000 | #Constraints: 10492 27.72/27.87 c #Conflicts: 72000 | #Constraints: 11493 27.72/27.87 c INPROCESSING 27.72/27.87 c GARBAGE COLLECT 27.72/27.87 c rational objective 60.9976 30.41/30.54 c #Conflicts: 73000 | #Constraints: 7081 30.41/30.54 c #Conflicts: 74000 | #Constraints: 8083 30.41/30.54 c #Conflicts: 75000 | #Constraints: 9083 30.41/30.54 c #Conflicts: 76000 | #Constraints: 10083 30.41/30.54 c #Conflicts: 77000 | #Constraints: 11083 30.41/30.54 c #Conflicts: 78000 | #Constraints: 12085 30.41/30.54 c INPROCESSING 30.41/30.54 c GARBAGE COLLECT 30.41/30.54 c rational objective 61.0041 33.91/34.04 c #Conflicts: 79000 | #Constraints: 7486 33.91/34.04 c #Conflicts: 80000 | #Constraints: 8486 33.91/34.04 c #Conflicts: 81000 | #Constraints: 9489 33.91/34.04 c #Conflicts: 82000 | #Constraints: 10490 33.91/34.04 c #Conflicts: 83000 | #Constraints: 11490 33.91/34.04 c #Conflicts: 84000 | #Constraints: 12490 33.91/34.04 c INPROCESSING 33.91/34.04 c GARBAGE COLLECT 33.91/34.04 c rational objective 61.0041 37.00/37.13 c #Conflicts: 85000 | #Constraints: 7692 37.00/37.13 c #Conflicts: 86000 | #Constraints: 8692 37.00/37.13 c #Conflicts: 87000 | #Constraints: 9692 37.00/37.13 c #Conflicts: 88000 | #Constraints: 10692 37.00/37.13 c #Conflicts: 89000 | #Constraints: 11693 37.00/37.13 c #Conflicts: 90000 | #Constraints: 12693 37.00/37.13 c INPROCESSING 37.00/37.13 c GARBAGE COLLECT 37.00/37.13 c rational objective 61.0044 40.49/40.68 c #Conflicts: 91000 | #Constraints: 7693 40.49/40.68 c #Conflicts: 92000 | #Constraints: 8693 40.49/40.68 c #Conflicts: 93000 | #Constraints: 9694 40.49/40.68 c #Conflicts: 94000 | #Constraints: 10694 40.49/40.68 c #Conflicts: 95000 | #Constraints: 11694 40.49/40.68 c #Conflicts: 96000 | #Constraints: 12694 40.49/40.68 c INPROCESSING 40.49/40.68 c GARBAGE COLLECT 40.49/40.68 c rational objective 61.0097 44.38/44.51 c #Conflicts: 97000 | #Constraints: 7495 44.38/44.51 c #Conflicts: 98000 | #Constraints: 8495 44.38/44.51 c #Conflicts: 99000 | #Constraints: 9496 44.38/44.51 c #Conflicts: 100000 | #Constraints: 10496 44.38/44.51 c #Conflicts: 101000 | #Constraints: 11496 44.38/44.51 c #Conflicts: 102000 | #Constraints: 12496 44.38/44.51 c #Conflicts: 103000 | #Constraints: 13497 44.38/44.51 c INPROCESSING 44.38/44.51 c GARBAGE COLLECT 44.38/44.51 c rational objective 61.0098 47.58/47.76 c #Conflicts: 104000 | #Constraints: 8092 47.58/47.76 c #Conflicts: 105000 | #Constraints: 9092 47.58/47.76 c #Conflicts: 106000 | #Constraints: 10092 47.58/47.76 c #Conflicts: 107000 | #Constraints: 11092 47.58/47.76 c #Conflicts: 108000 | #Constraints: 12093 47.58/47.76 c #Conflicts: 109000 | #Constraints: 13095 47.58/47.76 c #Conflicts: 110000 | #Constraints: 14096 47.58/47.76 c INPROCESSING 47.58/47.76 c GARBAGE COLLECT 47.58/47.76 c rational objective 61.0103 51.06/51.23 c #Conflicts: 111000 | #Constraints: 8495 51.06/51.23 c #Conflicts: 112000 | #Constraints: 9496 51.06/51.23 c #Conflicts: 113000 | #Constraints: 10496 51.06/51.23 c #Conflicts: 114000 | #Constraints: 11498 51.06/51.23 c #Conflicts: 115000 | #Constraints: 12498 51.06/51.23 c #Conflicts: 116000 | #Constraints: 13498 51.06/51.23 c #Conflicts: 117000 | #Constraints: 14498 51.06/51.23 c INPROCESSING 51.06/51.23 c GARBAGE COLLECT 51.06/51.23 c rational objective 61.0144 54.86/55.07 c #Conflicts: 118000 | #Constraints: 8693 54.86/55.07 c #Conflicts: 119000 | #Constraints: 9693 54.86/55.07 c #Conflicts: 120000 | #Constraints: 10694 54.86/55.07 c #Conflicts: 121000 | #Constraints: 11694 54.86/55.07 c #Conflicts: 122000 | #Constraints: 12695 54.86/55.07 c #Conflicts: 123000 | #Constraints: 13695 54.86/55.07 c #Conflicts: 124000 | #Constraints: 14695 54.86/55.07 c INPROCESSING 54.86/55.07 c GARBAGE COLLECT 54.86/55.07 c rational objective 61.0146 58.44/58.69 c #Conflicts: 125000 | #Constraints: 8689 58.44/58.69 c #Conflicts: 126000 | #Constraints: 9689 58.44/58.69 c #Conflicts: 127000 | #Constraints: 10689 58.44/58.69 c #Conflicts: 128000 | #Constraints: 11689 58.44/58.69 c #Conflicts: 129000 | #Constraints: 12689 58.44/58.69 c #Conflicts: 130000 | #Constraints: 13689 58.44/58.69 c #Conflicts: 131000 | #Constraints: 14689 58.44/58.69 c INPROCESSING 58.44/58.69 c GARBAGE COLLECT 58.44/58.69 c rational objective 61.0146 62.63/62.83 c #Conflicts: 132000 | #Constraints: 8486 62.63/62.83 c #Conflicts: 133000 | #Constraints: 9487 62.63/62.83 c #Conflicts: 134000 | #Constraints: 10489 62.63/62.83 c #Conflicts: 135000 | #Constraints: 11490 62.63/62.83 c #Conflicts: 136000 | #Constraints: 12490 62.63/62.83 c #Conflicts: 137000 | #Constraints: 13490 62.63/62.83 c #Conflicts: 138000 | #Constraints: 14490 62.63/62.83 c #Conflicts: 139000 | #Constraints: 15490 62.63/62.83 c INPROCESSING 62.63/62.83 c GARBAGE COLLECT 62.63/62.83 c rational objective 61.0183 66.53/66.76 c #Conflicts: 140000 | #Constraints: 9094 66.53/66.76 c #Conflicts: 141000 | #Constraints: 10096 66.53/66.76 c #Conflicts: 142000 | #Constraints: 11096 66.53/66.76 c #Conflicts: 143000 | #Constraints: 12096 66.53/66.76 c #Conflicts: 144000 | #Constraints: 13096 66.53/66.76 c #Conflicts: 145000 | #Constraints: 14097 66.53/66.76 c #Conflicts: 146000 | #Constraints: 15098 66.53/66.76 c #Conflicts: 147000 | #Constraints: 16098 66.53/66.76 c INPROCESSING 66.53/66.76 c GARBAGE COLLECT 66.53/66.76 c rational objective 61.0226 71.11/71.32 c #Conflicts: 148000 | #Constraints: 9497 71.11/71.32 c #Conflicts: 149000 | #Constraints: 10498 71.11/71.32 c #Conflicts: 150000 | #Constraints: 11498 71.11/71.32 c #Conflicts: 151000 | #Constraints: 12498 71.11/71.32 c #Conflicts: 152000 | #Constraints: 13500 71.11/71.32 c #Conflicts: 153000 | #Constraints: 14501 71.11/71.32 c #Conflicts: 154000 | #Constraints: 15501 71.11/71.32 c #Conflicts: 155000 | #Constraints: 16502 71.11/71.32 c INPROCESSING 71.11/71.32 c GARBAGE COLLECT 71.11/71.32 c rational objective 61.0226 75.81/76.04 c #Conflicts: 156000 | #Constraints: 9696 75.81/76.04 c #Conflicts: 157000 | #Constraints: 10696 75.81/76.04 c #Conflicts: 158000 | #Constraints: 11696 75.81/76.04 c #Conflicts: 159000 | #Constraints: 12696 75.81/76.04 c #Conflicts: 160000 | #Constraints: 13697 75.81/76.04 c #Conflicts: 161000 | #Constraints: 14698 75.81/76.04 c #Conflicts: 162000 | #Constraints: 15698 75.81/76.04 c #Conflicts: 163000 | #Constraints: 16698 75.81/76.04 c INPROCESSING 75.81/76.04 c GARBAGE COLLECT 75.81/76.04 c rational objective 61.024 80.19/80.44 c #Conflicts: 164000 | #Constraints: 9697 80.19/80.44 c #Conflicts: 165000 | #Constraints: 10697 80.19/80.44 c #Conflicts: 166000 | #Constraints: 11698 80.19/80.44 c #Conflicts: 167000 | #Constraints: 12698 80.19/80.44 c #Conflicts: 168000 | #Constraints: 13699 80.19/80.44 c #Conflicts: 169000 | #Constraints: 14701 80.19/80.44 c #Conflicts: 170000 | #Constraints: 15702 80.19/80.44 c #Conflicts: 171000 | #Constraints: 16702 80.19/80.44 c INPROCESSING 80.19/80.44 c GARBAGE COLLECT 80.19/80.44 c rational objective 61.0258 84.79/85.09 c #Conflicts: 172000 | #Constraints: 9498 84.79/85.09 c #Conflicts: 173000 | #Constraints: 10499 84.79/85.09 c #Conflicts: 174000 | #Constraints: 11499 84.79/85.09 c #Conflicts: 175000 | #Constraints: 12499 84.79/85.09 c #Conflicts: 176000 | #Constraints: 13499 84.79/85.09 c #Conflicts: 177000 | #Constraints: 14499 84.79/85.09 c #Conflicts: 178000 | #Constraints: 15499 84.79/85.09 c #Conflicts: 179000 | #Constraints: 16500 84.79/85.09 c #Conflicts: 180000 | #Constraints: 17500 84.79/85.09 c INPROCESSING 84.79/85.09 c GARBAGE COLLECT 84.79/85.09 c rational objective 61.0265 89.57/89.88 c #Conflicts: 181000 | #Constraints: 10095 89.57/89.88 c #Conflicts: 182000 | #Constraints: 11096 89.57/89.88 c #Conflicts: 183000 | #Constraints: 12096 89.57/89.88 c #Conflicts: 184000 | #Constraints: 13097 89.57/89.88 c #Conflicts: 185000 | #Constraints: 14098 89.57/89.88 c #Conflicts: 186000 | #Constraints: 15098 89.57/89.88 c #Conflicts: 187000 | #Constraints: 16100 89.57/89.88 c #Conflicts: 188000 | #Constraints: 17100 89.57/89.88 c #Conflicts: 189000 | #Constraints: 18100 89.57/89.88 c INPROCESSING 89.57/89.88 c GARBAGE COLLECT 89.57/89.88 c rational objective 61.0346 94.55/94.86 c #Conflicts: 190000 | #Constraints: 10498 94.55/94.86 c #Conflicts: 191000 | #Constraints: 11498 94.55/94.86 c #Conflicts: 192000 | #Constraints: 12499 94.55/94.86 c #Conflicts: 193000 | #Constraints: 13499 94.55/94.86 c #Conflicts: 194000 | #Constraints: 14500 94.55/94.86 c #Conflicts: 195000 | #Constraints: 15501 94.55/94.86 c #Conflicts: 196000 | #Constraints: 16501 94.55/94.86 c #Conflicts: 197000 | #Constraints: 17503 94.55/94.86 c #Conflicts: 198000 | #Constraints: 18504 94.55/94.86 c INPROCESSING 94.55/94.86 c GARBAGE COLLECT 94.55/94.86 c rational objective 61.0349 101.44/101.75 c #Conflicts: 199000 | #Constraints: 10705 101.44/101.75 c #Conflicts: 200000 | #Constraints: 11706 101.44/101.75 c #Conflicts: 201000 | #Constraints: 12708 101.44/101.75 c #Conflicts: 202000 | #Constraints: 13708 101.44/101.75 c #Conflicts: 203000 | #Constraints: 14710 101.44/101.75 c #Conflicts: 204000 | #Constraints: 15711 101.44/101.75 c #Conflicts: 205000 | #Constraints: 16711 101.44/101.75 c #Conflicts: 206000 | #Constraints: 17711 101.44/101.75 c #Conflicts: 207000 | #Constraints: 18711 101.44/101.75 c INPROCESSING 101.44/101.75 c GARBAGE COLLECT 101.44/101.75 c rational objective 61.0356 108.43/108.70 c #Conflicts: 208000 | #Constraints: 10703 108.43/108.70 c #Conflicts: 209000 | #Constraints: 11704 108.43/108.70 c #Conflicts: 210000 | #Constraints: 12704 108.43/108.70 c #Conflicts: 211000 | #Constraints: 13704 108.43/108.70 c #Conflicts: 212000 | #Constraints: 14704 108.43/108.70 c #Conflicts: 213000 | #Constraints: 15704 108.43/108.70 c #Conflicts: 214000 | #Constraints: 16704 108.43/108.70 c #Conflicts: 215000 | #Constraints: 17704 108.43/108.70 c #Conflicts: 216000 | #Constraints: 18704 108.43/108.70 c INPROCESSING 108.43/108.70 c GARBAGE COLLECT 108.43/108.70 c rational objective 61.0411 115.61/116.00 c #Conflicts: 217000 | #Constraints: 10505 115.61/116.00 c #Conflicts: 218000 | #Constraints: 11505 115.61/116.00 c #Conflicts: 219000 | #Constraints: 12506 115.61/116.00 c #Conflicts: 220000 | #Constraints: 13508 115.61/116.00 c #Conflicts: 221000 | #Constraints: 14509 115.61/116.00 c #Conflicts: 222000 | #Constraints: 15510 115.61/116.00 c #Conflicts: 223000 | #Constraints: 16510 115.61/116.00 c #Conflicts: 224000 | #Constraints: 17510 115.61/116.00 c #Conflicts: 225000 | #Constraints: 18510 115.61/116.00 c #Conflicts: 226000 | #Constraints: 19512 115.61/116.00 c INPROCESSING 115.61/116.00 c GARBAGE COLLECT 115.61/116.00 c rational objective 61.0491 122.08/122.49 c #Conflicts: 227000 | #Constraints: 11111 122.08/122.49 c #Conflicts: 228000 | #Constraints: 12111 122.08/122.49 c #Conflicts: 229000 | #Constraints: 13114 122.08/122.49 c #Conflicts: 230000 | #Constraints: 14117 122.08/122.49 c #Conflicts: 231000 | #Constraints: 15117 122.08/122.49 c #Conflicts: 232000 | #Constraints: 16118 122.08/122.49 c #Conflicts: 233000 | #Constraints: 17119 122.08/122.49 c #Conflicts: 234000 | #Constraints: 18120 122.08/122.49 c #Conflicts: 235000 | #Constraints: 19120 122.08/122.49 c #Conflicts: 236000 | #Constraints: 20120 122.08/122.49 c INPROCESSING 122.08/122.49 c GARBAGE COLLECT 122.08/122.49 c rational objective 61.0495 128.47/128.80 c #Conflicts: 237000 | #Constraints: 11504 128.47/128.80 c #Conflicts: 238000 | #Constraints: 12504 128.47/128.80 c #Conflicts: 239000 | #Constraints: 13504 128.47/128.80 c #Conflicts: 240000 | #Constraints: 14505 128.47/128.80 c #Conflicts: 241000 | #Constraints: 15505 128.47/128.80 c #Conflicts: 242000 | #Constraints: 16505 128.47/128.80 c #Conflicts: 243000 | #Constraints: 17505 128.47/128.80 c #Conflicts: 244000 | #Constraints: 18506 128.47/128.80 c #Conflicts: 245000 | #Constraints: 19507 128.47/128.80 c #Conflicts: 246000 | #Constraints: 20507 128.47/128.80 c INPROCESSING 128.47/128.80 c GARBAGE COLLECT 128.47/128.80 c rational objective 61.0532 135.15/135.52 c #Conflicts: 247000 | #Constraints: 11699 135.15/135.52 c #Conflicts: 248000 | #Constraints: 12700 135.15/135.52 c #Conflicts: 249000 | #Constraints: 13701 135.15/135.52 c #Conflicts: 250000 | #Constraints: 14701 135.15/135.52 c #Conflicts: 251000 | #Constraints: 15703 135.15/135.52 c #Conflicts: 252000 | #Constraints: 16703 135.15/135.52 c #Conflicts: 253000 | #Constraints: 17704 135.15/135.52 c #Conflicts: 254000 | #Constraints: 18705 135.15/135.52 c #Conflicts: 255000 | #Constraints: 19705 135.15/135.52 c #Conflicts: 256000 | #Constraints: 20708 135.15/135.52 c INPROCESSING 135.15/135.52 c GARBAGE COLLECT 135.15/135.52 c rational objective 61.0541 141.65/142.03 c #Conflicts: 257000 | #Constraints: 11701 141.65/142.03 c #Conflicts: 258000 | #Constraints: 12701 141.65/142.03 c #Conflicts: 259000 | #Constraints: 13701 141.65/142.03 c #Conflicts: 260000 | #Constraints: 14703 141.65/142.03 c #Conflicts: 261000 | #Constraints: 15703 141.65/142.03 c #Conflicts: 262000 | #Constraints: 16703 141.65/142.03 c #Conflicts: 263000 | #Constraints: 17703 141.65/142.03 c #Conflicts: 264000 | #Constraints: 18704 141.65/142.03 c #Conflicts: 265000 | #Constraints: 19705 141.65/142.03 c #Conflicts: 266000 | #Constraints: 20706 141.65/142.03 c INPROCESSING 141.65/142.03 c GARBAGE COLLECT 141.65/142.03 c rational objective 61.0567 148.52/148.90 c #Conflicts: 267000 | #Constraints: 11504 148.52/148.90 c #Conflicts: 268000 | #Constraints: 12504 148.52/148.90 c #Conflicts: 269000 | #Constraints: 13504 148.52/148.90 c #Conflicts: 270000 | #Constraints: 14504 148.52/148.90 c #Conflicts: 271000 | #Constraints: 15505 148.52/148.90 c #Conflicts: 272000 | #Constraints: 16505 148.52/148.90 c #Conflicts: 273000 | #Constraints: 17507 148.52/148.90 c #Conflicts: 274000 | #Constraints: 18507 148.52/148.90 c #Conflicts: 275000 | #Constraints: 19507 148.52/148.90 c #Conflicts: 276000 | #Constraints: 20508 148.52/148.90 c #Conflicts: 277000 | #Constraints: 21508 148.52/148.90 c INPROCESSING 148.52/148.90 c GARBAGE COLLECT 148.52/148.90 c rational objective 61.0567 155.10/155.54 c #Conflicts: 278000 | #Constraints: 12099 155.10/155.54 c #Conflicts: 279000 | #Constraints: 13101 155.10/155.54 c #Conflicts: 280000 | #Constraints: 14101 155.10/155.54 c #Conflicts: 281000 | #Constraints: 15101 155.10/155.54 c #Conflicts: 282000 | #Constraints: 16103 155.10/155.54 c #Conflicts: 283000 | #Constraints: 17104 155.10/155.54 c #Conflicts: 284000 | #Constraints: 18104 155.10/155.54 c #Conflicts: 285000 | #Constraints: 19104 155.10/155.54 c #Conflicts: 286000 | #Constraints: 20104 155.10/155.54 c #Conflicts: 287000 | #Constraints: 21104 155.10/155.54 c #Conflicts: 288000 | #Constraints: 22104 155.10/155.54 c INPROCESSING 155.10/155.54 c GARBAGE COLLECT 155.10/155.54 c rational objective 61.0567 162.59/163.05 c #Conflicts: 289000 | #Constraints: 12513 162.59/163.05 c #Conflicts: 290000 | #Constraints: 13513 162.59/163.05 c #Conflicts: 291000 | #Constraints: 14514 162.59/163.05 c #Conflicts: 292000 | #Constraints: 15516 162.59/163.05 c #Conflicts: 293000 | #Constraints: 16516 162.59/163.05 c #Conflicts: 294000 | #Constraints: 17516 162.59/163.05 c #Conflicts: 295000 | #Constraints: 18517 162.59/163.05 c #Conflicts: 296000 | #Constraints: 19518 162.59/163.05 c #Conflicts: 297000 | #Constraints: 20518 162.59/163.05 c #Conflicts: 298000 | #Constraints: 21518 162.59/163.05 c #Conflicts: 299000 | #Constraints: 22518 162.59/163.05 c INPROCESSING 162.59/163.05 c GARBAGE COLLECT 162.59/163.05 c rational objective 61.0567 169.77/170.26 c #Conflicts: 300000 | #Constraints: 12703 169.77/170.26 c #Conflicts: 301000 | #Constraints: 13704 169.77/170.26 c #Conflicts: 302000 | #Constraints: 14704 169.77/170.26 c #Conflicts: 303000 | #Constraints: 15704 169.77/170.26 c #Conflicts: 304000 | #Constraints: 16704 169.77/170.26 c #Conflicts: 305000 | #Constraints: 17705 169.77/170.26 c #Conflicts: 306000 | #Constraints: 18706 169.77/170.26 c #Conflicts: 307000 | #Constraints: 19707 169.77/170.26 c #Conflicts: 308000 | #Constraints: 20707 169.77/170.26 c #Conflicts: 309000 | #Constraints: 21707 169.77/170.26 c #Conflicts: 310000 | #Constraints: 22707 169.77/170.26 c INPROCESSING 169.77/170.26 c GARBAGE COLLECT 169.77/170.26 c rational objective 61.0601 176.95/177.45 c #Conflicts: 311000 | #Constraints: 12700 176.95/177.45 c #Conflicts: 312000 | #Constraints: 13701 176.95/177.45 c #Conflicts: 313000 | #Constraints: 14703 176.95/177.45 c #Conflicts: 314000 | #Constraints: 15703 176.95/177.45 c #Conflicts: 315000 | #Constraints: 16704 176.95/177.45 c #Conflicts: 316000 | #Constraints: 17704 176.95/177.45 c #Conflicts: 317000 | #Constraints: 18704 176.95/177.45 c #Conflicts: 318000 | #Constraints: 19704 176.95/177.45 c #Conflicts: 319000 | #Constraints: 20704 176.95/177.45 c #Conflicts: 320000 | #Constraints: 21705 176.95/177.45 c #Conflicts: 321000 | #Constraints: 22706 176.95/177.45 c INPROCESSING 176.95/177.45 c GARBAGE COLLECT 176.95/177.45 c rational objective 61.0601 188.22/188.75 c #Conflicts: 322000 | #Constraints: 12503 188.22/188.75 c #Conflicts: 323000 | #Constraints: 13504 188.22/188.75 c #Conflicts: 324000 | #Constraints: 14505 188.22/188.75 c #Conflicts: 325000 | #Constraints: 15505 188.22/188.75 c #Conflicts: 326000 | #Constraints: 16505 188.22/188.75 c #Conflicts: 327000 | #Constraints: 17505 188.22/188.75 c #Conflicts: 328000 | #Constraints: 18505 188.22/188.75 c #Conflicts: 329000 | #Constraints: 19506 188.22/188.75 c #Conflicts: 330000 | #Constraints: 20507 188.22/188.75 c #Conflicts: 331000 | #Constraints: 21507 188.22/188.75 c #Conflicts: 332000 | #Constraints: 22507 188.22/188.75 c #Conflicts: 333000 | #Constraints: 23507 188.22/188.75 c INPROCESSING 188.22/188.75 c GARBAGE COLLECT 188.22/188.75 c rational objective 61.0614 196.87/197.47 c #Conflicts: 334000 | #Constraints: 13118 196.87/197.47 c #Conflicts: 335000 | #Constraints: 14118 196.87/197.47 c #Conflicts: 336000 | #Constraints: 15120 196.87/197.47 c #Conflicts: 337000 | #Constraints: 16120 196.87/197.47 c #Conflicts: 338000 | #Constraints: 17121 196.87/197.47 c #Conflicts: 339000 | #Constraints: 18123 196.87/197.47 c #Conflicts: 340000 | #Constraints: 19123 196.87/197.47 c #Conflicts: 341000 | #Constraints: 20123 196.87/197.47 c #Conflicts: 342000 | #Constraints: 21123 196.87/197.47 c #Conflicts: 343000 | #Constraints: 22123 196.87/197.47 c #Conflicts: 344000 | #Constraints: 23123 196.87/197.47 c #Conflicts: 345000 | #Constraints: 24124 196.87/197.47 c INPROCESSING 196.87/197.47 c GARBAGE COLLECT 196.87/197.47 c rational objective 61.0614 204.85/205.47 c #Conflicts: 346000 | #Constraints: 13511 204.85/205.47 c #Conflicts: 347000 | #Constraints: 14513 204.85/205.47 c #Conflicts: 348000 | #Constraints: 15514 204.85/205.47 c #Conflicts: 349000 | #Constraints: 16516 204.85/205.47 c #Conflicts: 350000 | #Constraints: 17516 204.85/205.47 c #Conflicts: 351000 | #Constraints: 18517 204.85/205.47 c #Conflicts: 352000 | #Constraints: 19517 204.85/205.47 c #Conflicts: 353000 | #Constraints: 20517 204.85/205.47 c #Conflicts: 354000 | #Constraints: 21519 204.85/205.47 c #Conflicts: 355000 | #Constraints: 22520 204.85/205.47 c #Conflicts: 356000 | #Constraints: 23526 204.85/205.47 c #Conflicts: 357000 | #Constraints: 24526 204.85/205.47 c INPROCESSING 204.85/205.47 c GARBAGE COLLECT 204.85/205.47 c rational objective 61.0628 214.22/214.87 c #Conflicts: 358000 | #Constraints: 13708 214.22/214.87 c #Conflicts: 359000 | #Constraints: 14708 214.22/214.87 c #Conflicts: 360000 | #Constraints: 15708 214.22/214.87 c #Conflicts: 361000 | #Constraints: 16708 214.22/214.87 c #Conflicts: 362000 | #Constraints: 17709 214.22/214.87 c #Conflicts: 363000 | #Constraints: 18709 214.22/214.87 c #Conflicts: 364000 | #Constraints: 19710 214.22/214.87 c #Conflicts: 365000 | #Constraints: 20710 214.22/214.87 c #Conflicts: 366000 | #Constraints: 21710 214.22/214.87 c #Conflicts: 367000 | #Constraints: 22710 214.22/214.87 c #Conflicts: 368000 | #Constraints: 23710 214.22/214.87 c #Conflicts: 369000 | #Constraints: 24710 214.22/214.87 c INPROCESSING 214.22/214.87 c GARBAGE COLLECT 214.22/214.87 c rational objective 61.0634 223.59/224.21 c #Conflicts: 370000 | #Constraints: 13707 223.59/224.21 c #Conflicts: 371000 | #Constraints: 14707 223.59/224.21 c #Conflicts: 372000 | #Constraints: 15707 223.59/224.21 c #Conflicts: 373000 | #Constraints: 16707 223.59/224.21 c #Conflicts: 374000 | #Constraints: 17707 223.59/224.21 c #Conflicts: 375000 | #Constraints: 18709 223.59/224.21 c #Conflicts: 376000 | #Constraints: 19710 223.59/224.21 c #Conflicts: 377000 | #Constraints: 20710 223.59/224.21 c #Conflicts: 378000 | #Constraints: 21710 223.59/224.21 c #Conflicts: 379000 | #Constraints: 22710 223.59/224.21 c #Conflicts: 380000 | #Constraints: 23710 223.59/224.21 c #Conflicts: 381000 | #Constraints: 24710 223.59/224.21 c INPROCESSING 223.59/224.21 c GARBAGE COLLECT 223.59/224.21 c rational objective 61.0946 232.97/233.68 c #Conflicts: 382000 | #Constraints: 13496 232.97/233.68 c #Conflicts: 383000 | #Constraints: 14496 232.97/233.68 c #Conflicts: 384000 | #Constraints: 15496 232.97/233.68 c #Conflicts: 385000 | #Constraints: 16496 232.97/233.68 c #Conflicts: 386000 | #Constraints: 17496 232.97/233.68 c #Conflicts: 387000 | #Constraints: 18496 232.97/233.68 c #Conflicts: 388000 | #Constraints: 19497 232.97/233.68 c #Conflicts: 389000 | #Constraints: 20497 232.97/233.68 c #Conflicts: 390000 | #Constraints: 21498 232.97/233.68 c #Conflicts: 391000 | #Constraints: 22498 232.97/233.68 c #Conflicts: 392000 | #Constraints: 23498 232.97/233.68 c #Conflicts: 393000 | #Constraints: 24499 232.97/233.68 c #Conflicts: 394000 | #Constraints: 25501 232.97/233.68 c INPROCESSING 232.97/233.68 c GARBAGE COLLECT 232.97/233.68 c rational objective 61.0973 242.83/243.60 c #Conflicts: 395000 | #Constraints: 14101 242.83/243.60 c #Conflicts: 396000 | #Constraints: 15103 242.83/243.60 c #Conflicts: 397000 | #Constraints: 16105 242.83/243.60 c #Conflicts: 398000 | #Constraints: 17106 242.83/243.60 c #Conflicts: 399000 | #Constraints: 18106 242.83/243.60 c #Conflicts: 400000 | #Constraints: 19106 242.83/243.60 c #Conflicts: 401000 | #Constraints: 20107 242.83/243.60 c #Conflicts: 402000 | #Constraints: 21107 242.83/243.60 c #Conflicts: 403000 | #Constraints: 22108 242.83/243.60 c #Conflicts: 404000 | #Constraints: 23108 242.83/243.60 c #Conflicts: 405000 | #Constraints: 24109 242.83/243.60 c #Conflicts: 406000 | #Constraints: 25110 242.83/243.60 c #Conflicts: 407000 | #Constraints: 26111 242.83/243.60 c INPROCESSING 242.83/243.60 c GARBAGE COLLECT 242.83/243.60 c rational objective 61.0974 252.60/253.39 c #Conflicts: 408000 | #Constraints: 14502 252.60/253.39 c #Conflicts: 409000 | #Constraints: 15502 252.60/253.39 c #Conflicts: 410000 | #Constraints: 16502 252.60/253.39 c #Conflicts: 411000 | #Constraints: 17502 252.60/253.39 c #Conflicts: 412000 | #Constraints: 18502 252.60/253.39 c #Conflicts: 413000 | #Constraints: 19502 252.60/253.39 c #Conflicts: 414000 | #Constraints: 20503 252.60/253.39 c #Conflicts: 415000 | #Constraints: 21503 252.60/253.39 c #Conflicts: 416000 | #Constraints: 22504 252.60/253.39 c #Conflicts: 417000 | #Constraints: 23504 252.60/253.39 c #Conflicts: 418000 | #Constraints: 24505 252.60/253.39 c #Conflicts: 419000 | #Constraints: 25508 252.60/253.39 c #Conflicts: 420000 | #Constraints: 26508 252.60/253.39 c INPROCESSING 252.60/253.39 c GARBAGE COLLECT 252.60/253.39 c rational objective 61.0974 262.87/263.63 c #Conflicts: 421000 | #Constraints: 14708 262.87/263.63 c #Conflicts: 422000 | #Constraints: 15710 262.87/263.63 c #Conflicts: 423000 | #Constraints: 16710 262.87/263.63 c #Conflicts: 424000 | #Constraints: 17710 262.87/263.63 c #Conflicts: 425000 | #Constraints: 18712 262.87/263.63 c #Conflicts: 426000 | #Constraints: 19712 262.87/263.63 c #Conflicts: 427000 | #Constraints: 20712 262.87/263.63 c #Conflicts: 428000 | #Constraints: 21713 262.87/263.63 c #Conflicts: 429000 | #Constraints: 22713 262.87/263.63 c #Conflicts: 430000 | #Constraints: 23713 262.87/263.63 c #Conflicts: 431000 | #Constraints: 24713 262.87/263.63 c #Conflicts: 432000 | #Constraints: 25715 262.87/263.63 c #Conflicts: 433000 | #Constraints: 26715 262.87/263.63 c INPROCESSING 262.87/263.63 c GARBAGE COLLECT 262.87/263.63 c rational objective 61.0974 273.14/273.91 c #Conflicts: 434000 | #Constraints: 14712 273.14/273.91 c #Conflicts: 435000 | #Constraints: 15712 273.14/273.91 c #Conflicts: 436000 | #Constraints: 16713 273.14/273.91 c #Conflicts: 437000 | #Constraints: 17713 273.14/273.91 c #Conflicts: 438000 | #Constraints: 18713 273.14/273.91 c #Conflicts: 439000 | #Constraints: 19713 273.14/273.91 c #Conflicts: 440000 | #Constraints: 20713 273.14/273.91 c #Conflicts: 441000 | #Constraints: 21713 273.14/273.91 c #Conflicts: 442000 | #Constraints: 22713 273.14/273.91 c #Conflicts: 443000 | #Constraints: 23713 273.14/273.91 c #Conflicts: 444000 | #Constraints: 24714 273.14/273.91 c #Conflicts: 445000 | #Constraints: 25714 273.14/273.91 c #Conflicts: 446000 | #Constraints: 26715 273.14/273.91 c INPROCESSING 273.14/273.91 c GARBAGE COLLECT 273.14/273.91 c rational objective 61.1029 284.51/285.33 c #Conflicts: 447000 | #Constraints: 14509 284.51/285.33 c #Conflicts: 448000 | #Constraints: 15509 284.51/285.33 c #Conflicts: 449000 | #Constraints: 16510 284.51/285.33 c #Conflicts: 450000 | #Constraints: 17510 284.51/285.33 c #Conflicts: 451000 | #Constraints: 18510 284.51/285.33 c #Conflicts: 452000 | #Constraints: 19510 284.51/285.33 c #Conflicts: 453000 | #Constraints: 20511 284.51/285.33 c #Conflicts: 454000 | #Constraints: 21511 284.51/285.33 c #Conflicts: 455000 | #Constraints: 22512 284.51/285.33 c #Conflicts: 456000 | #Constraints: 23513 284.51/285.33 c #Conflicts: 457000 | #Constraints: 24513 284.51/285.33 c #Conflicts: 458000 | #Constraints: 25513 284.51/285.33 c #Conflicts: 459000 | #Constraints: 26514 284.51/285.33 c #Conflicts: 460000 | #Constraints: 27516 284.51/285.33 c INPROCESSING 284.51/285.33 c GARBAGE COLLECT 284.51/285.33 c rational objective 61.1029 295.56/296.48 c #Conflicts: 461000 | #Constraints: 15111 295.56/296.48 c #Conflicts: 462000 | #Constraints: 16111 295.56/296.48 c #Conflicts: 463000 | #Constraints: 17113 295.56/296.48 c #Conflicts: 464000 | #Constraints: 18114 295.56/296.48 c #Conflicts: 465000 | #Constraints: 19114 295.56/296.48 c #Conflicts: 466000 | #Constraints: 20115 295.56/296.48 c #Conflicts: 467000 | #Constraints: 21115 295.56/296.48 c #Conflicts: 468000 | #Constraints: 22116 295.56/296.48 c #Conflicts: 469000 | #Constraints: 23117 295.56/296.48 c #Conflicts: 470000 | #Constraints: 24118 295.56/296.48 c #Conflicts: 471000 | #Constraints: 25119 295.56/296.48 c #Conflicts: 472000 | #Constraints: 26121 295.56/296.48 c #Conflicts: 473000 | #Constraints: 27122 295.56/296.48 c #Conflicts: 474000 | #Constraints: 28123 295.56/296.48 c INPROCESSING 295.56/296.48 c GARBAGE COLLECT 295.56/296.48 c rational objective 61.1029 310.73/311.67 c #Conflicts: 475000 | #Constraints: 15514 310.73/311.67 c #Conflicts: 476000 | #Constraints: 16514 310.73/311.67 c #Conflicts: 477000 | #Constraints: 17514 310.73/311.67 c #Conflicts: 478000 | #Constraints: 18514 310.73/311.67 c #Conflicts: 479000 | #Constraints: 19516 310.73/311.67 c #Conflicts: 480000 | #Constraints: 20516 310.73/311.67 c #Conflicts: 481000 | #Constraints: 21516 310.73/311.67 c #Conflicts: 482000 | #Constraints: 22517 310.73/311.67 c #Conflicts: 483000 | #Constraints: 23517 310.73/311.67 c #Conflicts: 484000 | #Constraints: 24517 310.73/311.67 c #Conflicts: 485000 | #Constraints: 25517 310.73/311.67 c #Conflicts: 486000 | #Constraints: 26520 310.73/311.67 c #Conflicts: 487000 | #Constraints: 27520 310.73/311.67 c #Conflicts: 488000 | #Constraints: 28520 310.73/311.67 c INPROCESSING 310.73/311.67 c GARBAGE COLLECT 310.73/311.67 c rational objective 61.1029 323.09/324.02 c #Conflicts: 489000 | #Constraints: 15714 323.09/324.02 c #Conflicts: 490000 | #Constraints: 16714 323.09/324.02 c #Conflicts: 491000 | #Constraints: 17714 323.09/324.02 c #Conflicts: 492000 | #Constraints: 18714 323.09/324.02 c #Conflicts: 493000 | #Constraints: 19714 323.09/324.02 c #Conflicts: 494000 | #Constraints: 20714 323.09/324.02 c #Conflicts: 495000 | #Constraints: 21715 323.09/324.02 c #Conflicts: 496000 | #Constraints: 22715 323.09/324.02 c #Conflicts: 497000 | #Constraints: 23715 323.09/324.02 c #Conflicts: 498000 | #Constraints: 24715 323.09/324.02 c #Conflicts: 499000 | #Constraints: 25715 323.09/324.02 c #Conflicts: 500000 | #Constraints: 26715 323.09/324.02 c #Conflicts: 501000 | #Constraints: 27715 323.09/324.02 c #Conflicts: 502000 | #Constraints: 28715 323.09/324.02 c INPROCESSING 323.09/324.02 c GARBAGE COLLECT 323.09/324.02 c rational objective 61.1029 335.55/336.56 c #Conflicts: 503000 | #Constraints: 15711 335.55/336.56 c #Conflicts: 504000 | #Constraints: 16712 335.55/336.56 c #Conflicts: 505000 | #Constraints: 17713 335.55/336.56 c #Conflicts: 506000 | #Constraints: 18713 335.55/336.56 c #Conflicts: 507000 | #Constraints: 19713 335.55/336.56 c #Conflicts: 508000 | #Constraints: 20713 335.55/336.56 c #Conflicts: 509000 | #Constraints: 21713 335.55/336.56 c #Conflicts: 510000 | #Constraints: 22713 335.55/336.56 c #Conflicts: 511000 | #Constraints: 23713 335.55/336.56 c #Conflicts: 512000 | #Constraints: 24714 335.55/336.56 c #Conflicts: 513000 | #Constraints: 25714 335.55/336.56 c #Conflicts: 514000 | #Constraints: 26714 335.55/336.56 c #Conflicts: 515000 | #Constraints: 27714 335.55/336.56 c #Conflicts: 516000 | #Constraints: 28715 335.55/336.56 c INPROCESSING 335.55/336.56 c GARBAGE COLLECT 335.55/336.56 c rational objective 61.1029 346.61/347.68 c #Conflicts: 517000 | #Constraints: 15511 346.61/347.68 c #Conflicts: 518000 | #Constraints: 16511 346.61/347.68 c #Conflicts: 519000 | #Constraints: 17511 346.61/347.68 c #Conflicts: 520000 | #Constraints: 18511 346.61/347.68 c #Conflicts: 521000 | #Constraints: 19512 346.61/347.68 c #Conflicts: 522000 | #Constraints: 20513 346.61/347.68 c #Conflicts: 523000 | #Constraints: 21513 346.61/347.68 c #Conflicts: 524000 | #Constraints: 22513 346.61/347.68 c #Conflicts: 525000 | #Constraints: 23513 346.61/347.68 c #Conflicts: 526000 | #Constraints: 24514 346.61/347.68 c #Conflicts: 527000 | #Constraints: 25516 346.61/347.68 c #Conflicts: 528000 | #Constraints: 26518 346.61/347.68 c #Conflicts: 529000 | #Constraints: 27519 346.61/347.68 c #Conflicts: 530000 | #Constraints: 28519 346.61/347.68 c #Conflicts: 531000 | #Constraints: 29521 346.61/347.68 c INPROCESSING 346.61/347.68 c GARBAGE COLLECT 346.61/347.68 c rational objective 61.1029 358.57/359.68 c #Conflicts: 532000 | #Constraints: 16114 358.57/359.68 c #Conflicts: 533000 | #Constraints: 17114 358.57/359.68 c #Conflicts: 534000 | #Constraints: 18114 358.57/359.68 c #Conflicts: 535000 | #Constraints: 19114 358.57/359.68 c #Conflicts: 536000 | #Constraints: 20114 358.57/359.68 c #Conflicts: 537000 | #Constraints: 21116 358.57/359.68 c #Conflicts: 538000 | #Constraints: 22117 358.57/359.68 c #Conflicts: 539000 | #Constraints: 23119 358.57/359.68 c #Conflicts: 540000 | #Constraints: 24119 358.57/359.68 c #Conflicts: 541000 | #Constraints: 25119 358.57/359.68 c #Conflicts: 542000 | #Constraints: 26121 358.57/359.68 c #Conflicts: 543000 | #Constraints: 27121 358.57/359.68 c #Conflicts: 544000 | #Constraints: 28121 358.57/359.68 c #Conflicts: 545000 | #Constraints: 29121 358.57/359.68 c #Conflicts: 546000 | #Constraints: 30121 358.57/359.68 c INPROCESSING 358.57/359.68 c GARBAGE COLLECT 358.57/359.68 c rational objective 61.1029 371.73/372.85 c #Conflicts: 547000 | #Constraints: 16512 371.73/372.85 c #Conflicts: 548000 | #Constraints: 17512 371.73/372.85 c #Conflicts: 549000 | #Constraints: 18513 371.73/372.85 c #Conflicts: 550000 | #Constraints: 19514 371.73/372.85 c #Conflicts: 551000 | #Constraints: 20514 371.73/372.85 c #Conflicts: 552000 | #Constraints: 21516 371.73/372.85 c #Conflicts: 553000 | #Constraints: 22516 371.73/372.85 c #Conflicts: 554000 | #Constraints: 23517 371.73/372.85 c #Conflicts: 555000 | #Constraints: 24518 371.73/372.85 c #Conflicts: 556000 | #Constraints: 25518 371.73/372.85 c #Conflicts: 557000 | #Constraints: 26520 371.73/372.85 c #Conflicts: 558000 | #Constraints: 27521 371.73/372.85 c #Conflicts: 559000 | #Constraints: 28521 371.73/372.85 c #Conflicts: 560000 | #Constraints: 29521 371.73/372.85 c #Conflicts: 561000 | #Constraints: 30521 371.73/372.85 c INPROCESSING 371.73/372.85 c GARBAGE COLLECT 371.73/372.85 c rational objective 61.1029 384.00/385.13 c #Conflicts: 562000 | #Constraints: 16706 384.00/385.13 c #Conflicts: 563000 | #Constraints: 17707 384.00/385.13 c #Conflicts: 564000 | #Constraints: 18708 384.00/385.13 c #Conflicts: 565000 | #Constraints: 19708 384.00/385.13 c #Conflicts: 566000 | #Constraints: 20709 384.00/385.13 c #Conflicts: 567000 | #Constraints: 21709 384.00/385.13 c #Conflicts: 568000 | #Constraints: 22709 384.00/385.13 c #Conflicts: 569000 | #Constraints: 23710 384.00/385.13 c #Conflicts: 570000 | #Constraints: 24711 384.00/385.13 c #Conflicts: 571000 | #Constraints: 25711 384.00/385.13 c #Conflicts: 572000 | #Constraints: 26712 384.00/385.13 c #Conflicts: 573000 | #Constraints: 27713 384.00/385.13 c #Conflicts: 574000 | #Constraints: 28713 384.00/385.13 c #Conflicts: 575000 | #Constraints: 29714 384.00/385.13 c #Conflicts: 576000 | #Constraints: 30715 384.00/385.13 c INPROCESSING 384.00/385.13 c GARBAGE COLLECT 384.00/385.13 c rational objective 61.1029 396.06/397.29 c #Conflicts: 577000 | #Constraints: 16709 396.06/397.29 c #Conflicts: 578000 | #Constraints: 17709 396.06/397.29 c #Conflicts: 579000 | #Constraints: 18709 396.06/397.29 c #Conflicts: 580000 | #Constraints: 19711 396.06/397.29 c #Conflicts: 581000 | #Constraints: 20712 396.06/397.29 c #Conflicts: 582000 | #Constraints: 21714 396.06/397.29 c #Conflicts: 583000 | #Constraints: 22714 396.06/397.29 c #Conflicts: 584000 | #Constraints: 23715 396.06/397.29 c #Conflicts: 585000 | #Constraints: 24716 396.06/397.29 c #Conflicts: 586000 | #Constraints: 25718 396.06/397.29 c #Conflicts: 587000 | #Constraints: 26719 396.06/397.29 c #Conflicts: 588000 | #Constraints: 27719 396.06/397.29 c #Conflicts: 589000 | #Constraints: 28719 396.06/397.29 c #Conflicts: 590000 | #Constraints: 29719 396.06/397.29 c #Conflicts: 591000 | #Constraints: 30720 396.06/397.29 c INPROCESSING 396.06/397.29 c GARBAGE COLLECT 396.06/397.29 c rational objective 61.1029 409.71/410.96 c #Conflicts: 592000 | #Constraints: 16517 409.71/410.96 c #Conflicts: 593000 | #Constraints: 17517 409.71/410.96 c #Conflicts: 594000 | #Constraints: 18517 409.71/410.96 c #Conflicts: 595000 | #Constraints: 19518 409.71/410.96 c #Conflicts: 596000 | #Constraints: 20518 409.71/410.96 c #Conflicts: 597000 | #Constraints: 21519 409.71/410.96 c #Conflicts: 598000 | #Constraints: 22520 409.71/410.96 c #Conflicts: 599000 | #Constraints: 23522 409.71/410.96 c #Conflicts: 600000 | #Constraints: 24523 409.71/410.96 c #Conflicts: 601000 | #Constraints: 25526 409.71/410.96 c #Conflicts: 602000 | #Constraints: 26526 409.71/410.96 c #Conflicts: 603000 | #Constraints: 27527 409.71/410.96 c #Conflicts: 604000 | #Constraints: 28527 409.71/410.96 c #Conflicts: 605000 | #Constraints: 29527 409.71/410.96 c #Conflicts: 606000 | #Constraints: 30527 409.71/410.96 c #Conflicts: 607000 | #Constraints: 31528 409.71/410.96 c INPROCESSING 409.71/410.96 c GARBAGE COLLECT 409.71/410.96 c rational objective 61.1029 423.37/424.61 c #Conflicts: 608000 | #Constraints: 17119 423.37/424.61 c #Conflicts: 609000 | #Constraints: 18120 423.37/424.61 c #Conflicts: 610000 | #Constraints: 19122 423.37/424.61 c #Conflicts: 611000 | #Constraints: 20122 423.37/424.61 c #Conflicts: 612000 | #Constraints: 21123 423.37/424.61 c #Conflicts: 613000 | #Constraints: 22124 423.37/424.61 c #Conflicts: 614000 | #Constraints: 23124 423.37/424.61 c #Conflicts: 615000 | #Constraints: 24125 423.37/424.61 c #Conflicts: 616000 | #Constraints: 25125 423.37/424.61 c #Conflicts: 617000 | #Constraints: 26125 423.37/424.61 c #Conflicts: 618000 | #Constraints: 27126 423.37/424.61 c #Conflicts: 619000 | #Constraints: 28127 423.37/424.61 c #Conflicts: 620000 | #Constraints: 29127 423.37/424.61 c #Conflicts: 621000 | #Constraints: 30127 423.37/424.61 c #Conflicts: 622000 | #Constraints: 31127 423.37/424.61 c #Conflicts: 623000 | #Constraints: 32127 423.37/424.61 c INPROCESSING 423.37/424.61 c GARBAGE COLLECT 423.37/424.61 c rational objective 61.1029 436.33/437.63 c #Conflicts: 624000 | #Constraints: 17515 436.33/437.63 c #Conflicts: 625000 | #Constraints: 18515 436.33/437.63 c #Conflicts: 626000 | #Constraints: 19515 436.33/437.63 c #Conflicts: 627000 | #Constraints: 20515 436.33/437.63 c #Conflicts: 628000 | #Constraints: 21516 436.33/437.63 c #Conflicts: 629000 | #Constraints: 22518 436.33/437.63 c #Conflicts: 630000 | #Constraints: 23518 436.33/437.63 c #Conflicts: 631000 | #Constraints: 24518 436.33/437.63 c #Conflicts: 632000 | #Constraints: 25518 436.33/437.63 c #Conflicts: 633000 | #Constraints: 26518 436.33/437.63 c #Conflicts: 634000 | #Constraints: 27519 436.33/437.63 c #Conflicts: 635000 | #Constraints: 28520 436.33/437.63 c #Conflicts: 636000 | #Constraints: 29520 436.33/437.63 c #Conflicts: 637000 | #Constraints: 30521 436.33/437.63 c #Conflicts: 638000 | #Constraints: 31522 436.33/437.63 c #Conflicts: 639000 | #Constraints: 32523 436.33/437.63 c INPROCESSING 436.33/437.63 c GARBAGE COLLECT 436.33/437.63 c rational objective 61.1142 449.80/451.11 c #Conflicts: 640000 | #Constraints: 17711 449.80/451.11 c #Conflicts: 641000 | #Constraints: 18712 449.80/451.11 c #Conflicts: 642000 | #Constraints: 19713 449.80/451.11 c #Conflicts: 643000 | #Constraints: 20714 449.80/451.11 c #Conflicts: 644000 | #Constraints: 21714 449.80/451.11 c #Conflicts: 645000 | #Constraints: 22715 449.80/451.11 c #Conflicts: 646000 | #Constraints: 23715 449.80/451.11 c #Conflicts: 647000 | #Constraints: 24716 449.80/451.11 c #Conflicts: 648000 | #Constraints: 25717 449.80/451.11 c #Conflicts: 649000 | #Constraints: 26718 449.80/451.11 c #Conflicts: 650000 | #Constraints: 27718 449.80/451.11 c #Conflicts: 651000 | #Constraints: 28719 449.80/451.11 c #Conflicts: 652000 | #Constraints: 29719 449.80/451.11 c #Conflicts: 653000 | #Constraints: 30719 449.80/451.11 c #Conflicts: 654000 | #Constraints: 31720 449.80/451.11 c #Conflicts: 655000 | #Constraints: 32721 449.80/451.11 c INPROCESSING 449.80/451.11 c GARBAGE COLLECT 449.80/451.11 c rational objective 61.1176 464.85/466.29 c #Conflicts: 656000 | #Constraints: 17714 464.85/466.29 c #Conflicts: 657000 | #Constraints: 18717 464.85/466.29 c #Conflicts: 658000 | #Constraints: 19717 464.85/466.29 c #Conflicts: 659000 | #Constraints: 20717 464.85/466.29 c #Conflicts: 660000 | #Constraints: 21717 464.85/466.29 c #Conflicts: 661000 | #Constraints: 22717 464.85/466.29 c #Conflicts: 662000 | #Constraints: 23717 464.85/466.29 c #Conflicts: 663000 | #Constraints: 24718 464.85/466.29 c #Conflicts: 664000 | #Constraints: 25718 464.85/466.29 c #Conflicts: 665000 | #Constraints: 26718 464.85/466.29 c #Conflicts: 666000 | #Constraints: 27719 464.85/466.29 c #Conflicts: 667000 | #Constraints: 28720 464.85/466.29 c #Conflicts: 668000 | #Constraints: 29720 464.85/466.29 c #Conflicts: 669000 | #Constraints: 30720 464.85/466.29 c #Conflicts: 670000 | #Constraints: 31721 464.85/466.29 c #Conflicts: 671000 | #Constraints: 32722 464.85/466.29 c INPROCESSING 464.85/466.29 c GARBAGE COLLECT 464.85/466.29 c rational objective 61.1176 478.21/479.66 c #Conflicts: 672000 | #Constraints: 17515 478.21/479.66 c #Conflicts: 673000 | #Constraints: 18515 478.21/479.66 c #Conflicts: 674000 | #Constraints: 19515 478.21/479.66 c #Conflicts: 675000 | #Constraints: 20516 478.21/479.66 c #Conflicts: 676000 | #Constraints: 21517 478.21/479.66 c #Conflicts: 677000 | #Constraints: 22518 478.21/479.66 c #Conflicts: 678000 | #Constraints: 23518 478.21/479.66 c #Conflicts: 679000 | #Constraints: 24519 478.21/479.66 c #Conflicts: 680000 | #Constraints: 25520 478.21/479.66 c #Conflicts: 681000 | #Constraints: 26521 478.21/479.66 c #Conflicts: 682000 | #Constraints: 27521 478.21/479.66 c #Conflicts: 683000 | #Constraints: 28521 478.21/479.66 c #Conflicts: 684000 | #Constraints: 29521 478.21/479.66 c #Conflicts: 685000 | #Constraints: 30521 478.21/479.66 c #Conflicts: 686000 | #Constraints: 31521 478.21/479.66 c #Conflicts: 687000 | #Constraints: 32521 478.21/479.66 c #Conflicts: 688000 | #Constraints: 33521 478.21/479.66 c INPROCESSING 478.21/479.66 c GARBAGE COLLECT 478.21/479.66 c rational objective 61.1176 493.26/494.72 c #Conflicts: 689000 | #Constraints: 18114 493.26/494.72 c #Conflicts: 690000 | #Constraints: 19114 493.26/494.72 c #Conflicts: 691000 | #Constraints: 20115 493.26/494.72 c #Conflicts: 692000 | #Constraints: 21115 493.26/494.72 c #Conflicts: 693000 | #Constraints: 22116 493.26/494.72 c #Conflicts: 694000 | #Constraints: 23118 493.26/494.72 c #Conflicts: 695000 | #Constraints: 24118 493.26/494.72 c #Conflicts: 696000 | #Constraints: 25118 493.26/494.72 c #Conflicts: 697000 | #Constraints: 26120 493.26/494.72 c #Conflicts: 698000 | #Constraints: 27120 493.26/494.72 c #Conflicts: 699000 | #Constraints: 28120 493.26/494.72 c #Conflicts: 700000 | #Constraints: 29121 493.26/494.72 c #Conflicts: 701000 | #Constraints: 30121 493.26/494.72 c #Conflicts: 702000 | #Constraints: 31122 493.26/494.72 c #Conflicts: 703000 | #Constraints: 32122 493.26/494.72 c #Conflicts: 704000 | #Constraints: 33123 493.26/494.72 c #Conflicts: 705000 | #Constraints: 34124 493.26/494.72 c INPROCESSING 493.26/494.72 c GARBAGE COLLECT 493.26/494.72 c rational objective 61.1176 507.42/508.90 c #Conflicts: 706000 | #Constraints: 18524 507.42/508.90 c #Conflicts: 707000 | #Constraints: 19524 507.42/508.90 c #Conflicts: 708000 | #Constraints: 20525 507.42/508.90 c #Conflicts: 709000 | #Constraints: 21525 507.42/508.90 c #Conflicts: 710000 | #Constraints: 22526 507.42/508.90 c #Conflicts: 711000 | #Constraints: 23527 507.42/508.90 c #Conflicts: 712000 | #Constraints: 24528 507.42/508.90 c #Conflicts: 713000 | #Constraints: 25529 507.42/508.90 c #Conflicts: 714000 | #Constraints: 26529 507.42/508.90 c #Conflicts: 715000 | #Constraints: 27529 507.42/508.90 c #Conflicts: 716000 | #Constraints: 28529 507.42/508.90 c #Conflicts: 717000 | #Constraints: 29529 507.42/508.90 c #Conflicts: 718000 | #Constraints: 30529 507.42/508.90 c #Conflicts: 719000 | #Constraints: 31529 507.42/508.90 c #Conflicts: 720000 | #Constraints: 32530 507.42/508.90 c #Conflicts: 721000 | #Constraints: 33531 507.42/508.90 c #Conflicts: 722000 | #Constraints: 34531 507.42/508.90 c INPROCESSING 507.42/508.90 c GARBAGE COLLECT 507.42/508.90 c rational objective 61.1176 527.35/528.97 c #Conflicts: 723000 | #Constraints: 18715 527.35/528.97 c #Conflicts: 724000 | #Constraints: 19716 527.35/528.97 c #Conflicts: 725000 | #Constraints: 20716 527.35/528.97 c #Conflicts: 726000 | #Constraints: 21716 527.35/528.97 c #Conflicts: 727000 | #Constraints: 22716 527.35/528.97 c #Conflicts: 728000 | #Constraints: 23716 527.35/528.97 c #Conflicts: 729000 | #Constraints: 24717 527.35/528.97 c #Conflicts: 730000 | #Constraints: 25717 527.35/528.97 c #Conflicts: 731000 | #Constraints: 26717 527.35/528.97 c #Conflicts: 732000 | #Constraints: 27717 527.35/528.97 c #Conflicts: 733000 | #Constraints: 28718 527.35/528.97 c #Conflicts: 734000 | #Constraints: 29718 527.35/528.97 c #Conflicts: 735000 | #Constraints: 30719 527.35/528.97 c #Conflicts: 736000 | #Constraints: 31719 527.35/528.97 c #Conflicts: 737000 | #Constraints: 32722 527.35/528.97 c #Conflicts: 738000 | #Constraints: 33722 527.35/528.97 c #Conflicts: 739000 | #Constraints: 34722 527.35/528.97 c INPROCESSING 527.35/528.97 c GARBAGE COLLECT 527.35/528.97 c rational objective 61.1176 543.80/545.49 c #Conflicts: 740000 | #Constraints: 18724 543.80/545.49 c #Conflicts: 741000 | #Constraints: 19724 543.80/545.49 c #Conflicts: 742000 | #Constraints: 20724 543.80/545.49 c #Conflicts: 743000 | #Constraints: 21724 543.80/545.49 c #Conflicts: 744000 | #Constraints: 22724 543.80/545.49 c #Conflicts: 745000 | #Constraints: 23724 543.80/545.49 c #Conflicts: 746000 | #Constraints: 24725 543.80/545.49 c #Conflicts: 747000 | #Constraints: 25726 543.80/545.49 c #Conflicts: 748000 | #Constraints: 26726 543.80/545.49 c #Conflicts: 749000 | #Constraints: 27726 543.80/545.49 c #Conflicts: 750000 | #Constraints: 28726 543.80/545.49 c #Conflicts: 751000 | #Constraints: 29726 543.80/545.49 c #Conflicts: 752000 | #Constraints: 30727 543.80/545.49 c #Conflicts: 753000 | #Constraints: 31727 543.80/545.49 c #Conflicts: 754000 | #Constraints: 32727 543.80/545.49 c #Conflicts: 755000 | #Constraints: 33728 543.80/545.49 c #Conflicts: 756000 | #Constraints: 34729 543.80/545.49 c INPROCESSING 543.80/545.49 c GARBAGE COLLECT 543.80/545.49 c rational objective 61.1176 560.55/562.26 c #Conflicts: 757000 | #Constraints: 18520 560.55/562.26 c #Conflicts: 758000 | #Constraints: 19521 560.55/562.26 c #Conflicts: 759000 | #Constraints: 20523 560.55/562.26 c #Conflicts: 760000 | #Constraints: 21524 560.55/562.26 c #Conflicts: 761000 | #Constraints: 22524 560.55/562.26 c #Conflicts: 762000 | #Constraints: 23524 560.55/562.26 c #Conflicts: 763000 | #Constraints: 24524 560.55/562.26 c #Conflicts: 764000 | #Constraints: 25524 560.55/562.26 c #Conflicts: 765000 | #Constraints: 26525 560.55/562.26 c #Conflicts: 766000 | #Constraints: 27525 560.55/562.26 c #Conflicts: 767000 | #Constraints: 28525 560.55/562.26 c #Conflicts: 768000 | #Constraints: 29525 560.55/562.26 c #Conflicts: 769000 | #Constraints: 30525 560.55/562.26 c #Conflicts: 770000 | #Constraints: 31525 560.55/562.26 c #Conflicts: 771000 | #Constraints: 32525 560.55/562.26 c #Conflicts: 772000 | #Constraints: 33525 560.55/562.26 c #Conflicts: 773000 | #Constraints: 34526 560.55/562.26 c #Conflicts: 774000 | #Constraints: 35526 560.55/562.26 c INPROCESSING 560.55/562.26 c GARBAGE COLLECT 560.55/562.26 c rational objective 61.1176 574.71/576.44 c #Conflicts: 775000 | #Constraints: 19115 574.71/576.44 c #Conflicts: 776000 | #Constraints: 20115 574.71/576.44 c #Conflicts: 777000 | #Constraints: 21115 574.71/576.44 c #Conflicts: 778000 | #Constraints: 22116 574.71/576.44 c #Conflicts: 779000 | #Constraints: 23116 574.71/576.44 c #Conflicts: 780000 | #Constraints: 24116 574.71/576.44 c #Conflicts: 781000 | #Constraints: 25118 574.71/576.44 c #Conflicts: 782000 | #Constraints: 26118 574.71/576.44 c #Conflicts: 783000 | #Constraints: 27118 574.71/576.44 c #Conflicts: 784000 | #Constraints: 28118 574.71/576.44 c #Conflicts: 785000 | #Constraints: 29119 574.71/576.44 c #Conflicts: 786000 | #Constraints: 30119 574.71/576.44 c #Conflicts: 787000 | #Constraints: 31119 574.71/576.44 c #Conflicts: 788000 | #Constraints: 32120 574.71/576.44 c #Conflicts: 789000 | #Constraints: 33120 574.71/576.44 c #Conflicts: 790000 | #Constraints: 34120 574.71/576.44 c #Conflicts: 791000 | #Constraints: 35120 574.71/576.44 c #Conflicts: 792000 | #Constraints: 36121 574.71/576.44 c INPROCESSING 574.71/576.44 c GARBAGE COLLECT 574.71/576.44 c rational objective 61.1176 591.85/593.66 c #Conflicts: 793000 | #Constraints: 19515 591.85/593.66 c #Conflicts: 794000 | #Constraints: 20516 591.85/593.66 c #Conflicts: 795000 | #Constraints: 21516 591.85/593.66 c #Conflicts: 796000 | #Constraints: 22517 591.85/593.66 c #Conflicts: 797000 | #Constraints: 23518 591.85/593.66 c #Conflicts: 798000 | #Constraints: 24518 591.85/593.66 c #Conflicts: 799000 | #Constraints: 25518 591.85/593.66 c #Conflicts: 800000 | #Constraints: 26518 591.85/593.66 c #Conflicts: 801000 | #Constraints: 27521 591.85/593.66 c #Conflicts: 802000 | #Constraints: 28521 591.85/593.66 c #Conflicts: 803000 | #Constraints: 29521 591.85/593.66 c #Conflicts: 804000 | #Constraints: 30522 591.85/593.66 c #Conflicts: 805000 | #Constraints: 31523 591.85/593.66 c #Conflicts: 806000 | #Constraints: 32524 591.85/593.66 c #Conflicts: 807000 | #Constraints: 33526 591.85/593.66 c #Conflicts: 808000 | #Constraints: 34526 591.85/593.66 c #Conflicts: 809000 | #Constraints: 35526 591.85/593.66 c #Conflicts: 810000 | #Constraints: 36527 591.85/593.66 c INPROCESSING 591.85/593.66 c GARBAGE COLLECT 591.85/593.66 c rational objective 61.1176 608.31/610.11 c #Conflicts: 811000 | #Constraints: 19718 608.31/610.11 c #Conflicts: 812000 | #Constraints: 20719 608.31/610.11 c #Conflicts: 813000 | #Constraints: 21720 608.31/610.11 c #Conflicts: 814000 | #Constraints: 22720 608.31/610.11 c #Conflicts: 815000 | #Constraints: 23721 608.31/610.11 c #Conflicts: 816000 | #Constraints: 24722 608.31/610.11 c #Conflicts: 817000 | #Constraints: 25722 608.31/610.11 c #Conflicts: 818000 | #Constraints: 26722 608.31/610.11 c #Conflicts: 819000 | #Constraints: 27722 608.31/610.11 c #Conflicts: 820000 | #Constraints: 28723 608.31/610.11 c #Conflicts: 821000 | #Constraints: 29724 608.31/610.11 c #Conflicts: 822000 | #Constraints: 30725 608.31/610.11 c #Conflicts: 823000 | #Constraints: 31725 608.31/610.11 c #Conflicts: 824000 | #Constraints: 32727 608.31/610.11 c #Conflicts: 825000 | #Constraints: 33728 608.31/610.11 c #Conflicts: 826000 | #Constraints: 34729 608.31/610.11 c #Conflicts: 827000 | #Constraints: 35734 608.31/610.11 c #Conflicts: 828000 | #Constraints: 36735 608.31/610.11 c INPROCESSING 608.31/610.11 c GARBAGE COLLECT 608.31/610.11 c rational objective 61.1176 627.95/629.87 c #Conflicts: 829000 | #Constraints: 19719 627.95/629.87 c #Conflicts: 830000 | #Constraints: 20720 627.95/629.87 c #Conflicts: 831000 | #Constraints: 21721 627.95/629.87 c #Conflicts: 832000 | #Constraints: 22721 627.95/629.87 c #Conflicts: 833000 | #Constraints: 23721 627.95/629.87 c #Conflicts: 834000 | #Constraints: 24722 627.95/629.87 c #Conflicts: 835000 | #Constraints: 25723 627.95/629.87 c #Conflicts: 836000 | #Constraints: 26723 627.95/629.87 c #Conflicts: 837000 | #Constraints: 27724 627.95/629.87 c #Conflicts: 838000 | #Constraints: 28725 627.95/629.87 c #Conflicts: 839000 | #Constraints: 29725 627.95/629.87 c #Conflicts: 840000 | #Constraints: 30725 627.95/629.87 c #Conflicts: 841000 | #Constraints: 31725 627.95/629.87 c #Conflicts: 842000 | #Constraints: 32725 627.95/629.87 c #Conflicts: 843000 | #Constraints: 33725 627.95/629.87 c #Conflicts: 844000 | #Constraints: 34727 627.95/629.87 c #Conflicts: 845000 | #Constraints: 35728 627.95/629.87 c #Conflicts: 846000 | #Constraints: 36728 627.95/629.87 c INPROCESSING 627.95/629.87 c GARBAGE COLLECT 627.95/629.87 c rational objective 61.1176 646.20/648.10 c #Conflicts: 847000 | #Constraints: 19513 646.20/648.10 c #Conflicts: 848000 | #Constraints: 20513 646.20/648.10 c #Conflicts: 849000 | #Constraints: 21513 646.20/648.10 c #Conflicts: 850000 | #Constraints: 22514 646.20/648.10 c #Conflicts: 851000 | #Constraints: 23514 646.20/648.10 c #Conflicts: 852000 | #Constraints: 24514 646.20/648.10 c #Conflicts: 853000 | #Constraints: 25514 646.20/648.10 c #Conflicts: 854000 | #Constraints: 26515 646.20/648.10 c #Conflicts: 855000 | #Constraints: 27516 646.20/648.10 c #Conflicts: 856000 | #Constraints: 28518 646.20/648.10 c #Conflicts: 857000 | #Constraints: 29518 646.20/648.10 c #Conflicts: 858000 | #Constraints: 30518 646.20/648.10 c #Conflicts: 859000 | #Constraints: 31518 646.20/648.10 c #Conflicts: 860000 | #Constraints: 32520 646.20/648.10 c #Conflicts: 861000 | #Constraints: 33521 646.20/648.10 c #Conflicts: 862000 | #Constraints: 34521 646.20/648.10 c #Conflicts: 863000 | #Constraints: 35521 646.20/648.10 c #Conflicts: 864000 | #Constraints: 36521 646.20/648.10 c #Conflicts: 865000 | #Constraints: 37523 646.20/648.10 c INPROCESSING 646.20/648.10 c GARBAGE COLLECT 646.20/648.10 c rational objective 61.1176 665.03/667.01 c #Conflicts: 866000 | #Constraints: 20113 665.03/667.01 c #Conflicts: 867000 | #Constraints: 21117 665.03/667.01 c #Conflicts: 868000 | #Constraints: 22117 665.03/667.01 c #Conflicts: 869000 | #Constraints: 23117 665.03/667.01 c #Conflicts: 870000 | #Constraints: 24117 665.03/667.01 c #Conflicts: 871000 | #Constraints: 25118 665.03/667.01 c #Conflicts: 872000 | #Constraints: 26119 665.03/667.01 c #Conflicts: 873000 | #Constraints: 27122 665.03/667.01 c #Conflicts: 874000 | #Constraints: 28125 665.03/667.01 c #Conflicts: 875000 | #Constraints: 29125 665.03/667.01 c #Conflicts: 876000 | #Constraints: 30125 665.03/667.01 c #Conflicts: 877000 | #Constraints: 31126 665.03/667.01 c #Conflicts: 878000 | #Constraints: 32126 665.03/667.01 c #Conflicts: 879000 | #Constraints: 33126 665.03/667.01 c #Conflicts: 880000 | #Constraints: 34126 665.03/667.01 c #Conflicts: 881000 | #Constraints: 35126 665.03/667.01 c #Conflicts: 882000 | #Constraints: 36127 665.03/667.01 c #Conflicts: 883000 | #Constraints: 37129 665.03/667.01 c #Conflicts: 884000 | #Constraints: 38130 665.03/667.01 c INPROCESSING 665.03/667.01 c GARBAGE COLLECT 665.03/667.01 c rational objective 61.1176 684.17/686.29 c #Conflicts: 885000 | #Constraints: 20521 684.17/686.29 c #Conflicts: 886000 | #Constraints: 21522 684.17/686.29 c #Conflicts: 887000 | #Constraints: 22522 684.17/686.29 c #Conflicts: 888000 | #Constraints: 23523 684.17/686.29 c #Conflicts: 889000 | #Constraints: 24523 684.17/686.29 c #Conflicts: 890000 | #Constraints: 25523 684.17/686.29 c #Conflicts: 891000 | #Constraints: 26523 684.17/686.29 c #Conflicts: 892000 | #Constraints: 27523 684.17/686.29 c #Conflicts: 893000 | #Constraints: 28523 684.17/686.29 c #Conflicts: 894000 | #Constraints: 29523 684.17/686.29 c #Conflicts: 895000 | #Constraints: 30523 684.17/686.29 c #Conflicts: 896000 | #Constraints: 31525 684.17/686.29 c #Conflicts: 897000 | #Constraints: 32525 684.17/686.29 c #Conflicts: 898000 | #Constraints: 33525 684.17/686.29 c #Conflicts: 899000 | #Constraints: 34526 684.17/686.29 c #Conflicts: 900000 | #Constraints: 35526 684.17/686.29 c #Conflicts: 901000 | #Constraints: 36527 684.17/686.29 c #Conflicts: 902000 | #Constraints: 37530 684.17/686.29 c #Conflicts: 903000 | #Constraints: 38530 684.17/686.29 c INPROCESSING 684.17/686.29 c GARBAGE COLLECT 684.17/686.29 c rational objective 61.1176 706.02/708.12 c #Conflicts: 904000 | #Constraints: 20724 706.02/708.12 c #Conflicts: 905000 | #Constraints: 21726 706.02/708.12 c #Conflicts: 906000 | #Constraints: 22727 706.02/708.12 c #Conflicts: 907000 | #Constraints: 23727 706.02/708.12 c #Conflicts: 908000 | #Constraints: 24727 706.02/708.12 c #Conflicts: 909000 | #Constraints: 25728 706.02/708.12 c #Conflicts: 910000 | #Constraints: 26731 706.02/708.12 c #Conflicts: 911000 | #Constraints: 27731 706.02/708.12 c #Conflicts: 912000 | #Constraints: 28732 706.02/708.12 c #Conflicts: 913000 | #Constraints: 29732 706.02/708.12 c #Conflicts: 914000 | #Constraints: 30733 706.02/708.12 c #Conflicts: 915000 | #Constraints: 31733 706.02/708.12 c #Conflicts: 916000 | #Constraints: 32734 706.02/708.12 c #Conflicts: 917000 | #Constraints: 33735 706.02/708.12 c #Conflicts: 918000 | #Constraints: 34735 706.02/708.12 c #Conflicts: 919000 | #Constraints: 35735 706.02/708.12 c #Conflicts: 920000 | #Constraints: 36735 706.02/708.12 c #Conflicts: 921000 | #Constraints: 37736 706.02/708.12 c #Conflicts: 922000 | #Constraints: 38736 706.02/708.12 c INPROCESSING 706.02/708.12 c GARBAGE COLLECT 706.02/708.12 c rational objective 61.1176 730.63/732.83 c #Conflicts: 923000 | #Constraints: 20725 730.63/732.83 c #Conflicts: 924000 | #Constraints: 21725 730.63/732.83 c #Conflicts: 925000 | #Constraints: 22727 730.63/732.83 c #Conflicts: 926000 | #Constraints: 23727 730.63/732.83 c #Conflicts: 927000 | #Constraints: 24728 730.63/732.83 c #Conflicts: 928000 | #Constraints: 25729 730.63/732.83 c #Conflicts: 929000 | #Constraints: 26729 730.63/732.83 c #Conflicts: 930000 | #Constraints: 27729 730.63/732.83 c #Conflicts: 931000 | #Constraints: 28729 730.63/732.83 c #Conflicts: 932000 | #Constraints: 29730 730.63/732.83 c #Conflicts: 933000 | #Constraints: 30730 730.63/732.83 c #Conflicts: 934000 | #Constraints: 31731 730.63/732.83 c #Conflicts: 935000 | #Constraints: 32731 730.63/732.83 c #Conflicts: 936000 | #Constraints: 33731 730.63/732.83 c #Conflicts: 937000 | #Constraints: 34732 730.63/732.83 c #Conflicts: 938000 | #Constraints: 35732 730.63/732.83 c #Conflicts: 939000 | #Constraints: 36733 730.63/732.83 c #Conflicts: 940000 | #Constraints: 37734 730.63/732.83 c #Conflicts: 941000 | #Constraints: 38735 730.63/732.83 c INPROCESSING 730.63/732.83 c GARBAGE COLLECT 730.63/732.83 c rational objective 61.1176 752.96/755.26 c #Conflicts: 942000 | #Constraints: 20525 752.96/755.26 c #Conflicts: 943000 | #Constraints: 21525 752.96/755.26 c #Conflicts: 944000 | #Constraints: 22525 752.96/755.26 c #Conflicts: 945000 | #Constraints: 23526 752.96/755.26 c #Conflicts: 946000 | #Constraints: 24527 752.96/755.26 c #Conflicts: 947000 | #Constraints: 25528 752.96/755.26 c #Conflicts: 948000 | #Constraints: 26528 752.96/755.26 c #Conflicts: 949000 | #Constraints: 27528 752.96/755.26 c #Conflicts: 950000 | #Constraints: 28529 752.96/755.26 c #Conflicts: 951000 | #Constraints: 29530 752.96/755.26 c #Conflicts: 952000 | #Constraints: 30532 752.96/755.26 c #Conflicts: 953000 | #Constraints: 31534 752.96/755.26 c #Conflicts: 954000 | #Constraints: 32535 752.96/755.26 c #Conflicts: 955000 | #Constraints: 33537 752.96/755.26 c #Conflicts: 956000 | #Constraints: 34537 752.96/755.26 c #Conflicts: 957000 | #Constraints: 35537 752.96/755.26 c #Conflicts: 958000 | #Constraints: 36538 752.96/755.26 c #Conflicts: 959000 | #Constraints: 37538 752.96/755.26 c #Conflicts: 960000 | #Constraints: 38539 752.96/755.26 c #Conflicts: 961000 | #Constraints: 39540 752.96/755.26 c INPROCESSING 752.96/755.26 c GARBAGE COLLECT 752.96/755.26 c rational objective 61.1176 784.17/786.57 c #Conflicts: 962000 | #Constraints: 21126 784.17/786.57 c #Conflicts: 963000 | #Constraints: 22126 784.17/786.57 c #Conflicts: 964000 | #Constraints: 23127 784.17/786.57 c #Conflicts: 965000 | #Constraints: 24127 784.17/786.57 c #Conflicts: 966000 | #Constraints: 25128 784.17/786.57 c #Conflicts: 967000 | #Constraints: 26128 784.17/786.57 c #Conflicts: 968000 | #Constraints: 27128 784.17/786.57 c #Conflicts: 969000 | #Constraints: 28130 784.17/786.57 c #Conflicts: 970000 | #Constraints: 29130 784.17/786.57 c #Conflicts: 971000 | #Constraints: 30132 784.17/786.57 c #Conflicts: 972000 | #Constraints: 31133 784.17/786.57 c #Conflicts: 973000 | #Constraints: 32134 784.17/786.57 c #Conflicts: 974000 | #Constraints: 33135 784.17/786.57 c #Conflicts: 975000 | #Constraints: 34136 784.17/786.57 c #Conflicts: 976000 | #Constraints: 35137 784.17/786.57 c #Conflicts: 977000 | #Constraints: 36137 784.17/786.57 c #Conflicts: 978000 | #Constraints: 37137 784.17/786.57 c #Conflicts: 979000 | #Constraints: 38137 784.17/786.57 c #Conflicts: 980000 | #Constraints: 39137 784.17/786.57 c #Conflicts: 981000 | #Constraints: 40138 784.17/786.57 c INPROCESSING 784.17/786.57 c GARBAGE COLLECT 784.17/786.57 c rational objective 61.1176 824.44/826.95 c #Conflicts: 982000 | #Constraints: 21531 824.44/826.95 c #Conflicts: 983000 | #Constraints: 22532 824.44/826.95 c #Conflicts: 984000 | #Constraints: 23534 824.44/826.95 c #Conflicts: 985000 | #Constraints: 24535 824.44/826.95 c #Conflicts: 986000 | #Constraints: 25536 824.44/826.95 c #Conflicts: 987000 | #Constraints: 26536 824.44/826.95 c #Conflicts: 988000 | #Constraints: 27536 824.44/826.95 c #Conflicts: 989000 | #Constraints: 28536 824.44/826.95 c #Conflicts: 990000 | #Constraints: 29537 824.44/826.95 c #Conflicts: 991000 | #Constraints: 30537 824.44/826.95 c #Conflicts: 992000 | #Constraints: 31537 824.44/826.95 c #Conflicts: 993000 | #Constraints: 32537 824.44/826.95 c #Conflicts: 994000 | #Constraints: 33537 824.44/826.95 c #Conflicts: 995000 | #Constraints: 34538 824.44/826.95 c #Conflicts: 996000 | #Constraints: 35539 824.44/826.95 c #Conflicts: 997000 | #Constraints: 36540 824.44/826.95 c #Conflicts: 998000 | #Constraints: 37540 824.44/826.95 c #Conflicts: 999000 | #Constraints: 38540 824.44/826.95 c #Conflicts: 1000000 | #Constraints: 39540 824.44/826.95 c #Conflicts: 1001000 | #Constraints: 40541 824.44/826.95 c INPROCESSING 824.44/826.95 c GARBAGE COLLECT 824.44/826.95 c rational objective 61.1176 849.06/851.68 c #Conflicts: 1002000 | #Constraints: 21728 849.06/851.68 c #Conflicts: 1003000 | #Constraints: 22729 849.06/851.68 c #Conflicts: 1004000 | #Constraints: 23729 849.06/851.68 c #Conflicts: 1005000 | #Constraints: 24729 849.06/851.68 c #Conflicts: 1006000 | #Constraints: 25730 849.06/851.68 c #Conflicts: 1007000 | #Constraints: 26731 849.06/851.68 c #Conflicts: 1008000 | #Constraints: 27731 849.06/851.68 c #Conflicts: 1009000 | #Constraints: 28733 849.06/851.68 c #Conflicts: 1010000 | #Constraints: 29733 849.06/851.68 c #Conflicts: 1011000 | #Constraints: 30734 849.06/851.68 c #Conflicts: 1012000 | #Constraints: 31735 849.06/851.68 c #Conflicts: 1013000 | #Constraints: 32736 849.06/851.68 c #Conflicts: 1014000 | #Constraints: 33738 849.06/851.68 c #Conflicts: 1015000 | #Constraints: 34739 849.06/851.68 c #Conflicts: 1016000 | #Constraints: 35739 849.06/851.68 c #Conflicts: 1017000 | #Constraints: 36741 849.06/851.68 c #Conflicts: 1018000 | #Constraints: 37742 849.06/851.68 c #Conflicts: 1019000 | #Constraints: 38743 849.06/851.68 c #Conflicts: 1020000 | #Constraints: 39744 849.06/851.68 c #Conflicts: 1021000 | #Constraints: 40745 849.06/851.68 c INPROCESSING 849.06/851.68 c GARBAGE COLLECT 849.06/851.68 c rational objective 61.1176 875.57/878.20 c #Conflicts: 1022000 | #Constraints: 21734 875.57/878.20 c #Conflicts: 1023000 | #Constraints: 22734 875.57/878.20 c #Conflicts: 1024000 | #Constraints: 23734 875.57/878.20 c #Conflicts: 1025000 | #Constraints: 24734 875.57/878.20 c #Conflicts: 1026000 | #Constraints: 25736 875.57/878.20 c #Conflicts: 1027000 | #Constraints: 26736 875.57/878.20 c #Conflicts: 1028000 | #Constraints: 27736 875.57/878.20 c #Conflicts: 1029000 | #Constraints: 28736 875.57/878.20 c #Conflicts: 1030000 | #Constraints: 29736 875.57/878.20 c #Conflicts: 1031000 | #Constraints: 30736 875.57/878.20 c #Conflicts: 1032000 | #Constraints: 31736 875.57/878.20 c #Conflicts: 1033000 | #Constraints: 32736 875.57/878.20 c #Conflicts: 1034000 | #Constraints: 33736 875.57/878.20 c #Conflicts: 1035000 | #Constraints: 34736 875.57/878.20 c #Conflicts: 1036000 | #Constraints: 35737 875.57/878.20 c #Conflicts: 1037000 | #Constraints: 36737 875.57/878.20 c #Conflicts: 1038000 | #Constraints: 37738 875.57/878.20 c #Conflicts: 1039000 | #Constraints: 38738 875.57/878.20 c #Conflicts: 1040000 | #Constraints: 39738 875.57/878.20 c #Conflicts: 1041000 | #Constraints: 40738 875.57/878.20 c INPROCESSING 875.57/878.20 c GARBAGE COLLECT 875.57/878.20 c rational objective 61.1176 911.57/914.34 c #Conflicts: 1042000 | #Constraints: 21522 911.57/914.34 c #Conflicts: 1043000 | #Constraints: 22522 911.57/914.34 c #Conflicts: 1044000 | #Constraints: 23522 911.57/914.34 c #Conflicts: 1045000 | #Constraints: 24522 911.57/914.34 c #Conflicts: 1046000 | #Constraints: 25522 911.57/914.34 c #Conflicts: 1047000 | #Constraints: 26523 911.57/914.34 c #Conflicts: 1048000 | #Constraints: 27524 911.57/914.34 c #Conflicts: 1049000 | #Constraints: 28525 911.57/914.34 c #Conflicts: 1050000 | #Constraints: 29525 911.57/914.34 c #Conflicts: 1051000 | #Constraints: 30525 911.57/914.34 c #Conflicts: 1052000 | #Constraints: 31525 911.57/914.34 c #Conflicts: 1053000 | #Constraints: 32525 911.57/914.34 c #Conflicts: 1054000 | #Constraints: 33526 911.57/914.34 c #Conflicts: 1055000 | #Constraints: 34526 911.57/914.34 c #Conflicts: 1056000 | #Constraints: 35526 911.57/914.34 c #Conflicts: 1057000 | #Constraints: 36526 911.57/914.34 c #Conflicts: 1058000 | #Constraints: 37526 911.57/914.34 c #Conflicts: 1059000 | #Constraints: 38526 911.57/914.34 c #Conflicts: 1060000 | #Constraints: 39526 911.57/914.34 c #Conflicts: 1061000 | #Constraints: 40527 911.57/914.34 c #Conflicts: 1062000 | #Constraints: 41527 911.57/914.34 c INPROCESSING 911.57/914.34 c GARBAGE COLLECT 911.57/914.34 c rational objective 61.1176 943.36/946.23 c #Conflicts: 1063000 | #Constraints: 22125 943.36/946.23 c #Conflicts: 1064000 | #Constraints: 23125 943.36/946.23 c #Conflicts: 1065000 | #Constraints: 24126 943.36/946.23 c #Conflicts: 1066000 | #Constraints: 25126 943.36/946.23 c #Conflicts: 1067000 | #Constraints: 26126 943.36/946.23 c #Conflicts: 1068000 | #Constraints: 27127 943.36/946.23 c #Conflicts: 1069000 | #Constraints: 28128 943.36/946.23 c #Conflicts: 1070000 | #Constraints: 29129 943.36/946.23 c #Conflicts: 1071000 | #Constraints: 30131 943.36/946.23 c #Conflicts: 1072000 | #Constraints: 31132 943.36/946.23 c #Conflicts: 1073000 | #Constraints: 32132 943.36/946.23 c #Conflicts: 1074000 | #Constraints: 33135 943.36/946.23 c #Conflicts: 1075000 | #Constraints: 34136 943.36/946.23 c #Conflicts: 1076000 | #Constraints: 35136 943.36/946.23 c #Conflicts: 1077000 | #Constraints: 36136 943.36/946.23 c #Conflicts: 1078000 | #Constraints: 37136 943.36/946.23 c #Conflicts: 1079000 | #Constraints: 38137 943.36/946.23 c #Conflicts: 1080000 | #Constraints: 39137 943.36/946.23 c #Conflicts: 1081000 | #Constraints: 40137 943.36/946.23 c #Conflicts: 1082000 | #Constraints: 41138 943.36/946.23 c #Conflicts: 1083000 | #Constraints: 42139 943.36/946.23 c INPROCESSING 943.36/946.23 c GARBAGE COLLECT 943.36/946.23 c rational objective 61.1176 976.96/979.97 c #Conflicts: 1084000 | #Constraints: 22530 976.96/979.97 c #Conflicts: 1085000 | #Constraints: 23530 976.96/979.97 c #Conflicts: 1086000 | #Constraints: 24530 976.96/979.97 c #Conflicts: 1087000 | #Constraints: 25532 976.96/979.97 c #Conflicts: 1088000 | #Constraints: 26532 976.96/979.97 c #Conflicts: 1089000 | #Constraints: 27532 976.96/979.97 c #Conflicts: 1090000 | #Constraints: 28532 976.96/979.97 c #Conflicts: 1091000 | #Constraints: 29534 976.96/979.97 c #Conflicts: 1092000 | #Constraints: 30535 976.96/979.97 c #Conflicts: 1093000 | #Constraints: 31535 976.96/979.97 c #Conflicts: 1094000 | #Constraints: 32536 976.96/979.97 c #Conflicts: 1095000 | #Constraints: 33536 976.96/979.97 c #Conflicts: 1096000 | #Constraints: 34538 976.96/979.97 c #Conflicts: 1097000 | #Constraints: 35539 976.96/979.97 c #Conflicts: 1098000 | #Constraints: 36540 976.96/979.97 c #Conflicts: 1099000 | #Constraints: 37540 976.96/979.97 c #Conflicts: 1100000 | #Constraints: 38540 976.96/979.97 c #Conflicts: 1101000 | #Constraints: 39543 976.96/979.97 c #Conflicts: 1102000 | #Constraints: 40543 976.96/979.97 c #Conflicts: 1103000 | #Constraints: 41543 976.96/979.97 c #Conflicts: 1104000 | #Constraints: 42543 976.96/979.97 c INPROCESSING 976.96/979.97 c GARBAGE COLLECT 976.96/979.97 c rational objective 61.1176 1004.37/1007.46 c #Conflicts: 1105000 | #Constraints: 22742 1004.37/1007.46 c #Conflicts: 1106000 | #Constraints: 23742 1004.37/1007.46 c #Conflicts: 1107000 | #Constraints: 24742 1004.37/1007.46 c #Conflicts: 1108000 | #Constraints: 25742 1004.37/1007.46 c #Conflicts: 1109000 | #Constraints: 26742 1004.37/1007.46 c #Conflicts: 1110000 | #Constraints: 27742 1004.37/1007.46 c #Conflicts: 1111000 | #Constraints: 28742 1004.37/1007.46 c #Conflicts: 1112000 | #Constraints: 29742 1004.37/1007.46 c #Conflicts: 1113000 | #Constraints: 30743 1004.37/1007.46 c #Conflicts: 1114000 | #Constraints: 31743 1004.37/1007.46 c #Conflicts: 1115000 | #Constraints: 32743 1004.37/1007.46 c #Conflicts: 1116000 | #Constraints: 33743 1004.37/1007.46 c #Conflicts: 1117000 | #Constraints: 34743 1004.37/1007.46 c #Conflicts: 1118000 | #Constraints: 35743 1004.37/1007.46 c #Conflicts: 1119000 | #Constraints: 36743 1004.37/1007.46 c #Conflicts: 1120000 | #Constraints: 37744 1004.37/1007.46 c #Conflicts: 1121000 | #Constraints: 38744 1004.37/1007.46 c #Conflicts: 1122000 | #Constraints: 39744 1004.37/1007.46 c #Conflicts: 1123000 | #Constraints: 40744 1004.37/1007.46 c #Conflicts: 1124000 | #Constraints: 41746 1004.37/1007.46 c #Conflicts: 1125000 | #Constraints: 42746 1004.37/1007.46 c INPROCESSING 1004.37/1007.46 c GARBAGE COLLECT 1004.37/1007.46 c rational objective 61.1176 1030.90/1034.02 c #Conflicts: 1126000 | #Constraints: 22733 1030.90/1034.02 c #Conflicts: 1127000 | #Constraints: 23733 1030.90/1034.02 c #Conflicts: 1128000 | #Constraints: 24733 1030.90/1034.02 c #Conflicts: 1129000 | #Constraints: 25733 1030.90/1034.02 c #Conflicts: 1130000 | #Constraints: 26734 1030.90/1034.02 c #Conflicts: 1131000 | #Constraints: 27735 1030.90/1034.02 c #Conflicts: 1132000 | #Constraints: 28735 1030.90/1034.02 c #Conflicts: 1133000 | #Constraints: 29735 1030.90/1034.02 c #Conflicts: 1134000 | #Constraints: 30736 1030.90/1034.02 c #Conflicts: 1135000 | #Constraints: 31736 1030.90/1034.02 c #Conflicts: 1136000 | #Constraints: 32737 1030.90/1034.02 c #Conflicts: 1137000 | #Constraints: 33737 1030.90/1034.02 c #Conflicts: 1138000 | #Constraints: 34737 1030.90/1034.02 c #Conflicts: 1139000 | #Constraints: 35737 1030.90/1034.02 c #Conflicts: 1140000 | #Constraints: 36738 1030.90/1034.02 c #Conflicts: 1141000 | #Constraints: 37739 1030.90/1034.02 c #Conflicts: 1142000 | #Constraints: 38739 1030.90/1034.02 c #Conflicts: 1143000 | #Constraints: 39740 1030.90/1034.02 c #Conflicts: 1144000 | #Constraints: 40740 1030.90/1034.02 c #Conflicts: 1145000 | #Constraints: 41740 1030.90/1034.02 c #Conflicts: 1146000 | #Constraints: 42740 1030.90/1034.02 c INPROCESSING 1030.90/1034.02 c GARBAGE COLLECT 1030.90/1034.02 c rational objective 61.1176 1058.50/1061.71 c #Conflicts: 1147000 | #Constraints: 22529 1058.50/1061.71 c #Conflicts: 1148000 | #Constraints: 23529 1058.50/1061.71 c #Conflicts: 1149000 | #Constraints: 24529 1058.50/1061.71 c #Conflicts: 1150000 | #Constraints: 25529 1058.50/1061.71 c #Conflicts: 1151000 | #Constraints: 26529 1058.50/1061.71 c #Conflicts: 1152000 | #Constraints: 27531 1058.50/1061.71 c #Conflicts: 1153000 | #Constraints: 28532 1058.50/1061.71 c #Conflicts: 1154000 | #Constraints: 29532 1058.50/1061.71 c #Conflicts: 1155000 | #Constraints: 30532 1058.50/1061.71 c #Conflicts: 1156000 | #Constraints: 31532 1058.50/1061.71 c #Conflicts: 1157000 | #Constraints: 32533 1058.50/1061.71 c #Conflicts: 1158000 | #Constraints: 33533 1058.50/1061.71 c #Conflicts: 1159000 | #Constraints: 34535 1058.50/1061.71 c #Conflicts: 1160000 | #Constraints: 35535 1058.50/1061.71 c #Conflicts: 1161000 | #Constraints: 36535 1058.50/1061.71 c #Conflicts: 1162000 | #Constraints: 37536 1058.50/1061.71 c #Conflicts: 1163000 | #Constraints: 38536 1058.50/1061.71 c #Conflicts: 1164000 | #Constraints: 39537 1058.50/1061.71 c #Conflicts: 1165000 | #Constraints: 40537 1058.50/1061.71 c #Conflicts: 1166000 | #Constraints: 41538 1058.50/1061.71 c #Conflicts: 1167000 | #Constraints: 42538 1058.50/1061.71 c #Conflicts: 1168000 | #Constraints: 43538 1058.50/1061.71 c INPROCESSING 1058.50/1061.71 c GARBAGE COLLECT 1058.50/1061.71 c rational objective 61.1176 1086.62/1089.99 c #Conflicts: 1169000 | #Constraints: 23126 1086.62/1089.99 c #Conflicts: 1170000 | #Constraints: 24127 1086.62/1089.99 c #Conflicts: 1171000 | #Constraints: 25128 1086.62/1089.99 c #Conflicts: 1172000 | #Constraints: 26129 1086.62/1089.99 c #Conflicts: 1173000 | #Constraints: 27129 1086.62/1089.99 c #Conflicts: 1174000 | #Constraints: 28129 1086.62/1089.99 c #Conflicts: 1175000 | #Constraints: 29131 1086.62/1089.99 c #Conflicts: 1176000 | #Constraints: 30132 1086.62/1089.99 c #Conflicts: 1177000 | #Constraints: 31133 1086.62/1089.99 c #Conflicts: 1178000 | #Constraints: 32133 1086.62/1089.99 c #Conflicts: 1179000 | #Constraints: 33134 1086.62/1089.99 c #Conflicts: 1180000 | #Constraints: 34134 1086.62/1089.99 c #Conflicts: 1181000 | #Constraints: 35136 1086.62/1089.99 c #Conflicts: 1182000 | #Constraints: 36137 1086.62/1089.99 c #Conflicts: 1183000 | #Constraints: 37138 1086.62/1089.99 c #Conflicts: 1184000 | #Constraints: 38138 1086.62/1089.99 c #Conflicts: 1185000 | #Constraints: 39139 1086.62/1089.99 c #Conflicts: 1186000 | #Constraints: 40139 1086.62/1089.99 c #Conflicts: 1187000 | #Constraints: 41139 1086.62/1089.99 c #Conflicts: 1188000 | #Constraints: 42140 1086.62/1089.99 c #Conflicts: 1189000 | #Constraints: 43140 1086.62/1089.99 c #Conflicts: 1190000 | #Constraints: 44140 1086.62/1089.99 c INPROCESSING 1086.62/1089.99 c GARBAGE COLLECT 1086.62/1089.99 c rational objective 61.1176 1114.33/1117.76 c #Conflicts: 1191000 | #Constraints: 23530 1114.33/1117.76 c #Conflicts: 1192000 | #Constraints: 24530 1114.33/1117.76 c #Conflicts: 1193000 | #Constraints: 25531 1114.33/1117.76 c #Conflicts: 1194000 | #Constraints: 26532 1114.33/1117.76 c #Conflicts: 1195000 | #Constraints: 27532 1114.33/1117.76 c #Conflicts: 1196000 | #Constraints: 28532 1114.33/1117.76 c #Conflicts: 1197000 | #Constraints: 29533 1114.33/1117.76 c #Conflicts: 1198000 | #Constraints: 30534 1114.33/1117.76 c #Conflicts: 1199000 | #Constraints: 31536 1114.33/1117.76 c #Conflicts: 1200000 | #Constraints: 32536 1114.33/1117.76 c #Conflicts: 1201000 | #Constraints: 33538 1114.33/1117.76 c #Conflicts: 1202000 | #Constraints: 34539 1114.33/1117.76 c #Conflicts: 1203000 | #Constraints: 35540 1114.33/1117.76 c #Conflicts: 1204000 | #Constraints: 36540 1114.33/1117.76 c #Conflicts: 1205000 | #Constraints: 37541 1114.33/1117.76 c #Conflicts: 1206000 | #Constraints: 38541 1114.33/1117.76 c #Conflicts: 1207000 | #Constraints: 39543 1114.33/1117.76 c #Conflicts: 1208000 | #Constraints: 40545 1114.33/1117.76 c #Conflicts: 1209000 | #Constraints: 41545 1114.33/1117.76 c #Conflicts: 1210000 | #Constraints: 42545 1114.33/1117.76 c #Conflicts: 1211000 | #Constraints: 43545 1114.33/1117.76 c #Conflicts: 1212000 | #Constraints: 44546 1114.33/1117.76 c INPROCESSING 1114.33/1117.76 c GARBAGE COLLECT 1114.33/1117.76 c rational objective 61.1176 1148.22/1151.75 c #Conflicts: 1213000 | #Constraints: 23731 1148.22/1151.75 c #Conflicts: 1214000 | #Constraints: 24732 1148.22/1151.75 c #Conflicts: 1215000 | #Constraints: 25734 1148.22/1151.75 c #Conflicts: 1216000 | #Constraints: 26736 1148.22/1151.75 c #Conflicts: 1217000 | #Constraints: 27737 1148.22/1151.75 c #Conflicts: 1218000 | #Constraints: 28738 1148.22/1151.75 c #Conflicts: 1219000 | #Constraints: 29738 1148.22/1151.75 c #Conflicts: 1220000 | #Constraints: 30738 1148.22/1151.75 c #Conflicts: 1221000 | #Constraints: 31738 1148.22/1151.75 c #Conflicts: 1222000 | #Constraints: 32738 1148.22/1151.75 c #Conflicts: 1223000 | #Constraints: 33740 1148.22/1151.75 c #Conflicts: 1224000 | #Constraints: 34740 1148.22/1151.75 c #Conflicts: 1225000 | #Constraints: 35741 1148.22/1151.75 c #Conflicts: 1226000 | #Constraints: 36741 1148.22/1151.75 c #Conflicts: 1227000 | #Constraints: 37741 1148.22/1151.75 c #Conflicts: 1228000 | #Constraints: 38741 1148.22/1151.75 c #Conflicts: 1229000 | #Constraints: 39741 1148.22/1151.75 c #Conflicts: 1230000 | #Constraints: 40741 1148.22/1151.75 c #Conflicts: 1231000 | #Constraints: 41743 1148.22/1151.75 c #Conflicts: 1232000 | #Constraints: 42743 1148.22/1151.75 c #Conflicts: 1233000 | #Constraints: 43743 1148.22/1151.75 c #Conflicts: 1234000 | #Constraints: 44744 1148.22/1151.75 c INPROCESSING 1148.22/1151.75 c GARBAGE COLLECT 1148.22/1151.75 c rational objective 61.1176 1174.55/1178.16 c #Conflicts: 1235000 | #Constraints: 23724 1174.55/1178.16 c #Conflicts: 1236000 | #Constraints: 24724 1174.55/1178.16 c #Conflicts: 1237000 | #Constraints: 25724 1174.55/1178.16 c #Conflicts: 1238000 | #Constraints: 26725 1174.55/1178.16 c #Conflicts: 1239000 | #Constraints: 27726 1174.55/1178.16 c #Conflicts: 1240000 | #Constraints: 28726 1174.55/1178.16 c #Conflicts: 1241000 | #Constraints: 29727 1174.55/1178.16 c #Conflicts: 1242000 | #Constraints: 30727 1174.55/1178.16 c #Conflicts: 1243000 | #Constraints: 31729 1174.55/1178.16 c #Conflicts: 1244000 | #Constraints: 32730 1174.55/1178.16 c #Conflicts: 1245000 | #Constraints: 33730 1174.55/1178.16 c #Conflicts: 1246000 | #Constraints: 34730 1174.55/1178.16 c #Conflicts: 1247000 | #Constraints: 35730 1174.55/1178.16 c #Conflicts: 1248000 | #Constraints: 36730 1174.55/1178.16 c #Conflicts: 1249000 | #Constraints: 37730 1174.55/1178.16 c #Conflicts: 1250000 | #Constraints: 38730 1174.55/1178.16 c #Conflicts: 1251000 | #Constraints: 39730 1174.55/1178.16 c #Conflicts: 1252000 | #Constraints: 40730 1174.55/1178.16 c #Conflicts: 1253000 | #Constraints: 41730 1174.55/1178.16 c #Conflicts: 1254000 | #Constraints: 42731 1174.55/1178.16 c #Conflicts: 1255000 | #Constraints: 43731 1174.55/1178.16 c #Conflicts: 1256000 | #Constraints: 44731 1174.55/1178.16 c INPROCESSING 1174.55/1178.16 c GARBAGE COLLECT 1174.55/1178.16 c rational objective 61.1176 1201.26/1204.91 c #Conflicts: 1257000 | #Constraints: 23527 1201.26/1204.91 c #Conflicts: 1258000 | #Constraints: 24529 1201.26/1204.91 c #Conflicts: 1259000 | #Constraints: 25531 1201.26/1204.91 c #Conflicts: 1260000 | #Constraints: 26532 1201.26/1204.91 c #Conflicts: 1261000 | #Constraints: 27533 1201.26/1204.91 c #Conflicts: 1262000 | #Constraints: 28534 1201.26/1204.91 c #Conflicts: 1263000 | #Constraints: 29534 1201.26/1204.91 c #Conflicts: 1264000 | #Constraints: 30534 1201.26/1204.91 c #Conflicts: 1265000 | #Constraints: 31535 1201.26/1204.91 c #Conflicts: 1266000 | #Constraints: 32536 1201.26/1204.91 c #Conflicts: 1267000 | #Constraints: 33536 1201.26/1204.91 c #Conflicts: 1268000 | #Constraints: 34536 1201.26/1204.91 c #Conflicts: 1269000 | #Constraints: 35536 1201.26/1204.91 c #Conflicts: 1270000 | #Constraints: 36537 1201.26/1204.91 c #Conflicts: 1271000 | #Constraints: 37538 1201.26/1204.91 c #Conflicts: 1272000 | #Constraints: 38539 1201.26/1204.91 c #Conflicts: 1273000 | #Constraints: 39540 1201.26/1204.91 c #Conflicts: 1274000 | #Constraints: 40541 1201.26/1204.91 c #Conflicts: 1275000 | #Constraints: 41542 1201.26/1204.91 c #Conflicts: 1276000 | #Constraints: 42542 1201.26/1204.91 c #Conflicts: 1277000 | #Constraints: 43542 1201.26/1204.91 c #Conflicts: 1278000 | #Constraints: 44542 1201.26/1204.91 c #Conflicts: 1279000 | #Constraints: 45542 1201.26/1204.91 c INPROCESSING 1201.26/1204.91 c GARBAGE COLLECT 1201.26/1204.91 c rational objective 61.1176 1233.46/1237.24 c #Conflicts: 1280000 | #Constraints: 24119 1233.46/1237.24 c #Conflicts: 1281000 | #Constraints: 25120 1233.46/1237.24 c #Conflicts: 1282000 | #Constraints: 26121 1233.46/1237.24 c #Conflicts: 1283000 | #Constraints: 27122 1233.46/1237.24 c #Conflicts: 1284000 | #Constraints: 28123 1233.46/1237.24 c #Conflicts: 1285000 | #Constraints: 29123 1233.46/1237.24 c #Conflicts: 1286000 | #Constraints: 30124 1233.46/1237.24 c #Conflicts: 1287000 | #Constraints: 31124 1233.46/1237.24 c #Conflicts: 1288000 | #Constraints: 32124 1233.46/1237.24 c #Conflicts: 1289000 | #Constraints: 33125 1233.46/1237.24 c #Conflicts: 1290000 | #Constraints: 34125 1233.46/1237.24 c #Conflicts: 1291000 | #Constraints: 35125 1233.46/1237.24 c #Conflicts: 1292000 | #Constraints: 36126 1233.46/1237.24 c #Conflicts: 1293000 | #Constraints: 37127 1233.46/1237.24 c #Conflicts: 1294000 | #Constraints: 38129 1233.46/1237.24 c #Conflicts: 1295000 | #Constraints: 39129 1233.46/1237.24 c #Conflicts: 1296000 | #Constraints: 40129 1233.46/1237.24 c #Conflicts: 1297000 | #Constraints: 41130 1233.46/1237.24 c #Conflicts: 1298000 | #Constraints: 42131 1233.46/1237.24 c #Conflicts: 1299000 | #Constraints: 43132 1233.46/1237.24 c #Conflicts: 1300000 | #Constraints: 44132 1233.46/1237.24 c #Conflicts: 1301000 | #Constraints: 45133 1233.46/1237.24 c #Conflicts: 1302000 | #Constraints: 46133 1233.46/1237.24 c INPROCESSING 1233.46/1237.24 c GARBAGE COLLECT 1233.46/1237.24 c rational objective 61.1176 1264.96/1268.81 c #Conflicts: 1303000 | #Constraints: 24524 1264.96/1268.81 c #Conflicts: 1304000 | #Constraints: 25524 1264.96/1268.81 c #Conflicts: 1305000 | #Constraints: 26525 1264.96/1268.81 c #Conflicts: 1306000 | #Constraints: 27525 1264.96/1268.81 c #Conflicts: 1307000 | #Constraints: 28525 1264.96/1268.81 c #Conflicts: 1308000 | #Constraints: 29526 1264.96/1268.81 c #Conflicts: 1309000 | #Constraints: 30526 1264.96/1268.81 c #Conflicts: 1310000 | #Constraints: 31526 1264.96/1268.81 c #Conflicts: 1311000 | #Constraints: 32526 1264.96/1268.81 c #Conflicts: 1312000 | #Constraints: 33527 1264.96/1268.81 c #Conflicts: 1313000 | #Constraints: 34527 1264.96/1268.81 c #Conflicts: 1314000 | #Constraints: 35527 1264.96/1268.81 c #Conflicts: 1315000 | #Constraints: 36529 1264.96/1268.81 c #Conflicts: 1316000 | #Constraints: 37530 1264.96/1268.81 c #Conflicts: 1317000 | #Constraints: 38530 1264.96/1268.81 c #Conflicts: 1318000 | #Constraints: 39531 1264.96/1268.81 c #Conflicts: 1319000 | #Constraints: 40531 1264.96/1268.81 c #Conflicts: 1320000 | #Constraints: 41531 1264.96/1268.81 c #Conflicts: 1321000 | #Constraints: 42532 1264.96/1268.81 c #Conflicts: 1322000 | #Constraints: 43533 1264.96/1268.81 c #Conflicts: 1323000 | #Constraints: 44533 1264.96/1268.81 c #Conflicts: 1324000 | #Constraints: 45534 1264.96/1268.81 c #Conflicts: 1325000 | #Constraints: 46534 1264.96/1268.81 c INPROCESSING 1264.96/1268.81 c GARBAGE COLLECT 1264.96/1268.81 c rational objective 61.1176 1294.24/1298.26 c #Conflicts: 1326000 | #Constraints: 24721 1294.24/1298.26 c #Conflicts: 1327000 | #Constraints: 25721 1294.24/1298.26 c #Conflicts: 1328000 | #Constraints: 26722 1294.24/1298.26 c #Conflicts: 1329000 | #Constraints: 27724 1294.24/1298.26 c #Conflicts: 1330000 | #Constraints: 28724 1294.24/1298.26 c #Conflicts: 1331000 | #Constraints: 29725 1294.24/1298.26 c #Conflicts: 1332000 | #Constraints: 30725 1294.24/1298.26 c #Conflicts: 1333000 | #Constraints: 31726 1294.24/1298.26 c #Conflicts: 1334000 | #Constraints: 32726 1294.24/1298.26 c #Conflicts: 1335000 | #Constraints: 33726 1294.24/1298.26 c #Conflicts: 1336000 | #Constraints: 34728 1294.24/1298.26 c #Conflicts: 1337000 | #Constraints: 35729 1294.24/1298.26 c #Conflicts: 1338000 | #Constraints: 36729 1294.24/1298.26 c #Conflicts: 1339000 | #Constraints: 37731 1294.24/1298.26 c #Conflicts: 1340000 | #Constraints: 38731 1294.24/1298.26 c #Conflicts: 1341000 | #Constraints: 39732 1294.24/1298.26 c #Conflicts: 1342000 | #Constraints: 40733 1294.24/1298.26 c #Conflicts: 1343000 | #Constraints: 41734 1294.24/1298.26 c #Conflicts: 1344000 | #Constraints: 42735 1294.24/1298.26 c #Conflicts: 1345000 | #Constraints: 43735 1294.24/1298.26 c #Conflicts: 1346000 | #Constraints: 44737 1294.24/1298.26 c #Conflicts: 1347000 | #Constraints: 45738 1294.24/1298.26 c #Conflicts: 1348000 | #Constraints: 46738 1294.24/1298.26 c INPROCESSING 1294.24/1298.26 c GARBAGE COLLECT 1294.24/1298.26 c rational objective 61.1176 1324.53/1328.69 c #Conflicts: 1349000 | #Constraints: 24720 1324.53/1328.69 c #Conflicts: 1350000 | #Constraints: 25720 1324.53/1328.69 c #Conflicts: 1351000 | #Constraints: 26722 1324.53/1328.69 c #Conflicts: 1352000 | #Constraints: 27722 1324.53/1328.69 c #Conflicts: 1353000 | #Constraints: 28724 1324.53/1328.69 c #Conflicts: 1354000 | #Constraints: 29724 1324.53/1328.69 c #Conflicts: 1355000 | #Constraints: 30724 1324.53/1328.69 c #Conflicts: 1356000 | #Constraints: 31725 1324.53/1328.69 c #Conflicts: 1357000 | #Constraints: 32725 1324.53/1328.69 c #Conflicts: 1358000 | #Constraints: 33725 1324.53/1328.69 c #Conflicts: 1359000 | #Constraints: 34725 1324.53/1328.69 c #Conflicts: 1360000 | #Constraints: 35727 1324.53/1328.69 c #Conflicts: 1361000 | #Constraints: 36727 1324.53/1328.69 c #Conflicts: 1362000 | #Constraints: 37728 1324.53/1328.69 c #Conflicts: 1363000 | #Constraints: 38729 1324.53/1328.69 c #Conflicts: 1364000 | #Constraints: 39729 1324.53/1328.69 c #Conflicts: 1365000 | #Constraints: 40729 1324.53/1328.69 c #Conflicts: 1366000 | #Constraints: 41731 1324.53/1328.69 c #Conflicts: 1367000 | #Constraints: 42731 1324.53/1328.69 c #Conflicts: 1368000 | #Constraints: 43732 1324.53/1328.69 c #Conflicts: 1369000 | #Constraints: 44733 1324.53/1328.69 c #Conflicts: 1370000 | #Constraints: 45734 1324.53/1328.69 c #Conflicts: 1371000 | #Constraints: 46736 1324.53/1328.69 c INPROCESSING 1324.53/1328.69 c GARBAGE COLLECT 1324.53/1328.69 c rational objective 61.118 1356.62/1360.89 c #Conflicts: 1372000 | #Constraints: 24525 1356.62/1360.89 c #Conflicts: 1373000 | #Constraints: 25525 1356.62/1360.89 c #Conflicts: 1374000 | #Constraints: 26525 1356.62/1360.89 c #Conflicts: 1375000 | #Constraints: 27525 1356.62/1360.89 c #Conflicts: 1376000 | #Constraints: 28526 1356.62/1360.89 c #Conflicts: 1377000 | #Constraints: 29526 1356.62/1360.89 c #Conflicts: 1378000 | #Constraints: 30526 1356.62/1360.89 c #Conflicts: 1379000 | #Constraints: 31526 1356.62/1360.89 c #Conflicts: 1380000 | #Constraints: 32526 1356.62/1360.89 c #Conflicts: 1381000 | #Constraints: 33526 1356.62/1360.89 c #Conflicts: 1382000 | #Constraints: 34526 1356.62/1360.89 c #Conflicts: 1383000 | #Constraints: 35526 1356.62/1360.89 c #Conflicts: 1384000 | #Constraints: 36526 1356.62/1360.89 c #Conflicts: 1385000 | #Constraints: 37526 1356.62/1360.89 c #Conflicts: 1386000 | #Constraints: 38528 1356.62/1360.89 c #Conflicts: 1387000 | #Constraints: 39528 1356.62/1360.89 c #Conflicts: 1388000 | #Constraints: 40529 1356.62/1360.89 c #Conflicts: 1389000 | #Constraints: 41530 1356.62/1360.89 c #Conflicts: 1390000 | #Constraints: 42530 1356.62/1360.89 c #Conflicts: 1391000 | #Constraints: 43530 1356.62/1360.89 c #Conflicts: 1392000 | #Constraints: 44532 1356.62/1360.89 c #Conflicts: 1393000 | #Constraints: 45532 1356.62/1360.89 c #Conflicts: 1394000 | #Constraints: 46534 1356.62/1360.89 c #Conflicts: 1395000 | #Constraints: 47535 1356.62/1360.89 c INPROCESSING 1356.62/1360.89 c GARBAGE COLLECT 1356.62/1360.89 c rational objective 61.118 1388.32/1392.60 c #Conflicts: 1396000 | #Constraints: 25121 1388.32/1392.60 c #Conflicts: 1397000 | #Constraints: 26122 1388.32/1392.60 c #Conflicts: 1398000 | #Constraints: 27122 1388.32/1392.60 c #Conflicts: 1399000 | #Constraints: 28125 1388.32/1392.60 c #Conflicts: 1400000 | #Constraints: 29125 1388.32/1392.60 c #Conflicts: 1401000 | #Constraints: 30125 1388.32/1392.60 c #Conflicts: 1402000 | #Constraints: 31126 1388.32/1392.60 c #Conflicts: 1403000 | #Constraints: 32127 1388.32/1392.60 c #Conflicts: 1404000 | #Constraints: 33128 1388.32/1392.60 c #Conflicts: 1405000 | #Constraints: 34128 1388.32/1392.60 c #Conflicts: 1406000 | #Constraints: 35128 1388.32/1392.60 c #Conflicts: 1407000 | #Constraints: 36128 1388.32/1392.60 c #Conflicts: 1408000 | #Constraints: 37128 1388.32/1392.60 c #Conflicts: 1409000 | #Constraints: 38128 1388.32/1392.60 c #Conflicts: 1410000 | #Constraints: 39128 1388.32/1392.60 c #Conflicts: 1411000 | #Constraints: 40128 1388.32/1392.60 c #Conflicts: 1412000 | #Constraints: 41128 1388.32/1392.60 c #Conflicts: 1413000 | #Constraints: 42128 1388.32/1392.60 c #Conflicts: 1414000 | #Constraints: 43128 1388.32/1392.60 c #Conflicts: 1415000 | #Constraints: 44129 1388.32/1392.60 c #Conflicts: 1416000 | #Constraints: 45129 1388.32/1392.60 c #Conflicts: 1417000 | #Constraints: 46129 1388.32/1392.60 c #Conflicts: 1418000 | #Constraints: 47129 1388.32/1392.60 c #Conflicts: 1419000 | #Constraints: 48130 1388.32/1392.60 c INPROCESSING 1388.32/1392.60 c GARBAGE COLLECT 1388.32/1392.60 c rational objective 61.118 1419.23/1423.63 c #Conflicts: 1420000 | #Constraints: 25519 1419.23/1423.63 c #Conflicts: 1421000 | #Constraints: 26519 1419.23/1423.63 c #Conflicts: 1422000 | #Constraints: 27519 1419.23/1423.63 c #Conflicts: 1423000 | #Constraints: 28519 1419.23/1423.63 c #Conflicts: 1424000 | #Constraints: 29520 1419.23/1423.63 c #Conflicts: 1425000 | #Constraints: 30520 1419.23/1423.63 c #Conflicts: 1426000 | #Constraints: 31522 1419.23/1423.63 c #Conflicts: 1427000 | #Constraints: 32523 1419.23/1423.63 c #Conflicts: 1428000 | #Constraints: 33523 1419.23/1423.63 c #Conflicts: 1429000 | #Constraints: 34523 1419.23/1423.63 c #Conflicts: 1430000 | #Constraints: 35524 1419.23/1423.63 c #Conflicts: 1431000 | #Constraints: 36524 1419.23/1423.63 c #Conflicts: 1432000 | #Constraints: 37525 1419.23/1423.63 c #Conflicts: 1433000 | #Constraints: 38525 1419.23/1423.63 c #Conflicts: 1434000 | #Constraints: 39525 1419.23/1423.63 c #Conflicts: 1435000 | #Constraints: 40525 1419.23/1423.63 c #Conflicts: 1436000 | #Constraints: 41525 1419.23/1423.63 c #Conflicts: 1437000 | #Constraints: 42525 1419.23/1423.63 c #Conflicts: 1438000 | #Constraints: 43525 1419.23/1423.63 c #Conflicts: 1439000 | #Constraints: 44526 1419.23/1423.63 c #Conflicts: 1440000 | #Constraints: 45528 1419.23/1423.63 c #Conflicts: 1441000 | #Constraints: 46529 1419.23/1423.63 c #Conflicts: 1442000 | #Constraints: 47529 1419.23/1423.63 c #Conflicts: 1443000 | #Constraints: 48530 1419.23/1423.63 c INPROCESSING 1419.23/1423.63 c GARBAGE COLLECT 1419.23/1423.63 c rational objective 61.118 1451.43/1455.91 c #Conflicts: 1444000 | #Constraints: 25719 1451.43/1455.91 c #Conflicts: 1445000 | #Constraints: 26719 1451.43/1455.91 c #Conflicts: 1446000 | #Constraints: 27719 1451.43/1455.91 c #Conflicts: 1447000 | #Constraints: 28719 1451.43/1455.91 c #Conflicts: 1448000 | #Constraints: 29719 1451.43/1455.91 c #Conflicts: 1449000 | #Constraints: 30719 1451.43/1455.91 c #Conflicts: 1450000 | #Constraints: 31719 1451.43/1455.91 c #Conflicts: 1451000 | #Constraints: 32719 1451.43/1455.91 c #Conflicts: 1452000 | #Constraints: 33719 1451.43/1455.91 c #Conflicts: 1453000 | #Constraints: 34720 1451.43/1455.91 c #Conflicts: 1454000 | #Constraints: 35722 1451.43/1455.91 c #Conflicts: 1455000 | #Constraints: 36723 1451.43/1455.91 c #Conflicts: 1456000 | #Constraints: 37723 1451.43/1455.91 c #Conflicts: 1457000 | #Constraints: 38723 1451.43/1455.91 c #Conflicts: 1458000 | #Constraints: 39723 1451.43/1455.91 c #Conflicts: 1459000 | #Constraints: 40723 1451.43/1455.91 c #Conflicts: 1460000 | #Constraints: 41723 1451.43/1455.91 c #Conflicts: 1461000 | #Constraints: 42725 1451.43/1455.91 c #Conflicts: 1462000 | #Constraints: 43725 1451.43/1455.91 c #Conflicts: 1463000 | #Constraints: 44727 1451.43/1455.91 c #Conflicts: 1464000 | #Constraints: 45728 1451.43/1455.91 c #Conflicts: 1465000 | #Constraints: 46729 1451.43/1455.91 c #Conflicts: 1466000 | #Constraints: 47731 1451.43/1455.91 c #Conflicts: 1467000 | #Constraints: 48731 1451.43/1455.91 c INPROCESSING 1451.43/1455.91 c GARBAGE COLLECT 1451.43/1455.91 c rational objective 61.118 1486.72/1491.32 c #Conflicts: 1468000 | #Constraints: 25718 1486.72/1491.32 c #Conflicts: 1469000 | #Constraints: 26718 1486.72/1491.32 c #Conflicts: 1470000 | #Constraints: 27719 1486.72/1491.32 c #Conflicts: 1471000 | #Constraints: 28719 1486.72/1491.32 c #Conflicts: 1472000 | #Constraints: 29720 1486.72/1491.32 c #Conflicts: 1473000 | #Constraints: 30722 1486.72/1491.32 c #Conflicts: 1474000 | #Constraints: 31722 1486.72/1491.32 c #Conflicts: 1475000 | #Constraints: 32722 1486.72/1491.32 c #Conflicts: 1476000 | #Constraints: 33724 1486.72/1491.32 c #Conflicts: 1477000 | #Constraints: 34724 1486.72/1491.32 c #Conflicts: 1478000 | #Constraints: 35724 1486.72/1491.32 c #Conflicts: 1479000 | #Constraints: 36724 1486.72/1491.32 c #Conflicts: 1480000 | #Constraints: 37724 1486.72/1491.32 c #Conflicts: 1481000 | #Constraints: 38724 1486.72/1491.32 c #Conflicts: 1482000 | #Constraints: 39724 1486.72/1491.32 c #Conflicts: 1483000 | #Constraints: 40725 1486.72/1491.32 c #Conflicts: 1484000 | #Constraints: 41725 1486.72/1491.32 c #Conflicts: 1485000 | #Constraints: 42725 1486.72/1491.32 c #Conflicts: 1486000 | #Constraints: 43725 1486.72/1491.32 c #Conflicts: 1487000 | #Constraints: 44725 1486.72/1491.32 c #Conflicts: 1488000 | #Constraints: 45726 1486.72/1491.32 c #Conflicts: 1489000 | #Constraints: 46726 1486.72/1491.32 c #Conflicts: 1490000 | #Constraints: 47727 1486.72/1491.32 c #Conflicts: 1491000 | #Constraints: 48727 1486.72/1491.32 c INPROCESSING 1486.72/1491.32 c GARBAGE COLLECT 1486.72/1491.32 c rational objective 61.118 1523.11/1527.83 c #Conflicts: 1492000 | #Constraints: 25527 1523.11/1527.83 c #Conflicts: 1493000 | #Constraints: 26527 1523.11/1527.83 c #Conflicts: 1494000 | #Constraints: 27527 1523.11/1527.83 c #Conflicts: 1495000 | #Constraints: 28527 1523.11/1527.83 c #Conflicts: 1496000 | #Constraints: 29527 1523.11/1527.83 c #Conflicts: 1497000 | #Constraints: 30527 1523.11/1527.83 c #Conflicts: 1498000 | #Constraints: 31528 1523.11/1527.83 c #Conflicts: 1499000 | #Constraints: 32529 1523.11/1527.83 c #Conflicts: 1500000 | #Constraints: 33531 1523.11/1527.83 c #Conflicts: 1501000 | #Constraints: 34531 1523.11/1527.83 c #Conflicts: 1502000 | #Constraints: 35532 1523.11/1527.83 c #Conflicts: 1503000 | #Constraints: 36533 1523.11/1527.83 c #Conflicts: 1504000 | #Constraints: 37533 1523.11/1527.83 c #Conflicts: 1505000 | #Constraints: 38533 1523.11/1527.83 c #Conflicts: 1506000 | #Constraints: 39533 1523.11/1527.83 c #Conflicts: 1507000 | #Constraints: 40533 1523.11/1527.83 c #Conflicts: 1508000 | #Constraints: 41534 1523.11/1527.83 c #Conflicts: 1509000 | #Constraints: 42534 1523.11/1527.83 c #Conflicts: 1510000 | #Constraints: 43534 1523.11/1527.83 c #Conflicts: 1511000 | #Constraints: 44534 1523.11/1527.83 c #Conflicts: 1512000 | #Constraints: 45534 1523.11/1527.83 c #Conflicts: 1513000 | #Constraints: 46535 1523.11/1527.83 c #Conflicts: 1514000 | #Constraints: 47535 1523.11/1527.83 c #Conflicts: 1515000 | #Constraints: 48535 1523.11/1527.83 c #Conflicts: 1516000 | #Constraints: 49535 1523.11/1527.83 c INPROCESSING 1523.11/1527.83 c GARBAGE COLLECT 1523.11/1527.83 c rational objective 61.118 1556.21/1561.06 c #Conflicts: 1517000 | #Constraints: 26124 1556.21/1561.06 c #Conflicts: 1518000 | #Constraints: 27124 1556.21/1561.06 c #Conflicts: 1519000 | #Constraints: 28125 1556.21/1561.06 c #Conflicts: 1520000 | #Constraints: 29125 1556.21/1561.06 c #Conflicts: 1521000 | #Constraints: 30126 1556.21/1561.06 c #Conflicts: 1522000 | #Constraints: 31128 1556.21/1561.06 c #Conflicts: 1523000 | #Constraints: 32130 1556.21/1561.06 c #Conflicts: 1524000 | #Constraints: 33130 1556.21/1561.06 c #Conflicts: 1525000 | #Constraints: 34131 1556.21/1561.06 c #Conflicts: 1526000 | #Constraints: 35131 1556.21/1561.06 c #Conflicts: 1527000 | #Constraints: 36131 1556.21/1561.06 c #Conflicts: 1528000 | #Constraints: 37131 1556.21/1561.06 c #Conflicts: 1529000 | #Constraints: 38132 1556.21/1561.06 c #Conflicts: 1530000 | #Constraints: 39133 1556.21/1561.06 c #Conflicts: 1531000 | #Constraints: 40134 1556.21/1561.06 c #Conflicts: 1532000 | #Constraints: 41134 1556.21/1561.06 c #Conflicts: 1533000 | #Constraints: 42135 1556.21/1561.06 c #Conflicts: 1534000 | #Constraints: 43135 1556.21/1561.06 c #Conflicts: 1535000 | #Constraints: 44135 1556.21/1561.06 c #Conflicts: 1536000 | #Constraints: 45136 1556.21/1561.06 c #Conflicts: 1537000 | #Constraints: 46137 1556.21/1561.06 c #Conflicts: 1538000 | #Constraints: 47137 1556.21/1561.06 c #Conflicts: 1539000 | #Constraints: 48137 1556.21/1561.06 c #Conflicts: 1540000 | #Constraints: 49138 1556.21/1561.06 c #Conflicts: 1541000 | #Constraints: 50140 1556.21/1561.06 c INPROCESSING 1556.21/1561.06 c GARBAGE COLLECT 1556.21/1561.06 c rational objective 61.118 1602.46/1607.41 c #Conflicts: 1542000 | #Constraints: 26529 1602.46/1607.41 c #Conflicts: 1543000 | #Constraints: 27529 1602.46/1607.41 c #Conflicts: 1544000 | #Constraints: 28529 1602.46/1607.41 c #Conflicts: 1545000 | #Constraints: 29530 1602.46/1607.41 c #Conflicts: 1546000 | #Constraints: 30530 1602.46/1607.41 c #Conflicts: 1547000 | #Constraints: 31530 1602.46/1607.41 c #Conflicts: 1548000 | #Constraints: 32533 1602.46/1607.41 c #Conflicts: 1549000 | #Constraints: 33533 1602.46/1607.41 c #Conflicts: 1550000 | #Constraints: 34534 1602.46/1607.41 c #Conflicts: 1551000 | #Constraints: 35534 1602.46/1607.41 c #Conflicts: 1552000 | #Constraints: 36534 1602.46/1607.41 c #Conflicts: 1553000 | #Constraints: 37534 1602.46/1607.41 c #Conflicts: 1554000 | #Constraints: 38535 1602.46/1607.41 c #Conflicts: 1555000 | #Constraints: 39535 1602.46/1607.41 c #Conflicts: 1556000 | #Constraints: 40537 1602.46/1607.41 c #Conflicts: 1557000 | #Constraints: 41537 1602.46/1607.41 c #Conflicts: 1558000 | #Constraints: 42538 1602.46/1607.41 c #Conflicts: 1559000 | #Constraints: 43539 1602.46/1607.41 c #Conflicts: 1560000 | #Constraints: 44540 1602.46/1607.41 c #Conflicts: 1561000 | #Constraints: 45540 1602.46/1607.41 c #Conflicts: 1562000 | #Constraints: 46541 1602.46/1607.41 c #Conflicts: 1563000 | #Constraints: 47542 1602.46/1607.41 c #Conflicts: 1564000 | #Constraints: 48542 1602.46/1607.41 c #Conflicts: 1565000 | #Constraints: 49543 1602.46/1607.41 c #Conflicts: 1566000 | #Constraints: 50545 1602.46/1607.41 c INPROCESSING 1602.46/1607.41 c GARBAGE COLLECT 1602.46/1607.41 c rational objective 61.118 1655.31/1660.42 c #Conflicts: 1567000 | #Constraints: 26733 1655.31/1660.42 c #Conflicts: 1568000 | #Constraints: 27733 1655.31/1660.42 c #Conflicts: 1569000 | #Constraints: 28733 1655.31/1660.42 c #Conflicts: 1570000 | #Constraints: 29733 1655.31/1660.42 c #Conflicts: 1571000 | #Constraints: 30733 1655.31/1660.42 c #Conflicts: 1572000 | #Constraints: 31733 1655.31/1660.42 c #Conflicts: 1573000 | #Constraints: 32733 1655.31/1660.42 c #Conflicts: 1574000 | #Constraints: 33734 1655.31/1660.42 c #Conflicts: 1575000 | #Constraints: 34734 1655.31/1660.42 c #Conflicts: 1576000 | #Constraints: 35734 1655.31/1660.42 c #Conflicts: 1577000 | #Constraints: 36734 1655.31/1660.42 c #Conflicts: 1578000 | #Constraints: 37734 1655.31/1660.42 c #Conflicts: 1579000 | #Constraints: 38735 1655.31/1660.42 c #Conflicts: 1580000 | #Constraints: 39736 1655.31/1660.42 c #Conflicts: 1581000 | #Constraints: 40737 1655.31/1660.42 c #Conflicts: 1582000 | #Constraints: 41737 1655.31/1660.42 c #Conflicts: 1583000 | #Constraints: 42738 1655.31/1660.42 c #Conflicts: 1584000 | #Constraints: 43738 1655.31/1660.42 c #Conflicts: 1585000 | #Constraints: 44738 1655.31/1660.42 c #Conflicts: 1586000 | #Constraints: 45738 1655.31/1660.42 c #Conflicts: 1587000 | #Constraints: 46739 1655.31/1660.42 c #Conflicts: 1588000 | #Constraints: 47740 1655.31/1660.42 c #Conflicts: 1589000 | #Constraints: 48741 1655.31/1660.42 c #Conflicts: 1590000 | #Constraints: 49741 1655.31/1660.42 c #Conflicts: 1591000 | #Constraints: 50742 1655.31/1660.42 c INPROCESSING 1655.31/1660.42 c GARBAGE COLLECT 1655.31/1660.42 c rational objective 61.118 1710.14/1715.47 c #Conflicts: 1592000 | #Constraints: 26731 1710.14/1715.47 c #Conflicts: 1593000 | #Constraints: 27731 1710.14/1715.47 c #Conflicts: 1594000 | #Constraints: 28731 1710.14/1715.47 c #Conflicts: 1595000 | #Constraints: 29732 1710.14/1715.47 c #Conflicts: 1596000 | #Constraints: 30732 1710.14/1715.47 c #Conflicts: 1597000 | #Constraints: 31732 1710.14/1715.47 c #Conflicts: 1598000 | #Constraints: 32734 1710.14/1715.47 c #Conflicts: 1599000 | #Constraints: 33734 1710.14/1715.47 c #Conflicts: 1600000 | #Constraints: 34735 1710.14/1715.47 c #Conflicts: 1601000 | #Constraints: 35735 1710.14/1715.47 c #Conflicts: 1602000 | #Constraints: 36735 1710.14/1715.47 c #Conflicts: 1603000 | #Constraints: 37735 1710.14/1715.47 c #Conflicts: 1604000 | #Constraints: 38735 1710.14/1715.47 c #Conflicts: 1605000 | #Constraints: 39735 1710.14/1715.47 c #Conflicts: 1606000 | #Constraints: 40735 1710.14/1715.47 c #Conflicts: 1607000 | #Constraints: 41736 1710.14/1715.47 c #Conflicts: 1608000 | #Constraints: 42736 1710.14/1715.47 c #Conflicts: 1609000 | #Constraints: 43736 1710.14/1715.47 c #Conflicts: 1610000 | #Constraints: 44736 1710.14/1715.47 c #Conflicts: 1611000 | #Constraints: 45737 1710.14/1715.47 c #Conflicts: 1612000 | #Constraints: 46738 1710.14/1715.47 c #Conflicts: 1613000 | #Constraints: 47739 1710.14/1715.47 c #Conflicts: 1614000 | #Constraints: 48741 1710.14/1715.47 c #Conflicts: 1615000 | #Constraints: 49742 1710.14/1715.47 c #Conflicts: 1616000 | #Constraints: 50742 1710.14/1715.47 c INPROCESSING 1710.14/1715.47 c GARBAGE COLLECT 1710.14/1715.47 c rational objective 61.118 1755.09/1760.57 c #Conflicts: 1617000 | #Constraints: 26539 1755.09/1760.57 c #Conflicts: 1618000 | #Constraints: 27539 1755.09/1760.57 c #Conflicts: 1619000 | #Constraints: 28539 1755.09/1760.57 c #Conflicts: 1620000 | #Constraints: 29539 1755.09/1760.57 c #Conflicts: 1621000 | #Constraints: 30539 1755.09/1760.57 c #Conflicts: 1622000 | #Constraints: 31539 1755.09/1760.57 c #Conflicts: 1623000 | #Constraints: 32540 1755.09/1760.57 c #Conflicts: 1624000 | #Constraints: 33540 1755.09/1760.57 c #Conflicts: 1625000 | #Constraints: 34540 1755.09/1760.57 c #Conflicts: 1626000 | #Constraints: 35542 1755.09/1760.57 c #Conflicts: 1627000 | #Constraints: 36542 1755.09/1760.57 c #Conflicts: 1628000 | #Constraints: 37544 1755.09/1760.57 c #Conflicts: 1629000 | #Constraints: 38546 1755.09/1760.57 c #Conflicts: 1630000 | #Constraints: 39546 1755.09/1760.57 c #Conflicts: 1631000 | #Constraints: 40546 1755.09/1760.57 c #Conflicts: 1632000 | #Constraints: 41547 1755.09/1760.57 c #Conflicts: 1633000 | #Constraints: 42547 1755.09/1760.57 c #Conflicts: 1634000 | #Constraints: 43547 1755.09/1760.57 c #Conflicts: 1635000 | #Constraints: 44548 1755.09/1760.57 c #Conflicts: 1636000 | #Constraints: 45549 1755.09/1760.57 c #Conflicts: 1637000 | #Constraints: 46549 1755.09/1760.57 c #Conflicts: 1638000 | #Constraints: 47550 1755.09/1760.57 c #Conflicts: 1639000 | #Constraints: 48551 1755.09/1760.57 c #Conflicts: 1640000 | #Constraints: 49552 1755.09/1760.57 c #Conflicts: 1641000 | #Constraints: 50552 1755.09/1760.57 c #Conflicts: 1642000 | #Constraints: 51553 1755.09/1760.57 c INPROCESSING 1755.09/1760.57 c GARBAGE COLLECT 1755.09/1760.57 c rational objective 61.118 1797.47/1803.10 c #Conflicts: 1643000 | #Constraints: 27130 1797.47/1803.10 c #Conflicts: 1644000 | #Constraints: 28130 1797.47/1803.10 c #Conflicts: 1645000 | #Constraints: 29133 1797.47/1803.10 c #Conflicts: 1646000 | #Constraints: 30136 1797.47/1803.10 c #Conflicts: 1647000 | #Constraints: 31137 1797.47/1803.10 c #Conflicts: 1648000 | #Constraints: 32137 1797.47/1803.10 c #Conflicts: 1649000 | #Constraints: 33137 1797.47/1803.10 c #Conflicts: 1650000 | #Constraints: 34137 1797.47/1803.10 c #Conflicts: 1651000 | #Constraints: 35139 1797.47/1803.10 c #Conflicts: 1652000 | #Constraints: 36139 1797.47/1803.10 c #Conflicts: 1653000 | #Constraints: 37139 1797.47/1803.10 c #Conflicts: 1654000 | #Constraints: 38139 1797.47/1803.10 c #Conflicts: 1655000 | #Constraints: 39139 1797.47/1803.10 c #Conflicts: 1656000 | #Constraints: 40141 1797.47/1803.10 c #Conflicts: 1657000 | #Constraints: 41141 1797.47/1803.10 c #Conflicts: 1658000 | #Constraints: 42142 1797.47/1803.10 c #Conflicts: 1659000 | #Constraints: 43143 1797.47/1803.10 c #Conflicts: 1660000 | #Constraints: 44143 1797.47/1803.10 c #Conflicts: 1661000 | #Constraints: 45144 1797.47/1803.10 c #Conflicts: 1662000 | #Constraints: 46144 1797.47/1803.10 c #Conflicts: 1663000 | #Constraints: 47144 1797.47/1803.10 c #Conflicts: 1664000 | #Constraints: 48144 1797.47/1803.10 c #Conflicts: 1665000 | #Constraints: 49144 1797.47/1803.10 c #Conflicts: 1666000 | #Constraints: 50145 1797.47/1803.10 c #Conflicts: 1667000 | #Constraints: 51145 1797.47/1803.10 c #Conflicts: 1668000 | #Constraints: 52146 1797.47/1803.10 c INPROCESSING 1797.47/1803.10 c GARBAGE COLLECT 1797.47/1803.10 c rational objective 61.118 1834.25/1839.98 c #Conflicts: 1669000 | #Constraints: 27525 1834.25/1839.98 c #Conflicts: 1670000 | #Constraints: 28527 1834.25/1839.98 c #Conflicts: 1671000 | #Constraints: 29527 1834.25/1839.98 c #Conflicts: 1672000 | #Constraints: 30531 1834.25/1839.98 c #Conflicts: 1673000 | #Constraints: 31531 1834.25/1839.98 c #Conflicts: 1674000 | #Constraints: 32531 1834.25/1839.98 c #Conflicts: 1675000 | #Constraints: 33531 1834.25/1839.98 c #Conflicts: 1676000 | #Constraints: 34532 1834.25/1839.98 c #Conflicts: 1677000 | #Constraints: 35532 1834.25/1839.98 c #Conflicts: 1678000 | #Constraints: 36534 1834.25/1839.98 c #Conflicts: 1679000 | #Constraints: 37536 1834.25/1839.98 c #Conflicts: 1680000 | #Constraints: 38539 1834.25/1839.98 c #Conflicts: 1681000 | #Constraints: 39540 1834.25/1839.98 c #Conflicts: 1682000 | #Constraints: 40540 1834.25/1839.98 c #Conflicts: 1683000 | #Constraints: 41540 1834.25/1839.98 c #Conflicts: 1684000 | #Constraints: 42541 1834.25/1839.98 c #Conflicts: 1685000 | #Constraints: 43542 1834.25/1839.98 c #Conflicts: 1686000 | #Constraints: 44543 1834.25/1839.98 c #Conflicts: 1687000 | #Constraints: 45543 1834.25/1839.98 c #Conflicts: 1688000 | #Constraints: 46544 1834.25/1839.98 c #Conflicts: 1689000 | #Constraints: 47545 1834.25/1839.98 c #Conflicts: 1690000 | #Constraints: 48546 1834.25/1839.98 c #Conflicts: 1691000 | #Constraints: 49546 1834.25/1839.98 c #Conflicts: 1692000 | #Constraints: 50548 1834.25/1839.98 c #Conflicts: 1693000 | #Constraints: 51552 1834.25/1839.98 c #Conflicts: 1694000 | #Constraints: 52553 1834.25/1839.98 c INPROCESSING 1834.25/1839.98 c GARBAGE COLLECT 1834.25/1839.98 c rational objective 61.118 1871.93/1877.78 c #Conflicts: 1695000 | #Constraints: 27732 1871.93/1877.78 c #Conflicts: 1696000 | #Constraints: 28733 1871.93/1877.78 c #Conflicts: 1697000 | #Constraints: 29735 1871.93/1877.78 c #Conflicts: 1698000 | #Constraints: 30735 1871.93/1877.78 c #Conflicts: 1699000 | #Constraints: 31735 1871.93/1877.78 c #Conflicts: 1700000 | #Constraints: 32736 1871.93/1877.78 c #Conflicts: 1701000 | #Constraints: 33736 1871.93/1877.78 c #Conflicts: 1702000 | #Constraints: 34738 1871.93/1877.78 c #Conflicts: 1703000 | #Constraints: 35738 1871.93/1877.78 c #Conflicts: 1704000 | #Constraints: 36738 1871.93/1877.78 c #Conflicts: 1705000 | #Constraints: 37739 1871.93/1877.78 c #Conflicts: 1706000 | #Constraints: 38739 1871.93/1877.78 c #Conflicts: 1707000 | #Constraints: 39741 1871.93/1877.78 c #Conflicts: 1708000 | #Constraints: 40741 1871.93/1877.78 c #Conflicts: 1709000 | #Constraints: 41741 1871.93/1877.78 c #Conflicts: 1710000 | #Constraints: 42742 1871.93/1877.78 c #Conflicts: 1711000 | #Constraints: 43743 1871.93/1877.78 c #Conflicts: 1712000 | #Constraints: 44744 1871.93/1877.78 c #Conflicts: 1713000 | #Constraints: 45744 1871.93/1877.78 c #Conflicts: 1714000 | #Constraints: 46745 1871.93/1877.78 c #Conflicts: 1715000 | #Constraints: 47746 1871.93/1877.78 c #Conflicts: 1716000 | #Constraints: 48748 1871.93/1877.78 c #Conflicts: 1717000 | #Constraints: 49748 1871.93/1877.78 c #Conflicts: 1718000 | #Constraints: 50748 1871.93/1877.78 c #Conflicts: 1719000 | #Constraints: 51748 1871.93/1877.78 c #Conflicts: 1720000 | #Constraints: 52748 1871.93/1877.78 c INPROCESSING 1871.93/1877.78 c GARBAGE COLLECT 1871.93/1877.78 c rational objective 61.118 1908.91/1914.89 c #Conflicts: 1721000 | #Constraints: 27729 1908.91/1914.89 c #Conflicts: 1722000 | #Constraints: 28729 1908.91/1914.89 c #Conflicts: 1723000 | #Constraints: 29729 1908.91/1914.89 c #Conflicts: 1724000 | #Constraints: 30731 1908.91/1914.89 c #Conflicts: 1725000 | #Constraints: 31731 1908.91/1914.89 c #Conflicts: 1726000 | #Constraints: 32731 1908.91/1914.89 c #Conflicts: 1727000 | #Constraints: 33731 1908.91/1914.89 c #Conflicts: 1728000 | #Constraints: 34731 1908.91/1914.89 c #Conflicts: 1729000 | #Constraints: 35734 1908.91/1914.89 c #Conflicts: 1730000 | #Constraints: 36736 1908.91/1914.89 c #Conflicts: 1731000 | #Constraints: 37736 1908.91/1914.89 c #Conflicts: 1732000 | #Constraints: 38738 1908.91/1914.89 c #Conflicts: 1733000 | #Constraints: 39738 1908.91/1914.89 c #Conflicts: 1734000 | #Constraints: 40738 1908.91/1914.89 c #Conflicts: 1735000 | #Constraints: 41738 1908.91/1914.89 c #Conflicts: 1736000 | #Constraints: 42738 1908.91/1914.89 c #Conflicts: 1737000 | #Constraints: 43739 1908.91/1914.89 c #Conflicts: 1738000 | #Constraints: 44739 1908.91/1914.89 c #Conflicts: 1739000 | #Constraints: 45741 1908.91/1914.89 c #Conflicts: 1740000 | #Constraints: 46741 1908.91/1914.89 c #Conflicts: 1741000 | #Constraints: 47742 1908.91/1914.89 c #Conflicts: 1742000 | #Constraints: 48742 1908.91/1914.89 c #Conflicts: 1743000 | #Constraints: 49742 1908.91/1914.89 c #Conflicts: 1744000 | #Constraints: 50742 1908.91/1914.89 c #Conflicts: 1745000 | #Constraints: 51742 1908.91/1914.89 c #Conflicts: 1746000 | #Constraints: 52742 1908.91/1914.89 c INPROCESSING 1908.91/1914.89 c GARBAGE COLLECT 1908.91/1914.89 c rational objective 61.118 1952.68/1958.79 c #Conflicts: 1747000 | #Constraints: 27529 1952.68/1958.79 c #Conflicts: 1748000 | #Constraints: 28529 1952.68/1958.79 c #Conflicts: 1749000 | #Constraints: 29529 1952.68/1958.79 c #Conflicts: 1750000 | #Constraints: 30530 1952.68/1958.79 c #Conflicts: 1751000 | #Constraints: 31530 1952.68/1958.79 c #Conflicts: 1752000 | #Constraints: 32532 1952.68/1958.79 c #Conflicts: 1753000 | #Constraints: 33533 1952.68/1958.79 c #Conflicts: 1754000 | #Constraints: 34533 1952.68/1958.79 c #Conflicts: 1755000 | #Constraints: 35533 1952.68/1958.79 c #Conflicts: 1756000 | #Constraints: 36534 1952.68/1958.79 c #Conflicts: 1757000 | #Constraints: 37534 1952.68/1958.79 c #Conflicts: 1758000 | #Constraints: 38534 1952.68/1958.79 c #Conflicts: 1759000 | #Constraints: 39535 1952.68/1958.79 c #Conflicts: 1760000 | #Constraints: 40536 1952.68/1958.79 c #Conflicts: 1761000 | #Constraints: 41538 1952.68/1958.79 c #Conflicts: 1762000 | #Constraints: 42540 1952.68/1958.79 c #Conflicts: 1763000 | #Constraints: 43540 1952.68/1958.79 c #Conflicts: 1764000 | #Constraints: 44542 1952.68/1958.79 c #Conflicts: 1765000 | #Constraints: 45542 1952.68/1958.79 c #Conflicts: 1766000 | #Constraints: 46542 1952.68/1958.79 c #Conflicts: 1767000 | #Constraints: 47544 1952.68/1958.79 c #Conflicts: 1768000 | #Constraints: 48544 1952.68/1958.79 c #Conflicts: 1769000 | #Constraints: 49544 1952.68/1958.79 c #Conflicts: 1770000 | #Constraints: 50544 1952.68/1958.79 c #Conflicts: 1771000 | #Constraints: 51544 1952.68/1958.79 c #Conflicts: 1772000 | #Constraints: 52544 1952.68/1958.79 c #Conflicts: 1773000 | #Constraints: 53545 1952.68/1958.79 c INPROCESSING 1952.68/1958.79 c GARBAGE COLLECT 1952.68/1958.79 c rational objective 61.118 1992.26/1998.42 c #Conflicts: 1774000 | #Constraints: 28134 1992.26/1998.42 c #Conflicts: 1775000 | #Constraints: 29136 1992.26/1998.42 c #Conflicts: 1776000 | #Constraints: 30137 1992.26/1998.42 c #Conflicts: 1777000 | #Constraints: 31137 1992.26/1998.42 c #Conflicts: 1778000 | #Constraints: 32139 1992.26/1998.42 c #Conflicts: 1779000 | #Constraints: 33139 1992.26/1998.42 c #Conflicts: 1780000 | #Constraints: 34140 1992.26/1998.42 c #Conflicts: 1781000 | #Constraints: 35140 1992.26/1998.42 c #Conflicts: 1782000 | #Constraints: 36140 1992.26/1998.42 c #Conflicts: 1783000 | #Constraints: 37140 1992.26/1998.42 c #Conflicts: 1784000 | #Constraints: 38140 1992.26/1998.42 c #Conflicts: 1785000 | #Constraints: 39140 1992.26/1998.42 c #Conflicts: 1786000 | #Constraints: 40141 1992.26/1998.42 c #Conflicts: 1787000 | #Constraints: 41142 1992.26/1998.42 c #Conflicts: 1788000 | #Constraints: 42142 1992.26/1998.42 c #Conflicts: 1789000 | #Constraints: 43142 1992.26/1998.42 c #Conflicts: 1790000 | #Constraints: 44142 1992.26/1998.42 c #Conflicts: 1791000 | #Constraints: 45143 1992.26/1998.42 c #Conflicts: 1792000 | #Constraints: 46143 1992.26/1998.42 c #Conflicts: 1793000 | #Constraints: 47144 1992.26/1998.42 c #Conflicts: 1794000 | #Constraints: 48144 1992.26/1998.42 c #Conflicts: 1795000 | #Constraints: 49144 1992.26/1998.42 c #Conflicts: 1796000 | #Constraints: 50145 1992.26/1998.42 c #Conflicts: 1797000 | #Constraints: 51146 1992.26/1998.42 c #Conflicts: 1798000 | #Constraints: 52146 1992.26/1998.42 c #Conflicts: 1799000 | #Constraints: 53147 1992.26/1998.42 c #Conflicts: 1800000 | #Constraints: 54147 1992.26/1998.42 c INPROCESSING 1992.26/1998.42 c GARBAGE COLLECT 1992.26/1998.42 c rational objective 61.118 2034.42/2040.71 c #Conflicts: 1801000 | #Constraints: 28534 2034.42/2040.71 c #Conflicts: 1802000 | #Constraints: 29535 2034.42/2040.71 c #Conflicts: 1803000 | #Constraints: 30535 2034.42/2040.71 c #Conflicts: 1804000 | #Constraints: 31536 2034.42/2040.71 c #Conflicts: 1805000 | #Constraints: 32537 2034.42/2040.71 c #Conflicts: 1806000 | #Constraints: 33539 2034.42/2040.71 c #Conflicts: 1807000 | #Constraints: 34540 2034.42/2040.71 c #Conflicts: 1808000 | #Constraints: 35541 2034.42/2040.71 c #Conflicts: 1809000 | #Constraints: 36541 2034.42/2040.71 c #Conflicts: 1810000 | #Constraints: 37541 2034.42/2040.71 c #Conflicts: 1811000 | #Constraints: 38542 2034.42/2040.71 c #Conflicts: 1812000 | #Constraints: 39542 2034.42/2040.71 c #Conflicts: 1813000 | #Constraints: 40542 2034.42/2040.71 c #Conflicts: 1814000 | #Constraints: 41543 2034.42/2040.71 c #Conflicts: 1815000 | #Constraints: 42543 2034.42/2040.71 c #Conflicts: 1816000 | #Constraints: 43545 2034.42/2040.71 c #Conflicts: 1817000 | #Constraints: 44546 2034.42/2040.71 c #Conflicts: 1818000 | #Constraints: 45546 2034.42/2040.71 c #Conflicts: 1819000 | #Constraints: 46548 2034.42/2040.71 c #Conflicts: 1820000 | #Constraints: 47548 2034.42/2040.71 c #Conflicts: 1821000 | #Constraints: 48548 2034.42/2040.71 c #Conflicts: 1822000 | #Constraints: 49548 2034.42/2040.71 c #Conflicts: 1823000 | #Constraints: 50548 2034.42/2040.71 c #Conflicts: 1824000 | #Constraints: 51548 2034.42/2040.71 c #Conflicts: 1825000 | #Constraints: 52548 2034.42/2040.71 c #Conflicts: 1826000 | #Constraints: 53548 2034.42/2040.71 c #Conflicts: 1827000 | #Constraints: 54548 2034.42/2040.71 c INPROCESSING 2034.42/2040.71 c GARBAGE COLLECT 2034.42/2040.71 c rational objective 61.118 2086.26/2092.75 c #Conflicts: 1828000 | #Constraints: 28741 2086.26/2092.75 c #Conflicts: 1829000 | #Constraints: 29741 2086.26/2092.75 c #Conflicts: 1830000 | #Constraints: 30742 2086.26/2092.75 c #Conflicts: 1831000 | #Constraints: 31744 2086.26/2092.75 c #Conflicts: 1832000 | #Constraints: 32744 2086.26/2092.75 c #Conflicts: 1833000 | #Constraints: 33744 2086.26/2092.75 c #Conflicts: 1834000 | #Constraints: 34744 2086.26/2092.75 c #Conflicts: 1835000 | #Constraints: 35745 2086.26/2092.75 c #Conflicts: 1836000 | #Constraints: 36746 2086.26/2092.75 c #Conflicts: 1837000 | #Constraints: 37747 2086.26/2092.75 c #Conflicts: 1838000 | #Constraints: 38747 2086.26/2092.75 c #Conflicts: 1839000 | #Constraints: 39747 2086.26/2092.75 c #Conflicts: 1840000 | #Constraints: 40747 2086.26/2092.75 c #Conflicts: 1841000 | #Constraints: 41748 2086.26/2092.75 c #Conflicts: 1842000 | #Constraints: 42748 2086.26/2092.75 c #Conflicts: 1843000 | #Constraints: 43749 2086.26/2092.75 c #Conflicts: 1844000 | #Constraints: 44749 2086.26/2092.75 c #Conflicts: 1845000 | #Constraints: 45751 2086.26/2092.75 c #Conflicts: 1846000 | #Constraints: 46752 2086.26/2092.75 c #Conflicts: 1847000 | #Constraints: 47753 2086.26/2092.75 c #Conflicts: 1848000 | #Constraints: 48753 2086.26/2092.75 c #Conflicts: 1849000 | #Constraints: 49754 2086.26/2092.75 c #Conflicts: 1850000 | #Constraints: 50754 2086.26/2092.75 c #Conflicts: 1851000 | #Constraints: 51755 2086.26/2092.75 c #Conflicts: 1852000 | #Constraints: 52757 2086.26/2092.75 c #Conflicts: 1853000 | #Constraints: 53759 2086.26/2092.75 c #Conflicts: 1854000 | #Constraints: 54759 2086.26/2092.75 c INPROCESSING 2086.26/2092.75 c GARBAGE COLLECT 2086.26/2092.75 c rational objective 61.118 2129.22/2135.81 c #Conflicts: 1855000 | #Constraints: 28743 2129.22/2135.81 c #Conflicts: 1856000 | #Constraints: 29744 2129.22/2135.81 c #Conflicts: 1857000 | #Constraints: 30744 2129.22/2135.81 c #Conflicts: 1858000 | #Constraints: 31744 2129.22/2135.81 c #Conflicts: 1859000 | #Constraints: 32746 2129.22/2135.81 c #Conflicts: 1860000 | #Constraints: 33746 2129.22/2135.81 c #Conflicts: 1861000 | #Constraints: 34747 2129.22/2135.81 c #Conflicts: 1862000 | #Constraints: 35747 2129.22/2135.81 c #Conflicts: 1863000 | #Constraints: 36747 2129.22/2135.81 c #Conflicts: 1864000 | #Constraints: 37748 2129.22/2135.81 c #Conflicts: 1865000 | #Constraints: 38748 2129.22/2135.81 c #Conflicts: 1866000 | #Constraints: 39748 2129.22/2135.81 c #Conflicts: 1867000 | #Constraints: 40748 2129.22/2135.81 c #Conflicts: 1868000 | #Constraints: 41748 2129.22/2135.81 c #Conflicts: 1869000 | #Constraints: 42749 2129.22/2135.81 c #Conflicts: 1870000 | #Constraints: 43749 2129.22/2135.81 c #Conflicts: 1871000 | #Constraints: 44749 2129.22/2135.81 c #Conflicts: 1872000 | #Constraints: 45750 2129.22/2135.81 c #Conflicts: 1873000 | #Constraints: 46750 2129.22/2135.81 c #Conflicts: 1874000 | #Constraints: 47750 2129.22/2135.81 c #Conflicts: 1875000 | #Constraints: 48750 2129.22/2135.81 c #Conflicts: 1876000 | #Constraints: 49750 2129.22/2135.81 c #Conflicts: 1877000 | #Constraints: 50750 2129.22/2135.81 c #Conflicts: 1878000 | #Constraints: 51751 2129.22/2135.81 c #Conflicts: 1879000 | #Constraints: 52751 2129.22/2135.81 c #Conflicts: 1880000 | #Constraints: 53754 2129.22/2135.81 c #Conflicts: 1881000 | #Constraints: 54754 2129.22/2135.81 c INPROCESSING 2129.22/2135.81 c GARBAGE COLLECT 2129.22/2135.81 c rational objective 61.118 2172.98/2179.74 c #Conflicts: 1882000 | #Constraints: 28532 2172.98/2179.74 c #Conflicts: 1883000 | #Constraints: 29532 2172.98/2179.74 c #Conflicts: 1884000 | #Constraints: 30532 2172.98/2179.74 c #Conflicts: 1885000 | #Constraints: 31532 2172.98/2179.74 c #Conflicts: 1886000 | #Constraints: 32534 2172.98/2179.74 c #Conflicts: 1887000 | #Constraints: 33535 2172.98/2179.74 c #Conflicts: 1888000 | #Constraints: 34536 2172.98/2179.74 c #Conflicts: 1889000 | #Constraints: 35538 2172.98/2179.74 c #Conflicts: 1890000 | #Constraints: 36539 2172.98/2179.74 c #Conflicts: 1891000 | #Constraints: 37542 2172.98/2179.74 c #Conflicts: 1892000 | #Constraints: 38542 2172.98/2179.74 c #Conflicts: 1893000 | #Constraints: 39542 2172.98/2179.74 c #Conflicts: 1894000 | #Constraints: 40542 2172.98/2179.74 c #Conflicts: 1895000 | #Constraints: 41543 2172.98/2179.74 c #Conflicts: 1896000 | #Constraints: 42543 2172.98/2179.74 c #Conflicts: 1897000 | #Constraints: 43543 2172.98/2179.74 c #Conflicts: 1898000 | #Constraints: 44543 2172.98/2179.74 c #Conflicts: 1899000 | #Constraints: 45544 2172.98/2179.74 c #Conflicts: 1900000 | #Constraints: 46545 2172.98/2179.74 c #Conflicts: 1901000 | #Constraints: 47546 2172.98/2179.74 c #Conflicts: 1902000 | #Constraints: 48546 2172.98/2179.74 c #Conflicts: 1903000 | #Constraints: 49546 2172.98/2179.74 c #Conflicts: 1904000 | #Constraints: 50546 2172.98/2179.74 c #Conflicts: 1905000 | #Constraints: 51547 2172.98/2179.74 c #Conflicts: 1906000 | #Constraints: 52547 2172.98/2179.74 c #Conflicts: 1907000 | #Constraints: 53548 2172.98/2179.74 c #Conflicts: 1908000 | #Constraints: 54550 2172.98/2179.74 c #Conflicts: 1909000 | #Constraints: 55550 2172.98/2179.74 c INPROCESSING 2172.98/2179.74 c GARBAGE COLLECT 2172.98/2179.74 c rational objective 61.118 2217.35/2224.29 c #Conflicts: 1910000 | #Constraints: 29130 2217.35/2224.29 c #Conflicts: 1911000 | #Constraints: 30130 2217.35/2224.29 c #Conflicts: 1912000 | #Constraints: 31131 2217.35/2224.29 c #Conflicts: 1913000 | #Constraints: 32132 2217.35/2224.29 c #Conflicts: 1914000 | #Constraints: 33132 2217.35/2224.29 c #Conflicts: 1915000 | #Constraints: 34133 2217.35/2224.29 c #Conflicts: 1916000 | #Constraints: 35134 2217.35/2224.29 c #Conflicts: 1917000 | #Constraints: 36134 2217.35/2224.29 c #Conflicts: 1918000 | #Constraints: 37135 2217.35/2224.29 c #Conflicts: 1919000 | #Constraints: 38135 2217.35/2224.29 c #Conflicts: 1920000 | #Constraints: 39135 2217.35/2224.29 c #Conflicts: 1921000 | #Constraints: 40135 2217.35/2224.29 c #Conflicts: 1922000 | #Constraints: 41138 2217.35/2224.29 c #Conflicts: 1923000 | #Constraints: 42139 2217.35/2224.29 c #Conflicts: 1924000 | #Constraints: 43143 2217.35/2224.29 c #Conflicts: 1925000 | #Constraints: 44143 2217.35/2224.29 c #Conflicts: 1926000 | #Constraints: 45143 2217.35/2224.29 c #Conflicts: 1927000 | #Constraints: 46144 2217.35/2224.29 c #Conflicts: 1928000 | #Constraints: 47146 2217.35/2224.29 c #Conflicts: 1929000 | #Constraints: 48147 2217.35/2224.29 c #Conflicts: 1930000 | #Constraints: 49147 2217.35/2224.29 c #Conflicts: 1931000 | #Constraints: 50147 2217.35/2224.29 c #Conflicts: 1932000 | #Constraints: 51150 2217.35/2224.29 c #Conflicts: 1933000 | #Constraints: 52152 2217.35/2224.29 c #Conflicts: 1934000 | #Constraints: 53153 2217.35/2224.29 c #Conflicts: 1935000 | #Constraints: 54155 2217.35/2224.29 c #Conflicts: 1936000 | #Constraints: 55157 2217.35/2224.29 c #Conflicts: 1937000 | #Constraints: 56157 2217.35/2224.29 c INPROCESSING 2217.35/2224.29 c GARBAGE COLLECT 2217.35/2224.29 c rational objective 61.118 2259.42/2266.40 c #Conflicts: 1938000 | #Constraints: 29533 2259.42/2266.40 c #Conflicts: 1939000 | #Constraints: 30534 2259.42/2266.40 c #Conflicts: 1940000 | #Constraints: 31536 2259.42/2266.40 c #Conflicts: 1941000 | #Constraints: 32536 2259.42/2266.40 c #Conflicts: 1942000 | #Constraints: 33538 2259.42/2266.40 c #Conflicts: 1943000 | #Constraints: 34539 2259.42/2266.40 c #Conflicts: 1944000 | #Constraints: 35540 2259.42/2266.40 c #Conflicts: 1945000 | #Constraints: 36540 2259.42/2266.40 c #Conflicts: 1946000 | #Constraints: 37540 2259.42/2266.40 c #Conflicts: 1947000 | #Constraints: 38542 2259.42/2266.40 c #Conflicts: 1948000 | #Constraints: 39542 2259.42/2266.40 c #Conflicts: 1949000 | #Constraints: 40543 2259.42/2266.40 c #Conflicts: 1950000 | #Constraints: 41543 2259.42/2266.40 c #Conflicts: 1951000 | #Constraints: 42544 2259.42/2266.40 c #Conflicts: 1952000 | #Constraints: 43545 2259.42/2266.40 c #Conflicts: 1953000 | #Constraints: 44545 2259.42/2266.40 c #Conflicts: 1954000 | #Constraints: 45545 2259.42/2266.40 c #Conflicts: 1955000 | #Constraints: 46545 2259.42/2266.40 c #Conflicts: 1956000 | #Constraints: 47545 2259.42/2266.40 c #Conflicts: 1957000 | #Constraints: 48547 2259.42/2266.40 c #Conflicts: 1958000 | #Constraints: 49547 2259.42/2266.40 c #Conflicts: 1959000 | #Constraints: 50547 2259.42/2266.40 c #Conflicts: 1960000 | #Constraints: 51547 2259.42/2266.40 c #Conflicts: 1961000 | #Constraints: 52547 2259.42/2266.40 c #Conflicts: 1962000 | #Constraints: 53547 2259.42/2266.40 c #Conflicts: 1963000 | #Constraints: 54547 2259.42/2266.40 c #Conflicts: 1964000 | #Constraints: 55547 2259.42/2266.40 c #Conflicts: 1965000 | #Constraints: 56548 2259.42/2266.40 c INPROCESSING 2259.42/2266.40 c GARBAGE COLLECT 2259.42/2266.40 c rational objective 61.118 2310.26/2317.49 c #Conflicts: 1966000 | #Constraints: 29739 2310.26/2317.49 c #Conflicts: 1967000 | #Constraints: 30739 2310.26/2317.49 c #Conflicts: 1968000 | #Constraints: 31739 2310.26/2317.49 c #Conflicts: 1969000 | #Constraints: 32739 2310.26/2317.49 c #Conflicts: 1970000 | #Constraints: 33739 2310.26/2317.49 c #Conflicts: 1971000 | #Constraints: 34739 2310.26/2317.49 c #Conflicts: 1972000 | #Constraints: 35742 2310.26/2317.49 c #Conflicts: 1973000 | #Constraints: 36742 2310.26/2317.49 c #Conflicts: 1974000 | #Constraints: 37742 2310.26/2317.49 c #Conflicts: 1975000 | #Constraints: 38743 2310.26/2317.49 c #Conflicts: 1976000 | #Constraints: 39743 2310.26/2317.49 c #Conflicts: 1977000 | #Constraints: 40744 2310.26/2317.49 c #Conflicts: 1978000 | #Constraints: 41744 2310.26/2317.49 c #Conflicts: 1979000 | #Constraints: 42745 2310.26/2317.49 c #Conflicts: 1980000 | #Constraints: 43746 2310.26/2317.49 c #Conflicts: 1981000 | #Constraints: 44746 2310.26/2317.49 c #Conflicts: 1982000 | #Constraints: 45746 2310.26/2317.49 c #Conflicts: 1983000 | #Constraints: 46747 2310.26/2317.49 c #Conflicts: 1984000 | #Constraints: 47748 2310.26/2317.49 c #Conflicts: 1985000 | #Constraints: 48749 2310.26/2317.49 c #Conflicts: 1986000 | #Constraints: 49749 2310.26/2317.49 c #Conflicts: 1987000 | #Constraints: 50749 2310.26/2317.49 c #Conflicts: 1988000 | #Constraints: 51749 2310.26/2317.49 c #Conflicts: 1989000 | #Constraints: 52751 2310.26/2317.49 c #Conflicts: 1990000 | #Constraints: 53751 2310.26/2317.49 c #Conflicts: 1991000 | #Constraints: 54752 2310.26/2317.49 c #Conflicts: 1992000 | #Constraints: 55753 2310.26/2317.49 c #Conflicts: 1993000 | #Constraints: 56754 2310.26/2317.49 c INPROCESSING 2310.26/2317.49 c GARBAGE COLLECT 2310.26/2317.49 c rational objective 61.118 2354.43/2361.74 c #Conflicts: 1994000 | #Constraints: 29736 2354.43/2361.74 c #Conflicts: 1995000 | #Constraints: 30736 2354.43/2361.74 c #Conflicts: 1996000 | #Constraints: 31736 2354.43/2361.74 c #Conflicts: 1997000 | #Constraints: 32736 2354.43/2361.74 c #Conflicts: 1998000 | #Constraints: 33736 2354.43/2361.74 c #Conflicts: 1999000 | #Constraints: 34737 2354.43/2361.74 c #Conflicts: 2000000 | #Constraints: 35738 2354.43/2361.74 c #Conflicts: 2001000 | #Constraints: 36738 2354.43/2361.74 c #Conflicts: 2002000 | #Constraints: 37739 2354.43/2361.74 c #Conflicts: 2003000 | #Constraints: 38741 2354.43/2361.74 c #Conflicts: 2004000 | #Constraints: 39741 2354.43/2361.74 c #Conflicts: 2005000 | #Constraints: 40742 2354.43/2361.74 c #Conflicts: 2006000 | #Constraints: 41742 2354.43/2361.74 c #Conflicts: 2007000 | #Constraints: 42742 2354.43/2361.74 c #Conflicts: 2008000 | #Constraints: 43742 2354.43/2361.74 c #Conflicts: 2009000 | #Constraints: 44743 2354.43/2361.74 c #Conflicts: 2010000 | #Constraints: 45744 2354.43/2361.74 c #Conflicts: 2011000 | #Constraints: 46744 2354.43/2361.74 c #Conflicts: 2012000 | #Constraints: 47746 2354.43/2361.74 c #Conflicts: 2013000 | #Constraints: 48750 2354.43/2361.74 c #Conflicts: 2014000 | #Constraints: 49752 2354.43/2361.74 c #Conflicts: 2015000 | #Constraints: 50752 2354.43/2361.74 c #Conflicts: 2016000 | #Constraints: 51752 2354.43/2361.74 c #Conflicts: 2017000 | #Constraints: 52752 2354.43/2361.74 c #Conflicts: 2018000 | #Constraints: 53752 2354.43/2361.74 c #Conflicts: 2019000 | #Constraints: 54752 2354.43/2361.74 c #Conflicts: 2020000 | #Constraints: 55752 2354.43/2361.74 c #Conflicts: 2021000 | #Constraints: 56752 2354.43/2361.74 c INPROCESSING 2354.43/2361.74 c GARBAGE COLLECT 2354.43/2361.74 c rational objective 61.118 2407.56/2415.08 c #Conflicts: 2022000 | #Constraints: 29529 2407.56/2415.08 c #Conflicts: 2023000 | #Constraints: 30529 2407.56/2415.08 c #Conflicts: 2024000 | #Constraints: 31529 2407.56/2415.08 c #Conflicts: 2025000 | #Constraints: 32529 2407.56/2415.08 c #Conflicts: 2026000 | #Constraints: 33529 2407.56/2415.08 c #Conflicts: 2027000 | #Constraints: 34529 2407.56/2415.08 c #Conflicts: 2028000 | #Constraints: 35530 2407.56/2415.08 c #Conflicts: 2029000 | #Constraints: 36531 2407.56/2415.08 c #Conflicts: 2030000 | #Constraints: 37531 2407.56/2415.08 c #Conflicts: 2031000 | #Constraints: 38533 2407.56/2415.08 c #Conflicts: 2032000 | #Constraints: 39534 2407.56/2415.08 c #Conflicts: 2033000 | #Constraints: 40534 2407.56/2415.08 c #Conflicts: 2034000 | #Constraints: 41534 2407.56/2415.08 c #Conflicts: 2035000 | #Constraints: 42535 2407.56/2415.08 c #Conflicts: 2036000 | #Constraints: 43535 2407.56/2415.08 c #Conflicts: 2037000 | #Constraints: 44535 2407.56/2415.08 c #Conflicts: 2038000 | #Constraints: 45535 2407.56/2415.08 c #Conflicts: 2039000 | #Constraints: 46535 2407.56/2415.08 c #Conflicts: 2040000 | #Constraints: 47535 2407.56/2415.08 c #Conflicts: 2041000 | #Constraints: 48535 2407.56/2415.08 c #Conflicts: 2042000 | #Constraints: 49535 2407.56/2415.08 c #Conflicts: 2043000 | #Constraints: 50535 2407.56/2415.08 c #Conflicts: 2044000 | #Constraints: 51538 2407.56/2415.08 c #Conflicts: 2045000 | #Constraints: 52540 2407.56/2415.08 c #Conflicts: 2046000 | #Constraints: 53541 2407.56/2415.08 c #Conflicts: 2047000 | #Constraints: 54541 2407.56/2415.08 c #Conflicts: 2048000 | #Constraints: 55542 2407.56/2415.08 c #Conflicts: 2049000 | #Constraints: 56543 2407.56/2415.08 c #Conflicts: 2050000 | #Constraints: 57544 2407.56/2415.08 c INPROCESSING 2407.56/2415.08 c GARBAGE COLLECT 2407.56/2415.08 c rational objective 61.118 2466.17/2473.83 c #Conflicts: 2051000 | #Constraints: 30135 2466.17/2473.83 c #Conflicts: 2052000 | #Constraints: 31135 2466.17/2473.83 c #Conflicts: 2053000 | #Constraints: 32135 2466.17/2473.83 c #Conflicts: 2054000 | #Constraints: 33135 2466.17/2473.83 c #Conflicts: 2055000 | #Constraints: 34135 2466.17/2473.83 c #Conflicts: 2056000 | #Constraints: 35138 2466.17/2473.83 c #Conflicts: 2057000 | #Constraints: 36139 2466.17/2473.83 c #Conflicts: 2058000 | #Constraints: 37139 2466.17/2473.83 c #Conflicts: 2059000 | #Constraints: 38139 2466.17/2473.83 c #Conflicts: 2060000 | #Constraints: 39139 2466.17/2473.83 c #Conflicts: 2061000 | #Constraints: 40139 2466.17/2473.83 c #Conflicts: 2062000 | #Constraints: 41140 2466.17/2473.83 c #Conflicts: 2063000 | #Constraints: 42142 2466.17/2473.83 c #Conflicts: 2064000 | #Constraints: 43142 2466.17/2473.83 c #Conflicts: 2065000 | #Constraints: 44142 2466.17/2473.83 c #Conflicts: 2066000 | #Constraints: 45142 2466.17/2473.83 c #Conflicts: 2067000 | #Constraints: 46142 2466.17/2473.83 c #Conflicts: 2068000 | #Constraints: 47142 2466.17/2473.83 c #Conflicts: 2069000 | #Constraints: 48143 2466.17/2473.83 c #Conflicts: 2070000 | #Constraints: 49144 2466.17/2473.83 c #Conflicts: 2071000 | #Constraints: 50145 2466.17/2473.83 c #Conflicts: 2072000 | #Constraints: 51146 2466.17/2473.83 c #Conflicts: 2073000 | #Constraints: 52147 2466.17/2473.83 c #Conflicts: 2074000 | #Constraints: 53147 2466.17/2473.83 c #Conflicts: 2075000 | #Constraints: 54148 2466.17/2473.83 c #Conflicts: 2076000 | #Constraints: 55148 2466.17/2473.83 c #Conflicts: 2077000 | #Constraints: 56148 2466.17/2473.83 c #Conflicts: 2078000 | #Constraints: 57150 2466.17/2473.83 c #Conflicts: 2079000 | #Constraints: 58150 2466.17/2473.83 c INPROCESSING 2466.17/2473.83 c GARBAGE COLLECT 2466.17/2473.83 c rational objective 61.118 2532.06/2539.99 c #Conflicts: 2080000 | #Constraints: 30535 2532.06/2539.99 c #Conflicts: 2081000 | #Constraints: 31536 2532.06/2539.99 c #Conflicts: 2082000 | #Constraints: 32536 2532.06/2539.99 c #Conflicts: 2083000 | #Constraints: 33536 2532.06/2539.99 c #Conflicts: 2084000 | #Constraints: 34537 2532.06/2539.99 c #Conflicts: 2085000 | #Constraints: 35537 2532.06/2539.99 c #Conflicts: 2086000 | #Constraints: 36537 2532.06/2539.99 c #Conflicts: 2087000 | #Constraints: 37540 2532.06/2539.99 c #Conflicts: 2088000 | #Constraints: 38540 2532.06/2539.99 c #Conflicts: 2089000 | #Constraints: 39540 2532.06/2539.99 c #Conflicts: 2090000 | #Constraints: 40541 2532.06/2539.99 c #Conflicts: 2091000 | #Constraints: 41542 2532.06/2539.99 c #Conflicts: 2092000 | #Constraints: 42542 2532.06/2539.99 c #Conflicts: 2093000 | #Constraints: 43544 2532.06/2539.99 c #Conflicts: 2094000 | #Constraints: 44544 2532.06/2539.99 c #Conflicts: 2095000 | #Constraints: 45545 2532.06/2539.99 c #Conflicts: 2096000 | #Constraints: 46545 2532.06/2539.99 c #Conflicts: 2097000 | #Constraints: 47545 2532.06/2539.99 c #Conflicts: 2098000 | #Constraints: 48545 2532.06/2539.99 c #Conflicts: 2099000 | #Constraints: 49546 2532.06/2539.99 c #Conflicts: 2100000 | #Constraints: 50547 2532.06/2539.99 c #Conflicts: 2101000 | #Constraints: 51547 2532.06/2539.99 c #Conflicts: 2102000 | #Constraints: 52547 2532.06/2539.99 c #Conflicts: 2103000 | #Constraints: 53552 2532.06/2539.99 c #Conflicts: 2104000 | #Constraints: 54552 2532.06/2539.99 c #Conflicts: 2105000 | #Constraints: 55552 2532.06/2539.99 c #Conflicts: 2106000 | #Constraints: 56552 2532.06/2539.99 c #Conflicts: 2107000 | #Constraints: 57553 2532.06/2539.99 c #Conflicts: 2108000 | #Constraints: 58553 2532.06/2539.99 c INPROCESSING 2532.06/2539.99 c GARBAGE COLLECT 2532.06/2539.99 c rational objective 61.118 2598.46/2606.50 c #Conflicts: 2109000 | #Constraints: 30735 2598.46/2606.50 c #Conflicts: 2110000 | #Constraints: 31735 2598.46/2606.50 c #Conflicts: 2111000 | #Constraints: 32735 2598.46/2606.50 c #Conflicts: 2112000 | #Constraints: 33736 2598.46/2606.50 c #Conflicts: 2113000 | #Constraints: 34736 2598.46/2606.50 c #Conflicts: 2114000 | #Constraints: 35737 2598.46/2606.50 c #Conflicts: 2115000 | #Constraints: 36737 2598.46/2606.50 c #Conflicts: 2116000 | #Constraints: 37737 2598.46/2606.50 c #Conflicts: 2117000 | #Constraints: 38737 2598.46/2606.50 c #Conflicts: 2118000 | #Constraints: 39737 2598.46/2606.50 c #Conflicts: 2119000 | #Constraints: 40739 2598.46/2606.50 c #Conflicts: 2120000 | #Constraints: 41739 2598.46/2606.50 c #Conflicts: 2121000 | #Constraints: 42739 2598.46/2606.50 c #Conflicts: 2122000 | #Constraints: 43739 2598.46/2606.50 c #Conflicts: 2123000 | #Constraints: 44741 2598.46/2606.50 c #Conflicts: 2124000 | #Constraints: 45742 2598.46/2606.50 c #Conflicts: 2125000 | #Constraints: 46742 2598.46/2606.50 c #Conflicts: 2126000 | #Constraints: 47743 2598.46/2606.50 c #Conflicts: 2127000 | #Constraints: 48743 2598.46/2606.50 c #Conflicts: 2128000 | #Constraints: 49744 2598.46/2606.50 c #Conflicts: 2129000 | #Constraints: 50744 2598.46/2606.50 c #Conflicts: 2130000 | #Constraints: 51744 2598.46/2606.50 c #Conflicts: 2131000 | #Constraints: 52744 2598.46/2606.50 c #Conflicts: 2132000 | #Constraints: 53745 2598.46/2606.50 c #Conflicts: 2133000 | #Constraints: 54746 2598.46/2606.50 c #Conflicts: 2134000 | #Constraints: 55746 2598.46/2606.50 c #Conflicts: 2135000 | #Constraints: 56747 2598.46/2606.50 c #Conflicts: 2136000 | #Constraints: 57747 2598.46/2606.50 c #Conflicts: 2137000 | #Constraints: 58747 2598.46/2606.50 c INPROCESSING 2598.46/2606.50 c GARBAGE COLLECT 2598.46/2606.50 c rational objective 61.118 2661.86/2670.17 c #Conflicts: 2138000 | #Constraints: 30736 2661.86/2670.17 c #Conflicts: 2139000 | #Constraints: 31736 2661.86/2670.17 c #Conflicts: 2140000 | #Constraints: 32737 2661.86/2670.17 c #Conflicts: 2141000 | #Constraints: 33737 2661.86/2670.17 c #Conflicts: 2142000 | #Constraints: 34737 2661.86/2670.17 c #Conflicts: 2143000 | #Constraints: 35737 2661.86/2670.17 c #Conflicts: 2144000 | #Constraints: 36737 2661.86/2670.17 c #Conflicts: 2145000 | #Constraints: 37737 2661.86/2670.17 c #Conflicts: 2146000 | #Constraints: 38737 2661.86/2670.17 c #Conflicts: 2147000 | #Constraints: 39738 2661.86/2670.17 c #Conflicts: 2148000 | #Constraints: 40740 2661.86/2670.17 c #Conflicts: 2149000 | #Constraints: 41740 2661.86/2670.17 c #Conflicts: 2150000 | #Constraints: 42740 2661.86/2670.17 c #Conflicts: 2151000 | #Constraints: 43740 2661.86/2670.17 c #Conflicts: 2152000 | #Constraints: 44740 2661.86/2670.17 c #Conflicts: 2153000 | #Constraints: 45741 2661.86/2670.17 c #Conflicts: 2154000 | #Constraints: 46742 2661.86/2670.17 c #Conflicts: 2155000 | #Constraints: 47743 2661.86/2670.17 c #Conflicts: 2156000 | #Constraints: 48745 2661.86/2670.17 c #Conflicts: 2157000 | #Constraints: 49745 2661.86/2670.17 c #Conflicts: 2158000 | #Constraints: 50745 2661.86/2670.17 c #Conflicts: 2159000 | #Constraints: 51746 2661.86/2670.17 c #Conflicts: 2160000 | #Constraints: 52747 2661.86/2670.17 c #Conflicts: 2161000 | #Constraints: 53749 2661.86/2670.17 c #Conflicts: 2162000 | #Constraints: 54749 2661.86/2670.17 c #Conflicts: 2163000 | #Constraints: 55749 2661.86/2670.17 c #Conflicts: 2164000 | #Constraints: 56750 2661.86/2670.17 c #Conflicts: 2165000 | #Constraints: 57750 2661.86/2670.17 c #Conflicts: 2166000 | #Constraints: 58751 2661.86/2670.17 c INPROCESSING 2661.86/2670.17 c GARBAGE COLLECT 2661.86/2670.17 c rational objective 61.118 2713.90/2722.34 c #Conflicts: 2167000 | #Constraints: 30528 2713.90/2722.34 c #Conflicts: 2168000 | #Constraints: 31529 2713.90/2722.34 c #Conflicts: 2169000 | #Constraints: 32530 2713.90/2722.34 c #Conflicts: 2170000 | #Constraints: 33531 2713.90/2722.34 c #Conflicts: 2171000 | #Constraints: 34531 2713.90/2722.34 c #Conflicts: 2172000 | #Constraints: 35531 2713.90/2722.34 c #Conflicts: 2173000 | #Constraints: 36534 2713.90/2722.34 c #Conflicts: 2174000 | #Constraints: 37534 2713.90/2722.34 c #Conflicts: 2175000 | #Constraints: 38534 2713.90/2722.34 c #Conflicts: 2176000 | #Constraints: 39534 2713.90/2722.34 c #Conflicts: 2177000 | #Constraints: 40536 2713.90/2722.34 c #Conflicts: 2178000 | #Constraints: 41536 2713.90/2722.34 c #Conflicts: 2179000 | #Constraints: 42537 2713.90/2722.34 c #Conflicts: 2180000 | #Constraints: 43537 2713.90/2722.34 c #Conflicts: 2181000 | #Constraints: 44540 2713.90/2722.34 c #Conflicts: 2182000 | #Constraints: 45541 2713.90/2722.34 c #Conflicts: 2183000 | #Constraints: 46541 2713.90/2722.34 c #Conflicts: 2184000 | #Constraints: 47543 2713.90/2722.34 c #Conflicts: 2185000 | #Constraints: 48543 2713.90/2722.34 c #Conflicts: 2186000 | #Constraints: 49543 2713.90/2722.34 c #Conflicts: 2187000 | #Constraints: 50543 2713.90/2722.34 c #Conflicts: 2188000 | #Constraints: 51543 2713.90/2722.34 c #Conflicts: 2189000 | #Constraints: 52543 2713.90/2722.34 c #Conflicts: 2190000 | #Constraints: 53543 2713.90/2722.34 c #Conflicts: 2191000 | #Constraints: 54543 2713.90/2722.34 c #Conflicts: 2192000 | #Constraints: 55544 2713.90/2722.34 c #Conflicts: 2193000 | #Constraints: 56545 2713.90/2722.34 c #Conflicts: 2194000 | #Constraints: 57545 2713.90/2722.34 c #Conflicts: 2195000 | #Constraints: 58546 2713.90/2722.34 c #Conflicts: 2196000 | #Constraints: 59546 2713.90/2722.34 c INPROCESSING 2713.90/2722.34 c GARBAGE COLLECT 2713.90/2722.34 c rational objective 61.118 2802.03/2810.76 c #Conflicts: 2197000 | #Constraints: 31138 2802.03/2810.76 c #Conflicts: 2198000 | #Constraints: 32138 2802.03/2810.76 c #Conflicts: 2199000 | #Constraints: 33140 2802.03/2810.76 c #Conflicts: 2200000 | #Constraints: 34140 2802.03/2810.76 c #Conflicts: 2201000 | #Constraints: 35140 2802.03/2810.76 c #Conflicts: 2202000 | #Constraints: 36140 2802.03/2810.76 c #Conflicts: 2203000 | #Constraints: 37141 2802.03/2810.76 c #Conflicts: 2204000 | #Constraints: 38141 2802.03/2810.76 c #Conflicts: 2205000 | #Constraints: 39142 2802.03/2810.76 c #Conflicts: 2206000 | #Constraints: 40142 2802.03/2810.76 c #Conflicts: 2207000 | #Constraints: 41142 2802.03/2810.76 c #Conflicts: 2208000 | #Constraints: 42143 2802.03/2810.76 c #Conflicts: 2209000 | #Constraints: 43144 2802.03/2810.76 c #Conflicts: 2210000 | #Constraints: 44145 2802.03/2810.76 c #Conflicts: 2211000 | #Constraints: 45145 2802.03/2810.76 c #Conflicts: 2212000 | #Constraints: 46146 2802.03/2810.76 c #Conflicts: 2213000 | #Constraints: 47147 2802.03/2810.76 c #Conflicts: 2214000 | #Constraints: 48149 2802.03/2810.76 c #Conflicts: 2215000 | #Constraints: 49149 2802.03/2810.76 c #Conflicts: 2216000 | #Constraints: 50149 2802.03/2810.76 c #Conflicts: 2217000 | #Constraints: 51149 2802.03/2810.76 c #Conflicts: 2218000 | #Constraints: 52149 2802.03/2810.76 c #Conflicts: 2219000 | #Constraints: 53149 2802.03/2810.76 c #Conflicts: 2220000 | #Constraints: 54149 2802.03/2810.76 c #Conflicts: 2221000 | #Constraints: 55149 2802.03/2810.76 c #Conflicts: 2222000 | #Constraints: 56150 2802.03/2810.76 c #Conflicts: 2223000 | #Constraints: 57150 2802.03/2810.76 c #Conflicts: 2224000 | #Constraints: 58150 2802.03/2810.76 c #Conflicts: 2225000 | #Constraints: 59152 2802.03/2810.76 c #Conflicts: 2226000 | #Constraints: 60152 2802.03/2810.76 c INPROCESSING 2802.03/2810.76 c GARBAGE COLLECT 2802.03/2810.76 c rational objective 61.118 2891.44/2900.45 c #Conflicts: 2227000 | #Constraints: 31537 2891.44/2900.45 c #Conflicts: 2228000 | #Constraints: 32537 2891.44/2900.45 c #Conflicts: 2229000 | #Constraints: 33537 2891.44/2900.45 c #Conflicts: 2230000 | #Constraints: 34537 2891.44/2900.45 c #Conflicts: 2231000 | #Constraints: 35537 2891.44/2900.45 c #Conflicts: 2232000 | #Constraints: 36537 2891.44/2900.45 c #Conflicts: 2233000 | #Constraints: 37537 2891.44/2900.45 c #Conflicts: 2234000 | #Constraints: 38537 2891.44/2900.45 c #Conflicts: 2235000 | #Constraints: 39539 2891.44/2900.45 c #Conflicts: 2236000 | #Constraints: 40539 2891.44/2900.45 c #Conflicts: 2237000 | #Constraints: 41540 2891.44/2900.45 c #Conflicts: 2238000 | #Constraints: 42540 2891.44/2900.45 c #Conflicts: 2239000 | #Constraints: 43540 2891.44/2900.45 c #Conflicts: 2240000 | #Constraints: 44540 2891.44/2900.45 c #Conflicts: 2241000 | #Constraints: 45540 2891.44/2900.45 c #Conflicts: 2242000 | #Constraints: 46541 2891.44/2900.45 c #Conflicts: 2243000 | #Constraints: 47541 2891.44/2900.45 c #Conflicts: 2244000 | #Constraints: 48541 2891.44/2900.45 c #Conflicts: 2245000 | #Constraints: 49541 2891.44/2900.45 c #Conflicts: 2246000 | #Constraints: 50541 2891.44/2900.45 c #Conflicts: 2247000 | #Constraints: 51541 2891.44/2900.45 c #Conflicts: 2248000 | #Constraints: 52541 2891.44/2900.45 c #Conflicts: 2249000 | #Constraints: 53541 2891.44/2900.45 c #Conflicts: 2250000 | #Constraints: 54541 2891.44/2900.45 c #Conflicts: 2251000 | #Constraints: 55541 2891.44/2900.45 c #Conflicts: 2252000 | #Constraints: 56541 2891.44/2900.45 c #Conflicts: 2253000 | #Constraints: 57541 2891.44/2900.45 c #Conflicts: 2254000 | #Constraints: 58541 2891.44/2900.45 c #Conflicts: 2255000 | #Constraints: 59541 2891.44/2900.45 c #Conflicts: 2256000 | #Constraints: 60541 2891.44/2900.45 c INPROCESSING 2891.44/2900.45 c GARBAGE COLLECT 2891.44/2900.45 c rational objective 61.118 2989.53/2998.82 c #Conflicts: 2257000 | #Constraints: 31733 2989.53/2998.82 c #Conflicts: 2258000 | #Constraints: 32733 2989.53/2998.82 c #Conflicts: 2259000 | #Constraints: 33734 2989.53/2998.82 c #Conflicts: 2260000 | #Constraints: 34734 2989.53/2998.82 c #Conflicts: 2261000 | #Constraints: 35735 2989.53/2998.82 c #Conflicts: 2262000 | #Constraints: 36736 2989.53/2998.82 c #Conflicts: 2263000 | #Constraints: 37736 2989.53/2998.82 c #Conflicts: 2264000 | #Constraints: 38736 2989.53/2998.82 c #Conflicts: 2265000 | #Constraints: 39737 2989.53/2998.82 c #Conflicts: 2266000 | #Constraints: 40737 2989.53/2998.82 c #Conflicts: 2267000 | #Constraints: 41737 2989.53/2998.82 c #Conflicts: 2268000 | #Constraints: 42737 2989.53/2998.82 c #Conflicts: 2269000 | #Constraints: 43737 2989.53/2998.82 c #Conflicts: 2270000 | #Constraints: 44737 2989.53/2998.82 c #Conflicts: 2271000 | #Constraints: 45737 2989.53/2998.82 c #Conflicts: 2272000 | #Constraints: 46737 2989.53/2998.82 c #Conflicts: 2273000 | #Constraints: 47737 2989.53/2998.82 c #Conflicts: 2274000 | #Constraints: 48737 2989.53/2998.82 c #Conflicts: 2275000 | #Constraints: 49737 2989.53/2998.82 c #Conflicts: 2276000 | #Constraints: 50737 2989.53/2998.82 c #Conflicts: 2277000 | #Constraints: 51737 2989.53/2998.82 c #Conflicts: 2278000 | #Constraints: 52737 2989.53/2998.82 c #Conflicts: 2279000 | #Constraints: 53737 2989.53/2998.82 c #Conflicts: 2280000 | #Constraints: 54737 2989.53/2998.82 c #Conflicts: 2281000 | #Constraints: 55737 2989.53/2998.82 c #Conflicts: 2282000 | #Constraints: 56737 2989.53/2998.82 c #Conflicts: 2283000 | #Constraints: 57737 2989.53/2998.82 c #Conflicts: 2284000 | #Constraints: 58737 2989.53/2998.82 c #Conflicts: 2285000 | #Constraints: 59737 2989.53/2998.82 c #Conflicts: 2286000 | #Constraints: 60737 2989.53/2998.82 c INPROCESSING 2989.53/2998.82 c GARBAGE COLLECT 2989.53/2998.82 c rational objective 61.118 3070.49/3080.02 c #Conflicts: 2287000 | #Constraints: 31738 3070.49/3080.02 c #Conflicts: 2288000 | #Constraints: 32738 3070.49/3080.02 c #Conflicts: 2289000 | #Constraints: 33738 3070.49/3080.02 c #Conflicts: 2290000 | #Constraints: 34738 3070.49/3080.02 c #Conflicts: 2291000 | #Constraints: 35738 3070.49/3080.02 c #Conflicts: 2292000 | #Constraints: 36738 3070.49/3080.02 c #Conflicts: 2293000 | #Constraints: 37738 3070.49/3080.02 c #Conflicts: 2294000 | #Constraints: 38738 3070.49/3080.02 c #Conflicts: 2295000 | #Constraints: 39738 3070.49/3080.02 c #Conflicts: 2296000 | #Constraints: 40738 3070.49/3080.02 c #Conflicts: 2297000 | #Constraints: 41738 3070.49/3080.02 c #Conflicts: 2298000 | #Constraints: 42738 3070.49/3080.02 c #Conflicts: 2299000 | #Constraints: 43740 3070.49/3080.02 c #Conflicts: 2300000 | #Constraints: 44740 3070.49/3080.02 c #Conflicts: 2301000 | #Constraints: 45741 3070.49/3080.02 c #Conflicts: 2302000 | #Constraints: 46741 3070.49/3080.02 c #Conflicts: 2303000 | #Constraints: 47742 3070.49/3080.02 c #Conflicts: 2304000 | #Constraints: 48742 3070.49/3080.02 c #Conflicts: 2305000 | #Constraints: 49744 3070.49/3080.02 c #Conflicts: 2306000 | #Constraints: 50744 3070.49/3080.02 c #Conflicts: 2307000 | #Constraints: 51745 3070.49/3080.02 c #Conflicts: 2308000 | #Constraints: 52745 3070.49/3080.02 c #Conflicts: 2309000 | #Constraints: 53745 3070.49/3080.02 c #Conflicts: 2310000 | #Constraints: 54745 3070.49/3080.02 c #Conflicts: 2311000 | #Constraints: 55745 3070.49/3080.02 c #Conflicts: 2312000 | #Constraints: 56746 3070.49/3080.02 c #Conflicts: 2313000 | #Constraints: 57747 3070.49/3080.02 c #Conflicts: 2314000 | #Constraints: 58748 3070.49/3080.02 c #Conflicts: 2315000 | #Constraints: 59750 3070.49/3080.02 c #Conflicts: 2316000 | #Constraints: 60750 3070.49/3080.02 c INPROCESSING 3070.49/3080.02 c GARBAGE COLLECT 3070.49/3080.02 c rational objective 61.118 3135.55/3145.37 c #Conflicts: 2317000 | #Constraints: 31548 3135.55/3145.37 c #Conflicts: 2318000 | #Constraints: 32548 3135.55/3145.37 c #Conflicts: 2319000 | #Constraints: 33550 3135.55/3145.37 c #Conflicts: 2320000 | #Constraints: 34550 3135.55/3145.37 c #Conflicts: 2321000 | #Constraints: 35550 3135.55/3145.37 c #Conflicts: 2322000 | #Constraints: 36551 3135.55/3145.37 c #Conflicts: 2323000 | #Constraints: 37551 3135.55/3145.37 c #Conflicts: 2324000 | #Constraints: 38552 3135.55/3145.37 c #Conflicts: 2325000 | #Constraints: 39552 3135.55/3145.37 c #Conflicts: 2326000 | #Constraints: 40552 3135.55/3145.37 c #Conflicts: 2327000 | #Constraints: 41552 3135.55/3145.37 c #Conflicts: 2328000 | #Constraints: 42552 3135.55/3145.37 c #Conflicts: 2329000 | #Constraints: 43553 3135.55/3145.37 c #Conflicts: 2330000 | #Constraints: 44554 3135.55/3145.37 c #Conflicts: 2331000 | #Constraints: 45554 3135.55/3145.37 c #Conflicts: 2332000 | #Constraints: 46554 3135.55/3145.37 c #Conflicts: 2333000 | #Constraints: 47555 3135.55/3145.37 c #Conflicts: 2334000 | #Constraints: 48556 3135.55/3145.37 c #Conflicts: 2335000 | #Constraints: 49557 3135.55/3145.37 c #Conflicts: 2336000 | #Constraints: 50557 3135.55/3145.37 c #Conflicts: 2337000 | #Constraints: 51559 3135.55/3145.37 c #Conflicts: 2338000 | #Constraints: 52560 3135.55/3145.37 c #Conflicts: 2339000 | #Constraints: 53560 3135.55/3145.37 c #Conflicts: 2340000 | #Constraints: 54561 3135.55/3145.37 c #Conflicts: 2341000 | #Constraints: 55562 3135.55/3145.37 c #Conflicts: 2342000 | #Constraints: 56562 3135.55/3145.37 c #Conflicts: 2343000 | #Constraints: 57563 3135.55/3145.37 c #Conflicts: 2344000 | #Constraints: 58563 3135.55/3145.37 c #Conflicts: 2345000 | #Constraints: 59563 3135.55/3145.37 c #Conflicts: 2346000 | #Constraints: 60563 3135.55/3145.37 c #Conflicts: 2347000 | #Constraints: 61564 3135.55/3145.37 c INPROCESSING 3135.55/3145.37 c GARBAGE COLLECT 3135.55/3145.37 c rational objective 61.118 3201.25/3211.23 c #Conflicts: 2348000 | #Constraints: 32142 3201.25/3211.23 c #Conflicts: 2349000 | #Constraints: 33142 3201.25/3211.23 c #Conflicts: 2350000 | #Constraints: 34142 3201.25/3211.23 c #Conflicts: 2351000 | #Constraints: 35142 3201.25/3211.23 c #Conflicts: 2352000 | #Constraints: 36142 3201.25/3211.23 c #Conflicts: 2353000 | #Constraints: 37142 3201.25/3211.23 c #Conflicts: 2354000 | #Constraints: 38143 3201.25/3211.23 c #Conflicts: 2355000 | #Constraints: 39143 3201.25/3211.23 c #Conflicts: 2356000 | #Constraints: 40144 3201.25/3211.23 c #Conflicts: 2357000 | #Constraints: 41145 3201.25/3211.23 c #Conflicts: 2358000 | #Constraints: 42146 3201.25/3211.23 c #Conflicts: 2359000 | #Constraints: 43146 3201.25/3211.23 c #Conflicts: 2360000 | #Constraints: 44146 3201.25/3211.23 c #Conflicts: 2361000 | #Constraints: 45147 3201.25/3211.23 c #Conflicts: 2362000 | #Constraints: 46147 3201.25/3211.23 c #Conflicts: 2363000 | #Constraints: 47147 3201.25/3211.23 c #Conflicts: 2364000 | #Constraints: 48148 3201.25/3211.23 c #Conflicts: 2365000 | #Constraints: 49148 3201.25/3211.23 c #Conflicts: 2366000 | #Constraints: 50148 3201.25/3211.23 c #Conflicts: 2367000 | #Constraints: 51150 3201.25/3211.23 c #Conflicts: 2368000 | #Constraints: 52151 3201.25/3211.23 c #Conflicts: 2369000 | #Constraints: 53151 3201.25/3211.23 c #Conflicts: 2370000 | #Constraints: 54153 3201.25/3211.23 c #Conflicts: 2371000 | #Constraints: 55154 3201.25/3211.23 c #Conflicts: 2372000 | #Constraints: 56155 3201.25/3211.23 c #Conflicts: 2373000 | #Constraints: 57155 3201.25/3211.23 c #Conflicts: 2374000 | #Constraints: 58157 3201.25/3211.23 c #Conflicts: 2375000 | #Constraints: 59158 3201.25/3211.23 c #Conflicts: 2376000 | #Constraints: 60160 3201.25/3211.23 c #Conflicts: 2377000 | #Constraints: 61160 3201.25/3211.23 c #Conflicts: 2378000 | #Constraints: 62160 3201.25/3211.23 c INPROCESSING 3201.25/3211.23 c GARBAGE COLLECT 3201.25/3211.23 c rational objective 61.1572 3285.79/3296.04 c #Conflicts: 2379000 | #Constraints: 32540 3285.79/3296.04 c #Conflicts: 2380000 | #Constraints: 33540 3285.79/3296.04 c #Conflicts: 2381000 | #Constraints: 34540 3285.79/3296.04 c #Conflicts: 2382000 | #Constraints: 35540 3285.79/3296.04 c #Conflicts: 2383000 | #Constraints: 36540 3285.79/3296.04 c #Conflicts: 2384000 | #Constraints: 37540 3285.79/3296.04 c #Conflicts: 2385000 | #Constraints: 38540 3285.79/3296.04 c #Conflicts: 2386000 | #Constraints: 39541 3285.79/3296.04 c #Conflicts: 2387000 | #Constraints: 40541 3285.79/3296.04 c #Conflicts: 2388000 | #Constraints: 41542 3285.79/3296.04 c #Conflicts: 2389000 | #Constraints: 42542 3285.79/3296.04 c #Conflicts: 2390000 | #Constraints: 43544 3285.79/3296.04 c #Conflicts: 2391000 | #Constraints: 44545 3285.79/3296.04 c #Conflicts: 2392000 | #Constraints: 45545 3285.79/3296.04 c #Conflicts: 2393000 | #Constraints: 46546 3285.79/3296.04 c #Conflicts: 2394000 | #Constraints: 47546 3285.79/3296.04 c #Conflicts: 2395000 | #Constraints: 48546 3285.79/3296.04 c #Conflicts: 2396000 | #Constraints: 49546 3285.79/3296.04 c #Conflicts: 2397000 | #Constraints: 50547 3285.79/3296.04 c #Conflicts: 2398000 | #Constraints: 51547 3285.79/3296.04 c #Conflicts: 2399000 | #Constraints: 52548 3285.79/3296.04 c #Conflicts: 2400000 | #Constraints: 53549 3285.79/3296.04 c #Conflicts: 2401000 | #Constraints: 54550 3285.79/3296.04 c #Conflicts: 2402000 | #Constraints: 55550 3285.79/3296.04 c #Conflicts: 2403000 | #Constraints: 56550 3285.79/3296.04 c #Conflicts: 2404000 | #Constraints: 57550 3285.79/3296.04 c #Conflicts: 2405000 | #Constraints: 58550 3285.79/3296.04 c #Conflicts: 2406000 | #Constraints: 59550 3285.79/3296.04 c #Conflicts: 2407000 | #Constraints: 60550 3285.79/3296.04 c #Conflicts: 2408000 | #Constraints: 61550 3285.79/3296.04 c #Conflicts: 2409000 | #Constraints: 62550 3285.79/3296.04 c INPROCESSING 3285.79/3296.04 c GARBAGE COLLECT 3285.79/3296.04 c rational objective 61.1572 3351.07/3361.54 c #Conflicts: 2410000 | #Constraints: 32745 3351.07/3361.54 c #Conflicts: 2411000 | #Constraints: 33745 3351.07/3361.54 c #Conflicts: 2412000 | #Constraints: 34749 3351.07/3361.54 c #Conflicts: 2413000 | #Constraints: 35750 3351.07/3361.54 c #Conflicts: 2414000 | #Constraints: 36750 3351.07/3361.54 c #Conflicts: 2415000 | #Constraints: 37750 3351.07/3361.54 c #Conflicts: 2416000 | #Constraints: 38750 3351.07/3361.54 c #Conflicts: 2417000 | #Constraints: 39753 3351.07/3361.54 c #Conflicts: 2418000 | #Constraints: 40753 3351.07/3361.54 c #Conflicts: 2419000 | #Constraints: 41753 3351.07/3361.54 c #Conflicts: 2420000 | #Constraints: 42753 3351.07/3361.54 c #Conflicts: 2421000 | #Constraints: 43754 3351.07/3361.54 c #Conflicts: 2422000 | #Constraints: 44755 3351.07/3361.54 c #Conflicts: 2423000 | #Constraints: 45755 3351.07/3361.54 c #Conflicts: 2424000 | #Constraints: 46755 3351.07/3361.54 c #Conflicts: 2425000 | #Constraints: 47755 3351.07/3361.54 c #Conflicts: 2426000 | #Constraints: 48756 3351.07/3361.54 c #Conflicts: 2427000 | #Constraints: 49758 3351.07/3361.54 c #Conflicts: 2428000 | #Constraints: 50758 3351.07/3361.54 c #Conflicts: 2429000 | #Constraints: 51758 3351.07/3361.54 c #Conflicts: 2430000 | #Constraints: 52758 3351.07/3361.54 c #Conflicts: 2431000 | #Constraints: 53758 3351.07/3361.54 c #Conflicts: 2432000 | #Constraints: 54759 3351.07/3361.54 c #Conflicts: 2433000 | #Constraints: 55760 3351.07/3361.54 c #Conflicts: 2434000 | #Constraints: 56763 3351.07/3361.54 c #Conflicts: 2435000 | #Constraints: 57763 3351.07/3361.54 c #Conflicts: 2436000 | #Constraints: 58763 3351.07/3361.54 c #Conflicts: 2437000 | #Constraints: 59763 3351.07/3361.54 c #Conflicts: 2438000 | #Constraints: 60764 3351.07/3361.54 c #Conflicts: 2439000 | #Constraints: 61767 3351.07/3361.54 c #Conflicts: 2440000 | #Constraints: 62769 3351.07/3361.54 c INPROCESSING 3351.07/3361.54 c GARBAGE COLLECT 3351.07/3361.54 c rational objective 61.1572 3404.21/3414.84 c #Conflicts: 2441000 | #Constraints: 32757 3404.21/3414.84 c #Conflicts: 2442000 | #Constraints: 33757 3404.21/3414.84 c #Conflicts: 2443000 | #Constraints: 34757 3404.21/3414.84 c #Conflicts: 2444000 | #Constraints: 35757 3404.21/3414.84 c #Conflicts: 2445000 | #Constraints: 36758 3404.21/3414.84 c #Conflicts: 2446000 | #Constraints: 37758 3404.21/3414.84 c #Conflicts: 2447000 | #Constraints: 38758 3404.21/3414.84 c #Conflicts: 2448000 | #Constraints: 39758 3404.21/3414.84 c #Conflicts: 2449000 | #Constraints: 40759 3404.21/3414.84 c #Conflicts: 2450000 | #Constraints: 41759 3404.21/3414.84 c #Conflicts: 2451000 | #Constraints: 42761 3404.21/3414.84 c #Conflicts: 2452000 | #Constraints: 43761 3404.21/3414.84 c #Conflicts: 2453000 | #Constraints: 44761 3404.21/3414.84 c #Conflicts: 2454000 | #Constraints: 45761 3404.21/3414.84 c #Conflicts: 2455000 | #Constraints: 46762 3404.21/3414.84 c #Conflicts: 2456000 | #Constraints: 47762 3404.21/3414.84 c #Conflicts: 2457000 | #Constraints: 48762 3404.21/3414.84 c #Conflicts: 2458000 | #Constraints: 49762 3404.21/3414.84 c #Conflicts: 2459000 | #Constraints: 50763 3404.21/3414.84 c #Conflicts: 2460000 | #Constraints: 51763 3404.21/3414.84 c #Conflicts: 2461000 | #Constraints: 52763 3404.21/3414.84 c #Conflicts: 2462000 | #Constraints: 53764 3404.21/3414.84 c #Conflicts: 2463000 | #Constraints: 54765 3404.21/3414.84 c #Conflicts: 2464000 | #Constraints: 55765 3404.21/3414.84 c #Conflicts: 2465000 | #Constraints: 56765 3404.21/3414.84 c #Conflicts: 2466000 | #Constraints: 57765 3404.21/3414.84 c #Conflicts: 2467000 | #Constraints: 58765 3404.21/3414.84 c #Conflicts: 2468000 | #Constraints: 59766 3404.21/3414.84 c #Conflicts: 2469000 | #Constraints: 60767 3404.21/3414.84 c #Conflicts: 2470000 | #Constraints: 61768 3404.21/3414.84 c #Conflicts: 2471000 | #Constraints: 62768 3404.21/3414.84 c INPROCESSING 3404.21/3414.84 c GARBAGE COLLECT 3404.21/3414.84 c rational objective 61.1572 3455.95/3466.73 c #Conflicts: 2472000 | #Constraints: 32537 3455.95/3466.73 c #Conflicts: 2473000 | #Constraints: 33537 3455.95/3466.73 c #Conflicts: 2474000 | #Constraints: 34538 3455.95/3466.73 c #Conflicts: 2475000 | #Constraints: 35539 3455.95/3466.73 c #Conflicts: 2476000 | #Constraints: 36541 3455.95/3466.73 c #Conflicts: 2477000 | #Constraints: 37541 3455.95/3466.73 c #Conflicts: 2478000 | #Constraints: 38541 3455.95/3466.73 c #Conflicts: 2479000 | #Constraints: 39541 3455.95/3466.73 c #Conflicts: 2480000 | #Constraints: 40541 3455.95/3466.73 c #Conflicts: 2481000 | #Constraints: 41541 3455.95/3466.73 c #Conflicts: 2482000 | #Constraints: 42541 3455.95/3466.73 c #Conflicts: 2483000 | #Constraints: 43541 3455.95/3466.73 c #Conflicts: 2484000 | #Constraints: 44543 3455.95/3466.73 c #Conflicts: 2485000 | #Constraints: 45543 3455.95/3466.73 c #Conflicts: 2486000 | #Constraints: 46543 3455.95/3466.73 c #Conflicts: 2487000 | #Constraints: 47544 3455.95/3466.73 c #Conflicts: 2488000 | #Constraints: 48545 3455.95/3466.73 c #Conflicts: 2489000 | #Constraints: 49545 3455.95/3466.73 c #Conflicts: 2490000 | #Constraints: 50546 3455.95/3466.73 c #Conflicts: 2491000 | #Constraints: 51546 3455.95/3466.73 c #Conflicts: 2492000 | #Constraints: 52546 3455.95/3466.73 c #Conflicts: 2493000 | #Constraints: 53546 3455.95/3466.73 c #Conflicts: 2494000 | #Constraints: 54546 3455.95/3466.73 c #Conflicts: 2495000 | #Constraints: 55546 3455.95/3466.73 c #Conflicts: 2496000 | #Constraints: 56547 3455.95/3466.73 c #Conflicts: 2497000 | #Constraints: 57547 3455.95/3466.73 c #Conflicts: 2498000 | #Constraints: 58547 3455.95/3466.73 c #Conflicts: 2499000 | #Constraints: 59547 3455.95/3466.73 c #Conflicts: 2500000 | #Constraints: 60549 3455.95/3466.73 c #Conflicts: 2501000 | #Constraints: 61551 3455.95/3466.73 c #Conflicts: 2502000 | #Constraints: 62552 3455.95/3466.73 c #Conflicts: 2503000 | #Constraints: 63552 3455.95/3466.73 c INPROCESSING 3455.95/3466.73 c GARBAGE COLLECT 3455.95/3466.73 c rational objective 61.1572 3508.48/3519.42 c #Conflicts: 2504000 | #Constraints: 33147 3508.48/3519.42 c #Conflicts: 2505000 | #Constraints: 34148 3508.48/3519.42 c #Conflicts: 2506000 | #Constraints: 35148 3508.48/3519.42 c #Conflicts: 2507000 | #Constraints: 36148 3508.48/3519.42 c #Conflicts: 2508000 | #Constraints: 37148 3508.48/3519.42 c #Conflicts: 2509000 | #Constraints: 38150 3508.48/3519.42 c #Conflicts: 2510000 | #Constraints: 39150 3508.48/3519.42 c #Conflicts: 2511000 | #Constraints: 40150 3508.48/3519.42 c #Conflicts: 2512000 | #Constraints: 41151 3508.48/3519.42 c #Conflicts: 2513000 | #Constraints: 42153 3508.48/3519.42 c #Conflicts: 2514000 | #Constraints: 43153 3508.48/3519.42 c #Conflicts: 2515000 | #Constraints: 44153 3508.48/3519.42 c #Conflicts: 2516000 | #Constraints: 45154 3508.48/3519.42 c #Conflicts: 2517000 | #Constraints: 46156 3508.48/3519.42 c #Conflicts: 2518000 | #Constraints: 47157 3508.48/3519.42 c #Conflicts: 2519000 | #Constraints: 48158 3508.48/3519.42 c #Conflicts: 2520000 | #Constraints: 49159 3508.48/3519.42 c #Conflicts: 2521000 | #Constraints: 50160 3508.48/3519.42 c #Conflicts: 2522000 | #Constraints: 51161 3508.48/3519.42 c #Conflicts: 2523000 | #Constraints: 52164 3508.48/3519.42 c #Conflicts: 2524000 | #Constraints: 53166 3508.48/3519.42 c #Conflicts: 2525000 | #Constraints: 54170 3508.48/3519.42 c #Conflicts: 2526000 | #Constraints: 55170 3508.48/3519.42 c #Conflicts: 2527000 | #Constraints: 56171 3508.48/3519.42 c #Conflicts: 2528000 | #Constraints: 57172 3508.48/3519.42 c #Conflicts: 2529000 | #Constraints: 58173 3508.48/3519.42 c #Conflicts: 2530000 | #Constraints: 59173 3508.48/3519.42 c #Conflicts: 2531000 | #Constraints: 60174 3508.48/3519.42 c #Conflicts: 2532000 | #Constraints: 61174 3508.48/3519.42 c #Conflicts: 2533000 | #Constraints: 62175 3508.48/3519.42 c #Conflicts: 2534000 | #Constraints: 63175 3508.48/3519.42 c #Conflicts: 2535000 | #Constraints: 64175 3508.48/3519.42 c INPROCESSING 3508.48/3519.42 c GARBAGE COLLECT 3508.48/3519.42 c rational objective 61.1572 3554.44/3565.58 c #Conflicts: 2536000 | #Constraints: 33542 3554.44/3565.58 c #Conflicts: 2537000 | #Constraints: 34543 3554.44/3565.58 c #Conflicts: 2538000 | #Constraints: 35543 3554.44/3565.58 c #Conflicts: 2539000 | #Constraints: 36543 3554.44/3565.58 c #Conflicts: 2540000 | #Constraints: 37543 3554.44/3565.58 c #Conflicts: 2541000 | #Constraints: 38543 3554.44/3565.58 c #Conflicts: 2542000 | #Constraints: 39544 3554.44/3565.58 c #Conflicts: 2543000 | #Constraints: 40547 3554.44/3565.58 c #Conflicts: 2544000 | #Constraints: 41547 3554.44/3565.58 c #Conflicts: 2545000 | #Constraints: 42548 3554.44/3565.58 c #Conflicts: 2546000 | #Constraints: 43548 3554.44/3565.58 c #Conflicts: 2547000 | #Constraints: 44549 3554.44/3565.58 c #Conflicts: 2548000 | #Constraints: 45549 3554.44/3565.58 c #Conflicts: 2549000 | #Constraints: 46551 3554.44/3565.58 c #Conflicts: 2550000 | #Constraints: 47551 3554.44/3565.58 c #Conflicts: 2551000 | #Constraints: 48551 3554.44/3565.58 c #Conflicts: 2552000 | #Constraints: 49551 3554.44/3565.58 c #Conflicts: 2553000 | #Constraints: 50551 3554.44/3565.58 c #Conflicts: 2554000 | #Constraints: 51551 3554.44/3565.58 c #Conflicts: 2555000 | #Constraints: 52552 3554.44/3565.58 c #Conflicts: 2556000 | #Constraints: 53552 3554.44/3565.58 c #Conflicts: 2557000 | #Constraints: 54553 3554.44/3565.58 c #Conflicts: 2558000 | #Constraints: 55554 3554.44/3565.58 c #Conflicts: 2559000 | #Constraints: 56555 3554.44/3565.58 c #Conflicts: 2560000 | #Constraints: 57556 3554.44/3565.58 c #Conflicts: 2561000 | #Constraints: 58558 3554.44/3565.58 c #Conflicts: 2562000 | #Constraints: 59558 3554.44/3565.58 c #Conflicts: 2563000 | #Constraints: 60559 3554.44/3565.58 c #Conflicts: 2564000 | #Constraints: 61559 3554.44/3565.58 c #Conflicts: 2565000 | #Constraints: 62560 3554.44/3565.58 c #Conflicts: 2566000 | #Constraints: 63560 3554.44/3565.58 c #Conflicts: 2567000 | #Constraints: 64560 3554.44/3565.58 c INPROCESSING 3554.44/3565.58 c GARBAGE COLLECT 3554.44/3565.58 c rational objective 61.1572 3600.02/3611.20 c #Conflicts: 2568000 | #Constraints: 33736 3600.02/3611.20 c #Conflicts: 2569000 | #Constraints: 34737 3600.02/3611.20 c #Conflicts: 2570000 | #Constraints: 35737 3600.02/3611.20 c #Conflicts: 2571000 | #Constraints: 36738 3600.02/3611.20 c #Conflicts: 2572000 | #Constraints: 37739 3600.02/3611.20 c #Conflicts: 2573000 | #Constraints: 38740 3600.02/3611.20 c #Conflicts: 2574000 | #Constraints: 39741 3600.02/3611.20 c #Conflicts: 2575000 | #Constraints: 40741 3600.02/3611.20 c #Conflicts: 2576000 | #Constraints: 41741 3600.02/3611.20 c #Conflicts: 2577000 | #Constraints: 42741 3600.02/3611.20 c #Conflicts: 2578000 | #Constraints: 43743 3600.02/3611.20 c #Conflicts: 2579000 | #Constraints: 44747 3600.02/3611.20 c #Conflicts: 2580000 | #Constraints: 45747 3600.02/3611.20 c #Conflicts: 2581000 | #Constraints: 46747 3600.02/3611.20 c #Conflicts: 2582000 | #Constraints: 47747 3600.02/3611.20 c #Conflicts: 2583000 | #Constraints: 48747 3600.02/3611.20 c #Conflicts: 2584000 | #Constraints: 49749 3600.02/3611.20 c #Conflicts: 2585000 | #Constraints: 50750 3600.02/3611.20 c #Conflicts: 2586000 | #Constraints: 51752 3600.02/3611.20 c #Conflicts: 2587000 | #Constraints: 52752 3600.02/3611.20 c #Conflicts: 2588000 | #Constraints: 53753 3600.02/3611.20 c #Conflicts: 2589000 | #Constraints: 54753 3600.02/3611.20 c #Conflicts: 2590000 | #Constraints: 55753 3600.02/3611.20 c #Conflicts: 2591000 | #Constraints: 56753 3600.02/3611.20 c #Conflicts: 2592000 | #Constraints: 57754 3600.02/3611.20 c #Conflicts: 2593000 | #Constraints: 58756 3600.02/3611.20 c #Conflicts: 2594000 | #Constraints: 59756 3600.02/3611.20 c #Conflicts: 2595000 | #Constraints: 60756 3600.02/3611.20 c #Conflicts: 2596000 | #Constraints: 61756 3600.02/3611.20 c #Conflicts: 2597000 | #Constraints: 62756 3600.02/3611.20 c #Conflicts: 2598000 | #Constraints: 63759 3600.02/3611.20 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63183 MiB free)
memory of node 1: 64473 MiB (61516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462961-1722340840/watcher-4462961-1722340840 -o /tmp/evaluation-result-4462961-1722340840/solver-4462961-1722340840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722340763-7267 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462961-1722340840 --lp-cut-gomory=0 HOME/instance-4462961-1722340840.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=7813, runsolver pid=7810
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 2.94 1.01 0.42 5/261 7814
/proc/meminfo: memFree=127687668/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=38984 memory=8852 CPUtime=0.09 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 689 0 0 0 9 0 0 0 20 0 1 0 684169 39919616 2213 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 9746 2213 1729 992 0 1604 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38984 KiB
Current children cumulated memory: 8852 KiB
[startup+0.205981 s]*
/proc/loadavg: 2.94 1.01 0.42 5/261 7814
/proc/meminfo: memFree=127682776/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=39112 memory=9976 CPUtime=0.2 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 904 0 0 0 19 1 0 0 20 0 1 0 684169 40050688 2494 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 9778 2494 1819 992 0 1636 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39112 KiB
Current children cumulated memory: 9976 KiB
[startup+0.305995 s]*
/proc/loadavg: 2.94 1.01 0.42 5/261 7814
/proc/meminfo: memFree=127679628/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=39372 memory=10844 CPUtime=0.3 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 1078 0 0 0 29 1 0 0 20 0 1 0 684169 40316928 2711 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 9843 2711 1834 992 0 1701 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39372 KiB
Current children cumulated memory: 10844 KiB
[startup+0.700233 s]
/proc/loadavg: 2.94 1.01 0.42 5/261 7814
/proc/meminfo: memFree=127663544/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=39704 memory=11588 CPUtime=0.69 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 1265 0 0 0 65 4 0 0 20 0 1 0 684169 40656896 2897 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 9926 2897 1834 992 0 1784 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 11588 KiB
[startup+1.50022 s]
/proc/loadavg: 2.94 1.01 0.42 5/261 7814
/proc/meminfo: memFree=127648596/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=40120 memory=14380 CPUtime=1.48 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 1435 0 0 0 141 7 0 0 20 0 1 0 684169 41082880 3595 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 10030 3595 1834 992 0 1888 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40120 KiB
Current children cumulated memory: 14380 KiB
[startup+3.10592 s]
/proc/loadavg: 2.94 1.01 0.42 5/261 7814
/proc/meminfo: memFree=127568572/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=40824 memory=14808 CPUtime=3.09 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 1586 0 0 0 297 12 0 0 20 0 1 0 684169 41803776 3702 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 10206 3702 1834 992 0 2064 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40824 KiB
Current children cumulated memory: 14808 KiB
[startup+6.30014 s]
/proc/loadavg: 3.03 1.06 0.44 5/261 7814
/proc/meminfo: memFree=127410536/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=41856 memory=16124 CPUtime=6.27 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 1895 0 0 0 607 20 0 0 20 0 1 0 684169 42860544 4031 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 10464 4031 1834 992 0 2322 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41856 KiB
Current children cumulated memory: 16124 KiB
[startup+12.7001 s]
/proc/loadavg: 3.19 1.12 0.46 5/261 7815
/proc/meminfo: memFree=127148764/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=45220 memory=19624 CPUtime=12.65 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 2285 0 0 0 1228 37 0 0 20 0 1 0 684169 46305280 4906 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 11305 4906 1834 992 0 3163 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45220 KiB
Current children cumulated memory: 19624 KiB
[startup+25.5002 s]
/proc/loadavg: 3.37 1.27 0.52 5/261 7828
/proc/meminfo: memFree=126741648/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=47092 memory=21324 CPUtime=25.43 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 2953 0 0 0 2477 66 0 0 20 0 1 0 684169 48222208 5331 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 11773 5331 1834 992 0 3631 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 47092 KiB
Current children cumulated memory: 21324 KiB
[startup+51.1059 s]
/proc/loadavg: 3.58 1.49 0.61 5/261 7832
/proc/meminfo: memFree=126565788/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=52684 memory=25936 CPUtime=50.97 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 3870 0 0 0 4980 117 0 0 20 0 1 0 684169 53948416 6484 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 13171 6484 1834 992 0 5029 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 52684 KiB
Current children cumulated memory: 25936 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 1.89 0.80 5/261 7841
/proc/meminfo: memFree=126101620/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=53632 memory=27820 CPUtime=102.04 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 4670 0 0 0 9997 207 0 0 20 0 1 0 684169 54919168 6955 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 13408 6955 1834 992 0 5266 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 53632 KiB
Current children cumulated memory: 27820 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 2.31 1.01 5/261 7852
/proc/meminfo: memFree=124727164/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=63952 memory=31240 CPUtime=161.89 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 6238 0 0 0 15894 295 0 0 20 0 1 0 684169 65486848 7810 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 15988 7810 1834 992 0 7846 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 63952 KiB
Current children cumulated memory: 31240 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.63 1.21 5/260 7862
/proc/meminfo: memFree=123092344/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=65460 memory=34892 CPUtime=221.7 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 7335 0 0 0 21795 375 0 0 20 0 1 0 684169 67031040 8723 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 16365 8723 1834 992 0 8223 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 65460 KiB
Current children cumulated memory: 34892 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.91 1.39 5/259 7873
/proc/meminfo: memFree=122479656/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=65752 memory=37340 CPUtime=281.52 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 8094 0 0 0 27705 447 0 0 20 0 1 0 684169 67330048 9335 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 16438 9335 1834 992 0 8296 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 65752 KiB
Current children cumulated memory: 37340 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 3.11 1.56 5/258 7884
/proc/meminfo: memFree=121885024/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=67028 memory=38552 CPUtime=341.33 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 8906 0 0 0 33620 513 0 0 20 0 1 0 684169 68636672 9638 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 16757 9638 1834 992 0 8615 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 67028 KiB
Current children cumulated memory: 38552 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.31 1.73 5/258 7894
/proc/meminfo: memFree=120687668/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=67092 memory=40796 CPUtime=401.14 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 9435 0 0 0 39529 585 0 0 20 0 1 0 684169 68702208 10199 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 16773 10199 1834 992 0 8631 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 67092 KiB
Current children cumulated memory: 40796 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.45 1.88 5/258 7905
/proc/meminfo: memFree=119042488/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=67220 memory=40872 CPUtime=460.96 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 9937 0 0 0 45444 652 0 0 20 0 1 0 684169 68833280 10218 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 16805 10218 1834 992 0 8663 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.05 5/259 9006
/proc/meminfo: memFree=64149436/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=110540 memory=69692 CPUtime=3092.7 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 24697 0 0 0 306870 2400 0 0 20 0 1 0 684169 113192960 17423 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 27635 17423 1834 992 0 19493 0
Current children cumulated CPU time: 3092.7 s
Current children cumulated vsize: 110540 KiB
Current children cumulated memory: 69692 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.05 5/259 9016
/proc/meminfo: memFree=63227568/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=111692 memory=70544 CPUtime=3152.49 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 25098 0 0 0 312821 2428 0 0 20 0 1 0 684169 114372608 17636 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 27923 17636 1834 992 0 19781 0
Current children cumulated CPU time: 3152.49 s
Current children cumulated vsize: 111692 KiB
Current children cumulated memory: 70544 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.05 5/259 9027
/proc/meminfo: memFree=62691508/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=112848 memory=71400 CPUtime=3212.31 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 25499 0 0 0 318774 2457 0 0 20 0 1 0 684169 115556352 17850 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28212 17850 1834 992 0 20070 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 112848 KiB
Current children cumulated memory: 71400 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.06 5/261 9421
/proc/meminfo: memFree=62271300/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=112988 memory=71400 CPUtime=3272.12 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 25508 0 0 0 324733 2479 0 0 20 0 1 0 684169 115699712 17850 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28247 17850 1834 992 0 20105 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 112988 KiB
Current children cumulated memory: 71400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/259 9431
/proc/meminfo: memFree=61697348/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=113232 memory=71780 CPUtime=3331.93 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 25788 0 0 0 330687 2506 0 0 20 0 1 0 684169 115949568 17945 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28308 17945 1834 992 0 20166 0
Current children cumulated CPU time: 3331.93 s
Current children cumulated vsize: 113232 KiB
Current children cumulated memory: 71780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.05 5/259 9441
/proc/meminfo: memFree=61234944/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=113360 memory=71928 CPUtime=3391.75 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 25983 0 0 0 336636 2539 0 0 20 0 1 0 684169 116080640 17982 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28340 17982 1834 992 0 20198 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 113360 KiB
Current children cumulated memory: 71928 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/261 9623
/proc/meminfo: memFree=60757280/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=113872 memory=72424 CPUtime=3451.56 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 26296 0 0 0 342578 2578 0 0 20 0 1 0 684169 116604928 18106 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28468 18106 1834 992 0 20326 0
Current children cumulated CPU time: 3451.56 s
Current children cumulated vsize: 113872 KiB
Current children cumulated memory: 72424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.14 4.07 5/261 9633
/proc/meminfo: memFree=60343008/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=113876 memory=72436 CPUtime=3511.37 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 26678 0 0 0 348522 2615 0 0 20 0 1 0 684169 116609024 18109 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28469 18109 1834 992 0 20327 0
Current children cumulated CPU time: 3511.37 s
Current children cumulated vsize: 113876 KiB
Current children cumulated memory: 72436 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.08 3/256 9812
/proc/meminfo: memFree=127992768/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=113876 memory=75776 CPUtime=3571.19 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 26891 0 0 0 354463 2656 0 0 20 0 1 0 684169 116609024 18944 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28469 18944 1834 992 0 20327 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 113876 KiB
Current children cumulated memory: 75776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.17 4.15 4.08 5/261 10025
/proc/meminfo: memFree=127552708/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=113876 memory=75776 CPUtime=3600.02 cores=4,6
/proc/7813/stat : 7813 (roundingsat) R 7810 7813 7255 0 -1 4194304 26928 0 0 0 357331 2671 0 0 20 0 1 0 684169 116609024 18944 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28469 18944 1834 992 0 20327 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 113876 KiB
Current children cumulated memory: 75776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.17 4.15 4.08 4/261 10025
/proc/meminfo: memFree=127540072/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=113876 memory=75776 CPUtime=3600.02 cores=4,6
/proc/7813/stat : 7813 (roundingsat) D 7810 7813 7255 0 -1 4194304 26934 0 0 0 357331 2671 0 0 20 0 1 0 684169 116609024 18944 134679101440 4194304 8255733 140723046274928 0 0 256 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28469 18944 1834 992 0 20327 0
??? kill 7813 sig 9
??? end of watcher thread
[startup+3615.57 s]
# the end of solver process 7813 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.31 s, system=26.7136 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612 s]*
/proc/loadavg: 4.17 4.15 4.08 4/261 10025
/proc/meminfo: memFree=127548460/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=113876 memory=75776 CPUtime=3600.02 cores=4,6
/proc/7813/stat : 7813 (roundingsat) D 7810 7813 7255 0 -1 4194304 26934 0 0 0 357331 2671 0 0 20 0 1 0 684169 116609024 18944 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28469 18944 1834 992 0 20327 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 113876 KiB
Current children cumulated memory: 75776 KiB
[startup+3612.8 s]
/proc/loadavg: 4.17 4.15 4.08 4/261 10025
/proc/meminfo: memFree=127548460/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=113876 memory=75776 CPUtime=3600.02 cores=4,6
/proc/7813/stat : 7813 (roundingsat) D 7810 7813 7255 0 -1 4194304 26934 0 0 0 357331 2671 0 0 20 0 1 0 684169 116609024 18944 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28469 18944 1834 992 0 20327 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 113876 KiB
Current children cumulated memory: 75776 KiB
[startup+3613.2 s]
/proc/loadavg: 4.17 4.15 4.08 4/261 10025
/proc/meminfo: memFree=127541332/131524600 swapFree=131071996/131071996
[pid=7813] ppid=7810 vsize=113876 memory=75776 CPUtime=3600.02 cores=4,6
/proc/7813/stat : 7813 (roundingsat) D 7810 7813 7255 0 -1 4194304 26934 0 0 0 357331 2671 0 0 20 0 1 0 684169 116609024 18944 134679101440 4194304 8255733 140723046274928 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 16982016 140723046277982 140723046278244 140723046278244 140723046285257 0
/proc/7813/statm: 28469 18944 1834 992 0 20327 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 113876 KiB
Current children cumulated memory: 75776 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.57
CPU time (s): 3600.03
CPU user time (s): 3573.31
CPU system time (s): 26.7136
CPU usage (%): 99.57
Max. virtual memory (cumulated for all children) (KiB): 113876
Max. memory (cumulated for all children) (KiB): 75776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.31
system time used= 26.7136
maximum resident set size= 76124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3494416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 4817
# summary of solver processes directly reported to runsolver:
# pid: 7813
# total CPU time (s): 3600.03
# total CPU user time (s): 3573.31
# total CPU system time (s): 26.7136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.94466 second user time and 17.3156 second system time
The end
Begin job on nodeC026 at 2024-07-30 14:00:40 IDJOB=4462961 IDBENCH=147873 IDSOLVER=3089 FILE ID=nodeC026/4462961-1722340840 RUNJOBID= nodeC026-1722340763-7267 SLURM_JOB_ID= 8248999 Free space on /tmp= 890032 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army12.21bt.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-4462961-1722340840/watcher-4462961-1722340840 -o /tmp/evaluation-result-4462961-1722340840/solver-4462961-1722340840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722340763-7267 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462961-1722340840 --lp-cut-gomory=0 HOME/instance-4462961-1722340840.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8150ec280d22960cf2e4079d2206c8ae RANDOM SEED=1693611426 nodeC026.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 : 3662.855 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.59 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 : 3671.714 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.70 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 : 3601.331 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.59 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.331 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.70 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 : 3638.674 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.59 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 : 3671.757 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.70 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 : 3657.389 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.654 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127695388 kB MemAvailable: 128641872 kB Buffers: 40376 kB Cached: 1743408 kB SwapCached: 0 kB Active: 166004 kB Inactive: 3192172 kB Active(anon): 1520 kB Inactive(anon): 1594288 kB Active(file): 164484 kB Inactive(file): 1597884 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 199624 kB Writeback: 180 kB AnonPages: 1574212 kB Mapped: 98100 kB Shmem: 21336 kB KReclaimable: 47876 kB Slab: 131032 kB SReclaimable: 47876 kB SUnreclaim: 83156 kB KernelStack: 4240 kB PageTables: 12012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2029200 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 583680 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: 178900 kB DirectMap2M: 10080256 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890040 MiB End job on nodeC026 at 2024-07-30 15:00:55