| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 3 | 3600.03 | 3608.9 |
| 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 3061 >= 0 @ 0 0.00/0.00 c rational objective 0 0.20/0.22 c bounds 269 >= 0 @ 0.009163 0.20/0.22 c bounds 222 >= 0 @ 0.009384 0.20/0.22 c bounds 189 >= 0 @ 0.014298 0.20/0.22 c bounds 187 >= 0 @ 0.015097 0.20/0.22 c bounds 81 >= 0 @ 0.017284 0.20/0.22 c bounds 79 >= 0 @ 0.018374 0.20/0.22 c bounds 77 >= 0 @ 0.019056 0.20/0.22 c #Conflicts: 1000 | #Constraints: 1038 0.20/0.22 c #Conflicts: 2000 | #Constraints: 2045 0.20/0.22 c INPROCESSING 0.20/0.22 c GARBAGE COLLECT 0.20/0.22 c rational objective 0 0.50/0.57 c bounds 75 >= 0 @ 0.216747 0.50/0.57 c bounds 73 >= 0 @ 0.217208 0.50/0.57 c bounds 71 >= 0 @ 0.217544 0.50/0.57 c bounds 69 >= 0 @ 0.217804 0.50/0.57 c bounds 67 >= 0 @ 0.217804 0.50/0.57 c bounds 61 >= 0 @ 0.257161 0.50/0.57 c bounds 59 >= 0 @ 0.257688 0.50/0.57 c bounds 51 >= 0 @ 0.257697 0.50/0.57 c bounds 49 >= 0 @ 0.257697 0.50/0.57 c bounds 45 >= 0 @ 0.262414 0.50/0.57 c bounds 41 >= 0 @ 0.262846 0.50/0.57 c bounds 37 >= 0 @ 0.263451 0.50/0.57 c bounds 35 >= 0 @ 0.264935 0.50/0.57 c bounds 33 >= 0 @ 0.265493 0.50/0.57 c bounds 31 >= 0 @ 0.266478 0.50/0.57 c #Conflicts: 3000 | #Constraints: 2057 0.50/0.57 c bounds 29 >= 0 @ 0.377175 0.50/0.57 c #Conflicts: 4000 | #Constraints: 3064 0.50/0.57 c INPROCESSING 0.50/0.57 c GARBAGE COLLECT 0.50/0.57 c rational objective 0 0.99/1.03 c bounds 27 >= 0 @ 0.544114 0.99/1.03 c #Conflicts: 5000 | #Constraints: 2453 0.99/1.03 c bounds 25 >= 0 @ 0.674764 0.99/1.03 c #Conflicts: 6000 | #Constraints: 3462 0.99/1.03 c INPROCESSING 0.99/1.03 c GARBAGE COLLECT 0.99/1.03 c rational objective 0 1.48/1.59 c #Conflicts: 7000 | #Constraints: 2451 1.48/1.59 c bounds 24 >= 0 @ 1.10117 1.48/1.59 c bounds 22 >= 0 @ 1.10202 1.48/1.59 c #Conflicts: 8000 | #Constraints: 3459 1.48/1.59 c #Conflicts: 9000 | #Constraints: 4466 1.48/1.59 c INPROCESSING 1.48/1.59 c GARBAGE COLLECT 1.48/1.59 c rational objective 0 2.19/2.20 c #Conflicts: 10000 | #Constraints: 3152 2.19/2.20 c #Conflicts: 11000 | #Constraints: 4158 2.19/2.20 c #Conflicts: 12000 | #Constraints: 5163 2.19/2.20 c INPROCESSING 2.19/2.20 c GARBAGE COLLECT 2.19/2.20 c rational objective 0 2.88/2.94 c #Conflicts: 13000 | #Constraints: 3597 2.88/2.94 c #Conflicts: 14000 | #Constraints: 4601 2.88/2.94 c bounds 21 >= 0 @ 2.57975 2.88/2.94 c #Conflicts: 15000 | #Constraints: 5609 2.88/2.94 c INPROCESSING 2.88/2.94 c GARBAGE COLLECT 2.88/2.94 c rational objective 0 3.78/3.84 c #Conflicts: 16000 | #Constraints: 3822 3.78/3.84 c #Conflicts: 17000 | #Constraints: 4823 3.78/3.84 c #Conflicts: 18000 | #Constraints: 5824 3.78/3.84 c INPROCESSING 3.78/3.84 c GARBAGE COLLECT 3.78/3.84 c rational objective 0 4.77/4.85 c #Conflicts: 19000 | #Constraints: 3829 4.77/4.85 c bounds 19 >= 0 @ 3.92444 4.77/4.85 c #Conflicts: 20000 | #Constraints: 4838 4.77/4.85 c #Conflicts: 21000 | #Constraints: 5841 4.77/4.85 c INPROCESSING 4.77/4.85 c GARBAGE COLLECT 4.77/4.85 c rational objective 0 5.67/5.74 c #Conflicts: 22000 | #Constraints: 3643 5.67/5.74 c #Conflicts: 23000 | #Constraints: 4648 5.67/5.74 c #Conflicts: 24000 | #Constraints: 5653 5.67/5.74 c #Conflicts: 25000 | #Constraints: 6654 5.67/5.74 c INPROCESSING 5.67/5.74 c GARBAGE COLLECT 5.67/5.74 c rational objective 0 6.97/7.03 c bounds 18 >= 0 @ 5.7725 6.97/7.03 c #Conflicts: 26000 | #Constraints: 4243 6.97/7.03 c #Conflicts: 27000 | #Constraints: 5247 6.97/7.03 c #Conflicts: 28000 | #Constraints: 6249 6.97/7.03 c #Conflicts: 29000 | #Constraints: 7253 6.97/7.03 c INPROCESSING 6.97/7.03 c GARBAGE COLLECT 6.97/7.03 c rational objective 0 8.17/8.22 c #Conflicts: 30000 | #Constraints: 4648 8.17/8.22 c #Conflicts: 31000 | #Constraints: 5652 8.17/8.22 c #Conflicts: 32000 | #Constraints: 6655 8.17/8.22 c #Conflicts: 33000 | #Constraints: 7655 8.17/8.22 c INPROCESSING 8.17/8.22 c GARBAGE COLLECT 8.17/8.22 c rational objective 0 9.76/9.84 c #Conflicts: 34000 | #Constraints: 4847 9.76/9.84 c bounds 17 >= 0 @ 8.34993 9.76/9.84 c #Conflicts: 35000 | #Constraints: 5851 9.76/9.84 c #Conflicts: 36000 | #Constraints: 6852 9.76/9.84 c #Conflicts: 37000 | #Constraints: 7853 9.76/9.84 c INPROCESSING 9.76/9.84 c GARBAGE COLLECT 9.76/9.84 c rational objective 0 11.56/11.66 c bounds 15 >= 0 @ 9.5513 11.56/11.66 c #Conflicts: 38000 | #Constraints: 4847 11.56/11.66 c #Conflicts: 39000 | #Constraints: 5854 11.56/11.66 c #Conflicts: 40000 | #Constraints: 6857 11.56/11.66 c #Conflicts: 41000 | #Constraints: 7858 11.56/11.66 c INPROCESSING 11.56/11.66 c GARBAGE COLLECT 11.56/11.66 c rational objective 0 13.25/13.37 c #Conflicts: 42000 | #Constraints: 4646 13.25/13.37 c #Conflicts: 43000 | #Constraints: 5649 13.25/13.37 c #Conflicts: 44000 | #Constraints: 6651 13.25/13.37 c #Conflicts: 45000 | #Constraints: 7651 13.25/13.37 c #Conflicts: 46000 | #Constraints: 8653 13.25/13.37 c INPROCESSING 13.25/13.37 c GARBAGE COLLECT 13.25/13.37 c rational objective 0 15.54/15.64 c #Conflicts: 47000 | #Constraints: 5244 15.54/15.64 c #Conflicts: 48000 | #Constraints: 6246 15.54/15.64 c #Conflicts: 49000 | #Constraints: 7247 15.54/15.64 c #Conflicts: 50000 | #Constraints: 8250 15.54/15.64 c #Conflicts: 51000 | #Constraints: 9252 15.54/15.64 c INPROCESSING 15.54/15.64 c GARBAGE COLLECT 15.54/15.64 c rational objective 0 17.54/17.67 c #Conflicts: 52000 | #Constraints: 5649 17.54/17.67 c #Conflicts: 53000 | #Constraints: 6650 17.54/17.67 c #Conflicts: 54000 | #Constraints: 7651 17.54/17.67 c #Conflicts: 55000 | #Constraints: 8653 17.54/17.67 c #Conflicts: 56000 | #Constraints: 9654 17.54/17.67 c INPROCESSING 17.54/17.67 c GARBAGE COLLECT 17.54/17.67 c rational objective 0 19.83/19.95 c bounds 13 >= 0 @ 17.7258 19.83/19.95 c #Conflicts: 57000 | #Constraints: 5840 19.83/19.95 c #Conflicts: 58000 | #Constraints: 6845 19.83/19.95 c #Conflicts: 59000 | #Constraints: 7845 19.83/19.95 c #Conflicts: 60000 | #Constraints: 8845 19.83/19.95 c #Conflicts: 61000 | #Constraints: 9846 19.83/19.95 c INPROCESSING 19.83/19.95 c GARBAGE COLLECT 19.83/19.95 c rational objective 0 22.63/22.78 c #Conflicts: 62000 | #Constraints: 5840 22.63/22.78 c #Conflicts: 63000 | #Constraints: 6840 22.63/22.78 c bounds 11 >= 0 @ 20.3651 22.63/22.78 c #Conflicts: 64000 | #Constraints: 7842 22.63/22.78 c #Conflicts: 65000 | #Constraints: 8844 22.63/22.78 c #Conflicts: 66000 | #Constraints: 9849 22.63/22.78 c INPROCESSING 22.63/22.78 c GARBAGE COLLECT 22.63/22.78 c rational objective 0 25.12/25.28 c #Conflicts: 67000 | #Constraints: 5646 25.12/25.28 c #Conflicts: 68000 | #Constraints: 6647 25.12/25.28 c #Conflicts: 69000 | #Constraints: 7649 25.12/25.28 c #Conflicts: 70000 | #Constraints: 8650 25.12/25.28 c #Conflicts: 71000 | #Constraints: 9650 25.12/25.28 c #Conflicts: 72000 | #Constraints: 10650 25.12/25.28 c INPROCESSING 25.12/25.28 c GARBAGE COLLECT 25.12/25.28 c rational objective 0 28.61/28.79 c #Conflicts: 73000 | #Constraints: 6245 28.61/28.79 c #Conflicts: 74000 | #Constraints: 7248 28.61/28.79 c #Conflicts: 75000 | #Constraints: 8252 28.61/28.79 c #Conflicts: 76000 | #Constraints: 9258 28.61/28.79 c #Conflicts: 77000 | #Constraints: 10259 28.61/28.79 c #Conflicts: 78000 | #Constraints: 11260 28.61/28.79 c INPROCESSING 28.61/28.79 c GARBAGE COLLECT 28.61/28.79 c rational objective 0 32.01/32.10 c #Conflicts: 79000 | #Constraints: 6655 32.01/32.10 c #Conflicts: 80000 | #Constraints: 7657 32.01/32.10 c #Conflicts: 81000 | #Constraints: 8658 32.01/32.10 c #Conflicts: 82000 | #Constraints: 9658 32.01/32.10 c #Conflicts: 83000 | #Constraints: 10658 32.01/32.10 c #Conflicts: 84000 | #Constraints: 11658 32.01/32.10 c INPROCESSING 32.01/32.10 c GARBAGE COLLECT 32.01/32.10 c rational objective 0 36.09/36.25 c #Conflicts: 85000 | #Constraints: 6848 36.09/36.25 c #Conflicts: 86000 | #Constraints: 7850 36.09/36.25 c #Conflicts: 87000 | #Constraints: 8851 36.09/36.25 c #Conflicts: 88000 | #Constraints: 9851 36.09/36.25 c #Conflicts: 89000 | #Constraints: 10853 36.09/36.25 c #Conflicts: 90000 | #Constraints: 11854 36.09/36.25 c INPROCESSING 36.09/36.25 c GARBAGE COLLECT 36.09/36.25 c rational objective 0 39.89/40.09 c #Conflicts: 91000 | #Constraints: 6846 39.89/40.09 c #Conflicts: 92000 | #Constraints: 7846 39.89/40.09 c #Conflicts: 93000 | #Constraints: 8849 39.89/40.09 c #Conflicts: 94000 | #Constraints: 9850 39.89/40.09 c #Conflicts: 95000 | #Constraints: 10850 39.89/40.09 c #Conflicts: 96000 | #Constraints: 11852 39.89/40.09 c INPROCESSING 39.89/40.09 c GARBAGE COLLECT 39.89/40.09 c rational objective 0 44.47/44.69 c #Conflicts: 97000 | #Constraints: 6643 44.47/44.69 c #Conflicts: 98000 | #Constraints: 7644 44.47/44.69 c #Conflicts: 99000 | #Constraints: 8645 44.47/44.69 c #Conflicts: 100000 | #Constraints: 9645 44.47/44.69 c #Conflicts: 101000 | #Constraints: 10645 44.47/44.69 c #Conflicts: 102000 | #Constraints: 11645 44.47/44.69 c #Conflicts: 103000 | #Constraints: 12648 44.47/44.69 c INPROCESSING 44.47/44.69 c GARBAGE COLLECT 44.47/44.69 c rational objective 0 48.26/48.47 c #Conflicts: 104000 | #Constraints: 7243 48.26/48.47 c #Conflicts: 105000 | #Constraints: 8243 48.26/48.47 c #Conflicts: 106000 | #Constraints: 9244 48.26/48.47 c #Conflicts: 107000 | #Constraints: 10245 48.26/48.47 c #Conflicts: 108000 | #Constraints: 11245 48.26/48.47 c #Conflicts: 109000 | #Constraints: 12245 48.26/48.47 c #Conflicts: 110000 | #Constraints: 13246 48.26/48.47 c INPROCESSING 48.26/48.47 c GARBAGE COLLECT 48.26/48.47 c rational objective 0 52.44/52.62 c #Conflicts: 111000 | #Constraints: 7640 52.44/52.62 c #Conflicts: 112000 | #Constraints: 8640 52.44/52.62 c #Conflicts: 113000 | #Constraints: 9640 52.44/52.62 c #Conflicts: 114000 | #Constraints: 10640 52.44/52.62 c #Conflicts: 115000 | #Constraints: 11642 52.44/52.62 c #Conflicts: 116000 | #Constraints: 12643 52.44/52.62 c #Conflicts: 117000 | #Constraints: 13643 52.44/52.62 c INPROCESSING 52.44/52.62 c GARBAGE COLLECT 52.44/52.62 c rational objective 0 57.73/57.98 c #Conflicts: 118000 | #Constraints: 7838 57.73/57.98 c #Conflicts: 119000 | #Constraints: 8838 57.73/57.98 c #Conflicts: 120000 | #Constraints: 9838 57.73/57.98 c bounds 10 >= 0 @ 53.9776 57.73/57.98 c #Conflicts: 121000 | #Constraints: 10839 57.73/57.98 c #Conflicts: 122000 | #Constraints: 11839 57.73/57.98 c #Conflicts: 123000 | #Constraints: 12839 57.73/57.98 c #Conflicts: 124000 | #Constraints: 13840 57.73/57.98 c INPROCESSING 57.73/57.98 c GARBAGE COLLECT 57.73/57.98 c rational objective 0 62.32/62.52 c #Conflicts: 125000 | #Constraints: 7838 62.32/62.52 c #Conflicts: 126000 | #Constraints: 8839 62.32/62.52 c #Conflicts: 127000 | #Constraints: 9839 62.32/62.52 c #Conflicts: 128000 | #Constraints: 10839 62.32/62.52 c #Conflicts: 129000 | #Constraints: 11839 62.32/62.52 c #Conflicts: 130000 | #Constraints: 12841 62.32/62.52 c #Conflicts: 131000 | #Constraints: 13841 62.32/62.52 c INPROCESSING 62.32/62.52 c GARBAGE COLLECT 62.32/62.52 c rational objective 0 68.00/68.21 c #Conflicts: 132000 | #Constraints: 7635 68.00/68.21 c #Conflicts: 133000 | #Constraints: 8636 68.00/68.21 c #Conflicts: 134000 | #Constraints: 9636 68.00/68.21 c #Conflicts: 135000 | #Constraints: 10638 68.00/68.21 c #Conflicts: 136000 | #Constraints: 11639 68.00/68.21 c #Conflicts: 137000 | #Constraints: 12639 68.00/68.21 c #Conflicts: 138000 | #Constraints: 13639 68.00/68.21 c #Conflicts: 139000 | #Constraints: 14639 68.00/68.21 c INPROCESSING 68.00/68.21 c GARBAGE COLLECT 68.00/68.21 c rational objective 0 73.59/73.84 c #Conflicts: 140000 | #Constraints: 8243 73.59/73.84 c #Conflicts: 141000 | #Constraints: 9245 73.59/73.84 c #Conflicts: 142000 | #Constraints: 10246 73.59/73.84 c #Conflicts: 143000 | #Constraints: 11247 73.59/73.84 c #Conflicts: 144000 | #Constraints: 12248 73.59/73.84 c #Conflicts: 145000 | #Constraints: 13248 73.59/73.84 c #Conflicts: 146000 | #Constraints: 14250 73.59/73.84 c #Conflicts: 147000 | #Constraints: 15250 73.59/73.84 c INPROCESSING 73.59/73.84 c GARBAGE COLLECT 73.59/73.84 c rational objective 0 79.97/80.25 c #Conflicts: 148000 | #Constraints: 8642 79.97/80.25 c #Conflicts: 149000 | #Constraints: 9645 79.97/80.25 c #Conflicts: 150000 | #Constraints: 10645 79.97/80.25 c #Conflicts: 151000 | #Constraints: 11649 79.97/80.25 c #Conflicts: 152000 | #Constraints: 12650 79.97/80.25 c #Conflicts: 153000 | #Constraints: 13653 79.97/80.25 c #Conflicts: 154000 | #Constraints: 14655 79.97/80.25 c #Conflicts: 155000 | #Constraints: 15655 79.97/80.25 c INPROCESSING 79.97/80.25 c GARBAGE COLLECT 79.97/80.25 c rational objective 0 85.45/85.73 c #Conflicts: 156000 | #Constraints: 8852 85.45/85.73 c #Conflicts: 157000 | #Constraints: 9852 85.45/85.73 c #Conflicts: 158000 | #Constraints: 10852 85.45/85.73 c #Conflicts: 159000 | #Constraints: 11852 85.45/85.73 c #Conflicts: 160000 | #Constraints: 12853 85.45/85.73 c #Conflicts: 161000 | #Constraints: 13853 85.45/85.73 c #Conflicts: 162000 | #Constraints: 14853 85.45/85.73 c #Conflicts: 163000 | #Constraints: 15853 85.45/85.73 c INPROCESSING 85.45/85.73 c GARBAGE COLLECT 85.45/85.73 c rational objective 0 91.44/91.79 c #Conflicts: 164000 | #Constraints: 8844 91.44/91.79 c #Conflicts: 165000 | #Constraints: 9844 91.44/91.79 c #Conflicts: 166000 | #Constraints: 10845 91.44/91.79 c bounds 8 >= 0 @ 86.8803 91.44/91.79 c #Conflicts: 167000 | #Constraints: 11846 91.44/91.79 c #Conflicts: 168000 | #Constraints: 12846 91.44/91.79 c #Conflicts: 169000 | #Constraints: 13846 91.44/91.79 c #Conflicts: 170000 | #Constraints: 14846 91.44/91.79 c #Conflicts: 171000 | #Constraints: 15847 91.44/91.79 c INPROCESSING 91.44/91.79 c GARBAGE COLLECT 91.44/91.79 c rational objective 0 98.22/98.50 c #Conflicts: 172000 | #Constraints: 8632 98.22/98.50 c #Conflicts: 173000 | #Constraints: 9635 98.22/98.50 c #Conflicts: 174000 | #Constraints: 10637 98.22/98.50 c #Conflicts: 175000 | #Constraints: 11637 98.22/98.50 c #Conflicts: 176000 | #Constraints: 12637 98.22/98.50 c #Conflicts: 177000 | #Constraints: 13639 98.22/98.50 c #Conflicts: 178000 | #Constraints: 14640 98.22/98.50 c #Conflicts: 179000 | #Constraints: 15641 98.22/98.50 c #Conflicts: 180000 | #Constraints: 16641 98.22/98.50 c INPROCESSING 98.22/98.50 c GARBAGE COLLECT 98.22/98.50 c rational objective 0 105.10/105.46 c #Conflicts: 181000 | #Constraints: 9238 105.10/105.46 c #Conflicts: 182000 | #Constraints: 10238 105.10/105.46 c #Conflicts: 183000 | #Constraints: 11239 105.10/105.46 c #Conflicts: 184000 | #Constraints: 12239 105.10/105.46 c #Conflicts: 185000 | #Constraints: 13240 105.10/105.46 c #Conflicts: 186000 | #Constraints: 14240 105.10/105.46 c #Conflicts: 187000 | #Constraints: 15240 105.10/105.46 c #Conflicts: 188000 | #Constraints: 16240 105.10/105.46 c #Conflicts: 189000 | #Constraints: 17240 105.10/105.46 c INPROCESSING 105.10/105.46 c GARBAGE COLLECT 105.10/105.46 c rational objective 0 113.17/113.54 c #Conflicts: 190000 | #Constraints: 9640 113.17/113.54 c #Conflicts: 191000 | #Constraints: 10641 113.17/113.54 c #Conflicts: 192000 | #Constraints: 11642 113.17/113.54 c #Conflicts: 193000 | #Constraints: 12643 113.17/113.54 c #Conflicts: 194000 | #Constraints: 13645 113.17/113.54 c #Conflicts: 195000 | #Constraints: 14645 113.17/113.54 c #Conflicts: 196000 | #Constraints: 15645 113.17/113.54 c #Conflicts: 197000 | #Constraints: 16645 113.17/113.54 c #Conflicts: 198000 | #Constraints: 17645 113.17/113.54 c INPROCESSING 113.17/113.54 c GARBAGE COLLECT 113.17/113.54 c rational objective 0 120.76/121.19 c #Conflicts: 199000 | #Constraints: 9842 120.76/121.19 c #Conflicts: 200000 | #Constraints: 10842 120.76/121.19 c #Conflicts: 201000 | #Constraints: 11842 120.76/121.19 c #Conflicts: 202000 | #Constraints: 12842 120.76/121.19 c #Conflicts: 203000 | #Constraints: 13843 120.76/121.19 c #Conflicts: 204000 | #Constraints: 14843 120.76/121.19 c #Conflicts: 205000 | #Constraints: 15843 120.76/121.19 c #Conflicts: 206000 | #Constraints: 16843 120.76/121.19 c #Conflicts: 207000 | #Constraints: 17844 120.76/121.19 c INPROCESSING 120.76/121.19 c GARBAGE COLLECT 120.76/121.19 c rational objective 0 129.93/130.32 c #Conflicts: 208000 | #Constraints: 9842 129.93/130.32 c #Conflicts: 209000 | #Constraints: 10842 129.93/130.32 c #Conflicts: 210000 | #Constraints: 11842 129.93/130.32 c #Conflicts: 211000 | #Constraints: 12842 129.93/130.32 c #Conflicts: 212000 | #Constraints: 13842 129.93/130.32 c #Conflicts: 213000 | #Constraints: 14843 129.93/130.32 c #Conflicts: 214000 | #Constraints: 15844 129.93/130.32 c #Conflicts: 215000 | #Constraints: 16844 129.93/130.32 c #Conflicts: 216000 | #Constraints: 17844 129.93/130.32 c INPROCESSING 129.93/130.32 c GARBAGE COLLECT 129.93/130.32 c rational objective 0 139.29/139.74 c #Conflicts: 217000 | #Constraints: 9644 139.29/139.74 c #Conflicts: 218000 | #Constraints: 10644 139.29/139.74 c #Conflicts: 219000 | #Constraints: 11645 139.29/139.74 c #Conflicts: 220000 | #Constraints: 12646 139.29/139.74 c #Conflicts: 221000 | #Constraints: 13647 139.29/139.74 c #Conflicts: 222000 | #Constraints: 14647 139.29/139.74 c #Conflicts: 223000 | #Constraints: 15647 139.29/139.74 c #Conflicts: 224000 | #Constraints: 16647 139.29/139.74 c #Conflicts: 225000 | #Constraints: 17647 139.29/139.74 c #Conflicts: 226000 | #Constraints: 18648 139.29/139.74 c INPROCESSING 139.29/139.74 c GARBAGE COLLECT 139.29/139.74 c rational objective 0 149.67/150.14 c #Conflicts: 227000 | #Constraints: 10241 149.67/150.14 c #Conflicts: 228000 | #Constraints: 11241 149.67/150.14 c #Conflicts: 229000 | #Constraints: 12241 149.67/150.14 c #Conflicts: 230000 | #Constraints: 13241 149.67/150.14 c #Conflicts: 231000 | #Constraints: 14241 149.67/150.14 c #Conflicts: 232000 | #Constraints: 15244 149.67/150.14 c #Conflicts: 233000 | #Constraints: 16246 149.67/150.14 c #Conflicts: 234000 | #Constraints: 17248 149.67/150.14 c #Conflicts: 235000 | #Constraints: 18248 149.67/150.14 c #Conflicts: 236000 | #Constraints: 19248 149.67/150.14 c INPROCESSING 149.67/150.14 c GARBAGE COLLECT 149.67/150.14 c rational objective 0 158.84/159.31 c #Conflicts: 237000 | #Constraints: 10640 158.84/159.31 c #Conflicts: 238000 | #Constraints: 11640 158.84/159.31 c #Conflicts: 239000 | #Constraints: 12641 158.84/159.31 c #Conflicts: 240000 | #Constraints: 13641 158.84/159.31 c #Conflicts: 241000 | #Constraints: 14641 158.84/159.31 c #Conflicts: 242000 | #Constraints: 15641 158.84/159.31 c #Conflicts: 243000 | #Constraints: 16641 158.84/159.31 c #Conflicts: 244000 | #Constraints: 17641 158.84/159.31 c #Conflicts: 245000 | #Constraints: 18641 158.84/159.31 c #Conflicts: 246000 | #Constraints: 19641 158.84/159.31 c INPROCESSING 158.84/159.31 c GARBAGE COLLECT 158.84/159.31 c rational objective 0 168.12/168.62 c #Conflicts: 247000 | #Constraints: 10839 168.12/168.62 c #Conflicts: 248000 | #Constraints: 11839 168.12/168.62 c #Conflicts: 249000 | #Constraints: 12840 168.12/168.62 c #Conflicts: 250000 | #Constraints: 13840 168.12/168.62 c #Conflicts: 251000 | #Constraints: 14840 168.12/168.62 c #Conflicts: 252000 | #Constraints: 15840 168.12/168.62 c #Conflicts: 253000 | #Constraints: 16840 168.12/168.62 c #Conflicts: 254000 | #Constraints: 17840 168.12/168.62 c #Conflicts: 255000 | #Constraints: 18840 168.12/168.62 c #Conflicts: 256000 | #Constraints: 19840 168.12/168.62 c INPROCESSING 168.12/168.62 c GARBAGE COLLECT 168.12/168.62 c rational objective 0 179.78/180.38 c #Conflicts: 257000 | #Constraints: 10839 179.78/180.38 c #Conflicts: 258000 | #Constraints: 11840 179.78/180.38 c #Conflicts: 259000 | #Constraints: 12840 179.78/180.38 c #Conflicts: 260000 | #Constraints: 13840 179.78/180.38 c #Conflicts: 261000 | #Constraints: 14840 179.78/180.38 c #Conflicts: 262000 | #Constraints: 15840 179.78/180.38 c #Conflicts: 263000 | #Constraints: 16841 179.78/180.38 c #Conflicts: 264000 | #Constraints: 17841 179.78/180.38 c #Conflicts: 265000 | #Constraints: 18841 179.78/180.38 c #Conflicts: 266000 | #Constraints: 19842 179.78/180.38 c INPROCESSING 179.78/180.38 c GARBAGE COLLECT 179.78/180.38 c rational objective 0 195.63/196.28 c #Conflicts: 267000 | #Constraints: 10761 195.63/196.28 c #Conflicts: 268000 | #Constraints: 12285 195.63/196.28 c #Conflicts: 269000 | #Constraints: 13867 195.63/196.28 c #Conflicts: 270000 | #Constraints: 15516 195.63/196.28 c #Conflicts: 271000 | #Constraints: 17163 195.63/196.28 c #Conflicts: 272000 | #Constraints: 18723 195.63/196.28 c #Conflicts: 273000 | #Constraints: 20179 195.63/196.28 c #Conflicts: 274000 | #Constraints: 21795 195.63/196.28 c #Conflicts: 275000 | #Constraints: 22796 195.63/196.28 c #Conflicts: 276000 | #Constraints: 23868 195.63/196.28 c #Conflicts: 277000 | #Constraints: 25255 195.63/196.28 c INPROCESSING 195.63/196.28 c GARBAGE COLLECT 195.63/196.28 c rational objective 0 216.38/217.01 c #Conflicts: 278000 | #Constraints: 13941 216.38/217.01 c #Conflicts: 279000 | #Constraints: 15544 216.38/217.01 c #Conflicts: 280000 | #Constraints: 17091 216.38/217.01 c #Conflicts: 281000 | #Constraints: 18500 216.38/217.01 c #Conflicts: 282000 | #Constraints: 20071 216.38/217.01 c #Conflicts: 283000 | #Constraints: 21544 216.38/217.01 c #Conflicts: 284000 | #Constraints: 23166 216.38/217.01 c #Conflicts: 285000 | #Constraints: 24694 216.38/217.01 c #Conflicts: 286000 | #Constraints: 26230 216.38/217.01 c #Conflicts: 287000 | #Constraints: 27790 216.38/217.01 c #Conflicts: 288000 | #Constraints: 29387 216.38/217.01 c INPROCESSING 216.38/217.01 c GARBAGE COLLECT 216.38/217.01 c rational objective 0 230.03/230.71 c #Conflicts: 289000 | #Constraints: 15848 230.03/230.71 c #Conflicts: 290000 | #Constraints: 16951 230.03/230.71 c #Conflicts: 291000 | #Constraints: 17952 230.03/230.71 c #Conflicts: 292000 | #Constraints: 19043 230.03/230.71 c #Conflicts: 293000 | #Constraints: 20043 230.03/230.71 c #Conflicts: 294000 | #Constraints: 21045 230.03/230.71 c #Conflicts: 295000 | #Constraints: 22436 230.03/230.71 c #Conflicts: 296000 | #Constraints: 23714 230.03/230.71 c #Conflicts: 297000 | #Constraints: 24740 230.03/230.71 c #Conflicts: 298000 | #Constraints: 25744 230.03/230.71 c #Conflicts: 299000 | #Constraints: 26744 230.03/230.71 c INPROCESSING 230.03/230.71 c GARBAGE COLLECT 230.03/230.71 c rational objective 0 252.05/252.81 c #Conflicts: 300000 | #Constraints: 14675 252.05/252.81 c #Conflicts: 301000 | #Constraints: 16229 252.05/252.81 c #Conflicts: 302000 | #Constraints: 17802 252.05/252.81 c #Conflicts: 303000 | #Constraints: 19087 252.05/252.81 c #Conflicts: 304000 | #Constraints: 20490 252.05/252.81 c #Conflicts: 305000 | #Constraints: 21565 252.05/252.81 c #Conflicts: 306000 | #Constraints: 22642 252.05/252.81 c #Conflicts: 307000 | #Constraints: 24138 252.05/252.81 c #Conflicts: 308000 | #Constraints: 25467 252.05/252.81 c #Conflicts: 309000 | #Constraints: 27074 252.05/252.81 c #Conflicts: 310000 | #Constraints: 28480 252.05/252.81 c INPROCESSING 252.05/252.81 c GARBAGE COLLECT 252.05/252.81 c rational objective 0 268.92/269.77 c #Conflicts: 311000 | #Constraints: 15340 268.92/269.77 c #Conflicts: 312000 | #Constraints: 16455 268.92/269.77 c #Conflicts: 313000 | #Constraints: 17923 268.92/269.77 c #Conflicts: 314000 | #Constraints: 18985 268.92/269.77 c #Conflicts: 315000 | #Constraints: 20229 268.92/269.77 c #Conflicts: 316000 | #Constraints: 21408 268.92/269.77 c #Conflicts: 317000 | #Constraints: 22489 268.92/269.77 c #Conflicts: 318000 | #Constraints: 23489 268.92/269.77 c #Conflicts: 319000 | #Constraints: 24878 268.92/269.77 c #Conflicts: 320000 | #Constraints: 26504 268.92/269.77 c #Conflicts: 321000 | #Constraints: 28116 268.92/269.77 c INPROCESSING 268.92/269.77 c GARBAGE COLLECT 268.92/269.77 c rational objective 0 289.67/290.52 c #Conflicts: 322000 | #Constraints: 15188 289.67/290.52 c #Conflicts: 323000 | #Constraints: 16829 289.67/290.52 c #Conflicts: 324000 | #Constraints: 18236 289.67/290.52 c #Conflicts: 325000 | #Constraints: 19660 289.67/290.52 c #Conflicts: 326000 | #Constraints: 20956 289.67/290.52 c #Conflicts: 327000 | #Constraints: 22029 289.67/290.52 c #Conflicts: 328000 | #Constraints: 23355 289.67/290.52 c #Conflicts: 329000 | #Constraints: 24797 289.67/290.52 c #Conflicts: 330000 | #Constraints: 26412 289.67/290.52 c #Conflicts: 331000 | #Constraints: 27726 289.67/290.52 c #Conflicts: 332000 | #Constraints: 29083 289.67/290.52 c #Conflicts: 333000 | #Constraints: 30688 289.67/290.52 c INPROCESSING 289.67/290.52 c GARBAGE COLLECT 289.67/290.52 c rational objective 0 315.41/316.33 c #Conflicts: 334000 | #Constraints: 16630 315.41/316.33 c #Conflicts: 335000 | #Constraints: 18047 315.41/316.33 c #Conflicts: 336000 | #Constraints: 19578 315.41/316.33 c #Conflicts: 337000 | #Constraints: 20907 315.41/316.33 c #Conflicts: 338000 | #Constraints: 22357 315.41/316.33 c #Conflicts: 339000 | #Constraints: 23682 315.41/316.33 c #Conflicts: 340000 | #Constraints: 24919 315.41/316.33 c #Conflicts: 341000 | #Constraints: 26325 315.41/316.33 c #Conflicts: 342000 | #Constraints: 27814 315.41/316.33 c #Conflicts: 343000 | #Constraints: 29118 315.41/316.33 c #Conflicts: 344000 | #Constraints: 30313 315.41/316.33 c #Conflicts: 345000 | #Constraints: 31338 315.41/316.33 c INPROCESSING 315.41/316.33 c GARBAGE COLLECT 315.41/316.33 c rational objective 0 337.25/338.28 c #Conflicts: 346000 | #Constraints: 17117 337.25/338.28 c #Conflicts: 347000 | #Constraints: 18620 337.25/338.28 c #Conflicts: 348000 | #Constraints: 20274 337.25/338.28 c #Conflicts: 349000 | #Constraints: 21917 337.25/338.28 c #Conflicts: 350000 | #Constraints: 23516 337.25/338.28 c #Conflicts: 351000 | #Constraints: 25088 337.25/338.28 c #Conflicts: 352000 | #Constraints: 26737 337.25/338.28 c #Conflicts: 353000 | #Constraints: 28361 337.25/338.28 c #Conflicts: 354000 | #Constraints: 29989 337.25/338.28 c #Conflicts: 355000 | #Constraints: 31637 337.25/338.28 c #Conflicts: 356000 | #Constraints: 33279 337.25/338.28 c #Conflicts: 357000 | #Constraints: 34942 337.25/338.28 c INPROCESSING 337.25/338.28 c GARBAGE COLLECT 337.25/338.28 c rational objective 0 363.19/364.28 c bounds 7 >= 0 @ 335.742 363.19/364.28 c bounds 3 >= 0 @ 335.749 363.19/364.28 c #Conflicts: 358000 | #Constraints: 18690 363.19/364.28 c #Conflicts: 359000 | #Constraints: 19898 363.19/364.28 c #Conflicts: 360000 | #Constraints: 21042 363.19/364.28 c #Conflicts: 361000 | #Constraints: 22105 363.19/364.28 c #Conflicts: 362000 | #Constraints: 23390 363.19/364.28 c #Conflicts: 363000 | #Constraints: 24830 363.19/364.28 c #Conflicts: 364000 | #Constraints: 26303 363.19/364.28 c #Conflicts: 365000 | #Constraints: 27647 363.19/364.28 c #Conflicts: 366000 | #Constraints: 28864 363.19/364.28 c #Conflicts: 367000 | #Constraints: 30231 363.19/364.28 c #Conflicts: 368000 | #Constraints: 31713 363.19/364.28 c #Conflicts: 369000 | #Constraints: 33023 363.19/364.28 c INPROCESSING 363.19/364.28 c GARBAGE COLLECT 363.19/364.28 c rational objective 0 390.03/391.12 c #Conflicts: 370000 | #Constraints: 17913 390.03/391.12 c #Conflicts: 371000 | #Constraints: 19537 390.03/391.12 c #Conflicts: 372000 | #Constraints: 21180 390.03/391.12 c #Conflicts: 373000 | #Constraints: 22841 390.03/391.12 c #Conflicts: 374000 | #Constraints: 24523 390.03/391.12 c #Conflicts: 375000 | #Constraints: 26199 390.03/391.12 c #Conflicts: 376000 | #Constraints: 27891 390.03/391.12 c #Conflicts: 377000 | #Constraints: 29490 390.03/391.12 c #Conflicts: 378000 | #Constraints: 31151 390.03/391.12 c #Conflicts: 379000 | #Constraints: 32776 390.03/391.12 c #Conflicts: 380000 | #Constraints: 34424 390.03/391.12 c #Conflicts: 381000 | #Constraints: 35544 390.03/391.12 c INPROCESSING 390.03/391.12 c GARBAGE COLLECT 390.03/391.12 c rational objective 0 416.57/417.77 c #Conflicts: 382000 | #Constraints: 18551 416.57/417.77 c #Conflicts: 383000 | #Constraints: 19564 416.57/417.77 c #Conflicts: 384000 | #Constraints: 20701 416.57/417.77 c #Conflicts: 385000 | #Constraints: 21753 416.57/417.77 c #Conflicts: 386000 | #Constraints: 22974 416.57/417.77 c #Conflicts: 387000 | #Constraints: 23977 416.57/417.77 c #Conflicts: 388000 | #Constraints: 24977 416.57/417.77 c #Conflicts: 389000 | #Constraints: 26034 416.57/417.77 c #Conflicts: 390000 | #Constraints: 27035 416.57/417.77 c #Conflicts: 391000 | #Constraints: 28062 416.57/417.77 c #Conflicts: 392000 | #Constraints: 29132 416.57/417.77 c #Conflicts: 393000 | #Constraints: 30142 416.57/417.77 c #Conflicts: 394000 | #Constraints: 31341 416.57/417.77 c INPROCESSING 416.57/417.77 c GARBAGE COLLECT 416.57/417.77 c rational objective 0 438.72/439.91 c #Conflicts: 395000 | #Constraints: 16790 438.72/439.91 c #Conflicts: 396000 | #Constraints: 17908 438.72/439.91 c #Conflicts: 397000 | #Constraints: 19385 438.72/439.91 c #Conflicts: 398000 | #Constraints: 20472 438.72/439.91 c #Conflicts: 399000 | #Constraints: 21549 438.72/439.91 c #Conflicts: 400000 | #Constraints: 22663 438.72/439.91 c #Conflicts: 401000 | #Constraints: 23701 438.72/439.91 c #Conflicts: 402000 | #Constraints: 24701 438.72/439.91 c #Conflicts: 403000 | #Constraints: 25768 438.72/439.91 c #Conflicts: 404000 | #Constraints: 26768 438.72/439.91 c #Conflicts: 405000 | #Constraints: 27777 438.72/439.91 c #Conflicts: 406000 | #Constraints: 28965 438.72/439.91 c #Conflicts: 407000 | #Constraints: 30053 438.72/439.91 c INPROCESSING 438.72/439.91 c GARBAGE COLLECT 438.72/439.91 c rational objective 0 478.42/479.73 c #Conflicts: 408000 | #Constraints: 16725 478.42/479.73 c #Conflicts: 409000 | #Constraints: 18433 478.42/479.73 c #Conflicts: 410000 | #Constraints: 20079 478.42/479.73 c #Conflicts: 411000 | #Constraints: 21710 478.42/479.73 c #Conflicts: 412000 | #Constraints: 23332 478.42/479.73 c #Conflicts: 413000 | #Constraints: 24964 478.42/479.73 c #Conflicts: 414000 | #Constraints: 26685 478.42/479.73 c #Conflicts: 415000 | #Constraints: 28393 478.42/479.73 c #Conflicts: 416000 | #Constraints: 30105 478.42/479.73 c #Conflicts: 417000 | #Constraints: 31786 478.42/479.73 c #Conflicts: 418000 | #Constraints: 33445 478.42/479.73 c #Conflicts: 419000 | #Constraints: 35112 478.42/479.73 c #Conflicts: 420000 | #Constraints: 36741 478.42/479.73 c INPROCESSING 478.42/479.73 c GARBAGE COLLECT 478.42/479.73 c rational objective 0 517.12/518.54 c #Conflicts: 421000 | #Constraints: 19963 517.12/518.54 c #Conflicts: 422000 | #Constraints: 21519 517.12/518.54 c #Conflicts: 423000 | #Constraints: 23131 517.12/518.54 c #Conflicts: 424000 | #Constraints: 24768 517.12/518.54 c #Conflicts: 425000 | #Constraints: 26397 517.12/518.54 c #Conflicts: 426000 | #Constraints: 28063 517.12/518.54 c #Conflicts: 427000 | #Constraints: 29738 517.12/518.54 c #Conflicts: 428000 | #Constraints: 31422 517.12/518.54 c #Conflicts: 429000 | #Constraints: 33094 517.12/518.54 c #Conflicts: 430000 | #Constraints: 34754 517.12/518.54 c #Conflicts: 431000 | #Constraints: 36409 517.12/518.54 c #Conflicts: 432000 | #Constraints: 38040 517.12/518.54 c #Conflicts: 433000 | #Constraints: 39682 517.12/518.54 c INPROCESSING 517.12/518.54 c GARBAGE COLLECT 517.12/518.54 c rational objective 0 559.23/560.78 c #Conflicts: 434000 | #Constraints: 21298 559.23/560.78 c #Conflicts: 435000 | #Constraints: 22946 559.23/560.78 c #Conflicts: 436000 | #Constraints: 24244 559.23/560.78 c #Conflicts: 437000 | #Constraints: 25244 559.23/560.78 c #Conflicts: 438000 | #Constraints: 26244 559.23/560.78 c #Conflicts: 439000 | #Constraints: 27244 559.23/560.78 c #Conflicts: 440000 | #Constraints: 28244 559.23/560.78 c #Conflicts: 441000 | #Constraints: 29245 559.23/560.78 c #Conflicts: 442000 | #Constraints: 30245 559.23/560.78 c #Conflicts: 443000 | #Constraints: 31719 559.23/560.78 c #Conflicts: 444000 | #Constraints: 33385 559.23/560.78 c #Conflicts: 445000 | #Constraints: 35047 559.23/560.78 c #Conflicts: 446000 | #Constraints: 36714 559.23/560.78 c INPROCESSING 559.23/560.78 c GARBAGE COLLECT 559.23/560.78 c rational objective 0 592.74/594.37 c #Conflicts: 447000 | #Constraints: 19448 592.74/594.37 c #Conflicts: 448000 | #Constraints: 20950 592.74/594.37 c #Conflicts: 449000 | #Constraints: 22382 592.74/594.37 c #Conflicts: 450000 | #Constraints: 23673 592.74/594.37 c #Conflicts: 451000 | #Constraints: 24853 592.74/594.37 c #Conflicts: 452000 | #Constraints: 25975 592.74/594.37 c #Conflicts: 453000 | #Constraints: 27067 592.74/594.37 c #Conflicts: 454000 | #Constraints: 28196 592.74/594.37 c #Conflicts: 455000 | #Constraints: 29497 592.74/594.37 c #Conflicts: 456000 | #Constraints: 30740 592.74/594.37 c #Conflicts: 457000 | #Constraints: 31890 592.74/594.37 c #Conflicts: 458000 | #Constraints: 33086 592.74/594.37 c #Conflicts: 459000 | #Constraints: 34350 592.74/594.37 c #Conflicts: 460000 | #Constraints: 35533 592.74/594.37 c INPROCESSING 592.74/594.37 c GARBAGE COLLECT 592.74/594.37 c rational objective 0 633.25/634.92 c #Conflicts: 461000 | #Constraints: 18714 633.25/634.92 c #Conflicts: 462000 | #Constraints: 19814 633.25/634.92 c #Conflicts: 463000 | #Constraints: 21206 633.25/634.92 c #Conflicts: 464000 | #Constraints: 22596 633.25/634.92 c #Conflicts: 465000 | #Constraints: 23936 633.25/634.92 c #Conflicts: 466000 | #Constraints: 25171 633.25/634.92 c #Conflicts: 467000 | #Constraints: 26214 633.25/634.92 c #Conflicts: 468000 | #Constraints: 27628 633.25/634.92 c #Conflicts: 469000 | #Constraints: 28927 633.25/634.92 c #Conflicts: 470000 | #Constraints: 30065 633.25/634.92 c #Conflicts: 471000 | #Constraints: 31293 633.25/634.92 c #Conflicts: 472000 | #Constraints: 32431 633.25/634.92 c #Conflicts: 473000 | #Constraints: 33473 633.25/634.92 c #Conflicts: 474000 | #Constraints: 34650 633.25/634.92 c INPROCESSING 633.25/634.92 c GARBAGE COLLECT 633.25/634.92 c rational objective 0 670.56/672.31 c #Conflicts: 475000 | #Constraints: 18594 670.56/672.31 c #Conflicts: 476000 | #Constraints: 19953 670.56/672.31 c #Conflicts: 477000 | #Constraints: 20954 670.56/672.31 c #Conflicts: 478000 | #Constraints: 22354 670.56/672.31 c #Conflicts: 479000 | #Constraints: 23544 670.56/672.31 c #Conflicts: 480000 | #Constraints: 24799 670.56/672.31 c #Conflicts: 481000 | #Constraints: 25938 670.56/672.31 c #Conflicts: 482000 | #Constraints: 27211 670.56/672.31 c #Conflicts: 483000 | #Constraints: 28211 670.56/672.31 c #Conflicts: 484000 | #Constraints: 29214 670.56/672.31 c #Conflicts: 485000 | #Constraints: 30270 670.56/672.31 c #Conflicts: 486000 | #Constraints: 31412 670.56/672.31 c #Conflicts: 487000 | #Constraints: 32485 670.56/672.31 c #Conflicts: 488000 | #Constraints: 33485 670.56/672.31 c INPROCESSING 670.56/672.31 c GARBAGE COLLECT 670.56/672.31 c rational objective 0 722.74/724.60 c #Conflicts: 489000 | #Constraints: 18391 722.74/724.60 c #Conflicts: 490000 | #Constraints: 20057 722.74/724.60 c #Conflicts: 491000 | #Constraints: 21690 722.74/724.60 c #Conflicts: 492000 | #Constraints: 23333 722.74/724.60 c #Conflicts: 493000 | #Constraints: 24981 722.74/724.60 c #Conflicts: 494000 | #Constraints: 26686 722.74/724.60 c #Conflicts: 495000 | #Constraints: 28367 722.74/724.60 c #Conflicts: 496000 | #Constraints: 29808 722.74/724.60 c #Conflicts: 497000 | #Constraints: 31446 722.74/724.60 c #Conflicts: 498000 | #Constraints: 33133 722.74/724.60 c #Conflicts: 499000 | #Constraints: 34803 722.74/724.60 c #Conflicts: 500000 | #Constraints: 36445 722.74/724.60 c #Conflicts: 501000 | #Constraints: 38118 722.74/724.60 c #Conflicts: 502000 | #Constraints: 39803 722.74/724.60 c INPROCESSING 722.74/724.60 c GARBAGE COLLECT 722.74/724.60 c rational objective 0 757.55/759.59 c #Conflicts: 503000 | #Constraints: 21141 757.55/759.59 c #Conflicts: 504000 | #Constraints: 22669 757.55/759.59 c #Conflicts: 505000 | #Constraints: 23942 757.55/759.59 c #Conflicts: 506000 | #Constraints: 25041 757.55/759.59 c #Conflicts: 507000 | #Constraints: 26160 757.55/759.59 c #Conflicts: 508000 | #Constraints: 27649 757.55/759.59 c #Conflicts: 509000 | #Constraints: 28658 757.55/759.59 c #Conflicts: 510000 | #Constraints: 29658 757.55/759.59 c #Conflicts: 511000 | #Constraints: 30698 757.55/759.59 c #Conflicts: 512000 | #Constraints: 31910 757.55/759.59 c #Conflicts: 513000 | #Constraints: 33118 757.55/759.59 c #Conflicts: 514000 | #Constraints: 34294 757.55/759.59 c #Conflicts: 515000 | #Constraints: 35681 757.55/759.59 c #Conflicts: 516000 | #Constraints: 36681 757.55/759.59 c INPROCESSING 757.55/759.59 c GARBAGE COLLECT 757.55/759.59 c rational objective 0 798.16/800.25 c #Conflicts: 517000 | #Constraints: 19304 798.16/800.25 c #Conflicts: 518000 | #Constraints: 20925 798.16/800.25 c #Conflicts: 519000 | #Constraints: 22535 798.16/800.25 c #Conflicts: 520000 | #Constraints: 24161 798.16/800.25 c #Conflicts: 521000 | #Constraints: 25817 798.16/800.25 c #Conflicts: 522000 | #Constraints: 27441 798.16/800.25 c #Conflicts: 523000 | #Constraints: 29062 798.16/800.25 c #Conflicts: 524000 | #Constraints: 30714 798.16/800.25 c #Conflicts: 525000 | #Constraints: 32359 798.16/800.25 c #Conflicts: 526000 | #Constraints: 33976 798.16/800.25 c #Conflicts: 527000 | #Constraints: 35603 798.16/800.25 c #Conflicts: 528000 | #Constraints: 37260 798.16/800.25 c #Conflicts: 529000 | #Constraints: 38898 798.16/800.25 c #Conflicts: 530000 | #Constraints: 40512 798.16/800.25 c #Conflicts: 531000 | #Constraints: 42144 798.16/800.25 c INPROCESSING 798.16/800.25 c GARBAGE COLLECT 798.16/800.25 c rational objective 0 866.08/868.32 c #Conflicts: 532000 | #Constraints: 22555 866.08/868.32 c #Conflicts: 533000 | #Constraints: 24215 866.08/868.32 c #Conflicts: 534000 | #Constraints: 25841 866.08/868.32 c #Conflicts: 535000 | #Constraints: 27488 866.08/868.32 c #Conflicts: 536000 | #Constraints: 29090 866.08/868.32 c #Conflicts: 537000 | #Constraints: 30716 866.08/868.32 c #Conflicts: 538000 | #Constraints: 32443 866.08/868.32 c #Conflicts: 539000 | #Constraints: 34073 866.08/868.32 c #Conflicts: 540000 | #Constraints: 35766 866.08/868.32 c #Conflicts: 541000 | #Constraints: 37424 866.08/868.32 c #Conflicts: 542000 | #Constraints: 39058 866.08/868.32 c #Conflicts: 543000 | #Constraints: 40610 866.08/868.32 c #Conflicts: 544000 | #Constraints: 42225 866.08/868.32 c #Conflicts: 545000 | #Constraints: 43872 866.08/868.32 c #Conflicts: 546000 | #Constraints: 45520 866.08/868.32 c INPROCESSING 866.08/868.32 c GARBAGE COLLECT 866.08/868.32 c rational objective 0 931.02/933.41 c #Conflicts: 547000 | #Constraints: 24450 931.02/933.41 c #Conflicts: 548000 | #Constraints: 26130 931.02/933.41 c #Conflicts: 549000 | #Constraints: 27821 931.02/933.41 c #Conflicts: 550000 | #Constraints: 29382 931.02/933.41 c #Conflicts: 551000 | #Constraints: 30714 931.02/933.41 c #Conflicts: 552000 | #Constraints: 32401 931.02/933.41 c #Conflicts: 553000 | #Constraints: 34117 931.02/933.41 c #Conflicts: 554000 | #Constraints: 35829 931.02/933.41 c #Conflicts: 555000 | #Constraints: 37499 931.02/933.41 c #Conflicts: 556000 | #Constraints: 39172 931.02/933.41 c #Conflicts: 557000 | #Constraints: 40824 931.02/933.41 c #Conflicts: 558000 | #Constraints: 42497 931.02/933.41 c #Conflicts: 559000 | #Constraints: 44160 931.02/933.41 c #Conflicts: 560000 | #Constraints: 45830 931.02/933.41 c #Conflicts: 561000 | #Constraints: 47481 931.02/933.41 c INPROCESSING 931.02/933.41 c GARBAGE COLLECT 931.02/933.41 c rational objective 0 996.66/999.23 c #Conflicts: 562000 | #Constraints: 25069 996.66/999.23 c #Conflicts: 563000 | #Constraints: 26545 996.66/999.23 c #Conflicts: 564000 | #Constraints: 27783 996.66/999.23 c #Conflicts: 565000 | #Constraints: 28837 996.66/999.23 c #Conflicts: 566000 | #Constraints: 30136 996.66/999.23 c #Conflicts: 567000 | #Constraints: 31394 996.66/999.23 c #Conflicts: 568000 | #Constraints: 32592 996.66/999.23 c #Conflicts: 569000 | #Constraints: 33798 996.66/999.23 c #Conflicts: 570000 | #Constraints: 35222 996.66/999.23 c #Conflicts: 571000 | #Constraints: 36526 996.66/999.23 c #Conflicts: 572000 | #Constraints: 37699 996.66/999.23 c #Conflicts: 573000 | #Constraints: 38901 996.66/999.23 c #Conflicts: 574000 | #Constraints: 40168 996.66/999.23 c #Conflicts: 575000 | #Constraints: 41168 996.66/999.23 c #Conflicts: 576000 | #Constraints: 42168 996.66/999.23 c INPROCESSING 996.66/999.23 c GARBAGE COLLECT 996.66/999.23 c rational objective 0 1036.26/1038.91 c #Conflicts: 577000 | #Constraints: 22008 1036.26/1038.91 c #Conflicts: 578000 | #Constraints: 23009 1036.26/1038.91 c #Conflicts: 579000 | #Constraints: 24009 1036.26/1038.91 c #Conflicts: 580000 | #Constraints: 25009 1036.26/1038.91 c #Conflicts: 581000 | #Constraints: 26009 1036.26/1038.91 c #Conflicts: 582000 | #Constraints: 27009 1036.26/1038.91 c #Conflicts: 583000 | #Constraints: 28012 1036.26/1038.91 c #Conflicts: 584000 | #Constraints: 29012 1036.26/1038.91 c #Conflicts: 585000 | #Constraints: 30013 1036.26/1038.91 c #Conflicts: 586000 | #Constraints: 31013 1036.26/1038.91 c #Conflicts: 587000 | #Constraints: 32014 1036.26/1038.91 c #Conflicts: 588000 | #Constraints: 33015 1036.26/1038.91 c #Conflicts: 589000 | #Constraints: 34015 1036.26/1038.91 c #Conflicts: 590000 | #Constraints: 35015 1036.26/1038.91 c #Conflicts: 591000 | #Constraints: 36015 1036.26/1038.91 c INPROCESSING 1036.26/1038.91 c GARBAGE COLLECT 1036.26/1038.91 c rational objective 0 1084.56/1087.30 c #Conflicts: 592000 | #Constraints: 18725 1084.56/1087.30 c #Conflicts: 593000 | #Constraints: 19725 1084.56/1087.30 c #Conflicts: 594000 | #Constraints: 20726 1084.56/1087.30 c #Conflicts: 595000 | #Constraints: 21728 1084.56/1087.30 c #Conflicts: 596000 | #Constraints: 22728 1084.56/1087.30 c #Conflicts: 597000 | #Constraints: 23729 1084.56/1087.30 c #Conflicts: 598000 | #Constraints: 24729 1084.56/1087.30 c #Conflicts: 599000 | #Constraints: 25729 1084.56/1087.30 c #Conflicts: 600000 | #Constraints: 26729 1084.56/1087.30 c #Conflicts: 601000 | #Constraints: 27729 1084.56/1087.30 c #Conflicts: 602000 | #Constraints: 28729 1084.56/1087.30 c #Conflicts: 603000 | #Constraints: 29730 1084.56/1087.30 c #Conflicts: 604000 | #Constraints: 30730 1084.56/1087.30 c #Conflicts: 605000 | #Constraints: 31731 1084.56/1087.30 c #Conflicts: 606000 | #Constraints: 32731 1084.56/1087.30 c #Conflicts: 607000 | #Constraints: 33732 1084.56/1087.30 c INPROCESSING 1084.56/1087.30 c GARBAGE COLLECT 1084.56/1087.30 c rational objective 0 1132.14/1135.04 c #Conflicts: 608000 | #Constraints: 18252 1132.14/1135.04 c #Conflicts: 609000 | #Constraints: 19764 1132.14/1135.04 c #Conflicts: 610000 | #Constraints: 21173 1132.14/1135.04 c #Conflicts: 611000 | #Constraints: 22372 1132.14/1135.04 c #Conflicts: 612000 | #Constraints: 23708 1132.14/1135.04 c #Conflicts: 613000 | #Constraints: 25058 1132.14/1135.04 c #Conflicts: 614000 | #Constraints: 26547 1132.14/1135.04 c #Conflicts: 615000 | #Constraints: 27989 1132.14/1135.04 c #Conflicts: 616000 | #Constraints: 29407 1132.14/1135.04 c #Conflicts: 617000 | #Constraints: 30407 1132.14/1135.04 c #Conflicts: 618000 | #Constraints: 31534 1132.14/1135.04 c #Conflicts: 619000 | #Constraints: 32657 1132.14/1135.04 c #Conflicts: 620000 | #Constraints: 33747 1132.14/1135.04 c #Conflicts: 621000 | #Constraints: 35112 1132.14/1135.04 c #Conflicts: 622000 | #Constraints: 36422 1132.14/1135.04 c #Conflicts: 623000 | #Constraints: 38041 1132.14/1135.04 c INPROCESSING 1132.14/1135.04 c GARBAGE COLLECT 1132.14/1135.04 c rational objective 0 1194.99/1198.07 c #Conflicts: 624000 | #Constraints: 20350 1194.99/1198.07 c #Conflicts: 625000 | #Constraints: 21725 1194.99/1198.07 c #Conflicts: 626000 | #Constraints: 23225 1194.99/1198.07 c #Conflicts: 627000 | #Constraints: 24623 1194.99/1198.07 c #Conflicts: 628000 | #Constraints: 25700 1194.99/1198.07 c #Conflicts: 629000 | #Constraints: 26740 1194.99/1198.07 c #Conflicts: 630000 | #Constraints: 27888 1194.99/1198.07 c #Conflicts: 631000 | #Constraints: 29164 1194.99/1198.07 c #Conflicts: 632000 | #Constraints: 30621 1194.99/1198.07 c #Conflicts: 633000 | #Constraints: 32000 1194.99/1198.07 c #Conflicts: 634000 | #Constraints: 33405 1194.99/1198.07 c #Conflicts: 635000 | #Constraints: 34803 1194.99/1198.07 c #Conflicts: 636000 | #Constraints: 35980 1194.99/1198.07 c #Conflicts: 637000 | #Constraints: 37032 1194.99/1198.07 c #Conflicts: 638000 | #Constraints: 38221 1194.99/1198.07 c #Conflicts: 639000 | #Constraints: 39682 1194.99/1198.07 c INPROCESSING 1194.99/1198.07 c GARBAGE COLLECT 1194.99/1198.07 c rational objective 0 1238.79/1241.93 c #Conflicts: 640000 | #Constraints: 20972 1238.79/1241.93 c #Conflicts: 641000 | #Constraints: 21989 1238.79/1241.93 c #Conflicts: 642000 | #Constraints: 23057 1238.79/1241.93 c #Conflicts: 643000 | #Constraints: 24057 1238.79/1241.93 c #Conflicts: 644000 | #Constraints: 25075 1238.79/1241.93 c #Conflicts: 645000 | #Constraints: 26158 1238.79/1241.93 c #Conflicts: 646000 | #Constraints: 27234 1238.79/1241.93 c #Conflicts: 647000 | #Constraints: 28269 1238.79/1241.93 c #Conflicts: 648000 | #Constraints: 29269 1238.79/1241.93 c #Conflicts: 649000 | #Constraints: 30269 1238.79/1241.93 c #Conflicts: 650000 | #Constraints: 31324 1238.79/1241.93 c #Conflicts: 651000 | #Constraints: 32401 1238.79/1241.93 c #Conflicts: 652000 | #Constraints: 33469 1238.79/1241.93 c #Conflicts: 653000 | #Constraints: 34526 1238.79/1241.93 c #Conflicts: 654000 | #Constraints: 35572 1238.79/1241.93 c #Conflicts: 655000 | #Constraints: 36629 1238.79/1241.93 c INPROCESSING 1238.79/1241.93 c GARBAGE COLLECT 1238.79/1241.93 c rational objective 0 1304.74/1308.04 c #Conflicts: 656000 | #Constraints: 19775 1304.74/1308.04 c #Conflicts: 657000 | #Constraints: 21460 1304.74/1308.04 c #Conflicts: 658000 | #Constraints: 23128 1304.74/1308.04 c #Conflicts: 659000 | #Constraints: 24795 1304.74/1308.04 c #Conflicts: 660000 | #Constraints: 26451 1304.74/1308.04 c #Conflicts: 661000 | #Constraints: 28043 1304.74/1308.04 c #Conflicts: 662000 | #Constraints: 29622 1304.74/1308.04 c #Conflicts: 663000 | #Constraints: 31210 1304.74/1308.04 c #Conflicts: 664000 | #Constraints: 32844 1304.74/1308.04 c #Conflicts: 665000 | #Constraints: 34467 1304.74/1308.04 c #Conflicts: 666000 | #Constraints: 36074 1304.74/1308.04 c #Conflicts: 667000 | #Constraints: 37608 1304.74/1308.04 c #Conflicts: 668000 | #Constraints: 39139 1304.74/1308.04 c #Conflicts: 669000 | #Constraints: 40748 1304.74/1308.04 c #Conflicts: 670000 | #Constraints: 42368 1304.74/1308.04 c #Conflicts: 671000 | #Constraints: 43989 1304.74/1308.04 c INPROCESSING 1304.74/1308.04 c GARBAGE COLLECT 1304.74/1308.04 c rational objective 0 1401.50/1405.05 c #Conflicts: 672000 | #Constraints: 23138 1401.50/1405.05 c #Conflicts: 673000 | #Constraints: 24804 1401.50/1405.05 c #Conflicts: 674000 | #Constraints: 26411 1401.50/1405.05 c #Conflicts: 675000 | #Constraints: 28100 1401.50/1405.05 c #Conflicts: 676000 | #Constraints: 29780 1401.50/1405.05 c #Conflicts: 677000 | #Constraints: 31407 1401.50/1405.05 c #Conflicts: 678000 | #Constraints: 33025 1401.50/1405.05 c #Conflicts: 679000 | #Constraints: 34645 1401.50/1405.05 c #Conflicts: 680000 | #Constraints: 36148 1401.50/1405.05 c #Conflicts: 681000 | #Constraints: 37761 1401.50/1405.05 c #Conflicts: 682000 | #Constraints: 39464 1401.50/1405.05 c #Conflicts: 683000 | #Constraints: 41134 1401.50/1405.05 c #Conflicts: 684000 | #Constraints: 42795 1401.50/1405.05 c #Conflicts: 685000 | #Constraints: 44457 1401.50/1405.05 c #Conflicts: 686000 | #Constraints: 46101 1401.50/1405.05 c #Conflicts: 687000 | #Constraints: 47746 1401.50/1405.05 c #Conflicts: 688000 | #Constraints: 49407 1401.50/1405.05 c INPROCESSING 1401.50/1405.05 c GARBAGE COLLECT 1401.50/1405.05 c rational objective 0 1471.53/1475.28 c #Conflicts: 689000 | #Constraints: 26176 1471.53/1475.28 c #Conflicts: 690000 | #Constraints: 27794 1471.53/1475.28 c #Conflicts: 691000 | #Constraints: 29290 1471.53/1475.28 c #Conflicts: 692000 | #Constraints: 30925 1471.53/1475.28 c #Conflicts: 693000 | #Constraints: 32347 1471.53/1475.28 c #Conflicts: 694000 | #Constraints: 33347 1471.53/1475.28 c #Conflicts: 695000 | #Constraints: 34855 1471.53/1475.28 c #Conflicts: 696000 | #Constraints: 36458 1471.53/1475.28 c #Conflicts: 697000 | #Constraints: 38079 1471.53/1475.28 c #Conflicts: 698000 | #Constraints: 39719 1471.53/1475.28 c #Conflicts: 699000 | #Constraints: 41344 1471.53/1475.28 c #Conflicts: 700000 | #Constraints: 42591 1471.53/1475.28 c #Conflicts: 701000 | #Constraints: 44248 1471.53/1475.28 c #Conflicts: 702000 | #Constraints: 45904 1471.53/1475.28 c #Conflicts: 703000 | #Constraints: 47540 1471.53/1475.28 c #Conflicts: 704000 | #Constraints: 49168 1471.53/1475.28 c #Conflicts: 705000 | #Constraints: 50827 1471.53/1475.28 c INPROCESSING 1471.53/1475.28 c GARBAGE COLLECT 1471.53/1475.28 c rational objective 0 1566.98/1570.97 c #Conflicts: 706000 | #Constraints: 26548 1566.98/1570.97 c #Conflicts: 707000 | #Constraints: 28088 1566.98/1570.97 c #Conflicts: 708000 | #Constraints: 29727 1566.98/1570.97 c #Conflicts: 709000 | #Constraints: 31399 1566.98/1570.97 c #Conflicts: 710000 | #Constraints: 33049 1566.98/1570.97 c #Conflicts: 711000 | #Constraints: 34678 1566.98/1570.97 c #Conflicts: 712000 | #Constraints: 36321 1566.98/1570.97 c #Conflicts: 713000 | #Constraints: 37977 1566.98/1570.97 c #Conflicts: 714000 | #Constraints: 39605 1566.98/1570.97 c #Conflicts: 715000 | #Constraints: 41228 1566.98/1570.97 c #Conflicts: 716000 | #Constraints: 42853 1566.98/1570.97 c #Conflicts: 717000 | #Constraints: 44427 1566.98/1570.97 c #Conflicts: 718000 | #Constraints: 45857 1566.98/1570.97 c #Conflicts: 719000 | #Constraints: 47581 1566.98/1570.97 c #Conflicts: 720000 | #Constraints: 49322 1566.98/1570.97 c #Conflicts: 721000 | #Constraints: 51032 1566.98/1570.97 c #Conflicts: 722000 | #Constraints: 52737 1566.98/1570.97 c INPROCESSING 1566.98/1570.97 c GARBAGE COLLECT 1566.98/1570.97 c rational objective 0 1631.23/1635.38 c #Conflicts: 723000 | #Constraints: 27617 1631.23/1635.38 c #Conflicts: 724000 | #Constraints: 29056 1631.23/1635.38 c #Conflicts: 725000 | #Constraints: 30400 1631.23/1635.38 c #Conflicts: 726000 | #Constraints: 31437 1631.23/1635.38 c #Conflicts: 727000 | #Constraints: 32556 1631.23/1635.38 c #Conflicts: 728000 | #Constraints: 33579 1631.23/1635.38 c #Conflicts: 729000 | #Constraints: 34666 1631.23/1635.38 c #Conflicts: 730000 | #Constraints: 35666 1631.23/1635.38 c #Conflicts: 731000 | #Constraints: 36705 1631.23/1635.38 c #Conflicts: 732000 | #Constraints: 37705 1631.23/1635.38 c #Conflicts: 733000 | #Constraints: 38706 1631.23/1635.38 c #Conflicts: 734000 | #Constraints: 39706 1631.23/1635.38 c #Conflicts: 735000 | #Constraints: 40706 1631.23/1635.38 c #Conflicts: 736000 | #Constraints: 41707 1631.23/1635.38 c #Conflicts: 737000 | #Constraints: 42786 1631.23/1635.38 c #Conflicts: 738000 | #Constraints: 44242 1631.23/1635.38 c #Conflicts: 739000 | #Constraints: 45433 1631.23/1635.38 c INPROCESSING 1631.23/1635.38 c GARBAGE COLLECT 1631.23/1635.38 c rational objective 0 1706.95/1711.25 c #Conflicts: 740000 | #Constraints: 24133 1706.95/1711.25 c #Conflicts: 741000 | #Constraints: 25154 1706.95/1711.25 c #Conflicts: 742000 | #Constraints: 26520 1706.95/1711.25 c #Conflicts: 743000 | #Constraints: 27577 1706.95/1711.25 c #Conflicts: 744000 | #Constraints: 28796 1706.95/1711.25 c #Conflicts: 745000 | #Constraints: 30008 1706.95/1711.25 c #Conflicts: 746000 | #Constraints: 31008 1706.95/1711.25 c #Conflicts: 747000 | #Constraints: 32085 1706.95/1711.25 c #Conflicts: 748000 | #Constraints: 33354 1706.95/1711.25 c #Conflicts: 749000 | #Constraints: 34656 1706.95/1711.25 c #Conflicts: 750000 | #Constraints: 35656 1706.95/1711.25 c #Conflicts: 751000 | #Constraints: 36656 1706.95/1711.25 c #Conflicts: 752000 | #Constraints: 37670 1706.95/1711.25 c #Conflicts: 753000 | #Constraints: 38730 1706.95/1711.25 c #Conflicts: 754000 | #Constraints: 40273 1706.95/1711.25 c #Conflicts: 755000 | #Constraints: 41433 1706.95/1711.25 c #Conflicts: 756000 | #Constraints: 42433 1706.95/1711.25 c INPROCESSING 1706.95/1711.25 c GARBAGE COLLECT 1706.95/1711.25 c rational objective 0 1769.41/1773.88 c #Conflicts: 757000 | #Constraints: 22315 1769.41/1773.88 c #Conflicts: 758000 | #Constraints: 23966 1769.41/1773.88 c #Conflicts: 759000 | #Constraints: 25602 1769.41/1773.88 c #Conflicts: 760000 | #Constraints: 26628 1769.41/1773.88 c #Conflicts: 761000 | #Constraints: 27628 1769.41/1773.88 c #Conflicts: 762000 | #Constraints: 28743 1769.41/1773.88 c #Conflicts: 763000 | #Constraints: 30366 1769.41/1773.88 c #Conflicts: 764000 | #Constraints: 31554 1769.41/1773.88 c #Conflicts: 765000 | #Constraints: 32554 1769.41/1773.88 c #Conflicts: 766000 | #Constraints: 33554 1769.41/1773.88 c #Conflicts: 767000 | #Constraints: 34881 1769.41/1773.88 c #Conflicts: 768000 | #Constraints: 35881 1769.41/1773.88 c #Conflicts: 769000 | #Constraints: 37242 1769.41/1773.88 c #Conflicts: 770000 | #Constraints: 38868 1769.41/1773.88 c #Conflicts: 771000 | #Constraints: 40051 1769.41/1773.88 c #Conflicts: 772000 | #Constraints: 41051 1769.41/1773.88 c #Conflicts: 773000 | #Constraints: 42052 1769.41/1773.88 c #Conflicts: 774000 | #Constraints: 43153 1769.41/1773.88 c INPROCESSING 1769.41/1773.88 c GARBAGE COLLECT 1769.41/1773.88 c rational objective 0 1839.55/1844.18 c #Conflicts: 775000 | #Constraints: 22554 1839.55/1844.18 c #Conflicts: 776000 | #Constraints: 23554 1839.55/1844.18 c #Conflicts: 777000 | #Constraints: 24554 1839.55/1844.18 c #Conflicts: 778000 | #Constraints: 25554 1839.55/1844.18 c #Conflicts: 779000 | #Constraints: 26554 1839.55/1844.18 c #Conflicts: 780000 | #Constraints: 27555 1839.55/1844.18 c #Conflicts: 781000 | #Constraints: 28555 1839.55/1844.18 c #Conflicts: 782000 | #Constraints: 29555 1839.55/1844.18 c #Conflicts: 783000 | #Constraints: 30555 1839.55/1844.18 c #Conflicts: 784000 | #Constraints: 31557 1839.55/1844.18 c #Conflicts: 785000 | #Constraints: 32557 1839.55/1844.18 c #Conflicts: 786000 | #Constraints: 33557 1839.55/1844.18 c #Conflicts: 787000 | #Constraints: 34557 1839.55/1844.18 c #Conflicts: 788000 | #Constraints: 35557 1839.55/1844.18 c #Conflicts: 789000 | #Constraints: 36557 1839.55/1844.18 c #Conflicts: 790000 | #Constraints: 37557 1839.55/1844.18 c #Conflicts: 791000 | #Constraints: 38557 1839.55/1844.18 c #Conflicts: 792000 | #Constraints: 39557 1839.55/1844.18 c INPROCESSING 1839.55/1844.18 c GARBAGE COLLECT 1839.55/1844.18 c rational objective 0 1897.11/1901.87 c #Conflicts: 793000 | #Constraints: 21048 1897.11/1901.87 c #Conflicts: 794000 | #Constraints: 22394 1897.11/1901.87 c #Conflicts: 795000 | #Constraints: 23394 1897.11/1901.87 c #Conflicts: 796000 | #Constraints: 24394 1897.11/1901.87 c #Conflicts: 797000 | #Constraints: 25395 1897.11/1901.87 c #Conflicts: 798000 | #Constraints: 26396 1897.11/1901.87 c #Conflicts: 799000 | #Constraints: 27456 1897.11/1901.87 c #Conflicts: 800000 | #Constraints: 28585 1897.11/1901.87 c #Conflicts: 801000 | #Constraints: 29783 1897.11/1901.87 c #Conflicts: 802000 | #Constraints: 30783 1897.11/1901.87 c #Conflicts: 803000 | #Constraints: 31839 1897.11/1901.87 c #Conflicts: 804000 | #Constraints: 33136 1897.11/1901.87 c #Conflicts: 805000 | #Constraints: 34136 1897.11/1901.87 c #Conflicts: 806000 | #Constraints: 35517 1897.11/1901.87 c #Conflicts: 807000 | #Constraints: 36567 1897.11/1901.87 c #Conflicts: 808000 | #Constraints: 37859 1897.11/1901.87 c #Conflicts: 809000 | #Constraints: 39131 1897.11/1901.87 c #Conflicts: 810000 | #Constraints: 40132 1897.11/1901.87 c INPROCESSING 1897.11/1901.87 c GARBAGE COLLECT 1897.11/1901.87 c rational objective 0 1949.89/1954.76 c #Conflicts: 811000 | #Constraints: 21196 1949.89/1954.76 c #Conflicts: 812000 | #Constraints: 22196 1949.89/1954.76 c #Conflicts: 813000 | #Constraints: 23196 1949.89/1954.76 c #Conflicts: 814000 | #Constraints: 24377 1949.89/1954.76 c #Conflicts: 815000 | #Constraints: 25450 1949.89/1954.76 c #Conflicts: 816000 | #Constraints: 26450 1949.89/1954.76 c #Conflicts: 817000 | #Constraints: 27450 1949.89/1954.76 c #Conflicts: 818000 | #Constraints: 28450 1949.89/1954.76 c #Conflicts: 819000 | #Constraints: 29450 1949.89/1954.76 c #Conflicts: 820000 | #Constraints: 30450 1949.89/1954.76 c #Conflicts: 821000 | #Constraints: 31451 1949.89/1954.76 c #Conflicts: 822000 | #Constraints: 32451 1949.89/1954.76 c #Conflicts: 823000 | #Constraints: 33451 1949.89/1954.76 c #Conflicts: 824000 | #Constraints: 34454 1949.89/1954.76 c #Conflicts: 825000 | #Constraints: 35603 1949.89/1954.76 c #Conflicts: 826000 | #Constraints: 36603 1949.89/1954.76 c #Conflicts: 827000 | #Constraints: 37939 1949.89/1954.76 c #Conflicts: 828000 | #Constraints: 39005 1949.89/1954.76 c INPROCESSING 1949.89/1954.76 c GARBAGE COLLECT 1949.89/1954.76 c rational objective 0 2034.99/2040.01 c #Conflicts: 829000 | #Constraints: 20739 2034.99/2040.01 c #Conflicts: 830000 | #Constraints: 22325 2034.99/2040.01 c #Conflicts: 831000 | #Constraints: 23970 2034.99/2040.01 c #Conflicts: 832000 | #Constraints: 25613 2034.99/2040.01 c #Conflicts: 833000 | #Constraints: 26760 2034.99/2040.01 c #Conflicts: 834000 | #Constraints: 27965 2034.99/2040.01 c #Conflicts: 835000 | #Constraints: 28965 2034.99/2040.01 c #Conflicts: 836000 | #Constraints: 29965 2034.99/2040.01 c #Conflicts: 837000 | #Constraints: 30966 2034.99/2040.01 c #Conflicts: 838000 | #Constraints: 32261 2034.99/2040.01 c #Conflicts: 839000 | #Constraints: 33943 2034.99/2040.01 c #Conflicts: 840000 | #Constraints: 34943 2034.99/2040.01 c #Conflicts: 841000 | #Constraints: 35943 2034.99/2040.01 c #Conflicts: 842000 | #Constraints: 37467 2034.99/2040.01 c #Conflicts: 843000 | #Constraints: 39173 2034.99/2040.01 c #Conflicts: 844000 | #Constraints: 40878 2034.99/2040.01 c #Conflicts: 845000 | #Constraints: 42460 2034.99/2040.01 c #Conflicts: 846000 | #Constraints: 43460 2034.99/2040.01 c INPROCESSING 2034.99/2040.01 c GARBAGE COLLECT 2034.99/2040.01 c rational objective 0 2125.57/2130.80 c #Conflicts: 847000 | #Constraints: 22671 2125.57/2130.80 c #Conflicts: 848000 | #Constraints: 24367 2125.57/2130.80 c #Conflicts: 849000 | #Constraints: 25956 2125.57/2130.80 c #Conflicts: 850000 | #Constraints: 27594 2125.57/2130.80 c #Conflicts: 851000 | #Constraints: 29244 2125.57/2130.80 c #Conflicts: 852000 | #Constraints: 30876 2125.57/2130.80 c #Conflicts: 853000 | #Constraints: 32521 2125.57/2130.80 c #Conflicts: 854000 | #Constraints: 34170 2125.57/2130.80 c #Conflicts: 855000 | #Constraints: 35779 2125.57/2130.80 c #Conflicts: 856000 | #Constraints: 37013 2125.57/2130.80 c #Conflicts: 857000 | #Constraints: 38013 2125.57/2130.80 c #Conflicts: 858000 | #Constraints: 39013 2125.57/2130.80 c #Conflicts: 859000 | #Constraints: 40014 2125.57/2130.80 c #Conflicts: 860000 | #Constraints: 41015 2125.57/2130.80 c #Conflicts: 861000 | #Constraints: 42168 2125.57/2130.80 c #Conflicts: 862000 | #Constraints: 43836 2125.57/2130.80 c #Conflicts: 863000 | #Constraints: 45508 2125.57/2130.80 c #Conflicts: 864000 | #Constraints: 47193 2125.57/2130.80 c #Conflicts: 865000 | #Constraints: 48876 2125.57/2130.80 c INPROCESSING 2125.57/2130.80 c GARBAGE COLLECT 2125.57/2130.80 c rational objective 0 2247.75/2253.37 c #Conflicts: 866000 | #Constraints: 25423 2247.75/2253.37 c #Conflicts: 867000 | #Constraints: 26928 2247.75/2253.37 c #Conflicts: 868000 | #Constraints: 28616 2247.75/2253.37 c #Conflicts: 869000 | #Constraints: 30239 2247.75/2253.37 c #Conflicts: 870000 | #Constraints: 31870 2247.75/2253.37 c #Conflicts: 871000 | #Constraints: 33592 2247.75/2253.37 c #Conflicts: 872000 | #Constraints: 35225 2247.75/2253.37 c #Conflicts: 873000 | #Constraints: 36887 2247.75/2253.37 c #Conflicts: 874000 | #Constraints: 38561 2247.75/2253.37 c #Conflicts: 875000 | #Constraints: 40183 2247.75/2253.37 c #Conflicts: 876000 | #Constraints: 41858 2247.75/2253.37 c #Conflicts: 877000 | #Constraints: 43535 2247.75/2253.37 c #Conflicts: 878000 | #Constraints: 45139 2247.75/2253.37 c #Conflicts: 879000 | #Constraints: 46781 2247.75/2253.37 c #Conflicts: 880000 | #Constraints: 48480 2247.75/2253.37 c #Conflicts: 881000 | #Constraints: 49989 2247.75/2253.37 c #Conflicts: 882000 | #Constraints: 51272 2247.75/2253.37 c #Conflicts: 883000 | #Constraints: 52977 2247.75/2253.37 c #Conflicts: 884000 | #Constraints: 54539 2247.75/2253.37 c INPROCESSING 2247.75/2253.37 c GARBAGE COLLECT 2247.75/2253.37 c rational objective 0 2342.81/2348.62 c #Conflicts: 885000 | #Constraints: 28686 2342.81/2348.62 c #Conflicts: 886000 | #Constraints: 30007 2342.81/2348.62 c #Conflicts: 887000 | #Constraints: 31609 2342.81/2348.62 c #Conflicts: 888000 | #Constraints: 32960 2342.81/2348.62 c #Conflicts: 889000 | #Constraints: 34311 2342.81/2348.62 c #Conflicts: 890000 | #Constraints: 35918 2342.81/2348.62 c #Conflicts: 891000 | #Constraints: 37508 2342.81/2348.62 c #Conflicts: 892000 | #Constraints: 39128 2342.81/2348.62 c #Conflicts: 893000 | #Constraints: 40724 2342.81/2348.62 c #Conflicts: 894000 | #Constraints: 42385 2342.81/2348.62 c #Conflicts: 895000 | #Constraints: 44005 2342.81/2348.62 c #Conflicts: 896000 | #Constraints: 45663 2342.81/2348.62 c #Conflicts: 897000 | #Constraints: 47268 2342.81/2348.62 c #Conflicts: 898000 | #Constraints: 48880 2342.81/2348.62 c #Conflicts: 899000 | #Constraints: 50509 2342.81/2348.62 c #Conflicts: 900000 | #Constraints: 52094 2342.81/2348.62 c #Conflicts: 901000 | #Constraints: 53415 2342.81/2348.62 c #Conflicts: 902000 | #Constraints: 54828 2342.81/2348.62 c #Conflicts: 903000 | #Constraints: 56473 2342.81/2348.62 c INPROCESSING 2342.81/2348.62 c GARBAGE COLLECT 2342.81/2348.62 c rational objective 0 2476.98/2483.19 c #Conflicts: 904000 | #Constraints: 29936 2476.98/2483.19 c #Conflicts: 905000 | #Constraints: 31560 2476.98/2483.19 c #Conflicts: 906000 | #Constraints: 33173 2476.98/2483.19 c #Conflicts: 907000 | #Constraints: 34614 2476.98/2483.19 c #Conflicts: 908000 | #Constraints: 36118 2476.98/2483.19 c #Conflicts: 909000 | #Constraints: 37800 2476.98/2483.19 c #Conflicts: 910000 | #Constraints: 39487 2476.98/2483.19 c #Conflicts: 911000 | #Constraints: 41138 2476.98/2483.19 c #Conflicts: 912000 | #Constraints: 42764 2476.98/2483.19 c #Conflicts: 913000 | #Constraints: 44424 2476.98/2483.19 c #Conflicts: 914000 | #Constraints: 46092 2476.98/2483.19 c #Conflicts: 915000 | #Constraints: 47622 2476.98/2483.19 c #Conflicts: 916000 | #Constraints: 49317 2476.98/2483.19 c #Conflicts: 917000 | #Constraints: 51037 2476.98/2483.19 c #Conflicts: 918000 | #Constraints: 52686 2476.98/2483.19 c #Conflicts: 919000 | #Constraints: 53973 2476.98/2483.19 c #Conflicts: 920000 | #Constraints: 55602 2476.98/2483.19 c #Conflicts: 921000 | #Constraints: 57231 2476.98/2483.19 c #Conflicts: 922000 | #Constraints: 58868 2476.98/2483.19 c INPROCESSING 2476.98/2483.19 c GARBAGE COLLECT 2476.98/2483.19 c rational objective 0 2564.26/2570.61 c #Conflicts: 923000 | #Constraints: 30416 2564.26/2570.61 c #Conflicts: 924000 | #Constraints: 31416 2564.26/2570.61 c #Conflicts: 925000 | #Constraints: 32416 2564.26/2570.61 c #Conflicts: 926000 | #Constraints: 33416 2564.26/2570.61 c #Conflicts: 927000 | #Constraints: 34416 2564.26/2570.61 c #Conflicts: 928000 | #Constraints: 35492 2564.26/2570.61 c #Conflicts: 929000 | #Constraints: 37179 2564.26/2570.61 c #Conflicts: 930000 | #Constraints: 38855 2564.26/2570.61 c #Conflicts: 931000 | #Constraints: 40545 2564.26/2570.61 c #Conflicts: 932000 | #Constraints: 42224 2564.26/2570.61 c #Conflicts: 933000 | #Constraints: 43892 2564.26/2570.61 c #Conflicts: 934000 | #Constraints: 45554 2564.26/2570.61 c #Conflicts: 935000 | #Constraints: 47246 2564.26/2570.61 c #Conflicts: 936000 | #Constraints: 48414 2564.26/2570.61 c #Conflicts: 937000 | #Constraints: 49994 2564.26/2570.61 c #Conflicts: 938000 | #Constraints: 51586 2564.26/2570.61 c #Conflicts: 939000 | #Constraints: 53201 2564.26/2570.61 c #Conflicts: 940000 | #Constraints: 54835 2564.26/2570.61 c #Conflicts: 941000 | #Constraints: 56467 2564.26/2570.61 c INPROCESSING 2564.26/2570.61 c GARBAGE COLLECT 2564.26/2570.61 c rational objective 0 2669.71/2676.34 c #Conflicts: 942000 | #Constraints: 29149 2669.71/2676.34 c #Conflicts: 943000 | #Constraints: 30149 2669.71/2676.34 c #Conflicts: 944000 | #Constraints: 31149 2669.71/2676.34 c #Conflicts: 945000 | #Constraints: 32149 2669.71/2676.34 c #Conflicts: 946000 | #Constraints: 33149 2669.71/2676.34 c #Conflicts: 947000 | #Constraints: 34150 2669.71/2676.34 c #Conflicts: 948000 | #Constraints: 35150 2669.71/2676.34 c #Conflicts: 949000 | #Constraints: 36150 2669.71/2676.34 c #Conflicts: 950000 | #Constraints: 37150 2669.71/2676.34 c #Conflicts: 951000 | #Constraints: 38150 2669.71/2676.34 c #Conflicts: 952000 | #Constraints: 39150 2669.71/2676.34 c #Conflicts: 953000 | #Constraints: 40150 2669.71/2676.34 c #Conflicts: 954000 | #Constraints: 41150 2669.71/2676.34 c #Conflicts: 955000 | #Constraints: 42151 2669.71/2676.34 c #Conflicts: 956000 | #Constraints: 43154 2669.71/2676.34 c #Conflicts: 957000 | #Constraints: 44154 2669.71/2676.34 c #Conflicts: 958000 | #Constraints: 45154 2669.71/2676.34 c #Conflicts: 959000 | #Constraints: 46154 2669.71/2676.34 c #Conflicts: 960000 | #Constraints: 47154 2669.71/2676.34 c #Conflicts: 961000 | #Constraints: 48155 2669.71/2676.34 c INPROCESSING 2669.71/2676.34 c GARBAGE COLLECT 2669.71/2676.34 c rational objective 0 2745.83/2752.67 c #Conflicts: 962000 | #Constraints: 24998 2745.83/2752.67 c #Conflicts: 963000 | #Constraints: 25998 2745.83/2752.67 c #Conflicts: 964000 | #Constraints: 26998 2745.83/2752.67 c #Conflicts: 965000 | #Constraints: 27998 2745.83/2752.67 c #Conflicts: 966000 | #Constraints: 28998 2745.83/2752.67 c #Conflicts: 967000 | #Constraints: 29999 2745.83/2752.67 c #Conflicts: 968000 | #Constraints: 30999 2745.83/2752.67 c #Conflicts: 969000 | #Constraints: 32000 2745.83/2752.67 c #Conflicts: 970000 | #Constraints: 33001 2745.83/2752.67 c #Conflicts: 971000 | #Constraints: 34001 2745.83/2752.67 c #Conflicts: 972000 | #Constraints: 35001 2745.83/2752.67 c #Conflicts: 973000 | #Constraints: 36001 2745.83/2752.67 c #Conflicts: 974000 | #Constraints: 37002 2745.83/2752.67 c #Conflicts: 975000 | #Constraints: 38002 2745.83/2752.67 c #Conflicts: 976000 | #Constraints: 39002 2745.83/2752.67 c #Conflicts: 977000 | #Constraints: 40002 2745.83/2752.67 c #Conflicts: 978000 | #Constraints: 41002 2745.83/2752.67 c #Conflicts: 979000 | #Constraints: 42002 2745.83/2752.67 c #Conflicts: 980000 | #Constraints: 43002 2745.83/2752.67 c #Conflicts: 981000 | #Constraints: 44002 2745.83/2752.67 c INPROCESSING 2745.83/2752.67 c GARBAGE COLLECT 2745.83/2752.67 c rational objective 0 2840.21/2847.28 c #Conflicts: 982000 | #Constraints: 23400 2840.21/2847.28 c #Conflicts: 983000 | #Constraints: 24701 2840.21/2847.28 c #Conflicts: 984000 | #Constraints: 26074 2840.21/2847.28 c #Conflicts: 985000 | #Constraints: 27497 2840.21/2847.28 c #Conflicts: 986000 | #Constraints: 29100 2840.21/2847.28 c #Conflicts: 987000 | #Constraints: 30375 2840.21/2847.28 c #Conflicts: 988000 | #Constraints: 31435 2840.21/2847.28 c #Conflicts: 989000 | #Constraints: 32809 2840.21/2847.28 c #Conflicts: 990000 | #Constraints: 34376 2840.21/2847.28 c #Conflicts: 991000 | #Constraints: 35818 2840.21/2847.28 c #Conflicts: 992000 | #Constraints: 37209 2840.21/2847.28 c #Conflicts: 993000 | #Constraints: 38534 2840.21/2847.28 c #Conflicts: 994000 | #Constraints: 39645 2840.21/2847.28 c #Conflicts: 995000 | #Constraints: 41052 2840.21/2847.28 c #Conflicts: 996000 | #Constraints: 42222 2840.21/2847.28 c #Conflicts: 997000 | #Constraints: 43731 2840.21/2847.28 c #Conflicts: 998000 | #Constraints: 44964 2840.21/2847.28 c #Conflicts: 999000 | #Constraints: 46057 2840.21/2847.28 c #Conflicts: 1000000 | #Constraints: 47057 2840.21/2847.28 c #Conflicts: 1001000 | #Constraints: 48382 2840.21/2847.28 c INPROCESSING 2840.21/2847.28 c GARBAGE COLLECT 2840.21/2847.28 c rational objective 0 2934.68/2941.92 c #Conflicts: 1002000 | #Constraints: 25211 2934.68/2941.92 c #Conflicts: 1003000 | #Constraints: 26212 2934.68/2941.92 c #Conflicts: 1004000 | #Constraints: 27212 2934.68/2941.92 c #Conflicts: 1005000 | #Constraints: 28213 2934.68/2941.92 c #Conflicts: 1006000 | #Constraints: 29213 2934.68/2941.92 c #Conflicts: 1007000 | #Constraints: 30213 2934.68/2941.92 c #Conflicts: 1008000 | #Constraints: 31213 2934.68/2941.92 c #Conflicts: 1009000 | #Constraints: 32213 2934.68/2941.92 c #Conflicts: 1010000 | #Constraints: 33213 2934.68/2941.92 c #Conflicts: 1011000 | #Constraints: 34213 2934.68/2941.92 c #Conflicts: 1012000 | #Constraints: 35213 2934.68/2941.92 c #Conflicts: 1013000 | #Constraints: 36214 2934.68/2941.92 c #Conflicts: 1014000 | #Constraints: 37214 2934.68/2941.92 c #Conflicts: 1015000 | #Constraints: 38214 2934.68/2941.92 c #Conflicts: 1016000 | #Constraints: 39214 2934.68/2941.92 c #Conflicts: 1017000 | #Constraints: 40215 2934.68/2941.92 c #Conflicts: 1018000 | #Constraints: 41215 2934.68/2941.92 c #Conflicts: 1019000 | #Constraints: 42215 2934.68/2941.92 c #Conflicts: 1020000 | #Constraints: 43215 2934.68/2941.92 c #Conflicts: 1021000 | #Constraints: 44215 2934.68/2941.92 c INPROCESSING 2934.68/2941.92 c GARBAGE COLLECT 2934.68/2941.92 c rational objective 0 3074.41/3082.02 c #Conflicts: 1022000 | #Constraints: 23532 3074.41/3082.02 c #Conflicts: 1023000 | #Constraints: 25200 3074.41/3082.02 c #Conflicts: 1024000 | #Constraints: 26869 3074.41/3082.02 c #Conflicts: 1025000 | #Constraints: 28564 3074.41/3082.02 c #Conflicts: 1026000 | #Constraints: 30263 3074.41/3082.02 c #Conflicts: 1027000 | #Constraints: 31959 3074.41/3082.02 c #Conflicts: 1028000 | #Constraints: 33620 3074.41/3082.02 c #Conflicts: 1029000 | #Constraints: 35292 3074.41/3082.02 c #Conflicts: 1030000 | #Constraints: 37014 3074.41/3082.02 c #Conflicts: 1031000 | #Constraints: 38688 3074.41/3082.02 c #Conflicts: 1032000 | #Constraints: 40375 3074.41/3082.02 c #Conflicts: 1033000 | #Constraints: 42069 3074.41/3082.02 c #Conflicts: 1034000 | #Constraints: 43751 3074.41/3082.02 c #Conflicts: 1035000 | #Constraints: 45407 3074.41/3082.02 c #Conflicts: 1036000 | #Constraints: 47056 3074.41/3082.02 c #Conflicts: 1037000 | #Constraints: 48738 3074.41/3082.02 c #Conflicts: 1038000 | #Constraints: 50451 3074.41/3082.02 c #Conflicts: 1039000 | #Constraints: 52127 3074.41/3082.02 c #Conflicts: 1040000 | #Constraints: 53780 3074.41/3082.02 c #Conflicts: 1041000 | #Constraints: 55439 3074.41/3082.02 c INPROCESSING 3074.41/3082.02 c GARBAGE COLLECT 3074.41/3082.02 c rational objective 0 3231.82/3239.88 c #Conflicts: 1042000 | #Constraints: 28869 3231.82/3239.88 c #Conflicts: 1043000 | #Constraints: 30375 3231.82/3239.88 c #Conflicts: 1044000 | #Constraints: 31914 3231.82/3239.88 c #Conflicts: 1045000 | #Constraints: 33264 3231.82/3239.88 c #Conflicts: 1046000 | #Constraints: 34829 3231.82/3239.88 c #Conflicts: 1047000 | #Constraints: 36246 3231.82/3239.88 c #Conflicts: 1048000 | #Constraints: 37629 3231.82/3239.88 c #Conflicts: 1049000 | #Constraints: 39277 3231.82/3239.88 c #Conflicts: 1050000 | #Constraints: 40834 3231.82/3239.88 c #Conflicts: 1051000 | #Constraints: 42405 3231.82/3239.88 c #Conflicts: 1052000 | #Constraints: 43920 3231.82/3239.88 c #Conflicts: 1053000 | #Constraints: 45523 3231.82/3239.88 c #Conflicts: 1054000 | #Constraints: 47190 3231.82/3239.88 c #Conflicts: 1055000 | #Constraints: 48663 3231.82/3239.88 c #Conflicts: 1056000 | #Constraints: 50176 3231.82/3239.88 c #Conflicts: 1057000 | #Constraints: 51836 3231.82/3239.88 c #Conflicts: 1058000 | #Constraints: 53282 3231.82/3239.88 c #Conflicts: 1059000 | #Constraints: 54728 3231.82/3239.88 c #Conflicts: 1060000 | #Constraints: 56441 3231.82/3239.88 c #Conflicts: 1061000 | #Constraints: 58012 3231.82/3239.88 c #Conflicts: 1062000 | #Constraints: 59299 3231.82/3239.88 c INPROCESSING 3231.82/3239.88 c GARBAGE COLLECT 3231.82/3239.88 c rational objective 0 3365.28/3373.67 c #Conflicts: 1063000 | #Constraints: 31076 3365.28/3373.67 c #Conflicts: 1064000 | #Constraints: 32445 3365.28/3373.67 c #Conflicts: 1065000 | #Constraints: 33997 3365.28/3373.67 c #Conflicts: 1066000 | #Constraints: 35618 3365.28/3373.67 c #Conflicts: 1067000 | #Constraints: 37006 3365.28/3373.67 c #Conflicts: 1068000 | #Constraints: 38537 3365.28/3373.67 c #Conflicts: 1069000 | #Constraints: 39761 3365.28/3373.67 c #Conflicts: 1070000 | #Constraints: 41206 3365.28/3373.67 c #Conflicts: 1071000 | #Constraints: 42475 3365.28/3373.67 c #Conflicts: 1072000 | #Constraints: 44041 3365.28/3373.67 c #Conflicts: 1073000 | #Constraints: 45655 3365.28/3373.67 c #Conflicts: 1074000 | #Constraints: 47135 3365.28/3373.67 c #Conflicts: 1075000 | #Constraints: 48612 3365.28/3373.67 c #Conflicts: 1076000 | #Constraints: 49764 3365.28/3373.67 c #Conflicts: 1077000 | #Constraints: 51107 3365.28/3373.67 c #Conflicts: 1078000 | #Constraints: 52744 3365.28/3373.67 c #Conflicts: 1079000 | #Constraints: 54263 3365.28/3373.67 c #Conflicts: 1080000 | #Constraints: 55658 3365.28/3373.67 c #Conflicts: 1081000 | #Constraints: 56822 3365.28/3373.67 c #Conflicts: 1082000 | #Constraints: 58477 3365.28/3373.67 c #Conflicts: 1083000 | #Constraints: 59780 3365.28/3373.67 c INPROCESSING 3365.28/3373.67 c GARBAGE COLLECT 3365.28/3373.67 c rational objective 0 3492.87/3501.51 c #Conflicts: 1084000 | #Constraints: 31175 3492.87/3501.51 c #Conflicts: 1085000 | #Constraints: 32247 3492.87/3501.51 c #Conflicts: 1086000 | #Constraints: 33376 3492.87/3501.51 c #Conflicts: 1087000 | #Constraints: 34546 3492.87/3501.51 c #Conflicts: 1088000 | #Constraints: 35558 3492.87/3501.51 c #Conflicts: 1089000 | #Constraints: 36858 3492.87/3501.51 c #Conflicts: 1090000 | #Constraints: 37985 3492.87/3501.51 c #Conflicts: 1091000 | #Constraints: 39169 3492.87/3501.51 c #Conflicts: 1092000 | #Constraints: 40187 3492.87/3501.51 c #Conflicts: 1093000 | #Constraints: 41252 3492.87/3501.51 c #Conflicts: 1094000 | #Constraints: 42526 3492.87/3501.51 c #Conflicts: 1095000 | #Constraints: 43858 3492.87/3501.51 c #Conflicts: 1096000 | #Constraints: 45030 3492.87/3501.51 c #Conflicts: 1097000 | #Constraints: 46177 3492.87/3501.51 c #Conflicts: 1098000 | #Constraints: 47242 3492.87/3501.51 c #Conflicts: 1099000 | #Constraints: 48385 3492.87/3501.51 c #Conflicts: 1100000 | #Constraints: 49732 3492.87/3501.51 c #Conflicts: 1101000 | #Constraints: 51115 3492.87/3501.51 c #Conflicts: 1102000 | #Constraints: 52201 3492.87/3501.51 c #Conflicts: 1103000 | #Constraints: 53409 3492.87/3501.51 c #Conflicts: 1104000 | #Constraints: 54726 3492.87/3501.51 c INPROCESSING 3492.87/3501.51 c GARBAGE COLLECT 3492.87/3501.51 c rational objective 0 3600.02/3608.90 c 3600.02/3608.90 s SATISFIABLE 3600.02/3608.90 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 3600.02/3608.90 c #Conflicts: 1105000 | #Constraints: 28549 3600.02/3608.90 c #Conflicts: 1106000 | #Constraints: 29867 3600.02/3608.90 c #Conflicts: 1107000 | #Constraints: 31142 3600.02/3608.90 c #Conflicts: 1108000 | #Constraints: 32471 3600.02/3608.90 c #Conflicts: 1109000 | #Constraints: 33887 3600.02/3608.90 c #Conflicts: 1110000 | #Constraints: 35371 3600.02/3608.90 c #Conflicts: 1111000 | #Constraints: 36488 3600.02/3608.90 c #Conflicts: 1112000 | #Constraints: 37829 3600.02/3608.90 c #Conflicts: 1113000 | #Constraints: 39175 3600.02/3608.90 c #Conflicts: 1114000 | #Constraints: 40517 3600.02/3608.90 c #Conflicts: 1115000 | #Constraints: 41749 3600.02/3608.90 c #Conflicts: 1116000 | #Constraints: 43084 3600.02/3608.90 c #Conflicts: 1117000 | #Constraints: 44361 3600.02/3608.90 c #Conflicts: 1118000 | #Constraints: 45361 3600.02/3608.90 c #Conflicts: 1119000 | #Constraints: 46522 3600.02/3608.90 c #Conflicts: 1120000 | #Constraints: 47587 3600.02/3608.90 c #Conflicts: 1121000 | #Constraints: 48944 3600.02/3608.90 c #Conflicts: 1122000 | #Constraints: 50104 3600.02/3608.90 c #Conflicts: 1123000 | #Constraints: 51388
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: 63931 MiB (62319 MiB free)
memory of node 1: 64510 MiB (60693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429456-1721048711/watcher-4429456-1721048711 -o /tmp/evaluation-result-4429456-1721048711/solver-4429456-1721048711 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721048723-811591 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429456-1721048711.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=811638, runsolver pid=811632
[startup+0.100995 s]*
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125957628/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=37672 memory=8872 CPUtime=0.1 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 568 0 0 0 9 1 0 0 20 0 1 0 157032923 38576128 2218 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 9418 2218 1850 922 0 1370 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37672 KiB
Current children cumulated memory: 8872 KiB
[startup+0.205803 s]*
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125954952/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=37936 memory=9400 CPUtime=0.2 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 733 0 0 0 19 1 0 0 20 0 1 0 157032923 38846464 2350 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 9484 2350 1850 922 0 1436 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 9400 KiB
[startup+0.304876 s]*
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125951044/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=38068 memory=9664 CPUtime=0.3 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 774 0 0 0 28 2 0 0 20 0 1 0 157032923 38981632 2416 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 9517 2416 1850 922 0 1469 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 9664 KiB
[startup+0.700142 s]
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125949232/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=38464 memory=10720 CPUtime=0.69 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 1026 0 0 0 65 4 0 0 20 0 1 0 157032923 39387136 2680 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 9616 2680 1850 922 0 1568 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38464 KiB
Current children cumulated memory: 10720 KiB
[startup+1.50015 s]
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125944420/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=39144 memory=13292 CPUtime=1.48 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 1183 0 0 0 141 7 0 0 20 0 1 0 157032923 40083456 3323 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 9786 3323 1850 922 0 1738 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39144 KiB
Current children cumulated memory: 13292 KiB
[startup+3.10524 s]
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125937088/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=39500 memory=13856 CPUtime=3.08 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 1285 0 0 0 295 13 0 0 20 0 1 0 157032923 40448000 3464 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 9875 3464 1850 922 0 1827 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39500 KiB
Current children cumulated memory: 13856 KiB
[startup+6.30014 s]
/proc/loadavg: 3.14 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125929776/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=40412 memory=14660 CPUtime=6.27 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 1494 0 0 0 607 20 0 0 20 0 1 0 157032923 41381888 3665 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 10103 3665 1850 922 0 2055 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40412 KiB
Current children cumulated memory: 14660 KiB
[startup+12.7001 s]
/proc/loadavg: 3.21 3.88 4.01 6/255 811654
/proc/meminfo: memFree=125924300/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=41276 memory=15788 CPUtime=12.66 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 1777 0 0 0 1234 32 0 0 20 0 1 0 157032923 42266624 3947 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 10319 3947 1850 922 0 2271 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41276 KiB
Current children cumulated memory: 15788 KiB
[startup+25.5002 s]
/proc/loadavg: 3.38 3.89 4.01 6/254 811793
/proc/meminfo: memFree=125889556/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=45408 memory=19716 CPUtime=25.42 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 2251 0 0 0 2491 51 0 0 20 0 1 0 157032923 46497792 4929 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 11352 4929 1850 922 0 3304 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 45408 KiB
Current children cumulated memory: 19716 KiB
[startup+51.1058 s]
/proc/loadavg: 3.71 3.93 4.02 6/254 811798
/proc/meminfo: memFree=125870540/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=46112 memory=20500 CPUtime=50.96 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 2469 0 0 0 5012 84 0 0 20 0 1 0 157032923 47218688 5125 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 11528 5125 1850 922 0 3480 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 46112 KiB
Current children cumulated memory: 20500 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 3.96 4.02 6/254 811806
/proc/meminfo: memFree=125831720/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=51496 memory=22240 CPUtime=102.01 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 2925 0 0 0 10068 133 0 0 20 0 1 0 157032923 52731904 5560 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 12874 5560 1850 922 0 4826 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 51496 KiB
Current children cumulated memory: 22240 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.02 4.03 6/255 811818
/proc/meminfo: memFree=125810516/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=54632 memory=27268 CPUtime=161.83 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 3712 0 0 0 15999 184 0 0 20 0 1 0 157032923 55943168 6817 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 13658 6817 1850 922 0 5610 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 54632 KiB
Current children cumulated memory: 27268 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.03 4.03 6/255 811828
/proc/meminfo: memFree=125788112/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=68456 memory=37100 CPUtime=221.65 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 5629 0 0 0 21935 230 0 0 20 0 1 0 157032923 70098944 9275 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 17114 9275 1968 922 0 9066 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 68456 KiB
Current children cumulated memory: 37100 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.04 4.03 6/255 811838
/proc/meminfo: memFree=125773276/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=69224 memory=38756 CPUtime=281.49 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 5928 0 0 0 27878 271 0 0 20 0 1 0 157032923 70885376 9689 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 17306 9689 1968 922 0 9258 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 69224 KiB
Current children cumulated memory: 38756 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.06 4.04 6/258 811854
/proc/meminfo: memFree=125757476/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=70504 memory=44176 CPUtime=341.35 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 6428 0 0 0 33834 301 0 0 20 0 1 0 157032923 72196096 11044 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 17626 11044 1968 922 0 9578 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 70504 KiB
Current children cumulated memory: 44176 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.06 4.04 6/258 811864
/proc/meminfo: memFree=125736104/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=73368 memory=46168 CPUtime=401.2 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 7002 0 0 0 39786 334 0 0 20 0 1 0 157032923 75128832 11542 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 18342 11542 1968 922 0 10294 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 73368 KiB
Current children cumulated memory: 46168 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.11 4.06 6/258 811875
/proc/meminfo: memFree=125727780/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=74356 memory=46652 CPUtime=461.06 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 7167 0 0 0 45735 371 0 0 20 0 1 0 157032923 76140544 11663 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 18589 11663 1968 922 0 10541 0
################
# More data... #
################
Current children cumulated memory: 73712 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/257 813047
/proc/meminfo: memFree=125550052/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=104296 memory=73712 CPUtime=2915.12 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13066 0 0 0 290388 1124 0 0 20 0 1 0 157032923 106799104 18428 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26074 18428 1968 922 0 18026 0
Current children cumulated CPU time: 2915.12 s
Current children cumulated vsize: 104296 KiB
Current children cumulated memory: 73712 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/257 813057
/proc/meminfo: memFree=125547700/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=104296 memory=73776 CPUtime=2974.98 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13091 0 0 0 296359 1139 0 0 20 0 1 0 157032923 106799104 18444 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26074 18444 1968 922 0 18026 0
Current children cumulated CPU time: 2974.98 s
Current children cumulated vsize: 104296 KiB
Current children cumulated memory: 73776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/256 813451
/proc/meminfo: memFree=125547464/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=104296 memory=73776 CPUtime=3034.81 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13121 0 0 0 302332 1149 0 0 20 0 1 0 157032923 106799104 18444 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26074 18444 1968 922 0 18026 0
Current children cumulated CPU time: 3034.81 s
Current children cumulated vsize: 104296 KiB
Current children cumulated memory: 73776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/256 813461
/proc/meminfo: memFree=125542756/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105324 memory=76404 CPUtime=3094.65 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13320 0 0 0 308307 1158 0 0 20 0 1 0 157032923 107851776 19101 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26331 19101 1968 922 0 18283 0
Current children cumulated CPU time: 3094.65 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 76404 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/256 813472
/proc/meminfo: memFree=125543684/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105324 memory=77068 CPUtime=3154.51 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13351 0 0 0 314283 1168 0 0 20 0 1 0 157032923 107851776 19267 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26331 19267 1968 922 0 18283 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 77068 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/258 813652
/proc/meminfo: memFree=125543108/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105580 memory=77120 CPUtime=3214.36 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13458 0 0 0 320260 1176 0 0 20 0 1 0 157032923 108113920 19280 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26395 19280 1968 922 0 18347 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 105580 KiB
Current children cumulated memory: 77120 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/258 813662
/proc/meminfo: memFree=125537936/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105580 memory=77120 CPUtime=3274.21 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13489 0 0 0 326234 1187 0 0 20 0 1 0 157032923 108113920 19280 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26395 19280 1968 922 0 18347 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 105580 KiB
Current children cumulated memory: 77120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/258 813688
/proc/meminfo: memFree=125537432/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105580 memory=77120 CPUtime=3334.06 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13519 0 0 0 332208 1198 0 0 20 0 1 0 157032923 108113920 19280 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26395 19280 1968 922 0 18347 0
Current children cumulated CPU time: 3334.06 s
Current children cumulated vsize: 105580 KiB
Current children cumulated memory: 77120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/258 813698
/proc/meminfo: memFree=125536472/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105836 memory=77144 CPUtime=3393.91 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13612 0 0 0 338181 1210 0 0 20 0 1 0 157032923 108376064 19286 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26459 19286 1968 922 0 18411 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 105836 KiB
Current children cumulated memory: 77144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.18 4.11 6/258 813708
/proc/meminfo: memFree=125536132/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105836 memory=77144 CPUtime=3453.76 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13639 0 0 0 344152 1224 0 0 20 0 1 0 157032923 108376064 19286 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26459 19286 1968 922 0 18411 0
Current children cumulated CPU time: 3453.76 s
Current children cumulated vsize: 105836 KiB
Current children cumulated memory: 77144 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.18 4.11 6/256 813720
/proc/meminfo: memFree=125535696/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105836 memory=77152 CPUtime=3513.62 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13664 0 0 0 350123 1239 0 0 20 0 1 0 157032923 108376064 19288 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26459 19288 1968 922 0 18411 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 105836 KiB
Current children cumulated memory: 77152 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.19 4.12 6/256 813730
/proc/meminfo: memFree=125525464/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105836 memory=77152 CPUtime=3573.48 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13693 0 0 0 356093 1255 0 0 20 0 1 0 157032923 108376064 19288 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26459 19288 1968 922 0 18411 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 105836 KiB
Current children cumulated memory: 77152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.22 4.19 4.12 6/256 813735
/proc/meminfo: memFree=125525416/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105836 memory=77152 CPUtime=3600.02 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13694 0 0 0 358740 1262 0 0 20 0 1 0 157032923 108376064 19288 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26459 19288 1968 922 0 18411 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 105836 KiB
Current children cumulated memory: 77152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 811638 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3587.41 s, system=12.6221 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.22 4.19 4.12 6/256 813735
/proc/meminfo: memFree=125525416/131524600 swapFree=131071996/131071996
[pid=811638] ppid=811632 vsize=105836 memory=77152 CPUtime=3600.02 cores=1,3
/proc/811638/stat : 811638 (roundingsat) R 811632 811638 811579 0 -1 4194304 13694 0 0 0 358740 1262 0 0 20 0 1 0 157032923 108376064 19288 134679101440 4194304 7968869 140730216667984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 11280384 140730216674238 140730216674402 140730216674402 140730216681417 0
/proc/811638/statm: 26459 19288 1968 922 0 18411 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 105836 KiB
Current children cumulated memory: 77152 KiB
Child status: 1
Real time (s): 3608.9
CPU time (s): 3600.03
CPU user time (s): 3587.41
CPU system time (s): 12.6221
CPU usage (%): 99.7541
Max. virtual memory (cumulated for all children) (KiB): 105836
Max. memory (cumulated for all children) (KiB): 77152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.41
system time used= 12.6221
maximum resident set size= 77152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13702
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= 31
involuntary context switches= 1938
# summary of solver processes directly reported to runsolver:
# pid: 811638
# total CPU time (s): 3600.03
# total CPU user time (s): 3587.41
# total CPU system time (s): 12.6221
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92313 second user time and 18.8798 second system time
The end
Begin job on nodeC017 at 2024-07-15 15:05:23 IDJOB=4429456 IDBENCH=147594 IDSOLVER=3051 FILE ID=nodeC017/4429456-1721048711 RUNJOBID= nodeC017-1721048723-811591 SLURM_JOB_ID= 7505469 Free space on /tmp= 890084 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-4429456-1721048711/watcher-4429456-1721048711 -o /tmp/evaluation-result-4429456-1721048711/solver-4429456-1721048711 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721048723-811591 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429456-1721048711.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce RANDOM SEED=1312118502 nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3590.366 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3491.384 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3576.602 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3562.022 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3482.934 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3274.113 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3607.854 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3604.726 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125968452 kB MemAvailable: 129723788 kB Buffers: 367092 kB Cached: 4187772 kB SwapCached: 0 kB Active: 711936 kB Inactive: 4173940 kB Active(anon): 1444 kB Inactive(anon): 367604 kB Active(file): 710492 kB Inactive(file): 3806336 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20904 kB Writeback: 0 kB AnonPages: 331372 kB Mapped: 103128 kB Shmem: 37720 kB KReclaimable: 156312 kB Slab: 267808 kB SReclaimable: 156312 kB SUnreclaim: 111496 kB KernelStack: 3856 kB PageTables: 9752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 764848 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59744 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 211668 kB DirectMap2M: 24727552 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 890060 MiB End job on nodeC017 at 2024-07-15 16:05:32