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-4432890-1721140858.opb>
13.15/13.20 c original problem has 2000400 variables (2000400 bin, 0 int, 0 impl, 0 cont) and 4920807 constraints
13.15/13.20 c problem read in 13.20
24.72/24.88 c presolving:
32.60/32.74 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
40.57/40.72 c (40.7s) running MILP presolver
49.03/49.26 c (49.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
64.68/64.98 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
88.60/88.90 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.63/112.00 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
130.56/131.01 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
1023.71/1028.36 c (1028.3s) probing: 1000/1960400 (0.1%) - 0 fixings, 0 aggregations, 587412 implications, 0 bound changes
1024.61/1029.23 c (1029.2s) probing: 1001/1960400 (0.1%) - 0 fixings, 0 aggregations, 588000 implications, 0 bound changes
1024.61/1029.23 c (1029.2s) probing aborted: 1000/1000 successive useless probings
1024.61/1029.23 c (1029.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1031.68/1036.35 c (1036.3s) no symmetry present (symcode time: 2.98)
1034.48/1039.13 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1034.48/1039.13 c 40000 deleted vars, 4895553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
1034.48/1039.13 c 0 implications, 6424151 cliques
1034.48/1039.13 c presolved problem has 1960400 variables (1960400 bin, 0 int, 0 impl, 0 cont) and 3915954 constraints
1034.48/1039.13 c 5250 constraints of type <knapsack>
1034.48/1039.13 c 2925551 constraints of type <setppc>
1034.48/1039.13 c 980100 constraints of type <and>
1034.48/1039.13 c 3 constraints of type <linear>
1034.48/1039.13 c 5050 constraints of type <logicor>
1034.48/1039.13 c transformed objective value is always integral (scale: 1)
1034.48/1039.13 c Presolving Time: 1014.81
1034.48/1039.13 c - non default parameters ----------------------------------------------------------------------
1034.48/1039.13 c # SCIP version 10.0.0
1034.48/1039.13 c
1034.48/1039.13 c # maximal time in seconds to run
1034.48/1039.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1034.48/1039.13 c limits/time = 3596.997056
1034.48/1039.13 c
1034.48/1039.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1034.48/1039.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1034.48/1039.13 c limits/memory = 27900
1034.48/1039.13 c
1034.48/1039.13 c # belongs reading time to solving time?
1034.48/1039.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1034.48/1039.13 c timing/reading = TRUE
1034.48/1039.13 c
1034.48/1039.13 c -----------------------------------------------------------------------------------------------
1034.48/1039.13 c start solving
1034.97/1039.68 c
3587.83/3602.93 c
3587.83/3602.93 c SCIP Status : solving was interrupted [time limit reached]
3587.83/3602.93 c Solving Time (sec) : 3602.87
3587.83/3602.93 c Solving Nodes : 1
3587.83/3602.93 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.83/3602.93 c Dual Bound : -1.50000000000000e+01
3587.83/3602.93 c Gap : infinite
3587.83/3602.93 s UNKNOWN
3587.83/3602.93 c SCIP Status : solving was interrupted [time limit reached]
3587.83/3602.93 c Total Time : 3602.87
3587.83/3602.93 c solving : 3602.87
3587.83/3602.93 c presolving : 1014.81 (included in solving)
3587.83/3602.93 c reading : 13.20 (included in solving)
3587.83/3602.93 c copying : 0.00 (0 times copied the problem)
3587.83/3602.93 c Original Problem :
3587.83/3602.93 c Problem name : HOME/instance-4432890-1721140858.opb
3587.83/3602.93 c Variables : 2000400 (2000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.83/3602.93 c Constraints : 4920807 initial, 4920807 maximal
3587.83/3602.99 c Objective : minimize, 1019800 non-zeros (abs.min = 1, abs.max = 1.70954e+08)
3587.83/3602.99 c Presolved Problem :
3587.83/3602.99 c Problem name : t_HOME/instance-4432890-1721140858.opb
3587.83/3602.99 c Variables : 1960400 (1960400 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.83/3602.99 c Constraints : 3915954 initial, 3916654 maximal
3587.93/3603.03 c Objective : minimize, 990000 non-zeros (abs.min = 2, abs.max = 3.41908e+08)
3587.93/3603.03 c Nonzeros : 10821600 constraint, 12848400 clique table
3587.93/3603.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.93/3603.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c gateextraction : 17.83 0.00 2 0 0 0 0 0 3890700 980100 0 0
3587.93/3603.03 c implics : 0.17 0.00 5 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c milp : 15.87 0.00 1 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c trivial : 0.38 0.00 6 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c dualfix : 0.39 0.00 6 29800 0 0 0 0 0 0 0 0
3587.93/3603.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c probing : 877.97 0.08 1 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c pseudoobj : 0.03 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c symmetry : 7.12 0.00 1 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c vbounds : 2.81 0.00 2 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c knapsack : 13.06 0.06 7 0 0 0 0 0 980100 2910600 0 0
3587.93/3603.03 c setppc : 13.36 0.25 7 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c and : 5.17 0.00 2 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c linear : 41.70 2.33 9 300 9900 0 300 0 24753 0 4950 14850
3587.93/3603.03 c logicor : 9.50 0.13 7 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c components : 1.91 0.00 1 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c root node : - - - 0 - - 0 - - - - -
3587.93/3603.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.93/3603.03 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3587.93/3603.03 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3587.93/3603.03 c knapsack : 5250 5250 0 130592 0 0 0 3 53349 0 0 0 0 0 0
3587.93/3603.03 c setppc : 2925551 2925551 0 130592 0 0 0 1 841232 70 0 0 0 0 0
3587.93/3603.03 c and : 980100 980100 0 130522 0 0 0 0 13860 0 0 0 0 0 0
3587.93/3603.03 c linear : 3 3 0 130522 0 0 0 3 1050 0 0 0 0 0 0
3587.93/3603.03 c logicor : 5050+ 5750 0 5412 0 0 0 0 201644 11 0 0 0 0 0
3587.93/3603.03 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.93/3603.03 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.93/3603.03 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.93/3603.03 c knapsack : 4.72 0.06 0.22 4.39 0.00 0.00 0.00 0.03 0.03 0.00
3587.93/3603.03 c setppc : 115.45 0.25 1.55 113.39 0.00 0.00 0.00 0.00 0.26 0.00
3587.93/3603.03 c and : 1945.95 0.00 3.38 1942.31 0.00 0.00 0.00 0.00 0.26 0.00
3587.93/3603.03 c linear : 2.80 2.33 0.00 0.47 0.00 0.00 0.00 0.00 0.00 0.00
3587.93/3603.03 c logicor : 0.60 0.13 0.01 0.41 0.00 0.00 0.00 0.00 0.06 0.00
3587.93/3603.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.93/3603.03 c fixedvar : 0.07 0.07 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.93/3603.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.93/3603.03 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.93/3603.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.93/3603.03 c dualfix : 1 0 0 0
3587.93/3603.03 c genvbounds : 0 0 0 0
3587.93/3603.03 c nlobbt : 0 0 0 0
3587.93/3603.03 c obbt : 0 0 0 0
3587.93/3603.03 c probing : 0 0 0 0
3587.93/3603.03 c pseudoobj : 1 0 0 0
3587.93/3603.03 c redcost : 0 0 0 0
3587.93/3603.03 c rootredcost : 0 0 0 0
3587.93/3603.03 c symmetry : 0 0 0 0
3587.93/3603.03 c vbounds : 6262 0 0 0
3587.93/3603.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.93/3603.03 c dualfix : 0.45 0.00 0.39 0.06 0.00 0.00
3587.93/3603.03 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.93/3603.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.93/3603.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.93/3603.03 c probing : 878.05 0.08 877.97 0.00 0.00 0.00
3587.93/3603.03 c pseudoobj : 0.44 0.00 0.03 0.41 0.00 0.00
3587.93/3603.03 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.93/3603.03 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3587.93/3603.03 c symmetry : 7.18 0.00 7.12 0.06 0.00 0.00
3587.93/3603.03 c vbounds : 3.50 0.00 2.81 0.69 0.00 0.00
3587.93/3603.03 c Symmetry :
3587.93/3603.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.93/3603.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.93/3603.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.93/3603.03 c shadow tree time : 0.00 s
3587.93/3603.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.93/3603.03 c propagation : 3.59 70 70 - 6367 3940.3 0 0.0 - - -
3587.93/3603.03 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.93/3603.03 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.93/3603.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.93/3603.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.93/3603.03 c applied globally : 3.66 - - 0 700 7205.1 - - 0 - -
3587.93/3603.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.93/3603.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.93/3603.03 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3587.93/3603.03 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.93/3603.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.93/3603.03 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.93/3603.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3587.93/3603.03 c > strongcg : - - - - - - - 0 0 0 0 0 -
3587.93/3603.03 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.93/3603.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.93/3603.03 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c Pricers : ExecTime SetupTime Calls Vars
3587.93/3603.03 c problem variables: 0.00 - 0 0
3587.93/3603.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.93/3603.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.93/3603.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.93/3603.03 c LP solutions : 0.00 - - 0 0
3587.93/3603.03 c relax solutions : 0.00 - - 0 0
3587.93/3603.03 c pseudo solutions : 0.00 - - 0 0
3587.93/3603.03 c strong branching : 0.00 - - 0 0
3587.93/3603.03 c actconsdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c adaptivediving : 0.00 0.00 0 0 0
3587.93/3603.03 c alns : 0.00 0.00 0 0 0
3587.93/3603.03 c bound : 0.00 0.00 0 0 0
3587.93/3603.03 c clique : 720.42 0.00 1 0 0
3587.93/3603.03 c coefdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c completesol : 0.00 0.00 0 0 0
3587.93/3603.03 c conflictdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c crossover : 0.00 0.00 0 0 0
3587.93/3603.03 c dins : 0.00 0.00 0 0 0
3587.93/3603.03 c distributiondivin: 0.00 0.00 0 0 0
3587.93/3603.03 c dps : 0.00 0.00 0 0 0
3587.93/3603.03 c dualval : 0.00 0.00 0 0 0
3587.93/3603.03 c farkasdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c feasjump : 0.00 0.00 0 0 0
3587.93/3603.03 c feaspump : 0.00 0.00 0 0 0
3587.93/3603.03 c fixandinfer : 0.00 0.00 0 0 0
3587.93/3603.03 c fracdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c gins : 0.00 0.00 0 0 0
3587.93/3603.03 c guideddiving : 0.00 0.00 0 0 0
3587.93/3603.03 c indcoefdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c indicator : 0.00 0.00 0 0 0
3587.93/3603.03 c indicatordiving : 0.00 0.00 0 0 0
3587.93/3603.03 c indoneopt : 0.00 0.00 0 0 0
3587.93/3603.03 c indrounding : 0.00 0.00 0 0 0
3587.93/3603.03 c indtwoopt : 0.00 0.00 0 0 0
3587.93/3603.03 c intdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c intshifting : 0.00 0.00 0 0 0
3587.93/3603.03 c linesearchdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c localbranching : 0.00 0.00 0 0 0
3587.93/3603.03 c locks : 20.56 0.00 1 0 0
3587.93/3603.03 c lpface : 0.00 0.00 0 0 0
3587.93/3603.03 c mpec : 0.00 0.00 0 0 0
3587.93/3603.03 c multistart : 0.00 0.00 0 0 0
3587.93/3603.03 c mutation : 0.00 0.00 0 0 0
3587.93/3603.03 c nlpdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c objpscostdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c octane : 0.00 0.00 0 0 0
3587.93/3603.03 c ofins : 0.00 0.00 0 0 0
3587.93/3603.03 c oneopt : 0.00 0.00 0 0 0
3587.93/3603.03 c padm : 0.00 0.00 0 0 0
3587.93/3603.03 c proximity : 0.00 0.00 0 0 0
3587.93/3603.03 c pscostdiving : 0.00 0.00 0 0 0
3587.93/3603.03 c randrounding : 0.00 0.00 0 0 0
3587.93/3603.03 c rens : 0.00 0.00 0 0 0
3587.93/3603.03 c reoptsols : 0.00 0.00 0 0 0
3587.93/3603.03 c repair : 0.00 0.00 0 0 0
3587.93/3603.03 c rins : 0.00 0.00 0 0 0
3587.93/3603.03 c rootsoldiving : 0.00 0.00 0 0 0
3587.93/3603.03 c rounding : 0.00 0.00 0 0 0
3587.93/3603.03 c scheduler : 0.00 0.00 0 0 0
3587.93/3603.03 c shiftandpropagate: 0.00 0.00 0 0 0
3587.93/3603.03 c shifting : 0.00 0.00 0 0 0
3587.93/3603.03 c simplerounding : 0.00 0.00 0 0 0
3587.93/3603.03 c smallcard : 0.00 0.00 0 0 0
3587.93/3603.03 c subnlp : 0.00 0.00 0 0 0
3587.93/3603.03 c trivial : 1.11 0.00 2 0 0
3587.93/3603.03 c trivialnegation : 0.00 0.00 0 0 0
3587.93/3603.03 c trustregion : 0.00 0.00 0 0 0
3587.93/3603.03 c trysol : 0.00 0.00 0 0 0
3587.93/3603.03 c twoopt : 0.00 0.00 0 0 0
3587.93/3603.03 c undercover : 0.00 0.00 0 0 0
3587.93/3603.03 c vbounds : 1820.50 0.00 1 0 0
3587.93/3603.03 c veclendiving : 0.00 0.00 0 0 0
3587.93/3603.03 c zeroobj : 0.00 0.00 0 0 0
3587.93/3603.03 c zirounding : 0.00 0.00 0 0 0
3587.93/3603.03 c other solutions : - - - 0 -
3587.93/3603.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.93/3603.03 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.93/3603.03 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.93/3603.03 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.93/3603.03 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.93/3603.03 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.93/3603.03 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.93/3603.03 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.93/3603.03 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.93/3603.03 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.93/3603.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.93/3603.03 c primal LP : 0.00 0 0 0.00 - 0.00 0
3587.93/3603.03 c dual LP : 0.00 0 0 0.00 - 0.00 0
3587.93/3603.03 c lex dual LP : 0.00 0 0 0.00 -
3587.93/3603.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.93/3603.03 c resolve instable : 0.00 0 0 0.00 -
3587.93/3603.03 c diving/probing LP: 6.30 1 372 372.00 59.00
3587.93/3603.03 c strong branching : 0.00 0 0 0.00 - - - 0
3587.93/3603.03 c (at root node) : - 0 0 0.00 -
3587.93/3603.03 c conflict analysis: 0.00 0 0 0.00 -
3587.93/3603.03 c B&B Tree :
3587.93/3603.03 c number of runs : 1
3587.93/3603.03 c nodes : 1 (0 internal, 1 leaves)
3587.93/3603.03 c feasible leaves : 0
3587.93/3603.03 c infeas. leaves : 0
3587.93/3603.03 c objective leaves : 0
3587.93/3603.03 c nodes (total) : 1 (0 internal, 1 leaves)
3587.93/3603.03 c nodes left : 1
3587.93/3603.03 c max depth : 0
3587.93/3603.03 c max depth (total): 0
3587.93/3603.03 c backtracks : 0 (0.0%)
3587.93/3603.03 c early backtracks : 0 (0.0%)
3587.93/3603.03 c nodes exc. ref. : 0 (0.0%)
3587.93/3603.03 c delayed cutoffs : 0
3587.93/3603.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.93/3603.03 c avg switch length: 1.00
3587.93/3603.03 c switching time : 0.00
3587.93/3603.03 c Root Node :
3587.93/3603.03 c First LP value : -
3587.93/3603.03 c First LP Iters : 0
3587.93/3603.03 c First LP Time : 0.00
3587.93/3603.03 c Final Dual Bound : -1.50000000000000e+01
3587.93/3603.03 c Final Root Iters : 0
3587.93/3603.03 c Root LP Estimate : -
3587.93/3603.03 c Solution :
3587.93/3603.03 c Solutions found : 0 (0 improvements)
3587.93/3603.03 c Primal Bound : -
3587.93/3603.03 c Dual Bound : -1.50000000000000e+01
3587.93/3603.03 c Gap : infinite
3587.93/3603.03 c Integrals : Total Avg%
3587.93/3603.03 c primal-dual : 360287.09 100.00
3587.93/3603.03 c primal-ref : - - (not evaluated)
3587.93/3603.03 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: 63968 MiB (55319 MiB free)
memory of node 1: 64473 MiB (62201 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432890-1721140858/watcher-4432890-1721140858 -o /tmp/evaluation-result-4432890-1721140858/solver-4432890-1721140858 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858236 --watchdog 3760 pbscip -f HOME/instance-4432890-1721140858.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=860429, runsolver pid=860426
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 5.02 4.37 4.19 5/256 860430
/proc/meminfo: memFree=120170316/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=232380 memory=186388 CPUtime=0.09 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 25331 0 0 0 4 5 0 0 20 0 1 0 166254907 237957120 46597 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 58095 46597 3201 3540 0 46352 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 232380 KiB
Current children cumulated memory: 186388 KiB
[startup+0.205579 s]*
/proc/loadavg: 5.02 4.37 4.19 5/256 860430
/proc/meminfo: memFree=120059604/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=344812 memory=298644 CPUtime=0.2 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 53373 0 0 0 11 9 0 0 20 0 1 0 166254907 353087488 74661 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 86203 74661 3201 3540 0 74460 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 344812 KiB
Current children cumulated memory: 298644 KiB
[startup+0.305605 s]*
/proc/loadavg: 5.02 4.37 4.19 5/256 860430
/proc/meminfo: memFree=119960228/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=442528 memory=395848 CPUtime=0.3 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 77168 0 0 0 18 12 0 0 20 0 1 0 166254907 453148672 98962 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 110632 98962 3201 3540 0 98889 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 442528 KiB
Current children cumulated memory: 395848 KiB
[startup+0.700225 s]
/proc/loadavg: 5.02 4.37 4.19 5/256 860430
/proc/meminfo: memFree=119751192/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=844768 memory=798420 CPUtime=0.69 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 170106 0 0 0 42 27 0 0 20 0 1 0 166254907 865042432 199605 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 211192 199605 3201 3540 0 199449 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 844768 KiB
Current children cumulated memory: 798420 KiB
[startup+1.50022 s]
/proc/loadavg: 5.02 4.37 4.19 5/256 860430
/proc/meminfo: memFree=119244056/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=1302928 memory=1254532 CPUtime=1.48 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 270365 0 0 0 106 42 0 0 20 0 1 0 166254907 1334198272 313633 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 325732 313633 3217 3540 0 313989 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1302928 KiB
Current children cumulated memory: 1254532 KiB
[startup+3.1054 s]
/proc/loadavg: 5.02 4.37 4.19 5/256 860430
/proc/meminfo: memFree=118317520/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=2130028 memory=2081324 CPUtime=3.09 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 477086 0 0 0 238 71 0 0 20 0 1 0 166254907 2181148672 520331 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 532507 520331 3217 3540 0 520764 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2130028 KiB
Current children cumulated memory: 2081324 KiB
[startup+6.30021 s]
/proc/loadavg: 4.94 4.36 4.18 5/256 860430
/proc/meminfo: memFree=117222356/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=3228780 memory=3180832 CPUtime=6.27 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 729116 0 0 0 520 107 0 0 20 0 1 0 166254907 3306270720 795208 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 807195 795208 3217 3540 0 795452 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3228780 KiB
Current children cumulated memory: 3180832 KiB
[startup+12.7002 s]
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=115283272/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=4543776 memory=4493316 CPUtime=12.66 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 1032231 0 0 0 1111 155 0 0 20 0 1 0 166254907 4652826624 1123329 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 1135944 1123329 3217 3540 0 1124201 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4543776 KiB
Current children cumulated memory: 4493316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.73 4.35 4.18 5/256 860479
/proc/meminfo: memFree=104798352/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=10590744 memory=10467340 CPUtime=25.42 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 2361225 0 0 0 2194 348 0 0 20 0 1 0 166254907 10844921856 2616835 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 2647686 2616835 3568 3540 0 2635943 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 10590744 KiB
Current children cumulated memory: 10467340 KiB
[startup+51.1055 s]
/proc/loadavg: 4.55 4.34 4.18 5/257 860485
/proc/meminfo: memFree=100618400/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=12198152 memory=11926900 CPUtime=50.93 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 2505174 0 0 0 4587 506 0 0 20 0 1 0 166254907 12490907648 2981725 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 3049538 2981725 3743 3540 0 3037795 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 12198152 KiB
Current children cumulated memory: 11926900 KiB
[startup+102.3 s]
/proc/loadavg: 4.35 4.32 4.18 5/258 860496
/proc/meminfo: memFree=97019564/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=14970360 memory=14659864 CPUtime=101.95 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 3007096 0 0 0 9604 591 0 0 20 0 1 0 166254907 15329648640 3664966 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 3742590 3664966 3791 3540 0 3730847 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 14970360 KiB
Current children cumulated memory: 14659864 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.27 4.18 5/258 860506
/proc/meminfo: memFree=94742056/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=15966336 memory=15668720 CPUtime=161.73 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 3026044 0 0 0 15560 613 0 0 20 0 1 0 166254907 16349528064 3917180 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 3991584 3917180 3791 3540 0 3979841 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15668720 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.22 4.16 5/258 860517
/proc/meminfo: memFree=94422900/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=15966336 memory=15668720 CPUtime=221.47 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 3027031 0 0 0 21531 616 0 0 20 0 1 0 166254907 16349528064 3917180 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 3991584 3917180 3791 3540 0 3979841 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15668720 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.21 4.16 5/258 860528
/proc/meminfo: memFree=94421928/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=15966336 memory=15668720 CPUtime=281.21 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 3027970 0 0 0 27502 619 0 0 20 0 1 0 166254907 16349528064 3917180 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 3991584 3917180 3791 3540 0 3979841 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15668720 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.18 4.16 5/256 860539
/proc/meminfo: memFree=94018824/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=15966336 memory=15668720 CPUtime=340.95 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 3029013 0 0 0 33473 622 0 0 20 0 1 0 166254907 16349528064 3917180 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 3991584 3917180 3791 3540 0 3979841 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15668720 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.18 4.16 5/254 860596
/proc/meminfo: memFree=92887860/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=15966336 memory=15668720 CPUtime=400.72 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 3030344 0 0 0 39446 626 0 0 20 0 1 0 166254907 16349528064 3917180 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 3991584 3917180 3791 3540 0 3979841 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 15966336 KiB
Current children cumulated memory: 15668720 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/254 860607
/proc/meminfo: memFree=92393692/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=15966336 memory=15668720 CPUtime=460.39 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 3031539 0 0 0 45410 629 0 0 20 0 1 0 166254907 16349528064 3917180 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 3991584 3917180 3791 3540 0 3979841 0
################
# More data... #
################
[startup+2982.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/259 862193
/proc/meminfo: memFree=81933556/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25044496 memory=24112512 CPUtime=2969.38 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4422009 0 0 0 295747 1191 0 0 20 0 1 0 166254907 25645563904 6028128 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6261124 6028128 3951 3540 0 6249381 0
Current children cumulated CPU time: 2969.38 s
Current children cumulated vsize: 25044496 KiB
Current children cumulated memory: 24112512 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/257 862259
/proc/meminfo: memFree=81921776/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25046096 memory=24114164 CPUtime=3029.16 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4423686 0 0 0 301719 1197 0 0 20 0 1 0 166254907 25647202304 6028541 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6261524 6028541 3951 3540 0 6249781 0
Current children cumulated CPU time: 3029.16 s
Current children cumulated vsize: 25046096 KiB
Current children cumulated memory: 24114164 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/257 862272
/proc/meminfo: memFree=81899736/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25046992 memory=24115108 CPUtime=3088.95 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4425334 0 0 0 307691 1204 0 0 20 0 1 0 166254907 25648119808 6028777 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6261748 6028777 3951 3540 0 6250005 0
Current children cumulated CPU time: 3088.95 s
Current children cumulated vsize: 25046992 KiB
Current children cumulated memory: 24115108 KiB
[startup+3162.3 s]
/proc/loadavg: 4.48 4.23 4.15 5/257 862282
/proc/meminfo: memFree=81876900/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25048592 memory=24116768 CPUtime=3148.74 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4426892 0 0 0 313664 1210 0 0 20 0 1 0 166254907 25649758208 6029192 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6262148 6029192 3951 3540 0 6250405 0
Current children cumulated CPU time: 3148.74 s
Current children cumulated vsize: 25048592 KiB
Current children cumulated memory: 24116768 KiB
[startup+3222.3 s]
/proc/loadavg: 4.30 4.23 4.16 5/256 862293
/proc/meminfo: memFree=81863212/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25050512 memory=24118736 CPUtime=3208.52 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4429006 0 0 0 319637 1215 0 0 20 0 1 0 166254907 25651724288 6029684 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6262628 6029684 3951 3540 0 6250885 0
Current children cumulated CPU time: 3208.52 s
Current children cumulated vsize: 25050512 KiB
Current children cumulated memory: 24118736 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.20 4.15 5/256 862303
/proc/meminfo: memFree=81787512/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25051088 memory=24119316 CPUtime=3268.31 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4430742 0 0 0 325610 1221 0 0 20 0 1 0 166254907 25652314112 6029829 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6262772 6029829 3951 3540 0 6251029 0
Current children cumulated CPU time: 3268.31 s
Current children cumulated vsize: 25051088 KiB
Current children cumulated memory: 24119316 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.20 4.15 5/255 862314
/proc/meminfo: memFree=81824904/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25052112 memory=24120440 CPUtime=3328.09 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4432229 0 0 0 331582 1227 0 0 20 0 1 0 166254907 25653362688 6030110 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6263028 6030110 3951 3540 0 6251285 0
Current children cumulated CPU time: 3328.09 s
Current children cumulated vsize: 25052112 KiB
Current children cumulated memory: 24120440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/255 862325
/proc/meminfo: memFree=81812368/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25055056 memory=24123444 CPUtime=3387.88 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4434520 0 0 0 337556 1232 0 0 20 0 1 0 166254907 25656377344 6030861 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6263764 6030861 3951 3540 0 6252021 0
Current children cumulated CPU time: 3387.88 s
Current children cumulated vsize: 25055056 KiB
Current children cumulated memory: 24123444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/254 862336
/proc/meminfo: memFree=81803384/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25055632 memory=24124696 CPUtime=3447.69 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4435925 0 0 0 343530 1239 0 0 20 0 1 0 166254907 25656967168 6031174 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6263908 6031174 3951 3540 0 6252165 0
Current children cumulated CPU time: 3447.69 s
Current children cumulated vsize: 25055632 KiB
Current children cumulated memory: 24124696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.17 4.14 5/254 862346
/proc/meminfo: memFree=81792652/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25057552 memory=24126664 CPUtime=3507.49 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4437811 0 0 0 349504 1245 0 0 20 0 1 0 166254907 25658933248 6031666 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6264388 6031666 3951 3540 0 6252645 0
Current children cumulated CPU time: 3507.49 s
Current children cumulated vsize: 25057552 KiB
Current children cumulated memory: 24126664 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.14 5/258 862363
/proc/meminfo: memFree=81785472/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25059152 memory=24128320 CPUtime=3567.29 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4439993 0 0 0 355478 1251 0 0 20 0 1 0 166254907 25660571648 6032080 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6264788 6032080 3951 3540 0 6253045 0
Current children cumulated CPU time: 3567.29 s
Current children cumulated vsize: 25059152 KiB
Current children cumulated memory: 24128320 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.11 s]
/proc/loadavg: 4.15 4.16 4.14 5/258 862414
/proc/meminfo: memFree=73836984/131524600 swapFree=131071996/131071996
[pid=860429] ppid=860426 vsize=25463916 memory=24531808 CPUtime=3600 cores=1,3
/proc/860429/stat : 860429 (pbscip) R 860426 860429 858224 0 -1 4194304 4632479 0 0 0 358720 1280 0 0 20 0 1 0 166254907 26075049984 6132952 134679101440 4194304 18693293 140735294385552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50671616 140735294391300 140735294391399 140735294391399 140735294398414 0
/proc/860429/statm: 6365979 6132952 3951 3540 0 6354236 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 25463916 KiB
Current children cumulated memory: 24531808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.58 s]
# the end of solver process 860429 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3587.2 s, system=13.2773 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3615.2 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862414
/proc/meminfo: memFree=79490036/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3615.4 s]
/proc/loadavg: 4.15 4.16 4.14 5/258 862414
/proc/meminfo: memFree=79490036/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3615.5 s]
/proc/loadavg: 4.15 4.16 4.14 5/258 862414
/proc/meminfo: memFree=79490036/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): 3615.58
CPU time (s): 3600.48
CPU user time (s): 3587.2
CPU system time (s): 13.2773
CPU usage (%): 99.5824
Max. virtual memory (cumulated for all children) (KiB): 25752716
Max. memory (cumulated for all children) (KiB): 24820480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.2
system time used= 13.2773
maximum resident set size= 24820480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4632479
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= 16
involuntary context switches= 3425
# summary of solver processes directly reported to runsolver:
# pid: 860429
# total CPU time (s): 3600.48
# total CPU user time (s): 3587.2
# total CPU system time (s): 13.2773
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33037 second user time and 17.0213 second system time
The end