| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.02 | 3610.01 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb |
| MD5SUM | f9ddfe14fcbe08e4d315c2b284f6e91e |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.008239 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 70 |
| Total number of constraints | 2 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 70 |
| Maximum length of a constraint | 70 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 89716839 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 865734046 |
| Number of bits of the biggest sum of numbers | 30 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 70 #constraints 2 0.00/0.00 c rational objective 1.19422 0.29/0.37 c #Conflicts: 1000 | #Constraints: 1001 0.29/0.37 c #Conflicts: 2000 | #Constraints: 2001 0.29/0.37 c INPROCESSING 0.29/0.37 c GARBAGE COLLECT 0.29/0.37 c rational objective 1.19422 0.99/1.07 c #Conflicts: 3000 | #Constraints: 2006 0.99/1.07 c #Conflicts: 4000 | #Constraints: 3006 0.99/1.07 c INPROCESSING 0.99/1.07 c GARBAGE COLLECT 0.99/1.07 c rational objective 1.19422 1.98/2.05 c #Conflicts: 5000 | #Constraints: 2411 1.98/2.05 c #Conflicts: 6000 | #Constraints: 3411 1.98/2.05 c INPROCESSING 1.98/2.05 c GARBAGE COLLECT 1.98/2.05 c rational objective 1.19423 3.18/3.23 c #Conflicts: 7000 | #Constraints: 2412 3.18/3.23 c #Conflicts: 8000 | #Constraints: 3412 3.18/3.23 c #Conflicts: 9000 | #Constraints: 4412 3.18/3.23 c INPROCESSING 3.18/3.23 c GARBAGE COLLECT 3.18/3.23 c rational objective 1.19424 4.97/5.02 c #Conflicts: 10000 | #Constraints: 3109 4.97/5.02 c #Conflicts: 11000 | #Constraints: 4109 4.97/5.02 c #Conflicts: 12000 | #Constraints: 5109 4.97/5.02 c INPROCESSING 4.97/5.02 c GARBAGE COLLECT 4.97/5.02 c rational objective 1.19424 7.08/7.18 c #Conflicts: 13000 | #Constraints: 3559 7.08/7.18 c #Conflicts: 14000 | #Constraints: 4559 7.08/7.18 c #Conflicts: 15000 | #Constraints: 5559 7.08/7.18 c INPROCESSING 7.08/7.18 c GARBAGE COLLECT 7.08/7.18 c rational objective 1.19424 10.26/10.38 c #Conflicts: 16000 | #Constraints: 3785 10.26/10.38 c #Conflicts: 17000 | #Constraints: 4785 10.26/10.38 c #Conflicts: 18000 | #Constraints: 5785 10.26/10.38 c INPROCESSING 10.26/10.38 c GARBAGE COLLECT 10.26/10.38 c rational objective 1.1943 13.65/13.79 c #Conflicts: 19000 | #Constraints: 3797 13.65/13.79 c #Conflicts: 20000 | #Constraints: 4797 13.65/13.79 c #Conflicts: 21000 | #Constraints: 5797 13.65/13.79 c INPROCESSING 13.65/13.79 c GARBAGE COLLECT 13.65/13.79 c rational objective 1.1943 16.95/17.02 c #Conflicts: 22000 | #Constraints: 3606 16.95/17.02 c #Conflicts: 23000 | #Constraints: 4606 16.95/17.02 c #Conflicts: 24000 | #Constraints: 5606 16.95/17.02 c #Conflicts: 25000 | #Constraints: 6606 16.95/17.02 c INPROCESSING 16.95/17.02 c GARBAGE COLLECT 16.95/17.02 c rational objective 1.20973 21.54/21.67 c #Conflicts: 26000 | #Constraints: 4205 21.54/21.67 c #Conflicts: 27000 | #Constraints: 5205 21.54/21.67 c #Conflicts: 28000 | #Constraints: 6205 21.54/21.67 c #Conflicts: 29000 | #Constraints: 7205 21.54/21.67 c INPROCESSING 21.54/21.67 c GARBAGE COLLECT 21.54/21.67 c rational objective 1.22209 25.73/25.86 c #Conflicts: 30000 | #Constraints: 4610 25.73/25.86 c #Conflicts: 31000 | #Constraints: 5610 25.73/25.86 c #Conflicts: 32000 | #Constraints: 6610 25.73/25.86 c #Conflicts: 33000 | #Constraints: 7610 25.73/25.86 c INPROCESSING 25.73/25.86 c GARBAGE COLLECT 25.73/25.86 c rational objective 1.22899 53.56/53.76 c #Conflicts: 34000 | #Constraints: 4806 53.56/53.76 c #Conflicts: 35000 | #Constraints: 5806 53.56/53.76 c #Conflicts: 36000 | #Constraints: 6806 53.56/53.76 c #Conflicts: 37000 | #Constraints: 7806 53.56/53.76 c #Conflicts: 38000 | #Constraints: 8806 53.56/53.76 c #Conflicts: 39000 | #Constraints: 9806 53.56/53.76 c #Conflicts: 40000 | #Constraints: 10806 53.56/53.76 c #Conflicts: 41000 | #Constraints: 11806 53.56/53.76 c #Conflicts: 42000 | #Constraints: 12806 53.56/53.76 c #Conflicts: 43000 | #Constraints: 13806 53.56/53.76 c #Conflicts: 44000 | #Constraints: 14806 53.56/53.76 c #Conflicts: 45000 | #Constraints: 15806 53.56/53.76 c #Conflicts: 46000 | #Constraints: 16806 53.56/53.76 c #Conflicts: 47000 | #Constraints: 17806 53.56/53.76 c #Conflicts: 48000 | #Constraints: 18806 53.56/53.76 c INPROCESSING 53.56/53.76 c GARBAGE COLLECT 53.56/53.76 c rational objective 1.27068 64.03/64.27 c #Conflicts: 49000 | #Constraints: 10408 64.03/64.27 c #Conflicts: 50000 | #Constraints: 11408 64.03/64.27 c #Conflicts: 51000 | #Constraints: 12408 64.03/64.27 c #Conflicts: 52000 | #Constraints: 13408 64.03/64.27 c #Conflicts: 53000 | #Constraints: 14408 64.03/64.27 c INPROCESSING 64.03/64.27 c GARBAGE COLLECT 64.03/64.27 c rational objective 1.28777 75.51/75.78 c #Conflicts: 54000 | #Constraints: 8058 75.51/75.78 c #Conflicts: 55000 | #Constraints: 9058 75.51/75.78 c #Conflicts: 56000 | #Constraints: 10058 75.51/75.78 c #Conflicts: 57000 | #Constraints: 11058 75.51/75.78 c #Conflicts: 58000 | #Constraints: 12058 75.51/75.78 c INPROCESSING 75.51/75.78 c GARBAGE COLLECT 75.51/75.78 c rational objective 1.28777 87.28/87.55 c #Conflicts: 59000 | #Constraints: 6636 87.28/87.55 c #Conflicts: 60000 | #Constraints: 7636 87.28/87.55 c #Conflicts: 61000 | #Constraints: 8636 87.28/87.55 c #Conflicts: 62000 | #Constraints: 9636 87.28/87.55 c #Conflicts: 63000 | #Constraints: 10636 87.28/87.55 c #Conflicts: 64000 | #Constraints: 11636 87.28/87.55 c INPROCESSING 87.28/87.55 c GARBAGE COLLECT 87.28/87.55 c rational objective 1.28777 136.96/137.34 c #Conflicts: 65000 | #Constraints: 6573 136.96/137.34 c #Conflicts: 66000 | #Constraints: 7573 136.96/137.34 c #Conflicts: 67000 | #Constraints: 8573 136.96/137.34 c #Conflicts: 68000 | #Constraints: 9573 136.96/137.34 c #Conflicts: 69000 | #Constraints: 10573 136.96/137.34 c #Conflicts: 70000 | #Constraints: 11573 136.96/137.34 c #Conflicts: 71000 | #Constraints: 12573 136.96/137.34 c #Conflicts: 72000 | #Constraints: 13573 136.96/137.34 c #Conflicts: 73000 | #Constraints: 14573 136.96/137.34 c #Conflicts: 74000 | #Constraints: 15573 136.96/137.34 c #Conflicts: 75000 | #Constraints: 16573 136.96/137.34 c #Conflicts: 76000 | #Constraints: 17573 136.96/137.34 c #Conflicts: 77000 | #Constraints: 18573 136.96/137.34 c #Conflicts: 78000 | #Constraints: 19573 136.96/137.34 c #Conflicts: 79000 | #Constraints: 20573 136.96/137.34 c #Conflicts: 80000 | #Constraints: 21573 136.96/137.34 c #Conflicts: 81000 | #Constraints: 22573 136.96/137.34 c #Conflicts: 82000 | #Constraints: 23573 136.96/137.34 c #Conflicts: 83000 | #Constraints: 24573 136.96/137.34 c #Conflicts: 84000 | #Constraints: 25573 136.96/137.34 c INPROCESSING 136.96/137.34 c GARBAGE COLLECT 136.96/137.34 c rational objective 1.28777 158.71/159.15 c #Conflicts: 85000 | #Constraints: 13396 158.71/159.15 c #Conflicts: 86000 | #Constraints: 14396 158.71/159.15 c #Conflicts: 87000 | #Constraints: 15396 158.71/159.15 c #Conflicts: 88000 | #Constraints: 16396 158.71/159.15 c #Conflicts: 89000 | #Constraints: 17396 158.71/159.15 c #Conflicts: 90000 | #Constraints: 18396 158.71/159.15 c #Conflicts: 91000 | #Constraints: 19396 158.71/159.15 c INPROCESSING 158.71/159.15 c GARBAGE COLLECT 158.71/159.15 c rational objective 1.28777 179.35/179.88 c #Conflicts: 92000 | #Constraints: 10307 179.35/179.88 c #Conflicts: 93000 | #Constraints: 11307 179.35/179.88 c #Conflicts: 94000 | #Constraints: 12307 179.35/179.88 c #Conflicts: 95000 | #Constraints: 13307 179.35/179.88 c #Conflicts: 96000 | #Constraints: 14307 179.35/179.88 c #Conflicts: 97000 | #Constraints: 15307 179.35/179.88 c #Conflicts: 98000 | #Constraints: 16307 179.35/179.88 c #Conflicts: 99000 | #Constraints: 17307 179.35/179.88 c INPROCESSING 179.35/179.88 c GARBAGE COLLECT 179.35/179.88 c rational objective 1.28777 197.81/198.39 c #Conflicts: 100000 | #Constraints: 9658 197.81/198.39 c #Conflicts: 101000 | #Constraints: 10658 197.81/198.39 c #Conflicts: 102000 | #Constraints: 11658 197.81/198.39 c #Conflicts: 103000 | #Constraints: 12658 197.81/198.39 c #Conflicts: 104000 | #Constraints: 13658 197.81/198.39 c #Conflicts: 105000 | #Constraints: 14658 197.81/198.39 c #Conflicts: 106000 | #Constraints: 15658 197.81/198.39 c INPROCESSING 197.81/198.39 c GARBAGE COLLECT 197.81/198.39 c rational objective 1.28777 287.47/288.27 c #Conflicts: 107000 | #Constraints: 8633 287.47/288.27 c #Conflicts: 108000 | #Constraints: 9633 287.47/288.27 c #Conflicts: 109000 | #Constraints: 10633 287.47/288.27 c #Conflicts: 110000 | #Constraints: 11633 287.47/288.27 c #Conflicts: 111000 | #Constraints: 12633 287.47/288.27 c #Conflicts: 112000 | #Constraints: 13633 287.47/288.27 c #Conflicts: 113000 | #Constraints: 14633 287.47/288.27 c #Conflicts: 114000 | #Constraints: 15633 287.47/288.27 c #Conflicts: 115000 | #Constraints: 16633 287.47/288.27 c #Conflicts: 116000 | #Constraints: 17633 287.47/288.27 c #Conflicts: 117000 | #Constraints: 18633 287.47/288.27 c #Conflicts: 118000 | #Constraints: 19633 287.47/288.27 c #Conflicts: 119000 | #Constraints: 20633 287.47/288.27 c #Conflicts: 120000 | #Constraints: 21633 287.47/288.27 c #Conflicts: 121000 | #Constraints: 22633 287.47/288.27 c #Conflicts: 122000 | #Constraints: 23633 287.47/288.27 c #Conflicts: 123000 | #Constraints: 24633 287.47/288.27 c #Conflicts: 124000 | #Constraints: 25633 287.47/288.27 c #Conflicts: 125000 | #Constraints: 26633 287.47/288.27 c #Conflicts: 126000 | #Constraints: 27633 287.47/288.27 c #Conflicts: 127000 | #Constraints: 28633 287.47/288.27 c #Conflicts: 128000 | #Constraints: 29633 287.47/288.27 c #Conflicts: 129000 | #Constraints: 30633 287.47/288.27 c #Conflicts: 130000 | #Constraints: 31633 287.47/288.27 c #Conflicts: 131000 | #Constraints: 32633 287.47/288.27 c #Conflicts: 132000 | #Constraints: 33633 287.47/288.27 c INPROCESSING 287.47/288.27 c GARBAGE COLLECT 287.47/288.27 c rational objective 1.28777 321.00/321.88 c #Conflicts: 133000 | #Constraints: 17821 321.00/321.88 c #Conflicts: 134000 | #Constraints: 18821 321.00/321.88 c #Conflicts: 135000 | #Constraints: 19821 321.00/321.88 c #Conflicts: 136000 | #Constraints: 20821 321.00/321.88 c #Conflicts: 137000 | #Constraints: 21821 321.00/321.88 c #Conflicts: 138000 | #Constraints: 22821 321.00/321.88 c #Conflicts: 139000 | #Constraints: 23821 321.00/321.88 c #Conflicts: 140000 | #Constraints: 24821 321.00/321.88 c INPROCESSING 321.00/321.88 c GARBAGE COLLECT 321.00/321.88 c rational objective 1.28777 357.41/358.33 c #Conflicts: 141000 | #Constraints: 13069 357.41/358.33 c #Conflicts: 142000 | #Constraints: 14069 357.41/358.33 c #Conflicts: 143000 | #Constraints: 15069 357.41/358.33 c #Conflicts: 144000 | #Constraints: 16069 357.41/358.33 c #Conflicts: 145000 | #Constraints: 17069 357.41/358.33 c #Conflicts: 146000 | #Constraints: 18069 357.41/358.33 c #Conflicts: 147000 | #Constraints: 19069 357.41/358.33 c #Conflicts: 148000 | #Constraints: 20069 357.41/358.33 c #Conflicts: 149000 | #Constraints: 21069 357.41/358.33 c INPROCESSING 357.41/358.33 c GARBAGE COLLECT 357.41/358.33 c rational objective 1.28777 386.74/387.73 c #Conflicts: 150000 | #Constraints: 11239 386.74/387.73 c #Conflicts: 151000 | #Constraints: 12239 386.74/387.73 c #Conflicts: 152000 | #Constraints: 13239 386.74/387.73 c #Conflicts: 153000 | #Constraints: 14239 386.74/387.73 c #Conflicts: 154000 | #Constraints: 15239 386.74/387.73 c #Conflicts: 155000 | #Constraints: 16239 386.74/387.73 c #Conflicts: 156000 | #Constraints: 17239 386.74/387.73 c #Conflicts: 157000 | #Constraints: 18239 386.74/387.73 c #Conflicts: 158000 | #Constraints: 19239 386.74/387.73 c INPROCESSING 386.74/387.73 c GARBAGE COLLECT 386.74/387.73 c rational objective 1.28777 417.37/418.47 c #Conflicts: 159000 | #Constraints: 10275 417.37/418.47 c #Conflicts: 160000 | #Constraints: 11275 417.37/418.47 c #Conflicts: 161000 | #Constraints: 12275 417.37/418.47 c #Conflicts: 162000 | #Constraints: 13275 417.37/418.47 c #Conflicts: 163000 | #Constraints: 14275 417.37/418.47 c #Conflicts: 164000 | #Constraints: 15275 417.37/418.47 c #Conflicts: 165000 | #Constraints: 16275 417.37/418.47 c #Conflicts: 166000 | #Constraints: 17275 417.37/418.47 c #Conflicts: 167000 | #Constraints: 18275 417.37/418.47 c #Conflicts: 168000 | #Constraints: 19275 417.37/418.47 c INPROCESSING 417.37/418.47 c GARBAGE COLLECT 417.37/418.47 c rational objective 1.28777 444.00/445.19 c #Conflicts: 169000 | #Constraints: 10643 444.00/445.19 c #Conflicts: 170000 | #Constraints: 11643 444.00/445.19 c #Conflicts: 171000 | #Constraints: 12643 444.00/445.19 c #Conflicts: 172000 | #Constraints: 13643 444.00/445.19 c #Conflicts: 173000 | #Constraints: 14643 444.00/445.19 c #Conflicts: 174000 | #Constraints: 15643 444.00/445.19 c #Conflicts: 175000 | #Constraints: 16643 444.00/445.19 c #Conflicts: 176000 | #Constraints: 17643 444.00/445.19 c #Conflicts: 177000 | #Constraints: 18643 444.00/445.19 c INPROCESSING 444.00/445.19 c GARBAGE COLLECT 444.00/445.19 c rational objective 1.28777 469.34/470.50 c #Conflicts: 178000 | #Constraints: 10075 469.34/470.50 c #Conflicts: 179000 | #Constraints: 11075 469.34/470.50 c #Conflicts: 180000 | #Constraints: 12075 469.34/470.50 c #Conflicts: 181000 | #Constraints: 13075 469.34/470.50 c #Conflicts: 182000 | #Constraints: 14075 469.34/470.50 c #Conflicts: 183000 | #Constraints: 15075 469.34/470.50 c #Conflicts: 184000 | #Constraints: 16075 469.34/470.50 c #Conflicts: 185000 | #Constraints: 17075 469.34/470.50 c #Conflicts: 186000 | #Constraints: 18075 469.34/470.50 c #Conflicts: 187000 | #Constraints: 19075 469.34/470.50 c INPROCESSING 469.34/470.50 c GARBAGE COLLECT 469.34/470.50 c rational objective 1.28777 492.39/493.69 c #Conflicts: 188000 | #Constraints: 10443 492.39/493.69 c #Conflicts: 189000 | #Constraints: 11443 492.39/493.69 c #Conflicts: 190000 | #Constraints: 12443 492.39/493.69 c #Conflicts: 191000 | #Constraints: 13443 492.39/493.69 c #Conflicts: 192000 | #Constraints: 14443 492.39/493.69 c #Conflicts: 193000 | #Constraints: 15443 492.39/493.69 c #Conflicts: 194000 | #Constraints: 16443 492.39/493.69 c #Conflicts: 195000 | #Constraints: 17443 492.39/493.69 c #Conflicts: 196000 | #Constraints: 18443 492.39/493.69 c #Conflicts: 197000 | #Constraints: 19443 492.39/493.69 c INPROCESSING 492.39/493.69 c GARBAGE COLLECT 492.39/493.69 c rational objective 1.28777 665.15/666.87 c #Conflicts: 198000 | #Constraints: 10674 665.15/666.87 c #Conflicts: 199000 | #Constraints: 11674 665.15/666.87 c #Conflicts: 200000 | #Constraints: 12674 665.15/666.87 c #Conflicts: 201000 | #Constraints: 13674 665.15/666.87 c #Conflicts: 202000 | #Constraints: 14674 665.15/666.87 c #Conflicts: 203000 | #Constraints: 15674 665.15/666.87 c #Conflicts: 204000 | #Constraints: 16674 665.15/666.87 c #Conflicts: 205000 | #Constraints: 17674 665.15/666.87 c #Conflicts: 206000 | #Constraints: 18674 665.15/666.87 c #Conflicts: 207000 | #Constraints: 19674 665.15/666.87 c #Conflicts: 208000 | #Constraints: 20674 665.15/666.87 c #Conflicts: 209000 | #Constraints: 21674 665.15/666.87 c #Conflicts: 210000 | #Constraints: 22674 665.15/666.87 c #Conflicts: 211000 | #Constraints: 23674 665.15/666.87 c #Conflicts: 212000 | #Constraints: 24674 665.15/666.87 c #Conflicts: 213000 | #Constraints: 25674 665.15/666.87 c #Conflicts: 214000 | #Constraints: 26675 665.15/666.87 c #Conflicts: 215000 | #Constraints: 27675 665.15/666.87 c #Conflicts: 216000 | #Constraints: 28675 665.15/666.87 c #Conflicts: 217000 | #Constraints: 29675 665.15/666.87 c #Conflicts: 218000 | #Constraints: 30675 665.15/666.87 c #Conflicts: 219000 | #Constraints: 31675 665.15/666.87 c #Conflicts: 220000 | #Constraints: 32675 665.15/666.87 c #Conflicts: 221000 | #Constraints: 33675 665.15/666.87 c #Conflicts: 222000 | #Constraints: 34675 665.15/666.87 c #Conflicts: 223000 | #Constraints: 35675 665.15/666.87 c #Conflicts: 224000 | #Constraints: 36675 665.15/666.87 c #Conflicts: 225000 | #Constraints: 37675 665.15/666.87 c #Conflicts: 226000 | #Constraints: 38675 665.15/666.87 c #Conflicts: 227000 | #Constraints: 39675 665.15/666.87 c #Conflicts: 228000 | #Constraints: 40675 665.15/666.87 c #Conflicts: 229000 | #Constraints: 41675 665.15/666.87 c #Conflicts: 230000 | #Constraints: 42675 665.15/666.87 c #Conflicts: 231000 | #Constraints: 43675 665.15/666.87 c #Conflicts: 232000 | #Constraints: 44675 665.15/666.87 c INPROCESSING 665.15/666.87 c GARBAGE COLLECT 665.15/666.87 c rational objective 1.28777 742.05/743.99 c #Conflicts: 233000 | #Constraints: 23144 742.05/743.99 c #Conflicts: 234000 | #Constraints: 24144 742.05/743.99 c #Conflicts: 235000 | #Constraints: 25144 742.05/743.99 c #Conflicts: 236000 | #Constraints: 26144 742.05/743.99 c #Conflicts: 237000 | #Constraints: 27144 742.05/743.99 c #Conflicts: 238000 | #Constraints: 28144 742.05/743.99 c #Conflicts: 239000 | #Constraints: 29144 742.05/743.99 c #Conflicts: 240000 | #Constraints: 30144 742.05/743.99 c #Conflicts: 241000 | #Constraints: 31144 742.05/743.99 c #Conflicts: 242000 | #Constraints: 32144 742.05/743.99 c #Conflicts: 243000 | #Constraints: 33144 742.05/743.99 c INPROCESSING 742.05/743.99 c GARBAGE COLLECT 742.05/743.99 c rational objective 1.28777 802.99/805.06 c #Conflicts: 244000 | #Constraints: 17280 802.99/805.06 c #Conflicts: 245000 | #Constraints: 18280 802.99/805.06 c #Conflicts: 246000 | #Constraints: 19280 802.99/805.06 c #Conflicts: 247000 | #Constraints: 20280 802.99/805.06 c #Conflicts: 248000 | #Constraints: 21280 802.99/805.06 c #Conflicts: 249000 | #Constraints: 22280 802.99/805.06 c #Conflicts: 250000 | #Constraints: 23280 802.99/805.06 c #Conflicts: 251000 | #Constraints: 24280 802.99/805.06 c #Conflicts: 252000 | #Constraints: 25280 802.99/805.06 c #Conflicts: 253000 | #Constraints: 26280 802.99/805.06 c #Conflicts: 254000 | #Constraints: 27280 802.99/805.06 c #Conflicts: 255000 | #Constraints: 28280 802.99/805.06 c INPROCESSING 802.99/805.06 c GARBAGE COLLECT 802.99/805.06 c rational objective 1.28777 850.07/852.23 c #Conflicts: 256000 | #Constraints: 15147 850.07/852.23 c #Conflicts: 257000 | #Constraints: 16147 850.07/852.23 c #Conflicts: 258000 | #Constraints: 17147 850.07/852.23 c #Conflicts: 259000 | #Constraints: 18147 850.07/852.23 c #Conflicts: 260000 | #Constraints: 19147 850.07/852.23 c #Conflicts: 261000 | #Constraints: 20147 850.07/852.23 c #Conflicts: 262000 | #Constraints: 21147 850.07/852.23 c #Conflicts: 263000 | #Constraints: 22147 850.07/852.23 c #Conflicts: 264000 | #Constraints: 23147 850.07/852.23 c #Conflicts: 265000 | #Constraints: 24147 850.07/852.23 c #Conflicts: 266000 | #Constraints: 25147 850.07/852.23 c INPROCESSING 850.07/852.23 c GARBAGE COLLECT 850.07/852.23 c rational objective 1.28777 884.97/887.20 c #Conflicts: 267000 | #Constraints: 13277 884.97/887.20 c #Conflicts: 268000 | #Constraints: 14277 884.97/887.20 c #Conflicts: 269000 | #Constraints: 15277 884.97/887.20 c #Conflicts: 270000 | #Constraints: 16277 884.97/887.20 c #Conflicts: 271000 | #Constraints: 17277 884.97/887.20 c #Conflicts: 272000 | #Constraints: 18277 884.97/887.20 c #Conflicts: 273000 | #Constraints: 19277 884.97/887.20 c #Conflicts: 274000 | #Constraints: 20277 884.97/887.20 c #Conflicts: 275000 | #Constraints: 21277 884.97/887.20 c #Conflicts: 276000 | #Constraints: 22277 884.97/887.20 c #Conflicts: 277000 | #Constraints: 23277 884.97/887.20 c #Conflicts: 278000 | #Constraints: 24277 884.97/887.20 c INPROCESSING 884.97/887.20 c GARBAGE COLLECT 884.97/887.20 c rational objective 1.28777 929.16/931.59 c #Conflicts: 279000 | #Constraints: 12946 929.16/931.59 c #Conflicts: 280000 | #Constraints: 13946 929.16/931.59 c #Conflicts: 281000 | #Constraints: 14946 929.16/931.59 c #Conflicts: 282000 | #Constraints: 15946 929.16/931.59 c #Conflicts: 283000 | #Constraints: 16946 929.16/931.59 c #Conflicts: 284000 | #Constraints: 17946 929.16/931.59 c #Conflicts: 285000 | #Constraints: 18946 929.16/931.59 c #Conflicts: 286000 | #Constraints: 19946 929.16/931.59 c #Conflicts: 287000 | #Constraints: 20946 929.16/931.59 c #Conflicts: 288000 | #Constraints: 21946 929.16/931.59 c #Conflicts: 289000 | #Constraints: 22946 929.16/931.59 c #Conflicts: 290000 | #Constraints: 23946 929.16/931.59 c INPROCESSING 929.16/931.59 c GARBAGE COLLECT 929.16/931.59 c rational objective 1.28777 965.46/967.90 c #Conflicts: 291000 | #Constraints: 12779 965.46/967.90 c #Conflicts: 292000 | #Constraints: 13779 965.46/967.90 c #Conflicts: 293000 | #Constraints: 14779 965.46/967.90 c #Conflicts: 294000 | #Constraints: 15779 965.46/967.90 c #Conflicts: 295000 | #Constraints: 16779 965.46/967.90 c #Conflicts: 296000 | #Constraints: 17779 965.46/967.90 c #Conflicts: 297000 | #Constraints: 18779 965.46/967.90 c #Conflicts: 298000 | #Constraints: 19779 965.46/967.90 c #Conflicts: 299000 | #Constraints: 20779 965.46/967.90 c #Conflicts: 300000 | #Constraints: 21779 965.46/967.90 c #Conflicts: 301000 | #Constraints: 22779 965.46/967.90 c #Conflicts: 302000 | #Constraints: 23779 965.46/967.90 c INPROCESSING 965.46/967.90 c GARBAGE COLLECT 965.46/967.90 c rational objective 1.28777 1014.55/1017.13 c #Conflicts: 303000 | #Constraints: 12593 1014.55/1017.13 c #Conflicts: 304000 | #Constraints: 13593 1014.55/1017.13 c #Conflicts: 305000 | #Constraints: 14593 1014.55/1017.13 c #Conflicts: 306000 | #Constraints: 15593 1014.55/1017.13 c #Conflicts: 307000 | #Constraints: 16593 1014.55/1017.13 c #Conflicts: 308000 | #Constraints: 17593 1014.55/1017.13 c #Conflicts: 309000 | #Constraints: 18593 1014.55/1017.13 c #Conflicts: 310000 | #Constraints: 19593 1014.55/1017.13 c #Conflicts: 311000 | #Constraints: 20593 1014.55/1017.13 c #Conflicts: 312000 | #Constraints: 21593 1014.55/1017.13 c #Conflicts: 313000 | #Constraints: 22593 1014.55/1017.13 c #Conflicts: 314000 | #Constraints: 23593 1014.55/1017.13 c #Conflicts: 315000 | #Constraints: 24593 1014.55/1017.13 c INPROCESSING 1014.55/1017.13 c GARBAGE COLLECT 1014.55/1017.13 c rational objective 1.28777 1319.34/1322.76 c #Conflicts: 316000 | #Constraints: 13303 1319.34/1322.76 c #Conflicts: 317000 | #Constraints: 14303 1319.34/1322.76 c #Conflicts: 318000 | #Constraints: 15303 1319.34/1322.76 c #Conflicts: 319000 | #Constraints: 16303 1319.34/1322.76 c #Conflicts: 320000 | #Constraints: 17303 1319.34/1322.76 c #Conflicts: 321000 | #Constraints: 18303 1319.34/1322.76 c #Conflicts: 322000 | #Constraints: 19303 1319.34/1322.76 c #Conflicts: 323000 | #Constraints: 20303 1319.34/1322.76 c #Conflicts: 324000 | #Constraints: 21303 1319.34/1322.76 c #Conflicts: 325000 | #Constraints: 22303 1319.34/1322.76 c #Conflicts: 326000 | #Constraints: 23303 1319.34/1322.76 c #Conflicts: 327000 | #Constraints: 24303 1319.34/1322.76 c #Conflicts: 328000 | #Constraints: 25303 1319.34/1322.76 c #Conflicts: 329000 | #Constraints: 26303 1319.34/1322.76 c #Conflicts: 330000 | #Constraints: 27303 1319.34/1322.76 c #Conflicts: 331000 | #Constraints: 28303 1319.34/1322.76 c #Conflicts: 332000 | #Constraints: 29303 1319.34/1322.76 c #Conflicts: 333000 | #Constraints: 30303 1319.34/1322.76 c #Conflicts: 334000 | #Constraints: 31303 1319.34/1322.76 c #Conflicts: 335000 | #Constraints: 32303 1319.34/1322.76 c #Conflicts: 336000 | #Constraints: 33303 1319.34/1322.76 c #Conflicts: 337000 | #Constraints: 34303 1319.34/1322.76 c #Conflicts: 338000 | #Constraints: 35303 1319.34/1322.76 c #Conflicts: 339000 | #Constraints: 36303 1319.34/1322.76 c #Conflicts: 340000 | #Constraints: 37303 1319.34/1322.76 c #Conflicts: 341000 | #Constraints: 38303 1319.34/1322.76 c #Conflicts: 342000 | #Constraints: 39303 1319.34/1322.76 c #Conflicts: 343000 | #Constraints: 40303 1319.34/1322.76 c #Conflicts: 344000 | #Constraints: 41303 1319.34/1322.76 c #Conflicts: 345000 | #Constraints: 42303 1319.34/1322.76 c #Conflicts: 346000 | #Constraints: 43303 1319.34/1322.76 c #Conflicts: 347000 | #Constraints: 44303 1319.34/1322.76 c #Conflicts: 348000 | #Constraints: 45303 1319.34/1322.76 c #Conflicts: 349000 | #Constraints: 46303 1319.34/1322.76 c #Conflicts: 350000 | #Constraints: 47303 1319.34/1322.76 c #Conflicts: 351000 | #Constraints: 48303 1319.34/1322.76 c #Conflicts: 352000 | #Constraints: 49303 1319.34/1322.76 c #Conflicts: 353000 | #Constraints: 50303 1319.34/1322.76 c #Conflicts: 354000 | #Constraints: 51303 1319.34/1322.76 c #Conflicts: 355000 | #Constraints: 52303 1319.34/1322.76 c #Conflicts: 356000 | #Constraints: 53303 1319.34/1322.76 c #Conflicts: 357000 | #Constraints: 54303 1319.34/1322.76 c #Conflicts: 358000 | #Constraints: 55303 1319.34/1322.76 c #Conflicts: 359000 | #Constraints: 56303 1319.34/1322.76 c #Conflicts: 360000 | #Constraints: 57303 1319.34/1322.76 c INPROCESSING 1319.34/1322.76 c GARBAGE COLLECT 1319.34/1322.76 c rational objective 1.28777 1468.43/1472.28 c #Conflicts: 361000 | #Constraints: 29660 1468.43/1472.28 c #Conflicts: 362000 | #Constraints: 30660 1468.43/1472.28 c #Conflicts: 363000 | #Constraints: 31660 1468.43/1472.28 c #Conflicts: 364000 | #Constraints: 32660 1468.43/1472.28 c #Conflicts: 365000 | #Constraints: 33660 1468.43/1472.28 c #Conflicts: 366000 | #Constraints: 34660 1468.43/1472.28 c #Conflicts: 367000 | #Constraints: 35660 1468.43/1472.28 c #Conflicts: 368000 | #Constraints: 36660 1468.43/1472.28 c #Conflicts: 369000 | #Constraints: 37660 1468.43/1472.28 c #Conflicts: 370000 | #Constraints: 38660 1468.43/1472.28 c #Conflicts: 371000 | #Constraints: 39660 1468.43/1472.28 c #Conflicts: 372000 | #Constraints: 40660 1468.43/1472.28 c #Conflicts: 373000 | #Constraints: 41660 1468.43/1472.28 c INPROCESSING 1468.43/1472.28 c GARBAGE COLLECT 1468.43/1472.28 c rational objective 1.28777 1599.37/1603.52 c #Conflicts: 374000 | #Constraints: 21489 1599.37/1603.52 c #Conflicts: 375000 | #Constraints: 22489 1599.37/1603.52 c #Conflicts: 376000 | #Constraints: 23489 1599.37/1603.52 c #Conflicts: 377000 | #Constraints: 24489 1599.37/1603.52 c #Conflicts: 378000 | #Constraints: 25489 1599.37/1603.52 c #Conflicts: 379000 | #Constraints: 26489 1599.37/1603.52 c #Conflicts: 380000 | #Constraints: 27489 1599.37/1603.52 c #Conflicts: 381000 | #Constraints: 28489 1599.37/1603.52 c #Conflicts: 382000 | #Constraints: 29489 1599.37/1603.52 c #Conflicts: 383000 | #Constraints: 30489 1599.37/1603.52 c #Conflicts: 384000 | #Constraints: 31489 1599.37/1603.52 c #Conflicts: 385000 | #Constraints: 32489 1599.37/1603.52 c #Conflicts: 386000 | #Constraints: 33489 1599.37/1603.52 c #Conflicts: 387000 | #Constraints: 34489 1599.37/1603.52 c INPROCESSING 1599.37/1603.52 c GARBAGE COLLECT 1599.37/1603.52 c rational objective 1.28777 1690.50/1694.98 c #Conflicts: 388000 | #Constraints: 17950 1690.50/1694.98 c #Conflicts: 389000 | #Constraints: 18950 1690.50/1694.98 c #Conflicts: 390000 | #Constraints: 19950 1690.50/1694.98 c #Conflicts: 391000 | #Constraints: 20950 1690.50/1694.98 c #Conflicts: 392000 | #Constraints: 21950 1690.50/1694.98 c #Conflicts: 393000 | #Constraints: 22950 1690.50/1694.98 c #Conflicts: 394000 | #Constraints: 23950 1690.50/1694.98 c #Conflicts: 395000 | #Constraints: 24950 1690.50/1694.98 c #Conflicts: 396000 | #Constraints: 25950 1690.50/1694.98 c #Conflicts: 397000 | #Constraints: 26950 1690.50/1694.98 c #Conflicts: 398000 | #Constraints: 27950 1690.50/1694.98 c #Conflicts: 399000 | #Constraints: 28950 1690.50/1694.98 c #Conflicts: 400000 | #Constraints: 29950 1690.50/1694.98 c #Conflicts: 401000 | #Constraints: 30950 1690.50/1694.98 c INPROCESSING 1690.50/1694.98 c GARBAGE COLLECT 1690.50/1694.98 c rational objective 1.28777 1774.76/1779.47 c #Conflicts: 402000 | #Constraints: 16130 1774.76/1779.47 c #Conflicts: 403000 | #Constraints: 17130 1774.76/1779.47 c #Conflicts: 404000 | #Constraints: 18130 1774.76/1779.47 c #Conflicts: 405000 | #Constraints: 19130 1774.76/1779.47 c #Conflicts: 406000 | #Constraints: 20130 1774.76/1779.47 c #Conflicts: 407000 | #Constraints: 21130 1774.76/1779.47 c #Conflicts: 408000 | #Constraints: 22130 1774.76/1779.47 c #Conflicts: 409000 | #Constraints: 23130 1774.76/1779.47 c #Conflicts: 410000 | #Constraints: 24130 1774.76/1779.47 c #Conflicts: 411000 | #Constraints: 25130 1774.76/1779.47 c #Conflicts: 412000 | #Constraints: 26130 1774.76/1779.47 c #Conflicts: 413000 | #Constraints: 27130 1774.76/1779.47 c #Conflicts: 414000 | #Constraints: 28130 1774.76/1779.47 c #Conflicts: 415000 | #Constraints: 29130 1774.76/1779.47 c #Conflicts: 416000 | #Constraints: 30130 1774.76/1779.47 c INPROCESSING 1774.76/1779.47 c GARBAGE COLLECT 1774.76/1779.47 c rational objective 1.28777 1836.10/1840.94 c #Conflicts: 417000 | #Constraints: 16074 1836.10/1840.94 c #Conflicts: 418000 | #Constraints: 17074 1836.10/1840.94 c #Conflicts: 419000 | #Constraints: 18074 1836.10/1840.94 c #Conflicts: 420000 | #Constraints: 19074 1836.10/1840.94 c #Conflicts: 421000 | #Constraints: 20074 1836.10/1840.94 c #Conflicts: 422000 | #Constraints: 21074 1836.10/1840.94 c #Conflicts: 423000 | #Constraints: 22074 1836.10/1840.94 c #Conflicts: 424000 | #Constraints: 23074 1836.10/1840.94 c #Conflicts: 425000 | #Constraints: 24074 1836.10/1840.94 c #Conflicts: 426000 | #Constraints: 25074 1836.10/1840.94 c #Conflicts: 427000 | #Constraints: 26074 1836.10/1840.94 c #Conflicts: 428000 | #Constraints: 27074 1836.10/1840.94 c #Conflicts: 429000 | #Constraints: 28074 1836.10/1840.94 c #Conflicts: 430000 | #Constraints: 29074 1836.10/1840.94 c INPROCESSING 1836.10/1840.94 c GARBAGE COLLECT 1836.10/1840.94 c rational objective 1.28777 1898.74/1903.78 c #Conflicts: 431000 | #Constraints: 15295 1898.74/1903.78 c #Conflicts: 432000 | #Constraints: 16295 1898.74/1903.78 c #Conflicts: 433000 | #Constraints: 17295 1898.74/1903.78 c #Conflicts: 434000 | #Constraints: 18295 1898.74/1903.78 c #Conflicts: 435000 | #Constraints: 19295 1898.74/1903.78 c #Conflicts: 436000 | #Constraints: 20295 1898.74/1903.78 c #Conflicts: 437000 | #Constraints: 21295 1898.74/1903.78 c #Conflicts: 438000 | #Constraints: 22295 1898.74/1903.78 c #Conflicts: 439000 | #Constraints: 23295 1898.74/1903.78 c #Conflicts: 440000 | #Constraints: 24295 1898.74/1903.78 c #Conflicts: 441000 | #Constraints: 25295 1898.74/1903.78 c #Conflicts: 442000 | #Constraints: 26295 1898.74/1903.78 c #Conflicts: 443000 | #Constraints: 27295 1898.74/1903.78 c #Conflicts: 444000 | #Constraints: 28295 1898.74/1903.78 c #Conflicts: 445000 | #Constraints: 29295 1898.74/1903.78 c INPROCESSING 1898.74/1903.78 c GARBAGE COLLECT 1898.74/1903.78 c rational objective 1.28777 1969.54/1974.77 c #Conflicts: 446000 | #Constraints: 15553 1969.54/1974.77 c #Conflicts: 447000 | #Constraints: 16553 1969.54/1974.77 c #Conflicts: 448000 | #Constraints: 17553 1969.54/1974.77 c #Conflicts: 449000 | #Constraints: 18553 1969.54/1974.77 c #Conflicts: 450000 | #Constraints: 19553 1969.54/1974.77 c #Conflicts: 451000 | #Constraints: 20553 1969.54/1974.77 c #Conflicts: 452000 | #Constraints: 21553 1969.54/1974.77 c #Conflicts: 453000 | #Constraints: 22553 1969.54/1974.77 c #Conflicts: 454000 | #Constraints: 23553 1969.54/1974.77 c #Conflicts: 455000 | #Constraints: 24553 1969.54/1974.77 c #Conflicts: 456000 | #Constraints: 25553 1969.54/1974.77 c #Conflicts: 457000 | #Constraints: 26553 1969.54/1974.77 c #Conflicts: 458000 | #Constraints: 27553 1969.54/1974.77 c #Conflicts: 459000 | #Constraints: 28553 1969.54/1974.77 c #Conflicts: 460000 | #Constraints: 29553 1969.54/1974.77 c INPROCESSING 1969.54/1974.77 c GARBAGE COLLECT 1969.54/1974.77 c rational objective 1.28777 2056.51/2061.99 c #Conflicts: 461000 | #Constraints: 15731 2056.51/2061.99 c #Conflicts: 462000 | #Constraints: 16731 2056.51/2061.99 c #Conflicts: 463000 | #Constraints: 17731 2056.51/2061.99 c #Conflicts: 464000 | #Constraints: 18731 2056.51/2061.99 c #Conflicts: 465000 | #Constraints: 19731 2056.51/2061.99 c #Conflicts: 466000 | #Constraints: 20731 2056.51/2061.99 c #Conflicts: 467000 | #Constraints: 21731 2056.51/2061.99 c #Conflicts: 468000 | #Constraints: 22731 2056.51/2061.99 c #Conflicts: 469000 | #Constraints: 23731 2056.51/2061.99 c #Conflicts: 470000 | #Constraints: 24731 2056.51/2061.99 c #Conflicts: 471000 | #Constraints: 25731 2056.51/2061.99 c #Conflicts: 472000 | #Constraints: 26731 2056.51/2061.99 c #Conflicts: 473000 | #Constraints: 27731 2056.51/2061.99 c #Conflicts: 474000 | #Constraints: 28731 2056.51/2061.99 c #Conflicts: 475000 | #Constraints: 29731 2056.51/2061.99 c INPROCESSING 2056.51/2061.99 c GARBAGE COLLECT 2056.51/2061.99 c rational objective 1.28777 2102.79/2108.32 c #Conflicts: 476000 | #Constraints: 15771 2102.79/2108.32 c #Conflicts: 477000 | #Constraints: 16771 2102.79/2108.32 c #Conflicts: 478000 | #Constraints: 17771 2102.79/2108.32 c #Conflicts: 479000 | #Constraints: 18771 2102.79/2108.32 c #Conflicts: 480000 | #Constraints: 19771 2102.79/2108.32 c #Conflicts: 481000 | #Constraints: 20771 2102.79/2108.32 c #Conflicts: 482000 | #Constraints: 21771 2102.79/2108.32 c #Conflicts: 483000 | #Constraints: 22771 2102.79/2108.32 c #Conflicts: 484000 | #Constraints: 23771 2102.79/2108.32 c #Conflicts: 485000 | #Constraints: 24771 2102.79/2108.32 c #Conflicts: 486000 | #Constraints: 25771 2102.79/2108.32 c #Conflicts: 487000 | #Constraints: 26771 2102.79/2108.32 c #Conflicts: 488000 | #Constraints: 27771 2102.79/2108.32 c #Conflicts: 489000 | #Constraints: 28771 2102.79/2108.32 c #Conflicts: 490000 | #Constraints: 29771 2102.79/2108.32 c INPROCESSING 2102.79/2108.32 c GARBAGE COLLECT 2102.79/2108.32 c rational objective 1.28777 2172.80/2178.59 c #Conflicts: 491000 | #Constraints: 15642 2172.80/2178.59 c #Conflicts: 492000 | #Constraints: 16642 2172.80/2178.59 c #Conflicts: 493000 | #Constraints: 17642 2172.80/2178.59 c #Conflicts: 494000 | #Constraints: 18642 2172.80/2178.59 c #Conflicts: 495000 | #Constraints: 19642 2172.80/2178.59 c #Conflicts: 496000 | #Constraints: 20642 2172.80/2178.59 c #Conflicts: 497000 | #Constraints: 21642 2172.80/2178.59 c #Conflicts: 498000 | #Constraints: 22642 2172.80/2178.59 c #Conflicts: 499000 | #Constraints: 23642 2172.80/2178.59 c #Conflicts: 500000 | #Constraints: 24642 2172.80/2178.59 c #Conflicts: 501000 | #Constraints: 25642 2172.80/2178.59 c #Conflicts: 502000 | #Constraints: 26642 2172.80/2178.59 c #Conflicts: 503000 | #Constraints: 27642 2172.80/2178.59 c #Conflicts: 504000 | #Constraints: 28642 2172.80/2178.59 c #Conflicts: 505000 | #Constraints: 29642 2172.80/2178.59 c #Conflicts: 506000 | #Constraints: 30642 2172.80/2178.59 c INPROCESSING 2172.80/2178.59 c GARBAGE COLLECT 2172.80/2178.59 c rational objective 1.28777 2259.66/2265.60 c #Conflicts: 507000 | #Constraints: 16329 2259.66/2265.60 c #Conflicts: 508000 | #Constraints: 17329 2259.66/2265.60 c #Conflicts: 509000 | #Constraints: 18329 2259.66/2265.60 c #Conflicts: 510000 | #Constraints: 19329 2259.66/2265.60 c #Conflicts: 511000 | #Constraints: 20329 2259.66/2265.60 c #Conflicts: 512000 | #Constraints: 21329 2259.66/2265.60 c #Conflicts: 513000 | #Constraints: 22329 2259.66/2265.60 c #Conflicts: 514000 | #Constraints: 23329 2259.66/2265.60 c #Conflicts: 515000 | #Constraints: 24329 2259.66/2265.60 c #Conflicts: 516000 | #Constraints: 25329 2259.66/2265.60 c #Conflicts: 517000 | #Constraints: 26329 2259.66/2265.60 c #Conflicts: 518000 | #Constraints: 27329 2259.66/2265.60 c #Conflicts: 519000 | #Constraints: 28329 2259.66/2265.60 c #Conflicts: 520000 | #Constraints: 29329 2259.66/2265.60 c #Conflicts: 521000 | #Constraints: 30329 2259.66/2265.60 c INPROCESSING 2259.66/2265.60 c GARBAGE COLLECT 2259.66/2265.60 c rational objective 1.28777 2345.31/2351.50 c #Conflicts: 522000 | #Constraints: 15819 2345.31/2351.50 c #Conflicts: 523000 | #Constraints: 16819 2345.31/2351.50 c #Conflicts: 524000 | #Constraints: 17819 2345.31/2351.50 c #Conflicts: 525000 | #Constraints: 18819 2345.31/2351.50 c #Conflicts: 526000 | #Constraints: 19819 2345.31/2351.50 c #Conflicts: 527000 | #Constraints: 20819 2345.31/2351.50 c #Conflicts: 528000 | #Constraints: 21819 2345.31/2351.50 c #Conflicts: 529000 | #Constraints: 22819 2345.31/2351.50 c #Conflicts: 530000 | #Constraints: 23819 2345.31/2351.50 c #Conflicts: 531000 | #Constraints: 24819 2345.31/2351.50 c #Conflicts: 532000 | #Constraints: 25819 2345.31/2351.50 c #Conflicts: 533000 | #Constraints: 26819 2345.31/2351.50 c #Conflicts: 534000 | #Constraints: 27819 2345.31/2351.50 c #Conflicts: 535000 | #Constraints: 28819 2345.31/2351.50 c #Conflicts: 536000 | #Constraints: 29819 2345.31/2351.50 c #Conflicts: 537000 | #Constraints: 30819 2345.31/2351.50 c INPROCESSING 2345.31/2351.50 c GARBAGE COLLECT 2345.31/2351.50 c rational objective 1.28777 2425.99/2432.42 c #Conflicts: 538000 | #Constraints: 16116 2425.99/2432.42 c #Conflicts: 539000 | #Constraints: 17116 2425.99/2432.42 c #Conflicts: 540000 | #Constraints: 18116 2425.99/2432.42 c #Conflicts: 541000 | #Constraints: 19116 2425.99/2432.42 c #Conflicts: 542000 | #Constraints: 20116 2425.99/2432.42 c #Conflicts: 543000 | #Constraints: 21116 2425.99/2432.42 c #Conflicts: 544000 | #Constraints: 22116 2425.99/2432.42 c #Conflicts: 545000 | #Constraints: 23116 2425.99/2432.42 c #Conflicts: 546000 | #Constraints: 24116 2425.99/2432.42 c #Conflicts: 547000 | #Constraints: 25116 2425.99/2432.42 c #Conflicts: 548000 | #Constraints: 26116 2425.99/2432.42 c #Conflicts: 549000 | #Constraints: 27116 2425.99/2432.42 c #Conflicts: 550000 | #Constraints: 28116 2425.99/2432.42 c #Conflicts: 551000 | #Constraints: 29116 2425.99/2432.42 c #Conflicts: 552000 | #Constraints: 30116 2425.99/2432.42 c #Conflicts: 553000 | #Constraints: 31116 2425.99/2432.42 c INPROCESSING 2425.99/2432.42 c GARBAGE COLLECT 2425.99/2432.42 c rational objective 1.28777 2516.54/2523.25 c #Conflicts: 554000 | #Constraints: 16213 2516.54/2523.25 c #Conflicts: 555000 | #Constraints: 17213 2516.54/2523.25 c #Conflicts: 556000 | #Constraints: 18213 2516.54/2523.25 c #Conflicts: 557000 | #Constraints: 19213 2516.54/2523.25 c #Conflicts: 558000 | #Constraints: 20213 2516.54/2523.25 c #Conflicts: 559000 | #Constraints: 21213 2516.54/2523.25 c #Conflicts: 560000 | #Constraints: 22213 2516.54/2523.25 c #Conflicts: 561000 | #Constraints: 23213 2516.54/2523.25 c #Conflicts: 562000 | #Constraints: 24213 2516.54/2523.25 c #Conflicts: 563000 | #Constraints: 25213 2516.54/2523.25 c #Conflicts: 564000 | #Constraints: 26213 2516.54/2523.25 c #Conflicts: 565000 | #Constraints: 27213 2516.54/2523.25 c #Conflicts: 566000 | #Constraints: 28213 2516.54/2523.25 c #Conflicts: 567000 | #Constraints: 29213 2516.54/2523.25 c #Conflicts: 568000 | #Constraints: 30213 2516.54/2523.25 c #Conflicts: 569000 | #Constraints: 31213 2516.54/2523.25 c #Conflicts: 570000 | #Constraints: 32213 2516.54/2523.25 c INPROCESSING 2516.54/2523.25 c GARBAGE COLLECT 2516.54/2523.25 c rational objective 1.28777 2606.49/2613.48 c #Conflicts: 571000 | #Constraints: 17114 2606.49/2613.48 c #Conflicts: 572000 | #Constraints: 18114 2606.49/2613.48 c #Conflicts: 573000 | #Constraints: 19114 2606.49/2613.48 c #Conflicts: 574000 | #Constraints: 20114 2606.49/2613.48 c #Conflicts: 575000 | #Constraints: 21114 2606.49/2613.48 c #Conflicts: 576000 | #Constraints: 22114 2606.49/2613.48 c #Conflicts: 577000 | #Constraints: 23114 2606.49/2613.48 c #Conflicts: 578000 | #Constraints: 24114 2606.49/2613.48 c #Conflicts: 579000 | #Constraints: 25114 2606.49/2613.48 c #Conflicts: 580000 | #Constraints: 26114 2606.49/2613.48 c #Conflicts: 581000 | #Constraints: 27114 2606.49/2613.48 c #Conflicts: 582000 | #Constraints: 28114 2606.49/2613.48 c #Conflicts: 583000 | #Constraints: 29114 2606.49/2613.48 c #Conflicts: 584000 | #Constraints: 30114 2606.49/2613.48 c #Conflicts: 585000 | #Constraints: 31114 2606.49/2613.48 c #Conflicts: 586000 | #Constraints: 32114 2606.49/2613.48 c INPROCESSING 2606.49/2613.48 c GARBAGE COLLECT 2606.49/2613.48 c rational objective 1.28777 2701.08/2708.33 c #Conflicts: 587000 | #Constraints: 16811 2701.08/2708.33 c #Conflicts: 588000 | #Constraints: 17811 2701.08/2708.33 c #Conflicts: 589000 | #Constraints: 18811 2701.08/2708.33 c #Conflicts: 590000 | #Constraints: 19811 2701.08/2708.33 c #Conflicts: 591000 | #Constraints: 20811 2701.08/2708.33 c #Conflicts: 592000 | #Constraints: 21811 2701.08/2708.33 c #Conflicts: 593000 | #Constraints: 22811 2701.08/2708.33 c #Conflicts: 594000 | #Constraints: 23811 2701.08/2708.33 c #Conflicts: 595000 | #Constraints: 24811 2701.08/2708.33 c #Conflicts: 596000 | #Constraints: 25811 2701.08/2708.33 c #Conflicts: 597000 | #Constraints: 26811 2701.08/2708.33 c #Conflicts: 598000 | #Constraints: 27811 2701.08/2708.33 c #Conflicts: 599000 | #Constraints: 28811 2701.08/2708.33 c #Conflicts: 600000 | #Constraints: 29811 2701.08/2708.33 c #Conflicts: 601000 | #Constraints: 30811 2701.08/2708.33 c #Conflicts: 602000 | #Constraints: 31811 2701.08/2708.33 c #Conflicts: 603000 | #Constraints: 32811 2701.08/2708.33 c INPROCESSING 2701.08/2708.33 c GARBAGE COLLECT 2701.08/2708.33 c rational objective 1.28777 3588.15/3598.18 c #Conflicts: 604000 | #Constraints: 17310 3588.15/3598.18 c #Conflicts: 605000 | #Constraints: 18310 3588.15/3598.18 c #Conflicts: 606000 | #Constraints: 19310 3588.15/3598.18 c #Conflicts: 607000 | #Constraints: 20310 3588.15/3598.18 c #Conflicts: 608000 | #Constraints: 21310 3588.15/3598.18 c #Conflicts: 609000 | #Constraints: 22310 3588.15/3598.18 c #Conflicts: 610000 | #Constraints: 23310 3588.15/3598.18 c #Conflicts: 611000 | #Constraints: 24310 3588.15/3598.18 c #Conflicts: 612000 | #Constraints: 25310 3588.15/3598.18 c #Conflicts: 613000 | #Constraints: 26310 3588.15/3598.18 c #Conflicts: 614000 | #Constraints: 27310 3588.15/3598.18 c #Conflicts: 615000 | #Constraints: 28310 3588.15/3598.18 c #Conflicts: 616000 | #Constraints: 29310 3588.15/3598.18 c #Conflicts: 617000 | #Constraints: 30310 3588.15/3598.18 c #Conflicts: 618000 | #Constraints: 31310 3588.15/3598.18 c #Conflicts: 619000 | #Constraints: 32310 3588.15/3598.18 c #Conflicts: 620000 | #Constraints: 33310 3588.15/3598.18 c #Conflicts: 621000 | #Constraints: 34310 3588.15/3598.18 c #Conflicts: 622000 | #Constraints: 35310 3588.15/3598.18 c #Conflicts: 623000 | #Constraints: 36310 3588.15/3598.18 c #Conflicts: 624000 | #Constraints: 37310 3588.15/3598.18 c #Conflicts: 625000 | #Constraints: 38310 3588.15/3598.18 c #Conflicts: 626000 | #Constraints: 39310 3588.15/3598.18 c #Conflicts: 627000 | #Constraints: 40310 3588.15/3598.18 c #Conflicts: 628000 | #Constraints: 41310 3588.15/3598.18 c #Conflicts: 629000 | #Constraints: 42310 3588.15/3598.18 c #Conflicts: 630000 | #Constraints: 43310 3588.15/3598.18 c #Conflicts: 631000 | #Constraints: 44310 3588.15/3598.18 c #Conflicts: 632000 | #Constraints: 45310 3588.15/3598.18 c #Conflicts: 633000 | #Constraints: 46310 3588.15/3598.18 c #Conflicts: 634000 | #Constraints: 47310 3588.15/3598.18 c #Conflicts: 635000 | #Constraints: 48310 3588.15/3598.18 c #Conflicts: 636000 | #Constraints: 49310 3588.15/3598.18 c #Conflicts: 637000 | #Constraints: 50310 3588.15/3598.18 c #Conflicts: 638000 | #Constraints: 51310 3588.15/3598.18 c #Conflicts: 639000 | #Constraints: 52310 3588.15/3598.18 c #Conflicts: 640000 | #Constraints: 53310 3588.15/3598.18 c #Conflicts: 641000 | #Constraints: 54310 3588.15/3598.18 c #Conflicts: 642000 | #Constraints: 55310 3588.15/3598.18 c #Conflicts: 643000 | #Constraints: 56310 3588.15/3598.18 c #Conflicts: 644000 | #Constraints: 57310 3588.15/3598.18 c #Conflicts: 645000 | #Constraints: 58310 3588.15/3598.18 c #Conflicts: 646000 | #Constraints: 59310 3588.15/3598.18 c #Conflicts: 647000 | #Constraints: 60310 3588.15/3598.18 c #Conflicts: 648000 | #Constraints: 61310 3588.15/3598.18 c #Conflicts: 649000 | #Constraints: 62310 3588.15/3598.18 c #Conflicts: 650000 | #Constraints: 63310 3588.15/3598.18 c #Conflicts: 651000 | #Constraints: 64310 3588.15/3598.18 c #Conflicts: 652000 | #Constraints: 65310 3588.15/3598.18 c #Conflicts: 653000 | #Constraints: 66310 3588.15/3598.18 c #Conflicts: 654000 | #Constraints: 67310 3588.15/3598.18 c #Conflicts: 655000 | #Constraints: 68310 3588.15/3598.18 c #Conflicts: 656000 | #Constraints: 69310 3588.15/3598.18 c #Conflicts: 657000 | #Constraints: 70310 3588.15/3598.18 c #Conflicts: 658000 | #Constraints: 71310 3588.15/3598.18 c #Conflicts: 659000 | #Constraints: 72310 3588.15/3598.18 c #Conflicts: 660000 | #Constraints: 73310 3588.15/3598.18 c #Conflicts: 661000 | #Constraints: 74310 3588.15/3598.18 c #Conflicts: 662000 | #Constraints: 75310 3588.15/3598.18 c #Conflicts: 663000 | #Constraints: 76310 3588.15/3598.18 c #Conflicts: 664000 | #Constraints: 77310 3588.15/3598.18 c #Conflicts: 665000 | #Constraints: 78310 3588.15/3598.18 c #Conflicts: 666000 | #Constraints: 79310 3588.15/3598.18 c #Conflicts: 667000 | #Constraints: 80310 3588.15/3598.18 c INPROCESSING 3588.15/3598.18 c GARBAGE COLLECT 3588.15/3598.18 c rational objective 1.28777 3600.01/3610.00 c #Conflicts: 668000 | #Constraints: 40758 3600.01/3610.00 c Program interrupted by user. 3600.01/3610.01 c cpu time 3582.67 s 3600.01/3610.01 c deterministic time 500620752796 5.01e+11 3600.01/3610.01 c optimization time 11.6476 s 3600.01/3610.01 c total solve time 3571.02 s 3600.01/3610.01 c core-guided solve time 0 s 3600.01/3610.01 c propagation time 3351.18 s 3600.01/3610.01 c conflict analysis time 212.928 s 3600.01/3610.01 c propagations 6777311 3600.01/3610.01 c resolve steps 1890634 3600.01/3610.01 c decisions 5602028 3600.01/3610.01 c conflicts 668397 3600.01/3610.01 c restarts 1442 3600.01/3610.01 c inprocessing phases 53 3600.01/3610.01 c input clauses 0 3600.01/3610.01 c input cardinalities 0 3600.01/3610.01 c input general constraints 2 3600.01/3610.01 c input average constraint length 70.00 3600.01/3610.01 c input average constraint degree 388008603.50 3600.01/3610.01 c learned clauses 351403 3600.01/3610.01 c learned cardinalities 0 3600.01/3610.01 c learned general constraints 316997 3600.01/3610.01 c learned average constraint length 49.79 3600.01/3610.01 c learned average constraint degree 63917070.53 3600.01/3610.01 c watched constraints 193494 3600.01/3610.01 c counting constraints 123505 3600.01/3610.01 c gcd simplifications 363346 3600.01/3610.01 c detected cardinalities 0 3600.01/3610.01 c weakened non-implied lits 1166092 3600.01/3610.01 c weakened non-implying lits 5703058 3600.01/3610.01 c original variables 70 3600.01/3610.01 c clausal propagations 571626 3600.01/3610.01 c cardinality propagations 0 3600.01/3610.01 c watched propagations 2925182 3600.01/3610.01 c counting propagations 2846177 3600.01/3610.01 c watch lookups 85351261423 3600.01/3610.01 c watch backjump lookups 85079364382 3600.01/3610.01 c watch checks 11464018731 3600.01/3610.01 c propagation checks 318545078949 3600.01/3610.01 c constraint additions 154987132 3600.01/3610.01 c trail pops 13047686 3600.01/3610.01 c formula constraints 2 3600.01/3610.01 c learned constraints 668394 3600.01/3610.01 c bound constraints 0 3600.01/3610.01 c core-guided constraints 0 3600.01/3610.01 c encountered formula constraints 1463536 3600.01/3610.01 c encountered learned constraints 1095490 3600.01/3610.01 c encountered bound constraints 0 3600.01/3610.01 c encountered core-guided constraints 0 3600.01/3610.01 c LP total time 29.5982 s 3600.01/3610.01 c LP solve time 23.7 s 3600.01/3610.01 c LP constraints added 12 3600.01/3610.01 c LP constraints removed 6 3600.01/3610.01 c LP pivots internal 614831 3600.01/3610.01 c LP pivots root 322 3600.01/3610.01 c LP calls 509661 3600.01/3610.01 c LP optimalities 509658 3600.01/3610.01 c LP no pivot count 175061 3600.01/3610.01 c LP infeasibilities 3 3600.01/3610.01 c LP valid Farkas constraints 3 3600.01/3610.01 c LP learned Farkas constraints 3 3600.01/3610.01 c LP basis resets 0 3600.01/3610.01 c LP cycling count 0 3600.01/3610.01 c LP singular count 0 3600.01/3610.01 c LP no primal count 0 3600.01/3610.01 c LP no farkas count 0 3600.01/3610.01 c LP other issue count 0 3600.01/3610.01 c LP Gomory cuts 0 3600.01/3610.01 c LP learned cuts 10 3600.01/3610.01 c LP deleted cuts 6 3600.01/3610.01 c LP encountered Gomory constraints 0 3600.01/3610.01 c LP encountered Farkas constraints 2 3600.01/3610.01 c LP encountered learned Farkas constraints 0 3600.01/3610.01 c CG auxiliary variables introduced 0 3600.01/3610.01 c CG solutions found 0 3600.01/3610.01 c CG cores constructed 0 3600.01/3610.01 c CG core cardinality constraints returned 0 3600.01/3610.01 c CG unit cores 0 3600.01/3610.01 c CG single cores 0 3600.01/3610.01 c CG blocks removed during cardinality reduction 0 3600.01/3610.01 c CG first core best 0 3600.01/3610.01 c CG decision core best 0 3600.01/3610.01 c CG core reduction tie 0 3600.01/3610.01 c CG core degree average 0.00 3600.01/3610.01 c CG core slack average 0.00 3600.01/3610.01 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61399 MiB free)
memory of node 1: 64510 MiB (61705 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456928-1721817198/watcher-4456928-1721817198 -o /tmp/evaluation-result-4456928-1721817198/solver-4456928-1721817198 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721817186-192410 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456928-1721817198 --lp-cut-gomory=0 HOME/instance-4456928-1721817198.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=192889, runsolver pid=192886
[startup+0.10022 s]*
/proc/loadavg: 0.73 0.22 0.14 5/262 192890
/proc/meminfo: memFree=126054920/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=38028 memory=8496 CPUtime=0.09 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 479 0 0 0 7 2 0 0 20 0 1 0 18248495 38940672 2124 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 9507 2124 1832 992 0 1365 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38028 KiB
Current children cumulated memory: 8496 KiB
[startup+0.2055 s]*
/proc/loadavg: 0.73 0.22 0.14 5/262 192890
/proc/meminfo: memFree=126050632/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=38160 memory=10800 CPUtime=0.19 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 554 0 0 0 16 3 0 0 20 0 1 0 18248495 39075840 2700 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 9540 2700 1832 992 0 1398 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38160 KiB
Current children cumulated memory: 10800 KiB
[startup+0.305126 s]*
/proc/loadavg: 0.73 0.22 0.14 5/262 192890
/proc/meminfo: memFree=126048140/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=38292 memory=10800 CPUtime=0.29 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 573 0 0 0 25 4 0 0 20 0 1 0 18248495 39211008 2700 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 9573 2700 1832 992 0 1431 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 10800 KiB
[startup+0.700149 s]
/proc/loadavg: 0.73 0.22 0.14 5/262 192890
/proc/meminfo: memFree=126044172/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=38676 memory=11272 CPUtime=0.68 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 670 0 0 0 62 6 0 0 20 0 1 0 18248495 39604224 2818 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 9669 2818 1832 992 0 1527 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38676 KiB
Current children cumulated memory: 11272 KiB
[startup+1.50017 s]
/proc/loadavg: 0.73 0.22 0.14 5/262 192890
/proc/meminfo: memFree=126037256/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=38948 memory=11536 CPUtime=1.48 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 735 0 0 0 138 10 0 0 20 0 1 0 18248495 39882752 2884 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 9737 2884 1832 992 0 1595 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 11536 KiB
[startup+3.10547 s]
/proc/loadavg: 0.99 0.28 0.16 5/262 192890
/proc/meminfo: memFree=126015536/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=39772 memory=12412 CPUtime=3.08 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 921 0 0 0 290 18 0 0 20 0 1 0 18248495 40726528 3103 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 9943 3103 1864 992 0 1801 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39772 KiB
Current children cumulated memory: 12412 KiB
[startup+6.30019 s]
/proc/loadavg: 0.99 0.28 0.16 5/260 192892
/proc/meminfo: memFree=125987420/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=40256 memory=12724 CPUtime=6.27 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 1044 0 0 0 598 29 0 0 20 0 1 0 18248495 41222144 3181 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 10064 3181 1864 992 0 1922 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40256 KiB
Current children cumulated memory: 12724 KiB
[startup+12.7002 s]
/proc/loadavg: 1.46 0.41 0.20 5/260 192892
/proc/meminfo: memFree=125939572/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=41120 memory=13800 CPUtime=12.65 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 1267 0 0 0 1220 45 0 0 20 0 1 0 18248495 42106880 3450 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 10280 3450 1864 992 0 2138 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 13800 KiB
[startup+25.5002 s]
/proc/loadavg: 1.85 0.53 0.24 5/260 192941
/proc/meminfo: memFree=125708852/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=41520 memory=15036 CPUtime=25.42 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 1597 0 0 0 2469 73 0 0 20 0 1 0 18248495 42516480 3759 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 10380 3759 1864 992 0 2238 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41520 KiB
Current children cumulated memory: 15036 KiB
[startup+51.1057 s]
/proc/loadavg: 2.66 0.82 0.35 5/262 192946
/proc/meminfo: memFree=125251192/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=52920 memory=21952 CPUtime=50.97 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 3354 0 0 0 4986 111 0 0 20 0 1 0 18248495 54190080 5488 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 13230 5488 1864 992 0 5088 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 52920 KiB
Current children cumulated memory: 21952 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.38 0.57 5/262 192954
/proc/meminfo: memFree=124477440/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=53120 memory=23092 CPUtime=102.05 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 3615 0 0 0 10029 176 0 0 20 0 1 0 18248495 54394880 5773 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 13280 5773 1864 992 0 5138 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 53120 KiB
Current children cumulated memory: 23092 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 1.87 0.79 5/261 192967
/proc/meminfo: memFree=123425456/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=57656 memory=29416 CPUtime=161.9 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 4762 0 0 0 15961 229 0 0 20 0 1 0 18248495 59039744 7354 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 14414 7354 1864 992 0 6272 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 57656 KiB
Current children cumulated memory: 29416 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.28 1.00 5/261 192977
/proc/meminfo: memFree=122760820/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=57656 memory=29416 CPUtime=221.75 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 4778 0 0 0 21885 290 0 0 20 0 1 0 18248495 59039744 7354 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 14414 7354 1864 992 0 6272 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 57656 KiB
Current children cumulated memory: 29416 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.61 1.19 5/261 192987
/proc/meminfo: memFree=122451800/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=65860 memory=35828 CPUtime=281.59 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 5571 0 0 0 27828 331 0 0 20 0 1 0 18248495 67440640 8957 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 16465 8957 1864 992 0 8323 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 65860 KiB
Current children cumulated memory: 35828 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.89 1.38 5/259 192999
/proc/meminfo: memFree=121810004/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=66308 memory=36304 CPUtime=341.44 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 5804 0 0 0 33777 367 0 0 20 0 1 0 18248495 67899392 9076 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 16577 9076 1864 992 0 8435 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 66308 KiB
Current children cumulated memory: 36304 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.13 1.56 5/259 193010
/proc/meminfo: memFree=121303656/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=66516 memory=36360 CPUtime=401.31 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 5927 0 0 0 39718 413 0 0 20 0 1 0 18248495 68112384 9090 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 16629 9090 1864 992 0 8487 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 66516 KiB
Current children cumulated memory: 36360 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.30 1.72 5/260 193024
/proc/meminfo: memFree=120835148/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=66516 memory=36360 CPUtime=461.17 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 5938 0 0 0 45652 465 0 0 20 0 1 0 18248495 68112384 9090 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 16629 9090 1864 992 0 8487 0
################
# More data... #
################
Current children cumulated memory: 56696 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.15 4.01 5/262 194147
/proc/meminfo: memFree=103639620/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=89760 memory=56696 CPUtime=2854.57 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 10064 0 0 0 283853 1604 0 0 20 0 1 0 18248495 91914240 14174 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 22440 14174 1864 992 0 14298 0
Current children cumulated CPU time: 2854.57 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 56696 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.13 4.01 5/260 194159
/proc/meminfo: memFree=103282736/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=89760 memory=56696 CPUtime=2914.37 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 10087 0 0 0 289817 1620 0 0 20 0 1 0 18248495 91914240 14174 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 22440 14174 1864 992 0 14298 0
Current children cumulated CPU time: 2914.37 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 56696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.02 5/262 194173
/proc/meminfo: memFree=102978464/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=89760 memory=56696 CPUtime=2974.18 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 10109 0 0 0 295784 1634 0 0 20 0 1 0 18248495 91914240 14174 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 22440 14174 1864 992 0 14298 0
Current children cumulated CPU time: 2974.18 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 56696 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.16 4.03 5/263 194184
/proc/meminfo: memFree=102583332/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=90144 memory=56788 CPUtime=3033.99 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 10168 0 0 0 301753 1646 0 0 20 0 1 0 18248495 92307456 14197 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 22536 14197 1864 992 0 14394 0
Current children cumulated CPU time: 3033.99 s
Current children cumulated vsize: 90144 KiB
Current children cumulated memory: 56788 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.16 4.03 5/263 194195
/proc/meminfo: memFree=102290780/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=90656 memory=59004 CPUtime=3093.8 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 10263 0 0 0 307721 1659 0 0 20 0 1 0 18248495 92831744 14751 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 22664 14751 1864 992 0 14522 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 90656 KiB
Current children cumulated memory: 59004 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.03 5/262 194590
/proc/meminfo: memFree=102070540/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=91168 memory=61484 CPUtime=3153.63 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 10364 0 0 0 313693 1670 0 0 20 0 1 0 18248495 93356032 15371 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 22792 15371 1864 992 0 14650 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 91168 KiB
Current children cumulated memory: 61484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.03 5/262 194600
/proc/meminfo: memFree=101745416/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=92448 memory=62172 CPUtime=3213.45 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 10571 0 0 0 319664 1681 0 0 20 0 1 0 18248495 94666752 15543 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 23112 15543 1864 992 0 14970 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 92448 KiB
Current children cumulated memory: 62172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/262 194611
/proc/meminfo: memFree=101471720/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=92704 memory=64380 CPUtime=3273.26 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 10642 0 0 0 325636 1690 0 0 20 0 1 0 18248495 94928896 16095 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 23176 16095 1864 992 0 15034 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 92704 KiB
Current children cumulated memory: 64380 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.04 5/262 194790
/proc/meminfo: memFree=101244196/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=93472 memory=64732 CPUtime=3333.07 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 10809 0 0 0 331610 1697 0 0 20 0 1 0 18248495 95715328 16183 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 23368 16183 1864 992 0 15226 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 64732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/260 194801
/proc/meminfo: memFree=100908760/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=93472 memory=66108 CPUtime=3392.9 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 11198 0 0 0 337586 1704 0 0 20 0 1 0 18248495 95715328 16527 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 23368 16527 1864 992 0 15226 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 66108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.19 4.07 5/260 194868
/proc/meminfo: memFree=100630952/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=113976 memory=69736 CPUtime=3452.71 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 11627 0 0 0 343558 1713 0 0 20 0 1 0 18248495 116711424 17434 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 28494 17434 1864 992 0 20352 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 113976 KiB
Current children cumulated memory: 69736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.18 4.07 5/260 194879
/proc/meminfo: memFree=100380772/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=115256 memory=72080 CPUtime=3512.53 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 11852 0 0 0 349532 1721 0 0 20 0 1 0 18248495 118022144 18020 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 28814 18020 1864 992 0 20672 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 115256 KiB
Current children cumulated memory: 72080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.19 4.08 5/262 194896
/proc/meminfo: memFree=100174788/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=115768 memory=74544 CPUtime=3572.39 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 11967 0 0 0 355509 1730 0 0 20 0 1 0 18248495 118546432 18636 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 28942 18636 1864 992 0 20800 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 115768 KiB
Current children cumulated memory: 74544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.14 4.17 4.08 5/263 195041
/proc/meminfo: memFree=105647832/131524600 swapFree=131065292/131071996
[pid=192889] ppid=192886 vsize=116344 memory=75152 CPUtime=3600.01 cores=1,3
/proc/192889/stat : 192889 (roundingsat) R 192886 192889 192398 0 -1 4194304 12198 0 0 0 358267 1734 0 0 20 0 1 0 18248495 119136256 18788 134679101440 4194304 8254037 140722056051440 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9109504 140722056057692 140722056057954 140722056057954 140722056064969 0
/proc/192889/statm: 29086 18788 1864 992 0 20944 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 116344 KiB
Current children cumulated memory: 75152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 192889 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.67 s, system=17.3468 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.02
CPU user time (s): 3582.67
CPU system time (s): 17.3468
CPU usage (%): 99.7233
Max. virtual memory (cumulated for all children) (KiB): 116344
Max. memory (cumulated for all children) (KiB): 75152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.67
system time used= 17.3468
maximum resident set size= 75320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12212
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1290624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 4858
# summary of solver processes directly reported to runsolver:
# pid: 192889
# total CPU time (s): 3600.02
# total CPU user time (s): 3582.67
# total CPU system time (s): 17.3468
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6135 second user time and 14.0631 second system time
The end
Begin job on nodeC021 at 2024-07-24 12:33:18 IDJOB=4456928 IDBENCH=148100 IDSOLVER=3085 FILE ID=nodeC021/4456928-1721817198 RUNJOBID= nodeC021-1721817186-192410 SLURM_JOB_ID= 7816876 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.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-4456928-1721817198/watcher-4456928-1721817198 -o /tmp/evaluation-result-4456928-1721817198/solver-4456928-1721817198 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721817186-192410 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456928-1721817198 --lp-cut-gomory=0 HOME/instance-4456928-1721817198.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e RANDOM SEED=1413911433 nodeC021.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 : 3621.039 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.35 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 : 3661.352 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 : 7007.41 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 : 3658.365 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.35 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 : 3656.163 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 : 7007.41 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 : 3652.924 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.35 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 : 3663.772 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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 : 7007.41 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 : 3602.568 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.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.592 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 : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126060684 kB MemAvailable: 129655504 kB Buffers: 248044 kB Cached: 4141816 kB SwapCached: 192 kB Active: 2604876 kB Inactive: 2183792 kB Active(anon): 1688 kB Inactive(anon): 450868 kB Active(file): 2603188 kB Inactive(file): 1732924 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131065292 kB Dirty: 81316 kB Writeback: 0 kB AnonPages: 398548 kB Mapped: 128684 kB Shmem: 53696 kB KReclaimable: 196708 kB Slab: 319464 kB SReclaimable: 196708 kB SUnreclaim: 122756 kB KernelStack: 4192 kB PageTables: 9996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 835304 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20800 kB HardwareCorrupted: 0 kB AnonHugePages: 256000 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: 322260 kB DirectMap2M: 40345600 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890012 MiB End job on nodeC021 at 2024-07-24 13:33:29