| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 3 | 3600.03 | 3609.21 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | d93197574d7bf829fc84498a7cd9d0ce |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3583.48 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 146 #constraints 12 0.00/0.00 c bounds - >= 0 @ 0.000491 0.00/0.00 c rational objective 0 0.21/0.23 c bounds 269 >= 0 @ 0.011034 0.21/0.23 c bounds 222 >= 0 @ 0.011235 0.21/0.23 c bounds 189 >= 0 @ 0.017866 0.21/0.23 c bounds 187 >= 0 @ 0.018859 0.21/0.23 c bounds 81 >= 0 @ 0.020247 0.21/0.23 c bounds 79 >= 0 @ 0.02115 0.21/0.23 c bounds 77 >= 0 @ 0.021239 0.21/0.23 c #Conflicts: 1000 | #Constraints: 1038 0.21/0.23 c #Conflicts: 2000 | #Constraints: 2045 0.21/0.23 c INPROCESSING 0.21/0.23 c GARBAGE COLLECT 0.21/0.23 c rational objective 0 0.52/0.59 c bounds 75 >= 0 @ 0.222484 0.52/0.59 c bounds 73 >= 0 @ 0.222972 0.52/0.59 c bounds 71 >= 0 @ 0.223326 0.52/0.59 c bounds 69 >= 0 @ 0.223848 0.52/0.59 c bounds 67 >= 0 @ 0.224162 0.52/0.59 c bounds 61 >= 0 @ 0.270048 0.52/0.59 c bounds 59 >= 0 @ 0.270605 0.52/0.59 c bounds 51 >= 0 @ 0.270613 0.52/0.59 c bounds 49 >= 0 @ 0.27091 0.52/0.59 c bounds 45 >= 0 @ 0.276717 0.52/0.59 c bounds 41 >= 0 @ 0.27717 0.52/0.59 c bounds 37 >= 0 @ 0.277809 0.52/0.59 c bounds 35 >= 0 @ 0.279372 0.52/0.59 c bounds 33 >= 0 @ 0.279963 0.52/0.59 c bounds 31 >= 0 @ 0.280997 0.52/0.59 c #Conflicts: 3000 | #Constraints: 2057 0.52/0.59 c bounds 29 >= 0 @ 0.400811 0.52/0.59 c #Conflicts: 4000 | #Constraints: 3064 0.52/0.59 c INPROCESSING 0.52/0.59 c GARBAGE COLLECT 0.52/0.59 c rational objective 0 1.00/1.05 c bounds 27 >= 0 @ 0.570012 1.00/1.05 c #Conflicts: 5000 | #Constraints: 2453 1.00/1.05 c bounds 25 >= 0 @ 0.701455 1.00/1.05 c #Conflicts: 6000 | #Constraints: 3462 1.00/1.05 c INPROCESSING 1.00/1.05 c GARBAGE COLLECT 1.00/1.05 c rational objective 0 1.59/1.62 c #Conflicts: 7000 | #Constraints: 2451 1.59/1.62 c bounds 24 >= 0 @ 1.13253 1.59/1.62 c bounds 22 >= 0 @ 1.13338 1.59/1.62 c #Conflicts: 8000 | #Constraints: 3459 1.59/1.62 c #Conflicts: 9000 | #Constraints: 4466 1.59/1.62 c INPROCESSING 1.59/1.62 c GARBAGE COLLECT 1.59/1.62 c rational objective 0 2.18/2.22 c #Conflicts: 10000 | #Constraints: 3152 2.18/2.22 c #Conflicts: 11000 | #Constraints: 4158 2.18/2.22 c #Conflicts: 12000 | #Constraints: 5163 2.18/2.22 c INPROCESSING 2.18/2.22 c GARBAGE COLLECT 2.18/2.22 c rational objective 0 2.88/2.96 c #Conflicts: 13000 | #Constraints: 3597 2.88/2.96 c #Conflicts: 14000 | #Constraints: 4601 2.88/2.96 c bounds 21 >= 0 @ 2.63214 2.88/2.96 c #Conflicts: 15000 | #Constraints: 5609 2.88/2.96 c INPROCESSING 2.88/2.96 c GARBAGE COLLECT 2.88/2.96 c rational objective 0 3.78/3.87 c #Conflicts: 16000 | #Constraints: 3822 3.78/3.87 c #Conflicts: 17000 | #Constraints: 4823 3.78/3.87 c #Conflicts: 18000 | #Constraints: 5824 3.78/3.87 c INPROCESSING 3.78/3.87 c GARBAGE COLLECT 3.78/3.87 c rational objective 0 4.78/4.87 c #Conflicts: 19000 | #Constraints: 3829 4.78/4.87 c bounds 19 >= 0 @ 3.97586 4.78/4.87 c #Conflicts: 20000 | #Constraints: 4838 4.78/4.87 c #Conflicts: 21000 | #Constraints: 5841 4.78/4.87 c INPROCESSING 4.78/4.87 c GARBAGE COLLECT 4.78/4.87 c rational objective 0 5.67/5.77 c #Conflicts: 22000 | #Constraints: 3643 5.67/5.77 c #Conflicts: 23000 | #Constraints: 4648 5.67/5.77 c #Conflicts: 24000 | #Constraints: 5653 5.67/5.77 c #Conflicts: 25000 | #Constraints: 6654 5.67/5.77 c INPROCESSING 5.67/5.77 c GARBAGE COLLECT 5.67/5.77 c rational objective 0 6.98/7.05 c bounds 18 >= 0 @ 5.82415 6.98/7.05 c #Conflicts: 26000 | #Constraints: 4243 6.98/7.05 c #Conflicts: 27000 | #Constraints: 5247 6.98/7.05 c #Conflicts: 28000 | #Constraints: 6249 6.98/7.05 c #Conflicts: 29000 | #Constraints: 7253 6.98/7.05 c INPROCESSING 6.98/7.05 c GARBAGE COLLECT 6.98/7.05 c rational objective 0 8.17/8.25 c #Conflicts: 30000 | #Constraints: 4648 8.17/8.25 c #Conflicts: 31000 | #Constraints: 5652 8.17/8.25 c #Conflicts: 32000 | #Constraints: 6655 8.17/8.25 c #Conflicts: 33000 | #Constraints: 7655 8.17/8.25 c INPROCESSING 8.17/8.25 c GARBAGE COLLECT 8.17/8.25 c rational objective 0 9.77/9.88 c #Conflicts: 34000 | #Constraints: 4847 9.77/9.88 c bounds 17 >= 0 @ 8.40359 9.77/9.88 c #Conflicts: 35000 | #Constraints: 5851 9.77/9.88 c #Conflicts: 36000 | #Constraints: 6852 9.77/9.88 c #Conflicts: 37000 | #Constraints: 7853 9.77/9.88 c INPROCESSING 9.77/9.88 c GARBAGE COLLECT 9.77/9.88 c rational objective 0 11.67/11.71 c bounds 15 >= 0 @ 9.61541 11.67/11.71 c #Conflicts: 38000 | #Constraints: 4847 11.67/11.71 c #Conflicts: 39000 | #Constraints: 5854 11.67/11.71 c #Conflicts: 40000 | #Constraints: 6857 11.67/11.71 c #Conflicts: 41000 | #Constraints: 7858 11.67/11.71 c INPROCESSING 11.67/11.71 c GARBAGE COLLECT 11.67/11.71 c rational objective 0 13.36/13.41 c #Conflicts: 42000 | #Constraints: 4646 13.36/13.41 c #Conflicts: 43000 | #Constraints: 5649 13.36/13.41 c #Conflicts: 44000 | #Constraints: 6651 13.36/13.41 c #Conflicts: 45000 | #Constraints: 7651 13.36/13.41 c #Conflicts: 46000 | #Constraints: 8653 13.36/13.41 c INPROCESSING 13.36/13.41 c GARBAGE COLLECT 13.36/13.41 c rational objective 0 15.55/15.67 c #Conflicts: 47000 | #Constraints: 5244 15.55/15.67 c #Conflicts: 48000 | #Constraints: 6246 15.55/15.67 c #Conflicts: 49000 | #Constraints: 7247 15.55/15.67 c #Conflicts: 50000 | #Constraints: 8250 15.55/15.67 c #Conflicts: 51000 | #Constraints: 9252 15.55/15.67 c INPROCESSING 15.55/15.67 c GARBAGE COLLECT 15.55/15.67 c rational objective 0 17.65/17.72 c #Conflicts: 52000 | #Constraints: 5649 17.65/17.72 c #Conflicts: 53000 | #Constraints: 6650 17.65/17.72 c #Conflicts: 54000 | #Constraints: 7651 17.65/17.72 c #Conflicts: 55000 | #Constraints: 8653 17.65/17.72 c #Conflicts: 56000 | #Constraints: 9654 17.65/17.72 c INPROCESSING 17.65/17.72 c GARBAGE COLLECT 17.65/17.72 c rational objective 0 19.85/20.00 c bounds 13 >= 0 @ 17.7704 19.85/20.00 c #Conflicts: 57000 | #Constraints: 5840 19.85/20.00 c #Conflicts: 58000 | #Constraints: 6845 19.85/20.00 c #Conflicts: 59000 | #Constraints: 7845 19.85/20.00 c #Conflicts: 60000 | #Constraints: 8845 19.85/20.00 c #Conflicts: 61000 | #Constraints: 9846 19.85/20.00 c INPROCESSING 19.85/20.00 c GARBAGE COLLECT 19.85/20.00 c rational objective 0 22.74/22.83 c #Conflicts: 62000 | #Constraints: 5840 22.74/22.83 c #Conflicts: 63000 | #Constraints: 6840 22.74/22.83 c bounds 11 >= 0 @ 20.4213 22.74/22.83 c #Conflicts: 64000 | #Constraints: 7842 22.74/22.83 c #Conflicts: 65000 | #Constraints: 8844 22.74/22.83 c #Conflicts: 66000 | #Constraints: 9849 22.74/22.83 c INPROCESSING 22.74/22.83 c GARBAGE COLLECT 22.74/22.83 c rational objective 0 25.23/25.36 c #Conflicts: 67000 | #Constraints: 5646 25.23/25.36 c #Conflicts: 68000 | #Constraints: 6647 25.23/25.36 c #Conflicts: 69000 | #Constraints: 7649 25.23/25.36 c #Conflicts: 70000 | #Constraints: 8650 25.23/25.36 c #Conflicts: 71000 | #Constraints: 9650 25.23/25.36 c #Conflicts: 72000 | #Constraints: 10650 25.23/25.36 c INPROCESSING 25.23/25.36 c GARBAGE COLLECT 25.23/25.36 c rational objective 0 28.82/28.92 c #Conflicts: 73000 | #Constraints: 6245 28.82/28.92 c #Conflicts: 74000 | #Constraints: 7248 28.82/28.92 c #Conflicts: 75000 | #Constraints: 8252 28.82/28.92 c #Conflicts: 76000 | #Constraints: 9258 28.82/28.92 c #Conflicts: 77000 | #Constraints: 10259 28.82/28.92 c #Conflicts: 78000 | #Constraints: 11260 28.82/28.92 c INPROCESSING 28.82/28.92 c GARBAGE COLLECT 28.82/28.92 c rational objective 0 32.11/32.29 c #Conflicts: 79000 | #Constraints: 6655 32.11/32.29 c #Conflicts: 80000 | #Constraints: 7657 32.11/32.29 c #Conflicts: 81000 | #Constraints: 8658 32.11/32.29 c #Conflicts: 82000 | #Constraints: 9658 32.11/32.29 c #Conflicts: 83000 | #Constraints: 10658 32.11/32.29 c #Conflicts: 84000 | #Constraints: 11658 32.11/32.29 c INPROCESSING 32.11/32.29 c GARBAGE COLLECT 32.11/32.29 c rational objective 0 36.41/36.53 c #Conflicts: 85000 | #Constraints: 6848 36.41/36.53 c #Conflicts: 86000 | #Constraints: 7850 36.41/36.53 c #Conflicts: 87000 | #Constraints: 8851 36.41/36.53 c #Conflicts: 88000 | #Constraints: 9851 36.41/36.53 c #Conflicts: 89000 | #Constraints: 10853 36.41/36.53 c #Conflicts: 90000 | #Constraints: 11854 36.41/36.53 c INPROCESSING 36.41/36.53 c GARBAGE COLLECT 36.41/36.53 c rational objective 0 40.29/40.42 c #Conflicts: 91000 | #Constraints: 6846 40.29/40.42 c #Conflicts: 92000 | #Constraints: 7846 40.29/40.42 c #Conflicts: 93000 | #Constraints: 8849 40.29/40.42 c #Conflicts: 94000 | #Constraints: 9850 40.29/40.42 c #Conflicts: 95000 | #Constraints: 10850 40.29/40.42 c #Conflicts: 96000 | #Constraints: 11852 40.29/40.42 c INPROCESSING 40.29/40.42 c GARBAGE COLLECT 40.29/40.42 c rational objective 0 44.90/45.08 c #Conflicts: 97000 | #Constraints: 6643 44.90/45.08 c #Conflicts: 98000 | #Constraints: 7644 44.90/45.08 c #Conflicts: 99000 | #Constraints: 8645 44.90/45.08 c #Conflicts: 100000 | #Constraints: 9645 44.90/45.08 c #Conflicts: 101000 | #Constraints: 10645 44.90/45.08 c #Conflicts: 102000 | #Constraints: 11645 44.90/45.08 c #Conflicts: 103000 | #Constraints: 12648 44.90/45.08 c INPROCESSING 44.90/45.08 c GARBAGE COLLECT 44.90/45.08 c rational objective 0 48.77/48.93 c #Conflicts: 104000 | #Constraints: 7243 48.77/48.93 c #Conflicts: 105000 | #Constraints: 8243 48.77/48.93 c #Conflicts: 106000 | #Constraints: 9244 48.77/48.93 c #Conflicts: 107000 | #Constraints: 10245 48.77/48.93 c #Conflicts: 108000 | #Constraints: 11245 48.77/48.93 c #Conflicts: 109000 | #Constraints: 12245 48.77/48.93 c #Conflicts: 110000 | #Constraints: 13246 48.77/48.93 c INPROCESSING 48.77/48.93 c GARBAGE COLLECT 48.77/48.93 c rational objective 0 53.06/53.20 c #Conflicts: 111000 | #Constraints: 7640 53.06/53.20 c #Conflicts: 112000 | #Constraints: 8640 53.06/53.20 c #Conflicts: 113000 | #Constraints: 9640 53.06/53.20 c #Conflicts: 114000 | #Constraints: 10640 53.06/53.20 c #Conflicts: 115000 | #Constraints: 11642 53.06/53.20 c #Conflicts: 116000 | #Constraints: 12643 53.06/53.20 c #Conflicts: 117000 | #Constraints: 13643 53.06/53.20 c INPROCESSING 53.06/53.20 c GARBAGE COLLECT 53.06/53.20 c rational objective 0 58.45/58.60 c #Conflicts: 118000 | #Constraints: 7838 58.45/58.60 c #Conflicts: 119000 | #Constraints: 8838 58.45/58.60 c #Conflicts: 120000 | #Constraints: 9838 58.45/58.60 c bounds 10 >= 0 @ 54.5907 58.45/58.60 c #Conflicts: 121000 | #Constraints: 10839 58.45/58.60 c #Conflicts: 122000 | #Constraints: 11839 58.45/58.60 c #Conflicts: 123000 | #Constraints: 12839 58.45/58.60 c #Conflicts: 124000 | #Constraints: 13840 58.45/58.60 c INPROCESSING 58.45/58.60 c GARBAGE COLLECT 58.45/58.60 c rational objective 0 62.94/63.17 c #Conflicts: 125000 | #Constraints: 7838 62.94/63.17 c #Conflicts: 126000 | #Constraints: 8839 62.94/63.17 c #Conflicts: 127000 | #Constraints: 9839 62.94/63.17 c #Conflicts: 128000 | #Constraints: 10839 62.94/63.17 c #Conflicts: 129000 | #Constraints: 11839 62.94/63.17 c #Conflicts: 130000 | #Constraints: 12841 62.94/63.17 c #Conflicts: 131000 | #Constraints: 13841 62.94/63.17 c INPROCESSING 62.94/63.17 c GARBAGE COLLECT 62.94/63.17 c rational objective 0 68.62/68.88 c #Conflicts: 132000 | #Constraints: 7635 68.62/68.88 c #Conflicts: 133000 | #Constraints: 8636 68.62/68.88 c #Conflicts: 134000 | #Constraints: 9636 68.62/68.88 c #Conflicts: 135000 | #Constraints: 10638 68.62/68.88 c #Conflicts: 136000 | #Constraints: 11639 68.62/68.88 c #Conflicts: 137000 | #Constraints: 12639 68.62/68.88 c #Conflicts: 138000 | #Constraints: 13639 68.62/68.88 c #Conflicts: 139000 | #Constraints: 14639 68.62/68.88 c INPROCESSING 68.62/68.88 c GARBAGE COLLECT 68.62/68.88 c rational objective 0 74.30/74.54 c #Conflicts: 140000 | #Constraints: 8243 74.30/74.54 c #Conflicts: 141000 | #Constraints: 9245 74.30/74.54 c #Conflicts: 142000 | #Constraints: 10246 74.30/74.54 c #Conflicts: 143000 | #Constraints: 11247 74.30/74.54 c #Conflicts: 144000 | #Constraints: 12248 74.30/74.54 c #Conflicts: 145000 | #Constraints: 13248 74.30/74.54 c #Conflicts: 146000 | #Constraints: 14250 74.30/74.54 c #Conflicts: 147000 | #Constraints: 15250 74.30/74.54 c INPROCESSING 74.30/74.54 c GARBAGE COLLECT 74.30/74.54 c rational objective 0 80.69/80.97 c #Conflicts: 148000 | #Constraints: 8642 80.69/80.97 c #Conflicts: 149000 | #Constraints: 9645 80.69/80.97 c #Conflicts: 150000 | #Constraints: 10645 80.69/80.97 c #Conflicts: 151000 | #Constraints: 11649 80.69/80.97 c #Conflicts: 152000 | #Constraints: 12650 80.69/80.97 c #Conflicts: 153000 | #Constraints: 13653 80.69/80.97 c #Conflicts: 154000 | #Constraints: 14655 80.69/80.97 c #Conflicts: 155000 | #Constraints: 15655 80.69/80.97 c INPROCESSING 80.69/80.97 c GARBAGE COLLECT 80.69/80.97 c rational objective 0 86.18/86.46 c #Conflicts: 156000 | #Constraints: 8852 86.18/86.46 c #Conflicts: 157000 | #Constraints: 9852 86.18/86.46 c #Conflicts: 158000 | #Constraints: 10852 86.18/86.46 c #Conflicts: 159000 | #Constraints: 11852 86.18/86.46 c #Conflicts: 160000 | #Constraints: 12853 86.18/86.46 c #Conflicts: 161000 | #Constraints: 13853 86.18/86.46 c #Conflicts: 162000 | #Constraints: 14853 86.18/86.46 c #Conflicts: 163000 | #Constraints: 15853 86.18/86.46 c INPROCESSING 86.18/86.46 c GARBAGE COLLECT 86.18/86.46 c rational objective 0 92.26/92.56 c #Conflicts: 164000 | #Constraints: 8844 92.26/92.56 c #Conflicts: 165000 | #Constraints: 9844 92.26/92.56 c #Conflicts: 166000 | #Constraints: 10845 92.26/92.56 c bounds 8 >= 0 @ 87.6154 92.26/92.56 c #Conflicts: 167000 | #Constraints: 11846 92.26/92.56 c #Conflicts: 168000 | #Constraints: 12846 92.26/92.56 c #Conflicts: 169000 | #Constraints: 13846 92.26/92.56 c #Conflicts: 170000 | #Constraints: 14846 92.26/92.56 c #Conflicts: 171000 | #Constraints: 15847 92.26/92.56 c INPROCESSING 92.26/92.56 c GARBAGE COLLECT 92.26/92.56 c rational objective 0 98.95/99.29 c #Conflicts: 172000 | #Constraints: 8632 98.95/99.29 c #Conflicts: 173000 | #Constraints: 9635 98.95/99.29 c #Conflicts: 174000 | #Constraints: 10637 98.95/99.29 c #Conflicts: 175000 | #Constraints: 11637 98.95/99.29 c #Conflicts: 176000 | #Constraints: 12637 98.95/99.29 c #Conflicts: 177000 | #Constraints: 13639 98.95/99.29 c #Conflicts: 178000 | #Constraints: 14640 98.95/99.29 c #Conflicts: 179000 | #Constraints: 15641 98.95/99.29 c #Conflicts: 180000 | #Constraints: 16641 98.95/99.29 c INPROCESSING 98.95/99.29 c GARBAGE COLLECT 98.95/99.29 c rational objective 0 105.93/106.24 c #Conflicts: 181000 | #Constraints: 9238 105.93/106.24 c #Conflicts: 182000 | #Constraints: 10238 105.93/106.24 c #Conflicts: 183000 | #Constraints: 11239 105.93/106.24 c #Conflicts: 184000 | #Constraints: 12239 105.93/106.24 c #Conflicts: 185000 | #Constraints: 13240 105.93/106.24 c #Conflicts: 186000 | #Constraints: 14240 105.93/106.24 c #Conflicts: 187000 | #Constraints: 15240 105.93/106.24 c #Conflicts: 188000 | #Constraints: 16240 105.93/106.24 c #Conflicts: 189000 | #Constraints: 17240 105.93/106.24 c INPROCESSING 105.93/106.24 c GARBAGE COLLECT 105.93/106.24 c rational objective 0 114.01/114.35 c #Conflicts: 190000 | #Constraints: 9640 114.01/114.35 c #Conflicts: 191000 | #Constraints: 10641 114.01/114.35 c #Conflicts: 192000 | #Constraints: 11642 114.01/114.35 c #Conflicts: 193000 | #Constraints: 12643 114.01/114.35 c #Conflicts: 194000 | #Constraints: 13645 114.01/114.35 c #Conflicts: 195000 | #Constraints: 14645 114.01/114.35 c #Conflicts: 196000 | #Constraints: 15645 114.01/114.35 c #Conflicts: 197000 | #Constraints: 16645 114.01/114.35 c #Conflicts: 198000 | #Constraints: 17645 114.01/114.35 c INPROCESSING 114.01/114.35 c GARBAGE COLLECT 114.01/114.35 c rational objective 0 121.59/121.91 c #Conflicts: 199000 | #Constraints: 9842 121.59/121.91 c #Conflicts: 200000 | #Constraints: 10842 121.59/121.91 c #Conflicts: 201000 | #Constraints: 11842 121.59/121.91 c #Conflicts: 202000 | #Constraints: 12842 121.59/121.91 c #Conflicts: 203000 | #Constraints: 13843 121.59/121.91 c #Conflicts: 204000 | #Constraints: 14843 121.59/121.91 c #Conflicts: 205000 | #Constraints: 15843 121.59/121.91 c #Conflicts: 206000 | #Constraints: 16843 121.59/121.91 c #Conflicts: 207000 | #Constraints: 17844 121.59/121.91 c INPROCESSING 121.59/121.91 c GARBAGE COLLECT 121.59/121.91 c rational objective 0 130.68/131.01 c #Conflicts: 208000 | #Constraints: 9842 130.68/131.01 c #Conflicts: 209000 | #Constraints: 10842 130.68/131.01 c #Conflicts: 210000 | #Constraints: 11842 130.68/131.01 c #Conflicts: 211000 | #Constraints: 12842 130.68/131.01 c #Conflicts: 212000 | #Constraints: 13842 130.68/131.01 c #Conflicts: 213000 | #Constraints: 14843 130.68/131.01 c #Conflicts: 214000 | #Constraints: 15844 130.68/131.01 c #Conflicts: 215000 | #Constraints: 16844 130.68/131.01 c #Conflicts: 216000 | #Constraints: 17844 130.68/131.01 c INPROCESSING 130.68/131.01 c GARBAGE COLLECT 130.68/131.01 c rational objective 0 140.14/140.55 c #Conflicts: 217000 | #Constraints: 9644 140.14/140.55 c #Conflicts: 218000 | #Constraints: 10644 140.14/140.55 c #Conflicts: 219000 | #Constraints: 11645 140.14/140.55 c #Conflicts: 220000 | #Constraints: 12646 140.14/140.55 c #Conflicts: 221000 | #Constraints: 13647 140.14/140.55 c #Conflicts: 222000 | #Constraints: 14647 140.14/140.55 c #Conflicts: 223000 | #Constraints: 15647 140.14/140.55 c #Conflicts: 224000 | #Constraints: 16647 140.14/140.55 c #Conflicts: 225000 | #Constraints: 17647 140.14/140.55 c #Conflicts: 226000 | #Constraints: 18648 140.14/140.55 c INPROCESSING 140.14/140.55 c GARBAGE COLLECT 140.14/140.55 c rational objective 0 150.52/150.97 c #Conflicts: 227000 | #Constraints: 10241 150.52/150.97 c #Conflicts: 228000 | #Constraints: 11241 150.52/150.97 c #Conflicts: 229000 | #Constraints: 12241 150.52/150.97 c #Conflicts: 230000 | #Constraints: 13241 150.52/150.97 c #Conflicts: 231000 | #Constraints: 14241 150.52/150.97 c #Conflicts: 232000 | #Constraints: 15244 150.52/150.97 c #Conflicts: 233000 | #Constraints: 16246 150.52/150.97 c #Conflicts: 234000 | #Constraints: 17248 150.52/150.97 c #Conflicts: 235000 | #Constraints: 18248 150.52/150.97 c #Conflicts: 236000 | #Constraints: 19248 150.52/150.97 c INPROCESSING 150.52/150.97 c GARBAGE COLLECT 150.52/150.97 c rational objective 0 159.50/159.95 c #Conflicts: 237000 | #Constraints: 10640 159.50/159.95 c #Conflicts: 238000 | #Constraints: 11640 159.50/159.95 c #Conflicts: 239000 | #Constraints: 12641 159.50/159.95 c #Conflicts: 240000 | #Constraints: 13641 159.50/159.95 c #Conflicts: 241000 | #Constraints: 14641 159.50/159.95 c #Conflicts: 242000 | #Constraints: 15641 159.50/159.95 c #Conflicts: 243000 | #Constraints: 16641 159.50/159.95 c #Conflicts: 244000 | #Constraints: 17641 159.50/159.95 c #Conflicts: 245000 | #Constraints: 18641 159.50/159.95 c #Conflicts: 246000 | #Constraints: 19641 159.50/159.95 c INPROCESSING 159.50/159.95 c GARBAGE COLLECT 159.50/159.95 c rational objective 0 168.78/169.25 c #Conflicts: 247000 | #Constraints: 10839 168.78/169.25 c #Conflicts: 248000 | #Constraints: 11839 168.78/169.25 c #Conflicts: 249000 | #Constraints: 12840 168.78/169.25 c #Conflicts: 250000 | #Constraints: 13840 168.78/169.25 c #Conflicts: 251000 | #Constraints: 14840 168.78/169.25 c #Conflicts: 252000 | #Constraints: 15840 168.78/169.25 c #Conflicts: 253000 | #Constraints: 16840 168.78/169.25 c #Conflicts: 254000 | #Constraints: 17840 168.78/169.25 c #Conflicts: 255000 | #Constraints: 18840 168.78/169.25 c #Conflicts: 256000 | #Constraints: 19840 168.78/169.25 c INPROCESSING 168.78/169.25 c GARBAGE COLLECT 168.78/169.25 c rational objective 0 180.56/181.08 c #Conflicts: 257000 | #Constraints: 10839 180.56/181.08 c #Conflicts: 258000 | #Constraints: 11840 180.56/181.08 c #Conflicts: 259000 | #Constraints: 12840 180.56/181.08 c #Conflicts: 260000 | #Constraints: 13840 180.56/181.08 c #Conflicts: 261000 | #Constraints: 14840 180.56/181.08 c #Conflicts: 262000 | #Constraints: 15840 180.56/181.08 c #Conflicts: 263000 | #Constraints: 16841 180.56/181.08 c #Conflicts: 264000 | #Constraints: 17841 180.56/181.08 c #Conflicts: 265000 | #Constraints: 18841 180.56/181.08 c #Conflicts: 266000 | #Constraints: 19842 180.56/181.08 c INPROCESSING 180.56/181.08 c GARBAGE COLLECT 180.56/181.08 c rational objective 0 196.11/196.65 c #Conflicts: 267000 | #Constraints: 10761 196.11/196.65 c #Conflicts: 268000 | #Constraints: 12285 196.11/196.65 c #Conflicts: 269000 | #Constraints: 13867 196.11/196.65 c #Conflicts: 270000 | #Constraints: 15516 196.11/196.65 c #Conflicts: 271000 | #Constraints: 17163 196.11/196.65 c #Conflicts: 272000 | #Constraints: 18723 196.11/196.65 c #Conflicts: 273000 | #Constraints: 20179 196.11/196.65 c #Conflicts: 274000 | #Constraints: 21795 196.11/196.65 c #Conflicts: 275000 | #Constraints: 22796 196.11/196.65 c #Conflicts: 276000 | #Constraints: 23868 196.11/196.65 c #Conflicts: 277000 | #Constraints: 25255 196.11/196.65 c INPROCESSING 196.11/196.65 c GARBAGE COLLECT 196.11/196.65 c rational objective 0 217.75/218.34 c #Conflicts: 278000 | #Constraints: 13941 217.75/218.34 c #Conflicts: 279000 | #Constraints: 15544 217.75/218.34 c #Conflicts: 280000 | #Constraints: 17091 217.75/218.34 c #Conflicts: 281000 | #Constraints: 18500 217.75/218.34 c #Conflicts: 282000 | #Constraints: 20071 217.75/218.34 c #Conflicts: 283000 | #Constraints: 21544 217.75/218.34 c #Conflicts: 284000 | #Constraints: 23166 217.75/218.34 c #Conflicts: 285000 | #Constraints: 24694 217.75/218.34 c #Conflicts: 286000 | #Constraints: 26230 217.75/218.34 c #Conflicts: 287000 | #Constraints: 27790 217.75/218.34 c #Conflicts: 288000 | #Constraints: 29387 217.75/218.34 c INPROCESSING 217.75/218.34 c GARBAGE COLLECT 217.75/218.34 c rational objective 0 231.62/232.29 c #Conflicts: 289000 | #Constraints: 15848 231.62/232.29 c #Conflicts: 290000 | #Constraints: 16951 231.62/232.29 c #Conflicts: 291000 | #Constraints: 17952 231.62/232.29 c #Conflicts: 292000 | #Constraints: 19043 231.62/232.29 c #Conflicts: 293000 | #Constraints: 20043 231.62/232.29 c #Conflicts: 294000 | #Constraints: 21045 231.62/232.29 c #Conflicts: 295000 | #Constraints: 22436 231.62/232.29 c #Conflicts: 296000 | #Constraints: 23714 231.62/232.29 c #Conflicts: 297000 | #Constraints: 24740 231.62/232.29 c #Conflicts: 298000 | #Constraints: 25744 231.62/232.29 c #Conflicts: 299000 | #Constraints: 26744 231.62/232.29 c INPROCESSING 231.62/232.29 c GARBAGE COLLECT 231.62/232.29 c rational objective 0 253.66/254.38 c #Conflicts: 300000 | #Constraints: 14675 253.66/254.38 c #Conflicts: 301000 | #Constraints: 16229 253.66/254.38 c #Conflicts: 302000 | #Constraints: 17802 253.66/254.38 c #Conflicts: 303000 | #Constraints: 19087 253.66/254.38 c #Conflicts: 304000 | #Constraints: 20490 253.66/254.38 c #Conflicts: 305000 | #Constraints: 21565 253.66/254.38 c #Conflicts: 306000 | #Constraints: 22642 253.66/254.38 c #Conflicts: 307000 | #Constraints: 24138 253.66/254.38 c #Conflicts: 308000 | #Constraints: 25467 253.66/254.38 c #Conflicts: 309000 | #Constraints: 27074 253.66/254.38 c #Conflicts: 310000 | #Constraints: 28480 253.66/254.38 c INPROCESSING 253.66/254.38 c GARBAGE COLLECT 253.66/254.38 c rational objective 0 271.51/272.29 c #Conflicts: 311000 | #Constraints: 15340 271.51/272.29 c #Conflicts: 312000 | #Constraints: 16455 271.51/272.29 c #Conflicts: 313000 | #Constraints: 17923 271.51/272.29 c #Conflicts: 314000 | #Constraints: 18985 271.51/272.29 c #Conflicts: 315000 | #Constraints: 20229 271.51/272.29 c #Conflicts: 316000 | #Constraints: 21408 271.51/272.29 c #Conflicts: 317000 | #Constraints: 22489 271.51/272.29 c #Conflicts: 318000 | #Constraints: 23489 271.51/272.29 c #Conflicts: 319000 | #Constraints: 24878 271.51/272.29 c #Conflicts: 320000 | #Constraints: 26504 271.51/272.29 c #Conflicts: 321000 | #Constraints: 28116 271.51/272.29 c INPROCESSING 271.51/272.29 c GARBAGE COLLECT 271.51/272.29 c rational objective 0 294.44/295.20 c #Conflicts: 322000 | #Constraints: 15188 294.44/295.20 c #Conflicts: 323000 | #Constraints: 16829 294.44/295.20 c #Conflicts: 324000 | #Constraints: 18236 294.44/295.20 c #Conflicts: 325000 | #Constraints: 19660 294.44/295.20 c #Conflicts: 326000 | #Constraints: 20956 294.44/295.20 c #Conflicts: 327000 | #Constraints: 22029 294.44/295.20 c #Conflicts: 328000 | #Constraints: 23355 294.44/295.20 c #Conflicts: 329000 | #Constraints: 24797 294.44/295.20 c #Conflicts: 330000 | #Constraints: 26412 294.44/295.20 c #Conflicts: 331000 | #Constraints: 27726 294.44/295.20 c #Conflicts: 332000 | #Constraints: 29083 294.44/295.20 c #Conflicts: 333000 | #Constraints: 30688 294.44/295.20 c INPROCESSING 294.44/295.20 c GARBAGE COLLECT 294.44/295.20 c rational objective 0 323.28/324.15 c #Conflicts: 334000 | #Constraints: 16630 323.28/324.15 c #Conflicts: 335000 | #Constraints: 18047 323.28/324.15 c #Conflicts: 336000 | #Constraints: 19578 323.28/324.15 c #Conflicts: 337000 | #Constraints: 20907 323.28/324.15 c #Conflicts: 338000 | #Constraints: 22357 323.28/324.15 c #Conflicts: 339000 | #Constraints: 23682 323.28/324.15 c #Conflicts: 340000 | #Constraints: 24919 323.28/324.15 c #Conflicts: 341000 | #Constraints: 26325 323.28/324.15 c #Conflicts: 342000 | #Constraints: 27814 323.28/324.15 c #Conflicts: 343000 | #Constraints: 29118 323.28/324.15 c #Conflicts: 344000 | #Constraints: 30313 323.28/324.15 c #Conflicts: 345000 | #Constraints: 31338 323.28/324.15 c INPROCESSING 323.28/324.15 c GARBAGE COLLECT 323.28/324.15 c rational objective 0 347.39/348.30 c #Conflicts: 346000 | #Constraints: 17117 347.39/348.30 c #Conflicts: 347000 | #Constraints: 18620 347.39/348.30 c #Conflicts: 348000 | #Constraints: 20274 347.39/348.30 c #Conflicts: 349000 | #Constraints: 21917 347.39/348.30 c #Conflicts: 350000 | #Constraints: 23516 347.39/348.30 c #Conflicts: 351000 | #Constraints: 25088 347.39/348.30 c #Conflicts: 352000 | #Constraints: 26737 347.39/348.30 c #Conflicts: 353000 | #Constraints: 28361 347.39/348.30 c #Conflicts: 354000 | #Constraints: 29989 347.39/348.30 c #Conflicts: 355000 | #Constraints: 31637 347.39/348.30 c #Conflicts: 356000 | #Constraints: 33279 347.39/348.30 c #Conflicts: 357000 | #Constraints: 34942 347.39/348.30 c INPROCESSING 347.39/348.30 c GARBAGE COLLECT 347.39/348.30 c rational objective 0 374.40/375.49 c bounds 7 >= 0 @ 345.751 374.40/375.49 c bounds 3 >= 0 @ 345.758 374.40/375.49 c #Conflicts: 358000 | #Constraints: 18690 374.40/375.49 c #Conflicts: 359000 | #Constraints: 19898 374.40/375.49 c #Conflicts: 360000 | #Constraints: 21042 374.40/375.49 c #Conflicts: 361000 | #Constraints: 22105 374.40/375.49 c #Conflicts: 362000 | #Constraints: 23390 374.40/375.49 c #Conflicts: 363000 | #Constraints: 24830 374.40/375.49 c #Conflicts: 364000 | #Constraints: 26303 374.40/375.49 c #Conflicts: 365000 | #Constraints: 27647 374.40/375.49 c #Conflicts: 366000 | #Constraints: 28864 374.40/375.49 c #Conflicts: 367000 | #Constraints: 30231 374.40/375.49 c #Conflicts: 368000 | #Constraints: 31713 374.40/375.49 c #Conflicts: 369000 | #Constraints: 33023 374.40/375.49 c INPROCESSING 374.40/375.49 c GARBAGE COLLECT 374.40/375.49 c rational objective 0 401.13/402.22 c #Conflicts: 370000 | #Constraints: 17913 401.13/402.22 c #Conflicts: 371000 | #Constraints: 19537 401.13/402.22 c #Conflicts: 372000 | #Constraints: 21180 401.13/402.22 c #Conflicts: 373000 | #Constraints: 22841 401.13/402.22 c #Conflicts: 374000 | #Constraints: 24523 401.13/402.22 c #Conflicts: 375000 | #Constraints: 26199 401.13/402.22 c #Conflicts: 376000 | #Constraints: 27891 401.13/402.22 c #Conflicts: 377000 | #Constraints: 29490 401.13/402.22 c #Conflicts: 378000 | #Constraints: 31151 401.13/402.22 c #Conflicts: 379000 | #Constraints: 32776 401.13/402.22 c #Conflicts: 380000 | #Constraints: 34424 401.13/402.22 c #Conflicts: 381000 | #Constraints: 35544 401.13/402.22 c INPROCESSING 401.13/402.22 c GARBAGE COLLECT 401.13/402.22 c rational objective 0 428.36/429.55 c #Conflicts: 382000 | #Constraints: 18551 428.36/429.55 c #Conflicts: 383000 | #Constraints: 19564 428.36/429.55 c #Conflicts: 384000 | #Constraints: 20701 428.36/429.55 c #Conflicts: 385000 | #Constraints: 21753 428.36/429.55 c #Conflicts: 386000 | #Constraints: 22974 428.36/429.55 c #Conflicts: 387000 | #Constraints: 23977 428.36/429.55 c #Conflicts: 388000 | #Constraints: 24977 428.36/429.55 c #Conflicts: 389000 | #Constraints: 26034 428.36/429.55 c #Conflicts: 390000 | #Constraints: 27035 428.36/429.55 c #Conflicts: 391000 | #Constraints: 28062 428.36/429.55 c #Conflicts: 392000 | #Constraints: 29132 428.36/429.55 c #Conflicts: 393000 | #Constraints: 30142 428.36/429.55 c #Conflicts: 394000 | #Constraints: 31341 428.36/429.55 c INPROCESSING 428.36/429.55 c GARBAGE COLLECT 428.36/429.55 c rational objective 0 450.40/451.68 c #Conflicts: 395000 | #Constraints: 16790 450.40/451.68 c #Conflicts: 396000 | #Constraints: 17908 450.40/451.68 c #Conflicts: 397000 | #Constraints: 19385 450.40/451.68 c #Conflicts: 398000 | #Constraints: 20472 450.40/451.68 c #Conflicts: 399000 | #Constraints: 21549 450.40/451.68 c #Conflicts: 400000 | #Constraints: 22663 450.40/451.68 c #Conflicts: 401000 | #Constraints: 23701 450.40/451.68 c #Conflicts: 402000 | #Constraints: 24701 450.40/451.68 c #Conflicts: 403000 | #Constraints: 25768 450.40/451.68 c #Conflicts: 404000 | #Constraints: 26768 450.40/451.68 c #Conflicts: 405000 | #Constraints: 27777 450.40/451.68 c #Conflicts: 406000 | #Constraints: 28965 450.40/451.68 c #Conflicts: 407000 | #Constraints: 30053 450.40/451.68 c INPROCESSING 450.40/451.68 c GARBAGE COLLECT 450.40/451.68 c rational objective 0 490.40/491.75 c #Conflicts: 408000 | #Constraints: 16725 490.40/491.75 c #Conflicts: 409000 | #Constraints: 18433 490.40/491.75 c #Conflicts: 410000 | #Constraints: 20079 490.40/491.75 c #Conflicts: 411000 | #Constraints: 21710 490.40/491.75 c #Conflicts: 412000 | #Constraints: 23332 490.40/491.75 c #Conflicts: 413000 | #Constraints: 24964 490.40/491.75 c #Conflicts: 414000 | #Constraints: 26685 490.40/491.75 c #Conflicts: 415000 | #Constraints: 28393 490.40/491.75 c #Conflicts: 416000 | #Constraints: 30105 490.40/491.75 c #Conflicts: 417000 | #Constraints: 31786 490.40/491.75 c #Conflicts: 418000 | #Constraints: 33445 490.40/491.75 c #Conflicts: 419000 | #Constraints: 35112 490.40/491.75 c #Conflicts: 420000 | #Constraints: 36741 490.40/491.75 c INPROCESSING 490.40/491.75 c GARBAGE COLLECT 490.40/491.75 c rational objective 0 530.30/531.76 c #Conflicts: 421000 | #Constraints: 19963 530.30/531.76 c #Conflicts: 422000 | #Constraints: 21519 530.30/531.76 c #Conflicts: 423000 | #Constraints: 23131 530.30/531.76 c #Conflicts: 424000 | #Constraints: 24768 530.30/531.76 c #Conflicts: 425000 | #Constraints: 26397 530.30/531.76 c #Conflicts: 426000 | #Constraints: 28063 530.30/531.76 c #Conflicts: 427000 | #Constraints: 29738 530.30/531.76 c #Conflicts: 428000 | #Constraints: 31422 530.30/531.76 c #Conflicts: 429000 | #Constraints: 33094 530.30/531.76 c #Conflicts: 430000 | #Constraints: 34754 530.30/531.76 c #Conflicts: 431000 | #Constraints: 36409 530.30/531.76 c #Conflicts: 432000 | #Constraints: 38040 530.30/531.76 c #Conflicts: 433000 | #Constraints: 39682 530.30/531.76 c INPROCESSING 530.30/531.76 c GARBAGE COLLECT 530.30/531.76 c rational objective 0 573.19/574.73 c #Conflicts: 434000 | #Constraints: 21298 573.19/574.73 c #Conflicts: 435000 | #Constraints: 22946 573.19/574.73 c #Conflicts: 436000 | #Constraints: 24244 573.19/574.73 c #Conflicts: 437000 | #Constraints: 25244 573.19/574.73 c #Conflicts: 438000 | #Constraints: 26244 573.19/574.73 c #Conflicts: 439000 | #Constraints: 27244 573.19/574.73 c #Conflicts: 440000 | #Constraints: 28244 573.19/574.73 c #Conflicts: 441000 | #Constraints: 29245 573.19/574.73 c #Conflicts: 442000 | #Constraints: 30245 573.19/574.73 c #Conflicts: 443000 | #Constraints: 31719 573.19/574.73 c #Conflicts: 444000 | #Constraints: 33385 573.19/574.73 c #Conflicts: 445000 | #Constraints: 35047 573.19/574.73 c #Conflicts: 446000 | #Constraints: 36714 573.19/574.73 c INPROCESSING 573.19/574.73 c GARBAGE COLLECT 573.19/574.73 c rational objective 0 607.01/608.67 c #Conflicts: 447000 | #Constraints: 19448 607.01/608.67 c #Conflicts: 448000 | #Constraints: 20950 607.01/608.67 c #Conflicts: 449000 | #Constraints: 22382 607.01/608.67 c #Conflicts: 450000 | #Constraints: 23673 607.01/608.67 c #Conflicts: 451000 | #Constraints: 24853 607.01/608.67 c #Conflicts: 452000 | #Constraints: 25975 607.01/608.67 c #Conflicts: 453000 | #Constraints: 27067 607.01/608.67 c #Conflicts: 454000 | #Constraints: 28196 607.01/608.67 c #Conflicts: 455000 | #Constraints: 29497 607.01/608.67 c #Conflicts: 456000 | #Constraints: 30740 607.01/608.67 c #Conflicts: 457000 | #Constraints: 31890 607.01/608.67 c #Conflicts: 458000 | #Constraints: 33086 607.01/608.67 c #Conflicts: 459000 | #Constraints: 34350 607.01/608.67 c #Conflicts: 460000 | #Constraints: 35533 607.01/608.67 c INPROCESSING 607.01/608.67 c GARBAGE COLLECT 607.01/608.67 c rational objective 0 648.32/650.05 c #Conflicts: 461000 | #Constraints: 18714 648.32/650.05 c #Conflicts: 462000 | #Constraints: 19814 648.32/650.05 c #Conflicts: 463000 | #Constraints: 21206 648.32/650.05 c #Conflicts: 464000 | #Constraints: 22596 648.32/650.05 c #Conflicts: 465000 | #Constraints: 23936 648.32/650.05 c #Conflicts: 466000 | #Constraints: 25171 648.32/650.05 c #Conflicts: 467000 | #Constraints: 26214 648.32/650.05 c #Conflicts: 468000 | #Constraints: 27628 648.32/650.05 c #Conflicts: 469000 | #Constraints: 28927 648.32/650.05 c #Conflicts: 470000 | #Constraints: 30065 648.32/650.05 c #Conflicts: 471000 | #Constraints: 31293 648.32/650.05 c #Conflicts: 472000 | #Constraints: 32431 648.32/650.05 c #Conflicts: 473000 | #Constraints: 33473 648.32/650.05 c #Conflicts: 474000 | #Constraints: 34650 648.32/650.05 c INPROCESSING 648.32/650.05 c GARBAGE COLLECT 648.32/650.05 c rational objective 0 686.51/688.31 c #Conflicts: 475000 | #Constraints: 18594 686.51/688.31 c #Conflicts: 476000 | #Constraints: 19953 686.51/688.31 c #Conflicts: 477000 | #Constraints: 20954 686.51/688.31 c #Conflicts: 478000 | #Constraints: 22354 686.51/688.31 c #Conflicts: 479000 | #Constraints: 23544 686.51/688.31 c #Conflicts: 480000 | #Constraints: 24799 686.51/688.31 c #Conflicts: 481000 | #Constraints: 25938 686.51/688.31 c #Conflicts: 482000 | #Constraints: 27211 686.51/688.31 c #Conflicts: 483000 | #Constraints: 28211 686.51/688.31 c #Conflicts: 484000 | #Constraints: 29214 686.51/688.31 c #Conflicts: 485000 | #Constraints: 30270 686.51/688.31 c #Conflicts: 486000 | #Constraints: 31412 686.51/688.31 c #Conflicts: 487000 | #Constraints: 32485 686.51/688.31 c #Conflicts: 488000 | #Constraints: 33485 686.51/688.31 c INPROCESSING 686.51/688.31 c GARBAGE COLLECT 686.51/688.31 c rational objective 0 739.27/741.21 c #Conflicts: 489000 | #Constraints: 18391 739.27/741.21 c #Conflicts: 490000 | #Constraints: 20057 739.27/741.21 c #Conflicts: 491000 | #Constraints: 21690 739.27/741.21 c #Conflicts: 492000 | #Constraints: 23333 739.27/741.21 c #Conflicts: 493000 | #Constraints: 24981 739.27/741.21 c #Conflicts: 494000 | #Constraints: 26686 739.27/741.21 c #Conflicts: 495000 | #Constraints: 28367 739.27/741.21 c #Conflicts: 496000 | #Constraints: 29808 739.27/741.21 c #Conflicts: 497000 | #Constraints: 31446 739.27/741.21 c #Conflicts: 498000 | #Constraints: 33133 739.27/741.21 c #Conflicts: 499000 | #Constraints: 34803 739.27/741.21 c #Conflicts: 500000 | #Constraints: 36445 739.27/741.21 c #Conflicts: 501000 | #Constraints: 38118 739.27/741.21 c #Conflicts: 502000 | #Constraints: 39803 739.27/741.21 c INPROCESSING 739.27/741.21 c GARBAGE COLLECT 739.27/741.21 c rational objective 0 776.38/778.42 c #Conflicts: 503000 | #Constraints: 21141 776.38/778.42 c #Conflicts: 504000 | #Constraints: 22669 776.38/778.42 c #Conflicts: 505000 | #Constraints: 23942 776.38/778.42 c #Conflicts: 506000 | #Constraints: 25041 776.38/778.42 c #Conflicts: 507000 | #Constraints: 26160 776.38/778.42 c #Conflicts: 508000 | #Constraints: 27649 776.38/778.42 c #Conflicts: 509000 | #Constraints: 28658 776.38/778.42 c #Conflicts: 510000 | #Constraints: 29658 776.38/778.42 c #Conflicts: 511000 | #Constraints: 30698 776.38/778.42 c #Conflicts: 512000 | #Constraints: 31910 776.38/778.42 c #Conflicts: 513000 | #Constraints: 33118 776.38/778.42 c #Conflicts: 514000 | #Constraints: 34294 776.38/778.42 c #Conflicts: 515000 | #Constraints: 35681 776.38/778.42 c #Conflicts: 516000 | #Constraints: 36681 776.38/778.42 c INPROCESSING 776.38/778.42 c GARBAGE COLLECT 776.38/778.42 c rational objective 0 819.47/821.62 c #Conflicts: 517000 | #Constraints: 19304 819.47/821.62 c #Conflicts: 518000 | #Constraints: 20925 819.47/821.62 c #Conflicts: 519000 | #Constraints: 22535 819.47/821.62 c #Conflicts: 520000 | #Constraints: 24161 819.47/821.62 c #Conflicts: 521000 | #Constraints: 25817 819.47/821.62 c #Conflicts: 522000 | #Constraints: 27441 819.47/821.62 c #Conflicts: 523000 | #Constraints: 29062 819.47/821.62 c #Conflicts: 524000 | #Constraints: 30714 819.47/821.62 c #Conflicts: 525000 | #Constraints: 32359 819.47/821.62 c #Conflicts: 526000 | #Constraints: 33976 819.47/821.62 c #Conflicts: 527000 | #Constraints: 35603 819.47/821.62 c #Conflicts: 528000 | #Constraints: 37260 819.47/821.62 c #Conflicts: 529000 | #Constraints: 38898 819.47/821.62 c #Conflicts: 530000 | #Constraints: 40512 819.47/821.62 c #Conflicts: 531000 | #Constraints: 42144 819.47/821.62 c INPROCESSING 819.47/821.62 c GARBAGE COLLECT 819.47/821.62 c rational objective 0 889.00/891.38 c #Conflicts: 532000 | #Constraints: 22555 889.00/891.38 c #Conflicts: 533000 | #Constraints: 24215 889.00/891.38 c #Conflicts: 534000 | #Constraints: 25841 889.00/891.38 c #Conflicts: 535000 | #Constraints: 27488 889.00/891.38 c #Conflicts: 536000 | #Constraints: 29090 889.00/891.38 c #Conflicts: 537000 | #Constraints: 30716 889.00/891.38 c #Conflicts: 538000 | #Constraints: 32443 889.00/891.38 c #Conflicts: 539000 | #Constraints: 34073 889.00/891.38 c #Conflicts: 540000 | #Constraints: 35766 889.00/891.38 c #Conflicts: 541000 | #Constraints: 37424 889.00/891.38 c #Conflicts: 542000 | #Constraints: 39058 889.00/891.38 c #Conflicts: 543000 | #Constraints: 40610 889.00/891.38 c #Conflicts: 544000 | #Constraints: 42225 889.00/891.38 c #Conflicts: 545000 | #Constraints: 43872 889.00/891.38 c #Conflicts: 546000 | #Constraints: 45520 889.00/891.38 c INPROCESSING 889.00/891.38 c GARBAGE COLLECT 889.00/891.38 c rational objective 0 956.42/958.95 c #Conflicts: 547000 | #Constraints: 24450 956.42/958.95 c #Conflicts: 548000 | #Constraints: 26130 956.42/958.95 c #Conflicts: 549000 | #Constraints: 27821 956.42/958.95 c #Conflicts: 550000 | #Constraints: 29382 956.42/958.95 c #Conflicts: 551000 | #Constraints: 30714 956.42/958.95 c #Conflicts: 552000 | #Constraints: 32401 956.42/958.95 c #Conflicts: 553000 | #Constraints: 34117 956.42/958.95 c #Conflicts: 554000 | #Constraints: 35829 956.42/958.95 c #Conflicts: 555000 | #Constraints: 37499 956.42/958.95 c #Conflicts: 556000 | #Constraints: 39172 956.42/958.95 c #Conflicts: 557000 | #Constraints: 40824 956.42/958.95 c #Conflicts: 558000 | #Constraints: 42497 956.42/958.95 c #Conflicts: 559000 | #Constraints: 44160 956.42/958.95 c #Conflicts: 560000 | #Constraints: 45830 956.42/958.95 c #Conflicts: 561000 | #Constraints: 47481 956.42/958.95 c INPROCESSING 956.42/958.95 c GARBAGE COLLECT 956.42/958.95 c rational objective 0 1026.16/1028.87 c #Conflicts: 562000 | #Constraints: 25069 1026.16/1028.87 c #Conflicts: 563000 | #Constraints: 26545 1026.16/1028.87 c #Conflicts: 564000 | #Constraints: 27783 1026.16/1028.87 c #Conflicts: 565000 | #Constraints: 28837 1026.16/1028.87 c #Conflicts: 566000 | #Constraints: 30136 1026.16/1028.87 c #Conflicts: 567000 | #Constraints: 31394 1026.16/1028.87 c #Conflicts: 568000 | #Constraints: 32592 1026.16/1028.87 c #Conflicts: 569000 | #Constraints: 33798 1026.16/1028.87 c #Conflicts: 570000 | #Constraints: 35222 1026.16/1028.87 c #Conflicts: 571000 | #Constraints: 36526 1026.16/1028.87 c #Conflicts: 572000 | #Constraints: 37699 1026.16/1028.87 c #Conflicts: 573000 | #Constraints: 38901 1026.16/1028.87 c #Conflicts: 574000 | #Constraints: 40168 1026.16/1028.87 c #Conflicts: 575000 | #Constraints: 41168 1026.16/1028.87 c #Conflicts: 576000 | #Constraints: 42168 1026.16/1028.87 c INPROCESSING 1026.16/1028.87 c GARBAGE COLLECT 1026.16/1028.87 c rational objective 0 1068.46/1071.22 c #Conflicts: 577000 | #Constraints: 22008 1068.46/1071.22 c #Conflicts: 578000 | #Constraints: 23009 1068.46/1071.22 c #Conflicts: 579000 | #Constraints: 24009 1068.46/1071.22 c #Conflicts: 580000 | #Constraints: 25009 1068.46/1071.22 c #Conflicts: 581000 | #Constraints: 26009 1068.46/1071.22 c #Conflicts: 582000 | #Constraints: 27009 1068.46/1071.22 c #Conflicts: 583000 | #Constraints: 28012 1068.46/1071.22 c #Conflicts: 584000 | #Constraints: 29012 1068.46/1071.22 c #Conflicts: 585000 | #Constraints: 30013 1068.46/1071.22 c #Conflicts: 586000 | #Constraints: 31013 1068.46/1071.22 c #Conflicts: 587000 | #Constraints: 32014 1068.46/1071.22 c #Conflicts: 588000 | #Constraints: 33015 1068.46/1071.22 c #Conflicts: 589000 | #Constraints: 34015 1068.46/1071.22 c #Conflicts: 590000 | #Constraints: 35015 1068.46/1071.22 c #Conflicts: 591000 | #Constraints: 36015 1068.46/1071.22 c INPROCESSING 1068.46/1071.22 c GARBAGE COLLECT 1068.46/1071.22 c rational objective 0 1119.33/1122.20 c #Conflicts: 592000 | #Constraints: 18725 1119.33/1122.20 c #Conflicts: 593000 | #Constraints: 19725 1119.33/1122.20 c #Conflicts: 594000 | #Constraints: 20726 1119.33/1122.20 c #Conflicts: 595000 | #Constraints: 21728 1119.33/1122.20 c #Conflicts: 596000 | #Constraints: 22728 1119.33/1122.20 c #Conflicts: 597000 | #Constraints: 23729 1119.33/1122.20 c #Conflicts: 598000 | #Constraints: 24729 1119.33/1122.20 c #Conflicts: 599000 | #Constraints: 25729 1119.33/1122.20 c #Conflicts: 600000 | #Constraints: 26729 1119.33/1122.20 c #Conflicts: 601000 | #Constraints: 27729 1119.33/1122.20 c #Conflicts: 602000 | #Constraints: 28729 1119.33/1122.20 c #Conflicts: 603000 | #Constraints: 29730 1119.33/1122.20 c #Conflicts: 604000 | #Constraints: 30730 1119.33/1122.20 c #Conflicts: 605000 | #Constraints: 31731 1119.33/1122.20 c #Conflicts: 606000 | #Constraints: 32731 1119.33/1122.20 c #Conflicts: 607000 | #Constraints: 33732 1119.33/1122.20 c INPROCESSING 1119.33/1122.20 c GARBAGE COLLECT 1119.33/1122.20 c rational objective 0 1167.81/1170.87 c #Conflicts: 608000 | #Constraints: 18252 1167.81/1170.87 c #Conflicts: 609000 | #Constraints: 19764 1167.81/1170.87 c #Conflicts: 610000 | #Constraints: 21173 1167.81/1170.87 c #Conflicts: 611000 | #Constraints: 22372 1167.81/1170.87 c #Conflicts: 612000 | #Constraints: 23708 1167.81/1170.87 c #Conflicts: 613000 | #Constraints: 25058 1167.81/1170.87 c #Conflicts: 614000 | #Constraints: 26547 1167.81/1170.87 c #Conflicts: 615000 | #Constraints: 27989 1167.81/1170.87 c #Conflicts: 616000 | #Constraints: 29407 1167.81/1170.87 c #Conflicts: 617000 | #Constraints: 30407 1167.81/1170.87 c #Conflicts: 618000 | #Constraints: 31534 1167.81/1170.87 c #Conflicts: 619000 | #Constraints: 32657 1167.81/1170.87 c #Conflicts: 620000 | #Constraints: 33747 1167.81/1170.87 c #Conflicts: 621000 | #Constraints: 35112 1167.81/1170.87 c #Conflicts: 622000 | #Constraints: 36422 1167.81/1170.87 c #Conflicts: 623000 | #Constraints: 38041 1167.81/1170.87 c INPROCESSING 1167.81/1170.87 c GARBAGE COLLECT 1167.81/1170.87 c rational objective 0 1230.86/1234.05 c #Conflicts: 624000 | #Constraints: 20350 1230.86/1234.05 c #Conflicts: 625000 | #Constraints: 21725 1230.86/1234.05 c #Conflicts: 626000 | #Constraints: 23225 1230.86/1234.05 c #Conflicts: 627000 | #Constraints: 24623 1230.86/1234.05 c #Conflicts: 628000 | #Constraints: 25700 1230.86/1234.05 c #Conflicts: 629000 | #Constraints: 26740 1230.86/1234.05 c #Conflicts: 630000 | #Constraints: 27888 1230.86/1234.05 c #Conflicts: 631000 | #Constraints: 29164 1230.86/1234.05 c #Conflicts: 632000 | #Constraints: 30621 1230.86/1234.05 c #Conflicts: 633000 | #Constraints: 32000 1230.86/1234.05 c #Conflicts: 634000 | #Constraints: 33405 1230.86/1234.05 c #Conflicts: 635000 | #Constraints: 34803 1230.86/1234.05 c #Conflicts: 636000 | #Constraints: 35980 1230.86/1234.05 c #Conflicts: 637000 | #Constraints: 37032 1230.86/1234.05 c #Conflicts: 638000 | #Constraints: 38221 1230.86/1234.05 c #Conflicts: 639000 | #Constraints: 39682 1230.86/1234.05 c INPROCESSING 1230.86/1234.05 c GARBAGE COLLECT 1230.86/1234.05 c rational objective 0 1275.64/1278.92 c #Conflicts: 640000 | #Constraints: 20972 1275.64/1278.92 c #Conflicts: 641000 | #Constraints: 21989 1275.64/1278.92 c #Conflicts: 642000 | #Constraints: 23057 1275.64/1278.92 c #Conflicts: 643000 | #Constraints: 24057 1275.64/1278.92 c #Conflicts: 644000 | #Constraints: 25075 1275.64/1278.92 c #Conflicts: 645000 | #Constraints: 26158 1275.64/1278.92 c #Conflicts: 646000 | #Constraints: 27234 1275.64/1278.92 c #Conflicts: 647000 | #Constraints: 28269 1275.64/1278.92 c #Conflicts: 648000 | #Constraints: 29269 1275.64/1278.92 c #Conflicts: 649000 | #Constraints: 30269 1275.64/1278.92 c #Conflicts: 650000 | #Constraints: 31324 1275.64/1278.92 c #Conflicts: 651000 | #Constraints: 32401 1275.64/1278.92 c #Conflicts: 652000 | #Constraints: 33469 1275.64/1278.92 c #Conflicts: 653000 | #Constraints: 34526 1275.64/1278.92 c #Conflicts: 654000 | #Constraints: 35572 1275.64/1278.92 c #Conflicts: 655000 | #Constraints: 36629 1275.64/1278.92 c INPROCESSING 1275.64/1278.92 c GARBAGE COLLECT 1275.64/1278.92 c rational objective 0 1345.67/1349.16 c #Conflicts: 656000 | #Constraints: 19775 1345.67/1349.16 c #Conflicts: 657000 | #Constraints: 21460 1345.67/1349.16 c #Conflicts: 658000 | #Constraints: 23128 1345.67/1349.16 c #Conflicts: 659000 | #Constraints: 24795 1345.67/1349.16 c #Conflicts: 660000 | #Constraints: 26451 1345.67/1349.16 c #Conflicts: 661000 | #Constraints: 28043 1345.67/1349.16 c #Conflicts: 662000 | #Constraints: 29622 1345.67/1349.16 c #Conflicts: 663000 | #Constraints: 31210 1345.67/1349.16 c #Conflicts: 664000 | #Constraints: 32844 1345.67/1349.16 c #Conflicts: 665000 | #Constraints: 34467 1345.67/1349.16 c #Conflicts: 666000 | #Constraints: 36074 1345.67/1349.16 c #Conflicts: 667000 | #Constraints: 37608 1345.67/1349.16 c #Conflicts: 668000 | #Constraints: 39139 1345.67/1349.16 c #Conflicts: 669000 | #Constraints: 40748 1345.67/1349.16 c #Conflicts: 670000 | #Constraints: 42368 1345.67/1349.16 c #Conflicts: 671000 | #Constraints: 43989 1345.67/1349.16 c INPROCESSING 1345.67/1349.16 c GARBAGE COLLECT 1345.67/1349.16 c rational objective 0 1450.30/1454.09 c #Conflicts: 672000 | #Constraints: 23138 1450.30/1454.09 c #Conflicts: 673000 | #Constraints: 24804 1450.30/1454.09 c #Conflicts: 674000 | #Constraints: 26411 1450.30/1454.09 c #Conflicts: 675000 | #Constraints: 28100 1450.30/1454.09 c #Conflicts: 676000 | #Constraints: 29780 1450.30/1454.09 c #Conflicts: 677000 | #Constraints: 31407 1450.30/1454.09 c #Conflicts: 678000 | #Constraints: 33025 1450.30/1454.09 c #Conflicts: 679000 | #Constraints: 34645 1450.30/1454.09 c #Conflicts: 680000 | #Constraints: 36148 1450.30/1454.09 c #Conflicts: 681000 | #Constraints: 37761 1450.30/1454.09 c #Conflicts: 682000 | #Constraints: 39464 1450.30/1454.09 c #Conflicts: 683000 | #Constraints: 41134 1450.30/1454.09 c #Conflicts: 684000 | #Constraints: 42795 1450.30/1454.09 c #Conflicts: 685000 | #Constraints: 44457 1450.30/1454.09 c #Conflicts: 686000 | #Constraints: 46101 1450.30/1454.09 c #Conflicts: 687000 | #Constraints: 47746 1450.30/1454.09 c #Conflicts: 688000 | #Constraints: 49407 1450.30/1454.09 c INPROCESSING 1450.30/1454.09 c GARBAGE COLLECT 1450.30/1454.09 c rational objective 0 1524.30/1528.28 c #Conflicts: 689000 | #Constraints: 26176 1524.30/1528.28 c #Conflicts: 690000 | #Constraints: 27794 1524.30/1528.28 c #Conflicts: 691000 | #Constraints: 29290 1524.30/1528.28 c #Conflicts: 692000 | #Constraints: 30925 1524.30/1528.28 c #Conflicts: 693000 | #Constraints: 32347 1524.30/1528.28 c #Conflicts: 694000 | #Constraints: 33347 1524.30/1528.28 c #Conflicts: 695000 | #Constraints: 34855 1524.30/1528.28 c #Conflicts: 696000 | #Constraints: 36458 1524.30/1528.28 c #Conflicts: 697000 | #Constraints: 38079 1524.30/1528.28 c #Conflicts: 698000 | #Constraints: 39719 1524.30/1528.28 c #Conflicts: 699000 | #Constraints: 41344 1524.30/1528.28 c #Conflicts: 700000 | #Constraints: 42591 1524.30/1528.28 c #Conflicts: 701000 | #Constraints: 44248 1524.30/1528.28 c #Conflicts: 702000 | #Constraints: 45904 1524.30/1528.28 c #Conflicts: 703000 | #Constraints: 47540 1524.30/1528.28 c #Conflicts: 704000 | #Constraints: 49168 1524.30/1528.28 c #Conflicts: 705000 | #Constraints: 50827 1524.30/1528.28 c INPROCESSING 1524.30/1528.28 c GARBAGE COLLECT 1524.30/1528.28 c rational objective 0 1624.94/1629.15 c #Conflicts: 706000 | #Constraints: 26548 1624.94/1629.15 c #Conflicts: 707000 | #Constraints: 28088 1624.94/1629.15 c #Conflicts: 708000 | #Constraints: 29727 1624.94/1629.15 c #Conflicts: 709000 | #Constraints: 31399 1624.94/1629.15 c #Conflicts: 710000 | #Constraints: 33049 1624.94/1629.15 c #Conflicts: 711000 | #Constraints: 34678 1624.94/1629.15 c #Conflicts: 712000 | #Constraints: 36321 1624.94/1629.15 c #Conflicts: 713000 | #Constraints: 37977 1624.94/1629.15 c #Conflicts: 714000 | #Constraints: 39605 1624.94/1629.15 c #Conflicts: 715000 | #Constraints: 41228 1624.94/1629.15 c #Conflicts: 716000 | #Constraints: 42853 1624.94/1629.15 c #Conflicts: 717000 | #Constraints: 44427 1624.94/1629.15 c #Conflicts: 718000 | #Constraints: 45857 1624.94/1629.15 c #Conflicts: 719000 | #Constraints: 47581 1624.94/1629.15 c #Conflicts: 720000 | #Constraints: 49322 1624.94/1629.15 c #Conflicts: 721000 | #Constraints: 51032 1624.94/1629.15 c #Conflicts: 722000 | #Constraints: 52737 1624.94/1629.15 c INPROCESSING 1624.94/1629.15 c GARBAGE COLLECT 1624.94/1629.15 c rational objective 0 1690.56/1694.97 c #Conflicts: 723000 | #Constraints: 27617 1690.56/1694.97 c #Conflicts: 724000 | #Constraints: 29056 1690.56/1694.97 c #Conflicts: 725000 | #Constraints: 30400 1690.56/1694.97 c #Conflicts: 726000 | #Constraints: 31437 1690.56/1694.97 c #Conflicts: 727000 | #Constraints: 32556 1690.56/1694.97 c #Conflicts: 728000 | #Constraints: 33579 1690.56/1694.97 c #Conflicts: 729000 | #Constraints: 34666 1690.56/1694.97 c #Conflicts: 730000 | #Constraints: 35666 1690.56/1694.97 c #Conflicts: 731000 | #Constraints: 36705 1690.56/1694.97 c #Conflicts: 732000 | #Constraints: 37705 1690.56/1694.97 c #Conflicts: 733000 | #Constraints: 38706 1690.56/1694.97 c #Conflicts: 734000 | #Constraints: 39706 1690.56/1694.97 c #Conflicts: 735000 | #Constraints: 40706 1690.56/1694.97 c #Conflicts: 736000 | #Constraints: 41707 1690.56/1694.97 c #Conflicts: 737000 | #Constraints: 42786 1690.56/1694.97 c #Conflicts: 738000 | #Constraints: 44242 1690.56/1694.97 c #Conflicts: 739000 | #Constraints: 45433 1690.56/1694.97 c INPROCESSING 1690.56/1694.97 c GARBAGE COLLECT 1690.56/1694.97 c rational objective 0 1771.58/1776.12 c #Conflicts: 740000 | #Constraints: 24133 1771.58/1776.12 c #Conflicts: 741000 | #Constraints: 25154 1771.58/1776.12 c #Conflicts: 742000 | #Constraints: 26520 1771.58/1776.12 c #Conflicts: 743000 | #Constraints: 27577 1771.58/1776.12 c #Conflicts: 744000 | #Constraints: 28796 1771.58/1776.12 c #Conflicts: 745000 | #Constraints: 30008 1771.58/1776.12 c #Conflicts: 746000 | #Constraints: 31008 1771.58/1776.12 c #Conflicts: 747000 | #Constraints: 32085 1771.58/1776.12 c #Conflicts: 748000 | #Constraints: 33354 1771.58/1776.12 c #Conflicts: 749000 | #Constraints: 34656 1771.58/1776.12 c #Conflicts: 750000 | #Constraints: 35656 1771.58/1776.12 c #Conflicts: 751000 | #Constraints: 36656 1771.58/1776.12 c #Conflicts: 752000 | #Constraints: 37670 1771.58/1776.12 c #Conflicts: 753000 | #Constraints: 38730 1771.58/1776.12 c #Conflicts: 754000 | #Constraints: 40273 1771.58/1776.12 c #Conflicts: 755000 | #Constraints: 41433 1771.58/1776.12 c #Conflicts: 756000 | #Constraints: 42433 1771.58/1776.12 c INPROCESSING 1771.58/1776.12 c GARBAGE COLLECT 1771.58/1776.12 c rational objective 0 1838.10/1842.88 c #Conflicts: 757000 | #Constraints: 22315 1838.10/1842.88 c #Conflicts: 758000 | #Constraints: 23966 1838.10/1842.88 c #Conflicts: 759000 | #Constraints: 25602 1838.10/1842.88 c #Conflicts: 760000 | #Constraints: 26628 1838.10/1842.88 c #Conflicts: 761000 | #Constraints: 27628 1838.10/1842.88 c #Conflicts: 762000 | #Constraints: 28743 1838.10/1842.88 c #Conflicts: 763000 | #Constraints: 30366 1838.10/1842.88 c #Conflicts: 764000 | #Constraints: 31554 1838.10/1842.88 c #Conflicts: 765000 | #Constraints: 32554 1838.10/1842.88 c #Conflicts: 766000 | #Constraints: 33554 1838.10/1842.88 c #Conflicts: 767000 | #Constraints: 34881 1838.10/1842.88 c #Conflicts: 768000 | #Constraints: 35881 1838.10/1842.88 c #Conflicts: 769000 | #Constraints: 37242 1838.10/1842.88 c #Conflicts: 770000 | #Constraints: 38868 1838.10/1842.88 c #Conflicts: 771000 | #Constraints: 40051 1838.10/1842.88 c #Conflicts: 772000 | #Constraints: 41051 1838.10/1842.88 c #Conflicts: 773000 | #Constraints: 42052 1838.10/1842.88 c #Conflicts: 774000 | #Constraints: 43153 1838.10/1842.88 c INPROCESSING 1838.10/1842.88 c GARBAGE COLLECT 1838.10/1842.88 c rational objective 0 1911.33/1916.22 c #Conflicts: 775000 | #Constraints: 22554 1911.33/1916.22 c #Conflicts: 776000 | #Constraints: 23554 1911.33/1916.22 c #Conflicts: 777000 | #Constraints: 24554 1911.33/1916.22 c #Conflicts: 778000 | #Constraints: 25554 1911.33/1916.22 c #Conflicts: 779000 | #Constraints: 26554 1911.33/1916.22 c #Conflicts: 780000 | #Constraints: 27555 1911.33/1916.22 c #Conflicts: 781000 | #Constraints: 28555 1911.33/1916.22 c #Conflicts: 782000 | #Constraints: 29555 1911.33/1916.22 c #Conflicts: 783000 | #Constraints: 30555 1911.33/1916.22 c #Conflicts: 784000 | #Constraints: 31557 1911.33/1916.22 c #Conflicts: 785000 | #Constraints: 32557 1911.33/1916.22 c #Conflicts: 786000 | #Constraints: 33557 1911.33/1916.22 c #Conflicts: 787000 | #Constraints: 34557 1911.33/1916.22 c #Conflicts: 788000 | #Constraints: 35557 1911.33/1916.22 c #Conflicts: 789000 | #Constraints: 36557 1911.33/1916.22 c #Conflicts: 790000 | #Constraints: 37557 1911.33/1916.22 c #Conflicts: 791000 | #Constraints: 38557 1911.33/1916.22 c #Conflicts: 792000 | #Constraints: 39557 1911.33/1916.22 c INPROCESSING 1911.33/1916.22 c GARBAGE COLLECT 1911.33/1916.22 c rational objective 0 1970.38/1975.45 c #Conflicts: 793000 | #Constraints: 21048 1970.38/1975.45 c #Conflicts: 794000 | #Constraints: 22394 1970.38/1975.45 c #Conflicts: 795000 | #Constraints: 23394 1970.38/1975.45 c #Conflicts: 796000 | #Constraints: 24394 1970.38/1975.45 c #Conflicts: 797000 | #Constraints: 25395 1970.38/1975.45 c #Conflicts: 798000 | #Constraints: 26396 1970.38/1975.45 c #Conflicts: 799000 | #Constraints: 27456 1970.38/1975.45 c #Conflicts: 800000 | #Constraints: 28585 1970.38/1975.45 c #Conflicts: 801000 | #Constraints: 29783 1970.38/1975.45 c #Conflicts: 802000 | #Constraints: 30783 1970.38/1975.45 c #Conflicts: 803000 | #Constraints: 31839 1970.38/1975.45 c #Conflicts: 804000 | #Constraints: 33136 1970.38/1975.45 c #Conflicts: 805000 | #Constraints: 34136 1970.38/1975.45 c #Conflicts: 806000 | #Constraints: 35517 1970.38/1975.45 c #Conflicts: 807000 | #Constraints: 36567 1970.38/1975.45 c #Conflicts: 808000 | #Constraints: 37859 1970.38/1975.45 c #Conflicts: 809000 | #Constraints: 39131 1970.38/1975.45 c #Conflicts: 810000 | #Constraints: 40132 1970.38/1975.45 c INPROCESSING 1970.38/1975.45 c GARBAGE COLLECT 1970.38/1975.45 c rational objective 0 2023.45/2028.64 c #Conflicts: 811000 | #Constraints: 21196 2023.45/2028.64 c #Conflicts: 812000 | #Constraints: 22196 2023.45/2028.64 c #Conflicts: 813000 | #Constraints: 23196 2023.45/2028.64 c #Conflicts: 814000 | #Constraints: 24377 2023.45/2028.64 c #Conflicts: 815000 | #Constraints: 25450 2023.45/2028.64 c #Conflicts: 816000 | #Constraints: 26450 2023.45/2028.64 c #Conflicts: 817000 | #Constraints: 27450 2023.45/2028.64 c #Conflicts: 818000 | #Constraints: 28450 2023.45/2028.64 c #Conflicts: 819000 | #Constraints: 29450 2023.45/2028.64 c #Conflicts: 820000 | #Constraints: 30450 2023.45/2028.64 c #Conflicts: 821000 | #Constraints: 31451 2023.45/2028.64 c #Conflicts: 822000 | #Constraints: 32451 2023.45/2028.64 c #Conflicts: 823000 | #Constraints: 33451 2023.45/2028.64 c #Conflicts: 824000 | #Constraints: 34454 2023.45/2028.64 c #Conflicts: 825000 | #Constraints: 35603 2023.45/2028.64 c #Conflicts: 826000 | #Constraints: 36603 2023.45/2028.64 c #Conflicts: 827000 | #Constraints: 37939 2023.45/2028.64 c #Conflicts: 828000 | #Constraints: 39005 2023.45/2028.64 c INPROCESSING 2023.45/2028.64 c GARBAGE COLLECT 2023.45/2028.64 c rational objective 0 2112.44/2117.88 c #Conflicts: 829000 | #Constraints: 20739 2112.44/2117.88 c #Conflicts: 830000 | #Constraints: 22325 2112.44/2117.88 c #Conflicts: 831000 | #Constraints: 23970 2112.44/2117.88 c #Conflicts: 832000 | #Constraints: 25613 2112.44/2117.88 c #Conflicts: 833000 | #Constraints: 26760 2112.44/2117.88 c #Conflicts: 834000 | #Constraints: 27965 2112.44/2117.88 c #Conflicts: 835000 | #Constraints: 28965 2112.44/2117.88 c #Conflicts: 836000 | #Constraints: 29965 2112.44/2117.88 c #Conflicts: 837000 | #Constraints: 30966 2112.44/2117.88 c #Conflicts: 838000 | #Constraints: 32261 2112.44/2117.88 c #Conflicts: 839000 | #Constraints: 33943 2112.44/2117.88 c #Conflicts: 840000 | #Constraints: 34943 2112.44/2117.88 c #Conflicts: 841000 | #Constraints: 35943 2112.44/2117.88 c #Conflicts: 842000 | #Constraints: 37467 2112.44/2117.88 c #Conflicts: 843000 | #Constraints: 39173 2112.44/2117.88 c #Conflicts: 844000 | #Constraints: 40878 2112.44/2117.88 c #Conflicts: 845000 | #Constraints: 42460 2112.44/2117.88 c #Conflicts: 846000 | #Constraints: 43460 2112.44/2117.88 c INPROCESSING 2112.44/2117.88 c GARBAGE COLLECT 2112.44/2117.88 c rational objective 0 2208.69/2214.34 c #Conflicts: 847000 | #Constraints: 22671 2208.69/2214.34 c #Conflicts: 848000 | #Constraints: 24367 2208.69/2214.34 c #Conflicts: 849000 | #Constraints: 25956 2208.69/2214.34 c #Conflicts: 850000 | #Constraints: 27594 2208.69/2214.34 c #Conflicts: 851000 | #Constraints: 29244 2208.69/2214.34 c #Conflicts: 852000 | #Constraints: 30876 2208.69/2214.34 c #Conflicts: 853000 | #Constraints: 32521 2208.69/2214.34 c #Conflicts: 854000 | #Constraints: 34170 2208.69/2214.34 c #Conflicts: 855000 | #Constraints: 35779 2208.69/2214.34 c #Conflicts: 856000 | #Constraints: 37013 2208.69/2214.34 c #Conflicts: 857000 | #Constraints: 38013 2208.69/2214.34 c #Conflicts: 858000 | #Constraints: 39013 2208.69/2214.34 c #Conflicts: 859000 | #Constraints: 40014 2208.69/2214.34 c #Conflicts: 860000 | #Constraints: 41015 2208.69/2214.34 c #Conflicts: 861000 | #Constraints: 42168 2208.69/2214.34 c #Conflicts: 862000 | #Constraints: 43836 2208.69/2214.34 c #Conflicts: 863000 | #Constraints: 45508 2208.69/2214.34 c #Conflicts: 864000 | #Constraints: 47193 2208.69/2214.34 c #Conflicts: 865000 | #Constraints: 48876 2208.69/2214.34 c INPROCESSING 2208.69/2214.34 c GARBAGE COLLECT 2208.69/2214.34 c rational objective 0 2333.37/2339.33 c #Conflicts: 866000 | #Constraints: 25423 2333.37/2339.33 c #Conflicts: 867000 | #Constraints: 26928 2333.37/2339.33 c #Conflicts: 868000 | #Constraints: 28616 2333.37/2339.33 c #Conflicts: 869000 | #Constraints: 30239 2333.37/2339.33 c #Conflicts: 870000 | #Constraints: 31870 2333.37/2339.33 c #Conflicts: 871000 | #Constraints: 33592 2333.37/2339.33 c #Conflicts: 872000 | #Constraints: 35225 2333.37/2339.33 c #Conflicts: 873000 | #Constraints: 36887 2333.37/2339.33 c #Conflicts: 874000 | #Constraints: 38561 2333.37/2339.33 c #Conflicts: 875000 | #Constraints: 40183 2333.37/2339.33 c #Conflicts: 876000 | #Constraints: 41858 2333.37/2339.33 c #Conflicts: 877000 | #Constraints: 43535 2333.37/2339.33 c #Conflicts: 878000 | #Constraints: 45139 2333.37/2339.33 c #Conflicts: 879000 | #Constraints: 46781 2333.37/2339.33 c #Conflicts: 880000 | #Constraints: 48480 2333.37/2339.33 c #Conflicts: 881000 | #Constraints: 49989 2333.37/2339.33 c #Conflicts: 882000 | #Constraints: 51272 2333.37/2339.33 c #Conflicts: 883000 | #Constraints: 52977 2333.37/2339.33 c #Conflicts: 884000 | #Constraints: 54539 2333.37/2339.33 c INPROCESSING 2333.37/2339.33 c GARBAGE COLLECT 2333.37/2339.33 c rational objective 0 2428.93/2435.15 c #Conflicts: 885000 | #Constraints: 28686 2428.93/2435.15 c #Conflicts: 886000 | #Constraints: 30007 2428.93/2435.15 c #Conflicts: 887000 | #Constraints: 31609 2428.93/2435.15 c #Conflicts: 888000 | #Constraints: 32960 2428.93/2435.15 c #Conflicts: 889000 | #Constraints: 34311 2428.93/2435.15 c #Conflicts: 890000 | #Constraints: 35918 2428.93/2435.15 c #Conflicts: 891000 | #Constraints: 37508 2428.93/2435.15 c #Conflicts: 892000 | #Constraints: 39128 2428.93/2435.15 c #Conflicts: 893000 | #Constraints: 40724 2428.93/2435.15 c #Conflicts: 894000 | #Constraints: 42385 2428.93/2435.15 c #Conflicts: 895000 | #Constraints: 44005 2428.93/2435.15 c #Conflicts: 896000 | #Constraints: 45663 2428.93/2435.15 c #Conflicts: 897000 | #Constraints: 47268 2428.93/2435.15 c #Conflicts: 898000 | #Constraints: 48880 2428.93/2435.15 c #Conflicts: 899000 | #Constraints: 50509 2428.93/2435.15 c #Conflicts: 900000 | #Constraints: 52094 2428.93/2435.15 c #Conflicts: 901000 | #Constraints: 53415 2428.93/2435.15 c #Conflicts: 902000 | #Constraints: 54828 2428.93/2435.15 c #Conflicts: 903000 | #Constraints: 56473 2428.93/2435.15 c INPROCESSING 2428.93/2435.15 c GARBAGE COLLECT 2428.93/2435.15 c rational objective 0 2566.07/2572.69 c #Conflicts: 904000 | #Constraints: 29936 2566.07/2572.69 c #Conflicts: 905000 | #Constraints: 31560 2566.07/2572.69 c #Conflicts: 906000 | #Constraints: 33173 2566.07/2572.69 c #Conflicts: 907000 | #Constraints: 34614 2566.07/2572.69 c #Conflicts: 908000 | #Constraints: 36118 2566.07/2572.69 c #Conflicts: 909000 | #Constraints: 37800 2566.07/2572.69 c #Conflicts: 910000 | #Constraints: 39487 2566.07/2572.69 c #Conflicts: 911000 | #Constraints: 41138 2566.07/2572.69 c #Conflicts: 912000 | #Constraints: 42764 2566.07/2572.69 c #Conflicts: 913000 | #Constraints: 44424 2566.07/2572.69 c #Conflicts: 914000 | #Constraints: 46092 2566.07/2572.69 c #Conflicts: 915000 | #Constraints: 47622 2566.07/2572.69 c #Conflicts: 916000 | #Constraints: 49317 2566.07/2572.69 c #Conflicts: 917000 | #Constraints: 51037 2566.07/2572.69 c #Conflicts: 918000 | #Constraints: 52686 2566.07/2572.69 c #Conflicts: 919000 | #Constraints: 53973 2566.07/2572.69 c #Conflicts: 920000 | #Constraints: 55602 2566.07/2572.69 c #Conflicts: 921000 | #Constraints: 57231 2566.07/2572.69 c #Conflicts: 922000 | #Constraints: 58868 2566.07/2572.69 c INPROCESSING 2566.07/2572.69 c GARBAGE COLLECT 2566.07/2572.69 c rational objective 0 2657.54/2664.38 c #Conflicts: 923000 | #Constraints: 30416 2657.54/2664.38 c #Conflicts: 924000 | #Constraints: 31416 2657.54/2664.38 c #Conflicts: 925000 | #Constraints: 32416 2657.54/2664.38 c #Conflicts: 926000 | #Constraints: 33416 2657.54/2664.38 c #Conflicts: 927000 | #Constraints: 34416 2657.54/2664.38 c #Conflicts: 928000 | #Constraints: 35492 2657.54/2664.38 c #Conflicts: 929000 | #Constraints: 37179 2657.54/2664.38 c #Conflicts: 930000 | #Constraints: 38855 2657.54/2664.38 c #Conflicts: 931000 | #Constraints: 40545 2657.54/2664.38 c #Conflicts: 932000 | #Constraints: 42224 2657.54/2664.38 c #Conflicts: 933000 | #Constraints: 43892 2657.54/2664.38 c #Conflicts: 934000 | #Constraints: 45554 2657.54/2664.38 c #Conflicts: 935000 | #Constraints: 47246 2657.54/2664.38 c #Conflicts: 936000 | #Constraints: 48414 2657.54/2664.38 c #Conflicts: 937000 | #Constraints: 49994 2657.54/2664.38 c #Conflicts: 938000 | #Constraints: 51586 2657.54/2664.38 c #Conflicts: 939000 | #Constraints: 53201 2657.54/2664.38 c #Conflicts: 940000 | #Constraints: 54835 2657.54/2664.38 c #Conflicts: 941000 | #Constraints: 56467 2657.54/2664.38 c INPROCESSING 2657.54/2664.38 c GARBAGE COLLECT 2657.54/2664.38 c rational objective 0 2770.55/2777.69 c #Conflicts: 942000 | #Constraints: 29149 2770.55/2777.69 c #Conflicts: 943000 | #Constraints: 30149 2770.55/2777.69 c #Conflicts: 944000 | #Constraints: 31149 2770.55/2777.69 c #Conflicts: 945000 | #Constraints: 32149 2770.55/2777.69 c #Conflicts: 946000 | #Constraints: 33149 2770.55/2777.69 c #Conflicts: 947000 | #Constraints: 34150 2770.55/2777.69 c #Conflicts: 948000 | #Constraints: 35150 2770.55/2777.69 c #Conflicts: 949000 | #Constraints: 36150 2770.55/2777.69 c #Conflicts: 950000 | #Constraints: 37150 2770.55/2777.69 c #Conflicts: 951000 | #Constraints: 38150 2770.55/2777.69 c #Conflicts: 952000 | #Constraints: 39150 2770.55/2777.69 c #Conflicts: 953000 | #Constraints: 40150 2770.55/2777.69 c #Conflicts: 954000 | #Constraints: 41150 2770.55/2777.69 c #Conflicts: 955000 | #Constraints: 42151 2770.55/2777.69 c #Conflicts: 956000 | #Constraints: 43154 2770.55/2777.69 c #Conflicts: 957000 | #Constraints: 44154 2770.55/2777.69 c #Conflicts: 958000 | #Constraints: 45154 2770.55/2777.69 c #Conflicts: 959000 | #Constraints: 46154 2770.55/2777.69 c #Conflicts: 960000 | #Constraints: 47154 2770.55/2777.69 c #Conflicts: 961000 | #Constraints: 48155 2770.55/2777.69 c INPROCESSING 2770.55/2777.69 c GARBAGE COLLECT 2770.55/2777.69 c rational objective 0 2851.76/2859.11 c #Conflicts: 962000 | #Constraints: 24998 2851.76/2859.11 c #Conflicts: 963000 | #Constraints: 25998 2851.76/2859.11 c #Conflicts: 964000 | #Constraints: 26998 2851.76/2859.11 c #Conflicts: 965000 | #Constraints: 27998 2851.76/2859.11 c #Conflicts: 966000 | #Constraints: 28998 2851.76/2859.11 c #Conflicts: 967000 | #Constraints: 29999 2851.76/2859.11 c #Conflicts: 968000 | #Constraints: 30999 2851.76/2859.11 c #Conflicts: 969000 | #Constraints: 32000 2851.76/2859.11 c #Conflicts: 970000 | #Constraints: 33001 2851.76/2859.11 c #Conflicts: 971000 | #Constraints: 34001 2851.76/2859.11 c #Conflicts: 972000 | #Constraints: 35001 2851.76/2859.11 c #Conflicts: 973000 | #Constraints: 36001 2851.76/2859.11 c #Conflicts: 974000 | #Constraints: 37002 2851.76/2859.11 c #Conflicts: 975000 | #Constraints: 38002 2851.76/2859.11 c #Conflicts: 976000 | #Constraints: 39002 2851.76/2859.11 c #Conflicts: 977000 | #Constraints: 40002 2851.76/2859.11 c #Conflicts: 978000 | #Constraints: 41002 2851.76/2859.11 c #Conflicts: 979000 | #Constraints: 42002 2851.76/2859.11 c #Conflicts: 980000 | #Constraints: 43002 2851.76/2859.11 c #Conflicts: 981000 | #Constraints: 44002 2851.76/2859.11 c INPROCESSING 2851.76/2859.11 c GARBAGE COLLECT 2851.76/2859.11 c rational objective 0 2949.99/2957.56 c #Conflicts: 982000 | #Constraints: 23400 2949.99/2957.56 c #Conflicts: 983000 | #Constraints: 24701 2949.99/2957.56 c #Conflicts: 984000 | #Constraints: 26074 2949.99/2957.56 c #Conflicts: 985000 | #Constraints: 27497 2949.99/2957.56 c #Conflicts: 986000 | #Constraints: 29100 2949.99/2957.56 c #Conflicts: 987000 | #Constraints: 30375 2949.99/2957.56 c #Conflicts: 988000 | #Constraints: 31435 2949.99/2957.56 c #Conflicts: 989000 | #Constraints: 32809 2949.99/2957.56 c #Conflicts: 990000 | #Constraints: 34376 2949.99/2957.56 c #Conflicts: 991000 | #Constraints: 35818 2949.99/2957.56 c #Conflicts: 992000 | #Constraints: 37209 2949.99/2957.56 c #Conflicts: 993000 | #Constraints: 38534 2949.99/2957.56 c #Conflicts: 994000 | #Constraints: 39645 2949.99/2957.56 c #Conflicts: 995000 | #Constraints: 41052 2949.99/2957.56 c #Conflicts: 996000 | #Constraints: 42222 2949.99/2957.56 c #Conflicts: 997000 | #Constraints: 43731 2949.99/2957.56 c #Conflicts: 998000 | #Constraints: 44964 2949.99/2957.56 c #Conflicts: 999000 | #Constraints: 46057 2949.99/2957.56 c #Conflicts: 1000000 | #Constraints: 47057 2949.99/2957.56 c #Conflicts: 1001000 | #Constraints: 48382 2949.99/2957.56 c INPROCESSING 2949.99/2957.56 c GARBAGE COLLECT 2949.99/2957.56 c rational objective 0 3046.06/3053.85 c #Conflicts: 1002000 | #Constraints: 25211 3046.06/3053.85 c #Conflicts: 1003000 | #Constraints: 26212 3046.06/3053.85 c #Conflicts: 1004000 | #Constraints: 27212 3046.06/3053.85 c #Conflicts: 1005000 | #Constraints: 28213 3046.06/3053.85 c #Conflicts: 1006000 | #Constraints: 29213 3046.06/3053.85 c #Conflicts: 1007000 | #Constraints: 30213 3046.06/3053.85 c #Conflicts: 1008000 | #Constraints: 31213 3046.06/3053.85 c #Conflicts: 1009000 | #Constraints: 32213 3046.06/3053.85 c #Conflicts: 1010000 | #Constraints: 33213 3046.06/3053.85 c #Conflicts: 1011000 | #Constraints: 34213 3046.06/3053.85 c #Conflicts: 1012000 | #Constraints: 35213 3046.06/3053.85 c #Conflicts: 1013000 | #Constraints: 36214 3046.06/3053.85 c #Conflicts: 1014000 | #Constraints: 37214 3046.06/3053.85 c #Conflicts: 1015000 | #Constraints: 38214 3046.06/3053.85 c #Conflicts: 1016000 | #Constraints: 39214 3046.06/3053.85 c #Conflicts: 1017000 | #Constraints: 40215 3046.06/3053.85 c #Conflicts: 1018000 | #Constraints: 41215 3046.06/3053.85 c #Conflicts: 1019000 | #Constraints: 42215 3046.06/3053.85 c #Conflicts: 1020000 | #Constraints: 43215 3046.06/3053.85 c #Conflicts: 1021000 | #Constraints: 44215 3046.06/3053.85 c INPROCESSING 3046.06/3053.85 c GARBAGE COLLECT 3046.06/3053.85 c rational objective 0 3187.49/3195.65 c #Conflicts: 1022000 | #Constraints: 23532 3187.49/3195.65 c #Conflicts: 1023000 | #Constraints: 25200 3187.49/3195.65 c #Conflicts: 1024000 | #Constraints: 26869 3187.49/3195.65 c #Conflicts: 1025000 | #Constraints: 28564 3187.49/3195.65 c #Conflicts: 1026000 | #Constraints: 30263 3187.49/3195.65 c #Conflicts: 1027000 | #Constraints: 31959 3187.49/3195.65 c #Conflicts: 1028000 | #Constraints: 33620 3187.49/3195.65 c #Conflicts: 1029000 | #Constraints: 35292 3187.49/3195.65 c #Conflicts: 1030000 | #Constraints: 37014 3187.49/3195.65 c #Conflicts: 1031000 | #Constraints: 38688 3187.49/3195.65 c #Conflicts: 1032000 | #Constraints: 40375 3187.49/3195.65 c #Conflicts: 1033000 | #Constraints: 42069 3187.49/3195.65 c #Conflicts: 1034000 | #Constraints: 43751 3187.49/3195.65 c #Conflicts: 1035000 | #Constraints: 45407 3187.49/3195.65 c #Conflicts: 1036000 | #Constraints: 47056 3187.49/3195.65 c #Conflicts: 1037000 | #Constraints: 48738 3187.49/3195.65 c #Conflicts: 1038000 | #Constraints: 50451 3187.49/3195.65 c #Conflicts: 1039000 | #Constraints: 52127 3187.49/3195.65 c #Conflicts: 1040000 | #Constraints: 53780 3187.49/3195.65 c #Conflicts: 1041000 | #Constraints: 55439 3187.49/3195.65 c INPROCESSING 3187.49/3195.65 c GARBAGE COLLECT 3187.49/3195.65 c rational objective 0 3356.14/3364.79 c #Conflicts: 1042000 | #Constraints: 28869 3356.14/3364.79 c #Conflicts: 1043000 | #Constraints: 30375 3356.14/3364.79 c #Conflicts: 1044000 | #Constraints: 31914 3356.14/3364.79 c #Conflicts: 1045000 | #Constraints: 33264 3356.14/3364.79 c #Conflicts: 1046000 | #Constraints: 34829 3356.14/3364.79 c #Conflicts: 1047000 | #Constraints: 36246 3356.14/3364.79 c #Conflicts: 1048000 | #Constraints: 37629 3356.14/3364.79 c #Conflicts: 1049000 | #Constraints: 39277 3356.14/3364.79 c #Conflicts: 1050000 | #Constraints: 40834 3356.14/3364.79 c #Conflicts: 1051000 | #Constraints: 42405 3356.14/3364.79 c #Conflicts: 1052000 | #Constraints: 43920 3356.14/3364.79 c #Conflicts: 1053000 | #Constraints: 45523 3356.14/3364.79 c #Conflicts: 1054000 | #Constraints: 47190 3356.14/3364.79 c #Conflicts: 1055000 | #Constraints: 48663 3356.14/3364.79 c #Conflicts: 1056000 | #Constraints: 50176 3356.14/3364.79 c #Conflicts: 1057000 | #Constraints: 51836 3356.14/3364.79 c #Conflicts: 1058000 | #Constraints: 53282 3356.14/3364.79 c #Conflicts: 1059000 | #Constraints: 54728 3356.14/3364.79 c #Conflicts: 1060000 | #Constraints: 56441 3356.14/3364.79 c #Conflicts: 1061000 | #Constraints: 58012 3356.14/3364.79 c #Conflicts: 1062000 | #Constraints: 59299 3356.14/3364.79 c INPROCESSING 3356.14/3364.79 c GARBAGE COLLECT 3356.14/3364.79 c rational objective 0 3497.47/3506.48 c #Conflicts: 1063000 | #Constraints: 31076 3497.47/3506.48 c #Conflicts: 1064000 | #Constraints: 32445 3497.47/3506.48 c #Conflicts: 1065000 | #Constraints: 33997 3497.47/3506.48 c #Conflicts: 1066000 | #Constraints: 35618 3497.47/3506.48 c #Conflicts: 1067000 | #Constraints: 37006 3497.47/3506.48 c #Conflicts: 1068000 | #Constraints: 38537 3497.47/3506.48 c #Conflicts: 1069000 | #Constraints: 39761 3497.47/3506.48 c #Conflicts: 1070000 | #Constraints: 41206 3497.47/3506.48 c #Conflicts: 1071000 | #Constraints: 42475 3497.47/3506.48 c #Conflicts: 1072000 | #Constraints: 44041 3497.47/3506.48 c #Conflicts: 1073000 | #Constraints: 45655 3497.47/3506.48 c #Conflicts: 1074000 | #Constraints: 47135 3497.47/3506.48 c #Conflicts: 1075000 | #Constraints: 48612 3497.47/3506.48 c #Conflicts: 1076000 | #Constraints: 49764 3497.47/3506.48 c #Conflicts: 1077000 | #Constraints: 51107 3497.47/3506.48 c #Conflicts: 1078000 | #Constraints: 52744 3497.47/3506.48 c #Conflicts: 1079000 | #Constraints: 54263 3497.47/3506.48 c #Conflicts: 1080000 | #Constraints: 55658 3497.47/3506.48 c #Conflicts: 1081000 | #Constraints: 56822 3497.47/3506.48 c #Conflicts: 1082000 | #Constraints: 58477 3497.47/3506.48 c #Conflicts: 1083000 | #Constraints: 59780 3497.47/3506.48 c INPROCESSING 3497.47/3506.48 c GARBAGE COLLECT 3497.47/3506.48 c rational objective 0 3600.02/3609.20 c #Conflicts: 1084000 | #Constraints: 31175 3600.02/3609.20 c #Conflicts: 1085000 | #Constraints: 32247 3600.02/3609.20 c #Conflicts: 1086000 | #Constraints: 33376 3600.02/3609.20 c #Conflicts: 1087000 | #Constraints: 34546 3600.02/3609.20 c #Conflicts: 1088000 | #Constraints: 35558 3600.02/3609.20 c #Conflicts: 1089000 | #Constraints: 36858 3600.02/3609.20 c #Conflicts: 1090000 | #Constraints: 37985 3600.02/3609.20 c #Conflicts: 1091000 | #Constraints: 39169 3600.02/3609.20 c #Conflicts: 1092000 | #Constraints: 40187 3600.02/3609.20 c #Conflicts: 1093000 | #Constraints: 41252 3600.02/3609.20 c #Conflicts: 1094000 | #Constraints: 42526 3600.02/3609.20 c #Conflicts: 1095000 | #Constraints: 43858 3600.02/3609.20 c #Conflicts: 1096000 | #Constraints: 45030 3600.02/3609.20 c #Conflicts: 1097000 | #Constraints: 46177 3600.02/3609.20 c #Conflicts: 1098000 | #Constraints: 47242 3600.02/3609.20 c #Conflicts: 1099000 | #Constraints: 48385 3600.02/3609.20 c Program interrupted by user. 3600.02/3609.20 c cpu time 3587.42 s 3600.02/3609.20 c deterministic time 548641057920 5.49e+11 3600.02/3609.20 c optimization time 102.172 s 3600.02/3609.20 c total solve time 3485.25 s 3600.02/3609.20 c core-guided solve time 1755.77 s 3600.02/3609.20 c propagation time 3385.12 s 3600.02/3609.20 c conflict analysis time 184.679 s 3600.02/3609.20 c propagations 22733539 3600.02/3609.20 c resolve steps 7367702 3600.02/3609.20 c decisions 1788036 3600.02/3609.20 c conflicts 1099898 3600.02/3609.20 c restarts 2046 3600.02/3609.20 c inprocessing phases 95 3600.02/3609.20 c input clauses 0 3600.02/3609.20 c input cardinalities 0 3600.02/3609.20 c input general constraints 50 3600.02/3609.20 c input average constraint length 69.12 3600.02/3609.20 c input average constraint degree 1080.12 3600.02/3609.20 c learned clauses 597348 3600.02/3609.20 c learned cardinalities 1 3600.02/3609.20 c learned general constraints 787158 3600.02/3609.20 c learned average constraint length 54.21 3600.02/3609.20 c learned average constraint degree 1631310367.96 3600.02/3609.20 c watched constraints 775694 3600.02/3609.20 c counting constraints 11514 3600.02/3609.20 c gcd simplifications 555522 3600.02/3609.20 c detected cardinalities 1 3600.02/3609.20 c weakened non-implied lits 19152253 3600.02/3609.20 c weakened non-implying lits 696215 3600.02/3609.20 c original variables 146 3600.02/3609.20 c clausal propagations 239341 3600.02/3609.20 c cardinality propagations 0 3600.02/3609.20 c watched propagations 19630659 3600.02/3609.20 c counting propagations 2041097 3600.02/3609.20 c watch lookups 36307569004 3600.02/3609.20 c watch backjump lookups 18760495449 3600.02/3609.20 c watch checks 426449554096 3600.02/3609.20 c propagation checks 66441164592 3600.02/3609.20 c constraint additions 631046378 3600.02/3609.20 c trail pops 25620809 3600.02/3609.20 c formula constraints 12 3600.02/3609.20 c learned constraints 1099342 3600.02/3609.20 c bound constraints 38 3600.02/3609.20 c core-guided constraints 0 3600.02/3609.20 c encountered formula constraints 46051 3600.02/3609.20 c encountered learned constraints 3565941 3600.02/3609.20 c encountered bound constraints 551 3600.02/3609.20 c encountered core-guided constraints 0 3600.02/3609.20 c LP total time 55.3733 s 3600.02/3609.20 c LP solve time 36.12 s 3600.02/3609.20 c LP constraints added 183 3600.02/3609.20 c LP constraints removed 169 3600.02/3609.20 c LP pivots internal 1085520 3600.02/3609.20 c LP pivots root 496 3600.02/3609.20 c LP calls 570115 3600.02/3609.20 c LP optimalities 285645 3600.02/3609.20 c LP no pivot count 103175 3600.02/3609.20 c LP infeasibilities 284468 3600.02/3609.20 c LP valid Farkas constraints 284465 3600.02/3609.20 c LP learned Farkas constraints 556 3600.02/3609.20 c LP basis resets 2 3600.02/3609.20 c LP cycling count 0 3600.02/3609.20 c LP singular count 2 3600.02/3609.20 c LP no primal count 0 3600.02/3609.20 c LP no farkas count 0 3600.02/3609.20 c LP other issue count 0 3600.02/3609.20 c LP Gomory cuts 144 3600.02/3609.20 c LP learned cuts 27 3600.02/3609.20 c LP deleted cuts 169 3600.02/3609.20 c LP encountered Gomory constraints 10272 3600.02/3609.20 c LP encountered Farkas constraints 4624271 3600.02/3609.20 c LP encountered learned Farkas constraints 219958 3600.02/3609.20 c CG auxiliary variables introduced 0 3600.02/3609.20 c CG solutions found 38 3600.02/3609.20 c CG cores constructed 0 3600.02/3609.20 c CG core cardinality constraints returned 0 3600.02/3609.20 c CG unit cores 0 3600.02/3609.20 c CG single cores 0 3600.02/3609.20 c CG blocks removed during cardinality reduction 0 3600.02/3609.20 c CG first core best 0 3600.02/3609.20 c CG decision core best 0 3600.02/3609.20 c CG core reduction tie 0 3600.02/3609.20 c CG core degree average 0.00 3600.02/3609.20 c CG core slack average 0.00 3600.02/3609.20 s SATISFIABLE 3600.02/3609.20 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
OK 3
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62012 MiB free)
memory of node 1: 64510 MiB (61327 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455172-1721459499/watcher-4455172-1721459499 -o /tmp/evaluation-result-4455172-1721459499/solver-4455172-1721459499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721455877-1056972 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455172-1721459499.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1059234, runsolver pid=1059231
[startup+0.100094 s]*
/proc/loadavg: 4.08 4.09 4.09 5/246 1059235
/proc/meminfo: memFree=126298920/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=37668 memory=8848 CPUtime=0.1 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 576 0 0 0 10 0 0 0 20 0 1 0 198106524 38572032 2212 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 9417 2212 1842 922 0 1369 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37668 KiB
Current children cumulated memory: 8848 KiB
[startup+0.212803 s]*
/proc/loadavg: 4.08 4.09 4.09 5/246 1059235
/proc/meminfo: memFree=126296176/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=37932 memory=11156 CPUtime=0.21 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 646 0 0 0 20 1 0 0 20 0 1 0 198106524 38842368 2789 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 9483 2789 1842 922 0 1435 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37932 KiB
Current children cumulated memory: 11156 KiB
[startup+0.312588 s]*
/proc/loadavg: 4.08 4.09 4.09 5/246 1059235
/proc/meminfo: memFree=126296176/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=38064 memory=11156 CPUtime=0.31 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 667 0 0 0 30 1 0 0 20 0 1 0 198106524 38977536 2789 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 9516 2789 1842 922 0 1468 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 11156 KiB
[startup+0.700259 s]
/proc/loadavg: 4.08 4.09 4.09 5/246 1059235
/proc/meminfo: memFree=126295504/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=38460 memory=11684 CPUtime=0.69 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 764 0 0 0 66 3 0 0 20 0 1 0 198106524 39383040 2921 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 9615 2921 1842 922 0 1567 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38460 KiB
Current children cumulated memory: 11684 KiB
[startup+1.50027 s]
/proc/loadavg: 4.07 4.09 4.09 5/246 1059235
/proc/meminfo: memFree=126295036/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=39140 memory=12212 CPUtime=1.48 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 924 0 0 0 142 6 0 0 20 0 1 0 198106524 40079360 3053 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 9785 3053 1842 922 0 1737 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39140 KiB
Current children cumulated memory: 12212 KiB
[startup+3.11274 s]
/proc/loadavg: 4.07 4.09 4.09 5/246 1059235
/proc/meminfo: memFree=126292152/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=39496 memory=12800 CPUtime=3.1 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 1030 0 0 0 299 11 0 0 20 0 1 0 198106524 40443904 3200 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 9874 3200 1842 922 0 1826 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 39496 KiB
Current children cumulated memory: 12800 KiB
[startup+6.30028 s]
/proc/loadavg: 4.06 4.09 4.09 5/246 1059236
/proc/meminfo: memFree=126289828/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=40408 memory=14136 CPUtime=6.27 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 1392 0 0 0 610 17 0 0 20 0 1 0 198106524 41377792 3534 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 10102 3534 1842 922 0 2054 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40408 KiB
Current children cumulated memory: 14136 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.09 4.09 5/246 1059236
/proc/meminfo: memFree=126282716/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=41272 memory=15756 CPUtime=12.66 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 1778 0 0 0 1235 31 0 0 20 0 1 0 198106524 42262528 3939 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 10318 3939 1842 922 0 2270 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41272 KiB
Current children cumulated memory: 15756 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.08 4.09 5/246 1059239
/proc/meminfo: memFree=126270564/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=45404 memory=18092 CPUtime=25.43 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 2365 0 0 0 2492 51 0 0 20 0 1 0 198106524 46493696 4523 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 11351 4523 1842 922 0 3303 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 45404 KiB
Current children cumulated memory: 18092 KiB
[startup+51.1128 s]
/proc/loadavg: 4.09 4.09 4.09 5/245 1059289
/proc/meminfo: memFree=126866752/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=46108 memory=19856 CPUtime=50.98 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 2825 0 0 0 5016 82 0 0 20 0 1 0 198106524 47214592 4964 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 11527 4964 1842 922 0 3479 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 46108 KiB
Current children cumulated memory: 19856 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/245 1059298
/proc/meminfo: memFree=126854252/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=51492 memory=22276 CPUtime=102.04 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 3416 0 0 0 10067 137 0 0 20 0 1 0 198106524 52727808 5569 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 12873 5569 1842 922 0 4825 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 51492 KiB
Current children cumulated memory: 22276 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/245 1059308
/proc/meminfo: memFree=126835444/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=54628 memory=25676 CPUtime=161.89 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 4316 0 0 0 16002 187 0 0 20 0 1 0 198106524 55939072 6419 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 13657 6419 1842 922 0 5609 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 54628 KiB
Current children cumulated memory: 25676 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/245 1059319
/proc/meminfo: memFree=126812356/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=68452 memory=35520 CPUtime=221.74 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 6238 0 0 0 21942 232 0 0 20 0 1 0 198106524 70094848 8880 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 17113 8880 1960 922 0 9065 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 68452 KiB
Current children cumulated memory: 35520 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/242 1059330
/proc/meminfo: memFree=126799168/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=69220 memory=36576 CPUtime=281.58 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 6617 0 0 0 27887 271 0 0 20 0 1 0 198106524 70881280 9144 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 17305 9144 1960 922 0 9257 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 69220 KiB
Current children cumulated memory: 36576 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/242 1059340
/proc/meminfo: memFree=126787380/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=69860 memory=39388 CPUtime=341.41 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 6906 0 0 0 33836 305 0 0 20 0 1 0 198106524 71536640 9847 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 17465 9847 1960 922 0 9417 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 69860 KiB
Current children cumulated memory: 39388 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/242 1059350
/proc/meminfo: memFree=126770252/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=73364 memory=45376 CPUtime=401.23 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 7767 0 0 0 39786 337 0 0 20 0 1 0 198106524 75124736 11344 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 18341 11344 1960 922 0 10293 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 73364 KiB
Current children cumulated memory: 45376 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/242 1059361
/proc/meminfo: memFree=126768940/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=73364 memory=45376 CPUtime=461.08 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 7780 0 0 0 45736 372 0 0 20 0 1 0 198106524 75124736 11344 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 18341 11344 1960 922 0 10293 0
################
# More data... #
################
Current children cumulated memory: 72756 KiB
[startup+2862.3 s]
/proc/loadavg: 4.05 4.19 4.17 5/244 1060955
/proc/meminfo: memFree=126516988/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=104036 memory=72756 CPUtime=2855.04 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 13735 0 0 0 284405 1099 0 0 20 0 1 0 198106524 106532864 18189 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26009 18189 1960 922 0 17961 0
Current children cumulated CPU time: 2855.04 s
Current children cumulated vsize: 104036 KiB
Current children cumulated memory: 72756 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/244 1060967
/proc/meminfo: memFree=126512168/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=104036 memory=72904 CPUtime=2914.89 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 13761 0 0 0 290373 1116 0 0 20 0 1 0 198106524 106532864 18226 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26009 18226 1960 922 0 17961 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 104036 KiB
Current children cumulated memory: 72904 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/243 1060988
/proc/meminfo: memFree=126511520/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=104292 memory=72960 CPUtime=2974.73 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 13854 0 0 0 296340 1133 0 0 20 0 1 0 198106524 106795008 18240 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26073 18240 1960 922 0 18025 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 104292 KiB
Current children cumulated memory: 72960 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/243 1060999
/proc/meminfo: memFree=126511248/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=104292 memory=73160 CPUtime=3034.58 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 13879 0 0 0 302309 1149 0 0 20 0 1 0 198106524 106795008 18290 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26073 18290 1960 922 0 18025 0
Current children cumulated CPU time: 3034.58 s
Current children cumulated vsize: 104292 KiB
Current children cumulated memory: 73160 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/243 1061009
/proc/meminfo: memFree=126511372/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=104292 memory=73160 CPUtime=3094.44 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 13905 0 0 0 308278 1166 0 0 20 0 1 0 198106524 106795008 18290 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26073 18290 1960 922 0 18025 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 104292 KiB
Current children cumulated memory: 73160 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/242 1061019
/proc/meminfo: memFree=126509676/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=104292 memory=73160 CPUtime=3154.28 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 13935 0 0 0 314252 1176 0 0 20 0 1 0 198106524 106795008 18290 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26073 18290 1960 922 0 18025 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 104292 KiB
Current children cumulated memory: 73160 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/243 1061031
/proc/meminfo: memFree=126506580/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=105320 memory=75880 CPUtime=3214.12 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 14140 0 0 0 320226 1186 0 0 20 0 1 0 198106524 107847680 18970 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26330 18970 1960 922 0 18282 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 105320 KiB
Current children cumulated memory: 75880 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/243 1061042
/proc/meminfo: memFree=126506032/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=105320 memory=75880 CPUtime=3273.97 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 14169 0 0 0 326200 1197 0 0 20 0 1 0 198106524 107847680 18970 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26330 18970 1960 922 0 18282 0
Current children cumulated CPU time: 3273.97 s
Current children cumulated vsize: 105320 KiB
Current children cumulated memory: 75880 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/243 1061052
/proc/meminfo: memFree=126505728/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=105320 memory=75928 CPUtime=3333.81 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 14213 0 0 0 332175 1206 0 0 20 0 1 0 198106524 107847680 18982 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26330 18982 1960 922 0 18282 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 105320 KiB
Current children cumulated memory: 75928 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/243 1061062
/proc/meminfo: memFree=126504944/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=105576 memory=75972 CPUtime=3393.65 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 14316 0 0 0 338146 1219 0 0 20 0 1 0 198106524 108109824 18993 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26394 18993 1960 922 0 18346 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 105576 KiB
Current children cumulated memory: 75972 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/243 1061073
/proc/meminfo: memFree=126501920/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=105576 memory=76016 CPUtime=3453.5 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 14345 0 0 0 344120 1230 0 0 20 0 1 0 198106524 108109824 19004 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26394 19004 1960 922 0 18346 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 105576 KiB
Current children cumulated memory: 76016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/245 1061087
/proc/meminfo: memFree=126501528/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=105832 memory=76020 CPUtime=3513.33 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 14444 0 0 0 350092 1241 0 0 20 0 1 0 198106524 108371968 19005 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26458 19005 1960 922 0 18410 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 105832 KiB
Current children cumulated memory: 76020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/244 1061097
/proc/meminfo: memFree=126547744/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=105832 memory=76020 CPUtime=3573.19 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 14470 0 0 0 356063 1256 0 0 20 0 1 0 198106524 108371968 19005 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26458 19005 1960 922 0 18410 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 105832 KiB
Current children cumulated memory: 76020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.08 4.11 4.13 5/244 1061239
/proc/meminfo: memFree=125852956/131655788 swapFree=131071996/131071996
[pid=1059234] ppid=1059231 vsize=105832 memory=76020 CPUtime=3600.02 cores=1,3
/proc/1059234/stat : 1059234 (roundingsat) R 1059231 1059234 1056960 0 -1 4194304 14496 0 0 0 358741 1261 0 0 20 0 1 0 198106524 108371968 19005 134679101440 4194304 7968373 140720380813168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 18657280 140720380822460 140720380822624 140720380822624 140720380829641 0
/proc/1059234/statm: 26458 19005 1960 922 0 18410 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 105832 KiB
Current children cumulated memory: 76020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 1059234 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.42 s, system=12.6119 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.03
CPU user time (s): 3587.42
CPU system time (s): 12.6119
CPU usage (%): 99.7458
Max. virtual memory (cumulated for all children) (KiB): 105832
Max. memory (cumulated for all children) (KiB): 76020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.42
system time used= 12.6119
maximum resident set size= 76180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 1982
# summary of solver processes directly reported to runsolver:
# pid: 1059234
# total CPU time (s): 3600.03
# total CPU user time (s): 3587.42
# total CPU system time (s): 12.6119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8701 second user time and 34.5981 second system time
The end
Begin job on nodeC007 at 2024-07-20 09:11:51 IDJOB=4455172 IDBENCH=147594 IDSOLVER=3084 FILE ID=nodeC007/4455172-1721459499 RUNJOBID= nodeC007-1721455877-1056972 SLURM_JOB_ID= 7545690 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455172-1721459499/watcher-4455172-1721459499 -o /tmp/evaluation-result-4455172-1721459499/solver-4455172-1721459499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721455877-1056972 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455172-1721459499.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce RANDOM SEED=1316104342 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3599.517 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3625.055 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.142 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.133 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3646.857 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3653.571 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.338 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.248 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126300740 kB MemAvailable: 129183188 kB Buffers: 549420 kB Cached: 3168748 kB SwapCached: 0 kB Active: 1120732 kB Inactive: 3658704 kB Active(anon): 1484 kB Inactive(anon): 1105348 kB Active(file): 1119248 kB Inactive(file): 2553356 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 16252 kB Writeback: 0 kB AnonPages: 1060712 kB Mapped: 117928 kB Shmem: 45896 kB KReclaimable: 99752 kB Slab: 203384 kB SReclaimable: 99752 kB SUnreclaim: 103632 kB KernelStack: 4016 kB PageTables: 11636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1640728 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61792 kB HardwareCorrupted: 0 kB AnonHugePages: 307200 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: 279368 kB DirectMap2M: 27936768 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723720 MiB End job on nodeC007 at 2024-07-20 10:12:01