| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.01 | 3611.35 |
| 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.30/0.37 c #Conflicts: 1000 | #Constraints: 1001 0.30/0.37 c #Conflicts: 2000 | #Constraints: 2001 0.30/0.37 c INPROCESSING 0.30/0.37 c GARBAGE COLLECT 0.30/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.99/2.07 c #Conflicts: 5000 | #Constraints: 2411 1.99/2.07 c #Conflicts: 6000 | #Constraints: 3411 1.99/2.07 c INPROCESSING 1.99/2.07 c GARBAGE COLLECT 1.99/2.07 c rational objective 1.19423 3.18/3.27 c #Conflicts: 7000 | #Constraints: 2412 3.18/3.27 c #Conflicts: 8000 | #Constraints: 3412 3.18/3.27 c #Conflicts: 9000 | #Constraints: 4412 3.18/3.27 c INPROCESSING 3.18/3.27 c GARBAGE COLLECT 3.18/3.27 c rational objective 1.19424 4.98/5.08 c #Conflicts: 10000 | #Constraints: 3109 4.98/5.08 c #Conflicts: 11000 | #Constraints: 4109 4.98/5.08 c #Conflicts: 12000 | #Constraints: 5109 4.98/5.08 c INPROCESSING 4.98/5.08 c GARBAGE COLLECT 4.98/5.08 c rational objective 1.19424 7.17/7.28 c #Conflicts: 13000 | #Constraints: 3559 7.17/7.28 c #Conflicts: 14000 | #Constraints: 4559 7.17/7.28 c #Conflicts: 15000 | #Constraints: 5559 7.17/7.28 c INPROCESSING 7.17/7.28 c GARBAGE COLLECT 7.17/7.28 c rational objective 1.19424 10.46/10.52 c #Conflicts: 16000 | #Constraints: 3785 10.46/10.52 c #Conflicts: 17000 | #Constraints: 4785 10.46/10.52 c #Conflicts: 18000 | #Constraints: 5785 10.46/10.52 c INPROCESSING 10.46/10.52 c GARBAGE COLLECT 10.46/10.52 c rational objective 1.1943 13.85/13.95 c #Conflicts: 19000 | #Constraints: 3797 13.85/13.95 c #Conflicts: 20000 | #Constraints: 4797 13.85/13.95 c #Conflicts: 21000 | #Constraints: 5797 13.85/13.95 c INPROCESSING 13.85/13.95 c GARBAGE COLLECT 13.85/13.95 c rational objective 1.1943 17.14/17.22 c #Conflicts: 22000 | #Constraints: 3606 17.14/17.22 c #Conflicts: 23000 | #Constraints: 4606 17.14/17.22 c #Conflicts: 24000 | #Constraints: 5606 17.14/17.22 c #Conflicts: 25000 | #Constraints: 6606 17.14/17.22 c INPROCESSING 17.14/17.22 c GARBAGE COLLECT 17.14/17.22 c rational objective 1.20973 21.83/21.90 c #Conflicts: 26000 | #Constraints: 4205 21.83/21.90 c #Conflicts: 27000 | #Constraints: 5205 21.83/21.90 c #Conflicts: 28000 | #Constraints: 6205 21.83/21.90 c #Conflicts: 29000 | #Constraints: 7205 21.83/21.90 c INPROCESSING 21.83/21.90 c GARBAGE COLLECT 21.83/21.90 c rational objective 1.22209 26.03/26.13 c #Conflicts: 30000 | #Constraints: 4610 26.03/26.13 c #Conflicts: 31000 | #Constraints: 5610 26.03/26.13 c #Conflicts: 32000 | #Constraints: 6610 26.03/26.13 c #Conflicts: 33000 | #Constraints: 7610 26.03/26.13 c INPROCESSING 26.03/26.13 c GARBAGE COLLECT 26.03/26.13 c rational objective 1.22899 54.24/54.43 c #Conflicts: 34000 | #Constraints: 4806 54.24/54.43 c #Conflicts: 35000 | #Constraints: 5806 54.24/54.43 c #Conflicts: 36000 | #Constraints: 6806 54.24/54.43 c #Conflicts: 37000 | #Constraints: 7806 54.24/54.43 c #Conflicts: 38000 | #Constraints: 8806 54.24/54.43 c #Conflicts: 39000 | #Constraints: 9806 54.24/54.43 c #Conflicts: 40000 | #Constraints: 10806 54.24/54.43 c #Conflicts: 41000 | #Constraints: 11806 54.24/54.43 c #Conflicts: 42000 | #Constraints: 12806 54.24/54.43 c #Conflicts: 43000 | #Constraints: 13806 54.24/54.43 c #Conflicts: 44000 | #Constraints: 14806 54.24/54.43 c #Conflicts: 45000 | #Constraints: 15806 54.24/54.43 c #Conflicts: 46000 | #Constraints: 16806 54.24/54.43 c #Conflicts: 47000 | #Constraints: 17806 54.24/54.43 c #Conflicts: 48000 | #Constraints: 18806 54.24/54.43 c INPROCESSING 54.24/54.43 c GARBAGE COLLECT 54.24/54.43 c rational objective 1.27068 64.82/65.08 c #Conflicts: 49000 | #Constraints: 10408 64.82/65.08 c #Conflicts: 50000 | #Constraints: 11408 64.82/65.08 c #Conflicts: 51000 | #Constraints: 12408 64.82/65.08 c #Conflicts: 52000 | #Constraints: 13408 64.82/65.08 c #Conflicts: 53000 | #Constraints: 14408 64.82/65.08 c INPROCESSING 64.82/65.08 c GARBAGE COLLECT 64.82/65.08 c rational objective 1.28777 76.49/76.79 c #Conflicts: 54000 | #Constraints: 8058 76.49/76.79 c #Conflicts: 55000 | #Constraints: 9058 76.49/76.79 c #Conflicts: 56000 | #Constraints: 10058 76.49/76.79 c #Conflicts: 57000 | #Constraints: 11058 76.49/76.79 c #Conflicts: 58000 | #Constraints: 12058 76.49/76.79 c INPROCESSING 76.49/76.79 c GARBAGE COLLECT 76.49/76.79 c rational objective 1.28777 88.46/88.71 c #Conflicts: 59000 | #Constraints: 6636 88.46/88.71 c #Conflicts: 60000 | #Constraints: 7636 88.46/88.71 c #Conflicts: 61000 | #Constraints: 8636 88.46/88.71 c #Conflicts: 62000 | #Constraints: 9636 88.46/88.71 c #Conflicts: 63000 | #Constraints: 10636 88.46/88.71 c #Conflicts: 64000 | #Constraints: 11636 88.46/88.71 c INPROCESSING 88.46/88.71 c GARBAGE COLLECT 88.46/88.71 c rational objective 1.28777 138.82/139.21 c #Conflicts: 65000 | #Constraints: 6573 138.82/139.21 c #Conflicts: 66000 | #Constraints: 7573 138.82/139.21 c #Conflicts: 67000 | #Constraints: 8573 138.82/139.21 c #Conflicts: 68000 | #Constraints: 9573 138.82/139.21 c #Conflicts: 69000 | #Constraints: 10573 138.82/139.21 c #Conflicts: 70000 | #Constraints: 11573 138.82/139.21 c #Conflicts: 71000 | #Constraints: 12573 138.82/139.21 c #Conflicts: 72000 | #Constraints: 13573 138.82/139.21 c #Conflicts: 73000 | #Constraints: 14573 138.82/139.21 c #Conflicts: 74000 | #Constraints: 15573 138.82/139.21 c #Conflicts: 75000 | #Constraints: 16573 138.82/139.21 c #Conflicts: 76000 | #Constraints: 17573 138.82/139.21 c #Conflicts: 77000 | #Constraints: 18573 138.82/139.21 c #Conflicts: 78000 | #Constraints: 19573 138.82/139.21 c #Conflicts: 79000 | #Constraints: 20573 138.82/139.21 c #Conflicts: 80000 | #Constraints: 21573 138.82/139.21 c #Conflicts: 81000 | #Constraints: 22573 138.82/139.21 c #Conflicts: 82000 | #Constraints: 23573 138.82/139.21 c #Conflicts: 83000 | #Constraints: 24573 138.82/139.21 c #Conflicts: 84000 | #Constraints: 25573 138.82/139.21 c INPROCESSING 138.82/139.21 c GARBAGE COLLECT 138.82/139.21 c rational objective 1.28777 160.65/161.11 c #Conflicts: 85000 | #Constraints: 13396 160.65/161.11 c #Conflicts: 86000 | #Constraints: 14396 160.65/161.11 c #Conflicts: 87000 | #Constraints: 15396 160.65/161.11 c #Conflicts: 88000 | #Constraints: 16396 160.65/161.11 c #Conflicts: 89000 | #Constraints: 17396 160.65/161.11 c #Conflicts: 90000 | #Constraints: 18396 160.65/161.11 c #Conflicts: 91000 | #Constraints: 19396 160.65/161.11 c INPROCESSING 160.65/161.11 c GARBAGE COLLECT 160.65/161.11 c rational objective 1.28777 181.50/182.08 c #Conflicts: 92000 | #Constraints: 10307 181.50/182.08 c #Conflicts: 93000 | #Constraints: 11307 181.50/182.08 c #Conflicts: 94000 | #Constraints: 12307 181.50/182.08 c #Conflicts: 95000 | #Constraints: 13307 181.50/182.08 c #Conflicts: 96000 | #Constraints: 14307 181.50/182.08 c #Conflicts: 97000 | #Constraints: 15307 181.50/182.08 c #Conflicts: 98000 | #Constraints: 16307 181.50/182.08 c #Conflicts: 99000 | #Constraints: 17307 181.50/182.08 c INPROCESSING 181.50/182.08 c GARBAGE COLLECT 181.50/182.08 c rational objective 1.28777 200.25/200.86 c #Conflicts: 100000 | #Constraints: 9658 200.25/200.86 c #Conflicts: 101000 | #Constraints: 10658 200.25/200.86 c #Conflicts: 102000 | #Constraints: 11658 200.25/200.86 c #Conflicts: 103000 | #Constraints: 12658 200.25/200.86 c #Conflicts: 104000 | #Constraints: 13658 200.25/200.86 c #Conflicts: 105000 | #Constraints: 14658 200.25/200.86 c #Conflicts: 106000 | #Constraints: 15658 200.25/200.86 c INPROCESSING 200.25/200.86 c GARBAGE COLLECT 200.25/200.86 c rational objective 1.28777 294.47/295.34 c #Conflicts: 107000 | #Constraints: 8633 294.47/295.34 c #Conflicts: 108000 | #Constraints: 9633 294.47/295.34 c #Conflicts: 109000 | #Constraints: 10633 294.47/295.34 c #Conflicts: 110000 | #Constraints: 11633 294.47/295.34 c #Conflicts: 111000 | #Constraints: 12633 294.47/295.34 c #Conflicts: 112000 | #Constraints: 13633 294.47/295.34 c #Conflicts: 113000 | #Constraints: 14633 294.47/295.34 c #Conflicts: 114000 | #Constraints: 15633 294.47/295.34 c #Conflicts: 115000 | #Constraints: 16633 294.47/295.34 c #Conflicts: 116000 | #Constraints: 17633 294.47/295.34 c #Conflicts: 117000 | #Constraints: 18633 294.47/295.34 c #Conflicts: 118000 | #Constraints: 19633 294.47/295.34 c #Conflicts: 119000 | #Constraints: 20633 294.47/295.34 c #Conflicts: 120000 | #Constraints: 21633 294.47/295.34 c #Conflicts: 121000 | #Constraints: 22633 294.47/295.34 c #Conflicts: 122000 | #Constraints: 23633 294.47/295.34 c #Conflicts: 123000 | #Constraints: 24633 294.47/295.34 c #Conflicts: 124000 | #Constraints: 25633 294.47/295.34 c #Conflicts: 125000 | #Constraints: 26633 294.47/295.34 c #Conflicts: 126000 | #Constraints: 27633 294.47/295.34 c #Conflicts: 127000 | #Constraints: 28633 294.47/295.34 c #Conflicts: 128000 | #Constraints: 29633 294.47/295.34 c #Conflicts: 129000 | #Constraints: 30633 294.47/295.34 c #Conflicts: 130000 | #Constraints: 31633 294.47/295.34 c #Conflicts: 131000 | #Constraints: 32633 294.47/295.34 c #Conflicts: 132000 | #Constraints: 33633 294.47/295.34 c INPROCESSING 294.47/295.34 c GARBAGE COLLECT 294.47/295.34 c rational objective 1.28777 327.78/328.74 c #Conflicts: 133000 | #Constraints: 17821 327.78/328.74 c #Conflicts: 134000 | #Constraints: 18821 327.78/328.74 c #Conflicts: 135000 | #Constraints: 19821 327.78/328.74 c #Conflicts: 136000 | #Constraints: 20821 327.78/328.74 c #Conflicts: 137000 | #Constraints: 21821 327.78/328.74 c #Conflicts: 138000 | #Constraints: 22821 327.78/328.74 c #Conflicts: 139000 | #Constraints: 23821 327.78/328.74 c #Conflicts: 140000 | #Constraints: 24821 327.78/328.74 c INPROCESSING 327.78/328.74 c GARBAGE COLLECT 327.78/328.74 c rational objective 1.28777 364.18/365.29 c #Conflicts: 141000 | #Constraints: 13069 364.18/365.29 c #Conflicts: 142000 | #Constraints: 14069 364.18/365.29 c #Conflicts: 143000 | #Constraints: 15069 364.18/365.29 c #Conflicts: 144000 | #Constraints: 16069 364.18/365.29 c #Conflicts: 145000 | #Constraints: 17069 364.18/365.29 c #Conflicts: 146000 | #Constraints: 18069 364.18/365.29 c #Conflicts: 147000 | #Constraints: 19069 364.18/365.29 c #Conflicts: 148000 | #Constraints: 20069 364.18/365.29 c #Conflicts: 149000 | #Constraints: 21069 364.18/365.29 c INPROCESSING 364.18/365.29 c GARBAGE COLLECT 364.18/365.29 c rational objective 1.28777 393.92/395.10 c #Conflicts: 150000 | #Constraints: 11239 393.92/395.10 c #Conflicts: 151000 | #Constraints: 12239 393.92/395.10 c #Conflicts: 152000 | #Constraints: 13239 393.92/395.10 c #Conflicts: 153000 | #Constraints: 14239 393.92/395.10 c #Conflicts: 154000 | #Constraints: 15239 393.92/395.10 c #Conflicts: 155000 | #Constraints: 16239 393.92/395.10 c #Conflicts: 156000 | #Constraints: 17239 393.92/395.10 c #Conflicts: 157000 | #Constraints: 18239 393.92/395.10 c #Conflicts: 158000 | #Constraints: 19239 393.92/395.10 c INPROCESSING 393.92/395.10 c GARBAGE COLLECT 393.92/395.10 c rational objective 1.28777 425.03/426.27 c #Conflicts: 159000 | #Constraints: 10275 425.03/426.27 c #Conflicts: 160000 | #Constraints: 11275 425.03/426.27 c #Conflicts: 161000 | #Constraints: 12275 425.03/426.27 c #Conflicts: 162000 | #Constraints: 13275 425.03/426.27 c #Conflicts: 163000 | #Constraints: 14275 425.03/426.27 c #Conflicts: 164000 | #Constraints: 15275 425.03/426.27 c #Conflicts: 165000 | #Constraints: 16275 425.03/426.27 c #Conflicts: 166000 | #Constraints: 17275 425.03/426.27 c #Conflicts: 167000 | #Constraints: 18275 425.03/426.27 c #Conflicts: 168000 | #Constraints: 19275 425.03/426.27 c INPROCESSING 425.03/426.27 c GARBAGE COLLECT 425.03/426.27 c rational objective 1.28777 451.96/453.28 c #Conflicts: 169000 | #Constraints: 10643 451.96/453.28 c #Conflicts: 170000 | #Constraints: 11643 451.96/453.28 c #Conflicts: 171000 | #Constraints: 12643 451.96/453.28 c #Conflicts: 172000 | #Constraints: 13643 451.96/453.28 c #Conflicts: 173000 | #Constraints: 14643 451.96/453.28 c #Conflicts: 174000 | #Constraints: 15643 451.96/453.28 c #Conflicts: 175000 | #Constraints: 16643 451.96/453.28 c #Conflicts: 176000 | #Constraints: 17643 451.96/453.28 c #Conflicts: 177000 | #Constraints: 18643 451.96/453.28 c INPROCESSING 451.96/453.28 c GARBAGE COLLECT 451.96/453.28 c rational objective 1.28777 477.39/478.79 c #Conflicts: 178000 | #Constraints: 10075 477.39/478.79 c #Conflicts: 179000 | #Constraints: 11075 477.39/478.79 c #Conflicts: 180000 | #Constraints: 12075 477.39/478.79 c #Conflicts: 181000 | #Constraints: 13075 477.39/478.79 c #Conflicts: 182000 | #Constraints: 14075 477.39/478.79 c #Conflicts: 183000 | #Constraints: 15075 477.39/478.79 c #Conflicts: 184000 | #Constraints: 16075 477.39/478.79 c #Conflicts: 185000 | #Constraints: 17075 477.39/478.79 c #Conflicts: 186000 | #Constraints: 18075 477.39/478.79 c #Conflicts: 187000 | #Constraints: 19075 477.39/478.79 c INPROCESSING 477.39/478.79 c GARBAGE COLLECT 477.39/478.79 c rational objective 1.28777 500.74/502.10 c #Conflicts: 188000 | #Constraints: 10443 500.74/502.10 c #Conflicts: 189000 | #Constraints: 11443 500.74/502.10 c #Conflicts: 190000 | #Constraints: 12443 500.74/502.10 c #Conflicts: 191000 | #Constraints: 13443 500.74/502.10 c #Conflicts: 192000 | #Constraints: 14443 500.74/502.10 c #Conflicts: 193000 | #Constraints: 15443 500.74/502.10 c #Conflicts: 194000 | #Constraints: 16443 500.74/502.10 c #Conflicts: 195000 | #Constraints: 17443 500.74/502.10 c #Conflicts: 196000 | #Constraints: 18443 500.74/502.10 c #Conflicts: 197000 | #Constraints: 19443 500.74/502.10 c INPROCESSING 500.74/502.10 c GARBAGE COLLECT 500.74/502.10 c rational objective 1.28777 678.31/680.20 c #Conflicts: 198000 | #Constraints: 10674 678.31/680.20 c #Conflicts: 199000 | #Constraints: 11674 678.31/680.20 c #Conflicts: 200000 | #Constraints: 12674 678.31/680.20 c #Conflicts: 201000 | #Constraints: 13674 678.31/680.20 c #Conflicts: 202000 | #Constraints: 14674 678.31/680.20 c #Conflicts: 203000 | #Constraints: 15674 678.31/680.20 c #Conflicts: 204000 | #Constraints: 16674 678.31/680.20 c #Conflicts: 205000 | #Constraints: 17674 678.31/680.20 c #Conflicts: 206000 | #Constraints: 18674 678.31/680.20 c #Conflicts: 207000 | #Constraints: 19674 678.31/680.20 c #Conflicts: 208000 | #Constraints: 20674 678.31/680.20 c #Conflicts: 209000 | #Constraints: 21674 678.31/680.20 c #Conflicts: 210000 | #Constraints: 22674 678.31/680.20 c #Conflicts: 211000 | #Constraints: 23674 678.31/680.20 c #Conflicts: 212000 | #Constraints: 24674 678.31/680.20 c #Conflicts: 213000 | #Constraints: 25674 678.31/680.20 c #Conflicts: 214000 | #Constraints: 26675 678.31/680.20 c #Conflicts: 215000 | #Constraints: 27675 678.31/680.20 c #Conflicts: 216000 | #Constraints: 28675 678.31/680.20 c #Conflicts: 217000 | #Constraints: 29675 678.31/680.20 c #Conflicts: 218000 | #Constraints: 30675 678.31/680.20 c #Conflicts: 219000 | #Constraints: 31675 678.31/680.20 c #Conflicts: 220000 | #Constraints: 32675 678.31/680.20 c #Conflicts: 221000 | #Constraints: 33675 678.31/680.20 c #Conflicts: 222000 | #Constraints: 34675 678.31/680.20 c #Conflicts: 223000 | #Constraints: 35675 678.31/680.20 c #Conflicts: 224000 | #Constraints: 36675 678.31/680.20 c #Conflicts: 225000 | #Constraints: 37675 678.31/680.20 c #Conflicts: 226000 | #Constraints: 38675 678.31/680.20 c #Conflicts: 227000 | #Constraints: 39675 678.31/680.20 c #Conflicts: 228000 | #Constraints: 40675 678.31/680.20 c #Conflicts: 229000 | #Constraints: 41675 678.31/680.20 c #Conflicts: 230000 | #Constraints: 42675 678.31/680.20 c #Conflicts: 231000 | #Constraints: 43675 678.31/680.20 c #Conflicts: 232000 | #Constraints: 44675 678.31/680.20 c INPROCESSING 678.31/680.20 c GARBAGE COLLECT 678.31/680.20 c rational objective 1.28777 764.70/766.97 c #Conflicts: 233000 | #Constraints: 23144 764.70/766.97 c #Conflicts: 234000 | #Constraints: 24144 764.70/766.97 c #Conflicts: 235000 | #Constraints: 25144 764.70/766.97 c #Conflicts: 236000 | #Constraints: 26144 764.70/766.97 c #Conflicts: 237000 | #Constraints: 27144 764.70/766.97 c #Conflicts: 238000 | #Constraints: 28144 764.70/766.97 c #Conflicts: 239000 | #Constraints: 29144 764.70/766.97 c #Conflicts: 240000 | #Constraints: 30144 764.70/766.97 c #Conflicts: 241000 | #Constraints: 31144 764.70/766.97 c #Conflicts: 242000 | #Constraints: 32144 764.70/766.97 c #Conflicts: 243000 | #Constraints: 33144 764.70/766.97 c INPROCESSING 764.70/766.97 c GARBAGE COLLECT 764.70/766.97 c rational objective 1.28777 824.62/827.05 c #Conflicts: 244000 | #Constraints: 17280 824.62/827.05 c #Conflicts: 245000 | #Constraints: 18280 824.62/827.05 c #Conflicts: 246000 | #Constraints: 19280 824.62/827.05 c #Conflicts: 247000 | #Constraints: 20280 824.62/827.05 c #Conflicts: 248000 | #Constraints: 21280 824.62/827.05 c #Conflicts: 249000 | #Constraints: 22280 824.62/827.05 c #Conflicts: 250000 | #Constraints: 23280 824.62/827.05 c #Conflicts: 251000 | #Constraints: 24280 824.62/827.05 c #Conflicts: 252000 | #Constraints: 25280 824.62/827.05 c #Conflicts: 253000 | #Constraints: 26280 824.62/827.05 c #Conflicts: 254000 | #Constraints: 27280 824.62/827.05 c #Conflicts: 255000 | #Constraints: 28280 824.62/827.05 c INPROCESSING 824.62/827.05 c GARBAGE COLLECT 824.62/827.05 c rational objective 1.28777 871.99/874.51 c #Conflicts: 256000 | #Constraints: 15147 871.99/874.51 c #Conflicts: 257000 | #Constraints: 16147 871.99/874.51 c #Conflicts: 258000 | #Constraints: 17147 871.99/874.51 c #Conflicts: 259000 | #Constraints: 18147 871.99/874.51 c #Conflicts: 260000 | #Constraints: 19147 871.99/874.51 c #Conflicts: 261000 | #Constraints: 20147 871.99/874.51 c #Conflicts: 262000 | #Constraints: 21147 871.99/874.51 c #Conflicts: 263000 | #Constraints: 22147 871.99/874.51 c #Conflicts: 264000 | #Constraints: 23147 871.99/874.51 c #Conflicts: 265000 | #Constraints: 24147 871.99/874.51 c #Conflicts: 266000 | #Constraints: 25147 871.99/874.51 c INPROCESSING 871.99/874.51 c GARBAGE COLLECT 871.99/874.51 c rational objective 1.28777 906.20/908.80 c #Conflicts: 267000 | #Constraints: 13277 906.20/908.80 c #Conflicts: 268000 | #Constraints: 14277 906.20/908.80 c #Conflicts: 269000 | #Constraints: 15277 906.20/908.80 c #Conflicts: 270000 | #Constraints: 16277 906.20/908.80 c #Conflicts: 271000 | #Constraints: 17277 906.20/908.80 c #Conflicts: 272000 | #Constraints: 18277 906.20/908.80 c #Conflicts: 273000 | #Constraints: 19277 906.20/908.80 c #Conflicts: 274000 | #Constraints: 20277 906.20/908.80 c #Conflicts: 275000 | #Constraints: 21277 906.20/908.80 c #Conflicts: 276000 | #Constraints: 22277 906.20/908.80 c #Conflicts: 277000 | #Constraints: 23277 906.20/908.80 c #Conflicts: 278000 | #Constraints: 24277 906.20/908.80 c INPROCESSING 906.20/908.80 c GARBAGE COLLECT 906.20/908.80 c rational objective 1.28777 949.87/952.61 c #Conflicts: 279000 | #Constraints: 12946 949.87/952.61 c #Conflicts: 280000 | #Constraints: 13946 949.87/952.61 c #Conflicts: 281000 | #Constraints: 14946 949.87/952.61 c #Conflicts: 282000 | #Constraints: 15946 949.87/952.61 c #Conflicts: 283000 | #Constraints: 16946 949.87/952.61 c #Conflicts: 284000 | #Constraints: 17946 949.87/952.61 c #Conflicts: 285000 | #Constraints: 18946 949.87/952.61 c #Conflicts: 286000 | #Constraints: 19946 949.87/952.61 c #Conflicts: 287000 | #Constraints: 20946 949.87/952.61 c #Conflicts: 288000 | #Constraints: 21946 949.87/952.61 c #Conflicts: 289000 | #Constraints: 22946 949.87/952.61 c #Conflicts: 290000 | #Constraints: 23946 949.87/952.61 c INPROCESSING 949.87/952.61 c GARBAGE COLLECT 949.87/952.61 c rational objective 1.28777 985.98/988.83 c #Conflicts: 291000 | #Constraints: 12779 985.98/988.83 c #Conflicts: 292000 | #Constraints: 13779 985.98/988.83 c #Conflicts: 293000 | #Constraints: 14779 985.98/988.83 c #Conflicts: 294000 | #Constraints: 15779 985.98/988.83 c #Conflicts: 295000 | #Constraints: 16779 985.98/988.83 c #Conflicts: 296000 | #Constraints: 17779 985.98/988.83 c #Conflicts: 297000 | #Constraints: 18779 985.98/988.83 c #Conflicts: 298000 | #Constraints: 19779 985.98/988.83 c #Conflicts: 299000 | #Constraints: 20779 985.98/988.83 c #Conflicts: 300000 | #Constraints: 21779 985.98/988.83 c #Conflicts: 301000 | #Constraints: 22779 985.98/988.83 c #Conflicts: 302000 | #Constraints: 23779 985.98/988.83 c INPROCESSING 985.98/988.83 c GARBAGE COLLECT 985.98/988.83 c rational objective 1.28777 1034.57/1037.59 c #Conflicts: 303000 | #Constraints: 12593 1034.57/1037.59 c #Conflicts: 304000 | #Constraints: 13593 1034.57/1037.59 c #Conflicts: 305000 | #Constraints: 14593 1034.57/1037.59 c #Conflicts: 306000 | #Constraints: 15593 1034.57/1037.59 c #Conflicts: 307000 | #Constraints: 16593 1034.57/1037.59 c #Conflicts: 308000 | #Constraints: 17593 1034.57/1037.59 c #Conflicts: 309000 | #Constraints: 18593 1034.57/1037.59 c #Conflicts: 310000 | #Constraints: 19593 1034.57/1037.59 c #Conflicts: 311000 | #Constraints: 20593 1034.57/1037.59 c #Conflicts: 312000 | #Constraints: 21593 1034.57/1037.59 c #Conflicts: 313000 | #Constraints: 22593 1034.57/1037.59 c #Conflicts: 314000 | #Constraints: 23593 1034.57/1037.59 c #Conflicts: 315000 | #Constraints: 24593 1034.57/1037.59 c INPROCESSING 1034.57/1037.59 c GARBAGE COLLECT 1034.57/1037.59 c rational objective 1.28777 1349.28/1353.26 c #Conflicts: 316000 | #Constraints: 13303 1349.28/1353.26 c #Conflicts: 317000 | #Constraints: 14303 1349.28/1353.26 c #Conflicts: 318000 | #Constraints: 15303 1349.28/1353.26 c #Conflicts: 319000 | #Constraints: 16303 1349.28/1353.26 c #Conflicts: 320000 | #Constraints: 17303 1349.28/1353.26 c #Conflicts: 321000 | #Constraints: 18303 1349.28/1353.26 c #Conflicts: 322000 | #Constraints: 19303 1349.28/1353.26 c #Conflicts: 323000 | #Constraints: 20303 1349.28/1353.26 c #Conflicts: 324000 | #Constraints: 21303 1349.28/1353.26 c #Conflicts: 325000 | #Constraints: 22303 1349.28/1353.26 c #Conflicts: 326000 | #Constraints: 23303 1349.28/1353.26 c #Conflicts: 327000 | #Constraints: 24303 1349.28/1353.26 c #Conflicts: 328000 | #Constraints: 25303 1349.28/1353.26 c #Conflicts: 329000 | #Constraints: 26303 1349.28/1353.26 c #Conflicts: 330000 | #Constraints: 27303 1349.28/1353.26 c #Conflicts: 331000 | #Constraints: 28303 1349.28/1353.26 c #Conflicts: 332000 | #Constraints: 29303 1349.28/1353.26 c #Conflicts: 333000 | #Constraints: 30303 1349.28/1353.26 c #Conflicts: 334000 | #Constraints: 31303 1349.28/1353.26 c #Conflicts: 335000 | #Constraints: 32303 1349.28/1353.26 c #Conflicts: 336000 | #Constraints: 33303 1349.28/1353.26 c #Conflicts: 337000 | #Constraints: 34303 1349.28/1353.26 c #Conflicts: 338000 | #Constraints: 35303 1349.28/1353.26 c #Conflicts: 339000 | #Constraints: 36303 1349.28/1353.26 c #Conflicts: 340000 | #Constraints: 37303 1349.28/1353.26 c #Conflicts: 341000 | #Constraints: 38303 1349.28/1353.26 c #Conflicts: 342000 | #Constraints: 39303 1349.28/1353.26 c #Conflicts: 343000 | #Constraints: 40303 1349.28/1353.26 c #Conflicts: 344000 | #Constraints: 41303 1349.28/1353.26 c #Conflicts: 345000 | #Constraints: 42303 1349.28/1353.26 c #Conflicts: 346000 | #Constraints: 43303 1349.28/1353.26 c #Conflicts: 347000 | #Constraints: 44303 1349.28/1353.26 c #Conflicts: 348000 | #Constraints: 45303 1349.28/1353.26 c #Conflicts: 349000 | #Constraints: 46303 1349.28/1353.26 c #Conflicts: 350000 | #Constraints: 47303 1349.28/1353.26 c #Conflicts: 351000 | #Constraints: 48303 1349.28/1353.26 c #Conflicts: 352000 | #Constraints: 49303 1349.28/1353.26 c #Conflicts: 353000 | #Constraints: 50303 1349.28/1353.26 c #Conflicts: 354000 | #Constraints: 51303 1349.28/1353.26 c #Conflicts: 355000 | #Constraints: 52303 1349.28/1353.26 c #Conflicts: 356000 | #Constraints: 53303 1349.28/1353.26 c #Conflicts: 357000 | #Constraints: 54303 1349.28/1353.26 c #Conflicts: 358000 | #Constraints: 55303 1349.28/1353.26 c #Conflicts: 359000 | #Constraints: 56303 1349.28/1353.26 c #Conflicts: 360000 | #Constraints: 57303 1349.28/1353.26 c INPROCESSING 1349.28/1353.26 c GARBAGE COLLECT 1349.28/1353.26 c rational objective 1.28777 1517.96/1522.57 c #Conflicts: 361000 | #Constraints: 29660 1517.96/1522.57 c #Conflicts: 362000 | #Constraints: 30660 1517.96/1522.57 c #Conflicts: 363000 | #Constraints: 31660 1517.96/1522.57 c #Conflicts: 364000 | #Constraints: 32660 1517.96/1522.57 c #Conflicts: 365000 | #Constraints: 33660 1517.96/1522.57 c #Conflicts: 366000 | #Constraints: 34660 1517.96/1522.57 c #Conflicts: 367000 | #Constraints: 35660 1517.96/1522.57 c #Conflicts: 368000 | #Constraints: 36660 1517.96/1522.57 c #Conflicts: 369000 | #Constraints: 37660 1517.96/1522.57 c #Conflicts: 370000 | #Constraints: 38660 1517.96/1522.57 c #Conflicts: 371000 | #Constraints: 39660 1517.96/1522.57 c #Conflicts: 372000 | #Constraints: 40660 1517.96/1522.57 c #Conflicts: 373000 | #Constraints: 41660 1517.96/1522.57 c INPROCESSING 1517.96/1522.57 c GARBAGE COLLECT 1517.96/1522.57 c rational objective 1.28777 1665.92/1671.07 c #Conflicts: 374000 | #Constraints: 21489 1665.92/1671.07 c #Conflicts: 375000 | #Constraints: 22489 1665.92/1671.07 c #Conflicts: 376000 | #Constraints: 23489 1665.92/1671.07 c #Conflicts: 377000 | #Constraints: 24489 1665.92/1671.07 c #Conflicts: 378000 | #Constraints: 25489 1665.92/1671.07 c #Conflicts: 379000 | #Constraints: 26489 1665.92/1671.07 c #Conflicts: 380000 | #Constraints: 27489 1665.92/1671.07 c #Conflicts: 381000 | #Constraints: 28489 1665.92/1671.07 c #Conflicts: 382000 | #Constraints: 29489 1665.92/1671.07 c #Conflicts: 383000 | #Constraints: 30489 1665.92/1671.07 c #Conflicts: 384000 | #Constraints: 31489 1665.92/1671.07 c #Conflicts: 385000 | #Constraints: 32489 1665.92/1671.07 c #Conflicts: 386000 | #Constraints: 33489 1665.92/1671.07 c #Conflicts: 387000 | #Constraints: 34489 1665.92/1671.07 c INPROCESSING 1665.92/1671.07 c GARBAGE COLLECT 1665.92/1671.07 c rational objective 1.28777 1769.79/1775.35 c #Conflicts: 388000 | #Constraints: 17950 1769.79/1775.35 c #Conflicts: 389000 | #Constraints: 18950 1769.79/1775.35 c #Conflicts: 390000 | #Constraints: 19950 1769.79/1775.35 c #Conflicts: 391000 | #Constraints: 20950 1769.79/1775.35 c #Conflicts: 392000 | #Constraints: 21950 1769.79/1775.35 c #Conflicts: 393000 | #Constraints: 22950 1769.79/1775.35 c #Conflicts: 394000 | #Constraints: 23950 1769.79/1775.35 c #Conflicts: 395000 | #Constraints: 24950 1769.79/1775.35 c #Conflicts: 396000 | #Constraints: 25950 1769.79/1775.35 c #Conflicts: 397000 | #Constraints: 26950 1769.79/1775.35 c #Conflicts: 398000 | #Constraints: 27950 1769.79/1775.35 c #Conflicts: 399000 | #Constraints: 28950 1769.79/1775.35 c #Conflicts: 400000 | #Constraints: 29950 1769.79/1775.35 c #Conflicts: 401000 | #Constraints: 30950 1769.79/1775.35 c INPROCESSING 1769.79/1775.35 c GARBAGE COLLECT 1769.79/1775.35 c rational objective 1.28777 1865.24/1871.14 c #Conflicts: 402000 | #Constraints: 16130 1865.24/1871.14 c #Conflicts: 403000 | #Constraints: 17130 1865.24/1871.14 c #Conflicts: 404000 | #Constraints: 18130 1865.24/1871.14 c #Conflicts: 405000 | #Constraints: 19130 1865.24/1871.14 c #Conflicts: 406000 | #Constraints: 20130 1865.24/1871.14 c #Conflicts: 407000 | #Constraints: 21130 1865.24/1871.14 c #Conflicts: 408000 | #Constraints: 22130 1865.24/1871.14 c #Conflicts: 409000 | #Constraints: 23130 1865.24/1871.14 c #Conflicts: 410000 | #Constraints: 24130 1865.24/1871.14 c #Conflicts: 411000 | #Constraints: 25130 1865.24/1871.14 c #Conflicts: 412000 | #Constraints: 26130 1865.24/1871.14 c #Conflicts: 413000 | #Constraints: 27130 1865.24/1871.14 c #Conflicts: 414000 | #Constraints: 28130 1865.24/1871.14 c #Conflicts: 415000 | #Constraints: 29130 1865.24/1871.14 c #Conflicts: 416000 | #Constraints: 30130 1865.24/1871.14 c INPROCESSING 1865.24/1871.14 c GARBAGE COLLECT 1865.24/1871.14 c rational objective 1.28777 1934.86/1941.07 c #Conflicts: 417000 | #Constraints: 16074 1934.86/1941.07 c #Conflicts: 418000 | #Constraints: 17074 1934.86/1941.07 c #Conflicts: 419000 | #Constraints: 18074 1934.86/1941.07 c #Conflicts: 420000 | #Constraints: 19074 1934.86/1941.07 c #Conflicts: 421000 | #Constraints: 20074 1934.86/1941.07 c #Conflicts: 422000 | #Constraints: 21074 1934.86/1941.07 c #Conflicts: 423000 | #Constraints: 22074 1934.86/1941.07 c #Conflicts: 424000 | #Constraints: 23074 1934.86/1941.07 c #Conflicts: 425000 | #Constraints: 24074 1934.86/1941.07 c #Conflicts: 426000 | #Constraints: 25074 1934.86/1941.07 c #Conflicts: 427000 | #Constraints: 26074 1934.86/1941.07 c #Conflicts: 428000 | #Constraints: 27074 1934.86/1941.07 c #Conflicts: 429000 | #Constraints: 28074 1934.86/1941.07 c #Conflicts: 430000 | #Constraints: 29074 1934.86/1941.07 c INPROCESSING 1934.86/1941.07 c GARBAGE COLLECT 1934.86/1941.07 c rational objective 1.28777 2005.50/2011.96 c #Conflicts: 431000 | #Constraints: 15295 2005.50/2011.96 c #Conflicts: 432000 | #Constraints: 16295 2005.50/2011.96 c #Conflicts: 433000 | #Constraints: 17295 2005.50/2011.96 c #Conflicts: 434000 | #Constraints: 18295 2005.50/2011.96 c #Conflicts: 435000 | #Constraints: 19295 2005.50/2011.96 c #Conflicts: 436000 | #Constraints: 20295 2005.50/2011.96 c #Conflicts: 437000 | #Constraints: 21295 2005.50/2011.96 c #Conflicts: 438000 | #Constraints: 22295 2005.50/2011.96 c #Conflicts: 439000 | #Constraints: 23295 2005.50/2011.96 c #Conflicts: 440000 | #Constraints: 24295 2005.50/2011.96 c #Conflicts: 441000 | #Constraints: 25295 2005.50/2011.96 c #Conflicts: 442000 | #Constraints: 26295 2005.50/2011.96 c #Conflicts: 443000 | #Constraints: 27295 2005.50/2011.96 c #Conflicts: 444000 | #Constraints: 28295 2005.50/2011.96 c #Conflicts: 445000 | #Constraints: 29295 2005.50/2011.96 c INPROCESSING 2005.50/2011.96 c GARBAGE COLLECT 2005.50/2011.96 c rational objective 1.28777 2085.39/2092.16 c #Conflicts: 446000 | #Constraints: 15553 2085.39/2092.16 c #Conflicts: 447000 | #Constraints: 16553 2085.39/2092.16 c #Conflicts: 448000 | #Constraints: 17553 2085.39/2092.16 c #Conflicts: 449000 | #Constraints: 18553 2085.39/2092.16 c #Conflicts: 450000 | #Constraints: 19553 2085.39/2092.16 c #Conflicts: 451000 | #Constraints: 20553 2085.39/2092.16 c #Conflicts: 452000 | #Constraints: 21553 2085.39/2092.16 c #Conflicts: 453000 | #Constraints: 22553 2085.39/2092.16 c #Conflicts: 454000 | #Constraints: 23553 2085.39/2092.16 c #Conflicts: 455000 | #Constraints: 24553 2085.39/2092.16 c #Conflicts: 456000 | #Constraints: 25553 2085.39/2092.16 c #Conflicts: 457000 | #Constraints: 26553 2085.39/2092.16 c #Conflicts: 458000 | #Constraints: 27553 2085.39/2092.16 c #Conflicts: 459000 | #Constraints: 28553 2085.39/2092.16 c #Conflicts: 460000 | #Constraints: 29553 2085.39/2092.16 c INPROCESSING 2085.39/2092.16 c GARBAGE COLLECT 2085.39/2092.16 c rational objective 1.28777 2183.90/2191.08 c #Conflicts: 461000 | #Constraints: 15731 2183.90/2191.08 c #Conflicts: 462000 | #Constraints: 16731 2183.90/2191.08 c #Conflicts: 463000 | #Constraints: 17731 2183.90/2191.08 c #Conflicts: 464000 | #Constraints: 18731 2183.90/2191.08 c #Conflicts: 465000 | #Constraints: 19731 2183.90/2191.08 c #Conflicts: 466000 | #Constraints: 20731 2183.90/2191.08 c #Conflicts: 467000 | #Constraints: 21731 2183.90/2191.08 c #Conflicts: 468000 | #Constraints: 22731 2183.90/2191.08 c #Conflicts: 469000 | #Constraints: 23731 2183.90/2191.08 c #Conflicts: 470000 | #Constraints: 24731 2183.90/2191.08 c #Conflicts: 471000 | #Constraints: 25731 2183.90/2191.08 c #Conflicts: 472000 | #Constraints: 26731 2183.90/2191.08 c #Conflicts: 473000 | #Constraints: 27731 2183.90/2191.08 c #Conflicts: 474000 | #Constraints: 28731 2183.90/2191.08 c #Conflicts: 475000 | #Constraints: 29731 2183.90/2191.08 c INPROCESSING 2183.90/2191.08 c GARBAGE COLLECT 2183.90/2191.08 c rational objective 1.28777 2234.22/2241.53 c #Conflicts: 476000 | #Constraints: 15771 2234.22/2241.53 c #Conflicts: 477000 | #Constraints: 16771 2234.22/2241.53 c #Conflicts: 478000 | #Constraints: 17771 2234.22/2241.53 c #Conflicts: 479000 | #Constraints: 18771 2234.22/2241.53 c #Conflicts: 480000 | #Constraints: 19771 2234.22/2241.53 c #Conflicts: 481000 | #Constraints: 20771 2234.22/2241.53 c #Conflicts: 482000 | #Constraints: 21771 2234.22/2241.53 c #Conflicts: 483000 | #Constraints: 22771 2234.22/2241.53 c #Conflicts: 484000 | #Constraints: 23771 2234.22/2241.53 c #Conflicts: 485000 | #Constraints: 24771 2234.22/2241.53 c #Conflicts: 486000 | #Constraints: 25771 2234.22/2241.53 c #Conflicts: 487000 | #Constraints: 26771 2234.22/2241.53 c #Conflicts: 488000 | #Constraints: 27771 2234.22/2241.53 c #Conflicts: 489000 | #Constraints: 28771 2234.22/2241.53 c #Conflicts: 490000 | #Constraints: 29771 2234.22/2241.53 c INPROCESSING 2234.22/2241.53 c GARBAGE COLLECT 2234.22/2241.53 c rational objective 1.28777 2309.07/2316.61 c #Conflicts: 491000 | #Constraints: 15642 2309.07/2316.61 c #Conflicts: 492000 | #Constraints: 16642 2309.07/2316.61 c #Conflicts: 493000 | #Constraints: 17642 2309.07/2316.61 c #Conflicts: 494000 | #Constraints: 18642 2309.07/2316.61 c #Conflicts: 495000 | #Constraints: 19642 2309.07/2316.61 c #Conflicts: 496000 | #Constraints: 20642 2309.07/2316.61 c #Conflicts: 497000 | #Constraints: 21642 2309.07/2316.61 c #Conflicts: 498000 | #Constraints: 22642 2309.07/2316.61 c #Conflicts: 499000 | #Constraints: 23642 2309.07/2316.61 c #Conflicts: 500000 | #Constraints: 24642 2309.07/2316.61 c #Conflicts: 501000 | #Constraints: 25642 2309.07/2316.61 c #Conflicts: 502000 | #Constraints: 26642 2309.07/2316.61 c #Conflicts: 503000 | #Constraints: 27642 2309.07/2316.61 c #Conflicts: 504000 | #Constraints: 28642 2309.07/2316.61 c #Conflicts: 505000 | #Constraints: 29642 2309.07/2316.61 c #Conflicts: 506000 | #Constraints: 30642 2309.07/2316.61 c INPROCESSING 2309.07/2316.61 c GARBAGE COLLECT 2309.07/2316.61 c rational objective 1.28777 2400.55/2408.41 c #Conflicts: 507000 | #Constraints: 16329 2400.55/2408.41 c #Conflicts: 508000 | #Constraints: 17329 2400.55/2408.41 c #Conflicts: 509000 | #Constraints: 18329 2400.55/2408.41 c #Conflicts: 510000 | #Constraints: 19329 2400.55/2408.41 c #Conflicts: 511000 | #Constraints: 20329 2400.55/2408.41 c #Conflicts: 512000 | #Constraints: 21329 2400.55/2408.41 c #Conflicts: 513000 | #Constraints: 22329 2400.55/2408.41 c #Conflicts: 514000 | #Constraints: 23329 2400.55/2408.41 c #Conflicts: 515000 | #Constraints: 24329 2400.55/2408.41 c #Conflicts: 516000 | #Constraints: 25329 2400.55/2408.41 c #Conflicts: 517000 | #Constraints: 26329 2400.55/2408.41 c #Conflicts: 518000 | #Constraints: 27329 2400.55/2408.41 c #Conflicts: 519000 | #Constraints: 28329 2400.55/2408.41 c #Conflicts: 520000 | #Constraints: 29329 2400.55/2408.41 c #Conflicts: 521000 | #Constraints: 30329 2400.55/2408.41 c INPROCESSING 2400.55/2408.41 c GARBAGE COLLECT 2400.55/2408.41 c rational objective 1.28777 2485.58/2493.74 c #Conflicts: 522000 | #Constraints: 15819 2485.58/2493.74 c #Conflicts: 523000 | #Constraints: 16819 2485.58/2493.74 c #Conflicts: 524000 | #Constraints: 17819 2485.58/2493.74 c #Conflicts: 525000 | #Constraints: 18819 2485.58/2493.74 c #Conflicts: 526000 | #Constraints: 19819 2485.58/2493.74 c #Conflicts: 527000 | #Constraints: 20819 2485.58/2493.74 c #Conflicts: 528000 | #Constraints: 21819 2485.58/2493.74 c #Conflicts: 529000 | #Constraints: 22819 2485.58/2493.74 c #Conflicts: 530000 | #Constraints: 23819 2485.58/2493.74 c #Conflicts: 531000 | #Constraints: 24819 2485.58/2493.74 c #Conflicts: 532000 | #Constraints: 25819 2485.58/2493.74 c #Conflicts: 533000 | #Constraints: 26819 2485.58/2493.74 c #Conflicts: 534000 | #Constraints: 27819 2485.58/2493.74 c #Conflicts: 535000 | #Constraints: 28819 2485.58/2493.74 c #Conflicts: 536000 | #Constraints: 29819 2485.58/2493.74 c #Conflicts: 537000 | #Constraints: 30819 2485.58/2493.74 c INPROCESSING 2485.58/2493.74 c GARBAGE COLLECT 2485.58/2493.74 c rational objective 1.28777 2556.01/2564.33 c #Conflicts: 538000 | #Constraints: 16116 2556.01/2564.33 c #Conflicts: 539000 | #Constraints: 17116 2556.01/2564.33 c #Conflicts: 540000 | #Constraints: 18116 2556.01/2564.33 c #Conflicts: 541000 | #Constraints: 19116 2556.01/2564.33 c #Conflicts: 542000 | #Constraints: 20116 2556.01/2564.33 c #Conflicts: 543000 | #Constraints: 21116 2556.01/2564.33 c #Conflicts: 544000 | #Constraints: 22116 2556.01/2564.33 c #Conflicts: 545000 | #Constraints: 23116 2556.01/2564.33 c #Conflicts: 546000 | #Constraints: 24116 2556.01/2564.33 c #Conflicts: 547000 | #Constraints: 25116 2556.01/2564.33 c #Conflicts: 548000 | #Constraints: 26116 2556.01/2564.33 c #Conflicts: 549000 | #Constraints: 27116 2556.01/2564.33 c #Conflicts: 550000 | #Constraints: 28116 2556.01/2564.33 c #Conflicts: 551000 | #Constraints: 29116 2556.01/2564.33 c #Conflicts: 552000 | #Constraints: 30116 2556.01/2564.33 c #Conflicts: 553000 | #Constraints: 31116 2556.01/2564.33 c INPROCESSING 2556.01/2564.33 c GARBAGE COLLECT 2556.01/2564.33 c rational objective 1.28777 2637.80/2646.32 c #Conflicts: 554000 | #Constraints: 16213 2637.80/2646.32 c #Conflicts: 555000 | #Constraints: 17213 2637.80/2646.32 c #Conflicts: 556000 | #Constraints: 18213 2637.80/2646.32 c #Conflicts: 557000 | #Constraints: 19213 2637.80/2646.32 c #Conflicts: 558000 | #Constraints: 20213 2637.80/2646.32 c #Conflicts: 559000 | #Constraints: 21213 2637.80/2646.32 c #Conflicts: 560000 | #Constraints: 22213 2637.80/2646.32 c #Conflicts: 561000 | #Constraints: 23213 2637.80/2646.32 c #Conflicts: 562000 | #Constraints: 24213 2637.80/2646.32 c #Conflicts: 563000 | #Constraints: 25213 2637.80/2646.32 c #Conflicts: 564000 | #Constraints: 26213 2637.80/2646.32 c #Conflicts: 565000 | #Constraints: 27213 2637.80/2646.32 c #Conflicts: 566000 | #Constraints: 28213 2637.80/2646.32 c #Conflicts: 567000 | #Constraints: 29213 2637.80/2646.32 c #Conflicts: 568000 | #Constraints: 30213 2637.80/2646.32 c #Conflicts: 569000 | #Constraints: 31213 2637.80/2646.32 c #Conflicts: 570000 | #Constraints: 32213 2637.80/2646.32 c INPROCESSING 2637.80/2646.32 c GARBAGE COLLECT 2637.80/2646.32 c rational objective 1.28777 2722.29/2731.03 c #Conflicts: 571000 | #Constraints: 17114 2722.29/2731.03 c #Conflicts: 572000 | #Constraints: 18114 2722.29/2731.03 c #Conflicts: 573000 | #Constraints: 19114 2722.29/2731.03 c #Conflicts: 574000 | #Constraints: 20114 2722.29/2731.03 c #Conflicts: 575000 | #Constraints: 21114 2722.29/2731.03 c #Conflicts: 576000 | #Constraints: 22114 2722.29/2731.03 c #Conflicts: 577000 | #Constraints: 23114 2722.29/2731.03 c #Conflicts: 578000 | #Constraints: 24114 2722.29/2731.03 c #Conflicts: 579000 | #Constraints: 25114 2722.29/2731.03 c #Conflicts: 580000 | #Constraints: 26114 2722.29/2731.03 c #Conflicts: 581000 | #Constraints: 27114 2722.29/2731.03 c #Conflicts: 582000 | #Constraints: 28114 2722.29/2731.03 c #Conflicts: 583000 | #Constraints: 29114 2722.29/2731.03 c #Conflicts: 584000 | #Constraints: 30114 2722.29/2731.03 c #Conflicts: 585000 | #Constraints: 31114 2722.29/2731.03 c #Conflicts: 586000 | #Constraints: 32114 2722.29/2731.03 c INPROCESSING 2722.29/2731.03 c GARBAGE COLLECT 2722.29/2731.03 c rational objective 1.28777 2811.34/2820.35 c #Conflicts: 587000 | #Constraints: 16811 2811.34/2820.35 c #Conflicts: 588000 | #Constraints: 17811 2811.34/2820.35 c #Conflicts: 589000 | #Constraints: 18811 2811.34/2820.35 c #Conflicts: 590000 | #Constraints: 19811 2811.34/2820.35 c #Conflicts: 591000 | #Constraints: 20811 2811.34/2820.35 c #Conflicts: 592000 | #Constraints: 21811 2811.34/2820.35 c #Conflicts: 593000 | #Constraints: 22811 2811.34/2820.35 c #Conflicts: 594000 | #Constraints: 23811 2811.34/2820.35 c #Conflicts: 595000 | #Constraints: 24811 2811.34/2820.35 c #Conflicts: 596000 | #Constraints: 25811 2811.34/2820.35 c #Conflicts: 597000 | #Constraints: 26811 2811.34/2820.35 c #Conflicts: 598000 | #Constraints: 27811 2811.34/2820.35 c #Conflicts: 599000 | #Constraints: 28811 2811.34/2820.35 c #Conflicts: 600000 | #Constraints: 29811 2811.34/2820.35 c #Conflicts: 601000 | #Constraints: 30811 2811.34/2820.35 c #Conflicts: 602000 | #Constraints: 31811 2811.34/2820.35 c #Conflicts: 603000 | #Constraints: 32811 2811.34/2820.35 c INPROCESSING 2811.34/2820.35 c GARBAGE COLLECT 2811.34/2820.35 c rational objective 1.28777 3600.00/3611.30 c #Conflicts: 604000 | #Constraints: 17310 3600.00/3611.30 c #Conflicts: 605000 | #Constraints: 18310 3600.00/3611.30 c #Conflicts: 606000 | #Constraints: 19310 3600.00/3611.30 c #Conflicts: 607000 | #Constraints: 20310 3600.00/3611.30 c #Conflicts: 608000 | #Constraints: 21310 3600.00/3611.30 c #Conflicts: 609000 | #Constraints: 22310 3600.00/3611.30 c #Conflicts: 610000 | #Constraints: 23310 3600.00/3611.30 c #Conflicts: 611000 | #Constraints: 24310 3600.00/3611.30 c #Conflicts: 612000 | #Constraints: 25310 3600.00/3611.30 c #Conflicts: 613000 | #Constraints: 26310 3600.00/3611.30 c #Conflicts: 614000 | #Constraints: 27310 3600.00/3611.30 c #Conflicts: 615000 | #Constraints: 28310 3600.00/3611.30 c #Conflicts: 616000 | #Constraints: 29310 3600.00/3611.30 c #Conflicts: 617000 | #Constraints: 30310 3600.00/3611.30 c #Conflicts: 618000 | #Constraints: 31310 3600.00/3611.30 c #Conflicts: 619000 | #Constraints: 32310 3600.00/3611.30 c #Conflicts: 620000 | #Constraints: 33310 3600.00/3611.30 c #Conflicts: 621000 | #Constraints: 34310 3600.00/3611.30 c #Conflicts: 622000 | #Constraints: 35310 3600.00/3611.30 c #Conflicts: 623000 | #Constraints: 36310 3600.00/3611.30 c #Conflicts: 624000 | #Constraints: 37310 3600.00/3611.30 c #Conflicts: 625000 | #Constraints: 38310 3600.00/3611.30 c #Conflicts: 626000 | #Constraints: 39310 3600.00/3611.30 c #Conflicts: 627000 | #Constraints: 40310 3600.00/3611.30 c #Conflicts: 628000 | #Constraints: 41310 3600.00/3611.30 c #Conflicts: 629000 | #Constraints: 42310 3600.00/3611.30 c #Conflicts: 630000 | #Constraints: 43310 3600.00/3611.30 c #Conflicts: 631000 | #Constraints: 44310 3600.00/3611.30 c #Conflicts: 632000 | #Constraints: 45310 3600.00/3611.30 c #Conflicts: 633000 | #Constraints: 46310 3600.00/3611.30 c #Conflicts: 634000 | #Constraints: 47310 3600.00/3611.30 c #Conflicts: 635000 | #Constraints: 48310 3600.00/3611.30 c #Conflicts: 636000 | #Constraints: 49310 3600.00/3611.30 c #Conflicts: 637000 | #Constraints: 50310 3600.00/3611.30 c #Conflicts: 638000 | #Constraints: 51310 3600.00/3611.30 c #Conflicts: 639000 | #Constraints: 52310 3600.00/3611.30 c #Conflicts: 640000 | #Constraints: 53310 3600.00/3611.30 c #Conflicts: 641000 | #Constraints: 54310 3600.00/3611.30 c #Conflicts: 642000 | #Constraints: 55310 3600.00/3611.30 c #Conflicts: 643000 | #Constraints: 56310 3600.00/3611.30 c #Conflicts: 644000 | #Constraints: 57310 3600.00/3611.30 c #Conflicts: 645000 | #Constraints: 58310 3600.00/3611.30 c #Conflicts: 646000 | #Constraints: 59310 3600.00/3611.30 c #Conflicts: 647000 | #Constraints: 60310 3600.00/3611.30 c #Conflicts: 648000 | #Constraints: 61310 3600.00/3611.30 c #Conflicts: 649000 | #Constraints: 62310 3600.00/3611.30 c #Conflicts: 650000 | #Constraints: 63310 3600.00/3611.30 c #Conflicts: 651000 | #Constraints: 64310 3600.00/3611.30 c #Conflicts: 652000 | #Constraints: 65310 3600.00/3611.30 c #Conflicts: 653000 | #Constraints: 66310 3600.00/3611.30 c #Conflicts: 654000 | #Constraints: 67310 3600.00/3611.30 c #Conflicts: 655000 | #Constraints: 68310 3600.00/3611.30 c #Conflicts: 656000 | #Constraints: 69310 3600.00/3611.30 c #Conflicts: 657000 | #Constraints: 70310 3600.00/3611.30 c #Conflicts: 658000 | #Constraints: 71310 3600.00/3611.30 c #Conflicts: 659000 | #Constraints: 72310 3600.00/3611.30 c #Conflicts: 660000 | #Constraints: 73310 3600.00/3611.30 c #Conflicts: 661000 | #Constraints: 74310 3600.00/3611.30 c #Conflicts: 662000 | #Constraints: 75310 3600.00/3611.30 c #Conflicts: 663000 | #Constraints: 76310 3600.00/3611.30 c #Conflicts: 664000 | #Constraints: 77310 3600.00/3611.30 c Program interrupted by user. 3600.00/3611.35 c cpu time 3580.61 s 3600.00/3611.35 c deterministic time 493322566302 4.93e+11 3600.00/3611.35 c optimization time 786.825 s 3600.00/3611.35 c total solve time 2793.78 s 3600.00/3611.35 c core-guided solve time 0 s 3600.00/3611.35 c propagation time 3350.71 s 3600.00/3611.35 c conflict analysis time 210.773 s 3600.00/3611.35 c propagations 6734902 3600.00/3611.35 c resolve steps 1878991 3600.00/3611.35 c decisions 5562106 3600.00/3611.35 c conflicts 664385 3600.00/3611.35 c restarts 1431 3600.00/3611.35 c inprocessing phases 52 3600.00/3611.35 c input clauses 0 3600.00/3611.35 c input cardinalities 0 3600.00/3611.35 c input general constraints 2 3600.00/3611.35 c input average constraint length 70.00 3600.00/3611.35 c input average constraint degree 388008603.50 3600.00/3611.35 c learned clauses 349467 3600.00/3611.35 c learned cardinalities 0 3600.00/3611.35 c learned general constraints 314921 3600.00/3611.35 c learned average constraint length 49.79 3600.00/3611.35 c learned average constraint degree 63665075.28 3600.00/3611.35 c watched constraints 192269 3600.00/3611.35 c counting constraints 122654 3600.00/3611.35 c gcd simplifications 361281 3600.00/3611.35 c detected cardinalities 0 3600.00/3611.35 c weakened non-implied lits 1159117 3600.00/3611.35 c weakened non-implying lits 5672528 3600.00/3611.35 c original variables 70 3600.00/3611.35 c clausal propagations 568755 3600.00/3611.35 c cardinality propagations 0 3600.00/3611.35 c watched propagations 2906003 3600.00/3611.35 c counting propagations 2828324 3600.00/3611.35 c watch lookups 84015205097 3600.00/3611.35 c watch backjump lookups 83749778290 3600.00/3611.35 c watch checks 11207217089 3600.00/3611.35 c propagation checks 314170462469 3600.00/3611.35 c constraint additions 154034558 3600.00/3611.35 c trail pops 12961333 3600.00/3611.35 c formula constraints 2 3600.00/3611.35 c learned constraints 664382 3600.00/3611.35 c bound constraints 0 3600.00/3611.35 c core-guided constraints 0 3600.00/3611.35 c encountered formula constraints 1455382 3600.00/3611.35 c encountered learned constraints 1087989 3600.00/3611.35 c encountered bound constraints 0 3600.00/3611.35 c encountered core-guided constraints 0 3600.00/3611.35 c LP total time 29.4442 s 3600.00/3611.35 c LP solve time 23.52 s 3600.00/3611.35 c LP constraints added 12 3600.00/3611.35 c LP constraints removed 6 3600.00/3611.35 c LP pivots internal 610141 3600.00/3611.35 c LP pivots root 316 3600.00/3611.35 c LP calls 506494 3600.00/3611.35 c LP optimalities 506491 3600.00/3611.35 c LP no pivot count 173874 3600.00/3611.35 c LP infeasibilities 3 3600.00/3611.35 c LP valid Farkas constraints 3 3600.00/3611.35 c LP learned Farkas constraints 3 3600.00/3611.35 c LP basis resets 0 3600.00/3611.35 c LP cycling count 0 3600.00/3611.35 c LP singular count 0 3600.00/3611.35 c LP no primal count 0 3600.00/3611.35 c LP no farkas count 0 3600.00/3611.35 c LP other issue count 0 3600.00/3611.35 c LP Gomory cuts 0 3600.00/3611.35 c LP learned cuts 10 3600.00/3611.35 c LP deleted cuts 6 3600.00/3611.35 c LP encountered Gomory constraints 0 3600.00/3611.35 c LP encountered Farkas constraints 2 3600.00/3611.35 c LP encountered learned Farkas constraints 0 3600.00/3611.35 c CG auxiliary variables introduced 0 3600.00/3611.35 c CG solutions found 0 3600.00/3611.35 c CG cores constructed 0 3600.00/3611.35 c CG core cardinality constraints returned 0 3600.00/3611.35 c CG unit cores 0 3600.00/3611.35 c CG single cores 0 3600.00/3611.35 c CG blocks removed during cardinality reduction 0 3600.00/3611.35 c CG first core best 0 3600.00/3611.35 c CG decision core best 0 3600.00/3611.35 c CG core reduction tie 0 3600.00/3611.35 c CG core degree average 0.00 3600.00/3611.35 c CG core slack average 0.00 3600.00/3611.35 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 (49611 MiB free)
memory of node 1: 64510 MiB (58829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460524-1722065972/watcher-4460524-1722065972 -o /tmp/evaluation-result-4460524-1722065972/solver-4460524-1722065972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722064836-317472 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460524-1722065972 --lp-cut-gomory=0 HOME/instance-4460524-1722065972.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=320357, runsolver pid=320354
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.09 4.03 2.99 5/260 320358
/proc/meminfo: memFree=111041176/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=38028 memory=8488 CPUtime=0.09 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 483 0 0 0 8 1 0 0 20 0 1 0 43126487 38940672 2122 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 9507 2122 1822 992 0 1365 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38028 KiB
Current children cumulated memory: 8488 KiB
[startup+0.205776 s]*
/proc/loadavg: 4.09 4.03 2.99 5/260 320358
/proc/meminfo: memFree=111040336/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=38160 memory=8752 CPUtime=0.2 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 589 0 0 0 18 2 0 0 20 0 1 0 43126487 39075840 2188 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 9540 2188 1822 992 0 1398 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38160 KiB
Current children cumulated memory: 8752 KiB
[startup+0.305767 s]*
/proc/loadavg: 4.09 4.03 2.99 5/260 320358
/proc/meminfo: memFree=111038880/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=38292 memory=9016 CPUtime=0.3 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 642 0 0 0 27 3 0 0 20 0 1 0 43126487 39211008 2254 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 9573 2254 1822 992 0 1431 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 9016 KiB
[startup+0.700241 s]
/proc/loadavg: 4.09 4.03 2.99 5/260 320358
/proc/meminfo: memFree=111035708/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=38676 memory=9548 CPUtime=0.69 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 789 0 0 0 61 8 0 0 20 0 1 0 43126487 39604224 2387 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 9669 2387 1822 992 0 1527 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38676 KiB
Current children cumulated memory: 9548 KiB
[startup+1.50023 s]
/proc/loadavg: 4.09 4.03 2.99 5/260 320358
/proc/meminfo: memFree=111020348/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=38948 memory=12124 CPUtime=1.48 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 907 0 0 0 136 12 0 0 20 0 1 0 43126487 39882752 3031 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 9737 3031 1822 992 0 1595 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 12124 KiB
[startup+3.10575 s]
/proc/loadavg: 4.08 4.03 3.00 5/260 320358
/proc/meminfo: memFree=111004860/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=39772 memory=13060 CPUtime=3.09 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 1093 0 0 0 290 19 0 0 20 0 1 0 43126487 40726528 3265 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 9943 3265 1854 992 0 1801 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39772 KiB
Current children cumulated memory: 13060 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 4.03 3.00 5/260 320359
/proc/meminfo: memFree=110967576/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=40092 memory=13372 CPUtime=6.27 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 1175 0 0 0 596 31 0 0 20 0 1 0 43126487 41054208 3343 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 10023 3343 1854 992 0 1881 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13372 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.03 3.01 5/260 320359
/proc/meminfo: memFree=110921012/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=41120 memory=14272 CPUtime=12.66 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 1393 0 0 0 1215 51 0 0 20 0 1 0 43126487 42106880 3568 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 10280 3568 1854 992 0 2138 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14272 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.03 3.02 5/260 320361
/proc/meminfo: memFree=110879144/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=41360 memory=15000 CPUtime=25.42 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 1582 0 0 0 2462 80 0 0 20 0 1 0 43126487 42352640 3750 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 10340 3750 1854 992 0 2198 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 15000 KiB
[startup+51.1058 s]
/proc/loadavg: 4.17 4.06 3.05 5/262 320370
/proc/meminfo: memFree=110779624/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=52920 memory=21916 CPUtime=50.96 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 3331 0 0 0 4977 119 0 0 20 0 1 0 43126487 54190080 5479 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 13230 5479 1854 992 0 5088 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 52920 KiB
Current children cumulated memory: 21916 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.06 3.12 5/262 320380
/proc/meminfo: memFree=110354920/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=53120 memory=24808 CPUtime=102.02 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 3541 0 0 0 10016 186 0 0 20 0 1 0 43126487 54394880 6202 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 13280 6202 1854 992 0 5138 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 53120 KiB
Current children cumulated memory: 24808 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.06 3.18 5/260 320390
/proc/meminfo: memFree=109494800/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=57656 memory=30064 CPUtime=161.85 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 4425 0 0 0 15941 244 0 0 20 0 1 0 43126487 59039744 7516 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 14414 7516 1854 992 0 6272 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 57656 KiB
Current children cumulated memory: 30064 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.06 3.24 5/259 320401
/proc/meminfo: memFree=109014592/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=57656 memory=30064 CPUtime=221.69 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 4443 0 0 0 21863 306 0 0 20 0 1 0 43126487 59039744 7516 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 14414 7516 1854 992 0 6272 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 57656 KiB
Current children cumulated memory: 30064 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.08 3.30 5/259 320413
/proc/meminfo: memFree=108487708/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=65860 memory=34092 CPUtime=281.51 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 4985 0 0 0 27801 350 0 0 20 0 1 0 43126487 67440640 8523 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 16465 8523 1854 992 0 8323 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 65860 KiB
Current children cumulated memory: 34092 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 3.35 5/259 320423
/proc/meminfo: memFree=107862496/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=66308 memory=37272 CPUtime=341.35 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 5423 0 0 0 33747 388 0 0 20 0 1 0 43126487 67899392 9318 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 16577 9318 1854 992 0 8435 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 66308 KiB
Current children cumulated memory: 37272 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.11 3.41 5/257 320433
/proc/meminfo: memFree=107291768/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=66516 memory=37304 CPUtime=401.19 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 5541 0 0 0 39683 436 0 0 20 0 1 0 43126487 68112384 9326 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 16629 9326 1854 992 0 8487 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 66516 KiB
Current children cumulated memory: 37304 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.12 3.46 5/257 320444
/proc/meminfo: memFree=106658480/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=66516 memory=37304 CPUtime=461.03 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 5552 0 0 0 45611 492 0 0 20 0 1 0 43126487 68112384 9326 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 16629 9326 1854 992 0 8487 0
################
# More data... #
################
Current children cumulated memory: 57176 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/261 322261
/proc/meminfo: memFree=123564812/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=89760 memory=57176 CPUtime=2913.06 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 9152 0 0 0 289495 1811 0 0 20 0 1 0 43126487 91914240 14294 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 22440 14294 1854 992 0 14298 0
Current children cumulated CPU time: 2913.06 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 57176 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.12 4.08 5/261 322271
/proc/meminfo: memFree=123494796/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=89760 memory=57176 CPUtime=2972.89 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 9175 0 0 0 295461 1828 0 0 20 0 1 0 43126487 91914240 14294 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 22440 14294 1854 992 0 14298 0
Current children cumulated CPU time: 2972.89 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 57176 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 322339
/proc/meminfo: memFree=123415744/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=89760 memory=57180 CPUtime=3032.69 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 9198 0 0 0 301423 1846 0 0 20 0 1 0 43126487 91914240 14295 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 22440 14295 1854 992 0 14298 0
Current children cumulated CPU time: 3032.69 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 57180 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/261 322351
/proc/meminfo: memFree=123344556/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=89760 memory=57180 CPUtime=3092.5 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 9222 0 0 0 307390 1860 0 0 20 0 1 0 43126487 91914240 14295 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 22440 14295 1854 992 0 14298 0
Current children cumulated CPU time: 3092.5 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 57180 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 322361
/proc/meminfo: memFree=123192496/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=90144 memory=57272 CPUtime=3152.32 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 9282 0 0 0 313361 1871 0 0 20 0 1 0 43126487 92307456 14318 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 22536 14318 1854 992 0 14394 0
Current children cumulated CPU time: 3152.32 s
Current children cumulated vsize: 90144 KiB
Current children cumulated memory: 57272 KiB
[startup+3222.3 s]
/proc/loadavg: 4.32 4.15 4.10 5/262 322372
/proc/meminfo: memFree=123110360/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=90912 memory=59752 CPUtime=3212.14 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 9417 0 0 0 319333 1881 0 0 20 0 1 0 43126487 93093888 14938 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 22728 14938 1854 992 0 14586 0
Current children cumulated CPU time: 3212.14 s
Current children cumulated vsize: 90912 KiB
Current children cumulated memory: 59752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.20 4.12 5/260 322383
/proc/meminfo: memFree=123027368/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=92192 memory=62452 CPUtime=3271.97 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 9625 0 0 0 325305 1892 0 0 20 0 1 0 43126487 94404608 15613 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 23048 15613 1854 992 0 14906 0
Current children cumulated CPU time: 3271.97 s
Current children cumulated vsize: 92192 KiB
Current children cumulated memory: 62452 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/260 322393
/proc/meminfo: memFree=122940476/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=92448 memory=62656 CPUtime=3331.78 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 9692 0 0 0 331277 1901 0 0 20 0 1 0 43126487 94666752 15664 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 23112 15664 1854 992 0 14970 0
Current children cumulated CPU time: 3331.78 s
Current children cumulated vsize: 92448 KiB
Current children cumulated memory: 62656 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/259 322452
/proc/meminfo: memFree=123047032/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=92960 memory=64996 CPUtime=3391.58 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 9830 0 0 0 337246 1912 0 0 20 0 1 0 43126487 95191040 16249 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 23240 16249 1854 992 0 15098 0
Current children cumulated CPU time: 3391.58 s
Current children cumulated vsize: 92960 KiB
Current children cumulated memory: 64996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/259 322463
/proc/meminfo: memFree=122633220/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=93472 memory=66832 CPUtime=3451.42 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 9905 0 0 0 343223 1919 0 0 20 0 1 0 43126487 95715328 16708 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 23368 16708 1854 992 0 15226 0
Current children cumulated CPU time: 3451.42 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 66832 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.17 4.12 5/259 322473
/proc/meminfo: memFree=122364076/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=112952 memory=68192 CPUtime=3511.26 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 10319 0 0 0 349200 1926 0 0 20 0 1 0 43126487 115662848 17048 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 28238 17048 1854 992 0 20096 0
Current children cumulated CPU time: 3511.26 s
Current children cumulated vsize: 112952 KiB
Current children cumulated memory: 68192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/259 322483
/proc/meminfo: memFree=122123200/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=114488 memory=72084 CPUtime=3571.09 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 10760 0 0 0 355173 1936 0 0 20 0 1 0 43126487 117235712 18021 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 28622 18021 1854 992 0 20480 0
Current children cumulated CPU time: 3571.09 s
Current children cumulated vsize: 114488 KiB
Current children cumulated memory: 72084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/259 322488
/proc/meminfo: memFree=122028356/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=115000 memory=72232 CPUtime=3600 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 10837 0 0 0 358060 1940 0 0 20 0 1 0 43126487 117760000 18058 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 28750 18058 1854 992 0 20608 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 115000 KiB
Current children cumulated memory: 72232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.35 s]
# the end of solver process 320357 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.61 s, system=19.4069 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/259 322488
/proc/meminfo: memFree=122028356/131524600 swapFree=131053920/131071996
[pid=320357] ppid=320354 vsize=115000 memory=72232 CPUtime=3600 cores=5,7
/proc/320357/stat : 320357 (roundingsat) R 320354 320357 317459 0 -1 4194304 10837 0 0 0 358060 1940 0 0 20 0 1 0 43126487 117760000 18058 134679101440 4194304 8254357 140729769934224 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13885440 140729769939803 140729769940065 140729769940065 140729769947081 0
/proc/320357/statm: 28750 18058 1854 992 0 20608 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 115000 KiB
Current children cumulated memory: 72232 KiB
Child status: 0
Real time (s): 3611.35
CPU time (s): 3600.01
CPU user time (s): 3580.61
CPU system time (s): 19.4069
CPU usage (%): 99.6861
Max. virtual memory (cumulated for all children) (KiB): 115000
Max. memory (cumulated for all children) (KiB): 72232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.61
system time used= 19.4069
maximum resident set size= 72232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10852
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1282512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 5037
# summary of solver processes directly reported to runsolver:
# pid: 320357
# total CPU time (s): 3600.01
# total CPU user time (s): 3580.61
# total CPU system time (s): 19.4069
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93142 second user time and 19.0808 second system time
The end
Begin job on nodeC023 at 2024-07-27 09:39:32 IDJOB=4460524 IDBENCH=148100 IDSOLVER=3086 FILE ID=nodeC023/4460524-1722065972 RUNJOBID= nodeC023-1722064836-317472 SLURM_JOB_ID= 8248092 Free space on /tmp= 890056 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-4460524-1722065972/watcher-4460524-1722065972 -o /tmp/evaluation-result-4460524-1722065972/solver-4460524-1722065972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722064836-317472 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460524-1722065972 --lp-cut-gomory=0 HOME/instance-4460524-1722065972.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e RANDOM SEED=2014985069 nodeC023.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 : 3651.048 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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.735 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.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.359 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.317 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.10 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 : 3651.183 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3657.250 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.10 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 : 3600.110 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3660.474 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.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 111043952 kB MemAvailable: 127075684 kB Buffers: 364624 kB Cached: 16451136 kB SwapCached: 208 kB Active: 1700332 kB Inactive: 18076024 kB Active(anon): 2368 kB Inactive(anon): 3010152 kB Active(file): 1697964 kB Inactive(file): 15065872 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131053920 kB Dirty: 188304 kB Writeback: 0 kB AnonPages: 2959020 kB Mapped: 104728 kB Shmem: 52148 kB KReclaimable: 215084 kB Slab: 341012 kB SReclaimable: 215084 kB SUnreclaim: 125928 kB KernelStack: 4208 kB PageTables: 15608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3547908 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 1933312 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: 410324 kB DirectMap2M: 61229056 kB DirectMap1G: 74448896 kB Free space on /tmp at the end= 890052 MiB End job on nodeC023 at 2024-07-27 10:39:44