0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4450295-1721410868.opb>
0.00/0.01 c original problem has 1521 variables (1521 bin, 0 int, 0 impl, 0 cont) and 4794 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.02 c presolving:
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver found nothing
0.00/0.04 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4794 upgd conss, 0 impls, 4287 clqs
0.00/0.04 c (round 2, exhaustive) 0 del vars, 2028 del conss, 507 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4794 upgd conss, 0 impls, 4287 clqs
0.00/0.05 c (0.0s) running MILP presolver
0.00/0.05 c (0.0s) MILP presolver found nothing
0.00/0.07 c (0.1s) probing: 51/1521 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.08 c (0.1s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.08 c dynamic symmetry handling statistics:
0.00/0.08 c orbitopal reduction: no components
0.00/0.08 c orbital reduction: no components
0.00/0.08 c lexicographic reduction: no permutations
0.00/0.08 c handled 1 out of 1 symmetry components
0.00/0.08 c (round 3, exhaustive) 12 del vars, 2028 del conss, 508 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4794 upgd conss, 0 impls, 4712 clqs
0.00/0.08 c (round 4, fast) 30 del vars, 2088 del conss, 508 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4794 upgd conss, 0 impls, 4703 clqs
0.00/0.08 c (0.1s) probing: 56/1521 (3.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.08 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
0.00/0.08 c 30 deleted vars, 2088 deleted constraints, 508 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 0 implications, 4703 cliques
0.00/0.08 c presolved problem has 1500 variables (1500 bin, 0 int, 0 impl, 0 cont) and 3214 constraints
0.00/0.08 c 3213 constraints of type <setppc>
0.00/0.08 c 1 constraints of type <orbitope>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.07
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 10.0.0
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.08 c limits/time = 3596.997043
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.08 c limits/memory = 27900
0.00/0.08 c
0.00/0.08 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.08 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.08 c limits/solutions = 1
0.00/0.08 c
0.00/0.08 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.08 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.08 c misc/usesymmetry = 3
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.08 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.08 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.08 c
0.00/0.08 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.08 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.08 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.08 c
0.00/0.08 c # Type of symmetries that shall be computed?
0.00/0.08 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.08 c propagating/symmetry/symtype = 1
0.00/0.08 c
0.00/0.08 c # Should components consisting of a single full reflection be handled?
0.00/0.08 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.08 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.10/0.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.10/0.13 c 0.1s| 1 | 0 | 1216 | - | 23M | 0 |1500 |3238 |3213 | 0 | 0 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.38 c 0.4s| 1 | 0 | 3976 | - | 25M | 0 |1500 |3283 |3343 | 130 | 1 | 24 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.46 c 0.5s| 1 | 0 | 4246 | - | 25M | 0 |1500 |3284 |3403 | 190 | 2 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.54 c 0.5s| 1 | 0 | 4402 | - | 26M | 0 |1500 |3285 |3436 | 223 | 3 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.62 c 0.6s| 1 | 0 | 4525 | - | 28M | 0 |1500 |3286 |3450 | 237 | 4 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.69 c 0.7s| 1 | 0 | 4586 | - | 29M | 0 |1500 |3287 |3464 | 251 | 5 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.75 c 0.8s| 1 | 0 | 4711 | - | 31M | 0 |1500 |3288 |3478 | 265 | 6 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.83 c 0.8s| 1 | 0 | 4797 | - | 34M | 0 |1500 |3289 |3490 | 277 | 7 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.91 c 0.9s| 1 | 0 | 4908 | - | 37M | 0 |1500 |3290 |3503 | 290 | 8 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.97 c 1.0s| 1 | 0 | 5013 | - | 38M | 0 |1500 |3291 |3516 | 303 | 9 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
0.98/1.04 c 1.0s| 1 | 0 | 5104 | - | 40M | 0 |1500 |3294 |3534 | 321 | 10 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
0.98/1.06 c 1.1s| 1 | 0 | 5173 | - | 41M | 0 |1500 |3295 |3548 | 335 | 11 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
0.98/1.08 c 1.1s| 1 | 0 | 5214 | - | 42M | 0 |1500 |3296 |3559 | 346 | 12 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
1.29/1.30 c 1.3s| 1 | 2 | 6516 | - | 42M | 0 |1500 |3302 |3559 | 346 | 12 | 43 | 11 | 0.000000e+00 | -- | Inf | unknown
2.48/2.53 c 2.5s| 100 | 23 | 15983 | 108.8 | 49M | 20 |1500 |3456 |3406 |1144 | 2 | 198 | 11 | 0.000000e+00 | -- | Inf | 7.32%
3.58/3.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.58/3.63 c 3.6s| 200 | 21 | 21091 | 79.8 | 56M | 20 |1500 |3574 |3389 |1779 | 1 | 316 | 11 | 0.000000e+00 | -- | Inf | 25.00%
4.27/4.38 c 4.4s| 300 | 28 | 25562 | 68.1 | 57M | 20 |1500 |3695 |3395 |2063 | 0 | 437 | 11 | 0.000000e+00 | -- | Inf | 25.94%
5.27/5.38 c 5.4s| 400 | 19 | 32358 | 68.0 | 61M | 20 |1500 |3829 |3420 |3047 | 1 | 571 | 11 | 0.000000e+00 | -- | Inf | 40.82%
5.76/5.83 c 5.8s| 500 | 16 | 37177 | 64.1 | 64M | 20 |1500 |4013 |3387 |3394 | 1 | 766 | 11 | 0.000000e+00 | -- | Inf | 42.07%
6.46/6.59 c 6.6s| 600 | 14 | 43039 | 63.1 | 68M | 20 |1500 |4157 |3486 |4423 | 3 | 942 | 11 | 0.000000e+00 | -- | Inf | 46.17%
7.26/7.37 c 7.4s| 700 | 3 | 46676 | 59.3 | 71M | 20 |1500 |4262 |3343 |5232 | 1 |1077 | 11 | 0.000000e+00 | -- | Inf | 62.50%
8.55/8.63 c 8.6s| 800 | 5 | 51638 | 58.1 | 73M | 20 |1500 |4286 | 0 |5783 | 0 |1184 | 11 | 0.000000e+00 | -- | Inf | 91.16%
8.96/9.05 c
8.96/9.05 c SCIP Status : problem is solved [infeasible]
8.96/9.05 c Solving Time (sec) : 9.05
8.96/9.05 c Solving Nodes : 848
8.96/9.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
8.96/9.05 c Dual Bound : +1.00000000000000e+20
8.96/9.05 c Gap : 0.00 %
8.96/9.05 s UNSATISFIABLE
8.96/9.05 c SCIP Status : problem is solved [infeasible]
8.96/9.05 c Total Time : 9.05
8.96/9.05 c solving : 9.05
8.96/9.05 c presolving : 0.07 (included in solving)
8.96/9.05 c reading : 0.01 (included in solving)
8.96/9.05 c copying : 0.35 (53 #copies) (minimal 0.01, maximal 0.01, average 0.01)
8.96/9.05 c Original Problem :
8.96/9.05 c Problem name : HOME/instance-4450295-1721410868.opb
8.96/9.05 c Variables : 1521 (1521 binary, 0 integer, 0 implicit integer, 0 continuous)
8.96/9.05 c Constraints : 4794 initial, 4794 maximal
8.96/9.05 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
8.96/9.05 c Presolved Problem :
8.96/9.05 c Problem name : t_HOME/instance-4450295-1721410868.opb
8.96/9.05 c Variables : 1500 (1500 binary, 0 integer, 0 implicit integer, 0 continuous)
8.96/9.05 c Constraints : 3214 initial, 4341 maximal
8.96/9.05 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
8.96/9.05 c Nonzeros : 6932 constraint, 8350 clique table
8.96/9.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
8.96/9.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
8.96/9.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
8.96/9.05 c gateextraction : 0.00 0.00 1 0 0 0 0 0 2028 507 0 0
8.96/9.05 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
8.96/9.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c milp : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
8.96/9.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
8.96/9.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c trivial : 0.00 0.00 5 9 0 0 0 0 0 0 0 0
8.96/9.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
8.96/9.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c probing : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
8.96/9.05 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c symmetry : 0.01 0.00 1 3 0 0 0 0 0 1 0 0
8.96/9.05 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
8.96/9.05 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c setppc : 0.01 0.00 9 0 9 0 0 0 60 0 0 0
8.96/9.05 c linear : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
8.96/9.05 c orbitope : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
8.96/9.05 c logicor : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
8.96/9.05 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
8.96/9.05 c root node : - - - 384 - - 384 - - - - -
8.96/9.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
8.96/9.05 c benderslp : 0 0 0 0 574 0 0 27 0 0 0 0 0 0 0
8.96/9.05 c integral : 0 0 0 0 574 0 0 27 0 0 0 0 0 0 1148
8.96/9.05 c knapsack : 0+ 9 0 6611 0 0 0 0 20 1 51 0 0 0 0
8.96/9.05 c setppc : 3213+ 3215 12 10632 0 0 0 24 7415 233 22706 0 0 0 0
8.96/9.05 c linear : 0+ 99 12 9321 0 0 0 2 154 9 668 18 11 0 0
8.96/9.05 c orbitope : 1 1 0 10290 0 0 0 0 0 0 30 0 0 0 0
8.96/9.05 c logicor : 0+ 1102 12 3949 0 0 0 0 2214 72 3790 3 1 0 0
8.96/9.05 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
8.96/9.05 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c integral : 0.19 0.00 0.00 0.00 0.19 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c setppc : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c orbitope : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c logicor : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
8.96/9.05 c dualfix : 1 0 0 0
8.96/9.05 c genvbounds : 0 0 0 0
8.96/9.05 c nlobbt : 0 0 0 0
8.96/9.05 c obbt : 0 0 0 0
8.96/9.05 c probing : 0 0 0 0
8.96/9.05 c pseudoobj : 0 0 0 0
8.96/9.05 c redcost : 0 0 0 0
8.96/9.05 c rootredcost : 0 0 0 0
8.96/9.05 c symmetry : 0 0 0 0
8.96/9.05 c vbounds : 7040 0 0 0
8.96/9.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
8.96/9.05 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
8.96/9.05 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
8.96/9.05 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
8.96/9.05 c vbounds : 0.03 0.00 0.00 0.03 0.00 0.00
8.96/9.05 c Symmetry :
8.96/9.05 c orbitopal red. : 0 reductions applied, 0 cutoffs
8.96/9.05 c orbital reduction: 0 reductions applied, 0 cutoffs
8.96/9.05 c lexicographic red: 0 reductions applied, 0 cutoffs
8.96/9.05 c shadow tree time : 0.00 s
8.96/9.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
8.96/9.05 c propagation : 0.00 301 295 - 440 8.1 133 4.1 - - -
8.96/9.05 c infeasible LP : 0.03 202 201 - 546 8.9 99 4.6 201 6.9 0
8.96/9.05 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
8.96/9.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
8.96/9.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
8.96/9.05 c applied globally : 0.00 - - 0 1031 5.7 - - 199 - -
8.96/9.05 c applied locally : - - - 0 7 21.6 - - 2 - -
8.96/9.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
8.96/9.05 c cut pool : 0.15 - 418 23 - - 9034 36906 - - - - - (maximal pool size: 4596)
8.96/9.05 c aggregation : 0.06 0.00 173 12 0 0 0 0 0 0 0 0 0
8.96/9.05 c > cmir : - - - - - - - 0 0 0 0 0 -
8.96/9.05 c > flowcover : - - - - - - - 0 0 0 0 0 -
8.96/9.05 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
8.96/9.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c clique : 0.06 0.00 12 12 0 0 73 615 0 518 518 0 0
8.96/9.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c gomory : 2.43 0.00 171 10 0 0 8930 32059 524 2540 2529 11 0
8.96/9.05 c > gomorymi : - - - - - - - 4681 262 87 80 7 -
8.96/9.05 c > strongcg : - - - - - - - 27378 262 2453 2449 4 -
8.96/9.05 c impliedbounds : 0.02 0.00 173 12 0 0 0 0 0 0 0 0 0
8.96/9.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
8.96/9.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c multilinear : 0.00 0.00 55 12 0 0 0 0 0 0 0 0 0
8.96/9.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.96/9.05 c rapidlearning : 2.70 0.00 49 1 0 4454 0 0 0 0 0 0 199
8.96/9.05 c rlt : 0.00 0.00 100 10 0 0 0 0 0 0 0 0 0
8.96/9.05 c zerohalf : 0.27 0.00 173 12 0 0 1292 4232 737 3026 2930 96 0
8.96/9.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
8.96/9.05 c hybrid : 0.02 0.00 237 12 6097 4 32084 346 0 2640
8.96/9.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c Pricers : ExecTime SetupTime Calls Vars
8.96/9.05 c problem variables: 0.00 - 0 0
8.96/9.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
8.96/9.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c relpscost : 0.18 0.00 574 0 0 0 0 0 0 1148
8.96/9.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
8.96/9.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
8.96/9.05 c LP solutions : 0.00 - - 0 0
8.96/9.05 c relax solutions : 0.00 - - 0 0
8.96/9.05 c pseudo solutions : 0.00 - - 0 0
8.96/9.05 c strong branching : 0.00 - - 0 0
8.96/9.05 c actconsdiving : 0.00 0.00 0 0 0
8.96/9.05 c adaptivediving : 0.07 0.00 10 0 0
8.96/9.05 c alns : 0.06 0.00 4 0 0
8.96/9.05 c bound : 0.00 0.00 0 0 0
8.96/9.05 c clique : 0.01 0.00 1 0 0
8.96/9.05 c coefdiving : 0.00 0.00 0 0 0
8.96/9.05 c completesol : 0.00 0.00 0 0 0
8.96/9.05 c conflictdiving : 0.10 0.00 6 0 0
8.96/9.05 c crossover : 0.00 0.00 0 0 0
8.96/9.05 c dins : 0.00 0.00 0 0 0
8.96/9.05 c distributiondivin: 0.06 0.00 5 0 0
8.96/9.05 c dps : 0.00 0.00 0 0 0
8.96/9.05 c dualval : 0.00 0.00 0 0 0
8.96/9.05 c farkasdiving : 0.00 0.00 0 0 0
8.96/9.05 c feasjump : 0.01 0.00 1 0 0
8.96/9.05 c feaspump : 0.12 0.00 2 0 0
8.96/9.05 c fixandinfer : 0.00 0.00 0 0 0
8.96/9.05 c fracdiving : 0.05 0.00 6 0 0
8.96/9.05 c gins : 0.00 0.00 0 0 0
8.96/9.05 c guideddiving : 0.00 0.00 0 0 0
8.96/9.05 c indcoefdiving : 0.00 0.00 0 0 0
8.96/9.05 c indicator : 0.00 0.00 0 0 0
8.96/9.05 c indicatordiving : 0.00 0.00 0 0 0
8.96/9.05 c indoneopt : 0.00 0.00 0 0 0
8.96/9.05 c indrounding : 0.00 0.00 0 0 0
8.96/9.05 c indtwoopt : 0.00 0.00 0 0 0
8.96/9.05 c intdiving : 0.00 0.00 0 0 0
8.96/9.05 c intshifting : 0.00 0.00 0 0 0
8.96/9.05 c linesearchdiving : 0.07 0.00 6 0 0
8.96/9.05 c localbranching : 0.00 0.00 0 0 0
8.96/9.05 c locks : 0.00 0.00 1 0 0
8.96/9.05 c lpface : 0.00 0.00 0 0 0
8.96/9.05 c mpec : 0.00 0.00 0 0 0
8.96/9.05 c multistart : 0.00 0.00 0 0 0
8.96/9.05 c mutation : 0.00 0.00 0 0 0
8.96/9.05 c nlpdiving : 0.00 0.00 0 0 0
8.96/9.05 c objpscostdiving : 0.09 0.00 3 0 0
8.96/9.05 c octane : 0.00 0.00 0 0 0
8.96/9.05 c ofins : 0.00 0.00 0 0 0
8.96/9.05 c oneopt : 0.00 0.00 0 0 0
8.96/9.05 c padm : 0.00 0.00 0 0 0
8.96/9.05 c proximity : 0.00 0.00 0 0 0
8.96/9.05 c pscostdiving : 0.09 0.00 6 0 0
8.96/9.05 c randrounding : 0.01 0.00 34 0 0
8.96/9.05 c rens : 0.00 0.00 0 0 0
8.96/9.05 c reoptsols : 0.00 0.00 0 0 0
8.96/9.05 c repair : 0.00 0.00 0 0 0
8.96/9.05 c rins : 0.00 0.00 0 0 0
8.96/9.05 c rootsoldiving : 0.08 0.00 3 0 0
8.96/9.05 c rounding : 0.02 0.00 366 0 0
8.96/9.05 c scheduler : 0.00 0.00 0 0 0
8.96/9.05 c shiftandpropagate: 0.00 0.00 1 0 0
8.96/9.05 c shifting : 0.06 0.00 184 0 0
8.96/9.05 c simplerounding : 0.00 0.00 0 0 0
8.96/9.05 c smallcard : 0.00 0.00 0 0 0
8.96/9.05 c subnlp : 0.00 0.00 0 0 0
8.96/9.05 c trivial : 0.00 0.00 2 0 0
8.96/9.05 c trivialnegation : 0.00 0.00 0 0 0
8.96/9.05 c trustregion : 0.00 0.00 0 0 0
8.96/9.05 c trysol : 0.00 0.00 0 0 0
8.96/9.05 c twoopt : 0.00 0.00 0 0 0
8.96/9.05 c undercover : 0.00 0.00 0 0 0
8.96/9.05 c vbounds : 0.00 0.00 1 0 0
8.96/9.05 c veclendiving : 0.03 0.00 5 0 0
8.96/9.05 c zeroobj : 0.00 0.00 0 0 0
8.96/9.05 c zirounding : 0.01 0.00 573 0 0
8.96/9.05 c other solutions : - - - 0 -
8.96/9.05 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
8.96/9.05 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
8.96/9.05 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
8.96/9.05 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
8.96/9.05 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
8.96/9.05 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
8.96/9.05 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
8.96/9.05 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
8.96/9.05 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
8.96/9.05 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
8.96/9.05 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
8.96/9.05 c primal LP : 0.05 106 0 0.00 0.00 0.05 106
8.96/9.05 c dual LP : 1.60 1052 35665 35.52 22327.44 0.02 48
8.96/9.05 c lex dual LP : 0.00 0 0 0.00 -
8.96/9.05 c barrier LP : 0.00 0 0 0.00 - 0.00 0
8.96/9.05 c resolve instable : 0.00 0 0 0.00 -
8.96/9.05 c diving/probing LP: 0.65 160 18603 116.27 28635.86
8.96/9.05 c strong branching : 0.11 11 2532 230.18 22451.98 - - 0
8.96/9.05 c (at root node) : - 11 2532 230.18 -
8.96/9.05 c conflict analysis: 0.00 0 0 0.00 -
8.96/9.05 c B&B Tree :
8.96/9.05 c number of runs : 1
8.96/9.05 c nodes : 848 (574 internal, 274 leaves)
8.96/9.05 c feasible leaves : 0
8.96/9.05 c infeas. leaves : 274
8.96/9.05 c objective leaves : 0
8.96/9.05 c nodes (total) : 848 (574 internal, 274 leaves)
8.96/9.05 c nodes left : 0
8.96/9.05 c max depth : 20
8.96/9.05 c max depth (total): 20
8.96/9.05 c backtracks : 242 (28.5%)
8.96/9.05 c early backtracks : 0 (0.0%)
8.96/9.05 c nodes exc. ref. : 0 (0.0%)
8.96/9.05 c delayed cutoffs : 301
8.96/9.05 c repropagations : 846 (9433 domain reductions, 117 cutoffs)
8.96/9.05 c avg switch length: 3.88
8.96/9.05 c switching time : 0.13
8.96/9.05 c Root Node :
8.96/9.05 c First LP value : +0.00000000000000e+00
8.96/9.05 c First LP Iters : 1216 (88700.85 Iter/sec)
8.96/9.05 c First LP Time : 0.01
8.96/9.05 c Final Dual Bound : -
8.96/9.05 c Final Root Iters : 5214
8.96/9.05 c Root LP Estimate : +3.32039086243925e-02
8.96/9.05 c Solution :
8.96/9.05 c Solutions found : 0 (0 improvements)
8.96/9.05 c Primal Bound : infeasible
8.96/9.05 c Dual Bound : -
8.96/9.05 c Gap : 0.00 %
8.96/9.05 c Integrals : Total Avg%
8.96/9.05 c primal-dual : - - (problem infeasible)
8.96/9.05 c primal-ref : - - (problem infeasible)
8.96/9.05 c dual-ref : - - (problem infeasible)
8.96/9.06 c Time complete: 9.03059.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61990 MiB free)
memory of node 1: 64473 MiB (61982 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450295-1721410868/watcher-4450295-1721410868 -o /tmp/evaluation-result-4450295-1721410868/solver-4450295-1721410868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721410880-1025275 --watchdog 3760 pbscip -f HOME/instance-4450295-1721410868.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1025332, runsolver pid=1025321
[startup+0.10086 s]*
/proc/loadavg: 1.08 1.66 2.83 8/258 1025339
/proc/meminfo: memFree=126810212/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=80156 memory=39620 CPUtime=0.1 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 7109 0 0 0 9 1 0 0 20 0 1 0 193257629 82079744 9905 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 20039 9905 3893 3540 0 8296 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80156 KiB
Current children cumulated memory: 39620 KiB
[startup+0.205484 s]*
/proc/loadavg: 1.31 1.70 2.84 5/258 1025339
/proc/meminfo: memFree=126780104/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=81604 memory=41292 CPUtime=0.2 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 7450 0 0 0 19 1 0 0 20 0 1 0 193257629 83562496 10323 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 20401 10323 3989 3540 0 8658 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81604 KiB
Current children cumulated memory: 41292 KiB
[startup+0.30634 s]*
/proc/loadavg: 1.31 1.70 2.84 7/258 1025339
/proc/meminfo: memFree=126745196/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=97812 memory=55544 CPUtime=0.29 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 11063 0 0 0 28 1 0 0 20 0 1 0 193257629 100159488 13886 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 24453 13886 3989 3540 0 12710 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97812 KiB
Current children cumulated memory: 55544 KiB
[startup+0.700216 s]
/proc/loadavg: 1.31 1.70 2.84 7/258 1025339
/proc/meminfo: memFree=126725224/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=94564 memory=52796 CPUtime=0.68 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 11476 0 0 0 67 1 0 0 20 0 1 0 193257629 96833536 13199 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 23641 13199 4020 3540 0 11898 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 94564 KiB
Current children cumulated memory: 52796 KiB
[startup+1.50017 s]
/proc/loadavg: 1.31 1.70 2.84 7/258 1025339
/proc/meminfo: memFree=126718096/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=114944 memory=72588 CPUtime=1.48 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 16419 0 0 0 146 2 0 0 20 0 1 0 193257629 117702656 18147 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 28736 18147 4022 3540 0 16993 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114944 KiB
Current children cumulated memory: 72588 KiB
[startup+3.10636 s]
/proc/loadavg: 1.31 1.70 2.84 7/258 1025341
/proc/meminfo: memFree=126614924/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=125816 memory=82840 CPUtime=3.09 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 18988 0 0 0 306 3 0 0 20 0 1 0 193257629 128835584 20710 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 31454 20710 4022 3540 0 19711 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125816 KiB
Current children cumulated memory: 82840 KiB
[startup+6.30014 s]
/proc/loadavg: 1.53 1.74 2.84 7/258 1025341
/proc/meminfo: memFree=126543356/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=132312 memory=89736 CPUtime=6.26 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 22016 0 0 0 623 3 0 0 20 0 1 0 193257629 135487488 22434 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 33078 22434 4022 3540 0 21335 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 132312 KiB
Current children cumulated memory: 89736 KiB
[startup+9.07192 s]
# the end of solver process 1025332 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=8.98315 s, system=0.053792 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40018 s]
/proc/loadavg: 1.53 1.74 2.84 7/258 1025341
/proc/meminfo: memFree=126543356/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=133272 memory=89736 CPUtime=6.36 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 22019 0 0 0 633 3 0 0 20 0 1 0 193257629 136470528 22434 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 33318 22434 4022 3540 0 21575 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 133272 KiB
Current children cumulated memory: 89736 KiB
[startup+8.00015 s]*
/proc/loadavg: 1.53 1.74 2.84 7/258 1025341
/proc/meminfo: memFree=126485824/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=146524 memory=100288 CPUtime=7.96 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 26296 0 0 0 792 4 0 0 20 0 1 0 193257629 150040576 25072 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 36631 25072 4022 3540 0 24888 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 146524 KiB
Current children cumulated memory: 100288 KiB
[startup+8.80015 s]
/proc/loadavg: 1.53 1.74 2.84 7/258 1025341
/proc/meminfo: memFree=126485824/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=147112 memory=101180 CPUtime=8.75 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 28669 0 0 0 871 4 0 0 20 0 1 0 193257629 150642688 25295 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 36778 25295 4022 3540 0 25035 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 147112 KiB
Current children cumulated memory: 101180 KiB
[startup+9.00014 s]*
/proc/loadavg: 1.53 1.74 2.84 7/258 1025341
/proc/meminfo: memFree=126485420/131524600 swapFree=131071996/131071996
[pid=1025332] ppid=1025321 vsize=147056 memory=101124 CPUtime=8.96 cores=0,2
/proc/1025332/stat : 1025332 (pbscip) R 1025321 1025332 1025265 0 -1 4194304 29344 0 0 0 892 4 0 0 20 0 1 0 193257629 150585344 25281 134679101440 4194304 18693293 140728014484064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 60198912 140728014488578 140728014488677 140728014488677 140728014495694 0
/proc/1025332/statm: 36764 25281 4022 3540 0 25021 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 147056 KiB
Current children cumulated memory: 101124 KiB
Child status: 0
Real time (s): 9.07195
CPU time (s): 9.03694
CPU user time (s): 8.98315
CPU system time (s): 0.053792
CPU usage (%): 99.6141
Max. virtual memory (cumulated for all children) (KiB): 148364
Max. memory (cumulated for all children) (KiB): 102228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.98315
system time used= 0.053792
maximum resident set size= 103816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29350
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= 9
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 1025332
# total CPU time (s): 9.03694
# total CPU user time (s): 8.98315
# total CPU system time (s): 0.053792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.022507 second user time and 0.082519 second system time
The end