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-4461968-1722204305.opb>
0.69/0.76 c original problem has 99544 variables (99544 bin, 0 int, 0 impl, 0 cont) and 99545 constraints
0.69/0.76 c problem read in 0.76
1.28/1.33 c presolving:
1.58/1.69 c (round 1, fast) 877 del vars, 868 del conss, 0 add conss, 62 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 98667 clqs
2.00/2.11 c (2.1s) running MILP presolver
14.43/14.56 c (14.5s) MILP presolver (5 rounds): 51 aggregations, 126 fixings, 0 bound changes
14.53/14.66 c (round 2, medium) 1238 del vars, 879 del conss, 0 add conss, 62 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 96572 clqs
14.53/14.69 c (round 3, fast) 1447 del vars, 2990 del conss, 0 add conss, 63 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 96465 clqs
14.73/14.82 c (round 4, exhaustive) 1501 del vars, 3080 del conss, 0 add conss, 63 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 96464 clqs
15.13/15.28 c (round 5, exhaustive) 1501 del vars, 3080 del conss, 0 add conss, 63 chg bounds, 49 chg sides, 0 chg coeffs, 96464 upgd conss, 0 impls, 96464 clqs
15.53/15.60 c (round 6, exhaustive) 1543 del vars, 3134 del conss, 12 add conss, 63 chg bounds, 49 chg sides, 0 chg coeffs, 96476 upgd conss, 0 impls, 96502 clqs
17.94/18.03 c (18.0s) sparsify finished: 477/539493 (0.1%) nonzeros canceled - in total 477 canceled nonzeros, 477 changed coefficients, 0 added nonzeros
19.12/19.22 c (19.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
19.32/19.42 c (19.4s) no symmetry present (symcode time: 0.06)
19.42/19.58 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
19.42/19.58 c 1594 deleted vars, 3186 deleted constraints, 12 added constraints, 63 tightened bounds, 0 added holes, 49 changed sides, 477 changed coefficients
19.42/19.58 c 0 implications, 97115 cliques
19.42/19.58 c presolved problem has 98033 variables (98033 bin, 0 int, 0 impl, 0 cont) and 96371 constraints
19.42/19.58 c 96370 constraints of type <setppc>
19.42/19.58 c 1 constraints of type <linear>
19.42/19.58 c transformed objective value is always integral (scale: 1)
19.42/19.58 c Presolving Time: 18.29
19.42/19.58 c - non default parameters ----------------------------------------------------------------------
19.42/19.58 c # SCIP version 10.0.0
19.42/19.58 c
19.42/19.58 c # maximal time in seconds to run
19.42/19.58 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
19.42/19.58 c limits/time = 3596.993117
19.42/19.58 c
19.42/19.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
19.42/19.58 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
19.42/19.58 c limits/memory = 27900
19.42/19.58 c
19.42/19.58 c # belongs reading time to solving time?
19.42/19.58 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
19.42/19.58 c timing/reading = TRUE
19.42/19.58 c
19.42/19.58 c -----------------------------------------------------------------------------------------------
19.42/19.58 c start solving
19.52/19.60 c
1132.02/1135.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1132.02/1135.43 c 1135s| 1 | 0 |107332 | - | 1313M | 0 | 98k| 96k| 96k| 0 | 0 | 37 | 0 | 3.460000e+02 | -- | Inf | unknown
3587.51/3597.02 c 3597s| 1 | 0 |349101 | - | 1382M | 0 | 98k| 96k| 96k| 52 | 1 | 38 | 0 | 3.460000e+02 | -- | Inf | unknown
3587.51/3597.02 c (node 1) LP solver hit time limit in LP 14 -- using pseudo solution instead
3587.51/3597.02 c
3587.51/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.51/3597.02 c Solving Time (sec) : 3597.01
3587.51/3597.02 c Solving Nodes : 1
3587.51/3597.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.51/3597.02 c Dual Bound : +3.46000000000000e+02
3587.51/3597.02 c Gap : infinite
3587.51/3597.02 s UNKNOWN
3587.51/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.51/3597.02 c Total Time : 3597.01
3587.51/3597.02 c solving : 3597.01
3587.51/3597.02 c presolving : 18.29 (included in solving)
3587.51/3597.02 c reading : 0.76 (included in solving)
3587.51/3597.02 c copying : 0.00 (0 times copied the problem)
3587.51/3597.02 c Original Problem :
3587.51/3597.02 c Problem name : HOME/instance-4461968-1722204305.opb
3587.51/3597.02 c Variables : 99544 (99544 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.51/3597.02 c Constraints : 99545 initial, 99545 maximal
3587.51/3597.02 c Objective : minimize, 1444 non-zeros (abs.min = 1, abs.max = 1)
3587.51/3597.02 c Presolved Problem :
3587.51/3597.02 c Problem name : t_HOME/instance-4461968-1722204305.opb
3587.51/3597.02 c Variables : 98033 (98033 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.51/3597.02 c Constraints : 96371 initial, 96403 maximal
3587.51/3597.02 c Objective : minimize, 1222 non-zeros (abs.min = 1, abs.max = 1)
3587.51/3597.02 c Nonzeros : 538916 constraint, 538911 clique table
3587.51/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.51/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c domcol : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c dualsparsify : 1.15 0.00 1 0 0 0 0 0 50 0 0 0
3587.51/3597.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c implics : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c milp : 12.83 0.00 1 126 51 0 0 0 0 0 0 0
3587.51/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c sparsify : 2.06 0.00 1 0 0 0 0 0 0 0 0 477
3587.51/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c trivial : 0.02 0.00 7 165 0 0 0 0 0 0 0 0
3587.51/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c dualfix : 0.02 0.00 7 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c probing : 0.05 0.00 1 50 0 0 0 0 0 0 0 0
3587.51/3597.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c symmetry : 0.19 0.00 1 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c vbounds : 0.10 0.00 1 152 0 0 0 0 0 0 0 0
3587.51/3597.02 c setppc : 0.54 0.02 6 0 43 0 0 0 56 12 0 0
3587.51/3597.02 c linear : 0.81 0.13 11 63 861 0 63 0 3080 0 49 0
3587.51/3597.02 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c components : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c root node : - - - 35 - - 35 - - - - -
3587.51/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.51/3597.02 c benderslp : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3587.51/3597.02 c integral : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3587.51/3597.02 c setppc : 96370+ 96397 1 4622 0 0 0 3 268 34 0 0 0 0 0
3587.51/3597.02 c linear : 1 1 1 4588 0 0 0 3 0 0 0 0 0 0 0
3587.51/3597.02 c logicor : 0+ 5 1 14 0 0 0 0 1 0 0 1 1 0 0
3587.51/3597.02 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.51/3597.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c setppc : 0.66 0.02 0.14 0.50 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c linear : 0.15 0.13 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.51/3597.02 c dualfix : 1 0 0 0
3587.51/3597.02 c genvbounds : 0 0 0 0
3587.51/3597.02 c nlobbt : 0 0 0 0
3587.51/3597.02 c obbt : 0 0 0 0
3587.51/3597.02 c probing : 0 0 0 0
3587.51/3597.02 c pseudoobj : 2 0 0 0
3587.51/3597.02 c redcost : 1 0 0 0
3587.51/3597.02 c rootredcost : 0 0 0 0
3587.51/3597.02 c symmetry : 0 0 0 0
3587.51/3597.02 c vbounds : 2832 0 0 0
3587.51/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.51/3597.02 c dualfix : 0.03 0.00 0.02 0.00 0.00 0.00
3587.51/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3587.51/3597.02 c pseudoobj : 1.37 0.00 0.00 1.37 0.00 0.00
3587.51/3597.02 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.51/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.51/3597.02 c symmetry : 0.19 0.00 0.19 0.00 0.00 0.00
3587.51/3597.02 c vbounds : 0.13 0.00 0.10 0.03 0.00 0.00
3587.51/3597.02 c Symmetry :
3587.51/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.51/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.51/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.51/3597.02 c shadow tree time : 0.00 s
3587.51/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.51/3597.02 c propagation : 0.00 27 26 - 27 3.4 11 2.0 - - -
3587.51/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.51/3597.02 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.51/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.51/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.51/3597.02 c applied globally : 0.00 - - 0 38 2.9 - - 0 - -
3587.51/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.51/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.51/3597.02 c cut pool : 0.00 - 1 1 - - 126 120 - - - - - (maximal pool size: 126)
3587.51/3597.02 c aggregation : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.51/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.51/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.51/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c clique : 5.00 0.00 1 1 0 0 7 7 0 5 5 0 0
3587.51/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c gomory : 46.59 0.00 1 1 0 0 108 102 6 32 29 3 0
3587.51/3597.02 c > gomorymi : - - - - - - - 21 3 4 1 3 -
3587.51/3597.02 c > strongcg : - - - - - - - 81 3 28 28 0 -
3587.51/3597.02 c impliedbounds : 0.01 0.00 1 1 0 22 0 0 0 0 0 0 0
3587.51/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c mcf : 0.07 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c multilinear : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c rlt : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.51/3597.02 c zerohalf : 0.84 0.00 1 1 0 0 17 11 0 8 8 0 0
3587.51/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.51/3597.02 c hybrid : 0.00 0.00 1 1 40 12 87 40 12 87
3587.51/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.51/3597.02 c problem variables: 0.00 - 0 0
3587.51/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.51/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.51/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.51/3597.02 c LP solutions : 0.00 - - 0 0
3587.51/3597.02 c relax solutions : 0.00 - - 0 0
3587.51/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.51/3597.02 c strong branching : 0.00 - - 0 0
3587.51/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c adaptivediving : 0.00 0.00 0 0 0
3587.51/3597.02 c alns : 0.00 0.00 0 0 0
3587.51/3597.02 c bound : 0.00 0.00 0 0 0
3587.51/3597.02 c clique : 0.53 0.00 1 0 0
3587.51/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c completesol : 0.00 0.00 0 0 0
3587.51/3597.02 c conflictdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c crossover : 0.00 0.00 0 0 0
3587.51/3597.02 c dins : 0.00 0.00 0 0 0
3587.51/3597.02 c distributiondivin: 0.00 0.00 0 0 0
3587.51/3597.02 c dps : 0.00 0.00 0 0 0
3587.51/3597.02 c dualval : 0.00 0.00 0 0 0
3587.51/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c feasjump : 0.33 0.00 1 0 0
3587.51/3597.02 c feaspump : 2331.60 0.00 1 0 0
3587.51/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.51/3597.02 c fracdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c gins : 0.00 0.00 0 0 0
3587.51/3597.02 c guideddiving : 0.00 0.00 0 0 0
3587.51/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c indicator : 0.00 0.00 0 0 0
3587.51/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.51/3597.02 c indoneopt : 0.00 0.00 0 0 0
3587.51/3597.02 c indrounding : 0.00 0.00 0 0 0
3587.51/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3587.51/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.51/3597.02 c linesearchdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.51/3597.02 c locks : 0.56 0.00 1 0 0
3587.51/3597.02 c lpface : 0.00 0.00 0 0 0
3587.51/3597.02 c mpec : 0.00 0.00 0 0 0
3587.51/3597.02 c multistart : 0.00 0.00 0 0 0
3587.51/3597.02 c mutation : 0.00 0.00 0 0 0
3587.51/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c objpscostdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c octane : 0.00 0.00 0 0 0
3587.51/3597.02 c ofins : 0.00 0.00 0 0 0
3587.51/3597.02 c oneopt : 0.00 0.00 0 0 0
3587.51/3597.02 c padm : 0.00 0.00 0 0 0
3587.51/3597.02 c proximity : 0.00 0.00 0 0 0
3587.51/3597.02 c pscostdiving : 0.00 0.00 0 0 0
3587.51/3597.02 c randrounding : 0.14 0.00 1 0 0
3587.51/3597.02 c rens : 0.00 0.00 0 0 0
3587.51/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.51/3597.02 c repair : 0.00 0.00 0 0 0
3587.51/3597.02 c rins : 0.00 0.00 0 0 0
3587.51/3597.02 c rootsoldiving : 0.00 0.00 0 0 0
3587.51/3597.02 c rounding : 0.01 0.00 1 0 0
3587.51/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.51/3597.02 c shiftandpropagate: 0.34 0.00 1 0 0
3587.51/3597.02 c shifting : 0.05 0.00 1 0 0
3587.51/3597.02 c simplerounding : 0.00 0.00 0 0 0
3587.51/3597.02 c smallcard : 0.00 0.00 0 0 0
3587.51/3597.02 c subnlp : 0.00 0.00 0 0 0
3587.51/3597.02 c trivial : 0.07 0.00 2 0 0
3587.51/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.51/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.51/3597.02 c trysol : 0.00 0.00 0 0 0
3587.51/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.51/3597.02 c undercover : 0.00 0.00 0 0 0
3587.51/3597.02 c vbounds : 0.29 0.00 1 0 0
3587.51/3597.02 c veclendiving : 0.00 0.00 0 0 0
3587.51/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.51/3597.02 c zirounding : 0.00 0.00 0 0 0
3587.51/3597.02 c other solutions : - - - 0 -
3587.51/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.51/3597.02 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.51/3597.02 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.51/3597.02 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.51/3597.02 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.51/3597.02 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.51/3597.02 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.51/3597.02 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.51/3597.02 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.51/3597.02 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.51/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.51/3597.02 c primal LP : 0.00 0 0 0.00 - 0.00 0
3587.51/3597.02 c dual LP : 1189.42 3 117333 58666.50 98.65 0.10 1
3587.51/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.51/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.51/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.51/3597.02 c diving/probing LP: 2330.92 12 231768 19314.00 99.43
3587.51/3597.02 c strong branching : 0.00 0 0 0.00 - - - 0
3587.51/3597.02 c (at root node) : - 0 0 0.00 -
3587.51/3597.02 c conflict analysis: 0.00 0 0 0.00 -
3587.51/3597.02 c B&B Tree :
3587.51/3597.02 c number of runs : 1
3587.51/3597.02 c nodes : 1 (0 internal, 1 leaves)
3587.51/3597.02 c feasible leaves : 0
3587.51/3597.02 c infeas. leaves : 0
3587.51/3597.02 c objective leaves : 0
3587.51/3597.02 c nodes (total) : 1 (0 internal, 1 leaves)
3587.51/3597.02 c nodes left : 1
3587.51/3597.02 c max depth : 0
3587.51/3597.02 c max depth (total): 0
3587.51/3597.02 c backtracks : 0 (0.0%)
3587.51/3597.02 c early backtracks : 0 (0.0%)
3587.51/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.51/3597.02 c delayed cutoffs : 0
3587.51/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.51/3597.02 c avg switch length: 1.00
3587.51/3597.02 c switching time : 0.00
3587.51/3597.02 c Root Node :
3587.51/3597.02 c First LP value : +3.46000000000000e+02
3587.51/3597.02 c First LP Iters : 107332 (96.50 Iter/sec)
3587.51/3597.02 c First LP Time : 1112.24
3587.51/3597.02 c Final Dual Bound : +3.46000000000000e+02
3587.51/3597.02 c Final Root Iters : 349101
3587.51/3597.02 c Root LP Estimate : -
3587.51/3597.02 c Solution :
3587.51/3597.02 c Solutions found : 0 (0 improvements)
3587.51/3597.02 c Primal Bound : -
3587.51/3597.02 c Dual Bound : +3.46000000000000e+02
3587.51/3597.02 c Gap : infinite
3587.51/3597.02 c Integrals : Total Avg%
3587.51/3597.02 c primal-dual : 359700.52 100.00
3587.51/3597.02 c primal-ref : - - (not evaluated)
3587.51/3597.02 c dual-ref : - - (not evaluated)
3587.90/3597.48 c Time complete: 3587.99.
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: 64059 MiB (59735 MiB free)
memory of node 1: 64510 MiB (59983 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461968-1722204305/watcher-4461968-1722204305 -o /tmp/evaluation-result-4461968-1722204305/solver-4461968-1722204305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722204305-386833 --watchdog 3760 pbscip -f HOME/instance-4461968-1722204305.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=386896, runsolver pid=386893
[startup+0.100114 s]*
/proc/loadavg: 0.16 0.11 0.09 5/245 386897
/proc/meminfo: memFree=122487172/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=98856 memory=57912 CPUtime=0.11 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 11584 0 0 0 7 4 0 0 20 0 1 0 56419639 101228544 14478 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 24714 14478 3213 3540 0 12971 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 98856 KiB
Current children cumulated memory: 57912 KiB
[startup+0.214315 s]*
/proc/loadavg: 0.16 0.11 0.09 5/245 386897
/proc/meminfo: memFree=122403976/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=144944 memory=103640 CPUtime=0.22 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 22990 0 0 0 14 8 0 0 20 0 1 0 56419639 148422656 25910 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 36236 25910 3213 3540 0 24493 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 144944 KiB
Current children cumulated memory: 103640 KiB
[startup+0.31428 s]*
/proc/loadavg: 0.16 0.11 0.09 5/245 386897
/proc/meminfo: memFree=122370888/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=150476 memory=109184 CPUtime=0.31 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 24361 0 0 0 23 8 0 0 20 0 1 0 56419639 154087424 27296 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 37619 27296 3213 3540 0 25876 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 150476 KiB
Current children cumulated memory: 109184 KiB
[startup+0.700383 s]
/proc/loadavg: 0.16 0.11 0.09 5/245 386897
/proc/meminfo: memFree=122269668/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=196624 memory=155700 CPUtime=0.69 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 36041 0 0 0 57 12 0 0 20 0 1 0 56419639 201342976 38925 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 49156 38925 3213 3540 0 37413 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 196624 KiB
Current children cumulated memory: 155700 KiB
[startup+1.50037 s]
/proc/loadavg: 0.16 0.11 0.09 5/245 386897
/proc/meminfo: memFree=121909736/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=447352 memory=398092 CPUtime=1.48 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 96645 0 0 0 122 26 0 0 20 0 1 0 56419639 458088448 99523 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 111838 99523 3564 3540 0 100095 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 447352 KiB
Current children cumulated memory: 398092 KiB
[startup+3.11316 s]
/proc/loadavg: 0.47 0.18 0.12 5/245 386897
/proc/meminfo: memFree=121536924/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=588220 memory=534032 CPUtime=3.09 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 116293 0 0 0 276 33 0 0 20 0 1 0 56419639 602337280 133508 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 147055 133508 3627 3540 0 135312 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 588220 KiB
Current children cumulated memory: 534032 KiB
[startup+6.30034 s]
/proc/loadavg: 0.47 0.18 0.12 5/245 386943
/proc/meminfo: memFree=121232664/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=588220 memory=534392 CPUtime=6.26 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 116339 0 0 0 593 33 0 0 20 0 1 0 56419639 602337280 133598 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 147055 133598 3691 3540 0 135312 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 588220 KiB
Current children cumulated memory: 534392 KiB
[startup+12.7003 s]
/proc/loadavg: 1.01 0.30 0.16 5/243 386945
/proc/meminfo: memFree=120975392/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=588220 memory=534392 CPUtime=12.64 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 116411 0 0 0 1230 34 0 0 20 0 1 0 56419639 602337280 133598 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 147055 133598 3691 3540 0 135312 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 588220 KiB
Current children cumulated memory: 534392 KiB
[startup+25.5004 s]
/proc/loadavg: 1.47 0.42 0.20 5/243 386946
/proc/meminfo: memFree=119959184/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1492844 memory=1221240 CPUtime=25.4 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 188163 0 0 0 2485 55 0 0 20 0 1 0 56419639 1528672256 305310 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 373211 305310 3931 3540 0 361468 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1492844 KiB
Current children cumulated memory: 1221240 KiB
[startup+51.1129 s]
/proc/loadavg: 2.48 0.75 0.31 5/243 386951
/proc/meminfo: memFree=119908180/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1516492 memory=1257812 CPUtime=50.91 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 194730 0 0 0 5034 57 0 0 20 0 1 0 56419639 1552887808 314453 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 379123 314453 3931 3540 0 367380 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1516492 KiB
Current children cumulated memory: 1257812 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.31 0.53 5/243 386959
/proc/meminfo: memFree=119862520/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1518440 memory=1259916 CPUtime=101.92 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 195343 0 0 0 10134 58 0 0 20 0 1 0 56419639 1554882560 314979 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 379610 314979 3931 3540 0 367867 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1518440 KiB
Current children cumulated memory: 1259916 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.82 0.76 5/245 386984
/proc/meminfo: memFree=119807772/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1518960 memory=1260524 CPUtime=161.71 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 195549 0 0 0 16112 59 0 0 20 0 1 0 56419639 1555415040 315131 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 379740 315131 3931 3540 0 367997 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1518960 KiB
Current children cumulated memory: 1260524 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.23 0.97 5/247 387221
/proc/meminfo: memFree=119716040/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1519280 memory=1260816 CPUtime=221.5 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 195666 0 0 0 22089 61 0 0 20 0 1 0 56419639 1555742720 315204 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 379820 315204 3931 3540 0 368077 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 1519280 KiB
Current children cumulated memory: 1260816 KiB
[startup+282.3 s]
/proc/loadavg: 3.65 2.48 1.13 4/240 387262
/proc/meminfo: memFree=120467484/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1519588 memory=1261120 CPUtime=281.28 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 195790 0 0 0 28066 62 0 0 20 0 1 0 56419639 1556058112 315280 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 379897 315280 3931 3540 0 368154 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 1519588 KiB
Current children cumulated memory: 1261120 KiB
[startup+342.3 s]
/proc/loadavg: 3.28 2.59 1.26 4/240 387564
/proc/meminfo: memFree=120478248/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1519588 memory=1261120 CPUtime=341.09 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 195833 0 0 0 34046 63 0 0 20 0 1 0 56419639 1556058112 315280 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 379897 315280 3931 3540 0 368154 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 1519588 KiB
Current children cumulated memory: 1261120 KiB
[startup+402.3 s]
/proc/loadavg: 3.26 2.71 1.39 4/241 387576
/proc/meminfo: memFree=120451212/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1519588 memory=1261128 CPUtime=400.9 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 195881 0 0 0 40026 64 0 0 20 0 1 0 56419639 1556058112 315282 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 379897 315282 3931 3540 0 368154 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 1519588 KiB
Current children cumulated memory: 1261128 KiB
[startup+462.3 s]
/proc/loadavg: 3.10 2.77 1.49 4/239 387587
/proc/meminfo: memFree=120434852/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1519588 memory=1261128 CPUtime=460.72 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 195928 0 0 0 46007 65 0 0 20 0 1 0 56419639 1556058112 315282 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 379897 315282 3931 3540 0 368154 0
################
# More data... #
################
/proc/loadavg: 2.15 2.23 2.33 3/230 389108
/proc/meminfo: memFree=120654188/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1536716 memory=1305260 CPUtime=3154.01 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 203884 0 0 0 315326 75 0 0 20 0 1 0 56419639 1573597184 326315 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 384179 326315 3947 3540 0 372436 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 1536716 KiB
Current children cumulated memory: 1305260 KiB
[startup+3222.3 s]
/proc/loadavg: 2.10 2.20 2.31 3/235 389294
/proc/meminfo: memFree=120654208/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1536716 memory=1305264 CPUtime=3213.84 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 203971 0 0 0 321309 75 0 0 20 0 1 0 56419639 1573597184 326316 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 384179 326316 3947 3540 0 372436 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 1536716 KiB
Current children cumulated memory: 1305264 KiB
[startup+3282.3 s]
/proc/loadavg: 2.14 2.19 2.30 3/234 389304
/proc/meminfo: memFree=120653956/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1536716 memory=1305264 CPUtime=3273.68 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 204110 0 0 0 327293 75 0 0 20 0 1 0 56419639 1573597184 326316 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 384179 326316 3947 3540 0 372436 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 1536716 KiB
Current children cumulated memory: 1305264 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.17 2.28 3/232 389317
/proc/meminfo: memFree=120653880/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1536716 memory=1305264 CPUtime=3333.51 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 204354 0 0 0 333276 75 0 0 20 0 1 0 56419639 1573597184 326316 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 384179 326316 3947 3540 0 372436 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 1536716 KiB
Current children cumulated memory: 1305264 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.15 2.27 3/232 389341
/proc/meminfo: memFree=120653384/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1536716 memory=1305264 CPUtime=3393.35 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 204637 0 0 0 339260 75 0 0 20 0 1 0 56419639 1573597184 326316 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 384179 326316 3947 3540 0 372436 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 1536716 KiB
Current children cumulated memory: 1305264 KiB
[startup+3462.3 s]
/proc/loadavg: 2.13 2.15 2.26 3/232 389352
/proc/meminfo: memFree=120653048/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1536716 memory=1305264 CPUtime=3453.17 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 204957 0 0 0 345242 75 0 0 20 0 1 0 56419639 1573597184 326316 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 384179 326316 3947 3540 0 372436 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 1536716 KiB
Current children cumulated memory: 1305264 KiB
[startup+3522.3 s]
/proc/loadavg: 2.04 2.12 2.24 3/228 389363
/proc/meminfo: memFree=120600356/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1599580 memory=1357792 CPUtime=3513.02 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 215944 0 0 0 351225 77 0 0 20 0 1 0 56419639 1637969920 339448 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 399895 339448 3963 3540 0 388152 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 1599580 KiB
Current children cumulated memory: 1357792 KiB
[startup+3582.3 s]
/proc/loadavg: 2.12 2.13 2.24 3/228 389373
/proc/meminfo: memFree=120599728/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1599580 memory=1358016 CPUtime=3572.84 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 216085 0 0 0 357207 77 0 0 20 0 1 0 56419639 1637969920 339504 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 399895 339504 3963 3540 0 388152 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 1599580 KiB
Current children cumulated memory: 1358016 KiB
[startup+3597.49 s]
# the end of solver process 386896 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.2 s, system=0.799379 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.11 2.13 2.24 3/228 389373
/proc/meminfo: memFree=120599728/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1599580 memory=1358016 CPUtime=3574.55 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 216085 0 0 0 357378 77 0 0 20 0 1 0 56419639 1637969920 339504 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 399895 339504 3963 3540 0 388152 0
Current children cumulated CPU time: 3574.55 s
Current children cumulated vsize: 1599580 KiB
Current children cumulated memory: 1358016 KiB
[startup+3590.4 s]
/proc/loadavg: 2.10 2.12 2.23 3/228 389375
/proc/meminfo: memFree=120599700/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1599580 memory=1358016 CPUtime=3580.92 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 216609 0 0 0 358015 77 0 0 20 0 1 0 56419639 1637969920 339504 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 399895 339504 3963 3540 0 388152 0
Current children cumulated CPU time: 3580.92 s
Current children cumulated vsize: 1599580 KiB
Current children cumulated memory: 1358016 KiB
[startup+3593.6 s]
/proc/loadavg: 2.10 2.12 2.23 3/228 389375
/proc/meminfo: memFree=120599700/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1599580 memory=1358016 CPUtime=3584.11 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 216609 0 0 0 358334 77 0 0 20 0 1 0 56419639 1637969920 339504 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 399895 339504 3963 3540 0 388152 0
Current children cumulated CPU time: 3584.11 s
Current children cumulated vsize: 1599580 KiB
Current children cumulated memory: 1358016 KiB
[startup+3595.2 s]
/proc/loadavg: 2.10 2.12 2.23 3/228 389375
/proc/meminfo: memFree=120599692/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1599580 memory=1358016 CPUtime=3585.71 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 216611 0 0 0 358494 77 0 0 20 0 1 0 56419639 1637969920 339504 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 399895 339504 3963 3540 0 388152 0
Current children cumulated CPU time: 3585.71 s
Current children cumulated vsize: 1599580 KiB
Current children cumulated memory: 1358016 KiB
[startup+3596.8 s]
/proc/loadavg: 2.10 2.12 2.23 3/228 389375
/proc/meminfo: memFree=120599756/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1599580 memory=1358016 CPUtime=3587.3 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 216611 0 0 0 358653 77 0 0 20 0 1 0 56419639 1637969920 339504 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 399895 339504 3963 3540 0 388152 0
Current children cumulated CPU time: 3587.3 s
Current children cumulated vsize: 1599580 KiB
Current children cumulated memory: 1358016 KiB
[startup+3597.2 s]
/proc/loadavg: 2.10 2.12 2.23 4/228 389375
/proc/meminfo: memFree=120599756/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1599580 memory=1358016 CPUtime=3587.7 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 216856 0 0 0 358693 77 0 0 20 0 1 0 56419639 1637969920 339504 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 399895 339504 3963 3540 0 388152 0
Current children cumulated CPU time: 3587.7 s
Current children cumulated vsize: 1599580 KiB
Current children cumulated memory: 1358016 KiB
[startup+3597.4 s]
/proc/loadavg: 2.10 2.12 2.23 4/228 389375
/proc/meminfo: memFree=120599756/131655788 swapFree=131057508/131071996
[pid=386896] ppid=386893 vsize=1569096 memory=1327532 CPUtime=3587.9 cores=5,7
/proc/386896/stat : 386896 (pbscip) R 386893 386896 386820 0 -1 4194304 216873 0 0 0 358713 77 0 0 20 0 1 0 56419639 1606754304 331883 134679101440 4194304 18693293 140722334697232 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48992256 140722334700547 140722334700646 140722334700646 140722334707662 0
/proc/386896/statm: 392274 331883 3963 3540 0 380531 0
Current children cumulated CPU time: 3587.9 s
Current children cumulated vsize: 1569096 KiB
Current children cumulated memory: 1327532 KiB
Child status: 0
Real time (s): 3597.49
CPU time (s): 3588
CPU user time (s): 3587.2
CPU system time (s): 0.799379
CPU usage (%): 99.7363
Max. virtual memory (cumulated for all children) (KiB): 1599580
Max. memory (cumulated for all children) (KiB): 1358016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.2
system time used= 0.799379
maximum resident set size= 1358016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216927
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= 1319
# summary of solver processes directly reported to runsolver:
# pid: 386896
# total CPU time (s): 3588
# total CPU user time (s): 3587.2
# total CPU system time (s): 0.799379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4244 second user time and 33.5665 second system time
The end