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-4432891-1721143653.opb>
5.87/5.98 c original problem has 1000400 variables (1000400 bin, 0 int, 0 impl, 0 cont) and 2000307 constraints
5.87/5.98 c problem read in 5.98
11.66/11.72 c presolving:
16.06/16.17 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
20.63/20.74 c (20.7s) running MILP presolver
24.43/24.57 c (24.5s) MILP presolver found nothing
31.91/32.06 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
50.45/50.62 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
65.30/65.51 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.14/81.41 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.52/84.85 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.47/94.85 c (94.8s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
94.47/94.85 c (94.8s) probing aborted: 50/50 successive totally useless probings
94.47/94.85 c (94.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
96.06/96.49 c (96.5s) no symmetry present (symcode time: 0.67)
96.76/97.18 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
96.76/97.18 c 500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
96.76/97.18 c 0 implications, 1455401 cliques
96.76/97.18 c presolved problem has 500150 variables (500150 bin, 0 int, 0 impl, 0 cont) and 500454 constraints
96.76/97.18 c 5250 constraints of type <knapsack>
96.76/97.18 c 101 constraints of type <setppc>
96.76/97.18 c 490050 constraints of type <and>
96.76/97.18 c 3 constraints of type <linear>
96.76/97.18 c 5050 constraints of type <logicor>
96.76/97.18 c transformed objective value is always integral (scale: 2)
96.76/97.18 c Presolving Time: 85.83
96.76/97.18 c - non default parameters ----------------------------------------------------------------------
96.76/97.18 c # SCIP version 10.0.0
96.76/97.18 c
96.76/97.18 c # maximal time in seconds to run
96.76/97.18 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
96.76/97.18 c limits/time = 3596.997009
96.76/97.18 c
96.76/97.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
96.76/97.18 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
96.76/97.18 c limits/memory = 27900
96.76/97.18 c
96.76/97.18 c # belongs reading time to solving time?
96.76/97.18 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
96.76/97.18 c timing/reading = TRUE
96.76/97.18 c
96.76/97.18 c -----------------------------------------------------------------------------------------------
96.76/97.18 c start solving
96.95/97.34 c
3581.41/3598.41 c
3581.41/3598.41 c SCIP Status : solving was interrupted [time limit reached]
3581.41/3598.41 c Solving Time (sec) : 3598.39
3581.41/3598.41 c Solving Nodes : 1
3581.41/3598.41 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3581.41/3598.41 c Dual Bound : -1.50000000000000e+01
3581.41/3598.41 c Gap : infinite
3581.41/3598.41 s UNKNOWN
3581.41/3598.41 c SCIP Status : solving was interrupted [time limit reached]
3581.41/3598.41 c Total Time : 3598.39
3581.41/3598.41 c solving : 3598.39
3581.41/3598.41 c presolving : 85.83 (included in solving)
3581.41/3598.41 c reading : 5.98 (included in solving)
3581.41/3598.41 c copying : 0.00 (0 times copied the problem)
3581.41/3598.41 c Original Problem :
3581.41/3598.41 c Problem name : HOME/instance-4432891-1721143653.opb
3581.41/3598.41 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3581.41/3598.41 c Constraints : 2000307 initial, 2000307 maximal
3581.41/3598.44 c Objective : minimize, 29800 non-zeros (abs.min = 1, abs.max = 1.74677e+08)
3581.41/3598.44 c Presolved Problem :
3581.41/3598.44 c Problem name : t_HOME/instance-4432891-1721143653.opb
3581.41/3598.44 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
3581.41/3598.44 c Constraints : 500454 initial, 500456 maximal
3581.41/3598.45 c Objective : minimize, 14850 non-zeros (abs.min = 4, abs.max = 1.74677e+08)
3581.41/3598.45 c Nonzeros : 2035450 constraint, 2910900 clique table
3581.41/3598.45 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3581.41/3598.45 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c gateextraction : 13.99 0.00 4 0 0 0 0 0 3890700 980100 0 0
3581.41/3598.45 c implics : 0.09 0.00 6 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c milp : 8.08 0.00 1 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c trivial : 0.19 0.00 7 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c dualfix : 0.18 0.00 7 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c probing : 7.25 0.02 1 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c pseudoobj : 0.01 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c symmetry : 1.64 0.00 1 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c vbounds : 1.36 0.00 2 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c knapsack : 12.70 0.02 13 0 0 0 0 0 980100 2910600 0 0
3581.41/3598.45 c setppc : 4.49 0.00 13 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c and : 16.96 0.00 6 0 485100 0 0 0 490050 0 0 0
3581.41/3598.45 c linear : 9.66 1.26 9 300 14850 0 300 0 29703 0 4950 14850
3581.41/3598.45 c logicor : 1.99 0.01 11 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c components : 0.54 0.00 1 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c root node : - - - 0 - - 0 - - - - -
3581.41/3598.45 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3581.41/3598.45 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3581.41/3598.45 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3581.41/3598.45 c knapsack : 5250 5250 0 377082 0 0 0 3 0 3 0 0 0 0 0
3581.41/3598.45 c setppc : 101 101 0 371456 0 0 0 1 92 0 0 0 0 0 0
3581.41/3598.45 c and : 490050 490050 0 377079 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c linear : 3 3 0 377079 0 0 0 3 0 1 0 0 0 0 0
3581.41/3598.45 c logicor : 5050+ 5052 0 6650 0 0 0 0 94 0 0 0 0 0 0
3581.41/3598.45 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3581.41/3598.45 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c knapsack : 0.30 0.02 0.01 0.27 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c setppc : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c and : 3329.04 0.00 1.66 3327.39 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c linear : 1.39 1.26 0.00 0.13 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c logicor : 0.06 0.01 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c fixedvar : 0.04 0.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c components : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c Propagators : #Propagate #ResProp Cutoffs DomReds
3581.41/3598.45 c dualfix : 1 0 0 0
3581.41/3598.45 c genvbounds : 0 0 0 0
3581.41/3598.45 c nlobbt : 0 0 0 0
3581.41/3598.45 c obbt : 0 0 0 0
3581.41/3598.45 c probing : 0 0 0 0
3581.41/3598.45 c pseudoobj : 1 0 0 0
3581.41/3598.45 c redcost : 0 0 0 0
3581.41/3598.45 c rootredcost : 0 0 0 0
3581.41/3598.45 c symmetry : 0 0 0 0
3581.41/3598.45 c vbounds : 10703 0 0 0
3581.41/3598.45 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3581.41/3598.45 c dualfix : 0.20 0.00 0.18 0.02 0.00 0.00
3581.41/3598.45 c genvbounds : 0.07 0.00 0.00 0.07 0.00 0.00
3581.41/3598.45 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3581.41/3598.45 c probing : 7.27 0.02 7.25 0.00 0.00 0.00
3581.41/3598.45 c pseudoobj : 33.07 0.00 0.01 33.06 0.00 0.00
3581.41/3598.45 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3581.41/3598.45 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3581.41/3598.45 c symmetry : 1.78 0.00 1.64 0.14 0.00 0.00
3581.41/3598.45 c vbounds : 1.65 0.00 1.36 0.29 0.00 0.00
3581.41/3598.45 c Symmetry :
3581.41/3598.45 c orbitopal red. : 0 reductions applied, 0 cutoffs
3581.41/3598.45 c orbital reduction: 0 reductions applied, 0 cutoffs
3581.41/3598.45 c lexicographic red: 0 reductions applied, 0 cutoffs
3581.41/3598.45 c shadow tree time : 0.00 s
3581.41/3598.45 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3581.41/3598.45 c propagation : 0.01 2 2 - 2 2713.5 0 0.0 - - -
3581.41/3598.45 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3581.41/3598.45 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3581.41/3598.45 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3581.41/3598.45 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3581.41/3598.45 c applied globally : 0.00 - - 0 2 2713.5 - - 0 - -
3581.41/3598.45 c applied locally : - - - 0 0 0.0 - - 0 - -
3581.41/3598.45 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3581.41/3598.45 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3581.41/3598.45 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c > cmir : - - - - - - - 0 0 0 0 0 -
3581.41/3598.45 c > flowcover : - - - - - - - 0 0 0 0 0 -
3581.41/3598.45 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3581.41/3598.45 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3581.41/3598.45 c > strongcg : - - - - - - - 0 0 0 0 0 -
3581.41/3598.45 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3581.41/3598.45 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3581.41/3598.45 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c Pricers : ExecTime SetupTime Calls Vars
3581.41/3598.45 c problem variables: 0.00 - 0 0
3581.41/3598.45 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3581.41/3598.45 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3581.41/3598.45 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3581.41/3598.45 c LP solutions : 0.00 - - 0 0
3581.41/3598.45 c relax solutions : 0.00 - - 0 0
3581.41/3598.45 c pseudo solutions : 0.00 - - 0 0
3581.41/3598.45 c strong branching : 0.00 - - 0 0
3581.41/3598.45 c actconsdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c adaptivediving : 0.00 0.00 0 0 0
3581.41/3598.45 c alns : 0.00 0.00 0 0 0
3581.41/3598.45 c bound : 0.00 0.00 0 0 0
3581.41/3598.45 c clique : 188.78 0.00 1 0 0
3581.41/3598.45 c coefdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c completesol : 0.00 0.00 0 0 0
3581.41/3598.45 c conflictdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c crossover : 0.00 0.00 0 0 0
3581.41/3598.45 c dins : 0.00 0.00 0 0 0
3581.41/3598.45 c distributiondivin: 0.00 0.00 0 0 0
3581.41/3598.45 c dps : 0.00 0.00 0 0 0
3581.41/3598.45 c dualval : 0.00 0.00 0 0 0
3581.41/3598.45 c farkasdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c feasjump : 0.00 0.00 0 0 0
3581.41/3598.45 c feaspump : 0.00 0.00 0 0 0
3581.41/3598.45 c fixandinfer : 0.00 0.00 0 0 0
3581.41/3598.45 c fracdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c gins : 0.00 0.00 0 0 0
3581.41/3598.45 c guideddiving : 0.00 0.00 0 0 0
3581.41/3598.45 c indcoefdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c indicator : 0.00 0.00 0 0 0
3581.41/3598.45 c indicatordiving : 0.00 0.00 0 0 0
3581.41/3598.45 c indoneopt : 0.00 0.00 0 0 0
3581.41/3598.45 c indrounding : 0.00 0.00 0 0 0
3581.41/3598.45 c indtwoopt : 0.00 0.00 0 0 0
3581.41/3598.45 c intdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c intshifting : 0.00 0.00 0 0 0
3581.41/3598.45 c linesearchdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c localbranching : 0.00 0.00 0 0 0
3581.41/3598.45 c locks : 69.84 0.00 1 0 0
3581.41/3598.45 c lpface : 0.00 0.00 0 0 0
3581.41/3598.45 c mpec : 0.00 0.00 0 0 0
3581.41/3598.45 c multistart : 0.00 0.00 0 0 0
3581.41/3598.45 c mutation : 0.00 0.00 0 0 0
3581.41/3598.45 c nlpdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c objpscostdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c octane : 0.00 0.00 0 0 0
3581.41/3598.45 c ofins : 0.00 0.00 0 0 0
3581.41/3598.45 c oneopt : 0.00 0.00 0 0 0
3581.41/3598.45 c padm : 0.00 0.00 0 0 0
3581.41/3598.45 c proximity : 0.00 0.00 0 0 0
3581.41/3598.45 c pscostdiving : 0.00 0.00 0 0 0
3581.41/3598.45 c randrounding : 0.00 0.00 0 0 0
3581.41/3598.45 c rens : 0.00 0.00 0 0 0
3581.41/3598.45 c reoptsols : 0.00 0.00 0 0 0
3581.41/3598.45 c repair : 0.00 0.00 0 0 0
3581.41/3598.45 c rins : 0.00 0.00 0 0 0
3581.41/3598.45 c rootsoldiving : 0.00 0.00 0 0 0
3581.41/3598.45 c rounding : 0.00 0.00 0 0 0
3581.41/3598.45 c scheduler : 0.00 0.00 0 0 0
3581.41/3598.45 c shiftandpropagate: 0.00 0.00 0 0 0
3581.41/3598.45 c shifting : 0.00 0.00 0 0 0
3581.41/3598.45 c simplerounding : 0.00 0.00 0 0 0
3581.41/3598.45 c smallcard : 0.00 0.00 0 0 0
3581.41/3598.45 c subnlp : 0.00 0.00 0 0 0
3581.41/3598.45 c trivial : 0.52 0.00 2 0 0
3581.41/3598.45 c trivialnegation : 0.00 0.00 0 0 0
3581.41/3598.45 c trustregion : 0.00 0.00 0 0 0
3581.41/3598.45 c trysol : 0.00 0.00 0 0 0
3581.41/3598.45 c twoopt : 0.00 0.00 0 0 0
3581.41/3598.45 c undercover : 0.00 0.00 0 0 0
3581.41/3598.45 c vbounds : 3209.09 0.00 1 0 0
3581.41/3598.45 c veclendiving : 0.00 0.00 0 0 0
3581.41/3598.45 c zeroobj : 0.00 0.00 0 0 0
3581.41/3598.45 c zirounding : 0.00 0.00 0 0 0
3581.41/3598.45 c other solutions : - - - 0 -
3581.41/3598.45 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3581.41/3598.45 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
3581.41/3598.45 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
3581.41/3598.45 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
3581.41/3598.45 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
3581.41/3598.45 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
3581.41/3598.45 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
3581.41/3598.45 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
3581.41/3598.45 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
3581.41/3598.45 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
3581.41/3598.45 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3581.41/3598.45 c primal LP : 0.00 0 0 0.00 - 0.00 0
3581.41/3598.45 c dual LP : 0.00 0 0 0.00 - 0.00 0
3581.41/3598.45 c lex dual LP : 0.00 0 0 0.00 -
3581.41/3598.45 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3581.41/3598.45 c resolve instable : 0.00 0 0 0.00 -
3581.41/3598.45 c diving/probing LP: 0.00 0 0 0.00 -
3581.41/3598.45 c strong branching : 0.00 0 0 0.00 - - - 0
3581.41/3598.45 c (at root node) : - 0 0 0.00 -
3581.41/3598.45 c conflict analysis: 0.00 0 0 0.00 -
3581.41/3598.45 c B&B Tree :
3581.41/3598.45 c number of runs : 1
3581.41/3598.45 c nodes : 1 (0 internal, 1 leaves)
3581.41/3598.45 c feasible leaves : 0
3581.41/3598.45 c infeas. leaves : 0
3581.41/3598.45 c objective leaves : 0
3581.41/3598.45 c nodes (total) : 1 (0 internal, 1 leaves)
3581.41/3598.45 c nodes left : 1
3581.41/3598.45 c max depth : 0
3581.41/3598.45 c max depth (total): 0
3581.41/3598.45 c backtracks : 0 (0.0%)
3581.41/3598.45 c early backtracks : 0 (0.0%)
3581.41/3598.45 c nodes exc. ref. : 0 (0.0%)
3581.41/3598.45 c delayed cutoffs : 0
3581.41/3598.45 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3581.41/3598.45 c avg switch length: 1.00
3581.41/3598.45 c switching time : 0.00
3581.41/3598.45 c Root Node :
3581.41/3598.45 c First LP value : -
3581.41/3598.45 c First LP Iters : 0
3581.41/3598.45 c First LP Time : 0.00
3581.41/3598.45 c Final Dual Bound : -1.50000000000000e+01
3581.41/3598.45 c Final Root Iters : 0
3581.41/3598.45 c Root LP Estimate : -
3581.41/3598.45 c Solution :
3581.41/3598.45 c Solutions found : 0 (0 improvements)
3581.41/3598.45 c Primal Bound : -
3581.41/3598.45 c Dual Bound : -1.50000000000000e+01
3581.41/3598.45 c Gap : infinite
3581.41/3598.45 c Integrals : Total Avg%
3581.41/3598.45 c primal-dual : 359838.57 100.00
3581.41/3598.45 c primal-ref : - - (not evaluated)
3581.41/3598.45 c dual-ref : - - (not evaluated)
3588.77/3605.83 c Time complete: 3588.82.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (48751 MiB free)
memory of node 1: 64510 MiB (54270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432891-1721143653/watcher-4432891-1721143653 -o /tmp/evaluation-result-4432891-1721143653/solver-4432891-1721143653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721140065-857046 --watchdog 3760 pbscip -f HOME/instance-4432891-1721143653.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=859045, runsolver pid=859042
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.38 4.33 4.18 5/256 859046
/proc/meminfo: memFree=106416412/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=113368 memory=71552 CPUtime=0.1 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 14929 0 0 0 8 2 0 0 20 0 1 0 166525562 116088832 17888 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 28342 17888 3283 3540 0 16599 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113368 KiB
Current children cumulated memory: 71552 KiB
[startup+0.205683 s]*
/proc/loadavg: 4.38 4.33 4.18 4/254 859046
/proc/meminfo: memFree=108224812/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=168224 memory=126928 CPUtime=0.2 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 28761 0 0 0 17 3 0 0 20 0 1 0 166525562 172261376 31732 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 42056 31732 3283 3540 0 30313 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 168224 KiB
Current children cumulated memory: 126928 KiB
[startup+0.305537 s]*
/proc/loadavg: 4.38 4.33 4.18 5/255 859060
/proc/meminfo: memFree=108275096/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=220084 memory=178548 CPUtime=0.3 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 41660 0 0 0 25 5 0 0 20 0 1 0 166525562 225366016 44637 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 55021 44637 3283 3540 0 43278 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 220084 KiB
Current children cumulated memory: 178548 KiB
[startup+0.700243 s]
/proc/loadavg: 4.38 4.33 4.18 6/254 859060
/proc/meminfo: memFree=108387644/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=412536 memory=369452 CPUtime=0.69 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 88410 0 0 0 57 12 0 0 20 0 1 0 166525562 422436864 92363 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 103134 92363 3283 3540 0 91391 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 412536 KiB
Current children cumulated memory: 369452 KiB
[startup+1.50023 s]
/proc/loadavg: 4.38 4.33 4.18 5/251 859074
/proc/meminfo: memFree=115324620/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=798024 memory=755552 CPUtime=1.49 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 181318 0 0 0 124 25 0 0 20 0 1 0 166525562 817176576 188888 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 199506 188888 3283 3540 0 187763 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 798024 KiB
Current children cumulated memory: 755552 KiB
[startup+3.10568 s]
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=113430072/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=1550820 memory=1508148 CPUtime=3.09 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 360836 0 0 0 258 51 0 0 20 0 1 0 166525562 1588039680 377037 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 387705 377037 3283 3540 0 375962 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1550820 KiB
Current children cumulated memory: 1508148 KiB
[startup+6.30022 s]
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=109817984/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=2293816 memory=2249420 CPUtime=6.27 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 549027 0 0 0 548 79 0 0 20 0 1 0 166525562 2348867584 562355 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 573454 562355 3587 3540 0 561711 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2293816 KiB
Current children cumulated memory: 2249420 KiB
[startup+12.7002 s]
/proc/loadavg: 4.40 4.34 4.19 5/256 859139
/proc/meminfo: memFree=103174112/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=5052128 memory=4970784 CPUtime=12.65 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1114783 0 0 0 1103 162 0 0 20 0 1 0 166525562 5173379072 1242696 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 1263032 1242696 3667 3540 0 1251289 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 5052128 KiB
Current children cumulated memory: 4970784 KiB
[startup+25.5003 s]
/proc/loadavg: 4.39 4.34 4.19 5/257 859356
/proc/meminfo: memFree=99109672/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=5744016 memory=5631872 CPUtime=25.42 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1197614 0 0 0 2308 234 0 0 20 0 1 0 166525562 5881872384 1407968 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 1436004 1407968 3794 3540 0 1424261 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 5744016 KiB
Current children cumulated memory: 5631872 KiB
[startup+51.1059 s]
/proc/loadavg: 4.32 4.33 4.19 5/258 859362
/proc/meminfo: memFree=82476432/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=7879664 memory=7763592 CPUtime=50.95 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1550269 0 0 0 4799 296 0 0 20 0 1 0 166525562 8068775936 1940898 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 1969916 1940898 3842 3540 0 1958173 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 7879664 KiB
Current children cumulated memory: 7763592 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.32 4.19 5/258 859371
/proc/meminfo: memFree=79174364/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=8572624 memory=8229808 CPUtime=101.94 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1572301 0 0 0 9884 310 0 0 20 0 1 0 166525562 8778366976 2057452 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2143156 2057452 3858 3540 0 2131413 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 8572624 KiB
Current children cumulated memory: 8229808 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.28 4.18 5/259 859440
/proc/meminfo: memFree=73389612/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9541456 memory=9200888 CPUtime=161.78 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1730349 0 0 0 15831 347 0 0 20 0 1 0 166525562 9770450944 2300222 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2385364 2300222 3906 3540 0 2373621 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9200888 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.24 4.17 5/259 859452
/proc/meminfo: memFree=73222560/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9541456 memory=9201368 CPUtime=221.49 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1731035 0 0 0 21801 348 0 0 20 0 1 0 166525562 9770450944 2300342 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2385364 2300342 3906 3540 0 2373621 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9201368 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/259 859462
/proc/meminfo: memFree=73216372/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9545696 memory=9205880 CPUtime=281.2 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1732735 0 0 0 27771 349 0 0 20 0 1 0 166525562 9774792704 2301470 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2386424 2301470 3906 3540 0 2374681 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 9545696 KiB
Current children cumulated memory: 9205880 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/259 859473
/proc/meminfo: memFree=73174776/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9566260 memory=9226612 CPUtime=340.91 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1738695 0 0 0 33740 351 0 0 20 0 1 0 166525562 9795850240 2306653 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2391565 2306653 3906 3540 0 2379822 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 9566260 KiB
Current children cumulated memory: 9226612 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.19 4.17 5/257 859485
/proc/meminfo: memFree=73070712/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9616340 memory=9276272 CPUtime=400.63 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1750464 0 0 0 39709 354 0 0 20 0 1 0 166525562 9847132160 2319068 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2404085 2319068 3906 3540 0 2392342 0
Current children cumulated CPU time: 400.63 s
Current children cumulated vsize: 9616340 KiB
Current children cumulated memory: 9276272 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/254 859495
/proc/meminfo: memFree=73068748/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9616340 memory=9276848 CPUtime=460.21 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1751168 0 0 0 45666 355 0 0 20 0 1 0 166525562 9847132160 2319212 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2404085 2319212 3906 3540 0 2392342 0
################
# More data... #
################
/proc/loadavg: 4.13 4.10 4.09 5/256 860568
/proc/meminfo: memFree=56265600/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9704208 memory=9379060 CPUtime=3147 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1838694 0 0 0 314279 421 0 0 20 0 1 0 166525562 9937108992 2344765 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2426052 2344765 3906 3540 0 2414309 0
Current children cumulated CPU time: 3147 s
Current children cumulated vsize: 9704208 KiB
Current children cumulated memory: 9379060 KiB
[startup+3222.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/256 860580
/proc/meminfo: memFree=56259008/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9707412 memory=9382292 CPUtime=3206.76 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1841789 0 0 0 320254 422 0 0 20 0 1 0 166525562 9940389888 2345573 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2426853 2345573 3906 3540 0 2415110 0
Current children cumulated CPU time: 3206.76 s
Current children cumulated vsize: 9707412 KiB
Current children cumulated memory: 9382292 KiB
[startup+3282.3 s]
/proc/loadavg: 4.29 4.17 4.12 5/256 860590
/proc/meminfo: memFree=56248744/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9709588 memory=9385864 CPUtime=3266.53 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1844409 0 0 0 326229 424 0 0 20 0 1 0 166525562 9942618112 2346466 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2427397 2346466 3906 3540 0 2415654 0
Current children cumulated CPU time: 3266.53 s
Current children cumulated vsize: 9709588 KiB
Current children cumulated memory: 9385864 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/256 860600
/proc/meminfo: memFree=56239360/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9712788 memory=9389784 CPUtime=3326.3 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1847609 0 0 0 332205 425 0 0 20 0 1 0 166525562 9945894912 2347446 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2428197 2347446 3906 3540 0 2416454 0
Current children cumulated CPU time: 3326.3 s
Current children cumulated vsize: 9712788 KiB
Current children cumulated memory: 9389784 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/256 860613
/proc/meminfo: memFree=56229412/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9716564 memory=9395672 CPUtime=3386.06 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1850737 0 0 0 338180 426 0 0 20 0 1 0 166525562 9949761536 2348918 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2429141 2348918 3906 3540 0 2417398 0
Current children cumulated CPU time: 3386.06 s
Current children cumulated vsize: 9716564 KiB
Current children cumulated memory: 9395672 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/255 861005
/proc/meminfo: memFree=56217296/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9718740 memory=9398736 CPUtime=3445.83 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1853716 0 0 0 344155 428 0 0 20 0 1 0 166525562 9951989760 2349684 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2429685 2349684 3906 3540 0 2417942 0
Current children cumulated CPU time: 3445.83 s
Current children cumulated vsize: 9718740 KiB
Current children cumulated memory: 9398736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/256 861016
/proc/meminfo: memFree=56208324/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9721940 memory=9401976 CPUtime=3505.59 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1856791 0 0 0 350130 429 0 0 20 0 1 0 166525562 9955266560 2350494 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2430485 2350494 3906 3540 0 2418742 0
Current children cumulated CPU time: 3505.59 s
Current children cumulated vsize: 9721940 KiB
Current children cumulated memory: 9401976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 861027
/proc/meminfo: memFree=56199812/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9725716 memory=9405796 CPUtime=3565.36 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1860068 0 0 0 356105 431 0 0 20 0 1 0 166525562 9959133184 2351449 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2431429 2351449 3906 3540 0 2419686 0
Current children cumulated CPU time: 3565.36 s
Current children cumulated vsize: 9725716 KiB
Current children cumulated memory: 9405796 KiB
[startup+3605.84 s]
# the end of solver process 859045 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.37 s, system=4.46348 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.10 5/256 861027
/proc/meminfo: memFree=56199544/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9725716 memory=9405796 CPUtime=3567.06 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1860135 0 0 0 356275 431 0 0 20 0 1 0 166525562 9959133184 2351449 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2431429 2351449 3906 3540 0 2419686 0
Current children cumulated CPU time: 3567.06 s
Current children cumulated vsize: 9725716 KiB
Current children cumulated memory: 9405796 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 861028
/proc/meminfo: memFree=56196544/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9727316 memory=9407408 CPUtime=3579.81 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1861003 0 0 0 357549 432 0 0 20 0 1 0 166525562 9960771584 2351852 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2431829 2351852 3906 3540 0 2420086 0
Current children cumulated CPU time: 3579.81 s
Current children cumulated vsize: 9727316 KiB
Current children cumulated memory: 9407408 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.12 4.09 5/256 861030
/proc/meminfo: memFree=56105288/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9696208 memory=9376956 CPUtime=3583 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1873132 0 0 0 357866 434 0 0 20 0 1 0 166525562 9928916992 2344239 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2424052 2344239 3906 3540 0 2412309 0
Current children cumulated CPU time: 3583 s
Current children cumulated vsize: 9696208 KiB
Current children cumulated memory: 9376956 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 861030
/proc/meminfo: memFree=55583556/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9662476 memory=9345792 CPUtime=3586.19 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1873349 0 0 0 358185 434 0 0 20 0 1 0 166525562 9894375424 2336448 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2415619 2336448 3906 3540 0 2403876 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 9662476 KiB
Current children cumulated memory: 9345792 KiB
[startup+3604.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 861030
/proc/meminfo: memFree=55798940/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=9152284 memory=8836052 CPUtime=3587.78 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1873489 0 0 0 358342 436 0 0 20 0 1 0 166525562 9371938816 2209013 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2288071 2209013 3922 3540 0 2276328 0
Current children cumulated CPU time: 3587.78 s
Current children cumulated vsize: 9152284 KiB
Current children cumulated memory: 8836052 KiB
[startup+3605.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 861030
/proc/meminfo: memFree=56577380/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=8206300 memory=7890708 CPUtime=3588.58 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1874142 0 0 0 358418 440 0 0 20 0 1 0 166525562 8403251200 1972677 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 2051575 1972677 3922 3540 0 2039832 0
Current children cumulated CPU time: 3588.58 s
Current children cumulated vsize: 8206300 KiB
Current children cumulated memory: 7890708 KiB
[startup+3605.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 861030
/proc/meminfo: memFree=56577380/131524600 swapFree=131071996/131071996
[pid=859045] ppid=859042 vsize=7605052 memory=7287412 CPUtime=3588.77 cores=1,3
/proc/859045/stat : 859045 (pbscip) R 859042 859045 857034 0 -1 4194304 1875228 0 0 0 358435 442 0 0 20 0 1 0 166525562 7787573248 1822109 134679101440 4194304 18693293 140727849567744 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58056704 140727849571332 140727849571431 140727849571431 140727849578446 0
/proc/859045/statm: 1901007 1821853 3922 3540 0 1889264 0
Current children cumulated CPU time: 3588.77 s
Current children cumulated vsize: 7605052 KiB
Current children cumulated memory: 7287412 KiB
Child status: 0
Real time (s): 3605.84
CPU time (s): 3588.83
CPU user time (s): 3584.37
CPU system time (s): 4.46348
CPU usage (%): 99.5282
Max. virtual memory (cumulated for all children) (KiB): 9768728
Max. memory (cumulated for all children) (KiB): 9449348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.37
system time used= 4.46347
maximum resident set size= 9449348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1875304
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= 141
involuntary context switches= 3016
# summary of solver processes directly reported to runsolver:
# pid: 859045
# total CPU time (s): 3588.83
# total CPU user time (s): 3584.37
# total CPU system time (s): 4.46348
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01713 second user time and 19.4362 second system time
The end