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-4432883-1721144476.opb>
6.47/6.50 c original problem has 1000400 variables (1000400 bin, 0 int, 0 impl, 0 cont) and 2000307 constraints
6.47/6.50 c problem read in 6.50
12.46/12.53 c presolving:
17.05/17.11 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.63/21.74 c (21.7s) running MILP presolver
25.53/25.68 c (25.7s) 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
51.55/51.72 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
66.21/66.43 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
81.27/81.52 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
84.46/84.73 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
94.12/94.49 c (94.5s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
94.12/94.49 c (94.5s) probing aborted: 50/50 successive totally useless probings
94.12/94.49 c (94.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
95.72/96.07 c (96.0s) no symmetry present (symcode time: 0.64)
96.42/96.75 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
96.42/96.75 c 500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
96.42/96.75 c 0 implications, 1455401 cliques
96.42/96.75 c presolved problem has 500150 variables (500150 bin, 0 int, 0 impl, 0 cont) and 500454 constraints
96.42/96.75 c 5250 constraints of type <knapsack>
96.42/96.75 c 101 constraints of type <setppc>
96.42/96.75 c 490050 constraints of type <and>
96.42/96.75 c 3 constraints of type <linear>
96.42/96.75 c 5050 constraints of type <logicor>
96.42/96.75 c transformed objective value is always integral (scale: 2)
96.42/96.75 c Presolving Time: 84.61
96.42/96.75 c - non default parameters ----------------------------------------------------------------------
96.42/96.75 c # SCIP version 10.0.0
96.42/96.75 c
96.42/96.75 c # maximal time in seconds to run
96.42/96.75 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
96.42/96.75 c limits/time = 3596.997011
96.42/96.75 c
96.42/96.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
96.42/96.75 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
96.42/96.75 c limits/memory = 27900
96.42/96.75 c
96.42/96.75 c # belongs reading time to solving time?
96.42/96.75 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
96.42/96.75 c timing/reading = TRUE
96.42/96.75 c
96.42/96.75 c -----------------------------------------------------------------------------------------------
96.42/96.75 c start solving
96.62/96.91 c
3585.66/3598.52 c
3585.66/3598.52 c SCIP Status : solving was interrupted [time limit reached]
3585.66/3598.52 c Solving Time (sec) : 3598.49
3585.66/3598.52 c Solving Nodes : 1
3585.66/3598.52 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.66/3598.52 c Dual Bound : -1.50000000000000e+01
3585.66/3598.52 c Gap : infinite
3585.66/3598.52 s UNKNOWN
3585.66/3598.52 c SCIP Status : solving was interrupted [time limit reached]
3585.66/3598.52 c Total Time : 3598.49
3585.66/3598.52 c solving : 3598.49
3585.66/3598.52 c presolving : 84.61 (included in solving)
3585.66/3598.52 c reading : 6.50 (included in solving)
3585.66/3598.52 c copying : 0.00 (0 times copied the problem)
3585.66/3598.52 c Original Problem :
3585.66/3598.52 c Problem name : HOME/instance-4432883-1721144476.opb
3585.66/3598.52 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.66/3598.52 c Constraints : 2000307 initial, 2000307 maximal
3585.66/3598.54 c Objective : minimize, 29800 non-zeros (abs.min = 1, abs.max = 1.40608e+08)
3585.66/3598.54 c Presolved Problem :
3585.66/3598.54 c Problem name : t_HOME/instance-4432883-1721144476.opb
3585.66/3598.54 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.66/3598.54 c Constraints : 500454 initial, 500456 maximal
3585.66/3598.55 c Objective : minimize, 14850 non-zeros (abs.min = 9, abs.max = 1.40608e+08)
3585.66/3598.55 c Nonzeros : 2035450 constraint, 2910900 clique table
3585.66/3598.55 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.66/3598.55 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c gateextraction : 13.63 0.00 4 0 0 0 0 0 3890700 980100 0 0
3585.66/3598.55 c implics : 0.09 0.00 6 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c milp : 8.25 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c trivial : 0.19 0.00 7 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c dualfix : 0.18 0.00 7 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c probing : 7.16 0.02 1 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c pseudoobj : 0.01 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c symmetry : 1.58 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c vbounds : 1.39 0.00 2 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c knapsack : 12.32 0.02 13 0 0 0 0 0 980100 2910600 0 0
3585.66/3598.55 c setppc : 4.70 0.00 13 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c and : 16.04 0.00 6 0 485100 0 0 0 490050 0 0 0
3585.66/3598.55 c linear : 9.94 1.38 9 300 14850 0 300 0 29703 0 4950 14850
3585.66/3598.55 c logicor : 2.03 0.01 11 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c components : 0.53 0.00 1 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c root node : - - - 0 - - 0 - - - - -
3585.66/3598.55 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.66/3598.55 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3585.66/3598.55 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3585.66/3598.55 c knapsack : 5250 5250 0 397138 0 0 0 3 0 3 0 0 0 0 0
3585.66/3598.55 c setppc : 101 101 0 391512 0 0 0 1 92 0 0 0 0 0 0
3585.66/3598.55 c and : 490050 490050 0 397135 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c linear : 3 3 0 397135 0 0 0 3 0 1 0 0 0 0 0
3585.66/3598.55 c logicor : 5050+ 5052 0 6650 0 0 0 0 94 0 0 0 0 0 0
3585.66/3598.55 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.66/3598.55 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c knapsack : 0.28 0.02 0.01 0.25 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c setppc : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c and : 3337.88 0.00 1.69 3336.19 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c linear : 1.50 1.38 0.00 0.12 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c logicor : 0.08 0.01 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c fixedvar : 0.04 0.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c components : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.66/3598.55 c dualfix : 1 0 0 0
3585.66/3598.55 c genvbounds : 0 0 0 0
3585.66/3598.55 c nlobbt : 0 0 0 0
3585.66/3598.55 c obbt : 0 0 0 0
3585.66/3598.55 c probing : 0 0 0 0
3585.66/3598.55 c pseudoobj : 1 0 0 0
3585.66/3598.55 c redcost : 0 0 0 0
3585.66/3598.55 c rootredcost : 0 0 0 0
3585.66/3598.55 c symmetry : 0 0 0 0
3585.66/3598.55 c vbounds : 10956 0 0 0
3585.66/3598.55 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.66/3598.55 c dualfix : 0.20 0.00 0.18 0.02 0.00 0.00
3585.66/3598.55 c genvbounds : 0.11 0.00 0.00 0.11 0.00 0.00
3585.66/3598.55 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.66/3598.55 c probing : 7.18 0.02 7.16 0.00 0.00 0.00
3585.66/3598.55 c pseudoobj : 33.43 0.00 0.01 33.42 0.00 0.00
3585.66/3598.55 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.66/3598.55 c rootredcost : 0.07 0.00 0.00 0.07 0.00 0.00
3585.66/3598.55 c symmetry : 1.76 0.00 1.58 0.18 0.00 0.00
3585.66/3598.55 c vbounds : 1.69 0.00 1.39 0.29 0.00 0.00
3585.66/3598.55 c Symmetry :
3585.66/3598.55 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.66/3598.55 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.66/3598.55 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.66/3598.55 c shadow tree time : 0.00 s
3585.66/3598.55 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.66/3598.55 c propagation : 0.01 2 2 - 2 2713.5 0 0.0 - - -
3585.66/3598.55 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.66/3598.55 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.66/3598.55 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.66/3598.55 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.66/3598.55 c applied globally : 0.00 - - 0 2 2713.5 - - 0 - -
3585.66/3598.55 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.66/3598.55 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.66/3598.55 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3585.66/3598.55 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.66/3598.55 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.66/3598.55 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.66/3598.55 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3585.66/3598.55 c > strongcg : - - - - - - - 0 0 0 0 0 -
3585.66/3598.55 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.66/3598.55 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.66/3598.55 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c Pricers : ExecTime SetupTime Calls Vars
3585.66/3598.55 c problem variables: 0.00 - 0 0
3585.66/3598.55 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.66/3598.55 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.66/3598.55 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.66/3598.55 c LP solutions : 0.00 - - 0 0
3585.66/3598.55 c relax solutions : 0.00 - - 0 0
3585.66/3598.55 c pseudo solutions : 0.00 - - 0 0
3585.66/3598.55 c strong branching : 0.00 - - 0 0
3585.66/3598.55 c actconsdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c adaptivediving : 0.00 0.00 0 0 0
3585.66/3598.55 c alns : 0.00 0.00 0 0 0
3585.66/3598.55 c bound : 0.00 0.00 0 0 0
3585.66/3598.55 c clique : 176.24 0.00 1 0 0
3585.66/3598.55 c coefdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c completesol : 0.00 0.00 0 0 0
3585.66/3598.55 c conflictdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c crossover : 0.00 0.00 0 0 0
3585.66/3598.55 c dins : 0.00 0.00 0 0 0
3585.66/3598.55 c distributiondivin: 0.00 0.00 0 0 0
3585.66/3598.55 c dps : 0.00 0.00 0 0 0
3585.66/3598.55 c dualval : 0.00 0.00 0 0 0
3585.66/3598.55 c farkasdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c feasjump : 0.00 0.00 0 0 0
3585.66/3598.55 c feaspump : 0.00 0.00 0 0 0
3585.66/3598.55 c fixandinfer : 0.00 0.00 0 0 0
3585.66/3598.55 c fracdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c gins : 0.00 0.00 0 0 0
3585.66/3598.55 c guideddiving : 0.00 0.00 0 0 0
3585.66/3598.55 c indcoefdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c indicator : 0.00 0.00 0 0 0
3585.66/3598.55 c indicatordiving : 0.00 0.00 0 0 0
3585.66/3598.55 c indoneopt : 0.00 0.00 0 0 0
3585.66/3598.55 c indrounding : 0.00 0.00 0 0 0
3585.66/3598.55 c indtwoopt : 0.00 0.00 0 0 0
3585.66/3598.55 c intdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c intshifting : 0.00 0.00 0 0 0
3585.66/3598.55 c linesearchdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c localbranching : 0.00 0.00 0 0 0
3585.66/3598.55 c locks : 61.88 0.00 1 0 0
3585.66/3598.55 c lpface : 0.00 0.00 0 0 0
3585.66/3598.55 c mpec : 0.00 0.00 0 0 0
3585.66/3598.55 c multistart : 0.00 0.00 0 0 0
3585.66/3598.55 c mutation : 0.00 0.00 0 0 0
3585.66/3598.55 c nlpdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c objpscostdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c octane : 0.00 0.00 0 0 0
3585.66/3598.55 c ofins : 0.00 0.00 0 0 0
3585.66/3598.55 c oneopt : 0.00 0.00 0 0 0
3585.66/3598.55 c padm : 0.00 0.00 0 0 0
3585.66/3598.55 c proximity : 0.00 0.00 0 0 0
3585.66/3598.55 c pscostdiving : 0.00 0.00 0 0 0
3585.66/3598.55 c randrounding : 0.00 0.00 0 0 0
3585.66/3598.55 c rens : 0.00 0.00 0 0 0
3585.66/3598.55 c reoptsols : 0.00 0.00 0 0 0
3585.66/3598.55 c repair : 0.00 0.00 0 0 0
3585.66/3598.55 c rins : 0.00 0.00 0 0 0
3585.66/3598.55 c rootsoldiving : 0.00 0.00 0 0 0
3585.66/3598.55 c rounding : 0.00 0.00 0 0 0
3585.66/3598.55 c scheduler : 0.00 0.00 0 0 0
3585.66/3598.55 c shiftandpropagate: 0.00 0.00 0 0 0
3585.66/3598.55 c shifting : 0.00 0.00 0 0 0
3585.66/3598.55 c simplerounding : 0.00 0.00 0 0 0
3585.66/3598.55 c smallcard : 0.00 0.00 0 0 0
3585.66/3598.55 c subnlp : 0.00 0.00 0 0 0
3585.66/3598.55 c trivial : 0.56 0.00 2 0 0
3585.66/3598.55 c trivialnegation : 0.00 0.00 0 0 0
3585.66/3598.55 c trustregion : 0.00 0.00 0 0 0
3585.66/3598.55 c trysol : 0.00 0.00 0 0 0
3585.66/3598.55 c twoopt : 0.00 0.00 0 0 0
3585.66/3598.55 c undercover : 0.00 0.00 0 0 0
3585.66/3598.55 c vbounds : 3229.75 0.00 1 0 0
3585.66/3598.55 c veclendiving : 0.00 0.00 0 0 0
3585.66/3598.55 c zeroobj : 0.00 0.00 0 0 0
3585.66/3598.55 c zirounding : 0.00 0.00 0 0 0
3585.66/3598.55 c other solutions : - - - 0 -
3585.66/3598.55 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.66/3598.55 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
3585.66/3598.55 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
3585.66/3598.55 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
3585.66/3598.55 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
3585.66/3598.55 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
3585.66/3598.55 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
3585.66/3598.55 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
3585.66/3598.55 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
3585.66/3598.55 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
3585.66/3598.55 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.66/3598.55 c primal LP : 0.00 0 0 0.00 - 0.00 0
3585.66/3598.55 c dual LP : 0.00 0 0 0.00 - 0.00 0
3585.66/3598.55 c lex dual LP : 0.00 0 0 0.00 -
3585.66/3598.55 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.66/3598.55 c resolve instable : 0.00 0 0 0.00 -
3585.66/3598.55 c diving/probing LP: 0.00 0 0 0.00 -
3585.66/3598.55 c strong branching : 0.00 0 0 0.00 - - - 0
3585.66/3598.55 c (at root node) : - 0 0 0.00 -
3585.66/3598.55 c conflict analysis: 0.00 0 0 0.00 -
3585.66/3598.55 c B&B Tree :
3585.66/3598.55 c number of runs : 1
3585.66/3598.55 c nodes : 1 (0 internal, 1 leaves)
3585.66/3598.55 c feasible leaves : 0
3585.66/3598.55 c infeas. leaves : 0
3585.66/3598.55 c objective leaves : 0
3585.66/3598.55 c nodes (total) : 1 (0 internal, 1 leaves)
3585.66/3598.55 c nodes left : 1
3585.66/3598.55 c max depth : 0
3585.66/3598.55 c max depth (total): 0
3585.66/3598.55 c backtracks : 0 (0.0%)
3585.66/3598.55 c early backtracks : 0 (0.0%)
3585.66/3598.55 c nodes exc. ref. : 0 (0.0%)
3585.66/3598.55 c delayed cutoffs : 0
3585.66/3598.55 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3585.66/3598.55 c avg switch length: 1.00
3585.66/3598.55 c switching time : 0.00
3585.66/3598.55 c Root Node :
3585.66/3598.55 c First LP value : -
3585.66/3598.55 c First LP Iters : 0
3585.66/3598.55 c First LP Time : 0.00
3585.66/3598.55 c Final Dual Bound : -1.50000000000000e+01
3585.66/3598.55 c Final Root Iters : 0
3585.66/3598.55 c Root LP Estimate : -
3585.66/3598.55 c Solution :
3585.66/3598.55 c Solutions found : 0 (0 improvements)
3585.66/3598.55 c Primal Bound : -
3585.66/3598.55 c Dual Bound : -1.50000000000000e+01
3585.66/3598.55 c Gap : infinite
3585.66/3598.55 c Integrals : Total Avg%
3585.66/3598.55 c primal-dual : 359848.59 100.00
3585.66/3598.55 c primal-ref : - - (not evaluated)
3585.66/3598.55 c dual-ref : - - (not evaluated)
3593.92/3606.81 c Time complete: 3593.95.
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 (42913 MiB free)
memory of node 1: 64473 MiB (54012 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432883-1721144476/watcher-4432883-1721144476 -o /tmp/evaluation-result-4432883-1721144476/solver-4432883-1721144476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858236 --watchdog 3760 pbscip -f HOME/instance-4432883-1721144476.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=862459, runsolver pid=862456
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862460
/proc/meminfo: memFree=99291252/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=105600 memory=64124 CPUtime=0.09 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 13061 0 0 0 8 1 0 0 20 0 1 0 166616576 108134400 16031 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 26400 16031 3291 3540 0 14657 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 105600 KiB
Current children cumulated memory: 64124 KiB
[startup+0.205599 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862460
/proc/meminfo: memFree=99351552/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=150960 memory=108948 CPUtime=0.2 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 24275 0 0 0 17 3 0 0 20 0 1 0 166616576 154583040 27237 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 37740 27237 3291 3540 0 25997 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 150960 KiB
Current children cumulated memory: 108948 KiB
[startup+0.305628 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862460
/proc/meminfo: memFree=99476700/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=192148 memory=150832 CPUtime=0.3 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 34745 0 0 0 26 4 0 0 20 0 1 0 166616576 196759552 37708 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 48037 37708 3291 3540 0 36294 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 192148 KiB
Current children cumulated memory: 150832 KiB
[startup+0.700229 s]
/proc/loadavg: 4.15 4.16 4.14 5/258 862460
/proc/meminfo: memFree=100118380/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=356644 memory=314836 CPUtime=0.69 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 75771 0 0 0 59 10 0 0 20 0 1 0 166616576 365203456 78709 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 89161 78709 3291 3540 0 77418 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 356644 KiB
Current children cumulated memory: 314836 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.16 4.14 5/254 862496
/proc/meminfo: memFree=107312028/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=719372 memory=677768 CPUtime=1.49 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 165446 0 0 0 126 23 0 0 20 0 1 0 166616576 736636928 169442 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 179843 169442 3291 3540 0 168100 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 719372 KiB
Current children cumulated memory: 677768 KiB
[startup+3.10548 s]
/proc/loadavg: 4.14 4.16 4.14 5/258 862507
/proc/meminfo: memFree=105614160/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=1439996 memory=1383328 CPUtime=3.09 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 336245 0 0 0 264 45 0 0 20 0 1 0 166616576 1474555904 345832 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 359999 345832 3291 3540 0 348256 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1439996 KiB
Current children cumulated memory: 1383328 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.16 4.14 5/258 862507
/proc/meminfo: memFree=103659200/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=2054396 memory=2012456 CPUtime=6.28 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 475649 0 0 0 562 66 0 0 20 0 1 0 166616576 2103701504 503114 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 513599 503114 3291 3540 0 501856 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2054396 KiB
Current children cumulated memory: 2012456 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.14 5/258 862509
/proc/meminfo: memFree=97222924/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=4993752 memory=4913764 CPUtime=12.66 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1101988 0 0 0 1103 163 0 0 20 0 1 0 166616576 5113602048 1228441 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 1248438 1228441 3674 3540 0 1236695 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4993752 KiB
Current children cumulated memory: 4913764 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.17 4.14 5/258 862510
/proc/meminfo: memFree=93170560/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=6719044 memory=6613992 CPUtime=25.42 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1195406 0 0 0 2310 232 0 0 20 0 1 0 166616576 6880301056 1653498 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 1679761 1653498 3801 3540 0 1668018 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 6719044 KiB
Current children cumulated memory: 6613992 KiB
[startup+51.1059 s]
/proc/loadavg: 4.17 4.17 4.14 5/258 862515
/proc/meminfo: memFree=90397748/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=7879664 memory=7763956 CPUtime=50.96 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1554029 0 0 0 4796 300 0 0 20 0 1 0 166616576 8068775936 1940989 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 1969916 1940989 3849 3540 0 1958173 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 7879664 KiB
Current children cumulated memory: 7763956 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.17 4.15 5/258 862524
/proc/meminfo: memFree=86441868/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=8572624 memory=8233232 CPUtime=102 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1574587 0 0 0 9884 316 0 0 20 0 1 0 166616576 8778366976 2058308 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2143156 2058308 3865 3540 0 2131413 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 8572624 KiB
Current children cumulated memory: 8233232 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.17 4.15 5/258 862535
/proc/meminfo: memFree=84219496/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9541456 memory=9204312 CPUtime=161.84 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1731311 0 0 0 15833 351 0 0 20 0 1 0 166616576 9770450944 2301078 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2385364 2301078 3913 3540 0 2373621 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9204312 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.17 4.15 5/258 862546
/proc/meminfo: memFree=84214932/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9541456 memory=9204360 CPUtime=221.65 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1731798 0 0 0 21811 354 0 0 20 0 1 0 166616576 9770450944 2301090 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2385364 2301090 3913 3540 0 2373621 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9204360 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/257 862556
/proc/meminfo: memFree=84196428/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9548768 memory=9211488 CPUtime=281.44 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1733645 0 0 0 27789 355 0 0 20 0 1 0 166616576 9777938432 2302872 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2387192 2302872 3913 3540 0 2375449 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 9548768 KiB
Current children cumulated memory: 9211488 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/255 862613
/proc/meminfo: memFree=93425044/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9575476 memory=9237932 CPUtime=341.25 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1740591 0 0 0 33767 358 0 0 20 0 1 0 166616576 9805287424 2309483 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2393869 2309483 3913 3540 0 2382126 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 9575476 KiB
Current children cumulated memory: 9237932 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/255 862625
/proc/meminfo: memFree=93107556/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9616340 memory=9278444 CPUtime=400.99 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1749749 0 0 0 39738 361 0 0 20 0 1 0 166616576 9847132160 2319611 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2404085 2319611 3913 3540 0 2392342 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 9616340 KiB
Current children cumulated memory: 9278444 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/255 862635
/proc/meminfo: memFree=93105040/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9616340 memory=9278444 CPUtime=460.7 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1750012 0 0 0 45706 364 0 0 20 0 1 0 166616576 9847132160 2319611 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2404085 2319611 3913 3540 0 2392342 0
################
# More data... #
################
Current children cumulated memory: 9369728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.17 4.14 5/256 864414
/proc/meminfo: memFree=84185268/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9712788 memory=9372812 CPUtime=3210.67 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1788483 0 0 0 320592 475 0 0 20 0 1 0 166616576 9945894912 2343203 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2428197 2343203 3913 3540 0 2416454 0
Current children cumulated CPU time: 3210.67 s
Current children cumulated vsize: 9712788 KiB
Current children cumulated memory: 9372812 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/254 864424
/proc/meminfo: memFree=84178564/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9714964 memory=9375172 CPUtime=3270.48 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1789456 0 0 0 326571 477 0 0 20 0 1 0 166616576 9948123136 2343793 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2428741 2343793 3913 3540 0 2416998 0
Current children cumulated CPU time: 3270.48 s
Current children cumulated vsize: 9714964 KiB
Current children cumulated memory: 9375172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/254 864435
/proc/meminfo: memFree=84168908/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9718164 memory=9378408 CPUtime=3330.28 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1790641 0 0 0 332549 479 0 0 20 0 1 0 166616576 9951399936 2344602 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2429541 2344602 3913 3540 0 2417798 0
Current children cumulated CPU time: 3330.28 s
Current children cumulated vsize: 9718164 KiB
Current children cumulated memory: 9378408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/254 864446
/proc/meminfo: memFree=84157688/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9721940 memory=9382224 CPUtime=3390.08 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1792082 0 0 0 338526 482 0 0 20 0 1 0 166616576 9955266560 2345556 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2430485 2345556 3913 3540 0 2418742 0
Current children cumulated CPU time: 3390.08 s
Current children cumulated vsize: 9721940 KiB
Current children cumulated memory: 9382224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/254 864456
/proc/meminfo: memFree=84148524/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9725140 memory=9385504 CPUtime=3449.89 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1793304 0 0 0 344504 485 0 0 20 0 1 0 166616576 9958543360 2346376 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2431285 2346376 3913 3540 0 2419542 0
Current children cumulated CPU time: 3449.89 s
Current children cumulated vsize: 9725140 KiB
Current children cumulated memory: 9385504 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/256 864470
/proc/meminfo: memFree=84138764/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9728916 memory=9389404 CPUtime=3509.7 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1794769 0 0 0 350483 487 0 0 20 0 1 0 166616576 9962409984 2347351 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2432229 2347351 3913 3540 0 2420486 0
Current children cumulated CPU time: 3509.7 s
Current children cumulated vsize: 9728916 KiB
Current children cumulated memory: 9389404 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/258 864485
/proc/meminfo: memFree=83712596/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9732692 memory=9393312 CPUtime=3569.51 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1796174 0 0 0 356461 490 0 0 20 0 1 0 166616576 9966276608 2348328 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2433173 2348328 3913 3540 0 2421430 0
Current children cumulated CPU time: 3569.51 s
Current children cumulated vsize: 9732692 KiB
Current children cumulated memory: 9393312 KiB
[startup+3606.94 s]
# the end of solver process 862459 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.91 s, system=5.1635 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=862459] ppid=862456 vsize=9732692 memory=9393312 CPUtime=3571.21 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1796186 0 0 0 356631 490 0 0 20 0 1 0 166616576 9966276608 2348328 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2433173 2348328 3913 3540 0 2421430 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 9732692 KiB
Current children cumulated memory: 9393312 KiB
[startup+3596.8 s]
/proc/loadavg: 4.01 4.09 4.10 4/251 864517
/proc/meminfo: memFree=108550176/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9734292 memory=9394836 CPUtime=3583.96 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1796706 0 0 0 357906 490 0 0 20 0 1 0 166616576 9967915008 2348709 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2433573 2348709 3913 3540 0 2421830 0
Current children cumulated CPU time: 3583.96 s
Current children cumulated vsize: 9734292 KiB
Current children cumulated memory: 9394836 KiB
[startup+3603.2 s]
/proc/loadavg: 3.93 4.07 4.09 4/251 864519
/proc/meminfo: memFree=108619508/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9696208 memory=9358284 CPUtime=3590.33 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1809615 0 0 0 358541 492 0 0 20 0 1 0 166616576 9928916992 2339571 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2424052 2339571 3913 3540 0 2412309 0
Current children cumulated CPU time: 3590.33 s
Current children cumulated vsize: 9696208 KiB
Current children cumulated memory: 9358284 KiB
[startup+3604.8 s]
/proc/loadavg: 3.85 4.05 4.09 4/251 864519
/proc/meminfo: memFree=108651088/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9662476 memory=9326740 CPUtime=3591.93 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1810695 0 0 0 358701 492 0 0 20 0 1 0 166616576 9894375424 2331685 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2415619 2331685 3913 3540 0 2403876 0
Current children cumulated CPU time: 3591.93 s
Current children cumulated vsize: 9662476 KiB
Current children cumulated memory: 9326740 KiB
[startup+3605.6 s]
/proc/loadavg: 3.85 4.05 4.09 4/252 864520
/proc/meminfo: memFree=108651088/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=9399876 memory=9064592 CPUtime=3592.73 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1812082 0 0 0 358780 493 0 0 20 0 1 0 166616576 9625473024 2266148 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2349969 2266148 3929 3540 0 2338226 0
Current children cumulated CPU time: 3592.73 s
Current children cumulated vsize: 9399876 KiB
Current children cumulated memory: 9064592 KiB
[startup+3606.4 s]
/proc/loadavg: 3.85 4.05 4.09 4/252 864520
/proc/meminfo: memFree=109345408/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=8623368 memory=8288084 CPUtime=3593.53 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1814699 0 0 0 358857 496 0 0 20 0 1 0 166616576 8830328832 2072021 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 2155842 2072021 3929 3540 0 2144099 0
Current children cumulated CPU time: 3593.53 s
Current children cumulated vsize: 8623368 KiB
Current children cumulated memory: 8288084 KiB
[startup+3606.8 s]
/proc/loadavg: 3.85 4.05 4.09 4/252 864520
/proc/meminfo: memFree=109345408/131524600 swapFree=131071996/131071996
[pid=862459] ppid=862456 vsize=6177940 memory=5614012 CPUtime=3593.92 cores=1,3
/proc/862459/stat : 862459 (pbscip) R 862456 862459 858224 0 -1 4194304 1816359 0 0 0 358890 502 0 0 20 0 1 0 166616576 6326210560 1404527 134679101440 4194304 18693293 140721905958848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59142144 140721905968132 140721905968231 140721905968231 140721905975246 0
/proc/862459/statm: 1544485 1404015 3929 3540 0 1532742 0
Current children cumulated CPU time: 3593.92 s
Current children cumulated vsize: 6177940 KiB
Current children cumulated memory: 5614012 KiB
[startup+3606.9 s]*
/proc/loadavg: 3.85 4.05 4.09 4/252 864520
/proc/meminfo: memFree=116396864/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.94
CPU time (s): 3594.07
CPU user time (s): 3588.91
CPU system time (s): 5.1635
CPU usage (%): 99.6433
Max. virtual memory (cumulated for all children) (KiB): 9768728
Max. memory (cumulated for all children) (KiB): 9430676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.91
system time used= 5.1635
maximum resident set size= 9430676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1816364
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= 2894
# summary of solver processes directly reported to runsolver:
# pid: 862459
# total CPU time (s): 3594.07
# total CPU user time (s): 3588.91
# total CPU system time (s): 5.1635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67674 second user time and 16.343 second system time
The end