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-4432889-1721143655.opb>
6.27/6.32 c original problem has 1000400 variables (1000400 bin, 0 int, 0 impl, 0 cont) and 2000307 constraints
6.27/6.32 c problem read in 6.32
12.16/12.28 c presolving:
16.73/16.80 c (round 1, fast) 15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 101 clqs
21.41/21.50 c (21.5s) running MILP presolver
25.31/25.48 c (25.5s) MILP presolver found nothing
32.98/33.12 c (round 2, exhaustive) 15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 101 clqs
52.11/52.36 c (round 3, medium) 15150 del vars, 1009803 del conss, 2910600 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
68.15/68.44 c (round 4, exhaustive) 15150 del vars, 4900503 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
83.78/84.19 c (round 5, exhaustive) 500250 del vars, 5385603 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
86.97/87.39 c (round 6, exhaustive) 500250 del vars, 5390553 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
96.53/96.96 c (96.9s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
96.53/96.96 c (96.9s) probing aborted: 50/50 successive totally useless probings
96.53/96.96 c (96.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
98.02/98.44 c (98.4s) no symmetry present (symcode time: 0.57)
98.62/99.07 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
98.62/99.07 c 500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
98.62/99.07 c 0 implications, 1455401 cliques
98.62/99.07 c presolved problem has 500150 variables (500150 bin, 0 int, 0 impl, 0 cont) and 500454 constraints
98.62/99.07 c 5250 constraints of type <knapsack>
98.62/99.07 c 101 constraints of type <setppc>
98.62/99.07 c 490050 constraints of type <and>
98.62/99.07 c 3 constraints of type <linear>
98.62/99.07 c 5050 constraints of type <logicor>
98.62/99.07 c transformed objective value is always integral (scale: 2)
98.62/99.07 c Presolving Time: 87.17
98.62/99.07 c - non default parameters ----------------------------------------------------------------------
98.62/99.07 c # SCIP version 10.0.0
98.62/99.07 c
98.62/99.07 c # maximal time in seconds to run
98.62/99.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
98.62/99.07 c limits/time = 3596.998047
98.62/99.07 c
98.62/99.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
98.62/99.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
98.62/99.07 c limits/memory = 27900
98.62/99.07 c
98.62/99.07 c # belongs reading time to solving time?
98.62/99.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
98.62/99.07 c timing/reading = TRUE
98.62/99.07 c
98.62/99.07 c -----------------------------------------------------------------------------------------------
98.62/99.07 c start solving
98.82/99.22 c
3582.43/3598.62 c
3582.43/3598.62 c SCIP Status : solving was interrupted [time limit reached]
3582.43/3598.62 c Solving Time (sec) : 3598.59
3582.43/3598.62 c Solving Nodes : 1
3582.43/3598.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3582.43/3598.62 c Dual Bound : -1.50000000000000e+01
3582.43/3598.62 c Gap : infinite
3582.43/3598.62 s UNKNOWN
3582.43/3598.62 c SCIP Status : solving was interrupted [time limit reached]
3582.43/3598.62 c Total Time : 3598.59
3582.43/3598.62 c solving : 3598.59
3582.43/3598.62 c presolving : 87.17 (included in solving)
3582.43/3598.62 c reading : 6.32 (included in solving)
3582.43/3598.62 c copying : 0.00 (0 times copied the problem)
3582.43/3598.62 c Original Problem :
3582.43/3598.62 c Problem name : HOME/instance-4432889-1721143655.opb
3582.43/3598.62 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3582.43/3598.62 c Constraints : 2000307 initial, 2000307 maximal
3582.43/3598.64 c Objective : minimize, 29800 non-zeros (abs.min = 1, abs.max = 1.43878e+08)
3582.43/3598.64 c Presolved Problem :
3582.43/3598.64 c Problem name : t_HOME/instance-4432889-1721143655.opb
3582.43/3598.64 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
3582.43/3598.64 c Constraints : 500454 initial, 500456 maximal
3582.43/3598.65 c Objective : minimize, 14850 non-zeros (abs.min = 16, abs.max = 1.43878e+08)
3582.43/3598.65 c Nonzeros : 2035450 constraint, 2910900 clique table
3582.43/3598.65 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3582.43/3598.65 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c gateextraction : 14.92 0.00 4 0 0 0 0 0 3890700 980100 0 0
3582.43/3598.65 c implics : 0.09 0.00 6 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c milp : 8.35 0.00 1 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c trivial : 0.20 0.00 7 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c dualfix : 0.18 0.00 7 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c probing : 6.97 0.02 1 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c pseudoobj : 0.01 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c symmetry : 1.47 0.00 1 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c vbounds : 1.47 0.00 2 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c knapsack : 12.83 0.02 13 0 0 0 0 0 980100 2910600 0 0
3582.43/3598.65 c setppc : 5.09 0.00 13 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c and : 16.50 0.00 6 0 485100 0 0 0 490050 0 0 0
3582.43/3598.65 c linear : 9.84 1.34 9 300 14850 0 300 0 29703 0 4950 14850
3582.43/3598.65 c logicor : 2.20 0.01 11 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c components : 0.49 0.00 1 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c root node : - - - 0 - - 0 - - - - -
3582.43/3598.65 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3582.43/3598.65 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3582.43/3598.65 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3582.43/3598.65 c knapsack : 5250 5250 0 353634 0 0 0 3 0 3 0 0 0 0 0
3582.43/3598.65 c setppc : 101 101 0 348008 0 0 0 1 92 0 0 0 0 0 0
3582.43/3598.65 c and : 490050 490050 0 353631 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c linear : 3 3 0 353631 0 0 0 3 0 1 0 0 0 0 0
3582.43/3598.65 c logicor : 5050+ 5052 0 6650 0 0 0 0 94 0 0 0 0 0 0
3582.43/3598.65 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3582.43/3598.65 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c knapsack : 0.28 0.02 0.02 0.25 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c setppc : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c and : 3323.38 0.00 1.68 3321.70 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c linear : 1.47 1.34 0.00 0.12 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c logicor : 0.08 0.01 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c fixedvar : 0.04 0.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c components : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c Propagators : #Propagate #ResProp Cutoffs DomReds
3582.43/3598.65 c dualfix : 1 0 0 0
3582.43/3598.65 c genvbounds : 0 0 0 0
3582.43/3598.65 c nlobbt : 0 0 0 0
3582.43/3598.65 c obbt : 0 0 0 0
3582.43/3598.65 c probing : 0 0 0 0
3582.43/3598.65 c pseudoobj : 1 0 0 0
3582.43/3598.65 c redcost : 0 0 0 0
3582.43/3598.65 c rootredcost : 0 0 0 0
3582.43/3598.65 c symmetry : 0 0 0 0
3582.43/3598.65 c vbounds : 10435 0 0 0
3582.43/3598.65 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3582.43/3598.65 c dualfix : 0.20 0.00 0.18 0.02 0.00 0.00
3582.43/3598.65 c genvbounds : 0.09 0.00 0.00 0.09 0.00 0.00
3582.43/3598.65 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3582.43/3598.65 c probing : 6.99 0.02 6.97 0.00 0.00 0.00
3582.43/3598.65 c pseudoobj : 33.55 0.00 0.01 33.55 0.00 0.00
3582.43/3598.65 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3582.43/3598.65 c rootredcost : 0.07 0.00 0.00 0.07 0.00 0.00
3582.43/3598.65 c symmetry : 1.63 0.00 1.47 0.16 0.00 0.00
3582.43/3598.65 c vbounds : 1.74 0.00 1.47 0.26 0.00 0.00
3582.43/3598.65 c Symmetry :
3582.43/3598.65 c orbitopal red. : 0 reductions applied, 0 cutoffs
3582.43/3598.65 c orbital reduction: 0 reductions applied, 0 cutoffs
3582.43/3598.65 c lexicographic red: 0 reductions applied, 0 cutoffs
3582.43/3598.65 c shadow tree time : 0.00 s
3582.43/3598.65 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3582.43/3598.65 c propagation : 0.02 2 2 - 2 2713.5 0 0.0 - - -
3582.43/3598.65 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3582.43/3598.65 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3582.43/3598.65 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3582.43/3598.65 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3582.43/3598.65 c applied globally : 0.00 - - 0 2 2713.5 - - 0 - -
3582.43/3598.65 c applied locally : - - - 0 0 0.0 - - 0 - -
3582.43/3598.65 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3582.43/3598.65 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3582.43/3598.65 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c > cmir : - - - - - - - 0 0 0 0 0 -
3582.43/3598.65 c > flowcover : - - - - - - - 0 0 0 0 0 -
3582.43/3598.65 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3582.43/3598.65 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3582.43/3598.65 c > strongcg : - - - - - - - 0 0 0 0 0 -
3582.43/3598.65 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.43/3598.65 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3582.43/3598.65 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c Pricers : ExecTime SetupTime Calls Vars
3582.43/3598.65 c problem variables: 0.00 - 0 0
3582.43/3598.65 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3582.43/3598.65 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3582.43/3598.65 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3582.43/3598.65 c LP solutions : 0.00 - - 0 0
3582.43/3598.65 c relax solutions : 0.00 - - 0 0
3582.43/3598.65 c pseudo solutions : 0.00 - - 0 0
3582.43/3598.65 c strong branching : 0.00 - - 0 0
3582.43/3598.65 c actconsdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c adaptivediving : 0.00 0.00 0 0 0
3582.43/3598.65 c alns : 0.00 0.00 0 0 0
3582.43/3598.65 c bound : 0.00 0.00 0 0 0
3582.43/3598.65 c clique : 192.86 0.00 1 0 0
3582.43/3598.65 c coefdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c completesol : 0.00 0.00 0 0 0
3582.43/3598.65 c conflictdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c crossover : 0.00 0.00 0 0 0
3582.43/3598.65 c dins : 0.00 0.00 0 0 0
3582.43/3598.65 c distributiondivin: 0.00 0.00 0 0 0
3582.43/3598.65 c dps : 0.00 0.00 0 0 0
3582.43/3598.65 c dualval : 0.00 0.00 0 0 0
3582.43/3598.65 c farkasdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c feasjump : 0.00 0.00 0 0 0
3582.43/3598.65 c feaspump : 0.00 0.00 0 0 0
3582.43/3598.65 c fixandinfer : 0.00 0.00 0 0 0
3582.43/3598.65 c fracdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c gins : 0.00 0.00 0 0 0
3582.43/3598.65 c guideddiving : 0.00 0.00 0 0 0
3582.43/3598.65 c indcoefdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c indicator : 0.00 0.00 0 0 0
3582.43/3598.65 c indicatordiving : 0.00 0.00 0 0 0
3582.43/3598.65 c indoneopt : 0.00 0.00 0 0 0
3582.43/3598.65 c indrounding : 0.00 0.00 0 0 0
3582.43/3598.65 c indtwoopt : 0.00 0.00 0 0 0
3582.43/3598.65 c intdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c intshifting : 0.00 0.00 0 0 0
3582.43/3598.65 c linesearchdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c localbranching : 0.00 0.00 0 0 0
3582.43/3598.65 c locks : 70.64 0.00 1 0 0
3582.43/3598.65 c lpface : 0.00 0.00 0 0 0
3582.43/3598.65 c mpec : 0.00 0.00 0 0 0
3582.43/3598.65 c multistart : 0.00 0.00 0 0 0
3582.43/3598.65 c mutation : 0.00 0.00 0 0 0
3582.43/3598.65 c nlpdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c objpscostdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c octane : 0.00 0.00 0 0 0
3582.43/3598.65 c ofins : 0.00 0.00 0 0 0
3582.43/3598.65 c oneopt : 0.00 0.00 0 0 0
3582.43/3598.65 c padm : 0.00 0.00 0 0 0
3582.43/3598.65 c proximity : 0.00 0.00 0 0 0
3582.43/3598.65 c pscostdiving : 0.00 0.00 0 0 0
3582.43/3598.65 c randrounding : 0.00 0.00 0 0 0
3582.43/3598.65 c rens : 0.00 0.00 0 0 0
3582.43/3598.65 c reoptsols : 0.00 0.00 0 0 0
3582.43/3598.65 c repair : 0.00 0.00 0 0 0
3582.43/3598.65 c rins : 0.00 0.00 0 0 0
3582.43/3598.65 c rootsoldiving : 0.00 0.00 0 0 0
3582.43/3598.65 c rounding : 0.00 0.00 0 0 0
3582.43/3598.65 c scheduler : 0.00 0.00 0 0 0
3582.43/3598.65 c shiftandpropagate: 0.00 0.00 0 0 0
3582.43/3598.65 c shifting : 0.00 0.00 0 0 0
3582.43/3598.65 c simplerounding : 0.00 0.00 0 0 0
3582.43/3598.65 c smallcard : 0.00 0.00 0 0 0
3582.43/3598.65 c subnlp : 0.00 0.00 0 0 0
3582.43/3598.65 c trivial : 0.54 0.00 2 0 0
3582.43/3598.65 c trivialnegation : 0.00 0.00 0 0 0
3582.43/3598.65 c trustregion : 0.00 0.00 0 0 0
3582.43/3598.65 c trysol : 0.00 0.00 0 0 0
3582.43/3598.65 c twoopt : 0.00 0.00 0 0 0
3582.43/3598.65 c undercover : 0.00 0.00 0 0 0
3582.43/3598.65 c vbounds : 3202.05 0.00 1 0 0
3582.43/3598.65 c veclendiving : 0.00 0.00 0 0 0
3582.43/3598.65 c zeroobj : 0.00 0.00 0 0 0
3582.43/3598.65 c zirounding : 0.00 0.00 0 0 0
3582.43/3598.65 c other solutions : - - - 0 -
3582.43/3598.65 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3582.43/3598.65 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.43/3598.65 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.43/3598.65 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.43/3598.65 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.43/3598.65 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.43/3598.65 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.43/3598.65 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.43/3598.65 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.43/3598.65 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
3582.43/3598.65 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3582.43/3598.65 c primal LP : 0.00 0 0 0.00 - 0.00 0
3582.43/3598.65 c dual LP : 0.00 0 0 0.00 - 0.00 0
3582.43/3598.65 c lex dual LP : 0.00 0 0 0.00 -
3582.43/3598.65 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3582.43/3598.65 c resolve instable : 0.00 0 0 0.00 -
3582.43/3598.65 c diving/probing LP: 0.00 0 0 0.00 -
3582.43/3598.65 c strong branching : 0.00 0 0 0.00 - - - 0
3582.43/3598.65 c (at root node) : - 0 0 0.00 -
3582.43/3598.65 c conflict analysis: 0.00 0 0 0.00 -
3582.43/3598.65 c B&B Tree :
3582.43/3598.65 c number of runs : 1
3582.43/3598.65 c nodes : 1 (0 internal, 1 leaves)
3582.43/3598.65 c feasible leaves : 0
3582.43/3598.65 c infeas. leaves : 0
3582.43/3598.65 c objective leaves : 0
3582.43/3598.65 c nodes (total) : 1 (0 internal, 1 leaves)
3582.43/3598.65 c nodes left : 1
3582.43/3598.65 c max depth : 0
3582.43/3598.65 c max depth (total): 0
3582.43/3598.65 c backtracks : 0 (0.0%)
3582.43/3598.65 c early backtracks : 0 (0.0%)
3582.43/3598.65 c nodes exc. ref. : 0 (0.0%)
3582.43/3598.65 c delayed cutoffs : 0
3582.43/3598.65 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3582.43/3598.65 c avg switch length: 1.00
3582.43/3598.65 c switching time : 0.00
3582.43/3598.65 c Root Node :
3582.43/3598.65 c First LP value : -
3582.43/3598.65 c First LP Iters : 0
3582.43/3598.65 c First LP Time : 0.00
3582.43/3598.65 c Final Dual Bound : -1.50000000000000e+01
3582.43/3598.65 c Final Root Iters : 0
3582.43/3598.65 c Root LP Estimate : -
3582.43/3598.65 c Solution :
3582.43/3598.65 c Solutions found : 0 (0 improvements)
3582.43/3598.65 c Primal Bound : -
3582.43/3598.65 c Dual Bound : -1.50000000000000e+01
3582.43/3598.65 c Gap : infinite
3582.43/3598.65 c Integrals : Total Avg%
3582.43/3598.65 c primal-dual : 359858.56 100.00
3582.43/3598.65 c primal-ref : - - (not evaluated)
3582.43/3598.65 c dual-ref : - - (not evaluated)
3591.00/3607.22 c Time complete: 3591.03.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58567 MiB free)
memory of node 1: 64510 MiB (53036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432889-1721143655/watcher-4432889-1721143655 -o /tmp/evaluation-result-4432889-1721143655/solver-4432889-1721143655 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721140065-857044 --watchdog 3760 pbscip -f HOME/instance-4432889-1721143655.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=859127, runsolver pid=859124
[startup+0.100092 s]*
/proc/loadavg: 4.35 4.33 4.18 7/256 859138
/proc/meminfo: memFree=114077288/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=106732 memory=65048 CPUtime=0.1 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 13337 0 0 0 9 1 0 0 20 0 1 0 166525818 109293568 16262 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 26683 16262 3264 3540 0 14940 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106732 KiB
Current children cumulated memory: 65048 KiB
[startup+0.205789 s]*
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=113869496/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=155260 memory=113848 CPUtime=0.2 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 25532 0 0 0 17 3 0 0 20 0 1 0 166525818 158986240 28462 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 38815 28462 3264 3540 0 27072 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 155260 KiB
Current children cumulated memory: 113848 KiB
[startup+0.305595 s]*
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=113679476/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=200904 memory=159196 CPUtime=0.3 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 36889 0 0 0 26 4 0 0 20 0 1 0 166525818 205725696 39799 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 50226 39799 3264 3540 0 38483 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 200904 KiB
Current children cumulated memory: 159196 KiB
[startup+0.700191 s]
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=113302108/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=375824 memory=334256 CPUtime=0.69 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 80622 0 0 0 58 11 0 0 20 0 1 0 166525818 384843776 83564 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 93956 83564 3264 3540 0 82213 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 375824 KiB
Current children cumulated memory: 334256 KiB
[startup+1.50022 s]
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=112472692/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=731112 memory=689532 CPUtime=1.48 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 168415 0 0 0 125 23 0 0 20 0 1 0 166525818 748658688 172383 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 182778 172383 3264 3540 0 171035 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 731112 KiB
Current children cumulated memory: 689532 KiB
[startup+3.10553 s]
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=110231092/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=1468064 memory=1425884 CPUtime=3.09 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 340250 0 0 0 259 50 0 0 20 0 1 0 166525818 1503297536 356471 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 367016 356471 3264 3540 0 355273 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1468064 KiB
Current children cumulated memory: 1425884 KiB
[startup+6.30017 s]
/proc/loadavg: 4.40 4.34 4.19 5/256 859139
/proc/meminfo: memFree=106895896/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=2063612 memory=2021580 CPUtime=6.27 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 477962 0 0 0 557 70 0 0 20 0 1 0 166525818 2113138688 505395 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 515903 505395 3264 3540 0 504160 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2063612 KiB
Current children cumulated memory: 2021580 KiB
[startup+12.7002 s]
/proc/loadavg: 4.37 4.33 4.19 5/256 859139
/proc/meminfo: memFree=101389052/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=4998292 memory=4918196 CPUtime=12.65 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1101594 0 0 0 1097 168 0 0 20 0 1 0 166525818 5118251008 1229549 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 1249573 1229549 3648 3540 0 1237830 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4998292 KiB
Current children cumulated memory: 4918196 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.33 4.19 5/257 859358
/proc/meminfo: memFree=96810328/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=5665840 memory=5563100 CPUtime=25.4 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1194925 0 0 0 2302 238 0 0 20 0 1 0 166525818 5801820160 1390775 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 1416460 1390775 3775 3540 0 1404717 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 5665840 KiB
Current children cumulated memory: 5563100 KiB
[startup+51.1056 s]
/proc/loadavg: 4.37 4.34 4.19 5/258 859362
/proc/meminfo: memFree=84652636/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=7879664 memory=7766540 CPUtime=50.92 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1551123 0 0 0 4783 309 0 0 20 0 1 0 166525818 8068775936 1941635 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 1969916 1941635 3823 3540 0 1958173 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 7879664 KiB
Current children cumulated memory: 7766540 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.32 4.19 5/258 859371
/proc/meminfo: memFree=78300004/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=8572624 memory=8235664 CPUtime=101.92 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1573132 0 0 0 9868 324 0 0 20 0 1 0 166525818 8778366976 2058916 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2143156 2058916 3839 3540 0 2131413 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 8572624 KiB
Current children cumulated memory: 8235664 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.27 4.18 5/259 859440
/proc/meminfo: memFree=73370716/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9541456 memory=9206012 CPUtime=161.69 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1732145 0 0 0 15808 361 0 0 20 0 1 0 166525818 9770450944 2301503 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2385364 2301503 3887 3540 0 2373621 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9206012 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.25 4.18 5/259 859452
/proc/meminfo: memFree=73222556/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9541456 memory=9206012 CPUtime=221.41 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1732540 0 0 0 21778 363 0 0 20 0 1 0 166525818 9770450944 2301503 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2385364 2301503 3887 3540 0 2373621 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9206012 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/259 859462
/proc/meminfo: memFree=73214324/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9543072 memory=9208208 CPUtime=281.13 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1733552 0 0 0 27748 365 0 0 20 0 1 0 166525818 9772105728 2302052 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2385768 2302052 3887 3540 0 2374025 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 9543072 KiB
Current children cumulated memory: 9208208 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/259 859473
/proc/meminfo: memFree=73172704/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9563188 memory=9228076 CPUtime=340.85 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1738143 0 0 0 33718 367 0 0 20 0 1 0 166525818 9792704512 2307019 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2390797 2307019 3887 3540 0 2379054 0
Current children cumulated CPU time: 340.85 s
Current children cumulated vsize: 9563188 KiB
Current children cumulated memory: 9228076 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/257 859485
/proc/meminfo: memFree=73070712/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9616340 memory=9280732 CPUtime=400.58 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1750392 0 0 0 39688 370 0 0 20 0 1 0 166525818 9847132160 2320183 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2404085 2320183 3887 3540 0 2392342 0
Current children cumulated CPU time: 400.58 s
Current children cumulated vsize: 9616340 KiB
Current children cumulated memory: 9280732 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/254 859495
/proc/meminfo: memFree=73068804/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9616340 memory=9280732 CPUtime=460.22 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1750595 0 0 0 45651 371 0 0 20 0 1 0 166525818 9847132160 2320183 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2404085 2320183 3887 3540 0 2392342 0
################
# More data... #
################
Current children cumulated memory: 9362672 KiB
[startup+3222.3 s]
/proc/loadavg: 4.44 4.17 4.12 5/256 860580
/proc/meminfo: memFree=56258976/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9702608 memory=9364880 CPUtime=3207.64 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1787239 0 0 0 320311 453 0 0 20 0 1 0 166525818 9935470592 2341220 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2425652 2341220 3887 3540 0 2413909 0
Current children cumulated CPU time: 3207.64 s
Current children cumulated vsize: 9702608 KiB
Current children cumulated memory: 9364880 KiB
[startup+3282.3 s]
/proc/loadavg: 4.27 4.17 4.12 5/256 860590
/proc/meminfo: memFree=56248212/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9705808 memory=9368112 CPUtime=3267.4 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1788482 0 0 0 326285 455 0 0 20 0 1 0 166525818 9938747392 2342028 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2426452 2342028 3887 3540 0 2414709 0
Current children cumulated CPU time: 3267.4 s
Current children cumulated vsize: 9705808 KiB
Current children cumulated memory: 9368112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/256 860600
/proc/meminfo: memFree=56239360/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9707412 memory=9369736 CPUtime=3327.16 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1789304 0 0 0 332259 457 0 0 20 0 1 0 166525818 9940389888 2342434 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2426853 2342434 3887 3540 0 2415110 0
Current children cumulated CPU time: 3327.16 s
Current children cumulated vsize: 9707412 KiB
Current children cumulated memory: 9369736 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/256 860613
/proc/meminfo: memFree=56228376/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9710612 memory=9372776 CPUtime=3386.92 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1790569 0 0 0 338233 459 0 0 20 0 1 0 166525818 9943666688 2343194 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2427653 2343194 3887 3540 0 2415910 0
Current children cumulated CPU time: 3386.92 s
Current children cumulated vsize: 9710612 KiB
Current children cumulated memory: 9372776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/255 861005
/proc/meminfo: memFree=56216288/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9712788 memory=9375184 CPUtime=3446.67 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1791573 0 0 0 344207 460 0 0 20 0 1 0 166525818 9945894912 2343796 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2428197 2343796 3887 3540 0 2416454 0
Current children cumulated CPU time: 3446.67 s
Current children cumulated vsize: 9712788 KiB
Current children cumulated memory: 9375184 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 861016
/proc/meminfo: memFree=56206712/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9715988 memory=9378352 CPUtime=3506.43 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1792864 0 0 0 350181 462 0 0 20 0 1 0 166525818 9949171712 2344588 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2428997 2344588 3887 3540 0 2417254 0
Current children cumulated CPU time: 3506.43 s
Current children cumulated vsize: 9715988 KiB
Current children cumulated memory: 9378352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/256 861027
/proc/meminfo: memFree=56199292/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9718740 memory=9381184 CPUtime=3566.19 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1794043 0 0 0 356155 464 0 0 20 0 1 0 166525818 9951989760 2345296 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2429685 2345296 3887 3540 0 2417942 0
Current children cumulated CPU time: 3566.19 s
Current children cumulated vsize: 9718740 KiB
Current children cumulated memory: 9381184 KiB
[startup+3607.35 s]
# the end of solver process 859127 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.25 s, system=4.90965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.10 5/256 861027
/proc/meminfo: memFree=56199348/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9718740 memory=9381184 CPUtime=3567.89 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1794061 0 0 0 356325 464 0 0 20 0 1 0 166525818 9951989760 2345296 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2429685 2345296 3887 3540 0 2417942 0
Current children cumulated CPU time: 3567.89 s
Current children cumulated vsize: 9718740 KiB
Current children cumulated memory: 9381184 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 861030
/proc/meminfo: memFree=56224768/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9719764 memory=9382196 CPUtime=3580.64 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1794453 0 0 0 357599 465 0 0 20 0 1 0 166525818 9953038336 2345549 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2429941 2345549 3887 3540 0 2418198 0
Current children cumulated CPU time: 3580.64 s
Current children cumulated vsize: 9719764 KiB
Current children cumulated memory: 9382196 KiB
[startup+3603.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 861030
/proc/meminfo: memFree=57227040/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9696208 memory=9360684 CPUtime=3587.02 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1818195 0 0 0 358234 468 0 0 20 0 1 0 166525818 9928916992 2340171 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2424052 2340171 3887 3540 0 2412309 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 9696208 KiB
Current children cumulated memory: 9360684 KiB
[startup+3604.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 861076
/proc/meminfo: memFree=65282432/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=9662476 memory=9328364 CPUtime=3588.61 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1822519 0 0 0 358393 468 0 0 20 0 1 0 166525818 9894375424 2332091 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2415619 2332091 3887 3540 0 2403876 0
Current children cumulated CPU time: 3588.61 s
Current children cumulated vsize: 9662476 KiB
Current children cumulated memory: 9328364 KiB
[startup+3606.4 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 861077
/proc/meminfo: memFree=65516672/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=8896560 memory=8562900 CPUtime=3590.2 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1826017 0 0 0 358550 470 0 0 20 0 1 0 166525818 9110077440 2140725 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2224140 2140725 3903 3540 0 2212397 0
Current children cumulated CPU time: 3590.2 s
Current children cumulated vsize: 8896560 KiB
Current children cumulated memory: 8562900 KiB
[startup+3606.8 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 861077
/proc/meminfo: memFree=65516672/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=8554376 memory=8220716 CPUtime=3590.6 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1826758 0 0 0 358589 471 0 0 20 0 1 0 166525818 8759681024 2055179 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 2138594 2055179 3903 3540 0 2126851 0
Current children cumulated CPU time: 3590.6 s
Current children cumulated vsize: 8554376 KiB
Current children cumulated memory: 8220716 KiB
[startup+3607.2 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 861077
/proc/meminfo: memFree=66659612/131524600 swapFree=131071996/131071996
[pid=859127] ppid=859124 vsize=6336496 memory=6183928 CPUtime=3591 cores=0,2
/proc/859127/stat : 859127 (pbscip) R 859124 859127 857034 0 -1 4194304 1828779 0 0 0 358624 476 0 0 20 0 1 0 166525818 6488571904 1545982 134679101440 4194304 18693293 140726738599488 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 59342848 140726738600964 140726738601063 140726738601063 140726738608078 0
/proc/859127/statm: 1584124 1545982 3903 3540 0 1572381 0
Current children cumulated CPU time: 3591 s
Current children cumulated vsize: 6336496 KiB
Current children cumulated memory: 6183928 KiB
[startup+3607.3 s]*
/proc/loadavg: 4.17 4.13 4.10 5/256 861077
/proc/meminfo: memFree=72283088/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3607.35
CPU time (s): 3591.16
CPU user time (s): 3586.25
CPU system time (s): 4.90965
CPU usage (%): 99.5512
Max. virtual memory (cumulated for all children) (KiB): 9768728
Max. memory (cumulated for all children) (KiB): 9433076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.25
system time used= 4.90965
maximum resident set size= 9433076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1828785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 24651
# summary of solver processes directly reported to runsolver:
# pid: 859127
# total CPU time (s): 3591.16
# total CPU user time (s): 3586.25
# total CPU system time (s): 4.90965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44381 second user time and 17.506 second system time
The end