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-4432885-1721143672.opb>
13.95/14.08 c original problem has 2000400 variables (2000400 bin, 0 int, 0 impl, 0 cont) and 4920807 constraints
13.95/14.08 c problem read in 14.08
25.71/25.86 c presolving:
33.59/33.76 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.46/41.68 c (41.6s) running MILP presolver
50.03/50.27 c (50.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
65.95/66.28 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
89.95/90.32 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
111.88/112.34 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.69/133.27 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
1025.11/1031.26 c (1031.2s) probing: 1000/1960400 (0.1%) - 0 fixings, 0 aggregations, 587412 implications, 0 bound changes
1026.01/1032.13 c (1032.1s) probing: 1001/1960400 (0.1%) - 0 fixings, 0 aggregations, 588000 implications, 0 bound changes
1026.01/1032.13 c (1032.1s) probing aborted: 1000/1000 successive useless probings
1026.01/1032.13 c (1032.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1033.08/1039.22 c (1039.2s) no symmetry present (symcode time: 2.95)
1035.87/1042.02 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1035.87/1042.02 c 40000 deleted vars, 4895553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
1035.87/1042.02 c 0 implications, 6424151 cliques
1035.87/1042.02 c presolved problem has 1960400 variables (1960400 bin, 0 int, 0 impl, 0 cont) and 3915954 constraints
1035.87/1042.02 c 5250 constraints of type <knapsack>
1035.87/1042.02 c 2925551 constraints of type <setppc>
1035.87/1042.02 c 980100 constraints of type <and>
1035.87/1042.02 c 3 constraints of type <linear>
1035.87/1042.02 c 5050 constraints of type <logicor>
1035.87/1042.02 c transformed objective value is always integral (scale: 1)
1035.87/1042.02 c Presolving Time: 1016.75
1035.87/1042.02 c - non default parameters ----------------------------------------------------------------------
1035.87/1042.02 c # SCIP version 10.0.0
1035.87/1042.02 c
1035.87/1042.02 c # maximal time in seconds to run
1035.87/1042.02 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1035.87/1042.02 c limits/time = 3596.99701
1035.87/1042.02 c
1035.87/1042.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1035.87/1042.02 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1035.87/1042.02 c limits/memory = 27900
1035.87/1042.02 c
1035.87/1042.02 c # belongs reading time to solving time?
1035.87/1042.02 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1035.87/1042.02 c timing/reading = TRUE
1035.87/1042.02 c
1035.87/1042.02 c -----------------------------------------------------------------------------------------------
1035.87/1042.02 c start solving
1036.37/1042.58 c
3583.28/3603.08 c
3583.28/3603.08 c SCIP Status : solving was interrupted [time limit reached]
3583.28/3603.08 c Solving Time (sec) : 3603.02
3583.28/3603.08 c Solving Nodes : 1
3583.28/3603.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3583.28/3603.08 c Dual Bound : -1.50000000000000e+01
3583.28/3603.08 c Gap : infinite
3583.28/3603.08 s UNKNOWN
3583.28/3603.08 c SCIP Status : solving was interrupted [time limit reached]
3583.28/3603.08 c Total Time : 3603.02
3583.28/3603.08 c solving : 3603.02
3583.28/3603.08 c presolving : 1016.75 (included in solving)
3583.28/3603.08 c reading : 14.08 (included in solving)
3583.28/3603.08 c copying : 0.00 (0 times copied the problem)
3583.28/3603.08 c Original Problem :
3583.28/3603.08 c Problem name : HOME/instance-4432885-1721143672.opb
3583.28/3603.08 c Variables : 2000400 (2000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.28/3603.08 c Constraints : 4920807 initial, 4920807 maximal
3583.38/3603.14 c Objective : minimize, 1019600 non-zeros (abs.min = 1, abs.max = 1.44703e+08)
3583.38/3603.14 c Presolved Problem :
3583.38/3603.14 c Problem name : t_HOME/instance-4432885-1721143672.opb
3583.38/3603.14 c Variables : 1960400 (1960400 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.38/3603.14 c Constraints : 3915954 initial, 3916143 maximal
3583.38/3603.18 c Objective : minimize, 989804 non-zeros (abs.min = 2, abs.max = 2.89406e+08)
3583.38/3603.18 c Nonzeros : 10821600 constraint, 12848400 clique table
3583.38/3603.18 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.38/3603.18 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c gateextraction : 19.20 0.00 2 0 0 0 0 0 3890700 980100 0 0
3583.38/3603.18 c implics : 0.18 0.00 5 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c milp : 15.89 0.00 1 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c trivial : 0.41 0.00 6 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c dualfix : 0.40 0.00 6 29800 0 0 0 0 0 0 0 0
3583.38/3603.18 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c probing : 877.27 0.08 1 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c pseudoobj : 0.03 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c symmetry : 7.08 0.00 1 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c vbounds : 3.04 0.00 2 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c knapsack : 12.32 0.06 7 0 0 0 0 0 980100 2910600 0 0
3583.38/3603.18 c setppc : 13.87 0.25 7 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c and : 5.66 0.00 2 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c linear : 42.26 2.33 9 300 9900 0 300 0 24753 0 4950 14850
3583.38/3603.18 c logicor : 9.95 0.13 7 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c components : 1.94 0.00 1 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c root node : - - - 0 - - 0 - - - - -
3583.38/3603.18 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.38/3603.18 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3583.38/3603.18 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3583.38/3603.18 c knapsack : 5250 5250 0 129612 0 0 0 3 8626 0 0 0 0 0 0
3583.38/3603.18 c setppc : 2925551 2925551 0 129612 0 0 0 1 310170 81 0 0 0 0 0
3583.38/3603.18 c and : 980100 980100 0 129531 0 0 0 0 8171 0 0 0 0 0 0
3583.38/3603.18 c linear : 3 3 0 129531 0 0 0 3 10070 0 0 0 0 0 0
3583.38/3603.18 c logicor : 5050+ 5239 0 5451 0 0 0 0 35264 15 0 0 0 0 0
3583.38/3603.18 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.38/3603.18 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.38/3603.18 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.38/3603.18 c knapsack : 4.59 0.06 0.21 4.29 0.00 0.00 0.00 0.03 0.00 0.00
3583.38/3603.18 c setppc : 112.80 0.25 1.54 110.95 0.00 0.00 0.00 0.00 0.05 0.00
3583.38/3603.18 c and : 1938.40 0.00 3.35 1934.95 0.00 0.00 0.00 0.00 0.11 0.00
3583.38/3603.18 c linear : 5.57 2.33 0.00 2.54 0.00 0.00 0.00 0.00 0.70 0.00
3583.38/3603.18 c logicor : 0.69 0.13 0.01 0.53 0.00 0.00 0.00 0.00 0.02 0.00
3583.38/3603.18 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.38/3603.18 c fixedvar : 0.07 0.07 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.38/3603.18 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.38/3603.18 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3583.38/3603.18 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.38/3603.18 c dualfix : 1 0 0 0
3583.38/3603.18 c genvbounds : 0 0 0 0
3583.38/3603.18 c nlobbt : 0 0 0 0
3583.38/3603.18 c obbt : 0 0 0 0
3583.38/3603.18 c probing : 0 0 0 0
3583.38/3603.18 c pseudoobj : 1 0 0 0
3583.38/3603.18 c redcost : 0 0 0 0
3583.38/3603.18 c rootredcost : 0 0 0 0
3583.38/3603.18 c symmetry : 0 0 0 0
3583.38/3603.18 c vbounds : 6250 0 0 0
3583.38/3603.18 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.38/3603.18 c dualfix : 0.46 0.00 0.40 0.06 0.00 0.00
3583.38/3603.18 c genvbounds : 0.04 0.00 0.00 0.04 0.00 0.00
3583.38/3603.18 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.38/3603.18 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.38/3603.18 c probing : 877.35 0.08 877.27 0.00 0.00 0.00
3583.38/3603.18 c pseudoobj : 0.43 0.00 0.03 0.41 0.00 0.00
3583.38/3603.18 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3583.38/3603.18 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3583.38/3603.18 c symmetry : 7.13 0.00 7.08 0.05 0.00 0.00
3583.38/3603.18 c vbounds : 3.76 0.00 3.04 0.72 0.00 0.00
3583.38/3603.18 c Symmetry :
3583.38/3603.18 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.38/3603.18 c orbital reduction: 0 reductions applied, 0 cutoffs
3583.38/3603.18 c lexicographic red: 0 reductions applied, 0 cutoffs
3583.38/3603.18 c shadow tree time : 0.00 s
3583.38/3603.18 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.38/3603.18 c propagation : 1.31 85 85 - 7493 508.5 0 0.0 - - -
3583.38/3603.18 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.38/3603.18 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.38/3603.18 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.38/3603.18 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.38/3603.18 c applied globally : 4.20 - - 0 189 856.2 - - 0 - -
3583.38/3603.18 c applied locally : - - - 0 0 0.0 - - 0 - -
3583.38/3603.18 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.38/3603.18 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3583.38/3603.18 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c > cmir : - - - - - - - 0 0 0 0 0 -
3583.38/3603.18 c > flowcover : - - - - - - - 0 0 0 0 0 -
3583.38/3603.18 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3583.38/3603.18 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.18 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3583.38/3603.19 c > strongcg : - - - - - - - 0 0 0 0 0 -
3583.38/3603.19 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.38/3603.19 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.38/3603.19 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c Pricers : ExecTime SetupTime Calls Vars
3583.38/3603.19 c problem variables: 0.00 - 0 0
3583.38/3603.19 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.38/3603.19 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.38/3603.19 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.38/3603.19 c LP solutions : 0.00 - - 0 0
3583.38/3603.19 c relax solutions : 0.00 - - 0 0
3583.38/3603.19 c pseudo solutions : 0.00 - - 0 0
3583.38/3603.19 c strong branching : 0.00 - - 0 0
3583.38/3603.19 c actconsdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c adaptivediving : 0.00 0.00 0 0 0
3583.38/3603.19 c alns : 0.00 0.00 0 0 0
3583.38/3603.19 c bound : 0.00 0.00 0 0 0
3583.38/3603.19 c clique : 724.83 0.00 1 0 0
3583.38/3603.19 c coefdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c completesol : 0.00 0.00 0 0 0
3583.38/3603.19 c conflictdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c crossover : 0.00 0.00 0 0 0
3583.38/3603.19 c dins : 0.00 0.00 0 0 0
3583.38/3603.19 c distributiondivin: 0.00 0.00 0 0 0
3583.38/3603.19 c dps : 0.00 0.00 0 0 0
3583.38/3603.19 c dualval : 0.00 0.00 0 0 0
3583.38/3603.19 c farkasdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c feasjump : 0.00 0.00 0 0 0
3583.38/3603.19 c feaspump : 0.00 0.00 0 0 0
3583.38/3603.19 c fixandinfer : 0.00 0.00 0 0 0
3583.38/3603.19 c fracdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c gins : 0.00 0.00 0 0 0
3583.38/3603.19 c guideddiving : 0.00 0.00 0 0 0
3583.38/3603.19 c indcoefdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c indicator : 0.00 0.00 0 0 0
3583.38/3603.19 c indicatordiving : 0.00 0.00 0 0 0
3583.38/3603.19 c indoneopt : 0.00 0.00 0 0 0
3583.38/3603.19 c indrounding : 0.00 0.00 0 0 0
3583.38/3603.19 c indtwoopt : 0.00 0.00 0 0 0
3583.38/3603.19 c intdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c intshifting : 0.00 0.00 0 0 0
3583.38/3603.19 c linesearchdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c localbranching : 0.00 0.00 0 0 0
3583.38/3603.19 c locks : 20.37 0.00 1 0 0
3583.38/3603.19 c lpface : 0.00 0.00 0 0 0
3583.38/3603.19 c mpec : 0.00 0.00 0 0 0
3583.38/3603.19 c multistart : 0.00 0.00 0 0 0
3583.38/3603.19 c mutation : 0.00 0.00 0 0 0
3583.38/3603.19 c nlpdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c objpscostdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c octane : 0.00 0.00 0 0 0
3583.38/3603.19 c ofins : 0.00 0.00 0 0 0
3583.38/3603.19 c oneopt : 0.00 0.00 0 0 0
3583.38/3603.19 c padm : 0.00 0.00 0 0 0
3583.38/3603.19 c proximity : 0.00 0.00 0 0 0
3583.38/3603.19 c pscostdiving : 0.00 0.00 0 0 0
3583.38/3603.19 c randrounding : 0.00 0.00 0 0 0
3583.38/3603.19 c rens : 0.00 0.00 0 0 0
3583.38/3603.19 c reoptsols : 0.00 0.00 0 0 0
3583.38/3603.19 c repair : 0.00 0.00 0 0 0
3583.38/3603.19 c rins : 0.00 0.00 0 0 0
3583.38/3603.19 c rootsoldiving : 0.00 0.00 0 0 0
3583.38/3603.19 c rounding : 0.00 0.00 0 0 0
3583.38/3603.19 c scheduler : 0.00 0.00 0 0 0
3583.38/3603.19 c shiftandpropagate: 0.00 0.00 0 0 0
3583.38/3603.19 c shifting : 0.00 0.00 0 0 0
3583.38/3603.19 c simplerounding : 0.00 0.00 0 0 0
3583.38/3603.19 c smallcard : 0.00 0.00 0 0 0
3583.38/3603.19 c subnlp : 0.00 0.00 0 0 0
3583.38/3603.19 c trivial : 1.13 0.00 2 0 0
3583.38/3603.19 c trivialnegation : 0.00 0.00 0 0 0
3583.38/3603.19 c trustregion : 0.00 0.00 0 0 0
3583.38/3603.19 c trysol : 0.00 0.00 0 0 0
3583.38/3603.19 c twoopt : 0.00 0.00 0 0 0
3583.38/3603.19 c undercover : 0.00 0.00 0 0 0
3583.38/3603.19 c vbounds : 1813.53 0.00 1 0 0
3583.38/3603.19 c veclendiving : 0.00 0.00 0 0 0
3583.38/3603.19 c zeroobj : 0.00 0.00 0 0 0
3583.38/3603.19 c zirounding : 0.00 0.00 0 0 0
3583.38/3603.19 c other solutions : - - - 0 -
3583.38/3603.19 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3583.38/3603.19 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
3583.38/3603.19 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
3583.38/3603.19 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
3583.38/3603.19 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
3583.38/3603.19 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
3583.38/3603.19 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
3583.38/3603.19 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
3583.38/3603.19 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
3583.38/3603.19 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
3583.38/3603.19 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.38/3603.19 c primal LP : 0.00 0 0 0.00 - 0.00 0
3583.38/3603.19 c dual LP : 0.00 0 0 0.00 - 0.00 0
3583.38/3603.19 c lex dual LP : 0.00 0 0 0.00 -
3583.38/3603.19 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.38/3603.19 c resolve instable : 0.00 0 0 0.00 -
3583.38/3603.19 c diving/probing LP: 5.94 1 333 333.00 56.04
3583.38/3603.19 c strong branching : 0.00 0 0 0.00 - - - 0
3583.38/3603.19 c (at root node) : - 0 0 0.00 -
3583.38/3603.19 c conflict analysis: 0.00 0 0 0.00 -
3583.38/3603.19 c B&B Tree :
3583.38/3603.19 c number of runs : 1
3583.38/3603.19 c nodes : 1 (0 internal, 1 leaves)
3583.38/3603.19 c feasible leaves : 0
3583.38/3603.19 c infeas. leaves : 0
3583.38/3603.19 c objective leaves : 0
3583.38/3603.19 c nodes (total) : 1 (0 internal, 1 leaves)
3583.38/3603.19 c nodes left : 1
3583.38/3603.19 c max depth : 0
3583.38/3603.19 c max depth (total): 0
3583.38/3603.19 c backtracks : 0 (0.0%)
3583.38/3603.19 c early backtracks : 0 (0.0%)
3583.38/3603.19 c nodes exc. ref. : 0 (0.0%)
3583.38/3603.19 c delayed cutoffs : 0
3583.38/3603.19 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3583.38/3603.19 c avg switch length: 1.00
3583.38/3603.19 c switching time : 0.00
3583.38/3603.19 c Root Node :
3583.38/3603.19 c First LP value : -
3583.38/3603.19 c First LP Iters : 0
3583.38/3603.19 c First LP Time : 0.00
3583.38/3603.19 c Final Dual Bound : -1.50000000000000e+01
3583.38/3603.19 c Final Root Iters : 0
3583.38/3603.19 c Root LP Estimate : -
3583.38/3603.19 c Solution :
3583.38/3603.19 c Solutions found : 0 (0 improvements)
3583.38/3603.19 c Primal Bound : -
3583.38/3603.19 c Dual Bound : -1.50000000000000e+01
3583.38/3603.19 c Gap : infinite
3583.38/3603.19 c Integrals : Total Avg%
3583.38/3603.19 c primal-dual : 360302.25 100.00
3583.38/3603.19 c primal-ref : - - (not evaluated)
3583.38/3603.19 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 (46655 MiB free)
memory of node 1: 64510 MiB (55287 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432885-1721143672/watcher-4432885-1721143672 -o /tmp/evaluation-result-4432885-1721143672/solver-4432885-1721143672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721140065-857047 --watchdog 3760 pbscip -f HOME/instance-4432885-1721143672.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
solver pid=859355, runsolver pid=859352
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.42 4.34 4.19 5/257 859356
/proc/meminfo: memFree=104181008/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=233404 memory=187532 CPUtime=0.09 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 26516 0 0 0 5 4 0 0 20 0 1 0 166527587 239005696 46883 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 58351 46883 3280 3540 0 46608 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 233404 KiB
Current children cumulated memory: 187532 KiB
[startup+0.20569 s]*
/proc/loadavg: 4.42 4.34 4.19 5/257 859356
/proc/meminfo: memFree=104032012/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=345840 memory=298732 CPUtime=0.2 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 54319 0 0 0 12 8 0 0 20 0 1 0 166527587 354140160 74683 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 86460 74683 3280 3540 0 74717 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 345840 KiB
Current children cumulated memory: 298732 KiB
[startup+0.305728 s]*
/proc/loadavg: 4.42 4.34 4.19 5/257 859356
/proc/meminfo: memFree=103832360/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=435156 memory=388544 CPUtime=0.3 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 76284 0 0 0 19 11 0 0 20 0 1 0 166527587 445599744 97136 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 108789 97136 3280 3540 0 97046 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 435156 KiB
Current children cumulated memory: 388544 KiB
[startup+0.700248 s]
/proc/loadavg: 4.42 4.34 4.19 5/257 859356
/proc/meminfo: memFree=103679688/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=817896 memory=769800 CPUtime=0.68 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 165458 0 0 0 46 22 0 0 20 0 1 0 166527587 837525504 192450 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 204474 192450 3280 3540 0 192731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 817896 KiB
Current children cumulated memory: 769800 KiB
[startup+1.50025 s]
/proc/loadavg: 4.42 4.34 4.19 5/257 859356
/proc/meminfo: memFree=102570252/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=1298032 memory=1249536 CPUtime=1.49 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 271095 0 0 0 110 39 0 0 20 0 1 0 166527587 1329184768 312384 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 324508 312384 3296 3540 0 312765 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1298032 KiB
Current children cumulated memory: 1249536 KiB
[startup+3.10594 s]
/proc/loadavg: 4.39 4.34 4.19 5/257 859356
/proc/meminfo: memFree=100120828/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=2006752 memory=1957628 CPUtime=3.08 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 448141 0 0 0 245 63 0 0 20 0 1 0 166527587 2054914048 489407 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 501688 489407 3296 3540 0 489945 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2006752 KiB
Current children cumulated memory: 1957628 KiB
[startup+6.30023 s]
/proc/loadavg: 4.39 4.34 4.19 5/257 859356
/proc/meminfo: memFree=97867248/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=3088844 memory=3040888 CPUtime=6.27 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 706735 0 0 0 524 103 0 0 20 0 1 0 166527587 3162976256 760222 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 772211 760222 3296 3540 0 760468 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3088844 KiB
Current children cumulated memory: 3040888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.35 4.33 4.19 5/258 859359
/proc/meminfo: memFree=95186276/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=4379344 memory=4324908 CPUtime=12.65 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 990600 0 0 0 1116 149 0 0 20 0 1 0 166527587 4484448256 1081227 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 1094836 1081227 3296 3540 0 1083093 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4379344 KiB
Current children cumulated memory: 4324908 KiB
[startup+25.5003 s]
/proc/loadavg: 4.34 4.33 4.19 5/258 859360
/proc/meminfo: memFree=83234484/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=10528524 memory=10404048 CPUtime=25.42 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 2359269 0 0 0 2185 357 0 0 20 0 1 0 166527587 10781208576 2601012 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 2632131 2601012 3632 3540 0 2620388 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 10528524 KiB
Current children cumulated memory: 10404048 KiB
[startup+51.1057 s]
/proc/loadavg: 4.37 4.34 4.19 5/258 859365
/proc/meminfo: memFree=82957956/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=12054728 memory=11795468 CPUtime=50.93 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 2508182 0 0 0 4585 508 0 0 20 0 1 0 166527587 12344041472 2948867 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 3013682 2948867 3807 3540 0 3001939 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 12054728 KiB
Current children cumulated memory: 11795468 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.30 4.18 5/258 859374
/proc/meminfo: memFree=77179520/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=14767108 memory=14491832 CPUtime=101.9 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 3004053 0 0 0 9598 592 0 0 20 0 1 0 166527587 15121518592 3622958 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 3691777 3622958 3855 3540 0 3680034 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 14767108 KiB
Current children cumulated memory: 14491832 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.26 4.18 5/259 859445
/proc/meminfo: memFree=73223764/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=15966336 memory=15655372 CPUtime=161.64 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 3031296 0 0 0 15542 622 0 0 20 0 1 0 166527587 16349528064 3913843 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 3991584 3913843 3855 3540 0 3979841 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15655372 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/259 859455
/proc/meminfo: memFree=73221796/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=15966336 memory=15655372 CPUtime=221.33 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 3032505 0 0 0 21506 627 0 0 20 0 1 0 166527587 16349528064 3913843 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 3991584 3913843 3855 3540 0 3979841 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15655372 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.23 4.18 5/259 859465
/proc/meminfo: memFree=73204304/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=15966336 memory=15655372 CPUtime=281 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 3033473 0 0 0 27469 631 0 0 20 0 1 0 166527587 16349528064 3913843 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 3991584 3913843 3855 3540 0 3979841 0
Current children cumulated CPU time: 281 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15655372 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.21 4.18 5/257 859476
/proc/meminfo: memFree=73154224/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=15966336 memory=15655372 CPUtime=340.68 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 3034591 0 0 0 33433 635 0 0 20 0 1 0 166527587 16349528064 3913843 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 3991584 3913843 3855 3540 0 3979841 0
Current children cumulated CPU time: 340.68 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15655372 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/257 859488
/proc/meminfo: memFree=73070340/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=15966336 memory=15655480 CPUtime=400.3 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 3035673 0 0 0 39392 638 0 0 20 0 1 0 166527587 16349528064 3913870 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 3991584 3913870 3855 3540 0 3979841 0
Current children cumulated CPU time: 400.3 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15655480 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/254 859498
/proc/meminfo: memFree=73068516/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=15966336 memory=15655788 CPUtime=459.84 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 3037094 0 0 0 45342 642 0 0 20 0 1 0 166527587 16349528064 3913947 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 3991584 3913947 3855 3540 0 3979841 0
################
# More data... #
################
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 860537
/proc/meminfo: memFree=56289564/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24731800 memory=23858256 CPUtime=2965.45 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4352195 0 0 0 295308 1237 0 0 20 0 1 0 166527587 25325363200 5964564 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6182950 5964564 4015 3540 0 6171207 0
Current children cumulated CPU time: 2965.45 s
Current children cumulated vsize: 24731800 KiB
Current children cumulated memory: 23858256 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/254 860547
/proc/meminfo: memFree=56278244/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24731800 memory=23858288 CPUtime=3025.16 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4352632 0 0 0 301271 1245 0 0 20 0 1 0 166527587 25325363200 5964572 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6182950 5964572 4015 3540 0 6171207 0
Current children cumulated CPU time: 3025.16 s
Current children cumulated vsize: 24731800 KiB
Current children cumulated memory: 23858288 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 860557
/proc/meminfo: memFree=56271656/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24732824 memory=23859340 CPUtime=3084.88 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4353319 0 0 0 307234 1254 0 0 20 0 1 0 166527587 25326411776 5964835 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6183206 5964835 4015 3540 0 6171463 0
Current children cumulated CPU time: 3084.88 s
Current children cumulated vsize: 24732824 KiB
Current children cumulated memory: 23859340 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 860573
/proc/meminfo: memFree=56263368/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24733848 memory=23860396 CPUtime=3144.6 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4354071 0 0 0 313197 1263 0 0 20 0 1 0 166527587 25327460352 5965099 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6183462 5965099 4015 3540 0 6171719 0
Current children cumulated CPU time: 3144.6 s
Current children cumulated vsize: 24733848 KiB
Current children cumulated memory: 23860396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.41 4.18 4.12 5/256 860583
/proc/meminfo: memFree=56255276/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24734872 memory=23861264 CPUtime=3204.32 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4354765 0 0 0 319161 1271 0 0 20 0 1 0 166527587 25328508928 5965316 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6183718 5965316 4015 3540 0 6171975 0
Current children cumulated CPU time: 3204.32 s
Current children cumulated vsize: 24734872 KiB
Current children cumulated memory: 23861264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/256 860593
/proc/meminfo: memFree=56246444/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24734872 memory=23861476 CPUtime=3264.03 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4355216 0 0 0 325125 1278 0 0 20 0 1 0 166527587 25328508928 5965369 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6183718 5965369 4015 3540 0 6171975 0
Current children cumulated CPU time: 3264.03 s
Current children cumulated vsize: 24734872 KiB
Current children cumulated memory: 23861476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/256 860603
/proc/meminfo: memFree=56236916/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24735896 memory=23862532 CPUtime=3323.75 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4355917 0 0 0 331089 1286 0 0 20 0 1 0 166527587 25329557504 5965633 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6183974 5965633 4015 3540 0 6172231 0
Current children cumulated CPU time: 3323.75 s
Current children cumulated vsize: 24735896 KiB
Current children cumulated memory: 23862532 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/256 860616
/proc/meminfo: memFree=56224412/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24736920 memory=23863584 CPUtime=3383.48 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4356631 0 0 0 337053 1295 0 0 20 0 1 0 166527587 25330606080 5965896 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6184230 5965896 4015 3540 0 6172487 0
Current children cumulated CPU time: 3383.48 s
Current children cumulated vsize: 24736920 KiB
Current children cumulated memory: 23863584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.12 4.10 5/255 861008
/proc/meminfo: memFree=56215076/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24737944 memory=23864636 CPUtime=3443.21 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4357330 0 0 0 343018 1303 0 0 20 0 1 0 166527587 25331654656 5966159 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6184486 5966159 4015 3540 0 6172743 0
Current children cumulated CPU time: 3443.21 s
Current children cumulated vsize: 24737944 KiB
Current children cumulated memory: 23864636 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 861019
/proc/meminfo: memFree=56204912/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24738968 memory=23865684 CPUtime=3502.93 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4358009 0 0 0 348982 1311 0 0 20 0 1 0 166527587 25332703232 5966421 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6184742 5966421 4015 3540 0 6172999 0
Current children cumulated CPU time: 3502.93 s
Current children cumulated vsize: 24738968 KiB
Current children cumulated memory: 23865684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 861030
/proc/meminfo: memFree=55700420/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=24739992 memory=23866740 CPUtime=3562.66 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4358701 0 0 0 354947 1319 0 0 20 0 1 0 166527587 25333751808 5966685 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6184998 5966685 4015 3540 0 6173255 0
Current children cumulated CPU time: 3562.66 s
Current children cumulated vsize: 24739992 KiB
Current children cumulated memory: 23866740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3619.8 s]
/proc/loadavg: 4.23 4.15 4.10 5/258 861344
/proc/meminfo: memFree=96474432/131524600 swapFree=131071996/131071996
[pid=859355] ppid=859352 vsize=25117868 memory=24243328 CPUtime=3600.02 cores=5,7
/proc/859355/stat : 859355 (pbscip) R 859352 859355 857034 0 -1 4194304 4534574 0 0 0 358654 1348 0 0 20 0 1 0 166527587 25720696832 6060832 134679101440 4194304 18693293 140724465893536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55529472 140724465898500 140724465898599 140724465898599 140724465905614 0
/proc/859355/statm: 6279467 6060832 4015 3540 0 6267724 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 25117868 KiB
Current children cumulated memory: 24243328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3620.32 s]
# the end of solver process 859355 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3586.54 s, system=14.0026 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3620.01 s]*
/proc/loadavg: 4.23 4.15 4.10 5/258 861344
/proc/meminfo: memFree=104878272/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3620.2 s]
/proc/loadavg: 4.23 4.15 4.10 5/258 861344
/proc/meminfo: memFree=104878272/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3620.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/258 861344
/proc/meminfo: memFree=104878272/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): 3620.32
CPU time (s): 3600.55
CPU user time (s): 3586.54
CPU system time (s): 14.0026
CPU usage (%): 99.4538
Max. virtual memory (cumulated for all children) (KiB): 25406668
Max. memory (cumulated for all children) (KiB): 24531656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.54
system time used= 14.0026
maximum resident set size= 24531908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4534574
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= 3861
# summary of solver processes directly reported to runsolver:
# pid: 859355
# total CPU time (s): 3600.55
# total CPU user time (s): 3586.54
# total CPU system time (s): 14.0026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3119 second user time and 17.7325 second system time
The end