0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4432886-1721143655.opb>
13.75/13.88 c original problem has 2000400 variables (2000400 bin, 0 int, 0 impl, 0 cont) and 4920807 constraints
13.75/13.88 c problem read in 13.88
25.70/25.86 c presolving:
33.99/34.12 c (round 1, fast) 40000 del vars, 19803 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 2925551 clqs
41.96/42.11 c (42.0s) running MILP presolver
50.53/50.79 c (50.7s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
66.48/66.75 c (round 2, exhaustive) 40000 del vars, 24753 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 2925551 clqs
90.61/90.95 c (round 3, exhaustive) 40000 del vars, 24753 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 2925551 clqs
113.25/113.65 c (round 4, medium) 40000 del vars, 1004853 del conss, 2910600 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 5836151 clqs
132.30/132.73 c (round 5, exhaustive) 40000 del vars, 4895553 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 5836151 clqs
1033.97/1038.41 c (1038.3s) probing: 1000/1960400 (0.1%) - 0 fixings, 0 aggregations, 587412 implications, 0 bound changes
1034.76/1039.29 c (1039.2s) probing: 1001/1960400 (0.1%) - 0 fixings, 0 aggregations, 588000 implications, 0 bound changes
1034.76/1039.29 c (1039.2s) probing aborted: 1000/1000 successive useless probings
1034.76/1039.29 c (1039.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1042.04/1046.51 c (1046.5s) no symmetry present (symcode time: 3.03)
1044.83/1049.32 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1044.83/1049.32 c 40000 deleted vars, 4895553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
1044.83/1049.32 c 0 implications, 6424151 cliques
1044.83/1049.32 c presolved problem has 1960400 variables (1960400 bin, 0 int, 0 impl, 0 cont) and 3915954 constraints
1044.83/1049.32 c 5250 constraints of type <knapsack>
1044.83/1049.32 c 2925551 constraints of type <setppc>
1044.83/1049.32 c 980100 constraints of type <and>
1044.83/1049.32 c 3 constraints of type <linear>
1044.83/1049.32 c 5050 constraints of type <logicor>
1044.83/1049.32 c transformed objective value is always integral (scale: 1)
1044.83/1049.32 c Presolving Time: 1024.05
1044.83/1049.32 c - non default parameters ----------------------------------------------------------------------
1044.83/1049.32 c # SCIP version 10.0.0
1044.83/1049.32 c
1044.83/1049.32 c # maximal time in seconds to run
1044.83/1049.32 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1044.83/1049.32 c limits/time = 3596.997011
1044.83/1049.32 c
1044.83/1049.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1044.83/1049.32 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1044.83/1049.32 c limits/memory = 27900
1044.83/1049.32 c
1044.83/1049.32 c # belongs reading time to solving time?
1044.83/1049.32 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1044.83/1049.32 c timing/reading = TRUE
1044.83/1049.32 c
1044.83/1049.32 c -----------------------------------------------------------------------------------------------
1044.83/1049.32 c start solving
1045.33/1049.88 c
3588.83/3603.10 c
3588.83/3603.10 c SCIP Status : solving was interrupted [time limit reached]
3588.83/3603.10 c Solving Time (sec) : 3603.03
3588.83/3603.10 c Solving Nodes : 1
3588.83/3603.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.83/3603.10 c Dual Bound : -1.50000000000000e+01
3588.83/3603.10 c Gap : infinite
3588.83/3603.10 s UNKNOWN
3588.83/3603.10 c SCIP Status : solving was interrupted [time limit reached]
3588.83/3603.10 c Total Time : 3603.03
3588.83/3603.10 c solving : 3603.03
3588.83/3603.10 c presolving : 1024.05 (included in solving)
3588.83/3603.10 c reading : 13.88 (included in solving)
3588.83/3603.10 c copying : 0.00 (0 times copied the problem)
3588.83/3603.10 c Original Problem :
3588.83/3603.10 c Problem name : HOME/instance-4432886-1721143655.opb
3588.83/3603.10 c Variables : 2000400 (2000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.83/3603.10 c Constraints : 4920807 initial, 4920807 maximal
3588.93/3603.16 c Objective : minimize, 1019800 non-zeros (abs.min = 1, abs.max = 1.37388e+08)
3588.93/3603.16 c Presolved Problem :
3588.93/3603.16 c Problem name : t_HOME/instance-4432886-1721143655.opb
3588.93/3603.16 c Variables : 1960400 (1960400 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.93/3603.16 c Constraints : 3915954 initial, 3916654 maximal
3589.03/3603.20 c Objective : minimize, 990000 non-zeros (abs.min = 2, abs.max = 2.74776e+08)
3589.03/3603.20 c Nonzeros : 10821600 constraint, 12848400 clique table
3589.03/3603.20 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3589.03/3603.20 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c gateextraction : 18.14 0.00 2 0 0 0 0 0 3890700 980100 0 0
3589.03/3603.20 c implics : 0.17 0.00 5 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c milp : 16.04 0.00 1 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c trivial : 0.40 0.00 6 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c dualfix : 0.40 0.00 6 29800 0 0 0 0 0 0 0 0
3589.03/3603.20 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c probing : 884.70 0.08 1 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c pseudoobj : 0.03 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c symmetry : 7.23 0.00 1 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c vbounds : 2.86 0.00 2 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c knapsack : 12.76 0.06 7 0 0 0 0 0 980100 2910600 0 0
3589.03/3603.20 c setppc : 13.64 0.26 7 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c and : 5.72 0.00 2 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c linear : 42.48 2.39 9 300 9900 0 300 0 24753 0 4950 14850
3589.03/3603.20 c logicor : 9.98 0.13 7 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c components : 1.93 0.00 1 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c root node : - - - 0 - - 0 - - - - -
3589.03/3603.20 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3589.03/3603.20 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3589.03/3603.20 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3589.03/3603.20 c knapsack : 5250 5250 0 128973 0 0 0 3 53349 0 0 0 0 0 0
3589.03/3603.20 c setppc : 2925551 2925551 0 128973 0 0 0 1 841232 70 0 0 0 0 0
3589.03/3603.20 c and : 980100 980100 0 128903 0 0 0 0 13860 0 0 0 0 0 0
3589.03/3603.20 c linear : 3 3 0 128903 0 0 0 3 1050 0 0 0 0 0 0
3589.03/3603.20 c logicor : 5050+ 5750 0 5412 0 0 0 0 201644 11 0 0 0 0 0
3589.03/3603.20 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3589.03/3603.20 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.03/3603.20 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.03/3603.20 c knapsack : 4.77 0.06 0.22 4.45 0.00 0.00 0.00 0.03 0.03 0.00
3589.03/3603.20 c setppc : 116.37 0.26 1.56 114.30 0.00 0.00 0.00 0.00 0.26 0.00
3589.03/3603.20 c and : 1934.02 0.00 3.39 1930.37 0.00 0.00 0.00 0.00 0.27 0.00
3589.03/3603.20 c linear : 2.87 2.39 0.00 0.47 0.00 0.00 0.00 0.00 0.00 0.00
3589.03/3603.20 c logicor : 0.61 0.13 0.01 0.42 0.00 0.00 0.00 0.00 0.06 0.00
3589.03/3603.20 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.03/3603.20 c fixedvar : 0.07 0.07 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.03/3603.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.03/3603.20 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3589.03/3603.20 c Propagators : #Propagate #ResProp Cutoffs DomReds
3589.03/3603.20 c dualfix : 1 0 0 0
3589.03/3603.20 c genvbounds : 0 0 0 0
3589.03/3603.20 c nlobbt : 0 0 0 0
3589.03/3603.20 c obbt : 0 0 0 0
3589.03/3603.20 c probing : 0 0 0 0
3589.03/3603.20 c pseudoobj : 1 0 0 0
3589.03/3603.20 c redcost : 0 0 0 0
3589.03/3603.20 c rootredcost : 0 0 0 0
3589.03/3603.20 c symmetry : 0 0 0 0
3589.03/3603.20 c vbounds : 6253 0 0 0
3589.03/3603.20 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3589.03/3603.20 c dualfix : 0.46 0.00 0.40 0.06 0.00 0.00
3589.03/3603.20 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3589.03/3603.20 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.03/3603.20 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.03/3603.20 c probing : 884.78 0.08 884.70 0.00 0.00 0.00
3589.03/3603.20 c pseudoobj : 0.44 0.00 0.03 0.41 0.00 0.00
3589.03/3603.20 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3589.03/3603.20 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3589.03/3603.20 c symmetry : 7.29 0.00 7.23 0.06 0.00 0.00
3589.03/3603.20 c vbounds : 3.56 0.00 2.86 0.70 0.00 0.00
3589.03/3603.20 c Symmetry :
3589.03/3603.20 c orbitopal red. : 0 reductions applied, 0 cutoffs
3589.03/3603.20 c orbital reduction: 0 reductions applied, 0 cutoffs
3589.03/3603.20 c lexicographic red: 0 reductions applied, 0 cutoffs
3589.03/3603.20 c shadow tree time : 0.00 s
3589.03/3603.20 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3589.03/3603.20 c propagation : 3.64 70 70 - 6367 3940.3 0 0.0 - - -
3589.03/3603.20 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3589.03/3603.20 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3589.03/3603.20 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3589.03/3603.20 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3589.03/3603.20 c applied globally : 3.68 - - 0 700 7205.1 - - 0 - -
3589.03/3603.20 c applied locally : - - - 0 0 0.0 - - 0 - -
3589.03/3603.20 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3589.03/3603.20 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3589.03/3603.20 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c > cmir : - - - - - - - 0 0 0 0 0 -
3589.03/3603.20 c > flowcover : - - - - - - - 0 0 0 0 0 -
3589.03/3603.20 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3589.03/3603.20 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3589.03/3603.20 c > strongcg : - - - - - - - 0 0 0 0 0 -
3589.03/3603.20 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.03/3603.20 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3589.03/3603.20 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c Pricers : ExecTime SetupTime Calls Vars
3589.03/3603.20 c problem variables: 0.00 - 0 0
3589.03/3603.20 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3589.03/3603.20 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3589.03/3603.20 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3589.03/3603.20 c LP solutions : 0.00 - - 0 0
3589.03/3603.20 c relax solutions : 0.00 - - 0 0
3589.03/3603.20 c pseudo solutions : 0.00 - - 0 0
3589.03/3603.20 c strong branching : 0.00 - - 0 0
3589.03/3603.20 c actconsdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c adaptivediving : 0.00 0.00 0 0 0
3589.03/3603.20 c alns : 0.00 0.00 0 0 0
3589.03/3603.20 c bound : 0.00 0.00 0 0 0
3589.03/3603.20 c clique : 723.20 0.00 1 0 0
3589.03/3603.20 c coefdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c completesol : 0.00 0.00 0 0 0
3589.03/3603.20 c conflictdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c crossover : 0.00 0.00 0 0 0
3589.03/3603.20 c dins : 0.00 0.00 0 0 0
3589.03/3603.20 c distributiondivin: 0.00 0.00 0 0 0
3589.03/3603.20 c dps : 0.00 0.00 0 0 0
3589.03/3603.20 c dualval : 0.00 0.00 0 0 0
3589.03/3603.20 c farkasdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c feasjump : 0.00 0.00 0 0 0
3589.03/3603.20 c feaspump : 0.00 0.00 0 0 0
3589.03/3603.20 c fixandinfer : 0.00 0.00 0 0 0
3589.03/3603.20 c fracdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c gins : 0.00 0.00 0 0 0
3589.03/3603.20 c guideddiving : 0.00 0.00 0 0 0
3589.03/3603.20 c indcoefdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c indicator : 0.00 0.00 0 0 0
3589.03/3603.20 c indicatordiving : 0.00 0.00 0 0 0
3589.03/3603.20 c indoneopt : 0.00 0.00 0 0 0
3589.03/3603.20 c indrounding : 0.00 0.00 0 0 0
3589.03/3603.20 c indtwoopt : 0.00 0.00 0 0 0
3589.03/3603.20 c intdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c intshifting : 0.00 0.00 0 0 0
3589.03/3603.20 c linesearchdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c localbranching : 0.00 0.00 0 0 0
3589.03/3603.20 c locks : 20.78 0.00 1 0 0
3589.03/3603.20 c lpface : 0.00 0.00 0 0 0
3589.03/3603.20 c mpec : 0.00 0.00 0 0 0
3589.03/3603.20 c multistart : 0.00 0.00 0 0 0
3589.03/3603.20 c mutation : 0.00 0.00 0 0 0
3589.03/3603.20 c nlpdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c objpscostdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c octane : 0.00 0.00 0 0 0
3589.03/3603.20 c ofins : 0.00 0.00 0 0 0
3589.03/3603.20 c oneopt : 0.00 0.00 0 0 0
3589.03/3603.20 c padm : 0.00 0.00 0 0 0
3589.03/3603.20 c proximity : 0.00 0.00 0 0 0
3589.03/3603.20 c pscostdiving : 0.00 0.00 0 0 0
3589.03/3603.20 c randrounding : 0.00 0.00 0 0 0
3589.03/3603.20 c rens : 0.00 0.00 0 0 0
3589.03/3603.20 c reoptsols : 0.00 0.00 0 0 0
3589.03/3603.20 c repair : 0.00 0.00 0 0 0
3589.03/3603.20 c rins : 0.00 0.00 0 0 0
3589.03/3603.20 c rootsoldiving : 0.00 0.00 0 0 0
3589.03/3603.20 c rounding : 0.00 0.00 0 0 0
3589.03/3603.20 c scheduler : 0.00 0.00 0 0 0
3589.03/3603.20 c shiftandpropagate: 0.00 0.00 0 0 0
3589.03/3603.20 c shifting : 0.00 0.00 0 0 0
3589.03/3603.20 c simplerounding : 0.00 0.00 0 0 0
3589.03/3603.20 c smallcard : 0.00 0.00 0 0 0
3589.03/3603.20 c subnlp : 0.00 0.00 0 0 0
3589.03/3603.20 c trivial : 1.14 0.00 2 0 0
3589.03/3603.20 c trivialnegation : 0.00 0.00 0 0 0
3589.03/3603.20 c trustregion : 0.00 0.00 0 0 0
3589.03/3603.20 c trysol : 0.00 0.00 0 0 0
3589.03/3603.20 c twoopt : 0.00 0.00 0 0 0
3589.03/3603.20 c undercover : 0.00 0.00 0 0 0
3589.03/3603.20 c vbounds : 1807.45 0.00 1 0 0
3589.03/3603.20 c veclendiving : 0.00 0.00 0 0 0
3589.03/3603.20 c zeroobj : 0.00 0.00 0 0 0
3589.03/3603.20 c zirounding : 0.00 0.00 0 0 0
3589.03/3603.20 c other solutions : - - - 0 -
3589.03/3603.20 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3589.03/3603.20 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
3589.03/3603.20 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
3589.03/3603.20 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
3589.03/3603.20 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
3589.03/3603.20 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
3589.03/3603.20 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
3589.03/3603.20 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
3589.03/3603.20 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
3589.03/3603.20 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
3589.03/3603.20 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3589.03/3603.20 c primal LP : 0.00 0 0 0.00 - 0.00 0
3589.03/3603.20 c dual LP : 0.00 0 0 0.00 - 0.00 0
3589.03/3603.20 c lex dual LP : 0.00 0 0 0.00 -
3589.03/3603.20 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3589.03/3603.20 c resolve instable : 0.00 0 0 0.00 -
3589.03/3603.20 c diving/probing LP: 5.86 1 324 324.00 55.26
3589.03/3603.20 c strong branching : 0.00 0 0 0.00 - - - 0
3589.03/3603.20 c (at root node) : - 0 0 0.00 -
3589.03/3603.20 c conflict analysis: 0.00 0 0 0.00 -
3589.03/3603.20 c B&B Tree :
3589.03/3603.20 c number of runs : 1
3589.03/3603.20 c nodes : 1 (0 internal, 1 leaves)
3589.03/3603.20 c feasible leaves : 0
3589.03/3603.20 c infeas. leaves : 0
3589.03/3603.20 c objective leaves : 0
3589.03/3603.20 c nodes (total) : 1 (0 internal, 1 leaves)
3589.03/3603.20 c nodes left : 1
3589.03/3603.20 c max depth : 0
3589.03/3603.20 c max depth (total): 0
3589.03/3603.20 c backtracks : 0 (0.0%)
3589.03/3603.20 c early backtracks : 0 (0.0%)
3589.03/3603.20 c nodes exc. ref. : 0 (0.0%)
3589.03/3603.20 c delayed cutoffs : 0
3589.03/3603.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3589.03/3603.20 c avg switch length: 1.00
3589.03/3603.20 c switching time : 0.00
3589.03/3603.20 c Root Node :
3589.03/3603.20 c First LP value : -
3589.03/3603.20 c First LP Iters : 0
3589.03/3603.20 c First LP Time : 0.00
3589.03/3603.20 c Final Dual Bound : -1.50000000000000e+01
3589.03/3603.20 c Final Root Iters : 0
3589.03/3603.20 c Root LP Estimate : -
3589.03/3603.20 c Solution :
3589.03/3603.20 c Solutions found : 0 (0 improvements)
3589.03/3603.20 c Primal Bound : -
3589.03/3603.20 c Dual Bound : -1.50000000000000e+01
3589.03/3603.20 c Gap : infinite
3589.03/3603.20 c Integrals : Total Avg%
3589.03/3603.20 c primal-dual : 360303.45 100.00
3589.03/3603.20 c primal-ref : - - (not evaluated)
3589.03/3603.20 c dual-ref : - - (not evaluated)
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58526 MiB free)
memory of node 1: 64510 MiB (53012 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432886-1721143655/watcher-4432886-1721143655 -o /tmp/evaluation-result-4432886-1721143655/solver-4432886-1721143655 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721140065-857045 --watchdog 3760 pbscip -f HOME/instance-4432886-1721143655.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=859137, runsolver pid=859134
[startup+0.100771 s]*
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=113967944/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=227244 memory=182552 CPUtime=0.09 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 24766 0 0 0 4 5 0 0 20 0 1 0 166525824 232697856 45638 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 56811 45638 3280 3540 0 45068 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 227244 KiB
Current children cumulated memory: 182552 KiB
[startup+0.205787 s]*
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=113760872/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=330224 memory=284960 CPUtime=0.19 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 50352 0 0 0 10 9 0 0 20 0 1 0 166525824 338149376 71174 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 82556 71240 3280 3540 0 70813 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 330224 KiB
Current children cumulated memory: 284960 KiB
[startup+0.305468 s]*
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=113578224/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=426948 memory=380396 CPUtime=0.29 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 73756 0 0 0 17 12 0 0 20 0 1 0 166525824 437194752 95099 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 106737 95099 3280 3540 0 94994 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 426948 KiB
Current children cumulated memory: 380396 KiB
[startup+0.700224 s]
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=113213200/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=818924 memory=771420 CPUtime=0.68 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 164332 0 0 0 42 26 0 0 20 0 1 0 166525824 838578176 192855 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 204731 192855 3280 3540 0 192988 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 818924 KiB
Current children cumulated memory: 771420 KiB
[startup+1.50021 s]
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=112391380/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=1301032 memory=1253336 CPUtime=1.47 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 270540 0 0 0 106 41 0 0 20 0 1 0 166525824 1332256768 313334 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 325258 313334 3296 3540 0 313515 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1301032 KiB
Current children cumulated memory: 1253336 KiB
[startup+3.10544 s]
/proc/loadavg: 4.35 4.33 4.18 5/256 859138
/proc/meminfo: memFree=110179676/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=2089452 memory=2040684 CPUtime=3.07 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 467399 0 0 0 238 69 0 0 20 0 1 0 166525824 2139598848 510171 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 522363 510171 3296 3540 0 510620 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2089452 KiB
Current children cumulated memory: 2040684 KiB
[startup+6.30021 s]
/proc/loadavg: 4.40 4.34 4.19 5/256 859139
/proc/meminfo: memFree=106872040/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=3190080 memory=3142292 CPUtime=6.27 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 720075 0 0 0 519 108 0 0 20 0 1 0 166525824 3266641920 785573 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 797520 785573 3296 3540 0 785777 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3190080 KiB
Current children cumulated memory: 3142292 KiB
[startup+12.7002 s]
/proc/loadavg: 4.37 4.33 4.19 5/256 859139
/proc/meminfo: memFree=101354256/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=4417464 memory=4364364 CPUtime=12.65 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 1002386 0 0 0 1110 155 0 0 20 0 1 0 166525824 4523483136 1091091 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 1104366 1091091 3296 3540 0 1092623 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4417464 KiB
Current children cumulated memory: 4364364 KiB
[startup+25.5003 s]
/proc/loadavg: 4.35 4.33 4.19 5/257 859358
/proc/meminfo: memFree=96783112/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=10528524 memory=10400564 CPUtime=25.4 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 2368518 0 0 0 2182 358 0 0 20 0 1 0 166525824 10781208576 2600141 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 2632131 2600141 3632 3540 0 2620388 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 10528524 KiB
Current children cumulated memory: 10400564 KiB
[startup+51.1055 s]
/proc/loadavg: 4.37 4.34 4.19 5/258 859362
/proc/meminfo: memFree=84615924/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=12054728 memory=11807728 CPUtime=50.94 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 2513984 0 0 0 4580 514 0 0 20 0 1 0 166525824 12344041472 2951932 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 3013682 2951932 3807 3540 0 3001939 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 12054728 KiB
Current children cumulated memory: 11807728 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.32 4.19 5/258 859371
/proc/meminfo: memFree=78295636/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=14688736 memory=14419036 CPUtime=101.97 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 2997083 0 0 0 9603 594 0 0 20 0 1 0 166525824 15041265664 3604759 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 3672184 3604759 3855 3540 0 3660441 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 14688736 KiB
Current children cumulated memory: 14419036 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.27 4.18 5/259 859440
/proc/meminfo: memFree=73370716/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=15966336 memory=15666876 CPUtime=161.79 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 3041384 0 0 0 15553 626 0 0 20 0 1 0 166525824 16349528064 3916719 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 3991584 3916719 3855 3540 0 3979841 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15666876 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.25 4.18 5/259 859452
/proc/meminfo: memFree=73222556/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=15966336 memory=15666876 CPUtime=221.54 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 3042319 0 0 0 21524 630 0 0 20 0 1 0 166525824 16349528064 3916719 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 3991584 3916719 3855 3540 0 3979841 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15666876 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/259 859462
/proc/meminfo: memFree=73214324/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=15966336 memory=15666876 CPUtime=281.28 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 3043276 0 0 0 27495 633 0 0 20 0 1 0 166525824 16349528064 3916719 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 3991584 3916719 3855 3540 0 3979841 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15666876 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/259 859473
/proc/meminfo: memFree=73172704/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=15966336 memory=15666876 CPUtime=341.02 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 3044681 0 0 0 33465 637 0 0 20 0 1 0 166525824 16349528064 3916719 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 3991584 3916719 3855 3540 0 3979841 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15666876 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/257 859485
/proc/meminfo: memFree=73070712/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=15966336 memory=15666876 CPUtime=400.81 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 3045695 0 0 0 39441 640 0 0 20 0 1 0 166525824 16349528064 3916719 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 3991584 3916719 3855 3540 0 3979841 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15666876 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/254 859495
/proc/meminfo: memFree=73068804/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=15966336 memory=15666876 CPUtime=460.49 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 3046616 0 0 0 45405 644 0 0 20 0 1 0 166525824 16349528064 3916719 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 3991584 3916719 3855 3540 0 3979841 0
################
# More data... #
################
[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/254 860534
/proc/meminfo: memFree=56289884/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25046136 memory=24109692 CPUtime=2970.2 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4417646 0 0 0 295766 1254 0 0 20 0 1 0 166525824 25647243264 6027423 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6261534 6027423 4015 3540 0 6249791 0
Current children cumulated CPU time: 2970.2 s
Current children cumulated vsize: 25046136 KiB
Current children cumulated memory: 24109692 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/254 860544
/proc/meminfo: memFree=56282144/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25046712 memory=24110324 CPUtime=3029.99 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4418158 0 0 0 301737 1262 0 0 20 0 1 0 166525824 25647833088 6027581 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6261678 6027581 4015 3540 0 6249935 0
Current children cumulated CPU time: 3029.99 s
Current children cumulated vsize: 25046712 KiB
Current children cumulated memory: 24110324 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 860554
/proc/meminfo: memFree=56273960/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25047736 memory=24111392 CPUtime=3089.79 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4418833 0 0 0 307709 1270 0 0 20 0 1 0 166525824 25648881664 6027848 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6261934 6027848 4015 3540 0 6250191 0
Current children cumulated CPU time: 3089.79 s
Current children cumulated vsize: 25047736 KiB
Current children cumulated memory: 24111392 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 860568
/proc/meminfo: memFree=56265628/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25049656 memory=24113372 CPUtime=3149.6 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4419744 0 0 0 313682 1278 0 0 20 0 1 0 166525824 25650847744 6028343 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6262414 6028343 4015 3540 0 6250671 0
Current children cumulated CPU time: 3149.6 s
Current children cumulated vsize: 25049656 KiB
Current children cumulated memory: 24113372 KiB
[startup+3222.3 s]
/proc/loadavg: 4.44 4.17 4.12 5/256 860580
/proc/meminfo: memFree=56258976/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25050232 memory=24113992 CPUtime=3209.4 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4420240 0 0 0 319654 1286 0 0 20 0 1 0 166525824 25651437568 6028498 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6262558 6028498 4015 3540 0 6250815 0
Current children cumulated CPU time: 3209.4 s
Current children cumulated vsize: 25050232 KiB
Current children cumulated memory: 24113992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.27 4.17 4.12 5/256 860590
/proc/meminfo: memFree=56248212/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25052152 memory=24115960 CPUtime=3269.2 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4421161 0 0 0 325626 1294 0 0 20 0 1 0 166525824 25653403648 6028990 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6263038 6028990 4015 3540 0 6251295 0
Current children cumulated CPU time: 3269.2 s
Current children cumulated vsize: 25052152 KiB
Current children cumulated memory: 24115960 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/256 860600
/proc/meminfo: memFree=56239360/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25053752 memory=24117608 CPUtime=3328.99 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4421975 0 0 0 331597 1302 0 0 20 0 1 0 166525824 25655042048 6029402 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6263438 6029402 4015 3540 0 6251695 0
Current children cumulated CPU time: 3328.99 s
Current children cumulated vsize: 25053752 KiB
Current children cumulated memory: 24117608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/256 860613
/proc/meminfo: memFree=56228376/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25054648 memory=24118556 CPUtime=3388.79 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4422548 0 0 0 337569 1310 0 0 20 0 1 0 166525824 25655959552 6029639 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6263662 6029639 4015 3540 0 6251919 0
Current children cumulated CPU time: 3388.79 s
Current children cumulated vsize: 25054648 KiB
Current children cumulated memory: 24118556 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/255 861005
/proc/meminfo: memFree=56216288/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25057272 memory=24121240 CPUtime=3448.59 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4423639 0 0 0 343541 1318 0 0 20 0 1 0 166525824 25658646528 6030310 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6264318 6030310 4015 3540 0 6252575 0
Current children cumulated CPU time: 3448.59 s
Current children cumulated vsize: 25057272 KiB
Current children cumulated memory: 24121240 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 861016
/proc/meminfo: memFree=56206712/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25059192 memory=24123204 CPUtime=3508.39 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4424530 0 0 0 349513 1326 0 0 20 0 1 0 166525824 25660612608 6030801 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6264798 6030801 4015 3540 0 6253055 0
Current children cumulated CPU time: 3508.39 s
Current children cumulated vsize: 25059192 KiB
Current children cumulated memory: 24123204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/256 861027
/proc/meminfo: memFree=56199292/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25059768 memory=24123836 CPUtime=3568.2 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4425047 0 0 0 355485 1335 0 0 20 0 1 0 166525824 25661202432 6030959 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6264942 6030959 4015 3540 0 6253199 0
Current children cumulated CPU time: 3568.2 s
Current children cumulated vsize: 25059768 KiB
Current children cumulated memory: 24123836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.2 s]
/proc/loadavg: 4.16 4.13 4.10 6/263 861284
/proc/meminfo: memFree=74147236/131524600 swapFree=131071996/131071996
[pid=859137] ppid=859134 vsize=25465556 memory=24529936 CPUtime=3600 cores=4,6
/proc/859137/stat : 859137 (pbscip) R 859134 859137 857034 0 -1 4194304 4613380 0 0 0 358639 1361 0 0 20 0 1 0 166525824 26076729344 6132484 134679101440 4194304 18693293 140727734961552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27144192 140727734965252 140727734965351 140727734965351 140727734972366 0
/proc/859137/statm: 6366389 6132484 4015 3540 0 6354646 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 25465556 KiB
Current children cumulated memory: 24529936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.73 s]
# the end of solver process 859137 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3586.4 s, system=14.1381 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.41 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 861293
/proc/meminfo: memFree=78009676/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3614.6 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 861293
/proc/meminfo: memFree=78009676/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3614.7 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 861293
/proc/meminfo: memFree=78009676/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3614.73
CPU time (s): 3600.53
CPU user time (s): 3586.4
CPU system time (s): 14.1381
CPU usage (%): 99.6074
Max. virtual memory (cumulated for all children) (KiB): 25754356
Max. memory (cumulated for all children) (KiB): 24818400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.4
system time used= 14.1381
maximum resident set size= 24818400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4613380
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= 8
involuntary context switches= 3411
# summary of solver processes directly reported to runsolver:
# pid: 859137
# total CPU time (s): 3600.53
# total CPU user time (s): 3586.4
# total CPU system time (s): 14.1381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32208 second user time and 17.0535 second system time
The end