| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 11.6569 | 11.6912 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_088.opb |
| MD5SUM | 225933de352582a5f5a47ed5392988f0 |
| 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.31605 |
| 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 | 234990 |
| Total number of constraints | 5311 |
| Number of constraints which are clauses | 2671 |
| Number of constraints which are cardinality constraints (but not clauses) | 2640 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 89 |
| 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 | 90 |
| 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-4543917-1753214994.opb>
0.19/0.29 c original problem has 234990 variables (234990 bin, 0 int, 0 cont) and 5311 constraints
0.19/0.29 c problem read in 0.292 seconds
0.19/0.29 c problem without objective
0.69/0.74 c presolving:
0.99/1.04 c (1.0s) running MILP presolver
1.29/1.37 c (1.4s) MILP presolver found nothing
1.48/1.56 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2670 upgd conss, 0 impls, 2640 clqs
1.68/1.73 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5311 upgd conss, 0 impls, 2640 clqs
3.98/4.01 c (4.0s) probing: 51/234990 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.98/4.01 c (4.0s) probing aborted: 50/50 successive totally useless probings
4.08/4.14 c (4.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.57/4.68 c (4.7s) symmetry computation finished: 272 generators found (max: 272, log10 of symmetry group size: 410.41) (symcode time: 0.38)
4.67/4.73 c dynamic symmetry handling statistics:
4.67/4.73 c orbitopal reduction: no components
4.67/4.73 c orbital reduction: no components
4.67/4.73 c lexicographic reduction: no permutations
4.67/4.73 c handled 4 out of 4 symmetry components
4.67/4.75 c (round 3, exhaustive) 11550 del vars, 0 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5311 upgd conss, 0 impls, 2640 clqs
4.67/4.79 c (round 4, fast) 12081 del vars, 3 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 11550 chg coeffs, 5311 upgd conss, 0 impls, 2634 clqs
4.77/4.83 c (round 5, fast) 13128 del vars, 15 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 12072 chg coeffs, 5311 upgd conss, 0 impls, 2628 clqs
4.77/4.87 c (round 6, fast) 14151 del vars, 27 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 12582 chg coeffs, 5311 upgd conss, 0 impls, 2622 clqs
4.87/4.90 c (round 7, fast) 15150 del vars, 39 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 13080 chg coeffs, 5311 upgd conss, 0 impls, 2616 clqs
4.87/4.94 c (round 8, fast) 16125 del vars, 51 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 13566 chg coeffs, 5311 upgd conss, 0 impls, 2610 clqs
4.87/4.98 c (round 9, fast) 17076 del vars, 63 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 14040 chg coeffs, 5311 upgd conss, 0 impls, 2604 clqs
4.98/5.01 c (round 10, fast) 18003 del vars, 75 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 14502 chg coeffs, 5311 upgd conss, 0 impls, 2598 clqs
4.98/5.05 c (round 11, fast) 18906 del vars, 87 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 14952 chg coeffs, 5311 upgd conss, 0 impls, 2592 clqs
4.98/5.08 c (round 12, fast) 19785 del vars, 99 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 15390 chg coeffs, 5311 upgd conss, 0 impls, 2586 clqs
5.08/5.12 c (round 13, fast) 20640 del vars, 111 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 15816 chg coeffs, 5311 upgd conss, 0 impls, 2580 clqs
5.08/5.16 c (round 14, fast) 21471 del vars, 123 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 16230 chg coeffs, 5311 upgd conss, 0 impls, 2574 clqs
5.08/5.19 c (round 15, fast) 22278 del vars, 135 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 16632 chg coeffs, 5311 upgd conss, 0 impls, 2568 clqs
5.17/5.23 c (round 16, fast) 23061 del vars, 147 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 17022 chg coeffs, 5311 upgd conss, 0 impls, 2562 clqs
5.17/5.26 c (round 17, fast) 23820 del vars, 159 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 17400 chg coeffs, 5311 upgd conss, 0 impls, 2556 clqs
5.27/5.30 c (round 18, fast) 24555 del vars, 171 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 17766 chg coeffs, 5311 upgd conss, 0 impls, 2550 clqs
5.27/5.33 c (round 19, fast) 25266 del vars, 183 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 18120 chg coeffs, 5311 upgd conss, 0 impls, 2544 clqs
5.27/5.37 c (round 20, fast) 25953 del vars, 195 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 18462 chg coeffs, 5311 upgd conss, 0 impls, 2538 clqs
5.37/5.40 c (round 21, fast) 26616 del vars, 207 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 18792 chg coeffs, 5311 upgd conss, 0 impls, 2532 clqs
5.37/5.44 c (round 22, fast) 27255 del vars, 219 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 19110 chg coeffs, 5311 upgd conss, 0 impls, 2526 clqs
5.37/5.47 c (round 23, fast) 27870 del vars, 231 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 19416 chg coeffs, 5311 upgd conss, 0 impls, 2520 clqs
5.47/5.51 c (round 24, fast) 28461 del vars, 243 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 19710 chg coeffs, 5311 upgd conss, 0 impls, 2514 clqs
5.47/5.54 c (round 25, fast) 29028 del vars, 255 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 19992 chg coeffs, 5311 upgd conss, 0 impls, 2508 clqs
5.47/5.58 c (round 26, fast) 29571 del vars, 267 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 20262 chg coeffs, 5311 upgd conss, 0 impls, 2502 clqs
5.57/5.61 c (round 27, fast) 30090 del vars, 279 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 20520 chg coeffs, 5311 upgd conss, 0 impls, 2496 clqs
5.57/5.65 c (round 28, fast) 30585 del vars, 291 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 20766 chg coeffs, 5311 upgd conss, 0 impls, 2490 clqs
5.57/5.68 c (round 29, fast) 31056 del vars, 303 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 21000 chg coeffs, 5311 upgd conss, 0 impls, 2484 clqs
5.67/5.72 c (round 30, fast) 31503 del vars, 315 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 21222 chg coeffs, 5311 upgd conss, 0 impls, 2478 clqs
5.67/5.75 c (round 31, fast) 31926 del vars, 327 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 21432 chg coeffs, 5311 upgd conss, 0 impls, 2472 clqs
5.67/5.78 c (round 32, fast) 32325 del vars, 339 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 21630 chg coeffs, 5311 upgd conss, 0 impls, 2466 clqs
5.77/5.82 c (round 33, fast) 32700 del vars, 351 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 21816 chg coeffs, 5311 upgd conss, 0 impls, 2460 clqs
5.77/5.85 c (round 34, fast) 33051 del vars, 363 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 21990 chg coeffs, 5311 upgd conss, 0 impls, 2454 clqs
5.77/5.89 c (round 35, fast) 33378 del vars, 375 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 22152 chg coeffs, 5311 upgd conss, 0 impls, 2448 clqs
5.87/5.92 c (round 36, fast) 33681 del vars, 387 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 22302 chg coeffs, 5311 upgd conss, 0 impls, 2442 clqs
5.87/5.95 c (round 37, fast) 33960 del vars, 399 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 22440 chg coeffs, 5311 upgd conss, 0 impls, 2436 clqs
5.87/5.99 c (round 38, fast) 34215 del vars, 411 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 22566 chg coeffs, 5311 upgd conss, 0 impls, 2430 clqs
5.97/6.02 c (round 39, fast) 34446 del vars, 423 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 22680 chg coeffs, 5311 upgd conss, 0 impls, 2424 clqs
5.97/6.06 c (round 40, fast) 34653 del vars, 435 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 22782 chg coeffs, 5311 upgd conss, 0 impls, 2418 clqs
5.97/6.09 c (round 41, fast) 34836 del vars, 447 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 22872 chg coeffs, 5311 upgd conss, 0 impls, 2412 clqs
6.07/6.12 c (round 42, fast) 34995 del vars, 459 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 22950 chg coeffs, 5311 upgd conss, 0 impls, 2406 clqs
6.07/6.16 c (round 43, fast) 35130 del vars, 471 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 23016 chg coeffs, 5311 upgd conss, 0 impls, 2400 clqs
6.07/6.19 c (round 44, fast) 35241 del vars, 483 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 23070 chg coeffs, 5311 upgd conss, 0 impls, 2394 clqs
6.17/6.22 c (round 45, fast) 35328 del vars, 495 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 23112 chg coeffs, 5311 upgd conss, 0 impls, 2388 clqs
6.17/6.26 c (round 46, fast) 35391 del vars, 507 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 23142 chg coeffs, 5311 upgd conss, 0 impls, 2382 clqs
6.17/6.29 c (round 47, fast) 35430 del vars, 519 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 23160 chg coeffs, 5311 upgd conss, 0 impls, 2376 clqs
6.27/6.32 c (round 48, fast) 35445 del vars, 531 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 23169 chg coeffs, 5311 upgd conss, 0 impls, 2376 clqs
6.67/6.79 c (6.8s) probing: 57/234990 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
6.67/6.79 c (6.8s) probing aborted: 50/50 successive totally useless probings
6.87/6.90 c presolving (49 rounds: 49 fast, 4 medium, 4 exhaustive):
6.87/6.90 c 35445 deleted vars, 534 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 23169 changed coefficients
6.87/6.90 c 0 implications, 2376 cliques
6.87/6.90 c presolved problem has 211425 variables (211425 bin, 0 int, 0 cont) and 4781 constraints
6.87/6.90 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
6.87/6.90 c 2376 constraints of type <setppc>
6.87/6.90 c 1 constraints of type <orbitope_pp>
6.87/6.90 c 2404 constraints of type <logicor>
6.87/6.90 c transformed objective value is always integral (scale: 1)
6.87/6.90 c Presolving Time: 6.25
6.87/6.90 c
6.87/6.90 c - non default parameters ----------------------------------------------------------------------
6.87/6.90 c
6.87/6.90 c # SCIP version 10.0.0
6.87/6.90 c
6.87/6.90 c # maximal time in seconds to run
6.87/6.90 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
6.87/6.90 c limits/time = 3596.998423
6.87/6.90 c
6.87/6.90 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.87/6.90 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
6.87/6.90 c limits/memory = 27900
6.87/6.90 c
6.87/6.90 c # belongs reading time to solving time?
6.87/6.90 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
6.87/6.90 c timing/reading = TRUE
6.87/6.90 c
6.87/6.90 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
6.87/6.90 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
6.87/6.90 c reading/opbreader/maxintsize = 47
6.87/6.90 c
6.87/6.90 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
6.87/6.90 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
6.87/6.90 c propagating/genvbounds/timingmask = 0
6.87/6.90 c
6.87/6.90 c -----------------------------------------------------------------------------------------------
6.87/6.94 c
11.07/11.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.07/11.17 c 11.2s| 1 | 0 | 26048 | - | 1074M | 0 | 211k|4819 |4780 | 0 | 0 | 48 | 0 | cutoff | -- | 0.00%| unknown
11.07/11.17 c 11.2s| 1 | 0 | 26048 | - | 1074M | 0 | 211k|4819 |4780 | 0 | 0 | 48 | 0 | cutoff | -- | 0.00%| unknown
11.07/11.17 c
11.07/11.17 c SCIP Status : problem is solved [infeasible]
11.07/11.17 c Solving Time (sec) : 11.17
11.07/11.17 c Solving Nodes : 1
11.07/11.17 c Primal Bound : +1.00000000000000e+20 (0 solutions)
11.07/11.17 c Dual Bound : +1.00000000000000e+20
11.07/11.17 c Gap : 0.00 %
11.07/11.17 s UNSATISFIABLE
11.07/11.17 c SCIP Status : problem is solved [infeasible]
11.07/11.17 c Total Time : 11.17
11.07/11.17 c solving : 11.17
11.07/11.17 c presolving : 6.25 (included in solving)
11.07/11.17 c reading : 0.29 (included in solving)
11.07/11.17 c copying : 0.00 (0 times copied the problem)
11.07/11.17 c Original Problem :
11.07/11.17 c Problem name : HOME/instance-4543917-1753214994.opb
11.07/11.17 c Variables : 234990 (234990 binary, 0 integer, 0 continuous)
11.07/11.17 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
11.07/11.17 c Constraints : 5311 initial, 5311 maximal
11.07/11.17 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
11.07/11.17 c Presolved Problem :
11.07/11.17 c Problem name : t_HOME/instance-4543917-1753214994.opb
11.07/11.17 c Variables : 211425 (211425 binary, 0 integer, 0 continuous)
11.07/11.17 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
11.07/11.17 c Constraints : 4781 initial, 4819 maximal
11.07/11.18 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
11.07/11.18 c Nonzeros : 423906 constraint, 211398 clique table
11.07/11.18 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
11.07/11.18 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c domcol : 0.21 0.00 2 0 0 0 0 0 0 0 0 0
11.07/11.18 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c dualsparsify : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
11.07/11.18 c gateextraction : 0.08 0.00 2 0 0 0 0 0 0 0 0 0
11.07/11.18 c implics : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
11.07/11.18 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c milp : 0.53 0.00 1 0 0 0 0 0 0 0 0 0
11.07/11.18 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c sparsify : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
11.07/11.18 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c trivial : 0.35 0.00 49 11880 0 0 0 0 0 0 0 0
11.07/11.18 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c dualfix : 0.33 0.00 49 0 0 0 0 0 0 0 0 0
11.07/11.18 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c probing : 1.75 0.01 2 0 0 0 0 0 0 0 0 0
11.07/11.18 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c symmetry : 0.60 0.00 1 11550 0 0 0 0 0 4 0 0
11.07/11.18 c vbounds : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
11.07/11.18 c setppc : 0.71 0.01 51 0 0 0 0 0 264 0 0 0
11.07/11.18 c linear : 0.26 0.05 4 0 0 0 0 0 0 0 0 0
11.07/11.18 c orbitope_pp : 0.00 0.00 1 0 0 0 0 0 3 0 0 0
11.07/11.18 c logicor : 0.86 0.01 53 135 0 0 0 0 267 0 0 23169
11.07/11.18 c components : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
11.07/11.18 c root node : - - - 0 - - 0 - - - - -
11.07/11.18 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
11.07/11.18 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
11.07/11.18 c setppc : 2376 2376 0 9910 0 0 0 3 1922 43 0 0 0 0 0
11.07/11.18 c orbitope_pp : 1 1 0 9767 0 0 0 1 1715 0 0 0 0 0 0
11.07/11.18 c logicor : 2404+ 2442 0 3055 0 0 0 1 27 17 0 0 0 0 0
11.07/11.18 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
11.07/11.18 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c setppc : 0.09 0.01 0.04 0.03 0.00 0.00 0.00 0.01 0.00 0.00
11.07/11.18 c orbitope_pp : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c logicor : 0.10 0.01 0.02 0.06 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c fixedvar : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c Propagators : #Propagate #ResProp Cutoffs DomReds
11.07/11.18 c dualfix : 1 0 0 0
11.07/11.18 c genvbounds : 0 0 0 0
11.07/11.18 c nlobbt : 0 0 0 0
11.07/11.18 c obbt : 0 0 0 0
11.07/11.18 c probing : 0 0 0 0
11.07/11.18 c pseudoobj : 0 0 0 0
11.07/11.18 c redcost : 0 0 0 0
11.07/11.18 c rootredcost : 0 0 0 0
11.07/11.18 c symmetry : 0 0 0 0
11.07/11.18 c vbounds : 1017 0 0 0
11.07/11.18 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
11.07/11.18 c dualfix : 0.33 0.00 0.33 0.01 0.00 0.00
11.07/11.18 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c probing : 1.76 0.01 1.75 0.00 0.00 0.00
11.07/11.18 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
11.07/11.18 c symmetry : 0.60 0.00 0.60 0.00 0.00 0.00
11.07/11.18 c vbounds : 0.13 0.00 0.08 0.05 0.00 0.00
11.07/11.18 c Symmetry :
11.07/11.18 c #affected vars : 24288 (24288 bin, 0 int, 0 cont)
11.07/11.18 c orbitopal red. : 0 reductions applied, 0 cutoffs
11.07/11.18 c orbital reduction: 0 reductions applied, 0 cutoffs
11.07/11.18 c lexicographic red: 0 reductions applied, 0 cutoffs
11.07/11.18 c shadow tree time : 0.00 s
11.07/11.18 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
11.07/11.18 c propagation : 0.00 49 21 - 247 196.3 0 0.0 - - -
11.07/11.18 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
11.07/11.18 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
11.07/11.18 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
11.07/11.18 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
11.07/11.18 c applied globally : 0.00 - - 0 48 111.5 - - 0 - -
11.07/11.18 c applied locally : - - - 0 0 0.0 - - 0 - -
11.07/11.18 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
11.07/11.18 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
11.07/11.18 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c > cmir : - - - - - - - 0 0 0 0 0 -
11.07/11.18 c > flowcover : - - - - - - - 0 0 0 0 0 -
11.07/11.18 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
11.07/11.18 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c > gomorymi : - - - - - - - 0 0 0 0 0 -
11.07/11.18 c > strongcg : - - - - - - - 0 0 0 0 0 -
11.07/11.18 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.07/11.18 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
11.07/11.18 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c Pricers : ExecTime SetupTime Calls Vars
11.07/11.18 c problem variables: 0.00 - 0 0
11.07/11.18 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
11.07/11.18 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c random : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
11.07/11.18 c Primal Heuristics : ExecTime SetupTime Calls Found Best
11.07/11.18 c LP solutions : 0.00 - - 0 0
11.07/11.18 c relax solutions : 0.00 - - 0 0
11.07/11.18 c pseudo solutions : 0.00 - - 0 0
11.07/11.18 c strong branching : 0.00 - - 0 0
11.07/11.18 c actconsdiving : 0.00 0.00 0 0 0
11.07/11.18 c adaptivediving : 0.00 0.00 0 0 0
11.07/11.18 c alns : 0.00 0.00 0 0 0
11.07/11.18 c bound : 0.00 0.00 0 0 0
11.07/11.18 c clique : 1.29 0.00 1 0 0
11.07/11.18 c coefdiving : 0.00 0.00 0 0 0
11.07/11.18 c completesol : 0.00 0.00 0 0 0
11.07/11.18 c conflictdiving : 0.00 0.00 0 0 0
11.07/11.18 c crossover : 0.00 0.00 0 0 0
11.07/11.18 c dins : 0.00 0.00 0 0 0
11.07/11.18 c distributiondivin: 0.00 0.00 0 0 0
11.07/11.18 c dks : 0.00 0.00 0 0 0
11.07/11.18 c dps : 0.00 0.00 0 0 0
11.07/11.18 c dualval : 0.00 0.00 0 0 0
11.07/11.18 c farkasdiving : 0.00 0.00 0 0 0
11.07/11.18 c feaspump : 0.00 0.00 0 0 0
11.07/11.18 c fixandinfer : 0.00 0.00 0 0 0
11.07/11.18 c fracdiving : 0.00 0.00 0 0 0
11.07/11.18 c gins : 0.00 0.00 0 0 0
11.07/11.18 c guideddiving : 0.00 0.00 0 0 0
11.07/11.18 c indicator : 0.00 0.00 0 0 0
11.07/11.18 c indicatordiving : 0.00 0.00 0 0 0
11.07/11.18 c intdiving : 0.00 0.00 0 0 0
11.07/11.18 c intshifting : 0.00 0.00 0 0 0
11.07/11.18 c linesearchdiving : 0.00 0.00 0 0 0
11.07/11.18 c localbranching : 0.00 0.00 0 0 0
11.07/11.18 c locks : 0.03 0.00 1 0 0
11.07/11.18 c lpface : 0.00 0.00 0 0 0
11.07/11.18 c mpec : 0.00 0.00 0 0 0
11.07/11.18 c multistart : 0.00 0.00 0 0 0
11.07/11.18 c mutation : 0.00 0.00 0 0 0
11.07/11.18 c nlpdiving : 0.00 0.00 0 0 0
11.07/11.18 c objpscostdiving : 0.00 0.00 0 0 0
11.07/11.18 c octane : 0.00 0.00 0 0 0
11.07/11.18 c ofins : 0.00 0.00 0 0 0
11.07/11.18 c oneopt : 0.00 0.00 0 0 0
11.07/11.18 c padm : 0.00 0.00 0 0 0
11.07/11.18 c proximity : 0.00 0.00 0 0 0
11.07/11.18 c pscostdiving : 0.00 0.00 0 0 0
11.07/11.18 c randrounding : 0.00 0.00 0 0 0
11.07/11.18 c rens : 0.00 0.00 0 0 0
11.07/11.18 c reoptsols : 0.00 0.00 0 0 0
11.07/11.18 c repair : 0.00 0.00 0 0 0
11.07/11.18 c rins : 0.00 0.00 0 0 0
11.07/11.18 c rootsoldiving : 0.00 0.00 0 0 0
11.07/11.18 c rounding : 0.00 0.00 0 0 0
11.07/11.18 c scheduler : 0.00 0.00 0 0 0
11.07/11.18 c shiftandpropagate: 0.11 0.00 1 0 0
11.07/11.18 c shifting : 0.00 0.00 0 0 0
11.07/11.18 c simplerounding : 0.00 0.00 0 0 0
11.07/11.18 c subnlp : 0.00 0.00 0 0 0
11.07/11.18 c trivial : 0.15 0.00 2 0 0
11.07/11.18 c trivialnegation : 0.00 0.00 0 0 0
11.07/11.18 c trustregion : 0.00 0.00 0 0 0
11.07/11.18 c trysol : 0.00 0.00 0 0 0
11.07/11.18 c twoopt : 0.00 0.00 0 0 0
11.07/11.18 c undercover : 0.00 0.00 0 0 0
11.07/11.18 c vbounds : 0.12 0.00 1 0 0
11.07/11.18 c veclendiving : 0.00 0.00 0 0 0
11.07/11.18 c zeroobj : 0.00 0.00 0 0 0
11.07/11.18 c zirounding : 0.00 0.00 0 0 0
11.07/11.18 c other solutions : - - - 0 -
11.07/11.18 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
11.07/11.18 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
11.07/11.18 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
11.07/11.18 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
11.07/11.18 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
11.07/11.18 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
11.07/11.18 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
11.07/11.18 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
11.07/11.18 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
11.07/11.18 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
11.07/11.18 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
11.07/11.18 c primal LP : 0.00 0 0 0.00 - 0.00 0
11.07/11.18 c dual LP : 2.53 1 26048 26048.00 10287.64 0.00 0
11.07/11.18 c lex dual LP : 0.00 0 0 0.00 -
11.07/11.18 c barrier LP : 0.00 0 0 0.00 - 0.00 0
11.07/11.18 c resolve instable : 0.00 0 0 0.00 -
11.07/11.18 c diving/probing LP: 0.00 0 0 0.00 -
11.07/11.18 c strong branching : 0.00 0 0 0.00 - - - 0
11.07/11.18 c (at root node) : - 0 0 0.00 -
11.07/11.18 c conflict analysis: 0.00 0 0 0.00 -
11.07/11.18 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
11.07/11.18 c benders : 0.00 0 0 0 0.00 0 0 0
11.07/11.18 c B&B Tree :
11.07/11.18 c number of runs : 1
11.07/11.18 c nodes : 1 (0 internal, 1 leaves)
11.07/11.18 c feasible leaves : 0
11.07/11.18 c infeas. leaves : 1
11.07/11.18 c objective leaves : 0
11.07/11.18 c nodes (total) : 1 (0 internal, 1 leaves)
11.07/11.18 c nodes left : 0
11.07/11.18 c max depth : 0
11.07/11.18 c max depth (total): 0
11.07/11.18 c backtracks : 0 (0.0%)
11.07/11.18 c early backtracks : 0 (0.0%)
11.07/11.18 c nodes exc. ref. : 0 (0.0%)
11.07/11.18 c delayed cutoffs : 0
11.07/11.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
11.07/11.18 c avg switch length: 2.00
11.07/11.18 c switching time : 0.00
11.07/11.18 c Root Node :
11.07/11.18 c First LP value : -
11.07/11.18 c First LP Iters : 0
11.07/11.18 c First LP Time : 2.55
11.07/11.18 c Final Dual Bound : -
11.07/11.18 c Final Root Iters : 26048
11.07/11.18 c Root LP Estimate : -
11.07/11.18 c Solution :
11.07/11.18 c Solutions found : 0 (0 improvements)
11.07/11.18 c Primal Bound : infeasible
11.07/11.18 c Dual Bound : -
11.07/11.18 c Gap : 0.00 %
11.07/11.18 c Integrals : Total Avg%
11.07/11.18 c primal-dual : - - (problem infeasible)
11.07/11.18 c primal-ref : - - (problem infeasible)
11.07/11.18 c dual-ref : - - (problem infeasible)
11.56/11.66 c Time complete (sec): 11.628
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 (60286 MiB free)
memory of node 1: 64465 MiB (49543 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543917-1753214994/watcher-4543917-1753214994 -o /tmp/evaluation-result-4543917-1753214994/solver-4543917-1753214994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760 pbsolver -f HOME/instance-4543917-1753214994.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=160518, runsolver pid=160515
[startup+0.100062 s]*
/proc/loadavg: 4.22 4.16 4.11 5/266 160519
/proc/meminfo: memFree=112465496/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=112772 memory=101632 CPUtime=0.1 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 23435 0 0 0 7 3 0 0 20 0 1 0 237173987 115478528 25408 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 28193 25408 2176 2575 0 25100 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112772 KiB
Current children cumulated memory: 101632 KiB
[startup+0.205453 s]*
/proc/loadavg: 4.22 4.16 4.11 5/266 160519
/proc/meminfo: memFree=112465496/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=199464 memory=187648 CPUtime=0.19 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 44928 0 0 0 13 6 0 0 20 0 1 0 237173987 204251136 46880 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 49866 46912 2176 2575 0 46773 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 199464 KiB
Current children cumulated memory: 187648 KiB
[startup+0.305417 s]*
/proc/loadavg: 4.22 4.16 4.11 5/266 160519
/proc/meminfo: memFree=112464776/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=276780 memory=265096 CPUtime=0.3 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 64840 0 0 0 21 9 0 0 20 0 1 0 237173987 283422720 66274 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 69195 66274 2368 2575 0 66102 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 276780 KiB
Current children cumulated memory: 265096 KiB
[startup+0.700198 s]
/proc/loadavg: 4.22 4.16 4.11 5/266 160519
/proc/meminfo: memFree=112424708/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=611476 memory=590216 CPUtime=0.69 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 146111 0 0 0 48 21 0 0 20 0 1 0 237173987 626151424 147554 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 152869 147554 2400 2575 0 149776 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 611476 KiB
Current children cumulated memory: 590216 KiB
[startup+1.50019 s]
/proc/loadavg: 4.22 4.16 4.11 5/266 160519
/proc/meminfo: memFree=112214660/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=696780 memory=673896 CPUtime=1.48 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 173323 0 0 0 121 27 0 0 20 0 1 0 237173987 713502720 168474 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 174195 168474 2496 2575 0 171102 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 696780 KiB
Current children cumulated memory: 673896 KiB
[startup+3.1054 s]
/proc/loadavg: 4.22 4.16 4.11 5/266 160519
/proc/meminfo: memFree=112141596/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=727700 memory=696940 CPUtime=3.09 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 178048 0 0 0 280 29 0 0 20 0 1 0 237173987 745164800 174235 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 181925 174235 2528 2575 0 178832 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 727700 KiB
Current children cumulated memory: 696940 KiB
[startup+6.30018 s]
/proc/loadavg: 4.20 4.16 4.11 5/266 160519
/proc/meminfo: memFree=111819296/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=1194012 memory=1047080 CPUtime=6.27 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 260193 0 0 0 588 39 0 0 20 0 1 0 237173987 1222668288 261770 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 298503 261770 2560 2575 0 295410 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1194012 KiB
Current children cumulated memory: 1047080 KiB
[startup+11.6911 s]
# the end of solver process 160518 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=11.1962 s, system=0.460678 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40021 s]
/proc/loadavg: 4.20 4.16 4.11 5/266 160519
/proc/meminfo: memFree=111819296/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=1194012 memory=1047080 CPUtime=6.37 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 260195 0 0 0 598 39 0 0 20 0 1 0 237173987 1222668288 261770 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 298503 261770 2560 2575 0 295410 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 1194012 KiB
Current children cumulated memory: 1047080 KiB
[startup+9.60015 s]
/proc/loadavg: 4.20 4.16 4.11 5/266 160519
/proc/meminfo: memFree=111777880/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=1211544 memory=1069480 CPUtime=9.56 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 265722 0 0 0 915 41 0 0 20 0 1 0 237173987 1240621056 267370 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 302886 267370 2656 2575 0 299793 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 1211544 KiB
Current children cumulated memory: 1069480 KiB
[startup+10.4002 s]
/proc/loadavg: 4.27 4.18 4.11 5/266 160519
/proc/meminfo: memFree=111769816/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=1211544 memory=1069992 CPUtime=10.36 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 265869 0 0 0 995 41 0 0 20 0 1 0 237173987 1240621056 267498 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 302886 267498 2656 2575 0 299793 0
Current children cumulated CPU time: 10.36 s
Current children cumulated vsize: 1211544 KiB
Current children cumulated memory: 1069992 KiB
[startup+11.2002 s]
/proc/loadavg: 4.27 4.18 4.11 5/266 160519
/proc/meminfo: memFree=111769816/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=1211544 memory=1070120 CPUtime=11.16 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 265901 0 0 0 1075 41 0 0 20 0 1 0 237173987 1240621056 267530 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 302886 267530 2656 2575 0 299793 0
Current children cumulated CPU time: 11.16 s
Current children cumulated vsize: 1211544 KiB
Current children cumulated memory: 1070120 KiB
[startup+11.6002 s]
/proc/loadavg: 4.27 4.18 4.11 5/266 160519
/proc/meminfo: memFree=111769816/131249992 swapFree=33009392/33010684
[pid=160518] ppid=160515 vsize=1178820 memory=1038216 CPUtime=11.56 cores=0,2
/proc/160518/stat : 160518 (pbsolver) R 160515 160518 158250 0 -1 4194304 265901 0 0 0 1115 41 0 0 20 0 1 0 237173987 1207111680 259554 18446744073709551615 4198400 14743177 140734214445120 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23506944 140734214453640 140734214453736 140734214453736 140734214459340 0
/proc/160518/statm: 294705 259554 2656 2575 0 291612 0
Current children cumulated CPU time: 11.56 s
Current children cumulated vsize: 1178820 KiB
Current children cumulated memory: 1038216 KiB
Child status: 0
Real time (s): 11.6912
CPU time (s): 11.6569
CPU user time (s): 11.1962
CPU system time (s): 0.460678
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 1211544
Max. memory (cumulated for all children) (KiB): 1070120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1962
system time used= 0.460678
maximum resident set size= 1070120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265901
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= 33
# summary of solver processes directly reported to runsolver:
# pid: 160518
# total CPU time (s): 11.6569
# total CPU user time (s): 11.1962
# total CPU system time (s): 0.460678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028947 second user time and 0.084404 second system time
The end
Begin job on nodeC035 at 2025-07-22 22:09:54 IDJOB=4543917 IDBENCH=174715 IDSOLVER=3366 FILE ID=nodeC035/4543917-1753214994 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_088.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543917-1753214994/watcher-4543917-1753214994 -o /tmp/evaluation-result-4543917-1753214994/solver-4543917-1753214994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760 pbsolver -f HOME/instance-4543917-1753214994.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 225933de352582a5f5a47ed5392988f0 RANDOM SEED=628855605 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 : 3599.746 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.751 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 : 3598.099 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 : 3599.827 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.761 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.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.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 : 3597.517 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 : 3584.912 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: 112465136 kB MemAvailable: 114777148 kB Buffers: 664 kB Cached: 3063060 kB SwapCached: 336 kB Active: 15389820 kB Inactive: 2192792 kB Active(anon): 14525896 kB Inactive(anon): 18908 kB Active(file): 863924 kB Inactive(file): 2173884 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009392 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19876 kB Writeback: 0 kB AnonPages: 14521316 kB Mapped: 141464 kB Shmem: 25904 kB KReclaimable: 226888 kB Slab: 322524 kB SReclaimable: 226888 kB SUnreclaim: 95636 kB KernelStack: 4288 kB PageTables: 31868 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 16632752 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 6236160 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:10:06