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-4456302-1721718954.wbo>
0.49/0.54 c original problem has 126350 variables (126350 bin, 0 int, 0 impl, 0 cont) and 248941 constraints
0.49/0.54 c problem read in 0.54
1.99/2.08 c presolving:
2.68/2.73 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 124429 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 121324 clqs
132.98/133.46 c (133.5s) probing: 1000/250779 (0.4%) - 0 fixings, 0 aggregations, 10329529 implications, 0 bound changes
133.08/133.59 c (133.6s) probing: 1001/250779 (0.4%) - 0 fixings, 0 aggregations, 10339619 implications, 0 bound changes
133.08/133.59 c (133.6s) probing aborted: 1000/1000 successive useless probings
133.08/133.59 c (133.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
134.08/134.59 c (134.6s) symmetry computation finished: 1 generators found (max: 255, log10 of symmetry group size: 0.0) (symcode time: 0.58)
134.18/134.60 c dynamic symmetry handling statistics:
134.18/134.60 c orbitopal reduction: no components
134.18/134.60 c orbital reduction: no components
134.18/134.60 c lexicographic reduction: 1 permutations with support sizes 11524
134.18/134.60 c handled 1 out of 1 symmetry components
134.38/134.83 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
134.38/134.83 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 124429 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
134.38/134.83 c 0 implications, 121324 cliques
134.38/134.83 c presolved problem has 250779 variables (126350 bin, 0 int, 124429 impl, 0 cont) and 248941 constraints
134.38/134.83 c 1 constraints of type <knapsack>
134.38/134.83 c 82 constraints of type <setppc>
134.38/134.83 c 124429 constraints of type <linear>
134.38/134.83 c 124429 constraints of type <indicator>
134.38/134.83 c transformed objective value is always integral (scale: 1)
134.38/134.83 c Presolving Time: 133.84
134.38/134.83 c - non default parameters ----------------------------------------------------------------------
134.38/134.83 c # SCIP version 10.0.0
134.38/134.83 c
134.38/134.83 c # maximal time in seconds to run
134.38/134.83 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
134.38/134.83 c limits/time = 3596.998007
134.38/134.83 c
134.38/134.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
134.38/134.83 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
134.38/134.83 c limits/memory = 27900
134.38/134.83 c
134.38/134.83 c # belongs reading time to solving time?
134.38/134.83 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
134.38/134.83 c timing/reading = TRUE
134.38/134.83 c
134.38/134.83 c -----------------------------------------------------------------------------------------------
134.38/134.83 c start solving
134.48/134.96 c
1849.84/1856.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1849.84/1856.36 c 1856s| 1 | 0 | 900 | - | 1687M | 0 | 250k| 249k| 248k| 0 | 0 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
1931.98/1938.60 c 1939s| 1 | 0 | 6178 | - | 1810M | 0 | 250k| 249k| 248k| 39 | 1 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
2009.79/2016.67 c 2017s| 1 | 0 | 6369 | - | 1834M | 0 | 250k| 249k| 249k| 83 | 2 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
2087.53/2094.59 c 2095s| 1 | 0 | 6652 | - | 1858M | 0 | 250k| 249k| 249k| 121 | 3 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
2165.25/2172.45 c 2172s| 1 | 0 | 6821 | - | 1885M | 0 | 250k| 249k| 249k| 151 | 4 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
2242.36/2249.75 c 2250s| 1 | 0 | 7040 | - | 1908M | 0 | 250k| 249k| 249k| 183 | 5 | 100 | 0 | 0.000000e+00 | -- | Inf | unknown
2318.09/2325.64 c 2326s| 1 | 0 | 7208 | - | 1934M | 0 | 250k| 249k| 249k| 209 | 6 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
2394.13/2401.81 c 2402s| 1 | 0 | 7395 | - | 1959M | 0 | 250k| 249k| 249k| 234 | 7 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
2471.03/2479.00 c 2479s| 1 | 0 | 7573 | - | 1985M | 0 | 250k| 249k| 249k| 259 | 8 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
2546.17/2554.24 c 2554s| 1 | 0 | 7748 | - | 2009M | 0 | 250k| 249k| 249k| 278 | 9 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown
2622.20/2630.49 c 2630s| 1 | 0 | 7909 | - | 2037M | 0 | 250k| 249k| 249k| 300 | 10 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
2696.65/2705.07 c 2705s| 1 | 0 | 8037 | - | 2063M | 0 | 250k| 249k| 249k| 318 | 11 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown
2735.42/2743.97 c 2744s| 1 | 2 | 15468 | - | 2094M | 0 | 250k| 249k| 249k| 318 | 11 | 414 | 21 | 0.000000e+00 | -- | Inf | unknown
3160.80/3170.70 c 3171s| 100 | 81 | 57790 | 507.7 | 2653M | 23 | 250k| 249k| 249k|1159 | 2 | 651 | 724 | 0.000000e+00 | -- | Inf | unknown
3299.66/3310.09 c 3310s| 200 | 166 | 93639 | 432.7 | 2965M | 23 | 250k| 249k| 249k|2321 | 1 | 926 | 797 | 0.000000e+00 | -- | Inf | 2.85%
3418.42/3429.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3418.42/3429.21 c 3429s| 300 | 260 |131576 | 414.9 | 3056M | 38 | 250k| 250k| 249k|2753 | 3 |1307 | 865 | 0.000000e+00 | -- | Inf | 2.85%
3585.55/3597.00 c
3585.55/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.55/3597.00 c Solving Time (sec) : 3597.00
3585.55/3597.00 c Solving Nodes : 365
3585.55/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.55/3597.00 c Dual Bound : +0.00000000000000e+00
3585.55/3597.00 c Gap : infinite
3585.55/3597.00 s UNKNOWN
3585.55/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.55/3597.00 c Total Time : 3597.00
3585.55/3597.00 c solving : 3597.00
3585.55/3597.00 c presolving : 133.84 (included in solving)
3585.55/3597.00 c reading : 0.54 (included in solving)
3585.55/3597.00 c copying : 3.92 (5 #copies) (minimal 0.77, maximal 0.83, average 0.78)
3585.55/3597.00 c Original Problem :
3585.55/3597.00 c Problem name : HOME/instance-4456302-1721718954.wbo
3585.55/3597.00 c Variables : 126350 (126350 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.55/3597.00 c Constraints : 248941 initial, 248941 maximal
3585.66/3597.00 c Objective : minimize, 124429 non-zeros (abs.min = 1, abs.max = 2436)
3585.66/3597.00 c Presolved Problem :
3585.66/3597.00 c Problem name : t_HOME/instance-4456302-1721718954.wbo
3585.66/3597.00 c Variables : 250779 (126350 binary, 0 integer, 124429 implicit integer, 0 continuous)
3585.66/3597.00 c Constraints : 248941 initial, 251242 maximal
3585.66/3597.01 c Objective : minimize, 124429 non-zeros (abs.min = 1, abs.max = 2436)
3585.66/3597.01 c Nonzeros : 1120634 constraint, 1245836 clique table
3585.66/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.66/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c implics : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c trivial : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c dualfix : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c probing : 130.50 0.01 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c pseudoobj : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c symmetry : 1.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c vbounds : 0.12 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c knapsack : 0.00 0.01 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c linear : 0.66 0.02 3 0 0 0 124429 0 0 0 0 0
3585.66/3597.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c indicator : 0.15 0.01 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c components : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c root node : - - - 0 - - 0 - - - - -
3585.66/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.66/3597.01 c benderslp : 0 0 0 0 378 0 0 55 0 0 0 0 0 0 0
3585.66/3597.01 c integral : 0 0 0 0 378 0 0 55 0 0 96 0 0 193 680
3585.66/3597.01 c knapsack : 1 1 0 255642 0 0 0 51 6255 52 0 0 0 0 0
3585.66/3597.01 c setppc : 82 82 11 255590 0 0 0 43 1039 255 3745 0 0 0 0
3585.66/3597.01 c linear : 124429 124429 11 255335 0 0 0 3 16003 19 9112 0 0 0 0
3585.66/3597.01 c logicor : 0+ 2301 11 2395 0 0 0 0 213 138 243 3 1 0 0
3585.66/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c indicator : 124429 124429 103 255178 0 0 0 0 17597 2 928316 0 0 0 0
3585.66/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.66/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3597.01 c integral : 424.49 0.00 0.00 0.00 424.48 0.00 0.00 0.01 0.00 0.00
3585.66/3597.01 c knapsack : 17.02 0.01 0.00 7.29 0.00 0.00 0.00 0.41 9.27 0.04
3585.66/3597.01 c setppc : 5.10 0.00 0.00 4.70 0.00 0.00 0.00 0.00 0.00 0.40
3585.66/3597.01 c linear : 7.34 0.02 0.20 6.49 0.00 0.00 0.00 0.00 0.01 0.62
3585.66/3597.01 c logicor : 5.04 0.00 0.00 5.03 0.00 0.00 0.00 0.00 0.00 0.01
3585.66/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3597.01 c indicator : 1766.80 0.01 1.98 1757.35 0.00 0.00 0.00 0.00 0.01 7.45
3585.66/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3597.01 c components : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.66/3597.01 c dualfix : 1 0 0 0
3585.66/3597.01 c genvbounds : 0 0 0 0
3585.66/3597.01 c nlobbt : 0 0 0 0
3585.66/3597.01 c obbt : 0 0 0 0
3585.66/3597.01 c probing : 0 0 0 0
3585.66/3597.01 c pseudoobj : 1441 0 0 27
3585.66/3597.01 c redcost : 1140 0 0 928178
3585.66/3597.01 c rootredcost : 1 0 0 0
3585.66/3597.01 c symmetry : 4675 0 0 2
3585.66/3597.01 c vbounds : 124901 0 0 0
3585.66/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.66/3597.01 c dualfix : 0.03 0.00 0.02 0.01 0.00 0.00
3585.66/3597.01 c genvbounds : 0.07 0.00 0.00 0.07 0.00 0.00
3585.66/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3597.01 c probing : 130.51 0.01 130.50 0.00 0.00 0.00
3585.66/3597.01 c pseudoobj : 0.13 0.00 0.01 0.12 0.00 0.00
3585.66/3597.01 c redcost : 15.43 0.00 0.00 15.43 0.00 0.00
3585.66/3597.01 c rootredcost : 0.15 0.00 0.00 0.15 0.00 0.00
3585.66/3597.01 c symmetry : 1.52 0.00 1.01 0.48 0.00 0.03
3585.66/3597.01 c vbounds : 1.89 0.00 0.12 1.77 0.00 0.00
3585.66/3597.01 c Symmetry :
3585.66/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.66/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.66/3597.01 c lexicographic red: 2 reductions applied, 0 cutoffs
3585.66/3597.01 c shadow tree time : 0.01 s
3585.66/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.66/3597.01 c propagation : 9.32 455 445 - 3050 35.7 49 28.3 - - -
3585.66/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.66/3597.01 c bound exceed. LP : 7.34 58 14 - 109 105.9 0 0.0 0 0.0 464
3585.66/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.66/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.66/3597.01 c applied globally : 56.58 - - 0 2303 38.3 - - 0 - -
3585.66/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.66/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.66/3597.01 c cut pool : 0.18 - 168 21 - - 4267 20374 - - - - - (maximal pool size: 3932)
3585.66/3597.01 c aggregation : 6.14 0.00 50 11 0 0 6 9 0 0 0 0 0
3585.66/3597.01 c > cmir : - - - - - - - 9 0 0 0 0 -
3585.66/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.66/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.66/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c clique : 813.72 0.00 11 11 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c gomory : 44.95 0.00 44 10 0 0 3482 15937 0 1254 1254 0 0
3585.66/3597.01 c > gomorymi : - - - - - - - 4517 0 75 75 0 -
3585.66/3597.01 c > strongcg : - - - - - - - 11420 0 1179 1179 0 -
3585.66/3597.01 c impliedbounds : 1.06 0.00 50 11 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c mcf : 0.20 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c mixing : 0.00 0.00 50 11 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c multilinear : 0.00 0.00 36 11 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c rlt : 0.00 0.00 21 10 0 0 0 0 0 0 0 0 0
3585.66/3597.01 c zerohalf : 4.03 0.00 45 11 0 0 779 4428 0 1832 1832 0 0
3585.66/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.66/3597.01 c hybrid : 0.03 0.00 124 11 3087 0 17290 318 0 2384
3585.66/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3585.66/3597.01 c problem variables: 0.00 - 0 0
3585.66/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.66/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c relpscost : 424.48 0.00 378 0 0 0 96 0 193 680
3585.66/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.66/3597.01 c LP solutions : 0.00 - - 0 0
3585.66/3597.01 c relax solutions : 0.00 - - 0 0
3585.66/3597.01 c pseudo solutions : 0.00 - - 0 0
3585.66/3597.01 c strong branching : 0.01 - - 0 0
3585.66/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3585.66/3597.01 c adaptivediving : 9.70 0.00 3 0 0
3585.66/3597.01 c alns : 10.27 0.00 3 0 0
3585.66/3597.01 c bound : 0.00 0.00 0 0 0
3585.66/3597.01 c clique : 1.33 0.00 1 0 0
3585.66/3597.01 c coefdiving : 0.00 0.00 0 0 0
3585.66/3597.01 c completesol : 0.00 0.00 0 0 0
3585.66/3597.01 c conflictdiving : 49.81 0.00 7 0 0
3585.66/3597.01 c crossover : 0.00 0.00 0 0 0
3585.66/3597.01 c dins : 0.00 0.00 0 0 0
3585.66/3597.01 c distributiondivin: 7.01 0.00 4 0 0
3585.66/3597.01 c dps : 0.00 0.00 0 0 0
3585.66/3597.01 c dualval : 0.00 0.00 0 0 0
3585.66/3597.01 c farkasdiving : 14.16 0.00 1 0 0
3585.66/3597.01 c feasjump : 0.17 0.00 1 0 0
3585.66/3597.01 c feaspump : 9.41 0.00 2 0 0
3585.66/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3585.66/3597.01 c fracdiving : 22.01 0.00 5 0 0
3585.66/3597.01 c gins : 0.00 0.00 0 0 0
3585.66/3597.01 c guideddiving : 0.00 0.00 0 0 0
3585.66/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3585.66/3597.01 c indicator : 0.00 0.00 0 0 0
3585.66/3597.01 c indicatordiving : 0.01 0.00 0 0 0
3585.66/3597.01 c indoneopt : 0.71 0.04 1 0 0
3585.66/3597.01 c indrounding : 0.00 0.00 0 0 0
3585.66/3597.01 c indtwoopt : 0.00 0.04 0 0 0
3585.66/3597.01 c intdiving : 0.00 0.00 0 0 0
3585.66/3597.01 c intshifting : 0.00 0.00 0 0 0
3585.66/3597.01 c linesearchdiving : 29.03 0.00 5 0 0
3585.66/3597.01 c localbranching : 0.00 0.00 0 0 0
3585.66/3597.01 c locks : 0.35 0.00 1 0 0
3585.66/3597.01 c lpface : 2.51 0.00 1 0 0
3585.66/3597.01 c mpec : 0.00 0.00 0 0 0
3585.66/3597.01 c multistart : 0.00 0.00 0 0 0
3585.66/3597.01 c mutation : 0.00 0.00 0 0 0
3585.66/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3585.66/3597.01 c objpscostdiving : 31.64 0.00 3 0 0
3585.66/3597.01 c octane : 0.00 0.00 0 0 0
3585.66/3597.01 c ofins : 0.00 0.00 0 0 0
3585.66/3597.01 c oneopt : 0.00 0.00 0 0 0
3585.66/3597.01 c padm : 0.00 0.00 0 0 0
3585.66/3597.01 c proximity : 0.00 0.00 0 0 0
3585.66/3597.01 c pscostdiving : 5.36 0.00 5 0 0
3585.66/3597.01 c randrounding : 5.20 0.00 56 0 0
3585.66/3597.01 c rens : 2.53 0.00 1 0 0
3585.66/3597.01 c reoptsols : 0.00 0.00 0 0 0
3585.66/3597.01 c repair : 0.00 0.00 0 0 0
3585.66/3597.01 c rins : 0.00 0.00 0 0 0
3585.66/3597.01 c rootsoldiving : 17.54 0.00 2 0 0
3585.66/3597.01 c rounding : 2.36 0.00 275 0 0
3585.66/3597.01 c scheduler : 0.00 0.00 0 0 0
3585.66/3597.01 c shiftandpropagate: 1.15 0.00 1 0 0
3585.66/3597.01 c shifting : 1.86 0.00 127 0 0
3585.66/3597.01 c simplerounding : 0.00 0.00 0 0 0
3585.66/3597.01 c smallcard : 0.00 0.00 0 0 0
3585.66/3597.01 c subnlp : 0.00 0.00 0 0 0
3585.66/3597.01 c trivial : 0.20 0.00 2 0 0
3585.66/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3585.66/3597.01 c trustregion : 0.00 0.00 0 0 0
3585.66/3597.01 c trysol : 0.00 0.00 0 0 0
3585.66/3597.01 c twoopt : 0.00 0.00 0 0 0
3585.66/3597.01 c undercover : 0.00 0.00 0 0 0
3585.66/3597.01 c vbounds : 1716.89 0.00 1 0 0
3585.66/3597.01 c veclendiving : 9.17 0.00 5 0 0
3585.66/3597.01 c zeroobj : 0.00 0.00 0 0 0
3585.66/3597.01 c zirounding : 0.64 0.00 340 0 0
3585.66/3597.01 c other solutions : - - - 0 -
3585.66/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.66/3597.01 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
3585.66/3597.01 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
3585.66/3597.01 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
3585.66/3597.01 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
3585.66/3597.01 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
3585.66/3597.01 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
3585.66/3597.01 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
3585.66/3597.01 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
3585.66/3597.01 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
3585.66/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.66/3597.01 c primal LP : 2.99 46 0 0.00 0.00 2.99 46
3585.66/3597.01 c dual LP : 146.68 742 76006 145.05 518.19 11.78 218
3585.66/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3585.66/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.66/3597.01 c resolve instable : 0.00 0 0 0.00 -
3585.66/3597.01 c diving/probing LP: 86.73 473 95532 201.97 1101.47
3585.66/3597.01 c strong branching : 320.65 926 148409 160.27 462.84 - - 106
3585.66/3597.01 c (at root node) : - 21 6127 291.76 -
3585.66/3597.01 c conflict analysis: 1.95 48 464 9.67 237.98
3585.66/3597.01 c B&B Tree :
3585.66/3597.01 c number of runs : 1
3585.66/3597.01 c nodes : 365 (340 internal, 25 leaves)
3585.66/3597.01 c feasible leaves : 0
3585.66/3597.01 c infeas. leaves : 17
3585.66/3597.01 c objective leaves : 7
3585.66/3597.01 c nodes (total) : 365 (340 internal, 25 leaves)
3585.66/3597.01 c nodes left : 316
3585.66/3597.01 c max depth : 41
3585.66/3597.01 c max depth (total): 41
3585.66/3597.01 c backtracks : 28 (7.7%)
3585.66/3597.01 c early backtracks : 0 (0.0%)
3585.66/3597.01 c nodes exc. ref. : 0 (0.0%)
3585.66/3597.01 c delayed cutoffs : 1
3585.66/3597.01 c repropagations : 57 (107 domain reductions, 1 cutoffs)
3585.66/3597.01 c avg switch length: 2.17
3585.66/3597.01 c switching time : 6.03
3585.66/3597.01 c Root Node :
3585.66/3597.01 c First LP value : +0.00000000000000e+00
3585.66/3597.01 c First LP Iters : 392 (788.80 Iter/sec)
3585.66/3597.01 c First LP Time : 0.50
3585.66/3597.01 c Final Dual Bound : +0.00000000000000e+00
3585.66/3597.01 c Final Root Iters : 7529
3585.66/3597.01 c Root LP Estimate : +4.00667563395666e+01
3585.66/3597.01 c Solution :
3585.66/3597.01 c Solutions found : 0 (0 improvements)
3585.66/3597.01 c Primal Bound : -
3585.66/3597.01 c Dual Bound : +0.00000000000000e+00
3585.66/3597.01 c Gap : infinite
3585.66/3597.01 c Integrals : Total Avg%
3585.66/3597.01 c primal-dual : 359699.87 100.00
3585.66/3597.01 c primal-ref : - - (not evaluated)
3585.66/3597.01 c dual-ref : - - (not evaluated)
3586.76/3598.14 c Time complete: 3586.8.
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 (52167 MiB free)
memory of node 1: 64510 MiB (51934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456302-1721718954/watcher-4456302-1721718954 -o /tmp/evaluation-result-4456302-1721718954/solver-4456302-1721718954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721718429-88163 --watchdog 3760 pbscip -f HOME/instance-4456302-1721718954.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=88922, runsolver pid=88919
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 3.97 3.60 2.70 5/256 88923
/proc/meminfo: memFree=106557712/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=98236 memory=57572 CPUtime=0.09 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 11473 0 0 0 8 1 0 0 20 0 1 0 8424692 100593664 14393 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 24559 14393 3210 3540 0 12816 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 57572 KiB
[startup+0.20575 s]*
/proc/loadavg: 3.97 3.60 2.70 5/256 88923
/proc/meminfo: memFree=106519240/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=136916 memory=96460 CPUtime=0.2 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 21200 0 0 0 17 3 0 0 20 0 1 0 8424692 140201984 24115 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 34229 24115 3210 3540 0 22486 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 136916 KiB
Current children cumulated memory: 96460 KiB
[startup+0.305711 s]*
/proc/loadavg: 3.97 3.60 2.70 5/256 88923
/proc/meminfo: memFree=106483176/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=172888 memory=132240 CPUtime=0.3 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 30185 0 0 0 25 5 0 0 20 0 1 0 8424692 177037312 33060 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 43222 33060 3210 3540 0 31479 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 172888 KiB
Current children cumulated memory: 132240 KiB
[startup+0.700227 s]
/proc/loadavg: 3.97 3.60 2.70 5/256 88923
/proc/meminfo: memFree=106409896/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=394212 memory=354064 CPUtime=0.69 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 86607 0 0 0 56 13 0 0 20 0 1 0 8424692 403673088 88516 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 98553 88516 3529 3540 0 86810 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 394212 KiB
Current children cumulated memory: 354064 KiB
[startup+1.50023 s]
/proc/loadavg: 3.97 3.60 2.70 5/256 88923
/proc/meminfo: memFree=106141960/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=724364 memory=677444 CPUtime=1.48 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 166379 0 0 0 125 23 0 0 20 0 1 0 8424692 741748736 169361 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 181091 169361 3561 3540 0 169348 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 724364 KiB
Current children cumulated memory: 677444 KiB
[startup+3.10573 s]
/proc/loadavg: 3.97 3.60 2.70 5/256 88923
/proc/meminfo: memFree=105653916/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1028088 memory=966568 CPUtime=3.08 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 237187 0 0 0 275 33 0 0 20 0 1 0 8424692 1052762112 241642 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 257022 241642 3593 3540 0 245279 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1028088 KiB
Current children cumulated memory: 966568 KiB
[startup+6.30023 s]
/proc/loadavg: 3.98 3.61 2.71 5/256 88924
/proc/meminfo: memFree=105624376/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1040716 memory=987048 CPUtime=6.27 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 242564 0 0 0 592 35 0 0 20 0 1 0 8424692 1065693184 246762 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 260179 246762 3609 3540 0 248436 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1040716 KiB
Current children cumulated memory: 987048 KiB
[startup+12.7002 s]
/proc/loadavg: 3.98 3.61 2.71 5/256 88925
/proc/meminfo: memFree=105602856/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1041740 memory=988104 CPUtime=12.65 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 242839 0 0 0 1228 37 0 0 20 0 1 0 8424692 1066741760 247026 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 260435 247026 3609 3540 0 248692 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1041740 KiB
Current children cumulated memory: 988104 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 3.65 2.74 5/256 88927
/proc/meminfo: memFree=105599656/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1041740 memory=988104 CPUtime=25.41 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 242839 0 0 0 2500 41 0 0 20 0 1 0 8424692 1066741760 247026 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 260435 247026 3609 3540 0 248692 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1041740 KiB
Current children cumulated memory: 988104 KiB
[startup+51.1057 s]
/proc/loadavg: 4.03 3.68 2.78 5/256 88931
/proc/meminfo: memFree=105569324/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1059068 memory=1005316 CPUtime=50.93 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 247537 0 0 0 5044 49 0 0 20 0 1 0 8424692 1084485632 251329 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 264767 251329 3609 3540 0 253024 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1059068 KiB
Current children cumulated memory: 1005316 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 3.76 2.85 5/256 88940
/proc/meminfo: memFree=105568428/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1059068 memory=1005488 CPUtime=101.98 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 247985 0 0 0 10135 63 0 0 20 0 1 0 8424692 1084485632 251372 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 264767 251372 3609 3540 0 253024 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1059068 KiB
Current children cumulated memory: 1005488 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.83 2.94 5/255 88951
/proc/meminfo: memFree=104995552/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1747376 memory=1575348 CPUtime=161.79 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 367179 0 0 0 16080 99 0 0 20 0 1 0 8424692 1789313024 393837 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 436844 393837 3705 3540 0 425101 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1747376 KiB
Current children cumulated memory: 1575348 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.87 3.01 5/255 88962
/proc/meminfo: memFree=104825396/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1749360 memory=1577264 CPUtime=221.58 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 367711 0 0 0 22055 103 0 0 20 0 1 0 8424692 1791344640 394316 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 437340 394316 3705 3540 0 425597 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 1749360 KiB
Current children cumulated memory: 1577264 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.92 3.08 5/258 88977
/proc/meminfo: memFree=104740532/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1751408 memory=1579460 CPUtime=281.38 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 368267 0 0 0 28031 107 0 0 20 0 1 0 8424692 1793441792 394865 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 437852 394865 3705 3540 0 426109 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 1751408 KiB
Current children cumulated memory: 1579460 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.96 3.15 5/258 88989
/proc/meminfo: memFree=104550452/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1753328 memory=1581284 CPUtime=341.21 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 368762 0 0 0 34010 111 0 0 20 0 1 0 8424692 1795407872 395321 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 438332 395321 3705 3540 0 426589 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 1753328 KiB
Current children cumulated memory: 1581284 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.98 3.21 5/258 88999
/proc/meminfo: memFree=104377600/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1755184 memory=1583092 CPUtime=401.02 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 369243 0 0 0 39990 112 0 0 20 0 1 0 8424692 1797308416 395773 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 438796 395773 3705 3540 0 427053 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 1755184 KiB
Current children cumulated memory: 1583092 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.07 3.29 5/258 89010
/proc/meminfo: memFree=104268996/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=1758128 memory=1585968 CPUtime=460.84 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 370165 0 0 0 45969 115 0 0 20 0 1 0 8424692 1800323072 396492 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 439532 396492 3705 3540 0 427789 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
/proc/loadavg: 4.15 4.17 4.09 5/258 91388
/proc/meminfo: memFree=92873028/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3949276 memory=3761084 CPUtime=3212.29 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1021999 0 0 0 320913 316 0 0 20 0 1 0 8424692 4044058624 940271 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987319 940271 3979 3540 0 975576 0
Current children cumulated CPU time: 3212.29 s
Current children cumulated vsize: 3949276 KiB
Current children cumulated memory: 3761084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.14 4.08 5/258 91401
/proc/meminfo: memFree=92856700/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3949276 memory=3775912 CPUtime=3272.07 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1023503 0 0 0 326890 317 0 0 20 0 1 0 8424692 4044058624 943978 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987319 943978 3979 3540 0 975576 0
Current children cumulated CPU time: 3272.07 s
Current children cumulated vsize: 3949276 KiB
Current children cumulated memory: 3775912 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/258 91414
/proc/meminfo: memFree=92680192/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3949276 memory=3777372 CPUtime=3331.83 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1024696 0 0 0 332866 317 0 0 20 0 1 0 8424692 4044058624 944343 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987319 944343 3979 3540 0 975576 0
Current children cumulated CPU time: 3331.83 s
Current children cumulated vsize: 3949276 KiB
Current children cumulated memory: 3777372 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 91471
/proc/meminfo: memFree=92275204/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3949276 memory=3777468 CPUtime=3391.61 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1025434 0 0 0 338843 318 0 0 20 0 1 0 8424692 4044058624 944367 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987319 944367 3979 3540 0 975576 0
Current children cumulated CPU time: 3391.61 s
Current children cumulated vsize: 3949276 KiB
Current children cumulated memory: 3777468 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/256 91481
/proc/meminfo: memFree=84212744/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3949276 memory=3778368 CPUtime=3451.4 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1026710 0 0 0 344821 319 0 0 20 0 1 0 8424692 4044058624 944592 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987319 944592 3979 3540 0 975576 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 3949276 KiB
Current children cumulated memory: 3778368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 91493
/proc/meminfo: memFree=84210908/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3950288 memory=3779216 CPUtime=3511.21 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1027851 0 0 0 350801 320 0 0 20 0 1 0 8424692 4045094912 944804 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987572 944804 3979 3540 0 975829 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 3950288 KiB
Current children cumulated memory: 3779216 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 91503
/proc/meminfo: memFree=84192800/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3950288 memory=3781264 CPUtime=3571.01 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1028719 0 0 0 356780 321 0 0 20 0 1 0 8424692 4045094912 945316 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987572 945316 3979 3540 0 975829 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 3950288 KiB
Current children cumulated memory: 3781264 KiB
[startup+3598.2 s]
# the end of solver process 88922 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.57 s, system=3.28108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.10 4.09 5/255 91503
/proc/meminfo: memFree=84192684/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3950288 memory=3781264 CPUtime=3572.7 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1028722 0 0 0 356949 321 0 0 20 0 1 0 8424692 4045094912 945316 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987572 945316 3979 3540 0 975829 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 3950288 KiB
Current children cumulated memory: 3781264 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 91505
/proc/meminfo: memFree=84146356/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3950288 memory=3781264 CPUtime=3579.08 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1028727 0 0 0 357587 321 0 0 20 0 1 0 8424692 4045094912 945316 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987572 945316 3979 3540 0 975829 0
Current children cumulated CPU time: 3579.08 s
Current children cumulated vsize: 3950288 KiB
Current children cumulated memory: 3781264 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 91505
/proc/meminfo: memFree=84146100/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3950288 memory=3781264 CPUtime=3582.26 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1028730 0 0 0 357905 321 0 0 20 0 1 0 8424692 4045094912 945316 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987572 945316 3979 3540 0 975829 0
Current children cumulated CPU time: 3582.26 s
Current children cumulated vsize: 3950288 KiB
Current children cumulated memory: 3781264 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 91551
/proc/meminfo: memFree=86557060/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3950288 memory=3781264 CPUtime=3583.86 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1028732 0 0 0 358065 321 0 0 20 0 1 0 8424692 4045094912 945316 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987572 945316 3979 3540 0 975829 0
Current children cumulated CPU time: 3583.86 s
Current children cumulated vsize: 3950288 KiB
Current children cumulated memory: 3781264 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 91551
/proc/meminfo: memFree=86024436/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3950288 memory=3781264 CPUtime=3585.45 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1028732 0 0 0 358224 321 0 0 20 0 1 0 8424692 4045094912 945316 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987572 945316 3979 3540 0 975829 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 3950288 KiB
Current children cumulated memory: 3781264 KiB
[startup+3597.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 91551
/proc/meminfo: memFree=85777592/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3950288 memory=3781264 CPUtime=3586.25 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1028799 0 0 0 358304 321 0 0 20 0 1 0 8424692 4045094912 945316 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 987572 945316 3979 3540 0 975829 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 3950288 KiB
Current children cumulated memory: 3781264 KiB
[startup+3598 s]*
/proc/loadavg: 4.13 4.12 4.09 5/255 91551
/proc/meminfo: memFree=85024192/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3945904 memory=3777340 CPUtime=3586.65 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1028822 0 0 0 358344 321 0 0 20 0 1 0 8424692 4040605696 944335 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 986476 944335 3979 3540 0 974733 0
Current children cumulated CPU time: 3586.65 s
Current children cumulated vsize: 3945904 KiB
Current children cumulated memory: 3777340 KiB
[startup+3598.11 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 91551
/proc/meminfo: memFree=85024192/131524600 swapFree=131071996/131071996
[pid=88922] ppid=88919 vsize=3890124 memory=3722036 CPUtime=3586.76 cores=4,6
/proc/88922/stat : 88922 (pbscip) R 88919 88922 88152 0 -1 4194304 1029052 0 0 0 358354 322 0 0 20 0 1 0 8424692 3983486976 930509 134679101440 4194304 18693293 140731285415216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34078720 140731285419011 140731285419110 140731285419110 140731285426126 0
/proc/88922/statm: 972531 930509 3979 3540 0 960788 0
Current children cumulated CPU time: 3586.76 s
Current children cumulated vsize: 3890124 KiB
Current children cumulated memory: 3722036 KiB
Child status: 0
Real time (s): 3598.2
CPU time (s): 3586.85
CPU user time (s): 3583.57
CPU system time (s): 3.28108
CPU usage (%): 99.6847
Max. virtual memory (cumulated for all children) (KiB): 3950288
Max. memory (cumulated for all children) (KiB): 3781264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.57
system time used= 3.28108
maximum resident set size= 3781264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1029288
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= 27
involuntary context switches= 2563
# summary of solver processes directly reported to runsolver:
# pid: 88922
# total CPU time (s): 3586.85
# total CPU user time (s): 3583.57
# total CPU system time (s): 3.28108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33989 second user time and 16.5043 second system time
The end
Begin job on nodeC023 at 2024-07-23 09:15:54
IDJOB=4456302
IDBENCH=143864
IDSOLVER=3038
FILE ID=nodeC023/4456302-1721718954
RUNJOBID= nodeC023-1721718429-88163
SLURM_JOB_ID= 7770414
Free space on /tmp= 890020 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-16reduc_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456302-1721718954/watcher-4456302-1721718954 -o /tmp/evaluation-result-4456302-1721718954/solver-4456302-1721718954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721718429-88163 --watchdog 3760 pbscip -f HOME/instance-4456302-1721718954.wbo -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b650e80a3f64e6bae4fbc25304197493
RANDOM SEED=765558420
nodeC023.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 : 3665.839
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.85
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 : 3683.050
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 : 7007.10
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 : 3600.103
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.85
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.219
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 : 7007.10
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 : 3657.928
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.85
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 : 3683.139
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 : 7007.10
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 : 3668.211
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.85
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.135
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 : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 106600696 kB
MemAvailable: 127739060 kB
Buffers: 143376 kB
Cached: 21730120 kB
SwapCached: 0 kB
Active: 945252 kB
Inactive: 23229628 kB
Active(anon): 1552 kB
Inactive(anon): 2337220 kB
Active(file): 943700 kB
Inactive(file): 20892408 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 43696 kB
Writeback: 12 kB
AnonPages: 2299936 kB
Mapped: 132668 kB
Shmem: 37720 kB
KReclaimable: 283804 kB
Slab: 391560 kB
SReclaimable: 283804 kB
SUnreclaim: 107756 kB
KernelStack: 4124 kB
PageTables: 13976 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2899696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20192 kB
HardwareCorrupted: 0 kB
AnonHugePages: 499712 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: 279252 kB
DirectMap2M: 32000000 kB
DirectMap1G: 103809024 kB
Free space on /tmp at the end= 889916 MiB
End job on nodeC023 at 2024-07-23 10:15:53