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-4432920-1721161229.opb>
0.00/0.06 c original problem has 9324 variables (9324 bin, 0 int, 0 impl, 0 cont) and 28660 constraints
0.00/0.06 c problem read in 0.06
0.09/0.12 c presolving:
0.09/0.15 c (round 1, fast) 56 del vars, 812 del conss, 0 add conss, 0 chg bounds, 1680 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 15960 clqs
0.09/0.16 c (round 2, fast) 71 del vars, 1262 del conss, 0 add conss, 0 chg bounds, 1680 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 15510 clqs
0.09/0.20 c (0.2s) running MILP presolver
0.19/0.23 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.19/0.26 c (round 3, exhaustive) 71 del vars, 1290 del conss, 0 add conss, 0 chg bounds, 1680 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 15510 clqs
0.29/0.34 c (round 4, exhaustive) 71 del vars, 1290 del conss, 0 add conss, 0 chg bounds, 1680 chg sides, 2520 chg coeffs, 27342 upgd conss, 0 impls, 15510 clqs
0.39/0.42 c (round 5, exhaustive) 71 del vars, 2130 del conss, 0 add conss, 0 chg bounds, 1680 chg sides, 2520 chg coeffs, 27342 upgd conss, 0 impls, 15510 clqs
2.38/2.48 c (2.5s) probing: 1000/9253 (10.8%) - 0 fixings, 0 aggregations, 4677 implications, 0 bound changes
2.38/2.48 c (2.5s) probing: 1001/9253 (10.8%) - 0 fixings, 0 aggregations, 4680 implications, 0 bound changes
2.38/2.48 c (2.5s) probing aborted: 1000/1000 successive useless probings
2.48/2.53 c (2.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.58/2.63 c (2.6s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.06)
2.58/2.64 c dynamic symmetry handling statistics:
2.58/2.64 c orbitopal reduction: 4 components: 331x6, 331x6, 330x11, 330x4
2.58/2.64 c orbital reduction: no components
2.58/2.64 c lexicographic reduction: no permutations
2.58/2.64 c handled 4 out of 4 symmetry components
2.58/2.66 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
2.58/2.66 c 71 deleted vars, 2130 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1680 changed sides, 2520 changed coefficients
2.58/2.66 c 0 implications, 20190 cliques
2.58/2.66 c presolved problem has 9253 variables (9253 bin, 0 int, 0 impl, 0 cont) and 26530 constraints
2.58/2.66 c 1106 constraints of type <knapsack>
2.58/2.66 c 15510 constraints of type <setppc>
2.58/2.66 c 28 constraints of type <linear>
2.58/2.66 c 9886 constraints of type <logicor>
2.58/2.66 c transformed objective value is always integral (scale: 1)
2.58/2.66 c Presolving Time: 2.55
2.58/2.66 c - non default parameters ----------------------------------------------------------------------
2.58/2.66 c # SCIP version 10.0.0
2.58/2.66 c
2.58/2.66 c # maximal time in seconds to run
2.58/2.66 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.58/2.66 c limits/time = 3596.997044
2.58/2.66 c
2.58/2.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.58/2.66 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.58/2.66 c limits/memory = 27900
2.58/2.66 c
2.58/2.66 c # belongs reading time to solving time?
2.58/2.66 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.58/2.66 c timing/reading = TRUE
2.58/2.66 c
2.58/2.66 c -----------------------------------------------------------------------------------------------
2.58/2.66 c start solving
2.58/2.66 c
61.61/61.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
61.61/61.81 c 61.8s| 1 | 0 | 52713 | - | 201M | 0 |9253 | 26k| 26k| 0 | 0 | 66 | 0 | 3.895635e+01 | -- | Inf | unknown
109.99/110.31 c 110s| 1 | 0 |172073 | - | 212M | 0 |9253 | 26k| 26k| 204 | 1 | 67 | 0 | 4.153635e+01 | -- | Inf | unknown
114.17/114.59 c 115s| 1 | 0 |176198 | - | 217M | 0 |9253 | 26k| 26k| 409 | 2 | 70 | 0 | 4.162302e+01 | -- | Inf | unknown
119.66/120.04 c 120s| 1 | 0 |180864 | - | 222M | 0 |9253 | 26k| 27k| 615 | 3 | 72 | 0 | 4.208765e+01 | -- | Inf | unknown
127.33/127.73 c 128s| 1 | 0 |190104 | - | 225M | 0 |9253 | 26k| 27k| 804 | 4 | 73 | 0 | 4.252650e+01 | -- | Inf | unknown
140.31/140.74 c 141s| 1 | 0 |202510 | - | 229M | 0 |9253 | 26k| 27k|1036 | 5 | 75 | 0 | 4.361668e+01 | -- | Inf | unknown
145.60/146.03 c 146s| 1 | 0 |208429 | - | 232M | 0 |9253 | 26k| 27k|1234 | 6 | 77 | 0 | 6.022222e+01 | -- | Inf | unknown
150.98/151.43 c 151s| 1 | 0 |214528 | - | 235M | 0 |9253 | 26k| 27k|1414 | 7 | 80 | 0 | 6.022222e+01 | -- | Inf | unknown
155.57/156.05 c 156s| 1 | 0 |219424 | - | 238M | 0 |9253 | 26k| 28k|1571 | 8 | 82 | 0 | 6.044444e+01 | -- | Inf | unknown
159.45/159.98 c 160s| 1 | 0 |223436 | - | 242M | 0 |9253 | 26k| 28k|1721 | 9 | 83 | 0 | 6.111111e+01 | -- | Inf | unknown
164.34/164.83 c 165s| 1 | 0 |228013 | - | 246M | 0 |9253 | 26k| 28k|1849 | 10 | 85 | 0 | 6.244444e+01 | -- | Inf | unknown
168.13/168.65 c 169s| 1 | 0 |232650 | - | 249M | 0 |9253 | 26k| 28k|1966 | 11 | 87 | 0 | 6.600000e+01 | -- | Inf | unknown
170.62/171.11 c 171s| 1 | 0 |235622 | - | 252M | 0 |9253 | 26k| 28k|2055 | 12 | 89 | 0 | 6.600000e+01 | -- | Inf | unknown
173.31/173.85 c 174s| 1 | 0 |238773 | - | 255M | 0 |9253 | 26k| 28k|2137 | 13 | 91 | 0 | 6.733333e+01 | -- | Inf | unknown
176.40/176.98 c 177s| 1 | 0 |242416 | - | 258M | 0 |9253 | 26k| 28k|2199 | 14 | 93 | 0 | 6.866667e+01 | -- | Inf | unknown
180.29/180.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
180.29/180.86 c 181s| 1 | 0 |247013 | - | 260M | 0 |9253 | 26k| 28k|2308 | 15 | 95 | 0 | 6.955556e+01 | -- | Inf | unknown
184.28/184.84 c 185s| 1 | 0 |251879 | - | 263M | 0 |9253 | 26k| 28k|2400 | 16 | 96 | 0 | 7.583333e+01 | -- | Inf | unknown
187.58/188.11 c 188s| 1 | 0 |255690 | - | 266M | 0 |9253 | 26k| 28k|2492 | 17 | 97 | 0 | 7.700000e+01 | -- | Inf | unknown
189.76/190.37 c 190s| 1 | 0 |258048 | - | 269M | 0 |9253 | 26k| 28k|2552 | 18 | 99 | 0 | 7.766667e+01 | -- | Inf | unknown
192.26/192.82 c 193s| 1 | 0 |260770 | - | 272M | 0 |9253 | 26k| 28k|2656 | 19 | 100 | 0 | 7.938889e+01 | -- | Inf | unknown
195.35/195.93 c 196s| 1 | 0 |264292 | - | 274M | 0 |9253 | 26k| 29k|2727 | 20 | 101 | 0 | 8.172222e+01 | -- | Inf | unknown
197.45/198.02 c 198s| 1 | 0 |266605 | - | 274M | 0 |9253 | 26k| 29k|2735 | 21 | 102 | 0 | 8.172222e+01 | -- | Inf | unknown
198.24/198.81 c 199s| 1 | 0 |267148 | - | 274M | 0 |9253 | 26k| 28k|2744 | 22 | 104 | 0 | 8.172222e+01 | -- | Inf | unknown
199.44/200.01 c 200s| 1 | 0 |268281 | - | 274M | 0 |9253 | 26k| 28k|2749 | 23 | 105 | 0 | 8.172222e+01 | -- | Inf | unknown
200.23/200.81 c 201s| 1 | 0 |268948 | - | 274M | 0 |9253 | 26k| 28k|2759 | 24 | 107 | 0 | 8.172222e+01 | -- | Inf | unknown
201.13/201.70 c 202s| 1 | 0 |269762 | - | 274M | 0 |9253 | 26k| 28k|2772 | 25 | 108 | 0 | 8.172222e+01 | -- | Inf | unknown
201.93/202.55 c 203s| 1 | 0 |270526 | - | 274M | 0 |9253 | 26k| 28k|2780 | 26 | 110 | 0 | 8.172222e+01 | -- | Inf | unknown
203.53/204.19 c 204s| 1 | 0 |272385 | - | 274M | 0 |9253 | 26k| 28k|2788 | 27 | 111 | 0 | 8.172222e+01 | -- | Inf | unknown
204.22/204.84 c 205s| 1 | 0 |272894 | - | 274M | 0 |9253 | 26k| 28k|2797 | 28 | 112 | 0 | 8.172222e+01 | -- | Inf | unknown
204.72/205.35 c 205s| 1 | 0 |273162 | - | 275M | 0 |9253 | 26k| 28k|2802 | 29 | 115 | 0 | 8.172222e+01 | -- | Inf | unknown
205.12/205.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
205.12/205.76 c 206s| 1 | 0 |273344 | - | 275M | 0 |9253 | 26k| 28k|2811 | 30 | 117 | 0 | 8.172222e+01 | -- | Inf | unknown
1181.38/1184.45 c 1184s| 1 | 2 |395759 | - | 277M | 0 |9253 | 26k| 28k|2811 | 30 | 184 | 23 | 8.172222e+01 | -- | Inf | unknown
3186.61/3194.32 c 3194s| 100 | 89 | 1779k|15215.4 | 306M | 14 |9253 | 27k| 27k|6354 | 2 | 704 | 23 | 1.079048e+02 | -- | Inf | 21.88%
3575.77/3584.58 c 3585s| 200 | 167 | 2198k|9674.0 | 314M | 15 |9253 | 27k| 27k| 10k| 1 |1235 | 23 | 1.162429e+02 | -- | Inf | 25.19%
3588.13/3597.00 c
3588.13/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.13/3597.00 c Solving Time (sec) : 3597.00
3588.13/3597.00 c Solving Nodes : 204
3588.13/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.13/3597.00 c Dual Bound : +1.16242857142857e+02
3588.13/3597.00 c Gap : infinite
3588.13/3597.00 s UNKNOWN
3588.13/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.13/3597.00 c Total Time : 3597.00
3588.13/3597.00 c solving : 3597.00
3588.13/3597.00 c presolving : 2.55 (included in solving)
3588.13/3597.00 c reading : 0.06 (included in solving)
3588.13/3597.00 c copying : 0.08 (2 #copies) (minimal 0.04, maximal 0.04, average 0.04)
3588.13/3597.00 c Original Problem :
3588.13/3597.00 c Problem name : HOME/instance-4432920-1721161229.opb
3588.13/3597.00 c Variables : 9324 (9324 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.13/3597.00 c Constraints : 28660 initial, 28660 maximal
3588.13/3597.00 c Objective : minimize, 26 non-zeros (abs.min = 2, abs.max = 20)
3588.13/3597.00 c Presolved Problem :
3588.13/3597.00 c Problem name : t_HOME/instance-4432920-1721161229.opb
3588.13/3597.00 c Variables : 9253 (9253 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.13/3597.00 c Constraints : 26530 initial, 27495 maximal
3588.13/3597.00 c Objective : minimize, 13 non-zeros (abs.min = 7, abs.max = 22)
3588.13/3597.00 c Nonzeros : 90772 constraint, 40628 clique table
3588.13/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.13/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c domcol : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c dualsparsify : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c gateextraction : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c milp : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c dualfix : 0.00 0.00 6 58 0 0 0 0 0 0 0 0
3588.13/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c probing : 1.98 0.00 1 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c symmetry : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c knapsack : 0.02 0.00 6 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c setppc : 0.03 0.00 6 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c linear : 0.14 0.01 10 0 13 0 0 0 1290 0 1680 2520
3588.13/3597.00 c logicor : 0.03 0.00 6 0 0 0 0 0 840 0 0 0
3588.13/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c root node : - - - 0 - - 0 - - - - -
3588.13/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.13/3597.00 c benderslp : 0 0 0 0 193 0 0 7 0 0 0 0 0 0 0
3588.13/3597.00 c integral : 0 0 0 0 193 0 0 7 0 0 0 0 0 0 386
3588.13/3597.00 c knapsack : 1106+ 1124 30 81689 0 0 0 3 1153 121 291 14 5 0 0
3588.13/3597.00 c setppc : 15510+ 15643 30 81568 0 0 0 0 7498 87 3617 1 0 0 0
3588.13/3597.00 c linear : 28+ 76 30 81481 0 0 0 3 71 58 8 0 0 0 0
3588.13/3597.00 c logicor : 9886+ 10667 30 50971 0 0 0 0 700 236 198 3 2 0 0
3588.13/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.13/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.13/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c integral : 24.06 0.00 0.00 0.00 24.06 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c knapsack : 0.99 0.00 0.47 0.52 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c setppc : 0.59 0.00 0.02 0.56 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c linear : 0.03 0.01 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c logicor : 0.13 0.00 0.03 0.10 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.13/3597.00 c dualfix : 1 0 0 0
3588.13/3597.00 c genvbounds : 0 0 0 0
3588.13/3597.00 c nlobbt : 0 0 0 0
3588.13/3597.00 c obbt : 0 0 0 0
3588.13/3597.00 c probing : 0 0 0 0
3588.13/3597.00 c pseudoobj : 1032 0 0 0
3588.13/3597.00 c redcost : 156 0 0 36
3588.13/3597.00 c rootredcost : 1 0 0 0
3588.13/3597.00 c symmetry : 802 0 2 369
3588.13/3597.00 c vbounds : 39442 0 0 0
3588.13/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.13/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c probing : 1.98 0.00 1.98 0.00 0.00 0.00
3588.13/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3588.13/3597.00 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
3588.13/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3588.13/3597.00 c symmetry : 0.12 0.00 0.11 0.01 0.00 0.00
3588.13/3597.00 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3588.13/3597.00 c Symmetry :
3588.13/3597.00 c orbitopal red. : 369 reductions applied, 2 cutoffs
3588.13/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.13/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.13/3597.00 c shadow tree time : 0.00 s
3588.13/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.13/3597.00 c propagation : 0.01 443 442 - 1703 19.3 5 13.2 - - -
3588.13/3597.00 c infeasible LP : 0.05 61 61 - 268 19.3 4 6.2 61 26.2 0
3588.13/3597.00 c bound exceed. LP : 0.09 10 10 - 6 23.7 0 0.0 10 25.1 80
3588.13/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.13/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.13/3597.00 c applied globally : 0.00 - - 0 1174 18.4 - - 71 - -
3588.13/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3588.13/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.13/3597.00 c cut pool : 0.07 - 148 59 - - 4528 36149 - - - - - (maximal pool size: 4453)
3588.13/3597.00 c aggregation : 0.33 0.00 40 30 0 0 7 9 0 7 7 0 0
3588.13/3597.00 c > cmir : - - - - - - - 9 0 7 7 0 -
3588.24/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.24/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.24/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c clique : 5.51 0.00 30 30 0 0 165 1632 0 444 444 0 0
3588.24/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c gomory : 9.31 0.00 19 10 0 0 2456 19763 0 4884 4884 0 0
3588.24/3597.00 c > gomorymi : - - - - - - - 1191 0 89 89 0 -
3588.24/3597.00 c > strongcg : - - - - - - - 18572 0 4795 4795 0 -
3588.24/3597.00 c impliedbounds : 0.03 0.00 40 30 0 0 22 299 0 169 169 0 0
3588.24/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c multilinear : 0.00 0.00 38 30 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c rlt : 0.00 0.00 14 10 0 0 0 0 0 0 0 0 0
3588.24/3597.00 c zerohalf : 3.05 0.00 29 20 0 0 1878 14446 0 5143 5143 0 0
3588.24/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.24/3597.00 c hybrid : 0.07 0.00 109 30 10654 0 25513 2811 0 2006
3588.24/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.24/3597.00 c problem variables: 0.00 - 0 0
3588.24/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.24/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c relpscost : 24.06 0.00 193 0 0 0 0 0 0 386
3588.24/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.24/3597.00 c LP solutions : 0.00 - - 0 0
3588.24/3597.00 c relax solutions : 0.00 - - 0 0
3588.24/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.24/3597.00 c strong branching : 0.00 - - 0 0
3588.24/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.24/3597.00 c adaptivediving : 71.88 0.00 6 0 0
3588.24/3597.00 c alns : 0.09 0.00 1 0 0
3588.24/3597.00 c bound : 0.00 0.00 0 0 0
3588.24/3597.00 c clique : 0.06 0.00 1 0 0
3588.24/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.24/3597.00 c completesol : 0.00 0.00 0 0 0
3588.24/3597.00 c conflictdiving : 36.85 0.00 23 0 0
3588.24/3597.00 c crossover : 0.00 0.00 0 0 0
3588.24/3597.00 c dins : 0.00 0.00 0 0 0
3588.24/3597.00 c distributiondivin: 57.52 0.00 11 0 0
3588.24/3597.00 c dps : 0.00 0.00 0 0 0
3588.24/3597.00 c dualval : 0.00 0.00 0 0 0
3588.24/3597.00 c farkasdiving : 651.98 0.00 1 0 0
3588.24/3597.00 c feasjump : 0.04 0.00 1 0 0
3588.24/3597.00 c feaspump : 43.35 0.00 1 0 0
3588.24/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.24/3597.00 c fracdiving : 134.80 0.00 12 0 0
3588.24/3597.00 c gins : 0.00 0.00 0 0 0
3588.24/3597.00 c guideddiving : 0.00 0.00 0 0 0
3588.24/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3588.24/3597.00 c indicator : 0.00 0.00 0 0 0
3588.24/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.24/3597.00 c indoneopt : 0.00 0.00 0 0 0
3588.24/3597.00 c indrounding : 0.00 0.00 0 0 0
3588.24/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3588.24/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.24/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.24/3597.00 c linesearchdiving : 129.68 0.00 9 0 0
3588.24/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.24/3597.00 c locks : 0.00 0.00 1 0 0
3588.24/3597.00 c lpface : 0.00 0.00 0 0 0
3588.24/3597.00 c mpec : 0.00 0.00 0 0 0
3588.24/3597.00 c multistart : 0.00 0.00 0 0 0
3588.24/3597.00 c mutation : 0.00 0.00 0 0 0
3588.24/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.24/3597.00 c objpscostdiving : 1375.42 0.00 1 0 0
3588.24/3597.00 c octane : 0.00 0.00 0 0 0
3588.24/3597.00 c ofins : 0.00 0.00 0 0 0
3588.24/3597.00 c oneopt : 0.00 0.00 0 0 0
3588.24/3597.00 c padm : 0.00 0.00 0 0 0
3588.24/3597.00 c proximity : 0.00 0.00 0 0 0
3588.24/3597.00 c pscostdiving : 173.84 0.00 8 0 0
3588.24/3597.00 c randrounding : 0.17 0.00 31 0 0
3588.24/3597.00 c rens : 283.58 0.00 1 0 0
3588.24/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.24/3597.00 c repair : 0.00 0.00 0 0 0
3588.24/3597.00 c rins : 0.00 0.00 0 0 0
3588.24/3597.00 c rootsoldiving : 21.30 0.00 1 0 0
3588.24/3597.00 c rounding : 0.27 0.00 204 0 0
3588.24/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.24/3597.00 c shiftandpropagate: 0.04 0.00 1 0 0
3588.24/3597.00 c shifting : 2.02 0.00 128 0 0
3588.24/3597.00 c simplerounding : 0.01 0.00 319 0 0
3588.24/3597.00 c smallcard : 0.00 0.00 0 0 0
3588.24/3597.00 c subnlp : 0.00 0.00 0 0 0
3588.24/3597.00 c trivial : 0.00 0.00 2 0 0
3588.24/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.24/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.24/3597.00 c trysol : 0.00 0.00 0 0 0
3588.24/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.24/3597.00 c undercover : 0.00 0.00 0 0 0
3588.24/3597.00 c vbounds : 0.04 0.00 1 0 0
3588.24/3597.00 c veclendiving : 69.51 0.00 11 0 0
3588.24/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.24/3597.00 c zirounding : 0.38 0.00 193 0 0
3588.24/3597.00 c other solutions : - - - 0 -
3588.24/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.24/3597.00 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
3588.24/3597.00 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
3588.24/3597.00 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
3588.24/3597.00 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
3588.24/3597.00 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
3588.24/3597.00 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
3588.24/3597.00 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
3588.24/3597.00 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
3588.24/3597.00 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
3588.24/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.24/3597.00 c primal LP : 0.33 64 0 0.00 0.00 0.33 64
3588.24/3597.00 c dual LP : 496.83 329 777750 2484.82 1565.43 0.09 16
3588.24/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.24/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.24/3597.00 c resolve instable : 0.00 0 0 0.00 -
3588.24/3597.00 c diving/probing LP: 2761.51 2796 1433131 512.56 518.97
3588.24/3597.00 c strong branching : 15.21 23 20711 900.48 1361.78 - - 34
3588.24/3597.00 c (at root node) : - 23 20711 900.48 -
3588.24/3597.00 c conflict analysis: 0.08 8 80 10.00 1031.50
3588.24/3597.00 c B&B Tree :
3588.24/3597.00 c number of runs : 1
3588.24/3597.00 c nodes : 204 (193 internal, 11 leaves)
3588.24/3597.00 c feasible leaves : 0
3588.24/3597.00 c infeas. leaves : 10
3588.24/3597.00 c objective leaves : 0
3588.24/3597.00 c nodes (total) : 204 (193 internal, 11 leaves)
3588.24/3597.00 c nodes left : 170
3588.24/3597.00 c max depth : 15
3588.24/3597.00 c max depth (total): 15
3588.24/3597.00 c backtracks : 108 (52.9%)
3588.24/3597.00 c early backtracks : 0 (0.0%)
3588.24/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.24/3597.00 c delayed cutoffs : 14
3588.24/3597.00 c repropagations : 31 (81 domain reductions, 6 cutoffs)
3588.24/3597.00 c avg switch length: 5.32
3588.24/3597.00 c switching time : 0.43
3588.24/3597.00 c Root Node :
3588.24/3597.00 c First LP value : +3.89563492063492e+01
3588.24/3597.00 c First LP Iters : 52713 (894.33 Iter/sec)
3588.24/3597.00 c First LP Time : 58.94
3588.24/3597.00 c Final Dual Bound : +8.17222222222222e+01
3588.24/3597.00 c Final Root Iters : 273344
3588.24/3597.00 c Root LP Estimate : +2.01461312635992e+02
3588.24/3597.00 c Solution :
3588.24/3597.00 c Solutions found : 0 (0 improvements)
3588.24/3597.00 c Primal Bound : -
3588.24/3597.00 c Dual Bound : +1.16242857142857e+02
3588.24/3597.00 c Gap : infinite
3588.24/3597.00 c Integrals : Total Avg%
3588.24/3597.00 c primal-dual : 359699.80 100.00
3588.24/3597.00 c primal-ref : - - (not evaluated)
3588.24/3597.00 c dual-ref : - - (not evaluated)
3588.24/3597.08 c Time complete: 3588.33.
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 (61210 MiB free)
memory of node 1: 64510 MiB (58989 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432920-1721161229/watcher-4432920-1721161229 -o /tmp/evaluation-result-4432920-1721161229/solver-4432920-1721161229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721152754-871683 --watchdog 3760 pbscip -f HOME/instance-4432920-1721161229.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=876122, runsolver pid=876119
[startup+0.10071 s]*
/proc/loadavg: 4.08 4.10 4.09 5/257 876123
/proc/meminfo: memFree=123031144/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=106636 memory=67784 CPUtime=0.09 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 13672 0 0 0 8 1 0 0 20 0 1 0 168282042 109195264 16946 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 26659 16946 3598 3540 0 14916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106636 KiB
Current children cumulated memory: 67784 KiB
[startup+0.205359 s]*
/proc/loadavg: 4.08 4.10 4.09 5/257 876123
/proc/meminfo: memFree=122999140/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=141528 memory=101088 CPUtime=0.19 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 23716 0 0 0 16 3 0 0 20 0 1 0 168282042 144924672 25272 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 35382 25272 3741 3540 0 23639 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 141528 KiB
Current children cumulated memory: 101088 KiB
[startup+0.305474 s]*
/proc/loadavg: 4.08 4.10 4.09 5/257 876123
/proc/meminfo: memFree=122998468/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=141892 memory=102084 CPUtime=0.29 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 25442 0 0 0 26 3 0 0 20 0 1 0 168282042 145297408 25521 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 35473 25521 3805 3540 0 23730 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 141892 KiB
Current children cumulated memory: 102084 KiB
[startup+0.700214 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 876123
/proc/meminfo: memFree=122992736/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=148672 memory=107472 CPUtime=0.68 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 27802 0 0 0 65 3 0 0 20 0 1 0 168282042 152240128 26868 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 37168 26868 3853 3540 0 25425 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148672 KiB
Current children cumulated memory: 107472 KiB
[startup+1.50021 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 876123
/proc/meminfo: memFree=122991028/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=150208 memory=109056 CPUtime=1.48 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 28189 0 0 0 144 4 0 0 20 0 1 0 168282042 153812992 27264 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 37552 27264 3853 3540 0 25809 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 150208 KiB
Current children cumulated memory: 109056 KiB
[startup+3.10502 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 876126
/proc/meminfo: memFree=122895244/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=273244 memory=204908 CPUtime=3.08 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 51851 0 0 0 301 7 0 0 20 0 1 0 168282042 279801856 51227 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 68311 51227 4013 3540 0 56568 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 273244 KiB
Current children cumulated memory: 204908 KiB
[startup+6.30018 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 876126
/proc/meminfo: memFree=122888120/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=278028 memory=211032 CPUtime=6.27 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 53350 0 0 0 619 8 0 0 20 0 1 0 168282042 284700672 52758 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 69507 52758 4029 3540 0 57764 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 278028 KiB
Current children cumulated memory: 211032 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 876126
/proc/meminfo: memFree=122886316/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=280396 memory=212616 CPUtime=12.65 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 53767 0 0 0 1256 9 0 0 20 0 1 0 168282042 287125504 53154 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 70099 53154 4029 3540 0 58356 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 280396 KiB
Current children cumulated memory: 212616 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 876129
/proc/meminfo: memFree=122882672/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=280544 memory=212876 CPUtime=25.41 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 53816 0 0 0 2532 9 0 0 20 0 1 0 168282042 287277056 53219 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 70136 53219 4029 3540 0 58393 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 280544 KiB
Current children cumulated memory: 212876 KiB
[startup+51.1051 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 876132
/proc/meminfo: memFree=122880980/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=281692 memory=213140 CPUtime=50.95 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 53908 0 0 0 5084 11 0 0 20 0 1 0 168282042 288452608 53285 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 70423 53285 4029 3540 0 58680 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 281692 KiB
Current children cumulated memory: 213140 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 876140
/proc/meminfo: memFree=122866032/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=281692 memory=213656 CPUtime=102.01 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 54007 0 0 0 10188 13 0 0 20 0 1 0 168282042 288452608 53414 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 70423 53414 4029 3540 0 58680 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 281692 KiB
Current children cumulated memory: 213656 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 876152
/proc/meminfo: memFree=122638872/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=345604 memory=255068 CPUtime=161.85 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 60909 0 0 0 16170 15 0 0 20 0 1 0 168282042 353898496 63767 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 86401 63767 4029 3540 0 74658 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 345604 KiB
Current children cumulated memory: 255068 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/257 876166
/proc/meminfo: memFree=122629316/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=376400 memory=261772 CPUtime=221.68 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 62075 0 0 0 22153 15 0 0 20 0 1 0 168282042 385433600 65443 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 94100 65443 4029 3540 0 82357 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 376400 KiB
Current children cumulated memory: 261772 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 876176
/proc/meminfo: memFree=122599220/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=376400 memory=261772 CPUtime=281.53 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 62075 0 0 0 28138 15 0 0 20 0 1 0 168282042 385433600 65443 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 94100 65443 4029 3540 0 82357 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 376400 KiB
Current children cumulated memory: 261772 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/256 876568
/proc/meminfo: memFree=122580060/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=376400 memory=261772 CPUtime=341.41 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 62075 0 0 0 34125 16 0 0 20 0 1 0 168282042 385433600 65443 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 94100 65443 4029 3540 0 82357 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 376400 KiB
Current children cumulated memory: 261772 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 876578
/proc/meminfo: memFree=122544556/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=376400 memory=261772 CPUtime=401.25 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 62075 0 0 0 40109 16 0 0 20 0 1 0 168282042 385433600 65443 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 94100 65443 4029 3540 0 82357 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 376400 KiB
Current children cumulated memory: 261772 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 876590
/proc/meminfo: memFree=122540756/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=376400 memory=261772 CPUtime=461.09 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 62075 0 0 0 46093 16 0 0 20 0 1 0 168282042 385433600 65443 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 94100 65443 4029 3540 0 82357 0
################
# More data... #
################
/proc/loadavg: 2.08 2.22 2.90 3/244 877995
/proc/meminfo: memFree=125074212/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412892 CPUtime=3154.7 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 86532 0 0 0 315446 24 0 0 20 0 1 0 168282042 475447296 103223 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103223 4061 3540 0 104333 0
Current children cumulated CPU time: 3154.7 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412892 KiB
[startup+3222.3 s]
/proc/loadavg: 2.07 2.19 2.85 3/244 878007
/proc/meminfo: memFree=125073492/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412892 CPUtime=3214.54 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 86668 0 0 0 321430 24 0 0 20 0 1 0 168282042 475447296 103223 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103223 4061 3540 0 104333 0
Current children cumulated CPU time: 3214.54 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412892 KiB
[startup+3282.3 s]
/proc/loadavg: 2.12 2.19 2.80 3/244 878017
/proc/meminfo: memFree=125072876/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3274.38 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 86778 0 0 0 327414 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3274.38 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3342.3 s]
/proc/loadavg: 2.04 2.15 2.75 3/241 878027
/proc/meminfo: memFree=125072328/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3334.22 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 86889 0 0 0 333398 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3334.22 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3402.3 s]
/proc/loadavg: 2.12 2.15 2.71 3/241 878037
/proc/meminfo: memFree=125071720/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3394.05 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 86999 0 0 0 339381 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3394.05 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.14 2.67 3/241 878049
/proc/meminfo: memFree=125071124/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3453.89 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 87112 0 0 0 345365 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.14 2.63 3/241 878059
/proc/meminfo: memFree=125070556/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3513.73 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 87225 0 0 0 351349 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3513.73 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.13 2.60 3/241 878070
/proc/meminfo: memFree=125070060/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3573.57 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 87335 0 0 0 357333 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3597.09 s]
# the end of solver process 876122 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.08 s, system=0.247936 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.11 2.13 2.60 3/241 878071
/proc/meminfo: memFree=125069928/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3575.27 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 87335 0 0 0 357503 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3575.27 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3590.4 s]
/proc/loadavg: 2.10 2.13 2.60 3/241 878072
/proc/meminfo: memFree=125069836/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3581.65 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 87417 0 0 0 358141 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3581.65 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3593.6 s]
/proc/loadavg: 2.09 2.12 2.59 3/243 878078
/proc/meminfo: memFree=125069672/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3584.84 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 87417 0 0 0 358460 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3584.84 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3595.2 s]
/proc/loadavg: 2.09 2.12 2.59 3/243 878078
/proc/meminfo: memFree=125069704/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3586.44 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 87417 0 0 0 358620 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3586.44 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3596 s]*
/proc/loadavg: 2.09 2.12 2.59 3/243 878078
/proc/meminfo: memFree=125069704/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3587.24 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 87418 0 0 0 358700 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3587.24 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3596.8 s]
/proc/loadavg: 2.09 2.12 2.59 3/243 878078
/proc/meminfo: memFree=125069704/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3588.03 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 87419 0 0 0 358779 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3588.03 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
[startup+3597 s]*
/proc/loadavg: 2.08 2.12 2.59 3/243 878078
/proc/meminfo: memFree=125069704/131524600 swapFree=130797080/131071996
[pid=876122] ppid=876119 vsize=464304 memory=412972 CPUtime=3588.24 cores=4,6
/proc/876122/stat : 876122 (pbscip) R 876119 876122 871672 0 -1 4194304 87419 0 0 0 358800 24 0 0 20 0 1 0 168282042 475447296 103243 134679101440 4194304 18693293 140730258563968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38449152 140730258572292 140730258572391 140730258572391 140730258579406 0
/proc/876122/statm: 116076 103243 4061 3540 0 104333 0
Current children cumulated CPU time: 3588.24 s
Current children cumulated vsize: 464304 KiB
Current children cumulated memory: 412972 KiB
Child status: 0
Real time (s): 3597.09
CPU time (s): 3588.33
CPU user time (s): 3588.08
CPU system time (s): 0.247936
CPU usage (%): 99.7564
Max. virtual memory (cumulated for all children) (KiB): 464304
Max. memory (cumulated for all children) (KiB): 412972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.08
system time used= 0.247936
maximum resident set size= 412972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87769
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= 35
involuntary context switches= 1177
# summary of solver processes directly reported to runsolver:
# pid: 876122
# total CPU time (s): 3588.33
# total CPU user time (s): 3588.08
# total CPU system time (s): 0.247936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10442 second user time and 13.6379 second system time
The end