| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586.26 | 3599.27 |
| Name | PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb |
| MD5SUM | ad0aeea3e7e7044b142cd83589fcb352 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -375879 |
| Best CPU time to get the best result obtained on this benchmark | 3558.78 |
| 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 | 400896 |
| Total number of constraints | 402763 |
| Number of constraints which are clauses | 400785 |
| Number of constraints which are cardinality constraints (but not clauses) | 194 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1784 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 58023 |
| Number of terms in the objective function | 1605 |
| Biggest coefficient in the objective function | 6765 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 1300178 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 6765 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 1300178 |
| Number of bits of the biggest sum of numbers | 21 |
| 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-4432853-1721147294.opb>
1.39/1.44 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
1.39/1.44 c problem read in 1.44
2.88/3.00 c presolving:
4.58/4.67 c (4.7s) running MILP presolver
82.09/82.41 c (82.4s) MILP presolver (5 rounds): 1 aggregations, 42946 fixings, 0 bound changes
82.39/82.72 c (round 1, medium) 42947 del vars, 402763 del conss, 358138 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 23553 clqs
84.58/84.92 c (round 2, exhaustive) 42947 del vars, 402763 del conss, 358138 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 358138 upgd conss, 0 impls, 26426 clqs
180.03/180.78 c (180.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
181.52/182.21 c (182.2s) symmetry computation finished: 178 generators found (max: 178, log10 of symmetry group size: 0.0) (symcode time: 0.68)
181.92/182.65 c dynamic symmetry handling statistics:
181.92/182.65 c orbitopal reduction: 5 components: 188x3, 191x3, 183x3, 191x3, 187x3
181.92/182.65 c orbital reduction: 13 components of sizes 4, 4, 17, 4, 4, 13, 7, 11, 10, 7, 11, 10, 7
181.92/182.65 c lexicographic reduction: 168 permutations with support sizes 374, 366, 370, 370, 370, 370, 370, 374, 378, 374, 374, 374, 374, 374, 374, 374, 374, 376, 376, 376, 376, 376, 376, 376, 376, 376, 376, 374, 374, 374, 380, 380, 380, 374, 374, 374, 376, 376, 376, 376, 378, 378, 378, 380, 380, 380, 380, 382, 372, 370, 370, 370, 370, 366, 366, 362, 366, 370, 368, 368, 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, 374, 374, 374
181.92/182.65 c handled 77 out of 77 symmetry components
182.52/183.21 c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
182.52/183.21 c 42972 deleted vars, 402781 deleted constraints, 358138 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 20 changed coefficients
182.52/183.21 c 0 implications, 2160873 cliques
182.52/183.21 c presolved problem has 357924 variables (357924 bin, 0 int, 0 impl, 0 cont) and 358120 constraints
182.52/183.21 c 1 constraints of type <knapsack>
182.52/183.21 c 26408 constraints of type <setppc>
182.52/183.21 c 331711 constraints of type <logicor>
182.52/183.21 c transformed objective value is always integral (scale: 1)
182.52/183.21 c Presolving Time: 180.33
182.52/183.21 c - non default parameters ----------------------------------------------------------------------
182.52/183.21 c # SCIP version 10.0.0
182.52/183.21 c
182.52/183.21 c # maximal time in seconds to run
182.52/183.21 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
182.52/183.21 c limits/time = 3596.997052
182.52/183.21 c
182.52/183.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
182.52/183.21 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
182.52/183.21 c limits/memory = 27900
182.52/183.21 c
182.52/183.21 c # belongs reading time to solving time?
182.52/183.21 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
182.52/183.21 c timing/reading = TRUE
182.52/183.21 c
182.52/183.21 c -----------------------------------------------------------------------------------------------
182.52/183.21 c start solving
182.62/183.30 c
726.79/729.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
726.79/729.90 c 730s| 1 | 0 | 67354 | - | 3977M | 0 | 357k| 358k| 358k| 0 | 0 | 581 | 0 |-4.748376e+05 | -- | Inf | unknown
3584.09/3597.16 c
3584.09/3597.16 c SCIP Status : solving was interrupted [time limit reached]
3584.09/3597.16 c Solving Time (sec) : 3597.15
3584.09/3597.16 c Solving Nodes : 1
3584.09/3597.16 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.09/3597.16 c Dual Bound : -4.74837593692401e+05
3584.09/3597.16 c Gap : infinite
3584.09/3597.16 s UNKNOWN
3584.09/3597.16 c SCIP Status : solving was interrupted [time limit reached]
3584.09/3597.16 c Total Time : 3597.15
3584.09/3597.16 c solving : 3597.15
3584.09/3597.16 c presolving : 180.33 (included in solving)
3584.09/3597.16 c reading : 1.44 (included in solving)
3584.09/3597.16 c copying : 0.00 (0 times copied the problem)
3584.09/3597.16 c Original Problem :
3584.09/3597.16 c Problem name : HOME/instance-4432853-1721147294.opb
3584.09/3597.16 c Variables : 400896 (400896 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.09/3597.16 c Constraints : 402763 initial, 402763 maximal
3584.09/3597.17 c Objective : minimize, 1605 non-zeros (abs.min = 1, abs.max = 6765)
3584.09/3597.17 c Presolved Problem :
3584.09/3597.17 c Problem name : t_HOME/instance-4432853-1721147294.opb
3584.09/3597.17 c Variables : 357924 (357924 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.09/3597.17 c Constraints : 358120 initial, 358635 maximal
3584.09/3597.17 c Objective : minimize, 1605 non-zeros (abs.min = 1, abs.max = 6765)
3584.09/3597.17 c Nonzeros : 1735752 constraint, 4676098 clique table
3584.09/3597.17 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.09/3597.17 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c domcol : 1.88 0.00 1 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c dualsparsify : 1.11 0.00 1 0 0 0 0 0 18 0 0 20
3584.09/3597.17 c gateextraction : 0.44 0.00 1 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c implics : 0.02 0.00 3 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c milp : 78.76 0.00 1 42946 1 0 0 0 402763 358138 0 0
3584.09/3597.17 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c sparsify : 1.97 0.00 1 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c trivial : 0.04 0.00 3 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c dualfix : 0.04 0.00 3 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c probing : 87.20 0.01 1 8 17 0 0 0 0 0 0 0
3584.09/3597.17 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c symmetry : 1.87 0.00 1 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c vbounds : 0.49 0.00 2 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c knapsack : 0.15 0.01 3 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c setppc : 0.31 0.01 3 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c linear : 2.30 0.29 3 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c logicor : 2.77 0.13 3 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c components : 0.30 0.00 1 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c root node : - - - 3 - - 3 - - - - -
3584.09/3597.17 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.09/3597.17 c benderslp : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3584.09/3597.17 c integral : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3584.09/3597.17 c knapsack : 1+ 2 0 329481 0 0 0 3 5573 2 0 0 0 0 0
3584.09/3597.17 c setppc : 26408+ 26504 0 329493 0 0 0 1 302784 392 0 0 0 0 0
3584.09/3597.17 c logicor : 331711+ 332142 0 21698 0 0 0 0 198481 98 0 0 0 0 0
3584.09/3597.17 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.09/3597.17 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.09/3597.17 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.09/3597.17 c knapsack : 3.30 0.01 0.02 1.69 0.00 0.00 0.00 0.01 1.57 0.00
3584.09/3597.17 c setppc : 15.59 0.01 0.10 15.11 0.00 0.00 0.00 0.00 0.36 0.00
3584.09/3597.17 c logicor : 28.50 0.13 0.25 27.97 0.00 0.00 0.00 0.00 0.15 0.00
3584.09/3597.17 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.09/3597.17 c fixedvar : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.09/3597.17 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.09/3597.17 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3584.09/3597.17 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.09/3597.17 c dualfix : 1 0 0 0
3584.09/3597.17 c genvbounds : 0 0 0 0
3584.09/3597.17 c nlobbt : 0 0 0 0
3584.09/3597.17 c obbt : 0 0 0 0
3584.09/3597.17 c probing : 0 0 0 0
3584.09/3597.17 c pseudoobj : 2 0 0 0
3584.09/3597.17 c redcost : 1 0 0 0
3584.09/3597.17 c rootredcost : 0 0 0 0
3584.09/3597.17 c symmetry : 0 0 0 0
3584.09/3597.17 c vbounds : 5174 0 0 0
3584.09/3597.17 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.09/3597.17 c dualfix : 0.05 0.00 0.04 0.01 0.00 0.00
3584.09/3597.17 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3584.09/3597.17 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.09/3597.17 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.09/3597.17 c probing : 87.21 0.01 87.20 0.00 0.00 0.00
3584.09/3597.17 c pseudoobj : 17.46 0.00 0.00 17.46 0.00 0.00
3584.09/3597.17 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
3584.09/3597.17 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3584.09/3597.17 c symmetry : 1.90 0.00 1.87 0.03 0.00 0.00
3584.09/3597.17 c vbounds : 0.63 0.00 0.49 0.14 0.00 0.00
3584.09/3597.17 c Symmetry :
3584.09/3597.17 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.09/3597.17 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.09/3597.17 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.09/3597.17 c shadow tree time : 0.00 s
3584.09/3597.17 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.09/3597.17 c propagation : 3.12 481 479 - 33047 401.8 0 0.0 - - -
3584.09/3597.17 c infeasible LP : 0.06 1 1 - 7 43.0 0 0.0 1 5761.0 0
3584.09/3597.17 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.09/3597.17 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.09/3597.17 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.09/3597.17 c applied globally : 0.08 - - 0 583 114.7 - - 1 - -
3584.09/3597.17 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.09/3597.17 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.09/3597.17 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3584.09/3597.17 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.09/3597.17 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.09/3597.17 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.09/3597.17 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3584.09/3597.17 c > strongcg : - - - - - - - 0 0 0 0 0 -
3584.09/3597.17 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.09/3597.17 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.09/3597.17 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c Pricers : ExecTime SetupTime Calls Vars
3584.09/3597.17 c problem variables: 0.00 - 0 0
3584.09/3597.17 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.09/3597.17 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.09/3597.17 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.09/3597.17 c LP solutions : 0.00 - - 0 0
3584.09/3597.17 c relax solutions : 0.00 - - 0 0
3584.09/3597.17 c pseudo solutions : 0.00 - - 0 0
3584.09/3597.17 c strong branching : 0.00 - - 0 0
3584.09/3597.17 c actconsdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c adaptivediving : 0.00 0.00 0 0 0
3584.09/3597.17 c alns : 0.00 0.00 0 0 0
3584.09/3597.17 c bound : 0.00 0.00 0 0 0
3584.09/3597.17 c clique : 2.35 0.00 1 0 0
3584.09/3597.17 c coefdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c completesol : 0.00 0.00 0 0 0
3584.09/3597.17 c conflictdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c crossover : 0.00 0.00 0 0 0
3584.09/3597.17 c dins : 0.00 0.00 0 0 0
3584.09/3597.17 c distributiondivin: 0.00 0.00 0 0 0
3584.09/3597.17 c dps : 0.00 0.00 0 0 0
3584.09/3597.17 c dualval : 0.00 0.00 0 0 0
3584.09/3597.17 c farkasdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c feasjump : 1.88 0.00 1 0 0
3584.09/3597.17 c feaspump : 2866.63 0.00 1 0 0
3584.09/3597.17 c fixandinfer : 0.00 0.00 0 0 0
3584.09/3597.17 c fracdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c gins : 0.00 0.00 0 0 0
3584.09/3597.17 c guideddiving : 0.00 0.00 0 0 0
3584.09/3597.17 c indcoefdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c indicator : 0.00 0.00 0 0 0
3584.09/3597.17 c indicatordiving : 0.00 0.00 0 0 0
3584.09/3597.17 c indoneopt : 0.00 0.00 0 0 0
3584.09/3597.17 c indrounding : 0.00 0.00 0 0 0
3584.09/3597.17 c indtwoopt : 0.00 0.00 0 0 0
3584.09/3597.17 c intdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c intshifting : 0.00 0.00 0 0 0
3584.09/3597.17 c linesearchdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c localbranching : 0.00 0.00 0 0 0
3584.09/3597.17 c locks : 7.12 0.00 1 0 0
3584.09/3597.17 c lpface : 0.00 0.00 0 0 0
3584.09/3597.17 c mpec : 0.00 0.00 0 0 0
3584.09/3597.17 c multistart : 0.00 0.00 0 0 0
3584.09/3597.17 c mutation : 0.00 0.00 0 0 0
3584.09/3597.17 c nlpdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c objpscostdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c octane : 0.00 0.00 0 0 0
3584.09/3597.17 c ofins : 0.00 0.00 0 0 0
3584.09/3597.17 c oneopt : 0.00 0.00 0 0 0
3584.09/3597.17 c padm : 0.00 0.00 0 0 0
3584.09/3597.17 c proximity : 0.00 0.00 0 0 0
3584.09/3597.17 c pscostdiving : 0.00 0.00 0 0 0
3584.09/3597.17 c randrounding : 0.45 0.00 1 0 0
3584.09/3597.17 c rens : 0.00 0.00 0 0 0
3584.09/3597.17 c reoptsols : 0.00 0.00 0 0 0
3584.09/3597.17 c repair : 0.00 0.00 0 0 0
3584.09/3597.17 c rins : 0.00 0.00 0 0 0
3584.09/3597.17 c rootsoldiving : 0.00 0.00 0 0 0
3584.09/3597.17 c rounding : 0.01 0.00 1 0 0
3584.09/3597.17 c scheduler : 0.00 0.00 0 0 0
3584.09/3597.17 c shiftandpropagate: 0.45 0.00 1 0 0
3584.09/3597.17 c shifting : 0.12 0.00 1 0 0
3584.09/3597.17 c simplerounding : 0.01 0.00 0 0 0
3584.09/3597.17 c smallcard : 0.00 0.00 0 0 0
3584.09/3597.17 c subnlp : 0.00 0.00 0 0 0
3584.09/3597.17 c trivial : 0.20 0.00 2 0 0
3584.09/3597.17 c trivialnegation : 0.00 0.00 0 0 0
3584.09/3597.17 c trustregion : 0.00 0.00 0 0 0
3584.09/3597.17 c trysol : 0.00 0.00 0 0 0
3584.09/3597.17 c twoopt : 0.00 0.00 0 0 0
3584.09/3597.17 c undercover : 0.00 0.00 0 0 0
3584.09/3597.17 c vbounds : 32.67 0.00 1 0 0
3584.09/3597.17 c veclendiving : 0.00 0.00 0 0 0
3584.09/3597.17 c zeroobj : 0.00 0.00 0 0 0
3584.09/3597.17 c zirounding : 0.00 0.00 0 0 0
3584.09/3597.17 c other solutions : - - - 0 -
3584.09/3597.17 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.09/3597.17 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
3584.09/3597.17 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
3584.09/3597.17 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
3584.09/3597.17 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
3584.09/3597.17 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
3584.09/3597.17 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
3584.09/3597.17 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
3584.09/3597.17 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
3584.09/3597.17 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
3584.09/3597.17 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.09/3597.17 c primal LP : 0.00 0 0 0.00 - 0.00 0
3584.09/3597.17 c dual LP : 483.85 1 55185 55185.00 114.05 0.00 0
3584.09/3597.17 c lex dual LP : 0.00 0 0 0.00 -
3584.09/3597.17 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.09/3597.18 c resolve instable : 0.00 0 0 0.00 -
3584.09/3597.18 c diving/probing LP: 2889.71 5 130501 26100.20 45.16
3584.09/3597.18 c strong branching : 0.00 0 0 0.00 - - - 0
3584.09/3597.18 c (at root node) : - 0 0 0.00 -
3584.09/3597.18 c conflict analysis: 0.00 0 0 0.00 -
3584.09/3597.18 c B&B Tree :
3584.09/3597.18 c number of runs : 1
3584.09/3597.18 c nodes : 1 (0 internal, 1 leaves)
3584.09/3597.18 c feasible leaves : 0
3584.09/3597.18 c infeas. leaves : 0
3584.09/3597.18 c objective leaves : 0
3584.09/3597.18 c nodes (total) : 1 (0 internal, 1 leaves)
3584.09/3597.18 c nodes left : 1
3584.09/3597.18 c max depth : 0
3584.09/3597.18 c max depth (total): 0
3584.09/3597.18 c backtracks : 0 (0.0%)
3584.09/3597.18 c early backtracks : 0 (0.0%)
3584.09/3597.18 c nodes exc. ref. : 0 (0.0%)
3584.09/3597.18 c delayed cutoffs : 0
3584.09/3597.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3584.09/3597.18 c avg switch length: 1.00
3584.09/3597.18 c switching time : 0.00
3584.09/3597.18 c Root Node :
3584.09/3597.18 c First LP value : -4.74837593692401e+05
3584.09/3597.18 c First LP Iters : 55185 (114.04 Iter/sec)
3584.09/3597.18 c First LP Time : 483.91
3584.09/3597.18 c Final Dual Bound : -4.74837593692401e+05
3584.09/3597.18 c Final Root Iters : 173517
3584.09/3597.18 c Root LP Estimate : -
3584.09/3597.18 c Solution :
3584.09/3597.18 c Solutions found : 0 (0 improvements)
3584.09/3597.18 c Primal Bound : -
3584.09/3597.18 c Dual Bound : -4.74837593692401e+05
3584.09/3597.18 c Gap : infinite
3584.09/3597.18 c Integrals : Total Avg%
3584.09/3597.18 c primal-dual : 359714.99 100.00
3584.09/3597.18 c primal-ref : - - (not evaluated)
3584.09/3597.18 c dual-ref : - - (not evaluated)
3586.19/3599.23 c Time complete: 3586.23.
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: 63931 MiB (56668 MiB free)
memory of node 1: 64510 MiB (61444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432853-1721147294/watcher-4432853-1721147294 -o /tmp/evaluation-result-4432853-1721147294/solver-4432853-1721147294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721140065-857047 --watchdog 3760 pbscip -f HOME/instance-4432853-1721147294.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=861389, runsolver pid=861386
[startup+0.100105 s]*
/proc/loadavg: 4.23 4.15 4.10 5/258 861390
/proc/meminfo: memFree=120890612/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=112600 memory=72004 CPUtime=0.09 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 15021 0 0 0 7 2 0 0 20 0 1 0 166889685 115302400 18001 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 28150 18001 3266 3540 0 16407 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112600 KiB
Current children cumulated memory: 72004 KiB
[startup+0.205682 s]*
/proc/loadavg: 4.23 4.15 4.10 5/258 861390
/proc/meminfo: memFree=120851236/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=148668 memory=108468 CPUtime=0.2 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 24153 0 0 0 16 4 0 0 20 0 1 0 166889685 152236032 27117 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 37167 27117 3266 3540 0 25424 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 148668 KiB
Current children cumulated memory: 108468 KiB
[startup+0.305593 s]*
/proc/loadavg: 4.23 4.15 4.10 5/258 861390
/proc/meminfo: memFree=120804728/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=197884 memory=157600 CPUtime=0.3 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 36414 0 0 0 25 5 0 0 20 0 1 0 166889685 202633216 39400 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 49471 39400 3266 3540 0 37728 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 197884 KiB
Current children cumulated memory: 157600 KiB
[startup+0.700239 s]
/proc/loadavg: 4.23 4.15 4.10 5/258 861390
/proc/meminfo: memFree=120704124/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=391752 memory=351332 CPUtime=0.69 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 84899 0 0 0 57 12 0 0 20 0 1 0 166889685 401154048 87833 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 97938 87833 3266 3540 0 86195 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 391752 KiB
Current children cumulated memory: 351332 KiB
[startup+1.50023 s]
/proc/loadavg: 4.23 4.15 4.10 5/258 861390
/proc/meminfo: memFree=120453404/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=705316 memory=665108 CPUtime=1.49 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 165633 0 0 0 126 23 0 0 20 0 1 0 166889685 722243584 166277 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 176329 166277 3570 3540 0 164586 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 705316 KiB
Current children cumulated memory: 665108 KiB
[startup+3.10608 s]
/proc/loadavg: 4.21 4.14 4.10 5/258 861390
/proc/meminfo: memFree=119489740/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=1518984 memory=1466524 CPUtime=3.09 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 361827 0 0 0 258 51 0 0 20 0 1 0 166889685 1555439616 366631 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 379746 366631 3618 3540 0 368003 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1518984 KiB
Current children cumulated memory: 1466524 KiB
[startup+6.30023 s]
/proc/loadavg: 4.21 4.14 4.10 5/258 861390
/proc/meminfo: memFree=119009364/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=1998196 memory=1932680 CPUtime=6.27 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 406034 0 0 0 558 69 0 0 20 0 1 0 166889685 2046152704 483170 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 499549 483170 3777 3540 0 487806 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1998196 KiB
Current children cumulated memory: 1932680 KiB
[startup+12.7002 s]
/proc/loadavg: 4.25 4.16 4.10 5/258 861392
/proc/meminfo: memFree=118954116/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=2036624 memory=1958896 CPUtime=12.65 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 409166 0 0 0 1193 72 0 0 20 0 1 0 166889685 2085502976 489724 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 509156 489724 3777 3540 0 497413 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2036624 KiB
Current children cumulated memory: 1958896 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.15 4.10 5/258 861393
/proc/meminfo: memFree=118620316/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=2036624 memory=1958896 CPUtime=25.41 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 409344 0 0 0 2467 74 0 0 20 0 1 0 166889685 2085502976 489724 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 509156 489724 3777 3540 0 497413 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2036624 KiB
Current children cumulated memory: 1958896 KiB
[startup+51.1056 s]
/proc/loadavg: 4.36 4.19 4.11 5/258 861398
/proc/meminfo: memFree=118384564/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=2036624 memory=1958896 CPUtime=50.91 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 409535 0 0 0 5015 76 0 0 20 0 1 0 166889685 2085502976 489724 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 509156 489724 3777 3540 0 497413 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2036624 KiB
Current children cumulated memory: 1958896 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/261 861466
/proc/meminfo: memFree=117546036/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=2888180 memory=2759316 CPUtime=101.91 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 552936 0 0 0 10082 109 0 0 20 0 1 0 166889685 2957496320 689829 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 722045 689829 3809 3540 0 710302 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 2888180 KiB
Current children cumulated memory: 2759316 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/261 861479
/proc/meminfo: memFree=116580312/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=2910260 memory=2780140 CPUtime=161.69 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 554718 0 0 0 16058 111 0 0 20 0 1 0 166889685 2980106240 695035 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 727565 695035 3809 3540 0 715822 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 2910260 KiB
Current children cumulated memory: 2780140 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/260 861535
/proc/meminfo: memFree=113260024/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4496352 memory=4161740 CPUtime=221.45 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 770602 0 0 0 21992 153 0 0 20 0 1 0 166889685 4604264448 1040435 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1124088 1040435 3969 3540 0 1112345 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 4496352 KiB
Current children cumulated memory: 4161740 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/258 861546
/proc/meminfo: memFree=113051776/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4568580 memory=4233364 CPUtime=281.23 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 780535 0 0 0 27965 158 0 0 20 0 1 0 166889685 4678225920 1058341 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1142145 1058341 3985 3540 0 1130402 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 4568580 KiB
Current children cumulated memory: 4233364 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 861558
/proc/meminfo: memFree=112903636/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4590960 memory=4244520 CPUtime=340.97 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 781040 0 0 0 33936 161 0 0 20 0 1 0 166889685 4701143040 1061130 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1147740 1061130 3985 3540 0 1135997 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 4590960 KiB
Current children cumulated memory: 4244520 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 861569
/proc/meminfo: memFree=111641064/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4601092 memory=4257016 CPUtime=400.66 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 781956 0 0 0 39900 166 0 0 20 0 1 0 166889685 4711518208 1064254 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1150273 1064254 3985 3540 0 1138530 0
Current children cumulated CPU time: 400.66 s
Current children cumulated vsize: 4601092 KiB
Current children cumulated memory: 4257016 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 861579
/proc/meminfo: memFree=111466200/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4601632 memory=4258476 CPUtime=460.38 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 782662 0 0 0 45867 171 0 0 20 0 1 0 166889685 4712071168 1064619 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1150408 1064619 3985 3540 0 1138665 0
################
# More data... #
################
/proc/loadavg: 4.07 4.11 4.11 5/257 862650
/proc/meminfo: memFree=109097004/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4323128 CPUtime=3150.85 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 799493 0 0 0 314721 364 0 0 20 0 1 0 166889685 4779184128 1080782 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1080782 4001 3540 0 1155050 0
Current children cumulated CPU time: 3150.85 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4323128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/257 862660
/proc/meminfo: memFree=109096312/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4323244 CPUtime=3210.65 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 799807 0 0 0 320699 366 0 0 20 0 1 0 166889685 4779184128 1080811 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1080811 4001 3540 0 1155050 0
Current children cumulated CPU time: 3210.65 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4323244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/257 862670
/proc/meminfo: memFree=109028212/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4323460 CPUtime=3270.46 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 800142 0 0 0 326678 368 0 0 20 0 1 0 166889685 4779184128 1080865 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1080865 4001 3540 0 1155050 0
Current children cumulated CPU time: 3270.46 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4323460 KiB
[startup+3342.3 s]
/proc/loadavg: 3.59 3.96 4.06 4/250 862712
/proc/meminfo: memFree=114795900/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4324332 CPUtime=3330.23 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 800388 0 0 0 332654 369 0 0 20 0 1 0 166889685 4779184128 1081083 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1081083 4001 3540 0 1155050 0
Current children cumulated CPU time: 3330.23 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4324332 KiB
[startup+3402.3 s]
/proc/loadavg: 3.28 3.80 3.99 4/250 863105
/proc/meminfo: memFree=114791764/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4326980 CPUtime=3390.01 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 801359 0 0 0 338630 371 0 0 20 0 1 0 166889685 4779184128 1081745 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1081745 4001 3540 0 1155050 0
Current children cumulated CPU time: 3390.01 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4326980 KiB
[startup+3462.3 s]
/proc/loadavg: 3.15 3.67 3.93 4/249 863116
/proc/meminfo: memFree=114791136/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4327700 CPUtime=3449.8 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 801655 0 0 0 344607 373 0 0 20 0 1 0 166889685 4779184128 1081925 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1081925 4001 3540 0 1155050 0
Current children cumulated CPU time: 3449.8 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4327700 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.56 3.88 4/249 863126
/proc/meminfo: memFree=114788408/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4329528 CPUtime=3509.56 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 801920 0 0 0 350582 374 0 0 20 0 1 0 166889685 4779184128 1082382 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082382 4001 3540 0 1155050 0
Current children cumulated CPU time: 3509.56 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4329528 KiB
[startup+3582.3 s]
/proc/loadavg: 2.86 3.42 3.81 2/235 863367
/proc/meminfo: memFree=119367092/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4331188 CPUtime=3569.33 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 802154 0 0 0 356558 375 0 0 20 0 1 0 166889685 4779184128 1082797 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082797 4001 3540 0 1155050 0
Current children cumulated CPU time: 3569.33 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4331188 KiB
[startup+3599.27 s]
# the end of solver process 861389 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.44 s, system=3.82671 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.71 3.38 3.79 2/235 863367
/proc/meminfo: memFree=119367092/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4331188 CPUtime=3571.03 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 802154 0 0 0 356728 375 0 0 20 0 1 0 166889685 4779184128 1082797 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082797 4001 3540 0 1155050 0
Current children cumulated CPU time: 3571.03 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4331188 KiB
[startup+3590.4 s]
/proc/loadavg: 2.58 3.34 3.78 2/235 863368
/proc/meminfo: memFree=119366996/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4331188 CPUtime=3577.41 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 802166 0 0 0 357366 375 0 0 20 0 1 0 166889685 4779184128 1082797 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082797 4001 3540 0 1155050 0
Current children cumulated CPU time: 3577.41 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4331188 KiB
[startup+3593.6 s]
/proc/loadavg: 2.45 3.30 3.76 2/235 863368
/proc/meminfo: memFree=119366996/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4331188 CPUtime=3580.6 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 802166 0 0 0 357685 375 0 0 20 0 1 0 166889685 4779184128 1082797 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082797 4001 3540 0 1155050 0
Current children cumulated CPU time: 3580.6 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4331188 KiB
[startup+3596.8 s]
/proc/loadavg: 2.45 3.30 3.76 2/235 863368
/proc/meminfo: memFree=119366760/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4331356 CPUtime=3583.79 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 802208 0 0 0 358004 375 0 0 20 0 1 0 166889685 4779184128 1082839 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082839 4001 3540 0 1155050 0
Current children cumulated CPU time: 3583.79 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4331356 KiB
[startup+3598.4 s]
/proc/loadavg: 2.41 3.28 3.75 2/235 863370
/proc/meminfo: memFree=119366760/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4664016 memory=4328208 CPUtime=3585.39 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 804024 0 0 0 358163 376 0 0 20 0 1 0 166889685 4775952384 1082052 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166004 1082052 4001 3540 0 1154261 0
Current children cumulated CPU time: 3585.39 s
Current children cumulated vsize: 4664016 KiB
Current children cumulated memory: 4328208 KiB
[startup+3598.8 s]
/proc/loadavg: 2.41 3.28 3.75 2/235 863370
/proc/meminfo: memFree=119366760/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4660860 memory=4325072 CPUtime=3585.79 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 804065 0 0 0 358203 376 0 0 20 0 1 0 166889685 4772720640 1081268 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1165215 1081268 4001 3540 0 1153472 0
Current children cumulated CPU time: 3585.79 s
Current children cumulated vsize: 4660860 KiB
Current children cumulated memory: 4325072 KiB
[startup+3599.2 s]
/proc/loadavg: 2.41 3.28 3.75 2/235 863370
/proc/meminfo: memFree=119512780/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4085640 memory=3764876 CPUtime=3586.19 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 804798 0 0 0 358241 378 0 0 20 0 1 0 166889685 4183695360 941219 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1021410 941219 4017 3540 0 1009667 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 4085640 KiB
Current children cumulated memory: 3764876 KiB
Child status: 0
Real time (s): 3599.27
CPU time (s): 3586.26
CPU user time (s): 3582.44
CPU system time (s): 3.82671
CPU usage (%): 99.6386
Max. virtual memory (cumulated for all children) (KiB): 4667172
Max. memory (cumulated for all children) (KiB): 4331356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.44
system time used= 3.82671
maximum resident set size= 4331356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 804837
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= 3189
# summary of solver processes directly reported to runsolver:
# pid: 861389
# total CPU time (s): 3586.26
# total CPU user time (s): 3582.44
# total CPU system time (s): 3.82671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00468 second user time and 16.7346 second system time
The end
Begin job on nodeC015 at 2024-07-16 18:28:27 IDJOB=4432853 IDBENCH=157408 IDSOLVER=3059 FILE ID=nodeC015/4432853-1721147294 RUNJOBID= nodeC015-1721140065-857047 SLURM_JOB_ID= 7505720 Free space on /tmp= 889968 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432853-1721147294/watcher-4432853-1721147294 -o /tmp/evaluation-result-4432853-1721147294/solver-4432853-1721147294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721140065-857047 --watchdog 3760 pbscip -f HOME/instance-4432853-1721147294.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ad0aeea3e7e7044b142cd83589fcb352 RANDOM SEED=1650708662 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3672.368 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3686.327 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 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.946 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3600.177 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 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 : 3672.357 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3688.042 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.904 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3674.210 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 120947704 kB MemAvailable: 126982112 kB Buffers: 408164 kB Cached: 6445784 kB SwapCached: 0 kB Active: 1369360 kB Inactive: 8567208 kB Active(anon): 1548 kB Inactive(anon): 3118832 kB Active(file): 1367812 kB Inactive(file): 5448376 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 94904 kB Writeback: 0 kB AnonPages: 3080968 kB Mapped: 138272 kB Shmem: 37720 kB KReclaimable: 115736 kB Slab: 225872 kB SReclaimable: 115736 kB SUnreclaim: 110136 kB KernelStack: 4144 kB PageTables: 15656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3668476 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63968 kB HardwareCorrupted: 0 kB AnonHugePages: 581632 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 258772 kB DirectMap2M: 37263360 kB DirectMap1G: 98566144 kB Free space on /tmp at the end= 890040 MiB End job on nodeC015 at 2024-07-16 19:28:26