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-4432887-1721140869.opb>
6.28/6.33 c original problem has 1000400 variables (1000400 bin, 0 int, 0 impl, 0 cont) and 2000307 constraints
6.28/6.33 c problem read in 6.33
12.36/12.45 c presolving:
16.95/17.02 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.54/21.66 c (21.6s) running MILP presolver
25.53/25.61 c (25.6s) MILP presolver found nothing
33.20/33.38 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
53.43/53.60 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.89/69.17 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
84.05/84.30 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
87.14/87.45 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.51/96.87 c (96.8s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
96.51/96.87 c (96.8s) probing aborted: 50/50 successive totally useless probings
96.51/96.87 c (96.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
98.01/98.34 c (98.3s) no symmetry present (symcode time: 0.56)
98.61/98.96 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
98.61/98.96 c 500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
98.61/98.96 c 0 implications, 1455401 cliques
98.61/98.96 c presolved problem has 500150 variables (500150 bin, 0 int, 0 impl, 0 cont) and 500454 constraints
98.61/98.96 c 5250 constraints of type <knapsack>
98.61/98.96 c 101 constraints of type <setppc>
98.61/98.96 c 490050 constraints of type <and>
98.61/98.96 c 3 constraints of type <linear>
98.61/98.96 c 5050 constraints of type <logicor>
98.61/98.96 c transformed objective value is always integral (scale: 2)
98.61/98.96 c Presolving Time: 86.93
98.61/98.96 c - non default parameters ----------------------------------------------------------------------
98.61/98.96 c # SCIP version 10.0.0
98.61/98.96 c
98.61/98.96 c # maximal time in seconds to run
98.61/98.96 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
98.61/98.96 c limits/time = 3596.997012
98.61/98.96 c
98.61/98.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
98.61/98.96 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
98.61/98.96 c limits/memory = 27900
98.61/98.96 c
98.61/98.96 c # belongs reading time to solving time?
98.61/98.96 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
98.61/98.96 c timing/reading = TRUE
98.61/98.96 c
98.61/98.96 c -----------------------------------------------------------------------------------------------
98.61/98.96 c start solving
98.81/99.11 c
3584.76/3598.56 c
3584.76/3598.56 c SCIP Status : solving was interrupted [time limit reached]
3584.76/3598.56 c Solving Time (sec) : 3598.53
3584.76/3598.56 c Solving Nodes : 1
3584.76/3598.56 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.76/3598.56 c Dual Bound : -1.50000000000000e+01
3584.76/3598.56 c Gap : infinite
3584.76/3598.56 s UNKNOWN
3584.76/3598.56 c SCIP Status : solving was interrupted [time limit reached]
3584.76/3598.56 c Total Time : 3598.53
3584.76/3598.56 c solving : 3598.53
3584.76/3598.56 c presolving : 86.93 (included in solving)
3584.76/3598.56 c reading : 6.33 (included in solving)
3584.76/3598.56 c copying : 0.00 (0 times copied the problem)
3584.76/3598.56 c Original Problem :
3584.76/3598.56 c Problem name : HOME/instance-4432887-1721140869.opb
3584.76/3598.56 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.76/3598.56 c Constraints : 2000307 initial, 2000307 maximal
3584.76/3598.59 c Objective : minimize, 29800 non-zeros (abs.min = 1, abs.max = 1.70954e+08)
3584.76/3598.59 c Presolved Problem :
3584.76/3598.59 c Problem name : t_HOME/instance-4432887-1721140869.opb
3584.76/3598.59 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.76/3598.59 c Constraints : 500454 initial, 500456 maximal
3584.87/3598.60 c Objective : minimize, 14850 non-zeros (abs.min = 9, abs.max = 1.70954e+08)
3584.87/3598.60 c Nonzeros : 2035450 constraint, 2910900 clique table
3584.87/3598.60 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.87/3598.60 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c gateextraction : 14.34 0.00 4 0 0 0 0 0 3890700 980100 0 0
3584.87/3598.60 c implics : 0.09 0.00 6 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c milp : 8.26 0.00 1 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c trivial : 0.20 0.00 7 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c dualfix : 0.19 0.00 7 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c probing : 6.88 0.02 1 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c pseudoobj : 0.01 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c symmetry : 1.47 0.00 1 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c vbounds : 1.65 0.00 2 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c knapsack : 13.31 0.02 13 0 0 0 0 0 980100 2910600 0 0
3584.87/3598.60 c setppc : 5.14 0.00 13 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c and : 15.92 0.00 6 0 485100 0 0 0 490050 0 0 0
3584.87/3598.60 c linear : 9.92 1.41 9 300 14850 0 300 0 29703 0 4950 14850
3584.87/3598.60 c logicor : 2.29 0.01 11 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c components : 0.49 0.00 1 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c root node : - - - 0 - - 0 - - - - -
3584.87/3598.60 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.87/3598.60 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3584.87/3598.60 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3584.87/3598.60 c knapsack : 5250 5250 0 355700 0 0 0 3 0 3 0 0 0 0 0
3584.87/3598.60 c setppc : 101 101 0 350074 0 0 0 1 92 0 0 0 0 0 0
3584.87/3598.60 c and : 490050 490050 0 355697 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c linear : 3 3 0 355697 0 0 0 3 0 1 0 0 0 0 0
3584.87/3598.60 c logicor : 5050+ 5052 0 6650 0 0 0 0 94 0 0 0 0 0 0
3584.87/3598.60 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.87/3598.60 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c knapsack : 0.27 0.02 0.02 0.24 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c setppc : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c and : 3322.56 0.00 1.83 3320.73 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c linear : 1.53 1.41 0.00 0.12 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c logicor : 0.08 0.01 0.01 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c fixedvar : 0.04 0.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c components : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.87/3598.60 c dualfix : 1 0 0 0
3584.87/3598.60 c genvbounds : 0 0 0 0
3584.87/3598.60 c nlobbt : 0 0 0 0
3584.87/3598.60 c obbt : 0 0 0 0
3584.87/3598.60 c probing : 0 0 0 0
3584.87/3598.60 c pseudoobj : 1 0 0 0
3584.87/3598.60 c redcost : 0 0 0 0
3584.87/3598.60 c rootredcost : 0 0 0 0
3584.87/3598.60 c symmetry : 0 0 0 0
3584.87/3598.60 c vbounds : 10454 0 0 0
3584.87/3598.60 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.87/3598.60 c dualfix : 0.21 0.00 0.19 0.01 0.00 0.00
3584.87/3598.60 c genvbounds : 0.09 0.00 0.00 0.09 0.00 0.00
3584.87/3598.60 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.87/3598.60 c probing : 6.90 0.02 6.88 0.00 0.00 0.00
3584.87/3598.60 c pseudoobj : 33.19 0.00 0.01 33.18 0.00 0.00
3584.87/3598.60 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3584.87/3598.60 c rootredcost : 0.07 0.00 0.00 0.07 0.00 0.00
3584.87/3598.60 c symmetry : 1.61 0.00 1.47 0.13 0.00 0.00
3584.87/3598.60 c vbounds : 1.93 0.00 1.65 0.28 0.00 0.00
3584.87/3598.60 c Symmetry :
3584.87/3598.60 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.87/3598.60 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.87/3598.60 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.87/3598.60 c shadow tree time : 0.00 s
3584.87/3598.60 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.87/3598.60 c propagation : 0.02 2 2 - 2 2713.5 0 0.0 - - -
3584.87/3598.60 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.87/3598.60 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.87/3598.60 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.87/3598.60 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.87/3598.60 c applied globally : 0.00 - - 0 2 2713.5 - - 0 - -
3584.87/3598.60 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.87/3598.60 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.87/3598.60 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3584.87/3598.60 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.87/3598.60 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.87/3598.60 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.87/3598.60 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3584.87/3598.60 c > strongcg : - - - - - - - 0 0 0 0 0 -
3584.87/3598.60 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.87/3598.60 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.87/3598.60 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c Pricers : ExecTime SetupTime Calls Vars
3584.87/3598.60 c problem variables: 0.00 - 0 0
3584.87/3598.60 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.87/3598.60 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.87/3598.60 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.87/3598.60 c LP solutions : 0.00 - - 0 0
3584.87/3598.60 c relax solutions : 0.00 - - 0 0
3584.87/3598.60 c pseudo solutions : 0.00 - - 0 0
3584.87/3598.60 c strong branching : 0.00 - - 0 0
3584.87/3598.60 c actconsdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c adaptivediving : 0.00 0.00 0 0 0
3584.87/3598.60 c alns : 0.00 0.00 0 0 0
3584.87/3598.60 c bound : 0.00 0.00 0 0 0
3584.87/3598.60 c clique : 195.15 0.00 1 0 0
3584.87/3598.60 c coefdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c completesol : 0.00 0.00 0 0 0
3584.87/3598.60 c conflictdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c crossover : 0.00 0.00 0 0 0
3584.87/3598.60 c dins : 0.00 0.00 0 0 0
3584.87/3598.60 c distributiondivin: 0.00 0.00 0 0 0
3584.87/3598.60 c dps : 0.00 0.00 0 0 0
3584.87/3598.60 c dualval : 0.00 0.00 0 0 0
3584.87/3598.60 c farkasdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c feasjump : 0.00 0.00 0 0 0
3584.87/3598.60 c feaspump : 0.00 0.00 0 0 0
3584.87/3598.60 c fixandinfer : 0.00 0.00 0 0 0
3584.87/3598.60 c fracdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c gins : 0.00 0.00 0 0 0
3584.87/3598.60 c guideddiving : 0.00 0.00 0 0 0
3584.87/3598.60 c indcoefdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c indicator : 0.00 0.00 0 0 0
3584.87/3598.60 c indicatordiving : 0.00 0.00 0 0 0
3584.87/3598.60 c indoneopt : 0.00 0.00 0 0 0
3584.87/3598.60 c indrounding : 0.00 0.00 0 0 0
3584.87/3598.60 c indtwoopt : 0.00 0.00 0 0 0
3584.87/3598.60 c intdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c intshifting : 0.00 0.00 0 0 0
3584.87/3598.60 c linesearchdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c localbranching : 0.00 0.00 0 0 0
3584.87/3598.60 c locks : 70.86 0.00 1 0 0
3584.87/3598.60 c lpface : 0.00 0.00 0 0 0
3584.87/3598.60 c mpec : 0.00 0.00 0 0 0
3584.87/3598.60 c multistart : 0.00 0.00 0 0 0
3584.87/3598.60 c mutation : 0.00 0.00 0 0 0
3584.87/3598.60 c nlpdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c objpscostdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c octane : 0.00 0.00 0 0 0
3584.87/3598.60 c ofins : 0.00 0.00 0 0 0
3584.87/3598.60 c oneopt : 0.00 0.00 0 0 0
3584.87/3598.60 c padm : 0.00 0.00 0 0 0
3584.87/3598.60 c proximity : 0.00 0.00 0 0 0
3584.87/3598.60 c pscostdiving : 0.00 0.00 0 0 0
3584.87/3598.60 c randrounding : 0.00 0.00 0 0 0
3584.87/3598.60 c rens : 0.00 0.00 0 0 0
3584.87/3598.60 c reoptsols : 0.00 0.00 0 0 0
3584.87/3598.60 c repair : 0.00 0.00 0 0 0
3584.87/3598.60 c rins : 0.00 0.00 0 0 0
3584.87/3598.60 c rootsoldiving : 0.00 0.00 0 0 0
3584.87/3598.60 c rounding : 0.00 0.00 0 0 0
3584.87/3598.60 c scheduler : 0.00 0.00 0 0 0
3584.87/3598.60 c shiftandpropagate: 0.00 0.00 0 0 0
3584.87/3598.60 c shifting : 0.00 0.00 0 0 0
3584.87/3598.60 c simplerounding : 0.00 0.00 0 0 0
3584.87/3598.60 c smallcard : 0.00 0.00 0 0 0
3584.87/3598.60 c subnlp : 0.00 0.00 0 0 0
3584.87/3598.60 c trivial : 0.57 0.00 2 0 0
3584.87/3598.60 c trivialnegation : 0.00 0.00 0 0 0
3584.87/3598.60 c trustregion : 0.00 0.00 0 0 0
3584.87/3598.60 c trysol : 0.00 0.00 0 0 0
3584.87/3598.60 c twoopt : 0.00 0.00 0 0 0
3584.87/3598.60 c undercover : 0.00 0.00 0 0 0
3584.87/3598.60 c vbounds : 3199.97 0.00 1 0 0
3584.87/3598.60 c veclendiving : 0.00 0.00 0 0 0
3584.87/3598.60 c zeroobj : 0.00 0.00 0 0 0
3584.87/3598.60 c zirounding : 0.00 0.00 0 0 0
3584.87/3598.60 c other solutions : - - - 0 -
3584.87/3598.60 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.87/3598.60 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
3584.87/3598.60 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
3584.87/3598.60 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
3584.87/3598.60 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
3584.87/3598.60 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
3584.87/3598.60 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
3584.87/3598.60 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
3584.87/3598.60 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
3584.87/3598.60 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.87/3598.60 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.87/3598.60 c primal LP : 0.00 0 0 0.00 - 0.00 0
3584.87/3598.60 c dual LP : 0.00 0 0 0.00 - 0.00 0
3584.87/3598.60 c lex dual LP : 0.00 0 0 0.00 -
3584.87/3598.60 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.87/3598.60 c resolve instable : 0.00 0 0 0.00 -
3584.87/3598.60 c diving/probing LP: 0.00 0 0 0.00 -
3584.87/3598.60 c strong branching : 0.00 0 0 0.00 - - - 0
3584.87/3598.60 c (at root node) : - 0 0 0.00 -
3584.87/3598.60 c conflict analysis: 0.00 0 0 0.00 -
3584.87/3598.60 c B&B Tree :
3584.87/3598.60 c number of runs : 1
3584.87/3598.60 c nodes : 1 (0 internal, 1 leaves)
3584.87/3598.60 c feasible leaves : 0
3584.87/3598.60 c infeas. leaves : 0
3584.87/3598.60 c objective leaves : 0
3584.87/3598.60 c nodes (total) : 1 (0 internal, 1 leaves)
3584.87/3598.60 c nodes left : 1
3584.87/3598.60 c max depth : 0
3584.87/3598.60 c max depth (total): 0
3584.87/3598.60 c backtracks : 0 (0.0%)
3584.87/3598.60 c early backtracks : 0 (0.0%)
3584.87/3598.60 c nodes exc. ref. : 0 (0.0%)
3584.87/3598.60 c delayed cutoffs : 0
3584.87/3598.60 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3584.87/3598.60 c avg switch length: 1.00
3584.87/3598.60 c switching time : 0.00
3584.87/3598.60 c Root Node :
3584.87/3598.60 c First LP value : -
3584.87/3598.60 c First LP Iters : 0
3584.87/3598.60 c First LP Time : 0.00
3584.87/3598.60 c Final Dual Bound : -1.50000000000000e+01
3584.87/3598.60 c Final Root Iters : 0
3584.87/3598.60 c Root LP Estimate : -
3584.87/3598.60 c Solution :
3584.87/3598.60 c Solutions found : 0 (0 improvements)
3584.87/3598.60 c Primal Bound : -
3584.87/3598.60 c Dual Bound : -1.50000000000000e+01
3584.87/3598.60 c Gap : infinite
3584.87/3598.60 c Integrals : Total Avg%
3584.87/3598.60 c primal-dual : 359853.21 100.00
3584.87/3598.60 c primal-ref : - - (not evaluated)
3584.87/3598.60 c dual-ref : - - (not evaluated)
3592.94/3606.73 c Time complete: 3592.98.
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 (55319 MiB free)
memory of node 1: 64473 MiB (58276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432887-1721140869/watcher-4432887-1721140869 -o /tmp/evaluation-result-4432887-1721140869/solver-4432887-1721140869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858237 --watchdog 3760 pbscip -f HOME/instance-4432887-1721140869.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=860477, runsolver pid=860474
[startup+0.100178 s]*
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=116229944/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=106732 memory=65160 CPUtime=0.09 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 13305 0 0 0 8 1 0 0 20 0 1 0 166255958 109293568 16290 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 26683 16290 3291 3540 0 14940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106732 KiB
Current children cumulated memory: 65160 KiB
[startup+0.205622 s]*
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=116154148/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=156284 memory=115016 CPUtime=0.2 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 25791 0 0 0 17 3 0 0 20 0 1 0 166255958 160034816 28754 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 39071 28754 3291 3540 0 27328 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 156284 KiB
Current children cumulated memory: 115016 KiB
[startup+0.305482 s]*
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=116081456/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=205204 memory=163796 CPUtime=0.3 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 37975 0 0 0 25 5 0 0 20 0 1 0 166255958 210128896 40949 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 51301 40949 3291 3540 0 39558 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 205204 KiB
Current children cumulated memory: 163796 KiB
[startup+0.700217 s]
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=115947392/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=390836 memory=349416 CPUtime=0.69 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 84415 0 0 0 59 10 0 0 20 0 1 0 166255958 400216064 87354 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 97709 87354 3291 3540 0 85966 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 390836 KiB
Current children cumulated memory: 349416 KiB
[startup+1.5002 s]
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=115608808/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=765588 memory=724280 CPUtime=1.49 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 173496 0 0 0 127 22 0 0 20 0 1 0 166255958 783962112 181070 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 191397 181070 3291 3540 0 179654 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 765588 KiB
Current children cumulated memory: 724280 KiB
[startup+3.10548 s]
/proc/loadavg: 4.87 4.37 4.19 5/256 860478
/proc/meminfo: memFree=114406636/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=1506496 memory=1464724 CPUtime=3.09 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 349962 0 0 0 262 47 0 0 20 0 1 0 166255958 1542651904 366181 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 376624 366181 3291 3540 0 364881 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1506496 KiB
Current children cumulated memory: 1464724 KiB
[startup+6.30021 s]
/proc/loadavg: 4.87 4.37 4.19 5/256 860478
/proc/meminfo: memFree=111541660/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=2062588 memory=2020636 CPUtime=6.28 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 477706 0 0 0 562 66 0 0 20 0 1 0 166255958 2112090112 505159 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 515647 505159 3291 3540 0 503904 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2062588 KiB
Current children cumulated memory: 2020636 KiB
[startup+12.7002 s]
/proc/loadavg: 4.80 4.36 4.19 5/256 860479
/proc/meminfo: memFree=106131976/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=4993752 memory=4913756 CPUtime=12.66 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1099968 0 0 0 1106 160 0 0 20 0 1 0 166255958 5113602048 1228439 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 1248438 1228439 3674 3540 0 1236695 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4993752 KiB
Current children cumulated memory: 4913756 KiB
[startup+25.5002 s]
/proc/loadavg: 4.70 4.36 4.19 5/256 860481
/proc/meminfo: memFree=102268552/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=6534432 memory=6430936 CPUtime=25.43 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1197396 0 0 0 2312 231 0 0 20 0 1 0 166255958 6691258368 1607734 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 1633608 1607734 3801 3540 0 1621865 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 6534432 KiB
Current children cumulated memory: 6430936 KiB
[startup+51.1057 s]
/proc/loadavg: 4.54 4.35 4.19 5/257 860486
/proc/meminfo: memFree=99991696/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=7879664 memory=7764020 CPUtime=50.95 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1553798 0 0 0 4796 299 0 0 20 0 1 0 166255958 8068775936 1941005 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 1969916 1941005 3849 3540 0 1958173 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 7879664 KiB
Current children cumulated memory: 7764020 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.31 4.18 5/258 860497
/proc/meminfo: memFree=96636636/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=8572624 memory=8234544 CPUtime=102 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1576437 0 0 0 9887 313 0 0 20 0 1 0 166255958 8778366976 2058636 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2143156 2058636 3865 3540 0 2131413 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 8572624 KiB
Current children cumulated memory: 8234544 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.27 4.17 5/258 860509
/proc/meminfo: memFree=94740692/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9541456 memory=9208012 CPUtime=161.81 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1731209 0 0 0 15831 350 0 0 20 0 1 0 166255958 9770450944 2302003 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2385364 2302003 3913 3540 0 2373621 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9208012 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.23 4.17 5/258 860519
/proc/meminfo: memFree=94422836/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9541456 memory=9208012 CPUtime=221.57 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1731555 0 0 0 21806 351 0 0 20 0 1 0 166255958 9770450944 2302003 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2385364 2302003 3913 3540 0 2373621 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9208012 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.20 4.16 5/258 860530
/proc/meminfo: memFree=94420444/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9543072 memory=9209652 CPUtime=281.34 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1732565 0 0 0 27781 353 0 0 20 0 1 0 166255958 9772105728 2302413 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2385768 2302413 3913 3540 0 2374025 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 9543072 KiB
Current children cumulated memory: 9209652 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=99181216/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9562164 memory=9228628 CPUtime=341.11 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1736909 0 0 0 33756 355 0 0 20 0 1 0 166255958 9791655936 2307157 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2390541 2307157 3913 3540 0 2378798 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 9562164 KiB
Current children cumulated memory: 9228628 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/254 860599
/proc/meminfo: memFree=92555664/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9616340 memory=9281996 CPUtime=400.89 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1749812 0 0 0 39732 357 0 0 20 0 1 0 166255958 9847132160 2320499 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2404085 2320499 3913 3540 0 2392342 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 9616340 KiB
Current children cumulated memory: 9281996 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/254 860610
/proc/meminfo: memFree=92393436/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9616340 memory=9282052 CPUtime=460.61 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1749991 0 0 0 45702 359 0 0 20 0 1 0 166255958 9847132160 2320513 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2404085 2320513 3913 3540 0 2392342 0
################
# More data... #
################
Current children cumulated memory: 9362504 KiB
[startup+3162.3 s]
/proc/loadavg: 4.56 4.25 4.16 5/257 862286
/proc/meminfo: memFree=81876532/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9700432 memory=9364128 CPUtime=3150.07 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1786852 0 0 0 314583 424 0 0 20 0 1 0 166255958 9933242368 2341032 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2425108 2341032 3913 3540 0 2413365 0
Current children cumulated CPU time: 3150.07 s
Current children cumulated vsize: 9700432 KiB
Current children cumulated memory: 9364128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.22 4.15 5/256 862296
/proc/meminfo: memFree=81848812/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9703632 memory=9367360 CPUtime=3209.86 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1788094 0 0 0 320561 425 0 0 20 0 1 0 166255958 9936519168 2341840 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2425908 2341840 3913 3540 0 2414165 0
Current children cumulated CPU time: 3209.86 s
Current children cumulated vsize: 9703632 KiB
Current children cumulated memory: 9367360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/255 862306
/proc/meminfo: memFree=81839272/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9705808 memory=9369560 CPUtime=3269.65 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1789054 0 0 0 326538 427 0 0 20 0 1 0 166255958 9938747392 2342390 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2426452 2342390 3913 3540 0 2414709 0
Current children cumulated CPU time: 3269.65 s
Current children cumulated vsize: 9705808 KiB
Current children cumulated memory: 9369560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.19 4.15 5/255 862316
/proc/meminfo: memFree=81823612/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9707988 memory=9371776 CPUtime=3329.42 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1790055 0 0 0 332514 428 0 0 20 0 1 0 166255958 9940979712 2342944 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2426997 2342944 3913 3540 0 2415254 0
Current children cumulated CPU time: 3329.42 s
Current children cumulated vsize: 9707988 KiB
Current children cumulated memory: 9371776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/255 862328
/proc/meminfo: memFree=81810012/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9711188 memory=9375008 CPUtime=3389.22 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1791303 0 0 0 338492 430 0 0 20 0 1 0 166255958 9944256512 2343752 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2427797 2343752 3913 3540 0 2416054 0
Current children cumulated CPU time: 3389.22 s
Current children cumulated vsize: 9711188 KiB
Current children cumulated memory: 9375008 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.15 4.14 5/254 862339
/proc/meminfo: memFree=81800860/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9713364 memory=9377212 CPUtime=3449.02 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1792792 0 0 0 344470 432 0 0 20 0 1 0 166255958 9946484736 2344303 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2428341 2344303 3913 3540 0 2416598 0
Current children cumulated CPU time: 3449.02 s
Current children cumulated vsize: 9713364 KiB
Current children cumulated memory: 9377212 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/254 862349
/proc/meminfo: memFree=81792376/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9716564 memory=9380448 CPUtime=3508.81 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1794231 0 0 0 350448 433 0 0 20 0 1 0 166255958 9949761536 2345112 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2429141 2345112 3913 3540 0 2417398 0
Current children cumulated CPU time: 3508.81 s
Current children cumulated vsize: 9716564 KiB
Current children cumulated memory: 9380448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.18 4.15 5/258 862411
/proc/meminfo: memFree=82216192/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9719764 memory=9383596 CPUtime=3568.61 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1795548 0 0 0 356426 435 0 0 20 0 1 0 166255958 9953038336 2345899 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2429941 2345899 3913 3540 0 2418198 0
Current children cumulated CPU time: 3568.61 s
Current children cumulated vsize: 9719764 KiB
Current children cumulated memory: 9383596 KiB
[startup+3606.86 s]
# the end of solver process 860477 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.48 s, system=4.62264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.18 4.15 5/258 862411
/proc/meminfo: memFree=81655424/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9719764 memory=9383596 CPUtime=3570.31 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1795554 0 0 0 356596 435 0 0 20 0 1 0 166255958 9953038336 2345899 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2429941 2345899 3913 3540 0 2418198 0
Current children cumulated CPU time: 3570.31 s
Current children cumulated vsize: 9719764 KiB
Current children cumulated memory: 9383596 KiB
[startup+3596.8 s]
/proc/loadavg: 4.18 4.17 4.14 5/258 862412
/proc/meminfo: memFree=77276712/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9720340 memory=9384228 CPUtime=3583.06 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1795805 0 0 0 357871 435 0 0 20 0 1 0 166255958 9953628160 2346057 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2430085 2346057 3913 3540 0 2418342 0
Current children cumulated CPU time: 3583.06 s
Current children cumulated vsize: 9720340 KiB
Current children cumulated memory: 9384228 KiB
[startup+3603.2 s]
/proc/loadavg: 4.16 4.17 4.14 5/258 862414
/proc/meminfo: memFree=74142636/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9696208 memory=9361884 CPUtime=3589.45 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1817496 0 0 0 358506 439 0 0 20 0 1 0 166255958 9928916992 2340471 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2424052 2340471 3913 3540 0 2412309 0
Current children cumulated CPU time: 3589.45 s
Current children cumulated vsize: 9696208 KiB
Current children cumulated memory: 9361884 KiB
[startup+3604.8 s]
/proc/loadavg: 4.15 4.16 4.14 5/258 862414
/proc/meminfo: memFree=73836920/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9662476 memory=9329892 CPUtime=3591.04 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1824288 0 0 0 358665 439 0 0 20 0 1 0 166255958 9894375424 2332473 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2415619 2332473 3913 3540 0 2403876 0
Current children cumulated CPU time: 3591.04 s
Current children cumulated vsize: 9662476 KiB
Current children cumulated memory: 9329892 KiB
[startup+3605.6 s]
/proc/loadavg: 4.15 4.16 4.14 5/258 862414
/proc/meminfo: memFree=96113176/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9361996 memory=9029864 CPUtime=3591.84 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1826728 0 0 0 358744 440 0 0 20 0 1 0 166255958 9586683904 2257466 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2340499 2257466 3929 3540 0 2328756 0
Current children cumulated CPU time: 3591.84 s
Current children cumulated vsize: 9361996 KiB
Current children cumulated memory: 9029864 KiB
[startup+3606.4 s]
/proc/loadavg: 4.15 4.16 4.14 5/252 862449
/proc/meminfo: memFree=99119780/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=8571024 memory=8238892 CPUtime=3592.63 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1830438 0 0 0 358820 443 0 0 20 0 1 0 166255958 8776728576 2059723 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2142756 2059723 3929 3540 0 2131013 0
Current children cumulated CPU time: 3592.63 s
Current children cumulated vsize: 8571024 KiB
Current children cumulated memory: 8238892 KiB
[startup+3606.8 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862460
/proc/meminfo: memFree=104779220/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.86
CPU time (s): 3593.1
CPU user time (s): 3588.48
CPU system time (s): 4.62264
CPU usage (%): 99.6186
Max. virtual memory (cumulated for all children) (KiB): 9768728
Max. memory (cumulated for all children) (KiB): 9434276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.48
system time used= 4.62264
maximum resident set size= 9434276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1832399
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= 3226
# summary of solver processes directly reported to runsolver:
# pid: 860477
# total CPU time (s): 3593.1
# total CPU user time (s): 3588.48
# total CPU system time (s): 4.62264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8972 second user time and 17.379 second system time
The end