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-4432884-1721144477.opb>
6.38/6.46 c original problem has 1000400 variables (1000400 bin, 0 int, 0 impl, 0 cont) and 2000307 constraints
6.38/6.46 c problem read in 6.46
12.56/12.61 c presolving:
17.05/17.12 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.73/21.85 c (21.8s) running MILP presolver
25.71/25.84 c (25.8s) MILP presolver found nothing
33.40/33.51 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.04/52.29 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
67.10/67.33 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
82.35/82.60 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
85.54/85.83 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
95.41/95.77 c (95.7s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
95.41/95.77 c (95.7s) probing aborted: 50/50 successive totally useless probings
95.41/95.77 c (95.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
96.81/97.15 c (97.1s) no symmetry present (symcode time: 0.52)
97.40/97.75 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
97.40/97.75 c 500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
97.40/97.75 c 0 implications, 1455401 cliques
97.40/97.75 c presolved problem has 500150 variables (500150 bin, 0 int, 0 impl, 0 cont) and 500454 constraints
97.40/97.75 c 5250 constraints of type <knapsack>
97.40/97.75 c 101 constraints of type <setppc>
97.40/97.75 c 490050 constraints of type <and>
97.40/97.75 c 3 constraints of type <linear>
97.40/97.75 c 5050 constraints of type <logicor>
97.40/97.75 c transformed objective value is always integral (scale: 2)
97.40/97.75 c Presolving Time: 85.53
97.40/97.75 c - non default parameters ----------------------------------------------------------------------
97.40/97.75 c # SCIP version 10.0.0
97.40/97.75 c
97.40/97.75 c # maximal time in seconds to run
97.40/97.75 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
97.40/97.75 c limits/time = 3596.99705
97.40/97.75 c
97.40/97.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
97.40/97.75 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
97.40/97.75 c limits/memory = 27900
97.40/97.75 c
97.40/97.75 c # belongs reading time to solving time?
97.40/97.75 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
97.40/97.75 c timing/reading = TRUE
97.40/97.75 c
97.40/97.75 c -----------------------------------------------------------------------------------------------
97.40/97.75 c start solving
97.50/97.89 c
3586.78/3598.55 c
3586.78/3598.55 c SCIP Status : solving was interrupted [time limit reached]
3586.78/3598.55 c Solving Time (sec) : 3598.52
3586.78/3598.55 c Solving Nodes : 1
3586.78/3598.55 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.78/3598.55 c Dual Bound : -1.50000000000000e+01
3586.78/3598.55 c Gap : infinite
3586.78/3598.55 s UNKNOWN
3586.78/3598.55 c SCIP Status : solving was interrupted [time limit reached]
3586.78/3598.55 c Total Time : 3598.52
3586.78/3598.55 c solving : 3598.52
3586.78/3598.55 c presolving : 85.53 (included in solving)
3586.78/3598.55 c reading : 6.46 (included in solving)
3586.78/3598.55 c copying : 0.00 (0 times copied the problem)
3586.78/3598.55 c Original Problem :
3586.78/3598.55 c Problem name : HOME/instance-4432884-1721144477.opb
3586.78/3598.55 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.78/3598.55 c Constraints : 2000307 initial, 2000307 maximal
3586.78/3598.58 c Objective : minimize, 29800 non-zeros (abs.min = 1, abs.max = 1.65469e+08)
3586.78/3598.58 c Presolved Problem :
3586.78/3598.58 c Problem name : t_HOME/instance-4432884-1721144477.opb
3586.78/3598.58 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.78/3598.58 c Constraints : 500454 initial, 500456 maximal
3586.78/3598.59 c Objective : minimize, 14850 non-zeros (abs.min = 25, abs.max = 1.65469e+08)
3586.78/3598.59 c Nonzeros : 2035450 constraint, 2910900 clique table
3586.78/3598.59 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.78/3598.59 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c gateextraction : 14.03 0.00 4 0 0 0 0 0 3890700 980100 0 0
3586.78/3598.59 c implics : 0.09 0.00 6 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c milp : 8.40 0.00 1 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c trivial : 0.20 0.00 7 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c dualfix : 0.18 0.00 7 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c probing : 7.17 0.02 1 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c pseudoobj : 0.01 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c symmetry : 1.39 0.00 1 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c vbounds : 1.49 0.00 2 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c knapsack : 12.71 0.02 13 0 0 0 0 0 980100 2910600 0 0
3586.78/3598.59 c setppc : 4.71 0.00 13 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c and : 16.29 0.00 6 0 485100 0 0 0 490050 0 0 0
3586.78/3598.59 c linear : 9.78 1.36 9 300 14850 0 300 0 29703 0 4950 14850
3586.78/3598.59 c logicor : 2.04 0.01 11 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c components : 0.47 0.00 1 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c root node : - - - 0 - - 0 - - - - -
3586.78/3598.59 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.78/3598.59 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3586.78/3598.59 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3586.78/3598.59 c knapsack : 5250 5250 0 389959 0 0 0 3 0 3 0 0 0 0 0
3586.78/3598.59 c setppc : 101 101 0 384333 0 0 0 1 92 0 0 0 0 0 0
3586.78/3598.59 c and : 490050 490050 0 389956 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c linear : 3 3 0 389956 0 0 0 3 0 1 0 0 0 0 0
3586.78/3598.59 c logicor : 5050+ 5052 0 6650 0 0 0 0 94 0 0 0 0 0 0
3586.78/3598.59 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.78/3598.59 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c knapsack : 0.28 0.02 0.02 0.25 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c setppc : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c and : 3336.87 0.00 1.77 3335.10 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c linear : 1.48 1.36 0.00 0.12 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c logicor : 0.08 0.01 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c fixedvar : 0.04 0.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c components : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.78/3598.59 c dualfix : 1 0 0 0
3586.78/3598.59 c genvbounds : 0 0 0 0
3586.78/3598.59 c nlobbt : 0 0 0 0
3586.78/3598.59 c obbt : 0 0 0 0
3586.78/3598.59 c probing : 0 0 0 0
3586.78/3598.59 c pseudoobj : 1 0 0 0
3586.78/3598.59 c redcost : 0 0 0 0
3586.78/3598.59 c rootredcost : 0 0 0 0
3586.78/3598.59 c symmetry : 0 0 0 0
3586.78/3598.59 c vbounds : 10862 0 0 0
3586.78/3598.59 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.78/3598.59 c dualfix : 0.20 0.00 0.18 0.01 0.00 0.00
3586.78/3598.59 c genvbounds : 0.10 0.00 0.00 0.10 0.00 0.00
3586.78/3598.59 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.78/3598.59 c probing : 7.18 0.02 7.17 0.00 0.00 0.00
3586.78/3598.59 c pseudoobj : 33.23 0.00 0.01 33.22 0.00 0.00
3586.78/3598.59 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.78/3598.59 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3586.78/3598.59 c symmetry : 1.52 0.00 1.39 0.14 0.00 0.00
3586.78/3598.59 c vbounds : 1.77 0.00 1.49 0.28 0.00 0.00
3586.78/3598.59 c Symmetry :
3586.78/3598.59 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.78/3598.59 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.78/3598.59 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.78/3598.59 c shadow tree time : 0.00 s
3586.78/3598.59 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.78/3598.59 c propagation : 0.02 2 2 - 2 2713.5 0 0.0 - - -
3586.78/3598.59 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.78/3598.59 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.78/3598.59 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.78/3598.59 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.78/3598.59 c applied globally : 0.00 - - 0 2 2713.5 - - 0 - -
3586.78/3598.59 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.78/3598.59 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.78/3598.59 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3586.78/3598.59 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.78/3598.59 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.78/3598.59 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.78/3598.59 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3586.78/3598.59 c > strongcg : - - - - - - - 0 0 0 0 0 -
3586.78/3598.59 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.78/3598.59 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.78/3598.59 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c Pricers : ExecTime SetupTime Calls Vars
3586.78/3598.59 c problem variables: 0.00 - 0 0
3586.78/3598.59 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.78/3598.59 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.78/3598.59 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.78/3598.59 c LP solutions : 0.00 - - 0 0
3586.78/3598.59 c relax solutions : 0.00 - - 0 0
3586.78/3598.59 c pseudo solutions : 0.00 - - 0 0
3586.78/3598.59 c strong branching : 0.00 - - 0 0
3586.78/3598.59 c actconsdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c adaptivediving : 0.00 0.00 0 0 0
3586.78/3598.59 c alns : 0.00 0.00 0 0 0
3586.78/3598.59 c bound : 0.00 0.00 0 0 0
3586.78/3598.59 c clique : 177.51 0.00 1 0 0
3586.78/3598.59 c coefdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c completesol : 0.00 0.00 0 0 0
3586.78/3598.59 c conflictdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c crossover : 0.00 0.00 0 0 0
3586.78/3598.59 c dins : 0.00 0.00 0 0 0
3586.78/3598.59 c distributiondivin: 0.00 0.00 0 0 0
3586.78/3598.59 c dps : 0.00 0.00 0 0 0
3586.78/3598.59 c dualval : 0.00 0.00 0 0 0
3586.78/3598.59 c farkasdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c feasjump : 0.00 0.00 0 0 0
3586.78/3598.59 c feaspump : 0.00 0.00 0 0 0
3586.78/3598.59 c fixandinfer : 0.00 0.00 0 0 0
3586.78/3598.59 c fracdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c gins : 0.00 0.00 0 0 0
3586.78/3598.59 c guideddiving : 0.00 0.00 0 0 0
3586.78/3598.59 c indcoefdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c indicator : 0.00 0.00 0 0 0
3586.78/3598.59 c indicatordiving : 0.00 0.00 0 0 0
3586.78/3598.59 c indoneopt : 0.00 0.00 0 0 0
3586.78/3598.59 c indrounding : 0.00 0.00 0 0 0
3586.78/3598.59 c indtwoopt : 0.00 0.00 0 0 0
3586.78/3598.59 c intdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c intshifting : 0.00 0.00 0 0 0
3586.78/3598.59 c linesearchdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c localbranching : 0.00 0.00 0 0 0
3586.78/3598.59 c locks : 63.33 0.00 1 0 0
3586.78/3598.59 c lpface : 0.00 0.00 0 0 0
3586.78/3598.59 c mpec : 0.00 0.00 0 0 0
3586.78/3598.59 c multistart : 0.00 0.00 0 0 0
3586.78/3598.59 c mutation : 0.00 0.00 0 0 0
3586.78/3598.59 c nlpdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c objpscostdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c octane : 0.00 0.00 0 0 0
3586.78/3598.59 c ofins : 0.00 0.00 0 0 0
3586.78/3598.59 c oneopt : 0.00 0.00 0 0 0
3586.78/3598.59 c padm : 0.00 0.00 0 0 0
3586.78/3598.59 c proximity : 0.00 0.00 0 0 0
3586.78/3598.59 c pscostdiving : 0.00 0.00 0 0 0
3586.78/3598.59 c randrounding : 0.00 0.00 0 0 0
3586.78/3598.59 c rens : 0.00 0.00 0 0 0
3586.78/3598.59 c reoptsols : 0.00 0.00 0 0 0
3586.78/3598.59 c repair : 0.00 0.00 0 0 0
3586.78/3598.59 c rins : 0.00 0.00 0 0 0
3586.78/3598.59 c rootsoldiving : 0.00 0.00 0 0 0
3586.78/3598.59 c rounding : 0.00 0.00 0 0 0
3586.78/3598.59 c scheduler : 0.00 0.00 0 0 0
3586.78/3598.59 c shiftandpropagate: 0.00 0.00 0 0 0
3586.78/3598.59 c shifting : 0.00 0.00 0 0 0
3586.78/3598.59 c simplerounding : 0.00 0.00 0 0 0
3586.78/3598.59 c smallcard : 0.00 0.00 0 0 0
3586.78/3598.59 c subnlp : 0.00 0.00 0 0 0
3586.78/3598.59 c trivial : 0.55 0.00 2 0 0
3586.78/3598.59 c trivialnegation : 0.00 0.00 0 0 0
3586.78/3598.59 c trustregion : 0.00 0.00 0 0 0
3586.78/3598.59 c trysol : 0.00 0.00 0 0 0
3586.78/3598.59 c twoopt : 0.00 0.00 0 0 0
3586.78/3598.59 c undercover : 0.00 0.00 0 0 0
3586.78/3598.59 c vbounds : 3226.32 0.00 1 0 0
3586.78/3598.59 c veclendiving : 0.00 0.00 0 0 0
3586.78/3598.59 c zeroobj : 0.00 0.00 0 0 0
3586.78/3598.59 c zirounding : 0.00 0.00 0 0 0
3586.78/3598.59 c other solutions : - - - 0 -
3586.78/3598.59 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.78/3598.59 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
3586.78/3598.59 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
3586.78/3598.59 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
3586.78/3598.59 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
3586.78/3598.59 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
3586.78/3598.59 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
3586.78/3598.59 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
3586.78/3598.59 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
3586.78/3598.59 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
3586.78/3598.59 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.78/3598.59 c primal LP : 0.00 0 0 0.00 - 0.00 0
3586.78/3598.59 c dual LP : 0.00 0 0 0.00 - 0.00 0
3586.78/3598.59 c lex dual LP : 0.00 0 0 0.00 -
3586.78/3598.59 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.78/3598.59 c resolve instable : 0.00 0 0 0.00 -
3586.78/3598.59 c diving/probing LP: 0.00 0 0 0.00 -
3586.78/3598.59 c strong branching : 0.00 0 0 0.00 - - - 0
3586.78/3598.59 c (at root node) : - 0 0 0.00 -
3586.78/3598.59 c conflict analysis: 0.00 0 0 0.00 -
3586.78/3598.59 c B&B Tree :
3586.78/3598.59 c number of runs : 1
3586.78/3598.59 c nodes : 1 (0 internal, 1 leaves)
3586.78/3598.59 c feasible leaves : 0
3586.78/3598.59 c infeas. leaves : 0
3586.78/3598.59 c objective leaves : 0
3586.78/3598.59 c nodes (total) : 1 (0 internal, 1 leaves)
3586.78/3598.59 c nodes left : 1
3586.78/3598.59 c max depth : 0
3586.78/3598.59 c max depth (total): 0
3586.78/3598.59 c backtracks : 0 (0.0%)
3586.78/3598.59 c early backtracks : 0 (0.0%)
3586.78/3598.59 c nodes exc. ref. : 0 (0.0%)
3586.78/3598.59 c delayed cutoffs : 0
3586.78/3598.59 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.78/3598.59 c avg switch length: 1.00
3586.78/3598.59 c switching time : 0.00
3586.78/3598.59 c Root Node :
3586.78/3598.59 c First LP value : -
3586.78/3598.59 c First LP Iters : 0
3586.78/3598.59 c First LP Time : 0.00
3586.78/3598.59 c Final Dual Bound : -1.50000000000000e+01
3586.78/3598.59 c Final Root Iters : 0
3586.78/3598.59 c Root LP Estimate : -
3586.78/3598.59 c Solution :
3586.78/3598.59 c Solutions found : 0 (0 improvements)
3586.78/3598.59 c Primal Bound : -
3586.78/3598.59 c Dual Bound : -1.50000000000000e+01
3586.78/3598.59 c Gap : infinite
3586.78/3598.59 c Integrals : Total Avg%
3586.78/3598.59 c primal-dual : 359852.26 100.00
3586.78/3598.59 c primal-ref : - - (not evaluated)
3586.78/3598.59 c dual-ref : - - (not evaluated)
3594.96/3606.74 c Time complete: 3595.02.
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 (42790 MiB free)
memory of node 1: 64473 MiB (61495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432884-1721144477/watcher-4432884-1721144477 -o /tmp/evaluation-result-4432884-1721144477/solver-4432884-1721144477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858237 --watchdog 3760 pbscip -f HOME/instance-4432884-1721144477.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=862506, runsolver pid=862503
[startup+0.100828 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862507
/proc/meminfo: memFree=106653476/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=108784 memory=66280 CPUtime=0.1 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 13678 0 0 0 8 2 0 0 20 0 1 0 166616754 111394816 16570 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 27196 16570 3242 3540 0 15453 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108784 KiB
Current children cumulated memory: 66280 KiB
[startup+0.205597 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862507
/proc/meminfo: memFree=106558920/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=156284 memory=114820 CPUtime=0.19 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 25792 0 0 0 16 3 0 0 20 0 1 0 166616754 160034816 28705 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 39071 28705 3242 3540 0 27328 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 156284 KiB
Current children cumulated memory: 114820 KiB
[startup+0.30556 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862507
/proc/meminfo: memFree=106471224/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=202956 memory=161224 CPUtime=0.3 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 37347 0 0 0 25 5 0 0 20 0 1 0 166616754 207826944 40240 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 50739 40240 3242 3540 0 38996 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 202956 KiB
Current children cumulated memory: 161224 KiB
[startup+0.70023 s]
/proc/loadavg: 4.15 4.16 4.14 5/258 862507
/proc/meminfo: memFree=106287768/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=379096 memory=337604 CPUtime=0.69 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 81450 0 0 0 58 11 0 0 20 0 1 0 166616754 388194304 84401 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 94774 84401 3242 3540 0 83031 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 379096 KiB
Current children cumulated memory: 337604 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 4.16 4.14 5/258 862507
/proc/meminfo: memFree=105816792/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=728864 memory=687072 CPUtime=1.49 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 167848 0 0 0 126 23 0 0 20 0 1 0 166616754 746356736 171768 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 182216 171768 3242 3540 0 170473 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 728864 KiB
Current children cumulated memory: 687072 KiB
[startup+3.10557 s]
/proc/loadavg: 4.14 4.16 4.14 5/258 862507
/proc/meminfo: memFree=104261200/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=1463756 memory=1421312 CPUtime=3.08 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 339147 0 0 0 262 46 0 0 20 0 1 0 166616754 1498886144 355328 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 365939 355328 3242 3540 0 354196 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1463756 KiB
Current children cumulated memory: 1421312 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.16 4.14 5/258 862507
/proc/meminfo: memFree=101983380/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=2057468 memory=2014632 CPUtime=6.27 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 476256 0 0 0 559 68 0 0 20 0 1 0 166616754 2106847232 503658 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 514367 503658 3242 3540 0 502624 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2057468 KiB
Current children cumulated memory: 2014632 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.17 4.15 5/258 862509
/proc/meminfo: memFree=94109940/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=4993368 memory=4911536 CPUtime=12.66 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1099490 0 0 0 1103 163 0 0 20 0 1 0 166616754 5113208832 1227884 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 1248342 1227884 3578 3540 0 1236599 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4993368 KiB
Current children cumulated memory: 4911536 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.17 4.14 5/258 862510
/proc/meminfo: memFree=93980116/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=6780628 memory=6613532 CPUtime=25.42 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1193842 0 0 0 2311 231 0 0 20 0 1 0 166616754 6943363072 1653383 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 1695157 1653383 3753 3540 0 1683414 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 6780628 KiB
Current children cumulated memory: 6613532 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.17 4.14 5/258 862515
/proc/meminfo: memFree=89978744/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=7879664 memory=7760280 CPUtime=50.95 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1551811 0 0 0 4794 301 0 0 20 0 1 0 166616754 8068775936 1940070 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 1969916 1940070 3801 3540 0 1958173 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 7879664 KiB
Current children cumulated memory: 7760280 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.15 5/258 862524
/proc/meminfo: memFree=86441868/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=8572624 memory=8228204 CPUtime=102 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1573723 0 0 0 9885 315 0 0 20 0 1 0 166616754 8778366976 2057051 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2143156 2057051 3817 3540 0 2131413 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 8572624 KiB
Current children cumulated memory: 8228204 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.17 4.15 5/258 862535
/proc/meminfo: memFree=84219496/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9541456 memory=9199384 CPUtime=161.84 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1732827 0 0 0 15834 350 0 0 20 0 1 0 166616754 9770450944 2299846 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2385364 2299846 3865 3540 0 2373621 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9199384 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/258 862546
/proc/meminfo: memFree=84214932/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9541456 memory=9199724 CPUtime=221.63 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1733285 0 0 0 21811 352 0 0 20 0 1 0 166616754 9770450944 2299931 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2385364 2299931 3865 3540 0 2373621 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9199724 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/257 862556
/proc/meminfo: memFree=84196392/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9547744 memory=9206512 CPUtime=281.42 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1735438 0 0 0 27789 353 0 0 20 0 1 0 166616754 9776889856 2301628 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2386936 2301628 3865 3540 0 2375193 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 9547744 KiB
Current children cumulated memory: 9206512 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/255 862613
/proc/meminfo: memFree=93380036/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9574452 memory=9232872 CPUtime=341.23 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1743095 0 0 0 33767 356 0 0 20 0 1 0 166616754 9804238848 2308218 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2393613 2308218 3865 3540 0 2381870 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 9574452 KiB
Current children cumulated memory: 9232872 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/255 862625
/proc/meminfo: memFree=93107556/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9616340 memory=9274584 CPUtime=400.97 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1752565 0 0 0 39737 360 0 0 20 0 1 0 166616754 9847132160 2318646 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2404085 2318646 3865 3540 0 2392342 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 9616340 KiB
Current children cumulated memory: 9274584 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/255 862635
/proc/meminfo: memFree=93105040/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9616340 memory=9275160 CPUtime=460.67 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1752931 0 0 0 45705 362 0 0 20 0 1 0 166616754 9847132160 2318790 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2404085 2318790 3865 3540 0 2392342 0
################
# More data... #
################
Current children cumulated memory: 9363204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/256 864404
/proc/meminfo: memFree=84195568/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9707988 memory=9365472 CPUtime=3151.76 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1788989 0 0 0 314720 456 0 0 20 0 1 0 166616754 9940979712 2341368 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2426997 2341368 3865 3540 0 2415254 0
Current children cumulated CPU time: 3151.76 s
Current children cumulated vsize: 9707988 KiB
Current children cumulated memory: 9365472 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.17 4.14 5/256 864414
/proc/meminfo: memFree=84185240/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9711188 memory=9368704 CPUtime=3211.6 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1790193 0 0 0 320701 459 0 0 20 0 1 0 166616754 9944256512 2342176 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2427797 2342176 3865 3540 0 2416054 0
Current children cumulated CPU time: 3211.6 s
Current children cumulated vsize: 9711188 KiB
Current children cumulated memory: 9368704 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.14 5/254 864424
/proc/meminfo: memFree=84178504/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9714388 memory=9371888 CPUtime=3271.44 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1791349 0 0 0 326682 462 0 0 20 0 1 0 166616754 9947533312 2342972 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2428597 2342972 3865 3540 0 2416854 0
Current children cumulated CPU time: 3271.44 s
Current children cumulated vsize: 9714388 KiB
Current children cumulated memory: 9371888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.14 4.12 5/254 864435
/proc/meminfo: memFree=84168908/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9716564 memory=9374148 CPUtime=3331.28 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1792235 0 0 0 332664 464 0 0 20 0 1 0 166616754 9949761536 2343537 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2429141 2343537 3865 3540 0 2417398 0
Current children cumulated CPU time: 3331.28 s
Current children cumulated vsize: 9716564 KiB
Current children cumulated memory: 9374148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.12 4.12 5/254 864446
/proc/meminfo: memFree=84157688/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9720340 memory=9377968 CPUtime=3391.11 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1793570 0 0 0 338645 466 0 0 20 0 1 0 166616754 9953628160 2344492 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2430085 2344492 3865 3540 0 2418342 0
Current children cumulated CPU time: 3391.11 s
Current children cumulated vsize: 9720340 KiB
Current children cumulated memory: 9377968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/254 864456
/proc/meminfo: memFree=84148524/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9723540 memory=9381104 CPUtime=3450.94 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1794757 0 0 0 344626 468 0 0 20 0 1 0 166616754 9956904960 2345276 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2430885 2345276 3865 3540 0 2419142 0
Current children cumulated CPU time: 3450.94 s
Current children cumulated vsize: 9723540 KiB
Current children cumulated memory: 9381104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/256 864470
/proc/meminfo: memFree=84138232/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9727316 memory=9384952 CPUtime=3510.79 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1796121 0 0 0 350609 470 0 0 20 0 1 0 166616754 9960771584 2346238 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2431829 2346238 3865 3540 0 2420086 0
Current children cumulated CPU time: 3510.79 s
Current children cumulated vsize: 9727316 KiB
Current children cumulated memory: 9384952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/258 864485
/proc/meminfo: memFree=83712596/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9730516 memory=9388228 CPUtime=3570.63 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1797314 0 0 0 356591 472 0 0 20 0 1 0 166616754 9964048384 2347057 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2432629 2347057 3865 3540 0 2420886 0
Current children cumulated CPU time: 3570.63 s
Current children cumulated vsize: 9730516 KiB
Current children cumulated memory: 9388228 KiB
[startup+3606.87 s]
# the end of solver process 862506 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.16 s, system=4.98314 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.11 5/258 864485
/proc/meminfo: memFree=83712568/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9730516 memory=9388228 CPUtime=3572.33 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1797323 0 0 0 356761 472 0 0 20 0 1 0 166616754 9964048384 2347057 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2432629 2347057 3865 3540 0 2420886 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 9730516 KiB
Current children cumulated memory: 9388228 KiB
[startup+3596.8 s]
/proc/loadavg: 4.01 4.09 4.10 4/251 864517
/proc/meminfo: memFree=108513496/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9731092 memory=9388852 CPUtime=3585.08 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1797538 0 0 0 358036 472 0 0 20 0 1 0 166616754 9964638208 2347213 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2432773 2347213 3865 3540 0 2421030 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 9731092 KiB
Current children cumulated memory: 9388852 KiB
[startup+3603.2 s]
/proc/loadavg: 3.85 4.05 4.09 4/251 864519
/proc/meminfo: memFree=108651088/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9696208 memory=9354992 CPUtime=3591.47 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1810237 0 0 0 358672 475 0 0 20 0 1 0 166616754 9928916992 2338748 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2424052 2338748 3865 3540 0 2412309 0
Current children cumulated CPU time: 3591.47 s
Current children cumulated vsize: 9696208 KiB
Current children cumulated memory: 9354992 KiB
[startup+3604.8 s]
/proc/loadavg: 3.85 4.05 4.09 4/252 864520
/proc/meminfo: memFree=109119256/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9662476 memory=9323092 CPUtime=3593.07 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1811710 0 0 0 358831 476 0 0 20 0 1 0 166616754 9894375424 2330773 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2415619 2330773 3865 3540 0 2403876 0
Current children cumulated CPU time: 3593.07 s
Current children cumulated vsize: 9662476 KiB
Current children cumulated memory: 9323092 KiB
[startup+3605.6 s]
/proc/loadavg: 3.85 4.05 4.09 4/252 864520
/proc/meminfo: memFree=110763012/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9413188 memory=9074256 CPUtime=3593.87 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1811983 0 0 0 358911 476 0 0 20 0 1 0 166616754 9639104512 2268564 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2353297 2268564 3881 3540 0 2341554 0
Current children cumulated CPU time: 3593.87 s
Current children cumulated vsize: 9413188 KiB
Current children cumulated memory: 9074256 KiB
[startup+3606.4 s]
/proc/loadavg: 3.85 4.05 4.09 3/245 864551
/proc/meminfo: memFree=118802168/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=8596060 memory=8257128 CPUtime=3594.66 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1813133 0 0 0 358987 479 0 0 20 0 1 0 166616754 8802365440 2064282 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2149015 2064282 3881 3540 0 2137272 0
Current children cumulated CPU time: 3594.66 s
Current children cumulated vsize: 8596060 KiB
Current children cumulated memory: 8257128 KiB
[startup+3606.8 s]*
/proc/loadavg: 3.70 4.02 4.08 3/245 864551
/proc/meminfo: memFree=124461324/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): 3606.87
CPU time (s): 3595.14
CPU user time (s): 3590.16
CPU system time (s): 4.98314
CPU usage (%): 99.6749
Max. virtual memory (cumulated for all children) (KiB): 9768728
Max. memory (cumulated for all children) (KiB): 9427384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.16
system time used= 4.98314
maximum resident set size= 9427384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1813845
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= 3286
# summary of solver processes directly reported to runsolver:
# pid: 862506
# total CPU time (s): 3595.14
# total CPU user time (s): 3590.16
# total CPU system time (s): 4.98314
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24864 second user time and 16.8564 second system time
The end