| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.07 | 3614.87 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
| MD5SUM | d6e4abba593cb3232b5d1a2a9d687dd6 |
| 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 | 13 |
| Best CPU time to get the best result obtained on this benchmark | 3600.02 |
| 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 | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 82 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5856 |
| 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 198 #constraints 16 0.00/0.00 c bounds - >= 0 @ 0.001183 0.00/0.00 c rational objective 0 0.30/0.35 c bounds 227 >= 0 @ 0.0163 0.30/0.35 c bounds 222 >= 0 @ 0.018391 0.30/0.35 c bounds 217 >= 0 @ 0.031863 0.30/0.35 c bounds 201 >= 0 @ 0.03406 0.30/0.35 c bounds 199 >= 0 @ 0.034604 0.30/0.35 c #Conflicts: 1000 | #Constraints: 1036 0.30/0.35 c #Conflicts: 2000 | #Constraints: 2047 0.30/0.35 c INPROCESSING 0.30/0.35 c GARBAGE COLLECT 0.30/0.35 c rational objective 0 0.89/1.00 c bounds 197 >= 0 @ 0.339557 0.89/1.00 c bounds 195 >= 0 @ 0.340084 0.89/1.00 c bounds 193 >= 0 @ 0.341439 0.89/1.00 c bounds 191 >= 0 @ 0.344472 0.89/1.00 c bounds 189 >= 0 @ 0.345074 0.89/1.00 c bounds 185 >= 0 @ 0.345601 0.89/1.00 c bounds 183 >= 0 @ 0.346386 0.89/1.00 c bounds 181 >= 0 @ 0.347255 0.89/1.00 c bounds 179 >= 0 @ 0.348879 0.89/1.00 c bounds 177 >= 0 @ 0.350045 0.89/1.00 c bounds 171 >= 0 @ 0.353832 0.89/1.00 c bounds 169 >= 0 @ 0.358119 0.89/1.00 c bounds 167 >= 0 @ 0.359717 0.89/1.00 c bounds 151 >= 0 @ 0.360181 0.89/1.00 c bounds 119 >= 0 @ 0.360366 0.89/1.00 c bounds 97 >= 0 @ 0.364964 0.89/1.00 c bounds 85 >= 0 @ 0.370744 0.89/1.00 c bounds 81 >= 0 @ 0.373648 0.89/1.00 c bounds 73 >= 0 @ 0.375615 0.89/1.00 c bounds 69 >= 0 @ 0.37737 0.89/1.00 c bounds 65 >= 0 @ 0.378248 0.89/1.00 c bounds 61 >= 0 @ 0.381272 0.89/1.00 c bounds 57 >= 0 @ 0.382079 0.89/1.00 c #Conflicts: 3000 | #Constraints: 2075 0.89/1.00 c bounds 56 >= 0 @ 0.898749 0.89/1.00 c #Conflicts: 4000 | #Constraints: 3087 0.89/1.00 c INPROCESSING 0.89/1.00 c GARBAGE COLLECT 0.89/1.00 c rational objective 0 1.69/1.75 c #Conflicts: 5000 | #Constraints: 2437 1.69/1.75 c #Conflicts: 6000 | #Constraints: 3444 1.69/1.75 c INPROCESSING 1.69/1.75 c GARBAGE COLLECT 1.69/1.75 c rational objective 0 2.68/2.77 c bounds 54 >= 0 @ 1.68342 2.68/2.77 c #Conflicts: 7000 | #Constraints: 2448 2.68/2.77 c #Conflicts: 8000 | #Constraints: 3457 2.68/2.77 c #Conflicts: 9000 | #Constraints: 4467 2.68/2.77 c INPROCESSING 2.68/2.77 c GARBAGE COLLECT 2.68/2.77 c rational objective 0 3.78/3.81 c #Conflicts: 10000 | #Constraints: 3158 3.78/3.81 c #Conflicts: 11000 | #Constraints: 4165 3.78/3.81 c #Conflicts: 12000 | #Constraints: 5174 3.78/3.81 c INPROCESSING 3.78/3.81 c GARBAGE COLLECT 3.78/3.81 c rational objective 0 5.08/5.13 c #Conflicts: 13000 | #Constraints: 3611 5.08/5.13 c bounds 52 >= 0 @ 4.23071 5.08/5.13 c #Conflicts: 14000 | #Constraints: 4620 5.08/5.13 c #Conflicts: 15000 | #Constraints: 5627 5.08/5.13 c INPROCESSING 5.08/5.13 c GARBAGE COLLECT 5.08/5.13 c rational objective 0 6.47/6.58 c bounds 50 >= 0 @ 4.94517 6.47/6.58 c bounds 46 >= 0 @ 5.34441 6.47/6.58 c #Conflicts: 16000 | #Constraints: 3849 6.47/6.58 c #Conflicts: 17000 | #Constraints: 4860 6.47/6.58 c #Conflicts: 18000 | #Constraints: 5863 6.47/6.58 c INPROCESSING 6.47/6.58 c GARBAGE COLLECT 6.47/6.58 c rational objective 0 8.27/8.30 c bounds 38 >= 0 @ 6.37258 8.27/8.30 c #Conflicts: 19000 | #Constraints: 3852 8.27/8.30 c #Conflicts: 20000 | #Constraints: 4865 8.27/8.30 c #Conflicts: 21000 | #Constraints: 5877 8.27/8.30 c INPROCESSING 8.27/8.30 c GARBAGE COLLECT 8.27/8.30 c rational objective 0 9.86/9.94 c #Conflicts: 22000 | #Constraints: 3660 9.86/9.94 c #Conflicts: 23000 | #Constraints: 4678 9.86/9.94 c #Conflicts: 24000 | #Constraints: 5688 9.86/9.94 c #Conflicts: 25000 | #Constraints: 6698 9.86/9.94 c INPROCESSING 9.86/9.94 c GARBAGE COLLECT 9.86/9.94 c rational objective 0 12.16/12.27 c #Conflicts: 26000 | #Constraints: 4275 12.16/12.27 c #Conflicts: 27000 | #Constraints: 5282 12.16/12.27 c #Conflicts: 28000 | #Constraints: 6287 12.16/12.27 c #Conflicts: 29000 | #Constraints: 7292 12.16/12.27 c INPROCESSING 12.16/12.27 c GARBAGE COLLECT 12.16/12.27 c rational objective 0 14.35/14.40 c #Conflicts: 30000 | #Constraints: 4674 14.35/14.40 c #Conflicts: 31000 | #Constraints: 5682 14.35/14.40 c #Conflicts: 32000 | #Constraints: 6692 14.35/14.40 c #Conflicts: 33000 | #Constraints: 7694 14.35/14.40 c INPROCESSING 14.35/14.40 c GARBAGE COLLECT 14.35/14.40 c rational objective 0 17.45/17.52 c #Conflicts: 34000 | #Constraints: 4867 17.45/17.52 c #Conflicts: 35000 | #Constraints: 5868 17.45/17.52 c #Conflicts: 36000 | #Constraints: 6874 17.45/17.52 c #Conflicts: 37000 | #Constraints: 7877 17.45/17.52 c INPROCESSING 17.45/17.52 c GARBAGE COLLECT 17.45/17.52 c rational objective 0 19.94/20.07 c #Conflicts: 38000 | #Constraints: 4872 19.94/20.07 c #Conflicts: 39000 | #Constraints: 5878 19.94/20.07 c #Conflicts: 40000 | #Constraints: 6884 19.94/20.07 c #Conflicts: 41000 | #Constraints: 7890 19.94/20.07 c INPROCESSING 19.94/20.07 c GARBAGE COLLECT 19.94/20.07 c rational objective 0 22.94/23.05 c #Conflicts: 42000 | #Constraints: 4663 22.94/23.05 c #Conflicts: 43000 | #Constraints: 5670 22.94/23.05 c #Conflicts: 44000 | #Constraints: 6673 22.94/23.05 c #Conflicts: 45000 | #Constraints: 7676 22.94/23.05 c #Conflicts: 46000 | #Constraints: 8683 22.94/23.05 c INPROCESSING 22.94/23.05 c GARBAGE COLLECT 22.94/23.05 c rational objective 0 26.62/26.73 c #Conflicts: 47000 | #Constraints: 5262 26.62/26.73 c bounds 36 >= 0 @ 23.1279 26.62/26.73 c bounds 34 >= 0 @ 23.131 26.62/26.73 c bounds 30 >= 0 @ 23.1347 26.62/26.73 c #Conflicts: 48000 | #Constraints: 6272 26.62/26.73 c #Conflicts: 49000 | #Constraints: 7276 26.62/26.73 c #Conflicts: 50000 | #Constraints: 8278 26.62/26.73 c #Conflicts: 51000 | #Constraints: 9284 26.62/26.73 c INPROCESSING 26.62/26.73 c GARBAGE COLLECT 26.62/26.73 c rational objective 0 29.81/29.98 c #Conflicts: 52000 | #Constraints: 5666 29.81/29.98 c #Conflicts: 53000 | #Constraints: 6670 29.81/29.98 c #Conflicts: 54000 | #Constraints: 7672 29.81/29.98 c #Conflicts: 55000 | #Constraints: 8680 29.81/29.98 c #Conflicts: 56000 | #Constraints: 9682 29.81/29.98 c INPROCESSING 29.81/29.98 c GARBAGE COLLECT 29.81/29.98 c rational objective 0 34.40/34.58 c #Conflicts: 57000 | #Constraints: 5863 34.40/34.58 c #Conflicts: 58000 | #Constraints: 6869 34.40/34.58 c #Conflicts: 59000 | #Constraints: 7875 34.40/34.58 c #Conflicts: 60000 | #Constraints: 8878 34.40/34.58 c #Conflicts: 61000 | #Constraints: 9881 34.40/34.58 c INPROCESSING 34.40/34.58 c GARBAGE COLLECT 34.40/34.58 c rational objective 0 38.29/38.46 c #Conflicts: 62000 | #Constraints: 5868 38.29/38.46 c #Conflicts: 63000 | #Constraints: 6872 38.29/38.46 c #Conflicts: 64000 | #Constraints: 7879 38.29/38.46 c #Conflicts: 65000 | #Constraints: 8881 38.29/38.46 c #Conflicts: 66000 | #Constraints: 9889 38.29/38.46 c INPROCESSING 38.29/38.46 c GARBAGE COLLECT 38.29/38.46 c rational objective 0 42.38/42.50 c #Conflicts: 67000 | #Constraints: 5663 42.38/42.50 c #Conflicts: 68000 | #Constraints: 6670 42.38/42.50 c #Conflicts: 69000 | #Constraints: 7672 42.38/42.50 c #Conflicts: 70000 | #Constraints: 8675 42.38/42.50 c #Conflicts: 71000 | #Constraints: 9677 42.38/42.50 c #Conflicts: 72000 | #Constraints: 10678 42.38/42.50 c INPROCESSING 42.38/42.50 c GARBAGE COLLECT 42.38/42.50 c rational objective 0 48.36/48.59 c #Conflicts: 73000 | #Constraints: 6261 48.36/48.59 c #Conflicts: 74000 | #Constraints: 7264 48.36/48.59 c #Conflicts: 75000 | #Constraints: 8266 48.36/48.59 c #Conflicts: 76000 | #Constraints: 9271 48.36/48.59 c #Conflicts: 77000 | #Constraints: 10279 48.36/48.59 c #Conflicts: 78000 | #Constraints: 11284 48.36/48.59 c INPROCESSING 48.36/48.59 c GARBAGE COLLECT 48.36/48.59 c rational objective 0 52.65/52.88 c #Conflicts: 79000 | #Constraints: 6672 52.65/52.88 c #Conflicts: 80000 | #Constraints: 7676 52.65/52.88 c #Conflicts: 81000 | #Constraints: 8679 52.65/52.88 c #Conflicts: 82000 | #Constraints: 9683 52.65/52.88 c #Conflicts: 83000 | #Constraints: 10685 52.65/52.88 c #Conflicts: 84000 | #Constraints: 11688 52.65/52.88 c INPROCESSING 52.65/52.88 c GARBAGE COLLECT 52.65/52.88 c rational objective 0 59.22/59.48 c #Conflicts: 85000 | #Constraints: 6864 59.22/59.48 c #Conflicts: 86000 | #Constraints: 7866 59.22/59.48 c #Conflicts: 87000 | #Constraints: 8868 59.22/59.48 c #Conflicts: 88000 | #Constraints: 9870 59.22/59.48 c #Conflicts: 89000 | #Constraints: 10871 59.22/59.48 c #Conflicts: 90000 | #Constraints: 11873 59.22/59.48 c INPROCESSING 59.22/59.48 c GARBAGE COLLECT 59.22/59.48 c rational objective 0 65.20/65.40 c #Conflicts: 91000 | #Constraints: 6861 65.20/65.40 c #Conflicts: 92000 | #Constraints: 7868 65.20/65.40 c #Conflicts: 93000 | #Constraints: 8869 65.20/65.40 c #Conflicts: 94000 | #Constraints: 9871 65.20/65.40 c #Conflicts: 95000 | #Constraints: 10872 65.20/65.40 c #Conflicts: 96000 | #Constraints: 11872 65.20/65.40 c INPROCESSING 65.20/65.40 c GARBAGE COLLECT 65.20/65.40 c rational objective 0 70.59/70.85 c #Conflicts: 97000 | #Constraints: 6658 70.59/70.85 c #Conflicts: 98000 | #Constraints: 7662 70.59/70.85 c #Conflicts: 99000 | #Constraints: 8665 70.59/70.85 c #Conflicts: 100000 | #Constraints: 9666 70.59/70.85 c #Conflicts: 101000 | #Constraints: 10666 70.59/70.85 c #Conflicts: 102000 | #Constraints: 11667 70.59/70.85 c #Conflicts: 103000 | #Constraints: 12672 70.59/70.85 c INPROCESSING 70.59/70.85 c GARBAGE COLLECT 70.59/70.85 c rational objective 0 78.66/78.99 c #Conflicts: 104000 | #Constraints: 7254 78.66/78.99 c #Conflicts: 105000 | #Constraints: 8256 78.66/78.99 c #Conflicts: 106000 | #Constraints: 9259 78.66/78.99 c #Conflicts: 107000 | #Constraints: 10262 78.66/78.99 c #Conflicts: 108000 | #Constraints: 11268 78.66/78.99 c #Conflicts: 109000 | #Constraints: 12271 78.66/78.99 c #Conflicts: 110000 | #Constraints: 13275 78.66/78.99 c INPROCESSING 78.66/78.99 c GARBAGE COLLECT 78.66/78.99 c rational objective 0 84.15/84.40 c #Conflicts: 111000 | #Constraints: 7665 84.15/84.40 c #Conflicts: 112000 | #Constraints: 8668 84.15/84.40 c #Conflicts: 113000 | #Constraints: 9673 84.15/84.40 c #Conflicts: 114000 | #Constraints: 10677 84.15/84.40 c #Conflicts: 115000 | #Constraints: 11678 84.15/84.40 c #Conflicts: 116000 | #Constraints: 12686 84.15/84.40 c #Conflicts: 117000 | #Constraints: 13687 84.15/84.40 c INPROCESSING 84.15/84.40 c GARBAGE COLLECT 84.15/84.40 c rational objective 0 91.52/91.83 c #Conflicts: 118000 | #Constraints: 7862 91.52/91.83 c #Conflicts: 119000 | #Constraints: 8864 91.52/91.83 c #Conflicts: 120000 | #Constraints: 9868 91.52/91.83 c #Conflicts: 121000 | #Constraints: 10870 91.52/91.83 c bounds 29 >= 0 @ 87.4888 91.52/91.83 c #Conflicts: 122000 | #Constraints: 11873 91.52/91.83 c #Conflicts: 123000 | #Constraints: 12878 91.52/91.83 c #Conflicts: 124000 | #Constraints: 13882 91.52/91.83 c INPROCESSING 91.52/91.83 c GARBAGE COLLECT 91.52/91.83 c rational objective 0 97.50/97.89 c #Conflicts: 125000 | #Constraints: 7860 97.50/97.89 c #Conflicts: 126000 | #Constraints: 8862 97.50/97.89 c #Conflicts: 127000 | #Constraints: 9867 97.50/97.89 c #Conflicts: 128000 | #Constraints: 10873 97.50/97.89 c #Conflicts: 129000 | #Constraints: 11874 97.50/97.89 c #Conflicts: 130000 | #Constraints: 12878 97.50/97.89 c #Conflicts: 131000 | #Constraints: 13882 97.50/97.89 c INPROCESSING 97.50/97.89 c GARBAGE COLLECT 97.50/97.89 c rational objective 0 106.97/107.36 c bounds 25 >= 0 @ 95.7432 106.97/107.36 c bounds 23 >= 0 @ 95.7464 106.97/107.36 c #Conflicts: 132000 | #Constraints: 7663 106.97/107.36 c #Conflicts: 133000 | #Constraints: 8667 106.97/107.36 c #Conflicts: 134000 | #Constraints: 9675 106.97/107.36 c #Conflicts: 135000 | #Constraints: 10679 106.97/107.36 c #Conflicts: 136000 | #Constraints: 11684 106.97/107.36 c #Conflicts: 137000 | #Constraints: 12690 106.97/107.36 c #Conflicts: 138000 | #Constraints: 13691 106.97/107.36 c #Conflicts: 139000 | #Constraints: 14695 106.97/107.36 c INPROCESSING 106.97/107.36 c GARBAGE COLLECT 106.97/107.36 c rational objective 0 114.95/115.38 c #Conflicts: 140000 | #Constraints: 8271 114.95/115.38 c #Conflicts: 141000 | #Constraints: 9274 114.95/115.38 c #Conflicts: 142000 | #Constraints: 10277 114.95/115.38 c #Conflicts: 143000 | #Constraints: 11278 114.95/115.38 c #Conflicts: 144000 | #Constraints: 12279 114.95/115.38 c #Conflicts: 145000 | #Constraints: 13281 114.95/115.38 c #Conflicts: 146000 | #Constraints: 14284 114.95/115.38 c #Conflicts: 147000 | #Constraints: 15288 114.95/115.38 c INPROCESSING 114.95/115.38 c GARBAGE COLLECT 114.95/115.38 c rational objective 0 126.02/126.42 c #Conflicts: 148000 | #Constraints: 8664 126.02/126.42 c #Conflicts: 149000 | #Constraints: 9668 126.02/126.42 c #Conflicts: 150000 | #Constraints: 10672 126.02/126.42 c #Conflicts: 151000 | #Constraints: 11676 126.02/126.42 c #Conflicts: 152000 | #Constraints: 12678 126.02/126.42 c #Conflicts: 153000 | #Constraints: 13680 126.02/126.42 c #Conflicts: 154000 | #Constraints: 14683 126.02/126.42 c #Conflicts: 155000 | #Constraints: 15684 126.02/126.42 c INPROCESSING 126.02/126.42 c GARBAGE COLLECT 126.02/126.42 c rational objective 0 133.79/134.23 c #Conflicts: 156000 | #Constraints: 8867 133.79/134.23 c #Conflicts: 157000 | #Constraints: 9871 133.79/134.23 c #Conflicts: 158000 | #Constraints: 10876 133.79/134.23 c #Conflicts: 159000 | #Constraints: 11878 133.79/134.23 c #Conflicts: 160000 | #Constraints: 12881 133.79/134.23 c #Conflicts: 161000 | #Constraints: 13886 133.79/134.23 c #Conflicts: 162000 | #Constraints: 14889 133.79/134.23 c #Conflicts: 163000 | #Constraints: 15891 133.79/134.23 c INPROCESSING 133.79/134.23 c GARBAGE COLLECT 133.79/134.23 c rational objective 0 141.77/142.29 c #Conflicts: 164000 | #Constraints: 8865 141.77/142.29 c #Conflicts: 165000 | #Constraints: 9867 141.77/142.29 c #Conflicts: 166000 | #Constraints: 10871 141.77/142.29 c #Conflicts: 167000 | #Constraints: 11872 141.77/142.29 c #Conflicts: 168000 | #Constraints: 12872 141.77/142.29 c #Conflicts: 169000 | #Constraints: 13875 141.77/142.29 c #Conflicts: 170000 | #Constraints: 14878 141.77/142.29 c #Conflicts: 171000 | #Constraints: 15880 141.77/142.29 c INPROCESSING 141.77/142.29 c GARBAGE COLLECT 141.77/142.29 c rational objective 0 154.92/155.40 c #Conflicts: 172000 | #Constraints: 8657 154.92/155.40 c #Conflicts: 173000 | #Constraints: 9660 154.92/155.40 c #Conflicts: 174000 | #Constraints: 10664 154.92/155.40 c #Conflicts: 175000 | #Constraints: 11669 154.92/155.40 c #Conflicts: 176000 | #Constraints: 12673 154.92/155.40 c #Conflicts: 177000 | #Constraints: 13673 154.92/155.40 c #Conflicts: 178000 | #Constraints: 14674 154.92/155.40 c #Conflicts: 179000 | #Constraints: 15675 154.92/155.40 c #Conflicts: 180000 | #Constraints: 16677 154.92/155.40 c INPROCESSING 154.92/155.40 c GARBAGE COLLECT 154.92/155.40 c rational objective 0 164.50/165.02 c #Conflicts: 181000 | #Constraints: 9267 164.50/165.02 c #Conflicts: 182000 | #Constraints: 10271 164.50/165.02 c #Conflicts: 183000 | #Constraints: 11275 164.50/165.02 c #Conflicts: 184000 | #Constraints: 12278 164.50/165.02 c #Conflicts: 185000 | #Constraints: 13282 164.50/165.02 c #Conflicts: 186000 | #Constraints: 14285 164.50/165.02 c #Conflicts: 187000 | #Constraints: 15288 164.50/165.02 c #Conflicts: 188000 | #Constraints: 16291 164.50/165.02 c #Conflicts: 189000 | #Constraints: 17294 164.50/165.02 c INPROCESSING 164.50/165.02 c GARBAGE COLLECT 164.50/165.02 c rational objective 0 174.77/175.36 c #Conflicts: 190000 | #Constraints: 9667 174.77/175.36 c #Conflicts: 191000 | #Constraints: 10669 174.77/175.36 c #Conflicts: 192000 | #Constraints: 11672 174.77/175.36 c #Conflicts: 193000 | #Constraints: 12675 174.77/175.36 c #Conflicts: 194000 | #Constraints: 13676 174.77/175.36 c #Conflicts: 195000 | #Constraints: 14678 174.77/175.36 c #Conflicts: 196000 | #Constraints: 15681 174.77/175.36 c #Conflicts: 197000 | #Constraints: 16683 174.77/175.36 c #Conflicts: 198000 | #Constraints: 17683 174.77/175.36 c INPROCESSING 174.77/175.36 c GARBAGE COLLECT 174.77/175.36 c rational objective 0 189.92/190.56 c #Conflicts: 199000 | #Constraints: 9866 189.92/190.56 c #Conflicts: 200000 | #Constraints: 10871 189.92/190.56 c #Conflicts: 201000 | #Constraints: 11875 189.92/190.56 c #Conflicts: 202000 | #Constraints: 12881 189.92/190.56 c #Conflicts: 203000 | #Constraints: 13882 189.92/190.56 c #Conflicts: 204000 | #Constraints: 14882 189.92/190.56 c #Conflicts: 205000 | #Constraints: 15885 189.92/190.56 c #Conflicts: 206000 | #Constraints: 16888 189.92/190.56 c #Conflicts: 207000 | #Constraints: 17889 189.92/190.56 c INPROCESSING 189.92/190.56 c GARBAGE COLLECT 189.92/190.56 c rational objective 0 202.68/203.36 c #Conflicts: 208000 | #Constraints: 9873 202.68/203.36 c #Conflicts: 209000 | #Constraints: 10876 202.68/203.36 c #Conflicts: 210000 | #Constraints: 11879 202.68/203.36 c #Conflicts: 211000 | #Constraints: 12881 202.68/203.36 c #Conflicts: 212000 | #Constraints: 13885 202.68/203.36 c #Conflicts: 213000 | #Constraints: 14886 202.68/203.36 c #Conflicts: 214000 | #Constraints: 15887 202.68/203.36 c #Conflicts: 215000 | #Constraints: 16888 202.68/203.36 c #Conflicts: 216000 | #Constraints: 17890 202.68/203.36 c INPROCESSING 202.68/203.36 c GARBAGE COLLECT 202.68/203.36 c rational objective 0 221.22/221.92 c #Conflicts: 217000 | #Constraints: 9663 221.22/221.92 c #Conflicts: 218000 | #Constraints: 10664 221.22/221.92 c #Conflicts: 219000 | #Constraints: 11665 221.22/221.92 c #Conflicts: 220000 | #Constraints: 12666 221.22/221.92 c #Conflicts: 221000 | #Constraints: 13666 221.22/221.92 c #Conflicts: 222000 | #Constraints: 14668 221.22/221.92 c #Conflicts: 223000 | #Constraints: 15670 221.22/221.92 c #Conflicts: 224000 | #Constraints: 16672 221.22/221.92 c #Conflicts: 225000 | #Constraints: 17675 221.22/221.92 c #Conflicts: 226000 | #Constraints: 18676 221.22/221.92 c INPROCESSING 221.22/221.92 c GARBAGE COLLECT 221.22/221.92 c rational objective 0 233.48/234.29 c #Conflicts: 227000 | #Constraints: 10263 233.48/234.29 c #Conflicts: 228000 | #Constraints: 11265 233.48/234.29 c #Conflicts: 229000 | #Constraints: 12270 233.48/234.29 c #Conflicts: 230000 | #Constraints: 13270 233.48/234.29 c #Conflicts: 231000 | #Constraints: 14272 233.48/234.29 c #Conflicts: 232000 | #Constraints: 15274 233.48/234.29 c #Conflicts: 233000 | #Constraints: 16277 233.48/234.29 c #Conflicts: 234000 | #Constraints: 17280 233.48/234.29 c #Conflicts: 235000 | #Constraints: 18280 233.48/234.29 c #Conflicts: 236000 | #Constraints: 19282 233.48/234.29 c INPROCESSING 233.48/234.29 c GARBAGE COLLECT 233.48/234.29 c rational objective 0 245.05/245.86 c #Conflicts: 237000 | #Constraints: 10655 245.05/245.86 c #Conflicts: 238000 | #Constraints: 11658 245.05/245.86 c #Conflicts: 239000 | #Constraints: 12659 245.05/245.86 c #Conflicts: 240000 | #Constraints: 13662 245.05/245.86 c #Conflicts: 241000 | #Constraints: 14664 245.05/245.86 c #Conflicts: 242000 | #Constraints: 15667 245.05/245.86 c #Conflicts: 243000 | #Constraints: 16671 245.05/245.86 c #Conflicts: 244000 | #Constraints: 17675 245.05/245.86 c #Conflicts: 245000 | #Constraints: 18676 245.05/245.86 c #Conflicts: 246000 | #Constraints: 19681 245.05/245.86 c INPROCESSING 245.05/245.86 c GARBAGE COLLECT 245.05/245.86 c rational objective 0 264.29/265.16 c #Conflicts: 247000 | #Constraints: 10860 264.29/265.16 c #Conflicts: 248000 | #Constraints: 11862 264.29/265.16 c #Conflicts: 249000 | #Constraints: 12863 264.29/265.16 c #Conflicts: 250000 | #Constraints: 13866 264.29/265.16 c #Conflicts: 251000 | #Constraints: 14867 264.29/265.16 c #Conflicts: 252000 | #Constraints: 15869 264.29/265.16 c #Conflicts: 253000 | #Constraints: 16874 264.29/265.16 c #Conflicts: 254000 | #Constraints: 17876 264.29/265.16 c #Conflicts: 255000 | #Constraints: 18878 264.29/265.16 c #Conflicts: 256000 | #Constraints: 19878 264.29/265.16 c INPROCESSING 264.29/265.16 c GARBAGE COLLECT 264.29/265.16 c rational objective 0 277.44/278.35 c #Conflicts: 257000 | #Constraints: 10864 277.44/278.35 c #Conflicts: 258000 | #Constraints: 11867 277.44/278.35 c #Conflicts: 259000 | #Constraints: 12872 277.44/278.35 c #Conflicts: 260000 | #Constraints: 13875 277.44/278.35 c #Conflicts: 261000 | #Constraints: 14876 277.44/278.35 c #Conflicts: 262000 | #Constraints: 15877 277.44/278.35 c #Conflicts: 263000 | #Constraints: 16879 277.44/278.35 c #Conflicts: 264000 | #Constraints: 17881 277.44/278.35 c #Conflicts: 265000 | #Constraints: 18881 277.44/278.35 c #Conflicts: 266000 | #Constraints: 19882 277.44/278.35 c INPROCESSING 277.44/278.35 c GARBAGE COLLECT 277.44/278.35 c rational objective 0 299.47/300.47 c #Conflicts: 267000 | #Constraints: 10658 299.47/300.47 c #Conflicts: 268000 | #Constraints: 11659 299.47/300.47 c #Conflicts: 269000 | #Constraints: 12659 299.47/300.47 c #Conflicts: 270000 | #Constraints: 13660 299.47/300.47 c #Conflicts: 271000 | #Constraints: 14663 299.47/300.47 c #Conflicts: 272000 | #Constraints: 15664 299.47/300.47 c #Conflicts: 273000 | #Constraints: 16665 299.47/300.47 c #Conflicts: 274000 | #Constraints: 17665 299.47/300.47 c #Conflicts: 275000 | #Constraints: 18666 299.47/300.47 c #Conflicts: 276000 | #Constraints: 19668 299.47/300.47 c #Conflicts: 277000 | #Constraints: 20669 299.47/300.47 c INPROCESSING 299.47/300.47 c GARBAGE COLLECT 299.47/300.47 c rational objective 0 313.23/314.24 c #Conflicts: 278000 | #Constraints: 11258 313.23/314.24 c #Conflicts: 279000 | #Constraints: 12260 313.23/314.24 c #Conflicts: 280000 | #Constraints: 13262 313.23/314.24 c #Conflicts: 281000 | #Constraints: 14267 313.23/314.24 c #Conflicts: 282000 | #Constraints: 15268 313.23/314.24 c #Conflicts: 283000 | #Constraints: 16271 313.23/314.24 c #Conflicts: 284000 | #Constraints: 17273 313.23/314.24 c #Conflicts: 285000 | #Constraints: 18275 313.23/314.24 c #Conflicts: 286000 | #Constraints: 19280 313.23/314.24 c #Conflicts: 287000 | #Constraints: 20282 313.23/314.24 c #Conflicts: 288000 | #Constraints: 21285 313.23/314.24 c INPROCESSING 313.23/314.24 c GARBAGE COLLECT 313.23/314.24 c rational objective 0 327.19/328.24 c #Conflicts: 289000 | #Constraints: 11660 327.19/328.24 c #Conflicts: 290000 | #Constraints: 12666 327.19/328.24 c #Conflicts: 291000 | #Constraints: 13669 327.19/328.24 c #Conflicts: 292000 | #Constraints: 14670 327.19/328.24 c #Conflicts: 293000 | #Constraints: 15671 327.19/328.24 c #Conflicts: 294000 | #Constraints: 16672 327.19/328.24 c #Conflicts: 295000 | #Constraints: 17672 327.19/328.24 c #Conflicts: 296000 | #Constraints: 18674 327.19/328.24 c #Conflicts: 297000 | #Constraints: 19675 327.19/328.24 c #Conflicts: 298000 | #Constraints: 20675 327.19/328.24 c #Conflicts: 299000 | #Constraints: 21681 327.19/328.24 c INPROCESSING 327.19/328.24 c GARBAGE COLLECT 327.19/328.24 c rational objective 0 351.91/353.08 c #Conflicts: 300000 | #Constraints: 11863 351.91/353.08 c #Conflicts: 301000 | #Constraints: 12865 351.91/353.08 c #Conflicts: 302000 | #Constraints: 13866 351.91/353.08 c #Conflicts: 303000 | #Constraints: 14868 351.91/353.08 c #Conflicts: 304000 | #Constraints: 15871 351.91/353.08 c #Conflicts: 305000 | #Constraints: 16871 351.91/353.08 c #Conflicts: 306000 | #Constraints: 17875 351.91/353.08 c #Conflicts: 307000 | #Constraints: 18879 351.91/353.08 c #Conflicts: 308000 | #Constraints: 19879 351.91/353.08 c #Conflicts: 309000 | #Constraints: 20881 351.91/353.08 c #Conflicts: 310000 | #Constraints: 21882 351.91/353.08 c INPROCESSING 351.91/353.08 c GARBAGE COLLECT 351.91/353.08 c rational objective 0 370.75/371.91 c #Conflicts: 311000 | #Constraints: 11871 370.75/371.91 c #Conflicts: 312000 | #Constraints: 12872 370.75/371.91 c #Conflicts: 313000 | #Constraints: 13872 370.75/371.91 c #Conflicts: 314000 | #Constraints: 14873 370.75/371.91 c #Conflicts: 315000 | #Constraints: 15874 370.75/371.91 c #Conflicts: 316000 | #Constraints: 16876 370.75/371.91 c #Conflicts: 317000 | #Constraints: 17876 370.75/371.91 c #Conflicts: 318000 | #Constraints: 18878 370.75/371.91 c #Conflicts: 319000 | #Constraints: 19880 370.75/371.91 c #Conflicts: 320000 | #Constraints: 20881 370.75/371.91 c #Conflicts: 321000 | #Constraints: 21881 370.75/371.91 c INPROCESSING 370.75/371.91 c GARBAGE COLLECT 370.75/371.91 c rational objective 0 390.08/391.40 c #Conflicts: 322000 | #Constraints: 11661 390.08/391.40 c #Conflicts: 323000 | #Constraints: 12662 390.08/391.40 c #Conflicts: 324000 | #Constraints: 13663 390.08/391.40 c #Conflicts: 325000 | #Constraints: 14665 390.08/391.40 c #Conflicts: 326000 | #Constraints: 15666 390.08/391.40 c #Conflicts: 327000 | #Constraints: 16666 390.08/391.40 c #Conflicts: 328000 | #Constraints: 17668 390.08/391.40 c #Conflicts: 329000 | #Constraints: 18668 390.08/391.40 c #Conflicts: 330000 | #Constraints: 19670 390.08/391.40 c #Conflicts: 331000 | #Constraints: 20670 390.08/391.40 c #Conflicts: 332000 | #Constraints: 21673 390.08/391.40 c #Conflicts: 333000 | #Constraints: 22673 390.08/391.40 c INPROCESSING 390.08/391.40 c GARBAGE COLLECT 390.08/391.40 c rational objective 0 417.60/418.97 c #Conflicts: 334000 | #Constraints: 12251 417.60/418.97 c #Conflicts: 335000 | #Constraints: 13253 417.60/418.97 c #Conflicts: 336000 | #Constraints: 14255 417.60/418.97 c #Conflicts: 337000 | #Constraints: 15259 417.60/418.97 c #Conflicts: 338000 | #Constraints: 16260 417.60/418.97 c #Conflicts: 339000 | #Constraints: 17261 417.60/418.97 c #Conflicts: 340000 | #Constraints: 18264 417.60/418.97 c #Conflicts: 341000 | #Constraints: 19266 417.60/418.97 c #Conflicts: 342000 | #Constraints: 20269 417.60/418.97 c #Conflicts: 343000 | #Constraints: 21271 417.60/418.97 c #Conflicts: 344000 | #Constraints: 22272 417.60/418.97 c #Conflicts: 345000 | #Constraints: 23274 417.60/418.97 c INPROCESSING 417.60/418.97 c GARBAGE COLLECT 417.60/418.97 c rational objective 0 435.56/436.98 c #Conflicts: 346000 | #Constraints: 12660 435.56/436.98 c #Conflicts: 347000 | #Constraints: 13661 435.56/436.98 c #Conflicts: 348000 | #Constraints: 14664 435.56/436.98 c #Conflicts: 349000 | #Constraints: 15665 435.56/436.98 c #Conflicts: 350000 | #Constraints: 16665 435.56/436.98 c #Conflicts: 351000 | #Constraints: 17667 435.56/436.98 c #Conflicts: 352000 | #Constraints: 18669 435.56/436.98 c #Conflicts: 353000 | #Constraints: 19671 435.56/436.98 c #Conflicts: 354000 | #Constraints: 20672 435.56/436.98 c #Conflicts: 355000 | #Constraints: 21676 435.56/436.98 c #Conflicts: 356000 | #Constraints: 22677 435.56/436.98 c #Conflicts: 357000 | #Constraints: 23682 435.56/436.98 c INPROCESSING 435.56/436.98 c GARBAGE COLLECT 435.56/436.98 c rational objective 0 463.99/465.46 c #Conflicts: 358000 | #Constraints: 12860 463.99/465.46 c #Conflicts: 359000 | #Constraints: 13860 463.99/465.46 c #Conflicts: 360000 | #Constraints: 14862 463.99/465.46 c #Conflicts: 361000 | #Constraints: 15863 463.99/465.46 c #Conflicts: 362000 | #Constraints: 16865 463.99/465.46 c #Conflicts: 363000 | #Constraints: 17866 463.99/465.46 c #Conflicts: 364000 | #Constraints: 18869 463.99/465.46 c #Conflicts: 365000 | #Constraints: 19873 463.99/465.46 c #Conflicts: 366000 | #Constraints: 20873 463.99/465.46 c bounds 22 >= 0 @ 453.246 463.99/465.46 c #Conflicts: 367000 | #Constraints: 21877 463.99/465.46 c #Conflicts: 368000 | #Constraints: 22881 463.99/465.46 c #Conflicts: 369000 | #Constraints: 23884 463.99/465.46 c INPROCESSING 463.99/465.46 c GARBAGE COLLECT 463.99/465.46 c rational objective 0 483.44/484.93 c #Conflicts: 370000 | #Constraints: 12864 483.44/484.93 c #Conflicts: 371000 | #Constraints: 13868 483.44/484.93 c #Conflicts: 372000 | #Constraints: 14869 483.44/484.93 c #Conflicts: 373000 | #Constraints: 15869 483.44/484.93 c #Conflicts: 374000 | #Constraints: 16871 483.44/484.93 c #Conflicts: 375000 | #Constraints: 17873 483.44/484.93 c #Conflicts: 376000 | #Constraints: 18873 483.44/484.93 c #Conflicts: 377000 | #Constraints: 19875 483.44/484.93 c #Conflicts: 378000 | #Constraints: 20881 483.44/484.93 c #Conflicts: 379000 | #Constraints: 21884 483.44/484.93 c #Conflicts: 380000 | #Constraints: 22886 483.44/484.93 c #Conflicts: 381000 | #Constraints: 23887 483.44/484.93 c INPROCESSING 483.44/484.93 c GARBAGE COLLECT 483.44/484.93 c rational objective 0 515.46/517.04 c #Conflicts: 382000 | #Constraints: 12663 515.46/517.04 c #Conflicts: 383000 | #Constraints: 13664 515.46/517.04 c #Conflicts: 384000 | #Constraints: 14665 515.46/517.04 c #Conflicts: 385000 | #Constraints: 15667 515.46/517.04 c #Conflicts: 386000 | #Constraints: 16667 515.46/517.04 c #Conflicts: 387000 | #Constraints: 17669 515.46/517.04 c #Conflicts: 388000 | #Constraints: 18672 515.46/517.04 c #Conflicts: 389000 | #Constraints: 19674 515.46/517.04 c #Conflicts: 390000 | #Constraints: 20676 515.46/517.04 c #Conflicts: 391000 | #Constraints: 21677 515.46/517.04 c #Conflicts: 392000 | #Constraints: 22679 515.46/517.04 c #Conflicts: 393000 | #Constraints: 23681 515.46/517.04 c #Conflicts: 394000 | #Constraints: 24681 515.46/517.04 c INPROCESSING 515.46/517.04 c GARBAGE COLLECT 515.46/517.04 c rational objective 0 537.50/539.15 c #Conflicts: 395000 | #Constraints: 13265 537.50/539.15 c #Conflicts: 396000 | #Constraints: 14270 537.50/539.15 c #Conflicts: 397000 | #Constraints: 15270 537.50/539.15 c #Conflicts: 398000 | #Constraints: 16273 537.50/539.15 c #Conflicts: 399000 | #Constraints: 17273 537.50/539.15 c #Conflicts: 400000 | #Constraints: 18273 537.50/539.15 c #Conflicts: 401000 | #Constraints: 19274 537.50/539.15 c #Conflicts: 402000 | #Constraints: 20278 537.50/539.15 c #Conflicts: 403000 | #Constraints: 21279 537.50/539.15 c #Conflicts: 404000 | #Constraints: 22281 537.50/539.15 c #Conflicts: 405000 | #Constraints: 23283 537.50/539.15 c #Conflicts: 406000 | #Constraints: 24287 537.50/539.15 c #Conflicts: 407000 | #Constraints: 25287 537.50/539.15 c INPROCESSING 537.50/539.15 c GARBAGE COLLECT 537.50/539.15 c rational objective 0 559.14/560.83 c #Conflicts: 408000 | #Constraints: 13664 559.14/560.83 c #Conflicts: 409000 | #Constraints: 14669 559.14/560.83 c #Conflicts: 410000 | #Constraints: 15672 559.14/560.83 c #Conflicts: 411000 | #Constraints: 16675 559.14/560.83 c #Conflicts: 412000 | #Constraints: 17678 559.14/560.83 c #Conflicts: 413000 | #Constraints: 18679 559.14/560.83 c #Conflicts: 414000 | #Constraints: 19680 559.14/560.83 c #Conflicts: 415000 | #Constraints: 20683 559.14/560.83 c #Conflicts: 416000 | #Constraints: 21684 559.14/560.83 c #Conflicts: 417000 | #Constraints: 22687 559.14/560.83 c #Conflicts: 418000 | #Constraints: 23689 559.14/560.83 c #Conflicts: 419000 | #Constraints: 24690 559.14/560.83 c #Conflicts: 420000 | #Constraints: 25690 559.14/560.83 c INPROCESSING 559.14/560.83 c GARBAGE COLLECT 559.14/560.83 c rational objective 0 593.60/595.46 c #Conflicts: 421000 | #Constraints: 13863 593.60/595.46 c #Conflicts: 422000 | #Constraints: 14864 593.60/595.46 c #Conflicts: 423000 | #Constraints: 15864 593.60/595.46 c #Conflicts: 424000 | #Constraints: 16866 593.60/595.46 c #Conflicts: 425000 | #Constraints: 17866 593.60/595.46 c #Conflicts: 426000 | #Constraints: 18866 593.60/595.46 c #Conflicts: 427000 | #Constraints: 19867 593.60/595.46 c #Conflicts: 428000 | #Constraints: 20868 593.60/595.46 c #Conflicts: 429000 | #Constraints: 21869 593.60/595.46 c #Conflicts: 430000 | #Constraints: 22870 593.60/595.46 c #Conflicts: 431000 | #Constraints: 23871 593.60/595.46 c #Conflicts: 432000 | #Constraints: 24871 593.60/595.46 c #Conflicts: 433000 | #Constraints: 25871 593.60/595.46 c INPROCESSING 593.60/595.46 c GARBAGE COLLECT 593.60/595.46 c rational objective 0 622.87/624.82 c #Conflicts: 434000 | #Constraints: 13863 622.87/624.82 c #Conflicts: 435000 | #Constraints: 14864 622.87/624.82 c #Conflicts: 436000 | #Constraints: 15867 622.87/624.82 c #Conflicts: 437000 | #Constraints: 16870 622.87/624.82 c #Conflicts: 438000 | #Constraints: 17872 622.87/624.82 c #Conflicts: 439000 | #Constraints: 18872 622.87/624.82 c #Conflicts: 440000 | #Constraints: 19874 622.87/624.82 c #Conflicts: 441000 | #Constraints: 20876 622.87/624.82 c #Conflicts: 442000 | #Constraints: 21877 622.87/624.82 c #Conflicts: 443000 | #Constraints: 22878 622.87/624.82 c #Conflicts: 444000 | #Constraints: 23878 622.87/624.82 c #Conflicts: 445000 | #Constraints: 24882 622.87/624.82 c #Conflicts: 446000 | #Constraints: 25882 622.87/624.82 c INPROCESSING 622.87/624.82 c GARBAGE COLLECT 622.87/624.82 c rational objective 0 661.57/663.62 c #Conflicts: 447000 | #Constraints: 13665 661.57/663.62 c #Conflicts: 448000 | #Constraints: 14666 661.57/663.62 c #Conflicts: 449000 | #Constraints: 15667 661.57/663.62 c #Conflicts: 450000 | #Constraints: 16668 661.57/663.62 c #Conflicts: 451000 | #Constraints: 17670 661.57/663.62 c #Conflicts: 452000 | #Constraints: 18670 661.57/663.62 c #Conflicts: 453000 | #Constraints: 19670 661.57/663.62 c #Conflicts: 454000 | #Constraints: 20672 661.57/663.62 c #Conflicts: 455000 | #Constraints: 21672 661.57/663.62 c #Conflicts: 456000 | #Constraints: 22672 661.57/663.62 c #Conflicts: 457000 | #Constraints: 23672 661.57/663.62 c #Conflicts: 458000 | #Constraints: 24673 661.57/663.62 c #Conflicts: 459000 | #Constraints: 25675 661.57/663.62 c #Conflicts: 460000 | #Constraints: 26677 661.57/663.62 c INPROCESSING 661.57/663.62 c GARBAGE COLLECT 661.57/663.62 c rational objective 0 692.09/694.24 c #Conflicts: 461000 | #Constraints: 14271 692.09/694.24 c #Conflicts: 462000 | #Constraints: 15277 692.09/694.24 c #Conflicts: 463000 | #Constraints: 16277 692.09/694.24 c #Conflicts: 464000 | #Constraints: 17279 692.09/694.24 c #Conflicts: 465000 | #Constraints: 18279 692.09/694.24 c #Conflicts: 466000 | #Constraints: 19280 692.09/694.24 c #Conflicts: 467000 | #Constraints: 20280 692.09/694.24 c #Conflicts: 468000 | #Constraints: 21283 692.09/694.24 c #Conflicts: 469000 | #Constraints: 22285 692.09/694.24 c #Conflicts: 470000 | #Constraints: 23287 692.09/694.24 c #Conflicts: 471000 | #Constraints: 24287 692.09/694.24 c #Conflicts: 472000 | #Constraints: 25288 692.09/694.24 c #Conflicts: 473000 | #Constraints: 26288 692.09/694.24 c #Conflicts: 474000 | #Constraints: 27288 692.09/694.24 c INPROCESSING 692.09/694.24 c GARBAGE COLLECT 692.09/694.24 c rational objective 0 725.70/727.91 c #Conflicts: 475000 | #Constraints: 14664 725.70/727.91 c #Conflicts: 476000 | #Constraints: 15664 725.70/727.91 c #Conflicts: 477000 | #Constraints: 16666 725.70/727.91 c #Conflicts: 478000 | #Constraints: 17667 725.70/727.91 c #Conflicts: 479000 | #Constraints: 18668 725.70/727.91 c #Conflicts: 480000 | #Constraints: 19671 725.70/727.91 c #Conflicts: 481000 | #Constraints: 20672 725.70/727.91 c #Conflicts: 482000 | #Constraints: 21672 725.70/727.91 c #Conflicts: 483000 | #Constraints: 22672 725.70/727.91 c #Conflicts: 484000 | #Constraints: 23672 725.70/727.91 c #Conflicts: 485000 | #Constraints: 24672 725.70/727.91 c #Conflicts: 486000 | #Constraints: 25673 725.70/727.91 c #Conflicts: 487000 | #Constraints: 26674 725.70/727.91 c #Conflicts: 488000 | #Constraints: 27674 725.70/727.91 c INPROCESSING 725.70/727.91 c GARBAGE COLLECT 725.70/727.91 c rational objective 0 767.99/770.37 c #Conflicts: 489000 | #Constraints: 14856 767.99/770.37 c #Conflicts: 490000 | #Constraints: 15858 767.99/770.37 c #Conflicts: 491000 | #Constraints: 16859 767.99/770.37 c #Conflicts: 492000 | #Constraints: 17859 767.99/770.37 c #Conflicts: 493000 | #Constraints: 18860 767.99/770.37 c #Conflicts: 494000 | #Constraints: 19861 767.99/770.37 c #Conflicts: 495000 | #Constraints: 20863 767.99/770.37 c #Conflicts: 496000 | #Constraints: 21865 767.99/770.37 c #Conflicts: 497000 | #Constraints: 22867 767.99/770.37 c #Conflicts: 498000 | #Constraints: 23869 767.99/770.37 c #Conflicts: 499000 | #Constraints: 24870 767.99/770.37 c #Conflicts: 500000 | #Constraints: 25870 767.99/770.37 c #Conflicts: 501000 | #Constraints: 26871 767.99/770.37 c #Conflicts: 502000 | #Constraints: 27871 767.99/770.37 c INPROCESSING 767.99/770.37 c GARBAGE COLLECT 767.99/770.37 c rational objective 0 799.81/802.21 c #Conflicts: 503000 | #Constraints: 14857 799.81/802.21 c #Conflicts: 504000 | #Constraints: 15859 799.81/802.21 c #Conflicts: 505000 | #Constraints: 16862 799.81/802.21 c #Conflicts: 506000 | #Constraints: 17865 799.81/802.21 c #Conflicts: 507000 | #Constraints: 18865 799.81/802.21 c #Conflicts: 508000 | #Constraints: 19868 799.81/802.21 c #Conflicts: 509000 | #Constraints: 20871 799.81/802.21 c #Conflicts: 510000 | #Constraints: 21872 799.81/802.21 c #Conflicts: 511000 | #Constraints: 22874 799.81/802.21 c #Conflicts: 512000 | #Constraints: 23875 799.81/802.21 c #Conflicts: 513000 | #Constraints: 24876 799.81/802.21 c #Conflicts: 514000 | #Constraints: 25880 799.81/802.21 c #Conflicts: 515000 | #Constraints: 26885 799.81/802.21 c #Conflicts: 516000 | #Constraints: 27888 799.81/802.21 c INPROCESSING 799.81/802.21 c GARBAGE COLLECT 799.81/802.21 c rational objective 0 843.30/845.83 c #Conflicts: 517000 | #Constraints: 14659 843.30/845.83 c #Conflicts: 518000 | #Constraints: 15660 843.30/845.83 c #Conflicts: 519000 | #Constraints: 16662 843.30/845.83 c #Conflicts: 520000 | #Constraints: 17667 843.30/845.83 c #Conflicts: 521000 | #Constraints: 18669 843.30/845.83 c #Conflicts: 522000 | #Constraints: 19672 843.30/845.83 c #Conflicts: 523000 | #Constraints: 20674 843.30/845.83 c #Conflicts: 524000 | #Constraints: 21677 843.30/845.83 c #Conflicts: 525000 | #Constraints: 22678 843.30/845.83 c #Conflicts: 526000 | #Constraints: 23679 843.30/845.83 c #Conflicts: 527000 | #Constraints: 24679 843.30/845.83 c #Conflicts: 528000 | #Constraints: 25683 843.30/845.83 c #Conflicts: 529000 | #Constraints: 26685 843.30/845.83 c #Conflicts: 530000 | #Constraints: 27685 843.30/845.83 c #Conflicts: 531000 | #Constraints: 28686 843.30/845.83 c INPROCESSING 843.30/845.83 c GARBAGE COLLECT 843.30/845.83 c rational objective 0 871.73/874.30 c #Conflicts: 532000 | #Constraints: 15268 871.73/874.30 c #Conflicts: 533000 | #Constraints: 16270 871.73/874.30 c #Conflicts: 534000 | #Constraints: 17271 871.73/874.30 c #Conflicts: 535000 | #Constraints: 18272 871.73/874.30 c #Conflicts: 536000 | #Constraints: 19277 871.73/874.30 c #Conflicts: 537000 | #Constraints: 20280 871.73/874.30 c #Conflicts: 538000 | #Constraints: 21281 871.73/874.30 c #Conflicts: 539000 | #Constraints: 22281 871.73/874.30 c #Conflicts: 540000 | #Constraints: 23283 871.73/874.30 c #Conflicts: 541000 | #Constraints: 24283 871.73/874.30 c #Conflicts: 542000 | #Constraints: 25284 871.73/874.30 c #Conflicts: 543000 | #Constraints: 26286 871.73/874.30 c #Conflicts: 544000 | #Constraints: 27287 871.73/874.30 c #Conflicts: 545000 | #Constraints: 28291 871.73/874.30 c #Conflicts: 546000 | #Constraints: 29292 871.73/874.30 c INPROCESSING 871.73/874.30 c GARBAGE COLLECT 871.73/874.30 c rational objective 0 920.80/923.52 c #Conflicts: 547000 | #Constraints: 15664 920.80/923.52 c #Conflicts: 548000 | #Constraints: 16665 920.80/923.52 c #Conflicts: 549000 | #Constraints: 17666 920.80/923.52 c #Conflicts: 550000 | #Constraints: 18667 920.80/923.52 c #Conflicts: 551000 | #Constraints: 19669 920.80/923.52 c #Conflicts: 552000 | #Constraints: 20670 920.80/923.52 c #Conflicts: 553000 | #Constraints: 21671 920.80/923.52 c #Conflicts: 554000 | #Constraints: 22672 920.80/923.52 c #Conflicts: 555000 | #Constraints: 23673 920.80/923.52 c #Conflicts: 556000 | #Constraints: 24676 920.80/923.52 c #Conflicts: 557000 | #Constraints: 25676 920.80/923.52 c #Conflicts: 558000 | #Constraints: 26678 920.80/923.52 c #Conflicts: 559000 | #Constraints: 27682 920.80/923.52 c #Conflicts: 560000 | #Constraints: 28683 920.80/923.52 c #Conflicts: 561000 | #Constraints: 29683 920.80/923.52 c INPROCESSING 920.80/923.52 c GARBAGE COLLECT 920.80/923.52 c rational objective 0 948.33/951.19 c #Conflicts: 562000 | #Constraints: 15876 948.33/951.19 c #Conflicts: 563000 | #Constraints: 16876 948.33/951.19 c #Conflicts: 564000 | #Constraints: 17880 948.33/951.19 c #Conflicts: 565000 | #Constraints: 18881 948.33/951.19 c #Conflicts: 566000 | #Constraints: 19882 948.33/951.19 c #Conflicts: 567000 | #Constraints: 20883 948.33/951.19 c #Conflicts: 568000 | #Constraints: 21886 948.33/951.19 c #Conflicts: 569000 | #Constraints: 22888 948.33/951.19 c #Conflicts: 570000 | #Constraints: 23888 948.33/951.19 c #Conflicts: 571000 | #Constraints: 24890 948.33/951.19 c #Conflicts: 572000 | #Constraints: 25891 948.33/951.19 c #Conflicts: 573000 | #Constraints: 26892 948.33/951.19 c #Conflicts: 574000 | #Constraints: 27892 948.33/951.19 c #Conflicts: 575000 | #Constraints: 28894 948.33/951.19 c #Conflicts: 576000 | #Constraints: 29897 948.33/951.19 c INPROCESSING 948.33/951.19 c GARBAGE COLLECT 948.33/951.19 c rational objective 0 979.74/982.63 c #Conflicts: 577000 | #Constraints: 15871 979.74/982.63 c #Conflicts: 578000 | #Constraints: 16871 979.74/982.63 c #Conflicts: 579000 | #Constraints: 17874 979.74/982.63 c #Conflicts: 580000 | #Constraints: 18875 979.74/982.63 c #Conflicts: 581000 | #Constraints: 19877 979.74/982.63 c #Conflicts: 582000 | #Constraints: 20879 979.74/982.63 c #Conflicts: 583000 | #Constraints: 21881 979.74/982.63 c #Conflicts: 584000 | #Constraints: 22881 979.74/982.63 c #Conflicts: 585000 | #Constraints: 23882 979.74/982.63 c #Conflicts: 586000 | #Constraints: 24882 979.74/982.63 c #Conflicts: 587000 | #Constraints: 25882 979.74/982.63 c #Conflicts: 588000 | #Constraints: 26885 979.74/982.63 c #Conflicts: 589000 | #Constraints: 27885 979.74/982.63 c #Conflicts: 590000 | #Constraints: 28885 979.74/982.63 c #Conflicts: 591000 | #Constraints: 29886 979.74/982.63 c INPROCESSING 979.74/982.63 c GARBAGE COLLECT 979.74/982.63 c rational objective 0 1033.10/1036.19 c #Conflicts: 592000 | #Constraints: 15663 1033.10/1036.19 c #Conflicts: 593000 | #Constraints: 16665 1033.10/1036.19 c #Conflicts: 594000 | #Constraints: 17667 1033.10/1036.19 c #Conflicts: 595000 | #Constraints: 18669 1033.10/1036.19 c #Conflicts: 596000 | #Constraints: 19670 1033.10/1036.19 c #Conflicts: 597000 | #Constraints: 20672 1033.10/1036.19 c #Conflicts: 598000 | #Constraints: 21676 1033.10/1036.19 c #Conflicts: 599000 | #Constraints: 22677 1033.10/1036.19 c #Conflicts: 600000 | #Constraints: 23677 1033.10/1036.19 c #Conflicts: 601000 | #Constraints: 24679 1033.10/1036.19 c #Conflicts: 602000 | #Constraints: 25681 1033.10/1036.19 c #Conflicts: 603000 | #Constraints: 26684 1033.10/1036.19 c #Conflicts: 604000 | #Constraints: 27687 1033.10/1036.19 c #Conflicts: 605000 | #Constraints: 28688 1033.10/1036.19 c #Conflicts: 606000 | #Constraints: 29689 1033.10/1036.19 c #Conflicts: 607000 | #Constraints: 30690 1033.10/1036.19 c INPROCESSING 1033.10/1036.19 c GARBAGE COLLECT 1033.10/1036.19 c rational objective 0 1070.84/1074.09 c #Conflicts: 608000 | #Constraints: 16270 1070.84/1074.09 c #Conflicts: 609000 | #Constraints: 17270 1070.84/1074.09 c #Conflicts: 610000 | #Constraints: 18273 1070.84/1074.09 c #Conflicts: 611000 | #Constraints: 19274 1070.84/1074.09 c #Conflicts: 612000 | #Constraints: 20275 1070.84/1074.09 c #Conflicts: 613000 | #Constraints: 21278 1070.84/1074.09 c #Conflicts: 614000 | #Constraints: 22278 1070.84/1074.09 c #Conflicts: 615000 | #Constraints: 23279 1070.84/1074.09 c #Conflicts: 616000 | #Constraints: 24280 1070.84/1074.09 c #Conflicts: 617000 | #Constraints: 25282 1070.84/1074.09 c #Conflicts: 618000 | #Constraints: 26285 1070.84/1074.09 c #Conflicts: 619000 | #Constraints: 27286 1070.84/1074.09 c #Conflicts: 620000 | #Constraints: 28290 1070.84/1074.09 c #Conflicts: 621000 | #Constraints: 29293 1070.84/1074.09 c #Conflicts: 622000 | #Constraints: 30294 1070.84/1074.09 c #Conflicts: 623000 | #Constraints: 31295 1070.84/1074.09 c INPROCESSING 1070.84/1074.09 c GARBAGE COLLECT 1070.84/1074.09 c rational objective 0 1103.42/1106.75 c #Conflicts: 624000 | #Constraints: 16666 1103.42/1106.75 c #Conflicts: 625000 | #Constraints: 17667 1103.42/1106.75 c #Conflicts: 626000 | #Constraints: 18668 1103.42/1106.75 c #Conflicts: 627000 | #Constraints: 19671 1103.42/1106.75 c #Conflicts: 628000 | #Constraints: 20672 1103.42/1106.75 c #Conflicts: 629000 | #Constraints: 21673 1103.42/1106.75 c #Conflicts: 630000 | #Constraints: 22674 1103.42/1106.75 c #Conflicts: 631000 | #Constraints: 23675 1103.42/1106.75 c #Conflicts: 632000 | #Constraints: 24676 1103.42/1106.75 c #Conflicts: 633000 | #Constraints: 25681 1103.42/1106.75 c #Conflicts: 634000 | #Constraints: 26682 1103.42/1106.75 c #Conflicts: 635000 | #Constraints: 27684 1103.42/1106.75 c #Conflicts: 636000 | #Constraints: 28685 1103.42/1106.75 c #Conflicts: 637000 | #Constraints: 29686 1103.42/1106.75 c #Conflicts: 638000 | #Constraints: 30687 1103.42/1106.75 c #Conflicts: 639000 | #Constraints: 31689 1103.42/1106.75 c INPROCESSING 1103.42/1106.75 c GARBAGE COLLECT 1103.42/1106.75 c rational objective 0 1163.28/1166.83 c #Conflicts: 640000 | #Constraints: 16861 1163.28/1166.83 c #Conflicts: 641000 | #Constraints: 17862 1163.28/1166.83 c #Conflicts: 642000 | #Constraints: 18863 1163.28/1166.83 c #Conflicts: 643000 | #Constraints: 19865 1163.28/1166.83 c #Conflicts: 644000 | #Constraints: 20867 1163.28/1166.83 c #Conflicts: 645000 | #Constraints: 21867 1163.28/1166.83 c #Conflicts: 646000 | #Constraints: 22870 1163.28/1166.83 c #Conflicts: 647000 | #Constraints: 23871 1163.28/1166.83 c #Conflicts: 648000 | #Constraints: 24872 1163.28/1166.83 c #Conflicts: 649000 | #Constraints: 25872 1163.28/1166.83 c #Conflicts: 650000 | #Constraints: 26875 1163.28/1166.83 c #Conflicts: 651000 | #Constraints: 27876 1163.28/1166.83 c #Conflicts: 652000 | #Constraints: 28876 1163.28/1166.83 c #Conflicts: 653000 | #Constraints: 29876 1163.28/1166.83 c #Conflicts: 654000 | #Constraints: 30879 1163.28/1166.83 c #Conflicts: 655000 | #Constraints: 31879 1163.28/1166.83 c INPROCESSING 1163.28/1166.83 c GARBAGE COLLECT 1163.28/1166.83 c rational objective 0 1201.74/1205.41 c #Conflicts: 656000 | #Constraints: 16869 1201.74/1205.41 c #Conflicts: 657000 | #Constraints: 17872 1201.74/1205.41 c #Conflicts: 658000 | #Constraints: 18874 1201.74/1205.41 c #Conflicts: 659000 | #Constraints: 19876 1201.74/1205.41 c #Conflicts: 660000 | #Constraints: 20876 1201.74/1205.41 c #Conflicts: 661000 | #Constraints: 21878 1201.74/1205.41 c #Conflicts: 662000 | #Constraints: 22880 1201.74/1205.41 c #Conflicts: 663000 | #Constraints: 23882 1201.74/1205.41 c #Conflicts: 664000 | #Constraints: 24883 1201.74/1205.41 c #Conflicts: 665000 | #Constraints: 25884 1201.74/1205.41 c #Conflicts: 666000 | #Constraints: 26886 1201.74/1205.41 c #Conflicts: 667000 | #Constraints: 27889 1201.74/1205.41 c #Conflicts: 668000 | #Constraints: 28890 1201.74/1205.41 c #Conflicts: 669000 | #Constraints: 29890 1201.74/1205.41 c #Conflicts: 670000 | #Constraints: 30893 1201.74/1205.41 c #Conflicts: 671000 | #Constraints: 31893 1201.74/1205.41 c INPROCESSING 1201.74/1205.41 c GARBAGE COLLECT 1201.74/1205.41 c rational objective 0 1265.77/1269.78 c #Conflicts: 672000 | #Constraints: 16665 1265.77/1269.78 c #Conflicts: 673000 | #Constraints: 17668 1265.77/1269.78 c #Conflicts: 674000 | #Constraints: 18670 1265.77/1269.78 c #Conflicts: 675000 | #Constraints: 19671 1265.77/1269.78 c #Conflicts: 676000 | #Constraints: 20672 1265.77/1269.78 c #Conflicts: 677000 | #Constraints: 21672 1265.77/1269.78 c #Conflicts: 678000 | #Constraints: 22673 1265.77/1269.78 c #Conflicts: 679000 | #Constraints: 23674 1265.77/1269.78 c #Conflicts: 680000 | #Constraints: 24675 1265.77/1269.78 c #Conflicts: 681000 | #Constraints: 25675 1265.77/1269.78 c #Conflicts: 682000 | #Constraints: 26675 1265.77/1269.78 c #Conflicts: 683000 | #Constraints: 27675 1265.77/1269.78 c #Conflicts: 684000 | #Constraints: 28675 1265.77/1269.78 c #Conflicts: 685000 | #Constraints: 29675 1265.77/1269.78 c #Conflicts: 686000 | #Constraints: 30675 1265.77/1269.78 c #Conflicts: 687000 | #Constraints: 31675 1265.77/1269.78 c #Conflicts: 688000 | #Constraints: 32676 1265.77/1269.78 c INPROCESSING 1265.77/1269.78 c GARBAGE COLLECT 1265.77/1269.78 c rational objective 0 1303.28/1307.30 c #Conflicts: 689000 | #Constraints: 17271 1303.28/1307.30 c #Conflicts: 690000 | #Constraints: 18271 1303.28/1307.30 c #Conflicts: 691000 | #Constraints: 19274 1303.28/1307.30 c #Conflicts: 692000 | #Constraints: 20274 1303.28/1307.30 c #Conflicts: 693000 | #Constraints: 21275 1303.28/1307.30 c #Conflicts: 694000 | #Constraints: 22275 1303.28/1307.30 c #Conflicts: 695000 | #Constraints: 23275 1303.28/1307.30 c #Conflicts: 696000 | #Constraints: 24278 1303.28/1307.30 c #Conflicts: 697000 | #Constraints: 25279 1303.28/1307.30 c #Conflicts: 698000 | #Constraints: 26279 1303.28/1307.30 c #Conflicts: 699000 | #Constraints: 27280 1303.28/1307.30 c #Conflicts: 700000 | #Constraints: 28280 1303.28/1307.30 c #Conflicts: 701000 | #Constraints: 29280 1303.28/1307.30 c #Conflicts: 702000 | #Constraints: 30283 1303.28/1307.30 c #Conflicts: 703000 | #Constraints: 31283 1303.28/1307.30 c #Conflicts: 704000 | #Constraints: 32283 1303.28/1307.30 c #Conflicts: 705000 | #Constraints: 33283 1303.28/1307.30 c INPROCESSING 1303.28/1307.30 c GARBAGE COLLECT 1303.28/1307.30 c rational objective 0 1347.48/1351.61 c #Conflicts: 706000 | #Constraints: 17662 1347.48/1351.61 c #Conflicts: 707000 | #Constraints: 18665 1347.48/1351.61 c #Conflicts: 708000 | #Constraints: 19666 1347.48/1351.61 c #Conflicts: 709000 | #Constraints: 20666 1347.48/1351.61 c #Conflicts: 710000 | #Constraints: 21667 1347.48/1351.61 c #Conflicts: 711000 | #Constraints: 22667 1347.48/1351.61 c #Conflicts: 712000 | #Constraints: 23668 1347.48/1351.61 c #Conflicts: 713000 | #Constraints: 24670 1347.48/1351.61 c #Conflicts: 714000 | #Constraints: 25671 1347.48/1351.61 c #Conflicts: 715000 | #Constraints: 26672 1347.48/1351.61 c #Conflicts: 716000 | #Constraints: 27672 1347.48/1351.61 c #Conflicts: 717000 | #Constraints: 28672 1347.48/1351.61 c #Conflicts: 718000 | #Constraints: 29673 1347.48/1351.61 c #Conflicts: 719000 | #Constraints: 30674 1347.48/1351.61 c #Conflicts: 720000 | #Constraints: 31674 1347.48/1351.61 c #Conflicts: 721000 | #Constraints: 32675 1347.48/1351.61 c #Conflicts: 722000 | #Constraints: 33675 1347.48/1351.61 c INPROCESSING 1347.48/1351.61 c GARBAGE COLLECT 1347.48/1351.61 c rational objective 0 1407.62/1411.92 c #Conflicts: 723000 | #Constraints: 17854 1407.62/1411.92 c #Conflicts: 724000 | #Constraints: 18855 1407.62/1411.92 c #Conflicts: 725000 | #Constraints: 19856 1407.62/1411.92 c #Conflicts: 726000 | #Constraints: 20859 1407.62/1411.92 c #Conflicts: 727000 | #Constraints: 21860 1407.62/1411.92 c #Conflicts: 728000 | #Constraints: 22861 1407.62/1411.92 c #Conflicts: 729000 | #Constraints: 23863 1407.62/1411.92 c #Conflicts: 730000 | #Constraints: 24865 1407.62/1411.92 c #Conflicts: 731000 | #Constraints: 25867 1407.62/1411.92 c #Conflicts: 732000 | #Constraints: 26867 1407.62/1411.92 c #Conflicts: 733000 | #Constraints: 27868 1407.62/1411.92 c #Conflicts: 734000 | #Constraints: 28869 1407.62/1411.92 c #Conflicts: 735000 | #Constraints: 29869 1407.62/1411.92 c #Conflicts: 736000 | #Constraints: 30869 1407.62/1411.92 c #Conflicts: 737000 | #Constraints: 31872 1407.62/1411.92 c #Conflicts: 738000 | #Constraints: 32872 1407.62/1411.92 c #Conflicts: 739000 | #Constraints: 33872 1407.62/1411.92 c INPROCESSING 1407.62/1411.92 c GARBAGE COLLECT 1407.62/1411.92 c rational objective 0 1448.03/1452.43 c #Conflicts: 740000 | #Constraints: 17861 1448.03/1452.43 c #Conflicts: 741000 | #Constraints: 18861 1448.03/1452.43 c #Conflicts: 742000 | #Constraints: 19863 1448.03/1452.43 c #Conflicts: 743000 | #Constraints: 20865 1448.03/1452.43 c #Conflicts: 744000 | #Constraints: 21869 1448.03/1452.43 c #Conflicts: 745000 | #Constraints: 22871 1448.03/1452.43 c #Conflicts: 746000 | #Constraints: 23874 1448.03/1452.43 c #Conflicts: 747000 | #Constraints: 24874 1448.03/1452.43 c #Conflicts: 748000 | #Constraints: 25875 1448.03/1452.43 c #Conflicts: 749000 | #Constraints: 26875 1448.03/1452.43 c #Conflicts: 750000 | #Constraints: 27876 1448.03/1452.43 c #Conflicts: 751000 | #Constraints: 28877 1448.03/1452.43 c #Conflicts: 752000 | #Constraints: 29879 1448.03/1452.43 c #Conflicts: 753000 | #Constraints: 30884 1448.03/1452.43 c #Conflicts: 754000 | #Constraints: 31887 1448.03/1452.43 c #Conflicts: 755000 | #Constraints: 32889 1448.03/1452.43 c #Conflicts: 756000 | #Constraints: 33892 1448.03/1452.43 c INPROCESSING 1448.03/1452.43 c GARBAGE COLLECT 1448.03/1452.43 c rational objective 0 1489.43/1493.92 c #Conflicts: 757000 | #Constraints: 17663 1489.43/1493.92 c #Conflicts: 758000 | #Constraints: 18664 1489.43/1493.92 c #Conflicts: 759000 | #Constraints: 19665 1489.43/1493.92 c #Conflicts: 760000 | #Constraints: 20666 1489.43/1493.92 c #Conflicts: 761000 | #Constraints: 21666 1489.43/1493.92 c #Conflicts: 762000 | #Constraints: 22668 1489.43/1493.92 c #Conflicts: 763000 | #Constraints: 23669 1489.43/1493.92 c #Conflicts: 764000 | #Constraints: 24671 1489.43/1493.92 c #Conflicts: 765000 | #Constraints: 25671 1489.43/1493.92 c #Conflicts: 766000 | #Constraints: 26673 1489.43/1493.92 c #Conflicts: 767000 | #Constraints: 27673 1489.43/1493.92 c #Conflicts: 768000 | #Constraints: 28675 1489.43/1493.92 c #Conflicts: 769000 | #Constraints: 29675 1489.43/1493.92 c #Conflicts: 770000 | #Constraints: 30675 1489.43/1493.92 c #Conflicts: 771000 | #Constraints: 31676 1489.43/1493.92 c #Conflicts: 772000 | #Constraints: 32678 1489.43/1493.92 c #Conflicts: 773000 | #Constraints: 33678 1489.43/1493.92 c #Conflicts: 774000 | #Constraints: 34679 1489.43/1493.92 c INPROCESSING 1489.43/1493.92 c GARBAGE COLLECT 1489.43/1493.92 c rational objective 0 1559.55/1564.27 c #Conflicts: 775000 | #Constraints: 18255 1559.55/1564.27 c #Conflicts: 776000 | #Constraints: 19258 1559.55/1564.27 c #Conflicts: 777000 | #Constraints: 20260 1559.55/1564.27 c #Conflicts: 778000 | #Constraints: 21264 1559.55/1564.27 c #Conflicts: 779000 | #Constraints: 22265 1559.55/1564.27 c #Conflicts: 780000 | #Constraints: 23267 1559.55/1564.27 c #Conflicts: 781000 | #Constraints: 24267 1559.55/1564.27 c #Conflicts: 782000 | #Constraints: 25267 1559.55/1564.27 c #Conflicts: 783000 | #Constraints: 26268 1559.55/1564.27 c #Conflicts: 784000 | #Constraints: 27271 1559.55/1564.27 c #Conflicts: 785000 | #Constraints: 28275 1559.55/1564.27 c #Conflicts: 786000 | #Constraints: 29276 1559.55/1564.27 c #Conflicts: 787000 | #Constraints: 30277 1559.55/1564.27 c #Conflicts: 788000 | #Constraints: 31277 1559.55/1564.27 c #Conflicts: 789000 | #Constraints: 32278 1559.55/1564.27 c #Conflicts: 790000 | #Constraints: 33278 1559.55/1564.27 c #Conflicts: 791000 | #Constraints: 34278 1559.55/1564.27 c #Conflicts: 792000 | #Constraints: 35279 1559.55/1564.27 c INPROCESSING 1559.55/1564.27 c GARBAGE COLLECT 1559.55/1564.27 c rational objective 0 1603.94/1608.76 c #Conflicts: 793000 | #Constraints: 18668 1603.94/1608.76 c #Conflicts: 794000 | #Constraints: 19670 1603.94/1608.76 c #Conflicts: 795000 | #Constraints: 20670 1603.94/1608.76 c #Conflicts: 796000 | #Constraints: 21672 1603.94/1608.76 c #Conflicts: 797000 | #Constraints: 22673 1603.94/1608.76 c #Conflicts: 798000 | #Constraints: 23677 1603.94/1608.76 c #Conflicts: 799000 | #Constraints: 24679 1603.94/1608.76 c #Conflicts: 800000 | #Constraints: 25680 1603.94/1608.76 c #Conflicts: 801000 | #Constraints: 26682 1603.94/1608.76 c #Conflicts: 802000 | #Constraints: 27682 1603.94/1608.76 c #Conflicts: 803000 | #Constraints: 28682 1603.94/1608.76 c #Conflicts: 804000 | #Constraints: 29683 1603.94/1608.76 c #Conflicts: 805000 | #Constraints: 30684 1603.94/1608.76 c #Conflicts: 806000 | #Constraints: 31684 1603.94/1608.76 c #Conflicts: 807000 | #Constraints: 32684 1603.94/1608.76 c #Conflicts: 808000 | #Constraints: 33685 1603.94/1608.76 c #Conflicts: 809000 | #Constraints: 34686 1603.94/1608.76 c #Conflicts: 810000 | #Constraints: 35688 1603.94/1608.76 c INPROCESSING 1603.94/1608.76 c GARBAGE COLLECT 1603.94/1608.76 c rational objective 0 1683.64/1688.63 c #Conflicts: 811000 | #Constraints: 18861 1683.64/1688.63 c #Conflicts: 812000 | #Constraints: 19861 1683.64/1688.63 c #Conflicts: 813000 | #Constraints: 20863 1683.64/1688.63 c #Conflicts: 814000 | #Constraints: 21866 1683.64/1688.63 c #Conflicts: 815000 | #Constraints: 22867 1683.64/1688.63 c #Conflicts: 816000 | #Constraints: 23867 1683.64/1688.63 c #Conflicts: 817000 | #Constraints: 24869 1683.64/1688.63 c #Conflicts: 818000 | #Constraints: 25869 1683.64/1688.63 c #Conflicts: 819000 | #Constraints: 26869 1683.64/1688.63 c #Conflicts: 820000 | #Constraints: 27870 1683.64/1688.63 c #Conflicts: 821000 | #Constraints: 28870 1683.64/1688.63 c #Conflicts: 822000 | #Constraints: 29870 1683.64/1688.63 c #Conflicts: 823000 | #Constraints: 30870 1683.64/1688.63 c #Conflicts: 824000 | #Constraints: 31871 1683.64/1688.63 c #Conflicts: 825000 | #Constraints: 32871 1683.64/1688.63 c #Conflicts: 826000 | #Constraints: 33873 1683.64/1688.63 c #Conflicts: 827000 | #Constraints: 34874 1683.64/1688.63 c #Conflicts: 828000 | #Constraints: 35875 1683.64/1688.63 c INPROCESSING 1683.64/1688.63 c GARBAGE COLLECT 1683.64/1688.63 c rational objective 0 1739.79/1744.91 c #Conflicts: 829000 | #Constraints: 18863 1739.79/1744.91 c #Conflicts: 830000 | #Constraints: 19865 1739.79/1744.91 c #Conflicts: 831000 | #Constraints: 20866 1739.79/1744.91 c #Conflicts: 832000 | #Constraints: 21866 1739.79/1744.91 c #Conflicts: 833000 | #Constraints: 22868 1739.79/1744.91 c #Conflicts: 834000 | #Constraints: 23868 1739.79/1744.91 c #Conflicts: 835000 | #Constraints: 24874 1739.79/1744.91 c #Conflicts: 836000 | #Constraints: 25875 1739.79/1744.91 c #Conflicts: 837000 | #Constraints: 26876 1739.79/1744.91 c #Conflicts: 838000 | #Constraints: 27876 1739.79/1744.91 c #Conflicts: 839000 | #Constraints: 28878 1739.79/1744.91 c #Conflicts: 840000 | #Constraints: 29878 1739.79/1744.91 c #Conflicts: 841000 | #Constraints: 30878 1739.79/1744.91 c #Conflicts: 842000 | #Constraints: 31879 1739.79/1744.91 c #Conflicts: 843000 | #Constraints: 32881 1739.79/1744.91 c #Conflicts: 844000 | #Constraints: 33884 1739.79/1744.91 c #Conflicts: 845000 | #Constraints: 34886 1739.79/1744.91 c #Conflicts: 846000 | #Constraints: 35886 1739.79/1744.91 c INPROCESSING 1739.79/1744.91 c GARBAGE COLLECT 1739.79/1744.91 c rational objective 0 1787.57/1792.80 c #Conflicts: 847000 | #Constraints: 18660 1787.57/1792.80 c #Conflicts: 848000 | #Constraints: 19661 1787.57/1792.80 c #Conflicts: 849000 | #Constraints: 20664 1787.57/1792.80 c #Conflicts: 850000 | #Constraints: 21668 1787.57/1792.80 c #Conflicts: 851000 | #Constraints: 22672 1787.57/1792.80 c #Conflicts: 852000 | #Constraints: 23675 1787.57/1792.80 c #Conflicts: 853000 | #Constraints: 24676 1787.57/1792.80 c #Conflicts: 854000 | #Constraints: 25677 1787.57/1792.80 c #Conflicts: 855000 | #Constraints: 26678 1787.57/1792.80 c #Conflicts: 856000 | #Constraints: 27679 1787.57/1792.80 c #Conflicts: 857000 | #Constraints: 28681 1787.57/1792.80 c #Conflicts: 858000 | #Constraints: 29682 1787.57/1792.80 c #Conflicts: 859000 | #Constraints: 30682 1787.57/1792.80 c #Conflicts: 860000 | #Constraints: 31683 1787.57/1792.80 c #Conflicts: 861000 | #Constraints: 32685 1787.57/1792.80 c #Conflicts: 862000 | #Constraints: 33686 1787.57/1792.80 c #Conflicts: 863000 | #Constraints: 34686 1787.57/1792.80 c #Conflicts: 864000 | #Constraints: 35688 1787.57/1792.80 c #Conflicts: 865000 | #Constraints: 36689 1787.57/1792.80 c INPROCESSING 1787.57/1792.80 c GARBAGE COLLECT 1787.57/1792.80 c rational objective 0 1872.02/1877.50 c #Conflicts: 866000 | #Constraints: 19260 1872.02/1877.50 c #Conflicts: 867000 | #Constraints: 20261 1872.02/1877.50 c #Conflicts: 868000 | #Constraints: 21262 1872.02/1877.50 c #Conflicts: 869000 | #Constraints: 22263 1872.02/1877.50 c #Conflicts: 870000 | #Constraints: 23264 1872.02/1877.50 c #Conflicts: 871000 | #Constraints: 24265 1872.02/1877.50 c #Conflicts: 872000 | #Constraints: 25265 1872.02/1877.50 c #Conflicts: 873000 | #Constraints: 26266 1872.02/1877.50 c #Conflicts: 874000 | #Constraints: 27266 1872.02/1877.50 c #Conflicts: 875000 | #Constraints: 28267 1872.02/1877.50 c #Conflicts: 876000 | #Constraints: 29269 1872.02/1877.50 c #Conflicts: 877000 | #Constraints: 30269 1872.02/1877.50 c #Conflicts: 878000 | #Constraints: 31269 1872.02/1877.50 c #Conflicts: 879000 | #Constraints: 32269 1872.02/1877.50 c #Conflicts: 880000 | #Constraints: 33270 1872.02/1877.50 c #Conflicts: 881000 | #Constraints: 34271 1872.02/1877.50 c #Conflicts: 882000 | #Constraints: 35273 1872.02/1877.50 c bounds 21 >= 0 @ 1849.84 1872.02/1877.50 c #Conflicts: 883000 | #Constraints: 36276 1872.02/1877.50 c #Conflicts: 884000 | #Constraints: 37278 1872.02/1877.50 c INPROCESSING 1872.02/1877.50 c GARBAGE COLLECT 1872.02/1877.50 c rational objective 0 1923.29/1928.95 c #Conflicts: 885000 | #Constraints: 19659 1923.29/1928.95 c #Conflicts: 886000 | #Constraints: 20659 1923.29/1928.95 c #Conflicts: 887000 | #Constraints: 21659 1923.29/1928.95 c #Conflicts: 888000 | #Constraints: 22659 1923.29/1928.95 c #Conflicts: 889000 | #Constraints: 23661 1923.29/1928.95 c #Conflicts: 890000 | #Constraints: 24661 1923.29/1928.95 c #Conflicts: 891000 | #Constraints: 25662 1923.29/1928.95 c #Conflicts: 892000 | #Constraints: 26664 1923.29/1928.95 c #Conflicts: 893000 | #Constraints: 27664 1923.29/1928.95 c #Conflicts: 894000 | #Constraints: 28665 1923.29/1928.95 c #Conflicts: 895000 | #Constraints: 29667 1923.29/1928.95 c #Conflicts: 896000 | #Constraints: 30667 1923.29/1928.95 c #Conflicts: 897000 | #Constraints: 31669 1923.29/1928.95 c #Conflicts: 898000 | #Constraints: 32669 1923.29/1928.95 c #Conflicts: 899000 | #Constraints: 33671 1923.29/1928.95 c #Conflicts: 900000 | #Constraints: 34673 1923.29/1928.95 c #Conflicts: 901000 | #Constraints: 35673 1923.29/1928.95 c #Conflicts: 902000 | #Constraints: 36675 1923.29/1928.95 c #Conflicts: 903000 | #Constraints: 37676 1923.29/1928.95 c INPROCESSING 1923.29/1928.95 c GARBAGE COLLECT 1923.29/1928.95 c rational objective 0 2003.56/2009.49 c #Conflicts: 904000 | #Constraints: 19857 2003.56/2009.49 c #Conflicts: 905000 | #Constraints: 20858 2003.56/2009.49 c #Conflicts: 906000 | #Constraints: 21858 2003.56/2009.49 c #Conflicts: 907000 | #Constraints: 22858 2003.56/2009.49 c #Conflicts: 908000 | #Constraints: 23858 2003.56/2009.49 c #Conflicts: 909000 | #Constraints: 24860 2003.56/2009.49 c #Conflicts: 910000 | #Constraints: 25860 2003.56/2009.49 c #Conflicts: 911000 | #Constraints: 26862 2003.56/2009.49 c #Conflicts: 912000 | #Constraints: 27863 2003.56/2009.49 c #Conflicts: 913000 | #Constraints: 28866 2003.56/2009.49 c #Conflicts: 914000 | #Constraints: 29867 2003.56/2009.49 c #Conflicts: 915000 | #Constraints: 30867 2003.56/2009.49 c #Conflicts: 916000 | #Constraints: 31867 2003.56/2009.49 c #Conflicts: 917000 | #Constraints: 32868 2003.56/2009.49 c #Conflicts: 918000 | #Constraints: 33868 2003.56/2009.49 c #Conflicts: 919000 | #Constraints: 34870 2003.56/2009.49 c #Conflicts: 920000 | #Constraints: 35871 2003.56/2009.49 c #Conflicts: 921000 | #Constraints: 36873 2003.56/2009.49 c #Conflicts: 922000 | #Constraints: 37875 2003.56/2009.49 c INPROCESSING 2003.56/2009.49 c GARBAGE COLLECT 2003.56/2009.49 c rational objective 0 2062.51/2068.51 c #Conflicts: 923000 | #Constraints: 19862 2062.51/2068.51 c #Conflicts: 924000 | #Constraints: 20863 2062.51/2068.51 c #Conflicts: 925000 | #Constraints: 21864 2062.51/2068.51 c #Conflicts: 926000 | #Constraints: 22864 2062.51/2068.51 c #Conflicts: 927000 | #Constraints: 23864 2062.51/2068.51 c #Conflicts: 928000 | #Constraints: 24866 2062.51/2068.51 c #Conflicts: 929000 | #Constraints: 25867 2062.51/2068.51 c #Conflicts: 930000 | #Constraints: 26867 2062.51/2068.51 c #Conflicts: 931000 | #Constraints: 27868 2062.51/2068.51 c #Conflicts: 932000 | #Constraints: 28871 2062.51/2068.51 c #Conflicts: 933000 | #Constraints: 29872 2062.51/2068.51 c #Conflicts: 934000 | #Constraints: 30874 2062.51/2068.51 c #Conflicts: 935000 | #Constraints: 31875 2062.51/2068.51 c #Conflicts: 936000 | #Constraints: 32875 2062.51/2068.51 c #Conflicts: 937000 | #Constraints: 33876 2062.51/2068.51 c #Conflicts: 938000 | #Constraints: 34876 2062.51/2068.51 c #Conflicts: 939000 | #Constraints: 35877 2062.51/2068.51 c #Conflicts: 940000 | #Constraints: 36878 2062.51/2068.51 c #Conflicts: 941000 | #Constraints: 37879 2062.51/2068.51 c INPROCESSING 2062.51/2068.51 c GARBAGE COLLECT 2062.51/2068.51 c rational objective 0 2123.36/2129.51 c #Conflicts: 942000 | #Constraints: 19659 2123.36/2129.51 c #Conflicts: 943000 | #Constraints: 20659 2123.36/2129.51 c #Conflicts: 944000 | #Constraints: 21660 2123.36/2129.51 c #Conflicts: 945000 | #Constraints: 22661 2123.36/2129.51 c #Conflicts: 946000 | #Constraints: 23662 2123.36/2129.51 c #Conflicts: 947000 | #Constraints: 24663 2123.36/2129.51 c #Conflicts: 948000 | #Constraints: 25664 2123.36/2129.51 c #Conflicts: 949000 | #Constraints: 26664 2123.36/2129.51 c #Conflicts: 950000 | #Constraints: 27665 2123.36/2129.51 c #Conflicts: 951000 | #Constraints: 28665 2123.36/2129.51 c #Conflicts: 952000 | #Constraints: 29665 2123.36/2129.51 c #Conflicts: 953000 | #Constraints: 30665 2123.36/2129.51 c #Conflicts: 954000 | #Constraints: 31666 2123.36/2129.51 c #Conflicts: 955000 | #Constraints: 32666 2123.36/2129.51 c #Conflicts: 956000 | #Constraints: 33668 2123.36/2129.51 c #Conflicts: 957000 | #Constraints: 34668 2123.36/2129.51 c #Conflicts: 958000 | #Constraints: 35668 2123.36/2129.51 c #Conflicts: 959000 | #Constraints: 36669 2123.36/2129.51 c #Conflicts: 960000 | #Constraints: 37670 2123.36/2129.51 c #Conflicts: 961000 | #Constraints: 38670 2123.36/2129.51 c INPROCESSING 2123.36/2129.51 c GARBAGE COLLECT 2123.36/2129.51 c rational objective 0 2203.36/2209.70 c #Conflicts: 962000 | #Constraints: 20256 2203.36/2209.70 c #Conflicts: 963000 | #Constraints: 21256 2203.36/2209.70 c #Conflicts: 964000 | #Constraints: 22257 2203.36/2209.70 c #Conflicts: 965000 | #Constraints: 23259 2203.36/2209.70 c #Conflicts: 966000 | #Constraints: 24260 2203.36/2209.70 c #Conflicts: 967000 | #Constraints: 25261 2203.36/2209.70 c #Conflicts: 968000 | #Constraints: 26261 2203.36/2209.70 c #Conflicts: 969000 | #Constraints: 27261 2203.36/2209.70 c #Conflicts: 970000 | #Constraints: 28261 2203.36/2209.70 c #Conflicts: 971000 | #Constraints: 29261 2203.36/2209.70 c #Conflicts: 972000 | #Constraints: 30261 2203.36/2209.70 c #Conflicts: 973000 | #Constraints: 31261 2203.36/2209.70 c #Conflicts: 974000 | #Constraints: 32261 2203.36/2209.70 c #Conflicts: 975000 | #Constraints: 33261 2203.36/2209.70 c #Conflicts: 976000 | #Constraints: 34261 2203.36/2209.70 c #Conflicts: 977000 | #Constraints: 35261 2203.36/2209.70 c #Conflicts: 978000 | #Constraints: 36264 2203.36/2209.70 c #Conflicts: 979000 | #Constraints: 37265 2203.36/2209.70 c #Conflicts: 980000 | #Constraints: 38266 2203.36/2209.70 c #Conflicts: 981000 | #Constraints: 39267 2203.36/2209.70 c INPROCESSING 2203.36/2209.70 c GARBAGE COLLECT 2203.36/2209.70 c rational objective 0 2266.29/2272.88 c #Conflicts: 982000 | #Constraints: 20662 2266.29/2272.88 c #Conflicts: 983000 | #Constraints: 21664 2266.29/2272.88 c #Conflicts: 984000 | #Constraints: 22668 2266.29/2272.88 c #Conflicts: 985000 | #Constraints: 23669 2266.29/2272.88 c #Conflicts: 986000 | #Constraints: 24671 2266.29/2272.88 c #Conflicts: 987000 | #Constraints: 25674 2266.29/2272.88 c #Conflicts: 988000 | #Constraints: 26675 2266.29/2272.88 c #Conflicts: 989000 | #Constraints: 27675 2266.29/2272.88 c #Conflicts: 990000 | #Constraints: 28677 2266.29/2272.88 c #Conflicts: 991000 | #Constraints: 29680 2266.29/2272.88 c #Conflicts: 992000 | #Constraints: 30682 2266.29/2272.88 c #Conflicts: 993000 | #Constraints: 31683 2266.29/2272.88 c #Conflicts: 994000 | #Constraints: 32685 2266.29/2272.88 c #Conflicts: 995000 | #Constraints: 33685 2266.29/2272.88 c #Conflicts: 996000 | #Constraints: 34685 2266.29/2272.88 c #Conflicts: 997000 | #Constraints: 35685 2266.29/2272.88 c #Conflicts: 998000 | #Constraints: 36686 2266.29/2272.88 c #Conflicts: 999000 | #Constraints: 37688 2266.29/2272.88 c #Conflicts: 1000000 | #Constraints: 38688 2266.29/2272.88 c #Conflicts: 1001000 | #Constraints: 39688 2266.29/2272.88 c INPROCESSING 2266.29/2272.88 c GARBAGE COLLECT 2266.29/2272.88 c rational objective 0 2355.38/2362.13 c #Conflicts: 1002000 | #Constraints: 20863 2355.38/2362.13 c #Conflicts: 1003000 | #Constraints: 21863 2355.38/2362.13 c #Conflicts: 1004000 | #Constraints: 22863 2355.38/2362.13 c #Conflicts: 1005000 | #Constraints: 23865 2355.38/2362.13 c #Conflicts: 1006000 | #Constraints: 24866 2355.38/2362.13 c #Conflicts: 1007000 | #Constraints: 25867 2355.38/2362.13 c #Conflicts: 1008000 | #Constraints: 26868 2355.38/2362.13 c #Conflicts: 1009000 | #Constraints: 27869 2355.38/2362.13 c #Conflicts: 1010000 | #Constraints: 28869 2355.38/2362.13 c #Conflicts: 1011000 | #Constraints: 29869 2355.38/2362.13 c #Conflicts: 1012000 | #Constraints: 30870 2355.38/2362.13 c #Conflicts: 1013000 | #Constraints: 31871 2355.38/2362.13 c #Conflicts: 1014000 | #Constraints: 32871 2355.38/2362.13 c #Conflicts: 1015000 | #Constraints: 33872 2355.38/2362.13 c #Conflicts: 1016000 | #Constraints: 34872 2355.38/2362.13 c #Conflicts: 1017000 | #Constraints: 35872 2355.38/2362.13 c #Conflicts: 1018000 | #Constraints: 36872 2355.38/2362.13 c #Conflicts: 1019000 | #Constraints: 37872 2355.38/2362.13 c #Conflicts: 1020000 | #Constraints: 38873 2355.38/2362.13 c #Conflicts: 1021000 | #Constraints: 39874 2355.38/2362.13 c INPROCESSING 2355.38/2362.13 c GARBAGE COLLECT 2355.38/2362.13 c rational objective 0 2425.29/2432.25 c #Conflicts: 1022000 | #Constraints: 20869 2425.29/2432.25 c #Conflicts: 1023000 | #Constraints: 21869 2425.29/2432.25 c #Conflicts: 1024000 | #Constraints: 22871 2425.29/2432.25 c #Conflicts: 1025000 | #Constraints: 23872 2425.29/2432.25 c #Conflicts: 1026000 | #Constraints: 24874 2425.29/2432.25 c #Conflicts: 1027000 | #Constraints: 25876 2425.29/2432.25 c #Conflicts: 1028000 | #Constraints: 26876 2425.29/2432.25 c #Conflicts: 1029000 | #Constraints: 27877 2425.29/2432.25 c #Conflicts: 1030000 | #Constraints: 28878 2425.29/2432.25 c #Conflicts: 1031000 | #Constraints: 29879 2425.29/2432.25 c #Conflicts: 1032000 | #Constraints: 30881 2425.29/2432.25 c #Conflicts: 1033000 | #Constraints: 31882 2425.29/2432.25 c #Conflicts: 1034000 | #Constraints: 32883 2425.29/2432.25 c #Conflicts: 1035000 | #Constraints: 33883 2425.29/2432.25 c #Conflicts: 1036000 | #Constraints: 34884 2425.29/2432.25 c #Conflicts: 1037000 | #Constraints: 35884 2425.29/2432.25 c #Conflicts: 1038000 | #Constraints: 36886 2425.29/2432.25 c #Conflicts: 1039000 | #Constraints: 37886 2425.29/2432.25 c #Conflicts: 1040000 | #Constraints: 38887 2425.29/2432.25 c #Conflicts: 1041000 | #Constraints: 39887 2425.29/2432.25 c INPROCESSING 2425.29/2432.25 c GARBAGE COLLECT 2425.29/2432.25 c rational objective 0 2520.86/2528.06 c #Conflicts: 1042000 | #Constraints: 20664 2520.86/2528.06 c #Conflicts: 1043000 | #Constraints: 21664 2520.86/2528.06 c #Conflicts: 1044000 | #Constraints: 22665 2520.86/2528.06 c #Conflicts: 1045000 | #Constraints: 23665 2520.86/2528.06 c #Conflicts: 1046000 | #Constraints: 24666 2520.86/2528.06 c #Conflicts: 1047000 | #Constraints: 25666 2520.86/2528.06 c #Conflicts: 1048000 | #Constraints: 26666 2520.86/2528.06 c #Conflicts: 1049000 | #Constraints: 27667 2520.86/2528.06 c #Conflicts: 1050000 | #Constraints: 28667 2520.86/2528.06 c #Conflicts: 1051000 | #Constraints: 29667 2520.86/2528.06 c #Conflicts: 1052000 | #Constraints: 30667 2520.86/2528.06 c #Conflicts: 1053000 | #Constraints: 31667 2520.86/2528.06 c #Conflicts: 1054000 | #Constraints: 32667 2520.86/2528.06 c #Conflicts: 1055000 | #Constraints: 33667 2520.86/2528.06 c #Conflicts: 1056000 | #Constraints: 34668 2520.86/2528.06 c #Conflicts: 1057000 | #Constraints: 35672 2520.86/2528.06 c #Conflicts: 1058000 | #Constraints: 36672 2520.86/2528.06 c #Conflicts: 1059000 | #Constraints: 37672 2520.86/2528.06 c #Conflicts: 1060000 | #Constraints: 38672 2520.86/2528.06 c #Conflicts: 1061000 | #Constraints: 39672 2520.86/2528.06 c #Conflicts: 1062000 | #Constraints: 40672 2520.86/2528.06 c INPROCESSING 2520.86/2528.06 c GARBAGE COLLECT 2520.86/2528.06 c rational objective 0 2603.36/2610.71 c #Conflicts: 1063000 | #Constraints: 21259 2603.36/2610.71 c #Conflicts: 1064000 | #Constraints: 22261 2603.36/2610.71 c #Conflicts: 1065000 | #Constraints: 23261 2603.36/2610.71 c #Conflicts: 1066000 | #Constraints: 24261 2603.36/2610.71 c #Conflicts: 1067000 | #Constraints: 25263 2603.36/2610.71 c #Conflicts: 1068000 | #Constraints: 26265 2603.36/2610.71 c #Conflicts: 1069000 | #Constraints: 27265 2603.36/2610.71 c #Conflicts: 1070000 | #Constraints: 28265 2603.36/2610.71 c #Conflicts: 1071000 | #Constraints: 29267 2603.36/2610.71 c #Conflicts: 1072000 | #Constraints: 30268 2603.36/2610.71 c #Conflicts: 1073000 | #Constraints: 31268 2603.36/2610.71 c #Conflicts: 1074000 | #Constraints: 32269 2603.36/2610.71 c #Conflicts: 1075000 | #Constraints: 33269 2603.36/2610.71 c #Conflicts: 1076000 | #Constraints: 34270 2603.36/2610.71 c #Conflicts: 1077000 | #Constraints: 35271 2603.36/2610.71 c #Conflicts: 1078000 | #Constraints: 36271 2603.36/2610.71 c #Conflicts: 1079000 | #Constraints: 37271 2603.36/2610.71 c #Conflicts: 1080000 | #Constraints: 38271 2603.36/2610.71 c #Conflicts: 1081000 | #Constraints: 39272 2603.36/2610.71 c #Conflicts: 1082000 | #Constraints: 40273 2603.36/2610.71 c #Conflicts: 1083000 | #Constraints: 41273 2603.36/2610.71 c INPROCESSING 2603.36/2610.71 c GARBAGE COLLECT 2603.36/2610.71 c rational objective 0 2708.51/2716.14 c #Conflicts: 1084000 | #Constraints: 21656 2708.51/2716.14 c #Conflicts: 1085000 | #Constraints: 22657 2708.51/2716.14 c #Conflicts: 1086000 | #Constraints: 23657 2708.51/2716.14 c #Conflicts: 1087000 | #Constraints: 24657 2708.51/2716.14 c #Conflicts: 1088000 | #Constraints: 25657 2708.51/2716.14 c #Conflicts: 1089000 | #Constraints: 26657 2708.51/2716.14 c #Conflicts: 1090000 | #Constraints: 27657 2708.51/2716.14 c #Conflicts: 1091000 | #Constraints: 28657 2708.51/2716.14 c #Conflicts: 1092000 | #Constraints: 29657 2708.51/2716.14 c #Conflicts: 1093000 | #Constraints: 30657 2708.51/2716.14 c #Conflicts: 1094000 | #Constraints: 31658 2708.51/2716.14 c #Conflicts: 1095000 | #Constraints: 32658 2708.51/2716.14 c #Conflicts: 1096000 | #Constraints: 33658 2708.51/2716.14 c #Conflicts: 1097000 | #Constraints: 34658 2708.51/2716.14 c #Conflicts: 1098000 | #Constraints: 35659 2708.51/2716.14 c #Conflicts: 1099000 | #Constraints: 36660 2708.51/2716.14 c #Conflicts: 1100000 | #Constraints: 37661 2708.51/2716.14 c #Conflicts: 1101000 | #Constraints: 38662 2708.51/2716.14 c #Conflicts: 1102000 | #Constraints: 39663 2708.51/2716.14 c #Conflicts: 1103000 | #Constraints: 40663 2708.51/2716.14 c #Conflicts: 1104000 | #Constraints: 41665 2708.51/2716.14 c INPROCESSING 2708.51/2716.14 c GARBAGE COLLECT 2708.51/2716.14 c rational objective 0 2800.76/2808.62 c #Conflicts: 1105000 | #Constraints: 21861 2800.76/2808.62 c #Conflicts: 1106000 | #Constraints: 22862 2800.76/2808.62 c #Conflicts: 1107000 | #Constraints: 23863 2800.76/2808.62 c #Conflicts: 1108000 | #Constraints: 24866 2800.76/2808.62 c #Conflicts: 1109000 | #Constraints: 25867 2800.76/2808.62 c #Conflicts: 1110000 | #Constraints: 26868 2800.76/2808.62 c #Conflicts: 1111000 | #Constraints: 27869 2800.76/2808.62 c #Conflicts: 1112000 | #Constraints: 28870 2800.76/2808.62 c #Conflicts: 1113000 | #Constraints: 29871 2800.76/2808.62 c #Conflicts: 1114000 | #Constraints: 30871 2800.76/2808.62 c #Conflicts: 1115000 | #Constraints: 31872 2800.76/2808.62 c #Conflicts: 1116000 | #Constraints: 32872 2800.76/2808.62 c #Conflicts: 1117000 | #Constraints: 33872 2800.76/2808.62 c #Conflicts: 1118000 | #Constraints: 34872 2800.76/2808.62 c #Conflicts: 1119000 | #Constraints: 35873 2800.76/2808.62 c #Conflicts: 1120000 | #Constraints: 36873 2800.76/2808.62 c #Conflicts: 1121000 | #Constraints: 37875 2800.76/2808.62 c #Conflicts: 1122000 | #Constraints: 38875 2800.76/2808.62 c #Conflicts: 1123000 | #Constraints: 39878 2800.76/2808.62 c #Conflicts: 1124000 | #Constraints: 40878 2800.76/2808.62 c #Conflicts: 1125000 | #Constraints: 41878 2800.76/2808.62 c INPROCESSING 2800.76/2808.62 c GARBAGE COLLECT 2800.76/2808.62 c rational objective 0 2872.58/2880.63 c #Conflicts: 1126000 | #Constraints: 21859 2872.58/2880.63 c #Conflicts: 1127000 | #Constraints: 22861 2872.58/2880.63 c #Conflicts: 1128000 | #Constraints: 23863 2872.58/2880.63 c #Conflicts: 1129000 | #Constraints: 24863 2872.58/2880.63 c #Conflicts: 1130000 | #Constraints: 25864 2872.58/2880.63 c #Conflicts: 1131000 | #Constraints: 26864 2872.58/2880.63 c #Conflicts: 1132000 | #Constraints: 27866 2872.58/2880.63 c #Conflicts: 1133000 | #Constraints: 28867 2872.58/2880.63 c #Conflicts: 1134000 | #Constraints: 29867 2872.58/2880.63 c #Conflicts: 1135000 | #Constraints: 30869 2872.58/2880.63 c #Conflicts: 1136000 | #Constraints: 31870 2872.58/2880.63 c #Conflicts: 1137000 | #Constraints: 32870 2872.58/2880.63 c #Conflicts: 1138000 | #Constraints: 33870 2872.58/2880.63 c #Conflicts: 1139000 | #Constraints: 34871 2872.58/2880.63 c #Conflicts: 1140000 | #Constraints: 35872 2872.58/2880.63 c #Conflicts: 1141000 | #Constraints: 36875 2872.58/2880.63 c #Conflicts: 1142000 | #Constraints: 37875 2872.58/2880.63 c #Conflicts: 1143000 | #Constraints: 38875 2872.58/2880.63 c #Conflicts: 1144000 | #Constraints: 39875 2872.58/2880.63 c #Conflicts: 1145000 | #Constraints: 40877 2872.58/2880.63 c #Conflicts: 1146000 | #Constraints: 41878 2872.58/2880.63 c INPROCESSING 2872.58/2880.63 c GARBAGE COLLECT 2872.58/2880.63 c rational objective 0 2982.89/2991.22 c #Conflicts: 1147000 | #Constraints: 21659 2982.89/2991.22 c #Conflicts: 1148000 | #Constraints: 22659 2982.89/2991.22 c #Conflicts: 1149000 | #Constraints: 23659 2982.89/2991.22 c #Conflicts: 1150000 | #Constraints: 24660 2982.89/2991.22 c #Conflicts: 1151000 | #Constraints: 25660 2982.89/2991.22 c #Conflicts: 1152000 | #Constraints: 26662 2982.89/2991.22 c #Conflicts: 1153000 | #Constraints: 27662 2982.89/2991.22 c #Conflicts: 1154000 | #Constraints: 28663 2982.89/2991.22 c #Conflicts: 1155000 | #Constraints: 29663 2982.89/2991.22 c #Conflicts: 1156000 | #Constraints: 30664 2982.89/2991.22 c #Conflicts: 1157000 | #Constraints: 31667 2982.89/2991.22 c #Conflicts: 1158000 | #Constraints: 32671 2982.89/2991.22 c #Conflicts: 1159000 | #Constraints: 33673 2982.89/2991.22 c #Conflicts: 1160000 | #Constraints: 34674 2982.89/2991.22 c #Conflicts: 1161000 | #Constraints: 35675 2982.89/2991.22 c #Conflicts: 1162000 | #Constraints: 36675 2982.89/2991.22 c #Conflicts: 1163000 | #Constraints: 37675 2982.89/2991.22 c #Conflicts: 1164000 | #Constraints: 38676 2982.89/2991.22 c #Conflicts: 1165000 | #Constraints: 39677 2982.89/2991.22 c #Conflicts: 1166000 | #Constraints: 40678 2982.89/2991.22 c bounds 20 >= 0 @ 2953.51 2982.89/2991.22 c #Conflicts: 1167000 | #Constraints: 41684 2982.89/2991.22 c #Conflicts: 1168000 | #Constraints: 42684 2982.89/2991.22 c INPROCESSING 2982.89/2991.22 c GARBAGE COLLECT 2982.89/2991.22 c rational objective 0 3054.52/3063.10 c #Conflicts: 1169000 | #Constraints: 22259 3054.52/3063.10 c #Conflicts: 1170000 | #Constraints: 23261 3054.52/3063.10 c #Conflicts: 1171000 | #Constraints: 24263 3054.52/3063.10 c #Conflicts: 1172000 | #Constraints: 25263 3054.52/3063.10 c #Conflicts: 1173000 | #Constraints: 26264 3054.52/3063.10 c #Conflicts: 1174000 | #Constraints: 27267 3054.52/3063.10 c #Conflicts: 1175000 | #Constraints: 28268 3054.52/3063.10 c #Conflicts: 1176000 | #Constraints: 29269 3054.52/3063.10 c #Conflicts: 1177000 | #Constraints: 30271 3054.52/3063.10 c #Conflicts: 1178000 | #Constraints: 31272 3054.52/3063.10 c #Conflicts: 1179000 | #Constraints: 32272 3054.52/3063.10 c #Conflicts: 1180000 | #Constraints: 33273 3054.52/3063.10 c #Conflicts: 1181000 | #Constraints: 34274 3054.52/3063.10 c #Conflicts: 1182000 | #Constraints: 35275 3054.52/3063.10 c #Conflicts: 1183000 | #Constraints: 36276 3054.52/3063.10 c #Conflicts: 1184000 | #Constraints: 37276 3054.52/3063.10 c #Conflicts: 1185000 | #Constraints: 38277 3054.52/3063.10 c #Conflicts: 1186000 | #Constraints: 39278 3054.52/3063.10 c #Conflicts: 1187000 | #Constraints: 40279 3054.52/3063.10 c #Conflicts: 1188000 | #Constraints: 41279 3054.52/3063.10 c #Conflicts: 1189000 | #Constraints: 42279 3054.52/3063.10 c #Conflicts: 1190000 | #Constraints: 43280 3054.52/3063.10 c INPROCESSING 3054.52/3063.10 c GARBAGE COLLECT 3054.52/3063.10 c rational objective 0 3169.01/3177.87 c bounds 18 >= 0 @ 3030.38 3169.01/3177.87 c bounds 16 >= 0 @ 3030.39 3169.01/3177.87 c #Conflicts: 1191000 | #Constraints: 22657 3169.01/3177.87 c #Conflicts: 1192000 | #Constraints: 23658 3169.01/3177.87 c #Conflicts: 1193000 | #Constraints: 24661 3169.01/3177.87 c #Conflicts: 1194000 | #Constraints: 25661 3169.01/3177.87 c #Conflicts: 1195000 | #Constraints: 26662 3169.01/3177.87 c #Conflicts: 1196000 | #Constraints: 27663 3169.01/3177.87 c #Conflicts: 1197000 | #Constraints: 28664 3169.01/3177.87 c #Conflicts: 1198000 | #Constraints: 29666 3169.01/3177.87 c #Conflicts: 1199000 | #Constraints: 30666 3169.01/3177.87 c #Conflicts: 1200000 | #Constraints: 31668 3169.01/3177.87 c #Conflicts: 1201000 | #Constraints: 32671 3169.01/3177.87 c #Conflicts: 1202000 | #Constraints: 33672 3169.01/3177.87 c #Conflicts: 1203000 | #Constraints: 34672 3169.01/3177.87 c #Conflicts: 1204000 | #Constraints: 35673 3169.01/3177.87 c #Conflicts: 1205000 | #Constraints: 36674 3169.01/3177.87 c #Conflicts: 1206000 | #Constraints: 37674 3169.01/3177.87 c #Conflicts: 1207000 | #Constraints: 38676 3169.01/3177.87 c #Conflicts: 1208000 | #Constraints: 39676 3169.01/3177.87 c #Conflicts: 1209000 | #Constraints: 40677 3169.01/3177.88 c #Conflicts: 1210000 | #Constraints: 41679 3169.01/3177.88 c #Conflicts: 1211000 | #Constraints: 42681 3169.01/3177.88 c #Conflicts: 1212000 | #Constraints: 43682 3169.01/3177.88 c INPROCESSING 3169.01/3177.88 c GARBAGE COLLECT 3169.01/3177.88 c rational objective 0 3251.69/3260.75 c #Conflicts: 1213000 | #Constraints: 22858 3251.69/3260.75 c #Conflicts: 1214000 | #Constraints: 23858 3251.69/3260.75 c #Conflicts: 1215000 | #Constraints: 24858 3251.69/3260.75 c #Conflicts: 1216000 | #Constraints: 25862 3251.69/3260.75 c #Conflicts: 1217000 | #Constraints: 26863 3251.69/3260.75 c #Conflicts: 1218000 | #Constraints: 27868 3251.69/3260.75 c #Conflicts: 1219000 | #Constraints: 28870 3251.69/3260.75 c #Conflicts: 1220000 | #Constraints: 29870 3251.69/3260.75 c #Conflicts: 1221000 | #Constraints: 30870 3251.69/3260.75 c #Conflicts: 1222000 | #Constraints: 31870 3251.69/3260.75 c #Conflicts: 1223000 | #Constraints: 32871 3251.69/3260.75 c #Conflicts: 1224000 | #Constraints: 33871 3251.69/3260.75 c #Conflicts: 1225000 | #Constraints: 34871 3251.69/3260.75 c #Conflicts: 1226000 | #Constraints: 35872 3251.69/3260.75 c #Conflicts: 1227000 | #Constraints: 36874 3251.69/3260.75 c #Conflicts: 1228000 | #Constraints: 37877 3251.69/3260.75 c #Conflicts: 1229000 | #Constraints: 38877 3251.69/3260.75 c #Conflicts: 1230000 | #Constraints: 39878 3251.69/3260.75 c #Conflicts: 1231000 | #Constraints: 40882 3251.69/3260.75 c #Conflicts: 1232000 | #Constraints: 41882 3251.69/3260.75 c #Conflicts: 1233000 | #Constraints: 42885 3251.69/3260.75 c #Conflicts: 1234000 | #Constraints: 43887 3251.69/3260.75 c INPROCESSING 3251.69/3260.75 c GARBAGE COLLECT 3251.69/3260.75 c rational objective 0 3375.46/3384.83 c #Conflicts: 1235000 | #Constraints: 22863 3375.46/3384.83 c #Conflicts: 1236000 | #Constraints: 23865 3375.46/3384.83 c #Conflicts: 1237000 | #Constraints: 24865 3375.46/3384.83 c #Conflicts: 1238000 | #Constraints: 25867 3375.46/3384.83 c #Conflicts: 1239000 | #Constraints: 26869 3375.46/3384.83 c #Conflicts: 1240000 | #Constraints: 27870 3375.46/3384.83 c #Conflicts: 1241000 | #Constraints: 28874 3375.46/3384.83 c #Conflicts: 1242000 | #Constraints: 29877 3375.46/3384.83 c #Conflicts: 1243000 | #Constraints: 30878 3375.46/3384.83 c #Conflicts: 1244000 | #Constraints: 31881 3375.46/3384.83 c #Conflicts: 1245000 | #Constraints: 32883 3375.46/3384.83 c #Conflicts: 1246000 | #Constraints: 33884 3375.46/3384.83 c #Conflicts: 1247000 | #Constraints: 34884 3375.46/3384.83 c #Conflicts: 1248000 | #Constraints: 35885 3375.46/3384.83 c #Conflicts: 1249000 | #Constraints: 36885 3375.46/3384.83 c #Conflicts: 1250000 | #Constraints: 37892 3375.46/3384.83 c #Conflicts: 1251000 | #Constraints: 38895 3375.46/3384.83 c #Conflicts: 1252000 | #Constraints: 39897 3375.46/3384.83 c #Conflicts: 1253000 | #Constraints: 40898 3375.46/3384.83 c #Conflicts: 1254000 | #Constraints: 41900 3375.46/3384.83 c #Conflicts: 1255000 | #Constraints: 42900 3375.46/3384.83 c #Conflicts: 1256000 | #Constraints: 43901 3375.46/3384.83 c INPROCESSING 3375.46/3384.83 c GARBAGE COLLECT 3375.46/3384.83 c rational objective 0 3462.92/3472.55 c #Conflicts: 1257000 | #Constraints: 22675 3462.92/3472.55 c #Conflicts: 1258000 | #Constraints: 23676 3462.92/3472.55 c #Conflicts: 1259000 | #Constraints: 24678 3462.92/3472.55 c #Conflicts: 1260000 | #Constraints: 25680 3462.92/3472.55 c #Conflicts: 1261000 | #Constraints: 26681 3462.92/3472.55 c #Conflicts: 1262000 | #Constraints: 27684 3462.92/3472.55 c #Conflicts: 1263000 | #Constraints: 28684 3462.92/3472.55 c #Conflicts: 1264000 | #Constraints: 29684 3462.92/3472.55 c #Conflicts: 1265000 | #Constraints: 30685 3462.92/3472.55 c #Conflicts: 1266000 | #Constraints: 31686 3462.92/3472.55 c #Conflicts: 1267000 | #Constraints: 32688 3462.92/3472.55 c #Conflicts: 1268000 | #Constraints: 33689 3462.92/3472.55 c #Conflicts: 1269000 | #Constraints: 34690 3462.92/3472.55 c #Conflicts: 1270000 | #Constraints: 35693 3462.92/3472.55 c #Conflicts: 1271000 | #Constraints: 36694 3462.92/3472.55 c #Conflicts: 1272000 | #Constraints: 37695 3462.92/3472.55 c #Conflicts: 1273000 | #Constraints: 38695 3462.92/3472.55 c #Conflicts: 1274000 | #Constraints: 39695 3462.92/3472.55 c #Conflicts: 1275000 | #Constraints: 40695 3462.92/3472.55 c #Conflicts: 1276000 | #Constraints: 41695 3462.92/3472.55 c #Conflicts: 1277000 | #Constraints: 42695 3462.92/3472.55 c #Conflicts: 1278000 | #Constraints: 43695 3462.92/3472.55 c #Conflicts: 1279000 | #Constraints: 44697 3462.92/3472.55 c INPROCESSING 3462.92/3472.55 c GARBAGE COLLECT 3462.92/3472.55 c rational objective 0 3543.21/3553.04 c #Conflicts: 1280000 | #Constraints: 23265 3543.21/3553.04 c #Conflicts: 1281000 | #Constraints: 24267 3543.21/3553.04 c #Conflicts: 1282000 | #Constraints: 25270 3543.21/3553.04 c #Conflicts: 1283000 | #Constraints: 26271 3543.21/3553.04 c #Conflicts: 1284000 | #Constraints: 27272 3543.21/3553.04 c #Conflicts: 1285000 | #Constraints: 28273 3543.21/3553.04 c #Conflicts: 1286000 | #Constraints: 29273 3543.21/3553.04 c #Conflicts: 1287000 | #Constraints: 30273 3543.21/3553.04 c #Conflicts: 1288000 | #Constraints: 31273 3543.21/3553.04 c #Conflicts: 1289000 | #Constraints: 32273 3543.21/3553.04 c #Conflicts: 1290000 | #Constraints: 33273 3543.21/3553.04 c #Conflicts: 1291000 | #Constraints: 34275 3543.21/3553.04 c #Conflicts: 1292000 | #Constraints: 35276 3543.21/3553.04 c #Conflicts: 1293000 | #Constraints: 36277 3543.21/3553.04 c #Conflicts: 1294000 | #Constraints: 37278 3543.21/3553.04 c #Conflicts: 1295000 | #Constraints: 38278 3543.21/3553.04 c #Conflicts: 1296000 | #Constraints: 39279 3543.21/3553.04 c #Conflicts: 1297000 | #Constraints: 40280 3543.21/3553.04 c #Conflicts: 1298000 | #Constraints: 41280 3543.21/3553.04 c #Conflicts: 1299000 | #Constraints: 42281 3543.21/3553.04 c #Conflicts: 1300000 | #Constraints: 43281 3543.21/3553.04 c #Conflicts: 1301000 | #Constraints: 44282 3543.21/3553.04 c #Conflicts: 1302000 | #Constraints: 45283 3543.21/3553.04 c INPROCESSING 3543.21/3553.04 c GARBAGE COLLECT 3543.21/3553.04 c rational objective 0 3600.06/3610.00 c #Conflicts: 1303000 | #Constraints: 23659 3600.06/3610.00 c #Conflicts: 1304000 | #Constraints: 24660 3600.06/3610.00 c #Conflicts: 1305000 | #Constraints: 25662 3600.06/3610.00 c #Conflicts: 1306000 | #Constraints: 26663 3600.06/3610.00 c #Conflicts: 1307000 | #Constraints: 27665 3600.06/3610.00 c #Conflicts: 1308000 | #Constraints: 28666 3600.06/3610.00 c #Conflicts: 1309000 | #Constraints: 29667 3600.06/3610.00 c #Conflicts: 1310000 | #Constraints: 30668 3600.06/3610.00 c #Conflicts: 1311000 | #Constraints: 31671 3600.06/3610.00 c #Conflicts: 1312000 | #Constraints: 32671 3600.06/3610.00 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61734 MiB free)
memory of node 1: 64473 MiB (61004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460220-1722064839/watcher-4460220-1722064839 -o /tmp/evaluation-result-4460220-1722064839/solver-4460220-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-316998 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460220-1722064839 --lp-cut-gomory=0 HOME/instance-4460220-1722064839.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=317202, runsolver pid=317199
[startup+0.100087 s]*
/proc/loadavg: 0.20 0.13 0.10 5/258 317203
/proc/meminfo: memFree=125675760/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=38268 memory=9040 CPUtime=0.1 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 626 0 0 0 10 0 0 0 20 0 1 0 43013570 39186432 2260 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 9567 2260 1868 992 0 1425 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38268 KiB
Current children cumulated memory: 9040 KiB
[startup+0.205394 s]*
/proc/loadavg: 0.20 0.13 0.10 5/258 317203
/proc/meminfo: memFree=125665376/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=38548 memory=9944 CPUtime=0.2 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 821 0 0 0 20 0 0 0 20 0 1 0 43013570 39473152 2486 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 9637 2486 1868 992 0 1495 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38548 KiB
Current children cumulated memory: 9944 KiB
[startup+0.305398 s]*
/proc/loadavg: 0.20 0.13 0.10 5/258 317203
/proc/meminfo: memFree=125654340/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=38792 memory=10404 CPUtime=0.3 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 964 0 0 0 29 1 0 0 20 0 1 0 43013570 39723008 2601 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 9698 2601 1868 992 0 1556 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38792 KiB
Current children cumulated memory: 10404 KiB
[startup+0.700225 s]
/proc/loadavg: 0.58 0.21 0.12 5/258 317203
/proc/meminfo: memFree=125631544/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=39568 memory=11436 CPUtime=0.69 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 1214 0 0 0 66 3 0 0 20 0 1 0 43013570 40517632 2859 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 9892 2859 1884 992 0 1750 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 11436 KiB
[startup+1.50021 s]
/proc/loadavg: 0.58 0.21 0.12 5/258 317203
/proc/meminfo: memFree=125562616/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=40652 memory=14512 CPUtime=1.49 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 1482 0 0 0 143 6 0 0 20 0 1 0 43013570 41627648 3628 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 10163 3628 1884 992 0 2021 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40652 KiB
Current children cumulated memory: 14512 KiB
[startup+3.10554 s]
/proc/loadavg: 0.58 0.21 0.12 5/258 317203
/proc/meminfo: memFree=125411080/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=41732 memory=15876 CPUtime=3.09 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 1764 0 0 0 297 12 0 0 20 0 1 0 43013570 42733568 3969 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 10433 3969 1884 992 0 2291 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41732 KiB
Current children cumulated memory: 15876 KiB
[startup+6.30019 s]
/proc/loadavg: 0.86 0.28 0.14 5/258 317203
/proc/meminfo: memFree=125169528/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=42500 memory=17012 CPUtime=6.27 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 2066 0 0 0 605 22 0 0 20 0 1 0 43013570 43520000 4253 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 10625 4253 1884 992 0 2483 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42500 KiB
Current children cumulated memory: 17012 KiB
[startup+12.7002 s]
/proc/loadavg: 1.11 0.34 0.17 5/262 317209
/proc/meminfo: memFree=124828916/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=47180 memory=21004 CPUtime=12.65 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 2595 0 0 0 1226 39 0 0 20 0 1 0 43013570 48312320 5251 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 11795 5251 1884 992 0 3653 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47180 KiB
Current children cumulated memory: 21004 KiB
[startup+25.5002 s]
/proc/loadavg: 1.55 0.46 0.21 5/262 317210
/proc/meminfo: memFree=124158968/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=53488 memory=24084 CPUtime=25.43 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 3331 0 0 0 2476 67 0 0 20 0 1 0 43013570 54771712 6021 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 13372 6021 1884 992 0 5230 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 53488 KiB
Current children cumulated memory: 24084 KiB
[startup+51.1056 s]
/proc/loadavg: 2.58 0.82 0.33 5/263 317264
/proc/meminfo: memFree=123119784/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=54900 memory=27896 CPUtime=50.96 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 3838 0 0 0 4979 117 0 0 20 0 1 0 43013570 56217600 6974 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 13725 6974 1884 992 0 5583 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 54900 KiB
Current children cumulated memory: 27896 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 1.34 0.54 5/263 317272
/proc/meminfo: memFree=120721220/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=57972 memory=31020 CPUtime=101.99 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 4745 0 0 0 10001 198 0 0 20 0 1 0 43013570 59363328 7755 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 14493 7755 1884 992 0 6351 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 31020 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.84 0.76 5/264 317283
/proc/meminfo: memFree=118476968/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=67776 memory=36596 CPUtime=161.8 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 5733 0 0 0 15903 277 0 0 20 0 1 0 43013570 69402624 9149 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 16944 9149 1884 992 0 8802 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 67776 KiB
Current children cumulated memory: 36596 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.27 0.98 5/264 317294
/proc/meminfo: memFree=116522832/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=68736 memory=37892 CPUtime=221.61 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 6168 0 0 0 21817 344 0 0 20 0 1 0 43013570 70385664 9473 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 17184 9473 1884 992 0 9042 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 68736 KiB
Current children cumulated memory: 37892 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 2.58 1.17 5/262 317687
/proc/meminfo: memFree=114029444/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=69008 memory=40384 CPUtime=281.43 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 6375 0 0 0 27727 416 0 0 20 0 1 0 43013570 70664192 10096 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 17252 10096 1884 992 0 9110 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 69008 KiB
Current children cumulated memory: 40384 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 2.87 1.36 5/260 317697
/proc/meminfo: memFree=112048876/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=69504 memory=43108 CPUtime=341.24 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 6763 0 0 0 33644 480 0 0 20 0 1 0 43013570 71172096 10777 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 17376 10777 1884 992 0 9234 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 69504 KiB
Current children cumulated memory: 43108 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 3.14 1.55 5/262 317712
/proc/meminfo: memFree=110080804/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=71076 memory=45124 CPUtime=401.04 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 7074 0 0 0 39565 539 0 0 20 0 1 0 43013570 72781824 11281 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 17769 11281 1884 992 0 9627 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 71076 KiB
Current children cumulated memory: 45124 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.32 1.71 5/266 317894
/proc/meminfo: memFree=107645272/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=85276 memory=47268 CPUtime=460.9 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 7672 0 0 0 45501 589 0 0 20 0 1 0 43013570 87322624 11817 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 21319 11817 1884 992 0 13177 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.43 4.20 4.05 5/262 319016
/proc/meminfo: memFree=61329728/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=120836 memory=77368 CPUtime=3093.71 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 14704 0 0 0 306911 2460 0 0 20 0 1 0 43013570 123736064 19342 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 30209 19342 1884 992 0 22067 0
Current children cumulated CPU time: 3093.71 s
Current children cumulated vsize: 120836 KiB
Current children cumulated memory: 77368 KiB
[startup+3162.3 s]
/proc/loadavg: 4.48 4.28 4.09 5/262 319026
/proc/meminfo: memFree=60707904/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=120836 memory=77368 CPUtime=3153.56 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 14732 0 0 0 312864 2492 0 0 20 0 1 0 43013570 123736064 19342 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 30209 19342 1884 992 0 22067 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 120836 KiB
Current children cumulated memory: 77368 KiB
[startup+3222.3 s]
/proc/loadavg: 4.29 4.26 4.09 5/261 319037
/proc/meminfo: memFree=60098612/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=120764 memory=77440 CPUtime=3213.4 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 14868 0 0 0 318812 2528 0 0 20 0 1 0 43013570 123662336 19360 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 30191 19360 1884 992 0 22049 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 120764 KiB
Current children cumulated memory: 77440 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.22 4.09 5/261 319047
/proc/meminfo: memFree=59532708/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=120764 memory=77444 CPUtime=3273.24 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 14991 0 0 0 324759 2565 0 0 20 0 1 0 43013570 123662336 19361 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 30191 19361 1884 992 0 22049 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 120764 KiB
Current children cumulated memory: 77444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.18 4.08 5/258 319057
/proc/meminfo: memFree=58983980/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=120764 memory=77444 CPUtime=3333.07 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 15018 0 0 0 330712 2595 0 0 20 0 1 0 43013570 123662336 19361 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 30191 19361 1884 992 0 22049 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 120764 KiB
Current children cumulated memory: 77444 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/258 319069
/proc/meminfo: memFree=58481264/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=124860 memory=79652 CPUtime=3392.91 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 15690 0 0 0 336666 2625 0 0 20 0 1 0 43013570 127856640 19913 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 31215 19913 1884 992 0 23073 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 124860 KiB
Current children cumulated memory: 79652 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/257 319079
/proc/meminfo: memFree=57986472/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=124860 memory=79652 CPUtime=3452.74 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 15718 0 0 0 342612 2662 0 0 20 0 1 0 43013570 127856640 19913 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 31215 19913 1884 992 0 23073 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 124860 KiB
Current children cumulated memory: 79652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.37 4.25 4.12 5/257 319090
/proc/meminfo: memFree=57472704/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=124860 memory=79652 CPUtime=3512.59 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 15840 0 0 0 348555 2704 0 0 20 0 1 0 43013570 127856640 19913 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 31215 19913 1884 992 0 23073 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 124860 KiB
Current children cumulated memory: 79652 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.21 4.12 5/259 319105
/proc/meminfo: memFree=56994336/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=125116 memory=79792 CPUtime=3572.42 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 16000 0 0 0 354502 2740 0 0 20 0 1 0 43013570 128118784 19948 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 31279 19948 1884 992 0 23137 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 125116 KiB
Current children cumulated memory: 79792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.21 4.21 4.12 5/259 319109
/proc/meminfo: memFree=56739644/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=125116 memory=79792 CPUtime=3600.06 cores=4,6
/proc/317202/stat : 317202 (roundingsat) R 317199 317202 316987 0 -1 4194304 16025 0 0 0 357252 2754 0 0 20 0 1 0 43013570 128118784 19948 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 31279 19948 1884 992 0 23137 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 125116 KiB
Current children cumulated memory: 79792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.19 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56730760/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=125116 memory=79792 CPUtime=3600.06 cores=4,6
/proc/317202/stat : 317202 (roundingsat) D 317199 317202 316987 0 -1 4194304 16032 0 1 0 357252 2754 0 0 20 0 1 0 43013570 128118784 19948 134679101440 4194304 8254357 140721920882528 0 0 256 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 31279 19948 1884 992 0 23137 0
??? kill 317202 sig 9
??? end of watcher thread
[startup+3614.87 s]
# the end of solver process 317202 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3572.53 s, system=27.5441 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.21 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56731100/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=125116 memory=79792 CPUtime=3600.06 cores=4,6
/proc/317202/stat : 317202 (roundingsat) D 317199 317202 316987 0 -1 4194304 16032 0 1 0 357252 2754 0 0 20 0 1 0 43013570 128118784 19948 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 31279 19948 1884 992 0 23137 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 125116 KiB
Current children cumulated memory: 79792 KiB
[startup+3611.6 s]
/proc/loadavg: 4.21 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56731100/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=125116 memory=79792 CPUtime=3600.06 cores=4,6
/proc/317202/stat : 317202 (roundingsat) D 317199 317202 316987 0 -1 4194304 16032 0 1 0 357252 2754 0 0 20 0 1 0 43013570 128118784 19948 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 31279 19948 1884 992 0 23137 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 125116 KiB
Current children cumulated memory: 79792 KiB
[startup+3612 s]*
/proc/loadavg: 4.19 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56730760/131524600 swapFree=131055836/131071996
[pid=317202] ppid=317199 vsize=125116 memory=79792 CPUtime=3600.06 cores=4,6
/proc/317202/stat : 317202 (roundingsat) D 317199 317202 316987 0 -1 4194304 16032 0 1 0 357252 2754 0 0 20 0 1 0 43013570 128118784 19948 134679101440 4194304 8254357 140721920882528 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37498880 140721920885595 140721920885857 140721920885857 140721920892873 0
/proc/317202/statm: 31279 19948 1884 992 0 23137 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 125116 KiB
Current children cumulated memory: 79792 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.87
CPU time (s): 3600.07
CPU user time (s): 3572.53
CPU system time (s): 27.5441
CPU usage (%): 99.5905
Max. virtual memory (cumulated for all children) (KiB): 125116
Max. memory (cumulated for all children) (KiB): 79792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.53
system time used= 27.5441
maximum resident set size= 80236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16032
page faults= 1
swaps= 0
block input operations= 224
block output operations= 25430200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 525
involuntary context switches= 4831
# summary of solver processes directly reported to runsolver:
# pid: 317202
# total CPU time (s): 3600.07
# total CPU user time (s): 3572.53
# total CPU system time (s): 27.5441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8824 second user time and 17.9457 second system time
The end
Begin job on nodeC033 at 2024-07-27 09:20:39 IDJOB=4460220 IDBENCH=147586 IDSOLVER=3086 FILE ID=nodeC033/4460220-1722064839 RUNJOBID= nodeC033-1722064836-316998 SLURM_JOB_ID= 8248101 Free space on /tmp= 890052 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460220-1722064839/watcher-4460220-1722064839 -o /tmp/evaluation-result-4460220-1722064839/solver-4460220-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-316998 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460220-1722064839 --lp-cut-gomory=0 HOME/instance-4460220-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6 RANDOM SEED=1859590444 nodeC033.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 : 3660.505 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.99 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 : 3635.202 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 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 : 3605.864 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.99 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 : 3666.717 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 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 : 3658.291 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.99 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 : 3666.196 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 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 : 3638.565 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.99 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 : 3601.837 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125687192 kB MemAvailable: 129638580 kB Buffers: 370532 kB Cached: 4378956 kB SwapCached: 300 kB Active: 2595520 kB Inactive: 2579112 kB Active(anon): 2184 kB Inactive(anon): 476072 kB Active(file): 2593336 kB Inactive(file): 2103040 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131055836 kB Dirty: 48580 kB Writeback: 0 kB AnonPages: 425076 kB Mapped: 118584 kB Shmem: 53064 kB KReclaimable: 189672 kB Slab: 307508 kB SReclaimable: 189672 kB SUnreclaim: 117836 kB KernelStack: 4100 kB PageTables: 10200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 819912 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 391892 kB DirectMap2M: 39227392 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 890056 MiB End job on nodeC033 at 2024-07-27 10:20:54