| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | UNSAT | 25.6594 | 25.7524 |
| Name | PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb |
| MD5SUM | b66aa0ca883b9987dbaf460c58c6223e |
| 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 | 3.15765 |
| 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 | 6800 |
| Total number of constraints | 285685 |
| Number of constraints which are clauses | 285685 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 80 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 81 |
| 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 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4493166-1751145039.opb>
0.39/0.46 c original problem has 6800 variables (6800 bin, 0 int, 0 impl, 0 cont) and 285685 constraints
0.39/0.46 c problem read in 0.46
0.39/0.47 c No objective function, only one solution is needed.
0.68/0.79 c presolving:
1.28/1.38 c (1.4s) running MILP presolver
1.58/1.64 c (1.6s) MILP presolver found nothing
2.08/2.12 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 285685 upgd conss, 0 impls, 285600 clqs
4.57/4.69 c (4.7s) probing: 51/6800 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.57/4.69 c (4.7s) probing aborted: 50/50 successive totally useless probings
4.77/4.80 c (4.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
25.01/25.19 c (25.2s) symmetry computation finished: 163 generators found (max: 1500, log10 of symmetry group size: 240.0) (symcode time: 20.10)
25.10/25.25 c dynamic symmetry handling statistics:
25.10/25.25 c orbitopal reduction: no components
25.10/25.25 c orbital reduction: no components
25.10/25.25 c lexicographic reduction: no permutations
25.10/25.25 c handled 1 out of 1 symmetry components
25.20/25.37 c (round 2, exhaustive) 3560 del vars, 4 del conss, 84 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 285685 upgd conss, 0 impls, 85320 clqs
25.40/25.51 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
25.40/25.51 c 3561 deleted vars, 200285 deleted constraints, 84 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3240 changed coefficients
25.40/25.51 c 0 implications, 85321 cliques
25.40/25.51 c presolving detected infeasibility
25.40/25.51 c Presolving Time: 24.72
25.40/25.51 c
25.40/25.51 c SCIP Status : problem is solved [infeasible]
25.40/25.51 c Solving Time (sec) : 25.50
25.40/25.51 c Solving Nodes : 0
25.40/25.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
25.40/25.51 c Dual Bound : +1.00000000000000e+20
25.40/25.51 c Gap : 0.00 %
25.40/25.51 c - non default parameters ----------------------------------------------------------------------
25.40/25.51 c # SCIP version 10.0.0
25.40/25.51 c
25.40/25.51 c # maximal time in seconds to run
25.40/25.51 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
25.40/25.51 c limits/time = 3596.998006
25.40/25.51 c
25.40/25.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
25.40/25.51 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
25.40/25.51 c limits/memory = 27900
25.40/25.51 c
25.40/25.51 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
25.40/25.51 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
25.40/25.51 c limits/solutions = 1
25.40/25.51 c
25.40/25.51 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
25.40/25.51 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
25.40/25.51 c misc/usesymmetry = 3
25.40/25.51 c
25.40/25.51 c # belongs reading time to solving time?
25.40/25.51 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
25.40/25.51 c timing/reading = TRUE
25.40/25.51 c
25.40/25.51 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
25.40/25.51 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
25.40/25.51 c propagating/symmetry/detectdoublelex = FALSE
25.40/25.51 c
25.40/25.51 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
25.40/25.51 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
25.40/25.51 c propagating/symmetry/detectsubgroups = FALSE
25.40/25.51 c
25.40/25.51 c # Type of symmetries that shall be computed?
25.40/25.51 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
25.40/25.51 c propagating/symmetry/symtype = 1
25.40/25.51 c
25.40/25.51 c # Should components consisting of a single full reflection be handled?
25.40/25.51 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
25.40/25.51 c propagating/symmetry/usesimplesgncomp = FALSE
25.40/25.51 c
25.40/25.51 c -----------------------------------------------------------------------------------------------
25.40/25.51 c start solving
25.40/25.51 s UNSATISFIABLE
25.40/25.51 c SCIP Status : problem is solved [infeasible]
25.40/25.51 c Total Time : 25.50
25.40/25.51 c solving : 25.50
25.40/25.51 c presolving : 24.72 (included in solving)
25.40/25.51 c reading : 0.46 (included in solving)
25.40/25.51 c copying : 0.00 (0 times copied the problem)
25.40/25.51 c Original Problem :
25.40/25.51 c Problem name : HOME/instance-4493166-1751145039.opb
25.40/25.51 c Variables : 6800 (6800 binary, 0 integer, 0 implicit integer, 0 continuous)
25.40/25.51 c Constraints : 285685 initial, 285685 maximal
25.40/25.51 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
25.40/25.51 c Presolved Problem :
25.40/25.51 c Problem name : t_HOME/instance-4493166-1751145039.opb
25.40/25.51 c Variables : 3239 (3239 binary, 0 integer, 0 implicit integer, 0 continuous)
25.40/25.51 c Constraints : 85484 initial, 85484 maximal
25.40/25.51 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
25.40/25.51 c Nonzeros : 186679 constraint, 170642 clique table
25.40/25.51 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
25.40/25.51 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c domcol : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
25.40/25.51 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c dualsparsify : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
25.40/25.51 c gateextraction : 0.19 0.00 1 0 0 0 0 0 0 0 0 0
25.40/25.51 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
25.40/25.51 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c milp : 0.53 0.00 1 0 0 0 0 0 0 0 0 0
25.40/25.51 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c sparsify : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
25.40/25.51 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
25.40/25.51 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
25.40/25.51 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c probing : 1.87 0.00 1 0 0 0 0 0 0 0 0 0
25.40/25.51 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c symmetry : 20.50 0.00 1 3560 0 0 0 0 4 84 0 0
25.40/25.51 c vbounds : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
25.40/25.51 c setppc : 0.37 0.01 4 0 0 0 0 0 200280 0 0 0
25.40/25.51 c linear : 0.69 0.05 2 0 0 0 0 0 0 0 0 0
25.40/25.51 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c logicor : 0.02 0.00 4 1 0 0 0 0 1 0 0 3240
25.40/25.51 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c root node : - - - 0 - - 0 - - - - -
25.40/25.51 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
25.40/25.51 c benderslp : 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0
25.40/25.51 c integral : 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0
25.40/25.51 c setppc : 85320 85320 0 100 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c orbitope : 80 80 0 0 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c logicor : 84 84 0 6 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
25.40/25.51 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c setppc : 0.50 0.01 0.00 0.49 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c orbitope : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c Propagators : #Propagate #ResProp Cutoffs DomReds
25.40/25.51 c dualfix : 0 0 0 0
25.40/25.51 c genvbounds : 0 0 0 0
25.40/25.51 c nlobbt : 0 0 0 0
25.40/25.51 c obbt : 0 0 0 0
25.40/25.51 c probing : 0 0 0 0
25.40/25.51 c pseudoobj : 0 0 0 0
25.40/25.51 c redcost : 0 0 0 0
25.40/25.51 c rootredcost : 0 0 0 0
25.40/25.51 c symmetry : 0 0 0 0
25.40/25.51 c vbounds : 0 0 0 0
25.40/25.51 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
25.40/25.51 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c probing : 1.87 0.00 1.87 0.00 0.00 0.00
25.40/25.51 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
25.40/25.51 c symmetry : 20.50 0.00 20.50 0.00 0.00 0.00
25.40/25.51 c vbounds : 0.02 0.00 0.02 0.00 0.00 0.00
25.40/25.51 c Symmetry :
25.40/25.51 c orbitopal red. : 0 reductions applied, 0 cutoffs
25.40/25.51 c orbital reduction: 0 reductions applied, 0 cutoffs
25.40/25.51 c lexicographic red: 0 reductions applied, 0 cutoffs
25.40/25.51 c shadow tree time : 0.00 s
25.40/25.51 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
25.40/25.51 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
25.40/25.51 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
25.40/25.51 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
25.40/25.51 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
25.40/25.51 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
25.40/25.51 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
25.40/25.51 c applied locally : - - - 0 0 0.0 - - 0 - -
25.40/25.51 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
25.40/25.51 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
25.40/25.51 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c > cmir : - - - - - - - 0 0 0 0 0 -
25.40/25.51 c > flowcover : - - - - - - - 0 0 0 0 0 -
25.40/25.51 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
25.40/25.51 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c > gomorymi : - - - - - - - 0 0 0 0 0 -
25.40/25.51 c > strongcg : - - - - - - - 0 0 0 0 0 -
25.40/25.51 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.40/25.51 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
25.40/25.51 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c Pricers : ExecTime SetupTime Calls Vars
25.40/25.51 c problem variables: 0.00 - 0 0
25.40/25.51 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
25.40/25.51 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c random : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
25.40/25.51 c Primal Heuristics : ExecTime SetupTime Calls Found Best
25.40/25.51 c LP solutions : 0.00 - - 0 0
25.40/25.51 c relax solutions : 0.00 - - 0 0
25.40/25.51 c pseudo solutions : 0.00 - - 0 0
25.40/25.51 c strong branching : 0.00 - - 0 0
25.40/25.51 c actconsdiving : 0.00 0.00 0 0 0
25.40/25.51 c adaptivediving : 0.00 0.00 0 0 0
25.40/25.51 c alns : 0.00 0.00 0 0 0
25.40/25.51 c bound : 0.00 0.00 0 0 0
25.40/25.51 c clique : 0.00 0.00 0 0 0
25.40/25.51 c coefdiving : 0.00 0.00 0 0 0
25.40/25.51 c completesol : 0.00 0.00 0 0 0
25.40/25.51 c conflictdiving : 0.00 0.00 0 0 0
25.40/25.51 c crossover : 0.00 0.00 0 0 0
25.40/25.51 c dins : 0.00 0.00 0 0 0
25.40/25.51 c distributiondivin: 0.00 0.00 0 0 0
25.40/25.51 c dps : 0.00 0.00 0 0 0
25.40/25.51 c dualval : 0.00 0.00 0 0 0
25.40/25.51 c farkasdiving : 0.00 0.00 0 0 0
25.40/25.51 c feasjump : 0.00 0.00 0 0 0
25.40/25.51 c feaspump : 0.00 0.00 0 0 0
25.40/25.51 c fixandinfer : 0.00 0.00 0 0 0
25.40/25.51 c fracdiving : 0.00 0.00 0 0 0
25.40/25.51 c gins : 0.00 0.00 0 0 0
25.40/25.51 c guideddiving : 0.00 0.00 0 0 0
25.40/25.51 c indcoefdiving : 0.00 0.00 0 0 0
25.40/25.51 c indicator : 0.00 0.00 0 0 0
25.40/25.51 c indicatordiving : 0.00 0.00 0 0 0
25.40/25.51 c indoneopt : 0.00 0.00 0 0 0
25.40/25.51 c indrounding : 0.00 0.00 0 0 0
25.40/25.51 c indtwoopt : 0.00 0.00 0 0 0
25.40/25.51 c intdiving : 0.00 0.00 0 0 0
25.40/25.51 c intshifting : 0.00 0.00 0 0 0
25.40/25.51 c linesearchdiving : 0.00 0.00 0 0 0
25.40/25.51 c localbranching : 0.00 0.00 0 0 0
25.40/25.51 c locks : 0.00 0.00 0 0 0
25.40/25.51 c lpface : 0.00 0.00 0 0 0
25.40/25.51 c mpec : 0.00 0.00 0 0 0
25.40/25.51 c multistart : 0.00 0.00 0 0 0
25.40/25.51 c mutation : 0.00 0.00 0 0 0
25.40/25.51 c nlpdiving : 0.00 0.00 0 0 0
25.40/25.51 c objpscostdiving : 0.00 0.00 0 0 0
25.40/25.51 c octane : 0.00 0.00 0 0 0
25.40/25.51 c ofins : 0.00 0.00 0 0 0
25.40/25.51 c oneopt : 0.00 0.00 0 0 0
25.40/25.51 c padm : 0.00 0.00 0 0 0
25.40/25.51 c proximity : 0.00 0.00 0 0 0
25.40/25.51 c pscostdiving : 0.00 0.00 0 0 0
25.40/25.51 c randrounding : 0.00 0.00 0 0 0
25.40/25.51 c rens : 0.00 0.00 0 0 0
25.40/25.51 c reoptsols : 0.00 0.00 0 0 0
25.40/25.51 c repair : 0.00 0.00 0 0 0
25.40/25.51 c rins : 0.00 0.00 0 0 0
25.40/25.51 c rootsoldiving : 0.00 0.00 0 0 0
25.40/25.51 c rounding : 0.00 0.00 0 0 0
25.40/25.51 c scheduler : 0.00 0.00 0 0 0
25.40/25.51 c shiftandpropagate: 0.00 0.00 0 0 0
25.40/25.51 c shifting : 0.00 0.00 0 0 0
25.40/25.51 c simplerounding : 0.00 0.00 0 0 0
25.40/25.51 c smallcard : 0.00 0.00 0 0 0
25.40/25.51 c subnlp : 0.00 0.00 0 0 0
25.40/25.51 c trivial : 0.00 0.00 1 0 0
25.40/25.51 c trivialnegation : 0.00 0.00 0 0 0
25.40/25.51 c trustregion : 0.00 0.00 0 0 0
25.40/25.51 c trysol : 0.00 0.00 0 0 0
25.40/25.51 c twoopt : 0.00 0.00 0 0 0
25.40/25.51 c undercover : 0.00 0.00 0 0 0
25.40/25.51 c vbounds : 0.00 0.00 0 0 0
25.40/25.51 c veclendiving : 0.00 0.00 0 0 0
25.40/25.51 c zeroobj : 0.00 0.00 0 0 0
25.40/25.51 c zirounding : 0.00 0.00 0 0 0
25.40/25.51 c other solutions : - - - 0 -
25.40/25.51 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
25.40/25.51 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
25.40/25.51 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
25.40/25.51 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
25.40/25.51 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
25.40/25.51 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
25.40/25.51 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
25.40/25.51 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
25.40/25.51 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
25.40/25.51 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
25.40/25.51 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
25.40/25.51 c primal LP : 0.00 0 0 0.00 - 0.00 0
25.40/25.51 c dual LP : 0.00 0 0 0.00 - 0.00 0
25.40/25.51 c lex dual LP : 0.00 0 0 0.00 -
25.40/25.51 c barrier LP : 0.00 0 0 0.00 - 0.00 0
25.40/25.51 c resolve instable : 0.00 0 0 0.00 -
25.40/25.51 c diving/probing LP: 0.00 0 0 0.00 -
25.40/25.51 c strong branching : 0.00 0 0 0.00 - - - 0
25.40/25.51 c (at root node) : - 0 0 0.00 -
25.40/25.51 c conflict analysis: 0.00 0 0 0.00 -
25.40/25.51 c B&B Tree :
25.40/25.51 c number of runs : 1
25.40/25.51 c nodes : 0 (0 internal, 0 leaves)
25.40/25.51 c feasible leaves : 0
25.40/25.51 c infeas. leaves : 0
25.40/25.51 c objective leaves : 0
25.40/25.51 c nodes (total) : 0 (0 internal, 0 leaves)
25.40/25.51 c nodes left : 1
25.40/25.51 c max depth : -1
25.40/25.51 c max depth (total): -1
25.40/25.51 c backtracks : 0 (0.0%)
25.40/25.51 c early backtracks : 0 (0.0%)
25.40/25.51 c nodes exc. ref. : 0 (0.0%)
25.40/25.51 c delayed cutoffs : 0
25.40/25.51 c repropagations : 0 (0 domain reductions, 0 cutoffs)
25.40/25.51 c avg switch length: 0.00
25.40/25.51 c switching time : 0.00
25.40/25.51 c Root Node :
25.40/25.51 c First LP value : -
25.40/25.51 c First LP Iters : 0
25.40/25.51 c First LP Time : 0.00
25.40/25.51 c Final Dual Bound : -
25.40/25.51 c Final Root Iters : 0
25.40/25.51 c Root LP Estimate : -
25.40/25.51 c Solution :
25.40/25.51 c Solutions found : 0 (0 improvements)
25.40/25.51 c Primal Bound : infeasible
25.40/25.51 c Dual Bound : -
25.40/25.51 c Gap : 0.00 %
25.40/25.51 c Integrals : Total Avg%
25.40/25.51 c primal-dual : - - (problem infeasible)
25.40/25.51 c primal-ref : - - (problem infeasible)
25.40/25.51 c dual-ref : - - (problem infeasible)
25.59/25.74 c Time complete: 25.6445.
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 (62709 MiB free)
memory of node 1: 64465 MiB (63651 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493166-1751145039/watcher-4493166-1751145039 -o /tmp/evaluation-result-4493166-1751145039/solver-4493166-1751145039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14146 --watchdog 3760 pbscip -f HOME/instance-4493166-1751145039.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=15620, runsolver pid=15617
[startup+0.100068 s]*
/proc/loadavg: 4.11 3.22 2.64 5/265 15621
/proc/meminfo: memFree=129377684/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=78488 memory=50432 CPUtime=0.08 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 9721 0 0 0 7 1 0 0 20 0 1 0 30180486 80371712 12608 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 19622 12608 3200 3530 0 11073 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78488 KiB
Current children cumulated memory: 50432 KiB
[startup+0.205473 s]*
/proc/loadavg: 4.11 3.22 2.64 5/265 15621
/proc/meminfo: memFree=129369872/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=112968 memory=84352 CPUtime=0.2 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 18206 0 0 0 17 3 0 0 20 0 1 0 30180486 115679232 21088 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 28242 21088 3200 3530 0 19693 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112968 KiB
Current children cumulated memory: 84352 KiB
[startup+0.305347 s]*
/proc/loadavg: 4.11 3.22 2.64 5/265 15621
/proc/meminfo: memFree=129329552/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=142112 memory=113536 CPUtime=0.29 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 25504 0 0 0 25 4 0 0 20 0 1 0 30180486 145522688 28384 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 35528 28384 3200 3530 0 26979 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 142112 KiB
Current children cumulated memory: 113536 KiB
[startup+0.700132 s]
/proc/loadavg: 4.11 3.22 2.64 5/265 15621
/proc/meminfo: memFree=129265292/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=328176 memory=299552 CPUtime=0.68 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 72219 0 0 0 58 10 0 0 20 0 1 0 30180486 336052224 74888 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 82044 74888 3488 3530 0 73495 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 328176 KiB
Current children cumulated memory: 299552 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 3.23 2.65 5/265 15621
/proc/meminfo: memFree=129080828/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=558916 memory=526116 CPUtime=1.48 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 112970 0 0 0 129 19 0 0 20 0 1 0 30180486 572329984 131529 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 139729 131529 3616 3530 0 131180 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 558916 KiB
Current children cumulated memory: 526116 KiB
[startup+3.10555 s]
/proc/loadavg: 4.10 3.23 2.65 5/265 15621
/proc/meminfo: memFree=128865660/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=561192 memory=527736 CPUtime=3.08 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 134090 0 0 0 285 23 0 0 20 0 1 0 30180486 574660608 131934 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 140298 131934 3680 3530 0 131749 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 561192 KiB
Current children cumulated memory: 527736 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 3.25 2.66 5/265 15621
/proc/meminfo: memFree=128764924/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=774720 memory=683592 CPUtime=6.26 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 152581 0 0 0 600 26 0 0 20 0 1 0 30180486 793313280 170898 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 193680 170898 3712 3530 0 185131 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 774720 KiB
Current children cumulated memory: 683592 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.26 2.67 5/265 15622
/proc/meminfo: memFree=128740348/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=774720 memory=689764 CPUtime=12.65 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 152592 0 0 0 1238 27 0 0 20 0 1 0 30180486 793313280 172441 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 193680 172441 3712 3530 0 185131 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 774720 KiB
Current children cumulated memory: 689764 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 3.30 2.69 5/265 15622
/proc/meminfo: memFree=128726352/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=641420 memory=607024 CPUtime=25.4 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 152605 0 0 0 2513 27 0 0 20 0 1 0 30180486 656814080 151756 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 160355 151756 3712 3530 0 151806 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 641420 KiB
Current children cumulated memory: 607024 KiB
[startup+25.7524 s]
# the end of solver process 15620 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=25.3632 s, system=0.296156 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.15 3.30 2.69 5/265 15622
/proc/meminfo: memFree=128726352/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=641420 memory=607024 CPUtime=25.5 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 152606 0 0 0 2523 27 0 0 20 0 1 0 30180486 656814080 151756 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 160355 151756 3712 3530 0 151806 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 641420 KiB
Current children cumulated memory: 607024 KiB
[startup+25.7002 s]
/proc/loadavg: 4.15 3.30 2.69 5/265 15622
/proc/meminfo: memFree=128726352/131250000 swapFree=33010684/33010684
[pid=15620] ppid=15617 vsize=570448 memory=536972 CPUtime=25.59 cores=5,7
/proc/15620/stat : 15620 (pbscip) R 15617 15620 14133 0 -1 4194304 152609 0 0 0 2532 27 0 0 20 0 1 0 30180486 584138752 134243 18446744073709551615 4235264 18693293 140721026497024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44810240 140721026505097 140721026505196 140721026505196 140721026510798 0
/proc/15620/statm: 142612 134243 3744 3530 0 134063 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 570448 KiB
Current children cumulated memory: 536972 KiB
Child status: 0
Real time (s): 25.7524
CPU time (s): 25.6594
CPU user time (s): 25.3632
CPU system time (s): 0.296156
CPU usage (%): 99.6387
Max. virtual memory (cumulated for all children) (KiB): 774720
Max. memory (cumulated for all children) (KiB): 693860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.3632
system time used= 0.296156
maximum resident set size= 693860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152617
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= 80
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 15620
# total CPU time (s): 25.6594
# total CPU user time (s): 25.3632
# total CPU system time (s): 0.296156
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057983 second user time and 0.136058 second system time
The end
Begin job on nodeC014 at 2025-06-28 23:10:39 IDJOB=4493166 IDBENCH=147848 IDSOLVER=3365 FILE ID=nodeC014/4493166-1751145039 RUNJOBID= nodeC014-1751144686-14146 SLURM_JOB_ID= 9587442 Free space on /tmp= 432952 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493166-1751145039/watcher-4493166-1751145039 -o /tmp/evaluation-result-4493166-1751145039/solver-4493166-1751145039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14146 --watchdog 3760 pbscip -f HOME/instance-4493166-1751145039.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b66aa0ca883b9987dbaf460c58c6223e RANDOM SEED=623933136 nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.090 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 : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.113 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 : 7000.23 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 : 3601.018 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 : 7000.23 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 : 3700.000 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 : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.168 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 : 7000.23 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.253 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 : 7000.23 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 : 3659.952 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 : 7000.23 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 : 3600.098 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 : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129393336 kB MemAvailable: 129056540 kB Buffers: 3280 kB Cached: 474764 kB SwapCached: 0 kB Active: 936984 kB Inactive: 265424 kB Active(anon): 742432 kB Inactive(anon): 0 kB Active(file): 194552 kB Inactive(file): 265424 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 25916 kB Writeback: 44 kB AnonPages: 727440 kB Mapped: 138128 kB Shmem: 18068 kB KReclaimable: 84936 kB Slab: 167836 kB SReclaimable: 84936 kB SUnreclaim: 82900 kB KernelStack: 4272 kB PageTables: 4724 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1163600 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 258048 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432932 MiB End job on nodeC014 at 2025-06-28 23:11:05