| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 22 | 3600.03 | 3609.91 |
| 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.03 c #variables 214 #constraints 5375 0.10/0.16 c bounds - >= 0 @ 0.021558 0.10/0.16 c rational objective 13.4606 2.09/2.18 c bounds 32 >= 0 @ 0.146759 2.09/2.18 c bounds 32 >= 1 @ 0.262634 2.09/2.18 c bounds 32 >= 2 @ 0.262917 2.09/2.18 c bounds 32 >= 3 @ 0.263185 2.09/2.18 c bounds 32 >= 4 @ 0.26349 2.09/2.18 c bounds 32 >= 5 @ 0.263506 2.09/2.18 c bounds 32 >= 6 @ 0.263506 2.09/2.18 c bounds 32 >= 7 @ 0.263578 2.09/2.18 c bounds 32 >= 8 @ 0.263927 2.09/2.18 c bounds 32 >= 9 @ 0.264365 2.09/2.18 c bounds 32 >= 10 @ 0.265476 2.09/2.18 c bounds 32 >= 11 @ 0.313882 2.09/2.18 c bounds 31 >= 11 @ 0.316683 2.09/2.18 c bounds 30 >= 11 @ 0.317043 2.09/2.18 c bounds 29 >= 11 @ 0.318036 2.09/2.18 c bounds 28 >= 11 @ 0.330947 2.09/2.18 c bounds 27 >= 11 @ 0.333404 2.09/2.18 c bounds 26 >= 11 @ 0.334193 2.09/2.18 c bounds 25 >= 11 @ 0.369568 2.09/2.18 c #Conflicts: 1000 | #Constraints: 6468 2.09/2.18 c bounds 24 >= 11 @ 0.388519 2.09/2.18 c #Conflicts: 2000 | #Constraints: 7481 2.09/2.18 c INPROCESSING 2.09/2.18 c GARBAGE COLLECT 2.09/2.18 c #Conflicts: 3000 | #Constraints: 7463 2.09/2.18 c #Conflicts: 4000 | #Constraints: 8463 2.09/2.18 c INPROCESSING 2.09/2.18 c GARBAGE COLLECT 2.09/2.18 c rational objective 13.4606 8.07/8.20 c bounds 23 >= 11 @ 2.08917 8.07/8.20 c bounds 22 >= 11 @ 2.09679 8.07/8.20 c #Conflicts: 5000 | #Constraints: 7870 8.07/8.20 c #Conflicts: 6000 | #Constraints: 8870 8.07/8.20 c INPROCESSING 8.07/8.20 c GARBAGE COLLECT 8.07/8.20 c #Conflicts: 7000 | #Constraints: 7868 8.07/8.20 c #Conflicts: 8000 | #Constraints: 8873 8.07/8.20 c #Conflicts: 9000 | #Constraints: 9876 8.07/8.20 c INPROCESSING 8.07/8.20 c GARBAGE COLLECT 8.07/8.20 c #Conflicts: 10000 | #Constraints: 8570 8.07/8.20 c #Conflicts: 11000 | #Constraints: 9577 8.07/8.20 c #Conflicts: 12000 | #Constraints: 10584 8.07/8.20 c INPROCESSING 8.07/8.20 c GARBAGE COLLECT 8.07/8.20 c #Conflicts: 13000 | #Constraints: 9026 8.07/8.20 c bounds 22 >= 12 @ 7.30739 8.07/8.20 c #Conflicts: 14000 | #Constraints: 10056 8.07/8.20 c #Conflicts: 15000 | #Constraints: 11056 8.07/8.20 c INPROCESSING 8.07/8.20 c GARBAGE COLLECT 8.07/8.20 c rational objective 13.4606 8.87/8.98 c #Conflicts: 16000 | #Constraints: 9275 8.87/8.98 c #Conflicts: 17000 | #Constraints: 10275 8.87/8.98 c #Conflicts: 18000 | #Constraints: 11275 8.87/8.98 c INPROCESSING 8.87/8.98 c GARBAGE COLLECT 8.87/8.98 c rational objective 13.4606 11.66/11.70 c #Conflicts: 19000 | #Constraints: 9285 11.66/11.70 c #Conflicts: 20000 | #Constraints: 10285 11.66/11.70 c #Conflicts: 21000 | #Constraints: 11285 11.66/11.70 c INPROCESSING 11.66/11.70 c GARBAGE COLLECT 11.66/11.70 c rational objective 13.4606 13.75/13.83 c #Conflicts: 22000 | #Constraints: 9097 13.75/13.83 c #Conflicts: 23000 | #Constraints: 10101 13.75/13.83 c #Conflicts: 24000 | #Constraints: 11107 13.75/13.83 c #Conflicts: 25000 | #Constraints: 12111 13.75/13.83 c INPROCESSING 13.75/13.83 c GARBAGE COLLECT 13.75/13.83 c rational objective 13.4606 16.54/16.66 c #Conflicts: 26000 | #Constraints: 9710 16.54/16.66 c #Conflicts: 27000 | #Constraints: 10714 16.54/16.66 c #Conflicts: 28000 | #Constraints: 11718 16.54/16.66 c #Conflicts: 29000 | #Constraints: 12721 16.54/16.66 c INPROCESSING 16.54/16.66 c GARBAGE COLLECT 16.54/16.66 c rational objective 13.4606 19.24/19.35 c #Conflicts: 30000 | #Constraints: 10116 19.24/19.35 c #Conflicts: 31000 | #Constraints: 11121 19.24/19.35 c #Conflicts: 32000 | #Constraints: 12124 19.24/19.35 c #Conflicts: 33000 | #Constraints: 13128 19.24/19.35 c INPROCESSING 19.24/19.35 c GARBAGE COLLECT 19.24/19.35 c rational objective 13.4606 25.62/25.71 c #Conflicts: 34000 | #Constraints: 10312 25.62/25.71 c #Conflicts: 35000 | #Constraints: 11312 25.62/25.71 c #Conflicts: 36000 | #Constraints: 12312 25.62/25.71 c #Conflicts: 37000 | #Constraints: 13312 25.62/25.71 c INPROCESSING 25.62/25.71 c GARBAGE COLLECT 25.62/25.71 c #Conflicts: 38000 | #Constraints: 10310 25.62/25.71 c #Conflicts: 39000 | #Constraints: 11314 25.62/25.71 c #Conflicts: 40000 | #Constraints: 12320 25.62/25.71 c #Conflicts: 41000 | #Constraints: 13324 25.62/25.71 c INPROCESSING 25.62/25.71 c GARBAGE COLLECT 25.62/25.71 c rational objective 13.4606 30.91/31.06 c #Conflicts: 42000 | #Constraints: 10116 30.91/31.06 c #Conflicts: 43000 | #Constraints: 11121 30.91/31.06 c #Conflicts: 44000 | #Constraints: 12126 30.91/31.06 c #Conflicts: 45000 | #Constraints: 13132 30.91/31.06 c #Conflicts: 46000 | #Constraints: 14136 30.91/31.06 c INPROCESSING 30.91/31.06 c GARBAGE COLLECT 30.91/31.06 c #Conflicts: 47000 | #Constraints: 10717 30.91/31.06 c #Conflicts: 48000 | #Constraints: 11722 30.91/31.06 c #Conflicts: 49000 | #Constraints: 12729 30.91/31.06 c #Conflicts: 50000 | #Constraints: 13732 30.91/31.06 c #Conflicts: 51000 | #Constraints: 14736 30.91/31.06 c INPROCESSING 30.91/31.06 c GARBAGE COLLECT 30.91/31.06 c rational objective 13.4606 36.50/36.62 c #Conflicts: 52000 | #Constraints: 11119 36.50/36.62 c #Conflicts: 53000 | #Constraints: 12119 36.50/36.62 c #Conflicts: 54000 | #Constraints: 13119 36.50/36.62 c #Conflicts: 55000 | #Constraints: 14119 36.50/36.62 c #Conflicts: 56000 | #Constraints: 15119 36.50/36.62 c INPROCESSING 36.50/36.62 c GARBAGE COLLECT 36.50/36.62 c rational objective 13.4606 40.18/40.31 c #Conflicts: 57000 | #Constraints: 11315 40.18/40.31 c #Conflicts: 58000 | #Constraints: 12322 40.18/40.31 c #Conflicts: 59000 | #Constraints: 13327 40.18/40.31 c #Conflicts: 60000 | #Constraints: 14331 40.18/40.31 c #Conflicts: 61000 | #Constraints: 15336 40.18/40.31 c INPROCESSING 40.18/40.31 c GARBAGE COLLECT 40.18/40.31 c rational objective 13.4606 44.07/44.26 c #Conflicts: 62000 | #Constraints: 11324 44.07/44.26 c #Conflicts: 63000 | #Constraints: 12328 44.07/44.26 c #Conflicts: 64000 | #Constraints: 13331 44.07/44.26 c #Conflicts: 65000 | #Constraints: 14337 44.07/44.26 c #Conflicts: 66000 | #Constraints: 15343 44.07/44.26 c INPROCESSING 44.07/44.26 c GARBAGE COLLECT 44.07/44.26 c rational objective 13.4606 53.45/53.60 c #Conflicts: 67000 | #Constraints: 11119 53.45/53.60 c #Conflicts: 68000 | #Constraints: 12125 53.45/53.60 c #Conflicts: 69000 | #Constraints: 13130 53.45/53.60 c #Conflicts: 70000 | #Constraints: 14133 53.45/53.60 c #Conflicts: 71000 | #Constraints: 15136 53.45/53.60 c #Conflicts: 72000 | #Constraints: 16140 53.45/53.60 c INPROCESSING 53.45/53.60 c GARBAGE COLLECT 53.45/53.60 c #Conflicts: 73000 | #Constraints: 11722 53.45/53.60 c #Conflicts: 74000 | #Constraints: 12722 53.45/53.60 c #Conflicts: 75000 | #Constraints: 13722 53.45/53.60 c #Conflicts: 76000 | #Constraints: 14722 53.45/53.60 c #Conflicts: 77000 | #Constraints: 15722 53.45/53.60 c #Conflicts: 78000 | #Constraints: 16722 53.45/53.60 c INPROCESSING 53.45/53.60 c GARBAGE COLLECT 53.45/53.60 c rational objective 13.4606 73.91/74.18 c #Conflicts: 79000 | #Constraints: 12110 73.91/74.18 c #Conflicts: 80000 | #Constraints: 13113 73.91/74.18 c #Conflicts: 81000 | #Constraints: 14115 73.91/74.18 c #Conflicts: 82000 | #Constraints: 15120 73.91/74.18 c #Conflicts: 83000 | #Constraints: 16125 73.91/74.18 c #Conflicts: 84000 | #Constraints: 17132 73.91/74.18 c #Conflicts: 85000 | #Constraints: 18136 73.91/74.18 c #Conflicts: 86000 | #Constraints: 19143 73.91/74.18 c #Conflicts: 87000 | #Constraints: 20149 73.91/74.18 c #Conflicts: 88000 | #Constraints: 21156 73.91/74.18 c #Conflicts: 89000 | #Constraints: 22160 73.91/74.18 c #Conflicts: 90000 | #Constraints: 23166 73.91/74.18 c #Conflicts: 91000 | #Constraints: 24170 73.91/74.18 c #Conflicts: 92000 | #Constraints: 25177 73.91/74.18 c #Conflicts: 93000 | #Constraints: 26180 73.91/74.18 c #Conflicts: 94000 | #Constraints: 27185 73.91/74.18 c #Conflicts: 95000 | #Constraints: 28189 73.91/74.18 c #Conflicts: 96000 | #Constraints: 29193 73.91/74.18 c #Conflicts: 97000 | #Constraints: 30197 73.91/74.18 c #Conflicts: 98000 | #Constraints: 31201 73.91/74.18 c #Conflicts: 99000 | #Constraints: 32203 73.91/74.18 c #Conflicts: 100000 | #Constraints: 33209 73.91/74.18 c #Conflicts: 101000 | #Constraints: 34213 73.91/74.18 c #Conflicts: 102000 | #Constraints: 35220 73.91/74.18 c INPROCESSING 73.91/74.18 c GARBAGE COLLECT 73.91/74.18 c rational objective 13.4606 88.66/88.93 c #Conflicts: 103000 | #Constraints: 20909 88.66/88.93 c #Conflicts: 104000 | #Constraints: 21909 88.66/88.93 c #Conflicts: 105000 | #Constraints: 22909 88.66/88.93 c #Conflicts: 106000 | #Constraints: 23911 88.66/88.93 c #Conflicts: 107000 | #Constraints: 24911 88.66/88.93 c #Conflicts: 108000 | #Constraints: 25911 88.66/88.93 c #Conflicts: 109000 | #Constraints: 26911 88.66/88.93 c #Conflicts: 110000 | #Constraints: 27911 88.66/88.93 c INPROCESSING 88.66/88.93 c GARBAGE COLLECT 88.66/88.93 c rational objective 13.4606 95.04/95.32 c #Conflicts: 111000 | #Constraints: 17714 95.04/95.32 c #Conflicts: 112000 | #Constraints: 18717 95.04/95.32 c #Conflicts: 113000 | #Constraints: 19720 95.04/95.32 c #Conflicts: 114000 | #Constraints: 20726 95.04/95.32 c #Conflicts: 115000 | #Constraints: 21731 95.04/95.32 c #Conflicts: 116000 | #Constraints: 22735 95.04/95.32 c #Conflicts: 117000 | #Constraints: 23738 95.04/95.32 c INPROCESSING 95.04/95.32 c GARBAGE COLLECT 95.04/95.32 c rational objective 13.4606 101.03/101.34 c #Conflicts: 118000 | #Constraints: 15472 101.03/101.34 c #Conflicts: 119000 | #Constraints: 16478 101.03/101.34 c #Conflicts: 120000 | #Constraints: 17482 101.03/101.34 c #Conflicts: 121000 | #Constraints: 18486 101.03/101.34 c #Conflicts: 122000 | #Constraints: 19488 101.03/101.34 c #Conflicts: 123000 | #Constraints: 20489 101.03/101.34 c #Conflicts: 124000 | #Constraints: 21492 101.03/101.34 c INPROCESSING 101.03/101.34 c GARBAGE COLLECT 101.03/101.34 c rational objective 13.4606 116.10/116.40 c #Conflicts: 125000 | #Constraints: 14095 116.10/116.40 c #Conflicts: 126000 | #Constraints: 15095 116.10/116.40 c #Conflicts: 127000 | #Constraints: 16095 116.10/116.40 c #Conflicts: 128000 | #Constraints: 17095 116.10/116.40 c #Conflicts: 129000 | #Constraints: 18095 116.10/116.40 c #Conflicts: 130000 | #Constraints: 19095 116.10/116.40 c #Conflicts: 131000 | #Constraints: 20095 116.10/116.40 c #Conflicts: 132000 | #Constraints: 21095 116.10/116.40 c INPROCESSING 116.10/116.40 c GARBAGE COLLECT 116.10/116.40 c rational objective 13.4606 161.17/161.65 c #Conflicts: 133000 | #Constraints: 14059 161.17/161.65 c #Conflicts: 134000 | #Constraints: 15060 161.17/161.65 c #Conflicts: 135000 | #Constraints: 16066 161.17/161.65 c #Conflicts: 136000 | #Constraints: 17070 161.17/161.65 c #Conflicts: 137000 | #Constraints: 18074 161.17/161.65 c #Conflicts: 138000 | #Constraints: 19078 161.17/161.65 c #Conflicts: 139000 | #Constraints: 20083 161.17/161.65 c #Conflicts: 140000 | #Constraints: 21086 161.17/161.65 c #Conflicts: 141000 | #Constraints: 22089 161.17/161.65 c #Conflicts: 142000 | #Constraints: 23094 161.17/161.65 c #Conflicts: 143000 | #Constraints: 24097 161.17/161.65 c #Conflicts: 144000 | #Constraints: 25099 161.17/161.65 c #Conflicts: 145000 | #Constraints: 26101 161.17/161.65 c #Conflicts: 146000 | #Constraints: 27104 161.17/161.65 c #Conflicts: 147000 | #Constraints: 28108 161.17/161.65 c #Conflicts: 148000 | #Constraints: 29110 161.17/161.65 c #Conflicts: 149000 | #Constraints: 30113 161.17/161.65 c #Conflicts: 150000 | #Constraints: 31119 161.17/161.65 c #Conflicts: 151000 | #Constraints: 32125 161.17/161.65 c #Conflicts: 152000 | #Constraints: 33128 161.17/161.65 c #Conflicts: 153000 | #Constraints: 34130 161.17/161.65 c #Conflicts: 154000 | #Constraints: 35132 161.17/161.65 c #Conflicts: 155000 | #Constraints: 36140 161.17/161.65 c #Conflicts: 156000 | #Constraints: 37144 161.17/161.65 c #Conflicts: 157000 | #Constraints: 38149 161.17/161.65 c #Conflicts: 158000 | #Constraints: 39152 161.17/161.65 c #Conflicts: 159000 | #Constraints: 40156 161.17/161.65 c #Conflicts: 160000 | #Constraints: 41159 161.17/161.65 c #Conflicts: 161000 | #Constraints: 42161 161.17/161.65 c #Conflicts: 162000 | #Constraints: 43165 161.17/161.65 c #Conflicts: 163000 | #Constraints: 44168 161.17/161.65 c INPROCESSING 161.17/161.65 c GARBAGE COLLECT 161.17/161.65 c rational objective 13.4606 186.30/186.87 c #Conflicts: 164000 | #Constraints: 25434 186.30/186.87 c #Conflicts: 165000 | #Constraints: 26434 186.30/186.87 c #Conflicts: 166000 | #Constraints: 27434 186.30/186.87 c bounds 22 >= 13 @ 165.303 186.30/186.87 c #Conflicts: 167000 | #Constraints: 28467 186.30/186.87 c #Conflicts: 168000 | #Constraints: 29467 186.30/186.87 c #Conflicts: 169000 | #Constraints: 30468 186.30/186.87 c #Conflicts: 170000 | #Constraints: 31468 186.30/186.87 c #Conflicts: 171000 | #Constraints: 32468 186.30/186.87 c #Conflicts: 172000 | #Constraints: 33468 186.30/186.87 c INPROCESSING 186.30/186.87 c GARBAGE COLLECT 186.30/186.87 c rational objective 13.4606 194.88/195.44 c #Conflicts: 173000 | #Constraints: 20110 194.88/195.44 c #Conflicts: 174000 | #Constraints: 21110 194.88/195.44 c #Conflicts: 175000 | #Constraints: 22110 194.88/195.44 c #Conflicts: 176000 | #Constraints: 23110 194.88/195.44 c #Conflicts: 177000 | #Constraints: 24114 194.88/195.44 c #Conflicts: 178000 | #Constraints: 25118 194.88/195.44 c #Conflicts: 179000 | #Constraints: 26122 194.88/195.44 c #Conflicts: 180000 | #Constraints: 27127 194.88/195.44 c #Conflicts: 181000 | #Constraints: 28129 194.88/195.44 c #Conflicts: 182000 | #Constraints: 29133 194.88/195.44 c INPROCESSING 194.88/195.44 c GARBAGE COLLECT 194.88/195.44 c rational objective 13.4606 204.15/204.77 c #Conflicts: 183000 | #Constraints: 18341 204.15/204.77 c #Conflicts: 184000 | #Constraints: 19345 204.15/204.77 c #Conflicts: 185000 | #Constraints: 20349 204.15/204.77 c #Conflicts: 186000 | #Constraints: 21352 204.15/204.77 c #Conflicts: 187000 | #Constraints: 22357 204.15/204.77 c #Conflicts: 188000 | #Constraints: 23363 204.15/204.77 c #Conflicts: 189000 | #Constraints: 24370 204.15/204.77 c #Conflicts: 190000 | #Constraints: 25375 204.15/204.77 c #Conflicts: 191000 | #Constraints: 26380 204.15/204.77 c INPROCESSING 204.15/204.77 c GARBAGE COLLECT 204.15/204.77 c rational objective 13.4606 223.80/224.46 c #Conflicts: 192000 | #Constraints: 16759 223.80/224.46 c #Conflicts: 193000 | #Constraints: 17759 223.80/224.46 c #Conflicts: 194000 | #Constraints: 18759 223.80/224.46 c #Conflicts: 195000 | #Constraints: 19760 223.80/224.46 c #Conflicts: 196000 | #Constraints: 20760 223.80/224.46 c #Conflicts: 197000 | #Constraints: 21760 223.80/224.46 c #Conflicts: 198000 | #Constraints: 22760 223.80/224.46 c #Conflicts: 199000 | #Constraints: 23760 223.80/224.46 c #Conflicts: 200000 | #Constraints: 24760 223.80/224.46 c #Conflicts: 201000 | #Constraints: 25760 223.80/224.46 c INPROCESSING 223.80/224.46 c GARBAGE COLLECT 223.80/224.46 c rational objective 13.4606 278.16/278.96 c #Conflicts: 202000 | #Constraints: 16655 278.16/278.96 c #Conflicts: 203000 | #Constraints: 17658 278.16/278.96 c #Conflicts: 204000 | #Constraints: 18662 278.16/278.96 c #Conflicts: 205000 | #Constraints: 19663 278.16/278.96 c #Conflicts: 206000 | #Constraints: 20670 278.16/278.96 c #Conflicts: 207000 | #Constraints: 21674 278.16/278.96 c #Conflicts: 208000 | #Constraints: 22677 278.16/278.96 c #Conflicts: 209000 | #Constraints: 23681 278.16/278.96 c #Conflicts: 210000 | #Constraints: 24687 278.16/278.96 c #Conflicts: 211000 | #Constraints: 25693 278.16/278.96 c #Conflicts: 212000 | #Constraints: 26696 278.16/278.96 c #Conflicts: 213000 | #Constraints: 27699 278.16/278.96 c #Conflicts: 214000 | #Constraints: 28702 278.16/278.96 c #Conflicts: 215000 | #Constraints: 29705 278.16/278.96 c #Conflicts: 216000 | #Constraints: 30708 278.16/278.96 c #Conflicts: 217000 | #Constraints: 31711 278.16/278.96 c #Conflicts: 218000 | #Constraints: 32715 278.16/278.96 c #Conflicts: 219000 | #Constraints: 33719 278.16/278.96 c #Conflicts: 220000 | #Constraints: 34723 278.16/278.96 c #Conflicts: 221000 | #Constraints: 35726 278.16/278.96 c #Conflicts: 222000 | #Constraints: 36728 278.16/278.96 c #Conflicts: 223000 | #Constraints: 37730 278.16/278.96 c #Conflicts: 224000 | #Constraints: 38735 278.16/278.96 c #Conflicts: 225000 | #Constraints: 39741 278.16/278.96 c #Conflicts: 226000 | #Constraints: 40745 278.16/278.96 c #Conflicts: 227000 | #Constraints: 41749 278.16/278.96 c #Conflicts: 228000 | #Constraints: 42752 278.16/278.96 c #Conflicts: 229000 | #Constraints: 43756 278.16/278.96 c #Conflicts: 230000 | #Constraints: 44760 278.16/278.96 c #Conflicts: 231000 | #Constraints: 45762 278.16/278.96 c #Conflicts: 232000 | #Constraints: 46768 278.16/278.96 c #Conflicts: 233000 | #Constraints: 47775 278.16/278.96 c #Conflicts: 234000 | #Constraints: 48780 278.16/278.96 c #Conflicts: 235000 | #Constraints: 49784 278.16/278.96 c #Conflicts: 236000 | #Constraints: 50787 278.16/278.96 c #Conflicts: 237000 | #Constraints: 51793 278.16/278.96 c #Conflicts: 238000 | #Constraints: 52798 278.16/278.96 c INPROCESSING 278.16/278.96 c GARBAGE COLLECT 278.16/278.96 c rational objective 13.4606 329.02/329.97 c #Conflicts: 239000 | #Constraints: 29815 329.02/329.97 c #Conflicts: 240000 | #Constraints: 30816 329.02/329.97 c #Conflicts: 241000 | #Constraints: 31816 329.02/329.97 c #Conflicts: 242000 | #Constraints: 32816 329.02/329.97 c #Conflicts: 243000 | #Constraints: 33817 329.02/329.97 c #Conflicts: 244000 | #Constraints: 34817 329.02/329.97 c #Conflicts: 245000 | #Constraints: 35817 329.02/329.97 c #Conflicts: 246000 | #Constraints: 36817 329.02/329.97 c #Conflicts: 247000 | #Constraints: 37817 329.02/329.97 c #Conflicts: 248000 | #Constraints: 38817 329.02/329.97 c #Conflicts: 249000 | #Constraints: 39817 329.02/329.97 c INPROCESSING 329.02/329.97 c GARBAGE COLLECT 329.02/329.97 c rational objective 13.4606 343.77/344.77 c #Conflicts: 250000 | #Constraints: 23378 343.77/344.77 c #Conflicts: 251000 | #Constraints: 24382 343.77/344.77 c #Conflicts: 252000 | #Constraints: 25388 343.77/344.77 c #Conflicts: 253000 | #Constraints: 26393 343.77/344.77 c #Conflicts: 254000 | #Constraints: 27395 343.77/344.77 c #Conflicts: 255000 | #Constraints: 28400 343.77/344.77 c #Conflicts: 256000 | #Constraints: 29405 343.77/344.77 c #Conflicts: 257000 | #Constraints: 30412 343.77/344.77 c #Conflicts: 258000 | #Constraints: 31420 343.77/344.77 c #Conflicts: 259000 | #Constraints: 32425 343.77/344.77 c #Conflicts: 260000 | #Constraints: 33428 343.77/344.77 c INPROCESSING 343.77/344.77 c GARBAGE COLLECT 343.77/344.77 c rational objective 13.4606 385.56/386.61 c #Conflicts: 261000 | #Constraints: 20132 385.56/386.61 c #Conflicts: 262000 | #Constraints: 21133 385.56/386.61 c #Conflicts: 263000 | #Constraints: 22133 385.56/386.61 c #Conflicts: 264000 | #Constraints: 23133 385.56/386.61 c #Conflicts: 265000 | #Constraints: 24133 385.56/386.61 c #Conflicts: 266000 | #Constraints: 25133 385.56/386.61 c #Conflicts: 267000 | #Constraints: 26133 385.56/386.61 c #Conflicts: 268000 | #Constraints: 27133 385.56/386.61 c #Conflicts: 269000 | #Constraints: 28133 385.56/386.61 c #Conflicts: 270000 | #Constraints: 29134 385.56/386.61 c #Conflicts: 271000 | #Constraints: 30134 385.56/386.61 c #Conflicts: 272000 | #Constraints: 31136 385.56/386.61 c INPROCESSING 385.56/386.61 c GARBAGE COLLECT 385.56/386.61 c rational objective 13.4606 459.16/460.40 c #Conflicts: 273000 | #Constraints: 19337 459.16/460.40 c #Conflicts: 274000 | #Constraints: 20341 459.16/460.40 c #Conflicts: 275000 | #Constraints: 21344 459.16/460.40 c #Conflicts: 276000 | #Constraints: 22348 459.16/460.40 c #Conflicts: 277000 | #Constraints: 23356 459.16/460.40 c #Conflicts: 278000 | #Constraints: 24361 459.16/460.40 c #Conflicts: 279000 | #Constraints: 25366 459.16/460.40 c #Conflicts: 280000 | #Constraints: 26369 459.16/460.40 c #Conflicts: 281000 | #Constraints: 27374 459.16/460.40 c #Conflicts: 282000 | #Constraints: 28376 459.16/460.40 c #Conflicts: 283000 | #Constraints: 29379 459.16/460.40 c #Conflicts: 284000 | #Constraints: 30383 459.16/460.40 c #Conflicts: 285000 | #Constraints: 31386 459.16/460.40 c #Conflicts: 286000 | #Constraints: 32390 459.16/460.40 c #Conflicts: 287000 | #Constraints: 33394 459.16/460.40 c #Conflicts: 288000 | #Constraints: 34398 459.16/460.40 c #Conflicts: 289000 | #Constraints: 35401 459.16/460.40 c #Conflicts: 290000 | #Constraints: 36403 459.16/460.40 c #Conflicts: 291000 | #Constraints: 37413 459.16/460.40 c #Conflicts: 292000 | #Constraints: 38416 459.16/460.40 c #Conflicts: 293000 | #Constraints: 39418 459.16/460.40 c #Conflicts: 294000 | #Constraints: 40423 459.16/460.40 c #Conflicts: 295000 | #Constraints: 41425 459.16/460.40 c #Conflicts: 296000 | #Constraints: 42428 459.16/460.40 c #Conflicts: 297000 | #Constraints: 43431 459.16/460.40 c #Conflicts: 298000 | #Constraints: 44436 459.16/460.40 c #Conflicts: 299000 | #Constraints: 45439 459.16/460.40 c #Conflicts: 300000 | #Constraints: 46443 459.16/460.40 c #Conflicts: 301000 | #Constraints: 47449 459.16/460.40 c #Conflicts: 302000 | #Constraints: 48453 459.16/460.40 c #Conflicts: 303000 | #Constraints: 49461 459.16/460.40 c #Conflicts: 304000 | #Constraints: 50464 459.16/460.40 c #Conflicts: 305000 | #Constraints: 51468 459.16/460.40 c #Conflicts: 306000 | #Constraints: 52471 459.16/460.40 c #Conflicts: 307000 | #Constraints: 53477 459.16/460.40 c #Conflicts: 308000 | #Constraints: 54480 459.16/460.40 c #Conflicts: 309000 | #Constraints: 55484 459.16/460.40 c #Conflicts: 310000 | #Constraints: 56489 459.16/460.40 c #Conflicts: 311000 | #Constraints: 57493 459.16/460.40 c #Conflicts: 312000 | #Constraints: 58499 459.16/460.40 c #Conflicts: 313000 | #Constraints: 59503 459.16/460.40 c #Conflicts: 314000 | #Constraints: 60505 459.16/460.40 c #Conflicts: 315000 | #Constraints: 61509 459.16/460.40 c INPROCESSING 459.16/460.40 c GARBAGE COLLECT 459.16/460.40 c rational objective 13.4606 513.22/514.69 c #Conflicts: 316000 | #Constraints: 34524 513.22/514.69 c #Conflicts: 317000 | #Constraints: 35524 513.22/514.69 c #Conflicts: 318000 | #Constraints: 36524 513.22/514.69 c #Conflicts: 319000 | #Constraints: 37524 513.22/514.69 c #Conflicts: 320000 | #Constraints: 38525 513.22/514.69 c #Conflicts: 321000 | #Constraints: 39525 513.22/514.69 c #Conflicts: 322000 | #Constraints: 40525 513.22/514.69 c #Conflicts: 323000 | #Constraints: 41525 513.22/514.69 c #Conflicts: 324000 | #Constraints: 42525 513.22/514.69 c #Conflicts: 325000 | #Constraints: 43525 513.22/514.69 c #Conflicts: 326000 | #Constraints: 44525 513.22/514.69 c #Conflicts: 327000 | #Constraints: 45525 513.22/514.69 c INPROCESSING 513.22/514.69 c GARBAGE COLLECT 513.22/514.69 c rational objective 13.4606 531.58/533.06 c #Conflicts: 328000 | #Constraints: 26241 531.58/533.06 c #Conflicts: 329000 | #Constraints: 27246 531.58/533.06 c #Conflicts: 330000 | #Constraints: 28253 531.58/533.06 c #Conflicts: 331000 | #Constraints: 29256 531.58/533.06 c #Conflicts: 332000 | #Constraints: 30259 531.58/533.06 c #Conflicts: 333000 | #Constraints: 31263 531.58/533.06 c #Conflicts: 334000 | #Constraints: 32267 531.58/533.06 c #Conflicts: 335000 | #Constraints: 33271 531.58/533.06 c #Conflicts: 336000 | #Constraints: 34274 531.58/533.06 c #Conflicts: 337000 | #Constraints: 35277 531.58/533.06 c #Conflicts: 338000 | #Constraints: 36280 531.58/533.06 c #Conflicts: 339000 | #Constraints: 37284 531.58/533.06 c #Conflicts: 340000 | #Constraints: 38290 531.58/533.06 c INPROCESSING 531.58/533.06 c GARBAGE COLLECT 531.58/533.06 c rational objective 13.4606 549.83/551.30 c #Conflicts: 341000 | #Constraints: 22715 549.83/551.30 c #Conflicts: 342000 | #Constraints: 23722 549.83/551.30 c #Conflicts: 343000 | #Constraints: 24727 549.83/551.30 c #Conflicts: 344000 | #Constraints: 25730 549.83/551.30 c #Conflicts: 345000 | #Constraints: 26733 549.83/551.30 c #Conflicts: 346000 | #Constraints: 27736 549.83/551.30 c #Conflicts: 347000 | #Constraints: 28741 549.83/551.30 c #Conflicts: 348000 | #Constraints: 29747 549.83/551.30 c #Conflicts: 349000 | #Constraints: 30754 549.83/551.30 c #Conflicts: 350000 | #Constraints: 31757 549.83/551.30 c #Conflicts: 351000 | #Constraints: 32762 549.83/551.30 c #Conflicts: 352000 | #Constraints: 33767 549.83/551.30 c #Conflicts: 353000 | #Constraints: 34771 549.83/551.30 c INPROCESSING 549.83/551.30 c GARBAGE COLLECT 549.83/551.30 c rational objective 13.4606 881.39/883.85 c #Conflicts: 354000 | #Constraints: 20949 881.39/883.85 c #Conflicts: 355000 | #Constraints: 21949 881.39/883.85 c #Conflicts: 356000 | #Constraints: 22949 881.39/883.85 c #Conflicts: 357000 | #Constraints: 23949 881.39/883.85 c #Conflicts: 358000 | #Constraints: 24949 881.39/883.85 c #Conflicts: 359000 | #Constraints: 25949 881.39/883.85 c #Conflicts: 360000 | #Constraints: 26949 881.39/883.85 c #Conflicts: 361000 | #Constraints: 27950 881.39/883.85 c #Conflicts: 362000 | #Constraints: 28950 881.39/883.85 c #Conflicts: 363000 | #Constraints: 29950 881.39/883.85 c #Conflicts: 364000 | #Constraints: 30950 881.39/883.85 c #Conflicts: 365000 | #Constraints: 31950 881.39/883.85 c #Conflicts: 366000 | #Constraints: 32950 881.39/883.85 c #Conflicts: 367000 | #Constraints: 33950 881.39/883.85 c #Conflicts: 368000 | #Constraints: 34950 881.39/883.85 c #Conflicts: 369000 | #Constraints: 35950 881.39/883.85 c #Conflicts: 370000 | #Constraints: 36950 881.39/883.85 c #Conflicts: 371000 | #Constraints: 37951 881.39/883.85 c #Conflicts: 372000 | #Constraints: 38953 881.39/883.85 c #Conflicts: 373000 | #Constraints: 39953 881.39/883.85 c #Conflicts: 374000 | #Constraints: 40954 881.39/883.85 c #Conflicts: 375000 | #Constraints: 41955 881.39/883.85 c #Conflicts: 376000 | #Constraints: 42955 881.39/883.85 c #Conflicts: 377000 | #Constraints: 43955 881.39/883.85 c #Conflicts: 378000 | #Constraints: 44955 881.39/883.85 c #Conflicts: 379000 | #Constraints: 45955 881.39/883.85 c #Conflicts: 380000 | #Constraints: 46955 881.39/883.85 c #Conflicts: 381000 | #Constraints: 47955 881.39/883.85 c #Conflicts: 382000 | #Constraints: 48956 881.39/883.85 c #Conflicts: 383000 | #Constraints: 49957 881.39/883.85 c #Conflicts: 384000 | #Constraints: 50957 881.39/883.85 c #Conflicts: 385000 | #Constraints: 51957 881.39/883.85 c #Conflicts: 386000 | #Constraints: 52957 881.39/883.85 c #Conflicts: 387000 | #Constraints: 53957 881.39/883.85 c #Conflicts: 388000 | #Constraints: 54958 881.39/883.85 c #Conflicts: 389000 | #Constraints: 55958 881.39/883.85 c #Conflicts: 390000 | #Constraints: 56958 881.39/883.85 c #Conflicts: 391000 | #Constraints: 57958 881.39/883.85 c #Conflicts: 392000 | #Constraints: 58958 881.39/883.85 c #Conflicts: 393000 | #Constraints: 59958 881.39/883.85 c #Conflicts: 394000 | #Constraints: 60958 881.39/883.85 c #Conflicts: 395000 | #Constraints: 61958 881.39/883.85 c #Conflicts: 396000 | #Constraints: 62958 881.39/883.85 c #Conflicts: 397000 | #Constraints: 63958 881.39/883.85 c #Conflicts: 398000 | #Constraints: 64958 881.39/883.85 c #Conflicts: 399000 | #Constraints: 65958 881.39/883.85 c #Conflicts: 400000 | #Constraints: 66958 881.39/883.85 c #Conflicts: 401000 | #Constraints: 67958 881.39/883.85 c INPROCESSING 881.39/883.85 c GARBAGE COLLECT 881.39/883.85 c rational objective 13.4606 921.37/923.97 c #Conflicts: 402000 | #Constraints: 37403 921.37/923.97 c #Conflicts: 403000 | #Constraints: 38405 921.37/923.97 c #Conflicts: 404000 | #Constraints: 39411 921.37/923.97 c #Conflicts: 405000 | #Constraints: 40415 921.37/923.97 c #Conflicts: 406000 | #Constraints: 41418 921.37/923.97 c #Conflicts: 407000 | #Constraints: 42421 921.37/923.97 c #Conflicts: 408000 | #Constraints: 43425 921.37/923.97 c #Conflicts: 409000 | #Constraints: 44429 921.37/923.97 c #Conflicts: 410000 | #Constraints: 45436 921.37/923.97 c #Conflicts: 411000 | #Constraints: 46440 921.37/923.97 c #Conflicts: 412000 | #Constraints: 47447 921.37/923.97 c #Conflicts: 413000 | #Constraints: 48452 921.37/923.97 c #Conflicts: 414000 | #Constraints: 49456 921.37/923.97 c #Conflicts: 415000 | #Constraints: 50461 921.37/923.97 c #Conflicts: 416000 | #Constraints: 51467 921.37/923.97 c INPROCESSING 921.37/923.97 c GARBAGE COLLECT 921.37/923.97 c rational objective 13.4606 1079.24/1082.29 c #Conflicts: 417000 | #Constraints: 29504 1079.24/1082.29 c #Conflicts: 418000 | #Constraints: 30509 1079.24/1082.29 c #Conflicts: 419000 | #Constraints: 31513 1079.24/1082.29 c #Conflicts: 420000 | #Constraints: 32517 1079.24/1082.29 c #Conflicts: 421000 | #Constraints: 33520 1079.24/1082.29 c #Conflicts: 422000 | #Constraints: 34526 1079.24/1082.29 c #Conflicts: 423000 | #Constraints: 35530 1079.24/1082.29 c #Conflicts: 424000 | #Constraints: 36535 1079.24/1082.29 c #Conflicts: 425000 | #Constraints: 37541 1079.24/1082.29 c #Conflicts: 426000 | #Constraints: 38544 1079.24/1082.29 c #Conflicts: 427000 | #Constraints: 39547 1079.24/1082.29 c #Conflicts: 428000 | #Constraints: 40551 1079.24/1082.29 c #Conflicts: 429000 | #Constraints: 41554 1079.24/1082.29 c #Conflicts: 430000 | #Constraints: 42558 1079.24/1082.29 c #Conflicts: 431000 | #Constraints: 43563 1079.24/1082.29 c #Conflicts: 432000 | #Constraints: 44566 1079.24/1082.29 c #Conflicts: 433000 | #Constraints: 45570 1079.24/1082.29 c #Conflicts: 434000 | #Constraints: 46575 1079.24/1082.29 c #Conflicts: 435000 | #Constraints: 47581 1079.24/1082.29 c #Conflicts: 436000 | #Constraints: 48584 1079.24/1082.29 c #Conflicts: 437000 | #Constraints: 49587 1079.24/1082.29 c #Conflicts: 438000 | #Constraints: 50592 1079.24/1082.29 c #Conflicts: 439000 | #Constraints: 51600 1079.24/1082.29 c #Conflicts: 440000 | #Constraints: 52605 1079.24/1082.29 c #Conflicts: 441000 | #Constraints: 53609 1079.24/1082.29 c #Conflicts: 442000 | #Constraints: 54615 1079.24/1082.29 c #Conflicts: 443000 | #Constraints: 55619 1079.24/1082.29 c #Conflicts: 444000 | #Constraints: 56625 1079.24/1082.29 c #Conflicts: 445000 | #Constraints: 57628 1079.24/1082.29 c #Conflicts: 446000 | #Constraints: 58632 1079.24/1082.29 c #Conflicts: 447000 | #Constraints: 59636 1079.24/1082.29 c #Conflicts: 448000 | #Constraints: 60642 1079.24/1082.29 c #Conflicts: 449000 | #Constraints: 61644 1079.24/1082.29 c #Conflicts: 450000 | #Constraints: 62649 1079.24/1082.29 c #Conflicts: 451000 | #Constraints: 63654 1079.24/1082.29 c #Conflicts: 452000 | #Constraints: 64657 1079.24/1082.29 c #Conflicts: 453000 | #Constraints: 65661 1079.24/1082.29 c #Conflicts: 454000 | #Constraints: 66668 1079.24/1082.29 c #Conflicts: 455000 | #Constraints: 67672 1079.24/1082.29 c #Conflicts: 456000 | #Constraints: 68674 1079.24/1082.29 c #Conflicts: 457000 | #Constraints: 69678 1079.24/1082.29 c #Conflicts: 458000 | #Constraints: 70684 1079.24/1082.29 c #Conflicts: 459000 | #Constraints: 71689 1079.24/1082.29 c #Conflicts: 460000 | #Constraints: 72692 1079.24/1082.29 c #Conflicts: 461000 | #Constraints: 73697 1079.24/1082.29 c #Conflicts: 462000 | #Constraints: 74700 1079.24/1082.29 c #Conflicts: 463000 | #Constraints: 75705 1079.24/1082.29 c #Conflicts: 464000 | #Constraints: 76709 1079.24/1082.29 c #Conflicts: 465000 | #Constraints: 77714 1079.24/1082.29 c #Conflicts: 466000 | #Constraints: 78718 1079.24/1082.29 c #Conflicts: 467000 | #Constraints: 79722 1079.24/1082.29 c INPROCESSING 1079.24/1082.29 c GARBAGE COLLECT 1079.24/1082.29 c rational objective 13.4606 1124.13/1127.22 c #Conflicts: 468000 | #Constraints: 43433 1124.13/1127.22 c #Conflicts: 469000 | #Constraints: 44436 1124.13/1127.22 c #Conflicts: 470000 | #Constraints: 45443 1124.13/1127.22 c #Conflicts: 471000 | #Constraints: 46450 1124.13/1127.22 c #Conflicts: 472000 | #Constraints: 47453 1124.13/1127.22 c #Conflicts: 473000 | #Constraints: 48455 1124.13/1127.22 c #Conflicts: 474000 | #Constraints: 49459 1124.13/1127.22 c #Conflicts: 475000 | #Constraints: 50466 1124.13/1127.22 c #Conflicts: 476000 | #Constraints: 51471 1124.13/1127.22 c #Conflicts: 477000 | #Constraints: 52476 1124.13/1127.22 c #Conflicts: 478000 | #Constraints: 53480 1124.13/1127.22 c #Conflicts: 479000 | #Constraints: 54483 1124.13/1127.22 c #Conflicts: 480000 | #Constraints: 55488 1124.13/1127.22 c #Conflicts: 481000 | #Constraints: 56491 1124.13/1127.22 c #Conflicts: 482000 | #Constraints: 57497 1124.13/1127.22 c #Conflicts: 483000 | #Constraints: 58501 1124.13/1127.22 c INPROCESSING 1124.13/1127.22 c GARBAGE COLLECT 1124.13/1127.22 c rational objective 13.4606 1157.45/1160.65 c #Conflicts: 484000 | #Constraints: 33028 1157.45/1160.65 c #Conflicts: 485000 | #Constraints: 34032 1157.45/1160.65 c #Conflicts: 486000 | #Constraints: 35038 1157.45/1160.65 c #Conflicts: 487000 | #Constraints: 36041 1157.45/1160.65 c #Conflicts: 488000 | #Constraints: 37046 1157.45/1160.65 c #Conflicts: 489000 | #Constraints: 38051 1157.45/1160.65 c #Conflicts: 490000 | #Constraints: 39055 1157.45/1160.65 c #Conflicts: 491000 | #Constraints: 40057 1157.45/1160.65 c #Conflicts: 492000 | #Constraints: 41062 1157.45/1160.65 c #Conflicts: 493000 | #Constraints: 42073 1157.45/1160.65 c #Conflicts: 494000 | #Constraints: 43077 1157.45/1160.65 c #Conflicts: 495000 | #Constraints: 44079 1157.45/1160.65 c #Conflicts: 496000 | #Constraints: 45081 1157.45/1160.65 c #Conflicts: 497000 | #Constraints: 46084 1157.45/1160.65 c #Conflicts: 498000 | #Constraints: 47089 1157.45/1160.65 c INPROCESSING 1157.45/1160.65 c GARBAGE COLLECT 1157.45/1160.65 c rational objective 13.4606 1328.71/1332.36 c #Conflicts: 499000 | #Constraints: 26917 1328.71/1332.36 c #Conflicts: 500000 | #Constraints: 27926 1328.71/1332.36 c #Conflicts: 501000 | #Constraints: 28931 1328.71/1332.36 c #Conflicts: 502000 | #Constraints: 29936 1328.71/1332.36 c #Conflicts: 503000 | #Constraints: 30941 1328.71/1332.36 c #Conflicts: 504000 | #Constraints: 31944 1328.71/1332.36 c #Conflicts: 505000 | #Constraints: 32953 1328.71/1332.36 c #Conflicts: 506000 | #Constraints: 33958 1328.71/1332.36 c #Conflicts: 507000 | #Constraints: 34962 1328.71/1332.36 c #Conflicts: 508000 | #Constraints: 35966 1328.71/1332.36 c #Conflicts: 509000 | #Constraints: 36972 1328.71/1332.36 c #Conflicts: 510000 | #Constraints: 37976 1328.71/1332.36 c #Conflicts: 511000 | #Constraints: 38978 1328.71/1332.36 c #Conflicts: 512000 | #Constraints: 39981 1328.71/1332.36 c #Conflicts: 513000 | #Constraints: 40984 1328.71/1332.36 c #Conflicts: 514000 | #Constraints: 41987 1328.71/1332.36 c #Conflicts: 515000 | #Constraints: 42990 1328.71/1332.36 c #Conflicts: 516000 | #Constraints: 43993 1328.71/1332.36 c #Conflicts: 517000 | #Constraints: 45000 1328.71/1332.36 c #Conflicts: 518000 | #Constraints: 46004 1328.71/1332.36 c #Conflicts: 519000 | #Constraints: 47008 1328.71/1332.36 c #Conflicts: 520000 | #Constraints: 48018 1328.71/1332.36 c #Conflicts: 521000 | #Constraints: 49023 1328.71/1332.36 c #Conflicts: 522000 | #Constraints: 50026 1328.71/1332.36 c #Conflicts: 523000 | #Constraints: 51029 1328.71/1332.36 c #Conflicts: 524000 | #Constraints: 52033 1328.71/1332.36 c #Conflicts: 525000 | #Constraints: 53036 1328.71/1332.36 c #Conflicts: 526000 | #Constraints: 54039 1328.71/1332.36 c #Conflicts: 527000 | #Constraints: 55041 1328.71/1332.36 c #Conflicts: 528000 | #Constraints: 56044 1328.71/1332.36 c #Conflicts: 529000 | #Constraints: 57049 1328.71/1332.36 c #Conflicts: 530000 | #Constraints: 58052 1328.71/1332.36 c #Conflicts: 531000 | #Constraints: 59055 1328.71/1332.36 c #Conflicts: 532000 | #Constraints: 60058 1328.71/1332.36 c #Conflicts: 533000 | #Constraints: 61060 1328.71/1332.36 c #Conflicts: 534000 | #Constraints: 62063 1328.71/1332.36 c #Conflicts: 535000 | #Constraints: 63068 1328.71/1332.36 c #Conflicts: 536000 | #Constraints: 64070 1328.71/1332.36 c #Conflicts: 537000 | #Constraints: 65072 1328.71/1332.36 c #Conflicts: 538000 | #Constraints: 66080 1328.71/1332.36 c #Conflicts: 539000 | #Constraints: 67082 1328.71/1332.36 c #Conflicts: 540000 | #Constraints: 68088 1328.71/1332.36 c #Conflicts: 541000 | #Constraints: 69090 1328.71/1332.36 c #Conflicts: 542000 | #Constraints: 70093 1328.71/1332.36 c #Conflicts: 543000 | #Constraints: 71097 1328.71/1332.36 c #Conflicts: 544000 | #Constraints: 72098 1328.71/1332.36 c #Conflicts: 545000 | #Constraints: 73102 1328.71/1332.36 c #Conflicts: 546000 | #Constraints: 74104 1328.71/1332.36 c #Conflicts: 547000 | #Constraints: 75106 1328.71/1332.36 c #Conflicts: 548000 | #Constraints: 76109 1328.71/1332.36 c #Conflicts: 549000 | #Constraints: 77114 1328.71/1332.36 c #Conflicts: 550000 | #Constraints: 78119 1328.71/1332.36 c #Conflicts: 551000 | #Constraints: 79123 1328.71/1332.36 c #Conflicts: 552000 | #Constraints: 80125 1328.71/1332.36 c #Conflicts: 553000 | #Constraints: 81127 1328.71/1332.36 c #Conflicts: 554000 | #Constraints: 82131 1328.71/1332.36 c INPROCESSING 1328.71/1332.36 c GARBAGE COLLECT 1328.71/1332.36 c rational objective 13.4606 1475.71/1479.73 c #Conflicts: 555000 | #Constraints: 44637 1475.71/1479.73 c #Conflicts: 556000 | #Constraints: 45637 1475.71/1479.73 c #Conflicts: 557000 | #Constraints: 46638 1475.71/1479.73 c #Conflicts: 558000 | #Constraints: 47639 1475.71/1479.73 c #Conflicts: 559000 | #Constraints: 48639 1475.71/1479.73 c #Conflicts: 560000 | #Constraints: 49639 1475.71/1479.73 c #Conflicts: 561000 | #Constraints: 50639 1475.71/1479.73 c #Conflicts: 562000 | #Constraints: 51639 1475.71/1479.73 c #Conflicts: 563000 | #Constraints: 52639 1475.71/1479.73 c #Conflicts: 564000 | #Constraints: 53639 1475.71/1479.73 c #Conflicts: 565000 | #Constraints: 54639 1475.71/1479.73 c #Conflicts: 566000 | #Constraints: 55640 1475.71/1479.73 c #Conflicts: 567000 | #Constraints: 56640 1475.71/1479.73 c #Conflicts: 568000 | #Constraints: 57640 1475.71/1479.73 c #Conflicts: 569000 | #Constraints: 58640 1475.71/1479.73 c #Conflicts: 570000 | #Constraints: 59640 1475.71/1479.73 c #Conflicts: 571000 | #Constraints: 60640 1475.71/1479.73 c INPROCESSING 1475.71/1479.73 c GARBAGE COLLECT 1475.71/1479.73 c rational objective 13.4606 1623.88/1628.33 c #Conflicts: 572000 | #Constraints: 33841 1623.88/1628.33 c #Conflicts: 573000 | #Constraints: 34841 1623.88/1628.33 c #Conflicts: 574000 | #Constraints: 35841 1623.88/1628.33 c #Conflicts: 575000 | #Constraints: 36841 1623.88/1628.33 c #Conflicts: 576000 | #Constraints: 37841 1623.88/1628.33 c #Conflicts: 577000 | #Constraints: 38841 1623.88/1628.33 c #Conflicts: 578000 | #Constraints: 39841 1623.88/1628.33 c #Conflicts: 579000 | #Constraints: 40841 1623.88/1628.33 c #Conflicts: 580000 | #Constraints: 41841 1623.88/1628.33 c #Conflicts: 581000 | #Constraints: 42841 1623.88/1628.33 c #Conflicts: 582000 | #Constraints: 43841 1623.88/1628.33 c #Conflicts: 583000 | #Constraints: 44841 1623.88/1628.33 c #Conflicts: 584000 | #Constraints: 45841 1623.88/1628.33 c #Conflicts: 585000 | #Constraints: 46841 1623.88/1628.33 c #Conflicts: 586000 | #Constraints: 47841 1623.88/1628.33 c #Conflicts: 587000 | #Constraints: 48842 1623.88/1628.33 c #Conflicts: 588000 | #Constraints: 49843 1623.88/1628.33 c INPROCESSING 1623.88/1628.33 c GARBAGE COLLECT 1623.88/1628.33 c rational objective 13.4606 1875.09/1880.33 c #Conflicts: 589000 | #Constraints: 32219 1875.09/1880.33 c #Conflicts: 590000 | #Constraints: 33219 1875.09/1880.33 c #Conflicts: 591000 | #Constraints: 34219 1875.09/1880.33 c #Conflicts: 592000 | #Constraints: 35219 1875.09/1880.33 c #Conflicts: 593000 | #Constraints: 36219 1875.09/1880.33 c #Conflicts: 594000 | #Constraints: 37223 1875.09/1880.33 c #Conflicts: 595000 | #Constraints: 38227 1875.09/1880.33 c #Conflicts: 596000 | #Constraints: 39231 1875.09/1880.33 c #Conflicts: 597000 | #Constraints: 40234 1875.09/1880.33 c #Conflicts: 598000 | #Constraints: 41237 1875.09/1880.33 c #Conflicts: 599000 | #Constraints: 42241 1875.09/1880.33 c #Conflicts: 600000 | #Constraints: 43244 1875.09/1880.33 c #Conflicts: 601000 | #Constraints: 44248 1875.09/1880.33 c #Conflicts: 602000 | #Constraints: 45251 1875.09/1880.33 c #Conflicts: 603000 | #Constraints: 46254 1875.09/1880.33 c #Conflicts: 604000 | #Constraints: 47259 1875.09/1880.33 c #Conflicts: 605000 | #Constraints: 48262 1875.09/1880.33 c #Conflicts: 606000 | #Constraints: 49266 1875.09/1880.33 c #Conflicts: 607000 | #Constraints: 50269 1875.09/1880.33 c #Conflicts: 608000 | #Constraints: 51272 1875.09/1880.33 c #Conflicts: 609000 | #Constraints: 52276 1875.09/1880.33 c #Conflicts: 610000 | #Constraints: 53280 1875.09/1880.33 c #Conflicts: 611000 | #Constraints: 54283 1875.09/1880.33 c #Conflicts: 612000 | #Constraints: 55287 1875.09/1880.33 c #Conflicts: 613000 | #Constraints: 56291 1875.09/1880.33 c #Conflicts: 614000 | #Constraints: 57294 1875.09/1880.33 c #Conflicts: 615000 | #Constraints: 58297 1875.09/1880.33 c #Conflicts: 616000 | #Constraints: 59300 1875.09/1880.33 c #Conflicts: 617000 | #Constraints: 60303 1875.09/1880.33 c #Conflicts: 618000 | #Constraints: 61307 1875.09/1880.33 c #Conflicts: 619000 | #Constraints: 62312 1875.09/1880.33 c #Conflicts: 620000 | #Constraints: 63316 1875.09/1880.33 c #Conflicts: 621000 | #Constraints: 64321 1875.09/1880.33 c #Conflicts: 622000 | #Constraints: 65325 1875.09/1880.33 c #Conflicts: 623000 | #Constraints: 66330 1875.09/1880.33 c #Conflicts: 624000 | #Constraints: 67334 1875.09/1880.33 c #Conflicts: 625000 | #Constraints: 68339 1875.09/1880.33 c #Conflicts: 626000 | #Constraints: 69345 1875.09/1880.33 c #Conflicts: 627000 | #Constraints: 70348 1875.09/1880.33 c #Conflicts: 628000 | #Constraints: 71351 1875.09/1880.33 c #Conflicts: 629000 | #Constraints: 72354 1875.09/1880.33 c #Conflicts: 630000 | #Constraints: 73358 1875.09/1880.33 c #Conflicts: 631000 | #Constraints: 74362 1875.09/1880.33 c #Conflicts: 632000 | #Constraints: 75366 1875.09/1880.33 c #Conflicts: 633000 | #Constraints: 76369 1875.09/1880.33 c #Conflicts: 634000 | #Constraints: 77374 1875.09/1880.33 c #Conflicts: 635000 | #Constraints: 78378 1875.09/1880.33 c #Conflicts: 636000 | #Constraints: 79382 1875.09/1880.33 c #Conflicts: 637000 | #Constraints: 80386 1875.09/1880.33 c #Conflicts: 638000 | #Constraints: 81392 1875.09/1880.33 c #Conflicts: 639000 | #Constraints: 82397 1875.09/1880.33 c #Conflicts: 640000 | #Constraints: 83402 1875.09/1880.33 c #Conflicts: 641000 | #Constraints: 84405 1875.09/1880.33 c #Conflicts: 642000 | #Constraints: 85409 1875.09/1880.33 c #Conflicts: 643000 | #Constraints: 86411 1875.09/1880.33 c #Conflicts: 644000 | #Constraints: 87413 1875.09/1880.33 c #Conflicts: 645000 | #Constraints: 88417 1875.09/1880.33 c #Conflicts: 646000 | #Constraints: 89422 1875.09/1880.33 c #Conflicts: 647000 | #Constraints: 90425 1875.09/1880.33 c #Conflicts: 648000 | #Constraints: 91427 1875.09/1880.33 c INPROCESSING 1875.09/1880.33 c GARBAGE COLLECT 1875.09/1880.33 c rational objective 13.4606 2092.92/2098.85 c #Conflicts: 649000 | #Constraints: 49184 2092.92/2098.85 c #Conflicts: 650000 | #Constraints: 50184 2092.92/2098.85 c #Conflicts: 651000 | #Constraints: 51184 2092.92/2098.85 c #Conflicts: 652000 | #Constraints: 52184 2092.92/2098.85 c #Conflicts: 653000 | #Constraints: 53184 2092.92/2098.85 c #Conflicts: 654000 | #Constraints: 54184 2092.92/2098.85 c #Conflicts: 655000 | #Constraints: 55184 2092.92/2098.85 c #Conflicts: 656000 | #Constraints: 56184 2092.92/2098.85 c #Conflicts: 657000 | #Constraints: 57184 2092.92/2098.85 c #Conflicts: 658000 | #Constraints: 58184 2092.92/2098.85 c #Conflicts: 659000 | #Constraints: 59186 2092.92/2098.85 c #Conflicts: 660000 | #Constraints: 60186 2092.92/2098.85 c #Conflicts: 661000 | #Constraints: 61187 2092.92/2098.85 c #Conflicts: 662000 | #Constraints: 62187 2092.92/2098.85 c #Conflicts: 663000 | #Constraints: 63187 2092.92/2098.85 c #Conflicts: 664000 | #Constraints: 64187 2092.92/2098.85 c #Conflicts: 665000 | #Constraints: 65187 2092.92/2098.85 c #Conflicts: 666000 | #Constraints: 66187 2092.92/2098.85 c #Conflicts: 667000 | #Constraints: 67188 2092.92/2098.85 c INPROCESSING 2092.92/2098.85 c GARBAGE COLLECT 2092.92/2098.85 c rational objective 13.4606 2159.54/2165.64 c #Conflicts: 668000 | #Constraints: 37273 2159.54/2165.64 c #Conflicts: 669000 | #Constraints: 38279 2159.54/2165.64 c #Conflicts: 670000 | #Constraints: 39285 2159.54/2165.64 c #Conflicts: 671000 | #Constraints: 40288 2159.54/2165.64 c #Conflicts: 672000 | #Constraints: 41292 2159.54/2165.64 c #Conflicts: 673000 | #Constraints: 42298 2159.54/2165.64 c #Conflicts: 674000 | #Constraints: 43302 2159.54/2165.64 c #Conflicts: 675000 | #Constraints: 44307 2159.54/2165.64 c #Conflicts: 676000 | #Constraints: 45311 2159.54/2165.64 c #Conflicts: 677000 | #Constraints: 46317 2159.54/2165.64 c #Conflicts: 678000 | #Constraints: 47321 2159.54/2165.64 c #Conflicts: 679000 | #Constraints: 48325 2159.54/2165.64 c #Conflicts: 680000 | #Constraints: 49329 2159.54/2165.64 c #Conflicts: 681000 | #Constraints: 50331 2159.54/2165.64 c #Conflicts: 682000 | #Constraints: 51334 2159.54/2165.64 c #Conflicts: 683000 | #Constraints: 52337 2159.54/2165.64 c #Conflicts: 684000 | #Constraints: 53342 2159.54/2165.64 c #Conflicts: 685000 | #Constraints: 54346 2159.54/2165.64 c #Conflicts: 686000 | #Constraints: 55350 2159.54/2165.64 c INPROCESSING 2159.54/2165.64 c GARBAGE COLLECT 2159.54/2165.64 c rational objective 13.4606 3005.50/3013.82 c #Conflicts: 687000 | #Constraints: 36846 3005.50/3013.82 c #Conflicts: 688000 | #Constraints: 37846 3005.50/3013.82 c #Conflicts: 689000 | #Constraints: 38846 3005.50/3013.82 c #Conflicts: 690000 | #Constraints: 39846 3005.50/3013.82 c #Conflicts: 691000 | #Constraints: 40846 3005.50/3013.82 c #Conflicts: 692000 | #Constraints: 41846 3005.50/3013.82 c #Conflicts: 693000 | #Constraints: 42846 3005.50/3013.82 c #Conflicts: 694000 | #Constraints: 43846 3005.50/3013.82 c #Conflicts: 695000 | #Constraints: 44846 3005.50/3013.82 c #Conflicts: 696000 | #Constraints: 45846 3005.50/3013.82 c #Conflicts: 697000 | #Constraints: 46846 3005.50/3013.82 c #Conflicts: 698000 | #Constraints: 47847 3005.50/3013.82 c #Conflicts: 699000 | #Constraints: 48847 3005.50/3013.82 c #Conflicts: 700000 | #Constraints: 49847 3005.50/3013.82 c #Conflicts: 701000 | #Constraints: 50847 3005.50/3013.82 c #Conflicts: 702000 | #Constraints: 51847 3005.50/3013.82 c #Conflicts: 703000 | #Constraints: 52847 3005.50/3013.82 c #Conflicts: 704000 | #Constraints: 53847 3005.50/3013.82 c #Conflicts: 705000 | #Constraints: 54847 3005.50/3013.82 c #Conflicts: 706000 | #Constraints: 55847 3005.50/3013.82 c #Conflicts: 707000 | #Constraints: 56847 3005.50/3013.82 c #Conflicts: 708000 | #Constraints: 57847 3005.50/3013.82 c #Conflicts: 709000 | #Constraints: 58847 3005.50/3013.82 c #Conflicts: 710000 | #Constraints: 59847 3005.50/3013.82 c #Conflicts: 711000 | #Constraints: 60847 3005.50/3013.82 c #Conflicts: 712000 | #Constraints: 61848 3005.50/3013.82 c #Conflicts: 713000 | #Constraints: 62848 3005.50/3013.82 c #Conflicts: 714000 | #Constraints: 63848 3005.50/3013.82 c #Conflicts: 715000 | #Constraints: 64848 3005.50/3013.82 c #Conflicts: 716000 | #Constraints: 65848 3005.50/3013.82 c #Conflicts: 717000 | #Constraints: 66848 3005.50/3013.82 c #Conflicts: 718000 | #Constraints: 67848 3005.50/3013.82 c #Conflicts: 719000 | #Constraints: 68848 3005.50/3013.82 c #Conflicts: 720000 | #Constraints: 69848 3005.50/3013.82 c #Conflicts: 721000 | #Constraints: 70848 3005.50/3013.82 c #Conflicts: 722000 | #Constraints: 71848 3005.50/3013.82 c #Conflicts: 723000 | #Constraints: 72848 3005.50/3013.82 c #Conflicts: 724000 | #Constraints: 73848 3005.50/3013.82 c #Conflicts: 725000 | #Constraints: 74848 3005.50/3013.82 c #Conflicts: 726000 | #Constraints: 75848 3005.50/3013.82 c #Conflicts: 727000 | #Constraints: 76848 3005.50/3013.82 c #Conflicts: 728000 | #Constraints: 77848 3005.50/3013.82 c #Conflicts: 729000 | #Constraints: 78848 3005.50/3013.82 c #Conflicts: 730000 | #Constraints: 79848 3005.50/3013.82 c #Conflicts: 731000 | #Constraints: 80848 3005.50/3013.82 c #Conflicts: 732000 | #Constraints: 81848 3005.50/3013.82 c #Conflicts: 733000 | #Constraints: 82848 3005.50/3013.82 c #Conflicts: 734000 | #Constraints: 83848 3005.50/3013.82 c #Conflicts: 735000 | #Constraints: 84849 3005.50/3013.82 c #Conflicts: 736000 | #Constraints: 85849 3005.50/3013.82 c #Conflicts: 737000 | #Constraints: 86849 3005.50/3013.82 c #Conflicts: 738000 | #Constraints: 87849 3005.50/3013.82 c #Conflicts: 739000 | #Constraints: 88849 3005.50/3013.82 c #Conflicts: 740000 | #Constraints: 89849 3005.50/3013.82 c #Conflicts: 741000 | #Constraints: 90849 3005.50/3013.82 c #Conflicts: 742000 | #Constraints: 91849 3005.50/3013.82 c #Conflicts: 743000 | #Constraints: 92849 3005.50/3013.82 c #Conflicts: 744000 | #Constraints: 93849 3005.50/3013.82 c #Conflicts: 745000 | #Constraints: 94849 3005.50/3013.82 c #Conflicts: 746000 | #Constraints: 95849 3005.50/3013.82 c #Conflicts: 747000 | #Constraints: 96849 3005.50/3013.82 c #Conflicts: 748000 | #Constraints: 97849 3005.50/3013.82 c #Conflicts: 749000 | #Constraints: 98849 3005.50/3013.82 c #Conflicts: 750000 | #Constraints: 99849 3005.50/3013.82 c INPROCESSING 3005.50/3013.82 c GARBAGE COLLECT 3005.50/3013.82 c rational objective 13.4606 3104.55/3113.19 c #Conflicts: 751000 | #Constraints: 53701 3104.55/3113.19 c #Conflicts: 752000 | #Constraints: 54706 3104.55/3113.19 c #Conflicts: 753000 | #Constraints: 55709 3104.55/3113.19 c #Conflicts: 754000 | #Constraints: 56712 3104.55/3113.19 c #Conflicts: 755000 | #Constraints: 57717 3104.55/3113.19 c #Conflicts: 756000 | #Constraints: 58723 3104.55/3113.19 c #Conflicts: 757000 | #Constraints: 59725 3104.55/3113.19 c #Conflicts: 758000 | #Constraints: 60730 3104.55/3113.19 c #Conflicts: 759000 | #Constraints: 61735 3104.55/3113.19 c #Conflicts: 760000 | #Constraints: 62738 3104.55/3113.19 c #Conflicts: 761000 | #Constraints: 63740 3104.55/3113.19 c #Conflicts: 762000 | #Constraints: 64742 3104.55/3113.19 c #Conflicts: 763000 | #Constraints: 65745 3104.55/3113.19 c #Conflicts: 764000 | #Constraints: 66750 3104.55/3113.19 c #Conflicts: 765000 | #Constraints: 67753 3104.55/3113.19 c #Conflicts: 766000 | #Constraints: 68754 3104.55/3113.19 c #Conflicts: 767000 | #Constraints: 69758 3104.55/3113.19 c #Conflicts: 768000 | #Constraints: 70764 3104.55/3113.19 c #Conflicts: 769000 | #Constraints: 71769 3104.55/3113.19 c #Conflicts: 770000 | #Constraints: 72772 3104.55/3113.19 c INPROCESSING 3104.55/3113.19 c GARBAGE COLLECT 3104.55/3113.19 c rational objective 13.4606 3504.46/3514.12 c #Conflicts: 771000 | #Constraints: 47085 3504.46/3514.12 c #Conflicts: 772000 | #Constraints: 48089 3504.46/3514.12 c #Conflicts: 773000 | #Constraints: 49091 3504.46/3514.12 c #Conflicts: 774000 | #Constraints: 50096 3504.46/3514.12 c #Conflicts: 775000 | #Constraints: 51102 3504.46/3514.12 c #Conflicts: 776000 | #Constraints: 52106 3504.46/3514.12 c #Conflicts: 777000 | #Constraints: 53113 3504.46/3514.12 c #Conflicts: 778000 | #Constraints: 54120 3504.46/3514.12 c #Conflicts: 779000 | #Constraints: 55125 3504.46/3514.12 c #Conflicts: 780000 | #Constraints: 56130 3504.46/3514.12 c #Conflicts: 781000 | #Constraints: 57134 3504.46/3514.12 c #Conflicts: 782000 | #Constraints: 58139 3504.46/3514.12 c #Conflicts: 783000 | #Constraints: 59146 3504.46/3514.12 c #Conflicts: 784000 | #Constraints: 60153 3504.46/3514.12 c #Conflicts: 785000 | #Constraints: 61161 3504.46/3514.12 c #Conflicts: 786000 | #Constraints: 62164 3504.46/3514.12 c #Conflicts: 787000 | #Constraints: 63170 3504.46/3514.12 c #Conflicts: 788000 | #Constraints: 64173 3504.46/3514.12 c #Conflicts: 789000 | #Constraints: 65178 3504.46/3514.12 c #Conflicts: 790000 | #Constraints: 66181 3504.46/3514.12 c #Conflicts: 791000 | #Constraints: 67183 3504.46/3514.12 c #Conflicts: 792000 | #Constraints: 68187 3504.46/3514.12 c #Conflicts: 793000 | #Constraints: 69191 3504.46/3514.12 c #Conflicts: 794000 | #Constraints: 70194 3504.46/3514.12 c #Conflicts: 795000 | #Constraints: 71199 3504.46/3514.12 c #Conflicts: 796000 | #Constraints: 72204 3504.46/3514.12 c #Conflicts: 797000 | #Constraints: 73207 3504.46/3514.12 c #Conflicts: 798000 | #Constraints: 74210 3504.46/3514.12 c #Conflicts: 799000 | #Constraints: 75214 3504.46/3514.12 c #Conflicts: 800000 | #Constraints: 76217 3504.46/3514.12 c #Conflicts: 801000 | #Constraints: 77219 3504.46/3514.12 c #Conflicts: 802000 | #Constraints: 78225 3504.46/3514.12 c #Conflicts: 803000 | #Constraints: 79229 3504.46/3514.12 c #Conflicts: 804000 | #Constraints: 80233 3504.46/3514.12 c #Conflicts: 805000 | #Constraints: 81237 3504.46/3514.12 c #Conflicts: 806000 | #Constraints: 82240 3504.46/3514.12 c #Conflicts: 807000 | #Constraints: 83243 3504.46/3514.12 c #Conflicts: 808000 | #Constraints: 84246 3504.46/3514.12 c #Conflicts: 809000 | #Constraints: 85249 3504.46/3514.12 c #Conflicts: 810000 | #Constraints: 86253 3504.46/3514.12 c #Conflicts: 811000 | #Constraints: 87256 3504.46/3514.12 c #Conflicts: 812000 | #Constraints: 88258 3504.46/3514.12 c #Conflicts: 813000 | #Constraints: 89261 3504.46/3514.12 c #Conflicts: 814000 | #Constraints: 90264 3504.46/3514.12 c #Conflicts: 815000 | #Constraints: 91269 3504.46/3514.12 c #Conflicts: 816000 | #Constraints: 92271 3504.46/3514.12 c #Conflicts: 817000 | #Constraints: 93275 3504.46/3514.12 c #Conflicts: 818000 | #Constraints: 94277 3504.46/3514.12 c #Conflicts: 819000 | #Constraints: 95281 3504.46/3514.12 c #Conflicts: 820000 | #Constraints: 96285 3504.46/3514.12 c #Conflicts: 821000 | #Constraints: 97288 3504.46/3514.12 c #Conflicts: 822000 | #Constraints: 98290 3504.46/3514.12 c #Conflicts: 823000 | #Constraints: 99294 3504.46/3514.12 c #Conflicts: 824000 | #Constraints: 100297 3504.46/3514.12 c #Conflicts: 825000 | #Constraints: 101301 3504.46/3514.12 c #Conflicts: 826000 | #Constraints: 102304 3504.46/3514.12 c #Conflicts: 827000 | #Constraints: 103309 3504.46/3514.12 c #Conflicts: 828000 | #Constraints: 104315 3504.46/3514.12 c #Conflicts: 829000 | #Constraints: 105320 3504.46/3514.12 c #Conflicts: 830000 | #Constraints: 106323 3504.46/3514.12 c #Conflicts: 831000 | #Constraints: 107327 3504.46/3514.12 c #Conflicts: 832000 | #Constraints: 108331 3504.46/3514.12 c #Conflicts: 833000 | #Constraints: 109334 3504.46/3514.12 c #Conflicts: 834000 | #Constraints: 110339 3504.46/3514.12 c #Conflicts: 835000 | #Constraints: 111341 3504.46/3514.12 c #Conflicts: 836000 | #Constraints: 112346 3504.46/3514.12 c #Conflicts: 837000 | #Constraints: 113350 3504.46/3514.12 c INPROCESSING 3504.46/3514.12 c GARBAGE COLLECT 3504.46/3514.12 c rational objective 13.4606 3600.01/3609.90 c #Conflicts: 838000 | #Constraints: 60351 3600.01/3609.90 c #Conflicts: 839000 | #Constraints: 61356 3600.01/3609.90 c #Conflicts: 840000 | #Constraints: 62361 3600.01/3609.90 c #Conflicts: 841000 | #Constraints: 63368 3600.01/3609.90 c #Conflicts: 842000 | #Constraints: 64372 3600.01/3609.90 c #Conflicts: 843000 | #Constraints: 65376 3600.01/3609.90 c #Conflicts: 844000 | #Constraints: 66380 3600.01/3609.90 c #Conflicts: 845000 | #Constraints: 67386 3600.01/3609.90 c #Conflicts: 846000 | #Constraints: 68389 3600.01/3609.90 c #Conflicts: 847000 | #Constraints: 69391 3600.01/3609.90 c #Conflicts: 848000 | #Constraints: 70395 3600.01/3609.90 c #Conflicts: 849000 | #Constraints: 71398 3600.01/3609.90 c #Conflicts: 850000 | #Constraints: 72400 3600.01/3609.90 c #Conflicts: 851000 | #Constraints: 73404 3600.01/3609.90 c #Conflicts: 852000 | #Constraints: 74407 3600.01/3609.90 c #Conflicts: 853000 | #Constraints: 75410 3600.01/3609.90 c #Conflicts: 854000 | #Constraints: 76413 3600.01/3609.90 c #Conflicts: 855000 | #Constraints: 77415 3600.01/3609.90 c #Conflicts: 856000 | #Constraints: 78419 3600.01/3609.90 c Program interrupted by user. 3600.01/3609.90 c cpu time 3578.04 s 3600.01/3609.90 c deterministic time 287811178548 2.88e+11 3600.01/3609.90 c optimization time 95.0463 s 3600.01/3609.90 c total solve time 3482.97 s 3600.01/3609.90 c core-guided solve time 1922.52 s 3600.01/3609.90 c propagation time 3075.38 s 3600.01/3609.90 c conflict analysis time 439.404 s 3600.01/3609.90 c propagations 81797451 3600.01/3609.90 c resolve steps 3992000 3600.01/3609.90 c decisions 6886008 3600.01/3609.90 c conflicts 856263 3600.01/3609.90 c restarts 1834 3600.01/3609.90 c inprocessing phases 52 3600.01/3609.90 c input clauses 5411 3600.01/3609.90 c input cardinalities 36 3600.01/3609.90 c input general constraints 83 3600.01/3609.90 c input average constraint length 11.43 3600.01/3609.90 c input average constraint degree 1.54 3600.01/3609.90 c learned clauses 272968 3600.01/3609.90 c learned cardinalities 8749 3600.01/3609.90 c learned general constraints 576993 3600.01/3609.90 c learned average constraint length 103.83 3600.01/3609.90 c learned average constraint degree 153319606.30 3600.01/3609.90 c watched constraints 171041 3600.01/3609.90 c counting constraints 406035 3600.01/3609.90 c gcd simplifications 26174 3600.01/3609.90 c detected cardinalities 394 3600.01/3609.90 c weakened non-implied lits 37699568 3600.01/3609.90 c weakened non-implying lits 44148 3600.01/3609.90 c original variables 214 3600.01/3609.90 c clausal propagations 4172332 3600.01/3609.90 c cardinality propagations 1873514 3600.01/3609.90 c watched propagations 4654558 3600.01/3609.90 c counting propagations 67108474 3600.01/3609.90 c watch lookups 81168988079 3600.01/3609.90 c watch backjump lookups 77225886879 3600.01/3609.90 c watch checks 112643133484 3600.01/3609.90 c propagation checks 16222112848 3600.01/3609.90 c constraint additions 371726029 3600.01/3609.90 c trail pops 89537198 3600.01/3609.90 c formula constraints 5375 3600.01/3609.90 c learned constraints 853816 3600.01/3609.90 c bound constraints 24 3600.01/3609.90 c core-guided constraints 131 3600.01/3609.90 c encountered formula constraints 1349626 3600.01/3609.90 c encountered learned constraints 3099496 3600.01/3609.90 c encountered bound constraints 1359 3600.01/3609.90 c encountered core-guided constraints 302070 3600.01/3609.90 c LP total time 143.758 s 3600.01/3609.90 c LP solve time 141.46 s 3600.01/3609.90 c LP constraints added 5375 3600.01/3609.90 c LP constraints removed 0 3600.01/3609.90 c LP pivots internal 856274 3600.01/3609.90 c LP pivots root 254297 3600.01/3609.90 c LP calls 2699 3600.01/3609.90 c LP optimalities 248 3600.01/3609.90 c LP no pivot count 11 3600.01/3609.90 c LP infeasibilities 2447 3600.01/3609.90 c LP valid Farkas constraints 2447 3600.01/3609.90 c LP learned Farkas constraints 2447 3600.01/3609.90 c LP basis resets 0 3600.01/3609.90 c LP cycling count 0 3600.01/3609.90 c LP singular count 0 3600.01/3609.90 c LP no primal count 0 3600.01/3609.90 c LP no farkas count 0 3600.01/3609.90 c LP other issue count 0 3600.01/3609.90 c LP Gomory cuts 0 3600.01/3609.90 c LP learned cuts 0 3600.01/3609.90 c LP deleted cuts 0 3600.01/3609.90 c LP encountered Gomory constraints 0 3600.01/3609.90 c LP encountered Farkas constraints 70798 3600.01/3609.90 c LP encountered learned Farkas constraints 22467 3600.01/3609.90 c CG auxiliary variables introduced 48 3600.01/3609.90 c CG solutions found 11 3600.01/3609.90 c CG cores constructed 13 3600.01/3609.90 c CG core cardinality constraints returned 0 3600.01/3609.90 c CG unit cores 0 3600.01/3609.90 c CG single cores 13 3600.01/3609.90 c CG blocks removed during cardinality reduction 0 3600.01/3609.90 c CG first core best 0 3600.01/3609.90 c CG decision core best 0 3600.01/3609.90 c CG core reduction tie 0 3600.01/3609.90 c CG core degree average 1.00 3600.01/3609.90 c CG core slack average 18.15 3600.01/3609.90 s SATISFIABLE 3600.01/3609.90 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -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: 63968 MiB (56921 MiB free)
memory of node 1: 64473 MiB (57691 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459221-1721897516/watcher-4459221-1721897516 -o /tmp/evaluation-result-4459221-1721897516/solver-4459221-1721897516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721897516-282583 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4459221-1721897516 --lp-cut-gomory=0 HOME/instance-4459221-1721897516.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=282611, runsolver pid=282608
[startup+0.100463 s]*
/proc/loadavg: 1.05 1.13 1.68 5/242 282612
/proc/meminfo: memFree=117320876/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=42628 memory=12768 CPUtime=0.1 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 2535 0 0 0 9 1 0 0 20 0 1 0 26274169 43651072 3192 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 10657 3192 1726 992 0 2515 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42628 KiB
Current children cumulated memory: 12768 KiB
[startup+0.205524 s]*
/proc/loadavg: 1.05 1.13 1.68 5/248 282623
/proc/meminfo: memFree=117226552/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=44048 memory=14352 CPUtime=0.2 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 3113 0 0 0 19 1 0 0 20 0 1 0 26274169 45105152 3588 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 11012 3588 1804 992 0 2870 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14352 KiB
[startup+0.305423 s]*
/proc/loadavg: 1.05 1.13 1.68 5/248 282623
/proc/meminfo: memFree=117120988/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=44048 memory=14676 CPUtime=0.29 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 3152 0 0 0 28 1 0 0 20 0 1 0 26274169 45105152 3669 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 11012 3669 1820 992 0 2870 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14676 KiB
[startup+0.700215 s]
/proc/loadavg: 1.05 1.13 1.68 5/246 282623
/proc/meminfo: memFree=117027760/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=45796 memory=19356 CPUtime=0.68 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 3749 0 0 0 64 4 0 0 20 0 1 0 26274169 46895104 4839 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 11449 4839 1890 992 0 3307 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45796 KiB
Current children cumulated memory: 19356 KiB
[startup+1.50024 s]
/proc/loadavg: 1.36 1.19 1.70 5/256 282645
/proc/meminfo: memFree=116444748/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=46656 memory=20148 CPUtime=1.49 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 3969 0 0 0 141 8 0 0 20 0 1 0 26274169 47775744 5037 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 11664 5037 1890 992 0 3522 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46656 KiB
Current children cumulated memory: 20148 KiB
[startup+3.10518 s]
/proc/loadavg: 1.36 1.19 1.70 5/256 282645
/proc/meminfo: memFree=114801396/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=49024 memory=22256 CPUtime=3.08 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 4501 0 0 0 294 14 0 0 20 0 1 0 26274169 50200576 5564 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 12256 5564 1890 992 0 4114 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49024 KiB
Current children cumulated memory: 22256 KiB
[startup+6.30022 s]
/proc/loadavg: 1.58 1.24 1.71 5/260 282651
/proc/meminfo: memFree=112445184/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=53156 memory=24420 CPUtime=6.27 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 5043 0 0 0 603 24 0 0 20 0 1 0 26274169 54431744 6105 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 13289 6105 1890 992 0 5147 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 53156 KiB
Current children cumulated memory: 24420 KiB
[startup+12.7002 s]
/proc/loadavg: 1.85 1.30 1.73 5/260 282651
/proc/meminfo: memFree=109961780/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=54460 memory=27060 CPUtime=12.66 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 5693 0 0 0 1217 49 0 0 20 0 1 0 26274169 55767040 6765 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 13615 6765 1890 992 0 5473 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 54460 KiB
Current children cumulated memory: 27060 KiB
[startup+25.5002 s]
/proc/loadavg: 2.18 1.39 1.75 5/260 282652
/proc/meminfo: memFree=109280928/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=62864 memory=32704 CPUtime=25.43 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 7105 0 0 0 2460 83 0 0 20 0 1 0 26274169 64372736 8176 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 15716 8176 1890 992 0 7574 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 62864 KiB
Current children cumulated memory: 32704 KiB
[startup+51.1054 s]
/proc/loadavg: 2.96 1.66 1.83 5/260 282659
/proc/meminfo: memFree=109193524/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=66680 memory=40412 CPUtime=50.97 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 8246 0 0 0 4942 155 0 0 20 0 1 0 26274169 68280320 10103 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 16670 10103 1890 992 0 8528 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 66680 KiB
Current children cumulated memory: 40412 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 2.05 1.96 5/260 282667
/proc/meminfo: memFree=108971660/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=111504 memory=75864 CPUtime=102.03 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 14567 0 0 0 9957 246 0 0 20 0 1 0 26274169 114180096 18966 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 27876 18966 1890 992 0 19734 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 111504 KiB
Current children cumulated memory: 75864 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.44 2.10 5/260 282677
/proc/meminfo: memFree=108809492/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=148080 memory=102968 CPUtime=161.86 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 18871 0 0 0 15861 325 0 0 20 0 1 0 26274169 151633920 25742 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 37020 25742 1890 992 0 28878 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 148080 KiB
Current children cumulated memory: 102968 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.73 2.22 5/263 283118
/proc/meminfo: memFree=109238432/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=178556 memory=124584 CPUtime=221.71 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 24243 0 0 0 21759 412 0 0 20 0 1 0 26274169 182841344 31146 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 44639 31146 1890 992 0 36497 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 178556 KiB
Current children cumulated memory: 124584 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.99 2.34 5/262 283129
/proc/meminfo: memFree=108824568/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=191204 memory=144136 CPUtime=281.55 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 27646 0 0 0 27667 488 0 0 20 0 1 0 26274169 195792896 36034 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 47801 36034 1890 992 0 39659 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 191204 KiB
Current children cumulated memory: 144136 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.19 2.46 5/260 283139
/proc/meminfo: memFree=108482088/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=191204 memory=144396 CPUtime=341.38 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 27669 0 0 0 33596 542 0 0 20 0 1 0 26274169 195792896 36099 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 47801 36099 1890 992 0 39659 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 191204 KiB
Current children cumulated memory: 144396 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.37 2.57 5/262 283319
/proc/meminfo: memFree=108211292/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=191204 memory=144396 CPUtime=401.22 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 27677 0 0 0 39511 611 0 0 20 0 1 0 26274169 195792896 36099 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 47801 36099 1890 992 0 39659 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 191204 KiB
Current children cumulated memory: 144396 KiB
[startup+462.3 s]
/proc/loadavg: 4.55 3.61 2.70 5/262 283330
/proc/meminfo: memFree=107862396/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=202024 memory=155036 CPUtime=461.06 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 29871 0 0 0 45442 664 0 0 20 0 1 0 26274169 206872576 38759 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 50506 38759 1890 992 0 42364 0
################
# More data... #
################
Current children cumulated memory: 224308 KiB
[startup+2922.3 s]
/proc/loadavg: 3.11 3.50 3.78 4/254 284594
/proc/meminfo: memFree=82462380/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=278668 memory=227292 CPUtime=2914.27 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 41866 0 0 0 289485 1942 0 0 20 0 1 0 26274169 285356032 56823 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 69667 56823 1890 992 0 61525 0
Current children cumulated CPU time: 2914.27 s
Current children cumulated vsize: 278668 KiB
Current children cumulated memory: 227292 KiB
[startup+2982.3 s]
/proc/loadavg: 3.08 3.42 3.73 4/254 284604
/proc/meminfo: memFree=82096772/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=279312 memory=230800 CPUtime=2974.09 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 42266 0 0 0 295451 1958 0 0 20 0 1 0 26274169 286015488 57700 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 69828 57700 1890 992 0 61686 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 279312 KiB
Current children cumulated memory: 230800 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.37 3.69 4/254 284615
/proc/meminfo: memFree=81765708/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=329400 memory=232716 CPUtime=3033.93 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 43105 0 0 0 301414 1979 0 0 20 0 1 0 26274169 337305600 58179 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 82350 58179 1890 992 0 74208 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 329400 KiB
Current children cumulated memory: 232716 KiB
[startup+3102.3 s]
/proc/loadavg: 3.09 3.32 3.65 4/253 284626
/proc/meminfo: memFree=81509304/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=329400 memory=232716 CPUtime=3093.77 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 43113 0 0 0 307371 2006 0 0 20 0 1 0 26274169 337305600 58179 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 82350 58179 1890 992 0 74208 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 329400 KiB
Current children cumulated memory: 232716 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.29 3.62 4/253 284636
/proc/meminfo: memFree=81263520/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=330392 memory=233472 CPUtime=3153.61 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 43337 0 0 0 313324 2037 0 0 20 0 1 0 26274169 338321408 58368 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 82598 58368 1890 992 0 74456 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 330392 KiB
Current children cumulated memory: 233472 KiB
[startup+3222.3 s]
/proc/loadavg: 3.15 3.26 3.59 4/251 284647
/proc/meminfo: memFree=81001112/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=330392 memory=233472 CPUtime=3213.46 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 43345 0 0 0 319286 2060 0 0 20 0 1 0 26274169 338321408 58368 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 82598 58368 1890 992 0 74456 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 330392 KiB
Current children cumulated memory: 233472 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.23 3.56 4/251 284657
/proc/meminfo: memFree=80749820/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=330392 memory=233472 CPUtime=3273.3 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 43355 0 0 0 325247 2083 0 0 20 0 1 0 26274169 338321408 58368 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 82598 58368 1890 992 0 74456 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 330392 KiB
Current children cumulated memory: 233472 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.20 3.52 4/251 284667
/proc/meminfo: memFree=80529232/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=330392 memory=234136 CPUtime=3333.14 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 43511 0 0 0 331210 2104 0 0 20 0 1 0 26274169 338321408 58534 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 82598 58534 1890 992 0 74456 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 330392 KiB
Current children cumulated memory: 234136 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.18 3.50 4/250 284678
/proc/meminfo: memFree=80300728/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=332100 memory=242680 CPUtime=3392.97 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 44626 0 0 0 337177 2120 0 0 20 0 1 0 26274169 340070400 60670 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 83025 60670 1890 992 0 74883 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 332100 KiB
Current children cumulated memory: 242680 KiB
[startup+3462.3 s]
/proc/loadavg: 3.07 3.16 3.47 4/250 284688
/proc/meminfo: memFree=79982988/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=344768 memory=257480 CPUtime=3452.8 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 46842 0 0 0 343143 2137 0 0 20 0 1 0 26274169 353042432 64370 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 86192 64370 1890 992 0 78050 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 344768 KiB
Current children cumulated memory: 257480 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.14 3.44 4/252 284703
/proc/meminfo: memFree=79698444/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=360952 memory=273644 CPUtime=3512.64 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 49327 0 0 0 349103 2161 0 0 20 0 1 0 26274169 369614848 68411 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 90238 68411 1890 992 0 82096 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 360952 KiB
Current children cumulated memory: 273644 KiB
[startup+3582.3 s]
/proc/loadavg: 3.07 3.13 3.42 4/252 284713
/proc/meminfo: memFree=79433352/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=360952 memory=273644 CPUtime=3572.48 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 49335 0 0 0 355061 2187 0 0 20 0 1 0 26274169 369614848 68411 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 90238 68411 1890 992 0 82096 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 360952 KiB
Current children cumulated memory: 273644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.10 3.13 3.41 4/252 284718
/proc/meminfo: memFree=79298772/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=360952 memory=273644 CPUtime=3600.01 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 49335 0 0 0 357804 2197 0 0 20 0 1 0 26274169 369614848 68411 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 90238 68411 1890 992 0 82096 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 360952 KiB
Current children cumulated memory: 273644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 282611 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.04 s, system=21.984 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 3.10 3.13 3.41 4/252 284718
/proc/meminfo: memFree=79298772/131524600 swapFree=131071216/131071996
[pid=282611] ppid=282608 vsize=360952 memory=273644 CPUtime=3600.01 cores=4,6
/proc/282611/stat : 282611 (roundingsat) R 282608 282611 277718 0 -1 4194304 49335 0 0 0 357804 2197 0 0 20 0 1 0 26274169 369614848 68411 134679101440 4194304 8254037 140733320924576 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18939904 140733320930140 140733320930402 140733320930402 140733320937417 0
/proc/282611/statm: 90238 68411 1890 992 0 82096 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 360952 KiB
Current children cumulated memory: 273644 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.03
CPU user time (s): 3578.04
CPU system time (s): 21.984
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 360952
Max. memory (cumulated for all children) (KiB): 273644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.04
system time used= 21.984
maximum resident set size= 273644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49352
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3018336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 5077
# summary of solver processes directly reported to runsolver:
# pid: 282611
# total CPU time (s): 3600.03
# total CPU user time (s): 3578.04
# total CPU system time (s): 21.984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72818 second user time and 17.6717 second system time
The end
Begin job on nodeC017 at 2024-07-25 10:51:56 IDJOB=4459221 IDBENCH=178614 IDSOLVER=3085 FILE ID=nodeC017/4459221-1721897516 RUNJOBID= nodeC017-1721897516-282583 SLURM_JOB_ID= 8089328 Free space on /tmp= 890080 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-4459221-1721897516/watcher-4459221-1721897516 -o /tmp/evaluation-result-4459221-1721897516/solver-4459221-1721897516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721897516-282583 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4459221-1721897516 --lp-cut-gomory=0 HOME/instance-4459221-1721897516.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f RANDOM SEED=1291526975 nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3566.552 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 : 7000.61 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 : 3648.047 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.74 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 : 3638.218 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 : 7000.61 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 : 3625.238 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.74 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 : 3575.205 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 : 7000.61 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 : 3566.693 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.74 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 : 3550.322 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 : 7000.61 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 : 3598.503 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 117379520 kB MemAvailable: 129633288 kB Buffers: 331600 kB Cached: 12665400 kB SwapCached: 88 kB Active: 2709656 kB Inactive: 10646588 kB Active(anon): 1524 kB Inactive(anon): 411536 kB Active(file): 2708132 kB Inactive(file): 10235052 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 16888 kB Writeback: 36 kB AnonPages: 357960 kB Mapped: 119256 kB Shmem: 53820 kB KReclaimable: 300816 kB Slab: 428364 kB SReclaimable: 300816 kB SUnreclaim: 127548 kB KernelStack: 3852 kB PageTables: 9376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 699532 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21280 kB HardwareCorrupted: 0 kB AnonHugePages: 368640 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: 422612 kB DirectMap2M: 40245248 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890052 MiB End job on nodeC017 at 2024-07-25 11:52:06