| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 89.3568 | 89.6111 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab71-20-100.0.u.opb |
| MD5SUM | 5a0bcd4a9e5bc1c51804f47b1691eae0 |
| 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 | 39.0848 |
| 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 | 6689 |
| Total number of constraints | 6377 |
| Number of constraints which are clauses | 6255 |
| Number of constraints which are cardinality constraints (but not clauses) | 121 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 6255 |
| 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 | 1966006 |
| Number of bits of the biggest number in a constraint | 21 |
| Biggest sum of numbers in a constraint | 501966013 |
| 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-4515249-1751233927.opb>
0.00/0.02 c original problem has 6689 variables (6689 bin, 0 int, 0 cont) and 6377 constraints
0.00/0.02 c problem read in 0.021 seconds
0.00/0.02 c problem without objective
0.00/0.04 c presolving:
0.00/0.07 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 1 fixings, 0 bound changes
0.09/0.16 c (round 1, exhaustive) 2 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6374 upgd conss, 0 impls, 6374 clqs
1.78/1.80 c (1.8s) probing: 1000/6687 (15.0%) - 0 fixings, 0 aggregations, 473308 implications, 0 bound changes
1.78/1.80 c (1.8s) probing: 1001/6687 (15.0%) - 0 fixings, 0 aggregations, 474267 implications, 0 bound changes
1.78/1.80 c (1.8s) probing aborted: 1000/1000 successive useless probings
1.78/1.84 c (1.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.78/1.87 c (1.9s) symmetry computation finished: 1149 generators found (max: 1500, log10 of symmetry group size: 436.58) (symcode time: 0.02)
1.99/2.02 c dynamic symmetry handling statistics:
1.99/2.02 c orbitopal reduction: no components
1.99/2.02 c orbital reduction: no components
1.99/2.02 c lexicographic reduction: 12 permutations with support sizes 16, 16, 16, 16, 16, 16, 16, 16, 20, 20, 20, 20
1.99/2.02 c handled 523 out of 523 symmetry components
1.99/2.02 c (round 2, exhaustive) 517 del vars, 28 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6375 upgd conss, 0 impls, 24756 clqs
1.99/2.02 c (round 3, fast) 517 del vars, 542 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6375 upgd conss, 0 impls, 24756 clqs
1.99/2.05 c (round 4, medium) 517 del vars, 561 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6375 upgd conss, 0 impls, 24756 clqs
1.99/2.06 c (round 5, exhaustive) 517 del vars, 561 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 24756 clqs
2.09/2.13 c (round 6, exhaustive) 542 del vars, 561 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33720 clqs
2.09/2.13 c (round 7, fast) 542 del vars, 611 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33720 clqs
2.19/2.22 c (round 8, exhaustive) 567 del vars, 611 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33743 clqs
2.19/2.23 c (round 9, fast) 567 del vars, 661 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33743 clqs
2.29/2.31 c (round 10, exhaustive) 592 del vars, 661 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33738 clqs
2.29/2.31 c (round 11, fast) 592 del vars, 711 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33738 clqs
2.29/2.39 c (round 12, exhaustive) 618 del vars, 712 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33726 clqs
2.29/2.39 c (round 13, fast) 618 del vars, 762 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33726 clqs
2.39/2.48 c (round 14, exhaustive) 644 del vars, 763 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33765 clqs
2.39/2.48 c (round 15, fast) 644 del vars, 813 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33765 clqs
2.49/2.57 c (round 16, exhaustive) 669 del vars, 813 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33815 clqs
2.49/2.57 c (round 17, fast) 669 del vars, 863 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33815 clqs
2.59/2.65 c (round 18, exhaustive) 694 del vars, 863 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33759 clqs
2.59/2.66 c (round 19, fast) 694 del vars, 913 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33759 clqs
2.69/2.74 c (round 20, exhaustive) 720 del vars, 914 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33768 clqs
2.69/2.74 c (round 21, fast) 720 del vars, 964 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33768 clqs
2.79/2.83 c (round 22, exhaustive) 745 del vars, 964 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33820 clqs
2.79/2.83 c (round 23, fast) 745 del vars, 1014 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33820 clqs
2.89/2.92 c (round 24, exhaustive) 770 del vars, 1014 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33844 clqs
2.89/2.92 c (round 25, fast) 770 del vars, 1064 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33844 clqs
2.99/3.00 c (round 26, exhaustive) 795 del vars, 1064 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33812 clqs
2.99/3.01 c (round 27, fast) 795 del vars, 1114 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33812 clqs
2.99/3.09 c (round 28, exhaustive) 820 del vars, 1114 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33849 clqs
2.99/3.09 c (round 29, fast) 820 del vars, 1164 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33849 clqs
3.18/3.21 c (round 30, exhaustive) 845 del vars, 1164 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33814 clqs
3.18/3.21 c (round 31, fast) 845 del vars, 1214 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33814 clqs
3.18/3.29 c (round 32, exhaustive) 871 del vars, 1215 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33856 clqs
3.18/3.29 c (round 33, fast) 871 del vars, 1265 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33856 clqs
3.28/3.37 c (round 34, exhaustive) 897 del vars, 1266 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33875 clqs
3.28/3.38 c (round 35, fast) 897 del vars, 1316 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33875 clqs
4.98/5.05 c (5.1s) probing: 2000/6687 (29.9%) - 387 fixings, 0 aggregations, 1371537 implications, 0 bound changes
6.67/6.75 c (6.8s) probing: 2621/6687 (39.2%) - 387 fixings, 0 aggregations, 2022016 implications, 0 bound changes
6.67/6.75 c (6.8s) probing aborted: 1000/1000 successive useless probings
6.67/6.75 c (round 36, exhaustive) 909 del vars, 1316 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33958 clqs
6.67/6.76 c (round 37, fast) 909 del vars, 1340 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33958 clqs
7.08/7.13 c (round 38, exhaustive) 935 del vars, 1341 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33881 clqs
7.08/7.14 c (round 39, fast) 935 del vars, 1384 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33881 clqs
7.27/7.34 c (round 40, exhaustive) 960 del vars, 1384 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33782 clqs
7.27/7.34 c (round 41, fast) 960 del vars, 1426 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33782 clqs
7.47/7.50 c (round 42, exhaustive) 986 del vars, 1427 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33897 clqs
7.47/7.50 c (round 43, fast) 986 del vars, 1474 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33897 clqs
7.47/7.58 c (7.6s) probing: 3000/6687 (44.9%) - 470 fixings, 0 aggregations, 2203738 implications, 0 bound changes
7.57/7.68 c (round 44, exhaustive) 1011 del vars, 1474 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33765 clqs
7.57/7.68 c (round 45, fast) 1011 del vars, 1503 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33765 clqs
7.67/7.70 c (round 46, medium) 1011 del vars, 1513 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33765 clqs
7.87/7.95 c (round 47, exhaustive) 1036 del vars, 1513 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33743 clqs
7.87/7.96 c (round 48, fast) 1036 del vars, 1532 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33743 clqs
7.87/7.98 c (round 49, medium) 1036 del vars, 1545 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33743 clqs
8.17/8.27 c (round 50, exhaustive) 1061 del vars, 1545 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33736 clqs
8.17/8.28 c (round 51, fast) 1061 del vars, 1569 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33736 clqs
8.27/8.30 c (round 52, medium) 1061 del vars, 1587 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33736 clqs
8.77/8.85 c (round 53, exhaustive) 1086 del vars, 1587 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33799 clqs
8.77/8.86 c (round 54, fast) 1086 del vars, 1611 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33799 clqs
8.77/8.88 c (round 55, medium) 1086 del vars, 1621 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33799 clqs
9.37/9.49 c (round 56, exhaustive) 1111 del vars, 1621 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33703 clqs
9.37/9.49 c (round 57, fast) 1111 del vars, 1644 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33703 clqs
9.47/9.59 c (9.6s) probing: 4000/6687 (59.8%) - 587 fixings, 0 aggregations, 2399148 implications, 0 bound changes
13.15/13.22 c (13.2s) probing: 5000/6687 (74.8%) - 599 fixings, 0 aggregations, 2992070 implications, 0 bound changes
17.64/17.71 c (17.7s) probing: 6000/6687 (89.7%) - 603 fixings, 0 aggregations, 3507171 implications, 0 bound changes
17.64/17.71 c (17.7s) probing cycle finished: starting next cycle
17.64/17.79 c (round 58, exhaustive) 1138 del vars, 1645 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33283 clqs
17.64/17.79 c (round 59, fast) 1138 del vars, 1666 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33283 clqs
17.74/17.82 c (round 60, medium) 1138 del vars, 1671 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33283 clqs
17.95/18.02 c (round 61, exhaustive) 1163 del vars, 1671 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 32982 clqs
19.64/19.73 c (19.7s) probing: 1000/5562 (18.0%) - 656 fixings, 0 aggregations, 4180538 implications, 0 bound changes
20.53/20.66 c (20.7s) probing: 1385/5562 (24.9%) - 656 fixings, 0 aggregations, 4520817 implications, 0 bound changes
20.53/20.66 c (20.7s) probing aborted: 1000/1000 successive useless probings
20.53/20.66 c (round 62, exhaustive) 1180 del vars, 1674 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33846 clqs
20.53/20.66 c (round 63, fast) 1180 del vars, 1690 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33846 clqs
20.83/20.93 c (20.9s) probing: 1485/5562 (26.7%) - 656 fixings, 0 aggregations, 4603620 implications, 0 bound changes
20.83/20.93 c (20.9s) probing aborted: 1000/1000 successive useless probings
20.83/20.93 c presolving (64 rounds: 64 fast, 37 medium, 31 exhaustive):
20.83/20.93 c 1180 deleted vars, 1690 deleted constraints, 1135 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
20.83/20.93 c 0 implications, 34245 cliques
20.83/20.93 c presolved problem has 5509 variables (5509 bin, 0 int, 0 cont) and 5822 constraints
20.83/20.93 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
20.83/20.93 c 1 constraints of type <knapsack>
20.83/20.93 c 5249 constraints of type <setppc>
20.83/20.93 c 572 constraints of type <orbitope_pp>
20.83/20.93 c transformed objective value is always integral (scale: 1)
20.83/20.93 c Presolving Time: 20.90
20.83/20.93 c
20.83/20.93 c - non default parameters ----------------------------------------------------------------------
20.83/20.93 c
20.83/20.93 c # SCIP version 10.0.0
20.83/20.93 c
20.83/20.93 c # maximal time in seconds to run
20.83/20.93 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
20.83/20.93 c limits/time = 3596.998349
20.83/20.93 c
20.83/20.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
20.83/20.93 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
20.83/20.93 c limits/memory = 27900
20.83/20.93 c
20.83/20.93 c # belongs reading time to solving time?
20.83/20.93 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
20.83/20.93 c timing/reading = TRUE
20.83/20.93 c
20.83/20.93 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
20.83/20.93 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
20.83/20.93 c reading/opbreader/maxintsize = 47
20.83/20.93 c
20.83/20.93 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
20.83/20.93 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
20.83/20.93 c propagating/genvbounds/timingmask = 0
20.83/20.93 c
20.83/20.93 c -----------------------------------------------------------------------------------------------
20.83/20.94 c
22.83/23.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.83/23.00 c 23.0s| 1 | 0 | 4177 | - | 162M | 0 |5509 |5834 |5250 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
24.32/24.40 c 24.4s| 1 | 0 | 9978 | - | 166M | 0 |5509 |5834 |5253 | 3 | 1 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
24.61/24.70 c 24.7s| 1 | 0 | 10257 | - | 167M | 0 |5509 |5834 |5258 | 8 | 2 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
24.92/25.07 c 25.1s| 1 | 0 | 10914 | - | 167M | 0 |5509 |5834 |5262 | 12 | 3 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
25.31/25.41 c 25.4s| 1 | 0 | 11396 | - | 168M | 0 |5509 |5834 |5265 | 15 | 4 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
25.71/25.80 c 25.8s| 1 | 0 | 11965 | - | 169M | 0 |5509 |5834 |5270 | 20 | 5 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
26.11/26.26 c 26.3s| 1 | 0 | 12857 | - | 170M | 0 |5509 |5834 |5275 | 25 | 6 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
26.52/26.62 c 26.6s| 1 | 0 | 13301 | - | 171M | 0 |5509 |5834 |5280 | 30 | 7 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
26.92/27.08 c 27.1s| 1 | 0 | 14054 | - | 172M | 0 |5509 |5834 |5285 | 35 | 8 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
27.22/27.39 c 27.4s| 1 | 0 | 14339 | - | 173M | 0 |5509 |5834 |5288 | 38 | 9 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
27.62/27.70 c 27.7s| 1 | 0 | 14631 | - | 174M | 0 |5509 |5834 |5291 | 41 | 10 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
27.81/27.97 c 28.0s| 1 | 0 | 15383 | - | 175M | 0 |5509 |5834 |5296 | 46 | 11 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
31.80/31.97 c 32.0s| 1 | 2 | 24010 | - | 176M | 0 |5509 |5854 |5296 | 46 | 11 | 32 | 11 | 0.000000e+00 | -- | Inf | unknown
44.57/44.70 c 44.7s| 100 | 13 | 81402 | 666.9 | 180M | 36 |5509 |5912 |5273 | 71 | 1 | 145 | 11 | 0.000000e+00 | -- | Inf | 55.64%
64.91/65.13 c 65.1s| 200 | 4 |176114 | 807.7 | 188M | 36 |5509 |6022 |5280 | 108 | 0 | 271 | 11 | 0.000000e+00 | -- | Inf | 89.84%
77.37/77.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
77.37/77.67 c 77.7s| 300 | 8 |233451 | 729.3 | 191M | 36 |5509 |6081 |5279 | 130 | 1 | 344 | 11 | 0.000000e+00 | -- | Inf | 96.76%
89.24/89.56 c
89.24/89.56 c SCIP Status : problem is solved [infeasible]
89.24/89.56 c Solving Time (sec) : 89.56
89.24/89.56 c Solving Nodes : 394
89.24/89.56 c Primal Bound : +1.00000000000000e+20 (0 solutions)
89.24/89.56 c Dual Bound : +1.00000000000000e+20
89.24/89.56 c Gap : 0.00 %
89.24/89.56 s UNSATISFIABLE
89.24/89.56 c SCIP Status : problem is solved [infeasible]
89.24/89.56 c Total Time : 89.56
89.24/89.56 c solving : 89.56
89.24/89.56 c presolving : 20.90 (included in solving)
89.24/89.56 c reading : 0.02 (included in solving)
89.24/89.56 c copying : 0.24 (20 #copies) (minimal 0.01, maximal 0.01, average 0.01)
89.24/89.56 c Original Problem :
89.24/89.56 c Problem name : HOME/instance-4515249-1751233927.opb
89.24/89.56 c Variables : 6689 (6689 binary, 0 integer, 0 continuous)
89.24/89.56 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
89.24/89.56 c Constraints : 6377 initial, 6377 maximal
89.24/89.56 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
89.24/89.56 c Presolved Problem :
89.24/89.56 c Problem name : t_HOME/instance-4515249-1751233927.opb
89.24/89.56 c Variables : 5509 (5509 binary, 0 integer, 0 continuous)
89.24/89.56 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
89.24/89.56 c Constraints : 5822 initial, 6138 maximal
89.24/89.56 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
89.24/89.56 c Nonzeros : 46472 constraint, 95463 clique table
89.24/89.56 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
89.24/89.56 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c domcol : 0.01 0.00 29 0 0 0 0 0 0 0 0 0
89.24/89.56 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
89.24/89.56 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c implics : 0.00 0.00 37 0 0 0 0 0 0 0 0 0
89.24/89.56 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c milp : 0.04 0.00 1 1 0 0 0 0 0 0 0 0
89.24/89.56 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c sparsify : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
89.24/89.56 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c trivial : 0.01 0.00 64 0 0 0 0 0 0 0 0 0
89.24/89.56 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c dualfix : 0.01 0.00 64 1 0 0 0 0 0 0 0 0
89.24/89.56 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c probing : 19.48 0.00 29 656 0 0 0 0 0 0 0 0
89.24/89.56 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c symmetry : 0.18 0.00 1 515 0 0 0 0 26 1135 0 0
89.24/89.56 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
89.24/89.56 c knapsack : 0.60 0.00 129 0 0 0 0 0 0 0 0 0
89.24/89.56 c setppc : 0.41 0.00 129 0 7 0 0 0 1585 0 0 0
89.24/89.56 c linear : 0.08 0.00 8 0 0 0 0 0 2 0 0 0
89.24/89.56 c orbitope_pp : 0.00 0.00 35 0 0 0 0 0 77 0 0 0
89.24/89.56 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
89.24/89.56 c root node : - - - 1987 - - 1987 - - - - -
89.24/89.56 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
89.24/89.56 c integral : 0 0 0 0 197 0 0 29 0 0 0 0 0 0 394
89.24/89.56 c knapsack : 1 1 11 40106 0 0 0 25 36 13 746 0 0 0 0
89.24/89.56 c setppc : 5249+ 5260 11 40093 0 0 0 8 84803 12 152184 0 0 0 0
89.24/89.56 c linear : 0+ 1 0 0 0 0 0 3 0 0 0 0 0 0 0
89.24/89.56 c orbitope_pp : 572 572 0 36701 0 0 0 0 0 108 0 0 0 0 0
89.24/89.56 c logicor : 0+ 337 11 486 0 0 0 0 474 0 104 0 0 0 0
89.24/89.56 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
89.24/89.56 c integral : 2.08 0.00 0.00 0.00 2.08 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c knapsack : 2.38 0.00 0.20 2.16 0.00 0.00 0.00 0.01 0.00 0.00
89.24/89.56 c setppc : 4.63 0.00 0.01 4.59 0.00 0.00 0.00 0.00 0.02 0.02
89.24/89.56 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c orbitope_pp : 1.35 0.00 0.00 1.35 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c Propagators : #Propagate #ResProp Cutoffs DomReds
89.24/89.56 c dualfix : 1 0 0 0
89.24/89.56 c genvbounds : 0 0 0 0
89.24/89.56 c nlobbt : 0 0 0 0
89.24/89.56 c obbt : 0 0 0 0
89.24/89.56 c probing : 0 0 0 0
89.24/89.56 c pseudoobj : 0 0 0 0
89.24/89.56 c redcost : 0 0 0 0
89.24/89.56 c rootredcost : 0 0 0 0
89.24/89.56 c symmetry : 0 0 0 0
89.24/89.56 c vbounds : 2235 0 0 0
89.24/89.56 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
89.24/89.56 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
89.24/89.56 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c probing : 19.48 0.00 19.48 0.00 0.00 0.00
89.24/89.56 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
89.24/89.56 c symmetry : 0.19 0.00 0.18 0.01 0.00 0.00
89.24/89.56 c vbounds : 0.05 0.00 0.01 0.04 0.00 0.00
89.24/89.56 c Symmetry :
89.24/89.56 c #affected vars : 2568 (2568 bin, 0 int, 0 cont)
89.24/89.56 c orbitopal red. : 0 reductions applied, 0 cutoffs
89.24/89.56 c orbital reduction: 0 reductions applied, 0 cutoffs
89.24/89.56 c lexicographic red: 0 reductions applied, 0 cutoffs
89.24/89.56 c shadow tree time : 0.00 s
89.24/89.56 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
89.24/89.56 c propagation : 0.01 120 12 - 12 398.6 0 0.0 - - -
89.24/89.56 c infeasible LP : 0.61 199 136 - 901 345.0 0 0.0 1 2671.0 0
89.24/89.56 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
89.24/89.56 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
89.24/89.56 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
89.24/89.56 c applied globally : 0.30 - - 0 429 225.8 - - 1 - -
89.24/89.56 c applied locally : - - - 0 1 4761.0 - - 0 - -
89.24/89.56 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
89.24/89.56 c cut pool : 0.00 - 58 21 - - 132 493 - - - - - (maximal pool size: 132)
89.24/89.56 c aggregation : 0.05 0.00 34 11 0 0 0 0 0 0 0 0 0
89.24/89.56 c > cmir : - - - - - - - 0 0 0 0 0 -
89.24/89.56 c > flowcover : - - - - - - - 0 0 0 0 0 -
89.24/89.56 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
89.24/89.56 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c clique : 0.19 0.00 11 11 0 0 94 346 0 82 82 0 0
89.24/89.56 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c gomory : 2.84 0.00 33 10 0 0 18 89 0 12 12 0 0
89.24/89.56 c > gomorymi : - - - - - - - 51 0 3 3 0 -
89.24/89.56 c > strongcg : - - - - - - - 38 0 9 9 0 -
89.24/89.56 c impliedbounds : 0.06 0.00 34 11 0 0 0 0 0 0 0 0 0
89.24/89.56 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
89.24/89.56 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c multilinear : 0.00 0.00 26 11 0 0 0 0 0 0 0 0 0
89.24/89.56 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
89.24/89.56 c rapidlearning : 1.63 0.00 15 1 0 0 0 0 0 0 0 0 1
89.24/89.56 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
89.24/89.56 c zerohalf : 0.14 0.00 34 11 0 0 56 58 36 62 35 27 0
89.24/89.56 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
89.24/89.56 c hybrid : 0.00 0.00 40 11 156 0 373 46 0 173
89.24/89.56 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c Pricers : ExecTime SetupTime Calls Vars
89.24/89.56 c problem variables: 0.00 - 0 0
89.24/89.56 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
89.24/89.56 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c random : 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c relpscost : 2.08 0.00 197 0 0 0 0 0 0 394
89.24/89.56 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
89.24/89.56 c Primal Heuristics : ExecTime SetupTime Calls Found Best
89.24/89.56 c LP solutions : 0.00 - - 0 0
89.24/89.56 c relax solutions : 0.00 - - 0 0
89.24/89.56 c pseudo solutions : 0.00 - - 0 0
89.24/89.56 c strong branching : 0.00 - - 0 0
89.24/89.56 c actconsdiving : 0.00 0.00 0 0 0
89.24/89.56 c adaptivediving : 0.00 0.00 0 0 0
89.24/89.56 c alns : 1.33 0.00 4 0 0
89.24/89.56 c bound : 0.00 0.00 0 0 0
89.24/89.56 c clique : 0.03 0.00 1 0 0
89.24/89.56 c coefdiving : 0.00 0.00 0 0 0
89.24/89.56 c completesol : 0.00 0.00 0 0 0
89.24/89.56 c conflictdiving : 1.86 0.00 1 0 0
89.24/89.56 c crossover : 0.00 0.00 0 0 0
89.24/89.56 c dins : 0.00 0.00 0 0 0
89.24/89.56 c distributiondivin: 0.03 0.00 0 0 0
89.24/89.56 c dks : 0.00 0.00 0 0 0
89.24/89.56 c dps : 0.00 0.00 0 0 0
89.24/89.56 c dualval : 0.00 0.00 0 0 0
89.24/89.56 c farkasdiving : 0.00 0.00 0 0 0
89.24/89.56 c feaspump : 0.79 0.00 1 0 0
89.24/89.56 c fixandinfer : 0.00 0.00 0 0 0
89.24/89.56 c fracdiving : 0.00 0.00 0 0 0
89.24/89.56 c gins : 0.00 0.00 0 0 0
89.24/89.56 c guideddiving : 0.00 0.00 0 0 0
89.24/89.56 c indicator : 0.00 0.00 0 0 0
89.24/89.56 c indicatordiving : 0.00 0.00 0 0 0
89.24/89.56 c intdiving : 0.00 0.00 0 0 0
89.24/89.56 c intshifting : 0.00 0.00 0 0 0
89.24/89.56 c linesearchdiving : 0.00 0.00 0 0 0
89.24/89.56 c localbranching : 0.00 0.00 0 0 0
89.24/89.56 c locks : 0.05 0.00 1 0 0
89.24/89.56 c lpface : 0.00 0.00 0 0 0
89.24/89.56 c mpec : 0.00 0.00 0 0 0
89.24/89.56 c multistart : 0.00 0.00 0 0 0
89.24/89.56 c mutation : 0.00 0.00 0 0 0
89.24/89.56 c nlpdiving : 0.00 0.00 0 0 0
89.24/89.56 c objpscostdiving : 0.00 0.00 0 0 0
89.24/89.56 c octane : 0.00 0.00 0 0 0
89.24/89.56 c ofins : 0.00 0.00 0 0 0
89.24/89.56 c oneopt : 0.00 0.00 0 0 0
89.24/89.56 c padm : 0.00 0.00 0 0 0
89.24/89.56 c proximity : 0.00 0.00 0 0 0
89.24/89.56 c pscostdiving : 0.00 0.00 0 0 0
89.24/89.56 c randrounding : 0.19 0.00 22 0 0
89.24/89.56 c rens : 0.06 0.00 1 0 0
89.24/89.56 c reoptsols : 0.00 0.00 0 0 0
89.24/89.56 c repair : 0.00 0.00 0 0 0
89.24/89.56 c rins : 0.00 0.00 0 0 0
89.24/89.56 c rootsoldiving : 0.00 0.00 0 0 0
89.24/89.56 c rounding : 0.41 0.00 152 0 0
89.24/89.56 c scheduler : 0.00 0.00 0 0 0
89.24/89.56 c shiftandpropagate: 0.48 0.00 1 0 0
89.24/89.56 c shifting : 0.83 0.00 53 0 0
89.24/89.56 c simplerounding : 0.00 0.00 0 0 0
89.24/89.56 c subnlp : 0.00 0.00 0 0 0
89.24/89.56 c trivial : 0.00 0.00 2 0 0
89.24/89.56 c trivialnegation : 0.00 0.00 0 0 0
89.24/89.56 c trustregion : 0.00 0.00 0 0 0
89.24/89.56 c trysol : 0.00 0.00 0 0 0
89.24/89.56 c twoopt : 0.00 0.00 0 0 0
89.24/89.56 c undercover : 0.00 0.00 0 0 0
89.24/89.56 c vbounds : 0.56 0.00 1 0 0
89.24/89.56 c veclendiving : 0.00 0.00 0 0 0
89.24/89.56 c zeroobj : 0.00 0.00 0 0 0
89.24/89.56 c zirounding : 0.02 0.00 197 0 0
89.24/89.56 c other solutions : - - - 0 -
89.24/89.56 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
89.24/89.56 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
89.24/89.56 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
89.24/89.56 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
89.24/89.56 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
89.24/89.56 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
89.24/89.56 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
89.24/89.56 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
89.24/89.56 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
89.24/89.56 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
89.24/89.56 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
89.24/89.56 c primal LP : 0.03 13 0 0.00 0.00 0.03 13
89.24/89.56 c dual LP : 53.28 434 268941 619.68 5047.97 0.00 0
89.24/89.56 c lex dual LP : 0.00 0 0 0.00 -
89.24/89.56 c barrier LP : 0.00 0 0 0.00 - 0.00 0
89.24/89.56 c resolve instable : 0.00 0 0 0.00 -
89.24/89.56 c diving/probing LP: 2.61 16 13891 868.19 5319.13
89.24/89.56 c strong branching : 1.97 11 7491 681.00 3800.48 - - 10
89.24/89.56 c (at root node) : - 11 7491 681.00 -
89.24/89.56 c conflict analysis: 0.00 0 0 0.00 -
89.24/89.56 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
89.24/89.56 c benders : 0.00 0 0 0 0.00 0 0 0
89.24/89.56 c B&B Tree :
89.24/89.56 c number of runs : 1
89.24/89.56 c nodes : 394 (197 internal, 197 leaves)
89.24/89.56 c feasible leaves : 0
89.24/89.56 c infeas. leaves : 197
89.24/89.56 c objective leaves : 0
89.24/89.56 c nodes (total) : 394 (197 internal, 197 leaves)
89.24/89.56 c nodes left : 0
89.24/89.56 c max depth : 36
89.24/89.56 c max depth (total): 36
89.24/89.56 c backtracks : 45 (11.4%)
89.24/89.56 c early backtracks : 0 (0.0%)
89.24/89.56 c nodes exc. ref. : 0 (0.0%)
89.24/89.56 c delayed cutoffs : 1
89.24/89.56 c repropagations : 665 (10006 domain reductions, 1 cutoffs)
89.24/89.56 c avg switch length: 4.90
89.24/89.56 c switching time : 0.16
89.24/89.56 c Root Node :
89.24/89.56 c First LP value : +0.00000000000000e+00
89.24/89.56 c First LP Iters : 4177 (4472.34 Iter/sec)
89.24/89.56 c First LP Time : 0.93
89.24/89.56 c Final Dual Bound : -
89.24/89.56 c Final Root Iters : 15383
89.24/89.56 c Root LP Estimate : +3.57824480733138e-03
89.24/89.56 c Solution :
89.24/89.56 c Solutions found : 0 (0 improvements)
89.24/89.56 c Primal Bound : infeasible
89.24/89.56 c Dual Bound : -
89.24/89.56 c Gap : 0.00 %
89.24/89.56 c Integrals : Total Avg%
89.24/89.56 c primal-dual : - - (problem infeasible)
89.24/89.56 c primal-ref : - - (problem infeasible)
89.24/89.56 c dual-ref : - - (problem infeasible)
89.34/89.60 c Time complete (sec): 89.346
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 (61278 MiB free)
memory of node 1: 64465 MiB (47781 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515249-1751233927/watcher-4515249-1751233927 -o /tmp/evaluation-result-4515249-1751233927/solver-4515249-1751233927 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751233442-41919 --watchdog 3760 pbsolver -f HOME/instance-4515249-1751233927.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
Current StackSize limit: 8192 KiB
solver pid=42135, runsolver pid=42132
[startup+0.100064 s]*
/proc/loadavg: 4.10 4.15 4.09 5/264 42136
/proc/meminfo: memFree=111645060/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=55440 memory=46008 CPUtime=0.09 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 11804 0 0 0 8 1 0 0 20 0 1 0 39071508 56770560 11502 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 13860 11502 2496 2575 0 10767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55440 KiB
Current children cumulated memory: 46008 KiB
[startup+0.205326 s]*
/proc/loadavg: 4.10 4.15 4.09 5/264 42136
/proc/meminfo: memFree=111629184/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=67264 memory=57912 CPUtime=0.2 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 14732 0 0 0 18 2 0 0 20 0 1 0 39071508 68878336 14478 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 16816 14478 2560 2575 0 13723 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67264 KiB
Current children cumulated memory: 57912 KiB
[startup+0.305312 s]*
/proc/loadavg: 4.10 4.15 4.09 5/264 42136
/proc/meminfo: memFree=111629184/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=67752 memory=58424 CPUtime=0.3 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 14875 0 0 0 28 2 0 0 20 0 1 0 39071508 69378048 14606 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 16938 14606 2560 2575 0 13845 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67752 KiB
Current children cumulated memory: 58424 KiB
[startup+0.700165 s]
/proc/loadavg: 4.10 4.15 4.09 5/264 42136
/proc/meminfo: memFree=111629184/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=75652 memory=65592 CPUtime=0.69 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 16667 0 0 0 67 2 0 0 20 0 1 0 39071508 77467648 16398 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 18913 16398 2560 2575 0 15820 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75652 KiB
Current children cumulated memory: 65592 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.15 4.09 5/264 42136
/proc/meminfo: memFree=111621120/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=75652 memory=65592 CPUtime=1.48 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 16667 0 0 0 146 2 0 0 20 0 1 0 39071508 77467648 16398 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 18913 16398 2560 2575 0 15820 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75652 KiB
Current children cumulated memory: 65592 KiB
[startup+3.10521 s]
/proc/loadavg: 4.10 4.15 4.09 5/264 42136
/proc/meminfo: memFree=111548576/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=164548 memory=144312 CPUtime=3.09 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 36407 0 0 0 304 5 0 0 20 0 1 0 39071508 168497152 36078 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 41137 36078 2592 2575 0 38044 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 164548 KiB
Current children cumulated memory: 144312 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.15 4.09 5/264 42136
/proc/meminfo: memFree=111708624/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=164548 memory=144312 CPUtime=6.28 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 36411 0 0 0 623 5 0 0 20 0 1 0 39071508 168497152 36078 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 41137 36078 2592 2575 0 38044 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 164548 KiB
Current children cumulated memory: 144312 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.15 4.09 5/264 42136
/proc/meminfo: memFree=114746060/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=166232 memory=145976 CPUtime=12.66 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 36808 0 0 0 1261 5 0 0 20 0 1 0 39071508 170221568 36494 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 41558 36494 2592 2575 0 38465 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 166232 KiB
Current children cumulated memory: 145976 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.14 4.09 5/264 42136
/proc/meminfo: memFree=114477528/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=234920 memory=211760 CPUtime=25.41 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 54928 0 0 0 2534 7 0 0 20 0 1 0 39071508 240558080 52940 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 58730 52940 2656 2575 0 55637 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 234920 KiB
Current children cumulated memory: 211760 KiB
[startup+51.1052 s]
/proc/loadavg: 4.10 4.14 4.09 5/264 42136
/proc/meminfo: memFree=114433896/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=246496 memory=225232 CPUtime=50.95 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 59848 0 0 0 5086 9 0 0 20 0 1 0 39071508 252411904 56308 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 61624 56308 2656 2575 0 58531 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 246496 KiB
Current children cumulated memory: 225232 KiB
[startup+89.611 s]
# the end of solver process 42135 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=89.2431 s, system=0.113655 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.10 4.14 4.09 5/264 42136
/proc/meminfo: memFree=114433896/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=246496 memory=225232 CPUtime=51.05 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 59848 0 0 0 5096 9 0 0 20 0 1 0 39071508 252411904 56308 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 61624 56308 2656 2575 0 58531 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 246496 KiB
Current children cumulated memory: 225232 KiB
[startup+76.8001 s]
/proc/loadavg: 4.15 4.15 4.09 5/264 42138
/proc/meminfo: memFree=113455740/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=265648 memory=244096 CPUtime=76.58 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 67373 0 0 0 7648 10 0 0 20 0 1 0 39071508 272023552 61024 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 66412 61024 2656 2575 0 63319 0
Current children cumulated CPU time: 76.58 s
Current children cumulated vsize: 265648 KiB
Current children cumulated memory: 244096 KiB
[startup+83.2001 s]
/proc/loadavg: 4.13 4.15 4.09 5/264 42138
/proc/meminfo: memFree=112432368/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=265648 memory=244096 CPUtime=82.96 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 67374 0 0 0 8286 10 0 0 20 0 1 0 39071508 272023552 61024 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 66412 61024 2656 2575 0 63319 0
Current children cumulated CPU time: 82.96 s
Current children cumulated vsize: 265648 KiB
Current children cumulated memory: 244096 KiB
[startup+86.4001 s]
/proc/loadavg: 4.12 4.14 4.09 5/264 42138
/proc/meminfo: memFree=112231524/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=265648 memory=244096 CPUtime=86.15 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 67374 0 0 0 8605 10 0 0 20 0 1 0 39071508 272023552 61024 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 66412 61024 2656 2575 0 63319 0
Current children cumulated CPU time: 86.15 s
Current children cumulated vsize: 265648 KiB
Current children cumulated memory: 244096 KiB
[startup+88.0001 s]*
/proc/loadavg: 4.12 4.14 4.09 5/264 42138
/proc/meminfo: memFree=112231524/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=265648 memory=244096 CPUtime=87.75 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 67374 0 0 0 8765 10 0 0 20 0 1 0 39071508 272023552 61024 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 66412 61024 2656 2575 0 63319 0
Current children cumulated CPU time: 87.75 s
Current children cumulated vsize: 265648 KiB
Current children cumulated memory: 244096 KiB
[startup+88.8001 s]
/proc/loadavg: 4.12 4.14 4.09 5/264 42138
/proc/meminfo: memFree=112231524/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=265648 memory=244096 CPUtime=88.54 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 67374 0 0 0 8844 10 0 0 20 0 1 0 39071508 272023552 61024 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 66412 61024 2656 2575 0 63319 0
Current children cumulated CPU time: 88.54 s
Current children cumulated vsize: 265648 KiB
Current children cumulated memory: 244096 KiB
[startup+89.2001 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 42138
/proc/meminfo: memFree=112231524/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=265648 memory=244096 CPUtime=88.94 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 67374 0 0 0 8884 10 0 0 20 0 1 0 39071508 272023552 61024 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 66412 61024 2656 2575 0 63319 0
Current children cumulated CPU time: 88.94 s
Current children cumulated vsize: 265648 KiB
Current children cumulated memory: 244096 KiB
[startup+89.6001 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 42138
/proc/meminfo: memFree=112231524/131249992 swapFree=33010684/33010684
[pid=42135] ppid=42132 vsize=232068 memory=216948 CPUtime=89.34 cores=4,6
/proc/42135/stat : 42135 (pbsolver) R 42132 42135 41475 0 -1 4194304 67374 0 0 0 8924 10 0 0 20 0 1 0 39071508 237637632 54237 18446744073709551615 4198400 14743177 140731374992400 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47554560 140731374995850 140731374995946 140731374995946 140731375001548 0
/proc/42135/statm: 58017 54237 2656 2575 0 54924 0
Current children cumulated CPU time: 89.34 s
Current children cumulated vsize: 232068 KiB
Current children cumulated memory: 216948 KiB
Child status: 0
Real time (s): 89.6111
CPU time (s): 89.3568
CPU user time (s): 89.2431
CPU system time (s): 0.113655
CPU usage (%): 99.7162
Max. virtual memory (cumulated for all children) (KiB): 265648
Max. memory (cumulated for all children) (KiB): 244096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.2431
system time used= 0.113655
maximum resident set size= 244096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67374
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= 3
involuntary context switches= 541
# summary of solver processes directly reported to runsolver:
# pid: 42135
# total CPU time (s): 89.3568
# total CPU user time (s): 89.2431
# total CPU system time (s): 0.113655
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.180641 second user time and 0.38035 second system time
The end
Begin job on nodeC025 at 2025-06-29 23:52:07 IDJOB=4515249 IDBENCH=164254 IDSOLVER=3366 FILE ID=nodeC025/4515249-1751233927 RUNJOBID= nodeC025-1751233442-41919 SLURM_JOB_ID= 9587699 Free space on /tmp= 432584 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab71-20-100.0.u.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515249-1751233927/watcher-4515249-1751233927 -o /tmp/evaluation-result-4515249-1751233927/solver-4515249-1751233927 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751233442-41919 --watchdog 3760 pbsolver -f HOME/instance-4515249-1751233927.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5a0bcd4a9e5bc1c51804f47b1691eae0 RANDOM SEED=189129035 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.836 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 : 3599.856 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 : 3598.182 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 : 3603.325 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 : 3602.690 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.758 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 : 3599.862 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 : 3700.000 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: 111677064 kB MemAvailable: 114524728 kB Buffers: 3280 kB Cached: 3648056 kB SwapCached: 0 kB Active: 15586136 kB Inactive: 3343820 kB Active(anon): 15296704 kB Inactive(anon): 0 kB Active(file): 289432 kB Inactive(file): 3343820 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15464 kB Writeback: 16 kB AnonPages: 15279800 kB Mapped: 134400 kB Shmem: 18084 kB KReclaimable: 107300 kB Slab: 194620 kB SReclaimable: 107300 kB SUnreclaim: 87320 kB KernelStack: 4256 kB PageTables: 33636 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 17205404 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 5257216 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:53:37