| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.05 | 3616.95 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-ns903616.0.u.opb |
| MD5SUM | 851dd7bb62635ec66e2461b484912a91 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 21582 |
| Total number of constraints | 17547 |
| Number of constraints which are clauses | 6313 |
| Number of constraints which are cardinality constraints (but not clauses) | 344 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10890 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 221 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 18 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 221 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.09 c #variables 21582 #constraints 19721 82.40/82.78 c #Conflicts: 1000 | #Constraints: 20720 82.40/82.78 c #Conflicts: 2000 | #Constraints: 21720 82.40/82.78 c INPROCESSING 82.40/82.78 c GARBAGE COLLECT 82.40/82.78 c #Conflicts: 3000 | #Constraints: 18847 82.40/82.78 c #Conflicts: 4000 | #Constraints: 19847 82.40/82.78 c INPROCESSING 82.40/82.78 c GARBAGE COLLECT 82.40/82.78 c #Conflicts: 5000 | #Constraints: 17833 82.40/82.78 c #Conflicts: 6000 | #Constraints: 18833 82.40/82.78 c INPROCESSING 82.40/82.78 c GARBAGE COLLECT 82.40/82.78 c #Conflicts: 7000 | #Constraints: 17867 82.40/82.78 c #Conflicts: 8000 | #Constraints: 18867 82.40/82.78 c #Conflicts: 9000 | #Constraints: 19867 82.40/82.78 c INPROCESSING 82.40/82.78 c GARBAGE COLLECT 82.40/82.78 c #Conflicts: 10000 | #Constraints: 18593 82.40/82.78 c #Conflicts: 11000 | #Constraints: 19593 82.40/82.78 c #Conflicts: 12000 | #Constraints: 20593 82.40/82.78 c INPROCESSING 82.40/82.78 c GARBAGE COLLECT 82.40/82.78 c #Conflicts: 13000 | #Constraints: 19064 82.40/82.78 c #Conflicts: 14000 | #Constraints: 20064 82.40/82.78 c #Conflicts: 15000 | #Constraints: 21064 82.40/82.78 c INPROCESSING 82.40/82.78 c GARBAGE COLLECT 82.40/82.78 c #Conflicts: 16000 | #Constraints: 19302 82.40/82.78 c #Conflicts: 17000 | #Constraints: 20302 82.40/82.78 c #Conflicts: 18000 | #Constraints: 21302 82.40/82.78 c INPROCESSING 82.40/82.78 c GARBAGE COLLECT 82.40/82.78 c #Conflicts: 19000 | #Constraints: 19350 82.40/82.78 c #Conflicts: 20000 | #Constraints: 20350 82.40/82.78 c #Conflicts: 21000 | #Constraints: 21350 82.40/82.78 c INPROCESSING 82.40/82.78 c GARBAGE COLLECT 82.40/82.78 c #Conflicts: 22000 | #Constraints: 19175 82.40/82.78 c #Conflicts: 23000 | #Constraints: 20175 82.40/82.78 c #Conflicts: 24000 | #Constraints: 21175 82.40/82.78 c #Conflicts: 25000 | #Constraints: 22175 82.40/82.78 c INPROCESSING 82.40/82.78 c GARBAGE COLLECT 82.40/82.78 c rational objective 2142.8 156.14/156.73 c #Conflicts: 26000 | #Constraints: 19782 156.14/156.73 c #Conflicts: 27000 | #Constraints: 20782 156.14/156.73 c #Conflicts: 28000 | #Constraints: 21782 156.14/156.73 c #Conflicts: 29000 | #Constraints: 22782 156.14/156.73 c INPROCESSING 156.14/156.73 c GARBAGE COLLECT 156.14/156.73 c #Conflicts: 30000 | #Constraints: 20206 156.14/156.73 c #Conflicts: 31000 | #Constraints: 21206 156.14/156.73 c #Conflicts: 32000 | #Constraints: 22207 156.14/156.73 c #Conflicts: 33000 | #Constraints: 23207 156.14/156.73 c INPROCESSING 156.14/156.73 c GARBAGE COLLECT 156.14/156.73 c #Conflicts: 34000 | #Constraints: 20416 156.14/156.73 c #Conflicts: 35000 | #Constraints: 21416 156.14/156.73 c #Conflicts: 36000 | #Constraints: 22416 156.14/156.73 c #Conflicts: 37000 | #Constraints: 23416 156.14/156.73 c INPROCESSING 156.14/156.73 c GARBAGE COLLECT 156.14/156.73 c #Conflicts: 38000 | #Constraints: 20471 156.14/156.73 c #Conflicts: 39000 | #Constraints: 21471 156.14/156.73 c #Conflicts: 40000 | #Constraints: 22471 156.14/156.73 c #Conflicts: 41000 | #Constraints: 23472 156.14/156.73 c INPROCESSING 156.14/156.73 c GARBAGE COLLECT 156.14/156.73 c #Conflicts: 42000 | #Constraints: 20264 156.14/156.73 c #Conflicts: 43000 | #Constraints: 21265 156.14/156.73 c #Conflicts: 44000 | #Constraints: 22266 156.14/156.73 c #Conflicts: 45000 | #Constraints: 23266 156.14/156.73 c #Conflicts: 46000 | #Constraints: 24266 156.14/156.73 c INPROCESSING 156.14/156.73 c GARBAGE COLLECT 156.14/156.73 c rational objective 2146.18 174.97/175.64 c #Conflicts: 47000 | #Constraints: 20857 174.97/175.64 c #Conflicts: 48000 | #Constraints: 21857 174.97/175.64 c #Conflicts: 49000 | #Constraints: 22857 174.97/175.64 c #Conflicts: 50000 | #Constraints: 23857 174.97/175.64 c #Conflicts: 51000 | #Constraints: 24857 174.97/175.64 c INPROCESSING 174.97/175.64 c GARBAGE COLLECT 174.97/175.64 c #Conflicts: 52000 | #Constraints: 21315 174.97/175.64 c #Conflicts: 53000 | #Constraints: 22315 174.97/175.64 c #Conflicts: 54000 | #Constraints: 23315 174.97/175.64 c #Conflicts: 55000 | #Constraints: 24315 174.97/175.64 c #Conflicts: 56000 | #Constraints: 25315 174.97/175.64 c INPROCESSING 174.97/175.64 c GARBAGE COLLECT 174.97/175.64 c rational objective 2155.03 314.12/315.33 c #Conflicts: 57000 | #Constraints: 21526 314.12/315.33 c #Conflicts: 58000 | #Constraints: 22526 314.12/315.33 c #Conflicts: 59000 | #Constraints: 23526 314.12/315.33 c #Conflicts: 60000 | #Constraints: 24526 314.12/315.33 c #Conflicts: 61000 | #Constraints: 25526 314.12/315.33 c INPROCESSING 314.12/315.33 c GARBAGE COLLECT 314.12/315.33 c #Conflicts: 62000 | #Constraints: 21573 314.12/315.33 c #Conflicts: 63000 | #Constraints: 22574 314.12/315.33 c #Conflicts: 64000 | #Constraints: 23574 314.12/315.33 c #Conflicts: 65000 | #Constraints: 24574 314.12/315.33 c #Conflicts: 66000 | #Constraints: 25575 314.12/315.33 c INPROCESSING 314.12/315.33 c GARBAGE COLLECT 314.12/315.33 c #Conflicts: 67000 | #Constraints: 21357 314.12/315.33 c #Conflicts: 68000 | #Constraints: 22357 314.12/315.33 c #Conflicts: 69000 | #Constraints: 23357 314.12/315.33 c #Conflicts: 70000 | #Constraints: 24357 314.12/315.33 c #Conflicts: 71000 | #Constraints: 25357 314.12/315.33 c #Conflicts: 72000 | #Constraints: 26357 314.12/315.33 c INPROCESSING 314.12/315.33 c GARBAGE COLLECT 314.12/315.33 c #Conflicts: 73000 | #Constraints: 21951 314.12/315.33 c #Conflicts: 74000 | #Constraints: 22951 314.12/315.33 c #Conflicts: 75000 | #Constraints: 23951 314.12/315.33 c #Conflicts: 76000 | #Constraints: 24951 314.12/315.33 c #Conflicts: 77000 | #Constraints: 25952 314.12/315.33 c #Conflicts: 78000 | #Constraints: 26952 314.12/315.33 c INPROCESSING 314.12/315.33 c GARBAGE COLLECT 314.12/315.33 c #Conflicts: 79000 | #Constraints: 22377 314.12/315.33 c #Conflicts: 80000 | #Constraints: 23377 314.12/315.33 c #Conflicts: 81000 | #Constraints: 24377 314.12/315.33 c #Conflicts: 82000 | #Constraints: 25377 314.12/315.33 c #Conflicts: 83000 | #Constraints: 26377 314.12/315.33 c #Conflicts: 84000 | #Constraints: 27377 314.12/315.33 c INPROCESSING 314.12/315.33 c GARBAGE COLLECT 314.12/315.33 c #Conflicts: 85000 | #Constraints: 22622 314.12/315.33 c #Conflicts: 86000 | #Constraints: 23622 314.12/315.33 c #Conflicts: 87000 | #Constraints: 24622 314.12/315.33 c #Conflicts: 88000 | #Constraints: 25622 314.12/315.33 c #Conflicts: 89000 | #Constraints: 26622 314.12/315.33 c #Conflicts: 90000 | #Constraints: 27623 314.12/315.33 c INPROCESSING 314.12/315.33 c GARBAGE COLLECT 314.12/315.33 c #Conflicts: 91000 | #Constraints: 22626 314.12/315.33 c #Conflicts: 92000 | #Constraints: 23626 314.12/315.33 c #Conflicts: 93000 | #Constraints: 24626 314.12/315.33 c #Conflicts: 94000 | #Constraints: 25626 314.12/315.33 c #Conflicts: 95000 | #Constraints: 26626 314.12/315.33 c #Conflicts: 96000 | #Constraints: 27626 314.12/315.33 c INPROCESSING 314.12/315.33 c GARBAGE COLLECT 314.12/315.33 c rational objective 2160.35 394.19/395.70 c #Conflicts: 97000 | #Constraints: 22439 394.19/395.70 c #Conflicts: 98000 | #Constraints: 23439 394.19/395.70 c #Conflicts: 99000 | #Constraints: 24439 394.19/395.70 c #Conflicts: 100000 | #Constraints: 25439 394.19/395.70 c #Conflicts: 101000 | #Constraints: 26440 394.19/395.70 c #Conflicts: 102000 | #Constraints: 27440 394.19/395.70 c #Conflicts: 103000 | #Constraints: 28440 394.19/395.70 c INPROCESSING 394.19/395.70 c GARBAGE COLLECT 394.19/395.70 c #Conflicts: 104000 | #Constraints: 23058 394.19/395.70 c #Conflicts: 105000 | #Constraints: 24058 394.19/395.70 c #Conflicts: 106000 | #Constraints: 25058 394.19/395.70 c #Conflicts: 107000 | #Constraints: 26058 394.19/395.70 c #Conflicts: 108000 | #Constraints: 27058 394.19/395.70 c #Conflicts: 109000 | #Constraints: 28058 394.19/395.70 c #Conflicts: 110000 | #Constraints: 29058 394.19/395.70 c INPROCESSING 394.19/395.70 c GARBAGE COLLECT 394.19/395.70 c #Conflicts: 111000 | #Constraints: 23454 394.19/395.70 c #Conflicts: 112000 | #Constraints: 24454 394.19/395.70 c #Conflicts: 113000 | #Constraints: 25454 394.19/395.70 c #Conflicts: 114000 | #Constraints: 26454 394.19/395.70 c #Conflicts: 115000 | #Constraints: 27454 394.19/395.70 c #Conflicts: 116000 | #Constraints: 28454 394.19/395.70 c #Conflicts: 117000 | #Constraints: 29454 394.19/395.70 c INPROCESSING 394.19/395.70 c GARBAGE COLLECT 394.19/395.70 c #Conflicts: 118000 | #Constraints: 23682 394.19/395.70 c #Conflicts: 119000 | #Constraints: 24682 394.19/395.70 c #Conflicts: 120000 | #Constraints: 25682 394.19/395.70 c #Conflicts: 121000 | #Constraints: 26682 394.19/395.70 c #Conflicts: 122000 | #Constraints: 27682 394.19/395.70 c #Conflicts: 123000 | #Constraints: 28682 394.19/395.70 c #Conflicts: 124000 | #Constraints: 29682 394.19/395.70 c INPROCESSING 394.19/395.70 c GARBAGE COLLECT 394.19/395.70 c rational objective 2161.99 446.07/447.89 c #Conflicts: 125000 | #Constraints: 23685 446.07/447.89 c #Conflicts: 126000 | #Constraints: 24685 446.07/447.89 c #Conflicts: 127000 | #Constraints: 25685 446.07/447.89 c #Conflicts: 128000 | #Constraints: 26685 446.07/447.89 c #Conflicts: 129000 | #Constraints: 27685 446.07/447.89 c #Conflicts: 130000 | #Constraints: 28685 446.07/447.89 c #Conflicts: 131000 | #Constraints: 29685 446.07/447.89 c INPROCESSING 446.07/447.89 c GARBAGE COLLECT 446.07/447.89 c #Conflicts: 132000 | #Constraints: 23497 446.07/447.89 c #Conflicts: 133000 | #Constraints: 24497 446.07/447.89 c #Conflicts: 134000 | #Constraints: 25497 446.07/447.89 c #Conflicts: 135000 | #Constraints: 26497 446.07/447.89 c #Conflicts: 136000 | #Constraints: 27497 446.07/447.89 c #Conflicts: 137000 | #Constraints: 28497 446.07/447.89 c #Conflicts: 138000 | #Constraints: 29497 446.07/447.89 c #Conflicts: 139000 | #Constraints: 30497 446.07/447.89 c INPROCESSING 446.07/447.89 c GARBAGE COLLECT 446.07/447.89 c rational objective 2172.56 496.76/498.73 c #Conflicts: 140000 | #Constraints: 24147 496.76/498.73 c #Conflicts: 141000 | #Constraints: 25147 496.76/498.73 c #Conflicts: 142000 | #Constraints: 26147 496.76/498.73 c #Conflicts: 143000 | #Constraints: 27147 496.76/498.73 c #Conflicts: 144000 | #Constraints: 28147 496.76/498.73 c #Conflicts: 145000 | #Constraints: 29147 496.76/498.73 c #Conflicts: 146000 | #Constraints: 30147 496.76/498.73 c #Conflicts: 147000 | #Constraints: 31147 496.76/498.73 c INPROCESSING 496.76/498.73 c GARBAGE COLLECT 496.76/498.73 c #Conflicts: 148000 | #Constraints: 24584 496.76/498.73 c #Conflicts: 149000 | #Constraints: 25584 496.76/498.73 c #Conflicts: 150000 | #Constraints: 26585 496.76/498.73 c #Conflicts: 151000 | #Constraints: 27585 496.76/498.73 c #Conflicts: 152000 | #Constraints: 28585 496.76/498.73 c #Conflicts: 153000 | #Constraints: 29585 496.76/498.73 c #Conflicts: 154000 | #Constraints: 30585 496.76/498.73 c #Conflicts: 155000 | #Constraints: 31585 496.76/498.73 c INPROCESSING 496.76/498.73 c GARBAGE COLLECT 496.76/498.73 c rational objective 2186.13 576.37/578.61 c #Conflicts: 156000 | #Constraints: 24796 576.37/578.61 c #Conflicts: 157000 | #Constraints: 25796 576.37/578.61 c #Conflicts: 158000 | #Constraints: 26796 576.37/578.61 c #Conflicts: 159000 | #Constraints: 27796 576.37/578.61 c #Conflicts: 160000 | #Constraints: 28796 576.37/578.61 c #Conflicts: 161000 | #Constraints: 29796 576.37/578.61 c #Conflicts: 162000 | #Constraints: 30797 576.37/578.61 c #Conflicts: 163000 | #Constraints: 31797 576.37/578.61 c INPROCESSING 576.37/578.61 c GARBAGE COLLECT 576.37/578.61 c #Conflicts: 164000 | #Constraints: 24825 576.37/578.61 c #Conflicts: 165000 | #Constraints: 25825 576.37/578.61 c #Conflicts: 166000 | #Constraints: 26825 576.37/578.61 c #Conflicts: 167000 | #Constraints: 27825 576.37/578.61 c #Conflicts: 168000 | #Constraints: 28825 576.37/578.61 c #Conflicts: 169000 | #Constraints: 29825 576.37/578.61 c #Conflicts: 170000 | #Constraints: 30825 576.37/578.61 c #Conflicts: 171000 | #Constraints: 31825 576.37/578.61 c INPROCESSING 576.37/578.61 c GARBAGE COLLECT 576.37/578.61 c #Conflicts: 172000 | #Constraints: 24625 576.37/578.61 c #Conflicts: 173000 | #Constraints: 25625 576.37/578.61 c #Conflicts: 174000 | #Constraints: 26625 576.37/578.61 c #Conflicts: 175000 | #Constraints: 27625 576.37/578.61 c #Conflicts: 176000 | #Constraints: 28625 576.37/578.61 c #Conflicts: 177000 | #Constraints: 29625 576.37/578.61 c #Conflicts: 178000 | #Constraints: 30625 576.37/578.61 c #Conflicts: 179000 | #Constraints: 31625 576.37/578.61 c #Conflicts: 180000 | #Constraints: 32625 576.37/578.61 c INPROCESSING 576.37/578.61 c GARBAGE COLLECT 576.37/578.61 c rational objective 2199.95 617.77/620.24 c #Conflicts: 181000 | #Constraints: 25240 617.77/620.24 c #Conflicts: 182000 | #Constraints: 26240 617.77/620.24 c #Conflicts: 183000 | #Constraints: 27240 617.77/620.24 c #Conflicts: 184000 | #Constraints: 28240 617.77/620.24 c #Conflicts: 185000 | #Constraints: 29240 617.77/620.24 c #Conflicts: 186000 | #Constraints: 30240 617.77/620.24 c #Conflicts: 187000 | #Constraints: 31240 617.77/620.24 c #Conflicts: 188000 | #Constraints: 32240 617.77/620.24 c #Conflicts: 189000 | #Constraints: 33240 617.77/620.24 c INPROCESSING 617.77/620.24 c GARBAGE COLLECT 617.77/620.24 c #Conflicts: 190000 | #Constraints: 25651 617.77/620.24 c #Conflicts: 191000 | #Constraints: 26651 617.77/620.24 c #Conflicts: 192000 | #Constraints: 27651 617.77/620.24 c #Conflicts: 193000 | #Constraints: 28651 617.77/620.24 c #Conflicts: 194000 | #Constraints: 29652 617.77/620.24 c #Conflicts: 195000 | #Constraints: 30652 617.77/620.24 c #Conflicts: 196000 | #Constraints: 31652 617.77/620.24 c #Conflicts: 197000 | #Constraints: 32653 617.77/620.24 c #Conflicts: 198000 | #Constraints: 33653 617.77/620.24 c INPROCESSING 617.77/620.24 c GARBAGE COLLECT 617.77/620.24 c rational objective 2201.56 673.06/675.74 c #Conflicts: 199000 | #Constraints: 25855 673.06/675.74 c #Conflicts: 200000 | #Constraints: 26855 673.06/675.74 c #Conflicts: 201000 | #Constraints: 27855 673.06/675.74 c #Conflicts: 202000 | #Constraints: 28856 673.06/675.74 c #Conflicts: 203000 | #Constraints: 29856 673.06/675.74 c #Conflicts: 204000 | #Constraints: 30856 673.06/675.74 c #Conflicts: 205000 | #Constraints: 31856 673.06/675.74 c #Conflicts: 206000 | #Constraints: 32856 673.06/675.74 c #Conflicts: 207000 | #Constraints: 33856 673.06/675.74 c INPROCESSING 673.06/675.74 c GARBAGE COLLECT 673.06/675.74 c #Conflicts: 208000 | #Constraints: 25856 673.06/675.74 c #Conflicts: 209000 | #Constraints: 26856 673.06/675.74 c #Conflicts: 210000 | #Constraints: 27856 673.06/675.74 c #Conflicts: 211000 | #Constraints: 28856 673.06/675.74 c #Conflicts: 212000 | #Constraints: 29856 673.06/675.74 c #Conflicts: 213000 | #Constraints: 30856 673.06/675.74 c #Conflicts: 214000 | #Constraints: 31856 673.06/675.74 c #Conflicts: 215000 | #Constraints: 32856 673.06/675.74 c #Conflicts: 216000 | #Constraints: 33856 673.06/675.74 c INPROCESSING 673.06/675.74 c GARBAGE COLLECT 673.06/675.74 c rational objective 2206.09 756.06/759.03 c #Conflicts: 217000 | #Constraints: 25730 756.06/759.03 c #Conflicts: 218000 | #Constraints: 26730 756.06/759.03 c #Conflicts: 219000 | #Constraints: 27731 756.06/759.03 c #Conflicts: 220000 | #Constraints: 28731 756.06/759.03 c #Conflicts: 221000 | #Constraints: 29731 756.06/759.03 c #Conflicts: 222000 | #Constraints: 30731 756.06/759.03 c #Conflicts: 223000 | #Constraints: 31731 756.06/759.03 c #Conflicts: 224000 | #Constraints: 32731 756.06/759.03 c #Conflicts: 225000 | #Constraints: 33731 756.06/759.03 c #Conflicts: 226000 | #Constraints: 34731 756.06/759.03 c INPROCESSING 756.06/759.03 c GARBAGE COLLECT 756.06/759.03 c #Conflicts: 227000 | #Constraints: 26360 756.06/759.03 c #Conflicts: 228000 | #Constraints: 27360 756.06/759.03 c #Conflicts: 229000 | #Constraints: 28360 756.06/759.03 c #Conflicts: 230000 | #Constraints: 29360 756.06/759.03 c #Conflicts: 231000 | #Constraints: 30360 756.06/759.03 c #Conflicts: 232000 | #Constraints: 31360 756.06/759.03 c #Conflicts: 233000 | #Constraints: 32360 756.06/759.03 c #Conflicts: 234000 | #Constraints: 33360 756.06/759.03 c #Conflicts: 235000 | #Constraints: 34360 756.06/759.03 c #Conflicts: 236000 | #Constraints: 35360 756.06/759.03 c INPROCESSING 756.06/759.03 c GARBAGE COLLECT 756.06/759.03 c rational objective 2208.15 810.74/813.94 c #Conflicts: 237000 | #Constraints: 26712 810.74/813.94 c #Conflicts: 238000 | #Constraints: 27712 810.74/813.94 c #Conflicts: 239000 | #Constraints: 28712 810.74/813.94 c #Conflicts: 240000 | #Constraints: 29712 810.74/813.94 c #Conflicts: 241000 | #Constraints: 30712 810.74/813.94 c #Conflicts: 242000 | #Constraints: 31712 810.74/813.94 c #Conflicts: 243000 | #Constraints: 32712 810.74/813.94 c #Conflicts: 244000 | #Constraints: 33712 810.74/813.94 c #Conflicts: 245000 | #Constraints: 34712 810.74/813.94 c #Conflicts: 246000 | #Constraints: 35712 810.74/813.94 c INPROCESSING 810.74/813.94 c GARBAGE COLLECT 810.74/813.94 c rational objective 2209.47 935.97/939.68 c #Conflicts: 247000 | #Constraints: 26851 935.97/939.68 c #Conflicts: 248000 | #Constraints: 27851 935.97/939.68 c #Conflicts: 249000 | #Constraints: 28851 935.97/939.68 c #Conflicts: 250000 | #Constraints: 29851 935.97/939.68 c #Conflicts: 251000 | #Constraints: 30851 935.97/939.68 c #Conflicts: 252000 | #Constraints: 31851 935.97/939.68 c #Conflicts: 253000 | #Constraints: 32851 935.97/939.68 c #Conflicts: 254000 | #Constraints: 33851 935.97/939.68 c #Conflicts: 255000 | #Constraints: 34851 935.97/939.68 c #Conflicts: 256000 | #Constraints: 35852 935.97/939.68 c INPROCESSING 935.97/939.68 c GARBAGE COLLECT 935.97/939.68 c #Conflicts: 257000 | #Constraints: 26878 935.97/939.68 c #Conflicts: 258000 | #Constraints: 27878 935.97/939.68 c #Conflicts: 259000 | #Constraints: 28878 935.97/939.68 c #Conflicts: 260000 | #Constraints: 29878 935.97/939.68 c #Conflicts: 261000 | #Constraints: 30878 935.97/939.68 c #Conflicts: 262000 | #Constraints: 31878 935.97/939.68 c #Conflicts: 263000 | #Constraints: 32878 935.97/939.68 c #Conflicts: 264000 | #Constraints: 33878 935.97/939.68 c #Conflicts: 265000 | #Constraints: 34878 935.97/939.68 c #Conflicts: 266000 | #Constraints: 35878 935.97/939.68 c INPROCESSING 935.97/939.68 c GARBAGE COLLECT 935.97/939.68 c #Conflicts: 267000 | #Constraints: 26695 935.97/939.68 c #Conflicts: 268000 | #Constraints: 27695 935.97/939.68 c #Conflicts: 269000 | #Constraints: 28695 935.97/939.68 c #Conflicts: 270000 | #Constraints: 29695 935.97/939.68 c #Conflicts: 271000 | #Constraints: 30695 935.97/939.68 c #Conflicts: 272000 | #Constraints: 31696 935.97/939.68 c #Conflicts: 273000 | #Constraints: 32696 935.97/939.68 c #Conflicts: 274000 | #Constraints: 33697 935.97/939.68 c #Conflicts: 275000 | #Constraints: 34697 935.97/939.68 c #Conflicts: 276000 | #Constraints: 35698 935.97/939.68 c #Conflicts: 277000 | #Constraints: 36698 935.97/939.68 c INPROCESSING 935.97/939.68 c GARBAGE COLLECT 935.97/939.68 c #Conflicts: 278000 | #Constraints: 27251 935.97/939.68 c #Conflicts: 279000 | #Constraints: 28251 935.97/939.68 c #Conflicts: 280000 | #Constraints: 29251 935.97/939.68 c #Conflicts: 281000 | #Constraints: 30251 935.97/939.68 c #Conflicts: 282000 | #Constraints: 31251 935.97/939.68 c #Conflicts: 283000 | #Constraints: 32251 935.97/939.68 c #Conflicts: 284000 | #Constraints: 33251 935.97/939.68 c #Conflicts: 285000 | #Constraints: 34251 935.97/939.68 c #Conflicts: 286000 | #Constraints: 35251 935.97/939.68 c #Conflicts: 287000 | #Constraints: 36251 935.97/939.68 c #Conflicts: 288000 | #Constraints: 37251 935.97/939.68 c INPROCESSING 935.97/939.68 c GARBAGE COLLECT 935.97/939.68 c rational objective 2213.81 1010.10/1014.08 c #Conflicts: 289000 | #Constraints: 27615 1010.10/1014.08 c #Conflicts: 290000 | #Constraints: 28615 1010.10/1014.08 c #Conflicts: 291000 | #Constraints: 29615 1010.10/1014.08 c #Conflicts: 292000 | #Constraints: 30615 1010.10/1014.08 c #Conflicts: 293000 | #Constraints: 31615 1010.10/1014.08 c #Conflicts: 294000 | #Constraints: 32615 1010.10/1014.08 c #Conflicts: 295000 | #Constraints: 33615 1010.10/1014.08 c #Conflicts: 296000 | #Constraints: 34615 1010.10/1014.08 c #Conflicts: 297000 | #Constraints: 35615 1010.10/1014.08 c #Conflicts: 298000 | #Constraints: 36615 1010.10/1014.08 c #Conflicts: 299000 | #Constraints: 37615 1010.10/1014.08 c INPROCESSING 1010.10/1014.08 c GARBAGE COLLECT 1010.10/1014.08 c #Conflicts: 300000 | #Constraints: 27900 1010.10/1014.08 c #Conflicts: 301000 | #Constraints: 28900 1010.10/1014.08 c #Conflicts: 302000 | #Constraints: 29900 1010.10/1014.08 c #Conflicts: 303000 | #Constraints: 30900 1010.10/1014.08 c #Conflicts: 304000 | #Constraints: 31900 1010.10/1014.08 c #Conflicts: 305000 | #Constraints: 32900 1010.10/1014.08 c #Conflicts: 306000 | #Constraints: 33900 1010.10/1014.08 c #Conflicts: 307000 | #Constraints: 34900 1010.10/1014.08 c #Conflicts: 308000 | #Constraints: 35900 1010.10/1014.08 c #Conflicts: 309000 | #Constraints: 36900 1010.10/1014.08 c #Conflicts: 310000 | #Constraints: 37900 1010.10/1014.08 c INPROCESSING 1010.10/1014.08 c GARBAGE COLLECT 1010.10/1014.08 c rational objective 2216.57 1055.32/1059.44 c #Conflicts: 311000 | #Constraints: 27929 1055.32/1059.44 c #Conflicts: 312000 | #Constraints: 28929 1055.32/1059.44 c #Conflicts: 313000 | #Constraints: 29929 1055.32/1059.44 c #Conflicts: 314000 | #Constraints: 30929 1055.32/1059.44 c #Conflicts: 315000 | #Constraints: 31929 1055.32/1059.44 c #Conflicts: 316000 | #Constraints: 32929 1055.32/1059.44 c #Conflicts: 317000 | #Constraints: 33930 1055.32/1059.44 c #Conflicts: 318000 | #Constraints: 34930 1055.32/1059.44 c #Conflicts: 319000 | #Constraints: 35930 1055.32/1059.44 c #Conflicts: 320000 | #Constraints: 36930 1055.32/1059.44 c #Conflicts: 321000 | #Constraints: 37930 1055.32/1059.44 c INPROCESSING 1055.32/1059.44 c GARBAGE COLLECT 1055.32/1059.44 c rational objective 2217.5 1137.60/1142.01 c #Conflicts: 322000 | #Constraints: 27679 1137.60/1142.01 c #Conflicts: 323000 | #Constraints: 28679 1137.60/1142.01 c #Conflicts: 324000 | #Constraints: 29679 1137.60/1142.01 c #Conflicts: 325000 | #Constraints: 30679 1137.60/1142.01 c #Conflicts: 326000 | #Constraints: 31679 1137.60/1142.01 c #Conflicts: 327000 | #Constraints: 32679 1137.60/1142.01 c #Conflicts: 328000 | #Constraints: 33679 1137.60/1142.01 c #Conflicts: 329000 | #Constraints: 34679 1137.60/1142.01 c #Conflicts: 330000 | #Constraints: 35680 1137.60/1142.01 c #Conflicts: 331000 | #Constraints: 36680 1137.60/1142.01 c #Conflicts: 332000 | #Constraints: 37680 1137.60/1142.01 c #Conflicts: 333000 | #Constraints: 38680 1137.60/1142.01 c INPROCESSING 1137.60/1142.01 c GARBAGE COLLECT 1137.60/1142.01 c #Conflicts: 334000 | #Constraints: 28233 1137.60/1142.01 c #Conflicts: 335000 | #Constraints: 29233 1137.60/1142.01 c #Conflicts: 336000 | #Constraints: 30233 1137.60/1142.01 c #Conflicts: 337000 | #Constraints: 31233 1137.60/1142.01 c #Conflicts: 338000 | #Constraints: 32233 1137.60/1142.01 c #Conflicts: 339000 | #Constraints: 33233 1137.60/1142.01 c #Conflicts: 340000 | #Constraints: 34234 1137.60/1142.01 c #Conflicts: 341000 | #Constraints: 35236 1137.60/1142.01 c #Conflicts: 342000 | #Constraints: 36236 1137.60/1142.01 c #Conflicts: 343000 | #Constraints: 37237 1137.60/1142.01 c #Conflicts: 344000 | #Constraints: 38237 1137.60/1142.01 c #Conflicts: 345000 | #Constraints: 39238 1137.60/1142.01 c INPROCESSING 1137.60/1142.01 c GARBAGE COLLECT 1137.60/1142.01 c rational objective 2222.22 1221.67/1226.48 c #Conflicts: 346000 | #Constraints: 28695 1221.67/1226.48 c #Conflicts: 347000 | #Constraints: 29695 1221.67/1226.48 c #Conflicts: 348000 | #Constraints: 30695 1221.67/1226.48 c #Conflicts: 349000 | #Constraints: 31695 1221.67/1226.48 c #Conflicts: 350000 | #Constraints: 32695 1221.67/1226.48 c #Conflicts: 351000 | #Constraints: 33695 1221.67/1226.48 c #Conflicts: 352000 | #Constraints: 34695 1221.67/1226.48 c #Conflicts: 353000 | #Constraints: 35695 1221.67/1226.48 c #Conflicts: 354000 | #Constraints: 36695 1221.67/1226.48 c #Conflicts: 355000 | #Constraints: 37695 1221.67/1226.48 c #Conflicts: 356000 | #Constraints: 38695 1221.67/1226.48 c #Conflicts: 357000 | #Constraints: 39695 1221.67/1226.48 c INPROCESSING 1221.67/1226.48 c GARBAGE COLLECT 1221.67/1226.48 c #Conflicts: 358000 | #Constraints: 28900 1221.67/1226.48 c #Conflicts: 359000 | #Constraints: 29900 1221.67/1226.48 c #Conflicts: 360000 | #Constraints: 30900 1221.67/1226.48 c #Conflicts: 361000 | #Constraints: 31900 1221.67/1226.48 c #Conflicts: 362000 | #Constraints: 32900 1221.67/1226.48 c #Conflicts: 363000 | #Constraints: 33900 1221.67/1226.48 c #Conflicts: 364000 | #Constraints: 34900 1221.67/1226.48 c #Conflicts: 365000 | #Constraints: 35900 1221.67/1226.48 c #Conflicts: 366000 | #Constraints: 36900 1221.67/1226.48 c #Conflicts: 367000 | #Constraints: 37900 1221.67/1226.48 c #Conflicts: 368000 | #Constraints: 38900 1221.67/1226.48 c #Conflicts: 369000 | #Constraints: 39900 1221.67/1226.48 c INPROCESSING 1221.67/1226.48 c GARBAGE COLLECT 1221.67/1226.48 c rational objective 2225.89 1267.99/1272.91 c #Conflicts: 370000 | #Constraints: 28952 1267.99/1272.91 c #Conflicts: 371000 | #Constraints: 29952 1267.99/1272.91 c #Conflicts: 372000 | #Constraints: 30952 1267.99/1272.91 c #Conflicts: 373000 | #Constraints: 31952 1267.99/1272.91 c #Conflicts: 374000 | #Constraints: 32953 1267.99/1272.91 c #Conflicts: 375000 | #Constraints: 33953 1267.99/1272.91 c #Conflicts: 376000 | #Constraints: 34953 1267.99/1272.91 c #Conflicts: 377000 | #Constraints: 35954 1267.99/1272.91 c #Conflicts: 378000 | #Constraints: 36954 1267.99/1272.91 c #Conflicts: 379000 | #Constraints: 37954 1267.99/1272.91 c #Conflicts: 380000 | #Constraints: 38954 1267.99/1272.91 c #Conflicts: 381000 | #Constraints: 39954 1267.99/1272.91 c INPROCESSING 1267.99/1272.91 c GARBAGE COLLECT 1267.99/1272.91 c rational objective 2226.53 1363.02/1368.38 c #Conflicts: 382000 | #Constraints: 28840 1363.02/1368.38 c #Conflicts: 383000 | #Constraints: 29841 1363.02/1368.38 c #Conflicts: 384000 | #Constraints: 30841 1363.02/1368.38 c #Conflicts: 385000 | #Constraints: 31841 1363.02/1368.38 c #Conflicts: 386000 | #Constraints: 32841 1363.02/1368.38 c #Conflicts: 387000 | #Constraints: 33841 1363.02/1368.38 c #Conflicts: 388000 | #Constraints: 34841 1363.02/1368.38 c #Conflicts: 389000 | #Constraints: 35841 1363.02/1368.38 c #Conflicts: 390000 | #Constraints: 36841 1363.02/1368.38 c #Conflicts: 391000 | #Constraints: 37841 1363.02/1368.38 c #Conflicts: 392000 | #Constraints: 38841 1363.02/1368.38 c #Conflicts: 393000 | #Constraints: 39841 1363.02/1368.38 c #Conflicts: 394000 | #Constraints: 40841 1363.02/1368.38 c INPROCESSING 1363.02/1368.38 c GARBAGE COLLECT 1363.02/1368.38 c #Conflicts: 395000 | #Constraints: 29480 1363.02/1368.38 c #Conflicts: 396000 | #Constraints: 30480 1363.02/1368.38 c #Conflicts: 397000 | #Constraints: 31480 1363.02/1368.38 c #Conflicts: 398000 | #Constraints: 32480 1363.02/1368.38 c #Conflicts: 399000 | #Constraints: 33480 1363.02/1368.38 c #Conflicts: 400000 | #Constraints: 34480 1363.02/1368.38 c #Conflicts: 401000 | #Constraints: 35480 1363.02/1368.38 c #Conflicts: 402000 | #Constraints: 36480 1363.02/1368.38 c #Conflicts: 403000 | #Constraints: 37480 1363.02/1368.38 c #Conflicts: 404000 | #Constraints: 38480 1363.02/1368.38 c #Conflicts: 405000 | #Constraints: 39480 1363.02/1368.38 c #Conflicts: 406000 | #Constraints: 40480 1363.02/1368.38 c #Conflicts: 407000 | #Constraints: 41480 1363.02/1368.38 c INPROCESSING 1363.02/1368.38 c GARBAGE COLLECT 1363.02/1368.38 c rational objective 2226.87 1458.94/1464.63 c #Conflicts: 408000 | #Constraints: 29793 1458.94/1464.63 c #Conflicts: 409000 | #Constraints: 30793 1458.94/1464.63 c #Conflicts: 410000 | #Constraints: 31793 1458.94/1464.63 c #Conflicts: 411000 | #Constraints: 32793 1458.94/1464.63 c #Conflicts: 412000 | #Constraints: 33793 1458.94/1464.63 c #Conflicts: 413000 | #Constraints: 34793 1458.94/1464.63 c #Conflicts: 414000 | #Constraints: 35793 1458.94/1464.63 c #Conflicts: 415000 | #Constraints: 36793 1458.94/1464.63 c #Conflicts: 416000 | #Constraints: 37793 1458.94/1464.63 c #Conflicts: 417000 | #Constraints: 38793 1458.94/1464.63 c #Conflicts: 418000 | #Constraints: 39793 1458.94/1464.63 c #Conflicts: 419000 | #Constraints: 40793 1458.94/1464.63 c #Conflicts: 420000 | #Constraints: 41793 1458.94/1464.63 c INPROCESSING 1458.94/1464.63 c GARBAGE COLLECT 1458.94/1464.63 c #Conflicts: 421000 | #Constraints: 29981 1458.94/1464.63 c #Conflicts: 422000 | #Constraints: 30981 1458.94/1464.63 c #Conflicts: 423000 | #Constraints: 31981 1458.94/1464.63 c #Conflicts: 424000 | #Constraints: 32981 1458.94/1464.63 c #Conflicts: 425000 | #Constraints: 33981 1458.94/1464.63 c #Conflicts: 426000 | #Constraints: 34981 1458.94/1464.63 c #Conflicts: 427000 | #Constraints: 35982 1458.94/1464.63 c #Conflicts: 428000 | #Constraints: 36982 1458.94/1464.63 c #Conflicts: 429000 | #Constraints: 37982 1458.94/1464.63 c #Conflicts: 430000 | #Constraints: 38983 1458.94/1464.63 c #Conflicts: 431000 | #Constraints: 39983 1458.94/1464.63 c #Conflicts: 432000 | #Constraints: 40984 1458.94/1464.63 c #Conflicts: 433000 | #Constraints: 41984 1458.94/1464.63 c INPROCESSING 1458.94/1464.63 c GARBAGE COLLECT 1458.94/1464.63 c rational objective 2232.92 1600.29/1606.59 c #Conflicts: 434000 | #Constraints: 29960 1600.29/1606.59 c #Conflicts: 435000 | #Constraints: 30961 1600.29/1606.59 c #Conflicts: 436000 | #Constraints: 31961 1600.29/1606.59 c #Conflicts: 437000 | #Constraints: 32961 1600.29/1606.59 c #Conflicts: 438000 | #Constraints: 33961 1600.29/1606.59 c #Conflicts: 439000 | #Constraints: 34962 1600.29/1606.59 c #Conflicts: 440000 | #Constraints: 35963 1600.29/1606.59 c #Conflicts: 441000 | #Constraints: 36964 1600.29/1606.59 c #Conflicts: 442000 | #Constraints: 37965 1600.29/1606.59 c #Conflicts: 443000 | #Constraints: 38969 1600.29/1606.59 c #Conflicts: 444000 | #Constraints: 39972 1600.29/1606.59 c #Conflicts: 445000 | #Constraints: 40972 1600.29/1606.59 c #Conflicts: 446000 | #Constraints: 41974 1600.29/1606.59 c INPROCESSING 1600.29/1606.59 c GARBAGE COLLECT 1600.29/1606.59 c #Conflicts: 447000 | #Constraints: 29736 1600.29/1606.59 c #Conflicts: 448000 | #Constraints: 30738 1600.29/1606.59 c #Conflicts: 449000 | #Constraints: 31742 1600.29/1606.59 c #Conflicts: 450000 | #Constraints: 32742 1600.29/1606.59 c #Conflicts: 451000 | #Constraints: 33742 1600.29/1606.59 c #Conflicts: 452000 | #Constraints: 34742 1600.29/1606.59 c #Conflicts: 453000 | #Constraints: 35742 1600.29/1606.60 c #Conflicts: 454000 | #Constraints: 36742 1600.29/1606.60 c #Conflicts: 455000 | #Constraints: 37742 1600.29/1606.60 c #Conflicts: 456000 | #Constraints: 38742 1600.29/1606.60 c #Conflicts: 457000 | #Constraints: 39744 1600.29/1606.60 c #Conflicts: 458000 | #Constraints: 40747 1600.29/1606.60 c #Conflicts: 459000 | #Constraints: 41748 1600.29/1606.60 c #Conflicts: 460000 | #Constraints: 42749 1600.29/1606.60 c INPROCESSING 1600.29/1606.60 c GARBAGE COLLECT 1600.29/1606.60 c rational objective 2234.02 1746.40/1753.23 c #Conflicts: 461000 | #Constraints: 30390 1746.40/1753.23 c #Conflicts: 462000 | #Constraints: 31390 1746.40/1753.23 c #Conflicts: 463000 | #Constraints: 32391 1746.40/1753.23 c #Conflicts: 464000 | #Constraints: 33391 1746.40/1753.23 c #Conflicts: 465000 | #Constraints: 34391 1746.40/1753.23 c #Conflicts: 466000 | #Constraints: 35393 1746.40/1753.23 c #Conflicts: 467000 | #Constraints: 36396 1746.40/1753.23 c #Conflicts: 468000 | #Constraints: 37401 1746.40/1753.23 c #Conflicts: 469000 | #Constraints: 38403 1746.40/1753.23 c #Conflicts: 470000 | #Constraints: 39403 1746.40/1753.23 c #Conflicts: 471000 | #Constraints: 40405 1746.40/1753.23 c #Conflicts: 472000 | #Constraints: 41406 1746.40/1753.23 c #Conflicts: 473000 | #Constraints: 42409 1746.40/1753.23 c #Conflicts: 474000 | #Constraints: 43410 1746.40/1753.23 c INPROCESSING 1746.40/1753.23 c GARBAGE COLLECT 1746.40/1753.23 c #Conflicts: 475000 | #Constraints: 30814 1746.40/1753.23 c #Conflicts: 476000 | #Constraints: 31814 1746.40/1753.23 c #Conflicts: 477000 | #Constraints: 32814 1746.40/1753.23 c #Conflicts: 478000 | #Constraints: 33814 1746.40/1753.23 c #Conflicts: 479000 | #Constraints: 34814 1746.40/1753.23 c #Conflicts: 480000 | #Constraints: 35814 1746.40/1753.23 c #Conflicts: 481000 | #Constraints: 36814 1746.40/1753.23 c #Conflicts: 482000 | #Constraints: 37815 1746.40/1753.23 c #Conflicts: 483000 | #Constraints: 38818 1746.40/1753.23 c #Conflicts: 484000 | #Constraints: 39821 1746.40/1753.23 c #Conflicts: 485000 | #Constraints: 40824 1746.40/1753.23 c #Conflicts: 486000 | #Constraints: 41827 1746.40/1753.23 c #Conflicts: 487000 | #Constraints: 42827 1746.40/1753.23 c #Conflicts: 488000 | #Constraints: 43827 1746.40/1753.23 c INPROCESSING 1746.40/1753.23 c GARBAGE COLLECT 1746.40/1753.23 c rational objective 2235.02 1889.17/1896.53 c #Conflicts: 489000 | #Constraints: 30983 1889.17/1896.53 c #Conflicts: 490000 | #Constraints: 31983 1889.17/1896.53 c #Conflicts: 491000 | #Constraints: 32983 1889.17/1896.53 c #Conflicts: 492000 | #Constraints: 33983 1889.17/1896.53 c #Conflicts: 493000 | #Constraints: 34984 1889.17/1896.53 c #Conflicts: 494000 | #Constraints: 35984 1889.17/1896.53 c #Conflicts: 495000 | #Constraints: 36984 1889.17/1896.53 c #Conflicts: 496000 | #Constraints: 37984 1889.17/1896.53 c #Conflicts: 497000 | #Constraints: 38984 1889.17/1896.53 c #Conflicts: 498000 | #Constraints: 39984 1889.17/1896.53 c #Conflicts: 499000 | #Constraints: 40984 1889.17/1896.53 c #Conflicts: 500000 | #Constraints: 41984 1889.17/1896.53 c #Conflicts: 501000 | #Constraints: 42984 1889.17/1896.53 c #Conflicts: 502000 | #Constraints: 43985 1889.17/1896.53 c INPROCESSING 1889.17/1896.53 c GARBAGE COLLECT 1889.17/1896.53 c #Conflicts: 503000 | #Constraints: 31011 1889.17/1896.53 c #Conflicts: 504000 | #Constraints: 32011 1889.17/1896.53 c #Conflicts: 505000 | #Constraints: 33011 1889.17/1896.53 c #Conflicts: 506000 | #Constraints: 34011 1889.17/1896.53 c #Conflicts: 507000 | #Constraints: 35011 1889.17/1896.53 c #Conflicts: 508000 | #Constraints: 36011 1889.17/1896.53 c #Conflicts: 509000 | #Constraints: 37012 1889.17/1896.53 c #Conflicts: 510000 | #Constraints: 38015 1889.17/1896.53 c #Conflicts: 511000 | #Constraints: 39017 1889.17/1896.53 c #Conflicts: 512000 | #Constraints: 40017 1889.17/1896.53 c #Conflicts: 513000 | #Constraints: 41017 1889.17/1896.53 c #Conflicts: 514000 | #Constraints: 42017 1889.17/1896.53 c #Conflicts: 515000 | #Constraints: 43017 1889.17/1896.53 c #Conflicts: 516000 | #Constraints: 44017 1889.17/1896.53 c INPROCESSING 1889.17/1896.53 c GARBAGE COLLECT 1889.17/1896.53 c rational objective 2235.37 2047.49/2055.43 c #Conflicts: 517000 | #Constraints: 30809 2047.49/2055.43 c #Conflicts: 518000 | #Constraints: 31809 2047.49/2055.43 c #Conflicts: 519000 | #Constraints: 32809 2047.49/2055.43 c #Conflicts: 520000 | #Constraints: 33810 2047.49/2055.43 c #Conflicts: 521000 | #Constraints: 34810 2047.49/2055.43 c #Conflicts: 522000 | #Constraints: 35810 2047.49/2055.43 c #Conflicts: 523000 | #Constraints: 36810 2047.49/2055.43 c #Conflicts: 524000 | #Constraints: 37810 2047.49/2055.43 c #Conflicts: 525000 | #Constraints: 38810 2047.49/2055.43 c #Conflicts: 526000 | #Constraints: 39810 2047.49/2055.43 c #Conflicts: 527000 | #Constraints: 40810 2047.49/2055.43 c #Conflicts: 528000 | #Constraints: 41810 2047.49/2055.43 c #Conflicts: 529000 | #Constraints: 42810 2047.49/2055.43 c #Conflicts: 530000 | #Constraints: 43810 2047.49/2055.43 c #Conflicts: 531000 | #Constraints: 44810 2047.49/2055.43 c INPROCESSING 2047.49/2055.43 c GARBAGE COLLECT 2047.49/2055.43 c #Conflicts: 532000 | #Constraints: 31513 2047.49/2055.43 c #Conflicts: 533000 | #Constraints: 32513 2047.49/2055.43 c #Conflicts: 534000 | #Constraints: 33514 2047.49/2055.43 c #Conflicts: 535000 | #Constraints: 34514 2047.49/2055.43 c #Conflicts: 536000 | #Constraints: 35514 2047.49/2055.43 c #Conflicts: 537000 | #Constraints: 36514 2047.49/2055.43 c #Conflicts: 538000 | #Constraints: 37514 2047.49/2055.43 c #Conflicts: 539000 | #Constraints: 38514 2047.49/2055.43 c #Conflicts: 540000 | #Constraints: 39514 2047.49/2055.43 c #Conflicts: 541000 | #Constraints: 40514 2047.49/2055.43 c #Conflicts: 542000 | #Constraints: 41514 2047.49/2055.43 c #Conflicts: 543000 | #Constraints: 42514 2047.49/2055.43 c #Conflicts: 544000 | #Constraints: 43514 2047.49/2055.43 c #Conflicts: 545000 | #Constraints: 44514 2047.49/2055.43 c #Conflicts: 546000 | #Constraints: 45514 2047.49/2055.43 c INPROCESSING 2047.49/2055.43 c GARBAGE COLLECT 2047.49/2055.43 c rational objective 2239.75 2194.02/2202.57 c #Conflicts: 547000 | #Constraints: 31885 2194.02/2202.57 c #Conflicts: 548000 | #Constraints: 32885 2194.02/2202.57 c #Conflicts: 549000 | #Constraints: 33885 2194.02/2202.57 c #Conflicts: 550000 | #Constraints: 34885 2194.02/2202.57 c #Conflicts: 551000 | #Constraints: 35885 2194.02/2202.57 c #Conflicts: 552000 | #Constraints: 36885 2194.02/2202.57 c #Conflicts: 553000 | #Constraints: 37885 2194.02/2202.57 c #Conflicts: 554000 | #Constraints: 38885 2194.02/2202.57 c #Conflicts: 555000 | #Constraints: 39886 2194.02/2202.57 c #Conflicts: 556000 | #Constraints: 40886 2194.02/2202.57 c #Conflicts: 557000 | #Constraints: 41886 2194.02/2202.57 c #Conflicts: 558000 | #Constraints: 42886 2194.02/2202.57 c #Conflicts: 559000 | #Constraints: 43886 2194.02/2202.57 c #Conflicts: 560000 | #Constraints: 44886 2194.02/2202.57 c #Conflicts: 561000 | #Constraints: 45886 2194.02/2202.57 c INPROCESSING 2194.02/2202.57 c GARBAGE COLLECT 2194.02/2202.57 c #Conflicts: 562000 | #Constraints: 31993 2194.02/2202.57 c #Conflicts: 563000 | #Constraints: 32994 2194.02/2202.57 c #Conflicts: 564000 | #Constraints: 33994 2194.02/2202.57 c #Conflicts: 565000 | #Constraints: 34995 2194.02/2202.57 c #Conflicts: 566000 | #Constraints: 35995 2194.02/2202.57 c #Conflicts: 567000 | #Constraints: 36995 2194.02/2202.57 c #Conflicts: 568000 | #Constraints: 37995 2194.02/2202.57 c #Conflicts: 569000 | #Constraints: 38995 2194.02/2202.57 c #Conflicts: 570000 | #Constraints: 39995 2194.02/2202.57 c #Conflicts: 571000 | #Constraints: 40995 2194.02/2202.57 c #Conflicts: 572000 | #Constraints: 41995 2194.02/2202.57 c #Conflicts: 573000 | #Constraints: 42995 2194.02/2202.57 c #Conflicts: 574000 | #Constraints: 43995 2194.02/2202.57 c #Conflicts: 575000 | #Constraints: 44995 2194.02/2202.57 c #Conflicts: 576000 | #Constraints: 45995 2194.02/2202.57 c INPROCESSING 2194.02/2202.57 c GARBAGE COLLECT 2194.02/2202.57 c rational objective 2241.47 2266.47/2275.20 c #Conflicts: 577000 | #Constraints: 31954 2266.47/2275.20 c #Conflicts: 578000 | #Constraints: 32954 2266.47/2275.20 c #Conflicts: 579000 | #Constraints: 33954 2266.47/2275.20 c #Conflicts: 580000 | #Constraints: 34955 2266.47/2275.20 c #Conflicts: 581000 | #Constraints: 35955 2266.47/2275.20 c #Conflicts: 582000 | #Constraints: 36955 2266.47/2275.20 c #Conflicts: 583000 | #Constraints: 37955 2266.47/2275.20 c #Conflicts: 584000 | #Constraints: 38955 2266.47/2275.20 c #Conflicts: 585000 | #Constraints: 39955 2266.47/2275.20 c #Conflicts: 586000 | #Constraints: 40955 2266.47/2275.20 c #Conflicts: 587000 | #Constraints: 41955 2266.47/2275.20 c #Conflicts: 588000 | #Constraints: 42955 2266.47/2275.20 c #Conflicts: 589000 | #Constraints: 43955 2266.47/2275.20 c #Conflicts: 590000 | #Constraints: 44955 2266.47/2275.20 c #Conflicts: 591000 | #Constraints: 45955 2266.47/2275.20 c INPROCESSING 2266.47/2275.20 c GARBAGE COLLECT 2266.47/2275.20 c rational objective 2244.33 2344.50/2353.59 c #Conflicts: 592000 | #Constraints: 31774 2344.50/2353.59 c #Conflicts: 593000 | #Constraints: 32774 2344.50/2353.59 c #Conflicts: 594000 | #Constraints: 33774 2344.50/2353.59 c #Conflicts: 595000 | #Constraints: 34774 2344.50/2353.59 c #Conflicts: 596000 | #Constraints: 35774 2344.50/2353.59 c #Conflicts: 597000 | #Constraints: 36774 2344.50/2353.59 c #Conflicts: 598000 | #Constraints: 37774 2344.50/2353.59 c #Conflicts: 599000 | #Constraints: 38774 2344.50/2353.59 c #Conflicts: 600000 | #Constraints: 39774 2344.50/2353.59 c #Conflicts: 601000 | #Constraints: 40775 2344.50/2353.59 c #Conflicts: 602000 | #Constraints: 41775 2344.50/2353.59 c #Conflicts: 603000 | #Constraints: 42775 2344.50/2353.59 c #Conflicts: 604000 | #Constraints: 43775 2344.50/2353.59 c #Conflicts: 605000 | #Constraints: 44775 2344.50/2353.59 c #Conflicts: 606000 | #Constraints: 45776 2344.50/2353.59 c #Conflicts: 607000 | #Constraints: 46776 2344.50/2353.59 c INPROCESSING 2344.50/2353.59 c GARBAGE COLLECT 2344.50/2353.59 c rational objective 2245.8 2484.58/2494.19 c #Conflicts: 608000 | #Constraints: 32380 2484.58/2494.19 c #Conflicts: 609000 | #Constraints: 33380 2484.58/2494.19 c #Conflicts: 610000 | #Constraints: 34380 2484.58/2494.19 c #Conflicts: 611000 | #Constraints: 35381 2484.58/2494.19 c #Conflicts: 612000 | #Constraints: 36381 2484.58/2494.19 c #Conflicts: 613000 | #Constraints: 37382 2484.58/2494.19 c #Conflicts: 614000 | #Constraints: 38382 2484.58/2494.19 c #Conflicts: 615000 | #Constraints: 39382 2484.58/2494.19 c #Conflicts: 616000 | #Constraints: 40382 2484.58/2494.19 c #Conflicts: 617000 | #Constraints: 41383 2484.58/2494.19 c #Conflicts: 618000 | #Constraints: 42383 2484.58/2494.19 c #Conflicts: 619000 | #Constraints: 43383 2484.58/2494.19 c #Conflicts: 620000 | #Constraints: 44383 2484.58/2494.19 c #Conflicts: 621000 | #Constraints: 45383 2484.58/2494.19 c #Conflicts: 622000 | #Constraints: 46383 2484.58/2494.19 c #Conflicts: 623000 | #Constraints: 47383 2484.58/2494.19 c INPROCESSING 2484.58/2494.19 c GARBAGE COLLECT 2484.58/2494.19 c #Conflicts: 624000 | #Constraints: 32795 2484.58/2494.19 c #Conflicts: 625000 | #Constraints: 33795 2484.58/2494.19 c #Conflicts: 626000 | #Constraints: 34795 2484.58/2494.19 c #Conflicts: 627000 | #Constraints: 35795 2484.58/2494.19 c #Conflicts: 628000 | #Constraints: 36795 2484.58/2494.19 c #Conflicts: 629000 | #Constraints: 37795 2484.58/2494.19 c #Conflicts: 630000 | #Constraints: 38795 2484.58/2494.19 c #Conflicts: 631000 | #Constraints: 39796 2484.58/2494.19 c #Conflicts: 632000 | #Constraints: 40796 2484.58/2494.19 c #Conflicts: 633000 | #Constraints: 41796 2484.58/2494.19 c #Conflicts: 634000 | #Constraints: 42796 2484.58/2494.19 c #Conflicts: 635000 | #Constraints: 43796 2484.58/2494.19 c #Conflicts: 636000 | #Constraints: 44796 2484.58/2494.19 c #Conflicts: 637000 | #Constraints: 45796 2484.58/2494.19 c #Conflicts: 638000 | #Constraints: 46796 2484.58/2494.19 c #Conflicts: 639000 | #Constraints: 47796 2484.58/2494.19 c INPROCESSING 2484.58/2494.19 c GARBAGE COLLECT 2484.58/2494.19 c rational objective 2246.16 2637.19/2647.37 c #Conflicts: 640000 | #Constraints: 33052 2637.19/2647.37 c #Conflicts: 641000 | #Constraints: 34052 2637.19/2647.37 c #Conflicts: 642000 | #Constraints: 35053 2637.19/2647.37 c #Conflicts: 643000 | #Constraints: 36053 2637.19/2647.37 c #Conflicts: 644000 | #Constraints: 37053 2637.19/2647.37 c #Conflicts: 645000 | #Constraints: 38053 2637.19/2647.37 c #Conflicts: 646000 | #Constraints: 39053 2637.19/2647.37 c #Conflicts: 647000 | #Constraints: 40053 2637.19/2647.37 c #Conflicts: 648000 | #Constraints: 41053 2637.19/2647.37 c #Conflicts: 649000 | #Constraints: 42053 2637.19/2647.37 c #Conflicts: 650000 | #Constraints: 43053 2637.19/2647.37 c #Conflicts: 651000 | #Constraints: 44053 2637.19/2647.37 c #Conflicts: 652000 | #Constraints: 45053 2637.19/2647.37 c #Conflicts: 653000 | #Constraints: 46053 2637.19/2647.37 c #Conflicts: 654000 | #Constraints: 47053 2637.19/2647.37 c #Conflicts: 655000 | #Constraints: 48053 2637.19/2647.37 c INPROCESSING 2637.19/2647.37 c GARBAGE COLLECT 2637.19/2647.37 c #Conflicts: 656000 | #Constraints: 33134 2637.19/2647.37 c #Conflicts: 657000 | #Constraints: 34134 2637.19/2647.37 c #Conflicts: 658000 | #Constraints: 35135 2637.19/2647.37 c #Conflicts: 659000 | #Constraints: 36136 2637.19/2647.37 c #Conflicts: 660000 | #Constraints: 37137 2637.19/2647.37 c #Conflicts: 661000 | #Constraints: 38139 2637.19/2647.37 c #Conflicts: 662000 | #Constraints: 39139 2637.19/2647.37 c #Conflicts: 663000 | #Constraints: 40139 2637.19/2647.37 c #Conflicts: 664000 | #Constraints: 41143 2637.19/2647.37 c #Conflicts: 665000 | #Constraints: 42144 2637.19/2647.37 c #Conflicts: 666000 | #Constraints: 43144 2637.19/2647.37 c #Conflicts: 667000 | #Constraints: 44144 2637.19/2647.37 c #Conflicts: 668000 | #Constraints: 45144 2637.19/2647.37 c #Conflicts: 669000 | #Constraints: 46144 2637.19/2647.37 c #Conflicts: 670000 | #Constraints: 47144 2637.19/2647.37 c #Conflicts: 671000 | #Constraints: 48144 2637.19/2647.37 c INPROCESSING 2637.19/2647.37 c GARBAGE COLLECT 2637.19/2647.37 c rational objective 2247.53 2775.65/2786.31 c #Conflicts: 672000 | #Constraints: 32930 2775.65/2786.31 c #Conflicts: 673000 | #Constraints: 33930 2775.65/2786.31 c #Conflicts: 674000 | #Constraints: 34930 2775.65/2786.31 c #Conflicts: 675000 | #Constraints: 35931 2775.65/2786.31 c #Conflicts: 676000 | #Constraints: 36931 2775.65/2786.31 c #Conflicts: 677000 | #Constraints: 37931 2775.65/2786.31 c #Conflicts: 678000 | #Constraints: 38931 2775.65/2786.31 c #Conflicts: 679000 | #Constraints: 39931 2775.65/2786.31 c #Conflicts: 680000 | #Constraints: 40931 2775.65/2786.31 c #Conflicts: 681000 | #Constraints: 41931 2775.65/2786.31 c #Conflicts: 682000 | #Constraints: 42932 2775.65/2786.31 c #Conflicts: 683000 | #Constraints: 43932 2775.65/2786.31 c #Conflicts: 684000 | #Constraints: 44932 2775.65/2786.31 c #Conflicts: 685000 | #Constraints: 45932 2775.65/2786.31 c #Conflicts: 686000 | #Constraints: 46933 2775.65/2786.31 c #Conflicts: 687000 | #Constraints: 47933 2775.65/2786.31 c #Conflicts: 688000 | #Constraints: 48933 2775.65/2786.31 c INPROCESSING 2775.65/2786.31 c GARBAGE COLLECT 2775.65/2786.31 c rational objective 2247.74 2943.01/2954.31 c #Conflicts: 689000 | #Constraints: 33582 2943.01/2954.31 c #Conflicts: 690000 | #Constraints: 34582 2943.01/2954.31 c #Conflicts: 691000 | #Constraints: 35582 2943.01/2954.31 c #Conflicts: 692000 | #Constraints: 36582 2943.01/2954.31 c #Conflicts: 693000 | #Constraints: 37582 2943.01/2954.31 c #Conflicts: 694000 | #Constraints: 38582 2943.01/2954.31 c #Conflicts: 695000 | #Constraints: 39582 2943.01/2954.31 c #Conflicts: 696000 | #Constraints: 40582 2943.01/2954.31 c #Conflicts: 697000 | #Constraints: 41582 2943.01/2954.31 c #Conflicts: 698000 | #Constraints: 42582 2943.01/2954.31 c #Conflicts: 699000 | #Constraints: 43582 2943.01/2954.31 c #Conflicts: 700000 | #Constraints: 44582 2943.01/2954.31 c #Conflicts: 701000 | #Constraints: 45582 2943.01/2954.31 c #Conflicts: 702000 | #Constraints: 46582 2943.01/2954.31 c #Conflicts: 703000 | #Constraints: 47582 2943.01/2954.31 c #Conflicts: 704000 | #Constraints: 48582 2943.01/2954.31 c #Conflicts: 705000 | #Constraints: 49582 2943.01/2954.31 c INPROCESSING 2943.01/2954.31 c GARBAGE COLLECT 2943.01/2954.31 c #Conflicts: 706000 | #Constraints: 33836 2943.01/2954.31 c #Conflicts: 707000 | #Constraints: 34836 2943.01/2954.31 c #Conflicts: 708000 | #Constraints: 35836 2943.01/2954.31 c #Conflicts: 709000 | #Constraints: 36836 2943.01/2954.31 c #Conflicts: 710000 | #Constraints: 37836 2943.01/2954.31 c #Conflicts: 711000 | #Constraints: 38836 2943.01/2954.31 c #Conflicts: 712000 | #Constraints: 39836 2943.01/2954.31 c #Conflicts: 713000 | #Constraints: 40836 2943.01/2954.31 c #Conflicts: 714000 | #Constraints: 41836 2943.01/2954.31 c #Conflicts: 715000 | #Constraints: 42836 2943.01/2954.31 c #Conflicts: 716000 | #Constraints: 43837 2943.01/2954.31 c #Conflicts: 717000 | #Constraints: 44837 2943.01/2954.31 c #Conflicts: 718000 | #Constraints: 45837 2943.01/2954.31 c #Conflicts: 719000 | #Constraints: 46837 2943.01/2954.31 c #Conflicts: 720000 | #Constraints: 47837 2943.01/2954.31 c #Conflicts: 721000 | #Constraints: 48838 2943.01/2954.31 c #Conflicts: 722000 | #Constraints: 49838 2943.01/2954.31 c INPROCESSING 2943.01/2954.31 c GARBAGE COLLECT 2943.01/2954.31 c rational objective 2260.66 3117.83/3129.82 c #Conflicts: 723000 | #Constraints: 34068 3117.83/3129.82 c #Conflicts: 724000 | #Constraints: 35068 3117.83/3129.82 c #Conflicts: 725000 | #Constraints: 36068 3117.83/3129.82 c #Conflicts: 726000 | #Constraints: 37068 3117.83/3129.82 c #Conflicts: 727000 | #Constraints: 38068 3117.83/3129.82 c #Conflicts: 728000 | #Constraints: 39068 3117.83/3129.82 c #Conflicts: 729000 | #Constraints: 40068 3117.83/3129.82 c #Conflicts: 730000 | #Constraints: 41068 3117.83/3129.82 c #Conflicts: 731000 | #Constraints: 42068 3117.83/3129.82 c #Conflicts: 732000 | #Constraints: 43068 3117.83/3129.82 c #Conflicts: 733000 | #Constraints: 44068 3117.83/3129.82 c #Conflicts: 734000 | #Constraints: 45068 3117.83/3129.82 c #Conflicts: 735000 | #Constraints: 46068 3117.83/3129.82 c #Conflicts: 736000 | #Constraints: 47068 3117.83/3129.82 c #Conflicts: 737000 | #Constraints: 48068 3117.83/3129.82 c #Conflicts: 738000 | #Constraints: 49070 3117.83/3129.82 c #Conflicts: 739000 | #Constraints: 50074 3117.83/3129.82 c INPROCESSING 3117.83/3129.82 c GARBAGE COLLECT 3117.83/3129.82 c #Conflicts: 740000 | #Constraints: 34066 3117.83/3129.82 c #Conflicts: 741000 | #Constraints: 35066 3117.83/3129.82 c #Conflicts: 742000 | #Constraints: 36066 3117.83/3129.82 c #Conflicts: 743000 | #Constraints: 37066 3117.83/3129.82 c #Conflicts: 744000 | #Constraints: 38067 3117.83/3129.82 c #Conflicts: 745000 | #Constraints: 39067 3117.83/3129.82 c #Conflicts: 746000 | #Constraints: 40067 3117.83/3129.82 c #Conflicts: 747000 | #Constraints: 41067 3117.83/3129.82 c #Conflicts: 748000 | #Constraints: 42068 3117.83/3129.82 c #Conflicts: 749000 | #Constraints: 43068 3117.83/3129.82 c #Conflicts: 750000 | #Constraints: 44068 3117.83/3129.82 c #Conflicts: 751000 | #Constraints: 45069 3117.83/3129.82 c #Conflicts: 752000 | #Constraints: 46069 3117.83/3129.82 c #Conflicts: 753000 | #Constraints: 47070 3117.83/3129.82 c #Conflicts: 754000 | #Constraints: 48071 3117.83/3129.82 c #Conflicts: 755000 | #Constraints: 49072 3117.83/3129.82 c #Conflicts: 756000 | #Constraints: 50073 3117.83/3129.82 c INPROCESSING 3117.83/3129.82 c GARBAGE COLLECT 3117.83/3129.82 c rational objective 2260.68 3214.26/3226.63 c #Conflicts: 757000 | #Constraints: 33783 3214.26/3226.63 c #Conflicts: 758000 | #Constraints: 34783 3214.26/3226.63 c #Conflicts: 759000 | #Constraints: 35783 3214.26/3226.63 c #Conflicts: 760000 | #Constraints: 36783 3214.26/3226.63 c #Conflicts: 761000 | #Constraints: 37784 3214.26/3226.63 c #Conflicts: 762000 | #Constraints: 38784 3214.26/3226.63 c #Conflicts: 763000 | #Constraints: 39784 3214.26/3226.63 c #Conflicts: 764000 | #Constraints: 40784 3214.26/3226.63 c #Conflicts: 765000 | #Constraints: 41784 3214.26/3226.63 c #Conflicts: 766000 | #Constraints: 42784 3214.26/3226.63 c #Conflicts: 767000 | #Constraints: 43784 3214.26/3226.63 c #Conflicts: 768000 | #Constraints: 44784 3214.26/3226.63 c #Conflicts: 769000 | #Constraints: 45784 3214.26/3226.63 c #Conflicts: 770000 | #Constraints: 46784 3214.26/3226.63 c #Conflicts: 771000 | #Constraints: 47784 3214.26/3226.63 c #Conflicts: 772000 | #Constraints: 48784 3214.26/3226.63 c #Conflicts: 773000 | #Constraints: 49784 3214.26/3226.63 c #Conflicts: 774000 | #Constraints: 50785 3214.26/3226.63 c INPROCESSING 3214.26/3226.63 c GARBAGE COLLECT 3214.26/3226.63 c rational objective 2261.55 3423.24/3436.55 c #Conflicts: 775000 | #Constraints: 34447 3423.24/3436.55 c #Conflicts: 776000 | #Constraints: 35447 3423.24/3436.55 c #Conflicts: 777000 | #Constraints: 36447 3423.24/3436.55 c #Conflicts: 778000 | #Constraints: 37447 3423.24/3436.55 c #Conflicts: 779000 | #Constraints: 38447 3423.24/3436.55 c #Conflicts: 780000 | #Constraints: 39447 3423.24/3436.55 c #Conflicts: 781000 | #Constraints: 40448 3423.24/3436.55 c #Conflicts: 782000 | #Constraints: 41448 3423.24/3436.55 c #Conflicts: 783000 | #Constraints: 42449 3423.24/3436.55 c #Conflicts: 784000 | #Constraints: 43449 3423.24/3436.55 c #Conflicts: 785000 | #Constraints: 44449 3423.24/3436.55 c #Conflicts: 786000 | #Constraints: 45449 3423.24/3436.55 c #Conflicts: 787000 | #Constraints: 46450 3423.24/3436.55 c #Conflicts: 788000 | #Constraints: 47450 3423.24/3436.55 c #Conflicts: 789000 | #Constraints: 48450 3423.24/3436.55 c #Conflicts: 790000 | #Constraints: 49450 3423.24/3436.55 c #Conflicts: 791000 | #Constraints: 50450 3423.24/3436.55 c #Conflicts: 792000 | #Constraints: 51450 3423.24/3436.55 c INPROCESSING 3423.24/3436.55 c GARBAGE COLLECT 3423.24/3436.55 c #Conflicts: 793000 | #Constraints: 34873 3423.24/3436.55 c #Conflicts: 794000 | #Constraints: 35874 3423.24/3436.55 c #Conflicts: 795000 | #Constraints: 36874 3423.24/3436.55 c #Conflicts: 796000 | #Constraints: 37874 3423.24/3436.55 c #Conflicts: 797000 | #Constraints: 38875 3423.24/3436.55 c #Conflicts: 798000 | #Constraints: 39875 3423.24/3436.55 c #Conflicts: 799000 | #Constraints: 40875 3423.24/3436.55 c #Conflicts: 800000 | #Constraints: 41875 3423.24/3436.55 c #Conflicts: 801000 | #Constraints: 42875 3423.24/3436.55 c #Conflicts: 802000 | #Constraints: 43875 3423.24/3436.55 c #Conflicts: 803000 | #Constraints: 44875 3423.24/3436.55 c #Conflicts: 804000 | #Constraints: 45875 3423.24/3436.55 c #Conflicts: 805000 | #Constraints: 46876 3423.24/3436.55 c #Conflicts: 806000 | #Constraints: 47876 3423.24/3436.55 c #Conflicts: 807000 | #Constraints: 48876 3423.24/3436.55 c #Conflicts: 808000 | #Constraints: 49876 3423.24/3436.55 c #Conflicts: 809000 | #Constraints: 50876 3423.24/3436.55 c #Conflicts: 810000 | #Constraints: 51876 3423.24/3436.55 c INPROCESSING 3423.24/3436.55 c GARBAGE COLLECT 3423.24/3436.55 c rational objective 2262.34 3528.75/3542.56 c #Conflicts: 811000 | #Constraints: 35162 3528.75/3542.56 c #Conflicts: 812000 | #Constraints: 36162 3528.75/3542.56 c #Conflicts: 813000 | #Constraints: 37162 3528.75/3542.56 c #Conflicts: 814000 | #Constraints: 38162 3528.75/3542.56 c #Conflicts: 815000 | #Constraints: 39162 3528.75/3542.56 c #Conflicts: 816000 | #Constraints: 40162 3528.75/3542.56 c #Conflicts: 817000 | #Constraints: 41163 3528.75/3542.56 c #Conflicts: 818000 | #Constraints: 42164 3528.75/3542.56 c #Conflicts: 819000 | #Constraints: 43164 3528.75/3542.56 c #Conflicts: 820000 | #Constraints: 44164 3528.75/3542.56 c #Conflicts: 821000 | #Constraints: 45165 3528.75/3542.56 c #Conflicts: 822000 | #Constraints: 46165 3528.75/3542.56 c #Conflicts: 823000 | #Constraints: 47165 3528.75/3542.56 c #Conflicts: 824000 | #Constraints: 48165 3528.75/3542.56 c #Conflicts: 825000 | #Constraints: 49165 3528.75/3542.56 c #Conflicts: 826000 | #Constraints: 50165 3528.75/3542.56 c #Conflicts: 827000 | #Constraints: 51165 3528.75/3542.56 c #Conflicts: 828000 | #Constraints: 52165 3528.75/3542.56 c INPROCESSING 3528.75/3542.56 c GARBAGE COLLECT 3528.75/3542.56 c rational objective 2262.9
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 (63262 MiB free)
memory of node 1: 64473 MiB (63598 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463278-1722348167/watcher-4463278-1722348167 -o /tmp/evaluation-result-4463278-1722348167/solver-4463278-1722348167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6031 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463278-1722348167 --lp-cut-gomory=0 HOME/instance-4463278-1722348167.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=10724, runsolver pid=10721
Current StackSize limit: 8192 KiB
[startup+0.100371 s]*
/proc/loadavg: 4.13 4.14 4.14 5/264 10725
/proc/meminfo: memFree=129878220/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=56732 memory=27008 CPUtime=0.09 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 6471 0 0 0 7 2 0 0 20 0 1 0 1204872 58093568 6752 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 14183 6752 1670 992 0 6041 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56732 KiB
Current children cumulated memory: 27008 KiB
[startup+0.20639 s]*
/proc/loadavg: 4.13 4.14 4.14 5/264 10725
/proc/meminfo: memFree=129867468/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=68864 memory=37220 CPUtime=0.19 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 8932 0 0 0 16 3 0 0 20 0 1 0 1204872 70516736 9305 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 17216 9305 1718 992 0 9074 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68864 KiB
Current children cumulated memory: 37220 KiB
[startup+0.305888 s]*
/proc/loadavg: 4.13 4.14 4.14 5/264 10725
/proc/meminfo: memFree=129864496/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=68864 memory=37748 CPUtime=0.29 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 9065 0 0 0 26 3 0 0 20 0 1 0 1204872 70516736 9437 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 17216 9437 1718 992 0 9074 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 68864 KiB
Current children cumulated memory: 37748 KiB
[startup+0.700209 s]
/proc/loadavg: 4.13 4.14 4.14 5/264 10725
/proc/meminfo: memFree=129860208/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=69060 memory=41236 CPUtime=0.68 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 9390 0 0 0 63 5 0 0 20 0 1 0 1204872 70717440 10309 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 17265 10309 1750 992 0 9123 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69060 KiB
Current children cumulated memory: 41236 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.14 4.14 5/264 10725
/proc/meminfo: memFree=129838244/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=88304 memory=60552 CPUtime=1.47 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 13708 0 0 0 136 11 0 0 20 0 1 0 1204872 90423296 15138 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 22076 15138 1765 992 0 13934 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 88304 KiB
Current children cumulated memory: 60552 KiB
[startup+3.10596 s]
/proc/loadavg: 4.13 4.14 4.14 5/264 10728
/proc/meminfo: memFree=129766804/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=104032 memory=70092 CPUtime=3.07 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 16115 0 0 0 293 14 0 0 20 0 1 0 1204872 106528768 17523 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 26008 17523 1765 992 0 17866 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 104032 KiB
Current children cumulated memory: 70092 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.13 4.14 5/264 10728
/proc/meminfo: memFree=129714988/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=105604 memory=74776 CPUtime=6.26 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 16673 0 0 0 604 22 0 0 20 0 1 0 1204872 108138496 18694 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 26401 18694 1839 992 0 18259 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 105604 KiB
Current children cumulated memory: 74776 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.14 5/264 10728
/proc/meminfo: memFree=129557476/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=141540 memory=108280 CPUtime=12.63 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 23010 0 0 0 1228 35 0 0 20 0 1 0 1204872 144936960 27070 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 35385 27070 1839 992 0 27243 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 141540 KiB
Current children cumulated memory: 108280 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.14 5/264 10731
/proc/meminfo: memFree=129376152/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=187696 memory=145964 CPUtime=25.4 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 29875 0 0 0 2487 53 0 0 20 0 1 0 1204872 192200704 36491 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 46924 36491 1871 992 0 38782 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 187696 KiB
Current children cumulated memory: 145964 KiB
[startup+51.1062 s]
/proc/loadavg: 4.10 4.13 4.14 5/264 10734
/proc/meminfo: memFree=129022664/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=204248 memory=168904 CPUtime=50.92 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 33611 0 0 0 4989 103 0 0 20 0 1 0 1204872 209149952 42226 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 51062 42226 1871 992 0 42920 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 204248 KiB
Current children cumulated memory: 168904 KiB
[startup+102.306 s]
/proc/loadavg: 4.08 4.12 4.13 5/262 10745
/proc/meminfo: memFree=128212244/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=262692 memory=204956 CPUtime=101.94 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 41111 0 0 0 9998 196 0 0 20 0 1 0 1204872 268996608 51239 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 65673 51239 1871 992 0 57531 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 262692 KiB
Current children cumulated memory: 204956 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.13 6/262 10755
/proc/meminfo: memFree=127228772/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=389424 memory=316164 CPUtime=161.72 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 60256 0 0 0 15885 287 0 0 20 0 1 0 1204872 398770176 79041 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 97356 79041 1871 992 0 89214 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 389424 KiB
Current children cumulated memory: 316164 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/258 10765
/proc/meminfo: memFree=126383540/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=415680 memory=338340 CPUtime=221.51 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 65761 0 0 0 21769 382 0 0 20 0 1 0 1204872 425656320 84585 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 103920 84585 1871 992 0 95778 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 415680 KiB
Current children cumulated memory: 338340 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/258 10776
/proc/meminfo: memFree=125341360/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=419788 memory=343584 CPUtime=281.26 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 67053 0 0 0 27625 501 0 0 20 0 1 0 1204872 429862912 85896 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 104947 85896 1871 992 0 96805 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 419788 KiB
Current children cumulated memory: 343584 KiB
[startup+342.307 s]
/proc/loadavg: 4.18 4.12 4.12 5/259 10789
/proc/meminfo: memFree=124324260/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=423984 memory=348764 CPUtime=341.01 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 68369 0 0 0 33498 603 0 0 20 0 1 0 1204872 434159616 87191 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 105996 87191 1871 992 0 97854 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 423984 KiB
Current children cumulated memory: 348764 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/259 10799
/proc/meminfo: memFree=123234076/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=428064 memory=357336 CPUtime=400.75 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 69604 0 0 0 39371 704 0 0 20 0 1 0 1204872 438337536 89334 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 107016 89334 1871 992 0 98874 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 357336 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/259 10810
/proc/meminfo: memFree=122327516/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=446896 memory=393536 CPUtime=460.51 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 73755 0 0 0 45241 810 0 0 20 0 1 0 1204872 457621504 98384 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 111724 98384 1871 992 0 103582 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.17 4.14 4.14 7/261 11949
/proc/meminfo: memFree=68849656/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1373584 memory=1168936 CPUtime=3150.21 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 202637 0 0 0 310595 4426 0 0 20 0 1 0 1204872 1406550016 292234 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 343396 292234 1871 992 0 335254 0
Current children cumulated CPU time: 3150.21 s
Current children cumulated vsize: 1373584 KiB
Current children cumulated memory: 1168936 KiB
[startup+3222.3 s]
/proc/loadavg: 3.87 4.07 4.12 4/254 12374
/proc/meminfo: memFree=71153476/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1374480 memory=1169628 CPUtime=3209.96 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 203191 0 0 0 316517 4479 0 0 20 0 1 0 1204872 1407467520 292407 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 343620 292407 1871 992 0 335478 0
Current children cumulated CPU time: 3209.96 s
Current children cumulated vsize: 1374480 KiB
Current children cumulated memory: 1169628 KiB
[startup+3282.3 s]
/proc/loadavg: 3.37 3.89 4.05 5/254 12386
/proc/meminfo: memFree=69871844/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1375932 memory=1171500 CPUtime=3269.71 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 204175 0 0 0 322413 4558 0 0 20 0 1 0 1204872 1408954368 292875 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 343983 292875 1871 992 0 335841 0
Current children cumulated CPU time: 3269.71 s
Current children cumulated vsize: 1375932 KiB
Current children cumulated memory: 1171500 KiB
[startup+3342.3 s]
/proc/loadavg: 3.24 3.76 3.99 4/255 12398
/proc/meminfo: memFree=68681616/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1389104 memory=1180032 CPUtime=3329.42 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 206640 0 0 0 328308 4634 0 0 20 0 1 0 1204872 1422442496 295008 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347276 295008 1871 992 0 339134 0
Current children cumulated CPU time: 3329.42 s
Current children cumulated vsize: 1389104 KiB
Current children cumulated memory: 1180032 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.63 3.93 4/259 12582
/proc/meminfo: memFree=67560236/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1389104 memory=1180200 CPUtime=3389.18 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 207219 0 0 0 334230 4688 0 0 20 0 1 0 1204872 1422442496 295050 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347276 295050 1871 992 0 339134 0
Current children cumulated CPU time: 3389.18 s
Current children cumulated vsize: 1389104 KiB
Current children cumulated memory: 1180200 KiB
[startup+3462.3 s]
/proc/loadavg: 3.17 3.56 3.89 4/259 12592
/proc/meminfo: memFree=66089148/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1389416 memory=1181016 CPUtime=3448.93 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 207881 0 0 0 340133 4760 0 0 20 0 1 0 1204872 1422761984 295254 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347354 295254 1871 992 0 339212 0
Current children cumulated CPU time: 3448.93 s
Current children cumulated vsize: 1389416 KiB
Current children cumulated memory: 1181016 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.47 3.83 6/258 12617
/proc/meminfo: memFree=64661832/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1389416 memory=1181148 CPUtime=3508.65 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 208316 0 0 0 346046 4819 0 0 20 0 1 0 1204872 1422761984 295287 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347354 295287 1871 992 0 339212 0
Current children cumulated CPU time: 3508.65 s
Current children cumulated vsize: 1389416 KiB
Current children cumulated memory: 1181148 KiB
[startup+3582.3 s]
/proc/loadavg: 2.94 3.38 3.78 3/251 12658
/proc/meminfo: memFree=64283448/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1391096 memory=1182584 CPUtime=3568.37 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 209062 0 0 0 351941 4896 0 0 20 0 1 0 1204872 1424482304 295646 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347774 295646 1871 992 0 339632 0
Current children cumulated CPU time: 3568.37 s
Current children cumulated vsize: 1391096 KiB
Current children cumulated memory: 1182584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.11 s]
/proc/loadavg: 2.63 3.26 3.72 2/245 12691
/proc/meminfo: memFree=65382168/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1391096 memory=1182584 CPUtime=3600.04 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 209315 0 0 0 355085 4919 0 0 20 0 1 0 1204872 1424482304 295646 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347774 295646 1871 992 0 339632 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1391096 KiB
Current children cumulated memory: 1182584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3616.95 s]
# the end of solver process 10724 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3552.83 s, system=49.2179 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 2.63 3.26 3.72 2/245 12691
/proc/meminfo: memFree=65382168/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1391096 memory=1182584 CPUtime=3600.33 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 209315 0 0 0 355114 4919 0 0 20 0 1 0 1204872 1424482304 295646 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347774 295646 1871 992 0 339632 0
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 1391096 KiB
Current children cumulated memory: 1182584 KiB
[startup+3615.2 s]
/proc/loadavg: 2.58 3.24 3.72 2/245 12691
/proc/meminfo: memFree=65382168/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1391096 memory=1182584 CPUtime=3601.13 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 209315 0 0 0 355193 4920 0 0 20 0 1 0 1204872 1424482304 295646 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347774 295646 1871 992 0 339632 0
Current children cumulated CPU time: 3601.13 s
Current children cumulated vsize: 1391096 KiB
Current children cumulated memory: 1182584 KiB
[startup+3615.6 s]
/proc/loadavg: 2.58 3.24 3.72 2/245 12691
/proc/meminfo: memFree=65382168/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1391096 memory=1182584 CPUtime=3601.53 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 209315 0 0 0 355233 4920 0 0 20 0 1 0 1204872 1424482304 295646 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347774 295646 1871 992 0 339632 0
Current children cumulated CPU time: 3601.53 s
Current children cumulated vsize: 1391096 KiB
Current children cumulated memory: 1182584 KiB
[startup+3616 s]*
/proc/loadavg: 2.58 3.24 3.72 2/245 12691
/proc/meminfo: memFree=65382168/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1391096 memory=1182584 CPUtime=3601.93 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 209315 0 0 0 355273 4920 0 0 20 0 1 0 1204872 1424482304 295646 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347774 295646 1871 992 0 339632 0
Current children cumulated CPU time: 3601.93 s
Current children cumulated vsize: 1391096 KiB
Current children cumulated memory: 1182584 KiB
[startup+3616.11 s]
/proc/loadavg: 2.58 3.24 3.72 2/245 12691
/proc/meminfo: memFree=65382168/131524600 swapFree=131071996/131071996
[pid=10724] ppid=10721 vsize=1391096 memory=1182584 CPUtime=3602.04 cores=0,2
/proc/10724/stat : 10724 (roundingsat) R 10721 10724 6021 0 -1 4194304 209315 0 0 0 355283 4921 0 0 20 0 1 0 1204872 1424482304 295646 134679101440 4194304 8255733 140723848758736 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19652608 140723848766302 140723848766564 140723848766564 140723848773577 0
/proc/10724/statm: 347774 295646 1871 992 0 339632 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 1391096 KiB
Current children cumulated memory: 1182584 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.95
CPU time (s): 3602.05
CPU user time (s): 3552.83
CPU system time (s): 49.2179
CPU usage (%): 99.5879
Max. virtual memory (cumulated for all children) (KiB): 1391096
Max. memory (cumulated for all children) (KiB): 1182584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.83
system time used= 49.2179
maximum resident set size= 1182592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 45478384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 446
involuntary context switches= 25546
# summary of solver processes directly reported to runsolver:
# pid: 10724
# total CPU time (s): 3602.05
# total CPU user time (s): 3552.83
# total CPU system time (s): 49.2179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17825 second user time and 18.5468 second system time
The end
Begin job on nodeC015 at 2024-07-30 16:02:47 IDJOB=4463278 IDBENCH=164356 IDSOLVER=3089 FILE ID=nodeC015/4463278-1722348167 RUNJOBID= nodeC015-1722340763-6031 SLURM_JOB_ID= 8248978 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.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-4463278-1722348167/watcher-4463278-1722348167 -o /tmp/evaluation-result-4463278-1722348167/solver-4463278-1722348167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6031 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463278-1722348167 --lp-cut-gomory=0 HOME/instance-4463278-1722348167.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91 RANDOM SEED=660769194 nodeC015.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 : 3652.660 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.37 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 : 3685.824 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.03 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 : 3643.145 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.37 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 : 3599.990 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.03 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 : 3665.680 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.37 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 : 3685.833 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.03 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 : 3628.635 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.37 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 : 3599.771 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.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129905408 kB MemAvailable: 129759308 kB Buffers: 57076 kB Cached: 637540 kB SwapCached: 0 kB Active: 167800 kB Inactive: 985216 kB Active(anon): 1544 kB Inactive(anon): 480636 kB Active(file): 166256 kB Inactive(file): 504580 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 40128 kB Writeback: 0 kB AnonPages: 458820 kB Mapped: 97468 kB Shmem: 23384 kB KReclaimable: 45776 kB Slab: 126196 kB SReclaimable: 45776 kB SUnreclaim: 80420 kB KernelStack: 4240 kB PageTables: 10160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 706128 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8864 kB HardwareCorrupted: 0 kB AnonHugePages: 266240 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: 158420 kB DirectMap2M: 12197888 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 890072 MiB End job on nodeC015 at 2024-07-30 17:03:04