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-4444035-1721301018.opb>
0.19/0.24 c original problem has 1650 variables (1650 bin, 0 int, 0 impl, 0 cont) and 113164 constraints
0.19/0.24 c problem read in 0.24
0.19/0.24 c No objective function, only one solution is needed.
0.40/0.44 c presolving:
0.68/0.77 c (0.8s) running MILP presolver
0.78/0.89 c (0.9s) MILP presolver found nothing
1.08/1.18 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 113164 upgd conss, 0 impls, 550 clqs
1.58/1.66 c (1.7s) probing: 51/1650 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.58/1.66 c (1.7s) probing aborted: 50/50 successive totally useless probings
2.58/2.60 c (2.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.08/3.11 c (3.1s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.24)
3.08/3.11 c dynamic symmetry handling statistics:
3.08/3.11 c orbitopal reduction: no components
3.08/3.11 c orbital reduction: no components
3.08/3.11 c lexicographic reduction: no permutations
3.08/3.11 c handled 1 out of 1 symmetry components
3.08/3.11 c (round 2, exhaustive) 3 del vars, 0 del conss, 2 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 113164 upgd conss, 0 impls, 549 clqs
3.08/3.15 c (round 3, fast) 4 del vars, 275 del conss, 2 add conss, 0 chg bounds, 0 chg sides, 137 chg coeffs, 113164 upgd conss, 0 impls, 549 clqs
3.17/3.21 c (round 4, medium) 5 del vars, 412 del conss, 2 add conss, 0 chg bounds, 0 chg sides, 137 chg coeffs, 113164 upgd conss, 0 impls, 549 clqs
3.27/3.38 c (round 5, exhaustive) 6 del vars, 522 del conss, 2 add conss, 0 chg bounds, 0 chg sides, 137 chg coeffs, 113164 upgd conss, 0 impls, 548 clqs
3.37/3.48 c (3.5s) probing: 56/1650 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.37/3.48 c (3.5s) probing aborted: 50/50 successive totally useless probings
3.57/3.69 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
3.57/3.69 c 6 deleted vars, 522 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 137 changed coefficients
3.57/3.69 c 0 implications, 548 cliques
3.57/3.69 c presolved problem has 1645 variables (1645 bin, 0 int, 0 impl, 0 cont) and 112644 constraints
3.57/3.69 c 548 constraints of type <setppc>
3.57/3.69 c 2 constraints of type <orbitope>
3.57/3.69 c 112094 constraints of type <logicor>
3.57/3.69 c transformed objective value is always integral (scale: 1)
3.57/3.69 c Presolving Time: 3.26
3.57/3.69 c - non default parameters ----------------------------------------------------------------------
3.57/3.69 c # SCIP version 10.0.0
3.57/3.69 c
3.57/3.69 c # maximal time in seconds to run
3.57/3.69 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.57/3.69 c limits/time = 3596.99701
3.57/3.69 c
3.57/3.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.57/3.69 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.57/3.69 c limits/memory = 27900
3.57/3.69 c
3.57/3.69 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
3.57/3.69 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
3.57/3.69 c limits/solutions = 1
3.57/3.69 c
3.57/3.69 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.
3.57/3.69 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
3.57/3.69 c misc/usesymmetry = 3
3.57/3.69 c
3.57/3.69 c # belongs reading time to solving time?
3.57/3.69 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.57/3.69 c timing/reading = TRUE
3.57/3.69 c
3.57/3.69 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
3.57/3.69 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
3.57/3.69 c propagating/symmetry/detectdoublelex = FALSE
3.57/3.69 c
3.57/3.69 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
3.57/3.69 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
3.57/3.69 c propagating/symmetry/detectsubgroups = FALSE
3.57/3.69 c
3.57/3.69 c # Type of symmetries that shall be computed?
3.57/3.69 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
3.57/3.69 c propagating/symmetry/symtype = 1
3.57/3.69 c
3.57/3.69 c # Should components consisting of a single full reflection be handled?
3.57/3.69 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
3.57/3.69 c propagating/symmetry/usesimplesgncomp = FALSE
3.57/3.69 c
3.57/3.69 c -----------------------------------------------------------------------------------------------
3.57/3.69 c start solving
3.57/3.70 c
5.97/6.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.97/6.04 c 6.0s| 1 | 0 | 1397 | - | 877M | 0 |1645 | 112k| 112k| 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
44.15/44.31 c 44.3s| 1 | 0 | 21613 | - | 957M | 0 |1645 | 112k| 112k| 3 | 1 | 78 | 0 | 0.000000e+00 | -- | Inf | unknown
46.84/47.01 c 47.0s| 1 | 0 | 21810 | - | 988M | 0 |1645 | 112k| 112k| 5 | 2 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
49.33/49.50 c 49.5s| 1 | 0 | 21887 | - | 1011M | 0 |1645 | 112k| 112k| 8 | 3 | 82 | 0 | 0.000000e+00 | -- | Inf | unknown
52.22/52.45 c 52.5s| 1 | 0 | 22137 | - | 1042M | 0 |1645 | 112k| 112k| 11 | 4 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
54.41/54.61 c 54.6s| 1 | 0 | 22187 | - | 1064M | 0 |1645 | 112k| 112k| 13 | 5 | 85 | 0 | 0.000000e+00 | -- | Inf | unknown
57.40/57.66 c 57.7s| 1 | 0 | 22447 | - | 1092M | 0 |1645 | 112k| 112k| 16 | 6 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
60.19/60.47 c 60.5s| 1 | 0 | 22752 | - | 1120M | 0 |1645 | 112k| 112k| 20 | 7 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
62.89/63.18 c 63.2s| 1 | 0 | 23008 | - | 1141M | 0 |1645 | 112k| 112k| 24 | 8 | 88 | 0 | 0.000000e+00 | -- | Inf | unknown
65.68/65.98 c 66.0s| 1 | 0 | 23217 | - | 1165M | 0 |1645 | 112k| 112k| 26 | 9 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
68.16/68.48 c 68.5s| 1 | 0 | 23325 | - | 1192M | 0 |1645 | 112k| 112k| 28 | 10 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
70.65/70.95 c 70.9s| 1 | 0 | 23359 | - | 1203M | 0 |1645 | 112k| 112k| 30 | 11 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
267.41/268.32 c LP solution value is above SCIP's infinity value
293.92/294.94 c 295s| 1 | 2 | 62926 | - | 1204M | 0 |1645 | 112k| 112k| 30 | 11 | 96 | 28 | 0.000000e+00 | -- | Inf | unknown
2375.19/2382.77 c 2383s| 100 | 101 |957369 |9434.4 | 1415M | 13 |1645 | 112k| 112k| 424 | 1 | 139 | 28 | 0.000000e+00 | -- | Inf | unknown
3213.67/3223.89 c 3224s| 200 | 201 | 1255k|6189.9 | 1594M | 33 |1645 | 112k| 112k|1192 | 1 | 214 | 28 | 0.000000e+00 | -- | Inf | unknown
3447.52/3458.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3447.52/3458.49 c 3458s| 300 | 301 | 1349k|4434.2 | 1629M | 78 |1645 | 112k| 112k|1233 | 1 | 214 | 28 | 0.000000e+00 | -- | Inf | unknown
3585.99/3597.39 c
3585.99/3597.39 c SCIP Status : solving was interrupted [time limit reached]
3585.99/3597.39 c Solving Time (sec) : 3597.39
3585.99/3597.39 c Solving Nodes : 357
3585.99/3597.39 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.99/3597.39 c Dual Bound : +0.00000000000000e+00
3585.99/3597.39 c Gap : infinite
3585.99/3597.39 s UNKNOWN
3585.99/3597.39 c SCIP Status : solving was interrupted [time limit reached]
3585.99/3597.39 c Total Time : 3597.39
3585.99/3597.39 c solving : 3597.39
3585.99/3597.39 c presolving : 3.26 (included in solving)
3585.99/3597.39 c reading : 0.24 (included in solving)
3585.99/3597.39 c copying : 0.59 (4 #copies) (minimal 0.14, maximal 0.15, average 0.15)
3585.99/3597.39 c Original Problem :
3585.99/3597.39 c Problem name : HOME/instance-4444035-1721301018.opb
3585.99/3597.39 c Variables : 1650 (1650 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.99/3597.39 c Constraints : 113164 initial, 113164 maximal
3585.99/3597.39 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.99/3597.39 c Presolved Problem :
3585.99/3597.39 c Problem name : t_HOME/instance-4444035-1721301018.opb
3585.99/3597.39 c Variables : 1645 (1645 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.99/3597.39 c Constraints : 112644 initial, 112848 maximal
3585.99/3597.39 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.99/3597.39 c Nonzeros : 564177 constraint, 1644 clique table
3585.99/3597.39 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.99/3597.39 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c domcol : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c dualsparsify : 0.94 0.00 1 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c gateextraction : 0.07 0.00 3 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c milp : 0.34 0.00 1 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c sparsify : 0.15 0.00 1 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c trivial : 0.00 0.00 6 1 0 0 0 0 0 0 0 0
3585.99/3597.39 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c probing : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c symmetry : 0.51 0.00 1 2 0 0 0 0 0 2 0 0
3585.99/3597.39 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c setppc : 0.00 0.00 12 0 1 0 0 0 2 0 0 0
3585.99/3597.39 c linear : 0.33 0.08 2 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c orbitope : 0.00 0.00 3 1 0 0 0 0 0 0 0 0
3585.99/3597.39 c logicor : 0.52 0.16 12 0 0 0 0 0 520 0 0 137
3585.99/3597.39 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c components : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c root node : - - - 0 - - 0 - - - - -
3585.99/3597.39 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.99/3597.39 c benderslp : 0 0 0 0 357 0 0 32 0 0 0 0 0 0 0
3585.99/3597.39 c integral : 0 0 0 0 357 0 0 32 0 0 0 0 0 0 714
3585.99/3597.39 c setppc : 548 548 11 15561 0 0 0 29 1658 31 529 0 0 0 0
3585.99/3597.39 c orbitope : 2 2 0 15430 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c logicor : 112094+ 112298 11 7544 0 0 0 0 1881 33 73 0 0 0 0
3585.99/3597.39 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.99/3597.39 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c integral : 23.85 0.00 0.00 0.00 23.85 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c setppc : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c orbitope : 0.17 0.00 0.00 0.17 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c logicor : 1.39 0.16 0.35 0.86 0.00 0.00 0.00 0.00 0.00 0.01
3585.99/3597.39 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.99/3597.39 c dualfix : 1 0 0 0
3585.99/3597.39 c genvbounds : 0 0 0 0
3585.99/3597.39 c nlobbt : 0 0 0 0
3585.99/3597.39 c obbt : 0 0 0 0
3585.99/3597.39 c probing : 0 0 0 0
3585.99/3597.39 c pseudoobj : 0 0 0 0
3585.99/3597.39 c redcost : 0 0 0 0
3585.99/3597.39 c rootredcost : 0 0 0 0
3585.99/3597.39 c symmetry : 0 0 0 0
3585.99/3597.39 c vbounds : 7337 0 0 0
3585.99/3597.39 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.99/3597.39 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3585.99/3597.39 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c symmetry : 0.51 0.00 0.51 0.00 0.00 0.00
3585.99/3597.39 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.99/3597.39 c Symmetry :
3585.99/3597.39 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.99/3597.39 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.99/3597.39 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.99/3597.39 c shadow tree time : 0.00 s
3585.99/3597.39 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.99/3597.39 c propagation : 0.01 55 55 - 546 108.6 8 13.5 - - -
3585.99/3597.39 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.99/3597.39 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.99/3597.39 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.99/3597.39 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.99/3597.39 c applied globally : 0.00 - - 0 234 56.1 - - 0 - -
3585.99/3597.39 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.99/3597.39 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.99/3597.39 c cut pool : 0.68 - 186 21 - - 5264 13542 - - - - - (maximal pool size: 4950)
3585.99/3597.39 c aggregation : 1.00 0.00 73 11 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.99/3597.39 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.99/3597.39 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.99/3597.39 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c clique : 0.04 0.00 11 11 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c gomory : 2.51 0.00 72 10 0 0 5115 11353 0 7 7 0 0
3585.99/3597.39 c > gomorymi : - - - - - - - 5558 0 7 7 0 -
3585.99/3597.39 c > strongcg : - - - - - - - 5795 0 0 0 0 -
3585.99/3597.39 c impliedbounds : 0.00 0.00 73 11 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c mcf : 0.04 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c multilinear : 0.00 0.00 21 11 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c rlt : 0.00 0.00 47 10 0 0 0 0 0 0 0 0 0
3585.99/3597.39 c zerohalf : 76.19 0.00 73 11 0 0 149 2189 0 1227 1227 0 0
3585.99/3597.39 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.99/3597.39 c hybrid : 0.06 0.00 105 11 1234 0 12308 30 0 3619
3585.99/3597.39 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c Pricers : ExecTime SetupTime Calls Vars
3585.99/3597.39 c problem variables: 0.00 - 0 0
3585.99/3597.39 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.99/3597.39 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c relpscost : 23.85 0.00 357 0 0 0 0 0 0 714
3585.99/3597.39 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.99/3597.39 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.99/3597.39 c LP solutions : 0.00 - - 0 0
3585.99/3597.39 c relax solutions : 0.00 - - 0 0
3585.99/3597.39 c pseudo solutions : 0.00 - - 0 0
3585.99/3597.39 c strong branching : 0.00 - - 0 0
3585.99/3597.39 c actconsdiving : 0.00 0.00 0 0 0
3585.99/3597.39 c adaptivediving : 47.79 0.00 2 0 0
3585.99/3597.39 c alns : 2.07 0.00 4 0 0
3585.99/3597.39 c bound : 0.00 0.00 0 0 0
3585.99/3597.39 c clique : 0.24 0.00 1 0 0
3585.99/3597.39 c coefdiving : 0.00 0.00 0 0 0
3585.99/3597.39 c completesol : 0.00 0.00 0 0 0
3585.99/3597.39 c conflictdiving : 460.75 0.00 8 0 0
3585.99/3597.39 c crossover : 0.00 0.00 0 0 0
3585.99/3597.39 c dins : 0.00 0.00 0 0 0
3585.99/3597.39 c distributiondivin: 222.76 0.00 3 0 0
3585.99/3597.39 c dps : 0.00 0.00 0 0 0
3585.99/3597.39 c dualval : 0.00 0.00 0 0 0
3585.99/3597.39 c farkasdiving : 0.00 0.00 0 0 0
3585.99/3597.39 c feasjump : 0.35 0.00 1 0 0
3585.99/3597.39 c feaspump : 137.40 0.00 2 0 0
3585.99/3597.39 c fixandinfer : 0.00 0.00 0 0 0
3585.99/3597.39 c fracdiving : 188.56 0.00 4 0 0
3585.99/3597.39 c gins : 0.00 0.00 0 0 0
3585.99/3597.39 c guideddiving : 0.00 0.00 0 0 0
3585.99/3597.39 c indcoefdiving : 0.00 0.00 0 0 0
3585.99/3597.39 c indicator : 0.00 0.00 0 0 0
3585.99/3597.39 c indicatordiving : 0.00 0.00 0 0 0
3585.99/3597.39 c indoneopt : 0.00 0.00 0 0 0
3585.99/3597.39 c indrounding : 0.00 0.00 0 0 0
3585.99/3597.39 c indtwoopt : 0.00 0.00 0 0 0
3585.99/3597.39 c intdiving : 0.00 0.00 0 0 0
3585.99/3597.39 c intshifting : 0.00 0.00 0 0 0
3585.99/3597.39 c linesearchdiving : 138.91 0.00 5 0 0
3585.99/3597.39 c localbranching : 0.00 0.00 0 0 0
3585.99/3597.39 c locks : 0.06 0.00 1 0 0
3585.99/3597.39 c lpface : 0.00 0.00 0 0 0
3585.99/3597.39 c mpec : 0.00 0.00 0 0 0
3585.99/3597.39 c multistart : 0.00 0.00 0 0 0
3585.99/3597.39 c mutation : 0.00 0.00 0 0 0
3585.99/3597.39 c nlpdiving : 0.00 0.00 0 0 0
3585.99/3597.39 c objpscostdiving : 1110.84 0.00 1 0 0
3585.99/3597.39 c octane : 0.00 0.00 0 0 0
3585.99/3597.39 c ofins : 0.00 0.00 0 0 0
3585.99/3597.39 c oneopt : 0.00 0.00 0 0 0
3585.99/3597.39 c padm : 0.00 0.00 0 0 0
3585.99/3597.39 c proximity : 0.00 0.00 0 0 0
3585.99/3597.39 c pscostdiving : 199.36 0.00 4 0 0
3585.99/3597.39 c randrounding : 0.53 0.00 38 0 0
3585.99/3597.39 c rens : 0.00 0.00 0 0 0
3585.99/3597.39 c reoptsols : 0.00 0.00 0 0 0
3585.99/3597.39 c repair : 0.00 0.00 0 0 0
3585.99/3597.39 c rins : 0.00 0.00 0 0 0
3585.99/3597.39 c rootsoldiving : 35.23 0.00 2 0 0
3585.99/3597.39 c rounding : 1.86 0.00 263 0 0
3585.99/3597.39 c scheduler : 0.00 0.00 0 0 0
3585.99/3597.39 c shiftandpropagate: 0.11 0.00 1 0 0
3585.99/3597.39 c shifting : 3.95 0.00 133 0 0
3585.99/3597.39 c simplerounding : 0.00 0.00 0 0 0
3585.99/3597.39 c smallcard : 0.00 0.00 0 0 0
3585.99/3597.39 c subnlp : 0.00 0.00 0 0 0
3585.99/3597.39 c trivial : 0.00 0.00 2 0 0
3585.99/3597.39 c trivialnegation : 0.00 0.00 0 0 0
3585.99/3597.39 c trustregion : 0.00 0.00 0 0 0
3585.99/3597.39 c trysol : 0.00 0.00 0 0 0
3585.99/3597.39 c twoopt : 0.00 0.00 0 0 0
3585.99/3597.39 c undercover : 0.00 0.00 0 0 0
3585.99/3597.39 c vbounds : 0.18 0.00 1 0 0
3585.99/3597.39 c veclendiving : 241.47 0.00 4 0 0
3585.99/3597.39 c zeroobj : 0.00 0.00 0 0 0
3585.99/3597.39 c zirounding : 1.41 0.00 356 0 0
3585.99/3597.39 c other solutions : - - - 0 -
3585.99/3597.39 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.99/3597.39 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
3585.99/3597.39 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
3585.99/3597.39 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
3585.99/3597.39 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
3585.99/3597.39 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
3585.99/3597.39 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
3585.99/3597.39 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
3585.99/3597.39 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
3585.99/3597.39 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
3585.99/3597.39 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.99/3597.39 c primal LP : 0.55 39 0 0.00 0.00 0.55 39
3585.99/3597.39 c dual LP : 689.55 462 319753 692.11 463.71 0.00 0
3585.99/3597.39 c lex dual LP : 0.00 0 0 0.00 -
3585.99/3597.39 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.99/3597.39 c resolve instable : 0.00 0 0 0.00 -
3585.99/3597.39 c diving/probing LP: 2776.25 1011 1095645 1083.72 394.65
3585.99/3597.39 c strong branching : 21.79 28 7812 279.00 358.52 - - 14
3585.99/3597.39 c (at root node) : - 28 7812 279.00 -
3585.99/3597.39 c conflict analysis: 0.00 0 0 0.00 -
3585.99/3597.39 c B&B Tree :
3585.99/3597.39 c number of runs : 1
3585.99/3597.39 c nodes : 357 (357 internal, 0 leaves)
3585.99/3597.39 c feasible leaves : 0
3585.99/3597.39 c infeas. leaves : 0
3585.99/3597.39 c objective leaves : 0
3585.99/3597.39 c nodes (total) : 357 (357 internal, 0 leaves)
3585.99/3597.39 c nodes left : 358
3585.99/3597.39 c max depth : 83
3585.99/3597.39 c max depth (total): 83
3585.99/3597.39 c backtracks : 75 (21.0%)
3585.99/3597.39 c early backtracks : 0 (0.0%)
3585.99/3597.39 c nodes exc. ref. : 0 (0.0%)
3585.99/3597.39 c delayed cutoffs : 0
3585.99/3597.39 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3585.99/3597.39 c avg switch length: 2.03
3585.99/3597.39 c switching time : 0.87
3585.99/3597.39 c Root Node :
3585.99/3597.39 c First LP value : +0.00000000000000e+00
3585.99/3597.39 c First LP Iters : 1397 (993.89 Iter/sec)
3585.99/3597.39 c First LP Time : 1.41
3585.99/3597.39 c Final Dual Bound : +0.00000000000000e+00
3585.99/3597.39 c Final Root Iters : 23359
3585.99/3597.39 c Root LP Estimate : +4.49767812703556e-02
3585.99/3597.39 c Solution :
3585.99/3597.39 c Solutions found : 0 (0 improvements)
3585.99/3597.39 c Primal Bound : -
3585.99/3597.39 c Dual Bound : +0.00000000000000e+00
3585.99/3597.39 c Gap : infinite
3585.99/3597.39 c Integrals : Total Avg%
3585.99/3597.39 c primal-dual : 359738.73 100.00
3585.99/3597.39 c primal-ref : - - (not evaluated)
3585.99/3597.39 c dual-ref : - - (not evaluated)
3586.40/3597.75 c Time complete: 3586.45.
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: 63931 MiB (59638 MiB free)
memory of node 1: 64510 MiB (59393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444035-1721301018/watcher-4444035-1721301018 -o /tmp/evaluation-result-4444035-1721301018/solver-4444035-1721301018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975184 --watchdog 3760 pbscip -f HOME/instance-4444035-1721301018.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=981453, runsolver pid=981450
[startup+0.100788 s]*
/proc/loadavg: 4.09 4.12 4.11 5/258 981454
/proc/meminfo: memFree=121858816/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=82536 memory=42024 CPUtime=0.09 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 7529 0 0 0 9 0 0 0 20 0 1 0 182267132 84516864 10506 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 20634 10506 3260 3540 0 8891 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82536 KiB
Current children cumulated memory: 42024 KiB
[startup+0.206019 s]*
/proc/loadavg: 4.09 4.12 4.11 5/258 981454
/proc/meminfo: memFree=121833196/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=109460 memory=68128 CPUtime=0.19 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 14116 0 0 0 18 1 0 0 20 0 1 0 182267132 112087040 17032 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 27365 17032 3260 3540 0 15622 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109460 KiB
Current children cumulated memory: 68128 KiB
[startup+0.306013 s]*
/proc/loadavg: 4.09 4.12 4.11 5/258 981454
/proc/meminfo: memFree=121786688/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=160448 memory=119672 CPUtime=0.29 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 27044 0 0 0 26 3 0 0 20 0 1 0 182267132 164298752 29918 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 40112 29918 3548 3540 0 28369 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 160448 KiB
Current children cumulated memory: 119672 KiB
[startup+0.700217 s]
/proc/loadavg: 4.09 4.12 4.11 5/258 981454
/proc/meminfo: memFree=121680604/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=306068 memory=261516 CPUtime=0.68 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 58466 0 0 0 61 7 0 0 20 0 1 0 182267132 313413632 65379 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 76517 65379 3596 3540 0 64774 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 306068 KiB
Current children cumulated memory: 261516 KiB
[startup+1.50022 s]
/proc/loadavg: 4.09 4.12 4.11 6/258 981454
/proc/meminfo: memFree=121628456/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=317852 memory=274356 CPUtime=1.48 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 84994 0 0 0 134 14 0 0 20 0 1 0 182267132 325480448 68589 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 79463 68589 3723 3540 0 67720 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 317852 KiB
Current children cumulated memory: 274356 KiB
[startup+3.10593 s]
/proc/loadavg: 4.09 4.12 4.11 6/258 981454
/proc/meminfo: memFree=121108428/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=889444 memory=792596 CPUtime=3.08 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 123630 0 0 0 282 26 0 0 20 0 1 0 182267132 910790656 198149 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 222361 198149 3787 3540 0 210618 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 889444 KiB
Current children cumulated memory: 792596 KiB
[startup+6.3002 s]
/proc/loadavg: 4.09 4.12 4.11 6/258 981454
/proc/meminfo: memFree=120991704/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=992584 memory=909156 CPUtime=6.26 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 141551 0 0 0 596 30 0 0 20 0 1 0 182267132 1016406016 227289 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 248146 227289 3883 3540 0 236403 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 992584 KiB
Current children cumulated memory: 909156 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.11 6/258 981455
/proc/meminfo: memFree=120986088/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=992584 memory=909588 CPUtime=12.64 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 141608 0 0 0 1233 31 0 0 20 0 1 0 182267132 1016406016 227397 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 248146 227397 3979 3540 0 236403 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 992584 KiB
Current children cumulated memory: 909588 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.11 6/258 981458
/proc/meminfo: memFree=120985276/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=992584 memory=909652 CPUtime=25.4 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 141701 0 0 0 2508 32 0 0 20 0 1 0 182267132 1016406016 227413 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 248146 227413 3995 3540 0 236403 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 992584 KiB
Current children cumulated memory: 909652 KiB
[startup+51.106 s]
/proc/loadavg: 4.08 4.11 4.11 6/258 981463
/proc/meminfo: memFree=120858472/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1159840 memory=1034764 CPUtime=50.93 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 165886 0 0 0 5057 36 0 0 20 0 1 0 182267132 1187676160 258691 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 289960 258691 3995 3540 0 278217 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1159840 KiB
Current children cumulated memory: 1034764 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.10 6/258 981472
/proc/meminfo: memFree=120723848/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1339040 memory=1139052 CPUtime=101.96 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 190033 0 0 0 10154 42 0 0 20 0 1 0 182267132 1371176960 284763 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 334760 284763 3995 3540 0 323017 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1339040 KiB
Current children cumulated memory: 1139052 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.10 6/258 981484
/proc/meminfo: memFree=120701448/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1356412 memory=1152096 CPUtime=161.75 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 191277 0 0 0 16133 42 0 0 20 0 1 0 182267132 1388965888 288024 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 339103 288024 3995 3540 0 327360 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1356412 KiB
Current children cumulated memory: 1152096 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.10 6/258 981495
/proc/meminfo: memFree=120689060/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1356412 memory=1152192 CPUtime=221.56 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 191328 0 0 0 22113 43 0 0 20 0 1 0 182267132 1388965888 288048 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 339103 288048 3995 3540 0 327360 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1356412 KiB
Current children cumulated memory: 1152192 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.10 6/258 981506
/proc/meminfo: memFree=120604556/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1413688 memory=1213684 CPUtime=281.36 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 216388 0 0 0 28089 47 0 0 20 0 1 0 182267132 1447616512 303421 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 353422 303421 4011 3540 0 341679 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 1413688 KiB
Current children cumulated memory: 1213684 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.09 4.09 6/255 981516
/proc/meminfo: memFree=120593300/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1413688 memory=1214936 CPUtime=341.17 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 216785 0 0 0 34069 48 0 0 20 0 1 0 182267132 1447616512 303734 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 353422 303734 4022 3540 0 341679 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1413688 KiB
Current children cumulated memory: 1214936 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/255 981526
/proc/meminfo: memFree=120589360/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1413688 memory=1214964 CPUtime=400.97 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 216876 0 0 0 40049 48 0 0 20 0 1 0 182267132 1447616512 303741 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 353422 303741 4022 3540 0 341679 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1413688 KiB
Current children cumulated memory: 1214964 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/255 981539
/proc/meminfo: memFree=120564704/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1413688 memory=1214964 CPUtime=460.78 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 216945 0 0 0 46029 49 0 0 20 0 1 0 182267132 1447616512 303741 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 353422 303741 4022 3540 0 341679 0
################
# More data... #
################
/proc/loadavg: 3.19 3.73 3.95 5/252 983354
/proc/meminfo: memFree=119601860/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3212.18 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 346452 0 0 0 321140 78 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3282.3 s]
/proc/loadavg: 3.18 3.62 3.89 5/252 983364
/proc/meminfo: memFree=119550992/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3271.98 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 346808 0 0 0 327120 78 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.52 3.84 5/249 983375
/proc/meminfo: memFree=119518960/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3331.79 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 347072 0 0 0 333101 78 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3331.79 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3402.3 s]
/proc/loadavg: 3.05 3.43 3.79 5/248 983386
/proc/meminfo: memFree=119484764/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3391.6 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 347441 0 0 0 339082 78 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.38 3.75 5/249 983398
/proc/meminfo: memFree=119465652/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3451.4 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 347729 0 0 0 345061 79 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.32 3.70 5/249 983408
/proc/meminfo: memFree=119436808/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3511.21 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 348019 0 0 0 351042 79 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3582.3 s]
/proc/loadavg: 2.55 3.13 3.61 3/242 983449
/proc/meminfo: memFree=120563844/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3571.03 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 348438 0 0 0 357024 79 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3571.03 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3597.77 s]
# the end of solver process 981453 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.65 s, system=0.821819 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.58 3.13 3.61 3/242 983449
/proc/meminfo: memFree=120562444/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3572.73 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 348440 0 0 0 357194 79 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3590.4 s]
/proc/loadavg: 2.70 3.15 3.61 3/244 983454
/proc/meminfo: memFree=120556920/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3579.11 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 348503 0 0 0 357832 79 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3579.11 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3593.6 s]
/proc/loadavg: 2.70 3.15 3.61 3/244 983454
/proc/meminfo: memFree=120556416/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3582.3 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 348503 0 0 0 358151 79 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3582.3 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3595.2 s]
/proc/loadavg: 2.72 3.14 3.61 3/244 983454
/proc/meminfo: memFree=120555268/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3583.9 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 348513 0 0 0 358311 79 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3583.9 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3596.8 s]
/proc/loadavg: 2.72 3.14 3.61 3/244 983454
/proc/meminfo: memFree=120554988/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3585.49 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 348518 0 0 0 358470 79 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3585.49 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3597.2 s]
/proc/loadavg: 2.72 3.14 3.61 3/244 983456
/proc/meminfo: memFree=120554888/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3585.89 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 348518 0 0 0 358510 79 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3597.6 s]
/proc/loadavg: 2.72 3.14 3.61 3/244 983456
/proc/meminfo: memFree=120554888/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1973900 memory=1627260 CPUtime=3586.3 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 348567 0 0 0 358550 80 0 0 20 0 1 0 182267132 2021273600 406815 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 493475 406815 4022 3540 0 481732 0
Current children cumulated CPU time: 3586.3 s
Current children cumulated vsize: 1973900 KiB
Current children cumulated memory: 1627260 KiB
[startup+3597.7 s]
/proc/loadavg: 2.72 3.14 3.61 3/244 983456
/proc/meminfo: memFree=120554888/131524600 swapFree=131071996/131071996
[pid=981453] ppid=981450 vsize=1967444 memory=1620972 CPUtime=3586.4 cores=0,2
/proc/981453/stat : 981453 (pbscip) R 981450 981453 975174 0 -1 4194304 348583 0 0 0 358560 80 0 0 20 0 1 0 182267132 2014662656 405243 134679101440 4194304 18693293 140735379396448 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34492416 140735379403779 140735379403878 140735379403878 140735379410894 0
/proc/981453/statm: 491861 405243 4022 3540 0 480118 0
Current children cumulated CPU time: 3586.4 s
Current children cumulated vsize: 1967444 KiB
Current children cumulated memory: 1620972 KiB
Child status: 0
Real time (s): 3597.77
CPU time (s): 3586.47
CPU user time (s): 3585.65
CPU system time (s): 0.821819
CPU usage (%): 99.686
Max. virtual memory (cumulated for all children) (KiB): 1973900
Max. memory (cumulated for all children) (KiB): 1627260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.65
system time used= 0.821819
maximum resident set size= 1627260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348681
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= 26
involuntary context switches= 24575
# summary of solver processes directly reported to runsolver:
# pid: 981453
# total CPU time (s): 3586.47
# total CPU user time (s): 3585.65
# total CPU system time (s): 0.821819
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11225 second user time and 17.5693 second system time
The end