0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4446195-1721330690.opb>
2.88/2.98 c original problem has 44846 variables (44846 bin, 0 int, 0 impl, 0 cont) and 988104 constraints
2.88/2.98 c problem read in 2.97
2.88/2.99 c No objective function, only one solution is needed.
4.48/4.55 c presolving:
6.98/7.08 c (7.1s) running MILP presolver
9.46/9.53 c (9.5s) MILP presolver found nothing
11.85/11.92 c (round 1, exhaustive) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 988095 upgd conss, 0 impls, 198683 clqs
14.73/14.80 c (round 2, exhaustive) 1 del vars, 14006 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 21006 chg coeffs, 988095 upgd conss, 0 impls, 198683 clqs
108.67/109.03 c (109.0s) probing: 1000/44845 (2.2%) - 0 fixings, 0 aggregations, 259107 implications, 0 bound changes
108.77/109.11 c (109.1s) probing: 1001/44845 (2.2%) - 0 fixings, 0 aggregations, 259109 implications, 0 bound changes
108.77/109.11 c (109.1s) probing aborted: 1000/1000 successive useless probings
115.04/115.43 c (115.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
117.33/117.79 c (117.8s) no symmetry present (symcode time: 0.36)
118.83/119.20 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
118.83/119.20 c 1 deleted vars, 14006 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 21047 changed coefficients
118.83/119.20 c 0 implications, 457792 cliques
118.83/119.20 c presolved problem has 44845 variables (44845 bin, 0 int, 0 impl, 0 cont) and 974098 constraints
118.83/119.20 c 101519 constraints of type <knapsack>
118.83/119.20 c 198683 constraints of type <setppc>
118.83/119.20 c 1 constraints of type <linear>
118.83/119.20 c 673895 constraints of type <logicor>
118.83/119.20 c transformed objective value is always integral (scale: 1)
118.83/119.20 c Presolving Time: 114.66
118.83/119.20 c - non default parameters ----------------------------------------------------------------------
118.83/119.20 c # SCIP version 10.0.0
118.83/119.20 c
118.83/119.20 c # maximal time in seconds to run
118.83/119.20 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
118.83/119.20 c limits/time = 3596.994134
118.83/119.20 c
118.83/119.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
118.83/119.20 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
118.83/119.20 c limits/memory = 27900
118.83/119.20 c
118.83/119.20 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
118.83/119.20 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
118.83/119.20 c limits/solutions = 1
118.83/119.20 c
118.83/119.20 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.
118.83/119.20 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
118.83/119.20 c misc/usesymmetry = 3
118.83/119.20 c
118.83/119.20 c # belongs reading time to solving time?
118.83/119.20 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
118.83/119.20 c timing/reading = TRUE
118.83/119.20 c
118.83/119.20 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
118.83/119.20 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
118.83/119.20 c propagating/symmetry/detectdoublelex = FALSE
118.83/119.20 c
118.83/119.20 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
118.83/119.20 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
118.83/119.20 c propagating/symmetry/detectsubgroups = FALSE
118.83/119.20 c
118.83/119.20 c # Type of symmetries that shall be computed?
118.83/119.20 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
118.83/119.20 c propagating/symmetry/symtype = 1
118.83/119.20 c
118.83/119.20 c # Should components consisting of a single full reflection be handled?
118.83/119.20 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
118.83/119.20 c propagating/symmetry/usesimplesgncomp = FALSE
118.83/119.20 c
118.83/119.20 c -----------------------------------------------------------------------------------------------
118.83/119.20 c start solving
118.83/119.23 c
126.01/126.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
126.01/126.43 c 126s| 1 | 0 | 2122 | - | 4818M | 0 | 44k| 974k| 974k| 0 | 0 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
459.76/461.22 c 461s| 1 | 0 | 8920 | - | 4955M | 0 | 44k| 974k| 974k| 9 | 1 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
861.37/864.29 c 864s| 1 | 0 | 9302 | - | 5049M | 0 | 44k| 974k| 974k| 21 | 2 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
1240.05/1244.38 c 1244s| 1 | 0 | 10373 | - | 5143M | 0 | 44k| 974k| 974k| 39 | 3 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
1562.52/1567.80 c 1568s| 1 | 0 | 10998 | - | 5237M | 0 | 44k| 974k| 974k| 63 | 4 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
1712.43/1718.28 c 1718s| 1 | 0 | 11826 | - | 5331M | 0 | 44k| 974k| 974k| 82 | 5 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
1910.95/1917.31 c 1917s| 1 | 0 | 12336 | - | 5428M | 0 | 44k| 974k| 974k| 100 | 6 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
1994.02/2000.68 c 2001s| 1 | 0 | 14474 | - | 5524M | 0 | 44k| 974k| 974k| 117 | 7 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
2016.47/2023.14 c 2023s| 1 | 0 | 16637 | - | 5620M | 0 | 44k| 974k| 974k| 139 | 8 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown
2073.69/2080.58 c 2081s| 1 | 0 | 18436 | - | 5720M | 0 | 44k| 974k| 974k| 163 | 9 | 192 | 0 | 0.000000e+00 | -- | Inf | unknown
2279.78/2287.23 c 2287s| 1 | 0 | 19684 | - | 5820M | 0 | 44k| 974k| 974k| 194 | 10 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
2286.47/2293.92 c 2294s| 1 | 0 | 21181 | - | 5914M | 0 | 44k| 974k| 974k| 226 | 11 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown
2831.80/2840.63 c 2841s| 1 | 2 | 67795 | - | 5927M | 0 | 44k| 974k| 974k| 226 | 11 | 211 | 19 | 0.000000e+00 | -- | Inf | unknown
3586.14/3597.07 c
3586.14/3597.07 c SCIP Status : solving was interrupted [time limit reached]
3586.14/3597.07 c Solving Time (sec) : 3597.05
3586.14/3597.07 c Solving Nodes : 21
3586.14/3597.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.14/3597.07 c Dual Bound : +0.00000000000000e+00
3586.14/3597.07 c Gap : infinite
3586.14/3597.07 s UNKNOWN
3586.14/3597.07 c SCIP Status : solving was interrupted [time limit reached]
3586.14/3597.07 c Total Time : 3597.05
3586.14/3597.07 c solving : 3597.05
3586.14/3597.07 c presolving : 114.66 (included in solving)
3586.14/3597.07 c reading : 2.97 (included in solving)
3586.14/3597.07 c copying : 2.77 (2 #copies) (minimal 1.37, maximal 1.40, average 1.39)
3586.14/3597.07 c Original Problem :
3586.14/3597.07 c Problem name : HOME/instance-4446195-1721330690.opb
3586.14/3597.07 c Variables : 44846 (44846 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.14/3597.07 c Constraints : 988104 initial, 988104 maximal
3586.14/3597.07 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.14/3597.07 c Presolved Problem :
3586.14/3597.07 c Problem name : t_HOME/instance-4446195-1721330690.opb
3586.14/3597.07 c Variables : 44845 (44845 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.14/3597.07 c Constraints : 974098 initial, 974373 maximal
3586.14/3597.07 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.14/3597.07 c Nonzeros : 3758492 constraint, 931538 clique table
3586.14/3597.07 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.14/3597.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c domcol : 0.52 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c dualsparsify : 6.31 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c gateextraction : 1.23 0.00 2 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c milp : 3.87 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c sparsify : 1.09 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c probing : 88.40 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c symmetry : 2.37 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c vbounds : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c knapsack : 0.33 0.01 6 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c setppc : 0.45 0.01 6 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c linear : 2.98 0.37 6 0 1 0 0 0 8 0 7 0
3586.14/3597.07 c logicor : 5.16 1.03 6 0 0 0 0 0 13998 0 0 21047
3586.14/3597.07 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c components : 0.32 0.00 1 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c root node : - - - 0 - - 0 - - - - -
3586.14/3597.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.14/3597.07 c benderslp : 0 0 0 0 21 0 0 8 0 0 0 0 0 0 0
3586.14/3597.07 c integral : 0 0 0 0 21 0 0 8 0 0 0 0 0 0 42
3586.14/3597.07 c knapsack : 101519+ 101520 11 40157 0 0 0 4 475 6 5 172 23 0 0
3586.14/3597.07 c setppc : 198683+ 198686 11 40151 0 0 0 3 1712 36 1720 1 0 0 0
3586.14/3597.07 c linear : 1 1 11 14933 0 0 0 3 15 1 0 0 0 0 0
3586.14/3597.07 c logicor : 673895+ 674167 11 17691 0 0 0 0 2984 47 127 10 4 0 0
3586.14/3597.07 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.14/3597.07 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c integral : 33.36 0.00 0.00 0.00 33.36 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c knapsack : 14.58 0.01 0.86 13.65 0.00 0.00 0.00 0.05 0.00 0.00
3586.14/3597.07 c setppc : 15.41 0.01 0.15 15.23 0.00 0.00 0.00 0.00 0.00 0.02
3586.14/3597.07 c linear : 0.37 0.37 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c logicor : 4.97 1.03 0.97 2.94 0.00 0.00 0.00 0.00 0.00 0.03
3586.14/3597.07 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.14/3597.07 c dualfix : 1 0 0 0
3586.14/3597.07 c genvbounds : 0 0 0 0
3586.14/3597.07 c nlobbt : 0 0 0 0
3586.14/3597.07 c obbt : 0 0 0 0
3586.14/3597.07 c probing : 0 0 0 0
3586.14/3597.07 c pseudoobj : 0 0 0 0
3586.14/3597.07 c redcost : 0 0 0 0
3586.14/3597.07 c rootredcost : 0 0 0 0
3586.14/3597.07 c symmetry : 0 0 0 0
3586.14/3597.07 c vbounds : 10760 0 0 0
3586.14/3597.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.14/3597.07 c dualfix : 0.01 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c probing : 88.40 0.00 88.40 0.00 0.00 0.00
3586.14/3597.07 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.14/3597.07 c symmetry : 2.37 0.00 2.37 0.00 0.00 0.00
3586.14/3597.07 c vbounds : 0.05 0.00 0.02 0.02 0.00 0.00
3586.14/3597.07 c Symmetry :
3586.14/3597.07 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.14/3597.07 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.14/3597.07 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.14/3597.07 c shadow tree time : 0.00 s
3586.14/3597.07 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.14/3597.07 c propagation : 0.01 87 87 - 678 85.2 1 5.0 - - -
3586.14/3597.07 c infeasible LP : 0.01 1 1 - 29 76.3 0 0.0 1 145.0 0
3586.14/3597.07 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.14/3597.07 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.14/3597.07 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.14/3597.07 c applied globally : 0.01 - - 0 285 40.2 - - 1 - -
3586.14/3597.07 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.14/3597.07 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.14/3597.07 c cut pool : 0.01 - 25 21 - - 1983 2581 - - - - - (maximal pool size: 1983)
3586.14/3597.07 c aggregation : 0.74 0.00 13 11 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.14/3597.07 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.14/3597.07 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.14/3597.07 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c clique : 8.94 0.00 11 11 0 0 88 203 0 39 39 0 0
3586.14/3597.07 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c gomory : 2105.04 0.00 12 10 0 0 1727 2162 2 66 66 0 0
3586.14/3597.07 c > gomorymi : - - - - - - - 772 1 7 7 0 -
3586.14/3597.07 c > strongcg : - - - - - - - 1390 1 59 59 0 -
3586.14/3597.07 c impliedbounds : 0.23 0.00 13 11 0 0 7 8 0 5 5 0 0
3586.14/3597.07 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c mcf : 1.07 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c multilinear : 0.00 0.00 14 11 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c rlt : 0.00 0.00 11 10 0 0 0 0 0 0 0 0 0
3586.14/3597.07 c zerohalf : 1.51 0.00 13 11 0 0 164 208 1 157 156 1 0
3586.14/3597.07 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.14/3597.07 c hybrid : 0.01 0.00 13 11 294 0 2473 226 0 2297
3586.14/3597.07 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c Pricers : ExecTime SetupTime Calls Vars
3586.14/3597.07 c problem variables: 0.00 - 0 0
3586.14/3597.07 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.14/3597.07 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c relpscost : 33.36 0.00 21 0 0 0 0 0 0 42
3586.14/3597.07 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.14/3597.07 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.14/3597.07 c LP solutions : 0.00 - - 0 0
3586.14/3597.07 c relax solutions : 0.00 - - 0 0
3586.14/3597.07 c pseudo solutions : 0.00 - - 0 0
3586.14/3597.07 c strong branching : 0.00 - - 0 0
3586.14/3597.07 c actconsdiving : 0.00 0.00 0 0 0
3586.14/3597.07 c adaptivediving : 41.26 0.00 2 0 0
3586.14/3597.07 c alns : 3.98 0.00 1 0 0
3586.14/3597.07 c bound : 0.00 0.00 0 0 0
3586.14/3597.07 c clique : 1.98 0.00 1 0 0
3586.14/3597.07 c coefdiving : 0.00 0.00 0 0 0
3586.14/3597.07 c completesol : 0.00 0.00 0 0 0
3586.14/3597.07 c conflictdiving : 525.19 0.00 2 0 0
3586.14/3597.07 c crossover : 0.00 0.00 0 0 0
3586.14/3597.07 c dins : 0.00 0.00 0 0 0
3586.14/3597.07 c distributiondivin: 60.77 0.00 1 0 0
3586.14/3597.07 c dps : 0.00 0.00 0 0 0
3586.14/3597.07 c dualval : 0.00 0.00 0 0 0
3586.14/3597.07 c farkasdiving : 0.00 0.00 0 0 0
3586.14/3597.07 c feasjump : 0.65 0.00 1 0 0
3586.14/3597.07 c feaspump : 14.25 0.00 1 0 0
3586.14/3597.07 c fixandinfer : 0.00 0.00 0 0 0
3586.14/3597.07 c fracdiving : 82.53 0.00 2 0 0
3586.14/3597.07 c gins : 0.00 0.00 0 0 0
3586.14/3597.07 c guideddiving : 0.00 0.00 0 0 0
3586.14/3597.07 c indcoefdiving : 0.00 0.00 0 0 0
3586.14/3597.07 c indicator : 0.00 0.00 0 0 0
3586.14/3597.07 c indicatordiving : 0.00 0.00 0 0 0
3586.14/3597.07 c indoneopt : 0.00 0.00 0 0 0
3586.14/3597.07 c indrounding : 0.00 0.00 0 0 0
3586.14/3597.07 c indtwoopt : 0.00 0.00 0 0 0
3586.14/3597.07 c intdiving : 0.00 0.00 0 0 0
3586.14/3597.07 c intshifting : 0.00 0.00 0 0 0
3586.14/3597.07 c linesearchdiving : 0.14 0.00 1 0 0
3586.14/3597.07 c localbranching : 0.00 0.00 0 0 0
3586.14/3597.07 c locks : 0.71 0.00 1 0 0
3586.14/3597.07 c lpface : 0.00 0.00 0 0 0
3586.14/3597.07 c mpec : 0.00 0.00 0 0 0
3586.14/3597.07 c multistart : 0.00 0.00 0 0 0
3586.14/3597.07 c mutation : 0.00 0.00 0 0 0
3586.14/3597.07 c nlpdiving : 0.00 0.00 0 0 0
3586.14/3597.07 c objpscostdiving : 289.32 0.00 1 0 0
3586.14/3597.07 c octane : 0.00 0.00 0 0 0
3586.14/3597.07 c ofins : 0.00 0.00 0 0 0
3586.14/3597.07 c oneopt : 0.00 0.00 0 0 0
3586.14/3597.07 c padm : 0.00 0.00 0 0 0
3586.14/3597.07 c proximity : 0.00 0.00 0 0 0
3586.14/3597.07 c pscostdiving : 54.45 0.00 1 0 0
3586.14/3597.07 c randrounding : 0.79 0.00 12 0 0
3586.14/3597.07 c rens : 3.90 0.00 1 0 0
3586.14/3597.07 c reoptsols : 0.00 0.00 0 0 0
3586.14/3597.07 c repair : 0.00 0.00 0 0 0
3586.14/3597.07 c rins : 0.00 0.00 0 0 0
3586.14/3597.07 c rootsoldiving : 37.75 0.00 1 0 0
3586.14/3597.07 c rounding : 0.92 0.00 34 0 0
3586.14/3597.07 c scheduler : 0.00 0.00 0 0 0
3586.14/3597.07 c shiftandpropagate: 0.31 0.00 1 0 0
3586.14/3597.07 c shifting : 5.49 0.00 15 0 0
3586.14/3597.07 c simplerounding : 0.00 0.00 0 0 0
3586.14/3597.07 c smallcard : 0.00 0.00 0 0 0
3586.14/3597.07 c subnlp : 0.00 0.00 0 0 0
3586.14/3597.07 c trivial : 0.06 0.00 2 0 0
3586.14/3597.07 c trivialnegation : 0.00 0.00 0 0 0
3586.14/3597.07 c trustregion : 0.00 0.00 0 0 0
3586.14/3597.07 c trysol : 0.00 0.00 0 0 0
3586.14/3597.07 c twoopt : 0.00 0.00 0 0 0
3586.14/3597.07 c undercover : 0.00 0.00 0 0 0
3586.14/3597.07 c vbounds : 2.59 0.00 1 0 0
3586.14/3597.07 c veclendiving : 94.13 0.00 1 0 0
3586.14/3597.07 c zeroobj : 0.00 0.00 0 0 0
3586.14/3597.07 c zirounding : 0.33 0.00 21 0 0
3586.14/3597.07 c other solutions : - - - 0 -
3586.14/3597.07 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.14/3597.07 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
3586.14/3597.07 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
3586.14/3597.07 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
3586.14/3597.07 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
3586.14/3597.07 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
3586.14/3597.07 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
3586.14/3597.07 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
3586.14/3597.07 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
3586.14/3597.07 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
3586.14/3597.07 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.14/3597.07 c primal LP : 0.09 1 0 0.00 0.00 0.09 1
3586.14/3597.07 c dual LP : 100.65 34 44202 1300.06 439.18 0.00 0
3586.14/3597.07 c lex dual LP : 0.00 0 0 0.00 -
3586.14/3597.07 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.14/3597.07 c resolve instable : 0.00 0 0 0.00 -
3586.14/3597.07 c diving/probing LP: 1180.64 294 153437 521.89 129.96
3586.14/3597.07 c strong branching : 29.42 19 11762 619.05 399.84 - - 20
3586.14/3597.07 c (at root node) : - 19 11762 619.05 -
3586.14/3597.07 c conflict analysis: 0.00 0 0 0.00 -
3586.14/3597.07 c B&B Tree :
3586.14/3597.07 c number of runs : 1
3586.14/3597.07 c nodes : 21 (21 internal, 0 leaves)
3586.14/3597.07 c feasible leaves : 0
3586.14/3597.07 c infeas. leaves : 0
3586.14/3597.07 c objective leaves : 0
3586.14/3597.07 c nodes (total) : 21 (21 internal, 0 leaves)
3586.14/3597.07 c nodes left : 22
3586.14/3597.07 c max depth : 10
3586.14/3597.07 c max depth (total): 10
3586.14/3597.07 c backtracks : 9 (42.9%)
3586.14/3597.07 c early backtracks : 0 (0.0%)
3586.14/3597.07 c nodes exc. ref. : 0 (0.0%)
3586.14/3597.07 c delayed cutoffs : 0
3586.14/3597.07 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.14/3597.07 c avg switch length: 2.43
3586.14/3597.07 c switching time : 0.23
3586.14/3597.07 c Root Node :
3586.14/3597.07 c First LP value : +0.00000000000000e+00
3586.14/3597.07 c First LP Iters : 2122 (2409.35 Iter/sec)
3586.14/3597.07 c First LP Time : 0.88
3586.14/3597.07 c Final Dual Bound : +0.00000000000000e+00
3586.14/3597.07 c Final Root Iters : 21181
3586.14/3597.07 c Root LP Estimate : +1.15441748880392e-02
3586.14/3597.07 c Solution :
3586.14/3597.07 c Solutions found : 0 (0 improvements)
3586.14/3597.07 c Primal Bound : -
3586.14/3597.07 c Dual Bound : +0.00000000000000e+00
3586.14/3597.07 c Gap : infinite
3586.14/3597.07 c Integrals : Total Avg%
3586.14/3597.07 c primal-dual : 359704.78 100.00
3586.14/3597.07 c primal-ref : - - (not evaluated)
3586.14/3597.07 c dual-ref : - - (not evaluated)
3588.13/3599.07 c Time complete: 3588.19.
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: 64059 MiB (62249 MiB free)
memory of node 1: 64510 MiB (61341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446195-1721330690/watcher-4446195-1721330690 -o /tmp/evaluation-result-4446195-1721330690/solver-4446195-1721330690 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721327100-963757 --watchdog 3760 pbscip -f HOME/instance-4446195-1721330690.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=966445, runsolver pid=966442
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.10 4.21 4.22 6/239 966446
/proc/meminfo: memFree=126544872/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=67692 memory=27184 CPUtime=0.09 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 3848 0 0 0 9 0 0 0 20 0 1 0 185225760 69316608 6796 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 16923 6796 3278 3540 0 5180 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67692 KiB
Current children cumulated memory: 27184 KiB
[startup+0.209196 s]*
/proc/loadavg: 4.10 4.21 4.22 5/239 966446
/proc/meminfo: memFree=126533440/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=78200 memory=37664 CPUtime=0.2 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 6486 0 0 0 19 1 0 0 20 0 1 0 185225760 80076800 9416 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 19550 9416 3278 3540 0 7807 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 78200 KiB
Current children cumulated memory: 37664 KiB
[startup+0.309101 s]*
/proc/loadavg: 4.10 4.21 4.22 5/239 966446
/proc/meminfo: memFree=126521556/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=88652 memory=48020 CPUtime=0.31 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 9085 0 0 0 29 2 0 0 20 0 1 0 185225760 90779648 12005 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 22163 12005 3278 3540 0 10420 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 88652 KiB
Current children cumulated memory: 48020 KiB
[startup+0.700329 s]
/proc/loadavg: 4.10 4.21 4.22 5/239 966446
/proc/meminfo: memFree=126497868/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=135576 memory=94340 CPUtime=0.69 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 20650 0 0 0 64 5 0 0 20 0 1 0 185225760 138829824 23585 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 33894 23585 3278 3540 0 22151 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 135576 KiB
Current children cumulated memory: 94340 KiB
[startup+1.50033 s]
/proc/loadavg: 4.10 4.21 4.22 5/237 966463
/proc/meminfo: memFree=126467760/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=263596 memory=222436 CPUtime=1.48 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 52143 0 0 0 138 10 0 0 20 0 1 0 185225760 269922304 55609 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 65899 55609 3278 3540 0 54156 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 263596 KiB
Current children cumulated memory: 222436 KiB
[startup+3.1129 s]
/proc/loadavg: 4.09 4.21 4.21 5/243 966475
/proc/meminfo: memFree=125617536/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=678404 memory=639276 CPUtime=3.09 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 154856 0 0 0 281 28 0 0 20 0 1 0 185225760 694685696 159753 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 169601 159819 3566 3540 0 157858 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 678404 KiB
Current children cumulated memory: 639276 KiB
[startup+6.30031 s]
/proc/loadavg: 4.09 4.21 4.21 5/246 966501
/proc/meminfo: memFree=124660008/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=1803756 memory=1652944 CPUtime=6.28 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 331104 0 0 0 568 60 0 0 20 0 1 0 185225760 1847046144 413236 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 450939 413236 3630 3540 0 439196 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1803756 KiB
Current children cumulated memory: 1652944 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.22 4.22 5/246 966502
/proc/meminfo: memFree=122257952/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=2183044 memory=2119300 CPUtime=12.65 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 464056 0 0 0 1163 102 0 0 20 0 1 0 185225760 2235437056 529825 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 545761 529825 3789 3540 0 534018 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2183044 KiB
Current children cumulated memory: 2119300 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.21 4.21 5/245 966888
/proc/meminfo: memFree=121375344/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=2183044 memory=2121356 CPUtime=25.41 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 464669 0 0 0 2437 104 0 0 20 0 1 0 185225760 2235437056 530339 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 545761 530339 3805 3540 0 534018 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2183044 KiB
Current children cumulated memory: 2121356 KiB
[startup+51.1133 s]
/proc/loadavg: 4.16 4.21 4.21 5/245 966892
/proc/meminfo: memFree=120667148/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=2183044 memory=2121464 CPUtime=50.94 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 464711 0 0 0 4989 105 0 0 20 0 1 0 185225760 2235437056 530366 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 545761 530366 3805 3540 0 534018 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2183044 KiB
Current children cumulated memory: 2121464 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.19 4.20 5/245 966902
/proc/meminfo: memFree=120641136/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=2183044 memory=2121668 CPUtime=101.98 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 464810 0 0 0 10092 106 0 0 20 0 1 0 185225760 2235437056 530417 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 545761 530417 3805 3540 0 534018 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2183044 KiB
Current children cumulated memory: 2121668 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.19 5/245 966912
/proc/meminfo: memFree=114685156/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=5333352 memory=4972620 CPUtime=161.8 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 677949 0 0 0 15989 191 0 0 20 0 1 0 185225760 5461352448 1243155 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1333338 1243155 3997 3540 0 1321595 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 5333352 KiB
Current children cumulated memory: 4972620 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.17 4.19 5/246 967091
/proc/meminfo: memFree=114445428/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=5333352 memory=4972620 CPUtime=221.61 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 678003 0 0 0 21970 191 0 0 20 0 1 0 185225760 5461352448 1243155 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1333338 1243155 3997 3540 0 1321595 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 5333352 KiB
Current children cumulated memory: 4972620 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.19 5/246 967102
/proc/meminfo: memFree=114297204/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=5333352 memory=4972760 CPUtime=281.42 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 678096 0 0 0 27950 192 0 0 20 0 1 0 185225760 5461352448 1243190 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1333338 1243190 3997 3540 0 1321595 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 5333352 KiB
Current children cumulated memory: 4972760 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/247 967170
/proc/meminfo: memFree=114286704/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=5333352 memory=4972884 CPUtime=341.23 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 678289 0 0 0 33930 193 0 0 20 0 1 0 185225760 5461352448 1243221 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1333338 1243221 3997 3540 0 1321595 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 5333352 KiB
Current children cumulated memory: 4972884 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/245 967180
/proc/meminfo: memFree=114286592/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=5333352 memory=4972884 CPUtime=401.05 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 678472 0 0 0 39911 194 0 0 20 0 1 0 185225760 5461352448 1243221 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1333338 1243221 3997 3540 0 1321595 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 5333352 KiB
Current children cumulated memory: 4972884 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/245 967191
/proc/meminfo: memFree=114169260/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=5603776 memory=5089632 CPUtime=460.85 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 684684 0 0 0 45887 198 0 0 20 0 1 0 185225760 5738266624 1272408 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1400944 1272408 3997 3540 0 1389201 0
################
# More data... #
################
/proc/loadavg: 4.10 4.12 4.16 5/242 968331
/proc/meminfo: memFree=112405108/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=6952584 memory=5597188 CPUtime=3152.62 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1077507 0 0 0 314963 299 0 0 20 0 1 0 185225760 7119446016 1399297 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1738146 1399297 4045 3540 0 1726403 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 6952584 KiB
Current children cumulated memory: 5597188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/242 968341
/proc/meminfo: memFree=112405740/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=6952584 memory=5597188 CPUtime=3212.45 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1078559 0 0 0 320946 299 0 0 20 0 1 0 185225760 7119446016 1399297 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1738146 1399297 4045 3540 0 1726403 0
Current children cumulated CPU time: 3212.45 s
Current children cumulated vsize: 6952584 KiB
Current children cumulated memory: 5597188 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.14 4.16 5/242 968352
/proc/meminfo: memFree=112401904/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=6952584 memory=5597188 CPUtime=3272.29 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1079611 0 0 0 326929 300 0 0 20 0 1 0 185225760 7119446016 1399297 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1738146 1399297 4045 3540 0 1726403 0
Current children cumulated CPU time: 3272.29 s
Current children cumulated vsize: 6952584 KiB
Current children cumulated memory: 5597188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.16 5/244 968366
/proc/meminfo: memFree=112400068/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=6952584 memory=5597188 CPUtime=3332.12 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1080322 0 0 0 332912 300 0 0 20 0 1 0 185225760 7119446016 1399297 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1738146 1399297 4045 3540 0 1726403 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 6952584 KiB
Current children cumulated memory: 5597188 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/244 968376
/proc/meminfo: memFree=112396624/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=6952584 memory=5597188 CPUtime=3391.96 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1080950 0 0 0 338895 301 0 0 20 0 1 0 185225760 7119446016 1399297 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1738146 1399297 4045 3540 0 1726403 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 6952584 KiB
Current children cumulated memory: 5597188 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/244 968387
/proc/meminfo: memFree=112371560/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=6952584 memory=5597188 CPUtime=3451.79 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1082379 0 0 0 344878 301 0 0 20 0 1 0 185225760 7119446016 1399297 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1738146 1399297 4045 3540 0 1726403 0
Current children cumulated CPU time: 3451.79 s
Current children cumulated vsize: 6952584 KiB
Current children cumulated memory: 5597188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/244 968397
/proc/meminfo: memFree=112363944/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=6952584 memory=5597188 CPUtime=3511.63 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1083895 0 0 0 350861 302 0 0 20 0 1 0 185225760 7119446016 1399297 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1738146 1399297 4045 3540 0 1726403 0
Current children cumulated CPU time: 3511.63 s
Current children cumulated vsize: 6952584 KiB
Current children cumulated memory: 5597188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.14 4.16 5/244 968407
/proc/meminfo: memFree=112356684/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=7043920 memory=5600296 CPUtime=3571.46 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1085108 0 0 0 356843 303 0 0 20 0 1 0 185225760 7212974080 1400074 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1760980 1400074 4045 3540 0 1749237 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 7043920 KiB
Current children cumulated memory: 5600296 KiB
[startup+3599.09 s]
# the end of solver process 966445 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.13 s, system=3.0795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.14 4.16 5/244 968407
/proc/meminfo: memFree=112356628/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=7043920 memory=5600296 CPUtime=3573.17 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1085109 0 0 0 357014 303 0 0 20 0 1 0 185225760 7212974080 1400074 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1760980 1400074 4045 3540 0 1749237 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 7043920 KiB
Current children cumulated memory: 5600296 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.14 4.15 5/244 968408
/proc/meminfo: memFree=112354816/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=7043920 memory=5600328 CPUtime=3579.54 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1085110 0 0 0 357651 303 0 0 20 0 1 0 185225760 7212974080 1400082 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1760980 1400082 4045 3540 0 1749237 0
Current children cumulated CPU time: 3579.54 s
Current children cumulated vsize: 7043920 KiB
Current children cumulated memory: 5600328 KiB
[startup+3593.6 s]
/proc/loadavg: 4.19 4.14 4.15 5/244 968409
/proc/meminfo: memFree=112354852/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=7043920 memory=5600328 CPUtime=3582.73 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1085120 0 0 0 357970 303 0 0 20 0 1 0 185225760 7212974080 1400082 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1760980 1400082 4045 3540 0 1749237 0
Current children cumulated CPU time: 3582.73 s
Current children cumulated vsize: 7043920 KiB
Current children cumulated memory: 5600328 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.14 4.15 5/244 968409
/proc/meminfo: memFree=112354844/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=7043920 memory=5600328 CPUtime=3585.93 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1085127 0 0 0 358290 303 0 0 20 0 1 0 185225760 7212974080 1400082 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1760980 1400082 4045 3540 0 1749237 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 7043920 KiB
Current children cumulated memory: 5600328 KiB
[startup+3598.4 s]
/proc/loadavg: 4.17 4.14 4.15 5/244 968409
/proc/meminfo: memFree=112354860/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=7043920 memory=5600328 CPUtime=3587.52 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1085736 0 0 0 358449 303 0 0 20 0 1 0 185225760 7212974080 1400082 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1760980 1400082 4045 3540 0 1749237 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 7043920 KiB
Current children cumulated memory: 5600328 KiB
[startup+3598.8 s]
/proc/loadavg: 4.17 4.14 4.15 5/244 968409
/proc/meminfo: memFree=112354860/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=6639568 memory=5224648 CPUtime=3587.92 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1085757 0 0 0 358488 304 0 0 20 0 1 0 185225760 6798917632 1306162 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1659892 1306162 4045 3540 0 1648149 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 6639568 KiB
Current children cumulated memory: 5224648 KiB
[startup+3599 s]*
/proc/loadavg: 4.16 4.13 4.15 5/244 968409
/proc/meminfo: memFree=112968380/131655788 swapFree=131071996/131071996
[pid=966445] ppid=966442 vsize=6384796 memory=4969876 CPUtime=3588.13 cores=4,6
/proc/966445/stat : 966445 (pbscip) R 966442 966445 963708 0 -1 4194304 1087249 0 0 0 358508 305 0 0 20 0 1 0 185225760 6538031104 1242469 134679101440 4194304 18693293 140732895440768 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 34832384 140732895450115 140732895450214 140732895450214 140732895457230 0
/proc/966445/statm: 1596199 1242469 4045 3540 0 1584456 0
Current children cumulated CPU time: 3588.13 s
Current children cumulated vsize: 6384796 KiB
Current children cumulated memory: 4969876 KiB
Child status: 0
Real time (s): 3599.09
CPU time (s): 3588.21
CPU user time (s): 3585.13
CPU system time (s): 3.0795
CPU usage (%): 99.6979
Max. virtual memory (cumulated for all children) (KiB): 7661984
Max. memory (cumulated for all children) (KiB): 6291524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.13
system time used= 3.0795
maximum resident set size= 6291524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1088236
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= 43
involuntary context switches= 2012
# summary of solver processes directly reported to runsolver:
# pid: 966445
# total CPU time (s): 3588.21
# total CPU user time (s): 3585.13
# total CPU system time (s): 3.0795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7878 second user time and 34.7697 second system time
The end