| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 480.72 | 482.164 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.u.opb |
| MD5SUM | 84d6a262f1f6531f4a7714720272edd7 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 56.7591 |
| 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 | 12675 |
| Total number of constraints | 11891 |
| Number of constraints which are clauses | 11766 |
| Number of constraints which are cardinality constraints (but not clauses) | 124 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11734 |
| 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 | 1285216 |
| Number of bits of the biggest number in a constraint | 21 |
| Biggest sum of numbers in a constraint | 501285383 |
| Number of bits of the biggest sum of numbers | 29 |
| 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 SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4515177-1751233444.opb>
0.00/0.04 c original problem has 12675 variables (12675 bin, 0 int, 0 cont) and 11891 constraints
0.00/0.04 c problem read in 0.041 seconds
0.00/0.04 c problem without objective
0.00/0.08 c presolving:
0.09/0.11 c (round 1, fast) 32 del vars, 32 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 11858 clqs
0.09/0.15 c (0.1s) running MILP presolver
0.09/0.19 c (0.2s) MILP presolver found nothing
0.30/0.31 c (round 2, exhaustive) 32 del vars, 32 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11859 upgd conss, 0 impls, 11858 clqs
3.47/3.58 c (3.6s) probing: 1000/12643 (7.9%) - 0 fixings, 0 aggregations, 523546 implications, 0 bound changes
3.47/3.58 c (3.6s) probing: 1001/12643 (7.9%) - 0 fixings, 0 aggregations, 523580 implications, 0 bound changes
3.47/3.58 c (3.6s) probing aborted: 1000/1000 successive useless probings
3.58/3.66 c (3.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.68/3.73 c (3.7s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 1013.11) (symcode time: 0.06)
3.99/4.02 c dynamic symmetry handling statistics:
3.99/4.02 c orbitopal reduction: no components
3.99/4.02 c orbital reduction: no components
3.99/4.02 c lexicographic reduction: 18 permutations with support sizes 16, 16, 20, 16, 16, 16, 16, 16, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20
3.99/4.02 c handled 1496 out of 1496 symmetry components
3.99/4.03 c (round 3, exhaustive) 41 del vars, 32 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11859 upgd conss, 0 impls, 60003 clqs
4.09/4.12 c (round 4, exhaustive) 41 del vars, 41 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60003 clqs
4.48/4.55 c (round 5, exhaustive) 66 del vars, 41 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59838 clqs
4.48/4.55 c (round 6, fast) 66 del vars, 91 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59838 clqs
5.18/5.24 c (round 7, exhaustive) 92 del vars, 92 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59605 clqs
5.18/5.25 c (round 8, fast) 92 del vars, 142 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59605 clqs
5.87/6.00 c (round 9, exhaustive) 120 del vars, 145 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59541 clqs
5.98/6.00 c (round 10, fast) 120 del vars, 195 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59541 clqs
6.77/6.86 c (round 11, exhaustive) 153 del vars, 203 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59629 clqs
6.77/6.87 c (round 12, fast) 153 del vars, 253 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59629 clqs
7.57/7.60 c (round 13, exhaustive) 182 del vars, 257 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59580 clqs
7.57/7.61 c (round 14, fast) 182 del vars, 307 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59580 clqs
8.17/8.27 c (round 15, exhaustive) 213 del vars, 313 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59573 clqs
8.17/8.27 c (round 16, fast) 213 del vars, 363 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59573 clqs
8.97/9.05 c (round 17, exhaustive) 245 del vars, 370 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59636 clqs
8.97/9.05 c (round 18, fast) 245 del vars, 420 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59636 clqs
9.76/9.87 c (round 19, exhaustive) 275 del vars, 425 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59595 clqs
9.76/9.88 c (round 20, fast) 275 del vars, 475 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59595 clqs
10.76/10.86 c (round 21, exhaustive) 306 del vars, 481 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59727 clqs
10.76/10.87 c (round 22, fast) 306 del vars, 531 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59727 clqs
11.56/11.60 c (round 23, exhaustive) 335 del vars, 535 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59651 clqs
11.56/11.61 c (round 24, fast) 335 del vars, 585 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59651 clqs
12.06/12.13 c (12.1s) probing: 2000/12643 (15.8%) - 268 fixings, 0 aggregations, 2093277 implications, 0 bound changes
12.25/12.32 c (round 25, exhaustive) 368 del vars, 593 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59742 clqs
12.25/12.33 c (round 26, fast) 368 del vars, 643 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59742 clqs
12.96/13.08 c (round 27, exhaustive) 398 del vars, 648 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59682 clqs
12.96/13.09 c (round 28, fast) 398 del vars, 698 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59682 clqs
13.55/13.65 c (round 29, exhaustive) 430 del vars, 705 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs
13.55/13.65 c (round 30, fast) 430 del vars, 755 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs
14.25/14.32 c (round 31, exhaustive) 458 del vars, 758 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59771 clqs
14.25/14.32 c (round 32, fast) 458 del vars, 808 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59771 clqs
14.85/14.90 c (round 33, exhaustive) 488 del vars, 813 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59717 clqs
14.85/14.90 c (round 34, fast) 488 del vars, 863 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59717 clqs
15.54/15.61 c (round 35, exhaustive) 520 del vars, 870 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59915 clqs
15.54/15.61 c (round 36, fast) 520 del vars, 920 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59915 clqs
16.24/16.32 c (round 37, exhaustive) 548 del vars, 923 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs
16.24/16.32 c (round 38, fast) 548 del vars, 973 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs
16.94/17.05 c (round 39, exhaustive) 576 del vars, 976 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59900 clqs
16.94/17.05 c (round 40, fast) 576 del vars, 1026 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59900 clqs
17.64/17.77 c (round 41, exhaustive) 605 del vars, 1030 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59772 clqs
17.64/17.77 c (round 42, fast) 605 del vars, 1080 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59772 clqs
18.33/18.49 c (round 43, exhaustive) 637 del vars, 1087 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs
18.33/18.49 c (round 44, fast) 637 del vars, 1137 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs
19.23/19.39 c (round 45, exhaustive) 663 del vars, 1138 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59923 clqs
19.23/19.39 c (round 46, fast) 663 del vars, 1188 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59923 clqs
19.93/20.06 c (20.1s) probing: 3000/12643 (23.7%) - 546 fixings, 0 aggregations, 3547372 implications, 0 bound changes
20.03/20.13 c (round 47, exhaustive) 693 del vars, 1193 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59847 clqs
20.03/20.14 c (round 48, fast) 693 del vars, 1243 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59847 clqs
20.73/20.81 c (round 49, exhaustive) 725 del vars, 1250 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59884 clqs
20.73/20.81 c (round 50, fast) 725 del vars, 1300 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59884 clqs
21.32/21.49 c (round 51, exhaustive) 756 del vars, 1306 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60023 clqs
21.42/21.50 c (round 52, fast) 756 del vars, 1356 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60023 clqs
22.22/22.32 c (round 53, exhaustive) 786 del vars, 1361 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs
22.22/22.32 c (round 54, fast) 786 del vars, 1411 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs
22.82/22.94 c (round 55, exhaustive) 818 del vars, 1418 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59922 clqs
22.82/22.95 c (round 56, fast) 818 del vars, 1468 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59922 clqs
23.72/23.85 c (round 57, exhaustive) 849 del vars, 1474 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59888 clqs
23.72/23.86 c (round 58, fast) 849 del vars, 1524 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59888 clqs
24.41/24.55 c (round 59, exhaustive) 881 del vars, 1531 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59904 clqs
24.41/24.56 c (round 60, fast) 881 del vars, 1581 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59904 clqs
25.31/25.41 c (round 61, exhaustive) 915 del vars, 1590 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs
25.31/25.42 c (round 62, fast) 915 del vars, 1640 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs
26.11/26.21 c (round 63, exhaustive) 947 del vars, 1647 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59914 clqs
26.11/26.22 c (round 64, fast) 947 del vars, 1697 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59914 clqs
26.81/26.93 c (round 65, exhaustive) 981 del vars, 1706 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
26.81/26.94 c (round 66, fast) 981 del vars, 1756 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
27.50/27.68 c (round 67, exhaustive) 1010 del vars, 1760 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
27.50/27.69 c (round 68, fast) 1010 del vars, 1810 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
27.91/28.04 c (28.0s) probing: 4000/12643 (31.6%) - 811 fixings, 0 aggregations, 5066131 implications, 0 bound changes
28.10/28.29 c (round 69, exhaustive) 1042 del vars, 1817 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs
28.20/28.30 c (round 70, fast) 1042 del vars, 1867 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs
28.80/28.98 c (round 71, exhaustive) 1071 del vars, 1871 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59898 clqs
28.80/28.99 c (round 72, fast) 1071 del vars, 1921 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59898 clqs
29.50/29.61 c (round 73, exhaustive) 1105 del vars, 1930 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
29.50/29.61 c (round 74, fast) 1105 del vars, 1980 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
30.19/30.38 c (round 75, exhaustive) 1135 del vars, 1985 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60106 clqs
30.19/30.38 c (round 76, fast) 1135 del vars, 2035 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60106 clqs
30.99/31.14 c (round 77, exhaustive) 1166 del vars, 2041 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59985 clqs
30.99/31.15 c (round 78, fast) 1166 del vars, 2091 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59985 clqs
31.59/31.72 c (round 79, exhaustive) 1200 del vars, 2100 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs
31.59/31.72 c (round 80, fast) 1200 del vars, 2150 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs
32.18/32.35 c (round 81, exhaustive) 1231 del vars, 2156 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60225 clqs
32.18/32.36 c (round 82, fast) 1231 del vars, 2206 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60225 clqs
32.78/32.98 c (round 83, exhaustive) 1258 del vars, 2208 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60126 clqs
32.78/32.99 c (round 84, fast) 1258 del vars, 2258 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60126 clqs
33.38/33.57 c (round 85, exhaustive) 1287 del vars, 2262 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60036 clqs
33.38/33.58 c (round 86, fast) 1287 del vars, 2312 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60036 clqs
34.28/34.44 c (round 87, exhaustive) 1318 del vars, 2318 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60122 clqs
34.28/34.44 c (round 88, fast) 1318 del vars, 2368 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60122 clqs
34.98/35.14 c (round 89, exhaustive) 1345 del vars, 2370 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60214 clqs
34.98/35.15 c (round 90, fast) 1345 del vars, 2420 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60214 clqs
35.77/35.94 c (35.9s) probing: 5000/12643 (39.5%) - 1099 fixings, 0 aggregations, 6549713 implications, 0 bound changes
35.77/35.95 c (round 91, exhaustive) 1373 del vars, 2423 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60217 clqs
35.77/35.96 c (round 92, fast) 1373 del vars, 2473 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60217 clqs
36.37/36.52 c (round 93, exhaustive) 1403 del vars, 2478 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60099 clqs
36.37/36.53 c (round 94, fast) 1403 del vars, 2528 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60099 clqs
37.17/37.31 c (round 95, exhaustive) 1434 del vars, 2534 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60148 clqs
37.17/37.32 c (round 96, fast) 1434 del vars, 2584 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60148 clqs
37.87/38.02 c (round 97, exhaustive) 1467 del vars, 2592 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60109 clqs
37.87/38.02 c (round 98, fast) 1467 del vars, 2642 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60109 clqs
37.97/38.11 c (round 99, exhaustive) 1475 del vars, 2651 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59906 clqs
38.56/38.75 c (round 100, exhaustive) 1500 del vars, 2651 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60130 clqs
38.56/38.76 c (round 101, fast) 1500 del vars, 2701 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60130 clqs
39.26/39.45 c (round 102, exhaustive) 1530 del vars, 2706 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs
39.26/39.46 c (round 103, fast) 1530 del vars, 2756 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs
39.76/39.98 c (round 104, exhaustive) 1563 del vars, 2764 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60101 clqs
39.76/39.99 c (round 105, fast) 1563 del vars, 2814 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60101 clqs
40.55/40.70 c (round 106, exhaustive) 1596 del vars, 2822 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60162 clqs
40.55/40.70 c (round 107, fast) 1596 del vars, 2872 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60162 clqs
41.15/41.36 c (round 108, exhaustive) 1627 del vars, 2878 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60144 clqs
41.15/41.37 c (round 109, fast) 1627 del vars, 2928 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60144 clqs
41.85/42.04 c (round 110, exhaustive) 1660 del vars, 2936 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60151 clqs
41.85/42.04 c (round 111, fast) 1660 del vars, 2986 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60151 clqs
42.35/42.58 c (round 112, exhaustive) 1691 del vars, 2992 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60201 clqs
42.35/42.59 c (round 113, fast) 1691 del vars, 3042 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60201 clqs
42.95/43.18 c (round 114, exhaustive) 1724 del vars, 3050 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60246 clqs
42.95/43.19 c (round 115, fast) 1724 del vars, 3100 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60246 clqs
43.24/43.48 c (43.5s) probing: 6000/12643 (47.5%) - 1385 fixings, 0 aggregations, 7953242 implications, 0 bound changes
43.64/43.81 c (round 116, exhaustive) 1753 del vars, 3104 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60310 clqs
43.64/43.82 c (round 117, fast) 1753 del vars, 3154 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60310 clqs
44.34/44.54 c (round 118, exhaustive) 1781 del vars, 3157 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60249 clqs
44.34/44.55 c (round 119, fast) 1781 del vars, 3207 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60249 clqs
45.24/45.42 c (round 120, exhaustive) 1810 del vars, 3211 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60309 clqs
45.24/45.43 c (round 121, fast) 1810 del vars, 3261 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60309 clqs
47.13/47.32 c (round 122, exhaustive) 1839 del vars, 3266 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60382 clqs
47.13/47.33 c (round 123, fast) 1839 del vars, 3305 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60382 clqs
49.32/49.50 c (49.5s) probing: 7000/12643 (55.4%) - 1492 fixings, 0 aggregations, 8824424 implications, 0 bound changes
50.51/50.71 c (round 124, exhaustive) 1870 del vars, 3311 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60508 clqs
50.51/50.72 c (round 125, fast) 1870 del vars, 3346 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60508 clqs
57.69/57.98 c (58.0s) probing: 8000/12643 (63.3%) - 1516 fixings, 0 aggregations, 9689902 implications, 0 bound changes
66.16/66.49 c (66.5s) probing: 8765/12643 (69.3%) - 1516 fixings, 0 aggregations, 10672439 implications, 0 bound changes
66.16/66.49 c (66.5s) probing aborted: 1000/1000 successive useless probings
66.16/66.49 c (round 126, exhaustive) 1889 del vars, 3350 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60799 clqs
66.16/66.49 c (round 127, fast) 1889 del vars, 3364 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60799 clqs
67.25/67.51 c (67.5s) probing: 8865/12643 (70.1%) - 1516 fixings, 0 aggregations, 10803770 implications, 0 bound changes
67.25/67.51 c (67.5s) probing aborted: 1000/1000 successive useless probings
67.25/67.53 c presolving (128 rounds: 128 fast, 66 medium, 66 exhaustive):
67.25/67.53 c 1889 deleted vars, 3364 deleted constraints, 1480 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
67.25/67.53 c 0 implications, 60830 cliques
67.25/67.53 c presolved problem has 10786 variables (10786 bin, 0 int, 0 cont) and 10007 constraints
67.25/67.53 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
67.25/67.53 c 1 constraints of type <knapsack>
67.25/67.53 c 10001 constraints of type <setppc>
67.25/67.53 c 5 constraints of type <orbitope_pp>
67.25/67.53 c transformed objective value is always integral (scale: 1)
67.25/67.53 c Presolving Time: 67.45
67.25/67.53 c
67.25/67.53 c - non default parameters ----------------------------------------------------------------------
67.25/67.53 c
67.25/67.53 c # SCIP version 10.0.0
67.25/67.53 c
67.25/67.53 c # maximal time in seconds to run
67.25/67.53 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
67.25/67.53 c limits/time = 3596.998007
67.25/67.53 c
67.25/67.53 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
67.25/67.53 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
67.25/67.53 c limits/memory = 27900
67.25/67.53 c
67.25/67.53 c # belongs reading time to solving time?
67.25/67.53 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
67.25/67.53 c timing/reading = TRUE
67.25/67.53 c
67.25/67.53 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
67.25/67.53 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
67.25/67.53 c reading/opbreader/maxintsize = 47
67.25/67.53 c
67.25/67.53 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
67.25/67.53 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
67.25/67.53 c propagating/genvbounds/timingmask = 0
67.25/67.53 c
67.25/67.53 c -----------------------------------------------------------------------------------------------
67.25/67.53 c
77.63/77.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
77.63/77.97 c 78.0s| 1 | 0 | 8376 | - | 416M | 0 | 10k| 10k| 10k| 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
81.21/81.57 c 81.6s| 1 | 0 | 19862 | - | 424M | 0 | 10k| 10k| 10k| 4 | 1 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
81.91/82.23 c 82.2s| 1 | 0 | 20362 | - | 427M | 0 | 10k| 10k| 10k| 8 | 2 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
82.71/83.05 c 83.1s| 1 | 0 | 21029 | - | 428M | 0 | 10k| 10k| 10k| 11 | 3 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
83.50/83.87 c 83.9s| 1 | 0 | 21705 | - | 429M | 0 | 10k| 10k| 10k| 17 | 4 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
84.20/84.50 c 84.5s| 1 | 0 | 21923 | - | 431M | 0 | 10k| 10k| 10k| 23 | 5 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
85.00/85.33 c 85.3s| 1 | 0 | 22643 | - | 432M | 0 | 10k| 10k| 10k| 27 | 6 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
85.70/86.01 c 86.0s| 1 | 0 | 23153 | - | 433M | 0 | 10k| 10k| 10k| 30 | 7 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
86.49/86.86 c 86.9s| 1 | 0 | 24024 | - | 435M | 0 | 10k| 10k| 10k| 35 | 8 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
87.49/87.87 c 87.9s| 1 | 0 | 25188 | - | 437M | 0 | 10k| 10k| 10k| 41 | 9 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
88.49/88.89 c 88.9s| 1 | 0 | 26292 | - | 438M | 0 | 10k| 10k| 10k| 46 | 10 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
88.89/89.28 c 89.3s| 1 | 0 | 26692 | - | 440M | 0 | 10k| 10k| 10k| 49 | 11 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
106.43/106.83 c 107s| 1 | 2 | 39394 | - | 441M | 0 | 10k| 10k| 10k| 49 | 11 | 47 | 29 | 0.000000e+00 | -- | Inf | unknown
228.93/229.70 c 230s| 100 | 33 |355161 |3317.9 | 472M | 22 | 10k| 10k| 10k| 85 | 0 | 798 | 29 | 0.000000e+00 | -- | Inf | 13.84%
287.18/288.11 c 288s| 200 | 33 |495481 |2355.7 | 479M | 22 | 10k| 10k| 10k| 126 | 0 | 900 | 29 | 0.000000e+00 | -- | Inf | 38.96%
344.72/345.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
344.72/345.82 c 346s| 300 | 35 |637662 |2043.4 | 489M | 22 | 10k| 11k| 10k| 205 | 0 |1271 | 29 | 0.000000e+00 | -- | Inf | 48.82%
395.19/396.46 c 396s| 400 | 28 |774745 |1874.8 | 493M | 22 | 10k| 11k| 10k| 223 | 0 |1424 | 29 | 0.000000e+00 | -- | Inf | 61.87%
433.78/435.12 c 435s| 500 | 20 |873224 |1696.5 | 498M | 38 | 10k| 11k| 10k| 264 | 1 |1570 | 29 | 0.000000e+00 | -- | Inf | 88.54%
465.39/466.80 c 467s| 600 | 8 |954765 |1549.4 | 503M | 38 | 10k| 11k| 10k| 318 | 1 |1734 | 29 | 0.000000e+00 | -- | Inf | 97.77%
480.55/482.07 c
480.55/482.07 c SCIP Status : problem is solved [infeasible]
480.55/482.07 c Solving Time (sec) : 482.08
480.55/482.07 c Solving Nodes : 635
480.55/482.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
480.55/482.07 c Dual Bound : +1.00000000000000e+20
480.55/482.07 c Gap : 0.00 %
480.55/482.07 s UNSATISFIABLE
480.55/482.07 c SCIP Status : problem is solved [infeasible]
480.55/482.07 c Total Time : 482.08
480.55/482.07 c solving : 482.08
480.55/482.07 c presolving : 67.45 (included in solving)
480.55/482.07 c reading : 0.04 (included in solving)
480.55/482.07 c copying : 0.12 (4 #copies) (minimal 0.02, maximal 0.04, average 0.03)
480.55/482.07 c Original Problem :
480.55/482.07 c Problem name : HOME/instance-4515177-1751233444.opb
480.55/482.07 c Variables : 12675 (12675 binary, 0 integer, 0 continuous)
480.55/482.07 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
480.55/482.07 c Constraints : 11891 initial, 11891 maximal
480.55/482.07 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
480.55/482.07 c Presolved Problem :
480.55/482.07 c Problem name : t_HOME/instance-4515177-1751233444.opb
480.55/482.07 c Variables : 10786 (10786 binary, 0 integer, 0 continuous)
480.55/482.07 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
480.55/482.07 c Constraints : 10007 initial, 11110 maximal
480.55/482.07 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
480.55/482.07 c Nonzeros : 77604 constraint, 168957 clique table
480.55/482.07 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
480.55/482.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c domcol : 0.05 0.00 63 0 0 0 0 0 0 0 0 0
480.55/482.07 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c dualsparsify : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
480.55/482.07 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c implics : 0.01 0.00 66 0 0 0 0 0 0 0 0 0
480.55/482.07 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c milp : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
480.55/482.07 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c sparsify : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
480.55/482.07 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c trivial : 0.04 0.00 128 0 0 0 0 0 0 0 0 0
480.55/482.07 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c dualfix : 0.03 0.00 128 32 0 0 0 0 0 0 0 0
480.55/482.07 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c probing : 61.25 0.00 63 1516 0 0 0 0 0 0 0 0
480.55/482.07 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c symmetry : 0.37 0.00 1 9 0 0 0 0 0 1480 0 0
480.55/482.07 c vbounds : 0.05 0.00 6 0 0 0 0 0 0 0 0 0
480.55/482.07 c knapsack : 3.53 0.00 256 0 0 0 0 0 0 0 0 0
480.55/482.07 c setppc : 1.75 0.00 256 0 332 0 0 0 3332 0 0 0
480.55/482.07 c linear : 0.15 0.01 5 0 0 0 0 0 32 0 0 0
480.55/482.07 c orbitope_pp : 0.00 0.00 64 0 0 0 0 0 0 0 0 0
480.55/482.07 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
480.55/482.07 c root node : - - - 4256 - - 4256 - - - - -
480.55/482.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
480.55/482.07 c integral : 0 0 0 0 319 0 0 35 0 0 0 0 0 0 638
480.55/482.07 c knapsack : 1 1 11 61467 0 0 0 31 17 6 0 0 0 0 0
480.55/482.07 c setppc : 10001+ 10032 11 61461 0 0 0 7 347636 68 607833 0 0 0 0
480.55/482.07 c orbitope_pp : 5 5 0 58301 0 0 0 0 11 25 0 0 0 0 0
480.55/482.07 c logicor : 0+ 1081 11 1322 0 0 0 0 1090 11 289 0 0 0 0
480.55/482.07 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
480.55/482.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
480.55/482.07 c integral : 12.32 0.00 0.00 0.00 12.32 0.00 0.00 0.00 0.00 0.00
480.55/482.07 c knapsack : 9.22 0.00 0.76 8.39 0.00 0.00 0.00 0.02 0.02 0.02
480.55/482.07 c setppc : 21.04 0.00 0.01 20.89 0.00 0.00 0.00 0.00 0.10 0.04
480.55/482.07 c orbitope_pp : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
480.55/482.07 c logicor : 0.06 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
480.55/482.07 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
480.55/482.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
480.55/482.07 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
480.55/482.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
480.55/482.07 c dualfix : 1 0 0 0
480.55/482.07 c genvbounds : 0 0 0 0
480.55/482.07 c nlobbt : 0 0 0 0
480.55/482.07 c obbt : 0 0 0 0
480.55/482.07 c probing : 0 0 0 0
480.55/482.07 c pseudoobj : 0 0 0 0
480.55/482.07 c redcost : 0 0 0 0
480.55/482.07 c rootredcost : 0 0 0 0
480.55/482.07 c symmetry : 96 0 0 4
480.55/482.07 c vbounds : 3518 0 0 0
480.55/482.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
480.55/482.07 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
480.55/482.07 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
480.55/482.07 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
480.55/482.07 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
480.55/482.07 c probing : 61.25 0.00 61.25 0.00 0.00 0.00
480.55/482.07 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
480.55/482.07 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
480.55/482.08 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
480.55/482.08 c symmetry : 0.39 0.00 0.37 0.02 0.00 0.00
480.55/482.08 c vbounds : 0.13 0.00 0.05 0.08 0.00 0.00
480.55/482.08 c Symmetry :
480.55/482.08 c #affected vars : 3362 (3362 bin, 0 int, 0 cont)
480.55/482.08 c orbitopal red. : 0 reductions applied, 0 cutoffs
480.55/482.08 c orbital reduction: 0 reductions applied, 0 cutoffs
480.55/482.08 c lexicographic red: 4 reductions applied, 0 cutoffs
480.55/482.08 c shadow tree time : 0.00 s
480.55/482.08 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
480.55/482.08 c propagation : 4.14 92 31 - 549 6760.1 0 0.0 - - -
480.55/482.08 c infeasible LP : 2.27 408 297 - 3461 509.9 1 1270.0 1 5270.0 0
480.55/482.08 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
480.55/482.08 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
480.55/482.08 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
480.55/482.08 c applied globally : 0.85 - - 0 1773 429.7 - - 1 - -
480.55/482.08 c applied locally : - - - 0 2 9531.5 - - 0 - -
480.55/482.08 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
480.55/482.08 c cut pool : 0.01 - 99 21 - - 175 815 - - - - - (maximal pool size: 175)
480.55/482.08 c aggregation : 0.13 0.00 58 11 0 0 0 0 0 0 0 0 0
480.55/482.08 c > cmir : - - - - - - - 0 0 0 0 0 -
480.55/482.08 c > flowcover : - - - - - - - 0 0 0 0 0 -
480.55/482.08 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
480.55/482.08 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c clique : 0.55 0.00 11 11 0 0 95 437 0 152 152 0 0
480.55/482.08 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c gomory : 7.22 0.00 57 10 0 0 75 254 20 46 46 0 0
480.55/482.08 c > gomorymi : - - - - - - - 119 10 22 22 0 -
480.55/482.08 c > strongcg : - - - - - - - 135 10 24 24 0 -
480.55/482.08 c impliedbounds : 0.21 0.00 58 11 0 0 0 0 0 0 0 0 0
480.55/482.08 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
480.55/482.08 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c multilinear : 0.00 0.00 35 11 0 0 0 0 0 0 0 0 0
480.55/482.08 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
480.55/482.08 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
480.55/482.08 c zerohalf : 0.39 0.00 58 11 0 0 116 124 91 120 60 60 0
480.55/482.08 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
480.55/482.08 c hybrid : 0.00 0.00 70 11 318 0 608 49 0 135
480.55/482.08 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c Pricers : ExecTime SetupTime Calls Vars
480.55/482.08 c problem variables: 0.00 - 0 0
480.55/482.08 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
480.55/482.08 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c random : 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c relpscost : 12.32 0.00 319 0 0 0 0 0 0 638
480.55/482.08 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
480.55/482.08 c Primal Heuristics : ExecTime SetupTime Calls Found Best
480.55/482.08 c LP solutions : 0.00 - - 0 0
480.55/482.08 c relax solutions : 0.00 - - 0 0
480.55/482.08 c pseudo solutions : 0.00 - - 0 0
480.55/482.08 c strong branching : 0.00 - - 0 0
480.55/482.08 c actconsdiving : 0.00 0.00 0 0 0
480.55/482.08 c adaptivediving : 46.44 0.00 1 0 0
480.55/482.08 c alns : 1.58 0.00 3 0 0
480.55/482.08 c bound : 0.00 0.00 0 0 0
480.55/482.08 c clique : 0.07 0.00 1 0 0
480.55/482.08 c coefdiving : 0.00 0.00 0 0 0
480.55/482.08 c completesol : 0.00 0.00 0 0 0
480.55/482.08 c conflictdiving : 5.41 0.00 2 0 0
480.55/482.08 c crossover : 0.00 0.00 0 0 0
480.55/482.08 c dins : 0.00 0.00 0 0 0
480.55/482.08 c distributiondivin: 4.83 0.00 2 0 0
480.55/482.08 c dks : 0.00 0.00 0 0 0
480.55/482.08 c dps : 0.00 0.00 0 0 0
480.55/482.08 c dualval : 0.00 0.00 0 0 0
480.55/482.08 c farkasdiving : 0.00 0.00 0 0 0
480.55/482.08 c feaspump : 2.26 0.00 1 0 0
480.55/482.08 c fixandinfer : 0.00 0.00 0 0 0
480.55/482.08 c fracdiving : 9.83 0.00 2 0 0
480.55/482.08 c gins : 0.00 0.00 0 0 0
480.55/482.08 c guideddiving : 0.00 0.00 0 0 0
480.55/482.08 c indicator : 0.00 0.00 0 0 0
480.55/482.08 c indicatordiving : 0.00 0.00 0 0 0
480.55/482.08 c intdiving : 0.00 0.00 0 0 0
480.55/482.08 c intshifting : 0.00 0.00 0 0 0
480.55/482.08 c linesearchdiving : 2.31 0.00 2 0 0
480.55/482.08 c localbranching : 0.00 0.00 0 0 0
480.55/482.08 c locks : 0.10 0.00 1 0 0
480.55/482.08 c lpface : 0.01 0.00 0 0 0
480.55/482.08 c mpec : 0.00 0.00 0 0 0
480.55/482.08 c multistart : 0.00 0.00 0 0 0
480.55/482.08 c mutation : 0.00 0.00 0 0 0
480.55/482.08 c nlpdiving : 0.00 0.00 0 0 0
480.55/482.08 c objpscostdiving : 6.06 0.00 1 0 0
480.55/482.08 c octane : 0.00 0.00 0 0 0
480.55/482.08 c ofins : 0.00 0.00 0 0 0
480.55/482.08 c oneopt : 0.00 0.00 0 0 0
480.55/482.08 c padm : 0.00 0.00 0 0 0
480.55/482.08 c proximity : 0.00 0.00 0 0 0
480.55/482.08 c pscostdiving : 3.45 0.00 2 0 0
480.55/482.08 c randrounding : 0.37 0.00 30 0 0
480.55/482.08 c rens : 0.08 0.00 1 0 0
480.55/482.08 c reoptsols : 0.00 0.00 0 0 0
480.55/482.08 c repair : 0.00 0.00 0 0 0
480.55/482.08 c rins : 0.00 0.00 0 0 0
480.55/482.08 c rootsoldiving : 16.57 0.00 2 0 0
480.55/482.08 c rounding : 1.09 0.00 207 0 0
480.55/482.08 c scheduler : 0.00 0.00 0 0 0
480.55/482.08 c shiftandpropagate: 1.35 0.00 1 0 0
480.55/482.08 c shifting : 3.11 0.00 96 0 0
480.55/482.08 c simplerounding : 0.00 0.00 0 0 0
480.55/482.08 c subnlp : 0.00 0.00 0 0 0
480.55/482.08 c trivial : 0.01 0.00 2 0 0
480.55/482.08 c trivialnegation : 0.00 0.00 0 0 0
480.55/482.08 c trustregion : 0.00 0.00 0 0 0
480.55/482.08 c trysol : 0.00 0.00 0 0 0
480.55/482.08 c twoopt : 0.00 0.00 0 0 0
480.55/482.08 c undercover : 0.00 0.00 0 0 0
480.55/482.08 c vbounds : 5.51 0.00 1 0 0
480.55/482.08 c veclendiving : 15.32 0.00 2 0 0
480.55/482.08 c zeroobj : 0.00 0.00 0 0 0
480.55/482.08 c zirounding : 0.06 0.00 319 0 0
480.55/482.08 c other solutions : - - - 0 -
480.55/482.08 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
480.55/482.08 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
480.55/482.08 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
480.55/482.08 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
480.55/482.08 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
480.55/482.08 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
480.55/482.08 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
480.55/482.08 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
480.55/482.08 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
480.55/482.08 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
480.55/482.08 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
480.55/482.08 c primal LP : 0.12 34 0 0.00 0.00 0.12 34
480.55/482.08 c dual LP : 262.80 698 684020 979.97 2602.81 0.00 0
480.55/482.08 c lex dual LP : 0.00 0 0 0.00 -
480.55/482.08 c barrier LP : 0.00 0 0 0.00 - 0.00 0
480.55/482.08 c resolve instable : 0.13 3 415 138.33 3084.65
480.55/482.08 c diving/probing LP: 110.15 368 311624 846.80 2829.05
480.55/482.08 c strong branching : 12.07 29 22445 773.97 1860.05 - - 30
480.55/482.08 c (at root node) : - 29 22445 773.97 -
480.55/482.08 c conflict analysis: 0.00 0 0 0.00 -
480.55/482.08 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
480.55/482.08 c benders : 0.00 0 0 0 0.00 0 0 0
480.55/482.08 c B&B Tree :
480.55/482.08 c number of runs : 1
480.55/482.08 c nodes : 635 (319 internal, 316 leaves)
480.55/482.08 c feasible leaves : 0
480.55/482.08 c infeas. leaves : 316
480.55/482.08 c objective leaves : 0
480.55/482.08 c nodes (total) : 635 (319 internal, 316 leaves)
480.55/482.08 c nodes left : 0
480.55/482.08 c max depth : 38
480.55/482.08 c max depth (total): 38
480.55/482.08 c backtracks : 128 (20.2%)
480.55/482.08 c early backtracks : 0 (0.0%)
480.55/482.08 c nodes exc. ref. : 0 (0.0%)
480.55/482.08 c delayed cutoffs : 4
480.55/482.08 c repropagations : 551 (17410 domain reductions, 3 cutoffs)
480.55/482.08 c avg switch length: 4.12
480.55/482.08 c switching time : 0.67
480.55/482.08 c Root Node :
480.55/482.08 c First LP value : +0.00000000000000e+00
480.55/482.08 c First LP Iters : 8376 (2464.41 Iter/sec)
480.55/482.08 c First LP Time : 3.40
480.55/482.08 c Final Dual Bound : -
480.55/482.08 c Final Root Iters : 26692
480.55/482.08 c Root LP Estimate : +4.18279555744820e-03
480.55/482.08 c Solution :
480.55/482.08 c Solutions found : 0 (0 improvements)
480.55/482.08 c Primal Bound : infeasible
480.55/482.08 c Dual Bound : -
480.55/482.08 c Gap : 0.00 %
480.55/482.08 c Integrals : Total Avg%
480.55/482.08 c primal-dual : - - (problem infeasible)
480.55/482.08 c primal-ref : - - (problem infeasible)
480.55/482.08 c dual-ref : - - (problem infeasible)
480.65/482.15 c Time complete (sec): 480.714
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: 63708 MiB (61506 MiB free)
memory of node 1: 64465 MiB (62404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515177-1751233444/watcher-4515177-1751233444 -o /tmp/evaluation-result-4515177-1751233444/solver-4515177-1751233444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751233442-41919 --watchdog 3760 pbsolver -f HOME/instance-4515177-1751233444.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42011, runsolver pid=42008
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.23 4.13 4.05 5/261 42012
/proc/meminfo: memFree=126833080/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=72892 memory=62616 CPUtime=0.09 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 13647 0 0 0 8 1 0 0 20 0 1 0 39023147 74641408 15654 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 18223 15654 2432 2575 0 15130 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72892 KiB
Current children cumulated memory: 62616 KiB
[startup+0.205398 s]*
/proc/loadavg: 4.23 4.13 4.05 5/261 42012
/proc/meminfo: memFree=126800824/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=80992 memory=71024 CPUtime=0.19 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 20410 0 0 0 17 2 0 0 20 0 1 0 39023147 82935808 17756 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 20248 17756 2496 2575 0 17155 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80992 KiB
Current children cumulated memory: 71024 KiB
[startup+0.30532 s]*
/proc/loadavg: 4.23 4.13 4.05 5/261 42012
/proc/meminfo: memFree=126760756/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=102488 memory=92016 CPUtime=0.3 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 25666 0 0 0 27 3 0 0 20 0 1 0 39023147 104947712 23004 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 25622 23004 2496 2575 0 22529 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102488 KiB
Current children cumulated memory: 92016 KiB
[startup+0.700172 s]
/proc/loadavg: 4.23 4.13 4.05 5/261 42012
/proc/meminfo: memFree=126736676/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=105312 memory=95216 CPUtime=0.69 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 26389 0 0 0 66 3 0 0 20 0 1 0 39023147 107839488 23804 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 26328 23804 2592 2575 0 23235 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 105312 KiB
Current children cumulated memory: 95216 KiB
[startup+1.50016 s]
/proc/loadavg: 4.23 4.13 4.05 5/259 42012
/proc/meminfo: memFree=126696356/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=111740 memory=100848 CPUtime=1.48 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 27796 0 0 0 145 3 0 0 20 0 1 0 39023147 114421760 25212 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 27935 25212 2592 2575 0 24842 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111740 KiB
Current children cumulated memory: 100848 KiB
[startup+3.10527 s]
/proc/loadavg: 4.30 4.14 4.06 5/264 42022
/proc/meminfo: memFree=125052160/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=117528 memory=106224 CPUtime=3.08 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 29122 0 0 0 305 3 0 0 20 0 1 0 39023147 120348672 26556 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 29382 26556 2592 2575 0 26289 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117528 KiB
Current children cumulated memory: 106224 KiB
[startup+6.30012 s]
/proc/loadavg: 4.30 4.14 4.06 5/264 42022
/proc/meminfo: memFree=123159288/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=304764 memory=272240 CPUtime=6.27 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 70803 0 0 0 616 11 0 0 20 0 1 0 39023147 312078336 68060 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 76191 68060 2592 2575 0 73098 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 304764 KiB
Current children cumulated memory: 272240 KiB
[startup+12.7001 s]
/proc/loadavg: 4.25 4.14 4.05 5/264 42022
/proc/meminfo: memFree=122885264/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=304764 memory=272240 CPUtime=12.65 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 70804 0 0 0 1254 11 0 0 20 0 1 0 39023147 312078336 68060 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 76191 68060 2592 2575 0 73098 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 304764 KiB
Current children cumulated memory: 272240 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.13 4.05 5/264 42022
/proc/meminfo: memFree=119587336/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=304764 memory=272240 CPUtime=25.41 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 70805 0 0 0 2530 11 0 0 20 0 1 0 39023147 312078336 68060 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 76191 68060 2592 2575 0 73098 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 304764 KiB
Current children cumulated memory: 272240 KiB
[startup+51.1053 s]
/proc/loadavg: 4.26 4.15 4.06 5/264 42023
/proc/meminfo: memFree=116109748/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=305924 memory=273520 CPUtime=50.92 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 71110 0 0 0 5081 11 0 0 20 0 1 0 39023147 313266176 68380 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 76481 68380 2592 2575 0 73388 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 305924 KiB
Current children cumulated memory: 273520 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.06 5/264 42024
/proc/meminfo: memFree=111165292/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=528152 memory=458524 CPUtime=101.94 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 113754 0 0 0 10175 19 0 0 20 0 1 0 39023147 540827648 114631 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 132038 114631 2688 2575 0 128945 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 528152 KiB
Current children cumulated memory: 458524 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.06 5/264 42026
/proc/meminfo: memFree=111166724/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=528152 memory=458524 CPUtime=161.75 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 113757 0 0 0 16155 20 0 0 20 0 1 0 39023147 540827648 114631 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 132038 114631 2688 2575 0 128945 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 528152 KiB
Current children cumulated memory: 458524 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/264 42073
/proc/meminfo: memFree=111379036/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=528152 memory=458908 CPUtime=221.55 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 113915 0 0 0 22134 21 0 0 20 0 1 0 39023147 540827648 114727 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 132038 114727 2688 2575 0 128945 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 528152 KiB
Current children cumulated memory: 458908 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.11 4.06 5/263 42078
/proc/meminfo: memFree=111378304/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=528152 memory=461340 CPUtime=281.39 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 113956 0 0 0 28118 21 0 0 20 0 1 0 39023147 540827648 115335 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 132038 115335 2688 2575 0 128945 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 528152 KiB
Current children cumulated memory: 461340 KiB
[startup+342.3 s]
/proc/loadavg: 4.38 4.19 4.10 5/263 42080
/proc/meminfo: memFree=111277016/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=592532 memory=525596 CPUtime=341.23 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 130005 0 0 0 34100 23 0 0 20 0 1 0 39023147 606752768 131399 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 148133 131399 2688 2575 0 145040 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 592532 KiB
Current children cumulated memory: 525596 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 4.19 4.10 5/263 42083
/proc/meminfo: memFree=111203640/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=592532 memory=537244 CPUtime=401.07 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 130043 0 0 0 40084 23 0 0 20 0 1 0 39023147 606752768 134311 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 148133 134311 2688 2575 0 145040 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 592532 KiB
Current children cumulated memory: 537244 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/264 42090
/proc/meminfo: memFree=111118672/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=592532 memory=563356 CPUtime=460.9 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 130175 0 0 0 46067 23 0 0 20 0 1 0 39023147 606752768 140839 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 148133 140839 2688 2575 0 145040 0
Current children cumulated CPU time: 460.9 s
Current children cumulated vsize: 592532 KiB
Current children cumulated memory: 563356 KiB
[startup+482.164 s]
# the end of solver process 42011 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=480.473 s, system=0.247215 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.6 s]
/proc/loadavg: 4.12 4.16 4.09 5/264 42090
/proc/meminfo: memFree=111119584/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=592532 memory=563356 CPUtime=472.17 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 130177 0 0 0 47194 23 0 0 20 0 1 0 39023147 606752768 140839 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 148133 140839 2688 2575 0 145040 0
Current children cumulated CPU time: 472.17 s
Current children cumulated vsize: 592532 KiB
Current children cumulated memory: 563356 KiB
[startup+476.8 s]
/proc/loadavg: 4.12 4.16 4.09 5/264 42091
/proc/meminfo: memFree=111119332/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=592532 memory=563356 CPUtime=475.36 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 130183 0 0 0 47513 23 0 0 20 0 1 0 39023147 606752768 140839 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 148133 140839 2688 2575 0 145040 0
Current children cumulated CPU time: 475.36 s
Current children cumulated vsize: 592532 KiB
Current children cumulated memory: 563356 KiB
[startup+480 s]*
/proc/loadavg: 4.11 4.16 4.09 5/264 42091
/proc/meminfo: memFree=111118916/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=592532 memory=563356 CPUtime=478.56 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 130184 0 0 0 47833 23 0 0 20 0 1 0 39023147 606752768 140839 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 148133 140839 2688 2575 0 145040 0
Current children cumulated CPU time: 478.56 s
Current children cumulated vsize: 592532 KiB
Current children cumulated memory: 563356 KiB
[startup+480.8 s]
/proc/loadavg: 4.11 4.16 4.09 5/264 42091
/proc/meminfo: memFree=111118916/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=592532 memory=563356 CPUtime=479.35 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 130184 0 0 0 47912 23 0 0 20 0 1 0 39023147 606752768 140839 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 148133 140839 2688 2575 0 145040 0
Current children cumulated CPU time: 479.35 s
Current children cumulated vsize: 592532 KiB
Current children cumulated memory: 563356 KiB
[startup+481.6 s]
/proc/loadavg: 4.11 4.16 4.09 5/264 42091
/proc/meminfo: memFree=111118916/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=592532 memory=563356 CPUtime=480.15 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 130184 0 0 0 47992 23 0 0 20 0 1 0 39023147 606752768 140839 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 148133 140839 2688 2575 0 145040 0
Current children cumulated CPU time: 480.15 s
Current children cumulated vsize: 592532 KiB
Current children cumulated memory: 563356 KiB
[startup+482 s]*
/proc/loadavg: 4.10 4.15 4.09 5/264 42091
/proc/meminfo: memFree=111118916/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=592532 memory=563356 CPUtime=480.55 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 130184 0 0 0 48032 23 0 0 20 0 1 0 39023147 606752768 140839 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 148133 140839 2688 2575 0 145040 0
Current children cumulated CPU time: 480.55 s
Current children cumulated vsize: 592532 KiB
Current children cumulated memory: 563356 KiB
[startup+482.105 s]
/proc/loadavg: 4.10 4.15 4.09 5/264 42091
/proc/meminfo: memFree=111118916/131249992 swapFree=33010684/33010684
[pid=42011] ppid=42008 vsize=576784 memory=547660 CPUtime=480.65 cores=4,6
/proc/42011/stat : 42011 (pbsolver) R 42008 42011 41475 0 -1 4194304 130604 0 0 0 48042 23 0 0 20 0 1 0 39023147 590626816 136915 18446744073709551615 4198400 14743177 140737132300672 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 50737152 140737132308874 140737132308970 140737132308970 140737132314572 0
/proc/42011/statm: 144196 136915 2688 2575 0 141103 0
Current children cumulated CPU time: 480.65 s
Current children cumulated vsize: 576784 KiB
Current children cumulated memory: 547660 KiB
Child status: 0
Real time (s): 482.164
CPU time (s): 480.72
CPU user time (s): 480.473
CPU system time (s): 0.247215
CPU usage (%): 99.7006
Max. virtual memory (cumulated for all children) (KiB): 592532
Max. memory (cumulated for all children) (KiB): 563356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 480.473
system time used= 0.247215
maximum resident set size= 563356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 2793
# summary of solver processes directly reported to runsolver:
# pid: 42011
# total CPU time (s): 480.72
# total CPU user time (s): 480.473
# total CPU system time (s): 0.247215
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.815143 second user time and 1.91875 second system time
The end
Begin job on nodeC025 at 2025-06-29 23:44:04 IDJOB=4515177 IDBENCH=164178 IDSOLVER=3366 FILE ID=nodeC025/4515177-1751233444 RUNJOBID= nodeC025-1751233442-41919 SLURM_JOB_ID= 9587699 Free space on /tmp= 432520 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.u.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515177-1751233444/watcher-4515177-1751233444 -o /tmp/evaluation-result-4515177-1751233444/solver-4515177-1751233444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751233442-41919 --watchdog 3760 pbsolver -f HOME/instance-4515177-1751233444.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 84d6a262f1f6531f4a7714720272edd7 RANDOM SEED=762835131 nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.857 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3600.078 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3571.410 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3657.753 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3600.118 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3599.838 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3647.676 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3599.590 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 126893732 kB MemAvailable: 129602680 kB Buffers: 3280 kB Cached: 3509364 kB SwapCached: 0 kB Active: 535076 kB Inactive: 3205096 kB Active(anon): 245648 kB Inactive(anon): 0 kB Active(file): 289428 kB Inactive(file): 3205096 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 368428 kB Writeback: 0 kB AnonPages: 230780 kB Mapped: 124044 kB Shmem: 18084 kB KReclaimable: 107328 kB Slab: 194808 kB SReclaimable: 107328 kB SUnreclaim: 87480 kB KernelStack: 4220 kB PageTables: 3512 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 561796 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 26624 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432568 MiB End job on nodeC025 at 2025-06-29 23:52:06