| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | 22 | 3600.04 | 3610.63 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-iis-glass-cov.opb |
| MD5SUM | d19cd21a9273f0af629a2ef833d8382f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 378.449 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 214 |
| Total number of constraints | 5375 |
| Number of constraints which are clauses | 5375 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 11 |
| Number of terms in the objective function | 214 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 214 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 214 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.44 c #variables 214 #constraints 5375 0.08/0.57 c bounds - >= 0 @ 0.023947 0.08/0.57 c rational objective 13.4606 2.07/2.59 c bounds 32 >= 0 @ 0.149669 2.07/2.59 c bounds 32 >= 1 @ 0.266164 2.07/2.59 c bounds 32 >= 2 @ 0.266433 2.07/2.59 c bounds 32 >= 3 @ 0.266706 2.07/2.59 c bounds 32 >= 4 @ 0.267052 2.07/2.59 c bounds 32 >= 5 @ 0.267558 2.07/2.59 c bounds 32 >= 6 @ 0.267845 2.07/2.59 c bounds 32 >= 7 @ 0.268117 2.07/2.59 c bounds 32 >= 8 @ 0.268447 2.07/2.59 c bounds 32 >= 9 @ 0.268887 2.07/2.59 c bounds 32 >= 10 @ 0.26972 2.07/2.59 c bounds 32 >= 11 @ 0.315349 2.07/2.59 c bounds 31 >= 11 @ 0.316611 2.07/2.59 c bounds 30 >= 11 @ 0.316611 2.07/2.59 c bounds 29 >= 11 @ 0.31742 2.07/2.59 c bounds 28 >= 11 @ 0.33127 2.07/2.59 c bounds 27 >= 11 @ 0.333808 2.07/2.59 c bounds 26 >= 11 @ 0.334624 2.07/2.59 c bounds 25 >= 11 @ 0.369735 2.07/2.59 c #Conflicts: 1000 | #Constraints: 6468 2.07/2.59 c bounds 24 >= 11 @ 0.389208 2.07/2.59 c #Conflicts: 2000 | #Constraints: 7481 2.07/2.59 c INPROCESSING 2.07/2.59 c GARBAGE COLLECT 2.07/2.59 c #Conflicts: 3000 | #Constraints: 7463 2.07/2.59 c #Conflicts: 4000 | #Constraints: 8463 2.07/2.59 c INPROCESSING 2.07/2.59 c GARBAGE COLLECT 2.07/2.59 c rational objective 13.4606 8.06/8.54 c bounds 23 >= 11 @ 2.08707 8.06/8.54 c bounds 22 >= 11 @ 2.09556 8.06/8.54 c #Conflicts: 5000 | #Constraints: 7870 8.06/8.54 c #Conflicts: 6000 | #Constraints: 8870 8.06/8.54 c INPROCESSING 8.06/8.54 c GARBAGE COLLECT 8.06/8.54 c #Conflicts: 7000 | #Constraints: 7868 8.06/8.54 c #Conflicts: 8000 | #Constraints: 8873 8.06/8.54 c #Conflicts: 9000 | #Constraints: 9876 8.06/8.54 c INPROCESSING 8.06/8.54 c GARBAGE COLLECT 8.06/8.54 c #Conflicts: 10000 | #Constraints: 8570 8.06/8.54 c #Conflicts: 11000 | #Constraints: 9577 8.06/8.54 c #Conflicts: 12000 | #Constraints: 10584 8.06/8.54 c INPROCESSING 8.06/8.54 c GARBAGE COLLECT 8.06/8.54 c #Conflicts: 13000 | #Constraints: 9026 8.06/8.54 c bounds 22 >= 12 @ 7.27253 8.06/8.54 c #Conflicts: 14000 | #Constraints: 10056 8.06/8.54 c #Conflicts: 15000 | #Constraints: 11056 8.06/8.54 c INPROCESSING 8.06/8.54 c GARBAGE COLLECT 8.06/8.54 c rational objective 13.4606 8.75/9.28 c #Conflicts: 16000 | #Constraints: 9275 8.75/9.28 c #Conflicts: 17000 | #Constraints: 10275 8.75/9.28 c #Conflicts: 18000 | #Constraints: 11275 8.75/9.28 c INPROCESSING 8.75/9.28 c GARBAGE COLLECT 8.75/9.28 c rational objective 13.4606 11.35/11.88 c #Conflicts: 19000 | #Constraints: 9285 11.35/11.88 c #Conflicts: 20000 | #Constraints: 10285 11.35/11.88 c #Conflicts: 21000 | #Constraints: 11285 11.35/11.88 c INPROCESSING 11.35/11.88 c GARBAGE COLLECT 11.35/11.88 c rational objective 13.4606 13.54/14.05 c #Conflicts: 22000 | #Constraints: 9097 13.54/14.05 c #Conflicts: 23000 | #Constraints: 10101 13.54/14.05 c #Conflicts: 24000 | #Constraints: 11107 13.54/14.05 c #Conflicts: 25000 | #Constraints: 12111 13.54/14.05 c INPROCESSING 13.54/14.05 c GARBAGE COLLECT 13.54/14.05 c rational objective 13.4606 16.34/16.89 c #Conflicts: 26000 | #Constraints: 9710 16.34/16.89 c #Conflicts: 27000 | #Constraints: 10714 16.34/16.89 c #Conflicts: 28000 | #Constraints: 11718 16.34/16.89 c #Conflicts: 29000 | #Constraints: 12721 16.34/16.89 c INPROCESSING 16.34/16.89 c GARBAGE COLLECT 16.34/16.89 c rational objective 13.4606 19.13/19.60 c #Conflicts: 30000 | #Constraints: 10116 19.13/19.60 c #Conflicts: 31000 | #Constraints: 11121 19.13/19.60 c #Conflicts: 32000 | #Constraints: 12124 19.13/19.60 c #Conflicts: 33000 | #Constraints: 13128 19.13/19.60 c INPROCESSING 19.13/19.60 c GARBAGE COLLECT 19.13/19.60 c rational objective 13.4606 25.71/26.28 c #Conflicts: 34000 | #Constraints: 10312 25.71/26.28 c #Conflicts: 35000 | #Constraints: 11312 25.71/26.28 c #Conflicts: 36000 | #Constraints: 12312 25.71/26.28 c #Conflicts: 37000 | #Constraints: 13312 25.71/26.28 c INPROCESSING 25.71/26.28 c GARBAGE COLLECT 25.71/26.28 c #Conflicts: 38000 | #Constraints: 10310 25.71/26.28 c #Conflicts: 39000 | #Constraints: 11314 25.71/26.28 c #Conflicts: 40000 | #Constraints: 12320 25.71/26.28 c #Conflicts: 41000 | #Constraints: 13324 25.71/26.28 c INPROCESSING 25.71/26.28 c GARBAGE COLLECT 25.71/26.28 c rational objective 13.4606 31.10/31.66 c #Conflicts: 42000 | #Constraints: 10116 31.10/31.66 c #Conflicts: 43000 | #Constraints: 11121 31.10/31.66 c #Conflicts: 44000 | #Constraints: 12126 31.10/31.66 c #Conflicts: 45000 | #Constraints: 13132 31.10/31.66 c #Conflicts: 46000 | #Constraints: 14136 31.10/31.66 c INPROCESSING 31.10/31.66 c GARBAGE COLLECT 31.10/31.66 c #Conflicts: 47000 | #Constraints: 10717 31.10/31.66 c #Conflicts: 48000 | #Constraints: 11722 31.10/31.66 c #Conflicts: 49000 | #Constraints: 12729 31.10/31.66 c #Conflicts: 50000 | #Constraints: 13732 31.10/31.66 c #Conflicts: 51000 | #Constraints: 14736 31.10/31.66 c INPROCESSING 31.10/31.66 c GARBAGE COLLECT 31.10/31.66 c rational objective 13.4606 36.88/37.44 c #Conflicts: 52000 | #Constraints: 11119 36.88/37.44 c #Conflicts: 53000 | #Constraints: 12119 36.88/37.44 c #Conflicts: 54000 | #Constraints: 13119 36.88/37.44 c #Conflicts: 55000 | #Constraints: 14119 36.88/37.44 c #Conflicts: 56000 | #Constraints: 15119 36.88/37.44 c INPROCESSING 36.88/37.44 c GARBAGE COLLECT 36.88/37.44 c rational objective 13.4606 40.58/41.15 c #Conflicts: 57000 | #Constraints: 11315 40.58/41.15 c #Conflicts: 58000 | #Constraints: 12322 40.58/41.15 c #Conflicts: 59000 | #Constraints: 13327 40.58/41.15 c #Conflicts: 60000 | #Constraints: 14331 40.58/41.15 c #Conflicts: 61000 | #Constraints: 15336 40.58/41.15 c INPROCESSING 40.58/41.15 c GARBAGE COLLECT 40.58/41.15 c rational objective 13.4606 44.57/45.17 c #Conflicts: 62000 | #Constraints: 11324 44.57/45.17 c #Conflicts: 63000 | #Constraints: 12328 44.57/45.17 c #Conflicts: 64000 | #Constraints: 13331 44.57/45.17 c #Conflicts: 65000 | #Constraints: 14337 44.57/45.17 c #Conflicts: 66000 | #Constraints: 15343 44.57/45.17 c INPROCESSING 44.57/45.17 c GARBAGE COLLECT 44.57/45.17 c rational objective 13.4606 55.13/55.78 c #Conflicts: 67000 | #Constraints: 11119 55.13/55.78 c #Conflicts: 68000 | #Constraints: 12125 55.13/55.78 c #Conflicts: 69000 | #Constraints: 13130 55.13/55.78 c #Conflicts: 70000 | #Constraints: 14133 55.13/55.78 c #Conflicts: 71000 | #Constraints: 15136 55.13/55.78 c #Conflicts: 72000 | #Constraints: 16140 55.13/55.78 c INPROCESSING 55.13/55.78 c GARBAGE COLLECT 55.13/55.78 c #Conflicts: 73000 | #Constraints: 11722 55.13/55.78 c #Conflicts: 74000 | #Constraints: 12722 55.13/55.78 c #Conflicts: 75000 | #Constraints: 13722 55.13/55.78 c #Conflicts: 76000 | #Constraints: 14722 55.13/55.78 c #Conflicts: 77000 | #Constraints: 15722 55.13/55.78 c #Conflicts: 78000 | #Constraints: 16722 55.13/55.78 c INPROCESSING 55.13/55.78 c GARBAGE COLLECT 55.13/55.78 c rational objective 13.4606 76.88/77.59 c #Conflicts: 79000 | #Constraints: 12110 76.88/77.59 c #Conflicts: 80000 | #Constraints: 13113 76.88/77.59 c #Conflicts: 81000 | #Constraints: 14115 76.88/77.59 c #Conflicts: 82000 | #Constraints: 15120 76.88/77.59 c #Conflicts: 83000 | #Constraints: 16125 76.88/77.59 c #Conflicts: 84000 | #Constraints: 17132 76.88/77.59 c #Conflicts: 85000 | #Constraints: 18136 76.88/77.59 c #Conflicts: 86000 | #Constraints: 19143 76.88/77.59 c #Conflicts: 87000 | #Constraints: 20149 76.88/77.59 c #Conflicts: 88000 | #Constraints: 21156 76.88/77.59 c #Conflicts: 89000 | #Constraints: 22160 76.88/77.59 c #Conflicts: 90000 | #Constraints: 23166 76.88/77.59 c #Conflicts: 91000 | #Constraints: 24170 76.88/77.59 c #Conflicts: 92000 | #Constraints: 25177 76.88/77.59 c #Conflicts: 93000 | #Constraints: 26180 76.88/77.59 c #Conflicts: 94000 | #Constraints: 27185 76.88/77.59 c #Conflicts: 95000 | #Constraints: 28189 76.88/77.59 c #Conflicts: 96000 | #Constraints: 29193 76.88/77.59 c #Conflicts: 97000 | #Constraints: 30197 76.88/77.59 c #Conflicts: 98000 | #Constraints: 31201 76.88/77.59 c #Conflicts: 99000 | #Constraints: 32203 76.88/77.59 c #Conflicts: 100000 | #Constraints: 33209 76.88/77.59 c #Conflicts: 101000 | #Constraints: 34213 76.88/77.59 c #Conflicts: 102000 | #Constraints: 35220 76.88/77.59 c INPROCESSING 76.88/77.59 c GARBAGE COLLECT 76.88/77.59 c rational objective 13.4606 94.53/95.20 c #Conflicts: 103000 | #Constraints: 20909 94.53/95.20 c #Conflicts: 104000 | #Constraints: 21909 94.53/95.20 c #Conflicts: 105000 | #Constraints: 22909 94.53/95.20 c #Conflicts: 106000 | #Constraints: 23911 94.53/95.20 c #Conflicts: 107000 | #Constraints: 24911 94.53/95.20 c #Conflicts: 108000 | #Constraints: 25911 94.53/95.20 c #Conflicts: 109000 | #Constraints: 26911 94.53/95.20 c #Conflicts: 110000 | #Constraints: 27911 94.53/95.20 c INPROCESSING 94.53/95.20 c GARBAGE COLLECT 94.53/95.20 c rational objective 13.4606 101.42/102.10 c #Conflicts: 111000 | #Constraints: 17714 101.42/102.10 c #Conflicts: 112000 | #Constraints: 18717 101.42/102.10 c #Conflicts: 113000 | #Constraints: 19720 101.42/102.10 c #Conflicts: 114000 | #Constraints: 20726 101.42/102.10 c #Conflicts: 115000 | #Constraints: 21731 101.42/102.10 c #Conflicts: 116000 | #Constraints: 22735 101.42/102.10 c #Conflicts: 117000 | #Constraints: 23738 101.42/102.10 c INPROCESSING 101.42/102.10 c GARBAGE COLLECT 101.42/102.10 c rational objective 13.4606 107.90/108.68 c #Conflicts: 118000 | #Constraints: 15472 107.90/108.68 c #Conflicts: 119000 | #Constraints: 16478 107.90/108.68 c #Conflicts: 120000 | #Constraints: 17482 107.90/108.68 c #Conflicts: 121000 | #Constraints: 18486 107.90/108.68 c #Conflicts: 122000 | #Constraints: 19488 107.90/108.68 c #Conflicts: 123000 | #Constraints: 20489 107.90/108.68 c #Conflicts: 124000 | #Constraints: 21492 107.90/108.68 c INPROCESSING 107.90/108.68 c GARBAGE COLLECT 107.90/108.68 c rational objective 13.4606 125.15/125.96 c #Conflicts: 125000 | #Constraints: 14095 125.15/125.96 c #Conflicts: 126000 | #Constraints: 15095 125.15/125.96 c #Conflicts: 127000 | #Constraints: 16095 125.15/125.96 c #Conflicts: 128000 | #Constraints: 17095 125.15/125.96 c #Conflicts: 129000 | #Constraints: 18095 125.15/125.96 c #Conflicts: 130000 | #Constraints: 19095 125.15/125.96 c #Conflicts: 131000 | #Constraints: 20095 125.15/125.96 c #Conflicts: 132000 | #Constraints: 21095 125.15/125.96 c INPROCESSING 125.15/125.96 c GARBAGE COLLECT 125.15/125.96 c rational objective 13.4606 170.83/171.78 c #Conflicts: 133000 | #Constraints: 14059 170.83/171.78 c #Conflicts: 134000 | #Constraints: 15060 170.83/171.78 c #Conflicts: 135000 | #Constraints: 16066 170.83/171.78 c #Conflicts: 136000 | #Constraints: 17070 170.83/171.78 c #Conflicts: 137000 | #Constraints: 18074 170.83/171.78 c #Conflicts: 138000 | #Constraints: 19078 170.83/171.78 c #Conflicts: 139000 | #Constraints: 20083 170.83/171.78 c #Conflicts: 140000 | #Constraints: 21086 170.83/171.78 c #Conflicts: 141000 | #Constraints: 22089 170.83/171.78 c #Conflicts: 142000 | #Constraints: 23094 170.83/171.78 c #Conflicts: 143000 | #Constraints: 24097 170.83/171.78 c #Conflicts: 144000 | #Constraints: 25099 170.83/171.78 c #Conflicts: 145000 | #Constraints: 26101 170.83/171.78 c #Conflicts: 146000 | #Constraints: 27104 170.83/171.78 c #Conflicts: 147000 | #Constraints: 28108 170.83/171.78 c #Conflicts: 148000 | #Constraints: 29110 170.83/171.78 c #Conflicts: 149000 | #Constraints: 30113 170.83/171.78 c #Conflicts: 150000 | #Constraints: 31119 170.83/171.78 c #Conflicts: 151000 | #Constraints: 32125 170.83/171.78 c #Conflicts: 152000 | #Constraints: 33128 170.83/171.78 c #Conflicts: 153000 | #Constraints: 34130 170.83/171.78 c #Conflicts: 154000 | #Constraints: 35132 170.83/171.78 c #Conflicts: 155000 | #Constraints: 36140 170.83/171.78 c #Conflicts: 156000 | #Constraints: 37144 170.83/171.78 c #Conflicts: 157000 | #Constraints: 38149 170.83/171.78 c #Conflicts: 158000 | #Constraints: 39152 170.83/171.78 c #Conflicts: 159000 | #Constraints: 40156 170.83/171.78 c #Conflicts: 160000 | #Constraints: 41159 170.83/171.78 c #Conflicts: 161000 | #Constraints: 42161 170.83/171.78 c #Conflicts: 162000 | #Constraints: 43165 170.83/171.78 c #Conflicts: 163000 | #Constraints: 44168 170.83/171.78 c INPROCESSING 170.83/171.78 c GARBAGE COLLECT 170.83/171.78 c rational objective 13.4606 201.15/202.17 c #Conflicts: 164000 | #Constraints: 25434 201.15/202.17 c #Conflicts: 165000 | #Constraints: 26434 201.15/202.17 c #Conflicts: 166000 | #Constraints: 27434 201.15/202.17 c bounds 22 >= 13 @ 175.866 201.15/202.17 c #Conflicts: 167000 | #Constraints: 28467 201.15/202.17 c #Conflicts: 168000 | #Constraints: 29467 201.15/202.17 c #Conflicts: 169000 | #Constraints: 30468 201.15/202.17 c #Conflicts: 170000 | #Constraints: 31468 201.15/202.17 c #Conflicts: 171000 | #Constraints: 32468 201.15/202.17 c #Conflicts: 172000 | #Constraints: 33468 201.15/202.17 c INPROCESSING 201.15/202.17 c GARBAGE COLLECT 201.15/202.17 c rational objective 13.4606 211.12/212.10 c #Conflicts: 173000 | #Constraints: 20110 211.12/212.10 c #Conflicts: 174000 | #Constraints: 21110 211.12/212.10 c #Conflicts: 175000 | #Constraints: 22110 211.12/212.10 c #Conflicts: 176000 | #Constraints: 23110 211.12/212.10 c #Conflicts: 177000 | #Constraints: 24114 211.12/212.10 c #Conflicts: 178000 | #Constraints: 25118 211.12/212.10 c #Conflicts: 179000 | #Constraints: 26122 211.12/212.10 c #Conflicts: 180000 | #Constraints: 27127 211.12/212.10 c #Conflicts: 181000 | #Constraints: 28129 211.12/212.10 c #Conflicts: 182000 | #Constraints: 29133 211.12/212.10 c INPROCESSING 211.12/212.10 c GARBAGE COLLECT 211.12/212.10 c rational objective 13.4606 221.49/222.53 c #Conflicts: 183000 | #Constraints: 18341 221.49/222.53 c #Conflicts: 184000 | #Constraints: 19345 221.49/222.53 c #Conflicts: 185000 | #Constraints: 20349 221.49/222.53 c #Conflicts: 186000 | #Constraints: 21352 221.49/222.53 c #Conflicts: 187000 | #Constraints: 22357 221.49/222.53 c #Conflicts: 188000 | #Constraints: 23363 221.49/222.53 c #Conflicts: 189000 | #Constraints: 24370 221.49/222.53 c #Conflicts: 190000 | #Constraints: 25375 221.49/222.53 c #Conflicts: 191000 | #Constraints: 26380 221.49/222.53 c INPROCESSING 221.49/222.53 c GARBAGE COLLECT 221.49/222.53 c rational objective 13.4606 244.94/246.03 c #Conflicts: 192000 | #Constraints: 16759 244.94/246.03 c #Conflicts: 193000 | #Constraints: 17759 244.94/246.03 c #Conflicts: 194000 | #Constraints: 18759 244.94/246.03 c #Conflicts: 195000 | #Constraints: 19760 244.94/246.03 c #Conflicts: 196000 | #Constraints: 20760 244.94/246.03 c #Conflicts: 197000 | #Constraints: 21760 244.94/246.03 c #Conflicts: 198000 | #Constraints: 22760 244.94/246.03 c #Conflicts: 199000 | #Constraints: 23760 244.94/246.03 c #Conflicts: 200000 | #Constraints: 24760 244.94/246.03 c #Conflicts: 201000 | #Constraints: 25760 244.94/246.03 c INPROCESSING 244.94/246.03 c GARBAGE COLLECT 244.94/246.03 c rational objective 13.4606 312.55/313.82 c #Conflicts: 202000 | #Constraints: 16655 312.55/313.82 c #Conflicts: 203000 | #Constraints: 17658 312.55/313.82 c #Conflicts: 204000 | #Constraints: 18662 312.55/313.82 c #Conflicts: 205000 | #Constraints: 19663 312.55/313.82 c #Conflicts: 206000 | #Constraints: 20670 312.55/313.82 c #Conflicts: 207000 | #Constraints: 21674 312.55/313.82 c #Conflicts: 208000 | #Constraints: 22677 312.55/313.82 c #Conflicts: 209000 | #Constraints: 23681 312.55/313.82 c #Conflicts: 210000 | #Constraints: 24687 312.55/313.82 c #Conflicts: 211000 | #Constraints: 25693 312.55/313.82 c #Conflicts: 212000 | #Constraints: 26696 312.55/313.82 c #Conflicts: 213000 | #Constraints: 27699 312.55/313.82 c #Conflicts: 214000 | #Constraints: 28702 312.55/313.82 c #Conflicts: 215000 | #Constraints: 29705 312.55/313.82 c #Conflicts: 216000 | #Constraints: 30708 312.55/313.82 c #Conflicts: 217000 | #Constraints: 31711 312.55/313.82 c #Conflicts: 218000 | #Constraints: 32715 312.55/313.82 c #Conflicts: 219000 | #Constraints: 33719 312.55/313.82 c #Conflicts: 220000 | #Constraints: 34723 312.55/313.82 c #Conflicts: 221000 | #Constraints: 35726 312.55/313.82 c #Conflicts: 222000 | #Constraints: 36728 312.55/313.82 c #Conflicts: 223000 | #Constraints: 37730 312.55/313.82 c #Conflicts: 224000 | #Constraints: 38735 312.55/313.82 c #Conflicts: 225000 | #Constraints: 39741 312.55/313.82 c #Conflicts: 226000 | #Constraints: 40745 312.55/313.82 c #Conflicts: 227000 | #Constraints: 41749 312.55/313.82 c #Conflicts: 228000 | #Constraints: 42752 312.55/313.82 c #Conflicts: 229000 | #Constraints: 43756 312.55/313.82 c #Conflicts: 230000 | #Constraints: 44760 312.55/313.82 c #Conflicts: 231000 | #Constraints: 45762 312.55/313.82 c #Conflicts: 232000 | #Constraints: 46768 312.55/313.82 c #Conflicts: 233000 | #Constraints: 47775 312.55/313.82 c #Conflicts: 234000 | #Constraints: 48780 312.55/313.82 c #Conflicts: 235000 | #Constraints: 49784 312.55/313.82 c #Conflicts: 236000 | #Constraints: 50787 312.55/313.82 c #Conflicts: 237000 | #Constraints: 51793 312.55/313.82 c #Conflicts: 238000 | #Constraints: 52798 312.55/313.82 c INPROCESSING 312.55/313.82 c GARBAGE COLLECT 312.55/313.82 c rational objective 13.4606 367.30/368.76 c #Conflicts: 239000 | #Constraints: 29815 367.30/368.76 c #Conflicts: 240000 | #Constraints: 30816 367.30/368.76 c #Conflicts: 241000 | #Constraints: 31816 367.30/368.76 c #Conflicts: 242000 | #Constraints: 32816 367.30/368.76 c #Conflicts: 243000 | #Constraints: 33817 367.30/368.76 c #Conflicts: 244000 | #Constraints: 34817 367.30/368.76 c #Conflicts: 245000 | #Constraints: 35817 367.30/368.76 c #Conflicts: 246000 | #Constraints: 36817 367.30/368.76 c #Conflicts: 247000 | #Constraints: 37817 367.30/368.76 c #Conflicts: 248000 | #Constraints: 38817 367.30/368.76 c #Conflicts: 249000 | #Constraints: 39817 367.30/368.76 c INPROCESSING 367.30/368.76 c GARBAGE COLLECT 367.30/368.76 c rational objective 13.4606 381.77/383.27 c #Conflicts: 250000 | #Constraints: 23378 381.77/383.27 c #Conflicts: 251000 | #Constraints: 24382 381.77/383.27 c #Conflicts: 252000 | #Constraints: 25388 381.77/383.27 c #Conflicts: 253000 | #Constraints: 26393 381.77/383.27 c #Conflicts: 254000 | #Constraints: 27395 381.77/383.27 c #Conflicts: 255000 | #Constraints: 28400 381.77/383.27 c #Conflicts: 256000 | #Constraints: 29405 381.77/383.27 c #Conflicts: 257000 | #Constraints: 30412 381.77/383.27 c #Conflicts: 258000 | #Constraints: 31420 381.77/383.27 c #Conflicts: 259000 | #Constraints: 32425 381.77/383.27 c #Conflicts: 260000 | #Constraints: 33428 381.77/383.27 c INPROCESSING 381.77/383.27 c GARBAGE COLLECT 381.77/383.27 c rational objective 13.4606 424.46/426.05 c #Conflicts: 261000 | #Constraints: 20132 424.46/426.05 c #Conflicts: 262000 | #Constraints: 21133 424.46/426.05 c #Conflicts: 263000 | #Constraints: 22133 424.46/426.05 c #Conflicts: 264000 | #Constraints: 23133 424.46/426.05 c #Conflicts: 265000 | #Constraints: 24133 424.46/426.05 c #Conflicts: 266000 | #Constraints: 25133 424.46/426.05 c #Conflicts: 267000 | #Constraints: 26133 424.46/426.05 c #Conflicts: 268000 | #Constraints: 27133 424.46/426.05 c #Conflicts: 269000 | #Constraints: 28133 424.46/426.05 c #Conflicts: 270000 | #Constraints: 29134 424.46/426.05 c #Conflicts: 271000 | #Constraints: 30134 424.46/426.05 c #Conflicts: 272000 | #Constraints: 31136 424.46/426.05 c INPROCESSING 424.46/426.05 c GARBAGE COLLECT 424.46/426.05 c rational objective 13.4606 513.62/515.47 c #Conflicts: 273000 | #Constraints: 19337 513.62/515.47 c #Conflicts: 274000 | #Constraints: 20341 513.62/515.47 c #Conflicts: 275000 | #Constraints: 21344 513.62/515.47 c #Conflicts: 276000 | #Constraints: 22348 513.62/515.47 c #Conflicts: 277000 | #Constraints: 23356 513.62/515.47 c #Conflicts: 278000 | #Constraints: 24361 513.62/515.47 c #Conflicts: 279000 | #Constraints: 25366 513.62/515.47 c #Conflicts: 280000 | #Constraints: 26369 513.62/515.47 c #Conflicts: 281000 | #Constraints: 27374 513.62/515.47 c #Conflicts: 282000 | #Constraints: 28376 513.62/515.47 c #Conflicts: 283000 | #Constraints: 29379 513.62/515.47 c #Conflicts: 284000 | #Constraints: 30383 513.62/515.47 c #Conflicts: 285000 | #Constraints: 31386 513.62/515.47 c #Conflicts: 286000 | #Constraints: 32390 513.62/515.47 c #Conflicts: 287000 | #Constraints: 33394 513.62/515.47 c #Conflicts: 288000 | #Constraints: 34398 513.62/515.47 c #Conflicts: 289000 | #Constraints: 35401 513.62/515.47 c #Conflicts: 290000 | #Constraints: 36403 513.62/515.47 c #Conflicts: 291000 | #Constraints: 37413 513.62/515.47 c #Conflicts: 292000 | #Constraints: 38416 513.62/515.47 c #Conflicts: 293000 | #Constraints: 39418 513.62/515.47 c #Conflicts: 294000 | #Constraints: 40423 513.62/515.47 c #Conflicts: 295000 | #Constraints: 41425 513.62/515.47 c #Conflicts: 296000 | #Constraints: 42428 513.62/515.47 c #Conflicts: 297000 | #Constraints: 43431 513.62/515.47 c #Conflicts: 298000 | #Constraints: 44436 513.62/515.47 c #Conflicts: 299000 | #Constraints: 45439 513.62/515.47 c #Conflicts: 300000 | #Constraints: 46443 513.62/515.47 c #Conflicts: 301000 | #Constraints: 47449 513.62/515.47 c #Conflicts: 302000 | #Constraints: 48453 513.62/515.47 c #Conflicts: 303000 | #Constraints: 49461 513.62/515.47 c #Conflicts: 304000 | #Constraints: 50464 513.62/515.47 c #Conflicts: 305000 | #Constraints: 51468 513.62/515.47 c #Conflicts: 306000 | #Constraints: 52471 513.62/515.47 c #Conflicts: 307000 | #Constraints: 53477 513.62/515.47 c #Conflicts: 308000 | #Constraints: 54480 513.62/515.47 c #Conflicts: 309000 | #Constraints: 55484 513.62/515.47 c #Conflicts: 310000 | #Constraints: 56489 513.62/515.47 c #Conflicts: 311000 | #Constraints: 57493 513.62/515.47 c #Conflicts: 312000 | #Constraints: 58499 513.62/515.47 c #Conflicts: 313000 | #Constraints: 59503 513.62/515.47 c #Conflicts: 314000 | #Constraints: 60505 513.62/515.47 c #Conflicts: 315000 | #Constraints: 61509 513.62/515.47 c INPROCESSING 513.62/515.47 c GARBAGE COLLECT 513.62/515.47 c rational objective 13.4606 584.04/586.02 c #Conflicts: 316000 | #Constraints: 34524 584.04/586.02 c #Conflicts: 317000 | #Constraints: 35524 584.04/586.02 c #Conflicts: 318000 | #Constraints: 36524 584.04/586.02 c #Conflicts: 319000 | #Constraints: 37524 584.04/586.02 c #Conflicts: 320000 | #Constraints: 38525 584.04/586.02 c #Conflicts: 321000 | #Constraints: 39525 584.04/586.02 c #Conflicts: 322000 | #Constraints: 40525 584.04/586.02 c #Conflicts: 323000 | #Constraints: 41525 584.04/586.02 c #Conflicts: 324000 | #Constraints: 42525 584.04/586.02 c #Conflicts: 325000 | #Constraints: 43525 584.04/586.02 c #Conflicts: 326000 | #Constraints: 44525 584.04/586.02 c #Conflicts: 327000 | #Constraints: 45525 584.04/586.02 c INPROCESSING 584.04/586.02 c GARBAGE COLLECT 584.04/586.02 c rational objective 13.4606 606.47/608.59 c #Conflicts: 328000 | #Constraints: 26241 606.47/608.59 c #Conflicts: 329000 | #Constraints: 27246 606.47/608.59 c #Conflicts: 330000 | #Constraints: 28253 606.47/608.59 c #Conflicts: 331000 | #Constraints: 29256 606.47/608.59 c #Conflicts: 332000 | #Constraints: 30259 606.47/608.59 c #Conflicts: 333000 | #Constraints: 31263 606.47/608.59 c #Conflicts: 334000 | #Constraints: 32267 606.47/608.59 c #Conflicts: 335000 | #Constraints: 33271 606.47/608.59 c #Conflicts: 336000 | #Constraints: 34274 606.47/608.59 c #Conflicts: 337000 | #Constraints: 35277 606.47/608.59 c #Conflicts: 338000 | #Constraints: 36280 606.47/608.59 c #Conflicts: 339000 | #Constraints: 37284 606.47/608.59 c #Conflicts: 340000 | #Constraints: 38290 606.47/608.59 c INPROCESSING 606.47/608.59 c GARBAGE COLLECT 606.47/608.59 c rational objective 13.4606 629.10/631.26 c #Conflicts: 341000 | #Constraints: 22715 629.10/631.26 c #Conflicts: 342000 | #Constraints: 23722 629.10/631.26 c #Conflicts: 343000 | #Constraints: 24727 629.10/631.26 c #Conflicts: 344000 | #Constraints: 25730 629.10/631.26 c #Conflicts: 345000 | #Constraints: 26733 629.10/631.26 c #Conflicts: 346000 | #Constraints: 27736 629.10/631.26 c #Conflicts: 347000 | #Constraints: 28741 629.10/631.26 c #Conflicts: 348000 | #Constraints: 29747 629.10/631.26 c #Conflicts: 349000 | #Constraints: 30754 629.10/631.26 c #Conflicts: 350000 | #Constraints: 31757 629.10/631.26 c #Conflicts: 351000 | #Constraints: 32762 629.10/631.26 c #Conflicts: 352000 | #Constraints: 33767 629.10/631.26 c #Conflicts: 353000 | #Constraints: 34771 629.10/631.26 c INPROCESSING 629.10/631.26 c GARBAGE COLLECT 629.10/631.26 c rational objective 13.4606 994.39/997.56 c #Conflicts: 354000 | #Constraints: 20949 994.39/997.56 c #Conflicts: 355000 | #Constraints: 21949 994.39/997.56 c #Conflicts: 356000 | #Constraints: 22949 994.39/997.56 c #Conflicts: 357000 | #Constraints: 23949 994.39/997.56 c #Conflicts: 358000 | #Constraints: 24949 994.39/997.56 c #Conflicts: 359000 | #Constraints: 25949 994.39/997.56 c #Conflicts: 360000 | #Constraints: 26949 994.39/997.56 c #Conflicts: 361000 | #Constraints: 27950 994.39/997.56 c #Conflicts: 362000 | #Constraints: 28950 994.39/997.56 c #Conflicts: 363000 | #Constraints: 29950 994.39/997.56 c #Conflicts: 364000 | #Constraints: 30950 994.39/997.56 c #Conflicts: 365000 | #Constraints: 31950 994.39/997.56 c #Conflicts: 366000 | #Constraints: 32950 994.39/997.56 c #Conflicts: 367000 | #Constraints: 33950 994.39/997.56 c #Conflicts: 368000 | #Constraints: 34950 994.39/997.56 c #Conflicts: 369000 | #Constraints: 35950 994.39/997.56 c #Conflicts: 370000 | #Constraints: 36950 994.39/997.56 c #Conflicts: 371000 | #Constraints: 37951 994.39/997.56 c #Conflicts: 372000 | #Constraints: 38953 994.39/997.56 c #Conflicts: 373000 | #Constraints: 39953 994.39/997.56 c #Conflicts: 374000 | #Constraints: 40954 994.39/997.56 c #Conflicts: 375000 | #Constraints: 41955 994.39/997.56 c #Conflicts: 376000 | #Constraints: 42955 994.39/997.56 c #Conflicts: 377000 | #Constraints: 43955 994.39/997.56 c #Conflicts: 378000 | #Constraints: 44955 994.39/997.56 c #Conflicts: 379000 | #Constraints: 45955 994.39/997.56 c #Conflicts: 380000 | #Constraints: 46955 994.39/997.56 c #Conflicts: 381000 | #Constraints: 47955 994.39/997.56 c #Conflicts: 382000 | #Constraints: 48956 994.39/997.56 c #Conflicts: 383000 | #Constraints: 49957 994.39/997.56 c #Conflicts: 384000 | #Constraints: 50957 994.39/997.56 c #Conflicts: 385000 | #Constraints: 51957 994.39/997.56 c #Conflicts: 386000 | #Constraints: 52957 994.39/997.56 c #Conflicts: 387000 | #Constraints: 53957 994.39/997.56 c #Conflicts: 388000 | #Constraints: 54958 994.39/997.56 c #Conflicts: 389000 | #Constraints: 55958 994.39/997.56 c #Conflicts: 390000 | #Constraints: 56958 994.39/997.56 c #Conflicts: 391000 | #Constraints: 57958 994.39/997.56 c #Conflicts: 392000 | #Constraints: 58958 994.39/997.56 c #Conflicts: 393000 | #Constraints: 59958 994.39/997.56 c #Conflicts: 394000 | #Constraints: 60958 994.39/997.56 c #Conflicts: 395000 | #Constraints: 61958 994.39/997.56 c #Conflicts: 396000 | #Constraints: 62958 994.39/997.56 c #Conflicts: 397000 | #Constraints: 63958 994.39/997.56 c #Conflicts: 398000 | #Constraints: 64958 994.39/997.56 c #Conflicts: 399000 | #Constraints: 65958 994.39/997.56 c #Conflicts: 400000 | #Constraints: 66958 994.39/997.56 c #Conflicts: 401000 | #Constraints: 67958 994.39/997.56 c INPROCESSING 994.39/997.56 c GARBAGE COLLECT 994.39/997.56 c rational objective 13.4606 1043.83/1047.14 c #Conflicts: 402000 | #Constraints: 37403 1043.83/1047.14 c #Conflicts: 403000 | #Constraints: 38405 1043.83/1047.14 c #Conflicts: 404000 | #Constraints: 39411 1043.83/1047.14 c #Conflicts: 405000 | #Constraints: 40415 1043.83/1047.14 c #Conflicts: 406000 | #Constraints: 41418 1043.83/1047.14 c #Conflicts: 407000 | #Constraints: 42421 1043.83/1047.14 c #Conflicts: 408000 | #Constraints: 43425 1043.83/1047.14 c #Conflicts: 409000 | #Constraints: 44429 1043.83/1047.14 c #Conflicts: 410000 | #Constraints: 45436 1043.83/1047.14 c #Conflicts: 411000 | #Constraints: 46440 1043.83/1047.14 c #Conflicts: 412000 | #Constraints: 47447 1043.83/1047.14 c #Conflicts: 413000 | #Constraints: 48452 1043.83/1047.14 c #Conflicts: 414000 | #Constraints: 49456 1043.83/1047.14 c #Conflicts: 415000 | #Constraints: 50461 1043.83/1047.14 c #Conflicts: 416000 | #Constraints: 51467 1043.83/1047.14 c INPROCESSING 1043.83/1047.14 c GARBAGE COLLECT 1043.83/1047.14 c rational objective 13.4606 1260.50/1264.56 c #Conflicts: 417000 | #Constraints: 29504 1260.50/1264.56 c #Conflicts: 418000 | #Constraints: 30509 1260.50/1264.56 c #Conflicts: 419000 | #Constraints: 31513 1260.50/1264.56 c #Conflicts: 420000 | #Constraints: 32517 1260.50/1264.56 c #Conflicts: 421000 | #Constraints: 33520 1260.50/1264.56 c #Conflicts: 422000 | #Constraints: 34526 1260.50/1264.56 c #Conflicts: 423000 | #Constraints: 35530 1260.50/1264.56 c #Conflicts: 424000 | #Constraints: 36535 1260.50/1264.56 c #Conflicts: 425000 | #Constraints: 37541 1260.50/1264.56 c #Conflicts: 426000 | #Constraints: 38544 1260.50/1264.56 c #Conflicts: 427000 | #Constraints: 39547 1260.50/1264.56 c #Conflicts: 428000 | #Constraints: 40551 1260.50/1264.56 c #Conflicts: 429000 | #Constraints: 41554 1260.50/1264.56 c #Conflicts: 430000 | #Constraints: 42558 1260.50/1264.56 c #Conflicts: 431000 | #Constraints: 43563 1260.50/1264.56 c #Conflicts: 432000 | #Constraints: 44566 1260.50/1264.56 c #Conflicts: 433000 | #Constraints: 45570 1260.50/1264.56 c #Conflicts: 434000 | #Constraints: 46575 1260.50/1264.56 c #Conflicts: 435000 | #Constraints: 47581 1260.50/1264.56 c #Conflicts: 436000 | #Constraints: 48584 1260.50/1264.56 c #Conflicts: 437000 | #Constraints: 49587 1260.50/1264.56 c #Conflicts: 438000 | #Constraints: 50592 1260.50/1264.56 c #Conflicts: 439000 | #Constraints: 51600 1260.50/1264.56 c #Conflicts: 440000 | #Constraints: 52605 1260.50/1264.56 c #Conflicts: 441000 | #Constraints: 53609 1260.50/1264.56 c #Conflicts: 442000 | #Constraints: 54615 1260.50/1264.56 c #Conflicts: 443000 | #Constraints: 55619 1260.50/1264.56 c #Conflicts: 444000 | #Constraints: 56625 1260.50/1264.56 c #Conflicts: 445000 | #Constraints: 57628 1260.50/1264.56 c #Conflicts: 446000 | #Constraints: 58632 1260.50/1264.56 c #Conflicts: 447000 | #Constraints: 59636 1260.50/1264.56 c #Conflicts: 448000 | #Constraints: 60642 1260.50/1264.56 c #Conflicts: 449000 | #Constraints: 61644 1260.50/1264.56 c #Conflicts: 450000 | #Constraints: 62649 1260.50/1264.56 c #Conflicts: 451000 | #Constraints: 63654 1260.50/1264.56 c #Conflicts: 452000 | #Constraints: 64657 1260.50/1264.56 c #Conflicts: 453000 | #Constraints: 65661 1260.50/1264.56 c #Conflicts: 454000 | #Constraints: 66668 1260.50/1264.56 c #Conflicts: 455000 | #Constraints: 67672 1260.50/1264.56 c #Conflicts: 456000 | #Constraints: 68674 1260.50/1264.56 c #Conflicts: 457000 | #Constraints: 69678 1260.50/1264.56 c #Conflicts: 458000 | #Constraints: 70684 1260.50/1264.56 c #Conflicts: 459000 | #Constraints: 71689 1260.50/1264.56 c #Conflicts: 460000 | #Constraints: 72692 1260.50/1264.56 c #Conflicts: 461000 | #Constraints: 73697 1260.50/1264.56 c #Conflicts: 462000 | #Constraints: 74700 1260.50/1264.56 c #Conflicts: 463000 | #Constraints: 75705 1260.50/1264.56 c #Conflicts: 464000 | #Constraints: 76709 1260.50/1264.56 c #Conflicts: 465000 | #Constraints: 77714 1260.50/1264.56 c #Conflicts: 466000 | #Constraints: 78718 1260.50/1264.56 c #Conflicts: 467000 | #Constraints: 79722 1260.50/1264.56 c INPROCESSING 1260.50/1264.56 c GARBAGE COLLECT 1260.50/1264.56 c rational objective 13.4606 1322.61/1326.85 c #Conflicts: 468000 | #Constraints: 43433 1322.61/1326.85 c #Conflicts: 469000 | #Constraints: 44436 1322.61/1326.85 c #Conflicts: 470000 | #Constraints: 45443 1322.61/1326.85 c #Conflicts: 471000 | #Constraints: 46450 1322.61/1326.85 c #Conflicts: 472000 | #Constraints: 47453 1322.61/1326.85 c #Conflicts: 473000 | #Constraints: 48455 1322.61/1326.85 c #Conflicts: 474000 | #Constraints: 49459 1322.61/1326.85 c #Conflicts: 475000 | #Constraints: 50466 1322.61/1326.85 c #Conflicts: 476000 | #Constraints: 51471 1322.61/1326.85 c #Conflicts: 477000 | #Constraints: 52476 1322.61/1326.85 c #Conflicts: 478000 | #Constraints: 53480 1322.61/1326.85 c #Conflicts: 479000 | #Constraints: 54483 1322.61/1326.85 c #Conflicts: 480000 | #Constraints: 55488 1322.61/1326.85 c #Conflicts: 481000 | #Constraints: 56491 1322.61/1326.85 c #Conflicts: 482000 | #Constraints: 57497 1322.61/1326.85 c #Conflicts: 483000 | #Constraints: 58501 1322.61/1326.85 c INPROCESSING 1322.61/1326.85 c GARBAGE COLLECT 1322.61/1326.85 c rational objective 13.4606 1368.96/1373.30 c #Conflicts: 484000 | #Constraints: 33028 1368.96/1373.30 c #Conflicts: 485000 | #Constraints: 34032 1368.96/1373.30 c #Conflicts: 486000 | #Constraints: 35038 1368.96/1373.30 c #Conflicts: 487000 | #Constraints: 36041 1368.96/1373.30 c #Conflicts: 488000 | #Constraints: 37046 1368.96/1373.30 c #Conflicts: 489000 | #Constraints: 38051 1368.96/1373.30 c #Conflicts: 490000 | #Constraints: 39055 1368.96/1373.30 c #Conflicts: 491000 | #Constraints: 40057 1368.96/1373.30 c #Conflicts: 492000 | #Constraints: 41062 1368.96/1373.30 c #Conflicts: 493000 | #Constraints: 42073 1368.96/1373.30 c #Conflicts: 494000 | #Constraints: 43077 1368.96/1373.30 c #Conflicts: 495000 | #Constraints: 44079 1368.96/1373.30 c #Conflicts: 496000 | #Constraints: 45081 1368.96/1373.30 c #Conflicts: 497000 | #Constraints: 46084 1368.96/1373.30 c #Conflicts: 498000 | #Constraints: 47089 1368.96/1373.30 c INPROCESSING 1368.96/1373.30 c GARBAGE COLLECT 1368.96/1373.30 c rational objective 13.4606 1599.41/1604.55 c #Conflicts: 499000 | #Constraints: 26917 1599.41/1604.55 c #Conflicts: 500000 | #Constraints: 27926 1599.41/1604.55 c #Conflicts: 501000 | #Constraints: 28931 1599.41/1604.55 c #Conflicts: 502000 | #Constraints: 29936 1599.41/1604.55 c #Conflicts: 503000 | #Constraints: 30941 1599.41/1604.55 c #Conflicts: 504000 | #Constraints: 31944 1599.41/1604.55 c #Conflicts: 505000 | #Constraints: 32953 1599.41/1604.55 c #Conflicts: 506000 | #Constraints: 33958 1599.41/1604.55 c #Conflicts: 507000 | #Constraints: 34962 1599.41/1604.55 c #Conflicts: 508000 | #Constraints: 35966 1599.41/1604.55 c #Conflicts: 509000 | #Constraints: 36972 1599.41/1604.55 c #Conflicts: 510000 | #Constraints: 37976 1599.41/1604.55 c #Conflicts: 511000 | #Constraints: 38978 1599.41/1604.55 c #Conflicts: 512000 | #Constraints: 39981 1599.41/1604.55 c #Conflicts: 513000 | #Constraints: 40984 1599.41/1604.55 c #Conflicts: 514000 | #Constraints: 41987 1599.41/1604.55 c #Conflicts: 515000 | #Constraints: 42990 1599.41/1604.55 c #Conflicts: 516000 | #Constraints: 43993 1599.41/1604.55 c #Conflicts: 517000 | #Constraints: 45000 1599.41/1604.55 c #Conflicts: 518000 | #Constraints: 46004 1599.41/1604.55 c #Conflicts: 519000 | #Constraints: 47008 1599.41/1604.55 c #Conflicts: 520000 | #Constraints: 48018 1599.41/1604.55 c #Conflicts: 521000 | #Constraints: 49023 1599.41/1604.55 c #Conflicts: 522000 | #Constraints: 50026 1599.41/1604.55 c #Conflicts: 523000 | #Constraints: 51029 1599.41/1604.55 c #Conflicts: 524000 | #Constraints: 52033 1599.41/1604.55 c #Conflicts: 525000 | #Constraints: 53036 1599.41/1604.55 c #Conflicts: 526000 | #Constraints: 54039 1599.41/1604.55 c #Conflicts: 527000 | #Constraints: 55041 1599.41/1604.55 c #Conflicts: 528000 | #Constraints: 56044 1599.41/1604.55 c #Conflicts: 529000 | #Constraints: 57049 1599.41/1604.55 c #Conflicts: 530000 | #Constraints: 58052 1599.41/1604.55 c #Conflicts: 531000 | #Constraints: 59055 1599.41/1604.55 c #Conflicts: 532000 | #Constraints: 60058 1599.41/1604.55 c #Conflicts: 533000 | #Constraints: 61060 1599.41/1604.55 c #Conflicts: 534000 | #Constraints: 62063 1599.41/1604.55 c #Conflicts: 535000 | #Constraints: 63068 1599.41/1604.55 c #Conflicts: 536000 | #Constraints: 64070 1599.41/1604.55 c #Conflicts: 537000 | #Constraints: 65072 1599.41/1604.55 c #Conflicts: 538000 | #Constraints: 66080 1599.41/1604.55 c #Conflicts: 539000 | #Constraints: 67082 1599.41/1604.55 c #Conflicts: 540000 | #Constraints: 68088 1599.41/1604.55 c #Conflicts: 541000 | #Constraints: 69090 1599.41/1604.55 c #Conflicts: 542000 | #Constraints: 70093 1599.41/1604.55 c #Conflicts: 543000 | #Constraints: 71097 1599.41/1604.55 c #Conflicts: 544000 | #Constraints: 72098 1599.41/1604.55 c #Conflicts: 545000 | #Constraints: 73102 1599.41/1604.55 c #Conflicts: 546000 | #Constraints: 74104 1599.41/1604.55 c #Conflicts: 547000 | #Constraints: 75106 1599.41/1604.55 c #Conflicts: 548000 | #Constraints: 76109 1599.41/1604.55 c #Conflicts: 549000 | #Constraints: 77114 1599.41/1604.55 c #Conflicts: 550000 | #Constraints: 78119 1599.41/1604.55 c #Conflicts: 551000 | #Constraints: 79123 1599.41/1604.55 c #Conflicts: 552000 | #Constraints: 80125 1599.41/1604.55 c #Conflicts: 553000 | #Constraints: 81127 1599.41/1604.55 c #Conflicts: 554000 | #Constraints: 82131 1599.41/1604.55 c INPROCESSING 1599.41/1604.55 c GARBAGE COLLECT 1599.41/1604.55 c rational objective 13.4606 1781.05/1786.70 c #Conflicts: 555000 | #Constraints: 44637 1781.05/1786.70 c #Conflicts: 556000 | #Constraints: 45637 1781.05/1786.70 c #Conflicts: 557000 | #Constraints: 46638 1781.05/1786.70 c #Conflicts: 558000 | #Constraints: 47639 1781.05/1786.70 c #Conflicts: 559000 | #Constraints: 48639 1781.05/1786.70 c #Conflicts: 560000 | #Constraints: 49639 1781.05/1786.70 c #Conflicts: 561000 | #Constraints: 50639 1781.05/1786.70 c #Conflicts: 562000 | #Constraints: 51639 1781.05/1786.70 c #Conflicts: 563000 | #Constraints: 52639 1781.05/1786.70 c #Conflicts: 564000 | #Constraints: 53639 1781.05/1786.70 c #Conflicts: 565000 | #Constraints: 54639 1781.05/1786.70 c #Conflicts: 566000 | #Constraints: 55640 1781.05/1786.70 c #Conflicts: 567000 | #Constraints: 56640 1781.05/1786.70 c #Conflicts: 568000 | #Constraints: 57640 1781.05/1786.70 c #Conflicts: 569000 | #Constraints: 58640 1781.05/1786.70 c #Conflicts: 570000 | #Constraints: 59640 1781.05/1786.70 c #Conflicts: 571000 | #Constraints: 60640 1781.05/1786.70 c INPROCESSING 1781.05/1786.70 c GARBAGE COLLECT 1781.05/1786.70 c rational objective 13.4606 1946.37/1952.59 c #Conflicts: 572000 | #Constraints: 33841 1946.37/1952.59 c #Conflicts: 573000 | #Constraints: 34841 1946.37/1952.59 c #Conflicts: 574000 | #Constraints: 35841 1946.37/1952.59 c #Conflicts: 575000 | #Constraints: 36841 1946.37/1952.59 c #Conflicts: 576000 | #Constraints: 37841 1946.37/1952.59 c #Conflicts: 577000 | #Constraints: 38841 1946.37/1952.59 c #Conflicts: 578000 | #Constraints: 39841 1946.37/1952.59 c #Conflicts: 579000 | #Constraints: 40841 1946.37/1952.59 c #Conflicts: 580000 | #Constraints: 41841 1946.37/1952.59 c #Conflicts: 581000 | #Constraints: 42841 1946.37/1952.59 c #Conflicts: 582000 | #Constraints: 43841 1946.37/1952.59 c #Conflicts: 583000 | #Constraints: 44841 1946.37/1952.59 c #Conflicts: 584000 | #Constraints: 45841 1946.37/1952.59 c #Conflicts: 585000 | #Constraints: 46841 1946.37/1952.59 c #Conflicts: 586000 | #Constraints: 47841 1946.37/1952.59 c #Conflicts: 587000 | #Constraints: 48842 1946.37/1952.59 c #Conflicts: 588000 | #Constraints: 49843 1946.37/1952.59 c INPROCESSING 1946.37/1952.59 c GARBAGE COLLECT 1946.37/1952.59 c rational objective 13.4606 2220.97/2227.92 c #Conflicts: 589000 | #Constraints: 32219 2220.97/2227.92 c #Conflicts: 590000 | #Constraints: 33219 2220.97/2227.92 c #Conflicts: 591000 | #Constraints: 34219 2220.97/2227.92 c #Conflicts: 592000 | #Constraints: 35219 2220.97/2227.92 c #Conflicts: 593000 | #Constraints: 36219 2220.97/2227.92 c #Conflicts: 594000 | #Constraints: 37223 2220.97/2227.92 c #Conflicts: 595000 | #Constraints: 38227 2220.97/2227.92 c #Conflicts: 596000 | #Constraints: 39231 2220.97/2227.92 c #Conflicts: 597000 | #Constraints: 40234 2220.97/2227.92 c #Conflicts: 598000 | #Constraints: 41237 2220.97/2227.92 c #Conflicts: 599000 | #Constraints: 42241 2220.97/2227.92 c #Conflicts: 600000 | #Constraints: 43244 2220.97/2227.92 c #Conflicts: 601000 | #Constraints: 44248 2220.97/2227.92 c #Conflicts: 602000 | #Constraints: 45251 2220.97/2227.92 c #Conflicts: 603000 | #Constraints: 46254 2220.97/2227.92 c #Conflicts: 604000 | #Constraints: 47259 2220.97/2227.92 c #Conflicts: 605000 | #Constraints: 48262 2220.97/2227.92 c #Conflicts: 606000 | #Constraints: 49266 2220.97/2227.92 c #Conflicts: 607000 | #Constraints: 50269 2220.97/2227.92 c #Conflicts: 608000 | #Constraints: 51272 2220.97/2227.92 c #Conflicts: 609000 | #Constraints: 52276 2220.97/2227.92 c #Conflicts: 610000 | #Constraints: 53280 2220.97/2227.92 c #Conflicts: 611000 | #Constraints: 54283 2220.97/2227.92 c #Conflicts: 612000 | #Constraints: 55287 2220.97/2227.92 c #Conflicts: 613000 | #Constraints: 56291 2220.97/2227.92 c #Conflicts: 614000 | #Constraints: 57294 2220.97/2227.92 c #Conflicts: 615000 | #Constraints: 58297 2220.97/2227.92 c #Conflicts: 616000 | #Constraints: 59300 2220.97/2227.92 c #Conflicts: 617000 | #Constraints: 60303 2220.97/2227.92 c #Conflicts: 618000 | #Constraints: 61307 2220.97/2227.92 c #Conflicts: 619000 | #Constraints: 62312 2220.97/2227.92 c #Conflicts: 620000 | #Constraints: 63316 2220.97/2227.92 c #Conflicts: 621000 | #Constraints: 64321 2220.97/2227.92 c #Conflicts: 622000 | #Constraints: 65325 2220.97/2227.92 c #Conflicts: 623000 | #Constraints: 66330 2220.97/2227.92 c #Conflicts: 624000 | #Constraints: 67334 2220.97/2227.92 c #Conflicts: 625000 | #Constraints: 68339 2220.97/2227.92 c #Conflicts: 626000 | #Constraints: 69345 2220.97/2227.92 c #Conflicts: 627000 | #Constraints: 70348 2220.97/2227.92 c #Conflicts: 628000 | #Constraints: 71351 2220.97/2227.93 c #Conflicts: 629000 | #Constraints: 72354 2220.97/2227.93 c #Conflicts: 630000 | #Constraints: 73358 2220.97/2227.93 c #Conflicts: 631000 | #Constraints: 74362 2220.97/2227.93 c #Conflicts: 632000 | #Constraints: 75366 2220.97/2227.93 c #Conflicts: 633000 | #Constraints: 76369 2220.97/2227.93 c #Conflicts: 634000 | #Constraints: 77374 2220.97/2227.93 c #Conflicts: 635000 | #Constraints: 78378 2220.97/2227.93 c #Conflicts: 636000 | #Constraints: 79382 2220.97/2227.93 c #Conflicts: 637000 | #Constraints: 80386 2220.97/2227.93 c #Conflicts: 638000 | #Constraints: 81392 2220.97/2227.93 c #Conflicts: 639000 | #Constraints: 82397 2220.97/2227.93 c #Conflicts: 640000 | #Constraints: 83402 2220.97/2227.93 c #Conflicts: 641000 | #Constraints: 84405 2220.97/2227.93 c #Conflicts: 642000 | #Constraints: 85409 2220.97/2227.93 c #Conflicts: 643000 | #Constraints: 86411 2220.97/2227.93 c #Conflicts: 644000 | #Constraints: 87413 2220.97/2227.93 c #Conflicts: 645000 | #Constraints: 88417 2220.97/2227.93 c #Conflicts: 646000 | #Constraints: 89422 2220.97/2227.93 c #Conflicts: 647000 | #Constraints: 90425 2220.97/2227.93 c #Conflicts: 648000 | #Constraints: 91427 2220.97/2227.93 c INPROCESSING 2220.97/2227.93 c GARBAGE COLLECT 2220.97/2227.93 c rational objective 13.4606 2450.92/2458.59 c #Conflicts: 649000 | #Constraints: 49184 2450.92/2458.59 c #Conflicts: 650000 | #Constraints: 50184 2450.92/2458.59 c #Conflicts: 651000 | #Constraints: 51184 2450.92/2458.59 c #Conflicts: 652000 | #Constraints: 52184 2450.92/2458.59 c #Conflicts: 653000 | #Constraints: 53184 2450.92/2458.59 c #Conflicts: 654000 | #Constraints: 54184 2450.92/2458.59 c #Conflicts: 655000 | #Constraints: 55184 2450.92/2458.59 c #Conflicts: 656000 | #Constraints: 56184 2450.92/2458.59 c #Conflicts: 657000 | #Constraints: 57184 2450.92/2458.59 c #Conflicts: 658000 | #Constraints: 58184 2450.92/2458.59 c #Conflicts: 659000 | #Constraints: 59186 2450.92/2458.59 c #Conflicts: 660000 | #Constraints: 60186 2450.92/2458.59 c #Conflicts: 661000 | #Constraints: 61187 2450.92/2458.59 c #Conflicts: 662000 | #Constraints: 62187 2450.92/2458.59 c #Conflicts: 663000 | #Constraints: 63187 2450.92/2458.59 c #Conflicts: 664000 | #Constraints: 64187 2450.92/2458.59 c #Conflicts: 665000 | #Constraints: 65187 2450.92/2458.59 c #Conflicts: 666000 | #Constraints: 66187 2450.92/2458.59 c #Conflicts: 667000 | #Constraints: 67188 2450.92/2458.59 c INPROCESSING 2450.92/2458.59 c GARBAGE COLLECT 2450.92/2458.59 c rational objective 13.4606 2519.63/2527.49 c #Conflicts: 668000 | #Constraints: 37273 2519.63/2527.49 c #Conflicts: 669000 | #Constraints: 38279 2519.63/2527.49 c #Conflicts: 670000 | #Constraints: 39285 2519.63/2527.49 c #Conflicts: 671000 | #Constraints: 40288 2519.63/2527.49 c #Conflicts: 672000 | #Constraints: 41292 2519.63/2527.49 c #Conflicts: 673000 | #Constraints: 42298 2519.63/2527.49 c #Conflicts: 674000 | #Constraints: 43302 2519.63/2527.49 c #Conflicts: 675000 | #Constraints: 44307 2519.63/2527.49 c #Conflicts: 676000 | #Constraints: 45311 2519.63/2527.49 c #Conflicts: 677000 | #Constraints: 46317 2519.63/2527.49 c #Conflicts: 678000 | #Constraints: 47321 2519.63/2527.49 c #Conflicts: 679000 | #Constraints: 48325 2519.63/2527.49 c #Conflicts: 680000 | #Constraints: 49329 2519.63/2527.49 c #Conflicts: 681000 | #Constraints: 50331 2519.63/2527.49 c #Conflicts: 682000 | #Constraints: 51334 2519.63/2527.49 c #Conflicts: 683000 | #Constraints: 52337 2519.63/2527.49 c #Conflicts: 684000 | #Constraints: 53342 2519.63/2527.49 c #Conflicts: 685000 | #Constraints: 54346 2519.63/2527.49 c #Conflicts: 686000 | #Constraints: 55350 2519.63/2527.49 c INPROCESSING 2519.63/2527.49 c GARBAGE COLLECT 2519.63/2527.49 c rational objective 13.4606 3416.88/3427.06 c #Conflicts: 687000 | #Constraints: 36846 3416.88/3427.06 c #Conflicts: 688000 | #Constraints: 37846 3416.88/3427.06 c #Conflicts: 689000 | #Constraints: 38846 3416.88/3427.06 c #Conflicts: 690000 | #Constraints: 39846 3416.88/3427.06 c #Conflicts: 691000 | #Constraints: 40846 3416.88/3427.06 c #Conflicts: 692000 | #Constraints: 41846 3416.88/3427.06 c #Conflicts: 693000 | #Constraints: 42846 3416.88/3427.06 c #Conflicts: 694000 | #Constraints: 43846 3416.88/3427.06 c #Conflicts: 695000 | #Constraints: 44846 3416.88/3427.06 c #Conflicts: 696000 | #Constraints: 45846 3416.88/3427.06 c #Conflicts: 697000 | #Constraints: 46846 3416.88/3427.06 c #Conflicts: 698000 | #Constraints: 47847 3416.88/3427.06 c #Conflicts: 699000 | #Constraints: 48847 3416.88/3427.06 c #Conflicts: 700000 | #Constraints: 49847 3416.88/3427.06 c #Conflicts: 701000 | #Constraints: 50847 3416.88/3427.06 c #Conflicts: 702000 | #Constraints: 51847 3416.88/3427.06 c #Conflicts: 703000 | #Constraints: 52847 3416.88/3427.06 c #Conflicts: 704000 | #Constraints: 53847 3416.88/3427.06 c #Conflicts: 705000 | #Constraints: 54847 3416.88/3427.06 c #Conflicts: 706000 | #Constraints: 55847 3416.88/3427.06 c #Conflicts: 707000 | #Constraints: 56847 3416.88/3427.06 c #Conflicts: 708000 | #Constraints: 57847 3416.88/3427.06 c #Conflicts: 709000 | #Constraints: 58847 3416.88/3427.06 c #Conflicts: 710000 | #Constraints: 59847 3416.88/3427.06 c #Conflicts: 711000 | #Constraints: 60847 3416.88/3427.06 c #Conflicts: 712000 | #Constraints: 61848 3416.88/3427.06 c #Conflicts: 713000 | #Constraints: 62848 3416.88/3427.06 c #Conflicts: 714000 | #Constraints: 63848 3416.88/3427.06 c #Conflicts: 715000 | #Constraints: 64848 3416.88/3427.06 c #Conflicts: 716000 | #Constraints: 65848 3416.88/3427.06 c #Conflicts: 717000 | #Constraints: 66848 3416.88/3427.06 c #Conflicts: 718000 | #Constraints: 67848 3416.88/3427.06 c #Conflicts: 719000 | #Constraints: 68848 3416.88/3427.06 c #Conflicts: 720000 | #Constraints: 69848 3416.88/3427.06 c #Conflicts: 721000 | #Constraints: 70848 3416.88/3427.06 c #Conflicts: 722000 | #Constraints: 71848 3416.88/3427.06 c #Conflicts: 723000 | #Constraints: 72848 3416.88/3427.06 c #Conflicts: 724000 | #Constraints: 73848 3416.88/3427.06 c #Conflicts: 725000 | #Constraints: 74848 3416.88/3427.06 c #Conflicts: 726000 | #Constraints: 75848 3416.88/3427.06 c #Conflicts: 727000 | #Constraints: 76848 3416.88/3427.06 c #Conflicts: 728000 | #Constraints: 77848 3416.88/3427.06 c #Conflicts: 729000 | #Constraints: 78848 3416.88/3427.06 c #Conflicts: 730000 | #Constraints: 79848 3416.88/3427.06 c #Conflicts: 731000 | #Constraints: 80848 3416.88/3427.06 c #Conflicts: 732000 | #Constraints: 81848 3416.88/3427.06 c #Conflicts: 733000 | #Constraints: 82848 3416.88/3427.06 c #Conflicts: 734000 | #Constraints: 83848 3416.88/3427.06 c #Conflicts: 735000 | #Constraints: 84849 3416.88/3427.06 c #Conflicts: 736000 | #Constraints: 85849 3416.88/3427.06 c #Conflicts: 737000 | #Constraints: 86849 3416.88/3427.06 c #Conflicts: 738000 | #Constraints: 87849 3416.88/3427.06 c #Conflicts: 739000 | #Constraints: 88849 3416.88/3427.06 c #Conflicts: 740000 | #Constraints: 89849 3416.88/3427.06 c #Conflicts: 741000 | #Constraints: 90849 3416.88/3427.06 c #Conflicts: 742000 | #Constraints: 91849 3416.88/3427.06 c #Conflicts: 743000 | #Constraints: 92849 3416.88/3427.06 c #Conflicts: 744000 | #Constraints: 93849 3416.88/3427.06 c #Conflicts: 745000 | #Constraints: 94849 3416.88/3427.06 c #Conflicts: 746000 | #Constraints: 95849 3416.88/3427.06 c #Conflicts: 747000 | #Constraints: 96849 3416.88/3427.06 c #Conflicts: 748000 | #Constraints: 97849 3416.88/3427.06 c #Conflicts: 749000 | #Constraints: 98849 3416.88/3427.06 c #Conflicts: 750000 | #Constraints: 99849 3416.88/3427.06 c INPROCESSING 3416.88/3427.06 c GARBAGE COLLECT 3416.88/3427.06 c rational objective 13.4606 3514.93/3525.30 c #Conflicts: 751000 | #Constraints: 53701 3514.93/3525.30 c #Conflicts: 752000 | #Constraints: 54706 3514.93/3525.30 c #Conflicts: 753000 | #Constraints: 55709 3514.93/3525.30 c #Conflicts: 754000 | #Constraints: 56712 3514.93/3525.30 c #Conflicts: 755000 | #Constraints: 57717 3514.93/3525.30 c #Conflicts: 756000 | #Constraints: 58723 3514.93/3525.30 c #Conflicts: 757000 | #Constraints: 59725 3514.93/3525.30 c #Conflicts: 758000 | #Constraints: 60730 3514.93/3525.30 c #Conflicts: 759000 | #Constraints: 61735 3514.93/3525.30 c #Conflicts: 760000 | #Constraints: 62738 3514.93/3525.30 c #Conflicts: 761000 | #Constraints: 63740 3514.93/3525.30 c #Conflicts: 762000 | #Constraints: 64742 3514.93/3525.30 c #Conflicts: 763000 | #Constraints: 65745 3514.93/3525.30 c #Conflicts: 764000 | #Constraints: 66750 3514.93/3525.30 c #Conflicts: 765000 | #Constraints: 67753 3514.93/3525.30 c #Conflicts: 766000 | #Constraints: 68754 3514.93/3525.30 c #Conflicts: 767000 | #Constraints: 69758 3514.93/3525.30 c #Conflicts: 768000 | #Constraints: 70764 3514.93/3525.30 c #Conflicts: 769000 | #Constraints: 71769 3514.93/3525.30 c #Conflicts: 770000 | #Constraints: 72772 3514.93/3525.30 c INPROCESSING 3514.93/3525.30 c GARBAGE COLLECT 3514.93/3525.30 c rational objective 13.4606 3600.03/3610.60 c #Conflicts: 771000 | #Constraints: 47085 3600.03/3610.60 c #Conflicts: 772000 | #Constraints: 48089 3600.03/3610.60 c #Conflicts: 773000 | #Constraints: 49091 3600.03/3610.60 c #Conflicts: 774000 | #Constraints: 50096 3600.03/3610.60 c #Conflicts: 775000 | #Constraints: 51102 3600.03/3610.60 c #Conflicts: 776000 | #Constraints: 52106 3600.03/3610.60 c #Conflicts: 777000 | #Constraints: 53113 3600.03/3610.60 c #Conflicts: 778000 | #Constraints: 54120 3600.03/3610.60 c #Conflicts: 779000 | #Constraints: 55125 3600.03/3610.60 c #Conflicts: 780000 | #Constraints: 56130 3600.03/3610.60 c #Conflicts: 781000 | #Constraints: 57134 3600.03/3610.60 c #Conflicts: 782000 | #Constraints: 58139 3600.03/3610.60 c #Conflicts: 783000 | #Constraints: 59146 3600.03/3610.60 c #Conflicts: 784000 | #Constraints: 60153 3600.03/3610.60 c #Conflicts: 785000 | #Constraints: 61161 3600.03/3610.60 c #Conflicts: 786000 | #Constraints: 62164 3600.03/3610.60 c #Conflicts: 787000 | #Constraints: 63170 3600.03/3610.60 c #Conflicts: 788000 | #Constraints: 64173 3600.03/3610.60 c #Conflicts: 789000 | #Constraints: 65178 3600.03/3610.60 c #Conflicts: 790000 | #Constraints: 66181 3600.03/3610.60 c #Conflicts: 791000 | #Constraints: 67183 3600.03/3610.60 c Program interrupted by user. 3600.03/3610.62 c cpu time 3579.4 s 3600.03/3610.62 c deterministic time 255367207934 2.55e+11 3600.03/3610.62 c optimization time 84.7019 s 3600.03/3610.62 c total solve time 3494.68 s 3600.03/3610.62 c core-guided solve time 2108.4 s 3600.03/3610.62 c propagation time 3070.88 s 3600.03/3610.62 c conflict analysis time 447.161 s 3600.03/3610.62 c propagations 75548097 3600.03/3610.62 c resolve steps 3722602 3600.03/3610.62 c decisions 6589846 3600.03/3610.62 c conflicts 791669 3600.03/3610.62 c restarts 1682 3600.03/3610.62 c inprocessing phases 51 3600.03/3610.62 c input clauses 5411 3600.03/3610.62 c input cardinalities 36 3600.03/3610.62 c input general constraints 83 3600.03/3610.62 c input average constraint length 11.43 3600.03/3610.62 c input average constraint degree 1.54 3600.03/3610.62 c learned clauses 247519 3600.03/3610.62 c learned cardinalities 8373 3600.03/3610.62 c learned general constraints 537988 3600.03/3610.62 c learned average constraint length 103.58 3600.03/3610.62 c learned average constraint degree 150504333.65 3600.03/3610.62 c watched constraints 165857 3600.03/3610.62 c counting constraints 372214 3600.03/3610.62 c gcd simplifications 23314 3600.03/3610.62 c detected cardinalities 386 3600.03/3610.62 c weakened non-implied lits 34173303 3600.03/3610.62 c weakened non-implying lits 40100 3600.03/3610.62 c original variables 214 3600.03/3610.62 c clausal propagations 3925094 3600.03/3610.62 c cardinality propagations 1764905 3600.03/3610.62 c watched propagations 4543531 3600.03/3610.62 c counting propagations 61661976 3600.03/3610.62 c watch lookups 72273734148 3600.03/3610.62 c watch backjump lookups 68818505283 3600.03/3610.62 c watch checks 98058568222 3600.03/3610.62 c propagation checks 15709007116 3600.03/3610.62 c constraint additions 341288416 3600.03/3610.62 c trail pops 82927188 3600.03/3610.62 c formula constraints 5375 3600.03/3610.62 c learned constraints 789458 3600.03/3610.62 c bound constraints 24 3600.03/3610.62 c core-guided constraints 131 3600.03/3610.62 c encountered formula constraints 1231786 3600.03/3610.62 c encountered learned constraints 2894423 3600.03/3610.62 c encountered bound constraints 1332 3600.03/3610.62 c encountered core-guided constraints 301059 3600.03/3610.62 c LP total time 135.687 s 3600.03/3610.62 c LP solve time 133.54 s 3600.03/3610.62 c LP constraints added 5375 3600.03/3610.62 c LP constraints removed 0 3600.03/3610.62 c LP pivots internal 791685 3600.03/3610.62 c LP pivots root 247932 3600.03/3610.62 c LP calls 2462 3600.03/3610.62 c LP optimalities 247 3600.03/3610.62 c LP no pivot count 11 3600.03/3610.62 c LP infeasibilities 2211 3600.03/3610.62 c LP valid Farkas constraints 2211 3600.03/3610.62 c LP learned Farkas constraints 2211 3600.03/3610.62 c LP basis resets 0 3600.03/3610.62 c LP cycling count 0 3600.03/3610.62 c LP singular count 0 3600.03/3610.62 c LP no primal count 0 3600.03/3610.62 c LP no farkas count 0 3600.03/3610.62 c LP other issue count 0 3600.03/3610.62 c LP Gomory cuts 0 3600.03/3610.62 c LP learned cuts 0 3600.03/3610.62 c LP deleted cuts 0 3600.03/3610.62 c LP encountered Gomory constraints 0 3600.03/3610.62 c LP encountered Farkas constraints 64135 3600.03/3610.62 c LP encountered learned Farkas constraints 19325 3600.03/3610.62 c CG auxiliary variables introduced 48 3600.03/3610.62 c CG solutions found 11 3600.03/3610.62 c CG cores constructed 13 3600.03/3610.62 c CG core cardinality constraints returned 0 3600.03/3610.62 c CG unit cores 0 3600.03/3610.62 c CG single cores 13 3600.03/3610.62 c CG blocks removed during cardinality reduction 0 3600.03/3610.62 c CG first core best 0 3600.03/3610.62 c CG decision core best 0 3600.03/3610.62 c CG core reduction tie 0 3600.03/3610.62 c CG core degree average 1.00 3600.03/3610.62 c CG core slack average 18.15 3600.03/3610.62 s SATISFIABLE 3600.03/3610.62 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 x163 -x164 x165 x166 -x167 -x168 x169 x170 x171 x172 x173 -x174 x175 x176 x177 -x178 -x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
OK 22
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (49094 MiB free)
memory of node 1: 64510 MiB (50587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460922-1722073242/watcher-4460922-1722073242 -o /tmp/evaluation-result-4460922-1722073242/solver-4460922-1722073242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310247 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460922-1722073242 --lp-cut-gomory=0 HOME/instance-4460922-1722073242.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=315799, runsolver pid=315796
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.17 4.12 4.14 4/266 315800
/proc/meminfo: memFree=102073064/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/315799/stat : 315799 (roundingsat) D 315796 315799 310236 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 43848338 38273024 656 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.205835 s]*
/proc/loadavg: 4.17 4.12 4.14 4/266 315800
/proc/meminfo: memFree=102072728/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/315799/stat : 315799 (roundingsat) D 315796 315799 310236 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 43848338 38273024 656 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.305778 s]*
/proc/loadavg: 4.17 4.12 4.14 4/266 315800
/proc/meminfo: memFree=102071720/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/315799/stat : 315799 (roundingsat) D 315796 315799 310236 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 43848338 38273024 656 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.700191 s]
/proc/loadavg: 4.17 4.12 4.14 5/266 315800
/proc/meminfo: memFree=102064824/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=44048 memory=14372 CPUtime=0.28 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 3124 0 0 0 27 1 0 0 20 0 1 0 43848338 45105152 3593 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 11012 3593 1809 992 0 2870 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14372 KiB
[startup+1.50022 s]
/proc/loadavg: 4.17 4.12 4.14 5/266 315800
/proc/meminfo: memFree=102053760/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=46656 memory=20464 CPUtime=1.07 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 4042 0 0 0 102 5 0 0 20 0 1 0 43848338 47775744 5116 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 11664 5116 1903 992 0 3522 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 46656 KiB
Current children cumulated memory: 20464 KiB
[startup+3.10582 s]
/proc/loadavg: 4.17 4.12 4.14 5/266 315800
/proc/meminfo: memFree=102038012/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=49024 memory=22308 CPUtime=2.68 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 4501 0 0 0 255 13 0 0 20 0 1 0 43848338 50200576 5577 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 12256 5577 1903 992 0 4114 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 49024 KiB
Current children cumulated memory: 22308 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 4.12 4.14 5/266 315800
/proc/meminfo: memFree=102002160/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=50436 memory=24156 CPUtime=5.86 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 4914 0 0 0 563 23 0 0 20 0 1 0 43848338 51646464 6039 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 12609 6039 1903 992 0 4467 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 50436 KiB
Current children cumulated memory: 24156 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.14 5/266 315802
/proc/meminfo: memFree=101935744/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=54460 memory=26848 CPUtime=12.24 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 5615 0 0 0 1175 49 0 0 20 0 1 0 43848338 55767040 6712 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 13615 6712 1903 992 0 5473 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 54460 KiB
Current children cumulated memory: 26848 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.14 5/266 315803
/proc/meminfo: memFree=101789104/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=62864 memory=32756 CPUtime=25.02 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 7105 0 0 0 2418 84 0 0 20 0 1 0 43848338 64372736 8189 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 15716 8189 1903 992 0 7574 0
Current children cumulated CPU time: 25.02 s
Current children cumulated vsize: 62864 KiB
Current children cumulated memory: 32756 KiB
[startup+51.1059 s]
/proc/loadavg: 4.12 4.12 4.13 5/266 315808
/proc/meminfo: memFree=101479816/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=66680 memory=39816 CPUtime=50.56 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 8356 0 0 0 4905 151 0 0 20 0 1 0 43848338 68280320 9954 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 16670 9954 1903 992 0 8528 0
Current children cumulated CPU time: 50.56 s
Current children cumulated vsize: 66680 KiB
Current children cumulated memory: 39816 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/266 315818
/proc/meminfo: memFree=100995940/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=111504 memory=75856 CPUtime=101.61 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 14809 0 0 0 9922 239 0 0 20 0 1 0 43848338 114180096 18964 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 27876 18964 1903 992 0 19734 0
Current children cumulated CPU time: 101.61 s
Current children cumulated vsize: 111504 KiB
Current children cumulated memory: 75856 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.14 4.14 5/266 315828
/proc/meminfo: memFree=100365604/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=145704 memory=95824 CPUtime=161.45 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 18313 0 0 0 15820 325 0 0 20 0 1 0 43848338 149200896 23956 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 36426 23956 1903 992 0 28284 0
Current children cumulated CPU time: 161.45 s
Current children cumulated vsize: 145704 KiB
Current children cumulated memory: 95824 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/266 315839
/proc/meminfo: memFree=99864856/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=178556 memory=124728 CPUtime=221.3 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 24467 0 0 0 21732 398 0 0 20 0 1 0 43848338 182841344 31182 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 44639 31182 1903 992 0 36497 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 178556 KiB
Current children cumulated memory: 124728 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/262 315849
/proc/meminfo: memFree=99222972/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=179156 memory=127100 CPUtime=281.14 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 25088 0 0 0 27633 481 0 0 20 0 1 0 43848338 183455744 31775 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 44789 31775 1903 992 0 36647 0
Current children cumulated CPU time: 281.14 s
Current children cumulated vsize: 179156 KiB
Current children cumulated memory: 127100 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/257 315859
/proc/meminfo: memFree=98864248/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=191204 memory=142268 CPUtime=340.97 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 27877 0 0 0 33570 527 0 0 20 0 1 0 43848338 195792896 35567 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 47801 35567 1903 992 0 39659 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 191204 KiB
Current children cumulated memory: 142268 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/257 315870
/proc/meminfo: memFree=98279316/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=191204 memory=142268 CPUtime=400.82 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 27880 0 0 0 39498 584 0 0 20 0 1 0 43848338 195792896 35567 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 47801 35567 1903 992 0 39659 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 191204 KiB
Current children cumulated memory: 142268 KiB
[startup+462.3 s]
/proc/loadavg: 4.31 4.20 4.15 5/258 315881
/proc/meminfo: memFree=97711692/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=191204 memory=142532 CPUtime=460.66 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 27903 0 0 0 45424 642 0 0 20 0 1 0 43848338 195792896 35633 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 47801 35633 1903 992 0 39659 0
################
# More data... #
################
Current children cumulated memory: 238400 KiB
[startup+2862.3 s]
/proc/loadavg: 2.09 2.80 3.53 3/244 317361
/proc/meminfo: memFree=110868420/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=271808 memory=238560 CPUtime=2853.54 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 40341 0 0 0 283514 1840 0 0 20 0 1 0 43848338 278331392 59640 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 67952 59640 1903 992 0 59810 0
Current children cumulated CPU time: 2853.54 s
Current children cumulated vsize: 271808 KiB
Current children cumulated memory: 238560 KiB
[startup+2922.3 s]
/proc/loadavg: 2.13 2.68 3.44 3/245 317542
/proc/meminfo: memFree=110857352/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=271808 memory=238716 CPUtime=2913.37 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 40443 0 0 0 289481 1856 0 0 20 0 1 0 43848338 278331392 59679 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 67952 59679 1903 992 0 59810 0
Current children cumulated CPU time: 2913.37 s
Current children cumulated vsize: 271808 KiB
Current children cumulated memory: 238716 KiB
[startup+2982.3 s]
/proc/loadavg: 2.12 2.58 3.36 3/246 317612
/proc/meminfo: memFree=110845936/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=272832 memory=239100 CPUtime=2973.21 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 40683 0 0 0 295449 1872 0 0 20 0 1 0 43848338 279379968 59775 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 68208 59775 1903 992 0 60066 0
Current children cumulated CPU time: 2973.21 s
Current children cumulated vsize: 272832 KiB
Current children cumulated memory: 239100 KiB
[startup+3042.3 s]
/proc/loadavg: 1.81 2.42 3.25 2/240 317654
/proc/meminfo: memFree=112395548/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=273660 memory=239760 CPUtime=3033.06 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 40902 0 0 0 301417 1889 0 0 20 0 1 0 43848338 280227840 59940 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 68415 59940 1903 992 0 60273 0
Current children cumulated CPU time: 3033.06 s
Current children cumulated vsize: 273660 KiB
Current children cumulated memory: 239760 KiB
[startup+3102.3 s]
/proc/loadavg: 1.35 2.18 3.11 2/240 317666
/proc/meminfo: memFree=112385388/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=274932 memory=240428 CPUtime=3092.93 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 41186 0 0 0 307389 1904 0 0 20 0 1 0 43848338 281530368 60107 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 68733 60107 1903 992 0 60591 0
Current children cumulated CPU time: 3092.93 s
Current children cumulated vsize: 274932 KiB
Current children cumulated memory: 240428 KiB
[startup+3162.3 s]
/proc/loadavg: 1.25 1.99 2.99 2/241 317679
/proc/meminfo: memFree=112376268/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=275676 memory=240824 CPUtime=3152.8 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 41410 0 0 0 313360 1920 0 0 20 0 1 0 43848338 282292224 60206 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 68919 60206 1903 992 0 60777 0
Current children cumulated CPU time: 3152.8 s
Current children cumulated vsize: 275676 KiB
Current children cumulated memory: 240824 KiB
[startup+3222.3 s]
/proc/loadavg: 1.15 1.83 2.87 2/239 317691
/proc/meminfo: memFree=112366072/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=276084 memory=242804 CPUtime=3212.66 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 41577 0 0 0 319329 1937 0 0 20 0 1 0 43848338 282710016 60701 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 69021 60701 1903 992 0 60879 0
Current children cumulated CPU time: 3212.66 s
Current children cumulated vsize: 276084 KiB
Current children cumulated memory: 242804 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.69 2.75 2/239 317701
/proc/meminfo: memFree=112355244/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=277900 memory=245744 CPUtime=3272.52 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 41927 0 0 0 325303 1949 0 0 20 0 1 0 43848338 284569600 61436 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 69475 61436 1903 992 0 61333 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 277900 KiB
Current children cumulated memory: 245744 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 1.59 2.65 2/237 317712
/proc/meminfo: memFree=112344656/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=278668 memory=248432 CPUtime=3332.38 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 42153 0 0 0 331277 1961 0 0 20 0 1 0 43848338 285356032 62108 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 69667 62108 1903 992 0 61525 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 278668 KiB
Current children cumulated memory: 248432 KiB
[startup+3402.3 s]
/proc/loadavg: 1.06 1.48 2.54 2/237 317725
/proc/meminfo: memFree=112333984/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=279312 memory=251100 CPUtime=3392.24 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 42442 0 0 0 337251 1973 0 0 20 0 1 0 43848338 286015488 62775 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 69828 62775 1903 992 0 61686 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 279312 KiB
Current children cumulated memory: 251100 KiB
[startup+3462.3 s]
/proc/loadavg: 1.06 1.41 2.45 2/236 317736
/proc/meminfo: memFree=112317440/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=329400 memory=254352 CPUtime=3452.09 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 43180 0 0 0 343211 1998 0 0 20 0 1 0 43848338 337305600 63588 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 82350 63588 1903 992 0 74208 0
Current children cumulated CPU time: 3452.09 s
Current children cumulated vsize: 329400 KiB
Current children cumulated memory: 254352 KiB
[startup+3522.3 s]
/proc/loadavg: 1.27 1.39 2.38 2/236 317747
/proc/meminfo: memFree=112298332/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=329400 memory=254352 CPUtime=3511.94 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 43250 0 0 0 349173 2021 0 0 20 0 1 0 43848338 337305600 63588 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 82350 63588 1903 992 0 74208 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 329400 KiB
Current children cumulated memory: 254352 KiB
[startup+3582.3 s]
/proc/loadavg: 1.26 1.38 2.31 2/237 317760
/proc/meminfo: memFree=112267364/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=330392 memory=256728 CPUtime=3571.78 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 43494 0 0 0 355126 2052 0 0 20 0 1 0 43848338 338321408 64182 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 82598 64182 1903 992 0 74456 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 330392 KiB
Current children cumulated memory: 256728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 1.17 1.35 2.27 2/239 317768
/proc/meminfo: memFree=112253080/131524600 swapFree=131054224/131071996
[pid=315799] ppid=315796 vsize=330392 memory=256824 CPUtime=3600.03 cores=4,6
/proc/315799/stat : 315799 (roundingsat) R 315796 315799 310236 0 -1 4194304 43595 0 0 0 357940 2063 0 0 20 0 1 0 43848338 338321408 64206 134679101440 4194304 8254357 140728004980192 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25993216 140728004985691 140728004985953 140728004985953 140728004992969 0
/proc/315799/statm: 82598 64206 1903 992 0 74456 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 330392 KiB
Current children cumulated memory: 256824 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.63 s]
# the end of solver process 315799 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.41 s, system=20.6354 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.63
CPU time (s): 3600.04
CPU user time (s): 3579.41
CPU system time (s): 20.6354
CPU usage (%): 99.7068
Max. virtual memory (cumulated for all children) (KiB): 331296
Max. memory (cumulated for all children) (KiB): 256824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.41
system time used= 20.6354
maximum resident set size= 256824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43619
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2782808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 489
involuntary context switches= 8407
# summary of solver processes directly reported to runsolver:
# pid: 315799
# total CPU time (s): 3600.04
# total CPU user time (s): 3579.41
# total CPU system time (s): 20.6354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68795 second user time and 18.2656 second system time
The end
Begin job on nodeC034 at 2024-07-27 11:40:42 IDJOB=4460922 IDBENCH=178614 IDSOLVER=3086 FILE ID=nodeC034/4460922-1722073242 RUNJOBID= nodeC034-1722064836-310247 SLURM_JOB_ID= 8248102 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-iis-glass-cov.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-4460922-1722073242/watcher-4460922-1722073242 -o /tmp/evaluation-result-4460922-1722073242/solver-4460922-1722073242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310247 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460922-1722073242 --lp-cut-gomory=0 HOME/instance-4460922-1722073242.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f RANDOM SEED=1758337591 nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.170 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3679.803 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.584 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.230 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.058 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3679.990 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3653.982 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.343 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 102074868 kB MemAvailable: 125202824 kB Buffers: 372108 kB Cached: 23530184 kB SwapCached: 112 kB Active: 1841296 kB Inactive: 26899640 kB Active(anon): 2000 kB Inactive(anon): 4887236 kB Active(file): 1839296 kB Inactive(file): 22012404 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054224 kB Dirty: 71908 kB Writeback: 0 kB AnonPages: 4837372 kB Mapped: 105140 kB Shmem: 50772 kB KReclaimable: 231804 kB Slab: 350964 kB SReclaimable: 231804 kB SUnreclaim: 119160 kB KernelStack: 4272 kB PageTables: 18980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5324640 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16416 kB HardwareCorrupted: 0 kB AnonHugePages: 2131968 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: 357076 kB DirectMap2M: 48699392 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890076 MiB End job on nodeC034 at 2024-07-27 12:40:52