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-4425225-1720894407.wbo>
3.87/3.97 c original problem has 983603 variables (983603 bin, 0 int, 0 impl, 0 cont) and 1941355 constraints
3.87/3.97 c problem read in 3.97
14.73/14.87 c presolving:
18.11/18.27 c (round 1, exhaustive) 8 del vars, 8 del conss, 0 add conss, 970450 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 970450 impls, 446 clqs
52.58/52.83 c (52.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
59.06/59.39 c (59.4s) no symmetry present (symcode time: 3.57)
60.95/61.29 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
60.95/61.29 c 33 deleted vars, 8 deleted constraints, 0 added constraints, 970450 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
60.95/61.29 c 970450 implications, 446 cliques
60.95/61.29 c presolved problem has 1954020 variables (983595 bin, 0 int, 970425 impl, 0 cont) and 1941347 constraints
60.95/61.29 c 1 constraints of type <knapsack>
60.95/61.29 c 446 constraints of type <setppc>
60.95/61.29 c 970450 constraints of type <linear>
60.95/61.29 c 970450 constraints of type <indicator>
60.95/61.29 c transformed objective value is always integral (scale: 1)
60.95/61.29 c Presolving Time: 53.85
60.95/61.29 c - non default parameters ----------------------------------------------------------------------
60.95/61.29 c # SCIP version 10.0.0
60.95/61.29 c
60.95/61.29 c # maximal time in seconds to run
60.95/61.29 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
60.95/61.29 c limits/time = 3596.997019
60.95/61.29 c
60.95/61.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
60.95/61.29 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
60.95/61.29 c limits/memory = 27900
60.95/61.29 c
60.95/61.29 c # belongs reading time to solving time?
60.95/61.29 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
60.95/61.29 c timing/reading = TRUE
60.95/61.29 c
60.95/61.29 c -----------------------------------------------------------------------------------------------
60.95/61.29 c start solving
61.95/62.29 c
201.28/202.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
201.28/202.11 c 202s| 1 | 0 | 15239 | - | 11G | 0 |1954k|1941k|1941k| 0 | 0 | 130 | 0 | 3.928807e-01 | -- | Inf | unknown
973.10/976.90 c 977s| 1 | 0 | 64487 | - | 12G | 0 |1954k|1941k|1941k| 96 | 1 | 135 | 0 | 3.928807e-01 | -- | Inf | unknown
1040.37/1044.50 c 1045s| 1 | 0 | 66490 | - | 13G | 0 |1954k|1941k|1941k| 187 | 2 | 140 | 0 | 3.929239e-01 | -- | Inf | unknown
1105.46/1109.95 c 1110s| 1 | 0 | 68194 | - | 13G | 0 |1954k|1941k|1941k| 272 | 3 | 145 | 0 | 1.394001e+00 | -- | Inf | unknown
1169.96/1174.74 c 1175s| 1 | 0 | 69781 | - | 13G | 0 |1954k|1941k|1941k| 357 | 4 | 151 | 0 | 1.394626e+00 | -- | Inf | unknown
1242.10/1247.25 c 1247s| 1 | 0 | 73020 | - | 13G | 0 |1954k|1941k|1941k| 429 | 5 | 152 | 0 | 1.454929e+00 | -- | Inf | unknown
1346.07/1351.65 c 1352s| 1 | 0 | 83677 | - | 13G | 0 |1954k|1941k|1941k| 504 | 6 | 155 | 0 | 1.572605e+00 | -- | Inf | unknown
1425.51/1431.43 c 1431s| 1 | 0 | 86280 | - | 14G | 0 |1954k|1941k|1941k| 576 | 7 | 156 | 0 | 1.572605e+00 | -- | Inf | unknown
1479.46/1485.63 c 1486s| 1 | 0 | 89027 | - | 14G | 0 |1954k|1941k|1941k| 635 | 8 | 161 | 0 | 1.572605e+00 | -- | Inf | unknown
1522.16/1528.56 c 1529s| 1 | 0 | 91864 | - | 14G | 0 |1954k|1941k|1942k| 688 | 9 | 163 | 0 | 1.572605e+00 | -- | Inf | unknown
1573.53/1580.18 c 1580s| 1 | 0 | 94571 | - | 14G | 0 |1954k|1941k|1942k| 738 | 10 | 170 | 0 | 1.573109e+00 | -- | Inf | unknown
1591.55/1598.28 c 1598s| 1 | 0 | 95685 | - | 14G | 0 |1954k|1941k|1942k| 788 | 11 | 175 | 0 | 1.573961e+00 | -- | Inf | unknown
1609.58/1616.32 c 1616s| 1 | 0 | 96565 | - | 15G | 0 |1954k|1941k|1942k| 839 | 12 | 181 | 0 | 1.584035e+00 | -- | Inf | unknown
1627.91/1634.74 c 1635s| 1 | 0 | 97434 | - | 15G | 0 |1954k|1941k|1942k| 880 | 13 | 185 | 0 | 1.584035e+00 | -- | Inf | unknown
1652.52/1659.41 c 1659s| 1 | 0 |100187 | - | 15G | 0 |1954k|1941k|1941k| 914 | 14 | 186 | 0 | 1.817278e+00 | -- | Inf | unknown
1671.94/1678.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1671.94/1678.93 c 1679s| 1 | 0 |101161 | - | 15G | 0 |1954k|1941k|1941k| 946 | 15 | 193 | 0 | 1.817278e+00 | -- | Inf | unknown
1694.45/1701.52 c 1702s| 1 | 0 |103132 | - | 15G | 0 |1954k|1941k|1942k| 990 | 16 | 195 | 0 | 1.976538e+00 | -- | Inf | unknown
1716.87/1724.06 c 1724s| 1 | 0 |105100 | - | 16G | 0 |1954k|1941k|1942k|1027 | 17 | 198 | 0 | 2.778084e+00 | -- | Inf | unknown
1736.49/1743.72 c 1744s| 1 | 0 |105826 | - | 16G | 0 |1954k|1941k|1942k|1059 | 18 | 202 | 0 | 2.778084e+00 | -- | Inf | unknown
1754.02/1761.38 c 1761s| 1 | 0 |106410 | - | 16G | 0 |1954k|1941k|1942k|1089 | 19 | 208 | 0 | 2.778084e+00 | -- | Inf | unknown
1771.94/1779.32 c 1779s| 1 | 0 |106993 | - | 16G | 0 |1954k|1941k|1941k|1118 | 20 | 210 | 0 | 2.778084e+00 | -- | Inf | unknown
1787.39/1794.84 c 1795s| 1 | 0 |107042 | - | 16G | 0 |1954k|1941k|1941k|1123 | 21 | 211 | 0 | 2.778084e+00 | -- | Inf | unknown
1801.24/1808.76 c 1809s| 1 | 0 |107045 | - | 16G | 0 |1954k|1941k|1941k|1125 | 22 | 213 | 0 | 2.778084e+00 | -- | Inf | unknown
3583.06/3597.66 c 3598s| 1 | 2 |278085 | - | 16G | 0 |1954k|1941k|1941k|1125 | 23 | 219 | 0 | 2.778084e+00 | -- | Inf | unknown
3583.06/3597.66 c
3583.06/3597.66 c SCIP Status : solving was interrupted [time limit reached]
3583.06/3597.66 c Solving Time (sec) : 3597.65
3583.06/3597.66 c Solving Nodes : 1
3583.06/3597.66 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3583.06/3597.66 c Dual Bound : +2.77808422744798e+00
3583.06/3597.66 c Gap : infinite
3583.06/3597.66 s UNKNOWN
3583.06/3597.66 c SCIP Status : solving was interrupted [time limit reached]
3583.06/3597.66 c Total Time : 3597.65
3583.06/3597.66 c solving : 3597.65
3583.06/3597.66 c presolving : 53.85 (included in solving)
3583.06/3597.66 c reading : 3.97 (included in solving)
3583.06/3597.66 c copying : 0.00 (0 times copied the problem)
3583.06/3597.66 c Original Problem :
3583.06/3597.66 c Problem name : HOME/instance-4425225-1720894407.wbo
3583.06/3597.66 c Variables : 983603 (983603 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.06/3597.66 c Constraints : 1941355 initial, 1941355 maximal
3583.06/3597.68 c Objective : minimize, 970450 non-zeros (abs.min = 1, abs.max = 3670)
3583.06/3597.68 c Presolved Problem :
3583.06/3597.68 c Problem name : t_HOME/instance-4425225-1720894407.wbo
3583.06/3597.68 c Variables : 1954020 (983595 binary, 0 integer, 970425 implicit integer, 0 continuous)
3583.06/3597.68 c Constraints : 1941347 initial, 1941567 maximal
3583.17/3597.72 c Objective : minimize, 970450 non-zeros (abs.min = 1, abs.max = 3670)
3583.17/3597.72 c Nonzeros : 8736615 constraint, 13137 clique table
3583.17/3597.72 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.17/3597.72 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c implics : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c trivial : 0.13 0.00 2 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c dualfix : 0.14 0.00 2 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c probing : 32.80 0.08 1 0 25 0 0 0 0 0 0 0
3583.17/3597.72 c pseudoobj : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c symmetry : 6.56 0.00 1 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c vbounds : 0.26 0.00 1 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c knapsack : 0.00 0.04 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c linear : 3.91 0.16 4 0 8 0 970450 0 8 0 0 0
3583.17/3597.72 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c indicator : 0.36 0.06 2 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c components : 1.42 0.00 1 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c root node : - - - 0 - - 0 - - - - -
3583.17/3597.72 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.17/3597.72 c benderslp : 0 0 0 0 0 0 1 13 0 0 0 0 0 0 0
3583.17/3597.72 c integral : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
3583.17/3597.72 c knapsack : 1 1 0 14722 0 0 1 9 489 13 0 0 0 0 0
3583.17/3597.72 c setppc : 446 446 23 14709 0 0 1 6 17 23 0 0 0 0 0
3583.17/3597.72 c linear : 970450 970450 23 14686 0 0 0 3 1298 4 0 0 0 0 0
3583.17/3597.72 c logicor : 0+ 220 23 117 0 0 0 0 1 1 0 3 3 0 0
3583.17/3597.72 c benders : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3583.17/3597.72 c indicator : 970450 970450 23 14681 0 0 1 0 1298 1 0 0 0 0 0
3583.17/3597.72 c fixedvar : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3583.17/3597.72 c countsols : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3583.17/3597.72 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.17/3597.72 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c integral : 0.24 0.00 0.00 0.00 0.00 0.00 0.00 0.24 0.00 0.00
3583.17/3597.72 c knapsack : 15.04 0.04 0.00 9.44 0.00 0.02 0.00 0.31 5.22 0.00
3583.17/3597.72 c setppc : 6.57 0.00 0.00 6.57 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c linear : 146.88 0.16 140.92 5.80 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c logicor : 0.25 0.00 0.00 0.25 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c indicator : 173.57 0.06 3.26 170.25 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c fixedvar : 0.03 0.03 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.17/3597.72 c dualfix : 1 0 0 0
3583.17/3597.72 c genvbounds : 0 0 0 0
3583.17/3597.72 c nlobbt : 0 0 0 0
3583.17/3597.72 c obbt : 0 0 0 0
3583.17/3597.72 c probing : 0 0 0 0
3583.17/3597.72 c pseudoobj : 25 0 0 0
3583.17/3597.72 c redcost : 24 0 0 0
3583.17/3597.72 c rootredcost : 0 0 0 0
3583.17/3597.72 c symmetry : 0 0 0 0
3583.17/3597.72 c vbounds : 2994 0 0 0
3583.17/3597.72 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.17/3597.72 c dualfix : 0.21 0.00 0.14 0.07 0.00 0.00
3583.17/3597.72 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c probing : 32.88 0.08 32.80 0.00 0.00 0.00
3583.17/3597.72 c pseudoobj : 0.96 0.00 0.07 0.89 0.00 0.00
3583.17/3597.72 c redcost : 4.37 0.00 0.00 4.37 0.00 0.00
3583.17/3597.72 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3583.17/3597.72 c symmetry : 6.56 0.00 6.56 0.00 0.00 0.00
3583.17/3597.72 c vbounds : 2.01 0.00 0.26 1.75 0.00 0.00
3583.17/3597.72 c Symmetry :
3583.17/3597.72 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.17/3597.72 c orbital reduction: 0 reductions applied, 0 cutoffs
3583.17/3597.72 c lexicographic red: 0 reductions applied, 0 cutoffs
3583.17/3597.72 c shadow tree time : 0.00 s
3583.17/3597.72 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.17/3597.72 c propagation : 5.22 40 40 - 298 31.9 1 14.0 - - -
3583.17/3597.72 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.17/3597.72 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.17/3597.72 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.17/3597.72 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.17/3597.72 c applied globally : 1.61 - - 0 219 30.7 - - 0 - -
3583.17/3597.72 c applied locally : - - - 0 0 0.0 - - 0 - -
3583.17/3597.72 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.17/3597.72 c cut pool : 0.04 - 42 42 - - 2892 6384 - - - - - (maximal pool size: 2892)
3583.17/3597.72 c aggregation : 20.44 0.00 23 23 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c > cmir : - - - - - - - 0 0 0 0 0 -
3583.17/3597.72 c > flowcover : - - - - - - - 0 0 0 0 0 -
3583.17/3597.72 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3583.17/3597.72 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c clique : 0.40 0.00 23 23 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c gomory : 393.77 0.00 10 10 0 0 2003 5452 0 253 253 0 0
3583.17/3597.72 c > gomorymi : - - - - - - - 1306 0 39 39 0 -
3583.17/3597.72 c > strongcg : - - - - - - - 4146 0 214 214 0 -
3583.17/3597.72 c impliedbounds : 1.42 0.00 23 23 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c mcf : 0.85 0.00 1 1 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c mixing : 0.00 0.00 23 23 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c multilinear : 0.00 0.00 23 23 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3583.17/3597.72 c zerohalf : 14.62 0.00 20 20 0 0 889 932 0 869 869 0 0
3583.17/3597.72 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.17/3597.72 c hybrid : 0.11 0.00 22 22 1125 0 5262 1125 0 5262
3583.17/3597.72 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c Pricers : ExecTime SetupTime Calls Vars
3583.17/3597.72 c problem variables: 0.00 - 0 0
3583.17/3597.72 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.17/3597.72 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c inference : 0.30 0.00 0 0 1 0 0 0 0 2
3583.17/3597.72 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.17/3597.72 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.17/3597.72 c LP solutions : 0.00 - - 0 0
3583.17/3597.72 c relax solutions : 0.00 - - 0 0
3583.17/3597.72 c pseudo solutions : 0.00 - - 0 0
3583.17/3597.72 c strong branching : 0.00 - - 0 0
3583.17/3597.72 c actconsdiving : 0.00 0.00 0 0 0
3583.17/3597.72 c adaptivediving : 0.00 0.00 0 0 0
3583.17/3597.72 c alns : 0.00 0.00 0 0 0
3583.17/3597.72 c bound : 0.00 0.00 0 0 0
3583.17/3597.72 c clique : 9.03 0.00 1 0 0
3583.17/3597.72 c coefdiving : 0.00 0.00 0 0 0
3583.17/3597.72 c completesol : 0.00 0.00 0 0 0
3583.17/3597.72 c conflictdiving : 0.00 0.00 0 0 0
3583.17/3597.72 c crossover : 0.00 0.00 0 0 0
3583.17/3597.72 c dins : 0.00 0.00 0 0 0
3583.17/3597.72 c distributiondivin: 0.00 0.00 0 0 0
3583.17/3597.72 c dps : 0.00 0.00 0 0 0
3583.17/3597.72 c dualval : 0.00 0.00 0 0 0
3583.17/3597.72 c farkasdiving : 1777.73 0.00 1 0 0
3583.17/3597.72 c feasjump : 1.63 0.00 1 0 0
3583.17/3597.72 c feaspump : 687.24 0.00 1 0 0
3583.17/3597.72 c fixandinfer : 0.00 0.00 0 0 0
3583.17/3597.72 c fracdiving : 0.00 0.00 0 0 0
3583.17/3597.72 c gins : 0.00 0.00 0 0 0
3583.17/3597.72 c guideddiving : 0.00 0.00 0 0 0
3583.17/3597.72 c indcoefdiving : 0.00 0.00 0 0 0
3583.17/3597.72 c indicator : 0.00 0.00 0 0 0
3583.17/3597.72 c indicatordiving : 0.10 0.00 0 0 0
3583.17/3597.72 c indoneopt : 4.46 0.29 1 0 0
3583.17/3597.72 c indrounding : 0.00 0.00 0 0 0
3583.17/3597.72 c indtwoopt : 0.00 0.29 0 0 0
3583.17/3597.72 c intdiving : 0.00 0.00 0 0 0
3583.17/3597.72 c intshifting : 0.00 0.00 0 0 0
3583.17/3597.72 c linesearchdiving : 0.00 0.00 0 0 0
3583.17/3597.72 c localbranching : 0.00 0.00 0 0 0
3583.17/3597.72 c locks : 4.40 0.00 1 0 0
3583.17/3597.72 c lpface : 0.00 0.00 0 0 0
3583.17/3597.72 c mpec : 0.00 0.00 0 0 0
3583.17/3597.72 c multistart : 0.00 0.00 0 0 0
3583.17/3597.72 c mutation : 0.00 0.00 0 0 0
3583.17/3597.72 c nlpdiving : 0.00 0.00 0 0 0
3583.17/3597.72 c objpscostdiving : 0.00 0.00 0 0 0
3583.17/3597.72 c octane : 0.00 0.00 0 0 0
3583.17/3597.72 c ofins : 0.00 0.00 0 0 0
3583.17/3597.72 c oneopt : 0.00 0.00 0 0 0
3583.17/3597.72 c padm : 0.00 0.00 0 0 0
3583.17/3597.72 c proximity : 0.00 0.00 0 0 0
3583.17/3597.72 c pscostdiving : 0.00 0.00 0 0 0
3583.17/3597.72 c randrounding : 99.09 0.00 23 0 0
3583.17/3597.72 c rens : 0.00 0.00 0 0 0
3583.17/3597.72 c reoptsols : 0.00 0.00 0 0 0
3583.17/3597.72 c repair : 0.00 0.00 0 0 0
3583.17/3597.72 c rins : 0.00 0.00 0 0 0
3583.17/3597.72 c rootsoldiving : 0.00 0.00 0 0 0
3583.17/3597.72 c rounding : 1.09 0.00 23 0 0
3583.17/3597.72 c scheduler : 0.00 0.00 0 0 0
3583.17/3597.72 c shiftandpropagate: 19.61 0.00 1 0 0
3583.17/3597.72 c shifting : 4.17 0.00 23 0 0
3583.17/3597.72 c simplerounding : 0.02 0.00 0 0 0
3583.17/3597.72 c smallcard : 0.00 0.00 0 0 0
3583.17/3597.72 c subnlp : 0.00 0.00 0 0 0
3583.17/3597.72 c trivial : 1.99 0.00 2 0 0
3583.17/3597.72 c trivialnegation : 0.00 0.00 0 0 0
3583.17/3597.72 c trustregion : 0.00 0.00 0 0 0
3583.17/3597.72 c trysol : 0.00 0.00 0 0 0
3583.17/3597.72 c twoopt : 0.00 0.00 0 0 0
3583.17/3597.72 c undercover : 0.00 0.00 0 0 0
3583.17/3597.72 c vbounds : 0.11 0.00 0 0 0
3583.17/3597.72 c veclendiving : 0.00 0.00 0 0 0
3583.17/3597.72 c zeroobj : 0.00 0.00 0 0 0
3583.17/3597.72 c zirounding : 0.01 0.00 1 0 0
3583.17/3597.72 c other solutions : - - - 0 -
3583.17/3597.72 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3583.17/3597.72 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
3583.17/3597.72 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
3583.17/3597.72 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
3583.17/3597.72 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
3583.17/3597.72 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
3583.17/3597.72 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
3583.17/3597.72 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
3583.17/3597.72 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
3583.17/3597.72 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
3583.17/3597.72 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.17/3597.72 c primal LP : 1.38 2 0 0.00 0.00 1.38 2
3583.17/3597.72 c dual LP : 329.96 23 59922 2605.30 181.60 0.00 0
3583.17/3597.72 c lex dual LP : 0.00 0 0 0.00 -
3583.17/3597.72 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.17/3597.72 c resolve instable : 4.23 2 34 17.00 8.04
3583.17/3597.72 c diving/probing LP: 1981.19 795 218163 274.42 110.12
3583.17/3597.72 c strong branching : 0.00 0 0 0.00 - - - 0
3583.17/3597.72 c (at root node) : - 0 0 0.00 -
3583.17/3597.72 c conflict analysis: 0.00 0 0 0.00 -
3583.17/3597.72 c B&B Tree :
3583.17/3597.72 c number of runs : 1
3583.17/3597.72 c nodes : 1 (1 internal, 0 leaves)
3583.17/3597.72 c feasible leaves : 0
3583.17/3597.72 c infeas. leaves : 0
3583.17/3597.72 c objective leaves : 0
3583.17/3597.72 c nodes (total) : 1 (1 internal, 0 leaves)
3583.17/3597.72 c nodes left : 2
3583.17/3597.72 c max depth : 0
3583.17/3597.72 c max depth (total): 0
3583.17/3597.72 c backtracks : 0 (0.0%)
3583.17/3597.72 c early backtracks : 0 (0.0%)
3583.17/3597.72 c nodes exc. ref. : 0 (0.0%)
3583.17/3597.72 c delayed cutoffs : 0
3583.17/3597.72 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3583.17/3597.72 c avg switch length: 1.00
3583.17/3597.72 c switching time : 0.00
3583.17/3597.72 c Root Node :
3583.17/3597.72 c First LP value : +3.92880705474397e-01
3583.17/3597.72 c First LP Iters : 15239 (155.26 Iter/sec)
3583.17/3597.72 c First LP Time : 98.15
3583.17/3597.72 c Final Dual Bound : +2.77808422744798e+00
3583.17/3597.72 c Final Root Iters : 107045
3583.17/3597.72 c Root LP Estimate : -
3583.17/3597.72 c Solution :
3583.17/3597.72 c Solutions found : 0 (0 improvements)
3583.17/3597.72 c Primal Bound : -
3583.17/3597.72 c Dual Bound : +2.77808422744798e+00
3583.17/3597.72 c Gap : infinite
3583.17/3597.72 c Integrals : Total Avg%
3583.17/3597.72 c primal-dual : 359765.48 100.00
3583.17/3597.72 c primal-ref : - - (not evaluated)
3583.17/3597.72 c dual-ref : - - (not evaluated)
3593.23/3607.84 c Time complete: 3593.29.
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 (62275 MiB free)
memory of node 1: 64510 MiB (63558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425225-1720894407/watcher-4425225-1720894407 -o /tmp/evaluation-result-4425225-1720894407/solver-4425225-1720894407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720894420-724336 --watchdog 3760 pbscip -f HOME/instance-4425225-1720894407.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=724387, runsolver pid=724384
Current StackSize limit: 8192 KiB
[startup+0.100773 s]*
/proc/loadavg: 3.71 4.01 4.00 5/252 724394
/proc/meminfo: memFree=128787828/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=105028 memory=64308 CPUtime=0.09 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 13120 0 0 0 7 2 0 0 20 0 1 0 141602622 107548672 16077 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 26257 16077 3243 3540 0 14514 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 105028 KiB
Current children cumulated memory: 64308 KiB
[startup+0.205671 s]*
/proc/loadavg: 3.71 4.01 4.00 6/257 724399
/proc/meminfo: memFree=128690388/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=148564 memory=108300 CPUtime=0.2 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 24134 0 0 0 16 4 0 0 20 0 1 0 141602622 152129536 27075 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 37141 27075 3243 3540 0 25398 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 148564 KiB
Current children cumulated memory: 108300 KiB
[startup+0.305778 s]*
/proc/loadavg: 3.71 4.01 4.00 5/257 724399
/proc/meminfo: memFree=128606432/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=190232 memory=149656 CPUtime=0.29 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 34450 0 0 0 24 5 0 0 20 0 1 0 141602622 194797568 37348 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 47558 37348 3243 3540 0 35815 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 190232 KiB
Current children cumulated memory: 149656 KiB
[startup+0.700213 s]
/proc/loadavg: 3.71 4.01 4.00 5/257 724399
/proc/meminfo: memFree=128443968/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=344416 memory=303528 CPUtime=0.69 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 72456 0 0 0 58 11 0 0 20 0 1 0 141602622 352681984 75882 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 86104 75882 3243 3540 0 74361 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 344416 KiB
Current children cumulated memory: 303528 KiB
[startup+1.50021 s]
/proc/loadavg: 3.71 4.01 4.00 5/257 724399
/proc/meminfo: memFree=128025296/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=657404 memory=616164 CPUtime=1.48 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 148053 0 0 0 125 23 0 0 20 0 1 0 141602622 673181696 154041 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 164351 154041 3243 3540 0 152608 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 657404 KiB
Current children cumulated memory: 616164 KiB
[startup+3.10542 s]
/proc/loadavg: 3.65 3.99 3.99 5/257 724493
/proc/meminfo: memFree=126321376/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=1261780 memory=1220412 CPUtime=3.07 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 292469 0 0 0 264 43 0 0 20 0 1 0 141602622 1292062720 305103 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 315445 305103 3243 3540 0 303702 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1261780 KiB
Current children cumulated memory: 1220412 KiB
[startup+6.30021 s]
/proc/loadavg: 3.65 3.99 3.99 5/257 724585
/proc/meminfo: memFree=123282044/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=3079392 memory=3032380 CPUtime=6.26 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 693604 0 0 0 522 104 0 0 20 0 1 0 141602622 3153297408 758095 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 769848 758095 3562 3540 0 758105 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 3079392 KiB
Current children cumulated memory: 3032380 KiB
[startup+12.7002 s]
/proc/loadavg: 3.62 3.98 3.99 4/250 724617
/proc/meminfo: memFree=117125136/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=6171072 memory=6088012 CPUtime=12.63 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 1362490 0 0 0 1063 200 0 0 20 0 1 0 141602622 6319177728 1521937 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 1542768 1522003 3594 3540 0 1531025 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 6171072 KiB
Current children cumulated memory: 6088012 KiB
[startup+25.5002 s]
/proc/loadavg: 3.60 3.96 3.98 4/250 724621
/proc/meminfo: memFree=109972452/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=7161452 memory=7041004 CPUtime=25.38 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 1505323 0 0 0 2311 227 0 0 20 0 1 0 141602622 7333326848 1760251 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 1790363 1760251 3642 3540 0 1778620 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 7161452 KiB
Current children cumulated memory: 7041004 KiB
[startup+51.1057 s]
/proc/loadavg: 3.46 3.90 3.96 4/250 724624
/proc/meminfo: memFree=108021620/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=7161452 memory=7041256 CPUtime=50.9 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 1505456 0 0 0 4862 228 0 0 20 0 1 0 141602622 7333326848 1760314 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 1790363 1760314 3642 3540 0 1778620 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 7161452 KiB
Current children cumulated memory: 7041256 KiB
[startup+102.3 s]
/proc/loadavg: 3.25 3.76 3.91 4/250 724634
/proc/meminfo: memFree=101714748/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=12975724 memory=12168272 CPUtime=101.9 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2218262 0 0 0 9768 422 0 0 20 0 1 0 141602622 13287141376 3042068 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 3243931 3042068 3754 3540 0 3232188 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 12975724 KiB
Current children cumulated memory: 12168272 KiB
[startup+162.3 s]
/proc/loadavg: 2.71 3.53 3.82 3/240 724674
/proc/meminfo: memFree=92835488/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=13923700 memory=13004532 CPUtime=161.65 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2252598 0 0 0 15653 512 0 0 20 0 1 0 141602622 14257868800 3251133 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 3480925 3251133 3866 3540 0 3469182 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 13923700 KiB
Current children cumulated memory: 13004532 KiB
[startup+222.3 s]
/proc/loadavg: 2.30 3.26 3.71 3/240 724685
/proc/meminfo: memFree=88096204/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=14196680 memory=13201344 CPUtime=221.38 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2264758 0 0 0 21577 561 0 0 20 0 1 0 141602622 14537400320 3300336 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 3549170 3300336 3882 3540 0 3537427 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 14196680 KiB
Current children cumulated memory: 13201344 KiB
[startup+282.3 s]
/proc/loadavg: 1.82 2.96 3.58 2/233 724726
/proc/meminfo: memFree=115762924/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=14276352 memory=13282964 CPUtime=281.13 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2272041 0 0 0 27497 616 0 0 20 0 1 0 141602622 14618984448 3320741 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 3569088 3320741 3882 3540 0 3557345 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 14276352 KiB
Current children cumulated memory: 13282964 KiB
[startup+342.3 s]
/proc/loadavg: 1.51 2.65 3.43 2/233 724737
/proc/meminfo: memFree=115825860/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=14299312 memory=13308052 CPUtime=340.91 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2278747 0 0 0 33438 653 0 0 20 0 1 0 141602622 14642495488 3327013 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 3574828 3327013 3882 3540 0 3563085 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 14299312 KiB
Current children cumulated memory: 13308052 KiB
[startup+402.3 s]
/proc/loadavg: 1.60 2.48 3.32 2/235 724751
/proc/meminfo: memFree=115791356/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=14333064 memory=13341932 CPUtime=400.71 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2282974 0 0 0 39399 672 0 0 20 0 1 0 141602622 14677057536 3335483 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 3583266 3335483 3882 3540 0 3571523 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 14333064 KiB
Current children cumulated memory: 13341932 KiB
[startup+462.3 s]
/proc/loadavg: 1.53 2.32 3.22 2/236 724763
/proc/meminfo: memFree=115788104/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=14334084 memory=13345128 CPUtime=460.5 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2287146 0 0 0 45358 692 0 0 20 0 1 0 141602622 14678102016 3336282 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 3583521 3336282 3882 3540 0 3571778 0
Current children cumulated CPU time: 460.5 s
################
# More data... #
################
Current children cumulated memory: 14526004 KiB
[startup+3222.3 s]
/proc/loadavg: 1.10 1.10 1.18 2/233 726445
/proc/meminfo: memFree=114669772/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=19551440 memory=14548800 CPUtime=3209.23 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2697526 0 1 0 317703 3220 0 0 20 0 1 0 141602622 20020674560 3637200 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4887860 3637200 4014 3540 0 4876117 0
Current children cumulated CPU time: 3209.23 s
Current children cumulated vsize: 19551440 KiB
Current children cumulated memory: 14548800 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.11 1.18 2/233 726455
/proc/meminfo: memFree=114647352/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=19573504 memory=14570864 CPUtime=3268.99 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2707198 0 1 0 323605 3294 0 0 20 0 1 0 141602622 20043268096 3642716 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4893376 3642716 4014 3540 0 4881633 0
Current children cumulated CPU time: 3268.99 s
Current children cumulated vsize: 19573504 KiB
Current children cumulated memory: 14570864 KiB
[startup+3342.3 s]
/proc/loadavg: 1.16 1.12 1.18 2/233 726465
/proc/meminfo: memFree=114612208/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=19608428 memory=14605768 CPUtime=3328.77 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2720724 0 1 0 329478 3399 0 0 20 0 1 0 141602622 20079030272 3651442 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4902107 3651442 4014 3540 0 4890364 0
Current children cumulated CPU time: 3328.77 s
Current children cumulated vsize: 19608428 KiB
Current children cumulated memory: 14605768 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.11 1.17 2/235 726479
/proc/meminfo: memFree=114593468/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=19626688 memory=14624048 CPUtime=3388.52 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2728464 0 1 0 335387 3465 0 0 20 0 1 0 141602622 20097728512 3656012 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4906672 3656012 4014 3540 0 4894929 0
Current children cumulated CPU time: 3388.52 s
Current children cumulated vsize: 19626688 KiB
Current children cumulated memory: 14624048 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.12 1.17 2/236 726491
/proc/meminfo: memFree=114573292/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=19646660 memory=14643964 CPUtime=3448.29 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2740953 0 1 0 341285 3544 0 0 20 0 1 0 141602622 20118179840 3660991 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4911665 3660991 4014 3540 0 4899922 0
Current children cumulated CPU time: 3448.29 s
Current children cumulated vsize: 19646660 KiB
Current children cumulated memory: 14643964 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.12 1.17 2/236 726501
/proc/meminfo: memFree=114552820/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=19679052 memory=14663968 CPUtime=3508.06 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2753906 0 1 0 347146 3660 0 0 20 0 1 0 141602622 20151349248 3665992 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4919763 3665992 4014 3540 0 4908020 0
Current children cumulated CPU time: 3508.06 s
Current children cumulated vsize: 19679052 KiB
Current children cumulated memory: 14663968 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.11 1.17 2/236 726511
/proc/meminfo: memFree=114528392/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=19691652 memory=14688260 CPUtime=3567.82 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2763757 0 1 0 353033 3749 0 0 20 0 1 0 141602622 20164251648 3672065 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4922913 3672065 4014 3540 0 4911170 0
Current children cumulated CPU time: 3567.82 s
Current children cumulated vsize: 19691652 KiB
Current children cumulated memory: 14688260 KiB
[startup+3608 s]
# the end of solver process 724387 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3555.56 s, system=37.8792 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.17 1.13 1.17 2/236 726511
/proc/meminfo: memFree=114528224/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=19691652 memory=14688260 CPUtime=3569.52 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2763785 0 1 0 353203 3749 0 0 20 0 1 0 141602622 20164251648 3672065 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4922913 3672065 4014 3540 0 4911170 0
Current children cumulated CPU time: 3569.52 s
Current children cumulated vsize: 19691652 KiB
Current children cumulated memory: 14688260 KiB
[startup+3596.8 s]
/proc/loadavg: 1.15 1.12 1.17 2/236 726512
/proc/meminfo: memFree=114528084/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=19691652 memory=14688392 CPUtime=3582.27 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2765696 0 1 0 354463 3764 0 0 20 0 1 0 141602622 20164251648 3672098 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4922913 3672098 4014 3540 0 4911170 0
Current children cumulated CPU time: 3582.27 s
Current children cumulated vsize: 19691652 KiB
Current children cumulated memory: 14688392 KiB
[startup+3603.2 s]
/proc/loadavg: 1.12 1.12 1.17 2/236 726514
/proc/meminfo: memFree=115230440/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=18988868 memory=13986660 CPUtime=3588.65 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2768307 0 1 0 355099 3766 0 0 20 0 1 0 141602622 19444600832 3496665 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4747217 3496665 4028 3540 0 4735474 0
Current children cumulated CPU time: 3588.65 s
Current children cumulated vsize: 18988868 KiB
Current children cumulated memory: 13986660 KiB
[startup+3606.4 s]
/proc/loadavg: 1.12 1.12 1.17 2/236 726514
/proc/meminfo: memFree=115230456/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=18988868 memory=13986660 CPUtime=3591.84 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2769372 0 1 0 355418 3766 0 0 20 0 1 0 141602622 19444600832 3496665 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4747217 3496665 4028 3540 0 4735474 0
Current children cumulated CPU time: 3591.84 s
Current children cumulated vsize: 18988868 KiB
Current children cumulated memory: 13986660 KiB
[startup+3607.2 s]
/proc/loadavg: 1.12 1.12 1.17 2/236 726514
/proc/meminfo: memFree=115892916/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=18158548 memory=13195392 CPUtime=3592.64 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2770183 0 1 0 355497 3767 0 0 20 0 1 0 141602622 18594353152 3298848 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4539637 3298848 4044 3540 0 4527894 0
Current children cumulated CPU time: 3592.64 s
Current children cumulated vsize: 18158548 KiB
Current children cumulated memory: 13195392 KiB
[startup+3607.6 s]
/proc/loadavg: 1.12 1.12 1.17 2/236 726514
/proc/meminfo: memFree=115892916/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=17779532 memory=12817280 CPUtime=3593.03 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2770495 0 1 0 355535 3768 0 0 20 0 1 0 141602622 18206240768 3204320 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4444834 3204320 4044 3540 0 4433091 0
Current children cumulated CPU time: 3593.03 s
Current children cumulated vsize: 17779532 KiB
Current children cumulated memory: 12817280 KiB
[startup+3607.8 s]
/proc/loadavg: 1.12 1.12 1.17 2/236 726514
/proc/meminfo: memFree=115892916/131524600 swapFree=131071996/131071996
[pid=724387] ppid=724384 vsize=17031428 memory=12068348 CPUtime=3593.23 cores=0,2
/proc/724387/stat : 724387 (pbscip) R 724384 724387 721936 0 -1 4194304 2770924 0 1 0 355553 3770 0 0 20 0 1 0 141602622 17440182272 3017343 134679101440 4194304 18693293 140724858229776 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31551488 140724858237986 140724858238085 140724858238085 140724858245070 0
/proc/724387/statm: 4257857 3017087 4044 3540 0 4246114 0
Current children cumulated CPU time: 3593.23 s
Current children cumulated vsize: 17031428 KiB
Current children cumulated memory: 12068348 KiB
[startup+3607.9 s]*
/proc/loadavg: 1.11 1.12 1.17 2/236 726514
/proc/meminfo: memFree=123986512/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3608
CPU time (s): 3593.44
CPU user time (s): 3555.56
CPU system time (s): 37.8792
CPU usage (%): 99.5966
Max. virtual memory (cumulated for all children) (KiB): 19934388
Max. memory (cumulated for all children) (KiB): 14761252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3555.56
system time used= 37.8792
maximum resident set size= 14776764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2771209
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59
involuntary context switches= 25217
# summary of solver processes directly reported to runsolver:
# pid: 724387
# total CPU time (s): 3593.44
# total CPU user time (s): 3555.56
# total CPU system time (s): 37.8792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32768 second user time and 15.4006 second system time
The end
Begin job on nodeC017 at 2024-07-13 20:13:40
IDJOB=4425225
IDBENCH=144144
IDSOLVER=3038
FILE ID=nodeC017/4425225-1720894407
RUNJOBID= nodeC017-1720894420-724336
SLURM_JOB_ID= 7485801
Free space on /tmp= 889960 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph13reducmore_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425225-1720894407/watcher-4425225-1720894407 -o /tmp/evaluation-result-4425225-1720894407/solver-4425225-1720894407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720894420-724336 --watchdog 3760 pbscip -f HOME/instance-4425225-1720894407.wbo -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 67fbd2e887926488e60ea47b7a4ad243
RANDOM SEED=400416963
nodeC017.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 : 3669.952
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.733
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.99
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 : 3666.326
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.286
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.99
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 : 3668.799
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.881
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.99
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 : 3609.624
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.023
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128869668 kB
MemAvailable: 129622180 kB
Buffers: 336624 kB
Cached: 1257736 kB
SwapCached: 0 kB
Active: 607876 kB
Inactive: 1482392 kB
Active(anon): 1440 kB
Inactive(anon): 531856 kB
Active(file): 606436 kB
Inactive(file): 950536 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 145232 kB
Writeback: 0 kB
AnonPages: 495296 kB
Mapped: 121560 kB
Shmem: 37720 kB
KReclaimable: 70372 kB
Slab: 168064 kB
SReclaimable: 70372 kB
SUnreclaim: 97692 kB
KernelStack: 4036 kB
PageTables: 10096 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 799140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 198656 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: 162516 kB
DirectMap2M: 11145216 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 890036 MiB
End job on nodeC017 at 2024-07-13 21:13:48