0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4446075-1721329697.opb>
0.88/0.93 c original problem has 9342 variables (9342 bin, 0 int, 0 impl, 0 cont) and 199352 constraints
0.88/0.93 c problem read in 0.92
0.88/0.94 c No objective function, only one solution is needed.
1.28/1.34 c presolving:
1.88/1.96 c (2.0s) running MILP presolver
2.58/2.65 c (2.6s) MILP presolver found nothing
3.09/3.15 c (round 1, exhaustive) 1 del vars, 10 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 199340 upgd conss, 0 impls, 40318 clqs
3.57/3.65 c (round 2, exhaustive) 1 del vars, 2826 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 4234 chg coeffs, 199340 upgd conss, 0 impls, 40318 clqs
17.03/17.11 c (17.1s) probing: 821/9341 (8.8%) - 0 fixings, 0 aggregations, 25159 implications, 0 bound changes
17.03/17.11 c (17.1s) probing aborted: 50/50 successive totally useless probings
18.32/18.42 c (18.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
18.72/18.84 c (18.8s) no symmetry present (symcode time: 0.05)
18.93/19.02 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
18.93/19.02 c 1 deleted vars, 2826 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 4316 changed coefficients
18.93/19.02 c 0 implications, 65477 cliques
18.93/19.02 c presolved problem has 9341 variables (9341 bin, 0 int, 0 impl, 0 cont) and 196526 constraints
18.93/19.02 c 20454 constraints of type <knapsack>
18.93/19.02 c 40318 constraints of type <setppc>
18.93/19.02 c 2 constraints of type <linear>
18.93/19.02 c 135752 constraints of type <logicor>
18.93/19.02 c transformed objective value is always integral (scale: 1)
18.93/19.02 c Presolving Time: 17.68
18.93/19.02 c - non default parameters ----------------------------------------------------------------------
18.93/19.02 c # SCIP version 10.0.0
18.93/19.02 c
18.93/19.02 c # maximal time in seconds to run
18.93/19.02 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
18.93/19.02 c limits/time = 3596.993108
18.93/19.02 c
18.93/19.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.93/19.02 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
18.93/19.02 c limits/memory = 27900
18.93/19.02 c
18.93/19.02 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
18.93/19.02 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
18.93/19.02 c limits/solutions = 1
18.93/19.02 c
18.93/19.02 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.
18.93/19.02 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
18.93/19.02 c misc/usesymmetry = 3
18.93/19.02 c
18.93/19.02 c # belongs reading time to solving time?
18.93/19.02 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
18.93/19.02 c timing/reading = TRUE
18.93/19.02 c
18.93/19.02 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
18.93/19.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
18.93/19.02 c propagating/symmetry/detectdoublelex = FALSE
18.93/19.02 c
18.93/19.02 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
18.93/19.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
18.93/19.02 c propagating/symmetry/detectsubgroups = FALSE
18.93/19.02 c
18.93/19.02 c # Type of symmetries that shall be computed?
18.93/19.02 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
18.93/19.02 c propagating/symmetry/symtype = 1
18.93/19.02 c
18.93/19.02 c # Should components consisting of a single full reflection be handled?
18.93/19.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
18.93/19.02 c propagating/symmetry/usesimplesgncomp = FALSE
18.93/19.02 c
18.93/19.02 c -----------------------------------------------------------------------------------------------
18.93/19.02 c start solving
18.93/19.03 c
19.92/20.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.92/20.07 c 20.1s| 1 | 0 | 573 | - | 1067M | 0 |9341 | 196k| 196k| 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
34.37/34.59 c 34.6s| 1 | 0 | 3369 | - | 1095M | 0 |9341 | 196k| 196k| 8 | 1 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
53.34/53.57 c 53.6s| 1 | 0 | 3466 | - | 1114M | 0 |9341 | 196k| 196k| 14 | 2 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
74.08/74.32 c 74.3s| 1 | 0 | 3544 | - | 1135M | 0 |9341 | 196k| 196k| 26 | 3 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown
91.74/92.01 c 92.0s| 1 | 0 | 3894 | - | 1159M | 0 |9341 | 196k| 196k| 41 | 4 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
116.06/116.46 c 116s| 1 | 0 | 4009 | - | 1183M | 0 |9341 | 196k| 196k| 51 | 5 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
125.04/125.43 c 125s| 1 | 0 | 4165 | - | 1210M | 0 |9341 | 196k| 196k| 65 | 6 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
140.09/140.58 c 141s| 1 | 0 | 4299 | - | 1232M | 0 |9341 | 196k| 196k| 74 | 7 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
146.07/146.58 c 147s| 1 | 0 | 4439 | - | 1252M | 0 |9341 | 196k| 196k| 84 | 8 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
154.67/155.17 c 155s| 1 | 0 | 4961 | - | 1271M | 0 |9341 | 196k| 196k| 94 | 9 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
159.56/160.05 c 160s| 1 | 0 | 6784 | - | 1290M | 0 |9341 | 196k| 196k| 109 | 10 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
162.14/162.67 c 163s| 1 | 0 | 11157 | - | 1309M | 0 |9341 | 196k| 196k| 136 | 11 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
183.07/183.65 c 184s| 1 | 2 | 21681 | - | 1311M | 0 |9341 | 196k| 196k| 136 | 11 | 111 | 20 | 0.000000e+00 | -- | Inf | unknown
847.18/849.44 c 849s| 100 | 101 |307695 |2995.3 | 1483M | 14 |9341 | 197k| 196k|1095 | 2 | 789 | 20 | 0.000000e+00 | -- | Inf | unknown
1459.15/1463.19 c 1463s| 200 | 201 |702814 |3475.7 | 1683M | 14 |9341 | 197k| 196k|4171 | 1 |1675 | 20 | 0.000000e+00 | -- | Inf | unknown
1949.31/1954.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1949.31/1954.80 c 1955s| 300 | 301 | 1024k|3389.4 | 1839M | 14 |9341 | 197k| 196k|8858 | 2 |2219 | 20 | 0.000000e+00 | -- | Inf | unknown
2619.31/2626.80 c 2627s| 400 | 401 | 1466k|3647.9 | 1901M | 14 |9341 | 198k| 196k| 12k| 1 |2811 | 20 | 0.000000e+00 | -- | Inf | unknown
3139.88/3148.92 c 3149s| 500 | 501 | 1816k|3617.4 | 1910M | 22 |9341 | 198k| 196k| 14k| 1 |3720 | 20 | 0.000000e+00 | -- | Inf | unknown
3591.16/3601.57 c
3591.16/3601.57 c SCIP Status : solving was interrupted [time limit reached]
3591.16/3601.57 c Solving Time (sec) : 3601.56
3591.16/3601.57 c Solving Nodes : 554
3591.16/3601.57 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3591.16/3601.57 c Dual Bound : +0.00000000000000e+00
3591.16/3601.57 c Gap : infinite
3591.16/3601.57 s UNKNOWN
3591.16/3601.57 c SCIP Status : solving was interrupted [time limit reached]
3591.16/3601.57 c Total Time : 3601.56
3591.16/3601.57 c solving : 3601.56
3591.16/3601.57 c presolving : 17.68 (included in solving)
3591.16/3601.57 c reading : 0.92 (included in solving)
3591.16/3601.57 c copying : 1.37 (5 #copies) (minimal 0.25, maximal 0.30, average 0.27)
3591.16/3601.57 c Original Problem :
3591.16/3601.57 c Problem name : HOME/instance-4446075-1721329697.opb
3591.16/3601.57 c Variables : 9342 (9342 binary, 0 integer, 0 implicit integer, 0 continuous)
3591.16/3601.57 c Constraints : 199352 initial, 199352 maximal
3591.16/3601.57 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3591.16/3601.57 c Presolved Problem :
3591.16/3601.57 c Problem name : t_HOME/instance-4446075-1721329697.opb
3591.16/3601.57 c Variables : 9341 (9341 binary, 0 integer, 0 implicit integer, 0 continuous)
3591.16/3601.57 c Constraints : 196526 initial, 198895 maximal
3591.16/3601.57 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3591.16/3601.57 c Nonzeros : 757777 constraint, 134316 clique table
3591.16/3601.57 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3591.16/3601.57 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c domcol : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c dualsparsify : 1.31 0.00 1 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c gateextraction : 0.21 0.00 2 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c milp : 1.04 0.00 1 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c sparsify : 0.21 0.00 1 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c probing : 12.70 0.00 1 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c symmetry : 0.42 0.00 1 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c knapsack : 0.06 0.00 6 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c setppc : 0.08 0.00 6 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c linear : 0.68 0.10 6 0 1 0 0 0 10 0 9 0
3591.16/3601.57 c logicor : 0.60 0.10 6 0 0 0 0 0 2816 0 0 4316
3591.16/3601.57 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c components : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c root node : - - - 0 - - 0 - - - - -
3591.16/3601.57 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3591.16/3601.57 c benderslp : 0 0 0 0 554 0 0 35 0 0 0 0 0 0 0
3591.16/3601.57 c integral : 0 0 0 0 554 0 0 35 0 0 0 0 0 0 1108
3591.16/3601.57 c knapsack : 20454+ 20467 11 37203 0 0 0 31 667 99 2 144 17 0 0
3591.16/3601.57 c setppc : 40318+ 40382 11 37104 0 0 0 3 18209 309 48329 3 0 0 0
3591.16/3601.57 c linear : 2+ 10 11 36687 0 0 0 3 95 20 0 0 0 0 0
3591.16/3601.57 c logicor : 135752+ 138044 11 22931 0 0 0 0 4145 279 19 16 2 0 0
3591.16/3601.57 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3591.16/3601.57 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c integral : 12.71 0.00 0.00 0.00 12.71 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c knapsack : 2.55 0.00 0.15 2.38 0.00 0.00 0.00 0.01 0.00 0.00
3591.16/3601.57 c setppc : 3.46 0.00 0.03 3.41 0.00 0.00 0.00 0.00 0.01 0.01
3591.16/3601.57 c linear : 0.11 0.10 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c logicor : 1.92 0.10 0.20 1.60 0.00 0.00 0.00 0.00 0.00 0.01
3591.16/3601.57 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c Propagators : #Propagate #ResProp Cutoffs DomReds
3591.16/3601.57 c dualfix : 1 0 0 0
3591.16/3601.57 c genvbounds : 0 0 0 0
3591.16/3601.57 c nlobbt : 0 0 0 0
3591.16/3601.57 c obbt : 0 0 0 0
3591.16/3601.57 c probing : 0 0 0 0
3591.16/3601.57 c pseudoobj : 0 0 0 0
3591.16/3601.57 c redcost : 0 0 0 0
3591.16/3601.57 c rootredcost : 0 0 0 0
3591.16/3601.57 c symmetry : 0 0 0 0
3591.16/3601.57 c vbounds : 13320 0 0 0
3591.16/3601.57 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3591.16/3601.57 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c probing : 12.70 0.00 12.70 0.00 0.00 0.00
3591.16/3601.57 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3591.16/3601.57 c symmetry : 0.43 0.00 0.42 0.00 0.00 0.00
3591.16/3601.57 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3591.16/3601.57 c Symmetry :
3591.16/3601.57 c orbitopal red. : 0 reductions applied, 0 cutoffs
3591.16/3601.57 c orbital reduction: 0 reductions applied, 0 cutoffs
3591.16/3601.57 c lexicographic red: 0 reductions applied, 0 cutoffs
3591.16/3601.57 c shadow tree time : 0.00 s
3591.16/3601.57 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3591.16/3601.57 c propagation : 0.03 691 691 - 4454 22.8 106 13.2 - - -
3591.16/3601.57 c infeasible LP : 0.11 53 53 - 454 29.4 7 15.7 53 68.5 0
3591.16/3601.57 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3591.16/3601.57 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3591.16/3601.57 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3591.16/3601.57 c applied globally : 0.16 - - 0 3933 16.9 - - 53 - -
3591.16/3601.57 c applied locally : - - - 0 0 0.0 - - 0 - -
3591.16/3601.57 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3591.16/3601.57 c cut pool : 0.24 - 340 21 - - 4644 89687 - - - - - (maximal pool size: 3567)
3591.16/3601.57 c aggregation : 0.89 0.00 58 11 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c > cmir : - - - - - - - 0 0 0 0 0 -
3591.16/3601.57 c > flowcover : - - - - - - - 0 0 0 0 0 -
3591.16/3601.57 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3591.16/3601.57 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c clique : 0.27 0.00 11 11 0 0 88 3964 0 1127 1127 0 0
3591.16/3601.57 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c gomory : 165.99 0.00 57 10 0 0 3668 51292 2 4875 4875 0 0
3591.16/3601.57 c > gomorymi : - - - - - - - 8327 1 84 84 0 -
3591.16/3601.57 c > strongcg : - - - - - - - 42965 1 4791 4791 0 -
3591.16/3601.57 c impliedbounds : 0.12 0.00 58 11 0 0 158 1770 0 1256 1256 0 0
3591.16/3601.57 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c mcf : 0.19 0.00 1 1 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c multilinear : 0.00 0.00 28 11 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c rlt : 0.00 0.00 53 10 0 0 0 0 0 0 0 0 0
3591.16/3601.57 c zerohalf : 2.02 0.00 58 11 0 0 882 32661 150 9278 9182 96 0
3591.16/3601.57 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3591.16/3601.57 c hybrid : 0.11 0.00 287 11 16555 0 73447 136 0 2217
3591.16/3601.57 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c Pricers : ExecTime SetupTime Calls Vars
3591.16/3601.57 c problem variables: 0.00 - 0 0
3591.16/3601.57 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3591.16/3601.57 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c relpscost : 12.71 0.00 554 0 0 0 0 0 0 1108
3591.16/3601.57 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3591.16/3601.57 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3591.16/3601.57 c LP solutions : 0.00 - - 0 0
3591.16/3601.57 c relax solutions : 0.00 - - 0 0
3591.16/3601.57 c pseudo solutions : 0.00 - - 0 0
3591.16/3601.57 c strong branching : 0.00 - - 0 0
3591.16/3601.57 c actconsdiving : 0.00 0.00 0 0 0
3591.16/3601.57 c adaptivediving : 34.30 0.00 14 0 0
3591.16/3601.57 c alns : 3.85 0.00 4 0 0
3591.16/3601.57 c bound : 0.00 0.00 0 0 0
3591.16/3601.57 c clique : 0.35 0.00 1 0 0
3591.16/3601.57 c coefdiving : 0.00 0.00 0 0 0
3591.16/3601.57 c completesol : 0.00 0.00 0 0 0
3591.16/3601.57 c conflictdiving : 949.77 0.00 79 0 0
3591.16/3601.57 c crossover : 0.00 0.00 0 0 0
3591.16/3601.57 c dins : 0.00 0.00 0 0 0
3591.16/3601.57 c distributiondivin: 117.80 0.00 10 0 0
3591.16/3601.57 c dps : 0.00 0.00 0 0 0
3591.16/3601.57 c dualval : 0.00 0.00 0 0 0
3591.16/3601.57 c farkasdiving : 0.00 0.00 0 0 0
3591.16/3601.57 c feasjump : 0.14 0.00 1 0 0
3591.16/3601.57 c feaspump : 73.66 0.00 4 0 0
3591.16/3601.57 c fixandinfer : 0.00 0.00 0 0 0
3591.16/3601.57 c fracdiving : 20.83 0.00 11 0 0
3591.16/3601.57 c gins : 0.00 0.00 0 0 0
3591.16/3601.57 c guideddiving : 0.00 0.00 0 0 0
3591.16/3601.57 c indcoefdiving : 0.00 0.00 0 0 0
3591.16/3601.57 c indicator : 0.00 0.00 0 0 0
3591.16/3601.57 c indicatordiving : 0.00 0.00 0 0 0
3591.16/3601.57 c indoneopt : 0.00 0.00 0 0 0
3591.16/3601.57 c indrounding : 0.00 0.00 0 0 0
3591.16/3601.57 c indtwoopt : 0.00 0.00 0 0 0
3591.16/3601.57 c intdiving : 0.00 0.00 0 0 0
3591.16/3601.57 c intshifting : 0.00 0.00 0 0 0
3591.16/3601.57 c linesearchdiving : 136.46 0.00 20 0 0
3591.16/3601.57 c localbranching : 0.00 0.00 0 0 0
3591.16/3601.57 c locks : 0.10 0.00 1 0 0
3591.16/3601.57 c lpface : 0.00 0.00 0 0 0
3591.16/3601.57 c mpec : 0.00 0.00 0 0 0
3591.16/3601.57 c multistart : 0.00 0.00 0 0 0
3591.16/3601.57 c mutation : 0.00 0.00 0 0 0
3591.16/3601.57 c nlpdiving : 0.00 0.00 0 0 0
3591.16/3601.57 c objpscostdiving : 290.79 0.00 1 0 0
3591.16/3601.57 c octane : 0.00 0.00 0 0 0
3591.16/3601.57 c ofins : 0.00 0.00 0 0 0
3591.16/3601.57 c oneopt : 0.00 0.00 0 0 0
3591.16/3601.57 c padm : 0.00 0.00 0 0 0
3591.16/3601.57 c proximity : 0.00 0.00 0 0 0
3591.16/3601.57 c pscostdiving : 424.37 0.00 22 0 0
3591.16/3601.57 c randrounding : 0.23 0.00 39 0 0
3591.16/3601.57 c rens : 0.76 0.00 1 0 0
3591.16/3601.57 c reoptsols : 0.00 0.00 0 0 0
3591.16/3601.57 c repair : 0.00 0.00 0 0 0
3591.16/3601.57 c rins : 0.00 0.00 0 0 0
3591.16/3601.57 c rootsoldiving : 46.98 0.00 3 0 0
3591.16/3601.57 c rounding : 2.52 0.00 363 0 0
3591.16/3601.57 c scheduler : 0.00 0.00 0 0 0
3591.16/3601.57 c shiftandpropagate: 0.07 0.00 1 0 0
3591.16/3601.57 c shifting : 23.26 0.00 230 0 0
3591.16/3601.57 c simplerounding : 0.00 0.00 0 0 0
3591.16/3601.57 c smallcard : 0.00 0.00 0 0 0
3591.16/3601.57 c subnlp : 0.00 0.00 0 0 0
3591.16/3601.57 c trivial : 0.01 0.00 2 0 0
3591.16/3601.57 c trivialnegation : 0.00 0.00 0 0 0
3591.16/3601.57 c trustregion : 0.00 0.00 0 0 0
3591.16/3601.57 c trysol : 0.00 0.00 0 0 0
3591.16/3601.57 c twoopt : 0.00 0.00 0 0 0
3591.16/3601.57 c undercover : 0.00 0.00 0 0 0
3591.16/3601.57 c vbounds : 0.25 0.00 1 0 0
3591.16/3601.57 c veclendiving : 60.46 0.00 14 0 0
3591.16/3601.57 c zeroobj : 0.00 0.00 0 0 0
3591.16/3601.57 c zirounding : 3.34 0.00 554 0 0
3591.16/3601.57 c other solutions : - - - 0 -
3591.16/3601.57 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3591.16/3601.57 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
3591.16/3601.57 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
3591.16/3601.57 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
3591.16/3601.57 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
3591.16/3601.57 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
3591.16/3601.57 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
3591.16/3601.57 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
3591.16/3601.57 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
3591.16/3601.57 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
3591.16/3601.57 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3591.16/3601.57 c primal LP : 3.04 139 0 0.00 0.00 3.04 139
3591.16/3601.57 c dual LP : 1189.43 841 1473267 1751.80 1238.63 0.00 0
3591.16/3601.57 c lex dual LP : 0.00 0 0 0.00 -
3591.16/3601.57 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3591.16/3601.57 c resolve instable : 0.00 0 0 0.00 -
3591.16/3601.57 c diving/probing LP: 2143.64 450 575209 1278.24 268.33
3591.16/3601.57 c strong branching : 8.24 20 12435 621.75 1509.58 - - 23
3591.16/3601.57 c (at root node) : - 20 12435 621.75 -
3591.16/3601.57 c conflict analysis: 0.00 0 0 0.00 -
3591.16/3601.57 c B&B Tree :
3591.16/3601.57 c number of runs : 1
3591.16/3601.57 c nodes : 554 (554 internal, 0 leaves)
3591.16/3601.57 c feasible leaves : 0
3591.16/3601.57 c infeas. leaves : 0
3591.16/3601.57 c objective leaves : 0
3591.16/3601.57 c nodes (total) : 554 (554 internal, 0 leaves)
3591.16/3601.57 c nodes left : 555
3591.16/3601.57 c max depth : 22
3591.16/3601.57 c max depth (total): 22
3591.16/3601.57 c backtracks : 201 (36.3%)
3591.16/3601.57 c early backtracks : 0 (0.0%)
3591.16/3601.57 c nodes exc. ref. : 0 (0.0%)
3591.16/3601.57 c delayed cutoffs : 0
3591.16/3601.57 c repropagations : 17 (10 domain reductions, 0 cutoffs)
3591.16/3601.57 c avg switch length: 3.15
3591.16/3601.57 c switching time : 4.52
3591.16/3601.57 c Root Node :
3591.16/3601.57 c First LP value : +0.00000000000000e+00
3591.16/3601.57 c First LP Iters : 573 (4875.27 Iter/sec)
3591.16/3601.57 c First LP Time : 0.12
3591.16/3601.57 c Final Dual Bound : +0.00000000000000e+00
3591.16/3601.57 c Final Root Iters : 11157
3591.16/3601.57 c Root LP Estimate : +1.54531809675005e-02
3591.16/3601.57 c Solution :
3591.16/3601.57 c Solutions found : 0 (0 improvements)
3591.16/3601.57 c Primal Bound : -
3591.16/3601.57 c Dual Bound : +0.00000000000000e+00
3591.16/3601.57 c Gap : infinite
3591.16/3601.57 c Integrals : Total Avg%
3591.16/3601.57 c primal-dual : 360155.95 100.00
3591.16/3601.57 c primal-ref : - - (not evaluated)
3591.16/3601.57 c dual-ref : - - (not evaluated)
3591.56/3601.96 c Time complete: 3591.62.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61747 MiB free)
memory of node 1: 64510 MiB (60220 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446075-1721329697/watcher-4446075-1721329697 -o /tmp/evaluation-result-4446075-1721329697/solver-4446075-1721329697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966736 --watchdog 3760 pbscip -f HOME/instance-4446075-1721329697.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=966785, runsolver pid=966779
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 1.18 1.35 2.42 5/242 966798
/proc/meminfo: memFree=124851080/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=67680 memory=27456 CPUtime=0.1 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 3865 0 0 0 9 1 0 0 20 0 1 0 185128970 69304320 6864 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 16920 6864 3281 3540 0 5177 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 67680 KiB
Current children cumulated memory: 27456 KiB
[startup+0.214482 s]*
/proc/loadavg: 1.18 1.35 2.42 6/242 966798
/proc/meminfo: memFree=124800160/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=78244 memory=37816 CPUtime=0.22 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 6482 0 0 0 20 2 0 0 20 0 1 0 185128970 80121856 9454 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 19561 9454 3281 3540 0 7818 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 78244 KiB
Current children cumulated memory: 37816 KiB
[startup+0.314594 s]*
/proc/loadavg: 1.18 1.35 2.42 5/242 966798
/proc/meminfo: memFree=124757772/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=88656 memory=48036 CPUtime=0.32 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 9081 0 0 0 29 3 0 0 20 0 1 0 185128970 90783744 12009 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 22164 12009 3281 3540 0 10421 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 88656 KiB
Current children cumulated memory: 48036 KiB
[startup+0.70036 s]
/proc/loadavg: 1.48 1.41 2.43 5/242 966798
/proc/meminfo: memFree=124651872/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=136980 memory=95724 CPUtime=0.69 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 21008 0 0 0 63 6 0 0 20 0 1 0 185128970 140267520 23931 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 34294 23931 3281 3540 0 22551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136980 KiB
Current children cumulated memory: 95724 KiB
[startup+1.50036 s]
/proc/loadavg: 1.48 1.41 2.43 5/242 966798
/proc/meminfo: memFree=124274632/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=347468 memory=302868 CPUtime=1.48 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 73148 0 0 0 131 17 0 0 20 0 1 0 185128970 355807232 75717 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 86867 75717 3633 3540 0 75124 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 347468 KiB
Current children cumulated memory: 302868 KiB
[startup+3.1133 s]
/proc/loadavg: 1.48 1.41 2.43 5/242 966800
/proc/meminfo: memFree=122812212/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=501140 memory=450912 CPUtime=3.09 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 118571 0 0 0 281 28 0 0 20 0 1 0 185128970 513167360 112728 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 125285 112728 3744 3540 0 113542 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 501140 KiB
Current children cumulated memory: 450912 KiB
[startup+6.30033 s]
/proc/loadavg: 1.69 1.46 2.44 5/242 966800
/proc/meminfo: memFree=122797528/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=501140 memory=452108 CPUtime=6.26 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 118838 0 0 0 597 29 0 0 20 0 1 0 185128970 513167360 113027 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 125285 113027 3792 3540 0 113542 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 501140 KiB
Current children cumulated memory: 452108 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 1.50 2.45 5/242 966801
/proc/meminfo: memFree=121220280/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=501140 memory=452108 CPUtime=12.64 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 118840 0 0 0 1234 30 0 0 20 0 1 0 185128970 513167360 113027 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 125285 113027 3792 3540 0 113542 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 501140 KiB
Current children cumulated memory: 452108 KiB
[startup+25.5003 s]
/proc/loadavg: 2.20 1.58 2.47 5/242 966803
/proc/meminfo: memFree=119860044/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=1226476 memory=1110752 CPUtime=25.39 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 186170 0 0 0 2490 49 0 0 20 0 1 0 185128970 1255911424 277688 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 306619 277688 3984 3540 0 294876 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1226476 KiB
Current children cumulated memory: 1110752 KiB
[startup+51.1131 s]
/proc/loadavg: 2.96 1.83 2.52 5/242 966806
/proc/meminfo: memFree=119683844/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=1280404 memory=1141420 CPUtime=50.95 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 189828 0 0 0 5043 52 0 0 20 0 1 0 185128970 1311133696 285355 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 320101 285355 3984 3540 0 308358 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1280404 KiB
Current children cumulated memory: 1141420 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.17 2.60 5/242 966816
/proc/meminfo: memFree=119643396/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=1359348 memory=1168216 CPUtime=102 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 191511 0 0 0 10147 53 0 0 20 0 1 0 185128970 1391972352 292054 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 339837 292054 3984 3540 0 328094 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1359348 KiB
Current children cumulated memory: 1168216 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.53 2.70 5/244 966831
/proc/meminfo: memFree=119554172/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=1503732 memory=1183976 CPUtime=161.84 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 194547 0 0 0 16130 54 0 0 20 0 1 0 185128970 1539821568 295994 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 375933 295994 3984 3540 0 364190 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1503732 KiB
Current children cumulated memory: 1183976 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.82 2.79 5/244 966841
/proc/meminfo: memFree=119374336/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=1652016 memory=1331816 CPUtime=221.67 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 263763 0 0 0 22103 64 0 0 20 0 1 0 185128970 1691664384 332954 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 413004 332954 4015 3540 0 401261 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1652016 KiB
Current children cumulated memory: 1331816 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.05 2.88 5/244 966851
/proc/meminfo: memFree=119191904/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=1652016 memory=1331876 CPUtime=281.51 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 263828 0 0 0 28087 64 0 0 20 0 1 0 185128970 1691664384 332969 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 413004 332969 4015 3540 0 401261 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1652016 KiB
Current children cumulated memory: 1331876 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.24 2.95 5/243 966863
/proc/meminfo: memFree=119182888/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=1652016 memory=1331876 CPUtime=341.37 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 263904 0 0 0 34072 65 0 0 20 0 1 0 185128970 1691664384 332969 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 413004 332969 4015 3540 0 401261 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 1652016 KiB
Current children cumulated memory: 1331876 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.40 3.03 5/243 966873
/proc/meminfo: memFree=118522336/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=1652016 memory=1331876 CPUtime=401.23 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 263974 0 0 0 40057 66 0 0 20 0 1 0 185128970 1691664384 332969 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 413004 332969 4015 3540 0 401261 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 1652016 KiB
Current children cumulated memory: 1331876 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 3.55 3.11 5/241 966883
/proc/meminfo: memFree=118519596/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=1652016 memory=1331876 CPUtime=461.09 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 264056 0 0 0 46042 67 0 0 20 0 1 0 185128970 1691664384 332969 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 413004 332969 4015 3540 0 401261 0
################
# More data... #
################
/proc/loadavg: 4.13 4.31 4.24 5/244 968558
/proc/meminfo: memFree=117886604/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697308 CPUtime=3213.07 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 359726 0 0 0 321213 94 0 0 20 0 1 0 185128970 2446290944 424327 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424327 4031 3540 0 585496 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697308 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.27 4.22 5/244 968569
/proc/meminfo: memFree=117885628/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697308 CPUtime=3272.89 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 360100 0 0 0 327195 94 0 0 20 0 1 0 185128970 2446290944 424327 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424327 4031 3540 0 585496 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697308 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.23 4.21 5/242 968580
/proc/meminfo: memFree=117876352/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697308 CPUtime=3332.71 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 360493 0 0 0 333177 94 0 0 20 0 1 0 185128970 2446290944 424327 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424327 4031 3540 0 585496 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.20 4.20 5/242 968590
/proc/meminfo: memFree=117862232/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3392.53 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 360909 0 0 0 339158 95 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.18 4.19 5/241 968601
/proc/meminfo: memFree=117847380/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3452.35 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 361231 0 0 0 345140 95 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3452.35 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/241 968611
/proc/meminfo: memFree=117839684/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3512.16 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 361561 0 0 0 351121 95 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3512.16 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.18 5/241 968621
/proc/meminfo: memFree=117839056/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3572.01 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 361891 0 0 0 357105 96 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3601.97 s]
# the end of solver process 966785 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.65 s, system=0.983744 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.15 4.18 5/241 968621
/proc/meminfo: memFree=117839056/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3573.72 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 361891 0 0 0 357276 96 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3573.72 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.15 4.18 5/241 968621
/proc/meminfo: memFree=117839020/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3580.09 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 361894 0 0 0 357913 96 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3580.09 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.17 4.18 5/241 968623
/proc/meminfo: memFree=117839056/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3586.47 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 361927 0 0 0 358551 96 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3586.47 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3600 s]*
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121333756/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3589.67 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 361927 0 0 0 358871 96 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3600.8 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121333756/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3590.46 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 361927 0 0 0 358950 96 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3590.46 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3601.6 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121328336/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3591.26 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 362128 0 0 0 359030 96 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3591.26 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3601.8 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121328336/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2388956 memory=1697524 CPUtime=3591.46 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 362149 0 0 0 359050 96 0 0 20 0 1 0 185128970 2446290944 424381 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 597239 424381 4031 3540 0 585496 0
Current children cumulated CPU time: 3591.46 s
Current children cumulated vsize: 2388956 KiB
Current children cumulated memory: 1697524 KiB
[startup+3601.9 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121328336/131655788 swapFree=131071996/131071996
[pid=966785] ppid=966779 vsize=2373136 memory=1681708 CPUtime=3591.56 cores=1,3
/proc/966785/stat : 966785 (pbscip) R 966779 966785 966724 0 -1 4194304 362167 0 0 0 359060 96 0 0 20 0 1 0 185128970 2430091264 420460 134679101440 4194304 18693293 140732548441008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36888576 140732548449283 140732548449382 140732548449382 140732548456398 0
/proc/966785/statm: 593218 420427 4031 3540 0 581475 0
Current children cumulated CPU time: 3591.56 s
Current children cumulated vsize: 2373136 KiB
Current children cumulated memory: 1681708 KiB
Child status: 0
Real time (s): 3601.97
CPU time (s): 3591.64
CPU user time (s): 3590.65
CPU system time (s): 0.983744
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 2388956
Max. memory (cumulated for all children) (KiB): 1697524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.65
system time used= 0.983744
maximum resident set size= 1697524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362240
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= 34
involuntary context switches= 1284
# summary of solver processes directly reported to runsolver:
# pid: 966785
# total CPU time (s): 3591.64
# total CPU user time (s): 3590.65
# total CPU system time (s): 0.983744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0092 second user time and 36.1494 second system time
The end