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-4446255-1721330696.opb>
3.48/3.52 c original problem has 55296 variables (55296 bin, 0 int, 0 impl, 0 cont) and 1282690 constraints
3.48/3.52 c problem read in 3.51
3.48/3.53 c No objective function, only one solution is needed.
5.47/5.51 c presolving:
8.76/8.85 c (8.8s) running MILP presolver
12.07/12.16 c (12.1s) MILP presolver found nothing
15.14/15.28 c (round 1, exhaustive) 1 del vars, 10 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 1282678 upgd conss, 0 impls, 271354 clqs
19.05/19.18 c (round 2, exhaustive) 1 del vars, 16026 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 24034 chg coeffs, 1282678 upgd conss, 0 impls, 271354 clqs
138.09/138.53 c (138.5s) probing: 1000/55295 (1.8%) - 0 fixings, 0 aggregations, 341616 implications, 0 bound changes
138.19/138.64 c (138.6s) probing: 1001/55295 (1.8%) - 0 fixings, 0 aggregations, 341616 implications, 0 bound changes
138.19/138.64 c (138.6s) probing aborted: 1000/1000 successive useless probings
145.37/145.83 c (145.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
148.16/148.66 c (148.6s) no symmetry present (symcode time: 0.39)
150.06/150.52 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
150.06/150.52 c 1 deleted vars, 16026 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 24124 changed coefficients
150.06/150.52 c 0 implications, 612970 cliques
150.06/150.52 c presolved problem has 55295 variables (55295 bin, 0 int, 0 impl, 0 cont) and 1266664 constraints
150.06/150.52 c 128170 constraints of type <knapsack>
150.06/150.52 c 271354 constraints of type <setppc>
150.06/150.52 c 2 constraints of type <linear>
150.06/150.52 c 867138 constraints of type <logicor>
150.06/150.52 c transformed objective value is always integral (scale: 1)
150.06/150.52 c Presolving Time: 145.02
150.06/150.52 c - non default parameters ----------------------------------------------------------------------
150.06/150.52 c # SCIP version 10.0.0
150.06/150.52 c
150.06/150.52 c # maximal time in seconds to run
150.06/150.52 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
150.06/150.52 c limits/time = 3596.993129
150.06/150.52 c
150.06/150.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
150.06/150.52 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
150.06/150.52 c limits/memory = 27900
150.06/150.52 c
150.06/150.52 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
150.06/150.52 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
150.06/150.52 c limits/solutions = 1
150.06/150.52 c
150.06/150.52 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.
150.06/150.52 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
150.06/150.52 c misc/usesymmetry = 3
150.06/150.52 c
150.06/150.52 c # belongs reading time to solving time?
150.06/150.52 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
150.06/150.52 c timing/reading = TRUE
150.06/150.52 c
150.06/150.52 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
150.06/150.52 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
150.06/150.52 c propagating/symmetry/detectdoublelex = FALSE
150.06/150.52 c
150.06/150.52 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
150.06/150.52 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
150.06/150.52 c propagating/symmetry/detectsubgroups = FALSE
150.06/150.52 c
150.06/150.52 c # Type of symmetries that shall be computed?
150.06/150.52 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
150.06/150.52 c propagating/symmetry/symtype = 1
150.06/150.52 c
150.06/150.52 c # Should components consisting of a single full reflection be handled?
150.06/150.52 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
150.06/150.52 c propagating/symmetry/usesimplesgncomp = FALSE
150.06/150.52 c
150.06/150.52 c -----------------------------------------------------------------------------------------------
150.06/150.52 c start solving
150.06/150.54 c
157.55/158.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
157.55/158.02 c 158s| 1 | 0 | 2385 | - | 5658M | 0 | 55k|1266k|1266k| 0 | 0 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
805.36/808.10 c 808s| 1 | 0 | 9807 | - | 5839M | 0 | 55k|1266k|1266k| 11 | 1 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
1721.77/1728.22 c 1728s| 1 | 0 | 10109 | - | 5964M | 0 | 55k|1266k|1266k| 19 | 2 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
3397.20/3410.90 c 3411s| 1 | 0 | 10160 | - | 6095M | 0 | 55k|1266k|1266k| 23 | 3 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
3582.40/3597.03 c 3597s| 1 | 0 | 10160 | - | 6107M | 0 | 55k|1266k|1266k| 27 | 4 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
3582.40/3597.03 c (node 1) LP solver hit time limit in LP 16 -- using pseudo solution instead
3582.40/3597.03 c
3582.40/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3582.40/3597.03 c Solving Time (sec) : 3597.00
3582.40/3597.03 c Solving Nodes : 1
3582.40/3597.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3582.40/3597.03 c Dual Bound : +0.00000000000000e+00
3582.40/3597.03 c Gap : infinite
3582.40/3597.03 s UNKNOWN
3582.40/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3582.40/3597.03 c Total Time : 3597.00
3582.40/3597.03 c solving : 3597.00
3582.40/3597.03 c presolving : 145.02 (included in solving)
3582.40/3597.03 c reading : 3.51 (included in solving)
3582.40/3597.03 c copying : 0.00 (0 times copied the problem)
3582.40/3597.03 c Original Problem :
3582.40/3597.03 c Problem name : HOME/instance-4446255-1721330696.opb
3582.40/3597.03 c Variables : 55296 (55296 binary, 0 integer, 0 implicit integer, 0 continuous)
3582.40/3597.03 c Constraints : 1282690 initial, 1282690 maximal
3582.40/3597.03 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3582.40/3597.03 c Presolved Problem :
3582.40/3597.03 c Problem name : t_HOME/instance-4446255-1721330696.opb
3582.40/3597.03 c Variables : 55295 (55295 binary, 0 integer, 0 implicit integer, 0 continuous)
3582.40/3597.03 c Constraints : 1266664 initial, 1266741 maximal
3582.40/3597.03 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3582.40/3597.03 c Nonzeros : 4834825 constraint, 1246202 clique table
3582.40/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3582.40/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c domcol : 0.65 0.00 1 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c dualsparsify : 7.19 0.00 1 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c gateextraction : 1.67 0.00 2 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c milp : 5.20 0.00 1 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c sparsify : 1.39 0.00 1 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c trivial : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c dualfix : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c probing : 111.05 0.00 1 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c symmetry : 2.83 0.00 1 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c vbounds : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c knapsack : 0.43 0.02 6 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c setppc : 0.62 0.01 6 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c linear : 3.90 0.50 6 0 1 0 0 0 10 0 9 0
3582.40/3597.03 c logicor : 7.52 1.38 6 0 0 0 0 0 16016 0 0 24124
3582.40/3597.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c components : 0.41 0.00 1 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c root node : - - - 0 - - 0 - - - - -
3582.40/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3582.40/3597.03 c benderslp : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3582.40/3597.03 c integral : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3582.40/3597.03 c knapsack : 128170 128170 4 31932 0 0 0 3 79 2 0 32 2 0 0
3582.40/3597.03 c setppc : 271354+ 271355 4 31930 0 0 0 2 634 6 0 0 0 0 0
3582.40/3597.03 c linear : 2 2 4 31770 0 0 0 3 1 4 0 0 0 0 0
3582.40/3597.03 c logicor : 867138+ 867214 4 10481 0 0 0 0 1168 12 0 1 0 0 0
3582.40/3597.03 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3582.40/3597.03 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c knapsack : 16.58 0.02 0.49 16.03 0.00 0.00 0.00 0.04 0.00 0.00
3582.40/3597.03 c setppc : 19.28 0.01 0.15 19.11 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c linear : 0.50 0.50 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c logicor : 4.54 1.38 0.80 2.36 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3582.40/3597.03 c dualfix : 1 0 0 0
3582.40/3597.03 c genvbounds : 0 0 0 0
3582.40/3597.03 c nlobbt : 0 0 0 0
3582.40/3597.03 c obbt : 0 0 0 0
3582.40/3597.03 c probing : 0 0 0 0
3582.40/3597.03 c pseudoobj : 0 0 0 0
3582.40/3597.03 c redcost : 0 0 0 0
3582.40/3597.03 c rootredcost : 0 0 0 0
3582.40/3597.03 c symmetry : 0 0 0 0
3582.40/3597.03 c vbounds : 5200 0 0 0
3582.40/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3582.40/3597.03 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3582.40/3597.03 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c probing : 111.06 0.00 111.05 0.00 0.00 0.00
3582.40/3597.03 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3582.40/3597.03 c symmetry : 2.83 0.00 2.83 0.00 0.00 0.00
3582.40/3597.03 c vbounds : 0.05 0.00 0.03 0.02 0.00 0.00
3582.40/3597.03 c Symmetry :
3582.40/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3582.40/3597.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3582.40/3597.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3582.40/3597.03 c shadow tree time : 0.00 s
3582.40/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3582.40/3597.03 c propagation : 0.00 20 20 - 129 102.2 1 5.0 - - -
3582.40/3597.03 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3582.40/3597.03 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3582.40/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3582.40/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3582.40/3597.03 c applied globally : 0.00 - - 0 79 49.3 - - 0 - -
3582.40/3597.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3582.40/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3582.40/3597.03 c cut pool : 0.00 - 7 7 - - 391 662 - - - - - (maximal pool size: 391)
3582.40/3597.03 c aggregation : 0.21 0.00 3 3 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c > cmir : - - - - - - - 0 0 0 0 0 -
3582.40/3597.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3582.40/3597.03 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3582.40/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c clique : 1.94 0.00 3 3 0 0 25 25 0 3 3 0 0
3582.40/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c gomory : 3415.77 0.00 4 4 0 0 353 624 0 9 9 0 0
3582.40/3597.03 c > gomorymi : - - - - - - - 292 0 5 5 0 -
3582.40/3597.03 c > strongcg : - - - - - - - 332 0 4 4 0 -
3582.40/3597.03 c impliedbounds : 0.09 0.00 4 4 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c mcf : 1.70 0.00 1 1 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c multilinear : 0.00 0.00 4 4 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c rlt : 0.00 0.00 4 4 0 0 0 0 0 0 0 0 0
3582.40/3597.03 c zerohalf : 0.25 0.00 3 3 0 0 13 13 0 13 13 0 0
3582.40/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3582.40/3597.03 c hybrid : 0.00 0.00 4 4 27 0 668 27 0 668
3582.40/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3582.40/3597.03 c problem variables: 0.00 - 0 0
3582.40/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3582.40/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3582.40/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3582.40/3597.03 c LP solutions : 0.00 - - 0 0
3582.40/3597.03 c relax solutions : 0.00 - - 0 0
3582.40/3597.03 c pseudo solutions : 0.00 - - 0 0
3582.40/3597.03 c strong branching : 0.00 - - 0 0
3582.40/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c adaptivediving : 0.00 0.00 0 0 0
3582.40/3597.03 c alns : 0.00 0.00 0 0 0
3582.40/3597.03 c bound : 0.00 0.00 0 0 0
3582.40/3597.03 c clique : 2.49 0.00 1 0 0
3582.40/3597.03 c coefdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c completesol : 0.00 0.00 0 0 0
3582.40/3597.03 c conflictdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c crossover : 0.00 0.00 0 0 0
3582.40/3597.03 c dins : 0.00 0.00 0 0 0
3582.40/3597.03 c distributiondivin: 0.00 0.00 0 0 0
3582.40/3597.03 c dps : 0.00 0.00 0 0 0
3582.40/3597.03 c dualval : 0.00 0.00 0 0 0
3582.40/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c feasjump : 0.82 0.00 1 0 0
3582.40/3597.03 c feaspump : 14.78 0.00 1 0 0
3582.40/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3582.40/3597.03 c fracdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c gins : 0.00 0.00 0 0 0
3582.40/3597.03 c guideddiving : 0.00 0.00 0 0 0
3582.40/3597.03 c indcoefdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c indicator : 0.00 0.00 0 0 0
3582.40/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3582.40/3597.03 c indoneopt : 0.00 0.00 0 0 0
3582.40/3597.03 c indrounding : 0.00 0.00 0 0 0
3582.40/3597.03 c indtwoopt : 0.00 0.00 0 0 0
3582.40/3597.03 c intdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c intshifting : 0.00 0.00 0 0 0
3582.40/3597.03 c linesearchdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c localbranching : 0.00 0.00 0 0 0
3582.40/3597.03 c locks : 0.89 0.00 1 0 0
3582.40/3597.03 c lpface : 0.00 0.00 0 0 0
3582.40/3597.03 c mpec : 0.00 0.00 0 0 0
3582.40/3597.03 c multistart : 0.00 0.00 0 0 0
3582.40/3597.03 c mutation : 0.00 0.00 0 0 0
3582.40/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c objpscostdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c octane : 0.00 0.00 0 0 0
3582.40/3597.03 c ofins : 0.00 0.00 0 0 0
3582.40/3597.03 c oneopt : 0.00 0.00 0 0 0
3582.40/3597.03 c padm : 0.00 0.00 0 0 0
3582.40/3597.03 c proximity : 0.00 0.00 0 0 0
3582.40/3597.03 c pscostdiving : 0.00 0.00 0 0 0
3582.40/3597.03 c randrounding : 0.22 0.00 4 0 0
3582.40/3597.03 c rens : 0.00 0.00 0 0 0
3582.40/3597.03 c reoptsols : 0.00 0.00 0 0 0
3582.40/3597.03 c repair : 0.00 0.00 0 0 0
3582.40/3597.03 c rins : 0.00 0.00 0 0 0
3582.40/3597.03 c rootsoldiving : 0.00 0.00 0 0 0
3582.40/3597.03 c rounding : 0.15 0.00 4 0 0
3582.40/3597.03 c scheduler : 0.00 0.00 0 0 0
3582.40/3597.03 c shiftandpropagate: 0.28 0.00 1 0 0
3582.40/3597.03 c shifting : 0.66 0.00 4 0 0
3582.40/3597.03 c simplerounding : 0.00 0.00 0 0 0
3582.40/3597.03 c smallcard : 0.00 0.00 0 0 0
3582.40/3597.03 c subnlp : 0.00 0.00 0 0 0
3582.40/3597.03 c trivial : 0.07 0.00 2 0 0
3582.40/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3582.40/3597.03 c trustregion : 0.00 0.00 0 0 0
3582.40/3597.03 c trysol : 0.00 0.00 0 0 0
3582.40/3597.03 c twoopt : 0.00 0.00 0 0 0
3582.40/3597.03 c undercover : 0.00 0.00 0 0 0
3582.40/3597.03 c vbounds : 1.73 0.00 1 0 0
3582.40/3597.03 c veclendiving : 0.00 0.00 0 0 0
3582.40/3597.03 c zeroobj : 0.00 0.00 0 0 0
3582.40/3597.03 c zirounding : 0.00 0.00 0 0 0
3582.40/3597.03 c other solutions : - - - 0 -
3582.40/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3582.40/3597.03 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.40/3597.03 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.40/3597.03 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.40/3597.03 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.40/3597.03 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.40/3597.03 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.40/3597.03 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3582.40/3597.03 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3582.40/3597.03 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3582.40/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3582.40/3597.03 c primal LP : 0.00 0 0 0.00 - 0.00 0
3582.40/3597.03 c dual LP : 3.19 4 4991 1247.75 1564.67 0.00 0
3582.40/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3582.40/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3582.40/3597.03 c resolve instable : 0.00 0 0 0.00 -
3582.40/3597.03 c diving/probing LP: 13.64 12 5169 430.75 378.82
3582.40/3597.03 c strong branching : 0.00 0 0 0.00 - - - 0
3582.40/3597.03 c (at root node) : - 0 0 0.00 -
3582.40/3597.03 c conflict analysis: 0.00 0 0 0.00 -
3582.40/3597.03 c B&B Tree :
3582.40/3597.03 c number of runs : 1
3582.40/3597.03 c nodes : 1 (0 internal, 1 leaves)
3582.40/3597.03 c feasible leaves : 0
3582.40/3597.03 c infeas. leaves : 0
3582.40/3597.03 c objective leaves : 0
3582.40/3597.03 c nodes (total) : 1 (0 internal, 1 leaves)
3582.40/3597.03 c nodes left : 1
3582.40/3597.03 c max depth : 0
3582.40/3597.03 c max depth (total): 0
3582.40/3597.03 c backtracks : 0 (0.0%)
3582.40/3597.03 c early backtracks : 0 (0.0%)
3582.40/3597.03 c nodes exc. ref. : 0 (0.0%)
3582.40/3597.03 c delayed cutoffs : 0
3582.40/3597.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3582.40/3597.03 c avg switch length: 1.00
3582.40/3597.03 c switching time : 0.00
3582.40/3597.03 c Root Node :
3582.40/3597.03 c First LP value : +0.00000000000000e+00
3582.40/3597.03 c First LP Iters : 2385 (2054.04 Iter/sec)
3582.40/3597.03 c First LP Time : 1.16
3582.40/3597.03 c Final Dual Bound : +0.00000000000000e+00
3582.40/3597.03 c Final Root Iters : 10160
3582.40/3597.03 c Root LP Estimate : -
3582.40/3597.03 c Solution :
3582.40/3597.03 c Solutions found : 0 (0 improvements)
3582.40/3597.03 c Primal Bound : -
3582.40/3597.03 c Dual Bound : +0.00000000000000e+00
3582.40/3597.03 c Gap : infinite
3582.40/3597.03 c Integrals : Total Avg%
3582.40/3597.03 c primal-dual : 359700.50 100.00
3582.40/3597.03 c primal-ref : - - (not evaluated)
3582.40/3597.03 c dual-ref : - - (not evaluated)
3585.29/3599.92 c Time complete: 3585.32.
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 (60792 MiB free)
memory of node 1: 64510 MiB (60953 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446255-1721330696/watcher-4446255-1721330696 -o /tmp/evaluation-result-4446255-1721330696/solver-4446255-1721330696 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721327100-963758 --watchdog 3760 pbscip -f HOME/instance-4446255-1721330696.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=966500, runsolver pid=966497
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.09 4.21 4.21 5/246 966501
/proc/meminfo: memFree=124628532/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=67744 memory=27312 CPUtime=0.1 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 3875 0 0 0 9 1 0 0 20 0 1 0 185226359 69369856 6828 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 16936 6828 3242 3540 0 5193 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 67744 KiB
Current children cumulated memory: 27312 KiB
[startup+0.207918 s]*
/proc/loadavg: 4.09 4.21 4.21 5/246 966501
/proc/meminfo: memFree=124517356/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=78444 memory=37832 CPUtime=0.21 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 6541 0 0 0 19 2 0 0 20 0 1 0 185226359 80326656 9458 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 19611 9458 3242 3540 0 7868 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 78444 KiB
Current children cumulated memory: 37832 KiB
[startup+0.307779 s]*
/proc/loadavg: 4.09 4.21 4.21 5/246 966501
/proc/meminfo: memFree=124483264/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=89732 memory=48912 CPUtime=0.3 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 9351 0 0 0 28 2 0 0 20 0 1 0 185226359 91885568 12228 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 22433 12228 3242 3540 0 10690 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89732 KiB
Current children cumulated memory: 48912 KiB
[startup+0.700304 s]
/proc/loadavg: 4.09 4.21 4.21 5/246 966501
/proc/meminfo: memFree=124414496/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=138900 memory=97464 CPUtime=0.69 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 21471 0 0 0 63 6 0 0 20 0 1 0 185226359 142233600 24366 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 34725 24366 3242 3540 0 22982 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 138900 KiB
Current children cumulated memory: 97464 KiB
[startup+1.50033 s]
/proc/loadavg: 4.09 4.21 4.21 5/246 966501
/proc/meminfo: memFree=124064772/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=270412 memory=229008 CPUtime=1.48 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 53817 0 0 0 135 13 0 0 20 0 1 0 185226359 276901888 57252 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 67603 57252 3242 3540 0 55860 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 270412 KiB
Current children cumulated memory: 229008 KiB
[startup+3.11276 s]
/proc/loadavg: 4.16 4.22 4.22 5/246 966501
/proc/meminfo: memFree=123495956/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=661544 memory=619364 CPUtime=3.09 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 144289 0 0 0 282 27 0 0 20 0 1 0 185226359 677421056 154841 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 165386 154841 3242 3540 0 153643 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 661544 KiB
Current children cumulated memory: 619364 KiB
[startup+6.30033 s]
/proc/loadavg: 4.16 4.22 4.22 5/246 966502
/proc/meminfo: memFree=122257952/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=1877500 memory=1814684 CPUtime=6.27 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 407354 0 0 0 554 73 0 0 20 0 1 0 185226359 1922560000 453671 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 469375 453671 3594 3540 0 457632 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1877500 KiB
Current children cumulated memory: 1814684 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.21 4.22 5/246 966502
/proc/meminfo: memFree=121435048/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=2154320 memory=2076084 CPUtime=12.65 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 446097 0 0 0 1153 112 0 0 20 0 1 0 185226359 2206023680 519021 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 538580 519021 3721 3540 0 526837 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2154320 KiB
Current children cumulated memory: 2076084 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.21 4.21 5/245 966888
/proc/meminfo: memFree=120833396/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=2759876 memory=2680300 CPUtime=25.42 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 582294 0 0 0 2409 133 0 0 20 0 1 0 185226359 2826113024 670075 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 689969 670075 3753 3540 0 678226 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2759876 KiB
Current children cumulated memory: 2680300 KiB
[startup+51.1132 s]
/proc/loadavg: 4.14 4.20 4.21 6/245 966893
/proc/meminfo: memFree=120666820/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=2759876 memory=2684052 CPUtime=50.96 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 583376 0 0 0 4962 134 0 0 20 0 1 0 185226359 2826113024 671013 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 689969 671013 3769 3540 0 678226 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2759876 KiB
Current children cumulated memory: 2684052 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.18 4.20 5/245 966902
/proc/meminfo: memFree=120641176/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=2759876 memory=2684256 CPUtime=101.99 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 583465 0 0 0 10065 134 0 0 20 0 1 0 185226359 2826113024 671064 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 689969 671064 3769 3540 0 678226 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2759876 KiB
Current children cumulated memory: 2684256 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.16 4.19 5/245 966912
/proc/meminfo: memFree=114465256/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6335780 memory=5996132 CPUtime=161.82 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 843014 0 0 0 15952 230 0 0 20 0 1 0 185226359 6487838720 1499033 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1583945 1499033 3961 3540 0 1572202 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 6335780 KiB
Current children cumulated memory: 5996132 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.20 4.19 5/246 967091
/proc/meminfo: memFree=114445464/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6335780 memory=6014984 CPUtime=221.64 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 843766 0 0 0 21933 231 0 0 20 0 1 0 185226359 6487838720 1503746 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1583945 1503746 3961 3540 0 1572202 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 6335780 KiB
Current children cumulated memory: 6014984 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/246 967102
/proc/meminfo: memFree=114290584/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6335780 memory=6014984 CPUtime=281.42 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 843943 0 0 0 27910 232 0 0 20 0 1 0 185226359 6487838720 1503746 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1583945 1503746 3961 3540 0 1572202 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 6335780 KiB
Current children cumulated memory: 6014984 KiB
[startup+342.3 s]
/proc/loadavg: 4.25 4.19 4.19 6/247 967170
/proc/meminfo: memFree=114286672/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6335780 memory=6014984 CPUtime=341.19 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 844217 0 0 0 33886 233 0 0 20 0 1 0 185226359 6487838720 1503746 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1583945 1503746 3961 3540 0 1572202 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 6335780 KiB
Current children cumulated memory: 6014984 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/245 967180
/proc/meminfo: memFree=114286452/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6335780 memory=6014984 CPUtime=400.98 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 844796 0 0 0 39863 235 0 0 20 0 1 0 185226359 6487838720 1503746 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1583945 1503746 3961 3540 0 1572202 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 6335780 KiB
Current children cumulated memory: 6014984 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/245 967191
/proc/meminfo: memFree=114169032/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6335780 memory=6014984 CPUtime=460.77 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 845226 0 0 0 45840 237 0 0 20 0 1 0 185226359 6487838720 1503746 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1583945 1503746 3961 3540 0 1572202 0
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.16 5/242 968341
/proc/meminfo: memFree=112405748/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6865988 memory=6206080 CPUtime=3209.42 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 870756 0 0 0 320632 310 0 0 20 0 1 0 185226359 7030771712 1551520 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1716497 1551520 3961 3540 0 1704754 0
Current children cumulated CPU time: 3209.42 s
Current children cumulated vsize: 6865988 KiB
Current children cumulated memory: 6206080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.14 4.16 5/242 968352
/proc/meminfo: memFree=112401848/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6865988 memory=6206080 CPUtime=3269.16 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 870957 0 0 0 326605 311 0 0 20 0 1 0 185226359 7030771712 1551520 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1716497 1551520 3961 3540 0 1704754 0
Current children cumulated CPU time: 3269.16 s
Current children cumulated vsize: 6865988 KiB
Current children cumulated memory: 6206080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/244 968366
/proc/meminfo: memFree=112400040/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6865988 memory=6206080 CPUtime=3328.9 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 871221 0 0 0 332578 312 0 0 20 0 1 0 185226359 7030771712 1551520 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1716497 1551520 3961 3540 0 1704754 0
Current children cumulated CPU time: 3328.9 s
Current children cumulated vsize: 6865988 KiB
Current children cumulated memory: 6206080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/244 968376
/proc/meminfo: memFree=112396516/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6865988 memory=6206080 CPUtime=3388.64 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 871457 0 0 0 338550 314 0 0 20 0 1 0 185226359 7030771712 1551520 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1716497 1551520 3961 3540 0 1704754 0
Current children cumulated CPU time: 3388.64 s
Current children cumulated vsize: 6865988 KiB
Current children cumulated memory: 6206080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/244 968387
/proc/meminfo: memFree=112371464/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=7004532 memory=6225880 CPUtime=3448.35 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 878439 0 0 0 344520 315 0 0 20 0 1 0 185226359 7172640768 1556470 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1751133 1556470 3961 3540 0 1739390 0
Current children cumulated CPU time: 3448.35 s
Current children cumulated vsize: 7004532 KiB
Current children cumulated memory: 6225880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/244 968397
/proc/meminfo: memFree=112363996/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=7004532 memory=6225880 CPUtime=3508.06 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 878695 0 0 0 350489 317 0 0 20 0 1 0 185226359 7172640768 1556470 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1751133 1556470 3961 3540 0 1739390 0
Current children cumulated CPU time: 3508.06 s
Current children cumulated vsize: 7004532 KiB
Current children cumulated memory: 6225880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.14 4.16 5/244 968408
/proc/meminfo: memFree=112354864/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=7004532 memory=6225880 CPUtime=3567.76 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 878950 0 0 0 356458 318 0 0 20 0 1 0 185226359 7172640768 1556470 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1751133 1556470 3961 3540 0 1739390 0
Current children cumulated CPU time: 3567.76 s
Current children cumulated vsize: 7004532 KiB
Current children cumulated memory: 6225880 KiB
[startup+3600.01 s]
# the end of solver process 966500 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.06 s, system=3.33448 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.14 4.15 5/244 968408
/proc/meminfo: memFree=112354816/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=7004532 memory=6225880 CPUtime=3569.46 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 878950 0 0 0 356628 318 0 0 20 0 1 0 185226359 7172640768 1556470 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1751133 1556470 3961 3540 0 1739390 0
Current children cumulated CPU time: 3569.46 s
Current children cumulated vsize: 7004532 KiB
Current children cumulated memory: 6225880 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.14 4.15 5/244 968409
/proc/meminfo: memFree=112354844/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=7004532 memory=6225880 CPUtime=3575.83 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 879014 0 0 0 357264 319 0 0 20 0 1 0 185226359 7172640768 1556470 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1751133 1556470 3961 3540 0 1739390 0
Current children cumulated CPU time: 3575.83 s
Current children cumulated vsize: 7004532 KiB
Current children cumulated memory: 6225880 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.13 4.15 5/244 968457
/proc/meminfo: memFree=117844148/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=7004532 memory=6225880 CPUtime=3582.2 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 879018 0 0 0 357901 319 0 0 20 0 1 0 185226359 7172640768 1556470 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1751133 1556470 3961 3540 0 1739390 0
Current children cumulated CPU time: 3582.2 s
Current children cumulated vsize: 7004532 KiB
Current children cumulated memory: 6225880 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968457
/proc/meminfo: memFree=117843168/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=7004532 memory=6225936 CPUtime=3583.79 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 883009 0 0 0 358059 320 0 0 20 0 1 0 185226359 7172640768 1556484 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1751133 1556484 3975 3540 0 1739390 0
Current children cumulated CPU time: 3583.79 s
Current children cumulated vsize: 7004532 KiB
Current children cumulated memory: 6225936 KiB
[startup+3599.2 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119143204/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=7004532 memory=6225936 CPUtime=3584.59 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 884234 0 0 0 358139 320 0 0 20 0 1 0 185226359 7172640768 1556484 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1751133 1556484 3975 3540 0 1739390 0
Current children cumulated CPU time: 3584.59 s
Current children cumulated vsize: 7004532 KiB
Current children cumulated memory: 6225936 KiB
[startup+3599.6 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119143204/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6445184 memory=5706108 CPUtime=3584.99 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 887115 0 0 0 358177 322 0 0 20 0 1 0 185226359 6599868416 1426527 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1611296 1426527 3991 3540 0 1599553 0
Current children cumulated CPU time: 3584.99 s
Current children cumulated vsize: 6445184 KiB
Current children cumulated memory: 5706108 KiB
[startup+3599.8 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119143204/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6207252 memory=5468176 CPUtime=3585.19 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 889667 0 0 0 358196 323 0 0 20 0 1 0 185226359 6356226048 1367044 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1551813 1367044 3991 3540 0 1540070 0
Current children cumulated CPU time: 3585.19 s
Current children cumulated vsize: 6207252 KiB
Current children cumulated memory: 5468176 KiB
[startup+3599.9 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119143204/131655788 swapFree=131071996/131071996
[pid=966500] ppid=966497 vsize=6043912 memory=5306108 CPUtime=3585.29 cores=1,3
/proc/966500/stat : 966500 (pbscip) R 966497 966500 963708 0 -1 4194304 889838 0 0 0 358205 324 0 0 20 0 1 0 185226359 6188965888 1326527 134679101440 4194304 18693293 140728913329472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 39264256 140728913335299 140728913335398 140728913335398 140728913342414 0
/proc/966500/statm: 1510978 1326527 3991 3540 0 1499235 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 6043912 KiB
Current children cumulated memory: 5306108 KiB
Child status: 0
Real time (s): 3600.01
CPU time (s): 3585.4
CPU user time (s): 3582.06
CPU system time (s): 3.33448
CPU usage (%): 99.5942
Max. virtual memory (cumulated for all children) (KiB): 7004532
Max. memory (cumulated for all children) (KiB): 6225936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.06
system time used= 3.33448
maximum resident set size= 6235620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 889993
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= 7
involuntary context switches= 1139
# summary of solver processes directly reported to runsolver:
# pid: 966500
# total CPU time (s): 3585.4
# total CPU user time (s): 3582.06
# total CPU system time (s): 3.33448
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1605 second user time and 34.6018 second system time
The end