| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | SAT | 1490.31 | 1494.5 |
| 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.02 c RoundingSat 2 0.00/0.02 c branch 0.00/0.02 c commit 0.00/0.02 c #variables 370 #constraints 809 0.00/0.06 c rational objective 51.4242 1.26/1.31 c #Conflicts: 1000 | #Constraints: 1808 1.26/1.31 c #Conflicts: 2000 | #Constraints: 2808 1.26/1.31 c INPROCESSING 1.26/1.31 c GARBAGE COLLECT 1.26/1.31 c #Conflicts: 3000 | #Constraints: 2782 1.26/1.31 c #Conflicts: 4000 | #Constraints: 3782 1.26/1.31 c INPROCESSING 1.26/1.31 c GARBAGE COLLECT 1.26/1.31 c #Conflicts: 5000 | #Constraints: 3190 1.26/1.31 c #Conflicts: 6000 | #Constraints: 4190 1.26/1.31 c INPROCESSING 1.26/1.31 c GARBAGE COLLECT 1.26/1.31 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.16/4.28 c #Conflicts: 13000 | #Constraints: 4341 4.16/4.28 c #Conflicts: 14000 | #Constraints: 5342 4.16/4.28 c #Conflicts: 15000 | #Constraints: 6343 4.16/4.28 c INPROCESSING 4.16/4.28 c GARBAGE COLLECT 4.16/4.28 c #Conflicts: 16000 | #Constraints: 4568 4.16/4.28 c #Conflicts: 17000 | #Constraints: 5569 4.16/4.28 c #Conflicts: 18000 | #Constraints: 6574 4.16/4.28 c INPROCESSING 4.16/4.28 c GARBAGE COLLECT 4.16/4.28 c rational objective 51.4524 5.97/6.04 c #Conflicts: 19000 | #Constraints: 4587 5.97/6.04 c #Conflicts: 20000 | #Constraints: 5587 5.97/6.04 c #Conflicts: 21000 | #Constraints: 6587 5.97/6.04 c INPROCESSING 5.97/6.04 c GARBAGE COLLECT 5.97/6.04 c #Conflicts: 22000 | #Constraints: 4385 5.97/6.04 c #Conflicts: 23000 | #Constraints: 5385 5.97/6.04 c #Conflicts: 24000 | #Constraints: 6385 5.97/6.04 c #Conflicts: 25000 | #Constraints: 7385 5.97/6.04 c INPROCESSING 5.97/6.04 c GARBAGE COLLECT 5.97/6.04 c rational objective 51.4563 7.16/7.24 c #Conflicts: 26000 | #Constraints: 4987 7.16/7.24 c #Conflicts: 27000 | #Constraints: 5988 7.16/7.24 c #Conflicts: 28000 | #Constraints: 6988 7.16/7.24 c #Conflicts: 29000 | #Constraints: 7989 7.16/7.24 c INPROCESSING 7.16/7.24 c GARBAGE COLLECT 7.16/7.24 c rational objective 51.4563 8.45/8.51 c #Conflicts: 30000 | #Constraints: 5389 8.45/8.51 c #Conflicts: 31000 | #Constraints: 6389 8.45/8.51 c #Conflicts: 32000 | #Constraints: 7389 8.45/8.51 c #Conflicts: 33000 | #Constraints: 8390 8.45/8.51 c INPROCESSING 8.45/8.51 c GARBAGE COLLECT 8.45/8.51 c rational objective 51.4584 9.95/10.09 c #Conflicts: 34000 | #Constraints: 5591 9.95/10.09 c #Conflicts: 35000 | #Constraints: 6591 9.95/10.09 c #Conflicts: 36000 | #Constraints: 7594 9.95/10.09 c #Conflicts: 37000 | #Constraints: 8594 9.95/10.09 c INPROCESSING 9.95/10.09 c GARBAGE COLLECT 9.95/10.09 c rational objective 51.4689 11.45/11.59 c #Conflicts: 38000 | #Constraints: 5590 11.45/11.59 c #Conflicts: 39000 | #Constraints: 6591 11.45/11.59 c #Conflicts: 40000 | #Constraints: 7592 11.45/11.59 c #Conflicts: 41000 | #Constraints: 8592 11.45/11.59 c INPROCESSING 11.45/11.59 c GARBAGE COLLECT 11.45/11.59 c rational objective 51.4695 13.04/13.13 c #Conflicts: 42000 | #Constraints: 5393 13.04/13.13 c #Conflicts: 43000 | #Constraints: 6393 13.04/13.13 c #Conflicts: 44000 | #Constraints: 7393 13.04/13.13 c #Conflicts: 45000 | #Constraints: 8393 13.04/13.13 c #Conflicts: 46000 | #Constraints: 9393 13.04/13.13 c INPROCESSING 13.04/13.13 c GARBAGE COLLECT 13.04/13.13 c rational objective 51.4696 16.04/16.14 c #Conflicts: 47000 | #Constraints: 5986 16.04/16.14 c #Conflicts: 48000 | #Constraints: 6986 16.04/16.14 c #Conflicts: 49000 | #Constraints: 7986 16.04/16.14 c #Conflicts: 50000 | #Constraints: 8987 16.04/16.14 c #Conflicts: 51000 | #Constraints: 9987 16.04/16.14 c INPROCESSING 16.04/16.14 c GARBAGE COLLECT 16.04/16.14 c #Conflicts: 52000 | #Constraints: 6390 16.04/16.14 c #Conflicts: 53000 | #Constraints: 7390 16.04/16.14 c #Conflicts: 54000 | #Constraints: 8390 16.04/16.14 c #Conflicts: 55000 | #Constraints: 9390 16.04/16.14 c #Conflicts: 56000 | #Constraints: 10390 16.04/16.14 c INPROCESSING 16.04/16.14 c GARBAGE COLLECT 16.04/16.14 c rational objective 51.4753 18.03/18.18 c #Conflicts: 57000 | #Constraints: 6588 18.03/18.18 c #Conflicts: 58000 | #Constraints: 7589 18.03/18.18 c #Conflicts: 59000 | #Constraints: 8590 18.03/18.18 c #Conflicts: 60000 | #Constraints: 9590 18.03/18.18 c #Conflicts: 61000 | #Constraints: 10590 18.03/18.18 c INPROCESSING 18.03/18.18 c GARBAGE COLLECT 18.03/18.18 c rational objective 51.4754 20.22/20.31 c #Conflicts: 62000 | #Constraints: 6589 20.22/20.31 c #Conflicts: 63000 | #Constraints: 7589 20.22/20.31 c #Conflicts: 64000 | #Constraints: 8589 20.22/20.31 c #Conflicts: 65000 | #Constraints: 9589 20.22/20.31 c #Conflicts: 66000 | #Constraints: 10590 20.22/20.31 c INPROCESSING 20.22/20.31 c GARBAGE COLLECT 20.22/20.31 c rational objective 51.4757 22.52/22.60 c #Conflicts: 67000 | #Constraints: 6389 22.52/22.60 c #Conflicts: 68000 | #Constraints: 7389 22.52/22.60 c #Conflicts: 69000 | #Constraints: 8389 22.52/22.60 c #Conflicts: 70000 | #Constraints: 9389 22.52/22.60 c #Conflicts: 71000 | #Constraints: 10389 22.52/22.60 c #Conflicts: 72000 | #Constraints: 11389 22.52/22.60 c INPROCESSING 22.52/22.60 c GARBAGE COLLECT 22.52/22.60 c rational objective 51.4763 24.61/24.70 c #Conflicts: 73000 | #Constraints: 6988 24.61/24.70 c #Conflicts: 74000 | #Constraints: 7988 24.61/24.70 c #Conflicts: 75000 | #Constraints: 8988 24.61/24.70 c #Conflicts: 76000 | #Constraints: 9988 24.61/24.70 c #Conflicts: 77000 | #Constraints: 10990 24.61/24.70 c #Conflicts: 78000 | #Constraints: 11992 24.61/24.70 c INPROCESSING 24.61/24.70 c GARBAGE COLLECT 24.61/24.70 c rational objective 51.477 27.01/27.19 c #Conflicts: 79000 | #Constraints: 7387 27.01/27.19 c #Conflicts: 80000 | #Constraints: 8387 27.01/27.19 c #Conflicts: 81000 | #Constraints: 9387 27.01/27.19 c #Conflicts: 82000 | #Constraints: 10388 27.01/27.19 c #Conflicts: 83000 | #Constraints: 11388 27.01/27.19 c #Conflicts: 84000 | #Constraints: 12388 27.01/27.19 c INPROCESSING 27.01/27.19 c GARBAGE COLLECT 27.01/27.19 c rational objective 51.4772 30.30/30.50 c #Conflicts: 85000 | #Constraints: 7587 30.30/30.50 c #Conflicts: 86000 | #Constraints: 8588 30.30/30.50 c #Conflicts: 87000 | #Constraints: 9588 30.30/30.50 c #Conflicts: 88000 | #Constraints: 10588 30.30/30.50 c #Conflicts: 89000 | #Constraints: 11589 30.30/30.50 c #Conflicts: 90000 | #Constraints: 12590 30.30/30.50 c INPROCESSING 30.30/30.50 c GARBAGE COLLECT 30.30/30.50 c rational objective 51.4788 34.39/34.55 c #Conflicts: 91000 | #Constraints: 7599 34.39/34.55 c #Conflicts: 92000 | #Constraints: 8600 34.39/34.55 c #Conflicts: 93000 | #Constraints: 9600 34.39/34.55 c #Conflicts: 94000 | #Constraints: 10600 34.39/34.55 c #Conflicts: 95000 | #Constraints: 11600 34.39/34.55 c #Conflicts: 96000 | #Constraints: 12600 34.39/34.55 c INPROCESSING 34.39/34.55 c GARBAGE COLLECT 34.39/34.55 c rational objective 51.4788 37.68/37.82 c #Conflicts: 97000 | #Constraints: 7410 37.68/37.82 c #Conflicts: 98000 | #Constraints: 8410 37.68/37.82 c #Conflicts: 99000 | #Constraints: 9410 37.68/37.82 c #Conflicts: 100000 | #Constraints: 10412 37.68/37.82 c #Conflicts: 101000 | #Constraints: 11412 37.68/37.82 c #Conflicts: 102000 | #Constraints: 12412 37.68/37.82 c #Conflicts: 103000 | #Constraints: 13412 37.68/37.82 c INPROCESSING 37.68/37.82 c GARBAGE COLLECT 37.68/37.82 c rational objective 51.4875 40.17/40.36 c #Conflicts: 104000 | #Constraints: 8002 40.17/40.36 c #Conflicts: 105000 | #Constraints: 9002 40.17/40.36 c #Conflicts: 106000 | #Constraints: 10003 40.17/40.36 c #Conflicts: 107000 | #Constraints: 11004 40.17/40.36 c #Conflicts: 108000 | #Constraints: 12004 40.17/40.36 c #Conflicts: 109000 | #Constraints: 13005 40.17/40.36 c #Conflicts: 110000 | #Constraints: 14005 40.17/40.36 c INPROCESSING 40.17/40.36 c GARBAGE COLLECT 40.17/40.36 c rational objective 51.4884 42.87/43.03 c #Conflicts: 111000 | #Constraints: 8398 42.87/43.03 c #Conflicts: 112000 | #Constraints: 9398 42.87/43.03 c #Conflicts: 113000 | #Constraints: 10399 42.87/43.03 c #Conflicts: 114000 | #Constraints: 11399 42.87/43.03 c #Conflicts: 115000 | #Constraints: 12400 42.87/43.03 c #Conflicts: 116000 | #Constraints: 13400 42.87/43.03 c #Conflicts: 117000 | #Constraints: 14400 42.87/43.03 c INPROCESSING 42.87/43.03 c GARBAGE COLLECT 42.87/43.03 c rational objective 51.4884 45.97/46.13 c #Conflicts: 118000 | #Constraints: 8594 45.97/46.13 c #Conflicts: 119000 | #Constraints: 9595 45.97/46.13 c #Conflicts: 120000 | #Constraints: 10595 45.97/46.13 c #Conflicts: 121000 | #Constraints: 11595 45.97/46.13 c #Conflicts: 122000 | #Constraints: 12596 45.97/46.13 c #Conflicts: 123000 | #Constraints: 13596 45.97/46.13 c #Conflicts: 124000 | #Constraints: 14597 45.97/46.13 c INPROCESSING 45.97/46.13 c GARBAGE COLLECT 45.97/46.13 c rational objective 51.4886 49.24/49.45 c #Conflicts: 125000 | #Constraints: 8600 49.24/49.45 c #Conflicts: 126000 | #Constraints: 9600 49.24/49.45 c #Conflicts: 127000 | #Constraints: 10601 49.24/49.45 c #Conflicts: 128000 | #Constraints: 11601 49.24/49.45 c #Conflicts: 129000 | #Constraints: 12602 49.24/49.45 c #Conflicts: 130000 | #Constraints: 13602 49.24/49.45 c #Conflicts: 131000 | #Constraints: 14603 49.24/49.45 c INPROCESSING 49.24/49.45 c GARBAGE COLLECT 49.24/49.45 c rational objective 51.4897 52.44/52.63 c #Conflicts: 132000 | #Constraints: 8393 52.44/52.63 c #Conflicts: 133000 | #Constraints: 9393 52.44/52.63 c #Conflicts: 134000 | #Constraints: 10395 52.44/52.63 c #Conflicts: 135000 | #Constraints: 11396 52.44/52.63 c #Conflicts: 136000 | #Constraints: 12397 52.44/52.63 c #Conflicts: 137000 | #Constraints: 13398 52.44/52.63 c #Conflicts: 138000 | #Constraints: 14399 52.44/52.63 c #Conflicts: 139000 | #Constraints: 15399 52.44/52.63 c INPROCESSING 52.44/52.63 c GARBAGE COLLECT 52.44/52.63 c rational objective 51.49 55.63/55.81 c #Conflicts: 140000 | #Constraints: 8993 55.63/55.81 c #Conflicts: 141000 | #Constraints: 9993 55.63/55.81 c #Conflicts: 142000 | #Constraints: 10993 55.63/55.81 c #Conflicts: 143000 | #Constraints: 11993 55.63/55.81 c #Conflicts: 144000 | #Constraints: 12993 55.63/55.81 c #Conflicts: 145000 | #Constraints: 13993 55.63/55.81 c #Conflicts: 146000 | #Constraints: 14993 55.63/55.81 c #Conflicts: 147000 | #Constraints: 15993 55.63/55.81 c INPROCESSING 55.63/55.81 c GARBAGE COLLECT 55.63/55.81 c rational objective 51.49 59.12/59.34 c #Conflicts: 148000 | #Constraints: 9390 59.12/59.34 c #Conflicts: 149000 | #Constraints: 10391 59.12/59.34 c #Conflicts: 150000 | #Constraints: 11391 59.12/59.34 c #Conflicts: 151000 | #Constraints: 12391 59.12/59.34 c #Conflicts: 152000 | #Constraints: 13391 59.12/59.34 c #Conflicts: 153000 | #Constraints: 14392 59.12/59.34 c #Conflicts: 154000 | #Constraints: 15392 59.12/59.34 c #Conflicts: 155000 | #Constraints: 16392 59.12/59.34 c INPROCESSING 59.12/59.34 c GARBAGE COLLECT 59.12/59.34 c rational objective 51.49 62.92/63.12 c #Conflicts: 156000 | #Constraints: 9593 62.92/63.12 c #Conflicts: 157000 | #Constraints: 10593 62.92/63.12 c #Conflicts: 158000 | #Constraints: 11595 62.92/63.12 c #Conflicts: 159000 | #Constraints: 12596 62.92/63.12 c #Conflicts: 160000 | #Constraints: 13597 62.92/63.12 c #Conflicts: 161000 | #Constraints: 14597 62.92/63.12 c #Conflicts: 162000 | #Constraints: 15597 62.92/63.12 c #Conflicts: 163000 | #Constraints: 16597 62.92/63.12 c INPROCESSING 62.92/63.12 c GARBAGE COLLECT 62.92/63.12 c rational objective 51.4909 66.91/67.16 c #Conflicts: 164000 | #Constraints: 9594 66.91/67.16 c #Conflicts: 165000 | #Constraints: 10594 66.91/67.16 c #Conflicts: 166000 | #Constraints: 11597 66.91/67.16 c #Conflicts: 167000 | #Constraints: 12597 66.91/67.16 c #Conflicts: 168000 | #Constraints: 13599 66.91/67.16 c #Conflicts: 169000 | #Constraints: 14600 66.91/67.16 c #Conflicts: 170000 | #Constraints: 15601 66.91/67.16 c #Conflicts: 171000 | #Constraints: 16602 66.91/67.16 c INPROCESSING 66.91/67.16 c GARBAGE COLLECT 66.91/67.16 c rational objective 51.4909 70.90/71.12 c #Conflicts: 172000 | #Constraints: 9394 70.90/71.12 c #Conflicts: 173000 | #Constraints: 10394 70.90/71.12 c #Conflicts: 174000 | #Constraints: 11394 70.90/71.12 c #Conflicts: 175000 | #Constraints: 12394 70.90/71.12 c #Conflicts: 176000 | #Constraints: 13394 70.90/71.12 c #Conflicts: 177000 | #Constraints: 14394 70.90/71.12 c #Conflicts: 178000 | #Constraints: 15396 70.90/71.12 c #Conflicts: 179000 | #Constraints: 16396 70.90/71.12 c #Conflicts: 180000 | #Constraints: 17397 70.90/71.12 c INPROCESSING 70.90/71.12 c GARBAGE COLLECT 70.90/71.12 c rational objective 51.4956 74.98/75.22 c #Conflicts: 181000 | #Constraints: 10000 74.98/75.22 c #Conflicts: 182000 | #Constraints: 11001 74.98/75.22 c #Conflicts: 183000 | #Constraints: 12002 74.98/75.22 c #Conflicts: 184000 | #Constraints: 13002 74.98/75.22 c #Conflicts: 185000 | #Constraints: 14002 74.98/75.22 c #Conflicts: 186000 | #Constraints: 15002 74.98/75.22 c #Conflicts: 187000 | #Constraints: 16002 74.98/75.22 c #Conflicts: 188000 | #Constraints: 17002 74.98/75.22 c #Conflicts: 189000 | #Constraints: 18002 74.98/75.22 c INPROCESSING 74.98/75.22 c GARBAGE COLLECT 74.98/75.22 c rational objective 51.5198 82.36/82.60 c #Conflicts: 190000 | #Constraints: 10406 82.36/82.60 c #Conflicts: 191000 | #Constraints: 11406 82.36/82.60 c #Conflicts: 192000 | #Constraints: 12408 82.36/82.60 c #Conflicts: 193000 | #Constraints: 13408 82.36/82.60 c #Conflicts: 194000 | #Constraints: 14408 82.36/82.60 c #Conflicts: 195000 | #Constraints: 15408 82.36/82.60 c #Conflicts: 196000 | #Constraints: 16409 82.36/82.60 c #Conflicts: 197000 | #Constraints: 17409 82.36/82.60 c #Conflicts: 198000 | #Constraints: 18410 82.36/82.60 c INPROCESSING 82.36/82.60 c GARBAGE COLLECT 82.36/82.60 c rational objective 51.5222 89.04/89.34 c #Conflicts: 199000 | #Constraints: 10615 89.04/89.34 c #Conflicts: 200000 | #Constraints: 11615 89.04/89.34 c #Conflicts: 201000 | #Constraints: 12615 89.04/89.34 c #Conflicts: 202000 | #Constraints: 13615 89.04/89.34 c #Conflicts: 203000 | #Constraints: 14615 89.04/89.34 c #Conflicts: 204000 | #Constraints: 15615 89.04/89.34 c #Conflicts: 205000 | #Constraints: 16615 89.04/89.34 c #Conflicts: 206000 | #Constraints: 17615 89.04/89.34 c #Conflicts: 207000 | #Constraints: 18615 89.04/89.34 c INPROCESSING 89.04/89.34 c GARBAGE COLLECT 89.04/89.34 c rational objective 51.5224 94.23/94.54 c #Conflicts: 208000 | #Constraints: 10616 94.23/94.54 c #Conflicts: 209000 | #Constraints: 11616 94.23/94.54 c #Conflicts: 210000 | #Constraints: 12616 94.23/94.54 c #Conflicts: 211000 | #Constraints: 13616 94.23/94.54 c #Conflicts: 212000 | #Constraints: 14617 94.23/94.54 c #Conflicts: 213000 | #Constraints: 15617 94.23/94.54 c #Conflicts: 214000 | #Constraints: 16618 94.23/94.54 c #Conflicts: 215000 | #Constraints: 17618 94.23/94.54 c #Conflicts: 216000 | #Constraints: 18618 94.23/94.54 c INPROCESSING 94.23/94.54 c GARBAGE COLLECT 94.23/94.54 c rational objective 51.5255 100.61/100.98 c #Conflicts: 217000 | #Constraints: 10407 100.61/100.98 c #Conflicts: 218000 | #Constraints: 11407 100.61/100.98 c #Conflicts: 219000 | #Constraints: 12407 100.61/100.98 c #Conflicts: 220000 | #Constraints: 13407 100.61/100.98 c #Conflicts: 221000 | #Constraints: 14407 100.61/100.98 c #Conflicts: 222000 | #Constraints: 15407 100.61/100.98 c #Conflicts: 223000 | #Constraints: 16408 100.61/100.98 c #Conflicts: 224000 | #Constraints: 17408 100.61/100.98 c #Conflicts: 225000 | #Constraints: 18409 100.61/100.98 c #Conflicts: 226000 | #Constraints: 19409 100.61/100.98 c INPROCESSING 100.61/100.98 c GARBAGE COLLECT 100.61/100.98 c rational objective 51.5269 106.00/106.30 c #Conflicts: 227000 | #Constraints: 11004 106.00/106.30 c #Conflicts: 228000 | #Constraints: 12005 106.00/106.30 c #Conflicts: 229000 | #Constraints: 13005 106.00/106.30 c #Conflicts: 230000 | #Constraints: 14005 106.00/106.30 c #Conflicts: 231000 | #Constraints: 15005 106.00/106.30 c #Conflicts: 232000 | #Constraints: 16006 106.00/106.30 c #Conflicts: 233000 | #Constraints: 17007 106.00/106.30 c #Conflicts: 234000 | #Constraints: 18008 106.00/106.30 c #Conflicts: 235000 | #Constraints: 19008 106.00/106.30 c #Conflicts: 236000 | #Constraints: 20008 106.00/106.30 c INPROCESSING 106.00/106.30 c GARBAGE COLLECT 106.00/106.30 c rational objective 51.5269 110.98/111.32 c #Conflicts: 237000 | #Constraints: 11404 110.98/111.32 c #Conflicts: 238000 | #Constraints: 12405 110.98/111.32 c #Conflicts: 239000 | #Constraints: 13405 110.98/111.32 c #Conflicts: 240000 | #Constraints: 14406 110.98/111.32 c #Conflicts: 241000 | #Constraints: 15406 110.98/111.32 c #Conflicts: 242000 | #Constraints: 16406 110.98/111.32 c #Conflicts: 243000 | #Constraints: 17406 110.98/111.32 c #Conflicts: 244000 | #Constraints: 18407 110.98/111.32 c #Conflicts: 245000 | #Constraints: 19407 110.98/111.32 c #Conflicts: 246000 | #Constraints: 20407 110.98/111.32 c INPROCESSING 110.98/111.32 c GARBAGE COLLECT 110.98/111.32 c rational objective 51.5269 116.37/116.76 c #Conflicts: 247000 | #Constraints: 11601 116.37/116.76 c #Conflicts: 248000 | #Constraints: 12603 116.37/116.76 c #Conflicts: 249000 | #Constraints: 13604 116.37/116.76 c #Conflicts: 250000 | #Constraints: 14604 116.37/116.76 c #Conflicts: 251000 | #Constraints: 15605 116.37/116.76 c #Conflicts: 252000 | #Constraints: 16605 116.37/116.76 c #Conflicts: 253000 | #Constraints: 17605 116.37/116.76 c #Conflicts: 254000 | #Constraints: 18605 116.37/116.76 c #Conflicts: 255000 | #Constraints: 19605 116.37/116.76 c #Conflicts: 256000 | #Constraints: 20605 116.37/116.76 c INPROCESSING 116.37/116.76 c GARBAGE COLLECT 116.37/116.76 c rational objective 51.5386 121.66/122.04 c #Conflicts: 257000 | #Constraints: 11603 121.66/122.04 c #Conflicts: 258000 | #Constraints: 12603 121.66/122.04 c #Conflicts: 259000 | #Constraints: 13603 121.66/122.04 c #Conflicts: 260000 | #Constraints: 14603 121.66/122.04 c #Conflicts: 261000 | #Constraints: 15603 121.66/122.04 c #Conflicts: 262000 | #Constraints: 16603 121.66/122.04 c #Conflicts: 263000 | #Constraints: 17604 121.66/122.04 c #Conflicts: 264000 | #Constraints: 18604 121.66/122.04 c #Conflicts: 265000 | #Constraints: 19604 121.66/122.04 c #Conflicts: 266000 | #Constraints: 20605 121.66/122.04 c INPROCESSING 121.66/122.04 c GARBAGE COLLECT 121.66/122.04 c rational objective 51.5393 126.65/127.07 c #Conflicts: 267000 | #Constraints: 11401 126.65/127.07 c #Conflicts: 268000 | #Constraints: 12401 126.65/127.07 c #Conflicts: 269000 | #Constraints: 13402 126.65/127.07 c #Conflicts: 270000 | #Constraints: 14402 126.65/127.07 c #Conflicts: 271000 | #Constraints: 15403 126.65/127.07 c #Conflicts: 272000 | #Constraints: 16403 126.65/127.07 c #Conflicts: 273000 | #Constraints: 17403 126.65/127.07 c #Conflicts: 274000 | #Constraints: 18405 126.65/127.07 c #Conflicts: 275000 | #Constraints: 19405 126.65/127.07 c #Conflicts: 276000 | #Constraints: 20406 126.65/127.07 c #Conflicts: 277000 | #Constraints: 21406 126.65/127.07 c INPROCESSING 126.65/127.07 c GARBAGE COLLECT 126.65/127.07 c rational objective 51.5393 131.92/132.38 c #Conflicts: 278000 | #Constraints: 12000 131.92/132.38 c #Conflicts: 279000 | #Constraints: 13000 131.92/132.38 c #Conflicts: 280000 | #Constraints: 14000 131.92/132.38 c #Conflicts: 281000 | #Constraints: 15000 131.92/132.38 c #Conflicts: 282000 | #Constraints: 16000 131.92/132.38 c #Conflicts: 283000 | #Constraints: 17000 131.92/132.38 c #Conflicts: 284000 | #Constraints: 18000 131.92/132.38 c #Conflicts: 285000 | #Constraints: 19001 131.92/132.38 c #Conflicts: 286000 | #Constraints: 20001 131.92/132.38 c #Conflicts: 287000 | #Constraints: 21001 131.92/132.38 c #Conflicts: 288000 | #Constraints: 22003 131.92/132.38 c INPROCESSING 131.92/132.38 c GARBAGE COLLECT 131.92/132.38 c rational objective 51.5437 137.71/138.16 c #Conflicts: 289000 | #Constraints: 12404 137.71/138.16 c #Conflicts: 290000 | #Constraints: 13405 137.71/138.16 c #Conflicts: 291000 | #Constraints: 14406 137.71/138.16 c #Conflicts: 292000 | #Constraints: 15406 137.71/138.16 c #Conflicts: 293000 | #Constraints: 16407 137.71/138.16 c #Conflicts: 294000 | #Constraints: 17407 137.71/138.16 c #Conflicts: 295000 | #Constraints: 18407 137.71/138.16 c #Conflicts: 296000 | #Constraints: 19407 137.71/138.16 c #Conflicts: 297000 | #Constraints: 20407 137.71/138.16 c #Conflicts: 298000 | #Constraints: 21407 137.71/138.16 c #Conflicts: 299000 | #Constraints: 22407 137.71/138.16 c INPROCESSING 137.71/138.16 c GARBAGE COLLECT 137.71/138.16 c rational objective 51.5437 144.19/144.61 c #Conflicts: 300000 | #Constraints: 12600 144.19/144.61 c #Conflicts: 301000 | #Constraints: 13600 144.19/144.61 c #Conflicts: 302000 | #Constraints: 14603 144.19/144.61 c #Conflicts: 303000 | #Constraints: 15603 144.19/144.61 c #Conflicts: 304000 | #Constraints: 16605 144.19/144.61 c #Conflicts: 305000 | #Constraints: 17605 144.19/144.61 c #Conflicts: 306000 | #Constraints: 18605 144.19/144.61 c #Conflicts: 307000 | #Constraints: 19606 144.19/144.61 c #Conflicts: 308000 | #Constraints: 20607 144.19/144.61 c #Conflicts: 309000 | #Constraints: 21607 144.19/144.61 c #Conflicts: 310000 | #Constraints: 22607 144.19/144.61 c INPROCESSING 144.19/144.61 c GARBAGE COLLECT 144.19/144.61 c rational objective 51.5437 150.27/150.79 c #Conflicts: 311000 | #Constraints: 12602 150.27/150.79 c #Conflicts: 312000 | #Constraints: 13602 150.27/150.79 c #Conflicts: 313000 | #Constraints: 14602 150.27/150.79 c #Conflicts: 314000 | #Constraints: 15602 150.27/150.79 c #Conflicts: 315000 | #Constraints: 16604 150.27/150.79 c #Conflicts: 316000 | #Constraints: 17605 150.27/150.79 c #Conflicts: 317000 | #Constraints: 18606 150.27/150.79 c #Conflicts: 318000 | #Constraints: 19609 150.27/150.79 c #Conflicts: 319000 | #Constraints: 20610 150.27/150.79 c #Conflicts: 320000 | #Constraints: 21610 150.27/150.79 c #Conflicts: 321000 | #Constraints: 22610 150.27/150.79 c INPROCESSING 150.27/150.79 c GARBAGE COLLECT 150.27/150.79 c rational objective 51.5437 161.34/161.86 c #Conflicts: 322000 | #Constraints: 12403 161.34/161.86 c #Conflicts: 323000 | #Constraints: 13404 161.34/161.86 c #Conflicts: 324000 | #Constraints: 14404 161.34/161.86 c #Conflicts: 325000 | #Constraints: 15404 161.34/161.86 c #Conflicts: 326000 | #Constraints: 16404 161.34/161.86 c #Conflicts: 327000 | #Constraints: 17405 161.34/161.86 c #Conflicts: 328000 | #Constraints: 18406 161.34/161.86 c #Conflicts: 329000 | #Constraints: 19407 161.34/161.86 c #Conflicts: 330000 | #Constraints: 20407 161.34/161.86 c #Conflicts: 331000 | #Constraints: 21407 161.34/161.86 c #Conflicts: 332000 | #Constraints: 22407 161.34/161.86 c #Conflicts: 333000 | #Constraints: 23407 161.34/161.86 c INPROCESSING 161.34/161.86 c GARBAGE COLLECT 161.34/161.86 c rational objective 51.5437 168.23/168.72 c #Conflicts: 334000 | #Constraints: 13012 168.23/168.72 c #Conflicts: 335000 | #Constraints: 14012 168.23/168.72 c #Conflicts: 336000 | #Constraints: 15013 168.23/168.72 c #Conflicts: 337000 | #Constraints: 16013 168.23/168.72 c #Conflicts: 338000 | #Constraints: 17013 168.23/168.72 c #Conflicts: 339000 | #Constraints: 18013 168.23/168.72 c #Conflicts: 340000 | #Constraints: 19013 168.23/168.72 c #Conflicts: 341000 | #Constraints: 20013 168.23/168.72 c #Conflicts: 342000 | #Constraints: 21014 168.23/168.72 c #Conflicts: 343000 | #Constraints: 22014 168.23/168.72 c #Conflicts: 344000 | #Constraints: 23015 168.23/168.72 c #Conflicts: 345000 | #Constraints: 24015 168.23/168.72 c INPROCESSING 168.23/168.72 c GARBAGE COLLECT 168.23/168.72 c rational objective 51.5437 175.22/175.73 c #Conflicts: 346000 | #Constraints: 13405 175.22/175.73 c #Conflicts: 347000 | #Constraints: 14406 175.22/175.73 c #Conflicts: 348000 | #Constraints: 15407 175.22/175.73 c #Conflicts: 349000 | #Constraints: 16407 175.22/175.73 c #Conflicts: 350000 | #Constraints: 17407 175.22/175.73 c #Conflicts: 351000 | #Constraints: 18408 175.22/175.73 c #Conflicts: 352000 | #Constraints: 19408 175.22/175.73 c #Conflicts: 353000 | #Constraints: 20408 175.22/175.73 c #Conflicts: 354000 | #Constraints: 21408 175.22/175.73 c #Conflicts: 355000 | #Constraints: 22408 175.22/175.73 c #Conflicts: 356000 | #Constraints: 23408 175.22/175.73 c #Conflicts: 357000 | #Constraints: 24408 175.22/175.73 c INPROCESSING 175.22/175.73 c GARBAGE COLLECT 175.22/175.73 c rational objective 51.5437 181.90/182.42 c #Conflicts: 358000 | #Constraints: 13606 181.90/182.42 c #Conflicts: 359000 | #Constraints: 14606 181.90/182.42 c #Conflicts: 360000 | #Constraints: 15606 181.90/182.42 c #Conflicts: 361000 | #Constraints: 16607 181.90/182.42 c #Conflicts: 362000 | #Constraints: 17608 181.90/182.42 c #Conflicts: 363000 | #Constraints: 18608 181.90/182.42 c #Conflicts: 364000 | #Constraints: 19608 181.90/182.42 c #Conflicts: 365000 | #Constraints: 20609 181.90/182.42 c #Conflicts: 366000 | #Constraints: 21609 181.90/182.42 c #Conflicts: 367000 | #Constraints: 22609 181.90/182.42 c #Conflicts: 368000 | #Constraints: 23609 181.90/182.42 c #Conflicts: 369000 | #Constraints: 24609 181.90/182.42 c INPROCESSING 181.90/182.42 c GARBAGE COLLECT 181.90/182.42 c rational objective 51.5437 189.18/189.77 c #Conflicts: 370000 | #Constraints: 13602 189.18/189.77 c #Conflicts: 371000 | #Constraints: 14604 189.18/189.77 c #Conflicts: 372000 | #Constraints: 15605 189.18/189.77 c #Conflicts: 373000 | #Constraints: 16607 189.18/189.77 c #Conflicts: 374000 | #Constraints: 17607 189.18/189.77 c #Conflicts: 375000 | #Constraints: 18607 189.18/189.77 c #Conflicts: 376000 | #Constraints: 19607 189.18/189.77 c #Conflicts: 377000 | #Constraints: 20608 189.18/189.77 c #Conflicts: 378000 | #Constraints: 21610 189.18/189.77 c #Conflicts: 379000 | #Constraints: 22611 189.18/189.77 c #Conflicts: 380000 | #Constraints: 23611 189.18/189.77 c #Conflicts: 381000 | #Constraints: 24611 189.18/189.77 c INPROCESSING 189.18/189.77 c GARBAGE COLLECT 189.18/189.77 c rational objective 51.5437 196.47/197.03 c #Conflicts: 382000 | #Constraints: 13404 196.47/197.03 c #Conflicts: 383000 | #Constraints: 14405 196.47/197.03 c #Conflicts: 384000 | #Constraints: 15406 196.47/197.03 c #Conflicts: 385000 | #Constraints: 16406 196.47/197.03 c #Conflicts: 386000 | #Constraints: 17408 196.47/197.03 c #Conflicts: 387000 | #Constraints: 18408 196.47/197.03 c #Conflicts: 388000 | #Constraints: 19408 196.47/197.03 c #Conflicts: 389000 | #Constraints: 20408 196.47/197.03 c #Conflicts: 390000 | #Constraints: 21410 196.47/197.03 c #Conflicts: 391000 | #Constraints: 22410 196.47/197.03 c #Conflicts: 392000 | #Constraints: 23411 196.47/197.03 c #Conflicts: 393000 | #Constraints: 24413 196.47/197.03 c #Conflicts: 394000 | #Constraints: 25413 196.47/197.03 c INPROCESSING 196.47/197.03 c GARBAGE COLLECT 196.47/197.03 c rational objective 51.5437 204.84/205.45 c #Conflicts: 395000 | #Constraints: 13997 204.84/205.45 c #Conflicts: 396000 | #Constraints: 14997 204.84/205.45 c #Conflicts: 397000 | #Constraints: 15997 204.84/205.45 c #Conflicts: 398000 | #Constraints: 16997 204.84/205.45 c #Conflicts: 399000 | #Constraints: 17997 204.84/205.45 c #Conflicts: 400000 | #Constraints: 18997 204.84/205.45 c #Conflicts: 401000 | #Constraints: 19998 204.84/205.45 c #Conflicts: 402000 | #Constraints: 20998 204.84/205.45 c #Conflicts: 403000 | #Constraints: 21998 204.84/205.45 c #Conflicts: 404000 | #Constraints: 22998 204.84/205.45 c #Conflicts: 405000 | #Constraints: 23998 204.84/205.45 c #Conflicts: 406000 | #Constraints: 24998 204.84/205.45 c #Conflicts: 407000 | #Constraints: 25998 204.84/205.45 c INPROCESSING 204.84/205.45 c GARBAGE COLLECT 204.84/205.45 c rational objective 51.5437 212.82/213.49 c #Conflicts: 408000 | #Constraints: 14395 212.82/213.49 c #Conflicts: 409000 | #Constraints: 15395 212.82/213.49 c #Conflicts: 410000 | #Constraints: 16396 212.82/213.49 c #Conflicts: 411000 | #Constraints: 17397 212.82/213.49 c #Conflicts: 412000 | #Constraints: 18398 212.82/213.49 c #Conflicts: 413000 | #Constraints: 19399 212.82/213.49 c #Conflicts: 414000 | #Constraints: 20399 212.82/213.49 c #Conflicts: 415000 | #Constraints: 21399 212.82/213.49 c #Conflicts: 416000 | #Constraints: 22399 212.82/213.49 c #Conflicts: 417000 | #Constraints: 23400 212.82/213.49 c #Conflicts: 418000 | #Constraints: 24400 212.82/213.49 c #Conflicts: 419000 | #Constraints: 25400 212.82/213.49 c #Conflicts: 420000 | #Constraints: 26400 212.82/213.49 c INPROCESSING 212.82/213.49 c GARBAGE COLLECT 212.82/213.49 c rational objective 51.5437 220.50/221.18 c #Conflicts: 421000 | #Constraints: 14601 220.50/221.18 c #Conflicts: 422000 | #Constraints: 15601 220.50/221.18 c #Conflicts: 423000 | #Constraints: 16601 220.50/221.18 c #Conflicts: 424000 | #Constraints: 17601 220.50/221.18 c #Conflicts: 425000 | #Constraints: 18602 220.50/221.18 c #Conflicts: 426000 | #Constraints: 19602 220.50/221.18 c #Conflicts: 427000 | #Constraints: 20602 220.50/221.18 c #Conflicts: 428000 | #Constraints: 21602 220.50/221.18 c #Conflicts: 429000 | #Constraints: 22602 220.50/221.18 c #Conflicts: 430000 | #Constraints: 23602 220.50/221.18 c #Conflicts: 431000 | #Constraints: 24602 220.50/221.18 c #Conflicts: 432000 | #Constraints: 25603 220.50/221.18 c #Conflicts: 433000 | #Constraints: 26604 220.50/221.18 c INPROCESSING 220.50/221.18 c GARBAGE COLLECT 220.50/221.18 c rational objective 51.5437 228.87/229.58 c #Conflicts: 434000 | #Constraints: 14605 228.87/229.58 c #Conflicts: 435000 | #Constraints: 15606 228.87/229.58 c #Conflicts: 436000 | #Constraints: 16606 228.87/229.58 c #Conflicts: 437000 | #Constraints: 17606 228.87/229.58 c #Conflicts: 438000 | #Constraints: 18607 228.87/229.58 c #Conflicts: 439000 | #Constraints: 19608 228.87/229.58 c #Conflicts: 440000 | #Constraints: 20608 228.87/229.58 c #Conflicts: 441000 | #Constraints: 21608 228.87/229.58 c #Conflicts: 442000 | #Constraints: 22609 228.87/229.58 c #Conflicts: 443000 | #Constraints: 23609 228.87/229.58 c #Conflicts: 444000 | #Constraints: 24609 228.87/229.58 c #Conflicts: 445000 | #Constraints: 25609 228.87/229.58 c #Conflicts: 446000 | #Constraints: 26609 228.87/229.58 c INPROCESSING 228.87/229.58 c GARBAGE COLLECT 228.87/229.58 c rational objective 51.5437 247.53/248.24 c #Conflicts: 447000 | #Constraints: 14408 247.53/248.24 c #Conflicts: 448000 | #Constraints: 15408 247.53/248.24 c #Conflicts: 449000 | #Constraints: 16409 247.53/248.24 c #Conflicts: 450000 | #Constraints: 17409 247.53/248.24 c #Conflicts: 451000 | #Constraints: 18409 247.53/248.24 c #Conflicts: 452000 | #Constraints: 19409 247.53/248.24 c #Conflicts: 453000 | #Constraints: 20409 247.53/248.24 c #Conflicts: 454000 | #Constraints: 21410 247.53/248.24 c #Conflicts: 455000 | #Constraints: 22410 247.53/248.24 c #Conflicts: 456000 | #Constraints: 23410 247.53/248.24 c #Conflicts: 457000 | #Constraints: 24410 247.53/248.24 c #Conflicts: 458000 | #Constraints: 25411 247.53/248.24 c #Conflicts: 459000 | #Constraints: 26411 247.53/248.24 c #Conflicts: 460000 | #Constraints: 27412 247.53/248.24 c INPROCESSING 247.53/248.24 c GARBAGE COLLECT 247.53/248.24 c #Conflicts: 461000 | #Constraints: 15015 247.53/248.24 c #Conflicts: 462000 | #Constraints: 16015 247.53/248.24 c #Conflicts: 463000 | #Constraints: 17015 247.53/248.24 c #Conflicts: 464000 | #Constraints: 18017 247.53/248.24 c #Conflicts: 465000 | #Constraints: 19018 247.53/248.24 c #Conflicts: 466000 | #Constraints: 20018 247.53/248.24 c #Conflicts: 467000 | #Constraints: 21019 247.53/248.24 c #Conflicts: 468000 | #Constraints: 22019 247.53/248.24 c #Conflicts: 469000 | #Constraints: 23019 247.53/248.24 c #Conflicts: 470000 | #Constraints: 24019 247.53/248.24 c #Conflicts: 471000 | #Constraints: 25019 247.53/248.24 c #Conflicts: 472000 | #Constraints: 26019 247.53/248.24 c #Conflicts: 473000 | #Constraints: 27019 247.53/248.24 c #Conflicts: 474000 | #Constraints: 28019 247.53/248.24 c INPROCESSING 247.53/248.24 c GARBAGE COLLECT 247.53/248.24 c rational objective 51.5437 258.99/259.78 c #Conflicts: 475000 | #Constraints: 15409 258.99/259.78 c #Conflicts: 476000 | #Constraints: 16409 258.99/259.78 c #Conflicts: 477000 | #Constraints: 17409 258.99/259.78 c #Conflicts: 478000 | #Constraints: 18409 258.99/259.78 c #Conflicts: 479000 | #Constraints: 19410 258.99/259.78 c #Conflicts: 480000 | #Constraints: 20411 258.99/259.78 c #Conflicts: 481000 | #Constraints: 21411 258.99/259.78 c #Conflicts: 482000 | #Constraints: 22411 258.99/259.78 c #Conflicts: 483000 | #Constraints: 23411 258.99/259.78 c #Conflicts: 484000 | #Constraints: 24411 258.99/259.78 c #Conflicts: 485000 | #Constraints: 25413 258.99/259.78 c #Conflicts: 486000 | #Constraints: 26413 258.99/259.78 c #Conflicts: 487000 | #Constraints: 27413 258.99/259.78 c #Conflicts: 488000 | #Constraints: 28413 258.99/259.78 c INPROCESSING 258.99/259.78 c GARBAGE COLLECT 258.99/259.78 c rational objective 51.5437 273.26/274.03 c #Conflicts: 489000 | #Constraints: 15605 273.26/274.03 c #Conflicts: 490000 | #Constraints: 16607 273.26/274.03 c #Conflicts: 491000 | #Constraints: 17607 273.26/274.03 c #Conflicts: 492000 | #Constraints: 18607 273.26/274.03 c #Conflicts: 493000 | #Constraints: 19607 273.26/274.03 c #Conflicts: 494000 | #Constraints: 20608 273.26/274.03 c #Conflicts: 495000 | #Constraints: 21609 273.26/274.03 c #Conflicts: 496000 | #Constraints: 22609 273.26/274.03 c #Conflicts: 497000 | #Constraints: 23609 273.26/274.03 c #Conflicts: 498000 | #Constraints: 24611 273.26/274.03 c #Conflicts: 499000 | #Constraints: 25611 273.26/274.03 c #Conflicts: 500000 | #Constraints: 26612 273.26/274.03 c #Conflicts: 501000 | #Constraints: 27614 273.26/274.03 c #Conflicts: 502000 | #Constraints: 28614 273.26/274.03 c INPROCESSING 273.26/274.03 c GARBAGE COLLECT 273.26/274.03 c rational objective 51.5437 284.23/285.06 c #Conflicts: 503000 | #Constraints: 15624 284.23/285.06 c #Conflicts: 504000 | #Constraints: 16624 284.23/285.06 c #Conflicts: 505000 | #Constraints: 17624 284.23/285.06 c #Conflicts: 506000 | #Constraints: 18626 284.23/285.06 c #Conflicts: 507000 | #Constraints: 19628 284.23/285.06 c #Conflicts: 508000 | #Constraints: 20628 284.23/285.06 c #Conflicts: 509000 | #Constraints: 21628 284.23/285.06 c #Conflicts: 510000 | #Constraints: 22628 284.23/285.06 c #Conflicts: 511000 | #Constraints: 23630 284.23/285.06 c #Conflicts: 512000 | #Constraints: 24630 284.23/285.06 c #Conflicts: 513000 | #Constraints: 25631 284.23/285.06 c #Conflicts: 514000 | #Constraints: 26631 284.23/285.06 c #Conflicts: 515000 | #Constraints: 27631 284.23/285.06 c #Conflicts: 516000 | #Constraints: 28631 284.23/285.06 c INPROCESSING 284.23/285.06 c GARBAGE COLLECT 284.23/285.06 c rational objective 51.5437 294.71/295.55 c #Conflicts: 517000 | #Constraints: 15414 294.71/295.55 c #Conflicts: 518000 | #Constraints: 16415 294.71/295.55 c #Conflicts: 519000 | #Constraints: 17415 294.71/295.55 c #Conflicts: 520000 | #Constraints: 18416 294.71/295.55 c #Conflicts: 521000 | #Constraints: 19416 294.71/295.55 c #Conflicts: 522000 | #Constraints: 20416 294.71/295.55 c #Conflicts: 523000 | #Constraints: 21416 294.71/295.55 c #Conflicts: 524000 | #Constraints: 22416 294.71/295.55 c #Conflicts: 525000 | #Constraints: 23416 294.71/295.55 c #Conflicts: 526000 | #Constraints: 24417 294.71/295.55 c #Conflicts: 527000 | #Constraints: 25418 294.71/295.55 c #Conflicts: 528000 | #Constraints: 26420 294.71/295.55 c #Conflicts: 529000 | #Constraints: 27421 294.71/295.55 c #Conflicts: 530000 | #Constraints: 28421 294.71/295.55 c #Conflicts: 531000 | #Constraints: 29422 294.71/295.55 c INPROCESSING 294.71/295.55 c GARBAGE COLLECT 294.71/295.55 c rational objective 51.5437 305.07/305.96 c #Conflicts: 532000 | #Constraints: 16013 305.07/305.96 c #Conflicts: 533000 | #Constraints: 17013 305.07/305.96 c #Conflicts: 534000 | #Constraints: 18014 305.07/305.96 c #Conflicts: 535000 | #Constraints: 19015 305.07/305.96 c #Conflicts: 536000 | #Constraints: 20015 305.07/305.96 c #Conflicts: 537000 | #Constraints: 21015 305.07/305.96 c #Conflicts: 538000 | #Constraints: 22015 305.07/305.96 c #Conflicts: 539000 | #Constraints: 23015 305.07/305.96 c #Conflicts: 540000 | #Constraints: 24016 305.07/305.96 c #Conflicts: 541000 | #Constraints: 25016 305.07/305.96 c #Conflicts: 542000 | #Constraints: 26016 305.07/305.96 c #Conflicts: 543000 | #Constraints: 27016 305.07/305.96 c #Conflicts: 544000 | #Constraints: 28016 305.07/305.96 c #Conflicts: 545000 | #Constraints: 29016 305.07/305.96 c #Conflicts: 546000 | #Constraints: 30016 305.07/305.96 c INPROCESSING 305.07/305.96 c GARBAGE COLLECT 305.07/305.96 c rational objective 51.5437 317.94/318.81 c #Conflicts: 547000 | #Constraints: 16409 317.94/318.81 c #Conflicts: 548000 | #Constraints: 17409 317.94/318.81 c #Conflicts: 549000 | #Constraints: 18409 317.94/318.81 c #Conflicts: 550000 | #Constraints: 19409 317.94/318.81 c #Conflicts: 551000 | #Constraints: 20409 317.94/318.81 c #Conflicts: 552000 | #Constraints: 21409 317.94/318.81 c #Conflicts: 553000 | #Constraints: 22409 317.94/318.81 c #Conflicts: 554000 | #Constraints: 23410 317.94/318.81 c #Conflicts: 555000 | #Constraints: 24410 317.94/318.81 c #Conflicts: 556000 | #Constraints: 25410 317.94/318.81 c #Conflicts: 557000 | #Constraints: 26410 317.94/318.81 c #Conflicts: 558000 | #Constraints: 27411 317.94/318.81 c #Conflicts: 559000 | #Constraints: 28411 317.94/318.81 c #Conflicts: 560000 | #Constraints: 29411 317.94/318.81 c #Conflicts: 561000 | #Constraints: 30411 317.94/318.81 c INPROCESSING 317.94/318.81 c GARBAGE COLLECT 317.94/318.81 c rational objective 51.5437 328.82/329.76 c #Conflicts: 562000 | #Constraints: 16606 328.82/329.76 c #Conflicts: 563000 | #Constraints: 17606 328.82/329.76 c #Conflicts: 564000 | #Constraints: 18607 328.82/329.76 c #Conflicts: 565000 | #Constraints: 19607 328.82/329.76 c #Conflicts: 566000 | #Constraints: 20607 328.82/329.76 c #Conflicts: 567000 | #Constraints: 21607 328.82/329.76 c #Conflicts: 568000 | #Constraints: 22607 328.82/329.76 c #Conflicts: 569000 | #Constraints: 23607 328.82/329.76 c #Conflicts: 570000 | #Constraints: 24607 328.82/329.76 c #Conflicts: 571000 | #Constraints: 25608 328.82/329.76 c #Conflicts: 572000 | #Constraints: 26608 328.82/329.76 c #Conflicts: 573000 | #Constraints: 27608 328.82/329.76 c #Conflicts: 574000 | #Constraints: 28608 328.82/329.76 c #Conflicts: 575000 | #Constraints: 29608 328.82/329.76 c #Conflicts: 576000 | #Constraints: 30608 328.82/329.76 c INPROCESSING 328.82/329.76 c GARBAGE COLLECT 328.82/329.76 c rational objective 51.5437 340.49/341.46 c #Conflicts: 577000 | #Constraints: 16608 340.49/341.46 c #Conflicts: 578000 | #Constraints: 17608 340.49/341.46 c #Conflicts: 579000 | #Constraints: 18608 340.49/341.46 c #Conflicts: 580000 | #Constraints: 19609 340.49/341.46 c #Conflicts: 581000 | #Constraints: 20609 340.49/341.46 c #Conflicts: 582000 | #Constraints: 21609 340.49/341.46 c #Conflicts: 583000 | #Constraints: 22610 340.49/341.46 c #Conflicts: 584000 | #Constraints: 23610 340.49/341.46 c #Conflicts: 585000 | #Constraints: 24610 340.49/341.46 c #Conflicts: 586000 | #Constraints: 25612 340.49/341.46 c #Conflicts: 587000 | #Constraints: 26612 340.49/341.46 c #Conflicts: 588000 | #Constraints: 27613 340.49/341.46 c #Conflicts: 589000 | #Constraints: 28614 340.49/341.46 c #Conflicts: 590000 | #Constraints: 29614 340.49/341.46 c #Conflicts: 591000 | #Constraints: 30614 340.49/341.46 c INPROCESSING 340.49/341.46 c GARBAGE COLLECT 340.49/341.46 c rational objective 51.5437 353.75/354.74 c #Conflicts: 592000 | #Constraints: 16415 353.75/354.74 c #Conflicts: 593000 | #Constraints: 17415 353.75/354.74 c #Conflicts: 594000 | #Constraints: 18415 353.75/354.74 c #Conflicts: 595000 | #Constraints: 19417 353.75/354.74 c #Conflicts: 596000 | #Constraints: 20418 353.75/354.74 c #Conflicts: 597000 | #Constraints: 21419 353.75/354.74 c #Conflicts: 598000 | #Constraints: 22419 353.75/354.74 c #Conflicts: 599000 | #Constraints: 23419 353.75/354.74 c #Conflicts: 600000 | #Constraints: 24421 353.75/354.74 c #Conflicts: 601000 | #Constraints: 25421 353.75/354.74 c #Conflicts: 602000 | #Constraints: 26421 353.75/354.74 c #Conflicts: 603000 | #Constraints: 27422 353.75/354.74 c #Conflicts: 604000 | #Constraints: 28422 353.75/354.74 c #Conflicts: 605000 | #Constraints: 29423 353.75/354.74 c #Conflicts: 606000 | #Constraints: 30424 353.75/354.74 c #Conflicts: 607000 | #Constraints: 31425 353.75/354.74 c INPROCESSING 353.75/354.74 c GARBAGE COLLECT 353.75/354.74 c rational objective 51.5437 368.91/370.00 c #Conflicts: 608000 | #Constraints: 17011 368.91/370.00 c #Conflicts: 609000 | #Constraints: 18013 368.91/370.00 c #Conflicts: 610000 | #Constraints: 19015 368.91/370.00 c #Conflicts: 611000 | #Constraints: 20016 368.91/370.00 c #Conflicts: 612000 | #Constraints: 21017 368.91/370.00 c #Conflicts: 613000 | #Constraints: 22018 368.91/370.00 c #Conflicts: 614000 | #Constraints: 23018 368.91/370.00 c #Conflicts: 615000 | #Constraints: 24019 368.91/370.00 c #Conflicts: 616000 | #Constraints: 25019 368.91/370.00 c #Conflicts: 617000 | #Constraints: 26020 368.91/370.00 c #Conflicts: 618000 | #Constraints: 27020 368.91/370.00 c #Conflicts: 619000 | #Constraints: 28020 368.91/370.00 c #Conflicts: 620000 | #Constraints: 29021 368.91/370.00 c #Conflicts: 621000 | #Constraints: 30021 368.91/370.00 c #Conflicts: 622000 | #Constraints: 31021 368.91/370.00 c #Conflicts: 623000 | #Constraints: 32021 368.91/370.00 c INPROCESSING 368.91/370.00 c GARBAGE COLLECT 368.91/370.00 c rational objective 51.5437 382.08/383.16 c #Conflicts: 624000 | #Constraints: 17408 382.08/383.16 c #Conflicts: 625000 | #Constraints: 18408 382.08/383.16 c #Conflicts: 626000 | #Constraints: 19408 382.08/383.16 c #Conflicts: 627000 | #Constraints: 20408 382.08/383.16 c #Conflicts: 628000 | #Constraints: 21408 382.08/383.16 c #Conflicts: 629000 | #Constraints: 22408 382.08/383.16 c #Conflicts: 630000 | #Constraints: 23408 382.08/383.16 c #Conflicts: 631000 | #Constraints: 24408 382.08/383.16 c #Conflicts: 632000 | #Constraints: 25408 382.08/383.16 c #Conflicts: 633000 | #Constraints: 26410 382.08/383.16 c #Conflicts: 634000 | #Constraints: 27411 382.08/383.16 c #Conflicts: 635000 | #Constraints: 28413 382.08/383.16 c #Conflicts: 636000 | #Constraints: 29414 382.08/383.16 c #Conflicts: 637000 | #Constraints: 30415 382.08/383.16 c #Conflicts: 638000 | #Constraints: 31415 382.08/383.16 c #Conflicts: 639000 | #Constraints: 32415 382.08/383.16 c INPROCESSING 382.08/383.16 c GARBAGE COLLECT 382.08/383.16 c rational objective 51.5437 395.34/396.45 c #Conflicts: 640000 | #Constraints: 17605 395.34/396.45 c #Conflicts: 641000 | #Constraints: 18605 395.34/396.45 c #Conflicts: 642000 | #Constraints: 19605 395.34/396.45 c #Conflicts: 643000 | #Constraints: 20606 395.34/396.45 c #Conflicts: 644000 | #Constraints: 21607 395.34/396.45 c #Conflicts: 645000 | #Constraints: 22607 395.34/396.45 c #Conflicts: 646000 | #Constraints: 23607 395.34/396.45 c #Conflicts: 647000 | #Constraints: 24607 395.34/396.45 c #Conflicts: 648000 | #Constraints: 25608 395.34/396.45 c #Conflicts: 649000 | #Constraints: 26608 395.34/396.45 c #Conflicts: 650000 | #Constraints: 27609 395.34/396.45 c #Conflicts: 651000 | #Constraints: 28609 395.34/396.45 c #Conflicts: 652000 | #Constraints: 29609 395.34/396.45 c #Conflicts: 653000 | #Constraints: 30609 395.34/396.45 c #Conflicts: 654000 | #Constraints: 31611 395.34/396.45 c #Conflicts: 655000 | #Constraints: 32613 395.34/396.45 c INPROCESSING 395.34/396.45 c GARBAGE COLLECT 395.34/396.45 c rational objective 51.5437 408.50/409.61 c #Conflicts: 656000 | #Constraints: 17613 408.50/409.61 c #Conflicts: 657000 | #Constraints: 18614 408.50/409.61 c #Conflicts: 658000 | #Constraints: 19614 408.50/409.61 c #Conflicts: 659000 | #Constraints: 20615 408.50/409.61 c #Conflicts: 660000 | #Constraints: 21615 408.50/409.61 c #Conflicts: 661000 | #Constraints: 22616 408.50/409.61 c #Conflicts: 662000 | #Constraints: 23616 408.50/409.61 c #Conflicts: 663000 | #Constraints: 24616 408.50/409.61 c #Conflicts: 664000 | #Constraints: 25616 408.50/409.61 c #Conflicts: 665000 | #Constraints: 26616 408.50/409.61 c #Conflicts: 666000 | #Constraints: 27616 408.50/409.61 c #Conflicts: 667000 | #Constraints: 28616 408.50/409.61 c #Conflicts: 668000 | #Constraints: 29617 408.50/409.61 c #Conflicts: 669000 | #Constraints: 30618 408.50/409.61 c #Conflicts: 670000 | #Constraints: 31618 408.50/409.61 c #Conflicts: 671000 | #Constraints: 32618 408.50/409.61 c INPROCESSING 408.50/409.61 c GARBAGE COLLECT 408.50/409.61 c rational objective 51.5437 420.67/421.84 c #Conflicts: 672000 | #Constraints: 17409 420.67/421.84 c #Conflicts: 673000 | #Constraints: 18409 420.67/421.84 c #Conflicts: 674000 | #Constraints: 19410 420.67/421.84 c #Conflicts: 675000 | #Constraints: 20410 420.67/421.84 c #Conflicts: 676000 | #Constraints: 21411 420.67/421.84 c #Conflicts: 677000 | #Constraints: 22412 420.67/421.84 c #Conflicts: 678000 | #Constraints: 23412 420.67/421.84 c #Conflicts: 679000 | #Constraints: 24412 420.67/421.84 c #Conflicts: 680000 | #Constraints: 25412 420.67/421.84 c #Conflicts: 681000 | #Constraints: 26412 420.67/421.84 c #Conflicts: 682000 | #Constraints: 27412 420.67/421.84 c #Conflicts: 683000 | #Constraints: 28412 420.67/421.84 c #Conflicts: 684000 | #Constraints: 29412 420.67/421.84 c #Conflicts: 685000 | #Constraints: 30412 420.67/421.84 c #Conflicts: 686000 | #Constraints: 31415 420.67/421.84 c #Conflicts: 687000 | #Constraints: 32415 420.67/421.84 c #Conflicts: 688000 | #Constraints: 33415 420.67/421.84 c INPROCESSING 420.67/421.84 c GARBAGE COLLECT 420.67/421.84 c rational objective 51.5437 436.43/437.65 c #Conflicts: 689000 | #Constraints: 18001 436.43/437.65 c #Conflicts: 690000 | #Constraints: 19001 436.43/437.65 c #Conflicts: 691000 | #Constraints: 20002 436.43/437.65 c #Conflicts: 692000 | #Constraints: 21003 436.43/437.65 c #Conflicts: 693000 | #Constraints: 22003 436.43/437.65 c #Conflicts: 694000 | #Constraints: 23003 436.43/437.65 c #Conflicts: 695000 | #Constraints: 24004 436.43/437.65 c #Conflicts: 696000 | #Constraints: 25004 436.43/437.65 c #Conflicts: 697000 | #Constraints: 26004 436.43/437.65 c #Conflicts: 698000 | #Constraints: 27004 436.43/437.65 c #Conflicts: 699000 | #Constraints: 28004 436.43/437.65 c #Conflicts: 700000 | #Constraints: 29004 436.43/437.65 c #Conflicts: 701000 | #Constraints: 30004 436.43/437.65 c #Conflicts: 702000 | #Constraints: 31004 436.43/437.65 c #Conflicts: 703000 | #Constraints: 32004 436.43/437.65 c #Conflicts: 704000 | #Constraints: 33004 436.43/437.65 c #Conflicts: 705000 | #Constraints: 34005 436.43/437.65 c INPROCESSING 436.43/437.65 c GARBAGE COLLECT 436.43/437.65 c rational objective 51.5437 449.29/450.58 c #Conflicts: 706000 | #Constraints: 18405 449.29/450.58 c #Conflicts: 707000 | #Constraints: 19405 449.29/450.58 c #Conflicts: 708000 | #Constraints: 20406 449.29/450.58 c #Conflicts: 709000 | #Constraints: 21406 449.29/450.58 c #Conflicts: 710000 | #Constraints: 22409 449.29/450.58 c #Conflicts: 711000 | #Constraints: 23409 449.29/450.58 c #Conflicts: 712000 | #Constraints: 24409 449.29/450.58 c #Conflicts: 713000 | #Constraints: 25409 449.29/450.58 c #Conflicts: 714000 | #Constraints: 26409 449.29/450.58 c #Conflicts: 715000 | #Constraints: 27410 449.29/450.58 c #Conflicts: 716000 | #Constraints: 28412 449.29/450.58 c #Conflicts: 717000 | #Constraints: 29412 449.29/450.58 c #Conflicts: 718000 | #Constraints: 30412 449.29/450.58 c #Conflicts: 719000 | #Constraints: 31412 449.29/450.58 c #Conflicts: 720000 | #Constraints: 32413 449.29/450.58 c #Conflicts: 721000 | #Constraints: 33413 449.29/450.58 c #Conflicts: 722000 | #Constraints: 34413 449.29/450.58 c INPROCESSING 449.29/450.58 c GARBAGE COLLECT 449.29/450.58 c rational objective 51.589 464.96/466.20 c #Conflicts: 723000 | #Constraints: 18613 464.96/466.20 c #Conflicts: 724000 | #Constraints: 19613 464.96/466.20 c #Conflicts: 725000 | #Constraints: 20616 464.96/466.20 c #Conflicts: 726000 | #Constraints: 21616 464.96/466.20 c #Conflicts: 727000 | #Constraints: 22617 464.96/466.20 c #Conflicts: 728000 | #Constraints: 23617 464.96/466.20 c #Conflicts: 729000 | #Constraints: 24618 464.96/466.20 c #Conflicts: 730000 | #Constraints: 25619 464.96/466.20 c #Conflicts: 731000 | #Constraints: 26620 464.96/466.20 c #Conflicts: 732000 | #Constraints: 27620 464.96/466.20 c #Conflicts: 733000 | #Constraints: 28620 464.96/466.20 c #Conflicts: 734000 | #Constraints: 29621 464.96/466.20 c #Conflicts: 735000 | #Constraints: 30621 464.96/466.20 c #Conflicts: 736000 | #Constraints: 31621 464.96/466.20 c #Conflicts: 737000 | #Constraints: 32621 464.96/466.20 c #Conflicts: 738000 | #Constraints: 33621 464.96/466.20 c #Conflicts: 739000 | #Constraints: 34621 464.96/466.20 c INPROCESSING 464.96/466.20 c GARBAGE COLLECT 464.96/466.20 c rational objective 51.5917 480.41/481.79 c #Conflicts: 740000 | #Constraints: 18613 480.41/481.79 c #Conflicts: 741000 | #Constraints: 19613 480.41/481.79 c #Conflicts: 742000 | #Constraints: 20613 480.41/481.79 c #Conflicts: 743000 | #Constraints: 21613 480.41/481.79 c #Conflicts: 744000 | #Constraints: 22614 480.41/481.79 c #Conflicts: 745000 | #Constraints: 23615 480.41/481.79 c #Conflicts: 746000 | #Constraints: 24616 480.41/481.79 c #Conflicts: 747000 | #Constraints: 25617 480.41/481.79 c #Conflicts: 748000 | #Constraints: 26618 480.41/481.79 c #Conflicts: 749000 | #Constraints: 27619 480.41/481.79 c #Conflicts: 750000 | #Constraints: 28619 480.41/481.79 c #Conflicts: 751000 | #Constraints: 29619 480.41/481.79 c #Conflicts: 752000 | #Constraints: 30619 480.41/481.79 c #Conflicts: 753000 | #Constraints: 31619 480.41/481.79 c #Conflicts: 754000 | #Constraints: 32619 480.41/481.79 c #Conflicts: 755000 | #Constraints: 33619 480.41/481.79 c #Conflicts: 756000 | #Constraints: 34619 480.41/481.79 c INPROCESSING 480.41/481.79 c GARBAGE COLLECT 480.41/481.79 c rational objective 51.5923 493.59/494.93 c #Conflicts: 757000 | #Constraints: 18412 493.59/494.93 c #Conflicts: 758000 | #Constraints: 19412 493.59/494.93 c #Conflicts: 759000 | #Constraints: 20412 493.59/494.93 c #Conflicts: 760000 | #Constraints: 21412 493.59/494.93 c #Conflicts: 761000 | #Constraints: 22412 493.59/494.93 c #Conflicts: 762000 | #Constraints: 23412 493.59/494.93 c #Conflicts: 763000 | #Constraints: 24413 493.59/494.93 c #Conflicts: 764000 | #Constraints: 25413 493.59/494.93 c #Conflicts: 765000 | #Constraints: 26413 493.59/494.93 c #Conflicts: 766000 | #Constraints: 27413 493.59/494.93 c #Conflicts: 767000 | #Constraints: 28413 493.59/494.93 c #Conflicts: 768000 | #Constraints: 29413 493.59/494.93 c #Conflicts: 769000 | #Constraints: 30413 493.59/494.93 c #Conflicts: 770000 | #Constraints: 31413 493.59/494.93 c #Conflicts: 771000 | #Constraints: 32413 493.59/494.93 c #Conflicts: 772000 | #Constraints: 33415 493.59/494.93 c #Conflicts: 773000 | #Constraints: 34415 493.59/494.93 c #Conflicts: 774000 | #Constraints: 35417 493.59/494.93 c INPROCESSING 493.59/494.93 c GARBAGE COLLECT 493.59/494.93 c rational objective 51.5936 511.04/512.43 c #Conflicts: 775000 | #Constraints: 19003 511.04/512.43 c #Conflicts: 776000 | #Constraints: 20003 511.04/512.43 c #Conflicts: 777000 | #Constraints: 21005 511.04/512.43 c #Conflicts: 778000 | #Constraints: 22005 511.04/512.43 c #Conflicts: 779000 | #Constraints: 23006 511.04/512.43 c #Conflicts: 780000 | #Constraints: 24006 511.04/512.43 c #Conflicts: 781000 | #Constraints: 25006 511.04/512.43 c #Conflicts: 782000 | #Constraints: 26006 511.04/512.43 c #Conflicts: 783000 | #Constraints: 27006 511.04/512.43 c #Conflicts: 784000 | #Constraints: 28006 511.04/512.43 c #Conflicts: 785000 | #Constraints: 29006 511.04/512.43 c #Conflicts: 786000 | #Constraints: 30007 511.04/512.43 c #Conflicts: 787000 | #Constraints: 31007 511.04/512.43 c #Conflicts: 788000 | #Constraints: 32008 511.04/512.43 c #Conflicts: 789000 | #Constraints: 33008 511.04/512.43 c #Conflicts: 790000 | #Constraints: 34008 511.04/512.43 c #Conflicts: 791000 | #Constraints: 35008 511.04/512.43 c #Conflicts: 792000 | #Constraints: 36008 511.04/512.43 c INPROCESSING 511.04/512.43 c GARBAGE COLLECT 511.04/512.43 c rational objective 51.598 527.29/528.74 c #Conflicts: 793000 | #Constraints: 19408 527.29/528.74 c #Conflicts: 794000 | #Constraints: 20408 527.29/528.74 c #Conflicts: 795000 | #Constraints: 21408 527.29/528.74 c #Conflicts: 796000 | #Constraints: 22408 527.29/528.74 c #Conflicts: 797000 | #Constraints: 23409 527.29/528.74 c #Conflicts: 798000 | #Constraints: 24409 527.29/528.74 c #Conflicts: 799000 | #Constraints: 25409 527.29/528.74 c #Conflicts: 800000 | #Constraints: 26409 527.29/528.74 c #Conflicts: 801000 | #Constraints: 27409 527.29/528.74 c #Conflicts: 802000 | #Constraints: 28409 527.29/528.74 c #Conflicts: 803000 | #Constraints: 29409 527.29/528.74 c #Conflicts: 804000 | #Constraints: 30409 527.29/528.74 c #Conflicts: 805000 | #Constraints: 31410 527.29/528.74 c #Conflicts: 806000 | #Constraints: 32411 527.29/528.74 c #Conflicts: 807000 | #Constraints: 33413 527.29/528.74 c #Conflicts: 808000 | #Constraints: 34414 527.29/528.74 c #Conflicts: 809000 | #Constraints: 35414 527.29/528.74 c #Conflicts: 810000 | #Constraints: 36416 527.29/528.74 c INPROCESSING 527.29/528.74 c GARBAGE COLLECT 527.29/528.74 c rational objective 51.598 542.56/544.07 c #Conflicts: 811000 | #Constraints: 19613 542.56/544.07 c #Conflicts: 812000 | #Constraints: 20613 542.56/544.07 c #Conflicts: 813000 | #Constraints: 21613 542.56/544.07 c #Conflicts: 814000 | #Constraints: 22613 542.56/544.07 c #Conflicts: 815000 | #Constraints: 23613 542.56/544.07 c #Conflicts: 816000 | #Constraints: 24614 542.56/544.07 c #Conflicts: 817000 | #Constraints: 25614 542.56/544.07 c #Conflicts: 818000 | #Constraints: 26614 542.56/544.07 c #Conflicts: 819000 | #Constraints: 27614 542.56/544.07 c #Conflicts: 820000 | #Constraints: 28614 542.56/544.07 c #Conflicts: 821000 | #Constraints: 29614 542.56/544.07 c #Conflicts: 822000 | #Constraints: 30614 542.56/544.07 c #Conflicts: 823000 | #Constraints: 31614 542.56/544.07 c #Conflicts: 824000 | #Constraints: 32614 542.56/544.07 c #Conflicts: 825000 | #Constraints: 33614 542.56/544.07 c #Conflicts: 826000 | #Constraints: 34614 542.56/544.07 c #Conflicts: 827000 | #Constraints: 35614 542.56/544.07 c #Conflicts: 828000 | #Constraints: 36615 542.56/544.07 c INPROCESSING 542.56/544.07 c GARBAGE COLLECT 542.56/544.07 c rational objective 51.598 563.10/564.67 c #Conflicts: 829000 | #Constraints: 19616 563.10/564.67 c #Conflicts: 830000 | #Constraints: 20617 563.10/564.67 c #Conflicts: 831000 | #Constraints: 21617 563.10/564.67 c #Conflicts: 832000 | #Constraints: 22617 563.10/564.67 c #Conflicts: 833000 | #Constraints: 23617 563.10/564.67 c #Conflicts: 834000 | #Constraints: 24617 563.10/564.67 c #Conflicts: 835000 | #Constraints: 25621 563.10/564.67 c #Conflicts: 836000 | #Constraints: 26623 563.10/564.67 c #Conflicts: 837000 | #Constraints: 27624 563.10/564.67 c #Conflicts: 838000 | #Constraints: 28624 563.10/564.67 c #Conflicts: 839000 | #Constraints: 29625 563.10/564.67 c #Conflicts: 840000 | #Constraints: 30625 563.10/564.67 c #Conflicts: 841000 | #Constraints: 31625 563.10/564.67 c #Conflicts: 842000 | #Constraints: 32625 563.10/564.67 c #Conflicts: 843000 | #Constraints: 33626 563.10/564.67 c #Conflicts: 844000 | #Constraints: 34630 563.10/564.67 c #Conflicts: 845000 | #Constraints: 35630 563.10/564.67 c #Conflicts: 846000 | #Constraints: 36630 563.10/564.67 c INPROCESSING 563.10/564.67 c GARBAGE COLLECT 563.10/564.67 c rational objective 51.598 577.37/578.95 c #Conflicts: 847000 | #Constraints: 19422 577.37/578.95 c #Conflicts: 848000 | #Constraints: 20422 577.37/578.95 c #Conflicts: 849000 | #Constraints: 21422 577.37/578.95 c #Conflicts: 850000 | #Constraints: 22424 577.37/578.95 c #Conflicts: 851000 | #Constraints: 23424 577.37/578.95 c #Conflicts: 852000 | #Constraints: 24424 577.37/578.95 c #Conflicts: 853000 | #Constraints: 25425 577.37/578.95 c #Conflicts: 854000 | #Constraints: 26425 577.37/578.95 c #Conflicts: 855000 | #Constraints: 27425 577.37/578.95 c #Conflicts: 856000 | #Constraints: 28425 577.37/578.95 c #Conflicts: 857000 | #Constraints: 29425 577.37/578.95 c #Conflicts: 858000 | #Constraints: 30425 577.37/578.95 c #Conflicts: 859000 | #Constraints: 31426 577.37/578.95 c #Conflicts: 860000 | #Constraints: 32426 577.37/578.95 c #Conflicts: 861000 | #Constraints: 33427 577.37/578.95 c #Conflicts: 862000 | #Constraints: 34427 577.37/578.95 c #Conflicts: 863000 | #Constraints: 35427 577.37/578.95 c #Conflicts: 864000 | #Constraints: 36427 577.37/578.95 c #Conflicts: 865000 | #Constraints: 37427 577.37/578.95 c INPROCESSING 577.37/578.95 c GARBAGE COLLECT 577.37/578.95 c rational objective 51.598 592.63/594.25 c #Conflicts: 866000 | #Constraints: 20018 592.63/594.25 c #Conflicts: 867000 | #Constraints: 21018 592.63/594.25 c #Conflicts: 868000 | #Constraints: 22019 592.63/594.25 c #Conflicts: 869000 | #Constraints: 23020 592.63/594.25 c #Conflicts: 870000 | #Constraints: 24020 592.63/594.25 c #Conflicts: 871000 | #Constraints: 25020 592.63/594.25 c #Conflicts: 872000 | #Constraints: 26020 592.63/594.25 c #Conflicts: 873000 | #Constraints: 27020 592.63/594.25 c #Conflicts: 874000 | #Constraints: 28020 592.63/594.25 c #Conflicts: 875000 | #Constraints: 29020 592.63/594.25 c #Conflicts: 876000 | #Constraints: 30020 592.63/594.25 c #Conflicts: 877000 | #Constraints: 31020 592.63/594.25 c #Conflicts: 878000 | #Constraints: 32020 592.63/594.25 c #Conflicts: 879000 | #Constraints: 33020 592.63/594.25 c #Conflicts: 880000 | #Constraints: 34020 592.63/594.25 c #Conflicts: 881000 | #Constraints: 35022 592.63/594.25 c #Conflicts: 882000 | #Constraints: 36023 592.63/594.25 c #Conflicts: 883000 | #Constraints: 37023 592.63/594.25 c #Conflicts: 884000 | #Constraints: 38023 592.63/594.25 c INPROCESSING 592.63/594.25 c GARBAGE COLLECT 592.63/594.25 c rational objective 51.598 606.60/608.28 c #Conflicts: 885000 | #Constraints: 20414 606.60/608.28 c #Conflicts: 886000 | #Constraints: 21415 606.60/608.28 c #Conflicts: 887000 | #Constraints: 22416 606.60/608.28 c #Conflicts: 888000 | #Constraints: 23417 606.60/608.28 c #Conflicts: 889000 | #Constraints: 24418 606.60/608.28 c #Conflicts: 890000 | #Constraints: 25419 606.60/608.28 c #Conflicts: 891000 | #Constraints: 26422 606.60/608.28 c #Conflicts: 892000 | #Constraints: 27422 606.60/608.28 c #Conflicts: 893000 | #Constraints: 28422 606.60/608.28 c #Conflicts: 894000 | #Constraints: 29422 606.60/608.28 c #Conflicts: 895000 | #Constraints: 30422 606.60/608.28 c #Conflicts: 896000 | #Constraints: 31422 606.60/608.28 c #Conflicts: 897000 | #Constraints: 32423 606.60/608.28 c #Conflicts: 898000 | #Constraints: 33423 606.60/608.28 c #Conflicts: 899000 | #Constraints: 34424 606.60/608.28 c #Conflicts: 900000 | #Constraints: 35424 606.60/608.28 c #Conflicts: 901000 | #Constraints: 36424 606.60/608.28 c #Conflicts: 902000 | #Constraints: 37424 606.60/608.28 c #Conflicts: 903000 | #Constraints: 38425 606.60/608.28 c INPROCESSING 606.60/608.28 c GARBAGE COLLECT 606.60/608.28 c rational objective 51.598 622.38/624.05 c #Conflicts: 904000 | #Constraints: 20613 622.38/624.05 c #Conflicts: 905000 | #Constraints: 21613 622.38/624.05 c #Conflicts: 906000 | #Constraints: 22613 622.38/624.05 c #Conflicts: 907000 | #Constraints: 23613 622.38/624.05 c #Conflicts: 908000 | #Constraints: 24613 622.38/624.05 c #Conflicts: 909000 | #Constraints: 25613 622.38/624.05 c #Conflicts: 910000 | #Constraints: 26615 622.38/624.05 c #Conflicts: 911000 | #Constraints: 27615 622.38/624.05 c #Conflicts: 912000 | #Constraints: 28616 622.38/624.05 c #Conflicts: 913000 | #Constraints: 29616 622.38/624.05 c #Conflicts: 914000 | #Constraints: 30617 622.38/624.05 c #Conflicts: 915000 | #Constraints: 31617 622.38/624.05 c #Conflicts: 916000 | #Constraints: 32618 622.38/624.05 c #Conflicts: 917000 | #Constraints: 33618 622.38/624.05 c #Conflicts: 918000 | #Constraints: 34618 622.38/624.05 c #Conflicts: 919000 | #Constraints: 35618 622.38/624.05 c #Conflicts: 920000 | #Constraints: 36620 622.38/624.05 c #Conflicts: 921000 | #Constraints: 37620 622.38/624.05 c #Conflicts: 922000 | #Constraints: 38621 622.38/624.05 c INPROCESSING 622.38/624.05 c GARBAGE COLLECT 622.38/624.05 c rational objective 51.598 636.94/638.66 c #Conflicts: 923000 | #Constraints: 20618 636.94/638.66 c #Conflicts: 924000 | #Constraints: 21618 636.94/638.66 c #Conflicts: 925000 | #Constraints: 22618 636.94/638.66 c #Conflicts: 926000 | #Constraints: 23618 636.94/638.66 c #Conflicts: 927000 | #Constraints: 24618 636.94/638.66 c #Conflicts: 928000 | #Constraints: 25618 636.94/638.66 c #Conflicts: 929000 | #Constraints: 26618 636.94/638.66 c #Conflicts: 930000 | #Constraints: 27618 636.94/638.66 c #Conflicts: 931000 | #Constraints: 28620 636.94/638.66 c #Conflicts: 932000 | #Constraints: 29620 636.94/638.66 c #Conflicts: 933000 | #Constraints: 30622 636.94/638.66 c #Conflicts: 934000 | #Constraints: 31622 636.94/638.66 c #Conflicts: 935000 | #Constraints: 32622 636.94/638.66 c #Conflicts: 936000 | #Constraints: 33623 636.94/638.66 c #Conflicts: 937000 | #Constraints: 34624 636.94/638.66 c #Conflicts: 938000 | #Constraints: 35624 636.94/638.66 c #Conflicts: 939000 | #Constraints: 36625 636.94/638.66 c #Conflicts: 940000 | #Constraints: 37625 636.94/638.66 c #Conflicts: 941000 | #Constraints: 38625 636.94/638.66 c INPROCESSING 636.94/638.66 c GARBAGE COLLECT 636.94/638.66 c rational objective 51.598 653.79/655.50 c #Conflicts: 942000 | #Constraints: 20424 653.79/655.50 c #Conflicts: 943000 | #Constraints: 21425 653.79/655.50 c #Conflicts: 944000 | #Constraints: 22425 653.79/655.50 c #Conflicts: 945000 | #Constraints: 23425 653.79/655.50 c #Conflicts: 946000 | #Constraints: 24425 653.79/655.50 c #Conflicts: 947000 | #Constraints: 25425 653.79/655.50 c #Conflicts: 948000 | #Constraints: 26425 653.79/655.50 c #Conflicts: 949000 | #Constraints: 27425 653.79/655.50 c #Conflicts: 950000 | #Constraints: 28426 653.79/655.50 c #Conflicts: 951000 | #Constraints: 29426 653.79/655.50 c #Conflicts: 952000 | #Constraints: 30426 653.79/655.50 c #Conflicts: 953000 | #Constraints: 31426 653.79/655.50 c #Conflicts: 954000 | #Constraints: 32427 653.79/655.50 c #Conflicts: 955000 | #Constraints: 33427 653.79/655.50 c #Conflicts: 956000 | #Constraints: 34427 653.79/655.50 c #Conflicts: 957000 | #Constraints: 35427 653.79/655.50 c #Conflicts: 958000 | #Constraints: 36427 653.79/655.50 c #Conflicts: 959000 | #Constraints: 37427 653.79/655.50 c #Conflicts: 960000 | #Constraints: 38427 653.79/655.50 c #Conflicts: 961000 | #Constraints: 39427 653.79/655.50 c INPROCESSING 653.79/655.50 c GARBAGE COLLECT 653.79/655.50 c rational objective 51.598 681.02/682.87 c #Conflicts: 962000 | #Constraints: 21017 681.02/682.87 c #Conflicts: 963000 | #Constraints: 22017 681.02/682.87 c #Conflicts: 964000 | #Constraints: 23017 681.02/682.87 c #Conflicts: 965000 | #Constraints: 24018 681.02/682.87 c #Conflicts: 966000 | #Constraints: 25018 681.02/682.87 c #Conflicts: 967000 | #Constraints: 26018 681.02/682.87 c #Conflicts: 968000 | #Constraints: 27018 681.02/682.87 c #Conflicts: 969000 | #Constraints: 28018 681.02/682.87 c #Conflicts: 970000 | #Constraints: 29018 681.02/682.87 c #Conflicts: 971000 | #Constraints: 30019 681.02/682.87 c #Conflicts: 972000 | #Constraints: 31019 681.02/682.87 c #Conflicts: 973000 | #Constraints: 32019 681.02/682.87 c #Conflicts: 974000 | #Constraints: 33020 681.02/682.87 c #Conflicts: 975000 | #Constraints: 34021 681.02/682.87 c #Conflicts: 976000 | #Constraints: 35021 681.02/682.87 c #Conflicts: 977000 | #Constraints: 36021 681.02/682.87 c #Conflicts: 978000 | #Constraints: 37022 681.02/682.87 c #Conflicts: 979000 | #Constraints: 38022 681.02/682.87 c #Conflicts: 980000 | #Constraints: 39022 681.02/682.87 c #Conflicts: 981000 | #Constraints: 40022 681.02/682.87 c INPROCESSING 681.02/682.87 c GARBAGE COLLECT 681.02/682.87 c rational objective 51.598 708.56/710.40 c #Conflicts: 982000 | #Constraints: 21413 708.56/710.40 c #Conflicts: 983000 | #Constraints: 22413 708.56/710.40 c #Conflicts: 984000 | #Constraints: 23413 708.56/710.40 c #Conflicts: 985000 | #Constraints: 24413 708.56/710.40 c #Conflicts: 986000 | #Constraints: 25413 708.56/710.40 c #Conflicts: 987000 | #Constraints: 26415 708.56/710.40 c #Conflicts: 988000 | #Constraints: 27415 708.56/710.40 c #Conflicts: 989000 | #Constraints: 28415 708.56/710.40 c #Conflicts: 990000 | #Constraints: 29415 708.56/710.40 c #Conflicts: 991000 | #Constraints: 30415 708.56/710.40 c #Conflicts: 992000 | #Constraints: 31415 708.56/710.40 c #Conflicts: 993000 | #Constraints: 32415 708.56/710.40 c #Conflicts: 994000 | #Constraints: 33415 708.56/710.40 c #Conflicts: 995000 | #Constraints: 34415 708.56/710.40 c #Conflicts: 996000 | #Constraints: 35417 708.56/710.40 c #Conflicts: 997000 | #Constraints: 36417 708.56/710.40 c #Conflicts: 998000 | #Constraints: 37417 708.56/710.40 c #Conflicts: 999000 | #Constraints: 38417 708.56/710.40 c #Conflicts: 1000000 | #Constraints: 39417 708.56/710.40 c #Conflicts: 1001000 | #Constraints: 40418 708.56/710.40 c INPROCESSING 708.56/710.40 c GARBAGE COLLECT 708.56/710.40 c rational objective 51.598 731.00/732.90 c #Conflicts: 1002000 | #Constraints: 21618 731.00/732.90 c #Conflicts: 1003000 | #Constraints: 22619 731.00/732.90 c #Conflicts: 1004000 | #Constraints: 23619 731.00/732.90 c #Conflicts: 1005000 | #Constraints: 24620 731.00/732.90 c #Conflicts: 1006000 | #Constraints: 25620 731.00/732.90 c #Conflicts: 1007000 | #Constraints: 26620 731.00/732.90 c #Conflicts: 1008000 | #Constraints: 27621 731.00/732.90 c #Conflicts: 1009000 | #Constraints: 28622 731.00/732.90 c #Conflicts: 1010000 | #Constraints: 29622 731.00/732.90 c #Conflicts: 1011000 | #Constraints: 30622 731.00/732.90 c #Conflicts: 1012000 | #Constraints: 31623 731.00/732.90 c #Conflicts: 1013000 | #Constraints: 32623 731.00/732.90 c #Conflicts: 1014000 | #Constraints: 33624 731.00/732.90 c #Conflicts: 1015000 | #Constraints: 34625 731.00/732.90 c #Conflicts: 1016000 | #Constraints: 35625 731.00/732.90 c #Conflicts: 1017000 | #Constraints: 36625 731.00/732.90 c #Conflicts: 1018000 | #Constraints: 37625 731.00/732.90 c #Conflicts: 1019000 | #Constraints: 38625 731.00/732.90 c #Conflicts: 1020000 | #Constraints: 39626 731.00/732.90 c #Conflicts: 1021000 | #Constraints: 40626 731.00/732.90 c INPROCESSING 731.00/732.90 c GARBAGE COLLECT 731.00/732.90 c rational objective 51.598 759.74/761.70 c #Conflicts: 1022000 | #Constraints: 21620 759.74/761.70 c #Conflicts: 1023000 | #Constraints: 22620 759.74/761.70 c #Conflicts: 1024000 | #Constraints: 23620 759.74/761.70 c #Conflicts: 1025000 | #Constraints: 24620 759.74/761.70 c #Conflicts: 1026000 | #Constraints: 25622 759.74/761.70 c #Conflicts: 1027000 | #Constraints: 26623 759.74/761.70 c #Conflicts: 1028000 | #Constraints: 27623 759.74/761.70 c #Conflicts: 1029000 | #Constraints: 28623 759.74/761.70 c #Conflicts: 1030000 | #Constraints: 29623 759.74/761.70 c #Conflicts: 1031000 | #Constraints: 30625 759.74/761.70 c #Conflicts: 1032000 | #Constraints: 31625 759.74/761.70 c #Conflicts: 1033000 | #Constraints: 32625 759.74/761.70 c #Conflicts: 1034000 | #Constraints: 33625 759.74/761.70 c #Conflicts: 1035000 | #Constraints: 34625 759.74/761.70 c #Conflicts: 1036000 | #Constraints: 35625 759.74/761.70 c #Conflicts: 1037000 | #Constraints: 36625 759.74/761.70 c #Conflicts: 1038000 | #Constraints: 37626 759.74/761.70 c #Conflicts: 1039000 | #Constraints: 38627 759.74/761.70 c #Conflicts: 1040000 | #Constraints: 39627 759.74/761.70 c #Conflicts: 1041000 | #Constraints: 40627 759.74/761.70 c INPROCESSING 759.74/761.70 c GARBAGE COLLECT 759.74/761.70 c rational objective 51.598 788.47/790.53 c #Conflicts: 1042000 | #Constraints: 21418 788.47/790.53 c #Conflicts: 1043000 | #Constraints: 22418 788.47/790.53 c #Conflicts: 1044000 | #Constraints: 23418 788.47/790.53 c #Conflicts: 1045000 | #Constraints: 24419 788.47/790.53 c #Conflicts: 1046000 | #Constraints: 25419 788.47/790.53 c #Conflicts: 1047000 | #Constraints: 26419 788.47/790.53 c #Conflicts: 1048000 | #Constraints: 27419 788.47/790.53 c #Conflicts: 1049000 | #Constraints: 28420 788.47/790.53 c #Conflicts: 1050000 | #Constraints: 29420 788.47/790.53 c #Conflicts: 1051000 | #Constraints: 30420 788.47/790.53 c #Conflicts: 1052000 | #Constraints: 31420 788.47/790.53 c #Conflicts: 1053000 | #Constraints: 32420 788.47/790.53 c #Conflicts: 1054000 | #Constraints: 33420 788.47/790.53 c #Conflicts: 1055000 | #Constraints: 34420 788.47/790.53 c #Conflicts: 1056000 | #Constraints: 35420 788.47/790.53 c #Conflicts: 1057000 | #Constraints: 36420 788.47/790.53 c #Conflicts: 1058000 | #Constraints: 37421 788.47/790.53 c #Conflicts: 1059000 | #Constraints: 38422 788.47/790.53 c #Conflicts: 1060000 | #Constraints: 39422 788.47/790.53 c #Conflicts: 1061000 | #Constraints: 40422 788.47/790.53 c #Conflicts: 1062000 | #Constraints: 41422 788.47/790.53 c INPROCESSING 788.47/790.53 c GARBAGE COLLECT 788.47/790.53 c rational objective 51.598 823.57/825.78 c #Conflicts: 1063000 | #Constraints: 22021 823.57/825.78 c #Conflicts: 1064000 | #Constraints: 23021 823.57/825.78 c #Conflicts: 1065000 | #Constraints: 24021 823.57/825.78 c #Conflicts: 1066000 | #Constraints: 25021 823.57/825.78 c #Conflicts: 1067000 | #Constraints: 26021 823.57/825.78 c #Conflicts: 1068000 | #Constraints: 27021 823.57/825.78 c #Conflicts: 1069000 | #Constraints: 28021 823.57/825.78 c #Conflicts: 1070000 | #Constraints: 29021 823.57/825.78 c #Conflicts: 1071000 | #Constraints: 30022 823.57/825.78 c #Conflicts: 1072000 | #Constraints: 31022 823.57/825.78 c #Conflicts: 1073000 | #Constraints: 32023 823.57/825.78 c #Conflicts: 1074000 | #Constraints: 33023 823.57/825.78 c #Conflicts: 1075000 | #Constraints: 34023 823.57/825.78 c #Conflicts: 1076000 | #Constraints: 35023 823.57/825.78 c #Conflicts: 1077000 | #Constraints: 36023 823.57/825.78 c #Conflicts: 1078000 | #Constraints: 37023 823.57/825.78 c #Conflicts: 1079000 | #Constraints: 38023 823.57/825.78 c #Conflicts: 1080000 | #Constraints: 39023 823.57/825.78 c #Conflicts: 1081000 | #Constraints: 40023 823.57/825.78 c #Conflicts: 1082000 | #Constraints: 41023 823.57/825.78 c #Conflicts: 1083000 | #Constraints: 42023 823.57/825.78 c INPROCESSING 823.57/825.78 c GARBAGE COLLECT 823.57/825.78 c rational objective 51.598 854.38/856.60 c #Conflicts: 1084000 | #Constraints: 22426 854.38/856.60 c #Conflicts: 1085000 | #Constraints: 23426 854.38/856.60 c #Conflicts: 1086000 | #Constraints: 24427 854.38/856.60 c #Conflicts: 1087000 | #Constraints: 25428 854.38/856.60 c #Conflicts: 1088000 | #Constraints: 26429 854.38/856.60 c #Conflicts: 1089000 | #Constraints: 27429 854.38/856.60 c #Conflicts: 1090000 | #Constraints: 28429 854.38/856.60 c #Conflicts: 1091000 | #Constraints: 29429 854.38/856.60 c #Conflicts: 1092000 | #Constraints: 30429 854.38/856.60 c #Conflicts: 1093000 | #Constraints: 31429 854.38/856.60 c #Conflicts: 1094000 | #Constraints: 32429 854.38/856.60 c #Conflicts: 1095000 | #Constraints: 33429 854.38/856.60 c #Conflicts: 1096000 | #Constraints: 34429 854.38/856.60 c #Conflicts: 1097000 | #Constraints: 35429 854.38/856.60 c #Conflicts: 1098000 | #Constraints: 36429 854.38/856.60 c #Conflicts: 1099000 | #Constraints: 37429 854.38/856.60 c #Conflicts: 1100000 | #Constraints: 38429 854.38/856.60 c #Conflicts: 1101000 | #Constraints: 39429 854.38/856.60 c #Conflicts: 1102000 | #Constraints: 40430 854.38/856.60 c #Conflicts: 1103000 | #Constraints: 41430 854.38/856.60 c #Conflicts: 1104000 | #Constraints: 42430 854.38/856.60 c INPROCESSING 854.38/856.60 c GARBAGE COLLECT 854.38/856.60 c rational objective 51.598 881.31/883.62 c #Conflicts: 1105000 | #Constraints: 22625 881.31/883.62 c #Conflicts: 1106000 | #Constraints: 23625 881.31/883.62 c #Conflicts: 1107000 | #Constraints: 24625 881.31/883.62 c #Conflicts: 1108000 | #Constraints: 25625 881.31/883.62 c #Conflicts: 1109000 | #Constraints: 26627 881.31/883.62 c #Conflicts: 1110000 | #Constraints: 27628 881.31/883.62 c #Conflicts: 1111000 | #Constraints: 28630 881.31/883.62 c #Conflicts: 1112000 | #Constraints: 29630 881.31/883.62 c #Conflicts: 1113000 | #Constraints: 30631 881.31/883.62 c #Conflicts: 1114000 | #Constraints: 31632 881.31/883.62 c #Conflicts: 1115000 | #Constraints: 32632 881.31/883.62 c #Conflicts: 1116000 | #Constraints: 33633 881.31/883.62 c #Conflicts: 1117000 | #Constraints: 34633 881.31/883.62 c #Conflicts: 1118000 | #Constraints: 35633 881.31/883.62 c #Conflicts: 1119000 | #Constraints: 36633 881.31/883.62 c #Conflicts: 1120000 | #Constraints: 37634 881.31/883.62 c #Conflicts: 1121000 | #Constraints: 38634 881.31/883.62 c #Conflicts: 1122000 | #Constraints: 39634 881.31/883.62 c #Conflicts: 1123000 | #Constraints: 40635 881.31/883.62 c #Conflicts: 1124000 | #Constraints: 41635 881.31/883.62 c #Conflicts: 1125000 | #Constraints: 42635 881.31/883.62 c INPROCESSING 881.31/883.62 c GARBAGE COLLECT 881.31/883.62 c rational objective 51.598 902.26/904.61 c #Conflicts: 1126000 | #Constraints: 22624 902.26/904.61 c #Conflicts: 1127000 | #Constraints: 23624 902.26/904.61 c #Conflicts: 1128000 | #Constraints: 24624 902.26/904.61 c #Conflicts: 1129000 | #Constraints: 25624 902.26/904.61 c #Conflicts: 1130000 | #Constraints: 26624 902.26/904.61 c #Conflicts: 1131000 | #Constraints: 27624 902.26/904.61 c #Conflicts: 1132000 | #Constraints: 28624 902.26/904.61 c #Conflicts: 1133000 | #Constraints: 29625 902.26/904.61 c #Conflicts: 1134000 | #Constraints: 30625 902.26/904.61 c #Conflicts: 1135000 | #Constraints: 31625 902.26/904.61 c #Conflicts: 1136000 | #Constraints: 32627 902.26/904.61 c #Conflicts: 1137000 | #Constraints: 33627 902.26/904.61 c #Conflicts: 1138000 | #Constraints: 34627 902.26/904.61 c #Conflicts: 1139000 | #Constraints: 35629 902.26/904.61 c #Conflicts: 1140000 | #Constraints: 36629 902.26/904.61 c #Conflicts: 1141000 | #Constraints: 37629 902.26/904.61 c #Conflicts: 1142000 | #Constraints: 38629 902.26/904.61 c #Conflicts: 1143000 | #Constraints: 39630 902.26/904.61 c #Conflicts: 1144000 | #Constraints: 40631 902.26/904.61 c #Conflicts: 1145000 | #Constraints: 41632 902.26/904.61 c #Conflicts: 1146000 | #Constraints: 42633 902.26/904.61 c INPROCESSING 902.26/904.61 c GARBAGE COLLECT 902.26/904.61 c rational objective 51.598 921.21/923.68 c #Conflicts: 1147000 | #Constraints: 22419 921.21/923.68 c #Conflicts: 1148000 | #Constraints: 23419 921.21/923.68 c #Conflicts: 1149000 | #Constraints: 24419 921.21/923.68 c #Conflicts: 1150000 | #Constraints: 25420 921.21/923.68 c #Conflicts: 1151000 | #Constraints: 26420 921.21/923.68 c #Conflicts: 1152000 | #Constraints: 27420 921.21/923.68 c #Conflicts: 1153000 | #Constraints: 28420 921.21/923.68 c #Conflicts: 1154000 | #Constraints: 29420 921.21/923.68 c #Conflicts: 1155000 | #Constraints: 30420 921.21/923.68 c #Conflicts: 1156000 | #Constraints: 31422 921.21/923.68 c #Conflicts: 1157000 | #Constraints: 32423 921.21/923.68 c #Conflicts: 1158000 | #Constraints: 33424 921.21/923.68 c #Conflicts: 1159000 | #Constraints: 34424 921.21/923.68 c #Conflicts: 1160000 | #Constraints: 35424 921.21/923.68 c #Conflicts: 1161000 | #Constraints: 36425 921.21/923.68 c #Conflicts: 1162000 | #Constraints: 37425 921.21/923.68 c #Conflicts: 1163000 | #Constraints: 38425 921.21/923.68 c #Conflicts: 1164000 | #Constraints: 39425 921.21/923.68 c #Conflicts: 1165000 | #Constraints: 40425 921.21/923.68 c #Conflicts: 1166000 | #Constraints: 41425 921.21/923.68 c #Conflicts: 1167000 | #Constraints: 42425 921.21/923.68 c #Conflicts: 1168000 | #Constraints: 43425 921.21/923.68 c INPROCESSING 921.21/923.68 c GARBAGE COLLECT 921.21/923.68 c rational objective 51.598 944.04/946.51 c #Conflicts: 1169000 | #Constraints: 23012 944.04/946.51 c #Conflicts: 1170000 | #Constraints: 24012 944.04/946.51 c #Conflicts: 1171000 | #Constraints: 25013 944.04/946.51 c #Conflicts: 1172000 | #Constraints: 26014 944.04/946.51 c #Conflicts: 1173000 | #Constraints: 27014 944.04/946.51 c #Conflicts: 1174000 | #Constraints: 28014 944.04/946.51 c #Conflicts: 1175000 | #Constraints: 29014 944.04/946.51 c #Conflicts: 1176000 | #Constraints: 30014 944.04/946.51 c #Conflicts: 1177000 | #Constraints: 31014 944.04/946.51 c #Conflicts: 1178000 | #Constraints: 32015 944.04/946.51 c #Conflicts: 1179000 | #Constraints: 33015 944.04/946.51 c #Conflicts: 1180000 | #Constraints: 34015 944.04/946.51 c #Conflicts: 1181000 | #Constraints: 35016 944.04/946.51 c #Conflicts: 1182000 | #Constraints: 36016 944.04/946.51 c #Conflicts: 1183000 | #Constraints: 37016 944.04/946.51 c #Conflicts: 1184000 | #Constraints: 38016 944.04/946.51 c #Conflicts: 1185000 | #Constraints: 39016 944.04/946.51 c #Conflicts: 1186000 | #Constraints: 40016 944.04/946.51 c #Conflicts: 1187000 | #Constraints: 41016 944.04/946.51 c #Conflicts: 1188000 | #Constraints: 42017 944.04/946.51 c #Conflicts: 1189000 | #Constraints: 43018 944.04/946.51 c #Conflicts: 1190000 | #Constraints: 44018 944.04/946.51 c INPROCESSING 944.04/946.51 c GARBAGE COLLECT 944.04/946.51 c rational objective 51.598 968.37/970.94 c #Conflicts: 1191000 | #Constraints: 23412 968.37/970.94 c #Conflicts: 1192000 | #Constraints: 24412 968.37/970.94 c #Conflicts: 1193000 | #Constraints: 25413 968.37/970.94 c #Conflicts: 1194000 | #Constraints: 26413 968.37/970.94 c #Conflicts: 1195000 | #Constraints: 27413 968.37/970.94 c #Conflicts: 1196000 | #Constraints: 28415 968.37/970.94 c #Conflicts: 1197000 | #Constraints: 29416 968.37/970.94 c #Conflicts: 1198000 | #Constraints: 30418 968.37/970.94 c #Conflicts: 1199000 | #Constraints: 31418 968.37/970.94 c #Conflicts: 1200000 | #Constraints: 32420 968.37/970.94 c #Conflicts: 1201000 | #Constraints: 33420 968.37/970.94 c #Conflicts: 1202000 | #Constraints: 34420 968.37/970.94 c #Conflicts: 1203000 | #Constraints: 35420 968.37/970.94 c #Conflicts: 1204000 | #Constraints: 36420 968.37/970.94 c #Conflicts: 1205000 | #Constraints: 37420 968.37/970.94 c #Conflicts: 1206000 | #Constraints: 38420 968.37/970.94 c #Conflicts: 1207000 | #Constraints: 39420 968.37/970.94 c #Conflicts: 1208000 | #Constraints: 40420 968.37/970.94 c #Conflicts: 1209000 | #Constraints: 41420 968.37/970.94 c #Conflicts: 1210000 | #Constraints: 42420 968.37/970.94 c #Conflicts: 1211000 | #Constraints: 43420 968.37/970.94 c #Conflicts: 1212000 | #Constraints: 44421 968.37/970.94 c INPROCESSING 968.37/970.94 c GARBAGE COLLECT 968.37/970.94 c rational objective 51.598 989.52/992.12 c #Conflicts: 1213000 | #Constraints: 23618 989.52/992.12 c #Conflicts: 1214000 | #Constraints: 24618 989.52/992.12 c #Conflicts: 1215000 | #Constraints: 25618 989.52/992.12 c #Conflicts: 1216000 | #Constraints: 26619 989.52/992.12 c #Conflicts: 1217000 | #Constraints: 27619 989.52/992.12 c #Conflicts: 1218000 | #Constraints: 28619 989.52/992.12 c #Conflicts: 1219000 | #Constraints: 29619 989.52/992.12 c #Conflicts: 1220000 | #Constraints: 30619 989.52/992.12 c #Conflicts: 1221000 | #Constraints: 31620 989.52/992.12 c #Conflicts: 1222000 | #Constraints: 32620 989.52/992.12 c #Conflicts: 1223000 | #Constraints: 33620 989.52/992.12 c #Conflicts: 1224000 | #Constraints: 34621 989.52/992.12 c #Conflicts: 1225000 | #Constraints: 35621 989.52/992.12 c #Conflicts: 1226000 | #Constraints: 36621 989.52/992.12 c #Conflicts: 1227000 | #Constraints: 37622 989.52/992.12 c #Conflicts: 1228000 | #Constraints: 38622 989.52/992.12 c #Conflicts: 1229000 | #Constraints: 39623 989.52/992.12 c #Conflicts: 1230000 | #Constraints: 40625 989.52/992.12 c #Conflicts: 1231000 | #Constraints: 41626 989.52/992.12 c #Conflicts: 1232000 | #Constraints: 42626 989.52/992.12 c #Conflicts: 1233000 | #Constraints: 43626 989.52/992.12 c #Conflicts: 1234000 | #Constraints: 44627 989.52/992.12 c INPROCESSING 989.52/992.12 c GARBAGE COLLECT 989.52/992.12 c rational objective 51.598 1012.63/1015.37 c #Conflicts: 1235000 | #Constraints: 23610 1012.63/1015.37 c #Conflicts: 1236000 | #Constraints: 24610 1012.63/1015.37 c #Conflicts: 1237000 | #Constraints: 25610 1012.63/1015.37 c #Conflicts: 1238000 | #Constraints: 26610 1012.63/1015.37 c #Conflicts: 1239000 | #Constraints: 27610 1012.63/1015.37 c #Conflicts: 1240000 | #Constraints: 28611 1012.63/1015.37 c #Conflicts: 1241000 | #Constraints: 29611 1012.63/1015.37 c #Conflicts: 1242000 | #Constraints: 30612 1012.63/1015.37 c #Conflicts: 1243000 | #Constraints: 31612 1012.63/1015.37 c #Conflicts: 1244000 | #Constraints: 32612 1012.63/1015.37 c #Conflicts: 1245000 | #Constraints: 33612 1012.63/1015.37 c #Conflicts: 1246000 | #Constraints: 34612 1012.63/1015.37 c #Conflicts: 1247000 | #Constraints: 35613 1012.63/1015.37 c #Conflicts: 1248000 | #Constraints: 36613 1012.63/1015.37 c #Conflicts: 1249000 | #Constraints: 37613 1012.63/1015.37 c #Conflicts: 1250000 | #Constraints: 38613 1012.63/1015.37 c #Conflicts: 1251000 | #Constraints: 39613 1012.63/1015.37 c #Conflicts: 1252000 | #Constraints: 40613 1012.63/1015.37 c #Conflicts: 1253000 | #Constraints: 41614 1012.63/1015.37 c #Conflicts: 1254000 | #Constraints: 42614 1012.63/1015.37 c #Conflicts: 1255000 | #Constraints: 43615 1012.63/1015.37 c #Conflicts: 1256000 | #Constraints: 44616 1012.63/1015.37 c INPROCESSING 1012.63/1015.37 c GARBAGE COLLECT 1012.63/1015.37 c rational objective 51.598 1036.56/1039.38 c #Conflicts: 1257000 | #Constraints: 23403 1036.56/1039.38 c #Conflicts: 1258000 | #Constraints: 24403 1036.56/1039.38 c #Conflicts: 1259000 | #Constraints: 25404 1036.56/1039.38 c #Conflicts: 1260000 | #Constraints: 26404 1036.56/1039.38 c #Conflicts: 1261000 | #Constraints: 27405 1036.56/1039.38 c #Conflicts: 1262000 | #Constraints: 28406 1036.56/1039.38 c #Conflicts: 1263000 | #Constraints: 29406 1036.56/1039.38 c #Conflicts: 1264000 | #Constraints: 30408 1036.56/1039.38 c #Conflicts: 1265000 | #Constraints: 31408 1036.56/1039.38 c #Conflicts: 1266000 | #Constraints: 32408 1036.56/1039.38 c #Conflicts: 1267000 | #Constraints: 33409 1036.56/1039.38 c #Conflicts: 1268000 | #Constraints: 34411 1036.56/1039.38 c #Conflicts: 1269000 | #Constraints: 35412 1036.56/1039.38 c #Conflicts: 1270000 | #Constraints: 36413 1036.56/1039.38 c #Conflicts: 1271000 | #Constraints: 37414 1036.56/1039.38 c #Conflicts: 1272000 | #Constraints: 38414 1036.56/1039.38 c #Conflicts: 1273000 | #Constraints: 39416 1036.56/1039.38 c #Conflicts: 1274000 | #Constraints: 40417 1036.56/1039.38 c #Conflicts: 1275000 | #Constraints: 41418 1036.56/1039.38 c #Conflicts: 1276000 | #Constraints: 42419 1036.56/1039.38 c #Conflicts: 1277000 | #Constraints: 43419 1036.56/1039.38 c #Conflicts: 1278000 | #Constraints: 44419 1036.56/1039.38 c #Conflicts: 1279000 | #Constraints: 45420 1036.56/1039.38 c INPROCESSING 1036.56/1039.38 c GARBAGE COLLECT 1036.56/1039.38 c rational objective 51.6027 1059.18/1062.06 c #Conflicts: 1280000 | #Constraints: 24013 1059.18/1062.06 c #Conflicts: 1281000 | #Constraints: 25013 1059.18/1062.06 c #Conflicts: 1282000 | #Constraints: 26014 1059.18/1062.06 c #Conflicts: 1283000 | #Constraints: 27014 1059.18/1062.06 c #Conflicts: 1284000 | #Constraints: 28014 1059.18/1062.06 c #Conflicts: 1285000 | #Constraints: 29015 1059.18/1062.06 c #Conflicts: 1286000 | #Constraints: 30015 1059.18/1062.06 c #Conflicts: 1287000 | #Constraints: 31015 1059.18/1062.06 c #Conflicts: 1288000 | #Constraints: 32016 1059.18/1062.06 c #Conflicts: 1289000 | #Constraints: 33016 1059.18/1062.06 c #Conflicts: 1290000 | #Constraints: 34017 1059.18/1062.06 c #Conflicts: 1291000 | #Constraints: 35017 1059.18/1062.06 c #Conflicts: 1292000 | #Constraints: 36017 1059.18/1062.06 c #Conflicts: 1293000 | #Constraints: 37017 1059.18/1062.06 c #Conflicts: 1294000 | #Constraints: 38017 1059.18/1062.06 c #Conflicts: 1295000 | #Constraints: 39017 1059.18/1062.06 c #Conflicts: 1296000 | #Constraints: 40017 1059.18/1062.06 c #Conflicts: 1297000 | #Constraints: 41018 1059.18/1062.06 c #Conflicts: 1298000 | #Constraints: 42019 1059.18/1062.06 c #Conflicts: 1299000 | #Constraints: 43019 1059.18/1062.06 c #Conflicts: 1300000 | #Constraints: 44019 1059.18/1062.06 c #Conflicts: 1301000 | #Constraints: 45020 1059.18/1062.06 c #Conflicts: 1302000 | #Constraints: 46020 1059.18/1062.06 c INPROCESSING 1059.18/1062.06 c GARBAGE COLLECT 1059.18/1062.06 c rational objective 51.6029 1086.38/1089.31 c #Conflicts: 1303000 | #Constraints: 24410 1086.38/1089.31 c #Conflicts: 1304000 | #Constraints: 25410 1086.38/1089.31 c #Conflicts: 1305000 | #Constraints: 26410 1086.38/1089.31 c #Conflicts: 1306000 | #Constraints: 27411 1086.38/1089.31 c #Conflicts: 1307000 | #Constraints: 28411 1086.38/1089.31 c #Conflicts: 1308000 | #Constraints: 29412 1086.38/1089.31 c #Conflicts: 1309000 | #Constraints: 30413 1086.38/1089.31 c #Conflicts: 1310000 | #Constraints: 31415 1086.38/1089.31 c #Conflicts: 1311000 | #Constraints: 32417 1086.38/1089.31 c #Conflicts: 1312000 | #Constraints: 33417 1086.38/1089.31 c #Conflicts: 1313000 | #Constraints: 34417 1086.38/1089.31 c #Conflicts: 1314000 | #Constraints: 35417 1086.38/1089.31 c #Conflicts: 1315000 | #Constraints: 36418 1086.38/1089.31 c #Conflicts: 1316000 | #Constraints: 37419 1086.38/1089.31 c #Conflicts: 1317000 | #Constraints: 38419 1086.38/1089.31 c #Conflicts: 1318000 | #Constraints: 39419 1086.38/1089.31 c #Conflicts: 1319000 | #Constraints: 40419 1086.38/1089.31 c #Conflicts: 1320000 | #Constraints: 41419 1086.38/1089.31 c #Conflicts: 1321000 | #Constraints: 42419 1086.38/1089.31 c #Conflicts: 1322000 | #Constraints: 43420 1086.38/1089.31 c #Conflicts: 1323000 | #Constraints: 44420 1086.38/1089.31 c #Conflicts: 1324000 | #Constraints: 45420 1086.38/1089.31 c #Conflicts: 1325000 | #Constraints: 46422 1086.38/1089.31 c INPROCESSING 1086.38/1089.31 c GARBAGE COLLECT 1086.38/1089.31 c rational objective 51.603 1114.19/1117.24 c #Conflicts: 1326000 | #Constraints: 24619 1114.19/1117.24 c #Conflicts: 1327000 | #Constraints: 25619 1114.19/1117.24 c #Conflicts: 1328000 | #Constraints: 26620 1114.19/1117.24 c #Conflicts: 1329000 | #Constraints: 27620 1114.19/1117.24 c #Conflicts: 1330000 | #Constraints: 28622 1114.19/1117.24 c #Conflicts: 1331000 | #Constraints: 29622 1114.19/1117.24 c #Conflicts: 1332000 | #Constraints: 30622 1114.19/1117.24 c #Conflicts: 1333000 | #Constraints: 31622 1114.19/1117.24 c #Conflicts: 1334000 | #Constraints: 32623 1114.19/1117.24 c #Conflicts: 1335000 | #Constraints: 33623 1114.19/1117.24 c #Conflicts: 1336000 | #Constraints: 34623 1114.19/1117.24 c #Conflicts: 1337000 | #Constraints: 35623 1114.19/1117.24 c #Conflicts: 1338000 | #Constraints: 36623 1114.19/1117.24 c #Conflicts: 1339000 | #Constraints: 37623 1114.19/1117.24 c #Conflicts: 1340000 | #Constraints: 38624 1114.19/1117.24 c #Conflicts: 1341000 | #Constraints: 39624 1114.19/1117.24 c #Conflicts: 1342000 | #Constraints: 40625 1114.19/1117.24 c #Conflicts: 1343000 | #Constraints: 41627 1114.19/1117.24 c #Conflicts: 1344000 | #Constraints: 42627 1114.19/1117.24 c #Conflicts: 1345000 | #Constraints: 43628 1114.19/1117.24 c #Conflicts: 1346000 | #Constraints: 44631 1114.19/1117.24 c #Conflicts: 1347000 | #Constraints: 45632 1114.19/1117.24 c #Conflicts: 1348000 | #Constraints: 46633 1114.19/1117.24 c INPROCESSING 1114.19/1117.24 c GARBAGE COLLECT 1114.19/1117.24 c rational objective 51.603 1147.88/1151.06 c #Conflicts: 1349000 | #Constraints: 24618 1147.88/1151.06 c #Conflicts: 1350000 | #Constraints: 25618 1147.88/1151.06 c #Conflicts: 1351000 | #Constraints: 26618 1147.88/1151.06 c #Conflicts: 1352000 | #Constraints: 27619 1147.88/1151.06 c #Conflicts: 1353000 | #Constraints: 28619 1147.88/1151.06 c #Conflicts: 1354000 | #Constraints: 29619 1147.88/1151.06 c #Conflicts: 1355000 | #Constraints: 30619 1147.88/1151.06 c #Conflicts: 1356000 | #Constraints: 31619 1147.88/1151.06 c #Conflicts: 1357000 | #Constraints: 32619 1147.88/1151.06 c #Conflicts: 1358000 | #Constraints: 33619 1147.88/1151.06 c #Conflicts: 1359000 | #Constraints: 34619 1147.88/1151.06 c #Conflicts: 1360000 | #Constraints: 35619 1147.88/1151.06 c #Conflicts: 1361000 | #Constraints: 36619 1147.88/1151.06 c #Conflicts: 1362000 | #Constraints: 37619 1147.88/1151.06 c #Conflicts: 1363000 | #Constraints: 38621 1147.88/1151.06 c #Conflicts: 1364000 | #Constraints: 39621 1147.88/1151.06 c #Conflicts: 1365000 | #Constraints: 40621 1147.88/1151.06 c #Conflicts: 1366000 | #Constraints: 41622 1147.88/1151.06 c #Conflicts: 1367000 | #Constraints: 42623 1147.88/1151.06 c #Conflicts: 1368000 | #Constraints: 43623 1147.88/1151.06 c #Conflicts: 1369000 | #Constraints: 44623 1147.88/1151.06 c #Conflicts: 1370000 | #Constraints: 45623 1147.88/1151.06 c #Conflicts: 1371000 | #Constraints: 46624 1147.88/1151.06 c INPROCESSING 1147.88/1151.06 c GARBAGE COLLECT 1147.88/1151.06 c rational objective 51.603 1172.19/1175.46 c #Conflicts: 1372000 | #Constraints: 24422 1172.19/1175.46 c #Conflicts: 1373000 | #Constraints: 25423 1172.19/1175.46 c #Conflicts: 1374000 | #Constraints: 26423 1172.19/1175.46 c #Conflicts: 1375000 | #Constraints: 27423 1172.19/1175.46 c #Conflicts: 1376000 | #Constraints: 28424 1172.19/1175.46 c #Conflicts: 1377000 | #Constraints: 29424 1172.19/1175.46 c #Conflicts: 1378000 | #Constraints: 30425 1172.19/1175.46 c #Conflicts: 1379000 | #Constraints: 31426 1172.19/1175.46 c #Conflicts: 1380000 | #Constraints: 32426 1172.19/1175.46 c #Conflicts: 1381000 | #Constraints: 33427 1172.19/1175.46 c #Conflicts: 1382000 | #Constraints: 34427 1172.19/1175.46 c #Conflicts: 1383000 | #Constraints: 35427 1172.19/1175.46 c #Conflicts: 1384000 | #Constraints: 36427 1172.19/1175.46 c #Conflicts: 1385000 | #Constraints: 37427 1172.19/1175.46 c #Conflicts: 1386000 | #Constraints: 38428 1172.19/1175.46 c #Conflicts: 1387000 | #Constraints: 39428 1172.19/1175.46 c #Conflicts: 1388000 | #Constraints: 40428 1172.19/1175.46 c #Conflicts: 1389000 | #Constraints: 41429 1172.19/1175.46 c #Conflicts: 1390000 | #Constraints: 42429 1172.19/1175.46 c #Conflicts: 1391000 | #Constraints: 43431 1172.19/1175.46 c #Conflicts: 1392000 | #Constraints: 44433 1172.19/1175.46 c #Conflicts: 1393000 | #Constraints: 45433 1172.19/1175.46 c #Conflicts: 1394000 | #Constraints: 46433 1172.19/1175.46 c #Conflicts: 1395000 | #Constraints: 47433 1172.19/1175.46 c INPROCESSING 1172.19/1175.46 c GARBAGE COLLECT 1172.19/1175.46 c rational objective 51.603 1197.70/1201.03 c #Conflicts: 1396000 | #Constraints: 25019 1197.70/1201.03 c #Conflicts: 1397000 | #Constraints: 26020 1197.70/1201.03 c #Conflicts: 1398000 | #Constraints: 27021 1197.70/1201.03 c #Conflicts: 1399000 | #Constraints: 28021 1197.70/1201.03 c #Conflicts: 1400000 | #Constraints: 29021 1197.70/1201.03 c #Conflicts: 1401000 | #Constraints: 30021 1197.70/1201.03 c #Conflicts: 1402000 | #Constraints: 31022 1197.70/1201.03 c #Conflicts: 1403000 | #Constraints: 32023 1197.70/1201.03 c #Conflicts: 1404000 | #Constraints: 33023 1197.70/1201.03 c #Conflicts: 1405000 | #Constraints: 34023 1197.70/1201.03 c #Conflicts: 1406000 | #Constraints: 35023 1197.70/1201.03 c #Conflicts: 1407000 | #Constraints: 36023 1197.70/1201.03 c #Conflicts: 1408000 | #Constraints: 37023 1197.70/1201.03 c #Conflicts: 1409000 | #Constraints: 38023 1197.70/1201.03 c #Conflicts: 1410000 | #Constraints: 39023 1197.70/1201.03 c #Conflicts: 1411000 | #Constraints: 40023 1197.70/1201.03 c #Conflicts: 1412000 | #Constraints: 41023 1197.70/1201.03 c #Conflicts: 1413000 | #Constraints: 42023 1197.70/1201.03 c #Conflicts: 1414000 | #Constraints: 43023 1197.70/1201.03 c #Conflicts: 1415000 | #Constraints: 44023 1197.70/1201.03 c #Conflicts: 1416000 | #Constraints: 45023 1197.70/1201.03 c #Conflicts: 1417000 | #Constraints: 46025 1197.70/1201.03 c #Conflicts: 1418000 | #Constraints: 47027 1197.70/1201.03 c #Conflicts: 1419000 | #Constraints: 48027 1197.70/1201.03 c INPROCESSING 1197.70/1201.03 c GARBAGE COLLECT 1197.70/1201.03 c rational objective 51.603 1225.80/1229.29 c #Conflicts: 1420000 | #Constraints: 25424 1225.80/1229.29 c #Conflicts: 1421000 | #Constraints: 26424 1225.80/1229.29 c #Conflicts: 1422000 | #Constraints: 27426 1225.80/1229.29 c #Conflicts: 1423000 | #Constraints: 28426 1225.80/1229.29 c #Conflicts: 1424000 | #Constraints: 29428 1225.80/1229.29 c #Conflicts: 1425000 | #Constraints: 30430 1225.80/1229.29 c #Conflicts: 1426000 | #Constraints: 31431 1225.80/1229.29 c #Conflicts: 1427000 | #Constraints: 32432 1225.80/1229.29 c #Conflicts: 1428000 | #Constraints: 33432 1225.80/1229.29 c #Conflicts: 1429000 | #Constraints: 34432 1225.80/1229.29 c #Conflicts: 1430000 | #Constraints: 35434 1225.80/1229.29 c #Conflicts: 1431000 | #Constraints: 36435 1225.80/1229.29 c #Conflicts: 1432000 | #Constraints: 37435 1225.80/1229.29 c #Conflicts: 1433000 | #Constraints: 38435 1225.80/1229.29 c #Conflicts: 1434000 | #Constraints: 39435 1225.80/1229.29 c #Conflicts: 1435000 | #Constraints: 40435 1225.80/1229.29 c #Conflicts: 1436000 | #Constraints: 41435 1225.80/1229.29 c #Conflicts: 1437000 | #Constraints: 42435 1225.80/1229.29 c #Conflicts: 1438000 | #Constraints: 43436 1225.80/1229.29 c #Conflicts: 1439000 | #Constraints: 44437 1225.80/1229.29 c #Conflicts: 1440000 | #Constraints: 45437 1225.80/1229.29 c #Conflicts: 1441000 | #Constraints: 46437 1225.80/1229.29 c #Conflicts: 1442000 | #Constraints: 47438 1225.80/1229.29 c #Conflicts: 1443000 | #Constraints: 48438 1225.80/1229.29 c INPROCESSING 1225.80/1229.29 c GARBAGE COLLECT 1225.80/1229.29 c rational objective 51.603 1261.18/1264.79 c #Conflicts: 1444000 | #Constraints: 25623 1261.18/1264.79 c #Conflicts: 1445000 | #Constraints: 26624 1261.18/1264.79 c #Conflicts: 1446000 | #Constraints: 27624 1261.18/1264.79 c #Conflicts: 1447000 | #Constraints: 28624 1261.18/1264.79 c #Conflicts: 1448000 | #Constraints: 29624 1261.18/1264.79 c #Conflicts: 1449000 | #Constraints: 30624 1261.18/1264.79 c #Conflicts: 1450000 | #Constraints: 31625 1261.18/1264.79 c #Conflicts: 1451000 | #Constraints: 32627 1261.18/1264.79 c #Conflicts: 1452000 | #Constraints: 33628 1261.18/1264.79 c #Conflicts: 1453000 | #Constraints: 34628 1261.18/1264.79 c #Conflicts: 1454000 | #Constraints: 35628 1261.18/1264.79 c #Conflicts: 1455000 | #Constraints: 36628 1261.18/1264.79 c #Conflicts: 1456000 | #Constraints: 37628 1261.18/1264.79 c #Conflicts: 1457000 | #Constraints: 38628 1261.18/1264.79 c #Conflicts: 1458000 | #Constraints: 39628 1261.18/1264.79 c #Conflicts: 1459000 | #Constraints: 40628 1261.18/1264.79 c #Conflicts: 1460000 | #Constraints: 41628 1261.18/1264.79 c #Conflicts: 1461000 | #Constraints: 42628 1261.18/1264.79 c #Conflicts: 1462000 | #Constraints: 43628 1261.18/1264.79 c #Conflicts: 1463000 | #Constraints: 44628 1261.18/1264.79 c #Conflicts: 1464000 | #Constraints: 45630 1261.18/1264.79 c #Conflicts: 1465000 | #Constraints: 46630 1261.18/1264.79 c #Conflicts: 1466000 | #Constraints: 47631 1261.18/1264.79 c #Conflicts: 1467000 | #Constraints: 48631 1261.18/1264.79 c INPROCESSING 1261.18/1264.79 c GARBAGE COLLECT 1261.18/1264.79 c rational objective 51.603 1290.39/1294.02 c #Conflicts: 1468000 | #Constraints: 25620 1290.39/1294.02 c #Conflicts: 1469000 | #Constraints: 26620 1290.39/1294.02 c #Conflicts: 1470000 | #Constraints: 27620 1290.39/1294.02 c #Conflicts: 1471000 | #Constraints: 28620 1290.39/1294.02 c #Conflicts: 1472000 | #Constraints: 29621 1290.39/1294.02 c #Conflicts: 1473000 | #Constraints: 30621 1290.39/1294.02 c #Conflicts: 1474000 | #Constraints: 31621 1290.39/1294.02 c #Conflicts: 1475000 | #Constraints: 32621 1290.39/1294.02 c #Conflicts: 1476000 | #Constraints: 33621 1290.39/1294.02 c #Conflicts: 1477000 | #Constraints: 34621 1290.39/1294.02 c #Conflicts: 1478000 | #Constraints: 35622 1290.39/1294.02 c #Conflicts: 1479000 | #Constraints: 36624 1290.39/1294.02 c #Conflicts: 1480000 | #Constraints: 37625 1290.39/1294.02 c #Conflicts: 1481000 | #Constraints: 38625 1290.39/1294.02 c #Conflicts: 1482000 | #Constraints: 39627 1290.39/1294.02 c #Conflicts: 1483000 | #Constraints: 40627 1290.39/1294.02 c #Conflicts: 1484000 | #Constraints: 41628 1290.39/1294.02 c #Conflicts: 1485000 | #Constraints: 42628 1290.39/1294.02 c #Conflicts: 1486000 | #Constraints: 43628 1290.39/1294.02 c #Conflicts: 1487000 | #Constraints: 44628 1290.39/1294.02 c #Conflicts: 1488000 | #Constraints: 45629 1290.39/1294.02 c #Conflicts: 1489000 | #Constraints: 46631 1290.39/1294.02 c #Conflicts: 1490000 | #Constraints: 47632 1290.39/1294.02 c #Conflicts: 1491000 | #Constraints: 48633 1290.39/1294.02 c INPROCESSING 1290.39/1294.02 c GARBAGE COLLECT 1290.39/1294.02 c rational objective 51.603 1316.99/1320.70 c #Conflicts: 1492000 | #Constraints: 25421 1316.99/1320.70 c #Conflicts: 1493000 | #Constraints: 26422 1316.99/1320.70 c #Conflicts: 1494000 | #Constraints: 27422 1316.99/1320.70 c #Conflicts: 1495000 | #Constraints: 28422 1316.99/1320.70 c #Conflicts: 1496000 | #Constraints: 29423 1316.99/1320.70 c #Conflicts: 1497000 | #Constraints: 30426 1316.99/1320.70 c #Conflicts: 1498000 | #Constraints: 31426 1316.99/1320.70 c #Conflicts: 1499000 | #Constraints: 32426 1316.99/1320.70 c #Conflicts: 1500000 | #Constraints: 33428 1316.99/1320.70 c #Conflicts: 1501000 | #Constraints: 34429 1316.99/1320.70 c #Conflicts: 1502000 | #Constraints: 35429 1316.99/1320.70 c #Conflicts: 1503000 | #Constraints: 36429 1316.99/1320.70 c #Conflicts: 1504000 | #Constraints: 37430 1316.99/1320.70 c #Conflicts: 1505000 | #Constraints: 38430 1316.99/1320.70 c #Conflicts: 1506000 | #Constraints: 39431 1316.99/1320.70 c #Conflicts: 1507000 | #Constraints: 40432 1316.99/1320.70 c #Conflicts: 1508000 | #Constraints: 41432 1316.99/1320.70 c #Conflicts: 1509000 | #Constraints: 42432 1316.99/1320.70 c #Conflicts: 1510000 | #Constraints: 43433 1316.99/1320.70 c #Conflicts: 1511000 | #Constraints: 44434 1316.99/1320.70 c #Conflicts: 1512000 | #Constraints: 45435 1316.99/1320.70 c #Conflicts: 1513000 | #Constraints: 46436 1316.99/1320.70 c #Conflicts: 1514000 | #Constraints: 47438 1316.99/1320.70 c #Conflicts: 1515000 | #Constraints: 48438 1316.99/1320.70 c #Conflicts: 1516000 | #Constraints: 49438 1316.99/1320.70 c INPROCESSING 1316.99/1320.70 c GARBAGE COLLECT 1316.99/1320.70 c rational objective 51.603 1343.90/1347.77 c #Conflicts: 1517000 | #Constraints: 26030 1343.90/1347.77 c #Conflicts: 1518000 | #Constraints: 27030 1343.90/1347.77 c #Conflicts: 1519000 | #Constraints: 28030 1343.90/1347.77 c #Conflicts: 1520000 | #Constraints: 29031 1343.90/1347.77 c #Conflicts: 1521000 | #Constraints: 30031 1343.90/1347.77 c #Conflicts: 1522000 | #Constraints: 31031 1343.90/1347.77 c #Conflicts: 1523000 | #Constraints: 32032 1343.90/1347.77 c #Conflicts: 1524000 | #Constraints: 33034 1343.90/1347.77 c #Conflicts: 1525000 | #Constraints: 34035 1343.90/1347.77 c #Conflicts: 1526000 | #Constraints: 35035 1343.90/1347.77 c #Conflicts: 1527000 | #Constraints: 36035 1343.90/1347.77 c #Conflicts: 1528000 | #Constraints: 37035 1343.90/1347.77 c #Conflicts: 1529000 | #Constraints: 38035 1343.90/1347.77 c #Conflicts: 1530000 | #Constraints: 39035 1343.90/1347.77 c #Conflicts: 1531000 | #Constraints: 40035 1343.90/1347.77 c #Conflicts: 1532000 | #Constraints: 41035 1343.90/1347.77 c #Conflicts: 1533000 | #Constraints: 42036 1343.90/1347.77 c #Conflicts: 1534000 | #Constraints: 43036 1343.90/1347.77 c #Conflicts: 1535000 | #Constraints: 44036 1343.90/1347.77 c #Conflicts: 1536000 | #Constraints: 45037 1343.90/1347.77 c #Conflicts: 1537000 | #Constraints: 46038 1343.90/1347.77 c #Conflicts: 1538000 | #Constraints: 47039 1343.90/1347.77 c #Conflicts: 1539000 | #Constraints: 48039 1343.90/1347.77 c #Conflicts: 1540000 | #Constraints: 49039 1343.90/1347.77 c #Conflicts: 1541000 | #Constraints: 50039 1343.90/1347.77 c INPROCESSING 1343.90/1347.77 c GARBAGE COLLECT 1343.90/1347.77 c rational objective 51.603 1379.90/1383.85 c #Conflicts: 1542000 | #Constraints: 26425 1379.90/1383.85 c #Conflicts: 1543000 | #Constraints: 27425 1379.90/1383.85 c #Conflicts: 1544000 | #Constraints: 28425 1379.90/1383.85 c #Conflicts: 1545000 | #Constraints: 29425 1379.90/1383.85 c #Conflicts: 1546000 | #Constraints: 30425 1379.90/1383.85 c #Conflicts: 1547000 | #Constraints: 31425 1379.90/1383.85 c #Conflicts: 1548000 | #Constraints: 32425 1379.90/1383.85 c #Conflicts: 1549000 | #Constraints: 33425 1379.90/1383.85 c #Conflicts: 1550000 | #Constraints: 34426 1379.90/1383.85 c #Conflicts: 1551000 | #Constraints: 35426 1379.90/1383.85 c #Conflicts: 1552000 | #Constraints: 36427 1379.90/1383.85 c #Conflicts: 1553000 | #Constraints: 37427 1379.90/1383.85 c #Conflicts: 1554000 | #Constraints: 38428 1379.90/1383.85 c #Conflicts: 1555000 | #Constraints: 39429 1379.90/1383.85 c #Conflicts: 1556000 | #Constraints: 40430 1379.90/1383.85 c #Conflicts: 1557000 | #Constraints: 41430 1379.90/1383.85 c #Conflicts: 1558000 | #Constraints: 42430 1379.90/1383.85 c #Conflicts: 1559000 | #Constraints: 43430 1379.90/1383.85 c #Conflicts: 1560000 | #Constraints: 44433 1379.90/1383.85 c #Conflicts: 1561000 | #Constraints: 45434 1379.90/1383.85 c #Conflicts: 1562000 | #Constraints: 46435 1379.90/1383.85 c #Conflicts: 1563000 | #Constraints: 47435 1379.90/1383.85 c #Conflicts: 1564000 | #Constraints: 48435 1379.90/1383.85 c #Conflicts: 1565000 | #Constraints: 49436 1379.90/1383.85 c #Conflicts: 1566000 | #Constraints: 50436 1379.90/1383.85 c INPROCESSING 1379.90/1383.85 c GARBAGE COLLECT 1379.90/1383.85 c rational objective 51.603 1409.42/1413.42 c #Conflicts: 1567000 | #Constraints: 26625 1409.42/1413.42 c #Conflicts: 1568000 | #Constraints: 27626 1409.42/1413.42 c #Conflicts: 1569000 | #Constraints: 28627 1409.42/1413.42 c #Conflicts: 1570000 | #Constraints: 29627 1409.42/1413.42 c #Conflicts: 1571000 | #Constraints: 30627 1409.42/1413.42 c #Conflicts: 1572000 | #Constraints: 31627 1409.42/1413.42 c #Conflicts: 1573000 | #Constraints: 32627 1409.42/1413.42 c #Conflicts: 1574000 | #Constraints: 33629 1409.42/1413.42 c #Conflicts: 1575000 | #Constraints: 34630 1409.42/1413.42 c #Conflicts: 1576000 | #Constraints: 35631 1409.42/1413.42 c #Conflicts: 1577000 | #Constraints: 36631 1409.42/1413.42 c #Conflicts: 1578000 | #Constraints: 37631 1409.42/1413.42 c #Conflicts: 1579000 | #Constraints: 38631 1409.42/1413.42 c #Conflicts: 1580000 | #Constraints: 39631 1409.42/1413.42 c #Conflicts: 1581000 | #Constraints: 40631 1409.42/1413.42 c #Conflicts: 1582000 | #Constraints: 41631 1409.42/1413.42 c #Conflicts: 1583000 | #Constraints: 42631 1409.42/1413.42 c #Conflicts: 1584000 | #Constraints: 43631 1409.42/1413.42 c #Conflicts: 1585000 | #Constraints: 44631 1409.42/1413.42 c #Conflicts: 1586000 | #Constraints: 45631 1409.42/1413.42 c #Conflicts: 1587000 | #Constraints: 46631 1409.42/1413.42 c #Conflicts: 1588000 | #Constraints: 47631 1409.42/1413.42 c #Conflicts: 1589000 | #Constraints: 48631 1409.42/1413.42 c #Conflicts: 1590000 | #Constraints: 49632 1409.42/1413.42 c #Conflicts: 1591000 | #Constraints: 50632 1409.42/1413.42 c INPROCESSING 1409.42/1413.42 c GARBAGE COLLECT 1409.42/1413.42 c rational objective 51.603 1446.43/1450.59 c #Conflicts: 1592000 | #Constraints: 26627 1446.43/1450.59 c #Conflicts: 1593000 | #Constraints: 27627 1446.43/1450.59 c #Conflicts: 1594000 | #Constraints: 28628 1446.43/1450.59 c #Conflicts: 1595000 | #Constraints: 29629 1446.43/1450.59 c #Conflicts: 1596000 | #Constraints: 30629 1446.43/1450.59 c #Conflicts: 1597000 | #Constraints: 31630 1446.43/1450.59 c #Conflicts: 1598000 | #Constraints: 32631 1446.43/1450.59 c #Conflicts: 1599000 | #Constraints: 33631 1446.43/1450.59 c #Conflicts: 1600000 | #Constraints: 34631 1446.43/1450.59 c #Conflicts: 1601000 | #Constraints: 35631 1446.43/1450.59 c #Conflicts: 1602000 | #Constraints: 36631 1446.43/1450.59 c #Conflicts: 1603000 | #Constraints: 37631 1446.43/1450.59 c #Conflicts: 1604000 | #Constraints: 38631 1446.43/1450.59 c #Conflicts: 1605000 | #Constraints: 39631 1446.43/1450.59 c #Conflicts: 1606000 | #Constraints: 40631 1446.43/1450.59 c #Conflicts: 1607000 | #Constraints: 41631 1446.43/1450.59 c #Conflicts: 1608000 | #Constraints: 42631 1446.43/1450.59 c #Conflicts: 1609000 | #Constraints: 43631 1446.43/1450.59 c #Conflicts: 1610000 | #Constraints: 44631 1446.43/1450.59 c #Conflicts: 1611000 | #Constraints: 45631 1446.43/1450.59 c #Conflicts: 1612000 | #Constraints: 46631 1446.43/1450.59 c #Conflicts: 1613000 | #Constraints: 47631 1446.43/1450.59 c #Conflicts: 1614000 | #Constraints: 48631 1446.43/1450.59 c #Conflicts: 1615000 | #Constraints: 49631 1446.43/1450.59 c #Conflicts: 1616000 | #Constraints: 50631 1446.43/1450.59 c INPROCESSING 1446.43/1450.59 c GARBAGE COLLECT 1446.43/1450.59 c rational objective 51.6042 1480.94/1485.16 c #Conflicts: 1617000 | #Constraints: 26426 1480.94/1485.16 c #Conflicts: 1618000 | #Constraints: 27426 1480.94/1485.16 c #Conflicts: 1619000 | #Constraints: 28426 1480.94/1485.16 c #Conflicts: 1620000 | #Constraints: 29426 1480.94/1485.16 c #Conflicts: 1621000 | #Constraints: 30426 1480.94/1485.16 c #Conflicts: 1622000 | #Constraints: 31427 1480.94/1485.16 c #Conflicts: 1623000 | #Constraints: 32427 1480.94/1485.16 c #Conflicts: 1624000 | #Constraints: 33427 1480.94/1485.16 c #Conflicts: 1625000 | #Constraints: 34427 1480.94/1485.16 c #Conflicts: 1626000 | #Constraints: 35428 1480.94/1485.16 c #Conflicts: 1627000 | #Constraints: 36428 1480.94/1485.16 c #Conflicts: 1628000 | #Constraints: 37428 1480.94/1485.16 c #Conflicts: 1629000 | #Constraints: 38428 1480.94/1485.16 c #Conflicts: 1630000 | #Constraints: 39429 1480.94/1485.16 c #Conflicts: 1631000 | #Constraints: 40429 1480.94/1485.16 c #Conflicts: 1632000 | #Constraints: 41429 1480.94/1485.16 c #Conflicts: 1633000 | #Constraints: 42429 1480.94/1485.16 c #Conflicts: 1634000 | #Constraints: 43430 1480.94/1485.16 c #Conflicts: 1635000 | #Constraints: 44430 1480.94/1485.16 c #Conflicts: 1636000 | #Constraints: 45430 1480.94/1485.16 c #Conflicts: 1637000 | #Constraints: 46430 1480.94/1485.16 c #Conflicts: 1638000 | #Constraints: 47430 1480.94/1485.16 c #Conflicts: 1639000 | #Constraints: 48430 1480.94/1485.16 c #Conflicts: 1640000 | #Constraints: 49430 1480.94/1485.16 c #Conflicts: 1641000 | #Constraints: 50430 1480.94/1485.16 c #Conflicts: 1642000 | #Constraints: 51430 1480.94/1485.16 c INPROCESSING 1480.94/1485.16 c GARBAGE COLLECT 1480.94/1485.16 c rational objective 51.6042 1490.22/1494.48 c #Conflicts: 1643000 | #Constraints: 27031 1490.22/1494.48 c #Conflicts: 1644000 | #Constraints: 28031 1490.22/1494.48 c #Conflicts: 1645000 | #Constraints: 29031 1490.22/1494.48 c #Conflicts: 1646000 | #Constraints: 30031 1490.22/1494.48 c #Conflicts: 1647000 | #Constraints: 31031 1490.22/1494.48 c #Conflicts: 1648000 | #Constraints: 32032 1490.22/1494.48 c #Conflicts: 1649000 | #Constraints: 33034 1490.22/1494.48 c #Conflicts: 1650000 | #Constraints: 34034 1490.22/1494.48 c #Conflicts: 1651000 | #Constraints: 35034 1490.22/1494.48 c #Conflicts: 1652000 | #Constraints: 36034 1490.22/1494.48 c cpu time 1475.92 s 1490.22/1494.48 c deterministic time 237753039320 2.38e+11 1490.22/1494.48 c optimization time 0.000183 s 1490.22/1494.48 c total solve time 1475.91 s 1490.22/1494.48 c core-guided solve time 0 s 1490.22/1494.48 c propagation time 1319.43 s 1490.22/1494.48 c conflict analysis time 115.87 s 1490.22/1494.48 c propagations 89490307 1490.22/1494.48 c resolve steps 27519028 1490.22/1494.48 c decisions 2502596 1490.22/1494.48 c conflicts 1652527 1490.22/1494.48 c restarts 3121 1490.22/1494.48 c inprocessing phases 119 1490.22/1494.48 c input clauses 558 1490.22/1494.48 c input cardinalities 2 1490.22/1494.48 c input general constraints 249 1490.22/1494.48 c input average constraint length 5.35 1490.22/1494.48 c input average constraint degree 2.42 1490.22/1494.48 c learned clauses 1376174 1490.22/1494.48 c learned cardinalities 1857 1490.22/1494.48 c learned general constraints 275135 1490.22/1494.48 c learned average constraint length 134.44 1490.22/1494.48 c learned average constraint degree 3283288.30 1490.22/1494.48 c watched constraints 274528 1490.22/1494.48 c counting constraints 856 1490.22/1494.48 c gcd simplifications 144144 1490.22/1494.48 c detected cardinalities 442 1490.22/1494.48 c weakened non-implied lits 24398168 1490.22/1494.48 c weakened non-implying lits 354798 1490.22/1494.48 c original variables 370 1490.22/1494.48 c clausal propagations 34243758 1490.22/1494.48 c cardinality propagations 1290579 1490.22/1494.48 c watched propagations 16160440 1490.22/1494.48 c counting propagations 35699162 1490.22/1494.48 c watch lookups 19389588561 1490.22/1494.48 c watch backjump lookups 7068566491 1490.22/1494.48 c watch checks 204732263828 1490.22/1494.48 c propagation checks 5767452412 1490.22/1494.48 c constraint additions 607296555 1490.22/1494.48 c trail pops 93644769 1490.22/1494.48 c formula constraints 809 1490.22/1494.48 c learned constraints 1651888 1490.22/1494.48 c bound constraints 0 1490.22/1494.48 c core-guided constraints 0 1490.22/1494.48 c encountered formula constraints 20285727 1490.22/1494.48 c encountered learned constraints 8884347 1490.22/1494.48 c encountered bound constraints 0 1490.22/1494.48 c encountered core-guided constraints 0 1490.22/1494.48 c LP total time 68.7382 s 1490.22/1494.48 c LP solve time 64.03 s 1490.22/1494.48 c LP constraints added 902 1490.22/1494.48 c LP constraints removed 78 1490.22/1494.48 c LP pivots internal 1652549 1490.22/1494.48 c LP pivots root 581251 1490.22/1494.48 c LP calls 7638 1490.22/1494.48 c LP optimalities 6995 1490.22/1494.48 c LP no pivot count 1 1490.22/1494.48 c LP infeasibilities 639 1490.22/1494.48 c LP valid Farkas constraints 639 1490.22/1494.48 c LP learned Farkas constraints 639 1490.22/1494.48 c LP basis resets 0 1490.22/1494.48 c LP cycling count 0 1490.22/1494.48 c LP singular count 0 1490.22/1494.48 c LP no primal count 0 1490.22/1494.48 c LP no farkas count 0 1490.22/1494.48 c LP other issue count 0 1490.22/1494.48 c LP Gomory cuts 0 1490.22/1494.48 c LP learned cuts 93 1490.22/1494.48 c LP deleted cuts 78 1490.22/1494.48 c LP encountered Gomory constraints 0 1490.22/1494.48 c LP encountered Farkas constraints 176 1490.22/1494.48 c LP encountered learned Farkas constraints 666 1490.22/1494.48 c CG auxiliary variables introduced 0 1490.22/1494.48 c CG solutions found 0 1490.22/1494.48 c CG cores constructed 0 1490.22/1494.48 c CG core cardinality constraints returned 0 1490.22/1494.48 c CG unit cores 0 1490.22/1494.48 c CG single cores 0 1490.22/1494.48 c CG blocks removed during cardinality reduction 0 1490.22/1494.48 c CG first core best 0 1490.22/1494.48 c CG decision core best 0 1490.22/1494.48 c CG core reduction tie 0 1490.22/1494.48 c CG core degree average 0.00 1490.22/1494.48 c CG core slack average 0.00 1490.22/1494.48 s SATISFIABLE 1490.22/1494.48 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 (52070 MiB free)
memory of node 1: 64473 MiB (52073 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456863-1721817186/watcher-4456863-1721817186 -o /tmp/evaluation-result-4456863-1721817186/solver-4456863-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228038 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456863-1721817186 --lp-cut-gomory=0 HOME/instance-4456863-1721817186.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=228097, runsolver pid=228083
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 0.09 0.11 0.09 8/261 228100
/proc/meminfo: memFree=106628644/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=38864 memory=8520 CPUtime=0.08 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 630 0 1 0 8 0 0 0 20 0 1 0 18246940 39796736 2130 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 9716 2130 1713 992 0 1574 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 8520 KiB
[startup+0.206082 s]*
/proc/loadavg: 0.09 0.11 0.09 7/261 228100
/proc/meminfo: memFree=106624524/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=38864 memory=9488 CPUtime=0.18 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 806 0 1 0 18 0 0 0 20 0 1 0 18246940 39796736 2372 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 9716 2372 1760 992 0 1574 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 9488 KiB
[startup+0.305653 s]*
/proc/loadavg: 0.09 0.11 0.09 7/259 228100
/proc/meminfo: memFree=106622588/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=39120 memory=10076 CPUtime=0.28 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 995 0 1 0 27 1 0 0 20 0 1 0 18246940 40058880 2519 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 9780 2519 1760 992 0 1638 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39120 KiB
Current children cumulated memory: 10076 KiB
[startup+0.700158 s]
/proc/loadavg: 0.09 0.11 0.09 4/256 228108
/proc/meminfo: memFree=106613812/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=39592 memory=13128 CPUtime=0.67 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 1126 0 1 0 64 3 0 0 20 0 1 0 18246940 40542208 3282 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 9898 3282 1834 992 0 1756 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 39592 KiB
Current children cumulated memory: 13128 KiB
[startup+1.50013 s]
/proc/loadavg: 0.09 0.11 0.09 8/261 228148
/proc/meminfo: memFree=106562176/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=40192 memory=13636 CPUtime=1.46 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 1264 0 1 0 140 6 0 0 20 0 1 0 18246940 41156608 3409 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 10048 3409 1866 992 0 1906 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 40192 KiB
Current children cumulated memory: 13636 KiB
[startup+3.10603 s]
/proc/loadavg: 0.41 0.17 0.11 7/261 228148
/proc/meminfo: memFree=106472812/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=40468 memory=14228 CPUtime=3.07 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 1374 0 1 0 294 13 0 0 20 0 1 0 18246940 41439232 3557 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 10117 3557 1866 992 0 1975 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 40468 KiB
Current children cumulated memory: 14228 KiB
[startup+6.30019 s]
/proc/loadavg: 0.41 0.17 0.11 7/262 228241
/proc/meminfo: memFree=105957668/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=41180 memory=15436 CPUtime=6.26 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 1697 0 1 0 601 25 0 0 20 0 1 0 18246940 42168320 3859 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 10295 3859 1866 992 0 2153 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 41180 KiB
Current children cumulated memory: 15436 KiB
[startup+12.7002 s]
/proc/loadavg: 0.69 0.24 0.13 7/262 228610
/proc/meminfo: memFree=105895460/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=45092 memory=17064 CPUtime=12.64 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 2167 0 1 0 1224 40 0 0 20 0 1 0 18246940 46174208 4266 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 11273 4266 1866 992 0 3131 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 45092 KiB
Current children cumulated memory: 17064 KiB
[startup+25.5002 s]
/proc/loadavg: 1.50 0.44 0.20 6/263 228659
/proc/meminfo: memFree=105911076/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=46412 memory=19924 CPUtime=25.41 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 3077 0 1 0 2471 70 0 0 20 0 1 0 18246940 47525888 4981 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 11603 4981 1866 992 0 3461 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 46412 KiB
Current children cumulated memory: 19924 KiB
[startup+51.1067 s]
/proc/loadavg: 2.35 0.72 0.30 5/263 228803
/proc/meminfo: memFree=105412072/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=51760 memory=22392 CPUtime=50.94 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 3976 0 1 0 4972 122 0 0 20 0 1 0 18246940 53002240 5598 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 12940 5598 1866 992 0 4798 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 51760 KiB
Current children cumulated memory: 22392 KiB
[startup+102.3 s]
/proc/loadavg: 3.33 1.25 0.50 5/262 228812
/proc/meminfo: memFree=103470412/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=53956 memory=26676 CPUtime=102 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 4831 0 1 0 9990 210 0 0 20 0 1 0 18246940 55250944 6669 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 13489 6669 1866 992 0 5347 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 53956 KiB
Current children cumulated memory: 26676 KiB
[startup+162.3 s]
/proc/loadavg: 3.79 1.76 0.73 5/262 228825
/proc/meminfo: memFree=102324244/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=63452 memory=32744 CPUtime=161.84 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 6780 0 1 0 15881 303 0 0 20 0 1 0 18246940 64974848 8186 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 15863 8186 1866 992 0 7721 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 63452 KiB
Current children cumulated memory: 32744 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.19 0.94 5/258 228836
/proc/meminfo: memFree=100612916/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=64296 memory=33584 CPUtime=221.69 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 7845 0 1 0 21779 390 0 0 20 0 1 0 18246940 65839104 8396 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 16074 8396 1866 992 0 7932 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 64296 KiB
Current children cumulated memory: 33584 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.55 1.15 5/259 228847
/proc/meminfo: memFree=99273264/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=64936 memory=36304 CPUtime=281.54 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 8579 0 1 0 27698 456 0 0 20 0 1 0 18246940 66494464 9076 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 16234 9076 1866 992 0 8092 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 64936 KiB
Current children cumulated memory: 36304 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 2.83 1.33 5/258 228951
/proc/meminfo: memFree=96898296/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=65108 memory=36540 CPUtime=341.38 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 9232 0 1 0 33617 521 0 0 20 0 1 0 18246940 66670592 9135 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 16277 9135 1866 992 0 8135 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 65108 KiB
Current children cumulated memory: 36540 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.07 1.51 5/258 228962
/proc/meminfo: memFree=95554492/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=65752 memory=39144 CPUtime=401.22 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 9754 0 1 0 39541 581 0 0 20 0 1 0 18246940 67330048 9786 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 16438 9786 1866 992 0 8296 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 65752 KiB
Current children cumulated memory: 39144 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.25 1.67 5/258 228975
/proc/meminfo: memFree=93738592/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=66272 memory=39744 CPUtime=461.07 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 10235 0 1 0 45466 641 0 0 20 0 1 0 18246940 67862528 9936 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 16568 9936 1866 992 0 8426 0
################
# More data... #
################
/proc/loadavg: 4.11 3.99 2.77 5/252 229149
/proc/meminfo: memFree=97154084/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=84216 memory=51408 CPUtime=999.68 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 15174 0 1 0 98877 1091 0 0 20 0 1 0 18246940 86237184 12852 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21054 12852 1866 992 0 12912 0
Current children cumulated CPU time: 999.68 s
Current children cumulated vsize: 84216 KiB
Current children cumulated memory: 51408 KiB
[startup+1062.3 s]
/proc/loadavg: 4.18 4.03 2.86 5/256 229178
/proc/meminfo: memFree=98009924/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=84604 memory=51828 CPUtime=1059.48 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 15788 0 1 0 104810 1138 0 0 20 0 1 0 18246940 86634496 12957 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21151 12957 1866 992 0 13009 0
Current children cumulated CPU time: 1059.48 s
Current children cumulated vsize: 84604 KiB
Current children cumulated memory: 51828 KiB
[startup+1122.3 s]
/proc/loadavg: 4.11 4.04 2.94 5/258 229195
/proc/meminfo: memFree=97410528/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=84676 memory=51928 CPUtime=1119.27 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 16154 0 1 0 110745 1182 0 0 20 0 1 0 18246940 86708224 12982 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21169 12982 1866 992 0 13027 0
Current children cumulated CPU time: 1119.27 s
Current children cumulated vsize: 84676 KiB
Current children cumulated memory: 51928 KiB
[startup+1182.3 s]
/proc/loadavg: 4.16 4.06 3.02 5/258 229254
/proc/meminfo: memFree=96885516/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=84744 memory=52020 CPUtime=1179.06 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 16522 0 1 0 116676 1230 0 0 20 0 1 0 18246940 86777856 13005 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21186 13005 1866 992 0 13044 0
Current children cumulated CPU time: 1179.06 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 52020 KiB
[startup+1242.3 s]
/proc/loadavg: 4.06 4.05 3.09 5/258 229264
/proc/meminfo: memFree=96342596/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=84812 memory=52108 CPUtime=1238.86 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 16888 0 1 0 122612 1274 0 0 20 0 1 0 18246940 86847488 13027 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21203 13027 1866 992 0 13061 0
Current children cumulated CPU time: 1238.86 s
Current children cumulated vsize: 84812 KiB
Current children cumulated memory: 52108 KiB
[startup+1302.3 s]
/proc/loadavg: 4.06 4.05 3.15 5/258 229275
/proc/meminfo: memFree=95805584/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=85272 memory=54628 CPUtime=1298.64 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 17355 0 1 0 128547 1317 0 0 20 0 1 0 18246940 87318528 13657 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21318 13657 1866 992 0 13176 0
Current children cumulated CPU time: 1298.64 s
Current children cumulated vsize: 85272 KiB
Current children cumulated memory: 54628 KiB
[startup+1362.3 s]
/proc/loadavg: 4.29 4.12 3.23 5/259 229668
/proc/meminfo: memFree=95389164/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=85532 memory=55548 CPUtime=1358.45 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 17791 0 1 0 134481 1364 0 0 20 0 1 0 18246940 87584768 13887 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21383 13887 1866 992 0 13241 0
Current children cumulated CPU time: 1358.45 s
Current children cumulated vsize: 85532 KiB
Current children cumulated memory: 55548 KiB
[startup+1422.3 s]
/proc/loadavg: 4.39 4.19 3.32 5/258 229679
/proc/meminfo: memFree=94812812/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=85856 memory=57912 CPUtime=1418.3 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 18238 0 1 0 140431 1399 0 0 20 0 1 0 18246940 87916544 14478 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21464 14478 1866 992 0 13322 0
Current children cumulated CPU time: 1418.3 s
Current children cumulated vsize: 85856 KiB
Current children cumulated memory: 57912 KiB
[startup+1482.3 s]
/proc/loadavg: 4.21 4.17 3.37 5/258 229690
/proc/meminfo: memFree=94305636/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=86392 memory=58232 CPUtime=1478.15 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 18535 0 1 0 146387 1428 0 0 20 0 1 0 18246940 88465408 14558 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21598 14558 1866 992 0 13456 0
Current children cumulated CPU time: 1478.15 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 58232 KiB
[startup+1494.5 s]
# the end of solver process 228097 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1475.92 s, system=14.3871 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.17 3.37 5/258 229690
/proc/meminfo: memFree=94290632/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=86648 memory=58232 CPUtime=1480.64 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 18552 0 1 0 146635 1429 0 0 20 0 1 0 18246940 88727552 14558 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21662 14558 1866 992 0 13520 0
Current children cumulated CPU time: 1480.64 s
Current children cumulated vsize: 86648 KiB
Current children cumulated memory: 58232 KiB
[startup+1491.2 s]
/proc/loadavg: 4.18 4.17 3.38 5/258 229691
/proc/meminfo: memFree=94236112/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=86848 memory=58708 CPUtime=1487.03 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 18772 0 1 0 147267 1436 0 0 20 0 1 0 18246940 88932352 14677 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21712 14677 1866 992 0 13570 0
Current children cumulated CPU time: 1487.03 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 58708 KiB
[startup+1492.8 s]
/proc/loadavg: 4.18 4.17 3.38 5/258 229691
/proc/meminfo: memFree=94224752/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=86848 memory=58708 CPUtime=1488.62 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 18772 0 1 0 147425 1437 0 0 20 0 1 0 18246940 88932352 14677 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21712 14677 1866 992 0 13570 0
Current children cumulated CPU time: 1488.62 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 58708 KiB
[startup+1493.6 s]
/proc/loadavg: 4.16 4.16 3.38 5/258 229691
/proc/meminfo: memFree=94215284/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=86848 memory=58708 CPUtime=1489.41 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 18772 0 1 0 147504 1437 0 0 20 0 1 0 18246940 88932352 14677 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21712 14677 1866 992 0 13570 0
Current children cumulated CPU time: 1489.41 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 58708 KiB
[startup+1494 s]*
/proc/loadavg: 4.16 4.16 3.38 5/258 229691
/proc/meminfo: memFree=94206496/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=86848 memory=58708 CPUtime=1489.82 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 18772 0 1 0 147544 1438 0 0 20 0 1 0 18246940 88932352 14677 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21712 14677 1866 992 0 13570 0
Current children cumulated CPU time: 1489.82 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 58708 KiB
[startup+1494.4 s]
/proc/loadavg: 4.16 4.16 3.38 5/258 229691
/proc/meminfo: memFree=94206496/131524600 swapFree=131071216/131071996
[pid=228097] ppid=228083 vsize=86848 memory=58708 CPUtime=1490.22 cores=5,7
/proc/228097/stat : 228097 (roundingsat) R 228083 228097 228025 0 -1 4194304 18772 0 1 0 147584 1438 0 0 20 0 1 0 18246940 88932352 14677 134679101440 4194304 8254037 140725454802128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 39370752 140725454807904 140725454808166 140725454808166 140725454815177 0
/proc/228097/statm: 21712 14677 1866 992 0 13570 0
Current children cumulated CPU time: 1490.22 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 58708 KiB
Child status: 0
Real time (s): 1494.5
CPU time (s): 1490.31
CPU user time (s): 1475.92
CPU system time (s): 14.3871
CPU usage (%): 99.7195
Max. virtual memory (cumulated for all children) (KiB): 86848
Max. memory (cumulated for all children) (KiB): 58708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1475.92
system time used= 14.3871
maximum resident set size= 59020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18781
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1918248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216
involuntary context switches= 2060
# summary of solver processes directly reported to runsolver:
# pid: 228097
# total CPU time (s): 1490.31
# total CPU user time (s): 1475.92
# total CPU system time (s): 14.3871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.23202 second user time and 7.41974 second system time
The end
Begin job on nodeC018 at 2024-07-24 12:33:07 IDJOB=4456863 IDBENCH=147865 IDSOLVER=3085 FILE ID=nodeC018/4456863-1721817186 RUNJOBID= nodeC018-1721817186-228038 SLURM_JOB_ID= 7816872 Free space on /tmp= 890084 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-4456863-1721817186/watcher-4456863-1721817186 -o /tmp/evaluation-result-4456863-1721817186/solver-4456863-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228038 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456863-1721817186 --lp-cut-gomory=0 HOME/instance-4456863-1721817186.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13744d26940a0db30366992d9fdeef8c RANDOM SEED=990321049 nodeC018.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 : 3755.945 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.43 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 : 3652.292 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.33 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 : 3715.990 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.43 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 : 3618.643 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.33 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 : 3620.258 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.43 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 : 3664.522 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.33 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 : 3747.571 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.43 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 : 3630.918 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.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 106644876 kB MemAvailable: 129724056 kB Buffers: 249220 kB Cached: 23571536 kB SwapCached: 184 kB Active: 2483256 kB Inactive: 21605172 kB Active(anon): 1432 kB Inactive(anon): 321512 kB Active(file): 2481824 kB Inactive(file): 21283660 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 22820 kB Writeback: 12 kB AnonPages: 268848 kB Mapped: 113732 kB Shmem: 53972 kB KReclaimable: 307036 kB Slab: 429944 kB SReclaimable: 307036 kB SUnreclaim: 122908 kB KernelStack: 3876 kB PageTables: 9568 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 725008 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21088 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 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: 375508 kB DirectMap2M: 43438080 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890060 MiB End job on nodeC018 at 2024-07-24 12:58:01