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.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4514312-1751227491.opb>
0.08/0.13 c original problem has 5256 variables (5256 bin, 0 int, 0 impl, 0 cont) and 25637 constraints
0.08/0.13 c problem read in 0.12
0.08/0.13 c No objective function, only one solution is needed.
0.19/0.22 c presolving:
0.19/0.29 c (round 1, fast) 4 del vars, 4 del conss, 0 add conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 10010 clqs
0.19/0.30 c (round 2, fast) 6 del vars, 637 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 10290 clqs
0.19/0.30 c (round 3, fast) 7 del vars, 701 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 10290 clqs
0.38/0.44 c (0.4s) running MILP presolver
0.48/0.57 c (0.6s) MILP presolver found nothing
0.67/0.70 c (round 4, exhaustive) 7 del vars, 701 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 24935 upgd conss, 0 impls, 10290 clqs
1.27/1.39 c (1.4s) probing: 51/5250 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.27/1.39 c (1.4s) probing aborted: 50/50 successive totally useless probings
1.46/1.50 c (1.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.77/1.84 c (1.8s) symmetry computation finished: 36 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.18)
1.77/1.84 c dynamic symmetry handling statistics:
1.77/1.84 c orbitopal reduction: no components
1.77/1.84 c orbital reduction: no components
1.77/1.84 c lexicographic reduction: 36 permutations with support sizes 142, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 144, 72
1.77/1.84 c handled 36 out of 36 symmetry components
1.86/1.90 c presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
1.86/1.90 c 7 deleted vars, 701 deleted constraints, 0 added constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.86/1.90 c 0 implications, 10290 cliques
1.86/1.90 c presolved problem has 5250 variables (5250 bin, 0 int, 0 impl, 0 cont) and 24936 constraints
1.86/1.90 c 1 constraints of type <knapsack>
1.86/1.90 c 10290 constraints of type <setppc>
1.86/1.90 c 1 constraints of type <linear>
1.86/1.90 c 14644 constraints of type <logicor>
1.86/1.90 c transformed objective value is always integral (scale: 1)
1.86/1.90 c Presolving Time: 1.67
1.86/1.90 c - non default parameters ----------------------------------------------------------------------
1.86/1.90 c # SCIP version 10.0.0
1.86/1.90 c
1.86/1.90 c # maximal time in seconds to run
1.86/1.90 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.86/1.90 c limits/time = 3596.998008
1.86/1.90 c
1.86/1.90 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.86/1.90 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.86/1.90 c limits/memory = 27900
1.86/1.90 c
1.86/1.90 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
1.86/1.90 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
1.86/1.90 c limits/solutions = 1
1.86/1.90 c
1.86/1.90 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.
1.86/1.90 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
1.86/1.90 c misc/usesymmetry = 3
1.86/1.90 c
1.86/1.90 c # belongs reading time to solving time?
1.86/1.90 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.86/1.90 c timing/reading = TRUE
1.86/1.90 c
1.86/1.90 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
1.86/1.90 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1.86/1.90 c propagating/symmetry/detectdoublelex = FALSE
1.86/1.90 c
1.86/1.90 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
1.86/1.90 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1.86/1.90 c propagating/symmetry/detectsubgroups = FALSE
1.86/1.90 c
1.86/1.90 c # Type of symmetries that shall be computed?
1.86/1.90 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
1.86/1.90 c propagating/symmetry/symtype = 1
1.86/1.90 c
1.86/1.90 c # Should components consisting of a single full reflection be handled?
1.86/1.90 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1.86/1.90 c propagating/symmetry/usesimplesgncomp = FALSE
1.86/1.90 c
1.86/1.90 c -----------------------------------------------------------------------------------------------
1.86/1.90 c start solving
1.86/1.90 c
3.86/3.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.86/3.90 c 3.9s| 1 | 0 | 3752 | - | 277M | 0 |5250 | 25k| 24k| 0 | 0 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown
41.86/42.01 c 42.0s| 1 | 0 | 32560 | - | 313M | 0 |5250 | 25k| 24k| 33 | 1 | 142 | 0 | 0.000000e+00 | -- | Inf | unknown
48.33/48.52 c 48.5s| 1 | 0 | 36198 | - | 315M | 0 |5250 | 25k| 24k| 41 | 2 | 142 | 0 | 0.000000e+00 | -- | Inf | unknown
57.41/57.67 c 57.7s| 1 | 0 | 42448 | - | 318M | 0 |5250 | 25k| 24k| 52 | 3 | 142 | 0 | 0.000000e+00 | -- | Inf | unknown
65.59/65.85 c 65.8s| 1 | 0 | 46208 | - | 320M | 0 |5250 | 25k| 24k| 61 | 4 | 149 | 0 | 0.000000e+00 | -- | Inf | unknown
75.86/76.11 c 76.1s| 1 | 0 | 52542 | - | 323M | 0 |5250 | 25k| 25k| 83 | 5 | 153 | 0 | 0.000000e+00 | -- | Inf | unknown
84.74/85.04 c 85.0s| 1 | 0 | 56880 | - | 331M | 0 |5250 | 25k| 25k| 96 | 6 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
96.50/96.89 c 96.9s| 1 | 0 | 63536 | - | 333M | 0 |5250 | 25k| 25k| 115 | 7 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
110.36/110.79 c 111s| 1 | 0 | 72095 | - | 336M | 0 |5250 | 25k| 25k| 136 | 8 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
119.03/119.45 c 119s| 1 | 0 | 76672 | - | 340M | 0 |5250 | 25k| 25k| 143 | 9 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
127.41/127.86 c 128s| 1 | 0 | 80879 | - | 342M | 0 |5250 | 25k| 25k| 150 | 10 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
137.58/138.04 c 138s| 1 | 0 | 90589 | - | 347M | 0 |5250 | 25k| 25k| 176 | 11 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
215.46/216.16 c 216s| 1 | 2 |140031 | - | 348M | 0 |5250 | 25k| 25k| 176 | 11 | 216 | 21 | 0.000000e+00 | -- | Inf | unknown
2065.83/2072.17 c 2072s| 100 | 45 | 1672k|15980.3 | 400M | 21 |5250 | 25k| 25k| 685 | 0 | 929 | 21 | 0.000000e+00 | -- | Inf | 1.90%
2338.76/2345.97 c 2346s| 200 | 61 | 2059k|9894.4 | 406M | 23 |5250 | 25k| 25k| 870 | 2 | 976 | 21 | 0.000000e+00 | -- | Inf | 1.92%
2800.53/2809.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2800.53/2809.19 c 2809s| 300 | 77 | 2573k|8303.1 | 418M | 23 |5250 | 25k| 25k|1086 | 1 |1156 | 21 | 0.000000e+00 | -- | Inf | 2.02%
3080.52/3089.86 c 3090s| 400 | 89 | 2951k|7169.2 | 426M | 28 |5250 | 25k| 25k|1207 | 1 |1210 | 21 | 0.000000e+00 | -- | Inf | 3.63%
3586.44/3597.00 c
3586.44/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.44/3597.00 c Solving Time (sec) : 3597.00
3586.44/3597.00 c Solving Nodes : 498
3586.44/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.44/3597.00 c Dual Bound : +0.00000000000000e+00
3586.44/3597.00 c Gap : infinite
3586.44/3597.00 s UNKNOWN
3586.44/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.44/3597.00 c Total Time : 3597.00
3586.44/3597.00 c solving : 3597.00
3586.44/3597.00 c presolving : 1.67 (included in solving)
3586.44/3597.00 c reading : 0.12 (included in solving)
3586.44/3597.00 c copying : 0.21 (4 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3586.44/3597.00 c Original Problem :
3586.44/3597.00 c Problem name : HOME/instance-4514312-1751227491.opb
3586.44/3597.00 c Variables : 5256 (5256 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.44/3597.00 c Constraints : 25637 initial, 25637 maximal
3586.44/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.44/3597.00 c Presolved Problem :
3586.44/3597.00 c Problem name : t_HOME/instance-4514312-1751227491.opb
3586.44/3597.00 c Variables : 5250 (5250 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.44/3597.00 c Constraints : 24936 initial, 25673 maximal
3586.44/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.44/3597.00 c Nonzeros : 368676 constraint, 20580 clique table
3586.44/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.44/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c domcol : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c dualsparsify : 0.12 0.00 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c gateextraction : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c milp : 0.27 0.00 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c sparsify : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c trivial : 0.00 0.00 5 1 0 0 0 0 0 0 0 0
3586.44/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c dualfix : 0.00 0.00 5 1 0 0 0 0 0 0 0 0
3586.44/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c probing : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c symmetry : 0.34 0.00 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c setppc : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c linear : 0.17 0.06 7 4 0 0 4 0 701 0 0 0
3586.44/3597.00 c logicor : 0.44 0.03 3 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.44/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.44/3597.00 c benderslp : 0 0 0 0 296 0 0 66 0 0 0 0 0 0 0
3586.44/3597.00 c integral : 0 0 0 0 296 0 0 66 0 0 0 0 0 0 592
3586.44/3597.00 c knapsack : 1+ 2 11 11459 0 0 0 62 12037 2 8567 0 0 0 0
3586.44/3597.00 c setppc : 10290 10290 11 11659 0 0 0 51 72910 1 29544 0 0 0 0
3586.44/3597.00 c linear : 1+ 67 11 11614 0 0 0 4 2444 75 770 0 0 0 0
3586.44/3597.00 c logicor : 14644+ 15347 11 5587 0 0 0 0 106739 112 611156 2 1 0 0
3586.44/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.44/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c integral : 23.44 0.00 0.00 0.00 23.44 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c knapsack : 0.10 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.01 0.00
3586.44/3597.00 c setppc : 0.77 0.00 0.01 0.73 0.00 0.00 0.00 0.00 0.02 0.01
3586.44/3597.00 c linear : 0.13 0.06 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c logicor : 2.48 0.03 0.05 2.37 0.00 0.00 0.00 0.00 0.03 0.01
3586.44/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.44/3597.00 c dualfix : 1 0 0 0
3586.44/3597.00 c genvbounds : 0 0 0 0
3586.44/3597.00 c nlobbt : 0 0 0 0
3586.44/3597.00 c obbt : 0 0 0 0
3586.44/3597.00 c probing : 0 0 0 0
3586.44/3597.00 c pseudoobj : 0 0 0 0
3586.44/3597.00 c redcost : 0 0 0 0
3586.44/3597.00 c rootredcost : 0 0 0 0
3586.44/3597.00 c symmetry : 0 0 0 0
3586.44/3597.00 c vbounds : 2218 0 0 0
3586.44/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.44/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c probing : 0.06 0.00 0.06 0.00 0.00 0.00
3586.44/3597.00 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c symmetry : 0.35 0.00 0.34 0.01 0.00 0.00
3586.44/3597.00 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.44/3597.00 c Symmetry :
3586.44/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.44/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.44/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.44/3597.00 c shadow tree time : 0.00 s
3586.44/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.44/3597.00 c propagation : 0.01 112 98 - 696 33.1 0 0.0 - - -
3586.44/3597.00 c infeasible LP : 0.57 252 173 - 2452 387.4 0 0.0 71 455.8 0
3586.44/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.44/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.44/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.44/3597.00 c applied globally : 0.02 - - 0 1167 138.0 - - 64 - -
3586.44/3597.00 c applied locally : - - - 0 11 850.0 - - 7 - -
3586.44/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.44/3597.00 c cut pool : 0.06 - 114 21 - - 713 2237 - - - - - (maximal pool size: 707)
3586.44/3597.00 c aggregation : 0.52 0.00 43 11 0 0 26 101 4 82 82 0 0
3586.44/3597.00 c > cmir : - - - - - - - 101 4 82 82 0 -
3586.44/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.44/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.44/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c clique : 0.50 0.00 11 11 0 0 65 647 0 599 599 0 0
3586.44/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c gomory : 137.39 0.00 42 10 0 0 593 1007 50 94 93 1 0
3586.44/3597.00 c > gomorymi : - - - - - - - 488 25 14 14 0 -
3586.44/3597.00 c > strongcg : - - - - - - - 519 25 80 79 1 -
3586.44/3597.00 c impliedbounds : 0.02 0.00 43 11 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c multilinear : 0.00 0.00 34 11 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c rlt : 0.00 0.00 26 10 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c zerohalf : 4.80 0.00 43 11 0 0 478 482 395 703 327 376 0
3586.44/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.44/3597.00 c hybrid : 0.03 0.00 83 11 1479 0 1209 176 0 20
3586.44/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.44/3597.00 c problem variables: 0.00 - 0 0
3586.44/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.44/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c relpscost : 23.44 0.00 296 0 0 0 0 0 0 592
3586.44/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.44/3597.00 c LP solutions : 0.00 - - 0 0
3586.44/3597.00 c relax solutions : 0.00 - - 0 0
3586.44/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.44/3597.00 c strong branching : 0.00 - - 0 0
3586.44/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.44/3597.00 c adaptivediving : 52.82 0.00 4 0 0
3586.44/3597.00 c alns : 0.80 0.00 4 0 0
3586.44/3597.00 c bound : 0.00 0.00 0 0 0
3586.44/3597.00 c clique : 0.14 0.00 1 0 0
3586.44/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.44/3597.00 c completesol : 0.00 0.00 0 0 0
3586.44/3597.00 c conflictdiving : 70.34 0.00 3 0 0
3586.44/3597.00 c crossover : 0.00 0.00 0 0 0
3586.44/3597.00 c dins : 0.00 0.00 0 0 0
3586.44/3597.00 c distributiondivin: 62.36 0.00 2 0 0
3586.44/3597.00 c dps : 0.00 0.00 0 0 0
3586.44/3597.00 c dualval : 0.00 0.00 0 0 0
3586.44/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.44/3597.00 c feasjump : 0.17 0.00 1 0 0
3586.44/3597.00 c feaspump : 29.19 0.00 1 0 0
3586.44/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.44/3597.00 c fracdiving : 97.75 0.00 3 0 0
3586.44/3597.00 c gins : 0.00 0.00 0 0 0
3586.44/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.44/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3586.44/3597.00 c indicator : 0.00 0.00 0 0 0
3586.44/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.44/3597.00 c indoneopt : 0.00 0.00 0 0 0
3586.44/3597.00 c indrounding : 0.00 0.00 0 0 0
3586.44/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3586.44/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.44/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.44/3597.00 c linesearchdiving : 58.67 0.00 3 0 0
3586.44/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.44/3597.00 c locks : 0.03 0.00 1 0 0
3586.44/3597.00 c lpface : 0.00 0.00 0 0 0
3586.44/3597.00 c mpec : 0.00 0.00 0 0 0
3586.44/3597.00 c multistart : 0.00 0.00 0 0 0
3586.44/3597.00 c mutation : 0.00 0.00 0 0 0
3586.44/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.44/3597.00 c objpscostdiving : 574.25 0.00 1 0 0
3586.44/3597.00 c octane : 0.00 0.00 0 0 0
3586.44/3597.00 c ofins : 0.00 0.00 0 0 0
3586.44/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.44/3597.00 c padm : 0.00 0.00 0 0 0
3586.44/3597.00 c proximity : 0.00 0.00 0 0 0
3586.44/3597.00 c pscostdiving : 76.34 0.00 3 0 0
3586.44/3597.00 c randrounding : 0.19 0.00 71 0 0
3586.44/3597.00 c rens : 0.00 0.00 0 0 0
3586.44/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.44/3597.00 c repair : 0.00 0.00 0 0 0
3586.44/3597.00 c rins : 0.00 0.00 0 0 0
3586.44/3597.00 c rootsoldiving : 52.55 0.00 2 0 0
3586.44/3597.00 c rounding : 0.41 0.00 227 0 0
3586.44/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.44/3597.01 c shiftandpropagate: 0.29 0.00 1 0 0
3586.44/3597.01 c shifting : 1.11 0.00 108 0 0
3586.44/3597.01 c simplerounding : 0.00 0.00 0 0 0
3586.44/3597.01 c smallcard : 0.00 0.00 0 0 0
3586.44/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.44/3597.01 c trivial : 0.00 0.00 2 0 0
3586.44/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.44/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.44/3597.01 c trysol : 0.00 0.00 0 0 0
3586.44/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.44/3597.01 c undercover : 0.00 0.00 0 0 0
3586.44/3597.01 c vbounds : 0.29 0.00 1 0 0
3586.44/3597.01 c veclendiving : 171.86 0.00 3 0 0
3586.44/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.44/3597.01 c zirounding : 0.50 0.00 296 0 0
3586.44/3597.01 c other solutions : - - - 0 -
3586.44/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.44/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.44/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.44/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.44/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.44/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.44/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.44/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.44/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.44/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.44/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.44/3597.01 c primal LP : 0.34 35 0 0.00 0.00 0.34 35
3586.44/3597.01 c dual LP : 2172.04 555 2581243 4650.89 1188.40 0.00 0
3586.44/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.44/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.44/3597.01 c resolve instable : 0.00 0 0 0.00 -
3586.44/3597.01 c diving/probing LP: 1240.41 1405 921031 655.54 742.52
3586.44/3597.01 c strong branching : 21.22 21 21000 1000.00 989.86 - - 42
3586.44/3597.01 c (at root node) : - 21 21000 1000.00 -
3586.44/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3586.44/3597.01 c B&B Tree :
3586.44/3597.01 c number of runs : 1
3586.44/3597.01 c nodes : 498 (296 internal, 202 leaves)
3586.44/3597.01 c feasible leaves : 0
3586.44/3597.01 c infeas. leaves : 201
3586.44/3597.01 c objective leaves : 0
3586.44/3597.01 c nodes (total) : 498 (296 internal, 202 leaves)
3586.44/3597.01 c nodes left : 94
3586.44/3597.01 c max depth : 39
3586.44/3597.01 c max depth (total): 39
3586.44/3597.01 c backtracks : 93 (18.7%)
3586.44/3597.01 c early backtracks : 0 (0.0%)
3586.44/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.44/3597.01 c delayed cutoffs : 2
3586.44/3597.01 c repropagations : 62 (1020 domain reductions, 1 cutoffs)
3586.44/3597.01 c avg switch length: 3.12
3586.44/3597.01 c switching time : 1.62
3586.44/3597.01 c Root Node :
3586.44/3597.01 c First LP value : +0.00000000000000e+00
3586.44/3597.01 c First LP Iters : 3752 (3495.13 Iter/sec)
3586.44/3597.01 c First LP Time : 1.07
3586.44/3597.01 c Final Dual Bound : +0.00000000000000e+00
3586.44/3597.01 c Final Root Iters : 90589
3586.44/3597.01 c Root LP Estimate : +1.26966547736346e-03
3586.44/3597.01 c Solution :
3586.44/3597.01 c Solutions found : 0 (0 improvements)
3586.44/3597.01 c Primal Bound : -
3586.44/3597.01 c Dual Bound : +0.00000000000000e+00
3586.44/3597.01 c Gap : infinite
3586.44/3597.01 c Integrals : Total Avg%
3586.44/3597.01 c primal-dual : 359699.89 100.00
3586.44/3597.01 c primal-ref : - - (not evaluated)
3586.44/3597.01 c dual-ref : - - (not evaluated)
3586.54/3597.13 c Time complete: 3586.57.
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: 63665 MiB (62870 MiB free)
memory of node 1: 64507 MiB (63922 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514312-1751227491/watcher-4514312-1751227491 -o /tmp/evaluation-result-4514312-1751227491/solver-4514312-1751227491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751227488-29475 --watchdog 3760 pbscip -f HOME/instance-4514312-1751227491.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29859, runsolver pid=29856
[startup+0.100064 s]*
/proc/loadavg: 0.90 1.03 1.48 4/260 29864
/proc/meminfo: memFree=129846168/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=60252 memory=32640 CPUtime=0.08 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 5242 0 0 0 8 0 0 0 20 0 1 0 38427999 61698048 8160 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 15063 8160 3232 3530 0 6514 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60252 KiB
Current children cumulated memory: 32640 KiB
[startup+0.205476 s]*
/proc/loadavg: 0.90 1.03 1.48 5/260 29878
/proc/meminfo: memFree=129794016/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=126828 memory=100172 CPUtime=0.19 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 22380 0 0 0 16 3 0 0 20 0 1 0 38427999 129871872 25043 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 31707 25043 3520 3530 0 23158 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126828 KiB
Current children cumulated memory: 100172 KiB
[startup+0.305405 s]*
/proc/loadavg: 0.90 1.03 1.48 5/259 29882
/proc/meminfo: memFree=129737784/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=142652 memory=115048 CPUtime=0.28 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 26579 0 0 0 24 4 0 0 20 0 1 0 38427999 146075648 28762 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 35663 28762 3552 3530 0 27114 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 142652 KiB
Current children cumulated memory: 115048 KiB
[startup+0.7002 s]
/proc/loadavg: 0.90 1.03 1.48 4/262 29895
/proc/meminfo: memFree=129652284/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=189140 memory=161616 CPUtime=0.67 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 41192 0 0 0 60 7 0 0 20 0 1 0 38427999 193679360 40404 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 47285 40404 3648 3530 0 38736 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 189140 KiB
Current children cumulated memory: 161616 KiB
[startup+1.50017 s]
/proc/loadavg: 0.90 1.03 1.48 5/260 29932
/proc/meminfo: memFree=129487936/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=210264 memory=180568 CPUtime=1.46 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 44354 0 0 0 139 7 0 0 20 0 1 0 38427999 215310336 45142 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 52566 45142 3712 3530 0 44017 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 210264 KiB
Current children cumulated memory: 180568 KiB
[startup+3.10539 s]
/proc/loadavg: 1.23 1.10 1.50 5/264 29936
/proc/meminfo: memFree=129137260/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=353704 memory=324308 CPUtime=3.07 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 65875 0 0 0 295 12 0 0 20 0 1 0 38427999 362192896 81077 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 88426 81077 3904 3530 0 79877 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 353704 KiB
Current children cumulated memory: 324308 KiB
[startup+6.30016 s]
/proc/loadavg: 1.23 1.10 1.50 5/264 29936
/proc/meminfo: memFree=129100364/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=360204 memory=330784 CPUtime=6.25 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 66967 0 0 0 613 12 0 0 20 0 1 0 38427999 368848896 82696 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 90051 82696 3904 3530 0 81502 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 360204 KiB
Current children cumulated memory: 330784 KiB
[startup+12.7002 s]
/proc/loadavg: 1.73 1.21 1.53 5/264 29936
/proc/meminfo: memFree=129029612/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=372208 memory=342724 CPUtime=12.64 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 68962 0 0 0 1251 13 0 0 20 0 1 0 38427999 381140992 85681 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 93052 85681 3904 3530 0 84503 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 372208 KiB
Current children cumulated memory: 342724 KiB
[startup+25.5002 s]
/proc/loadavg: 2.08 1.30 1.56 5/264 29936
/proc/meminfo: memFree=128953336/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=386268 memory=354392 CPUtime=25.4 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 70855 0 0 0 2527 13 0 0 20 0 1 0 38427999 395538432 88598 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 96567 88598 3904 3530 0 88018 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 386268 KiB
Current children cumulated memory: 354392 KiB
[startup+51.1054 s]
/proc/loadavg: 2.82 1.54 1.63 5/265 29938
/proc/meminfo: memFree=128835852/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=416156 memory=386256 CPUtime=50.93 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 74221 0 0 0 5079 14 0 0 20 0 1 0 38427999 426143744 96564 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 104039 96564 3904 3530 0 95490 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 416156 KiB
Current children cumulated memory: 386256 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.95 1.77 5/265 29939
/proc/meminfo: memFree=128726812/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=438456 memory=394704 CPUtime=101.98 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 76384 0 0 0 10184 14 0 0 20 0 1 0 38427999 448978944 98676 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 109614 98676 3904 3530 0 101065 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 438456 KiB
Current children cumulated memory: 394704 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.35 1.92 5/265 29946
/proc/meminfo: memFree=128648612/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=450232 memory=399056 CPUtime=161.82 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 77440 0 0 0 16167 15 0 0 20 0 1 0 38427999 461037568 99764 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 112558 99764 3936 3530 0 104009 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 450232 KiB
Current children cumulated memory: 399056 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.68 2.06 5/265 29948
/proc/meminfo: memFree=128577452/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=495704 memory=443984 CPUtime=221.64 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 88366 0 0 0 22147 17 0 0 20 0 1 0 38427999 507600896 110996 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 123926 110996 3936 3530 0 115377 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 495704 KiB
Current children cumulated memory: 443984 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.94 2.19 5/265 29950
/proc/meminfo: memFree=128526536/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=495704 memory=447440 CPUtime=281.46 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 88472 0 0 0 28129 17 0 0 20 0 1 0 38427999 507600896 111860 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 123926 111860 3936 3530 0 115377 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 495704 KiB
Current children cumulated memory: 447440 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.15 2.31 5/266 29953
/proc/meminfo: memFree=128462724/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=495704 memory=447696 CPUtime=341.29 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 88505 0 0 0 34112 17 0 0 20 0 1 0 38427999 507600896 111924 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 123926 111924 3936 3530 0 115377 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 495704 KiB
Current children cumulated memory: 447696 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.31 2.42 5/266 29955
/proc/meminfo: memFree=128441484/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=495704 memory=469328 CPUtime=401.11 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 88623 0 0 0 40094 17 0 0 20 0 1 0 38427999 507600896 117332 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 123926 117332 3936 3530 0 115377 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 495704 KiB
Current children cumulated memory: 469328 KiB
[startup+462.3 s]
/proc/loadavg: 4.75 3.63 2.58 5/266 29960
/proc/meminfo: memFree=128400824/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=495704 memory=471632 CPUtime=460.95 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 88623 0 0 0 46078 17 0 0 20 0 1 0 38427999 507600896 117908 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 123926 117908 3936 3530 0 115377 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
/proc/loadavg: 4.06 4.08 4.01 5/264 30316
/proc/meminfo: memFree=127952924/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3212.68 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114296 0 0 0 321248 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/263 30318
/proc/meminfo: memFree=127952240/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3272.53 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114303 0 0 0 327233 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/263 30320
/proc/meminfo: memFree=127952456/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3332.38 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114303 0 0 0 333218 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/263 30333
/proc/meminfo: memFree=127951432/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3392.22 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114303 0 0 0 339202 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3392.22 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/264 30336
/proc/meminfo: memFree=127950932/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3452.07 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114484 0 0 0 345187 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 30340
/proc/meminfo: memFree=127966172/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3511.92 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114485 0 0 0 351172 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/263 30342
/proc/meminfo: memFree=127966800/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3571.77 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114488 0 0 0 357157 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3597.14 s]
# the end of solver process 29859 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.37 s, system=0.210293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.01 5/263 30342
/proc/meminfo: memFree=127966856/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3573.47 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114488 0 0 0 357327 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3590.4 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 30342
/proc/meminfo: memFree=127966656/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3579.85 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114488 0 0 0 357965 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3579.85 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3593.6 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 30342
/proc/meminfo: memFree=127966704/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3583.04 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114488 0 0 0 358284 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3583.04 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3595.2 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 30342
/proc/meminfo: memFree=127966760/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3584.64 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114488 0 0 0 358444 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3584.64 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3596 s]*
/proc/loadavg: 4.05 4.08 4.01 5/263 30342
/proc/meminfo: memFree=127966760/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3585.44 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114488 0 0 0 358524 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3596.8 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 30342
/proc/meminfo: memFree=127966760/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3586.23 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114488 0 0 0 358603 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3597 s]*
/proc/loadavg: 4.05 4.08 4.01 5/263 30342
/proc/meminfo: memFree=127966784/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3586.44 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114488 0 0 0 358624 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3586.44 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
[startup+3597.11 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 30342
/proc/meminfo: memFree=127966784/131249988 swapFree=33010684/33010684
[pid=29859] ppid=29856 vsize=597524 memory=573700 CPUtime=3586.54 cores=5,7
/proc/29859/stat : 29859 (pbscip) R 29856 29859 29462 0 -1 4194304 114493 0 0 0 358634 20 0 0 20 0 1 0 38427999 611864576 143425 18446744073709551615 4235264 18693293 140725873191616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28217344 140725873199497 140725873199596 140725873199596 140725873205198 0
/proc/29859/statm: 149381 143425 3936 3530 0 140832 0
Current children cumulated CPU time: 3586.54 s
Current children cumulated vsize: 597524 KiB
Current children cumulated memory: 573700 KiB
Child status: 0
Real time (s): 3597.14
CPU time (s): 3586.58
CPU user time (s): 3586.37
CPU system time (s): 0.210293
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 597524
Max. memory (cumulated for all children) (KiB): 573700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.37
system time used= 0.210293
maximum resident set size= 573700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114524
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= 100
involuntary context switches= 2065
# summary of solver processes directly reported to runsolver:
# pid: 29859
# total CPU time (s): 3586.58
# total CPU user time (s): 3586.37
# total CPU system time (s): 0.210293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80683 second user time and 15.4043 second system time
The end