| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.03 | 3610.35 |
| 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.21/0.30 c #variables 21582 #constraints 19721 85.98/86.25 c #Conflicts: 1000 | #Constraints: 20720 85.98/86.25 c #Conflicts: 2000 | #Constraints: 21720 85.98/86.25 c INPROCESSING 85.98/86.25 c GARBAGE COLLECT 85.98/86.25 c #Conflicts: 3000 | #Constraints: 18847 85.98/86.25 c #Conflicts: 4000 | #Constraints: 19847 85.98/86.25 c INPROCESSING 85.98/86.25 c GARBAGE COLLECT 85.98/86.25 c #Conflicts: 5000 | #Constraints: 17833 85.98/86.25 c #Conflicts: 6000 | #Constraints: 18833 85.98/86.25 c INPROCESSING 85.98/86.25 c GARBAGE COLLECT 85.98/86.25 c #Conflicts: 7000 | #Constraints: 17867 85.98/86.25 c #Conflicts: 8000 | #Constraints: 18867 85.98/86.25 c #Conflicts: 9000 | #Constraints: 19867 85.98/86.25 c INPROCESSING 85.98/86.25 c GARBAGE COLLECT 85.98/86.25 c #Conflicts: 10000 | #Constraints: 18593 85.98/86.25 c #Conflicts: 11000 | #Constraints: 19593 85.98/86.25 c #Conflicts: 12000 | #Constraints: 20593 85.98/86.25 c INPROCESSING 85.98/86.25 c GARBAGE COLLECT 85.98/86.25 c #Conflicts: 13000 | #Constraints: 19064 85.98/86.25 c #Conflicts: 14000 | #Constraints: 20064 85.98/86.25 c #Conflicts: 15000 | #Constraints: 21064 85.98/86.25 c INPROCESSING 85.98/86.25 c GARBAGE COLLECT 85.98/86.25 c #Conflicts: 16000 | #Constraints: 19302 85.98/86.25 c #Conflicts: 17000 | #Constraints: 20302 85.98/86.25 c #Conflicts: 18000 | #Constraints: 21302 85.98/86.25 c INPROCESSING 85.98/86.25 c GARBAGE COLLECT 85.98/86.25 c #Conflicts: 19000 | #Constraints: 19350 85.98/86.25 c #Conflicts: 20000 | #Constraints: 20350 85.98/86.25 c #Conflicts: 21000 | #Constraints: 21350 85.98/86.25 c INPROCESSING 85.98/86.25 c GARBAGE COLLECT 85.98/86.25 c #Conflicts: 22000 | #Constraints: 19175 85.98/86.25 c #Conflicts: 23000 | #Constraints: 20175 85.98/86.25 c #Conflicts: 24000 | #Constraints: 21175 85.98/86.25 c #Conflicts: 25000 | #Constraints: 22175 85.98/86.25 c INPROCESSING 85.98/86.25 c GARBAGE COLLECT 85.98/86.25 c rational objective 2142.8 163.78/164.21 c #Conflicts: 26000 | #Constraints: 19782 163.78/164.21 c #Conflicts: 27000 | #Constraints: 20782 163.78/164.21 c #Conflicts: 28000 | #Constraints: 21782 163.78/164.21 c #Conflicts: 29000 | #Constraints: 22782 163.78/164.21 c INPROCESSING 163.78/164.21 c GARBAGE COLLECT 163.78/164.21 c #Conflicts: 30000 | #Constraints: 20206 163.78/164.21 c #Conflicts: 31000 | #Constraints: 21206 163.78/164.21 c #Conflicts: 32000 | #Constraints: 22207 163.78/164.21 c #Conflicts: 33000 | #Constraints: 23207 163.78/164.21 c INPROCESSING 163.78/164.21 c GARBAGE COLLECT 163.78/164.21 c #Conflicts: 34000 | #Constraints: 20416 163.78/164.21 c #Conflicts: 35000 | #Constraints: 21416 163.78/164.21 c #Conflicts: 36000 | #Constraints: 22416 163.78/164.21 c #Conflicts: 37000 | #Constraints: 23416 163.78/164.21 c INPROCESSING 163.78/164.21 c GARBAGE COLLECT 163.78/164.21 c #Conflicts: 38000 | #Constraints: 20471 163.78/164.21 c #Conflicts: 39000 | #Constraints: 21471 163.78/164.21 c #Conflicts: 40000 | #Constraints: 22471 163.78/164.21 c #Conflicts: 41000 | #Constraints: 23472 163.78/164.21 c INPROCESSING 163.78/164.21 c GARBAGE COLLECT 163.78/164.21 c #Conflicts: 42000 | #Constraints: 20264 163.78/164.21 c #Conflicts: 43000 | #Constraints: 21265 163.78/164.21 c #Conflicts: 44000 | #Constraints: 22266 163.78/164.21 c #Conflicts: 45000 | #Constraints: 23266 163.78/164.21 c #Conflicts: 46000 | #Constraints: 24266 163.78/164.21 c INPROCESSING 163.78/164.21 c GARBAGE COLLECT 163.78/164.21 c rational objective 2146.18 183.84/184.34 c #Conflicts: 47000 | #Constraints: 20857 183.84/184.34 c #Conflicts: 48000 | #Constraints: 21857 183.84/184.34 c #Conflicts: 49000 | #Constraints: 22857 183.84/184.34 c #Conflicts: 50000 | #Constraints: 23857 183.84/184.34 c #Conflicts: 51000 | #Constraints: 24857 183.84/184.34 c INPROCESSING 183.84/184.34 c GARBAGE COLLECT 183.84/184.34 c #Conflicts: 52000 | #Constraints: 21315 183.84/184.34 c #Conflicts: 53000 | #Constraints: 22315 183.84/184.34 c #Conflicts: 54000 | #Constraints: 23315 183.84/184.34 c #Conflicts: 55000 | #Constraints: 24315 183.84/184.34 c #Conflicts: 56000 | #Constraints: 25315 183.84/184.34 c INPROCESSING 183.84/184.34 c GARBAGE COLLECT 183.84/184.34 c rational objective 2155.03 329.68/330.54 c #Conflicts: 57000 | #Constraints: 21526 329.68/330.54 c #Conflicts: 58000 | #Constraints: 22526 329.68/330.54 c #Conflicts: 59000 | #Constraints: 23526 329.68/330.54 c #Conflicts: 60000 | #Constraints: 24526 329.68/330.54 c #Conflicts: 61000 | #Constraints: 25526 329.68/330.54 c INPROCESSING 329.68/330.54 c GARBAGE COLLECT 329.68/330.54 c #Conflicts: 62000 | #Constraints: 21573 329.68/330.54 c #Conflicts: 63000 | #Constraints: 22574 329.68/330.54 c #Conflicts: 64000 | #Constraints: 23574 329.68/330.54 c #Conflicts: 65000 | #Constraints: 24574 329.68/330.54 c #Conflicts: 66000 | #Constraints: 25575 329.68/330.54 c INPROCESSING 329.68/330.54 c GARBAGE COLLECT 329.68/330.54 c #Conflicts: 67000 | #Constraints: 21357 329.68/330.54 c #Conflicts: 68000 | #Constraints: 22357 329.68/330.54 c #Conflicts: 69000 | #Constraints: 23357 329.68/330.54 c #Conflicts: 70000 | #Constraints: 24357 329.68/330.54 c #Conflicts: 71000 | #Constraints: 25357 329.68/330.54 c #Conflicts: 72000 | #Constraints: 26357 329.68/330.54 c INPROCESSING 329.68/330.54 c GARBAGE COLLECT 329.68/330.54 c #Conflicts: 73000 | #Constraints: 21951 329.68/330.54 c #Conflicts: 74000 | #Constraints: 22951 329.68/330.54 c #Conflicts: 75000 | #Constraints: 23951 329.68/330.54 c #Conflicts: 76000 | #Constraints: 24951 329.68/330.54 c #Conflicts: 77000 | #Constraints: 25952 329.68/330.54 c #Conflicts: 78000 | #Constraints: 26952 329.68/330.54 c INPROCESSING 329.68/330.54 c GARBAGE COLLECT 329.68/330.54 c #Conflicts: 79000 | #Constraints: 22377 329.68/330.54 c #Conflicts: 80000 | #Constraints: 23377 329.68/330.54 c #Conflicts: 81000 | #Constraints: 24377 329.68/330.54 c #Conflicts: 82000 | #Constraints: 25377 329.68/330.54 c #Conflicts: 83000 | #Constraints: 26377 329.68/330.54 c #Conflicts: 84000 | #Constraints: 27377 329.68/330.54 c INPROCESSING 329.68/330.54 c GARBAGE COLLECT 329.68/330.54 c #Conflicts: 85000 | #Constraints: 22622 329.68/330.54 c #Conflicts: 86000 | #Constraints: 23622 329.68/330.54 c #Conflicts: 87000 | #Constraints: 24622 329.68/330.54 c #Conflicts: 88000 | #Constraints: 25622 329.68/330.54 c #Conflicts: 89000 | #Constraints: 26622 329.68/330.54 c #Conflicts: 90000 | #Constraints: 27623 329.68/330.54 c INPROCESSING 329.68/330.54 c GARBAGE COLLECT 329.68/330.54 c #Conflicts: 91000 | #Constraints: 22626 329.68/330.54 c #Conflicts: 92000 | #Constraints: 23626 329.68/330.54 c #Conflicts: 93000 | #Constraints: 24626 329.68/330.54 c #Conflicts: 94000 | #Constraints: 25626 329.68/330.54 c #Conflicts: 95000 | #Constraints: 26626 329.68/330.54 c #Conflicts: 96000 | #Constraints: 27626 329.68/330.54 c INPROCESSING 329.68/330.54 c GARBAGE COLLECT 329.68/330.54 c rational objective 2160.35 413.06/414.16 c #Conflicts: 97000 | #Constraints: 22439 413.06/414.16 c #Conflicts: 98000 | #Constraints: 23439 413.06/414.16 c #Conflicts: 99000 | #Constraints: 24439 413.06/414.16 c #Conflicts: 100000 | #Constraints: 25439 413.06/414.16 c #Conflicts: 101000 | #Constraints: 26440 413.06/414.16 c #Conflicts: 102000 | #Constraints: 27440 413.06/414.16 c #Conflicts: 103000 | #Constraints: 28440 413.06/414.16 c INPROCESSING 413.06/414.16 c GARBAGE COLLECT 413.06/414.16 c #Conflicts: 104000 | #Constraints: 23058 413.06/414.16 c #Conflicts: 105000 | #Constraints: 24058 413.06/414.16 c #Conflicts: 106000 | #Constraints: 25058 413.06/414.16 c #Conflicts: 107000 | #Constraints: 26058 413.06/414.16 c #Conflicts: 108000 | #Constraints: 27058 413.06/414.16 c #Conflicts: 109000 | #Constraints: 28058 413.06/414.16 c #Conflicts: 110000 | #Constraints: 29058 413.06/414.16 c INPROCESSING 413.06/414.16 c GARBAGE COLLECT 413.06/414.16 c #Conflicts: 111000 | #Constraints: 23454 413.06/414.16 c #Conflicts: 112000 | #Constraints: 24454 413.06/414.16 c #Conflicts: 113000 | #Constraints: 25454 413.06/414.16 c #Conflicts: 114000 | #Constraints: 26454 413.06/414.16 c #Conflicts: 115000 | #Constraints: 27454 413.06/414.16 c #Conflicts: 116000 | #Constraints: 28454 413.06/414.16 c #Conflicts: 117000 | #Constraints: 29454 413.06/414.16 c INPROCESSING 413.06/414.16 c GARBAGE COLLECT 413.06/414.16 c #Conflicts: 118000 | #Constraints: 23682 413.06/414.16 c #Conflicts: 119000 | #Constraints: 24682 413.06/414.16 c #Conflicts: 120000 | #Constraints: 25682 413.06/414.16 c #Conflicts: 121000 | #Constraints: 26682 413.06/414.16 c #Conflicts: 122000 | #Constraints: 27682 413.06/414.16 c #Conflicts: 123000 | #Constraints: 28682 413.06/414.16 c #Conflicts: 124000 | #Constraints: 29682 413.06/414.16 c INPROCESSING 413.06/414.16 c GARBAGE COLLECT 413.06/414.16 c rational objective 2161.99 466.41/467.62 c #Conflicts: 125000 | #Constraints: 23685 466.41/467.62 c #Conflicts: 126000 | #Constraints: 24685 466.41/467.62 c #Conflicts: 127000 | #Constraints: 25685 466.41/467.62 c #Conflicts: 128000 | #Constraints: 26685 466.41/467.62 c #Conflicts: 129000 | #Constraints: 27685 466.41/467.62 c #Conflicts: 130000 | #Constraints: 28685 466.41/467.62 c #Conflicts: 131000 | #Constraints: 29685 466.41/467.62 c INPROCESSING 466.41/467.62 c GARBAGE COLLECT 466.41/467.62 c #Conflicts: 132000 | #Constraints: 23497 466.41/467.62 c #Conflicts: 133000 | #Constraints: 24497 466.41/467.62 c #Conflicts: 134000 | #Constraints: 25497 466.41/467.62 c #Conflicts: 135000 | #Constraints: 26497 466.41/467.62 c #Conflicts: 136000 | #Constraints: 27497 466.41/467.62 c #Conflicts: 137000 | #Constraints: 28497 466.41/467.62 c #Conflicts: 138000 | #Constraints: 29497 466.41/467.62 c #Conflicts: 139000 | #Constraints: 30497 466.41/467.62 c INPROCESSING 466.41/467.62 c GARBAGE COLLECT 466.41/467.62 c rational objective 2172.56 516.69/518.08 c #Conflicts: 140000 | #Constraints: 24147 516.69/518.08 c #Conflicts: 141000 | #Constraints: 25147 516.69/518.08 c #Conflicts: 142000 | #Constraints: 26147 516.69/518.08 c #Conflicts: 143000 | #Constraints: 27147 516.69/518.08 c #Conflicts: 144000 | #Constraints: 28147 516.69/518.08 c #Conflicts: 145000 | #Constraints: 29147 516.69/518.08 c #Conflicts: 146000 | #Constraints: 30147 516.69/518.08 c #Conflicts: 147000 | #Constraints: 31147 516.69/518.08 c INPROCESSING 516.69/518.08 c GARBAGE COLLECT 516.69/518.08 c #Conflicts: 148000 | #Constraints: 24584 516.69/518.08 c #Conflicts: 149000 | #Constraints: 25584 516.69/518.08 c #Conflicts: 150000 | #Constraints: 26585 516.69/518.08 c #Conflicts: 151000 | #Constraints: 27585 516.69/518.08 c #Conflicts: 152000 | #Constraints: 28585 516.69/518.08 c #Conflicts: 153000 | #Constraints: 29585 516.69/518.08 c #Conflicts: 154000 | #Constraints: 30585 516.69/518.08 c #Conflicts: 155000 | #Constraints: 31585 516.69/518.08 c INPROCESSING 516.69/518.08 c GARBAGE COLLECT 516.69/518.08 c rational objective 2186.13 596.09/597.67 c #Conflicts: 156000 | #Constraints: 24796 596.09/597.67 c #Conflicts: 157000 | #Constraints: 25796 596.09/597.67 c #Conflicts: 158000 | #Constraints: 26796 596.09/597.67 c #Conflicts: 159000 | #Constraints: 27796 596.09/597.67 c #Conflicts: 160000 | #Constraints: 28796 596.09/597.67 c #Conflicts: 161000 | #Constraints: 29796 596.09/597.67 c #Conflicts: 162000 | #Constraints: 30797 596.09/597.67 c #Conflicts: 163000 | #Constraints: 31797 596.09/597.67 c INPROCESSING 596.09/597.67 c GARBAGE COLLECT 596.09/597.67 c #Conflicts: 164000 | #Constraints: 24825 596.09/597.67 c #Conflicts: 165000 | #Constraints: 25825 596.09/597.67 c #Conflicts: 166000 | #Constraints: 26825 596.09/597.67 c #Conflicts: 167000 | #Constraints: 27825 596.09/597.67 c #Conflicts: 168000 | #Constraints: 28825 596.09/597.67 c #Conflicts: 169000 | #Constraints: 29825 596.09/597.67 c #Conflicts: 170000 | #Constraints: 30825 596.09/597.67 c #Conflicts: 171000 | #Constraints: 31825 596.09/597.67 c INPROCESSING 596.09/597.67 c GARBAGE COLLECT 596.09/597.67 c #Conflicts: 172000 | #Constraints: 24625 596.09/597.67 c #Conflicts: 173000 | #Constraints: 25625 596.09/597.67 c #Conflicts: 174000 | #Constraints: 26625 596.09/597.67 c #Conflicts: 175000 | #Constraints: 27625 596.09/597.67 c #Conflicts: 176000 | #Constraints: 28625 596.09/597.67 c #Conflicts: 177000 | #Constraints: 29625 596.09/597.67 c #Conflicts: 178000 | #Constraints: 30625 596.09/597.67 c #Conflicts: 179000 | #Constraints: 31625 596.09/597.67 c #Conflicts: 180000 | #Constraints: 32625 596.09/597.67 c INPROCESSING 596.09/597.67 c GARBAGE COLLECT 596.09/597.67 c rational objective 2199.95 638.68/640.30 c #Conflicts: 181000 | #Constraints: 25240 638.68/640.30 c #Conflicts: 182000 | #Constraints: 26240 638.68/640.30 c #Conflicts: 183000 | #Constraints: 27240 638.68/640.30 c #Conflicts: 184000 | #Constraints: 28240 638.68/640.30 c #Conflicts: 185000 | #Constraints: 29240 638.68/640.30 c #Conflicts: 186000 | #Constraints: 30240 638.68/640.30 c #Conflicts: 187000 | #Constraints: 31240 638.68/640.30 c #Conflicts: 188000 | #Constraints: 32240 638.68/640.30 c #Conflicts: 189000 | #Constraints: 33240 638.68/640.30 c INPROCESSING 638.68/640.30 c GARBAGE COLLECT 638.68/640.30 c #Conflicts: 190000 | #Constraints: 25651 638.68/640.30 c #Conflicts: 191000 | #Constraints: 26651 638.68/640.30 c #Conflicts: 192000 | #Constraints: 27651 638.68/640.30 c #Conflicts: 193000 | #Constraints: 28651 638.68/640.30 c #Conflicts: 194000 | #Constraints: 29652 638.68/640.30 c #Conflicts: 195000 | #Constraints: 30652 638.68/640.30 c #Conflicts: 196000 | #Constraints: 31652 638.68/640.30 c #Conflicts: 197000 | #Constraints: 32653 638.68/640.30 c #Conflicts: 198000 | #Constraints: 33653 638.68/640.30 c INPROCESSING 638.68/640.30 c GARBAGE COLLECT 638.68/640.30 c rational objective 2201.56 695.26/697.08 c #Conflicts: 199000 | #Constraints: 25855 695.26/697.08 c #Conflicts: 200000 | #Constraints: 26855 695.26/697.08 c #Conflicts: 201000 | #Constraints: 27855 695.26/697.08 c #Conflicts: 202000 | #Constraints: 28856 695.26/697.08 c #Conflicts: 203000 | #Constraints: 29856 695.26/697.08 c #Conflicts: 204000 | #Constraints: 30856 695.26/697.08 c #Conflicts: 205000 | #Constraints: 31856 695.26/697.08 c #Conflicts: 206000 | #Constraints: 32856 695.26/697.08 c #Conflicts: 207000 | #Constraints: 33856 695.26/697.08 c INPROCESSING 695.26/697.08 c GARBAGE COLLECT 695.26/697.08 c #Conflicts: 208000 | #Constraints: 25856 695.26/697.08 c #Conflicts: 209000 | #Constraints: 26856 695.26/697.08 c #Conflicts: 210000 | #Constraints: 27856 695.26/697.08 c #Conflicts: 211000 | #Constraints: 28856 695.26/697.08 c #Conflicts: 212000 | #Constraints: 29856 695.26/697.08 c #Conflicts: 213000 | #Constraints: 30856 695.26/697.08 c #Conflicts: 214000 | #Constraints: 31856 695.26/697.08 c #Conflicts: 215000 | #Constraints: 32856 695.26/697.08 c #Conflicts: 216000 | #Constraints: 33856 695.26/697.08 c INPROCESSING 695.26/697.08 c GARBAGE COLLECT 695.26/697.08 c rational objective 2206.09 779.07/781.09 c #Conflicts: 217000 | #Constraints: 25730 779.07/781.09 c #Conflicts: 218000 | #Constraints: 26730 779.07/781.09 c #Conflicts: 219000 | #Constraints: 27731 779.07/781.09 c #Conflicts: 220000 | #Constraints: 28731 779.07/781.09 c #Conflicts: 221000 | #Constraints: 29731 779.07/781.09 c #Conflicts: 222000 | #Constraints: 30731 779.07/781.09 c #Conflicts: 223000 | #Constraints: 31731 779.07/781.09 c #Conflicts: 224000 | #Constraints: 32731 779.07/781.09 c #Conflicts: 225000 | #Constraints: 33731 779.07/781.09 c #Conflicts: 226000 | #Constraints: 34731 779.07/781.09 c INPROCESSING 779.07/781.09 c GARBAGE COLLECT 779.07/781.09 c #Conflicts: 227000 | #Constraints: 26360 779.07/781.09 c #Conflicts: 228000 | #Constraints: 27360 779.07/781.09 c #Conflicts: 229000 | #Constraints: 28360 779.07/781.09 c #Conflicts: 230000 | #Constraints: 29360 779.07/781.09 c #Conflicts: 231000 | #Constraints: 30360 779.07/781.09 c #Conflicts: 232000 | #Constraints: 31360 779.07/781.09 c #Conflicts: 233000 | #Constraints: 32360 779.07/781.09 c #Conflicts: 234000 | #Constraints: 33360 779.07/781.09 c #Conflicts: 235000 | #Constraints: 34360 779.07/781.09 c #Conflicts: 236000 | #Constraints: 35360 779.07/781.09 c INPROCESSING 779.07/781.09 c GARBAGE COLLECT 779.07/781.09 c rational objective 2208.15 832.72/834.81 c #Conflicts: 237000 | #Constraints: 26712 832.72/834.81 c #Conflicts: 238000 | #Constraints: 27712 832.72/834.81 c #Conflicts: 239000 | #Constraints: 28712 832.72/834.81 c #Conflicts: 240000 | #Constraints: 29712 832.72/834.81 c #Conflicts: 241000 | #Constraints: 30712 832.72/834.81 c #Conflicts: 242000 | #Constraints: 31712 832.72/834.81 c #Conflicts: 243000 | #Constraints: 32712 832.72/834.81 c #Conflicts: 244000 | #Constraints: 33712 832.72/834.81 c #Conflicts: 245000 | #Constraints: 34712 832.72/834.81 c #Conflicts: 246000 | #Constraints: 35712 832.72/834.81 c INPROCESSING 832.72/834.81 c GARBAGE COLLECT 832.72/834.81 c rational objective 2209.47 960.91/963.39 c #Conflicts: 247000 | #Constraints: 26851 960.91/963.39 c #Conflicts: 248000 | #Constraints: 27851 960.91/963.39 c #Conflicts: 249000 | #Constraints: 28851 960.91/963.39 c #Conflicts: 250000 | #Constraints: 29851 960.91/963.39 c #Conflicts: 251000 | #Constraints: 30851 960.91/963.39 c #Conflicts: 252000 | #Constraints: 31851 960.91/963.39 c #Conflicts: 253000 | #Constraints: 32851 960.91/963.39 c #Conflicts: 254000 | #Constraints: 33851 960.91/963.39 c #Conflicts: 255000 | #Constraints: 34851 960.91/963.39 c #Conflicts: 256000 | #Constraints: 35852 960.91/963.39 c INPROCESSING 960.91/963.39 c GARBAGE COLLECT 960.91/963.39 c #Conflicts: 257000 | #Constraints: 26878 960.91/963.39 c #Conflicts: 258000 | #Constraints: 27878 960.91/963.39 c #Conflicts: 259000 | #Constraints: 28878 960.91/963.39 c #Conflicts: 260000 | #Constraints: 29878 960.91/963.39 c #Conflicts: 261000 | #Constraints: 30878 960.91/963.39 c #Conflicts: 262000 | #Constraints: 31878 960.91/963.39 c #Conflicts: 263000 | #Constraints: 32878 960.91/963.39 c #Conflicts: 264000 | #Constraints: 33878 960.91/963.39 c #Conflicts: 265000 | #Constraints: 34878 960.91/963.39 c #Conflicts: 266000 | #Constraints: 35878 960.91/963.39 c INPROCESSING 960.91/963.39 c GARBAGE COLLECT 960.91/963.39 c #Conflicts: 267000 | #Constraints: 26695 960.91/963.39 c #Conflicts: 268000 | #Constraints: 27695 960.91/963.39 c #Conflicts: 269000 | #Constraints: 28695 960.91/963.39 c #Conflicts: 270000 | #Constraints: 29695 960.91/963.39 c #Conflicts: 271000 | #Constraints: 30695 960.91/963.39 c #Conflicts: 272000 | #Constraints: 31696 960.91/963.39 c #Conflicts: 273000 | #Constraints: 32696 960.91/963.39 c #Conflicts: 274000 | #Constraints: 33697 960.91/963.39 c #Conflicts: 275000 | #Constraints: 34697 960.91/963.39 c #Conflicts: 276000 | #Constraints: 35698 960.91/963.39 c #Conflicts: 277000 | #Constraints: 36698 960.91/963.39 c INPROCESSING 960.91/963.39 c GARBAGE COLLECT 960.91/963.39 c #Conflicts: 278000 | #Constraints: 27251 960.91/963.39 c #Conflicts: 279000 | #Constraints: 28251 960.91/963.39 c #Conflicts: 280000 | #Constraints: 29251 960.91/963.39 c #Conflicts: 281000 | #Constraints: 30251 960.91/963.39 c #Conflicts: 282000 | #Constraints: 31251 960.91/963.39 c #Conflicts: 283000 | #Constraints: 32251 960.91/963.39 c #Conflicts: 284000 | #Constraints: 33251 960.91/963.39 c #Conflicts: 285000 | #Constraints: 34251 960.91/963.39 c #Conflicts: 286000 | #Constraints: 35251 960.91/963.39 c #Conflicts: 287000 | #Constraints: 36251 960.91/963.39 c #Conflicts: 288000 | #Constraints: 37251 960.91/963.39 c INPROCESSING 960.91/963.39 c GARBAGE COLLECT 960.91/963.39 c rational objective 2213.81 1036.53/1039.15 c #Conflicts: 289000 | #Constraints: 27615 1036.53/1039.15 c #Conflicts: 290000 | #Constraints: 28615 1036.53/1039.15 c #Conflicts: 291000 | #Constraints: 29615 1036.53/1039.15 c #Conflicts: 292000 | #Constraints: 30615 1036.53/1039.15 c #Conflicts: 293000 | #Constraints: 31615 1036.53/1039.15 c #Conflicts: 294000 | #Constraints: 32615 1036.53/1039.15 c #Conflicts: 295000 | #Constraints: 33615 1036.53/1039.15 c #Conflicts: 296000 | #Constraints: 34615 1036.53/1039.15 c #Conflicts: 297000 | #Constraints: 35615 1036.53/1039.15 c #Conflicts: 298000 | #Constraints: 36615 1036.53/1039.15 c #Conflicts: 299000 | #Constraints: 37615 1036.53/1039.15 c INPROCESSING 1036.53/1039.15 c GARBAGE COLLECT 1036.53/1039.15 c #Conflicts: 300000 | #Constraints: 27900 1036.53/1039.15 c #Conflicts: 301000 | #Constraints: 28900 1036.53/1039.15 c #Conflicts: 302000 | #Constraints: 29900 1036.53/1039.15 c #Conflicts: 303000 | #Constraints: 30900 1036.53/1039.15 c #Conflicts: 304000 | #Constraints: 31900 1036.53/1039.15 c #Conflicts: 305000 | #Constraints: 32900 1036.53/1039.15 c #Conflicts: 306000 | #Constraints: 33900 1036.53/1039.15 c #Conflicts: 307000 | #Constraints: 34900 1036.53/1039.15 c #Conflicts: 308000 | #Constraints: 35900 1036.53/1039.15 c #Conflicts: 309000 | #Constraints: 36900 1036.53/1039.15 c #Conflicts: 310000 | #Constraints: 37900 1036.53/1039.15 c INPROCESSING 1036.53/1039.15 c GARBAGE COLLECT 1036.53/1039.15 c rational objective 2216.57 1082.32/1085.01 c #Conflicts: 311000 | #Constraints: 27929 1082.32/1085.01 c #Conflicts: 312000 | #Constraints: 28929 1082.32/1085.01 c #Conflicts: 313000 | #Constraints: 29929 1082.32/1085.01 c #Conflicts: 314000 | #Constraints: 30929 1082.32/1085.01 c #Conflicts: 315000 | #Constraints: 31929 1082.32/1085.01 c #Conflicts: 316000 | #Constraints: 32929 1082.32/1085.01 c #Conflicts: 317000 | #Constraints: 33930 1082.32/1085.01 c #Conflicts: 318000 | #Constraints: 34930 1082.32/1085.01 c #Conflicts: 319000 | #Constraints: 35930 1082.32/1085.01 c #Conflicts: 320000 | #Constraints: 36930 1082.32/1085.01 c #Conflicts: 321000 | #Constraints: 37930 1082.32/1085.01 c INPROCESSING 1082.32/1085.01 c GARBAGE COLLECT 1082.32/1085.01 c rational objective 2217.5 1170.38/1173.38 c #Conflicts: 322000 | #Constraints: 27679 1170.38/1173.38 c #Conflicts: 323000 | #Constraints: 28679 1170.38/1173.38 c #Conflicts: 324000 | #Constraints: 29679 1170.38/1173.38 c #Conflicts: 325000 | #Constraints: 30679 1170.38/1173.38 c #Conflicts: 326000 | #Constraints: 31679 1170.38/1173.38 c #Conflicts: 327000 | #Constraints: 32679 1170.38/1173.38 c #Conflicts: 328000 | #Constraints: 33679 1170.38/1173.38 c #Conflicts: 329000 | #Constraints: 34679 1170.38/1173.38 c #Conflicts: 330000 | #Constraints: 35680 1170.38/1173.38 c #Conflicts: 331000 | #Constraints: 36680 1170.38/1173.38 c #Conflicts: 332000 | #Constraints: 37680 1170.38/1173.38 c #Conflicts: 333000 | #Constraints: 38680 1170.38/1173.38 c INPROCESSING 1170.38/1173.38 c GARBAGE COLLECT 1170.38/1173.38 c #Conflicts: 334000 | #Constraints: 28233 1170.38/1173.38 c #Conflicts: 335000 | #Constraints: 29233 1170.38/1173.38 c #Conflicts: 336000 | #Constraints: 30233 1170.38/1173.38 c #Conflicts: 337000 | #Constraints: 31233 1170.38/1173.38 c #Conflicts: 338000 | #Constraints: 32233 1170.38/1173.38 c #Conflicts: 339000 | #Constraints: 33233 1170.38/1173.38 c #Conflicts: 340000 | #Constraints: 34234 1170.38/1173.38 c #Conflicts: 341000 | #Constraints: 35236 1170.38/1173.38 c #Conflicts: 342000 | #Constraints: 36236 1170.38/1173.38 c #Conflicts: 343000 | #Constraints: 37237 1170.38/1173.38 c #Conflicts: 344000 | #Constraints: 38237 1170.38/1173.38 c #Conflicts: 345000 | #Constraints: 39238 1170.38/1173.38 c INPROCESSING 1170.38/1173.38 c GARBAGE COLLECT 1170.38/1173.38 c rational objective 2222.22 1261.23/1264.48 c #Conflicts: 346000 | #Constraints: 28695 1261.23/1264.48 c #Conflicts: 347000 | #Constraints: 29695 1261.23/1264.48 c #Conflicts: 348000 | #Constraints: 30695 1261.23/1264.48 c #Conflicts: 349000 | #Constraints: 31695 1261.23/1264.48 c #Conflicts: 350000 | #Constraints: 32695 1261.23/1264.48 c #Conflicts: 351000 | #Constraints: 33695 1261.23/1264.48 c #Conflicts: 352000 | #Constraints: 34695 1261.23/1264.48 c #Conflicts: 353000 | #Constraints: 35695 1261.23/1264.48 c #Conflicts: 354000 | #Constraints: 36695 1261.23/1264.48 c #Conflicts: 355000 | #Constraints: 37695 1261.23/1264.48 c #Conflicts: 356000 | #Constraints: 38695 1261.23/1264.48 c #Conflicts: 357000 | #Constraints: 39695 1261.23/1264.48 c INPROCESSING 1261.23/1264.48 c GARBAGE COLLECT 1261.23/1264.48 c #Conflicts: 358000 | #Constraints: 28900 1261.23/1264.48 c #Conflicts: 359000 | #Constraints: 29900 1261.23/1264.48 c #Conflicts: 360000 | #Constraints: 30900 1261.23/1264.48 c #Conflicts: 361000 | #Constraints: 31900 1261.23/1264.48 c #Conflicts: 362000 | #Constraints: 32900 1261.23/1264.48 c #Conflicts: 363000 | #Constraints: 33900 1261.23/1264.48 c #Conflicts: 364000 | #Constraints: 34900 1261.23/1264.48 c #Conflicts: 365000 | #Constraints: 35900 1261.23/1264.48 c #Conflicts: 366000 | #Constraints: 36900 1261.23/1264.48 c #Conflicts: 367000 | #Constraints: 37900 1261.23/1264.48 c #Conflicts: 368000 | #Constraints: 38900 1261.23/1264.48 c #Conflicts: 369000 | #Constraints: 39900 1261.23/1264.48 c INPROCESSING 1261.23/1264.48 c GARBAGE COLLECT 1261.23/1264.48 c rational objective 2225.89 1310.49/1313.87 c #Conflicts: 370000 | #Constraints: 28952 1310.49/1313.87 c #Conflicts: 371000 | #Constraints: 29952 1310.49/1313.87 c #Conflicts: 372000 | #Constraints: 30952 1310.49/1313.87 c #Conflicts: 373000 | #Constraints: 31952 1310.49/1313.87 c #Conflicts: 374000 | #Constraints: 32953 1310.49/1313.87 c #Conflicts: 375000 | #Constraints: 33953 1310.49/1313.87 c #Conflicts: 376000 | #Constraints: 34953 1310.49/1313.87 c #Conflicts: 377000 | #Constraints: 35954 1310.49/1313.87 c #Conflicts: 378000 | #Constraints: 36954 1310.49/1313.87 c #Conflicts: 379000 | #Constraints: 37954 1310.49/1313.87 c #Conflicts: 380000 | #Constraints: 38954 1310.49/1313.87 c #Conflicts: 381000 | #Constraints: 39954 1310.49/1313.87 c INPROCESSING 1310.49/1313.87 c GARBAGE COLLECT 1310.49/1313.87 c rational objective 2226.53 1410.63/1414.29 c #Conflicts: 382000 | #Constraints: 28840 1410.63/1414.29 c #Conflicts: 383000 | #Constraints: 29841 1410.63/1414.29 c #Conflicts: 384000 | #Constraints: 30841 1410.63/1414.29 c #Conflicts: 385000 | #Constraints: 31841 1410.63/1414.29 c #Conflicts: 386000 | #Constraints: 32841 1410.63/1414.29 c #Conflicts: 387000 | #Constraints: 33841 1410.63/1414.29 c #Conflicts: 388000 | #Constraints: 34841 1410.63/1414.29 c #Conflicts: 389000 | #Constraints: 35841 1410.63/1414.29 c #Conflicts: 390000 | #Constraints: 36841 1410.63/1414.29 c #Conflicts: 391000 | #Constraints: 37841 1410.63/1414.29 c #Conflicts: 392000 | #Constraints: 38841 1410.63/1414.29 c #Conflicts: 393000 | #Constraints: 39841 1410.63/1414.29 c #Conflicts: 394000 | #Constraints: 40841 1410.63/1414.29 c INPROCESSING 1410.63/1414.29 c GARBAGE COLLECT 1410.63/1414.29 c #Conflicts: 395000 | #Constraints: 29480 1410.63/1414.29 c #Conflicts: 396000 | #Constraints: 30480 1410.63/1414.29 c #Conflicts: 397000 | #Constraints: 31480 1410.63/1414.29 c #Conflicts: 398000 | #Constraints: 32480 1410.63/1414.29 c #Conflicts: 399000 | #Constraints: 33480 1410.63/1414.29 c #Conflicts: 400000 | #Constraints: 34480 1410.63/1414.29 c #Conflicts: 401000 | #Constraints: 35480 1410.63/1414.29 c #Conflicts: 402000 | #Constraints: 36480 1410.63/1414.29 c #Conflicts: 403000 | #Constraints: 37480 1410.63/1414.29 c #Conflicts: 404000 | #Constraints: 38480 1410.63/1414.29 c #Conflicts: 405000 | #Constraints: 39480 1410.63/1414.29 c #Conflicts: 406000 | #Constraints: 40480 1410.63/1414.29 c #Conflicts: 407000 | #Constraints: 41480 1410.63/1414.29 c INPROCESSING 1410.63/1414.29 c GARBAGE COLLECT 1410.63/1414.29 c rational objective 2226.87 1510.45/1514.35 c #Conflicts: 408000 | #Constraints: 29793 1510.45/1514.35 c #Conflicts: 409000 | #Constraints: 30793 1510.45/1514.35 c #Conflicts: 410000 | #Constraints: 31793 1510.45/1514.35 c #Conflicts: 411000 | #Constraints: 32793 1510.45/1514.35 c #Conflicts: 412000 | #Constraints: 33793 1510.45/1514.35 c #Conflicts: 413000 | #Constraints: 34793 1510.45/1514.35 c #Conflicts: 414000 | #Constraints: 35793 1510.45/1514.35 c #Conflicts: 415000 | #Constraints: 36793 1510.45/1514.35 c #Conflicts: 416000 | #Constraints: 37793 1510.45/1514.35 c #Conflicts: 417000 | #Constraints: 38793 1510.45/1514.35 c #Conflicts: 418000 | #Constraints: 39793 1510.45/1514.35 c #Conflicts: 419000 | #Constraints: 40793 1510.45/1514.35 c #Conflicts: 420000 | #Constraints: 41793 1510.45/1514.35 c INPROCESSING 1510.45/1514.35 c GARBAGE COLLECT 1510.45/1514.35 c #Conflicts: 421000 | #Constraints: 29981 1510.45/1514.35 c #Conflicts: 422000 | #Constraints: 30981 1510.45/1514.35 c #Conflicts: 423000 | #Constraints: 31981 1510.45/1514.35 c #Conflicts: 424000 | #Constraints: 32981 1510.45/1514.35 c #Conflicts: 425000 | #Constraints: 33981 1510.45/1514.35 c #Conflicts: 426000 | #Constraints: 34981 1510.45/1514.35 c #Conflicts: 427000 | #Constraints: 35982 1510.45/1514.35 c #Conflicts: 428000 | #Constraints: 36982 1510.45/1514.35 c #Conflicts: 429000 | #Constraints: 37982 1510.45/1514.35 c #Conflicts: 430000 | #Constraints: 38983 1510.45/1514.35 c #Conflicts: 431000 | #Constraints: 39983 1510.45/1514.35 c #Conflicts: 432000 | #Constraints: 40984 1510.45/1514.35 c #Conflicts: 433000 | #Constraints: 41984 1510.45/1514.35 c INPROCESSING 1510.45/1514.35 c GARBAGE COLLECT 1510.45/1514.35 c rational objective 2232.92 1653.61/1657.90 c #Conflicts: 434000 | #Constraints: 29960 1653.61/1657.90 c #Conflicts: 435000 | #Constraints: 30961 1653.61/1657.90 c #Conflicts: 436000 | #Constraints: 31961 1653.61/1657.90 c #Conflicts: 437000 | #Constraints: 32961 1653.61/1657.90 c #Conflicts: 438000 | #Constraints: 33961 1653.61/1657.90 c #Conflicts: 439000 | #Constraints: 34962 1653.61/1657.90 c #Conflicts: 440000 | #Constraints: 35963 1653.61/1657.90 c #Conflicts: 441000 | #Constraints: 36964 1653.61/1657.90 c #Conflicts: 442000 | #Constraints: 37965 1653.61/1657.90 c #Conflicts: 443000 | #Constraints: 38969 1653.61/1657.90 c #Conflicts: 444000 | #Constraints: 39972 1653.61/1657.90 c #Conflicts: 445000 | #Constraints: 40972 1653.61/1657.90 c #Conflicts: 446000 | #Constraints: 41974 1653.61/1657.90 c INPROCESSING 1653.61/1657.90 c GARBAGE COLLECT 1653.61/1657.90 c #Conflicts: 447000 | #Constraints: 29736 1653.61/1657.90 c #Conflicts: 448000 | #Constraints: 30738 1653.61/1657.90 c #Conflicts: 449000 | #Constraints: 31742 1653.61/1657.90 c #Conflicts: 450000 | #Constraints: 32742 1653.61/1657.90 c #Conflicts: 451000 | #Constraints: 33742 1653.61/1657.90 c #Conflicts: 452000 | #Constraints: 34742 1653.61/1657.90 c #Conflicts: 453000 | #Constraints: 35742 1653.61/1657.90 c #Conflicts: 454000 | #Constraints: 36742 1653.61/1657.90 c #Conflicts: 455000 | #Constraints: 37742 1653.61/1657.90 c #Conflicts: 456000 | #Constraints: 38742 1653.61/1657.90 c #Conflicts: 457000 | #Constraints: 39744 1653.61/1657.90 c #Conflicts: 458000 | #Constraints: 40747 1653.61/1657.90 c #Conflicts: 459000 | #Constraints: 41748 1653.61/1657.90 c #Conflicts: 460000 | #Constraints: 42749 1653.61/1657.90 c INPROCESSING 1653.61/1657.90 c GARBAGE COLLECT 1653.61/1657.90 c rational objective 2234.02 1803.95/1808.74 c #Conflicts: 461000 | #Constraints: 30390 1803.95/1808.74 c #Conflicts: 462000 | #Constraints: 31390 1803.95/1808.74 c #Conflicts: 463000 | #Constraints: 32391 1803.95/1808.74 c #Conflicts: 464000 | #Constraints: 33391 1803.95/1808.74 c #Conflicts: 465000 | #Constraints: 34391 1803.95/1808.74 c #Conflicts: 466000 | #Constraints: 35393 1803.95/1808.74 c #Conflicts: 467000 | #Constraints: 36396 1803.95/1808.74 c #Conflicts: 468000 | #Constraints: 37401 1803.95/1808.74 c #Conflicts: 469000 | #Constraints: 38403 1803.95/1808.74 c #Conflicts: 470000 | #Constraints: 39403 1803.95/1808.74 c #Conflicts: 471000 | #Constraints: 40405 1803.95/1808.74 c #Conflicts: 472000 | #Constraints: 41406 1803.95/1808.74 c #Conflicts: 473000 | #Constraints: 42409 1803.95/1808.74 c #Conflicts: 474000 | #Constraints: 43410 1803.95/1808.74 c INPROCESSING 1803.95/1808.74 c GARBAGE COLLECT 1803.95/1808.74 c #Conflicts: 475000 | #Constraints: 30814 1803.95/1808.74 c #Conflicts: 476000 | #Constraints: 31814 1803.95/1808.74 c #Conflicts: 477000 | #Constraints: 32814 1803.95/1808.74 c #Conflicts: 478000 | #Constraints: 33814 1803.95/1808.74 c #Conflicts: 479000 | #Constraints: 34814 1803.95/1808.74 c #Conflicts: 480000 | #Constraints: 35814 1803.95/1808.74 c #Conflicts: 481000 | #Constraints: 36814 1803.95/1808.74 c #Conflicts: 482000 | #Constraints: 37815 1803.95/1808.74 c #Conflicts: 483000 | #Constraints: 38818 1803.95/1808.74 c #Conflicts: 484000 | #Constraints: 39821 1803.95/1808.74 c #Conflicts: 485000 | #Constraints: 40824 1803.95/1808.74 c #Conflicts: 486000 | #Constraints: 41827 1803.95/1808.74 c #Conflicts: 487000 | #Constraints: 42827 1803.95/1808.74 c #Conflicts: 488000 | #Constraints: 43827 1803.95/1808.74 c INPROCESSING 1803.95/1808.74 c GARBAGE COLLECT 1803.95/1808.74 c rational objective 2235.02 1955.27/1960.52 c #Conflicts: 489000 | #Constraints: 30983 1955.27/1960.52 c #Conflicts: 490000 | #Constraints: 31983 1955.27/1960.52 c #Conflicts: 491000 | #Constraints: 32983 1955.27/1960.52 c #Conflicts: 492000 | #Constraints: 33983 1955.27/1960.52 c #Conflicts: 493000 | #Constraints: 34984 1955.27/1960.52 c #Conflicts: 494000 | #Constraints: 35984 1955.27/1960.52 c #Conflicts: 495000 | #Constraints: 36984 1955.27/1960.52 c #Conflicts: 496000 | #Constraints: 37984 1955.27/1960.52 c #Conflicts: 497000 | #Constraints: 38984 1955.27/1960.52 c #Conflicts: 498000 | #Constraints: 39984 1955.27/1960.52 c #Conflicts: 499000 | #Constraints: 40984 1955.27/1960.52 c #Conflicts: 500000 | #Constraints: 41984 1955.27/1960.52 c #Conflicts: 501000 | #Constraints: 42984 1955.27/1960.52 c #Conflicts: 502000 | #Constraints: 43985 1955.27/1960.52 c INPROCESSING 1955.27/1960.52 c GARBAGE COLLECT 1955.27/1960.52 c #Conflicts: 503000 | #Constraints: 31011 1955.27/1960.52 c #Conflicts: 504000 | #Constraints: 32011 1955.27/1960.52 c #Conflicts: 505000 | #Constraints: 33011 1955.27/1960.52 c #Conflicts: 506000 | #Constraints: 34011 1955.27/1960.52 c #Conflicts: 507000 | #Constraints: 35011 1955.27/1960.52 c #Conflicts: 508000 | #Constraints: 36011 1955.27/1960.52 c #Conflicts: 509000 | #Constraints: 37012 1955.27/1960.52 c #Conflicts: 510000 | #Constraints: 38015 1955.27/1960.52 c #Conflicts: 511000 | #Constraints: 39017 1955.27/1960.52 c #Conflicts: 512000 | #Constraints: 40017 1955.27/1960.52 c #Conflicts: 513000 | #Constraints: 41017 1955.27/1960.52 c #Conflicts: 514000 | #Constraints: 42017 1955.27/1960.52 c #Conflicts: 515000 | #Constraints: 43017 1955.27/1960.52 c #Conflicts: 516000 | #Constraints: 44017 1955.27/1960.52 c INPROCESSING 1955.27/1960.52 c GARBAGE COLLECT 1955.27/1960.52 c rational objective 2235.37 2126.61/2132.45 c #Conflicts: 517000 | #Constraints: 30809 2126.61/2132.45 c #Conflicts: 518000 | #Constraints: 31809 2126.61/2132.45 c #Conflicts: 519000 | #Constraints: 32809 2126.61/2132.45 c #Conflicts: 520000 | #Constraints: 33810 2126.61/2132.45 c #Conflicts: 521000 | #Constraints: 34810 2126.61/2132.45 c #Conflicts: 522000 | #Constraints: 35810 2126.61/2132.45 c #Conflicts: 523000 | #Constraints: 36810 2126.61/2132.45 c #Conflicts: 524000 | #Constraints: 37810 2126.61/2132.45 c #Conflicts: 525000 | #Constraints: 38810 2126.61/2132.45 c #Conflicts: 526000 | #Constraints: 39810 2126.61/2132.45 c #Conflicts: 527000 | #Constraints: 40810 2126.61/2132.45 c #Conflicts: 528000 | #Constraints: 41810 2126.61/2132.45 c #Conflicts: 529000 | #Constraints: 42810 2126.61/2132.45 c #Conflicts: 530000 | #Constraints: 43810 2126.61/2132.45 c #Conflicts: 531000 | #Constraints: 44810 2126.61/2132.45 c INPROCESSING 2126.61/2132.45 c GARBAGE COLLECT 2126.61/2132.45 c #Conflicts: 532000 | #Constraints: 31513 2126.61/2132.45 c #Conflicts: 533000 | #Constraints: 32513 2126.61/2132.45 c #Conflicts: 534000 | #Constraints: 33514 2126.61/2132.45 c #Conflicts: 535000 | #Constraints: 34514 2126.61/2132.45 c #Conflicts: 536000 | #Constraints: 35514 2126.61/2132.45 c #Conflicts: 537000 | #Constraints: 36514 2126.61/2132.45 c #Conflicts: 538000 | #Constraints: 37514 2126.61/2132.45 c #Conflicts: 539000 | #Constraints: 38514 2126.61/2132.45 c #Conflicts: 540000 | #Constraints: 39514 2126.61/2132.45 c #Conflicts: 541000 | #Constraints: 40514 2126.61/2132.45 c #Conflicts: 542000 | #Constraints: 41514 2126.61/2132.45 c #Conflicts: 543000 | #Constraints: 42514 2126.61/2132.45 c #Conflicts: 544000 | #Constraints: 43514 2126.61/2132.45 c #Conflicts: 545000 | #Constraints: 44514 2126.61/2132.45 c #Conflicts: 546000 | #Constraints: 45514 2126.61/2132.45 c INPROCESSING 2126.61/2132.45 c GARBAGE COLLECT 2126.61/2132.45 c rational objective 2239.75 2296.58/2302.90 c #Conflicts: 547000 | #Constraints: 31885 2296.58/2302.90 c #Conflicts: 548000 | #Constraints: 32885 2296.58/2302.90 c #Conflicts: 549000 | #Constraints: 33885 2296.58/2302.90 c #Conflicts: 550000 | #Constraints: 34885 2296.58/2302.90 c #Conflicts: 551000 | #Constraints: 35885 2296.58/2302.90 c #Conflicts: 552000 | #Constraints: 36885 2296.58/2302.90 c #Conflicts: 553000 | #Constraints: 37885 2296.58/2302.90 c #Conflicts: 554000 | #Constraints: 38885 2296.58/2302.90 c #Conflicts: 555000 | #Constraints: 39886 2296.58/2302.90 c #Conflicts: 556000 | #Constraints: 40886 2296.58/2302.90 c #Conflicts: 557000 | #Constraints: 41886 2296.58/2302.90 c #Conflicts: 558000 | #Constraints: 42886 2296.58/2302.90 c #Conflicts: 559000 | #Constraints: 43886 2296.58/2302.90 c #Conflicts: 560000 | #Constraints: 44886 2296.58/2302.90 c #Conflicts: 561000 | #Constraints: 45886 2296.58/2302.90 c INPROCESSING 2296.58/2302.90 c GARBAGE COLLECT 2296.58/2302.90 c #Conflicts: 562000 | #Constraints: 31993 2296.58/2302.90 c #Conflicts: 563000 | #Constraints: 32994 2296.58/2302.90 c #Conflicts: 564000 | #Constraints: 33994 2296.58/2302.90 c #Conflicts: 565000 | #Constraints: 34995 2296.58/2302.90 c #Conflicts: 566000 | #Constraints: 35995 2296.58/2302.90 c #Conflicts: 567000 | #Constraints: 36995 2296.58/2302.90 c #Conflicts: 568000 | #Constraints: 37995 2296.58/2302.90 c #Conflicts: 569000 | #Constraints: 38995 2296.58/2302.90 c #Conflicts: 570000 | #Constraints: 39995 2296.58/2302.90 c #Conflicts: 571000 | #Constraints: 40995 2296.58/2302.90 c #Conflicts: 572000 | #Constraints: 41995 2296.58/2302.90 c #Conflicts: 573000 | #Constraints: 42995 2296.58/2302.90 c #Conflicts: 574000 | #Constraints: 43995 2296.58/2302.90 c #Conflicts: 575000 | #Constraints: 44995 2296.58/2302.90 c #Conflicts: 576000 | #Constraints: 45995 2296.58/2302.90 c INPROCESSING 2296.58/2302.90 c GARBAGE COLLECT 2296.58/2302.90 c rational objective 2241.47 2381.13/2387.79 c #Conflicts: 577000 | #Constraints: 31954 2381.13/2387.79 c #Conflicts: 578000 | #Constraints: 32954 2381.13/2387.79 c #Conflicts: 579000 | #Constraints: 33954 2381.13/2387.79 c #Conflicts: 580000 | #Constraints: 34955 2381.13/2387.79 c #Conflicts: 581000 | #Constraints: 35955 2381.13/2387.79 c #Conflicts: 582000 | #Constraints: 36955 2381.13/2387.79 c #Conflicts: 583000 | #Constraints: 37955 2381.13/2387.79 c #Conflicts: 584000 | #Constraints: 38955 2381.13/2387.79 c #Conflicts: 585000 | #Constraints: 39955 2381.13/2387.79 c #Conflicts: 586000 | #Constraints: 40955 2381.13/2387.79 c #Conflicts: 587000 | #Constraints: 41955 2381.13/2387.79 c #Conflicts: 588000 | #Constraints: 42955 2381.13/2387.79 c #Conflicts: 589000 | #Constraints: 43955 2381.13/2387.79 c #Conflicts: 590000 | #Constraints: 44955 2381.13/2387.79 c #Conflicts: 591000 | #Constraints: 45955 2381.13/2387.79 c INPROCESSING 2381.13/2387.79 c GARBAGE COLLECT 2381.13/2387.79 c rational objective 2244.33 2475.66/2482.51 c #Conflicts: 592000 | #Constraints: 31774 2475.66/2482.51 c #Conflicts: 593000 | #Constraints: 32774 2475.66/2482.51 c #Conflicts: 594000 | #Constraints: 33774 2475.66/2482.51 c #Conflicts: 595000 | #Constraints: 34774 2475.66/2482.51 c #Conflicts: 596000 | #Constraints: 35774 2475.66/2482.51 c #Conflicts: 597000 | #Constraints: 36774 2475.66/2482.51 c #Conflicts: 598000 | #Constraints: 37774 2475.66/2482.51 c #Conflicts: 599000 | #Constraints: 38774 2475.66/2482.51 c #Conflicts: 600000 | #Constraints: 39774 2475.66/2482.51 c #Conflicts: 601000 | #Constraints: 40775 2475.66/2482.51 c #Conflicts: 602000 | #Constraints: 41775 2475.66/2482.51 c #Conflicts: 603000 | #Constraints: 42775 2475.66/2482.51 c #Conflicts: 604000 | #Constraints: 43775 2475.66/2482.51 c #Conflicts: 605000 | #Constraints: 44775 2475.66/2482.51 c #Conflicts: 606000 | #Constraints: 45776 2475.66/2482.51 c #Conflicts: 607000 | #Constraints: 46776 2475.66/2482.51 c INPROCESSING 2475.66/2482.51 c GARBAGE COLLECT 2475.66/2482.51 c rational objective 2245.8 2631.52/2638.81 c #Conflicts: 608000 | #Constraints: 32380 2631.52/2638.81 c #Conflicts: 609000 | #Constraints: 33380 2631.52/2638.81 c #Conflicts: 610000 | #Constraints: 34380 2631.52/2638.81 c #Conflicts: 611000 | #Constraints: 35381 2631.52/2638.81 c #Conflicts: 612000 | #Constraints: 36381 2631.52/2638.81 c #Conflicts: 613000 | #Constraints: 37382 2631.52/2638.81 c #Conflicts: 614000 | #Constraints: 38382 2631.52/2638.81 c #Conflicts: 615000 | #Constraints: 39382 2631.52/2638.81 c #Conflicts: 616000 | #Constraints: 40382 2631.52/2638.81 c #Conflicts: 617000 | #Constraints: 41383 2631.52/2638.81 c #Conflicts: 618000 | #Constraints: 42383 2631.52/2638.81 c #Conflicts: 619000 | #Constraints: 43383 2631.52/2638.81 c #Conflicts: 620000 | #Constraints: 44383 2631.52/2638.81 c #Conflicts: 621000 | #Constraints: 45383 2631.52/2638.81 c #Conflicts: 622000 | #Constraints: 46383 2631.52/2638.81 c #Conflicts: 623000 | #Constraints: 47383 2631.52/2638.81 c INPROCESSING 2631.52/2638.81 c GARBAGE COLLECT 2631.52/2638.81 c #Conflicts: 624000 | #Constraints: 32795 2631.52/2638.81 c #Conflicts: 625000 | #Constraints: 33795 2631.52/2638.81 c #Conflicts: 626000 | #Constraints: 34795 2631.52/2638.81 c #Conflicts: 627000 | #Constraints: 35795 2631.52/2638.81 c #Conflicts: 628000 | #Constraints: 36795 2631.52/2638.81 c #Conflicts: 629000 | #Constraints: 37795 2631.52/2638.81 c #Conflicts: 630000 | #Constraints: 38795 2631.52/2638.81 c #Conflicts: 631000 | #Constraints: 39796 2631.52/2638.81 c #Conflicts: 632000 | #Constraints: 40796 2631.52/2638.81 c #Conflicts: 633000 | #Constraints: 41796 2631.52/2638.81 c #Conflicts: 634000 | #Constraints: 42796 2631.52/2638.81 c #Conflicts: 635000 | #Constraints: 43796 2631.52/2638.81 c #Conflicts: 636000 | #Constraints: 44796 2631.52/2638.81 c #Conflicts: 637000 | #Constraints: 45796 2631.52/2638.81 c #Conflicts: 638000 | #Constraints: 46796 2631.52/2638.81 c #Conflicts: 639000 | #Constraints: 47796 2631.52/2638.81 c INPROCESSING 2631.52/2638.81 c GARBAGE COLLECT 2631.52/2638.81 c rational objective 2246.16 2788.23/2795.97 c #Conflicts: 640000 | #Constraints: 33052 2788.23/2795.97 c #Conflicts: 641000 | #Constraints: 34052 2788.23/2795.97 c #Conflicts: 642000 | #Constraints: 35053 2788.23/2795.97 c #Conflicts: 643000 | #Constraints: 36053 2788.23/2795.97 c #Conflicts: 644000 | #Constraints: 37053 2788.23/2795.97 c #Conflicts: 645000 | #Constraints: 38053 2788.23/2795.97 c #Conflicts: 646000 | #Constraints: 39053 2788.23/2795.97 c #Conflicts: 647000 | #Constraints: 40053 2788.23/2795.97 c #Conflicts: 648000 | #Constraints: 41053 2788.23/2795.97 c #Conflicts: 649000 | #Constraints: 42053 2788.23/2795.97 c #Conflicts: 650000 | #Constraints: 43053 2788.23/2795.97 c #Conflicts: 651000 | #Constraints: 44053 2788.23/2795.97 c #Conflicts: 652000 | #Constraints: 45053 2788.23/2795.97 c #Conflicts: 653000 | #Constraints: 46053 2788.23/2795.97 c #Conflicts: 654000 | #Constraints: 47053 2788.23/2795.97 c #Conflicts: 655000 | #Constraints: 48053 2788.23/2795.97 c INPROCESSING 2788.23/2795.97 c GARBAGE COLLECT 2788.23/2795.97 c #Conflicts: 656000 | #Constraints: 33134 2788.23/2795.97 c #Conflicts: 657000 | #Constraints: 34134 2788.23/2795.97 c #Conflicts: 658000 | #Constraints: 35135 2788.23/2795.97 c #Conflicts: 659000 | #Constraints: 36136 2788.23/2795.97 c #Conflicts: 660000 | #Constraints: 37137 2788.23/2795.97 c #Conflicts: 661000 | #Constraints: 38139 2788.23/2795.97 c #Conflicts: 662000 | #Constraints: 39139 2788.23/2795.97 c #Conflicts: 663000 | #Constraints: 40139 2788.23/2795.97 c #Conflicts: 664000 | #Constraints: 41143 2788.23/2795.97 c #Conflicts: 665000 | #Constraints: 42144 2788.23/2795.97 c #Conflicts: 666000 | #Constraints: 43144 2788.23/2795.97 c #Conflicts: 667000 | #Constraints: 44144 2788.23/2795.97 c #Conflicts: 668000 | #Constraints: 45144 2788.23/2795.97 c #Conflicts: 669000 | #Constraints: 46144 2788.23/2795.97 c #Conflicts: 670000 | #Constraints: 47144 2788.23/2795.97 c #Conflicts: 671000 | #Constraints: 48144 2788.23/2795.97 c INPROCESSING 2788.23/2795.97 c GARBAGE COLLECT 2788.23/2795.97 c rational objective 2247.53 2936.15/2944.27 c #Conflicts: 672000 | #Constraints: 32930 2936.15/2944.27 c #Conflicts: 673000 | #Constraints: 33930 2936.15/2944.27 c #Conflicts: 674000 | #Constraints: 34930 2936.15/2944.27 c #Conflicts: 675000 | #Constraints: 35931 2936.15/2944.27 c #Conflicts: 676000 | #Constraints: 36931 2936.15/2944.27 c #Conflicts: 677000 | #Constraints: 37931 2936.15/2944.27 c #Conflicts: 678000 | #Constraints: 38931 2936.15/2944.27 c #Conflicts: 679000 | #Constraints: 39931 2936.15/2944.27 c #Conflicts: 680000 | #Constraints: 40931 2936.15/2944.27 c #Conflicts: 681000 | #Constraints: 41931 2936.15/2944.27 c #Conflicts: 682000 | #Constraints: 42932 2936.15/2944.27 c #Conflicts: 683000 | #Constraints: 43932 2936.15/2944.27 c #Conflicts: 684000 | #Constraints: 44932 2936.15/2944.27 c #Conflicts: 685000 | #Constraints: 45932 2936.15/2944.27 c #Conflicts: 686000 | #Constraints: 46933 2936.15/2944.27 c #Conflicts: 687000 | #Constraints: 47933 2936.15/2944.27 c #Conflicts: 688000 | #Constraints: 48933 2936.15/2944.27 c INPROCESSING 2936.15/2944.27 c GARBAGE COLLECT 2936.15/2944.27 c rational objective 2247.74 3135.01/3143.73 c #Conflicts: 689000 | #Constraints: 33582 3135.01/3143.73 c #Conflicts: 690000 | #Constraints: 34582 3135.01/3143.73 c #Conflicts: 691000 | #Constraints: 35582 3135.01/3143.73 c #Conflicts: 692000 | #Constraints: 36582 3135.01/3143.73 c #Conflicts: 693000 | #Constraints: 37582 3135.01/3143.73 c #Conflicts: 694000 | #Constraints: 38582 3135.01/3143.73 c #Conflicts: 695000 | #Constraints: 39582 3135.01/3143.73 c #Conflicts: 696000 | #Constraints: 40582 3135.01/3143.73 c #Conflicts: 697000 | #Constraints: 41582 3135.01/3143.73 c #Conflicts: 698000 | #Constraints: 42582 3135.01/3143.73 c #Conflicts: 699000 | #Constraints: 43582 3135.01/3143.73 c #Conflicts: 700000 | #Constraints: 44582 3135.01/3143.73 c #Conflicts: 701000 | #Constraints: 45582 3135.01/3143.73 c #Conflicts: 702000 | #Constraints: 46582 3135.01/3143.73 c #Conflicts: 703000 | #Constraints: 47582 3135.01/3143.73 c #Conflicts: 704000 | #Constraints: 48582 3135.01/3143.73 c #Conflicts: 705000 | #Constraints: 49582 3135.01/3143.73 c INPROCESSING 3135.01/3143.73 c GARBAGE COLLECT 3135.01/3143.73 c #Conflicts: 706000 | #Constraints: 33836 3135.01/3143.73 c #Conflicts: 707000 | #Constraints: 34836 3135.01/3143.73 c #Conflicts: 708000 | #Constraints: 35836 3135.01/3143.73 c #Conflicts: 709000 | #Constraints: 36836 3135.01/3143.73 c #Conflicts: 710000 | #Constraints: 37836 3135.01/3143.73 c #Conflicts: 711000 | #Constraints: 38836 3135.01/3143.73 c #Conflicts: 712000 | #Constraints: 39836 3135.01/3143.73 c #Conflicts: 713000 | #Constraints: 40836 3135.01/3143.73 c #Conflicts: 714000 | #Constraints: 41836 3135.01/3143.73 c #Conflicts: 715000 | #Constraints: 42836 3135.01/3143.73 c #Conflicts: 716000 | #Constraints: 43837 3135.01/3143.73 c #Conflicts: 717000 | #Constraints: 44837 3135.01/3143.73 c #Conflicts: 718000 | #Constraints: 45837 3135.01/3143.73 c #Conflicts: 719000 | #Constraints: 46837 3135.01/3143.73 c #Conflicts: 720000 | #Constraints: 47837 3135.01/3143.73 c #Conflicts: 721000 | #Constraints: 48838 3135.01/3143.73 c #Conflicts: 722000 | #Constraints: 49838 3135.01/3143.73 c INPROCESSING 3135.01/3143.73 c GARBAGE COLLECT 3135.01/3143.73 c rational objective 2260.66 3340.31/3349.74 c #Conflicts: 723000 | #Constraints: 34068 3340.31/3349.74 c #Conflicts: 724000 | #Constraints: 35068 3340.31/3349.74 c #Conflicts: 725000 | #Constraints: 36068 3340.31/3349.74 c #Conflicts: 726000 | #Constraints: 37068 3340.31/3349.74 c #Conflicts: 727000 | #Constraints: 38068 3340.31/3349.74 c #Conflicts: 728000 | #Constraints: 39068 3340.31/3349.74 c #Conflicts: 729000 | #Constraints: 40068 3340.31/3349.74 c #Conflicts: 730000 | #Constraints: 41068 3340.31/3349.74 c #Conflicts: 731000 | #Constraints: 42068 3340.31/3349.74 c #Conflicts: 732000 | #Constraints: 43068 3340.31/3349.74 c #Conflicts: 733000 | #Constraints: 44068 3340.31/3349.74 c #Conflicts: 734000 | #Constraints: 45068 3340.31/3349.74 c #Conflicts: 735000 | #Constraints: 46068 3340.31/3349.74 c #Conflicts: 736000 | #Constraints: 47068 3340.31/3349.74 c #Conflicts: 737000 | #Constraints: 48068 3340.31/3349.74 c #Conflicts: 738000 | #Constraints: 49070 3340.31/3349.74 c #Conflicts: 739000 | #Constraints: 50074 3340.31/3349.74 c INPROCESSING 3340.31/3349.74 c GARBAGE COLLECT 3340.31/3349.74 c #Conflicts: 740000 | #Constraints: 34066 3340.31/3349.74 c #Conflicts: 741000 | #Constraints: 35066 3340.31/3349.74 c #Conflicts: 742000 | #Constraints: 36066 3340.31/3349.74 c #Conflicts: 743000 | #Constraints: 37066 3340.31/3349.74 c #Conflicts: 744000 | #Constraints: 38067 3340.31/3349.74 c #Conflicts: 745000 | #Constraints: 39067 3340.31/3349.74 c #Conflicts: 746000 | #Constraints: 40067 3340.31/3349.74 c #Conflicts: 747000 | #Constraints: 41067 3340.31/3349.74 c #Conflicts: 748000 | #Constraints: 42068 3340.31/3349.74 c #Conflicts: 749000 | #Constraints: 43068 3340.31/3349.74 c #Conflicts: 750000 | #Constraints: 44068 3340.31/3349.74 c #Conflicts: 751000 | #Constraints: 45069 3340.31/3349.74 c #Conflicts: 752000 | #Constraints: 46069 3340.31/3349.74 c #Conflicts: 753000 | #Constraints: 47070 3340.31/3349.74 c #Conflicts: 754000 | #Constraints: 48071 3340.31/3349.74 c #Conflicts: 755000 | #Constraints: 49072 3340.31/3349.74 c #Conflicts: 756000 | #Constraints: 50073 3340.31/3349.74 c INPROCESSING 3340.31/3349.74 c GARBAGE COLLECT 3340.31/3349.74 c rational objective 2260.68 3456.81/3466.61 c #Conflicts: 757000 | #Constraints: 33783 3456.81/3466.61 c #Conflicts: 758000 | #Constraints: 34783 3456.81/3466.61 c #Conflicts: 759000 | #Constraints: 35783 3456.81/3466.61 c #Conflicts: 760000 | #Constraints: 36783 3456.81/3466.61 c #Conflicts: 761000 | #Constraints: 37784 3456.81/3466.61 c #Conflicts: 762000 | #Constraints: 38784 3456.81/3466.61 c #Conflicts: 763000 | #Constraints: 39784 3456.81/3466.61 c #Conflicts: 764000 | #Constraints: 40784 3456.81/3466.61 c #Conflicts: 765000 | #Constraints: 41784 3456.81/3466.61 c #Conflicts: 766000 | #Constraints: 42784 3456.81/3466.61 c #Conflicts: 767000 | #Constraints: 43784 3456.81/3466.61 c #Conflicts: 768000 | #Constraints: 44784 3456.81/3466.61 c #Conflicts: 769000 | #Constraints: 45784 3456.81/3466.61 c #Conflicts: 770000 | #Constraints: 46784 3456.81/3466.61 c #Conflicts: 771000 | #Constraints: 47784 3456.81/3466.61 c #Conflicts: 772000 | #Constraints: 48784 3456.81/3466.61 c #Conflicts: 773000 | #Constraints: 49784 3456.81/3466.61 c #Conflicts: 774000 | #Constraints: 50785 3456.81/3466.61 c INPROCESSING 3456.81/3466.61 c GARBAGE COLLECT 3456.81/3466.61 c rational objective 2261.55 3600.00/3610.30 c #Conflicts: 775000 | #Constraints: 34447 3600.00/3610.30 c #Conflicts: 776000 | #Constraints: 35447 3600.00/3610.30 c #Conflicts: 777000 | #Constraints: 36447 3600.00/3610.30 c #Conflicts: 778000 | #Constraints: 37447 3600.00/3610.30 c #Conflicts: 779000 | #Constraints: 38447 3600.00/3610.30 c #Conflicts: 780000 | #Constraints: 39447 3600.00/3610.30 c #Conflicts: 781000 | #Constraints: 40448 3600.00/3610.30 c #Conflicts: 782000 | #Constraints: 41448 3600.00/3610.30 c #Conflicts: 783000 | #Constraints: 42449 3600.00/3610.30 c #Conflicts: 784000 | #Constraints: 43449 3600.00/3610.30 c #Conflicts: 785000 | #Constraints: 44449 3600.00/3610.30 c #Conflicts: 786000 | #Constraints: 45449 3600.00/3610.30 c #Conflicts: 787000 | #Constraints: 46450 3600.00/3610.30 c #Conflicts: 788000 | #Constraints: 47450 3600.00/3610.30 c #Conflicts: 789000 | #Constraints: 48450 3600.00/3610.30 c #Conflicts: 790000 | #Constraints: 49450 3600.00/3610.30 c #Conflicts: 791000 | #Constraints: 50450 3600.00/3610.30 c #Conflicts: 792000 | #Constraints: 51450 3600.00/3610.30 c INPROCESSING 3600.00/3610.30 c GARBAGE COLLECT 3600.00/3610.30 c #Conflicts: 793000 | #Constraints: 34873 3600.00/3610.30 c #Conflicts: 794000 | #Constraints: 35874 3600.00/3610.30 c #Conflicts: 795000 | #Constraints: 36874 3600.00/3610.30 c #Conflicts: 796000 | #Constraints: 37874 3600.00/3610.30 c #Conflicts: 797000 | #Constraints: 38875 3600.00/3610.30 c #Conflicts: 798000 | #Constraints: 39875 3600.00/3610.30 c #Conflicts: 799000 | #Constraints: 40875 3600.00/3610.30 c #Conflicts: 800000 | #Constraints: 41875 3600.00/3610.30 c Program interrupted by user. 3600.00/3610.34 c cpu time 3551.41 s 3600.00/3610.34 c deterministic time 158012138721 1.58e+11 3600.00/3610.34 c optimization time 39.1485 s 3600.00/3610.34 c total solve time 3512.03 s 3600.00/3610.34 c core-guided solve time 0 s 3600.00/3610.34 c propagation time 1746.4 s 3600.00/3610.34 c conflict analysis time 932.735 s 3600.00/3610.34 c propagations 631358385 3600.00/3610.34 c resolve steps 10270825 3600.00/3610.34 c decisions 18111223 3600.00/3610.34 c conflicts 800138 3600.00/3610.34 c restarts 1713 3600.00/3610.34 c inprocessing phases 80 3600.00/3610.34 c input clauses 10254 3600.00/3610.34 c input cardinalities 9467 3600.00/3610.34 c input general constraints 0 3600.00/3610.34 c input average constraint length 4.88 3600.00/3610.34 c input average constraint degree 3.34 3600.00/3610.34 c learned clauses 176051 3600.00/3610.34 c learned cardinalities 28627 3600.00/3610.34 c learned general constraints 595622 3600.00/3610.34 c learned average constraint length 1561.60 3600.00/3610.34 c learned average constraint degree 1608486953.77 3600.00/3610.34 c watched constraints 175201 3600.00/3610.34 c counting constraints 420421 3600.00/3610.34 c gcd simplifications 2186 3600.00/3610.34 c detected cardinalities 265 3600.00/3610.34 c weakened non-implied lits 903559396 3600.00/3610.34 c weakened non-implying lits 166647 3600.00/3610.34 c original variables 21582 3600.00/3610.34 c clausal propagations 92068130 3600.00/3610.34 c cardinality propagations 170209094 3600.00/3610.34 c watched propagations 5438934 3600.00/3610.34 c counting propagations 332466478 3600.00/3610.34 c watch lookups 28807305672 3600.00/3610.34 c watch backjump lookups 28235608121 3600.00/3610.34 c watch checks 20158259380 3600.00/3610.34 c propagation checks 75447697559 3600.00/3610.34 c constraint additions 4061939878 3600.00/3610.34 c trail pops 650257579 3600.00/3610.34 c formula constraints 19721 3600.00/3610.34 c learned constraints 799974 3600.00/3610.34 c bound constraints 0 3600.00/3610.34 c core-guided constraints 0 3600.00/3610.34 c encountered formula constraints 6458058 3600.00/3610.34 c encountered learned constraints 4596941 3600.00/3610.34 c encountered bound constraints 0 3600.00/3610.34 c encountered core-guided constraints 0 3600.00/3610.34 c LP total time 1214.72 s 3600.00/3610.34 c LP solve time 1204.8 s 3600.00/3610.34 c LP constraints added 20977 3600.00/3610.34 c LP constraints removed 1119 3600.00/3610.34 c LP pivots internal 804600 3600.00/3610.34 c LP pivots root 796323 3600.00/3610.34 c LP calls 209 3600.00/3610.34 c LP optimalities 40 3600.00/3610.34 c LP no pivot count 0 3600.00/3610.34 c LP infeasibilities 163 3600.00/3610.34 c LP valid Farkas constraints 163 3600.00/3610.34 c LP learned Farkas constraints 163 3600.00/3610.34 c LP basis resets 0 3600.00/3610.34 c LP cycling count 0 3600.00/3610.34 c LP singular count 0 3600.00/3610.34 c LP no primal count 0 3600.00/3610.34 c LP no farkas count 0 3600.00/3610.34 c LP other issue count 0 3600.00/3610.34 c LP Gomory cuts 0 3600.00/3610.34 c LP learned cuts 1256 3600.00/3610.34 c LP deleted cuts 1119 3600.00/3610.34 c LP encountered Gomory constraints 0 3600.00/3610.34 c LP encountered Farkas constraints 14627 3600.00/3610.34 c LP encountered learned Farkas constraints 1174 3600.00/3610.34 c CG auxiliary variables introduced 0 3600.00/3610.34 c CG solutions found 0 3600.00/3610.34 c CG cores constructed 0 3600.00/3610.34 c CG core cardinality constraints returned 0 3600.00/3610.34 c CG unit cores 0 3600.00/3610.34 c CG single cores 0 3600.00/3610.34 c CG blocks removed during cardinality reduction 0 3600.00/3610.34 c CG first core best 0 3600.00/3610.34 c CG decision core best 0 3600.00/3610.34 c CG core reduction tie 0 3600.00/3610.34 c CG core degree average 0.00 3600.00/3610.34 c CG core slack average 0.00 3600.00/3610.34 s UNKNOWN
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: 64059 MiB (54273 MiB free)
memory of node 1: 64510 MiB (57254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457397-1721840391/watcher-4457397-1721840391 -o /tmp/evaluation-result-4457397-1721840391/solver-4457397-1721840391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721833630-188596 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457397-1721840391 --lp-cut-gomory=0 HOME/instance-4457397-1721840391.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=192651, runsolver pid=192648
Current StackSize limit: 8192 KiB
[startup+0.100555 s]*
/proc/loadavg: 4.18 4.15 4.16 5/251 192652
/proc/meminfo: memFree=114197032/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=44248 memory=11584 CPUtime=0.09 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 2529 0 0 0 7 2 0 0 20 0 1 0 20028845 45309952 2896 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 11062 2896 1360 992 0 2920 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 11584 KiB
[startup+0.214175 s]*
/proc/loadavg: 4.18 4.15 4.16 5/251 192652
/proc/meminfo: memFree=114195016/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=44644 memory=12900 CPUtime=0.21 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 2853 0 0 0 17 4 0 0 20 0 1 0 20028845 45715456 3225 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 11161 3225 1360 992 0 3019 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44644 KiB
Current children cumulated memory: 12900 KiB
[startup+0.313881 s]*
/proc/loadavg: 4.18 4.15 4.16 5/251 192652
/proc/meminfo: memFree=114179408/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=63588 memory=33024 CPUtime=0.31 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 7937 0 0 0 25 6 0 0 20 0 1 0 20028845 65114112 8256 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 15897 8256 1662 992 0 7755 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63588 KiB
Current children cumulated memory: 33024 KiB
[startup+0.700338 s]
/proc/loadavg: 4.18 4.15 4.16 5/251 192652
/proc/meminfo: memFree=114173556/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=68864 memory=36636 CPUtime=0.68 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 8809 0 0 0 61 7 0 0 20 0 1 0 20028845 70516736 9159 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 17216 9159 1710 992 0 9074 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68864 KiB
Current children cumulated memory: 36636 KiB
[startup+1.50028 s]
/proc/loadavg: 4.18 4.15 4.16 5/251 192652
/proc/meminfo: memFree=114171484/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=69060 memory=41436 CPUtime=1.48 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 9457 0 0 0 135 13 0 0 20 0 1 0 20028845 70717440 10359 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 17265 10359 1741 992 0 9123 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69060 KiB
Current children cumulated memory: 41436 KiB
[startup+3.1146 s]
/proc/loadavg: 4.16 4.15 4.16 5/251 192652
/proc/meminfo: memFree=114126508/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=103344 memory=69264 CPUtime=3.09 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 15898 0 0 0 288 21 0 0 20 0 1 0 20028845 105824256 17316 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 25836 17316 1756 992 0 17694 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 103344 KiB
Current children cumulated memory: 69264 KiB
[startup+6.30028 s]
/proc/loadavg: 4.16 4.15 4.16 5/251 192654
/proc/meminfo: memFree=114118460/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=105604 memory=71624 CPUtime=6.27 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 16537 0 0 0 602 25 0 0 20 0 1 0 20028845 108138496 17906 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 26401 17906 1756 992 0 18259 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105604 KiB
Current children cumulated memory: 71624 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.14 4.16 5/251 192654
/proc/meminfo: memFree=114022880/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=141540 memory=108000 CPUtime=12.65 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 22951 0 0 0 1222 43 0 0 20 0 1 0 20028845 144936960 27000 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 35385 27000 1834 992 0 27243 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 141540 KiB
Current children cumulated memory: 108000 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.14 4.15 5/252 192660
/proc/meminfo: memFree=113907000/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=187696 memory=145416 CPUtime=25.42 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 29798 0 0 0 2478 64 0 0 20 0 1 0 20028845 192200704 36354 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 46924 36354 1866 992 0 38782 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 187696 KiB
Current children cumulated memory: 145416 KiB
[startup+51.1137 s]
/proc/loadavg: 4.21 4.16 4.16 5/250 192663
/proc/meminfo: memFree=113688540/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=204248 memory=170660 CPUtime=50.97 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 33540 0 0 0 4982 115 0 0 20 0 1 0 20028845 209149952 42665 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 51062 42665 1866 992 0 42920 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 204248 KiB
Current children cumulated memory: 170660 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/250 192684
/proc/meminfo: memFree=113358728/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=262692 memory=203892 CPUtime=102.03 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 40886 0 0 0 10002 201 0 0 20 0 1 0 20028845 268996608 50973 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 65673 50973 1866 992 0 57531 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 262692 KiB
Current children cumulated memory: 203892 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/250 192694
/proc/meminfo: memFree=112777980/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=389424 memory=315880 CPUtime=161.89 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 60189 0 0 0 15896 293 0 0 20 0 1 0 20028845 398770176 78970 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 97356 78970 1866 992 0 89214 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 389424 KiB
Current children cumulated memory: 315880 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.16 5/250 192705
/proc/meminfo: memFree=112367156/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=415548 memory=337792 CPUtime=221.74 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 65668 0 0 0 21784 390 0 0 20 0 1 0 20028845 425521152 84448 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 103887 84448 1866 992 0 95745 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 415548 KiB
Current children cumulated memory: 337792 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/249 192716
/proc/meminfo: memFree=111738756/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=415680 memory=338580 CPUtime=281.6 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 65843 0 0 0 27651 509 0 0 20 0 1 0 20028845 425656320 84645 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 103920 84645 1866 992 0 95778 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 415680 KiB
Current children cumulated memory: 338580 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/246 192726
/proc/meminfo: memFree=111381832/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=423984 memory=347664 CPUtime=341.45 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 68021 0 0 0 33565 580 0 0 20 0 1 0 20028845 434159616 86916 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 105996 86916 1866 992 0 97854 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 423984 KiB
Current children cumulated memory: 347664 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/249 192740
/proc/meminfo: memFree=110767124/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=427360 memory=352400 CPUtime=401.28 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 69268 0 0 0 39428 700 0 0 20 0 1 0 20028845 437616640 88100 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 106840 88100 1866 992 0 98698 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 427360 KiB
Current children cumulated memory: 352400 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/249 192751
/proc/meminfo: memFree=110311820/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=438672 memory=380936 CPUtime=461.13 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 72243 0 0 0 45328 785 0 0 20 0 1 0 20028845 449200128 95234 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
################
# More data... #
################
Current children cumulated memory: 1140968 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/246 194015
/proc/meminfo: memFree=101689636/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1353800 memory=1150360 CPUtime=2914.31 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 192715 0 0 0 287412 4019 0 0 20 0 1 0 20028845 1386291200 287590 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 338450 287590 1866 992 0 330308 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 1353800 KiB
Current children cumulated memory: 1150360 KiB
[startup+2982.3 s]
/proc/loadavg: 4.34 4.17 4.16 5/248 194030
/proc/meminfo: memFree=101336672/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1354512 memory=1151508 CPUtime=2974.13 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 193286 0 0 0 293306 4107 0 0 20 0 1 0 20028845 1387020288 287877 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 338628 287877 1866 992 0 330486 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 1354512 KiB
Current children cumulated memory: 1151508 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/251 194045
/proc/meminfo: memFree=100843100/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1357132 memory=1153648 CPUtime=3033.95 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 194249 0 0 0 299198 4197 0 0 20 0 1 0 20028845 1389703168 288412 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 339283 288412 1866 992 0 331141 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 1357132 KiB
Current children cumulated memory: 1153648 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/254 194059
/proc/meminfo: memFree=100604408/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1357420 memory=1154168 CPUtime=3093.74 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 194766 0 0 0 305128 4246 0 0 20 0 1 0 20028845 1389998080 288542 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 339355 288542 1866 992 0 331213 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 1357420 KiB
Current children cumulated memory: 1154168 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/253 194069
/proc/meminfo: memFree=100392060/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1358712 memory=1155804 CPUtime=3153.54 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 195593 0 0 0 311056 4298 0 0 20 0 1 0 20028845 1391321088 288951 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 339678 288951 1866 992 0 331536 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 1358712 KiB
Current children cumulated memory: 1155804 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/254 194081
/proc/meminfo: memFree=99859112/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1360980 memory=1157724 CPUtime=3213.34 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 196712 0 0 0 316951 4383 0 0 20 0 1 0 20028845 1393643520 289431 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 340245 289431 1866 992 0 332103 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 1360980 KiB
Current children cumulated memory: 1157724 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/255 194093
/proc/meminfo: memFree=99380648/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1361340 memory=1158444 CPUtime=3273.13 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 197234 0 0 0 322833 4480 0 0 20 0 1 0 20028845 1394012160 289611 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 340335 289611 1866 992 0 332193 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 1361340 KiB
Current children cumulated memory: 1158444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/254 194487
/proc/meminfo: memFree=99156804/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1373584 memory=1168780 CPUtime=3332.93 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 200084 0 0 0 328756 4537 0 0 20 0 1 0 20028845 1406550016 292195 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 343396 292195 1866 992 0 335254 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 1373584 KiB
Current children cumulated memory: 1168780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.60 4.24 4.18 5/254 194497
/proc/meminfo: memFree=98741612/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1373584 memory=1168888 CPUtime=3392.72 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 200584 0 0 0 334635 4637 0 0 20 0 1 0 20028845 1406550016 292222 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 343396 292222 1866 992 0 335254 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 1373584 KiB
Current children cumulated memory: 1168888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.21 4.17 5/254 194507
/proc/meminfo: memFree=98545184/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1374480 memory=1169580 CPUtime=3452.52 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 201167 0 0 0 340564 4688 0 0 20 0 1 0 20028845 1407467520 292395 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 343620 292395 1866 992 0 335478 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 1374480 KiB
Current children cumulated memory: 1169580 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/253 194688
/proc/meminfo: memFree=98156060/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1375476 memory=1170544 CPUtime=3512.31 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 201907 0 0 0 346460 4771 0 0 20 0 1 0 20028845 1408487424 292636 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 343869 292636 1866 992 0 335727 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 1375476 KiB
Current children cumulated memory: 1170544 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.16 5/251 194698
/proc/meminfo: memFree=97815720/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1389104 memory=1179940 CPUtime=3572.1 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 204685 0 0 0 352381 4829 0 0 20 0 1 0 20028845 1422442496 294985 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 347276 294985 1866 992 0 339134 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 1389104 KiB
Current children cumulated memory: 1179940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.28 4.19 4.17 6/251 194703
/proc/meminfo: memFree=97668728/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1389104 memory=1180048 CPUtime=3600 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 204741 0 0 0 355140 4860 0 0 20 0 1 0 20028845 1422442496 295012 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 347276 295012 1866 992 0 339134 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1389104 KiB
Current children cumulated memory: 1180048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.35 s]
# the end of solver process 192651 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3551.41 s, system=48.6131 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.28 4.19 4.17 6/251 194703
/proc/meminfo: memFree=97668728/131655788 swapFree=131057052/131071996
[pid=192651] ppid=192648 vsize=1389104 memory=1180048 CPUtime=3600 cores=5,7
/proc/192651/stat : 192651 (roundingsat) R 192648 192651 188583 0 -1 4194304 204741 0 0 0 355140 4860 0 0 20 0 1 0 20028845 1422442496 295012 134679101440 4194304 8254037 140731899871840 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 24154112 140731899876188 140731899876450 140731899876450 140731899883465 0
/proc/192651/statm: 347276 295012 1866 992 0 339134 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1389104 KiB
Current children cumulated memory: 1180048 KiB
Child status: 0
Real time (s): 3610.35
CPU time (s): 3600.03
CPU user time (s): 3551.41
CPU system time (s): 48.6131
CPU usage (%): 99.714
Max. virtual memory (cumulated for all children) (KiB): 1389104
Max. memory (cumulated for all children) (KiB): 1180048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.41
system time used= 48.6131
maximum resident set size= 1180048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204757
page faults= 0
swaps= 0
block input operations= 0
block output operations= 42273504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253
involuntary context switches= 4539
# summary of solver processes directly reported to runsolver:
# pid: 192651
# total CPU time (s): 3600.03
# total CPU user time (s): 3551.41
# total CPU system time (s): 48.6131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1588 second user time and 38.0063 second system time
The end
Begin job on nodeC012 at 2024-07-24 18:59:51 IDJOB=4457397 IDBENCH=164356 IDSOLVER=3085 FILE ID=nodeC012/4457397-1721840391 RUNJOBID= nodeC012-1721833630-188596 SLURM_JOB_ID= 7891540 Free space on /tmp= 723756 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-4457397-1721840391/watcher-4457397-1721840391 -o /tmp/evaluation-result-4457397-1721840391/solver-4457397-1721840391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721833630-188596 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457397-1721840391 --lp-cut-gomory=0 HOME/instance-4457397-1721840391.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91 RANDOM SEED=1780919117 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3665.240 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3641.859 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.195 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.290 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3649.876 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1795.772 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.377 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.167 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 114205020 kB MemAvailable: 129604924 kB Buffers: 275804 kB Cached: 15909460 kB SwapCached: 84 kB Active: 2523656 kB Inactive: 14282276 kB Active(anon): 4148 kB Inactive(anon): 669700 kB Active(file): 2519508 kB Inactive(file): 13612576 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057052 kB Dirty: 24112 kB Writeback: 0 kB AnonPages: 615404 kB Mapped: 125456 kB Shmem: 53076 kB KReclaimable: 215700 kB Slab: 328292 kB SReclaimable: 215700 kB SUnreclaim: 112592 kB KernelStack: 4012 kB PageTables: 10812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 979080 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15136 kB HardwareCorrupted: 0 kB AnonHugePages: 473088 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: 402248 kB DirectMap2M: 55076864 kB DirectMap1G: 80740352 kB Free space on /tmp at the end= 723748 MiB End job on nodeC012 at 2024-07-24 20:00:02