| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | SAT | 1587.72 | 1592.03 |
| Name | PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17bt.opb |
| MD5SUM | 13744d26940a0db30366992d9fdeef8c |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.088516 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 370 |
| Total number of constraints | 809 |
| Number of constraints which are clauses | 558 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 249 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 121 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 138 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.02 c #variables 370 #constraints 809 0.00/0.06 c rational objective 51.4242 1.26/1.36 c #Conflicts: 1000 | #Constraints: 1808 1.26/1.36 c #Conflicts: 2000 | #Constraints: 2808 1.26/1.36 c INPROCESSING 1.26/1.36 c GARBAGE COLLECT 1.26/1.36 c #Conflicts: 3000 | #Constraints: 2782 1.26/1.36 c #Conflicts: 4000 | #Constraints: 3782 1.26/1.36 c INPROCESSING 1.26/1.36 c GARBAGE COLLECT 1.26/1.36 c #Conflicts: 5000 | #Constraints: 3190 1.26/1.36 c #Conflicts: 6000 | #Constraints: 4190 1.26/1.36 c INPROCESSING 1.26/1.36 c GARBAGE COLLECT 1.26/1.36 c rational objective 51.4261 2.76/2.82 c #Conflicts: 7000 | #Constraints: 3190 2.76/2.82 c #Conflicts: 8000 | #Constraints: 4190 2.76/2.82 c #Conflicts: 9000 | #Constraints: 5190 2.76/2.82 c INPROCESSING 2.76/2.82 c GARBAGE COLLECT 2.76/2.82 c #Conflicts: 10000 | #Constraints: 3889 2.76/2.82 c #Conflicts: 11000 | #Constraints: 4889 2.76/2.82 c #Conflicts: 12000 | #Constraints: 5889 2.76/2.82 c INPROCESSING 2.76/2.82 c GARBAGE COLLECT 2.76/2.82 c rational objective 51.438 4.25/4.38 c #Conflicts: 13000 | #Constraints: 4341 4.25/4.38 c #Conflicts: 14000 | #Constraints: 5342 4.25/4.38 c #Conflicts: 15000 | #Constraints: 6343 4.25/4.38 c INPROCESSING 4.25/4.38 c GARBAGE COLLECT 4.25/4.38 c #Conflicts: 16000 | #Constraints: 4568 4.25/4.38 c #Conflicts: 17000 | #Constraints: 5569 4.25/4.38 c #Conflicts: 18000 | #Constraints: 6574 4.25/4.38 c INPROCESSING 4.25/4.38 c GARBAGE COLLECT 4.25/4.38 c rational objective 51.4524 6.06/6.17 c #Conflicts: 19000 | #Constraints: 4587 6.06/6.17 c #Conflicts: 20000 | #Constraints: 5587 6.06/6.17 c #Conflicts: 21000 | #Constraints: 6587 6.06/6.17 c INPROCESSING 6.06/6.17 c GARBAGE COLLECT 6.06/6.17 c #Conflicts: 22000 | #Constraints: 4385 6.06/6.17 c #Conflicts: 23000 | #Constraints: 5385 6.06/6.17 c #Conflicts: 24000 | #Constraints: 6385 6.06/6.17 c #Conflicts: 25000 | #Constraints: 7385 6.06/6.17 c INPROCESSING 6.06/6.17 c GARBAGE COLLECT 6.06/6.17 c rational objective 51.4563 7.25/7.38 c #Conflicts: 26000 | #Constraints: 4987 7.25/7.38 c #Conflicts: 27000 | #Constraints: 5988 7.25/7.38 c #Conflicts: 28000 | #Constraints: 6988 7.25/7.38 c #Conflicts: 29000 | #Constraints: 7989 7.25/7.38 c INPROCESSING 7.25/7.38 c GARBAGE COLLECT 7.25/7.38 c rational objective 51.4563 8.54/8.68 c #Conflicts: 30000 | #Constraints: 5389 8.54/8.68 c #Conflicts: 31000 | #Constraints: 6389 8.54/8.68 c #Conflicts: 32000 | #Constraints: 7389 8.54/8.68 c #Conflicts: 33000 | #Constraints: 8390 8.54/8.68 c INPROCESSING 8.54/8.68 c GARBAGE COLLECT 8.54/8.68 c rational objective 51.4584 10.15/10.29 c #Conflicts: 34000 | #Constraints: 5591 10.15/10.29 c #Conflicts: 35000 | #Constraints: 6591 10.15/10.29 c #Conflicts: 36000 | #Constraints: 7594 10.15/10.29 c #Conflicts: 37000 | #Constraints: 8594 10.15/10.29 c INPROCESSING 10.15/10.29 c GARBAGE COLLECT 10.15/10.29 c rational objective 51.4689 11.74/11.82 c #Conflicts: 38000 | #Constraints: 5590 11.74/11.82 c #Conflicts: 39000 | #Constraints: 6591 11.74/11.82 c #Conflicts: 40000 | #Constraints: 7592 11.74/11.82 c #Conflicts: 41000 | #Constraints: 8592 11.74/11.82 c INPROCESSING 11.74/11.82 c GARBAGE COLLECT 11.74/11.82 c rational objective 51.4695 13.24/13.39 c #Conflicts: 42000 | #Constraints: 5393 13.24/13.39 c #Conflicts: 43000 | #Constraints: 6393 13.24/13.39 c #Conflicts: 44000 | #Constraints: 7393 13.24/13.39 c #Conflicts: 45000 | #Constraints: 8393 13.24/13.39 c #Conflicts: 46000 | #Constraints: 9393 13.24/13.39 c INPROCESSING 13.24/13.39 c GARBAGE COLLECT 13.24/13.39 c rational objective 51.4696 16.33/16.45 c #Conflicts: 47000 | #Constraints: 5986 16.33/16.45 c #Conflicts: 48000 | #Constraints: 6986 16.33/16.45 c #Conflicts: 49000 | #Constraints: 7986 16.33/16.45 c #Conflicts: 50000 | #Constraints: 8987 16.33/16.45 c #Conflicts: 51000 | #Constraints: 9987 16.33/16.45 c INPROCESSING 16.33/16.45 c GARBAGE COLLECT 16.33/16.45 c #Conflicts: 52000 | #Constraints: 6390 16.33/16.45 c #Conflicts: 53000 | #Constraints: 7390 16.33/16.45 c #Conflicts: 54000 | #Constraints: 8390 16.33/16.45 c #Conflicts: 55000 | #Constraints: 9390 16.33/16.45 c #Conflicts: 56000 | #Constraints: 10390 16.33/16.45 c INPROCESSING 16.33/16.45 c GARBAGE COLLECT 16.33/16.45 c rational objective 51.4753 18.42/18.55 c #Conflicts: 57000 | #Constraints: 6588 18.42/18.55 c #Conflicts: 58000 | #Constraints: 7589 18.42/18.55 c #Conflicts: 59000 | #Constraints: 8590 18.42/18.55 c #Conflicts: 60000 | #Constraints: 9590 18.42/18.55 c #Conflicts: 61000 | #Constraints: 10590 18.42/18.55 c INPROCESSING 18.42/18.55 c GARBAGE COLLECT 18.42/18.55 c rational objective 51.4754 20.62/20.75 c #Conflicts: 62000 | #Constraints: 6589 20.62/20.75 c #Conflicts: 63000 | #Constraints: 7589 20.62/20.75 c #Conflicts: 64000 | #Constraints: 8589 20.62/20.75 c #Conflicts: 65000 | #Constraints: 9589 20.62/20.75 c #Conflicts: 66000 | #Constraints: 10590 20.62/20.75 c INPROCESSING 20.62/20.75 c GARBAGE COLLECT 20.62/20.75 c rational objective 51.4757 22.92/23.10 c #Conflicts: 67000 | #Constraints: 6389 22.92/23.10 c #Conflicts: 68000 | #Constraints: 7389 22.92/23.10 c #Conflicts: 69000 | #Constraints: 8389 22.92/23.10 c #Conflicts: 70000 | #Constraints: 9389 22.92/23.10 c #Conflicts: 71000 | #Constraints: 10389 22.92/23.10 c #Conflicts: 72000 | #Constraints: 11389 22.92/23.10 c INPROCESSING 22.92/23.10 c GARBAGE COLLECT 22.92/23.10 c rational objective 51.4763 25.11/25.25 c #Conflicts: 73000 | #Constraints: 6988 25.11/25.25 c #Conflicts: 74000 | #Constraints: 7988 25.11/25.25 c #Conflicts: 75000 | #Constraints: 8988 25.11/25.25 c #Conflicts: 76000 | #Constraints: 9988 25.11/25.25 c #Conflicts: 77000 | #Constraints: 10990 25.11/25.25 c #Conflicts: 78000 | #Constraints: 11992 25.11/25.25 c INPROCESSING 25.11/25.25 c GARBAGE COLLECT 25.11/25.25 c rational objective 51.477 27.70/27.82 c #Conflicts: 79000 | #Constraints: 7387 27.70/27.82 c #Conflicts: 80000 | #Constraints: 8387 27.70/27.82 c #Conflicts: 81000 | #Constraints: 9387 27.70/27.82 c #Conflicts: 82000 | #Constraints: 10388 27.70/27.82 c #Conflicts: 83000 | #Constraints: 11388 27.70/27.82 c #Conflicts: 84000 | #Constraints: 12388 27.70/27.82 c INPROCESSING 27.70/27.82 c GARBAGE COLLECT 27.70/27.82 c rational objective 51.4772 31.10/31.26 c #Conflicts: 85000 | #Constraints: 7587 31.10/31.26 c #Conflicts: 86000 | #Constraints: 8588 31.10/31.26 c #Conflicts: 87000 | #Constraints: 9588 31.10/31.26 c #Conflicts: 88000 | #Constraints: 10588 31.10/31.26 c #Conflicts: 89000 | #Constraints: 11589 31.10/31.26 c #Conflicts: 90000 | #Constraints: 12590 31.10/31.26 c INPROCESSING 31.10/31.26 c GARBAGE COLLECT 31.10/31.26 c rational objective 51.4788 35.19/35.36 c #Conflicts: 91000 | #Constraints: 7599 35.19/35.36 c #Conflicts: 92000 | #Constraints: 8600 35.19/35.36 c #Conflicts: 93000 | #Constraints: 9600 35.19/35.36 c #Conflicts: 94000 | #Constraints: 10600 35.19/35.36 c #Conflicts: 95000 | #Constraints: 11600 35.19/35.36 c #Conflicts: 96000 | #Constraints: 12600 35.19/35.36 c INPROCESSING 35.19/35.36 c GARBAGE COLLECT 35.19/35.36 c rational objective 51.4788 38.48/38.68 c #Conflicts: 97000 | #Constraints: 7410 38.48/38.68 c #Conflicts: 98000 | #Constraints: 8410 38.48/38.68 c #Conflicts: 99000 | #Constraints: 9410 38.48/38.68 c #Conflicts: 100000 | #Constraints: 10412 38.48/38.68 c #Conflicts: 101000 | #Constraints: 11412 38.48/38.68 c #Conflicts: 102000 | #Constraints: 12412 38.48/38.68 c #Conflicts: 103000 | #Constraints: 13412 38.48/38.68 c INPROCESSING 38.48/38.68 c GARBAGE COLLECT 38.48/38.68 c rational objective 51.4875 41.07/41.23 c #Conflicts: 104000 | #Constraints: 8002 41.07/41.23 c #Conflicts: 105000 | #Constraints: 9002 41.07/41.23 c #Conflicts: 106000 | #Constraints: 10003 41.07/41.23 c #Conflicts: 107000 | #Constraints: 11004 41.07/41.23 c #Conflicts: 108000 | #Constraints: 12004 41.07/41.23 c #Conflicts: 109000 | #Constraints: 13005 41.07/41.23 c #Conflicts: 110000 | #Constraints: 14005 41.07/41.23 c INPROCESSING 41.07/41.23 c GARBAGE COLLECT 41.07/41.23 c rational objective 51.4884 43.77/43.93 c #Conflicts: 111000 | #Constraints: 8398 43.77/43.93 c #Conflicts: 112000 | #Constraints: 9398 43.77/43.93 c #Conflicts: 113000 | #Constraints: 10399 43.77/43.93 c #Conflicts: 114000 | #Constraints: 11399 43.77/43.93 c #Conflicts: 115000 | #Constraints: 12400 43.77/43.93 c #Conflicts: 116000 | #Constraints: 13400 43.77/43.93 c #Conflicts: 117000 | #Constraints: 14400 43.77/43.93 c INPROCESSING 43.77/43.93 c GARBAGE COLLECT 43.77/43.93 c rational objective 51.4884 46.86/47.07 c #Conflicts: 118000 | #Constraints: 8594 46.86/47.07 c #Conflicts: 119000 | #Constraints: 9595 46.86/47.07 c #Conflicts: 120000 | #Constraints: 10595 46.86/47.07 c #Conflicts: 121000 | #Constraints: 11595 46.86/47.07 c #Conflicts: 122000 | #Constraints: 12596 46.86/47.07 c #Conflicts: 123000 | #Constraints: 13596 46.86/47.07 c #Conflicts: 124000 | #Constraints: 14597 46.86/47.07 c INPROCESSING 46.86/47.07 c GARBAGE COLLECT 46.86/47.07 c rational objective 51.4886 50.25/50.43 c #Conflicts: 125000 | #Constraints: 8600 50.25/50.43 c #Conflicts: 126000 | #Constraints: 9600 50.25/50.43 c #Conflicts: 127000 | #Constraints: 10601 50.25/50.43 c #Conflicts: 128000 | #Constraints: 11601 50.25/50.43 c #Conflicts: 129000 | #Constraints: 12602 50.25/50.43 c #Conflicts: 130000 | #Constraints: 13602 50.25/50.43 c #Conflicts: 131000 | #Constraints: 14603 50.25/50.43 c INPROCESSING 50.25/50.43 c GARBAGE COLLECT 50.25/50.43 c rational objective 51.4897 53.44/53.63 c #Conflicts: 132000 | #Constraints: 8393 53.44/53.63 c #Conflicts: 133000 | #Constraints: 9393 53.44/53.63 c #Conflicts: 134000 | #Constraints: 10395 53.44/53.63 c #Conflicts: 135000 | #Constraints: 11396 53.44/53.63 c #Conflicts: 136000 | #Constraints: 12397 53.44/53.63 c #Conflicts: 137000 | #Constraints: 13398 53.44/53.63 c #Conflicts: 138000 | #Constraints: 14399 53.44/53.63 c #Conflicts: 139000 | #Constraints: 15399 53.44/53.63 c INPROCESSING 53.44/53.63 c GARBAGE COLLECT 53.44/53.63 c rational objective 51.49 56.64/56.84 c #Conflicts: 140000 | #Constraints: 8993 56.64/56.84 c #Conflicts: 141000 | #Constraints: 9993 56.64/56.84 c #Conflicts: 142000 | #Constraints: 10993 56.64/56.84 c #Conflicts: 143000 | #Constraints: 11993 56.64/56.84 c #Conflicts: 144000 | #Constraints: 12993 56.64/56.84 c #Conflicts: 145000 | #Constraints: 13993 56.64/56.84 c #Conflicts: 146000 | #Constraints: 14993 56.64/56.84 c #Conflicts: 147000 | #Constraints: 15993 56.64/56.84 c INPROCESSING 56.64/56.84 c GARBAGE COLLECT 56.64/56.84 c rational objective 51.49 60.23/60.42 c #Conflicts: 148000 | #Constraints: 9390 60.23/60.42 c #Conflicts: 149000 | #Constraints: 10391 60.23/60.42 c #Conflicts: 150000 | #Constraints: 11391 60.23/60.42 c #Conflicts: 151000 | #Constraints: 12391 60.23/60.42 c #Conflicts: 152000 | #Constraints: 13391 60.23/60.42 c #Conflicts: 153000 | #Constraints: 14392 60.23/60.42 c #Conflicts: 154000 | #Constraints: 15392 60.23/60.42 c #Conflicts: 155000 | #Constraints: 16392 60.23/60.42 c INPROCESSING 60.23/60.42 c GARBAGE COLLECT 60.23/60.42 c rational objective 51.49 64.02/64.25 c #Conflicts: 156000 | #Constraints: 9593 64.02/64.25 c #Conflicts: 157000 | #Constraints: 10593 64.02/64.25 c #Conflicts: 158000 | #Constraints: 11595 64.02/64.25 c #Conflicts: 159000 | #Constraints: 12596 64.02/64.25 c #Conflicts: 160000 | #Constraints: 13597 64.02/64.25 c #Conflicts: 161000 | #Constraints: 14597 64.02/64.25 c #Conflicts: 162000 | #Constraints: 15597 64.02/64.25 c #Conflicts: 163000 | #Constraints: 16597 64.02/64.25 c INPROCESSING 64.02/64.25 c GARBAGE COLLECT 64.02/64.25 c rational objective 51.4909 68.11/68.32 c #Conflicts: 164000 | #Constraints: 9594 68.11/68.32 c #Conflicts: 165000 | #Constraints: 10594 68.11/68.32 c #Conflicts: 166000 | #Constraints: 11597 68.11/68.32 c #Conflicts: 167000 | #Constraints: 12597 68.11/68.32 c #Conflicts: 168000 | #Constraints: 13599 68.11/68.32 c #Conflicts: 169000 | #Constraints: 14600 68.11/68.32 c #Conflicts: 170000 | #Constraints: 15601 68.11/68.32 c #Conflicts: 171000 | #Constraints: 16602 68.11/68.32 c INPROCESSING 68.11/68.32 c GARBAGE COLLECT 68.11/68.32 c rational objective 51.4909 72.10/72.33 c #Conflicts: 172000 | #Constraints: 9394 72.10/72.33 c #Conflicts: 173000 | #Constraints: 10394 72.10/72.33 c #Conflicts: 174000 | #Constraints: 11394 72.10/72.33 c #Conflicts: 175000 | #Constraints: 12394 72.10/72.33 c #Conflicts: 176000 | #Constraints: 13394 72.10/72.33 c #Conflicts: 177000 | #Constraints: 14394 72.10/72.33 c #Conflicts: 178000 | #Constraints: 15396 72.10/72.33 c #Conflicts: 179000 | #Constraints: 16396 72.10/72.33 c #Conflicts: 180000 | #Constraints: 17397 72.10/72.33 c INPROCESSING 72.10/72.33 c GARBAGE COLLECT 72.10/72.33 c rational objective 51.4956 76.19/76.49 c #Conflicts: 181000 | #Constraints: 10000 76.19/76.49 c #Conflicts: 182000 | #Constraints: 11001 76.19/76.49 c #Conflicts: 183000 | #Constraints: 12002 76.19/76.49 c #Conflicts: 184000 | #Constraints: 13002 76.19/76.49 c #Conflicts: 185000 | #Constraints: 14002 76.19/76.49 c #Conflicts: 186000 | #Constraints: 15002 76.19/76.49 c #Conflicts: 187000 | #Constraints: 16002 76.19/76.49 c #Conflicts: 188000 | #Constraints: 17002 76.19/76.49 c #Conflicts: 189000 | #Constraints: 18002 76.19/76.49 c INPROCESSING 76.19/76.49 c GARBAGE COLLECT 76.19/76.49 c rational objective 51.5198 83.68/83.97 c #Conflicts: 190000 | #Constraints: 10406 83.68/83.97 c #Conflicts: 191000 | #Constraints: 11406 83.68/83.97 c #Conflicts: 192000 | #Constraints: 12408 83.68/83.97 c #Conflicts: 193000 | #Constraints: 13408 83.68/83.97 c #Conflicts: 194000 | #Constraints: 14408 83.68/83.97 c #Conflicts: 195000 | #Constraints: 15408 83.68/83.97 c #Conflicts: 196000 | #Constraints: 16409 83.68/83.97 c #Conflicts: 197000 | #Constraints: 17409 83.68/83.97 c #Conflicts: 198000 | #Constraints: 18410 83.68/83.97 c INPROCESSING 83.68/83.97 c GARBAGE COLLECT 83.68/83.97 c rational objective 51.5222 90.56/90.81 c #Conflicts: 199000 | #Constraints: 10615 90.56/90.81 c #Conflicts: 200000 | #Constraints: 11615 90.56/90.81 c #Conflicts: 201000 | #Constraints: 12615 90.56/90.81 c #Conflicts: 202000 | #Constraints: 13615 90.56/90.81 c #Conflicts: 203000 | #Constraints: 14615 90.56/90.81 c #Conflicts: 204000 | #Constraints: 15615 90.56/90.81 c #Conflicts: 205000 | #Constraints: 16615 90.56/90.81 c #Conflicts: 206000 | #Constraints: 17615 90.56/90.81 c #Conflicts: 207000 | #Constraints: 18615 90.56/90.81 c INPROCESSING 90.56/90.81 c GARBAGE COLLECT 90.56/90.81 c rational objective 51.5224 95.75/96.09 c #Conflicts: 208000 | #Constraints: 10616 95.75/96.09 c #Conflicts: 209000 | #Constraints: 11616 95.75/96.09 c #Conflicts: 210000 | #Constraints: 12616 95.75/96.09 c #Conflicts: 211000 | #Constraints: 13616 95.75/96.09 c #Conflicts: 212000 | #Constraints: 14617 95.75/96.09 c #Conflicts: 213000 | #Constraints: 15617 95.75/96.09 c #Conflicts: 214000 | #Constraints: 16618 95.75/96.09 c #Conflicts: 215000 | #Constraints: 17618 95.75/96.09 c #Conflicts: 216000 | #Constraints: 18618 95.75/96.09 c INPROCESSING 95.75/96.09 c GARBAGE COLLECT 95.75/96.09 c rational objective 51.5255 102.33/102.62 c #Conflicts: 217000 | #Constraints: 10407 102.33/102.62 c #Conflicts: 218000 | #Constraints: 11407 102.33/102.62 c #Conflicts: 219000 | #Constraints: 12407 102.33/102.62 c #Conflicts: 220000 | #Constraints: 13407 102.33/102.62 c #Conflicts: 221000 | #Constraints: 14407 102.33/102.62 c #Conflicts: 222000 | #Constraints: 15407 102.33/102.62 c #Conflicts: 223000 | #Constraints: 16408 102.33/102.62 c #Conflicts: 224000 | #Constraints: 17408 102.33/102.62 c #Conflicts: 225000 | #Constraints: 18409 102.33/102.62 c #Conflicts: 226000 | #Constraints: 19409 102.33/102.62 c INPROCESSING 102.33/102.62 c GARBAGE COLLECT 102.33/102.62 c rational objective 51.5269 107.72/108.08 c #Conflicts: 227000 | #Constraints: 11004 107.72/108.08 c #Conflicts: 228000 | #Constraints: 12005 107.72/108.08 c #Conflicts: 229000 | #Constraints: 13005 107.72/108.08 c #Conflicts: 230000 | #Constraints: 14005 107.72/108.08 c #Conflicts: 231000 | #Constraints: 15005 107.72/108.08 c #Conflicts: 232000 | #Constraints: 16006 107.72/108.08 c #Conflicts: 233000 | #Constraints: 17007 107.72/108.08 c #Conflicts: 234000 | #Constraints: 18008 107.72/108.08 c #Conflicts: 235000 | #Constraints: 19008 107.72/108.08 c #Conflicts: 236000 | #Constraints: 20008 107.72/108.08 c INPROCESSING 107.72/108.08 c GARBAGE COLLECT 107.72/108.08 c rational objective 51.5269 112.91/113.28 c #Conflicts: 237000 | #Constraints: 11404 112.91/113.28 c #Conflicts: 238000 | #Constraints: 12405 112.91/113.28 c #Conflicts: 239000 | #Constraints: 13405 112.91/113.28 c #Conflicts: 240000 | #Constraints: 14406 112.91/113.28 c #Conflicts: 241000 | #Constraints: 15406 112.91/113.28 c #Conflicts: 242000 | #Constraints: 16406 112.91/113.28 c #Conflicts: 243000 | #Constraints: 17406 112.91/113.28 c #Conflicts: 244000 | #Constraints: 18407 112.91/113.28 c #Conflicts: 245000 | #Constraints: 19407 112.91/113.28 c #Conflicts: 246000 | #Constraints: 20407 112.91/113.28 c INPROCESSING 112.91/113.28 c GARBAGE COLLECT 112.91/113.28 c rational objective 51.5269 118.59/118.92 c #Conflicts: 247000 | #Constraints: 11601 118.59/118.92 c #Conflicts: 248000 | #Constraints: 12603 118.59/118.92 c #Conflicts: 249000 | #Constraints: 13604 118.59/118.92 c #Conflicts: 250000 | #Constraints: 14604 118.59/118.92 c #Conflicts: 251000 | #Constraints: 15605 118.59/118.92 c #Conflicts: 252000 | #Constraints: 16605 118.59/118.92 c #Conflicts: 253000 | #Constraints: 17605 118.59/118.92 c #Conflicts: 254000 | #Constraints: 18605 118.59/118.92 c #Conflicts: 255000 | #Constraints: 19605 118.59/118.92 c #Conflicts: 256000 | #Constraints: 20605 118.59/118.92 c INPROCESSING 118.59/118.92 c GARBAGE COLLECT 118.59/118.92 c rational objective 51.5386 124.08/124.40 c #Conflicts: 257000 | #Constraints: 11603 124.08/124.40 c #Conflicts: 258000 | #Constraints: 12603 124.08/124.40 c #Conflicts: 259000 | #Constraints: 13603 124.08/124.40 c #Conflicts: 260000 | #Constraints: 14603 124.08/124.40 c #Conflicts: 261000 | #Constraints: 15603 124.08/124.40 c #Conflicts: 262000 | #Constraints: 16603 124.08/124.40 c #Conflicts: 263000 | #Constraints: 17604 124.08/124.40 c #Conflicts: 264000 | #Constraints: 18604 124.08/124.40 c #Conflicts: 265000 | #Constraints: 19604 124.08/124.40 c #Conflicts: 266000 | #Constraints: 20605 124.08/124.40 c INPROCESSING 124.08/124.40 c GARBAGE COLLECT 124.08/124.40 c rational objective 51.5393 129.26/129.69 c #Conflicts: 267000 | #Constraints: 11401 129.26/129.69 c #Conflicts: 268000 | #Constraints: 12401 129.26/129.69 c #Conflicts: 269000 | #Constraints: 13402 129.26/129.69 c #Conflicts: 270000 | #Constraints: 14402 129.26/129.69 c #Conflicts: 271000 | #Constraints: 15403 129.26/129.69 c #Conflicts: 272000 | #Constraints: 16403 129.26/129.69 c #Conflicts: 273000 | #Constraints: 17403 129.26/129.69 c #Conflicts: 274000 | #Constraints: 18405 129.26/129.69 c #Conflicts: 275000 | #Constraints: 19405 129.26/129.69 c #Conflicts: 276000 | #Constraints: 20406 129.26/129.69 c #Conflicts: 277000 | #Constraints: 21406 129.26/129.69 c INPROCESSING 129.26/129.69 c GARBAGE COLLECT 129.26/129.69 c rational objective 51.5393 134.85/135.21 c #Conflicts: 278000 | #Constraints: 12000 134.85/135.21 c #Conflicts: 279000 | #Constraints: 13000 134.85/135.21 c #Conflicts: 280000 | #Constraints: 14000 134.85/135.21 c #Conflicts: 281000 | #Constraints: 15000 134.85/135.21 c #Conflicts: 282000 | #Constraints: 16000 134.85/135.21 c #Conflicts: 283000 | #Constraints: 17000 134.85/135.21 c #Conflicts: 284000 | #Constraints: 18000 134.85/135.21 c #Conflicts: 285000 | #Constraints: 19001 134.85/135.21 c #Conflicts: 286000 | #Constraints: 20001 134.85/135.21 c #Conflicts: 287000 | #Constraints: 21001 134.85/135.21 c #Conflicts: 288000 | #Constraints: 22003 134.85/135.21 c INPROCESSING 134.85/135.21 c GARBAGE COLLECT 134.85/135.21 c rational objective 51.5437 140.84/141.29 c #Conflicts: 289000 | #Constraints: 12404 140.84/141.29 c #Conflicts: 290000 | #Constraints: 13405 140.84/141.29 c #Conflicts: 291000 | #Constraints: 14406 140.84/141.29 c #Conflicts: 292000 | #Constraints: 15406 140.84/141.29 c #Conflicts: 293000 | #Constraints: 16407 140.84/141.29 c #Conflicts: 294000 | #Constraints: 17407 140.84/141.29 c #Conflicts: 295000 | #Constraints: 18407 140.84/141.29 c #Conflicts: 296000 | #Constraints: 19407 140.84/141.29 c #Conflicts: 297000 | #Constraints: 20407 140.84/141.29 c #Conflicts: 298000 | #Constraints: 21407 140.84/141.29 c #Conflicts: 299000 | #Constraints: 22407 140.84/141.29 c INPROCESSING 140.84/141.29 c GARBAGE COLLECT 140.84/141.29 c rational objective 51.5437 147.72/148.12 c #Conflicts: 300000 | #Constraints: 12600 147.72/148.12 c #Conflicts: 301000 | #Constraints: 13600 147.72/148.12 c #Conflicts: 302000 | #Constraints: 14603 147.72/148.12 c #Conflicts: 303000 | #Constraints: 15603 147.72/148.12 c #Conflicts: 304000 | #Constraints: 16605 147.72/148.12 c #Conflicts: 305000 | #Constraints: 17605 147.72/148.12 c #Conflicts: 306000 | #Constraints: 18605 147.72/148.12 c #Conflicts: 307000 | #Constraints: 19606 147.72/148.12 c #Conflicts: 308000 | #Constraints: 20607 147.72/148.12 c #Conflicts: 309000 | #Constraints: 21607 147.72/148.12 c #Conflicts: 310000 | #Constraints: 22607 147.72/148.12 c INPROCESSING 147.72/148.12 c GARBAGE COLLECT 147.72/148.12 c rational objective 51.5437 154.30/154.73 c #Conflicts: 311000 | #Constraints: 12602 154.30/154.73 c #Conflicts: 312000 | #Constraints: 13602 154.30/154.73 c #Conflicts: 313000 | #Constraints: 14602 154.30/154.73 c #Conflicts: 314000 | #Constraints: 15602 154.30/154.73 c #Conflicts: 315000 | #Constraints: 16604 154.30/154.73 c #Conflicts: 316000 | #Constraints: 17605 154.30/154.73 c #Conflicts: 317000 | #Constraints: 18606 154.30/154.73 c #Conflicts: 318000 | #Constraints: 19609 154.30/154.73 c #Conflicts: 319000 | #Constraints: 20610 154.30/154.73 c #Conflicts: 320000 | #Constraints: 21610 154.30/154.73 c #Conflicts: 321000 | #Constraints: 22610 154.30/154.73 c INPROCESSING 154.30/154.73 c GARBAGE COLLECT 154.30/154.73 c rational objective 51.5437 166.27/166.70 c #Conflicts: 322000 | #Constraints: 12403 166.27/166.70 c #Conflicts: 323000 | #Constraints: 13404 166.27/166.70 c #Conflicts: 324000 | #Constraints: 14404 166.27/166.70 c #Conflicts: 325000 | #Constraints: 15404 166.27/166.70 c #Conflicts: 326000 | #Constraints: 16404 166.27/166.70 c #Conflicts: 327000 | #Constraints: 17405 166.27/166.70 c #Conflicts: 328000 | #Constraints: 18406 166.27/166.70 c #Conflicts: 329000 | #Constraints: 19407 166.27/166.70 c #Conflicts: 330000 | #Constraints: 20407 166.27/166.70 c #Conflicts: 331000 | #Constraints: 21407 166.27/166.70 c #Conflicts: 332000 | #Constraints: 22407 166.27/166.70 c #Conflicts: 333000 | #Constraints: 23407 166.27/166.70 c INPROCESSING 166.27/166.70 c GARBAGE COLLECT 166.27/166.70 c rational objective 51.5437 173.36/173.84 c #Conflicts: 334000 | #Constraints: 13012 173.36/173.84 c #Conflicts: 335000 | #Constraints: 14012 173.36/173.84 c #Conflicts: 336000 | #Constraints: 15013 173.36/173.84 c #Conflicts: 337000 | #Constraints: 16013 173.36/173.84 c #Conflicts: 338000 | #Constraints: 17013 173.36/173.84 c #Conflicts: 339000 | #Constraints: 18013 173.36/173.84 c #Conflicts: 340000 | #Constraints: 19013 173.36/173.84 c #Conflicts: 341000 | #Constraints: 20013 173.36/173.84 c #Conflicts: 342000 | #Constraints: 21014 173.36/173.84 c #Conflicts: 343000 | #Constraints: 22014 173.36/173.84 c #Conflicts: 344000 | #Constraints: 23015 173.36/173.84 c #Conflicts: 345000 | #Constraints: 24015 173.36/173.84 c INPROCESSING 173.36/173.84 c GARBAGE COLLECT 173.36/173.84 c rational objective 51.5437 180.64/181.13 c #Conflicts: 346000 | #Constraints: 13405 180.64/181.13 c #Conflicts: 347000 | #Constraints: 14406 180.64/181.13 c #Conflicts: 348000 | #Constraints: 15407 180.64/181.13 c #Conflicts: 349000 | #Constraints: 16407 180.64/181.13 c #Conflicts: 350000 | #Constraints: 17407 180.64/181.13 c #Conflicts: 351000 | #Constraints: 18408 180.64/181.13 c #Conflicts: 352000 | #Constraints: 19408 180.64/181.13 c #Conflicts: 353000 | #Constraints: 20408 180.64/181.13 c #Conflicts: 354000 | #Constraints: 21408 180.64/181.13 c #Conflicts: 355000 | #Constraints: 22408 180.64/181.13 c #Conflicts: 356000 | #Constraints: 23408 180.64/181.13 c #Conflicts: 357000 | #Constraints: 24408 180.64/181.13 c INPROCESSING 180.64/181.13 c GARBAGE COLLECT 180.64/181.13 c rational objective 51.5437 187.53/188.09 c #Conflicts: 358000 | #Constraints: 13606 187.53/188.09 c #Conflicts: 359000 | #Constraints: 14606 187.53/188.09 c #Conflicts: 360000 | #Constraints: 15606 187.53/188.09 c #Conflicts: 361000 | #Constraints: 16607 187.53/188.09 c #Conflicts: 362000 | #Constraints: 17608 187.53/188.09 c #Conflicts: 363000 | #Constraints: 18608 187.53/188.09 c #Conflicts: 364000 | #Constraints: 19608 187.53/188.09 c #Conflicts: 365000 | #Constraints: 20609 187.53/188.09 c #Conflicts: 366000 | #Constraints: 21609 187.53/188.09 c #Conflicts: 367000 | #Constraints: 22609 187.53/188.09 c #Conflicts: 368000 | #Constraints: 23609 187.53/188.09 c #Conflicts: 369000 | #Constraints: 24609 187.53/188.09 c INPROCESSING 187.53/188.09 c GARBAGE COLLECT 187.53/188.09 c rational objective 51.5437 195.20/195.74 c #Conflicts: 370000 | #Constraints: 13602 195.20/195.74 c #Conflicts: 371000 | #Constraints: 14604 195.20/195.74 c #Conflicts: 372000 | #Constraints: 15605 195.20/195.74 c #Conflicts: 373000 | #Constraints: 16607 195.20/195.74 c #Conflicts: 374000 | #Constraints: 17607 195.20/195.74 c #Conflicts: 375000 | #Constraints: 18607 195.20/195.74 c #Conflicts: 376000 | #Constraints: 19607 195.20/195.74 c #Conflicts: 377000 | #Constraints: 20608 195.20/195.74 c #Conflicts: 378000 | #Constraints: 21610 195.20/195.74 c #Conflicts: 379000 | #Constraints: 22611 195.20/195.74 c #Conflicts: 380000 | #Constraints: 23611 195.20/195.74 c #Conflicts: 381000 | #Constraints: 24611 195.20/195.74 c INPROCESSING 195.20/195.74 c GARBAGE COLLECT 195.20/195.74 c rational objective 51.5437 202.79/203.32 c #Conflicts: 382000 | #Constraints: 13404 202.79/203.32 c #Conflicts: 383000 | #Constraints: 14405 202.79/203.32 c #Conflicts: 384000 | #Constraints: 15406 202.79/203.32 c #Conflicts: 385000 | #Constraints: 16406 202.79/203.32 c #Conflicts: 386000 | #Constraints: 17408 202.79/203.32 c #Conflicts: 387000 | #Constraints: 18408 202.79/203.32 c #Conflicts: 388000 | #Constraints: 19408 202.79/203.32 c #Conflicts: 389000 | #Constraints: 20408 202.79/203.32 c #Conflicts: 390000 | #Constraints: 21410 202.79/203.32 c #Conflicts: 391000 | #Constraints: 22410 202.79/203.32 c #Conflicts: 392000 | #Constraints: 23411 202.79/203.32 c #Conflicts: 393000 | #Constraints: 24413 202.79/203.32 c #Conflicts: 394000 | #Constraints: 25413 202.79/203.32 c INPROCESSING 202.79/203.32 c GARBAGE COLLECT 202.79/203.32 c rational objective 51.5437 211.57/212.17 c #Conflicts: 395000 | #Constraints: 13997 211.57/212.17 c #Conflicts: 396000 | #Constraints: 14997 211.57/212.17 c #Conflicts: 397000 | #Constraints: 15997 211.57/212.17 c #Conflicts: 398000 | #Constraints: 16997 211.57/212.17 c #Conflicts: 399000 | #Constraints: 17997 211.57/212.17 c #Conflicts: 400000 | #Constraints: 18997 211.57/212.17 c #Conflicts: 401000 | #Constraints: 19998 211.57/212.17 c #Conflicts: 402000 | #Constraints: 20998 211.57/212.17 c #Conflicts: 403000 | #Constraints: 21998 211.57/212.17 c #Conflicts: 404000 | #Constraints: 22998 211.57/212.17 c #Conflicts: 405000 | #Constraints: 23998 211.57/212.17 c #Conflicts: 406000 | #Constraints: 24998 211.57/212.17 c #Conflicts: 407000 | #Constraints: 25998 211.57/212.17 c INPROCESSING 211.57/212.17 c GARBAGE COLLECT 211.57/212.17 c rational objective 51.5437 220.05/220.63 c #Conflicts: 408000 | #Constraints: 14395 220.05/220.63 c #Conflicts: 409000 | #Constraints: 15395 220.05/220.63 c #Conflicts: 410000 | #Constraints: 16396 220.05/220.63 c #Conflicts: 411000 | #Constraints: 17397 220.05/220.63 c #Conflicts: 412000 | #Constraints: 18398 220.05/220.63 c #Conflicts: 413000 | #Constraints: 19399 220.05/220.63 c #Conflicts: 414000 | #Constraints: 20399 220.05/220.63 c #Conflicts: 415000 | #Constraints: 21399 220.05/220.63 c #Conflicts: 416000 | #Constraints: 22399 220.05/220.63 c #Conflicts: 417000 | #Constraints: 23400 220.05/220.63 c #Conflicts: 418000 | #Constraints: 24400 220.05/220.63 c #Conflicts: 419000 | #Constraints: 25400 220.05/220.63 c #Conflicts: 420000 | #Constraints: 26400 220.05/220.63 c INPROCESSING 220.05/220.63 c GARBAGE COLLECT 220.05/220.63 c rational objective 51.5437 228.03/228.60 c #Conflicts: 421000 | #Constraints: 14601 228.03/228.60 c #Conflicts: 422000 | #Constraints: 15601 228.03/228.60 c #Conflicts: 423000 | #Constraints: 16601 228.03/228.60 c #Conflicts: 424000 | #Constraints: 17601 228.03/228.60 c #Conflicts: 425000 | #Constraints: 18602 228.03/228.60 c #Conflicts: 426000 | #Constraints: 19602 228.03/228.60 c #Conflicts: 427000 | #Constraints: 20602 228.03/228.60 c #Conflicts: 428000 | #Constraints: 21602 228.03/228.60 c #Conflicts: 429000 | #Constraints: 22602 228.03/228.60 c #Conflicts: 430000 | #Constraints: 23602 228.03/228.60 c #Conflicts: 431000 | #Constraints: 24602 228.03/228.60 c #Conflicts: 432000 | #Constraints: 25603 228.03/228.60 c #Conflicts: 433000 | #Constraints: 26604 228.03/228.60 c INPROCESSING 228.03/228.60 c GARBAGE COLLECT 228.03/228.60 c rational objective 51.5437 236.71/237.33 c #Conflicts: 434000 | #Constraints: 14605 236.71/237.33 c #Conflicts: 435000 | #Constraints: 15606 236.71/237.33 c #Conflicts: 436000 | #Constraints: 16606 236.71/237.33 c #Conflicts: 437000 | #Constraints: 17606 236.71/237.33 c #Conflicts: 438000 | #Constraints: 18607 236.71/237.33 c #Conflicts: 439000 | #Constraints: 19608 236.71/237.33 c #Conflicts: 440000 | #Constraints: 20608 236.71/237.33 c #Conflicts: 441000 | #Constraints: 21608 236.71/237.33 c #Conflicts: 442000 | #Constraints: 22609 236.71/237.33 c #Conflicts: 443000 | #Constraints: 23609 236.71/237.33 c #Conflicts: 444000 | #Constraints: 24609 236.71/237.33 c #Conflicts: 445000 | #Constraints: 25609 236.71/237.33 c #Conflicts: 446000 | #Constraints: 26609 236.71/237.33 c INPROCESSING 236.71/237.33 c GARBAGE COLLECT 236.71/237.33 c rational objective 51.5437 255.85/256.57 c #Conflicts: 447000 | #Constraints: 14408 255.85/256.57 c #Conflicts: 448000 | #Constraints: 15408 255.85/256.57 c #Conflicts: 449000 | #Constraints: 16409 255.85/256.57 c #Conflicts: 450000 | #Constraints: 17409 255.85/256.57 c #Conflicts: 451000 | #Constraints: 18409 255.85/256.57 c #Conflicts: 452000 | #Constraints: 19409 255.85/256.57 c #Conflicts: 453000 | #Constraints: 20409 255.85/256.57 c #Conflicts: 454000 | #Constraints: 21410 255.85/256.57 c #Conflicts: 455000 | #Constraints: 22410 255.85/256.57 c #Conflicts: 456000 | #Constraints: 23410 255.85/256.57 c #Conflicts: 457000 | #Constraints: 24410 255.85/256.57 c #Conflicts: 458000 | #Constraints: 25411 255.85/256.57 c #Conflicts: 459000 | #Constraints: 26411 255.85/256.57 c #Conflicts: 460000 | #Constraints: 27412 255.85/256.57 c INPROCESSING 255.85/256.57 c GARBAGE COLLECT 255.85/256.57 c #Conflicts: 461000 | #Constraints: 15015 255.85/256.57 c #Conflicts: 462000 | #Constraints: 16015 255.85/256.57 c #Conflicts: 463000 | #Constraints: 17015 255.85/256.57 c #Conflicts: 464000 | #Constraints: 18017 255.85/256.57 c #Conflicts: 465000 | #Constraints: 19018 255.85/256.57 c #Conflicts: 466000 | #Constraints: 20018 255.85/256.57 c #Conflicts: 467000 | #Constraints: 21019 255.85/256.57 c #Conflicts: 468000 | #Constraints: 22019 255.85/256.57 c #Conflicts: 469000 | #Constraints: 23019 255.85/256.57 c #Conflicts: 470000 | #Constraints: 24019 255.85/256.57 c #Conflicts: 471000 | #Constraints: 25019 255.85/256.57 c #Conflicts: 472000 | #Constraints: 26019 255.85/256.57 c #Conflicts: 473000 | #Constraints: 27019 255.85/256.57 c #Conflicts: 474000 | #Constraints: 28019 255.85/256.57 c INPROCESSING 255.85/256.57 c GARBAGE COLLECT 255.85/256.57 c rational objective 51.5437 268.03/268.70 c #Conflicts: 475000 | #Constraints: 15409 268.03/268.70 c #Conflicts: 476000 | #Constraints: 16409 268.03/268.70 c #Conflicts: 477000 | #Constraints: 17409 268.03/268.70 c #Conflicts: 478000 | #Constraints: 18409 268.03/268.70 c #Conflicts: 479000 | #Constraints: 19410 268.03/268.70 c #Conflicts: 480000 | #Constraints: 20411 268.03/268.70 c #Conflicts: 481000 | #Constraints: 21411 268.03/268.70 c #Conflicts: 482000 | #Constraints: 22411 268.03/268.70 c #Conflicts: 483000 | #Constraints: 23411 268.03/268.70 c #Conflicts: 484000 | #Constraints: 24411 268.03/268.70 c #Conflicts: 485000 | #Constraints: 25413 268.03/268.70 c #Conflicts: 486000 | #Constraints: 26413 268.03/268.70 c #Conflicts: 487000 | #Constraints: 27413 268.03/268.70 c #Conflicts: 488000 | #Constraints: 28413 268.03/268.70 c INPROCESSING 268.03/268.70 c GARBAGE COLLECT 268.03/268.70 c rational objective 51.5437 283.09/283.89 c #Conflicts: 489000 | #Constraints: 15605 283.09/283.89 c #Conflicts: 490000 | #Constraints: 16607 283.09/283.89 c #Conflicts: 491000 | #Constraints: 17607 283.09/283.89 c #Conflicts: 492000 | #Constraints: 18607 283.09/283.89 c #Conflicts: 493000 | #Constraints: 19607 283.09/283.89 c #Conflicts: 494000 | #Constraints: 20608 283.09/283.89 c #Conflicts: 495000 | #Constraints: 21609 283.09/283.89 c #Conflicts: 496000 | #Constraints: 22609 283.09/283.89 c #Conflicts: 497000 | #Constraints: 23609 283.09/283.89 c #Conflicts: 498000 | #Constraints: 24611 283.09/283.89 c #Conflicts: 499000 | #Constraints: 25611 283.09/283.89 c #Conflicts: 500000 | #Constraints: 26612 283.09/283.89 c #Conflicts: 501000 | #Constraints: 27614 283.09/283.89 c #Conflicts: 502000 | #Constraints: 28614 283.09/283.89 c INPROCESSING 283.09/283.89 c GARBAGE COLLECT 283.09/283.89 c rational objective 51.5437 294.66/295.47 c #Conflicts: 503000 | #Constraints: 15624 294.66/295.47 c #Conflicts: 504000 | #Constraints: 16624 294.66/295.47 c #Conflicts: 505000 | #Constraints: 17624 294.66/295.47 c #Conflicts: 506000 | #Constraints: 18626 294.66/295.47 c #Conflicts: 507000 | #Constraints: 19628 294.66/295.47 c #Conflicts: 508000 | #Constraints: 20628 294.66/295.47 c #Conflicts: 509000 | #Constraints: 21628 294.66/295.47 c #Conflicts: 510000 | #Constraints: 22628 294.66/295.47 c #Conflicts: 511000 | #Constraints: 23630 294.66/295.47 c #Conflicts: 512000 | #Constraints: 24630 294.66/295.47 c #Conflicts: 513000 | #Constraints: 25631 294.66/295.47 c #Conflicts: 514000 | #Constraints: 26631 294.66/295.47 c #Conflicts: 515000 | #Constraints: 27631 294.66/295.47 c #Conflicts: 516000 | #Constraints: 28631 294.66/295.47 c INPROCESSING 294.66/295.47 c GARBAGE COLLECT 294.66/295.47 c rational objective 51.5437 305.54/306.39 c #Conflicts: 517000 | #Constraints: 15414 305.54/306.39 c #Conflicts: 518000 | #Constraints: 16415 305.54/306.39 c #Conflicts: 519000 | #Constraints: 17415 305.54/306.39 c #Conflicts: 520000 | #Constraints: 18416 305.54/306.39 c #Conflicts: 521000 | #Constraints: 19416 305.54/306.39 c #Conflicts: 522000 | #Constraints: 20416 305.54/306.39 c #Conflicts: 523000 | #Constraints: 21416 305.54/306.39 c #Conflicts: 524000 | #Constraints: 22416 305.54/306.39 c #Conflicts: 525000 | #Constraints: 23416 305.54/306.39 c #Conflicts: 526000 | #Constraints: 24417 305.54/306.39 c #Conflicts: 527000 | #Constraints: 25418 305.54/306.39 c #Conflicts: 528000 | #Constraints: 26420 305.54/306.39 c #Conflicts: 529000 | #Constraints: 27421 305.54/306.39 c #Conflicts: 530000 | #Constraints: 28421 305.54/306.39 c #Conflicts: 531000 | #Constraints: 29422 305.54/306.39 c INPROCESSING 305.54/306.39 c GARBAGE COLLECT 305.54/306.39 c rational objective 51.5437 316.51/317.31 c #Conflicts: 532000 | #Constraints: 16013 316.51/317.31 c #Conflicts: 533000 | #Constraints: 17013 316.51/317.31 c #Conflicts: 534000 | #Constraints: 18014 316.51/317.31 c #Conflicts: 535000 | #Constraints: 19015 316.51/317.31 c #Conflicts: 536000 | #Constraints: 20015 316.51/317.31 c #Conflicts: 537000 | #Constraints: 21015 316.51/317.31 c #Conflicts: 538000 | #Constraints: 22015 316.51/317.31 c #Conflicts: 539000 | #Constraints: 23015 316.51/317.31 c #Conflicts: 540000 | #Constraints: 24016 316.51/317.31 c #Conflicts: 541000 | #Constraints: 25016 316.51/317.31 c #Conflicts: 542000 | #Constraints: 26016 316.51/317.31 c #Conflicts: 543000 | #Constraints: 27016 316.51/317.31 c #Conflicts: 544000 | #Constraints: 28016 316.51/317.31 c #Conflicts: 545000 | #Constraints: 29016 316.51/317.31 c #Conflicts: 546000 | #Constraints: 30016 316.51/317.31 c INPROCESSING 316.51/317.31 c GARBAGE COLLECT 316.51/317.31 c rational objective 51.5437 329.98/330.87 c #Conflicts: 547000 | #Constraints: 16409 329.98/330.87 c #Conflicts: 548000 | #Constraints: 17409 329.98/330.87 c #Conflicts: 549000 | #Constraints: 18409 329.98/330.87 c #Conflicts: 550000 | #Constraints: 19409 329.98/330.87 c #Conflicts: 551000 | #Constraints: 20409 329.98/330.87 c #Conflicts: 552000 | #Constraints: 21409 329.98/330.87 c #Conflicts: 553000 | #Constraints: 22409 329.98/330.87 c #Conflicts: 554000 | #Constraints: 23410 329.98/330.87 c #Conflicts: 555000 | #Constraints: 24410 329.98/330.87 c #Conflicts: 556000 | #Constraints: 25410 329.98/330.87 c #Conflicts: 557000 | #Constraints: 26410 329.98/330.87 c #Conflicts: 558000 | #Constraints: 27411 329.98/330.87 c #Conflicts: 559000 | #Constraints: 28411 329.98/330.87 c #Conflicts: 560000 | #Constraints: 29411 329.98/330.87 c #Conflicts: 561000 | #Constraints: 30411 329.98/330.87 c INPROCESSING 329.98/330.87 c GARBAGE COLLECT 329.98/330.87 c rational objective 51.5437 341.64/342.56 c #Conflicts: 562000 | #Constraints: 16606 341.64/342.56 c #Conflicts: 563000 | #Constraints: 17606 341.64/342.56 c #Conflicts: 564000 | #Constraints: 18607 341.64/342.56 c #Conflicts: 565000 | #Constraints: 19607 341.64/342.56 c #Conflicts: 566000 | #Constraints: 20607 341.64/342.56 c #Conflicts: 567000 | #Constraints: 21607 341.64/342.56 c #Conflicts: 568000 | #Constraints: 22607 341.64/342.56 c #Conflicts: 569000 | #Constraints: 23607 341.64/342.56 c #Conflicts: 570000 | #Constraints: 24607 341.64/342.56 c #Conflicts: 571000 | #Constraints: 25608 341.64/342.56 c #Conflicts: 572000 | #Constraints: 26608 341.64/342.56 c #Conflicts: 573000 | #Constraints: 27608 341.64/342.56 c #Conflicts: 574000 | #Constraints: 28608 341.64/342.56 c #Conflicts: 575000 | #Constraints: 29608 341.64/342.56 c #Conflicts: 576000 | #Constraints: 30608 341.64/342.56 c INPROCESSING 341.64/342.56 c GARBAGE COLLECT 341.64/342.56 c rational objective 51.5437 354.12/355.07 c #Conflicts: 577000 | #Constraints: 16608 354.12/355.07 c #Conflicts: 578000 | #Constraints: 17608 354.12/355.07 c #Conflicts: 579000 | #Constraints: 18608 354.12/355.07 c #Conflicts: 580000 | #Constraints: 19609 354.12/355.07 c #Conflicts: 581000 | #Constraints: 20609 354.12/355.07 c #Conflicts: 582000 | #Constraints: 21609 354.12/355.07 c #Conflicts: 583000 | #Constraints: 22610 354.12/355.07 c #Conflicts: 584000 | #Constraints: 23610 354.12/355.07 c #Conflicts: 585000 | #Constraints: 24610 354.12/355.07 c #Conflicts: 586000 | #Constraints: 25612 354.12/355.07 c #Conflicts: 587000 | #Constraints: 26612 354.12/355.07 c #Conflicts: 588000 | #Constraints: 27613 354.12/355.07 c #Conflicts: 589000 | #Constraints: 28614 354.12/355.07 c #Conflicts: 590000 | #Constraints: 29614 354.12/355.07 c #Conflicts: 591000 | #Constraints: 30614 354.12/355.07 c INPROCESSING 354.12/355.07 c GARBAGE COLLECT 354.12/355.07 c rational objective 51.5437 368.57/369.55 c #Conflicts: 592000 | #Constraints: 16415 368.57/369.55 c #Conflicts: 593000 | #Constraints: 17415 368.57/369.55 c #Conflicts: 594000 | #Constraints: 18415 368.57/369.55 c #Conflicts: 595000 | #Constraints: 19417 368.57/369.55 c #Conflicts: 596000 | #Constraints: 20418 368.57/369.55 c #Conflicts: 597000 | #Constraints: 21419 368.57/369.55 c #Conflicts: 598000 | #Constraints: 22419 368.57/369.55 c #Conflicts: 599000 | #Constraints: 23419 368.57/369.55 c #Conflicts: 600000 | #Constraints: 24421 368.57/369.55 c #Conflicts: 601000 | #Constraints: 25421 368.57/369.55 c #Conflicts: 602000 | #Constraints: 26421 368.57/369.55 c #Conflicts: 603000 | #Constraints: 27422 368.57/369.55 c #Conflicts: 604000 | #Constraints: 28422 368.57/369.55 c #Conflicts: 605000 | #Constraints: 29423 368.57/369.55 c #Conflicts: 606000 | #Constraints: 30424 368.57/369.55 c #Conflicts: 607000 | #Constraints: 31425 368.57/369.55 c INPROCESSING 368.57/369.55 c GARBAGE COLLECT 368.57/369.55 c rational objective 51.5437 384.43/385.44 c #Conflicts: 608000 | #Constraints: 17011 384.43/385.44 c #Conflicts: 609000 | #Constraints: 18013 384.43/385.44 c #Conflicts: 610000 | #Constraints: 19015 384.43/385.44 c #Conflicts: 611000 | #Constraints: 20016 384.43/385.44 c #Conflicts: 612000 | #Constraints: 21017 384.43/385.44 c #Conflicts: 613000 | #Constraints: 22018 384.43/385.44 c #Conflicts: 614000 | #Constraints: 23018 384.43/385.44 c #Conflicts: 615000 | #Constraints: 24019 384.43/385.44 c #Conflicts: 616000 | #Constraints: 25019 384.43/385.44 c #Conflicts: 617000 | #Constraints: 26020 384.43/385.44 c #Conflicts: 618000 | #Constraints: 27020 384.43/385.44 c #Conflicts: 619000 | #Constraints: 28020 384.43/385.44 c #Conflicts: 620000 | #Constraints: 29021 384.43/385.44 c #Conflicts: 621000 | #Constraints: 30021 384.43/385.44 c #Conflicts: 622000 | #Constraints: 31021 384.43/385.44 c #Conflicts: 623000 | #Constraints: 32021 384.43/385.44 c INPROCESSING 384.43/385.44 c GARBAGE COLLECT 384.43/385.44 c rational objective 51.5437 397.90/398.91 c #Conflicts: 624000 | #Constraints: 17408 397.90/398.91 c #Conflicts: 625000 | #Constraints: 18408 397.90/398.91 c #Conflicts: 626000 | #Constraints: 19408 397.90/398.91 c #Conflicts: 627000 | #Constraints: 20408 397.90/398.91 c #Conflicts: 628000 | #Constraints: 21408 397.90/398.91 c #Conflicts: 629000 | #Constraints: 22408 397.90/398.91 c #Conflicts: 630000 | #Constraints: 23408 397.90/398.91 c #Conflicts: 631000 | #Constraints: 24408 397.90/398.91 c #Conflicts: 632000 | #Constraints: 25408 397.90/398.91 c #Conflicts: 633000 | #Constraints: 26410 397.90/398.91 c #Conflicts: 634000 | #Constraints: 27411 397.90/398.91 c #Conflicts: 635000 | #Constraints: 28413 397.90/398.91 c #Conflicts: 636000 | #Constraints: 29414 397.90/398.91 c #Conflicts: 637000 | #Constraints: 30415 397.90/398.91 c #Conflicts: 638000 | #Constraints: 31415 397.90/398.91 c #Conflicts: 639000 | #Constraints: 32415 397.90/398.91 c INPROCESSING 397.90/398.91 c GARBAGE COLLECT 397.90/398.91 c rational objective 51.5437 411.97/413.05 c #Conflicts: 640000 | #Constraints: 17605 411.97/413.05 c #Conflicts: 641000 | #Constraints: 18605 411.97/413.05 c #Conflicts: 642000 | #Constraints: 19605 411.97/413.05 c #Conflicts: 643000 | #Constraints: 20606 411.97/413.05 c #Conflicts: 644000 | #Constraints: 21607 411.97/413.05 c #Conflicts: 645000 | #Constraints: 22607 411.97/413.05 c #Conflicts: 646000 | #Constraints: 23607 411.97/413.05 c #Conflicts: 647000 | #Constraints: 24607 411.97/413.05 c #Conflicts: 648000 | #Constraints: 25608 411.97/413.05 c #Conflicts: 649000 | #Constraints: 26608 411.97/413.05 c #Conflicts: 650000 | #Constraints: 27609 411.97/413.05 c #Conflicts: 651000 | #Constraints: 28609 411.97/413.05 c #Conflicts: 652000 | #Constraints: 29609 411.97/413.05 c #Conflicts: 653000 | #Constraints: 30609 411.97/413.05 c #Conflicts: 654000 | #Constraints: 31611 411.97/413.05 c #Conflicts: 655000 | #Constraints: 32613 411.97/413.05 c INPROCESSING 411.97/413.05 c GARBAGE COLLECT 411.97/413.05 c rational objective 51.5437 425.83/426.96 c #Conflicts: 656000 | #Constraints: 17613 425.83/426.96 c #Conflicts: 657000 | #Constraints: 18614 425.83/426.96 c #Conflicts: 658000 | #Constraints: 19614 425.83/426.96 c #Conflicts: 659000 | #Constraints: 20615 425.83/426.96 c #Conflicts: 660000 | #Constraints: 21615 425.83/426.96 c #Conflicts: 661000 | #Constraints: 22616 425.83/426.96 c #Conflicts: 662000 | #Constraints: 23616 425.83/426.96 c #Conflicts: 663000 | #Constraints: 24616 425.83/426.96 c #Conflicts: 664000 | #Constraints: 25616 425.83/426.96 c #Conflicts: 665000 | #Constraints: 26616 425.83/426.96 c #Conflicts: 666000 | #Constraints: 27616 425.83/426.96 c #Conflicts: 667000 | #Constraints: 28616 425.83/426.96 c #Conflicts: 668000 | #Constraints: 29617 425.83/426.96 c #Conflicts: 669000 | #Constraints: 30618 425.83/426.96 c #Conflicts: 670000 | #Constraints: 31618 425.83/426.96 c #Conflicts: 671000 | #Constraints: 32618 425.83/426.96 c INPROCESSING 425.83/426.96 c GARBAGE COLLECT 425.83/426.96 c rational objective 51.5437 439.00/440.17 c #Conflicts: 672000 | #Constraints: 17409 439.00/440.17 c #Conflicts: 673000 | #Constraints: 18409 439.00/440.17 c #Conflicts: 674000 | #Constraints: 19410 439.00/440.17 c #Conflicts: 675000 | #Constraints: 20410 439.00/440.17 c #Conflicts: 676000 | #Constraints: 21411 439.00/440.17 c #Conflicts: 677000 | #Constraints: 22412 439.00/440.17 c #Conflicts: 678000 | #Constraints: 23412 439.00/440.17 c #Conflicts: 679000 | #Constraints: 24412 439.00/440.17 c #Conflicts: 680000 | #Constraints: 25412 439.00/440.17 c #Conflicts: 681000 | #Constraints: 26412 439.00/440.17 c #Conflicts: 682000 | #Constraints: 27412 439.00/440.17 c #Conflicts: 683000 | #Constraints: 28412 439.00/440.17 c #Conflicts: 684000 | #Constraints: 29412 439.00/440.17 c #Conflicts: 685000 | #Constraints: 30412 439.00/440.17 c #Conflicts: 686000 | #Constraints: 31415 439.00/440.17 c #Conflicts: 687000 | #Constraints: 32415 439.00/440.17 c #Conflicts: 688000 | #Constraints: 33415 439.00/440.17 c INPROCESSING 439.00/440.17 c GARBAGE COLLECT 439.00/440.17 c rational objective 51.5437 456.65/457.86 c #Conflicts: 689000 | #Constraints: 18001 456.65/457.86 c #Conflicts: 690000 | #Constraints: 19001 456.65/457.86 c #Conflicts: 691000 | #Constraints: 20002 456.65/457.86 c #Conflicts: 692000 | #Constraints: 21003 456.65/457.86 c #Conflicts: 693000 | #Constraints: 22003 456.65/457.86 c #Conflicts: 694000 | #Constraints: 23003 456.65/457.86 c #Conflicts: 695000 | #Constraints: 24004 456.65/457.86 c #Conflicts: 696000 | #Constraints: 25004 456.65/457.86 c #Conflicts: 697000 | #Constraints: 26004 456.65/457.86 c #Conflicts: 698000 | #Constraints: 27004 456.65/457.86 c #Conflicts: 699000 | #Constraints: 28004 456.65/457.86 c #Conflicts: 700000 | #Constraints: 29004 456.65/457.86 c #Conflicts: 701000 | #Constraints: 30004 456.65/457.86 c #Conflicts: 702000 | #Constraints: 31004 456.65/457.86 c #Conflicts: 703000 | #Constraints: 32004 456.65/457.86 c #Conflicts: 704000 | #Constraints: 33004 456.65/457.86 c #Conflicts: 705000 | #Constraints: 34005 456.65/457.86 c INPROCESSING 456.65/457.86 c GARBAGE COLLECT 456.65/457.86 c rational objective 51.5437 470.92/472.14 c #Conflicts: 706000 | #Constraints: 18405 470.92/472.14 c #Conflicts: 707000 | #Constraints: 19405 470.92/472.14 c #Conflicts: 708000 | #Constraints: 20406 470.92/472.14 c #Conflicts: 709000 | #Constraints: 21406 470.92/472.14 c #Conflicts: 710000 | #Constraints: 22409 470.92/472.14 c #Conflicts: 711000 | #Constraints: 23409 470.92/472.14 c #Conflicts: 712000 | #Constraints: 24409 470.92/472.14 c #Conflicts: 713000 | #Constraints: 25409 470.92/472.14 c #Conflicts: 714000 | #Constraints: 26409 470.92/472.14 c #Conflicts: 715000 | #Constraints: 27410 470.92/472.14 c #Conflicts: 716000 | #Constraints: 28412 470.92/472.14 c #Conflicts: 717000 | #Constraints: 29412 470.92/472.14 c #Conflicts: 718000 | #Constraints: 30412 470.92/472.14 c #Conflicts: 719000 | #Constraints: 31412 470.92/472.14 c #Conflicts: 720000 | #Constraints: 32413 470.92/472.14 c #Conflicts: 721000 | #Constraints: 33413 470.92/472.14 c #Conflicts: 722000 | #Constraints: 34413 470.92/472.14 c INPROCESSING 470.92/472.14 c GARBAGE COLLECT 470.92/472.14 c rational objective 51.589 487.27/488.52 c #Conflicts: 723000 | #Constraints: 18613 487.27/488.52 c #Conflicts: 724000 | #Constraints: 19613 487.27/488.52 c #Conflicts: 725000 | #Constraints: 20616 487.27/488.52 c #Conflicts: 726000 | #Constraints: 21616 487.27/488.52 c #Conflicts: 727000 | #Constraints: 22617 487.27/488.52 c #Conflicts: 728000 | #Constraints: 23617 487.27/488.52 c #Conflicts: 729000 | #Constraints: 24618 487.27/488.52 c #Conflicts: 730000 | #Constraints: 25619 487.27/488.52 c #Conflicts: 731000 | #Constraints: 26620 487.27/488.52 c #Conflicts: 732000 | #Constraints: 27620 487.27/488.52 c #Conflicts: 733000 | #Constraints: 28620 487.27/488.52 c #Conflicts: 734000 | #Constraints: 29621 487.27/488.52 c #Conflicts: 735000 | #Constraints: 30621 487.27/488.52 c #Conflicts: 736000 | #Constraints: 31621 487.27/488.52 c #Conflicts: 737000 | #Constraints: 32621 487.27/488.52 c #Conflicts: 738000 | #Constraints: 33621 487.27/488.52 c #Conflicts: 739000 | #Constraints: 34621 487.27/488.52 c INPROCESSING 487.27/488.52 c GARBAGE COLLECT 487.27/488.52 c rational objective 51.5917 503.83/505.15 c #Conflicts: 740000 | #Constraints: 18613 503.83/505.15 c #Conflicts: 741000 | #Constraints: 19613 503.83/505.15 c #Conflicts: 742000 | #Constraints: 20613 503.83/505.15 c #Conflicts: 743000 | #Constraints: 21613 503.83/505.15 c #Conflicts: 744000 | #Constraints: 22614 503.83/505.15 c #Conflicts: 745000 | #Constraints: 23615 503.83/505.15 c #Conflicts: 746000 | #Constraints: 24616 503.83/505.15 c #Conflicts: 747000 | #Constraints: 25617 503.83/505.15 c #Conflicts: 748000 | #Constraints: 26618 503.83/505.15 c #Conflicts: 749000 | #Constraints: 27619 503.83/505.15 c #Conflicts: 750000 | #Constraints: 28619 503.83/505.15 c #Conflicts: 751000 | #Constraints: 29619 503.83/505.15 c #Conflicts: 752000 | #Constraints: 30619 503.83/505.15 c #Conflicts: 753000 | #Constraints: 31619 503.83/505.15 c #Conflicts: 754000 | #Constraints: 32619 503.83/505.15 c #Conflicts: 755000 | #Constraints: 33619 503.83/505.15 c #Conflicts: 756000 | #Constraints: 34619 503.83/505.15 c INPROCESSING 503.83/505.15 c GARBAGE COLLECT 503.83/505.15 c rational objective 51.5923 517.70/519.03 c #Conflicts: 757000 | #Constraints: 18412 517.70/519.03 c #Conflicts: 758000 | #Constraints: 19412 517.70/519.03 c #Conflicts: 759000 | #Constraints: 20412 517.70/519.03 c #Conflicts: 760000 | #Constraints: 21412 517.70/519.03 c #Conflicts: 761000 | #Constraints: 22412 517.70/519.03 c #Conflicts: 762000 | #Constraints: 23412 517.70/519.03 c #Conflicts: 763000 | #Constraints: 24413 517.70/519.03 c #Conflicts: 764000 | #Constraints: 25413 517.70/519.03 c #Conflicts: 765000 | #Constraints: 26413 517.70/519.03 c #Conflicts: 766000 | #Constraints: 27413 517.70/519.03 c #Conflicts: 767000 | #Constraints: 28413 517.70/519.03 c #Conflicts: 768000 | #Constraints: 29413 517.70/519.03 c #Conflicts: 769000 | #Constraints: 30413 517.70/519.03 c #Conflicts: 770000 | #Constraints: 31413 517.70/519.03 c #Conflicts: 771000 | #Constraints: 32413 517.70/519.03 c #Conflicts: 772000 | #Constraints: 33415 517.70/519.03 c #Conflicts: 773000 | #Constraints: 34415 517.70/519.03 c #Conflicts: 774000 | #Constraints: 35417 517.70/519.03 c INPROCESSING 517.70/519.03 c GARBAGE COLLECT 517.70/519.03 c rational objective 51.5936 536.45/537.80 c #Conflicts: 775000 | #Constraints: 19003 536.45/537.80 c #Conflicts: 776000 | #Constraints: 20003 536.45/537.80 c #Conflicts: 777000 | #Constraints: 21005 536.45/537.80 c #Conflicts: 778000 | #Constraints: 22005 536.45/537.80 c #Conflicts: 779000 | #Constraints: 23006 536.45/537.80 c #Conflicts: 780000 | #Constraints: 24006 536.45/537.80 c #Conflicts: 781000 | #Constraints: 25006 536.45/537.80 c #Conflicts: 782000 | #Constraints: 26006 536.45/537.80 c #Conflicts: 783000 | #Constraints: 27006 536.45/537.80 c #Conflicts: 784000 | #Constraints: 28006 536.45/537.80 c #Conflicts: 785000 | #Constraints: 29006 536.45/537.80 c #Conflicts: 786000 | #Constraints: 30007 536.45/537.80 c #Conflicts: 787000 | #Constraints: 31007 536.45/537.80 c #Conflicts: 788000 | #Constraints: 32008 536.45/537.80 c #Conflicts: 789000 | #Constraints: 33008 536.45/537.80 c #Conflicts: 790000 | #Constraints: 34008 536.45/537.80 c #Conflicts: 791000 | #Constraints: 35008 536.45/537.80 c #Conflicts: 792000 | #Constraints: 36008 536.45/537.80 c INPROCESSING 536.45/537.80 c GARBAGE COLLECT 536.45/537.80 c rational objective 51.598 553.10/554.59 c #Conflicts: 793000 | #Constraints: 19408 553.10/554.59 c #Conflicts: 794000 | #Constraints: 20408 553.10/554.59 c #Conflicts: 795000 | #Constraints: 21408 553.10/554.59 c #Conflicts: 796000 | #Constraints: 22408 553.10/554.59 c #Conflicts: 797000 | #Constraints: 23409 553.10/554.59 c #Conflicts: 798000 | #Constraints: 24409 553.10/554.59 c #Conflicts: 799000 | #Constraints: 25409 553.10/554.59 c #Conflicts: 800000 | #Constraints: 26409 553.10/554.59 c #Conflicts: 801000 | #Constraints: 27409 553.10/554.59 c #Conflicts: 802000 | #Constraints: 28409 553.10/554.59 c #Conflicts: 803000 | #Constraints: 29409 553.10/554.59 c #Conflicts: 804000 | #Constraints: 30409 553.10/554.59 c #Conflicts: 805000 | #Constraints: 31410 553.10/554.59 c #Conflicts: 806000 | #Constraints: 32411 553.10/554.59 c #Conflicts: 807000 | #Constraints: 33413 553.10/554.59 c #Conflicts: 808000 | #Constraints: 34414 553.10/554.59 c #Conflicts: 809000 | #Constraints: 35414 553.10/554.59 c #Conflicts: 810000 | #Constraints: 36416 553.10/554.59 c INPROCESSING 553.10/554.59 c GARBAGE COLLECT 553.10/554.59 c rational objective 51.598 568.86/570.36 c #Conflicts: 811000 | #Constraints: 19613 568.86/570.36 c #Conflicts: 812000 | #Constraints: 20613 568.86/570.36 c #Conflicts: 813000 | #Constraints: 21613 568.86/570.36 c #Conflicts: 814000 | #Constraints: 22613 568.86/570.36 c #Conflicts: 815000 | #Constraints: 23613 568.86/570.36 c #Conflicts: 816000 | #Constraints: 24614 568.86/570.36 c #Conflicts: 817000 | #Constraints: 25614 568.86/570.36 c #Conflicts: 818000 | #Constraints: 26614 568.86/570.36 c #Conflicts: 819000 | #Constraints: 27614 568.86/570.36 c #Conflicts: 820000 | #Constraints: 28614 568.86/570.36 c #Conflicts: 821000 | #Constraints: 29614 568.86/570.36 c #Conflicts: 822000 | #Constraints: 30614 568.86/570.36 c #Conflicts: 823000 | #Constraints: 31614 568.86/570.36 c #Conflicts: 824000 | #Constraints: 32614 568.86/570.36 c #Conflicts: 825000 | #Constraints: 33614 568.86/570.36 c #Conflicts: 826000 | #Constraints: 34614 568.86/570.36 c #Conflicts: 827000 | #Constraints: 35614 568.86/570.36 c #Conflicts: 828000 | #Constraints: 36615 568.86/570.36 c INPROCESSING 568.86/570.36 c GARBAGE COLLECT 568.86/570.36 c rational objective 51.598 591.90/593.49 c #Conflicts: 829000 | #Constraints: 19616 591.90/593.49 c #Conflicts: 830000 | #Constraints: 20617 591.90/593.49 c #Conflicts: 831000 | #Constraints: 21617 591.90/593.49 c #Conflicts: 832000 | #Constraints: 22617 591.90/593.49 c #Conflicts: 833000 | #Constraints: 23617 591.90/593.49 c #Conflicts: 834000 | #Constraints: 24617 591.90/593.49 c #Conflicts: 835000 | #Constraints: 25621 591.90/593.49 c #Conflicts: 836000 | #Constraints: 26623 591.90/593.49 c #Conflicts: 837000 | #Constraints: 27624 591.90/593.49 c #Conflicts: 838000 | #Constraints: 28624 591.90/593.49 c #Conflicts: 839000 | #Constraints: 29625 591.90/593.49 c #Conflicts: 840000 | #Constraints: 30625 591.90/593.49 c #Conflicts: 841000 | #Constraints: 31625 591.90/593.49 c #Conflicts: 842000 | #Constraints: 32625 591.90/593.49 c #Conflicts: 843000 | #Constraints: 33626 591.90/593.49 c #Conflicts: 844000 | #Constraints: 34630 591.90/593.49 c #Conflicts: 845000 | #Constraints: 35630 591.90/593.49 c #Conflicts: 846000 | #Constraints: 36630 591.90/593.49 c INPROCESSING 591.90/593.49 c GARBAGE COLLECT 591.90/593.49 c rational objective 51.598 608.16/609.79 c #Conflicts: 847000 | #Constraints: 19422 608.16/609.79 c #Conflicts: 848000 | #Constraints: 20422 608.16/609.79 c #Conflicts: 849000 | #Constraints: 21422 608.16/609.79 c #Conflicts: 850000 | #Constraints: 22424 608.16/609.79 c #Conflicts: 851000 | #Constraints: 23424 608.16/609.79 c #Conflicts: 852000 | #Constraints: 24424 608.16/609.79 c #Conflicts: 853000 | #Constraints: 25425 608.16/609.79 c #Conflicts: 854000 | #Constraints: 26425 608.16/609.79 c #Conflicts: 855000 | #Constraints: 27425 608.16/609.79 c #Conflicts: 856000 | #Constraints: 28425 608.16/609.79 c #Conflicts: 857000 | #Constraints: 29425 608.16/609.79 c #Conflicts: 858000 | #Constraints: 30425 608.16/609.79 c #Conflicts: 859000 | #Constraints: 31426 608.16/609.79 c #Conflicts: 860000 | #Constraints: 32426 608.16/609.79 c #Conflicts: 861000 | #Constraints: 33427 608.16/609.79 c #Conflicts: 862000 | #Constraints: 34427 608.16/609.79 c #Conflicts: 863000 | #Constraints: 35427 608.16/609.79 c #Conflicts: 864000 | #Constraints: 36427 608.16/609.79 c #Conflicts: 865000 | #Constraints: 37427 608.16/609.79 c INPROCESSING 608.16/609.79 c GARBAGE COLLECT 608.16/609.79 c rational objective 51.598 626.01/627.66 c #Conflicts: 866000 | #Constraints: 20018 626.01/627.66 c #Conflicts: 867000 | #Constraints: 21018 626.01/627.66 c #Conflicts: 868000 | #Constraints: 22019 626.01/627.66 c #Conflicts: 869000 | #Constraints: 23020 626.01/627.66 c #Conflicts: 870000 | #Constraints: 24020 626.01/627.66 c #Conflicts: 871000 | #Constraints: 25020 626.01/627.66 c #Conflicts: 872000 | #Constraints: 26020 626.01/627.66 c #Conflicts: 873000 | #Constraints: 27020 626.01/627.66 c #Conflicts: 874000 | #Constraints: 28020 626.01/627.66 c #Conflicts: 875000 | #Constraints: 29020 626.01/627.66 c #Conflicts: 876000 | #Constraints: 30020 626.01/627.66 c #Conflicts: 877000 | #Constraints: 31020 626.01/627.66 c #Conflicts: 878000 | #Constraints: 32020 626.01/627.66 c #Conflicts: 879000 | #Constraints: 33020 626.01/627.66 c #Conflicts: 880000 | #Constraints: 34020 626.01/627.66 c #Conflicts: 881000 | #Constraints: 35022 626.01/627.66 c #Conflicts: 882000 | #Constraints: 36023 626.01/627.66 c #Conflicts: 883000 | #Constraints: 37023 626.01/627.66 c #Conflicts: 884000 | #Constraints: 38023 626.01/627.66 c INPROCESSING 626.01/627.66 c GARBAGE COLLECT 626.01/627.66 c rational objective 51.598 642.27/643.94 c #Conflicts: 885000 | #Constraints: 20414 642.27/643.94 c #Conflicts: 886000 | #Constraints: 21415 642.27/643.94 c #Conflicts: 887000 | #Constraints: 22416 642.27/643.94 c #Conflicts: 888000 | #Constraints: 23417 642.27/643.94 c #Conflicts: 889000 | #Constraints: 24418 642.27/643.94 c #Conflicts: 890000 | #Constraints: 25419 642.27/643.94 c #Conflicts: 891000 | #Constraints: 26422 642.27/643.94 c #Conflicts: 892000 | #Constraints: 27422 642.27/643.94 c #Conflicts: 893000 | #Constraints: 28422 642.27/643.94 c #Conflicts: 894000 | #Constraints: 29422 642.27/643.94 c #Conflicts: 895000 | #Constraints: 30422 642.27/643.94 c #Conflicts: 896000 | #Constraints: 31422 642.27/643.94 c #Conflicts: 897000 | #Constraints: 32423 642.27/643.94 c #Conflicts: 898000 | #Constraints: 33423 642.27/643.94 c #Conflicts: 899000 | #Constraints: 34424 642.27/643.94 c #Conflicts: 900000 | #Constraints: 35424 642.27/643.94 c #Conflicts: 901000 | #Constraints: 36424 642.27/643.94 c #Conflicts: 902000 | #Constraints: 37424 642.27/643.94 c #Conflicts: 903000 | #Constraints: 38425 642.27/643.94 c INPROCESSING 642.27/643.94 c GARBAGE COLLECT 642.27/643.94 c rational objective 51.598 659.62/661.36 c #Conflicts: 904000 | #Constraints: 20613 659.62/661.36 c #Conflicts: 905000 | #Constraints: 21613 659.62/661.36 c #Conflicts: 906000 | #Constraints: 22613 659.62/661.36 c #Conflicts: 907000 | #Constraints: 23613 659.62/661.36 c #Conflicts: 908000 | #Constraints: 24613 659.62/661.36 c #Conflicts: 909000 | #Constraints: 25613 659.62/661.36 c #Conflicts: 910000 | #Constraints: 26615 659.62/661.36 c #Conflicts: 911000 | #Constraints: 27615 659.62/661.36 c #Conflicts: 912000 | #Constraints: 28616 659.62/661.36 c #Conflicts: 913000 | #Constraints: 29616 659.62/661.36 c #Conflicts: 914000 | #Constraints: 30617 659.62/661.36 c #Conflicts: 915000 | #Constraints: 31617 659.62/661.36 c #Conflicts: 916000 | #Constraints: 32618 659.62/661.36 c #Conflicts: 917000 | #Constraints: 33618 659.62/661.36 c #Conflicts: 918000 | #Constraints: 34618 659.62/661.36 c #Conflicts: 919000 | #Constraints: 35618 659.62/661.36 c #Conflicts: 920000 | #Constraints: 36620 659.62/661.36 c #Conflicts: 921000 | #Constraints: 37620 659.62/661.36 c #Conflicts: 922000 | #Constraints: 38621 659.62/661.36 c INPROCESSING 659.62/661.36 c GARBAGE COLLECT 659.62/661.36 c rational objective 51.598 675.18/676.97 c #Conflicts: 923000 | #Constraints: 20618 675.18/676.97 c #Conflicts: 924000 | #Constraints: 21618 675.18/676.97 c #Conflicts: 925000 | #Constraints: 22618 675.18/676.97 c #Conflicts: 926000 | #Constraints: 23618 675.18/676.97 c #Conflicts: 927000 | #Constraints: 24618 675.18/676.97 c #Conflicts: 928000 | #Constraints: 25618 675.18/676.97 c #Conflicts: 929000 | #Constraints: 26618 675.18/676.97 c #Conflicts: 930000 | #Constraints: 27618 675.18/676.97 c #Conflicts: 931000 | #Constraints: 28620 675.18/676.97 c #Conflicts: 932000 | #Constraints: 29620 675.18/676.97 c #Conflicts: 933000 | #Constraints: 30622 675.18/676.97 c #Conflicts: 934000 | #Constraints: 31622 675.18/676.97 c #Conflicts: 935000 | #Constraints: 32622 675.18/676.97 c #Conflicts: 936000 | #Constraints: 33623 675.18/676.97 c #Conflicts: 937000 | #Constraints: 34624 675.18/676.97 c #Conflicts: 938000 | #Constraints: 35624 675.18/676.97 c #Conflicts: 939000 | #Constraints: 36625 675.18/676.97 c #Conflicts: 940000 | #Constraints: 37625 675.18/676.97 c #Conflicts: 941000 | #Constraints: 38625 675.18/676.97 c INPROCESSING 675.18/676.97 c GARBAGE COLLECT 675.18/676.97 c rational objective 51.598 693.04/694.84 c #Conflicts: 942000 | #Constraints: 20424 693.04/694.84 c #Conflicts: 943000 | #Constraints: 21425 693.04/694.84 c #Conflicts: 944000 | #Constraints: 22425 693.04/694.84 c #Conflicts: 945000 | #Constraints: 23425 693.04/694.84 c #Conflicts: 946000 | #Constraints: 24425 693.04/694.84 c #Conflicts: 947000 | #Constraints: 25425 693.04/694.84 c #Conflicts: 948000 | #Constraints: 26425 693.04/694.84 c #Conflicts: 949000 | #Constraints: 27425 693.04/694.84 c #Conflicts: 950000 | #Constraints: 28426 693.04/694.84 c #Conflicts: 951000 | #Constraints: 29426 693.04/694.84 c #Conflicts: 952000 | #Constraints: 30426 693.04/694.84 c #Conflicts: 953000 | #Constraints: 31426 693.04/694.84 c #Conflicts: 954000 | #Constraints: 32427 693.04/694.84 c #Conflicts: 955000 | #Constraints: 33427 693.04/694.84 c #Conflicts: 956000 | #Constraints: 34427 693.04/694.84 c #Conflicts: 957000 | #Constraints: 35427 693.04/694.84 c #Conflicts: 958000 | #Constraints: 36427 693.04/694.84 c #Conflicts: 959000 | #Constraints: 37427 693.04/694.84 c #Conflicts: 960000 | #Constraints: 38427 693.04/694.84 c #Conflicts: 961000 | #Constraints: 39427 693.04/694.84 c INPROCESSING 693.04/694.84 c GARBAGE COLLECT 693.04/694.84 c rational objective 51.598 723.25/725.16 c #Conflicts: 962000 | #Constraints: 21017 723.25/725.16 c #Conflicts: 963000 | #Constraints: 22017 723.25/725.16 c #Conflicts: 964000 | #Constraints: 23017 723.25/725.16 c #Conflicts: 965000 | #Constraints: 24018 723.25/725.16 c #Conflicts: 966000 | #Constraints: 25018 723.25/725.16 c #Conflicts: 967000 | #Constraints: 26018 723.25/725.16 c #Conflicts: 968000 | #Constraints: 27018 723.25/725.16 c #Conflicts: 969000 | #Constraints: 28018 723.25/725.16 c #Conflicts: 970000 | #Constraints: 29018 723.25/725.16 c #Conflicts: 971000 | #Constraints: 30019 723.25/725.16 c #Conflicts: 972000 | #Constraints: 31019 723.25/725.16 c #Conflicts: 973000 | #Constraints: 32019 723.25/725.16 c #Conflicts: 974000 | #Constraints: 33020 723.25/725.16 c #Conflicts: 975000 | #Constraints: 34021 723.25/725.16 c #Conflicts: 976000 | #Constraints: 35021 723.25/725.16 c #Conflicts: 977000 | #Constraints: 36021 723.25/725.16 c #Conflicts: 978000 | #Constraints: 37022 723.25/725.16 c #Conflicts: 979000 | #Constraints: 38022 723.25/725.16 c #Conflicts: 980000 | #Constraints: 39022 723.25/725.16 c #Conflicts: 981000 | #Constraints: 40022 723.25/725.16 c INPROCESSING 723.25/725.16 c GARBAGE COLLECT 723.25/725.16 c rational objective 51.598 753.76/755.74 c #Conflicts: 982000 | #Constraints: 21413 753.76/755.74 c #Conflicts: 983000 | #Constraints: 22413 753.76/755.74 c #Conflicts: 984000 | #Constraints: 23413 753.76/755.74 c #Conflicts: 985000 | #Constraints: 24413 753.76/755.74 c #Conflicts: 986000 | #Constraints: 25413 753.76/755.74 c #Conflicts: 987000 | #Constraints: 26415 753.76/755.74 c #Conflicts: 988000 | #Constraints: 27415 753.76/755.74 c #Conflicts: 989000 | #Constraints: 28415 753.76/755.74 c #Conflicts: 990000 | #Constraints: 29415 753.76/755.74 c #Conflicts: 991000 | #Constraints: 30415 753.76/755.74 c #Conflicts: 992000 | #Constraints: 31415 753.76/755.74 c #Conflicts: 993000 | #Constraints: 32415 753.76/755.74 c #Conflicts: 994000 | #Constraints: 33415 753.76/755.74 c #Conflicts: 995000 | #Constraints: 34415 753.76/755.74 c #Conflicts: 996000 | #Constraints: 35417 753.76/755.74 c #Conflicts: 997000 | #Constraints: 36417 753.76/755.74 c #Conflicts: 998000 | #Constraints: 37417 753.76/755.74 c #Conflicts: 999000 | #Constraints: 38417 753.76/755.74 c #Conflicts: 1000000 | #Constraints: 39417 753.76/755.74 c #Conflicts: 1001000 | #Constraints: 40418 753.76/755.74 c INPROCESSING 753.76/755.74 c GARBAGE COLLECT 753.76/755.74 c rational objective 51.598 778.18/780.21 c #Conflicts: 1002000 | #Constraints: 21618 778.18/780.21 c #Conflicts: 1003000 | #Constraints: 22619 778.18/780.21 c #Conflicts: 1004000 | #Constraints: 23619 778.18/780.21 c #Conflicts: 1005000 | #Constraints: 24620 778.18/780.21 c #Conflicts: 1006000 | #Constraints: 25620 778.18/780.21 c #Conflicts: 1007000 | #Constraints: 26620 778.18/780.21 c #Conflicts: 1008000 | #Constraints: 27621 778.18/780.21 c #Conflicts: 1009000 | #Constraints: 28622 778.18/780.21 c #Conflicts: 1010000 | #Constraints: 29622 778.18/780.21 c #Conflicts: 1011000 | #Constraints: 30622 778.18/780.21 c #Conflicts: 1012000 | #Constraints: 31623 778.18/780.21 c #Conflicts: 1013000 | #Constraints: 32623 778.18/780.21 c #Conflicts: 1014000 | #Constraints: 33624 778.18/780.21 c #Conflicts: 1015000 | #Constraints: 34625 778.18/780.21 c #Conflicts: 1016000 | #Constraints: 35625 778.18/780.21 c #Conflicts: 1017000 | #Constraints: 36625 778.18/780.21 c #Conflicts: 1018000 | #Constraints: 37625 778.18/780.21 c #Conflicts: 1019000 | #Constraints: 38625 778.18/780.21 c #Conflicts: 1020000 | #Constraints: 39626 778.18/780.21 c #Conflicts: 1021000 | #Constraints: 40626 778.18/780.21 c INPROCESSING 778.18/780.21 c GARBAGE COLLECT 778.18/780.21 c rational objective 51.598 812.10/814.28 c #Conflicts: 1022000 | #Constraints: 21620 812.10/814.28 c #Conflicts: 1023000 | #Constraints: 22620 812.10/814.28 c #Conflicts: 1024000 | #Constraints: 23620 812.10/814.28 c #Conflicts: 1025000 | #Constraints: 24620 812.10/814.28 c #Conflicts: 1026000 | #Constraints: 25622 812.10/814.28 c #Conflicts: 1027000 | #Constraints: 26623 812.10/814.28 c #Conflicts: 1028000 | #Constraints: 27623 812.10/814.28 c #Conflicts: 1029000 | #Constraints: 28623 812.10/814.28 c #Conflicts: 1030000 | #Constraints: 29623 812.10/814.28 c #Conflicts: 1031000 | #Constraints: 30625 812.10/814.28 c #Conflicts: 1032000 | #Constraints: 31625 812.10/814.28 c #Conflicts: 1033000 | #Constraints: 32625 812.10/814.28 c #Conflicts: 1034000 | #Constraints: 33625 812.10/814.28 c #Conflicts: 1035000 | #Constraints: 34625 812.10/814.28 c #Conflicts: 1036000 | #Constraints: 35625 812.10/814.28 c #Conflicts: 1037000 | #Constraints: 36625 812.10/814.28 c #Conflicts: 1038000 | #Constraints: 37626 812.10/814.28 c #Conflicts: 1039000 | #Constraints: 38627 812.10/814.28 c #Conflicts: 1040000 | #Constraints: 39627 812.10/814.28 c #Conflicts: 1041000 | #Constraints: 40627 812.10/814.28 c INPROCESSING 812.10/814.28 c GARBAGE COLLECT 812.10/814.28 c rational objective 51.598 845.40/847.69 c #Conflicts: 1042000 | #Constraints: 21418 845.40/847.69 c #Conflicts: 1043000 | #Constraints: 22418 845.40/847.69 c #Conflicts: 1044000 | #Constraints: 23418 845.40/847.69 c #Conflicts: 1045000 | #Constraints: 24419 845.40/847.69 c #Conflicts: 1046000 | #Constraints: 25419 845.40/847.69 c #Conflicts: 1047000 | #Constraints: 26419 845.40/847.69 c #Conflicts: 1048000 | #Constraints: 27419 845.40/847.69 c #Conflicts: 1049000 | #Constraints: 28420 845.40/847.69 c #Conflicts: 1050000 | #Constraints: 29420 845.40/847.69 c #Conflicts: 1051000 | #Constraints: 30420 845.40/847.69 c #Conflicts: 1052000 | #Constraints: 31420 845.40/847.69 c #Conflicts: 1053000 | #Constraints: 32420 845.40/847.69 c #Conflicts: 1054000 | #Constraints: 33420 845.40/847.69 c #Conflicts: 1055000 | #Constraints: 34420 845.40/847.69 c #Conflicts: 1056000 | #Constraints: 35420 845.40/847.69 c #Conflicts: 1057000 | #Constraints: 36420 845.40/847.69 c #Conflicts: 1058000 | #Constraints: 37421 845.40/847.69 c #Conflicts: 1059000 | #Constraints: 38422 845.40/847.69 c #Conflicts: 1060000 | #Constraints: 39422 845.40/847.69 c #Conflicts: 1061000 | #Constraints: 40422 845.40/847.69 c #Conflicts: 1062000 | #Constraints: 41422 845.40/847.69 c INPROCESSING 845.40/847.69 c GARBAGE COLLECT 845.40/847.69 c rational objective 51.598 886.07/888.48 c #Conflicts: 1063000 | #Constraints: 22021 886.07/888.48 c #Conflicts: 1064000 | #Constraints: 23021 886.07/888.48 c #Conflicts: 1065000 | #Constraints: 24021 886.07/888.48 c #Conflicts: 1066000 | #Constraints: 25021 886.07/888.48 c #Conflicts: 1067000 | #Constraints: 26021 886.07/888.48 c #Conflicts: 1068000 | #Constraints: 27021 886.07/888.48 c #Conflicts: 1069000 | #Constraints: 28021 886.07/888.48 c #Conflicts: 1070000 | #Constraints: 29021 886.07/888.48 c #Conflicts: 1071000 | #Constraints: 30022 886.07/888.48 c #Conflicts: 1072000 | #Constraints: 31022 886.07/888.48 c #Conflicts: 1073000 | #Constraints: 32023 886.07/888.48 c #Conflicts: 1074000 | #Constraints: 33023 886.07/888.48 c #Conflicts: 1075000 | #Constraints: 34023 886.07/888.48 c #Conflicts: 1076000 | #Constraints: 35023 886.07/888.48 c #Conflicts: 1077000 | #Constraints: 36023 886.07/888.48 c #Conflicts: 1078000 | #Constraints: 37023 886.07/888.48 c #Conflicts: 1079000 | #Constraints: 38023 886.07/888.48 c #Conflicts: 1080000 | #Constraints: 39023 886.07/888.48 c #Conflicts: 1081000 | #Constraints: 40023 886.07/888.48 c #Conflicts: 1082000 | #Constraints: 41023 886.07/888.48 c #Conflicts: 1083000 | #Constraints: 42023 886.07/888.48 c INPROCESSING 886.07/888.48 c GARBAGE COLLECT 886.07/888.48 c rational objective 51.598 921.05/923.57 c #Conflicts: 1084000 | #Constraints: 22426 921.05/923.57 c #Conflicts: 1085000 | #Constraints: 23426 921.05/923.57 c #Conflicts: 1086000 | #Constraints: 24427 921.05/923.57 c #Conflicts: 1087000 | #Constraints: 25428 921.05/923.57 c #Conflicts: 1088000 | #Constraints: 26429 921.05/923.57 c #Conflicts: 1089000 | #Constraints: 27429 921.05/923.57 c #Conflicts: 1090000 | #Constraints: 28429 921.05/923.57 c #Conflicts: 1091000 | #Constraints: 29429 921.05/923.57 c #Conflicts: 1092000 | #Constraints: 30429 921.05/923.57 c #Conflicts: 1093000 | #Constraints: 31429 921.05/923.57 c #Conflicts: 1094000 | #Constraints: 32429 921.05/923.57 c #Conflicts: 1095000 | #Constraints: 33429 921.05/923.57 c #Conflicts: 1096000 | #Constraints: 34429 921.05/923.57 c #Conflicts: 1097000 | #Constraints: 35429 921.05/923.57 c #Conflicts: 1098000 | #Constraints: 36429 921.05/923.57 c #Conflicts: 1099000 | #Constraints: 37429 921.05/923.57 c #Conflicts: 1100000 | #Constraints: 38429 921.05/923.57 c #Conflicts: 1101000 | #Constraints: 39429 921.05/923.57 c #Conflicts: 1102000 | #Constraints: 40430 921.05/923.57 c #Conflicts: 1103000 | #Constraints: 41430 921.05/923.57 c #Conflicts: 1104000 | #Constraints: 42430 921.05/923.57 c INPROCESSING 921.05/923.57 c GARBAGE COLLECT 921.05/923.57 c rational objective 51.598 949.98/952.54 c #Conflicts: 1105000 | #Constraints: 22625 949.98/952.54 c #Conflicts: 1106000 | #Constraints: 23625 949.98/952.54 c #Conflicts: 1107000 | #Constraints: 24625 949.98/952.54 c #Conflicts: 1108000 | #Constraints: 25625 949.98/952.54 c #Conflicts: 1109000 | #Constraints: 26627 949.98/952.54 c #Conflicts: 1110000 | #Constraints: 27628 949.98/952.54 c #Conflicts: 1111000 | #Constraints: 28630 949.98/952.54 c #Conflicts: 1112000 | #Constraints: 29630 949.98/952.54 c #Conflicts: 1113000 | #Constraints: 30631 949.98/952.54 c #Conflicts: 1114000 | #Constraints: 31632 949.98/952.54 c #Conflicts: 1115000 | #Constraints: 32632 949.98/952.54 c #Conflicts: 1116000 | #Constraints: 33633 949.98/952.54 c #Conflicts: 1117000 | #Constraints: 34633 949.98/952.54 c #Conflicts: 1118000 | #Constraints: 35633 949.98/952.54 c #Conflicts: 1119000 | #Constraints: 36633 949.98/952.54 c #Conflicts: 1120000 | #Constraints: 37634 949.98/952.54 c #Conflicts: 1121000 | #Constraints: 38634 949.98/952.54 c #Conflicts: 1122000 | #Constraints: 39634 949.98/952.54 c #Conflicts: 1123000 | #Constraints: 40635 949.98/952.54 c #Conflicts: 1124000 | #Constraints: 41635 949.98/952.54 c #Conflicts: 1125000 | #Constraints: 42635 949.98/952.54 c INPROCESSING 949.98/952.54 c GARBAGE COLLECT 949.98/952.54 c rational objective 51.598 971.73/974.30 c #Conflicts: 1126000 | #Constraints: 22624 971.73/974.30 c #Conflicts: 1127000 | #Constraints: 23624 971.73/974.30 c #Conflicts: 1128000 | #Constraints: 24624 971.73/974.30 c #Conflicts: 1129000 | #Constraints: 25624 971.73/974.30 c #Conflicts: 1130000 | #Constraints: 26624 971.73/974.30 c #Conflicts: 1131000 | #Constraints: 27624 971.73/974.30 c #Conflicts: 1132000 | #Constraints: 28624 971.73/974.30 c #Conflicts: 1133000 | #Constraints: 29625 971.73/974.30 c #Conflicts: 1134000 | #Constraints: 30625 971.73/974.30 c #Conflicts: 1135000 | #Constraints: 31625 971.73/974.30 c #Conflicts: 1136000 | #Constraints: 32627 971.73/974.30 c #Conflicts: 1137000 | #Constraints: 33627 971.73/974.30 c #Conflicts: 1138000 | #Constraints: 34627 971.73/974.30 c #Conflicts: 1139000 | #Constraints: 35629 971.73/974.30 c #Conflicts: 1140000 | #Constraints: 36629 971.73/974.30 c #Conflicts: 1141000 | #Constraints: 37629 971.73/974.30 c #Conflicts: 1142000 | #Constraints: 38629 971.73/974.30 c #Conflicts: 1143000 | #Constraints: 39630 971.73/974.30 c #Conflicts: 1144000 | #Constraints: 40631 971.73/974.30 c #Conflicts: 1145000 | #Constraints: 41632 971.73/974.30 c #Conflicts: 1146000 | #Constraints: 42633 971.73/974.30 c INPROCESSING 971.73/974.30 c GARBAGE COLLECT 971.73/974.30 c rational objective 51.598 991.07/993.74 c #Conflicts: 1147000 | #Constraints: 22419 991.07/993.74 c #Conflicts: 1148000 | #Constraints: 23419 991.07/993.74 c #Conflicts: 1149000 | #Constraints: 24419 991.07/993.74 c #Conflicts: 1150000 | #Constraints: 25420 991.07/993.74 c #Conflicts: 1151000 | #Constraints: 26420 991.07/993.74 c #Conflicts: 1152000 | #Constraints: 27420 991.07/993.74 c #Conflicts: 1153000 | #Constraints: 28420 991.07/993.74 c #Conflicts: 1154000 | #Constraints: 29420 991.07/993.74 c #Conflicts: 1155000 | #Constraints: 30420 991.07/993.74 c #Conflicts: 1156000 | #Constraints: 31422 991.07/993.74 c #Conflicts: 1157000 | #Constraints: 32423 991.07/993.74 c #Conflicts: 1158000 | #Constraints: 33424 991.07/993.74 c #Conflicts: 1159000 | #Constraints: 34424 991.07/993.74 c #Conflicts: 1160000 | #Constraints: 35424 991.07/993.74 c #Conflicts: 1161000 | #Constraints: 36425 991.07/993.74 c #Conflicts: 1162000 | #Constraints: 37425 991.07/993.74 c #Conflicts: 1163000 | #Constraints: 38425 991.07/993.74 c #Conflicts: 1164000 | #Constraints: 39425 991.07/993.74 c #Conflicts: 1165000 | #Constraints: 40425 991.07/993.74 c #Conflicts: 1166000 | #Constraints: 41425 991.07/993.74 c #Conflicts: 1167000 | #Constraints: 42425 991.07/993.74 c #Conflicts: 1168000 | #Constraints: 43425 991.07/993.74 c INPROCESSING 991.07/993.74 c GARBAGE COLLECT 991.07/993.74 c rational objective 51.598 1014.81/1017.57 c #Conflicts: 1169000 | #Constraints: 23012 1014.81/1017.57 c #Conflicts: 1170000 | #Constraints: 24012 1014.81/1017.57 c #Conflicts: 1171000 | #Constraints: 25013 1014.81/1017.57 c #Conflicts: 1172000 | #Constraints: 26014 1014.81/1017.57 c #Conflicts: 1173000 | #Constraints: 27014 1014.81/1017.57 c #Conflicts: 1174000 | #Constraints: 28014 1014.81/1017.57 c #Conflicts: 1175000 | #Constraints: 29014 1014.81/1017.57 c #Conflicts: 1176000 | #Constraints: 30014 1014.81/1017.57 c #Conflicts: 1177000 | #Constraints: 31014 1014.81/1017.57 c #Conflicts: 1178000 | #Constraints: 32015 1014.81/1017.57 c #Conflicts: 1179000 | #Constraints: 33015 1014.81/1017.57 c #Conflicts: 1180000 | #Constraints: 34015 1014.81/1017.57 c #Conflicts: 1181000 | #Constraints: 35016 1014.81/1017.57 c #Conflicts: 1182000 | #Constraints: 36016 1014.81/1017.57 c #Conflicts: 1183000 | #Constraints: 37016 1014.81/1017.57 c #Conflicts: 1184000 | #Constraints: 38016 1014.81/1017.57 c #Conflicts: 1185000 | #Constraints: 39016 1014.81/1017.57 c #Conflicts: 1186000 | #Constraints: 40016 1014.81/1017.57 c #Conflicts: 1187000 | #Constraints: 41016 1014.81/1017.57 c #Conflicts: 1188000 | #Constraints: 42017 1014.81/1017.57 c #Conflicts: 1189000 | #Constraints: 43018 1014.81/1017.57 c #Conflicts: 1190000 | #Constraints: 44018 1014.81/1017.57 c INPROCESSING 1014.81/1017.57 c GARBAGE COLLECT 1014.81/1017.57 c rational objective 51.598 1040.24/1043.05 c #Conflicts: 1191000 | #Constraints: 23412 1040.24/1043.05 c #Conflicts: 1192000 | #Constraints: 24412 1040.24/1043.05 c #Conflicts: 1193000 | #Constraints: 25413 1040.24/1043.05 c #Conflicts: 1194000 | #Constraints: 26413 1040.24/1043.05 c #Conflicts: 1195000 | #Constraints: 27413 1040.24/1043.05 c #Conflicts: 1196000 | #Constraints: 28415 1040.24/1043.05 c #Conflicts: 1197000 | #Constraints: 29416 1040.24/1043.05 c #Conflicts: 1198000 | #Constraints: 30418 1040.24/1043.05 c #Conflicts: 1199000 | #Constraints: 31418 1040.24/1043.05 c #Conflicts: 1200000 | #Constraints: 32420 1040.24/1043.05 c #Conflicts: 1201000 | #Constraints: 33420 1040.24/1043.05 c #Conflicts: 1202000 | #Constraints: 34420 1040.24/1043.05 c #Conflicts: 1203000 | #Constraints: 35420 1040.24/1043.05 c #Conflicts: 1204000 | #Constraints: 36420 1040.24/1043.05 c #Conflicts: 1205000 | #Constraints: 37420 1040.24/1043.05 c #Conflicts: 1206000 | #Constraints: 38420 1040.24/1043.05 c #Conflicts: 1207000 | #Constraints: 39420 1040.24/1043.05 c #Conflicts: 1208000 | #Constraints: 40420 1040.24/1043.05 c #Conflicts: 1209000 | #Constraints: 41420 1040.24/1043.05 c #Conflicts: 1210000 | #Constraints: 42420 1040.24/1043.05 c #Conflicts: 1211000 | #Constraints: 43420 1040.24/1043.05 c #Conflicts: 1212000 | #Constraints: 44421 1040.24/1043.05 c INPROCESSING 1040.24/1043.05 c GARBAGE COLLECT 1040.24/1043.05 c rational objective 51.598 1062.48/1065.34 c #Conflicts: 1213000 | #Constraints: 23618 1062.48/1065.34 c #Conflicts: 1214000 | #Constraints: 24618 1062.48/1065.34 c #Conflicts: 1215000 | #Constraints: 25618 1062.48/1065.34 c #Conflicts: 1216000 | #Constraints: 26619 1062.48/1065.34 c #Conflicts: 1217000 | #Constraints: 27619 1062.48/1065.34 c #Conflicts: 1218000 | #Constraints: 28619 1062.48/1065.34 c #Conflicts: 1219000 | #Constraints: 29619 1062.48/1065.34 c #Conflicts: 1220000 | #Constraints: 30619 1062.48/1065.34 c #Conflicts: 1221000 | #Constraints: 31620 1062.48/1065.34 c #Conflicts: 1222000 | #Constraints: 32620 1062.48/1065.34 c #Conflicts: 1223000 | #Constraints: 33620 1062.48/1065.34 c #Conflicts: 1224000 | #Constraints: 34621 1062.48/1065.34 c #Conflicts: 1225000 | #Constraints: 35621 1062.48/1065.34 c #Conflicts: 1226000 | #Constraints: 36621 1062.48/1065.34 c #Conflicts: 1227000 | #Constraints: 37622 1062.48/1065.34 c #Conflicts: 1228000 | #Constraints: 38622 1062.48/1065.34 c #Conflicts: 1229000 | #Constraints: 39623 1062.48/1065.34 c #Conflicts: 1230000 | #Constraints: 40625 1062.48/1065.34 c #Conflicts: 1231000 | #Constraints: 41626 1062.48/1065.34 c #Conflicts: 1232000 | #Constraints: 42626 1062.48/1065.34 c #Conflicts: 1233000 | #Constraints: 43626 1062.48/1065.34 c #Conflicts: 1234000 | #Constraints: 44627 1062.48/1065.34 c INPROCESSING 1062.48/1065.34 c GARBAGE COLLECT 1062.48/1065.34 c rational objective 51.598 1086.41/1089.35 c #Conflicts: 1235000 | #Constraints: 23610 1086.41/1089.35 c #Conflicts: 1236000 | #Constraints: 24610 1086.41/1089.35 c #Conflicts: 1237000 | #Constraints: 25610 1086.41/1089.35 c #Conflicts: 1238000 | #Constraints: 26610 1086.41/1089.35 c #Conflicts: 1239000 | #Constraints: 27610 1086.41/1089.35 c #Conflicts: 1240000 | #Constraints: 28611 1086.41/1089.35 c #Conflicts: 1241000 | #Constraints: 29611 1086.41/1089.35 c #Conflicts: 1242000 | #Constraints: 30612 1086.41/1089.35 c #Conflicts: 1243000 | #Constraints: 31612 1086.41/1089.35 c #Conflicts: 1244000 | #Constraints: 32612 1086.41/1089.35 c #Conflicts: 1245000 | #Constraints: 33612 1086.41/1089.35 c #Conflicts: 1246000 | #Constraints: 34612 1086.41/1089.35 c #Conflicts: 1247000 | #Constraints: 35613 1086.41/1089.35 c #Conflicts: 1248000 | #Constraints: 36613 1086.41/1089.35 c #Conflicts: 1249000 | #Constraints: 37613 1086.41/1089.35 c #Conflicts: 1250000 | #Constraints: 38613 1086.41/1089.35 c #Conflicts: 1251000 | #Constraints: 39613 1086.41/1089.35 c #Conflicts: 1252000 | #Constraints: 40613 1086.41/1089.35 c #Conflicts: 1253000 | #Constraints: 41614 1086.41/1089.35 c #Conflicts: 1254000 | #Constraints: 42614 1086.41/1089.35 c #Conflicts: 1255000 | #Constraints: 43615 1086.41/1089.35 c #Conflicts: 1256000 | #Constraints: 44616 1086.41/1089.35 c INPROCESSING 1086.41/1089.35 c GARBAGE COLLECT 1086.41/1089.35 c rational objective 51.598 1111.15/1114.13 c #Conflicts: 1257000 | #Constraints: 23403 1111.15/1114.13 c #Conflicts: 1258000 | #Constraints: 24403 1111.15/1114.13 c #Conflicts: 1259000 | #Constraints: 25404 1111.15/1114.13 c #Conflicts: 1260000 | #Constraints: 26404 1111.15/1114.13 c #Conflicts: 1261000 | #Constraints: 27405 1111.15/1114.13 c #Conflicts: 1262000 | #Constraints: 28406 1111.15/1114.13 c #Conflicts: 1263000 | #Constraints: 29406 1111.15/1114.13 c #Conflicts: 1264000 | #Constraints: 30408 1111.15/1114.13 c #Conflicts: 1265000 | #Constraints: 31408 1111.15/1114.13 c #Conflicts: 1266000 | #Constraints: 32408 1111.15/1114.13 c #Conflicts: 1267000 | #Constraints: 33409 1111.15/1114.13 c #Conflicts: 1268000 | #Constraints: 34411 1111.15/1114.13 c #Conflicts: 1269000 | #Constraints: 35412 1111.15/1114.13 c #Conflicts: 1270000 | #Constraints: 36413 1111.15/1114.13 c #Conflicts: 1271000 | #Constraints: 37414 1111.15/1114.13 c #Conflicts: 1272000 | #Constraints: 38414 1111.15/1114.13 c #Conflicts: 1273000 | #Constraints: 39416 1111.15/1114.13 c #Conflicts: 1274000 | #Constraints: 40417 1111.15/1114.13 c #Conflicts: 1275000 | #Constraints: 41418 1111.15/1114.13 c #Conflicts: 1276000 | #Constraints: 42419 1111.15/1114.13 c #Conflicts: 1277000 | #Constraints: 43419 1111.15/1114.13 c #Conflicts: 1278000 | #Constraints: 44419 1111.15/1114.13 c #Conflicts: 1279000 | #Constraints: 45420 1111.15/1114.13 c INPROCESSING 1111.15/1114.13 c GARBAGE COLLECT 1111.15/1114.13 c rational objective 51.6027 1134.08/1137.17 c #Conflicts: 1280000 | #Constraints: 24013 1134.08/1137.17 c #Conflicts: 1281000 | #Constraints: 25013 1134.08/1137.17 c #Conflicts: 1282000 | #Constraints: 26014 1134.08/1137.17 c #Conflicts: 1283000 | #Constraints: 27014 1134.08/1137.17 c #Conflicts: 1284000 | #Constraints: 28014 1134.08/1137.17 c #Conflicts: 1285000 | #Constraints: 29015 1134.08/1137.17 c #Conflicts: 1286000 | #Constraints: 30015 1134.08/1137.17 c #Conflicts: 1287000 | #Constraints: 31015 1134.08/1137.17 c #Conflicts: 1288000 | #Constraints: 32016 1134.08/1137.17 c #Conflicts: 1289000 | #Constraints: 33016 1134.08/1137.17 c #Conflicts: 1290000 | #Constraints: 34017 1134.08/1137.17 c #Conflicts: 1291000 | #Constraints: 35017 1134.08/1137.17 c #Conflicts: 1292000 | #Constraints: 36017 1134.08/1137.17 c #Conflicts: 1293000 | #Constraints: 37017 1134.08/1137.17 c #Conflicts: 1294000 | #Constraints: 38017 1134.08/1137.17 c #Conflicts: 1295000 | #Constraints: 39017 1134.08/1137.17 c #Conflicts: 1296000 | #Constraints: 40017 1134.08/1137.17 c #Conflicts: 1297000 | #Constraints: 41018 1134.08/1137.17 c #Conflicts: 1298000 | #Constraints: 42019 1134.08/1137.17 c #Conflicts: 1299000 | #Constraints: 43019 1134.08/1137.17 c #Conflicts: 1300000 | #Constraints: 44019 1134.08/1137.17 c #Conflicts: 1301000 | #Constraints: 45020 1134.08/1137.17 c #Conflicts: 1302000 | #Constraints: 46020 1134.08/1137.17 c INPROCESSING 1134.08/1137.17 c GARBAGE COLLECT 1134.08/1137.17 c rational objective 51.6029 1162.20/1165.33 c #Conflicts: 1303000 | #Constraints: 24410 1162.20/1165.33 c #Conflicts: 1304000 | #Constraints: 25410 1162.20/1165.33 c #Conflicts: 1305000 | #Constraints: 26410 1162.20/1165.33 c #Conflicts: 1306000 | #Constraints: 27411 1162.20/1165.33 c #Conflicts: 1307000 | #Constraints: 28411 1162.20/1165.33 c #Conflicts: 1308000 | #Constraints: 29412 1162.20/1165.33 c #Conflicts: 1309000 | #Constraints: 30413 1162.20/1165.33 c #Conflicts: 1310000 | #Constraints: 31415 1162.20/1165.33 c #Conflicts: 1311000 | #Constraints: 32417 1162.20/1165.33 c #Conflicts: 1312000 | #Constraints: 33417 1162.20/1165.33 c #Conflicts: 1313000 | #Constraints: 34417 1162.20/1165.33 c #Conflicts: 1314000 | #Constraints: 35417 1162.20/1165.33 c #Conflicts: 1315000 | #Constraints: 36418 1162.20/1165.33 c #Conflicts: 1316000 | #Constraints: 37419 1162.20/1165.33 c #Conflicts: 1317000 | #Constraints: 38419 1162.20/1165.33 c #Conflicts: 1318000 | #Constraints: 39419 1162.20/1165.33 c #Conflicts: 1319000 | #Constraints: 40419 1162.20/1165.33 c #Conflicts: 1320000 | #Constraints: 41419 1162.20/1165.33 c #Conflicts: 1321000 | #Constraints: 42419 1162.20/1165.33 c #Conflicts: 1322000 | #Constraints: 43420 1162.20/1165.33 c #Conflicts: 1323000 | #Constraints: 44420 1162.20/1165.33 c #Conflicts: 1324000 | #Constraints: 45420 1162.20/1165.33 c #Conflicts: 1325000 | #Constraints: 46422 1162.20/1165.33 c INPROCESSING 1162.20/1165.33 c GARBAGE COLLECT 1162.20/1165.33 c rational objective 51.603 1190.99/1194.28 c #Conflicts: 1326000 | #Constraints: 24619 1190.99/1194.28 c #Conflicts: 1327000 | #Constraints: 25619 1190.99/1194.28 c #Conflicts: 1328000 | #Constraints: 26620 1190.99/1194.28 c #Conflicts: 1329000 | #Constraints: 27620 1190.99/1194.28 c #Conflicts: 1330000 | #Constraints: 28622 1190.99/1194.28 c #Conflicts: 1331000 | #Constraints: 29622 1190.99/1194.28 c #Conflicts: 1332000 | #Constraints: 30622 1190.99/1194.28 c #Conflicts: 1333000 | #Constraints: 31622 1190.99/1194.28 c #Conflicts: 1334000 | #Constraints: 32623 1190.99/1194.28 c #Conflicts: 1335000 | #Constraints: 33623 1190.99/1194.28 c #Conflicts: 1336000 | #Constraints: 34623 1190.99/1194.28 c #Conflicts: 1337000 | #Constraints: 35623 1190.99/1194.28 c #Conflicts: 1338000 | #Constraints: 36623 1190.99/1194.28 c #Conflicts: 1339000 | #Constraints: 37623 1190.99/1194.28 c #Conflicts: 1340000 | #Constraints: 38624 1190.99/1194.28 c #Conflicts: 1341000 | #Constraints: 39624 1190.99/1194.28 c #Conflicts: 1342000 | #Constraints: 40625 1190.99/1194.28 c #Conflicts: 1343000 | #Constraints: 41627 1190.99/1194.28 c #Conflicts: 1344000 | #Constraints: 42627 1190.99/1194.28 c #Conflicts: 1345000 | #Constraints: 43628 1190.99/1194.28 c #Conflicts: 1346000 | #Constraints: 44631 1190.99/1194.28 c #Conflicts: 1347000 | #Constraints: 45632 1190.99/1194.28 c #Conflicts: 1348000 | #Constraints: 46633 1190.99/1194.28 c INPROCESSING 1190.99/1194.28 c GARBAGE COLLECT 1190.99/1194.28 c rational objective 51.603 1225.49/1228.82 c #Conflicts: 1349000 | #Constraints: 24618 1225.49/1228.82 c #Conflicts: 1350000 | #Constraints: 25618 1225.49/1228.82 c #Conflicts: 1351000 | #Constraints: 26618 1225.49/1228.82 c #Conflicts: 1352000 | #Constraints: 27619 1225.49/1228.82 c #Conflicts: 1353000 | #Constraints: 28619 1225.49/1228.82 c #Conflicts: 1354000 | #Constraints: 29619 1225.49/1228.82 c #Conflicts: 1355000 | #Constraints: 30619 1225.49/1228.82 c #Conflicts: 1356000 | #Constraints: 31619 1225.49/1228.82 c #Conflicts: 1357000 | #Constraints: 32619 1225.49/1228.82 c #Conflicts: 1358000 | #Constraints: 33619 1225.49/1228.82 c #Conflicts: 1359000 | #Constraints: 34619 1225.49/1228.82 c #Conflicts: 1360000 | #Constraints: 35619 1225.49/1228.82 c #Conflicts: 1361000 | #Constraints: 36619 1225.49/1228.82 c #Conflicts: 1362000 | #Constraints: 37619 1225.49/1228.82 c #Conflicts: 1363000 | #Constraints: 38621 1225.49/1228.82 c #Conflicts: 1364000 | #Constraints: 39621 1225.49/1228.82 c #Conflicts: 1365000 | #Constraints: 40621 1225.49/1228.82 c #Conflicts: 1366000 | #Constraints: 41622 1225.49/1228.82 c #Conflicts: 1367000 | #Constraints: 42623 1225.49/1228.82 c #Conflicts: 1368000 | #Constraints: 43623 1225.49/1228.82 c #Conflicts: 1369000 | #Constraints: 44623 1225.49/1228.82 c #Conflicts: 1370000 | #Constraints: 45623 1225.49/1228.82 c #Conflicts: 1371000 | #Constraints: 46624 1225.49/1228.82 c INPROCESSING 1225.49/1228.82 c GARBAGE COLLECT 1225.49/1228.82 c rational objective 51.603 1250.22/1253.62 c #Conflicts: 1372000 | #Constraints: 24422 1250.22/1253.62 c #Conflicts: 1373000 | #Constraints: 25423 1250.22/1253.62 c #Conflicts: 1374000 | #Constraints: 26423 1250.22/1253.62 c #Conflicts: 1375000 | #Constraints: 27423 1250.22/1253.62 c #Conflicts: 1376000 | #Constraints: 28424 1250.22/1253.62 c #Conflicts: 1377000 | #Constraints: 29424 1250.22/1253.62 c #Conflicts: 1378000 | #Constraints: 30425 1250.22/1253.62 c #Conflicts: 1379000 | #Constraints: 31426 1250.22/1253.62 c #Conflicts: 1380000 | #Constraints: 32426 1250.22/1253.62 c #Conflicts: 1381000 | #Constraints: 33427 1250.22/1253.62 c #Conflicts: 1382000 | #Constraints: 34427 1250.22/1253.62 c #Conflicts: 1383000 | #Constraints: 35427 1250.22/1253.62 c #Conflicts: 1384000 | #Constraints: 36427 1250.22/1253.62 c #Conflicts: 1385000 | #Constraints: 37427 1250.22/1253.62 c #Conflicts: 1386000 | #Constraints: 38428 1250.22/1253.62 c #Conflicts: 1387000 | #Constraints: 39428 1250.22/1253.62 c #Conflicts: 1388000 | #Constraints: 40428 1250.22/1253.62 c #Conflicts: 1389000 | #Constraints: 41429 1250.22/1253.62 c #Conflicts: 1390000 | #Constraints: 42429 1250.22/1253.62 c #Conflicts: 1391000 | #Constraints: 43431 1250.22/1253.62 c #Conflicts: 1392000 | #Constraints: 44433 1250.22/1253.62 c #Conflicts: 1393000 | #Constraints: 45433 1250.22/1253.62 c #Conflicts: 1394000 | #Constraints: 46433 1250.22/1253.62 c #Conflicts: 1395000 | #Constraints: 47433 1250.22/1253.62 c INPROCESSING 1250.22/1253.62 c GARBAGE COLLECT 1250.22/1253.62 c rational objective 51.603 1275.55/1279.07 c #Conflicts: 1396000 | #Constraints: 25019 1275.55/1279.07 c #Conflicts: 1397000 | #Constraints: 26020 1275.55/1279.07 c #Conflicts: 1398000 | #Constraints: 27021 1275.55/1279.07 c #Conflicts: 1399000 | #Constraints: 28021 1275.55/1279.07 c #Conflicts: 1400000 | #Constraints: 29021 1275.55/1279.07 c #Conflicts: 1401000 | #Constraints: 30021 1275.55/1279.07 c #Conflicts: 1402000 | #Constraints: 31022 1275.55/1279.07 c #Conflicts: 1403000 | #Constraints: 32023 1275.55/1279.07 c #Conflicts: 1404000 | #Constraints: 33023 1275.55/1279.07 c #Conflicts: 1405000 | #Constraints: 34023 1275.55/1279.07 c #Conflicts: 1406000 | #Constraints: 35023 1275.55/1279.07 c #Conflicts: 1407000 | #Constraints: 36023 1275.55/1279.07 c #Conflicts: 1408000 | #Constraints: 37023 1275.55/1279.07 c #Conflicts: 1409000 | #Constraints: 38023 1275.55/1279.07 c #Conflicts: 1410000 | #Constraints: 39023 1275.55/1279.07 c #Conflicts: 1411000 | #Constraints: 40023 1275.55/1279.07 c #Conflicts: 1412000 | #Constraints: 41023 1275.55/1279.07 c #Conflicts: 1413000 | #Constraints: 42023 1275.55/1279.07 c #Conflicts: 1414000 | #Constraints: 43023 1275.55/1279.07 c #Conflicts: 1415000 | #Constraints: 44023 1275.55/1279.07 c #Conflicts: 1416000 | #Constraints: 45023 1275.55/1279.07 c #Conflicts: 1417000 | #Constraints: 46025 1275.55/1279.07 c #Conflicts: 1418000 | #Constraints: 47027 1275.55/1279.07 c #Conflicts: 1419000 | #Constraints: 48027 1275.55/1279.07 c INPROCESSING 1275.55/1279.07 c GARBAGE COLLECT 1275.55/1279.07 c rational objective 51.603 1304.47/1308.00 c #Conflicts: 1420000 | #Constraints: 25424 1304.47/1308.00 c #Conflicts: 1421000 | #Constraints: 26424 1304.47/1308.00 c #Conflicts: 1422000 | #Constraints: 27426 1304.47/1308.00 c #Conflicts: 1423000 | #Constraints: 28426 1304.47/1308.00 c #Conflicts: 1424000 | #Constraints: 29428 1304.47/1308.00 c #Conflicts: 1425000 | #Constraints: 30430 1304.47/1308.00 c #Conflicts: 1426000 | #Constraints: 31431 1304.47/1308.00 c #Conflicts: 1427000 | #Constraints: 32432 1304.47/1308.00 c #Conflicts: 1428000 | #Constraints: 33432 1304.47/1308.00 c #Conflicts: 1429000 | #Constraints: 34432 1304.47/1308.00 c #Conflicts: 1430000 | #Constraints: 35434 1304.47/1308.00 c #Conflicts: 1431000 | #Constraints: 36435 1304.47/1308.00 c #Conflicts: 1432000 | #Constraints: 37435 1304.47/1308.00 c #Conflicts: 1433000 | #Constraints: 38435 1304.47/1308.00 c #Conflicts: 1434000 | #Constraints: 39435 1304.47/1308.00 c #Conflicts: 1435000 | #Constraints: 40435 1304.47/1308.00 c #Conflicts: 1436000 | #Constraints: 41435 1304.47/1308.00 c #Conflicts: 1437000 | #Constraints: 42435 1304.47/1308.00 c #Conflicts: 1438000 | #Constraints: 43436 1304.47/1308.00 c #Conflicts: 1439000 | #Constraints: 44437 1304.47/1308.00 c #Conflicts: 1440000 | #Constraints: 45437 1304.47/1308.00 c #Conflicts: 1441000 | #Constraints: 46437 1304.47/1308.00 c #Conflicts: 1442000 | #Constraints: 47438 1304.47/1308.00 c #Conflicts: 1443000 | #Constraints: 48438 1304.47/1308.00 c INPROCESSING 1304.47/1308.00 c GARBAGE COLLECT 1304.47/1308.00 c rational objective 51.603 1340.67/1344.38 c #Conflicts: 1444000 | #Constraints: 25623 1340.67/1344.38 c #Conflicts: 1445000 | #Constraints: 26624 1340.67/1344.38 c #Conflicts: 1446000 | #Constraints: 27624 1340.67/1344.38 c #Conflicts: 1447000 | #Constraints: 28624 1340.67/1344.38 c #Conflicts: 1448000 | #Constraints: 29624 1340.67/1344.38 c #Conflicts: 1449000 | #Constraints: 30624 1340.67/1344.38 c #Conflicts: 1450000 | #Constraints: 31625 1340.67/1344.38 c #Conflicts: 1451000 | #Constraints: 32627 1340.67/1344.38 c #Conflicts: 1452000 | #Constraints: 33628 1340.67/1344.38 c #Conflicts: 1453000 | #Constraints: 34628 1340.67/1344.38 c #Conflicts: 1454000 | #Constraints: 35628 1340.67/1344.38 c #Conflicts: 1455000 | #Constraints: 36628 1340.67/1344.38 c #Conflicts: 1456000 | #Constraints: 37628 1340.67/1344.38 c #Conflicts: 1457000 | #Constraints: 38628 1340.67/1344.38 c #Conflicts: 1458000 | #Constraints: 39628 1340.67/1344.38 c #Conflicts: 1459000 | #Constraints: 40628 1340.67/1344.38 c #Conflicts: 1460000 | #Constraints: 41628 1340.67/1344.38 c #Conflicts: 1461000 | #Constraints: 42628 1340.67/1344.38 c #Conflicts: 1462000 | #Constraints: 43628 1340.67/1344.38 c #Conflicts: 1463000 | #Constraints: 44628 1340.67/1344.38 c #Conflicts: 1464000 | #Constraints: 45630 1340.67/1344.38 c #Conflicts: 1465000 | #Constraints: 46630 1340.67/1344.38 c #Conflicts: 1466000 | #Constraints: 47631 1340.67/1344.38 c #Conflicts: 1467000 | #Constraints: 48631 1340.67/1344.38 c INPROCESSING 1340.67/1344.38 c GARBAGE COLLECT 1340.67/1344.38 c rational objective 51.603 1370.89/1374.67 c #Conflicts: 1468000 | #Constraints: 25620 1370.89/1374.67 c #Conflicts: 1469000 | #Constraints: 26620 1370.89/1374.67 c #Conflicts: 1470000 | #Constraints: 27620 1370.89/1374.67 c #Conflicts: 1471000 | #Constraints: 28620 1370.89/1374.67 c #Conflicts: 1472000 | #Constraints: 29621 1370.89/1374.67 c #Conflicts: 1473000 | #Constraints: 30621 1370.89/1374.67 c #Conflicts: 1474000 | #Constraints: 31621 1370.89/1374.67 c #Conflicts: 1475000 | #Constraints: 32621 1370.89/1374.67 c #Conflicts: 1476000 | #Constraints: 33621 1370.89/1374.67 c #Conflicts: 1477000 | #Constraints: 34621 1370.89/1374.67 c #Conflicts: 1478000 | #Constraints: 35622 1370.89/1374.67 c #Conflicts: 1479000 | #Constraints: 36624 1370.89/1374.67 c #Conflicts: 1480000 | #Constraints: 37625 1370.89/1374.67 c #Conflicts: 1481000 | #Constraints: 38625 1370.89/1374.67 c #Conflicts: 1482000 | #Constraints: 39627 1370.89/1374.67 c #Conflicts: 1483000 | #Constraints: 40627 1370.89/1374.67 c #Conflicts: 1484000 | #Constraints: 41628 1370.89/1374.67 c #Conflicts: 1485000 | #Constraints: 42628 1370.89/1374.67 c #Conflicts: 1486000 | #Constraints: 43628 1370.89/1374.67 c #Conflicts: 1487000 | #Constraints: 44628 1370.89/1374.67 c #Conflicts: 1488000 | #Constraints: 45629 1370.89/1374.67 c #Conflicts: 1489000 | #Constraints: 46631 1370.89/1374.67 c #Conflicts: 1490000 | #Constraints: 47632 1370.89/1374.67 c #Conflicts: 1491000 | #Constraints: 48633 1370.89/1374.67 c INPROCESSING 1370.89/1374.67 c GARBAGE COLLECT 1370.89/1374.67 c rational objective 51.603 1399.32/1403.17 c #Conflicts: 1492000 | #Constraints: 25421 1399.32/1403.17 c #Conflicts: 1493000 | #Constraints: 26422 1399.32/1403.17 c #Conflicts: 1494000 | #Constraints: 27422 1399.32/1403.17 c #Conflicts: 1495000 | #Constraints: 28422 1399.32/1403.17 c #Conflicts: 1496000 | #Constraints: 29423 1399.32/1403.17 c #Conflicts: 1497000 | #Constraints: 30426 1399.32/1403.17 c #Conflicts: 1498000 | #Constraints: 31426 1399.32/1403.17 c #Conflicts: 1499000 | #Constraints: 32426 1399.32/1403.17 c #Conflicts: 1500000 | #Constraints: 33428 1399.32/1403.17 c #Conflicts: 1501000 | #Constraints: 34429 1399.32/1403.17 c #Conflicts: 1502000 | #Constraints: 35429 1399.32/1403.17 c #Conflicts: 1503000 | #Constraints: 36429 1399.32/1403.17 c #Conflicts: 1504000 | #Constraints: 37430 1399.32/1403.17 c #Conflicts: 1505000 | #Constraints: 38430 1399.32/1403.17 c #Conflicts: 1506000 | #Constraints: 39431 1399.32/1403.17 c #Conflicts: 1507000 | #Constraints: 40432 1399.32/1403.17 c #Conflicts: 1508000 | #Constraints: 41432 1399.32/1403.17 c #Conflicts: 1509000 | #Constraints: 42432 1399.32/1403.17 c #Conflicts: 1510000 | #Constraints: 43433 1399.32/1403.17 c #Conflicts: 1511000 | #Constraints: 44434 1399.32/1403.17 c #Conflicts: 1512000 | #Constraints: 45435 1399.32/1403.17 c #Conflicts: 1513000 | #Constraints: 46436 1399.32/1403.17 c #Conflicts: 1514000 | #Constraints: 47438 1399.32/1403.17 c #Conflicts: 1515000 | #Constraints: 48438 1399.32/1403.17 c #Conflicts: 1516000 | #Constraints: 49438 1399.32/1403.17 c INPROCESSING 1399.32/1403.17 c GARBAGE COLLECT 1399.32/1403.17 c rational objective 51.603 1428.03/1431.93 c #Conflicts: 1517000 | #Constraints: 26030 1428.03/1431.93 c #Conflicts: 1518000 | #Constraints: 27030 1428.03/1431.93 c #Conflicts: 1519000 | #Constraints: 28030 1428.03/1431.93 c #Conflicts: 1520000 | #Constraints: 29031 1428.03/1431.93 c #Conflicts: 1521000 | #Constraints: 30031 1428.03/1431.93 c #Conflicts: 1522000 | #Constraints: 31031 1428.03/1431.93 c #Conflicts: 1523000 | #Constraints: 32032 1428.03/1431.93 c #Conflicts: 1524000 | #Constraints: 33034 1428.03/1431.93 c #Conflicts: 1525000 | #Constraints: 34035 1428.03/1431.93 c #Conflicts: 1526000 | #Constraints: 35035 1428.03/1431.93 c #Conflicts: 1527000 | #Constraints: 36035 1428.03/1431.93 c #Conflicts: 1528000 | #Constraints: 37035 1428.03/1431.93 c #Conflicts: 1529000 | #Constraints: 38035 1428.03/1431.93 c #Conflicts: 1530000 | #Constraints: 39035 1428.03/1431.93 c #Conflicts: 1531000 | #Constraints: 40035 1428.03/1431.93 c #Conflicts: 1532000 | #Constraints: 41035 1428.03/1431.93 c #Conflicts: 1533000 | #Constraints: 42036 1428.03/1431.93 c #Conflicts: 1534000 | #Constraints: 43036 1428.03/1431.93 c #Conflicts: 1535000 | #Constraints: 44036 1428.03/1431.93 c #Conflicts: 1536000 | #Constraints: 45037 1428.03/1431.93 c #Conflicts: 1537000 | #Constraints: 46038 1428.03/1431.93 c #Conflicts: 1538000 | #Constraints: 47039 1428.03/1431.93 c #Conflicts: 1539000 | #Constraints: 48039 1428.03/1431.93 c #Conflicts: 1540000 | #Constraints: 49039 1428.03/1431.93 c #Conflicts: 1541000 | #Constraints: 50039 1428.03/1431.93 c INPROCESSING 1428.03/1431.93 c GARBAGE COLLECT 1428.03/1431.93 c rational objective 51.603 1466.93/1470.98 c #Conflicts: 1542000 | #Constraints: 26425 1466.93/1470.98 c #Conflicts: 1543000 | #Constraints: 27425 1466.93/1470.98 c #Conflicts: 1544000 | #Constraints: 28425 1466.93/1470.98 c #Conflicts: 1545000 | #Constraints: 29425 1466.93/1470.98 c #Conflicts: 1546000 | #Constraints: 30425 1466.93/1470.98 c #Conflicts: 1547000 | #Constraints: 31425 1466.93/1470.98 c #Conflicts: 1548000 | #Constraints: 32425 1466.93/1470.98 c #Conflicts: 1549000 | #Constraints: 33425 1466.93/1470.98 c #Conflicts: 1550000 | #Constraints: 34426 1466.93/1470.98 c #Conflicts: 1551000 | #Constraints: 35426 1466.93/1470.98 c #Conflicts: 1552000 | #Constraints: 36427 1466.93/1470.98 c #Conflicts: 1553000 | #Constraints: 37427 1466.93/1470.98 c #Conflicts: 1554000 | #Constraints: 38428 1466.93/1470.98 c #Conflicts: 1555000 | #Constraints: 39429 1466.93/1470.98 c #Conflicts: 1556000 | #Constraints: 40430 1466.93/1470.98 c #Conflicts: 1557000 | #Constraints: 41430 1466.93/1470.98 c #Conflicts: 1558000 | #Constraints: 42430 1466.93/1470.98 c #Conflicts: 1559000 | #Constraints: 43430 1466.93/1470.98 c #Conflicts: 1560000 | #Constraints: 44433 1466.93/1470.98 c #Conflicts: 1561000 | #Constraints: 45434 1466.93/1470.98 c #Conflicts: 1562000 | #Constraints: 46435 1466.93/1470.98 c #Conflicts: 1563000 | #Constraints: 47435 1466.93/1470.98 c #Conflicts: 1564000 | #Constraints: 48435 1466.93/1470.98 c #Conflicts: 1565000 | #Constraints: 49436 1466.93/1470.98 c #Conflicts: 1566000 | #Constraints: 50436 1466.93/1470.98 c INPROCESSING 1466.93/1470.98 c GARBAGE COLLECT 1466.93/1470.98 c rational objective 51.603 1499.25/1503.31 c #Conflicts: 1567000 | #Constraints: 26625 1499.25/1503.31 c #Conflicts: 1568000 | #Constraints: 27626 1499.25/1503.31 c #Conflicts: 1569000 | #Constraints: 28627 1499.25/1503.31 c #Conflicts: 1570000 | #Constraints: 29627 1499.25/1503.31 c #Conflicts: 1571000 | #Constraints: 30627 1499.25/1503.31 c #Conflicts: 1572000 | #Constraints: 31627 1499.25/1503.31 c #Conflicts: 1573000 | #Constraints: 32627 1499.25/1503.31 c #Conflicts: 1574000 | #Constraints: 33629 1499.25/1503.31 c #Conflicts: 1575000 | #Constraints: 34630 1499.25/1503.31 c #Conflicts: 1576000 | #Constraints: 35631 1499.25/1503.31 c #Conflicts: 1577000 | #Constraints: 36631 1499.25/1503.31 c #Conflicts: 1578000 | #Constraints: 37631 1499.25/1503.31 c #Conflicts: 1579000 | #Constraints: 38631 1499.25/1503.31 c #Conflicts: 1580000 | #Constraints: 39631 1499.25/1503.31 c #Conflicts: 1581000 | #Constraints: 40631 1499.25/1503.31 c #Conflicts: 1582000 | #Constraints: 41631 1499.25/1503.31 c #Conflicts: 1583000 | #Constraints: 42631 1499.25/1503.31 c #Conflicts: 1584000 | #Constraints: 43631 1499.25/1503.31 c #Conflicts: 1585000 | #Constraints: 44631 1499.25/1503.31 c #Conflicts: 1586000 | #Constraints: 45631 1499.25/1503.31 c #Conflicts: 1587000 | #Constraints: 46631 1499.25/1503.31 c #Conflicts: 1588000 | #Constraints: 47631 1499.25/1503.31 c #Conflicts: 1589000 | #Constraints: 48631 1499.25/1503.31 c #Conflicts: 1590000 | #Constraints: 49632 1499.25/1503.31 c #Conflicts: 1591000 | #Constraints: 50632 1499.25/1503.31 c INPROCESSING 1499.25/1503.31 c GARBAGE COLLECT 1499.25/1503.31 c rational objective 51.603 1540.23/1544.49 c #Conflicts: 1592000 | #Constraints: 26627 1540.23/1544.49 c #Conflicts: 1593000 | #Constraints: 27627 1540.23/1544.49 c #Conflicts: 1594000 | #Constraints: 28628 1540.23/1544.49 c #Conflicts: 1595000 | #Constraints: 29629 1540.23/1544.49 c #Conflicts: 1596000 | #Constraints: 30629 1540.23/1544.49 c #Conflicts: 1597000 | #Constraints: 31630 1540.23/1544.49 c #Conflicts: 1598000 | #Constraints: 32631 1540.23/1544.49 c #Conflicts: 1599000 | #Constraints: 33631 1540.23/1544.49 c #Conflicts: 1600000 | #Constraints: 34631 1540.23/1544.49 c #Conflicts: 1601000 | #Constraints: 35631 1540.23/1544.49 c #Conflicts: 1602000 | #Constraints: 36631 1540.23/1544.49 c #Conflicts: 1603000 | #Constraints: 37631 1540.23/1544.49 c #Conflicts: 1604000 | #Constraints: 38631 1540.23/1544.49 c #Conflicts: 1605000 | #Constraints: 39631 1540.23/1544.49 c #Conflicts: 1606000 | #Constraints: 40631 1540.23/1544.49 c #Conflicts: 1607000 | #Constraints: 41631 1540.23/1544.49 c #Conflicts: 1608000 | #Constraints: 42631 1540.23/1544.49 c #Conflicts: 1609000 | #Constraints: 43631 1540.23/1544.49 c #Conflicts: 1610000 | #Constraints: 44631 1540.23/1544.49 c #Conflicts: 1611000 | #Constraints: 45631 1540.23/1544.49 c #Conflicts: 1612000 | #Constraints: 46631 1540.23/1544.49 c #Conflicts: 1613000 | #Constraints: 47631 1540.23/1544.49 c #Conflicts: 1614000 | #Constraints: 48631 1540.23/1544.49 c #Conflicts: 1615000 | #Constraints: 49631 1540.23/1544.49 c #Conflicts: 1616000 | #Constraints: 50631 1540.23/1544.49 c INPROCESSING 1540.23/1544.49 c GARBAGE COLLECT 1540.23/1544.49 c rational objective 51.6042 1577.75/1582.04 c #Conflicts: 1617000 | #Constraints: 26426 1577.75/1582.04 c #Conflicts: 1618000 | #Constraints: 27426 1577.75/1582.04 c #Conflicts: 1619000 | #Constraints: 28426 1577.75/1582.04 c #Conflicts: 1620000 | #Constraints: 29426 1577.75/1582.04 c #Conflicts: 1621000 | #Constraints: 30426 1577.75/1582.04 c #Conflicts: 1622000 | #Constraints: 31427 1577.75/1582.04 c #Conflicts: 1623000 | #Constraints: 32427 1577.75/1582.04 c #Conflicts: 1624000 | #Constraints: 33427 1577.75/1582.04 c #Conflicts: 1625000 | #Constraints: 34427 1577.75/1582.04 c #Conflicts: 1626000 | #Constraints: 35428 1577.75/1582.04 c #Conflicts: 1627000 | #Constraints: 36428 1577.75/1582.04 c #Conflicts: 1628000 | #Constraints: 37428 1577.75/1582.04 c #Conflicts: 1629000 | #Constraints: 38428 1577.75/1582.04 c #Conflicts: 1630000 | #Constraints: 39429 1577.75/1582.04 c #Conflicts: 1631000 | #Constraints: 40429 1577.75/1582.04 c #Conflicts: 1632000 | #Constraints: 41429 1577.75/1582.04 c #Conflicts: 1633000 | #Constraints: 42429 1577.75/1582.04 c #Conflicts: 1634000 | #Constraints: 43430 1577.75/1582.04 c #Conflicts: 1635000 | #Constraints: 44430 1577.75/1582.04 c #Conflicts: 1636000 | #Constraints: 45430 1577.75/1582.04 c #Conflicts: 1637000 | #Constraints: 46430 1577.75/1582.04 c #Conflicts: 1638000 | #Constraints: 47430 1577.75/1582.04 c #Conflicts: 1639000 | #Constraints: 48430 1577.75/1582.04 c #Conflicts: 1640000 | #Constraints: 49430 1577.75/1582.04 c #Conflicts: 1641000 | #Constraints: 50430 1577.75/1582.04 c #Conflicts: 1642000 | #Constraints: 51430 1577.75/1582.04 c INPROCESSING 1577.75/1582.04 c GARBAGE COLLECT 1577.75/1582.04 c rational objective 51.6042 1587.61/1592.00 c #Conflicts: 1643000 | #Constraints: 27031 1587.61/1592.00 c #Conflicts: 1644000 | #Constraints: 28031 1587.61/1592.00 c #Conflicts: 1645000 | #Constraints: 29031 1587.61/1592.00 c #Conflicts: 1646000 | #Constraints: 30031 1587.61/1592.00 c #Conflicts: 1647000 | #Constraints: 31031 1587.61/1592.00 c #Conflicts: 1648000 | #Constraints: 32032 1587.61/1592.00 c #Conflicts: 1649000 | #Constraints: 33034 1587.61/1592.00 c #Conflicts: 1650000 | #Constraints: 34034 1587.61/1592.00 c #Conflicts: 1651000 | #Constraints: 35034 1587.61/1592.00 c #Conflicts: 1652000 | #Constraints: 36034 1587.61/1592.00 c cpu time 1572.06 s 1587.61/1592.00 c deterministic time 237753039320 2.38e+11 1587.61/1592.00 c optimization time 0.000163 s 1587.61/1592.00 c total solve time 1572.06 s 1587.61/1592.00 c core-guided solve time 0 s 1587.61/1592.00 c propagation time 1411.59 s 1587.61/1592.00 c conflict analysis time 118.97 s 1587.61/1592.00 c propagations 89490307 1587.61/1592.00 c resolve steps 27519028 1587.61/1592.00 c decisions 2502596 1587.61/1592.00 c conflicts 1652527 1587.61/1592.00 c restarts 3121 1587.61/1592.00 c inprocessing phases 119 1587.61/1592.00 c input clauses 558 1587.61/1592.00 c input cardinalities 2 1587.61/1592.00 c input general constraints 249 1587.61/1592.00 c input average constraint length 5.35 1587.61/1592.00 c input average constraint degree 2.42 1587.61/1592.00 c learned clauses 1376174 1587.61/1592.00 c learned cardinalities 1857 1587.61/1592.00 c learned general constraints 275135 1587.61/1592.00 c learned average constraint length 134.44 1587.61/1592.00 c learned average constraint degree 3283288.30 1587.61/1592.00 c watched constraints 274528 1587.61/1592.00 c counting constraints 856 1587.61/1592.00 c gcd simplifications 144144 1587.61/1592.00 c detected cardinalities 442 1587.61/1592.00 c weakened non-implied lits 24398168 1587.61/1592.00 c weakened non-implying lits 354798 1587.61/1592.00 c original variables 370 1587.61/1592.00 c clausal propagations 34243758 1587.61/1592.00 c cardinality propagations 1290579 1587.61/1592.00 c watched propagations 16160440 1587.61/1592.00 c counting propagations 35699162 1587.61/1592.00 c watch lookups 19389588561 1587.61/1592.00 c watch backjump lookups 7068566491 1587.61/1592.00 c watch checks 204732263828 1587.61/1592.00 c propagation checks 5767452412 1587.61/1592.00 c constraint additions 607296555 1587.61/1592.00 c trail pops 93644769 1587.61/1592.00 c formula constraints 809 1587.61/1592.00 c learned constraints 1651888 1587.61/1592.00 c bound constraints 0 1587.61/1592.00 c core-guided constraints 0 1587.61/1592.00 c encountered formula constraints 20285727 1587.61/1592.00 c encountered learned constraints 8884347 1587.61/1592.00 c encountered bound constraints 0 1587.61/1592.00 c encountered core-guided constraints 0 1587.61/1592.00 c LP total time 69.7973 s 1587.61/1592.00 c LP solve time 64.78 s 1587.61/1592.00 c LP constraints added 902 1587.61/1592.00 c LP constraints removed 78 1587.61/1592.00 c LP pivots internal 1652549 1587.61/1592.00 c LP pivots root 581251 1587.61/1592.00 c LP calls 7638 1587.61/1592.00 c LP optimalities 6995 1587.61/1592.00 c LP no pivot count 1 1587.61/1592.00 c LP infeasibilities 639 1587.61/1592.00 c LP valid Farkas constraints 639 1587.61/1592.00 c LP learned Farkas constraints 639 1587.61/1592.00 c LP basis resets 0 1587.61/1592.00 c LP cycling count 0 1587.61/1592.00 c LP singular count 0 1587.61/1592.00 c LP no primal count 0 1587.61/1592.00 c LP no farkas count 0 1587.61/1592.00 c LP other issue count 0 1587.61/1592.00 c LP Gomory cuts 0 1587.61/1592.00 c LP learned cuts 93 1587.61/1592.00 c LP deleted cuts 78 1587.61/1592.00 c LP encountered Gomory constraints 0 1587.61/1592.00 c LP encountered Farkas constraints 176 1587.61/1592.00 c LP encountered learned Farkas constraints 666 1587.61/1592.00 c CG auxiliary variables introduced 0 1587.61/1592.00 c CG solutions found 0 1587.61/1592.00 c CG cores constructed 0 1587.61/1592.00 c CG core cardinality constraints returned 0 1587.61/1592.00 c CG unit cores 0 1587.61/1592.00 c CG single cores 0 1587.61/1592.00 c CG blocks removed during cardinality reduction 0 1587.61/1592.00 c CG first core best 0 1587.61/1592.00 c CG decision core best 0 1587.61/1592.00 c CG core reduction tie 0 1587.61/1592.00 c CG core degree average 0.00 1587.61/1592.00 c CG core slack average 0.00 1587.61/1592.00 s SATISFIABLE 1587.61/1592.00 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 (63118 MiB free)
memory of node 1: 64473 MiB (63473 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462959-1722340800/watcher-4462959-1722340800 -o /tmp/evaluation-result-4462959-1722340800/solver-4462959-1722340800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6840 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462959-1722340800 --lp-cut-gomory=0 HOME/instance-4462959-1722340800.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=7050, runsolver pid=7047
[startup+0.100329 s]*
/proc/loadavg: 1.88 0.53 0.24 5/263 7051
/proc/meminfo: memFree=129628568/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=38864 memory=8512 CPUtime=0.07 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 616 0 0 0 7 0 0 0 20 0 1 0 679039 39796736 2128 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 9716 2128 1711 992 0 1574 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 8512 KiB
[startup+0.206035 s]*
/proc/loadavg: 1.88 0.53 0.24 5/263 7051
/proc/meminfo: memFree=129627668/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=38864 memory=9480 CPUtime=0.18 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 791 0 0 0 17 1 0 0 20 0 1 0 679039 39796736 2370 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 9716 2370 1758 992 0 1574 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38864 KiB
Current children cumulated memory: 9480 KiB
[startup+0.305979 s]*
/proc/loadavg: 1.88 0.53 0.24 5/263 7051
/proc/meminfo: memFree=129626376/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=39120 memory=10068 CPUtime=0.27 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 972 0 0 0 26 1 0 0 20 0 1 0 679039 40058880 2517 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 9780 2517 1758 992 0 1638 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 39120 KiB
Current children cumulated memory: 10068 KiB
[startup+0.700181 s]
/proc/loadavg: 1.88 0.53 0.24 5/263 7051
/proc/meminfo: memFree=129623968/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=39500 memory=13432 CPUtime=0.66 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 1260 0 0 0 63 3 0 0 20 0 1 0 679039 40448000 3358 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 9875 3358 1807 992 0 1733 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 39500 KiB
Current children cumulated memory: 13432 KiB
[startup+1.50019 s]
/proc/loadavg: 2.05 0.59 0.26 5/263 7051
/proc/meminfo: memFree=129617316/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=40192 memory=14144 CPUtime=1.46 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 1413 0 0 0 140 6 0 0 20 0 1 0 679039 41156608 3536 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 10048 3536 1839 992 0 1906 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 40192 KiB
Current children cumulated memory: 14144 KiB
[startup+3.10561 s]
/proc/loadavg: 2.05 0.59 0.26 5/263 7051
/proc/meminfo: memFree=129602956/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=40468 memory=14736 CPUtime=3.06 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 1523 0 0 0 293 13 0 0 20 0 1 0 679039 41439232 3684 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 10117 3684 1839 992 0 1975 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 40468 KiB
Current children cumulated memory: 14736 KiB
[startup+6.30023 s]
/proc/loadavg: 2.21 0.65 0.28 5/263 7051
/proc/meminfo: memFree=129571280/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=41180 memory=15456 CPUtime=6.25 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 1723 0 0 0 601 24 0 0 20 0 1 0 679039 42168320 3864 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 10295 3864 1839 992 0 2153 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 41180 KiB
Current children cumulated memory: 15456 KiB
[startup+12.7002 s]
/proc/loadavg: 2.35 0.70 0.30 5/263 7053
/proc/meminfo: memFree=129518064/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=44660 memory=16696 CPUtime=12.64 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 2090 0 0 0 1222 42 0 0 20 0 1 0 679039 45731840 4174 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 11165 4174 1839 992 0 3023 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 44660 KiB
Current children cumulated memory: 16696 KiB
[startup+25.5002 s]
/proc/loadavg: 2.61 0.81 0.34 5/263 7055
/proc/meminfo: memFree=129409872/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=46412 memory=20728 CPUtime=25.41 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 2791 0 0 0 2465 76 0 0 20 0 1 0 679039 47525888 5182 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 11603 5182 1839 992 0 3461 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 46412 KiB
Current children cumulated memory: 20728 KiB
[startup+51.1058 s]
/proc/loadavg: 3.21 1.13 0.46 5/267 7065
/proc/meminfo: memFree=129095468/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=51760 memory=22284 CPUtime=50.96 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 3464 0 0 0 4971 125 0 0 20 0 1 0 679039 53002240 5571 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 12940 5571 1839 992 0 4798 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 51760 KiB
Current children cumulated memory: 22284 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 1.62 0.67 5/265 7086
/proc/meminfo: memFree=128569916/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=53888 memory=26996 CPUtime=102.03 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 4400 0 0 0 9996 207 0 0 20 0 1 0 679039 55181312 6749 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 13472 6749 1839 992 0 5330 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 53888 KiB
Current children cumulated memory: 26996 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 2.08 0.88 5/265 7097
/proc/meminfo: memFree=127371636/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=55432 memory=29324 CPUtime=161.88 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 5885 0 0 0 15881 307 0 0 20 0 1 0 679039 56762368 7331 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 13858 7331 1839 992 0 5716 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 55432 KiB
Current children cumulated memory: 29324 KiB
[startup+222.3 s]
/proc/loadavg: 4.37 2.54 1.12 5/265 7107
/proc/meminfo: memFree=126968584/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=64264 memory=33876 CPUtime=221.74 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 7353 0 0 0 21787 387 0 0 20 0 1 0 679039 65806336 8469 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 16066 8469 1839 992 0 7924 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 64264 KiB
Current children cumulated memory: 33876 KiB
[startup+282.3 s]
/proc/loadavg: 4.33 2.85 1.32 5/263 7117
/proc/meminfo: memFree=125727988/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=64744 memory=34280 CPUtime=281.59 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 8049 0 0 0 27702 457 0 0 20 0 1 0 679039 66297856 8570 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 16186 8570 1839 992 0 8044 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 64744 KiB
Current children cumulated memory: 34280 KiB
[startup+342.3 s]
/proc/loadavg: 4.26 3.12 1.51 5/263 7127
/proc/meminfo: memFree=125338176/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=65108 memory=36820 CPUtime=341.44 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 8624 0 0 0 33620 524 0 0 20 0 1 0 679039 66670592 9205 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 16277 9205 1839 992 0 8135 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 65108 KiB
Current children cumulated memory: 36820 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.30 1.67 5/259 7138
/proc/meminfo: memFree=124833128/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=65236 memory=37140 CPUtime=401.3 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 9245 0 0 0 39542 588 0 0 20 0 1 0 679039 66801664 9285 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 16309 9285 1839 992 0 8167 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 65236 KiB
Current children cumulated memory: 37140 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.46 1.83 5/261 7152
/proc/meminfo: memFree=124317480/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=66140 memory=40052 CPUtime=461.14 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 9750 0 0 0 45461 653 0 0 20 0 1 0 679039 67727360 10013 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 16535 10013 1839 992 0 8393 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
/proc/loadavg: 4.11 4.12 3.13 5/261 7288
/proc/meminfo: memFree=118105792/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=84672 memory=52416 CPUtime=1179.11 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 15565 0 0 0 116649 1262 0 0 20 0 1 0 679039 86704128 13104 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21168 13104 1839 992 0 13026 0
Current children cumulated CPU time: 1179.11 s
Current children cumulated vsize: 84672 KiB
Current children cumulated memory: 52416 KiB
[startup+1242.3 s]
/proc/loadavg: 4.15 4.13 3.20 5/260 7300
/proc/meminfo: memFree=117569580/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=84676 memory=52428 CPUtime=1238.95 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 15906 0 0 0 122582 1313 0 0 20 0 1 0 679039 86708224 13107 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21169 13107 1839 992 0 13027 0
Current children cumulated CPU time: 1238.95 s
Current children cumulated vsize: 84676 KiB
Current children cumulated memory: 52428 KiB
[startup+1302.3 s]
/proc/loadavg: 4.10 4.12 3.26 5/260 7311
/proc/meminfo: memFree=117335124/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=84744 memory=52524 CPUtime=1298.79 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 16270 0 0 0 128518 1361 0 0 20 0 1 0 679039 86777856 13131 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21186 13131 1839 992 0 13044 0
Current children cumulated CPU time: 1298.79 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 52524 KiB
[startup+1362.3 s]
/proc/loadavg: 4.08 4.11 3.31 5/261 7325
/proc/meminfo: memFree=117116788/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=84940 memory=52732 CPUtime=1358.62 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 16667 0 0 0 134455 1407 0 0 20 0 1 0 679039 86978560 13183 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21235 13183 1839 992 0 13093 0
Current children cumulated CPU time: 1358.62 s
Current children cumulated vsize: 84940 KiB
Current children cumulated memory: 52732 KiB
[startup+1422.3 s]
/proc/loadavg: 4.13 4.12 3.37 5/261 7336
/proc/meminfo: memFree=116896760/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=85400 memory=53220 CPUtime=1418.45 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 17131 0 0 0 140388 1457 0 0 20 0 1 0 679039 87449600 13305 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21350 13305 1839 992 0 13208 0
Current children cumulated CPU time: 1418.45 s
Current children cumulated vsize: 85400 KiB
Current children cumulated memory: 53220 KiB
[startup+1482.3 s]
/proc/loadavg: 4.09 4.11 3.41 5/260 7346
/proc/meminfo: memFree=116716188/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=85852 memory=55740 CPUtime=1478.3 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 17596 0 0 0 146334 1496 0 0 20 0 1 0 679039 87912448 13935 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21463 13935 1839 992 0 13321 0
Current children cumulated CPU time: 1478.3 s
Current children cumulated vsize: 85852 KiB
Current children cumulated memory: 55740 KiB
[startup+1542.3 s]
/proc/loadavg: 4.14 4.12 3.46 5/261 7739
/proc/meminfo: memFree=116344948/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=85856 memory=55752 CPUtime=1538.14 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 17778 0 0 0 152280 1534 0 0 20 0 1 0 679039 87916544 13938 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21464 13938 1839 992 0 13322 0
Current children cumulated CPU time: 1538.14 s
Current children cumulated vsize: 85856 KiB
Current children cumulated memory: 55752 KiB
[startup+1592.03 s]
# the end of solver process 7050 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1572.06 s, system=15.6625 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1561.6 s]
/proc/loadavg: 4.11 4.11 3.47 5/261 7743
/proc/meminfo: memFree=116250560/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=86208 memory=56092 CPUtime=1557.39 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 18031 0 0 0 154193 1546 0 0 20 0 1 0 679039 88276992 14023 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21552 14023 1839 992 0 13410 0
Current children cumulated CPU time: 1557.39 s
Current children cumulated vsize: 86208 KiB
Current children cumulated memory: 56092 KiB
[startup+1574.4 s]
/proc/loadavg: 4.08 4.11 3.48 6/261 7745
/proc/meminfo: memFree=116193240/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=86208 memory=56092 CPUtime=1570.15 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 18041 0 0 0 155464 1551 0 0 20 0 1 0 679039 88276992 14023 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21552 14023 1839 992 0 13410 0
Current children cumulated CPU time: 1570.15 s
Current children cumulated vsize: 86208 KiB
Current children cumulated memory: 56092 KiB
[startup+1580.8 s]
/proc/loadavg: 4.08 4.10 3.49 5/261 7747
/proc/meminfo: memFree=116144436/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=86648 memory=56092 CPUtime=1576.54 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 18096 0 0 0 156099 1555 0 0 20 0 1 0 679039 88727552 14023 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21662 14023 1839 992 0 13520 0
Current children cumulated CPU time: 1576.54 s
Current children cumulated vsize: 86648 KiB
Current children cumulated memory: 56092 KiB
[startup+1587.2 s]
/proc/loadavg: 4.14 4.12 3.50 5/261 7748
/proc/meminfo: memFree=116081316/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=86848 memory=56660 CPUtime=1582.92 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 18317 0 0 0 156730 1562 0 0 20 0 1 0 679039 88932352 14165 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21712 14165 1839 992 0 13570 0
Current children cumulated CPU time: 1582.92 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 56660 KiB
[startup+1590.4 s]
/proc/loadavg: 4.14 4.12 3.50 5/261 7748
/proc/meminfo: memFree=116049564/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=86848 memory=56660 CPUtime=1586.12 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 18317 0 0 0 157048 1564 0 0 20 0 1 0 679039 88932352 14165 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21712 14165 1839 992 0 13570 0
Current children cumulated CPU time: 1586.12 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 56660 KiB
[startup+1591.2 s]
/proc/loadavg: 4.14 4.12 3.50 5/261 7748
/proc/meminfo: memFree=116040140/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=86848 memory=56660 CPUtime=1586.91 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 18317 0 0 0 157127 1564 0 0 20 0 1 0 679039 88932352 14165 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21712 14165 1839 992 0 13570 0
Current children cumulated CPU time: 1586.91 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 56660 KiB
[startup+1591.6 s]
/proc/loadavg: 4.14 4.12 3.50 5/261 7748
/proc/meminfo: memFree=116040140/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=86848 memory=56660 CPUtime=1587.31 cores=4,6
/proc/7050/stat : 7050 (roundingsat) R 7047 7050 6828 0 -1 4194304 18317 0 0 0 157166 1565 0 0 20 0 1 0 679039 88932352 14165 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21712 14165 1839 992 0 13570 0
Current children cumulated CPU time: 1587.31 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 56660 KiB
[startup+1592 s]*
/proc/loadavg: 4.13 4.11 3.50 5/261 7748
/proc/meminfo: memFree=116036028/131524600 swapFree=131071996/131071996
[pid=7050] ppid=7047 vsize=86848 memory=56660 CPUtime=1587.72 cores=4,6
/proc/7050/stat : 7050 (roundingsat) D 7047 7050 6828 0 -1 4194304 18317 0 0 0 157206 1566 0 0 20 0 1 0 679039 88932352 14165 134679101440 4194304 8255733 140727378349488 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27328512 140727378355038 140727378355300 140727378355300 140727378362313 0
/proc/7050/statm: 21712 14165 1839 992 0 13570 0
Current children cumulated CPU time: 1587.72 s
Current children cumulated vsize: 86848 KiB
Current children cumulated memory: 56660 KiB
Child status: 0
Real time (s): 1592.03
CPU time (s): 1587.72
CPU user time (s): 1572.06
CPU system time (s): 15.6625
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 86848
Max. memory (cumulated for all children) (KiB): 56660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1572.06
system time used= 15.6625
maximum resident set size= 57136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1918248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 3524
# summary of solver processes directly reported to runsolver:
# pid: 7050
# total CPU time (s): 1587.72
# total CPU user time (s): 1572.06
# total CPU system time (s): 15.6625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.91503 second user time and 6.70531 second system time
The end
Begin job on nodeC024 at 2024-07-30 14:00:00 IDJOB=4462959 IDBENCH=147865 IDSOLVER=3089 FILE ID=nodeC024/4462959-1722340800 RUNJOBID= nodeC024-1722340763-6840 SLURM_JOB_ID= 8248997 Free space on /tmp= 890064 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-4462959-1722340800/watcher-4462959-1722340800 -o /tmp/evaluation-result-4462959-1722340800/solver-4462959-1722340800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6840 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462959-1722340800 --lp-cut-gomory=0 HOME/instance-4462959-1722340800.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13744d26940a0db30366992d9fdeef8c RANDOM SEED=1429832398 nodeC024.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 : 3602.038 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.90 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 : 3684.492 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.73 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 : 3600.173 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.429 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.73 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 : 3600.032 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.90 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 : 3684.481 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.73 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 : 3601.710 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.297 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.73 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129632316 kB MemAvailable: 129474724 kB Buffers: 37772 kB Cached: 643552 kB SwapCached: 0 kB Active: 131812 kB Inactive: 1290712 kB Active(anon): 1552 kB Inactive(anon): 761052 kB Active(file): 130260 kB Inactive(file): 529660 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 7076 kB Writeback: 225396 kB AnonPages: 739424 kB Mapped: 97536 kB Shmem: 21336 kB KReclaimable: 44624 kB Slab: 128496 kB SReclaimable: 44624 kB SUnreclaim: 83872 kB KernelStack: 4192 kB PageTables: 10432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1076528 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 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: 160468 kB DirectMap2M: 5904384 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890056 MiB End job on nodeC024 at 2024-07-30 14:26:33