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-4432818-1721121355.opb>
0.39/0.50 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234036 constraints
0.39/0.50 c problem read in 0.50
0.88/0.94 c presolving:
1.39/1.47 c (round 1, fast) 15108 del vars, 14915 del conss, 0 add conss, 3275 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 153441 clqs
1.59/1.60 c (round 2, fast) 26498 del vars, 56301 del conss, 0 add conss, 3275 chg bounds, 30 chg sides, 31 chg coeffs, 0 upgd conss, 0 impls, 152607 clqs
1.59/1.62 c (round 3, fast) 26498 del vars, 57458 del conss, 0 add conss, 3275 chg bounds, 30 chg sides, 31 chg coeffs, 0 upgd conss, 0 impls, 152666 clqs
1.78/1.86 c (1.9s) running MILP presolver
5.38/5.40 c (5.4s) MILP presolver found nothing
5.87/5.96 c (round 4, exhaustive) 26498 del vars, 57458 del conss, 0 add conss, 3275 chg bounds, 30 chg sides, 31 chg coeffs, 176578 upgd conss, 0 impls, 152666 clqs
6.57/6.64 c (round 5, exhaustive) 26498 del vars, 143414 del conss, 27933 add conss, 3275 chg bounds, 44 chg sides, 82 chg coeffs, 176578 upgd conss, 0 impls, 152671 clqs
6.67/6.79 c (round 6, medium) 26712 del vars, 143414 del conss, 27933 add conss, 3275 chg bounds, 258 chg sides, 296 chg coeffs, 176578 upgd conss, 0 impls, 154200 clqs
77.17/77.49 c (77.5s) probing: 1000/56360 (1.8%) - 0 fixings, 0 aggregations, 5006796 implications, 0 bound changes
77.27/77.56 c (77.6s) probing: 1001/56360 (1.8%) - 0 fixings, 0 aggregations, 5008323 implications, 0 bound changes
77.27/77.56 c (77.6s) probing aborted: 1000/1000 successive useless probings
77.27/77.56 c (77.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
77.47/77.76 c (77.8s) no symmetry present (symcode time: 0.06)
77.58/77.85 c presolving (7 rounds: 7 fast, 4 medium, 3 exhaustive):
77.58/77.85 c 26712 deleted vars, 143414 deleted constraints, 27933 added constraints, 3275 tightened bounds, 0 added holes, 258 changed sides, 314 changed coefficients
77.58/77.85 c 0 implications, 559282 cliques
77.58/77.85 c presolved problem has 56360 variables (56360 bin, 0 int, 0 impl, 0 cont) and 118555 constraints
77.58/77.85 c 1156 constraints of type <knapsack>
77.58/77.85 c 91636 constraints of type <setppc>
77.58/77.85 c 25756 constraints of type <and>
77.58/77.85 c 7 constraints of type <logicor>
77.58/77.85 c transformed objective value is always integral (scale: 1)
77.58/77.85 c Presolving Time: 76.94
77.58/77.85 c - non default parameters ----------------------------------------------------------------------
77.58/77.85 c # SCIP version 10.0.0
77.58/77.85 c
77.58/77.85 c # maximal time in seconds to run
77.58/77.85 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
77.58/77.85 c limits/time = 3596.99706
77.58/77.85 c
77.58/77.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
77.58/77.85 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
77.58/77.85 c limits/memory = 27900
77.58/77.85 c
77.58/77.85 c # belongs reading time to solving time?
77.58/77.85 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
77.58/77.85 c timing/reading = TRUE
77.58/77.85 c
77.58/77.85 c -----------------------------------------------------------------------------------------------
77.58/77.85 c start solving
77.58/77.87 c
906.51/908.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
906.51/908.80 c 909s| 1 | 0 |199930 | - | 868M | 0 | 56k| 118k| 144k| 0 | 0 | 32 | 0 | 1.030617e+02 | -- | Inf | unknown
2053.82/2059.53 c 2060s| 1 | 0 |532037 | - | 946M | 0 | 56k| 118k| 144k| 95 | 1 | 39 | 0 | 1.032782e+02 | -- | Inf | unknown
2357.60/2364.21 c 2364s| 1 | 0 |568174 | - | 978M | 0 | 56k| 118k| 144k| 192 | 2 | 40 | 0 | 1.033273e+02 | -- | Inf | unknown
2494.12/2501.14 c 2501s| 1 | 0 |580891 | - | 994M | 0 | 56k| 118k| 144k| 267 | 3 | 41 | 0 | 1.033501e+02 | -- | Inf | unknown
2673.07/2680.68 c 2681s| 1 | 0 |598721 | - | 1013M | 0 | 56k| 118k| 144k| 300 | 4 | 42 | 0 | 1.033546e+02 | -- | Inf | unknown
2753.05/2760.84 c 2761s| 1 | 0 |605238 | - | 1031M | 0 | 56k| 118k| 144k| 337 | 5 | 44 | 0 | 1.033547e+02 | -- | Inf | unknown
2886.56/2894.76 c 2895s| 1 | 0 |617208 | - | 1046M | 0 | 56k| 118k| 144k| 355 | 6 | 45 | 0 | 1.033550e+02 | -- | Inf | unknown
2971.22/2979.68 c 2980s| 1 | 0 |624491 | - | 1062M | 0 | 56k| 118k| 144k| 372 | 7 | 47 | 0 | 1.033550e+02 | -- | Inf | unknown
3049.00/3057.70 c 3058s| 1 | 0 |629701 | - | 1076M | 0 | 56k| 118k| 144k| 390 | 8 | 48 | 0 | 1.033550e+02 | -- | Inf | unknown
3123.68/3132.55 c 3133s| 1 | 0 |633788 | - | 1091M | 0 | 56k| 118k| 144k| 400 | 9 | 49 | 0 | 1.033550e+02 | -- | Inf | unknown
3200.76/3209.85 c 3210s| 1 | 0 |638683 | - | 1106M | 0 | 56k| 118k| 144k| 406 | 10 | 51 | 0 | 1.033550e+02 | -- | Inf | unknown
3237.66/3246.86 c 3247s| 1 | 0 |642308 | - | 1120M | 0 | 56k| 118k| 144k| 415 | 11 | 52 | 0 | 1.033550e+02 | -- | Inf | unknown
3286.74/3296.03 c 3296s| 1 | 0 |649569 | - | 1134M | 0 | 56k| 118k| 144k| 419 | 12 | 53 | 0 | 1.033551e+02 | -- | Inf | unknown
3326.33/3335.79 c 3336s| 1 | 0 |654050 | - | 1149M | 0 | 56k| 118k| 144k| 423 | 13 | 54 | 0 | 1.033551e+02 | -- | Inf | unknown
3586.91/3597.10 c 3597s| 1 | 2 |697207 | - | 1154M | 0 | 56k| 118k| 144k| 423 | 13 | 56 | 0 | 1.033551e+02 | -- | Inf | unknown
3586.91/3597.10 c
3586.91/3597.10 c SCIP Status : solving was interrupted [time limit reached]
3586.91/3597.10 c Solving Time (sec) : 3597.09
3586.91/3597.10 c Solving Nodes : 1
3586.91/3597.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.91/3597.10 c Dual Bound : +1.03355087524811e+02
3586.91/3597.10 c Gap : infinite
3586.91/3597.10 s UNKNOWN
3586.91/3597.10 c SCIP Status : solving was interrupted [time limit reached]
3586.91/3597.10 c Total Time : 3597.09
3586.91/3597.10 c solving : 3597.09
3586.91/3597.10 c presolving : 76.94 (included in solving)
3586.91/3597.10 c reading : 0.50 (included in solving)
3586.91/3597.10 c copying : 0.00 (0 times copied the problem)
3586.91/3597.10 c Original Problem :
3586.91/3597.10 c Problem name : HOME/instance-4432818-1721121355.opb
3586.91/3597.10 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.91/3597.10 c Constraints : 234036 initial, 234036 maximal
3586.91/3597.10 c Objective : minimize, 300 non-zeros (abs.min = 1, abs.max = 300)
3586.91/3597.10 c Presolved Problem :
3586.91/3597.10 c Problem name : t_HOME/instance-4432818-1721121355.opb
3586.91/3597.10 c Variables : 56360 (56360 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.91/3597.10 c Constraints : 118555 initial, 118611 maximal
3586.91/3597.10 c Objective : minimize, 213 non-zeros (abs.min = 1, abs.max = 1)
3586.91/3597.10 c Nonzeros : 321025 constraint, 1145919 clique table
3586.91/3597.10 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.91/3597.10 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c gateextraction : 0.46 0.00 2 0 0 0 0 0 85956 27928 0 0
3586.91/3597.10 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c milp : 3.76 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c trivial : 0.03 0.00 7 10230 0 0 0 0 0 0 0 0
3586.91/3597.10 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c dualfix : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c probing : 70.46 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c symmetry : 0.20 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c vbounds : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c knapsack : 0.12 0.00 7 0 0 0 0 0 0 5 14 69
3586.91/3597.10 c setppc : 0.43 0.01 7 0 214 0 0 0 0 0 214 214
3586.91/3597.10 c and : 0.08 0.00 3 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c linear : 0.94 0.08 5 3275 2763 0 3275 0 57458 0 30 31
3586.91/3597.10 c logicor : 0.04 0.00 7 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c components : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c root node : - - - 0 - - 0 - - - - -
3586.91/3597.10 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.91/3597.10 c benderslp : 0 0 0 0 0 0 1 7 0 0 0 0 0 0 0
3586.91/3597.10 c integral : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3586.91/3597.10 c knapsack : 1156 1156 13 200522 0 0 1 3 61 7 0 457 184 0 0
3586.91/3597.10 c setppc : 91636+ 91661 13 200515 0 0 1 0 478 26 0 0 0 0 0
3586.91/3597.10 c and : 25756 25756 13 200489 0 0 1 0 998 8 0 198 0 0 0
3586.91/3597.10 c logicor : 7+ 38 13 115 0 0 1 0 7 1 0 0 0 0 0
3586.91/3597.10 c benders : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3586.91/3597.10 c fixedvar : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3586.91/3597.10 c countsols : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3586.91/3597.10 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.91/3597.10 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.10 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.10 c knapsack : 1.12 0.00 0.09 1.03 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.10 c setppc : 11.98 0.01 0.09 11.85 0.00 0.02 0.00 0.00 0.00 0.00
3586.91/3597.10 c and : 53.41 0.00 0.20 53.20 0.00 0.01 0.00 0.00 0.00 0.00
3586.91/3597.10 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.10 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.10 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.10 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.10 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.91/3597.10 c dualfix : 1 0 0 0
3586.91/3597.10 c genvbounds : 0 0 0 0
3586.91/3597.10 c nlobbt : 0 0 0 0
3586.91/3597.10 c obbt : 0 0 0 0
3586.91/3597.10 c probing : 0 0 0 0
3586.91/3597.10 c pseudoobj : 16 0 0 0
3586.91/3597.10 c redcost : 15 0 0 0
3586.91/3597.10 c rootredcost : 0 0 0 0
3586.91/3597.10 c symmetry : 0 0 0 0
3586.91/3597.10 c vbounds : 17754 0 0 0
3586.91/3597.10 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.91/3597.10 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3586.91/3597.10 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.91/3597.10 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.10 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.91/3597.10 c probing : 70.46 0.00 70.46 0.00 0.00 0.00
3586.91/3597.10 c pseudoobj : 0.77 0.00 0.00 0.77 0.00 0.00
3586.91/3597.10 c redcost : 0.05 0.00 0.00 0.05 0.00 0.00
3586.91/3597.10 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.91/3597.10 c symmetry : 0.22 0.00 0.20 0.02 0.00 0.00
3586.91/3597.10 c vbounds : 0.12 0.00 0.08 0.04 0.00 0.00
3586.91/3597.10 c Symmetry :
3586.91/3597.10 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.91/3597.10 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.91/3597.10 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.91/3597.10 c shadow tree time : 0.00 s
3586.91/3597.10 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.91/3597.10 c propagation : 0.00 39 39 - 62 37.5 0 0.0 - - -
3586.91/3597.10 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.91/3597.10 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.91/3597.10 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.91/3597.10 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.91/3597.10 c applied globally : 0.00 - - 0 56 25.4 - - 0 - -
3586.91/3597.10 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.91/3597.10 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.91/3597.10 c cut pool : 0.00 - 25 25 - - 429 475 - - - - - (maximal pool size: 429)
3586.91/3597.10 c aggregation : 0.32 0.00 13 13 0 0 6 10 0 3 3 0 0
3586.91/3597.10 c > cmir : - - - - - - - 9 0 3 3 0 -
3586.91/3597.10 c > flowcover : - - - - - - - 1 0 0 0 0 -
3586.91/3597.10 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.91/3597.10 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c clique : 277.12 0.00 13 13 0 0 35 36 0 21 21 0 0
3586.91/3597.10 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c gomory : 334.41 0.00 10 10 0 0 61 85 0 40 40 0 0
3586.91/3597.10 c > gomorymi : - - - - - - - 2 0 1 1 0 -
3586.91/3597.10 c > strongcg : - - - - - - - 83 0 39 39 0 -
3586.91/3597.10 c impliedbounds : 0.38 0.00 13 13 0 0 216 228 0 92 92 0 0
3586.91/3597.10 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c mcf : 1.89 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c multilinear : 0.01 0.00 13 13 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.91/3597.10 c rlt : 11.75 0.00 10 10 0 0 30 31 0 21 21 0 0
3586.91/3597.10 c zerohalf : 8.67 0.00 13 13 0 0 81 85 0 62 62 0 0
3586.91/3597.10 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.91/3597.10 c hybrid : 0.00 0.00 13 13 423 0 707 423 0 707
3586.91/3597.10 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c Pricers : ExecTime SetupTime Calls Vars
3586.91/3597.10 c problem variables: 0.00 - 0 0
3586.91/3597.10 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.91/3597.10 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c inference : 0.01 0.00 0 0 1 0 0 0 0 2
3586.91/3597.10 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.91/3597.10 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.91/3597.10 c LP solutions : 0.00 - - 0 0
3586.91/3597.10 c relax solutions : 0.00 - - 0 0
3586.91/3597.10 c pseudo solutions : 0.00 - - 0 0
3586.91/3597.10 c strong branching : 0.00 - - 0 0
3586.91/3597.10 c actconsdiving : 0.00 0.00 0 0 0
3586.91/3597.10 c adaptivediving : 0.00 0.00 0 0 0
3586.91/3597.10 c alns : 0.00 0.00 0 0 0
3586.91/3597.10 c bound : 0.00 0.00 0 0 0
3586.91/3597.10 c clique : 0.33 0.00 1 0 0
3586.91/3597.10 c coefdiving : 0.00 0.00 0 0 0
3586.91/3597.10 c completesol : 0.00 0.00 0 0 0
3586.91/3597.10 c conflictdiving : 261.13 0.00 1 0 0
3586.91/3597.10 c crossover : 0.00 0.00 0 0 0
3586.91/3597.10 c dins : 0.00 0.00 0 0 0
3586.91/3597.10 c distributiondivin: 0.00 0.00 0 0 0
3586.91/3597.10 c dps : 0.00 0.00 0 0 0
3586.91/3597.10 c dualval : 0.00 0.00 0 0 0
3586.91/3597.10 c farkasdiving : 0.00 0.00 0 0 0
3586.91/3597.10 c feasjump : 0.11 0.00 1 0 0
3586.91/3597.10 c feaspump : 425.99 0.00 1 0 0
3586.91/3597.10 c fixandinfer : 0.00 0.00 0 0 0
3586.91/3597.10 c fracdiving : 0.00 0.00 0 0 0
3586.91/3597.10 c gins : 0.00 0.00 0 0 0
3586.91/3597.10 c guideddiving : 0.00 0.00 0 0 0
3586.91/3597.10 c indcoefdiving : 0.00 0.00 0 0 0
3586.91/3597.10 c indicator : 0.00 0.00 0 0 0
3586.91/3597.10 c indicatordiving : 0.00 0.00 0 0 0
3586.91/3597.10 c indoneopt : 0.00 0.00 0 0 0
3586.91/3597.10 c indrounding : 0.00 0.00 0 0 0
3586.91/3597.10 c indtwoopt : 0.00 0.00 0 0 0
3586.91/3597.10 c intdiving : 0.00 0.00 0 0 0
3586.91/3597.10 c intshifting : 0.00 0.00 0 0 0
3586.91/3597.10 c linesearchdiving : 0.00 0.00 0 0 0
3586.91/3597.10 c localbranching : 0.00 0.00 0 0 0
3586.91/3597.10 c locks : 0.81 0.00 1 0 0
3586.91/3597.10 c lpface : 0.00 0.00 0 0 0
3586.91/3597.10 c mpec : 0.00 0.00 0 0 0
3586.91/3597.10 c multistart : 0.00 0.00 0 0 0
3586.91/3597.10 c mutation : 0.00 0.00 0 0 0
3586.91/3597.10 c nlpdiving : 0.00 0.00 0 0 0
3586.91/3597.10 c objpscostdiving : 0.00 0.00 0 0 0
3586.91/3597.10 c octane : 0.00 0.00 0 0 0
3586.91/3597.10 c ofins : 0.00 0.00 0 0 0
3586.91/3597.10 c oneopt : 0.00 0.00 0 0 0
3586.91/3597.10 c padm : 0.00 0.00 0 0 0
3586.91/3597.10 c proximity : 0.00 0.00 0 0 0
3586.91/3597.10 c pscostdiving : 0.00 0.00 0 0 0
3586.91/3597.10 c randrounding : 0.31 0.00 14 0 0
3586.91/3597.10 c rens : 0.00 0.00 0 0 0
3586.91/3597.10 c reoptsols : 0.00 0.00 0 0 0
3586.91/3597.10 c repair : 0.00 0.00 0 0 0
3586.91/3597.10 c rins : 0.00 0.00 0 0 0
3586.91/3597.10 c rootsoldiving : 0.00 0.00 0 0 0
3586.91/3597.10 c rounding : 0.26 0.00 14 0 0
3586.91/3597.10 c scheduler : 0.00 0.00 0 0 0
3586.91/3597.10 c shiftandpropagate: 0.18 0.00 1 0 0
3586.91/3597.10 c shifting : 1.05 0.00 14 0 0
3586.91/3597.10 c simplerounding : 0.00 0.00 14 0 0
3586.91/3597.10 c smallcard : 0.00 0.00 0 0 0
3586.91/3597.10 c subnlp : 0.00 0.00 0 0 0
3586.91/3597.10 c trivial : 0.04 0.00 2 0 0
3586.91/3597.10 c trivialnegation : 0.00 0.00 0 0 0
3586.91/3597.10 c trustregion : 0.00 0.00 0 0 0
3586.91/3597.10 c trysol : 0.00 0.00 0 0 0
3586.91/3597.10 c twoopt : 0.00 0.00 0 0 0
3586.91/3597.10 c undercover : 43.45 0.00 1 0 0
3586.91/3597.10 c vbounds : 2.38 0.00 1 0 0
3586.91/3597.10 c veclendiving : 0.00 0.00 0 0 0
3586.91/3597.10 c zeroobj : 0.00 0.00 0 0 0
3586.91/3597.10 c zirounding : 0.00 0.00 1 0 0
3586.91/3597.10 c other solutions : - - - 0 -
3586.91/3597.10 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.91/3597.10 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
3586.91/3597.10 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
3586.91/3597.10 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
3586.91/3597.10 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
3586.91/3597.10 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
3586.91/3597.10 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
3586.91/3597.10 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
3586.91/3597.10 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
3586.91/3597.10 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.91/3597.10 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.91/3597.10 c primal LP : 0.00 0 0 0.00 - 0.00 0
3586.91/3597.10 c dual LP : 2146.50 14 413505 29536.07 192.64 0.00 0
3586.91/3597.10 c lex dual LP : 0.00 0 0 0.00 -
3586.91/3597.10 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.91/3597.10 c resolve instable : 0.00 0 0 0.00 -
3586.91/3597.10 c diving/probing LP: 703.16 15 283702 18913.47 403.46
3586.91/3597.10 c strong branching : 0.00 0 0 0.00 - - - 0
3586.91/3597.10 c (at root node) : - 0 0 0.00 -
3586.91/3597.10 c conflict analysis: 0.00 0 0 0.00 -
3586.91/3597.10 c B&B Tree :
3586.91/3597.10 c number of runs : 1
3586.91/3597.10 c nodes : 1 (1 internal, 0 leaves)
3586.91/3597.10 c feasible leaves : 0
3586.91/3597.10 c infeas. leaves : 0
3586.91/3597.10 c objective leaves : 0
3586.91/3597.10 c nodes (total) : 1 (1 internal, 0 leaves)
3586.91/3597.10 c nodes left : 2
3586.91/3597.10 c max depth : 0
3586.91/3597.10 c max depth (total): 0
3586.91/3597.10 c backtracks : 0 (0.0%)
3586.91/3597.10 c early backtracks : 0 (0.0%)
3586.91/3597.10 c nodes exc. ref. : 0 (0.0%)
3586.91/3597.10 c delayed cutoffs : 0
3586.91/3597.10 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.91/3597.10 c avg switch length: 1.00
3586.91/3597.10 c switching time : 0.00
3586.91/3597.10 c Root Node :
3586.91/3597.10 c First LP value : +1.03061664944345e+02
3586.91/3597.10 c First LP Iters : 199930 (241.96 Iter/sec)
3586.91/3597.10 c First LP Time : 826.31
3586.91/3597.10 c Final Dual Bound : +1.03355087524811e+02
3586.91/3597.10 c Final Root Iters : 654050
3586.91/3597.10 c Root LP Estimate : -
3586.91/3597.10 c Solution :
3586.91/3597.10 c Solutions found : 0 (0 improvements)
3586.91/3597.10 c Primal Bound : -
3586.91/3597.10 c Dual Bound : +1.03355087524811e+02
3586.91/3597.10 c Gap : infinite
3586.91/3597.10 c Integrals : Total Avg%
3586.91/3597.10 c primal-dual : 359709.22 100.00
3586.91/3597.10 c primal-ref : - - (not evaluated)
3586.91/3597.10 c dual-ref : - - (not evaluated)
3587.50/3597.69 c Time complete: 3587.6.
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 (58898 MiB free)
memory of node 1: 64510 MiB (61902 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432818-1721121355/watcher-4432818-1721121355 -o /tmp/evaluation-result-4432818-1721121355/solver-4432818-1721121355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721117769-844127 --watchdog 3760 pbscip -f HOME/instance-4432818-1721121355.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=846205, runsolver pid=846202
[startup+0.100301 s]*
/proc/loadavg: 4.11 4.10 4.04 5/255 846216
/proc/meminfo: memFree=123545264/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=113464 memory=72544 CPUtime=0.09 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 15225 0 0 0 8 1 0 0 20 0 1 0 164295697 116187136 18136 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 28366 18136 3214 3540 0 16623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113464 KiB
Current children cumulated memory: 72544 KiB
[startup+0.205541 s]*
/proc/loadavg: 4.11 4.10 4.04 5/255 846216
/proc/meminfo: memFree=123455528/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=140472 memory=100012 CPUtime=0.2 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 22085 0 0 0 18 2 0 0 20 0 1 0 164295697 143843328 25003 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 35118 25003 3214 3540 0 23375 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 140472 KiB
Current children cumulated memory: 100012 KiB
[startup+0.305464 s]*
/proc/loadavg: 4.11 4.10 4.04 5/255 846216
/proc/meminfo: memFree=123350316/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=174580 memory=133676 CPUtime=0.29 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 30478 0 0 0 26 3 0 0 20 0 1 0 164295697 178769920 33419 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 43645 33419 3214 3540 0 31902 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 174580 KiB
Current children cumulated memory: 133676 KiB
[startup+0.700222 s]
/proc/loadavg: 4.11 4.10 4.04 5/255 846216
/proc/meminfo: memFree=123068264/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=373124 memory=333412 CPUtime=0.69 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 80636 0 0 0 59 10 0 0 20 0 1 0 164295697 382078976 83353 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 93281 83353 3518 3540 0 81538 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 373124 KiB
Current children cumulated memory: 333412 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 4.10 4.04 5/255 846216
/proc/meminfo: memFree=122367228/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=523828 memory=475760 CPUtime=1.49 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 116174 0 0 0 133 16 0 0 20 0 1 0 164295697 536399872 118940 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 130957 118940 3598 3540 0 119214 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 523828 KiB
Current children cumulated memory: 475760 KiB
[startup+3.10539 s]
/proc/loadavg: 4.10 4.10 4.04 5/255 846216
/proc/meminfo: memFree=121940356/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=635568 memory=585988 CPUtime=3.08 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 135753 0 0 0 288 20 0 0 20 0 1 0 164295697 650821632 146497 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 158892 146497 3661 3540 0 147149 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 635568 KiB
Current children cumulated memory: 585988 KiB
[startup+6.30022 s]
/proc/loadavg: 4.10 4.10 4.04 7/255 846218
/proc/meminfo: memFree=122001344/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=601684 memory=551804 CPUtime=6.27 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 162856 0 0 0 603 24 0 0 20 0 1 0 164295697 616124416 137951 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 150421 137951 3757 3540 0 138678 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 601684 KiB
Current children cumulated memory: 551804 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.04 5/255 846218
/proc/meminfo: memFree=121836140/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=683168 memory=632524 CPUtime=12.65 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 180025 0 0 0 1237 28 0 0 20 0 1 0 164295697 699564032 158131 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 170792 158131 3757 3540 0 159049 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 683168 KiB
Current children cumulated memory: 632524 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.11 4.04 5/255 846219
/proc/meminfo: memFree=121749992/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=683168 memory=632524 CPUtime=25.41 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 180028 0 0 0 2513 28 0 0 20 0 1 0 164295697 699564032 158131 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 170792 158131 3757 3540 0 159049 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 683168 KiB
Current children cumulated memory: 632524 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.10 4.04 5/255 846224
/proc/meminfo: memFree=121677680/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=684312 memory=633564 CPUtime=50.96 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 180288 0 0 0 5066 30 0 0 20 0 1 0 164295697 700735488 158391 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 171078 158391 3757 3540 0 159335 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 684312 KiB
Current children cumulated memory: 633564 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.04 5/257 846238
/proc/meminfo: memFree=120933820/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1048504 memory=914904 CPUtime=102.01 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 240824 0 0 0 10160 41 0 0 20 0 1 0 164295697 1073668096 228726 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 262126 228726 3949 3540 0 250383 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1048504 KiB
Current children cumulated memory: 914904 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.04 6/257 846248
/proc/meminfo: memFree=120371500/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1048656 memory=915092 CPUtime=161.86 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 240910 0 0 0 16144 42 0 0 20 0 1 0 164295697 1073823744 228773 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 262164 228773 3949 3540 0 250421 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1048656 KiB
Current children cumulated memory: 915092 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/257 846258
/proc/meminfo: memFree=120359064/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1048788 memory=915468 CPUtime=221.71 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 241033 0 0 0 22128 43 0 0 20 0 1 0 164295697 1073958912 228867 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 262197 228867 3949 3540 0 250454 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1048788 KiB
Current children cumulated memory: 915468 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.13 4.06 5/259 846274
/proc/meminfo: memFree=120313388/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1049212 memory=916108 CPUtime=281.55 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 241233 0 0 0 28111 44 0 0 20 0 1 0 164295697 1074393088 229027 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 262303 229027 3949 3540 0 250560 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1049212 KiB
Current children cumulated memory: 916108 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/258 846284
/proc/meminfo: memFree=120292652/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1049528 memory=916484 CPUtime=341.41 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 241369 0 0 0 34096 45 0 0 20 0 1 0 164295697 1074716672 229121 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 262382 229121 3949 3540 0 250639 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 1049528 KiB
Current children cumulated memory: 916484 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/256 846294
/proc/meminfo: memFree=120279396/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1049528 memory=916624 CPUtime=401.26 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 241428 0 0 0 40080 46 0 0 20 0 1 0 164295697 1074716672 229156 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 262382 229156 3949 3540 0 250639 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 1049528 KiB
Current children cumulated memory: 916624 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/257 846353
/proc/meminfo: memFree=120598676/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1049528 memory=916952 CPUtime=461.11 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 241477 0 0 0 46064 47 0 0 20 0 1 0 164295697 1074716672 229238 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 262382 229238 3949 3540 0 250639 0
################
# More data... #
################
Current children cumulated memory: 1167676 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/254 848036
/proc/meminfo: memFree=119635416/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1318704 memory=1168052 CPUtime=3213.23 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 309556 0 0 0 321258 65 0 0 20 0 1 0 164295697 1350352896 292013 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 329676 292013 3981 3540 0 317933 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 1318704 KiB
Current children cumulated memory: 1168052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.14 6/257 848052
/proc/meminfo: memFree=119624192/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1345840 memory=1168772 CPUtime=3273.08 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 310062 0 0 0 327242 66 0 0 20 0 1 0 164295697 1378140160 292193 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 336460 292193 3981 3540 0 324717 0
Current children cumulated CPU time: 3273.08 s
Current children cumulated vsize: 1345840 KiB
Current children cumulated memory: 1168772 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/257 848062
/proc/meminfo: memFree=119620020/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1362928 memory=1172188 CPUtime=3332.91 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 311320 0 0 0 333225 66 0 0 20 0 1 0 164295697 1395638272 293047 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 340732 293047 3996 3540 0 328989 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 1362928 KiB
Current children cumulated memory: 1172188 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/257 848073
/proc/meminfo: memFree=119617632/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1364692 memory=1174040 CPUtime=3392.72 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 311851 0 0 0 339206 66 0 0 20 0 1 0 164295697 1397444608 293510 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 341173 293510 3996 3540 0 329430 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 1364692 KiB
Current children cumulated memory: 1174040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/257 848083
/proc/meminfo: memFree=119616836/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1364692 memory=1174064 CPUtime=3452.53 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 311907 0 0 0 345187 66 0 0 20 0 1 0 164295697 1397444608 293516 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 341173 293516 3996 3540 0 329430 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 1364692 KiB
Current children cumulated memory: 1174064 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/257 848096
/proc/meminfo: memFree=119615616/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1364692 memory=1174192 CPUtime=3512.38 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 311956 0 0 0 351171 67 0 0 20 0 1 0 164295697 1397444608 293548 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 341173 293548 3996 3540 0 329430 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 1364692 KiB
Current children cumulated memory: 1174192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/254 848106
/proc/meminfo: memFree=119614968/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1364692 memory=1174384 CPUtime=3572.24 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 312013 0 0 0 357157 67 0 0 20 0 1 0 164295697 1397444608 293596 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 341173 293596 3996 3540 0 329430 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 1364692 KiB
Current children cumulated memory: 1174384 KiB
[startup+3597.71 s]
# the end of solver process 846205 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.92 s, system=0.693943 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.13 5/254 848106
/proc/meminfo: memFree=119614988/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1364692 memory=1174384 CPUtime=3573.94 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 312013 0 0 0 357327 67 0 0 20 0 1 0 164295697 1397444608 293596 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 341173 293596 3996 3540 0 329430 0
Current children cumulated CPU time: 3573.94 s
Current children cumulated vsize: 1364692 KiB
Current children cumulated memory: 1174384 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.14 5/254 848108
/proc/meminfo: memFree=119614908/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1364692 memory=1174384 CPUtime=3580.32 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 312016 0 0 0 357965 67 0 0 20 0 1 0 164295697 1397444608 293596 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 341173 293596 3996 3540 0 329430 0
Current children cumulated CPU time: 3580.32 s
Current children cumulated vsize: 1364692 KiB
Current children cumulated memory: 1174384 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.13 4.14 5/254 848108
/proc/meminfo: memFree=119614908/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1364692 memory=1174384 CPUtime=3583.51 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 312049 0 0 0 358284 67 0 0 20 0 1 0 164295697 1397444608 293596 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 341173 293596 3996 3540 0 329430 0
Current children cumulated CPU time: 3583.51 s
Current children cumulated vsize: 1364692 KiB
Current children cumulated memory: 1174384 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.13 4.14 5/254 848108
/proc/meminfo: memFree=119614908/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1364692 memory=1174384 CPUtime=3585.11 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 312049 0 0 0 358444 67 0 0 20 0 1 0 164295697 1397444608 293596 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 341173 293596 3996 3540 0 329430 0
Current children cumulated CPU time: 3585.11 s
Current children cumulated vsize: 1364692 KiB
Current children cumulated memory: 1174384 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.13 4.14 6/254 848109
/proc/meminfo: memFree=119614876/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1364692 memory=1174384 CPUtime=3586.7 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 312049 0 0 0 358603 67 0 0 20 0 1 0 164295697 1397444608 293596 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 341173 293596 3996 3540 0 329430 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 1364692 KiB
Current children cumulated memory: 1174384 KiB
[startup+3597.2 s]
/proc/loadavg: 4.14 4.13 4.14 5/254 848109
/proc/meminfo: memFree=119614656/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1364692 memory=1174384 CPUtime=3587.1 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 312328 0 0 0 358643 67 0 0 20 0 1 0 164295697 1397444608 293596 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 341173 293596 3996 3540 0 329430 0
Current children cumulated CPU time: 3587.1 s
Current children cumulated vsize: 1364692 KiB
Current children cumulated memory: 1174384 KiB
[startup+3597.6 s]
/proc/loadavg: 4.14 4.13 4.14 5/254 848109
/proc/meminfo: memFree=119614656/131524600 swapFree=131071996/131071996
[pid=846205] ppid=846202 vsize=1261024 memory=1070888 CPUtime=3587.5 cores=4,6
/proc/846205/stat : 846205 (pbscip) R 846202 846205 844116 0 -1 4194304 312364 0 0 0 358683 67 0 0 20 0 1 0 164295697 1291288576 267788 134679101440 4194304 18693293 140729045180272 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42729472 140729045189636 140729045189735 140729045189735 140729045196750 0
/proc/846205/statm: 315223 267755 3996 3540 0 303480 0
Current children cumulated CPU time: 3587.5 s
Current children cumulated vsize: 1261024 KiB
Current children cumulated memory: 1070888 KiB
[startup+3597.7 s]*
/proc/loadavg: 4.13 4.12 4.13 5/254 848155
/proc/meminfo: memFree=121251040/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3597.71
CPU time (s): 3587.61
CPU user time (s): 3586.92
CPU system time (s): 0.693943
CPU usage (%): 99.7194
Max. virtual memory (cumulated for all children) (KiB): 1364692
Max. memory (cumulated for all children) (KiB): 1174384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.92
system time used= 0.693943
maximum resident set size= 1174384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312393
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= 33
involuntary context switches= 1586
# summary of solver processes directly reported to runsolver:
# pid: 846205
# total CPU time (s): 3587.61
# total CPU user time (s): 3586.92
# total CPU system time (s): 0.693943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.73575 second user time and 13.5304 second system time
The end