| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | ? | 3589.79 | 3599.51 |
| Name | PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb |
| MD5SUM | c802f246252f1c3f359f42604d33488d |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -11408 |
| Best CPU time to get the best result obtained on this benchmark | 7035.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 399113 |
| Total number of constraints | 400980 |
| Number of constraints which are clauses | 399002 |
| Number of constraints which are cardinality constraints (but not clauses) | 1977 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 397089 |
| Number of terms in the objective function | 272557 |
| Biggest coefficient in the objective function | 1024 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 174643715 |
| Number of bits of the sum of numbers in the objective function | 28 |
| Biggest number in a constraint | 1024 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 174643715 |
| Number of bits of the biggest sum of numbers | 28 |
| 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-4505963-1751489819.opb>
1.69/1.76 c original problem has 399113 variables (399113 bin, 0 int, 0 cont) and 400980 constraints
1.69/1.76 c problem read in 1.765 seconds
3.48/3.51 c presolving:
4.68/4.73 c (round 1, fast) 67996 del vars, 68352 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 23395 clqs
5.78/5.81 c (5.8s) running MILP presolver
122.04/122.57 c (122.6s) MILP presolver (4 rounds): 0 aggregations, 1120 fixings, 0 bound changes
122.14/122.68 c (round 2, medium) 69116 del vars, 68352 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 23382 clqs
122.44/122.91 c (round 3, fast) 69116 del vars, 69289 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 24989 clqs
124.13/124.68 c (round 4, exhaustive) 69116 del vars, 69483 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 331161 upgd conss, 0 impls, 24989 clqs
125.33/125.89 c (round 5, exhaustive) 69116 del vars, 69483 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 331497 upgd conss, 0 impls, 24989 clqs
132.50/133.06 c (133.1s) sparsify finished: 5/1880876 (0.0%) nonzeros canceled - in total 5 canceled nonzeros, 5 changed coefficients, 0 added nonzeros
268.65/269.68 c (269.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
270.14/271.12 c (271.1s) symmetry computation finished: 193 generators found (max: 193, log10 of symmetry group size: 1231.36) (symcode time: 0.66)
270.34/271.34 c dynamic symmetry handling statistics:
270.34/271.34 c orbitopal reduction: no components
270.34/271.34 c orbital reduction: 1 components of sizes 192
270.34/271.34 c lexicographic reduction: 193 permutations with support sizes 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 38c 2, 382
270.34/271.34 c handled 2 out of 2 symmetry components
271.04/272.01 c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
271.04/272.01 c 69270 deleted vars, 69487 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 24 changed coefficients
271.04/272.01 c 0 implications, 2169420 cliques
271.04/272.01 c presolved problem has 329967 variables (329967 bin, 0 int, 0 cont) and 331493 constraints
271.04/272.01 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
271.04/272.01 c 1 constraints of type <knapsack>
271.04/272.01 c 24984 constraints of type <setppc>
271.04/272.01 c 1 constraints of type <linear>
271.04/272.01 c 306507 constraints of type <logicor>
271.04/272.01 c transformed objective value is always integral (scale: 1)
271.04/272.01 c Presolving Time: 268.61
271.04/272.01 c
271.04/272.01 c - non default parameters ----------------------------------------------------------------------
271.04/272.01 c
271.04/272.01 c # SCIP version 10.0.0
271.04/272.01 c
271.04/272.01 c # maximal time in seconds to run
271.04/272.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
271.04/272.01 c limits/time = 3596.998188
271.04/272.01 c
271.04/272.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
271.04/272.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
271.04/272.01 c limits/memory = 27900
271.04/272.01 c
271.04/272.01 c # belongs reading time to solving time?
271.04/272.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
271.04/272.01 c timing/reading = TRUE
271.04/272.01 c
271.04/272.01 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
271.04/272.01 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
271.04/272.01 c reading/opbreader/maxintsize = 47
271.04/272.01 c
271.04/272.01 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
271.04/272.01 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
271.04/272.01 c propagating/genvbounds/timingmask = 0
271.04/272.01 c
271.04/272.01 c -----------------------------------------------------------------------------------------------
271.04/272.09 c
3587.57/3597.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3587.57/3597.32 c 3597s| 1 | 0 | 18901 | - | 3745M | 0 | 329k| 328k| 324k| 0 | 0 |3608 | 0 |-1.709264e+08 | -- | Inf | unknown
3587.57/3597.32 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
3587.57/3597.32 c
3587.57/3597.32 c SCIP Status : solving was interrupted [time limit reached]
3587.57/3597.32 c Solving Time (sec) : 3597.32
3587.57/3597.32 c Solving Nodes : 1
3587.57/3597.32 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.57/3597.32 c Dual Bound : -1.70926392000000e+08
3587.57/3597.32 c Gap : infinite
3587.57/3597.32 s UNKNOWN
3587.57/3597.32 c SCIP Status : solving was interrupted [time limit reached]
3587.57/3597.32 c Total Time : 3597.32
3587.57/3597.32 c solving : 3597.32
3587.57/3597.32 c presolving : 268.61 (included in solving)
3587.57/3597.32 c reading : 1.77 (included in solving)
3587.57/3597.32 c copying : 0.00 (0 times copied the problem)
3587.57/3597.32 c Original Problem :
3587.57/3597.32 c Problem name : HOME/instance-4505963-1751489819.opb
3587.57/3597.32 c Variables : 399113 (399113 binary, 0 integer, 0 continuous)
3587.57/3597.32 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.57/3597.32 c Constraints : 400980 initial, 400980 maximal
3587.57/3597.33 c Objective : minimize, 272557 non-zeros (abs.min = 1, abs.max = 1024)
3587.57/3597.33 c Presolved Problem :
3587.57/3597.33 c Problem name : t_HOME/instance-4505963-1751489819.opb
3587.57/3597.33 c Variables : 329967 (329967 binary, 0 integer, 0 continuous)
3587.57/3597.33 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.57/3597.33 c Constraints : 331493 initial, 331493 maximal
3587.57/3597.33 c Objective : minimize, 272556 non-zeros (abs.min = 1, abs.max = 1024)
3587.57/3597.33 c Nonzeros : 1880422 constraint, 4665454 clique table
3587.57/3597.33 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.57/3597.33 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c domcol : 2.71 0.00 1 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c dualsparsify : 1.21 0.00 1 0 0 0 0 0 0 0 0 18
3587.57/3597.33 c gateextraction : 0.61 0.00 2 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c implics : 0.02 0.00 4 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c milp : 117.80 0.00 1 1120 0 0 0 0 0 0 0 0
3587.57/3597.33 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c sparsify : 0.96 0.00 1 0 0 0 0 0 0 0 0 5
3587.57/3597.33 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c trivial : 0.07 0.00 6 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c dualfix : 0.15 0.00 6 67996 0 0 0 0 0 0 0 0
3587.57/3597.33 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c probing : 135.40 0.01 1 25 0 0 0 0 0 0 0 0
3587.57/3597.33 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c symmetry : 1.66 0.00 1 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c vbounds : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c knapsack : 0.32 0.02 6 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c setppc : 0.31 0.02 6 0 5 0 0 0 4 0 1 1
3587.57/3597.33 c linear : 2.59 0.44 7 0 0 0 0 0 69483 0 0 0
3587.57/3597.33 c logicor : 3.38 0.13 5 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c components : 0.38 0.00 1 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c root node : - - - 6910 - - 6910 - - - - -
3587.57/3597.33 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.57/3597.33 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3587.57/3597.33 c knapsack : 1 1 0 22417 0 0 0 3 10709 1 0 0 0 0 0
3587.57/3597.33 c setppc : 24984 24984 0 22416 0 0 0 1 2370003 3560 2213 0 0 0 0
3587.57/3597.33 c linear : 1 1 0 12188 0 0 0 3 0 7 105 0 0 0 0
3587.57/3597.33 c logicor : 306507 306507 0 17197 0 0 0 0 2074105 73 4583 0 0 0 0
3587.57/3597.33 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.57/3597.33 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.33 c knapsack : 176.35 0.02 0.09 101.27 0.00 0.00 0.00 0.03 74.94 0.00
3587.57/3597.33 c setppc : 102.09 0.02 0.06 99.36 0.00 0.00 0.00 0.00 2.66 0.00
3587.57/3597.33 c linear : 0.44 0.44 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.33 c logicor : 70.39 0.13 0.32 68.73 0.00 0.00 0.00 0.00 1.21 0.00
3587.57/3597.33 c fixedvar : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.33 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.33 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.33 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.57/3597.33 c dualfix : 13 0 0 0
3587.57/3597.33 c genvbounds : 0 0 0 0
3587.57/3597.33 c nlobbt : 0 0 0 0
3587.57/3597.33 c obbt : 0 0 0 0
3587.57/3597.33 c probing : 0 0 0 0
3587.57/3597.33 c pseudoobj : 13 0 0 0
3587.57/3597.33 c redcost : 0 0 0 0
3587.57/3597.33 c rootredcost : 0 0 0 0
3587.57/3597.33 c symmetry : 0 0 0 0
3587.57/3597.33 c vbounds : 8351 0 0 0
3587.57/3597.33 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.57/3597.33 c dualfix : 0.28 0.00 0.15 0.13 0.00 0.00
3587.57/3597.33 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.33 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.33 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.33 c probing : 135.41 0.01 135.40 0.00 0.00 0.00
3587.57/3597.33 c pseudoobj : 0.09 0.00 0.00 0.09 0.00 0.00
3587.57/3597.33 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.33 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.57/3597.33 c symmetry : 1.68 0.00 1.66 0.01 0.00 0.00
3587.57/3597.33 c vbounds : 0.35 0.00 0.10 0.25 0.00 0.00
3587.57/3597.33 c Symmetry :
3587.57/3597.33 c #affected vars : 37245 (37245 bin, 0 int, 0 cont)
3587.57/3597.33 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.57/3597.33 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.57/3597.33 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.57/3597.33 c shadow tree time : 0.00 s
3587.57/3597.33 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.57/3597.33 c propagation : 85.26 3623 3601 - 213782 376.6 0 0.0 - - -
3587.57/3597.33 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.57/3597.33 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.57/3597.33 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.57/3597.33 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.57/3597.33 c applied globally : 0.01 - - 0 3608 59.3 - - 0 - -
3587.57/3597.33 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.57/3597.33 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.57/3597.33 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3587.57/3597.33 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.57/3597.33 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.57/3597.33 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.57/3597.33 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3587.57/3597.33 c > strongcg : - - - - - - - 0 0 0 0 0 -
3587.57/3597.33 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.33 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.57/3597.33 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c Pricers : ExecTime SetupTime Calls Vars
3587.57/3597.33 c problem variables: 0.00 - 0 0
3587.57/3597.33 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.57/3597.33 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.33 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.57/3597.33 c LP solutions : 0.00 - - 0 0
3587.57/3597.33 c relax solutions : 0.00 - - 0 0
3587.57/3597.33 c pseudo solutions : 0.00 - - 0 0
3587.57/3597.33 c strong branching : 0.00 - - 0 0
3587.57/3597.33 c actconsdiving : 0.00 0.00 0 0 0
3587.57/3597.33 c adaptivediving : 0.00 0.00 0 0 0
3587.57/3597.33 c alns : 0.00 0.00 0 0 0
3587.57/3597.33 c bound : 0.00 0.00 0 0 0
3587.57/3597.33 c clique : 2.45 0.00 1 0 0
3587.57/3597.33 c coefdiving : 0.00 0.00 0 0 0
3587.57/3597.33 c completesol : 0.00 0.00 0 0 0
3587.57/3597.33 c conflictdiving : 0.00 0.00 0 0 0
3587.57/3597.33 c crossover : 0.00 0.00 0 0 0
3587.57/3597.33 c dins : 0.00 0.00 0 0 0
3587.57/3597.33 c distributiondivin: 0.00 0.00 0 0 0
3587.57/3597.33 c dks : 0.00 0.00 0 0 0
3587.57/3597.33 c dps : 0.00 0.00 0 0 0
3587.57/3597.33 c dualval : 0.00 0.00 0 0 0
3587.57/3597.33 c farkasdiving : 0.00 0.00 0 0 0
3587.57/3597.33 c feaspump : 0.00 0.00 0 0 0
3587.57/3597.33 c fixandinfer : 0.00 0.00 0 0 0
3587.57/3597.33 c fracdiving : 0.00 0.00 0 0 0
3587.57/3597.33 c gins : 0.00 0.00 0 0 0
3587.57/3597.33 c guideddiving : 0.00 0.00 0 0 0
3587.57/3597.33 c indicator : 0.00 0.00 0 0 0
3587.57/3597.33 c indicatordiving : 0.00 0.00 0 0 0
3587.57/3597.33 c intdiving : 0.00 0.00 0 0 0
3587.57/3597.33 c intshifting : 0.00 0.00 0 0 0
3587.57/3597.33 c linesearchdiving : 0.00 0.00 0 0 0
3587.57/3597.33 c localbranching : 0.00 0.00 0 0 0
3587.57/3597.33 c locks : 263.11 0.00 1 0 0
3587.57/3597.33 c lpface : 0.00 0.00 0 0 0
3587.57/3597.33 c mpec : 0.00 0.00 0 0 0
3587.57/3597.33 c multistart : 0.00 0.00 0 0 0
3587.57/3597.33 c mutation : 0.00 0.00 0 0 0
3587.57/3597.33 c nlpdiving : 0.00 0.00 0 0 0
3587.57/3597.33 c objpscostdiving : 0.00 0.00 0 0 0
3587.57/3597.33 c octane : 0.00 0.00 0 0 0
3587.57/3597.33 c ofins : 0.00 0.00 0 0 0
3587.57/3597.33 c oneopt : 0.00 0.00 0 0 0
3587.57/3597.33 c padm : 0.00 0.00 0 0 0
3587.57/3597.33 c proximity : 0.00 0.00 0 0 0
3587.57/3597.33 c pscostdiving : 0.00 0.00 0 0 0
3587.57/3597.33 c randrounding : 0.00 0.00 0 0 0
3587.57/3597.33 c rens : 0.00 0.00 0 0 0
3587.57/3597.33 c reoptsols : 0.00 0.00 0 0 0
3587.57/3597.33 c repair : 0.00 0.00 0 0 0
3587.57/3597.33 c rins : 0.00 0.00 0 0 0
3587.57/3597.33 c rootsoldiving : 0.00 0.00 0 0 0
3587.57/3597.33 c rounding : 0.00 0.00 0 0 0
3587.57/3597.33 c scheduler : 0.00 0.00 0 0 0
3587.57/3597.33 c shiftandpropagate: 5.33 0.00 1 0 0
3587.57/3597.33 c shifting : 0.00 0.00 0 0 0
3587.57/3597.33 c simplerounding : 0.00 0.00 0 0 0
3587.57/3597.33 c subnlp : 0.00 0.00 0 0 0
3587.57/3597.33 c trivial : 0.21 0.00 2 0 0
3587.57/3597.33 c trivialnegation : 0.00 0.00 0 0 0
3587.57/3597.33 c trustregion : 0.00 0.00 0 0 0
3587.57/3597.33 c trysol : 0.00 0.00 0 0 0
3587.57/3597.33 c twoopt : 0.00 0.00 0 0 0
3587.57/3597.33 c undercover : 0.00 0.00 0 0 0
3587.57/3597.33 c vbounds : 0.94 0.00 1 0 0
3587.57/3597.33 c veclendiving : 0.00 0.00 0 0 0
3587.57/3597.33 c zeroobj : 0.00 0.00 0 0 0
3587.57/3597.33 c zirounding : 0.00 0.00 0 0 0
3587.57/3597.33 c other solutions : - - - 0 -
3587.57/3597.33 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.57/3597.33 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.57/3597.33 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.57/3597.33 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.57/3597.33 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.57/3597.33 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.57/3597.33 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.57/3597.33 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.57/3597.33 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.57/3597.33 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
3587.57/3597.33 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.57/3597.33 c primal LP : 0.00 0 0 0.00 - 0.00 0
3587.57/3597.33 c dual LP : 3052.87 1 18901 18901.00 6.19 0.00 0
3587.57/3597.33 c lex dual LP : 0.00 0 0 0.00 -
3587.57/3597.33 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.57/3597.33 c resolve instable : 0.00 0 0 0.00 -
3587.57/3597.33 c diving/probing LP: 0.00 0 0 0.00 -
3587.57/3597.33 c strong branching : 0.00 0 0 0.00 - - - 0
3587.57/3597.33 c (at root node) : - 0 0 0.00 -
3587.57/3597.33 c conflict analysis: 0.00 0 0 0.00 -
3587.57/3597.33 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.57/3597.33 c benders : 0.00 0 0 0 0.00 0 0 0
3587.57/3597.33 c B&B Tree :
3587.57/3597.33 c number of runs : 1
3587.57/3597.33 c nodes : 1 (0 internal, 1 leaves)
3587.57/3597.33 c feasible leaves : 0
3587.57/3597.33 c infeas. leaves : 0
3587.57/3597.33 c objective leaves : 0
3587.57/3597.33 c nodes (total) : 1 (0 internal, 1 leaves)
3587.57/3597.33 c nodes left : 1
3587.57/3597.33 c max depth : 0
3587.57/3597.33 c max depth (total): 0
3587.57/3597.33 c backtracks : 0 (0.0%)
3587.57/3597.33 c early backtracks : 0 (0.0%)
3587.57/3597.33 c nodes exc. ref. : 0 (0.0%)
3587.57/3597.33 c delayed cutoffs : 0
3587.57/3597.33 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.57/3597.33 c avg switch length: 1.00
3587.57/3597.33 c switching time : 0.00
3587.57/3597.33 c Root Node :
3587.57/3597.33 c First LP value : -
3587.57/3597.33 c First LP Iters : 0
3587.57/3597.33 c First LP Time : 3052.88
3587.57/3597.33 c Final Dual Bound : -1.70926392000000e+08
3587.57/3597.33 c Final Root Iters : 18901
3587.57/3597.33 c Root LP Estimate : -
3587.57/3597.33 c Solution :
3587.57/3597.33 c Solutions found : 0 (0 improvements)
3587.57/3597.33 c Primal Bound : -
3587.57/3597.33 c Dual Bound : -1.70926392000000e+08
3587.57/3597.33 c Gap : infinite
3587.57/3597.33 c Integrals : Total Avg%
3587.57/3597.33 c primal-dual : 359731.80 100.00
3587.57/3597.33 c primal-ref : - - (not evaluated)
3587.57/3597.33 c dual-ref : - - (not evaluated)
3589.77/3599.50 c Time complete (sec): 3589.779
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 (56361 MiB free)
memory of node 1: 64465 MiB (55215 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505963-1751489819/watcher-4505963-1751489819 -o /tmp/evaluation-result-4505963-1751489819/solver-4505963-1751489819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751482618-67600 --watchdog 3760 pbsolver -f HOME/instance-4505963-1751489819.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
solver pid=68424, runsolver pid=68421
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.07 4.13 4.11 5/264 68425
/proc/meminfo: memFree=114145884/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=136316 memory=122540 CPUtime=0.09 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 28165 0 0 0 5 4 0 0 20 0 1 0 64660387 139587584 30635 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 34079 30635 2176 2575 0 30986 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 136316 KiB
Current children cumulated memory: 122540 KiB
[startup+0.205703 s]*
/proc/loadavg: 4.07 4.13 4.11 5/264 68425
/proc/meminfo: memFree=114041052/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=235568 memory=221100 CPUtime=0.2 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 52798 0 0 0 12 8 0 0 20 0 1 0 64660387 241221632 55275 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 58892 55275 2176 2575 0 55799 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 235568 KiB
Current children cumulated memory: 221100 KiB
[startup+0.305753 s]*
/proc/loadavg: 4.07 4.13 4.11 5/264 68425
/proc/meminfo: memFree=113960412/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=320716 memory=305724 CPUtime=0.3 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 73433 0 0 0 19 11 0 0 20 0 1 0 64660387 328413184 76431 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 80179 76431 2176 2575 0 77086 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 320716 KiB
Current children cumulated memory: 305724 KiB
[startup+0.700191 s]
/proc/loadavg: 4.07 4.13 4.11 5/264 68425
/proc/meminfo: memFree=113871572/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=474728 memory=460732 CPUtime=0.68 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 112187 0 0 0 51 17 0 0 20 0 1 0 64660387 486121472 115183 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 118682 115183 2176 2575 0 115589 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 474728 KiB
Current children cumulated memory: 460732 KiB
[startup+1.50019 s]
/proc/loadavg: 4.07 4.13 4.11 5/264 68425
/proc/meminfo: memFree=113744060/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=645120 memory=631100 CPUtime=1.49 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 154290 0 0 0 123 26 0 0 20 0 1 0 64660387 660602880 157775 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 161280 157775 2176 2575 0 158187 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 645120 KiB
Current children cumulated memory: 631100 KiB
[startup+3.10566 s]
/proc/loadavg: 4.07 4.13 4.11 5/264 68425
/proc/meminfo: memFree=112977976/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=1361820 memory=1351348 CPUtime=3.08 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 343176 0 0 0 251 57 0 0 20 0 1 0 64660387 1394503680 337837 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 340455 337837 2368 2575 0 337362 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1361820 KiB
Current children cumulated memory: 1351348 KiB
[startup+6.30018 s]
/proc/loadavg: 4.06 4.13 4.11 5/264 68425
/proc/meminfo: memFree=112324268/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=1929740 memory=1895960 CPUtime=6.27 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 407522 0 0 0 549 78 0 0 20 0 1 0 64660387 1976053760 473990 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 482435 473990 2496 2575 0 479342 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1929740 KiB
Current children cumulated memory: 1895960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.11 5/264 68425
/proc/meminfo: memFree=112309148/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=1948036 memory=1908720 CPUtime=12.65 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 409245 0 0 0 1187 78 0 0 20 0 1 0 64660387 1994788864 477180 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 487009 477180 2496 2575 0 483916 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1948036 KiB
Current children cumulated memory: 1908720 KiB
[startup+25.5002 s]
/proc/loadavg: 4.27 4.17 4.12 5/264 68426
/proc/meminfo: memFree=112301148/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=1958352 memory=1913968 CPUtime=25.4 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 410171 0 0 0 2461 79 0 0 20 0 1 0 64660387 2005352448 478492 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 489588 478492 2496 2575 0 486495 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1958352 KiB
Current children cumulated memory: 1913968 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.15 4.12 5/264 68471
/proc/meminfo: memFree=117209568/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=1958352 memory=1913968 CPUtime=50.91 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 410171 0 0 0 5012 79 0 0 20 0 1 0 64660387 2005352448 478492 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 489588 478492 2496 2575 0 486495 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1958352 KiB
Current children cumulated memory: 1913968 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/264 68472
/proc/meminfo: memFree=116272164/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=1949224 memory=1906120 CPUtime=101.91 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 413874 0 0 0 10111 80 0 0 20 0 1 0 64660387 1996005376 476530 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 487306 476530 2496 2575 0 484213 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1949224 KiB
Current children cumulated memory: 1906120 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/265 68475
/proc/meminfo: memFree=115522252/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=2680000 memory=2631116 CPUtime=161.7 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 602678 0 0 0 16055 115 0 0 20 0 1 0 64660387 2744320000 657779 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 670000 657779 2592 2575 0 666907 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 2680000 KiB
Current children cumulated memory: 2631116 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/265 68477
/proc/meminfo: memFree=114722884/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=2680000 memory=2631116 CPUtime=221.5 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 602679 0 0 0 22035 115 0 0 20 0 1 0 64660387 2744320000 657779 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 670000 657779 2592 2575 0 666907 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 2680000 KiB
Current children cumulated memory: 2631116 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/263 68494
/proc/meminfo: memFree=113571872/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=3834728 memory=3639696 CPUtime=281.3 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 755336 0 0 0 27980 150 0 0 20 0 1 0 64660387 3926761472 909924 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 958682 909924 2624 2575 0 955589 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 3834728 KiB
Current children cumulated memory: 3639696 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/263 68496
/proc/meminfo: memFree=112390108/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=3840800 memory=3643628 CPUtime=341.07 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 755996 0 0 0 33956 151 0 0 20 0 1 0 64660387 3932979200 910907 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 960200 910907 2624 2575 0 957107 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 3840800 KiB
Current children cumulated memory: 3643628 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 68498
/proc/meminfo: memFree=112300028/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=3840800 memory=3644140 CPUtime=400.79 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 756131 0 0 0 39927 152 0 0 20 0 1 0 64660387 3932979200 911035 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 960200 911035 2624 2575 0 957107 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 3840800 KiB
Current children cumulated memory: 3644140 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 68545
/proc/meminfo: memFree=114348684/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=3840800 memory=3644140 CPUtime=460.51 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 756134 0 0 0 45897 154 0 0 20 0 1 0 64660387 3932979200 911035 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 960200 911035 2624 2575 0 957107 0
Current children cumulated CPU time: 460.51 s
################
# More data... #
################
/proc/loadavg: 4.05 4.13 4.13 5/263 68732
/proc/meminfo: memFree=111903900/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3213.46 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 794875 0 0 0 321182 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/263 68734
/proc/meminfo: memFree=111890868/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3273.31 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 795027 0 0 0 327167 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/263 68740
/proc/meminfo: memFree=111891656/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3333.17 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 795027 0 0 0 333153 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/263 68742
/proc/meminfo: memFree=111873192/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3393.03 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 795027 0 0 0 339139 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/263 68744
/proc/meminfo: memFree=111769776/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3452.89 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 795190 0 0 0 345125 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.13 4.12 5/263 68746
/proc/meminfo: memFree=111608764/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3512.75 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 795192 0 0 0 351111 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/263 68748
/proc/meminfo: memFree=111611272/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3572.6 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 795192 0 0 0 357096 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3599.51 s]
# the end of solver process 68424 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.1 s, system=1.68305 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.13 4.12 5/263 68748
/proc/meminfo: memFree=111614484/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3574.31 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 795192 0 0 0 357267 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3574.31 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3590.4 s]
/proc/loadavg: 4.23 4.15 4.12 5/263 68748
/proc/meminfo: memFree=111605916/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3580.68 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 795192 0 0 0 357904 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3580.68 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3593.6 s]
/proc/loadavg: 4.21 4.15 4.12 5/263 68748
/proc/meminfo: memFree=111605916/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3583.88 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 795192 0 0 0 358224 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3583.88 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3596.8 s]
/proc/loadavg: 4.21 4.15 4.12 5/263 68748
/proc/meminfo: memFree=111605676/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3587.07 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 795192 0 0 0 358543 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3587.07 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.14 4.12 5/263 68748
/proc/meminfo: memFree=111607856/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=4203816 memory=3999352 CPUtime=3588.67 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 796375 0 0 0 358703 164 0 0 20 0 1 0 64660387 4304707584 999838 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 1050954 999838 2656 2575 0 1047861 0
Current children cumulated CPU time: 3588.67 s
Current children cumulated vsize: 4203816 KiB
Current children cumulated memory: 3999352 KiB
[startup+3599.2 s]
/proc/loadavg: 4.19 4.14 4.12 5/263 68748
/proc/meminfo: memFree=111607856/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=3953112 memory=3775228 CPUtime=3589.46 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 796435 0 0 0 358782 164 0 0 20 0 1 0 64660387 4047986688 943807 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 988278 943807 2656 2575 0 985185 0
Current children cumulated CPU time: 3589.46 s
Current children cumulated vsize: 3953112 KiB
Current children cumulated memory: 3775228 KiB
[startup+3599.4 s]
/proc/loadavg: 4.19 4.14 4.12 5/263 68748
/proc/meminfo: memFree=111607856/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=3764696 memory=3586932 CPUtime=3589.67 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 796473 0 0 0 358802 165 0 0 20 0 1 0 64660387 3855048704 896733 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 941174 896733 2656 2575 0 938081 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 3764696 KiB
Current children cumulated memory: 3586932 KiB
[startup+3599.5 s]
/proc/loadavg: 4.19 4.14 4.12 5/263 68748
/proc/meminfo: memFree=111607856/131249996 swapFree=33010160/33010684
[pid=68424] ppid=68421 vsize=3383180 memory=3205344 CPUtime=3589.77 cores=0,2
/proc/68424/stat : 68424 (pbsolver) R 68421 68424 67590 0 -1 4194304 796490 0 0 0 358810 167 0 0 20 0 1 0 64660387 3464376320 801336 18446744073709551615 4198400 14743177 140721237455648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 28508160 140721237461386 140721237461482 140721237461482 140721237467084 0
/proc/68424/statm: 845795 801336 2656 2575 0 842702 0
Current children cumulated CPU time: 3589.77 s
Current children cumulated vsize: 3383180 KiB
Current children cumulated memory: 3205344 KiB
Child status: 0
Real time (s): 3599.51
CPU time (s): 3589.79
CPU user time (s): 3588.1
CPU system time (s): 1.68305
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 4203816
Max. memory (cumulated for all children) (KiB): 3999352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.1
system time used= 1.68305
maximum resident set size= 3999352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 796686
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= 7
involuntary context switches= 7883
# summary of solver processes directly reported to runsolver:
# pid: 68424
# total CPU time (s): 3589.79
# total CPU user time (s): 3588.1
# total CPU system time (s): 1.68305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.16744 second user time and 14.5536 second system time
The end
Begin job on nodeC029 at 2025-07-02 22:56:59 IDJOB=4505963 IDBENCH=157385 IDSOLVER=3366 FILE ID=nodeC029/4505963-1751489819 RUNJOBID= nodeC029-1751482618-67600 SLURM_JOB_ID= 9598529 Free space on /tmp= 432108 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505963-1751489819/watcher-4505963-1751489819 -o /tmp/evaluation-result-4505963-1751489819/solver-4505963-1751489819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751482618-67600 --watchdog 3760 pbsolver -f HOME/instance-4505963-1751489819.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c802f246252f1c3f359f42604d33488d RANDOM SEED=392552440 nodeC029 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 : 3607.595 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.46 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.723 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.46 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.725 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.46 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 : 3598.792 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.46 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.723 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.46 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.718 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.46 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 : 3585.023 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.46 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 : 3597.397 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 114254812 kB MemAvailable: 115189732 kB Buffers: 2128 kB Cached: 1735044 kB SwapCached: 40 kB Active: 14995532 kB Inactive: 1295508 kB Active(anon): 14567128 kB Inactive(anon): 4768 kB Active(file): 428404 kB Inactive(file): 1290740 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 45964 kB Writeback: 20 kB AnonPages: 14553692 kB Mapped: 136480 kB Shmem: 18020 kB KReclaimable: 110032 kB Slab: 198672 kB SReclaimable: 110032 kB SUnreclaim: 88640 kB KernelStack: 4228 kB PageTables: 31972 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 16462692 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3203072 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: 193236 kB DirectMap2M: 11112448 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432088 MiB End job on nodeC029 at 2025-07-02 23:56:59