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-4461808-1722204305.opb>
1.28/1.30 c original problem has 194375 variables (194375 bin, 0 int, 0 impl, 0 cont) and 194376 constraints
1.28/1.30 c problem read in 1.29
2.18/2.27 c presolving:
2.87/2.91 c (round 1, fast) 1334 del vars, 1328 del conss, 0 add conss, 184 chg bounds, 43 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 193041 clqs
3.57/3.69 c (3.7s) running MILP presolver
40.96/41.19 c (41.2s) MILP presolver (5 rounds): 45 aggregations, 245 fixings, 0 bound changes
41.24/41.42 c (round 2, medium) 1984 del vars, 1337 del conss, 0 add conss, 185 chg bounds, 44 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 187830 clqs
41.24/41.49 c (round 3, fast) 2342 del vars, 6572 del conss, 0 add conss, 185 chg bounds, 44 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 187742 clqs
42.24/42.45 c (round 4, exhaustive) 2345 del vars, 6633 del conss, 0 add conss, 185 chg bounds, 44 chg sides, 0 chg coeffs, 187742 upgd conss, 0 impls, 187742 clqs
47.73/48.00 c (48.0s) sparsify finished: 811/1078063 (0.1%) nonzeros canceled - in total 811 canceled nonzeros, 811 changed coefficients, 0 added nonzeros
50.02/50.21 c (round 5, exhaustive) 2472 del vars, 6770 del conss, 9 add conss, 185 chg bounds, 44 chg sides, 811 chg coeffs, 187751 upgd conss, 0 impls, 187748 clqs
59.90/60.14 c (60.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
60.38/60.62 c (60.6s) symmetry computation finished: 2 generators found (max: 333, log10 of symmetry group size: 0.0) (symcode time: 0.20)
60.38/60.62 c dynamic symmetry handling statistics:
60.38/60.62 c orbitopal reduction: no components
60.38/60.62 c orbital reduction: no components
60.38/60.62 c lexicographic reduction: 1 permutations with support sizes 6
60.38/60.62 c handled 2 out of 2 symmetry components
60.68/60.94 c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
60.68/60.94 c 2504 deleted vars, 6774 deleted constraints, 11 added constraints, 185 tightened bounds, 0 added holes, 44 changed sides, 811 changed coefficients
60.68/60.94 c 0 implications, 251829 cliques
60.68/60.94 c presolved problem has 192005 variables (192005 bin, 0 int, 0 impl, 0 cont) and 187612 constraints
60.68/60.94 c 187610 constraints of type <setppc>
60.68/60.94 c 2 constraints of type <linear>
60.68/60.94 c transformed objective value is always integral (scale: 1)
60.68/60.94 c Presolving Time: 58.74
60.68/60.94 c - non default parameters ----------------------------------------------------------------------
60.68/60.94 c # SCIP version 10.0.0
60.68/60.94 c
60.68/60.94 c # maximal time in seconds to run
60.68/60.94 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
60.68/60.94 c limits/time = 3596.994059
60.68/60.94 c
60.68/60.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
60.68/60.94 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
60.68/60.94 c limits/memory = 27900
60.68/60.94 c
60.68/60.94 c # belongs reading time to solving time?
60.68/60.94 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
60.68/60.94 c timing/reading = TRUE
60.68/60.94 c
60.68/60.94 c -----------------------------------------------------------------------------------------------
60.68/60.94 c start solving
60.68/60.98 c
3587.12/3597.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3587.12/3597.80 c 3598s| 1 | 0 |143710 | - | 2300M | 0 | 192k| 187k| 187k| 0 | 0 | 44 | 0 | 1.410000e+02 | -- | Inf | unknown
3587.12/3597.80 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
3587.12/3597.80 c
3587.12/3597.80 c SCIP Status : solving was interrupted [time limit reached]
3587.12/3597.80 c Solving Time (sec) : 3597.78
3587.12/3597.80 c Solving Nodes : 1
3587.12/3597.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.12/3597.80 c Dual Bound : +1.41000000000000e+02
3587.12/3597.80 c Gap : infinite
3587.12/3597.80 s UNKNOWN
3587.12/3597.80 c SCIP Status : solving was interrupted [time limit reached]
3587.12/3597.80 c Total Time : 3597.78
3587.12/3597.80 c solving : 3597.78
3587.12/3597.80 c presolving : 58.74 (included in solving)
3587.12/3597.80 c reading : 1.29 (included in solving)
3587.12/3597.80 c copying : 0.00 (0 times copied the problem)
3587.12/3597.80 c Original Problem :
3587.12/3597.80 c Problem name : HOME/instance-4461808-1722204305.opb
3587.12/3597.80 c Variables : 194375 (194375 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.12/3597.80 c Constraints : 194376 initial, 194376 maximal
3587.12/3597.80 c Objective : minimize, 2888 non-zeros (abs.min = 1, abs.max = 1)
3587.12/3597.80 c Presolved Problem :
3587.12/3597.80 c Problem name : t_HOME/instance-4461808-1722204305.opb
3587.12/3597.80 c Variables : 192005 (192005 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.12/3597.80 c Constraints : 187612 initial, 187612 maximal
3587.12/3597.81 c Objective : minimize, 2497 non-zeros (abs.min = 1, abs.max = 1)
3587.12/3597.81 c Nonzeros : 1076973 constraint, 1203612 clique table
3587.12/3597.81 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.12/3597.81 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c domcol : 0.63 0.00 2 4 0 0 0 0 0 0 0 0
3587.12/3597.81 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c dualsparsify : 2.11 0.00 1 0 0 0 0 0 59 0 0 0
3587.12/3597.81 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c implics : 0.02 0.00 4 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c milp : 38.22 0.00 1 245 45 0 0 0 0 0 0 0
3587.12/3597.81 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c sparsify : 9.07 0.00 2 0 0 0 0 0 0 0 0 811
3587.12/3597.81 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c trivial : 0.04 0.00 6 285 0 0 0 0 0 0 0 0
3587.12/3597.81 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c dualfix : 0.04 0.00 6 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c probing : 4.71 0.01 2 84 0 0 0 0 0 0 0 0
3587.12/3597.81 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c symmetry : 0.48 0.00 1 0 0 0 0 0 0 1 0 0
3587.12/3597.81 c vbounds : 0.21 0.00 1 226 0 0 0 0 0 0 0 0
3587.12/3597.81 c setppc : 1.13 0.05 6 0 71 0 0 0 82 10 0 0
3587.12/3597.81 c linear : 1.35 0.25 9 185 1225 0 185 0 6633 0 44 0
3587.12/3597.81 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c components : 0.24 0.00 1 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c root node : - - - 7 - - 7 - - - - -
3587.12/3597.81 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.12/3597.81 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3587.12/3597.81 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3587.12/3597.81 c setppc : 187610 187610 0 8814 0 0 0 3 418 41 0 0 0 0 0
3587.12/3597.81 c linear : 2 2 0 8773 0 0 0 3 0 0 0 0 0 0 0
3587.12/3597.81 c logicor : 0+ 18 0 17 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.12/3597.81 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c setppc : 2.04 0.05 0.27 1.73 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c linear : 0.25 0.25 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c fixedvar : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.12/3597.81 c dualfix : 1 0 0 0
3587.12/3597.81 c genvbounds : 0 0 0 0
3587.12/3597.81 c nlobbt : 0 0 0 0
3587.12/3597.81 c obbt : 0 0 0 0
3587.12/3597.81 c probing : 0 0 0 0
3587.12/3597.81 c pseudoobj : 1 0 0 0
3587.12/3597.81 c redcost : 0 0 0 0
3587.12/3597.81 c rootredcost : 0 0 0 0
3587.12/3597.81 c symmetry : 0 0 0 0
3587.12/3597.81 c vbounds : 3751 0 0 0
3587.12/3597.81 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.12/3597.81 c dualfix : 0.04 0.00 0.04 0.01 0.00 0.00
3587.12/3597.81 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c probing : 4.72 0.01 4.71 0.00 0.00 0.00
3587.12/3597.81 c pseudoobj : 5.16 0.00 0.00 5.16 0.00 0.00
3587.12/3597.81 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.12/3597.81 c symmetry : 0.49 0.00 0.48 0.00 0.00 0.00
3587.12/3597.81 c vbounds : 0.27 0.00 0.21 0.06 0.00 0.00
3587.12/3597.81 c Symmetry :
3587.12/3597.81 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.12/3597.81 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.12/3597.81 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.12/3597.81 c shadow tree time : 0.00 s
3587.12/3597.81 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.12/3597.81 c propagation : 0.00 32 31 - 43 11.7 2 5.0 - - -
3587.12/3597.81 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.12/3597.81 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.12/3597.81 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.12/3597.81 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.12/3597.81 c applied globally : 0.00 - - 0 44 11.1 - - 0 - -
3587.12/3597.81 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.12/3597.81 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.12/3597.81 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3587.12/3597.81 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.12/3597.81 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.12/3597.81 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.12/3597.81 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3587.12/3597.81 c > strongcg : - - - - - - - 0 0 0 0 0 -
3587.12/3597.81 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.12/3597.81 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.12/3597.81 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c Pricers : ExecTime SetupTime Calls Vars
3587.12/3597.81 c problem variables: 0.00 - 0 0
3587.12/3597.81 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.12/3597.81 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.12/3597.81 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.12/3597.81 c LP solutions : 0.00 - - 0 0
3587.12/3597.81 c relax solutions : 0.00 - - 0 0
3587.12/3597.81 c pseudo solutions : 0.00 - - 0 0
3587.12/3597.81 c strong branching : 0.00 - - 0 0
3587.12/3597.81 c actconsdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c adaptivediving : 0.00 0.00 0 0 0
3587.12/3597.81 c alns : 0.00 0.00 0 0 0
3587.12/3597.81 c bound : 0.00 0.00 0 0 0
3587.12/3597.81 c clique : 1.17 0.00 1 0 0
3587.12/3597.81 c coefdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c completesol : 0.00 0.00 0 0 0
3587.12/3597.81 c conflictdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c crossover : 0.00 0.00 0 0 0
3587.12/3597.81 c dins : 0.00 0.00 0 0 0
3587.12/3597.81 c distributiondivin: 0.00 0.00 0 0 0
3587.12/3597.81 c dps : 0.00 0.00 0 0 0
3587.12/3597.81 c dualval : 0.00 0.00 0 0 0
3587.12/3597.81 c farkasdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c feasjump : 0.63 0.00 1 0 0
3587.12/3597.81 c feaspump : 0.00 0.00 0 0 0
3587.12/3597.81 c fixandinfer : 0.00 0.00 0 0 0
3587.12/3597.81 c fracdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c gins : 0.00 0.00 0 0 0
3587.12/3597.81 c guideddiving : 0.00 0.00 0 0 0
3587.12/3597.81 c indcoefdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c indicator : 0.00 0.00 0 0 0
3587.12/3597.81 c indicatordiving : 0.00 0.00 0 0 0
3587.12/3597.81 c indoneopt : 0.00 0.00 0 0 0
3587.12/3597.81 c indrounding : 0.00 0.00 0 0 0
3587.12/3597.81 c indtwoopt : 0.00 0.00 0 0 0
3587.12/3597.81 c intdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c intshifting : 0.00 0.00 0 0 0
3587.12/3597.81 c linesearchdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c localbranching : 0.00 0.00 0 0 0
3587.12/3597.81 c locks : 2.88 0.00 1 0 0
3587.12/3597.81 c lpface : 0.00 0.00 0 0 0
3587.12/3597.81 c mpec : 0.00 0.00 0 0 0
3587.12/3597.81 c multistart : 0.00 0.00 0 0 0
3587.12/3597.81 c mutation : 0.00 0.00 0 0 0
3587.12/3597.81 c nlpdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c objpscostdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c octane : 0.00 0.00 0 0 0
3587.12/3597.81 c ofins : 0.00 0.00 0 0 0
3587.12/3597.81 c oneopt : 0.00 0.00 0 0 0
3587.12/3597.81 c padm : 0.00 0.00 0 0 0
3587.12/3597.81 c proximity : 0.00 0.00 0 0 0
3587.12/3597.81 c pscostdiving : 0.00 0.00 0 0 0
3587.12/3597.81 c randrounding : 0.00 0.00 0 0 0
3587.12/3597.81 c rens : 0.00 0.00 0 0 0
3587.12/3597.81 c reoptsols : 0.00 0.00 0 0 0
3587.12/3597.81 c repair : 0.00 0.00 0 0 0
3587.12/3597.81 c rins : 0.00 0.00 0 0 0
3587.12/3597.81 c rootsoldiving : 0.00 0.00 0 0 0
3587.12/3597.81 c rounding : 0.00 0.00 0 0 0
3587.12/3597.81 c scheduler : 0.00 0.00 0 0 0
3587.12/3597.81 c shiftandpropagate: 0.75 0.00 1 0 0
3587.12/3597.81 c shifting : 0.00 0.00 0 0 0
3587.12/3597.81 c simplerounding : 0.00 0.00 0 0 0
3587.12/3597.81 c smallcard : 0.00 0.00 0 0 0
3587.12/3597.81 c subnlp : 0.00 0.00 0 0 0
3587.12/3597.81 c trivial : 0.13 0.00 2 0 0
3587.12/3597.81 c trivialnegation : 0.00 0.00 0 0 0
3587.12/3597.81 c trustregion : 0.00 0.00 0 0 0
3587.12/3597.81 c trysol : 0.00 0.00 0 0 0
3587.12/3597.81 c twoopt : 0.00 0.00 0 0 0
3587.12/3597.81 c undercover : 0.00 0.00 0 0 0
3587.12/3597.81 c vbounds : 0.69 0.00 1 0 0
3587.12/3597.81 c veclendiving : 0.00 0.00 0 0 0
3587.12/3597.81 c zeroobj : 0.00 0.00 0 0 0
3587.12/3597.81 c zirounding : 0.00 0.00 0 0 0
3587.12/3597.81 c other solutions : - - - 0 -
3587.12/3597.81 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.12/3597.81 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.12/3597.81 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.12/3597.81 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.12/3597.81 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.12/3597.81 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.12/3597.81 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.12/3597.81 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.12/3597.81 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.12/3597.81 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.12/3597.81 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.12/3597.81 c primal LP : 0.00 0 0 0.00 - 0.00 0
3587.12/3597.81 c dual LP : 3525.42 1 143710 143710.00 40.76 0.00 0
3587.12/3597.81 c lex dual LP : 0.00 0 0 0.00 -
3587.12/3597.81 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.12/3597.81 c resolve instable : 0.00 0 0 0.00 -
3587.12/3597.81 c diving/probing LP: 0.00 0 0 0.00 -
3587.12/3597.81 c strong branching : 0.00 0 0 0.00 - - - 0
3587.12/3597.81 c (at root node) : - 0 0 0.00 -
3587.12/3597.81 c conflict analysis: 0.00 0 0 0.00 -
3587.12/3597.81 c B&B Tree :
3587.12/3597.81 c number of runs : 1
3587.12/3597.81 c nodes : 1 (0 internal, 1 leaves)
3587.12/3597.81 c feasible leaves : 0
3587.12/3597.81 c infeas. leaves : 0
3587.12/3597.81 c objective leaves : 0
3587.12/3597.81 c nodes (total) : 1 (0 internal, 1 leaves)
3587.12/3597.81 c nodes left : 1
3587.12/3597.81 c max depth : 0
3587.12/3597.81 c max depth (total): 0
3587.12/3597.81 c backtracks : 0 (0.0%)
3587.12/3597.81 c early backtracks : 0 (0.0%)
3587.12/3597.81 c nodes exc. ref. : 0 (0.0%)
3587.12/3597.81 c delayed cutoffs : 0
3587.12/3597.81 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.12/3597.81 c avg switch length: 1.00
3587.12/3597.81 c switching time : 0.00
3587.12/3597.81 c Root Node :
3587.12/3597.81 c First LP value : -
3587.12/3597.81 c First LP Iters : 0
3587.12/3597.81 c First LP Time : 3525.43
3587.12/3597.81 c Final Dual Bound : +1.41000000000000e+02
3587.12/3597.81 c Final Root Iters : 143710
3587.12/3597.81 c Root LP Estimate : -
3587.12/3597.81 c Solution :
3587.12/3597.81 c Solutions found : 0 (0 improvements)
3587.12/3597.81 c Primal Bound : -
3587.12/3597.81 c Dual Bound : +1.41000000000000e+02
3587.12/3597.81 c Gap : infinite
3587.12/3597.81 c Integrals : Total Avg%
3587.12/3597.81 c primal-dual : 359778.43 100.00
3587.12/3597.81 c primal-ref : - - (not evaluated)
3587.12/3597.81 c dual-ref : - - (not evaluated)
3588.02/3598.75 c Time complete: 3588.08.
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 (62336 MiB free)
memory of node 1: 64473 MiB (59997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461808-1722204305/watcher-4461808-1722204305 -o /tmp/evaluation-result-4461808-1722204305/solver-4461808-1722204305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722204305-370307 --watchdog 3760 pbscip -f HOME/instance-4461808-1722204305.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=370348, runsolver pid=370345
[startup+0.100995 s]*
/proc/loadavg: 0.18 0.11 0.10 6/234 370353
/proc/meminfo: memFree=125196852/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=98716 memory=57424 CPUtime=0.09 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 11445 0 0 0 5 4 0 0 20 0 1 0 56420026 101085184 14356 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 24679 14356 3221 3540 0 12936 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98716 KiB
Current children cumulated memory: 57424 KiB
[startup+0.213468 s]*
/proc/loadavg: 0.18 0.11 0.10 5/243 370369
/proc/meminfo: memFree=125067100/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=153672 memory=112140 CPUtime=0.21 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 25108 0 0 0 13 8 0 0 20 0 1 0 56420026 157360128 28035 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 38418 28035 3221 3540 0 26675 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 153672 KiB
Current children cumulated memory: 112140 KiB
[startup+0.313502 s]*
/proc/loadavg: 0.18 0.11 0.10 5/243 370369
/proc/meminfo: memFree=124936832/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=198664 memory=157384 CPUtime=0.31 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 36406 0 0 0 20 11 0 0 20 0 1 0 56420026 203431936 39346 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 49666 39346 3221 3540 0 37923 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 198664 KiB
Current children cumulated memory: 157384 KiB
[startup+0.700386 s]
/proc/loadavg: 0.18 0.11 0.10 5/243 370369
/proc/meminfo: memFree=124747228/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=257464 memory=216120 CPUtime=0.68 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 51129 0 0 0 52 16 0 0 20 0 1 0 56420026 263643136 54030 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 64366 54030 3221 3540 0 52623 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 257464 KiB
Current children cumulated memory: 216120 KiB
[startup+1.50036 s]
/proc/loadavg: 0.18 0.11 0.10 5/243 370369
/proc/meminfo: memFree=124481336/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=490284 memory=450220 CPUtime=1.48 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 110123 0 0 0 119 29 0 0 20 0 1 0 56420026 502050816 112555 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 122571 112555 3524 3540 0 110828 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 490284 KiB
Current children cumulated memory: 450220 KiB
[startup+3.1133 s]
/proc/loadavg: 0.49 0.17 0.12 5/243 370371
/proc/meminfo: memFree=122901192/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=905432 memory=811512 CPUtime=3.08 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 197896 0 0 0 263 45 0 0 20 0 1 0 56420026 927162368 202878 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 226358 202878 3572 3540 0 214615 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 905432 KiB
Current children cumulated memory: 811512 KiB
[startup+6.30032 s]
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=121638580/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=1086916 memory=1019544 CPUtime=6.26 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 218490 0 0 0 572 54 0 0 20 0 1 0 56420026 1113001984 254886 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 271729 254886 3651 3540 0 259986 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1086916 KiB
Current children cumulated memory: 1019544 KiB
[startup+12.7003 s]
/proc/loadavg: 0.77 0.24 0.14 5/242 370417
/proc/meminfo: memFree=121529320/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=1086916 memory=1019848 CPUtime=12.64 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 218539 0 0 0 1210 54 0 0 20 0 1 0 56420026 1113001984 254962 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 271729 254962 3715 3540 0 259986 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1086916 KiB
Current children cumulated memory: 1019848 KiB
[startup+25.5004 s]
/proc/loadavg: 1.49 0.42 0.20 5/242 370420
/proc/meminfo: memFree=121046584/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=1086916 memory=1019856 CPUtime=25.4 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 218636 0 0 0 2485 55 0 0 20 0 1 0 56420026 1113001984 254964 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 271729 254964 3715 3540 0 259986 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1086916 KiB
Current children cumulated memory: 1019856 KiB
[startup+51.1129 s]
/proc/loadavg: 2.41 0.73 0.31 5/242 370423
/proc/meminfo: memFree=119278904/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=1957020 memory=1783796 CPUtime=50.93 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 263833 0 0 0 5013 80 0 0 20 0 1 0 56420026 2003988480 445949 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 489255 445949 3763 3540 0 477512 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1957020 KiB
Current children cumulated memory: 1783796 KiB
[startup+102.3 s]
/proc/loadavg: 3.31 1.23 0.50 5/242 370431
/proc/meminfo: memFree=118022740/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2622264 memory=2351812 CPUtime=101.94 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 340743 0 0 0 10095 99 0 0 20 0 1 0 56420026 2685198336 587953 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 655566 587953 3955 3540 0 643823 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 2622264 KiB
Current children cumulated memory: 2351812 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.77 0.74 5/243 370456
/proc/meminfo: memFree=117944508/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2634240 memory=2367600 CPUtime=161.76 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 342509 0 0 0 16075 101 0 0 20 0 1 0 56420026 2697461760 591900 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 658560 591900 3955 3540 0 646817 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2634240 KiB
Current children cumulated memory: 2367600 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.22 0.96 5/244 370691
/proc/meminfo: memFree=117935600/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2634380 memory=2367716 CPUtime=221.58 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 342736 0 0 0 22055 103 0 0 20 0 1 0 56420026 2697605120 591929 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 658595 591929 3955 3540 0 646852 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2634380 KiB
Current children cumulated memory: 2367716 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.56 1.16 5/241 370701
/proc/meminfo: memFree=117917888/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2634380 memory=2367844 CPUtime=281.42 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 342945 0 0 0 28036 106 0 0 20 0 1 0 56420026 2697605120 591961 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 658595 591961 3955 3540 0 646852 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 2634380 KiB
Current children cumulated memory: 2367844 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 2.87 1.35 5/242 371002
/proc/meminfo: memFree=117969188/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2634380 memory=2367952 CPUtime=341.23 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 343106 0 0 0 34016 107 0 0 20 0 1 0 56420026 2697605120 591988 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 658595 591988 3955 3540 0 646852 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 2634380 KiB
Current children cumulated memory: 2367952 KiB
[startup+402.3 s]
/proc/loadavg: 3.70 2.99 1.49 4/235 371045
/proc/meminfo: memFree=119917060/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2634572 memory=2374452 CPUtime=401.06 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 343300 0 0 0 39997 109 0 0 20 0 1 0 56420026 2697801728 593613 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 658643 593613 3955 3540 0 646900 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 2634572 KiB
Current children cumulated memory: 2374452 KiB
[startup+462.3 s]
/proc/loadavg: 3.30 3.00 1.59 4/234 371055
/proc/meminfo: memFree=119912620/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2634572 memory=2375556 CPUtime=460.87 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 343465 0 0 0 45977 110 0 0 20 0 1 0 56420026 2697801728 593889 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 658643 593889 3955 3540 0 646900 0
################
# More data... #
################
/proc/loadavg: 3.14 3.18 3.13 4/236 372720
/proc/meminfo: memFree=119431720/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3212.82 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 357806 0 0 0 321156 126 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3282.3 s]
/proc/loadavg: 3.15 3.17 3.13 4/236 372730
/proc/meminfo: memFree=119431528/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3272.63 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 358105 0 0 0 327137 126 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.15 3.13 4/233 372742
/proc/meminfo: memFree=119426936/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3332.44 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 358465 0 0 0 333118 126 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.14 3.12 4/233 372766
/proc/meminfo: memFree=119421248/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3392.25 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 358763 0 0 0 339099 126 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3462.3 s]
/proc/loadavg: 3.18 3.16 3.13 4/233 372777
/proc/meminfo: memFree=119420788/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3452.06 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 359163 0 0 0 345080 126 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.14 3.12 4/232 372787
/proc/meminfo: memFree=119418448/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3511.87 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 359525 0 0 0 351060 127 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3511.87 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.14 3.12 4/232 372797
/proc/meminfo: memFree=119420192/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3571.68 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 359920 0 0 0 357041 127 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3598.76 s]
# the end of solver process 370348 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.8 s, system=1.28897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.10 3.14 3.12 4/232 372799
/proc/meminfo: memFree=119420136/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3573.38 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 359920 0 0 0 357211 127 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3590.4 s]
/proc/loadavg: 3.09 3.14 3.12 4/232 372799
/proc/meminfo: memFree=119420136/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3579.75 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 359922 0 0 0 357848 127 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3579.75 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3593.6 s]
/proc/loadavg: 3.09 3.14 3.12 4/232 372800
/proc/meminfo: memFree=119420136/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3582.94 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 359922 0 0 0 358167 127 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3582.94 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3596.8 s]
/proc/loadavg: 3.08 3.13 3.12 4/232 372800
/proc/meminfo: memFree=119420164/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3586.13 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 359957 0 0 0 358486 127 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3597.6 s]
/proc/loadavg: 3.08 3.13 3.12 4/232 372800
/proc/meminfo: memFree=119420092/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3586.93 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 359957 0 0 0 358566 127 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3586.93 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3598.4 s]
/proc/loadavg: 3.08 3.13 3.12 4/232 372800
/proc/meminfo: memFree=119418636/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2659964 memory=2431480 CPUtime=3587.72 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 360558 0 0 0 358645 127 0 0 20 0 1 0 56420026 2723803136 607870 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 664991 607870 3955 3540 0 653248 0
Current children cumulated CPU time: 3587.72 s
Current children cumulated vsize: 2659964 KiB
Current children cumulated memory: 2431480 KiB
[startup+3598.6 s]
/proc/loadavg: 3.08 3.13 3.12 4/232 372800
/proc/meminfo: memFree=119418636/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2476844 memory=2250752 CPUtime=3587.92 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 360610 0 0 0 358665 127 0 0 20 0 1 0 56420026 2536288256 562688 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 619211 562688 3971 3540 0 607468 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 2476844 KiB
Current children cumulated memory: 2250752 KiB
[startup+3598.7 s]
/proc/loadavg: 3.08 3.13 3.12 4/232 372800
/proc/meminfo: memFree=119418636/131655788 swapFree=131060916/131071996
[pid=370348] ppid=370345 vsize=2378868 memory=2152780 CPUtime=3588.02 cores=4,6
/proc/370348/stat : 370348 (pbscip) R 370345 370348 370296 0 -1 4194304 362045 0 0 0 358675 127 0 0 20 0 1 0 56420026 2435960832 538195 134679101440 4194304 18693293 140723714523824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40787968 140723714528263 140723714528362 140723714528362 140723714535374 0
/proc/370348/statm: 594717 538195 3971 3540 0 582974 0
Current children cumulated CPU time: 3588.02 s
Current children cumulated vsize: 2378868 KiB
Current children cumulated memory: 2152780 KiB
Child status: 0
Real time (s): 3598.76
CPU time (s): 3588.09
CPU user time (s): 3586.8
CPU system time (s): 1.28897
CPU usage (%): 99.7035
Max. virtual memory (cumulated for all children) (KiB): 2659964
Max. memory (cumulated for all children) (KiB): 2431480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.8
system time used= 1.28897
maximum resident set size= 2431480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362489
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= 14
involuntary context switches= 1795
# summary of solver processes directly reported to runsolver:
# pid: 370348
# total CPU time (s): 3588.09
# total CPU user time (s): 3586.8
# total CPU system time (s): 1.28897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5208 second user time and 33.9797 second system time
The end