0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4441935-1721296786.opb>
0.00/0.06 c original problem has 4644 variables (4644 bin, 0 int, 0 impl, 0 cont) and 31254 constraints
0.00/0.06 c problem read in 0.06
0.00/0.06 c No objective function, only one solution is needed.
0.09/0.10 c presolving:
0.09/0.17 c (0.2s) running MILP presolver
0.19/0.21 c (0.2s) MILP presolver found nothing
0.19/0.27 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31254 upgd conss, 0 impls, 2376 clqs
0.30/0.37 c (0.4s) probing: 51/4644 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.30/0.37 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.30/0.39 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.68/0.71 c (0.7s) symmetry computation finished: 35 generators found (max: 1500, log10 of symmetry group size: 20.0) (symcode time: 0.27)
0.68/0.72 c dynamic symmetry handling statistics:
0.68/0.72 c orbitopal reduction: no components
0.68/0.72 c orbital reduction: 1 components of sizes 35
0.68/0.72 c lexicographic reduction: 35 permutations with support sizes 468, 480, 468, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 324, 480, 480, 480, 348, 480, 348, 480, 348, 480, 348, 480, 348, 480, 348, 1548, 1548, 1548, 1548, 1548
0.68/0.72 c handled 1 out of 1 symmetry components
0.68/0.73 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.68/0.73 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 294 changed coefficients
0.68/0.73 c 0 implications, 2376 cliques
0.68/0.73 c presolved problem has 4644 variables (4644 bin, 0 int, 0 impl, 0 cont) and 31254 constraints
0.68/0.73 c 78 constraints of type <knapsack>
0.68/0.73 c 948 constraints of type <setppc>
0.68/0.73 c 30228 constraints of type <logicor>
0.68/0.73 c transformed objective value is always integral (scale: 1)
0.68/0.73 c Presolving Time: 0.63
0.68/0.73 c - non default parameters ----------------------------------------------------------------------
0.68/0.73 c # SCIP version 10.0.0
0.68/0.73 c
0.68/0.73 c # maximal time in seconds to run
0.68/0.73 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.68/0.73 c limits/time = 3596.997051
0.68/0.73 c
0.68/0.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.73 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.68/0.73 c limits/memory = 27900
0.68/0.73 c
0.68/0.73 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.68/0.73 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.68/0.73 c limits/solutions = 1
0.68/0.73 c
0.68/0.73 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.
0.68/0.73 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.68/0.73 c misc/usesymmetry = 3
0.68/0.73 c
0.68/0.73 c # belongs reading time to solving time?
0.68/0.73 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.68/0.73 c timing/reading = TRUE
0.68/0.73 c
0.68/0.73 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.68/0.73 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.68/0.73 c propagating/symmetry/detectdoublelex = FALSE
0.68/0.73 c
0.68/0.73 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.68/0.73 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.68/0.73 c propagating/symmetry/detectsubgroups = FALSE
0.68/0.73 c
0.68/0.73 c # Type of symmetries that shall be computed?
0.68/0.73 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.68/0.73 c propagating/symmetry/symtype = 1
0.68/0.73 c
0.68/0.73 c # Should components consisting of a single full reflection be handled?
0.68/0.73 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.68/0.73 c propagating/symmetry/usesimplesgncomp = FALSE
0.68/0.73 c
0.68/0.73 c -----------------------------------------------------------------------------------------------
0.68/0.73 c start solving
0.68/0.74 c
10.06/10.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.06/10.13 c 10.1s| 1 | 0 | 14720 | - | 120M | 0 |4644 | 31k| 31k| 0 | 0 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
25.93/26.03 c 26.0s| 1 | 0 | 46283 | - | 127M | 0 |4644 | 31k| 31k| 64 | 1 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
33.80/33.95 c 33.9s| 1 | 0 | 56634 | - | 132M | 0 |4644 | 31k| 31k| 112 | 2 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
44.77/44.99 c 45.0s| 1 | 0 | 68602 | - | 136M | 0 |4644 | 31k| 31k| 167 | 3 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
58.24/58.47 c 58.5s| 1 | 0 | 82296 | - | 140M | 0 |4644 | 31k| 31k| 219 | 4 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
69.61/69.82 c 69.8s| 1 | 0 | 94649 | - | 144M | 0 |4644 | 31k| 31k| 268 | 5 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
80.28/80.52 c 80.5s| 1 | 0 |106273 | - | 147M | 0 |4644 | 31k| 31k| 322 | 6 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
90.36/90.63 c 90.6s| 1 | 0 |117498 | - | 151M | 0 |4644 | 31k| 31k| 368 | 7 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
101.74/102.01 c 102s| 1 | 0 |129620 | - | 155M | 0 |4644 | 31k| 31k| 412 | 8 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
113.40/113.72 c 114s| 1 | 0 |141745 | - | 158M | 0 |4644 | 31k| 31k| 457 | 9 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
129.16/129.50 c 129s| 1 | 0 |156908 | - | 161M | 0 |4644 | 31k| 31k| 498 | 10 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
139.04/139.49 c 139s| 1 | 0 |169516 | - | 164M | 0 |4644 | 31k| 31k| 536 | 11 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
151.50/151.97 c 152s| 1 | 2 |182913 | - | 165M | 0 |4644 | 31k| 31k| 536 | 11 | 82 | 20 | 0.000000e+00 | -- | Inf | unknown
1216.56/1219.74 c 1220s| 100 | 101 | 1706k|15521.9 | 196M | 22 |4644 | 31k| 31k| 916 | 1 | 564 | 20 | 0.000000e+00 | -- | Inf | unknown
2187.42/2192.94 c 2193s| 200 | 201 | 3090k|14680.4 | 235M | 22 |4644 | 31k| 31k|1676 | 1 |1065 | 20 | 0.000000e+00 | -- | Inf | unknown
3141.58/3150.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3141.58/3150.05 c 3150s| 300 | 301 | 4587k|14777.3 | 236M | 23 |4644 | 31k| 31k|2077 | 1 |1394 | 20 | 0.000000e+00 | -- | Inf | unknown
3587.08/3597.00 c
3587.08/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.08/3597.00 c Solving Time (sec) : 3597.00
3587.08/3597.00 c Solving Nodes : 341
3587.08/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.08/3597.00 c Dual Bound : +0.00000000000000e+00
3587.08/3597.00 c Gap : infinite
3587.08/3597.00 s UNKNOWN
3587.08/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.08/3597.00 c Total Time : 3597.00
3587.08/3597.00 c solving : 3597.00
3587.08/3597.00 c presolving : 0.63 (included in solving)
3587.08/3597.00 c reading : 0.06 (included in solving)
3587.08/3597.00 c copying : 0.16 (4 #copies) (minimal 0.04, maximal 0.04, average 0.04)
3587.08/3597.00 c Original Problem :
3587.08/3597.00 c Problem name : HOME/instance-4441935-1721296786.opb
3587.08/3597.00 c Variables : 4644 (4644 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.08/3597.00 c Constraints : 31254 initial, 31254 maximal
3587.08/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.08/3597.00 c Presolved Problem :
3587.08/3597.00 c Problem name : t_HOME/instance-4441935-1721296786.opb
3587.08/3597.00 c Variables : 4644 (4644 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.08/3597.00 c Constraints : 31254 initial, 31842 maximal
3587.08/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.08/3597.00 c Nonzeros : 99744 constraint, 13800 clique table
3587.08/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.08/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c gateextraction : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c milp : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c symmetry : 0.33 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 6 294
3587.08/3597.00 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c linear : 0.08 0.01 2 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c logicor : 0.03 0.00 3 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.08/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.08/3597.00 c benderslp : 0 0 0 0 340 0 0 74 0 0 0 0 0 0 0
3587.08/3597.00 c integral : 0 0 0 0 340 0 0 74 0 0 0 0 0 0 680
3587.08/3597.00 c knapsack : 78+ 81 11 46936 0 0 0 70 10331 68 3827 855 325 0 0
3587.08/3597.00 c setppc : 948 948 11 46868 0 0 0 2 8272 24 3013 0 0 0 0
3587.08/3597.00 c linear : 0+ 29 0 36301 0 0 0 3 27 44 0 0 0 0 0
3587.08/3597.00 c logicor : 30228+ 30788 11 21668 0 0 0 0 2666 29 14 0 0 0 0
3587.08/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.08/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c integral : 5.89 0.00 0.00 0.00 5.89 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c knapsack : 0.10 0.00 0.01 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c setppc : 0.17 0.00 0.00 0.17 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c linear : 0.03 0.01 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c logicor : 0.56 0.00 0.07 0.47 0.00 0.00 0.00 0.00 0.00 0.01
3587.08/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.08/3597.00 c dualfix : 1 0 0 0
3587.08/3597.00 c genvbounds : 0 0 0 0
3587.08/3597.00 c nlobbt : 0 0 0 0
3587.08/3597.00 c obbt : 0 0 0 0
3587.08/3597.00 c probing : 0 0 0 0
3587.08/3597.00 c pseudoobj : 0 0 0 0
3587.08/3597.00 c redcost : 0 0 0 0
3587.08/3597.00 c rootredcost : 0 0 0 0
3587.08/3597.00 c symmetry : 37702 0 0 435
3587.08/3597.00 c vbounds : 16085 0 0 0
3587.08/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.08/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3587.08/3597.00 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.08/3597.00 c symmetry : 1.12 0.00 0.33 0.79 0.00 0.00
3587.08/3597.00 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.08/3597.00 c Symmetry :
3587.08/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.08/3597.00 c orbital reduction: 435 reductions applied, 0 cutoffs
3587.08/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.08/3597.00 c shadow tree time : 0.00 s
3587.08/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.08/3597.00 c propagation : 0.02 119 119 - 1757 83.4 12 33.5 - - -
3587.08/3597.00 c infeasible LP : 0.09 66 66 - 1485 166.8 3 45.3 65 212.3 0
3587.08/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.08/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.08/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.08/3597.00 c applied globally : 0.03 - - 0 1545 60.6 - - 65 - -
3587.08/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.08/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.08/3597.00 c cut pool : 0.04 - 153 21 - - 1644 5300 - - - - - (maximal pool size: 1543)
3587.08/3597.00 c aggregation : 0.16 0.00 54 11 0 0 81 550 0 288 288 0 0
3587.08/3597.00 c > cmir : - - - - - - - 530 0 273 273 0 -
3587.08/3597.00 c > flowcover : - - - - - - - 5 0 2 2 0 -
3587.08/3597.00 c > knapsackcover : - - - - - - - 15 0 13 13 0 -
3587.08/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c clique : 0.05 0.00 11 11 0 0 54 201 0 172 172 0 0
3587.08/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c gomory : 76.41 0.00 53 10 0 0 1210 3375 0 777 777 0 0
3587.08/3597.00 c > gomorymi : - - - - - - - 921 0 129 129 0 -
3587.08/3597.00 c > strongcg : - - - - - - - 2454 0 648 648 0 -
3587.08/3597.00 c impliedbounds : 0.01 0.00 54 11 0 0 99 384 0 311 311 0 0
3587.08/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.08/3597.00 c multilinear : 0.00 0.00 42 11 0 0 0 0 0 0 0 0 0
3587.19/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.19/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.19/3597.00 c rlt : 0.00 0.00 31 10 0 0 0 0 0 0 0 0 0
3587.19/3597.00 c zerohalf : 0.73 0.00 54 11 0 0 278 790 78 474 439 35 0
3587.19/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.19/3597.00 c hybrid : 0.01 0.00 99 11 2347 0 3886 536 0 792
3587.19/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.19/3597.00 c problem variables: 0.00 - 0 0
3587.19/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.19/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c relpscost : 5.89 0.00 340 0 0 0 0 0 0 680
3587.19/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.19/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.19/3597.00 c LP solutions : 0.00 - - 0 0
3587.19/3597.00 c relax solutions : 0.00 - - 0 0
3587.19/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.19/3597.00 c strong branching : 0.00 - - 0 0
3587.19/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.19/3597.00 c adaptivediving : 54.74 0.00 3 0 0
3587.19/3597.00 c alns : 19.61 0.00 3 0 0
3587.19/3597.00 c bound : 0.00 0.00 0 0 0
3587.19/3597.00 c clique : 0.07 0.00 1 0 0
3587.19/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.19/3597.00 c completesol : 0.00 0.00 0 0 0
3587.19/3597.00 c conflictdiving : 69.37 0.00 16 0 0
3587.19/3597.00 c crossover : 0.00 0.00 0 0 0
3587.19/3597.00 c dins : 0.00 0.00 0 0 0
3587.19/3597.00 c distributiondivin: 167.26 0.00 11 0 0
3587.19/3597.00 c dps : 0.00 0.00 0 0 0
3587.19/3597.00 c dualval : 0.00 0.00 0 0 0
3587.19/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.19/3597.00 c feasjump : 0.02 0.00 1 0 0
3587.19/3597.00 c feaspump : 57.87 0.00 6 0 0
3587.19/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.19/3597.00 c fracdiving : 63.85 0.00 12 0 0
3587.19/3597.00 c gins : 0.00 0.00 0 0 0
3587.19/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.19/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.19/3597.00 c indicator : 0.00 0.00 0 0 0
3587.19/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.19/3597.00 c indoneopt : 0.00 0.00 0 0 0
3587.19/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.19/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.19/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.19/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.19/3597.00 c linesearchdiving : 88.68 0.00 15 0 0
3587.19/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.19/3597.00 c locks : 0.01 0.00 1 0 0
3587.19/3597.00 c lpface : 0.00 0.00 0 0 0
3587.19/3597.00 c mpec : 0.00 0.00 0 0 0
3587.19/3597.00 c multistart : 0.00 0.00 0 0 0
3587.19/3597.00 c mutation : 0.00 0.00 0 0 0
3587.19/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.19/3597.00 c objpscostdiving : 64.80 0.00 2 0 0
3587.19/3597.00 c octane : 0.00 0.00 0 0 0
3587.19/3597.00 c ofins : 0.00 0.00 0 0 0
3587.19/3597.00 c oneopt : 0.00 0.00 0 0 0
3587.19/3597.00 c padm : 0.00 0.00 0 0 0
3587.19/3597.00 c proximity : 0.00 0.00 0 0 0
3587.19/3597.00 c pscostdiving : 183.25 0.00 15 0 0
3587.19/3597.00 c randrounding : 0.15 0.00 75 0 0
3587.19/3597.00 c rens : 0.12 0.00 1 0 0
3587.19/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.19/3597.00 c repair : 0.00 0.00 0 0 0
3587.19/3597.00 c rins : 0.00 0.00 0 0 0
3587.19/3597.00 c rootsoldiving : 30.64 0.00 6 0 0
3587.19/3597.00 c rounding : 0.20 0.00 245 0 0
3587.19/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.19/3597.00 c shiftandpropagate: 0.02 0.00 1 0 0
3587.19/3597.00 c shifting : 0.87 0.00 118 0 0
3587.19/3597.00 c simplerounding : 0.00 0.00 0 0 0
3587.19/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.19/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.19/3597.00 c trivial : 0.00 0.00 2 0 0
3587.19/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.19/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.19/3597.00 c trysol : 0.00 0.00 0 0 0
3587.19/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.19/3597.00 c undercover : 0.00 0.00 0 0 0
3587.19/3597.00 c vbounds : 0.04 0.00 1 0 0
3587.19/3597.00 c veclendiving : 61.66 0.00 13 0 0
3587.19/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.19/3597.00 c zirounding : 0.10 0.00 340 0 0
3587.19/3597.00 c other solutions : - - - 0 -
3587.19/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.19/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.19/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.19/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.19/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.19/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.19/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.19/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.19/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.19/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.19/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.19/3597.00 c primal LP : 2.73 41 0 0.00 0.00 2.73 41
3587.19/3597.00 c dual LP : 2644.64 440 3485509 7921.61 1317.95 0.00 0
3587.19/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.19/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.19/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.19/3597.00 c diving/probing LP: 834.92 2507 1760935 702.41 2109.11
3587.19/3597.00 c strong branching : 5.50 20 11770 588.50 2139.56 - - 15
3587.19/3597.00 c (at root node) : - 20 11770 588.50 -
3587.19/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.19/3597.00 c B&B Tree :
3587.19/3597.00 c number of runs : 1
3587.19/3597.00 c nodes : 341 (340 internal, 1 leaves)
3587.19/3597.00 c feasible leaves : 0
3587.19/3597.00 c infeas. leaves : 0
3587.19/3597.00 c objective leaves : 0
3587.19/3597.00 c nodes (total) : 341 (340 internal, 1 leaves)
3587.19/3597.00 c nodes left : 341
3587.19/3597.00 c max depth : 23
3587.19/3597.00 c max depth (total): 23
3587.19/3597.00 c backtracks : 103 (30.2%)
3587.19/3597.00 c early backtracks : 0 (0.0%)
3587.19/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.19/3597.00 c delayed cutoffs : 0
3587.19/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.19/3597.00 c avg switch length: 3.60
3587.19/3597.00 c switching time : 2.87
3587.19/3597.00 c Root Node :
3587.19/3597.00 c First LP value : +0.00000000000000e+00
3587.19/3597.00 c First LP Iters : 14694 (1591.46 Iter/sec)
3587.19/3597.00 c First LP Time : 9.23
3587.19/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.19/3597.00 c Final Root Iters : 169490
3587.19/3597.00 c Root LP Estimate : +5.93268200973846e-02
3587.19/3597.00 c Solution :
3587.19/3597.00 c Solutions found : 0 (0 improvements)
3587.19/3597.00 c Primal Bound : -
3587.19/3597.00 c Dual Bound : +0.00000000000000e+00
3587.19/3597.00 c Gap : infinite
3587.19/3597.00 c Integrals : Total Avg%
3587.19/3597.00 c primal-dual : 359699.79 100.00
3587.19/3597.00 c primal-ref : - - (not evaluated)
3587.19/3597.00 c dual-ref : - - (not evaluated)
3587.19/3597.06 c Time complete: 3587.26.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59308 MiB free)
memory of node 1: 64473 MiB (62731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441935-1721296786/watcher-4441935-1721296786 -o /tmp/evaluation-result-4441935-1721296786/solver-4441935-1721296786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721294195-967152 --watchdog 3760 pbscip -f HOME/instance-4441935-1721296786.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=969274, runsolver pid=969271
[startup+0.100924 s]*
/proc/loadavg: 4.07 4.10 4.05 5/258 969275
/proc/meminfo: memFree=124917156/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=109844 memory=69316 CPUtime=0.09 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 14139 0 0 0 7 2 0 0 20 0 1 0 181841049 112480256 17233 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 27461 17233 3572 3540 0 15718 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109844 KiB
Current children cumulated memory: 69316 KiB
[startup+0.20572 s]*
/proc/loadavg: 4.07 4.10 4.05 5/258 969275
/proc/meminfo: memFree=124891104/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=118632 memory=78528 CPUtime=0.19 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 21035 0 0 0 16 3 0 0 20 0 1 0 181841049 121479168 19632 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 29658 19632 3763 3540 0 17915 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118632 KiB
Current children cumulated memory: 78528 KiB
[startup+0.305683 s]*
/proc/loadavg: 4.07 4.10 4.05 5/258 969275
/proc/meminfo: memFree=124892516/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=130624 memory=90536 CPUtime=0.3 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 25558 0 0 0 26 4 0 0 20 0 1 0 181841049 133758976 22634 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 32656 22634 3795 3540 0 20913 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 130624 KiB
Current children cumulated memory: 90536 KiB
[startup+0.70019 s]
/proc/loadavg: 4.07 4.10 4.05 5/258 969275
/proc/meminfo: memFree=124857604/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=177748 memory=124584 CPUtime=0.68 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 33570 0 0 0 63 5 0 0 20 0 1 0 181841049 182013952 31146 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 44437 31146 3811 3540 0 32694 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 177748 KiB
Current children cumulated memory: 124584 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.10 4.05 5/258 969275
/proc/meminfo: memFree=124827612/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=197308 memory=154396 CPUtime=1.48 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 40470 0 0 0 142 6 0 0 20 0 1 0 181841049 202043392 38599 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 49327 38599 3987 3540 0 37584 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197308 KiB
Current children cumulated memory: 154396 KiB
[startup+3.10538 s]
/proc/loadavg: 4.07 4.10 4.05 5/258 969275
/proc/meminfo: memFree=124827332/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=197308 memory=154396 CPUtime=3.08 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 40473 0 0 0 302 6 0 0 20 0 1 0 181841049 202043392 38599 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 49327 38599 3987 3540 0 37584 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 197308 KiB
Current children cumulated memory: 154396 KiB
[startup+6.3002 s]
/proc/loadavg: 4.07 4.09 4.05 5/258 969275
/proc/meminfo: memFree=124827340/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=198284 memory=155240 CPUtime=6.27 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 40662 0 0 0 621 6 0 0 20 0 1 0 181841049 203042816 38810 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 49571 38810 4003 3540 0 37828 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 198284 KiB
Current children cumulated memory: 155240 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.05 5/258 969277
/proc/meminfo: memFree=124826416/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=198284 memory=155240 CPUtime=12.65 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 40664 0 0 0 1259 6 0 0 20 0 1 0 181841049 203042816 38810 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 49571 38810 4003 3540 0 37828 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 198284 KiB
Current children cumulated memory: 155240 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.05 5/258 969278
/proc/meminfo: memFree=124816168/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=211660 memory=165256 CPUtime=25.43 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 43199 0 0 0 2536 7 0 0 20 0 1 0 181841049 216739840 41314 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 52915 41314 4003 3540 0 41172 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 211660 KiB
Current children cumulated memory: 165256 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.05 5/258 969285
/proc/meminfo: memFree=124808560/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=229480 memory=172640 CPUtime=50.96 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 45038 0 0 0 5089 7 0 0 20 0 1 0 181841049 234987520 43160 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 57370 43160 4003 3540 0 45627 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 229480 KiB
Current children cumulated memory: 172640 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/256 969305
/proc/meminfo: memFree=124803284/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=243164 memory=177580 CPUtime=102.03 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 45737 0 0 0 10195 8 0 0 20 0 1 0 181841049 248999936 44395 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 60791 44395 4003 3540 0 49048 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 243164 KiB
Current children cumulated memory: 177580 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.06 5/256 969315
/proc/meminfo: memFree=124756664/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=299496 memory=223824 CPUtime=161.87 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 57289 0 0 0 16178 9 0 0 20 0 1 0 181841049 306683904 55956 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 74874 55956 4019 3540 0 63131 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 299496 KiB
Current children cumulated memory: 223824 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.05 5/255 969325
/proc/meminfo: memFree=124745704/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=299496 memory=224668 CPUtime=221.72 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 57493 0 0 0 22162 10 0 0 20 0 1 0 181841049 306683904 56167 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 74874 56167 4035 3540 0 63131 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 299496 KiB
Current children cumulated memory: 224668 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/255 969337
/proc/meminfo: memFree=124745312/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=299496 memory=224668 CPUtime=281.57 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 57501 0 0 0 28147 10 0 0 20 0 1 0 181841049 306683904 56167 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 74874 56167 4035 3540 0 63131 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 299496 KiB
Current children cumulated memory: 224668 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/254 969347
/proc/meminfo: memFree=124745004/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=299496 memory=224668 CPUtime=341.42 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 57507 0 0 0 34132 10 0 0 20 0 1 0 181841049 306683904 56167 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 74874 56167 4035 3540 0 63131 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 299496 KiB
Current children cumulated memory: 224668 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/254 969358
/proc/meminfo: memFree=124703064/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=300040 memory=225244 CPUtime=401.27 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 57679 0 0 0 40117 10 0 0 20 0 1 0 181841049 307240960 56311 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 75010 56311 4035 3540 0 63267 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 300040 KiB
Current children cumulated memory: 225244 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/254 969369
/proc/meminfo: memFree=124702812/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=300040 memory=225244 CPUtime=461.11 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 57681 0 0 0 46101 10 0 0 20 0 1 0 181841049 307240960 56311 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 75010 56311 4035 3540 0 63267 0
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.09 5/257 971067
/proc/meminfo: memFree=126292692/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3153.84 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 74837 0 0 0 315370 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 971077
/proc/meminfo: memFree=126252316/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3213.65 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 74948 0 0 0 321351 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 971089
/proc/meminfo: memFree=126250012/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3273.46 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75058 0 0 0 327332 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/255 971481
/proc/meminfo: memFree=126205276/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3333.28 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75167 0 0 0 333314 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 971491
/proc/meminfo: memFree=126206616/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3393.09 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75273 0 0 0 339295 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 971502
/proc/meminfo: memFree=126133656/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3452.9 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75386 0 0 0 345276 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/256 971681
/proc/meminfo: memFree=126133012/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3512.71 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75495 0 0 0 351257 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 971692
/proc/meminfo: memFree=126109408/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3572.53 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75604 0 0 0 357239 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3597.07 s]
# the end of solver process 969274 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.12 s, system=0.147496 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.12 4.09 5/257 971692
/proc/meminfo: memFree=126109408/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3574.23 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75604 0 0 0 357409 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3574.23 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 971694
/proc/meminfo: memFree=126107420/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3580.6 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75604 0 0 0 358046 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3580.6 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 971694
/proc/meminfo: memFree=126107340/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3583.79 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75605 0 0 0 358365 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3583.79 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3595.2 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 971694
/proc/meminfo: memFree=126107340/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3585.39 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75605 0 0 0 358525 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3585.39 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3596 s]*
/proc/loadavg: 4.18 4.13 4.10 5/257 971694
/proc/meminfo: memFree=126107340/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3586.19 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75605 0 0 0 358605 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3596.8 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 971694
/proc/meminfo: memFree=126107340/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3586.98 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75605 0 0 0 358684 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3586.98 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
[startup+3597 s]*
/proc/loadavg: 4.18 4.13 4.10 5/257 971694
/proc/meminfo: memFree=126107340/131524600 swapFree=131071216/131071996
[pid=969274] ppid=969271 vsize=357144 memory=308572 CPUtime=3587.19 cores=5,7
/proc/969274/stat : 969274 (pbscip) R 969271 969274 967139 0 -1 4194304 75605 0 0 0 358705 14 0 0 20 0 1 0 181841049 365715456 77143 134679101440 4194304 18693293 140733689402016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35061760 140733689406467 140733689406566 140733689406566 140733689413582 0
/proc/969274/statm: 89286 77143 4035 3540 0 77543 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 357144 KiB
Current children cumulated memory: 308572 KiB
Child status: 0
Real time (s): 3597.07
CPU time (s): 3587.26
CPU user time (s): 3587.12
CPU system time (s): 0.147496
CPU usage (%): 99.7274
Max. virtual memory (cumulated for all children) (KiB): 357144
Max. memory (cumulated for all children) (KiB): 308572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.12
system time used= 0.147496
maximum resident set size= 308572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75631
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= 37
involuntary context switches= 1148
# summary of solver processes directly reported to runsolver:
# pid: 969274
# total CPU time (s): 3587.26
# total CPU user time (s): 3587.12
# total CPU system time (s): 0.147496
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30864 second user time and 15.0977 second system time
The end