0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4462008-1722204310.opb>
0.69/0.75 c original problem has 113616 variables (113616 bin, 0 int, 0 impl, 0 cont) and 113617 constraints
0.69/0.75 c problem read in 0.75
1.29/1.31 c presolving:
1.68/1.70 c (round 1, fast) 827 del vars, 822 del conss, 0 add conss, 40 chg bounds, 38 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 112789 clqs
2.09/2.14 c (2.1s) running MILP presolver
23.21/23.30 c (23.3s) MILP presolver (6 rounds): 45 aggregations, 165 fixings, 0 bound changes
23.31/23.43 c (round 2, medium) 1207 del vars, 829 del conss, 0 add conss, 40 chg bounds, 38 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 110691 clqs
23.31/23.47 c (round 3, fast) 1512 del vars, 2943 del conss, 0 add conss, 40 chg bounds, 38 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 110620 clqs
23.93/24.03 c (round 4, exhaustive) 1515 del vars, 2996 del conss, 0 add conss, 40 chg bounds, 38 chg sides, 0 chg coeffs, 110620 upgd conss, 0 impls, 110620 clqs
24.31/24.41 c (round 5, exhaustive) 1581 del vars, 3070 del conss, 19 add conss, 40 chg bounds, 49 chg sides, 11 chg coeffs, 110620 upgd conss, 0 impls, 110655 clqs
26.92/27.05 c (27.0s) sparsify finished: 480/607892 (0.1%) nonzeros canceled - in total 480 canceled nonzeros, 480 changed coefficients, 0 added nonzeros
28.20/28.31 c (round 6, exhaustive) 1638 del vars, 3135 del conss, 19 add conss, 40 chg bounds, 49 chg sides, 499 chg coeffs, 110647 upgd conss, 0 impls, 114250 clqs
32.69/32.83 c (32.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
32.91/33.04 c (33.0s) no symmetry present (symcode time: 0.06)
33.09/33.22 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
33.09/33.22 c 1691 deleted vars, 3136 deleted constraints, 19 added constraints, 40 tightened bounds, 0 added holes, 49 changed sides, 499 changed coefficients
33.09/33.22 c 0 implications, 388820 cliques
33.09/33.22 c presolved problem has 111952 variables (111952 bin, 0 int, 0 impl, 0 cont) and 110508 constraints
33.09/33.22 c 110499 constraints of type <setppc>
33.09/33.22 c 1 constraints of type <linear>
33.09/33.22 c 8 constraints of type <logicor>
33.09/33.22 c transformed objective value is always integral (scale: 1)
33.09/33.22 c Presolving Time: 31.96
33.09/33.22 c - non default parameters ----------------------------------------------------------------------
33.09/33.22 c # SCIP version 10.0.0
33.09/33.22 c
33.09/33.22 c # maximal time in seconds to run
33.09/33.22 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
33.09/33.22 c limits/time = 3596.994053
33.09/33.22 c
33.09/33.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.09/33.22 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
33.09/33.22 c limits/memory = 27900
33.09/33.22 c
33.09/33.22 c # belongs reading time to solving time?
33.09/33.22 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
33.09/33.22 c timing/reading = TRUE
33.09/33.22 c
33.09/33.22 c -----------------------------------------------------------------------------------------------
33.09/33.22 c start solving
33.09/33.24 c
1893.28/1898.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1893.28/1898.67 c 1899s| 1 | 0 |143473 | - | 1402M | 0 | 111k| 110k| 110k| 0 | 0 | 41 | 0 | 3.440000e+02 | -- | Inf | unknown
3587.24/3597.05 c
3587.24/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3587.24/3597.05 c Solving Time (sec) : 3597.04
3587.24/3597.05 c Solving Nodes : 1
3587.24/3597.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.24/3597.05 c Dual Bound : +3.44000000000000e+02
3587.24/3597.05 c Gap : infinite
3587.24/3597.05 s UNKNOWN
3587.24/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3587.24/3597.05 c Total Time : 3597.04
3587.24/3597.05 c solving : 3597.04
3587.24/3597.05 c presolving : 31.96 (included in solving)
3587.24/3597.05 c reading : 0.75 (included in solving)
3587.24/3597.05 c copying : 0.00 (0 times copied the problem)
3587.24/3597.05 c Original Problem :
3587.24/3597.05 c Problem name : HOME/instance-4462008-1722204310.opb
3587.24/3597.05 c Variables : 113616 (113616 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.24/3597.05 c Constraints : 113617 initial, 113617 maximal
3587.24/3597.05 c Objective : minimize, 1444 non-zeros (abs.min = 1, abs.max = 1)
3587.24/3597.05 c Presolved Problem :
3587.24/3597.05 c Problem name : t_HOME/instance-4462008-1722204310.opb
3587.24/3597.05 c Variables : 111952 (111952 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.24/3597.05 c Constraints : 110508 initial, 110542 maximal
3587.24/3597.05 c Objective : minimize, 1233 non-zeros (abs.min = 1, abs.max = 1)
3587.24/3597.05 c Nonzeros : 607100 constraint, 1162790 clique table
3587.24/3597.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.24/3597.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c domcol : 0.31 0.00 2 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c dualsparsify : 1.19 0.00 1 0 0 0 0 0 49 0 0 0
3587.24/3597.05 c gateextraction : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c implics : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c milp : 21.56 0.00 1 165 45 0 0 0 0 0 0 0
3587.24/3597.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c sparsify : 4.32 0.00 2 0 0 0 0 0 0 0 0 480
3587.24/3597.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c trivial : 0.03 0.00 7 243 0 0 0 0 0 0 0 0
3587.24/3597.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c dualfix : 0.03 0.00 7 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c probing : 1.98 0.00 2 101 0 0 0 0 0 0 0 0
3587.24/3597.05 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c symmetry : 0.21 0.00 1 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c vbounds : 0.12 0.00 1 144 0 0 0 0 0 0 0 0
3587.24/3597.05 c setppc : 0.91 0.03 9 0 75 0 0 0 91 19 11 11
3587.24/3597.05 c linear : 0.81 0.13 10 40 851 0 40 0 2996 0 38 0
3587.24/3597.05 c logicor : 0.01 0.00 4 0 0 0 0 0 0 0 0 8
3587.24/3597.05 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c components : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c root node : - - - 4 - - 4 - - - - -
3587.24/3597.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.24/3597.05 c benderslp : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3587.24/3597.05 c integral : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3587.24/3597.05 c setppc : 110499+ 110516 0 6928 0 0 0 3 392 38 0 0 0 0 0
3587.24/3597.05 c linear : 1 1 0 6890 0 0 0 3 0 0 0 0 0 0 0
3587.24/3597.05 c logicor : 8+ 25 0 44 0 0 0 0 1 1 0 0 0 0 0
3587.24/3597.05 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.24/3597.05 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c setppc : 1.37 0.03 0.16 1.18 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c linear : 0.13 0.13 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.24/3597.05 c dualfix : 1 0 0 0
3587.24/3597.05 c genvbounds : 0 0 0 0
3587.24/3597.05 c nlobbt : 0 0 0 0
3587.24/3597.05 c obbt : 0 0 0 0
3587.24/3597.05 c probing : 0 0 0 0
3587.24/3597.05 c pseudoobj : 2 0 0 0
3587.24/3597.05 c redcost : 1 0 0 0
3587.24/3597.05 c rootredcost : 0 0 0 0
3587.24/3597.05 c symmetry : 0 0 0 0
3587.24/3597.05 c vbounds : 4266 0 0 0
3587.24/3597.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.24/3597.05 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3587.24/3597.05 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c probing : 1.98 0.00 1.98 0.00 0.00 0.00
3587.24/3597.05 c pseudoobj : 1.99 0.00 0.00 1.99 0.00 0.00
3587.24/3597.05 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.24/3597.05 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.24/3597.05 c symmetry : 0.21 0.00 0.21 0.00 0.00 0.00
3587.24/3597.05 c vbounds : 0.16 0.00 0.12 0.03 0.00 0.00
3587.24/3597.05 c Symmetry :
3587.24/3597.05 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.24/3597.05 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.24/3597.05 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.24/3597.05 c shadow tree time : 0.00 s
3587.24/3597.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.24/3597.05 c propagation : 0.00 28 28 - 42 5.4 5 2.8 - - -
3587.24/3597.05 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.24/3597.05 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.24/3597.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.24/3597.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.24/3597.05 c applied globally : 0.00 - - 0 44 4.6 - - 0 - -
3587.24/3597.05 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.24/3597.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.24/3597.05 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3587.24/3597.05 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.24/3597.05 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.24/3597.05 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.24/3597.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3587.24/3597.05 c > strongcg : - - - - - - - 0 0 0 0 0 -
3587.24/3597.05 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.24/3597.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.24/3597.05 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c Pricers : ExecTime SetupTime Calls Vars
3587.24/3597.05 c problem variables: 0.00 - 0 0
3587.24/3597.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.24/3597.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.24/3597.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.24/3597.05 c LP solutions : 0.00 - - 0 0
3587.24/3597.05 c relax solutions : 0.00 - - 0 0
3587.24/3597.05 c pseudo solutions : 0.00 - - 0 0
3587.24/3597.05 c strong branching : 0.00 - - 0 0
3587.24/3597.05 c actconsdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c adaptivediving : 0.00 0.00 0 0 0
3587.24/3597.05 c alns : 0.00 0.00 0 0 0
3587.24/3597.05 c bound : 0.00 0.00 0 0 0
3587.24/3597.05 c clique : 0.66 0.00 1 0 0
3587.24/3597.05 c coefdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c completesol : 0.00 0.00 0 0 0
3587.24/3597.05 c conflictdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c crossover : 0.00 0.00 0 0 0
3587.24/3597.05 c dins : 0.00 0.00 0 0 0
3587.24/3597.05 c distributiondivin: 0.00 0.00 0 0 0
3587.24/3597.05 c dps : 0.00 0.00 0 0 0
3587.24/3597.05 c dualval : 0.00 0.00 0 0 0
3587.24/3597.05 c farkasdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c feasjump : 0.24 0.00 1 0 0
3587.24/3597.05 c feaspump : 1698.04 0.00 1 0 0
3587.24/3597.05 c fixandinfer : 0.00 0.00 0 0 0
3587.24/3597.05 c fracdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c gins : 0.00 0.00 0 0 0
3587.24/3597.05 c guideddiving : 0.00 0.00 0 0 0
3587.24/3597.05 c indcoefdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c indicator : 0.00 0.00 0 0 0
3587.24/3597.05 c indicatordiving : 0.00 0.00 0 0 0
3587.24/3597.05 c indoneopt : 0.00 0.00 0 0 0
3587.24/3597.05 c indrounding : 0.00 0.00 0 0 0
3587.24/3597.05 c indtwoopt : 0.00 0.00 0 0 0
3587.24/3597.05 c intdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c intshifting : 0.00 0.00 0 0 0
3587.24/3597.05 c linesearchdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c localbranching : 0.00 0.00 0 0 0
3587.24/3597.05 c locks : 0.70 0.00 1 0 0
3587.24/3597.05 c lpface : 0.00 0.00 0 0 0
3587.24/3597.05 c mpec : 0.00 0.00 0 0 0
3587.24/3597.05 c multistart : 0.00 0.00 0 0 0
3587.24/3597.05 c mutation : 0.00 0.00 0 0 0
3587.24/3597.05 c nlpdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c objpscostdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c octane : 0.00 0.00 0 0 0
3587.24/3597.05 c ofins : 0.00 0.00 0 0 0
3587.24/3597.05 c oneopt : 0.00 0.00 0 0 0
3587.24/3597.05 c padm : 0.00 0.00 0 0 0
3587.24/3597.05 c proximity : 0.00 0.00 0 0 0
3587.24/3597.05 c pscostdiving : 0.00 0.00 0 0 0
3587.24/3597.05 c randrounding : 0.21 0.00 1 0 0
3587.24/3597.05 c rens : 0.00 0.00 0 0 0
3587.24/3597.05 c reoptsols : 0.00 0.00 0 0 0
3587.24/3597.05 c repair : 0.00 0.00 0 0 0
3587.24/3597.05 c rins : 0.00 0.00 0 0 0
3587.24/3597.05 c rootsoldiving : 0.00 0.00 0 0 0
3587.24/3597.05 c rounding : 0.02 0.00 1 0 0
3587.24/3597.05 c scheduler : 0.00 0.00 0 0 0
3587.24/3597.05 c shiftandpropagate: 0.44 0.00 1 0 0
3587.24/3597.05 c shifting : 0.09 0.00 1 0 0
3587.24/3597.05 c simplerounding : 0.00 0.00 0 0 0
3587.24/3597.05 c smallcard : 0.00 0.00 0 0 0
3587.24/3597.05 c subnlp : 0.00 0.00 0 0 0
3587.24/3597.05 c trivial : 0.08 0.00 2 0 0
3587.24/3597.05 c trivialnegation : 0.00 0.00 0 0 0
3587.24/3597.05 c trustregion : 0.00 0.00 0 0 0
3587.24/3597.05 c trysol : 0.00 0.00 0 0 0
3587.24/3597.05 c twoopt : 0.00 0.00 0 0 0
3587.24/3597.05 c undercover : 0.00 0.00 0 0 0
3587.24/3597.05 c vbounds : 0.35 0.00 1 0 0
3587.24/3597.05 c veclendiving : 0.00 0.00 0 0 0
3587.24/3597.05 c zeroobj : 0.00 0.00 0 0 0
3587.24/3597.05 c zirounding : 0.00 0.00 0 0 0
3587.24/3597.05 c other solutions : - - - 0 -
3587.24/3597.05 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.24/3597.05 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
3587.24/3597.05 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
3587.24/3597.05 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
3587.24/3597.05 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
3587.24/3597.05 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
3587.24/3597.05 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
3587.24/3597.05 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
3587.24/3597.05 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
3587.24/3597.05 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
3587.24/3597.05 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.24/3597.05 c primal LP : 0.00 0 0 0.00 - 0.00 0
3587.24/3597.05 c dual LP : 1860.77 1 143473 143473.00 77.10 0.00 0
3587.24/3597.05 c lex dual LP : 0.00 0 0 0.00 -
3587.24/3597.05 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.24/3597.05 c resolve instable : 0.00 0 0 0.00 -
3587.24/3597.05 c diving/probing LP: 1697.97 1 87193 87193.00 51.35
3587.24/3597.05 c strong branching : 0.00 0 0 0.00 - - - 0
3587.24/3597.05 c (at root node) : - 0 0 0.00 -
3587.24/3597.05 c conflict analysis: 0.00 0 0 0.00 -
3587.24/3597.05 c B&B Tree :
3587.24/3597.05 c number of runs : 1
3587.24/3597.05 c nodes : 1 (0 internal, 1 leaves)
3587.24/3597.05 c feasible leaves : 0
3587.24/3597.05 c infeas. leaves : 0
3587.24/3597.05 c objective leaves : 0
3587.24/3597.05 c nodes (total) : 1 (0 internal, 1 leaves)
3587.24/3597.05 c nodes left : 1
3587.24/3597.05 c max depth : 0
3587.24/3597.05 c max depth (total): 0
3587.24/3597.05 c backtracks : 0 (0.0%)
3587.24/3597.05 c early backtracks : 0 (0.0%)
3587.24/3597.05 c nodes exc. ref. : 0 (0.0%)
3587.24/3597.05 c delayed cutoffs : 0
3587.24/3597.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.24/3597.05 c avg switch length: 1.00
3587.24/3597.05 c switching time : 0.00
3587.24/3597.05 c Root Node :
3587.24/3597.05 c First LP value : +3.44000000000000e+02
3587.24/3597.05 c First LP Iters : 143473 (77.10 Iter/sec)
3587.24/3597.05 c First LP Time : 1860.79
3587.24/3597.05 c Final Dual Bound : +3.44000000000000e+02
3587.24/3597.05 c Final Root Iters : 230666
3587.24/3597.05 c Root LP Estimate : -
3587.24/3597.05 c Solution :
3587.24/3597.05 c Solutions found : 0 (0 improvements)
3587.24/3597.05 c Primal Bound : -
3587.24/3597.05 c Dual Bound : +3.44000000000000e+02
3587.24/3597.05 c Gap : infinite
3587.24/3597.05 c Integrals : Total Avg%
3587.24/3597.05 c primal-dual : 359703.79 100.00
3587.24/3597.05 c primal-ref : - - (not evaluated)
3587.24/3597.05 c dual-ref : - - (not evaluated)
3587.82/3597.66 c Time complete: 3587.9.
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: 64096 MiB (60371 MiB free)
memory of node 1: 64473 MiB (58947 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462008-1722204310/watcher-4462008-1722204310 -o /tmp/evaluation-result-4462008-1722204310/solver-4462008-1722204310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722204305-370308 --watchdog 3760 pbscip -f HOME/instance-4462008-1722204310.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=370416, runsolver pid=370413
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=122083952/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=109508 memory=68832 CPUtime=0.1 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 14272 0 0 0 8 2 0 0 20 0 1 0 56420512 112136192 17208 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 27377 17208 3238 3540 0 15634 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 109508 KiB
Current children cumulated memory: 68832 KiB
[startup+0.213056 s]*
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=121953036/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=156888 memory=115680 CPUtime=0.22 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 25963 0 0 0 17 5 0 0 20 0 1 0 56420512 160653312 28920 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 39222 28920 3238 3540 0 27479 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 156888 KiB
Current children cumulated memory: 115680 KiB
[startup+0.313035 s]*
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=121898700/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=166784 memory=125440 CPUtime=0.31 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 28453 0 0 0 26 5 0 0 20 0 1 0 56420512 170786816 31360 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 41696 31360 3238 3540 0 29953 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 166784 KiB
Current children cumulated memory: 125440 KiB
[startup+0.700333 s]
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=121876720/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=217812 memory=176932 CPUtime=0.69 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 41296 0 0 0 61 8 0 0 20 0 1 0 56420512 223039488 44233 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 54453 44233 3238 3540 0 42710 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 217812 KiB
Current children cumulated memory: 176932 KiB
[startup+1.50034 s]
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=121697716/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=501612 memory=451528 CPUtime=1.48 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 110017 0 0 0 128 20 0 0 20 0 1 0 56420512 513650688 112882 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 125403 112882 3590 3540 0 113660 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 501612 KiB
Current children cumulated memory: 451528 KiB
[startup+3.11272 s]
/proc/loadavg: 0.77 0.24 0.14 5/242 370417
/proc/meminfo: memFree=121634020/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=662304 memory=602984 CPUtime=3.09 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 132848 0 0 0 281 28 0 0 20 0 1 0 56420512 678199296 150746 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 165576 150746 3637 3540 0 153833 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 662304 KiB
Current children cumulated memory: 602984 KiB
[startup+6.30027 s]
/proc/loadavg: 0.77 0.24 0.14 5/242 370417
/proc/meminfo: memFree=121536804/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=662304 memory=602984 CPUtime=6.27 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 132897 0 0 0 598 29 0 0 20 0 1 0 56420512 678199296 150746 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 165576 150746 3637 3540 0 153833 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 662304 KiB
Current children cumulated memory: 602984 KiB
[startup+12.7003 s]
/proc/loadavg: 1.03 0.30 0.16 5/242 370418
/proc/meminfo: memFree=121435080/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=662304 memory=603288 CPUtime=12.65 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 132980 0 0 0 1235 30 0 0 20 0 1 0 56420512 678199296 150822 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 165576 150822 3701 3540 0 153833 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 662304 KiB
Current children cumulated memory: 603288 KiB
[startup+25.5004 s]
/proc/loadavg: 1.69 0.48 0.22 5/242 370420
/proc/meminfo: memFree=121025464/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=970112 memory=848428 CPUtime=25.41 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 157695 0 0 0 2502 39 0 0 20 0 1 0 56420512 993394688 212107 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 242528 212107 3733 3540 0 230785 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 970112 KiB
Current children cumulated memory: 848428 KiB
[startup+51.113 s]
/proc/loadavg: 2.54 0.78 0.33 5/242 370424
/proc/meminfo: memFree=119100200/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1629920 memory=1433648 CPUtime=50.94 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 239708 0 0 0 5037 57 0 0 20 0 1 0 56420512 1669038080 358412 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 407480 358412 3941 3540 0 395737 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1629920 KiB
Current children cumulated memory: 1433648 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 1.28 0.52 5/242 370434
/proc/meminfo: memFree=118019784/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1646608 memory=1451436 CPUtime=101.98 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 241182 0 0 0 10139 59 0 0 20 0 1 0 56420512 1686126592 362859 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 411652 362859 3941 3540 0 399909 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1646608 KiB
Current children cumulated memory: 1451436 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 1.82 0.76 5/243 370458
/proc/meminfo: memFree=117941484/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1646984 memory=1452104 CPUtime=161.8 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 241438 0 0 0 16119 61 0 0 20 0 1 0 56420512 1686511616 363026 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 411746 363026 3941 3540 0 400003 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1646984 KiB
Current children cumulated memory: 1452104 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.25 0.97 5/244 370693
/proc/meminfo: memFree=117935396/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1647144 memory=1452316 CPUtime=221.61 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 241581 0 0 0 22099 62 0 0 20 0 1 0 56420512 1686675456 363079 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 411786 363079 3941 3540 0 400043 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1647144 KiB
Current children cumulated memory: 1452316 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.59 1.17 5/241 370703
/proc/meminfo: memFree=117917728/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1462652 CPUtime=281.42 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 242218 0 0 0 28078 64 0 0 20 0 1 0 56420512 1704034304 365663 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 365663 3941 3540 0 404281 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1462652 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 2.89 1.37 5/242 371004
/proc/meminfo: memFree=117968920/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1462692 CPUtime=341.24 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 242329 0 0 0 34058 66 0 0 20 0 1 0 56420512 1704034304 365673 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 365673 3941 3540 0 404281 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1462692 KiB
[startup+402.3 s]
/proc/loadavg: 3.64 2.99 1.50 4/235 371046
/proc/meminfo: memFree=119917076/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1462816 CPUtime=401.07 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 242444 0 0 0 40039 68 0 0 20 0 1 0 56420512 1704034304 365704 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 365704 3941 3540 0 404281 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1462816 KiB
[startup+462.3 s]
/proc/loadavg: 3.27 3.00 1.60 4/234 371056
/proc/meminfo: memFree=119912176/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1464960 CPUtime=460.9 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 242556 0 0 0 46021 69 0 0 20 0 1 0 56420512 1704034304 366240 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 366240 3941 3540 0 404281 0
################
# More data... #
################
/proc/loadavg: 3.06 3.18 3.13 4/234 372541
/proc/meminfo: memFree=119432068/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1476112 CPUtime=3153.63 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 247553 0 0 0 315230 133 0 0 20 0 1 0 56420512 1704034304 369028 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 369028 3957 3540 0 404281 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1476112 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.17 3.13 4/236 372722
/proc/meminfo: memFree=119431672/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1476132 CPUtime=3213.47 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 247626 0 0 0 321214 133 0 0 20 0 1 0 56420512 1704034304 369033 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 369033 3957 3540 0 404281 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1476132 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.17 3.13 4/236 372732
/proc/meminfo: memFree=119431496/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1476248 CPUtime=3273.31 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 247712 0 0 0 327197 134 0 0 20 0 1 0 56420512 1704034304 369062 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 369062 3957 3540 0 404281 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1476248 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.15 3.13 4/233 372744
/proc/meminfo: memFree=119426868/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1480444 CPUtime=3333.15 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 247889 0 0 0 333181 134 0 0 20 0 1 0 56420512 1704034304 370111 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370111 3957 3540 0 404281 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1480444 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.14 3.12 4/233 372769
/proc/meminfo: memFree=119421192/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3393.01 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248062 0 0 0 339166 135 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB
[startup+3462.3 s]
/proc/loadavg: 3.16 3.16 3.13 4/233 372779
/proc/meminfo: memFree=119420704/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3452.86 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248155 0 0 0 345151 135 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB
[startup+3522.3 s]
/proc/loadavg: 3.18 3.16 3.13 4/232 372789
/proc/meminfo: memFree=119418348/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3512.71 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248320 0 0 0 351135 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.14 3.12 4/232 372799
/proc/meminfo: memFree=119420136/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3572.57 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248424 0 0 0 357121 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB
[startup+3597.67 s]
# the end of solver process 370416 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.51 s, system=1.39684 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.09 3.14 3.12 4/232 372799
/proc/meminfo: memFree=119420136/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3574.27 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248426 0 0 0 357291 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3574.27 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB
[startup+3590.4 s]
/proc/loadavg: 3.08 3.13 3.12 4/232 372800
/proc/meminfo: memFree=119420164/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3580.65 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248426 0 0 0 357929 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3580.65 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB
[startup+3593.6 s]
/proc/loadavg: 3.08 3.13 3.12 4/232 372800
/proc/meminfo: memFree=119418636/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3583.84 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248477 0 0 0 358248 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3583.84 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB
[startup+3595.2 s]
/proc/loadavg: 3.08 3.13 3.12 3/223 372845
/proc/meminfo: memFree=123898640/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3585.43 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248491 0 0 0 358407 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3585.43 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB
[startup+3596.8 s]
/proc/loadavg: 3.08 3.13 3.12 3/223 372845
/proc/meminfo: memFree=123898356/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3587.03 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248491 0 0 0 358567 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3587.03 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB
[startup+3597.2 s]
/proc/loadavg: 3.08 3.13 3.12 3/223 372845
/proc/meminfo: memFree=123898364/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3587.43 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248856 0 0 0 358607 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB
[startup+3597.6 s]
/proc/loadavg: 3.08 3.13 3.12 3/223 372845
/proc/meminfo: memFree=123898364/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1464516 memory=1288240 CPUtime=3587.82 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 249152 0 0 0 358645 137 0 0 20 0 1 0 56420512 1499664384 322060 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 366129 322060 3973 3540 0 354386 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 1464516 KiB
Current children cumulated memory: 1288240 KiB
Child status: 0
Real time (s): 3597.67
CPU time (s): 3587.91
CPU user time (s): 3586.51
CPU system time (s): 1.39684
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 1664096
Max. memory (cumulated for all children) (KiB): 1482296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.51
system time used= 1.39684
maximum resident set size= 1482296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250378
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= 26
involuntary context switches= 5031
# summary of solver processes directly reported to runsolver:
# pid: 370416
# total CPU time (s): 3587.91
# total CPU user time (s): 3586.51
# total CPU system time (s): 1.39684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.2556 second user time and 28.9458 second system time
The end