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-4432882-1721141208.opb>
6.67/6.70 c original problem has 1000400 variables (1000400 bin, 0 int, 0 impl, 0 cont) and 2000307 constraints
6.67/6.70 c problem read in 6.70
12.86/12.99 c presolving:
17.44/17.58 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
22.33/22.41 c (22.4s) running MILP presolver
26.32/26.43 c (26.4s) MILP presolver found nothing
34.20/34.30 c (round 2, exhaustive) 15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 101 clqs
53.53/53.74 c (round 3, medium) 15150 del vars, 1009803 del conss, 2910600 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
68.98/69.22 c (round 4, exhaustive) 15150 del vars, 4900503 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
84.43/84.78 c (round 5, exhaustive) 500250 del vars, 5385603 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
87.73/88.09 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
97.49/97.81 c (97.8s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
97.49/97.81 c (97.8s) probing aborted: 50/50 successive totally useless probings
97.49/97.81 c (97.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
98.98/99.37 c (99.3s) no symmetry present (symcode time: 0.63)
99.68/100.03 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
99.68/100.03 c 500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
99.68/100.03 c 0 implications, 1455401 cliques
99.68/100.03 c presolved problem has 500150 variables (500150 bin, 0 int, 0 impl, 0 cont) and 500454 constraints
99.68/100.03 c 5250 constraints of type <knapsack>
99.68/100.03 c 101 constraints of type <setppc>
99.68/100.03 c 490050 constraints of type <and>
99.68/100.03 c 3 constraints of type <linear>
99.68/100.03 c 5050 constraints of type <logicor>
99.68/100.03 c transformed objective value is always integral (scale: 2)
99.68/100.03 c Presolving Time: 87.44
99.68/100.03 c - non default parameters ----------------------------------------------------------------------
99.68/100.03 c # SCIP version 10.0.0
99.68/100.03 c
99.68/100.03 c # maximal time in seconds to run
99.68/100.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
99.68/100.03 c limits/time = 3596.998008
99.68/100.03 c
99.68/100.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
99.68/100.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
99.68/100.03 c limits/memory = 27900
99.68/100.03 c
99.68/100.03 c # belongs reading time to solving time?
99.68/100.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
99.68/100.03 c timing/reading = TRUE
99.68/100.03 c
99.68/100.03 c -----------------------------------------------------------------------------------------------
99.68/100.03 c start solving
99.78/100.18 c
3588.23/3598.61 c
3588.23/3598.61 c SCIP Status : solving was interrupted [time limit reached]
3588.23/3598.61 c Solving Time (sec) : 3598.58
3588.23/3598.61 c Solving Nodes : 1
3588.23/3598.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.23/3598.61 c Dual Bound : -1.50000000000000e+01
3588.23/3598.61 c Gap : infinite
3588.23/3598.61 s UNKNOWN
3588.23/3598.61 c SCIP Status : solving was interrupted [time limit reached]
3588.23/3598.61 c Total Time : 3598.58
3588.23/3598.61 c solving : 3598.58
3588.23/3598.61 c presolving : 87.44 (included in solving)
3588.23/3598.61 c reading : 6.70 (included in solving)
3588.23/3598.61 c copying : 0.00 (0 times copied the problem)
3588.23/3598.61 c Original Problem :
3588.23/3598.61 c Problem name : HOME/instance-4432882-1721141208.opb
3588.23/3598.61 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.23/3598.61 c Constraints : 2000307 initial, 2000307 maximal
3588.23/3598.64 c Objective : minimize, 29800 non-zeros (abs.min = 1, abs.max = 1.37388e+08)
3588.23/3598.64 c Presolved Problem :
3588.23/3598.64 c Problem name : t_HOME/instance-4432882-1721141208.opb
3588.23/3598.64 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.23/3598.64 c Constraints : 500454 initial, 500456 maximal
3588.23/3598.65 c Objective : minimize, 14850 non-zeros (abs.min = 9, abs.max = 1.37388e+08)
3588.23/3598.65 c Nonzeros : 2035450 constraint, 2910900 clique table
3588.23/3598.65 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.23/3598.65 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c gateextraction : 14.30 0.00 4 0 0 0 0 0 3890700 980100 0 0
3588.23/3598.65 c implics : 0.09 0.00 6 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c milp : 8.51 0.00 1 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c trivial : 0.20 0.00 7 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c dualfix : 0.19 0.00 7 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c probing : 7.05 0.02 1 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c pseudoobj : 0.01 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c symmetry : 1.56 0.00 1 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c vbounds : 1.55 0.00 2 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c knapsack : 12.98 0.02 13 0 0 0 0 0 980100 2910600 0 0
3588.23/3598.65 c setppc : 4.96 0.00 13 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c and : 16.51 0.00 6 0 485100 0 0 0 490050 0 0 0
3588.23/3598.65 c linear : 10.04 1.43 9 300 14850 0 300 0 29703 0 4950 14850
3588.23/3598.65 c logicor : 2.20 0.01 11 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c components : 0.51 0.00 1 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c root node : - - - 0 - - 0 - - - - -
3588.23/3598.65 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.23/3598.65 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3588.23/3598.65 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3588.23/3598.65 c knapsack : 5250 5250 0 401832 0 0 0 3 0 3 0 0 0 0 0
3588.23/3598.65 c setppc : 101 101 0 396206 0 0 0 1 92 0 0 0 0 0 0
3588.23/3598.65 c and : 490050 490050 0 401829 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c linear : 3 3 0 401829 0 0 0 3 0 1 0 0 0 0 0
3588.23/3598.65 c logicor : 5050+ 5052 0 6650 0 0 0 0 94 0 0 0 0 0 0
3588.23/3598.65 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.23/3598.65 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c knapsack : 0.29 0.02 0.02 0.26 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c setppc : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c and : 3336.04 0.00 1.73 3334.31 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c linear : 1.56 1.43 0.00 0.13 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c logicor : 0.07 0.01 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c fixedvar : 0.04 0.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c components : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.23/3598.65 c dualfix : 1 0 0 0
3588.23/3598.65 c genvbounds : 0 0 0 0
3588.23/3598.65 c nlobbt : 0 0 0 0
3588.23/3598.65 c obbt : 0 0 0 0
3588.23/3598.65 c probing : 0 0 0 0
3588.23/3598.65 c pseudoobj : 1 0 0 0
3588.23/3598.65 c redcost : 0 0 0 0
3588.23/3598.65 c rootredcost : 0 0 0 0
3588.23/3598.65 c symmetry : 0 0 0 0
3588.23/3598.65 c vbounds : 11012 0 0 0
3588.23/3598.65 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.23/3598.65 c dualfix : 0.21 0.00 0.19 0.02 0.00 0.00
3588.23/3598.65 c genvbounds : 0.10 0.00 0.00 0.10 0.00 0.00
3588.23/3598.65 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.23/3598.65 c probing : 7.07 0.02 7.05 0.00 0.00 0.00
3588.23/3598.65 c pseudoobj : 33.38 0.00 0.01 33.37 0.00 0.00
3588.23/3598.65 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.23/3598.65 c rootredcost : 0.07 0.00 0.00 0.07 0.00 0.00
3588.23/3598.65 c symmetry : 1.70 0.00 1.56 0.14 0.00 0.00
3588.23/3598.65 c vbounds : 1.84 0.00 1.55 0.29 0.00 0.00
3588.23/3598.65 c Symmetry :
3588.23/3598.65 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.23/3598.65 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.23/3598.65 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.23/3598.65 c shadow tree time : 0.00 s
3588.23/3598.65 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.23/3598.65 c propagation : 0.01 2 2 - 2 2713.5 0 0.0 - - -
3588.23/3598.65 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.23/3598.65 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.23/3598.65 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.23/3598.65 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.23/3598.65 c applied globally : 0.00 - - 0 2 2713.5 - - 0 - -
3588.23/3598.65 c applied locally : - - - 0 0 0.0 - - 0 - -
3588.23/3598.65 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.23/3598.65 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3588.23/3598.65 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.23/3598.65 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.23/3598.65 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.23/3598.65 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3588.23/3598.65 c > strongcg : - - - - - - - 0 0 0 0 0 -
3588.23/3598.65 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.23/3598.65 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.23/3598.65 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c Pricers : ExecTime SetupTime Calls Vars
3588.23/3598.65 c problem variables: 0.00 - 0 0
3588.23/3598.65 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.23/3598.65 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.23/3598.65 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.23/3598.65 c LP solutions : 0.00 - - 0 0
3588.23/3598.65 c relax solutions : 0.00 - - 0 0
3588.23/3598.65 c pseudo solutions : 0.00 - - 0 0
3588.23/3598.65 c strong branching : 0.00 - - 0 0
3588.23/3598.65 c actconsdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c adaptivediving : 0.00 0.00 0 0 0
3588.23/3598.65 c alns : 0.00 0.00 0 0 0
3588.23/3598.65 c bound : 0.00 0.00 0 0 0
3588.23/3598.65 c clique : 174.38 0.00 1 0 0
3588.23/3598.65 c coefdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c completesol : 0.00 0.00 0 0 0
3588.23/3598.65 c conflictdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c crossover : 0.00 0.00 0 0 0
3588.23/3598.65 c dins : 0.00 0.00 0 0 0
3588.23/3598.65 c distributiondivin: 0.00 0.00 0 0 0
3588.23/3598.65 c dps : 0.00 0.00 0 0 0
3588.23/3598.65 c dualval : 0.00 0.00 0 0 0
3588.23/3598.65 c farkasdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c feasjump : 0.00 0.00 0 0 0
3588.23/3598.65 c feaspump : 0.00 0.00 0 0 0
3588.23/3598.65 c fixandinfer : 0.00 0.00 0 0 0
3588.23/3598.65 c fracdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c gins : 0.00 0.00 0 0 0
3588.23/3598.65 c guideddiving : 0.00 0.00 0 0 0
3588.23/3598.65 c indcoefdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c indicator : 0.00 0.00 0 0 0
3588.23/3598.65 c indicatordiving : 0.00 0.00 0 0 0
3588.23/3598.65 c indoneopt : 0.00 0.00 0 0 0
3588.23/3598.65 c indrounding : 0.00 0.00 0 0 0
3588.23/3598.65 c indtwoopt : 0.00 0.00 0 0 0
3588.23/3598.65 c intdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c intshifting : 0.00 0.00 0 0 0
3588.23/3598.65 c linesearchdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c localbranching : 0.00 0.00 0 0 0
3588.23/3598.65 c locks : 60.82 0.00 1 0 0
3588.23/3598.65 c lpface : 0.00 0.00 0 0 0
3588.23/3598.65 c mpec : 0.00 0.00 0 0 0
3588.23/3598.65 c multistart : 0.00 0.00 0 0 0
3588.23/3598.65 c mutation : 0.00 0.00 0 0 0
3588.23/3598.65 c nlpdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c objpscostdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c octane : 0.00 0.00 0 0 0
3588.23/3598.65 c ofins : 0.00 0.00 0 0 0
3588.23/3598.65 c oneopt : 0.00 0.00 0 0 0
3588.23/3598.65 c padm : 0.00 0.00 0 0 0
3588.23/3598.65 c proximity : 0.00 0.00 0 0 0
3588.23/3598.65 c pscostdiving : 0.00 0.00 0 0 0
3588.23/3598.65 c randrounding : 0.00 0.00 0 0 0
3588.23/3598.65 c rens : 0.00 0.00 0 0 0
3588.23/3598.65 c reoptsols : 0.00 0.00 0 0 0
3588.23/3598.65 c repair : 0.00 0.00 0 0 0
3588.23/3598.65 c rins : 0.00 0.00 0 0 0
3588.23/3598.65 c rootsoldiving : 0.00 0.00 0 0 0
3588.23/3598.65 c rounding : 0.00 0.00 0 0 0
3588.23/3598.65 c scheduler : 0.00 0.00 0 0 0
3588.23/3598.65 c shiftandpropagate: 0.00 0.00 0 0 0
3588.23/3598.65 c shifting : 0.00 0.00 0 0 0
3588.23/3598.65 c simplerounding : 0.00 0.00 0 0 0
3588.23/3598.65 c smallcard : 0.00 0.00 0 0 0
3588.23/3598.65 c subnlp : 0.00 0.00 0 0 0
3588.23/3598.65 c trivial : 0.57 0.00 2 0 0
3588.23/3598.65 c trivialnegation : 0.00 0.00 0 0 0
3588.23/3598.65 c trustregion : 0.00 0.00 0 0 0
3588.23/3598.65 c trysol : 0.00 0.00 0 0 0
3588.23/3598.65 c twoopt : 0.00 0.00 0 0 0
3588.23/3598.65 c undercover : 0.00 0.00 0 0 0
3588.23/3598.65 c vbounds : 3229.55 0.00 1 0 0
3588.23/3598.65 c veclendiving : 0.00 0.00 0 0 0
3588.23/3598.65 c zeroobj : 0.00 0.00 0 0 0
3588.23/3598.65 c zirounding : 0.00 0.00 0 0 0
3588.23/3598.65 c other solutions : - - - 0 -
3588.23/3598.65 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.23/3598.65 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.23/3598.65 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.23/3598.65 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.23/3598.65 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.23/3598.65 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.23/3598.65 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.23/3598.65 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.23/3598.65 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.23/3598.65 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3588.23/3598.65 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.23/3598.65 c primal LP : 0.00 0 0 0.00 - 0.00 0
3588.23/3598.65 c dual LP : 0.00 0 0 0.00 - 0.00 0
3588.23/3598.65 c lex dual LP : 0.00 0 0 0.00 -
3588.23/3598.65 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.23/3598.65 c resolve instable : 0.00 0 0 0.00 -
3588.23/3598.65 c diving/probing LP: 0.00 0 0 0.00 -
3588.23/3598.65 c strong branching : 0.00 0 0 0.00 - - - 0
3588.23/3598.65 c (at root node) : - 0 0 0.00 -
3588.23/3598.65 c conflict analysis: 0.00 0 0 0.00 -
3588.23/3598.65 c B&B Tree :
3588.23/3598.65 c number of runs : 1
3588.23/3598.65 c nodes : 1 (0 internal, 1 leaves)
3588.23/3598.65 c feasible leaves : 0
3588.23/3598.65 c infeas. leaves : 0
3588.23/3598.65 c objective leaves : 0
3588.23/3598.65 c nodes (total) : 1 (0 internal, 1 leaves)
3588.23/3598.65 c nodes left : 1
3588.23/3598.65 c max depth : 0
3588.23/3598.65 c max depth (total): 0
3588.23/3598.65 c backtracks : 0 (0.0%)
3588.23/3598.65 c early backtracks : 0 (0.0%)
3588.23/3598.65 c nodes exc. ref. : 0 (0.0%)
3588.23/3598.65 c delayed cutoffs : 0
3588.23/3598.65 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3588.23/3598.65 c avg switch length: 1.00
3588.23/3598.65 c switching time : 0.00
3588.23/3598.65 c Root Node :
3588.23/3598.65 c First LP value : -
3588.23/3598.65 c First LP Iters : 0
3588.23/3598.65 c First LP Time : 0.00
3588.23/3598.65 c Final Dual Bound : -1.50000000000000e+01
3588.23/3598.65 c Final Root Iters : 0
3588.23/3598.65 c Root LP Estimate : -
3588.23/3598.65 c Solution :
3588.23/3598.65 c Solutions found : 0 (0 improvements)
3588.23/3598.65 c Primal Bound : -
3588.23/3598.65 c Dual Bound : -1.50000000000000e+01
3588.23/3598.65 c Gap : infinite
3588.23/3598.65 c Integrals : Total Avg%
3588.23/3598.65 c primal-dual : 359858.36 100.00
3588.23/3598.65 c primal-ref : - - (not evaluated)
3588.23/3598.65 c dual-ref : - - (not evaluated)
3597.29/3607.74 c Time complete: 3597.34.
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 (60467 MiB free)
memory of node 1: 64473 MiB (37857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432882-1721141208/watcher-4432882-1721141208 -o /tmp/evaluation-result-4432882-1721141208/solver-4432882-1721141208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858235 --watchdog 3760 pbscip -f HOME/instance-4432882-1721141208.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=860586, runsolver pid=860583
[startup+0.100094 s]*
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=100633428/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=106500 memory=64796 CPUtime=0.09 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 13285 0 0 0 8 1 0 0 20 0 1 0 166289795 109056000 16199 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 26625 16199 3262 3540 0 14882 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 64796 KiB
[startup+0.205759 s]*
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=100590944/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=151988 memory=109620 CPUtime=0.2 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 24474 0 0 0 17 3 0 0 20 0 1 0 166289795 155635712 27405 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 37997 27405 3262 3540 0 26254 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 151988 KiB
Current children cumulated memory: 109620 KiB
[startup+0.305883 s]*
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=100546796/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=194200 memory=152824 CPUtime=0.3 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 35262 0 0 0 25 5 0 0 20 0 1 0 166289795 198860800 38206 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 48550 38206 3262 3540 0 36807 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 194200 KiB
Current children cumulated memory: 152824 KiB
[startup+0.700239 s]
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=100461312/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=360812 memory=318412 CPUtime=0.69 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 76663 0 0 0 58 11 0 0 20 0 1 0 166289795 369471488 79603 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 90203 79603 3262 3540 0 78460 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 360812 KiB
Current children cumulated memory: 318412 KiB
[startup+1.50025 s]
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=100253164/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=692620 memory=650456 CPUtime=1.48 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 158679 0 0 0 126 22 0 0 20 0 1 0 166289795 709242880 162614 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 173155 162614 3262 3540 0 161412 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 692620 KiB
Current children cumulated memory: 650456 KiB
[startup+3.10572 s]
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=99414244/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=1363760 memory=1320116 CPUtime=3.09 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 322454 0 0 0 261 48 0 0 20 0 1 0 166289795 1396490240 329963 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 340940 330029 3262 3540 0 329197 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1363760 KiB
Current children cumulated memory: 1320116 KiB
[startup+6.30023 s]
/proc/loadavg: 4.07 4.17 4.16 5/256 860587
/proc/meminfo: memFree=98702984/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=2045172 memory=2003348 CPUtime=6.27 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 472895 0 0 0 554 73 0 0 20 0 1 0 166289795 2094256128 500837 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 511293 500837 3262 3540 0 499550 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2045172 KiB
Current children cumulated memory: 2003348 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.19 4.16 5/256 860588
/proc/meminfo: memFree=96121064/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=4908912 memory=4827552 CPUtime=12.66 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1087679 0 0 0 1101 165 0 0 20 0 1 0 166289795 5026725888 1206888 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 1227228 1206888 3598 3540 0 1215485 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4908912 KiB
Current children cumulated memory: 4827552 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.18 4.16 5/255 860591
/proc/meminfo: memFree=93974672/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=6807572 memory=6699764 CPUtime=25.42 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1191850 0 0 0 2306 236 0 0 20 0 1 0 166289795 6970953728 1674941 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 1701893 1674941 3773 3540 0 1690150 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 6807572 KiB
Current children cumulated memory: 6699764 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.18 4.16 5/254 860596
/proc/meminfo: memFree=92890028/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=7879664 memory=7760772 CPUtime=50.94 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1548674 0 0 0 4782 312 0 0 20 0 1 0 166289795 8068775936 1940193 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 1969916 1940193 3821 3540 0 1958173 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 7879664 KiB
Current children cumulated memory: 7760772 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/254 860606
/proc/meminfo: memFree=92393940/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=8572624 memory=8230176 CPUtime=101.97 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1569264 0 0 0 9871 326 0 0 20 0 1 0 166289795 8778366976 2057544 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2143156 2057544 3837 3540 0 2131413 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 8572624 KiB
Current children cumulated memory: 8230176 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/254 860616
/proc/meminfo: memFree=91420260/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9541456 memory=9201384 CPUtime=161.8 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1727654 0 0 0 15817 363 0 0 20 0 1 0 166289795 9770450944 2300346 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2385364 2300346 3885 3540 0 2373621 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9201384 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/254 860626
/proc/meminfo: memFree=91415648/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9541456 memory=9201788 CPUtime=221.61 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1728154 0 0 0 21797 364 0 0 20 0 1 0 166289795 9770450944 2300447 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2385364 2300447 3885 3540 0 2373621 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9201788 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.13 4.14 5/256 860643
/proc/meminfo: memFree=91401836/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9547744 memory=9208500 CPUtime=281.43 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1730251 0 0 0 27777 366 0 0 20 0 1 0 166289795 9776889856 2302125 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2386936 2302125 3885 3540 0 2375193 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 9547744 KiB
Current children cumulated memory: 9208500 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/257 860655
/proc/meminfo: memFree=91373440/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9575476 memory=9235820 CPUtime=341.24 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1737612 0 0 0 33756 368 0 0 20 0 1 0 166289795 9805287424 2308955 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2393869 2308955 3885 3540 0 2382126 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 9575476 KiB
Current children cumulated memory: 9235820 KiB
[startup+402.3 s]
/proc/loadavg: 4.38 4.20 4.17 5/257 860665
/proc/meminfo: memFree=91329716/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9616340 memory=9276644 CPUtime=401.03 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1746647 0 0 0 39732 371 0 0 20 0 1 0 166289795 9847132160 2319161 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2404085 2319161 3885 3540 0 2392342 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 9616340 KiB
Current children cumulated memory: 9276644 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.18 4.16 5/257 860676
/proc/meminfo: memFree=91327320/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9616340 memory=9277220 CPUtime=460.79 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1747019 0 0 0 45707 372 0 0 20 0 1 0 166289795 9847132160 2319305 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2404085 2319305 3885 3540 0 2392342 0
################
# More data... #
################
Current children cumulated memory: 9368856 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.18 4.15 5/254 862345
/proc/meminfo: memFree=81796100/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9711188 memory=9371068 CPUtime=3153.22 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1786558 0 0 0 314877 445 0 0 20 0 1 0 166289795 9944256512 2342767 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2427797 2342767 3885 3540 0 2416054 0
Current children cumulated CPU time: 3153.22 s
Current children cumulated vsize: 9711188 KiB
Current children cumulated memory: 9371068 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/255 862356
/proc/meminfo: memFree=81786528/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9714964 memory=9374856 CPUtime=3213.07 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1787940 0 0 0 320861 446 0 0 20 0 1 0 166289795 9948123136 2343714 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2428741 2343714 3885 3540 0 2416998 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 9714964 KiB
Current children cumulated memory: 9374856 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.17 4.15 5/258 862509
/proc/meminfo: memFree=94277632/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9718164 memory=9378164 CPUtime=3272.94 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1789341 0 0 0 326846 448 0 0 20 0 1 0 166289795 9951399936 2344541 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2429541 2344541 3885 3540 0 2417798 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 9718164 KiB
Current children cumulated memory: 9378164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/258 862520
/proc/meminfo: memFree=87577492/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9720340 memory=9381348 CPUtime=3332.77 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1790538 0 0 0 332827 450 0 0 20 0 1 0 166289795 9953628160 2345337 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2430085 2345337 3885 3540 0 2418342 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 9720340 KiB
Current children cumulated memory: 9381348 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/258 862530
/proc/meminfo: memFree=85008824/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9724116 memory=9385032 CPUtime=3392.59 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1792212 0 0 0 338808 451 0 0 20 0 1 0 166289795 9957494784 2346258 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2431029 2346258 3885 3540 0 2419286 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 9724116 KiB
Current children cumulated memory: 9385032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/258 862541
/proc/meminfo: memFree=84217244/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9727316 memory=9388396 CPUtime=3452.38 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1793635 0 0 0 344785 453 0 0 20 0 1 0 166289795 9960771584 2347099 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2431829 2347099 3885 3540 0 2420086 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 9727316 KiB
Current children cumulated memory: 9388396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/258 862552
/proc/meminfo: memFree=84212708/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9730516 memory=9391640 CPUtime=3512.19 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1795185 0 0 0 350764 455 0 0 20 0 1 0 166289795 9964048384 2347910 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2432629 2347910 3885 3540 0 2420886 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 9730516 KiB
Current children cumulated memory: 9391640 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/254 862562
/proc/meminfo: memFree=84166744/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9734292 memory=9395460 CPUtime=3571.98 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1796968 0 0 0 356741 457 0 0 20 0 1 0 166289795 9967915008 2348865 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2433573 2348865 3885 3540 0 2421830 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 9734292 KiB
Current children cumulated memory: 9395460 KiB
[startup+3607.85 s]
# the end of solver process 860586 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.62 s, system=4.82969 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.14 5/254 862562
/proc/meminfo: memFree=84166736/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9734292 memory=9395460 CPUtime=3573.68 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1796988 0 0 0 356911 457 0 0 20 0 1 0 166289795 9967915008 2348865 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2433573 2348865 3885 3540 0 2421830 0
Current children cumulated CPU time: 3573.68 s
Current children cumulated vsize: 9734292 KiB
Current children cumulated memory: 9395460 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.14 4.14 5/254 862563
/proc/meminfo: memFree=84159668/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9734868 memory=9396044 CPUtime=3586.43 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1797285 0 0 0 358186 457 0 0 20 0 1 0 166289795 9968504832 2349011 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2433717 2349011 3885 3540 0 2421974 0
Current children cumulated CPU time: 3586.43 s
Current children cumulated vsize: 9734868 KiB
Current children cumulated memory: 9396044 KiB
[startup+3603.2 s]
/proc/loadavg: 4.09 4.14 4.14 5/255 862566
/proc/meminfo: memFree=84189316/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9696208 memory=9358072 CPUtime=3592.81 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1814019 0 0 0 358821 460 0 0 20 0 1 0 166289795 9928916992 2339518 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2424052 2339518 3885 3540 0 2412309 0
Current children cumulated CPU time: 3592.81 s
Current children cumulated vsize: 9696208 KiB
Current children cumulated memory: 9358072 KiB
[startup+3606.4 s]
/proc/loadavg: 4.08 4.14 4.13 5/255 862566
/proc/meminfo: memFree=84215796/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9350036 memory=9015596 CPUtime=3595.99 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1821058 0 0 0 359138 461 0 0 20 0 1 0 166289795 9574436864 2253899 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2337509 2253899 3901 3540 0 2325766 0
Current children cumulated CPU time: 3595.99 s
Current children cumulated vsize: 9350036 KiB
Current children cumulated memory: 9015596 KiB
[startup+3607.2 s]
/proc/loadavg: 4.08 4.14 4.13 5/255 862566
/proc/meminfo: memFree=85051984/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=8650720 memory=8316280 CPUtime=3596.79 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1821531 0 0 0 359215 464 0 0 20 0 1 0 166289795 8858337280 2079070 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2162680 2079070 3901 3540 0 2150937 0
Current children cumulated CPU time: 3596.79 s
Current children cumulated vsize: 8650720 KiB
Current children cumulated memory: 8316280 KiB
[startup+3607.6 s]
/proc/loadavg: 4.08 4.14 4.13 5/255 862566
/proc/meminfo: memFree=85051984/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=7873876 memory=7539896 CPUtime=3597.19 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1822473 0 0 0 359252 467 0 0 20 0 1 0 166289795 8062849024 1884974 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 1968469 1884974 3901 3540 0 1956726 0
Current children cumulated CPU time: 3597.19 s
Current children cumulated vsize: 7873876 KiB
Current children cumulated memory: 7539896 KiB
[startup+3607.8 s]*
/proc/loadavg: 4.08 4.14 4.13 5/255 862566
/proc/meminfo: memFree=91350208/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3607.85
CPU time (s): 3597.45
CPU user time (s): 3592.62
CPU system time (s): 4.82969
CPU usage (%): 99.7117
Max. virtual memory (cumulated for all children) (KiB): 9768728
Max. memory (cumulated for all children) (KiB): 9430464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.62
system time used= 4.82968
maximum resident set size= 9430464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1823600
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= 22
involuntary context switches= 3076
# summary of solver processes directly reported to runsolver:
# pid: 860586
# total CPU time (s): 3597.45
# total CPU user time (s): 3592.62
# total CPU system time (s): 4.82969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.05111 second user time and 19.9264 second system time
The end