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-4432912-1721162029.opb>
0.00/0.06 c original problem has 9632 variables (9632 bin, 0 int, 0 impl, 0 cont) and 29620 constraints
0.00/0.06 c problem read in 0.06
0.10/0.11 c presolving:
0.10/0.15 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs
0.10/0.15 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs
0.10/0.20 c (0.2s) running MILP presolver
0.20/0.23 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.20/0.26 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs
0.30/0.35 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs
0.40/0.42 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs
2.28/2.39 c (2.4s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
2.28/2.40 c (2.4s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
2.28/2.40 c (2.4s) probing aborted: 1000/1000 successive useless probings
2.38/2.44 c (2.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.48/2.54 c (2.5s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.07)
2.48/2.56 c dynamic symmetry handling statistics:
2.48/2.56 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
2.48/2.56 c orbital reduction: no components
2.48/2.56 c lexicographic reduction: no permutations
2.48/2.56 c handled 4 out of 4 symmetry components
2.48/2.57 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
2.48/2.57 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1736 changed sides, 2604 changed coefficients
2.48/2.57 c 0 implications, 20763 cliques
2.48/2.57 c presolved problem has 9561 variables (9561 bin, 0 int, 0 impl, 0 cont) and 27419 constraints
2.48/2.57 c 1144 constraints of type <knapsack>
2.48/2.57 c 16027 constraints of type <setppc>
2.48/2.57 c 28 constraints of type <linear>
2.48/2.57 c 10220 constraints of type <logicor>
2.48/2.57 c transformed objective value is always integral (scale: 1)
2.48/2.57 c Presolving Time: 2.46
2.48/2.57 c - non default parameters ----------------------------------------------------------------------
2.48/2.57 c # SCIP version 10.0.0
2.48/2.57 c
2.48/2.57 c # maximal time in seconds to run
2.48/2.57 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.48/2.57 c limits/time = 3596.998041
2.48/2.57 c
2.48/2.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.48/2.57 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.48/2.57 c limits/memory = 27900
2.48/2.57 c
2.48/2.57 c # belongs reading time to solving time?
2.48/2.57 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.48/2.57 c timing/reading = TRUE
2.48/2.57 c
2.48/2.57 c -----------------------------------------------------------------------------------------------
2.48/2.57 c start solving
2.48/2.58 c
32.60/32.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.60/32.77 c 32.8s| 1 | 0 | 34302 | - | 209M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 | 5.168497e+01 | -- | Inf | unknown
81.06/81.37 c 81.4s| 1 | 0 |142437 | - | 221M | 0 |9561 | 27k| 27k| 220 | 1 | 77 | 0 | 6.050000e+01 | -- | Inf | unknown
84.86/85.15 c 85.1s| 1 | 0 |147832 | - | 226M | 0 |9561 | 27k| 27k| 441 | 2 | 79 | 0 | 7.400000e+01 | -- | Inf | unknown
95.02/95.38 c 95.4s| 1 | 0 |158909 | - | 229M | 0 |9561 | 27k| 28k| 634 | 3 | 80 | 0 | 8.500000e+01 | -- | Inf | unknown
100.00/100.33 c 100s| 1 | 0 |166115 | - | 234M | 0 |9561 | 27k| 28k| 883 | 4 | 81 | 0 | 8.800000e+01 | -- | Inf | unknown
112.06/112.43 c 112s| 1 | 0 |178709 | - | 236M | 0 |9561 | 27k| 28k|1108 | 5 | 83 | 0 | 9.342588e+01 | -- | Inf | unknown
116.25/116.63 c 117s| 1 | 0 |184546 | - | 241M | 0 |9561 | 27k| 28k|1374 | 6 | 85 | 0 | 9.467775e+01 | -- | Inf | unknown
127.91/128.33 c 128s| 1 | 0 |196100 | - | 244M | 0 |9561 | 27k| 29k|1602 | 7 | 87 | 0 | 1.010000e+02 | -- | Inf | unknown
134.09/134.52 c 135s| 1 | 0 |202844 | - | 247M | 0 |9561 | 27k| 29k|1797 | 8 | 89 | 0 | 1.010000e+02 | -- | Inf | unknown
140.47/140.99 c 141s| 1 | 0 |210133 | - | 250M | 0 |9561 | 27k| 29k|1987 | 9 | 91 | 0 | 1.010000e+02 | -- | Inf | unknown
148.24/148.75 c 149s| 1 | 0 |218123 | - | 253M | 0 |9561 | 27k| 29k|2171 | 10 | 92 | 0 | 1.010000e+02 | -- | Inf | unknown
153.13/153.61 c 154s| 1 | 0 |224135 | - | 256M | 0 |9561 | 27k| 29k|2305 | 11 | 94 | 0 | 1.010000e+02 | -- | Inf | unknown
158.92/159.44 c 159s| 1 | 0 |231107 | - | 260M | 0 |9561 | 27k| 29k|2428 | 12 | 96 | 0 | 1.010000e+02 | -- | Inf | unknown
165.20/165.77 c 166s| 1 | 0 |238750 | - | 264M | 0 |9561 | 27k| 29k|2535 | 13 | 97 | 0 | 1.010000e+02 | -- | Inf | unknown
170.88/171.42 c 171s| 1 | 0 |245187 | - | 267M | 0 |9561 | 27k| 30k|2649 | 14 | 99 | 0 | 1.010000e+02 | -- | Inf | unknown
176.26/176.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
176.26/176.80 c 177s| 1 | 0 |251724 | - | 270M | 0 |9561 | 27k| 30k|2760 | 15 | 101 | 0 | 1.110000e+02 | -- | Inf | unknown
180.05/180.60 c 181s| 1 | 0 |256198 | - | 273M | 0 |9561 | 27k| 30k|2872 | 16 | 103 | 0 | 1.110000e+02 | -- | Inf | unknown
183.24/183.86 c 184s| 1 | 0 |259892 | - | 275M | 0 |9561 | 27k| 30k|2976 | 17 | 105 | 0 | 1.110000e+02 | -- | Inf | unknown
186.82/187.45 c 187s| 1 | 0 |263787 | - | 278M | 0 |9561 | 27k| 30k|3079 | 18 | 106 | 0 | 1.110000e+02 | -- | Inf | unknown
189.42/190.01 c 190s| 1 | 0 |266432 | - | 281M | 0 |9561 | 27k| 30k|3161 | 19 | 108 | 0 | 1.110000e+02 | -- | Inf | unknown
191.81/192.47 c 192s| 1 | 0 |269059 | - | 284M | 0 |9561 | 27k| 30k|3251 | 20 | 109 | 0 | 1.110000e+02 | -- | Inf | unknown
193.51/194.11 c 194s| 1 | 0 |270690 | - | 284M | 0 |9561 | 27k| 30k|3263 | 21 | 111 | 0 | 1.110000e+02 | -- | Inf | unknown
194.20/194.82 c 195s| 1 | 0 |271179 | - | 284M | 0 |9561 | 27k| 30k|3268 | 22 | 112 | 0 | 1.110000e+02 | -- | Inf | unknown
195.00/195.65 c 196s| 1 | 0 |271756 | - | 284M | 0 |9561 | 27k| 30k|3275 | 23 | 113 | 0 | 1.110000e+02 | -- | Inf | unknown
195.69/196.38 c 196s| 1 | 0 |272216 | - | 284M | 0 |9561 | 27k| 30k|3282 | 24 | 115 | 0 | 1.110000e+02 | -- | Inf | unknown
196.89/197.53 c 198s| 1 | 0 |273186 | - | 284M | 0 |9561 | 27k| 29k|3289 | 25 | 116 | 0 | 1.110000e+02 | -- | Inf | unknown
1649.61/1653.56 c 1654s| 1 | 2 |476524 | - | 290M | 0 |9561 | 27k| 29k|3289 | 25 | 172 | 29 | 1.110000e+02 | -- | Inf | unknown
3589.43/3597.02 c
3589.43/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3589.43/3597.02 c Solving Time (sec) : 3597.02
3589.43/3597.02 c Solving Nodes : 14
3589.43/3597.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3589.43/3597.02 c Dual Bound : +1.12666666666667e+02
3589.43/3597.02 c Gap : infinite
3589.43/3597.02 s UNKNOWN
3589.43/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3589.43/3597.02 c Total Time : 3597.02
3589.43/3597.02 c solving : 3597.02
3589.43/3597.02 c presolving : 2.46 (included in solving)
3589.43/3597.02 c reading : 0.06 (included in solving)
3589.43/3597.02 c copying : 0.04 (1 #copies) (minimal 0.04, maximal 0.04, average 0.04)
3589.43/3597.02 c Original Problem :
3589.43/3597.02 c Problem name : HOME/instance-4432912-1721162029.opb
3589.43/3597.02 c Variables : 9632 (9632 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.43/3597.02 c Constraints : 29620 initial, 29620 maximal
3589.43/3597.02 c Objective : minimize, 26 non-zeros (abs.min = 2, abs.max = 20)
3589.43/3597.02 c Presolved Problem :
3589.43/3597.02 c Problem name : t_HOME/instance-4432912-1721162029.opb
3589.43/3597.02 c Variables : 9561 (9561 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.43/3597.02 c Constraints : 27419 initial, 27721 maximal
3589.43/3597.02 c Objective : minimize, 13 non-zeros (abs.min = 7, abs.max = 22)
3589.43/3597.02 c Nonzeros : 93850 constraint, 41620 clique table
3589.43/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3589.43/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c domcol : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c dualsparsify : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c gateextraction : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c milp : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c dualfix : 0.00 0.00 6 58 0 0 0 0 0 0 0 0
3589.43/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c probing : 1.90 0.00 1 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c symmetry : 0.12 0.00 1 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c knapsack : 0.02 0.00 6 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c setppc : 0.02 0.00 6 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c linear : 0.14 0.01 10 0 13 0 0 0 1333 0 1736 2604
3589.43/3597.02 c logicor : 0.03 0.00 6 0 0 0 0 0 868 0 0 0
3589.43/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c root node : - - - 0 - - 0 - - - - -
3589.43/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3589.43/3597.02 c benderslp : 0 0 0 0 14 0 0 7 0 0 0 0 0 0 0
3589.43/3597.02 c integral : 0 0 0 0 14 0 0 7 0 0 0 0 0 0 28
3589.43/3597.02 c knapsack : 1144+ 1152 25 28995 0 0 0 3 340 23 14 20 7 0 0
3589.43/3597.02 c setppc : 16027+ 16080 25 28972 0 0 0 0 1760 44 103 3 0 0 0
3589.43/3597.02 c linear : 28+ 36 25 28928 0 0 0 3 15 13 0 0 0 0 0
3589.43/3597.02 c logicor : 10220+ 10453 25 21283 0 0 0 0 154 67 9 5 4 0 0
3589.43/3597.02 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3589.43/3597.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c integral : 31.24 0.00 0.00 0.00 31.24 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c knapsack : 0.85 0.00 0.41 0.45 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c setppc : 0.46 0.00 0.02 0.43 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c linear : 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c logicor : 0.06 0.00 0.02 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3589.43/3597.02 c dualfix : 1 0 0 0
3589.43/3597.02 c genvbounds : 0 0 0 0
3589.43/3597.02 c nlobbt : 0 0 0 0
3589.43/3597.02 c obbt : 0 0 0 0
3589.43/3597.02 c probing : 0 0 0 0
3589.43/3597.02 c pseudoobj : 76 0 0 0
3589.43/3597.02 c redcost : 29 0 0 0
3589.43/3597.02 c rootredcost : 1 0 0 0
3589.43/3597.02 c symmetry : 35 0 0 20
3589.43/3597.02 c vbounds : 12633 0 0 0
3589.43/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3589.43/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c probing : 1.90 0.00 1.90 0.00 0.00 0.00
3589.43/3597.02 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3589.43/3597.02 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3589.43/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3589.43/3597.02 c symmetry : 0.12 0.00 0.12 0.00 0.00 0.00
3589.43/3597.02 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3589.43/3597.02 c Symmetry :
3589.43/3597.02 c orbitopal red. : 20 reductions applied, 0 cutoffs
3589.43/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3589.43/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3589.43/3597.02 c shadow tree time : 0.00 s
3589.43/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3589.43/3597.02 c propagation : 0.00 123 123 - 564 19.5 0 0.0 - - -
3589.43/3597.02 c infeasible LP : 0.01 16 16 - 70 15.1 0 0.0 16 18.4 0
3589.43/3597.02 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3589.43/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3589.43/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3589.43/3597.02 c applied globally : 0.00 - - 0 287 15.3 - - 16 - -
3589.43/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3589.43/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3589.43/3597.02 c cut pool : 0.01 - 49 49 - - 4087 4815 - - - - - (maximal pool size: 4087)
3589.43/3597.02 c aggregation : 0.22 0.00 25 25 0 0 8 8 0 4 4 0 0
3589.43/3597.02 c > cmir : - - - - - - - 8 0 4 4 0 -
3589.43/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3589.43/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3589.43/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c clique : 4.51 0.00 25 25 0 0 133 172 0 110 110 0 0
3589.43/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c gomory : 4.83 0.00 10 10 0 0 2002 2454 0 1340 1340 0 0
3589.43/3597.02 c > gomorymi : - - - - - - - 171 0 7 7 0 -
3589.43/3597.02 c > strongcg : - - - - - - - 2283 0 1333 1333 0 -
3589.43/3597.02 c impliedbounds : 0.02 0.00 25 25 0 0 3 3 0 3 3 0 0
3589.43/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c multilinear : 0.00 0.00 28 25 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3589.43/3597.02 c zerohalf : 2.04 0.00 20 20 0 0 1941 2178 0 1821 1821 0 0
3589.43/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3589.43/3597.02 c hybrid : 0.01 0.00 25 25 3289 0 1554 3289 0 1554
3589.43/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3589.43/3597.02 c problem variables: 0.00 - 0 0
3589.43/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3589.43/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c relpscost : 31.24 0.00 14 0 0 0 0 0 0 28
3589.43/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3589.43/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3589.43/3597.02 c LP solutions : 0.00 - - 0 0
3589.43/3597.02 c relax solutions : 0.00 - - 0 0
3589.43/3597.02 c pseudo solutions : 0.00 - - 0 0
3589.43/3597.02 c strong branching : 0.00 - - 0 0
3589.43/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3589.43/3597.02 c adaptivediving : 13.47 0.00 1 0 0
3589.43/3597.02 c alns : 0.00 0.00 0 0 0
3589.43/3597.02 c bound : 0.00 0.00 0 0 0
3589.43/3597.02 c clique : 0.06 0.00 1 0 0
3589.43/3597.02 c coefdiving : 0.00 0.00 0 0 0
3589.43/3597.02 c completesol : 0.00 0.00 0 0 0
3589.43/3597.02 c conflictdiving : 0.01 0.00 1 0 0
3589.43/3597.02 c crossover : 0.00 0.00 0 0 0
3589.43/3597.02 c dins : 0.00 0.00 0 0 0
3589.43/3597.02 c distributiondivin: 15.48 0.00 1 0 0
3589.43/3597.02 c dps : 0.00 0.00 0 0 0
3589.43/3597.02 c dualval : 0.00 0.00 0 0 0
3589.43/3597.02 c farkasdiving : 1165.67 0.00 1 0 0
3589.43/3597.02 c feasjump : 0.03 0.00 1 0 0
3589.43/3597.02 c feaspump : 35.34 0.00 1 0 0
3589.43/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3589.43/3597.02 c fracdiving : 20.82 0.00 1 0 0
3589.43/3597.02 c gins : 0.00 0.00 0 0 0
3589.43/3597.02 c guideddiving : 0.00 0.00 0 0 0
3589.43/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3589.43/3597.02 c indicator : 0.00 0.00 0 0 0
3589.43/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3589.43/3597.02 c indoneopt : 0.00 0.00 0 0 0
3589.43/3597.02 c indrounding : 0.00 0.00 0 0 0
3589.43/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3589.43/3597.02 c intdiving : 0.00 0.00 0 0 0
3589.43/3597.02 c intshifting : 0.00 0.00 0 0 0
3589.43/3597.02 c linesearchdiving : 0.00 0.00 0 0 0
3589.43/3597.02 c localbranching : 0.00 0.00 0 0 0
3589.43/3597.02 c locks : 0.00 0.00 1 0 0
3589.43/3597.02 c lpface : 0.00 0.00 0 0 0
3589.43/3597.02 c mpec : 0.00 0.00 0 0 0
3589.43/3597.02 c multistart : 0.00 0.00 0 0 0
3589.43/3597.02 c mutation : 0.00 0.00 0 0 0
3589.43/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3589.43/3597.02 c objpscostdiving : 1828.88 0.00 1 0 0
3589.43/3597.02 c octane : 0.00 0.00 0 0 0
3589.43/3597.02 c ofins : 0.00 0.00 0 0 0
3589.43/3597.02 c oneopt : 0.00 0.00 0 0 0
3589.43/3597.02 c padm : 0.00 0.00 0 0 0
3589.43/3597.02 c proximity : 0.00 0.00 0 0 0
3589.43/3597.02 c pscostdiving : 20.37 0.00 1 0 0
3589.43/3597.02 c randrounding : 0.14 0.00 26 0 0
3589.43/3597.02 c rens : 259.09 0.00 1 0 0
3589.43/3597.02 c reoptsols : 0.00 0.00 0 0 0
3589.43/3597.02 c repair : 0.00 0.00 0 0 0
3589.43/3597.02 c rins : 0.00 0.00 0 0 0
3589.43/3597.02 c rootsoldiving : 0.00 0.00 0 0 0
3589.43/3597.02 c rounding : 0.07 0.00 39 0 0
3589.43/3597.02 c scheduler : 0.00 0.00 0 0 0
3589.43/3597.02 c shiftandpropagate: 0.04 0.00 1 0 0
3589.43/3597.02 c shifting : 0.48 0.00 26 0 0
3589.43/3597.02 c simplerounding : 0.00 0.00 39 0 0
3589.43/3597.02 c smallcard : 0.00 0.00 0 0 0
3589.43/3597.02 c subnlp : 0.00 0.00 0 0 0
3589.43/3597.02 c trivial : 0.00 0.00 2 0 0
3589.43/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3589.43/3597.02 c trustregion : 0.00 0.00 0 0 0
3589.43/3597.02 c trysol : 0.00 0.00 0 0 0
3589.43/3597.02 c twoopt : 0.00 0.00 0 0 0
3589.43/3597.02 c undercover : 0.00 0.00 0 0 0
3589.43/3597.02 c vbounds : 0.04 0.00 1 0 0
3589.43/3597.02 c veclendiving : 18.07 0.00 1 0 0
3589.43/3597.02 c zeroobj : 0.00 0.00 0 0 0
3589.43/3597.02 c zirounding : 0.03 0.00 13 0 0
3589.43/3597.02 c other solutions : - - - 0 -
3589.43/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3589.43/3597.02 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
3589.43/3597.02 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
3589.43/3597.02 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
3589.43/3597.02 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
3589.43/3597.02 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
3589.43/3597.02 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
3589.43/3597.02 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
3589.43/3597.02 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
3589.43/3597.02 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
3589.43/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3589.43/3597.02 c primal LP : 0.03 4 0 0.00 0.00 0.03 4
3589.43/3597.02 c dual LP : 172.75 39 218911 5613.10 1267.18 0.00 0
3589.43/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3589.43/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3589.43/3597.02 c resolve instable : 0.00 0 0 0.00 -
3589.43/3597.02 c diving/probing LP: 3121.56 2497 1389110 556.31 445.01
3589.43/3597.02 c strong branching : 20.08 29 24488 844.41 1219.60 - - 40
3589.43/3597.02 c (at root node) : - 29 24488 844.41 -
3589.43/3597.02 c conflict analysis: 0.00 0 0 0.00 -
3589.43/3597.02 c B&B Tree :
3589.43/3597.02 c number of runs : 1
3589.43/3597.02 c nodes : 14 (14 internal, 0 leaves)
3589.43/3597.02 c feasible leaves : 0
3589.43/3597.02 c infeas. leaves : 0
3589.43/3597.02 c objective leaves : 0
3589.43/3597.02 c nodes (total) : 14 (14 internal, 0 leaves)
3589.43/3597.02 c nodes left : 15
3589.43/3597.02 c max depth : 8
3589.43/3597.02 c max depth (total): 8
3589.43/3597.02 c backtracks : 5 (35.7%)
3589.43/3597.02 c early backtracks : 0 (0.0%)
3589.43/3597.02 c nodes exc. ref. : 0 (0.0%)
3589.43/3597.02 c delayed cutoffs : 0
3589.43/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3589.43/3597.02 c avg switch length: 2.79
3589.43/3597.02 c switching time : 0.01
3589.43/3597.02 c Root Node :
3589.43/3597.02 c First LP value : +5.16849710982659e+01
3589.43/3597.02 c First LP Iters : 34302 (1143.61 Iter/sec)
3589.43/3597.02 c First LP Time : 29.99
3589.43/3597.02 c Final Dual Bound : +1.11000000000000e+02
3589.43/3597.02 c Final Root Iters : 273186
3589.43/3597.02 c Root LP Estimate : +1.17603778366690e+02
3589.43/3597.02 c Solution :
3589.43/3597.02 c Solutions found : 0 (0 improvements)
3589.43/3597.02 c Primal Bound : -
3589.43/3597.02 c Dual Bound : +1.12666666666667e+02
3589.43/3597.02 c Gap : infinite
3589.43/3597.02 c Integrals : Total Avg%
3589.43/3597.02 c primal-dual : 359701.60 100.00
3589.43/3597.02 c primal-ref : - - (not evaluated)
3589.43/3597.02 c dual-ref : - - (not evaluated)
3589.53/3597.10 c Time complete: 3589.54.
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 (60869 MiB free)
memory of node 1: 64510 MiB (60963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432912-1721162029/watcher-4432912-1721162029 -o /tmp/evaluation-result-4432912-1721162029/solver-4432912-1721162029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721152754-871684 --watchdog 3760 pbscip -f HOME/instance-4432912-1721162029.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=876924, runsolver pid=876921
[startup+0.100139 s]*
/proc/loadavg: 4.14 4.14 4.10 5/258 876925
/proc/meminfo: memFree=124702264/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=110492 memory=70724 CPUtime=0.1 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 14550 0 0 0 8 2 0 0 20 0 1 0 168362039 113143808 17681 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 27623 17681 3606 3540 0 15880 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 110492 KiB
Current children cumulated memory: 70724 KiB
[startup+0.205639 s]*
/proc/loadavg: 4.14 4.14 4.10 5/258 876925
/proc/meminfo: memFree=124666308/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=145620 memory=105268 CPUtime=0.2 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 24446 0 0 0 17 3 0 0 20 0 1 0 168362039 149114880 26317 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 36405 26317 3749 3540 0 24662 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 145620 KiB
Current children cumulated memory: 105268 KiB
[startup+0.305542 s]*
/proc/loadavg: 4.14 4.14 4.10 5/258 876925
/proc/meminfo: memFree=124666204/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=145548 memory=105820 CPUtime=0.3 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 28180 0 0 0 26 4 0 0 20 0 1 0 168362039 149041152 26455 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 36387 26455 3813 3540 0 24644 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145548 KiB
Current children cumulated memory: 105820 KiB
[startup+0.700193 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 876925
/proc/meminfo: memFree=124656612/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=153420 memory=113048 CPUtime=0.68 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 30744 0 0 0 64 4 0 0 20 0 1 0 168362039 157102080 28262 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 38355 28262 3861 3540 0 26612 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153420 KiB
Current children cumulated memory: 113048 KiB
[startup+1.50019 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 876925
/proc/meminfo: memFree=124655240/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=155124 memory=114896 CPUtime=1.48 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 31165 0 0 0 144 4 0 0 20 0 1 0 168362039 158846976 28724 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 38781 28724 3861 3540 0 27038 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 155124 KiB
Current children cumulated memory: 114896 KiB
[startup+3.10554 s]
/proc/loadavg: 4.21 4.16 4.11 6/258 876928
/proc/meminfo: memFree=124554764/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=281804 memory=214448 CPUtime=3.08 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 55804 0 0 0 300 8 0 0 20 0 1 0 168362039 288567296 53612 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 70451 53612 4021 3540 0 58708 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 281804 KiB
Current children cumulated memory: 214448 KiB
[startup+6.30016 s]
/proc/loadavg: 4.21 4.16 4.11 5/256 876928
/proc/meminfo: memFree=124546852/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=286056 memory=219788 CPUtime=6.28 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 57089 0 0 0 619 9 0 0 20 0 1 0 168362039 292921344 54947 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 71514 54947 4037 3540 0 59771 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 286056 KiB
Current children cumulated memory: 219788 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.10 5/257 876930
/proc/meminfo: memFree=124546424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=287332 memory=221108 CPUtime=12.65 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 57418 0 0 0 1256 9 0 0 20 0 1 0 168362039 294227968 55277 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 71833 55277 4037 3540 0 60090 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 287332 KiB
Current children cumulated memory: 221108 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.16 4.11 5/257 876933
/proc/meminfo: memFree=124538904/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=289416 memory=222164 CPUtime=25.43 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 57732 0 0 0 2532 11 0 0 20 0 1 0 168362039 296361984 55541 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 72354 55541 4037 3540 0 60611 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 289416 KiB
Current children cumulated memory: 222164 KiB
[startup+51.1053 s]
/proc/loadavg: 4.22 4.16 4.11 5/257 876936
/proc/meminfo: memFree=124533888/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=289416 memory=222692 CPUtime=50.97 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 57835 0 0 0 5084 13 0 0 20 0 1 0 168362039 296361984 55673 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 72354 55673 4037 3540 0 60611 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 289416 KiB
Current children cumulated memory: 222692 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 876945
/proc/meminfo: memFree=124379396/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=338452 memory=258564 CPUtime=102 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 62909 0 0 0 10185 15 0 0 20 0 1 0 168362039 346574848 64641 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 84613 64641 4037 3540 0 72870 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 338452 KiB
Current children cumulated memory: 258564 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/255 876955
/proc/meminfo: memFree=124360128/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=366396 memory=266772 CPUtime=161.81 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 64511 0 0 0 16165 16 0 0 20 0 1 0 168362039 375189504 66693 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 91599 66693 4037 3540 0 79856 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 366396 KiB
Current children cumulated memory: 266772 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/255 876967
/proc/meminfo: memFree=124351608/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=387520 memory=271656 CPUtime=221.61 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 64883 0 0 0 22145 16 0 0 20 0 1 0 168362039 396820480 67914 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 96880 67914 4037 3540 0 85137 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 387520 KiB
Current children cumulated memory: 271656 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 876977
/proc/meminfo: memFree=124334920/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=387520 memory=286692 CPUtime=281.42 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 64914 0 0 0 28126 16 0 0 20 0 1 0 168362039 396820480 71673 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 96880 71673 4037 3540 0 85137 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 387520 KiB
Current children cumulated memory: 286692 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 876988
/proc/meminfo: memFree=124312268/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=387520 memory=308572 CPUtime=341.28 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 65041 0 0 0 34112 16 0 0 20 0 1 0 168362039 396820480 77143 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 96880 77143 4037 3540 0 85137 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 387520 KiB
Current children cumulated memory: 308572 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/257 877002
/proc/meminfo: memFree=124297488/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=387520 memory=321980 CPUtime=401.14 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 65181 0 0 0 40098 16 0 0 20 0 1 0 168362039 396820480 80495 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 96880 80495 4037 3540 0 85137 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 387520 KiB
Current children cumulated memory: 321980 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 877013
/proc/meminfo: memFree=124296848/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=387520 memory=321980 CPUtime=461.01 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 65267 0 0 0 46085 16 0 0 20 0 1 0 168362039 396820480 80495 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 96880 80495 4037 3540 0 85137 0
################
# More data... #
################
/proc/loadavg: 1.14 1.35 2.03 2/236 878570
/proc/meminfo: memFree=125486476/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3215.45 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 90859 0 0 0 321525 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3215.45 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3282.3 s]
/proc/loadavg: 1.16 1.32 1.98 2/238 878751
/proc/meminfo: memFree=125485244/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3275.33 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 90946 0 0 0 327513 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3275.33 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3342.3 s]
/proc/loadavg: 1.16 1.29 1.92 2/239 878762
/proc/meminfo: memFree=125484872/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3335.22 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91032 0 0 0 333502 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3335.22 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3402.3 s]
/proc/loadavg: 1.06 1.23 1.86 2/240 878829
/proc/meminfo: memFree=125484496/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3395.1 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91116 0 0 0 339490 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3395.1 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3462.3 s]
/proc/loadavg: 1.13 1.22 1.82 2/238 878841
/proc/meminfo: memFree=125483996/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3454.98 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91201 0 0 0 345478 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3454.98 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.19 1.77 2/238 878851
/proc/meminfo: memFree=125483836/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3514.87 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91286 0 0 0 351467 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3514.87 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.17 1.72 2/236 878861
/proc/meminfo: memFree=125483604/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3574.75 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 357455 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3574.75 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3597.11 s]
# the end of solver process 876924 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.33 s, system=0.208412 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.08 1.17 1.72 2/236 878862
/proc/meminfo: memFree=125483508/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3576.45 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 357625 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3576.45 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3590.4 s]
/proc/loadavg: 1.07 1.17 1.72 2/236 878862
/proc/meminfo: memFree=125483508/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3582.84 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358264 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3582.84 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3593.6 s]
/proc/loadavg: 1.07 1.16 1.72 2/236 878864
/proc/meminfo: memFree=125483508/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3586.03 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358583 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3595.2 s]
/proc/loadavg: 1.07 1.16 1.72 2/236 878864
/proc/meminfo: memFree=125483424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3587.63 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358743 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3596 s]*
/proc/loadavg: 1.07 1.16 1.72 2/236 878864
/proc/meminfo: memFree=125483424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3588.43 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358823 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3588.43 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3596.8 s]
/proc/loadavg: 1.07 1.16 1.72 2/236 878864
/proc/meminfo: memFree=125483424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3589.22 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358902 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3589.22 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3597 s]*
/proc/loadavg: 1.06 1.16 1.71 2/236 878864
/proc/meminfo: memFree=125483424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3589.43 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358923 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3589.43 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB
[startup+3597.1 s]
/proc/loadavg: 1.06 1.16 1.71 2/236 878864
/proc/meminfo: memFree=125483424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=433684 memory=370392 CPUtime=3589.53 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91425 0 0 0 358933 20 0 0 20 0 1 0 168362039 444092416 92598 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 108421 92598 4069 3540 0 96678 0
Current children cumulated CPU time: 3589.53 s
Current children cumulated vsize: 433684 KiB
Current children cumulated memory: 370392 KiB
Child status: 0
Real time (s): 3597.11
CPU time (s): 3589.54
CPU user time (s): 3589.33
CPU system time (s): 0.208412
CPU usage (%): 99.7896
Max. virtual memory (cumulated for all children) (KiB): 480244
Max. memory (cumulated for all children) (KiB): 416424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.33
system time used= 0.208412
maximum resident set size= 416424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91444
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= 39
involuntary context switches= 1551
# summary of solver processes directly reported to runsolver:
# pid: 876924
# total CPU time (s): 3589.54
# total CPU user time (s): 3589.33
# total CPU system time (s): 0.208412
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46082 second user time and 13.6461 second system time
The end