| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | SAT | 3131.99 | 3139.8 |
| Name | PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round21-4.opb |
| MD5SUM | f504409cca969bd8c5b41a512643c0a3 |
| 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 | 13.3119 |
| 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 | 3968 |
| Total number of constraints | 7904 |
| Number of constraints which are clauses | 6656 |
| Number of constraints which are cardinality constraints (but not clauses) | 416 |
| Number of constraints which are nor clauses,nor cardinality constraints | 832 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 10 |
| 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 | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 14 |
| Number of bits of the biggest sum of numbers | 4 |
| 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.04 c #variables 3968 #constraints 8248 4.67/4.72 c #Conflicts: 1000 | #Constraints: 9247 4.67/4.72 c #Conflicts: 2000 | #Constraints: 10247 4.67/4.72 c INPROCESSING 4.67/4.72 c GARBAGE COLLECT 4.67/4.72 c #Conflicts: 3000 | #Constraints: 9187 4.67/4.72 c #Conflicts: 4000 | #Constraints: 10187 4.67/4.72 c INPROCESSING 4.67/4.72 c GARBAGE COLLECT 4.67/4.72 c #Conflicts: 5000 | #Constraints: 9649 4.67/4.72 c #Conflicts: 6000 | #Constraints: 10649 4.67/4.72 c INPROCESSING 4.67/4.72 c GARBAGE COLLECT 4.67/4.72 c #Conflicts: 7000 | #Constraints: 9684 4.67/4.72 c #Conflicts: 8000 | #Constraints: 10684 4.67/4.72 c #Conflicts: 9000 | #Constraints: 11684 4.67/4.72 c INPROCESSING 4.67/4.72 c GARBAGE COLLECT 4.67/4.72 c rational objective 644.61 5.37/5.45 c #Conflicts: 10000 | #Constraints: 10424 5.37/5.45 c #Conflicts: 11000 | #Constraints: 11424 5.37/5.45 c #Conflicts: 12000 | #Constraints: 12424 5.37/5.45 c INPROCESSING 5.37/5.45 c GARBAGE COLLECT 5.37/5.45 c rational objective 697.262 6.16/6.21 c #Conflicts: 13000 | #Constraints: 10916 6.16/6.21 c #Conflicts: 14000 | #Constraints: 11916 6.16/6.21 c #Conflicts: 15000 | #Constraints: 12916 6.16/6.21 c INPROCESSING 6.16/6.21 c GARBAGE COLLECT 6.16/6.21 c rational objective 716.091 11.55/11.62 c #Conflicts: 16000 | #Constraints: 11154 11.55/11.62 c #Conflicts: 17000 | #Constraints: 12154 11.55/11.62 c #Conflicts: 18000 | #Constraints: 13154 11.55/11.62 c INPROCESSING 11.55/11.62 c GARBAGE COLLECT 11.55/11.62 c #Conflicts: 19000 | #Constraints: 11192 11.55/11.62 c #Conflicts: 20000 | #Constraints: 12192 11.55/11.62 c #Conflicts: 21000 | #Constraints: 13192 11.55/11.62 c INPROCESSING 11.55/11.62 c GARBAGE COLLECT 11.55/11.62 c rational objective 734.376 17.14/17.27 c #Conflicts: 22000 | #Constraints: 11017 17.14/17.27 c #Conflicts: 23000 | #Constraints: 12017 17.14/17.27 c #Conflicts: 24000 | #Constraints: 13017 17.14/17.27 c #Conflicts: 25000 | #Constraints: 14017 17.14/17.27 c INPROCESSING 17.14/17.27 c GARBAGE COLLECT 17.14/17.27 c #Conflicts: 26000 | #Constraints: 11634 17.14/17.27 c #Conflicts: 27000 | #Constraints: 12634 17.14/17.27 c #Conflicts: 28000 | #Constraints: 13634 17.14/17.27 c #Conflicts: 29000 | #Constraints: 14634 17.14/17.27 c INPROCESSING 17.14/17.27 c GARBAGE COLLECT 17.14/17.27 c #Conflicts: 30000 | #Constraints: 12060 17.14/17.27 c #Conflicts: 31000 | #Constraints: 13060 17.14/17.27 c #Conflicts: 32000 | #Constraints: 14060 17.14/17.27 c #Conflicts: 33000 | #Constraints: 15060 17.14/17.27 c INPROCESSING 17.14/17.27 c GARBAGE COLLECT 17.14/17.27 c rational objective 749.14 23.94/24.06 c #Conflicts: 34000 | #Constraints: 12280 23.94/24.06 c #Conflicts: 35000 | #Constraints: 13280 23.94/24.06 c #Conflicts: 36000 | #Constraints: 14280 23.94/24.06 c #Conflicts: 37000 | #Constraints: 15280 23.94/24.06 c INPROCESSING 23.94/24.06 c GARBAGE COLLECT 23.94/24.06 c #Conflicts: 38000 | #Constraints: 12287 23.94/24.06 c #Conflicts: 39000 | #Constraints: 13287 23.94/24.06 c #Conflicts: 40000 | #Constraints: 14287 23.94/24.06 c #Conflicts: 41000 | #Constraints: 15287 23.94/24.06 c INPROCESSING 23.94/24.06 c GARBAGE COLLECT 23.94/24.06 c #Conflicts: 42000 | #Constraints: 12072 23.94/24.06 c #Conflicts: 43000 | #Constraints: 13072 23.94/24.06 c #Conflicts: 44000 | #Constraints: 14072 23.94/24.06 c #Conflicts: 45000 | #Constraints: 15072 23.94/24.06 c #Conflicts: 46000 | #Constraints: 16072 23.94/24.06 c INPROCESSING 23.94/24.06 c GARBAGE COLLECT 23.94/24.06 c rational objective 755.11 32.40/32.52 c #Conflicts: 47000 | #Constraints: 12681 32.40/32.52 c #Conflicts: 48000 | #Constraints: 13681 32.40/32.52 c #Conflicts: 49000 | #Constraints: 14681 32.40/32.52 c #Conflicts: 50000 | #Constraints: 15681 32.40/32.52 c #Conflicts: 51000 | #Constraints: 16681 32.40/32.52 c INPROCESSING 32.40/32.52 c GARBAGE COLLECT 32.40/32.52 c #Conflicts: 52000 | #Constraints: 13106 32.40/32.52 c #Conflicts: 53000 | #Constraints: 14106 32.40/32.52 c #Conflicts: 54000 | #Constraints: 15106 32.40/32.52 c #Conflicts: 55000 | #Constraints: 16106 32.40/32.52 c #Conflicts: 56000 | #Constraints: 17106 32.40/32.52 c INPROCESSING 32.40/32.52 c GARBAGE COLLECT 32.40/32.52 c #Conflicts: 57000 | #Constraints: 13307 32.40/32.52 c #Conflicts: 58000 | #Constraints: 14307 32.40/32.52 c #Conflicts: 59000 | #Constraints: 15307 32.40/32.52 c #Conflicts: 60000 | #Constraints: 16307 32.40/32.52 c #Conflicts: 61000 | #Constraints: 17307 32.40/32.52 c INPROCESSING 32.40/32.52 c GARBAGE COLLECT 32.40/32.52 c rational objective 763.12 40.58/40.75 c #Conflicts: 62000 | #Constraints: 13318 40.58/40.75 c #Conflicts: 63000 | #Constraints: 14318 40.58/40.75 c #Conflicts: 64000 | #Constraints: 15318 40.58/40.75 c #Conflicts: 65000 | #Constraints: 16318 40.58/40.75 c #Conflicts: 66000 | #Constraints: 17318 40.58/40.75 c INPROCESSING 40.58/40.75 c GARBAGE COLLECT 40.58/40.75 c #Conflicts: 67000 | #Constraints: 13132 40.58/40.75 c #Conflicts: 68000 | #Constraints: 14132 40.58/40.75 c #Conflicts: 69000 | #Constraints: 15132 40.58/40.75 c #Conflicts: 70000 | #Constraints: 16132 40.58/40.75 c #Conflicts: 71000 | #Constraints: 17132 40.58/40.75 c #Conflicts: 72000 | #Constraints: 18132 40.58/40.75 c INPROCESSING 40.58/40.75 c GARBAGE COLLECT 40.58/40.75 c rational objective 767.157 47.66/47.89 c #Conflicts: 73000 | #Constraints: 13720 47.66/47.89 c #Conflicts: 74000 | #Constraints: 14720 47.66/47.89 c #Conflicts: 75000 | #Constraints: 15720 47.66/47.89 c #Conflicts: 76000 | #Constraints: 16720 47.66/47.89 c #Conflicts: 77000 | #Constraints: 17720 47.66/47.89 c #Conflicts: 78000 | #Constraints: 18720 47.66/47.89 c INPROCESSING 47.66/47.89 c GARBAGE COLLECT 47.66/47.89 c #Conflicts: 79000 | #Constraints: 14136 47.66/47.89 c #Conflicts: 80000 | #Constraints: 15136 47.66/47.89 c #Conflicts: 81000 | #Constraints: 16136 47.66/47.89 c #Conflicts: 82000 | #Constraints: 17136 47.66/47.89 c #Conflicts: 83000 | #Constraints: 18136 47.66/47.89 c #Conflicts: 84000 | #Constraints: 19136 47.66/47.89 c INPROCESSING 47.66/47.89 c GARBAGE COLLECT 47.66/47.89 c rational objective 768.965 50.25/50.46 c #Conflicts: 85000 | #Constraints: 14347 50.25/50.46 c #Conflicts: 86000 | #Constraints: 15347 50.25/50.46 c #Conflicts: 87000 | #Constraints: 16347 50.25/50.46 c #Conflicts: 88000 | #Constraints: 17347 50.25/50.46 c #Conflicts: 89000 | #Constraints: 18347 50.25/50.46 c #Conflicts: 90000 | #Constraints: 19347 50.25/50.46 c INPROCESSING 50.25/50.46 c GARBAGE COLLECT 50.25/50.46 c rational objective 773.287 55.63/55.88 c #Conflicts: 91000 | #Constraints: 14347 55.63/55.88 c #Conflicts: 92000 | #Constraints: 15347 55.63/55.88 c #Conflicts: 93000 | #Constraints: 16347 55.63/55.88 c #Conflicts: 94000 | #Constraints: 17347 55.63/55.88 c #Conflicts: 95000 | #Constraints: 18347 55.63/55.88 c #Conflicts: 96000 | #Constraints: 19347 55.63/55.88 c INPROCESSING 55.63/55.88 c GARBAGE COLLECT 55.63/55.88 c rational objective 776.029 60.94/61.15 c #Conflicts: 97000 | #Constraints: 14155 60.94/61.15 c #Conflicts: 98000 | #Constraints: 15155 60.94/61.15 c #Conflicts: 99000 | #Constraints: 16155 60.94/61.15 c #Conflicts: 100000 | #Constraints: 17155 60.94/61.15 c #Conflicts: 101000 | #Constraints: 18155 60.94/61.15 c #Conflicts: 102000 | #Constraints: 19155 60.94/61.15 c #Conflicts: 103000 | #Constraints: 20155 60.94/61.15 c INPROCESSING 60.94/61.15 c GARBAGE COLLECT 60.94/61.15 c rational objective 777.131 71.70/71.95 c #Conflicts: 104000 | #Constraints: 14764 71.70/71.95 c #Conflicts: 105000 | #Constraints: 15764 71.70/71.95 c #Conflicts: 106000 | #Constraints: 16764 71.70/71.95 c #Conflicts: 107000 | #Constraints: 17764 71.70/71.95 c #Conflicts: 108000 | #Constraints: 18764 71.70/71.95 c #Conflicts: 109000 | #Constraints: 19764 71.70/71.95 c #Conflicts: 110000 | #Constraints: 20764 71.70/71.95 c INPROCESSING 71.70/71.95 c GARBAGE COLLECT 71.70/71.95 c #Conflicts: 111000 | #Constraints: 15150 71.70/71.95 c #Conflicts: 112000 | #Constraints: 16150 71.70/71.95 c #Conflicts: 113000 | #Constraints: 17150 71.70/71.95 c #Conflicts: 114000 | #Constraints: 18150 71.70/71.95 c #Conflicts: 115000 | #Constraints: 19150 71.70/71.95 c #Conflicts: 116000 | #Constraints: 20150 71.70/71.95 c #Conflicts: 117000 | #Constraints: 21150 71.70/71.95 c INPROCESSING 71.70/71.95 c GARBAGE COLLECT 71.70/71.95 c rational objective 778.313 80.68/80.97 c #Conflicts: 118000 | #Constraints: 15356 80.68/80.97 c #Conflicts: 119000 | #Constraints: 16356 80.68/80.97 c #Conflicts: 120000 | #Constraints: 17356 80.68/80.97 c #Conflicts: 121000 | #Constraints: 18356 80.68/80.97 c #Conflicts: 122000 | #Constraints: 19356 80.68/80.97 c #Conflicts: 123000 | #Constraints: 20356 80.68/80.97 c #Conflicts: 124000 | #Constraints: 21356 80.68/80.97 c INPROCESSING 80.68/80.97 c GARBAGE COLLECT 80.68/80.97 c #Conflicts: 125000 | #Constraints: 15381 80.68/80.97 c #Conflicts: 126000 | #Constraints: 16381 80.68/80.97 c #Conflicts: 127000 | #Constraints: 17381 80.68/80.97 c #Conflicts: 128000 | #Constraints: 18381 80.68/80.97 c #Conflicts: 129000 | #Constraints: 19381 80.68/80.97 c #Conflicts: 130000 | #Constraints: 20381 80.68/80.97 c #Conflicts: 131000 | #Constraints: 21381 80.68/80.97 c INPROCESSING 80.68/80.97 c GARBAGE COLLECT 80.68/80.97 c rational objective 778.834 87.65/87.93 c #Conflicts: 132000 | #Constraints: 15175 87.65/87.93 c #Conflicts: 133000 | #Constraints: 16175 87.65/87.93 c #Conflicts: 134000 | #Constraints: 17175 87.65/87.93 c #Conflicts: 135000 | #Constraints: 18175 87.65/87.93 c #Conflicts: 136000 | #Constraints: 19175 87.65/87.93 c #Conflicts: 137000 | #Constraints: 20175 87.65/87.93 c #Conflicts: 138000 | #Constraints: 21175 87.65/87.93 c #Conflicts: 139000 | #Constraints: 22175 87.65/87.93 c INPROCESSING 87.65/87.93 c GARBAGE COLLECT 87.65/87.93 c rational objective 780.031 97.93/98.27 c #Conflicts: 140000 | #Constraints: 15778 97.93/98.27 c #Conflicts: 141000 | #Constraints: 16778 97.93/98.27 c #Conflicts: 142000 | #Constraints: 17778 97.93/98.27 c #Conflicts: 143000 | #Constraints: 18778 97.93/98.27 c #Conflicts: 144000 | #Constraints: 19778 97.93/98.27 c #Conflicts: 145000 | #Constraints: 20778 97.93/98.27 c #Conflicts: 146000 | #Constraints: 21778 97.93/98.27 c #Conflicts: 147000 | #Constraints: 22778 97.93/98.27 c INPROCESSING 97.93/98.27 c GARBAGE COLLECT 97.93/98.27 c #Conflicts: 148000 | #Constraints: 16197 97.93/98.27 c #Conflicts: 149000 | #Constraints: 17197 97.93/98.27 c #Conflicts: 150000 | #Constraints: 18197 97.93/98.27 c #Conflicts: 151000 | #Constraints: 19197 97.93/98.27 c #Conflicts: 152000 | #Constraints: 20197 97.93/98.27 c #Conflicts: 153000 | #Constraints: 21197 97.93/98.27 c #Conflicts: 154000 | #Constraints: 22197 97.93/98.27 c #Conflicts: 155000 | #Constraints: 23197 97.93/98.27 c INPROCESSING 97.93/98.27 c GARBAGE COLLECT 97.93/98.27 c rational objective 781.305 105.90/106.22 c #Conflicts: 156000 | #Constraints: 16405 105.90/106.22 c #Conflicts: 157000 | #Constraints: 17405 105.90/106.22 c #Conflicts: 158000 | #Constraints: 18405 105.90/106.22 c #Conflicts: 159000 | #Constraints: 19405 105.90/106.22 c #Conflicts: 160000 | #Constraints: 20405 105.90/106.22 c #Conflicts: 161000 | #Constraints: 21405 105.90/106.22 c #Conflicts: 162000 | #Constraints: 22405 105.90/106.22 c #Conflicts: 163000 | #Constraints: 23405 105.90/106.22 c INPROCESSING 105.90/106.22 c GARBAGE COLLECT 105.90/106.22 c rational objective 784.972 117.68/118.01 c #Conflicts: 164000 | #Constraints: 16400 117.68/118.01 c #Conflicts: 165000 | #Constraints: 17400 117.68/118.01 c #Conflicts: 166000 | #Constraints: 18400 117.68/118.01 c #Conflicts: 167000 | #Constraints: 19400 117.68/118.01 c #Conflicts: 168000 | #Constraints: 20400 117.68/118.01 c #Conflicts: 169000 | #Constraints: 21400 117.68/118.01 c #Conflicts: 170000 | #Constraints: 22400 117.68/118.01 c #Conflicts: 171000 | #Constraints: 23400 117.68/118.01 c INPROCESSING 117.68/118.01 c GARBAGE COLLECT 117.68/118.01 c #Conflicts: 172000 | #Constraints: 16197 117.68/118.01 c #Conflicts: 173000 | #Constraints: 17197 117.68/118.01 c #Conflicts: 174000 | #Constraints: 18197 117.68/118.01 c #Conflicts: 175000 | #Constraints: 19197 117.68/118.01 c #Conflicts: 176000 | #Constraints: 20197 117.68/118.01 c #Conflicts: 177000 | #Constraints: 21197 117.68/118.01 c #Conflicts: 178000 | #Constraints: 22197 117.68/118.01 c #Conflicts: 179000 | #Constraints: 23197 117.68/118.01 c #Conflicts: 180000 | #Constraints: 24197 117.68/118.01 c INPROCESSING 117.68/118.01 c GARBAGE COLLECT 117.68/118.01 c rational objective 785.183 125.25/125.64 c #Conflicts: 181000 | #Constraints: 16812 125.25/125.64 c #Conflicts: 182000 | #Constraints: 17812 125.25/125.64 c #Conflicts: 183000 | #Constraints: 18812 125.25/125.64 c #Conflicts: 184000 | #Constraints: 19812 125.25/125.64 c #Conflicts: 185000 | #Constraints: 20812 125.25/125.64 c #Conflicts: 186000 | #Constraints: 21812 125.25/125.64 c #Conflicts: 187000 | #Constraints: 22812 125.25/125.64 c #Conflicts: 188000 | #Constraints: 23812 125.25/125.64 c #Conflicts: 189000 | #Constraints: 24812 125.25/125.64 c INPROCESSING 125.25/125.64 c GARBAGE COLLECT 125.25/125.64 c rational objective 786.326 139.81/140.29 c #Conflicts: 190000 | #Constraints: 17210 139.81/140.29 c #Conflicts: 191000 | #Constraints: 18210 139.81/140.29 c #Conflicts: 192000 | #Constraints: 19210 139.81/140.29 c #Conflicts: 193000 | #Constraints: 20210 139.81/140.29 c #Conflicts: 194000 | #Constraints: 21210 139.81/140.29 c #Conflicts: 195000 | #Constraints: 22210 139.81/140.29 c #Conflicts: 196000 | #Constraints: 23210 139.81/140.29 c #Conflicts: 197000 | #Constraints: 24210 139.81/140.29 c #Conflicts: 198000 | #Constraints: 25210 139.81/140.29 c INPROCESSING 139.81/140.29 c GARBAGE COLLECT 139.81/140.29 c #Conflicts: 199000 | #Constraints: 17414 139.81/140.29 c #Conflicts: 200000 | #Constraints: 18414 139.81/140.29 c #Conflicts: 201000 | #Constraints: 19414 139.81/140.29 c #Conflicts: 202000 | #Constraints: 20414 139.81/140.29 c #Conflicts: 203000 | #Constraints: 21414 139.81/140.29 c #Conflicts: 204000 | #Constraints: 22414 139.81/140.29 c #Conflicts: 205000 | #Constraints: 23414 139.81/140.29 c #Conflicts: 206000 | #Constraints: 24414 139.81/140.29 c #Conflicts: 207000 | #Constraints: 25414 139.81/140.29 c INPROCESSING 139.81/140.29 c GARBAGE COLLECT 139.81/140.29 c rational objective 786.443 148.60/149.04 c #Conflicts: 208000 | #Constraints: 17437 148.60/149.04 c #Conflicts: 209000 | #Constraints: 18437 148.60/149.04 c #Conflicts: 210000 | #Constraints: 19437 148.60/149.04 c #Conflicts: 211000 | #Constraints: 20437 148.60/149.04 c #Conflicts: 212000 | #Constraints: 21437 148.60/149.04 c #Conflicts: 213000 | #Constraints: 22437 148.60/149.04 c #Conflicts: 214000 | #Constraints: 23437 148.60/149.04 c #Conflicts: 215000 | #Constraints: 24437 148.60/149.04 c #Conflicts: 216000 | #Constraints: 25437 148.60/149.04 c INPROCESSING 148.60/149.04 c GARBAGE COLLECT 148.60/149.04 c rational objective 788.461 156.36/156.87 c #Conflicts: 217000 | #Constraints: 17227 156.36/156.87 c #Conflicts: 218000 | #Constraints: 18227 156.36/156.87 c #Conflicts: 219000 | #Constraints: 19227 156.36/156.87 c #Conflicts: 220000 | #Constraints: 20227 156.36/156.87 c #Conflicts: 221000 | #Constraints: 21227 156.36/156.87 c #Conflicts: 222000 | #Constraints: 22227 156.36/156.87 c #Conflicts: 223000 | #Constraints: 23227 156.36/156.87 c #Conflicts: 224000 | #Constraints: 24227 156.36/156.87 c #Conflicts: 225000 | #Constraints: 25227 156.36/156.87 c #Conflicts: 226000 | #Constraints: 26227 156.36/156.87 c INPROCESSING 156.36/156.87 c GARBAGE COLLECT 156.36/156.87 c rational objective 789.065 172.53/173.05 c #Conflicts: 227000 | #Constraints: 17814 172.53/173.05 c #Conflicts: 228000 | #Constraints: 18814 172.53/173.05 c #Conflicts: 229000 | #Constraints: 19814 172.53/173.05 c #Conflicts: 230000 | #Constraints: 20814 172.53/173.05 c #Conflicts: 231000 | #Constraints: 21814 172.53/173.05 c #Conflicts: 232000 | #Constraints: 22814 172.53/173.05 c #Conflicts: 233000 | #Constraints: 23814 172.53/173.05 c #Conflicts: 234000 | #Constraints: 24814 172.53/173.05 c #Conflicts: 235000 | #Constraints: 25814 172.53/173.05 c #Conflicts: 236000 | #Constraints: 26814 172.53/173.05 c INPROCESSING 172.53/173.05 c GARBAGE COLLECT 172.53/173.05 c #Conflicts: 237000 | #Constraints: 18225 172.53/173.05 c #Conflicts: 238000 | #Constraints: 19225 172.53/173.05 c #Conflicts: 239000 | #Constraints: 20225 172.53/173.05 c #Conflicts: 240000 | #Constraints: 21225 172.53/173.05 c #Conflicts: 241000 | #Constraints: 22226 172.53/173.05 c #Conflicts: 242000 | #Constraints: 23226 172.53/173.05 c #Conflicts: 243000 | #Constraints: 24226 172.53/173.05 c #Conflicts: 244000 | #Constraints: 25226 172.53/173.05 c #Conflicts: 245000 | #Constraints: 26226 172.53/173.05 c #Conflicts: 246000 | #Constraints: 27226 172.53/173.05 c INPROCESSING 172.53/173.05 c GARBAGE COLLECT 172.53/173.05 c rational objective 789.895 182.09/182.63 c #Conflicts: 247000 | #Constraints: 18413 182.09/182.63 c #Conflicts: 248000 | #Constraints: 19413 182.09/182.63 c #Conflicts: 249000 | #Constraints: 20413 182.09/182.63 c #Conflicts: 250000 | #Constraints: 21413 182.09/182.63 c #Conflicts: 251000 | #Constraints: 22413 182.09/182.63 c #Conflicts: 252000 | #Constraints: 23413 182.09/182.63 c #Conflicts: 253000 | #Constraints: 24413 182.09/182.63 c #Conflicts: 254000 | #Constraints: 25413 182.09/182.63 c #Conflicts: 255000 | #Constraints: 26413 182.09/182.63 c #Conflicts: 256000 | #Constraints: 27413 182.09/182.63 c INPROCESSING 182.09/182.63 c GARBAGE COLLECT 182.09/182.63 c rational objective 791.488 192.67/193.23 c #Conflicts: 257000 | #Constraints: 18406 192.67/193.23 c #Conflicts: 258000 | #Constraints: 19406 192.67/193.23 c #Conflicts: 259000 | #Constraints: 20406 192.67/193.23 c #Conflicts: 260000 | #Constraints: 21406 192.67/193.23 c #Conflicts: 261000 | #Constraints: 22406 192.67/193.23 c #Conflicts: 262000 | #Constraints: 23406 192.67/193.23 c #Conflicts: 263000 | #Constraints: 24406 192.67/193.23 c #Conflicts: 264000 | #Constraints: 25406 192.67/193.23 c #Conflicts: 265000 | #Constraints: 26406 192.67/193.23 c #Conflicts: 266000 | #Constraints: 27406 192.67/193.23 c INPROCESSING 192.67/193.23 c GARBAGE COLLECT 192.67/193.23 c rational objective 791.733 202.55/203.12 c #Conflicts: 267000 | #Constraints: 18209 202.55/203.12 c #Conflicts: 268000 | #Constraints: 19209 202.55/203.12 c #Conflicts: 269000 | #Constraints: 20209 202.55/203.12 c #Conflicts: 270000 | #Constraints: 21209 202.55/203.12 c #Conflicts: 271000 | #Constraints: 22209 202.55/203.12 c #Conflicts: 272000 | #Constraints: 23209 202.55/203.12 c #Conflicts: 273000 | #Constraints: 24209 202.55/203.12 c #Conflicts: 274000 | #Constraints: 25209 202.55/203.12 c #Conflicts: 275000 | #Constraints: 26209 202.55/203.12 c #Conflicts: 276000 | #Constraints: 27209 202.55/203.12 c #Conflicts: 277000 | #Constraints: 28209 202.55/203.12 c INPROCESSING 202.55/203.12 c GARBAGE COLLECT 202.55/203.12 c rational objective 791.968 213.52/214.12 c #Conflicts: 278000 | #Constraints: 18838 213.52/214.12 c #Conflicts: 279000 | #Constraints: 19838 213.52/214.12 c #Conflicts: 280000 | #Constraints: 20838 213.52/214.12 c #Conflicts: 281000 | #Constraints: 21838 213.52/214.12 c #Conflicts: 282000 | #Constraints: 22838 213.52/214.12 c #Conflicts: 283000 | #Constraints: 23838 213.52/214.12 c #Conflicts: 284000 | #Constraints: 24838 213.52/214.12 c #Conflicts: 285000 | #Constraints: 25838 213.52/214.12 c #Conflicts: 286000 | #Constraints: 26838 213.52/214.12 c #Conflicts: 287000 | #Constraints: 27838 213.52/214.12 c #Conflicts: 288000 | #Constraints: 28838 213.52/214.12 c INPROCESSING 213.52/214.12 c GARBAGE COLLECT 213.52/214.12 c rational objective 792.248 232.46/233.16 c #Conflicts: 289000 | #Constraints: 19251 232.46/233.16 c #Conflicts: 290000 | #Constraints: 20251 232.46/233.16 c #Conflicts: 291000 | #Constraints: 21251 232.46/233.16 c #Conflicts: 292000 | #Constraints: 22251 232.46/233.16 c #Conflicts: 293000 | #Constraints: 23251 232.46/233.16 c #Conflicts: 294000 | #Constraints: 24251 232.46/233.16 c #Conflicts: 295000 | #Constraints: 25251 232.46/233.16 c #Conflicts: 296000 | #Constraints: 26251 232.46/233.16 c #Conflicts: 297000 | #Constraints: 27251 232.46/233.16 c #Conflicts: 298000 | #Constraints: 28251 232.46/233.16 c #Conflicts: 299000 | #Constraints: 29251 232.46/233.16 c INPROCESSING 232.46/233.16 c GARBAGE COLLECT 232.46/233.16 c #Conflicts: 300000 | #Constraints: 19450 232.46/233.16 c #Conflicts: 301000 | #Constraints: 20450 232.46/233.16 c #Conflicts: 302000 | #Constraints: 21450 232.46/233.16 c #Conflicts: 303000 | #Constraints: 22450 232.46/233.16 c #Conflicts: 304000 | #Constraints: 23450 232.46/233.16 c #Conflicts: 305000 | #Constraints: 24450 232.46/233.16 c #Conflicts: 306000 | #Constraints: 25450 232.46/233.16 c #Conflicts: 307000 | #Constraints: 26450 232.46/233.16 c #Conflicts: 308000 | #Constraints: 27450 232.46/233.16 c #Conflicts: 309000 | #Constraints: 28450 232.46/233.16 c #Conflicts: 310000 | #Constraints: 29450 232.46/233.16 c INPROCESSING 232.46/233.16 c GARBAGE COLLECT 232.46/233.16 c rational objective 794.014 243.72/244.41 c #Conflicts: 311000 | #Constraints: 19434 243.72/244.41 c #Conflicts: 312000 | #Constraints: 20434 243.72/244.41 c #Conflicts: 313000 | #Constraints: 21434 243.72/244.41 c #Conflicts: 314000 | #Constraints: 22434 243.72/244.41 c #Conflicts: 315000 | #Constraints: 23434 243.72/244.41 c #Conflicts: 316000 | #Constraints: 24434 243.72/244.41 c #Conflicts: 317000 | #Constraints: 25434 243.72/244.41 c #Conflicts: 318000 | #Constraints: 26434 243.72/244.41 c #Conflicts: 319000 | #Constraints: 27434 243.72/244.41 c #Conflicts: 320000 | #Constraints: 28434 243.72/244.41 c #Conflicts: 321000 | #Constraints: 29434 243.72/244.41 c INPROCESSING 243.72/244.41 c GARBAGE COLLECT 243.72/244.41 c rational objective 795.026 256.17/256.90 c #Conflicts: 322000 | #Constraints: 19246 256.17/256.90 c #Conflicts: 323000 | #Constraints: 20246 256.17/256.90 c #Conflicts: 324000 | #Constraints: 21246 256.17/256.90 c #Conflicts: 325000 | #Constraints: 22246 256.17/256.90 c #Conflicts: 326000 | #Constraints: 23246 256.17/256.90 c #Conflicts: 327000 | #Constraints: 24246 256.17/256.90 c #Conflicts: 328000 | #Constraints: 25246 256.17/256.90 c #Conflicts: 329000 | #Constraints: 26246 256.17/256.90 c #Conflicts: 330000 | #Constraints: 27246 256.17/256.90 c #Conflicts: 331000 | #Constraints: 28246 256.17/256.90 c #Conflicts: 332000 | #Constraints: 29246 256.17/256.90 c #Conflicts: 333000 | #Constraints: 30246 256.17/256.90 c INPROCESSING 256.17/256.90 c GARBAGE COLLECT 256.17/256.90 c rational objective 795.142 267.74/268.57 c #Conflicts: 334000 | #Constraints: 19836 267.74/268.57 c #Conflicts: 335000 | #Constraints: 20836 267.74/268.57 c #Conflicts: 336000 | #Constraints: 21836 267.74/268.57 c #Conflicts: 337000 | #Constraints: 22836 267.74/268.57 c #Conflicts: 338000 | #Constraints: 23836 267.74/268.57 c #Conflicts: 339000 | #Constraints: 24836 267.74/268.57 c #Conflicts: 340000 | #Constraints: 25836 267.74/268.57 c #Conflicts: 341000 | #Constraints: 26836 267.74/268.57 c #Conflicts: 342000 | #Constraints: 27837 267.74/268.57 c #Conflicts: 343000 | #Constraints: 28837 267.74/268.57 c #Conflicts: 344000 | #Constraints: 29837 267.74/268.57 c #Conflicts: 345000 | #Constraints: 30837 267.74/268.57 c INPROCESSING 267.74/268.57 c GARBAGE COLLECT 267.74/268.57 c rational objective 795.321 281.40/282.28 c #Conflicts: 346000 | #Constraints: 20246 281.40/282.28 c #Conflicts: 347000 | #Constraints: 21246 281.40/282.28 c #Conflicts: 348000 | #Constraints: 22246 281.40/282.28 c #Conflicts: 349000 | #Constraints: 23246 281.40/282.28 c #Conflicts: 350000 | #Constraints: 24246 281.40/282.28 c #Conflicts: 351000 | #Constraints: 25246 281.40/282.28 c #Conflicts: 352000 | #Constraints: 26246 281.40/282.28 c #Conflicts: 353000 | #Constraints: 27246 281.40/282.28 c #Conflicts: 354000 | #Constraints: 28246 281.40/282.28 c #Conflicts: 355000 | #Constraints: 29246 281.40/282.28 c #Conflicts: 356000 | #Constraints: 30246 281.40/282.28 c #Conflicts: 357000 | #Constraints: 31246 281.40/282.28 c INPROCESSING 281.40/282.28 c GARBAGE COLLECT 281.40/282.28 c rational objective 795.433 294.47/295.30 c #Conflicts: 358000 | #Constraints: 20461 294.47/295.30 c #Conflicts: 359000 | #Constraints: 21461 294.47/295.30 c #Conflicts: 360000 | #Constraints: 22461 294.47/295.30 c #Conflicts: 361000 | #Constraints: 23461 294.47/295.30 c #Conflicts: 362000 | #Constraints: 24461 294.47/295.30 c #Conflicts: 363000 | #Constraints: 25461 294.47/295.30 c #Conflicts: 364000 | #Constraints: 26461 294.47/295.30 c #Conflicts: 365000 | #Constraints: 27461 294.47/295.30 c #Conflicts: 366000 | #Constraints: 28461 294.47/295.30 c #Conflicts: 367000 | #Constraints: 29461 294.47/295.30 c #Conflicts: 368000 | #Constraints: 30461 294.47/295.30 c #Conflicts: 369000 | #Constraints: 31461 294.47/295.30 c INPROCESSING 294.47/295.30 c GARBAGE COLLECT 294.47/295.30 c rational objective 795.534 308.73/309.69 c #Conflicts: 370000 | #Constraints: 20443 308.73/309.69 c #Conflicts: 371000 | #Constraints: 21443 308.73/309.69 c #Conflicts: 372000 | #Constraints: 22443 308.73/309.69 c #Conflicts: 373000 | #Constraints: 23443 308.73/309.69 c #Conflicts: 374000 | #Constraints: 24443 308.73/309.69 c #Conflicts: 375000 | #Constraints: 25443 308.73/309.69 c #Conflicts: 376000 | #Constraints: 26443 308.73/309.69 c #Conflicts: 377000 | #Constraints: 27443 308.73/309.69 c #Conflicts: 378000 | #Constraints: 28443 308.73/309.69 c #Conflicts: 379000 | #Constraints: 29443 308.73/309.69 c #Conflicts: 380000 | #Constraints: 30443 308.73/309.69 c #Conflicts: 381000 | #Constraints: 31443 308.73/309.69 c INPROCESSING 308.73/309.69 c GARBAGE COLLECT 308.73/309.69 c rational objective 795.69 321.89/322.86 c #Conflicts: 382000 | #Constraints: 20242 321.89/322.86 c #Conflicts: 383000 | #Constraints: 21242 321.89/322.86 c #Conflicts: 384000 | #Constraints: 22242 321.89/322.86 c #Conflicts: 385000 | #Constraints: 23242 321.89/322.86 c #Conflicts: 386000 | #Constraints: 24242 321.89/322.86 c #Conflicts: 387000 | #Constraints: 25242 321.89/322.86 c #Conflicts: 388000 | #Constraints: 26242 321.89/322.86 c #Conflicts: 389000 | #Constraints: 27242 321.89/322.86 c #Conflicts: 390000 | #Constraints: 28242 321.89/322.86 c #Conflicts: 391000 | #Constraints: 29242 321.89/322.86 c #Conflicts: 392000 | #Constraints: 30242 321.89/322.86 c #Conflicts: 393000 | #Constraints: 31242 321.89/322.86 c #Conflicts: 394000 | #Constraints: 32242 321.89/322.86 c INPROCESSING 321.89/322.86 c GARBAGE COLLECT 321.89/322.86 c rational objective 795.731 338.24/339.20 c #Conflicts: 395000 | #Constraints: 20863 338.24/339.20 c #Conflicts: 396000 | #Constraints: 21863 338.24/339.20 c #Conflicts: 397000 | #Constraints: 22863 338.24/339.20 c #Conflicts: 398000 | #Constraints: 23863 338.24/339.20 c #Conflicts: 399000 | #Constraints: 24863 338.24/339.20 c #Conflicts: 400000 | #Constraints: 25863 338.24/339.20 c #Conflicts: 401000 | #Constraints: 26863 338.24/339.20 c #Conflicts: 402000 | #Constraints: 27863 338.24/339.20 c #Conflicts: 403000 | #Constraints: 28863 338.24/339.20 c #Conflicts: 404000 | #Constraints: 29863 338.24/339.20 c #Conflicts: 405000 | #Constraints: 30863 338.24/339.20 c #Conflicts: 406000 | #Constraints: 31863 338.24/339.20 c #Conflicts: 407000 | #Constraints: 32863 338.24/339.20 c INPROCESSING 338.24/339.20 c GARBAGE COLLECT 338.24/339.20 c rational objective 796.162 352.01/353.05 c #Conflicts: 408000 | #Constraints: 21265 352.01/353.05 c #Conflicts: 409000 | #Constraints: 22265 352.01/353.05 c #Conflicts: 410000 | #Constraints: 23265 352.01/353.05 c #Conflicts: 411000 | #Constraints: 24265 352.01/353.05 c #Conflicts: 412000 | #Constraints: 25265 352.01/353.05 c #Conflicts: 413000 | #Constraints: 26265 352.01/353.05 c #Conflicts: 414000 | #Constraints: 27265 352.01/353.05 c #Conflicts: 415000 | #Constraints: 28265 352.01/353.05 c #Conflicts: 416000 | #Constraints: 29265 352.01/353.05 c #Conflicts: 417000 | #Constraints: 30265 352.01/353.05 c #Conflicts: 418000 | #Constraints: 31265 352.01/353.05 c #Conflicts: 419000 | #Constraints: 32265 352.01/353.05 c #Conflicts: 420000 | #Constraints: 33265 352.01/353.05 c INPROCESSING 352.01/353.05 c GARBAGE COLLECT 352.01/353.05 c rational objective 797.079 366.85/367.93 c #Conflicts: 421000 | #Constraints: 21455 366.85/367.93 c #Conflicts: 422000 | #Constraints: 22455 366.85/367.93 c #Conflicts: 423000 | #Constraints: 23455 366.85/367.93 c #Conflicts: 424000 | #Constraints: 24455 366.85/367.93 c #Conflicts: 425000 | #Constraints: 25455 366.85/367.93 c #Conflicts: 426000 | #Constraints: 26455 366.85/367.93 c #Conflicts: 427000 | #Constraints: 27455 366.85/367.93 c #Conflicts: 428000 | #Constraints: 28455 366.85/367.93 c #Conflicts: 429000 | #Constraints: 29455 366.85/367.93 c #Conflicts: 430000 | #Constraints: 30455 366.85/367.93 c #Conflicts: 431000 | #Constraints: 31455 366.85/367.93 c #Conflicts: 432000 | #Constraints: 32455 366.85/367.93 c #Conflicts: 433000 | #Constraints: 33455 366.85/367.93 c INPROCESSING 366.85/367.93 c GARBAGE COLLECT 366.85/367.93 c rational objective 797.148 382.41/383.53 c #Conflicts: 434000 | #Constraints: 21465 382.41/383.53 c #Conflicts: 435000 | #Constraints: 22465 382.41/383.53 c #Conflicts: 436000 | #Constraints: 23465 382.41/383.53 c #Conflicts: 437000 | #Constraints: 24465 382.41/383.53 c #Conflicts: 438000 | #Constraints: 25465 382.41/383.53 c #Conflicts: 439000 | #Constraints: 26465 382.41/383.53 c #Conflicts: 440000 | #Constraints: 27465 382.41/383.53 c #Conflicts: 441000 | #Constraints: 28465 382.41/383.53 c #Conflicts: 442000 | #Constraints: 29465 382.41/383.53 c #Conflicts: 443000 | #Constraints: 30465 382.41/383.53 c #Conflicts: 444000 | #Constraints: 31465 382.41/383.53 c #Conflicts: 445000 | #Constraints: 32465 382.41/383.53 c #Conflicts: 446000 | #Constraints: 33465 382.41/383.53 c INPROCESSING 382.41/383.53 c GARBAGE COLLECT 382.41/383.53 c rational objective 797.188 397.38/398.55 c #Conflicts: 447000 | #Constraints: 21235 397.38/398.55 c #Conflicts: 448000 | #Constraints: 22235 397.38/398.55 c #Conflicts: 449000 | #Constraints: 23235 397.38/398.55 c #Conflicts: 450000 | #Constraints: 24235 397.38/398.55 c #Conflicts: 451000 | #Constraints: 25235 397.38/398.55 c #Conflicts: 452000 | #Constraints: 26235 397.38/398.55 c #Conflicts: 453000 | #Constraints: 27235 397.38/398.55 c #Conflicts: 454000 | #Constraints: 28235 397.38/398.55 c #Conflicts: 455000 | #Constraints: 29235 397.38/398.55 c #Conflicts: 456000 | #Constraints: 30235 397.38/398.55 c #Conflicts: 457000 | #Constraints: 31235 397.38/398.55 c #Conflicts: 458000 | #Constraints: 32235 397.38/398.55 c #Conflicts: 459000 | #Constraints: 33235 397.38/398.55 c #Conflicts: 460000 | #Constraints: 34235 397.38/398.55 c INPROCESSING 397.38/398.55 c GARBAGE COLLECT 397.38/398.55 c rational objective 797.22 414.04/415.22 c #Conflicts: 461000 | #Constraints: 21851 414.04/415.22 c #Conflicts: 462000 | #Constraints: 22851 414.04/415.22 c #Conflicts: 463000 | #Constraints: 23851 414.04/415.22 c #Conflicts: 464000 | #Constraints: 24851 414.04/415.22 c #Conflicts: 465000 | #Constraints: 25851 414.04/415.22 c #Conflicts: 466000 | #Constraints: 26851 414.04/415.22 c #Conflicts: 467000 | #Constraints: 27851 414.04/415.22 c #Conflicts: 468000 | #Constraints: 28851 414.04/415.22 c #Conflicts: 469000 | #Constraints: 29851 414.04/415.22 c #Conflicts: 470000 | #Constraints: 30851 414.04/415.22 c #Conflicts: 471000 | #Constraints: 31851 414.04/415.22 c #Conflicts: 472000 | #Constraints: 32851 414.04/415.22 c #Conflicts: 473000 | #Constraints: 33851 414.04/415.22 c #Conflicts: 474000 | #Constraints: 34851 414.04/415.22 c INPROCESSING 414.04/415.22 c GARBAGE COLLECT 414.04/415.22 c rational objective 797.679 429.50/430.78 c #Conflicts: 475000 | #Constraints: 22267 429.50/430.78 c #Conflicts: 476000 | #Constraints: 23267 429.50/430.78 c #Conflicts: 477000 | #Constraints: 24267 429.50/430.78 c #Conflicts: 478000 | #Constraints: 25267 429.50/430.78 c #Conflicts: 479000 | #Constraints: 26267 429.50/430.78 c #Conflicts: 480000 | #Constraints: 27267 429.50/430.78 c #Conflicts: 481000 | #Constraints: 28267 429.50/430.78 c #Conflicts: 482000 | #Constraints: 29267 429.50/430.78 c #Conflicts: 483000 | #Constraints: 30267 429.50/430.78 c #Conflicts: 484000 | #Constraints: 31268 429.50/430.78 c #Conflicts: 485000 | #Constraints: 32268 429.50/430.78 c #Conflicts: 486000 | #Constraints: 33268 429.50/430.78 c #Conflicts: 487000 | #Constraints: 34268 429.50/430.78 c #Conflicts: 488000 | #Constraints: 35268 429.50/430.78 c INPROCESSING 429.50/430.78 c GARBAGE COLLECT 429.50/430.78 c rational objective 797.927 446.67/447.92 c #Conflicts: 489000 | #Constraints: 22436 446.67/447.92 c #Conflicts: 490000 | #Constraints: 23436 446.67/447.92 c #Conflicts: 491000 | #Constraints: 24436 446.67/447.92 c #Conflicts: 492000 | #Constraints: 25436 446.67/447.92 c #Conflicts: 493000 | #Constraints: 26436 446.67/447.92 c #Conflicts: 494000 | #Constraints: 27436 446.67/447.92 c #Conflicts: 495000 | #Constraints: 28436 446.67/447.92 c #Conflicts: 496000 | #Constraints: 29436 446.67/447.92 c #Conflicts: 497000 | #Constraints: 30436 446.67/447.92 c #Conflicts: 498000 | #Constraints: 31436 446.67/447.92 c #Conflicts: 499000 | #Constraints: 32436 446.67/447.92 c #Conflicts: 500000 | #Constraints: 33436 446.67/447.92 c #Conflicts: 501000 | #Constraints: 34436 446.67/447.92 c #Conflicts: 502000 | #Constraints: 35436 446.67/447.92 c INPROCESSING 446.67/447.92 c GARBAGE COLLECT 446.67/447.92 c rational objective 797.961 463.93/465.26 c #Conflicts: 503000 | #Constraints: 22459 463.93/465.26 c #Conflicts: 504000 | #Constraints: 23459 463.93/465.26 c #Conflicts: 505000 | #Constraints: 24459 463.93/465.26 c #Conflicts: 506000 | #Constraints: 25459 463.93/465.26 c #Conflicts: 507000 | #Constraints: 26459 463.93/465.26 c #Conflicts: 508000 | #Constraints: 27459 463.93/465.26 c #Conflicts: 509000 | #Constraints: 28459 463.93/465.26 c #Conflicts: 510000 | #Constraints: 29459 463.93/465.26 c #Conflicts: 511000 | #Constraints: 30459 463.93/465.26 c #Conflicts: 512000 | #Constraints: 31459 463.93/465.26 c #Conflicts: 513000 | #Constraints: 32459 463.93/465.26 c #Conflicts: 514000 | #Constraints: 33459 463.93/465.26 c #Conflicts: 515000 | #Constraints: 34459 463.93/465.26 c #Conflicts: 516000 | #Constraints: 35459 463.93/465.26 c INPROCESSING 463.93/465.26 c GARBAGE COLLECT 463.93/465.26 c rational objective 798.317 480.71/482.09 c #Conflicts: 517000 | #Constraints: 22256 480.71/482.09 c #Conflicts: 518000 | #Constraints: 23256 480.71/482.09 c #Conflicts: 519000 | #Constraints: 24256 480.71/482.09 c #Conflicts: 520000 | #Constraints: 25256 480.71/482.09 c #Conflicts: 521000 | #Constraints: 26256 480.71/482.09 c #Conflicts: 522000 | #Constraints: 27256 480.71/482.09 c #Conflicts: 523000 | #Constraints: 28256 480.71/482.09 c #Conflicts: 524000 | #Constraints: 29256 480.71/482.09 c #Conflicts: 525000 | #Constraints: 30256 480.71/482.09 c #Conflicts: 526000 | #Constraints: 31256 480.71/482.09 c #Conflicts: 527000 | #Constraints: 32256 480.71/482.09 c #Conflicts: 528000 | #Constraints: 33256 480.71/482.09 c #Conflicts: 529000 | #Constraints: 34256 480.71/482.09 c #Conflicts: 530000 | #Constraints: 35256 480.71/482.09 c #Conflicts: 531000 | #Constraints: 36256 480.71/482.09 c INPROCESSING 480.71/482.09 c GARBAGE COLLECT 480.71/482.09 c rational objective 798.975 498.95/500.39 c #Conflicts: 532000 | #Constraints: 22858 498.95/500.39 c #Conflicts: 533000 | #Constraints: 23858 498.95/500.39 c #Conflicts: 534000 | #Constraints: 24858 498.95/500.39 c #Conflicts: 535000 | #Constraints: 25858 498.95/500.39 c #Conflicts: 536000 | #Constraints: 26858 498.95/500.39 c #Conflicts: 537000 | #Constraints: 27858 498.95/500.39 c #Conflicts: 538000 | #Constraints: 28858 498.95/500.39 c #Conflicts: 539000 | #Constraints: 29858 498.95/500.39 c #Conflicts: 540000 | #Constraints: 30858 498.95/500.39 c #Conflicts: 541000 | #Constraints: 31858 498.95/500.39 c #Conflicts: 542000 | #Constraints: 32858 498.95/500.39 c #Conflicts: 543000 | #Constraints: 33858 498.95/500.39 c #Conflicts: 544000 | #Constraints: 34858 498.95/500.39 c #Conflicts: 545000 | #Constraints: 35858 498.95/500.39 c #Conflicts: 546000 | #Constraints: 36858 498.95/500.39 c INPROCESSING 498.95/500.39 c GARBAGE COLLECT 498.95/500.39 c rational objective 799.138 517.11/518.51 c #Conflicts: 547000 | #Constraints: 23276 517.11/518.51 c #Conflicts: 548000 | #Constraints: 24276 517.11/518.51 c #Conflicts: 549000 | #Constraints: 25276 517.11/518.51 c #Conflicts: 550000 | #Constraints: 26276 517.11/518.51 c #Conflicts: 551000 | #Constraints: 27276 517.11/518.51 c #Conflicts: 552000 | #Constraints: 28276 517.11/518.51 c #Conflicts: 553000 | #Constraints: 29276 517.11/518.51 c #Conflicts: 554000 | #Constraints: 30276 517.11/518.51 c #Conflicts: 555000 | #Constraints: 31276 517.11/518.51 c #Conflicts: 556000 | #Constraints: 32276 517.11/518.51 c #Conflicts: 557000 | #Constraints: 33276 517.11/518.51 c #Conflicts: 558000 | #Constraints: 34276 517.11/518.51 c #Conflicts: 559000 | #Constraints: 35276 517.11/518.51 c #Conflicts: 560000 | #Constraints: 36276 517.11/518.51 c #Conflicts: 561000 | #Constraints: 37276 517.11/518.51 c INPROCESSING 517.11/518.51 c GARBAGE COLLECT 517.11/518.51 c rational objective 800.885 536.46/537.97 c #Conflicts: 562000 | #Constraints: 23461 536.46/537.97 c #Conflicts: 563000 | #Constraints: 24461 536.46/537.97 c #Conflicts: 564000 | #Constraints: 25461 536.46/537.97 c #Conflicts: 565000 | #Constraints: 26461 536.46/537.97 c #Conflicts: 566000 | #Constraints: 27461 536.46/537.97 c #Conflicts: 567000 | #Constraints: 28461 536.46/537.97 c #Conflicts: 568000 | #Constraints: 29461 536.46/537.97 c #Conflicts: 569000 | #Constraints: 30461 536.46/537.97 c #Conflicts: 570000 | #Constraints: 31461 536.46/537.97 c #Conflicts: 571000 | #Constraints: 32461 536.46/537.97 c #Conflicts: 572000 | #Constraints: 33461 536.46/537.97 c #Conflicts: 573000 | #Constraints: 34461 536.46/537.97 c #Conflicts: 574000 | #Constraints: 35461 536.46/537.97 c #Conflicts: 575000 | #Constraints: 36461 536.46/537.97 c #Conflicts: 576000 | #Constraints: 37461 536.46/537.97 c INPROCESSING 536.46/537.97 c GARBAGE COLLECT 536.46/537.97 c rational objective 801.214 555.12/556.65 c #Conflicts: 577000 | #Constraints: 23469 555.12/556.65 c #Conflicts: 578000 | #Constraints: 24469 555.12/556.65 c #Conflicts: 579000 | #Constraints: 25469 555.12/556.65 c #Conflicts: 580000 | #Constraints: 26469 555.12/556.65 c #Conflicts: 581000 | #Constraints: 27469 555.12/556.65 c #Conflicts: 582000 | #Constraints: 28469 555.12/556.65 c #Conflicts: 583000 | #Constraints: 29469 555.12/556.65 c #Conflicts: 584000 | #Constraints: 30469 555.12/556.65 c #Conflicts: 585000 | #Constraints: 31469 555.12/556.65 c #Conflicts: 586000 | #Constraints: 32469 555.12/556.65 c #Conflicts: 587000 | #Constraints: 33469 555.12/556.65 c #Conflicts: 588000 | #Constraints: 34469 555.12/556.65 c #Conflicts: 589000 | #Constraints: 35469 555.12/556.65 c #Conflicts: 590000 | #Constraints: 36469 555.12/556.65 c #Conflicts: 591000 | #Constraints: 37469 555.12/556.65 c INPROCESSING 555.12/556.65 c GARBAGE COLLECT 555.12/556.65 c rational objective 801.428 574.87/576.47 c #Conflicts: 592000 | #Constraints: 23295 574.87/576.47 c #Conflicts: 593000 | #Constraints: 24295 574.87/576.47 c #Conflicts: 594000 | #Constraints: 25295 574.87/576.47 c #Conflicts: 595000 | #Constraints: 26295 574.87/576.47 c #Conflicts: 596000 | #Constraints: 27295 574.87/576.47 c #Conflicts: 597000 | #Constraints: 28295 574.87/576.47 c #Conflicts: 598000 | #Constraints: 29295 574.87/576.47 c #Conflicts: 599000 | #Constraints: 30295 574.87/576.47 c #Conflicts: 600000 | #Constraints: 31295 574.87/576.47 c #Conflicts: 601000 | #Constraints: 32295 574.87/576.47 c #Conflicts: 602000 | #Constraints: 33295 574.87/576.47 c #Conflicts: 603000 | #Constraints: 34295 574.87/576.47 c #Conflicts: 604000 | #Constraints: 35295 574.87/576.47 c #Conflicts: 605000 | #Constraints: 36295 574.87/576.47 c #Conflicts: 606000 | #Constraints: 37295 574.87/576.47 c #Conflicts: 607000 | #Constraints: 38295 574.87/576.47 c INPROCESSING 574.87/576.47 c GARBAGE COLLECT 574.87/576.47 c rational objective 803.436 596.43/598.05 c #Conflicts: 608000 | #Constraints: 23893 596.43/598.05 c #Conflicts: 609000 | #Constraints: 24893 596.43/598.05 c #Conflicts: 610000 | #Constraints: 25893 596.43/598.05 c #Conflicts: 611000 | #Constraints: 26893 596.43/598.05 c #Conflicts: 612000 | #Constraints: 27893 596.43/598.05 c #Conflicts: 613000 | #Constraints: 28893 596.43/598.05 c #Conflicts: 614000 | #Constraints: 29893 596.43/598.05 c #Conflicts: 615000 | #Constraints: 30893 596.43/598.05 c #Conflicts: 616000 | #Constraints: 31893 596.43/598.05 c #Conflicts: 617000 | #Constraints: 32893 596.43/598.05 c #Conflicts: 618000 | #Constraints: 33893 596.43/598.05 c #Conflicts: 619000 | #Constraints: 34893 596.43/598.05 c #Conflicts: 620000 | #Constraints: 35893 596.43/598.05 c #Conflicts: 621000 | #Constraints: 36893 596.43/598.05 c #Conflicts: 622000 | #Constraints: 37893 596.43/598.05 c #Conflicts: 623000 | #Constraints: 38893 596.43/598.05 c INPROCESSING 596.43/598.05 c GARBAGE COLLECT 596.43/598.05 c rational objective 803.606 617.07/618.80 c #Conflicts: 624000 | #Constraints: 24274 617.07/618.80 c #Conflicts: 625000 | #Constraints: 25274 617.07/618.80 c #Conflicts: 626000 | #Constraints: 26274 617.07/618.80 c #Conflicts: 627000 | #Constraints: 27274 617.07/618.80 c #Conflicts: 628000 | #Constraints: 28274 617.07/618.80 c #Conflicts: 629000 | #Constraints: 29274 617.07/618.80 c #Conflicts: 630000 | #Constraints: 30274 617.07/618.80 c #Conflicts: 631000 | #Constraints: 31274 617.07/618.80 c #Conflicts: 632000 | #Constraints: 32274 617.07/618.80 c #Conflicts: 633000 | #Constraints: 33274 617.07/618.80 c #Conflicts: 634000 | #Constraints: 34274 617.07/618.80 c #Conflicts: 635000 | #Constraints: 35274 617.07/618.80 c #Conflicts: 636000 | #Constraints: 36274 617.07/618.80 c #Conflicts: 637000 | #Constraints: 37274 617.07/618.80 c #Conflicts: 638000 | #Constraints: 38274 617.07/618.80 c #Conflicts: 639000 | #Constraints: 39274 617.07/618.80 c INPROCESSING 617.07/618.80 c GARBAGE COLLECT 617.07/618.80 c rational objective 803.621 639.22/640.93 c #Conflicts: 640000 | #Constraints: 24474 639.22/640.93 c #Conflicts: 641000 | #Constraints: 25474 639.22/640.93 c #Conflicts: 642000 | #Constraints: 26474 639.22/640.93 c #Conflicts: 643000 | #Constraints: 27474 639.22/640.93 c #Conflicts: 644000 | #Constraints: 28474 639.22/640.93 c #Conflicts: 645000 | #Constraints: 29474 639.22/640.93 c #Conflicts: 646000 | #Constraints: 30474 639.22/640.93 c #Conflicts: 647000 | #Constraints: 31474 639.22/640.93 c #Conflicts: 648000 | #Constraints: 32474 639.22/640.93 c #Conflicts: 649000 | #Constraints: 33474 639.22/640.93 c #Conflicts: 650000 | #Constraints: 34474 639.22/640.93 c #Conflicts: 651000 | #Constraints: 35474 639.22/640.93 c #Conflicts: 652000 | #Constraints: 36474 639.22/640.93 c #Conflicts: 653000 | #Constraints: 37474 639.22/640.93 c #Conflicts: 654000 | #Constraints: 38474 639.22/640.93 c #Conflicts: 655000 | #Constraints: 39474 639.22/640.93 c INPROCESSING 639.22/640.93 c GARBAGE COLLECT 639.22/640.93 c rational objective 804.153 660.77/662.55 c #Conflicts: 656000 | #Constraints: 24509 660.77/662.55 c #Conflicts: 657000 | #Constraints: 25509 660.77/662.55 c #Conflicts: 658000 | #Constraints: 26509 660.77/662.55 c #Conflicts: 659000 | #Constraints: 27509 660.77/662.55 c #Conflicts: 660000 | #Constraints: 28509 660.77/662.55 c #Conflicts: 661000 | #Constraints: 29509 660.77/662.55 c #Conflicts: 662000 | #Constraints: 30509 660.77/662.55 c #Conflicts: 663000 | #Constraints: 31509 660.77/662.55 c #Conflicts: 664000 | #Constraints: 32509 660.77/662.55 c #Conflicts: 665000 | #Constraints: 33509 660.77/662.55 c #Conflicts: 666000 | #Constraints: 34509 660.77/662.55 c #Conflicts: 667000 | #Constraints: 35509 660.77/662.55 c #Conflicts: 668000 | #Constraints: 36509 660.77/662.55 c #Conflicts: 669000 | #Constraints: 37509 660.77/662.55 c #Conflicts: 670000 | #Constraints: 38509 660.77/662.55 c #Conflicts: 671000 | #Constraints: 39509 660.77/662.55 c INPROCESSING 660.77/662.55 c GARBAGE COLLECT 660.77/662.55 c rational objective 804.226 684.33/686.16 c #Conflicts: 672000 | #Constraints: 24307 684.33/686.16 c #Conflicts: 673000 | #Constraints: 25307 684.33/686.16 c #Conflicts: 674000 | #Constraints: 26307 684.33/686.16 c #Conflicts: 675000 | #Constraints: 27307 684.33/686.16 c #Conflicts: 676000 | #Constraints: 28307 684.33/686.16 c #Conflicts: 677000 | #Constraints: 29307 684.33/686.16 c #Conflicts: 678000 | #Constraints: 30307 684.33/686.16 c #Conflicts: 679000 | #Constraints: 31307 684.33/686.16 c #Conflicts: 680000 | #Constraints: 32307 684.33/686.16 c #Conflicts: 681000 | #Constraints: 33307 684.33/686.16 c #Conflicts: 682000 | #Constraints: 34307 684.33/686.16 c #Conflicts: 683000 | #Constraints: 35307 684.33/686.16 c #Conflicts: 684000 | #Constraints: 36307 684.33/686.16 c #Conflicts: 685000 | #Constraints: 37307 684.33/686.16 c #Conflicts: 686000 | #Constraints: 38307 684.33/686.16 c #Conflicts: 687000 | #Constraints: 39307 684.33/686.16 c #Conflicts: 688000 | #Constraints: 40307 684.33/686.16 c INPROCESSING 684.33/686.16 c GARBAGE COLLECT 684.33/686.16 c rational objective 804.888 707.17/709.09 c #Conflicts: 689000 | #Constraints: 24902 707.17/709.09 c #Conflicts: 690000 | #Constraints: 25902 707.17/709.09 c #Conflicts: 691000 | #Constraints: 26902 707.17/709.09 c #Conflicts: 692000 | #Constraints: 27902 707.17/709.09 c #Conflicts: 693000 | #Constraints: 28902 707.17/709.09 c #Conflicts: 694000 | #Constraints: 29902 707.17/709.09 c #Conflicts: 695000 | #Constraints: 30902 707.17/709.09 c #Conflicts: 696000 | #Constraints: 31902 707.17/709.09 c #Conflicts: 697000 | #Constraints: 32902 707.17/709.09 c #Conflicts: 698000 | #Constraints: 33902 707.17/709.09 c #Conflicts: 699000 | #Constraints: 34902 707.17/709.09 c #Conflicts: 700000 | #Constraints: 35902 707.17/709.09 c #Conflicts: 701000 | #Constraints: 36902 707.17/709.09 c #Conflicts: 702000 | #Constraints: 37902 707.17/709.09 c #Conflicts: 703000 | #Constraints: 38902 707.17/709.09 c #Conflicts: 704000 | #Constraints: 39902 707.17/709.09 c #Conflicts: 705000 | #Constraints: 40902 707.17/709.09 c INPROCESSING 707.17/709.09 c GARBAGE COLLECT 707.17/709.09 c rational objective 805.227 729.90/731.86 c #Conflicts: 706000 | #Constraints: 25280 729.90/731.86 c #Conflicts: 707000 | #Constraints: 26280 729.90/731.86 c #Conflicts: 708000 | #Constraints: 27280 729.90/731.86 c #Conflicts: 709000 | #Constraints: 28280 729.90/731.86 c #Conflicts: 710000 | #Constraints: 29280 729.90/731.86 c #Conflicts: 711000 | #Constraints: 30280 729.90/731.86 c #Conflicts: 712000 | #Constraints: 31280 729.90/731.86 c #Conflicts: 713000 | #Constraints: 32280 729.90/731.86 c #Conflicts: 714000 | #Constraints: 33280 729.90/731.86 c #Conflicts: 715000 | #Constraints: 34280 729.90/731.86 c #Conflicts: 716000 | #Constraints: 35280 729.90/731.86 c #Conflicts: 717000 | #Constraints: 36280 729.90/731.86 c #Conflicts: 718000 | #Constraints: 37280 729.90/731.86 c #Conflicts: 719000 | #Constraints: 38280 729.90/731.86 c #Conflicts: 720000 | #Constraints: 39280 729.90/731.86 c #Conflicts: 721000 | #Constraints: 40280 729.90/731.86 c #Conflicts: 722000 | #Constraints: 41280 729.90/731.86 c INPROCESSING 729.90/731.86 c GARBAGE COLLECT 729.90/731.86 c rational objective 806.108 753.35/755.33 c #Conflicts: 723000 | #Constraints: 25465 753.35/755.33 c #Conflicts: 724000 | #Constraints: 26465 753.35/755.33 c #Conflicts: 725000 | #Constraints: 27465 753.35/755.33 c #Conflicts: 726000 | #Constraints: 28465 753.35/755.33 c #Conflicts: 727000 | #Constraints: 29465 753.35/755.33 c #Conflicts: 728000 | #Constraints: 30465 753.35/755.33 c #Conflicts: 729000 | #Constraints: 31465 753.35/755.33 c #Conflicts: 730000 | #Constraints: 32465 753.35/755.33 c #Conflicts: 731000 | #Constraints: 33465 753.35/755.33 c #Conflicts: 732000 | #Constraints: 34465 753.35/755.33 c #Conflicts: 733000 | #Constraints: 35465 753.35/755.33 c #Conflicts: 734000 | #Constraints: 36465 753.35/755.33 c #Conflicts: 735000 | #Constraints: 37465 753.35/755.33 c #Conflicts: 736000 | #Constraints: 38465 753.35/755.33 c #Conflicts: 737000 | #Constraints: 39465 753.35/755.33 c #Conflicts: 738000 | #Constraints: 40465 753.35/755.33 c #Conflicts: 739000 | #Constraints: 41465 753.35/755.33 c INPROCESSING 753.35/755.33 c GARBAGE COLLECT 753.35/755.33 c rational objective 806.303 779.68/781.77 c #Conflicts: 740000 | #Constraints: 25493 779.68/781.77 c #Conflicts: 741000 | #Constraints: 26493 779.68/781.77 c #Conflicts: 742000 | #Constraints: 27493 779.68/781.77 c #Conflicts: 743000 | #Constraints: 28493 779.68/781.77 c #Conflicts: 744000 | #Constraints: 29493 779.68/781.77 c #Conflicts: 745000 | #Constraints: 30493 779.68/781.77 c #Conflicts: 746000 | #Constraints: 31493 779.68/781.77 c #Conflicts: 747000 | #Constraints: 32493 779.68/781.77 c #Conflicts: 748000 | #Constraints: 33493 779.68/781.77 c #Conflicts: 749000 | #Constraints: 34493 779.68/781.77 c #Conflicts: 750000 | #Constraints: 35493 779.68/781.77 c #Conflicts: 751000 | #Constraints: 36493 779.68/781.77 c #Conflicts: 752000 | #Constraints: 37493 779.68/781.77 c #Conflicts: 753000 | #Constraints: 38493 779.68/781.77 c #Conflicts: 754000 | #Constraints: 39493 779.68/781.77 c #Conflicts: 755000 | #Constraints: 40493 779.68/781.77 c #Conflicts: 756000 | #Constraints: 41493 779.68/781.77 c INPROCESSING 779.68/781.77 c GARBAGE COLLECT 779.68/781.77 c rational objective 806.578 804.62/806.79 c #Conflicts: 757000 | #Constraints: 25290 804.62/806.79 c #Conflicts: 758000 | #Constraints: 26290 804.62/806.79 c #Conflicts: 759000 | #Constraints: 27290 804.62/806.79 c #Conflicts: 760000 | #Constraints: 28290 804.62/806.79 c #Conflicts: 761000 | #Constraints: 29290 804.62/806.79 c #Conflicts: 762000 | #Constraints: 30290 804.62/806.79 c #Conflicts: 763000 | #Constraints: 31290 804.62/806.79 c #Conflicts: 764000 | #Constraints: 32290 804.62/806.79 c #Conflicts: 765000 | #Constraints: 33290 804.62/806.79 c #Conflicts: 766000 | #Constraints: 34290 804.62/806.79 c #Conflicts: 767000 | #Constraints: 35290 804.62/806.79 c #Conflicts: 768000 | #Constraints: 36290 804.62/806.79 c #Conflicts: 769000 | #Constraints: 37290 804.62/806.79 c #Conflicts: 770000 | #Constraints: 38290 804.62/806.79 c #Conflicts: 771000 | #Constraints: 39290 804.62/806.79 c #Conflicts: 772000 | #Constraints: 40290 804.62/806.79 c #Conflicts: 773000 | #Constraints: 41290 804.62/806.79 c #Conflicts: 774000 | #Constraints: 42290 804.62/806.79 c INPROCESSING 804.62/806.79 c GARBAGE COLLECT 804.62/806.79 c rational objective 807.408 830.56/832.79 c #Conflicts: 775000 | #Constraints: 25909 830.56/832.79 c #Conflicts: 776000 | #Constraints: 26909 830.56/832.79 c #Conflicts: 777000 | #Constraints: 27909 830.56/832.79 c #Conflicts: 778000 | #Constraints: 28909 830.56/832.79 c #Conflicts: 779000 | #Constraints: 29909 830.56/832.79 c #Conflicts: 780000 | #Constraints: 30909 830.56/832.79 c #Conflicts: 781000 | #Constraints: 31909 830.56/832.79 c #Conflicts: 782000 | #Constraints: 32909 830.56/832.79 c #Conflicts: 783000 | #Constraints: 33909 830.56/832.79 c #Conflicts: 784000 | #Constraints: 34909 830.56/832.79 c #Conflicts: 785000 | #Constraints: 35909 830.56/832.79 c #Conflicts: 786000 | #Constraints: 36909 830.56/832.79 c #Conflicts: 787000 | #Constraints: 37909 830.56/832.79 c #Conflicts: 788000 | #Constraints: 38909 830.56/832.79 c #Conflicts: 789000 | #Constraints: 39909 830.56/832.79 c #Conflicts: 790000 | #Constraints: 40909 830.56/832.79 c #Conflicts: 791000 | #Constraints: 41909 830.56/832.79 c #Conflicts: 792000 | #Constraints: 42909 830.56/832.79 c INPROCESSING 830.56/832.79 c GARBAGE COLLECT 830.56/832.79 c rational objective 807.856 859.90/862.14 c #Conflicts: 793000 | #Constraints: 26299 859.90/862.14 c #Conflicts: 794000 | #Constraints: 27299 859.90/862.14 c #Conflicts: 795000 | #Constraints: 28299 859.90/862.14 c #Conflicts: 796000 | #Constraints: 29299 859.90/862.14 c #Conflicts: 797000 | #Constraints: 30299 859.90/862.14 c #Conflicts: 798000 | #Constraints: 31299 859.90/862.14 c #Conflicts: 799000 | #Constraints: 32299 859.90/862.14 c #Conflicts: 800000 | #Constraints: 33299 859.90/862.14 c #Conflicts: 801000 | #Constraints: 34299 859.90/862.14 c #Conflicts: 802000 | #Constraints: 35299 859.90/862.14 c #Conflicts: 803000 | #Constraints: 36299 859.90/862.14 c #Conflicts: 804000 | #Constraints: 37299 859.90/862.14 c #Conflicts: 805000 | #Constraints: 38299 859.90/862.14 c #Conflicts: 806000 | #Constraints: 39299 859.90/862.14 c #Conflicts: 807000 | #Constraints: 40299 859.90/862.14 c #Conflicts: 808000 | #Constraints: 41299 859.90/862.14 c #Conflicts: 809000 | #Constraints: 42299 859.90/862.14 c #Conflicts: 810000 | #Constraints: 43299 859.90/862.14 c INPROCESSING 859.90/862.14 c GARBAGE COLLECT 859.90/862.14 c rational objective 808.244 886.92/889.20 c #Conflicts: 811000 | #Constraints: 26486 886.92/889.20 c #Conflicts: 812000 | #Constraints: 27486 886.92/889.20 c #Conflicts: 813000 | #Constraints: 28486 886.92/889.20 c #Conflicts: 814000 | #Constraints: 29486 886.92/889.20 c #Conflicts: 815000 | #Constraints: 30486 886.92/889.20 c #Conflicts: 816000 | #Constraints: 31486 886.92/889.20 c #Conflicts: 817000 | #Constraints: 32486 886.92/889.20 c #Conflicts: 818000 | #Constraints: 33486 886.92/889.20 c #Conflicts: 819000 | #Constraints: 34486 886.92/889.20 c #Conflicts: 820000 | #Constraints: 35486 886.92/889.20 c #Conflicts: 821000 | #Constraints: 36486 886.92/889.20 c #Conflicts: 822000 | #Constraints: 37486 886.92/889.20 c #Conflicts: 823000 | #Constraints: 38486 886.92/889.20 c #Conflicts: 824000 | #Constraints: 39486 886.92/889.20 c #Conflicts: 825000 | #Constraints: 40486 886.92/889.20 c #Conflicts: 826000 | #Constraints: 41486 886.92/889.20 c #Conflicts: 827000 | #Constraints: 42486 886.92/889.20 c #Conflicts: 828000 | #Constraints: 43486 886.92/889.20 c INPROCESSING 886.92/889.20 c GARBAGE COLLECT 886.92/889.20 c rational objective 808.593 917.94/920.39 c #Conflicts: 829000 | #Constraints: 26515 917.94/920.39 c #Conflicts: 830000 | #Constraints: 27515 917.94/920.39 c #Conflicts: 831000 | #Constraints: 28515 917.94/920.39 c #Conflicts: 832000 | #Constraints: 29515 917.94/920.39 c #Conflicts: 833000 | #Constraints: 30515 917.94/920.39 c #Conflicts: 834000 | #Constraints: 31515 917.94/920.39 c #Conflicts: 835000 | #Constraints: 32515 917.94/920.39 c #Conflicts: 836000 | #Constraints: 33515 917.94/920.39 c #Conflicts: 837000 | #Constraints: 34515 917.94/920.39 c #Conflicts: 838000 | #Constraints: 35515 917.94/920.39 c #Conflicts: 839000 | #Constraints: 36515 917.94/920.39 c #Conflicts: 840000 | #Constraints: 37515 917.94/920.39 c #Conflicts: 841000 | #Constraints: 38515 917.94/920.39 c #Conflicts: 842000 | #Constraints: 39515 917.94/920.39 c #Conflicts: 843000 | #Constraints: 40515 917.94/920.39 c #Conflicts: 844000 | #Constraints: 41515 917.94/920.39 c #Conflicts: 845000 | #Constraints: 42515 917.94/920.39 c #Conflicts: 846000 | #Constraints: 43515 917.94/920.39 c INPROCESSING 917.94/920.39 c GARBAGE COLLECT 917.94/920.39 c rational objective 808.6 945.69/948.17 c #Conflicts: 847000 | #Constraints: 26295 945.69/948.17 c #Conflicts: 848000 | #Constraints: 27295 945.69/948.17 c #Conflicts: 849000 | #Constraints: 28295 945.69/948.17 c #Conflicts: 850000 | #Constraints: 29295 945.69/948.17 c #Conflicts: 851000 | #Constraints: 30295 945.69/948.17 c #Conflicts: 852000 | #Constraints: 31295 945.69/948.17 c #Conflicts: 853000 | #Constraints: 32295 945.69/948.17 c #Conflicts: 854000 | #Constraints: 33295 945.69/948.17 c #Conflicts: 855000 | #Constraints: 34295 945.69/948.17 c #Conflicts: 856000 | #Constraints: 35295 945.69/948.17 c #Conflicts: 857000 | #Constraints: 36295 945.69/948.17 c #Conflicts: 858000 | #Constraints: 37295 945.69/948.17 c #Conflicts: 859000 | #Constraints: 38295 945.69/948.17 c #Conflicts: 860000 | #Constraints: 39295 945.69/948.17 c #Conflicts: 861000 | #Constraints: 40295 945.69/948.17 c #Conflicts: 862000 | #Constraints: 41295 945.69/948.17 c #Conflicts: 863000 | #Constraints: 42295 945.69/948.17 c #Conflicts: 864000 | #Constraints: 43295 945.69/948.17 c #Conflicts: 865000 | #Constraints: 44295 945.69/948.17 c INPROCESSING 945.69/948.17 c GARBAGE COLLECT 945.69/948.17 c rational objective 808.615 974.91/977.49 c #Conflicts: 866000 | #Constraints: 26872 974.91/977.49 c #Conflicts: 867000 | #Constraints: 27872 974.91/977.49 c #Conflicts: 868000 | #Constraints: 28872 974.91/977.49 c #Conflicts: 869000 | #Constraints: 29872 974.91/977.49 c #Conflicts: 870000 | #Constraints: 30872 974.91/977.49 c #Conflicts: 871000 | #Constraints: 31872 974.91/977.49 c #Conflicts: 872000 | #Constraints: 32872 974.91/977.49 c #Conflicts: 873000 | #Constraints: 33872 974.91/977.49 c #Conflicts: 874000 | #Constraints: 34872 974.91/977.49 c #Conflicts: 875000 | #Constraints: 35872 974.91/977.49 c #Conflicts: 876000 | #Constraints: 36872 974.91/977.49 c #Conflicts: 877000 | #Constraints: 37872 974.91/977.49 c #Conflicts: 878000 | #Constraints: 38872 974.91/977.49 c #Conflicts: 879000 | #Constraints: 39872 974.91/977.49 c #Conflicts: 880000 | #Constraints: 40872 974.91/977.49 c #Conflicts: 881000 | #Constraints: 41872 974.91/977.49 c #Conflicts: 882000 | #Constraints: 42872 974.91/977.49 c #Conflicts: 883000 | #Constraints: 43872 974.91/977.49 c #Conflicts: 884000 | #Constraints: 44872 974.91/977.49 c INPROCESSING 974.91/977.49 c GARBAGE COLLECT 974.91/977.49 c rational objective 808.626 1004.93/1007.52 c #Conflicts: 885000 | #Constraints: 27304 1004.93/1007.52 c #Conflicts: 886000 | #Constraints: 28304 1004.93/1007.52 c #Conflicts: 887000 | #Constraints: 29304 1004.93/1007.52 c #Conflicts: 888000 | #Constraints: 30304 1004.93/1007.52 c #Conflicts: 889000 | #Constraints: 31304 1004.93/1007.52 c #Conflicts: 890000 | #Constraints: 32304 1004.93/1007.52 c #Conflicts: 891000 | #Constraints: 33304 1004.93/1007.52 c #Conflicts: 892000 | #Constraints: 34304 1004.93/1007.52 c #Conflicts: 893000 | #Constraints: 35304 1004.93/1007.52 c #Conflicts: 894000 | #Constraints: 36304 1004.93/1007.52 c #Conflicts: 895000 | #Constraints: 37304 1004.93/1007.52 c #Conflicts: 896000 | #Constraints: 38304 1004.93/1007.52 c #Conflicts: 897000 | #Constraints: 39304 1004.93/1007.52 c #Conflicts: 898000 | #Constraints: 40304 1004.93/1007.52 c #Conflicts: 899000 | #Constraints: 41304 1004.93/1007.52 c #Conflicts: 900000 | #Constraints: 42304 1004.93/1007.52 c #Conflicts: 901000 | #Constraints: 43304 1004.93/1007.52 c #Conflicts: 902000 | #Constraints: 44304 1004.93/1007.52 c #Conflicts: 903000 | #Constraints: 45304 1004.93/1007.52 c INPROCESSING 1004.93/1007.52 c GARBAGE COLLECT 1004.93/1007.52 c rational objective 809.382 1036.37/1039.06 c #Conflicts: 904000 | #Constraints: 27517 1036.37/1039.06 c #Conflicts: 905000 | #Constraints: 28517 1036.37/1039.06 c #Conflicts: 906000 | #Constraints: 29517 1036.37/1039.06 c #Conflicts: 907000 | #Constraints: 30517 1036.37/1039.06 c #Conflicts: 908000 | #Constraints: 31517 1036.37/1039.06 c #Conflicts: 909000 | #Constraints: 32517 1036.37/1039.06 c #Conflicts: 910000 | #Constraints: 33517 1036.37/1039.06 c #Conflicts: 911000 | #Constraints: 34517 1036.37/1039.06 c #Conflicts: 912000 | #Constraints: 35517 1036.37/1039.06 c #Conflicts: 913000 | #Constraints: 36517 1036.37/1039.06 c #Conflicts: 914000 | #Constraints: 37517 1036.37/1039.06 c #Conflicts: 915000 | #Constraints: 38517 1036.37/1039.06 c #Conflicts: 916000 | #Constraints: 39517 1036.37/1039.06 c #Conflicts: 917000 | #Constraints: 40517 1036.37/1039.06 c #Conflicts: 918000 | #Constraints: 41517 1036.37/1039.06 c #Conflicts: 919000 | #Constraints: 42517 1036.37/1039.06 c #Conflicts: 920000 | #Constraints: 43517 1036.37/1039.06 c #Conflicts: 921000 | #Constraints: 44517 1036.37/1039.06 c #Conflicts: 922000 | #Constraints: 45517 1036.37/1039.06 c INPROCESSING 1036.37/1039.06 c GARBAGE COLLECT 1036.37/1039.06 c rational objective 809.444 1065.78/1068.58 c #Conflicts: 923000 | #Constraints: 27508 1065.78/1068.58 c #Conflicts: 924000 | #Constraints: 28508 1065.78/1068.58 c #Conflicts: 925000 | #Constraints: 29508 1065.78/1068.58 c #Conflicts: 926000 | #Constraints: 30508 1065.78/1068.58 c #Conflicts: 927000 | #Constraints: 31508 1065.78/1068.58 c #Conflicts: 928000 | #Constraints: 32508 1065.78/1068.58 c #Conflicts: 929000 | #Constraints: 33508 1065.78/1068.58 c #Conflicts: 930000 | #Constraints: 34508 1065.78/1068.58 c #Conflicts: 931000 | #Constraints: 35508 1065.78/1068.58 c #Conflicts: 932000 | #Constraints: 36508 1065.78/1068.58 c #Conflicts: 933000 | #Constraints: 37508 1065.78/1068.58 c #Conflicts: 934000 | #Constraints: 38508 1065.78/1068.58 c #Conflicts: 935000 | #Constraints: 39508 1065.78/1068.58 c #Conflicts: 936000 | #Constraints: 40508 1065.78/1068.58 c #Conflicts: 937000 | #Constraints: 41508 1065.78/1068.58 c #Conflicts: 938000 | #Constraints: 42508 1065.78/1068.58 c #Conflicts: 939000 | #Constraints: 43508 1065.78/1068.58 c #Conflicts: 940000 | #Constraints: 44508 1065.78/1068.58 c #Conflicts: 941000 | #Constraints: 45508 1065.78/1068.58 c INPROCESSING 1065.78/1068.58 c GARBAGE COLLECT 1065.78/1068.58 c rational objective 809.723 1096.79/1099.65 c #Conflicts: 942000 | #Constraints: 27311 1096.79/1099.65 c #Conflicts: 943000 | #Constraints: 28311 1096.79/1099.65 c #Conflicts: 944000 | #Constraints: 29311 1096.79/1099.65 c #Conflicts: 945000 | #Constraints: 30311 1096.79/1099.65 c #Conflicts: 946000 | #Constraints: 31311 1096.79/1099.65 c #Conflicts: 947000 | #Constraints: 32311 1096.79/1099.65 c #Conflicts: 948000 | #Constraints: 33311 1096.79/1099.65 c #Conflicts: 949000 | #Constraints: 34311 1096.79/1099.65 c #Conflicts: 950000 | #Constraints: 35311 1096.79/1099.65 c #Conflicts: 951000 | #Constraints: 36311 1096.79/1099.65 c #Conflicts: 952000 | #Constraints: 37311 1096.79/1099.65 c #Conflicts: 953000 | #Constraints: 38311 1096.79/1099.65 c #Conflicts: 954000 | #Constraints: 39311 1096.79/1099.65 c #Conflicts: 955000 | #Constraints: 40311 1096.79/1099.65 c #Conflicts: 956000 | #Constraints: 41311 1096.79/1099.65 c #Conflicts: 957000 | #Constraints: 42311 1096.79/1099.65 c #Conflicts: 958000 | #Constraints: 43311 1096.79/1099.65 c #Conflicts: 959000 | #Constraints: 44311 1096.79/1099.65 c #Conflicts: 960000 | #Constraints: 45311 1096.79/1099.65 c #Conflicts: 961000 | #Constraints: 46311 1096.79/1099.65 c INPROCESSING 1096.79/1099.65 c GARBAGE COLLECT 1096.79/1099.65 c rational objective 809.772 1129.90/1132.81 c #Conflicts: 962000 | #Constraints: 27906 1129.90/1132.81 c #Conflicts: 963000 | #Constraints: 28906 1129.90/1132.81 c #Conflicts: 964000 | #Constraints: 29906 1129.90/1132.81 c #Conflicts: 965000 | #Constraints: 30906 1129.90/1132.81 c #Conflicts: 966000 | #Constraints: 31906 1129.90/1132.81 c #Conflicts: 967000 | #Constraints: 32906 1129.90/1132.81 c #Conflicts: 968000 | #Constraints: 33906 1129.90/1132.81 c #Conflicts: 969000 | #Constraints: 34906 1129.90/1132.81 c #Conflicts: 970000 | #Constraints: 35906 1129.90/1132.81 c #Conflicts: 971000 | #Constraints: 36906 1129.90/1132.81 c #Conflicts: 972000 | #Constraints: 37906 1129.90/1132.81 c #Conflicts: 973000 | #Constraints: 38906 1129.90/1132.81 c #Conflicts: 974000 | #Constraints: 39906 1129.90/1132.81 c #Conflicts: 975000 | #Constraints: 40906 1129.90/1132.81 c #Conflicts: 976000 | #Constraints: 41906 1129.90/1132.81 c #Conflicts: 977000 | #Constraints: 42906 1129.90/1132.81 c #Conflicts: 978000 | #Constraints: 43906 1129.90/1132.81 c #Conflicts: 979000 | #Constraints: 44906 1129.90/1132.81 c #Conflicts: 980000 | #Constraints: 45906 1129.90/1132.81 c #Conflicts: 981000 | #Constraints: 46906 1129.90/1132.81 c INPROCESSING 1129.90/1132.81 c GARBAGE COLLECT 1129.90/1132.81 c rational objective 809.788 1161.62/1164.65 c #Conflicts: 982000 | #Constraints: 28313 1161.62/1164.65 c #Conflicts: 983000 | #Constraints: 29313 1161.62/1164.65 c #Conflicts: 984000 | #Constraints: 30313 1161.62/1164.65 c #Conflicts: 985000 | #Constraints: 31313 1161.62/1164.65 c #Conflicts: 986000 | #Constraints: 32313 1161.62/1164.65 c #Conflicts: 987000 | #Constraints: 33313 1161.62/1164.65 c #Conflicts: 988000 | #Constraints: 34313 1161.62/1164.65 c #Conflicts: 989000 | #Constraints: 35313 1161.62/1164.65 c #Conflicts: 990000 | #Constraints: 36313 1161.62/1164.65 c #Conflicts: 991000 | #Constraints: 37313 1161.62/1164.65 c #Conflicts: 992000 | #Constraints: 38313 1161.62/1164.65 c #Conflicts: 993000 | #Constraints: 39313 1161.62/1164.65 c #Conflicts: 994000 | #Constraints: 40313 1161.62/1164.65 c #Conflicts: 995000 | #Constraints: 41313 1161.62/1164.65 c #Conflicts: 996000 | #Constraints: 42313 1161.62/1164.65 c #Conflicts: 997000 | #Constraints: 43313 1161.62/1164.65 c #Conflicts: 998000 | #Constraints: 44313 1161.62/1164.65 c #Conflicts: 999000 | #Constraints: 45313 1161.62/1164.65 c #Conflicts: 1000000 | #Constraints: 46313 1161.62/1164.65 c #Conflicts: 1001000 | #Constraints: 47313 1161.62/1164.65 c INPROCESSING 1161.62/1164.65 c GARBAGE COLLECT 1161.62/1164.65 c rational objective 809.798 1194.44/1197.51 c #Conflicts: 1002000 | #Constraints: 28509 1194.44/1197.51 c #Conflicts: 1003000 | #Constraints: 29509 1194.44/1197.51 c #Conflicts: 1004000 | #Constraints: 30509 1194.44/1197.51 c #Conflicts: 1005000 | #Constraints: 31509 1194.44/1197.51 c #Conflicts: 1006000 | #Constraints: 32509 1194.44/1197.51 c #Conflicts: 1007000 | #Constraints: 33509 1194.44/1197.51 c #Conflicts: 1008000 | #Constraints: 34509 1194.44/1197.51 c #Conflicts: 1009000 | #Constraints: 35509 1194.44/1197.51 c #Conflicts: 1010000 | #Constraints: 36509 1194.44/1197.51 c #Conflicts: 1011000 | #Constraints: 37509 1194.44/1197.51 c #Conflicts: 1012000 | #Constraints: 38509 1194.44/1197.51 c #Conflicts: 1013000 | #Constraints: 39509 1194.44/1197.51 c #Conflicts: 1014000 | #Constraints: 40509 1194.44/1197.51 c #Conflicts: 1015000 | #Constraints: 41509 1194.44/1197.51 c #Conflicts: 1016000 | #Constraints: 42509 1194.44/1197.51 c #Conflicts: 1017000 | #Constraints: 43509 1194.44/1197.51 c #Conflicts: 1018000 | #Constraints: 44509 1194.44/1197.51 c #Conflicts: 1019000 | #Constraints: 45509 1194.44/1197.51 c #Conflicts: 1020000 | #Constraints: 46509 1194.44/1197.51 c #Conflicts: 1021000 | #Constraints: 47509 1194.44/1197.51 c INPROCESSING 1194.44/1197.51 c GARBAGE COLLECT 1194.44/1197.51 c rational objective 809.973 1228.25/1231.49 c #Conflicts: 1022000 | #Constraints: 28484 1228.25/1231.49 c #Conflicts: 1023000 | #Constraints: 29484 1228.25/1231.49 c #Conflicts: 1024000 | #Constraints: 30484 1228.25/1231.49 c #Conflicts: 1025000 | #Constraints: 31484 1228.25/1231.49 c #Conflicts: 1026000 | #Constraints: 32484 1228.25/1231.49 c #Conflicts: 1027000 | #Constraints: 33484 1228.25/1231.49 c #Conflicts: 1028000 | #Constraints: 34484 1228.25/1231.49 c #Conflicts: 1029000 | #Constraints: 35484 1228.25/1231.49 c #Conflicts: 1030000 | #Constraints: 36484 1228.25/1231.49 c #Conflicts: 1031000 | #Constraints: 37484 1228.25/1231.49 c #Conflicts: 1032000 | #Constraints: 38484 1228.25/1231.49 c #Conflicts: 1033000 | #Constraints: 39484 1228.25/1231.49 c #Conflicts: 1034000 | #Constraints: 40484 1228.25/1231.49 c #Conflicts: 1035000 | #Constraints: 41484 1228.25/1231.49 c #Conflicts: 1036000 | #Constraints: 42484 1228.25/1231.49 c #Conflicts: 1037000 | #Constraints: 43484 1228.25/1231.49 c #Conflicts: 1038000 | #Constraints: 44484 1228.25/1231.49 c #Conflicts: 1039000 | #Constraints: 45484 1228.25/1231.49 c #Conflicts: 1040000 | #Constraints: 46484 1228.25/1231.49 c #Conflicts: 1041000 | #Constraints: 47484 1228.25/1231.49 c INPROCESSING 1228.25/1231.49 c GARBAGE COLLECT 1228.25/1231.49 c rational objective 810.493 1266.17/1269.46 c #Conflicts: 1042000 | #Constraints: 28308 1266.17/1269.46 c #Conflicts: 1043000 | #Constraints: 29308 1266.17/1269.46 c #Conflicts: 1044000 | #Constraints: 30308 1266.17/1269.46 c #Conflicts: 1045000 | #Constraints: 31308 1266.17/1269.46 c #Conflicts: 1046000 | #Constraints: 32308 1266.17/1269.46 c #Conflicts: 1047000 | #Constraints: 33308 1266.17/1269.46 c #Conflicts: 1048000 | #Constraints: 34308 1266.17/1269.46 c #Conflicts: 1049000 | #Constraints: 35308 1266.17/1269.46 c #Conflicts: 1050000 | #Constraints: 36308 1266.17/1269.46 c #Conflicts: 1051000 | #Constraints: 37308 1266.17/1269.46 c #Conflicts: 1052000 | #Constraints: 38308 1266.17/1269.46 c #Conflicts: 1053000 | #Constraints: 39308 1266.17/1269.46 c #Conflicts: 1054000 | #Constraints: 40308 1266.17/1269.46 c #Conflicts: 1055000 | #Constraints: 41308 1266.17/1269.46 c #Conflicts: 1056000 | #Constraints: 42308 1266.17/1269.46 c #Conflicts: 1057000 | #Constraints: 43308 1266.17/1269.46 c #Conflicts: 1058000 | #Constraints: 44308 1266.17/1269.46 c #Conflicts: 1059000 | #Constraints: 45308 1266.17/1269.46 c #Conflicts: 1060000 | #Constraints: 46308 1266.17/1269.46 c #Conflicts: 1061000 | #Constraints: 47308 1266.17/1269.46 c #Conflicts: 1062000 | #Constraints: 48308 1266.17/1269.46 c INPROCESSING 1266.17/1269.46 c GARBAGE COLLECT 1266.17/1269.46 c rational objective 810.533 1300.70/1304.06 c #Conflicts: 1063000 | #Constraints: 28928 1300.70/1304.06 c #Conflicts: 1064000 | #Constraints: 29928 1300.70/1304.06 c #Conflicts: 1065000 | #Constraints: 30928 1300.70/1304.06 c #Conflicts: 1066000 | #Constraints: 31928 1300.70/1304.06 c #Conflicts: 1067000 | #Constraints: 32928 1300.70/1304.06 c #Conflicts: 1068000 | #Constraints: 33928 1300.70/1304.06 c #Conflicts: 1069000 | #Constraints: 34928 1300.70/1304.06 c #Conflicts: 1070000 | #Constraints: 35928 1300.70/1304.06 c #Conflicts: 1071000 | #Constraints: 36928 1300.70/1304.06 c #Conflicts: 1072000 | #Constraints: 37928 1300.70/1304.06 c #Conflicts: 1073000 | #Constraints: 38928 1300.70/1304.06 c #Conflicts: 1074000 | #Constraints: 39928 1300.70/1304.06 c #Conflicts: 1075000 | #Constraints: 40928 1300.70/1304.06 c #Conflicts: 1076000 | #Constraints: 41928 1300.70/1304.06 c #Conflicts: 1077000 | #Constraints: 42928 1300.70/1304.06 c #Conflicts: 1078000 | #Constraints: 43928 1300.70/1304.06 c #Conflicts: 1079000 | #Constraints: 44928 1300.70/1304.06 c #Conflicts: 1080000 | #Constraints: 45928 1300.70/1304.06 c #Conflicts: 1081000 | #Constraints: 46928 1300.70/1304.06 c #Conflicts: 1082000 | #Constraints: 47928 1300.70/1304.06 c #Conflicts: 1083000 | #Constraints: 48928 1300.70/1304.06 c INPROCESSING 1300.70/1304.06 c GARBAGE COLLECT 1300.70/1304.06 c rational objective 810.585 1337.39/1340.87 c #Conflicts: 1084000 | #Constraints: 29351 1337.39/1340.87 c #Conflicts: 1085000 | #Constraints: 30351 1337.39/1340.87 c #Conflicts: 1086000 | #Constraints: 31351 1337.39/1340.87 c #Conflicts: 1087000 | #Constraints: 32351 1337.39/1340.87 c #Conflicts: 1088000 | #Constraints: 33351 1337.39/1340.87 c #Conflicts: 1089000 | #Constraints: 34351 1337.39/1340.87 c #Conflicts: 1090000 | #Constraints: 35351 1337.39/1340.87 c #Conflicts: 1091000 | #Constraints: 36351 1337.39/1340.87 c #Conflicts: 1092000 | #Constraints: 37351 1337.39/1340.87 c #Conflicts: 1093000 | #Constraints: 38351 1337.39/1340.87 c #Conflicts: 1094000 | #Constraints: 39351 1337.39/1340.87 c #Conflicts: 1095000 | #Constraints: 40351 1337.39/1340.87 c #Conflicts: 1096000 | #Constraints: 41351 1337.39/1340.87 c #Conflicts: 1097000 | #Constraints: 42351 1337.39/1340.87 c #Conflicts: 1098000 | #Constraints: 43351 1337.39/1340.87 c #Conflicts: 1099000 | #Constraints: 44351 1337.39/1340.87 c #Conflicts: 1100000 | #Constraints: 45351 1337.39/1340.87 c #Conflicts: 1101000 | #Constraints: 46351 1337.39/1340.87 c #Conflicts: 1102000 | #Constraints: 47351 1337.39/1340.87 c #Conflicts: 1103000 | #Constraints: 48351 1337.39/1340.87 c #Conflicts: 1104000 | #Constraints: 49351 1337.39/1340.87 c INPROCESSING 1337.39/1340.87 c GARBAGE COLLECT 1337.39/1340.87 c rational objective 810.824 1372.90/1376.49 c #Conflicts: 1105000 | #Constraints: 29537 1372.90/1376.49 c #Conflicts: 1106000 | #Constraints: 30537 1372.90/1376.49 c #Conflicts: 1107000 | #Constraints: 31537 1372.90/1376.49 c #Conflicts: 1108000 | #Constraints: 32537 1372.90/1376.49 c #Conflicts: 1109000 | #Constraints: 33537 1372.90/1376.49 c #Conflicts: 1110000 | #Constraints: 34537 1372.90/1376.49 c #Conflicts: 1111000 | #Constraints: 35537 1372.90/1376.49 c #Conflicts: 1112000 | #Constraints: 36537 1372.90/1376.49 c #Conflicts: 1113000 | #Constraints: 37537 1372.90/1376.49 c #Conflicts: 1114000 | #Constraints: 38537 1372.90/1376.49 c #Conflicts: 1115000 | #Constraints: 39537 1372.90/1376.49 c #Conflicts: 1116000 | #Constraints: 40537 1372.90/1376.49 c #Conflicts: 1117000 | #Constraints: 41537 1372.90/1376.49 c #Conflicts: 1118000 | #Constraints: 42537 1372.90/1376.49 c #Conflicts: 1119000 | #Constraints: 43537 1372.90/1376.49 c #Conflicts: 1120000 | #Constraints: 44537 1372.90/1376.49 c #Conflicts: 1121000 | #Constraints: 45537 1372.90/1376.49 c #Conflicts: 1122000 | #Constraints: 46537 1372.90/1376.49 c #Conflicts: 1123000 | #Constraints: 47537 1372.90/1376.49 c #Conflicts: 1124000 | #Constraints: 48537 1372.90/1376.49 c #Conflicts: 1125000 | #Constraints: 49537 1372.90/1376.49 c INPROCESSING 1372.90/1376.49 c GARBAGE COLLECT 1372.90/1376.49 c rational objective 810.858 1416.29/1419.94 c #Conflicts: 1126000 | #Constraints: 29538 1416.29/1419.94 c #Conflicts: 1127000 | #Constraints: 30538 1416.29/1419.94 c #Conflicts: 1128000 | #Constraints: 31538 1416.29/1419.94 c #Conflicts: 1129000 | #Constraints: 32538 1416.29/1419.94 c #Conflicts: 1130000 | #Constraints: 33538 1416.29/1419.94 c #Conflicts: 1131000 | #Constraints: 34538 1416.29/1419.94 c #Conflicts: 1132000 | #Constraints: 35538 1416.29/1419.94 c #Conflicts: 1133000 | #Constraints: 36538 1416.29/1419.94 c #Conflicts: 1134000 | #Constraints: 37538 1416.29/1419.94 c #Conflicts: 1135000 | #Constraints: 38538 1416.29/1419.94 c #Conflicts: 1136000 | #Constraints: 39538 1416.29/1419.94 c #Conflicts: 1137000 | #Constraints: 40538 1416.29/1419.94 c #Conflicts: 1138000 | #Constraints: 41538 1416.29/1419.94 c #Conflicts: 1139000 | #Constraints: 42538 1416.29/1419.94 c #Conflicts: 1140000 | #Constraints: 43538 1416.29/1419.94 c #Conflicts: 1141000 | #Constraints: 44538 1416.29/1419.94 c #Conflicts: 1142000 | #Constraints: 45538 1416.29/1419.94 c #Conflicts: 1143000 | #Constraints: 46538 1416.29/1419.94 c #Conflicts: 1144000 | #Constraints: 47538 1416.29/1419.94 c #Conflicts: 1145000 | #Constraints: 48538 1416.29/1419.94 c #Conflicts: 1146000 | #Constraints: 49538 1416.29/1419.94 c INPROCESSING 1416.29/1419.94 c GARBAGE COLLECT 1416.29/1419.94 c rational objective 810.868 1459.59/1463.33 c #Conflicts: 1147000 | #Constraints: 29331 1459.59/1463.33 c #Conflicts: 1148000 | #Constraints: 30331 1459.59/1463.33 c #Conflicts: 1149000 | #Constraints: 31331 1459.59/1463.33 c #Conflicts: 1150000 | #Constraints: 32331 1459.59/1463.33 c #Conflicts: 1151000 | #Constraints: 33331 1459.59/1463.33 c #Conflicts: 1152000 | #Constraints: 34331 1459.59/1463.33 c #Conflicts: 1153000 | #Constraints: 35331 1459.59/1463.33 c #Conflicts: 1154000 | #Constraints: 36331 1459.59/1463.33 c #Conflicts: 1155000 | #Constraints: 37331 1459.59/1463.33 c #Conflicts: 1156000 | #Constraints: 38331 1459.59/1463.33 c #Conflicts: 1157000 | #Constraints: 39331 1459.59/1463.33 c #Conflicts: 1158000 | #Constraints: 40331 1459.59/1463.33 c #Conflicts: 1159000 | #Constraints: 41331 1459.59/1463.33 c #Conflicts: 1160000 | #Constraints: 42331 1459.59/1463.33 c #Conflicts: 1161000 | #Constraints: 43331 1459.59/1463.33 c #Conflicts: 1162000 | #Constraints: 44331 1459.59/1463.33 c #Conflicts: 1163000 | #Constraints: 45331 1459.59/1463.33 c #Conflicts: 1164000 | #Constraints: 46331 1459.59/1463.33 c #Conflicts: 1165000 | #Constraints: 47331 1459.59/1463.33 c #Conflicts: 1166000 | #Constraints: 48331 1459.59/1463.33 c #Conflicts: 1167000 | #Constraints: 49331 1459.59/1463.33 c #Conflicts: 1168000 | #Constraints: 50331 1459.59/1463.33 c INPROCESSING 1459.59/1463.33 c GARBAGE COLLECT 1459.59/1463.33 c rational objective 811.335 1504.07/1507.94 c #Conflicts: 1169000 | #Constraints: 29923 1504.07/1507.94 c #Conflicts: 1170000 | #Constraints: 30923 1504.07/1507.94 c #Conflicts: 1171000 | #Constraints: 31923 1504.07/1507.94 c #Conflicts: 1172000 | #Constraints: 32923 1504.07/1507.94 c #Conflicts: 1173000 | #Constraints: 33923 1504.07/1507.94 c #Conflicts: 1174000 | #Constraints: 34923 1504.07/1507.94 c #Conflicts: 1175000 | #Constraints: 35923 1504.07/1507.94 c #Conflicts: 1176000 | #Constraints: 36923 1504.07/1507.94 c #Conflicts: 1177000 | #Constraints: 37923 1504.07/1507.94 c #Conflicts: 1178000 | #Constraints: 38923 1504.07/1507.94 c #Conflicts: 1179000 | #Constraints: 39923 1504.07/1507.94 c #Conflicts: 1180000 | #Constraints: 40923 1504.07/1507.94 c #Conflicts: 1181000 | #Constraints: 41923 1504.07/1507.94 c #Conflicts: 1182000 | #Constraints: 42923 1504.07/1507.94 c #Conflicts: 1183000 | #Constraints: 43923 1504.07/1507.94 c #Conflicts: 1184000 | #Constraints: 44923 1504.07/1507.94 c #Conflicts: 1185000 | #Constraints: 45923 1504.07/1507.94 c #Conflicts: 1186000 | #Constraints: 46923 1504.07/1507.94 c #Conflicts: 1187000 | #Constraints: 47923 1504.07/1507.94 c #Conflicts: 1188000 | #Constraints: 48923 1504.07/1507.94 c #Conflicts: 1189000 | #Constraints: 49923 1504.07/1507.94 c #Conflicts: 1190000 | #Constraints: 50923 1504.07/1507.94 c INPROCESSING 1504.07/1507.94 c GARBAGE COLLECT 1504.07/1507.94 c rational objective 811.592 1547.25/1551.29 c #Conflicts: 1191000 | #Constraints: 30319 1547.25/1551.29 c #Conflicts: 1192000 | #Constraints: 31319 1547.25/1551.29 c #Conflicts: 1193000 | #Constraints: 32319 1547.25/1551.29 c #Conflicts: 1194000 | #Constraints: 33319 1547.25/1551.29 c #Conflicts: 1195000 | #Constraints: 34319 1547.25/1551.29 c #Conflicts: 1196000 | #Constraints: 35319 1547.25/1551.29 c #Conflicts: 1197000 | #Constraints: 36319 1547.25/1551.29 c #Conflicts: 1198000 | #Constraints: 37319 1547.25/1551.29 c #Conflicts: 1199000 | #Constraints: 38319 1547.25/1551.29 c #Conflicts: 1200000 | #Constraints: 39319 1547.25/1551.29 c #Conflicts: 1201000 | #Constraints: 40319 1547.25/1551.29 c #Conflicts: 1202000 | #Constraints: 41319 1547.25/1551.29 c #Conflicts: 1203000 | #Constraints: 42319 1547.25/1551.29 c #Conflicts: 1204000 | #Constraints: 43319 1547.25/1551.29 c #Conflicts: 1205000 | #Constraints: 44319 1547.25/1551.29 c #Conflicts: 1206000 | #Constraints: 45319 1547.25/1551.29 c #Conflicts: 1207000 | #Constraints: 46319 1547.25/1551.29 c #Conflicts: 1208000 | #Constraints: 47319 1547.25/1551.29 c #Conflicts: 1209000 | #Constraints: 48319 1547.25/1551.29 c #Conflicts: 1210000 | #Constraints: 49319 1547.25/1551.29 c #Conflicts: 1211000 | #Constraints: 50319 1547.25/1551.29 c #Conflicts: 1212000 | #Constraints: 51319 1547.25/1551.29 c INPROCESSING 1547.25/1551.29 c GARBAGE COLLECT 1547.25/1551.29 c rational objective 812.167 1591.15/1595.23 c #Conflicts: 1213000 | #Constraints: 30529 1591.15/1595.23 c #Conflicts: 1214000 | #Constraints: 31529 1591.15/1595.23 c #Conflicts: 1215000 | #Constraints: 32529 1591.15/1595.23 c #Conflicts: 1216000 | #Constraints: 33529 1591.15/1595.23 c #Conflicts: 1217000 | #Constraints: 34529 1591.15/1595.23 c #Conflicts: 1218000 | #Constraints: 35529 1591.15/1595.23 c #Conflicts: 1219000 | #Constraints: 36529 1591.15/1595.23 c #Conflicts: 1220000 | #Constraints: 37529 1591.15/1595.23 c #Conflicts: 1221000 | #Constraints: 38529 1591.15/1595.23 c #Conflicts: 1222000 | #Constraints: 39529 1591.15/1595.23 c #Conflicts: 1223000 | #Constraints: 40529 1591.15/1595.23 c #Conflicts: 1224000 | #Constraints: 41529 1591.15/1595.23 c #Conflicts: 1225000 | #Constraints: 42529 1591.15/1595.23 c #Conflicts: 1226000 | #Constraints: 43529 1591.15/1595.23 c #Conflicts: 1227000 | #Constraints: 44529 1591.15/1595.23 c #Conflicts: 1228000 | #Constraints: 45529 1591.15/1595.23 c #Conflicts: 1229000 | #Constraints: 46529 1591.15/1595.23 c #Conflicts: 1230000 | #Constraints: 47529 1591.15/1595.23 c #Conflicts: 1231000 | #Constraints: 48529 1591.15/1595.23 c #Conflicts: 1232000 | #Constraints: 49529 1591.15/1595.23 c #Conflicts: 1233000 | #Constraints: 50529 1591.15/1595.23 c #Conflicts: 1234000 | #Constraints: 51529 1591.15/1595.23 c INPROCESSING 1591.15/1595.23 c GARBAGE COLLECT 1591.15/1595.23 c rational objective 812.515 1632.24/1636.46 c #Conflicts: 1235000 | #Constraints: 30518 1632.24/1636.46 c #Conflicts: 1236000 | #Constraints: 31518 1632.24/1636.46 c #Conflicts: 1237000 | #Constraints: 32518 1632.24/1636.46 c #Conflicts: 1238000 | #Constraints: 33518 1632.24/1636.46 c #Conflicts: 1239000 | #Constraints: 34518 1632.24/1636.46 c #Conflicts: 1240000 | #Constraints: 35518 1632.24/1636.46 c #Conflicts: 1241000 | #Constraints: 36518 1632.24/1636.46 c #Conflicts: 1242000 | #Constraints: 37518 1632.24/1636.46 c #Conflicts: 1243000 | #Constraints: 38518 1632.24/1636.46 c #Conflicts: 1244000 | #Constraints: 39518 1632.24/1636.46 c #Conflicts: 1245000 | #Constraints: 40518 1632.24/1636.46 c #Conflicts: 1246000 | #Constraints: 41518 1632.24/1636.46 c #Conflicts: 1247000 | #Constraints: 42518 1632.24/1636.46 c #Conflicts: 1248000 | #Constraints: 43518 1632.24/1636.46 c #Conflicts: 1249000 | #Constraints: 44518 1632.24/1636.46 c #Conflicts: 1250000 | #Constraints: 45518 1632.24/1636.46 c #Conflicts: 1251000 | #Constraints: 46518 1632.24/1636.46 c #Conflicts: 1252000 | #Constraints: 47518 1632.24/1636.46 c #Conflicts: 1253000 | #Constraints: 48518 1632.24/1636.46 c #Conflicts: 1254000 | #Constraints: 49518 1632.24/1636.46 c #Conflicts: 1255000 | #Constraints: 50518 1632.24/1636.46 c #Conflicts: 1256000 | #Constraints: 51518 1632.24/1636.46 c INPROCESSING 1632.24/1636.46 c GARBAGE COLLECT 1632.24/1636.46 c rational objective 812.614 1677.93/1682.24 c #Conflicts: 1257000 | #Constraints: 30324 1677.93/1682.24 c #Conflicts: 1258000 | #Constraints: 31324 1677.93/1682.24 c #Conflicts: 1259000 | #Constraints: 32324 1677.93/1682.24 c #Conflicts: 1260000 | #Constraints: 33324 1677.93/1682.24 c #Conflicts: 1261000 | #Constraints: 34324 1677.93/1682.24 c #Conflicts: 1262000 | #Constraints: 35324 1677.93/1682.24 c #Conflicts: 1263000 | #Constraints: 36324 1677.93/1682.24 c #Conflicts: 1264000 | #Constraints: 37324 1677.93/1682.24 c #Conflicts: 1265000 | #Constraints: 38324 1677.93/1682.24 c #Conflicts: 1266000 | #Constraints: 39324 1677.93/1682.24 c #Conflicts: 1267000 | #Constraints: 40324 1677.93/1682.24 c #Conflicts: 1268000 | #Constraints: 41324 1677.93/1682.24 c #Conflicts: 1269000 | #Constraints: 42324 1677.93/1682.24 c #Conflicts: 1270000 | #Constraints: 43324 1677.93/1682.24 c #Conflicts: 1271000 | #Constraints: 44324 1677.93/1682.24 c #Conflicts: 1272000 | #Constraints: 45324 1677.93/1682.24 c #Conflicts: 1273000 | #Constraints: 46324 1677.93/1682.24 c #Conflicts: 1274000 | #Constraints: 47324 1677.93/1682.24 c #Conflicts: 1275000 | #Constraints: 48324 1677.93/1682.24 c #Conflicts: 1276000 | #Constraints: 49324 1677.93/1682.24 c #Conflicts: 1277000 | #Constraints: 50324 1677.93/1682.24 c #Conflicts: 1278000 | #Constraints: 51324 1677.93/1682.24 c #Conflicts: 1279000 | #Constraints: 52324 1677.93/1682.24 c INPROCESSING 1677.93/1682.24 c GARBAGE COLLECT 1677.93/1682.24 c rational objective 813.017 1722.52/1726.91 c #Conflicts: 1280000 | #Constraints: 30925 1722.52/1726.91 c #Conflicts: 1281000 | #Constraints: 31925 1722.52/1726.91 c #Conflicts: 1282000 | #Constraints: 32925 1722.52/1726.91 c #Conflicts: 1283000 | #Constraints: 33925 1722.52/1726.91 c #Conflicts: 1284000 | #Constraints: 34925 1722.52/1726.91 c #Conflicts: 1285000 | #Constraints: 35925 1722.52/1726.91 c #Conflicts: 1286000 | #Constraints: 36925 1722.52/1726.91 c #Conflicts: 1287000 | #Constraints: 37925 1722.52/1726.91 c #Conflicts: 1288000 | #Constraints: 38925 1722.52/1726.91 c #Conflicts: 1289000 | #Constraints: 39925 1722.52/1726.91 c #Conflicts: 1290000 | #Constraints: 40925 1722.52/1726.91 c #Conflicts: 1291000 | #Constraints: 41925 1722.52/1726.91 c #Conflicts: 1292000 | #Constraints: 42925 1722.52/1726.91 c #Conflicts: 1293000 | #Constraints: 43925 1722.52/1726.91 c #Conflicts: 1294000 | #Constraints: 44925 1722.52/1726.91 c #Conflicts: 1295000 | #Constraints: 45925 1722.52/1726.91 c #Conflicts: 1296000 | #Constraints: 46925 1722.52/1726.91 c #Conflicts: 1297000 | #Constraints: 47925 1722.52/1726.91 c #Conflicts: 1298000 | #Constraints: 48925 1722.52/1726.91 c #Conflicts: 1299000 | #Constraints: 49925 1722.52/1726.91 c #Conflicts: 1300000 | #Constraints: 50925 1722.52/1726.91 c #Conflicts: 1301000 | #Constraints: 51925 1722.52/1726.91 c #Conflicts: 1302000 | #Constraints: 52925 1722.52/1726.91 c INPROCESSING 1722.52/1726.91 c GARBAGE COLLECT 1722.52/1726.91 c rational objective 813.854 1768.40/1772.93 c #Conflicts: 1303000 | #Constraints: 31326 1768.40/1772.93 c #Conflicts: 1304000 | #Constraints: 32326 1768.40/1772.93 c #Conflicts: 1305000 | #Constraints: 33326 1768.40/1772.93 c #Conflicts: 1306000 | #Constraints: 34326 1768.40/1772.93 c #Conflicts: 1307000 | #Constraints: 35326 1768.40/1772.93 c #Conflicts: 1308000 | #Constraints: 36326 1768.40/1772.93 c #Conflicts: 1309000 | #Constraints: 37326 1768.40/1772.93 c #Conflicts: 1310000 | #Constraints: 38326 1768.40/1772.93 c #Conflicts: 1311000 | #Constraints: 39326 1768.40/1772.93 c #Conflicts: 1312000 | #Constraints: 40326 1768.40/1772.93 c #Conflicts: 1313000 | #Constraints: 41326 1768.40/1772.93 c #Conflicts: 1314000 | #Constraints: 42326 1768.40/1772.93 c #Conflicts: 1315000 | #Constraints: 43326 1768.40/1772.93 c #Conflicts: 1316000 | #Constraints: 44326 1768.40/1772.93 c #Conflicts: 1317000 | #Constraints: 45326 1768.40/1772.93 c #Conflicts: 1318000 | #Constraints: 46326 1768.40/1772.93 c #Conflicts: 1319000 | #Constraints: 47326 1768.40/1772.93 c #Conflicts: 1320000 | #Constraints: 48326 1768.40/1772.93 c #Conflicts: 1321000 | #Constraints: 49326 1768.40/1772.93 c #Conflicts: 1322000 | #Constraints: 50326 1768.40/1772.93 c #Conflicts: 1323000 | #Constraints: 51326 1768.40/1772.93 c #Conflicts: 1324000 | #Constraints: 52326 1768.40/1772.93 c #Conflicts: 1325000 | #Constraints: 53326 1768.40/1772.93 c INPROCESSING 1768.40/1772.93 c GARBAGE COLLECT 1768.40/1772.93 c rational objective 813.931 1814.51/1819.18 c #Conflicts: 1326000 | #Constraints: 31546 1814.51/1819.18 c #Conflicts: 1327000 | #Constraints: 32546 1814.51/1819.18 c #Conflicts: 1328000 | #Constraints: 33546 1814.51/1819.18 c #Conflicts: 1329000 | #Constraints: 34546 1814.51/1819.18 c #Conflicts: 1330000 | #Constraints: 35546 1814.51/1819.18 c #Conflicts: 1331000 | #Constraints: 36546 1814.51/1819.18 c #Conflicts: 1332000 | #Constraints: 37546 1814.51/1819.18 c #Conflicts: 1333000 | #Constraints: 38546 1814.51/1819.18 c #Conflicts: 1334000 | #Constraints: 39546 1814.51/1819.18 c #Conflicts: 1335000 | #Constraints: 40546 1814.51/1819.18 c #Conflicts: 1336000 | #Constraints: 41546 1814.51/1819.18 c #Conflicts: 1337000 | #Constraints: 42546 1814.51/1819.18 c #Conflicts: 1338000 | #Constraints: 43546 1814.51/1819.18 c #Conflicts: 1339000 | #Constraints: 44546 1814.51/1819.18 c #Conflicts: 1340000 | #Constraints: 45546 1814.51/1819.18 c #Conflicts: 1341000 | #Constraints: 46546 1814.51/1819.18 c #Conflicts: 1342000 | #Constraints: 47546 1814.51/1819.18 c #Conflicts: 1343000 | #Constraints: 48546 1814.51/1819.18 c #Conflicts: 1344000 | #Constraints: 49546 1814.51/1819.18 c #Conflicts: 1345000 | #Constraints: 50546 1814.51/1819.18 c #Conflicts: 1346000 | #Constraints: 51546 1814.51/1819.18 c #Conflicts: 1347000 | #Constraints: 52546 1814.51/1819.18 c #Conflicts: 1348000 | #Constraints: 53546 1814.51/1819.18 c INPROCESSING 1814.51/1819.18 c GARBAGE COLLECT 1814.51/1819.18 c rational objective 814.648 1859.88/1864.65 c #Conflicts: 1349000 | #Constraints: 31547 1859.88/1864.65 c #Conflicts: 1350000 | #Constraints: 32547 1859.88/1864.65 c #Conflicts: 1351000 | #Constraints: 33547 1859.88/1864.65 c #Conflicts: 1352000 | #Constraints: 34547 1859.88/1864.65 c #Conflicts: 1353000 | #Constraints: 35547 1859.88/1864.65 c #Conflicts: 1354000 | #Constraints: 36547 1859.88/1864.65 c #Conflicts: 1355000 | #Constraints: 37547 1859.88/1864.65 c #Conflicts: 1356000 | #Constraints: 38547 1859.88/1864.65 c #Conflicts: 1357000 | #Constraints: 39547 1859.88/1864.65 c #Conflicts: 1358000 | #Constraints: 40547 1859.88/1864.65 c #Conflicts: 1359000 | #Constraints: 41547 1859.88/1864.65 c #Conflicts: 1360000 | #Constraints: 42547 1859.88/1864.65 c #Conflicts: 1361000 | #Constraints: 43547 1859.88/1864.65 c #Conflicts: 1362000 | #Constraints: 44547 1859.88/1864.65 c #Conflicts: 1363000 | #Constraints: 45547 1859.88/1864.65 c #Conflicts: 1364000 | #Constraints: 46547 1859.88/1864.65 c #Conflicts: 1365000 | #Constraints: 47547 1859.88/1864.65 c #Conflicts: 1366000 | #Constraints: 48547 1859.88/1864.65 c #Conflicts: 1367000 | #Constraints: 49547 1859.88/1864.65 c #Conflicts: 1368000 | #Constraints: 50547 1859.88/1864.65 c #Conflicts: 1369000 | #Constraints: 51547 1859.88/1864.65 c #Conflicts: 1370000 | #Constraints: 52547 1859.88/1864.65 c #Conflicts: 1371000 | #Constraints: 53547 1859.88/1864.65 c INPROCESSING 1859.88/1864.65 c GARBAGE COLLECT 1859.88/1864.65 c rational objective 814.699 1907.47/1912.35 c #Conflicts: 1372000 | #Constraints: 31321 1907.47/1912.35 c #Conflicts: 1373000 | #Constraints: 32321 1907.47/1912.35 c #Conflicts: 1374000 | #Constraints: 33321 1907.47/1912.35 c #Conflicts: 1375000 | #Constraints: 34321 1907.47/1912.35 c #Conflicts: 1376000 | #Constraints: 35321 1907.47/1912.35 c #Conflicts: 1377000 | #Constraints: 36321 1907.47/1912.35 c #Conflicts: 1378000 | #Constraints: 37321 1907.47/1912.35 c #Conflicts: 1379000 | #Constraints: 38321 1907.47/1912.35 c #Conflicts: 1380000 | #Constraints: 39321 1907.47/1912.35 c #Conflicts: 1381000 | #Constraints: 40321 1907.47/1912.35 c #Conflicts: 1382000 | #Constraints: 41321 1907.47/1912.35 c #Conflicts: 1383000 | #Constraints: 42321 1907.47/1912.35 c #Conflicts: 1384000 | #Constraints: 43321 1907.47/1912.35 c #Conflicts: 1385000 | #Constraints: 44321 1907.47/1912.35 c #Conflicts: 1386000 | #Constraints: 45321 1907.47/1912.35 c #Conflicts: 1387000 | #Constraints: 46321 1907.47/1912.35 c #Conflicts: 1388000 | #Constraints: 47321 1907.47/1912.35 c #Conflicts: 1389000 | #Constraints: 48321 1907.47/1912.35 c #Conflicts: 1390000 | #Constraints: 49321 1907.47/1912.35 c #Conflicts: 1391000 | #Constraints: 50321 1907.47/1912.35 c #Conflicts: 1392000 | #Constraints: 51321 1907.47/1912.35 c #Conflicts: 1393000 | #Constraints: 52321 1907.47/1912.35 c #Conflicts: 1394000 | #Constraints: 53321 1907.47/1912.35 c #Conflicts: 1395000 | #Constraints: 54321 1907.47/1912.35 c INPROCESSING 1907.47/1912.35 c GARBAGE COLLECT 1907.47/1912.35 c rational objective 814.846 1957.36/1962.33 c #Conflicts: 1396000 | #Constraints: 31928 1957.36/1962.33 c #Conflicts: 1397000 | #Constraints: 32928 1957.36/1962.33 c #Conflicts: 1398000 | #Constraints: 33928 1957.36/1962.33 c #Conflicts: 1399000 | #Constraints: 34928 1957.36/1962.33 c #Conflicts: 1400000 | #Constraints: 35928 1957.36/1962.33 c #Conflicts: 1401000 | #Constraints: 36928 1957.36/1962.33 c #Conflicts: 1402000 | #Constraints: 37928 1957.36/1962.33 c #Conflicts: 1403000 | #Constraints: 38928 1957.36/1962.33 c #Conflicts: 1404000 | #Constraints: 39928 1957.36/1962.33 c #Conflicts: 1405000 | #Constraints: 40928 1957.36/1962.33 c #Conflicts: 1406000 | #Constraints: 41928 1957.36/1962.33 c #Conflicts: 1407000 | #Constraints: 42928 1957.36/1962.33 c #Conflicts: 1408000 | #Constraints: 43928 1957.36/1962.33 c #Conflicts: 1409000 | #Constraints: 44928 1957.36/1962.33 c #Conflicts: 1410000 | #Constraints: 45928 1957.36/1962.33 c #Conflicts: 1411000 | #Constraints: 46928 1957.36/1962.33 c #Conflicts: 1412000 | #Constraints: 47928 1957.36/1962.33 c #Conflicts: 1413000 | #Constraints: 48928 1957.36/1962.33 c #Conflicts: 1414000 | #Constraints: 49928 1957.36/1962.33 c #Conflicts: 1415000 | #Constraints: 50928 1957.36/1962.33 c #Conflicts: 1416000 | #Constraints: 51928 1957.36/1962.33 c #Conflicts: 1417000 | #Constraints: 52928 1957.36/1962.33 c #Conflicts: 1418000 | #Constraints: 53928 1957.36/1962.33 c #Conflicts: 1419000 | #Constraints: 54928 1957.36/1962.33 c INPROCESSING 1957.36/1962.33 c GARBAGE COLLECT 1957.36/1962.33 c rational objective 814.894 2009.12/2014.25 c #Conflicts: 1420000 | #Constraints: 32323 2009.12/2014.25 c #Conflicts: 1421000 | #Constraints: 33323 2009.12/2014.25 c #Conflicts: 1422000 | #Constraints: 34323 2009.12/2014.25 c #Conflicts: 1423000 | #Constraints: 35323 2009.12/2014.25 c #Conflicts: 1424000 | #Constraints: 36323 2009.12/2014.25 c #Conflicts: 1425000 | #Constraints: 37323 2009.12/2014.25 c #Conflicts: 1426000 | #Constraints: 38323 2009.12/2014.25 c #Conflicts: 1427000 | #Constraints: 39323 2009.12/2014.25 c #Conflicts: 1428000 | #Constraints: 40323 2009.12/2014.25 c #Conflicts: 1429000 | #Constraints: 41323 2009.12/2014.25 c #Conflicts: 1430000 | #Constraints: 42323 2009.12/2014.25 c #Conflicts: 1431000 | #Constraints: 43323 2009.12/2014.25 c #Conflicts: 1432000 | #Constraints: 44323 2009.12/2014.25 c #Conflicts: 1433000 | #Constraints: 45323 2009.12/2014.25 c #Conflicts: 1434000 | #Constraints: 46323 2009.12/2014.25 c #Conflicts: 1435000 | #Constraints: 47323 2009.12/2014.25 c #Conflicts: 1436000 | #Constraints: 48323 2009.12/2014.25 c #Conflicts: 1437000 | #Constraints: 49323 2009.12/2014.25 c #Conflicts: 1438000 | #Constraints: 50323 2009.12/2014.25 c #Conflicts: 1439000 | #Constraints: 51323 2009.12/2014.25 c #Conflicts: 1440000 | #Constraints: 52323 2009.12/2014.25 c #Conflicts: 1441000 | #Constraints: 53323 2009.12/2014.25 c #Conflicts: 1442000 | #Constraints: 54323 2009.12/2014.25 c #Conflicts: 1443000 | #Constraints: 55323 2009.12/2014.25 c INPROCESSING 2009.12/2014.25 c GARBAGE COLLECT 2009.12/2014.25 c rational objective 814.898 2062.59/2067.83 c #Conflicts: 1444000 | #Constraints: 32534 2062.59/2067.83 c #Conflicts: 1445000 | #Constraints: 33534 2062.59/2067.83 c #Conflicts: 1446000 | #Constraints: 34534 2062.59/2067.83 c #Conflicts: 1447000 | #Constraints: 35534 2062.59/2067.83 c #Conflicts: 1448000 | #Constraints: 36534 2062.59/2067.83 c #Conflicts: 1449000 | #Constraints: 37534 2062.59/2067.83 c #Conflicts: 1450000 | #Constraints: 38534 2062.59/2067.83 c #Conflicts: 1451000 | #Constraints: 39534 2062.59/2067.83 c #Conflicts: 1452000 | #Constraints: 40534 2062.59/2067.83 c #Conflicts: 1453000 | #Constraints: 41534 2062.59/2067.83 c #Conflicts: 1454000 | #Constraints: 42534 2062.59/2067.83 c #Conflicts: 1455000 | #Constraints: 43534 2062.59/2067.83 c #Conflicts: 1456000 | #Constraints: 44534 2062.59/2067.83 c #Conflicts: 1457000 | #Constraints: 45534 2062.59/2067.83 c #Conflicts: 1458000 | #Constraints: 46534 2062.59/2067.83 c #Conflicts: 1459000 | #Constraints: 47534 2062.59/2067.83 c #Conflicts: 1460000 | #Constraints: 48534 2062.59/2067.83 c #Conflicts: 1461000 | #Constraints: 49534 2062.59/2067.83 c #Conflicts: 1462000 | #Constraints: 50534 2062.59/2067.83 c #Conflicts: 1463000 | #Constraints: 51534 2062.59/2067.83 c #Conflicts: 1464000 | #Constraints: 52534 2062.59/2067.83 c #Conflicts: 1465000 | #Constraints: 53534 2062.59/2067.83 c #Conflicts: 1466000 | #Constraints: 54534 2062.59/2067.83 c #Conflicts: 1467000 | #Constraints: 55534 2062.59/2067.83 c INPROCESSING 2062.59/2067.83 c GARBAGE COLLECT 2062.59/2067.83 c rational objective 814.898 2117.06/2122.49 c #Conflicts: 1468000 | #Constraints: 32579 2117.06/2122.49 c #Conflicts: 1469000 | #Constraints: 33579 2117.06/2122.49 c #Conflicts: 1470000 | #Constraints: 34579 2117.06/2122.49 c #Conflicts: 1471000 | #Constraints: 35579 2117.06/2122.49 c #Conflicts: 1472000 | #Constraints: 36579 2117.06/2122.49 c #Conflicts: 1473000 | #Constraints: 37579 2117.06/2122.49 c #Conflicts: 1474000 | #Constraints: 38579 2117.06/2122.49 c #Conflicts: 1475000 | #Constraints: 39579 2117.06/2122.49 c #Conflicts: 1476000 | #Constraints: 40579 2117.06/2122.49 c #Conflicts: 1477000 | #Constraints: 41579 2117.06/2122.49 c #Conflicts: 1478000 | #Constraints: 42579 2117.06/2122.49 c #Conflicts: 1479000 | #Constraints: 43579 2117.06/2122.49 c #Conflicts: 1480000 | #Constraints: 44579 2117.06/2122.49 c #Conflicts: 1481000 | #Constraints: 45579 2117.06/2122.49 c #Conflicts: 1482000 | #Constraints: 46579 2117.06/2122.49 c #Conflicts: 1483000 | #Constraints: 47579 2117.06/2122.49 c #Conflicts: 1484000 | #Constraints: 48579 2117.06/2122.49 c #Conflicts: 1485000 | #Constraints: 49579 2117.06/2122.49 c #Conflicts: 1486000 | #Constraints: 50579 2117.06/2122.49 c #Conflicts: 1487000 | #Constraints: 51579 2117.06/2122.49 c #Conflicts: 1488000 | #Constraints: 52579 2117.06/2122.49 c #Conflicts: 1489000 | #Constraints: 53579 2117.06/2122.49 c #Conflicts: 1490000 | #Constraints: 54579 2117.06/2122.49 c #Conflicts: 1491000 | #Constraints: 55579 2117.06/2122.49 c INPROCESSING 2117.06/2122.49 c GARBAGE COLLECT 2117.06/2122.49 c rational objective 814.963 2172.63/2178.13 c #Conflicts: 1492000 | #Constraints: 32390 2172.63/2178.13 c #Conflicts: 1493000 | #Constraints: 33390 2172.63/2178.13 c #Conflicts: 1494000 | #Constraints: 34390 2172.63/2178.13 c #Conflicts: 1495000 | #Constraints: 35390 2172.63/2178.13 c #Conflicts: 1496000 | #Constraints: 36390 2172.63/2178.13 c #Conflicts: 1497000 | #Constraints: 37390 2172.63/2178.13 c #Conflicts: 1498000 | #Constraints: 38390 2172.63/2178.13 c #Conflicts: 1499000 | #Constraints: 39390 2172.63/2178.13 c #Conflicts: 1500000 | #Constraints: 40390 2172.63/2178.13 c #Conflicts: 1501000 | #Constraints: 41390 2172.63/2178.13 c #Conflicts: 1502000 | #Constraints: 42390 2172.63/2178.13 c #Conflicts: 1503000 | #Constraints: 43390 2172.63/2178.13 c #Conflicts: 1504000 | #Constraints: 44390 2172.63/2178.13 c #Conflicts: 1505000 | #Constraints: 45390 2172.63/2178.13 c #Conflicts: 1506000 | #Constraints: 46390 2172.63/2178.13 c #Conflicts: 1507000 | #Constraints: 47390 2172.63/2178.13 c #Conflicts: 1508000 | #Constraints: 48390 2172.63/2178.13 c #Conflicts: 1509000 | #Constraints: 49390 2172.63/2178.13 c #Conflicts: 1510000 | #Constraints: 50390 2172.63/2178.13 c #Conflicts: 1511000 | #Constraints: 51390 2172.63/2178.13 c #Conflicts: 1512000 | #Constraints: 52390 2172.63/2178.13 c #Conflicts: 1513000 | #Constraints: 53390 2172.63/2178.13 c #Conflicts: 1514000 | #Constraints: 54390 2172.63/2178.13 c #Conflicts: 1515000 | #Constraints: 55390 2172.63/2178.13 c #Conflicts: 1516000 | #Constraints: 56390 2172.63/2178.13 c INPROCESSING 2172.63/2178.13 c GARBAGE COLLECT 2172.63/2178.13 c rational objective 815.01 2231.07/2236.73 c #Conflicts: 1517000 | #Constraints: 32964 2231.07/2236.73 c #Conflicts: 1518000 | #Constraints: 33964 2231.07/2236.73 c #Conflicts: 1519000 | #Constraints: 34964 2231.07/2236.73 c #Conflicts: 1520000 | #Constraints: 35964 2231.07/2236.73 c #Conflicts: 1521000 | #Constraints: 36964 2231.07/2236.73 c #Conflicts: 1522000 | #Constraints: 37964 2231.07/2236.73 c #Conflicts: 1523000 | #Constraints: 38964 2231.07/2236.73 c #Conflicts: 1524000 | #Constraints: 39964 2231.07/2236.73 c #Conflicts: 1525000 | #Constraints: 40964 2231.07/2236.73 c #Conflicts: 1526000 | #Constraints: 41964 2231.07/2236.73 c #Conflicts: 1527000 | #Constraints: 42964 2231.07/2236.73 c #Conflicts: 1528000 | #Constraints: 43964 2231.07/2236.73 c #Conflicts: 1529000 | #Constraints: 44964 2231.07/2236.73 c #Conflicts: 1530000 | #Constraints: 45964 2231.07/2236.73 c #Conflicts: 1531000 | #Constraints: 46964 2231.07/2236.73 c #Conflicts: 1532000 | #Constraints: 47964 2231.07/2236.73 c #Conflicts: 1533000 | #Constraints: 48964 2231.07/2236.73 c #Conflicts: 1534000 | #Constraints: 49964 2231.07/2236.73 c #Conflicts: 1535000 | #Constraints: 50964 2231.07/2236.73 c #Conflicts: 1536000 | #Constraints: 51964 2231.07/2236.73 c #Conflicts: 1537000 | #Constraints: 52964 2231.07/2236.73 c #Conflicts: 1538000 | #Constraints: 53964 2231.07/2236.73 c #Conflicts: 1539000 | #Constraints: 54964 2231.07/2236.73 c #Conflicts: 1540000 | #Constraints: 55964 2231.07/2236.73 c #Conflicts: 1541000 | #Constraints: 56964 2231.07/2236.73 c INPROCESSING 2231.07/2236.73 c GARBAGE COLLECT 2231.07/2236.73 c rational objective 815.082 2286.84/2292.66 c #Conflicts: 1542000 | #Constraints: 33368 2286.84/2292.66 c #Conflicts: 1543000 | #Constraints: 34368 2286.84/2292.66 c #Conflicts: 1544000 | #Constraints: 35368 2286.84/2292.66 c #Conflicts: 1545000 | #Constraints: 36368 2286.84/2292.66 c #Conflicts: 1546000 | #Constraints: 37368 2286.84/2292.66 c #Conflicts: 1547000 | #Constraints: 38368 2286.84/2292.66 c #Conflicts: 1548000 | #Constraints: 39368 2286.84/2292.66 c #Conflicts: 1549000 | #Constraints: 40368 2286.84/2292.66 c #Conflicts: 1550000 | #Constraints: 41368 2286.84/2292.66 c #Conflicts: 1551000 | #Constraints: 42368 2286.84/2292.66 c #Conflicts: 1552000 | #Constraints: 43368 2286.84/2292.66 c #Conflicts: 1553000 | #Constraints: 44368 2286.84/2292.66 c #Conflicts: 1554000 | #Constraints: 45368 2286.84/2292.66 c #Conflicts: 1555000 | #Constraints: 46368 2286.84/2292.66 c #Conflicts: 1556000 | #Constraints: 47368 2286.84/2292.66 c #Conflicts: 1557000 | #Constraints: 48368 2286.84/2292.66 c #Conflicts: 1558000 | #Constraints: 49368 2286.84/2292.66 c #Conflicts: 1559000 | #Constraints: 50368 2286.84/2292.66 c #Conflicts: 1560000 | #Constraints: 51368 2286.84/2292.66 c #Conflicts: 1561000 | #Constraints: 52368 2286.84/2292.66 c #Conflicts: 1562000 | #Constraints: 53368 2286.84/2292.66 c #Conflicts: 1563000 | #Constraints: 54368 2286.84/2292.66 c #Conflicts: 1564000 | #Constraints: 55368 2286.84/2292.66 c #Conflicts: 1565000 | #Constraints: 56368 2286.84/2292.66 c #Conflicts: 1566000 | #Constraints: 57368 2286.84/2292.66 c INPROCESSING 2286.84/2292.66 c GARBAGE COLLECT 2286.84/2292.66 c rational objective 815.169 2342.30/2348.23 c #Conflicts: 1567000 | #Constraints: 33552 2342.30/2348.23 c #Conflicts: 1568000 | #Constraints: 34552 2342.30/2348.23 c #Conflicts: 1569000 | #Constraints: 35552 2342.30/2348.23 c #Conflicts: 1570000 | #Constraints: 36552 2342.30/2348.23 c #Conflicts: 1571000 | #Constraints: 37552 2342.30/2348.23 c #Conflicts: 1572000 | #Constraints: 38552 2342.30/2348.23 c #Conflicts: 1573000 | #Constraints: 39552 2342.30/2348.23 c #Conflicts: 1574000 | #Constraints: 40552 2342.30/2348.23 c #Conflicts: 1575000 | #Constraints: 41552 2342.30/2348.23 c #Conflicts: 1576000 | #Constraints: 42552 2342.30/2348.23 c #Conflicts: 1577000 | #Constraints: 43552 2342.30/2348.23 c #Conflicts: 1578000 | #Constraints: 44552 2342.30/2348.23 c #Conflicts: 1579000 | #Constraints: 45552 2342.30/2348.23 c #Conflicts: 1580000 | #Constraints: 46552 2342.30/2348.23 c #Conflicts: 1581000 | #Constraints: 47552 2342.30/2348.23 c #Conflicts: 1582000 | #Constraints: 48552 2342.30/2348.23 c #Conflicts: 1583000 | #Constraints: 49552 2342.30/2348.23 c #Conflicts: 1584000 | #Constraints: 50552 2342.30/2348.23 c #Conflicts: 1585000 | #Constraints: 51552 2342.30/2348.23 c #Conflicts: 1586000 | #Constraints: 52552 2342.30/2348.23 c #Conflicts: 1587000 | #Constraints: 53552 2342.30/2348.23 c #Conflicts: 1588000 | #Constraints: 54552 2342.30/2348.23 c #Conflicts: 1589000 | #Constraints: 55552 2342.30/2348.23 c #Conflicts: 1590000 | #Constraints: 56552 2342.30/2348.23 c #Conflicts: 1591000 | #Constraints: 57552 2342.30/2348.23 c INPROCESSING 2342.30/2348.23 c GARBAGE COLLECT 2342.30/2348.23 c rational objective 815.496 2399.76/2405.86 c #Conflicts: 1592000 | #Constraints: 33555 2399.76/2405.86 c #Conflicts: 1593000 | #Constraints: 34555 2399.76/2405.86 c #Conflicts: 1594000 | #Constraints: 35555 2399.76/2405.86 c #Conflicts: 1595000 | #Constraints: 36555 2399.76/2405.86 c #Conflicts: 1596000 | #Constraints: 37555 2399.76/2405.86 c #Conflicts: 1597000 | #Constraints: 38555 2399.76/2405.86 c #Conflicts: 1598000 | #Constraints: 39555 2399.76/2405.86 c #Conflicts: 1599000 | #Constraints: 40555 2399.76/2405.86 c #Conflicts: 1600000 | #Constraints: 41555 2399.76/2405.86 c #Conflicts: 1601000 | #Constraints: 42555 2399.76/2405.86 c #Conflicts: 1602000 | #Constraints: 43555 2399.76/2405.86 c #Conflicts: 1603000 | #Constraints: 44555 2399.76/2405.86 c #Conflicts: 1604000 | #Constraints: 45555 2399.76/2405.86 c #Conflicts: 1605000 | #Constraints: 46555 2399.76/2405.86 c #Conflicts: 1606000 | #Constraints: 47555 2399.76/2405.86 c #Conflicts: 1607000 | #Constraints: 48555 2399.76/2405.86 c #Conflicts: 1608000 | #Constraints: 49555 2399.76/2405.86 c #Conflicts: 1609000 | #Constraints: 50555 2399.76/2405.86 c #Conflicts: 1610000 | #Constraints: 51555 2399.76/2405.86 c #Conflicts: 1611000 | #Constraints: 52555 2399.76/2405.86 c #Conflicts: 1612000 | #Constraints: 53555 2399.76/2405.86 c #Conflicts: 1613000 | #Constraints: 54555 2399.76/2405.86 c #Conflicts: 1614000 | #Constraints: 55555 2399.76/2405.86 c #Conflicts: 1615000 | #Constraints: 56555 2399.76/2405.86 c #Conflicts: 1616000 | #Constraints: 57555 2399.76/2405.86 c INPROCESSING 2399.76/2405.86 c GARBAGE COLLECT 2399.76/2405.86 c rational objective 815.616 2460.61/2466.89 c #Conflicts: 1617000 | #Constraints: 33369 2460.61/2466.89 c #Conflicts: 1618000 | #Constraints: 34369 2460.61/2466.89 c #Conflicts: 1619000 | #Constraints: 35369 2460.61/2466.89 c #Conflicts: 1620000 | #Constraints: 36369 2460.61/2466.89 c #Conflicts: 1621000 | #Constraints: 37369 2460.61/2466.89 c #Conflicts: 1622000 | #Constraints: 38369 2460.61/2466.89 c #Conflicts: 1623000 | #Constraints: 39369 2460.61/2466.89 c #Conflicts: 1624000 | #Constraints: 40369 2460.61/2466.89 c #Conflicts: 1625000 | #Constraints: 41369 2460.61/2466.89 c #Conflicts: 1626000 | #Constraints: 42369 2460.61/2466.89 c #Conflicts: 1627000 | #Constraints: 43369 2460.61/2466.89 c #Conflicts: 1628000 | #Constraints: 44369 2460.61/2466.89 c #Conflicts: 1629000 | #Constraints: 45369 2460.61/2466.89 c #Conflicts: 1630000 | #Constraints: 46369 2460.61/2466.89 c #Conflicts: 1631000 | #Constraints: 47369 2460.61/2466.89 c #Conflicts: 1632000 | #Constraints: 48369 2460.61/2466.89 c #Conflicts: 1633000 | #Constraints: 49369 2460.61/2466.89 c #Conflicts: 1634000 | #Constraints: 50369 2460.61/2466.89 c #Conflicts: 1635000 | #Constraints: 51369 2460.61/2466.89 c #Conflicts: 1636000 | #Constraints: 52369 2460.61/2466.89 c #Conflicts: 1637000 | #Constraints: 53369 2460.61/2466.89 c #Conflicts: 1638000 | #Constraints: 54369 2460.61/2466.89 c #Conflicts: 1639000 | #Constraints: 55369 2460.61/2466.89 c #Conflicts: 1640000 | #Constraints: 56369 2460.61/2466.89 c #Conflicts: 1641000 | #Constraints: 57369 2460.61/2466.89 c #Conflicts: 1642000 | #Constraints: 58369 2460.61/2466.89 c INPROCESSING 2460.61/2466.89 c GARBAGE COLLECT 2460.61/2466.89 c rational objective 815.728 2523.27/2529.68 c #Conflicts: 1643000 | #Constraints: 33966 2523.27/2529.68 c #Conflicts: 1644000 | #Constraints: 34966 2523.27/2529.68 c #Conflicts: 1645000 | #Constraints: 35966 2523.27/2529.68 c #Conflicts: 1646000 | #Constraints: 36966 2523.27/2529.68 c #Conflicts: 1647000 | #Constraints: 37966 2523.27/2529.68 c #Conflicts: 1648000 | #Constraints: 38966 2523.27/2529.68 c #Conflicts: 1649000 | #Constraints: 39966 2523.27/2529.68 c #Conflicts: 1650000 | #Constraints: 40966 2523.27/2529.68 c #Conflicts: 1651000 | #Constraints: 41966 2523.27/2529.68 c #Conflicts: 1652000 | #Constraints: 42966 2523.27/2529.68 c #Conflicts: 1653000 | #Constraints: 43966 2523.27/2529.68 c #Conflicts: 1654000 | #Constraints: 44966 2523.27/2529.68 c #Conflicts: 1655000 | #Constraints: 45966 2523.27/2529.68 c #Conflicts: 1656000 | #Constraints: 46966 2523.27/2529.68 c #Conflicts: 1657000 | #Constraints: 47966 2523.27/2529.68 c #Conflicts: 1658000 | #Constraints: 48966 2523.27/2529.68 c #Conflicts: 1659000 | #Constraints: 49966 2523.27/2529.68 c #Conflicts: 1660000 | #Constraints: 50966 2523.27/2529.68 c #Conflicts: 1661000 | #Constraints: 51966 2523.27/2529.68 c #Conflicts: 1662000 | #Constraints: 52966 2523.27/2529.68 c #Conflicts: 1663000 | #Constraints: 53966 2523.27/2529.68 c #Conflicts: 1664000 | #Constraints: 54966 2523.27/2529.68 c #Conflicts: 1665000 | #Constraints: 55966 2523.27/2529.68 c #Conflicts: 1666000 | #Constraints: 56966 2523.27/2529.68 c #Conflicts: 1667000 | #Constraints: 57966 2523.27/2529.68 c #Conflicts: 1668000 | #Constraints: 58966 2523.27/2529.68 c INPROCESSING 2523.27/2529.68 c GARBAGE COLLECT 2523.27/2529.68 c rational objective 815.948 2584.02/2590.51 c #Conflicts: 1669000 | #Constraints: 34327 2584.02/2590.51 c #Conflicts: 1670000 | #Constraints: 35327 2584.02/2590.51 c #Conflicts: 1671000 | #Constraints: 36327 2584.02/2590.51 c #Conflicts: 1672000 | #Constraints: 37327 2584.02/2590.51 c #Conflicts: 1673000 | #Constraints: 38327 2584.02/2590.51 c #Conflicts: 1674000 | #Constraints: 39327 2584.02/2590.51 c #Conflicts: 1675000 | #Constraints: 40327 2584.02/2590.51 c #Conflicts: 1676000 | #Constraints: 41327 2584.02/2590.51 c #Conflicts: 1677000 | #Constraints: 42327 2584.02/2590.51 c #Conflicts: 1678000 | #Constraints: 43327 2584.02/2590.51 c #Conflicts: 1679000 | #Constraints: 44327 2584.02/2590.51 c #Conflicts: 1680000 | #Constraints: 45327 2584.02/2590.51 c #Conflicts: 1681000 | #Constraints: 46327 2584.02/2590.51 c #Conflicts: 1682000 | #Constraints: 47327 2584.02/2590.51 c #Conflicts: 1683000 | #Constraints: 48327 2584.02/2590.51 c #Conflicts: 1684000 | #Constraints: 49327 2584.02/2590.51 c #Conflicts: 1685000 | #Constraints: 50327 2584.02/2590.51 c #Conflicts: 1686000 | #Constraints: 51327 2584.02/2590.51 c #Conflicts: 1687000 | #Constraints: 52327 2584.02/2590.51 c #Conflicts: 1688000 | #Constraints: 53327 2584.02/2590.51 c #Conflicts: 1689000 | #Constraints: 54327 2584.02/2590.51 c #Conflicts: 1690000 | #Constraints: 55327 2584.02/2590.51 c #Conflicts: 1691000 | #Constraints: 56327 2584.02/2590.51 c #Conflicts: 1692000 | #Constraints: 57327 2584.02/2590.51 c #Conflicts: 1693000 | #Constraints: 58327 2584.02/2590.51 c #Conflicts: 1694000 | #Constraints: 59327 2584.02/2590.51 c INPROCESSING 2584.02/2590.51 c GARBAGE COLLECT 2584.02/2590.51 c rational objective 816.014 2646.16/2652.84 c #Conflicts: 1695000 | #Constraints: 34500 2646.16/2652.84 c #Conflicts: 1696000 | #Constraints: 35500 2646.16/2652.84 c #Conflicts: 1697000 | #Constraints: 36500 2646.16/2652.84 c #Conflicts: 1698000 | #Constraints: 37500 2646.16/2652.84 c #Conflicts: 1699000 | #Constraints: 38500 2646.16/2652.84 c #Conflicts: 1700000 | #Constraints: 39500 2646.16/2652.84 c #Conflicts: 1701000 | #Constraints: 40500 2646.16/2652.84 c #Conflicts: 1702000 | #Constraints: 41500 2646.16/2652.84 c #Conflicts: 1703000 | #Constraints: 42500 2646.16/2652.84 c #Conflicts: 1704000 | #Constraints: 43500 2646.16/2652.84 c #Conflicts: 1705000 | #Constraints: 44500 2646.16/2652.84 c #Conflicts: 1706000 | #Constraints: 45500 2646.16/2652.84 c #Conflicts: 1707000 | #Constraints: 46500 2646.16/2652.84 c #Conflicts: 1708000 | #Constraints: 47500 2646.16/2652.84 c #Conflicts: 1709000 | #Constraints: 48500 2646.16/2652.84 c #Conflicts: 1710000 | #Constraints: 49500 2646.16/2652.84 c #Conflicts: 1711000 | #Constraints: 50500 2646.16/2652.84 c #Conflicts: 1712000 | #Constraints: 51500 2646.16/2652.84 c #Conflicts: 1713000 | #Constraints: 52500 2646.16/2652.84 c #Conflicts: 1714000 | #Constraints: 53500 2646.16/2652.84 c #Conflicts: 1715000 | #Constraints: 54500 2646.16/2652.84 c #Conflicts: 1716000 | #Constraints: 55500 2646.16/2652.84 c #Conflicts: 1717000 | #Constraints: 56500 2646.16/2652.84 c #Conflicts: 1718000 | #Constraints: 57500 2646.16/2652.84 c #Conflicts: 1719000 | #Constraints: 58500 2646.16/2652.84 c #Conflicts: 1720000 | #Constraints: 59500 2646.16/2652.84 c INPROCESSING 2646.16/2652.84 c GARBAGE COLLECT 2646.16/2652.84 c rational objective 816.851 2709.11/2715.94 c #Conflicts: 1721000 | #Constraints: 34543 2709.11/2715.94 c #Conflicts: 1722000 | #Constraints: 35543 2709.11/2715.94 c #Conflicts: 1723000 | #Constraints: 36543 2709.11/2715.94 c #Conflicts: 1724000 | #Constraints: 37543 2709.11/2715.94 c #Conflicts: 1725000 | #Constraints: 38543 2709.11/2715.94 c #Conflicts: 1726000 | #Constraints: 39543 2709.11/2715.94 c #Conflicts: 1727000 | #Constraints: 40543 2709.11/2715.94 c #Conflicts: 1728000 | #Constraints: 41543 2709.11/2715.94 c #Conflicts: 1729000 | #Constraints: 42543 2709.11/2715.94 c #Conflicts: 1730000 | #Constraints: 43543 2709.11/2715.94 c #Conflicts: 1731000 | #Constraints: 44543 2709.11/2715.94 c #Conflicts: 1732000 | #Constraints: 45543 2709.11/2715.94 c #Conflicts: 1733000 | #Constraints: 46543 2709.11/2715.94 c #Conflicts: 1734000 | #Constraints: 47543 2709.11/2715.94 c #Conflicts: 1735000 | #Constraints: 48543 2709.11/2715.94 c #Conflicts: 1736000 | #Constraints: 49543 2709.11/2715.94 c #Conflicts: 1737000 | #Constraints: 50543 2709.11/2715.94 c #Conflicts: 1738000 | #Constraints: 51543 2709.11/2715.94 c #Conflicts: 1739000 | #Constraints: 52543 2709.11/2715.94 c #Conflicts: 1740000 | #Constraints: 53543 2709.11/2715.94 c #Conflicts: 1741000 | #Constraints: 54543 2709.11/2715.94 c #Conflicts: 1742000 | #Constraints: 55543 2709.11/2715.94 c #Conflicts: 1743000 | #Constraints: 56543 2709.11/2715.94 c #Conflicts: 1744000 | #Constraints: 57543 2709.11/2715.94 c #Conflicts: 1745000 | #Constraints: 58543 2709.11/2715.94 c #Conflicts: 1746000 | #Constraints: 59543 2709.11/2715.94 c INPROCESSING 2709.11/2715.94 c GARBAGE COLLECT 2709.11/2715.94 c rational objective 816.977 2774.46/2781.49 c #Conflicts: 1747000 | #Constraints: 34335 2774.46/2781.49 c #Conflicts: 1748000 | #Constraints: 35335 2774.46/2781.49 c #Conflicts: 1749000 | #Constraints: 36335 2774.46/2781.49 c #Conflicts: 1750000 | #Constraints: 37335 2774.46/2781.49 c #Conflicts: 1751000 | #Constraints: 38335 2774.46/2781.49 c #Conflicts: 1752000 | #Constraints: 39335 2774.46/2781.49 c #Conflicts: 1753000 | #Constraints: 40335 2774.46/2781.49 c #Conflicts: 1754000 | #Constraints: 41335 2774.46/2781.49 c #Conflicts: 1755000 | #Constraints: 42335 2774.46/2781.49 c #Conflicts: 1756000 | #Constraints: 43335 2774.46/2781.49 c #Conflicts: 1757000 | #Constraints: 44335 2774.46/2781.49 c #Conflicts: 1758000 | #Constraints: 45335 2774.46/2781.49 c #Conflicts: 1759000 | #Constraints: 46335 2774.46/2781.49 c #Conflicts: 1760000 | #Constraints: 47335 2774.46/2781.49 c #Conflicts: 1761000 | #Constraints: 48335 2774.46/2781.49 c #Conflicts: 1762000 | #Constraints: 49335 2774.46/2781.49 c #Conflicts: 1763000 | #Constraints: 50335 2774.46/2781.49 c #Conflicts: 1764000 | #Constraints: 51335 2774.46/2781.49 c #Conflicts: 1765000 | #Constraints: 52335 2774.46/2781.49 c #Conflicts: 1766000 | #Constraints: 53335 2774.46/2781.49 c #Conflicts: 1767000 | #Constraints: 54335 2774.46/2781.49 c #Conflicts: 1768000 | #Constraints: 55335 2774.46/2781.49 c #Conflicts: 1769000 | #Constraints: 56335 2774.46/2781.49 c #Conflicts: 1770000 | #Constraints: 57335 2774.46/2781.49 c #Conflicts: 1771000 | #Constraints: 58335 2774.46/2781.49 c #Conflicts: 1772000 | #Constraints: 59335 2774.46/2781.49 c #Conflicts: 1773000 | #Constraints: 60335 2774.46/2781.49 c INPROCESSING 2774.46/2781.49 c GARBAGE COLLECT 2774.46/2781.49 c rational objective 817.647 2843.78/2850.97 c #Conflicts: 1774000 | #Constraints: 34903 2843.78/2850.97 c #Conflicts: 1775000 | #Constraints: 35903 2843.78/2850.97 c #Conflicts: 1776000 | #Constraints: 36903 2843.78/2850.97 c #Conflicts: 1777000 | #Constraints: 37903 2843.78/2850.97 c #Conflicts: 1778000 | #Constraints: 38903 2843.78/2850.97 c #Conflicts: 1779000 | #Constraints: 39903 2843.78/2850.97 c #Conflicts: 1780000 | #Constraints: 40903 2843.78/2850.97 c #Conflicts: 1781000 | #Constraints: 41903 2843.78/2850.97 c #Conflicts: 1782000 | #Constraints: 42903 2843.78/2850.97 c #Conflicts: 1783000 | #Constraints: 43903 2843.78/2850.97 c #Conflicts: 1784000 | #Constraints: 44903 2843.78/2850.97 c #Conflicts: 1785000 | #Constraints: 45903 2843.78/2850.97 c #Conflicts: 1786000 | #Constraints: 46903 2843.78/2850.97 c #Conflicts: 1787000 | #Constraints: 47903 2843.78/2850.97 c #Conflicts: 1788000 | #Constraints: 48903 2843.78/2850.97 c #Conflicts: 1789000 | #Constraints: 49903 2843.78/2850.97 c #Conflicts: 1790000 | #Constraints: 50903 2843.78/2850.97 c #Conflicts: 1791000 | #Constraints: 51903 2843.78/2850.97 c #Conflicts: 1792000 | #Constraints: 52903 2843.78/2850.97 c #Conflicts: 1793000 | #Constraints: 53903 2843.78/2850.97 c #Conflicts: 1794000 | #Constraints: 54903 2843.78/2850.97 c #Conflicts: 1795000 | #Constraints: 55903 2843.78/2850.97 c #Conflicts: 1796000 | #Constraints: 56903 2843.78/2850.97 c #Conflicts: 1797000 | #Constraints: 57903 2843.78/2850.97 c #Conflicts: 1798000 | #Constraints: 58903 2843.78/2850.97 c #Conflicts: 1799000 | #Constraints: 59903 2843.78/2850.97 c #Conflicts: 1800000 | #Constraints: 60903 2843.78/2850.97 c INPROCESSING 2843.78/2850.97 c GARBAGE COLLECT 2843.78/2850.97 c rational objective 817.756 2908.63/2915.98 c #Conflicts: 1801000 | #Constraints: 35334 2908.63/2915.98 c #Conflicts: 1802000 | #Constraints: 36334 2908.63/2915.98 c #Conflicts: 1803000 | #Constraints: 37334 2908.63/2915.98 c #Conflicts: 1804000 | #Constraints: 38334 2908.63/2915.98 c #Conflicts: 1805000 | #Constraints: 39334 2908.63/2915.98 c #Conflicts: 1806000 | #Constraints: 40334 2908.63/2915.98 c #Conflicts: 1807000 | #Constraints: 41334 2908.63/2915.98 c #Conflicts: 1808000 | #Constraints: 42334 2908.63/2915.98 c #Conflicts: 1809000 | #Constraints: 43334 2908.63/2915.98 c #Conflicts: 1810000 | #Constraints: 44334 2908.63/2915.98 c #Conflicts: 1811000 | #Constraints: 45334 2908.63/2915.98 c #Conflicts: 1812000 | #Constraints: 46334 2908.63/2915.98 c #Conflicts: 1813000 | #Constraints: 47334 2908.63/2915.98 c #Conflicts: 1814000 | #Constraints: 48334 2908.63/2915.98 c #Conflicts: 1815000 | #Constraints: 49334 2908.63/2915.98 c #Conflicts: 1816000 | #Constraints: 50334 2908.63/2915.98 c #Conflicts: 1817000 | #Constraints: 51334 2908.63/2915.98 c #Conflicts: 1818000 | #Constraints: 52334 2908.63/2915.98 c #Conflicts: 1819000 | #Constraints: 53334 2908.63/2915.98 c #Conflicts: 1820000 | #Constraints: 54334 2908.63/2915.98 c #Conflicts: 1821000 | #Constraints: 55334 2908.63/2915.98 c #Conflicts: 1822000 | #Constraints: 56334 2908.63/2915.98 c #Conflicts: 1823000 | #Constraints: 57334 2908.63/2915.98 c #Conflicts: 1824000 | #Constraints: 58334 2908.63/2915.98 c #Conflicts: 1825000 | #Constraints: 59334 2908.63/2915.98 c #Conflicts: 1826000 | #Constraints: 60334 2908.63/2915.98 c #Conflicts: 1827000 | #Constraints: 61334 2908.63/2915.98 c INPROCESSING 2908.63/2915.98 c GARBAGE COLLECT 2908.63/2915.98 c rational objective 817.847 2976.36/2983.83 c #Conflicts: 1828000 | #Constraints: 35543 2976.36/2983.83 c #Conflicts: 1829000 | #Constraints: 36543 2976.36/2983.83 c #Conflicts: 1830000 | #Constraints: 37543 2976.36/2983.83 c #Conflicts: 1831000 | #Constraints: 38543 2976.36/2983.83 c #Conflicts: 1832000 | #Constraints: 39543 2976.36/2983.83 c #Conflicts: 1833000 | #Constraints: 40543 2976.36/2983.83 c #Conflicts: 1834000 | #Constraints: 41543 2976.36/2983.83 c #Conflicts: 1835000 | #Constraints: 42543 2976.36/2983.83 c #Conflicts: 1836000 | #Constraints: 43543 2976.36/2983.83 c #Conflicts: 1837000 | #Constraints: 44543 2976.36/2983.83 c #Conflicts: 1838000 | #Constraints: 45543 2976.36/2983.83 c #Conflicts: 1839000 | #Constraints: 46543 2976.36/2983.83 c #Conflicts: 1840000 | #Constraints: 47543 2976.36/2983.83 c #Conflicts: 1841000 | #Constraints: 48543 2976.36/2983.83 c #Conflicts: 1842000 | #Constraints: 49543 2976.36/2983.83 c #Conflicts: 1843000 | #Constraints: 50543 2976.36/2983.83 c #Conflicts: 1844000 | #Constraints: 51543 2976.36/2983.83 c #Conflicts: 1845000 | #Constraints: 52543 2976.36/2983.83 c #Conflicts: 1846000 | #Constraints: 53543 2976.36/2983.83 c #Conflicts: 1847000 | #Constraints: 54543 2976.36/2983.83 c #Conflicts: 1848000 | #Constraints: 55543 2976.36/2983.83 c #Conflicts: 1849000 | #Constraints: 56543 2976.36/2983.83 c #Conflicts: 1850000 | #Constraints: 57543 2976.36/2983.83 c #Conflicts: 1851000 | #Constraints: 58543 2976.36/2983.83 c #Conflicts: 1852000 | #Constraints: 59543 2976.36/2983.83 c #Conflicts: 1853000 | #Constraints: 60543 2976.36/2983.83 c #Conflicts: 1854000 | #Constraints: 61543 2976.36/2983.83 c INPROCESSING 2976.36/2983.83 c GARBAGE COLLECT 2976.36/2983.83 c rational objective 818.189 3046.59/3054.22 c #Conflicts: 1855000 | #Constraints: 35568 3046.59/3054.22 c #Conflicts: 1856000 | #Constraints: 36568 3046.59/3054.22 c #Conflicts: 1857000 | #Constraints: 37568 3046.59/3054.22 c #Conflicts: 1858000 | #Constraints: 38568 3046.59/3054.22 c #Conflicts: 1859000 | #Constraints: 39568 3046.59/3054.22 c #Conflicts: 1860000 | #Constraints: 40568 3046.59/3054.22 c #Conflicts: 1861000 | #Constraints: 41568 3046.59/3054.22 c #Conflicts: 1862000 | #Constraints: 42568 3046.59/3054.22 c #Conflicts: 1863000 | #Constraints: 43568 3046.59/3054.22 c #Conflicts: 1864000 | #Constraints: 44568 3046.59/3054.22 c #Conflicts: 1865000 | #Constraints: 45568 3046.59/3054.22 c #Conflicts: 1866000 | #Constraints: 46568 3046.59/3054.22 c #Conflicts: 1867000 | #Constraints: 47568 3046.59/3054.22 c #Conflicts: 1868000 | #Constraints: 48568 3046.59/3054.22 c #Conflicts: 1869000 | #Constraints: 49568 3046.59/3054.22 c #Conflicts: 1870000 | #Constraints: 50568 3046.59/3054.22 c #Conflicts: 1871000 | #Constraints: 51568 3046.59/3054.22 c #Conflicts: 1872000 | #Constraints: 52568 3046.59/3054.22 c #Conflicts: 1873000 | #Constraints: 53568 3046.59/3054.22 c #Conflicts: 1874000 | #Constraints: 54568 3046.59/3054.22 c #Conflicts: 1875000 | #Constraints: 55568 3046.59/3054.22 c #Conflicts: 1876000 | #Constraints: 56568 3046.59/3054.22 c #Conflicts: 1877000 | #Constraints: 57568 3046.59/3054.22 c #Conflicts: 1878000 | #Constraints: 58568 3046.59/3054.22 c #Conflicts: 1879000 | #Constraints: 59568 3046.59/3054.22 c #Conflicts: 1880000 | #Constraints: 60568 3046.59/3054.22 c #Conflicts: 1881000 | #Constraints: 61568 3046.59/3054.22 c INPROCESSING 3046.59/3054.22 c GARBAGE COLLECT 3046.59/3054.22 c rational objective 818.222 3116.34/3124.19 c #Conflicts: 1882000 | #Constraints: 35353 3116.34/3124.19 c #Conflicts: 1883000 | #Constraints: 36353 3116.34/3124.19 c #Conflicts: 1884000 | #Constraints: 37353 3116.34/3124.19 c #Conflicts: 1885000 | #Constraints: 38353 3116.34/3124.19 c #Conflicts: 1886000 | #Constraints: 39353 3116.34/3124.19 c #Conflicts: 1887000 | #Constraints: 40353 3116.34/3124.19 c #Conflicts: 1888000 | #Constraints: 41353 3116.34/3124.19 c #Conflicts: 1889000 | #Constraints: 42353 3116.34/3124.19 c #Conflicts: 1890000 | #Constraints: 43353 3116.34/3124.19 c #Conflicts: 1891000 | #Constraints: 44353 3116.34/3124.19 c #Conflicts: 1892000 | #Constraints: 45353 3116.34/3124.19 c #Conflicts: 1893000 | #Constraints: 46353 3116.34/3124.19 c #Conflicts: 1894000 | #Constraints: 47353 3116.34/3124.19 c #Conflicts: 1895000 | #Constraints: 48353 3116.34/3124.19 c #Conflicts: 1896000 | #Constraints: 49353 3116.34/3124.19 c #Conflicts: 1897000 | #Constraints: 50353 3116.34/3124.19 c #Conflicts: 1898000 | #Constraints: 51353 3116.34/3124.19 c #Conflicts: 1899000 | #Constraints: 52353 3116.34/3124.19 c #Conflicts: 1900000 | #Constraints: 53353 3116.34/3124.19 c #Conflicts: 1901000 | #Constraints: 54353 3116.34/3124.19 c #Conflicts: 1902000 | #Constraints: 55353 3116.34/3124.19 c #Conflicts: 1903000 | #Constraints: 56353 3116.34/3124.19 c #Conflicts: 1904000 | #Constraints: 57353 3116.34/3124.19 c #Conflicts: 1905000 | #Constraints: 58353 3116.34/3124.19 c #Conflicts: 1906000 | #Constraints: 59353 3116.34/3124.19 c #Conflicts: 1907000 | #Constraints: 60353 3116.34/3124.19 c #Conflicts: 1908000 | #Constraints: 61353 3116.34/3124.19 c #Conflicts: 1909000 | #Constraints: 62353 3116.34/3124.19 c INPROCESSING 3116.34/3124.19 c GARBAGE COLLECT 3116.34/3124.19 c rational objective 818.231 3131.89/3139.79 c #Conflicts: 1910000 | #Constraints: 35975 3131.89/3139.79 c #Conflicts: 1911000 | #Constraints: 36975 3131.89/3139.79 c #Conflicts: 1912000 | #Constraints: 37975 3131.89/3139.79 c #Conflicts: 1913000 | #Constraints: 38975 3131.89/3139.79 c #Conflicts: 1914000 | #Constraints: 39975 3131.89/3139.79 c #Conflicts: 1915000 | #Constraints: 40975 3131.89/3139.79 c #Conflicts: 1916000 | #Constraints: 41975 3131.89/3139.79 c #Conflicts: 1917000 | #Constraints: 42975 3131.89/3139.79 c #Conflicts: 1918000 | #Constraints: 43975 3131.89/3139.79 c cpu time 3070.3 s 3131.89/3139.79 c deterministic time 302596651850 3.03e+11 3131.89/3139.79 c optimization time 0.0002 s 3131.89/3139.79 c total solve time 3070.27 s 3131.89/3139.79 c core-guided solve time 0 s 3131.89/3139.79 c propagation time 2483.56 s 3131.89/3139.79 c conflict analysis time 234.988 s 3131.89/3139.79 c propagations 461659030 3131.89/3139.79 c resolve steps 37878611 3131.89/3139.79 c decisions 33956076 3131.89/3139.79 c conflicts 1918554 3131.89/3139.79 c restarts 3729 3131.89/3139.79 c inprocessing phases 129 3131.89/3139.79 c input clauses 6590 3131.89/3139.79 c input cardinalities 0 3131.89/3139.79 c input general constraints 1658 3131.89/3139.79 c input average constraint length 4.44 3131.89/3139.79 c input average constraint degree 1.91 3131.89/3139.79 c learned clauses 566543 3131.89/3139.79 c learned cardinalities 287 3131.89/3139.79 c learned general constraints 1351727 3131.89/3139.79 c learned average constraint length 143.35 3131.89/3139.79 c learned average constraint degree 21995686.20 3131.89/3139.79 c watched constraints 1296168 3131.89/3139.79 c counting constraints 57217 3131.89/3139.79 c gcd simplifications 194055 3131.89/3139.79 c detected cardinalities 38 3131.89/3139.79 c weakened non-implied lits 28033914 3131.89/3139.79 c weakened non-implying lits 1613548 3131.89/3139.79 c original variables 3968 3131.89/3139.79 c clausal propagations 109752213 3131.89/3139.79 c cardinality propagations 11264 3131.89/3139.79 c watched propagations 57326423 3131.89/3139.79 c counting propagations 293545055 3131.89/3139.79 c watch lookups 43177725151 3131.89/3139.79 c watch backjump lookups 33300670375 3131.89/3139.79 c watch checks 158812402706 3131.89/3139.79 c propagation checks 65546078111 3131.89/3139.79 c constraint additions 763319370 3131.89/3139.79 c trail pops 497532896 3131.89/3139.79 c formula constraints 8248 3131.89/3139.79 c learned constraints 1918551 3131.89/3139.79 c bound constraints 0 3131.89/3139.79 c core-guided constraints 0 3131.89/3139.79 c encountered formula constraints 25823819 3131.89/3139.79 c encountered learned constraints 13973337 3131.89/3139.79 c encountered bound constraints 0 3131.89/3139.79 c encountered core-guided constraints 0 3131.89/3139.79 c LP total time 534.513 s 3131.89/3139.79 c LP solve time 530.92 s 3131.89/3139.79 c LP constraints added 10260 3131.89/3139.79 c LP constraints removed 1663 3131.89/3139.79 c LP pivots internal 1921407 3131.89/3139.79 c LP pivots root 1386727 3131.89/3139.79 c LP calls 603 3131.89/3139.79 c LP optimalities 596 3131.89/3139.79 c LP no pivot count 0 3131.89/3139.79 c LP infeasibilities 3 3131.89/3139.79 c LP valid Farkas constraints 3 3131.89/3139.79 c LP learned Farkas constraints 3 3131.89/3139.79 c LP basis resets 0 3131.89/3139.79 c LP cycling count 0 3131.89/3139.79 c LP singular count 0 3131.89/3139.79 c LP no primal count 0 3131.89/3139.79 c LP no farkas count 0 3131.89/3139.79 c LP other issue count 0 3131.89/3139.79 c LP Gomory cuts 0 3131.89/3139.79 c LP learned cuts 2012 3131.89/3139.79 c LP deleted cuts 1663 3131.89/3139.79 c LP encountered Gomory constraints 0 3131.89/3139.79 c LP encountered Farkas constraints 2 3131.89/3139.79 c LP encountered learned Farkas constraints 4 3131.89/3139.79 c CG auxiliary variables introduced 0 3131.89/3139.79 c CG solutions found 0 3131.89/3139.79 c CG cores constructed 0 3131.89/3139.79 c CG core cardinality constraints returned 0 3131.89/3139.79 c CG unit cores 0 3131.89/3139.79 c CG single cores 0 3131.89/3139.79 c CG blocks removed during cardinality reduction 0 3131.89/3139.79 c CG first core best 0 3131.89/3139.79 c CG decision core best 0 3131.89/3139.79 c CG core reduction tie 0 3131.89/3139.79 c CG core degree average 0.00 3131.89/3139.79 c CG core slack average 0.00 3131.89/3139.79 s SATISFIABLE 3131.89/3139.79 v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 -x13 -x14 -x15 x16 -x17 x18 x19 x20 -x21 -x22 x23 -x24 -x25 -x26 x27 x28 x29 -x30 x31 -x32 -x33 x34 -x35 -x36 -x37 x38 x39 -x40 x41 x42 x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 x53 -x54 x55 -x56 -x57 x58 -x59 x60 x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 x86 x87 x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 -x100 x101 -x102 -x103 x104 -x105 -x106 -x107 x108 x109 x110 -x111 x112 -x113 -x114 -x115 x116 x117 -x118 x119 x120 -x121 x122 x123 x124 -x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 -x136 x137 x138 -x139 -x140 -x141 x142 -x143 x144 x145 x146 -x147 x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 -x158 x159 x160 x161 x162 -x163 x164 x165 x166 -x167 x168 x169 -x170 x171 x172 x173 -x174 -x175 -x176 x177 x178 x179 -x180 -x181 x182 x183 x184 -x185 x186 x187 x188 -x189 x190 x191 -x192 x193 x194 x195 -x196 -x197 x198 x199 -x200 -x201 -x202 x203 x204 -x205 x206 x207 -x208 -x209 -x210 -x211 x212 -x213 x214 x215 -x216 x217 -x218 -x219 x220 x221 x222 x223 x224 x225 -x226 -x227 -x228 -x229 x230 -x231 x232 x233 -x234 -x235 -x236 x237 -x238 x239 x240 -x241 x242 -x243 -x244 -x245 -x246 x247 x248 x249 -x250 x251 x252 -x253 -x254 x255 x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 x267 -x268 x269 x270 -x271 x272 -x273 x274 x275 -x276 -x277 x278 x279 x280 -x281 -x282 x283 x284 -x285 -x286 -x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 -x297 -x298 x299 x300 -x301 x302 -x303 -x304 -x305 x306 -x307 x308 -x309 -x310 x311 x312 -x313 x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 x326 -x327 x328 -x329 x330 -x331 x332 x333 -x334 x335 -x336 x337 x338 x339 -x340 -x341 x342 -x343 x344 x345 x346 x347 -x348 -x349 x350 -x351 x352 x353 x354 -x355 x356 x357 -x358 x359 -x360 x361 -x362 x363 x364 x365 x366 x367 -x368 x369 x370 x371 x372 x373 -x374 -x375 x376 x377 -x378 -x379 x380 -x381 x382 x383 x384 x385 x386 x387 -x388 x389 -x390 x391 x392 -x393 x394 -x395 -x396 x397 -x398 x399 -x400 x401 -x402 x403 -x404 -x405 -x406 x407 x408 x409 -x410 x411 x412 x413 -x414 x415 x416 -x417 x418 -x419 -x420 -x421 x422 x423 x424 x425 -x426 -x427 x428 x429 x430 x431 -x432 -x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 x450 x451 -x452 x453 -x454 x455 x456 x457 -x458 x459 x460 -x461 -x462 x463 x464 -x465 x466 -x467 x468 -x469 x470 x471 -x472 -x473 x474 -x475 x476 x477 x478 -x479 -x480 x481 -x482 -x483 x484 x485 x486 x487 x488 -x489 x490 x491 x492 x493 -x494 x495 -x496 -x497 -x498 x499 x500 x501 x502 -x503 -x504 x505 -x506 -x507 -x508 x509 x510 x511 -x512 x513 x514 -x515 x516 -x517 -x518 x519 x520 -x521 x522 -x523 x524 x525 -x526 x527 -x528 -x529 -x530 x531 x532 x533 x534 x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 x543 x544 -x545 -x546 -x547 x548 x549 -x550 x551 x552 -x553 x554 x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 x575 -x576 -x577 x578 x579 x580 x581 x582 x583 -x584 x585 x586 x587 -x588 x589 x590 -x591 x592 -x593 -x594 x595 -x596 x597 x598 x599 x600 x601 x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 x614 x615 x616 x617 -x618 x619 x620 -x621 x622 x623 -x624 -x625 -x626 -x627 x628 x629 -x630 x631 -x632 x633 x634 -x635 x636 -x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 x658 x659 -x660 -x661 x662 x663 -x664 -x665 -x666 x667 -x668 -x669 x670 x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 x682 -x683 -x684 -x685 x686 -x687 -x688 x689 -x690 x691 -x692 -x693 -x694 x695 -x696 x697 x698 x699 -x700 -x701 x702 x703 -x704 x705 -x706 -x707 x708 -x709 -x710 -x711 x712 x713 x714 -x715 x716 -x717 x718 -x719 x720 x721 -x722 x723 x724 -x725 -x726 x727 x728 x729 x730 x731 x732 -x733 x734 x735 x736 -x737 x738 x739 x740 x741 x742 x743 x744 -x745 -x746 x747 x748 x749 -x750 x751 x752 -x753 x754 -x755 x756 x757 x758 -x759 x760 -x761 -x762 -x763 x764 x765 -x766 -x767 x768 -x769 x770 x771 -x772 x773 x774 x775 -x776 -x777 -x778 x779 -x780 x781 -x782 x783 -x784 -x785 x786 -x787 -x788 x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 x806 x807 x808 x809 -x810 -x811 -x812 -x813 x814 x815 x816 -x817 x818 -x819 -x820 x821 -x822 x823 x824 x825 x826 -x827 -x828 -x829 -x830 x831 x832 x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 x846 -x847 x848 -x849 -x850 x851 -x852 x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 x863 x864 x865 -x866 -x867 -x868 -x869 x870 -x871 x872 x873 x874 x875 x876 -x877 -x878 x879 -x880 x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 x901 x902 x903 x904 -x905 -x906 -x907 x908 x909 x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 x918 -x919 x920 -x921 x922 x923 -x924 x925 x926 x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 x935 -x936 -x937 x938 -x939 x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 x951 x952 x953 -x954 -x955 x956 x957 x958 -x959 -x960 -x961 x962 -x963 x964 -x965 -x966 -x967 x968 -x969 x970 x971 -x972 -x973 x974 x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 x983 x984 -x985 -x986 -x987 x988 x989 x990 x991 x992 -x993 -x994 -x995 x996 x997 -x998 -x999 -x1000 -x1001 x1002 x1003 x1004 x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 x1020 x1021 x1022 x1023 x1024 -x1025 x1026 x1027 x1028 -x1029 -x1030 -x1031 x1032 x1033 x1034 x1035 x1036 -x1037 x1038 -x1039 x1040 -x1041 -x1042 x1043 x1044 -x1045 x1046 x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 x1072 -x1073 -x1074 -x1075 x1076 -x1077 x1078 -x1079 x1080 -x1081 x1082 x1083 x1084 x1085 x1086 x1087 -x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 x1099 -x1100 x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 -x1115 -x1116 x1117 x1118 x1119 x1120 x1121 -x1122 x1123 x1124 x1125 -x1126 x1127 x1128 x1129 -x1130 x1131 x1132 -x1133 -x1134 x1135 -x1136 -x1137 x1138 -x1139 x1140 x1141 x1142 x1143 x1144 -x1145 -x1146 x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 x1154 x1155 x1156 x1157 -x1158 x1159 -x1160 x1161 x1162 -x1163 -x1164 x1165 -x1166 x1167 -x1168 x1169 x1170 x1171 x1172 x1173 -x1174 x1175 -x1176 x1177 x1178 -x1179 x1180 x1181 x1182 x1183 x1184 -x1185 x1186 -x1187 -x1188 -x1189 x1190 -x1191 x1192 x1193 x1194 -x1195 -x1196 x1197 x1198 -x1199 x1200 -x1201 x1202 -x1203 x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 x1223 x1224 x1225 x1226 x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 x1242 -x1243 x1244 x1245 -x1246 x1247 x1248 x1249 x1250 x1251 x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 x1263 x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 x1275 x1276 -x1277 x1278 x1279 x1280 x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 x1288 -x1289 -x1290 -x1291 x1292 x1293 x1294 -x1295 -x1296 x1297 x1298 -x1299 x1300 x1301 x1302 -x1303 x1304 x1305 x1306 x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 x1327 x1328 -x1329 -x1330 -x1331 -x1332 x1333 x1334 x1335 -x1336 -x1337 x1338 x1339 x1340 -x1341 x1342 x1343 x1344 -x1345 -x1346 -x1347 -x1348 x1349 x1350 -x1351 -x1352 -x1353 x1354 -x1355 x1356 -x1357 x1358 x1359 x1360 -x1361 x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 x1371 x1372 x1373 x1374 x1375 x1376 -x1377 x1378 x1379 -x1380 x1381 x1382 -x1383 x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 x1394 x1395 -x1396 -x1397 -x1398 x1399 x1400 x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 x1409 x1410 -x1411 -x1412 -x1413 x1414 x1415 -x1416 -x1417 x1418 x1419 -x1420 -x1421 x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 x1434 -x1435 x1436 x1437 -x1438 x1439 x1440 -x1441 x1442 -x1443 x1444 -x1445 x1446 -x1447 x1448 -x1449 x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 x1466 -x1467 x1468 x1469 x1470 x1471 x1472 -x1473 -x1474 -x1475 x1476 x1477 x1478 -x1479 x1480 -x1481 x1482 -x1483 x1484 x1485 x1486 -x1487 -x1488 x1489 x1490 x1491 x1492 x1493 -x1494 -x1495 -x1496 -x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 -x1505 -x1506 -x1507 x1508 -x1509 x1510 x1511 -x1512 -x1513 x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 x1522 x1523 -x1524 x1525 -x1526 x1527 x1528 x1529 x1530 -x1531 -x1532 x1533 -x1534 x1535 x1536 -x1537 -x1538 -x1539 x1540 x1541 x1542 -x1543 -x1544 x1545 x1546 x1547 -x1548 x1549 -x1550 -x1551 -x1552 x1553 x1554 x1555 -x1556 x1557 x1558 -x1559 x1560 -x1561 x1562 x1563 -x1564 -x1565 x1566 -x1567 x1568 x1569 x1570 -x1571 x1572 -x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 -x1581 x1582 x1583 -x1584 x1585 -x1586 x1587 -x1588 x1589 x1590 -x1591 x1592 x1593 x1594 x1595 -x1596 x1597 x1598 x1599 -x1600 -x1601 -x1602 -x1603 x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 x1614 -x1615 x1616 x1617 x1618 x1619 -x1620 x1621 x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 x1641 -x1642 x1643 x1644 -x1645 -x1646 -x1647 x1648 x1649 x1650 x1651 x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 x1660 -x1661 x1662 x1663 -x1664 x1665 -x1666 -x1667 x1668 x1669 -x1670 -x1671 x1672 x1673 -x1674 -x1675 x1676 x1677 x1678 x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 x1690 -x1691 x1692 x1693 -x1694 x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 x1704 x1705 x1706 -x1707 x1708 -x1709 x1710 x1711 x1712 x1713 -x1714 -x1715 x1716 x1717 -x1718 x1719 x1720 -x1721 x1722 x1723 x1724 -x1725 x1726 x1727 -x1728 -x1729 -x1730 x1731 x1732 x1733 -x1734 x1735 x1736 -x1737 -x1738 x1739 x1740 x1741 x1742 -x1743 x1744 x1745 x1746 -x1747 x1748 x1749 -x1750 -x1751 -x1752 x1753 x1754 x1755 x1756 -x1757 -x1758 -x1759 x1760 -x1761 x1762 x1763 -x1764 x1765 -x1766 x1767 x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 x1776 -x1777 x1778 -x1779 -x1780 -x1781 x1782 x1783 -x1784 -x1785 x1786 -x1787 x1788 -x1789 -x1790 x1791 x1792 -x1793 x1794 x1795 x1796 x1797 x1798 x1799 x1800 -x1801 -x1802 x1803 x1804 x1805 -x1806 x1807 x1808 -x1809 x1810 -x1811 x1812 x1813 x1814 -x1815 x1816 -x1817 -x1818 -x1819 x1820 x1821 -x1822 -x1823 x1824 x1825 -x1826 x1827 -x1828 -x1829 x1830 x1831 -x1832 -x1833 x1834 -x1835 x1836 -x1837 x1838 -x1839 x1840 -x1841 x1842 -x1843 -x1844 x1845 -x1846 x1847 -x1848 x1849 -x1850 -x1851 x1852 -x1853 x1854 -x1855 x1856 -x1857 -x1858 -x1859 x1860 x1861 -x1862 -x1863 x1864 x1865 -x1866 -x1867 x1868 x1869 -x1870 x1871 x1872 x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 x1880 x1881 -x1882 x1883 -x1884 -x1885 x1886 x1887 -x1888 -x1889 x1890 x1891 x1892 x1893 x1894 x1895 x1896 -x1897 x1898 x1899 x1900 x1901 x1902 x1903 x1904 x1905 x1906 -x1907 x1908 x1909 x1910 x1911 x1912 x1913 x1914 -x1915 x1916 x1917 x1918 x1919 x1920 x1921 -x1922 -x1923 x1924 x1925 -x1926 -x1927 x1928 -x1929 x1930 -x1931 x1932 -x1933 x1934 x1935 -x1936 -x1937 x1938 x1939 -x1940 -x1941 x1942 x1943 -x1944 x1945 x1946 x1947 -x1948 x1949 x1950 x1951 -x1952 -x1953 x1954 -x1955 x1956 -x1957 -x1958 x1959 -x1960 -x1961 x1962 x1963 -x1964 -x1965 x1966 x1967 -x1968 x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 x1976 -x1977 x1978 x1979 -x1980 -x1981 x1982 x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 x1990 x1991 x1992 -x1993 -x1994 -x1995 x1996 -x1997 x1998 x1999 -x2000 x2001 -x2002 -x2003 -x2004 x2005 x2006 x2007 x2008 x2009 x2010 -x2011 x2012 x2013 -x2014 x2015 -x2016 -x2017 -x2018 x2019 -x2020 x2021 -x2022 -x2023 x2024 x2025 -x2026 -x2027 x2028 -x2029 x2030 -x2031 x2032 x2033 -x2034 x2035 -x2036 x2037 -x2038 -x2039 x2040 -x2041 x2042 -x2043 x2044 -x2045 x2046 x2047 -x2048 -x2049 x2050 x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 x2058 x2059 -x2060 -x2061 x2062 -x2063 x2064 -x2065 x2066 x2067 -x2068 x2069 -x2070 -x2071 x2072 x2073 -x2074 x2075 -x2076 x2077 -x2078 x2079 -x2080 -x2081 x2082 x2083 -x2084 -x2085 -x2086 x2087 x2088 x2089 x2090 x2091 -x2092 -x2093 -x2094 x2095 x2096 x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 x2104 x2105 -x2106 -x2107 x2108 x2109 -x2110 x2111 -x2112 x2113 -x2114 -x2115 x2116 x2117 -x2118 -x2119 x2120 x2121 -x2122 -x2123 x2124 x2125 -x2126 x2127 x2128 x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 x2136 x2137 -x2138 x2139 x2140 -x2141 x2142 x2143 -x2144 -x2145 x2146 x2147 -x2148 x2149 -x2150 x2151 -x2152 -x2153 x2154 -x2155 -x2156 x2157 -x2158 -x2159 x2160 x2161 -x2162 -x2163 x2164 x2165 -x2166 x2167 x2168 -x2169 x2170 x2171 -x2172 x2173 x2174 x2175 -x2176 x2177 x2178 x2179 -x2180 -x2181 -x2182 -x2183 x2184 x2185 x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 x2209 -x2210 -x2211 x2212 x2213 -x2214 -x2215 x2216 x2217 -x2218 -x2219 x2220 x2221 -x2222 -x2223 x2224 x2225 -x2226 -x2227 x2228 -x2229 -x2230 x2231 -x2232 x2233 -x2234 -x2235 x2236 x2237 -x2238 -x2239 x2240 x2241 -x2242 -x2243 x2244 -x2245 -x2246 x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 x2258 x2259 -x2260 x2261 -x2262 -x2263 x2264 -x2265 x2266 x2267 -x2268 x2269 x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 x2278 x2279 x2280 -x2281 -x2282 -x2283 x2284 x2285 x2286 -x2287 -x2288 x2289 x2290 -x2291 x2292 -x2293 x2294 -x2295 x2296 x2297 x2298 -x2299 -x2300 x2301 -x2302 x2303 -x2304 x2305 -x2306 x2307 -x2308 x2309 -x2310 x2311 -x2312 x2313 -x2314 -x2315 x2316 -x2317 -x2318 x2319 x2320 -x2321 x2322 x2323 -x2324 -x2325 x2326 -x2327 x2328 -x2329 x2330 -x2331 x2332 x2333 -x2334 -x2335 x2336 x2337 -x2338 -x2339 x2340 -x2341 -x2342 x2343 -x2344 -x2345 -x2346 x2347 -x2348 x2349 -x2350 -x2351 x2352 x2353 -x2354 x2355 x2356 -x2357 x2358 -x2359 x2360 -x2361 x2362 x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 x2375 x2376 x2377 -x2378 x2379 -x2380 x2381 x2382 -x2383 -x2384 -x2385 x2386 -x2387 x2388 x2389 x2390 x2391 x2392 x2393 x2394 x2395 x2396 x2397 x2398 x2399 -x2400 -x2401 x2402 x2403 -x2404 -x2405 x2406 x2407 -x2408 -x2409 x2410 x2411 -x2412 x2413 x2414 -x2415 x2416 -x2417 x2418 x2419 -x2420 -x2421 x2422 -x2423 x2424 x2425 -x2426 x2427 x2428 -x2429 x2430 -x2431 -x2432 x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 x2440 x2441 -x2442 -x2443 x2444 -x2445 x2446 -x2447 x2448 -x2449 x2450 -x2451 x2452 x2453 -x2454 x2455 x2456 -x2457 x2458 -x2459 x2460 -x2461 x2462 x2463 -x2464 -x2465 x2466 x2467 -x2468 x2469 -x2470 x2471 x2472 x2473 x2474 x2475 -x2476 x2477 x2478 -x2479 -x2480 -x2481 x2482 x2483 x2484 x2485 x2486 -x2487 x2488 x2489 -x2490 x2491 x2492 -x2493 -x2494 x2495 -x2496 x2497 -x2498 x2499 -x2500 -x2501 x2502 x2503 -x2504 -x2505 x2506 x2507 -x2508 -x2509 x2510 x2511 -x2512 -x2513 x2514 -x2515 -x2516 x2517 -x2518 x2519 -x2520 x2521 x2522 -x2523 x2524 -x2525 x2526 x2527 -x2528 x2529 -x2530 x2531 x2532 x2533 -x2534 -x2535 x2536 x2537 -x2538 -x2539 x2540 x2541 -x2542 x2543 x2544 -x2545 x2546 x2547 -x2548 x2549 x2550 -x2551 x2552 x2553 -x2554 x2555 -x2556 -x2557 x2558 -x2559 -x2560 x2561 x2562 x2563 -x2564 x2565 -x2566 x2567 x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 x2576 -x2577 x2578 x2579 -x2580 x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 x2588 -x2589 x2590 -x2591 x2592 x2593 -x2594 x2595 -x2596 x2597 -x2598 x2599 -x2600 -x2601 x2602 -x2603 -x2604 x2605 -x2606 -x2607 x2608 x2609 -x2610 -x2611 x2612 x2613 -x2614 -x2615 x2616 -x2617 x2618 -x2619 x2620 x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 x2628 -x2629 x2630 x2631 -x2632 -x2633 x2634 x2635 -x2636 -x2637 x2638 -x2639 x2640 x2641 -x2642 x2643 -x2644 x2645 -x2646 -x2647 x2648 x2649 -x2650 -x2651 x2652 x2653 -x2654 -x2655 x2656 x2657 x2658 x2659 -x2660 -x2661 -x2662 x2663 x2664 -x2665 -x2666 x2667 -x2668 x2669 x2670 x2671 x2672 x2673 x2674 -x2675 -x2676 x2677 -x2678 x2679 x2680 -x2681 -x2682 x2683 x2684 x2685 x2686 -x2687 x2688 -x2689 x2690 x2691 -x2692 x2693 x2694 -x2695 x2696 -x2697 x2698 -x2699 x2700 -x2701 x2702 -x2703 x2704 -x2705 x2706 x2707 -x2708 -x2709 x2710 x2711 -x2712 -x2713 x2714 x2715 -x2716 -x2717 x2718 x2719 -x2720 x2721 -x2722 -x2723 x2724 x2725 -x2726 -x2727 x2728 x2729 -x2730 x2731 -x2732 -x2733 x2734 x2735 -x2736 x2737 -x2738 x2739 -x2740 x2741 -x2742 -x2743 x2744 x2745 -x2746 x2747 -x2748 -x2749 x2750 x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 x2758 x2759 x2760 -x2761 -x2762 x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 x2779 -x2780 x2781 x2782 -x2783 -x2784 x2785 -x2786 x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 x2794 x2795 -x2796 -x2797 x2798 -x2799 x2800 x2801 -x2802 -x2803 x2804 x2805 -x2806 x2807 x2808 -x2809 x2810 x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 x2818 -x2819 x2820 -x2821 x2822 x2823 -x2824 x2825 -x2826 x2827 -x2828 x2829 -x2830 -x2831 x2832 x2833 -x2834 x2835 x2836 -x2837 x2838 x2839 -x2840 x2841 x2842 -x2843 x2844 x2845 -x2846 -x2847 x2848 x2849 x2850 x2851 -x2852 x2853 x2854 -x2855 -x2856 x2857 -x2858 -x2859 x2860 x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 x2872 x2873 x2874 -x2875 -x2876 x2877 x2878 -x2879 -x2880 -x2881 x2882 x2883 -x2884 -x2885 x2886 -x2887 x2888 -x2889 x2890 x2891 -x2892 -x2893 x2894 x2895 -x2896 x2897 x2898 -x2899 -x2900 -x2901 x2902 -x2903 x2904 -x2905 x2906 -x2907 x2908 x2909 -x2910 x2911 -x2912 x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 x2920 x2921 -x2922 x2923 -x2924 x2925 -x2926 -x2927 x2928 x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 x2936 x2937 -x2938 -x2939 x2940 x2941 -x2942 -x2943 x2944 x2945 x2946 -x2947 -x2948 x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 x2958 x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 x2967 x2968 x2969 -x2970 -x2971 x2972 x2973 -x2974 x2975 x2976 -x2977 x2978 x2979 -x2980 -x2981 x2982 x2983 -x2984 x2985 x2986 x2987 -x2988 -x2989 x2990 x2991 -x2992 -x2993 x2994 x2995 -x2996 x2997 -x2998 -x2999 x3000 x3001 -x3002 -x3003 x3004 -x3005 x3006 x3007 -x3008 -x3009 x3010 -x3011 -x3012 x3013 -x3014 x3015 -x3016 x3017 -x3018 x3019 -x3020 -x3021 x3022 -x3023 x3024 x3025 -x3026 -x3027 x3028 x3029 -x3030 -x3031 x3032 -x3033 x3034 x3035 -x3036 x3037 x3038 -x3039 x3040 -x3041 -x3042 x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 x3059 x3060 -x3061 x3062 x3063 x3064 x3065 x3066 -x3067 x3068 x3069 x3070 -x3071 -x3072 x3073 -x3074 x3075 -x3076 x3077 -x3078 x3079 -x3080 -x3081 x3082 -x3083 -x3084 x3085 -x3086 -x3087 x3088 x3089 -x3090 x3091 -x3092 x3093 -x3094 -x3095 x3096 -x3097 x3098 -x3099 x3100 x3101 -x3102 -x3103 x3104 -x3105 -x3106 x3107 -x3108 x3109 -x3110 x3111 -x3112 x3113 -x3114 -x3115 x3116 x3117 -x3118 x3119 x3120 x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 x3128 -x3129 x3130 -x3131 x3132 x3133 -x3134 x3135 -x3136 -x3137 -x3138 x3139 x3140 -x3141 -x3142 -x3143 x3144 -x3145 -x3146 -x3147 -x3148 x3149 x3150 -x3151 -x3152 x3153 -x3154 -x3155 x3156 x3157 -x3158 -x3159 x3160 x3161 x3162 -x3163 x3164 x3165 x3166 -x3167 -x3168 x3169 -x3170 x3171 -x3172 -x3173 x3174 x3175 -x3176 x3177 x3178 x3179 -x3180 -x3181 x3182 x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 x3190 -x3191 x3192 x3193 -x3194 -x3195 x3196 -x3197 x3198 -x3199 x3200 x3201 -x3202 -x3203 x3204 x3205 -x3206 x3207 x3208 x3209 -x3210 -x3211 x3212 x3213 -x3214 -x3215 x3216 x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 x3224 x3225 -x3226 -x3227 x3228 x3229 -x3230 x3231 -x3232 x3233 -x3234 x3235 x3236 -x3237 x3238 -x3239 x3240 -x3241 -x3242 -x3243 x3244 x3245 -x3246 x3247 x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 x3258 x3259 -x3260 -x3261 x3262 -x3263 x3264 -x3265 x3266 x3267 -x3268 -x3269 x3270 -x3271 x3272 -x3273 x3274 x3275 -x3276 -x3277 x3278 x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 x3286 x3287 -x3288 x3289 x3290 x3291 -x3292 x3293 x3294 x3295 -x3296 x3297 -x3298 x3299 -x3300 x3301 -x3302 x3303 -x3304 x3305 -x3306 x3307 -x3308 x3309 -x3310 -x3311 x3312 x3313 -x3314 -x3315 x3316 -x3317 -x3318 x3319 -x3320 -x3321 x3322 x3323 -x3324 -x3325 x3326 -x3327 -x3328 x3329 -x3330 x3331 x3332 -x3333 -x3334 -x3335 x3336 x3337 -x3338 -x3339 -x3340 x3341 -x3342 x3343 x3344 x3345 -x3346 -x3347 -x3348 x3349 x3350 x3351 x3352 -x3353 x3354 -x3355 -x3356 x3357 x3358 x3359 x3360 -x3361 x3362 x3363 -x3364 x3365 x3366 -x3367 x3368 -x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 x3376 -x3377 x3378 x3379 -x3380 -x3381 x3382 x3383 -x3384 x3385 x3386 -x3387 x3388 -x3389 x3390 -x3391 x3392 -x3393 x3394 x3395 -x3396 x3397 -x3398 x3399 -x3400 x3401 -x3402 -x3403 x3404 x3405 -x3406 x3407 x3408 x3409 -x3410 x3411 x3412 x3413 -x3414 -x3415 x3416 x3417 -x3418 -x3419 x3420 x3421 -x3422 -x3423 x3424 -x3425 -x3426 -x3427 x3428 -x3429 x3430 -x3431 x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 x3447 x3448 -x3449 x3450 x3451 x3452 x3453 x3454 -x3455 x3456 x3457 -x3458 x3459 -x3460 x3461 -x3462 -x3463 x3464 x3465 -x3466 -x3467 x3468 -x3469 -x3470 -x3471 x3472 -x3473 x3474 -x3475 -x3476 x3477 -x3478 -x3479 x3480 -x3481 -x3482 x3483 -x3484 -x3485 x3486 x3487 -x3488 x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 x3502 x3503 -x3504 x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 x3512 -x3513 x3514 x3515 -x3516 -x3517 x3518 x3519 -x3520 -x3521 x3522 -x3523 x3524 -x3525 x3526 -x3527 x3528 -x3529 x3530 x3531 -x3532 -x3533 -x3534 -x3535 x3536 -x3537 x3538 x3539 -x3540 -x3541 x3542 -x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557 -x3558 -x3559 x3560 -x3561 x3562 x3563 -x3564 x3565 -x3566 -x3567 x3568 x3569 -x3570 -x3571 x3572 x3573 -x3574 -x3575 x3576 x3577 -x3578 -x3579 x3580 x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 x3588 -x3589 -x3590 x3591 -x3592 -x3593 -x3594 x3595 -x3596 -x3597 x3598 -x3599 x3600 x3601 -x3602 x3603 x3604 -x3605 x3606 -x3607 x3608 -x3609 x3610 x3611 -x3612 -x3613 x3614 x3615 -x3616 -x3617 x3618 x3619 x3620 x3621 -x3622 -x3623 x3624 -x3625 -x3626 x3627 x3628 -x3629 -x3630 x3631 x3632 x3633 -x3634 x3635 -x3636 x3637 x3638 -x3639 x3640 x3641 -x3642 x3643 x3644 x3645 x3646 -x3647 -x3648 x3649 -x3650 -x3651 x3652 x3653 -x3654 x3655 x3656 x3657 -x3658 -x3659 x3660 x3661 -x3662 x3663 x3664 -x3665 x3666 x3667 -x3668 -x3669 x3670 -x3671 x3672 -x3673 x3674 x3675 -x3676 x3677 x3678 -x3679 x3680 x3681 -x3682 x3683 -x3684 x3685 -x3686 x3687 -x3688 x3689 -x3690 -x3691 x3692 -x3693 -x3694 x3695 x3696 x3697 -x3698 x3699 x3700 -x3701 x3702 -x3703 x3704 x3705 x3706 -x3707 x3708 -x3709 x3710 -x3711 x3712 x3713 x3714 x3715 x3716 x3717 x3718 -x3719 x3720 -x3721 x3722 x3723 x3724 -x3725 x3726 -x3727 -x3728 x3729 -x3730 x3731 x3732 -x3733 x3734 x3735 x3736 -x3737 x3738 -x3739 x3740 -x3741 x3742 x3743 -x3744 x3745 -x3746 -x3747 x3748 -x3749 x3750 -x3751 x3752 x3753 -x3754 x3755 x3756 x3757 -x3758 x3759 x3760 x3761 -x3762 x3763 x3764 x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 x3772 x3773 -x3774 -x3775 x3776 x3777 -x3778 x3779 -x3780 -x3781 x3782 x3783 -x3784 -x3785 x3786 x3787 -x3788 x3789 x3790 x3791 x3792 x3793 -x3794 x3795 x3796 -x3797 x3798 -x3799 x3800 x3801 -x3802 -x3803 x3804 x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 x3817 x3818 x3819 x3820 -x3821 -x3822 -x3823 -x3824 x3825 x3826 x3827 x3828 -x3829 -x3830 -x3831 -x3832 x3833 x3834 x3835 x3836 -x3837 x3838 x3839 -x3840 -x3841 -x3842 -x3843 x3844 x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 x3854 -x3855 x3856 x3857 x3858 x3859 x3860 x3861 x3862 x3863 x3864 x3865 x3866 x3867 x3868 -x3869 x3870 x3871 x3872 -x3873 x3874 x3875 x3876 x3877 x3878 x3879 x3880 x3881 x3882 x3883 x3884 x3885 -x3886 x3887 x3888 x3889 x3890 x3891 x3892 x3893 x3894 x3895 x3896 x3897 -x3898 -x3899 x3900 x3901 -x3902 -x3903 x3904 -x3905 x3906 x3907 x3908 x3909 x3910 x3911 x3912 x3913 -x3914 x3915 -x3916 -x3917 -x3918 x3919 x3920 x3921 x3922 x3923 x3924 x3925 x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 x3942 x3943 x3944 x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 x3952 x3953 x3954 x3955 -x3956 x3957 x3958 x3959 x3960 x3961 x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968
OK 0
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (51826 MiB free)
memory of node 1: 64510 MiB (53379 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457334-1721837248/watcher-4457334-1721837248 -o /tmp/evaluation-result-4457334-1721837248/solver-4457334-1721837248 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721833630-188596 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457334-1721837248 --lp-cut-gomory=0 HOME/instance-4457334-1721837248.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=190725, runsolver pid=190722
[startup+0.100816 s]*
/proc/loadavg: 4.61 4.29 4.21 5/243 190726
/proc/meminfo: memFree=109404392/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=46272 memory=15944 CPUtime=0.09 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 3003 0 0 0 8 1 0 0 20 0 1 0 19714556 47382528 3986 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 11568 3986 1731 992 0 3426 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46272 KiB
Current children cumulated memory: 15944 KiB
[startup+0.206187 s]*
/proc/loadavg: 4.61 4.29 4.21 5/243 190726
/proc/meminfo: memFree=111152968/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=46520 memory=16208 CPUtime=0.2 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 3087 0 0 0 18 2 0 0 20 0 1 0 19714556 47636480 4052 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 11630 4052 1731 992 0 3488 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46520 KiB
Current children cumulated memory: 16208 KiB
[startup+0.306435 s]*
/proc/loadavg: 4.61 4.29 4.21 5/243 190726
/proc/meminfo: memFree=112541296/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=46652 memory=16472 CPUtime=0.29 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 3186 0 0 0 27 2 0 0 20 0 1 0 19714556 47771648 4118 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 11663 4118 1731 992 0 3521 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46652 KiB
Current children cumulated memory: 16472 KiB
[startup+0.700303 s]
/proc/loadavg: 4.61 4.29 4.21 5/243 190726
/proc/meminfo: memFree=115245100/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=46828 memory=17000 CPUtime=0.68 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 3298 0 0 0 63 5 0 0 20 0 1 0 19714556 47951872 4250 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 11707 4250 1731 992 0 3565 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46828 KiB
Current children cumulated memory: 17000 KiB
[startup+1.50028 s]
/proc/loadavg: 4.61 4.29 4.21 5/243 190726
/proc/meminfo: memFree=120693624/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=47376 memory=20392 CPUtime=1.47 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 3539 0 0 0 136 11 0 0 20 0 1 0 19714556 48513024 5098 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 11844 5098 1809 992 0 3702 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47376 KiB
Current children cumulated memory: 20392 KiB
[startup+3.1144 s]
/proc/loadavg: 4.61 4.29 4.21 5/255 190766
/proc/meminfo: memFree=124910692/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=48164 memory=20916 CPUtime=3.09 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 3674 0 0 0 286 23 0 0 20 0 1 0 19714556 49319936 5229 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 12041 5229 1809 992 0 3899 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48164 KiB
Current children cumulated memory: 20916 KiB
[startup+6.30025 s]
/proc/loadavg: 4.56 4.29 4.21 5/255 190766
/proc/meminfo: memFree=124879752/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=51312 memory=23868 CPUtime=6.27 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 4545 0 0 0 581 46 0 0 20 0 1 0 19714556 52543488 5967 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 12828 5967 1809 992 0 4686 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51312 KiB
Current children cumulated memory: 23868 KiB
[startup+12.7003 s]
/proc/loadavg: 4.52 4.28 4.21 5/255 190768
/proc/meminfo: memFree=124825856/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=53384 memory=25704 CPUtime=12.65 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 5037 0 0 0 1192 73 0 0 20 0 1 0 19714556 54665216 6426 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 13346 6426 1809 992 0 5204 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 53384 KiB
Current children cumulated memory: 25704 KiB
[startup+25.5003 s]
/proc/loadavg: 4.40 4.27 4.20 5/254 190769
/proc/meminfo: memFree=124706376/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=56704 memory=27848 CPUtime=25.42 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 5559 0 0 0 2404 138 0 0 20 0 1 0 19714556 58064896 6962 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 14176 6962 1809 992 0 6034 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 56704 KiB
Current children cumulated memory: 27848 KiB
[startup+51.1133 s]
/proc/loadavg: 4.33 4.26 4.20 5/254 190774
/proc/meminfo: memFree=124495768/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=63404 memory=33944 CPUtime=50.97 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 7013 0 0 0 4843 254 0 0 20 0 1 0 19714556 64925696 8486 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 15851 8486 1809 992 0 7709 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 63404 KiB
Current children cumulated memory: 33944 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.23 4.19 5/254 190782
/proc/meminfo: memFree=124101660/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=65908 memory=38576 CPUtime=102.02 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 7692 0 0 0 9748 454 0 0 20 0 1 0 19714556 67489792 9644 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 16477 9644 1809 992 0 8335 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 65908 KiB
Current children cumulated memory: 38576 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/254 190792
/proc/meminfo: memFree=123650284/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=67948 memory=41388 CPUtime=161.85 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 8429 0 0 0 15538 647 0 0 20 0 1 0 19714556 69578752 10347 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 16987 10347 1809 992 0 8845 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 67948 KiB
Current children cumulated memory: 41388 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/251 190807
/proc/meminfo: memFree=123247908/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=76372 memory=46696 CPUtime=221.68 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 9171 0 0 0 21316 852 0 0 20 0 1 0 19714556 78204928 11674 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 19093 11674 1841 992 0 10951 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 76372 KiB
Current children cumulated memory: 46696 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/251 190818
/proc/meminfo: memFree=122877808/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=78420 memory=50548 CPUtime=281.5 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 9651 0 0 0 27125 1025 0 0 20 0 1 0 19714556 80302080 12637 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 19605 12637 1841 992 0 11463 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 78420 KiB
Current children cumulated memory: 50548 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.14 4.16 5/248 190828
/proc/meminfo: memFree=122487572/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=80036 memory=52356 CPUtime=341.33 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 10098 0 0 0 32929 1204 0 0 20 0 1 0 19714556 81956864 13089 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 20009 13089 1841 992 0 11867 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 80036 KiB
Current children cumulated memory: 52356 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/247 190839
/proc/meminfo: memFree=122127036/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=81060 memory=53340 CPUtime=401.18 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 10401 0 0 0 38753 1365 0 0 20 0 1 0 19714556 83005440 13335 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 20265 13335 1841 992 0 12123 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 81060 KiB
Current children cumulated memory: 53340 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/248 190851
/proc/meminfo: memFree=121761320/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=82280 memory=55372 CPUtime=461.03 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 10948 0 0 0 44588 1515 0 0 20 0 1 0 19714556 84254720 13843 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 20570 13843 1841 992 0 12428 0
################
# More data... #
################
/proc/loadavg: 4.10 4.12 4.16 5/249 191879
/proc/meminfo: memFree=112301828/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=132672 memory=95088 CPUtime=2675.59 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 17667 0 0 0 262040 5519 0 0 20 0 1 0 19714556 135856128 23772 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33168 23772 1841 992 0 25026 0
Current children cumulated CPU time: 2675.59 s
Current children cumulated vsize: 132672 KiB
Current children cumulated memory: 95088 KiB
[startup+2742.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/249 191889
/proc/meminfo: memFree=112102796/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=133004 memory=97236 CPUtime=2735.45 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 17791 0 0 0 267935 5610 0 0 20 0 1 0 19714556 136196096 24309 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33251 24309 1841 992 0 25109 0
Current children cumulated CPU time: 2735.45 s
Current children cumulated vsize: 133004 KiB
Current children cumulated memory: 97236 KiB
[startup+2802.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/249 191899
/proc/meminfo: memFree=111903652/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=133004 memory=97480 CPUtime=2795.3 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 17832 0 0 0 273832 5698 0 0 20 0 1 0 19714556 136196096 24370 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33251 24370 1841 992 0 25109 0
Current children cumulated CPU time: 2795.3 s
Current children cumulated vsize: 133004 KiB
Current children cumulated memory: 97480 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/249 191910
/proc/meminfo: memFree=111711832/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=133472 memory=97704 CPUtime=2855.16 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 17989 0 0 0 279733 5783 0 0 20 0 1 0 19714556 136675328 24426 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33368 24426 1841 992 0 25226 0
Current children cumulated CPU time: 2855.16 s
Current children cumulated vsize: 133472 KiB
Current children cumulated memory: 97704 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.15 6/249 192304
/proc/meminfo: memFree=111506496/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=133472 memory=97948 CPUtime=2915.01 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 18030 0 0 0 285629 5872 0 0 20 0 1 0 19714556 136675328 24487 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33368 24487 1841 992 0 25226 0
Current children cumulated CPU time: 2915.01 s
Current children cumulated vsize: 133472 KiB
Current children cumulated memory: 97948 KiB
[startup+2982.3 s]
/proc/loadavg: 4.30 4.17 4.17 5/248 192314
/proc/meminfo: memFree=111310036/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=134208 memory=100472 CPUtime=2974.87 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 18247 0 0 0 291539 5948 0 0 20 0 1 0 19714556 137428992 25118 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33552 25118 1841 992 0 25410 0
Current children cumulated CPU time: 2974.87 s
Current children cumulated vsize: 134208 KiB
Current children cumulated memory: 100472 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/248 192325
/proc/meminfo: memFree=111101708/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=134208 memory=100732 CPUtime=3034.72 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 18299 0 0 0 297441 6031 0 0 20 0 1 0 19714556 137428992 25183 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33552 25183 1841 992 0 25410 0
Current children cumulated CPU time: 3034.72 s
Current children cumulated vsize: 134208 KiB
Current children cumulated memory: 100732 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.16 4.16 5/251 192506
/proc/meminfo: memFree=110898012/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=134552 memory=100920 CPUtime=3094.58 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 18429 0 0 0 303343 6115 0 0 20 0 1 0 19714556 137781248 25230 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33638 25230 1841 992 0 25496 0
Current children cumulated CPU time: 3094.58 s
Current children cumulated vsize: 134552 KiB
Current children cumulated memory: 100920 KiB
[startup+3139.8 s]
# the end of solver process 190725 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3070.3 s, system=61.6869 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3123.2 s]
/proc/loadavg: 4.14 4.14 4.16 5/251 192509
/proc/meminfo: memFree=110834296/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=134552 memory=101076 CPUtime=3115.43 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 18489 0 0 0 305406 6137 0 0 20 0 1 0 19714556 137781248 25269 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33638 25269 1841 992 0 25496 0
Current children cumulated CPU time: 3115.43 s
Current children cumulated vsize: 134552 KiB
Current children cumulated memory: 101076 KiB
[startup+3129.6 s]
/proc/loadavg: 4.13 4.14 4.16 5/251 192512
/proc/meminfo: memFree=110804000/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=134552 memory=101076 CPUtime=3121.81 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 18502 0 0 0 306032 6149 0 0 20 0 1 0 19714556 137781248 25269 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33638 25269 1841 992 0 25496 0
Current children cumulated CPU time: 3121.81 s
Current children cumulated vsize: 134552 KiB
Current children cumulated memory: 101076 KiB
[startup+3136 s]*
/proc/loadavg: 4.11 4.14 4.15 5/250 192512
/proc/meminfo: memFree=110777684/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=134552 memory=101076 CPUtime=3128.2 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 18502 0 0 0 306659 6161 0 0 20 0 1 0 19714556 137781248 25269 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33638 25269 1841 992 0 25496 0
Current children cumulated CPU time: 3128.2 s
Current children cumulated vsize: 134552 KiB
Current children cumulated memory: 101076 KiB
[startup+3137.6 s]
/proc/loadavg: 4.11 4.14 4.15 5/250 192512
/proc/meminfo: memFree=110773960/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=134552 memory=101076 CPUtime=3129.79 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 18502 0 0 0 306815 6164 0 0 20 0 1 0 19714556 137781248 25269 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33638 25269 1841 992 0 25496 0
Current children cumulated CPU time: 3129.79 s
Current children cumulated vsize: 134552 KiB
Current children cumulated memory: 101076 KiB
[startup+3139.2 s]
/proc/loadavg: 4.11 4.14 4.15 5/251 192514
/proc/meminfo: memFree=110768376/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=134552 memory=101076 CPUtime=3131.38 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 18502 0 0 0 306972 6166 0 0 20 0 1 0 19714556 137781248 25269 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33638 25269 1841 992 0 25496 0
Current children cumulated CPU time: 3131.38 s
Current children cumulated vsize: 134552 KiB
Current children cumulated memory: 101076 KiB
[startup+3139.6 s]
/proc/loadavg: 4.11 4.14 4.15 5/251 192514
/proc/meminfo: memFree=110768376/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=134552 memory=101076 CPUtime=3131.79 cores=5,7
/proc/190725/stat : 190725 (roundingsat) R 190722 190725 188583 0 -1 4194304 18502 0 0 0 307011 6168 0 0 20 0 1 0 19714556 137781248 25269 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33638 25269 1841 992 0 25496 0
Current children cumulated CPU time: 3131.79 s
Current children cumulated vsize: 134552 KiB
Current children cumulated memory: 101076 KiB
[startup+3139.8 s]
/proc/loadavg: 4.11 4.14 4.15 5/251 192514
/proc/meminfo: memFree=110768376/131655788 swapFree=131057052/131071996
[pid=190725] ppid=190722 vsize=134552 memory=101076 CPUtime=3131.98 cores=5,7
/proc/190725/stat : 190725 (roundingsat) D 190722 190725 188583 0 -1 1077936128 18502 0 0 0 307030 6168 0 0 20 0 1 0 19714556 137781248 25269 134679101440 4194304 8254037 140722532144256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 10244096 140722532148060 140722532148322 140722532148322 140722532155337 0
/proc/190725/statm: 33638 25269 1841 992 0 25496 0
Current children cumulated CPU time: 3131.98 s
Current children cumulated vsize: 134552 KiB
Current children cumulated memory: 101076 KiB
Child status: 0
Real time (s): 3139.8
CPU time (s): 3131.99
CPU user time (s): 3070.3
CPU system time (s): 61.6869
CPU usage (%): 99.7512
Max. virtual memory (cumulated for all children) (KiB): 134552
Max. memory (cumulated for all children) (KiB): 101076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3070.3
system time used= 61.6869
maximum resident set size= 101076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6701632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219
involuntary context switches= 4151
# summary of solver processes directly reported to runsolver:
# pid: 190725
# total CPU time (s): 3131.99
# total CPU user time (s): 3070.3
# total CPU system time (s): 61.6869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6742 second user time and 31.9922 second system time
The end
Begin job on nodeC012 at 2024-07-24 18:07:28 IDJOB=4457334 IDBENCH=162276 IDSOLVER=3085 FILE ID=nodeC012/4457334-1721837248 RUNJOBID= nodeC012-1721833630-188596 SLURM_JOB_ID= 7891540 Free space on /tmp= 723748 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round21-4.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-4457334-1721837248/watcher-4457334-1721837248 -o /tmp/evaluation-result-4457334-1721837248/solver-4457334-1721837248 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721833630-188596 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457334-1721837248 --lp-cut-gomory=0 HOME/instance-4457334-1721837248.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f504409cca969bd8c5b41a512643c0a3 RANDOM SEED=879536529 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1795.749 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1795.749 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.394 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.490 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.735 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.173 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.464 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.786 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 107312948 kB MemAvailable: 129871960 kB Buffers: 270556 kB Cached: 23048464 kB SwapCached: 84 kB Active: 2536316 kB Inactive: 21112652 kB Active(anon): 4076 kB Inactive(anon): 378972 kB Active(file): 2532240 kB Inactive(file): 20733680 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057052 kB Dirty: 18424 kB Writeback: 0 kB AnonPages: 326884 kB Mapped: 118996 kB Shmem: 53076 kB KReclaimable: 264952 kB Slab: 378604 kB SReclaimable: 264952 kB SUnreclaim: 113652 kB KernelStack: 3904 kB PageTables: 9736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 792796 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15136 kB HardwareCorrupted: 0 kB AnonHugePages: 196608 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: 402248 kB DirectMap2M: 55076864 kB DirectMap1G: 80740352 kB Free space on /tmp at the end= 723748 MiB End job on nodeC012 at 2024-07-24 18:59:48