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-4452215-1721438511.opb>
0.09/0.17 c original problem has 12292 variables (12292 bin, 0 int, 0 impl, 0 cont) and 97390 constraints
0.09/0.17 c problem read in 0.17
0.09/0.17 c No objective function, only one solution is needed.
0.29/0.31 c presolving:
0.40/0.46 c (round 1, fast) 47 del vars, 47 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 97320 clqs
0.49/0.59 c (0.6s) running MILP presolver
0.59/0.69 c (0.7s) MILP presolver found nothing
0.88/0.92 c (round 2, exhaustive) 47 del vars, 47 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 97343 upgd conss, 0 impls, 97320 clqs
29.09/29.23 c (29.2s) probing: 1000/12245 (8.2%) - 0 fixings, 0 aggregations, 1731930 implications, 0 bound changes
29.09/29.25 c (29.2s) probing: 1001/12245 (8.2%) - 0 fixings, 0 aggregations, 1733404 implications, 0 bound changes
29.09/29.25 c (29.2s) probing aborted: 1000/1000 successive useless probings
30.19/30.31 c (30.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
30.38/30.51 c (30.5s) no symmetry present (symcode time: 0.05)
30.38/30.55 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
30.38/30.55 c 47 deleted vars, 47 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
30.38/30.55 c 0 implications, 253532 cliques
30.38/30.55 c presolved problem has 12245 variables (12245 bin, 0 int, 0 impl, 0 cont) and 97343 constraints
30.38/30.55 c 23 constraints of type <knapsack>
30.38/30.55 c 97320 constraints of type <setppc>
30.38/30.55 c transformed objective value is always integral (scale: 1)
30.38/30.55 c Presolving Time: 30.25
30.38/30.55 c - non default parameters ----------------------------------------------------------------------
30.38/30.55 c # SCIP version 10.0.0
30.38/30.55 c
30.38/30.55 c # maximal time in seconds to run
30.38/30.55 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
30.38/30.55 c limits/time = 3596.997047
30.38/30.55 c
30.38/30.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
30.38/30.55 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
30.38/30.55 c limits/memory = 27900
30.38/30.55 c
30.38/30.55 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
30.38/30.55 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
30.38/30.55 c limits/solutions = 1
30.38/30.55 c
30.38/30.55 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.
30.38/30.55 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
30.38/30.55 c misc/usesymmetry = 3
30.38/30.55 c
30.38/30.55 c # belongs reading time to solving time?
30.38/30.55 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
30.38/30.55 c timing/reading = TRUE
30.38/30.55 c
30.38/30.55 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
30.38/30.55 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
30.38/30.55 c propagating/symmetry/detectdoublelex = FALSE
30.38/30.55 c
30.38/30.55 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
30.38/30.55 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
30.38/30.55 c propagating/symmetry/detectsubgroups = FALSE
30.38/30.55 c
30.38/30.55 c # Type of symmetries that shall be computed?
30.38/30.55 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
30.38/30.55 c propagating/symmetry/symtype = 1
30.38/30.55 c
30.38/30.55 c # Should components consisting of a single full reflection be handled?
30.38/30.55 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
30.38/30.55 c propagating/symmetry/usesimplesgncomp = FALSE
30.38/30.55 c
30.38/30.55 c -----------------------------------------------------------------------------------------------
30.38/30.55 c start solving
30.38/30.56 c
138.52/139.10 c (node 1) unresolved numerical troubles in LP 1 -- using pseudo solution instead (loop 1)
138.62/139.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
138.62/139.11 c 139s| 1 | 2 | 33577 | - | 548M | 0 | 12k| 97k| 97k| 0 | 0 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
3584.47/3597.00 c
3584.47/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.47/3597.00 c Solving Time (sec) : 3597.00
3584.47/3597.00 c Solving Nodes : 40
3584.47/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.47/3597.00 c Dual Bound : +0.00000000000000e+00
3584.47/3597.00 c Gap : infinite
3584.47/3597.00 s UNKNOWN
3584.47/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.47/3597.00 c Total Time : 3597.00
3584.47/3597.00 c solving : 3597.00
3584.47/3597.00 c presolving : 30.25 (included in solving)
3584.47/3597.00 c reading : 0.17 (included in solving)
3584.47/3597.00 c copying : 0.00 (0 times copied the problem)
3584.47/3597.00 c Original Problem :
3584.47/3597.00 c Problem name : HOME/instance-4452215-1721438511.opb
3584.47/3597.00 c Variables : 12292 (12292 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.47/3597.00 c Constraints : 97390 initial, 97390 maximal
3584.47/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.47/3597.00 c Presolved Problem :
3584.47/3597.00 c Problem name : t_HOME/instance-4452215-1721438511.opb
3584.47/3597.00 c Variables : 12245 (12245 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.47/3597.00 c Constraints : 97343 initial, 97395 maximal
3584.47/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.47/3597.00 c Nonzeros : 253203 constraint, 359740 clique table
3584.47/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.47/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c domcol : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c dualsparsify : 1.06 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c milp : 0.21 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c sparsify : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c probing : 27.42 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c symmetry : 0.20 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c vbounds : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c knapsack : 0.70 0.00 3 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c setppc : 0.11 0.00 3 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c linear : 0.33 0.03 3 0 47 0 0 0 47 0 0 0
3584.47/3597.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c root node : - - - 1088 - - 1088 - - - - -
3584.47/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.47/3597.00 c benderslp : 0 0 0 0 28 0 5 7 0 0 0 0 0 0 0
3584.47/3597.00 c integral : 0 0 0 0 28 0 0 7 0 0 0 0 0 0 56
3584.47/3597.00 c knapsack : 23 23 0 32502 0 0 5 4 1364 41 577 0 0 0 0
3584.47/3597.00 c setppc : 97320+ 97322 0 32461 0 0 5 0 14010 4 10918 0 0 0 0
3584.47/3597.00 c logicor : 0+ 68 0 62 0 0 0 0 0 0 2 0 0 0 0
3584.47/3597.00 c benders : 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0
3584.47/3597.00 c fixedvar : 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0
3584.47/3597.00 c countsols : 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0
3584.47/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.47/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c integral : 0.09 0.00 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c knapsack : 8.38 0.00 0.01 8.34 0.00 0.01 0.00 0.00 0.01 0.00
3584.47/3597.00 c setppc : 8.05 0.00 0.05 7.92 0.00 0.07 0.00 0.00 0.00 0.00
3584.47/3597.00 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.47/3597.00 c dualfix : 1 0 0 0
3584.47/3597.00 c genvbounds : 0 0 0 0
3584.47/3597.00 c nlobbt : 0 0 0 0
3584.47/3597.00 c obbt : 0 0 0 0
3584.47/3597.00 c probing : 0 0 0 0
3584.47/3597.00 c pseudoobj : 0 0 0 0
3584.47/3597.00 c redcost : 0 0 0 0
3584.47/3597.00 c rootredcost : 0 0 0 0
3584.47/3597.00 c symmetry : 0 0 0 0
3584.47/3597.00 c vbounds : 23558 0 0 0
3584.47/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.47/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c probing : 27.42 0.00 27.42 0.00 0.00 0.00
3584.47/3597.00 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.00 c symmetry : 0.20 0.00 0.20 0.00 0.00 0.00
3584.47/3597.00 c vbounds : 0.03 0.00 0.01 0.02 0.00 0.00
3584.47/3597.00 c Symmetry :
3584.47/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.47/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.47/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.47/3597.00 c shadow tree time : 0.00 s
3584.47/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.47/3597.00 c propagation : 0.03 34 34 - 413 255.5 0 0.0 - - -
3584.47/3597.00 c infeasible LP : 0.03 6 5 - 22 183.4 0 0.0 0 0.0 0
3584.47/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.47/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.47/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.47/3597.00 c applied globally : 0.00 - - 0 73 164.3 - - 0 - -
3584.47/3597.00 c applied locally : - - - 0 2 2838.0 - - 0 - -
3584.47/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.47/3597.00 c cut pool : 0.00 - 4 0 - - 2 2 - - - - - (maximal pool size: 2)
3584.47/3597.00 c aggregation : 4.01 0.00 2 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.47/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.47/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.47/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c gomory : 36.80 0.00 2 0 0 0 2 2 0 1 1 0 0
3584.47/3597.01 c > gomorymi : - - - - - - - 1 0 1 1 0 -
3584.47/3597.01 c > strongcg : - - - - - - - 1 0 0 0 0 -
3584.47/3597.01 c impliedbounds : 0.06 0.00 2 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c multilinear : 0.00 0.00 3 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c rlt : 0.00 0.00 1 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c zerohalf : 0.48 0.00 2 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.47/3597.01 c hybrid : 0.00 0.00 1 0 1 0 1 0 0 0
3584.47/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3584.47/3597.01 c problem variables: 0.00 - 0 0
3584.47/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.47/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c inference : 0.01 0.00 0 0 5 0 0 0 0 10
3584.47/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c relpscost : 0.09 0.00 28 0 0 0 0 0 0 56
3584.47/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.47/3597.01 c LP solutions : 0.00 - - 0 0
3584.47/3597.01 c relax solutions : 0.00 - - 0 0
3584.47/3597.01 c pseudo solutions : 0.00 - - 0 0
3584.47/3597.01 c strong branching : 0.00 - - 0 0
3584.47/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c adaptivediving : 0.00 0.00 0 0 0
3584.47/3597.01 c alns : 0.00 0.00 0 0 0
3584.47/3597.01 c bound : 0.00 0.00 0 0 0
3584.47/3597.01 c clique : 0.83 0.00 1 0 0
3584.47/3597.01 c coefdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c completesol : 0.00 0.00 0 0 0
3584.47/3597.01 c conflictdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c crossover : 0.00 0.00 0 0 0
3584.47/3597.01 c dins : 0.00 0.00 0 0 0
3584.47/3597.01 c distributiondivin: 0.01 0.00 0 0 0
3584.47/3597.01 c dps : 0.00 0.00 0 0 0
3584.47/3597.01 c dualval : 0.00 0.00 0 0 0
3584.47/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c feasjump : 0.90 0.00 1 0 0
3584.47/3597.01 c feaspump : 51.89 0.00 1 0 0
3584.47/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3584.47/3597.01 c fracdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c gins : 0.00 0.00 0 0 0
3584.47/3597.01 c guideddiving : 0.00 0.00 0 0 0
3584.47/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c indicator : 0.00 0.00 0 0 0
3584.47/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3584.47/3597.01 c indoneopt : 0.00 0.00 0 0 0
3584.47/3597.01 c indrounding : 0.00 0.00 0 0 0
3584.47/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3584.47/3597.01 c intdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c intshifting : 0.00 0.00 0 0 0
3584.47/3597.01 c linesearchdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c localbranching : 0.00 0.00 0 0 0
3584.47/3597.01 c locks : 0.31 0.00 1 0 0
3584.47/3597.01 c lpface : 0.00 0.00 0 0 0
3584.47/3597.01 c mpec : 0.00 0.00 0 0 0
3584.47/3597.01 c multistart : 0.00 0.00 0 0 0
3584.47/3597.01 c mutation : 0.00 0.00 0 0 0
3584.47/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c objpscostdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c octane : 0.00 0.00 0 0 0
3584.47/3597.01 c ofins : 0.00 0.00 0 0 0
3584.47/3597.01 c oneopt : 0.00 0.00 0 0 0
3584.47/3597.01 c padm : 0.00 0.00 0 0 0
3584.47/3597.01 c proximity : 0.00 0.00 0 0 0
3584.47/3597.01 c pscostdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c randrounding : 0.00 0.00 1 0 0
3584.47/3597.01 c rens : 0.00 0.00 0 0 0
3584.47/3597.01 c reoptsols : 0.00 0.00 0 0 0
3584.47/3597.01 c repair : 0.00 0.00 0 0 0
3584.47/3597.01 c rins : 0.00 0.00 0 0 0
3584.47/3597.01 c rootsoldiving : 0.00 0.00 0 0 0
3584.47/3597.01 c rounding : 0.43 0.00 29 0 0
3584.47/3597.01 c scheduler : 0.00 0.00 0 0 0
3584.47/3597.01 c shiftandpropagate: 0.81 0.00 1 0 0
3584.47/3597.01 c shifting : 0.45 0.00 4 0 0
3584.47/3597.01 c simplerounding : 0.00 0.00 29 0 0
3584.47/3597.01 c smallcard : 0.00 0.00 0 0 0
3584.47/3597.01 c subnlp : 0.00 0.00 0 0 0
3584.47/3597.01 c trivial : 0.01 0.00 2 0 0
3584.47/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3584.47/3597.01 c trustregion : 0.00 0.00 0 0 0
3584.47/3597.01 c trysol : 0.00 0.00 0 0 0
3584.47/3597.01 c twoopt : 0.00 0.00 0 0 0
3584.47/3597.01 c undercover : 0.00 0.00 0 0 0
3584.47/3597.01 c vbounds : 3.54 0.00 1 0 0
3584.47/3597.01 c veclendiving : 0.00 0.00 0 0 0
3584.47/3597.01 c zeroobj : 0.00 0.00 0 0 0
3584.47/3597.01 c zirounding : 0.14 0.00 28 0 0
3584.47/3597.01 c other solutions : - - - 0 -
3584.47/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.47/3597.01 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.47/3597.01 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.47/3597.01 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.47/3597.01 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.47/3597.01 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.47/3597.01 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.47/3597.01 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.47/3597.01 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.47/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3584.47/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.47/3597.01 c primal LP : 3.07 1 0 0.00 0.00 3.07 1
3584.47/3597.01 c dual LP : 3461.85 75 1067696 16682.75 308.42 0.30 11
3584.47/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3584.47/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.47/3597.01 c resolve instable : 1521.52 12 451261 37605.08 296.59
3584.47/3597.01 c diving/probing LP: 51.55 42 106987 2547.31 2075.33
3584.47/3597.01 c strong branching : 0.00 0 0 0.00 - - - 0
3584.47/3597.01 c (at root node) : - 0 0 0.00 -
3584.47/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3584.47/3597.01 c B&B Tree :
3584.47/3597.01 c number of runs : 1
3584.47/3597.01 c nodes : 40 (33 internal, 7 leaves)
3584.47/3597.01 c feasible leaves : 0
3584.47/3597.01 c infeas. leaves : 6
3584.47/3597.01 c objective leaves : 0
3584.47/3597.01 c nodes (total) : 40 (33 internal, 7 leaves)
3584.47/3597.01 c nodes left : 28
3584.47/3597.01 c max depth : 33
3584.47/3597.01 c max depth (total): 33
3584.47/3597.01 c backtracks : 2 (5.0%)
3584.47/3597.01 c early backtracks : 0 (0.0%)
3584.47/3597.01 c nodes exc. ref. : 0 (0.0%)
3584.47/3597.01 c delayed cutoffs : 0
3584.47/3597.01 c repropagations : 10 (460 domain reductions, 0 cutoffs)
3584.47/3597.01 c avg switch length: 1.45
3584.47/3597.01 c switching time : 3.11
3584.47/3597.01 c Root Node :
3584.47/3597.01 c First LP value : -
3584.47/3597.01 c First LP Iters : 0
3584.47/3597.01 c First LP Time : 102.13
3584.47/3597.01 c Final Dual Bound : +0.00000000000000e+00
3584.47/3597.01 c Final Root Iters : 33577
3584.47/3597.01 c Root LP Estimate : -
3584.47/3597.01 c Solution :
3584.47/3597.01 c Solutions found : 0 (0 improvements)
3584.47/3597.01 c Primal Bound : -
3584.47/3597.01 c Dual Bound : +0.00000000000000e+00
3584.47/3597.01 c Gap : infinite
3584.47/3597.01 c Integrals : Total Avg%
3584.47/3597.01 c primal-dual : 359700.26 100.00
3584.47/3597.01 c primal-ref : - - (not evaluated)
3584.47/3597.01 c dual-ref : - - (not evaluated)
3584.66/3597.23 c Time complete: 3584.71.
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 (62401 MiB free)
memory of node 1: 64473 MiB (60516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452215-1721438511/watcher-4452215-1721438511 -o /tmp/evaluation-result-4452215-1721438511/solver-4452215-1721438511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036356 --watchdog 3760 pbscip -f HOME/instance-4452215-1721438511.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
solver pid=1039107, runsolver pid=1039104
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.11 4.09 4.09 5/256 1039108
/proc/meminfo: memFree=125825028/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=100904 memory=59184 CPUtime=0.09 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 11938 0 0 0 8 1 0 0 20 0 1 0 196016085 103325696 14796 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 25226 14796 3204 3540 0 13483 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100904 KiB
Current children cumulated memory: 59184 KiB
[startup+0.20536 s]*
/proc/loadavg: 4.11 4.09 4.09 5/256 1039108
/proc/meminfo: memFree=125781796/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=143992 memory=104176 CPUtime=0.2 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 23393 0 0 0 17 3 0 0 20 0 1 0 196016085 147447808 26044 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 35998 26044 3491 3540 0 24255 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 143992 KiB
Current children cumulated memory: 104176 KiB
[startup+0.305329 s]*
/proc/loadavg: 4.11 4.09 4.09 5/256 1039108
/proc/meminfo: memFree=125722548/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=202416 memory=160752 CPUtime=0.29 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 37725 0 0 0 25 4 0 0 20 0 1 0 196016085 207273984 40122 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 50604 40122 3523 3540 0 38861 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 202416 KiB
Current children cumulated memory: 160752 KiB
[startup+0.700231 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 1039108
/proc/meminfo: memFree=125703928/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=253776 memory=211896 CPUtime=0.69 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 53478 0 0 0 61 8 0 0 20 0 1 0 196016085 259866624 52974 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 63444 52974 3714 3540 0 51701 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 253776 KiB
Current children cumulated memory: 211896 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 1039108
/proc/meminfo: memFree=125657856/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=268064 memory=224092 CPUtime=1.49 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 63033 0 0 0 139 10 0 0 20 0 1 0 196016085 274497536 56023 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 67016 56023 3714 3540 0 55273 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 268064 KiB
Current children cumulated memory: 224092 KiB
[startup+3.10532 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 1039110
/proc/meminfo: memFree=125650700/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=275108 memory=231300 CPUtime=3.08 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 64868 0 0 0 298 10 0 0 20 0 1 0 196016085 281710592 57825 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 68777 57825 3762 3540 0 57034 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 275108 KiB
Current children cumulated memory: 231300 KiB
[startup+6.30023 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 1039110
/proc/meminfo: memFree=125637396/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=288796 memory=244316 CPUtime=6.26 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 66605 0 0 0 616 10 0 0 20 0 1 0 196016085 295727104 61079 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 72199 61079 3762 3540 0 60456 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 288796 KiB
Current children cumulated memory: 244316 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.08 5/256 1039111
/proc/meminfo: memFree=125636272/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=289820 memory=245324 CPUtime=12.65 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 66873 0 0 0 1254 11 0 0 20 0 1 0 196016085 296775680 61331 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 72455 61331 3762 3540 0 60712 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 289820 KiB
Current children cumulated memory: 245324 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.08 5/256 1039113
/proc/meminfo: memFree=125627364/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=289820 memory=245556 CPUtime=25.4 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 66889 0 0 0 2529 11 0 0 20 0 1 0 196016085 296775680 61389 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 72455 61389 3762 3540 0 60712 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 289820 KiB
Current children cumulated memory: 245556 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 1039116
/proc/meminfo: memFree=125283332/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=667808 memory=584408 CPUtime=50.92 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 114690 0 0 0 5069 23 0 0 20 0 1 0 196016085 683835392 146102 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 166952 146102 3954 3540 0 155209 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 667808 KiB
Current children cumulated memory: 584408 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1039128
/proc/meminfo: memFree=125274316/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=670192 memory=587024 CPUtime=101.94 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 115334 0 0 0 10171 23 0 0 20 0 1 0 196016085 686276608 146756 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 167548 146756 3954 3540 0 155805 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 670192 KiB
Current children cumulated memory: 587024 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1039139
/proc/meminfo: memFree=125259772/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=675740 memory=591600 CPUtime=161.73 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 115996 0 0 0 16150 23 0 0 20 0 1 0 196016085 691957760 147900 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 168935 147900 3954 3540 0 157192 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 675740 KiB
Current children cumulated memory: 591600 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/257 1039531
/proc/meminfo: memFree=125247816/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=675740 memory=591600 CPUtime=221.53 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 116007 0 0 0 22129 24 0 0 20 0 1 0 196016085 691957760 147900 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 168935 147900 3954 3540 0 157192 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 675740 KiB
Current children cumulated memory: 591600 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 1039541
/proc/meminfo: memFree=125207260/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=687852 memory=601800 CPUtime=281.32 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 117608 0 0 0 28107 25 0 0 20 0 1 0 196016085 704360448 150450 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 171963 150450 3954 3540 0 160220 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 687852 KiB
Current children cumulated memory: 601800 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 1039552
/proc/meminfo: memFree=125183500/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=687852 memory=602044 CPUtime=341.11 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 117756 0 0 0 34086 25 0 0 20 0 1 0 196016085 704360448 150511 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 171963 150511 3954 3540 0 160220 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 687852 KiB
Current children cumulated memory: 602044 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/257 1039732
/proc/meminfo: memFree=125181808/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=687852 memory=602044 CPUtime=400.9 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 118028 0 0 0 40064 26 0 0 20 0 1 0 196016085 704360448 150511 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 171963 150511 3954 3540 0 160220 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 687852 KiB
Current children cumulated memory: 602044 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 1039742
/proc/meminfo: memFree=125174264/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=687852 memory=602268 CPUtime=460.69 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 118042 0 0 0 46042 27 0 0 20 0 1 0 196016085 704360448 150567 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 171963 150567 3986 3540 0 160220 0
################
# More data... #
################
/proc/loadavg: 4.14 4.13 4.13 5/256 1040905
/proc/meminfo: memFree=124988216/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=729284 memory=649084 CPUtime=3151.32 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 125864 0 0 0 315087 45 0 0 20 0 1 0 196016085 746786816 162271 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 182321 162271 3986 3540 0 170578 0
Current children cumulated CPU time: 3151.32 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 649084 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/254 1040915
/proc/meminfo: memFree=124981684/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=729284 memory=649084 CPUtime=3211.13 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 125939 0 0 0 321068 45 0 0 20 0 1 0 196016085 746786816 162271 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 182321 162271 3986 3540 0 170578 0
Current children cumulated CPU time: 3211.13 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 649084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/254 1040925
/proc/meminfo: memFree=124921864/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=729284 memory=649084 CPUtime=3270.91 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 126036 0 0 0 327046 45 0 0 20 0 1 0 196016085 746786816 162271 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 182321 162271 3986 3540 0 170578 0
Current children cumulated CPU time: 3270.91 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 649084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/254 1040936
/proc/meminfo: memFree=124902972/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=733544 memory=651260 CPUtime=3330.7 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 126654 0 0 0 333025 45 0 0 20 0 1 0 196016085 751149056 162815 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 183386 162815 3986 3540 0 171643 0
Current children cumulated CPU time: 3330.7 s
Current children cumulated vsize: 733544 KiB
Current children cumulated memory: 651260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/254 1040946
/proc/meminfo: memFree=124899836/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=733544 memory=653460 CPUtime=3390.48 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 127305 0 0 0 339003 45 0 0 20 0 1 0 196016085 751149056 163365 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 183386 163365 3986 3540 0 171643 0
Current children cumulated CPU time: 3390.48 s
Current children cumulated vsize: 733544 KiB
Current children cumulated memory: 653460 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/254 1040956
/proc/meminfo: memFree=124896440/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=733544 memory=653472 CPUtime=3450.26 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 127484 0 0 0 344981 45 0 0 20 0 1 0 196016085 751149056 163368 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 183386 163368 3986 3540 0 171643 0
Current children cumulated CPU time: 3450.26 s
Current children cumulated vsize: 733544 KiB
Current children cumulated memory: 653472 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/257 1040971
/proc/meminfo: memFree=124846040/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=783640 memory=703352 CPUtime=3510.05 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 138681 0 0 0 350958 47 0 0 20 0 1 0 196016085 802447360 175838 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 195910 175838 4002 3540 0 184167 0
Current children cumulated CPU time: 3510.05 s
Current children cumulated vsize: 783640 KiB
Current children cumulated memory: 703352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/257 1041119
/proc/meminfo: memFree=125526428/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=783640 memory=703352 CPUtime=3569.82 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 138748 0 0 0 356935 47 0 0 20 0 1 0 196016085 802447360 175838 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 195910 175838 4002 3540 0 184167 0
Current children cumulated CPU time: 3569.82 s
Current children cumulated vsize: 783640 KiB
Current children cumulated memory: 703352 KiB
[startup+3597.24 s]
# the end of solver process 1039107 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.23 s, system=0.487599 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.11 4.10 5/257 1041119
/proc/meminfo: memFree=125526464/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=783640 memory=703352 CPUtime=3571.52 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 138748 0 0 0 357105 47 0 0 20 0 1 0 196016085 802447360 175838 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 195910 175838 4002 3540 0 184167 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 783640 KiB
Current children cumulated memory: 703352 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.11 4.10 5/257 1041119
/proc/meminfo: memFree=125526484/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=783640 memory=703352 CPUtime=3577.89 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 138749 0 0 0 357742 47 0 0 20 0 1 0 196016085 802447360 175838 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 195910 175838 4002 3540 0 184167 0
Current children cumulated CPU time: 3577.89 s
Current children cumulated vsize: 783640 KiB
Current children cumulated memory: 703352 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.11 4.10 5/257 1041120
/proc/meminfo: memFree=125526492/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=783640 memory=703352 CPUtime=3581.08 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 138749 0 0 0 358061 47 0 0 20 0 1 0 196016085 802447360 175838 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 195910 175838 4002 3540 0 184167 0
Current children cumulated CPU time: 3581.08 s
Current children cumulated vsize: 783640 KiB
Current children cumulated memory: 703352 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.11 4.10 5/257 1041121
/proc/meminfo: memFree=125526408/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=783640 memory=703352 CPUtime=3582.67 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 138749 0 0 0 358220 47 0 0 20 0 1 0 196016085 802447360 175838 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 195910 175838 4002 3540 0 184167 0
Current children cumulated CPU time: 3582.67 s
Current children cumulated vsize: 783640 KiB
Current children cumulated memory: 703352 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.11 4.10 5/257 1041121
/proc/meminfo: memFree=125526408/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=783640 memory=703352 CPUtime=3583.47 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 138749 0 0 0 358300 47 0 0 20 0 1 0 196016085 802447360 175838 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 195910 175838 4002 3540 0 184167 0
Current children cumulated CPU time: 3583.47 s
Current children cumulated vsize: 783640 KiB
Current children cumulated memory: 703352 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.10 5/257 1041121
/proc/meminfo: memFree=125526408/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=783640 memory=703352 CPUtime=3584.27 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 138749 0 0 0 358380 47 0 0 20 0 1 0 196016085 802447360 175838 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 195910 175838 4002 3540 0 184167 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 783640 KiB
Current children cumulated memory: 703352 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.10 4.10 5/257 1041121
/proc/meminfo: memFree=125526408/131524600 swapFree=131070704/131071996
[pid=1039107] ppid=1039104 vsize=762924 memory=682960 CPUtime=3584.66 cores=0,2
/proc/1039107/stat : 1039107 (pbscip) R 1039104 1039107 1036346 0 -1 4194304 138879 0 0 0 358419 47 0 0 20 0 1 0 196016085 781234176 170740 134679101440 4194304 18693293 140736124536896 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53817344 140736124544002 140736124544101 140736124544101 140736124551118 0
/proc/1039107/statm: 190731 170740 4002 3540 0 178988 0
Current children cumulated CPU time: 3584.66 s
Current children cumulated vsize: 762924 KiB
Current children cumulated memory: 682960 KiB
Child status: 0
Real time (s): 3597.24
CPU time (s): 3584.71
CPU user time (s): 3584.23
CPU system time (s): 0.487599
CPU usage (%): 99.6518
Max. virtual memory (cumulated for all children) (KiB): 783640
Max. memory (cumulated for all children) (KiB): 703352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.23
system time used= 0.487599
maximum resident set size= 703352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139157
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= 26
involuntary context switches= 25310
# summary of solver processes directly reported to runsolver:
# pid: 1039107
# total CPU time (s): 3584.71
# total CPU user time (s): 3584.23
# total CPU system time (s): 0.487599
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69609 second user time and 15.825 second system time
The end