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-4444065-1721301396.opb>
1.68/1.79 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 674250 constraints
1.68/1.79 c problem read in 1.79
1.68/1.79 c No objective function, only one solution is needed.
3.08/3.16 c presolving:
5.57/5.63 c (5.6s) running MILP presolver
6.47/6.55 c (6.5s) MILP presolver found nothing
8.56/8.63 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 674250 upgd conss, 0 impls, 1500 clqs
11.75/11.88 c (11.9s) probing: 51/4500 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
11.75/11.88 c (11.9s) probing aborted: 50/50 successive totally useless probings
14.95/15.01 c (15.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
19.33/19.46 c (19.5s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 2.25)
19.33/19.46 c dynamic symmetry handling statistics:
19.33/19.46 c orbitopal reduction: no components
19.33/19.46 c orbital reduction: no components
19.33/19.46 c lexicographic reduction: no permutations
19.33/19.46 c handled 1 out of 1 symmetry components
22.92/23.06 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
22.92/23.06 c 3 deleted vars, 0 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
22.92/23.06 c 0 implications, 1499 cliques
22.92/23.06 c presolved problem has 4498 variables (4498 bin, 0 int, 0 impl, 0 cont) and 673654 constraints
22.92/23.06 c 1500 constraints of type <setppc>
22.92/23.06 c 2 constraints of type <orbitope>
22.92/23.06 c 672152 constraints of type <logicor>
22.92/23.06 c transformed objective value is always integral (scale: 1)
22.92/23.06 c Presolving Time: 19.90
22.92/23.06 c - non default parameters ----------------------------------------------------------------------
22.92/23.06 c # SCIP version 10.0.0
22.92/23.06 c
22.92/23.06 c # maximal time in seconds to run
22.92/23.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
22.92/23.06 c limits/time = 3596.99701
22.92/23.06 c
22.92/23.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
22.92/23.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
22.92/23.06 c limits/memory = 27900
22.92/23.06 c
22.92/23.06 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
22.92/23.06 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
22.92/23.06 c limits/solutions = 1
22.92/23.06 c
22.92/23.06 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
22.92/23.06 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
22.92/23.06 c misc/usesymmetry = 3
22.92/23.06 c
22.92/23.06 c # belongs reading time to solving time?
22.92/23.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
22.92/23.06 c timing/reading = TRUE
22.92/23.06 c
22.92/23.06 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
22.92/23.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
22.92/23.06 c propagating/symmetry/detectdoublelex = FALSE
22.92/23.06 c
22.92/23.06 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
22.92/23.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
22.92/23.06 c propagating/symmetry/detectsubgroups = FALSE
22.92/23.06 c
22.92/23.06 c # Type of symmetries that shall be computed?
22.92/23.06 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
22.92/23.06 c propagating/symmetry/symtype = 1
22.92/23.06 c
22.92/23.06 c # Should components consisting of a single full reflection be handled?
22.92/23.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
22.92/23.06 c propagating/symmetry/usesimplesgncomp = FALSE
22.92/23.06 c
22.92/23.06 c -----------------------------------------------------------------------------------------------
22.92/23.06 c start solving
22.92/23.07 c
3584.70/3597.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3584.70/3597.30 c 3597s| 1 | 0 | 79545 | - | 4134M | 0 |4498 | 673k| 673k| 0 | 0 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
3584.70/3597.30 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
3584.70/3597.30 c
3584.70/3597.30 c SCIP Status : solving was interrupted [time limit reached]
3584.70/3597.30 c Solving Time (sec) : 3597.29
3584.70/3597.30 c Solving Nodes : 1
3584.70/3597.30 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.70/3597.30 c Dual Bound : +0.00000000000000e+00
3584.70/3597.30 c Gap : infinite
3584.70/3597.30 s UNKNOWN
3584.70/3597.30 c SCIP Status : solving was interrupted [time limit reached]
3584.70/3597.30 c Total Time : 3597.29
3584.70/3597.30 c solving : 3597.29
3584.70/3597.30 c presolving : 19.90 (included in solving)
3584.70/3597.30 c reading : 1.79 (included in solving)
3584.70/3597.30 c copying : 0.00 (0 times copied the problem)
3584.70/3597.30 c Original Problem :
3584.70/3597.30 c Problem name : HOME/instance-4444065-1721301396.opb
3584.70/3597.30 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.70/3597.30 c Constraints : 674250 initial, 674250 maximal
3584.70/3597.30 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.70/3597.30 c Presolved Problem :
3584.70/3597.30 c Problem name : t_HOME/instance-4444065-1721301396.opb
3584.70/3597.30 c Variables : 4498 (4498 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.70/3597.30 c Constraints : 673654 initial, 673694 maximal
3584.70/3597.30 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.70/3597.30 c Nonzeros : 4043410 constraint, 4497 clique table
3584.70/3597.30 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.70/3597.30 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c domcol : 0.45 0.00 1 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c dualsparsify : 3.13 0.00 1 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c gateextraction : 0.23 0.00 1 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c milp : 2.66 0.00 1 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c sparsify : 0.96 0.00 1 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c probing : 0.26 0.00 1 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c symmetry : 4.45 0.00 1 2 0 0 0 0 0 2 0 0
3584.70/3597.30 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c linear : 2.30 0.62 2 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c logicor : 1.34 3.19 3 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c components : 0.40 0.00 1 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c root node : - - - 1 - - 1 - - - - -
3584.70/3597.30 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.70/3597.30 c benderslp : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
3584.70/3597.30 c integral : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
3584.70/3597.30 c setppc : 1500 1500 0 8074 0 0 0 2 1168 21 0 0 0 0 0
3584.70/3597.30 c orbitope : 2 2 0 7953 0 0 0 0 2 0 1 0 0 0 0
3584.70/3597.30 c logicor : 672152+ 672193 0 3832 0 0 0 0 2091 8 0 0 0 0 0
3584.70/3597.30 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.70/3597.30 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c setppc : 0.20 0.00 0.00 0.20 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c orbitope : 0.24 0.00 0.00 0.24 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c logicor : 5.20 3.19 0.59 1.42 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.70/3597.30 c dualfix : 1 0 0 0
3584.70/3597.30 c genvbounds : 0 0 0 0
3584.70/3597.30 c nlobbt : 0 0 0 0
3584.70/3597.30 c obbt : 0 0 0 0
3584.70/3597.30 c probing : 0 0 0 0
3584.70/3597.30 c pseudoobj : 0 0 0 0
3584.70/3597.30 c redcost : 0 0 0 0
3584.70/3597.30 c rootredcost : 0 0 0 0
3584.70/3597.30 c symmetry : 0 0 0 0
3584.70/3597.30 c vbounds : 3560 0 0 0
3584.70/3597.30 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.70/3597.30 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c probing : 0.26 0.00 0.26 0.00 0.00 0.00
3584.70/3597.30 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c symmetry : 4.45 0.00 4.45 0.00 0.00 0.00
3584.70/3597.30 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.70/3597.30 c Symmetry :
3584.70/3597.30 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.70/3597.30 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.70/3597.30 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.70/3597.30 c shadow tree time : 0.00 s
3584.70/3597.30 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.70/3597.30 c propagation : 0.04 17 17 - 574 606.0 1 15.0 - - -
3584.70/3597.30 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.70/3597.30 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.70/3597.30 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.70/3597.30 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.70/3597.30 c applied globally : 0.00 - - 0 41 133.7 - - 0 - -
3584.70/3597.30 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.70/3597.30 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.70/3597.30 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3584.70/3597.30 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.70/3597.30 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.70/3597.30 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.70/3597.30 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3584.70/3597.30 c > strongcg : - - - - - - - 0 0 0 0 0 -
3584.70/3597.30 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.70/3597.30 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.70/3597.30 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c Pricers : ExecTime SetupTime Calls Vars
3584.70/3597.30 c problem variables: 0.00 - 0 0
3584.70/3597.30 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.70/3597.30 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.70/3597.30 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.70/3597.30 c LP solutions : 0.00 - - 0 0
3584.70/3597.30 c relax solutions : 0.00 - - 0 0
3584.70/3597.30 c pseudo solutions : 0.00 - - 0 0
3584.70/3597.30 c strong branching : 0.00 - - 0 0
3584.70/3597.30 c actconsdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c adaptivediving : 0.00 0.00 0 0 0
3584.70/3597.30 c alns : 0.00 0.00 0 0 0
3584.70/3597.30 c bound : 0.00 0.00 0 0 0
3584.70/3597.30 c clique : 1.93 0.00 1 0 0
3584.70/3597.30 c coefdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c completesol : 0.00 0.00 0 0 0
3584.70/3597.30 c conflictdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c crossover : 0.00 0.00 0 0 0
3584.70/3597.30 c dins : 0.00 0.00 0 0 0
3584.70/3597.30 c distributiondivin: 0.00 0.00 0 0 0
3584.70/3597.30 c dps : 0.00 0.00 0 0 0
3584.70/3597.30 c dualval : 0.00 0.00 0 0 0
3584.70/3597.30 c farkasdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c feasjump : 2.30 0.00 1 0 0
3584.70/3597.30 c feaspump : 0.00 0.00 0 0 0
3584.70/3597.30 c fixandinfer : 0.00 0.00 0 0 0
3584.70/3597.30 c fracdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c gins : 0.00 0.00 0 0 0
3584.70/3597.30 c guideddiving : 0.00 0.00 0 0 0
3584.70/3597.30 c indcoefdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c indicator : 0.00 0.00 0 0 0
3584.70/3597.30 c indicatordiving : 0.00 0.00 0 0 0
3584.70/3597.30 c indoneopt : 0.00 0.00 0 0 0
3584.70/3597.30 c indrounding : 0.00 0.00 0 0 0
3584.70/3597.30 c indtwoopt : 0.00 0.00 0 0 0
3584.70/3597.30 c intdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c intshifting : 0.00 0.00 0 0 0
3584.70/3597.30 c linesearchdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c localbranching : 0.00 0.00 0 0 0
3584.70/3597.30 c locks : 0.35 0.00 1 0 0
3584.70/3597.30 c lpface : 0.00 0.00 0 0 0
3584.70/3597.30 c mpec : 0.00 0.00 0 0 0
3584.70/3597.30 c multistart : 0.00 0.00 0 0 0
3584.70/3597.30 c mutation : 0.00 0.00 0 0 0
3584.70/3597.30 c nlpdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c objpscostdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c octane : 0.00 0.00 0 0 0
3584.70/3597.30 c ofins : 0.00 0.00 0 0 0
3584.70/3597.30 c oneopt : 0.00 0.00 0 0 0
3584.70/3597.30 c padm : 0.00 0.00 0 0 0
3584.70/3597.30 c proximity : 0.00 0.00 0 0 0
3584.70/3597.30 c pscostdiving : 0.00 0.00 0 0 0
3584.70/3597.30 c randrounding : 0.00 0.00 0 0 0
3584.70/3597.30 c rens : 0.00 0.00 0 0 0
3584.70/3597.30 c reoptsols : 0.00 0.00 0 0 0
3584.70/3597.30 c repair : 0.00 0.00 0 0 0
3584.70/3597.30 c rins : 0.00 0.00 0 0 0
3584.70/3597.30 c rootsoldiving : 0.00 0.00 0 0 0
3584.70/3597.30 c rounding : 0.00 0.00 0 0 0
3584.70/3597.30 c scheduler : 0.00 0.00 0 0 0
3584.70/3597.30 c shiftandpropagate: 0.82 0.00 1 0 0
3584.70/3597.30 c shifting : 0.00 0.00 0 0 0
3584.70/3597.30 c simplerounding : 0.00 0.00 0 0 0
3584.70/3597.30 c smallcard : 0.00 0.00 0 0 0
3584.70/3597.30 c subnlp : 0.00 0.00 0 0 0
3584.70/3597.30 c trivial : 0.00 0.00 2 0 0
3584.70/3597.30 c trivialnegation : 0.00 0.00 0 0 0
3584.70/3597.30 c trustregion : 0.00 0.00 0 0 0
3584.70/3597.30 c trysol : 0.00 0.00 0 0 0
3584.70/3597.30 c twoopt : 0.00 0.00 0 0 0
3584.70/3597.30 c undercover : 0.00 0.00 0 0 0
3584.70/3597.30 c vbounds : 1.39 0.00 1 0 0
3584.70/3597.30 c veclendiving : 0.00 0.00 0 0 0
3584.70/3597.30 c zeroobj : 0.00 0.00 0 0 0
3584.70/3597.30 c zirounding : 0.00 0.00 0 0 0
3584.70/3597.30 c other solutions : - - - 0 -
3584.70/3597.30 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.70/3597.30 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.70/3597.30 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.70/3597.30 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.70/3597.30 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.70/3597.30 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.70/3597.30 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.70/3597.30 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.70/3597.30 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3584.70/3597.30 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3584.70/3597.30 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.70/3597.30 c primal LP : 0.00 0 0 0.00 - 0.00 0
3584.70/3597.30 c dual LP : 3567.44 1 79545 79545.00 22.30 0.00 0
3584.70/3597.30 c lex dual LP : 0.00 0 0 0.00 -
3584.70/3597.30 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.70/3597.30 c resolve instable : 0.00 0 0 0.00 -
3584.70/3597.30 c diving/probing LP: 0.00 0 0 0.00 -
3584.70/3597.30 c strong branching : 0.00 0 0 0.00 - - - 0
3584.70/3597.30 c (at root node) : - 0 0 0.00 -
3584.70/3597.30 c conflict analysis: 0.00 0 0 0.00 -
3584.70/3597.30 c B&B Tree :
3584.70/3597.30 c number of runs : 1
3584.70/3597.30 c nodes : 1 (0 internal, 1 leaves)
3584.70/3597.30 c feasible leaves : 0
3584.70/3597.30 c infeas. leaves : 0
3584.70/3597.30 c objective leaves : 0
3584.70/3597.30 c nodes (total) : 1 (0 internal, 1 leaves)
3584.70/3597.30 c nodes left : 1
3584.70/3597.30 c max depth : 0
3584.70/3597.30 c max depth (total): 0
3584.70/3597.30 c backtracks : 0 (0.0%)
3584.70/3597.30 c early backtracks : 0 (0.0%)
3584.70/3597.30 c nodes exc. ref. : 0 (0.0%)
3584.70/3597.30 c delayed cutoffs : 0
3584.70/3597.30 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3584.70/3597.30 c avg switch length: 1.00
3584.70/3597.30 c switching time : 0.00
3584.70/3597.30 c Root Node :
3584.70/3597.30 c First LP value : -
3584.70/3597.30 c First LP Iters : 0
3584.70/3597.30 c First LP Time : 3567.44
3584.70/3597.30 c Final Dual Bound : +0.00000000000000e+00
3584.70/3597.30 c Final Root Iters : 79545
3584.70/3597.30 c Root LP Estimate : -
3584.70/3597.30 c Solution :
3584.70/3597.30 c Solutions found : 0 (0 improvements)
3584.70/3597.30 c Primal Bound : -
3584.70/3597.30 c Dual Bound : +0.00000000000000e+00
3584.70/3597.30 c Gap : infinite
3584.70/3597.30 c Integrals : Total Avg%
3584.70/3597.30 c primal-dual : 359729.15 100.00
3584.70/3597.30 c primal-ref : - - (not evaluated)
3584.70/3597.30 c dual-ref : - - (not evaluated)
3586.30/3598.92 c Time complete: 3586.33.
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: 63968 MiB (61094 MiB free)
memory of node 1: 64473 MiB (59182 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444065-1721301396/watcher-4444065-1721301396 -o /tmp/evaluation-result-4444065-1721301396/solver-4444065-1721301396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721294195-967149 --watchdog 3760 pbscip -f HOME/instance-4444065-1721301396.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=972118, runsolver pid=972115
[startup+0.100094 s]*
/proc/loadavg: 4.07 4.09 4.09 5/254 972119
/proc/meminfo: memFree=123132628/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=83584 memory=43048 CPUtime=0.1 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 7798 0 0 0 9 1 0 0 20 0 1 0 182302068 85590016 10762 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 20896 10762 3261 3540 0 9153 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83584 KiB
Current children cumulated memory: 43048 KiB
[startup+0.205411 s]*
/proc/loadavg: 4.07 4.09 4.09 5/254 972119
/proc/meminfo: memFree=123110312/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=107736 memory=66528 CPUtime=0.2 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 13697 0 0 0 18 2 0 0 20 0 1 0 182302068 110321664 16632 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 26934 16632 3261 3540 0 15191 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107736 KiB
Current children cumulated memory: 66528 KiB
[startup+0.305366 s]*
/proc/loadavg: 4.07 4.09 4.09 5/254 972119
/proc/meminfo: memFree=123088360/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=130028 memory=88788 CPUtime=0.3 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 19263 0 0 0 27 3 0 0 20 0 1 0 182302068 133148672 22197 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 32507 22197 3261 3540 0 20764 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 130028 KiB
Current children cumulated memory: 88788 KiB
[startup+0.700232 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 972119
/proc/meminfo: memFree=123048572/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=209796 memory=168476 CPUtime=0.69 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 38697 0 0 0 63 6 0 0 20 0 1 0 182302068 214831104 42119 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 52449 42119 3261 3540 0 40706 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 209796 KiB
Current children cumulated memory: 168476 KiB
[startup+1.50023 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 972119
/proc/meminfo: memFree=122948160/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=370424 memory=329212 CPUtime=1.48 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 76804 0 0 0 136 12 0 0 20 0 1 0 182302068 379314176 82303 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 92606 82303 3261 3540 0 80863 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 370424 KiB
Current children cumulated memory: 329212 KiB
[startup+3.1056 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 972119
/proc/meminfo: memFree=122073476/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=1219212 memory=1177864 CPUtime=3.08 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 279954 0 0 0 265 43 0 0 20 0 1 0 182302068 1248473088 294466 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 304803 294466 3549 3540 0 293060 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1219212 KiB
Current children cumulated memory: 1177864 KiB
[startup+6.30023 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 972119
/proc/meminfo: memFree=121377376/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=1857228 memory=1798616 CPUtime=6.27 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 313682 0 0 0 558 69 0 0 20 0 1 0 182302068 1901801472 449654 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 464307 449654 3724 3540 0 452564 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1857228 KiB
Current children cumulated memory: 1798616 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 972120
/proc/meminfo: memFree=121368392/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=2346176 memory=2145060 CPUtime=12.65 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 418804 0 0 0 1171 94 0 0 20 0 1 0 182302068 2402484224 536265 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 586544 536265 3788 3540 0 574801 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2346176 KiB
Current children cumulated memory: 2145060 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 972122
/proc/meminfo: memFree=119070612/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4425248 memory=4098116 CPUtime=25.41 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 598076 0 0 0 2385 156 0 0 20 0 1 0 182302068 4531453952 1024529 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1106312 1024529 3884 3540 0 1094569 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4425248 KiB
Current children cumulated memory: 4098116 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 972129
/proc/meminfo: memFree=118962584/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4551832 memory=4204332 CPUtime=50.93 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 631728 0 0 0 4927 166 0 0 20 0 1 0 182302068 4661075968 1051083 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1137958 1051083 3996 3540 0 1126215 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4551832 KiB
Current children cumulated memory: 4204332 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 972138
/proc/meminfo: memFree=118899552/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4597620 memory=4263856 CPUtime=101.95 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 645883 0 0 0 10022 173 0 0 20 0 1 0 182302068 4707962880 1065964 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1149405 1065964 3996 3540 0 1137662 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 4597620 KiB
Current children cumulated memory: 4263856 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 972148
/proc/meminfo: memFree=118796020/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4650384 memory=4312212 CPUtime=161.75 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 651808 0 0 0 15996 179 0 0 20 0 1 0 182302068 4761993216 1078053 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1162596 1078053 3996 3540 0 1150853 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 4650384 KiB
Current children cumulated memory: 4312212 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 972162
/proc/meminfo: memFree=118770332/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4677436 memory=4334464 CPUtime=221.55 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 653755 0 0 0 21972 183 0 0 20 0 1 0 182302068 4789694464 1083616 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1169359 1083616 3996 3540 0 1157616 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 4677436 KiB
Current children cumulated memory: 4334464 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 972219
/proc/meminfo: memFree=119017852/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4677436 memory=4337032 CPUtime=281.37 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 654386 0 0 0 27949 188 0 0 20 0 1 0 182302068 4789694464 1084258 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1169359 1084258 4012 3540 0 1157616 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 4677436 KiB
Current children cumulated memory: 4337032 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 972412
/proc/meminfo: memFree=119021260/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4677436 memory=4337048 CPUtime=341.17 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 654856 0 0 0 33925 192 0 0 20 0 1 0 182302068 4789694464 1084262 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1169359 1084262 4012 3540 0 1157616 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 4677436 KiB
Current children cumulated memory: 4337048 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 4/253 972803
/proc/meminfo: memFree=119835516/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4677436 memory=4337048 CPUtime=400.96 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 655327 0 0 0 39900 196 0 0 20 0 1 0 182302068 4789694464 1084262 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1169359 1084262 4012 3540 0 1157616 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 4677436 KiB
Current children cumulated memory: 4337048 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/256 973720
/proc/meminfo: memFree=119861872/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4686404 memory=4348064 CPUtime=460.77 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 655992 0 0 0 45875 202 0 0 20 0 1 0 182302068 4798877696 1087016 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1171601 1087016 4012 3540 0 1159858 0
################
# More data... #
################
/proc/loadavg: 3.05 3.27 3.68 4/249 975523
/proc/meminfo: memFree=121134864/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3210.88 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 675664 0 0 0 320783 305 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3210.88 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.25 3.65 4/249 975534
/proc/meminfo: memFree=121096256/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3270.69 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 676150 0 0 0 326763 306 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3270.69 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.23 3.62 4/249 975544
/proc/meminfo: memFree=121072816/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3330.51 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 676553 0 0 0 332744 307 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3330.51 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.20 3.58 4/249 975554
/proc/meminfo: memFree=121049784/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3390.31 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 677034 0 0 0 338723 308 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3390.31 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.18 3.55 4/249 975566
/proc/meminfo: memFree=121026840/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3450.12 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 677473 0 0 0 344704 308 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3450.12 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3522.3 s]
/proc/loadavg: 3.17 3.18 3.52 4/249 975576
/proc/meminfo: memFree=120997744/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3509.94 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 677952 0 0 0 350685 309 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3509.94 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.16 3.49 4/247 975586
/proc/meminfo: memFree=120974004/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3569.75 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 678518 0 0 0 356665 310 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3569.75 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3598.93 s]
# the end of solver process 972118 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.2 s, system=3.13454 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.11 3.16 3.49 4/247 975586
/proc/meminfo: memFree=120973264/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3571.45 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 678519 0 0 0 356835 310 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3590.4 s]
/proc/loadavg: 3.17 3.17 3.49 4/247 975587
/proc/meminfo: memFree=120971892/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3577.82 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 678523 0 0 0 357472 310 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3577.82 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3593.6 s]
/proc/loadavg: 3.17 3.17 3.49 4/247 975587
/proc/meminfo: memFree=120971444/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3581.01 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 678597 0 0 0 357791 310 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3581.01 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3596.8 s]
/proc/loadavg: 3.16 3.17 3.49 4/247 975587
/proc/meminfo: memFree=120970352/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3584.2 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 678668 0 0 0 358110 310 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3584.2 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3597.6 s]
/proc/loadavg: 3.16 3.17 3.49 4/247 975587
/proc/meminfo: memFree=120970324/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3585 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 679293 0 0 0 358190 310 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3598.4 s]
/proc/loadavg: 3.16 3.17 3.49 4/247 975587
/proc/meminfo: memFree=120970232/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4738328 memory=4495568 CPUtime=3585.8 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 679371 0 0 0 358270 310 0 0 20 0 1 0 182302068 4852047872 1123892 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1184582 1123892 4012 3540 0 1172839 0
Current children cumulated CPU time: 3585.8 s
Current children cumulated vsize: 4738328 KiB
Current children cumulated memory: 4495568 KiB
[startup+3598.8 s]
/proc/loadavg: 3.16 3.17 3.49 4/247 975587
/proc/meminfo: memFree=120970232/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=4124692 memory=3905764 CPUtime=3586.19 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 680411 0 0 0 358308 311 0 0 20 0 1 0 182302068 4223684608 976441 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 1031173 976441 4028 3540 0 1019430 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 4124692 KiB
Current children cumulated memory: 3905764 KiB
[startup+3598.9 s]
/proc/loadavg: 3.16 3.17 3.49 4/247 975587
/proc/meminfo: memFree=120970232/131524600 swapFree=131071216/131071996
[pid=972118] ppid=972115 vsize=3995560 memory=3776632 CPUtime=3586.3 cores=0,2
/proc/972118/stat : 972118 (pbscip) R 972115 972118 967139 0 -1 4194304 680411 0 0 0 358318 312 0 0 20 0 1 0 182302068 4091453440 944158 134679101440 4194304 18693293 140737189585616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 45379584 140737189590019 140737189590118 140737189590118 140737189597134 0
/proc/972118/statm: 998890 944158 4028 3540 0 987147 0
Current children cumulated CPU time: 3586.3 s
Current children cumulated vsize: 3995560 KiB
Current children cumulated memory: 3776632 KiB
Child status: 0
Real time (s): 3598.93
CPU time (s): 3586.33
CPU user time (s): 3583.2
CPU system time (s): 3.13454
CPU usage (%): 99.65
Max. virtual memory (cumulated for all children) (KiB): 4738328
Max. memory (cumulated for all children) (KiB): 4495568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.2
system time used= 3.13454
maximum resident set size= 4495568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 680694
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= 18
involuntary context switches= 24576
# summary of solver processes directly reported to runsolver:
# pid: 972118
# total CPU time (s): 3586.33
# total CPU user time (s): 3583.2
# total CPU system time (s): 3.13454
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1269 second user time and 16.735 second system time
The end