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-4446345-1721332364.opb>
0.30/0.35 c original problem has 7936 variables (7936 bin, 0 int, 0 impl, 0 cont) and 176837 constraints
0.30/0.35 c problem read in 0.35
0.30/0.36 c No objective function, only one solution is needed.
0.50/0.60 c presolving:
0.99/1.04 c (1.0s) running MILP presolver
1.49/1.59 c (1.6s) MILP presolver found nothing
1.99/2.00 c (round 1, exhaustive) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 176828 upgd conss, 0 impls, 37799 clqs
2.38/2.43 c (round 2, exhaustive) 1 del vars, 2206 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 3306 chg coeffs, 176828 upgd conss, 0 impls, 37799 clqs
9.95/10.00 c (10.0s) probing: 685/7935 (8.6%) - 0 fixings, 0 aggregations, 22566 implications, 0 bound changes
9.95/10.00 c (10.0s) probing aborted: 50/50 successive totally useless probings
10.94/11.04 c (11.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
11.33/11.41 c (11.4s) no symmetry present (symcode time: 0.05)
11.44/11.55 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
11.44/11.55 c 1 deleted vars, 2206 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 3351 changed coefficients
11.44/11.55 c 0 implications, 60365 cliques
11.44/11.55 c presolved problem has 7935 variables (7935 bin, 0 int, 0 impl, 0 cont) and 174631 constraints
11.44/11.55 c 17621 constraints of type <knapsack>
11.44/11.55 c 37799 constraints of type <setppc>
11.44/11.55 c 1 constraints of type <linear>
11.44/11.55 c 119210 constraints of type <logicor>
11.44/11.55 c transformed objective value is always integral (scale: 1)
11.44/11.55 c Presolving Time: 10.95
11.44/11.55 c - non default parameters ----------------------------------------------------------------------
11.44/11.55 c # SCIP version 10.0.0
11.44/11.55 c
11.44/11.55 c # maximal time in seconds to run
11.44/11.55 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
11.44/11.55 c limits/time = 3596.99706
11.44/11.55 c
11.44/11.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.44/11.55 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
11.44/11.55 c limits/memory = 27900
11.44/11.55 c
11.44/11.55 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
11.44/11.55 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
11.44/11.55 c limits/solutions = 1
11.44/11.55 c
11.44/11.55 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.
11.44/11.55 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
11.44/11.55 c misc/usesymmetry = 3
11.44/11.55 c
11.44/11.55 c # belongs reading time to solving time?
11.44/11.55 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
11.44/11.55 c timing/reading = TRUE
11.44/11.55 c
11.44/11.55 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
11.44/11.55 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
11.44/11.55 c propagating/symmetry/detectdoublelex = FALSE
11.44/11.55 c
11.44/11.55 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
11.44/11.55 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
11.44/11.55 c propagating/symmetry/detectsubgroups = FALSE
11.44/11.55 c
11.44/11.55 c # Type of symmetries that shall be computed?
11.44/11.55 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
11.44/11.55 c propagating/symmetry/symtype = 1
11.44/11.55 c
11.44/11.55 c # Should components consisting of a single full reflection be handled?
11.44/11.55 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
11.44/11.55 c propagating/symmetry/usesimplesgncomp = FALSE
11.44/11.55 c
11.44/11.55 c -----------------------------------------------------------------------------------------------
11.44/11.55 c start solving
11.44/11.55 c
12.63/12.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.63/12.71 c 12.7s| 1 | 0 | 567 | - | 856M | 0 |7935 | 174k| 174k| 0 | 0 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
26.98/27.16 c 27.2s| 1 | 0 | 2475 | - | 881M | 0 |7935 | 174k| 174k| 8 | 1 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
38.14/38.34 c 38.3s| 1 | 0 | 2838 | - | 898M | 0 |7935 | 174k| 174k| 13 | 2 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
54.97/55.24 c 55.2s| 1 | 0 | 3091 | - | 915M | 0 |7935 | 174k| 174k| 21 | 3 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
61.15/61.40 c 61.4s| 1 | 0 | 3214 | - | 934M | 0 |7935 | 174k| 174k| 30 | 4 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
72.40/72.78 c 72.8s| 1 | 0 | 3262 | - | 950M | 0 |7935 | 174k| 174k| 43 | 5 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown
82.46/82.83 c 82.8s| 1 | 0 | 3387 | - | 969M | 0 |7935 | 174k| 174k| 61 | 6 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
90.53/90.91 c 90.9s| 1 | 0 | 3612 | - | 987M | 0 |7935 | 174k| 174k| 74 | 7 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
104.87/105.38 c 105s| 1 | 0 | 4301 | - | 1005M | 0 |7935 | 174k| 174k| 97 | 8 | 174 | 0 | 0.000000e+00 | -- | Inf | unknown
115.23/115.72 c 116s| 1 | 0 | 8816 | - | 1023M | 0 |7935 | 174k| 174k| 123 | 9 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
119.41/119.92 c 120s| 1 | 0 | 13744 | - | 1043M | 0 |7935 | 174k| 174k| 153 | 10 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
122.61/123.17 c 123s| 1 | 0 | 17500 | - | 1060M | 0 |7935 | 174k| 174k| 202 | 11 | 186 | 0 | 0.000000e+00 | -- | Inf | unknown
160.84/161.55 c 162s| 1 | 2 | 39161 | - | 1063M | 0 |7935 | 174k| 174k| 202 | 11 | 234 | 19 | 0.000000e+00 | -- | Inf | unknown
1279.82/1285.01 c 1285s| 100 | 101 |475254 |4623.8 | 1198M | 12 |7935 | 175k| 174k| 750 | 1 | 794 | 19 | 0.000000e+00 | -- | Inf | unknown
1661.15/1667.80 c 1668s| 200 | 201 |788242 |3873.1 | 1377M | 12 |7935 | 175k| 174k|2442 | 2 |1391 | 19 | 0.000000e+00 | -- | Inf | unknown
2531.97/2541.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2531.97/2541.65 c 2542s| 300 | 301 | 1354k|4470.7 | 1567M | 12 |7935 | 176k| 174k|6518 | 2 |2217 | 19 | 0.000000e+00 | -- | Inf | unknown
3282.55/3294.70 c 3295s| 400 | 401 | 1898k|4713.0 | 1607M | 12 |7935 | 176k| 174k| 11k| 2 |3134 | 19 | 0.000000e+00 | -- | Inf | unknown
3550.56/3563.65 c 3564s| 500 | 470 | 2120k|4214.2 | 1615M | 35 |7935 | 176k| 174k| 12k| 1 |3535 | 19 | 0.000000e+00 | -- | Inf | unknown
3583.87/3597.01 c
3583.87/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3583.87/3597.01 c Solving Time (sec) : 3597.01
3583.87/3597.01 c Solving Nodes : 511
3583.87/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3583.87/3597.01 c Dual Bound : +0.00000000000000e+00
3583.87/3597.01 c Gap : infinite
3583.87/3597.01 s UNKNOWN
3583.87/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3583.87/3597.01 c Total Time : 3597.01
3583.87/3597.01 c solving : 3597.01
3583.87/3597.01 c presolving : 10.95 (included in solving)
3583.87/3597.01 c reading : 0.35 (included in solving)
3583.87/3597.01 c copying : 0.44 (2 #copies) (minimal 0.21, maximal 0.23, average 0.22)
3583.87/3597.01 c Original Problem :
3583.87/3597.01 c Problem name : HOME/instance-4446345-1721332364.opb
3583.87/3597.01 c Variables : 7936 (7936 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.87/3597.01 c Constraints : 176837 initial, 176837 maximal
3583.87/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.87/3597.01 c Presolved Problem :
3583.87/3597.01 c Problem name : t_HOME/instance-4446345-1721332364.opb
3583.87/3597.01 c Variables : 7935 (7935 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.87/3597.01 c Constraints : 174631 initial, 176679 maximal
3583.87/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.87/3597.01 c Nonzeros : 665724 constraint, 123640 clique table
3583.87/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.87/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c domcol : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c dualsparsify : 1.03 0.00 1 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c gateextraction : 0.18 0.00 2 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c milp : 0.80 0.00 1 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c sparsify : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c probing : 6.92 0.00 1 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c symmetry : 0.37 0.00 1 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c knapsack : 0.06 0.00 6 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c setppc : 0.07 0.00 6 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c linear : 0.52 0.06 6 0 1 0 0 0 8 0 7 0
3583.87/3597.01 c logicor : 0.51 0.08 6 0 0 0 0 0 2198 0 0 3351
3583.87/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c components : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c root node : - - - 0 - - 0 - - - - -
3583.87/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.87/3597.01 c benderslp : 0 0 0 0 499 0 0 13 0 0 0 0 0 0 0
3583.87/3597.01 c integral : 0 0 0 0 499 0 0 13 0 0 0 0 0 0 998
3583.87/3597.01 c knapsack : 17621+ 17630 11 28485 0 0 0 9 687 50 59 275 30 0 0
3583.87/3597.01 c setppc : 37799+ 37835 11 28435 0 0 0 5 18076 248 39035 3 0 0 0
3583.87/3597.01 c linear : 1+ 5 11 21432 0 0 0 3 150 11 9 0 0 0 0
3583.87/3597.01 c logicor : 119210+ 121212 11 17536 0 0 0 0 4046 255 240 11 1 0 0
3583.87/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.87/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c integral : 10.49 0.00 0.00 0.00 10.49 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c knapsack : 1.56 0.00 0.13 1.41 0.00 0.00 0.00 0.01 0.00 0.00
3583.87/3597.01 c setppc : 2.49 0.00 0.03 2.46 0.00 0.00 0.00 0.00 0.01 0.00
3583.87/3597.01 c linear : 0.07 0.06 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c logicor : 1.46 0.08 0.18 1.20 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.87/3597.01 c dualfix : 1 0 0 0
3583.87/3597.01 c genvbounds : 0 0 0 0
3583.87/3597.01 c nlobbt : 0 0 0 0
3583.87/3597.01 c obbt : 0 0 0 0
3583.87/3597.01 c probing : 0 0 0 0
3583.87/3597.01 c pseudoobj : 0 0 0 0
3583.87/3597.01 c redcost : 0 0 0 0
3583.87/3597.01 c rootredcost : 0 0 0 0
3583.87/3597.01 c symmetry : 0 0 0 0
3583.87/3597.01 c vbounds : 11512 0 0 0
3583.87/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.87/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c probing : 6.93 0.00 6.92 0.00 0.00 0.00
3583.87/3597.01 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3583.87/3597.01 c symmetry : 0.37 0.00 0.37 0.00 0.00 0.00
3583.87/3597.01 c vbounds : 0.02 0.00 0.00 0.01 0.00 0.00
3583.87/3597.01 c Symmetry :
3583.87/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.87/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3583.87/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3583.87/3597.01 c shadow tree time : 0.00 s
3583.87/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.87/3597.01 c propagation : 0.03 554 554 - 4383 32.4 81 16.2 - - -
3583.87/3597.01 c infeasible LP : 0.06 33 33 - 335 34.6 10 10.7 33 78.2 0
3583.87/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.87/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.87/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.87/3597.01 c applied globally : 0.16 - - 0 3596 20.9 - - 33 - -
3583.87/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3583.87/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.87/3597.01 c cut pool : 0.20 - 264 21 - - 5849 54768 - - - - - (maximal pool size: 4664)
3583.87/3597.01 c aggregation : 1.05 0.00 71 11 0 0 1 3 0 0 0 0 0
3583.87/3597.01 c > cmir : - - - - - - - 3 0 0 0 0 -
3583.87/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3583.87/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3583.87/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c clique : 0.25 0.00 11 11 0 0 79 4281 0 973 973 0 0
3583.87/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c gomory : 117.23 0.00 70 10 0 0 4588 24251 32 2386 2384 2 0
3583.87/3597.01 c > gomorymi : - - - - - - - 4033 16 92 91 1 -
3583.87/3597.01 c > strongcg : - - - - - - - 20218 16 2294 2293 1 -
3583.87/3597.01 c impliedbounds : 0.13 0.00 71 11 0 0 225 2116 0 1714 1714 0 0
3583.87/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c mcf : 0.09 0.00 1 1 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c multilinear : 0.00 0.00 28 11 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c rlt : 0.00 0.00 62 10 0 0 0 0 0 0 0 0 0
3583.87/3597.01 c zerohalf : 2.43 0.00 71 11 0 0 1209 24117 221 7167 6995 172 0
3583.87/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.87/3597.01 c hybrid : 0.06 0.00 197 11 12271 0 43039 202 0 2820
3583.87/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3583.87/3597.01 c problem variables: 0.00 - 0 0
3583.87/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.87/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c relpscost : 10.49 0.00 499 0 0 0 0 0 0 998
3583.87/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.87/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.87/3597.01 c LP solutions : 0.00 - - 0 0
3583.87/3597.01 c relax solutions : 0.00 - - 0 0
3583.87/3597.01 c pseudo solutions : 0.00 - - 0 0
3583.87/3597.01 c strong branching : 0.00 - - 0 0
3583.87/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3583.87/3597.01 c adaptivediving : 46.68 0.00 18 0 0
3583.87/3597.01 c alns : 0.51 0.00 1 0 0
3583.87/3597.01 c bound : 0.00 0.00 0 0 0
3583.87/3597.01 c clique : 0.29 0.00 1 0 0
3583.87/3597.01 c coefdiving : 0.00 0.00 0 0 0
3583.87/3597.01 c completesol : 0.00 0.00 0 0 0
3583.87/3597.01 c conflictdiving : 588.68 0.00 92 0 0
3583.87/3597.01 c crossover : 0.00 0.00 0 0 0
3583.87/3597.01 c dins : 0.00 0.00 0 0 0
3583.87/3597.01 c distributiondivin: 59.45 0.00 6 0 0
3583.87/3597.01 c dps : 0.00 0.00 0 0 0
3583.87/3597.01 c dualval : 0.00 0.00 0 0 0
3583.87/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3583.87/3597.01 c feasjump : 0.14 0.00 1 0 0
3583.87/3597.01 c feaspump : 4.10 0.00 2 0 0
3583.87/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3583.87/3597.01 c fracdiving : 16.79 0.00 6 0 0
3583.87/3597.01 c gins : 0.00 0.00 0 0 0
3583.87/3597.01 c guideddiving : 0.00 0.00 0 0 0
3583.87/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3583.87/3597.01 c indicator : 0.00 0.00 0 0 0
3583.87/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3583.87/3597.01 c indoneopt : 0.00 0.00 0 0 0
3583.87/3597.01 c indrounding : 0.00 0.00 0 0 0
3583.87/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3583.87/3597.01 c intdiving : 0.00 0.00 0 0 0
3583.87/3597.01 c intshifting : 0.00 0.00 0 0 0
3583.87/3597.01 c linesearchdiving : 177.98 0.00 16 0 0
3583.87/3597.01 c localbranching : 0.00 0.00 0 0 0
3583.87/3597.01 c locks : 0.08 0.00 1 0 0
3583.87/3597.01 c lpface : 0.00 0.00 0 0 0
3583.87/3597.01 c mpec : 0.00 0.00 0 0 0
3583.87/3597.01 c multistart : 0.00 0.00 0 0 0
3583.87/3597.01 c mutation : 0.00 0.00 0 0 0
3583.87/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3583.87/3597.01 c objpscostdiving : 696.77 0.00 1 0 0
3583.87/3597.01 c octane : 0.00 0.00 0 0 0
3583.87/3597.01 c ofins : 0.00 0.00 0 0 0
3583.87/3597.01 c oneopt : 0.00 0.00 0 0 0
3583.87/3597.01 c padm : 0.00 0.00 0 0 0
3583.87/3597.01 c proximity : 0.00 0.00 0 0 0
3583.87/3597.01 c pscostdiving : 58.84 0.00 5 0 0
3583.87/3597.01 c randrounding : 0.25 0.00 15 0 0
3583.87/3597.01 c rens : 0.75 0.00 1 0 0
3583.87/3597.01 c reoptsols : 0.00 0.00 0 0 0
3583.87/3597.01 c repair : 0.00 0.00 0 0 0
3583.87/3597.01 c rins : 0.00 0.00 0 0 0
3583.87/3597.01 c rootsoldiving : 49.99 0.00 4 0 0
3583.87/3597.01 c rounding : 2.02 0.00 325 0 0
3583.87/3597.01 c scheduler : 0.00 0.00 0 0 0
3583.87/3597.01 c shiftandpropagate: 0.08 0.00 1 0 0
3583.87/3597.01 c shifting : 13.46 0.00 178 0 0
3583.87/3597.01 c simplerounding : 0.00 0.00 0 0 0
3583.87/3597.01 c smallcard : 0.00 0.00 0 0 0
3583.87/3597.01 c subnlp : 0.00 0.00 0 0 0
3583.87/3597.01 c trivial : 0.01 0.00 2 0 0
3583.87/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3583.87/3597.01 c trustregion : 0.00 0.00 0 0 0
3583.87/3597.01 c trysol : 0.00 0.00 0 0 0
3583.87/3597.01 c twoopt : 0.00 0.00 0 0 0
3583.87/3597.01 c undercover : 0.00 0.00 0 0 0
3583.87/3597.01 c vbounds : 0.45 0.00 1 0 0
3583.87/3597.01 c veclendiving : 24.03 0.00 6 0 0
3583.87/3597.01 c zeroobj : 0.00 0.00 0 0 0
3583.87/3597.01 c zirounding : 2.78 0.00 498 0 0
3583.87/3597.01 c other solutions : - - - 0 -
3583.87/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3583.87/3597.01 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
3583.87/3597.01 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
3583.87/3597.01 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
3583.87/3597.01 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
3583.87/3597.01 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
3583.87/3597.01 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
3583.87/3597.01 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
3583.87/3597.01 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
3583.87/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3583.87/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.87/3597.01 c primal LP : 1.87 92 0 0.00 0.00 1.87 92
3583.87/3597.01 c dual LP : 1694.74 696 1646099 2365.08 971.30 0.00 0
3583.87/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3583.87/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.87/3597.01 c resolve instable : 0.00 0 0 0.00 -
3583.87/3597.01 c diving/probing LP: 1711.35 882 506273 574.01 295.83
3583.87/3597.01 c strong branching : 5.63 19 5936 312.42 1054.69 - - 3
3583.87/3597.01 c (at root node) : - 19 5936 312.42 -
3583.87/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3583.87/3597.01 c B&B Tree :
3583.87/3597.01 c number of runs : 1
3583.87/3597.01 c nodes : 511 (499 internal, 12 leaves)
3583.87/3597.01 c feasible leaves : 0
3583.87/3597.01 c infeas. leaves : 12
3583.87/3597.01 c objective leaves : 0
3583.87/3597.01 c nodes (total) : 511 (499 internal, 12 leaves)
3583.87/3597.01 c nodes left : 481
3583.87/3597.01 c max depth : 35
3583.87/3597.01 c max depth (total): 35
3583.87/3597.01 c backtracks : 228 (44.6%)
3583.87/3597.01 c early backtracks : 0 (0.0%)
3583.87/3597.01 c nodes exc. ref. : 0 (0.0%)
3583.87/3597.01 c delayed cutoffs : 7
3583.87/3597.01 c repropagations : 45 (96 domain reductions, 5 cutoffs)
3583.87/3597.01 c avg switch length: 4.41
3583.87/3597.01 c switching time : 3.02
3583.87/3597.01 c Root Node :
3583.87/3597.01 c First LP value : +0.00000000000000e+00
3583.87/3597.01 c First LP Iters : 567 (5357.60 Iter/sec)
3583.87/3597.01 c First LP Time : 0.11
3583.87/3597.01 c Final Dual Bound : +0.00000000000000e+00
3583.87/3597.01 c Final Root Iters : 17500
3583.87/3597.01 c Root LP Estimate : +1.53255349112372e-02
3583.87/3597.01 c Solution :
3583.87/3597.01 c Solutions found : 0 (0 improvements)
3583.87/3597.01 c Primal Bound : -
3583.87/3597.01 c Dual Bound : +0.00000000000000e+00
3583.87/3597.01 c Gap : infinite
3583.87/3597.01 c Integrals : Total Avg%
3583.87/3597.01 c primal-dual : 359700.78 100.00
3583.87/3597.01 c primal-ref : - - (not evaluated)
3583.87/3597.01 c dual-ref : - - (not evaluated)
3584.16/3597.35 c Time complete: 3584.22.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61921 MiB free)
memory of node 1: 64510 MiB (56082 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446345-1721332364/watcher-4446345-1721332364 -o /tmp/evaluation-result-4446345-1721332364/solver-4446345-1721332364 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973105 --watchdog 3760 pbscip -f HOME/instance-4446345-1721332364.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=975282, runsolver pid=975279
[startup+0.100089 s]*
/proc/loadavg: 4.44 4.31 4.19 5/256 975283
/proc/meminfo: memFree=120804684/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=86924 memory=46236 CPUtime=0.1 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 8629 0 0 0 9 1 0 0 20 0 1 0 185396603 89010176 11559 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 21731 11559 3264 3540 0 9988 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 86924 KiB
Current children cumulated memory: 46236 KiB
[startup+0.205817 s]*
/proc/loadavg: 4.44 4.31 4.19 5/256 975283
/proc/meminfo: memFree=120775292/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=115776 memory=74680 CPUtime=0.2 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 15705 0 0 0 18 2 0 0 20 0 1 0 185396603 118554624 18670 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 28944 18670 3264 3540 0 17201 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115776 KiB
Current children cumulated memory: 74680 KiB
[startup+0.30565 s]*
/proc/loadavg: 4.44 4.31 4.19 5/256 975283
/proc/meminfo: memFree=120747264/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=143912 memory=102836 CPUtime=0.3 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 22736 0 0 0 27 3 0 0 20 0 1 0 185396603 147365888 25709 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 35978 25709 3264 3540 0 24235 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 143912 KiB
Current children cumulated memory: 102836 KiB
[startup+0.700227 s]
/proc/loadavg: 4.44 4.31 4.19 5/256 975283
/proc/meminfo: memFree=120644896/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=317668 memory=272848 CPUtime=0.69 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 65624 0 0 0 59 10 0 0 20 0 1 0 185396603 325292032 68212 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 79417 68212 3616 3540 0 67674 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 317668 KiB
Current children cumulated memory: 272848 KiB
[startup+1.50023 s]
/proc/loadavg: 4.44 4.31 4.19 5/256 975283
/proc/meminfo: memFree=120493600/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=452344 memory=405540 CPUtime=1.49 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 83539 0 0 0 134 15 0 0 20 0 1 0 185396603 463200256 101385 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 113086 101385 3679 3540 0 101343 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 452344 KiB
Current children cumulated memory: 405540 KiB
[startup+3.10489 s]
/proc/loadavg: 4.44 4.31 4.19 6/257 975330
/proc/meminfo: memFree=120624888/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=448496 memory=402168 CPUtime=3.08 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 107733 0 0 0 290 18 0 0 20 0 1 0 185396603 459259904 100542 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 112124 100542 3791 3540 0 100381 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 448496 KiB
Current children cumulated memory: 402168 KiB
[startup+6.30021 s]
/proc/loadavg: 4.40 4.31 4.18 5/257 975330
/proc/meminfo: memFree=119545192/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=448496 memory=402432 CPUtime=6.26 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 107801 0 0 0 607 19 0 0 20 0 1 0 185396603 459259904 100608 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 112124 100608 3791 3540 0 100381 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 448496 KiB
Current children cumulated memory: 402432 KiB
[startup+12.7002 s]
/proc/loadavg: 4.37 4.30 4.18 5/257 975332
/proc/meminfo: memFree=118635000/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1005080 memory=899972 CPUtime=12.63 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 170254 0 0 0 1228 35 0 0 20 0 1 0 185396603 1029201920 224993 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 251270 224993 3887 3540 0 239527 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1005080 KiB
Current children cumulated memory: 899972 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.28 4.18 5/257 975334
/proc/meminfo: memFree=118586508/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1005080 memory=901400 CPUtime=25.39 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 170540 0 0 0 2502 37 0 0 20 0 1 0 185396603 1029201920 225350 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 251270 225350 3983 3540 0 239527 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1005080 KiB
Current children cumulated memory: 901400 KiB
[startup+51.1055 s]
/proc/loadavg: 4.26 4.28 4.18 5/257 975385
/proc/meminfo: memFree=123365128/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1072336 memory=938328 CPUtime=50.88 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 174469 0 0 0 5049 39 0 0 20 0 1 0 185396603 1098072064 234582 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 268084 234582 3983 3540 0 256341 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1072336 KiB
Current children cumulated memory: 938328 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.26 4.18 6/257 975396
/proc/meminfo: memFree=123261548/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1174208 memory=961052 CPUtime=101.88 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 175196 0 0 0 10147 41 0 0 20 0 1 0 185396603 1202388992 240263 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 293552 240263 3983 3540 0 281809 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 1174208 KiB
Current children cumulated memory: 961052 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.21 4.17 5/257 975789
/proc/meminfo: memFree=122993576/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1456436 memory=1178192 CPUtime=161.64 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 228725 0 0 0 16115 49 0 0 20 0 1 0 185396603 1491390464 294548 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 364109 294548 3999 3540 0 352366 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1456436 KiB
Current children cumulated memory: 1178192 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.20 4.17 5/258 975801
/proc/meminfo: memFree=122508152/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1459240 memory=1181356 CPUtime=221.41 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 229819 0 0 0 22091 50 0 0 20 0 1 0 185396603 1494261760 295339 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 364810 295339 4015 3540 0 353067 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 1459240 KiB
Current children cumulated memory: 1181356 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.19 4.17 5/258 975812
/proc/meminfo: memFree=122428800/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1459240 memory=1181496 CPUtime=281.19 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 229856 0 0 0 28069 50 0 0 20 0 1 0 185396603 1494261760 295374 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 364810 295374 4015 3540 0 353067 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 1459240 KiB
Current children cumulated memory: 1181496 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/257 975991
/proc/meminfo: memFree=120607660/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1459240 memory=1181496 CPUtime=340.95 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 229924 0 0 0 34044 51 0 0 20 0 1 0 185396603 1494261760 295374 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 364810 295374 4015 3540 0 353067 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 1459240 KiB
Current children cumulated memory: 1181496 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/257 976001
/proc/meminfo: memFree=120586612/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1459240 memory=1181496 CPUtime=400.68 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 229980 0 0 0 40017 51 0 0 20 0 1 0 185396603 1494261760 295374 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 364810 295374 4015 3540 0 353067 0
Current children cumulated CPU time: 400.68 s
Current children cumulated vsize: 1459240 KiB
Current children cumulated memory: 1181496 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/256 976013
/proc/meminfo: memFree=120442032/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1459240 memory=1181496 CPUtime=460.44 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 230032 0 0 0 45992 52 0 0 20 0 1 0 185396603 1494261760 295374 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 364810 295374 4015 3540 0 353067 0
################
# More data... #
################
/proc/loadavg: 4.04 4.10 4.09 5/255 977195
/proc/meminfo: memFree=121015648/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1816148 memory=1244200 CPUtime=3210.41 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 239215 0 0 0 320976 65 0 0 20 0 1 0 185396603 1859735552 311050 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 454037 311050 4031 3540 0 442294 0
Current children cumulated CPU time: 3210.41 s
Current children cumulated vsize: 1816148 KiB
Current children cumulated memory: 1244200 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 977206
/proc/meminfo: memFree=121013404/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1816148 memory=1244200 CPUtime=3270.2 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 239477 0 0 0 326955 65 0 0 20 0 1 0 185396603 1859735552 311050 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 454037 311050 4031 3540 0 442294 0
Current children cumulated CPU time: 3270.2 s
Current children cumulated vsize: 1816148 KiB
Current children cumulated memory: 1244200 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 977217
/proc/meminfo: memFree=121010584/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1816148 memory=1244200 CPUtime=3329.98 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 239748 0 0 0 332933 65 0 0 20 0 1 0 185396603 1859735552 311050 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 454037 311050 4031 3540 0 442294 0
Current children cumulated CPU time: 3329.98 s
Current children cumulated vsize: 1816148 KiB
Current children cumulated memory: 1244200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 977228
/proc/meminfo: memFree=121009416/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1816148 memory=1244200 CPUtime=3389.79 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 239966 0 0 0 338913 66 0 0 20 0 1 0 185396603 1859735552 311050 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 454037 311050 4031 3540 0 442294 0
Current children cumulated CPU time: 3389.79 s
Current children cumulated vsize: 1816148 KiB
Current children cumulated memory: 1244200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 977242
/proc/meminfo: memFree=121006508/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1818580 memory=1246048 CPUtime=3449.59 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 240664 0 0 0 344893 66 0 0 20 0 1 0 185396603 1862225920 311512 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 454645 311512 4031 3540 0 442902 0
Current children cumulated CPU time: 3449.59 s
Current children cumulated vsize: 1818580 KiB
Current children cumulated memory: 1246048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 977253
/proc/meminfo: memFree=121002336/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1818580 memory=1246056 CPUtime=3509.4 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 240826 0 0 0 350874 66 0 0 20 0 1 0 185396603 1862225920 311514 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 454645 311514 4031 3540 0 442902 0
Current children cumulated CPU time: 3509.4 s
Current children cumulated vsize: 1818580 KiB
Current children cumulated memory: 1246056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/256 977263
/proc/meminfo: memFree=121001484/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1818580 memory=1246056 CPUtime=3569.2 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 241117 0 0 0 356854 66 0 0 20 0 1 0 185396603 1862225920 311514 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 454645 311514 4031 3540 0 442902 0
Current children cumulated CPU time: 3569.2 s
Current children cumulated vsize: 1818580 KiB
Current children cumulated memory: 1246056 KiB
[startup+3597.36 s]
# the end of solver process 975282 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.55 s, system=0.678457 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.22 4.13 4.10 5/256 977264
/proc/meminfo: memFree=121001340/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1818580 memory=1246056 CPUtime=3570.91 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 241117 0 0 0 357024 67 0 0 20 0 1 0 185396603 1862225920 311514 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 454645 311514 4031 3540 0 442902 0
Current children cumulated CPU time: 3570.91 s
Current children cumulated vsize: 1818580 KiB
Current children cumulated memory: 1246056 KiB
[startup+3590.4 s]
/proc/loadavg: 4.29 4.14 4.10 5/256 977266
/proc/meminfo: memFree=121001276/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1834964 memory=1246056 CPUtime=3577.28 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 241132 0 0 0 357661 67 0 0 20 0 1 0 185396603 1879003136 311514 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 458741 311514 4031 3540 0 446998 0
Current children cumulated CPU time: 3577.28 s
Current children cumulated vsize: 1834964 KiB
Current children cumulated memory: 1246056 KiB
[startup+3593.6 s]
/proc/loadavg: 4.34 4.16 4.11 5/256 977266
/proc/meminfo: memFree=121001312/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1834964 memory=1246056 CPUtime=3580.47 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 241133 0 0 0 357980 67 0 0 20 0 1 0 185396603 1879003136 311514 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 458741 311514 4031 3540 0 446998 0
Current children cumulated CPU time: 3580.47 s
Current children cumulated vsize: 1834964 KiB
Current children cumulated memory: 1246056 KiB
[startup+3595.2 s]
/proc/loadavg: 4.34 4.16 4.11 5/256 977266
/proc/meminfo: memFree=121001168/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1834964 memory=1246056 CPUtime=3582.07 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 241133 0 0 0 358140 67 0 0 20 0 1 0 185396603 1879003136 311514 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 458741 311514 4031 3540 0 446998 0
Current children cumulated CPU time: 3582.07 s
Current children cumulated vsize: 1834964 KiB
Current children cumulated memory: 1246056 KiB
[startup+3596 s]*
/proc/loadavg: 4.40 4.17 4.11 5/256 977266
/proc/meminfo: memFree=121001168/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1834964 memory=1246056 CPUtime=3582.87 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 241133 0 0 0 358220 67 0 0 20 0 1 0 185396603 1879003136 311514 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 458741 311514 4031 3540 0 446998 0
Current children cumulated CPU time: 3582.87 s
Current children cumulated vsize: 1834964 KiB
Current children cumulated memory: 1246056 KiB
[startup+3596.8 s]
/proc/loadavg: 4.40 4.17 4.11 5/256 977266
/proc/meminfo: memFree=121001168/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1834964 memory=1246056 CPUtime=3583.66 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 241133 0 0 0 358299 67 0 0 20 0 1 0 185396603 1879003136 311514 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 458741 311514 4031 3540 0 446998 0
Current children cumulated CPU time: 3583.66 s
Current children cumulated vsize: 1834964 KiB
Current children cumulated memory: 1246056 KiB
[startup+3597.2 s]
/proc/loadavg: 4.40 4.17 4.11 5/256 977267
/proc/meminfo: memFree=121001168/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1834964 memory=1246060 CPUtime=3584.06 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 241255 0 0 0 358339 67 0 0 20 0 1 0 185396603 1879003136 311515 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 458741 311515 4031 3540 0 446998 0
Current children cumulated CPU time: 3584.06 s
Current children cumulated vsize: 1834964 KiB
Current children cumulated memory: 1246060 KiB
[startup+3597.3 s]
/proc/loadavg: 4.40 4.17 4.11 5/256 977267
/proc/meminfo: memFree=121001168/131524600 swapFree=131071996/131071996
[pid=975282] ppid=975279 vsize=1820748 memory=1231984 CPUtime=3584.16 cores=0,2
/proc/975282/stat : 975282 (pbscip) R 975279 975282 973095 0 -1 4194304 241268 0 0 0 358349 67 0 0 20 0 1 0 185396603 1864445952 307996 134679101440 4194304 18693293 140723210403984 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58617856 140723210408963 140723210409062 140723210409062 140723210416078 0
/proc/975282/statm: 455187 307996 4031 3540 0 443444 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 1820748 KiB
Current children cumulated memory: 1231984 KiB
Child status: 0
Real time (s): 3597.36
CPU time (s): 3584.22
CPU user time (s): 3583.55
CPU system time (s): 0.678457
CPU usage (%): 99.6349
Max. virtual memory (cumulated for all children) (KiB): 1834964
Max. memory (cumulated for all children) (KiB): 1246060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.55
system time used= 0.678457
maximum resident set size= 1246060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241328
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= 22
involuntary context switches= 24570
# summary of solver processes directly reported to runsolver:
# pid: 975282
# total CPU time (s): 3584.22
# total CPU user time (s): 3583.55
# total CPU system time (s): 0.678457
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62049 second user time and 17.0316 second system time
The end