| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 16.3714 | 16.4199 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_092.opb |
| MD5SUM | 5c5515a98844bb1e4abadd55fcb10579 |
| 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 | 5.84433 |
| 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 | 256710 |
| Total number of constraints | 5551 |
| Number of constraints which are clauses | 2791 |
| Number of constraints which are cardinality constraints (but not clauses) | 2760 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 93 |
| 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 | 29 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 94 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-4543800-1753214968.opb>
0.30/0.33 c original problem has 256710 variables (256710 bin, 0 int, 0 cont) and 5551 constraints
0.30/0.33 c problem read in 0.332 seconds
0.30/0.33 c problem without objective
0.78/0.83 c presolving:
1.09/1.16 c (1.2s) running MILP presolver
1.48/1.52 c (1.5s) MILP presolver found nothing
1.78/1.85 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2790 upgd conss, 0 impls, 2760 clqs
2.08/2.15 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5551 upgd conss, 0 impls, 2760 clqs
4.98/5.04 c (5.0s) probing: 51/256710 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.98/5.04 c (5.0s) probing aborted: 50/50 successive totally useless probings
5.08/5.19 c (5.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
5.68/5.74 c (5.7s) symmetry computation finished: 249 generators found (max: 249, log10 of symmetry group size: 378.75) (symcode time: 0.38)
5.68/5.77 c dynamic symmetry handling statistics:
5.68/5.77 c orbitopal reduction: no components
5.68/5.77 c orbital reduction: no components
5.68/5.77 c lexicographic reduction: no permutations
5.68/5.77 c handled 3 out of 3 symmetry components
5.68/5.79 c (round 3, exhaustive) 10650 del vars, 0 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5551 upgd conss, 0 impls, 2760 clqs
5.78/5.84 c (round 4, fast) 11020 del vars, 2 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 10650 chg coeffs, 5551 upgd conss, 0 impls, 2756 clqs
5.78/5.88 c (round 5, fast) 11750 del vars, 10 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 11014 chg coeffs, 5551 upgd conss, 0 impls, 2752 clqs
5.88/5.92 c (round 6, fast) 12464 del vars, 18 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 11370 chg coeffs, 5551 upgd conss, 0 impls, 2748 clqs
5.88/5.96 c (round 7, fast) 13162 del vars, 26 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 11718 chg coeffs, 5551 upgd conss, 0 impls, 2744 clqs
5.98/6.00 c (round 8, fast) 13844 del vars, 34 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 12058 chg coeffs, 5551 upgd conss, 0 impls, 2740 clqs
5.98/6.04 c (round 9, fast) 14510 del vars, 42 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 12390 chg coeffs, 5551 upgd conss, 0 impls, 2736 clqs
5.98/6.08 c (round 10, fast) 15160 del vars, 50 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 12714 chg coeffs, 5551 upgd conss, 0 impls, 2732 clqs
6.08/6.12 c (round 11, fast) 15794 del vars, 58 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 13030 chg coeffs, 5551 upgd conss, 0 impls, 2728 clqs
6.08/6.16 c (round 12, fast) 16412 del vars, 66 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 13338 chg coeffs, 5551 upgd conss, 0 impls, 2724 clqs
6.17/6.20 c (round 13, fast) 17014 del vars, 74 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 13638 chg coeffs, 5551 upgd conss, 0 impls, 2720 clqs
6.17/6.24 c (round 14, fast) 17600 del vars, 82 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 13930 chg coeffs, 5551 upgd conss, 0 impls, 2716 clqs
6.17/6.28 c (round 15, fast) 18170 del vars, 90 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 14214 chg coeffs, 5551 upgd conss, 0 impls, 2712 clqs
6.27/6.32 c (round 16, fast) 18724 del vars, 98 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 14490 chg coeffs, 5551 upgd conss, 0 impls, 2708 clqs
6.27/6.35 c (round 17, fast) 19262 del vars, 106 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 14758 chg coeffs, 5551 upgd conss, 0 impls, 2704 clqs
6.27/6.39 c (round 18, fast) 19784 del vars, 114 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 15018 chg coeffs, 5551 upgd conss, 0 impls, 2700 clqs
6.37/6.43 c (round 19, fast) 20290 del vars, 122 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 15270 chg coeffs, 5551 upgd conss, 0 impls, 2696 clqs
6.37/6.47 c (round 20, fast) 20780 del vars, 130 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 15514 chg coeffs, 5551 upgd conss, 0 impls, 2692 clqs
6.47/6.51 c (round 21, fast) 21254 del vars, 138 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 15750 chg coeffs, 5551 upgd conss, 0 impls, 2688 clqs
6.47/6.55 c (round 22, fast) 21712 del vars, 146 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 15978 chg coeffs, 5551 upgd conss, 0 impls, 2684 clqs
6.47/6.59 c (round 23, fast) 22154 del vars, 154 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 16198 chg coeffs, 5551 upgd conss, 0 impls, 2680 clqs
6.57/6.62 c (round 24, fast) 22580 del vars, 162 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 16410 chg coeffs, 5551 upgd conss, 0 impls, 2676 clqs
6.57/6.66 c (round 25, fast) 22990 del vars, 170 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 16614 chg coeffs, 5551 upgd conss, 0 impls, 2672 clqs
6.67/6.70 c (round 26, fast) 23384 del vars, 178 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 16810 chg coeffs, 5551 upgd conss, 0 impls, 2668 clqs
6.67/6.74 c (round 27, fast) 23762 del vars, 186 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 16998 chg coeffs, 5551 upgd conss, 0 impls, 2664 clqs
6.67/6.78 c (round 28, fast) 24124 del vars, 194 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 17178 chg coeffs, 5551 upgd conss, 0 impls, 2660 clqs
6.77/6.82 c (round 29, fast) 24470 del vars, 202 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 17350 chg coeffs, 5551 upgd conss, 0 impls, 2656 clqs
6.77/6.85 c (round 30, fast) 24800 del vars, 210 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 17514 chg coeffs, 5551 upgd conss, 0 impls, 2652 clqs
6.77/6.89 c (round 31, fast) 25114 del vars, 218 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 17670 chg coeffs, 5551 upgd conss, 0 impls, 2648 clqs
6.87/6.93 c (round 32, fast) 25412 del vars, 226 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 17818 chg coeffs, 5551 upgd conss, 0 impls, 2644 clqs
6.87/6.97 c (round 33, fast) 25694 del vars, 234 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 17958 chg coeffs, 5551 upgd conss, 0 impls, 2640 clqs
6.98/7.01 c (round 34, fast) 25960 del vars, 242 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18090 chg coeffs, 5551 upgd conss, 0 impls, 2636 clqs
6.98/7.04 c (round 35, fast) 26210 del vars, 250 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18214 chg coeffs, 5551 upgd conss, 0 impls, 2632 clqs
6.98/7.08 c (round 36, fast) 26444 del vars, 258 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18330 chg coeffs, 5551 upgd conss, 0 impls, 2628 clqs
7.08/7.12 c (round 37, fast) 26662 del vars, 266 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18438 chg coeffs, 5551 upgd conss, 0 impls, 2624 clqs
7.08/7.16 c (round 38, fast) 26864 del vars, 274 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18538 chg coeffs, 5551 upgd conss, 0 impls, 2620 clqs
7.17/7.20 c (round 39, fast) 27050 del vars, 282 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18630 chg coeffs, 5551 upgd conss, 0 impls, 2616 clqs
7.17/7.23 c (round 40, fast) 27220 del vars, 290 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18714 chg coeffs, 5551 upgd conss, 0 impls, 2612 clqs
7.17/7.27 c (round 41, fast) 27374 del vars, 298 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18790 chg coeffs, 5551 upgd conss, 0 impls, 2608 clqs
7.27/7.31 c (round 42, fast) 27512 del vars, 306 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18858 chg coeffs, 5551 upgd conss, 0 impls, 2604 clqs
7.27/7.35 c (round 43, fast) 27634 del vars, 314 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18918 chg coeffs, 5551 upgd conss, 0 impls, 2600 clqs
7.27/7.38 c (round 44, fast) 27740 del vars, 322 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 18970 chg coeffs, 5551 upgd conss, 0 impls, 2596 clqs
7.37/7.42 c (round 45, fast) 27830 del vars, 330 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 19014 chg coeffs, 5551 upgd conss, 0 impls, 2592 clqs
7.37/7.46 c (round 46, fast) 27904 del vars, 338 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 19050 chg coeffs, 5551 upgd conss, 0 impls, 2588 clqs
7.47/7.50 c (round 47, fast) 27962 del vars, 346 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 19078 chg coeffs, 5551 upgd conss, 0 impls, 2584 clqs
7.47/7.53 c (round 48, fast) 28004 del vars, 354 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 19098 chg coeffs, 5551 upgd conss, 0 impls, 2580 clqs
7.47/7.57 c (round 49, fast) 28030 del vars, 362 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 19110 chg coeffs, 5551 upgd conss, 0 impls, 2576 clqs
7.57/7.61 c (round 50, fast) 28040 del vars, 370 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 19116 chg coeffs, 5551 upgd conss, 0 impls, 2576 clqs
10.07/10.13 c (10.1s) probing: 109/256710 (0.0%) - 0 fixings, 0 aggregations, 39 implications, 0 bound changes
10.07/10.13 c (10.1s) probing aborted: 50/50 successive totally useless probings
10.16/10.26 c presolving (51 rounds: 51 fast, 4 medium, 4 exhaustive):
10.16/10.26 c 28040 deleted vars, 372 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 19116 changed coefficients
10.16/10.26 c 0 implications, 2615 cliques
10.16/10.26 c presolved problem has 237318 variables (237318 bin, 0 int, 0 cont) and 5182 constraints
10.16/10.26 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
10.16/10.26 c 2576 constraints of type <setppc>
10.16/10.26 c 1 constraints of type <orbitope_pp>
10.16/10.26 c 2605 constraints of type <logicor>
10.16/10.26 c transformed objective value is always integral (scale: 1)
10.16/10.26 c Presolving Time: 9.52
10.16/10.26 c
10.16/10.26 c - non default parameters ----------------------------------------------------------------------
10.16/10.26 c
10.16/10.26 c # SCIP version 10.0.0
10.16/10.26 c
10.16/10.26 c # maximal time in seconds to run
10.16/10.26 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
10.16/10.26 c limits/time = 3596.998009
10.16/10.26 c
10.16/10.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.16/10.26 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
10.16/10.26 c limits/memory = 27900
10.16/10.26 c
10.16/10.26 c # belongs reading time to solving time?
10.16/10.26 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
10.16/10.26 c timing/reading = TRUE
10.16/10.26 c
10.16/10.26 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
10.16/10.26 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
10.16/10.26 c reading/opbreader/maxintsize = 47
10.16/10.26 c
10.16/10.26 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
10.16/10.26 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
10.16/10.26 c propagating/genvbounds/timingmask = 0
10.16/10.26 c
10.16/10.26 c -----------------------------------------------------------------------------------------------
10.26/10.31 c
15.74/15.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.74/15.85 c 15.9s| 1 | 0 | 27873 | - | 1150M | 0 | 237k|5210 |5181 | 0 | 0 | 28 | 0 | cutoff | -- | 0.00%| unknown
15.74/15.85 c 15.9s| 1 | 0 | 27873 | - | 1150M | 0 | 237k|5210 |5181 | 0 | 0 | 28 | 0 | cutoff | -- | 0.00%| unknown
15.74/15.85 c
15.74/15.85 c SCIP Status : problem is solved [infeasible]
15.74/15.85 c Solving Time (sec) : 15.85
15.74/15.85 c Solving Nodes : 1
15.74/15.85 c Primal Bound : +1.00000000000000e+20 (0 solutions)
15.74/15.85 c Dual Bound : +1.00000000000000e+20
15.74/15.85 c Gap : 0.00 %
15.74/15.85 s UNSATISFIABLE
15.74/15.85 c SCIP Status : problem is solved [infeasible]
15.74/15.85 c Total Time : 15.85
15.74/15.85 c solving : 15.85
15.74/15.85 c presolving : 9.52 (included in solving)
15.74/15.85 c reading : 0.33 (included in solving)
15.74/15.85 c copying : 0.00 (0 times copied the problem)
15.74/15.85 c Original Problem :
15.74/15.85 c Problem name : HOME/instance-4543800-1753214968.opb
15.74/15.85 c Variables : 256710 (256710 binary, 0 integer, 0 continuous)
15.74/15.85 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
15.74/15.85 c Constraints : 5551 initial, 5551 maximal
15.74/15.86 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
15.74/15.86 c Presolved Problem :
15.74/15.86 c Problem name : t_HOME/instance-4543800-1753214968.opb
15.74/15.86 c Variables : 237318 (237318 binary, 0 integer, 0 continuous)
15.74/15.86 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
15.74/15.86 c Constraints : 5182 initial, 5210 maximal
15.74/15.86 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
15.74/15.86 c Nonzeros : 480892 constraint, 237368 clique table
15.74/15.86 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
15.74/15.86 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c domcol : 0.23 0.00 2 0 0 0 0 0 0 0 0 0
15.74/15.86 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c dualsparsify : 0.15 0.00 1 0 0 0 0 0 0 0 0 0
15.74/15.86 c gateextraction : 0.08 0.00 2 0 0 0 0 0 0 0 0 0
15.74/15.86 c implics : 0.02 0.00 4 0 0 0 0 0 0 0 0 0
15.74/15.86 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c milp : 0.58 0.00 1 0 0 0 0 0 0 0 0 0
15.74/15.86 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c sparsify : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
15.74/15.86 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c trivial : 0.40 0.00 51 8648 0 0 0 0 0 0 0 0
15.74/15.86 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c dualfix : 0.37 0.00 51 0 0 0 0 0 0 0 0 0
15.74/15.86 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c probing : 4.24 0.01 2 0 0 0 0 0 0 0 0 0
15.74/15.86 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c symmetry : 0.60 0.00 1 10650 0 0 0 0 0 3 0 0
15.74/15.86 c vbounds : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
15.74/15.86 c setppc : 0.87 0.01 53 0 0 0 0 0 184 0 0 0
15.74/15.86 c linear : 0.52 0.06 4 0 0 0 0 0 0 0 0 0
15.74/15.86 c orbitope_pp : 0.00 0.00 1 0 0 0 0 0 2 0 0 0
15.74/15.86 c logicor : 0.99 0.01 55 94 0 0 0 0 186 0 0 19116
15.74/15.86 c components : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
15.74/15.86 c root node : - - - 0 - - 0 - - - - -
15.74/15.86 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
15.74/15.86 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
15.74/15.86 c setppc : 2576 2576 0 4637 0 0 0 3 1589 99 0 0 0 0 0
15.74/15.86 c orbitope_pp : 1 1 0 4438 0 0 0 1 1852 0 0 0 0 0 0
15.74/15.86 c logicor : 2605+ 2633 0 3161 0 0 0 1 22 17 0 0 0 0 0
15.74/15.86 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.74/15.86 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
15.74/15.86 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c setppc : 0.11 0.01 0.05 0.05 0.00 0.00 0.00 0.01 0.00 0.00
15.74/15.86 c orbitope_pp : 0.08 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c logicor : 0.13 0.01 0.03 0.09 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c fixedvar : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c Propagators : #Propagate #ResProp Cutoffs DomReds
15.74/15.86 c dualfix : 1 0 0 0
15.74/15.86 c genvbounds : 0 0 0 0
15.74/15.86 c nlobbt : 0 0 0 0
15.74/15.86 c obbt : 0 0 0 0
15.74/15.86 c probing : 0 0 0 0
15.74/15.86 c pseudoobj : 0 0 0 0
15.74/15.86 c redcost : 0 0 0 0
15.74/15.86 c rootredcost : 0 0 0 0
15.74/15.86 c symmetry : 0 0 0 0
15.74/15.86 c vbounds : 893 0 0 0
15.74/15.86 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
15.74/15.86 c dualfix : 0.38 0.00 0.37 0.01 0.00 0.00
15.74/15.86 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c probing : 4.25 0.01 4.24 0.00 0.00 0.00
15.74/15.86 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.74/15.86 c symmetry : 0.60 0.00 0.60 0.00 0.00 0.00
15.74/15.86 c vbounds : 0.15 0.00 0.08 0.06 0.00 0.00
15.74/15.86 c Symmetry :
15.74/15.87 c #affected vars : 23184 (23184 bin, 0 int, 0 cont)
15.74/15.87 c orbitopal red. : 0 reductions applied, 0 cutoffs
15.74/15.87 c orbital reduction: 0 reductions applied, 0 cutoffs
15.74/15.87 c lexicographic red: 0 reductions applied, 0 cutoffs
15.74/15.87 c shadow tree time : 0.00 s
15.74/15.87 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
15.74/15.87 c propagation : 0.00 105 19 - 43 120.3 0 0.0 - - -
15.74/15.87 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
15.74/15.87 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
15.74/15.87 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
15.74/15.87 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
15.74/15.87 c applied globally : 0.00 - - 0 28 92.7 - - 0 - -
15.74/15.87 c applied locally : - - - 0 0 0.0 - - 0 - -
15.74/15.87 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
15.74/15.87 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
15.74/15.87 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c > cmir : - - - - - - - 0 0 0 0 0 -
15.74/15.87 c > flowcover : - - - - - - - 0 0 0 0 0 -
15.74/15.87 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
15.74/15.87 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c > gomorymi : - - - - - - - 0 0 0 0 0 -
15.74/15.87 c > strongcg : - - - - - - - 0 0 0 0 0 -
15.74/15.87 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.74/15.87 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
15.74/15.87 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c Pricers : ExecTime SetupTime Calls Vars
15.74/15.87 c problem variables: 0.00 - 0 0
15.74/15.87 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
15.74/15.87 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c random : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
15.74/15.87 c Primal Heuristics : ExecTime SetupTime Calls Found Best
15.74/15.87 c LP solutions : 0.00 - - 0 0
15.74/15.87 c relax solutions : 0.00 - - 0 0
15.74/15.87 c pseudo solutions : 0.00 - - 0 0
15.74/15.87 c strong branching : 0.00 - - 0 0
15.74/15.87 c actconsdiving : 0.00 0.00 0 0 0
15.74/15.87 c adaptivediving : 0.00 0.00 0 0 0
15.74/15.87 c alns : 0.00 0.00 0 0 0
15.74/15.87 c bound : 0.00 0.00 0 0 0
15.74/15.87 c clique : 1.74 0.00 1 0 0
15.74/15.87 c coefdiving : 0.00 0.00 0 0 0
15.74/15.87 c completesol : 0.00 0.00 0 0 0
15.74/15.87 c conflictdiving : 0.00 0.00 0 0 0
15.74/15.87 c crossover : 0.00 0.00 0 0 0
15.74/15.87 c dins : 0.00 0.00 0 0 0
15.74/15.87 c distributiondivin: 0.00 0.00 0 0 0
15.74/15.87 c dks : 0.00 0.00 0 0 0
15.74/15.87 c dps : 0.00 0.00 0 0 0
15.74/15.87 c dualval : 0.00 0.00 0 0 0
15.74/15.87 c farkasdiving : 0.00 0.00 0 0 0
15.74/15.87 c feaspump : 0.00 0.00 0 0 0
15.74/15.87 c fixandinfer : 0.00 0.00 0 0 0
15.74/15.87 c fracdiving : 0.00 0.00 0 0 0
15.74/15.87 c gins : 0.00 0.00 0 0 0
15.74/15.87 c guideddiving : 0.00 0.00 0 0 0
15.74/15.87 c indicator : 0.00 0.00 0 0 0
15.74/15.87 c indicatordiving : 0.00 0.00 0 0 0
15.74/15.87 c intdiving : 0.00 0.00 0 0 0
15.74/15.87 c intshifting : 0.00 0.00 0 0 0
15.74/15.87 c linesearchdiving : 0.00 0.00 0 0 0
15.74/15.87 c localbranching : 0.00 0.00 0 0 0
15.74/15.87 c locks : 0.03 0.00 1 0 0
15.74/15.87 c lpface : 0.00 0.00 0 0 0
15.74/15.87 c mpec : 0.00 0.00 0 0 0
15.74/15.87 c multistart : 0.00 0.00 0 0 0
15.74/15.87 c mutation : 0.00 0.00 0 0 0
15.74/15.87 c nlpdiving : 0.00 0.00 0 0 0
15.74/15.87 c objpscostdiving : 0.00 0.00 0 0 0
15.74/15.87 c octane : 0.00 0.00 0 0 0
15.74/15.87 c ofins : 0.00 0.00 0 0 0
15.74/15.87 c oneopt : 0.00 0.00 0 0 0
15.74/15.87 c padm : 0.00 0.00 0 0 0
15.74/15.87 c proximity : 0.00 0.00 0 0 0
15.74/15.87 c pscostdiving : 0.00 0.00 0 0 0
15.74/15.87 c randrounding : 0.00 0.00 0 0 0
15.74/15.87 c rens : 0.00 0.00 0 0 0
15.74/15.87 c reoptsols : 0.00 0.00 0 0 0
15.74/15.87 c repair : 0.00 0.00 0 0 0
15.74/15.87 c rins : 0.00 0.00 0 0 0
15.74/15.87 c rootsoldiving : 0.00 0.00 0 0 0
15.74/15.87 c rounding : 0.00 0.00 0 0 0
15.74/15.87 c scheduler : 0.00 0.00 0 0 0
15.74/15.87 c shiftandpropagate: 0.15 0.00 1 0 0
15.74/15.87 c shifting : 0.00 0.00 0 0 0
15.74/15.87 c simplerounding : 0.00 0.00 0 0 0
15.74/15.87 c subnlp : 0.00 0.00 0 0 0
15.74/15.87 c trivial : 0.16 0.00 2 0 0
15.74/15.87 c trivialnegation : 0.00 0.00 0 0 0
15.74/15.87 c trustregion : 0.00 0.00 0 0 0
15.74/15.87 c trysol : 0.00 0.00 0 0 0
15.74/15.87 c twoopt : 0.00 0.00 0 0 0
15.74/15.87 c undercover : 0.00 0.00 0 0 0
15.74/15.87 c vbounds : 0.14 0.00 1 0 0
15.74/15.87 c veclendiving : 0.00 0.00 0 0 0
15.74/15.87 c zeroobj : 0.00 0.00 0 0 0
15.74/15.87 c zirounding : 0.00 0.00 0 0 0
15.74/15.87 c other solutions : - - - 0 -
15.74/15.87 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
15.74/15.87 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
15.74/15.87 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
15.74/15.87 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
15.74/15.87 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
15.74/15.87 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
15.74/15.87 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
15.74/15.87 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
15.74/15.87 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
15.74/15.87 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
15.74/15.87 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
15.74/15.87 c primal LP : 0.00 0 0 0.00 - 0.00 0
15.74/15.87 c dual LP : 3.31 1 27873 27873.00 8425.73 0.00 0
15.74/15.87 c lex dual LP : 0.00 0 0 0.00 -
15.74/15.87 c barrier LP : 0.00 0 0 0.00 - 0.00 0
15.74/15.87 c resolve instable : 0.00 0 0 0.00 -
15.74/15.87 c diving/probing LP: 0.00 0 0 0.00 -
15.74/15.87 c strong branching : 0.00 0 0 0.00 - - - 0
15.74/15.87 c (at root node) : - 0 0 0.00 -
15.74/15.87 c conflict analysis: 0.00 0 0 0.00 -
15.74/15.87 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
15.74/15.87 c benders : 0.00 0 0 0 0.00 0 0 0
15.74/15.87 c B&B Tree :
15.74/15.87 c number of runs : 1
15.74/15.87 c nodes : 1 (0 internal, 1 leaves)
15.74/15.87 c feasible leaves : 0
15.74/15.87 c infeas. leaves : 1
15.74/15.87 c objective leaves : 0
15.74/15.87 c nodes (total) : 1 (0 internal, 1 leaves)
15.74/15.87 c nodes left : 0
15.74/15.87 c max depth : 0
15.74/15.87 c max depth (total): 0
15.74/15.87 c backtracks : 0 (0.0%)
15.74/15.87 c early backtracks : 0 (0.0%)
15.74/15.87 c nodes exc. ref. : 0 (0.0%)
15.74/15.87 c delayed cutoffs : 0
15.74/15.87 c repropagations : 0 (0 domain reductions, 0 cutoffs)
15.74/15.87 c avg switch length: 2.00
15.74/15.87 c switching time : 0.00
15.74/15.87 c Root Node :
15.74/15.87 c First LP value : -
15.74/15.87 c First LP Iters : 0
15.74/15.87 c First LP Time : 3.32
15.74/15.87 c Final Dual Bound : -
15.74/15.87 c Final Root Iters : 27873
15.74/15.87 c Root LP Estimate : -
15.74/15.87 c Solution :
15.74/15.87 c Solutions found : 0 (0 improvements)
15.74/15.87 c Primal Bound : infeasible
15.74/15.87 c Dual Bound : -
15.74/15.87 c Gap : 0.00 %
15.74/15.87 c Integrals : Total Avg%
15.74/15.87 c primal-dual : - - (problem infeasible)
15.74/15.87 c primal-ref : - - (problem infeasible)
15.74/15.87 c dual-ref : - - (problem infeasible)
16.24/16.39 c Time complete (sec): 16.341
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 (60355 MiB free)
memory of node 1: 64465 MiB (49689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543800-1753214968/watcher-4543800-1753214968 -o /tmp/evaluation-result-4543800-1753214968/solver-4543800-1753214968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760 pbsolver -f HOME/instance-4543800-1753214968.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=160382, runsolver pid=160379
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.36 4.18 4.12 5/266 160383
/proc/meminfo: memFree=112686556/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=113908 memory=102528 CPUtime=0.1 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 23654 0 0 0 7 3 0 0 20 0 1 0 237171392 116641792 25632 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 28477 25632 2176 2575 0 25384 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113908 KiB
Current children cumulated memory: 102528 KiB
[startup+0.205529 s]*
/proc/loadavg: 4.36 4.18 4.12 5/266 160383
/proc/meminfo: memFree=112670236/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=198552 memory=187520 CPUtime=0.2 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 44910 0 0 0 14 6 0 0 20 0 1 0 237171392 203317248 46880 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 49638 46880 2176 2575 0 46545 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 198552 KiB
Current children cumulated memory: 187520 KiB
[startup+0.305456 s]*
/proc/loadavg: 4.36 4.18 4.12 5/266 160383
/proc/meminfo: memFree=112670236/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=271228 memory=260020 CPUtime=0.3 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 62537 0 0 0 22 8 0 0 20 0 1 0 237171392 277737472 65005 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 67807 65005 2176 2575 0 64714 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 271228 KiB
Current children cumulated memory: 260020 KiB
[startup+0.700181 s]
/proc/loadavg: 4.33 4.18 4.11 5/266 160383
/proc/meminfo: memFree=112564900/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=592000 memory=581784 CPUtime=0.69 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 143246 0 0 0 50 19 0 0 20 0 1 0 237171392 606208000 145446 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 148000 145446 2368 2575 0 144907 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 592000 KiB
Current children cumulated memory: 581784 KiB
[startup+1.50016 s]
/proc/loadavg: 4.33 4.18 4.11 5/266 160383
/proc/meminfo: memFree=112306852/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=858700 memory=830900 CPUtime=1.48 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 187879 0 0 0 121 27 0 0 20 0 1 0 237171392 879308800 207725 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 214675 207725 2496 2575 0 211582 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 858700 KiB
Current children cumulated memory: 830900 KiB
[startup+3.10545 s]
/proc/loadavg: 4.33 4.18 4.11 5/266 160383
/proc/meminfo: memFree=112194652/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=800868 memory=767520 CPUtime=3.08 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 193923 0 0 0 280 28 0 0 20 0 1 0 237171392 820088832 191880 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 200217 191880 2528 2575 0 197124 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 800868 KiB
Current children cumulated memory: 767520 KiB
[startup+6.30018 s]
/proc/loadavg: 4.31 4.18 4.11 5/266 160383
/proc/meminfo: memFree=111859644/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=1286556 memory=1124160 CPUtime=6.27 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 276327 0 0 0 588 39 0 0 20 0 1 0 237171392 1317433344 281040 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 321639 281040 2560 2575 0 318546 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1286556 KiB
Current children cumulated memory: 1124160 KiB
[startup+12.7002 s]
/proc/loadavg: 4.28 4.17 4.11 5/266 160383
/proc/meminfo: memFree=111814972/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=1302896 memory=1127428 CPUtime=12.65 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 323192 0 0 0 1218 47 0 0 20 0 1 0 237171392 1334165504 281857 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 325724 281857 2656 2575 0 322631 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1302896 KiB
Current children cumulated memory: 1127428 KiB
[startup+16.4199 s]
# the end of solver process 160382 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=15.8569 s, system=0.514513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.28 4.17 4.11 5/266 160383
/proc/meminfo: memFree=111814972/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=1302896 memory=1127428 CPUtime=12.75 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 323196 0 0 0 1228 47 0 0 20 0 1 0 237171392 1334165504 281857 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 325724 281857 2656 2575 0 322631 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 1302896 KiB
Current children cumulated memory: 1127428 KiB
[startup+14.4001 s]
/proc/loadavg: 4.28 4.17 4.11 5/266 160383
/proc/meminfo: memFree=111780468/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=1302896 memory=1128964 CPUtime=14.35 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 323588 0 0 0 1388 47 0 0 20 0 1 0 237171392 1334165504 282241 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 325724 282241 2656 2575 0 322631 0
Current children cumulated CPU time: 14.35 s
Current children cumulated vsize: 1302896 KiB
Current children cumulated memory: 1128964 KiB
[startup+15.2001 s]
/proc/loadavg: 4.28 4.17 4.11 5/266 160383
/proc/meminfo: memFree=111780468/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=1302896 memory=1129220 CPUtime=15.15 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 323625 0 0 0 1468 47 0 0 20 0 1 0 237171392 1334165504 282305 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 325724 282305 2656 2575 0 322631 0
Current children cumulated CPU time: 15.15 s
Current children cumulated vsize: 1302896 KiB
Current children cumulated memory: 1129220 KiB
[startup+16.0002 s]*
/proc/loadavg: 4.26 4.17 4.11 5/266 160383
/proc/meminfo: memFree=111764592/131249992 swapFree=33009392/33010684
[pid=160382] ppid=160379 vsize=1302896 memory=1129220 CPUtime=15.95 cores=0,2
/proc/160382/stat : 160382 (pbsolver) R 160379 160382 158250 0 -1 4194304 323641 0 0 0 1548 47 0 0 20 0 1 0 237171392 1334165504 282305 18446744073709551615 4198400 14743177 140722778758752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 29147136 140722778761608 140722778761704 140722778761704 140722778767308 0
/proc/160382/statm: 325724 282305 2656 2575 0 322631 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 1302896 KiB
Current children cumulated memory: 1129220 KiB
[startup+16.4002 s]*
/proc/loadavg: 4.26 4.17 4.11 5/266 160383
/proc/meminfo: memFree=112183844/131249992 swapFree=33009392/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 16.4199
CPU time (s): 16.3714
CPU user time (s): 15.8569
CPU system time (s): 0.514513
CPU usage (%): 99.7044
Max. virtual memory (cumulated for all children) (KiB): 1302896
Max. memory (cumulated for all children) (KiB): 1134144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.8569
system time used= 0.514513
maximum resident set size= 1134144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323642
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= 40
# summary of solver processes directly reported to runsolver:
# pid: 160382
# total CPU time (s): 16.3714
# total CPU user time (s): 15.8569
# total CPU system time (s): 0.514513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041626 second user time and 0.103594 second system time
The end
Begin job on nodeC035 at 2025-07-22 22:09:29 IDJOB=4543800 IDBENCH=174610 IDSOLVER=3366 FILE ID=nodeC035/4543800-1753214968 RUNJOBID= nodeC035-1753209881-158260 SLURM_JOB_ID= 9687779 Free space on /tmp= 432356 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_30_092.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543800-1753214968/watcher-4543800-1753214968 -o /tmp/evaluation-result-4543800-1753214968/solver-4543800-1753214968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760 pbsolver -f HOME/instance-4543800-1753214968.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c5515a98844bb1e4abadd55fcb10579 RANDOM SEED=1343102323 nodeC035 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 : 3600.077 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.51 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.750 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.51 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 : 3599.748 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.51 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 : 3591.989 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.51 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 : 3599.748 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.51 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.678 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.449 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.900 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 112686556 kB MemAvailable: 114998696 kB Buffers: 664 kB Cached: 3063188 kB SwapCached: 336 kB Active: 15219128 kB Inactive: 2192916 kB Active(anon): 14355204 kB Inactive(anon): 18908 kB Active(file): 863924 kB Inactive(file): 2174008 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009392 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20332 kB Writeback: 0 kB AnonPages: 14350624 kB Mapped: 141408 kB Shmem: 25904 kB KReclaimable: 226892 kB Slab: 322492 kB SReclaimable: 226892 kB SUnreclaim: 95600 kB KernelStack: 4288 kB PageTables: 31528 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 16385044 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 6164480 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432340 MiB End job on nodeC035 at 2025-07-22 22:09:45