| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.02 | 3614.9 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb |
| MD5SUM | b3a7e12d93ab079a38c8d0bc0b1ef8cc |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 20800.4 |
| 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 | 52 |
| Total number of constraints | 2 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 52 |
| Maximum length of a constraint | 52 |
| 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 | 5842800 |
| Number of bits of the biggest number in a constraint | 23 |
| Biggest sum of numbers in a constraint | 78219574 |
| Number of bits of the biggest sum of numbers | 27 |
| 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/1.61 c #variables 52 #constraints 2 0.00/1.61 c rational objective 1.0539 0.18/1.80 c #Conflicts: 1000 | #Constraints: 1001 0.18/1.80 c #Conflicts: 2000 | #Constraints: 2001 0.18/1.80 c INPROCESSING 0.18/1.80 c GARBAGE COLLECT 0.18/1.80 c rational objective 1.0539 0.48/2.10 c #Conflicts: 3000 | #Constraints: 2002 0.48/2.10 c #Conflicts: 4000 | #Constraints: 3002 0.48/2.10 c INPROCESSING 0.48/2.10 c GARBAGE COLLECT 0.48/2.10 c rational objective 1.14336 0.87/2.51 c #Conflicts: 5000 | #Constraints: 2401 0.87/2.51 c #Conflicts: 6000 | #Constraints: 3401 0.87/2.51 c INPROCESSING 0.87/2.51 c GARBAGE COLLECT 0.87/2.51 c rational objective 1.19202 1.67/3.33 c #Conflicts: 7000 | #Constraints: 2404 1.67/3.33 c #Conflicts: 8000 | #Constraints: 3404 1.67/3.33 c #Conflicts: 9000 | #Constraints: 4404 1.67/3.33 c INPROCESSING 1.67/3.33 c GARBAGE COLLECT 1.67/3.33 c rational objective 1.14585 2.37/4.04 c #Conflicts: 10000 | #Constraints: 3107 2.37/4.04 c #Conflicts: 11000 | #Constraints: 4107 2.37/4.04 c #Conflicts: 12000 | #Constraints: 5107 2.37/4.04 c INPROCESSING 2.37/4.04 c GARBAGE COLLECT 2.37/4.04 c rational objective 1.18915 3.26/4.96 c #Conflicts: 13000 | #Constraints: 3557 3.26/4.96 c #Conflicts: 14000 | #Constraints: 4557 3.26/4.96 c #Conflicts: 15000 | #Constraints: 5557 3.26/4.96 c INPROCESSING 3.26/4.96 c GARBAGE COLLECT 3.26/4.96 c rational objective 1.20806 4.26/5.91 c #Conflicts: 16000 | #Constraints: 3780 4.26/5.91 c #Conflicts: 17000 | #Constraints: 4780 4.26/5.91 c #Conflicts: 18000 | #Constraints: 5780 4.26/5.91 c INPROCESSING 4.26/5.91 c GARBAGE COLLECT 4.26/5.91 c rational objective 1.2663 5.65/7.30 c #Conflicts: 19000 | #Constraints: 3796 5.65/7.30 c #Conflicts: 20000 | #Constraints: 4796 5.65/7.30 c #Conflicts: 21000 | #Constraints: 5796 5.65/7.30 c INPROCESSING 5.65/7.30 c GARBAGE COLLECT 5.65/7.30 c rational objective 1.2663 7.25/8.99 c #Conflicts: 22000 | #Constraints: 3601 7.25/8.99 c #Conflicts: 23000 | #Constraints: 4601 7.25/8.99 c #Conflicts: 24000 | #Constraints: 5601 7.25/8.99 c #Conflicts: 25000 | #Constraints: 6601 7.25/8.99 c INPROCESSING 7.25/8.99 c GARBAGE COLLECT 7.25/8.99 c rational objective 1.27125 9.14/10.86 c #Conflicts: 26000 | #Constraints: 4206 9.14/10.86 c #Conflicts: 27000 | #Constraints: 5206 9.14/10.86 c #Conflicts: 28000 | #Constraints: 6206 9.14/10.86 c #Conflicts: 29000 | #Constraints: 7206 9.14/10.86 c INPROCESSING 9.14/10.86 c GARBAGE COLLECT 9.14/10.86 c rational objective 1.27125 10.94/12.66 c #Conflicts: 30000 | #Constraints: 4605 10.94/12.66 c #Conflicts: 31000 | #Constraints: 5606 10.94/12.66 c #Conflicts: 32000 | #Constraints: 6606 10.94/12.66 c #Conflicts: 33000 | #Constraints: 7606 10.94/12.66 c INPROCESSING 10.94/12.66 c GARBAGE COLLECT 10.94/12.66 c rational objective 1.27125 13.73/15.46 c #Conflicts: 34000 | #Constraints: 4808 13.73/15.46 c #Conflicts: 35000 | #Constraints: 5808 13.73/15.46 c #Conflicts: 36000 | #Constraints: 6808 13.73/15.46 c #Conflicts: 37000 | #Constraints: 7808 13.73/15.46 c INPROCESSING 13.73/15.46 c GARBAGE COLLECT 13.73/15.46 c rational objective 1.27125 15.92/17.65 c #Conflicts: 38000 | #Constraints: 4808 15.92/17.65 c #Conflicts: 39000 | #Constraints: 5808 15.92/17.65 c #Conflicts: 40000 | #Constraints: 6808 15.92/17.65 c #Conflicts: 41000 | #Constraints: 7808 15.92/17.65 c INPROCESSING 15.92/17.65 c GARBAGE COLLECT 15.92/17.65 c rational objective 1.27319 19.32/21.08 c #Conflicts: 42000 | #Constraints: 4609 19.32/21.08 c #Conflicts: 43000 | #Constraints: 5609 19.32/21.08 c #Conflicts: 44000 | #Constraints: 6609 19.32/21.08 c #Conflicts: 45000 | #Constraints: 7609 19.32/21.08 c #Conflicts: 46000 | #Constraints: 8610 19.32/21.08 c INPROCESSING 19.32/21.08 c GARBAGE COLLECT 19.32/21.08 c rational objective 1.27319 21.90/23.64 c #Conflicts: 47000 | #Constraints: 5209 21.90/23.64 c #Conflicts: 48000 | #Constraints: 6209 21.90/23.64 c #Conflicts: 49000 | #Constraints: 7209 21.90/23.64 c #Conflicts: 50000 | #Constraints: 8209 21.90/23.64 c #Conflicts: 51000 | #Constraints: 9209 21.90/23.64 c INPROCESSING 21.90/23.64 c GARBAGE COLLECT 21.90/23.64 c rational objective 1.27319 24.49/26.25 c #Conflicts: 52000 | #Constraints: 5609 24.49/26.25 c #Conflicts: 53000 | #Constraints: 6609 24.49/26.25 c #Conflicts: 54000 | #Constraints: 7609 24.49/26.25 c #Conflicts: 55000 | #Constraints: 8609 24.49/26.25 c #Conflicts: 56000 | #Constraints: 9609 24.49/26.25 c INPROCESSING 24.49/26.25 c GARBAGE COLLECT 24.49/26.25 c rational objective 1.27319 27.78/29.55 c #Conflicts: 57000 | #Constraints: 5806 27.78/29.55 c #Conflicts: 58000 | #Constraints: 6806 27.78/29.55 c #Conflicts: 59000 | #Constraints: 7806 27.78/29.55 c #Conflicts: 60000 | #Constraints: 8806 27.78/29.55 c #Conflicts: 61000 | #Constraints: 9806 27.78/29.55 c INPROCESSING 27.78/29.55 c GARBAGE COLLECT 27.78/29.55 c rational objective 1.27319 32.07/33.85 c #Conflicts: 62000 | #Constraints: 5807 32.07/33.85 c #Conflicts: 63000 | #Constraints: 6807 32.07/33.85 c #Conflicts: 64000 | #Constraints: 7807 32.07/33.85 c #Conflicts: 65000 | #Constraints: 8807 32.07/33.85 c #Conflicts: 66000 | #Constraints: 9807 32.07/33.85 c INPROCESSING 32.07/33.85 c GARBAGE COLLECT 32.07/33.85 c rational objective 1.27319 51.91/53.72 c #Conflicts: 67000 | #Constraints: 5607 51.91/53.72 c #Conflicts: 68000 | #Constraints: 6607 51.91/53.72 c #Conflicts: 69000 | #Constraints: 7607 51.91/53.72 c #Conflicts: 70000 | #Constraints: 8607 51.91/53.72 c #Conflicts: 71000 | #Constraints: 9607 51.91/53.72 c #Conflicts: 72000 | #Constraints: 10607 51.91/53.72 c #Conflicts: 73000 | #Constraints: 11607 51.91/53.72 c #Conflicts: 74000 | #Constraints: 12607 51.91/53.72 c #Conflicts: 75000 | #Constraints: 13607 51.91/53.72 c #Conflicts: 76000 | #Constraints: 14607 51.91/53.72 c #Conflicts: 77000 | #Constraints: 15607 51.91/53.72 c #Conflicts: 78000 | #Constraints: 16607 51.91/53.72 c #Conflicts: 79000 | #Constraints: 17607 51.91/53.72 c #Conflicts: 80000 | #Constraints: 18607 51.91/53.72 c #Conflicts: 81000 | #Constraints: 19607 51.91/53.72 c #Conflicts: 82000 | #Constraints: 20607 51.91/53.72 c #Conflicts: 83000 | #Constraints: 21607 51.91/53.72 c #Conflicts: 84000 | #Constraints: 22607 51.91/53.72 c #Conflicts: 85000 | #Constraints: 23607 51.91/53.72 c #Conflicts: 86000 | #Constraints: 24607 51.91/53.72 c #Conflicts: 87000 | #Constraints: 25607 51.91/53.72 c #Conflicts: 88000 | #Constraints: 26607 51.91/53.72 c #Conflicts: 89000 | #Constraints: 27607 51.91/53.72 c INPROCESSING 51.91/53.72 c GARBAGE COLLECT 51.91/53.72 c rational objective 1.27319 64.17/66.08 c #Conflicts: 90000 | #Constraints: 14656 64.17/66.08 c #Conflicts: 91000 | #Constraints: 15656 64.17/66.08 c #Conflicts: 92000 | #Constraints: 16656 64.17/66.08 c #Conflicts: 93000 | #Constraints: 17656 64.17/66.08 c #Conflicts: 94000 | #Constraints: 18656 64.17/66.08 c #Conflicts: 95000 | #Constraints: 19656 64.17/66.08 c #Conflicts: 96000 | #Constraints: 20656 64.17/66.08 c INPROCESSING 64.17/66.08 c GARBAGE COLLECT 64.17/66.08 c rational objective 1.27883 73.43/75.33 c #Conflicts: 97000 | #Constraints: 11331 73.43/75.33 c #Conflicts: 98000 | #Constraints: 12331 73.43/75.33 c #Conflicts: 99000 | #Constraints: 13331 73.43/75.33 c #Conflicts: 100000 | #Constraints: 14331 73.43/75.33 c #Conflicts: 101000 | #Constraints: 15331 73.43/75.33 c #Conflicts: 102000 | #Constraints: 16331 73.43/75.33 c INPROCESSING 73.43/75.33 c GARBAGE COLLECT 73.43/75.33 c rational objective 1.27883 80.21/82.19 c #Conflicts: 103000 | #Constraints: 8719 80.21/82.19 c #Conflicts: 104000 | #Constraints: 9719 80.21/82.19 c #Conflicts: 105000 | #Constraints: 10719 80.21/82.19 c #Conflicts: 106000 | #Constraints: 11719 80.21/82.19 c #Conflicts: 107000 | #Constraints: 12719 80.21/82.19 c #Conflicts: 108000 | #Constraints: 13719 80.21/82.19 c #Conflicts: 109000 | #Constraints: 14719 80.21/82.19 c #Conflicts: 110000 | #Constraints: 15719 80.21/82.19 c INPROCESSING 80.21/82.19 c GARBAGE COLLECT 80.21/82.19 c rational objective 1.27883 112.58/114.64 c #Conflicts: 111000 | #Constraints: 8865 112.58/114.64 c #Conflicts: 112000 | #Constraints: 9865 112.58/114.64 c #Conflicts: 113000 | #Constraints: 10865 112.58/114.64 c #Conflicts: 114000 | #Constraints: 11865 112.58/114.64 c #Conflicts: 115000 | #Constraints: 12865 112.58/114.64 c #Conflicts: 116000 | #Constraints: 13865 112.58/114.64 c #Conflicts: 117000 | #Constraints: 14865 112.58/114.64 c #Conflicts: 118000 | #Constraints: 15865 112.58/114.64 c #Conflicts: 119000 | #Constraints: 16865 112.58/114.64 c #Conflicts: 120000 | #Constraints: 17865 112.58/114.64 c #Conflicts: 121000 | #Constraints: 18865 112.58/114.64 c #Conflicts: 122000 | #Constraints: 19865 112.58/114.64 c #Conflicts: 123000 | #Constraints: 20865 112.58/114.64 c #Conflicts: 124000 | #Constraints: 21865 112.58/114.64 c #Conflicts: 125000 | #Constraints: 22865 112.58/114.64 c #Conflicts: 126000 | #Constraints: 23865 112.58/114.64 c #Conflicts: 127000 | #Constraints: 24865 112.58/114.64 c #Conflicts: 128000 | #Constraints: 25865 112.58/114.64 c #Conflicts: 129000 | #Constraints: 26865 112.58/114.64 c #Conflicts: 130000 | #Constraints: 27865 112.58/114.64 c #Conflicts: 131000 | #Constraints: 28865 112.58/114.64 c #Conflicts: 132000 | #Constraints: 29865 112.58/114.64 c #Conflicts: 133000 | #Constraints: 30865 112.58/114.64 c #Conflicts: 134000 | #Constraints: 31865 112.58/114.64 c #Conflicts: 135000 | #Constraints: 32865 112.58/114.64 c #Conflicts: 136000 | #Constraints: 33865 112.58/114.64 c #Conflicts: 137000 | #Constraints: 34865 112.58/114.64 c #Conflicts: 138000 | #Constraints: 35865 112.58/114.64 c INPROCESSING 112.58/114.64 c GARBAGE COLLECT 112.58/114.64 c rational objective 1.27883 129.21/131.36 c #Conflicts: 139000 | #Constraints: 18935 129.21/131.36 c #Conflicts: 140000 | #Constraints: 19935 129.21/131.36 c #Conflicts: 141000 | #Constraints: 20935 129.21/131.36 c #Conflicts: 142000 | #Constraints: 21935 129.21/131.36 c #Conflicts: 143000 | #Constraints: 22935 129.21/131.36 c #Conflicts: 144000 | #Constraints: 23935 129.21/131.36 c #Conflicts: 145000 | #Constraints: 24935 129.21/131.36 c #Conflicts: 146000 | #Constraints: 25935 129.21/131.36 c INPROCESSING 129.21/131.36 c GARBAGE COLLECT 129.21/131.36 c rational objective 1.38971 141.77/143.98 c #Conflicts: 147000 | #Constraints: 13773 141.77/143.98 c #Conflicts: 148000 | #Constraints: 14773 141.77/143.98 c #Conflicts: 149000 | #Constraints: 15774 141.77/143.98 c #Conflicts: 150000 | #Constraints: 16774 141.77/143.98 c #Conflicts: 151000 | #Constraints: 17774 141.77/143.98 c #Conflicts: 152000 | #Constraints: 18774 141.77/143.98 c #Conflicts: 153000 | #Constraints: 19774 141.77/143.98 c #Conflicts: 154000 | #Constraints: 20774 141.77/143.98 c #Conflicts: 155000 | #Constraints: 21774 141.77/143.98 c INPROCESSING 141.77/143.98 c GARBAGE COLLECT 141.77/143.98 c rational objective 1.38971 152.42/154.65 c #Conflicts: 156000 | #Constraints: 11889 152.42/154.65 c #Conflicts: 157000 | #Constraints: 12890 152.42/154.65 c #Conflicts: 158000 | #Constraints: 13890 152.42/154.65 c #Conflicts: 159000 | #Constraints: 14890 152.42/154.65 c #Conflicts: 160000 | #Constraints: 15890 152.42/154.65 c #Conflicts: 161000 | #Constraints: 16890 152.42/154.65 c #Conflicts: 162000 | #Constraints: 17890 152.42/154.65 c #Conflicts: 163000 | #Constraints: 18890 152.42/154.65 c INPROCESSING 152.42/154.65 c GARBAGE COLLECT 152.42/154.65 c rational objective 1.38971 162.79/165.08 c #Conflicts: 164000 | #Constraints: 10049 162.79/165.08 c #Conflicts: 165000 | #Constraints: 11049 162.79/165.08 c #Conflicts: 166000 | #Constraints: 12049 162.79/165.08 c #Conflicts: 167000 | #Constraints: 13049 162.79/165.08 c #Conflicts: 168000 | #Constraints: 14049 162.79/165.08 c #Conflicts: 169000 | #Constraints: 15050 162.79/165.08 c #Conflicts: 170000 | #Constraints: 16050 162.79/165.08 c #Conflicts: 171000 | #Constraints: 17050 162.79/165.08 c #Conflicts: 172000 | #Constraints: 18050 162.79/165.08 c INPROCESSING 162.79/165.08 c GARBAGE COLLECT 162.79/165.08 c rational objective 1.38971 173.54/175.87 c #Conflicts: 173000 | #Constraints: 9628 173.54/175.87 c #Conflicts: 174000 | #Constraints: 10628 173.54/175.87 c #Conflicts: 175000 | #Constraints: 11628 173.54/175.87 c #Conflicts: 176000 | #Constraints: 12628 173.54/175.87 c #Conflicts: 177000 | #Constraints: 13628 173.54/175.87 c #Conflicts: 178000 | #Constraints: 14628 173.54/175.87 c #Conflicts: 179000 | #Constraints: 15628 173.54/175.87 c #Conflicts: 180000 | #Constraints: 16628 173.54/175.87 c #Conflicts: 181000 | #Constraints: 17629 173.54/175.87 c #Conflicts: 182000 | #Constraints: 18629 173.54/175.87 c INPROCESSING 173.54/175.87 c GARBAGE COLLECT 173.54/175.87 c rational objective 1.38971 225.93/228.41 c #Conflicts: 183000 | #Constraints: 10319 225.93/228.41 c #Conflicts: 184000 | #Constraints: 11319 225.93/228.41 c #Conflicts: 185000 | #Constraints: 12319 225.93/228.41 c #Conflicts: 186000 | #Constraints: 13319 225.93/228.41 c #Conflicts: 187000 | #Constraints: 14319 225.93/228.41 c #Conflicts: 188000 | #Constraints: 15319 225.93/228.41 c #Conflicts: 189000 | #Constraints: 16319 225.93/228.41 c #Conflicts: 190000 | #Constraints: 17319 225.93/228.41 c #Conflicts: 191000 | #Constraints: 18319 225.93/228.41 c #Conflicts: 192000 | #Constraints: 19319 225.93/228.41 c #Conflicts: 193000 | #Constraints: 20319 225.93/228.41 c #Conflicts: 194000 | #Constraints: 21319 225.93/228.41 c #Conflicts: 195000 | #Constraints: 22319 225.93/228.41 c #Conflicts: 196000 | #Constraints: 23319 225.93/228.41 c #Conflicts: 197000 | #Constraints: 24319 225.93/228.41 c #Conflicts: 198000 | #Constraints: 25319 225.93/228.41 c #Conflicts: 199000 | #Constraints: 26319 225.93/228.41 c #Conflicts: 200000 | #Constraints: 27319 225.93/228.41 c #Conflicts: 201000 | #Constraints: 28319 225.93/228.41 c #Conflicts: 202000 | #Constraints: 29319 225.93/228.41 c #Conflicts: 203000 | #Constraints: 30319 225.93/228.41 c #Conflicts: 204000 | #Constraints: 31319 225.93/228.41 c #Conflicts: 205000 | #Constraints: 32319 225.93/228.41 c #Conflicts: 206000 | #Constraints: 33319 225.93/228.41 c #Conflicts: 207000 | #Constraints: 34319 225.93/228.41 c #Conflicts: 208000 | #Constraints: 35319 225.93/228.41 c #Conflicts: 209000 | #Constraints: 36319 225.93/228.41 c #Conflicts: 210000 | #Constraints: 37319 225.93/228.41 c #Conflicts: 211000 | #Constraints: 38319 225.93/228.41 c #Conflicts: 212000 | #Constraints: 39319 225.93/228.41 c #Conflicts: 213000 | #Constraints: 40319 225.93/228.41 c #Conflicts: 214000 | #Constraints: 41319 225.93/228.41 c #Conflicts: 215000 | #Constraints: 42319 225.93/228.41 c #Conflicts: 216000 | #Constraints: 43319 225.93/228.41 c #Conflicts: 217000 | #Constraints: 44319 225.93/228.41 c INPROCESSING 225.93/228.41 c GARBAGE COLLECT 225.93/228.41 c rational objective 1.38971 249.45/252.07 c #Conflicts: 218000 | #Constraints: 22916 249.45/252.07 c #Conflicts: 219000 | #Constraints: 23916 249.45/252.07 c #Conflicts: 220000 | #Constraints: 24916 249.45/252.07 c #Conflicts: 221000 | #Constraints: 25916 249.45/252.07 c #Conflicts: 222000 | #Constraints: 26916 249.45/252.07 c #Conflicts: 223000 | #Constraints: 27916 249.45/252.07 c #Conflicts: 224000 | #Constraints: 28916 249.45/252.07 c #Conflicts: 225000 | #Constraints: 29916 249.45/252.07 c #Conflicts: 226000 | #Constraints: 30916 249.45/252.07 c #Conflicts: 227000 | #Constraints: 31916 249.45/252.07 c #Conflicts: 228000 | #Constraints: 32916 249.45/252.07 c INPROCESSING 249.45/252.07 c GARBAGE COLLECT 249.45/252.07 c rational objective 1.38971 266.38/269.00 c #Conflicts: 229000 | #Constraints: 17462 266.38/269.00 c #Conflicts: 230000 | #Constraints: 18462 266.38/269.00 c #Conflicts: 231000 | #Constraints: 19462 266.38/269.00 c #Conflicts: 232000 | #Constraints: 20462 266.38/269.00 c #Conflicts: 233000 | #Constraints: 21462 266.38/269.00 c #Conflicts: 234000 | #Constraints: 22462 266.38/269.00 c #Conflicts: 235000 | #Constraints: 23463 266.38/269.00 c #Conflicts: 236000 | #Constraints: 24463 266.38/269.00 c #Conflicts: 237000 | #Constraints: 25463 266.38/269.00 c #Conflicts: 238000 | #Constraints: 26463 266.38/269.00 c INPROCESSING 266.38/269.00 c GARBAGE COLLECT 266.38/269.00 c rational objective 1.38971 282.11/284.88 c #Conflicts: 239000 | #Constraints: 13884 282.11/284.88 c #Conflicts: 240000 | #Constraints: 14884 282.11/284.88 c #Conflicts: 241000 | #Constraints: 15884 282.11/284.88 c #Conflicts: 242000 | #Constraints: 16884 282.11/284.88 c #Conflicts: 243000 | #Constraints: 17884 282.11/284.88 c #Conflicts: 244000 | #Constraints: 18884 282.11/284.88 c #Conflicts: 245000 | #Constraints: 19884 282.11/284.88 c #Conflicts: 246000 | #Constraints: 20884 282.11/284.88 c #Conflicts: 247000 | #Constraints: 21884 282.11/284.88 c #Conflicts: 248000 | #Constraints: 22884 282.11/284.88 c #Conflicts: 249000 | #Constraints: 23884 282.11/284.88 c INPROCESSING 282.11/284.88 c GARBAGE COLLECT 282.11/284.88 c rational objective 1.38971 297.26/300.05 c #Conflicts: 250000 | #Constraints: 12648 297.26/300.05 c #Conflicts: 251000 | #Constraints: 13649 297.26/300.05 c #Conflicts: 252000 | #Constraints: 14649 297.26/300.05 c #Conflicts: 253000 | #Constraints: 15649 297.26/300.05 c #Conflicts: 254000 | #Constraints: 16649 297.26/300.05 c #Conflicts: 255000 | #Constraints: 17649 297.26/300.05 c #Conflicts: 256000 | #Constraints: 18649 297.26/300.05 c #Conflicts: 257000 | #Constraints: 19649 297.26/300.05 c #Conflicts: 258000 | #Constraints: 20649 297.26/300.05 c #Conflicts: 259000 | #Constraints: 21649 297.26/300.05 c #Conflicts: 260000 | #Constraints: 22649 297.26/300.05 c INPROCESSING 297.26/300.05 c GARBAGE COLLECT 297.26/300.05 c rational objective 1.38971 313.80/316.63 c #Conflicts: 261000 | #Constraints: 11979 313.80/316.63 c #Conflicts: 262000 | #Constraints: 12979 313.80/316.63 c #Conflicts: 263000 | #Constraints: 13980 313.80/316.63 c #Conflicts: 264000 | #Constraints: 14980 313.80/316.63 c #Conflicts: 265000 | #Constraints: 15980 313.80/316.63 c #Conflicts: 266000 | #Constraints: 16980 313.80/316.63 c #Conflicts: 267000 | #Constraints: 17980 313.80/316.63 c #Conflicts: 268000 | #Constraints: 18980 313.80/316.63 c #Conflicts: 269000 | #Constraints: 19980 313.80/316.63 c #Conflicts: 270000 | #Constraints: 20980 313.80/316.63 c #Conflicts: 271000 | #Constraints: 21980 313.80/316.63 c #Conflicts: 272000 | #Constraints: 22980 313.80/316.63 c INPROCESSING 313.80/316.63 c GARBAGE COLLECT 313.80/316.63 c rational objective 1.38971 329.74/332.66 c #Conflicts: 273000 | #Constraints: 12495 329.74/332.66 c #Conflicts: 274000 | #Constraints: 13495 329.74/332.66 c #Conflicts: 275000 | #Constraints: 14495 329.74/332.66 c #Conflicts: 276000 | #Constraints: 15495 329.74/332.66 c #Conflicts: 277000 | #Constraints: 16495 329.74/332.66 c #Conflicts: 278000 | #Constraints: 17495 329.74/332.66 c #Conflicts: 279000 | #Constraints: 18495 329.74/332.66 c #Conflicts: 280000 | #Constraints: 19496 329.74/332.66 c #Conflicts: 281000 | #Constraints: 20496 329.74/332.66 c #Conflicts: 282000 | #Constraints: 21496 329.74/332.66 c #Conflicts: 283000 | #Constraints: 22496 329.74/332.66 c INPROCESSING 329.74/332.66 c GARBAGE COLLECT 329.74/332.66 c rational objective 1.38971 346.48/349.44 c #Conflicts: 284000 | #Constraints: 12001 346.48/349.44 c #Conflicts: 285000 | #Constraints: 13001 346.48/349.44 c #Conflicts: 286000 | #Constraints: 14001 346.48/349.44 c #Conflicts: 287000 | #Constraints: 15001 346.48/349.44 c #Conflicts: 288000 | #Constraints: 16001 346.48/349.44 c #Conflicts: 289000 | #Constraints: 17001 346.48/349.44 c #Conflicts: 290000 | #Constraints: 18001 346.48/349.44 c #Conflicts: 291000 | #Constraints: 19001 346.48/349.44 c #Conflicts: 292000 | #Constraints: 20001 346.48/349.44 c #Conflicts: 293000 | #Constraints: 21001 346.48/349.44 c #Conflicts: 294000 | #Constraints: 22001 346.48/349.44 c #Conflicts: 295000 | #Constraints: 23001 346.48/349.44 c INPROCESSING 346.48/349.44 c GARBAGE COLLECT 346.48/349.44 c rational objective 1.38971 362.32/365.34 c #Conflicts: 296000 | #Constraints: 12403 362.32/365.34 c #Conflicts: 297000 | #Constraints: 13403 362.32/365.34 c #Conflicts: 298000 | #Constraints: 14404 362.32/365.34 c #Conflicts: 299000 | #Constraints: 15404 362.32/365.34 c #Conflicts: 300000 | #Constraints: 16404 362.32/365.34 c #Conflicts: 301000 | #Constraints: 17404 362.32/365.34 c #Conflicts: 302000 | #Constraints: 18404 362.32/365.34 c #Conflicts: 303000 | #Constraints: 19404 362.32/365.34 c #Conflicts: 304000 | #Constraints: 20404 362.32/365.34 c #Conflicts: 305000 | #Constraints: 21404 362.32/365.34 c #Conflicts: 306000 | #Constraints: 22404 362.32/365.34 c #Conflicts: 307000 | #Constraints: 23404 362.32/365.34 c INPROCESSING 362.32/365.34 c GARBAGE COLLECT 362.32/365.34 c rational objective 1.3908 377.56/380.69 c #Conflicts: 308000 | #Constraints: 12657 377.56/380.69 c #Conflicts: 309000 | #Constraints: 13657 377.56/380.69 c #Conflicts: 310000 | #Constraints: 14657 377.56/380.69 c #Conflicts: 311000 | #Constraints: 15657 377.56/380.69 c #Conflicts: 312000 | #Constraints: 16657 377.56/380.69 c #Conflicts: 313000 | #Constraints: 17657 377.56/380.69 c #Conflicts: 314000 | #Constraints: 18657 377.56/380.69 c #Conflicts: 315000 | #Constraints: 19657 377.56/380.69 c #Conflicts: 316000 | #Constraints: 20657 377.56/380.69 c #Conflicts: 317000 | #Constraints: 21657 377.56/380.69 c #Conflicts: 318000 | #Constraints: 22657 377.56/380.69 c #Conflicts: 319000 | #Constraints: 23657 377.56/380.69 c INPROCESSING 377.56/380.69 c GARBAGE COLLECT 377.56/380.69 c rational objective 1.3908 393.31/396.42 c #Conflicts: 320000 | #Constraints: 12735 393.31/396.42 c #Conflicts: 321000 | #Constraints: 13735 393.31/396.42 c #Conflicts: 322000 | #Constraints: 14735 393.31/396.42 c #Conflicts: 323000 | #Constraints: 15735 393.31/396.42 c #Conflicts: 324000 | #Constraints: 16735 393.31/396.42 c #Conflicts: 325000 | #Constraints: 17735 393.31/396.42 c #Conflicts: 326000 | #Constraints: 18735 393.31/396.42 c #Conflicts: 327000 | #Constraints: 19735 393.31/396.42 c #Conflicts: 328000 | #Constraints: 20735 393.31/396.42 c #Conflicts: 329000 | #Constraints: 21735 393.31/396.42 c #Conflicts: 330000 | #Constraints: 22735 393.31/396.42 c #Conflicts: 331000 | #Constraints: 23735 393.31/396.42 c INPROCESSING 393.31/396.42 c GARBAGE COLLECT 393.31/396.42 c rational objective 1.3908 410.54/413.73 c #Conflicts: 332000 | #Constraints: 12625 410.54/413.73 c #Conflicts: 333000 | #Constraints: 13625 410.54/413.73 c #Conflicts: 334000 | #Constraints: 14625 410.54/413.73 c #Conflicts: 335000 | #Constraints: 15625 410.54/413.73 c #Conflicts: 336000 | #Constraints: 16625 410.54/413.73 c #Conflicts: 337000 | #Constraints: 17625 410.54/413.73 c #Conflicts: 338000 | #Constraints: 18625 410.54/413.73 c #Conflicts: 339000 | #Constraints: 19625 410.54/413.73 c #Conflicts: 340000 | #Constraints: 20625 410.54/413.73 c #Conflicts: 341000 | #Constraints: 21625 410.54/413.73 c #Conflicts: 342000 | #Constraints: 22625 410.54/413.73 c #Conflicts: 343000 | #Constraints: 23625 410.54/413.73 c #Conflicts: 344000 | #Constraints: 24625 410.54/413.73 c INPROCESSING 410.54/413.73 c GARBAGE COLLECT 410.54/413.73 c rational objective 1.3908 429.28/432.50 c #Conflicts: 345000 | #Constraints: 13317 429.28/432.50 c #Conflicts: 346000 | #Constraints: 14317 429.28/432.50 c #Conflicts: 347000 | #Constraints: 15317 429.28/432.50 c #Conflicts: 348000 | #Constraints: 16318 429.28/432.50 c #Conflicts: 349000 | #Constraints: 17318 429.28/432.50 c #Conflicts: 350000 | #Constraints: 18318 429.28/432.50 c #Conflicts: 351000 | #Constraints: 19318 429.28/432.50 c #Conflicts: 352000 | #Constraints: 20318 429.28/432.50 c #Conflicts: 353000 | #Constraints: 21318 429.28/432.50 c #Conflicts: 354000 | #Constraints: 22318 429.28/432.50 c #Conflicts: 355000 | #Constraints: 23318 429.28/432.50 c #Conflicts: 356000 | #Constraints: 24319 429.28/432.50 c INPROCESSING 429.28/432.50 c GARBAGE COLLECT 429.28/432.50 c rational objective 1.46697 446.81/450.18 c #Conflicts: 357000 | #Constraints: 12814 446.81/450.18 c #Conflicts: 358000 | #Constraints: 13814 446.81/450.18 c #Conflicts: 359000 | #Constraints: 14814 446.81/450.18 c #Conflicts: 360000 | #Constraints: 15814 446.81/450.18 c #Conflicts: 361000 | #Constraints: 16814 446.81/450.18 c #Conflicts: 362000 | #Constraints: 17814 446.81/450.18 c #Conflicts: 363000 | #Constraints: 18814 446.81/450.18 c #Conflicts: 364000 | #Constraints: 19814 446.81/450.18 c #Conflicts: 365000 | #Constraints: 20814 446.81/450.18 c #Conflicts: 366000 | #Constraints: 21814 446.81/450.18 c #Conflicts: 367000 | #Constraints: 22814 446.81/450.18 c #Conflicts: 368000 | #Constraints: 23814 446.81/450.18 c #Conflicts: 369000 | #Constraints: 24814 446.81/450.18 c INPROCESSING 446.81/450.18 c GARBAGE COLLECT 446.81/450.18 c rational objective 1.46697 463.75/467.18 c #Conflicts: 370000 | #Constraints: 13111 463.75/467.18 c #Conflicts: 371000 | #Constraints: 14111 463.75/467.18 c #Conflicts: 372000 | #Constraints: 15111 463.75/467.18 c #Conflicts: 373000 | #Constraints: 16111 463.75/467.18 c #Conflicts: 374000 | #Constraints: 17111 463.75/467.18 c #Conflicts: 375000 | #Constraints: 18111 463.75/467.18 c #Conflicts: 376000 | #Constraints: 19111 463.75/467.18 c #Conflicts: 377000 | #Constraints: 20111 463.75/467.18 c #Conflicts: 378000 | #Constraints: 21111 463.75/467.18 c #Conflicts: 379000 | #Constraints: 22111 463.75/467.18 c #Conflicts: 380000 | #Constraints: 23111 463.75/467.18 c #Conflicts: 381000 | #Constraints: 24111 463.75/467.18 c #Conflicts: 382000 | #Constraints: 25111 463.75/467.18 c INPROCESSING 463.75/467.18 c GARBAGE COLLECT 463.75/467.18 c rational objective 1.46697 482.68/486.19 c #Conflicts: 383000 | #Constraints: 13208 482.68/486.19 c #Conflicts: 384000 | #Constraints: 14208 482.68/486.19 c #Conflicts: 385000 | #Constraints: 15208 482.68/486.19 c #Conflicts: 386000 | #Constraints: 16208 482.68/486.19 c #Conflicts: 387000 | #Constraints: 17208 482.68/486.19 c #Conflicts: 388000 | #Constraints: 18208 482.68/486.19 c #Conflicts: 389000 | #Constraints: 19208 482.68/486.19 c #Conflicts: 390000 | #Constraints: 20208 482.68/486.19 c #Conflicts: 391000 | #Constraints: 21208 482.68/486.19 c #Conflicts: 392000 | #Constraints: 22208 482.68/486.19 c #Conflicts: 393000 | #Constraints: 23208 482.68/486.19 c #Conflicts: 394000 | #Constraints: 24208 482.68/486.19 c #Conflicts: 395000 | #Constraints: 25208 482.68/486.19 c #Conflicts: 396000 | #Constraints: 26208 482.68/486.19 c INPROCESSING 482.68/486.19 c GARBAGE COLLECT 482.68/486.19 c rational objective 1.46697 502.00/505.51 c #Conflicts: 397000 | #Constraints: 14110 502.00/505.51 c #Conflicts: 398000 | #Constraints: 15110 502.00/505.51 c #Conflicts: 399000 | #Constraints: 16110 502.00/505.51 c #Conflicts: 400000 | #Constraints: 17110 502.00/505.51 c #Conflicts: 401000 | #Constraints: 18110 502.00/505.51 c #Conflicts: 402000 | #Constraints: 19110 502.00/505.51 c #Conflicts: 403000 | #Constraints: 20110 502.00/505.51 c #Conflicts: 404000 | #Constraints: 21110 502.00/505.51 c #Conflicts: 405000 | #Constraints: 22110 502.00/505.51 c #Conflicts: 406000 | #Constraints: 23110 502.00/505.51 c #Conflicts: 407000 | #Constraints: 24110 502.00/505.51 c #Conflicts: 408000 | #Constraints: 25110 502.00/505.51 c #Conflicts: 409000 | #Constraints: 26110 502.00/505.51 c INPROCESSING 502.00/505.51 c GARBAGE COLLECT 502.00/505.51 c rational objective 1.46697 522.23/525.81 c #Conflicts: 410000 | #Constraints: 13811 522.23/525.81 c #Conflicts: 411000 | #Constraints: 14811 522.23/525.81 c #Conflicts: 412000 | #Constraints: 15811 522.23/525.81 c #Conflicts: 413000 | #Constraints: 16811 522.23/525.81 c #Conflicts: 414000 | #Constraints: 17811 522.23/525.81 c #Conflicts: 415000 | #Constraints: 18811 522.23/525.81 c #Conflicts: 416000 | #Constraints: 19811 522.23/525.81 c #Conflicts: 417000 | #Constraints: 20811 522.23/525.81 c #Conflicts: 418000 | #Constraints: 21811 522.23/525.81 c #Conflicts: 419000 | #Constraints: 22811 522.23/525.81 c #Conflicts: 420000 | #Constraints: 23811 522.23/525.81 c #Conflicts: 421000 | #Constraints: 24811 522.23/525.81 c #Conflicts: 422000 | #Constraints: 25811 522.23/525.81 c #Conflicts: 423000 | #Constraints: 26811 522.23/525.81 c INPROCESSING 522.23/525.81 c GARBAGE COLLECT 522.23/525.81 c rational objective 1.46697 540.66/544.30 c #Conflicts: 424000 | #Constraints: 14309 540.66/544.30 c #Conflicts: 425000 | #Constraints: 15309 540.66/544.30 c #Conflicts: 426000 | #Constraints: 16309 540.66/544.30 c #Conflicts: 427000 | #Constraints: 17309 540.66/544.30 c #Conflicts: 428000 | #Constraints: 18309 540.66/544.30 c #Conflicts: 429000 | #Constraints: 19309 540.66/544.30 c #Conflicts: 430000 | #Constraints: 20309 540.66/544.30 c #Conflicts: 431000 | #Constraints: 21309 540.66/544.30 c #Conflicts: 432000 | #Constraints: 22309 540.66/544.30 c #Conflicts: 433000 | #Constraints: 23309 540.66/544.30 c #Conflicts: 434000 | #Constraints: 24309 540.66/544.30 c #Conflicts: 435000 | #Constraints: 25309 540.66/544.30 c #Conflicts: 436000 | #Constraints: 26309 540.66/544.30 c #Conflicts: 437000 | #Constraints: 27309 540.66/544.30 c INPROCESSING 540.66/544.30 c GARBAGE COLLECT 540.66/544.30 c rational objective 1.46697 560.88/564.60 c #Conflicts: 438000 | #Constraints: 14610 560.88/564.60 c #Conflicts: 439000 | #Constraints: 15610 560.88/564.60 c #Conflicts: 440000 | #Constraints: 16610 560.88/564.60 c #Conflicts: 441000 | #Constraints: 17610 560.88/564.60 c #Conflicts: 442000 | #Constraints: 18610 560.88/564.60 c #Conflicts: 443000 | #Constraints: 19610 560.88/564.60 c #Conflicts: 444000 | #Constraints: 20610 560.88/564.60 c #Conflicts: 445000 | #Constraints: 21610 560.88/564.60 c #Conflicts: 446000 | #Constraints: 22610 560.88/564.60 c #Conflicts: 447000 | #Constraints: 23610 560.88/564.60 c #Conflicts: 448000 | #Constraints: 24610 560.88/564.60 c #Conflicts: 449000 | #Constraints: 25610 560.88/564.60 c #Conflicts: 450000 | #Constraints: 26610 560.88/564.60 c #Conflicts: 451000 | #Constraints: 27610 560.88/564.60 c INPROCESSING 560.88/564.60 c GARBAGE COLLECT 560.88/564.60 c rational objective 1.46697 582.40/586.22 c #Conflicts: 452000 | #Constraints: 14711 582.40/586.22 c #Conflicts: 453000 | #Constraints: 15711 582.40/586.22 c #Conflicts: 454000 | #Constraints: 16711 582.40/586.22 c #Conflicts: 455000 | #Constraints: 17711 582.40/586.22 c #Conflicts: 456000 | #Constraints: 18711 582.40/586.22 c #Conflicts: 457000 | #Constraints: 19711 582.40/586.22 c #Conflicts: 458000 | #Constraints: 20711 582.40/586.22 c #Conflicts: 459000 | #Constraints: 21711 582.40/586.22 c #Conflicts: 460000 | #Constraints: 22711 582.40/586.22 c #Conflicts: 461000 | #Constraints: 23711 582.40/586.22 c #Conflicts: 462000 | #Constraints: 24711 582.40/586.22 c #Conflicts: 463000 | #Constraints: 25711 582.40/586.22 c #Conflicts: 464000 | #Constraints: 26711 582.40/586.22 c #Conflicts: 465000 | #Constraints: 27711 582.40/586.22 c INPROCESSING 582.40/586.22 c GARBAGE COLLECT 582.40/586.22 c rational objective 1.47696 605.02/608.98 c #Conflicts: 466000 | #Constraints: 14609 605.02/608.98 c #Conflicts: 467000 | #Constraints: 15609 605.02/608.98 c #Conflicts: 468000 | #Constraints: 16609 605.02/608.98 c #Conflicts: 469000 | #Constraints: 17609 605.02/608.98 c #Conflicts: 470000 | #Constraints: 18610 605.02/608.98 c #Conflicts: 471000 | #Constraints: 19610 605.02/608.98 c #Conflicts: 472000 | #Constraints: 20610 605.02/608.98 c #Conflicts: 473000 | #Constraints: 21610 605.02/608.98 c #Conflicts: 474000 | #Constraints: 22610 605.02/608.98 c #Conflicts: 475000 | #Constraints: 23610 605.02/608.98 c #Conflicts: 476000 | #Constraints: 24610 605.02/608.98 c #Conflicts: 477000 | #Constraints: 25610 605.02/608.98 c #Conflicts: 478000 | #Constraints: 26610 605.02/608.98 c #Conflicts: 479000 | #Constraints: 27610 605.02/608.98 c #Conflicts: 480000 | #Constraints: 28610 605.02/608.98 c INPROCESSING 605.02/608.98 c GARBAGE COLLECT 605.02/608.98 c rational objective 1.47696 626.24/630.29 c #Conflicts: 481000 | #Constraints: 15312 626.24/630.29 c #Conflicts: 482000 | #Constraints: 16312 626.24/630.29 c #Conflicts: 483000 | #Constraints: 17312 626.24/630.29 c #Conflicts: 484000 | #Constraints: 18312 626.24/630.29 c #Conflicts: 485000 | #Constraints: 19312 626.24/630.29 c #Conflicts: 486000 | #Constraints: 20312 626.24/630.29 c #Conflicts: 487000 | #Constraints: 21312 626.24/630.29 c #Conflicts: 488000 | #Constraints: 22312 626.24/630.29 c #Conflicts: 489000 | #Constraints: 23312 626.24/630.29 c #Conflicts: 490000 | #Constraints: 24312 626.24/630.29 c #Conflicts: 491000 | #Constraints: 25312 626.24/630.29 c #Conflicts: 492000 | #Constraints: 26312 626.24/630.29 c #Conflicts: 493000 | #Constraints: 27312 626.24/630.29 c #Conflicts: 494000 | #Constraints: 28312 626.24/630.29 c INPROCESSING 626.24/630.29 c GARBAGE COLLECT 626.24/630.29 c rational objective 1.47696 646.56/650.63 c #Conflicts: 495000 | #Constraints: 14812 646.56/650.63 c #Conflicts: 496000 | #Constraints: 15812 646.56/650.63 c #Conflicts: 497000 | #Constraints: 16812 646.56/650.63 c #Conflicts: 498000 | #Constraints: 17812 646.56/650.63 c #Conflicts: 499000 | #Constraints: 18812 646.56/650.63 c #Conflicts: 500000 | #Constraints: 19812 646.56/650.63 c #Conflicts: 501000 | #Constraints: 20812 646.56/650.63 c #Conflicts: 502000 | #Constraints: 21812 646.56/650.63 c #Conflicts: 503000 | #Constraints: 22812 646.56/650.63 c #Conflicts: 504000 | #Constraints: 23812 646.56/650.63 c #Conflicts: 505000 | #Constraints: 24812 646.56/650.63 c #Conflicts: 506000 | #Constraints: 25812 646.56/650.63 c #Conflicts: 507000 | #Constraints: 26812 646.56/650.63 c #Conflicts: 508000 | #Constraints: 27812 646.56/650.63 c #Conflicts: 509000 | #Constraints: 28812 646.56/650.63 c INPROCESSING 646.56/650.63 c GARBAGE COLLECT 646.56/650.63 c rational objective 1.47696 671.07/675.27 c #Conflicts: 510000 | #Constraints: 15112 671.07/675.27 c #Conflicts: 511000 | #Constraints: 16112 671.07/675.27 c #Conflicts: 512000 | #Constraints: 17112 671.07/675.27 c #Conflicts: 513000 | #Constraints: 18112 671.07/675.27 c #Conflicts: 514000 | #Constraints: 19112 671.07/675.27 c #Conflicts: 515000 | #Constraints: 20112 671.07/675.27 c #Conflicts: 516000 | #Constraints: 21113 671.07/675.27 c #Conflicts: 517000 | #Constraints: 22113 671.07/675.27 c #Conflicts: 518000 | #Constraints: 23113 671.07/675.27 c #Conflicts: 519000 | #Constraints: 24113 671.07/675.27 c #Conflicts: 520000 | #Constraints: 25113 671.07/675.27 c #Conflicts: 521000 | #Constraints: 26113 671.07/675.27 c #Conflicts: 522000 | #Constraints: 27113 671.07/675.27 c #Conflicts: 523000 | #Constraints: 28113 671.07/675.27 c #Conflicts: 524000 | #Constraints: 29113 671.07/675.27 c INPROCESSING 671.07/675.27 c GARBAGE COLLECT 671.07/675.27 c rational objective 1.47696 695.28/699.57 c #Conflicts: 525000 | #Constraints: 15212 695.28/699.57 c #Conflicts: 526000 | #Constraints: 16212 695.28/699.57 c #Conflicts: 527000 | #Constraints: 17212 695.28/699.57 c #Conflicts: 528000 | #Constraints: 18212 695.28/699.57 c #Conflicts: 529000 | #Constraints: 19212 695.28/699.57 c #Conflicts: 530000 | #Constraints: 20212 695.28/699.57 c #Conflicts: 531000 | #Constraints: 21212 695.28/699.57 c #Conflicts: 532000 | #Constraints: 22212 695.28/699.57 c #Conflicts: 533000 | #Constraints: 23212 695.28/699.57 c #Conflicts: 534000 | #Constraints: 24212 695.28/699.57 c #Conflicts: 535000 | #Constraints: 25212 695.28/699.57 c #Conflicts: 536000 | #Constraints: 26212 695.28/699.57 c #Conflicts: 537000 | #Constraints: 27212 695.28/699.57 c #Conflicts: 538000 | #Constraints: 28212 695.28/699.57 c #Conflicts: 539000 | #Constraints: 29212 695.28/699.57 c #Conflicts: 540000 | #Constraints: 30212 695.28/699.57 c INPROCESSING 695.28/699.57 c GARBAGE COLLECT 695.28/699.57 c rational objective 1.47696 722.38/726.70 c #Conflicts: 541000 | #Constraints: 16110 722.38/726.70 c #Conflicts: 542000 | #Constraints: 17110 722.38/726.70 c #Conflicts: 543000 | #Constraints: 18110 722.38/726.70 c #Conflicts: 544000 | #Constraints: 19110 722.38/726.70 c #Conflicts: 545000 | #Constraints: 20110 722.38/726.70 c #Conflicts: 546000 | #Constraints: 21110 722.38/726.70 c #Conflicts: 547000 | #Constraints: 22110 722.38/726.70 c #Conflicts: 548000 | #Constraints: 23110 722.38/726.70 c #Conflicts: 549000 | #Constraints: 24110 722.38/726.70 c #Conflicts: 550000 | #Constraints: 25110 722.38/726.70 c #Conflicts: 551000 | #Constraints: 26110 722.38/726.70 c #Conflicts: 552000 | #Constraints: 27110 722.38/726.70 c #Conflicts: 553000 | #Constraints: 28110 722.38/726.70 c #Conflicts: 554000 | #Constraints: 29110 722.38/726.70 c #Conflicts: 555000 | #Constraints: 30110 722.38/726.70 c INPROCESSING 722.38/726.70 c GARBAGE COLLECT 722.38/726.70 c rational objective 1.47696 749.17/753.61 c #Conflicts: 556000 | #Constraints: 15812 749.17/753.61 c #Conflicts: 557000 | #Constraints: 16812 749.17/753.61 c #Conflicts: 558000 | #Constraints: 17812 749.17/753.61 c #Conflicts: 559000 | #Constraints: 18812 749.17/753.61 c #Conflicts: 560000 | #Constraints: 19812 749.17/753.61 c #Conflicts: 561000 | #Constraints: 20812 749.17/753.61 c #Conflicts: 562000 | #Constraints: 21812 749.17/753.61 c #Conflicts: 563000 | #Constraints: 22812 749.17/753.61 c #Conflicts: 564000 | #Constraints: 23812 749.17/753.61 c #Conflicts: 565000 | #Constraints: 24812 749.17/753.61 c #Conflicts: 566000 | #Constraints: 25812 749.17/753.61 c #Conflicts: 567000 | #Constraints: 26813 749.17/753.61 c #Conflicts: 568000 | #Constraints: 27813 749.17/753.61 c #Conflicts: 569000 | #Constraints: 28813 749.17/753.61 c #Conflicts: 570000 | #Constraints: 29813 749.17/753.61 c #Conflicts: 571000 | #Constraints: 30813 749.17/753.61 c INPROCESSING 749.17/753.61 c GARBAGE COLLECT 749.17/753.61 c rational objective 1.47696 775.67/780.20 c #Conflicts: 572000 | #Constraints: 16313 775.67/780.20 c #Conflicts: 573000 | #Constraints: 17313 775.67/780.20 c #Conflicts: 574000 | #Constraints: 18313 775.67/780.20 c #Conflicts: 575000 | #Constraints: 19313 775.67/780.20 c #Conflicts: 576000 | #Constraints: 20313 775.67/780.20 c #Conflicts: 577000 | #Constraints: 21313 775.67/780.20 c #Conflicts: 578000 | #Constraints: 22313 775.67/780.20 c #Conflicts: 579000 | #Constraints: 23313 775.67/780.20 c #Conflicts: 580000 | #Constraints: 24313 775.67/780.20 c #Conflicts: 581000 | #Constraints: 25313 775.67/780.20 c #Conflicts: 582000 | #Constraints: 26314 775.67/780.20 c #Conflicts: 583000 | #Constraints: 27314 775.67/780.20 c #Conflicts: 584000 | #Constraints: 28314 775.67/780.20 c #Conflicts: 585000 | #Constraints: 29314 775.67/780.20 c #Conflicts: 586000 | #Constraints: 30314 775.67/780.20 c #Conflicts: 587000 | #Constraints: 31314 775.67/780.20 c INPROCESSING 775.67/780.20 c GARBAGE COLLECT 775.67/780.20 c rational objective 1.47696 801.58/806.26 c #Conflicts: 588000 | #Constraints: 16610 801.58/806.26 c #Conflicts: 589000 | #Constraints: 17611 801.58/806.26 c #Conflicts: 590000 | #Constraints: 18611 801.58/806.26 c #Conflicts: 591000 | #Constraints: 19611 801.58/806.26 c #Conflicts: 592000 | #Constraints: 20611 801.58/806.26 c #Conflicts: 593000 | #Constraints: 21611 801.58/806.26 c #Conflicts: 594000 | #Constraints: 22611 801.58/806.26 c #Conflicts: 595000 | #Constraints: 23611 801.58/806.26 c #Conflicts: 596000 | #Constraints: 24611 801.58/806.26 c #Conflicts: 597000 | #Constraints: 25611 801.58/806.26 c #Conflicts: 598000 | #Constraints: 26611 801.58/806.26 c #Conflicts: 599000 | #Constraints: 27611 801.58/806.26 c #Conflicts: 600000 | #Constraints: 28611 801.58/806.26 c #Conflicts: 601000 | #Constraints: 29611 801.58/806.26 c #Conflicts: 602000 | #Constraints: 30611 801.58/806.26 c #Conflicts: 603000 | #Constraints: 31611 801.58/806.26 c INPROCESSING 801.58/806.26 c GARBAGE COLLECT 801.58/806.26 c rational objective 1.47696 830.27/835.03 c #Conflicts: 604000 | #Constraints: 16712 830.27/835.03 c #Conflicts: 605000 | #Constraints: 17713 830.27/835.03 c #Conflicts: 606000 | #Constraints: 18713 830.27/835.03 c #Conflicts: 607000 | #Constraints: 19713 830.27/835.03 c #Conflicts: 608000 | #Constraints: 20713 830.27/835.03 c #Conflicts: 609000 | #Constraints: 21713 830.27/835.03 c #Conflicts: 610000 | #Constraints: 22713 830.27/835.03 c #Conflicts: 611000 | #Constraints: 23713 830.27/835.03 c #Conflicts: 612000 | #Constraints: 24713 830.27/835.03 c #Conflicts: 613000 | #Constraints: 25713 830.27/835.03 c #Conflicts: 614000 | #Constraints: 26713 830.27/835.03 c #Conflicts: 615000 | #Constraints: 27713 830.27/835.03 c #Conflicts: 616000 | #Constraints: 28713 830.27/835.03 c #Conflicts: 617000 | #Constraints: 29713 830.27/835.03 c #Conflicts: 618000 | #Constraints: 30713 830.27/835.03 c #Conflicts: 619000 | #Constraints: 31713 830.27/835.03 c INPROCESSING 830.27/835.03 c GARBAGE COLLECT 830.27/835.03 c rational objective 1.47696 859.45/864.35 c #Conflicts: 620000 | #Constraints: 16611 859.45/864.35 c #Conflicts: 621000 | #Constraints: 17611 859.45/864.35 c #Conflicts: 622000 | #Constraints: 18611 859.45/864.35 c #Conflicts: 623000 | #Constraints: 19611 859.45/864.35 c #Conflicts: 624000 | #Constraints: 20611 859.45/864.35 c #Conflicts: 625000 | #Constraints: 21611 859.45/864.35 c #Conflicts: 626000 | #Constraints: 22611 859.45/864.35 c #Conflicts: 627000 | #Constraints: 23611 859.45/864.35 c #Conflicts: 628000 | #Constraints: 24611 859.45/864.35 c #Conflicts: 629000 | #Constraints: 25611 859.45/864.35 c #Conflicts: 630000 | #Constraints: 26611 859.45/864.35 c #Conflicts: 631000 | #Constraints: 27611 859.45/864.35 c #Conflicts: 632000 | #Constraints: 28611 859.45/864.35 c #Conflicts: 633000 | #Constraints: 29611 859.45/864.35 c #Conflicts: 634000 | #Constraints: 30611 859.45/864.35 c #Conflicts: 635000 | #Constraints: 31611 859.45/864.35 c #Conflicts: 636000 | #Constraints: 32611 859.45/864.35 c INPROCESSING 859.45/864.35 c GARBAGE COLLECT 859.45/864.35 c rational objective 1.47696 892.32/897.37 c #Conflicts: 637000 | #Constraints: 17308 892.32/897.37 c #Conflicts: 638000 | #Constraints: 18308 892.32/897.37 c #Conflicts: 639000 | #Constraints: 19308 892.32/897.37 c #Conflicts: 640000 | #Constraints: 20310 892.32/897.37 c #Conflicts: 641000 | #Constraints: 21310 892.32/897.37 c #Conflicts: 642000 | #Constraints: 22310 892.32/897.37 c #Conflicts: 643000 | #Constraints: 23310 892.32/897.37 c #Conflicts: 644000 | #Constraints: 24310 892.32/897.37 c #Conflicts: 645000 | #Constraints: 25310 892.32/897.37 c #Conflicts: 646000 | #Constraints: 26310 892.32/897.37 c #Conflicts: 647000 | #Constraints: 27310 892.32/897.37 c #Conflicts: 648000 | #Constraints: 28310 892.32/897.37 c #Conflicts: 649000 | #Constraints: 29310 892.32/897.37 c #Conflicts: 650000 | #Constraints: 30310 892.32/897.37 c #Conflicts: 651000 | #Constraints: 31310 892.32/897.37 c #Conflicts: 652000 | #Constraints: 32310 892.32/897.37 c INPROCESSING 892.32/897.37 c GARBAGE COLLECT 892.32/897.37 c rational objective 1.47696 926.49/931.67 c #Conflicts: 653000 | #Constraints: 16813 926.49/931.67 c #Conflicts: 654000 | #Constraints: 17813 926.49/931.67 c #Conflicts: 655000 | #Constraints: 18813 926.49/931.67 c #Conflicts: 656000 | #Constraints: 19813 926.49/931.67 c #Conflicts: 657000 | #Constraints: 20813 926.49/931.67 c #Conflicts: 658000 | #Constraints: 21813 926.49/931.67 c #Conflicts: 659000 | #Constraints: 22813 926.49/931.67 c #Conflicts: 660000 | #Constraints: 23813 926.49/931.67 c #Conflicts: 661000 | #Constraints: 24813 926.49/931.67 c #Conflicts: 662000 | #Constraints: 25813 926.49/931.67 c #Conflicts: 663000 | #Constraints: 26813 926.49/931.67 c #Conflicts: 664000 | #Constraints: 27813 926.49/931.67 c #Conflicts: 665000 | #Constraints: 28813 926.49/931.67 c #Conflicts: 666000 | #Constraints: 29813 926.49/931.67 c #Conflicts: 667000 | #Constraints: 30813 926.49/931.67 c #Conflicts: 668000 | #Constraints: 31813 926.49/931.67 c #Conflicts: 669000 | #Constraints: 32813 926.49/931.67 c INPROCESSING 926.49/931.67 c GARBAGE COLLECT 926.49/931.67 c rational objective 1.47696 959.55/964.84 c #Conflicts: 670000 | #Constraints: 17109 959.55/964.84 c #Conflicts: 671000 | #Constraints: 18109 959.55/964.84 c #Conflicts: 672000 | #Constraints: 19109 959.55/964.84 c #Conflicts: 673000 | #Constraints: 20109 959.55/964.84 c #Conflicts: 674000 | #Constraints: 21109 959.55/964.84 c #Conflicts: 675000 | #Constraints: 22109 959.55/964.84 c #Conflicts: 676000 | #Constraints: 23109 959.55/964.84 c #Conflicts: 677000 | #Constraints: 24109 959.55/964.84 c #Conflicts: 678000 | #Constraints: 25109 959.55/964.84 c #Conflicts: 679000 | #Constraints: 26109 959.55/964.84 c #Conflicts: 680000 | #Constraints: 27109 959.55/964.84 c #Conflicts: 681000 | #Constraints: 28109 959.55/964.84 c #Conflicts: 682000 | #Constraints: 29109 959.55/964.84 c #Conflicts: 683000 | #Constraints: 30109 959.55/964.84 c #Conflicts: 684000 | #Constraints: 31109 959.55/964.84 c #Conflicts: 685000 | #Constraints: 32109 959.55/964.84 c #Conflicts: 686000 | #Constraints: 33109 959.55/964.84 c INPROCESSING 959.55/964.84 c GARBAGE COLLECT 959.55/964.84 c rational objective 1.47696 992.33/997.75 c #Conflicts: 687000 | #Constraints: 17208 992.33/997.75 c #Conflicts: 688000 | #Constraints: 18208 992.33/997.75 c #Conflicts: 689000 | #Constraints: 19208 992.33/997.75 c #Conflicts: 690000 | #Constraints: 20208 992.33/997.75 c #Conflicts: 691000 | #Constraints: 21208 992.33/997.75 c #Conflicts: 692000 | #Constraints: 22208 992.33/997.75 c #Conflicts: 693000 | #Constraints: 23208 992.33/997.75 c #Conflicts: 694000 | #Constraints: 24208 992.33/997.75 c #Conflicts: 695000 | #Constraints: 25208 992.33/997.75 c #Conflicts: 696000 | #Constraints: 26208 992.33/997.75 c #Conflicts: 697000 | #Constraints: 27208 992.33/997.75 c #Conflicts: 698000 | #Constraints: 28208 992.33/997.75 c #Conflicts: 699000 | #Constraints: 29208 992.33/997.75 c #Conflicts: 700000 | #Constraints: 30208 992.33/997.75 c #Conflicts: 701000 | #Constraints: 31208 992.33/997.75 c #Conflicts: 702000 | #Constraints: 32208 992.33/997.75 c #Conflicts: 703000 | #Constraints: 33208 992.33/997.75 c #Conflicts: 704000 | #Constraints: 34208 992.33/997.75 c INPROCESSING 992.33/997.75 c GARBAGE COLLECT 992.33/997.75 c rational objective 1.47696 1031.59/1037.12 c #Conflicts: 705000 | #Constraints: 18109 1031.59/1037.12 c #Conflicts: 706000 | #Constraints: 19109 1031.59/1037.12 c #Conflicts: 707000 | #Constraints: 20109 1031.59/1037.12 c #Conflicts: 708000 | #Constraints: 21109 1031.59/1037.12 c #Conflicts: 709000 | #Constraints: 22109 1031.59/1037.12 c #Conflicts: 710000 | #Constraints: 23109 1031.59/1037.12 c #Conflicts: 711000 | #Constraints: 24109 1031.59/1037.12 c #Conflicts: 712000 | #Constraints: 25109 1031.59/1037.12 c #Conflicts: 713000 | #Constraints: 26109 1031.59/1037.12 c #Conflicts: 714000 | #Constraints: 27109 1031.59/1037.12 c #Conflicts: 715000 | #Constraints: 28109 1031.59/1037.12 c #Conflicts: 716000 | #Constraints: 29109 1031.59/1037.12 c #Conflicts: 717000 | #Constraints: 30109 1031.59/1037.12 c #Conflicts: 718000 | #Constraints: 31109 1031.59/1037.12 c #Conflicts: 719000 | #Constraints: 32109 1031.59/1037.12 c #Conflicts: 720000 | #Constraints: 33109 1031.59/1037.12 c #Conflicts: 721000 | #Constraints: 34109 1031.59/1037.12 c INPROCESSING 1031.59/1037.12 c GARBAGE COLLECT 1031.59/1037.12 c rational objective 1.47696 1070.13/1075.81 c #Conflicts: 722000 | #Constraints: 17810 1070.13/1075.81 c #Conflicts: 723000 | #Constraints: 18810 1070.13/1075.81 c #Conflicts: 724000 | #Constraints: 19810 1070.13/1075.81 c #Conflicts: 725000 | #Constraints: 20811 1070.13/1075.81 c #Conflicts: 726000 | #Constraints: 21811 1070.13/1075.81 c #Conflicts: 727000 | #Constraints: 22811 1070.13/1075.81 c #Conflicts: 728000 | #Constraints: 23811 1070.13/1075.81 c #Conflicts: 729000 | #Constraints: 24811 1070.13/1075.81 c #Conflicts: 730000 | #Constraints: 25811 1070.13/1075.81 c #Conflicts: 731000 | #Constraints: 26811 1070.13/1075.81 c #Conflicts: 732000 | #Constraints: 27811 1070.13/1075.81 c #Conflicts: 733000 | #Constraints: 28811 1070.13/1075.81 c #Conflicts: 734000 | #Constraints: 29811 1070.13/1075.81 c #Conflicts: 735000 | #Constraints: 30811 1070.13/1075.81 c #Conflicts: 736000 | #Constraints: 31811 1070.13/1075.81 c #Conflicts: 737000 | #Constraints: 32811 1070.13/1075.81 c #Conflicts: 738000 | #Constraints: 33811 1070.13/1075.81 c #Conflicts: 739000 | #Constraints: 34811 1070.13/1075.81 c INPROCESSING 1070.13/1075.81 c GARBAGE COLLECT 1070.13/1075.81 c rational objective 1.47696 1107.39/1113.20 c #Conflicts: 740000 | #Constraints: 18312 1107.39/1113.20 c #Conflicts: 741000 | #Constraints: 19313 1107.39/1113.20 c #Conflicts: 742000 | #Constraints: 20313 1107.39/1113.20 c #Conflicts: 743000 | #Constraints: 21313 1107.39/1113.20 c #Conflicts: 744000 | #Constraints: 22313 1107.39/1113.20 c #Conflicts: 745000 | #Constraints: 23313 1107.39/1113.20 c #Conflicts: 746000 | #Constraints: 24313 1107.39/1113.20 c #Conflicts: 747000 | #Constraints: 25313 1107.39/1113.20 c #Conflicts: 748000 | #Constraints: 26313 1107.39/1113.20 c #Conflicts: 749000 | #Constraints: 27313 1107.39/1113.20 c #Conflicts: 750000 | #Constraints: 28313 1107.39/1113.20 c #Conflicts: 751000 | #Constraints: 29313 1107.39/1113.20 c #Conflicts: 752000 | #Constraints: 30313 1107.39/1113.20 c #Conflicts: 753000 | #Constraints: 31313 1107.39/1113.20 c #Conflicts: 754000 | #Constraints: 32313 1107.39/1113.20 c #Conflicts: 755000 | #Constraints: 33313 1107.39/1113.20 c #Conflicts: 756000 | #Constraints: 34313 1107.39/1113.20 c #Conflicts: 757000 | #Constraints: 35314 1107.39/1113.20 c INPROCESSING 1107.39/1113.20 c GARBAGE COLLECT 1107.39/1113.20 c rational objective 1.47696 1143.84/1149.85 c #Conflicts: 758000 | #Constraints: 18612 1143.84/1149.85 c #Conflicts: 759000 | #Constraints: 19612 1143.84/1149.85 c #Conflicts: 760000 | #Constraints: 20612 1143.84/1149.85 c #Conflicts: 761000 | #Constraints: 21612 1143.84/1149.85 c #Conflicts: 762000 | #Constraints: 22612 1143.84/1149.85 c #Conflicts: 763000 | #Constraints: 23612 1143.84/1149.85 c #Conflicts: 764000 | #Constraints: 24612 1143.84/1149.85 c #Conflicts: 765000 | #Constraints: 25612 1143.84/1149.85 c #Conflicts: 766000 | #Constraints: 26612 1143.84/1149.85 c #Conflicts: 767000 | #Constraints: 27612 1143.84/1149.85 c #Conflicts: 768000 | #Constraints: 28612 1143.84/1149.85 c #Conflicts: 769000 | #Constraints: 29612 1143.84/1149.85 c #Conflicts: 770000 | #Constraints: 30612 1143.84/1149.85 c #Conflicts: 771000 | #Constraints: 31612 1143.84/1149.85 c #Conflicts: 772000 | #Constraints: 32612 1143.84/1149.85 c #Conflicts: 773000 | #Constraints: 33612 1143.84/1149.85 c #Conflicts: 774000 | #Constraints: 34612 1143.84/1149.85 c #Conflicts: 775000 | #Constraints: 35612 1143.84/1149.85 c INPROCESSING 1143.84/1149.85 c GARBAGE COLLECT 1143.84/1149.85 c rational objective 1.47696 1177.13/1183.23 c #Conflicts: 776000 | #Constraints: 18709 1177.13/1183.23 c #Conflicts: 777000 | #Constraints: 19709 1177.13/1183.23 c #Conflicts: 778000 | #Constraints: 20709 1177.13/1183.23 c #Conflicts: 779000 | #Constraints: 21709 1177.13/1183.23 c #Conflicts: 780000 | #Constraints: 22709 1177.13/1183.23 c #Conflicts: 781000 | #Constraints: 23709 1177.13/1183.23 c #Conflicts: 782000 | #Constraints: 24709 1177.13/1183.23 c #Conflicts: 783000 | #Constraints: 25710 1177.13/1183.23 c #Conflicts: 784000 | #Constraints: 26710 1177.13/1183.23 c #Conflicts: 785000 | #Constraints: 27710 1177.13/1183.23 c #Conflicts: 786000 | #Constraints: 28710 1177.13/1183.23 c #Conflicts: 787000 | #Constraints: 29710 1177.13/1183.23 c #Conflicts: 788000 | #Constraints: 30710 1177.13/1183.23 c #Conflicts: 789000 | #Constraints: 31710 1177.13/1183.23 c #Conflicts: 790000 | #Constraints: 32710 1177.13/1183.23 c #Conflicts: 791000 | #Constraints: 33710 1177.13/1183.23 c #Conflicts: 792000 | #Constraints: 34710 1177.13/1183.23 c #Conflicts: 793000 | #Constraints: 35710 1177.13/1183.23 c INPROCESSING 1177.13/1183.23 c GARBAGE COLLECT 1177.13/1183.23 c rational objective 1.47696 1212.02/1218.26 c #Conflicts: 794000 | #Constraints: 18608 1212.02/1218.26 c #Conflicts: 795000 | #Constraints: 19608 1212.02/1218.26 c #Conflicts: 796000 | #Constraints: 20608 1212.02/1218.26 c #Conflicts: 797000 | #Constraints: 21608 1212.02/1218.26 c #Conflicts: 798000 | #Constraints: 22608 1212.02/1218.26 c #Conflicts: 799000 | #Constraints: 23608 1212.02/1218.26 c #Conflicts: 800000 | #Constraints: 24608 1212.02/1218.26 c #Conflicts: 801000 | #Constraints: 25608 1212.02/1218.26 c #Conflicts: 802000 | #Constraints: 26608 1212.02/1218.26 c #Conflicts: 803000 | #Constraints: 27608 1212.02/1218.26 c #Conflicts: 804000 | #Constraints: 28608 1212.02/1218.26 c #Conflicts: 805000 | #Constraints: 29609 1212.02/1218.26 c #Conflicts: 806000 | #Constraints: 30609 1212.02/1218.26 c #Conflicts: 807000 | #Constraints: 31609 1212.02/1218.26 c #Conflicts: 808000 | #Constraints: 32609 1212.02/1218.26 c #Conflicts: 809000 | #Constraints: 33609 1212.02/1218.26 c #Conflicts: 810000 | #Constraints: 34609 1212.02/1218.26 c #Conflicts: 811000 | #Constraints: 35609 1212.02/1218.26 c #Conflicts: 812000 | #Constraints: 36609 1212.02/1218.26 c INPROCESSING 1212.02/1218.26 c GARBAGE COLLECT 1212.02/1218.26 c rational objective 1.47696 1247.60/1253.91 c #Conflicts: 813000 | #Constraints: 19308 1247.60/1253.91 c #Conflicts: 814000 | #Constraints: 20308 1247.60/1253.91 c #Conflicts: 815000 | #Constraints: 21308 1247.60/1253.91 c #Conflicts: 816000 | #Constraints: 22308 1247.60/1253.91 c #Conflicts: 817000 | #Constraints: 23308 1247.60/1253.91 c #Conflicts: 818000 | #Constraints: 24308 1247.60/1253.91 c #Conflicts: 819000 | #Constraints: 25308 1247.60/1253.91 c #Conflicts: 820000 | #Constraints: 26308 1247.60/1253.91 c #Conflicts: 821000 | #Constraints: 27308 1247.60/1253.91 c #Conflicts: 822000 | #Constraints: 28308 1247.60/1253.91 c #Conflicts: 823000 | #Constraints: 29308 1247.60/1253.91 c #Conflicts: 824000 | #Constraints: 30308 1247.60/1253.91 c #Conflicts: 825000 | #Constraints: 31308 1247.60/1253.91 c #Conflicts: 826000 | #Constraints: 32308 1247.60/1253.91 c #Conflicts: 827000 | #Constraints: 33308 1247.60/1253.91 c #Conflicts: 828000 | #Constraints: 34308 1247.60/1253.91 c #Conflicts: 829000 | #Constraints: 35308 1247.60/1253.91 c #Conflicts: 830000 | #Constraints: 36308 1247.60/1253.91 c INPROCESSING 1247.60/1253.91 c GARBAGE COLLECT 1247.60/1253.91 c rational objective 1.47696 1282.58/1289.09 c #Conflicts: 831000 | #Constraints: 18808 1282.58/1289.09 c #Conflicts: 832000 | #Constraints: 19808 1282.58/1289.09 c #Conflicts: 833000 | #Constraints: 20809 1282.58/1289.09 c #Conflicts: 834000 | #Constraints: 21809 1282.58/1289.09 c #Conflicts: 835000 | #Constraints: 22809 1282.58/1289.09 c #Conflicts: 836000 | #Constraints: 23809 1282.58/1289.09 c #Conflicts: 837000 | #Constraints: 24809 1282.58/1289.09 c #Conflicts: 838000 | #Constraints: 25809 1282.58/1289.09 c #Conflicts: 839000 | #Constraints: 26809 1282.58/1289.09 c #Conflicts: 840000 | #Constraints: 27809 1282.58/1289.09 c #Conflicts: 841000 | #Constraints: 28809 1282.58/1289.09 c #Conflicts: 842000 | #Constraints: 29809 1282.58/1289.09 c #Conflicts: 843000 | #Constraints: 30809 1282.58/1289.09 c #Conflicts: 844000 | #Constraints: 31809 1282.58/1289.09 c #Conflicts: 845000 | #Constraints: 32809 1282.58/1289.09 c #Conflicts: 846000 | #Constraints: 33809 1282.58/1289.09 c #Conflicts: 847000 | #Constraints: 34809 1282.58/1289.09 c #Conflicts: 848000 | #Constraints: 35810 1282.58/1289.09 c #Conflicts: 849000 | #Constraints: 36810 1282.58/1289.09 c INPROCESSING 1282.58/1289.09 c GARBAGE COLLECT 1282.58/1289.09 c rational objective 1.47696 1321.45/1328.02 c #Conflicts: 850000 | #Constraints: 19106 1321.45/1328.02 c #Conflicts: 851000 | #Constraints: 20106 1321.45/1328.02 c #Conflicts: 852000 | #Constraints: 21107 1321.45/1328.02 c #Conflicts: 853000 | #Constraints: 22107 1321.45/1328.02 c #Conflicts: 854000 | #Constraints: 23107 1321.45/1328.02 c #Conflicts: 855000 | #Constraints: 24107 1321.45/1328.02 c #Conflicts: 856000 | #Constraints: 25107 1321.45/1328.02 c #Conflicts: 857000 | #Constraints: 26107 1321.45/1328.02 c #Conflicts: 858000 | #Constraints: 27107 1321.45/1328.02 c #Conflicts: 859000 | #Constraints: 28107 1321.45/1328.02 c #Conflicts: 860000 | #Constraints: 29107 1321.45/1328.02 c #Conflicts: 861000 | #Constraints: 30107 1321.45/1328.02 c #Conflicts: 862000 | #Constraints: 31107 1321.45/1328.02 c #Conflicts: 863000 | #Constraints: 32107 1321.45/1328.02 c #Conflicts: 864000 | #Constraints: 33107 1321.45/1328.02 c #Conflicts: 865000 | #Constraints: 34107 1321.45/1328.02 c #Conflicts: 866000 | #Constraints: 35107 1321.45/1328.02 c #Conflicts: 867000 | #Constraints: 36107 1321.45/1328.02 c #Conflicts: 868000 | #Constraints: 37107 1321.45/1328.02 c INPROCESSING 1321.45/1328.02 c GARBAGE COLLECT 1321.45/1328.02 c rational objective 1.47696 1359.72/1366.42 c #Conflicts: 869000 | #Constraints: 19210 1359.72/1366.42 c #Conflicts: 870000 | #Constraints: 20210 1359.72/1366.42 c #Conflicts: 871000 | #Constraints: 21210 1359.72/1366.42 c #Conflicts: 872000 | #Constraints: 22210 1359.72/1366.42 c #Conflicts: 873000 | #Constraints: 23210 1359.72/1366.42 c #Conflicts: 874000 | #Constraints: 24210 1359.72/1366.42 c #Conflicts: 875000 | #Constraints: 25210 1359.72/1366.42 c #Conflicts: 876000 | #Constraints: 26210 1359.72/1366.42 c #Conflicts: 877000 | #Constraints: 27210 1359.72/1366.42 c #Conflicts: 878000 | #Constraints: 28210 1359.72/1366.42 c #Conflicts: 879000 | #Constraints: 29210 1359.72/1366.42 c #Conflicts: 880000 | #Constraints: 30210 1359.72/1366.42 c #Conflicts: 881000 | #Constraints: 31210 1359.72/1366.42 c #Conflicts: 882000 | #Constraints: 32210 1359.72/1366.42 c #Conflicts: 883000 | #Constraints: 33210 1359.72/1366.42 c #Conflicts: 884000 | #Constraints: 34210 1359.72/1366.42 c #Conflicts: 885000 | #Constraints: 35210 1359.72/1366.42 c #Conflicts: 886000 | #Constraints: 36210 1359.72/1366.42 c #Conflicts: 887000 | #Constraints: 37210 1359.72/1366.42 c #Conflicts: 888000 | #Constraints: 38210 1359.72/1366.42 c INPROCESSING 1359.72/1366.42 c GARBAGE COLLECT 1359.72/1366.42 c rational objective 1.47696 1399.48/1406.37 c #Conflicts: 889000 | #Constraints: 20110 1399.48/1406.37 c #Conflicts: 890000 | #Constraints: 21110 1399.48/1406.37 c #Conflicts: 891000 | #Constraints: 22110 1399.48/1406.37 c #Conflicts: 892000 | #Constraints: 23110 1399.48/1406.37 c #Conflicts: 893000 | #Constraints: 24110 1399.48/1406.37 c #Conflicts: 894000 | #Constraints: 25111 1399.48/1406.37 c #Conflicts: 895000 | #Constraints: 26111 1399.48/1406.37 c #Conflicts: 896000 | #Constraints: 27111 1399.48/1406.37 c #Conflicts: 897000 | #Constraints: 28111 1399.48/1406.37 c #Conflicts: 898000 | #Constraints: 29111 1399.48/1406.37 c #Conflicts: 899000 | #Constraints: 30112 1399.48/1406.37 c #Conflicts: 900000 | #Constraints: 31112 1399.48/1406.37 c #Conflicts: 901000 | #Constraints: 32112 1399.48/1406.37 c #Conflicts: 902000 | #Constraints: 33112 1399.48/1406.37 c #Conflicts: 903000 | #Constraints: 34112 1399.48/1406.37 c #Conflicts: 904000 | #Constraints: 35112 1399.48/1406.37 c #Conflicts: 905000 | #Constraints: 36112 1399.48/1406.37 c #Conflicts: 906000 | #Constraints: 37112 1399.48/1406.37 c #Conflicts: 907000 | #Constraints: 38112 1399.48/1406.37 c INPROCESSING 1399.48/1406.37 c GARBAGE COLLECT 1399.48/1406.37 c rational objective 1.47696 1439.76/1446.77 c #Conflicts: 908000 | #Constraints: 19812 1439.76/1446.77 c #Conflicts: 909000 | #Constraints: 20812 1439.76/1446.77 c #Conflicts: 910000 | #Constraints: 21812 1439.76/1446.77 c #Conflicts: 911000 | #Constraints: 22812 1439.76/1446.77 c #Conflicts: 912000 | #Constraints: 23812 1439.76/1446.77 c #Conflicts: 913000 | #Constraints: 24812 1439.76/1446.77 c #Conflicts: 914000 | #Constraints: 25812 1439.76/1446.77 c #Conflicts: 915000 | #Constraints: 26812 1439.76/1446.77 c #Conflicts: 916000 | #Constraints: 27812 1439.76/1446.77 c #Conflicts: 917000 | #Constraints: 28812 1439.76/1446.77 c #Conflicts: 918000 | #Constraints: 29812 1439.76/1446.77 c #Conflicts: 919000 | #Constraints: 30812 1439.76/1446.77 c #Conflicts: 920000 | #Constraints: 31812 1439.76/1446.77 c #Conflicts: 921000 | #Constraints: 32812 1439.76/1446.77 c #Conflicts: 922000 | #Constraints: 33812 1439.76/1446.77 c #Conflicts: 923000 | #Constraints: 34812 1439.76/1446.77 c #Conflicts: 924000 | #Constraints: 35812 1439.76/1446.77 c #Conflicts: 925000 | #Constraints: 36812 1439.76/1446.77 c #Conflicts: 926000 | #Constraints: 37812 1439.76/1446.77 c #Conflicts: 927000 | #Constraints: 38812 1439.76/1446.77 c INPROCESSING 1439.76/1446.77 c GARBAGE COLLECT 1439.76/1446.77 c rational objective 1.47696 1475.35/1482.48 c #Conflicts: 928000 | #Constraints: 20311 1475.35/1482.48 c #Conflicts: 929000 | #Constraints: 21311 1475.35/1482.48 c #Conflicts: 930000 | #Constraints: 22311 1475.35/1482.48 c #Conflicts: 931000 | #Constraints: 23311 1475.35/1482.48 c #Conflicts: 932000 | #Constraints: 24311 1475.35/1482.48 c #Conflicts: 933000 | #Constraints: 25311 1475.35/1482.48 c #Conflicts: 934000 | #Constraints: 26311 1475.35/1482.48 c #Conflicts: 935000 | #Constraints: 27311 1475.35/1482.48 c #Conflicts: 936000 | #Constraints: 28311 1475.35/1482.48 c #Conflicts: 937000 | #Constraints: 29311 1475.35/1482.48 c #Conflicts: 938000 | #Constraints: 30311 1475.35/1482.48 c #Conflicts: 939000 | #Constraints: 31311 1475.35/1482.48 c #Conflicts: 940000 | #Constraints: 32311 1475.35/1482.48 c #Conflicts: 941000 | #Constraints: 33311 1475.35/1482.48 c #Conflicts: 942000 | #Constraints: 34311 1475.35/1482.48 c #Conflicts: 943000 | #Constraints: 35311 1475.35/1482.48 c #Conflicts: 944000 | #Constraints: 36311 1475.35/1482.48 c #Conflicts: 945000 | #Constraints: 37311 1475.35/1482.48 c #Conflicts: 946000 | #Constraints: 38311 1475.35/1482.48 c #Conflicts: 947000 | #Constraints: 39311 1475.35/1482.48 c INPROCESSING 1475.35/1482.48 c GARBAGE COLLECT 1475.35/1482.48 c rational objective 1.47696 1511.74/1518.97 c #Conflicts: 948000 | #Constraints: 20612 1511.74/1518.97 c #Conflicts: 949000 | #Constraints: 21612 1511.74/1518.97 c #Conflicts: 950000 | #Constraints: 22612 1511.74/1518.97 c #Conflicts: 951000 | #Constraints: 23612 1511.74/1518.97 c #Conflicts: 952000 | #Constraints: 24612 1511.74/1518.97 c #Conflicts: 953000 | #Constraints: 25612 1511.74/1518.97 c #Conflicts: 954000 | #Constraints: 26612 1511.74/1518.97 c #Conflicts: 955000 | #Constraints: 27612 1511.74/1518.97 c #Conflicts: 956000 | #Constraints: 28612 1511.74/1518.97 c #Conflicts: 957000 | #Constraints: 29612 1511.74/1518.97 c #Conflicts: 958000 | #Constraints: 30612 1511.74/1518.97 c #Conflicts: 959000 | #Constraints: 31612 1511.74/1518.97 c #Conflicts: 960000 | #Constraints: 32612 1511.74/1518.97 c #Conflicts: 961000 | #Constraints: 33612 1511.74/1518.97 c #Conflicts: 962000 | #Constraints: 34612 1511.74/1518.97 c #Conflicts: 963000 | #Constraints: 35612 1511.74/1518.97 c #Conflicts: 964000 | #Constraints: 36612 1511.74/1518.97 c #Conflicts: 965000 | #Constraints: 37612 1511.74/1518.97 c #Conflicts: 966000 | #Constraints: 38612 1511.74/1518.97 c #Conflicts: 967000 | #Constraints: 39612 1511.74/1518.97 c INPROCESSING 1511.74/1518.97 c GARBAGE COLLECT 1511.74/1518.97 c rational objective 1.47696 1555.31/1562.62 c #Conflicts: 968000 | #Constraints: 20712 1555.31/1562.62 c #Conflicts: 969000 | #Constraints: 21712 1555.31/1562.62 c #Conflicts: 970000 | #Constraints: 22712 1555.31/1562.62 c #Conflicts: 971000 | #Constraints: 23712 1555.31/1562.62 c #Conflicts: 972000 | #Constraints: 24712 1555.31/1562.62 c #Conflicts: 973000 | #Constraints: 25712 1555.31/1562.62 c #Conflicts: 974000 | #Constraints: 26712 1555.31/1562.62 c #Conflicts: 975000 | #Constraints: 27712 1555.31/1562.62 c #Conflicts: 976000 | #Constraints: 28712 1555.31/1562.62 c #Conflicts: 977000 | #Constraints: 29712 1555.31/1562.62 c #Conflicts: 978000 | #Constraints: 30712 1555.31/1562.62 c #Conflicts: 979000 | #Constraints: 31712 1555.31/1562.62 c #Conflicts: 980000 | #Constraints: 32712 1555.31/1562.62 c #Conflicts: 981000 | #Constraints: 33712 1555.31/1562.62 c #Conflicts: 982000 | #Constraints: 34712 1555.31/1562.62 c #Conflicts: 983000 | #Constraints: 35712 1555.31/1562.62 c #Conflicts: 984000 | #Constraints: 36712 1555.31/1562.62 c #Conflicts: 985000 | #Constraints: 37712 1555.31/1562.62 c #Conflicts: 986000 | #Constraints: 38712 1555.31/1562.62 c #Conflicts: 987000 | #Constraints: 39712 1555.31/1562.62 c INPROCESSING 1555.31/1562.62 c GARBAGE COLLECT 1555.31/1562.62 c rational objective 1.47696 1598.28/1605.79 c #Conflicts: 988000 | #Constraints: 20613 1598.28/1605.79 c #Conflicts: 989000 | #Constraints: 21613 1598.28/1605.79 c #Conflicts: 990000 | #Constraints: 22614 1598.28/1605.79 c #Conflicts: 991000 | #Constraints: 23614 1598.28/1605.79 c #Conflicts: 992000 | #Constraints: 24614 1598.28/1605.79 c #Conflicts: 993000 | #Constraints: 25614 1598.28/1605.79 c #Conflicts: 994000 | #Constraints: 26615 1598.28/1605.79 c #Conflicts: 995000 | #Constraints: 27615 1598.28/1605.79 c #Conflicts: 996000 | #Constraints: 28615 1598.28/1605.79 c #Conflicts: 997000 | #Constraints: 29615 1598.28/1605.79 c #Conflicts: 998000 | #Constraints: 30615 1598.28/1605.79 c #Conflicts: 999000 | #Constraints: 31615 1598.28/1605.79 c #Conflicts: 1000000 | #Constraints: 32615 1598.28/1605.79 c #Conflicts: 1001000 | #Constraints: 33615 1598.28/1605.79 c #Conflicts: 1002000 | #Constraints: 34615 1598.28/1605.79 c #Conflicts: 1003000 | #Constraints: 35615 1598.28/1605.79 c #Conflicts: 1004000 | #Constraints: 36615 1598.28/1605.79 c #Conflicts: 1005000 | #Constraints: 37615 1598.28/1605.79 c #Conflicts: 1006000 | #Constraints: 38615 1598.28/1605.79 c #Conflicts: 1007000 | #Constraints: 39615 1598.28/1605.79 c #Conflicts: 1008000 | #Constraints: 40615 1598.28/1605.79 c INPROCESSING 1598.28/1605.79 c GARBAGE COLLECT 1598.28/1605.79 c rational objective 1.47696 1636.87/1644.44 c #Conflicts: 1009000 | #Constraints: 21312 1636.87/1644.44 c #Conflicts: 1010000 | #Constraints: 22312 1636.87/1644.44 c #Conflicts: 1011000 | #Constraints: 23312 1636.87/1644.44 c #Conflicts: 1012000 | #Constraints: 24312 1636.87/1644.44 c #Conflicts: 1013000 | #Constraints: 25312 1636.87/1644.44 c #Conflicts: 1014000 | #Constraints: 26312 1636.87/1644.44 c #Conflicts: 1015000 | #Constraints: 27312 1636.87/1644.44 c #Conflicts: 1016000 | #Constraints: 28312 1636.87/1644.44 c #Conflicts: 1017000 | #Constraints: 29312 1636.87/1644.44 c #Conflicts: 1018000 | #Constraints: 30312 1636.87/1644.44 c #Conflicts: 1019000 | #Constraints: 31312 1636.87/1644.44 c #Conflicts: 1020000 | #Constraints: 32312 1636.87/1644.44 c #Conflicts: 1021000 | #Constraints: 33312 1636.87/1644.44 c #Conflicts: 1022000 | #Constraints: 34312 1636.87/1644.44 c #Conflicts: 1023000 | #Constraints: 35312 1636.87/1644.44 c #Conflicts: 1024000 | #Constraints: 36312 1636.87/1644.44 c #Conflicts: 1025000 | #Constraints: 37312 1636.87/1644.44 c #Conflicts: 1026000 | #Constraints: 38312 1636.87/1644.44 c #Conflicts: 1027000 | #Constraints: 39312 1636.87/1644.44 c #Conflicts: 1028000 | #Constraints: 40312 1636.87/1644.44 c INPROCESSING 1636.87/1644.44 c GARBAGE COLLECT 1636.87/1644.44 c rational objective 1.47696 1681.44/1689.12 c #Conflicts: 1029000 | #Constraints: 20813 1681.44/1689.12 c #Conflicts: 1030000 | #Constraints: 21813 1681.44/1689.12 c #Conflicts: 1031000 | #Constraints: 22814 1681.44/1689.12 c #Conflicts: 1032000 | #Constraints: 23814 1681.44/1689.12 c #Conflicts: 1033000 | #Constraints: 24814 1681.44/1689.12 c #Conflicts: 1034000 | #Constraints: 25814 1681.44/1689.12 c #Conflicts: 1035000 | #Constraints: 26814 1681.44/1689.12 c #Conflicts: 1036000 | #Constraints: 27814 1681.44/1689.12 c #Conflicts: 1037000 | #Constraints: 28814 1681.44/1689.12 c #Conflicts: 1038000 | #Constraints: 29814 1681.44/1689.12 c #Conflicts: 1039000 | #Constraints: 30814 1681.44/1689.12 c #Conflicts: 1040000 | #Constraints: 31814 1681.44/1689.12 c #Conflicts: 1041000 | #Constraints: 32814 1681.44/1689.12 c #Conflicts: 1042000 | #Constraints: 33814 1681.44/1689.12 c #Conflicts: 1043000 | #Constraints: 34814 1681.44/1689.12 c #Conflicts: 1044000 | #Constraints: 35814 1681.44/1689.12 c #Conflicts: 1045000 | #Constraints: 36814 1681.44/1689.12 c #Conflicts: 1046000 | #Constraints: 37814 1681.44/1689.12 c #Conflicts: 1047000 | #Constraints: 38814 1681.44/1689.12 c #Conflicts: 1048000 | #Constraints: 39814 1681.44/1689.12 c #Conflicts: 1049000 | #Constraints: 40814 1681.44/1689.12 c INPROCESSING 1681.44/1689.12 c GARBAGE COLLECT 1681.44/1689.12 c rational objective 1.47696 1724.21/1732.10 c #Conflicts: 1050000 | #Constraints: 21115 1724.21/1732.10 c #Conflicts: 1051000 | #Constraints: 22115 1724.21/1732.10 c #Conflicts: 1052000 | #Constraints: 23115 1724.21/1732.10 c #Conflicts: 1053000 | #Constraints: 24115 1724.21/1732.10 c #Conflicts: 1054000 | #Constraints: 25115 1724.21/1732.10 c #Conflicts: 1055000 | #Constraints: 26115 1724.21/1732.10 c #Conflicts: 1056000 | #Constraints: 27115 1724.21/1732.10 c #Conflicts: 1057000 | #Constraints: 28115 1724.21/1732.10 c #Conflicts: 1058000 | #Constraints: 29115 1724.21/1732.10 c #Conflicts: 1059000 | #Constraints: 30115 1724.21/1732.10 c #Conflicts: 1060000 | #Constraints: 31115 1724.21/1732.10 c #Conflicts: 1061000 | #Constraints: 32115 1724.21/1732.10 c #Conflicts: 1062000 | #Constraints: 33115 1724.21/1732.10 c #Conflicts: 1063000 | #Constraints: 34115 1724.21/1732.10 c #Conflicts: 1064000 | #Constraints: 35115 1724.21/1732.10 c #Conflicts: 1065000 | #Constraints: 36115 1724.21/1732.10 c #Conflicts: 1066000 | #Constraints: 37116 1724.21/1732.10 c #Conflicts: 1067000 | #Constraints: 38116 1724.21/1732.10 c #Conflicts: 1068000 | #Constraints: 39116 1724.21/1732.10 c #Conflicts: 1069000 | #Constraints: 40116 1724.21/1732.10 c #Conflicts: 1070000 | #Constraints: 41116 1724.21/1732.10 c INPROCESSING 1724.21/1732.10 c GARBAGE COLLECT 1724.21/1732.10 c rational objective 1.47696 1771.76/1779.72 c #Conflicts: 1071000 | #Constraints: 21213 1771.76/1779.72 c #Conflicts: 1072000 | #Constraints: 22214 1771.76/1779.72 c #Conflicts: 1073000 | #Constraints: 23214 1771.76/1779.72 c #Conflicts: 1074000 | #Constraints: 24214 1771.76/1779.72 c #Conflicts: 1075000 | #Constraints: 25215 1771.76/1779.72 c #Conflicts: 1076000 | #Constraints: 26215 1771.76/1779.72 c #Conflicts: 1077000 | #Constraints: 27215 1771.76/1779.72 c #Conflicts: 1078000 | #Constraints: 28215 1771.76/1779.72 c #Conflicts: 1079000 | #Constraints: 29215 1771.76/1779.72 c #Conflicts: 1080000 | #Constraints: 30215 1771.76/1779.72 c #Conflicts: 1081000 | #Constraints: 31215 1771.76/1779.72 c #Conflicts: 1082000 | #Constraints: 32215 1771.76/1779.72 c #Conflicts: 1083000 | #Constraints: 33215 1771.76/1779.72 c #Conflicts: 1084000 | #Constraints: 34215 1771.76/1779.72 c #Conflicts: 1085000 | #Constraints: 35215 1771.76/1779.72 c #Conflicts: 1086000 | #Constraints: 36215 1771.76/1779.72 c #Conflicts: 1087000 | #Constraints: 37215 1771.76/1779.72 c #Conflicts: 1088000 | #Constraints: 38215 1771.76/1779.72 c #Conflicts: 1089000 | #Constraints: 39215 1771.76/1779.72 c #Conflicts: 1090000 | #Constraints: 40215 1771.76/1779.72 c #Conflicts: 1091000 | #Constraints: 41216 1771.76/1779.72 c #Conflicts: 1092000 | #Constraints: 42216 1771.76/1779.72 c INPROCESSING 1771.76/1779.72 c GARBAGE COLLECT 1771.76/1779.72 c rational objective 1.47864 1824.20/1832.35 c #Conflicts: 1093000 | #Constraints: 22116 1824.20/1832.35 c #Conflicts: 1094000 | #Constraints: 23117 1824.20/1832.35 c #Conflicts: 1095000 | #Constraints: 24117 1824.20/1832.35 c #Conflicts: 1096000 | #Constraints: 25117 1824.20/1832.35 c #Conflicts: 1097000 | #Constraints: 26117 1824.20/1832.35 c #Conflicts: 1098000 | #Constraints: 27117 1824.20/1832.35 c #Conflicts: 1099000 | #Constraints: 28117 1824.20/1832.35 c #Conflicts: 1100000 | #Constraints: 29117 1824.20/1832.35 c #Conflicts: 1101000 | #Constraints: 30117 1824.20/1832.35 c #Conflicts: 1102000 | #Constraints: 31117 1824.20/1832.35 c #Conflicts: 1103000 | #Constraints: 32117 1824.20/1832.35 c #Conflicts: 1104000 | #Constraints: 33117 1824.20/1832.35 c #Conflicts: 1105000 | #Constraints: 34117 1824.20/1832.35 c #Conflicts: 1106000 | #Constraints: 35117 1824.20/1832.35 c #Conflicts: 1107000 | #Constraints: 36117 1824.20/1832.35 c #Conflicts: 1108000 | #Constraints: 37117 1824.20/1832.35 c #Conflicts: 1109000 | #Constraints: 38117 1824.20/1832.35 c #Conflicts: 1110000 | #Constraints: 39117 1824.20/1832.35 c #Conflicts: 1111000 | #Constraints: 40117 1824.20/1832.35 c #Conflicts: 1112000 | #Constraints: 41117 1824.20/1832.35 c #Conflicts: 1113000 | #Constraints: 42117 1824.20/1832.35 c INPROCESSING 1824.20/1832.35 c GARBAGE COLLECT 1824.20/1832.35 c rational objective 1.47864 1876.13/1884.49 c #Conflicts: 1114000 | #Constraints: 21815 1876.13/1884.49 c #Conflicts: 1115000 | #Constraints: 22815 1876.13/1884.49 c #Conflicts: 1116000 | #Constraints: 23815 1876.13/1884.49 c #Conflicts: 1117000 | #Constraints: 24816 1876.13/1884.49 c #Conflicts: 1118000 | #Constraints: 25816 1876.13/1884.49 c #Conflicts: 1119000 | #Constraints: 26816 1876.13/1884.49 c #Conflicts: 1120000 | #Constraints: 27816 1876.13/1884.49 c #Conflicts: 1121000 | #Constraints: 28816 1876.13/1884.49 c #Conflicts: 1122000 | #Constraints: 29816 1876.13/1884.49 c #Conflicts: 1123000 | #Constraints: 30816 1876.13/1884.49 c #Conflicts: 1124000 | #Constraints: 31816 1876.13/1884.49 c #Conflicts: 1125000 | #Constraints: 32816 1876.13/1884.49 c #Conflicts: 1126000 | #Constraints: 33816 1876.13/1884.49 c #Conflicts: 1127000 | #Constraints: 34816 1876.13/1884.49 c #Conflicts: 1128000 | #Constraints: 35816 1876.13/1884.49 c #Conflicts: 1129000 | #Constraints: 36816 1876.13/1884.49 c #Conflicts: 1130000 | #Constraints: 37816 1876.13/1884.49 c #Conflicts: 1131000 | #Constraints: 38816 1876.13/1884.49 c #Conflicts: 1132000 | #Constraints: 39816 1876.13/1884.49 c #Conflicts: 1133000 | #Constraints: 40816 1876.13/1884.49 c #Conflicts: 1134000 | #Constraints: 41816 1876.13/1884.49 c #Conflicts: 1135000 | #Constraints: 42816 1876.13/1884.49 c INPROCESSING 1876.13/1884.49 c GARBAGE COLLECT 1876.13/1884.49 c rational objective 1.47864 1927.58/1936.07 c #Conflicts: 1136000 | #Constraints: 22312 1927.58/1936.07 c #Conflicts: 1137000 | #Constraints: 23312 1927.58/1936.07 c #Conflicts: 1138000 | #Constraints: 24312 1927.58/1936.07 c #Conflicts: 1139000 | #Constraints: 25312 1927.58/1936.07 c #Conflicts: 1140000 | #Constraints: 26312 1927.58/1936.07 c #Conflicts: 1141000 | #Constraints: 27312 1927.58/1936.07 c #Conflicts: 1142000 | #Constraints: 28312 1927.58/1936.07 c #Conflicts: 1143000 | #Constraints: 29312 1927.58/1936.07 c #Conflicts: 1144000 | #Constraints: 30312 1927.58/1936.07 c #Conflicts: 1145000 | #Constraints: 31312 1927.58/1936.07 c #Conflicts: 1146000 | #Constraints: 32312 1927.58/1936.07 c #Conflicts: 1147000 | #Constraints: 33312 1927.58/1936.07 c #Conflicts: 1148000 | #Constraints: 34312 1927.58/1936.07 c #Conflicts: 1149000 | #Constraints: 35312 1927.58/1936.07 c #Conflicts: 1150000 | #Constraints: 36312 1927.58/1936.07 c #Conflicts: 1151000 | #Constraints: 37312 1927.58/1936.07 c #Conflicts: 1152000 | #Constraints: 38312 1927.58/1936.07 c #Conflicts: 1153000 | #Constraints: 39312 1927.58/1936.07 c #Conflicts: 1154000 | #Constraints: 40312 1927.58/1936.07 c #Conflicts: 1155000 | #Constraints: 41312 1927.58/1936.07 c #Conflicts: 1156000 | #Constraints: 42312 1927.58/1936.07 c #Conflicts: 1157000 | #Constraints: 43312 1927.58/1936.07 c INPROCESSING 1927.58/1936.07 c GARBAGE COLLECT 1927.58/1936.07 c rational objective 1.47864 1976.92/1985.59 c #Conflicts: 1158000 | #Constraints: 22614 1976.92/1985.59 c #Conflicts: 1159000 | #Constraints: 23614 1976.92/1985.59 c #Conflicts: 1160000 | #Constraints: 24614 1976.92/1985.59 c #Conflicts: 1161000 | #Constraints: 25614 1976.92/1985.59 c #Conflicts: 1162000 | #Constraints: 26614 1976.92/1985.59 c #Conflicts: 1163000 | #Constraints: 27614 1976.92/1985.59 c #Conflicts: 1164000 | #Constraints: 28614 1976.92/1985.59 c #Conflicts: 1165000 | #Constraints: 29614 1976.92/1985.59 c #Conflicts: 1166000 | #Constraints: 30614 1976.92/1985.59 c #Conflicts: 1167000 | #Constraints: 31614 1976.92/1985.59 c #Conflicts: 1168000 | #Constraints: 32614 1976.92/1985.59 c #Conflicts: 1169000 | #Constraints: 33614 1976.92/1985.59 c #Conflicts: 1170000 | #Constraints: 34614 1976.92/1985.59 c #Conflicts: 1171000 | #Constraints: 35614 1976.92/1985.59 c #Conflicts: 1172000 | #Constraints: 36614 1976.92/1985.59 c #Conflicts: 1173000 | #Constraints: 37614 1976.92/1985.59 c #Conflicts: 1174000 | #Constraints: 38614 1976.92/1985.59 c #Conflicts: 1175000 | #Constraints: 39614 1976.92/1985.59 c #Conflicts: 1176000 | #Constraints: 40614 1976.92/1985.59 c #Conflicts: 1177000 | #Constraints: 41614 1976.92/1985.59 c #Conflicts: 1178000 | #Constraints: 42614 1976.92/1985.59 c #Conflicts: 1179000 | #Constraints: 43614 1976.92/1985.59 c INPROCESSING 1976.92/1985.59 c GARBAGE COLLECT 1976.92/1985.59 c rational objective 1.47864 2029.05/2037.80 c #Conflicts: 1180000 | #Constraints: 22709 2029.05/2037.80 c #Conflicts: 1181000 | #Constraints: 23709 2029.05/2037.80 c #Conflicts: 1182000 | #Constraints: 24709 2029.05/2037.80 c #Conflicts: 1183000 | #Constraints: 25709 2029.05/2037.80 c #Conflicts: 1184000 | #Constraints: 26709 2029.05/2037.80 c #Conflicts: 1185000 | #Constraints: 27709 2029.05/2037.80 c #Conflicts: 1186000 | #Constraints: 28709 2029.05/2037.80 c #Conflicts: 1187000 | #Constraints: 29709 2029.05/2037.80 c #Conflicts: 1188000 | #Constraints: 30709 2029.05/2037.80 c #Conflicts: 1189000 | #Constraints: 31709 2029.05/2037.80 c #Conflicts: 1190000 | #Constraints: 32709 2029.05/2037.80 c #Conflicts: 1191000 | #Constraints: 33709 2029.05/2037.80 c #Conflicts: 1192000 | #Constraints: 34709 2029.05/2037.80 c #Conflicts: 1193000 | #Constraints: 35709 2029.05/2037.80 c #Conflicts: 1194000 | #Constraints: 36709 2029.05/2037.80 c #Conflicts: 1195000 | #Constraints: 37709 2029.05/2037.80 c #Conflicts: 1196000 | #Constraints: 38709 2029.05/2037.80 c #Conflicts: 1197000 | #Constraints: 39709 2029.05/2037.80 c #Conflicts: 1198000 | #Constraints: 40709 2029.05/2037.80 c #Conflicts: 1199000 | #Constraints: 41709 2029.05/2037.80 c #Conflicts: 1200000 | #Constraints: 42709 2029.05/2037.80 c #Conflicts: 1201000 | #Constraints: 43709 2029.05/2037.80 c INPROCESSING 2029.05/2037.80 c GARBAGE COLLECT 2029.05/2037.80 c rational objective 1.47864 2096.62/2105.69 c #Conflicts: 1202000 | #Constraints: 22607 2096.62/2105.69 c #Conflicts: 1203000 | #Constraints: 23607 2096.62/2105.69 c #Conflicts: 1204000 | #Constraints: 24607 2096.62/2105.69 c #Conflicts: 1205000 | #Constraints: 25607 2096.62/2105.69 c #Conflicts: 1206000 | #Constraints: 26607 2096.62/2105.69 c #Conflicts: 1207000 | #Constraints: 27607 2096.62/2105.69 c #Conflicts: 1208000 | #Constraints: 28607 2096.62/2105.69 c #Conflicts: 1209000 | #Constraints: 29607 2096.62/2105.69 c #Conflicts: 1210000 | #Constraints: 30607 2096.62/2105.69 c #Conflicts: 1211000 | #Constraints: 31607 2096.62/2105.69 c #Conflicts: 1212000 | #Constraints: 32607 2096.62/2105.69 c #Conflicts: 1213000 | #Constraints: 33607 2096.62/2105.69 c #Conflicts: 1214000 | #Constraints: 34607 2096.62/2105.69 c #Conflicts: 1215000 | #Constraints: 35607 2096.62/2105.69 c #Conflicts: 1216000 | #Constraints: 36607 2096.62/2105.69 c #Conflicts: 1217000 | #Constraints: 37607 2096.62/2105.69 c #Conflicts: 1218000 | #Constraints: 38607 2096.62/2105.69 c #Conflicts: 1219000 | #Constraints: 39607 2096.62/2105.69 c #Conflicts: 1220000 | #Constraints: 40607 2096.62/2105.69 c #Conflicts: 1221000 | #Constraints: 41607 2096.62/2105.69 c #Conflicts: 1222000 | #Constraints: 42607 2096.62/2105.69 c #Conflicts: 1223000 | #Constraints: 43607 2096.62/2105.69 c #Conflicts: 1224000 | #Constraints: 44607 2096.62/2105.69 c INPROCESSING 2096.62/2105.69 c GARBAGE COLLECT 2096.62/2105.69 c rational objective 1.47864 2161.39/2170.69 c #Conflicts: 1225000 | #Constraints: 23306 2161.39/2170.69 c #Conflicts: 1226000 | #Constraints: 24306 2161.39/2170.69 c #Conflicts: 1227000 | #Constraints: 25306 2161.39/2170.69 c #Conflicts: 1228000 | #Constraints: 26306 2161.39/2170.69 c #Conflicts: 1229000 | #Constraints: 27306 2161.39/2170.69 c #Conflicts: 1230000 | #Constraints: 28306 2161.39/2170.69 c #Conflicts: 1231000 | #Constraints: 29306 2161.39/2170.69 c #Conflicts: 1232000 | #Constraints: 30306 2161.39/2170.69 c #Conflicts: 1233000 | #Constraints: 31306 2161.39/2170.69 c #Conflicts: 1234000 | #Constraints: 32306 2161.39/2170.69 c #Conflicts: 1235000 | #Constraints: 33306 2161.39/2170.69 c #Conflicts: 1236000 | #Constraints: 34306 2161.39/2170.69 c #Conflicts: 1237000 | #Constraints: 35306 2161.39/2170.69 c #Conflicts: 1238000 | #Constraints: 36306 2161.39/2170.69 c #Conflicts: 1239000 | #Constraints: 37306 2161.39/2170.69 c #Conflicts: 1240000 | #Constraints: 38306 2161.39/2170.69 c #Conflicts: 1241000 | #Constraints: 39306 2161.39/2170.69 c #Conflicts: 1242000 | #Constraints: 40306 2161.39/2170.69 c #Conflicts: 1243000 | #Constraints: 41306 2161.39/2170.69 c #Conflicts: 1244000 | #Constraints: 42306 2161.39/2170.69 c #Conflicts: 1245000 | #Constraints: 43306 2161.39/2170.69 c #Conflicts: 1246000 | #Constraints: 44306 2161.39/2170.69 c INPROCESSING 2161.39/2170.69 c GARBAGE COLLECT 2161.39/2170.69 c rational objective 1.47864 2227.65/2237.14 c #Conflicts: 1247000 | #Constraints: 22808 2227.65/2237.14 c #Conflicts: 1248000 | #Constraints: 23809 2227.65/2237.14 c #Conflicts: 1249000 | #Constraints: 24809 2227.65/2237.14 c #Conflicts: 1250000 | #Constraints: 25809 2227.65/2237.14 c #Conflicts: 1251000 | #Constraints: 26809 2227.65/2237.14 c #Conflicts: 1252000 | #Constraints: 27809 2227.65/2237.14 c #Conflicts: 1253000 | #Constraints: 28809 2227.65/2237.14 c #Conflicts: 1254000 | #Constraints: 29809 2227.65/2237.14 c #Conflicts: 1255000 | #Constraints: 30809 2227.65/2237.14 c #Conflicts: 1256000 | #Constraints: 31809 2227.65/2237.14 c #Conflicts: 1257000 | #Constraints: 32809 2227.65/2237.14 c #Conflicts: 1258000 | #Constraints: 33809 2227.65/2237.14 c #Conflicts: 1259000 | #Constraints: 34809 2227.65/2237.14 c #Conflicts: 1260000 | #Constraints: 35809 2227.65/2237.14 c #Conflicts: 1261000 | #Constraints: 36809 2227.65/2237.14 c #Conflicts: 1262000 | #Constraints: 37809 2227.65/2237.14 c #Conflicts: 1263000 | #Constraints: 38809 2227.65/2237.14 c #Conflicts: 1264000 | #Constraints: 39809 2227.65/2237.14 c #Conflicts: 1265000 | #Constraints: 40809 2227.65/2237.14 c #Conflicts: 1266000 | #Constraints: 41809 2227.65/2237.14 c #Conflicts: 1267000 | #Constraints: 42809 2227.65/2237.14 c #Conflicts: 1268000 | #Constraints: 43809 2227.65/2237.14 c #Conflicts: 1269000 | #Constraints: 44809 2227.65/2237.14 c INPROCESSING 2227.65/2237.14 c GARBAGE COLLECT 2227.65/2237.14 c rational objective 1.47864 2297.68/2307.48 c #Conflicts: 1270000 | #Constraints: 23110 2297.68/2307.48 c #Conflicts: 1271000 | #Constraints: 24110 2297.68/2307.48 c #Conflicts: 1272000 | #Constraints: 25110 2297.68/2307.48 c #Conflicts: 1273000 | #Constraints: 26110 2297.68/2307.48 c #Conflicts: 1274000 | #Constraints: 27110 2297.68/2307.48 c #Conflicts: 1275000 | #Constraints: 28110 2297.68/2307.48 c #Conflicts: 1276000 | #Constraints: 29110 2297.68/2307.48 c #Conflicts: 1277000 | #Constraints: 30111 2297.68/2307.48 c #Conflicts: 1278000 | #Constraints: 31112 2297.68/2307.48 c #Conflicts: 1279000 | #Constraints: 32112 2297.68/2307.48 c #Conflicts: 1280000 | #Constraints: 33112 2297.68/2307.48 c #Conflicts: 1281000 | #Constraints: 34112 2297.68/2307.48 c #Conflicts: 1282000 | #Constraints: 35112 2297.68/2307.48 c #Conflicts: 1283000 | #Constraints: 36112 2297.68/2307.48 c #Conflicts: 1284000 | #Constraints: 37112 2297.68/2307.48 c #Conflicts: 1285000 | #Constraints: 38112 2297.68/2307.48 c #Conflicts: 1286000 | #Constraints: 39112 2297.68/2307.48 c #Conflicts: 1287000 | #Constraints: 40112 2297.68/2307.48 c #Conflicts: 1288000 | #Constraints: 41112 2297.68/2307.48 c #Conflicts: 1289000 | #Constraints: 42112 2297.68/2307.48 c #Conflicts: 1290000 | #Constraints: 43112 2297.68/2307.48 c #Conflicts: 1291000 | #Constraints: 44112 2297.68/2307.48 c #Conflicts: 1292000 | #Constraints: 45112 2297.68/2307.48 c INPROCESSING 2297.68/2307.48 c GARBAGE COLLECT 2297.68/2307.48 c rational objective 1.47864 2370.01/2380.01 c #Conflicts: 1293000 | #Constraints: 23214 2370.01/2380.01 c #Conflicts: 1294000 | #Constraints: 24214 2370.01/2380.01 c #Conflicts: 1295000 | #Constraints: 25214 2370.01/2380.01 c #Conflicts: 1296000 | #Constraints: 26214 2370.01/2380.01 c #Conflicts: 1297000 | #Constraints: 27214 2370.01/2380.01 c #Conflicts: 1298000 | #Constraints: 28214 2370.01/2380.01 c #Conflicts: 1299000 | #Constraints: 29214 2370.01/2380.01 c #Conflicts: 1300000 | #Constraints: 30214 2370.01/2380.01 c #Conflicts: 1301000 | #Constraints: 31214 2370.01/2380.01 c #Conflicts: 1302000 | #Constraints: 32214 2370.01/2380.01 c #Conflicts: 1303000 | #Constraints: 33214 2370.01/2380.01 c #Conflicts: 1304000 | #Constraints: 34214 2370.01/2380.01 c #Conflicts: 1305000 | #Constraints: 35214 2370.01/2380.01 c #Conflicts: 1306000 | #Constraints: 36214 2370.01/2380.01 c #Conflicts: 1307000 | #Constraints: 37214 2370.01/2380.01 c #Conflicts: 1308000 | #Constraints: 38214 2370.01/2380.01 c #Conflicts: 1309000 | #Constraints: 39214 2370.01/2380.01 c #Conflicts: 1310000 | #Constraints: 40214 2370.01/2380.01 c #Conflicts: 1311000 | #Constraints: 41214 2370.01/2380.01 c #Conflicts: 1312000 | #Constraints: 42214 2370.01/2380.01 c #Conflicts: 1313000 | #Constraints: 43214 2370.01/2380.01 c #Conflicts: 1314000 | #Constraints: 44214 2370.01/2380.01 c #Conflicts: 1315000 | #Constraints: 45214 2370.01/2380.01 c #Conflicts: 1316000 | #Constraints: 46214 2370.01/2380.01 c INPROCESSING 2370.01/2380.01 c GARBAGE COLLECT 2370.01/2380.01 c rational objective 1.47864 2448.31/2458.64 c #Conflicts: 1317000 | #Constraints: 24111 2448.31/2458.64 c #Conflicts: 1318000 | #Constraints: 25111 2448.31/2458.64 c #Conflicts: 1319000 | #Constraints: 26111 2448.31/2458.64 c #Conflicts: 1320000 | #Constraints: 27111 2448.31/2458.64 c #Conflicts: 1321000 | #Constraints: 28111 2448.31/2458.64 c #Conflicts: 1322000 | #Constraints: 29111 2448.31/2458.64 c #Conflicts: 1323000 | #Constraints: 30111 2448.31/2458.64 c #Conflicts: 1324000 | #Constraints: 31111 2448.31/2458.64 c #Conflicts: 1325000 | #Constraints: 32111 2448.31/2458.64 c #Conflicts: 1326000 | #Constraints: 33112 2448.31/2458.64 c #Conflicts: 1327000 | #Constraints: 34112 2448.31/2458.64 c #Conflicts: 1328000 | #Constraints: 35112 2448.31/2458.64 c #Conflicts: 1329000 | #Constraints: 36112 2448.31/2458.64 c #Conflicts: 1330000 | #Constraints: 37113 2448.31/2458.64 c #Conflicts: 1331000 | #Constraints: 38113 2448.31/2458.64 c #Conflicts: 1332000 | #Constraints: 39113 2448.31/2458.64 c #Conflicts: 1333000 | #Constraints: 40113 2448.31/2458.64 c #Conflicts: 1334000 | #Constraints: 41113 2448.31/2458.64 c #Conflicts: 1335000 | #Constraints: 42113 2448.31/2458.64 c #Conflicts: 1336000 | #Constraints: 43113 2448.31/2458.64 c #Conflicts: 1337000 | #Constraints: 44113 2448.31/2458.64 c #Conflicts: 1338000 | #Constraints: 45113 2448.31/2458.64 c #Conflicts: 1339000 | #Constraints: 46113 2448.31/2458.64 c INPROCESSING 2448.31/2458.64 c GARBAGE COLLECT 2448.31/2458.64 c rational objective 1.47864 2518.92/2529.52 c #Conflicts: 1340000 | #Constraints: 23811 2518.92/2529.52 c #Conflicts: 1341000 | #Constraints: 24811 2518.92/2529.52 c #Conflicts: 1342000 | #Constraints: 25812 2518.92/2529.52 c #Conflicts: 1343000 | #Constraints: 26812 2518.92/2529.52 c #Conflicts: 1344000 | #Constraints: 27812 2518.92/2529.52 c #Conflicts: 1345000 | #Constraints: 28812 2518.92/2529.52 c #Conflicts: 1346000 | #Constraints: 29812 2518.92/2529.52 c #Conflicts: 1347000 | #Constraints: 30812 2518.92/2529.52 c #Conflicts: 1348000 | #Constraints: 31812 2518.92/2529.52 c #Conflicts: 1349000 | #Constraints: 32812 2518.92/2529.52 c #Conflicts: 1350000 | #Constraints: 33812 2518.92/2529.52 c #Conflicts: 1351000 | #Constraints: 34812 2518.92/2529.52 c #Conflicts: 1352000 | #Constraints: 35812 2518.92/2529.52 c #Conflicts: 1353000 | #Constraints: 36812 2518.92/2529.52 c #Conflicts: 1354000 | #Constraints: 37812 2518.92/2529.52 c #Conflicts: 1355000 | #Constraints: 38812 2518.92/2529.52 c #Conflicts: 1356000 | #Constraints: 39812 2518.92/2529.52 c #Conflicts: 1357000 | #Constraints: 40812 2518.92/2529.52 c #Conflicts: 1358000 | #Constraints: 41812 2518.92/2529.52 c #Conflicts: 1359000 | #Constraints: 42812 2518.92/2529.52 c #Conflicts: 1360000 | #Constraints: 43812 2518.92/2529.52 c #Conflicts: 1361000 | #Constraints: 44812 2518.92/2529.52 c #Conflicts: 1362000 | #Constraints: 45812 2518.92/2529.52 c #Conflicts: 1363000 | #Constraints: 46812 2518.92/2529.52 c INPROCESSING 2518.92/2529.52 c GARBAGE COLLECT 2518.92/2529.52 c rational objective 1.47864 2603.41/2614.37 c #Conflicts: 1364000 | #Constraints: 24311 2603.41/2614.37 c #Conflicts: 1365000 | #Constraints: 25311 2603.41/2614.37 c #Conflicts: 1366000 | #Constraints: 26312 2603.41/2614.37 c #Conflicts: 1367000 | #Constraints: 27312 2603.41/2614.37 c #Conflicts: 1368000 | #Constraints: 28312 2603.41/2614.37 c #Conflicts: 1369000 | #Constraints: 29312 2603.41/2614.37 c #Conflicts: 1370000 | #Constraints: 30312 2603.41/2614.37 c #Conflicts: 1371000 | #Constraints: 31312 2603.41/2614.37 c #Conflicts: 1372000 | #Constraints: 32312 2603.41/2614.37 c #Conflicts: 1373000 | #Constraints: 33312 2603.41/2614.37 c #Conflicts: 1374000 | #Constraints: 34312 2603.41/2614.37 c #Conflicts: 1375000 | #Constraints: 35312 2603.41/2614.37 c #Conflicts: 1376000 | #Constraints: 36312 2603.41/2614.37 c #Conflicts: 1377000 | #Constraints: 37312 2603.41/2614.37 c #Conflicts: 1378000 | #Constraints: 38312 2603.41/2614.37 c #Conflicts: 1379000 | #Constraints: 39312 2603.41/2614.37 c #Conflicts: 1380000 | #Constraints: 40312 2603.41/2614.37 c #Conflicts: 1381000 | #Constraints: 41312 2603.41/2614.37 c #Conflicts: 1382000 | #Constraints: 42312 2603.41/2614.37 c #Conflicts: 1383000 | #Constraints: 43312 2603.41/2614.37 c #Conflicts: 1384000 | #Constraints: 44312 2603.41/2614.37 c #Conflicts: 1385000 | #Constraints: 45312 2603.41/2614.37 c #Conflicts: 1386000 | #Constraints: 46312 2603.41/2614.37 c #Conflicts: 1387000 | #Constraints: 47312 2603.41/2614.37 c INPROCESSING 2603.41/2614.37 c GARBAGE COLLECT 2603.41/2614.37 c rational objective 1.47864 2688.47/2699.77 c #Conflicts: 1388000 | #Constraints: 24610 2688.47/2699.77 c #Conflicts: 1389000 | #Constraints: 25610 2688.47/2699.77 c #Conflicts: 1390000 | #Constraints: 26610 2688.47/2699.77 c #Conflicts: 1391000 | #Constraints: 27611 2688.47/2699.77 c #Conflicts: 1392000 | #Constraints: 28611 2688.47/2699.77 c #Conflicts: 1393000 | #Constraints: 29611 2688.47/2699.77 c #Conflicts: 1394000 | #Constraints: 30611 2688.47/2699.77 c #Conflicts: 1395000 | #Constraints: 31611 2688.47/2699.77 c #Conflicts: 1396000 | #Constraints: 32611 2688.47/2699.77 c #Conflicts: 1397000 | #Constraints: 33611 2688.47/2699.77 c #Conflicts: 1398000 | #Constraints: 34611 2688.47/2699.77 c #Conflicts: 1399000 | #Constraints: 35611 2688.47/2699.77 c #Conflicts: 1400000 | #Constraints: 36611 2688.47/2699.77 c #Conflicts: 1401000 | #Constraints: 37611 2688.47/2699.77 c #Conflicts: 1402000 | #Constraints: 38611 2688.47/2699.77 c #Conflicts: 1403000 | #Constraints: 39611 2688.47/2699.77 c #Conflicts: 1404000 | #Constraints: 40611 2688.47/2699.77 c #Conflicts: 1405000 | #Constraints: 41611 2688.47/2699.77 c #Conflicts: 1406000 | #Constraints: 42611 2688.47/2699.77 c #Conflicts: 1407000 | #Constraints: 43611 2688.47/2699.77 c #Conflicts: 1408000 | #Constraints: 44612 2688.47/2699.77 c #Conflicts: 1409000 | #Constraints: 45612 2688.47/2699.77 c #Conflicts: 1410000 | #Constraints: 46613 2688.47/2699.77 c #Conflicts: 1411000 | #Constraints: 47613 2688.47/2699.77 c INPROCESSING 2688.47/2699.77 c GARBAGE COLLECT 2688.47/2699.77 c rational objective 1.47864 2775.91/2787.52 c #Conflicts: 1412000 | #Constraints: 24708 2775.91/2787.52 c #Conflicts: 1413000 | #Constraints: 25708 2775.91/2787.52 c #Conflicts: 1414000 | #Constraints: 26708 2775.91/2787.52 c #Conflicts: 1415000 | #Constraints: 27708 2775.91/2787.52 c #Conflicts: 1416000 | #Constraints: 28708 2775.91/2787.52 c #Conflicts: 1417000 | #Constraints: 29708 2775.91/2787.52 c #Conflicts: 1418000 | #Constraints: 30708 2775.91/2787.52 c #Conflicts: 1419000 | #Constraints: 31708 2775.91/2787.52 c #Conflicts: 1420000 | #Constraints: 32708 2775.91/2787.52 c #Conflicts: 1421000 | #Constraints: 33708 2775.91/2787.52 c #Conflicts: 1422000 | #Constraints: 34708 2775.91/2787.52 c #Conflicts: 1423000 | #Constraints: 35709 2775.91/2787.52 c #Conflicts: 1424000 | #Constraints: 36709 2775.91/2787.52 c #Conflicts: 1425000 | #Constraints: 37709 2775.91/2787.52 c #Conflicts: 1426000 | #Constraints: 38709 2775.91/2787.52 c #Conflicts: 1427000 | #Constraints: 39709 2775.91/2787.52 c #Conflicts: 1428000 | #Constraints: 40709 2775.91/2787.52 c #Conflicts: 1429000 | #Constraints: 41709 2775.91/2787.52 c #Conflicts: 1430000 | #Constraints: 42709 2775.91/2787.52 c #Conflicts: 1431000 | #Constraints: 43709 2775.91/2787.52 c #Conflicts: 1432000 | #Constraints: 44709 2775.91/2787.52 c #Conflicts: 1433000 | #Constraints: 45709 2775.91/2787.52 c #Conflicts: 1434000 | #Constraints: 46709 2775.91/2787.52 c #Conflicts: 1435000 | #Constraints: 47709 2775.91/2787.52 c INPROCESSING 2775.91/2787.52 c GARBAGE COLLECT 2775.91/2787.52 c rational objective 1.47864 2855.29/2867.29 c #Conflicts: 1436000 | #Constraints: 24608 2855.29/2867.29 c #Conflicts: 1437000 | #Constraints: 25608 2855.29/2867.29 c #Conflicts: 1438000 | #Constraints: 26608 2855.29/2867.29 c #Conflicts: 1439000 | #Constraints: 27608 2855.29/2867.29 c #Conflicts: 1440000 | #Constraints: 28608 2855.29/2867.29 c #Conflicts: 1441000 | #Constraints: 29608 2855.29/2867.29 c #Conflicts: 1442000 | #Constraints: 30608 2855.29/2867.29 c #Conflicts: 1443000 | #Constraints: 31608 2855.29/2867.29 c #Conflicts: 1444000 | #Constraints: 32608 2855.29/2867.29 c #Conflicts: 1445000 | #Constraints: 33608 2855.29/2867.29 c #Conflicts: 1446000 | #Constraints: 34608 2855.29/2867.29 c #Conflicts: 1447000 | #Constraints: 35608 2855.29/2867.29 c #Conflicts: 1448000 | #Constraints: 36608 2855.29/2867.29 c #Conflicts: 1449000 | #Constraints: 37608 2855.29/2867.29 c #Conflicts: 1450000 | #Constraints: 38608 2855.29/2867.29 c #Conflicts: 1451000 | #Constraints: 39608 2855.29/2867.29 c #Conflicts: 1452000 | #Constraints: 40608 2855.29/2867.29 c #Conflicts: 1453000 | #Constraints: 41608 2855.29/2867.29 c #Conflicts: 1454000 | #Constraints: 42608 2855.29/2867.29 c #Conflicts: 1455000 | #Constraints: 43608 2855.29/2867.29 c #Conflicts: 1456000 | #Constraints: 44608 2855.29/2867.29 c #Conflicts: 1457000 | #Constraints: 45608 2855.29/2867.29 c #Conflicts: 1458000 | #Constraints: 46608 2855.29/2867.29 c #Conflicts: 1459000 | #Constraints: 47608 2855.29/2867.29 c #Conflicts: 1460000 | #Constraints: 48608 2855.29/2867.29 c INPROCESSING 2855.29/2867.29 c GARBAGE COLLECT 2855.29/2867.29 c rational objective 1.47864 2953.41/2965.77 c #Conflicts: 1461000 | #Constraints: 25308 2953.41/2965.77 c #Conflicts: 1462000 | #Constraints: 26308 2953.41/2965.77 c #Conflicts: 1463000 | #Constraints: 27308 2953.41/2965.77 c #Conflicts: 1464000 | #Constraints: 28308 2953.41/2965.77 c #Conflicts: 1465000 | #Constraints: 29308 2953.41/2965.77 c #Conflicts: 1466000 | #Constraints: 30308 2953.41/2965.77 c #Conflicts: 1467000 | #Constraints: 31308 2953.41/2965.77 c #Conflicts: 1468000 | #Constraints: 32308 2953.41/2965.77 c #Conflicts: 1469000 | #Constraints: 33308 2953.41/2965.77 c #Conflicts: 1470000 | #Constraints: 34308 2953.41/2965.77 c #Conflicts: 1471000 | #Constraints: 35308 2953.41/2965.77 c #Conflicts: 1472000 | #Constraints: 36308 2953.41/2965.77 c #Conflicts: 1473000 | #Constraints: 37308 2953.41/2965.77 c #Conflicts: 1474000 | #Constraints: 38308 2953.41/2965.77 c #Conflicts: 1475000 | #Constraints: 39308 2953.41/2965.77 c #Conflicts: 1476000 | #Constraints: 40308 2953.41/2965.77 c #Conflicts: 1477000 | #Constraints: 41308 2953.41/2965.77 c #Conflicts: 1478000 | #Constraints: 42308 2953.41/2965.77 c #Conflicts: 1479000 | #Constraints: 43308 2953.41/2965.77 c #Conflicts: 1480000 | #Constraints: 44309 2953.41/2965.77 c #Conflicts: 1481000 | #Constraints: 45309 2953.41/2965.77 c #Conflicts: 1482000 | #Constraints: 46309 2953.41/2965.77 c #Conflicts: 1483000 | #Constraints: 47309 2953.41/2965.77 c #Conflicts: 1484000 | #Constraints: 48309 2953.41/2965.77 c INPROCESSING 2953.41/2965.77 c GARBAGE COLLECT 2953.41/2965.77 c rational objective 1.47864 3048.12/3060.82 c #Conflicts: 1485000 | #Constraints: 24811 3048.12/3060.82 c #Conflicts: 1486000 | #Constraints: 25811 3048.12/3060.82 c #Conflicts: 1487000 | #Constraints: 26811 3048.12/3060.82 c #Conflicts: 1488000 | #Constraints: 27811 3048.12/3060.82 c #Conflicts: 1489000 | #Constraints: 28811 3048.12/3060.82 c #Conflicts: 1490000 | #Constraints: 29811 3048.12/3060.82 c #Conflicts: 1491000 | #Constraints: 30811 3048.12/3060.82 c #Conflicts: 1492000 | #Constraints: 31811 3048.12/3060.82 c #Conflicts: 1493000 | #Constraints: 32811 3048.12/3060.82 c #Conflicts: 1494000 | #Constraints: 33811 3048.12/3060.82 c #Conflicts: 1495000 | #Constraints: 34811 3048.12/3060.82 c #Conflicts: 1496000 | #Constraints: 35811 3048.12/3060.82 c #Conflicts: 1497000 | #Constraints: 36811 3048.12/3060.82 c #Conflicts: 1498000 | #Constraints: 37811 3048.12/3060.82 c #Conflicts: 1499000 | #Constraints: 38811 3048.12/3060.82 c #Conflicts: 1500000 | #Constraints: 39811 3048.12/3060.82 c #Conflicts: 1501000 | #Constraints: 40811 3048.12/3060.82 c #Conflicts: 1502000 | #Constraints: 41811 3048.12/3060.82 c #Conflicts: 1503000 | #Constraints: 42811 3048.12/3060.82 c #Conflicts: 1504000 | #Constraints: 43811 3048.12/3060.82 c #Conflicts: 1505000 | #Constraints: 44811 3048.12/3060.82 c #Conflicts: 1506000 | #Constraints: 45811 3048.12/3060.82 c #Conflicts: 1507000 | #Constraints: 46811 3048.12/3060.82 c #Conflicts: 1508000 | #Constraints: 47812 3048.12/3060.82 c #Conflicts: 1509000 | #Constraints: 48812 3048.12/3060.82 c INPROCESSING 3048.12/3060.82 c GARBAGE COLLECT 3048.12/3060.82 c rational objective 1.47864 3142.81/3155.94 c #Conflicts: 1510000 | #Constraints: 25109 3142.81/3155.94 c #Conflicts: 1511000 | #Constraints: 26109 3142.81/3155.94 c #Conflicts: 1512000 | #Constraints: 27109 3142.81/3155.94 c #Conflicts: 1513000 | #Constraints: 28109 3142.81/3155.94 c #Conflicts: 1514000 | #Constraints: 29109 3142.81/3155.94 c #Conflicts: 1515000 | #Constraints: 30109 3142.81/3155.94 c #Conflicts: 1516000 | #Constraints: 31110 3142.81/3155.94 c #Conflicts: 1517000 | #Constraints: 32111 3142.81/3155.94 c #Conflicts: 1518000 | #Constraints: 33111 3142.81/3155.94 c #Conflicts: 1519000 | #Constraints: 34111 3142.81/3155.94 c #Conflicts: 1520000 | #Constraints: 35111 3142.81/3155.94 c #Conflicts: 1521000 | #Constraints: 36111 3142.81/3155.94 c #Conflicts: 1522000 | #Constraints: 37111 3142.81/3155.94 c #Conflicts: 1523000 | #Constraints: 38111 3142.81/3155.94 c #Conflicts: 1524000 | #Constraints: 39111 3142.81/3155.94 c #Conflicts: 1525000 | #Constraints: 40111 3142.81/3155.94 c #Conflicts: 1526000 | #Constraints: 41111 3142.81/3155.94 c #Conflicts: 1527000 | #Constraints: 42111 3142.81/3155.94 c #Conflicts: 1528000 | #Constraints: 43111 3142.81/3155.94 c #Conflicts: 1529000 | #Constraints: 44111 3142.81/3155.94 c #Conflicts: 1530000 | #Constraints: 45111 3142.81/3155.94 c #Conflicts: 1531000 | #Constraints: 46111 3142.81/3155.94 c #Conflicts: 1532000 | #Constraints: 47111 3142.81/3155.94 c #Conflicts: 1533000 | #Constraints: 48111 3142.81/3155.94 c #Conflicts: 1534000 | #Constraints: 49111 3142.81/3155.94 c INPROCESSING 3142.81/3155.94 c GARBAGE COLLECT 3142.81/3155.94 c rational objective 1.47864 3236.56/3250.06 c #Conflicts: 1535000 | #Constraints: 25211 3236.56/3250.06 c #Conflicts: 1536000 | #Constraints: 26211 3236.56/3250.06 c #Conflicts: 1537000 | #Constraints: 27211 3236.56/3250.06 c #Conflicts: 1538000 | #Constraints: 28211 3236.56/3250.06 c #Conflicts: 1539000 | #Constraints: 29211 3236.56/3250.06 c #Conflicts: 1540000 | #Constraints: 30211 3236.56/3250.06 c #Conflicts: 1541000 | #Constraints: 31211 3236.56/3250.06 c #Conflicts: 1542000 | #Constraints: 32211 3236.56/3250.06 c #Conflicts: 1543000 | #Constraints: 33211 3236.56/3250.06 c #Conflicts: 1544000 | #Constraints: 34211 3236.56/3250.06 c #Conflicts: 1545000 | #Constraints: 35211 3236.56/3250.06 c #Conflicts: 1546000 | #Constraints: 36211 3236.56/3250.06 c #Conflicts: 1547000 | #Constraints: 37211 3236.56/3250.06 c #Conflicts: 1548000 | #Constraints: 38211 3236.56/3250.06 c #Conflicts: 1549000 | #Constraints: 39211 3236.56/3250.06 c #Conflicts: 1550000 | #Constraints: 40211 3236.56/3250.06 c #Conflicts: 1551000 | #Constraints: 41211 3236.56/3250.06 c #Conflicts: 1552000 | #Constraints: 42211 3236.56/3250.06 c #Conflicts: 1553000 | #Constraints: 43211 3236.56/3250.06 c #Conflicts: 1554000 | #Constraints: 44211 3236.56/3250.06 c #Conflicts: 1555000 | #Constraints: 45211 3236.56/3250.06 c #Conflicts: 1556000 | #Constraints: 46211 3236.56/3250.06 c #Conflicts: 1557000 | #Constraints: 47211 3236.56/3250.06 c #Conflicts: 1558000 | #Constraints: 48211 3236.56/3250.06 c #Conflicts: 1559000 | #Constraints: 49211 3236.56/3250.06 c #Conflicts: 1560000 | #Constraints: 50211 3236.56/3250.06 c INPROCESSING 3236.56/3250.06 c GARBAGE COLLECT 3236.56/3250.06 c rational objective 1.47864 3319.85/3333.60 c #Conflicts: 1561000 | #Constraints: 26112 3319.85/3333.60 c #Conflicts: 1562000 | #Constraints: 27113 3319.85/3333.60 c #Conflicts: 1563000 | #Constraints: 28113 3319.85/3333.60 c #Conflicts: 1564000 | #Constraints: 29113 3319.85/3333.60 c #Conflicts: 1565000 | #Constraints: 30113 3319.85/3333.60 c #Conflicts: 1566000 | #Constraints: 31113 3319.85/3333.60 c #Conflicts: 1567000 | #Constraints: 32113 3319.85/3333.60 c #Conflicts: 1568000 | #Constraints: 33113 3319.85/3333.60 c #Conflicts: 1569000 | #Constraints: 34113 3319.85/3333.60 c #Conflicts: 1570000 | #Constraints: 35113 3319.85/3333.60 c #Conflicts: 1571000 | #Constraints: 36113 3319.85/3333.60 c #Conflicts: 1572000 | #Constraints: 37113 3319.85/3333.60 c #Conflicts: 1573000 | #Constraints: 38113 3319.85/3333.60 c #Conflicts: 1574000 | #Constraints: 39113 3319.85/3333.60 c #Conflicts: 1575000 | #Constraints: 40113 3319.85/3333.60 c #Conflicts: 1576000 | #Constraints: 41113 3319.85/3333.60 c #Conflicts: 1577000 | #Constraints: 42113 3319.85/3333.60 c #Conflicts: 1578000 | #Constraints: 43113 3319.85/3333.60 c #Conflicts: 1579000 | #Constraints: 44113 3319.85/3333.60 c #Conflicts: 1580000 | #Constraints: 45113 3319.85/3333.60 c #Conflicts: 1581000 | #Constraints: 46113 3319.85/3333.60 c #Conflicts: 1582000 | #Constraints: 47113 3319.85/3333.60 c #Conflicts: 1583000 | #Constraints: 48113 3319.85/3333.60 c #Conflicts: 1584000 | #Constraints: 49113 3319.85/3333.60 c #Conflicts: 1585000 | #Constraints: 50113 3319.85/3333.60 c INPROCESSING 3319.85/3333.60 c GARBAGE COLLECT 3319.85/3333.60 c rational objective 1.47864 3408.79/3422.91 c #Conflicts: 1586000 | #Constraints: 25812 3408.79/3422.91 c #Conflicts: 1587000 | #Constraints: 26812 3408.79/3422.91 c #Conflicts: 1588000 | #Constraints: 27812 3408.79/3422.91 c #Conflicts: 1589000 | #Constraints: 28812 3408.79/3422.91 c #Conflicts: 1590000 | #Constraints: 29812 3408.79/3422.91 c #Conflicts: 1591000 | #Constraints: 30812 3408.79/3422.91 c #Conflicts: 1592000 | #Constraints: 31812 3408.79/3422.91 c #Conflicts: 1593000 | #Constraints: 32812 3408.79/3422.91 c #Conflicts: 1594000 | #Constraints: 33812 3408.79/3422.91 c #Conflicts: 1595000 | #Constraints: 34812 3408.79/3422.91 c #Conflicts: 1596000 | #Constraints: 35812 3408.79/3422.91 c #Conflicts: 1597000 | #Constraints: 36812 3408.79/3422.91 c #Conflicts: 1598000 | #Constraints: 37812 3408.79/3422.91 c #Conflicts: 1599000 | #Constraints: 38812 3408.79/3422.91 c #Conflicts: 1600000 | #Constraints: 39812 3408.79/3422.91 c #Conflicts: 1601000 | #Constraints: 40812 3408.79/3422.91 c #Conflicts: 1602000 | #Constraints: 41812 3408.79/3422.91 c #Conflicts: 1603000 | #Constraints: 42812 3408.79/3422.91 c #Conflicts: 1604000 | #Constraints: 43812 3408.79/3422.91 c #Conflicts: 1605000 | #Constraints: 44812 3408.79/3422.91 c #Conflicts: 1606000 | #Constraints: 45812 3408.79/3422.91 c #Conflicts: 1607000 | #Constraints: 46812 3408.79/3422.91 c #Conflicts: 1608000 | #Constraints: 47812 3408.79/3422.91 c #Conflicts: 1609000 | #Constraints: 48812 3408.79/3422.91 c #Conflicts: 1610000 | #Constraints: 49812 3408.79/3422.91 c #Conflicts: 1611000 | #Constraints: 50812 3408.79/3422.91 c INPROCESSING 3408.79/3422.91 c GARBAGE COLLECT 3408.79/3422.91 c rational objective 1.47864 3504.70/3519.25 c #Conflicts: 1612000 | #Constraints: 26311 3504.70/3519.25 c #Conflicts: 1613000 | #Constraints: 27311 3504.70/3519.25 c #Conflicts: 1614000 | #Constraints: 28311 3504.70/3519.25 c #Conflicts: 1615000 | #Constraints: 29311 3504.70/3519.25 c #Conflicts: 1616000 | #Constraints: 30311 3504.70/3519.25 c #Conflicts: 1617000 | #Constraints: 31311 3504.70/3519.25 c #Conflicts: 1618000 | #Constraints: 32311 3504.70/3519.25 c #Conflicts: 1619000 | #Constraints: 33311 3504.70/3519.25 c #Conflicts: 1620000 | #Constraints: 34311 3504.70/3519.25 c #Conflicts: 1621000 | #Constraints: 35311 3504.70/3519.25 c #Conflicts: 1622000 | #Constraints: 36311 3504.70/3519.25 c #Conflicts: 1623000 | #Constraints: 37311 3504.70/3519.25 c #Conflicts: 1624000 | #Constraints: 38311 3504.70/3519.25 c #Conflicts: 1625000 | #Constraints: 39311 3504.70/3519.25 c #Conflicts: 1626000 | #Constraints: 40311 3504.70/3519.25 c #Conflicts: 1627000 | #Constraints: 41311 3504.70/3519.25 c #Conflicts: 1628000 | #Constraints: 42311 3504.70/3519.25 c #Conflicts: 1629000 | #Constraints: 43311 3504.70/3519.25 c #Conflicts: 1630000 | #Constraints: 44311 3504.70/3519.25 c #Conflicts: 1631000 | #Constraints: 45311 3504.70/3519.25 c #Conflicts: 1632000 | #Constraints: 46311 3504.70/3519.25 c #Conflicts: 1633000 | #Constraints: 47311 3504.70/3519.25 c #Conflicts: 1634000 | #Constraints: 48311 3504.70/3519.25 c #Conflicts: 1635000 | #Constraints: 49311 3504.70/3519.25 c #Conflicts: 1636000 | #Constraints: 50311 3504.70/3519.25 c #Conflicts: 1637000 | #Constraints: 51311 3504.70/3519.25 c INPROCESSING 3504.70/3519.25 c GARBAGE COLLECT 3504.70/3519.25 c rational objective 1.47864 3600.00/3614.90 c #Conflicts: 1638000 | #Constraints: 26614 3600.00/3614.90 c #Conflicts: 1639000 | #Constraints: 27614 3600.00/3614.90 c #Conflicts: 1640000 | #Constraints: 28614 3600.00/3614.90 c #Conflicts: 1641000 | #Constraints: 29614 3600.00/3614.90 c #Conflicts: 1642000 | #Constraints: 30614 3600.00/3614.90 c #Conflicts: 1643000 | #Constraints: 31614 3600.00/3614.90 c #Conflicts: 1644000 | #Constraints: 32614 3600.00/3614.90 c #Conflicts: 1645000 | #Constraints: 33614 3600.00/3614.90 c #Conflicts: 1646000 | #Constraints: 34614 3600.00/3614.90 c #Conflicts: 1647000 | #Constraints: 35614 3600.00/3614.90 c #Conflicts: 1648000 | #Constraints: 36614 3600.00/3614.90 c #Conflicts: 1649000 | #Constraints: 37614 3600.00/3614.90 c #Conflicts: 1650000 | #Constraints: 38614 3600.00/3614.90 c #Conflicts: 1651000 | #Constraints: 39614 3600.00/3614.90 c #Conflicts: 1652000 | #Constraints: 40614 3600.00/3614.90 c #Conflicts: 1653000 | #Constraints: 41614 3600.00/3614.90 c #Conflicts: 1654000 | #Constraints: 42614 3600.00/3614.90 c #Conflicts: 1655000 | #Constraints: 43614 3600.00/3614.90 c #Conflicts: 1656000 | #Constraints: 44614 3600.00/3614.90 c #Conflicts: 1657000 | #Constraints: 45614 3600.00/3614.90 c #Conflicts: 1658000 | #Constraints: 46614 3600.00/3614.90 c #Conflicts: 1659000 | #Constraints: 47614 3600.00/3614.90 c Program interrupted by user. 3600.00/3614.90 c cpu time 3574.87 s 3600.00/3614.90 c deterministic time 589233248457 5.89e+11 3600.00/3614.90 c optimization time 94.773 s 3600.00/3614.90 c total solve time 3480.1 s 3600.00/3614.90 c core-guided solve time 0 s 3600.00/3614.90 c propagation time 3178.02 s 3600.00/3614.90 c conflict analysis time 373.28 s 3600.00/3614.90 c propagations 10876896 3600.00/3614.90 c resolve steps 5322909 3600.00/3614.90 c decisions 4009387 3600.00/3614.90 c conflicts 1659672 3600.00/3614.90 c restarts 3139 3600.00/3614.90 c inprocessing phases 107 3600.00/3614.90 c input clauses 0 3600.00/3614.90 c input cardinalities 0 3600.00/3614.90 c input general constraints 2 3600.00/3614.90 c input average constraint length 52.00 3600.00/3614.90 c input average constraint degree 36188387.00 3600.00/3614.90 c learned clauses 898887 3600.00/3614.90 c learned cardinalities 70 3600.00/3614.90 c learned general constraints 760809 3600.00/3614.90 c learned average constraint length 40.37 3600.00/3614.90 c learned average constraint degree 10929421.95 3600.00/3614.90 c watched constraints 478074 3600.00/3614.90 c counting constraints 282737 3600.00/3614.90 c gcd simplifications 905564 3600.00/3614.90 c detected cardinalities 69 3600.00/3614.90 c weakened non-implied lits 3593477 3600.00/3614.90 c weakened non-implying lits 1976798 3600.00/3614.90 c original variables 52 3600.00/3614.90 c clausal propagations 585034 3600.00/3614.90 c cardinality propagations 79 3600.00/3614.90 c watched propagations 4599054 3600.00/3614.90 c counting propagations 4317171 3600.00/3614.90 c watch lookups 91169773197 3600.00/3614.90 c watch backjump lookups 90489236748 3600.00/3614.90 c watch checks 18395604747 3600.00/3614.90 c propagation checks 388817020935 3600.00/3614.90 c constraint additions 328804889 3600.00/3614.90 c trail pops 16545808 3600.00/3614.90 c formula constraints 2 3600.00/3614.90 c learned constraints 1659576 3600.00/3614.90 c bound constraints 0 3600.00/3614.90 c core-guided constraints 0 3600.00/3614.90 c encountered formula constraints 4048158 3600.00/3614.90 c encountered learned constraints 2931835 3600.00/3614.90 c encountered bound constraints 0 3600.00/3614.90 c encountered core-guided constraints 0 3600.00/3614.90 c LP total time 50.2899 s 3600.00/3614.90 c LP solve time 41.71 s 3600.00/3614.90 c LP constraints added 17 3600.00/3614.90 c LP constraints removed 7 3600.00/3614.90 c LP pivots internal 1374597 3600.00/3614.90 c LP pivots root 1252 3600.00/3614.90 c LP calls 1097298 3600.00/3614.90 c LP optimalities 1097203 3600.00/3614.90 c LP no pivot count 305766 3600.00/3614.90 c LP infeasibilities 95 3600.00/3614.90 c LP valid Farkas constraints 95 3600.00/3614.90 c LP learned Farkas constraints 95 3600.00/3614.90 c LP basis resets 0 3600.00/3614.90 c LP cycling count 0 3600.00/3614.90 c LP singular count 0 3600.00/3614.90 c LP no primal count 0 3600.00/3614.90 c LP no farkas count 0 3600.00/3614.90 c LP other issue count 0 3600.00/3614.90 c LP Gomory cuts 0 3600.00/3614.90 c LP learned cuts 15 3600.00/3614.90 c LP deleted cuts 7 3600.00/3614.90 c LP encountered Gomory constraints 0 3600.00/3614.90 c LP encountered Farkas constraints 1993 3600.00/3614.90 c LP encountered learned Farkas constraints 500 3600.00/3614.90 c CG auxiliary variables introduced 0 3600.00/3614.90 c CG solutions found 0 3600.00/3614.90 c CG cores constructed 0 3600.00/3614.90 c CG core cardinality constraints returned 0 3600.00/3614.90 c CG unit cores 0 3600.00/3614.90 c CG single cores 0 3600.00/3614.90 c CG blocks removed during cardinality reduction 0 3600.00/3614.90 c CG first core best 0 3600.00/3614.90 c CG decision core best 0 3600.00/3614.90 c CG core reduction tie 0 3600.00/3614.90 c CG core degree average 0.00 3600.00/3614.90 c CG core slack average 0.00 3600.00/3614.90 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (51118 MiB free)
memory of node 1: 64473 MiB (51848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462921-1722344397/watcher-4462921-1722344397 -o /tmp/evaluation-result-4462921-1722344397/solver-4462921-1722344397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7095 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462921-1722344397 --lp-cut-gomory=0 HOME/instance-4462921-1722344397.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=9253, runsolver pid=9250
[startup+0.100091 s]*
/proc/loadavg: 4.09 4.09 4.01 1/248 9254
/proc/meminfo: memFree=105436552/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=37376 memory=2584 CPUtime=0 cores=0,2
/proc/9253/stat : 9253 (roundingsat) D 9250 9253 7085 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 1044315 38273024 646 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+0.205004 s]*
/proc/loadavg: 4.09 4.09 4.01 1/248 9254
/proc/meminfo: memFree=105436412/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=37376 memory=2584 CPUtime=0 cores=0,2
/proc/9253/stat : 9253 (roundingsat) D 9250 9253 7085 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 1044315 38273024 646 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+0.304501 s]*
/proc/loadavg: 4.09 4.09 4.01 1/248 9254
/proc/meminfo: memFree=105436188/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=37376 memory=2584 CPUtime=0 cores=0,2
/proc/9253/stat : 9253 (roundingsat) D 9250 9253 7085 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 1044315 38273024 646 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+0.700239 s]
/proc/loadavg: 4.09 4.09 4.01 1/248 9254
/proc/meminfo: memFree=105436048/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=37376 memory=2584 CPUtime=0 cores=0,2
/proc/9253/stat : 9253 (roundingsat) D 9250 9253 7085 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 1044315 38273024 646 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+1.50015 s]
/proc/loadavg: 4.09 4.09 4.01 2/248 9256
/proc/meminfo: memFree=113479112/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=37376 memory=2584 CPUtime=0 cores=0,2
/proc/9253/stat : 9253 (roundingsat) D 9250 9253 7085 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 1044315 38273024 646 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB
[startup+3.10439 s]
/proc/loadavg: 4.09 4.09 4.01 3/255 9323
/proc/meminfo: memFree=130299276/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=39148 memory=11284 CPUtime=1.48 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 689 0 0 0 138 10 0 0 20 0 1 0 1044315 40087552 2821 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 9787 2821 1831 992 0 1645 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39148 KiB
Current children cumulated memory: 11284 KiB
heavy processes:
[startup+6.30014 s]
/proc/loadavg: 4.08 4.08 4.01 3/257 9327
/proc/meminfo: memFree=130283200/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=39916 memory=12032 CPUtime=4.66 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 881 0 0 0 439 27 0 0 20 0 1 0 1044315 40873984 3008 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 9979 3008 1831 992 0 1837 0
Current children cumulated CPU time: 4.66 s
Current children cumulated vsize: 39916 KiB
Current children cumulated memory: 12032 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.01 4/262 9348
/proc/meminfo: memFree=130144436/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=41324 memory=15052 CPUtime=11.04 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 1148 0 0 0 1053 51 0 0 20 0 1 0 1044315 42315776 3763 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 10331 3763 1831 992 0 2189 0
Current children cumulated CPU time: 11.04 s
Current children cumulated vsize: 41324 KiB
Current children cumulated memory: 15052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.09 4.01 3/257 9378
/proc/meminfo: memFree=130006844/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=42064 memory=16172 CPUtime=23.8 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 1360 0 0 0 2293 87 0 0 20 0 1 0 1044315 43073536 4043 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 10516 4043 1863 992 0 2374 0
Current children cumulated CPU time: 23.8 s
Current children cumulated vsize: 42064 KiB
Current children cumulated memory: 16172 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.09 4.01 3/254 9505
/proc/meminfo: memFree=129794432/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=52500 memory=22816 CPUtime=49.32 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 3028 0 0 0 4797 135 0 0 20 0 1 0 1044315 53760000 5704 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 13125 5704 1863 992 0 4983 0
Current children cumulated CPU time: 49.32 s
Current children cumulated vsize: 52500 KiB
Current children cumulated memory: 22816 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 9564
/proc/meminfo: memFree=128296840/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=54104 memory=26580 CPUtime=100.32 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 3567 0 0 0 9829 203 0 0 20 0 1 0 1044315 55402496 6645 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 13526 6645 1863 992 0 5384 0
Current children cumulated CPU time: 100.32 s
Current children cumulated vsize: 54104 KiB
Current children cumulated memory: 26580 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.10 4.02 5/264 9574
/proc/meminfo: memFree=126390652/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=56408 memory=28504 CPUtime=160.1 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 4416 0 0 0 15732 278 0 0 20 0 1 0 1044315 57761792 7126 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 14102 7126 1863 992 0 5960 0
Current children cumulated CPU time: 160.1 s
Current children cumulated vsize: 56408 KiB
Current children cumulated memory: 28504 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/263 9584
/proc/meminfo: memFree=124495500/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=64692 memory=32876 CPUtime=219.86 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 5141 0 0 0 21637 349 0 0 20 0 1 0 1044315 66244608 8219 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 16173 8219 1863 992 0 8031 0
Current children cumulated CPU time: 219.86 s
Current children cumulated vsize: 64692 KiB
Current children cumulated memory: 32876 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/263 9596
/proc/meminfo: memFree=122237500/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=66996 memory=37164 CPUtime=279.62 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 6001 0 0 0 27556 406 0 0 20 0 1 0 1044315 68603904 9291 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 16749 9291 1863 992 0 8607 0
Current children cumulated CPU time: 279.62 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 37164 KiB
[startup+342.3 s]
/proc/loadavg: 4.41 4.18 4.05 5/259 9606
/proc/meminfo: memFree=120297684/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=66996 memory=37164 CPUtime=339.4 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 6016 0 0 0 33469 471 0 0 20 0 1 0 1044315 68603904 9291 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 16749 9291 1863 992 0 8607 0
Current children cumulated CPU time: 339.4 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 37164 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.20 4.07 8/259 9617
/proc/meminfo: memFree=118086256/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=66996 memory=37164 CPUtime=399.19 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 6026 0 0 0 39382 537 0 0 20 0 1 0 1044315 68603904 9291 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 16749 9291 1863 992 0 8607 0
Current children cumulated CPU time: 399.19 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 37164 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.19 4.08 6/258 9629
/proc/meminfo: memFree=116364928/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=66996 memory=37164 CPUtime=458.96 cores=0,2
################
# More data... #
################
Current children cumulated memory: 41868 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.18 4.12 6/261 10841
/proc/meminfo: memFree=117338664/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=69824 memory=41996 CPUtime=2910.18 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 10669 0 0 0 288827 2191 0 0 20 0 1 0 1044315 71499776 10499 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17456 10499 1863 992 0 9314 0
Current children cumulated CPU time: 2910.18 s
Current children cumulated vsize: 69824 KiB
Current children cumulated memory: 41996 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/260 10851
/proc/meminfo: memFree=117084748/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=70084 memory=42788 CPUtime=2969.93 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 11020 0 0 0 294776 2217 0 0 20 0 1 0 1044315 71766016 10697 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17521 10697 1863 992 0 9379 0
Current children cumulated CPU time: 2969.93 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 42788 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/262 10866
/proc/meminfo: memFree=116806908/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=70084 memory=42788 CPUtime=3029.69 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 11035 0 0 0 300723 2246 0 0 20 0 1 0 1044315 71766016 10697 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17521 10697 1863 992 0 9379 0
Current children cumulated CPU time: 3029.69 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 42788 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/262 10877
/proc/meminfo: memFree=116441268/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=70084 memory=42804 CPUtime=3089.44 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 11193 0 0 0 306665 2279 0 0 20 0 1 0 1044315 71766016 10701 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17521 10701 1863 992 0 9379 0
Current children cumulated CPU time: 3089.44 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 42804 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/264 10889
/proc/meminfo: memFree=115877540/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=70084 memory=42812 CPUtime=3149.19 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 11352 0 0 0 312612 2307 0 0 20 0 1 0 1044315 71766016 10703 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17521 10703 1863 992 0 9379 0
Current children cumulated CPU time: 3149.19 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 42812 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/264 10899
/proc/meminfo: memFree=115427584/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=70084 memory=42812 CPUtime=3208.96 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 11368 0 0 0 318562 2334 0 0 20 0 1 0 1044315 71766016 10703 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17521 10703 1863 992 0 9379 0
Current children cumulated CPU time: 3208.96 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 42812 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 10910
/proc/meminfo: memFree=115291440/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=70604 memory=43380 CPUtime=3268.73 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 11623 0 0 0 324511 2362 0 0 20 0 1 0 1044315 72298496 10845 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17651 10845 1863 992 0 9509 0
Current children cumulated CPU time: 3268.73 s
Current children cumulated vsize: 70604 KiB
Current children cumulated memory: 43380 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/260 11302
/proc/meminfo: memFree=114869844/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=70732 memory=43560 CPUtime=3328.51 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 11826 0 0 0 330463 2388 0 0 20 0 1 0 1044315 72429568 10890 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17683 10890 1863 992 0 9541 0
Current children cumulated CPU time: 3328.51 s
Current children cumulated vsize: 70732 KiB
Current children cumulated memory: 43560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/260 11313
/proc/meminfo: memFree=114385388/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=70732 memory=43560 CPUtime=3388.27 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 11843 0 0 0 336413 2414 0 0 20 0 1 0 1044315 72429568 10890 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17683 10890 1863 992 0 9541 0
Current children cumulated CPU time: 3388.27 s
Current children cumulated vsize: 70732 KiB
Current children cumulated memory: 43560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/257 11324
/proc/meminfo: memFree=113759968/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=70736 memory=43584 CPUtime=3448.03 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 12003 0 0 0 342360 2443 0 0 20 0 1 0 1044315 72433664 10896 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17684 10896 1863 992 0 9542 0
Current children cumulated CPU time: 3448.03 s
Current children cumulated vsize: 70736 KiB
Current children cumulated memory: 43584 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/259 11504
/proc/meminfo: memFree=113079788/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=71052 memory=43668 CPUtime=3507.78 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 12154 0 0 0 348305 2473 0 0 20 0 1 0 1044315 72757248 10917 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17763 10917 1863 992 0 9621 0
Current children cumulated CPU time: 3507.78 s
Current children cumulated vsize: 71052 KiB
Current children cumulated memory: 43668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.12 4.10 6/260 11515
/proc/meminfo: memFree=112661928/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=71052 memory=43668 CPUtime=3567.54 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 12169 0 0 0 354252 2502 0 0 20 0 1 0 1044315 72757248 10917 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17763 10917 1863 992 0 9621 0
Current children cumulated CPU time: 3567.54 s
Current children cumulated vsize: 71052 KiB
Current children cumulated memory: 43668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.9 s]
/proc/loadavg: 4.09 4.12 4.10 5/262 11525
/proc/meminfo: memFree=112544580/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=71052 memory=43668 CPUtime=3600 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 12185 0 0 0 357486 2514 0 0 20 0 1 0 1044315 72757248 10917 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17763 10917 1863 992 0 9621 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 71052 KiB
Current children cumulated memory: 43668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.9 s]
# the end of solver process 9253 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.87 s, system=25.1456 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.9 s]
/proc/loadavg: 4.09 4.12 4.10 5/262 11525
/proc/meminfo: memFree=112544580/131524600 swapFree=131071996/131071996
[pid=9253] ppid=9250 vsize=71052 memory=43668 CPUtime=3600 cores=0,2
/proc/9253/stat : 9253 (roundingsat) R 9250 9253 7085 0 -1 4194304 12185 0 0 0 357486 2514 0 0 20 0 1 0 1044315 72757248 10917 134679101440 4194304 8255733 140722355234016 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17285120 140722355237726 140722355237988 140722355237988 140722355245001 0
/proc/9253/statm: 17763 10917 1863 992 0 9621 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 71052 KiB
Current children cumulated memory: 43668 KiB
Child status: 0
Real time (s): 3614.9
CPU time (s): 3600.02
CPU user time (s): 3574.87
CPU system time (s): 25.1456
CPU usage (%): 99.5882
Max. virtual memory (cumulated for all children) (KiB): 71480
Max. memory (cumulated for all children) (KiB): 44016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.87
system time used= 25.1456
maximum resident set size= 44048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2670128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 25101
# summary of solver processes directly reported to runsolver:
# pid: 9253
# total CPU time (s): 3600.02
# total CPU user time (s): 3574.87
# total CPU system time (s): 25.1456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99642 second user time and 14.8342 second system time
The end
Begin job on nodeC035 at 2024-07-30 14:59:57 IDJOB=4462921 IDBENCH=148106 IDSOLVER=3089 FILE ID=nodeC035/4462921-1722344397 RUNJOBID= nodeC035-1722340763-7095 SLURM_JOB_ID= 8249008 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.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-4462921-1722344397/watcher-4462921-1722344397 -o /tmp/evaluation-result-4462921-1722344397/solver-4462921-1722344397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7095 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462921-1722344397 --lp-cut-gomory=0 HOME/instance-4462921-1722344397.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc RANDOM SEED=52205761 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3545.823 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2648.584 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3331.553 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1823.837 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.415 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1921.029 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2170.092 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3446.051 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 105437728 kB MemAvailable: 129828944 kB Buffers: 41976 kB Cached: 25159776 kB SwapCached: 0 kB Active: 158440 kB Inactive: 25411344 kB Active(anon): 1480 kB Inactive(anon): 387568 kB Active(file): 156960 kB Inactive(file): 25023776 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11368 kB Writeback: 4 kB AnonPages: 365948 kB Mapped: 88896 kB Shmem: 21336 kB KReclaimable: 100608 kB Slab: 179976 kB SReclaimable: 100608 kB SUnreclaim: 79368 kB KernelStack: 4032 kB PageTables: 9684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 748884 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 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: 242388 kB DirectMap2M: 7919616 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890044 MiB End job on nodeC035 at 2024-07-30 16:00:12