0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703524-1278561731.opb>
0.00/0.01 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.02 c 7 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 38 | - | 322k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 129 | - | 370k| 0 | 13 | 60 | 12 | 60 | 15 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 143 | - | 403k| 0 | 14 | 60 | 12 | 60 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 146 | - | 424k| 0 | 17 | 60 | 12 | 60 | 22 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.2s| 1 | 0 | 160 | - | 444k| 0 | 16 | 60 | 12 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 169 | - | 463k| 0 | 19 | 60 | 12 | 60 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 181 | - | 469k| 0 | 19 | 60 | 12 | 60 | 30 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 2 | 181 | - | 470k| 0 | 19 | 60 | 12 | 60 | 30 | 23 | 0 | 9 | 0.000000e+00 | -- | Inf
4.30/4.33 c 4.3s| 10000 | 4339 | 29955 | 3.0 |4343k| 52 | 7 | 60 |3143 | 60 | 19 | 23 |3844 | 634 | 0.000000e+00 | -- | Inf
8.59/8.68 c 8.7s| 20000 | 7878 | 60725 | 3.0 |6586k| 53 | 7 | 60 |2054 | 60 | 19 | 23 |8256 | 845 | 0.000000e+00 | -- | Inf
12.69/12.71 c 12.7s| 30000 | 11369 | 91002 | 3.0 |9043k| 54 | - | 60 |2266 | 60 | 19 | 23 | 12k|1006 | 0.000000e+00 | -- | Inf
16.69/16.78 c 16.8s| 40000 | 15033 |121118 | 3.0 | 11M| 54 | - | 60 |2144 | 60 | 19 | 23 | 17k|1139 | 0.000000e+00 | -- | Inf
20.68/20.77 c 20.8s| 50000 | 18579 |150382 | 3.0 | 13M| 54 | 7 | 60 |2650 | 60 | 19 | 23 | 21k|1241 | 0.000000e+00 | -- | Inf
24.88/24.90 c 24.9s| 60000 | 22014 |179852 | 3.0 | 16M| 54 | 7 | 60 |2759 | 60 | 19 | 23 | 25k|1335 | 0.000000e+00 | -- | Inf
28.88/28.99 c 29.0s| 70000 | 25489 |208534 | 3.0 | 18M| 54 | 7 | 60 |2596 | 60 | 19 | 23 | 30k|1426 | 0.000000e+00 | -- | Inf
32.99/33.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.99/33.07 c 33.1s| 80000 | 28707 |237419 | 3.0 | 20M| 54 | 7 | 60 |2990 | 60 | 19 | 23 | 34k|1494 | 0.000000e+00 | -- | Inf
37.28/37.36 c 37.4s| 90000 | 31832 |266233 | 3.0 | 23M| 54 | 7 | 60 |2925 | 60 | 19 | 23 | 39k|1548 | 0.000000e+00 | -- | Inf
41.37/41.49 c 41.5s|100000 | 35154 |294425 | 2.9 | 25M| 54 | 7 | 60 |3312 | 60 | 19 | 23 | 43k|1596 | 0.000000e+00 | -- | Inf
45.67/45.74 c 45.7s|110000 | 38550 |322682 | 2.9 | 27M| 54 | 7 | 60 |2780 | 60 | 19 | 23 | 48k|1655 | 0.000000e+00 | -- | Inf
49.78/49.88 c 49.9s|120000 | 41846 |350751 | 2.9 | 30M| 54 | 7 | 60 |3330 | 60 | 19 | 23 | 52k|1719 | 0.000000e+00 | -- | Inf
53.88/53.92 c 53.9s|130000 | 45350 |379005 | 2.9 | 32M| 54 | 7 | 60 |3976 | 60 | 19 | 23 | 57k|1753 | 0.000000e+00 | -- | Inf
58.28/58.36 c 58.4s|140000 | 48491 |406714 | 2.9 | 34M| 54 | - | 60 |3292 | 60 | 19 | 23 | 61k|1783 | 0.000000e+00 | -- | Inf
62.68/62.71 c 62.7s|150000 | 51594 |434769 | 2.9 | 37M| 54 | 7 | 60 |2763 | 60 | 19 | 23 | 66k|1821 | 0.000000e+00 | -- | Inf
66.87/66.94 c 66.9s|160000 | 54708 |462411 | 2.9 | 39M| 54 | - | 60 |3171 | 60 | 19 | 23 | 71k|1856 | 0.000000e+00 | -- | Inf
70.97/71.04 c 71.0s|170000 | 58216 |490924 | 2.9 | 41M| 54 | 7 | 60 |3508 | 60 | 19 | 23 | 75k|1885 | 0.000000e+00 | -- | Inf
75.47/75.53 c 75.5s|180000 | 61182 |518609 | 2.9 | 44M| 54 | 7 | 60 |3344 | 60 | 19 | 23 | 80k|1911 | 0.000000e+00 | -- | Inf
79.97/80.04 c 80.0s|190000 | 64208 |547023 | 2.9 | 46M| 54 | 7 | 60 |3574 | 60 | 19 | 23 | 85k|1941 | 0.000000e+00 | -- | Inf
84.36/84.40 c 84.4s|200000 | 67329 |574648 | 2.9 | 48M| 54 | 7 | 60 |3613 | 60 | 19 | 23 | 89k|1966 | 0.000000e+00 | -- | Inf
88.76/88.86 c 88.9s|210000 | 70449 |602968 | 2.9 | 51M| 54 | - | 60 |3704 | 60 | 19 | 23 | 94k|2005 | 0.000000e+00 | -- | Inf
93.16/93.20 c 93.2s|220000 | 73809 |631131 | 2.9 | 53M| 54 | - | 60 |3397 | 60 | 19 | 23 | 98k|2030 | 0.000000e+00 | -- | Inf
97.56/97.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.56/97.63 c 97.6s|230000 | 77010 |658629 | 2.9 | 55M| 54 | 7 | 60 |3336 | 60 | 19 | 23 | 103k|2052 | 0.000000e+00 | -- | Inf
101.86/101.98 c 102s|240000 | 79998 |686604 | 2.9 | 58M| 54 | 7 | 60 |3866 | 60 | 19 | 23 | 107k|2071 | 0.000000e+00 | -- | Inf
106.36/106.45 c 106s|250000 | 83263 |714089 | 2.9 | 60M| 54 | 7 | 60 |3591 | 60 | 19 | 23 | 112k|2089 | 0.000000e+00 | -- | Inf
110.97/111.05 c 111s|260000 | 86225 |741872 | 2.9 | 62M| 54 | - | 60 |3158 | 60 | 19 | 23 | 117k|2120 | 0.000000e+00 | -- | Inf
115.47/115.55 c 116s|270000 | 89154 |770301 | 2.9 | 64M| 54 | 7 | 60 |3483 | 60 | 19 | 23 | 121k|2144 | 0.000000e+00 | -- | Inf
120.06/120.13 c 120s|280000 | 92226 |798030 | 2.8 | 66M| 54 | 7 | 60 |3412 | 60 | 19 | 23 | 126k|2163 | 0.000000e+00 | -- | Inf
124.65/124.74 c 125s|290000 | 95111 |825659 | 2.8 | 69M| 54 | - | 60 |3572 | 60 | 19 | 23 | 131k|2183 | 0.000000e+00 | -- | Inf
129.26/129.39 c 129s|300000 | 98199 |854212 | 2.8 | 71M| 54 | 7 | 60 |3530 | 60 | 19 | 23 | 136k|2205 | 0.000000e+00 | -- | Inf
133.75/133.87 c 134s|310000 |101400 |881945 | 2.8 | 73M| 54 | 7 | 60 |3737 | 60 | 19 | 23 | 140k|2229 | 0.000000e+00 | -- | Inf
138.35/138.45 c 138s|320000 |104383 |910141 | 2.8 | 76M| 54 | 7 | 60 |4153 | 60 | 19 | 23 | 145k|2240 | 0.000000e+00 | -- | Inf
142.95/143.08 c 143s|330000 |107429 |937560 | 2.8 | 78M| 54 | - | 60 |3830 | 60 | 19 | 23 | 149k|2259 | 0.000000e+00 | -- | Inf
147.55/147.66 c 148s|340000 |110477 |966025 | 2.8 | 80M| 54 | 7 | 60 |3628 | 60 | 19 | 23 | 154k|2278 | 0.000000e+00 | -- | Inf
151.85/151.99 c 152s|350000 |113900 |993741 | 2.8 | 82M| 54 | 7 | 60 |4431 | 60 | 19 | 23 | 158k|2296 | 0.000000e+00 | -- | Inf
156.65/156.73 c 157s|360000 |116868 | 1021k| 2.8 | 85M| 54 | 7 | 60 |3945 | 60 | 19 | 23 | 163k|2313 | 0.000000e+00 | -- | Inf
161.25/161.32 c 161s|370000 |119850 | 1049k| 2.8 | 87M| 54 | 7 | 60 |4114 | 60 | 19 | 23 | 168k|2333 | 0.000000e+00 | -- | Inf
166.05/166.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.05/166.12 c 166s|380000 |122750 | 1077k| 2.8 | 89M| 54 | 7 | 60 |3956 | 60 | 19 | 23 | 173k|2350 | 0.000000e+00 | -- | Inf
170.74/170.80 c 171s|390000 |125703 | 1105k| 2.8 | 91M| 54 | 7 | 60 |3673 | 60 | 19 | 23 | 177k|2366 | 0.000000e+00 | -- | Inf
175.25/175.36 c 175s|400000 |128723 | 1133k| 2.8 | 94M| 54 | 7 | 60 |4094 | 60 | 19 | 23 | 182k|2377 | 0.000000e+00 | -- | Inf
179.94/180.07 c 180s|410000 |131836 | 1161k| 2.8 | 96M| 54 | - | 60 |3968 | 60 | 19 | 23 | 187k|2383 | 0.000000e+00 | -- | Inf
184.34/184.45 c 184s|420000 |135225 | 1188k| 2.8 | 98M| 54 | 7 | 60 |4558 | 60 | 19 | 23 | 191k|2395 | 0.000000e+00 | -- | Inf
189.14/189.23 c 189s|430000 |138233 | 1216k| 2.8 | 101M| 54 | - | 60 |4541 | 60 | 19 | 23 | 196k|2412 | 0.000000e+00 | -- | Inf
193.93/194.02 c 194s|440000 |141298 | 1244k| 2.8 | 103M| 54 | 7 | 60 |4231 | 60 | 19 | 23 | 200k|2423 | 0.000000e+00 | -- | Inf
198.73/198.86 c 199s|450000 |144185 | 1273k| 2.8 | 105M| 54 | 7 | 60 |4181 | 60 | 19 | 23 | 205k|2438 | 0.000000e+00 | -- | Inf
203.44/203.57 c 204s|460000 |147254 | 1300k| 2.8 | 107M| 54 | 7 | 60 |4350 | 60 | 19 | 23 | 210k|2449 | 0.000000e+00 | -- | Inf
208.33/208.45 c 208s|470000 |150227 | 1328k| 2.8 | 110M| 54 | 7 | 60 |4290 | 60 | 19 | 23 | 214k|2455 | 0.000000e+00 | -- | Inf
213.24/213.37 c 213s|480000 |153019 | 1356k| 2.8 | 112M| 54 | - | 60 |3890 | 60 | 19 | 23 | 219k|2471 | 0.000000e+00 | -- | Inf
217.43/217.51 c 218s|490000 |156808 | 1384k| 2.8 | 114M| 54 | 7 | 60 |5293 | 60 | 19 | 23 | 223k|2490 | 0.000000e+00 | -- | Inf
222.14/222.23 c 222s|500000 |160114 | 1409k| 2.8 | 117M| 54 | - | 60 |5474 | 60 | 19 | 23 | 228k|2502 | 0.000000e+00 | -- | Inf
227.23/227.37 c 227s|510000 |163242 | 1437k| 2.8 | 119M| 54 | 7 | 60 |4360 | 60 | 19 | 23 | 233k|2519 | 0.000000e+00 | -- | Inf
232.12/232.27 c 232s|520000 |166230 | 1465k| 2.8 | 121M| 54 | 7 | 60 |4543 | 60 | 19 | 23 | 237k|2535 | 0.000000e+00 | -- | Inf
237.03/237.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.03/237.18 c 237s|530000 |169177 | 1493k| 2.8 | 123M| 54 | 7 | 60 |4532 | 60 | 19 | 23 | 242k|2546 | 0.000000e+00 | -- | Inf
242.02/242.17 c 242s|540000 |172191 | 1520k| 2.8 | 126M| 54 | - | 60 |4038 | 60 | 19 | 23 | 247k|2558 | 0.000000e+00 | -- | Inf
246.62/246.75 c 247s|550000 |175390 | 1547k| 2.8 | 128M| 54 | 7 | 60 |5003 | 60 | 19 | 23 | 251k|2573 | 0.000000e+00 | -- | Inf
251.32/251.44 c 251s|560000 |178515 | 1576k| 2.8 | 130M| 54 | 7 | 60 |5108 | 60 | 19 | 23 | 256k|2595 | 0.000000e+00 | -- | Inf
255.92/256.09 c 256s|570000 |181676 | 1603k| 2.8 | 133M| 54 | - | 60 |6037 | 60 | 19 | 23 | 261k|2601 | 0.000000e+00 | -- | Inf
261.22/261.37 c 261s|580000 |184693 | 1631k| 2.8 | 135M| 54 | 7 | 60 |4802 | 60 | 19 | 23 | 265k|2609 | 0.000000e+00 | -- | Inf
266.12/266.29 c 266s|590000 |187600 | 1659k| 2.8 | 137M| 54 | 7 | 60 |5006 | 60 | 19 | 23 | 270k|2617 | 0.000000e+00 | -- | Inf
271.12/271.21 c 271s|600000 |190820 | 1686k| 2.8 | 140M| 54 | 7 | 60 |4858 | 60 | 19 | 23 | 274k|2620 | 0.000000e+00 | -- | Inf
276.03/276.15 c 276s|610000 |193790 | 1713k| 2.8 | 142M| 54 | - | 60 |4909 | 60 | 19 | 23 | 279k|2627 | 0.000000e+00 | -- | Inf
280.92/281.04 c 281s|620000 |196869 | 1741k| 2.8 | 144M| 54 | - | 60 |5199 | 60 | 19 | 23 | 284k|2639 | 0.000000e+00 | -- | Inf
285.61/285.78 c 286s|630000 |200119 | 1768k| 2.8 | 147M| 54 | 7 | 60 |5514 | 60 | 19 | 23 | 288k|2648 | 0.000000e+00 | -- | Inf
290.91/291.02 c 291s|640000 |203148 | 1796k| 2.8 | 149M| 54 | - | 60 |4928 | 60 | 19 | 23 | 293k|2658 | 0.000000e+00 | -- | Inf
295.91/296.00 c 296s|650000 |206296 | 1823k| 2.8 | 151M| 54 | 7 | 60 |4506 | 60 | 19 | 23 | 297k|2666 | 0.000000e+00 | -- | Inf
300.80/300.99 c 301s|660000 |209337 | 1851k| 2.8 | 153M| 54 | - | 60 |4390 | 60 | 19 | 23 | 302k|2671 | 0.000000e+00 | -- | Inf
305.61/305.74 c 306s|670000 |212384 | 1878k| 2.8 | 156M| 54 | 7 | 60 |4696 | 60 | 19 | 23 | 307k|2671 | 0.000000e+00 | -- | Inf
310.31/310.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.31/310.42 c 310s|680000 |215371 | 1906k| 2.8 | 158M| 54 | - | 60 |5213 | 60 | 19 | 23 | 311k|2671 | 0.000000e+00 | -- | Inf
315.20/315.34 c 315s|690000 |218443 | 1933k| 2.8 | 160M| 54 | - | 60 |5385 | 0 | 0 | 23 | 316k|2671 | 0.000000e+00 | -- | Inf
320.40/320.52 c 321s|700000 |221264 | 1960k| 2.8 | 162M| 54 | 7 | 60 |4915 | 60 | 19 | 23 | 321k|2671 | 0.000000e+00 | -- | Inf
325.11/325.29 c 325s|710000 |224306 | 1989k| 2.8 | 165M| 54 | 7 | 60 |5461 | 60 | 19 | 23 | 325k|2671 | 0.000000e+00 | -- | Inf
330.40/330.51 c 330s|720000 |227282 | 2017k| 2.8 | 167M| 54 | - | 60 |4736 | 60 | 19 | 23 | 330k|2671 | 0.000000e+00 | -- | Inf
335.50/335.62 c 336s|730000 |230238 | 2045k| 2.8 | 169M| 54 | 7 | 60 |5110 | 60 | 19 | 23 | 335k|2681 | 0.000000e+00 | -- | Inf
340.50/340.63 c 341s|740000 |233240 | 2073k| 2.8 | 171M| 54 | 7 | 60 |4827 | 60 | 19 | 23 | 339k|2687 | 0.000000e+00 | -- | Inf
345.40/345.53 c 346s|750000 |236248 | 2102k| 2.8 | 173M| 54 | 7 | 60 |4500 | 60 | 19 | 23 | 344k|2694 | 0.000000e+00 | -- | Inf
349.90/350.06 c 350s|760000 |239412 | 2129k| 2.8 | 176M| 54 | 7 | 60 |5759 | 60 | 19 | 23 | 349k|2697 | 0.000000e+00 | -- | Inf
354.99/355.16 c 355s|770000 |242630 | 2157k| 2.8 | 178M| 54 | 7 | 60 |4732 | 60 | 19 | 23 | 353k|2697 | 0.000000e+00 | -- | Inf
360.10/360.20 c 360s|780000 |245530 | 2186k| 2.8 | 180M| 54 | 7 | 60 |4777 | 60 | 19 | 23 | 358k|2697 | 0.000000e+00 | -- | Inf
365.00/365.15 c 365s|790000 |248672 | 2213k| 2.8 | 183M| 54 | 7 | 60 |5491 | 60 | 19 | 23 | 363k|2697 | 0.000000e+00 | -- | Inf
369.89/370.00 c 370s|800000 |251742 | 2241k| 2.8 | 185M| 54 | 7 | 60 |5839 | 60 | 19 | 23 | 367k|2697 | 0.000000e+00 | -- | Inf
375.39/375.55 c 376s|810000 |254430 | 2269k| 2.8 | 187M| 54 | 7 | 60 |4499 | 60 | 19 | 23 | 372k|2697 | 0.000000e+00 | -- | Inf
380.29/380.43 c 380s|820000 |257255 | 2296k| 2.8 | 189M| 54 | - | 60 |5150 | 60 | 19 | 23 | 377k|2697 | 0.000000e+00 | -- | Inf
385.59/385.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.59/385.73 c 386s|830000 |260164 | 2324k| 2.8 | 191M| 54 | 7 | 60 |4565 | 60 | 19 | 23 | 382k|2697 | 0.000000e+00 | -- | Inf
390.58/390.72 c 391s|840000 |263095 | 2351k| 2.8 | 194M| 54 | 7 | 60 |4887 | 60 | 19 | 23 | 386k|2697 | 0.000000e+00 | -- | Inf
395.29/395.47 c 395s|850000 |266218 | 2379k| 2.8 | 196M| 54 | 7 | 60 |4957 | 60 | 19 | 23 | 391k|2697 | 0.000000e+00 | -- | Inf
400.19/400.38 c 400s|860000 |269280 | 2406k| 2.8 | 198M| 54 | 7 | 60 |5354 | 60 | 19 | 23 | 395k|2697 | 0.000000e+00 | -- | Inf
405.48/405.60 c 406s|870000 |272123 | 2434k| 2.8 | 201M| 54 | - | 60 |5040 | 60 | 19 | 23 | 400k|2697 | 0.000000e+00 | -- | Inf
410.48/410.60 c 411s|880000 |275100 | 2462k| 2.8 | 203M| 54 | 7 | 60 |5111 | 60 | 19 | 23 | 405k|2697 | 0.000000e+00 | -- | Inf
415.38/415.57 c 416s|890000 |278141 | 2489k| 2.8 | 205M| 54 | 7 | 60 |5159 | 60 | 19 | 23 | 409k|2697 | 0.000000e+00 | -- | Inf
419.99/420.15 c 420s|900000 |281302 | 2517k| 2.8 | 208M| 54 | - | 60 |6477 | 60 | 19 | 23 | 414k|2697 | 0.000000e+00 | -- | Inf
424.27/424.50 c 424s|910000 |284961 | 2544k| 2.8 | 210M| 54 | 7 | 60 |8374 | 60 | 19 | 23 | 418k|2697 | 0.000000e+00 | -- | Inf
429.68/429.88 c 430s|920000 |288128 | 2572k| 2.8 | 213M| 54 | 7 | 60 |6960 | 60 | 19 | 23 | 422k|2697 | 0.000000e+00 | -- | Inf
434.97/435.16 c 435s|930000 |291202 | 2600k| 2.8 | 215M| 54 | - | 60 |6755 | 60 | 19 | 23 | 427k|2697 | 0.000000e+00 | -- | Inf
440.98/441.17 c 441s|940000 |294019 | 2627k| 2.8 | 217M| 54 | - | 60 |4951 | 60 | 19 | 23 | 432k|2705 | 0.000000e+00 | -- | Inf
446.28/446.43 c 446s|950000 |296719 | 2655k| 2.8 | 219M| 54 | - | 60 |4692 | 60 | 19 | 23 | 437k|2705 | 0.000000e+00 | -- | Inf
451.67/451.82 c 452s|960000 |299506 | 2683k| 2.8 | 221M| 54 | - | 60 |4835 | 60 | 19 | 23 | 441k|2705 | 0.000000e+00 | -- | Inf
455.77/455.98 c 456s|970000 |303256 | 2709k| 2.8 | 224M| 54 | 7 | 60 |7209 | 60 | 19 | 23 | 446k|2705 | 0.000000e+00 | -- | Inf
461.27/461.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.27/461.46 c 461s|980000 |306336 | 2736k| 2.8 | 226M| 54 | - | 60 |5486 | 60 | 19 | 23 | 450k|2705 | 0.000000e+00 | -- | Inf
466.47/466.61 c 467s|990000 |309292 | 2764k| 2.8 | 228M| 54 | 7 | 60 |4584 | 60 | 19 | 23 | 455k|2705 | 0.000000e+00 | -- | Inf
471.37/471.58 c 472s| 1000k|312323 | 2791k| 2.8 | 230M| 54 | 7 | 60 |4958 | 60 | 19 | 23 | 459k|2705 | 0.000000e+00 | -- | Inf
475.97/476.10 c 476s| 1010k|315672 | 2819k| 2.8 | 233M| 54 | - | 60 |5733 | 60 | 19 | 23 | 464k|2705 | 0.000000e+00 | -- | Inf
481.36/481.54 c 482s| 1020k|318601 | 2847k| 2.8 | 235M| 54 | - | 60 |4492 | 60 | 19 | 23 | 469k|2712 | 0.000000e+00 | -- | Inf
485.86/486.08 c 486s| 1030k|321742 | 2874k| 2.8 | 237M| 54 | - | 60 |5895 | 60 | 19 | 23 | 473k|2718 | 0.000000e+00 | -- | Inf
490.86/491.02 c 491s| 1040k|325150 | 2901k| 2.8 | 240M| 54 | - | 60 |6217 | 60 | 19 | 23 | 478k|2718 | 0.000000e+00 | -- | Inf
496.26/496.40 c 496s| 1050k|328238 | 2929k| 2.8 | 242M| 54 | - | 60 |5150 | 60 | 19 | 23 | 482k|2718 | 0.000000e+00 | -- | Inf
501.36/501.53 c 502s| 1060k|331143 | 2957k| 2.8 | 244M| 54 | 7 | 60 |5100 | 60 | 19 | 23 | 487k|2718 | 0.000000e+00 | -- | Inf
506.55/506.70 c 507s| 1070k|334020 | 2985k| 2.8 | 246M| 54 | 7 | 60 |5390 | 60 | 19 | 23 | 492k|2718 | 0.000000e+00 | -- | Inf
511.85/512.00 c 512s| 1080k|336856 | 3013k| 2.8 | 248M| 54 | - | 60 |5504 | 60 | 19 | 23 | 497k|2720 | 0.000000e+00 | -- | Inf
517.25/517.45 c 517s| 1090k|339690 | 3040k| 2.8 | 250M| 54 | 7 | 60 |5173 | 60 | 19 | 23 | 502k|2726 | 0.000000e+00 | -- | Inf
522.26/522.44 c 522s| 1100k|342741 | 3068k| 2.8 | 253M| 54 | - | 60 |5810 | 60 | 19 | 23 | 506k|2732 | 0.000000e+00 | -- | Inf
527.65/527.89 c 528s| 1110k|345725 | 3095k| 2.8 | 255M| 54 | - | 60 |5186 | 60 | 19 | 23 | 511k|2732 | 0.000000e+00 | -- | Inf
532.84/533.10 c 533s| 1120k|348604 | 3122k| 2.8 | 257M| 54 | - | 60 |5513 | 60 | 19 | 23 | 516k|2732 | 0.000000e+00 | -- | Inf
538.25/538.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.25/538.47 c 538s| 1130k|351408 | 3150k| 2.8 | 259M| 54 | 7 | 60 |5057 | 60 | 19 | 23 | 520k|2732 | 0.000000e+00 | -- | Inf
543.35/543.53 c 544s| 1140k|354424 | 3178k| 2.8 | 262M| 54 | - | 60 |5562 | 60 | 19 | 23 | 525k|2732 | 0.000000e+00 | -- | Inf
548.75/548.91 c 549s| 1150k|357182 | 3205k| 2.8 | 264M| 54 | 7 | 60 |5034 | 60 | 19 | 23 | 530k|2733 | 0.000000e+00 | -- | Inf
553.84/554.04 c 554s| 1160k|360049 | 3233k| 2.8 | 266M| 54 | - | 60 |5462 | 60 | 19 | 23 | 535k|2738 | 0.000000e+00 | -- | Inf
559.15/559.34 c 559s| 1170k|363089 | 3260k| 2.8 | 268M| 54 | - | 60 |5497 | 60 | 19 | 23 | 539k|2743 | 0.000000e+00 | -- | Inf
564.24/564.45 c 564s| 1180k|366145 | 3286k| 2.8 | 271M| 54 | - | 60 |5672 | 60 | 19 | 23 | 544k|2743 | 0.000000e+00 | -- | Inf
569.44/569.68 c 570s| 1190k|369262 | 3314k| 2.8 | 273M| 54 | 7 | 60 |5419 | 60 | 19 | 23 | 549k|2743 | 0.000000e+00 | -- | Inf
574.54/574.70 c 575s| 1200k|372348 | 3341k| 2.8 | 275M| 54 | 7 | 60 |6216 | 60 | 19 | 23 | 553k|2743 | 0.000000e+00 | -- | Inf
579.03/579.26 c 579s| 1210k|376046 | 3368k| 2.8 | 278M| 54 | 7 | 60 |7834 | 60 | 19 | 23 | 557k|2743 | 0.000000e+00 | -- | Inf
584.74/584.93 c 585s| 1220k|379054 | 3395k| 2.8 | 280M| 54 | - | 60 |6365 | 60 | 19 | 23 | 562k|2743 | 0.000000e+00 | -- | Inf
590.24/590.44 c 590s| 1230k|382046 | 3422k| 2.8 | 282M| 54 | 7 | 60 |5676 | 60 | 19 | 23 | 566k|2743 | 0.000000e+00 | -- | Inf
595.94/596.18 c 596s| 1240k|384880 | 3450k| 2.8 | 284M| 54 | 7 | 60 |5604 | 60 | 19 | 23 | 571k|2743 | 0.000000e+00 | -- | Inf
601.13/601.39 c 601s| 1250k|387982 | 3477k| 2.8 | 287M| 54 | 7 | 60 |5445 | 60 | 19 | 23 | 576k|2743 | 0.000000e+00 | -- | Inf
606.73/606.91 c 607s| 1260k|390614 | 3505k| 2.8 | 289M| 54 | 7 | 60 |5337 | 60 | 19 | 23 | 581k|2743 | 0.000000e+00 | -- | Inf
612.13/612.30 c 612s| 1270k|393599 | 3532k| 2.8 | 291M| 54 | 7 | 60 |5088 | 60 | 19 | 23 | 585k|2743 | 0.000000e+00 | -- | Inf
617.63/617.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.63/617.83 c 618s| 1280k|396386 | 3560k| 2.8 | 293M| 54 | 7 | 60 |4974 | 60 | 19 | 23 | 590k|2743 | 0.000000e+00 | -- | Inf
622.43/622.68 c 623s| 1290k|399653 | 3589k| 2.8 | 296M| 54 | 7 | 60 |6040 | 60 | 19 | 23 | 595k|2743 | 0.000000e+00 | -- | Inf
627.73/627.97 c 628s| 1300k|402620 | 3616k| 2.8 | 298M| 54 | - | 60 |6492 | 0 | 0 | 23 | 599k|2743 | 0.000000e+00 | -- | Inf
633.62/633.82 c 634s| 1310k|405343 | 3644k| 2.8 | 300M| 54 | 7 | 60 |5315 | 60 | 19 | 23 | 604k|2743 | 0.000000e+00 | -- | Inf
638.32/638.58 c 639s| 1320k|408524 | 3672k| 2.8 | 302M| 54 | - | 60 |6714 | 60 | 19 | 23 | 609k|2743 | 0.000000e+00 | -- | Inf
644.12/644.36 c 644s| 1330k|411291 | 3699k| 2.8 | 304M| 54 | 7 | 60 |5693 | 60 | 19 | 23 | 614k|2743 | 0.000000e+00 | -- | Inf
649.12/649.34 c 649s| 1340k|414401 | 3726k| 2.8 | 307M| 54 | 7 | 60 |5629 | 60 | 19 | 23 | 618k|2743 | 0.000000e+00 | -- | Inf
654.33/654.58 c 655s| 1350k|417391 | 3753k| 2.8 | 309M| 54 | 7 | 60 |5603 | 60 | 19 | 23 | 623k|2743 | 0.000000e+00 | -- | Inf
659.61/659.80 c 660s| 1360k|420447 | 3781k| 2.8 | 311M| 54 | - | 60 |5279 | 60 | 19 | 23 | 627k|2743 | 0.000000e+00 | -- | Inf
665.12/665.36 c 665s| 1370k|423189 | 3808k| 2.8 | 313M| 54 | 7 | 60 |4959 | 60 | 19 | 23 | 632k|2743 | 0.000000e+00 | -- | Inf
670.31/670.60 c 671s| 1380k|425972 | 3836k| 2.8 | 315M| 54 | 7 | 60 |5145 | 60 | 19 | 23 | 637k|2743 | 0.000000e+00 | -- | Inf
675.51/675.75 c 676s| 1390k|428825 | 3863k| 2.8 | 318M| 54 | 7 | 60 |5517 | 60 | 19 | 23 | 642k|2743 | 0.000000e+00 | -- | Inf
680.51/680.77 c 681s| 1400k|431901 | 3890k| 2.8 | 320M| 54 | - | 60 |5072 | 60 | 19 | 23 | 646k|2743 | 0.000000e+00 | -- | Inf
685.51/685.79 c 686s| 1410k|434908 | 3917k| 2.8 | 322M| 54 | 7 | 60 |5743 | 60 | 19 | 23 | 651k|2743 | 0.000000e+00 | -- | Inf
691.00/691.23 c 691s| 1420k|437704 | 3945k| 2.8 | 324M| 54 | 7 | 60 |5740 | 60 | 19 | 23 | 656k|2743 | 0.000000e+00 | -- | Inf
696.60/696.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.60/696.86 c 697s| 1430k|440470 | 3973k| 2.8 | 327M| 54 | - | 60 |5560 | 60 | 19 | 23 | 660k|2743 | 0.000000e+00 | -- | Inf
702.20/702.42 c 702s| 1440k|443240 | 4000k| 2.8 | 329M| 54 | 7 | 60 |5301 | 60 | 19 | 23 | 665k|2743 | 0.000000e+00 | -- | Inf
706.81/707.03 c 707s| 1450k|446633 | 4027k| 2.8 | 331M| 54 | 7 | 60 |6395 | 60 | 19 | 23 | 670k|2743 | 0.000000e+00 | -- | Inf
712.20/712.42 c 712s| 1460k|449683 | 4055k| 2.8 | 333M| 54 | - | 60 |5814 | 60 | 19 | 23 | 674k|2743 | 0.000000e+00 | -- | Inf
717.80/718.03 c 718s| 1470k|452429 | 4082k| 2.8 | 335M| 54 | 7 | 60 |5461 | 60 | 19 | 23 | 679k|2743 | 0.000000e+00 | -- | Inf
723.30/723.50 c 723s| 1480k|455446 | 4110k| 2.8 | 338M| 54 | 7 | 60 |5317 | 60 | 19 | 23 | 684k|2743 | 0.000000e+00 | -- | Inf
728.70/728.98 c 729s| 1490k|458275 | 4138k| 2.8 | 340M| 54 | 7 | 60 |4878 | 60 | 19 | 23 | 689k|2743 | 0.000000e+00 | -- | Inf
733.90/734.19 c 734s| 1500k|461138 | 4165k| 2.8 | 342M| 54 | 7 | 60 |5244 | 60 | 19 | 23 | 693k|2743 | 0.000000e+00 | -- | Inf
739.10/739.32 c 739s| 1510k|464052 | 4193k| 2.8 | 344M| 54 | - | 60 |5734 | 60 | 19 | 23 | 698k|2743 | 0.000000e+00 | -- | Inf
744.50/744.79 c 745s| 1520k|467092 | 4221k| 2.8 | 346M| 54 | 7 | 60 |4931 | 60 | 19 | 23 | 703k|2743 | 0.000000e+00 | -- | Inf
749.20/749.46 c 749s| 1530k|470238 | 4249k| 2.8 | 349M| 54 | 7 | 60 |6074 | 60 | 19 | 23 | 707k|2743 | 0.000000e+00 | -- | Inf
754.49/754.74 c 755s| 1540k|473216 | 4276k| 2.8 | 351M| 54 | - | 60 |6396 | 60 | 19 | 23 | 712k|2743 | 0.000000e+00 | -- | Inf
759.49/759.72 c 760s| 1550k|476510 | 4303k| 2.8 | 354M| 54 | 7 | 60 |7015 | 60 | 19 | 23 | 716k|2743 | 0.000000e+00 | -- | Inf
765.39/765.66 c 766s| 1560k|479431 | 4330k| 2.8 | 356M| 54 | 7 | 60 |5614 | 60 | 19 | 23 | 721k|2743 | 0.000000e+00 | -- | Inf
770.79/771.00 c 771s| 1570k|482312 | 4358k| 2.8 | 358M| 54 | 7 | 60 |5843 | 60 | 19 | 23 | 726k|2743 | 0.000000e+00 | -- | Inf
776.19/776.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.19/776.48 c 776s| 1580k|485160 | 4385k| 2.8 | 360M| 54 | - | 60 |5548 | 60 | 19 | 23 | 731k|2743 | 0.000000e+00 | -- | Inf
781.38/781.67 c 782s| 1590k|488114 | 4413k| 2.8 | 362M| 54 | - | 60 |5889 | 60 | 19 | 23 | 735k|2743 | 0.000000e+00 | -- | Inf
786.88/787.15 c 787s| 1600k|490847 | 4440k| 2.8 | 365M| 54 | - | 60 |6041 | 60 | 19 | 23 | 740k|2743 | 0.000000e+00 | -- | Inf
792.79/793.03 c 793s| 1610k|493650 | 4468k| 2.8 | 367M| 54 | 7 | 60 |5589 | 60 | 19 | 23 | 745k|2743 | 0.000000e+00 | -- | Inf
798.29/798.58 c 799s| 1620k|496388 | 4496k| 2.8 | 369M| 54 | 7 | 60 |5397 | 60 | 19 | 23 | 750k|2743 | 0.000000e+00 | -- | Inf
803.68/803.98 c 804s| 1630k|499274 | 4523k| 2.8 | 371M| 54 | 7 | 60 |5290 | 60 | 19 | 23 | 754k|2743 | 0.000000e+00 | -- | Inf
808.78/809.04 c 809s| 1640k|502341 | 4551k| 2.8 | 374M| 54 | 7 | 60 |6436 | 60 | 19 | 23 | 759k|2743 | 0.000000e+00 | -- | Inf
814.67/814.95 c 815s| 1650k|505104 | 4578k| 2.8 | 375M| 54 | 7 | 60 |5290 | 60 | 19 | 23 | 764k|2743 | 0.000000e+00 | -- | Inf
819.87/820.18 c 820s| 1660k|508159 | 4605k| 2.8 | 378M| 54 | 7 | 60 |5285 | 60 | 19 | 23 | 768k|2743 | 0.000000e+00 | -- | Inf
825.08/825.30 c 825s| 1670k|511171 | 4632k| 2.8 | 380M| 54 | 7 | 60 |5776 | 60 | 19 | 23 | 773k|2743 | 0.000000e+00 | -- | Inf
830.48/830.77 c 831s| 1680k|514163 | 4659k| 2.8 | 382M| 54 | 7 | 60 |5353 | 60 | 19 | 23 | 778k|2743 | 0.000000e+00 | -- | Inf
835.68/835.93 c 836s| 1690k|517239 | 4687k| 2.8 | 385M| 54 | 7 | 60 |6187 | 60 | 19 | 23 | 782k|2743 | 0.000000e+00 | -- | Inf
841.47/841.75 c 842s| 1700k|520044 | 4714k| 2.8 | 387M| 54 | 7 | 60 |5696 | 60 | 19 | 23 | 787k|2743 | 0.000000e+00 | -- | Inf
846.68/846.99 c 847s| 1710k|523109 | 4741k| 2.8 | 389M| 54 | 7 | 60 |5437 | 60 | 19 | 23 | 792k|2743 | 0.000000e+00 | -- | Inf
851.97/852.28 c 852s| 1720k|525860 | 4768k| 2.8 | 391M| 54 | 7 | 60 |5076 | 60 | 19 | 23 | 796k|2743 | 0.000000e+00 | -- | Inf
857.36/857.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
857.36/857.69 c 858s| 1730k|528686 | 4795k| 2.8 | 393M| 54 | 7 | 60 |5127 | 60 | 19 | 23 | 801k|2743 | 0.000000e+00 | -- | Inf
862.56/862.89 c 863s| 1740k|531638 | 4823k| 2.8 | 396M| 54 | 7 | 60 |5303 | 60 | 19 | 23 | 806k|2743 | 0.000000e+00 | -- | Inf
867.76/868.03 c 868s| 1750k|534629 | 4850k| 2.8 | 398M| 54 | 7 | 60 |6054 | 60 | 19 | 23 | 810k|2743 | 0.000000e+00 | -- | Inf
873.06/873.33 c 873s| 1760k|537558 | 4877k| 2.8 | 400M| 54 | 7 | 60 |6442 | 60 | 19 | 23 | 815k|2743 | 0.000000e+00 | -- | Inf
878.16/878.44 c 878s| 1770k|540861 | 4904k| 2.8 | 403M| 54 | - | 60 |7160 | 60 | 19 | 23 | 819k|2743 | 0.000000e+00 | -- | Inf
883.86/884.14 c 884s| 1780k|543835 | 4932k| 2.8 | 405M| 54 | 7 | 60 |6924 | 60 | 19 | 23 | 824k|2743 | 0.000000e+00 | -- | Inf
889.35/889.63 c 890s| 1790k|546678 | 4959k| 2.8 | 407M| 54 | 7 | 60 |7141 | 60 | 19 | 23 | 829k|2743 | 0.000000e+00 | -- | Inf
895.36/895.60 c 896s| 1800k|549454 | 4987k| 2.8 | 409M| 54 | 7 | 60 |6240 | 60 | 19 | 23 | 834k|2743 | 0.000000e+00 | -- | Inf
900.85/901.15 c 901s| 1810k|552327 | 5014k| 2.8 | 411M| 54 | 7 | 60 |5881 | 60 | 19 | 23 | 838k|2743 | 0.000000e+00 | -- | Inf
906.06/906.34 c 906s| 1820k|555136 | 5041k| 2.8 | 414M| 54 | - | 60 |6239 | 60 | 19 | 23 | 843k|2743 | 0.000000e+00 | -- | Inf
911.35/911.68 c 912s| 1830k|557985 | 5069k| 2.8 | 416M| 54 | - | 60 |6360 | 60 | 19 | 23 | 848k|2743 | 0.000000e+00 | -- | Inf
917.35/917.66 c 918s| 1840k|560752 | 5096k| 2.8 | 418M| 54 | 7 | 60 |5470 | 60 | 19 | 23 | 852k|2743 | 0.000000e+00 | -- | Inf
922.55/922.89 c 923s| 1850k|563689 | 5123k| 2.8 | 420M| 54 | 7 | 60 |5899 | 60 | 19 | 23 | 857k|2743 | 0.000000e+00 | -- | Inf
928.25/928.58 c 929s| 1860k|566482 | 5150k| 2.8 | 422M| 54 | 7 | 60 |5365 | 60 | 19 | 23 | 862k|2743 | 0.000000e+00 | -- | Inf
933.85/934.16 c 934s| 1870k|569196 | 5177k| 2.8 | 425M| 54 | 7 | 60 |5619 | 60 | 19 | 23 | 867k|2743 | 0.000000e+00 | -- | Inf
939.44/939.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.44/939.77 c 940s| 1880k|571963 | 5205k| 2.8 | 427M| 54 | 7 | 60 |5636 | 60 | 19 | 23 | 871k|2743 | 0.000000e+00 | -- | Inf
944.94/945.23 c 945s| 1890k|574736 | 5233k| 2.8 | 429M| 54 | - | 60 |5581 | 60 | 19 | 23 | 876k|2743 | 0.000000e+00 | -- | Inf
949.95/950.25 c 950s| 1900k|577874 | 5260k| 2.8 | 431M| 54 | 7 | 60 |6494 | 60 | 19 | 23 | 881k|2743 | 0.000000e+00 | -- | Inf
954.74/955.04 c 955s| 1910k|581410 | 5288k| 2.8 | 434M| 54 | 7 | 60 |7528 | 60 | 19 | 23 | 885k|2743 | 0.000000e+00 | -- | Inf
960.13/960.46 c 960s| 1920k|584341 | 5314k| 2.8 | 437M| 54 | 7 | 60 |8794 | 60 | 19 | 23 | 890k|2743 | 0.000000e+00 | -- | Inf
966.13/966.40 c 966s| 1930k|587503 | 5342k| 2.8 | 439M| 54 | 7 | 60 |8007 | 60 | 19 | 23 | 894k|2743 | 0.000000e+00 | -- | Inf
972.15/972.46 c 972s| 1940k|590284 | 5370k| 2.8 | 441M| 54 | 7 | 60 |6467 | 60 | 19 | 23 | 899k|2743 | 0.000000e+00 | -- | Inf
977.84/978.10 c 978s| 1950k|593180 | 5398k| 2.8 | 443M| 54 | 7 | 60 |6071 | 60 | 19 | 23 | 904k|2743 | 0.000000e+00 | -- | Inf
983.63/983.96 c 984s| 1960k|595854 | 5425k| 2.8 | 445M| 54 | 7 | 60 |5466 | 60 | 19 | 23 | 909k|2743 | 0.000000e+00 | -- | Inf
989.13/989.45 c 989s| 1970k|598659 | 5452k| 2.8 | 447M| 54 | 7 | 60 |5424 | 60 | 19 | 23 | 913k|2743 | 0.000000e+00 | -- | Inf
994.63/994.91 c 995s| 1980k|601456 | 5480k| 2.8 | 449M| 54 | - | 60 |5951 | 60 | 19 | 23 | 918k|2743 | 0.000000e+00 | -- | Inf
1000.63/1000.96 c 1001s| 1990k|604145 | 5507k| 2.8 | 451M| 54 | - | 60 |5216 | 60 | 19 | 23 | 923k|2743 | 0.000000e+00 | -- | Inf
1005.62/1005.93 c 1006s| 2000k|607162 | 5534k| 2.8 | 454M| 54 | - | 60 |6472 | 60 | 19 | 23 | 928k|2743 | 0.000000e+00 | -- | Inf
1010.92/1011.24 c 1011s| 2010k|610038 | 5561k| 2.8 | 456M| 54 | 7 | 60 |6497 | 60 | 19 | 23 | 932k|2743 | 0.000000e+00 | -- | Inf
1016.03/1016.34 c 1016s| 2020k|613115 | 5589k| 2.8 | 458M| 54 | 7 | 60 |6791 | 60 | 19 | 23 | 937k|2743 | 0.000000e+00 | -- | Inf
1021.23/1021.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.23/1021.58 c 1022s| 2030k|616126 | 5616k| 2.8 | 461M| 54 | - | 60 |6632 | 60 | 19 | 23 | 941k|2743 | 0.000000e+00 | -- | Inf
1026.82/1027.12 c 1027s| 2040k|619263 | 5644k| 2.8 | 463M| 54 | 7 | 60 |6277 | 60 | 19 | 23 | 946k|2743 | 0.000000e+00 | -- | Inf
1032.22/1032.53 c 1033s| 2050k|622005 | 5671k| 2.8 | 465M| 54 | 7 | 60 |6747 | 60 | 19 | 23 | 951k|2743 | 0.000000e+00 | -- | Inf
1037.82/1038.13 c 1038s| 2060k|624826 | 5697k| 2.8 | 467M| 54 | 7 | 60 |6285 | 60 | 19 | 23 | 956k|2743 | 0.000000e+00 | -- | Inf
1042.42/1042.70 c 1043s| 2070k|628529 | 5726k| 2.8 | 470M| 54 | 7 | 60 |7932 | 60 | 19 | 23 | 960k|2743 | 0.000000e+00 | -- | Inf
1048.22/1048.58 c 1049s| 2080k|631762 | 5754k| 2.8 | 472M| 54 | 7 | 60 |6380 | 60 | 19 | 23 | 964k|2743 | 0.000000e+00 | -- | Inf
1053.71/1054.06 c 1054s| 2090k|634599 | 5781k| 2.8 | 474M| 54 | - | 60 |6381 | 60 | 19 | 23 | 969k|2743 | 0.000000e+00 | -- | Inf
1059.71/1060.02 c 1060s| 2100k|637242 | 5808k| 2.8 | 476M| 54 | 7 | 60 |5562 | 60 | 19 | 23 | 974k|2743 | 0.000000e+00 | -- | Inf
1064.91/1065.29 c 1065s| 2110k|640239 | 5835k| 2.8 | 479M| 54 | 7 | 60 |5896 | 60 | 19 | 23 | 978k|2743 | 0.000000e+00 | -- | Inf
1070.02/1070.33 c 1070s| 2120k|643437 | 5862k| 2.8 | 481M| 54 | 7 | 60 |6265 | 60 | 19 | 23 | 983k|2743 | 0.000000e+00 | -- | Inf
1075.31/1075.69 c 1076s| 2130k|646351 | 5890k| 2.8 | 483M| 54 | 7 | 60 |6372 | 60 | 19 | 23 | 988k|2743 | 0.000000e+00 | -- | Inf
1080.60/1080.90 c 1081s| 2140k|649156 | 5917k| 2.8 | 485M| 54 | - | 60 |6441 | 60 | 19 | 23 | 992k|2743 | 0.000000e+00 | -- | Inf
1086.00/1086.34 c 1086s| 2150k|652030 | 5945k| 2.8 | 488M| 54 | 7 | 60 |6460 | 60 | 19 | 23 | 997k|2743 | 0.000000e+00 | -- | Inf
1091.61/1091.96 c 1092s| 2160k|654999 | 5972k| 2.8 | 490M| 54 | 7 | 60 |6357 | 60 | 19 | 23 |1002k|2743 | 0.000000e+00 | -- | Inf
1097.30/1097.61 c 1098s| 2170k|657863 | 5999k| 2.8 | 492M| 54 | - | 60 |6177 | 60 | 19 | 23 |1006k|2743 | 0.000000e+00 | -- | Inf
1103.10/1103.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.10/1103.47 c 1103s| 2180k|660741 | 6026k| 2.8 | 494M| 54 | - | 60 |5308 | 60 | 19 | 23 |1011k|2743 | 0.000000e+00 | -- | Inf
1108.10/1108.40 c 1108s| 2190k|664171 | 6052k| 2.8 | 497M| 54 | - | 60 |6678 | 60 | 19 | 23 |1015k|2743 | 0.000000e+00 | -- | Inf
1114.20/1114.58 c 1115s| 2200k|666978 | 6080k| 2.8 | 499M| 54 | 7 | 60 |5771 | 60 | 19 | 23 |1020k|2743 | 0.000000e+00 | -- | Inf
1119.50/1119.84 c 1120s| 2210k|669780 | 6107k| 2.8 | 501M| 54 | 7 | 60 |6460 | 60 | 19 | 23 |1025k|2743 | 0.000000e+00 | -- | Inf
1125.30/1125.64 c 1126s| 2220k|672585 | 6134k| 2.8 | 503M| 54 | 7 | 60 |5179 | 60 | 19 | 23 |1030k|2743 | 0.000000e+00 | -- | Inf
1130.30/1130.66 c 1131s| 2230k|675753 | 6161k| 2.8 | 505M| 54 | 7 | 60 |6164 | 60 | 19 | 23 |1034k|2743 | 0.000000e+00 | -- | Inf
1136.09/1136.40 c 1136s| 2240k|678588 | 6188k| 2.8 | 508M| 54 | 7 | 60 |6100 | 60 | 19 | 23 |1039k|2743 | 0.000000e+00 | -- | Inf
1141.29/1141.64 c 1142s| 2250k|681693 | 6216k| 2.8 | 510M| 54 | - | 60 |6047 | 60 | 19 | 23 |1044k|2743 | 0.000000e+00 | -- | Inf
1146.59/1146.93 c 1147s| 2260k|684715 | 6244k| 2.8 | 512M| 54 | 7 | 60 |6434 | 60 | 19 | 23 |1048k|2743 | 0.000000e+00 | -- | Inf
1151.40/1151.72 c 1152s| 2270k|688093 | 6270k| 2.8 | 515M| 54 | - | 60 |7067 | 60 | 19 | 23 |1053k|2743 | 0.000000e+00 | -- | Inf
1157.29/1157.68 c 1158s| 2280k|690924 | 6297k| 2.8 | 517M| 54 | - | 60 |5558 | 60 | 19 | 23 |1057k|2743 | 0.000000e+00 | -- | Inf
1162.78/1163.11 c 1163s| 2290k|693797 | 6324k| 2.8 | 519M| 54 | 7 | 60 |5527 | 60 | 19 | 23 |1062k|2743 | 0.000000e+00 | -- | Inf
1168.08/1168.43 c 1168s| 2300k|696750 | 6351k| 2.8 | 521M| 54 | 7 | 60 |5489 | 60 | 19 | 23 |1066k|2743 | 0.000000e+00 | -- | Inf
1173.29/1173.70 c 1174s| 2310k|699730 | 6378k| 2.8 | 523M| 54 | - | 60 |6192 | 60 | 19 | 23 |1071k|2743 | 0.000000e+00 | -- | Inf
1179.08/1179.43 c 1179s| 2320k|702530 | 6405k| 2.8 | 526M| 54 | 7 | 60 |5980 | 60 | 19 | 23 |1076k|2743 | 0.000000e+00 | -- | Inf
1184.88/1185.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.88/1185.21 c 1185s| 2330k|705345 | 6432k| 2.8 | 528M| 54 | - | 60 |5116 | 60 | 19 | 23 |1080k|2743 | 0.000000e+00 | -- | Inf
1190.38/1190.75 c 1191s| 2340k|708090 | 6459k| 2.8 | 530M| 54 | 7 | 60 |5187 | 60 | 19 | 23 |1085k|2743 | 0.000000e+00 | -- | Inf
1195.98/1196.34 c 1196s| 2350k|711047 | 6485k| 2.8 | 532M| 54 | 7 | 60 |5170 | 60 | 19 | 23 |1090k|2743 | 0.000000e+00 | -- | Inf
1201.07/1201.43 c 1201s| 2360k|713858 | 6513k| 2.8 | 534M| 54 | - | 60 |6308 | 60 | 19 | 23 |1095k|2743 | 0.000000e+00 | -- | Inf
1206.88/1207.25 c 1207s| 2370k|716681 | 6540k| 2.8 | 536M| 54 | - | 60 |5444 | 60 | 19 | 23 |1099k|2743 | 0.000000e+00 | -- | Inf
1212.37/1212.71 c 1213s| 2380k|719492 | 6568k| 2.8 | 539M| 54 | 7 | 60 |5585 | 60 | 19 | 23 |1104k|2743 | 0.000000e+00 | -- | Inf
1218.07/1218.41 c 1218s| 2390k|722211 | 6596k| 2.8 | 541M| 54 | - | 60 |6012 | 60 | 19 | 23 |1109k|2743 | 0.000000e+00 | -- | Inf
1224.07/1224.45 c 1224s| 2400k|724836 | 6624k| 2.8 | 543M| 54 | - | 60 |5532 | 60 | 19 | 23 |1114k|2743 | 0.000000e+00 | -- | Inf
1229.87/1230.23 c 1230s| 2410k|727561 | 6651k| 2.8 | 545M| 54 | 7 | 60 |4961 | 60 | 19 | 23 |1119k|2743 | 0.000000e+00 | -- | Inf
1235.07/1235.49 c 1235s| 2420k|730513 | 6679k| 2.8 | 547M| 54 | 7 | 60 |5908 | 60 | 19 | 23 |1123k|2743 | 0.000000e+00 | -- | Inf
1240.76/1241.17 c 1241s| 2430k|733386 | 6705k| 2.8 | 550M| 54 | 7 | 60 |5887 | 60 | 19 | 23 |1128k|2743 | 0.000000e+00 | -- | Inf
1246.47/1246.88 c 1247s| 2440k|736255 | 6731k| 2.8 | 552M| 54 | 7 | 60 |5709 | 60 | 19 | 23 |1133k|2743 | 0.000000e+00 | -- | Inf
1252.26/1252.63 c 1253s| 2450k|738975 | 6759k| 2.8 | 554M| 54 | 7 | 60 |5904 | 60 | 19 | 23 |1138k|2743 | 0.000000e+00 | -- | Inf
1257.46/1257.80 c 1258s| 2460k|742286 | 6785k| 2.8 | 557M| 54 | 7 | 60 |6470 | 60 | 19 | 23 |1142k|2743 | 0.000000e+00 | -- | Inf
1262.86/1263.25 c 1263s| 2470k|745414 | 6812k| 2.8 | 559M| 54 | 7 | 60 |6475 | 60 | 19 | 23 |1146k|2743 | 0.000000e+00 | -- | Inf
1268.96/1269.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.96/1269.32 c 1269s| 2480k|748118 | 6840k| 2.8 | 561M| 54 | 7 | 60 |5944 | 60 | 19 | 23 |1151k|2743 | 0.000000e+00 | -- | Inf
1274.47/1274.84 c 1275s| 2490k|751027 | 6867k| 2.8 | 563M| 54 | - | 60 |5776 | 60 | 19 | 23 |1156k|2743 | 0.000000e+00 | -- | Inf
1280.15/1280.52 c 1281s| 2500k|753991 | 6895k| 2.8 | 565M| 54 | 7 | 60 |6215 | 60 | 19 | 23 |1161k|2743 | 0.000000e+00 | -- | Inf
1285.75/1286.13 c 1286s| 2510k|756716 | 6922k| 2.8 | 567M| 54 | - | 60 |6317 | 60 | 19 | 23 |1165k|2743 | 0.000000e+00 | -- | Inf
1291.35/1291.74 c 1292s| 2520k|759627 | 6949k| 2.8 | 570M| 54 | 7 | 60 |6314 | 60 | 19 | 23 |1170k|2743 | 0.000000e+00 | -- | Inf
1297.05/1297.48 c 1297s| 2530k|762526 | 6976k| 2.8 | 572M| 54 | 7 | 60 |6054 | 60 | 19 | 23 |1175k|2743 | 0.000000e+00 | -- | Inf
1302.75/1303.17 c 1303s| 2540k|765227 | 7004k| 2.8 | 574M| 54 | 7 | 60 |6368 | 60 | 19 | 23 |1180k|2743 | 0.000000e+00 | -- | Inf
1308.66/1309.08 c 1309s| 2550k|768043 | 7030k| 2.8 | 576M| 54 | 7 | 60 |5471 | 60 | 19 | 23 |1184k|2743 | 0.000000e+00 | -- | Inf
1313.85/1314.21 c 1314s| 2560k|770997 | 7057k| 2.8 | 579M| 54 | - | 60 |6488 | 0 | 0 | 23 |1189k|2743 | 0.000000e+00 | -- | Inf
1319.05/1319.49 c 1319s| 2570k|774285 | 7085k| 2.8 | 581M| 54 | 7 | 60 |6095 | 60 | 19 | 23 |1193k|2743 | 0.000000e+00 | -- | Inf
1324.14/1324.51 c 1324s| 2580k|777600 | 7114k| 2.8 | 583M| 54 | - | 60 |6367 | 60 | 19 | 23 |1198k|2743 | 0.000000e+00 | -- | Inf
1329.24/1329.68 c 1330s| 2590k|780458 | 7141k| 2.8 | 586M| 54 | - | 60 |6983 | 60 | 19 | 23 |1203k|2743 | 0.000000e+00 | -- | Inf
1334.64/1335.00 c 1335s| 2600k|783328 | 7168k| 2.8 | 588M| 54 | 7 | 60 |6668 | 60 | 19 | 23 |1208k|2743 | 0.000000e+00 | -- | Inf
1340.03/1340.48 c 1340s| 2610k|785827 | 7196k| 2.8 | 590M| 54 | - | 60 |7239 | 60 | 19 | 23 |1213k|2743 | 0.000000e+00 | -- | Inf
1345.74/1346.11 c 1346s| 2620k|788425 | 7224k| 2.8 | 592M| 54 | 7 | 60 |7552 | 60 | 19 | 23 |1218k|2743 | 0.000000e+00 | -- | Inf
1352.13/1352.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.13/1352.52 c 1353s| 2630k|790980 | 7251k| 2.8 | 594M| 54 | - | 60 |6083 | 60 | 19 | 23 |1223k|2743 | 0.000000e+00 | -- | Inf
1357.53/1357.98 c 1358s| 2640k|794082 | 7278k| 2.8 | 596M| 54 | 7 | 60 |6334 | 60 | 19 | 23 |1227k|2743 | 0.000000e+00 | -- | Inf
1363.24/1363.68 c 1364s| 2650k|796850 | 7305k| 2.8 | 599M| 54 | 7 | 60 |5793 | 60 | 19 | 23 |1232k|2743 | 0.000000e+00 | -- | Inf
1368.93/1369.39 c 1369s| 2660k|799513 | 7331k| 2.8 | 601M| 54 | - | 60 |5651 | 60 | 19 | 23 |1237k|2743 | 0.000000e+00 | -- | Inf
1373.93/1374.37 c 1374s| 2670k|802849 | 7358k| 2.8 | 603M| 54 | 7 | 60 |6449 | 60 | 19 | 23 |1241k|2743 | 0.000000e+00 | -- | Inf
1380.13/1380.54 c 1381s| 2680k|805575 | 7385k| 2.8 | 605M| 54 | 7 | 60 |5239 | 60 | 19 | 23 |1246k|2743 | 0.000000e+00 | -- | Inf
1385.54/1385.94 c 1386s| 2690k|808365 | 7412k| 2.8 | 607M| 54 | 7 | 60 |5954 | 60 | 19 | 23 |1251k|2743 | 0.000000e+00 | -- | Inf
1391.32/1391.71 c 1392s| 2700k|811074 | 7439k| 2.8 | 610M| 54 | - | 60 |5715 | 60 | 19 | 23 |1256k|2743 | 0.000000e+00 | -- | Inf
1396.02/1396.44 c 1396s| 2710k|814536 | 7467k| 2.8 | 612M| 54 | 7 | 60 |6703 | 60 | 19 | 23 |1260k|2743 | 0.000000e+00 | -- | Inf
1401.62/1402.08 c 1402s| 2720k|817435 | 7494k| 2.8 | 614M| 54 | - | 60 |6690 | 60 | 19 | 23 |1265k|2743 | 0.000000e+00 | -- | Inf
1407.03/1407.48 c 1407s| 2730k|820477 | 7522k| 2.8 | 617M| 54 | - | 60 |7318 | 60 | 19 | 23 |1269k|2743 | 0.000000e+00 | -- | Inf
1412.82/1413.29 c 1413s| 2740k|823137 | 7549k| 2.8 | 619M| 54 | - | 60 |6824 | 60 | 19 | 23 |1274k|2743 | 0.000000e+00 | -- | Inf
1418.82/1419.24 c 1419s| 2750k|825965 | 7576k| 2.8 | 621M| 54 | 7 | 60 |6138 | 60 | 19 | 23 |1279k|2743 | 0.000000e+00 | -- | Inf
1424.32/1424.76 c 1425s| 2760k|828852 | 7605k| 2.8 | 623M| 54 | 7 | 60 |6655 | 60 | 19 | 23 |1284k|2743 | 0.000000e+00 | -- | Inf
1430.01/1430.43 c 1430s| 2770k|831789 | 7632k| 2.8 | 625M| 54 | 7 | 60 |6064 | 60 | 19 | 23 |1288k|2743 | 0.000000e+00 | -- | Inf
1435.61/1436.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.61/1436.00 c 1436s| 2780k|834572 | 7659k| 2.8 | 627M| 54 | 7 | 60 |6220 | 60 | 19 | 23 |1293k|2743 | 0.000000e+00 | -- | Inf
1441.01/1441.46 c 1441s| 2790k|837590 | 7687k| 2.8 | 630M| 54 | 7 | 60 |6500 | 60 | 19 | 23 |1298k|2743 | 0.000000e+00 | -- | Inf
1446.81/1447.26 c 1447s| 2800k|840370 | 7714k| 2.8 | 632M| 54 | 7 | 60 |5964 | 60 | 19 | 23 |1302k|2743 | 0.000000e+00 | -- | Inf
1452.72/1453.11 c 1453s| 2810k|843171 | 7741k| 2.8 | 634M| 54 | 7 | 60 |5796 | 60 | 19 | 23 |1307k|2743 | 0.000000e+00 | -- | Inf
1458.51/1458.97 c 1459s| 2820k|845995 | 7769k| 2.8 | 636M| 54 | 7 | 60 |5836 | 60 | 19 | 23 |1312k|2743 | 0.000000e+00 | -- | Inf
1464.31/1464.72 c 1465s| 2830k|848688 | 7796k| 2.8 | 638M| 54 | 7 | 60 |5764 | 60 | 19 | 23 |1317k|2743 | 0.000000e+00 | -- | Inf
1469.60/1470.09 c 1470s| 2840k|851550 | 7823k| 2.8 | 641M| 54 | 7 | 60 |6421 | 60 | 19 | 23 |1322k|2743 | 0.000000e+00 | -- | Inf
1475.11/1475.53 c 1476s| 2850k|854506 | 7851k| 2.8 | 643M| 54 | 7 | 60 |6416 | 60 | 19 | 23 |1326k|2743 | 0.000000e+00 | -- | Inf
1480.90/1481.32 c 1481s| 2860k|857313 | 7878k| 2.8 | 645M| 54 | - | 60 |5941 | 60 | 19 | 23 |1331k|2743 | 0.000000e+00 | -- | Inf
1486.71/1487.15 c 1487s| 2870k|859902 | 7905k| 2.8 | 647M| 54 | - | 60 |5501 | 0 | 0 | 23 |1336k|2743 | 0.000000e+00 | -- | Inf
1491.90/1492.36 c 1492s| 2880k|862629 | 7933k| 2.8 | 649M| 54 | - | 60 |5987 | 60 | 19 | 23 |1341k|2743 | 0.000000e+00 | -- | Inf
1497.50/1497.90 c 1498s| 2890k|865518 | 7960k| 2.8 | 652M| 54 | 7 | 60 |5409 | 60 | 19 | 23 |1346k|2743 | 0.000000e+00 | -- | Inf
1503.20/1503.65 c 1504s| 2900k|868255 | 7987k| 2.8 | 654M| 54 | 7 | 60 |5528 | 60 | 19 | 23 |1350k|2743 | 0.000000e+00 | -- | Inf
1508.60/1509.02 c 1509s| 2910k|870996 | 8015k| 2.8 | 656M| 54 | 7 | 60 |6711 | 60 | 19 | 23 |1355k|2743 | 0.000000e+00 | -- | Inf
1514.10/1514.50 c 1514s| 2920k|873980 | 8043k| 2.8 | 659M| 54 | 7 | 60 |6925 | 60 | 19 | 23 |1360k|2743 | 0.000000e+00 | -- | Inf
1519.09/1519.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.09/1519.50 c 1519s| 2930k|877222 | 8070k| 2.8 | 661M| 54 | 7 | 60 |8126 | 60 | 19 | 23 |1364k|2743 | 0.000000e+00 | -- | Inf
1525.20/1525.66 c 1526s| 2940k|880078 | 8096k| 2.8 | 663M| 54 | - | 60 |5699 | 60 | 19 | 23 |1369k|2743 | 0.000000e+00 | -- | Inf
1530.89/1531.34 c 1531s| 2950k|882733 | 8123k| 2.8 | 665M| 54 | 7 | 60 |5828 | 60 | 19 | 23 |1374k|2743 | 0.000000e+00 | -- | Inf
1535.69/1536.17 c 1536s| 2960k|885892 | 8151k| 2.8 | 668M| 54 | 7 | 60 |7916 | 60 | 19 | 23 |1378k|2743 | 0.000000e+00 | -- | Inf
1542.09/1542.56 c 1543s| 2970k|888540 | 8178k| 2.8 | 669M| 54 | 7 | 60 |5560 | 60 | 19 | 23 |1383k|2743 | 0.000000e+00 | -- | Inf
1547.69/1548.17 c 1548s| 2980k|891489 | 8205k| 2.8 | 672M| 54 | 7 | 60 |6464 | 60 | 19 | 23 |1388k|2743 | 0.000000e+00 | -- | Inf
1553.38/1553.87 c 1554s| 2990k|894268 | 8231k| 2.8 | 674M| 54 | 7 | 60 |5978 | 60 | 19 | 23 |1392k|2743 | 0.000000e+00 | -- | Inf
1558.78/1559.25 c 1559s| 3000k|897224 | 8258k| 2.8 | 676M| 54 | - | 60 |6304 | 60 | 19 | 23 |1397k|2743 | 0.000000e+00 | -- | Inf
1564.48/1564.97 c 1565s| 3010k|900132 | 8286k| 2.8 | 678M| 54 | 7 | 60 |6214 | 60 | 19 | 23 |1402k|2743 | 0.000000e+00 | -- | Inf
1570.39/1570.83 c 1571s| 3020k|902891 | 8313k| 2.8 | 680M| 54 | 7 | 60 |5586 | 60 | 19 | 23 |1406k|2743 | 0.000000e+00 | -- | Inf
1576.18/1576.66 c 1577s| 3030k|905600 | 8340k| 2.8 | 683M| 54 | 7 | 60 |5563 | 60 | 19 | 23 |1411k|2743 | 0.000000e+00 | -- | Inf
1582.08/1582.57 c 1583s| 3040k|908216 | 8367k| 2.8 | 685M| 54 | - | 60 |5667 | 60 | 19 | 23 |1416k|2743 | 0.000000e+00 | -- | Inf
1587.98/1588.44 c 1588s| 3050k|911057 | 8394k| 2.8 | 687M| 54 | 7 | 60 |5132 | 60 | 19 | 23 |1421k|2743 | 0.000000e+00 | -- | Inf
1592.47/1592.95 c 1593s| 3060k|914612 | 8421k| 2.8 | 690M| 54 | - | 60 |6690 | 60 | 19 | 23 |1425k|2743 | 0.000000e+00 | -- | Inf
1597.58/1598.05 c 1598s| 3070k|917809 | 8448k| 2.8 | 692M| 54 | 7 | 60 |7433 | 60 | 19 | 23 |1429k|2743 | 0.000000e+00 | -- | Inf
1602.57/1603.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.57/1603.05 c 1603s| 3080k|921114 | 8475k| 2.8 | 695M| 54 | 7 | 60 |7982 | 60 | 19 | 23 |1434k|2743 | 0.000000e+00 | -- | Inf
1607.87/1608.39 c 1608s| 3090k|924335 | 8501k| 2.8 | 697M| 54 | 7 | 60 |8123 | 60 | 19 | 23 |1438k|2743 | 0.000000e+00 | -- | Inf
1614.17/1614.66 c 1615s| 3100k|927262 | 8527k| 2.8 | 699M| 54 | 7 | 60 |6991 | 60 | 19 | 23 |1443k|2743 | 0.000000e+00 | -- | Inf
1620.47/1620.90 c 1621s| 3110k|929997 | 8554k| 2.8 | 701M| 54 | 7 | 60 |5596 | 60 | 19 | 23 |1447k|2743 | 0.000000e+00 | -- | Inf
1626.27/1626.72 c 1627s| 3120k|932704 | 8581k| 2.8 | 703M| 54 | 7 | 60 |5690 | 60 | 19 | 23 |1452k|2743 | 0.000000e+00 | -- | Inf
1632.27/1632.70 c 1633s| 3130k|935383 | 8608k| 2.8 | 705M| 54 | 7 | 60 |5721 | 60 | 19 | 23 |1457k|2743 | 0.000000e+00 | -- | Inf
1637.56/1638.00 c 1638s| 3140k|938633 | 8635k| 2.8 | 708M| 54 | - | 60 |6505 | 60 | 19 | 23 |1461k|2743 | 0.000000e+00 | -- | Inf
1643.46/1643.92 c 1644s| 3150k|941516 | 8663k| 2.8 | 710M| 54 | 7 | 60 |5719 | 60 | 19 | 23 |1466k|2743 | 0.000000e+00 | -- | Inf
1649.06/1649.54 c 1650s| 3160k|944247 | 8690k| 2.7 | 712M| 54 | 7 | 60 |5845 | 60 | 19 | 23 |1471k|2743 | 0.000000e+00 | -- | Inf
1654.25/1654.78 c 1655s| 3170k|947213 | 8717k| 2.7 | 714M| 54 | 7 | 60 |6697 | 60 | 19 | 23 |1475k|2743 | 0.000000e+00 | -- | Inf
1660.36/1660.81 c 1661s| 3180k|949896 | 8745k| 2.7 | 716M| 54 | 7 | 60 |5952 | 60 | 19 | 23 |1480k|2743 | 0.000000e+00 | -- | Inf
1666.26/1666.76 c 1667s| 3190k|952729 | 8771k| 2.7 | 718M| 54 | - | 60 |5339 | 60 | 19 | 23 |1485k|2743 | 0.000000e+00 | -- | Inf
1671.46/1671.92 c 1672s| 3200k|955743 | 8799k| 2.7 | 721M| 54 | 7 | 60 |6228 | 60 | 19 | 23 |1490k|2743 | 0.000000e+00 | -- | Inf
1677.15/1677.64 c 1678s| 3210k|958486 | 8827k| 2.7 | 723M| 54 | 7 | 60 |6322 | 60 | 19 | 23 |1494k|2743 | 0.000000e+00 | -- | Inf
1682.65/1683.13 c 1683s| 3220k|961559 | 8853k| 2.7 | 725M| 54 | - | 60 |6288 | 60 | 19 | 23 |1499k|2743 | 0.000000e+00 | -- | Inf
1688.06/1688.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.06/1688.51 c 1688s| 3230k|964831 | 8880k| 2.7 | 727M| 54 | 7 | 60 |5895 | 60 | 19 | 23 |1503k|2743 | 0.000000e+00 | -- | Inf
1693.65/1694.12 c 1694s| 3240k|967500 | 8907k| 2.7 | 729M| 54 | - | 60 |6035 | 60 | 19 | 23 |1508k|2743 | 0.000000e+00 | -- | Inf
1699.85/1700.37 c 1700s| 3250k|969988 | 8933k| 2.7 | 731M| 54 | 7 | 60 |5364 | 60 | 19 | 23 |1513k|2743 | 0.000000e+00 | -- | Inf
1705.44/1705.97 c 1706s| 3260k|972776 | 8960k| 2.7 | 734M| 54 | 7 | 60 |5943 | 60 | 19 | 23 |1518k|2743 | 0.000000e+00 | -- | Inf
1711.05/1711.58 c 1712s| 3270k|975736 | 8987k| 2.7 | 736M| 54 | 7 | 60 |6411 | 60 | 19 | 23 |1522k|2743 | 0.000000e+00 | -- | Inf
1715.74/1716.25 c 1716s| 3280k|979296 | 9014k| 2.7 | 739M| 54 | 7 | 60 |7734 | 60 | 19 | 23 |1527k|2743 | 0.000000e+00 | -- | Inf
1721.34/1721.85 c 1722s| 3290k|982332 | 9042k| 2.7 | 741M| 54 | - | 60 |7415 | 60 | 19 | 23 |1531k|2743 | 0.000000e+00 | -- | Inf
1727.44/1727.96 c 1728s| 3300k|985292 | 9069k| 2.7 | 743M| 54 | 7 | 60 |6214 | 60 | 19 | 23 |1536k|2743 | 0.000000e+00 | -- | Inf
1733.15/1733.65 c 1734s| 3310k|988263 | 9095k| 2.7 | 745M| 54 | 7 | 60 |6692 | 60 | 19 | 23 |1540k|2743 | 0.000000e+00 | -- | Inf
1739.33/1739.80 c 1740s| 3320k|990922 | 9123k| 2.7 | 747M| 54 | - | 60 |6134 | 60 | 19 | 23 |1545k|2743 | 0.000000e+00 | -- | Inf
1744.23/1744.79 c 1745s| 3330k|994063 | 9150k| 2.7 | 750M| 54 | - | 60 |7496 | 60 | 19 | 23 |1550k|2743 | 0.000000e+00 | -- | Inf
1749.64/1750.16 c 1750s| 3340k|997389 | 9177k| 2.7 | 752M| 54 | - | 60 |8034 | 60 | 19 | 23 |1554k|2743 | 0.000000e+00 | -- | Inf
1756.03/1756.50 c 1756s| 3350k| 1000k| 9205k| 2.7 | 754M| 54 | - | 60 |6133 | 60 | 19 | 23 |1559k|2743 | 0.000000e+00 | -- | Inf
1761.93/1762.48 c 1762s| 3360k| 1002k| 9232k| 2.7 | 756M| 54 | 7 | 60 |5740 | 60 | 19 | 23 |1564k|2743 | 0.000000e+00 | -- | Inf
1766.93/1767.40 c 1767s| 3370k| 1005k| 9259k| 2.7 | 759M| 54 | - | 60 |7323 | 60 | 19 | 23 |1568k|2743 | 0.000000e+00 | -- | Inf
1772.73/1773.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.73/1773.27 c 1773s| 3380k| 1008k| 9286k| 2.7 | 761M| 54 | 7 | 60 |6899 | 60 | 19 | 23 |1573k|2743 | 0.000000e+00 | -- | Inf
1778.62/1779.17 c 1779s| 3390k| 1011k| 9312k| 2.7 | 763M| 54 | - | 60 |6145 | 60 | 19 | 23 |1578k|2743 | 0.000000e+00 | -- | Inf
1783.92/1784.45 c 1784s| 3400k| 1014k| 9339k| 2.7 | 765M| 54 | 7 | 60 |6790 | 60 | 19 | 23 |1582k|2743 | 0.000000e+00 | -- | Inf
1789.52/1790.01 c
1789.52/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.52/1790.01 c Solving Time (sec) : 1790.00
1789.52/1790.01 c Solving Nodes : 3409347
1789.52/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.52/1790.01 c Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Gap : infinite
1789.52/1790.01 s UNKNOWN
1789.52/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.52/1790.01 c Solving Time : 1790.00
1789.52/1790.01 c Original Problem :
1789.52/1790.01 c Problem name : HOME/instance-2703524-1278561731.opb
1789.52/1790.01 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.52/1790.01 c Constraints : 15 initial, 15 maximal
1789.52/1790.01 c Presolved Problem :
1789.52/1790.01 c Problem name : t_HOME/instance-2703524-1278561731.opb
1789.52/1790.01 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.52/1790.01 c Constraints : 7 initial, 8861 maximal
1789.52/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.52/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.52/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.52/1790.01 c linear : 0.00 0 0 0 0 0 8 0 0
1789.52/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c root node : - 0 - - 0 - - - -
1789.52/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.52/1790.01 c integral : 0 0 0 2220437 0 251 921 0 0 4438702
1789.52/1790.01 c linear : 7+ 7 7764642 0 1 67391 1807066 0 0 0
1789.52/1790.01 c logicor : 0+ 0 3262453 0 0 2474 1108483 0 0 0
1789.52/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.52/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.52/1790.01 c integral : 23.70 0.00 0.00 23.70 0.00
1789.52/1790.01 c linear : 331.82 0.00 331.82 0.00 0.00
1789.52/1790.01 c logicor : 360.80 0.00 360.80 0.00 0.00
1789.52/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.52/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.52/1790.01 c vbounds : 2.62 2 0 0
1789.52/1790.01 c rootredcost : 2.67 0 0 0
1789.52/1790.01 c pseudoobj : 2.24 0 0 0
1789.52/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.52/1790.01 c propagation : 8.77 69865 64528 244616 42.8 9 32.2 -
1789.52/1790.01 c infeasible LP : 70.25 1126790 1126756 2119299 27.9 13128 32.7 0
1789.52/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.52/1790.01 c applied globally : - - - 1391907 23.3 - - -
1789.52/1790.01 c applied locally : - - - 195405 37.2 - - -
1789.52/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.52/1790.01 c cut pool : 0.00 5 - - 13 - (maximal pool size: 77)
1789.52/1790.01 c redcost : 5.40 2220442 0 0 0 0
1789.52/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.52/1790.01 c intobj : 0.00 0 0 0 0 0
1789.52/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.52/1790.01 c gomory : 0.00 6 0 0 0 0
1789.52/1790.01 c strongcg : 0.00 6 0 0 35 0
1789.52/1790.01 c cmir : 0.03 6 0 0 23 0
1789.52/1790.01 c flowcover : 0.03 6 0 0 34 0
1789.52/1790.01 c clique : 0.00 1 0 0 0 0
1789.52/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.52/1790.01 c mcf : 0.00 1 0 0 0 0
1789.52/1790.01 c rapidlearning : 0.10 1 0 0 0 5
1789.52/1790.01 c Pricers : Time Calls Vars
1789.52/1790.01 c problem variables: 0.00 0 0
1789.52/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.52/1790.01 c relpscost : 21.60 2220437 251 921 0 0 4438702
1789.52/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.52/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.52/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.52/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.52/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.52/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.52/1790.01 c random : 0.00 0 0 0 0 0 0
1789.52/1790.01 c Primal Heuristics : Time Calls Found
1789.52/1790.01 c LP solutions : 0.00 - 0
1789.52/1790.01 c pseudo solutions : 0.00 - 0
1789.52/1790.01 c oneopt : 2.00 0 0
1789.52/1790.01 c crossover : 1.13 0 0
1789.52/1790.01 c guideddiving : 0.13 0 0
1789.52/1790.01 c feaspump : 0.12 14 0
1789.52/1790.01 c objpscostdiving : 0.11 14 0
1789.52/1790.01 c rootsoldiving : 0.11 14 0
1789.52/1790.01 c coefdiving : 0.13 28 0
1789.52/1790.01 c pscostdiving : 0.14 28 0
1789.52/1790.01 c fracdiving : 0.13 28 0
1789.52/1790.01 c veclendiving : 0.13 28 0
1789.52/1790.01 c linesearchdiving : 0.14 28 0
1789.52/1790.01 c trivial : 0.00 2 0
1789.52/1790.01 c simplerounding : 0.83 0 0
1789.52/1790.01 c zirounding : 1.24 1000 0
1789.52/1790.01 c rounding : 2.24 21116 0
1789.52/1790.01 c shifting : 5.25 6688 0
1789.52/1790.01 c intshifting : 0.12 0 0
1789.52/1790.01 c twoopt : 0.00 0 0
1789.52/1790.01 c fixandinfer : 0.00 0 0
1789.52/1790.01 c intdiving : 0.00 0 0
1789.52/1790.01 c actconsdiving : 0.00 0 0
1789.52/1790.01 c octane : 0.00 0 0
1789.52/1790.01 c rens : 0.03 1 0
1789.52/1790.01 c rins : 0.00 0 0
1789.52/1790.01 c localbranching : 0.00 0 0
1789.52/1790.01 c mutation : 0.00 0 0
1789.52/1790.01 c dins : 0.00 0 0
1789.52/1790.01 c undercover : 0.00 0 0
1789.52/1790.01 c nlp : 0.98 0 0
1789.52/1790.01 c trysol : 1.55 0 0
1789.52/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.52/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.52/1790.01 c dual LP : 401.66 3265892 9361961 2.87 23307.97
1789.52/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.52/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.52/1790.01 c diving/probing LP: 0.12 1001 2330 2.33 19859.87
1789.52/1790.01 c strong branching : 0.71 2743 15723 5.73 22075.49
1789.52/1790.01 c (at root node) : - 9 398 44.22 -
1789.52/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.52/1790.01 c B&B Tree :
1789.52/1790.01 c number of runs : 1
1789.52/1790.01 c nodes : 3409347
1789.52/1790.01 c nodes (total) : 3409347
1789.52/1790.01 c nodes left : 1017329
1789.52/1790.01 c max depth : 54
1789.52/1790.01 c max depth (total): 54
1789.52/1790.01 c backtracks : 303436 (8.9%)
1789.52/1790.01 c delayed cutoffs : 12029
1789.52/1790.01 c repropagations : 3081323 (1111036 domain reductions, 6570 cutoffs)
1789.52/1790.01 c avg switch length: 5.30
1789.52/1790.01 c switching time : 319.32
1789.52/1790.01 c Solution :
1789.52/1790.01 c Solutions found : 0 (0 improvements)
1789.52/1790.01 c Primal Bound : -
1789.52/1790.01 c Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Gap : infinite
1789.52/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Root Iterations : 181
1794.63/1795.12 c Time complete: 1794.65.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703524-1278561731/watcher-2703524-1278561731 -o /tmp/evaluation-result-2703524-1278561731/solver-2703524-1278561731 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703524-1278561731.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: 0.92 0.98 0.99 3/106 32322
/proc/meminfo: memFree=1748704/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=7904 CPUtime=0
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 1192 0 0 0 0 0 0 0 24 0 1 0 24381440 8093696 1104 1992294400 4194304 8395647 140734707088960 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32322/statm: 1976 1113 365 1026 0 946 0
[startup+0.052717 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 32322
/proc/meminfo: memFree=1748704/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=21940 CPUtime=0.05
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 4754 0 0 0 4 1 0 0 25 0 1 0 24381440 22466560 4313 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 5485 4313 597 1026 0 4455 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21940
[startup+0.100721 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 32322
/proc/meminfo: memFree=1748704/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=22072 CPUtime=0.09
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 4785 0 0 0 8 1 0 0 25 0 1 0 24381440 22601728 4344 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 5518 4344 599 1026 0 4488 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22072
[startup+0.300741 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 32322
/proc/meminfo: memFree=1748704/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=23124 CPUtime=0.29
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 5347 0 0 0 27 2 0 0 25 0 1 0 24381440 23678976 4906 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 5781 4906 621 1026 0 4751 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23124
[startup+0.700783 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 32322
/proc/meminfo: memFree=1748704/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=23124 CPUtime=0.69
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 5351 0 0 0 66 3 0 0 25 0 1 0 24381440 23678976 4910 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 5781 4910 622 1026 0 4751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23124
[startup+1.50087 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 32323
/proc/meminfo: memFree=1731336/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=23124 CPUtime=1.49
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 5355 0 0 0 142 7 0 0 25 0 1 0 24381440 23678976 4914 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 5781 4914 622 1026 0 4751 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23124
[startup+3.10103 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 32323
/proc/meminfo: memFree=1730716/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=23124 CPUtime=3.09
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 5363 0 0 0 295 14 0 0 25 0 1 0 24381440 23678976 4922 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 5781 4922 622 1026 0 4751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23124
[startup+6.30136 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 32323
/proc/meminfo: memFree=1730724/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=23124 CPUtime=6.29
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 5372 0 0 0 605 24 0 0 25 0 1 0 24381440 23678976 4931 1992294400 4194304 8395647 140734707088960 18446744073709551615 5085520 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 5781 4931 622 1026 0 4751 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23124
[startup+12.701 s]
/proc/loadavg: 1.09 1.02 1.01 2/107 32323
/proc/meminfo: memFree=1728244/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=25656 CPUtime=12.69
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 6025 0 0 0 1222 47 0 0 25 0 1 0 24381440 26271744 5584 1992294400 4194304 8395647 140734707088960 18446744073709551615 5026917 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 6414 5584 622 1026 0 5384 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25656
[startup+25.5003 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 32323
/proc/meminfo: memFree=1720184/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=33516 CPUtime=25.49
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 8031 0 0 0 2458 91 0 0 25 0 1 0 24381440 34320384 7590 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 8379 7590 622 1026 0 7349 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33516
[startup+51.101 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 32323
/proc/meminfo: memFree=1702948/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=50620 CPUtime=51.07
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 12381 0 0 0 4932 175 0 0 25 0 1 0 24381440 51834880 11940 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 12655 11940 622 1026 0 11625 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 50620
[startup+102.308 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 32325
/proc/meminfo: memFree=1670708/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=83788 CPUtime=102.27
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 20377 0 0 0 9890 337 0 0 25 0 1 0 24381440 85798912 19936 1992294400 4194304 8395647 140734707088960 18446744073709551615 6068915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 20947 19936 622 1026 0 19917 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 83788
[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32327
/proc/meminfo: memFree=1641568/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=112396 CPUtime=162.25
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 27661 0 0 0 15716 509 0 0 25 0 1 0 24381440 115093504 27220 1992294400 4194304 8395647 140734707088960 18446744073709551615 6345875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 28099 27220 622 1026 0 27069 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 112396
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32329
/proc/meminfo: memFree=1611064/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=142500 CPUtime=222.23
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 35271 0 0 0 21541 682 0 0 25 0 1 0 24381440 145920000 34830 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 35625 34830 622 1026 0 34595 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 142500
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32329
/proc/meminfo: memFree=1580064/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=177016 CPUtime=282.21
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 42989 0 0 0 27372 849 0 0 25 0 1 0 24381440 181264384 42548 1992294400 4194304 8395647 140734707088960 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 44254 42548 622 1026 0 43224 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 177016
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32331
/proc/meminfo: memFree=1553164/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=203376 CPUtime=342.2
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 49715 0 0 0 33213 1007 0 0 25 0 1 0 24381440 208257024 49274 1992294400 4194304 8395647 140734707088960 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 50844 49274 622 1026 0 49814 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 203376
[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32333
/proc/meminfo: memFree=1525760/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=230292 CPUtime=402.18
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 56569 0 0 0 39051 1167 0 0 25 0 1 0 24381440 235819008 56128 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 57573 56128 622 1026 0 56543 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 230292
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32335
/proc/meminfo: memFree=1500960/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=254220 CPUtime=462.17
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 62676 0 0 0 44893 1324 0 0 25 0 1 0 24381440 260321280 62235 1992294400 4194304 8395647 140734707088960 18446744073709551615 5031908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 63555 62235 622 1026 0 62525 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 254220
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32337
/proc/meminfo: memFree=1471200/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=285280 CPUtime=522.16
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 70566 0 0 0 50740 1476 0 0 25 0 1 0 24381440 292126720 70125 1992294400 4194304 8395647 140734707088960 18446744073709551615 5027230 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 71320 70125 622 1026 0 70290 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 285280
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 32337
/proc/meminfo: memFree=1442184/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=312300 CPUtime=582.13
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 77388 0 0 0 56584 1629 0 0 25 0 1 0 24381440 319795200 76947 1992294400 4194304 8395647 140734707088960 18446744073709551615 5026620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 78075 76947 622 1026 0 77045 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 312300
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32339
/proc/meminfo: memFree=1414284/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=339176 CPUtime=642.13
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 84236 0 0 0 62439 1774 0 0 25 0 1 0 24381440 347316224 83795 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 84794 83795 622 1026 0 83764 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 339176
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1242420/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=514788 CPUtime=1062.01
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 126926 0 0 0 103393 2808 0 0 25 0 1 0 24381440 527142912 126485 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 128697 126485 622 1026 0 127667 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 514788
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32353
/proc/meminfo: memFree=1214396/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=541880 CPUtime=1122
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 133904 0 0 0 109246 2954 0 0 25 0 1 0 24381440 554885120 133463 1992294400 4194304 8395647 140734707088960 18446744073709551615 4214324 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 135470 133463 622 1026 0 134440 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 541880
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32353
/proc/meminfo: memFree=1189100/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=567236 CPUtime=1181.99
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 140194 0 0 0 115094 3105 0 0 25 0 1 0 24381440 580849664 139753 1992294400 4194304 8395647 140734707088960 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 141809 139753 622 1026 0 140779 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 567236
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32358
/proc/meminfo: memFree=1164424/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=590804 CPUtime=1241.96
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 146248 0 0 0 120951 3245 0 0 25 0 1 0 24381440 604983296 145807 1992294400 4194304 8395647 140734707088960 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 147701 145807 622 1026 0 146671 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 590804
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32360
/proc/meminfo: memFree=1138756/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=615376 CPUtime=1301.96
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 152587 0 0 0 126807 3389 0 0 25 0 1 0 24381440 630145024 152146 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 153844 152146 622 1026 0 152814 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 615376
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32362
/proc/meminfo: memFree=1114204/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=639172 CPUtime=1361.93
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 158704 0 0 0 132662 3531 0 0 25 0 1 0 24381440 654512128 158263 1992294400 4194304 8395647 140734707088960 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 159793 158263 622 1026 0 158763 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 639172
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32364
/proc/meminfo: memFree=1089032/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=663684 CPUtime=1421.92
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 164967 0 0 0 138515 3677 0 0 25 0 1 0 24381440 679612416 164526 1992294400 4194304 8395647 140734707088960 18446744073709551615 5027358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 165921 164526 622 1026 0 164891 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 663684
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32364
/proc/meminfo: memFree=1069316/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=684000 CPUtime=1481.9
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 169979 0 0 0 144371 3819 0 0 25 0 1 0 24381440 700416000 169538 1992294400 4194304 8395647 140734707088960 18446744073709551615 4689641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 171000 169538 622 1026 0 169970 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 684000
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32366
/proc/meminfo: memFree=1044764/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=707796 CPUtime=1541.89
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 176092 0 0 0 150228 3961 0 0 25 0 1 0 24381440 724783104 175651 1992294400 4194304 8395647 140734707088960 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 176949 175651 622 1026 0 175919 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 707796
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32368
/proc/meminfo: memFree=1020212/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=731640 CPUtime=1601.87
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 182256 0 0 0 156072 4115 0 0 25 0 1 0 24381440 749199360 181815 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 182910 181815 622 1026 0 181880 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 731640
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32370
/proc/meminfo: memFree=998636/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=752152 CPUtime=1661.85
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 187511 0 0 0 161934 4251 0 0 25 0 1 0 24381440 770203648 187070 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 188038 187070 622 1026 0 187008 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 752152
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32372
/proc/meminfo: memFree=974208/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=776048 CPUtime=1721.84
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 193670 0 0 0 167786 4398 0 0 25 0 1 0 24381440 794673152 193229 1992294400 4194304 8395647 140734707088960 18446744073709551615 5026509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 194012 193229 622 1026 0 192982 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 776048
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32372
/proc/meminfo: memFree=947548/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=818808 CPUtime=1781.83
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 200137 0 0 0 173641 4542 0 0 25 0 1 0 24381440 838459392 199696 1992294400 4194304 8395647 140734707088960 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 204702 199696 622 1026 0 203672 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 818808
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32372
/proc/meminfo: memFree=946556/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=819836 CPUtime=1785.03
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 200403 0 0 0 173953 4550 0 0 25 0 1 0 24381440 839512064 199962 1992294400 4194304 8395647 140734707088960 18446744073709551615 5027242 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32322/statm: 204959 199962 622 1026 0 203929 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 819836
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 32372
/proc/meminfo: memFree=944696/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=821632 CPUtime=1791.43
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 200867 0 0 0 174583 4560 0 0 25 0 1 0 24381440 841351168 200426 1992294400 4194304 8395647 140734707088960 18446744073709551615 6345238 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32322/statm: 205408 200426 625 1026 0 204378 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 821632
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32372
/proc/meminfo: memFree=944696/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=821632 CPUtime=1793.02
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 200867 0 0 0 174742 4560 0 0 25 0 1 0 24381440 841351168 200426 1992294400 4194304 8395647 140734707088960 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32322/statm: 205408 200426 625 1026 0 204378 0
Current children cumulated CPU time (s) 1793.02
Current children cumulated vsize (KiB) 821632
[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32372
/proc/meminfo: memFree=944696/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=821632 CPUtime=1793.82
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 200867 0 0 0 174822 4560 0 0 25 0 1 0 24381440 841351168 200426 1992294400 4194304 8395647 140734707088960 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32322/statm: 205408 200426 625 1026 0 204378 0
Current children cumulated CPU time (s) 1793.82
Current children cumulated vsize (KiB) 821632
[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32372
/proc/meminfo: memFree=944696/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=821632 CPUtime=1794.22
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 200867 0 0 0 174862 4560 0 0 25 0 1 0 24381440 841351168 200426 1992294400 4194304 8395647 140734707088960 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32322/statm: 205408 200426 625 1026 0 204378 0
Current children cumulated CPU time (s) 1794.22
Current children cumulated vsize (KiB) 821632
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32372
/proc/meminfo: memFree=1521360/2059040 swapFree=4139656/4192956
[pid=32322] ppid=32320 vsize=228320 CPUtime=1794.63
/proc/32322/stat : 32322 (pbscip.linux.x8) R 32320 32322 32297 0 -1 4202496 200867 0 0 0 174897 4566 0 0 25 0 1 0 24381440 233799680 39570 1992294400 4194304 8395647 140734707088960 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32322/statm: 57080 39570 625 1026 0 56050 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 228320
Child status: 0
Real time (s): 1795.12
CPU time (s): 1794.66
CPU user time (s): 1748.97
CPU system time (s): 45.6811
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 821632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.97
system time used= 45.6811
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200870
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= 3
involuntary context switches= 3858
runsolver used 3.00854 second user time and 8.45871 second system time
The end