0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik 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-2663674-1276649714.opb>
0.00/0.01 c original problem has 486 variables (486 bin, 0 int, 0 impl, 0 cont) and 343 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.02 c presolving:
0.01/0.07 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 40 chg coeffs, 0 upgd conss, 2304 impls, 0 clqs
0.01/0.07 c (round 2) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 40 chg coeffs, 10 upgd conss, 2326 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 213/477 (44.7%) - 0 fixings, 0 aggregations, 43 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 9 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 40 changed coefficients
0.09/0.10 c 2412 implications, 0 cliques
0.09/0.10 c presolved problem has 477 variables (477 bin, 0 int, 0 impl, 0 cont) and 343 constraints
0.09/0.10 c 323 constraints of type <and>
0.09/0.10 c 9 constraints of type <linear>
0.09/0.10 c 11 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.04
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1800
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10 c lp/solvefreq = -1
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c heuristics/undercover/freq = 0
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c 0.1s| 1 | 2 | 0 | - |1333k| 0 | - | 477 | 343 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.99/3.05 c 2.7s| 10000 | 4064 | 0 | 0.0 |4762k| 122 | - | 477 |1856 | 0 | 0 | 0 |5549 | 0 | 0.000000e+00 | -- | Inf
6.29/6.37 c 5.8s| 20000 | 9716 | 0 | 0.0 |9569k| 122 | - | 477 |3288 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
9.29/9.35 c 8.5s| 30000 | 15956 | 0 | 0.0 | 12M| 122 | - | 477 |3159 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
12.99/13.09 c 12.0s| 40000 | 20668 | 0 | 0.0 | 16M| 122 | - | 477 |2659 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
17.39/17.42 c 16.0s| 50000 | 26082 | 0 | 0.0 | 20M| 122 | - | 477 |4413 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
21.78/21.81 c 20.1s| 60000 | 31951 | 0 | 0.0 | 25M| 122 | - | 477 |4358 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
26.08/26.17 c 24.2s| 70000 | 37323 | 0 | 0.0 | 29M| 122 | - | 477 |4823 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
30.09/30.18 c 27.9s| 80000 | 43544 | 0 | 0.0 | 34M| 122 | - | 477 |4237 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
30.48/30.60 o 3
30.48/30.60 c *28.3s| 80785 | 37156 | 0 | 0.0 | 29M| 122 | - | 477 |4237 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
32.78/32.89 c 30.4s| 90000 | 45158 | 0 | 0.0 | 33M| 122 | - | 477 |3965 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
35.28/35.38 c 32.7s|100000 | 53784 | 0 | 0.0 | 37M| 122 | - | 477 |4288 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
38.78/38.85 c 35.9s|110000 | 59741 | 0 | 0.0 | 41M| 122 | - | 477 |4563 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
42.78/42.82 c 39.5s|120000 | 64653 | 0 | 0.0 | 44M| 122 | - | 477 |4653 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
46.98/47.04 c 43.5s|130000 | 69069 | 0 | 0.0 | 47M| 122 | - | 477 |4785 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
51.27/51.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.27/51.36 c 47.5s|140000 | 56057 | 0 | 0.0 | 42M| 122 | - | 477 |3527 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
55.47/55.53 c 51.4s|150000 | 61645 | 0 | 0.0 | 46M| 122 | - | 477 |3754 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
59.87/59.93 c 55.4s|160000 | 65303 | 0 | 0.0 | 48M| 122 | - | 477 |4047 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
63.17/63.28 c 58.6s|170000 | 67511 | 0 | 0.0 | 46M| 122 | - | 477 |3908 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
66.07/66.19 c 61.2s|180000 | 74930 | 0 | 0.0 | 50M| 122 | - | 477 |4130 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
69.67/69.71 c 64.5s|190000 | 81462 | 0 | 0.0 | 55M| 122 | - | 477 |4266 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
73.17/73.28 c 67.8s|200000 | 87907 | 0 | 0.0 | 59M| 122 | - | 477 |4272 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
76.87/76.97 c 71.2s|210000 | 93058 | 0 | 0.0 | 61M| 122 | - | 477 |4451 | 0 | 0 | 0 | 115k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
80.46/80.55 c 74.5s|220000 | 99508 | 0 | 0.0 | 65M| 122 | - | 477 |4511 | 0 | 0 | 0 | 120k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
84.27/84.33 c 78.0s|230000 |105717 | 0 | 0.0 | 69M| 122 | - | 477 |4329 | 0 | 0 | 0 | 126k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
87.77/87.82 c 81.3s|240000 |112297 | 0 | 0.0 | 74M| 122 | - | 477 |4831 | 0 | 0 | 0 | 131k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
91.36/91.40 c 84.6s|250000 |118824 | 0 | 0.0 | 78M| 122 | - | 477 |4824 | 0 | 0 | 0 | 136k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
95.17/95.24 c 88.2s|260000 |125026 | 0 | 0.0 | 82M| 122 | - | 477 |4711 | 0 | 0 | 0 | 141k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
98.96/99.09 c 91.8s|270000 |131340 | 0 | 0.0 | 87M| 122 | - | 477 |4725 | 0 | 0 | 0 | 147k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
102.76/102.83 c 95.3s|280000 |137690 | 0 | 0.0 | 91M| 122 | - | 477 |5033 | 0 | 0 | 0 | 152k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
106.96/107.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.96/107.06 c 99.2s|290000 |143539 | 0 | 0.0 | 95M| 122 | - | 477 |4831 | 0 | 0 | 0 | 158k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
111.16/111.29 c 103s|300000 |149277 | 0 | 0.0 | 99M| 122 | - | 477 |5017 | 0 | 0 | 0 | 164k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
115.46/115.51 c 107s|310000 |155185 | 0 | 0.0 | 104M| 122 | - | 477 |5504 | 0 | 0 | 0 | 171k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
119.96/120.03 c 111s|320000 |160737 | 0 | 0.0 | 108M| 122 | - | 477 |5175 | 0 | 0 | 0 | 177k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
124.85/124.90 c 116s|330000 |165821 | 0 | 0.0 | 112M| 122 | - | 477 |5196 | 0 | 0 | 0 | 184k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
129.96/130.02 c 121s|340000 |170817 | 0 | 0.0 | 116M| 122 | - | 477 |5358 | 0 | 0 | 0 | 192k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
135.55/135.68 c 126s|350000 |175679 | 0 | 0.0 | 120M| 122 | - | 477 |5695 | 0 | 0 | 0 | 199k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
140.95/141.06 c 131s|360000 |180352 | 0 | 0.0 | 123M| 122 | - | 477 |5685 | 0 | 0 | 0 | 206k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
146.65/146.76 c 137s|370000 |184583 | 0 | 0.0 | 127M| 122 | - | 477 |5830 | 0 | 0 | 0 | 214k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
153.04/153.10 c 143s|380000 |188179 | 0 | 0.0 | 129M| 122 | - | 477 |5688 | 0 | 0 | 0 | 223k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
159.24/159.36 c 149s|390000 |191894 | 0 | 0.0 | 133M| 122 | - | 477 |6015 | 0 | 0 | 0 | 231k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
165.84/165.90 c 155s|400000 |195120 | 0 | 0.0 | 136M| 122 | - | 477 |6117 | 0 | 0 | 0 | 240k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
171.74/171.80 c 161s|410000 |198317 | 0 | 0.0 | 138M| 122 | - | 477 |5727 | 0 | 0 | 0 | 247k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
177.14/177.27 c 166s|420000 |202134 | 0 | 0.0 | 141M| 122 | - | 477 |5763 | 0 | 0 | 0 | 255k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
182.54/182.62 c 171s|430000 |206084 | 0 | 0.0 | 144M| 122 | - | 477 |5555 | 0 | 0 | 0 | 264k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
188.14/188.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.14/188.26 c 176s|440000 |210080 | 0 | 0.0 | 147M| 122 | - | 477 |5978 | 0 | 0 | 0 | 272k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
194.33/194.48 c 182s|450000 |213727 | 0 | 0.0 | 150M| 122 | - | 477 |6191 | 0 | 0 | 0 | 283k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
200.63/200.70 c 188s|460000 |216934 | 0 | 0.0 | 152M| 122 | - | 477 |6447 | 0 | 0 | 0 | 294k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
204.44/204.58 c 192s|470000 |223136 | 0 | 0.0 | 156M| 122 | - | 477 |5075 | 0 | 0 | 0 | 299k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
209.13/209.20 c 196s|480000 |228655 | 0 | 0.0 | 159M| 122 | - | 477 |5237 | 0 | 0 | 0 | 304k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
213.73/213.86 c 200s|490000 |234294 | 0 | 0.0 | 163M| 122 | - | 477 |5316 | 0 | 0 | 0 | 310k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
218.73/218.86 c 205s|500000 |239885 | 0 | 0.0 | 167M| 122 | - | 477 |5281 | 0 | 0 | 0 | 315k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
223.52/223.68 c 210s|510000 |245650 | 0 | 0.0 | 171M| 122 | - | 477 |5377 | 0 | 0 | 0 | 320k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
228.73/228.85 c 215s|520000 |251142 | 0 | 0.0 | 175M| 122 | - | 477 |5577 | 0 | 0 | 0 | 326k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
233.82/233.97 c 219s|530000 |256782 | 0 | 0.0 | 179M| 122 | - | 477 |5548 | 0 | 0 | 0 | 331k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
239.12/239.27 c 224s|540000 |262101 | 0 | 0.0 | 183M| 122 | - | 477 |5810 | 0 | 0 | 0 | 336k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
244.42/244.53 c 229s|550000 |267813 | 0 | 0.0 | 187M| 122 | - | 477 |5879 | 0 | 0 | 0 | 342k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
250.11/250.26 c 235s|560000 |272935 | 0 | 0.0 | 191M| 122 | - | 477 |5800 | 0 | 0 | 0 | 347k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
255.62/255.78 c 240s|570000 |278105 | 0 | 0.0 | 195M| 122 | - | 477 |5995 | 0 | 0 | 0 | 353k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
261.01/261.15 c 245s|580000 |283580 | 0 | 0.0 | 199M| 122 | - | 477 |5850 | 0 | 0 | 0 | 358k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
266.81/266.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.81/266.98 c 251s|590000 |288238 | 0 | 0.0 | 202M| 122 | - | 477 |6297 | 0 | 0 | 0 | 364k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
272.31/272.48 c 256s|600000 |293537 | 0 | 0.0 | 207M| 122 | - | 477 |6567 | 0 | 0 | 0 | 371k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
278.51/278.66 c 262s|610000 |297894 | 0 | 0.0 | 210M| 122 | - | 477 |6238 | 0 | 0 | 0 | 377k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
284.10/284.21 c 267s|620000 |303122 | 0 | 0.0 | 214M| 122 | - | 477 |6436 | 0 | 0 | 0 | 383k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
289.00/289.17 c 272s|630000 |308877 | 0 | 0.0 | 218M| 122 | - | 477 |6552 | 0 | 0 | 0 | 388k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
295.40/295.55 c 278s|640000 |312814 | 0 | 0.0 | 222M| 122 | - | 477 |6789 | 0 | 0 | 0 | 395k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
300.90/301.00 c 283s|650000 |318300 | 0 | 0.0 | 226M| 122 | - | 477 |6630 | 0 | 0 | 0 | 401k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
306.50/306.66 c 288s|660000 |322844 | 0 | 0.0 | 229M| 122 | - | 477 |6364 | 0 | 0 | 0 | 407k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
311.80/311.99 c 293s|670000 |328124 | 0 | 0.0 | 233M| 122 | - | 477 |6915 | 0 | 0 | 0 | 412k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
317.39/317.59 c 299s|680000 |333484 | 0 | 0.0 | 237M| 122 | - | 477 |6681 | 0 | 0 | 0 | 418k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
323.69/323.86 c 305s|690000 |337581 | 0 | 0.0 | 240M| 122 | - | 477 |6865 | 0 | 0 | 0 | 425k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
329.79/329.91 c 311s|700000 |342455 | 0 | 0.0 | 244M| 122 | - | 477 |6965 | 0 | 0 | 0 | 431k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
335.58/335.79 c 316s|710000 |347654 | 0 | 0.0 | 248M| 122 | - | 477 |6784 | 0 | 0 | 0 | 437k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
341.19/341.39 c 321s|720000 |353275 | 0 | 0.0 | 253M| 122 | - | 477 |6861 | 0 | 0 | 0 | 443k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
347.87/348.04 c 328s|730000 |356944 | 0 | 0.0 | 256M| 122 | - | 477 |6932 | 0 | 0 | 0 | 449k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
353.87/354.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.87/354.01 c 333s|740000 |361738 | 0 | 0.0 | 260M| 122 | - | 477 |6809 | 0 | 0 | 0 | 455k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
360.37/360.51 c 340s|750000 |366584 | 0 | 0.0 | 264M| 122 | - | 477 |7066 | 0 | 0 | 0 | 461k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
366.46/366.62 c 346s|760000 |371575 | 0 | 0.0 | 268M| 122 | - | 477 |6891 | 0 | 0 | 0 | 468k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
373.56/373.77 c 352s|770000 |374469 | 0 | 0.0 | 271M| 122 | - | 477 |7237 | 0 | 0 | 0 | 474k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
379.46/379.61 c 358s|780000 |379516 | 0 | 0.0 | 274M| 122 | - | 477 |7050 | 0 | 0 | 0 | 480k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
385.76/385.91 c 364s|790000 |384238 | 0 | 0.0 | 279M| 122 | - | 477 |6983 | 0 | 0 | 0 | 486k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
392.56/392.79 c 371s|800000 |387444 | 0 | 0.0 | 281M| 122 | - | 477 |7098 | 0 | 0 | 0 | 492k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
399.75/399.95 c 377s|810000 |391112 | 0 | 0.0 | 285M| 122 | - | 477 |7398 | 0 | 0 | 0 | 499k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
406.35/406.54 c 384s|820000 |395345 | 0 | 0.0 | 289M| 122 | - | 477 |7191 | 0 | 0 | 0 | 505k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
413.25/413.43 c 390s|830000 |398407 | 0 | 0.0 | 292M| 122 | - | 477 |7362 | 0 | 0 | 0 | 512k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
420.64/420.85 c 397s|840000 |401473 | 0 | 0.0 | 295M| 122 | - | 477 |7564 | 0 | 0 | 0 | 518k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
427.34/427.57 c 404s|850000 |404974 | 0 | 0.0 | 298M| 122 | - | 477 |7105 | 0 | 0 | 0 | 524k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
434.05/434.25 c 410s|860000 |408046 | 0 | 0.0 | 301M| 122 | - | 477 |7589 | 0 | 0 | 0 | 530k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
441.44/441.61 c 417s|870000 |410646 | 0 | 0.0 | 304M| 122 | - | 477 |7485 | 0 | 0 | 0 | 537k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
448.14/448.30 c 424s|880000 |413895 | 0 | 0.0 | 307M| 122 | - | 477 |7722 | 0 | 0 | 0 | 543k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
455.63/455.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.63/455.81 c 431s|890000 |415930 | 0 | 0.0 | 310M| 122 | - | 477 |7230 | 0 | 0 | 0 | 550k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
462.33/462.59 c 437s|900000 |418869 | 0 | 0.0 | 313M| 122 | - | 477 |7341 | 0 | 0 | 0 | 556k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
470.04/470.26 c 445s|910000 |420174 | 0 | 0.0 | 314M| 122 | - | 477 |7567 | 0 | 0 | 0 | 563k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
477.14/477.32 c 452s|920000 |422955 | 0 | 0.0 | 317M| 122 | - | 477 |7686 | 0 | 0 | 0 | 570k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
485.23/485.40 c 459s|930000 |423410 | 0 | 0.0 | 318M| 122 | - | 477 |7622 | 0 | 0 | 0 | 577k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
492.82/493.06 c 467s|940000 |424894 | 0 | 0.0 | 320M| 122 | - | 477 |7842 | 0 | 0 | 0 | 585k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
500.42/500.63 c 474s|950000 |425900 | 0 | 0.0 | 321M| 122 | - | 477 |7574 | 0 | 0 | 0 | 592k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
507.82/508.07 c 481s|960000 |426774 | 0 | 0.0 | 322M| 122 | - | 477 |7536 | 0 | 0 | 0 | 599k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
514.92/515.12 c 488s|970000 |428010 | 0 | 0.0 | 323M| 122 | - | 477 |7225 | 0 | 0 | 0 | 606k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
522.11/522.31 c 495s|980000 |429122 | 0 | 0.0 | 324M| 122 | - | 477 |7523 | 0 | 0 | 0 | 614k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
529.31/529.59 c 502s|990000 |430075 | 0 | 0.0 | 324M| 122 | - | 477 |7524 | 0 | 0 | 0 | 621k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
536.31/536.55 c 508s| 1000k|431889 | 0 | 0.0 | 325M| 122 | - | 477 |7646 | 0 | 0 | 0 | 629k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
543.01/543.24 c 515s| 1010k|434591 | 0 | 0.0 | 326M| 122 | - | 477 |7629 | 0 | 0 | 0 | 637k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
549.51/549.79 c 521s| 1020k|437725 | 0 | 0.0 | 328M| 122 | - | 477 |7609 | 0 | 0 | 0 | 645k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
555.80/556.04 c 527s| 1030k|441197 | 0 | 0.0 | 330M| 122 | - | 477 |7443 | 0 | 0 | 0 | 653k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
562.00/562.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.00/562.25 c 533s| 1040k|444743 | 0 | 0.0 | 332M| 122 | - | 477 |7595 | 0 | 0 | 0 | 661k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
568.40/568.62 c 539s| 1050k|448086 | 0 | 0.0 | 335M| 122 | - | 477 |7855 | 0 | 0 | 0 | 669k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
574.89/575.17 c 545s| 1060k|451446 | 0 | 0.0 | 337M| 122 | - | 477 |7907 | 0 | 0 | 0 | 678k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
581.40/581.66 c 552s| 1070k|455171 | 0 | 0.0 | 340M| 122 | - | 477 |7496 | 0 | 0 | 0 | 686k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
588.89/589.16 c 559s| 1080k|457968 | 0 | 0.0 | 342M| 122 | - | 477 |8332 | 0 | 0 | 0 | 696k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
596.40/596.68 c 566s| 1090k|461331 | 0 | 0.0 | 344M| 122 | - | 477 |8146 | 0 | 0 | 0 | 706k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
604.09/604.30 c 573s| 1100k|464548 | 0 | 0.0 | 346M| 122 | - | 477 |8566 | 0 | 0 | 0 | 716k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
611.99/612.25 c 581s| 1110k|467692 | 0 | 0.0 | 349M| 122 | - | 477 |8709 | 0 | 0 | 0 | 726k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
619.58/619.85 c 588s| 1120k|471237 | 0 | 0.0 | 351M| 123 | - | 477 |8415 | 0 | 0 | 0 | 736k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
627.08/627.35 c 596s| 1130k|474425 | 0 | 0.0 | 353M| 123 | - | 477 |8577 | 0 | 0 | 0 | 745k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
635.28/635.53 c 604s| 1140k|476966 | 0 | 0.0 | 355M| 123 | - | 477 |9048 | 0 | 0 | 0 | 757k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
642.88/643.11 c 611s| 1150k|479086 | 0 | 0.0 | 356M| 129 | - | 477 |8530 | 0 | 0 | 0 | 768k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
646.97/647.23 c 615s| 1160k|486209 | 0 | 0.0 | 359M| 129 | - | 477 |7043 | 0 | 0 | 0 | 772k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
651.77/652.01 c 619s| 1170k|492872 | 0 | 0.0 | 363M| 129 | - | 477 |7236 | 0 | 0 | 0 | 776k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
657.77/658.03 c 625s| 1180k|498589 | 0 | 0.0 | 367M| 129 | - | 477 |7190 | 0 | 0 | 0 | 781k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
664.67/664.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.67/664.93 c 632s| 1190k|503662 | 0 | 0.0 | 370M| 129 | - | 477 |7788 | 0 | 0 | 0 | 787k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
671.78/672.07 c 638s| 1200k|508788 | 0 | 0.0 | 374M| 129 | - | 477 |7785 | 0 | 0 | 0 | 793k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
679.06/679.31 c 645s| 1210k|513734 | 0 | 0.0 | 377M| 129 | - | 477 |8086 | 0 | 0 | 0 | 800k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
686.66/686.95 c 653s| 1220k|518593 | 0 | 0.0 | 381M| 129 | - | 477 |8167 | 0 | 0 | 0 | 806k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
694.16/694.43 c 660s| 1230k|523819 | 0 | 0.0 | 385M| 129 | - | 477 |8406 | 0 | 0 | 0 | 812k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
702.36/702.64 c 668s| 1240k|528561 | 0 | 0.0 | 389M| 129 | - | 477 |8722 | 0 | 0 | 0 | 818k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
709.96/710.28 c 675s| 1250k|533348 | 0 | 0.0 | 393M| 129 | - | 477 |8668 | 0 | 0 | 0 | 824k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
717.85/718.13 c 683s| 1260k|537945 | 0 | 0.0 | 396M| 129 | - | 477 |8641 | 0 | 0 | 0 | 830k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
725.35/725.65 c 690s| 1270k|542832 | 0 | 0.0 | 400M| 129 | - | 477 |8986 | 0 | 0 | 0 | 836k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
732.95/733.25 c 697s| 1280k|547332 | 0 | 0.0 | 404M| 129 | - | 477 |9130 | 0 | 0 | 0 | 841k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
740.55/740.86 c 705s| 1290k|552009 | 0 | 0.0 | 407M| 129 | - | 477 |9115 | 0 | 0 | 0 | 847k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
747.54/747.86 c 711s| 1300k|556718 | 0 | 0.0 | 411M| 129 | - | 477 |8752 | 0 | 0 | 0 | 853k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
755.64/755.94 c 719s| 1310k|560713 | 0 | 0.0 | 415M| 129 | - | 477 |9299 | 0 | 0 | 0 | 859k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
763.15/763.44 c 726s| 1320k|565089 | 0 | 0.0 | 418M| 129 | - | 477 |9151 | 0 | 0 | 0 | 865k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
769.74/770.07 c 733s| 1330k|570102 | 0 | 0.0 | 422M| 129 | - | 477 |8898 | 0 | 0 | 0 | 870k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
777.83/778.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.83/778.12 c 740s| 1340k|573794 | 0 | 0.0 | 425M| 129 | - | 477 |9524 | 0 | 0 | 0 | 876k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
785.14/785.47 c 748s| 1350k|577945 | 0 | 0.0 | 429M| 129 | - | 477 |9594 | 0 | 0 | 0 | 882k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
791.83/792.18 c 754s| 1360k|583126 | 0 | 0.0 | 433M| 129 | - | 477 |9300 | 0 | 0 | 0 | 888k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
799.73/800.00 c 762s| 1370k|587151 | 0 | 0.0 | 436M| 129 | - | 477 |9630 | 0 | 0 | 0 | 894k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
807.73/808.00 c 769s| 1380k|591070 | 0 | 0.0 | 439M| 129 | - | 477 |9613 | 0 | 0 | 0 | 900k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
814.73/815.02 c 776s| 1390k|595961 | 0 | 0.0 | 443M| 129 | - | 477 |9578 | 0 | 0 | 0 | 905k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
821.13/821.40 c 782s| 1400k|601411 | 0 | 0.0 | 447M| 129 | - | 477 |9419 | 0 | 0 | 0 | 911k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
828.92/829.24 c 790s| 1410k|604821 | 0 | 0.0 | 450M| 129 | - | 477 |9934 | 0 | 0 | 0 | 917k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
836.42/836.70 c 797s| 1420k|608908 | 0 | 0.0 | 453M| 129 | - | 477 |9674 | 0 | 0 | 0 | 923k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
843.51/843.82 c 804s| 1430k|613709 | 0 | 0.0 | 457M| 129 | - | 477 |9775 | 0 | 0 | 0 | 929k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
849.71/850.02 c 809s| 1440k|619502 | 0 | 0.0 | 460M| 129 | - | 477 |9418 | 0 | 0 | 0 | 934k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
856.71/857.09 c 816s| 1450k|623823 | 0 | 0.0 | 463M| 129 | - | 477 |9825 | 0 | 0 | 0 | 940k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
864.41/864.74 c 824s| 1460k|627526 | 0 | 0.0 | 466M| 129 | - | 477 | 10k| 0 | 0 | 0 | 946k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
871.81/872.10 c 831s| 1470k|632091 | 0 | 0.0 | 469M| 129 | - | 477 | 10k| 0 | 0 | 0 | 952k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
879.41/879.75 c 838s| 1480k|637036 | 0 | 0.0 | 473M| 129 | - | 477 | 10k| 0 | 0 | 0 | 958k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
886.01/886.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.01/886.34 c 844s| 1490k|642748 | 0 | 0.0 | 476M| 129 | - | 477 |9662 | 0 | 0 | 0 | 963k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
893.30/893.67 c 851s| 1500k|647273 | 0 | 0.0 | 479M| 129 | - | 477 |9842 | 0 | 0 | 0 | 969k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
901.79/902.11 c 860s| 1510k|650707 | 0 | 0.0 | 482M| 129 | - | 477 | 10k| 0 | 0 | 0 | 975k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
909.30/909.63 c 867s| 1520k|655328 | 0 | 0.0 | 485M| 129 | - | 477 | 10k| 0 | 0 | 0 | 981k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
916.19/916.51 c 874s| 1530k|660631 | 0 | 0.0 | 489M| 129 | - | 477 | 10k| 0 | 0 | 0 | 986k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
922.68/923.09 c 880s| 1540k|666088 | 0 | 0.0 | 492M| 129 | - | 477 | 10k| 0 | 0 | 0 | 992k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
929.48/929.88 c 886s| 1550k|671652 | 0 | 0.0 | 496M| 129 | - | 477 |9946 | 0 | 0 | 0 | 997k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
937.58/937.97 c 894s| 1560k|675329 | 0 | 0.0 | 498M| 129 | - | 477 | 10k| 0 | 0 | 0 |1004k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
945.59/945.92 c 902s| 1570k|679183 | 0 | 0.0 | 501M| 129 | - | 477 | 10k| 0 | 0 | 0 |1010k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
953.39/953.74 c 909s| 1580k|683847 | 0 | 0.0 | 505M| 129 | - | 477 | 10k| 0 | 0 | 0 |1016k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
960.68/961.06 c 916s| 1590k|688861 | 0 | 0.0 | 508M| 129 | - | 477 | 10k| 0 | 0 | 0 |1021k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
967.98/968.36 c 923s| 1600k|694057 | 0 | 0.0 | 511M| 129 | - | 477 | 10k| 0 | 0 | 0 |1027k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
974.37/974.75 c 930s| 1610k|699698 | 0 | 0.0 | 515M| 129 | - | 477 |9840 | 0 | 0 | 0 |1032k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
983.67/984.00 c 939s| 1620k|702646 | 0 | 0.0 | 518M| 129 | - | 477 | 10k| 0 | 0 | 0 |1040k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
991.96/992.34 c 947s| 1630k|706508 | 0 | 0.0 | 521M| 129 | - | 477 | 10k| 0 | 0 | 0 |1046k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
999.36/999.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.36/999.79 c 954s| 1640k|711101 | 0 | 0.0 | 524M| 129 | - | 477 | 10k| 0 | 0 | 0 |1052k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1007.16/1007.52 c 961s| 1650k|715724 | 0 | 0.0 | 527M| 129 | - | 477 | 10k| 0 | 0 | 0 |1058k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1014.65/1015.07 c 969s| 1660k|720607 | 0 | 0.0 | 530M| 129 | - | 477 | 10k| 0 | 0 | 0 |1064k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1021.76/1022.12 c 975s| 1670k|725712 | 0 | 0.0 | 534M| 129 | - | 477 | 10k| 0 | 0 | 0 |1070k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1028.66/1029.08 c 982s| 1680k|730793 | 0 | 0.0 | 537M| 129 | - | 477 | 10k| 0 | 0 | 0 |1075k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1037.35/1037.70 c 990s| 1690k|734249 | 0 | 0.0 | 540M| 129 | - | 477 | 10k| 0 | 0 | 0 |1082k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1045.35/1045.73 c 998s| 1700k|738438 | 0 | 0.0 | 542M| 129 | - | 477 | 10k| 0 | 0 | 0 |1088k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1053.35/1053.77 c 1006s| 1710k|742659 | 0 | 0.0 | 546M| 129 | - | 477 | 10k| 0 | 0 | 0 |1094k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1060.74/1061.11 c 1013s| 1720k|747510 | 0 | 0.0 | 549M| 129 | - | 477 | 10k| 0 | 0 | 0 |1100k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1069.64/1070.00 c 1021s| 1730k|751831 | 0 | 0.0 | 552M| 129 | - | 477 | 10k| 0 | 0 | 0 |1106k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1077.04/1077.44 c 1029s| 1740k|756955 | 0 | 0.0 | 556M| 129 | - | 477 | 10k| 0 | 0 | 0 |1113k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1085.94/1086.33 c 1037s| 1750k|760518 | 0 | 0.0 | 559M| 129 | - | 477 | 10k| 0 | 0 | 0 |1120k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1093.83/1094.22 c 1045s| 1760k|764574 | 0 | 0.0 | 561M| 129 | - | 477 | 10k| 0 | 0 | 0 |1125k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1102.03/1102.41 c 1053s| 1770k|768569 | 0 | 0.0 | 564M| 129 | - | 477 | 11k| 0 | 0 | 0 |1132k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1110.13/1110.52 c 1060s| 1780k|772659 | 0 | 0.0 | 567M| 129 | - | 477 | 11k| 0 | 0 | 0 |1138k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1118.63/1119.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.63/1119.02 c 1069s| 1790k|776966 | 0 | 0.0 | 571M| 129 | - | 477 | 11k| 0 | 0 | 0 |1144k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1126.22/1126.61 c 1076s| 1800k|781996 | 0 | 0.0 | 574M| 129 | - | 477 | 10k| 0 | 0 | 0 |1150k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1134.42/1134.80 c 1084s| 1810k|785980 | 0 | 0.0 | 577M| 129 | - | 477 | 11k| 0 | 0 | 0 |1157k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1143.52/1143.90 c 1093s| 1820k|789051 | 0 | 0.0 | 579M| 129 | - | 477 | 10k| 0 | 0 | 0 |1163k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1151.61/1152.03 c 1101s| 1830k|793008 | 0 | 0.0 | 582M| 129 | - | 477 | 10k| 0 | 0 | 0 |1170k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1160.02/1160.41 c 1109s| 1840k|796899 | 0 | 0.0 | 585M| 129 | - | 477 | 10k| 0 | 0 | 0 |1176k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1167.81/1168.25 c 1116s| 1850k|801198 | 0 | 0.0 | 588M| 129 | - | 477 | 10k| 0 | 0 | 0 |1182k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1175.91/1176.39 c 1124s| 1860k|805758 | 0 | 0.0 | 592M| 129 | - | 477 | 10k| 0 | 0 | 0 |1189k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1184.21/1184.63 c 1132s| 1870k|810004 | 0 | 0.0 | 595M| 129 | - | 477 | 11k| 0 | 0 | 0 |1195k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1193.40/1193.82 c 1141s| 1880k|812662 | 0 | 0.0 | 597M| 129 | - | 477 | 11k| 0 | 0 | 0 |1202k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1201.29/1201.73 c 1149s| 1890k|816464 | 0 | 0.0 | 600M| 129 | - | 477 | 10k| 0 | 0 | 0 |1208k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1210.19/1210.65 c 1157s| 1900k|819747 | 0 | 0.0 | 602M| 129 | - | 477 | 11k| 0 | 0 | 0 |1215k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1218.59/1219.00 c 1165s| 1910k|823774 | 0 | 0.0 | 606M| 129 | - | 477 | 11k| 0 | 0 | 0 |1221k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1226.79/1227.20 c 1173s| 1920k|828453 | 0 | 0.0 | 609M| 129 | - | 477 | 10k| 0 | 0 | 0 |1228k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1235.39/1235.86 c 1182s| 1930k|831423 | 0 | 0.0 | 611M| 129 | - | 477 | 11k| 0 | 0 | 0 |1235k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1244.29/1244.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.29/1244.72 c 1190s| 1940k|834379 | 0 | 0.0 | 613M| 129 | - | 477 | 10k| 0 | 0 | 0 |1242k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1252.78/1253.22 c 1198s| 1950k|838031 | 0 | 0.0 | 616M| 129 | - | 477 | 11k| 0 | 0 | 0 |1248k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1261.37/1261.87 c 1207s| 1960k|841764 | 0 | 0.0 | 619M| 129 | - | 477 | 11k| 0 | 0 | 0 |1254k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1268.99/1269.47 c 1214s| 1970k|846640 | 0 | 0.0 | 623M| 129 | - | 477 | 11k| 0 | 0 | 0 |1261k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1276.97/1277.41 c 1222s| 1980k|851045 | 0 | 0.0 | 625M| 129 | - | 477 | 11k| 0 | 0 | 0 |1267k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1286.17/1286.61 c 1231s| 1990k|853167 | 0 | 0.0 | 626M| 129 | - | 477 | 11k| 0 | 0 | 0 |1275k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1294.67/1295.13 c 1239s| 2000k|856316 | 0 | 0.0 | 629M| 129 | - | 477 | 11k| 0 | 0 | 0 |1281k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1303.46/1303.95 c 1247s| 2010k|859630 | 0 | 0.0 | 632M| 129 | - | 477 | 11k| 0 | 0 | 0 |1288k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1311.57/1312.01 c 1255s| 2020k|864293 | 0 | 0.0 | 636M| 129 | - | 477 | 11k| 0 | 0 | 0 |1294k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1319.56/1320.02 c 1263s| 2030k|868586 | 0 | 0.0 | 639M| 129 | - | 477 | 11k| 0 | 0 | 0 |1301k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1328.66/1329.15 c 1272s| 2040k|870759 | 0 | 0.0 | 639M| 129 | - | 477 | 11k| 0 | 0 | 0 |1308k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1337.45/1337.98 c 1280s| 2050k|873905 | 0 | 0.0 | 642M| 129 | - | 477 | 11k| 0 | 0 | 0 |1315k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1346.55/1347.07 c 1289s| 2060k|877037 | 0 | 0.0 | 645M| 129 | - | 477 | 11k| 0 | 0 | 0 |1321k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1354.25/1354.72 c 1296s| 2070k|881711 | 0 | 0.0 | 649M| 129 | - | 477 | 11k| 0 | 0 | 0 |1328k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1363.04/1363.52 c 1305s| 2080k|884863 | 0 | 0.0 | 650M| 129 | - | 477 | 11k| 0 | 0 | 0 |1335k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1371.74/1372.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.74/1372.22 c 1313s| 2090k|887769 | 0 | 0.0 | 651M| 129 | - | 477 | 11k| 0 | 0 | 0 |1342k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1380.44/1380.93 c 1322s| 2100k|890961 | 0 | 0.0 | 654M| 129 | - | 477 | 11k| 0 | 0 | 0 |1349k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1388.94/1389.41 c 1330s| 2110k|894607 | 0 | 0.0 | 657M| 129 | - | 477 | 11k| 0 | 0 | 0 |1356k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1397.65/1398.19 c 1338s| 2120k|898078 | 0 | 0.0 | 659M| 129 | - | 477 | 11k| 0 | 0 | 0 |1363k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1406.33/1406.83 c 1347s| 2130k|900784 | 0 | 0.0 | 660M| 129 | - | 477 | 11k| 0 | 0 | 0 |1370k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1415.13/1415.61 c 1355s| 2140k|904089 | 0 | 0.0 | 663M| 129 | - | 477 | 11k| 0 | 0 | 0 |1377k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1423.42/1423.95 c 1363s| 2150k|907910 | 0 | 0.0 | 666M| 129 | - | 477 | 11k| 0 | 0 | 0 |1384k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1431.63/1432.11 c 1371s| 2160k|911954 | 0 | 0.0 | 668M| 129 | - | 477 | 11k| 0 | 0 | 0 |1391k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1440.22/1440.75 c 1380s| 2170k|915026 | 0 | 0.0 | 669M| 129 | - | 477 | 11k| 0 | 0 | 0 |1398k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1448.22/1448.77 c 1387s| 2180k|918872 | 0 | 0.0 | 672M| 129 | - | 477 | 11k| 0 | 0 | 0 |1405k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1456.21/1456.72 c 1395s| 2190k|922958 | 0 | 0.0 | 675M| 129 | - | 477 | 11k| 0 | 0 | 0 |1411k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1464.51/1465.04 c 1403s| 2200k|926248 | 0 | 0.0 | 677M| 129 | - | 477 | 11k| 0 | 0 | 0 |1418k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1472.71/1473.21 c 1411s| 2210k|929756 | 0 | 0.0 | 678M| 129 | - | 477 | 11k| 0 | 0 | 0 |1425k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
1485.10/1485.69 o 2
1485.10/1485.69 c *1423s| 2218k| 0 | 0 | 0.0 |8152k| 129 | - | 477 | 11k| 0 | 0 | 0 |1431k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
1485.10/1485.69 c
1485.10/1485.69 c SCIP Status : problem is solved [optimal solution found]
1485.10/1485.69 c Solving Time (sec) : 1423.06
1485.10/1485.69 c Solving Nodes : 2218623
1485.10/1485.69 c Primal Bound : +2.00000000000000e+00 (2 solutions)
1485.10/1485.69 c Dual Bound : +2.00000000000000e+00
1485.10/1485.69 c Gap : 0.00 %
1485.10/1485.69 s OPTIMUM FOUND
1485.10/1485.69 v -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x108 -x107 -x106 x105 x104 -x103 -x150 -x149 -x148 -x147
1485.10/1485.69 v x146 -x145 -x102 -x101 -x100 -x99 x98 -x97 -x144 -x143 -x142 -x141 -x140 -x139 -x96 x95 x94 -x93 x92 -x91 -x138 x137 -x136 -x135
1485.10/1485.69 v -x134 -x133 -x90 -x89 -x88 -x87 x86 -x85 -x132 -x131 -x130 -x129 -x128 x127 x84 -x83 -x82 x81 x80 -x79 -x126 -x125 -x124
1485.10/1485.69 v -x123 x122 -x121 -x78 -x77 -x76 -x75 x74 -x73 -x120 -x119 -x118 -x117 -x116 x115 -x72 x71 x70 -x69 x68 -x67 -x114 -x113 -x112
1485.10/1485.69 v -x111 -x110 -x109 -x66 x65 -x64 -x63 x62 -x61 x60 -x59 x58 x57 -x56 x55 x54 -x53 -x52 -x51 x50 x49 -x48 -x47 -x46 x45 -x44
1485.10/1485.69 v x43 -x42 -x41 x40 x39 -x38 x37 -x36 x35 x34 -x33 x32 x31 x30 x29 -x28 -x27 x26 x25 -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 -x16
1485.10/1485.69 v x15 -x14 x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 x2 -x1
1485.10/1485.69 c SCIP Status : problem is solved [optimal solution found]
1485.10/1485.69 c Solving Time : 1423.06
1485.10/1485.69 c Original Problem :
1485.10/1485.69 c Problem name : HOME/instance-2663674-1276649714.opb
1485.10/1485.69 c Variables : 486 (486 binary, 0 integer, 0 implicit integer, 0 continuous)
1485.10/1485.69 c Constraints : 343 initial, 343 maximal
1485.10/1485.69 c Presolved Problem :
1485.10/1485.69 c Problem name : t_HOME/instance-2663674-1276649714.opb
1485.10/1485.69 c Variables : 477 (477 binary, 0 integer, 0 implicit integer, 0 continuous)
1485.10/1485.69 c Constraints : 343 initial, 11864 maximal
1485.10/1485.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1485.10/1485.69 c trivial : 0.00 0 0 0 0 0 0 0 0
1485.10/1485.69 c dualfix : 0.00 0 0 0 0 0 0 0 0
1485.10/1485.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
1485.10/1485.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1485.10/1485.69 c implics : 0.00 0 0 0 0 0 0 0 0
1485.10/1485.69 c probing : 0.02 0 0 0 0 0 0 0 0
1485.10/1485.69 c and : 0.01 0 0 0 0 0 0 0 0
1485.10/1485.69 c linear : 0.01 1 8 0 0 0 0 0 40
1485.10/1485.69 c logicor : 0.00 0 0 0 0 0 0 0 0
1485.10/1485.69 c root node : - 89 - - 89 - - - -
1485.10/1485.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1485.10/1485.69 c integral : 0 0 0 0 0 0 0 0 0 0
1485.10/1485.69 c and : 323 0 5957110 0 1846528 101415 7533449 0 0 0
1485.10/1485.69 c linear : 9 0 5855694 0 1846528 445594 3934826 0 0 0
1485.10/1485.69 c logicor : 11+ 0 3067687 0 1846528 46314 1074983 0 0 0
1485.10/1485.69 c countsols : 0 0 0 0 1846530 0 0 0 0 0
1485.10/1485.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1485.10/1485.69 c integral : 0.00 0.00 0.00 0.00 0.00
1485.10/1485.69 c and : 104.96 0.00 74.71 0.00 30.25
1485.10/1485.69 c linear : 140.32 0.00 138.32 0.00 2.00
1485.10/1485.69 c logicor : 457.45 0.00 453.92 0.00 3.53
1485.10/1485.69 c countsols : 0.87 0.00 0.00 0.00 0.87
1485.10/1485.69 c Propagators : Time Calls Cutoffs DomReds
1485.10/1485.69 c vbounds : 3.16 2 0 0
1485.10/1485.69 c rootredcost : 2.94 0 0 0
1485.10/1485.69 c pseudoobj : 6.32 5956665 0 2914
1485.10/1485.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1485.10/1485.69 c propagation : 58.52 593323 580784 4310678 28.3 35519 18.2 -
1485.10/1485.69 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1485.10/1485.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1485.10/1485.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1485.10/1485.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1485.10/1485.69 c applied globally : - - - 1431689 23.4 - - -
1485.10/1485.69 c applied locally : - - - 15 50.0 - - -
1485.10/1485.69 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1485.10/1485.69 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1485.10/1485.69 c redcost : 0.00 0 0 0 0 0
1485.10/1485.69 c impliedbounds : 0.00 0 0 0 0 0
1485.10/1485.69 c intobj : 0.00 0 0 0 0 0
1485.10/1485.69 c cgmip : 0.00 0 0 0 0 0
1485.10/1485.69 c gomory : 0.00 0 0 0 0 0
1485.10/1485.69 c strongcg : 0.00 0 0 0 0 0
1485.10/1485.69 c cmir : 0.00 0 0 0 0 0
1485.10/1485.69 c flowcover : 0.00 0 0 0 0 0
1485.10/1485.69 c clique : 0.00 0 0 0 0 0
1485.10/1485.69 c zerohalf : 0.00 0 0 0 0 0
1485.10/1485.69 c mcf : 0.00 0 0 0 0 0
1485.10/1485.69 c rapidlearning : 0.00 0 0 0 0 0
1485.10/1485.69 c Pricers : Time Calls Vars
1485.10/1485.69 c problem variables: 0.00 0 0
1485.10/1485.69 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1485.10/1485.69 c relpscost : 0.00 0 0 0 0 0 0
1485.10/1485.69 c pscost : 0.00 0 0 0 0 0 0
1485.10/1485.69 c inference : 93.92 1846528 0 0 0 0 3693056
1485.10/1485.69 c mostinf : 0.00 0 0 0 0 0 0
1485.10/1485.70 c leastinf : 0.00 0 0 0 0 0 0
1485.10/1485.70 c fullstrong : 0.00 0 0 0 0 0 0
1485.10/1485.70 c allfullstrong : 0.00 0 0 0 0 0 0
1485.10/1485.70 c random : 0.00 0 0 0 0 0 0
1485.10/1485.70 c Primal Heuristics : Time Calls Found
1485.10/1485.70 c LP solutions : 0.00 - 0
1485.10/1485.70 c pseudo solutions : 5.18 - 2
1485.10/1485.70 c oneopt : 1.90 0 0
1485.10/1485.70 c trivial : 0.00 2 0
1485.10/1485.70 c simplerounding : 0.00 0 0
1485.10/1485.70 c zirounding : 0.00 0 0
1485.10/1485.70 c rounding : 0.00 0 0
1485.10/1485.70 c shifting : 0.00 0 0
1485.10/1485.70 c intshifting : 0.00 0 0
1485.10/1485.70 c twoopt : 0.00 0 0
1485.10/1485.70 c fixandinfer : 0.00 0 0
1485.10/1485.70 c feaspump : 0.00 0 0
1485.10/1485.70 c coefdiving : 0.00 0 0
1485.10/1485.70 c pscostdiving : 0.00 0 0
1485.10/1485.70 c fracdiving : 0.00 0 0
1485.10/1485.70 c veclendiving : 0.00 0 0
1485.10/1485.70 c intdiving : 0.00 0 0
1485.10/1485.70 c actconsdiving : 0.00 0 0
1485.10/1485.70 c objpscostdiving : 0.00 0 0
1485.10/1485.70 c rootsoldiving : 0.00 0 0
1485.10/1485.70 c linesearchdiving : 0.00 0 0
1485.10/1485.70 c guideddiving : 0.00 0 0
1485.10/1485.70 c octane : 0.00 0 0
1485.10/1485.70 c rens : 0.00 0 0
1485.10/1485.70 c rins : 0.00 0 0
1485.10/1485.70 c localbranching : 0.00 0 0
1485.10/1485.70 c mutation : 0.00 0 0
1485.10/1485.70 c crossover : 0.00 0 0
1485.10/1485.70 c dins : 0.00 0 0
1485.10/1485.70 c undercover : 0.00 0 0
1485.10/1485.70 c nlp : 1.11 0 0
1485.10/1485.70 c trysol : 1.26 0 0
1485.10/1485.70 c LP : Time Calls Iterations Iter/call Iter/sec
1485.10/1485.70 c primal LP : 0.00 0 0 0.00 -
1485.10/1485.70 c dual LP : 0.00 0 0 0.00 -
1485.10/1485.70 c lex dual LP : 0.00 0 0 0.00 -
1485.10/1485.70 c barrier LP : 0.00 0 0 0.00 -
1485.10/1485.70 c diving/probing LP: 0.00 0 0 0.00 -
1485.10/1485.70 c strong branching : 0.00 0 0 0.00 -
1485.10/1485.70 c (at root node) : - 0 0 0.00 -
1485.10/1485.70 c conflict analysis: 0.00 0 0 0.00 -
1485.10/1485.70 c B&B Tree :
1485.10/1485.70 c number of runs : 1
1485.10/1485.70 c nodes : 2218623
1485.10/1485.70 c nodes (total) : 2218623
1485.10/1485.70 c nodes left : 0
1485.10/1485.70 c max depth : 129
1485.10/1485.70 c max depth (total): 129
1485.10/1485.70 c backtracks : 287175 (12.9%)
1485.10/1485.70 c delayed cutoffs : 534913
1485.10/1485.70 c repropagations : 665556 (2413808 domain reductions, 221230 cutoffs)
1485.10/1485.70 c avg switch length: 9.00
1485.10/1485.70 c switching time : 418.72
1485.10/1485.70 c Solution :
1485.10/1485.70 c Solutions found : 2 (2 improvements)
1485.10/1485.70 c First Solution : +3.00000000000000e+00 (in run 1, after 80785 nodes, 28.30 seconds, depth 68, found by <relaxation>)
1485.10/1485.70 c Primal Bound : +2.00000000000000e+00 (in run 1, after 2218623 nodes, 1417.88 seconds, depth 76, found by <relaxation>)
1485.10/1485.70 c Dual Bound : +2.00000000000000e+00
1485.10/1485.70 c Gap : 0.00 %
1485.10/1485.70 c Root Dual Bound : +0.00000000000000e+00
1485.10/1485.70 c Root Iterations : 0
1485.20/1485.79 c Time complete: 1485.3.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663674-1276649714/watcher-2663674-1276649714 -o /tmp/evaluation-result-2663674-1276649714/solver-2663674-1276649714 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663674-1276649714.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.12 1.24 1.17 3/106 10553
/proc/meminfo: memFree=1818892/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=6584 CPUtime=0
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 1012 0 0 0 0 0 0 0 20 0 1 0 40575394 6742016 936 1992294400 4194304 7136930 140734666238368 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10553/statm: 1646 946 254 719 0 925 0
[startup+0.0213881 s]
/proc/loadavg: 1.12 1.24 1.17 3/106 10553
/proc/meminfo: memFree=1818892/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=11048 CPUtime=0.01
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 2398 0 0 0 1 0 0 0 20 0 1 0 40575394 11313152 1968 1992294400 4194304 7136930 140734666238368 18446744073709551615 4431766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 2762 1970 318 719 0 2041 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11048
[startup+0.101428 s]
/proc/loadavg: 1.12 1.24 1.17 3/106 10553
/proc/meminfo: memFree=1818892/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=11608 CPUtime=0.09
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 3621 0 0 0 5 4 0 0 20 0 1 0 40575394 11886592 2163 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 2902 2163 371 719 0 2181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11608
[startup+0.301433 s]
/proc/loadavg: 1.12 1.24 1.17 3/106 10553
/proc/meminfo: memFree=1818892/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=13416 CPUtime=0.29
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 4087 0 0 0 23 6 0 0 20 0 1 0 40575394 13737984 2629 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 3354 2629 394 719 0 2633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13416
[startup+0.701468 s]
/proc/loadavg: 1.12 1.24 1.17 3/106 10553
/proc/meminfo: memFree=1818892/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=13888 CPUtime=0.69
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 4227 0 0 0 59 10 0 0 20 0 1 0 40575394 14221312 2769 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 3472 2769 394 719 0 2751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13888
[startup+1.50156 s]
/proc/loadavg: 1.12 1.24 1.17 3/107 10554
/proc/meminfo: memFree=1808716/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=14964 CPUtime=1.49
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 4488 0 0 0 132 17 0 0 22 0 1 0 40575394 15323136 3030 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 3741 3030 394 719 0 3020 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14964
[startup+3.10175 s]
/proc/loadavg: 1.11 1.24 1.16 2/107 10554
/proc/meminfo: memFree=1806980/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=17352 CPUtime=3.09
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 5108 0 0 0 277 32 0 0 25 0 1 0 40575394 17768448 3650 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 4338 3650 394 719 0 3617 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17352
[startup+6.30113 s]
/proc/loadavg: 1.11 1.24 1.16 2/107 10554
/proc/meminfo: memFree=1800656/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=23780 CPUtime=6.29
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 6699 0 0 0 571 58 0 0 25 0 1 0 40575394 24350720 5241 1992294400 4194304 7136930 140734666238368 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 5945 5241 394 719 0 5224 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23780
[startup+12.7019 s]
/proc/loadavg: 1.10 1.23 1.16 2/107 10554
/proc/meminfo: memFree=1791504/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=31036 CPUtime=12.69
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 8570 0 0 0 1159 110 0 0 25 0 1 0 40575394 31780864 7112 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 7759 7112 394 719 0 7038 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31036
[startup+25.5014 s]
/proc/loadavg: 1.08 1.22 1.16 2/107 10554
/proc/meminfo: memFree=1774268/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=48108 CPUtime=25.48
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 12899 0 0 0 2356 192 0 0 25 0 1 0 40575394 49262592 11441 1992294400 4194304 7136930 140734666238368 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 12027 11441 394 719 0 11306 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48108
[startup+51.1014 s]
/proc/loadavg: 1.05 1.20 1.16 2/107 10556
/proc/meminfo: memFree=1750212/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=73728 CPUtime=51.08
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 18907 0 0 0 4728 380 0 0 25 0 1 0 40575394 75497472 17449 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 18432 17449 394 719 0 17711 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73728
[startup+102.308 s]
/proc/loadavg: 1.02 1.17 1.14 2/107 10556
/proc/meminfo: memFree=1704456/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=118312 CPUtime=102.26
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 30290 0 0 0 9477 749 0 0 25 0 1 0 40575394 121151488 28832 1992294400 4194304 7136930 140734666238368 18446744073709551615 4998464 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 29578 28832 394 719 0 28857 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 118312
[startup+162.301 s]
/proc/loadavg: 1.00 1.13 1.13 2/107 10558
/proc/meminfo: memFree=1658204/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=163516 CPUtime=162.24
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 41816 0 0 0 15148 1076 0 0 25 0 1 0 40575394 167440384 40358 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 40879 40358 394 719 0 40158 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 163516
[startup+222.302 s]
/proc/loadavg: 1.00 1.11 1.12 2/107 10560
/proc/meminfo: memFree=1621376/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=203460 CPUtime=222.23
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 50978 0 0 0 20838 1385 0 0 25 0 1 0 40575394 208343040 49520 1992294400 4194304 7136930 140734666238368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 50865 49520 394 719 0 50144 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 203460
[startup+282.301 s]
/proc/loadavg: 1.00 1.08 1.11 2/107 10562
/proc/meminfo: memFree=1576984/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=246720 CPUtime=282.2
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 62023 0 0 0 26526 1694 0 0 25 0 1 0 40575394 252641280 60565 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 61680 60565 394 719 0 60959 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 246720
[startup+342.301 s]
/proc/loadavg: 1.00 1.07 1.10 2/107 10564
/proc/meminfo: memFree=1534576/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=288192 CPUtime=342.18
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 72586 0 0 0 32231 1987 0 0 25 0 1 0 40575394 295108608 71128 1992294400 4194304 7136930 140734666238368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 72048 71128 394 719 0 71327 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 288192
[startup+402.301 s]
/proc/loadavg: 1.00 1.05 1.09 2/107 10573
/proc/meminfo: memFree=1501592/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=320200 CPUtime=402.15
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 80718 0 0 0 37965 2250 0 0 25 0 1 0 40575394 327884800 79260 1992294400 4194304 7136930 140734666238368 18446744073709551615 4209110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 80050 79260 394 719 0 79329 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 320200
[startup+462.301 s]
/proc/loadavg: 1.00 1.04 1.08 2/107 10575
/proc/meminfo: memFree=1476420/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=344620 CPUtime=462.13
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 86956 0 0 0 43719 2494 0 0 25 0 1 0 40575394 352890880 85498 1992294400 4194304 7136930 140734666238368 18446744073709551615 4210010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 86155 85498 394 719 0 85434 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 344620
[startup+522.301 s]
/proc/loadavg: 1.00 1.03 1.08 2/107 10577
/proc/meminfo: memFree=1461664/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=359232 CPUtime=522.11
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 90630 0 0 0 49480 2731 0 0 25 0 1 0 40575394 367853568 89172 1992294400 4194304 7136930 140734666238368 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 89808 89172 394 719 0 89087 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 359232
[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.07 2/107 10579
/proc/meminfo: memFree=1443436/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=377156 CPUtime=582.1
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 95189 0 0 0 55221 2989 0 0 25 0 1 0 40575394 386207744 93731 1992294400 4194304 7136930 140734666238368 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 94289 93731 394 719 0 93568 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 377156
[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.06 2/107 10581
/proc/meminfo: memFree=1427688/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=400612 CPUtime=642.09
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 99088 0 0 0 61007 3202 0 0 25 0 1 0 40575394 410226688 97630 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 100153 97630 394 719 0 99432 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 400612
[startup+702.301 s]
/proc/loadavg: 1.00 1.01 1.06 2/107 10581
/proc/meminfo: memFree=1394332/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=433156 CPUtime=702.06
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 107406 0 0 0 66750 3456 0 0 25 0 1 0 40575394 443551744 105948 1992294400 4194304 7136930 140734666238368 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 108289 105948 394 719 0 107568 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 433156
[startup+762.309 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 10583
/proc/meminfo: memFree=1363704/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=463104 CPUtime=762.05
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 115019 0 0 0 72532 3673 0 0 25 0 1 0 40575394 474218496 113561 1992294400 4194304 7136930 140734666238368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 115776 113561 394 719 0 115055 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 463104
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 10585
/proc/meminfo: memFree=1334688/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=491524 CPUtime=822.03
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 122246 0 0 0 78290 3913 0 0 25 0 1 0 40575394 503320576 120788 1992294400 4194304 7136930 140734666238368 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 122881 120788 394 719 0 122160 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 491524
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 10587
/proc/meminfo: memFree=1307284/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=518220 CPUtime=882.01
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 129084 0 0 0 84053 4148 0 0 25 0 1 0 40575394 530657280 127626 1992294400 4194304 7136930 140734666238368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 129555 127626 394 719 0 128834 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 518220
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 10589
/proc/meminfo: memFree=1283228/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=541772 CPUtime=941.98
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 135131 0 0 0 89831 4367 0 0 25 0 1 0 40575394 554774528 133673 1992294400 4194304 7136930 140734666238368 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 135443 133673 394 719 0 134722 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 541772
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 10589
/proc/meminfo: memFree=1255204/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=568560 CPUtime=1001.96
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 141985 0 0 0 95617 4579 0 0 25 0 1 0 40575394 582205440 140527 1992294400 4194304 7136930 140734666238368 18446744073709551615 4431478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 142140 140527 394 719 0 141419 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 568560
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 10591
/proc/meminfo: memFree=1230032/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=594404 CPUtime=1061.94
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 148533 0 0 0 101396 4798 0 0 25 0 1 0 40575394 608669696 147075 1992294400 4194304 7136930 140734666238368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 148601 147075 394 719 0 147880 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 594404
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 10596
/proc/meminfo: memFree=1204612/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=617932 CPUtime=1121.93
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 154526 0 0 0 107183 5010 0 0 25 0 1 0 40575394 632762368 153068 1992294400 4194304 7136930 140734666238368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 154483 153068 394 719 0 153762 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 617932
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 10598
/proc/meminfo: memFree=1181300/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=640324 CPUtime=1181.91
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 160293 0 0 0 112972 5219 0 0 25 0 1 0 40575394 655691776 158835 1992294400 4194304 7136930 140734666238368 18446744073709551615 4947431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 160081 158835 394 719 0 159360 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 640324
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 10600
/proc/meminfo: memFree=1162824/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=658236 CPUtime=1241.88
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 164873 0 0 0 118775 5413 0 0 25 0 1 0 40575394 674033664 163415 1992294400 4194304 7136930 140734666238368 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 164559 163415 394 719 0 163838 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 658236
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10600
/proc/meminfo: memFree=1144596/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=676268 CPUtime=1301.87
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 169408 0 0 0 124578 5609 0 0 25 0 1 0 40575394 692498432 167950 1992294400 4194304 7136930 140734666238368 18446744073709551615 5000112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 169067 167950 394 719 0 168346 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 676268
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10602
/proc/meminfo: memFree=1123888/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=696628 CPUtime=1361.85
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 174589 0 0 0 130370 5815 0 0 25 0 1 0 40575394 713347072 173131 1992294400 4194304 7136930 140734666238368 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 174157 173131 394 719 0 173436 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 696628
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10604
/proc/meminfo: memFree=1112480/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=707544 CPUtime=1421.83
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 177447 0 0 0 136175 6008 0 0 25 0 1 0 40575394 724525056 175989 1992294400 4194304 7136930 140734666238368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 176886 175989 394 719 0 176165 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 707544
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10606
/proc/meminfo: memFree=1093384/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=726040 CPUtime=1481.8
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 182170 0 0 0 141969 6211 0 0 25 0 1 0 40575394 743464960 180712 1992294400 4194304 7136930 140734666238368 18446744073709551615 6165594 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 181510 180712 394 719 0 180789 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 726040
Solver just ended. Dumping a history of the last processes samples
[startup+1483.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10606
/proc/meminfo: memFree=1093756/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=725016 CPUtime=1482.6
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 182170 0 0 0 142049 6211 0 0 25 0 1 0 40575394 742416384 180456 1992294400 4194304 7136930 140734666238368 18446744073709551615 4616445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 181254 180456 394 719 0 180533 0
Current children cumulated CPU time (s) 1482.6
Current children cumulated vsize (KiB) 725016
[startup+1484.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10606
/proc/meminfo: memFree=1093756/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=724500 CPUtime=1484.2
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 182170 0 0 0 142209 6211 0 0 25 0 1 0 40575394 741888000 180327 1992294400 4194304 7136930 140734666238368 18446744073709551615 4212562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 181125 180327 394 719 0 180404 0
Current children cumulated CPU time (s) 1484.2
Current children cumulated vsize (KiB) 724500
[startup+1485.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10606
/proc/meminfo: memFree=1094376/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=670692 CPUtime=1485
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 182170 0 0 0 142288 6212 0 0 25 0 1 0 40575394 686788608 166875 1992294400 4194304 7136930 140734666238368 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10553/statm: 167673 166875 394 719 0 166952 0
Current children cumulated CPU time (s) 1485
Current children cumulated vsize (KiB) 670692
[startup+1485.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10606
/proc/meminfo: memFree=1094376/2059040 swapFree=4136500/4192956
[pid=10553] ppid=10551 vsize=513236 CPUtime=1485.2
/proc/10553/stat : 10553 (pbscip.linux.x8) R 10551 10553 10132 0 -1 4202496 182175 0 0 0 142306 6214 0 0 25 0 1 0 40575394 525553664 127516 1992294400 4194304 7136930 140734666238368 18446744073709551615 5003348 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10553/statm: 128309 127519 400 719 0 127588 0
Current children cumulated CPU time (s) 1485.2
Current children cumulated vsize (KiB) 513236
Child status: 0
Real time (s): 1485.8
CPU time (s): 1485.31
CPU user time (s): 1423.11
CPU system time (s): 62.2045
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 726040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1423.11
system time used= 62.2045
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182184
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= 5
involuntary context switches= 1893
runsolver used 2.42163 second user time and 7.06593 second system time
The end