| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | SAT | 1530.12 | 1534.75 |
| Name | PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17bt.opb |
| MD5SUM | 13744d26940a0db30366992d9fdeef8c |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.088516 |
| 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 | 370 |
| Total number of constraints | 809 |
| Number of constraints which are clauses | 558 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 249 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 121 |
| 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 | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 138 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 370 #constraints 809 0.00/0.04 c rational objective 51.4242 1.18/1.29 c #Conflicts: 1000 | #Constraints: 1808 1.18/1.29 c #Conflicts: 2000 | #Constraints: 2808 1.18/1.29 c INPROCESSING 1.18/1.29 c GARBAGE COLLECT 1.18/1.29 c #Conflicts: 3000 | #Constraints: 2782 1.18/1.29 c #Conflicts: 4000 | #Constraints: 3782 1.18/1.29 c INPROCESSING 1.18/1.29 c GARBAGE COLLECT 1.18/1.29 c #Conflicts: 5000 | #Constraints: 3190 1.18/1.29 c #Conflicts: 6000 | #Constraints: 4190 1.18/1.29 c INPROCESSING 1.18/1.29 c GARBAGE COLLECT 1.18/1.29 c rational objective 51.4261 2.67/2.75 c #Conflicts: 7000 | #Constraints: 3190 2.67/2.75 c #Conflicts: 8000 | #Constraints: 4190 2.67/2.75 c #Conflicts: 9000 | #Constraints: 5190 2.67/2.75 c INPROCESSING 2.67/2.75 c GARBAGE COLLECT 2.67/2.75 c #Conflicts: 10000 | #Constraints: 3889 2.67/2.75 c #Conflicts: 11000 | #Constraints: 4889 2.67/2.75 c #Conflicts: 12000 | #Constraints: 5889 2.67/2.75 c INPROCESSING 2.67/2.75 c GARBAGE COLLECT 2.67/2.75 c rational objective 51.438 4.27/4.33 c #Conflicts: 13000 | #Constraints: 4341 4.27/4.33 c #Conflicts: 14000 | #Constraints: 5342 4.27/4.33 c #Conflicts: 15000 | #Constraints: 6343 4.27/4.33 c INPROCESSING 4.27/4.33 c GARBAGE COLLECT 4.27/4.33 c #Conflicts: 16000 | #Constraints: 4568 4.27/4.33 c #Conflicts: 17000 | #Constraints: 5569 4.27/4.33 c #Conflicts: 18000 | #Constraints: 6574 4.27/4.33 c INPROCESSING 4.27/4.33 c GARBAGE COLLECT 4.27/4.33 c rational objective 51.4524 6.07/6.11 c #Conflicts: 19000 | #Constraints: 4587 6.07/6.11 c #Conflicts: 20000 | #Constraints: 5587 6.07/6.11 c #Conflicts: 21000 | #Constraints: 6587 6.07/6.11 c INPROCESSING 6.07/6.11 c GARBAGE COLLECT 6.07/6.11 c #Conflicts: 22000 | #Constraints: 4385 6.07/6.11 c #Conflicts: 23000 | #Constraints: 5385 6.07/6.11 c #Conflicts: 24000 | #Constraints: 6385 6.07/6.11 c #Conflicts: 25000 | #Constraints: 7385 6.07/6.11 c INPROCESSING 6.07/6.11 c GARBAGE COLLECT 6.07/6.11 c rational objective 51.4563 7.27/7.33 c #Conflicts: 26000 | #Constraints: 4987 7.27/7.33 c #Conflicts: 27000 | #Constraints: 5988 7.27/7.33 c #Conflicts: 28000 | #Constraints: 6988 7.27/7.33 c #Conflicts: 29000 | #Constraints: 7989 7.27/7.33 c INPROCESSING 7.27/7.33 c GARBAGE COLLECT 7.27/7.33 c rational objective 51.4563 8.56/8.61 c #Conflicts: 30000 | #Constraints: 5389 8.56/8.61 c #Conflicts: 31000 | #Constraints: 6389 8.56/8.61 c #Conflicts: 32000 | #Constraints: 7389 8.56/8.61 c #Conflicts: 33000 | #Constraints: 8390 8.56/8.61 c INPROCESSING 8.56/8.61 c GARBAGE COLLECT 8.56/8.61 c rational objective 51.4584 10.06/10.19 c #Conflicts: 34000 | #Constraints: 5591 10.06/10.19 c #Conflicts: 35000 | #Constraints: 6591 10.06/10.19 c #Conflicts: 36000 | #Constraints: 7594 10.06/10.19 c #Conflicts: 37000 | #Constraints: 8594 10.06/10.19 c INPROCESSING 10.06/10.19 c GARBAGE COLLECT 10.06/10.19 c rational objective 51.4689 11.66/11.70 c #Conflicts: 38000 | #Constraints: 5590 11.66/11.70 c #Conflicts: 39000 | #Constraints: 6591 11.66/11.70 c #Conflicts: 40000 | #Constraints: 7592 11.66/11.70 c #Conflicts: 41000 | #Constraints: 8592 11.66/11.70 c INPROCESSING 11.66/11.70 c GARBAGE COLLECT 11.66/11.70 c rational objective 51.4695 13.16/13.25 c #Conflicts: 42000 | #Constraints: 5393 13.16/13.25 c #Conflicts: 43000 | #Constraints: 6393 13.16/13.25 c #Conflicts: 44000 | #Constraints: 7393 13.16/13.25 c #Conflicts: 45000 | #Constraints: 8393 13.16/13.25 c #Conflicts: 46000 | #Constraints: 9393 13.16/13.25 c INPROCESSING 13.16/13.25 c GARBAGE COLLECT 13.16/13.25 c rational objective 51.4696 16.25/16.30 c #Conflicts: 47000 | #Constraints: 5986 16.25/16.30 c #Conflicts: 48000 | #Constraints: 6986 16.25/16.30 c #Conflicts: 49000 | #Constraints: 7986 16.25/16.30 c #Conflicts: 50000 | #Constraints: 8987 16.25/16.30 c #Conflicts: 51000 | #Constraints: 9987 16.25/16.30 c INPROCESSING 16.25/16.30 c GARBAGE COLLECT 16.25/16.30 c #Conflicts: 52000 | #Constraints: 6390 16.25/16.30 c #Conflicts: 53000 | #Constraints: 7390 16.25/16.30 c #Conflicts: 54000 | #Constraints: 8390 16.25/16.30 c #Conflicts: 55000 | #Constraints: 9390 16.25/16.30 c #Conflicts: 56000 | #Constraints: 10390 16.25/16.30 c INPROCESSING 16.25/16.30 c GARBAGE COLLECT 16.25/16.30 c rational objective 51.4753 18.24/18.36 c #Conflicts: 57000 | #Constraints: 6588 18.24/18.36 c #Conflicts: 58000 | #Constraints: 7589 18.24/18.36 c #Conflicts: 59000 | #Constraints: 8590 18.24/18.36 c #Conflicts: 60000 | #Constraints: 9590 18.24/18.36 c #Conflicts: 61000 | #Constraints: 10590 18.24/18.36 c INPROCESSING 18.24/18.36 c GARBAGE COLLECT 18.24/18.36 c rational objective 51.4754 20.44/20.51 c #Conflicts: 62000 | #Constraints: 6589 20.44/20.51 c #Conflicts: 63000 | #Constraints: 7589 20.44/20.51 c #Conflicts: 64000 | #Constraints: 8589 20.44/20.51 c #Conflicts: 65000 | #Constraints: 9589 20.44/20.51 c #Conflicts: 66000 | #Constraints: 10590 20.44/20.51 c INPROCESSING 20.44/20.51 c GARBAGE COLLECT 20.44/20.51 c rational objective 51.4757 22.73/22.82 c #Conflicts: 67000 | #Constraints: 6389 22.73/22.82 c #Conflicts: 68000 | #Constraints: 7389 22.73/22.82 c #Conflicts: 69000 | #Constraints: 8389 22.73/22.82 c #Conflicts: 70000 | #Constraints: 9389 22.73/22.82 c #Conflicts: 71000 | #Constraints: 10389 22.73/22.82 c #Conflicts: 72000 | #Constraints: 11389 22.73/22.82 c INPROCESSING 22.73/22.82 c GARBAGE COLLECT 22.73/22.82 c rational objective 51.4763 24.83/24.92 c #Conflicts: 73000 | #Constraints: 6988 24.83/24.92 c #Conflicts: 74000 | #Constraints: 7988 24.83/24.92 c #Conflicts: 75000 | #Constraints: 8988 24.83/24.92 c #Conflicts: 76000 | #Constraints: 9988 24.83/24.92 c #Conflicts: 77000 | #Constraints: 10990 24.83/24.92 c #Conflicts: 78000 | #Constraints: 11992 24.83/24.92 c INPROCESSING 24.83/24.92 c GARBAGE COLLECT 24.83/24.92 c rational objective 51.477 27.32/27.41 c #Conflicts: 79000 | #Constraints: 7387 27.32/27.41 c #Conflicts: 80000 | #Constraints: 8387 27.32/27.41 c #Conflicts: 81000 | #Constraints: 9387 27.32/27.41 c #Conflicts: 82000 | #Constraints: 10388 27.32/27.41 c #Conflicts: 83000 | #Constraints: 11388 27.32/27.41 c #Conflicts: 84000 | #Constraints: 12388 27.32/27.41 c INPROCESSING 27.32/27.41 c GARBAGE COLLECT 27.32/27.41 c rational objective 51.4772 30.61/30.73 c #Conflicts: 85000 | #Constraints: 7587 30.61/30.73 c #Conflicts: 86000 | #Constraints: 8588 30.61/30.73 c #Conflicts: 87000 | #Constraints: 9588 30.61/30.73 c #Conflicts: 88000 | #Constraints: 10588 30.61/30.73 c #Conflicts: 89000 | #Constraints: 11589 30.61/30.73 c #Conflicts: 90000 | #Constraints: 12590 30.61/30.73 c INPROCESSING 30.61/30.73 c GARBAGE COLLECT 30.61/30.73 c rational objective 51.4788 34.70/34.88 c #Conflicts: 91000 | #Constraints: 7599 34.70/34.88 c #Conflicts: 92000 | #Constraints: 8600 34.70/34.88 c #Conflicts: 93000 | #Constraints: 9600 34.70/34.88 c #Conflicts: 94000 | #Constraints: 10600 34.70/34.88 c #Conflicts: 95000 | #Constraints: 11600 34.70/34.88 c #Conflicts: 96000 | #Constraints: 12600 34.70/34.88 c INPROCESSING 34.70/34.88 c GARBAGE COLLECT 34.70/34.88 c rational objective 51.4788 38.09/38.23 c #Conflicts: 97000 | #Constraints: 7410 38.09/38.23 c #Conflicts: 98000 | #Constraints: 8410 38.09/38.23 c #Conflicts: 99000 | #Constraints: 9410 38.09/38.23 c #Conflicts: 100000 | #Constraints: 10412 38.09/38.23 c #Conflicts: 101000 | #Constraints: 11412 38.09/38.23 c #Conflicts: 102000 | #Constraints: 12412 38.09/38.23 c #Conflicts: 103000 | #Constraints: 13412 38.09/38.23 c INPROCESSING 38.09/38.23 c GARBAGE COLLECT 38.09/38.23 c rational objective 51.4875 40.69/40.80 c #Conflicts: 104000 | #Constraints: 8002 40.69/40.80 c #Conflicts: 105000 | #Constraints: 9002 40.69/40.80 c #Conflicts: 106000 | #Constraints: 10003 40.69/40.80 c #Conflicts: 107000 | #Constraints: 11004 40.69/40.80 c #Conflicts: 108000 | #Constraints: 12004 40.69/40.80 c #Conflicts: 109000 | #Constraints: 13005 40.69/40.80 c #Conflicts: 110000 | #Constraints: 14005 40.69/40.80 c INPROCESSING 40.69/40.80 c GARBAGE COLLECT 40.69/40.80 c rational objective 51.4884 43.29/43.49 c #Conflicts: 111000 | #Constraints: 8398 43.29/43.49 c #Conflicts: 112000 | #Constraints: 9398 43.29/43.49 c #Conflicts: 113000 | #Constraints: 10399 43.29/43.49 c #Conflicts: 114000 | #Constraints: 11399 43.29/43.49 c #Conflicts: 115000 | #Constraints: 12400 43.29/43.49 c #Conflicts: 116000 | #Constraints: 13400 43.29/43.49 c #Conflicts: 117000 | #Constraints: 14400 43.29/43.49 c INPROCESSING 43.29/43.49 c GARBAGE COLLECT 43.29/43.49 c rational objective 51.4884 46.47/46.61 c #Conflicts: 118000 | #Constraints: 8594 46.47/46.61 c #Conflicts: 119000 | #Constraints: 9595 46.47/46.61 c #Conflicts: 120000 | #Constraints: 10595 46.47/46.61 c #Conflicts: 121000 | #Constraints: 11595 46.47/46.61 c #Conflicts: 122000 | #Constraints: 12596 46.47/46.61 c #Conflicts: 123000 | #Constraints: 13596 46.47/46.61 c #Conflicts: 124000 | #Constraints: 14597 46.47/46.61 c INPROCESSING 46.47/46.61 c GARBAGE COLLECT 46.47/46.61 c rational objective 51.4886 49.76/49.92 c #Conflicts: 125000 | #Constraints: 8600 49.76/49.92 c #Conflicts: 126000 | #Constraints: 9600 49.76/49.92 c #Conflicts: 127000 | #Constraints: 10601 49.76/49.92 c #Conflicts: 128000 | #Constraints: 11601 49.76/49.92 c #Conflicts: 129000 | #Constraints: 12602 49.76/49.92 c #Conflicts: 130000 | #Constraints: 13602 49.76/49.92 c #Conflicts: 131000 | #Constraints: 14603 49.76/49.92 c INPROCESSING 49.76/49.92 c GARBAGE COLLECT 49.76/49.92 c rational objective 51.4897 52.96/53.12 c #Conflicts: 132000 | #Constraints: 8393 52.96/53.12 c #Conflicts: 133000 | #Constraints: 9393 52.96/53.12 c #Conflicts: 134000 | #Constraints: 10395 52.96/53.12 c #Conflicts: 135000 | #Constraints: 11396 52.96/53.12 c #Conflicts: 136000 | #Constraints: 12397 52.96/53.12 c #Conflicts: 137000 | #Constraints: 13398 52.96/53.12 c #Conflicts: 138000 | #Constraints: 14399 52.96/53.12 c #Conflicts: 139000 | #Constraints: 15399 52.96/53.12 c INPROCESSING 52.96/53.12 c GARBAGE COLLECT 52.96/53.12 c rational objective 51.49 56.15/56.34 c #Conflicts: 140000 | #Constraints: 8993 56.15/56.34 c #Conflicts: 141000 | #Constraints: 9993 56.15/56.34 c #Conflicts: 142000 | #Constraints: 10993 56.15/56.34 c #Conflicts: 143000 | #Constraints: 11993 56.15/56.34 c #Conflicts: 144000 | #Constraints: 12993 56.15/56.34 c #Conflicts: 145000 | #Constraints: 13993 56.15/56.34 c #Conflicts: 146000 | #Constraints: 14993 56.15/56.34 c #Conflicts: 147000 | #Constraints: 15993 56.15/56.34 c INPROCESSING 56.15/56.34 c GARBAGE COLLECT 56.15/56.34 c rational objective 51.49 59.64/59.88 c #Conflicts: 148000 | #Constraints: 9390 59.64/59.88 c #Conflicts: 149000 | #Constraints: 10391 59.64/59.88 c #Conflicts: 150000 | #Constraints: 11391 59.64/59.88 c #Conflicts: 151000 | #Constraints: 12391 59.64/59.88 c #Conflicts: 152000 | #Constraints: 13391 59.64/59.88 c #Conflicts: 153000 | #Constraints: 14392 59.64/59.88 c #Conflicts: 154000 | #Constraints: 15392 59.64/59.88 c #Conflicts: 155000 | #Constraints: 16392 59.64/59.88 c INPROCESSING 59.64/59.88 c GARBAGE COLLECT 59.64/59.88 c rational objective 51.49 63.53/63.70 c #Conflicts: 156000 | #Constraints: 9593 63.53/63.70 c #Conflicts: 157000 | #Constraints: 10593 63.53/63.70 c #Conflicts: 158000 | #Constraints: 11595 63.53/63.70 c #Conflicts: 159000 | #Constraints: 12596 63.53/63.70 c #Conflicts: 160000 | #Constraints: 13597 63.53/63.70 c #Conflicts: 161000 | #Constraints: 14597 63.53/63.70 c #Conflicts: 162000 | #Constraints: 15597 63.53/63.70 c #Conflicts: 163000 | #Constraints: 16597 63.53/63.70 c INPROCESSING 63.53/63.70 c GARBAGE COLLECT 63.53/63.70 c rational objective 51.4909 67.62/67.80 c #Conflicts: 164000 | #Constraints: 9594 67.62/67.80 c #Conflicts: 165000 | #Constraints: 10594 67.62/67.80 c #Conflicts: 166000 | #Constraints: 11597 67.62/67.80 c #Conflicts: 167000 | #Constraints: 12597 67.62/67.80 c #Conflicts: 168000 | #Constraints: 13599 67.62/67.80 c #Conflicts: 169000 | #Constraints: 14600 67.62/67.80 c #Conflicts: 170000 | #Constraints: 15601 67.62/67.80 c #Conflicts: 171000 | #Constraints: 16602 67.62/67.80 c INPROCESSING 67.62/67.80 c GARBAGE COLLECT 67.62/67.80 c rational objective 51.4909 71.61/71.87 c #Conflicts: 172000 | #Constraints: 9394 71.61/71.87 c #Conflicts: 173000 | #Constraints: 10394 71.61/71.87 c #Conflicts: 174000 | #Constraints: 11394 71.61/71.87 c #Conflicts: 175000 | #Constraints: 12394 71.61/71.87 c #Conflicts: 176000 | #Constraints: 13394 71.61/71.87 c #Conflicts: 177000 | #Constraints: 14394 71.61/71.87 c #Conflicts: 178000 | #Constraints: 15396 71.61/71.87 c #Conflicts: 179000 | #Constraints: 16396 71.61/71.87 c #Conflicts: 180000 | #Constraints: 17397 71.61/71.87 c INPROCESSING 71.61/71.87 c GARBAGE COLLECT 71.61/71.87 c rational objective 51.4956 75.71/75.99 c #Conflicts: 181000 | #Constraints: 10000 75.71/75.99 c #Conflicts: 182000 | #Constraints: 11001 75.71/75.99 c #Conflicts: 183000 | #Constraints: 12002 75.71/75.99 c #Conflicts: 184000 | #Constraints: 13002 75.71/75.99 c #Conflicts: 185000 | #Constraints: 14002 75.71/75.99 c #Conflicts: 186000 | #Constraints: 15002 75.71/75.99 c #Conflicts: 187000 | #Constraints: 16002 75.71/75.99 c #Conflicts: 188000 | #Constraints: 17002 75.71/75.99 c #Conflicts: 189000 | #Constraints: 18002 75.71/75.99 c INPROCESSING 75.71/75.99 c GARBAGE COLLECT 75.71/75.99 c rational objective 51.5198 83.09/83.36 c #Conflicts: 190000 | #Constraints: 10406 83.09/83.36 c #Conflicts: 191000 | #Constraints: 11406 83.09/83.36 c #Conflicts: 192000 | #Constraints: 12408 83.09/83.36 c #Conflicts: 193000 | #Constraints: 13408 83.09/83.36 c #Conflicts: 194000 | #Constraints: 14408 83.09/83.36 c #Conflicts: 195000 | #Constraints: 15408 83.09/83.36 c #Conflicts: 196000 | #Constraints: 16409 83.09/83.36 c #Conflicts: 197000 | #Constraints: 17409 83.09/83.36 c #Conflicts: 198000 | #Constraints: 18410 83.09/83.36 c INPROCESSING 83.09/83.36 c GARBAGE COLLECT 83.09/83.36 c rational objective 51.5222 89.97/90.26 c #Conflicts: 199000 | #Constraints: 10615 89.97/90.26 c #Conflicts: 200000 | #Constraints: 11615 89.97/90.26 c #Conflicts: 201000 | #Constraints: 12615 89.97/90.26 c #Conflicts: 202000 | #Constraints: 13615 89.97/90.26 c #Conflicts: 203000 | #Constraints: 14615 89.97/90.26 c #Conflicts: 204000 | #Constraints: 15615 89.97/90.26 c #Conflicts: 205000 | #Constraints: 16615 89.97/90.26 c #Conflicts: 206000 | #Constraints: 17615 89.97/90.26 c #Conflicts: 207000 | #Constraints: 18615 89.97/90.26 c INPROCESSING 89.97/90.26 c GARBAGE COLLECT 89.97/90.26 c rational objective 51.5224 95.35/95.60 c #Conflicts: 208000 | #Constraints: 10616 95.35/95.60 c #Conflicts: 209000 | #Constraints: 11616 95.35/95.60 c #Conflicts: 210000 | #Constraints: 12616 95.35/95.60 c #Conflicts: 211000 | #Constraints: 13616 95.35/95.60 c #Conflicts: 212000 | #Constraints: 14617 95.35/95.60 c #Conflicts: 213000 | #Constraints: 15617 95.35/95.60 c #Conflicts: 214000 | #Constraints: 16618 95.35/95.60 c #Conflicts: 215000 | #Constraints: 17618 95.35/95.60 c #Conflicts: 216000 | #Constraints: 18618 95.35/95.60 c INPROCESSING 95.35/95.60 c GARBAGE COLLECT 95.35/95.60 c rational objective 51.5255 101.84/102.14 c #Conflicts: 217000 | #Constraints: 10407 101.84/102.14 c #Conflicts: 218000 | #Constraints: 11407 101.84/102.14 c #Conflicts: 219000 | #Constraints: 12407 101.84/102.14 c #Conflicts: 220000 | #Constraints: 13407 101.84/102.14 c #Conflicts: 221000 | #Constraints: 14407 101.84/102.14 c #Conflicts: 222000 | #Constraints: 15407 101.84/102.14 c #Conflicts: 223000 | #Constraints: 16408 101.84/102.14 c #Conflicts: 224000 | #Constraints: 17408 101.84/102.14 c #Conflicts: 225000 | #Constraints: 18409 101.84/102.14 c #Conflicts: 226000 | #Constraints: 19409 101.84/102.14 c INPROCESSING 101.84/102.14 c GARBAGE COLLECT 101.84/102.14 c rational objective 51.5269 107.03/107.39 c #Conflicts: 227000 | #Constraints: 11004 107.03/107.39 c #Conflicts: 228000 | #Constraints: 12005 107.03/107.39 c #Conflicts: 229000 | #Constraints: 13005 107.03/107.39 c #Conflicts: 230000 | #Constraints: 14005 107.03/107.39 c #Conflicts: 231000 | #Constraints: 15005 107.03/107.39 c #Conflicts: 232000 | #Constraints: 16006 107.03/107.39 c #Conflicts: 233000 | #Constraints: 17007 107.03/107.39 c #Conflicts: 234000 | #Constraints: 18008 107.03/107.39 c #Conflicts: 235000 | #Constraints: 19008 107.03/107.39 c #Conflicts: 236000 | #Constraints: 20008 107.03/107.39 c INPROCESSING 107.03/107.39 c GARBAGE COLLECT 107.03/107.39 c rational objective 51.5269 112.11/112.42 c #Conflicts: 237000 | #Constraints: 11404 112.11/112.42 c #Conflicts: 238000 | #Constraints: 12405 112.11/112.42 c #Conflicts: 239000 | #Constraints: 13405 112.11/112.42 c #Conflicts: 240000 | #Constraints: 14406 112.11/112.42 c #Conflicts: 241000 | #Constraints: 15406 112.11/112.42 c #Conflicts: 242000 | #Constraints: 16406 112.11/112.42 c #Conflicts: 243000 | #Constraints: 17406 112.11/112.42 c #Conflicts: 244000 | #Constraints: 18407 112.11/112.42 c #Conflicts: 245000 | #Constraints: 19407 112.11/112.42 c #Conflicts: 246000 | #Constraints: 20407 112.11/112.42 c INPROCESSING 112.11/112.42 c GARBAGE COLLECT 112.11/112.42 c rational objective 51.5269 117.50/117.86 c #Conflicts: 247000 | #Constraints: 11601 117.50/117.86 c #Conflicts: 248000 | #Constraints: 12603 117.50/117.86 c #Conflicts: 249000 | #Constraints: 13604 117.50/117.86 c #Conflicts: 250000 | #Constraints: 14604 117.50/117.86 c #Conflicts: 251000 | #Constraints: 15605 117.50/117.86 c #Conflicts: 252000 | #Constraints: 16605 117.50/117.86 c #Conflicts: 253000 | #Constraints: 17605 117.50/117.86 c #Conflicts: 254000 | #Constraints: 18605 117.50/117.86 c #Conflicts: 255000 | #Constraints: 19605 117.50/117.86 c #Conflicts: 256000 | #Constraints: 20605 117.50/117.86 c INPROCESSING 117.50/117.86 c GARBAGE COLLECT 117.50/117.86 c rational objective 51.5386 122.79/123.13 c #Conflicts: 257000 | #Constraints: 11603 122.79/123.13 c #Conflicts: 258000 | #Constraints: 12603 122.79/123.13 c #Conflicts: 259000 | #Constraints: 13603 122.79/123.13 c #Conflicts: 260000 | #Constraints: 14603 122.79/123.13 c #Conflicts: 261000 | #Constraints: 15603 122.79/123.13 c #Conflicts: 262000 | #Constraints: 16603 122.79/123.13 c #Conflicts: 263000 | #Constraints: 17604 122.79/123.13 c #Conflicts: 264000 | #Constraints: 18604 122.79/123.13 c #Conflicts: 265000 | #Constraints: 19604 122.79/123.13 c #Conflicts: 266000 | #Constraints: 20605 122.79/123.13 c INPROCESSING 122.79/123.13 c GARBAGE COLLECT 122.79/123.13 c rational objective 51.5393 127.78/128.19 c #Conflicts: 267000 | #Constraints: 11401 127.78/128.19 c #Conflicts: 268000 | #Constraints: 12401 127.78/128.19 c #Conflicts: 269000 | #Constraints: 13402 127.78/128.19 c #Conflicts: 270000 | #Constraints: 14402 127.78/128.19 c #Conflicts: 271000 | #Constraints: 15403 127.78/128.19 c #Conflicts: 272000 | #Constraints: 16403 127.78/128.19 c #Conflicts: 273000 | #Constraints: 17403 127.78/128.19 c #Conflicts: 274000 | #Constraints: 18405 127.78/128.19 c #Conflicts: 275000 | #Constraints: 19405 127.78/128.19 c #Conflicts: 276000 | #Constraints: 20406 127.78/128.19 c #Conflicts: 277000 | #Constraints: 21406 127.78/128.19 c INPROCESSING 127.78/128.19 c GARBAGE COLLECT 127.78/128.19 c rational objective 51.5393 133.16/133.58 c #Conflicts: 278000 | #Constraints: 12000 133.16/133.58 c #Conflicts: 279000 | #Constraints: 13000 133.16/133.58 c #Conflicts: 280000 | #Constraints: 14000 133.16/133.58 c #Conflicts: 281000 | #Constraints: 15000 133.16/133.58 c #Conflicts: 282000 | #Constraints: 16000 133.16/133.58 c #Conflicts: 283000 | #Constraints: 17000 133.16/133.58 c #Conflicts: 284000 | #Constraints: 18000 133.16/133.58 c #Conflicts: 285000 | #Constraints: 19001 133.16/133.58 c #Conflicts: 286000 | #Constraints: 20001 133.16/133.58 c #Conflicts: 287000 | #Constraints: 21001 133.16/133.58 c #Conflicts: 288000 | #Constraints: 22003 133.16/133.58 c INPROCESSING 133.16/133.58 c GARBAGE COLLECT 133.16/133.58 c rational objective 51.5437 139.15/139.51 c #Conflicts: 289000 | #Constraints: 12404 139.15/139.51 c #Conflicts: 290000 | #Constraints: 13405 139.15/139.51 c #Conflicts: 291000 | #Constraints: 14406 139.15/139.51 c #Conflicts: 292000 | #Constraints: 15406 139.15/139.51 c #Conflicts: 293000 | #Constraints: 16407 139.15/139.51 c #Conflicts: 294000 | #Constraints: 17407 139.15/139.51 c #Conflicts: 295000 | #Constraints: 18407 139.15/139.51 c #Conflicts: 296000 | #Constraints: 19407 139.15/139.51 c #Conflicts: 297000 | #Constraints: 20407 139.15/139.51 c #Conflicts: 298000 | #Constraints: 21407 139.15/139.51 c #Conflicts: 299000 | #Constraints: 22407 139.15/139.51 c INPROCESSING 139.15/139.51 c GARBAGE COLLECT 139.15/139.51 c rational objective 51.5437 145.73/146.12 c #Conflicts: 300000 | #Constraints: 12600 145.73/146.12 c #Conflicts: 301000 | #Constraints: 13600 145.73/146.12 c #Conflicts: 302000 | #Constraints: 14603 145.73/146.12 c #Conflicts: 303000 | #Constraints: 15603 145.73/146.12 c #Conflicts: 304000 | #Constraints: 16605 145.73/146.12 c #Conflicts: 305000 | #Constraints: 17605 145.73/146.12 c #Conflicts: 306000 | #Constraints: 18605 145.73/146.12 c #Conflicts: 307000 | #Constraints: 19606 145.73/146.12 c #Conflicts: 308000 | #Constraints: 20607 145.73/146.12 c #Conflicts: 309000 | #Constraints: 21607 145.73/146.12 c #Conflicts: 310000 | #Constraints: 22607 145.73/146.12 c INPROCESSING 145.73/146.12 c GARBAGE COLLECT 145.73/146.12 c rational objective 51.5437 152.02/152.44 c #Conflicts: 311000 | #Constraints: 12602 152.02/152.44 c #Conflicts: 312000 | #Constraints: 13602 152.02/152.44 c #Conflicts: 313000 | #Constraints: 14602 152.02/152.44 c #Conflicts: 314000 | #Constraints: 15602 152.02/152.44 c #Conflicts: 315000 | #Constraints: 16604 152.02/152.44 c #Conflicts: 316000 | #Constraints: 17605 152.02/152.44 c #Conflicts: 317000 | #Constraints: 18606 152.02/152.44 c #Conflicts: 318000 | #Constraints: 19609 152.02/152.44 c #Conflicts: 319000 | #Constraints: 20610 152.02/152.44 c #Conflicts: 320000 | #Constraints: 21610 152.02/152.44 c #Conflicts: 321000 | #Constraints: 22610 152.02/152.44 c INPROCESSING 152.02/152.44 c GARBAGE COLLECT 152.02/152.44 c rational objective 51.5437 163.59/164.07 c #Conflicts: 322000 | #Constraints: 12403 163.59/164.07 c #Conflicts: 323000 | #Constraints: 13404 163.59/164.07 c #Conflicts: 324000 | #Constraints: 14404 163.59/164.07 c #Conflicts: 325000 | #Constraints: 15404 163.59/164.07 c #Conflicts: 326000 | #Constraints: 16404 163.59/164.07 c #Conflicts: 327000 | #Constraints: 17405 163.59/164.07 c #Conflicts: 328000 | #Constraints: 18406 163.59/164.07 c #Conflicts: 329000 | #Constraints: 19407 163.59/164.07 c #Conflicts: 330000 | #Constraints: 20407 163.59/164.07 c #Conflicts: 331000 | #Constraints: 21407 163.59/164.07 c #Conflicts: 332000 | #Constraints: 22407 163.59/164.07 c #Conflicts: 333000 | #Constraints: 23407 163.59/164.07 c INPROCESSING 163.59/164.07 c GARBAGE COLLECT 163.59/164.07 c rational objective 51.5437 170.67/171.15 c #Conflicts: 334000 | #Constraints: 13012 170.67/171.15 c #Conflicts: 335000 | #Constraints: 14012 170.67/171.15 c #Conflicts: 336000 | #Constraints: 15013 170.67/171.15 c #Conflicts: 337000 | #Constraints: 16013 170.67/171.15 c #Conflicts: 338000 | #Constraints: 17013 170.67/171.15 c #Conflicts: 339000 | #Constraints: 18013 170.67/171.15 c #Conflicts: 340000 | #Constraints: 19013 170.67/171.15 c #Conflicts: 341000 | #Constraints: 20013 170.67/171.15 c #Conflicts: 342000 | #Constraints: 21014 170.67/171.15 c #Conflicts: 343000 | #Constraints: 22014 170.67/171.15 c #Conflicts: 344000 | #Constraints: 23015 170.67/171.15 c #Conflicts: 345000 | #Constraints: 24015 170.67/171.15 c INPROCESSING 170.67/171.15 c GARBAGE COLLECT 170.67/171.15 c rational objective 51.5437 177.95/178.41 c #Conflicts: 346000 | #Constraints: 13405 177.95/178.41 c #Conflicts: 347000 | #Constraints: 14406 177.95/178.41 c #Conflicts: 348000 | #Constraints: 15407 177.95/178.41 c #Conflicts: 349000 | #Constraints: 16407 177.95/178.41 c #Conflicts: 350000 | #Constraints: 17407 177.95/178.41 c #Conflicts: 351000 | #Constraints: 18408 177.95/178.41 c #Conflicts: 352000 | #Constraints: 19408 177.95/178.41 c #Conflicts: 353000 | #Constraints: 20408 177.95/178.41 c #Conflicts: 354000 | #Constraints: 21408 177.95/178.41 c #Conflicts: 355000 | #Constraints: 22408 177.95/178.41 c #Conflicts: 356000 | #Constraints: 23408 177.95/178.41 c #Conflicts: 357000 | #Constraints: 24408 177.95/178.41 c INPROCESSING 177.95/178.41 c GARBAGE COLLECT 177.95/178.41 c rational objective 51.5437 184.83/185.38 c #Conflicts: 358000 | #Constraints: 13606 184.83/185.38 c #Conflicts: 359000 | #Constraints: 14606 184.83/185.38 c #Conflicts: 360000 | #Constraints: 15606 184.83/185.38 c #Conflicts: 361000 | #Constraints: 16607 184.83/185.38 c #Conflicts: 362000 | #Constraints: 17608 184.83/185.38 c #Conflicts: 363000 | #Constraints: 18608 184.83/185.38 c #Conflicts: 364000 | #Constraints: 19608 184.83/185.38 c #Conflicts: 365000 | #Constraints: 20609 184.83/185.38 c #Conflicts: 366000 | #Constraints: 21609 184.83/185.38 c #Conflicts: 367000 | #Constraints: 22609 184.83/185.38 c #Conflicts: 368000 | #Constraints: 23609 184.83/185.38 c #Conflicts: 369000 | #Constraints: 24609 184.83/185.38 c INPROCESSING 184.83/185.38 c GARBAGE COLLECT 184.83/185.38 c rational objective 51.5437 192.71/193.27 c #Conflicts: 370000 | #Constraints: 13602 192.71/193.27 c #Conflicts: 371000 | #Constraints: 14604 192.71/193.27 c #Conflicts: 372000 | #Constraints: 15605 192.71/193.27 c #Conflicts: 373000 | #Constraints: 16607 192.71/193.27 c #Conflicts: 374000 | #Constraints: 17607 192.71/193.27 c #Conflicts: 375000 | #Constraints: 18607 192.71/193.27 c #Conflicts: 376000 | #Constraints: 19607 192.71/193.27 c #Conflicts: 377000 | #Constraints: 20608 192.71/193.27 c #Conflicts: 378000 | #Constraints: 21610 192.71/193.27 c #Conflicts: 379000 | #Constraints: 22611 192.71/193.27 c #Conflicts: 380000 | #Constraints: 23611 192.71/193.27 c #Conflicts: 381000 | #Constraints: 24611 192.71/193.27 c INPROCESSING 192.71/193.27 c GARBAGE COLLECT 192.71/193.27 c rational objective 51.5437 200.19/200.77 c #Conflicts: 382000 | #Constraints: 13404 200.19/200.77 c #Conflicts: 383000 | #Constraints: 14405 200.19/200.77 c #Conflicts: 384000 | #Constraints: 15406 200.19/200.77 c #Conflicts: 385000 | #Constraints: 16406 200.19/200.77 c #Conflicts: 386000 | #Constraints: 17408 200.19/200.77 c #Conflicts: 387000 | #Constraints: 18408 200.19/200.77 c #Conflicts: 388000 | #Constraints: 19408 200.19/200.77 c #Conflicts: 389000 | #Constraints: 20408 200.19/200.77 c #Conflicts: 390000 | #Constraints: 21410 200.19/200.77 c #Conflicts: 391000 | #Constraints: 22410 200.19/200.77 c #Conflicts: 392000 | #Constraints: 23411 200.19/200.77 c #Conflicts: 393000 | #Constraints: 24413 200.19/200.77 c #Conflicts: 394000 | #Constraints: 25413 200.19/200.77 c INPROCESSING 200.19/200.77 c GARBAGE COLLECT 200.19/200.77 c rational objective 51.5437 208.87/209.40 c #Conflicts: 395000 | #Constraints: 13997 208.87/209.40 c #Conflicts: 396000 | #Constraints: 14997 208.87/209.40 c #Conflicts: 397000 | #Constraints: 15997 208.87/209.40 c #Conflicts: 398000 | #Constraints: 16997 208.87/209.40 c #Conflicts: 399000 | #Constraints: 17997 208.87/209.40 c #Conflicts: 400000 | #Constraints: 18997 208.87/209.40 c #Conflicts: 401000 | #Constraints: 19998 208.87/209.40 c #Conflicts: 402000 | #Constraints: 20998 208.87/209.40 c #Conflicts: 403000 | #Constraints: 21998 208.87/209.40 c #Conflicts: 404000 | #Constraints: 22998 208.87/209.40 c #Conflicts: 405000 | #Constraints: 23998 208.87/209.40 c #Conflicts: 406000 | #Constraints: 24998 208.87/209.40 c #Conflicts: 407000 | #Constraints: 25998 208.87/209.40 c INPROCESSING 208.87/209.40 c GARBAGE COLLECT 208.87/209.40 c rational objective 51.5437 217.05/217.66 c #Conflicts: 408000 | #Constraints: 14395 217.05/217.66 c #Conflicts: 409000 | #Constraints: 15395 217.05/217.66 c #Conflicts: 410000 | #Constraints: 16396 217.05/217.66 c #Conflicts: 411000 | #Constraints: 17397 217.05/217.66 c #Conflicts: 412000 | #Constraints: 18398 217.05/217.66 c #Conflicts: 413000 | #Constraints: 19399 217.05/217.66 c #Conflicts: 414000 | #Constraints: 20399 217.05/217.66 c #Conflicts: 415000 | #Constraints: 21399 217.05/217.66 c #Conflicts: 416000 | #Constraints: 22399 217.05/217.66 c #Conflicts: 417000 | #Constraints: 23400 217.05/217.66 c #Conflicts: 418000 | #Constraints: 24400 217.05/217.66 c #Conflicts: 419000 | #Constraints: 25400 217.05/217.66 c #Conflicts: 420000 | #Constraints: 26400 217.05/217.66 c INPROCESSING 217.05/217.66 c GARBAGE COLLECT 217.05/217.66 c rational objective 51.5437 225.03/225.64 c #Conflicts: 421000 | #Constraints: 14601 225.03/225.64 c #Conflicts: 422000 | #Constraints: 15601 225.03/225.64 c #Conflicts: 423000 | #Constraints: 16601 225.03/225.64 c #Conflicts: 424000 | #Constraints: 17601 225.03/225.64 c #Conflicts: 425000 | #Constraints: 18602 225.03/225.64 c #Conflicts: 426000 | #Constraints: 19602 225.03/225.64 c #Conflicts: 427000 | #Constraints: 20602 225.03/225.64 c #Conflicts: 428000 | #Constraints: 21602 225.03/225.64 c #Conflicts: 429000 | #Constraints: 22602 225.03/225.64 c #Conflicts: 430000 | #Constraints: 23602 225.03/225.64 c #Conflicts: 431000 | #Constraints: 24602 225.03/225.64 c #Conflicts: 432000 | #Constraints: 25603 225.03/225.64 c #Conflicts: 433000 | #Constraints: 26604 225.03/225.64 c INPROCESSING 225.03/225.64 c GARBAGE COLLECT 225.03/225.64 c rational objective 51.5437 233.71/234.32 c #Conflicts: 434000 | #Constraints: 14605 233.71/234.32 c #Conflicts: 435000 | #Constraints: 15606 233.71/234.32 c #Conflicts: 436000 | #Constraints: 16606 233.71/234.32 c #Conflicts: 437000 | #Constraints: 17606 233.71/234.32 c #Conflicts: 438000 | #Constraints: 18607 233.71/234.32 c #Conflicts: 439000 | #Constraints: 19608 233.71/234.32 c #Conflicts: 440000 | #Constraints: 20608 233.71/234.32 c #Conflicts: 441000 | #Constraints: 21608 233.71/234.32 c #Conflicts: 442000 | #Constraints: 22609 233.71/234.32 c #Conflicts: 443000 | #Constraints: 23609 233.71/234.32 c #Conflicts: 444000 | #Constraints: 24609 233.71/234.32 c #Conflicts: 445000 | #Constraints: 25609 233.71/234.32 c #Conflicts: 446000 | #Constraints: 26609 233.71/234.32 c INPROCESSING 233.71/234.32 c GARBAGE COLLECT 233.71/234.32 c rational objective 51.5437 252.56/253.28 c #Conflicts: 447000 | #Constraints: 14408 252.56/253.28 c #Conflicts: 448000 | #Constraints: 15408 252.56/253.28 c #Conflicts: 449000 | #Constraints: 16409 252.56/253.28 c #Conflicts: 450000 | #Constraints: 17409 252.56/253.28 c #Conflicts: 451000 | #Constraints: 18409 252.56/253.28 c #Conflicts: 452000 | #Constraints: 19409 252.56/253.28 c #Conflicts: 453000 | #Constraints: 20409 252.56/253.28 c #Conflicts: 454000 | #Constraints: 21410 252.56/253.28 c #Conflicts: 455000 | #Constraints: 22410 252.56/253.28 c #Conflicts: 456000 | #Constraints: 23410 252.56/253.28 c #Conflicts: 457000 | #Constraints: 24410 252.56/253.28 c #Conflicts: 458000 | #Constraints: 25411 252.56/253.28 c #Conflicts: 459000 | #Constraints: 26411 252.56/253.28 c #Conflicts: 460000 | #Constraints: 27412 252.56/253.28 c INPROCESSING 252.56/253.28 c GARBAGE COLLECT 252.56/253.28 c #Conflicts: 461000 | #Constraints: 15015 252.56/253.28 c #Conflicts: 462000 | #Constraints: 16015 252.56/253.28 c #Conflicts: 463000 | #Constraints: 17015 252.56/253.28 c #Conflicts: 464000 | #Constraints: 18017 252.56/253.28 c #Conflicts: 465000 | #Constraints: 19018 252.56/253.28 c #Conflicts: 466000 | #Constraints: 20018 252.56/253.28 c #Conflicts: 467000 | #Constraints: 21019 252.56/253.28 c #Conflicts: 468000 | #Constraints: 22019 252.56/253.28 c #Conflicts: 469000 | #Constraints: 23019 252.56/253.28 c #Conflicts: 470000 | #Constraints: 24019 252.56/253.28 c #Conflicts: 471000 | #Constraints: 25019 252.56/253.28 c #Conflicts: 472000 | #Constraints: 26019 252.56/253.28 c #Conflicts: 473000 | #Constraints: 27019 252.56/253.28 c #Conflicts: 474000 | #Constraints: 28019 252.56/253.28 c INPROCESSING 252.56/253.28 c GARBAGE COLLECT 252.56/253.28 c rational objective 51.5437 264.53/265.20 c #Conflicts: 475000 | #Constraints: 15409 264.53/265.20 c #Conflicts: 476000 | #Constraints: 16409 264.53/265.20 c #Conflicts: 477000 | #Constraints: 17409 264.53/265.20 c #Conflicts: 478000 | #Constraints: 18409 264.53/265.20 c #Conflicts: 479000 | #Constraints: 19410 264.53/265.20 c #Conflicts: 480000 | #Constraints: 20411 264.53/265.20 c #Conflicts: 481000 | #Constraints: 21411 264.53/265.20 c #Conflicts: 482000 | #Constraints: 22411 264.53/265.20 c #Conflicts: 483000 | #Constraints: 23411 264.53/265.20 c #Conflicts: 484000 | #Constraints: 24411 264.53/265.20 c #Conflicts: 485000 | #Constraints: 25413 264.53/265.20 c #Conflicts: 486000 | #Constraints: 26413 264.53/265.20 c #Conflicts: 487000 | #Constraints: 27413 264.53/265.20 c #Conflicts: 488000 | #Constraints: 28413 264.53/265.20 c INPROCESSING 264.53/265.20 c GARBAGE COLLECT 264.53/265.20 c rational objective 51.5437 279.30/280.02 c #Conflicts: 489000 | #Constraints: 15605 279.30/280.02 c #Conflicts: 490000 | #Constraints: 16607 279.30/280.02 c #Conflicts: 491000 | #Constraints: 17607 279.30/280.02 c #Conflicts: 492000 | #Constraints: 18607 279.30/280.02 c #Conflicts: 493000 | #Constraints: 19607 279.30/280.02 c #Conflicts: 494000 | #Constraints: 20608 279.30/280.02 c #Conflicts: 495000 | #Constraints: 21609 279.30/280.02 c #Conflicts: 496000 | #Constraints: 22609 279.30/280.02 c #Conflicts: 497000 | #Constraints: 23609 279.30/280.02 c #Conflicts: 498000 | #Constraints: 24611 279.30/280.02 c #Conflicts: 499000 | #Constraints: 25611 279.30/280.02 c #Conflicts: 500000 | #Constraints: 26612 279.30/280.02 c #Conflicts: 501000 | #Constraints: 27614 279.30/280.02 c #Conflicts: 502000 | #Constraints: 28614 279.30/280.02 c INPROCESSING 279.30/280.02 c GARBAGE COLLECT 279.30/280.02 c rational objective 51.5437 290.76/291.55 c #Conflicts: 503000 | #Constraints: 15624 290.76/291.55 c #Conflicts: 504000 | #Constraints: 16624 290.76/291.55 c #Conflicts: 505000 | #Constraints: 17624 290.76/291.55 c #Conflicts: 506000 | #Constraints: 18626 290.76/291.55 c #Conflicts: 507000 | #Constraints: 19628 290.76/291.55 c #Conflicts: 508000 | #Constraints: 20628 290.76/291.55 c #Conflicts: 509000 | #Constraints: 21628 290.76/291.55 c #Conflicts: 510000 | #Constraints: 22628 290.76/291.55 c #Conflicts: 511000 | #Constraints: 23630 290.76/291.55 c #Conflicts: 512000 | #Constraints: 24630 290.76/291.55 c #Conflicts: 513000 | #Constraints: 25631 290.76/291.55 c #Conflicts: 514000 | #Constraints: 26631 290.76/291.55 c #Conflicts: 515000 | #Constraints: 27631 290.76/291.55 c #Conflicts: 516000 | #Constraints: 28631 290.76/291.55 c INPROCESSING 290.76/291.55 c GARBAGE COLLECT 290.76/291.55 c rational objective 51.5437 301.84/302.61 c #Conflicts: 517000 | #Constraints: 15414 301.84/302.61 c #Conflicts: 518000 | #Constraints: 16415 301.84/302.61 c #Conflicts: 519000 | #Constraints: 17415 301.84/302.61 c #Conflicts: 520000 | #Constraints: 18416 301.84/302.61 c #Conflicts: 521000 | #Constraints: 19416 301.84/302.61 c #Conflicts: 522000 | #Constraints: 20416 301.84/302.61 c #Conflicts: 523000 | #Constraints: 21416 301.84/302.61 c #Conflicts: 524000 | #Constraints: 22416 301.84/302.61 c #Conflicts: 525000 | #Constraints: 23416 301.84/302.61 c #Conflicts: 526000 | #Constraints: 24417 301.84/302.61 c #Conflicts: 527000 | #Constraints: 25418 301.84/302.61 c #Conflicts: 528000 | #Constraints: 26420 301.84/302.61 c #Conflicts: 529000 | #Constraints: 27421 301.84/302.61 c #Conflicts: 530000 | #Constraints: 28421 301.84/302.61 c #Conflicts: 531000 | #Constraints: 29422 301.84/302.61 c INPROCESSING 301.84/302.61 c GARBAGE COLLECT 301.84/302.61 c rational objective 51.5437 312.71/313.59 c #Conflicts: 532000 | #Constraints: 16013 312.71/313.59 c #Conflicts: 533000 | #Constraints: 17013 312.71/313.59 c #Conflicts: 534000 | #Constraints: 18014 312.71/313.59 c #Conflicts: 535000 | #Constraints: 19015 312.71/313.59 c #Conflicts: 536000 | #Constraints: 20015 312.71/313.59 c #Conflicts: 537000 | #Constraints: 21015 312.71/313.59 c #Conflicts: 538000 | #Constraints: 22015 312.71/313.59 c #Conflicts: 539000 | #Constraints: 23015 312.71/313.59 c #Conflicts: 540000 | #Constraints: 24016 312.71/313.59 c #Conflicts: 541000 | #Constraints: 25016 312.71/313.59 c #Conflicts: 542000 | #Constraints: 26016 312.71/313.59 c #Conflicts: 543000 | #Constraints: 27016 312.71/313.59 c #Conflicts: 544000 | #Constraints: 28016 312.71/313.59 c #Conflicts: 545000 | #Constraints: 29016 312.71/313.59 c #Conflicts: 546000 | #Constraints: 30016 312.71/313.59 c INPROCESSING 312.71/313.59 c GARBAGE COLLECT 312.71/313.59 c rational objective 51.5437 326.37/327.23 c #Conflicts: 547000 | #Constraints: 16409 326.37/327.23 c #Conflicts: 548000 | #Constraints: 17409 326.37/327.23 c #Conflicts: 549000 | #Constraints: 18409 326.37/327.23 c #Conflicts: 550000 | #Constraints: 19409 326.37/327.23 c #Conflicts: 551000 | #Constraints: 20409 326.37/327.23 c #Conflicts: 552000 | #Constraints: 21409 326.37/327.23 c #Conflicts: 553000 | #Constraints: 22409 326.37/327.23 c #Conflicts: 554000 | #Constraints: 23410 326.37/327.23 c #Conflicts: 555000 | #Constraints: 24410 326.37/327.23 c #Conflicts: 556000 | #Constraints: 25410 326.37/327.23 c #Conflicts: 557000 | #Constraints: 26410 326.37/327.23 c #Conflicts: 558000 | #Constraints: 27411 326.37/327.23 c #Conflicts: 559000 | #Constraints: 28411 326.37/327.23 c #Conflicts: 560000 | #Constraints: 29411 326.37/327.23 c #Conflicts: 561000 | #Constraints: 30411 326.37/327.23 c INPROCESSING 326.37/327.23 c GARBAGE COLLECT 326.37/327.23 c rational objective 51.5437 337.74/338.62 c #Conflicts: 562000 | #Constraints: 16606 337.74/338.62 c #Conflicts: 563000 | #Constraints: 17606 337.74/338.62 c #Conflicts: 564000 | #Constraints: 18607 337.74/338.62 c #Conflicts: 565000 | #Constraints: 19607 337.74/338.62 c #Conflicts: 566000 | #Constraints: 20607 337.74/338.62 c #Conflicts: 567000 | #Constraints: 21607 337.74/338.62 c #Conflicts: 568000 | #Constraints: 22607 337.74/338.62 c #Conflicts: 569000 | #Constraints: 23607 337.74/338.62 c #Conflicts: 570000 | #Constraints: 24607 337.74/338.62 c #Conflicts: 571000 | #Constraints: 25608 337.74/338.62 c #Conflicts: 572000 | #Constraints: 26608 337.74/338.62 c #Conflicts: 573000 | #Constraints: 27608 337.74/338.62 c #Conflicts: 574000 | #Constraints: 28608 337.74/338.62 c #Conflicts: 575000 | #Constraints: 29608 337.74/338.62 c #Conflicts: 576000 | #Constraints: 30608 337.74/338.62 c INPROCESSING 337.74/338.62 c GARBAGE COLLECT 337.74/338.62 c rational objective 51.5437 350.01/350.96 c #Conflicts: 577000 | #Constraints: 16608 350.01/350.96 c #Conflicts: 578000 | #Constraints: 17608 350.01/350.96 c #Conflicts: 579000 | #Constraints: 18608 350.01/350.96 c #Conflicts: 580000 | #Constraints: 19609 350.01/350.96 c #Conflicts: 581000 | #Constraints: 20609 350.01/350.96 c #Conflicts: 582000 | #Constraints: 21609 350.01/350.96 c #Conflicts: 583000 | #Constraints: 22610 350.01/350.96 c #Conflicts: 584000 | #Constraints: 23610 350.01/350.96 c #Conflicts: 585000 | #Constraints: 24610 350.01/350.96 c #Conflicts: 586000 | #Constraints: 25612 350.01/350.96 c #Conflicts: 587000 | #Constraints: 26612 350.01/350.96 c #Conflicts: 588000 | #Constraints: 27613 350.01/350.96 c #Conflicts: 589000 | #Constraints: 28614 350.01/350.96 c #Conflicts: 590000 | #Constraints: 29614 350.01/350.96 c #Conflicts: 591000 | #Constraints: 30614 350.01/350.96 c INPROCESSING 350.01/350.96 c GARBAGE COLLECT 350.01/350.96 c rational objective 51.5437 364.08/365.09 c #Conflicts: 592000 | #Constraints: 16415 364.08/365.09 c #Conflicts: 593000 | #Constraints: 17415 364.08/365.09 c #Conflicts: 594000 | #Constraints: 18415 364.08/365.09 c #Conflicts: 595000 | #Constraints: 19417 364.08/365.09 c #Conflicts: 596000 | #Constraints: 20418 364.08/365.09 c #Conflicts: 597000 | #Constraints: 21419 364.08/365.09 c #Conflicts: 598000 | #Constraints: 22419 364.08/365.09 c #Conflicts: 599000 | #Constraints: 23419 364.08/365.09 c #Conflicts: 600000 | #Constraints: 24421 364.08/365.09 c #Conflicts: 601000 | #Constraints: 25421 364.08/365.09 c #Conflicts: 602000 | #Constraints: 26421 364.08/365.09 c #Conflicts: 603000 | #Constraints: 27422 364.08/365.09 c #Conflicts: 604000 | #Constraints: 28422 364.08/365.09 c #Conflicts: 605000 | #Constraints: 29423 364.08/365.09 c #Conflicts: 606000 | #Constraints: 30424 364.08/365.09 c #Conflicts: 607000 | #Constraints: 31425 364.08/365.09 c INPROCESSING 364.08/365.09 c GARBAGE COLLECT 364.08/365.09 c rational objective 51.5437 379.94/380.91 c #Conflicts: 608000 | #Constraints: 17011 379.94/380.91 c #Conflicts: 609000 | #Constraints: 18013 379.94/380.91 c #Conflicts: 610000 | #Constraints: 19015 379.94/380.91 c #Conflicts: 611000 | #Constraints: 20016 379.94/380.91 c #Conflicts: 612000 | #Constraints: 21017 379.94/380.91 c #Conflicts: 613000 | #Constraints: 22018 379.94/380.91 c #Conflicts: 614000 | #Constraints: 23018 379.94/380.91 c #Conflicts: 615000 | #Constraints: 24019 379.94/380.91 c #Conflicts: 616000 | #Constraints: 25019 379.94/380.91 c #Conflicts: 617000 | #Constraints: 26020 379.94/380.91 c #Conflicts: 618000 | #Constraints: 27020 379.94/380.91 c #Conflicts: 619000 | #Constraints: 28020 379.94/380.91 c #Conflicts: 620000 | #Constraints: 29021 379.94/380.91 c #Conflicts: 621000 | #Constraints: 30021 379.94/380.91 c #Conflicts: 622000 | #Constraints: 31021 379.94/380.91 c #Conflicts: 623000 | #Constraints: 32021 379.94/380.91 c INPROCESSING 379.94/380.91 c GARBAGE COLLECT 379.94/380.91 c rational objective 51.5437 393.40/394.42 c #Conflicts: 624000 | #Constraints: 17408 393.40/394.42 c #Conflicts: 625000 | #Constraints: 18408 393.40/394.42 c #Conflicts: 626000 | #Constraints: 19408 393.40/394.42 c #Conflicts: 627000 | #Constraints: 20408 393.40/394.42 c #Conflicts: 628000 | #Constraints: 21408 393.40/394.42 c #Conflicts: 629000 | #Constraints: 22408 393.40/394.42 c #Conflicts: 630000 | #Constraints: 23408 393.40/394.42 c #Conflicts: 631000 | #Constraints: 24408 393.40/394.42 c #Conflicts: 632000 | #Constraints: 25408 393.40/394.42 c #Conflicts: 633000 | #Constraints: 26410 393.40/394.42 c #Conflicts: 634000 | #Constraints: 27411 393.40/394.42 c #Conflicts: 635000 | #Constraints: 28413 393.40/394.42 c #Conflicts: 636000 | #Constraints: 29414 393.40/394.42 c #Conflicts: 637000 | #Constraints: 30415 393.40/394.42 c #Conflicts: 638000 | #Constraints: 31415 393.40/394.42 c #Conflicts: 639000 | #Constraints: 32415 393.40/394.42 c INPROCESSING 393.40/394.42 c GARBAGE COLLECT 393.40/394.42 c rational objective 51.5437 407.37/408.45 c #Conflicts: 640000 | #Constraints: 17605 407.37/408.45 c #Conflicts: 641000 | #Constraints: 18605 407.37/408.45 c #Conflicts: 642000 | #Constraints: 19605 407.37/408.45 c #Conflicts: 643000 | #Constraints: 20606 407.37/408.45 c #Conflicts: 644000 | #Constraints: 21607 407.37/408.45 c #Conflicts: 645000 | #Constraints: 22607 407.37/408.45 c #Conflicts: 646000 | #Constraints: 23607 407.37/408.45 c #Conflicts: 647000 | #Constraints: 24607 407.37/408.45 c #Conflicts: 648000 | #Constraints: 25608 407.37/408.45 c #Conflicts: 649000 | #Constraints: 26608 407.37/408.45 c #Conflicts: 650000 | #Constraints: 27609 407.37/408.45 c #Conflicts: 651000 | #Constraints: 28609 407.37/408.45 c #Conflicts: 652000 | #Constraints: 29609 407.37/408.45 c #Conflicts: 653000 | #Constraints: 30609 407.37/408.45 c #Conflicts: 654000 | #Constraints: 31611 407.37/408.45 c #Conflicts: 655000 | #Constraints: 32613 407.37/408.45 c INPROCESSING 407.37/408.45 c GARBAGE COLLECT 407.37/408.45 c rational objective 51.5437 421.24/422.40 c #Conflicts: 656000 | #Constraints: 17613 421.24/422.40 c #Conflicts: 657000 | #Constraints: 18614 421.24/422.40 c #Conflicts: 658000 | #Constraints: 19614 421.24/422.40 c #Conflicts: 659000 | #Constraints: 20615 421.24/422.40 c #Conflicts: 660000 | #Constraints: 21615 421.24/422.40 c #Conflicts: 661000 | #Constraints: 22616 421.24/422.40 c #Conflicts: 662000 | #Constraints: 23616 421.24/422.40 c #Conflicts: 663000 | #Constraints: 24616 421.24/422.40 c #Conflicts: 664000 | #Constraints: 25616 421.24/422.40 c #Conflicts: 665000 | #Constraints: 26616 421.24/422.40 c #Conflicts: 666000 | #Constraints: 27616 421.24/422.40 c #Conflicts: 667000 | #Constraints: 28616 421.24/422.40 c #Conflicts: 668000 | #Constraints: 29617 421.24/422.40 c #Conflicts: 669000 | #Constraints: 30618 421.24/422.40 c #Conflicts: 670000 | #Constraints: 31618 421.24/422.40 c #Conflicts: 671000 | #Constraints: 32618 421.24/422.40 c INPROCESSING 421.24/422.40 c GARBAGE COLLECT 421.24/422.40 c rational objective 51.5437 433.91/435.09 c #Conflicts: 672000 | #Constraints: 17409 433.91/435.09 c #Conflicts: 673000 | #Constraints: 18409 433.91/435.09 c #Conflicts: 674000 | #Constraints: 19410 433.91/435.09 c #Conflicts: 675000 | #Constraints: 20410 433.91/435.09 c #Conflicts: 676000 | #Constraints: 21411 433.91/435.09 c #Conflicts: 677000 | #Constraints: 22412 433.91/435.09 c #Conflicts: 678000 | #Constraints: 23412 433.91/435.09 c #Conflicts: 679000 | #Constraints: 24412 433.91/435.09 c #Conflicts: 680000 | #Constraints: 25412 433.91/435.09 c #Conflicts: 681000 | #Constraints: 26412 433.91/435.09 c #Conflicts: 682000 | #Constraints: 27412 433.91/435.09 c #Conflicts: 683000 | #Constraints: 28412 433.91/435.09 c #Conflicts: 684000 | #Constraints: 29412 433.91/435.09 c #Conflicts: 685000 | #Constraints: 30412 433.91/435.09 c #Conflicts: 686000 | #Constraints: 31415 433.91/435.09 c #Conflicts: 687000 | #Constraints: 32415 433.91/435.09 c #Conflicts: 688000 | #Constraints: 33415 433.91/435.09 c INPROCESSING 433.91/435.09 c GARBAGE COLLECT 433.91/435.09 c rational objective 51.5437 450.16/451.30 c #Conflicts: 689000 | #Constraints: 18001 450.16/451.30 c #Conflicts: 690000 | #Constraints: 19001 450.16/451.30 c #Conflicts: 691000 | #Constraints: 20002 450.16/451.30 c #Conflicts: 692000 | #Constraints: 21003 450.16/451.30 c #Conflicts: 693000 | #Constraints: 22003 450.16/451.30 c #Conflicts: 694000 | #Constraints: 23003 450.16/451.30 c #Conflicts: 695000 | #Constraints: 24004 450.16/451.30 c #Conflicts: 696000 | #Constraints: 25004 450.16/451.30 c #Conflicts: 697000 | #Constraints: 26004 450.16/451.30 c #Conflicts: 698000 | #Constraints: 27004 450.16/451.30 c #Conflicts: 699000 | #Constraints: 28004 450.16/451.30 c #Conflicts: 700000 | #Constraints: 29004 450.16/451.30 c #Conflicts: 701000 | #Constraints: 30004 450.16/451.30 c #Conflicts: 702000 | #Constraints: 31004 450.16/451.30 c #Conflicts: 703000 | #Constraints: 32004 450.16/451.30 c #Conflicts: 704000 | #Constraints: 33004 450.16/451.30 c #Conflicts: 705000 | #Constraints: 34005 450.16/451.30 c INPROCESSING 450.16/451.30 c GARBAGE COLLECT 450.16/451.30 c rational objective 51.5437 463.42/464.64 c #Conflicts: 706000 | #Constraints: 18405 463.42/464.64 c #Conflicts: 707000 | #Constraints: 19405 463.42/464.64 c #Conflicts: 708000 | #Constraints: 20406 463.42/464.64 c #Conflicts: 709000 | #Constraints: 21406 463.42/464.64 c #Conflicts: 710000 | #Constraints: 22409 463.42/464.64 c #Conflicts: 711000 | #Constraints: 23409 463.42/464.64 c #Conflicts: 712000 | #Constraints: 24409 463.42/464.64 c #Conflicts: 713000 | #Constraints: 25409 463.42/464.64 c #Conflicts: 714000 | #Constraints: 26409 463.42/464.64 c #Conflicts: 715000 | #Constraints: 27410 463.42/464.64 c #Conflicts: 716000 | #Constraints: 28412 463.42/464.64 c #Conflicts: 717000 | #Constraints: 29412 463.42/464.64 c #Conflicts: 718000 | #Constraints: 30412 463.42/464.64 c #Conflicts: 719000 | #Constraints: 31412 463.42/464.64 c #Conflicts: 720000 | #Constraints: 32413 463.42/464.64 c #Conflicts: 721000 | #Constraints: 33413 463.42/464.64 c #Conflicts: 722000 | #Constraints: 34413 463.42/464.64 c INPROCESSING 463.42/464.64 c GARBAGE COLLECT 463.42/464.64 c rational objective 51.589 479.47/480.70 c #Conflicts: 723000 | #Constraints: 18613 479.47/480.70 c #Conflicts: 724000 | #Constraints: 19613 479.47/480.70 c #Conflicts: 725000 | #Constraints: 20616 479.47/480.70 c #Conflicts: 726000 | #Constraints: 21616 479.47/480.70 c #Conflicts: 727000 | #Constraints: 22617 479.47/480.70 c #Conflicts: 728000 | #Constraints: 23617 479.47/480.70 c #Conflicts: 729000 | #Constraints: 24618 479.47/480.70 c #Conflicts: 730000 | #Constraints: 25619 479.47/480.70 c #Conflicts: 731000 | #Constraints: 26620 479.47/480.70 c #Conflicts: 732000 | #Constraints: 27620 479.47/480.70 c #Conflicts: 733000 | #Constraints: 28620 479.47/480.70 c #Conflicts: 734000 | #Constraints: 29621 479.47/480.70 c #Conflicts: 735000 | #Constraints: 30621 479.47/480.70 c #Conflicts: 736000 | #Constraints: 31621 479.47/480.70 c #Conflicts: 737000 | #Constraints: 32621 479.47/480.70 c #Conflicts: 738000 | #Constraints: 33621 479.47/480.70 c #Conflicts: 739000 | #Constraints: 34621 479.47/480.70 c INPROCESSING 479.47/480.70 c GARBAGE COLLECT 479.47/480.70 c rational objective 51.5917 495.52/496.84 c #Conflicts: 740000 | #Constraints: 18613 495.52/496.84 c #Conflicts: 741000 | #Constraints: 19613 495.52/496.84 c #Conflicts: 742000 | #Constraints: 20613 495.52/496.84 c #Conflicts: 743000 | #Constraints: 21613 495.52/496.84 c #Conflicts: 744000 | #Constraints: 22614 495.52/496.84 c #Conflicts: 745000 | #Constraints: 23615 495.52/496.84 c #Conflicts: 746000 | #Constraints: 24616 495.52/496.84 c #Conflicts: 747000 | #Constraints: 25617 495.52/496.84 c #Conflicts: 748000 | #Constraints: 26618 495.52/496.84 c #Conflicts: 749000 | #Constraints: 27619 495.52/496.84 c #Conflicts: 750000 | #Constraints: 28619 495.52/496.84 c #Conflicts: 751000 | #Constraints: 29619 495.52/496.84 c #Conflicts: 752000 | #Constraints: 30619 495.52/496.84 c #Conflicts: 753000 | #Constraints: 31619 495.52/496.84 c #Conflicts: 754000 | #Constraints: 32619 495.52/496.84 c #Conflicts: 755000 | #Constraints: 33619 495.52/496.84 c #Conflicts: 756000 | #Constraints: 34619 495.52/496.84 c INPROCESSING 495.52/496.84 c GARBAGE COLLECT 495.52/496.84 c rational objective 51.5923 509.29/510.60 c #Conflicts: 757000 | #Constraints: 18412 509.29/510.60 c #Conflicts: 758000 | #Constraints: 19412 509.29/510.60 c #Conflicts: 759000 | #Constraints: 20412 509.29/510.60 c #Conflicts: 760000 | #Constraints: 21412 509.29/510.60 c #Conflicts: 761000 | #Constraints: 22412 509.29/510.60 c #Conflicts: 762000 | #Constraints: 23412 509.29/510.60 c #Conflicts: 763000 | #Constraints: 24413 509.29/510.60 c #Conflicts: 764000 | #Constraints: 25413 509.29/510.60 c #Conflicts: 765000 | #Constraints: 26413 509.29/510.60 c #Conflicts: 766000 | #Constraints: 27413 509.29/510.60 c #Conflicts: 767000 | #Constraints: 28413 509.29/510.60 c #Conflicts: 768000 | #Constraints: 29413 509.29/510.60 c #Conflicts: 769000 | #Constraints: 30413 509.29/510.60 c #Conflicts: 770000 | #Constraints: 31413 509.29/510.60 c #Conflicts: 771000 | #Constraints: 32413 509.29/510.60 c #Conflicts: 772000 | #Constraints: 33415 509.29/510.60 c #Conflicts: 773000 | #Constraints: 34415 509.29/510.60 c #Conflicts: 774000 | #Constraints: 35417 509.29/510.60 c INPROCESSING 509.29/510.60 c GARBAGE COLLECT 509.29/510.60 c rational objective 51.5936 527.03/528.43 c #Conflicts: 775000 | #Constraints: 19003 527.03/528.43 c #Conflicts: 776000 | #Constraints: 20003 527.03/528.43 c #Conflicts: 777000 | #Constraints: 21005 527.03/528.43 c #Conflicts: 778000 | #Constraints: 22005 527.03/528.43 c #Conflicts: 779000 | #Constraints: 23006 527.03/528.43 c #Conflicts: 780000 | #Constraints: 24006 527.03/528.43 c #Conflicts: 781000 | #Constraints: 25006 527.03/528.43 c #Conflicts: 782000 | #Constraints: 26006 527.03/528.43 c #Conflicts: 783000 | #Constraints: 27006 527.03/528.43 c #Conflicts: 784000 | #Constraints: 28006 527.03/528.43 c #Conflicts: 785000 | #Constraints: 29006 527.03/528.43 c #Conflicts: 786000 | #Constraints: 30007 527.03/528.43 c #Conflicts: 787000 | #Constraints: 31007 527.03/528.43 c #Conflicts: 788000 | #Constraints: 32008 527.03/528.43 c #Conflicts: 789000 | #Constraints: 33008 527.03/528.43 c #Conflicts: 790000 | #Constraints: 34008 527.03/528.43 c #Conflicts: 791000 | #Constraints: 35008 527.03/528.43 c #Conflicts: 792000 | #Constraints: 36008 527.03/528.43 c INPROCESSING 527.03/528.43 c GARBAGE COLLECT 527.03/528.43 c rational objective 51.598 543.29/544.78 c #Conflicts: 793000 | #Constraints: 19408 543.29/544.78 c #Conflicts: 794000 | #Constraints: 20408 543.29/544.78 c #Conflicts: 795000 | #Constraints: 21408 543.29/544.78 c #Conflicts: 796000 | #Constraints: 22408 543.29/544.78 c #Conflicts: 797000 | #Constraints: 23409 543.29/544.78 c #Conflicts: 798000 | #Constraints: 24409 543.29/544.78 c #Conflicts: 799000 | #Constraints: 25409 543.29/544.78 c #Conflicts: 800000 | #Constraints: 26409 543.29/544.78 c #Conflicts: 801000 | #Constraints: 27409 543.29/544.78 c #Conflicts: 802000 | #Constraints: 28409 543.29/544.78 c #Conflicts: 803000 | #Constraints: 29409 543.29/544.78 c #Conflicts: 804000 | #Constraints: 30409 543.29/544.78 c #Conflicts: 805000 | #Constraints: 31410 543.29/544.78 c #Conflicts: 806000 | #Constraints: 32411 543.29/544.78 c #Conflicts: 807000 | #Constraints: 33413 543.29/544.78 c #Conflicts: 808000 | #Constraints: 34414 543.29/544.78 c #Conflicts: 809000 | #Constraints: 35414 543.29/544.78 c #Conflicts: 810000 | #Constraints: 36416 543.29/544.78 c INPROCESSING 543.29/544.78 c GARBAGE COLLECT 543.29/544.78 c rational objective 51.598 558.84/560.35 c #Conflicts: 811000 | #Constraints: 19613 558.84/560.35 c #Conflicts: 812000 | #Constraints: 20613 558.84/560.35 c #Conflicts: 813000 | #Constraints: 21613 558.84/560.35 c #Conflicts: 814000 | #Constraints: 22613 558.84/560.35 c #Conflicts: 815000 | #Constraints: 23613 558.84/560.35 c #Conflicts: 816000 | #Constraints: 24614 558.84/560.35 c #Conflicts: 817000 | #Constraints: 25614 558.84/560.35 c #Conflicts: 818000 | #Constraints: 26614 558.84/560.35 c #Conflicts: 819000 | #Constraints: 27614 558.84/560.35 c #Conflicts: 820000 | #Constraints: 28614 558.84/560.35 c #Conflicts: 821000 | #Constraints: 29614 558.84/560.35 c #Conflicts: 822000 | #Constraints: 30614 558.84/560.35 c #Conflicts: 823000 | #Constraints: 31614 558.84/560.35 c #Conflicts: 824000 | #Constraints: 32614 558.84/560.35 c #Conflicts: 825000 | #Constraints: 33614 558.84/560.35 c #Conflicts: 826000 | #Constraints: 34614 558.84/560.35 c #Conflicts: 827000 | #Constraints: 35614 558.84/560.35 c #Conflicts: 828000 | #Constraints: 36615 558.84/560.35 c INPROCESSING 558.84/560.35 c GARBAGE COLLECT 558.84/560.35 c rational objective 51.598 581.17/582.72 c #Conflicts: 829000 | #Constraints: 19616 581.17/582.72 c #Conflicts: 830000 | #Constraints: 20617 581.17/582.72 c #Conflicts: 831000 | #Constraints: 21617 581.17/582.72 c #Conflicts: 832000 | #Constraints: 22617 581.17/582.72 c #Conflicts: 833000 | #Constraints: 23617 581.17/582.72 c #Conflicts: 834000 | #Constraints: 24617 581.17/582.72 c #Conflicts: 835000 | #Constraints: 25621 581.17/582.72 c #Conflicts: 836000 | #Constraints: 26623 581.17/582.72 c #Conflicts: 837000 | #Constraints: 27624 581.17/582.72 c #Conflicts: 838000 | #Constraints: 28624 581.17/582.72 c #Conflicts: 839000 | #Constraints: 29625 581.17/582.72 c #Conflicts: 840000 | #Constraints: 30625 581.17/582.72 c #Conflicts: 841000 | #Constraints: 31625 581.17/582.72 c #Conflicts: 842000 | #Constraints: 32625 581.17/582.72 c #Conflicts: 843000 | #Constraints: 33626 581.17/582.72 c #Conflicts: 844000 | #Constraints: 34630 581.17/582.72 c #Conflicts: 845000 | #Constraints: 35630 581.17/582.72 c #Conflicts: 846000 | #Constraints: 36630 581.17/582.72 c INPROCESSING 581.17/582.72 c GARBAGE COLLECT 581.17/582.72 c rational objective 51.598 596.83/598.42 c #Conflicts: 847000 | #Constraints: 19422 596.83/598.42 c #Conflicts: 848000 | #Constraints: 20422 596.83/598.42 c #Conflicts: 849000 | #Constraints: 21422 596.83/598.42 c #Conflicts: 850000 | #Constraints: 22424 596.83/598.42 c #Conflicts: 851000 | #Constraints: 23424 596.83/598.42 c #Conflicts: 852000 | #Constraints: 24424 596.83/598.42 c #Conflicts: 853000 | #Constraints: 25425 596.83/598.42 c #Conflicts: 854000 | #Constraints: 26425 596.83/598.42 c #Conflicts: 855000 | #Constraints: 27425 596.83/598.42 c #Conflicts: 856000 | #Constraints: 28425 596.83/598.42 c #Conflicts: 857000 | #Constraints: 29425 596.83/598.42 c #Conflicts: 858000 | #Constraints: 30425 596.83/598.42 c #Conflicts: 859000 | #Constraints: 31426 596.83/598.42 c #Conflicts: 860000 | #Constraints: 32426 596.83/598.42 c #Conflicts: 861000 | #Constraints: 33427 596.83/598.42 c #Conflicts: 862000 | #Constraints: 34427 596.83/598.42 c #Conflicts: 863000 | #Constraints: 35427 596.83/598.42 c #Conflicts: 864000 | #Constraints: 36427 596.83/598.42 c #Conflicts: 865000 | #Constraints: 37427 596.83/598.42 c INPROCESSING 596.83/598.42 c GARBAGE COLLECT 596.83/598.42 c rational objective 51.598 613.86/615.52 c #Conflicts: 866000 | #Constraints: 20018 613.86/615.52 c #Conflicts: 867000 | #Constraints: 21018 613.86/615.52 c #Conflicts: 868000 | #Constraints: 22019 613.86/615.52 c #Conflicts: 869000 | #Constraints: 23020 613.86/615.52 c #Conflicts: 870000 | #Constraints: 24020 613.86/615.52 c #Conflicts: 871000 | #Constraints: 25020 613.86/615.52 c #Conflicts: 872000 | #Constraints: 26020 613.86/615.52 c #Conflicts: 873000 | #Constraints: 27020 613.86/615.52 c #Conflicts: 874000 | #Constraints: 28020 613.86/615.52 c #Conflicts: 875000 | #Constraints: 29020 613.86/615.52 c #Conflicts: 876000 | #Constraints: 30020 613.86/615.52 c #Conflicts: 877000 | #Constraints: 31020 613.86/615.52 c #Conflicts: 878000 | #Constraints: 32020 613.86/615.52 c #Conflicts: 879000 | #Constraints: 33020 613.86/615.52 c #Conflicts: 880000 | #Constraints: 34020 613.86/615.52 c #Conflicts: 881000 | #Constraints: 35022 613.86/615.52 c #Conflicts: 882000 | #Constraints: 36023 613.86/615.52 c #Conflicts: 883000 | #Constraints: 37023 613.86/615.52 c #Conflicts: 884000 | #Constraints: 38023 613.86/615.52 c INPROCESSING 613.86/615.52 c GARBAGE COLLECT 613.86/615.52 c rational objective 51.598 629.41/631.10 c #Conflicts: 885000 | #Constraints: 20414 629.41/631.10 c #Conflicts: 886000 | #Constraints: 21415 629.41/631.10 c #Conflicts: 887000 | #Constraints: 22416 629.41/631.10 c #Conflicts: 888000 | #Constraints: 23417 629.41/631.10 c #Conflicts: 889000 | #Constraints: 24418 629.41/631.10 c #Conflicts: 890000 | #Constraints: 25419 629.41/631.10 c #Conflicts: 891000 | #Constraints: 26422 629.41/631.10 c #Conflicts: 892000 | #Constraints: 27422 629.41/631.10 c #Conflicts: 893000 | #Constraints: 28422 629.41/631.10 c #Conflicts: 894000 | #Constraints: 29422 629.41/631.10 c #Conflicts: 895000 | #Constraints: 30422 629.41/631.10 c #Conflicts: 896000 | #Constraints: 31422 629.41/631.10 c #Conflicts: 897000 | #Constraints: 32423 629.41/631.10 c #Conflicts: 898000 | #Constraints: 33423 629.41/631.10 c #Conflicts: 899000 | #Constraints: 34424 629.41/631.10 c #Conflicts: 900000 | #Constraints: 35424 629.41/631.10 c #Conflicts: 901000 | #Constraints: 36424 629.41/631.10 c #Conflicts: 902000 | #Constraints: 37424 629.41/631.10 c #Conflicts: 903000 | #Constraints: 38425 629.41/631.10 c INPROCESSING 629.41/631.10 c GARBAGE COLLECT 629.41/631.10 c rational objective 51.598 647.02/648.82 c #Conflicts: 904000 | #Constraints: 20613 647.02/648.82 c #Conflicts: 905000 | #Constraints: 21613 647.02/648.82 c #Conflicts: 906000 | #Constraints: 22613 647.02/648.82 c #Conflicts: 907000 | #Constraints: 23613 647.02/648.82 c #Conflicts: 908000 | #Constraints: 24613 647.02/648.82 c #Conflicts: 909000 | #Constraints: 25613 647.02/648.82 c #Conflicts: 910000 | #Constraints: 26615 647.02/648.82 c #Conflicts: 911000 | #Constraints: 27615 647.02/648.82 c #Conflicts: 912000 | #Constraints: 28616 647.02/648.82 c #Conflicts: 913000 | #Constraints: 29616 647.02/648.82 c #Conflicts: 914000 | #Constraints: 30617 647.02/648.82 c #Conflicts: 915000 | #Constraints: 31617 647.02/648.82 c #Conflicts: 916000 | #Constraints: 32618 647.02/648.82 c #Conflicts: 917000 | #Constraints: 33618 647.02/648.82 c #Conflicts: 918000 | #Constraints: 34618 647.02/648.82 c #Conflicts: 919000 | #Constraints: 35618 647.02/648.82 c #Conflicts: 920000 | #Constraints: 36620 647.02/648.82 c #Conflicts: 921000 | #Constraints: 37620 647.02/648.82 c #Conflicts: 922000 | #Constraints: 38621 647.02/648.82 c INPROCESSING 647.02/648.82 c GARBAGE COLLECT 647.02/648.82 c rational objective 51.598 662.46/664.32 c #Conflicts: 923000 | #Constraints: 20618 662.46/664.32 c #Conflicts: 924000 | #Constraints: 21618 662.46/664.32 c #Conflicts: 925000 | #Constraints: 22618 662.46/664.32 c #Conflicts: 926000 | #Constraints: 23618 662.46/664.32 c #Conflicts: 927000 | #Constraints: 24618 662.46/664.32 c #Conflicts: 928000 | #Constraints: 25618 662.46/664.32 c #Conflicts: 929000 | #Constraints: 26618 662.46/664.32 c #Conflicts: 930000 | #Constraints: 27618 662.46/664.32 c #Conflicts: 931000 | #Constraints: 28620 662.46/664.32 c #Conflicts: 932000 | #Constraints: 29620 662.46/664.32 c #Conflicts: 933000 | #Constraints: 30622 662.46/664.32 c #Conflicts: 934000 | #Constraints: 31622 662.46/664.32 c #Conflicts: 935000 | #Constraints: 32622 662.46/664.32 c #Conflicts: 936000 | #Constraints: 33623 662.46/664.32 c #Conflicts: 937000 | #Constraints: 34624 662.46/664.32 c #Conflicts: 938000 | #Constraints: 35624 662.46/664.32 c #Conflicts: 939000 | #Constraints: 36625 662.46/664.32 c #Conflicts: 940000 | #Constraints: 37625 662.46/664.32 c #Conflicts: 941000 | #Constraints: 38625 662.46/664.32 c INPROCESSING 662.46/664.32 c GARBAGE COLLECT 662.46/664.32 c rational objective 51.598 680.10/682.02 c #Conflicts: 942000 | #Constraints: 20424 680.10/682.02 c #Conflicts: 943000 | #Constraints: 21425 680.10/682.02 c #Conflicts: 944000 | #Constraints: 22425 680.10/682.02 c #Conflicts: 945000 | #Constraints: 23425 680.10/682.02 c #Conflicts: 946000 | #Constraints: 24425 680.10/682.02 c #Conflicts: 947000 | #Constraints: 25425 680.10/682.02 c #Conflicts: 948000 | #Constraints: 26425 680.10/682.02 c #Conflicts: 949000 | #Constraints: 27425 680.10/682.02 c #Conflicts: 950000 | #Constraints: 28426 680.10/682.02 c #Conflicts: 951000 | #Constraints: 29426 680.10/682.02 c #Conflicts: 952000 | #Constraints: 30426 680.10/682.02 c #Conflicts: 953000 | #Constraints: 31426 680.10/682.02 c #Conflicts: 954000 | #Constraints: 32427 680.10/682.02 c #Conflicts: 955000 | #Constraints: 33427 680.10/682.02 c #Conflicts: 956000 | #Constraints: 34427 680.10/682.02 c #Conflicts: 957000 | #Constraints: 35427 680.10/682.02 c #Conflicts: 958000 | #Constraints: 36427 680.10/682.02 c #Conflicts: 959000 | #Constraints: 37427 680.10/682.02 c #Conflicts: 960000 | #Constraints: 38427 680.10/682.02 c #Conflicts: 961000 | #Constraints: 39427 680.10/682.02 c INPROCESSING 680.10/682.02 c GARBAGE COLLECT 680.10/682.02 c rational objective 51.598 709.18/711.29 c #Conflicts: 962000 | #Constraints: 21017 709.18/711.29 c #Conflicts: 963000 | #Constraints: 22017 709.18/711.29 c #Conflicts: 964000 | #Constraints: 23017 709.18/711.29 c #Conflicts: 965000 | #Constraints: 24018 709.18/711.29 c #Conflicts: 966000 | #Constraints: 25018 709.18/711.29 c #Conflicts: 967000 | #Constraints: 26018 709.18/711.29 c #Conflicts: 968000 | #Constraints: 27018 709.18/711.29 c #Conflicts: 969000 | #Constraints: 28018 709.18/711.29 c #Conflicts: 970000 | #Constraints: 29018 709.18/711.29 c #Conflicts: 971000 | #Constraints: 30019 709.18/711.29 c #Conflicts: 972000 | #Constraints: 31019 709.18/711.29 c #Conflicts: 973000 | #Constraints: 32019 709.18/711.29 c #Conflicts: 974000 | #Constraints: 33020 709.18/711.29 c #Conflicts: 975000 | #Constraints: 34021 709.18/711.29 c #Conflicts: 976000 | #Constraints: 35021 709.18/711.29 c #Conflicts: 977000 | #Constraints: 36021 709.18/711.29 c #Conflicts: 978000 | #Constraints: 37022 709.18/711.29 c #Conflicts: 979000 | #Constraints: 38022 709.18/711.29 c #Conflicts: 980000 | #Constraints: 39022 709.18/711.29 c #Conflicts: 981000 | #Constraints: 40022 709.18/711.29 c INPROCESSING 709.18/711.29 c GARBAGE COLLECT 709.18/711.29 c rational objective 51.598 738.16/740.35 c #Conflicts: 982000 | #Constraints: 21413 738.16/740.35 c #Conflicts: 983000 | #Constraints: 22413 738.16/740.35 c #Conflicts: 984000 | #Constraints: 23413 738.16/740.35 c #Conflicts: 985000 | #Constraints: 24413 738.16/740.35 c #Conflicts: 986000 | #Constraints: 25413 738.16/740.35 c #Conflicts: 987000 | #Constraints: 26415 738.16/740.35 c #Conflicts: 988000 | #Constraints: 27415 738.16/740.35 c #Conflicts: 989000 | #Constraints: 28415 738.16/740.35 c #Conflicts: 990000 | #Constraints: 29415 738.16/740.35 c #Conflicts: 991000 | #Constraints: 30415 738.16/740.35 c #Conflicts: 992000 | #Constraints: 31415 738.16/740.35 c #Conflicts: 993000 | #Constraints: 32415 738.16/740.35 c #Conflicts: 994000 | #Constraints: 33415 738.16/740.35 c #Conflicts: 995000 | #Constraints: 34415 738.16/740.35 c #Conflicts: 996000 | #Constraints: 35417 738.16/740.35 c #Conflicts: 997000 | #Constraints: 36417 738.16/740.35 c #Conflicts: 998000 | #Constraints: 37417 738.16/740.35 c #Conflicts: 999000 | #Constraints: 38417 738.16/740.35 c #Conflicts: 1000000 | #Constraints: 39417 738.16/740.35 c #Conflicts: 1001000 | #Constraints: 40418 738.16/740.35 c INPROCESSING 738.16/740.35 c GARBAGE COLLECT 738.16/740.35 c rational objective 51.598 761.68/763.96 c #Conflicts: 1002000 | #Constraints: 21618 761.68/763.96 c #Conflicts: 1003000 | #Constraints: 22619 761.68/763.96 c #Conflicts: 1004000 | #Constraints: 23619 761.68/763.96 c #Conflicts: 1005000 | #Constraints: 24620 761.68/763.96 c #Conflicts: 1006000 | #Constraints: 25620 761.68/763.96 c #Conflicts: 1007000 | #Constraints: 26620 761.68/763.96 c #Conflicts: 1008000 | #Constraints: 27621 761.68/763.96 c #Conflicts: 1009000 | #Constraints: 28622 761.68/763.96 c #Conflicts: 1010000 | #Constraints: 29622 761.68/763.96 c #Conflicts: 1011000 | #Constraints: 30622 761.68/763.96 c #Conflicts: 1012000 | #Constraints: 31623 761.68/763.96 c #Conflicts: 1013000 | #Constraints: 32623 761.68/763.96 c #Conflicts: 1014000 | #Constraints: 33624 761.68/763.96 c #Conflicts: 1015000 | #Constraints: 34625 761.68/763.96 c #Conflicts: 1016000 | #Constraints: 35625 761.68/763.96 c #Conflicts: 1017000 | #Constraints: 36625 761.68/763.96 c #Conflicts: 1018000 | #Constraints: 37625 761.68/763.96 c #Conflicts: 1019000 | #Constraints: 38625 761.68/763.96 c #Conflicts: 1020000 | #Constraints: 39626 761.68/763.96 c #Conflicts: 1021000 | #Constraints: 40626 761.68/763.96 c INPROCESSING 761.68/763.96 c GARBAGE COLLECT 761.68/763.96 c rational objective 51.598 792.13/794.56 c #Conflicts: 1022000 | #Constraints: 21620 792.13/794.56 c #Conflicts: 1023000 | #Constraints: 22620 792.13/794.56 c #Conflicts: 1024000 | #Constraints: 23620 792.13/794.56 c #Conflicts: 1025000 | #Constraints: 24620 792.13/794.56 c #Conflicts: 1026000 | #Constraints: 25622 792.13/794.56 c #Conflicts: 1027000 | #Constraints: 26623 792.13/794.56 c #Conflicts: 1028000 | #Constraints: 27623 792.13/794.56 c #Conflicts: 1029000 | #Constraints: 28623 792.13/794.56 c #Conflicts: 1030000 | #Constraints: 29623 792.13/794.56 c #Conflicts: 1031000 | #Constraints: 30625 792.13/794.56 c #Conflicts: 1032000 | #Constraints: 31625 792.13/794.56 c #Conflicts: 1033000 | #Constraints: 32625 792.13/794.56 c #Conflicts: 1034000 | #Constraints: 33625 792.13/794.56 c #Conflicts: 1035000 | #Constraints: 34625 792.13/794.56 c #Conflicts: 1036000 | #Constraints: 35625 792.13/794.56 c #Conflicts: 1037000 | #Constraints: 36625 792.13/794.56 c #Conflicts: 1038000 | #Constraints: 37626 792.13/794.56 c #Conflicts: 1039000 | #Constraints: 38627 792.13/794.56 c #Conflicts: 1040000 | #Constraints: 39627 792.13/794.56 c #Conflicts: 1041000 | #Constraints: 40627 792.13/794.56 c INPROCESSING 792.13/794.56 c GARBAGE COLLECT 792.13/794.56 c rational objective 51.598 821.73/824.25 c #Conflicts: 1042000 | #Constraints: 21418 821.73/824.25 c #Conflicts: 1043000 | #Constraints: 22418 821.73/824.25 c #Conflicts: 1044000 | #Constraints: 23418 821.73/824.25 c #Conflicts: 1045000 | #Constraints: 24419 821.73/824.25 c #Conflicts: 1046000 | #Constraints: 25419 821.73/824.25 c #Conflicts: 1047000 | #Constraints: 26419 821.73/824.25 c #Conflicts: 1048000 | #Constraints: 27419 821.73/824.25 c #Conflicts: 1049000 | #Constraints: 28420 821.73/824.25 c #Conflicts: 1050000 | #Constraints: 29420 821.73/824.25 c #Conflicts: 1051000 | #Constraints: 30420 821.73/824.25 c #Conflicts: 1052000 | #Constraints: 31420 821.73/824.25 c #Conflicts: 1053000 | #Constraints: 32420 821.73/824.25 c #Conflicts: 1054000 | #Constraints: 33420 821.73/824.25 c #Conflicts: 1055000 | #Constraints: 34420 821.73/824.25 c #Conflicts: 1056000 | #Constraints: 35420 821.73/824.25 c #Conflicts: 1057000 | #Constraints: 36420 821.73/824.25 c #Conflicts: 1058000 | #Constraints: 37421 821.73/824.25 c #Conflicts: 1059000 | #Constraints: 38422 821.73/824.25 c #Conflicts: 1060000 | #Constraints: 39422 821.73/824.25 c #Conflicts: 1061000 | #Constraints: 40422 821.73/824.25 c #Conflicts: 1062000 | #Constraints: 41422 821.73/824.25 c INPROCESSING 821.73/824.25 c GARBAGE COLLECT 821.73/824.25 c rational objective 51.598 856.63/859.29 c #Conflicts: 1063000 | #Constraints: 22021 856.63/859.29 c #Conflicts: 1064000 | #Constraints: 23021 856.63/859.29 c #Conflicts: 1065000 | #Constraints: 24021 856.63/859.29 c #Conflicts: 1066000 | #Constraints: 25021 856.63/859.29 c #Conflicts: 1067000 | #Constraints: 26021 856.63/859.29 c #Conflicts: 1068000 | #Constraints: 27021 856.63/859.29 c #Conflicts: 1069000 | #Constraints: 28021 856.63/859.29 c #Conflicts: 1070000 | #Constraints: 29021 856.63/859.29 c #Conflicts: 1071000 | #Constraints: 30022 856.63/859.29 c #Conflicts: 1072000 | #Constraints: 31022 856.63/859.29 c #Conflicts: 1073000 | #Constraints: 32023 856.63/859.29 c #Conflicts: 1074000 | #Constraints: 33023 856.63/859.29 c #Conflicts: 1075000 | #Constraints: 34023 856.63/859.29 c #Conflicts: 1076000 | #Constraints: 35023 856.63/859.29 c #Conflicts: 1077000 | #Constraints: 36023 856.63/859.29 c #Conflicts: 1078000 | #Constraints: 37023 856.63/859.29 c #Conflicts: 1079000 | #Constraints: 38023 856.63/859.29 c #Conflicts: 1080000 | #Constraints: 39023 856.63/859.29 c #Conflicts: 1081000 | #Constraints: 40023 856.63/859.29 c #Conflicts: 1082000 | #Constraints: 41023 856.63/859.29 c #Conflicts: 1083000 | #Constraints: 42023 856.63/859.29 c INPROCESSING 856.63/859.29 c GARBAGE COLLECT 856.63/859.29 c rational objective 51.598 887.92/890.60 c #Conflicts: 1084000 | #Constraints: 22426 887.92/890.60 c #Conflicts: 1085000 | #Constraints: 23426 887.92/890.60 c #Conflicts: 1086000 | #Constraints: 24427 887.92/890.60 c #Conflicts: 1087000 | #Constraints: 25428 887.92/890.60 c #Conflicts: 1088000 | #Constraints: 26429 887.92/890.60 c #Conflicts: 1089000 | #Constraints: 27429 887.92/890.60 c #Conflicts: 1090000 | #Constraints: 28429 887.92/890.60 c #Conflicts: 1091000 | #Constraints: 29429 887.92/890.60 c #Conflicts: 1092000 | #Constraints: 30429 887.92/890.60 c #Conflicts: 1093000 | #Constraints: 31429 887.92/890.60 c #Conflicts: 1094000 | #Constraints: 32429 887.92/890.60 c #Conflicts: 1095000 | #Constraints: 33429 887.92/890.60 c #Conflicts: 1096000 | #Constraints: 34429 887.92/890.60 c #Conflicts: 1097000 | #Constraints: 35429 887.92/890.60 c #Conflicts: 1098000 | #Constraints: 36429 887.92/890.60 c #Conflicts: 1099000 | #Constraints: 37429 887.92/890.60 c #Conflicts: 1100000 | #Constraints: 38429 887.92/890.60 c #Conflicts: 1101000 | #Constraints: 39429 887.92/890.60 c #Conflicts: 1102000 | #Constraints: 40430 887.92/890.60 c #Conflicts: 1103000 | #Constraints: 41430 887.92/890.60 c #Conflicts: 1104000 | #Constraints: 42430 887.92/890.60 c INPROCESSING 887.92/890.60 c GARBAGE COLLECT 887.92/890.60 c rational objective 51.598 914.54/917.36 c #Conflicts: 1105000 | #Constraints: 22625 914.54/917.36 c #Conflicts: 1106000 | #Constraints: 23625 914.54/917.36 c #Conflicts: 1107000 | #Constraints: 24625 914.54/917.36 c #Conflicts: 1108000 | #Constraints: 25625 914.54/917.36 c #Conflicts: 1109000 | #Constraints: 26627 914.54/917.36 c #Conflicts: 1110000 | #Constraints: 27628 914.54/917.36 c #Conflicts: 1111000 | #Constraints: 28630 914.54/917.36 c #Conflicts: 1112000 | #Constraints: 29630 914.54/917.36 c #Conflicts: 1113000 | #Constraints: 30631 914.54/917.36 c #Conflicts: 1114000 | #Constraints: 31632 914.54/917.36 c #Conflicts: 1115000 | #Constraints: 32632 914.54/917.36 c #Conflicts: 1116000 | #Constraints: 33633 914.54/917.36 c #Conflicts: 1117000 | #Constraints: 34633 914.54/917.36 c #Conflicts: 1118000 | #Constraints: 35633 914.54/917.36 c #Conflicts: 1119000 | #Constraints: 36633 914.54/917.36 c #Conflicts: 1120000 | #Constraints: 37634 914.54/917.36 c #Conflicts: 1121000 | #Constraints: 38634 914.54/917.36 c #Conflicts: 1122000 | #Constraints: 39634 914.54/917.36 c #Conflicts: 1123000 | #Constraints: 40635 914.54/917.36 c #Conflicts: 1124000 | #Constraints: 41635 914.54/917.36 c #Conflicts: 1125000 | #Constraints: 42635 914.54/917.36 c INPROCESSING 914.54/917.36 c GARBAGE COLLECT 914.54/917.36 c rational objective 51.598 935.57/938.49 c #Conflicts: 1126000 | #Constraints: 22624 935.57/938.49 c #Conflicts: 1127000 | #Constraints: 23624 935.57/938.49 c #Conflicts: 1128000 | #Constraints: 24624 935.57/938.49 c #Conflicts: 1129000 | #Constraints: 25624 935.57/938.49 c #Conflicts: 1130000 | #Constraints: 26624 935.57/938.49 c #Conflicts: 1131000 | #Constraints: 27624 935.57/938.49 c #Conflicts: 1132000 | #Constraints: 28624 935.57/938.49 c #Conflicts: 1133000 | #Constraints: 29625 935.57/938.49 c #Conflicts: 1134000 | #Constraints: 30625 935.57/938.49 c #Conflicts: 1135000 | #Constraints: 31625 935.57/938.49 c #Conflicts: 1136000 | #Constraints: 32627 935.57/938.49 c #Conflicts: 1137000 | #Constraints: 33627 935.57/938.49 c #Conflicts: 1138000 | #Constraints: 34627 935.57/938.49 c #Conflicts: 1139000 | #Constraints: 35629 935.57/938.49 c #Conflicts: 1140000 | #Constraints: 36629 935.57/938.49 c #Conflicts: 1141000 | #Constraints: 37629 935.57/938.49 c #Conflicts: 1142000 | #Constraints: 38629 935.57/938.49 c #Conflicts: 1143000 | #Constraints: 39630 935.57/938.49 c #Conflicts: 1144000 | #Constraints: 40631 935.57/938.49 c #Conflicts: 1145000 | #Constraints: 41632 935.57/938.49 c #Conflicts: 1146000 | #Constraints: 42633 935.57/938.49 c INPROCESSING 935.57/938.49 c GARBAGE COLLECT 935.57/938.49 c rational objective 51.598 954.81/957.71 c #Conflicts: 1147000 | #Constraints: 22419 954.81/957.71 c #Conflicts: 1148000 | #Constraints: 23419 954.81/957.71 c #Conflicts: 1149000 | #Constraints: 24419 954.81/957.71 c #Conflicts: 1150000 | #Constraints: 25420 954.81/957.71 c #Conflicts: 1151000 | #Constraints: 26420 954.81/957.71 c #Conflicts: 1152000 | #Constraints: 27420 954.81/957.71 c #Conflicts: 1153000 | #Constraints: 28420 954.81/957.71 c #Conflicts: 1154000 | #Constraints: 29420 954.81/957.71 c #Conflicts: 1155000 | #Constraints: 30420 954.81/957.71 c #Conflicts: 1156000 | #Constraints: 31422 954.81/957.71 c #Conflicts: 1157000 | #Constraints: 32423 954.81/957.71 c #Conflicts: 1158000 | #Constraints: 33424 954.81/957.71 c #Conflicts: 1159000 | #Constraints: 34424 954.81/957.71 c #Conflicts: 1160000 | #Constraints: 35424 954.81/957.71 c #Conflicts: 1161000 | #Constraints: 36425 954.81/957.71 c #Conflicts: 1162000 | #Constraints: 37425 954.81/957.71 c #Conflicts: 1163000 | #Constraints: 38425 954.81/957.71 c #Conflicts: 1164000 | #Constraints: 39425 954.81/957.71 c #Conflicts: 1165000 | #Constraints: 40425 954.81/957.71 c #Conflicts: 1166000 | #Constraints: 41425 954.81/957.71 c #Conflicts: 1167000 | #Constraints: 42425 954.81/957.71 c #Conflicts: 1168000 | #Constraints: 43425 954.81/957.71 c INPROCESSING 954.81/957.71 c GARBAGE COLLECT 954.81/957.71 c rational objective 51.598 977.74/980.77 c #Conflicts: 1169000 | #Constraints: 23012 977.74/980.77 c #Conflicts: 1170000 | #Constraints: 24012 977.74/980.77 c #Conflicts: 1171000 | #Constraints: 25013 977.74/980.77 c #Conflicts: 1172000 | #Constraints: 26014 977.74/980.77 c #Conflicts: 1173000 | #Constraints: 27014 977.74/980.77 c #Conflicts: 1174000 | #Constraints: 28014 977.74/980.77 c #Conflicts: 1175000 | #Constraints: 29014 977.74/980.77 c #Conflicts: 1176000 | #Constraints: 30014 977.74/980.77 c #Conflicts: 1177000 | #Constraints: 31014 977.74/980.77 c #Conflicts: 1178000 | #Constraints: 32015 977.74/980.77 c #Conflicts: 1179000 | #Constraints: 33015 977.74/980.77 c #Conflicts: 1180000 | #Constraints: 34015 977.74/980.77 c #Conflicts: 1181000 | #Constraints: 35016 977.74/980.77 c #Conflicts: 1182000 | #Constraints: 36016 977.74/980.77 c #Conflicts: 1183000 | #Constraints: 37016 977.74/980.77 c #Conflicts: 1184000 | #Constraints: 38016 977.74/980.77 c #Conflicts: 1185000 | #Constraints: 39016 977.74/980.77 c #Conflicts: 1186000 | #Constraints: 40016 977.74/980.77 c #Conflicts: 1187000 | #Constraints: 41016 977.74/980.77 c #Conflicts: 1188000 | #Constraints: 42017 977.74/980.77 c #Conflicts: 1189000 | #Constraints: 43018 977.74/980.77 c #Conflicts: 1190000 | #Constraints: 44018 977.74/980.77 c INPROCESSING 977.74/980.77 c GARBAGE COLLECT 977.74/980.77 c rational objective 51.598 1001.97/1005.04 c #Conflicts: 1191000 | #Constraints: 23412 1001.97/1005.04 c #Conflicts: 1192000 | #Constraints: 24412 1001.97/1005.04 c #Conflicts: 1193000 | #Constraints: 25413 1001.97/1005.04 c #Conflicts: 1194000 | #Constraints: 26413 1001.97/1005.04 c #Conflicts: 1195000 | #Constraints: 27413 1001.97/1005.04 c #Conflicts: 1196000 | #Constraints: 28415 1001.97/1005.04 c #Conflicts: 1197000 | #Constraints: 29416 1001.97/1005.04 c #Conflicts: 1198000 | #Constraints: 30418 1001.97/1005.04 c #Conflicts: 1199000 | #Constraints: 31418 1001.97/1005.04 c #Conflicts: 1200000 | #Constraints: 32420 1001.97/1005.04 c #Conflicts: 1201000 | #Constraints: 33420 1001.97/1005.04 c #Conflicts: 1202000 | #Constraints: 34420 1001.97/1005.04 c #Conflicts: 1203000 | #Constraints: 35420 1001.97/1005.04 c #Conflicts: 1204000 | #Constraints: 36420 1001.97/1005.04 c #Conflicts: 1205000 | #Constraints: 37420 1001.97/1005.04 c #Conflicts: 1206000 | #Constraints: 38420 1001.97/1005.04 c #Conflicts: 1207000 | #Constraints: 39420 1001.97/1005.04 c #Conflicts: 1208000 | #Constraints: 40420 1001.97/1005.04 c #Conflicts: 1209000 | #Constraints: 41420 1001.97/1005.04 c #Conflicts: 1210000 | #Constraints: 42420 1001.97/1005.04 c #Conflicts: 1211000 | #Constraints: 43420 1001.97/1005.04 c #Conflicts: 1212000 | #Constraints: 44421 1001.97/1005.04 c INPROCESSING 1001.97/1005.04 c GARBAGE COLLECT 1001.97/1005.04 c rational objective 51.598 1022.81/1025.97 c #Conflicts: 1213000 | #Constraints: 23618 1022.81/1025.97 c #Conflicts: 1214000 | #Constraints: 24618 1022.81/1025.97 c #Conflicts: 1215000 | #Constraints: 25618 1022.81/1025.97 c #Conflicts: 1216000 | #Constraints: 26619 1022.81/1025.97 c #Conflicts: 1217000 | #Constraints: 27619 1022.81/1025.97 c #Conflicts: 1218000 | #Constraints: 28619 1022.81/1025.97 c #Conflicts: 1219000 | #Constraints: 29619 1022.81/1025.97 c #Conflicts: 1220000 | #Constraints: 30619 1022.81/1025.97 c #Conflicts: 1221000 | #Constraints: 31620 1022.81/1025.97 c #Conflicts: 1222000 | #Constraints: 32620 1022.81/1025.97 c #Conflicts: 1223000 | #Constraints: 33620 1022.81/1025.97 c #Conflicts: 1224000 | #Constraints: 34621 1022.81/1025.97 c #Conflicts: 1225000 | #Constraints: 35621 1022.81/1025.97 c #Conflicts: 1226000 | #Constraints: 36621 1022.81/1025.97 c #Conflicts: 1227000 | #Constraints: 37622 1022.81/1025.97 c #Conflicts: 1228000 | #Constraints: 38622 1022.81/1025.97 c #Conflicts: 1229000 | #Constraints: 39623 1022.81/1025.97 c #Conflicts: 1230000 | #Constraints: 40625 1022.81/1025.97 c #Conflicts: 1231000 | #Constraints: 41626 1022.81/1025.97 c #Conflicts: 1232000 | #Constraints: 42626 1022.81/1025.97 c #Conflicts: 1233000 | #Constraints: 43626 1022.81/1025.97 c #Conflicts: 1234000 | #Constraints: 44627 1022.81/1025.97 c INPROCESSING 1022.81/1025.97 c GARBAGE COLLECT 1022.81/1025.97 c rational objective 51.598 1045.64/1048.80 c #Conflicts: 1235000 | #Constraints: 23610 1045.64/1048.80 c #Conflicts: 1236000 | #Constraints: 24610 1045.64/1048.80 c #Conflicts: 1237000 | #Constraints: 25610 1045.64/1048.80 c #Conflicts: 1238000 | #Constraints: 26610 1045.64/1048.80 c #Conflicts: 1239000 | #Constraints: 27610 1045.64/1048.80 c #Conflicts: 1240000 | #Constraints: 28611 1045.64/1048.80 c #Conflicts: 1241000 | #Constraints: 29611 1045.64/1048.80 c #Conflicts: 1242000 | #Constraints: 30612 1045.64/1048.80 c #Conflicts: 1243000 | #Constraints: 31612 1045.64/1048.80 c #Conflicts: 1244000 | #Constraints: 32612 1045.64/1048.80 c #Conflicts: 1245000 | #Constraints: 33612 1045.64/1048.80 c #Conflicts: 1246000 | #Constraints: 34612 1045.64/1048.80 c #Conflicts: 1247000 | #Constraints: 35613 1045.64/1048.80 c #Conflicts: 1248000 | #Constraints: 36613 1045.64/1048.80 c #Conflicts: 1249000 | #Constraints: 37613 1045.64/1048.80 c #Conflicts: 1250000 | #Constraints: 38613 1045.64/1048.80 c #Conflicts: 1251000 | #Constraints: 39613 1045.64/1048.80 c #Conflicts: 1252000 | #Constraints: 40613 1045.64/1048.80 c #Conflicts: 1253000 | #Constraints: 41614 1045.64/1048.80 c #Conflicts: 1254000 | #Constraints: 42614 1045.64/1048.80 c #Conflicts: 1255000 | #Constraints: 43615 1045.64/1048.80 c #Conflicts: 1256000 | #Constraints: 44616 1045.64/1048.80 c INPROCESSING 1045.64/1048.80 c GARBAGE COLLECT 1045.64/1048.80 c rational objective 51.598 1068.97/1072.27 c #Conflicts: 1257000 | #Constraints: 23403 1068.97/1072.27 c #Conflicts: 1258000 | #Constraints: 24403 1068.97/1072.27 c #Conflicts: 1259000 | #Constraints: 25404 1068.97/1072.27 c #Conflicts: 1260000 | #Constraints: 26404 1068.97/1072.27 c #Conflicts: 1261000 | #Constraints: 27405 1068.97/1072.27 c #Conflicts: 1262000 | #Constraints: 28406 1068.97/1072.27 c #Conflicts: 1263000 | #Constraints: 29406 1068.97/1072.27 c #Conflicts: 1264000 | #Constraints: 30408 1068.97/1072.27 c #Conflicts: 1265000 | #Constraints: 31408 1068.97/1072.27 c #Conflicts: 1266000 | #Constraints: 32408 1068.97/1072.27 c #Conflicts: 1267000 | #Constraints: 33409 1068.97/1072.27 c #Conflicts: 1268000 | #Constraints: 34411 1068.97/1072.27 c #Conflicts: 1269000 | #Constraints: 35412 1068.97/1072.27 c #Conflicts: 1270000 | #Constraints: 36413 1068.97/1072.27 c #Conflicts: 1271000 | #Constraints: 37414 1068.97/1072.27 c #Conflicts: 1272000 | #Constraints: 38414 1068.97/1072.27 c #Conflicts: 1273000 | #Constraints: 39416 1068.97/1072.27 c #Conflicts: 1274000 | #Constraints: 40417 1068.97/1072.27 c #Conflicts: 1275000 | #Constraints: 41418 1068.97/1072.27 c #Conflicts: 1276000 | #Constraints: 42419 1068.97/1072.27 c #Conflicts: 1277000 | #Constraints: 43419 1068.97/1072.27 c #Conflicts: 1278000 | #Constraints: 44419 1068.97/1072.27 c #Conflicts: 1279000 | #Constraints: 45420 1068.97/1072.27 c INPROCESSING 1068.97/1072.27 c GARBAGE COLLECT 1068.97/1072.27 c rational objective 51.6027 1091.10/1094.41 c #Conflicts: 1280000 | #Constraints: 24013 1091.10/1094.41 c #Conflicts: 1281000 | #Constraints: 25013 1091.10/1094.41 c #Conflicts: 1282000 | #Constraints: 26014 1091.10/1094.41 c #Conflicts: 1283000 | #Constraints: 27014 1091.10/1094.41 c #Conflicts: 1284000 | #Constraints: 28014 1091.10/1094.41 c #Conflicts: 1285000 | #Constraints: 29015 1091.10/1094.41 c #Conflicts: 1286000 | #Constraints: 30015 1091.10/1094.41 c #Conflicts: 1287000 | #Constraints: 31015 1091.10/1094.41 c #Conflicts: 1288000 | #Constraints: 32016 1091.10/1094.41 c #Conflicts: 1289000 | #Constraints: 33016 1091.10/1094.41 c #Conflicts: 1290000 | #Constraints: 34017 1091.10/1094.41 c #Conflicts: 1291000 | #Constraints: 35017 1091.10/1094.41 c #Conflicts: 1292000 | #Constraints: 36017 1091.10/1094.41 c #Conflicts: 1293000 | #Constraints: 37017 1091.10/1094.41 c #Conflicts: 1294000 | #Constraints: 38017 1091.10/1094.41 c #Conflicts: 1295000 | #Constraints: 39017 1091.10/1094.41 c #Conflicts: 1296000 | #Constraints: 40017 1091.10/1094.41 c #Conflicts: 1297000 | #Constraints: 41018 1091.10/1094.41 c #Conflicts: 1298000 | #Constraints: 42019 1091.10/1094.41 c #Conflicts: 1299000 | #Constraints: 43019 1091.10/1094.41 c #Conflicts: 1300000 | #Constraints: 44019 1091.10/1094.41 c #Conflicts: 1301000 | #Constraints: 45020 1091.10/1094.41 c #Conflicts: 1302000 | #Constraints: 46020 1091.10/1094.41 c INPROCESSING 1091.10/1094.41 c GARBAGE COLLECT 1091.10/1094.41 c rational objective 51.6029 1117.53/1120.91 c #Conflicts: 1303000 | #Constraints: 24410 1117.53/1120.91 c #Conflicts: 1304000 | #Constraints: 25410 1117.53/1120.91 c #Conflicts: 1305000 | #Constraints: 26410 1117.53/1120.91 c #Conflicts: 1306000 | #Constraints: 27411 1117.53/1120.91 c #Conflicts: 1307000 | #Constraints: 28411 1117.53/1120.91 c #Conflicts: 1308000 | #Constraints: 29412 1117.53/1120.91 c #Conflicts: 1309000 | #Constraints: 30413 1117.53/1120.91 c #Conflicts: 1310000 | #Constraints: 31415 1117.53/1120.91 c #Conflicts: 1311000 | #Constraints: 32417 1117.53/1120.91 c #Conflicts: 1312000 | #Constraints: 33417 1117.53/1120.91 c #Conflicts: 1313000 | #Constraints: 34417 1117.53/1120.91 c #Conflicts: 1314000 | #Constraints: 35417 1117.53/1120.91 c #Conflicts: 1315000 | #Constraints: 36418 1117.53/1120.91 c #Conflicts: 1316000 | #Constraints: 37419 1117.53/1120.91 c #Conflicts: 1317000 | #Constraints: 38419 1117.53/1120.91 c #Conflicts: 1318000 | #Constraints: 39419 1117.53/1120.91 c #Conflicts: 1319000 | #Constraints: 40419 1117.53/1120.91 c #Conflicts: 1320000 | #Constraints: 41419 1117.53/1120.91 c #Conflicts: 1321000 | #Constraints: 42419 1117.53/1120.91 c #Conflicts: 1322000 | #Constraints: 43420 1117.53/1120.91 c #Conflicts: 1323000 | #Constraints: 44420 1117.53/1120.91 c #Conflicts: 1324000 | #Constraints: 45420 1117.53/1120.91 c #Conflicts: 1325000 | #Constraints: 46422 1117.53/1120.91 c INPROCESSING 1117.53/1120.91 c GARBAGE COLLECT 1117.53/1120.91 c rational objective 51.603 1144.84/1148.37 c #Conflicts: 1326000 | #Constraints: 24619 1144.84/1148.37 c #Conflicts: 1327000 | #Constraints: 25619 1144.84/1148.37 c #Conflicts: 1328000 | #Constraints: 26620 1144.84/1148.37 c #Conflicts: 1329000 | #Constraints: 27620 1144.84/1148.37 c #Conflicts: 1330000 | #Constraints: 28622 1144.84/1148.37 c #Conflicts: 1331000 | #Constraints: 29622 1144.84/1148.37 c #Conflicts: 1332000 | #Constraints: 30622 1144.84/1148.37 c #Conflicts: 1333000 | #Constraints: 31622 1144.84/1148.37 c #Conflicts: 1334000 | #Constraints: 32623 1144.84/1148.37 c #Conflicts: 1335000 | #Constraints: 33623 1144.84/1148.37 c #Conflicts: 1336000 | #Constraints: 34623 1144.84/1148.37 c #Conflicts: 1337000 | #Constraints: 35623 1144.84/1148.37 c #Conflicts: 1338000 | #Constraints: 36623 1144.84/1148.37 c #Conflicts: 1339000 | #Constraints: 37623 1144.84/1148.37 c #Conflicts: 1340000 | #Constraints: 38624 1144.84/1148.37 c #Conflicts: 1341000 | #Constraints: 39624 1144.84/1148.37 c #Conflicts: 1342000 | #Constraints: 40625 1144.84/1148.37 c #Conflicts: 1343000 | #Constraints: 41627 1144.84/1148.37 c #Conflicts: 1344000 | #Constraints: 42627 1144.84/1148.37 c #Conflicts: 1345000 | #Constraints: 43628 1144.84/1148.37 c #Conflicts: 1346000 | #Constraints: 44631 1144.84/1148.37 c #Conflicts: 1347000 | #Constraints: 45632 1144.84/1148.37 c #Conflicts: 1348000 | #Constraints: 46633 1144.84/1148.37 c INPROCESSING 1144.84/1148.37 c GARBAGE COLLECT 1144.84/1148.37 c rational objective 51.603 1178.94/1182.56 c #Conflicts: 1349000 | #Constraints: 24618 1178.94/1182.56 c #Conflicts: 1350000 | #Constraints: 25618 1178.94/1182.56 c #Conflicts: 1351000 | #Constraints: 26618 1178.94/1182.56 c #Conflicts: 1352000 | #Constraints: 27619 1178.94/1182.56 c #Conflicts: 1353000 | #Constraints: 28619 1178.94/1182.56 c #Conflicts: 1354000 | #Constraints: 29619 1178.94/1182.56 c #Conflicts: 1355000 | #Constraints: 30619 1178.94/1182.56 c #Conflicts: 1356000 | #Constraints: 31619 1178.94/1182.56 c #Conflicts: 1357000 | #Constraints: 32619 1178.94/1182.56 c #Conflicts: 1358000 | #Constraints: 33619 1178.94/1182.56 c #Conflicts: 1359000 | #Constraints: 34619 1178.94/1182.56 c #Conflicts: 1360000 | #Constraints: 35619 1178.94/1182.56 c #Conflicts: 1361000 | #Constraints: 36619 1178.94/1182.56 c #Conflicts: 1362000 | #Constraints: 37619 1178.94/1182.56 c #Conflicts: 1363000 | #Constraints: 38621 1178.94/1182.56 c #Conflicts: 1364000 | #Constraints: 39621 1178.94/1182.56 c #Conflicts: 1365000 | #Constraints: 40621 1178.94/1182.56 c #Conflicts: 1366000 | #Constraints: 41622 1178.94/1182.56 c #Conflicts: 1367000 | #Constraints: 42623 1178.94/1182.56 c #Conflicts: 1368000 | #Constraints: 43623 1178.94/1182.56 c #Conflicts: 1369000 | #Constraints: 44623 1178.94/1182.56 c #Conflicts: 1370000 | #Constraints: 45623 1178.94/1182.56 c #Conflicts: 1371000 | #Constraints: 46624 1178.94/1182.56 c INPROCESSING 1178.94/1182.56 c GARBAGE COLLECT 1178.94/1182.56 c rational objective 51.603 1203.47/1207.13 c #Conflicts: 1372000 | #Constraints: 24422 1203.47/1207.13 c #Conflicts: 1373000 | #Constraints: 25423 1203.47/1207.13 c #Conflicts: 1374000 | #Constraints: 26423 1203.47/1207.13 c #Conflicts: 1375000 | #Constraints: 27423 1203.47/1207.13 c #Conflicts: 1376000 | #Constraints: 28424 1203.47/1207.13 c #Conflicts: 1377000 | #Constraints: 29424 1203.47/1207.13 c #Conflicts: 1378000 | #Constraints: 30425 1203.47/1207.13 c #Conflicts: 1379000 | #Constraints: 31426 1203.47/1207.13 c #Conflicts: 1380000 | #Constraints: 32426 1203.47/1207.13 c #Conflicts: 1381000 | #Constraints: 33427 1203.47/1207.13 c #Conflicts: 1382000 | #Constraints: 34427 1203.47/1207.13 c #Conflicts: 1383000 | #Constraints: 35427 1203.47/1207.13 c #Conflicts: 1384000 | #Constraints: 36427 1203.47/1207.13 c #Conflicts: 1385000 | #Constraints: 37427 1203.47/1207.13 c #Conflicts: 1386000 | #Constraints: 38428 1203.47/1207.13 c #Conflicts: 1387000 | #Constraints: 39428 1203.47/1207.13 c #Conflicts: 1388000 | #Constraints: 40428 1203.47/1207.13 c #Conflicts: 1389000 | #Constraints: 41429 1203.47/1207.13 c #Conflicts: 1390000 | #Constraints: 42429 1203.47/1207.13 c #Conflicts: 1391000 | #Constraints: 43431 1203.47/1207.13 c #Conflicts: 1392000 | #Constraints: 44433 1203.47/1207.13 c #Conflicts: 1393000 | #Constraints: 45433 1203.47/1207.13 c #Conflicts: 1394000 | #Constraints: 46433 1203.47/1207.13 c #Conflicts: 1395000 | #Constraints: 47433 1203.47/1207.13 c INPROCESSING 1203.47/1207.13 c GARBAGE COLLECT 1203.47/1207.13 c rational objective 51.603 1228.19/1231.96 c #Conflicts: 1396000 | #Constraints: 25019 1228.19/1231.96 c #Conflicts: 1397000 | #Constraints: 26020 1228.19/1231.96 c #Conflicts: 1398000 | #Constraints: 27021 1228.19/1231.96 c #Conflicts: 1399000 | #Constraints: 28021 1228.19/1231.96 c #Conflicts: 1400000 | #Constraints: 29021 1228.19/1231.96 c #Conflicts: 1401000 | #Constraints: 30021 1228.19/1231.96 c #Conflicts: 1402000 | #Constraints: 31022 1228.19/1231.96 c #Conflicts: 1403000 | #Constraints: 32023 1228.19/1231.96 c #Conflicts: 1404000 | #Constraints: 33023 1228.19/1231.96 c #Conflicts: 1405000 | #Constraints: 34023 1228.19/1231.96 c #Conflicts: 1406000 | #Constraints: 35023 1228.19/1231.96 c #Conflicts: 1407000 | #Constraints: 36023 1228.19/1231.96 c #Conflicts: 1408000 | #Constraints: 37023 1228.19/1231.96 c #Conflicts: 1409000 | #Constraints: 38023 1228.19/1231.96 c #Conflicts: 1410000 | #Constraints: 39023 1228.19/1231.96 c #Conflicts: 1411000 | #Constraints: 40023 1228.19/1231.96 c #Conflicts: 1412000 | #Constraints: 41023 1228.19/1231.96 c #Conflicts: 1413000 | #Constraints: 42023 1228.19/1231.96 c #Conflicts: 1414000 | #Constraints: 43023 1228.19/1231.96 c #Conflicts: 1415000 | #Constraints: 44023 1228.19/1231.96 c #Conflicts: 1416000 | #Constraints: 45023 1228.19/1231.96 c #Conflicts: 1417000 | #Constraints: 46025 1228.19/1231.96 c #Conflicts: 1418000 | #Constraints: 47027 1228.19/1231.96 c #Conflicts: 1419000 | #Constraints: 48027 1228.19/1231.96 c INPROCESSING 1228.19/1231.96 c GARBAGE COLLECT 1228.19/1231.96 c rational objective 51.603 1255.41/1259.22 c #Conflicts: 1420000 | #Constraints: 25424 1255.41/1259.22 c #Conflicts: 1421000 | #Constraints: 26424 1255.41/1259.22 c #Conflicts: 1422000 | #Constraints: 27426 1255.41/1259.22 c #Conflicts: 1423000 | #Constraints: 28426 1255.41/1259.22 c #Conflicts: 1424000 | #Constraints: 29428 1255.41/1259.22 c #Conflicts: 1425000 | #Constraints: 30430 1255.41/1259.22 c #Conflicts: 1426000 | #Constraints: 31431 1255.41/1259.22 c #Conflicts: 1427000 | #Constraints: 32432 1255.41/1259.22 c #Conflicts: 1428000 | #Constraints: 33432 1255.41/1259.22 c #Conflicts: 1429000 | #Constraints: 34432 1255.41/1259.22 c #Conflicts: 1430000 | #Constraints: 35434 1255.41/1259.22 c #Conflicts: 1431000 | #Constraints: 36435 1255.41/1259.22 c #Conflicts: 1432000 | #Constraints: 37435 1255.41/1259.22 c #Conflicts: 1433000 | #Constraints: 38435 1255.41/1259.22 c #Conflicts: 1434000 | #Constraints: 39435 1255.41/1259.22 c #Conflicts: 1435000 | #Constraints: 40435 1255.41/1259.22 c #Conflicts: 1436000 | #Constraints: 41435 1255.41/1259.22 c #Conflicts: 1437000 | #Constraints: 42435 1255.41/1259.22 c #Conflicts: 1438000 | #Constraints: 43436 1255.41/1259.22 c #Conflicts: 1439000 | #Constraints: 44437 1255.41/1259.22 c #Conflicts: 1440000 | #Constraints: 45437 1255.41/1259.22 c #Conflicts: 1441000 | #Constraints: 46437 1255.41/1259.22 c #Conflicts: 1442000 | #Constraints: 47438 1255.41/1259.22 c #Conflicts: 1443000 | #Constraints: 48438 1255.41/1259.22 c INPROCESSING 1255.41/1259.22 c GARBAGE COLLECT 1255.41/1259.22 c rational objective 51.603 1289.60/1293.52 c #Conflicts: 1444000 | #Constraints: 25623 1289.60/1293.52 c #Conflicts: 1445000 | #Constraints: 26624 1289.60/1293.52 c #Conflicts: 1446000 | #Constraints: 27624 1289.60/1293.52 c #Conflicts: 1447000 | #Constraints: 28624 1289.60/1293.52 c #Conflicts: 1448000 | #Constraints: 29624 1289.60/1293.52 c #Conflicts: 1449000 | #Constraints: 30624 1289.60/1293.52 c #Conflicts: 1450000 | #Constraints: 31625 1289.60/1293.52 c #Conflicts: 1451000 | #Constraints: 32627 1289.60/1293.52 c #Conflicts: 1452000 | #Constraints: 33628 1289.60/1293.52 c #Conflicts: 1453000 | #Constraints: 34628 1289.60/1293.52 c #Conflicts: 1454000 | #Constraints: 35628 1289.60/1293.52 c #Conflicts: 1455000 | #Constraints: 36628 1289.60/1293.52 c #Conflicts: 1456000 | #Constraints: 37628 1289.60/1293.52 c #Conflicts: 1457000 | #Constraints: 38628 1289.60/1293.52 c #Conflicts: 1458000 | #Constraints: 39628 1289.60/1293.52 c #Conflicts: 1459000 | #Constraints: 40628 1289.60/1293.52 c #Conflicts: 1460000 | #Constraints: 41628 1289.60/1293.52 c #Conflicts: 1461000 | #Constraints: 42628 1289.60/1293.52 c #Conflicts: 1462000 | #Constraints: 43628 1289.60/1293.52 c #Conflicts: 1463000 | #Constraints: 44628 1289.60/1293.52 c #Conflicts: 1464000 | #Constraints: 45630 1289.60/1293.52 c #Conflicts: 1465000 | #Constraints: 46630 1289.60/1293.52 c #Conflicts: 1466000 | #Constraints: 47631 1289.60/1293.52 c #Conflicts: 1467000 | #Constraints: 48631 1289.60/1293.52 c INPROCESSING 1289.60/1293.52 c GARBAGE COLLECT 1289.60/1293.52 c rational objective 51.603 1318.32/1322.33 c #Conflicts: 1468000 | #Constraints: 25620 1318.32/1322.33 c #Conflicts: 1469000 | #Constraints: 26620 1318.32/1322.33 c #Conflicts: 1470000 | #Constraints: 27620 1318.32/1322.33 c #Conflicts: 1471000 | #Constraints: 28620 1318.32/1322.33 c #Conflicts: 1472000 | #Constraints: 29621 1318.32/1322.33 c #Conflicts: 1473000 | #Constraints: 30621 1318.32/1322.33 c #Conflicts: 1474000 | #Constraints: 31621 1318.32/1322.33 c #Conflicts: 1475000 | #Constraints: 32621 1318.32/1322.33 c #Conflicts: 1476000 | #Constraints: 33621 1318.32/1322.33 c #Conflicts: 1477000 | #Constraints: 34621 1318.32/1322.33 c #Conflicts: 1478000 | #Constraints: 35622 1318.32/1322.33 c #Conflicts: 1479000 | #Constraints: 36624 1318.32/1322.33 c #Conflicts: 1480000 | #Constraints: 37625 1318.32/1322.33 c #Conflicts: 1481000 | #Constraints: 38625 1318.32/1322.33 c #Conflicts: 1482000 | #Constraints: 39627 1318.32/1322.33 c #Conflicts: 1483000 | #Constraints: 40627 1318.32/1322.33 c #Conflicts: 1484000 | #Constraints: 41628 1318.32/1322.33 c #Conflicts: 1485000 | #Constraints: 42628 1318.32/1322.33 c #Conflicts: 1486000 | #Constraints: 43628 1318.32/1322.33 c #Conflicts: 1487000 | #Constraints: 44628 1318.32/1322.33 c #Conflicts: 1488000 | #Constraints: 45629 1318.32/1322.33 c #Conflicts: 1489000 | #Constraints: 46631 1318.32/1322.33 c #Conflicts: 1490000 | #Constraints: 47632 1318.32/1322.33 c #Conflicts: 1491000 | #Constraints: 48633 1318.32/1322.33 c INPROCESSING 1318.32/1322.33 c GARBAGE COLLECT 1318.32/1322.33 c rational objective 51.603 1344.73/1348.86 c #Conflicts: 1492000 | #Constraints: 25421 1344.73/1348.86 c #Conflicts: 1493000 | #Constraints: 26422 1344.73/1348.86 c #Conflicts: 1494000 | #Constraints: 27422 1344.73/1348.86 c #Conflicts: 1495000 | #Constraints: 28422 1344.73/1348.86 c #Conflicts: 1496000 | #Constraints: 29423 1344.73/1348.86 c #Conflicts: 1497000 | #Constraints: 30426 1344.73/1348.86 c #Conflicts: 1498000 | #Constraints: 31426 1344.73/1348.86 c #Conflicts: 1499000 | #Constraints: 32426 1344.73/1348.86 c #Conflicts: 1500000 | #Constraints: 33428 1344.73/1348.86 c #Conflicts: 1501000 | #Constraints: 34429 1344.73/1348.86 c #Conflicts: 1502000 | #Constraints: 35429 1344.73/1348.86 c #Conflicts: 1503000 | #Constraints: 36429 1344.73/1348.86 c #Conflicts: 1504000 | #Constraints: 37430 1344.73/1348.86 c #Conflicts: 1505000 | #Constraints: 38430 1344.73/1348.86 c #Conflicts: 1506000 | #Constraints: 39431 1344.73/1348.86 c #Conflicts: 1507000 | #Constraints: 40432 1344.73/1348.86 c #Conflicts: 1508000 | #Constraints: 41432 1344.73/1348.86 c #Conflicts: 1509000 | #Constraints: 42432 1344.73/1348.86 c #Conflicts: 1510000 | #Constraints: 43433 1344.73/1348.86 c #Conflicts: 1511000 | #Constraints: 44434 1344.73/1348.86 c #Conflicts: 1512000 | #Constraints: 45435 1344.73/1348.86 c #Conflicts: 1513000 | #Constraints: 46436 1344.73/1348.86 c #Conflicts: 1514000 | #Constraints: 47438 1344.73/1348.86 c #Conflicts: 1515000 | #Constraints: 48438 1344.73/1348.86 c #Conflicts: 1516000 | #Constraints: 49438 1344.73/1348.86 c INPROCESSING 1344.73/1348.86 c GARBAGE COLLECT 1344.73/1348.86 c rational objective 51.603 1371.16/1375.32 c #Conflicts: 1517000 | #Constraints: 26030 1371.16/1375.32 c #Conflicts: 1518000 | #Constraints: 27030 1371.16/1375.32 c #Conflicts: 1519000 | #Constraints: 28030 1371.16/1375.32 c #Conflicts: 1520000 | #Constraints: 29031 1371.16/1375.32 c #Conflicts: 1521000 | #Constraints: 30031 1371.16/1375.32 c #Conflicts: 1522000 | #Constraints: 31031 1371.16/1375.32 c #Conflicts: 1523000 | #Constraints: 32032 1371.16/1375.32 c #Conflicts: 1524000 | #Constraints: 33034 1371.16/1375.32 c #Conflicts: 1525000 | #Constraints: 34035 1371.16/1375.32 c #Conflicts: 1526000 | #Constraints: 35035 1371.16/1375.32 c #Conflicts: 1527000 | #Constraints: 36035 1371.16/1375.32 c #Conflicts: 1528000 | #Constraints: 37035 1371.16/1375.32 c #Conflicts: 1529000 | #Constraints: 38035 1371.16/1375.32 c #Conflicts: 1530000 | #Constraints: 39035 1371.16/1375.32 c #Conflicts: 1531000 | #Constraints: 40035 1371.16/1375.32 c #Conflicts: 1532000 | #Constraints: 41035 1371.16/1375.32 c #Conflicts: 1533000 | #Constraints: 42036 1371.16/1375.32 c #Conflicts: 1534000 | #Constraints: 43036 1371.16/1375.32 c #Conflicts: 1535000 | #Constraints: 44036 1371.16/1375.32 c #Conflicts: 1536000 | #Constraints: 45037 1371.16/1375.32 c #Conflicts: 1537000 | #Constraints: 46038 1371.16/1375.32 c #Conflicts: 1538000 | #Constraints: 47039 1371.16/1375.32 c #Conflicts: 1539000 | #Constraints: 48039 1371.16/1375.32 c #Conflicts: 1540000 | #Constraints: 49039 1371.16/1375.32 c #Conflicts: 1541000 | #Constraints: 50039 1371.16/1375.32 c INPROCESSING 1371.16/1375.32 c GARBAGE COLLECT 1371.16/1375.32 c rational objective 51.603 1409.55/1413.85 c #Conflicts: 1542000 | #Constraints: 26425 1409.55/1413.85 c #Conflicts: 1543000 | #Constraints: 27425 1409.55/1413.85 c #Conflicts: 1544000 | #Constraints: 28425 1409.55/1413.85 c #Conflicts: 1545000 | #Constraints: 29425 1409.55/1413.85 c #Conflicts: 1546000 | #Constraints: 30425 1409.55/1413.85 c #Conflicts: 1547000 | #Constraints: 31425 1409.55/1413.85 c #Conflicts: 1548000 | #Constraints: 32425 1409.55/1413.85 c #Conflicts: 1549000 | #Constraints: 33425 1409.55/1413.85 c #Conflicts: 1550000 | #Constraints: 34426 1409.55/1413.85 c #Conflicts: 1551000 | #Constraints: 35426 1409.55/1413.85 c #Conflicts: 1552000 | #Constraints: 36427 1409.55/1413.85 c #Conflicts: 1553000 | #Constraints: 37427 1409.55/1413.85 c #Conflicts: 1554000 | #Constraints: 38428 1409.55/1413.85 c #Conflicts: 1555000 | #Constraints: 39429 1409.55/1413.85 c #Conflicts: 1556000 | #Constraints: 40430 1409.55/1413.85 c #Conflicts: 1557000 | #Constraints: 41430 1409.55/1413.85 c #Conflicts: 1558000 | #Constraints: 42430 1409.55/1413.85 c #Conflicts: 1559000 | #Constraints: 43430 1409.55/1413.85 c #Conflicts: 1560000 | #Constraints: 44433 1409.55/1413.85 c #Conflicts: 1561000 | #Constraints: 45434 1409.55/1413.86 c #Conflicts: 1562000 | #Constraints: 46435 1409.55/1413.86 c #Conflicts: 1563000 | #Constraints: 47435 1409.55/1413.86 c #Conflicts: 1564000 | #Constraints: 48435 1409.55/1413.86 c #Conflicts: 1565000 | #Constraints: 49436 1409.55/1413.86 c #Conflicts: 1566000 | #Constraints: 50436 1409.55/1413.86 c INPROCESSING 1409.55/1413.86 c GARBAGE COLLECT 1409.55/1413.86 c rational objective 51.603 1441.84/1446.22 c #Conflicts: 1567000 | #Constraints: 26625 1441.84/1446.22 c #Conflicts: 1568000 | #Constraints: 27626 1441.84/1446.22 c #Conflicts: 1569000 | #Constraints: 28627 1441.84/1446.22 c #Conflicts: 1570000 | #Constraints: 29627 1441.84/1446.22 c #Conflicts: 1571000 | #Constraints: 30627 1441.84/1446.22 c #Conflicts: 1572000 | #Constraints: 31627 1441.84/1446.22 c #Conflicts: 1573000 | #Constraints: 32627 1441.84/1446.22 c #Conflicts: 1574000 | #Constraints: 33629 1441.84/1446.22 c #Conflicts: 1575000 | #Constraints: 34630 1441.84/1446.22 c #Conflicts: 1576000 | #Constraints: 35631 1441.84/1446.22 c #Conflicts: 1577000 | #Constraints: 36631 1441.84/1446.22 c #Conflicts: 1578000 | #Constraints: 37631 1441.84/1446.22 c #Conflicts: 1579000 | #Constraints: 38631 1441.84/1446.22 c #Conflicts: 1580000 | #Constraints: 39631 1441.84/1446.22 c #Conflicts: 1581000 | #Constraints: 40631 1441.84/1446.22 c #Conflicts: 1582000 | #Constraints: 41631 1441.84/1446.22 c #Conflicts: 1583000 | #Constraints: 42631 1441.84/1446.22 c #Conflicts: 1584000 | #Constraints: 43631 1441.84/1446.22 c #Conflicts: 1585000 | #Constraints: 44631 1441.84/1446.22 c #Conflicts: 1586000 | #Constraints: 45631 1441.84/1446.22 c #Conflicts: 1587000 | #Constraints: 46631 1441.84/1446.22 c #Conflicts: 1588000 | #Constraints: 47631 1441.84/1446.22 c #Conflicts: 1589000 | #Constraints: 48631 1441.84/1446.22 c #Conflicts: 1590000 | #Constraints: 49632 1441.84/1446.22 c #Conflicts: 1591000 | #Constraints: 50632 1441.84/1446.22 c INPROCESSING 1441.84/1446.22 c GARBAGE COLLECT 1441.84/1446.22 c rational objective 51.603 1482.42/1486.99 c #Conflicts: 1592000 | #Constraints: 26627 1482.42/1486.99 c #Conflicts: 1593000 | #Constraints: 27627 1482.42/1486.99 c #Conflicts: 1594000 | #Constraints: 28628 1482.42/1486.99 c #Conflicts: 1595000 | #Constraints: 29629 1482.42/1486.99 c #Conflicts: 1596000 | #Constraints: 30629 1482.42/1486.99 c #Conflicts: 1597000 | #Constraints: 31630 1482.42/1486.99 c #Conflicts: 1598000 | #Constraints: 32631 1482.42/1486.99 c #Conflicts: 1599000 | #Constraints: 33631 1482.42/1486.99 c #Conflicts: 1600000 | #Constraints: 34631 1482.42/1486.99 c #Conflicts: 1601000 | #Constraints: 35631 1482.42/1486.99 c #Conflicts: 1602000 | #Constraints: 36631 1482.42/1486.99 c #Conflicts: 1603000 | #Constraints: 37631 1482.42/1486.99 c #Conflicts: 1604000 | #Constraints: 38631 1482.42/1486.99 c #Conflicts: 1605000 | #Constraints: 39631 1482.42/1486.99 c #Conflicts: 1606000 | #Constraints: 40631 1482.42/1486.99 c #Conflicts: 1607000 | #Constraints: 41631 1482.42/1486.99 c #Conflicts: 1608000 | #Constraints: 42631 1482.42/1486.99 c #Conflicts: 1609000 | #Constraints: 43631 1482.42/1486.99 c #Conflicts: 1610000 | #Constraints: 44631 1482.42/1486.99 c #Conflicts: 1611000 | #Constraints: 45631 1482.42/1486.99 c #Conflicts: 1612000 | #Constraints: 46631 1482.42/1486.99 c #Conflicts: 1613000 | #Constraints: 47631 1482.42/1486.99 c #Conflicts: 1614000 | #Constraints: 48631 1482.42/1486.99 c #Conflicts: 1615000 | #Constraints: 49631 1482.42/1486.99 c #Conflicts: 1616000 | #Constraints: 50631 1482.42/1486.99 c INPROCESSING 1482.42/1486.99 c GARBAGE COLLECT 1482.42/1486.99 c rational objective 51.6042 1519.91/1524.51 c #Conflicts: 1617000 | #Constraints: 26426 1519.91/1524.51 c #Conflicts: 1618000 | #Constraints: 27426 1519.91/1524.51 c #Conflicts: 1619000 | #Constraints: 28426 1519.91/1524.51 c #Conflicts: 1620000 | #Constraints: 29426 1519.91/1524.51 c #Conflicts: 1621000 | #Constraints: 30426 1519.91/1524.51 c #Conflicts: 1622000 | #Constraints: 31427 1519.91/1524.51 c #Conflicts: 1623000 | #Constraints: 32427 1519.91/1524.51 c #Conflicts: 1624000 | #Constraints: 33427 1519.91/1524.51 c #Conflicts: 1625000 | #Constraints: 34427 1519.91/1524.51 c #Conflicts: 1626000 | #Constraints: 35428 1519.91/1524.51 c #Conflicts: 1627000 | #Constraints: 36428 1519.91/1524.51 c #Conflicts: 1628000 | #Constraints: 37428 1519.91/1524.51 c #Conflicts: 1629000 | #Constraints: 38428 1519.91/1524.51 c #Conflicts: 1630000 | #Constraints: 39429 1519.91/1524.51 c #Conflicts: 1631000 | #Constraints: 40429 1519.91/1524.51 c #Conflicts: 1632000 | #Constraints: 41429 1519.91/1524.51 c #Conflicts: 1633000 | #Constraints: 42429 1519.91/1524.51 c #Conflicts: 1634000 | #Constraints: 43430 1519.91/1524.51 c #Conflicts: 1635000 | #Constraints: 44430 1519.91/1524.51 c #Conflicts: 1636000 | #Constraints: 45430 1519.91/1524.51 c #Conflicts: 1637000 | #Constraints: 46430 1519.91/1524.51 c #Conflicts: 1638000 | #Constraints: 47430 1519.91/1524.51 c #Conflicts: 1639000 | #Constraints: 48430 1519.91/1524.51 c #Conflicts: 1640000 | #Constraints: 49430 1519.91/1524.51 c #Conflicts: 1641000 | #Constraints: 50430 1519.91/1524.51 c #Conflicts: 1642000 | #Constraints: 51430 1519.91/1524.51 c INPROCESSING 1519.91/1524.51 c GARBAGE COLLECT 1519.91/1524.51 c rational objective 51.6042 1530.08/1534.73 c #Conflicts: 1643000 | #Constraints: 27031 1530.08/1534.73 c #Conflicts: 1644000 | #Constraints: 28031 1530.08/1534.73 c #Conflicts: 1645000 | #Constraints: 29031 1530.08/1534.73 c #Conflicts: 1646000 | #Constraints: 30031 1530.08/1534.73 c #Conflicts: 1647000 | #Constraints: 31031 1530.08/1534.73 c #Conflicts: 1648000 | #Constraints: 32032 1530.08/1534.73 c #Conflicts: 1649000 | #Constraints: 33034 1530.08/1534.73 c #Conflicts: 1650000 | #Constraints: 34034 1530.08/1534.73 c #Conflicts: 1651000 | #Constraints: 35034 1530.08/1534.73 c #Conflicts: 1652000 | #Constraints: 36034 1530.08/1534.73 c cpu time 1514.18 s 1530.08/1534.73 c deterministic time 237753039320 2.38e+11 1530.08/1534.73 c optimization time 0.000169 s 1530.08/1534.73 c total solve time 1514.18 s 1530.08/1534.73 c core-guided solve time 0 s 1530.08/1534.73 c propagation time 1356.3 s 1530.08/1534.73 c conflict analysis time 116.639 s 1530.08/1534.73 c propagations 89490307 1530.08/1534.73 c resolve steps 27519028 1530.08/1534.73 c decisions 2502596 1530.08/1534.73 c conflicts 1652527 1530.08/1534.73 c restarts 3121 1530.08/1534.73 c inprocessing phases 119 1530.08/1534.73 c input clauses 558 1530.08/1534.73 c input cardinalities 2 1530.08/1534.73 c input general constraints 249 1530.08/1534.73 c input average constraint length 5.35 1530.08/1534.73 c input average constraint degree 2.42 1530.08/1534.73 c learned clauses 1376174 1530.08/1534.73 c learned cardinalities 1857 1530.08/1534.73 c learned general constraints 275135 1530.08/1534.73 c learned average constraint length 134.44 1530.08/1534.73 c learned average constraint degree 3283288.30 1530.08/1534.73 c watched constraints 274528 1530.08/1534.73 c counting constraints 856 1530.08/1534.73 c gcd simplifications 144144 1530.08/1534.73 c detected cardinalities 442 1530.08/1534.73 c weakened non-implied lits 24398168 1530.08/1534.73 c weakened non-implying lits 354798 1530.08/1534.73 c original variables 370 1530.08/1534.73 c clausal propagations 34243758 1530.08/1534.73 c cardinality propagations 1290579 1530.08/1534.73 c watched propagations 16160440 1530.08/1534.73 c counting propagations 35699162 1530.08/1534.73 c watch lookups 19389588561 1530.08/1534.73 c watch backjump lookups 7068566491 1530.08/1534.73 c watch checks 204732263828 1530.08/1534.73 c propagation checks 5767452412 1530.08/1534.73 c constraint additions 607296555 1530.08/1534.73 c trail pops 93644769 1530.08/1534.73 c formula constraints 809 1530.08/1534.73 c learned constraints 1651888 1530.08/1534.73 c bound constraints 0 1530.08/1534.73 c core-guided constraints 0 1530.08/1534.73 c encountered formula constraints 20285727 1530.08/1534.73 c encountered learned constraints 8884347 1530.08/1534.73 c encountered bound constraints 0 1530.08/1534.73 c encountered core-guided constraints 0 1530.08/1534.73 c LP total time 68.9797 s 1530.08/1534.73 c LP solve time 64.06 s 1530.08/1534.73 c LP constraints added 902 1530.08/1534.73 c LP constraints removed 78 1530.08/1534.73 c LP pivots internal 1652549 1530.08/1534.73 c LP pivots root 581251 1530.08/1534.73 c LP calls 7638 1530.08/1534.73 c LP optimalities 6995 1530.08/1534.73 c LP no pivot count 1 1530.08/1534.73 c LP infeasibilities 639 1530.08/1534.73 c LP valid Farkas constraints 639 1530.08/1534.73 c LP learned Farkas constraints 639 1530.08/1534.73 c LP basis resets 0 1530.08/1534.73 c LP cycling count 0 1530.08/1534.73 c LP singular count 0 1530.08/1534.73 c LP no primal count 0 1530.08/1534.73 c LP no farkas count 0 1530.08/1534.73 c LP other issue count 0 1530.08/1534.73 c LP Gomory cuts 0 1530.08/1534.73 c LP learned cuts 93 1530.08/1534.73 c LP deleted cuts 78 1530.08/1534.73 c LP encountered Gomory constraints 0 1530.08/1534.73 c LP encountered Farkas constraints 176 1530.08/1534.73 c LP encountered learned Farkas constraints 666 1530.08/1534.73 c CG auxiliary variables introduced 0 1530.08/1534.73 c CG solutions found 0 1530.08/1534.73 c CG cores constructed 0 1530.08/1534.73 c CG core cardinality constraints returned 0 1530.08/1534.73 c CG unit cores 0 1530.08/1534.73 c CG single cores 0 1530.08/1534.73 c CG blocks removed during cardinality reduction 0 1530.08/1534.73 c CG first core best 0 1530.08/1534.73 c CG decision core best 0 1530.08/1534.73 c CG core reduction tie 0 1530.08/1534.73 c CG core degree average 0.00 1530.08/1534.73 c CG core slack average 0.00 1530.08/1534.73 s SATISFIABLE 1530.08/1534.73 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 x245 -x246 x247 -x248 -x249 x250 -x251 x252 x253 -x254 -x255 x256 x257 -x258 -x259 x260 -x261 x262 -x263 x264 -x265 x266 -x267 x268 -x269 x270 -x271 x272 -x273 x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 -x287 x288 -x289 x290 -x291 x292 -x293 x294 -x295 x296 -x297 x298 -x299 x300 -x301 x302 -x303 x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 x323 -x324 x325 -x326 x327 -x328 -x329 x330 x331 -x332 -x333 x334 -x335 x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370
OK 0
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (57656 MiB free)
memory of node 1: 64473 MiB (58411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460569-1722064932/watcher-4460569-1722064932 -o /tmp/evaluation-result-4460569-1722064932/solver-4460569-1722064932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317337 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460569-1722064932 --lp-cut-gomory=0 HOME/instance-4460569-1722064932.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=317514, runsolver pid=317511
Current StackSize limit: 8192 KiB
[startup+0.100637 s]*
/proc/loadavg: 3.34 1.24 0.51 5/259 317515
/proc/meminfo: memFree=118847932/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=38864 memory=10532 CPUtime=0.09 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 637 0 0 0 9 0 0 0 20 0 1 0 43021151 39796736 2633 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 9716 2633 1704 992 0 1574 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 10532 KiB
[startup+0.205487 s]*
/proc/loadavg: 3.34 1.24 0.51 5/259 317515
/proc/meminfo: memFree=118843564/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=38864 memory=10972 CPUtime=0.19 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 669 0 0 0 19 0 0 0 20 0 1 0 43021151 39796736 2743 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 9716 2743 1752 992 0 1574 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 10972 KiB
[startup+0.30546 s]*
/proc/loadavg: 3.34 1.24 0.51 5/259 317515
/proc/meminfo: memFree=118840484/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=39212 memory=11276 CPUtime=0.29 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 736 0 0 0 28 1 0 0 20 0 1 0 43021151 40153088 2819 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 9803 2819 1752 992 0 1661 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39212 KiB
Current children cumulated memory: 11276 KiB
[startup+0.700175 s]
/proc/loadavg: 3.34 1.24 0.51 5/259 317515
/proc/meminfo: memFree=118836248/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=39628 memory=12216 CPUtime=0.68 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 864 0 0 0 65 3 0 0 20 0 1 0 43021151 40579072 3054 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 9907 3054 1863 992 0 1765 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39628 KiB
Current children cumulated memory: 12216 KiB
[startup+1.50022 s]
/proc/loadavg: 3.34 1.24 0.51 5/259 317515
/proc/meminfo: memFree=118826204/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=40192 memory=14524 CPUtime=1.48 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 975 0 0 0 143 5 0 0 20 0 1 0 43021151 41156608 3631 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 10048 3631 1863 992 0 1906 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40192 KiB
Current children cumulated memory: 14524 KiB
[startup+3.10545 s]
/proc/loadavg: 3.34 1.24 0.51 5/259 317515
/proc/meminfo: memFree=118769084/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=40468 memory=15116 CPUtime=3.08 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 1086 0 0 0 296 12 0 0 20 0 1 0 43021151 41439232 3779 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 10117 3779 1863 992 0 1975 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40468 KiB
Current children cumulated memory: 15116 KiB
[startup+6.30021 s]
/proc/loadavg: 3.39 1.29 0.53 5/259 317516
/proc/meminfo: memFree=118741164/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=41180 memory=15836 CPUtime=6.27 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 1288 0 0 0 604 23 0 0 20 0 1 0 43021151 42168320 3959 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 10295 3959 1863 992 0 2153 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41180 KiB
Current children cumulated memory: 15836 KiB
[startup+12.7002 s]
/proc/loadavg: 3.44 1.34 0.54 5/259 317516
/proc/meminfo: memFree=118595572/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=44804 memory=16792 CPUtime=12.66 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 1617 0 0 0 1224 42 0 0 20 0 1 0 43021151 45879296 4198 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 11201 4198 1863 992 0 3059 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 44804 KiB
Current children cumulated memory: 16792 KiB
[startup+25.5002 s]
/proc/loadavg: 3.57 1.47 0.60 5/259 317519
/proc/meminfo: memFree=118272528/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=46412 memory=19912 CPUtime=25.42 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 2566 0 0 0 2466 76 0 0 20 0 1 0 43021151 47525888 4978 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 11603 4978 1863 992 0 3461 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 46412 KiB
Current children cumulated memory: 19912 KiB
[startup+51.1053 s]
/proc/loadavg: 3.77 1.69 0.70 5/259 317522
/proc/meminfo: memFree=117718836/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=51760 memory=22380 CPUtime=50.97 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 3465 0 0 0 4972 125 0 0 20 0 1 0 43021151 53002240 5595 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 12940 5595 1863 992 0 4798 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 51760 KiB
Current children cumulated memory: 22380 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 2.09 0.89 5/259 317532
/proc/meminfo: memFree=115788740/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=53956 memory=27448 CPUtime=102.04 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 4514 0 0 0 9991 213 0 0 20 0 1 0 43021151 55250944 6862 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 13489 6862 1863 992 0 5347 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 27448 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 2.46 1.09 5/259 317542
/proc/meminfo: memFree=113919884/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=55728 memory=29420 CPUtime=161.89 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 5938 0 0 0 15882 307 0 0 20 0 1 0 43021151 57065472 7355 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 13932 7355 1863 992 0 5790 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 55728 KiB
Current children cumulated memory: 29420 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 2.77 1.29 5/258 317936
/proc/meminfo: memFree=113101676/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=64264 memory=34256 CPUtime=221.74 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 7428 0 0 0 21781 393 0 0 20 0 1 0 43021151 65806336 8564 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 16066 8564 1863 992 0 7924 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 64264 KiB
Current children cumulated memory: 34256 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.01 1.47 5/257 317948
/proc/meminfo: memFree=112100384/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=64936 memory=35032 CPUtime=281.59 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 8290 0 0 0 27698 461 0 0 20 0 1 0 43021151 66494464 8758 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 16234 8758 1863 992 0 8092 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 64936 KiB
Current children cumulated memory: 35032 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 3.24 1.64 5/257 317958
/proc/meminfo: memFree=111025180/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=65108 memory=37324 CPUtime=341.44 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 8819 0 0 0 33616 528 0 0 20 0 1 0 43021151 66670592 9331 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 16277 9331 1863 992 0 8135 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 65108 KiB
Current children cumulated memory: 37324 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.40 1.80 5/259 318138
/proc/meminfo: memFree=109991652/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=65236 memory=37520 CPUtime=401.29 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 9323 0 0 0 39533 596 0 0 20 0 1 0 43021151 66801664 9380 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 16309 9380 1863 992 0 8167 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 65236 KiB
Current children cumulated memory: 37520 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.52 1.94 5/260 318149
/proc/meminfo: memFree=108792172/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=66140 memory=38832 CPUtime=461.13 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 9939 0 0 0 45450 663 0 0 20 0 1 0 43021151 67727360 9708 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 16535 9708 1863 992 0 8393 0
################
# More data... #
################
/proc/loadavg: 4.16 4.14 3.18 5/257 318391
/proc/meminfo: memFree=103895428/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=84676 memory=50752 CPUtime=1178.73 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 16320 0 0 0 116554 1319 0 0 20 0 1 0 43021151 86708224 12688 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21169 12688 1863 992 0 13027 0
Current children cumulated CPU time: 1178.73 s
Current children cumulated vsize: 84676 KiB
Current children cumulated memory: 50752 KiB
[startup+1242.3 s]
/proc/loadavg: 4.18 4.15 3.25 5/257 318402
/proc/meminfo: memFree=103468832/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=84744 memory=52904 CPUtime=1238.55 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 16853 0 0 0 122481 1374 0 0 20 0 1 0 43021151 86777856 13226 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21186 13226 1863 992 0 13044 0
Current children cumulated CPU time: 1238.55 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 52904 KiB
[startup+1302.3 s]
/proc/loadavg: 4.06 4.12 3.30 5/258 318415
/proc/meminfo: memFree=102695576/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=84940 memory=53112 CPUtime=1298.38 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 17252 0 0 0 128416 1422 0 0 20 0 1 0 43021151 86978560 13278 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21235 13278 1863 992 0 13093 0
Current children cumulated CPU time: 1298.38 s
Current children cumulated vsize: 84940 KiB
Current children cumulated memory: 53112 KiB
[startup+1362.3 s]
/proc/loadavg: 4.06 4.11 3.35 5/258 318425
/proc/meminfo: memFree=101894028/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=85400 memory=53600 CPUtime=1358.2 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 17714 0 0 0 134345 1475 0 0 20 0 1 0 43021151 87449600 13400 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21350 13400 1863 992 0 13208 0
Current children cumulated CPU time: 1358.2 s
Current children cumulated vsize: 85400 KiB
Current children cumulated memory: 53600 KiB
[startup+1422.3 s]
/proc/loadavg: 4.19 4.13 3.41 5/256 318435
/proc/meminfo: memFree=101018936/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=85852 memory=56120 CPUtime=1418.02 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18182 0 0 0 140284 1518 0 0 20 0 1 0 43021151 87912448 14030 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21463 14030 1863 992 0 13321 0
Current children cumulated CPU time: 1418.02 s
Current children cumulated vsize: 85852 KiB
Current children cumulated memory: 56120 KiB
[startup+1482.3 s]
/proc/loadavg: 4.20 4.14 3.46 5/256 318446
/proc/meminfo: memFree=99915340/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=85856 memory=56132 CPUtime=1477.84 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18363 0 0 0 146229 1555 0 0 20 0 1 0 43021151 87916544 14033 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21464 14033 1863 992 0 13322 0
Current children cumulated CPU time: 1477.84 s
Current children cumulated vsize: 85856 KiB
Current children cumulated memory: 56132 KiB
[startup+1534.75 s]
# the end of solver process 317514 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1514.19 s, system=15.9336 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 4.20 4.14 3.46 5/256 318446
/proc/meminfo: memFree=99874028/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=85856 memory=56132 CPUtime=1480.33 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18363 0 0 0 146477 1556 0 0 20 0 1 0 43021151 87916544 14033 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21464 14033 1863 992 0 13322 0
Current children cumulated CPU time: 1480.33 s
Current children cumulated vsize: 85856 KiB
Current children cumulated memory: 56132 KiB
[startup+1510.4 s]
/proc/loadavg: 4.12 4.12 3.48 5/256 318451
/proc/meminfo: memFree=99450556/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=86208 memory=56472 CPUtime=1505.85 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18621 0 0 0 149010 1575 0 0 20 0 1 0 43021151 88276992 14118 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21552 14118 1863 992 0 13410 0
Current children cumulated CPU time: 1505.85 s
Current children cumulated vsize: 86208 KiB
Current children cumulated memory: 56472 KiB
[startup+1523.2 s]
/proc/loadavg: 4.10 4.12 3.48 5/256 318453
/proc/meminfo: memFree=99377680/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=86648 memory=56472 CPUtime=1518.61 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18680 0 0 0 150279 1582 0 0 20 0 1 0 43021151 88727552 14118 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21662 14118 1863 992 0 13520 0
Current children cumulated CPU time: 1518.61 s
Current children cumulated vsize: 86648 KiB
Current children cumulated memory: 56472 KiB
[startup+1529.6 s]
/proc/loadavg: 4.09 4.12 3.49 5/256 318455
/proc/meminfo: memFree=99372820/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=86848 memory=57040 CPUtime=1524.99 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18901 0 0 0 150910 1589 0 0 20 0 1 0 43021151 88932352 14260 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21712 14260 1863 992 0 13570 0
Current children cumulated CPU time: 1524.99 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 57040 KiB
[startup+1532.8 s]
/proc/loadavg: 4.09 4.12 3.49 5/256 318455
/proc/meminfo: memFree=99370860/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=86848 memory=57040 CPUtime=1528.19 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18901 0 0 0 151227 1592 0 0 20 0 1 0 43021151 88932352 14260 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21712 14260 1863 992 0 13570 0
Current children cumulated CPU time: 1528.19 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 57040 KiB
[startup+1533.6 s]
/proc/loadavg: 4.09 4.12 3.49 5/256 318455
/proc/meminfo: memFree=99370216/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=86848 memory=57040 CPUtime=1528.98 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18901 0 0 0 151306 1592 0 0 20 0 1 0 43021151 88932352 14260 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21712 14260 1863 992 0 13570 0
Current children cumulated CPU time: 1528.98 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 57040 KiB
[startup+1534.4 s]
/proc/loadavg: 4.09 4.12 3.49 5/256 318455
/proc/meminfo: memFree=99369684/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=86848 memory=57040 CPUtime=1529.77 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18901 0 0 0 151385 1592 0 0 20 0 1 0 43021151 88932352 14260 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21712 14260 1863 992 0 13570 0
Current children cumulated CPU time: 1529.77 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 57040 KiB
[startup+1534.6 s]
/proc/loadavg: 4.09 4.12 3.49 5/256 318455
/proc/meminfo: memFree=99369684/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=86848 memory=57040 CPUtime=1529.97 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18901 0 0 0 151405 1592 0 0 20 0 1 0 43021151 88932352 14260 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21712 14260 1863 992 0 13570 0
Current children cumulated CPU time: 1529.97 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 57040 KiB
[startup+1534.7 s]
/proc/loadavg: 4.09 4.12 3.49 5/256 318455
/proc/meminfo: memFree=99369684/131524600 swapFree=131060368/131071996
[pid=317514] ppid=317511 vsize=86848 memory=57040 CPUtime=1530.08 cores=4,6
/proc/317514/stat : 317514 (roundingsat) R 317511 317514 317326 0 -1 4194304 18901 0 0 0 151415 1593 0 0 20 0 1 0 43021151 88932352 14260 134679101440 4194304 8254357 140736264230768 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 24637440 140736264233823 140736264234085 140736264234085 140736264241097 0
/proc/317514/statm: 21712 14260 1863 992 0 13570 0
Current children cumulated CPU time: 1530.08 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 57040 KiB
Child status: 0
Real time (s): 1534.75
CPU time (s): 1530.12
CPU user time (s): 1514.19
CPU system time (s): 15.9336
CPU usage (%): 99.6982
Max. virtual memory (cumulated for all children) (KiB): 86848
Max. memory (cumulated for all children) (KiB): 57040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1514.19
system time used= 15.9336
maximum resident set size= 57524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1918248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 2059
# summary of solver processes directly reported to runsolver:
# pid: 317514
# total CPU time (s): 1530.12
# total CPU user time (s): 1514.19
# total CPU system time (s): 15.9336
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.88414 second user time and 6.91919 second system time
The end
Begin job on nodeC014 at 2024-07-27 09:22:13 IDJOB=4460569 IDBENCH=147865 IDSOLVER=3086 FILE ID=nodeC014/4460569-1722064932 RUNJOBID= nodeC014-1722064836-317337 SLURM_JOB_ID= 8248084 Free space on /tmp= 890004 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17bt.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-4460569-1722064932/watcher-4460569-1722064932 -o /tmp/evaluation-result-4460569-1722064932/solver-4460569-1722064932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317337 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460569-1722064932 --lp-cut-gomory=0 HOME/instance-4460569-1722064932.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13744d26940a0db30366992d9fdeef8c RANDOM SEED=1994572972 nodeC014.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 : 3661.080 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 : 6999.45 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 : 3686.938 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 : 7005.48 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 : 3602.639 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 : 6999.45 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 : 3599.910 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 : 7005.48 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 : 3651.964 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 : 6999.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.006 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 : 7005.48 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 : 3661.060 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 : 6999.45 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 : 3599.816 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 : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 118854120 kB MemAvailable: 128831248 kB Buffers: 364904 kB Cached: 10404520 kB SwapCached: 140 kB Active: 823980 kB Inactive: 11154036 kB Active(anon): 2224 kB Inactive(anon): 1259136 kB Active(file): 821756 kB Inactive(file): 9894900 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060368 kB Dirty: 569544 kB Writeback: 0 kB AnonPages: 1205332 kB Mapped: 103516 kB Shmem: 52988 kB KReclaimable: 200592 kB Slab: 342904 kB SReclaimable: 200592 kB SUnreclaim: 142312 kB KernelStack: 4160 kB PageTables: 11880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1635220 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15328 kB HardwareCorrupted: 0 kB AnonHugePages: 342016 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: 393940 kB DirectMap2M: 46565376 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 890000 MiB End job on nodeC014 at 2024-07-27 09:47:47