0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4522561-1751646559.opb>
0.68/0.73 c original problem has 92769 variables (92769 bin, 0 int, 0 cont) and 92770 constraints
0.68/0.73 c problem read in 0.726 seconds
1.18/1.29 c presolving:
1.58/1.66 c (round 1, fast) 1714 del vars, 1714 del conss, 0 add conss, 542 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 91055 clqs
1.98/2.05 c (2.0s) running MILP presolver
17.53/17.60 c (17.6s) MILP presolver (6 rounds): 190 aggregations, 110 fixings, 0 bound changes
17.62/17.71 c (round 2, medium) 2468 del vars, 1714 del conss, 0 add conss, 542 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 86521 clqs
17.62/17.75 c (round 3, fast) 3083 del vars, 6212 del conss, 0 add conss, 542 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 86443 clqs
17.72/17.83 c (round 4, exhaustive) 3085 del vars, 6326 del conss, 0 add conss, 542 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 86443 clqs
18.13/18.25 c (round 5, exhaustive) 3085 del vars, 6326 del conss, 0 add conss, 542 chg bounds, 42 chg sides, 0 chg coeffs, 86443 upgd conss, 0 impls, 86443 clqs
18.33/18.47 c (round 6, medium) 3151 del vars, 6396 del conss, 0 add conss, 542 chg bounds, 44 chg sides, 2 chg coeffs, 86443 upgd conss, 0 impls, 86443 clqs
20.71/20.89 c (20.9s) sparsify finished: 1091/483401 (0.2%) nonzeros canceled - in total 1091 canceled nonzeros, 1091 changed coefficients, 0 added nonzeros
20.82/20.93 c (round 7, exhaustive) 3229 del vars, 6397 del conss, 0 add conss, 542 chg bounds, 44 chg sides, 1093 chg coeffs, 86449 upgd conss, 0 impls, 86433 clqs
20.82/21.01 c (round 8, fast) 3229 del vars, 6470 del conss, 0 add conss, 542 chg bounds, 44 chg sides, 1093 chg coeffs, 86449 upgd conss, 0 impls, 86433 clqs
41.93/42.12 c (round 9, exhaustive) 3343 del vars, 6476 del conss, 0 add conss, 542 chg bounds, 44 chg sides, 1093 chg coeffs, 86452 upgd conss, 0 impls, 294446 clqs
42.02/42.21 c (round 10, fast) 3346 del vars, 6777 del conss, 0 add conss, 542 chg bounds, 44 chg sides, 1093 chg coeffs, 86452 upgd conss, 0 impls, 294438 clqs
42.31/42.59 c (round 11, exhaustive) 3406 del vars, 7881 del conss, 0 add conss, 542 chg bounds, 45 chg sides, 1094 chg coeffs, 86452 upgd conss, 0 impls, 292848 clqs
46.39/46.61 c (round 12, exhaustive) 3518 del vars, 7918 del conss, 0 add conss, 542 chg bounds, 45 chg sides, 1094 chg coeffs, 86455 upgd conss, 0 impls, 344380 clqs
46.39/46.68 c (round 13, fast) 3519 del vars, 8045 del conss, 0 add conss, 542 chg bounds, 45 chg sides, 1094 chg coeffs, 86455 upgd conss, 0 impls, 344380 clqs
46.80/47.09 c (round 14, exhaustive) 3544 del vars, 8365 del conss, 0 add conss, 542 chg bounds, 46 chg sides, 1095 chg coeffs, 86455 upgd conss, 0 impls, 343508 clqs
51.57/51.89 c (51.9s) probing: 1000/89841 (1.1%) - 269 fixings, 9 aggregations, 391676 implications, 0 bound changes
52.67/52.98 c (53.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
52.88/53.20 c (53.2s) symmetry computation finished: 15 generators found (max: 715, log10 of symmetry group size: 7.58) (symcode time: 0.08)
52.97/53.22 c dynamic symmetry handling statistics:
52.97/53.22 c orbitopal reduction: 1 components: 4x3
52.97/53.22 c orbital reduction: 1 components of sizes 4
52.97/53.22 c lexicographic reduction: 7 permutations with support sizes 8, 8, 8, 24, 8, 8, 8
52.97/53.22 c handled 10 out of 10 symmetry components
53.07/53.37 c presolving (15 rounds: 15 fast, 10 medium, 8 exhaustive):
53.07/53.37 c 3585 deleted vars, 8383 deleted constraints, 6 added constraints, 542 tightened bounds, 0 added holes, 46 changed sides, 1095 changed coefficients
53.07/53.37 c 0 implications, 345045 cliques
53.07/53.37 c presolved problem has 89413 variables (89413 bin, 0 int, 0 cont) and 84408 constraints
53.07/53.37 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
53.07/53.37 c 84401 constraints of type <setppc>
53.07/53.37 c 7 constraints of type <linear>
53.07/53.37 c transformed objective value is always integral (scale: 1)
53.07/53.37 c Presolving Time: 52.12
53.07/53.37 c
53.07/53.37 c - non default parameters ----------------------------------------------------------------------
53.07/53.37 c
53.07/53.37 c # SCIP version 10.0.0
53.07/53.37 c
53.07/53.37 c # maximal time in seconds to run
53.07/53.37 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
53.07/53.37 c limits/time = 3596.995066
53.07/53.37 c
53.07/53.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
53.07/53.37 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
53.07/53.37 c limits/memory = 27900
53.07/53.37 c
53.07/53.37 c # belongs reading time to solving time?
53.07/53.37 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
53.07/53.37 c timing/reading = TRUE
53.07/53.37 c
53.07/53.37 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
53.07/53.37 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
53.07/53.37 c reading/opbreader/maxintsize = 47
53.07/53.37 c
53.07/53.37 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
53.07/53.37 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
53.07/53.37 c propagating/genvbounds/timingmask = 0
53.07/53.37 c
53.07/53.37 c -----------------------------------------------------------------------------------------------
53.07/53.38 c
1727.45/1733.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1727.45/1733.58 c 1734s| 1 | 0 |163634 | - | 1254M | 0 | 89k| 84k| 84k| 0 | 0 | 72 | 0 | 1.039393e+03 | -- | Inf | unknown
3190.77/3201.62 c 3202s| 1 | 0 |388287 | - | 1318M | 0 | 89k| 84k| 83k| 127 | 1 | 73 | 0 | 1.041691e+03 | -- | Inf | unknown
3584.76/3597.00 c 3597s| 1 | 0 |426838 | - | 1338M | 0 | 89k| 83k| 83k| 294 | 2 | 75 | 0 | 1.041691e+03 | -- | Inf | unknown
3584.76/3597.00 c (node 1) LP solver hit time limit in LP 27 -- using pseudo solution instead
3584.76/3597.00 c
3584.76/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.76/3597.00 c Solving Time (sec) : 3597.00
3584.76/3597.00 c Solving Nodes : 1
3584.76/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.76/3597.00 c Dual Bound : +1.04169078994141e+03
3584.76/3597.00 c Gap : infinite
3584.76/3597.00 s UNKNOWN
3584.76/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.76/3597.00 c Total Time : 3597.00
3584.76/3597.00 c solving : 3597.00
3584.76/3597.00 c presolving : 52.12 (included in solving)
3584.76/3597.00 c reading : 0.73 (included in solving)
3584.76/3597.00 c copying : 0.00 (0 times copied the problem)
3584.76/3597.00 c Original Problem :
3584.76/3597.00 c Problem name : HOME/instance-4522561-1751646559.opb
3584.76/3597.00 c Variables : 92769 (92769 binary, 0 integer, 0 continuous)
3584.76/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3584.76/3597.00 c Constraints : 92770 initial, 92770 maximal
3584.76/3597.01 c Objective : minimize, 2888 non-zeros (abs.min = 1, abs.max = 1)
3584.76/3597.01 c Presolved Problem :
3584.76/3597.01 c Problem name : t_HOME/instance-4522561-1751646559.opb
3584.76/3597.01 c Variables : 89413 (89413 binary, 0 integer, 0 continuous)
3584.76/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3584.76/3597.01 c Constraints : 84408 initial, 84408 maximal
3584.76/3597.01 c Objective : minimize, 2107 non-zeros (abs.min = 1, abs.max = 1)
3584.76/3597.01 c Nonzeros : 477171 constraint, 994296 clique table
3584.76/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.76/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c domcol : 0.57 0.00 4 10 0 0 0 0 0 0 0 0
3584.76/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c dualsparsify : 0.85 0.00 1 0 0 0 0 0 1 0 0 0
3584.76/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c implics : 0.02 0.00 10 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c milp : 15.91 0.00 1 110 190 0 0 0 0 0 0 0
3584.76/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c sparsify : 4.11 0.00 2 0 0 0 0 0 0 0 0 1091
3584.76/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c trivial : 0.05 0.00 15 543 0 0 0 0 0 0 0 0
3584.76/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c dualfix : 0.05 0.00 15 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c probing : 27.05 0.00 4 270 9 0 0 0 0 0 0 0
3584.76/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c symmetry : 0.24 0.00 1 0 0 0 0 0 0 6 0 0
3584.76/3597.01 c vbounds : 0.42 0.00 3 300 0 0 0 0 0 0 0 0
3584.76/3597.01 c setppc : 1.75 0.02 23 0 135 0 0 0 1983 0 4 4
3584.76/3597.01 c linear : 0.76 0.14 21 542 1247 0 542 0 6399 0 42 0
3584.76/3597.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c components : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c root node : - - - 210 - - 210 - - - - -
3584.76/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.76/3597.01 c integral : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3584.76/3597.01 c setppc : 84401 84401 2 14711 0 0 0 3 734 49 0 7 4 0 0
3584.76/3597.01 c linear : 7 7 2 14662 0 0 0 3 0 0 0 0 0 0 0
3584.76/3597.01 c logicor : 0+ 32 2 32 0 0 0 0 0 1 0 3 3 0 0
3584.76/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.76/3597.01 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c setppc : 5.52 0.02 0.13 5.37 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c linear : 0.21 0.14 0.06 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.76/3597.01 c dualfix : 1 0 0 0
3584.76/3597.01 c genvbounds : 0 0 0 0
3584.76/3597.01 c nlobbt : 0 0 0 0
3584.76/3597.01 c obbt : 0 0 0 0
3584.76/3597.01 c probing : 0 0 0 0
3584.76/3597.01 c pseudoobj : 3 0 0 0
3584.76/3597.01 c redcost : 2 0 0 0
3584.76/3597.01 c rootredcost : 0 0 0 0
3584.76/3597.01 c symmetry : 0 0 0 0
3584.76/3597.01 c vbounds : 4810 0 0 0
3584.76/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.76/3597.01 c dualfix : 0.05 0.00 0.05 0.00 0.00 0.00
3584.76/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c probing : 27.05 0.00 27.05 0.00 0.00 0.00
3584.76/3597.01 c pseudoobj : 1.33 0.00 0.00 1.33 0.00 0.00
3584.76/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3584.76/3597.01 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.76/3597.01 c symmetry : 0.24 0.00 0.24 0.00 0.00 0.00
3584.76/3597.01 c vbounds : 0.44 0.00 0.42 0.03 0.00 0.00
3584.76/3597.01 c Symmetry :
3584.76/3597.01 c #affected vars : 71 (71 bin, 0 int, 0 cont)
3584.76/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.76/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.76/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.76/3597.01 c shadow tree time : 0.00 s
3584.76/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.76/3597.01 c propagation : 0.00 44 42 - 76 30.8 12 2.4 - - -
3584.76/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.76/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.76/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.76/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.76/3597.01 c applied globally : 0.00 - - 0 75 14.2 - - 0 - -
3584.76/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.76/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.76/3597.01 c cut pool : 0.00 - 3 3 - - 532 551 - - - - - (maximal pool size: 528)
3584.76/3597.01 c aggregation : 0.05 0.00 2 2 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.76/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.76/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.76/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c clique : 7.63 0.00 2 2 0 0 15 19 0 11 11 0 0
3584.76/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c gomory : 9.15 0.00 2 2 0 0 402 268 138 197 62 135 0
3584.76/3597.01 c > gomorymi : - - - - - - - 40 69 74 5 69 -
3584.76/3597.01 c > strongcg : - - - - - - - 228 69 123 57 66 -
3584.76/3597.01 c impliedbounds : 0.06 0.00 2 2 0 195 198 206 0 27 27 0 0
3584.76/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c mcf : 0.07 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c multilinear : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c rlt : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3584.76/3597.01 c zerohalf : 0.87 0.00 2 2 0 0 55 58 0 45 45 0 0
3584.76/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.76/3597.01 c hybrid : 0.01 0.00 2 2 151 143 548 151 143 548
3584.76/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3584.76/3597.01 c problem variables: 0.00 - 0 0
3584.76/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.76/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.76/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.76/3597.01 c LP solutions : 0.00 - - 0 0
3584.76/3597.01 c relax solutions : 0.00 - - 0 0
3584.76/3597.01 c pseudo solutions : 0.00 - - 0 0
3584.76/3597.01 c strong branching : 0.00 - - 0 0
3584.76/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3584.76/3597.01 c adaptivediving : 0.00 0.00 0 0 0
3584.76/3597.01 c alns : 0.00 0.00 0 0 0
3584.76/3597.01 c bound : 0.00 0.00 0 0 0
3584.76/3597.01 c clique : 0.45 0.00 1 0 0
3584.76/3597.01 c coefdiving : 0.00 0.00 0 0 0
3584.76/3597.01 c completesol : 0.00 0.00 0 0 0
3584.76/3597.01 c conflictdiving : 0.00 0.00 0 0 0
3584.76/3597.01 c crossover : 0.00 0.00 0 0 0
3584.76/3597.01 c dins : 0.00 0.00 0 0 0
3584.76/3597.01 c distributiondivin: 0.00 0.00 0 0 0
3584.76/3597.01 c dks : 0.00 0.00 0 0 0
3584.76/3597.01 c dps : 0.00 0.00 0 0 0
3584.76/3597.01 c dualval : 0.00 0.00 0 0 0
3584.76/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3584.76/3597.01 c feaspump : 883.10 0.00 1 0 0
3584.76/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3584.76/3597.01 c fracdiving : 0.00 0.00 0 0 0
3584.76/3597.01 c gins : 0.00 0.00 0 0 0
3584.76/3597.01 c guideddiving : 0.00 0.00 0 0 0
3584.76/3597.01 c indicator : 0.00 0.00 0 0 0
3584.76/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3584.76/3597.01 c intdiving : 0.00 0.00 0 0 0
3584.76/3597.01 c intshifting : 0.00 0.00 0 0 0
3584.76/3597.01 c linesearchdiving : 0.00 0.00 0 0 0
3584.76/3597.01 c localbranching : 0.00 0.00 0 0 0
3584.76/3597.01 c locks : 0.55 0.00 1 0 0
3584.76/3597.01 c lpface : 0.00 0.00 0 0 0
3584.76/3597.01 c mpec : 0.00 0.00 0 0 0
3584.76/3597.01 c multistart : 0.00 0.00 0 0 0
3584.76/3597.01 c mutation : 0.00 0.00 0 0 0
3584.76/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3584.76/3597.01 c objpscostdiving : 0.00 0.00 0 0 0
3584.76/3597.01 c octane : 0.00 0.00 0 0 0
3584.76/3597.01 c ofins : 0.00 0.00 0 0 0
3584.76/3597.01 c oneopt : 0.00 0.00 0 0 0
3584.76/3597.01 c padm : 0.00 0.00 0 0 0
3584.76/3597.01 c proximity : 0.00 0.00 0 0 0
3584.76/3597.01 c pscostdiving : 0.00 0.00 0 0 0
3584.76/3597.01 c randrounding : 0.31 0.00 2 0 0
3584.76/3597.01 c rens : 0.00 0.00 0 0 0
3584.76/3597.01 c reoptsols : 0.00 0.00 0 0 0
3584.76/3597.01 c repair : 0.00 0.00 0 0 0
3584.76/3597.01 c rins : 0.00 0.00 0 0 0
3584.76/3597.01 c rootsoldiving : 0.00 0.00 0 0 0
3584.76/3597.01 c rounding : 0.01 0.00 2 0 0
3584.76/3597.01 c scheduler : 0.00 0.00 0 0 0
3584.87/3597.01 c shiftandpropagate: 0.37 0.00 1 0 0
3584.87/3597.01 c shifting : 0.07 0.00 2 0 0
3584.87/3597.01 c simplerounding : 0.00 0.00 2 0 0
3584.87/3597.01 c subnlp : 0.00 0.00 0 0 0
3584.87/3597.01 c trivial : 0.07 0.00 2 0 0
3584.87/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3584.87/3597.01 c trustregion : 0.00 0.00 0 0 0
3584.87/3597.01 c trysol : 0.00 0.00 0 0 0
3584.87/3597.01 c twoopt : 0.00 0.00 0 0 0
3584.87/3597.01 c undercover : 0.00 0.00 0 0 0
3584.87/3597.01 c vbounds : 0.42 0.00 1 0 0
3584.87/3597.01 c veclendiving : 0.00 0.00 0 0 0
3584.87/3597.01 c zeroobj : 0.00 0.00 0 0 0
3584.87/3597.01 c zirounding : 0.00 0.00 0 0 0
3584.87/3597.01 c other solutions : - - - 0 -
3584.87/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.87/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.87/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.87/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.87/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.87/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.87/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.87/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.87/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.87/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3584.87/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.87/3597.01 c primal LP : 0.00 0 0 0.00 - 0.00 0
3584.87/3597.01 c dual LP : 2638.45 5 266189 88729.67 100.89 55.02 2
3584.87/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3584.87/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.87/3597.01 c resolve instable : 0.00 0 0 0.00 -
3584.87/3597.01 c diving/probing LP: 881.82 24 160649 6693.71 182.18
3584.87/3597.01 c strong branching : 0.00 0 0 0.00 - - - 0
3584.87/3597.01 c (at root node) : - 0 0 0.00 -
3584.87/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3584.87/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3584.87/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3584.87/3597.01 c B&B Tree :
3584.87/3597.01 c number of runs : 1
3584.87/3597.01 c nodes : 1 (0 internal, 1 leaves)
3584.87/3597.01 c feasible leaves : 0
3584.87/3597.01 c infeas. leaves : 0
3584.87/3597.01 c objective leaves : 0
3584.87/3597.01 c nodes (total) : 1 (0 internal, 1 leaves)
3584.87/3597.01 c nodes left : 1
3584.87/3597.01 c max depth : 0
3584.87/3597.01 c max depth (total): 0
3584.87/3597.01 c backtracks : 0 (0.0%)
3584.87/3597.01 c early backtracks : 0 (0.0%)
3584.87/3597.01 c nodes exc. ref. : 0 (0.0%)
3584.87/3597.01 c delayed cutoffs : 0
3584.87/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3584.87/3597.01 c avg switch length: 1.00
3584.87/3597.01 c switching time : 0.00
3584.87/3597.01 c Root Node :
3584.87/3597.01 c First LP value : +1.03939278774056e+03
3584.87/3597.01 c First LP Iters : 163634 (97.58 Iter/sec)
3584.87/3597.01 c First LP Time : 1676.85
3584.87/3597.01 c Final Dual Bound : +1.04169078994141e+03
3584.87/3597.01 c Final Root Iters : 426838
3584.87/3597.01 c Root LP Estimate : -
3584.87/3597.01 c Solution :
3584.87/3597.01 c Solutions found : 0 (0 improvements)
3584.87/3597.01 c Primal Bound : -
3584.87/3597.01 c Dual Bound : +1.04169078994141e+03
3584.87/3597.01 c Gap : infinite
3584.87/3597.01 c Integrals : Total Avg%
3584.87/3597.01 c primal-dual : 359700.17 100.00
3584.87/3597.01 c primal-ref : - - (not evaluated)
3584.87/3597.01 c dual-ref : - - (not evaluated)
3585.36/3597.53 c Time complete (sec): 3585.392
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: 63794 MiB (62603 MiB free)
memory of node 1: 64507 MiB (62838 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522561-1751646559/watcher-4522561-1751646559 -o /tmp/evaluation-result-4522561-1751646559/solver-4522561-1751646559 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751646559-96680 --watchdog 3760 pbsolver -f HOME/instance-4522561-1751646559.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=96713, runsolver pid=96709
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 1.10 1.46 2.62 5/246 96722
/proc/meminfo: memFree=128360380/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=63232 memory=52992 CPUtime=0.1 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 11271 0 0 0 6 4 0 0 20 0 1 0 80334803 64749568 13248 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 15808 13248 2176 2575 0 12715 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 63232 KiB
Current children cumulated memory: 52992 KiB
[startup+0.213617 s]*
/proc/loadavg: 1.10 1.46 2.62 5/248 96727
/proc/meminfo: memFree=128247108/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=105784 memory=94848 CPUtime=0.21 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 21740 0 0 0 13 8 0 0 20 0 1 0 80334803 108322816 23712 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 26446 23712 2176 2575 0 23353 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 105784 KiB
Current children cumulated memory: 94848 KiB
[startup+0.314184 s]*
/proc/loadavg: 1.10 1.46 2.62 5/248 96727
/proc/meminfo: memFree=128182848/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=111864 memory=100992 CPUtime=0.31 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 23294 0 0 0 23 8 0 0 20 0 1 0 80334803 114548736 25248 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 27966 25248 2176 2575 0 24873 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111864 KiB
Current children cumulated memory: 100992 KiB
[startup+0.700297 s]
/proc/loadavg: 1.10 1.46 2.62 4/247 96728
/proc/meminfo: memFree=128053764/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=158936 memory=148608 CPUtime=0.68 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 35188 0 0 0 55 13 0 0 20 0 1 0 80334803 162750464 37152 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 39734 37152 2176 2575 0 36641 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 158936 KiB
Current children cumulated memory: 148608 KiB
[startup+1.50035 s]
/proc/loadavg: 1.10 1.46 2.62 5/251 96737
/proc/meminfo: memFree=127668136/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=383488 memory=365780 CPUtime=1.47 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 89577 0 0 0 120 27 0 0 20 0 1 0 80334803 392691712 91445 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 95872 91445 2432 2575 0 92779 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 383488 KiB
Current children cumulated memory: 365780 KiB
[startup+3.11308 s]
/proc/loadavg: 1.34 1.50 2.63 5/251 96737
/proc/meminfo: memFree=126655772/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=525224 memory=497720 CPUtime=3.08 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 111607 0 0 0 274 34 0 0 20 0 1 0 80334803 537829376 124430 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 131306 124430 2496 2575 0 128213 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 525224 KiB
Current children cumulated memory: 497720 KiB
[startup+6.30032 s]
/proc/loadavg: 1.34 1.50 2.63 5/251 96738
/proc/meminfo: memFree=125459232/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=525224 memory=497848 CPUtime=6.26 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 111629 0 0 0 592 34 0 0 20 0 1 0 80334803 537829376 124462 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 131306 124462 2528 2575 0 128213 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 525224 KiB
Current children cumulated memory: 497848 KiB
[startup+12.7003 s]
/proc/loadavg: 1.63 1.56 2.64 5/251 96738
/proc/meminfo: memFree=124382524/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=525224 memory=497848 CPUtime=12.64 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 111629 0 0 0 1230 34 0 0 20 0 1 0 80334803 537829376 124462 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 131306 124462 2528 2575 0 128213 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 525224 KiB
Current children cumulated memory: 497848 KiB
[startup+25.5004 s]
/proc/loadavg: 2.15 1.68 2.66 5/251 96783
/proc/meminfo: memFree=123589900/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=880256 memory=817744 CPUtime=25.4 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 134421 0 0 0 2493 47 0 0 20 0 1 0 80334803 901382144 204436 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 220064 204436 2560 2575 0 216971 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 880256 KiB
Current children cumulated memory: 817744 KiB
[startup+51.1134 s]
/proc/loadavg: 2.79 1.87 2.70 5/251 96783
/proc/meminfo: memFree=122635940/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=921104 memory=858576 CPUtime=50.89 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 144546 0 0 0 5041 48 0 0 20 0 1 0 80334803 943210496 214644 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 230276 214644 2560 2575 0 227183 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 921104 KiB
Current children cumulated memory: 858576 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.21 2.77 5/251 96786
/proc/meminfo: memFree=122049596/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1392112 memory=1173648 CPUtime=101.9 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 194374 0 0 0 10130 60 0 0 20 0 1 0 80334803 1425522688 293412 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 348028 293412 2688 2575 0 344935 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1392112 KiB
Current children cumulated memory: 1173648 KiB
[startup+162.3 s]
/proc/loadavg: 4.45 2.71 2.91 5/251 96788
/proc/meminfo: memFree=122002696/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1392244 memory=1176336 CPUtime=161.7 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 194500 0 0 0 16110 60 0 0 20 0 1 0 80334803 1425657856 294084 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 348061 294084 2688 2575 0 344968 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 1392244 KiB
Current children cumulated memory: 1176336 KiB
[startup+222.3 s]
/proc/loadavg: 4.59 3.08 3.03 5/252 96797
/proc/meminfo: memFree=122004168/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1392380 memory=1176976 CPUtime=221.48 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 194592 0 0 0 22088 60 0 0 20 0 1 0 80334803 1425797120 294244 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 348095 294244 2688 2575 0 345002 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1392380 KiB
Current children cumulated memory: 1176976 KiB
[startup+282.3 s]
/proc/loadavg: 4.29 3.27 3.10 5/252 96799
/proc/meminfo: memFree=121996384/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1398664 memory=1183888 CPUtime=281.25 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 194873 0 0 0 28065 60 0 0 20 0 1 0 80334803 1432231936 295972 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 349666 295972 2688 2575 0 346573 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 1398664 KiB
Current children cumulated memory: 1183888 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.42 3.16 5/251 96801
/proc/meminfo: memFree=121936388/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1398664 memory=1193488 CPUtime=341.03 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 194906 0 0 0 34043 60 0 0 20 0 1 0 80334803 1432231936 298372 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 349666 298372 2688 2575 0 346573 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 1398664 KiB
Current children cumulated memory: 1193488 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.54 3.22 5/251 96848
/proc/meminfo: memFree=121654920/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1398664 memory=1195280 CPUtime=400.81 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 194907 0 0 0 40020 61 0 0 20 0 1 0 80334803 1432231936 298820 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 349666 298820 2688 2575 0 346573 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 1398664 KiB
Current children cumulated memory: 1195280 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.64 3.28 5/252 96851
/proc/meminfo: memFree=121607136/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1398664 memory=1195280 CPUtime=460.6 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 194973 0 0 0 45999 61 0 0 20 0 1 0 80334803 1432231936 298820 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 349666 298820 2688 2575 0 346573 0
################
# More data... #
################
/proc/loadavg: 4.11 4.11 4.09 5/249 96985
/proc/meminfo: memFree=121357304/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1482184 memory=1278352 CPUtime=3211.4 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 210559 0 0 0 321046 94 0 0 20 0 1 0 80334803 1517756416 319588 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 370546 319588 2688 2575 0 367453 0
Current children cumulated CPU time: 3211.4 s
Current children cumulated vsize: 1482184 KiB
Current children cumulated memory: 1278352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 96994
/proc/meminfo: memFree=121352332/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284240 CPUtime=3271.22 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212237 0 0 0 327027 95 0 0 20 0 1 0 80334803 1533853696 321060 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321060 2688 2575 0 371383 0
Current children cumulated CPU time: 3271.22 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 96996
/proc/meminfo: memFree=121362248/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284240 CPUtime=3331.03 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212245 0 0 0 333008 95 0 0 20 0 1 0 80334803 1533853696 321060 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321060 2688 2575 0 371383 0
Current children cumulated CPU time: 3331.03 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284240 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 96998
/proc/meminfo: memFree=121358064/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284368 CPUtime=3390.82 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212273 0 0 0 338986 96 0 0 20 0 1 0 80334803 1533853696 321092 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321092 2688 2575 0 371383 0
Current children cumulated CPU time: 3390.82 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 97000
/proc/meminfo: memFree=121350916/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284368 CPUtime=3450.61 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212281 0 0 0 344965 96 0 0 20 0 1 0 80334803 1533853696 321092 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321092 2688 2575 0 371383 0
Current children cumulated CPU time: 3450.61 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 97002
/proc/meminfo: memFree=121357432/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284368 CPUtime=3510.41 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212342 0 0 0 350944 97 0 0 20 0 1 0 80334803 1533853696 321092 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321092 2688 2575 0 371383 0
Current children cumulated CPU time: 3510.41 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 97004
/proc/meminfo: memFree=121356232/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284368 CPUtime=3570.21 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212344 0 0 0 356924 97 0 0 20 0 1 0 80334803 1533853696 321092 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321092 2688 2575 0 371383 0
Current children cumulated CPU time: 3570.21 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284368 KiB
[startup+3597.53 s]
# the end of solver process 96713 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.4 s, system=0.997429 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.09 5/250 97004
/proc/meminfo: memFree=121356232/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284368 CPUtime=3571.91 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212344 0 0 0 357094 97 0 0 20 0 1 0 80334803 1533853696 321092 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321092 2688 2575 0 371383 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284368 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 97004
/proc/meminfo: memFree=121358596/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284368 CPUtime=3578.28 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212344 0 0 0 357731 97 0 0 20 0 1 0 80334803 1533853696 321092 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321092 2688 2575 0 371383 0
Current children cumulated CPU time: 3578.28 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284368 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 97004
/proc/meminfo: memFree=121358596/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284368 CPUtime=3581.47 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212344 0 0 0 358050 97 0 0 20 0 1 0 80334803 1533853696 321092 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321092 2688 2575 0 371383 0
Current children cumulated CPU time: 3581.47 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284368 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 97004
/proc/meminfo: memFree=121366660/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284368 CPUtime=3583.06 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212344 0 0 0 358209 97 0 0 20 0 1 0 80334803 1533853696 321092 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321092 2688 2575 0 371383 0
Current children cumulated CPU time: 3583.06 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284368 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 97004
/proc/meminfo: memFree=121359188/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284368 CPUtime=3584.66 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212344 0 0 0 358369 97 0 0 20 0 1 0 80334803 1533853696 321092 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321092 2688 2575 0 371383 0
Current children cumulated CPU time: 3584.66 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284368 KiB
[startup+3597.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 97005
/proc/meminfo: memFree=121360404/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1497904 memory=1284368 CPUtime=3585.05 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212588 0 0 0 358408 97 0 0 20 0 1 0 80334803 1533853696 321092 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 374476 321092 2688 2575 0 371383 0
Current children cumulated CPU time: 3585.05 s
Current children cumulated vsize: 1497904 KiB
Current children cumulated memory: 1284368 KiB
[startup+3597.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 97005
/proc/meminfo: memFree=121360404/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1484848 memory=1271432 CPUtime=3585.25 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212602 0 0 0 358428 97 0 0 20 0 1 0 80334803 1520484352 317858 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 371212 317858 2688 2575 0 368119 0
Current children cumulated CPU time: 3585.25 s
Current children cumulated vsize: 1484848 KiB
Current children cumulated memory: 1271432 KiB
[startup+3597.5 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 97005
/proc/meminfo: memFree=121360404/131382112 swapFree=33009904/33010684
[pid=96713] ppid=96709 vsize=1321576 memory=1108636 CPUtime=3585.36 cores=5,7
/proc/96713/stat : 96713 (pbsolver) R 96709 96713 96324 0 -1 4194304 212609 0 0 0 358438 98 0 0 20 0 1 0 80334803 1353293824 277159 18446744073709551615 4198400 14743177 140722674979744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 41873408 140722674981257 140722674981353 140722674981353 140722674986956 0
/proc/96713/statm: 330394 277159 2688 2575 0 327301 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 1321576 KiB
Current children cumulated memory: 1108636 KiB
Child status: 0
Real time (s): 3597.53
CPU time (s): 3585.4
CPU user time (s): 3584.4
CPU system time (s): 0.997429
CPU usage (%): 99.6627
Max. virtual memory (cumulated for all children) (KiB): 1497904
Max. memory (cumulated for all children) (KiB): 1284368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.4
system time used= 0.997429
maximum resident set size= 1284368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212641
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= 36
involuntary context switches= 1663
# summary of solver processes directly reported to runsolver:
# pid: 96713
# total CPU time (s): 3585.4
# total CPU user time (s): 3584.4
# total CPU system time (s): 0.997429
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1383 second user time and 35.8752 second system time
The end