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-4443975-1721300520.opb>
0.88/0.94 c original problem has 3750 variables (3750 bin, 0 int, 0 impl, 0 cont) and 467625 constraints
0.88/0.94 c problem read in 0.94
0.88/0.94 c No objective function, only one solution is needed.
1.68/1.70 c presolving:
2.88/2.94 c (2.9s) running MILP presolver
3.38/3.48 c (3.5s) MILP presolver found nothing
4.58/4.63 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 467625 upgd conss, 0 impls, 750 clqs
6.37/6.41 c (6.4s) probing: 51/3750 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
6.37/6.41 c (6.4s) probing aborted: 50/50 successive totally useless probings
8.67/8.75 c (8.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
11.07/11.15 c (11.1s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 1.43)
11.07/11.15 c dynamic symmetry handling statistics:
11.07/11.15 c orbitopal reduction: no components
11.07/11.15 c orbital reduction: no components
11.07/11.15 c lexicographic reduction: no permutations
11.07/11.15 c handled 1 out of 1 symmetry components
11.07/11.16 c (round 2, exhaustive) 5 del vars, 0 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 467625 upgd conss, 0 impls, 749 clqs
11.17/11.27 c (round 3, fast) 6 del vars, 997 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 249 chg coeffs, 467625 upgd conss, 0 impls, 749 clqs
11.46/11.51 c (round 4, medium) 9 del vars, 1744 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 249 chg coeffs, 467625 upgd conss, 0 impls, 749 clqs
11.66/11.75 c (round 5, medium) 12 del vars, 2243 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 249 chg coeffs, 467625 upgd conss, 0 impls, 748 clqs
12.26/12.38 c (round 6, exhaustive) 13 del vars, 2678 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 249 chg coeffs, 467625 upgd conss, 0 impls, 748 clqs
12.66/12.78 c (12.8s) probing: 56/3750 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
12.66/12.78 c (12.8s) probing aborted: 50/50 successive totally useless probings
14.06/14.14 c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
14.06/14.14 c 13 deleted vars, 2678 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 249 changed coefficients
14.06/14.14 c 0 implications, 748 cliques
14.06/14.14 c presolved problem has 3738 variables (3738 bin, 0 int, 0 impl, 0 cont) and 464951 constraints
14.06/14.14 c 748 constraints of type <setppc>
14.06/14.14 c 4 constraints of type <orbitope>
14.06/14.14 c 464199 constraints of type <logicor>
14.06/14.14 c transformed objective value is always integral (scale: 1)
14.06/14.14 c Presolving Time: 12.47
14.06/14.14 c - non default parameters ----------------------------------------------------------------------
14.06/14.14 c # SCIP version 10.0.0
14.06/14.14 c
14.06/14.14 c # maximal time in seconds to run
14.06/14.14 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
14.06/14.14 c limits/time = 3596.997009
14.06/14.14 c
14.06/14.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.06/14.14 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
14.06/14.14 c limits/memory = 27900
14.06/14.14 c
14.06/14.14 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
14.06/14.14 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
14.06/14.14 c limits/solutions = 1
14.06/14.14 c
14.06/14.14 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
14.06/14.14 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
14.06/14.14 c misc/usesymmetry = 3
14.06/14.14 c
14.06/14.14 c # belongs reading time to solving time?
14.06/14.14 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
14.06/14.14 c timing/reading = TRUE
14.06/14.14 c
14.06/14.14 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
14.06/14.14 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
14.06/14.14 c propagating/symmetry/detectdoublelex = FALSE
14.06/14.14 c
14.06/14.14 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
14.06/14.14 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
14.06/14.14 c propagating/symmetry/detectsubgroups = FALSE
14.06/14.14 c
14.06/14.14 c # Type of symmetries that shall be computed?
14.06/14.14 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
14.06/14.14 c propagating/symmetry/symtype = 1
14.06/14.14 c
14.06/14.14 c # Should components consisting of a single full reflection be handled?
14.06/14.14 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
14.06/14.14 c propagating/symmetry/usesimplesgncomp = FALSE
14.06/14.14 c
14.06/14.14 c -----------------------------------------------------------------------------------------------
14.06/14.14 c start solving
14.06/14.14 c
21.24/21.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.24/21.31 c 21.3s| 1 | 0 | 1856 | - | 2515M | 0 |3738 | 465k| 464k| 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
147.80/148.25 c 148s| 1 | 0 | 22304 | - | 2676M | 0 |3738 | 465k| 464k| 7 | 1 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
155.89/156.37 c 156s| 1 | 0 | 22672 | - | 2754M | 0 |3738 | 465k| 464k| 12 | 2 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
163.17/163.62 c 164s| 1 | 0 | 22834 | - | 2813M | 0 |3738 | 465k| 464k| 15 | 3 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
171.74/172.29 c 172s| 1 | 0 | 23100 | - | 2861M | 0 |3738 | 465k| 464k| 21 | 4 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
178.83/179.33 c 179s| 1 | 0 | 23192 | - | 2920M | 0 |3738 | 465k| 464k| 27 | 5 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
188.40/188.93 c 189s| 1 | 0 | 23447 | - | 2991M | 0 |3738 | 464k| 464k| 32 | 6 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
196.19/196.70 c 197s| 1 | 0 | 23829 | - | 3049M | 0 |3738 | 464k| 464k| 37 | 7 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
205.75/206.37 c 206s| 1 | 0 | 24318 | - | 3115M | 0 |3738 | 464k| 464k| 44 | 8 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
213.74/214.32 c 214s| 1 | 0 | 24557 | - | 3163M | 0 |3738 | 464k| 464k| 49 | 9 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
224.31/224.91 c 225s| 1 | 0 | 25358 | - | 3232M | 0 |3738 | 464k| 465k| 56 | 10 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
231.29/231.98 c 232s| 1 | 0 | 25594 | - | 3278M | 0 |3738 | 464k| 465k| 60 | 11 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
1119.42/1122.42 c LP solution value is below SCIP's -infinity value
1197.44/1200.79 c 1201s| 1 | 2 | 68843 | - | 3281M | 0 |3738 | 464k| 465k| 60 | 11 | 76 | 19 | 0.000000e+00 | -- | Inf | unknown
3587.87/3597.03 c
3587.87/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3587.87/3597.03 c Solving Time (sec) : 3597.03
3587.87/3597.03 c Solving Nodes : 43
3587.87/3597.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.87/3597.03 c Dual Bound : +0.00000000000000e+00
3587.87/3597.03 c Gap : infinite
3587.87/3597.03 s UNKNOWN
3587.87/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3587.87/3597.03 c Total Time : 3597.03
3587.87/3597.03 c solving : 3597.03
3587.87/3597.03 c presolving : 12.47 (included in solving)
3587.87/3597.03 c reading : 0.94 (included in solving)
3587.87/3597.03 c copying : 0.64 (1 #copies) (minimal 0.64, maximal 0.64, average 0.64)
3587.87/3597.03 c Original Problem :
3587.87/3597.03 c Problem name : HOME/instance-4443975-1721300520.opb
3587.87/3597.03 c Variables : 3750 (3750 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.87/3597.03 c Constraints : 467625 initial, 467625 maximal
3587.87/3597.03 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.87/3597.03 c Presolved Problem :
3587.87/3597.03 c Problem name : t_HOME/instance-4443975-1721300520.opb
3587.87/3597.03 c Variables : 3738 (3738 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.87/3597.03 c Constraints : 464951 initial, 465027 maximal
3587.87/3597.03 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.87/3597.03 c Nonzeros : 1866284 constraint, 3737 clique table
3587.87/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.87/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c domcol : 0.24 0.00 2 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c dualsparsify : 2.34 0.00 1 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c gateextraction : 0.35 0.00 3 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c milp : 1.36 0.00 1 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c sparsify : 0.45 0.00 1 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c trivial : 0.00 0.00 7 1 0 0 0 0 0 0 0 0
3587.87/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c probing : 0.17 0.00 2 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c symmetry : 2.40 0.00 1 4 0 0 0 0 0 4 0 0
3587.87/3597.03 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c setppc : 0.01 0.00 14 0 1 0 0 0 2 0 0 0
3587.87/3597.03 c linear : 1.28 0.28 2 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c orbitope : 0.00 0.00 4 6 0 0 0 0 0 0 0 0
3587.87/3597.03 c logicor : 2.20 1.17 14 0 0 0 0 0 2676 0 0 249
3587.87/3597.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c components : 0.17 0.00 1 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c root node : - - - 0 - - 0 - - - - -
3587.87/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.87/3597.03 c benderslp : 0 0 0 0 43 0 0 18 0 0 0 0 0 0 0
3587.87/3597.03 c integral : 0 0 0 0 43 0 0 18 0 0 0 0 0 0 86
3587.87/3597.03 c setppc : 748 748 11 14499 0 0 0 15 1352 16 95 0 0 0 0
3587.87/3597.03 c orbitope : 4 4 0 14383 0 0 0 0 8 0 0 0 0 0 0
3587.87/3597.03 c logicor : 464199+ 464275 11 5887 0 0 0 0 2373 7 0 0 0 0 0
3587.87/3597.03 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.87/3597.03 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c integral : 65.95 0.00 0.00 0.00 65.95 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c setppc : 0.11 0.00 0.00 0.11 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c orbitope : 0.44 0.00 0.00 0.43 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c logicor : 4.29 1.17 1.48 1.59 0.00 0.00 0.00 0.00 0.00 0.04
3587.87/3597.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.87/3597.03 c dualfix : 1 0 0 0
3587.87/3597.03 c genvbounds : 0 0 0 0
3587.87/3597.03 c nlobbt : 0 0 0 0
3587.87/3597.03 c obbt : 0 0 0 0
3587.87/3597.03 c probing : 0 0 0 0
3587.87/3597.03 c pseudoobj : 0 0 0 0
3587.87/3597.03 c redcost : 0 0 0 0
3587.87/3597.03 c rootredcost : 0 0 0 0
3587.87/3597.03 c symmetry : 0 0 0 0
3587.87/3597.03 c vbounds : 5734 0 0 0
3587.87/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.87/3597.03 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c probing : 0.17 0.00 0.17 0.00 0.00 0.00
3587.87/3597.03 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c symmetry : 2.40 0.00 2.40 0.00 0.00 0.00
3587.87/3597.03 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.03 c Symmetry :
3587.87/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.87/3597.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.87/3597.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.87/3597.03 c shadow tree time : 0.00 s
3587.87/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.87/3597.03 c propagation : 0.02 18 18 - 680 281.4 0 0.0 - - -
3587.87/3597.03 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.87/3597.03 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.87/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.87/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.87/3597.03 c applied globally : 0.00 - - 0 76 110.1 - - 0 - -
3587.87/3597.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.87/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.87/3597.03 c cut pool : 0.03 - 29 21 - - 2276 2546 - - - - - (maximal pool size: 2276)
3587.87/3597.03 c aggregation : 1.08 0.00 15 11 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.87/3597.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.87/3597.03 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.87/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c clique : 0.08 0.00 11 11 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c gomory : 2.01 0.00 14 10 0 0 2203 2461 0 13 13 0 0
3587.87/3597.03 c > gomorymi : - - - - - - - 1244 0 13 13 0 -
3587.87/3597.03 c > strongcg : - - - - - - - 1217 0 0 0 0 -
3587.87/3597.03 c impliedbounds : 0.00 0.00 15 11 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c multilinear : 0.00 0.00 17 11 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c rlt : 0.00 0.00 12 10 0 0 0 0 0 0 0 0 0
3587.87/3597.03 c zerohalf : 68.85 0.00 15 11 0 0 73 85 0 82 82 0 0
3587.87/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.87/3597.03 c hybrid : 0.04 0.00 15 11 95 0 2451 60 0 2249
3587.87/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3587.87/3597.03 c problem variables: 0.00 - 0 0
3587.87/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.87/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c relpscost : 65.95 0.00 43 0 0 0 0 0 0 86
3587.87/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.87/3597.03 c LP solutions : 0.00 - - 0 0
3587.87/3597.03 c relax solutions : 0.00 - - 0 0
3587.87/3597.03 c pseudo solutions : 0.00 - - 0 0
3587.87/3597.03 c strong branching : 0.00 - - 0 0
3587.87/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3587.87/3597.03 c adaptivediving : 154.52 0.00 1 0 0
3587.87/3597.03 c alns : 0.00 0.00 0 0 0
3587.87/3597.03 c bound : 0.00 0.00 0 0 0
3587.87/3597.03 c clique : 0.95 0.00 1 0 0
3587.87/3597.03 c coefdiving : 0.00 0.00 0 0 0
3587.87/3597.03 c completesol : 0.00 0.00 0 0 0
3587.87/3597.03 c conflictdiving : 1047.37 0.00 2 0 0
3587.87/3597.03 c crossover : 0.00 0.00 0 0 0
3587.87/3597.03 c dins : 0.00 0.00 0 0 0
3587.87/3597.03 c distributiondivin: 275.22 0.00 1 0 0
3587.87/3597.03 c dps : 0.00 0.00 0 0 0
3587.87/3597.03 c dualval : 0.00 0.00 0 0 0
3587.87/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3587.87/3597.03 c feasjump : 0.69 0.00 1 0 0
3587.87/3597.03 c feaspump : 118.28 0.00 1 0 0
3587.87/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3587.87/3597.03 c fracdiving : 329.01 0.00 2 0 0
3587.87/3597.03 c gins : 0.00 0.00 0 0 0
3587.87/3597.03 c guideddiving : 0.00 0.00 0 0 0
3587.87/3597.03 c indcoefdiving : 0.00 0.00 0 0 0
3587.87/3597.03 c indicator : 0.00 0.00 0 0 0
3587.87/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3587.87/3597.03 c indoneopt : 0.00 0.00 0 0 0
3587.87/3597.03 c indrounding : 0.00 0.00 0 0 0
3587.87/3597.03 c indtwoopt : 0.00 0.00 0 0 0
3587.87/3597.03 c intdiving : 0.00 0.00 0 0 0
3587.87/3597.03 c intshifting : 0.00 0.00 0 0 0
3587.87/3597.03 c linesearchdiving : 367.65 0.00 1 0 0
3587.87/3597.03 c localbranching : 0.00 0.00 0 0 0
3587.87/3597.03 c locks : 0.30 0.00 1 0 0
3587.87/3597.03 c lpface : 0.00 0.00 0 0 0
3587.87/3597.03 c mpec : 0.00 0.00 0 0 0
3587.87/3597.03 c multistart : 0.00 0.00 0 0 0
3587.87/3597.03 c mutation : 0.00 0.00 0 0 0
3587.87/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3587.87/3597.03 c objpscostdiving : 52.29 0.00 1 0 0
3587.87/3597.03 c octane : 0.00 0.00 0 0 0
3587.87/3597.03 c ofins : 0.00 0.00 0 0 0
3587.87/3597.03 c oneopt : 0.00 0.00 0 0 0
3587.87/3597.03 c padm : 0.00 0.00 0 0 0
3587.87/3597.03 c proximity : 0.00 0.00 0 0 0
3587.87/3597.03 c pscostdiving : 420.02 0.00 2 0 0
3587.87/3597.03 c randrounding : 1.59 0.00 12 0 0
3587.87/3597.03 c rens : 2.96 0.00 1 0 0
3587.87/3597.03 c reoptsols : 0.00 0.00 0 0 0
3587.87/3597.03 c repair : 0.00 0.00 0 0 0
3587.87/3597.03 c rins : 0.00 0.00 0 0 0
3587.87/3597.03 c rootsoldiving : 57.09 0.00 1 0 0
3587.87/3597.03 c rounding : 1.98 0.00 58 0 0
3587.87/3597.03 c scheduler : 0.00 0.00 0 0 0
3587.87/3597.03 c shiftandpropagate: 0.38 0.00 1 0 0
3587.87/3597.03 c shifting : 3.35 0.00 18 0 0
3587.87/3597.03 c simplerounding : 0.00 0.00 0 0 0
3587.87/3597.03 c smallcard : 0.00 0.00 0 0 0
3587.87/3597.03 c subnlp : 0.00 0.00 0 0 0
3587.87/3597.03 c trivial : 0.03 0.00 2 0 0
3587.87/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3587.87/3597.03 c trustregion : 0.00 0.00 0 0 0
3587.87/3597.03 c trysol : 0.00 0.00 0 0 0
3587.87/3597.03 c twoopt : 0.00 0.00 0 0 0
3587.87/3597.03 c undercover : 0.00 0.00 0 0 0
3587.87/3597.03 c vbounds : 0.95 0.00 1 0 0
3587.87/3597.03 c veclendiving : 267.92 0.00 1 0 0
3587.87/3597.03 c zeroobj : 0.00 0.00 0 0 0
3587.87/3597.03 c zirounding : 0.50 0.00 42 0 0
3587.87/3597.03 c other solutions : - - - 0 -
3587.87/3597.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.87/3597.03 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.87/3597.03 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.87/3597.03 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.87/3597.03 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.87/3597.03 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.87/3597.03 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.87/3597.03 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.87/3597.03 c zeroobjective : 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.87/3597.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.87/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.87/3597.03 c primal LP : 0.15 3 0 0.00 0.00 0.15 3
3587.87/3597.03 c dual LP : 337.40 58 41956 723.38 124.35 0.00 0
3587.87/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3587.87/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.87/3597.03 c resolve instable : 0.00 0 0 0.00 -
3587.87/3597.03 c diving/probing LP: 3093.10 84 199074 2369.93 64.36
3587.87/3597.03 c strong branching : 58.18 19 6657 350.37 114.43 - - 13
3587.87/3597.03 c (at root node) : - 19 6657 350.37 -
3587.87/3597.03 c conflict analysis: 0.00 0 0 0.00 -
3587.87/3597.03 c B&B Tree :
3587.87/3597.03 c number of runs : 1
3587.87/3597.03 c nodes : 43 (43 internal, 0 leaves)
3587.87/3597.03 c feasible leaves : 0
3587.87/3597.03 c infeas. leaves : 0
3587.87/3597.03 c objective leaves : 0
3587.87/3597.03 c nodes (total) : 43 (43 internal, 0 leaves)
3587.87/3597.03 c nodes left : 44
3587.87/3597.03 c max depth : 15
3587.87/3597.03 c max depth (total): 15
3587.87/3597.03 c backtracks : 16 (37.2%)
3587.87/3597.03 c early backtracks : 0 (0.0%)
3587.87/3597.03 c nodes exc. ref. : 0 (0.0%)
3587.87/3597.03 c delayed cutoffs : 0
3587.87/3597.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.87/3597.03 c avg switch length: 2.23
3587.87/3597.03 c switching time : 0.28
3587.87/3597.03 c Root Node :
3587.87/3597.03 c First LP value : +0.00000000000000e+00
3587.87/3597.03 c First LP Iters : 1856 (476.90 Iter/sec)
3587.87/3597.03 c First LP Time : 3.89
3587.87/3597.03 c Final Dual Bound : +0.00000000000000e+00
3587.87/3597.03 c Final Root Iters : 25594
3587.87/3597.03 c Root LP Estimate : +2.89499999999995e-03
3587.87/3597.03 c Solution :
3587.87/3597.03 c Solutions found : 0 (0 improvements)
3587.87/3597.03 c Primal Bound : -
3587.87/3597.03 c Dual Bound : +0.00000000000000e+00
3587.87/3597.03 c Gap : infinite
3587.87/3597.03 c Integrals : Total Avg%
3587.87/3597.03 c primal-dual : 359702.72 100.00
3587.87/3597.03 c primal-ref : - - (not evaluated)
3587.87/3597.03 c dual-ref : - - (not evaluated)
3588.86/3598.03 c Time complete: 3588.91.
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 (60945 MiB free)
memory of node 1: 64473 MiB (62412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443975-1721300520/watcher-4443975-1721300520 -o /tmp/evaluation-result-4443975-1721300520/solver-4443975-1721300520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721294195-967152 --watchdog 3760 pbscip -f HOME/instance-4443975-1721300520.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=971914, runsolver pid=971911
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.16 4.12 4.09 6/258 971915
/proc/meminfo: memFree=126285568/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=87304 memory=46556 CPUtime=0.09 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 8723 0 0 0 9 0 0 0 20 0 1 0 182214431 89399296 11639 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 21826 11639 3252 3540 0 10083 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87304 KiB
Current children cumulated memory: 46556 KiB
[startup+0.205752 s]*
/proc/loadavg: 4.16 4.12 4.09 5/258 971915
/proc/meminfo: memFree=126257336/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=115136 memory=74012 CPUtime=0.2 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 15538 0 0 0 19 1 0 0 20 0 1 0 182214431 117899264 18503 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 28784 18503 3252 3540 0 17041 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115136 KiB
Current children cumulated memory: 74012 KiB
[startup+0.305634 s]*
/proc/loadavg: 4.16 4.12 4.09 5/258 971915
/proc/meminfo: memFree=126231464/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=139812 memory=98548 CPUtime=0.3 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 21714 0 0 0 29 1 0 0 20 0 1 0 182214431 143167488 24637 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 34953 24637 3252 3540 0 23210 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 139812 KiB
Current children cumulated memory: 98548 KiB
[startup+0.700216 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 971915
/proc/meminfo: memFree=126180148/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=237064 memory=195508 CPUtime=0.69 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 45417 0 0 0 65 4 0 0 20 0 1 0 182214431 242753536 48877 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 59266 48877 3252 3540 0 47523 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 237064 KiB
Current children cumulated memory: 195508 KiB
[startup+1.50022 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 971915
/proc/meminfo: memFree=126042864/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=632432 memory=591976 CPUtime=1.48 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 144745 0 0 0 130 18 0 0 20 0 1 0 182214431 647610368 147994 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 158108 147994 3540 3540 0 146365 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 632432 KiB
Current children cumulated memory: 591976 KiB
[startup+3.1058 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 971915
/proc/meminfo: memFree=125280756/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=1074836 memory=1026900 CPUtime=3.08 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 196712 0 0 0 273 35 0 0 20 0 1 0 182214431 1100632064 256725 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 268709 256725 3667 3540 0 256966 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1074836 KiB
Current children cumulated memory: 1026900 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 971917
/proc/meminfo: memFree=125295912/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=1082016 memory=1033800 CPUtime=6.27 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 253333 0 0 0 583 44 0 0 20 0 1 0 182214431 1107984384 258450 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 270504 258450 3731 3540 0 258761 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1082016 KiB
Current children cumulated memory: 1033800 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 971917
/proc/meminfo: memFree=124231704/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=2267984 memory=2094332 CPUtime=12.66 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 306313 0 0 0 1192 74 0 0 20 0 1 0 182214431 2322415616 523583 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 566996 523583 3795 3540 0 555253 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2267984 KiB
Current children cumulated memory: 2094332 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 971918
/proc/meminfo: memFree=123735708/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=2778200 memory=2588124 CPUtime=25.43 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 403538 0 0 0 2449 94 0 0 20 0 1 0 182214431 2844876800 647031 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 694550 647031 3987 3540 0 682807 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2778200 KiB
Current children cumulated memory: 2588124 KiB
[startup+51.1057 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 971923
/proc/meminfo: memFree=123691160/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=2787592 memory=2589812 CPUtime=50.96 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 404086 0 0 0 5000 96 0 0 20 0 1 0 182214431 2854494208 647453 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 696898 647453 3987 3540 0 685155 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2787592 KiB
Current children cumulated memory: 2589812 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 971932
/proc/meminfo: memFree=123673368/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=2787592 memory=2590364 CPUtime=102.02 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 404395 0 0 0 10104 98 0 0 20 0 1 0 182214431 2854494208 647591 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 696898 647591 3987 3540 0 685155 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2787592 KiB
Current children cumulated memory: 2590364 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 971944
/proc/meminfo: memFree=123467928/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3138856 memory=2803300 CPUtime=161.87 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 437128 0 0 0 16081 106 0 0 20 0 1 0 182214431 3214188544 700825 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 784714 700825 3987 3540 0 772971 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 3138856 KiB
Current children cumulated memory: 2803300 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 971954
/proc/meminfo: memFree=123294964/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3556148 memory=2915980 CPUtime=221.72 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 450114 0 0 0 22063 109 0 0 20 0 1 0 182214431 3641495552 728995 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 889037 728995 3987 3540 0 877294 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 3556148 KiB
Current children cumulated memory: 2915980 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 971964
/proc/meminfo: memFree=123225076/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3644112 memory=2959092 CPUtime=281.56 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 452929 0 0 0 28044 112 0 0 20 0 1 0 182214431 3731570688 739773 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 911028 739773 3987 3540 0 899285 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 3644112 KiB
Current children cumulated memory: 2959092 KiB
[startup+342.3 s]
/proc/loadavg: 4.42 4.18 4.12 5/254 971975
/proc/meminfo: memFree=123148876/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3689128 memory=3005844 CPUtime=341.42 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 456168 0 0 0 34027 115 0 0 20 0 1 0 182214431 3777667072 751461 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 922282 751461 3987 3540 0 910539 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 3689128 KiB
Current children cumulated memory: 3005844 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/254 971985
/proc/meminfo: memFree=122966332/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3835616 memory=3101000 CPUtime=401.27 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 461915 0 0 0 40007 120 0 0 20 0 1 0 182214431 3927670784 775250 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 958904 775250 4003 3540 0 947161 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 3835616 KiB
Current children cumulated memory: 3101000 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/255 971996
/proc/meminfo: memFree=122932924/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3845844 memory=3111228 CPUtime=461.12 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 464631 0 0 0 45990 122 0 0 20 0 1 0 182214431 3938144256 777807 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 961461 777807 4003 3540 0 949718 0
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.15 5/257 974758
/proc/meminfo: memFree=118414332/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4278640 memory=3568224 CPUtime=3154.22 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 748317 0 0 0 315217 205 0 0 20 0 1 0 182214431 4381327360 892056 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1069660 892056 4035 3540 0 1057917 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 4278640 KiB
Current children cumulated memory: 3568224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/257 975151
/proc/meminfo: memFree=118355792/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4300828 memory=3590408 CPUtime=3214.07 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 756614 0 0 0 321200 207 0 0 20 0 1 0 182214431 4404047872 897602 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1075207 897602 4035 3540 0 1063464 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 4300828 KiB
Current children cumulated memory: 3590408 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/257 975161
/proc/meminfo: memFree=118305724/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4311296 memory=3600856 CPUtime=3273.94 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 759528 0 0 0 327185 209 0 0 20 0 1 0 182214431 4414767104 900214 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077824 900214 4035 3540 0 1066081 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 4311296 KiB
Current children cumulated memory: 3600856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/256 975172
/proc/meminfo: memFree=118276840/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4277668 memory=3567224 CPUtime=3333.79 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 762120 0 0 0 333169 210 0 0 20 0 1 0 182214431 4380332032 891806 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1069417 891806 4035 3540 0 1057674 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 4277668 KiB
Current children cumulated memory: 3567224 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/258 975352
/proc/meminfo: memFree=118190544/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4285784 memory=3575128 CPUtime=3393.64 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 766612 0 0 0 339152 212 0 0 20 0 1 0 182214431 4388642816 893782 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1071446 893782 4035 3540 0 1059703 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 4285784 KiB
Current children cumulated memory: 3575128 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/258 975362
/proc/meminfo: memFree=118091376/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4308716 memory=3598300 CPUtime=3453.49 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 772597 0 0 0 345135 214 0 0 20 0 1 0 182214431 4412125184 899575 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077179 899575 4035 3540 0 1065436 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 4308716 KiB
Current children cumulated memory: 3598300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/256 975376
/proc/meminfo: memFree=117992948/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4315932 memory=3605516 CPUtime=3513.34 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 774635 0 0 0 351119 215 0 0 20 0 1 0 182214431 4419514368 901379 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1078983 901379 4035 3540 0 1067240 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 4315932 KiB
Current children cumulated memory: 3605516 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/256 975397
/proc/meminfo: memFree=117941500/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4306776 memory=3596196 CPUtime=3573.2 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 784468 0 0 0 357102 218 0 0 20 0 1 0 182214431 4410138624 899049 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1076694 899049 4035 3540 0 1064951 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 4306776 KiB
Current children cumulated memory: 3596196 KiB
[startup+3598.05 s]
# the end of solver process 971914 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.69 s, system=2.2261 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.12 5/256 975397
/proc/meminfo: memFree=117938832/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4307988 memory=3597488 CPUtime=3574.9 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 784772 0 0 0 357272 218 0 0 20 0 1 0 182214431 4411379712 899372 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1076997 899372 4035 3540 0 1065254 0
Current children cumulated CPU time: 3574.9 s
Current children cumulated vsize: 4307988 KiB
Current children cumulated memory: 3597488 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.10 4.12 5/256 975399
/proc/meminfo: memFree=117933672/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4308800 memory=3598192 CPUtime=3581.28 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 784996 0 0 0 357909 219 0 0 20 0 1 0 182214431 4412211200 899548 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077200 899548 4035 3540 0 1065457 0
Current children cumulated CPU time: 3581.28 s
Current children cumulated vsize: 4308800 KiB
Current children cumulated memory: 3598192 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.11 4.13 5/256 975399
/proc/meminfo: memFree=117927764/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4310756 memory=3600304 CPUtime=3584.48 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 785486 0 0 0 358229 219 0 0 20 0 1 0 182214431 4414214144 900076 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077689 900076 4035 3540 0 1065946 0
Current children cumulated CPU time: 3584.48 s
Current children cumulated vsize: 4310756 KiB
Current children cumulated memory: 3600304 KiB
[startup+3595.2 s]
/proc/loadavg: 4.17 4.11 4.13 5/256 975400
/proc/meminfo: memFree=117925840/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4310780 memory=3600304 CPUtime=3586.07 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 785495 0 0 0 358388 219 0 0 20 0 1 0 182214431 4414238720 900076 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077695 900076 4035 3540 0 1065952 0
Current children cumulated CPU time: 3586.07 s
Current children cumulated vsize: 4310780 KiB
Current children cumulated memory: 3600304 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.11 4.13 5/256 975401
/proc/meminfo: memFree=117925668/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4310780 memory=3600304 CPUtime=3587.67 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 785495 0 0 0 358548 219 0 0 20 0 1 0 182214431 4414238720 900076 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077695 900076 4035 3540 0 1065952 0
Current children cumulated CPU time: 3587.67 s
Current children cumulated vsize: 4310780 KiB
Current children cumulated memory: 3600304 KiB
[startup+3597.6 s]
/proc/loadavg: 4.15 4.11 4.13 5/256 975401
/proc/meminfo: memFree=117922424/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4310780 memory=3600364 CPUtime=3588.47 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 785985 0 0 0 358628 219 0 0 20 0 1 0 182214431 4414238720 900091 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077695 900091 4035 3540 0 1065952 0
Current children cumulated CPU time: 3588.47 s
Current children cumulated vsize: 4310780 KiB
Current children cumulated memory: 3600364 KiB
[startup+3598 s]*
/proc/loadavg: 4.15 4.11 4.13 5/256 975401
/proc/meminfo: memFree=118288692/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3894000 memory=3233152 CPUtime=3588.86 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 785996 0 0 0 358666 220 0 0 20 0 1 0 182214431 3987456000 808288 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 973500 808288 4035 3540 0 961757 0
Current children cumulated CPU time: 3588.86 s
Current children cumulated vsize: 3894000 KiB
Current children cumulated memory: 3233152 KiB
Child status: 0
Real time (s): 3598.05
CPU time (s): 3588.92
CPU user time (s): 3586.69
CPU system time (s): 2.2261
CPU usage (%): 99.7463
Max. virtual memory (cumulated for all children) (KiB): 4464356
Max. memory (cumulated for all children) (KiB): 3728824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.69
system time used= 2.2261
maximum resident set size= 3728824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 786111
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= 18
involuntary context switches= 2025
# summary of solver processes directly reported to runsolver:
# pid: 971914
# total CPU time (s): 3588.92
# total CPU user time (s): 3586.69
# total CPU system time (s): 2.2261
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77238 second user time and 18.0379 second system time
The end