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-4446405-1721332398.opb>
0.29/0.35 c original problem has 7351 variables (7351 bin, 0 int, 0 impl, 0 cont) and 155824 constraints
0.29/0.35 c problem read in 0.35
0.29/0.35 c No objective function, only one solution is needed.
0.50/0.58 c presolving:
0.88/0.98 c (1.0s) running MILP presolver
1.38/1.47 c (1.5s) MILP presolver found nothing
1.78/1.84 c (round 1, exhaustive) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 155815 upgd conss, 0 impls, 31648 clqs
2.18/2.24 c (round 2, exhaustive) 1 del vars, 2206 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 3306 chg coeffs, 155815 upgd conss, 0 impls, 31648 clqs
9.44/9.54 c (9.5s) probing: 666/7350 (9.1%) - 0 fixings, 0 aggregations, 20016 implications, 0 bound changes
9.44/9.54 c (9.5s) probing aborted: 50/50 successive totally useless probings
10.54/10.66 c (10.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
10.84/11.00 c (11.0s) no symmetry present (symcode time: 0.05)
11.04/11.13 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
11.04/11.13 c 1 deleted vars, 2206 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 3347 changed coefficients
11.04/11.13 c 0 implications, 51664 cliques
11.04/11.13 c presolved problem has 7350 variables (7350 bin, 0 int, 0 impl, 0 cont) and 153618 constraints
11.04/11.13 c 15969 constraints of type <knapsack>
11.04/11.13 c 31648 constraints of type <setppc>
11.04/11.13 c 1 constraints of type <linear>
11.04/11.13 c 106000 constraints of type <logicor>
11.04/11.13 c transformed objective value is always integral (scale: 1)
11.04/11.13 c Presolving Time: 10.55
11.04/11.13 c - non default parameters ----------------------------------------------------------------------
11.04/11.13 c # SCIP version 10.0.0
11.04/11.13 c
11.04/11.13 c # maximal time in seconds to run
11.04/11.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
11.04/11.13 c limits/time = 3596.997065
11.04/11.13 c
11.04/11.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.04/11.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
11.04/11.13 c limits/memory = 27900
11.04/11.13 c
11.04/11.13 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
11.04/11.13 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
11.04/11.13 c limits/solutions = 1
11.04/11.13 c
11.04/11.13 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.
11.04/11.13 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
11.04/11.13 c misc/usesymmetry = 3
11.04/11.13 c
11.04/11.13 c # belongs reading time to solving time?
11.04/11.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
11.04/11.13 c timing/reading = TRUE
11.04/11.13 c
11.04/11.13 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
11.04/11.13 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
11.04/11.13 c propagating/symmetry/detectdoublelex = FALSE
11.04/11.13 c
11.04/11.13 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
11.04/11.13 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
11.04/11.13 c propagating/symmetry/detectsubgroups = FALSE
11.04/11.13 c
11.04/11.13 c # Type of symmetries that shall be computed?
11.04/11.13 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
11.04/11.13 c propagating/symmetry/symtype = 1
11.04/11.13 c
11.04/11.13 c # Should components consisting of a single full reflection be handled?
11.04/11.13 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
11.04/11.13 c propagating/symmetry/usesimplesgncomp = FALSE
11.04/11.13 c
11.04/11.13 c -----------------------------------------------------------------------------------------------
11.04/11.13 c start solving
11.04/11.14 c
12.13/12.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.13/12.28 c 12.3s| 1 | 0 | 496 | - | 755M | 0 |7350 | 153k| 153k| 0 | 0 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
22.80/22.94 c 22.9s| 1 | 0 | 2101 | - | 776M | 0 |7350 | 153k| 153k| 7 | 1 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown
32.37/32.56 c 32.6s| 1 | 0 | 2225 | - | 792M | 0 |7350 | 153k| 153k| 13 | 2 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
48.81/49.05 c 49.0s| 1 | 0 | 2332 | - | 809M | 0 |7350 | 153k| 153k| 20 | 3 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
63.76/64.05 c 64.0s| 1 | 0 | 2474 | - | 825M | 0 |7350 | 153k| 153k| 34 | 4 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
85.38/85.70 c 85.7s| 1 | 0 | 2691 | - | 841M | 0 |7350 | 153k| 153k| 47 | 5 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
103.21/103.65 c 104s| 1 | 0 | 2884 | - | 858M | 0 |7350 | 153k| 153k| 58 | 6 | 174 | 0 | 0.000000e+00 | -- | Inf | unknown
117.77/118.23 c 118s| 1 | 0 | 3096 | - | 877M | 0 |7350 | 153k| 153k| 74 | 7 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
125.45/125.99 c 126s| 1 | 0 | 4635 | - | 892M | 0 |7350 | 153k| 153k| 90 | 8 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
130.83/131.32 c 131s| 1 | 0 | 5824 | - | 907M | 0 |7350 | 153k| 153k| 111 | 9 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
133.02/133.53 c 134s| 1 | 0 | 9296 | - | 921M | 0 |7350 | 153k| 153k| 134 | 10 | 189 | 0 | 0.000000e+00 | -- | Inf | unknown
134.62/135.18 c 135s| 1 | 0 | 12027 | - | 936M | 0 |7350 | 153k| 153k| 168 | 11 | 191 | 0 | 0.000000e+00 | -- | Inf | unknown
164.81/165.42 c 165s| 1 | 0 | 20322 | - | 947M | 0 |7350 | 153k| 153k| 168 | 11 | 220 | 11 | 0.000000e+00 | -- | Inf | unknown
167.50/168.17 c 168s| 1 | 0 | 23282 | - | 961M | 0 |7350 | 153k| 153k| 204 | 12 | 230 | 11 | 0.000000e+00 | -- | Inf | unknown
170.08/170.73 c 171s| 1 | 0 | 26096 | - | 961M | 0 |7350 | 153k| 153k| 212 | 13 | 238 | 11 | 0.000000e+00 | -- | Inf | unknown
195.47/196.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
195.47/196.27 c 196s| 1 | 2 | 26570 | - | 962M | 0 |7350 | 153k| 153k| 212 | 13 | 248 | 30 | 0.000000e+00 | -- | Inf | unknown
195.47/196.27 c (run 1, node 1) restarting after 210 global fixings of integer variables
195.47/196.27 c
195.47/196.28 c (restart) converted 176 cuts from the global cut pool into linear constraints
195.47/196.28 c
195.67/196.44 c presolving:
195.67/196.48 c (round 1, fast) 210 del vars, 4613 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 45834 clqs
195.77/196.57 c (round 2, medium) 214 del vars, 6304 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 324 chg coeffs, 0 upgd conss, 0 impls, 44721 clqs
195.97/196.76 c (round 3, exhaustive) 214 del vars, 6309 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 337 chg coeffs, 161 upgd conss, 0 impls, 44721 clqs
196.07/196.85 c (round 4, medium) 214 del vars, 6323 del conss, 43 add conss, 0 chg bounds, 278 chg sides, 753 chg coeffs, 161 upgd conss, 0 impls, 44751 clqs
196.67/197.41 c presolving (5 rounds: 5 fast, 4 medium, 2 exhaustive):
196.67/197.41 c 214 deleted vars, 6352 deleted constraints, 48 added constraints, 0 tightened bounds, 0 added holes, 279 changed sides, 1339 changed coefficients
196.67/197.41 c 0 implications, 44752 cliques
196.67/197.41 c presolved problem has 7136 variables (7136 bin, 0 int, 0 impl, 0 cont) and 147685 constraints
196.67/197.41 c 16013 constraints of type <knapsack>
196.67/197.41 c 26713 constraints of type <setppc>
196.67/197.41 c 4 constraints of type <and>
196.67/197.41 c 1 constraints of type <linear>
196.67/197.41 c 104954 constraints of type <logicor>
196.67/197.41 c transformed objective value is always integral (scale: 1)
196.67/197.41 c Presolving Time: 11.56
196.67/197.41 c
198.27/199.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
198.27/199.05 c 199s| 1 | 0 | 30815 | - | 965M | 0 |7136 | 147k| 147k| 0 | 0 | 261 | 30 | 0.000000e+00 | -- | Inf | unknown
212.64/213.45 c 213s| 1 | 0 | 33642 | - | 994M | 0 |7136 | 147k| 147k| 28 | 1 | 271 | 30 | 0.000000e+00 | -- | Inf | unknown
225.21/226.00 c 226s| 1 | 0 | 35111 | - | 1015M | 0 |7136 | 147k| 147k| 57 | 2 | 272 | 30 | 0.000000e+00 | -- | Inf | unknown
238.48/239.38 c 239s| 1 | 0 | 38165 | - | 1033M | 0 |7136 | 147k| 147k| 85 | 3 | 274 | 30 | 0.000000e+00 | -- | Inf | unknown
258.23/259.14 c 259s| 1 | 0 | 40160 | - | 1049M | 0 |7136 | 147k| 147k| 110 | 4 | 277 | 30 | 0.000000e+00 | -- | Inf | unknown
272.49/273.47 c 273s| 1 | 0 | 43499 | - | 1067M | 0 |7136 | 147k| 147k| 139 | 5 | 285 | 30 | 0.000000e+00 | -- | Inf | unknown
287.65/288.64 c 289s| 1 | 0 | 46204 | - | 1087M | 0 |7136 | 147k| 147k| 162 | 6 | 287 | 30 | 0.000000e+00 | -- | Inf | unknown
303.51/304.55 c 305s| 1 | 0 | 49458 | - | 1106M | 0 |7136 | 147k| 147k| 193 | 7 | 297 | 30 | 0.000000e+00 | -- | Inf | unknown
319.77/320.81 c 321s| 1 | 0 | 51786 | - | 1126M | 0 |7136 | 147k| 147k| 234 | 8 | 300 | 30 | 0.000000e+00 | -- | Inf | unknown
335.32/336.48 c 336s| 1 | 0 | 54360 | - | 1142M | 0 |7136 | 147k| 147k| 271 | 9 | 302 | 30 | 0.000000e+00 | -- | Inf | unknown
350.48/351.65 c 352s| 1 | 0 | 56379 | - | 1162M | 0 |7136 | 147k| 147k| 303 | 10 | 310 | 30 | 0.000000e+00 | -- | Inf | unknown
354.06/355.22 c 355s| 1 | 0 | 58988 | - | 1176M | 0 |7136 | 147k| 147k| 331 | 11 | 320 | 30 | 0.000000e+00 | -- | Inf | unknown
413.02/414.44 c 414s| 1 | 0 | 65909 | - | 1176M | 0 |7136 | 147k| 147k| 331 | 11 | 341 | 50 | 0.000000e+00 | -- | Inf | unknown
416.51/417.98 c 418s| 1 | 0 | 68372 | - | 1190M | 0 |7136 | 147k| 147k| 367 | 12 | 344 | 50 | 0.000000e+00 | -- | Inf | unknown
417.71/419.17 c 419s| 1 | 0 | 69004 | - | 1190M | 0 |7136 | 147k| 147k| 370 | 13 | 352 | 50 | 0.000000e+00 | -- | Inf | unknown
446.41/447.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
446.41/447.95 c 448s| 1 | 2 | 69481 | - | 1190M | 0 |7136 | 147k| 147k| 370 | 13 | 355 | 69 | 0.000000e+00 | -- | Inf | unknown
1482.87/1487.83 c 1488s| 100 | 94 |433514 |3802.0 | 1316M | 28 |7136 | 148k| 147k| 990 | 1 |1400 | 69 | 0.000000e+00 | -- | Inf | 50.01%
2117.60/2124.71 c 2125s| 200 | 128 |718820 |3327.5 | 1474M | 32 |7136 | 148k| 147k|2774 | 1 |2004 | 69 | 0.000000e+00 | -- | Inf | 50.11%
2747.31/2756.76 c 2757s| 300 | 215 | 1037k|3280.9 | 1545M | 32 |7136 | 148k| 147k|5037 | 1 |2821 | 69 | 0.000000e+00 | -- | Inf | 57.17%
3429.58/3441.40 c 3441s| 400 | 307 | 1422k|3422.6 | 1628M | 32 |7136 | 149k| 147k|7618 | 2 |3799 | 69 | 0.000000e+00 | -- | Inf | 57.30%
3584.64/3597.01 c
3584.64/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3584.64/3597.01 c Solving Time (sec) : 3597.00
3584.64/3597.01 c Solving Nodes : 418 (total of 419 nodes in 2 runs)
3584.64/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.64/3597.01 c Dual Bound : +0.00000000000000e+00
3584.64/3597.01 c Gap : infinite
3584.64/3597.01 s UNKNOWN
3584.64/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3584.64/3597.01 c Total Time : 3597.00
3584.64/3597.01 c solving : 3597.00
3584.64/3597.01 c presolving : 11.56 (included in solving)
3584.64/3597.01 c reading : 0.35 (included in solving)
3584.64/3597.01 c copying : 0.80 (4 #copies) (minimal 0.19, maximal 0.23, average 0.20)
3584.64/3597.01 c Original Problem :
3584.64/3597.01 c Problem name : HOME/instance-4446405-1721332398.opb
3584.64/3597.01 c Variables : 7351 (7351 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.64/3597.01 c Constraints : 155824 initial, 155824 maximal
3584.64/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.64/3597.01 c Presolved Problem :
3584.64/3597.01 c Problem name : t_HOME/instance-4446405-1721332398.opb
3584.64/3597.01 c Variables : 7136 (7136 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.64/3597.01 c Constraints : 147685 initial, 149301 maximal
3584.64/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.64/3597.01 c Nonzeros : 585070 constraint, 73838 clique table
3584.64/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.64/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c domcol : 0.08 0.00 2 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c dualsparsify : 1.12 0.00 1 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c gateextraction : 0.36 0.00 4 0 0 0 0 0 12 4 0 0
3584.64/3597.01 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c milp : 0.71 0.00 1 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c sparsify : 0.16 0.00 1 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c trivial : 0.00 0.00 8 210 0 0 0 0 0 0 0 0
3584.64/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c dualfix : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c probing : 6.70 0.00 1 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c symmetry : 0.33 0.00 1 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c knapsack : 0.12 0.01 17 4 0 0 0 0 14 44 274 494
3584.64/3597.01 c setppc : 0.14 0.00 17 0 0 0 0 0 5063 0 0 0
3584.64/3597.01 c and : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c linear : 0.48 0.06 13 0 1 0 0 0 23 0 12 0
3584.64/3597.01 c logicor : 0.96 0.20 16 0 0 0 0 0 3446 0 0 4192
3584.64/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c components : 0.10 0.00 2 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c root node : - - - 591 - - 591 - - - - -
3584.64/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.64/3597.01 c benderslp : 0 0 0 0 402 0 0 26 0 0 0 0 0 0 0
3584.64/3597.01 c integral : 0 0 0 0 402 0 0 26 0 0 0 0 0 10 800
3584.64/3597.01 c knapsack : 16013+ 16026 24 51263 0 0 0 21 1664 78 1218 1275 139 0 0
3584.64/3597.01 c setppc : 26713+ 26730 24 51185 0 0 0 6 16159 440 35303 6 2 0 0
3584.64/3597.01 c and : 4 4 435 41532 0 0 0 0 42 1 16 52 42 0 0
3584.64/3597.01 c linear : 1+ 10 24 45376 0 0 0 3 83 21 13 0 0 0 0
3584.64/3597.01 c logicor : 104954+ 106670 24 33088 0 0 0 0 6393 288 551 38 12 0 0
3584.64/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.64/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c integral : 106.85 0.00 0.00 0.00 106.85 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c knapsack : 1.95 0.01 0.34 1.58 0.00 0.00 0.00 0.01 0.00 0.00
3584.64/3597.01 c setppc : 2.22 0.00 0.05 2.14 0.00 0.00 0.00 0.00 0.00 0.02
3584.64/3597.01 c and : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c linear : 0.06 0.06 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c logicor : 1.98 0.20 0.31 1.44 0.00 0.00 0.00 0.00 0.00 0.03
3584.64/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.64/3597.01 c dualfix : 4 0 0 0
3584.64/3597.01 c genvbounds : 0 0 0 0
3584.64/3597.01 c nlobbt : 0 0 0 0
3584.64/3597.01 c obbt : 0 0 0 0
3584.64/3597.01 c probing : 0 0 0 0
3584.64/3597.01 c pseudoobj : 0 0 0 0
3584.64/3597.01 c redcost : 0 0 0 0
3584.64/3597.01 c rootredcost : 0 0 0 0
3584.64/3597.01 c symmetry : 0 0 0 0
3584.64/3597.01 c vbounds : 19456 0 0 0
3584.64/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.64/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c probing : 6.70 0.00 6.70 0.00 0.00 0.00
3584.64/3597.01 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.64/3597.01 c symmetry : 0.34 0.00 0.33 0.00 0.00 0.00
3584.64/3597.01 c vbounds : 0.04 0.00 0.01 0.03 0.00 0.00
3584.64/3597.01 c Symmetry :
3584.64/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.64/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.64/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.64/3597.01 c shadow tree time : 0.00 s
3584.64/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.64/3597.01 c propagation : 0.03 807 807 - 4592 25.7 141 9.8 - - -
3584.64/3597.01 c infeasible LP : 0.08 50 50 - 331 22.8 14 6.6 50 61.0 0
3584.64/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.64/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.64/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.64/3597.01 c applied globally : 0.12 - - 0 3877 16.6 - - 49 - -
3584.64/3597.01 c applied locally : - - - 0 0 0.0 - - 1 - -
3584.64/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.64/3597.01 c cut pool : 0.29 - 209 48 - - 6116 38755 - - - - - (maximal pool size: 3839)
3584.64/3597.01 c aggregation : 0.85 0.00 60 24 0 0 5 24 0 8 8 0 0
3584.64/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.64/3597.01 c > flowcover : - - - - - - - 24 0 8 8 0 -
3584.64/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.64/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c clique : 0.68 0.00 24 24 0 0 194 2779 0 311 311 0 0
3584.64/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c gomory : 130.13 0.00 56 20 0 0 5151 22694 82 1886 1884 2 0
3584.64/3597.01 c > gomorymi : - - - - - - - 3466 41 74 73 1 -
3584.64/3597.01 c > strongcg : - - - - - - - 19228 41 1812 1811 1 -
3584.64/3597.01 c impliedbounds : 0.11 0.00 60 24 0 0 186 1795 0 1613 1613 0 0
3584.64/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c mcf : 0.16 0.00 2 2 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c multilinear : 0.00 0.00 35 24 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.64/3597.01 c rlt : 454.55 0.00 50 20 0 0 17 8 12 10 4 6 0
3584.64/3597.01 c zerohalf : 1.92 0.00 60 24 0 0 864 11455 207 4471 4301 170 0
3584.64/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.64/3597.01 c hybrid : 0.06 0.00 196 26 8494 0 31933 582 0 5716
3584.64/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3584.64/3597.01 c problem variables: 0.00 - 0 0
3584.64/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.64/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c relpscost : 106.85 0.00 402 0 0 0 0 0 10 800
3584.64/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.64/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.64/3597.01 c LP solutions : 0.00 - - 0 0
3584.64/3597.01 c relax solutions : 0.00 - - 0 0
3584.64/3597.01 c pseudo solutions : 0.00 - - 0 0
3584.64/3597.01 c strong branching : 0.00 - - 0 0
3584.64/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3584.64/3597.01 c adaptivediving : 56.63 0.00 22 0 0
3584.64/3597.01 c alns : 1.01 0.00 2 0 0
3584.64/3597.01 c bound : 0.00 0.00 0 0 0
3584.64/3597.01 c clique : 0.28 0.00 1 0 0
3584.64/3597.01 c coefdiving : 0.00 0.00 0 0 0
3584.64/3597.01 c completesol : 0.00 0.00 0 0 0
3584.64/3597.01 c conflictdiving : 158.78 0.00 48 0 0
3584.64/3597.01 c crossover : 0.00 0.00 0 0 0
3584.64/3597.01 c dins : 0.00 0.00 0 0 0
3584.64/3597.01 c distributiondivin: 115.93 0.00 27 0 0
3584.64/3597.01 c dps : 0.00 0.00 0 0 0
3584.64/3597.01 c dualval : 0.00 0.00 0 0 0
3584.64/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3584.64/3597.01 c feasjump : 0.26 0.00 2 0 0
3584.64/3597.01 c feaspump : 27.78 0.00 3 0 0
3584.64/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3584.64/3597.01 c fracdiving : 62.47 0.00 28 0 0
3584.64/3597.01 c gins : 0.00 0.00 0 0 0
3584.64/3597.01 c guideddiving : 0.00 0.00 0 0 0
3584.64/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3584.64/3597.01 c indicator : 0.00 0.00 0 0 0
3584.64/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3584.64/3597.01 c indoneopt : 0.00 0.00 0 0 0
3584.64/3597.01 c indrounding : 0.00 0.00 0 0 0
3584.64/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3584.64/3597.01 c intdiving : 0.00 0.00 0 0 0
3584.64/3597.01 c intshifting : 0.00 0.00 0 0 0
3584.64/3597.01 c linesearchdiving : 22.09 0.00 21 0 0
3584.64/3597.01 c localbranching : 0.00 0.00 0 0 0
3584.64/3597.01 c locks : 0.08 0.00 1 0 0
3584.64/3597.01 c lpface : 0.00 0.00 0 0 0
3584.64/3597.01 c mpec : 0.00 0.00 0 0 0
3584.64/3597.01 c multistart : 0.00 0.00 0 0 0
3584.64/3597.01 c mutation : 0.00 0.00 0 0 0
3584.64/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3584.64/3597.01 c objpscostdiving : 449.89 0.00 1 0 0
3584.64/3597.01 c octane : 0.00 0.00 0 0 0
3584.64/3597.01 c ofins : 0.00 0.00 0 0 0
3584.64/3597.01 c oneopt : 0.00 0.00 0 0 0
3584.64/3597.01 c padm : 0.00 0.00 0 0 0
3584.64/3597.01 c proximity : 0.00 0.00 0 0 0
3584.64/3597.01 c pscostdiving : 475.58 0.00 38 0 0
3584.64/3597.01 c randrounding : 7.46 0.00 42 0 0
3584.64/3597.01 c rens : 1.27 0.00 2 0 0
3584.64/3597.01 c reoptsols : 0.00 0.00 0 0 0
3584.64/3597.01 c repair : 0.00 0.00 0 0 0
3584.64/3597.01 c rins : 0.00 0.00 0 0 0
3584.64/3597.01 c rootsoldiving : 40.47 0.00 4 0 0
3584.64/3597.01 c rounding : 1.86 0.00 305 0 0
3584.64/3597.01 c scheduler : 0.00 0.00 0 0 0
3584.64/3597.01 c shiftandpropagate: 0.30 0.00 2 0 0
3584.64/3597.01 c shifting : 15.90 0.00 175 0 0
3584.64/3597.01 c simplerounding : 0.00 0.00 0 0 0
3584.64/3597.01 c smallcard : 0.00 0.00 0 0 0
3584.64/3597.01 c subnlp : 0.00 0.00 0 0 0
3584.64/3597.01 c trivial : 0.02 0.00 4 0 0
3584.64/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3584.64/3597.01 c trustregion : 0.00 0.00 0 0 0
3584.64/3597.01 c trysol : 0.00 0.00 0 0 0
3584.64/3597.01 c twoopt : 0.00 0.00 0 0 0
3584.64/3597.01 c undercover : 0.00 0.00 1 0 0
3584.64/3597.01 c vbounds : 0.47 0.00 2 0 0
3584.64/3597.01 c veclendiving : 30.98 0.00 16 0 0
3584.64/3597.01 c zeroobj : 0.00 0.00 0 0 0
3584.64/3597.01 c zirounding : 2.05 0.00 400 0 0
3584.64/3597.01 c other solutions : - - - 0 -
3584.64/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.64/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
3584.64/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
3584.64/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
3584.64/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
3584.64/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
3584.64/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
3584.64/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
3584.64/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
3584.64/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3584.64/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.64/3597.01 c primal LP : 1.16 67 0 0.00 0.00 1.16 67
3584.64/3597.01 c dual LP : 1406.45 606 1182380 1951.12 840.69 0.00 0
3584.64/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3584.64/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.64/3597.01 c resolve instable : 0.00 0 0 0.00 -
3584.64/3597.01 c diving/probing LP: 1467.13 481 313287 651.32 213.54
3584.64/3597.01 c strong branching : 71.59 69 56116 813.28 783.80 - - 101
3584.64/3597.01 c (at root node) : - 69 56116 813.28 -
3584.64/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3584.64/3597.01 c B&B Tree :
3584.64/3597.01 c number of runs : 2
3584.64/3597.01 c nodes : 418 (399 internal, 19 leaves)
3584.64/3597.01 c feasible leaves : 0
3584.64/3597.01 c infeas. leaves : 18
3584.64/3597.01 c objective leaves : 0
3584.64/3597.01 c nodes (total) : 419 (400 internal, 19 leaves)
3584.64/3597.01 c nodes left : 321
3584.64/3597.01 c max depth : 32
3584.64/3597.01 c max depth (total): 32
3584.64/3597.01 c backtracks : 125 (29.9%)
3584.64/3597.01 c early backtracks : 0 (0.0%)
3584.64/3597.01 c nodes exc. ref. : 0 (0.0%)
3584.64/3597.01 c delayed cutoffs : 61
3584.64/3597.01 c repropagations : 145 (1175 domain reductions, 10 cutoffs)
3584.64/3597.01 c avg switch length: 3.93
3584.64/3597.01 c switching time : 1.93
3584.64/3597.01 c Root Node :
3584.64/3597.01 c First LP value : +0.00000000000000e+00
3584.64/3597.01 c First LP Iters : 496 (5335.80 Iter/sec)
3584.64/3597.01 c First LP Time : 0.09
3584.64/3597.01 c Final Dual Bound : +0.00000000000000e+00
3584.64/3597.01 c Final Root Iters : 53314
3584.64/3597.01 c Root LP Estimate : +2.69374218115056e-02
3584.64/3597.01 c Solution :
3584.64/3597.01 c Solutions found : 0 (0 improvements)
3584.64/3597.01 c Primal Bound : -
3584.64/3597.01 c Dual Bound : +0.00000000000000e+00
3584.64/3597.01 c Gap : infinite
3584.64/3597.01 c Integrals : Total Avg%
3584.64/3597.01 c primal-dual : 359700.23 100.00
3584.64/3597.01 c primal-ref : - - (not evaluated)
3584.64/3597.01 c dual-ref : - - (not evaluated)
3584.93/3597.34 c Time complete: 3584.99.
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 (59686 MiB free)
memory of node 1: 64510 MiB (61585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446405-1721332398/watcher-4446405-1721332398 -o /tmp/evaluation-result-4446405-1721332398/solver-4446405-1721332398 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973108 --watchdog 3760 pbscip -f HOME/instance-4446405-1721332398.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=975381, runsolver pid=975378
[startup+0.100928 s]*
/proc/loadavg: 4.27 4.28 4.18 5/257 975382
/proc/meminfo: memFree=124153276/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=83416 memory=42852 CPUtime=0.09 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 7785 0 0 0 9 0 0 0 20 0 1 0 185400023 85417984 10713 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 20854 10713 3283 3540 0 9111 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83416 KiB
Current children cumulated memory: 42852 KiB
[startup+0.205832 s]*
/proc/loadavg: 4.27 4.28 4.18 5/257 975382
/proc/meminfo: memFree=124128068/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=109700 memory=67732 CPUtime=0.19 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 14002 0 0 0 18 1 0 0 20 0 1 0 185400023 112332800 16933 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 27425 16933 3283 3540 0 15682 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109700 KiB
Current children cumulated memory: 67732 KiB
[startup+0.305627 s]*
/proc/loadavg: 4.27 4.28 4.18 5/257 975382
/proc/meminfo: memFree=124101524/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=135576 memory=94360 CPUtime=0.29 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 20650 0 0 0 27 2 0 0 20 0 1 0 185400023 138829824 23590 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 33894 23590 3283 3540 0 22151 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 135576 KiB
Current children cumulated memory: 94360 KiB
[startup+0.700257 s]
/proc/loadavg: 4.24 4.27 4.18 5/257 975382
/proc/meminfo: memFree=124006940/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=287328 memory=244888 CPUtime=0.69 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 58681 0 0 0 60 9 0 0 20 0 1 0 185400023 294223872 61222 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 71832 61222 3635 3540 0 60089 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 287328 KiB
Current children cumulated memory: 244888 KiB
[startup+1.50026 s]
/proc/loadavg: 4.24 4.27 4.18 5/257 975382
/proc/meminfo: memFree=123838988/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=319988 memory=275012 CPUtime=1.48 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 75839 0 0 0 134 14 0 0 20 0 1 0 185400023 327667712 68753 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 79997 68753 3762 3540 0 68254 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 319988 KiB
Current children cumulated memory: 275012 KiB
[startup+3.10575 s]
/proc/loadavg: 4.24 4.27 4.18 5/257 975384
/proc/meminfo: memFree=123835064/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=405696 memory=360964 CPUtime=3.08 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 97288 0 0 0 291 17 0 0 20 0 1 0 185400023 415432704 90241 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 101424 90241 3810 3540 0 89681 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 405696 KiB
Current children cumulated memory: 360964 KiB
[startup+6.30024 s]
/proc/loadavg: 4.22 4.27 4.18 5/257 975384
/proc/meminfo: memFree=123832436/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=405696 memory=360964 CPUtime=6.26 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 97299 0 0 0 608 18 0 0 20 0 1 0 185400023 415432704 90241 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 101424 90241 3810 3540 0 89681 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 405696 KiB
Current children cumulated memory: 360964 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.28 4.18 5/257 975384
/proc/meminfo: memFree=123394828/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=898976 memory=818292 CPUtime=12.63 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 151643 0 0 0 1230 33 0 0 20 0 1 0 185400023 920551424 204573 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 224744 204573 3906 3540 0 213001 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 898976 KiB
Current children cumulated memory: 818292 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.29 4.19 5/257 975387
/proc/meminfo: memFree=123329920/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=933128 memory=841012 CPUtime=25.4 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 155688 0 0 0 2505 35 0 0 20 0 1 0 185400023 955523072 210253 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 233282 210253 4002 3540 0 221539 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 933128 KiB
Current children cumulated memory: 841012 KiB
[startup+51.1057 s]
/proc/loadavg: 4.19 4.26 4.18 5/257 975392
/proc/meminfo: memFree=123289668/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=981220 memory=862688 CPUtime=50.9 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 157087 0 0 0 5054 36 0 0 20 0 1 0 185400023 1004769280 215672 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 245305 215672 4002 3540 0 233562 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 981220 KiB
Current children cumulated memory: 862688 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.23 4.17 5/258 975784
/proc/meminfo: memFree=123230164/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1010028 memory=862748 CPUtime=101.92 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 157180 0 0 0 10155 37 0 0 20 0 1 0 185400023 1034268672 215687 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 252507 215687 4002 3540 0 240764 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1010028 KiB
Current children cumulated memory: 862748 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/257 975794
/proc/meminfo: memFree=122817156/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1218468 memory=985180 CPUtime=161.72 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 215599 0 0 0 16126 46 0 0 20 0 1 0 185400023 1247711232 246295 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 304617 246295 4034 3540 0 292874 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1218468 KiB
Current children cumulated memory: 985180 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.20 4.17 5/258 975806
/proc/meminfo: memFree=122462108/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1222152 memory=988776 CPUtime=221.52 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 216066 0 0 0 22105 47 0 0 20 0 1 0 185400023 1251483648 247194 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 305538 247194 4034 3540 0 293795 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1222152 KiB
Current children cumulated memory: 988776 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.19 4.17 5/257 975985
/proc/meminfo: memFree=121210072/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1243248 memory=989132 CPUtime=281.37 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 216166 0 0 0 28090 47 0 0 20 0 1 0 185400023 1273085952 247283 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 310812 247283 4034 3540 0 299069 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 1243248 KiB
Current children cumulated memory: 989132 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.15 4.16 5/257 975996
/proc/meminfo: memFree=120603696/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1303472 memory=992040 CPUtime=341.2 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 216975 0 0 0 34072 48 0 0 20 0 1 0 185400023 1334755328 248010 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 325868 248010 4034 3540 0 314125 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 1303472 KiB
Current children cumulated memory: 992040 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/257 976008
/proc/meminfo: memFree=120447992/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1467180 memory=1132272 CPUtime=400.97 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 264158 0 0 0 40042 55 0 0 20 0 1 0 185400023 1502392320 283068 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 366795 283068 4034 3540 0 355052 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1467180 KiB
Current children cumulated memory: 1132272 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/256 976030
/proc/meminfo: memFree=120275888/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1467180 memory=1132272 CPUtime=460.77 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 264198 0 0 0 46022 55 0 0 20 0 1 0 185400023 1502392320 283068 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 366795 283068 4034 3540 0 355052 0
################
# More data... #
################
/proc/loadavg: 4.07 4.10 4.09 5/255 977201
/proc/meminfo: memFree=121014916/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1753240 memory=1142608 CPUtime=3211.27 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270471 0 0 0 321050 77 0 0 20 0 1 0 185400023 1795317760 285652 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 438310 285652 4050 3540 0 426567 0
Current children cumulated CPU time: 3211.27 s
Current children cumulated vsize: 1753240 KiB
Current children cumulated memory: 1142608 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 977212
/proc/meminfo: memFree=121010784/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1767080 memory=1142636 CPUtime=3271.07 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270519 0 0 0 327029 78 0 0 20 0 1 0 185400023 1809489920 285659 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 441770 285659 4050 3540 0 430027 0
Current children cumulated CPU time: 3271.07 s
Current children cumulated vsize: 1767080 KiB
Current children cumulated memory: 1142636 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 977223
/proc/meminfo: memFree=121009588/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1794760 memory=1142636 CPUtime=3330.85 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270560 0 0 0 333007 78 0 0 20 0 1 0 185400023 1837834240 285659 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 448690 285659 4050 3540 0 436947 0
Current children cumulated CPU time: 3330.85 s
Current children cumulated vsize: 1794760 KiB
Current children cumulated memory: 1142636 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/257 977237
/proc/meminfo: memFree=121006808/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1794760 memory=1142644 CPUtime=3390.62 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270596 0 0 0 338983 79 0 0 20 0 1 0 185400023 1837834240 285661 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 448690 285661 4050 3540 0 436947 0
Current children cumulated CPU time: 3390.62 s
Current children cumulated vsize: 1794760 KiB
Current children cumulated memory: 1142644 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/256 977248
/proc/meminfo: memFree=121002564/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1794760 memory=1142644 CPUtime=3450.4 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270649 0 0 0 344961 79 0 0 20 0 1 0 185400023 1837834240 285661 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 448690 285661 4050 3540 0 436947 0
Current children cumulated CPU time: 3450.4 s
Current children cumulated vsize: 1794760 KiB
Current children cumulated memory: 1142644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 977258
/proc/meminfo: memFree=121001768/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1794760 memory=1142644 CPUtime=3510.18 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270710 0 0 0 350939 79 0 0 20 0 1 0 185400023 1837834240 285661 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 448690 285661 4050 3540 0 436947 0
Current children cumulated CPU time: 3510.18 s
Current children cumulated vsize: 1794760 KiB
Current children cumulated memory: 1142644 KiB
[startup+3582.3 s]
/proc/loadavg: 4.41 4.19 4.12 5/256 977361
/proc/meminfo: memFree=126503960/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1808600 memory=1142708 CPUtime=3569.99 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270763 0 0 0 356919 80 0 0 20 0 1 0 185400023 1852006400 285677 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 452150 285677 4050 3540 0 440407 0
Current children cumulated CPU time: 3569.99 s
Current children cumulated vsize: 1808600 KiB
Current children cumulated memory: 1142708 KiB
[startup+3597.38 s]
# the end of solver process 975381 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.18 s, system=0.838111 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.41 4.19 4.12 5/256 977362
/proc/meminfo: memFree=126503896/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1808600 memory=1142708 CPUtime=3571.69 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270763 0 0 0 357089 80 0 0 20 0 1 0 185400023 1852006400 285677 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 452150 285677 4050 3540 0 440407 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 1808600 KiB
Current children cumulated memory: 1142708 KiB
[startup+3590.4 s]
/proc/loadavg: 4.38 4.19 4.12 5/257 977363
/proc/meminfo: memFree=126503248/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1808600 memory=1142708 CPUtime=3578.06 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270764 0 0 0 357726 80 0 0 20 0 1 0 185400023 1852006400 285677 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 452150 285677 4050 3540 0 440407 0
Current children cumulated CPU time: 3578.06 s
Current children cumulated vsize: 1808600 KiB
Current children cumulated memory: 1142708 KiB
[startup+3593.6 s]
/proc/loadavg: 4.35 4.19 4.12 5/257 977365
/proc/meminfo: memFree=126432816/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1808600 memory=1142708 CPUtime=3581.25 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270764 0 0 0 358045 80 0 0 20 0 1 0 185400023 1852006400 285677 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 452150 285677 4050 3540 0 440407 0
Current children cumulated CPU time: 3581.25 s
Current children cumulated vsize: 1808600 KiB
Current children cumulated memory: 1142708 KiB
[startup+3595.2 s]
/proc/loadavg: 4.35 4.19 4.12 5/257 977365
/proc/meminfo: memFree=126431276/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1808600 memory=1142708 CPUtime=3582.84 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270764 0 0 0 358204 80 0 0 20 0 1 0 185400023 1852006400 285677 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 452150 285677 4050 3540 0 440407 0
Current children cumulated CPU time: 3582.84 s
Current children cumulated vsize: 1808600 KiB
Current children cumulated memory: 1142708 KiB
[startup+3596 s]*
/proc/loadavg: 4.35 4.19 4.12 5/257 977365
/proc/meminfo: memFree=126431276/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1808600 memory=1142708 CPUtime=3583.64 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270764 0 0 0 358284 80 0 0 20 0 1 0 185400023 1852006400 285677 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 452150 285677 4050 3540 0 440407 0
Current children cumulated CPU time: 3583.64 s
Current children cumulated vsize: 1808600 KiB
Current children cumulated memory: 1142708 KiB
[startup+3596.8 s]
/proc/loadavg: 4.35 4.19 4.12 5/257 977365
/proc/meminfo: memFree=126431276/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1808600 memory=1142708 CPUtime=3584.43 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270766 0 0 0 358363 80 0 0 20 0 1 0 185400023 1852006400 285677 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 452150 285677 4050 3540 0 440407 0
Current children cumulated CPU time: 3584.43 s
Current children cumulated vsize: 1808600 KiB
Current children cumulated memory: 1142708 KiB
[startup+3597.2 s]
/proc/loadavg: 4.32 4.18 4.12 5/257 977365
/proc/meminfo: memFree=126431172/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1808600 memory=1142768 CPUtime=3584.83 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270904 0 0 0 358403 80 0 0 20 0 1 0 185400023 1852006400 285692 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 452150 285692 4050 3540 0 440407 0
Current children cumulated CPU time: 3584.83 s
Current children cumulated vsize: 1808600 KiB
Current children cumulated memory: 1142768 KiB
[startup+3597.3 s]
/proc/loadavg: 4.32 4.18 4.12 5/257 977365
/proc/meminfo: memFree=126431172/131524600 swapFree=131071996/131071996
[pid=975381] ppid=975378 vsize=1783512 memory=1117728 CPUtime=3584.93 cores=5,7
/proc/975381/stat : 975381 (pbscip) R 975378 975381 973095 0 -1 4194304 270907 0 0 0 358413 80 0 0 20 0 1 0 185400023 1826316288 279432 134679101440 4194304 18693293 140731362633584 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 45768704 140731362640899 140731362640998 140731362640998 140731362648014 0
/proc/975381/statm: 445878 279432 4050 3540 0 434135 0
Current children cumulated CPU time: 3584.93 s
Current children cumulated vsize: 1783512 KiB
Current children cumulated memory: 1117728 KiB
Child status: 0
Real time (s): 3597.38
CPU time (s): 3585.02
CPU user time (s): 3584.18
CPU system time (s): 0.838111
CPU usage (%): 99.6564
Max. virtual memory (cumulated for all children) (KiB): 1808600
Max. memory (cumulated for all children) (KiB): 1184804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.18
system time used= 0.838111
maximum resident set size= 1184804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270917
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= 8
involuntary context switches= 3028
# summary of solver processes directly reported to runsolver:
# pid: 975381
# total CPU time (s): 3585.02
# total CPU user time (s): 3584.18
# total CPU system time (s): 0.838111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90882 second user time and 16.2985 second system time
The end