0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4446315-1721332013.opb>
0.79/0.89 c original problem has 10086 variables (10086 bin, 0 int, 0 impl, 0 cont) and 226240 constraints
0.79/0.89 c problem read in 0.88
0.79/0.89 c No objective function, only one solution is needed.
1.28/1.31 c presolving:
1.88/1.97 c (2.0s) running MILP presolver
2.67/2.76 c (2.7s) MILP presolver found nothing
3.27/3.36 c (round 1, exhaustive) 1 del vars, 10 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 226228 upgd conss, 0 impls, 48174 clqs
3.87/3.97 c (round 2, exhaustive) 1 del vars, 2826 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 4234 chg coeffs, 226228 upgd conss, 0 impls, 48174 clqs
5.86/5.92 c (5.9s) probing: 51/10085 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.86/5.92 c (5.9s) probing aborted: 50/50 successive totally useless probings
7.35/7.41 c (7.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.85/7.90 c (7.9s) no symmetry present (symcode time: 0.07)
7.97/8.10 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
7.97/8.10 c 1 deleted vars, 2826 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 4324 changed coefficients
7.97/8.10 c 0 implications, 48174 cliques
7.97/8.10 c presolved problem has 10085 variables (10085 bin, 0 int, 0 impl, 0 cont) and 223414 constraints
7.97/8.10 c 22570 constraints of type <knapsack>
7.97/8.10 c 48174 constraints of type <setppc>
7.97/8.10 c 2 constraints of type <linear>
7.97/8.10 c 152668 constraints of type <logicor>
7.97/8.10 c transformed objective value is always integral (scale: 1)
7.97/8.10 c Presolving Time: 6.79
7.97/8.10 c - non default parameters ----------------------------------------------------------------------
7.97/8.10 c # SCIP version 10.0.0
7.97/8.10 c
7.97/8.10 c # maximal time in seconds to run
7.97/8.10 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
7.97/8.10 c limits/time = 3596.993175
7.97/8.10 c
7.97/8.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.97/8.10 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
7.97/8.10 c limits/memory = 27900
7.97/8.10 c
7.97/8.10 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
7.97/8.10 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
7.97/8.10 c limits/solutions = 1
7.97/8.10 c
7.97/8.10 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
7.97/8.10 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
7.97/8.10 c misc/usesymmetry = 3
7.97/8.10 c
7.97/8.10 c # belongs reading time to solving time?
7.97/8.10 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
7.97/8.10 c timing/reading = TRUE
7.97/8.10 c
7.97/8.10 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
7.97/8.10 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.97/8.10 c propagating/symmetry/detectdoublelex = FALSE
7.97/8.10 c
7.97/8.10 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
7.97/8.10 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.97/8.10 c propagating/symmetry/detectsubgroups = FALSE
7.97/8.10 c
7.97/8.10 c # Type of symmetries that shall be computed?
7.97/8.10 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
7.97/8.10 c propagating/symmetry/symtype = 1
7.97/8.10 c
7.97/8.10 c # Should components consisting of a single full reflection be handled?
7.97/8.10 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.97/8.10 c propagating/symmetry/usesimplesgncomp = FALSE
7.97/8.10 c
7.97/8.10 c -----------------------------------------------------------------------------------------------
7.97/8.10 c start solving
7.97/8.10 c
9.44/9.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.44/9.54 c 9.5s| 1 | 0 | 587 | - | 1114M | 0 | 10k| 223k| 223k| 0 | 0 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
28.88/29.03 c 29.0s| 1 | 0 | 2797 | - | 1148M | 0 | 10k| 223k| 223k| 11 | 1 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
43.82/44.11 c 44.1s| 1 | 0 | 2908 | - | 1171M | 0 | 10k| 223k| 223k| 25 | 2 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
71.59/71.97 c 72.0s| 1 | 0 | 3066 | - | 1194M | 0 | 10k| 223k| 223k| 33 | 3 | 78 | 0 | 0.000000e+00 | -- | Inf | unknown
105.73/106.28 c 106s| 1 | 0 | 3172 | - | 1217M | 0 | 10k| 223k| 223k| 42 | 4 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
123.06/123.64 c 124s| 1 | 0 | 3416 | - | 1244M | 0 | 10k| 223k| 223k| 49 | 5 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
167.57/168.31 c 168s| 1 | 0 | 3568 | - | 1266M | 0 | 10k| 223k| 223k| 55 | 6 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
201.82/202.78 c 203s| 1 | 0 | 3765 | - | 1288M | 0 | 10k| 223k| 223k| 68 | 7 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
227.70/228.73 c 229s| 1 | 0 | 3989 | - | 1315M | 0 | 10k| 223k| 223k| 76 | 8 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
229.29/230.34 c 230s| 1 | 0 | 4206 | - | 1344M | 0 | 10k| 223k| 223k| 87 | 9 | 99 | 0 | 0.000000e+00 | -- | Inf | unknown
230.88/231.97 c 232s| 1 | 0 | 4402 | - | 1367M | 0 | 10k| 223k| 223k| 95 | 10 | 101 | 0 | 0.000000e+00 | -- | Inf | unknown
231.48/232.58 c 233s| 1 | 0 | 4763 | - | 1388M | 0 | 10k| 223k| 223k| 108 | 11 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
251.80/252.90 c 253s| 1 | 2 | 17445 | - | 1391M | 0 | 10k| 223k| 223k| 108 | 11 | 111 | 19 | 0.000000e+00 | -- | Inf | unknown
441.60/443.50 c 443s| 100 | 96 |155072 |1518.3 | 1689M | 12 | 10k| 223k| 223k|1777 | 2 | 366 | 19 | 0.000000e+00 | -- | Inf | 7.81%
706.87/709.90 c 710s| 200 | 194 |349051 |1730.1 | 1810M | 13 | 10k| 224k| 223k|4302 | 1 | 988 | 19 | 0.000000e+00 | -- | Inf | 8.98%
922.51/926.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
922.51/926.52 c 927s| 300 | 293 |535974 |1776.6 | 1903M | 13 | 10k| 224k| 223k|6383 | 1 |1567 | 19 | 0.000000e+00 | -- | Inf | 10.55%
1117.66/1122.46 c 1122s| 400 | 393 |721481 |1796.3 | 2109M | 14 | 10k| 224k| 223k|9366 | 1 |1902 | 19 | 0.000000e+00 | -- | Inf | 10.55%
1306.40/1311.96 c 1312s| 500 | 493 |894471 |1783.0 | 2139M | 14 | 10k| 224k| 223k| 11k| 1 |2378 | 19 | 0.000000e+00 | -- | Inf | 10.55%
1546.14/1552.60 c 1553s| 600 | 592 | 1088k|1810.0 | 2260M | 16 | 10k| 225k| 223k| 14k| 1 |3026 | 19 | 0.000000e+00 | -- | Inf | 10.60%
1852.53/1860.21 c 1860s| 700 | 691 | 1323k|1886.5 | 2288M | 20 | 10k| 225k| 223k| 16k| 1 |3748 | 19 | 0.000000e+00 | -- | Inf | 10.64%
2087.18/2095.84 c 2096s| 800 | 791 | 1522k|1900.0 | 2321M | 20 | 10k| 225k| 223k| 19k| 1 |4255 | 19 | 0.000000e+00 | -- | Inf | 10.64%
2303.65/2313.16 c 2313s| 900 | 891 | 1697k|1882.4 | 2373M | 20 | 10k| 225k| 223k| 21k| 1 |4675 | 19 | 0.000000e+00 | -- | Inf | 10.64%
2615.98/2626.59 c 2627s| 1000 | 991 | 1937k|1934.9 | 2426M | 21 | 10k| 225k| 223k| 24k| 1 |5292 | 19 | 0.000000e+00 | -- | Inf | 10.64%
2864.81/2876.14 c 2876s| 1100 | 1089 | 2140k|1943.6 | 2459M | 21 | 10k| 225k| 223k| 26k| 1 |5847 | 19 | 0.000000e+00 | -- | Inf | 10.89%
3115.41/3127.56 c 3128s| 1200 | 1189 | 2343k|1950.9 | 2492M | 21 | 10k| 225k| 223k| 27k| 1 |6206 | 19 | 0.000000e+00 | -- | Inf | 10.89%
3281.19/3293.81 c 3294s| 1300 | 1289 | 2508k|1927.3 | 2506M | 21 | 10k| 225k| 223k| 28k| 1 |6842 | 19 | 0.000000e+00 | -- | Inf | 10.89%
3555.75/3569.21 c 3569s| 1400 | 1387 | 2725k|1944.8 | 2516M | 21 | 10k| 225k| 223k| 29k| 2 |7501 | 19 | 0.000000e+00 | -- | Inf | 10.89%
3583.47/3597.01 c
3583.47/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3583.47/3597.01 c Solving Time (sec) : 3597.00
3583.47/3597.01 c Solving Nodes : 1404
3583.47/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3583.47/3597.01 c Dual Bound : +0.00000000000000e+00
3583.47/3597.01 c Gap : infinite
3583.47/3597.01 s UNKNOWN
3583.47/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3583.47/3597.01 c Total Time : 3597.00
3583.47/3597.01 c solving : 3597.00
3583.47/3597.01 c presolving : 6.79 (included in solving)
3583.47/3597.01 c reading : 0.88 (included in solving)
3583.47/3597.01 c copying : 1.22 (4 #copies) (minimal 0.29, maximal 0.32, average 0.30)
3583.47/3597.01 c Original Problem :
3583.47/3597.01 c Problem name : HOME/instance-4446315-1721332013.opb
3583.47/3597.01 c Variables : 10086 (10086 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.47/3597.01 c Constraints : 226240 initial, 226240 maximal
3583.47/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.47/3597.01 c Presolved Problem :
3583.47/3597.01 c Problem name : t_HOME/instance-4446315-1721332013.opb
3583.47/3597.01 c Variables : 10085 (10085 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.47/3597.01 c Constraints : 223414 initial, 225694 maximal
3583.47/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.47/3597.01 c Nonzeros : 852105 constraint, 100132 clique table
3583.47/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.47/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c domcol : 0.12 0.00 1 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c dualsparsify : 1.49 0.00 1 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c gateextraction : 0.26 0.00 2 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c milp : 1.15 0.00 1 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c sparsify : 0.24 0.00 1 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c probing : 1.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c symmetry : 0.49 0.00 1 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c knapsack : 0.07 0.00 6 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c setppc : 0.10 0.00 6 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c linear : 0.79 0.10 6 0 1 0 0 0 10 0 9 0
3583.47/3597.01 c logicor : 0.76 0.12 6 0 0 0 0 0 2816 0 0 4324
3583.47/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c components : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c root node : - - - 0 - - 0 - - - - -
3583.47/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.47/3597.01 c benderslp : 0 0 0 0 1400 0 0 22 0 0 0 0 0 0 0
3583.47/3597.01 c integral : 0 0 0 0 1400 0 0 22 0 0 0 0 0 0 2800
3583.47/3597.01 c knapsack : 22570+ 22571 11 109963 0 0 0 18 1700 132 77 52 9 0 0
3583.47/3597.01 c setppc : 48174+ 48275 11 109831 0 0 0 3 30904 917 206864 0 0 0 0
3583.47/3597.01 c linear : 2+ 6 11 108819 0 0 0 3 3 10 0 0 0 0 0
3583.47/3597.01 c logicor : 152668+ 154842 11 68773 0 0 0 0 8342 450 1894 20 3 0 0
3583.47/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.47/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c integral : 14.90 0.00 0.00 0.00 14.90 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c knapsack : 1.21 0.00 0.19 1.00 0.00 0.00 0.00 0.01 0.00 0.00
3583.47/3597.01 c setppc : 2.50 0.00 0.04 2.43 0.00 0.00 0.00 0.00 0.01 0.01
3583.47/3597.01 c linear : 0.11 0.10 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c logicor : 4.06 0.12 0.25 3.67 0.00 0.00 0.00 0.00 0.01 0.01
3583.47/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.47/3597.01 c dualfix : 1 0 0 0
3583.47/3597.01 c genvbounds : 0 0 0 0
3583.47/3597.01 c nlobbt : 0 0 0 0
3583.47/3597.01 c obbt : 0 0 0 0
3583.47/3597.01 c probing : 0 0 0 0
3583.47/3597.01 c pseudoobj : 0 0 0 0
3583.47/3597.01 c redcost : 0 0 0 0
3583.47/3597.01 c rootredcost : 0 0 0 0
3583.47/3597.01 c symmetry : 0 0 0 0
3583.47/3597.01 c vbounds : 31377 0 0 0
3583.47/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.47/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3583.47/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c probing : 1.00 0.00 1.00 0.00 0.00 0.00
3583.47/3597.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3583.47/3597.01 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3583.47/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3583.47/3597.01 c symmetry : 0.50 0.00 0.49 0.01 0.00 0.00
3583.47/3597.01 c vbounds : 0.05 0.00 0.00 0.04 0.00 0.00
3583.47/3597.01 c Symmetry :
3583.47/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.47/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3583.47/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3583.47/3597.01 c shadow tree time : 0.00 s
3583.47/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.47/3597.01 c propagation : 0.05 1504 1501 - 8144 20.1 286 9.2 - - -
3583.47/3597.01 c infeasible LP : 0.03 16 16 - 127 26.8 3 7.3 16 24.1 0
3583.47/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.47/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.47/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.47/3597.01 c applied globally : 0.09 - - 0 7485 16.8 - - 16 - -
3583.47/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3583.47/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.47/3597.01 c cut pool : 0.53 - 612 21 - - 7535 165604 - - - - - (maximal pool size: 3578)
3583.47/3597.01 c aggregation : 1.60 0.00 107 11 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3583.47/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3583.47/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3583.47/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c clique : 0.16 0.00 11 11 0 0 54 3277 0 682 682 0 0
3583.47/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c gomory : 295.16 0.00 106 10 0 0 6208 87484 8 6855 6855 0 0
3583.47/3597.01 c > gomorymi : - - - - - - - 20350 4 265 265 0 -
3583.47/3597.01 c > strongcg : - - - - - - - 67134 4 6590 6590 0 -
3583.47/3597.01 c impliedbounds : 0.14 0.00 107 11 0 0 37 1932 0 1417 1417 0 0
3583.47/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c mcf : 0.12 0.00 1 1 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c multilinear : 0.00 0.00 71 11 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c rlt : 0.00 0.00 92 10 0 0 0 0 0 0 0 0 0
3583.47/3597.01 c zerohalf : 2.86 0.00 107 11 0 0 1402 72911 158 21102 21004 98 0
3583.47/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.47/3597.01 c hybrid : 0.23 0.00 510 11 30068 0 135774 108 0 2384
3583.47/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3583.47/3597.01 c problem variables: 0.00 - 0 0
3583.47/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.47/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c relpscost : 14.89 0.00 1400 0 0 0 0 0 0 2800
3583.47/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.47/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.47/3597.01 c LP solutions : 0.00 - - 0 0
3583.47/3597.01 c relax solutions : 0.00 - - 0 0
3583.47/3597.01 c pseudo solutions : 0.00 - - 0 0
3583.47/3597.01 c strong branching : 0.00 - - 0 0
3583.47/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3583.47/3597.01 c adaptivediving : 38.28 0.00 12 0 0
3583.47/3597.01 c alns : 2.96 0.00 3 0 0
3583.47/3597.01 c bound : 0.00 0.00 0 0 0
3583.47/3597.01 c clique : 0.42 0.00 1 0 0
3583.47/3597.01 c coefdiving : 0.00 0.00 0 0 0
3583.47/3597.01 c completesol : 0.00 0.00 0 0 0
3583.47/3597.01 c conflictdiving : 626.71 0.00 94 0 0
3583.47/3597.01 c crossover : 0.00 0.00 0 0 0
3583.47/3597.01 c dins : 0.00 0.00 0 0 0
3583.47/3597.01 c distributiondivin: 225.83 0.00 26 0 0
3583.47/3597.01 c dps : 0.00 0.00 0 0 0
3583.47/3597.01 c dualval : 0.00 0.00 0 0 0
3583.47/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3583.47/3597.01 c feasjump : 0.24 0.00 1 0 0
3583.47/3597.01 c feaspump : 101.05 0.00 5 0 0
3583.47/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3583.47/3597.01 c fracdiving : 274.32 0.00 91 0 0
3583.47/3597.01 c gins : 0.00 0.00 0 0 0
3583.47/3597.01 c guideddiving : 0.00 0.00 0 0 0
3583.47/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3583.47/3597.01 c indicator : 0.00 0.00 0 0 0
3583.47/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3583.47/3597.01 c indoneopt : 0.00 0.00 0 0 0
3583.47/3597.01 c indrounding : 0.00 0.00 0 0 0
3583.47/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3583.47/3597.01 c intdiving : 0.00 0.00 0 0 0
3583.47/3597.01 c intshifting : 0.00 0.00 0 0 0
3583.47/3597.01 c linesearchdiving : 230.57 0.00 44 0 0
3583.47/3597.01 c localbranching : 0.00 0.00 0 0 0
3583.47/3597.01 c locks : 0.13 0.00 1 0 0
3583.47/3597.01 c lpface : 0.03 0.00 0 0 0
3583.47/3597.01 c mpec : 0.00 0.00 0 0 0
3583.47/3597.01 c multistart : 0.00 0.00 0 0 0
3583.47/3597.01 c mutation : 0.00 0.00 0 0 0
3583.47/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3583.47/3597.01 c objpscostdiving : 29.71 0.00 2 0 0
3583.47/3597.01 c octane : 0.00 0.00 0 0 0
3583.47/3597.01 c ofins : 0.00 0.00 0 0 0
3583.47/3597.01 c oneopt : 0.00 0.00 0 0 0
3583.47/3597.01 c padm : 0.00 0.00 0 0 0
3583.47/3597.01 c proximity : 0.00 0.00 0 0 0
3583.47/3597.01 c pscostdiving : 486.62 0.00 40 0 0
3583.47/3597.01 c randrounding : 0.29 0.00 25 0 0
3583.47/3597.01 c rens : 0.77 0.00 1 0 0
3583.47/3597.01 c reoptsols : 0.00 0.00 0 0 0
3583.47/3597.01 c repair : 0.00 0.00 0 0 0
3583.47/3597.01 c rins : 0.00 0.00 0 0 0
3583.47/3597.01 c rootsoldiving : 27.38 0.00 2 0 0
3583.47/3597.01 c rounding : 4.52 0.00 583 0 0
3583.47/3597.01 c scheduler : 0.00 0.00 0 0 0
3583.47/3597.01 c shiftandpropagate: 0.11 0.00 1 0 0
3583.47/3597.01 c shifting : 26.90 0.00 374 0 0
3583.47/3597.01 c simplerounding : 0.00 0.00 0 0 0
3583.47/3597.01 c smallcard : 0.00 0.00 0 0 0
3583.47/3597.01 c subnlp : 0.00 0.00 0 0 0
3583.47/3597.01 c trivial : 0.01 0.00 2 0 0
3583.47/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3583.47/3597.01 c trustregion : 0.00 0.00 0 0 0
3583.47/3597.01 c trysol : 0.00 0.00 0 0 0
3583.47/3597.01 c twoopt : 0.00 0.00 0 0 0
3583.47/3597.01 c undercover : 0.00 0.00 0 0 0
3583.47/3597.01 c vbounds : 0.39 0.00 1 0 0
3583.47/3597.01 c veclendiving : 139.34 0.00 46 0 0
3583.47/3597.01 c zeroobj : 0.00 0.00 0 0 0
3583.47/3597.01 c zirounding : 4.40 0.00 1000 0 0
3583.47/3597.01 c other solutions : - - - 0 -
3583.47/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3583.47/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.47/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.47/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.47/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.47/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.47/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.47/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.47/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3583.47/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3583.47/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.47/3597.01 c primal LP : 5.69 249 0 0.00 0.00 5.69 249
3583.47/3597.01 c dual LP : 1000.63 1911 1694243 886.57 1693.18 0.00 0
3583.47/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3583.47/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.47/3597.01 c resolve instable : 0.00 0 0 0.00 -
3583.47/3597.01 c diving/probing LP: 2145.61 858 1055315 1229.97 491.85
3583.47/3597.01 c strong branching : 6.32 19 8245 433.95 1303.82 - - 6
3583.47/3597.01 c (at root node) : - 19 8245 433.95 -
3583.47/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3583.47/3597.01 c B&B Tree :
3583.47/3597.01 c number of runs : 1
3583.47/3597.01 c nodes : 1404 (1400 internal, 4 leaves)
3583.47/3597.01 c feasible leaves : 0
3583.47/3597.01 c infeas. leaves : 3
3583.47/3597.01 c objective leaves : 0
3583.47/3597.01 c nodes (total) : 1404 (1400 internal, 4 leaves)
3583.47/3597.01 c nodes left : 1390
3583.47/3597.01 c max depth : 21
3583.47/3597.01 c max depth (total): 21
3583.47/3597.01 c backtracks : 501 (35.7%)
3583.47/3597.01 c early backtracks : 0 (0.0%)
3583.47/3597.01 c nodes exc. ref. : 0 (0.0%)
3583.47/3597.01 c delayed cutoffs : 8
3583.47/3597.01 c repropagations : 77 (547 domain reductions, 2 cutoffs)
3583.47/3597.01 c avg switch length: 5.42
3583.47/3597.01 c switching time : 10.38
3583.47/3597.01 c Root Node :
3583.47/3597.01 c First LP value : +0.00000000000000e+00
3583.47/3597.01 c First LP Iters : 587 (4305.44 Iter/sec)
3583.47/3597.01 c First LP Time : 0.14
3583.47/3597.01 c Final Dual Bound : +0.00000000000000e+00
3583.47/3597.01 c Final Root Iters : 4763
3583.47/3597.01 c Root LP Estimate : +2.26158575472131e-02
3583.47/3597.01 c Solution :
3583.47/3597.01 c Solutions found : 0 (0 improvements)
3583.47/3597.01 c Primal Bound : -
3583.47/3597.01 c Dual Bound : +0.00000000000000e+00
3583.47/3597.01 c Gap : infinite
3583.47/3597.01 c Integrals : Total Avg%
3583.47/3597.01 c primal-dual : 359699.70 100.00
3583.47/3597.01 c primal-ref : - - (not evaluated)
3583.47/3597.01 c dual-ref : - - (not evaluated)
3583.86/3597.45 c Time complete: 3583.92.
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: 64059 MiB (57651 MiB free)
memory of node 1: 64510 MiB (54049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446315-1721332013/watcher-4446315-1721332013 -o /tmp/evaluation-result-4446315-1721332013/solver-4446315-1721332013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721327100-963756 --watchdog 3760 pbscip -f HOME/instance-4446315-1721332013.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=967436, runsolver pid=967433
[startup+0.100747 s]*
/proc/loadavg: 4.29 4.41 4.29 5/242 967437
/proc/meminfo: memFree=114368596/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=67744 memory=27216 CPUtime=0.09 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 3876 0 0 0 9 0 0 0 20 0 1 0 185357988 69369856 6804 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 16936 6804 3217 3540 0 5193 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67744 KiB
Current children cumulated memory: 27216 KiB
[startup+0.213015 s]*
/proc/loadavg: 4.29 4.41 4.29 5/242 967437
/proc/meminfo: memFree=114354456/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=83464 memory=42304 CPUtime=0.2 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 7653 0 0 0 19 1 0 0 20 0 1 0 185357988 85467136 10510 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 20866 10510 3217 3540 0 9123 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83464 KiB
Current children cumulated memory: 42304 KiB
[startup+0.312824 s]*
/proc/loadavg: 4.29 4.41 4.29 5/242 967437
/proc/meminfo: memFree=114340232/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=95416 memory=53944 CPUtime=0.31 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 10635 0 0 0 29 2 0 0 20 0 1 0 185357988 97705984 13486 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 23854 13486 3217 3540 0 12111 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 95416 KiB
Current children cumulated memory: 53944 KiB
[startup+0.700347 s]
/proc/loadavg: 4.29 4.41 4.29 5/242 967437
/proc/meminfo: memFree=114315228/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=151240 memory=109612 CPUtime=0.68 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 24546 0 0 0 63 5 0 0 20 0 1 0 185357988 154869760 27403 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 37810 27403 3217 3540 0 26067 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 151240 KiB
Current children cumulated memory: 109612 KiB
[startup+1.50033 s]
/proc/loadavg: 4.27 4.40 4.29 5/242 967437
/proc/meminfo: memFree=114207880/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=383808 memory=339348 CPUtime=1.48 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 82342 0 0 0 133 15 0 0 20 0 1 0 185357988 393019392 84837 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 95952 84837 3569 3540 0 84209 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 383808 KiB
Current children cumulated memory: 339348 KiB
[startup+3.11279 s]
/proc/loadavg: 4.27 4.40 4.29 5/242 967437
/proc/meminfo: memFree=113975636/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=504200 memory=456516 CPUtime=3.08 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 121408 0 0 0 283 25 0 0 20 0 1 0 185357988 516300800 114129 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 126050 114129 3712 3540 0 114307 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 504200 KiB
Current children cumulated memory: 456516 KiB
[startup+6.30032 s]
/proc/loadavg: 4.25 4.39 4.28 5/242 967437
/proc/meminfo: memFree=113893536/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=768496 memory=668824 CPUtime=6.26 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 135182 0 0 0 595 31 0 0 20 0 1 0 185357988 786939904 167206 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 192124 167206 3760 3540 0 180381 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 768496 KiB
Current children cumulated memory: 668824 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.39 4.28 5/242 967439
/proc/meminfo: memFree=113208416/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1282728 memory=1185052 CPUtime=12.63 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 195914 0 0 0 1217 46 0 0 20 0 1 0 185357988 1313513472 296263 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 320682 296263 3952 3540 0 308939 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1282728 KiB
Current children cumulated memory: 1185052 KiB
[startup+25.5004 s]
/proc/loadavg: 4.19 4.37 4.28 5/242 967440
/proc/meminfo: memFree=113208296/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1282728 memory=1185256 CPUtime=25.38 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 195962 0 0 0 2491 47 0 0 20 0 1 0 185357988 1313513472 296314 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 320682 296314 3952 3540 0 308939 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1282728 KiB
Current children cumulated memory: 1185256 KiB
[startup+51.1128 s]
/proc/loadavg: 4.11 4.34 4.27 5/242 967445
/proc/meminfo: memFree=113159008/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1380056 memory=1234072 CPUtime=50.88 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 200603 0 0 0 5039 49 0 0 20 0 1 0 185357988 1413177344 308518 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 345014 308518 3952 3540 0 333271 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1380056 KiB
Current children cumulated memory: 1234072 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.31 4.26 5/242 967453
/proc/meminfo: memFree=113140164/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1419268 memory=1252532 CPUtime=101.85 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 201688 0 0 0 10135 50 0 0 20 0 1 0 185357988 1453330432 313133 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 354817 313133 3952 3540 0 343074 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 1419268 KiB
Current children cumulated memory: 1252532 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.27 4.25 5/242 967464
/proc/meminfo: memFree=113139708/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1461168 memory=1252620 CPUtime=161.59 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 201794 0 0 0 16109 50 0 0 20 0 1 0 185357988 1496236032 313155 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 365292 313155 3952 3540 0 353549 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 1461168 KiB
Current children cumulated memory: 1252620 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.23 4.24 5/243 967477
/proc/meminfo: memFree=113139080/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1503068 memory=1252860 CPUtime=221.33 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 201936 0 0 0 22082 51 0 0 20 0 1 0 185357988 1539141632 313215 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 375767 313215 3952 3540 0 364024 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 1503068 KiB
Current children cumulated memory: 1252860 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.20 4.23 5/243 967487
/proc/meminfo: memFree=112905536/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1823516 memory=1485728 CPUtime=281.08 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 278876 0 0 0 28045 63 0 0 20 0 1 0 185357988 1867280384 371432 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 455879 371432 3999 3540 0 444136 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 1823516 KiB
Current children cumulated memory: 1485728 KiB
[startup+342.3 s]
/proc/loadavg: 4.83 4.37 4.28 5/243 967498
/proc/meminfo: memFree=112901136/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1823516 memory=1485896 CPUtime=340.83 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 278958 0 0 0 34019 64 0 0 20 0 1 0 185357988 1867280384 371474 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 455879 371474 3999 3540 0 444136 0
Current children cumulated CPU time: 340.83 s
Current children cumulated vsize: 1823516 KiB
Current children cumulated memory: 1485896 KiB
[startup+402.3 s]
/proc/loadavg: 4.71 4.45 4.32 5/243 967508
/proc/meminfo: memFree=112889048/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1860032 memory=1485928 CPUtime=400.58 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 279076 0 0 0 39994 64 0 0 20 0 1 0 185357988 1904672768 371482 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 465008 371482 3999 3540 0 453265 0
Current children cumulated CPU time: 400.58 s
Current children cumulated vsize: 1860032 KiB
Current children cumulated memory: 1485928 KiB
[startup+462.3 s]
/proc/loadavg: 4.29 4.38 4.30 5/243 967518
/proc/meminfo: memFree=112861904/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1985764 memory=1487992 CPUtime=460.32 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 279146 0 0 0 45967 65 0 0 20 0 1 0 185357988 2033422336 371998 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 496441 371998 3999 3540 0 484698 0
################
# More data... #
################
/proc/loadavg: 4.23 4.15 4.14 5/242 969311
/proc/meminfo: memFree=124241348/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1778748 CPUtime=3150.1 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 361677 0 0 0 314918 92 0 0 20 0 1 0 185357988 2948063232 444687 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444687 4015 3540 0 707999 0
Current children cumulated CPU time: 3150.1 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1778748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.86 4.34 4.21 5/245 969326
/proc/meminfo: memFree=124235432/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779012 CPUtime=3209.91 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 362092 0 0 0 320899 92 0 0 20 0 1 0 185357988 2948063232 444753 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444753 4015 3540 0 707999 0
Current children cumulated CPU time: 3209.91 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.36 4.29 4.20 5/245 969336
/proc/meminfo: memFree=124230396/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779012 CPUtime=3269.72 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 362438 0 0 0 326880 92 0 0 20 0 1 0 185357988 2948063232 444753 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444753 4015 3540 0 707999 0
Current children cumulated CPU time: 3269.72 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.25 4.19 5/245 969348
/proc/meminfo: memFree=124226376/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779012 CPUtime=3329.53 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 362767 0 0 0 332861 92 0 0 20 0 1 0 185357988 2948063232 444753 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444753 4015 3540 0 707999 0
Current children cumulated CPU time: 3329.53 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779012 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.22 4.18 5/245 969358
/proc/meminfo: memFree=124221048/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779012 CPUtime=3389.35 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 363125 0 0 0 338843 92 0 0 20 0 1 0 185357988 2948063232 444753 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444753 4015 3540 0 707999 0
Current children cumulated CPU time: 3389.35 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779012 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/246 969371
/proc/meminfo: memFree=124206020/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779016 CPUtime=3449.17 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 363482 0 0 0 344824 93 0 0 20 0 1 0 185357988 2948063232 444754 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444754 4015 3540 0 707999 0
Current children cumulated CPU time: 3449.17 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.17 4.17 5/245 969383
/proc/meminfo: memFree=124201268/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779016 CPUtime=3508.99 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 363825 0 0 0 350806 93 0 0 20 0 1 0 185357988 2948063232 444754 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444754 4015 3540 0 707999 0
Current children cumulated CPU time: 3508.99 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779016 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.15 4.16 5/245 969394
/proc/meminfo: memFree=124071264/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903528 CPUtime=3568.81 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394829 0 0 0 356783 98 0 0 20 0 1 0 185357988 3081207808 475882 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475882 4015 3540 0 740505 0
Current children cumulated CPU time: 3568.81 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903528 KiB
[startup+3597.48 s]
# the end of solver process 967436 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.94 s, system=1.0122 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.15 4.16 5/245 969394
/proc/meminfo: memFree=124071272/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3570.51 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394830 0 0 0 356953 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3570.51 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004400/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3576.88 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394866 0 0 0 357590 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3576.88 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004392/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3580.07 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394870 0 0 0 357909 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3580.07 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004392/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3581.67 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394873 0 0 0 358069 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3581.67 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004400/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3583.26 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394874 0 0 0 358228 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3583.26 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB
[startup+3597.2 s]
/proc/loadavg: 4.11 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004400/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3583.66 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394888 0 0 0 358268 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3583.66 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB
[startup+3597.4 s]
/proc/loadavg: 4.11 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004400/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2982500 memory=1877280 CPUtime=3583.86 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394892 0 0 0 358288 98 0 0 20 0 1 0 185357988 3054080000 469320 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 745625 469320 4015 3540 0 733882 0
Current children cumulated CPU time: 3583.86 s
Current children cumulated vsize: 2982500 KiB
Current children cumulated memory: 1877280 KiB
Child status: 0
Real time (s): 3597.48
CPU time (s): 3583.95
CPU user time (s): 3582.94
CPU system time (s): 1.0122
CPU usage (%): 99.6239
Max. virtual memory (cumulated for all children) (KiB): 3008992
Max. memory (cumulated for all children) (KiB): 1903712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.94
system time used= 1.0122
maximum resident set size= 1903712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395438
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= 34
involuntary context switches= 25091
# summary of solver processes directly reported to runsolver:
# pid: 967436
# total CPU time (s): 3583.95
# total CPU user time (s): 3582.94
# total CPU system time (s): 1.0122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0774 second user time and 35.3284 second system time
The end