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-3734877-1338702036.opb>
0.00/0.00 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 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.00 c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.01 c 5 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.3
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1790
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 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.01 c 0.0s| 1 | 0 | 26 | - | 235k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 90 | - | 289k| 0 | 9 | 40 | 24 | 40 | 9 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 95 | - | 310k| 0 | 11 | 40 | 24 | 40 | 13 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 99 | - | 323k| 0 | 12 | 40 | 24 | 40 | 16 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 109 | - | 345k| 0 | 11 | 40 | 24 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.05 c 0.0s| 1 | 0 | 113 | - | 359k| 0 | 14 | 40 | 24 | 40 | 22 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.05 c 0.0s| 1 | 0 | 120 | - | 360k| 0 | 13 | 40 | 24 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.06 c 0.1s| 1 | 2 | 120 | - | 361k| 0 | 13 | 40 | 24 | 40 | 23 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
1.59/1.62 c 1.6s| 10000 | 3478 | 22204 | 2.2 |3755k| 34 | - | 40 |3323 | 40 | 13 | 18 |4513 | 537 | 0.000000e+00 | -- | Inf
3.09/3.19 c 3.2s| 20000 | 6715 | 43458 | 2.2 |5660k| 35 | 5 | 40 |2879 | 40 | 13 | 18 |9071 | 691 | 0.000000e+00 | -- | Inf
4.68/4.74 c 4.7s| 30000 | 9907 | 64207 | 2.1 |7876k| 35 | - | 40 |3848 | 0 | 0 | 18 | 13k| 851 | 0.000000e+00 | -- | Inf
6.28/6.38 c 6.4s| 40000 | 12949 | 84491 | 2.1 |9825k| 35 | 5 | 40 |3880 | 40 | 13 | 18 | 18k| 991 | 0.000000e+00 | -- | Inf
7.88/7.97 c 8.0s| 50000 | 16142 |105002 | 2.1 | 12M| 36 | 5 | 40 |4904 | 40 | 13 | 18 | 22k|1073 | 0.000000e+00 | -- | Inf
9.68/9.73 c 9.7s| 60000 | 18991 |125663 | 2.1 | 14M| 36 | 5 | 40 |5213 | 40 | 13 | 18 | 27k|1165 | 0.000000e+00 | -- | Inf
11.38/11.49 c 11.5s| 70000 | 21994 |146398 | 2.1 | 16M| 36 | 5 | 40 |5886 | 40 | 13 | 18 | 31k|1239 | 0.000000e+00 | -- | Inf
13.19/13.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.19/13.29 c 13.3s| 80000 | 24857 |166925 | 2.1 | 18M| 36 | 5 | 40 |6617 | 40 | 13 | 18 | 36k|1308 | 0.000000e+00 | -- | Inf
15.18/15.28 c 15.3s| 90000 | 27433 |187951 | 2.1 | 20M| 36 | 5 | 40 |6872 | 40 | 13 | 18 | 41k|1366 | 0.000000e+00 | -- | Inf
17.28/17.32 c 17.3s|100000 | 30150 |208204 | 2.1 | 22M| 36 | 5 | 40 |6783 | 40 | 13 | 18 | 45k|1441 | 0.000000e+00 | -- | Inf
19.18/19.25 c 19.2s|110000 | 33096 |228274 | 2.1 | 23M| 36 | 5 | 40 |6597 | 40 | 13 | 18 | 50k|1491 | 0.000000e+00 | -- | Inf
21.18/21.29 c 21.3s|120000 | 35643 |248695 | 2.1 | 25M| 36 | 5 | 40 |6460 | 40 | 13 | 18 | 55k|1555 | 0.000000e+00 | -- | Inf
23.29/23.35 c 23.4s|130000 | 38139 |269079 | 2.1 | 27M| 36 | - | 40 |7198 | 40 | 13 | 18 | 60k|1600 | 0.000000e+00 | -- | Inf
25.38/25.47 c 25.5s|140000 | 40612 |289326 | 2.1 | 29M| 36 | 5 | 40 |7607 | 40 | 13 | 18 | 65k|1655 | 0.000000e+00 | -- | Inf
27.68/27.78 c 27.8s|150000 | 42859 |309717 | 2.1 | 31M| 36 | 5 | 40 |7452 | 40 | 13 | 18 | 70k|1708 | 0.000000e+00 | -- | Inf
29.78/29.87 c 29.9s|160000 | 45376 |330364 | 2.1 | 32M| 36 | 5 | 40 |8047 | 40 | 13 | 18 | 75k|1771 | 0.000000e+00 | -- | Inf
31.89/31.95 c 31.9s|170000 | 47941 |350741 | 2.1 | 34M| 36 | - | 40 |8745 | 40 | 13 | 18 | 79k|1816 | 0.000000e+00 | -- | Inf
34.29/34.30 c 34.3s|180000 | 50207 |371053 | 2.1 | 36M| 36 | 5 | 40 |7781 | 40 | 13 | 18 | 84k|1868 | 0.000000e+00 | -- | Inf
36.49/36.51 c 36.5s|190000 | 52608 |391646 | 2.1 | 38M| 36 | 5 | 40 |8194 | 40 | 13 | 18 | 89k|1913 | 0.000000e+00 | -- | Inf
38.78/38.81 c 38.8s|200000 | 54862 |412396 | 2.1 | 39M| 36 | 5 | 40 |8701 | 40 | 13 | 18 | 95k|1967 | 0.000000e+00 | -- | Inf
41.28/41.35 c 41.4s|210000 | 56870 |433265 | 2.1 | 41M| 36 | 5 | 40 |8698 | 40 | 13 | 18 | 100k|2012 | 0.000000e+00 | -- | Inf
43.78/43.83 c 43.8s|220000 | 59025 |453897 | 2.1 | 42M| 36 | 5 | 40 |8801 | 40 | 13 | 18 | 105k|2067 | 0.000000e+00 | -- | Inf
46.09/46.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.09/46.11 c 46.1s|230000 | 61385 |474299 | 2.1 | 44M| 36 | 5 | 40 |9424 | 40 | 13 | 18 | 110k|2116 | 0.000000e+00 | -- | Inf
48.58/48.63 c 48.6s|240000 | 63542 |494737 | 2.1 | 46M| 36 | 5 | 40 |8833 | 40 | 13 | 18 | 115k|2170 | 0.000000e+00 | -- | Inf
50.88/50.90 c 50.9s|250000 | 66064 |515614 | 2.1 | 48M| 36 | 5 | 40 |9864 | 40 | 13 | 18 | 120k|2212 | 0.000000e+00 | -- | Inf
53.08/53.18 c 53.2s|260000 | 68667 |536387 | 2.1 | 50M| 36 | - | 40 | 10k| 40 | 13 | 18 | 125k|2246 | 0.000000e+00 | -- | Inf
55.88/55.90 c 55.9s|270000 | 70697 |556619 | 2.1 | 51M| 36 | - | 40 | 10k| 0 | 0 | 18 | 130k|2279 | 0.000000e+00 | -- | Inf
58.57/58.62 c 58.6s|280000 | 72611 |577235 | 2.1 | 53M| 36 | - | 40 | 10k| 40 | 13 | 18 | 136k|2315 | 0.000000e+00 | -- | Inf
61.37/61.46 c 61.5s|290000 | 74581 |597635 | 2.1 | 54M| 36 | 5 | 40 | 10k| 40 | 13 | 18 | 141k|2351 | 0.000000e+00 | -- | Inf
63.67/63.73 c 63.7s|300000 | 77031 |618052 | 2.1 | 57M| 36 | 5 | 40 | 12k| 40 | 13 | 18 | 146k|2392 | 0.000000e+00 | -- | Inf
66.27/66.31 c 66.3s|310000 | 79306 |638935 | 2.1 | 58M| 36 | 5 | 40 | 12k| 40 | 13 | 18 | 151k|2434 | 0.000000e+00 | -- | Inf
69.07/69.17 c 69.2s|320000 | 81227 |659537 | 2.1 | 60M| 36 | - | 40 | 12k| 0 | 0 | 18 | 157k|2466 | 0.000000e+00 | -- | Inf
72.47/72.54 c 72.5s|330000 | 82856 |679711 | 2.1 | 61M| 36 | 5 | 40 | 10k| 40 | 13 | 18 | 163k|2498 | 0.000000e+00 | -- | Inf
75.16/75.25 c 75.2s|340000 | 84830 |700247 | 2.1 | 63M| 36 | - | 40 | 11k| 0 | 0 | 18 | 168k|2532 | 0.000000e+00 | -- | Inf
78.26/78.30 c 78.3s|350000 | 86577 |720999 | 2.1 | 64M| 36 | 5 | 40 | 11k| 40 | 13 | 18 | 174k|2573 | 0.000000e+00 | -- | Inf
81.15/81.20 c 81.2s|360000 | 88464 |741405 | 2.1 | 66M| 36 | - | 40 | 11k| 40 | 13 | 18 | 179k|2608 | 0.000000e+00 | -- | Inf
84.06/84.18 c 84.2s|370000 | 90166 |761719 | 2.1 | 67M| 36 | - | 40 | 12k| 40 | 13 | 18 | 184k|2643 | 0.000000e+00 | -- | Inf
86.76/86.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.76/86.87 c 86.9s|380000 | 92358 |782107 | 2.1 | 69M| 36 | - | 40 | 13k| 40 | 13 | 18 | 190k|2681 | 0.000000e+00 | -- | Inf
89.75/89.87 c 89.9s|390000 | 94265 |801973 | 2.1 | 70M| 36 | 5 | 40 | 13k| 40 | 13 | 18 | 195k|2701 | 0.000000e+00 | -- | Inf
92.85/92.92 c 92.9s|400000 | 96103 |822721 | 2.1 | 72M| 36 | 5 | 40 | 12k| 40 | 13 | 18 | 201k|2728 | 0.000000e+00 | -- | Inf
95.65/95.76 c 95.8s|410000 | 98040 |842880 | 2.1 | 73M| 36 | - | 40 | 13k| 40 | 13 | 18 | 206k|2772 | 0.000000e+00 | -- | Inf
98.44/98.55 c 98.6s|420000 |100139 |863691 | 2.1 | 75M| 36 | - | 40 | 12k| 0 | 0 | 18 | 211k|2799 | 0.000000e+00 | -- | Inf
101.74/101.89 c 102s|430000 |101875 |884215 | 2.1 | 76M| 36 | 5 | 40 | 11k| 40 | 13 | 18 | 217k|2835 | 0.000000e+00 | -- | Inf
104.84/104.96 c 105s|440000 |103648 |905122 | 2.1 | 78M| 36 | 5 | 40 | 12k| 40 | 13 | 18 | 222k|2873 | 0.000000e+00 | -- | Inf
107.65/107.71 c 108s|450000 |105543 |925641 | 2.1 | 79M| 36 | 5 | 40 | 13k| 40 | 13 | 18 | 228k|2892 | 0.000000e+00 | -- | Inf
110.94/111.01 c 111s|460000 |107276 |945705 | 2.1 | 81M| 36 | - | 40 | 12k| 40 | 13 | 18 | 233k|2917 | 0.000000e+00 | -- | Inf
113.74/113.80 c 114s|470000 |109260 |967113 | 2.1 | 82M| 36 | - | 40 | 13k| 40 | 13 | 18 | 239k|2946 | 0.000000e+00 | -- | Inf
117.43/117.50 c 118s|480000 |110771 |987459 | 2.1 | 83M| 36 | - | 40 | 12k| 40 | 13 | 18 | 245k|2969 | 0.000000e+00 | -- | Inf
120.34/120.48 c 120s|490000 |112618 | 1008k| 2.1 | 85M| 36 | 5 | 40 | 12k| 40 | 13 | 18 | 250k|2995 | 0.000000e+00 | -- | Inf
123.84/123.97 c 124s|500000 |114125 | 1028k| 2.1 | 86M| 36 | 5 | 40 | 12k| 40 | 13 | 18 | 256k|3017 | 0.000000e+00 | -- | Inf
126.74/126.83 c 127s|510000 |116213 | 1048k| 2.1 | 88M| 36 | 5 | 40 | 14k| 40 | 13 | 18 | 261k|3043 | 0.000000e+00 | -- | Inf
130.34/130.48 c 130s|520000 |117810 | 1069k| 2.1 | 89M| 36 | 5 | 40 | 13k| 40 | 13 | 18 | 267k|3066 | 0.000000e+00 | -- | Inf
133.84/133.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.84/133.91 c 134s|530000 |119380 | 1090k| 2.1 | 91M| 36 | - | 40 | 13k| 40 | 13 | 18 | 272k|3093 | 0.000000e+00 | -- | Inf
137.54/137.66 c 138s|540000 |120794 | 1110k| 2.1 | 92M| 36 | - | 40 | 13k| 40 | 13 | 18 | 278k|3118 | 0.000000e+00 | -- | Inf
140.64/140.73 c 141s|550000 |122567 | 1131k| 2.1 | 94M| 36 | - | 40 | 14k| 40 | 13 | 18 | 284k|3153 | 0.000000e+00 | -- | Inf
144.54/144.63 c 145s|560000 |124020 | 1152k| 2.1 | 95M| 36 | 5 | 40 | 13k| 40 | 13 | 18 | 289k|3182 | 0.000000e+00 | -- | Inf
147.83/147.92 c 148s|570000 |125728 | 1172k| 2.1 | 96M| 36 | 5 | 40 | 13k| 40 | 13 | 18 | 295k|3207 | 0.000000e+00 | -- | Inf
150.33/150.42 c 150s|580000 |127965 | 1193k| 2.1 | 98M| 36 | - | 40 | 16k| 40 | 13 | 18 | 300k|3231 | 0.000000e+00 | -- | Inf
153.63/153.74 c 154s|590000 |129824 | 1213k| 2.1 | 100M| 36 | - | 40 | 15k| 0 | 0 | 18 | 306k|3253 | 0.000000e+00 | -- | Inf
157.63/157.75 c 158s|600000 |131408 | 1234k| 2.1 | 101M| 36 | - | 40 | 14k| 0 | 0 | 18 | 311k|3285 | 0.000000e+00 | -- | Inf
160.73/160.85 c 161s|610000 |133723 | 1255k| 2.1 | 102M| 36 | - | 40 | 14k| 40 | 13 | 18 | 316k|3312 | 0.000000e+00 | -- | Inf
163.74/163.85 c 164s|620000 |135494 | 1276k| 2.1 | 104M| 36 | - | 40 | 15k| 40 | 13 | 18 | 322k|3329 | 0.000000e+00 | -- | Inf
167.33/167.49 c 167s|630000 |137280 | 1297k| 2.1 | 106M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 328k|3354 | 0.000000e+00 | -- | Inf
171.23/171.37 c 171s|640000 |138898 | 1319k| 2.1 | 107M| 36 | 5 | 40 | 14k| 40 | 13 | 18 | 334k|3382 | 0.000000e+00 | -- | Inf
175.23/175.39 c 175s|650000 |140312 | 1339k| 2.1 | 108M| 36 | - | 40 | 15k| 40 | 13 | 18 | 339k|3411 | 0.000000e+00 | -- | Inf
178.53/178.61 c 179s|660000 |142823 | 1360k| 2.1 | 110M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 344k|3435 | 0.000000e+00 | -- | Inf
181.23/181.34 c 181s|670000 |145132 | 1380k| 2.1 | 112M| 36 | 5 | 40 | 16k| 40 | 13 | 18 | 349k|3453 | 0.000000e+00 | -- | Inf
184.92/185.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.92/185.08 c 185s|680000 |146634 | 1401k| 2.1 | 113M| 36 | - | 40 | 16k| 0 | 0 | 18 | 355k|3478 | 0.000000e+00 | -- | Inf
189.72/189.87 c 190s|690000 |147966 | 1421k| 2.1 | 114M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 361k|3500 | 0.000000e+00 | -- | Inf
192.33/192.46 c 192s|700000 |150603 | 1443k| 2.1 | 116M| 36 | 5 | 40 | 16k| 40 | 13 | 18 | 366k|3519 | 0.000000e+00 | -- | Inf
195.33/195.48 c 195s|710000 |152586 | 1465k| 2.1 | 118M| 36 | 5 | 40 | 17k| 40 | 13 | 18 | 372k|3535 | 0.000000e+00 | -- | Inf
198.73/198.89 c 199s|720000 |154233 | 1486k| 2.1 | 120M| 36 | 5 | 40 | 17k| 40 | 13 | 18 | 378k|3549 | 0.000000e+00 | -- | Inf
202.23/202.38 c 202s|730000 |155752 | 1507k| 2.1 | 121M| 36 | 5 | 40 | 18k| 40 | 13 | 18 | 385k|3568 | 0.000000e+00 | -- | Inf
206.13/206.22 c 206s|740000 |157421 | 1527k| 2.1 | 122M| 36 | - | 40 | 17k| 40 | 13 | 18 | 390k|3583 | 0.000000e+00 | -- | Inf
210.63/210.71 c 211s|750000 |159004 | 1549k| 2.1 | 123M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 396k|3604 | 0.000000e+00 | -- | Inf
213.42/213.59 c 214s|760000 |161242 | 1569k| 2.1 | 125M| 36 | 5 | 40 | 16k| 40 | 13 | 18 | 401k|3624 | 0.000000e+00 | -- | Inf
216.02/216.19 c 216s|770000 |163648 | 1591k| 2.1 | 127M| 36 | - | 40 | 17k| 40 | 13 | 18 | 406k|3641 | 0.000000e+00 | -- | Inf
219.13/219.20 c 219s|780000 |165782 | 1611k| 2.1 | 129M| 36 | 5 | 40 | 18k| 40 | 13 | 18 | 412k|3659 | 0.000000e+00 | -- | Inf
222.82/222.90 c 223s|790000 |167219 | 1631k| 2.1 | 130M| 36 | - | 40 | 17k| 40 | 13 | 18 | 418k|3682 | 0.000000e+00 | -- | Inf
227.72/227.89 c 228s|800000 |168549 | 1652k| 2.1 | 131M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 424k|3703 | 0.000000e+00 | -- | Inf
231.72/231.84 c 232s|810000 |170157 | 1673k| 2.1 | 132M| 36 | - | 40 | 15k| 40 | 13 | 18 | 430k|3718 | 0.000000e+00 | -- | Inf
236.12/236.27 c 236s|820000 |171615 | 1693k| 2.1 | 133M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 436k|3745 | 0.000000e+00 | -- | Inf
240.73/240.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.73/240.86 c 241s|830000 |173157 | 1714k| 2.1 | 135M| 36 | - | 40 | 15k| 40 | 13 | 18 | 441k|3769 | 0.000000e+00 | -- | Inf
245.02/245.17 c 245s|840000 |174606 | 1734k| 2.1 | 136M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 447k|3790 | 0.000000e+00 | -- | Inf
248.71/248.88 c 249s|850000 |176327 | 1755k| 2.1 | 138M| 36 | - | 40 | 16k| 40 | 13 | 18 | 453k|3810 | 0.000000e+00 | -- | Inf
253.61/253.79 c 254s|860000 |177495 | 1776k| 2.1 | 139M| 36 | - | 40 | 15k| 0 | 0 | 18 | 459k|3830 | 0.000000e+00 | -- | Inf
256.71/256.84 c 257s|870000 |179942 | 1797k| 2.1 | 140M| 36 | - | 40 | 16k| 40 | 13 | 18 | 464k|3849 | 0.000000e+00 | -- | Inf
260.81/260.92 c 261s|880000 |181147 | 1818k| 2.1 | 142M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 470k|3870 | 0.000000e+00 | -- | Inf
264.51/264.61 c 265s|890000 |182785 | 1838k| 2.1 | 143M| 36 | 5 | 40 | 16k| 40 | 13 | 18 | 476k|3896 | 0.000000e+00 | -- | Inf
268.81/268.98 c 269s|900000 |184184 | 1859k| 2.1 | 144M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 482k|3917 | 0.000000e+00 | -- | Inf
273.01/273.10 c 273s|910000 |185536 | 1879k| 2.1 | 145M| 36 | - | 40 | 16k| 0 | 0 | 18 | 488k|3934 | 0.000000e+00 | -- | Inf
278.01/278.14 c 278s|920000 |186686 | 1900k| 2.1 | 147M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 494k|3957 | 0.000000e+00 | -- | Inf
281.71/281.89 c 282s|930000 |188347 | 1920k| 2.1 | 148M| 36 | 5 | 40 | 16k| 40 | 13 | 18 | 499k|3985 | 0.000000e+00 | -- | Inf
286.11/286.25 c 286s|940000 |189582 | 1941k| 2.1 | 149M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 505k|4011 | 0.000000e+00 | -- | Inf
290.41/290.54 c 291s|950000 |190990 | 1962k| 2.1 | 150M| 36 | - | 40 | 15k| 40 | 13 | 18 | 511k|4026 | 0.000000e+00 | -- | Inf
294.31/294.46 c 294s|960000 |192454 | 1983k| 2.1 | 152M| 36 | 5 | 40 | 16k| 40 | 13 | 18 | 517k|4053 | 0.000000e+00 | -- | Inf
299.02/299.13 c 299s|970000 |193770 | 2004k| 2.1 | 153M| 36 | - | 40 | 16k| 40 | 13 | 18 | 523k|4074 | 0.000000e+00 | -- | Inf
303.61/303.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.61/303.79 c 304s|980000 |195007 | 2024k| 2.1 | 154M| 36 | - | 40 | 16k| 0 | 0 | 18 | 529k|4090 | 0.000000e+00 | -- | Inf
308.71/308.83 c 309s|990000 |196070 | 2044k| 2.1 | 155M| 36 | 5 | 40 | 15k| 40 | 13 | 18 | 535k|4113 | 0.000000e+00 | -- | Inf
312.21/312.33 c 312s| 1000k|197761 | 2065k| 2.1 | 157M| 36 | 5 | 40 | 17k| 40 | 13 | 18 | 541k|4141 | 0.000000e+00 | -- | Inf
316.00/316.19 c 316s| 1010k|199234 | 2086k| 2.1 | 159M| 36 | - | 40 | 18k| 40 | 13 | 18 | 547k|4166 | 0.000000e+00 | -- | Inf
320.29/320.49 c 320s| 1020k|200677 | 2107k| 2.1 | 160M| 36 | - | 40 | 18k| 0 | 0 | 18 | 553k|4184 | 0.000000e+00 | -- | Inf
324.80/324.93 c 325s| 1030k|202100 | 2128k| 2.1 | 162M| 36 | - | 40 | 19k| 40 | 13 | 18 | 559k|4201 | 0.000000e+00 | -- | Inf
329.38/329.53 c 330s| 1040k|203602 | 2149k| 2.1 | 163M| 36 | 5 | 40 | 18k| 40 | 13 | 18 | 565k|4229 | 0.000000e+00 | -- | Inf
332.99/333.13 c 333s| 1050k|205433 | 2169k| 2.1 | 165M| 36 | 5 | 40 | 20k| 40 | 13 | 18 | 570k|4240 | 0.000000e+00 | -- | Inf
336.08/336.28 c 336s| 1060k|207614 | 2189k| 2.1 | 167M| 36 | 5 | 40 | 21k| 40 | 13 | 18 | 576k|4254 | 0.000000e+00 | -- | Inf
339.48/339.69 c 340s| 1070k|209257 | 2209k| 2.1 | 168M| 36 | 5 | 40 | 22k| 40 | 13 | 18 | 581k|4268 | 0.000000e+00 | -- | Inf
342.98/343.16 c 343s| 1080k|210962 | 2229k| 2.1 | 170M| 36 | 5 | 40 | 23k| 40 | 13 | 18 | 587k|4291 | 0.000000e+00 | -- | Inf
347.27/347.48 c 347s| 1090k|211966 | 2250k| 2.1 | 171M| 36 | 5 | 40 | 22k| 40 | 13 | 18 | 593k|4301 | 0.000000e+00 | -- | Inf
353.47/353.62 c 354s| 1100k|213141 | 2271k| 2.1 | 172M| 36 | 5 | 40 | 20k| 40 | 13 | 18 | 599k|4314 | 0.000000e+00 | -- | Inf
356.97/357.14 c 357s| 1110k|215328 | 2291k| 2.1 | 174M| 36 | 5 | 40 | 21k| 40 | 13 | 18 | 604k|4331 | 0.000000e+00 | -- | Inf
361.37/361.52 c 362s| 1120k|216792 | 2312k| 2.1 | 175M| 36 | - | 40 | 21k| 40 | 13 | 18 | 610k|4349 | 0.000000e+00 | -- | Inf
366.86/367.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.86/367.01 c 367s| 1130k|218170 | 2333k| 2.1 | 176M| 36 | - | 40 | 19k| 40 | 13 | 18 | 616k|4363 | 0.000000e+00 | -- | Inf
371.57/371.78 c 372s| 1140k|219459 | 2354k| 2.1 | 177M| 36 | 5 | 40 | 19k| 40 | 13 | 18 | 622k|4380 | 0.000000e+00 | -- | Inf
377.37/377.54 c 378s| 1150k|220574 | 2375k| 2.1 | 178M| 36 | - | 40 | 18k| 40 | 13 | 18 | 628k|4396 | 0.000000e+00 | -- | Inf
380.47/380.66 c 381s| 1160k|222445 | 2396k| 2.1 | 180M| 36 | - | 40 | 20k| 0 | 0 | 18 | 634k|4405 | 0.000000e+00 | -- | Inf
385.67/385.89 c 386s| 1170k|223713 | 2415k| 2.1 | 181M| 36 | 5 | 40 | 19k| 40 | 13 | 18 | 639k|4423 | 0.000000e+00 | -- | Inf
390.97/391.15 c 391s| 1180k|225034 | 2436k| 2.1 | 182M| 36 | 5 | 40 | 18k| 40 | 13 | 18 | 645k|4442 | 0.000000e+00 | -- | Inf
396.76/396.96 c 397s| 1190k|226106 | 2457k| 2.1 | 183M| 36 | - | 40 | 18k| 40 | 13 | 18 | 651k|4456 | 0.000000e+00 | -- | Inf
403.16/403.32 c 403s| 1200k|226905 | 2477k| 2.1 | 184M| 36 | - | 40 | 17k| 40 | 13 | 18 | 658k|4472 | 0.000000e+00 | -- | Inf
406.46/406.67 c 407s| 1210k|228593 | 2497k| 2.1 | 186M| 36 | - | 40 | 19k| 40 | 13 | 18 | 663k|4489 | 0.000000e+00 | -- | Inf
410.46/410.69 c 411s| 1220k|229982 | 2518k| 2.1 | 187M| 36 | 5 | 40 | 20k| 40 | 13 | 18 | 669k|4508 | 0.000000e+00 | -- | Inf
415.45/415.63 c 416s| 1230k|231487 | 2538k| 2.1 | 189M| 36 | 5 | 40 | 20k| 40 | 13 | 18 | 675k|4525 | 0.000000e+00 | -- | Inf
421.36/421.60 c 422s| 1240k|232648 | 2559k| 2.1 | 189M| 36 | - | 40 | 19k| 40 | 13 | 18 | 681k|4548 | 0.000000e+00 | -- | Inf
425.46/425.70 c 426s| 1250k|234235 | 2579k| 2.1 | 191M| 36 | - | 40 | 20k| 0 | 0 | 18 | 687k|4566 | 0.000000e+00 | -- | Inf
431.25/431.49 c 431s| 1260k|235587 | 2601k| 2.1 | 192M| 36 | - | 40 | 19k| 40 | 13 | 18 | 693k|4587 | 0.000000e+00 | -- | Inf
434.55/434.72 c 435s| 1270k|237010 | 2623k| 2.1 | 194M| 36 | 5 | 40 | 20k| 40 | 13 | 18 | 699k|4604 | 0.000000e+00 | -- | Inf
439.95/440.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.95/440.18 c 440s| 1280k|238170 | 2643k| 2.1 | 195M| 36 | - | 40 | 20k| 40 | 13 | 18 | 705k|4624 | 0.000000e+00 | -- | Inf
445.85/446.00 c 446s| 1290k|239429 | 2664k| 2.1 | 196M| 36 | 5 | 40 | 19k| 40 | 13 | 18 | 711k|4645 | 0.000000e+00 | -- | Inf
452.25/452.46 c 452s| 1300k|240432 | 2684k| 2.1 | 197M| 36 | 5 | 40 | 19k| 40 | 13 | 18 | 717k|4660 | 0.000000e+00 | -- | Inf
459.15/459.38 c 459s| 1310k|241143 | 2705k| 2.1 | 197M| 36 | - | 40 | 17k| 40 | 13 | 18 | 724k|4679 | 0.000000e+00 | -- | Inf
464.65/464.81 c 465s| 1320k|242326 | 2725k| 2.1 | 199M| 36 | - | 40 | 17k| 40 | 13 | 18 | 730k|4693 | 0.000000e+00 | -- | Inf
469.25/469.48 c 469s| 1330k|243548 | 2746k| 2.1 | 200M| 36 | - | 40 | 18k| 40 | 13 | 18 | 736k|4710 | 0.000000e+00 | -- | Inf
473.25/473.45 c 473s| 1340k|244966 | 2767k| 2.1 | 202M| 36 | 5 | 40 | 20k| 40 | 13 | 18 | 742k|4725 | 0.000000e+00 | -- | Inf
478.35/478.54 c 479s| 1350k|246306 | 2787k| 2.1 | 203M| 36 | - | 40 | 19k| 40 | 13 | 18 | 748k|4743 | 0.000000e+00 | -- | Inf
482.24/482.43 c 482s| 1360k|247768 | 2808k| 2.1 | 204M| 36 | 5 | 40 | 21k| 40 | 13 | 18 | 754k|4763 | 0.000000e+00 | -- | Inf
488.05/488.27 c 488s| 1370k|248838 | 2828k| 2.1 | 205M| 36 | - | 40 | 20k| 40 | 13 | 18 | 760k|4785 | 0.000000e+00 | -- | Inf
494.65/494.88 c 495s| 1380k|249726 | 2849k| 2.1 | 206M| 36 | 5 | 40 | 18k| 40 | 13 | 18 | 766k|4803 | 0.000000e+00 | -- | Inf
500.74/500.99 c 501s| 1390k|250589 | 2870k| 2.1 | 207M| 36 | - | 40 | 18k| 40 | 13 | 18 | 772k|4820 | 0.000000e+00 | -- | Inf
507.64/507.82 c 508s| 1400k|251290 | 2890k| 2.1 | 208M| 36 | - | 40 | 18k| 0 | 0 | 18 | 779k|4833 | 0.000000e+00 | -- | Inf
513.85/514.05 c 514s| 1410k|252150 | 2911k| 2.1 | 209M| 36 | - | 40 | 17k| 40 | 13 | 18 | 785k|4850 | 0.000000e+00 | -- | Inf
518.75/518.96 c 519s| 1420k|253252 | 2932k| 2.1 | 210M| 36 | - | 40 | 19k| 40 | 13 | 18 | 792k|4864 | 0.000000e+00 | -- | Inf
523.84/524.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.84/524.04 c 524s| 1430k|254345 | 2953k| 2.1 | 211M| 36 | 5 | 40 | 18k| 40 | 13 | 18 | 798k|4882 | 0.000000e+00 | -- | Inf
528.95/529.17 c 529s| 1440k|255606 | 2973k| 2.1 | 212M| 36 | 5 | 40 | 18k| 40 | 13 | 18 | 804k|4894 | 0.000000e+00 | -- | Inf
532.74/532.92 c 533s| 1450k|257029 | 2994k| 2.1 | 214M| 36 | 5 | 40 | 20k| 40 | 13 | 18 | 809k|4908 | 0.000000e+00 | -- | Inf
538.74/538.91 c 539s| 1460k|257970 | 3014k| 2.1 | 215M| 36 | - | 40 | 18k| 0 | 0 | 18 | 816k|4930 | 0.000000e+00 | -- | Inf
543.83/544.00 c 544s| 1470k|259095 | 3035k| 2.1 | 216M| 36 | 5 | 40 | 19k| 40 | 13 | 18 | 821k|4948 | 0.000000e+00 | -- | Inf
550.14/550.31 c 550s| 1480k|259927 | 3055k| 2.1 | 217M| 36 | 5 | 40 | 18k| 40 | 13 | 18 | 828k|4966 | 0.000000e+00 | -- | Inf
555.94/556.14 c 556s| 1490k|260713 | 3076k| 2.1 | 218M| 36 | 5 | 40 | 18k| 40 | 13 | 18 | 834k|4990 | 0.000000e+00 | -- | Inf
562.33/562.51 c 563s| 1500k|261527 | 3096k| 2.1 | 219M| 36 | - | 40 | 18k| 0 | 0 | 18 | 840k|5005 | 0.000000e+00 | -- | Inf
566.03/566.28 c 566s| 1510k|263525 | 3118k| 2.1 | 221M| 36 | 5 | 40 | 19k| 40 | 13 | 18 | 846k|5022 | 0.000000e+00 | -- | Inf
569.33/569.54 c 570s| 1520k|265136 | 3138k| 2.1 | 222M| 36 | 5 | 40 | 20k| 40 | 13 | 18 | 852k|5042 | 0.000000e+00 | -- | Inf
573.93/574.18 c 574s| 1530k|266196 | 3158k| 2.1 | 223M| 36 | - | 40 | 20k| 40 | 13 | 18 | 858k|5051 | 0.000000e+00 | -- | Inf
580.83/581.07 c 581s| 1540k|266923 | 3179k| 2.1 | 224M| 36 | 5 | 40 | 19k| 40 | 13 | 18 | 864k|5070 | 0.000000e+00 | -- | Inf
587.03/587.27 c 587s| 1550k|267783 | 3200k| 2.1 | 225M| 36 | - | 40 | 18k| 40 | 13 | 18 | 871k|5088 | 0.000000e+00 | -- | Inf
592.13/592.32 c 592s| 1560k|268875 | 3220k| 2.1 | 226M| 36 | - | 40 | 19k| 40 | 13 | 18 | 877k|5106 | 0.000000e+00 | -- | Inf
597.83/598.06 c 598s| 1570k|269798 | 3241k| 2.1 | 227M| 36 | - | 40 | 19k| 40 | 13 | 18 | 883k|5130 | 0.000000e+00 | -- | Inf
602.53/602.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.53/602.74 c 603s| 1580k|271004 | 3262k| 2.1 | 228M| 36 | 5 | 40 | 19k| 40 | 13 | 18 | 889k|5147 | 0.000000e+00 | -- | Inf
609.33/609.55 c 610s| 1590k|271597 | 3283k| 2.1 | 229M| 36 | 5 | 40 | 18k| 40 | 13 | 18 | 896k|5161 | 0.000000e+00 | -- | Inf
614.82/615.02 c 615s| 1600k|272431 | 3303k| 2.1 | 230M| 36 | 5 | 40 | 19k| 40 | 13 | 18 | 902k|5175 | 0.000000e+00 | -- | Inf
621.52/621.79 c 622s| 1610k|273099 | 3324k| 2.1 | 231M| 36 | - | 40 | 19k| 40 | 13 | 18 | 909k|5190 | 0.000000e+00 | -- | Inf
626.83/627.04 c 627s| 1620k|274079 | 3345k| 2.1 | 232M| 36 | - | 40 | 19k| 40 | 13 | 18 | 915k|5204 | 0.000000e+00 | -- | Inf
633.72/633.92 c 634s| 1630k|274852 | 3366k| 2.1 | 233M| 36 | - | 40 | 19k| 40 | 13 | 18 | 921k|5217 | 0.000000e+00 | -- | Inf
638.62/638.87 c 639s| 1640k|275851 | 3386k| 2.1 | 235M| 36 | 5 | 40 | 20k| 40 | 13 | 18 | 927k|5239 | 0.000000e+00 | -- | Inf
643.42/643.62 c 644s| 1650k|276924 | 3408k| 2.1 | 236M| 36 | 5 | 40 | 20k| 40 | 13 | 18 | 934k|5259 | 0.000000e+00 | -- | Inf
647.63/647.82 c 648s| 1660k|278411 | 3429k| 2.1 | 237M| 36 | - | 40 | 22k| 40 | 13 | 18 | 940k|5273 | 0.000000e+00 | -- | Inf
652.02/652.25 c 652s| 1670k|279792 | 3450k| 2.1 | 239M| 36 | - | 40 | 24k| 40 | 13 | 18 | 946k|5288 | 0.000000e+00 | -- | Inf
658.72/658.97 c 659s| 1680k|280528 | 3471k| 2.1 | 240M| 36 | 5 | 40 | 22k| 40 | 13 | 18 | 952k|5304 | 0.000000e+00 | -- | Inf
664.42/664.61 c 665s| 1690k|281596 | 3492k| 2.1 | 241M| 36 | 5 | 40 | 22k| 40 | 13 | 18 | 959k|5321 | 0.000000e+00 | -- | Inf
668.41/668.62 c 669s| 1700k|282681 | 3513k| 2.1 | 242M| 36 | 5 | 40 | 22k| 40 | 13 | 18 | 965k|5327 | 0.000000e+00 | -- | Inf
672.12/672.31 c 672s| 1710k|284366 | 3535k| 2.1 | 244M| 36 | - | 40 | 25k| 40 | 13 | 18 | 971k|5338 | 0.000000e+00 | -- | Inf
678.32/678.52 c 679s| 1720k|285351 | 3556k| 2.1 | 245M| 36 | 5 | 40 | 23k| 40 | 13 | 18 | 977k|5347 | 0.000000e+00 | -- | Inf
685.61/685.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
685.61/685.88 c 686s| 1730k|286070 | 3576k| 2.1 | 245M| 36 | - | 40 | 21k| 40 | 13 | 18 | 984k|5359 | 0.000000e+00 | -- | Inf
691.51/691.75 c 692s| 1740k|287006 | 3597k| 2.1 | 246M| 36 | - | 40 | 21k| 40 | 13 | 18 | 990k|5371 | 0.000000e+00 | -- | Inf
699.01/699.29 c 699s| 1750k|287582 | 3618k| 2.1 | 247M| 36 | - | 40 | 19k| 40 | 13 | 18 | 997k|5386 | 0.000000e+00 | -- | Inf
704.61/704.83 c 705s| 1760k|288567 | 3638k| 2.1 | 248M| 36 | - | 40 | 20k| 40 | 13 | 18 |1003k|5404 | 0.000000e+00 | -- | Inf
710.41/710.62 c 711s| 1770k|289465 | 3658k| 2.1 | 249M| 36 | - | 40 | 20k| 40 | 13 | 18 |1009k|5414 | 0.000000e+00 | -- | Inf
716.91/717.16 c 717s| 1780k|290341 | 3680k| 2.1 | 250M| 36 | - | 40 | 20k| 40 | 13 | 18 |1016k|5423 | 0.000000e+00 | -- | Inf
722.51/722.71 c 723s| 1790k|291245 | 3700k| 2.1 | 251M| 36 | 5 | 40 | 20k| 40 | 13 | 18 |1022k|5435 | 0.000000e+00 | -- | Inf
728.40/728.62 c 729s| 1800k|292044 | 3720k| 2.1 | 252M| 36 | 5 | 40 | 20k| 40 | 13 | 18 |1028k|5442 | 0.000000e+00 | -- | Inf
734.30/734.58 c 735s| 1810k|292891 | 3741k| 2.1 | 253M| 36 | - | 40 | 20k| 40 | 13 | 18 |1034k|5452 | 0.000000e+00 | -- | Inf
740.71/740.92 c 741s| 1820k|293759 | 3762k| 2.1 | 254M| 36 | 5 | 40 | 19k| 40 | 13 | 18 |1041k|5468 | 0.000000e+00 | -- | Inf
744.80/745.07 c 745s| 1830k|295157 | 3783k| 2.1 | 256M| 36 | - | 40 | 21k| 40 | 13 | 18 |1047k|5490 | 0.000000e+00 | -- | Inf
750.60/750.86 c 751s| 1840k|296205 | 3804k| 2.1 | 257M| 36 | 5 | 40 | 21k| 40 | 13 | 18 |1053k|5507 | 0.000000e+00 | -- | Inf
756.20/756.50 c 756s| 1850k|297224 | 3825k| 2.1 | 258M| 36 | 5 | 40 | 22k| 40 | 13 | 18 |1059k|5518 | 0.000000e+00 | -- | Inf
760.50/760.77 c 761s| 1860k|299269 | 3846k| 2.1 | 260M| 36 | 5 | 40 | 23k| 40 | 13 | 18 |1065k|5533 | 0.000000e+00 | -- | Inf
764.70/764.98 c 765s| 1870k|300946 | 3867k| 2.1 | 262M| 36 | - | 40 | 25k| 40 | 13 | 18 |1071k|5553 | 0.000000e+00 | -- | Inf
769.50/769.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.50/769.78 c 770s| 1880k|302176 | 3889k| 2.1 | 263M| 36 | 5 | 40 | 25k| 40 | 13 | 18 |1077k|5578 | 0.000000e+00 | -- | Inf
774.80/775.03 c 775s| 1890k|302868 | 3910k| 2.1 | 264M| 36 | 5 | 40 | 26k| 40 | 13 | 18 |1084k|5590 | 0.000000e+00 | -- | Inf
780.70/780.95 c 781s| 1900k|303769 | 3931k| 2.1 | 265M| 36 | - | 40 | 26k| 0 | 0 | 18 |1090k|5608 | 0.000000e+00 | -- | Inf
786.50/786.77 c 787s| 1910k|304671 | 3954k| 2.1 | 266M| 36 | - | 40 | 25k| 40 | 13 | 18 |1097k|5628 | 0.000000e+00 | -- | Inf
793.49/793.78 c 794s| 1920k|305432 | 3974k| 2.1 | 267M| 36 | - | 40 | 22k| 40 | 13 | 18 |1104k|5643 | 0.000000e+00 | -- | Inf
798.10/798.36 c 798s| 1930k|306659 | 3995k| 2.1 | 268M| 36 | 5 | 40 | 24k| 40 | 13 | 18 |1110k|5656 | 0.000000e+00 | -- | Inf
805.29/805.55 c 806s| 1940k|307585 | 4016k| 2.1 | 269M| 36 | 5 | 40 | 23k| 40 | 13 | 18 |1116k|5675 | 0.000000e+00 | -- | Inf
811.59/811.83 c 812s| 1950k|308504 | 4036k| 2.1 | 270M| 36 | - | 40 | 23k| 40 | 13 | 18 |1123k|5685 | 0.000000e+00 | -- | Inf
819.08/819.30 c 819s| 1960k|309198 | 4057k| 2.1 | 271M| 36 | 5 | 40 | 22k| 40 | 13 | 18 |1129k|5701 | 0.000000e+00 | -- | Inf
826.37/826.63 c 827s| 1970k|309827 | 4078k| 2.1 | 271M| 36 | 5 | 40 | 21k| 40 | 13 | 18 |1136k|5720 | 0.000000e+00 | -- | Inf
832.38/832.65 c 833s| 1980k|310809 | 4098k| 2.1 | 273M| 36 | - | 40 | 21k| 40 | 13 | 18 |1142k|5733 | 0.000000e+00 | -- | Inf
839.27/839.57 c 840s| 1990k|311453 | 4118k| 2.1 | 273M| 36 | 5 | 40 | 20k| 40 | 13 | 18 |1148k|5745 | 0.000000e+00 | -- | Inf
845.87/846.16 c 846s| 2000k|312221 | 4139k| 2.1 | 274M| 36 | - | 40 | 20k| 40 | 13 | 18 |1155k|5766 | 0.000000e+00 | -- | Inf
851.96/852.21 c 852s| 2010k|313012 | 4160k| 2.1 | 275M| 36 | 5 | 40 | 21k| 40 | 13 | 18 |1161k|5778 | 0.000000e+00 | -- | Inf
859.45/859.75 c 860s| 2020k|313585 | 4180k| 2.1 | 276M| 36 | 5 | 40 | 19k| 40 | 13 | 18 |1168k|5795 | 0.000000e+00 | -- | Inf
865.95/866.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
865.95/866.29 c 866s| 2030k|314272 | 4201k| 2.1 | 277M| 36 | - | 40 | 20k| 40 | 13 | 18 |1174k|5814 | 0.000000e+00 | -- | Inf
873.55/873.84 c 874s| 2040k|314844 | 4222k| 2.1 | 278M| 36 | 5 | 40 | 20k| 40 | 13 | 18 |1181k|5826 | 0.000000e+00 | -- | Inf
880.55/880.86 c 881s| 2050k|315486 | 4243k| 2.1 | 279M| 36 | 5 | 40 | 20k| 40 | 13 | 18 |1187k|5840 | 0.000000e+00 | -- | Inf
887.55/887.88 c 888s| 2060k|316017 | 4263k| 2.1 | 280M| 36 | - | 40 | 21k| 40 | 13 | 18 |1194k|5860 | 0.000000e+00 | -- | Inf
894.64/894.90 c 895s| 2070k|316768 | 4284k| 2.1 | 281M| 36 | - | 40 | 21k| 40 | 13 | 18 |1200k|5874 | 0.000000e+00 | -- | Inf
900.84/901.14 c 901s| 2080k|317495 | 4304k| 2.1 | 282M| 36 | - | 40 | 21k| 40 | 13 | 18 |1207k|5890 | 0.000000e+00 | -- | Inf
906.74/907.08 c 907s| 2090k|318461 | 4326k| 2.1 | 283M| 36 | - | 40 | 22k| 40 | 13 | 18 |1213k|5905 | 0.000000e+00 | -- | Inf
913.85/914.13 c 914s| 2100k|319213 | 4346k| 2.1 | 284M| 36 | 5 | 40 | 21k| 40 | 13 | 18 |1220k|5920 | 0.000000e+00 | -- | Inf
919.84/920.19 c 920s| 2110k|319994 | 4368k| 2.1 | 285M| 36 | - | 40 | 22k| 0 | 0 | 18 |1226k|5933 | 0.000000e+00 | -- | Inf
926.84/927.17 c 927s| 2120k|320741 | 4388k| 2.1 | 286M| 36 | - | 40 | 22k| 40 | 13 | 18 |1232k|5949 | 0.000000e+00 | -- | Inf
934.53/934.85 c 935s| 2130k|321201 | 4409k| 2.1 | 287M| 36 | - | 40 | 22k| 40 | 13 | 18 |1239k|5964 | 0.000000e+00 | -- | Inf
942.74/943.02 c 943s| 2140k|321700 | 4429k| 2.1 | 287M| 36 | 5 | 40 | 22k| 40 | 13 | 18 |1246k|5983 | 0.000000e+00 | -- | Inf
947.84/948.14 c 948s| 2150k|323336 | 4451k| 2.1 | 289M| 36 | 5 | 40 | 23k| 40 | 13 | 18 |1251k|5993 | 0.000000e+00 | -- | Inf
952.34/952.64 c 953s| 2160k|324137 | 4473k| 2.1 | 290M| 36 | - | 40 | 24k| 40 | 13 | 18 |1258k|6014 | 0.000000e+00 | -- | Inf
958.13/958.46 c 958s| 2170k|325400 | 4494k| 2.1 | 292M| 36 | 5 | 40 | 24k| 40 | 13 | 18 |1264k|6027 | 0.000000e+00 | -- | Inf
966.64/966.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.64/966.98 c 967s| 2180k|325826 | 4515k| 2.1 | 292M| 36 | 5 | 40 | 22k| 40 | 13 | 18 |1270k|6044 | 0.000000e+00 | -- | Inf
973.73/974.02 c 974s| 2190k|326589 | 4535k| 2.1 | 293M| 36 | 5 | 40 | 22k| 40 | 13 | 18 |1277k|6055 | 0.000000e+00 | -- | Inf
981.83/982.15 c 982s| 2200k|327078 | 4556k| 2.1 | 293M| 36 | 5 | 40 | 20k| 40 | 13 | 18 |1284k|6069 | 0.000000e+00 | -- | Inf
988.93/989.25 c 989s| 2210k|327537 | 4576k| 2.1 | 294M| 36 | 5 | 40 | 22k| 40 | 13 | 18 |1290k|6085 | 0.000000e+00 | -- | Inf
994.83/995.10 c 995s| 2220k|328267 | 4597k| 2.1 | 295M| 36 | 5 | 40 | 21k| 40 | 13 | 18 |1297k|6095 | 0.000000e+00 | -- | Inf
998.82/999.13 c 999s| 2230k|329679 | 4616k| 2.1 | 297M| 36 | - | 40 | 23k| 40 | 13 | 18 |1303k|6112 | 0.000000e+00 | -- | Inf
1005.83/1006.15 c 1006s| 2240k|330315 | 4637k| 2.1 | 297M| 36 | 5 | 40 | 22k| 40 | 13 | 18 |1309k|6132 | 0.000000e+00 | -- | Inf
1013.63/1013.93 c 1014s| 2250k|330883 | 4658k| 2.1 | 298M| 36 | 5 | 40 | 22k| 40 | 13 | 18 |1316k|6144 | 0.000000e+00 | -- | Inf
1019.92/1020.27 c 1020s| 2260k|331656 | 4679k| 2.1 | 299M| 36 | - | 40 | 22k| 40 | 13 | 18 |1322k|6164 | 0.000000e+00 | -- | Inf
1024.72/1025.06 c 1025s| 2270k|332632 | 4699k| 2.1 | 301M| 36 | - | 40 | 23k| 40 | 13 | 18 |1329k|6188 | 0.000000e+00 | -- | Inf
1032.32/1032.63 c 1033s| 2280k|333297 | 4719k| 2.1 | 301M| 36 | - | 40 | 23k| 40 | 13 | 18 |1335k|6210 | 0.000000e+00 | -- | Inf
1036.12/1036.46 c 1036s| 2290k|334937 | 4740k| 2.1 | 303M| 36 | 5 | 40 | 24k| 40 | 13 | 18 |1340k|6219 | 0.000000e+00 | -- | Inf
1040.62/1040.99 c 1041s| 2300k|335503 | 4759k| 2.1 | 304M| 36 | - | 40 | 25k| 40 | 13 | 18 |1347k|6236 | 0.000000e+00 | -- | Inf
1047.02/1047.32 c 1047s| 2310k|336346 | 4780k| 2.1 | 305M| 36 | - | 40 | 24k| 40 | 13 | 18 |1353k|6247 | 0.000000e+00 | -- | Inf
1054.82/1055.12 c 1055s| 2320k|336879 | 4800k| 2.1 | 305M| 36 | - | 40 | 23k| 40 | 13 | 18 |1360k|6257 | 0.000000e+00 | -- | Inf
1064.21/1064.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.21/1064.51 c 1065s| 2330k|337083 | 4821k| 2.1 | 306M| 36 | - | 40 | 21k| 40 | 13 | 18 |1367k|6275 | 0.000000e+00 | -- | Inf
1071.51/1071.81 c 1072s| 2340k|337674 | 4842k| 2.1 | 307M| 36 | 5 | 40 | 21k| 40 | 13 | 18 |1373k|6290 | 0.000000e+00 | -- | Inf
1076.81/1077.12 c 1077s| 2350k|338539 | 4862k| 2.1 | 308M| 36 | 5 | 40 | 22k| 40 | 13 | 18 |1380k|6307 | 0.000000e+00 | -- | Inf
1082.12/1082.40 c 1082s| 2360k|339561 | 4883k| 2.1 | 309M| 36 | 5 | 40 | 24k| 40 | 13 | 18 |1386k|6320 | 0.000000e+00 | -- | Inf
1087.12/1087.43 c 1087s| 2370k|340898 | 4904k| 2.1 | 311M| 36 | - | 40 | 25k| 0 | 0 | 18 |1392k|6333 | 0.000000e+00 | -- | Inf
1093.81/1094.17 c 1094s| 2380k|341508 | 4925k| 2.1 | 312M| 36 | 5 | 40 | 24k| 40 | 13 | 18 |1399k|6353 | 0.000000e+00 | -- | Inf
1102.01/1102.34 c 1102s| 2390k|342112 | 4945k| 2.1 | 312M| 36 | - | 40 | 23k| 40 | 13 | 18 |1405k|6368 | 0.000000e+00 | -- | Inf
1110.01/1110.38 c 1110s| 2400k|342576 | 4966k| 2.1 | 313M| 36 | 5 | 40 | 23k| 40 | 13 | 18 |1412k|6377 | 0.000000e+00 | -- | Inf
1115.11/1115.49 c 1115s| 2410k|343502 | 4987k| 2.1 | 314M| 36 | 5 | 40 | 24k| 40 | 13 | 18 |1418k|6387 | 0.000000e+00 | -- | Inf
1121.61/1121.91 c 1122s| 2420k|344330 | 5008k| 2.1 | 315M| 36 | 5 | 40 | 25k| 40 | 13 | 18 |1425k|6398 | 0.000000e+00 | -- | Inf
1129.91/1130.25 c 1130s| 2430k|344808 | 5028k| 2.1 | 316M| 36 | - | 40 | 23k| 40 | 13 | 18 |1431k|6415 | 0.000000e+00 | -- | Inf
1137.70/1138.05 c 1138s| 2440k|345373 | 5049k| 2.1 | 317M| 36 | 5 | 40 | 23k| 40 | 13 | 18 |1438k|6426 | 0.000000e+00 | -- | Inf
1146.80/1147.11 c 1147s| 2450k|345696 | 5070k| 2.1 | 317M| 36 | - | 40 | 22k| 40 | 13 | 18 |1445k|6432 | 0.000000e+00 | -- | Inf
1153.81/1154.11 c 1154s| 2460k|346368 | 5091k| 2.1 | 318M| 36 | 5 | 40 | 23k| 40 | 13 | 18 |1451k|6440 | 0.000000e+00 | -- | Inf
1162.00/1162.38 c 1162s| 2470k|346829 | 5111k| 2.1 | 319M| 36 | 5 | 40 | 22k| 40 | 13 | 18 |1458k|6447 | 0.000000e+00 | -- | Inf
1167.50/1167.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.50/1167.84 c 1168s| 2480k|347877 | 5132k| 2.1 | 320M| 36 | - | 40 | 23k| 40 | 13 | 18 |1464k|6462 | 0.000000e+00 | -- | Inf
1175.30/1175.66 c 1176s| 2490k|348023 | 5153k| 2.1 | 321M| 36 | - | 40 | 22k| 40 | 13 | 18 |1471k|6473 | 0.000000e+00 | -- | Inf
1181.49/1181.86 c 1182s| 2500k|348939 | 5174k| 2.1 | 322M| 36 | - | 40 | 24k| 40 | 13 | 18 |1477k|6488 | 0.000000e+00 | -- | Inf
1190.80/1191.16 c 1191s| 2510k|349136 | 5195k| 2.1 | 322M| 36 | 5 | 40 | 23k| 40 | 13 | 18 |1484k|6503 | 0.000000e+00 | -- | Inf
1198.70/1199.03 c 1199s| 2520k|349643 | 5216k| 2.1 | 323M| 36 | 5 | 40 | 23k| 40 | 13 | 18 |1491k|6516 | 0.000000e+00 | -- | Inf
1205.80/1206.16 c 1206s| 2530k|350191 | 5236k| 2.1 | 324M| 36 | 5 | 40 | 23k| 40 | 13 | 18 |1497k|6530 | 0.000000e+00 | -- | Inf
1214.79/1215.14 c 1215s| 2540k|350457 | 5257k| 2.1 | 325M| 36 | 5 | 40 | 23k| 40 | 13 | 18 |1504k|6545 | 0.000000e+00 | -- | Inf
1220.99/1221.39 c 1221s| 2550k|351192 | 5278k| 2.1 | 326M| 36 | 5 | 40 | 24k| 40 | 13 | 18 |1511k|6554 | 0.000000e+00 | -- | Inf
1227.30/1227.69 c 1228s| 2560k|352079 | 5298k| 2.1 | 327M| 36 | 5 | 40 | 25k| 40 | 13 | 18 |1517k|6564 | 0.000000e+00 | -- | Inf
1234.90/1235.30 c 1235s| 2570k|352586 | 5319k| 2.1 | 328M| 36 | - | 40 | 25k| 40 | 13 | 18 |1524k|6579 | 0.000000e+00 | -- | Inf
1242.70/1243.03 c 1243s| 2580k|353159 | 5340k| 2.1 | 329M| 36 | - | 40 | 24k| 40 | 13 | 18 |1531k|6586 | 0.000000e+00 | -- | Inf
1250.89/1251.24 c 1251s| 2590k|353616 | 5360k| 2.1 | 329M| 36 | - | 40 | 24k| 0 | 0 | 18 |1538k|6599 | 0.000000e+00 | -- | Inf
1257.19/1257.55 c 1258s| 2600k|354403 | 5380k| 2.1 | 330M| 36 | 5 | 40 | 25k| 40 | 13 | 18 |1544k|6613 | 0.000000e+00 | -- | Inf
1266.09/1266.47 c 1266s| 2610k|354636 | 5401k| 2.1 | 331M| 36 | 5 | 40 | 24k| 40 | 13 | 18 |1551k|6622 | 0.000000e+00 | -- | Inf
1272.78/1273.10 c 1273s| 2620k|355316 | 5421k| 2.1 | 332M| 36 | 5 | 40 | 24k| 40 | 13 | 18 |1557k|6636 | 0.000000e+00 | -- | Inf
1277.58/1277.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.58/1277.98 c 1278s| 2630k|356355 | 5442k| 2.1 | 333M| 36 | - | 40 | 25k| 0 | 0 | 18 |1563k|6645 | 0.000000e+00 | -- | Inf
1281.88/1282.22 c 1282s| 2640k|357706 | 5462k| 2.1 | 335M| 36 | 5 | 40 | 27k| 40 | 13 | 18 |1569k|6658 | 0.000000e+00 | -- | Inf
1287.38/1287.75 c 1288s| 2650k|358349 | 5483k| 2.1 | 336M| 36 | - | 40 | 28k| 40 | 13 | 18 |1576k|6676 | 0.000000e+00 | -- | Inf
1292.38/1292.75 c 1293s| 2660k|359669 | 5502k| 2.1 | 338M| 36 | - | 40 | 29k| 40 | 13 | 18 |1581k|6682 | 0.000000e+00 | -- | Inf
1298.48/1298.80 c 1299s| 2670k|360365 | 5521k| 2.1 | 338M| 36 | 5 | 40 | 29k| 40 | 13 | 18 |1587k|6699 | 0.000000e+00 | -- | Inf
1306.49/1306.89 c 1307s| 2680k|360955 | 5542k| 2.1 | 339M| 36 | - | 40 | 27k| 40 | 13 | 18 |1594k|6718 | 0.000000e+00 | -- | Inf
1315.28/1315.69 c 1316s| 2690k|361512 | 5563k| 2.1 | 339M| 36 | - | 40 | 26k| 40 | 13 | 18 |1600k|6725 | 0.000000e+00 | -- | Inf
1322.89/1323.23 c 1323s| 2700k|362100 | 5583k| 2.1 | 340M| 36 | - | 40 | 25k| 40 | 13 | 18 |1607k|6732 | 0.000000e+00 | -- | Inf
1332.38/1332.72 c 1333s| 2710k|362360 | 5604k| 2.1 | 340M| 36 | 5 | 40 | 24k| 40 | 13 | 18 |1614k|6742 | 0.000000e+00 | -- | Inf
1341.07/1341.48 c 1341s| 2720k|362729 | 5624k| 2.1 | 341M| 36 | - | 40 | 24k| 0 | 0 | 18 |1620k|6753 | 0.000000e+00 | -- | Inf
1346.27/1346.62 c 1347s| 2730k|363782 | 5645k| 2.1 | 343M| 36 | - | 40 | 26k| 40 | 13 | 18 |1627k|6761 | 0.000000e+00 | -- | Inf
1352.17/1352.50 c 1352s| 2740k|364476 | 5666k| 2.1 | 344M| 36 | 5 | 40 | 26k| 40 | 13 | 18 |1633k|6770 | 0.000000e+00 | -- | Inf
1359.47/1359.84 c 1360s| 2750k|365130 | 5686k| 2.1 | 345M| 36 | 5 | 40 | 27k| 40 | 13 | 18 |1640k|6782 | 0.000000e+00 | -- | Inf
1365.47/1365.86 c 1366s| 2760k|366094 | 5707k| 2.1 | 346M| 36 | 5 | 40 | 28k| 40 | 13 | 18 |1646k|6800 | 0.000000e+00 | -- | Inf
1371.17/1371.54 c 1372s| 2770k|367084 | 5728k| 2.1 | 348M| 36 | - | 40 | 29k| 40 | 13 | 18 |1653k|6815 | 0.000000e+00 | -- | Inf
1378.47/1378.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.47/1378.82 c 1379s| 2780k|367879 | 5749k| 2.1 | 348M| 36 | - | 40 | 29k| 0 | 0 | 18 |1659k|6825 | 0.000000e+00 | -- | Inf
1385.76/1386.16 c 1386s| 2790k|368513 | 5769k| 2.1 | 349M| 36 | 5 | 40 | 27k| 40 | 13 | 18 |1666k|6836 | 0.000000e+00 | -- | Inf
1394.06/1394.46 c 1394s| 2800k|368969 | 5789k| 2.1 | 349M| 36 | - | 40 | 26k| 40 | 13 | 18 |1672k|6848 | 0.000000e+00 | -- | Inf
1401.46/1401.87 c 1402s| 2810k|369911 | 5810k| 2.1 | 350M| 36 | 5 | 40 | 25k| 40 | 13 | 18 |1679k|6858 | 0.000000e+00 | -- | Inf
1405.66/1406.08 c 1406s| 2820k|371295 | 5829k| 2.1 | 352M| 36 | - | 40 | 27k| 0 | 0 | 18 |1685k|6866 | 0.000000e+00 | -- | Inf
1410.56/1410.99 c 1411s| 2830k|372089 | 5848k| 2.1 | 353M| 36 | 5 | 40 | 28k| 40 | 13 | 18 |1691k|6878 | 0.000000e+00 | -- | Inf
1415.96/1416.35 c 1416s| 2840k|372481 | 5867k| 2.1 | 354M| 36 | - | 40 | 29k| 40 | 13 | 18 |1698k|6891 | 0.000000e+00 | -- | Inf
1422.36/1422.76 c 1423s| 2850k|373501 | 5887k| 2.1 | 355M| 36 | 5 | 40 | 28k| 40 | 13 | 18 |1704k|6904 | 0.000000e+00 | -- | Inf
1427.16/1427.52 c 1428s| 2860k|374794 | 5907k| 2.1 | 357M| 36 | 5 | 40 | 30k| 40 | 13 | 18 |1710k|6916 | 0.000000e+00 | -- | Inf
1432.56/1432.96 c 1433s| 2870k|375366 | 5926k| 2.1 | 358M| 36 | 5 | 40 | 31k| 40 | 13 | 18 |1716k|6927 | 0.000000e+00 | -- | Inf
1441.35/1441.72 c 1442s| 2880k|375741 | 5947k| 2.1 | 358M| 36 | 5 | 40 | 28k| 40 | 13 | 18 |1723k|6941 | 0.000000e+00 | -- | Inf
1446.06/1446.48 c 1446s| 2890k|377961 | 5968k| 2.1 | 359M| 36 | 5 | 40 | 28k| 40 | 13 | 18 |1728k|6954 | 0.000000e+00 | -- | Inf
1450.96/1451.38 c 1451s| 2900k|379605 | 5988k| 2.1 | 361M| 36 | 5 | 40 | 29k| 40 | 13 | 18 |1734k|6962 | 0.000000e+00 | -- | Inf
1455.36/1455.75 c 1456s| 2910k|381382 | 6008k| 2.1 | 363M| 36 | 5 | 40 | 30k| 40 | 13 | 18 |1740k|6975 | 0.000000e+00 | -- | Inf
1461.35/1461.78 c 1462s| 2920k|382504 | 6029k| 2.1 | 364M| 36 | 5 | 40 | 30k| 40 | 13 | 18 |1746k|6991 | 0.000000e+00 | -- | Inf
1466.75/1467.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.75/1467.15 c 1467s| 2930k|383925 | 6050k| 2.1 | 365M| 36 | 5 | 40 | 30k| 40 | 13 | 18 |1753k|6998 | 0.000000e+00 | -- | Inf
1472.85/1473.23 c 1473s| 2940k|384725 | 6071k| 2.1 | 366M| 36 | - | 40 | 30k| 40 | 13 | 18 |1759k|7007 | 0.000000e+00 | -- | Inf
1478.65/1479.05 c 1479s| 2950k|385657 | 6092k| 2.1 | 367M| 36 | - | 40 | 31k| 40 | 13 | 18 |1766k|7020 | 0.000000e+00 | -- | Inf
1485.35/1485.73 c 1486s| 2960k|386211 | 6113k| 2.1 | 368M| 36 | 5 | 40 | 31k| 40 | 13 | 18 |1772k|7032 | 0.000000e+00 | -- | Inf
1491.65/1492.03 c 1492s| 2970k|386799 | 6134k| 2.1 | 369M| 36 | 5 | 40 | 32k| 40 | 13 | 18 |1779k|7041 | 0.000000e+00 | -- | Inf
1498.55/1498.94 c 1499s| 2980k|387145 | 6154k| 2.1 | 370M| 36 | - | 40 | 33k| 40 | 13 | 18 |1786k|7056 | 0.000000e+00 | -- | Inf
1509.34/1509.71 c 1510s| 2990k|387523 | 6175k| 2.1 | 370M| 36 | 5 | 40 | 28k| 40 | 13 | 18 |1793k|7066 | 0.000000e+00 | -- | Inf
1515.46/1515.82 c 1516s| 3000k|388310 | 6195k| 2.1 | 371M| 36 | - | 40 | 29k| 40 | 13 | 18 |1800k|7081 | 0.000000e+00 | -- | Inf
1526.45/1526.85 c 1527s| 3010k|388398 | 6216k| 2.1 | 371M| 36 | 5 | 40 | 27k| 40 | 13 | 18 |1807k|7090 | 0.000000e+00 | -- | Inf
1534.84/1535.22 c 1535s| 3020k|389089 | 6237k| 2.1 | 372M| 36 | - | 40 | 27k| 0 | 0 | 18 |1813k|7103 | 0.000000e+00 | -- | Inf
1544.14/1544.57 c 1545s| 3030k|389339 | 6257k| 2.1 | 372M| 36 | 5 | 40 | 26k| 40 | 13 | 18 |1820k|7118 | 0.000000e+00 | -- | Inf
1551.53/1551.91 c 1552s| 3040k|389916 | 6276k| 2.1 | 373M| 36 | - | 40 | 26k| 0 | 0 | 18 |1826k|7126 | 0.000000e+00 | -- | Inf
1558.93/1559.32 c 1559s| 3050k|390603 | 6297k| 2.1 | 375M| 36 | - | 40 | 28k| 40 | 13 | 18 |1833k|7134 | 0.000000e+00 | -- | Inf
1567.64/1568.00 c 1568s| 3060k|390947 | 6318k| 2.1 | 375M| 36 | - | 40 | 27k| 40 | 13 | 18 |1840k|7147 | 0.000000e+00 | -- | Inf
1575.34/1575.76 c 1576s| 3070k|391608 | 6339k| 2.1 | 376M| 36 | - | 40 | 27k| 40 | 13 | 18 |1847k|7162 | 0.000000e+00 | -- | Inf
1586.04/1586.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.04/1586.49 c 1586s| 3080k|391828 | 6359k| 2.1 | 376M| 36 | 5 | 40 | 25k| 40 | 13 | 18 |1853k|7179 | 0.000000e+00 | -- | Inf
1595.84/1596.21 c 1596s| 3090k|392107 | 6380k| 2.1 | 377M| 36 | - | 40 | 24k| 0 | 0 | 18 |1860k|7191 | 0.000000e+00 | -- | Inf
1603.73/1604.15 c 1604s| 3100k|392601 | 6401k| 2.1 | 378M| 36 | - | 40 | 25k| 40 | 13 | 18 |1867k|7199 | 0.000000e+00 | -- | Inf
1612.43/1612.88 c 1613s| 3110k|392979 | 6422k| 2.1 | 378M| 36 | - | 40 | 25k| 40 | 13 | 18 |1874k|7213 | 0.000000e+00 | -- | Inf
1619.22/1619.69 c 1620s| 3120k|393563 | 6443k| 2.1 | 379M| 36 | - | 40 | 25k| 40 | 13 | 18 |1880k|7229 | 0.000000e+00 | -- | Inf
1628.32/1628.79 c 1629s| 3130k|393877 | 6464k| 2.1 | 380M| 36 | - | 40 | 25k| 0 | 0 | 18 |1887k|7243 | 0.000000e+00 | -- | Inf
1639.21/1639.70 c 1640s| 3140k|393928 | 6484k| 2.1 | 380M| 36 | - | 40 | 24k| 40 | 13 | 18 |1894k|7256 | 0.000000e+00 | -- | Inf
1648.42/1648.87 c 1649s| 3150k|394187 | 6505k| 2.1 | 381M| 36 | 5 | 40 | 25k| 40 | 13 | 18 |1901k|7270 | 0.000000e+00 | -- | Inf
1656.11/1656.53 c 1657s| 3160k|394636 | 6526k| 2.1 | 382M| 36 | - | 40 | 25k| 0 | 0 | 18 |1908k|7281 | 0.000000e+00 | -- | Inf
1666.11/1666.58 c 1667s| 3170k|394895 | 6547k| 2.1 | 382M| 36 | 5 | 40 | 25k| 40 | 13 | 18 |1914k|7296 | 0.000000e+00 | -- | Inf
1675.59/1676.07 c 1676s| 3180k|395120 | 6568k| 2.1 | 383M| 36 | - | 40 | 25k| 40 | 13 | 18 |1921k|7311 | 0.000000e+00 | -- | Inf
1684.49/1684.90 c 1685s| 3190k|395470 | 6588k| 2.1 | 384M| 36 | 5 | 40 | 26k| 40 | 13 | 18 |1928k|7325 | 0.000000e+00 | -- | Inf
1691.39/1691.89 c 1692s| 3200k|396011 | 6608k| 2.1 | 385M| 36 | 5 | 40 | 26k| 40 | 13 | 18 |1935k|7330 | 0.000000e+00 | -- | Inf
1699.28/1699.72 c 1700s| 3210k|396646 | 6629k| 2.1 | 386M| 36 | - | 40 | 27k| 40 | 13 | 18 |1941k|7347 | 0.000000e+00 | -- | Inf
1707.08/1707.56 c 1708s| 3220k|397187 | 6649k| 2.1 | 387M| 36 | - | 40 | 28k| 40 | 13 | 18 |1948k|7361 | 0.000000e+00 | -- | Inf
1717.28/1717.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.28/1717.73 c 1718s| 3230k|397532 | 6670k| 2.1 | 387M| 36 | - | 40 | 26k| 40 | 13 | 18 |1954k|7375 | 0.000000e+00 | -- | Inf
1725.07/1725.51 c 1726s| 3240k|398153 | 6691k| 2.1 | 388M| 36 | 5 | 40 | 27k| 40 | 13 | 18 |1961k|7383 | 0.000000e+00 | -- | Inf
1733.27/1733.71 c 1734s| 3250k|398639 | 6711k| 2.1 | 389M| 36 | 5 | 40 | 28k| 40 | 13 | 18 |1968k|7392 | 0.000000e+00 | -- | Inf
1741.27/1741.75 c 1742s| 3260k|399472 | 6732k| 2.1 | 390M| 36 | 5 | 40 | 28k| 40 | 13 | 18 |1974k|7410 | 0.000000e+00 | -- | Inf
1747.38/1747.89 c 1748s| 3270k|400115 | 6753k| 2.1 | 391M| 36 | 5 | 40 | 29k| 40 | 13 | 18 |1981k|7419 | 0.000000e+00 | -- | Inf
1757.38/1757.85 c 1758s| 3280k|400419 | 6773k| 2.1 | 392M| 36 | - | 40 | 28k| 0 | 0 | 18 |1987k|7429 | 0.000000e+00 | -- | Inf
1768.87/1769.31 c 1769s| 3290k|400525 | 6794k| 2.1 | 392M| 36 | - | 40 | 26k| 40 | 13 | 18 |1994k|7441 | 0.000000e+00 | -- | Inf
1778.36/1778.84 c 1779s| 3300k|400796 | 6815k| 2.1 | 392M| 36 | - | 40 | 26k| 40 | 13 | 18 |2001k|7455 | 0.000000e+00 | -- | Inf
1787.57/1788.01 c 1788s| 3310k|401059 | 6835k| 2.1 | 393M| 36 | - | 40 | 26k| 40 | 13 | 18 |2008k|7463 | 0.000000e+00 | -- | Inf
1789.57/1790.00 c
1789.57/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.57/1790.00 c Solving Time (sec) : 1790.00
1789.57/1790.00 c Solving Nodes : 3312553
1789.57/1790.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.57/1790.00 c Dual Bound : +0.00000000000000e+00
1789.57/1790.00 c Gap : infinite
1789.57/1790.00 s UNKNOWN
1789.57/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.57/1790.00 c Solving Time : 1790.00
1789.57/1790.00 c Original Problem :
1789.57/1790.00 c Problem name : HOME/instance-3734877-1338702036.opb
1789.57/1790.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.57/1790.00 c Constraints : 11 initial, 11 maximal
1789.57/1790.00 c Presolved Problem :
1789.57/1790.00 c Problem name : t_HOME/instance-3734877-1338702036.opb
1789.57/1790.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.57/1790.00 c Constraints : 5 initial, 33301 maximal
1789.57/1790.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.57/1790.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.00 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.57/1790.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.00 c implics : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.00 c probing : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.00 c linear : 0.00 0 0 0 0 0 6 0 0
1789.57/1790.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.00 c root node : - 0 - - 0 - - - -
1789.57/1790.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.57/1790.00 c integral : 0 0 0 1961046 0 993 3764 0 0 3912928
1789.57/1790.00 c linear : 5+ 7 7856654 0 1 451558 4305971 0 0 0
1789.57/1790.00 c logicor : 0+ 0 3961222 0 0 9227 1491337 0 0 0
1789.57/1790.00 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.57/1790.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.57/1790.00 c integral : 11.03 0.00 0.00 11.03 0.00
1789.57/1790.00 c linear : 108.16 0.00 108.16 0.00 0.00
1789.57/1790.00 c logicor : 784.36 0.00 784.36 0.00 0.00
1789.57/1790.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.57/1790.00 c Propagators : Time Calls Cutoffs DomReds
1789.57/1790.00 c vbounds : 1.05 2 0 0
1789.57/1790.00 c rootredcost : 0.96 0 0 0
1789.57/1790.00 c pseudoobj : 0.75 0 0 0
1789.57/1790.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.57/1790.00 c propagation : 13.63 460785 338116 1127459 28.7 39 22.6 -
1789.57/1790.00 c infeasible LP : 24.82 1070176 1070130 1912446 18.5 14005 22.7 0
1789.57/1790.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.57/1790.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.57/1790.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.57/1790.00 c applied globally : - - - 1990441 18.9 - - -
1789.57/1790.00 c applied locally : - - - 19782 31.3 - - -
1789.57/1790.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.57/1790.00 c cut pool : 0.00 5 - - 12 - (maximal pool size: 70)
1789.57/1790.00 c redcost : 1.76 1961051 0 0 0 0
1789.57/1790.00 c impliedbounds : 0.00 6 0 0 0 0
1789.57/1790.00 c intobj : 0.00 0 0 0 0 0
1789.57/1790.00 c cgmip : 0.00 0 0 0 0 0
1789.57/1790.00 c gomory : 0.00 6 0 0 1 0
1789.57/1790.00 c strongcg : 0.00 6 0 0 25 0
1789.57/1790.00 c cmir : 0.01 6 0 0 22 0
1789.57/1790.00 c flowcover : 0.01 6 0 0 32 0
1789.57/1790.00 c clique : 0.00 1 0 0 0 0
1789.57/1790.00 c zerohalf : 0.00 0 0 0 0 0
1789.57/1790.00 c mcf : 0.00 1 0 0 0 0
1789.57/1790.00 c rapidlearning : 0.03 1 0 0 0 19
1789.57/1790.00 c Pricers : Time Calls Vars
1789.57/1790.00 c problem variables: 0.00 0 0
1789.57/1790.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.57/1790.00 c relpscost : 10.08 1961046 993 3764 0 0 3912928
1789.57/1790.00 c pscost : 0.00 0 0 0 0 0 0
1789.57/1790.00 c inference : 0.00 1 0 0 0 0 2
1789.57/1790.00 c mostinf : 0.00 0 0 0 0 0 0
1789.57/1790.00 c leastinf : 0.00 0 0 0 0 0 0
1789.57/1790.00 c fullstrong : 0.00 0 0 0 0 0 0
1789.57/1790.00 c allfullstrong : 0.00 0 0 0 0 0 0
1789.57/1790.00 c random : 0.00 0 0 0 0 0 0
1789.57/1790.00 c Primal Heuristics : Time Calls Found
1789.57/1790.00 c LP solutions : 0.00 - 0
1789.57/1790.00 c pseudo solutions : 0.00 - 0
1789.57/1790.00 c oneopt : 0.68 0 0
1789.57/1790.00 c crossover : 0.43 0 0
1789.57/1790.00 c guideddiving : 0.11 0 0
1789.57/1790.00 c linesearchdiving : 0.11 111 0
1789.57/1790.00 c veclendiving : 0.11 111 0
1789.57/1790.00 c coefdiving : 0.11 111 0
1789.57/1790.00 c pscostdiving : 0.10 111 0
1789.57/1790.00 c fracdiving : 0.09 111 0
1789.57/1790.00 c objpscostdiving : 0.09 56 0
1789.57/1790.00 c rootsoldiving : 0.11 56 0
1789.57/1790.00 c feaspump : 0.08 56 0
1789.57/1790.00 c trivial : 0.00 2 0
1789.57/1790.00 c simplerounding : 0.32 0 0
1789.57/1790.00 c zirounding : 0.47 1000 0
1789.57/1790.00 c rounding : 0.69 19834 0
1789.57/1790.00 c shifting : 1.22 6009 0
1789.57/1790.00 c intshifting : 0.05 0 0
1789.57/1790.00 c twoopt : 0.00 0 0
1789.57/1790.00 c fixandinfer : 0.00 0 0
1789.57/1790.00 c intdiving : 0.00 0 0
1789.57/1790.00 c actconsdiving : 0.00 0 0
1789.57/1790.00 c octane : 0.00 0 0
1789.57/1790.00 c rens : 0.01 1 0
1789.57/1790.00 c rins : 0.00 0 0
1789.57/1790.00 c localbranching : 0.00 0 0
1789.57/1790.00 c mutation : 0.00 0 0
1789.57/1790.00 c dins : 0.00 0 0
1789.57/1790.00 c undercover : 0.00 0 0
1789.57/1790.00 c nlp : 0.38 0 0
1789.57/1790.00 c trysol : 0.55 0 0
1789.57/1790.00 c LP : Time Calls Iterations Iter/call Iter/sec
1789.57/1790.00 c primal LP : 0.00 0 0 0.00 -
1789.57/1790.00 c dual LP : 114.48 2940971 6838403 2.33 59736.37
1789.57/1790.00 c lex dual LP : 0.00 0 0 0.00 -
1789.57/1790.00 c barrier LP : 0.00 0 0 0.00 -
1789.57/1790.00 c diving/probing LP: 0.07 1641 2766 1.69 39629.21
1789.57/1790.00 c strong branching : 0.50 7467 25759 3.45 51319.19
1789.57/1790.00 c (at root node) : - 9 208 23.11 -
1789.57/1790.00 c conflict analysis: 0.00 0 0 0.00 -
1789.57/1790.00 c B&B Tree :
1789.57/1790.00 c number of runs : 1
1789.57/1790.00 c nodes : 3312553
1789.57/1790.00 c nodes (total) : 3312553
1789.57/1790.00 c nodes left : 401136
1789.57/1790.00 c max depth : 36
1789.57/1790.00 c max depth (total): 36
1789.57/1790.00 c backtracks : 769691 (23.2%)
1789.57/1790.00 c delayed cutoffs : 199242
1789.57/1790.00 c repropagations : 2733986 (2671645 domain reductions, 174549 cutoffs)
1789.57/1790.00 c avg switch length: 6.23
1789.57/1790.00 c switching time : 489.73
1789.57/1790.00 c Solution :
1789.57/1790.00 c Solutions found : 0 (0 improvements)
1789.57/1790.00 c Primal Bound : -
1789.57/1790.00 c Dual Bound : +0.00000000000000e+00
1789.57/1790.00 c Gap : infinite
1789.57/1790.00 c Root Dual Bound : +0.00000000000000e+00
1789.57/1790.00 c Root Iterations : 120
1790.97/1791.42 c Time complete: 1790.99.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734877-1338702036/watcher-3734877-1338702036 -o /tmp/evaluation-result-3734877-1338702036/solver-3734877-1338702036 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734877-1338702036.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13861
/proc/meminfo: memFree=28061676/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=10220 CPUtime=0 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 1806 0 0 0 0 0 0 0 20 0 1 0 336330454 10465280 1753 33554432000 4194304 8395647 140735753512256 140735753511240 7355228 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 2555 1753 393 1026 0 1525 0
[startup+0.0437319 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13861
/proc/meminfo: memFree=28061676/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=21892 CPUtime=0.03 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 4710 0 0 0 3 0 0 0 20 0 1 0 336330454 22417408 4303 33554432000 4194304 8395647 140735753512256 140735753511240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 5473 4303 608 1026 0 4443 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21892
[startup+0.100311 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13861
/proc/meminfo: memFree=28061676/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=22916 CPUtime=0.09 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 5050 0 0 0 8 1 0 0 20 0 1 0 336330454 23465984 4643 33554432000 4194304 8395647 140735753512256 140735753511240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 5729 4643 622 1026 0 4699 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22916
[startup+0.300224 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13861
/proc/meminfo: memFree=28061676/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=22916 CPUtime=0.28 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 5053 0 0 0 27 1 0 0 20 0 1 0 336330454 23465984 4646 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 5729 4646 622 1026 0 4699 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22916
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13861
/proc/meminfo: memFree=28061676/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=22916 CPUtime=0.69 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 5055 0 0 0 67 2 0 0 20 0 1 0 336330454 23465984 4648 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 5729 4648 622 1026 0 4699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22916
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13862
/proc/meminfo: memFree=28044936/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=22916 CPUtime=1.48 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 5062 0 0 0 145 3 0 0 20 0 1 0 336330454 23465984 4655 33554432000 4194304 8395647 140735753512256 140735753507400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 5729 4655 622 1026 0 4699 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22916
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13862
/proc/meminfo: memFree=28041464/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=22916 CPUtime=3.09 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 5262 0 0 0 302 7 0 0 20 0 1 0 336330454 23465984 4855 33554432000 4194304 8395647 140735753512256 140735753507864 4217965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 5729 4855 622 1026 0 4699 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22916
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13862
/proc/meminfo: memFree=28034780/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=26912 CPUtime=6.28 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 6275 0 0 0 615 13 0 0 20 0 1 0 336330454 27557888 5868 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 6728 5868 622 1026 0 5698 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26912
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13862
/proc/meminfo: memFree=28015196/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=34348 CPUtime=12.68 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 8200 0 0 0 1239 29 0 0 20 0 1 0 336330454 35172352 7793 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 8587 7793 622 1026 0 7557 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34348
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13862
/proc/meminfo: memFree=27980960/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=48556 CPUtime=25.48 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 11689 0 0 0 2493 55 0 0 20 0 1 0 336330454 49721344 11282 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 12139 11282 622 1026 0 11109 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48556
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13862
/proc/meminfo: memFree=27932760/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=71096 CPUtime=51.08 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 17034 0 0 0 5007 101 0 0 20 0 1 0 336330454 72802304 16794 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 17774 16794 622 1026 0 16744 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 71096
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13863
/proc/meminfo: memFree=27834656/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=102408 CPUtime=102.25 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 24871 0 0 0 10051 174 0 0 20 0 1 0 336330454 104865792 24874 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 25602 24874 622 1026 0 24572 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 102408
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13863
/proc/meminfo: memFree=27783780/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=130280 CPUtime=162.23 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 31700 0 0 0 15980 243 0 0 20 0 1 0 336330454 133406720 31761 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 32570 31761 622 1026 0 31540 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 130280
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13863
/proc/meminfo: memFree=27728836/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=159336 CPUtime=222.23 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 39018 0 0 0 21908 315 0 0 20 0 1 0 336330454 163160064 39079 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 39834 39079 622 1026 0 38804 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 159336
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13863
/proc/meminfo: memFree=27674360/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=177136 CPUtime=282.22 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 43461 0 0 0 27850 372 0 0 20 0 1 0 336330454 181387264 43533 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 44284 43533 622 1026 0 43254 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 177136
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13863
/proc/meminfo: memFree=27612260/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=202300 CPUtime=342.18 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 48785 0 0 0 33783 435 0 0 20 0 1 0 336330454 207155200 49057 33554432000 4194304 8395647 140735753512256 140735753507864 4216931 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 50575 49057 622 1026 0 49545 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 202300
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13864
/proc/meminfo: memFree=27558912/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=216048 CPUtime=402.16 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 52282 0 0 0 39733 483 0 0 20 0 1 0 336330454 221233152 52624 33554432000 4194304 8395647 140735753512256 140735753506808 4216926 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 54012 52624 622 1026 0 52982 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 216048
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13864
/proc/meminfo: memFree=27496420/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=232132 CPUtime=462.15 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 56349 0 0 0 45684 531 0 0 20 0 1 0 336330454 237703168 56691 33554432000 4194304 8395647 140735753512256 140735753507864 6068924 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 58033 56691 622 1026 0 57003 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 232132
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13864
/proc/meminfo: memFree=27438860/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=245240 CPUtime=522.14 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 59625 0 0 0 51636 578 0 0 20 0 1 0 336330454 251125760 59967 33554432000 4194304 8395647 140735753512256 140735753507864 6349190 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 61310 59967 622 1026 0 60280 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 245240
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 13867
/proc/meminfo: memFree=27390352/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=256052 CPUtime=582.13 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 62442 0 0 0 57585 628 0 0 20 0 1 0 336330454 262197248 62784 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 64013 62784 622 1026 0 62983 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 256052
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27024256/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=341020 CPUtime=1062.01 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 83493 0 0 0 105229 972 0 0 20 0 1 0 336330454 349204480 84484 33554432000 4194304 8395647 140735753512256 140735753507864 5085381 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 85255 84484 622 1026 0 84225 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 341020
[startup+1122.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 13869
/proc/meminfo: memFree=26965172/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=350164 CPUtime=1122.01 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 85811 0 0 0 111188 1013 0 0 20 0 1 0 336330454 358567936 86802 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 87541 86802 622 1026 0 86511 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 350164
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/178 13872
/proc/meminfo: memFree=26922780/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=356484 CPUtime=1182 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 87410 0 0 0 117152 1048 0 0 20 0 1 0 336330454 365039616 88401 33554432000 4194304 8395647 140735753512256 140735753507720 5085356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 89121 88401 622 1026 0 88091 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 356484
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 13895
/proc/meminfo: memFree=26875716/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=365524 CPUtime=1241.99 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 89560 0 0 0 123115 1084 0 0 20 0 1 0 336330454 374296576 90551 33554432000 4194304 8395647 140735753512256 140735753507864 5085356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 91381 90551 622 1026 0 90351 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 365524
[startup+1302.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 13896
/proc/meminfo: memFree=26836144/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=377308 CPUtime=1301.98 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 92499 0 0 0 129075 1123 0 0 20 0 1 0 336330454 386363392 93490 33554432000 4194304 8395647 140735753512256 140735753507864 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 94327 93490 622 1026 0 93297 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 377308
[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 13896
/proc/meminfo: memFree=26810136/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=383536 CPUtime=1361.97 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 94073 0 0 0 135041 1156 0 0 20 0 1 0 336330454 392740864 95064 33554432000 4194304 8395647 140735753512256 140735753507864 6069048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 95884 95064 622 1026 0 94854 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 383536
[startup+1422.31 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 13896
/proc/meminfo: memFree=26772352/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=392432 CPUtime=1421.97 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 96254 0 0 0 140999 1198 0 0 20 0 1 0 336330454 401850368 97245 33554432000 4194304 8395647 140735753512256 140735753507816 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 98108 97245 622 1026 0 97078 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 392432
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 13896
/proc/meminfo: memFree=26733640/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=407840 CPUtime=1481.95 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 100041 0 0 0 146950 1245 0 0 20 0 1 0 336330454 417628160 101032 33554432000 4194304 8395647 140735753512256 140735753507864 4216931 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 101960 101032 622 1026 0 100930 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 407840
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 13896
/proc/meminfo: memFree=26695696/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=412424 CPUtime=1541.94 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 101203 0 0 0 152921 1273 0 0 20 0 1 0 336330454 422322176 102194 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 103106 102194 622 1026 0 102076 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 412424
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13897
/proc/meminfo: memFree=26664948/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=416712 CPUtime=1601.93 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 102295 0 0 0 158890 1303 0 0 20 0 1 0 336330454 426713088 103286 33554432000 4194304 8395647 140735753512256 140735753507864 5085356 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 104178 103286 622 1026 0 103148 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 416712
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13897
/proc/meminfo: memFree=26637180/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=423868 CPUtime=1661.9 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 103972 0 0 0 164856 1334 0 0 20 0 1 0 336330454 434040832 104939 33554432000 4194304 8395647 140735753512256 140735753507864 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 105967 104939 622 1026 0 104937 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 423868
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13897
/proc/meminfo: memFree=26603308/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=428412 CPUtime=1721.88 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 105188 0 0 0 170821 1367 0 0 20 0 1 0 336330454 438693888 106355 33554432000 4194304 8395647 140735753512256 140735753507864 5085399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 107103 106355 622 1026 0 106073 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 428412
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13938
/proc/meminfo: memFree=27608320/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=432572 CPUtime=1781.87 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 106217 0 0 0 176792 1395 0 0 20 0 1 0 336330454 442953728 107384 33554432000 4194304 8395647 140735753512256 140735753507864 5085256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 108143 107384 622 1026 0 107113 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 432572
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 13938
/proc/meminfo: memFree=27607068/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=432572 CPUtime=1785.07 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 106233 0 0 0 177110 1397 0 0 20 0 1 0 336330454 442953728 107400 33554432000 4194304 8395647 140735753512256 140735753507816 5085337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 108143 107400 622 1026 0 107113 0
Current children cumulated CPU time (s) 1785.07
Current children cumulated vsize (KiB) 432572
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13938
/proc/meminfo: memFree=27606844/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=432572 CPUtime=1788.27 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 106233 0 0 0 177429 1398 0 0 20 0 1 0 336330454 442953728 107400 33554432000 4194304 8395647 140735753512256 140735753507864 5089512 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 108143 107400 622 1026 0 107113 0
Current children cumulated CPU time (s) 1788.27
Current children cumulated vsize (KiB) 432572
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13938
/proc/meminfo: memFree=27606968/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=432572 CPUtime=1789.87 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 106236 0 0 0 177589 1398 0 0 20 0 1 0 336330454 442953728 107403 33554432000 4194304 8395647 140735753512256 140735753508088 6345790 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 108143 107403 625 1026 0 107113 0
Current children cumulated CPU time (s) 1789.87
Current children cumulated vsize (KiB) 432572
[startup+1791.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13938
/proc/meminfo: memFree=27606504/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=432572 CPUtime=1790.67 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 106236 0 0 0 177669 1398 0 0 20 0 1 0 336330454 442953728 107403 33554432000 4194304 8395647 140735753512256 140735753508088 4723491 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 108143 107403 625 1026 0 107113 0
Current children cumulated CPU time (s) 1790.67
Current children cumulated vsize (KiB) 432572
[startup+1791.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13938
/proc/meminfo: memFree=27606504/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=432572 CPUtime=1790.87 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 106236 0 0 0 177689 1398 0 0 20 0 1 0 336330454 442953728 107403 33554432000 4194304 8395647 140735753512256 140735753508088 6345208 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 108143 107403 625 1026 0 107113 0
Current children cumulated CPU time (s) 1790.87
Current children cumulated vsize (KiB) 432572
[startup+1791.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13938
/proc/meminfo: memFree=27606504/32873648 swapFree=6864/6864
[pid=13861] ppid=13859 vsize=432572 CPUtime=1790.97 cores=0,2,4,6
/proc/13861/stat : 13861 (pbscip.linux.x8) R 13859 13861 11712 0 -1 4202496 106236 0 0 0 177699 1398 0 0 20 0 1 0 336330454 442953728 107403 33554432000 4194304 8395647 140735753512256 140735753508088 4220161 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13861/statm: 108143 107403 625 1026 0 107113 0
Current children cumulated CPU time (s) 1790.97
Current children cumulated vsize (KiB) 432572
Child status: 0
Real time (s): 1791.42
CPU time (s): 1791
CPU user time (s): 1777.01
CPU system time (s): 13.9879
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 432572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.01
system time used= 13.9879
maximum resident set size= 429612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106239
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= 190
involuntary context switches= 1901
runsolver used 3.06953 second user time and 7.60584 second system time
The end