0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3735000-1338715778.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.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 6 del conss, 0 add 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 added 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 2.0.1.5
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 = 1797
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 # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
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 | - | 253k| 0 | 5 | 40 | 18 | 40 | 5 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 85 | - | 308k| 0 | 10 | 40 | 33 | 40 | 11 | 6 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 89 | - | 337k| 0 | 12 | 40 | 33 | 40 | 16 | 11 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 96 | - | 369k| 0 | 13 | 40 | 33 | 40 | 20 | 15 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 106 | - | 392k| 0 | 14 | 40 | 33 | 40 | 23 | 18 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 110 | - | 398k| 0 | 15 | 40 | 33 | 40 | 25 | 20 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 123 | - | 403k| 0 | 16 | 40 | 33 | 40 | 27 | 22 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 2 | 123 | - | 404k| 0 | 16 | 40 | 33 | 40 | 27 | 22 | 13 | 10 | 0.000000e+00 | -- | Inf
1.39/1.41 c 1.4s| 10000 | 3668 | 21383 | 2.1 |3816k| 34 | 5 | 40 |3503 | 40 | 16 | 22 |4067 | 493 | 0.000000e+00 | -- | Inf
2.79/2.88 c 2.9s| 20000 | 6906 | 42273 | 2.1 |5651k| 34 | - | 40 |3065 | 40 | 16 | 22 |8481 | 684 | 0.000000e+00 | -- | Inf
4.29/4.34 c 4.3s| 30000 | 9814 | 62811 | 2.1 |7453k| 34 | 5 | 40 |3174 | 40 | 16 | 22 | 12k| 845 | 0.000000e+00 | -- | Inf
5.79/5.83 c 5.8s| 40000 | 12622 | 83359 | 2.1 |9294k| 34 | 5 | 40 |3642 | 40 | 16 | 22 | 17k| 988 | 0.000000e+00 | -- | Inf
7.29/7.38 c 7.4s| 50000 | 15251 |104052 | 2.1 | 10M| 34 | 5 | 40 |3607 | 40 | 16 | 22 | 22k|1098 | 0.000000e+00 | -- | Inf
8.89/8.99 c 9.0s| 60000 | 17621 |124143 | 2.1 | 12M| 34 | 5 | 40 |3957 | 40 | 16 | 22 | 27k|1219 | 0.000000e+00 | -- | Inf
10.39/10.46 c 10.5s| 70000 | 20553 |144922 | 2.1 | 14M| 34 | - | 40 |5139 | 0 | 0 | 22 | 31k|1313 | 0.000000e+00 | -- | Inf
12.18/12.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.18/12.23 c 12.2s| 80000 | 22830 |164730 | 2.1 | 15M| 34 | 5 | 40 |3891 | 40 | 16 | 22 | 36k|1421 | 0.000000e+00 | -- | Inf
13.79/13.87 c 13.9s| 90000 | 25099 |184330 | 2.0 | 17M| 34 | 5 | 40 |3947 | 40 | 16 | 22 | 41k|1500 | 0.000000e+00 | -- | Inf
15.49/15.55 c 15.5s|100000 | 27390 |204606 | 2.0 | 19M| 34 | 5 | 40 |4480 | 40 | 16 | 22 | 46k|1598 | 0.000000e+00 | -- | Inf
17.19/17.27 c 17.3s|110000 | 29625 |224669 | 2.0 | 20M| 34 | - | 40 |4143 | 40 | 16 | 22 | 51k|1674 | 0.000000e+00 | -- | Inf
18.88/18.91 c 18.9s|120000 | 31866 |245379 | 2.0 | 22M| 34 | 5 | 40 |4709 | 40 | 16 | 22 | 56k|1751 | 0.000000e+00 | -- | Inf
20.69/20.72 c 20.7s|130000 | 33772 |265451 | 2.0 | 23M| 34 | - | 40 |4375 | 0 | 0 | 22 | 61k|1856 | 0.000000e+00 | -- | Inf
22.39/22.48 c 22.5s|140000 | 35802 |286540 | 2.0 | 24M| 34 | - | 40 |4549 | 40 | 16 | 22 | 66k|1924 | 0.000000e+00 | -- | Inf
24.19/24.22 c 24.2s|150000 | 37833 |306822 | 2.0 | 26M| 34 | 5 | 40 |5201 | 40 | 16 | 22 | 71k|1991 | 0.000000e+00 | -- | Inf
26.09/26.12 c 26.1s|160000 | 39665 |326463 | 2.0 | 27M| 34 | 5 | 40 |4647 | 40 | 16 | 22 | 76k|2042 | 0.000000e+00 | -- | Inf
27.88/27.91 c 27.9s|170000 | 41449 |346582 | 2.0 | 29M| 34 | 5 | 40 |4551 | 40 | 16 | 22 | 82k|2117 | 0.000000e+00 | -- | Inf
29.59/29.69 c 29.7s|180000 | 43389 |366980 | 2.0 | 30M| 34 | - | 40 |5810 | 40 | 16 | 22 | 87k|2180 | 0.000000e+00 | -- | Inf
31.49/31.57 c 31.6s|190000 | 45353 |387020 | 2.0 | 32M| 34 | 5 | 40 |5575 | 40 | 16 | 22 | 92k|2231 | 0.000000e+00 | -- | Inf
33.49/33.50 c 33.5s|200000 | 47154 |407184 | 2.0 | 33M| 34 | 5 | 40 |5402 | 40 | 16 | 22 | 98k|2280 | 0.000000e+00 | -- | Inf
35.29/35.39 c 35.4s|210000 | 48736 |426661 | 2.0 | 34M| 34 | - | 40 |5298 | 40 | 16 | 22 | 103k|2326 | 0.000000e+00 | -- | Inf
37.18/37.26 c 37.3s|220000 | 50490 |446602 | 2.0 | 36M| 34 | 5 | 40 |5259 | 40 | 16 | 22 | 108k|2381 | 0.000000e+00 | -- | Inf
39.19/39.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.19/39.20 c 39.2s|230000 | 52143 |466490 | 2.0 | 37M| 34 | 5 | 40 |5449 | 40 | 16 | 22 | 113k|2432 | 0.000000e+00 | -- | Inf
41.08/41.18 c 41.2s|240000 | 53782 |486506 | 2.0 | 38M| 34 | - | 40 |5584 | 40 | 16 | 22 | 119k|2475 | 0.000000e+00 | -- | Inf
42.98/43.09 c 43.1s|250000 | 55325 |506656 | 2.0 | 40M| 34 | 5 | 40 |6681 | 40 | 16 | 22 | 124k|2542 | 0.000000e+00 | -- | Inf
45.18/45.22 c 45.2s|260000 | 56748 |526669 | 2.0 | 41M| 34 | - | 40 |5717 | 40 | 16 | 22 | 130k|2590 | 0.000000e+00 | -- | Inf
47.08/47.12 c 47.1s|270000 | 58460 |548285 | 2.0 | 42M| 34 | 5 | 40 |7267 | 40 | 16 | 22 | 136k|2642 | 0.000000e+00 | -- | Inf
49.08/49.16 c 49.2s|280000 | 60019 |568836 | 2.0 | 44M| 34 | 5 | 40 |7363 | 40 | 16 | 22 | 141k|2696 | 0.000000e+00 | -- | Inf
51.29/51.30 c 51.3s|290000 | 61547 |588766 | 2.0 | 45M| 34 | 5 | 40 |6588 | 40 | 16 | 22 | 146k|2755 | 0.000000e+00 | -- | Inf
52.98/53.06 c 53.1s|300000 | 63752 |608313 | 2.0 | 47M| 34 | 5 | 40 |8985 | 40 | 16 | 22 | 151k|2808 | 0.000000e+00 | -- | Inf
55.38/55.40 c 55.4s|310000 | 65511 |628130 | 2.0 | 48M| 34 | 5 | 40 |7086 | 40 | 16 | 22 | 156k|2846 | 0.000000e+00 | -- | Inf
57.49/57.55 c 57.6s|320000 | 67119 |647804 | 2.0 | 49M| 34 | - | 40 |7266 | 40 | 16 | 22 | 162k|2901 | 0.000000e+00 | -- | Inf
59.58/59.63 c 59.6s|330000 | 68809 |667681 | 2.0 | 51M| 34 | 5 | 40 |8667 | 40 | 16 | 22 | 167k|2943 | 0.000000e+00 | -- | Inf
61.78/61.87 c 61.9s|340000 | 70324 |687683 | 2.0 | 52M| 34 | 5 | 40 |8605 | 40 | 16 | 22 | 172k|3001 | 0.000000e+00 | -- | Inf
64.28/64.35 c 64.3s|350000 | 71536 |708005 | 2.0 | 53M| 34 | - | 40 |6457 | 40 | 16 | 22 | 178k|3051 | 0.000000e+00 | -- | Inf
66.38/66.45 c 66.4s|360000 | 73087 |728382 | 2.0 | 54M| 34 | - | 40 |6990 | 40 | 16 | 22 | 184k|3092 | 0.000000e+00 | -- | Inf
68.68/68.72 c 68.7s|370000 | 74398 |748335 | 2.0 | 55M| 34 | 5 | 40 |6354 | 40 | 16 | 22 | 189k|3138 | 0.000000e+00 | -- | Inf
70.68/70.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.68/70.76 c 70.8s|380000 | 75903 |768138 | 2.0 | 57M| 34 | - | 40 |7464 | 0 | 0 | 22 | 195k|3174 | 0.000000e+00 | -- | Inf
72.88/72.95 c 72.9s|390000 | 77565 |788533 | 2.0 | 58M| 34 | - | 40 |7360 | 40 | 16 | 22 | 200k|3214 | 0.000000e+00 | -- | Inf
74.78/74.89 c 74.9s|400000 | 79485 |809475 | 2.0 | 59M| 34 | - | 40 |8281 | 0 | 0 | 22 | 205k|3259 | 0.000000e+00 | -- | Inf
76.67/76.78 c 76.8s|410000 | 81653 |829049 | 2.0 | 61M| 34 | 5 | 40 |9477 | 40 | 16 | 22 | 210k|3291 | 0.000000e+00 | -- | Inf
78.77/78.84 c 78.8s|420000 | 83658 |849353 | 2.0 | 63M| 34 | - | 40 | 10k| 0 | 0 | 22 | 215k|3333 | 0.000000e+00 | -- | Inf
81.08/81.14 c 81.1s|430000 | 85225 |868981 | 2.0 | 64M| 34 | - | 40 |9991 | 0 | 0 | 22 | 221k|3378 | 0.000000e+00 | -- | Inf
83.27/83.38 c 83.4s|440000 | 86976 |888797 | 2.0 | 65M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 226k|3411 | 0.000000e+00 | -- | Inf
85.56/85.61 c 85.6s|450000 | 88698 |908649 | 2.0 | 67M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 231k|3464 | 0.000000e+00 | -- | Inf
87.87/87.97 c 88.0s|460000 | 90463 |929042 | 2.0 | 69M| 34 | - | 40 | 11k| 40 | 16 | 22 | 237k|3497 | 0.000000e+00 | -- | Inf
90.77/90.85 c 90.8s|470000 | 91765 |948678 | 2.0 | 69M| 34 | 5 | 40 |7710 | 40 | 16 | 22 | 242k|3527 | 0.000000e+00 | -- | Inf
92.86/92.93 c 92.9s|480000 | 93378 |968650 | 2.0 | 70M| 34 | 5 | 40 |8887 | 40 | 16 | 22 | 248k|3559 | 0.000000e+00 | -- | Inf
95.15/95.20 c 95.2s|490000 | 95010 |989660 | 2.0 | 71M| 34 | 5 | 40 |8106 | 40 | 16 | 22 | 254k|3590 | 0.000000e+00 | -- | Inf
97.45/97.53 c 97.5s|500000 | 96273 | 1010k| 2.0 | 72M| 34 | 5 | 40 |6685 | 40 | 16 | 22 | 260k|3629 | 0.000000e+00 | -- | Inf
99.46/99.56 c 99.6s|510000 | 97767 | 1030k| 2.0 | 74M| 34 | 5 | 40 |7199 | 40 | 16 | 22 | 265k|3662 | 0.000000e+00 | -- | Inf
101.45/101.57 c 102s|520000 | 99447 | 1050k| 2.0 | 75M| 34 | - | 40 |7091 | 0 | 0 | 22 | 271k|3703 | 0.000000e+00 | -- | Inf
103.55/103.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.55/103.63 c 104s|530000 |101058 | 1070k| 2.0 | 76M| 34 | 5 | 40 |7287 | 40 | 16 | 22 | 276k|3740 | 0.000000e+00 | -- | Inf
105.65/105.73 c 106s|540000 |102698 | 1089k| 2.0 | 77M| 34 | 5 | 40 |6035 | 40 | 16 | 22 | 281k|3772 | 0.000000e+00 | -- | Inf
107.55/107.68 c 108s|550000 |104192 | 1109k| 2.0 | 79M| 34 | 5 | 40 |6944 | 40 | 16 | 22 | 287k|3815 | 0.000000e+00 | -- | Inf
109.64/109.75 c 110s|560000 |105480 | 1130k| 2.0 | 80M| 34 | - | 40 |6615 | 40 | 16 | 22 | 292k|3842 | 0.000000e+00 | -- | Inf
111.65/111.79 c 112s|570000 |106958 | 1151k| 2.0 | 81M| 34 | 5 | 40 |7460 | 40 | 16 | 22 | 298k|3876 | 0.000000e+00 | -- | Inf
113.75/113.86 c 114s|580000 |108427 | 1171k| 2.0 | 82M| 34 | - | 40 |6646 | 40 | 16 | 22 | 304k|3924 | 0.000000e+00 | -- | Inf
115.74/115.82 c 116s|590000 |110054 | 1193k| 2.0 | 84M| 34 | - | 40 |8203 | 0 | 0 | 22 | 310k|3961 | 0.000000e+00 | -- | Inf
118.03/118.15 c 118s|600000 |111212 | 1214k| 2.0 | 84M| 34 | 5 | 40 |6229 | 40 | 16 | 22 | 316k|3988 | 0.000000e+00 | -- | Inf
120.13/120.25 c 120s|610000 |112403 | 1234k| 2.0 | 86M| 34 | 5 | 40 |6538 | 40 | 16 | 22 | 321k|4022 | 0.000000e+00 | -- | Inf
122.24/122.34 c 122s|620000 |113760 | 1254k| 2.0 | 87M| 34 | 5 | 40 |6449 | 40 | 16 | 22 | 327k|4045 | 0.000000e+00 | -- | Inf
123.93/124.08 c 124s|630000 |115862 | 1273k| 2.0 | 89M| 34 | - | 40 |7990 | 0 | 0 | 22 | 332k|4073 | 0.000000e+00 | -- | Inf
125.93/126.07 c 126s|640000 |117230 | 1293k| 2.0 | 90M| 34 | 5 | 40 |8740 | 40 | 16 | 22 | 337k|4100 | 0.000000e+00 | -- | Inf
128.23/128.31 c 128s|650000 |118499 | 1313k| 2.0 | 90M| 34 | 5 | 40 |6495 | 40 | 16 | 22 | 342k|4125 | 0.000000e+00 | -- | Inf
130.13/130.29 c 130s|660000 |119887 | 1333k| 2.0 | 92M| 34 | - | 40 |7051 | 0 | 0 | 22 | 348k|4162 | 0.000000e+00 | -- | Inf
132.22/132.35 c 132s|670000 |121185 | 1353k| 2.0 | 92M| 34 | - | 40 |6025 | 0 | 0 | 22 | 354k|4199 | 0.000000e+00 | -- | Inf
134.23/134.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.23/134.33 c 134s|680000 |122632 | 1373k| 2.0 | 94M| 34 | - | 40 |6672 | 40 | 16 | 22 | 359k|4238 | 0.000000e+00 | -- | Inf
136.22/136.38 c 136s|690000 |124032 | 1393k| 2.0 | 95M| 34 | 5 | 40 |7273 | 40 | 16 | 22 | 364k|4261 | 0.000000e+00 | -- | Inf
138.32/138.42 c 138s|700000 |125449 | 1413k| 2.0 | 96M| 34 | 5 | 40 |7669 | 40 | 16 | 22 | 370k|4301 | 0.000000e+00 | -- | Inf
140.53/140.60 c 141s|710000 |126742 | 1433k| 2.0 | 97M| 34 | 5 | 40 |6692 | 40 | 16 | 22 | 376k|4338 | 0.000000e+00 | -- | Inf
142.52/142.67 c 143s|720000 |128005 | 1453k| 2.0 | 98M| 34 | - | 40 |7022 | 0 | 0 | 22 | 381k|4365 | 0.000000e+00 | -- | Inf
144.42/144.57 c 145s|730000 |129600 | 1474k| 2.0 | 100M| 34 | - | 40 |8147 | 0 | 0 | 22 | 387k|4390 | 0.000000e+00 | -- | Inf
146.62/146.72 c 147s|740000 |130778 | 1495k| 2.0 | 101M| 34 | - | 40 |7243 | 40 | 16 | 22 | 393k|4421 | 0.000000e+00 | -- | Inf
148.82/148.92 c 149s|750000 |131853 | 1515k| 2.0 | 102M| 34 | 5 | 40 |7088 | 40 | 16 | 22 | 398k|4451 | 0.000000e+00 | -- | Inf
151.01/151.15 c 151s|760000 |132994 | 1535k| 2.0 | 103M| 34 | 5 | 40 |6228 | 40 | 16 | 22 | 404k|4472 | 0.000000e+00 | -- | Inf
153.12/153.24 c 153s|770000 |134168 | 1556k| 2.0 | 104M| 34 | - | 40 |7263 | 40 | 16 | 22 | 410k|4507 | 0.000000e+00 | -- | Inf
155.32/155.43 c 155s|780000 |135398 | 1576k| 2.0 | 105M| 34 | 5 | 40 |6967 | 40 | 16 | 22 | 416k|4535 | 0.000000e+00 | -- | Inf
157.52/157.63 c 158s|790000 |136534 | 1596k| 2.0 | 106M| 34 | - | 40 |6534 | 40 | 16 | 22 | 422k|4563 | 0.000000e+00 | -- | Inf
159.62/159.70 c 160s|800000 |137869 | 1616k| 2.0 | 107M| 34 | - | 40 |6697 | 40 | 16 | 22 | 427k|4593 | 0.000000e+00 | -- | Inf
161.82/161.91 c 162s|810000 |139011 | 1636k| 2.0 | 108M| 34 | - | 40 |6117 | 0 | 0 | 22 | 433k|4614 | 0.000000e+00 | -- | Inf
163.92/164.08 c 164s|820000 |140082 | 1655k| 2.0 | 109M| 34 | 5 | 40 |5984 | 40 | 16 | 22 | 439k|4645 | 0.000000e+00 | -- | Inf
165.93/166.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.93/166.08 c 166s|830000 |141245 | 1676k| 2.0 | 110M| 34 | - | 40 |6707 | 40 | 16 | 22 | 445k|4676 | 0.000000e+00 | -- | Inf
167.91/168.07 c 168s|840000 |142594 | 1696k| 2.0 | 112M| 34 | 5 | 40 |7842 | 40 | 16 | 22 | 450k|4711 | 0.000000e+00 | -- | Inf
170.11/170.21 c 170s|850000 |143910 | 1716k| 2.0 | 113M| 34 | 5 | 40 |8542 | 40 | 16 | 22 | 456k|4750 | 0.000000e+00 | -- | Inf
172.31/172.44 c 172s|860000 |145205 | 1735k| 2.0 | 114M| 34 | - | 40 |7313 | 40 | 16 | 22 | 461k|4775 | 0.000000e+00 | -- | Inf
174.42/174.56 c 175s|870000 |146667 | 1755k| 2.0 | 115M| 34 | 5 | 40 |8077 | 40 | 16 | 22 | 466k|4799 | 0.000000e+00 | -- | Inf
176.82/176.91 c 177s|880000 |147666 | 1776k| 2.0 | 116M| 34 | - | 40 |6505 | 40 | 16 | 22 | 472k|4838 | 0.000000e+00 | -- | Inf
178.92/179.06 c 179s|890000 |148847 | 1796k| 2.0 | 118M| 34 | - | 40 |8602 | 0 | 0 | 22 | 478k|4874 | 0.000000e+00 | -- | Inf
181.21/181.33 c 181s|900000 |149988 | 1815k| 2.0 | 118M| 34 | 5 | 40 |7446 | 40 | 16 | 22 | 484k|4902 | 0.000000e+00 | -- | Inf
183.52/183.63 c 184s|910000 |151002 | 1836k| 2.0 | 119M| 34 | 5 | 40 |6667 | 40 | 16 | 22 | 490k|4937 | 0.000000e+00 | -- | Inf
185.52/185.68 c 186s|920000 |152353 | 1856k| 2.0 | 121M| 34 | - | 40 |8343 | 40 | 16 | 22 | 496k|4970 | 0.000000e+00 | -- | Inf
187.81/187.95 c 188s|930000 |153446 | 1876k| 2.0 | 121M| 34 | 5 | 40 |7740 | 40 | 16 | 22 | 501k|4994 | 0.000000e+00 | -- | Inf
190.12/190.27 c 190s|940000 |154517 | 1896k| 2.0 | 122M| 34 | 5 | 40 |6342 | 40 | 16 | 22 | 507k|5010 | 0.000000e+00 | -- | Inf
192.42/192.59 c 193s|950000 |155372 | 1915k| 2.0 | 123M| 34 | - | 40 |6714 | 40 | 16 | 22 | 513k|5036 | 0.000000e+00 | -- | Inf
194.82/194.96 c 195s|960000 |156098 | 1935k| 2.0 | 124M| 34 | - | 40 |5738 | 40 | 16 | 22 | 519k|5069 | 0.000000e+00 | -- | Inf
196.91/197.04 c 197s|970000 |157285 | 1956k| 2.0 | 125M| 34 | 5 | 40 |6779 | 40 | 16 | 22 | 525k|5090 | 0.000000e+00 | -- | Inf
199.11/199.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.11/199.24 c 199s|980000 |158336 | 1976k| 2.0 | 126M| 34 | - | 40 |6667 | 40 | 16 | 22 | 530k|5113 | 0.000000e+00 | -- | Inf
201.21/201.38 c 201s|990000 |159464 | 1996k| 2.0 | 127M| 34 | - | 40 |7120 | 40 | 16 | 22 | 536k|5147 | 0.000000e+00 | -- | Inf
203.51/203.66 c 204s| 1000k|160511 | 2016k| 2.0 | 128M| 34 | - | 40 |6825 | 40 | 16 | 22 | 542k|5167 | 0.000000e+00 | -- | Inf
205.81/205.99 c 206s| 1010k|161367 | 2036k| 2.0 | 129M| 34 | - | 40 |6353 | 40 | 16 | 22 | 548k|5192 | 0.000000e+00 | -- | Inf
207.92/208.02 c 208s| 1020k|162606 | 2056k| 2.0 | 130M| 34 | 5 | 40 |7691 | 40 | 16 | 22 | 553k|5217 | 0.000000e+00 | -- | Inf
210.31/210.44 c 210s| 1030k|163290 | 2076k| 2.0 | 131M| 34 | - | 40 |6338 | 40 | 16 | 22 | 560k|5238 | 0.000000e+00 | -- | Inf
212.71/212.81 c 213s| 1040k|164181 | 2096k| 2.0 | 132M| 34 | - | 40 |6678 | 0 | 0 | 22 | 566k|5257 | 0.000000e+00 | -- | Inf
214.91/215.01 c 215s| 1050k|165208 | 2116k| 2.0 | 133M| 34 | 5 | 40 |6913 | 40 | 16 | 22 | 572k|5279 | 0.000000e+00 | -- | Inf
217.21/217.32 c 217s| 1060k|166080 | 2136k| 2.0 | 134M| 34 | 5 | 40 |6702 | 40 | 16 | 22 | 577k|5311 | 0.000000e+00 | -- | Inf
219.31/219.40 c 219s| 1070k|167525 | 2157k| 2.0 | 135M| 34 | 5 | 40 |8942 | 40 | 16 | 22 | 583k|5323 | 0.000000e+00 | -- | Inf
221.80/221.99 c 222s| 1080k|168442 | 2176k| 2.0 | 136M| 34 | 5 | 40 |8041 | 40 | 16 | 22 | 589k|5350 | 0.000000e+00 | -- | Inf
224.11/224.25 c 224s| 1090k|169619 | 2195k| 2.0 | 137M| 34 | - | 40 |8407 | 40 | 16 | 22 | 594k|5380 | 0.000000e+00 | -- | Inf
226.61/226.70 c 227s| 1100k|170518 | 2215k| 2.0 | 138M| 34 | 5 | 40 |7683 | 40 | 16 | 22 | 600k|5398 | 0.000000e+00 | -- | Inf
228.91/229.09 c 229s| 1110k|171429 | 2235k| 2.0 | 139M| 34 | 5 | 40 |6480 | 40 | 16 | 22 | 606k|5421 | 0.000000e+00 | -- | Inf
231.10/231.25 c 231s| 1120k|172471 | 2255k| 2.0 | 140M| 34 | - | 40 |7153 | 40 | 16 | 22 | 612k|5458 | 0.000000e+00 | -- | Inf
233.31/233.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.31/233.45 c 233s| 1130k|173615 | 2274k| 2.0 | 141M| 34 | - | 40 |7610 | 0 | 0 | 22 | 617k|5477 | 0.000000e+00 | -- | Inf
235.80/235.99 c 236s| 1140k|174239 | 2295k| 2.0 | 141M| 34 | 5 | 40 |6605 | 40 | 16 | 22 | 623k|5504 | 0.000000e+00 | -- | Inf
238.21/238.38 c 238s| 1150k|175002 | 2315k| 2.0 | 142M| 34 | 5 | 40 |6488 | 40 | 16 | 22 | 629k|5519 | 0.000000e+00 | -- | Inf
240.60/240.74 c 241s| 1160k|175697 | 2335k| 2.0 | 143M| 34 | 5 | 40 |6596 | 40 | 16 | 22 | 635k|5547 | 0.000000e+00 | -- | Inf
242.91/243.08 c 243s| 1170k|176407 | 2355k| 2.0 | 144M| 34 | 5 | 40 |6223 | 40 | 16 | 22 | 641k|5575 | 0.000000e+00 | -- | Inf
245.31/245.40 c 245s| 1180k|177135 | 2375k| 2.0 | 145M| 34 | - | 40 |6640 | 40 | 16 | 22 | 647k|5597 | 0.000000e+00 | -- | Inf
247.41/247.59 c 248s| 1190k|178040 | 2394k| 2.0 | 146M| 34 | 5 | 40 |7584 | 40 | 16 | 22 | 653k|5624 | 0.000000e+00 | -- | Inf
249.80/249.95 c 250s| 1200k|178866 | 2414k| 2.0 | 147M| 34 | - | 40 |6862 | 0 | 0 | 22 | 659k|5642 | 0.000000e+00 | -- | Inf
251.90/252.09 c 252s| 1210k|180024 | 2434k| 2.0 | 148M| 34 | 5 | 40 |7278 | 40 | 16 | 22 | 665k|5665 | 0.000000e+00 | -- | Inf
254.01/254.12 c 254s| 1220k|181694 | 2456k| 2.0 | 150M| 34 | - | 40 |9104 | 0 | 0 | 22 | 670k|5686 | 0.000000e+00 | -- | Inf
256.30/256.40 c 256s| 1230k|183362 | 2476k| 2.0 | 151M| 34 | 5 | 40 |9001 | 40 | 16 | 22 | 676k|5705 | 0.000000e+00 | -- | Inf
258.50/258.61 c 259s| 1240k|184733 | 2496k| 2.0 | 152M| 34 | - | 40 |9675 | 40 | 16 | 22 | 681k|5729 | 0.000000e+00 | -- | Inf
260.80/260.95 c 261s| 1250k|185988 | 2516k| 2.0 | 153M| 34 | - | 40 | 10k| 0 | 0 | 22 | 687k|5748 | 0.000000e+00 | -- | Inf
263.30/263.41 c 263s| 1260k|187132 | 2537k| 2.0 | 154M| 34 | 5 | 40 |8954 | 40 | 16 | 22 | 693k|5769 | 0.000000e+00 | -- | Inf
265.81/265.91 c 266s| 1270k|187964 | 2557k| 2.0 | 155M| 34 | - | 40 |8819 | 40 | 16 | 22 | 699k|5788 | 0.000000e+00 | -- | Inf
268.40/268.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.40/268.52 c 269s| 1280k|188798 | 2577k| 2.0 | 156M| 34 | 5 | 40 |7666 | 40 | 16 | 22 | 705k|5816 | 0.000000e+00 | -- | Inf
270.60/270.72 c 271s| 1290k|189912 | 2597k| 2.0 | 157M| 34 | - | 40 |8105 | 0 | 0 | 22 | 710k|5853 | 0.000000e+00 | -- | Inf
273.10/273.26 c 273s| 1300k|190759 | 2616k| 2.0 | 157M| 34 | 5 | 40 |7183 | 40 | 16 | 22 | 716k|5880 | 0.000000e+00 | -- | Inf
275.40/275.51 c 276s| 1310k|191657 | 2634k| 2.0 | 158M| 34 | - | 40 |7553 | 40 | 16 | 22 | 721k|5895 | 0.000000e+00 | -- | Inf
277.70/277.84 c 278s| 1320k|192528 | 2655k| 2.0 | 159M| 34 | 5 | 40 |7851 | 40 | 16 | 22 | 727k|5915 | 0.000000e+00 | -- | Inf
280.19/280.35 c 280s| 1330k|193281 | 2674k| 2.0 | 160M| 34 | 5 | 40 |6586 | 40 | 16 | 22 | 733k|5938 | 0.000000e+00 | -- | Inf
282.19/282.30 c 282s| 1340k|194749 | 2694k| 2.0 | 162M| 34 | 5 | 40 |9376 | 40 | 16 | 22 | 739k|5963 | 0.000000e+00 | -- | Inf
284.39/284.55 c 285s| 1350k|196109 | 2714k| 2.0 | 163M| 34 | 5 | 40 |9308 | 40 | 16 | 22 | 745k|5979 | 0.000000e+00 | -- | Inf
286.69/286.84 c 287s| 1360k|197316 | 2736k| 2.0 | 164M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 750k|5998 | 0.000000e+00 | -- | Inf
289.29/289.44 c 289s| 1370k|198165 | 2756k| 2.0 | 165M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 756k|6026 | 0.000000e+00 | -- | Inf
291.59/291.76 c 292s| 1380k|199753 | 2777k| 2.0 | 167M| 34 | - | 40 | 11k| 40 | 16 | 22 | 762k|6054 | 0.000000e+00 | -- | Inf
294.28/294.46 c 294s| 1390k|200742 | 2798k| 2.0 | 168M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 768k|6084 | 0.000000e+00 | -- | Inf
297.18/297.39 c 297s| 1400k|201696 | 2817k| 2.0 | 168M| 34 | 5 | 40 |8877 | 40 | 16 | 22 | 774k|6107 | 0.000000e+00 | -- | Inf
299.88/300.08 c 300s| 1410k|202464 | 2838k| 2.0 | 169M| 34 | - | 40 |8385 | 40 | 16 | 22 | 780k|6124 | 0.000000e+00 | -- | Inf
302.18/302.39 c 302s| 1420k|203496 | 2857k| 2.0 | 170M| 34 | 5 | 40 |9105 | 40 | 16 | 22 | 785k|6152 | 0.000000e+00 | -- | Inf
304.77/304.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.77/304.95 c 305s| 1430k|204317 | 2877k| 2.0 | 170M| 34 | - | 40 |7713 | 0 | 0 | 22 | 791k|6168 | 0.000000e+00 | -- | Inf
307.27/307.43 c 307s| 1440k|205192 | 2897k| 2.0 | 171M| 34 | - | 40 |7368 | 40 | 16 | 22 | 797k|6200 | 0.000000e+00 | -- | Inf
309.47/309.69 c 310s| 1450k|206216 | 2917k| 2.0 | 172M| 34 | 5 | 40 |8215 | 40 | 16 | 22 | 803k|6222 | 0.000000e+00 | -- | Inf
311.67/311.85 c 312s| 1460k|207476 | 2937k| 2.0 | 174M| 34 | - | 40 |9074 | 0 | 0 | 22 | 808k|6243 | 0.000000e+00 | -- | Inf
314.27/314.41 c 314s| 1470k|208237 | 2956k| 2.0 | 174M| 34 | 5 | 40 |7536 | 40 | 16 | 22 | 814k|6261 | 0.000000e+00 | -- | Inf
316.46/316.67 c 317s| 1480k|209071 | 2976k| 2.0 | 175M| 34 | 5 | 40 |7597 | 40 | 16 | 22 | 820k|6289 | 0.000000e+00 | -- | Inf
318.86/319.08 c 319s| 1490k|209808 | 2996k| 2.0 | 175M| 34 | 5 | 40 |6508 | 40 | 16 | 22 | 826k|6303 | 0.000000e+00 | -- | Inf
321.16/321.35 c 321s| 1500k|210613 | 3016k| 2.0 | 177M| 34 | - | 40 |7166 | 40 | 16 | 22 | 832k|6317 | 0.000000e+00 | -- | Inf
323.46/323.64 c 324s| 1510k|211387 | 3036k| 2.0 | 178M| 34 | 5 | 40 |8184 | 40 | 16 | 22 | 838k|6342 | 0.000000e+00 | -- | Inf
325.46/325.62 c 326s| 1520k|212868 | 3056k| 2.0 | 179M| 34 | 5 | 40 |9760 | 40 | 16 | 22 | 843k|6354 | 0.000000e+00 | -- | Inf
327.66/327.89 c 328s| 1530k|213680 | 3074k| 2.0 | 180M| 34 | - | 40 |9555 | 0 | 0 | 22 | 849k|6371 | 0.000000e+00 | -- | Inf
330.35/330.59 c 331s| 1540k|214272 | 3094k| 2.0 | 180M| 34 | 5 | 40 |7453 | 40 | 16 | 22 | 855k|6390 | 0.000000e+00 | -- | Inf
332.76/332.96 c 333s| 1550k|214871 | 3115k| 2.0 | 181M| 34 | 5 | 40 |7022 | 40 | 16 | 22 | 861k|6411 | 0.000000e+00 | -- | Inf
334.95/335.11 c 335s| 1560k|215741 | 3134k| 2.0 | 182M| 34 | - | 40 |8394 | 40 | 16 | 22 | 867k|6432 | 0.000000e+00 | -- | Inf
337.25/337.44 c 337s| 1570k|216639 | 3154k| 2.0 | 183M| 34 | - | 40 |7265 | 40 | 16 | 22 | 874k|6452 | 0.000000e+00 | -- | Inf
339.66/339.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.66/339.83 c 340s| 1580k|217389 | 3174k| 2.0 | 184M| 34 | 5 | 40 |8001 | 40 | 16 | 22 | 880k|6472 | 0.000000e+00 | -- | Inf
341.65/341.89 c 342s| 1590k|218422 | 3194k| 2.0 | 185M| 34 | - | 40 | 10k| 40 | 16 | 22 | 886k|6491 | 0.000000e+00 | -- | Inf
343.95/344.12 c 344s| 1600k|219575 | 3213k| 2.0 | 187M| 34 | - | 40 | 11k| 40 | 16 | 22 | 891k|6505 | 0.000000e+00 | -- | Inf
346.36/346.52 c 347s| 1610k|220829 | 3232k| 2.0 | 188M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 896k|6529 | 0.000000e+00 | -- | Inf
348.55/348.73 c 349s| 1620k|222997 | 3253k| 2.0 | 189M| 34 | - | 40 | 12k| 40 | 16 | 22 | 902k|6542 | 0.000000e+00 | -- | Inf
350.85/351.06 c 351s| 1630k|225223 | 3273k| 2.0 | 191M| 34 | 5 | 40 | 13k| 40 | 16 | 22 | 907k|6571 | 0.000000e+00 | -- | Inf
353.44/353.68 c 354s| 1640k|227013 | 3293k| 2.0 | 193M| 34 | - | 40 | 13k| 40 | 16 | 22 | 912k|6587 | 0.000000e+00 | -- | Inf
356.25/356.49 c 356s| 1650k|228619 | 3313k| 2.0 | 194M| 34 | - | 40 | 13k| 40 | 16 | 22 | 917k|6603 | 0.000000e+00 | -- | Inf
358.75/358.93 c 359s| 1660k|230870 | 3334k| 2.0 | 196M| 34 | 5 | 40 | 14k| 40 | 16 | 22 | 922k|6622 | 0.000000e+00 | -- | Inf
361.25/361.47 c 361s| 1670k|233094 | 3355k| 2.0 | 197M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 927k|6640 | 0.000000e+00 | -- | Inf
364.14/364.36 c 364s| 1680k|234755 | 3375k| 2.0 | 199M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 932k|6659 | 0.000000e+00 | -- | Inf
367.25/367.41 c 367s| 1690k|236193 | 3395k| 2.0 | 200M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 938k|6682 | 0.000000e+00 | -- | Inf
370.75/370.98 c 371s| 1700k|237456 | 3415k| 2.0 | 201M| 34 | 5 | 40 | 14k| 40 | 16 | 22 | 943k|6695 | 0.000000e+00 | -- | Inf
374.15/374.37 c 374s| 1710k|238683 | 3435k| 2.0 | 202M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 949k|6711 | 0.000000e+00 | -- | Inf
377.64/377.88 c 378s| 1720k|239990 | 3456k| 2.0 | 203M| 34 | - | 40 | 15k| 40 | 16 | 22 | 955k|6727 | 0.000000e+00 | -- | Inf
381.34/381.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.34/381.51 c 382s| 1730k|240955 | 3476k| 2.0 | 204M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 961k|6751 | 0.000000e+00 | -- | Inf
384.75/384.97 c 385s| 1740k|242116 | 3496k| 2.0 | 205M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 966k|6768 | 0.000000e+00 | -- | Inf
388.94/389.14 c 389s| 1750k|242791 | 3517k| 2.0 | 206M| 34 | - | 40 | 15k| 40 | 16 | 22 | 972k|6794 | 0.000000e+00 | -- | Inf
392.45/392.70 c 393s| 1760k|243803 | 3537k| 2.0 | 207M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 978k|6811 | 0.000000e+00 | -- | Inf
396.24/396.47 c 396s| 1770k|244670 | 3557k| 2.0 | 208M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 984k|6836 | 0.000000e+00 | -- | Inf
400.15/400.36 c 400s| 1780k|245452 | 3578k| 2.0 | 209M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 990k|6850 | 0.000000e+00 | -- | Inf
403.74/403.99 c 404s| 1790k|246321 | 3599k| 2.0 | 210M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 996k|6882 | 0.000000e+00 | -- | Inf
407.64/407.89 c 408s| 1800k|247286 | 3619k| 2.0 | 211M| 34 | 5 | 40 | 16k| 40 | 16 | 22 |1002k|6908 | 0.000000e+00 | -- | Inf
411.64/411.83 c 412s| 1810k|248259 | 3639k| 2.0 | 211M| 34 | 5 | 40 | 12k| 40 | 16 | 22 |1008k|6922 | 0.000000e+00 | -- | Inf
415.03/415.27 c 415s| 1820k|249008 | 3659k| 2.0 | 211M| 34 | 5 | 40 |8455 | 40 | 16 | 22 |1014k|6934 | 0.000000e+00 | -- | Inf
417.93/418.15 c 418s| 1830k|249582 | 3679k| 2.0 | 211M| 34 | - | 40 |6861 | 0 | 0 | 22 |1020k|6948 | 0.000000e+00 | -- | Inf
420.34/420.51 c 421s| 1840k|250543 | 3699k| 2.0 | 212M| 34 | 5 | 40 |7311 | 40 | 16 | 22 |1026k|6965 | 0.000000e+00 | -- | Inf
422.54/422.73 c 423s| 1850k|251618 | 3718k| 2.0 | 214M| 34 | 5 | 40 |9199 | 40 | 16 | 22 |1031k|6990 | 0.000000e+00 | -- | Inf
425.04/425.27 c 425s| 1860k|252615 | 3737k| 2.0 | 215M| 34 | - | 40 | 10k| 40 | 16 | 22 |1037k|7005 | 0.000000e+00 | -- | Inf
427.94/428.18 c 428s| 1870k|253510 | 3757k| 2.0 | 215M| 34 | 5 | 40 |7817 | 40 | 16 | 22 |1043k|7024 | 0.000000e+00 | -- | Inf
430.74/430.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.74/430.91 c 431s| 1880k|254061 | 3776k| 2.0 | 216M| 34 | - | 40 |7160 | 40 | 16 | 22 |1049k|7046 | 0.000000e+00 | -- | Inf
433.04/433.25 c 433s| 1890k|255036 | 3797k| 2.0 | 217M| 34 | 5 | 40 |8818 | 40 | 16 | 22 |1055k|7075 | 0.000000e+00 | -- | Inf
435.93/436.17 c 436s| 1900k|255558 | 3816k| 2.0 | 217M| 34 | 5 | 40 |7260 | 40 | 16 | 22 |1061k|7084 | 0.000000e+00 | -- | Inf
438.54/438.78 c 439s| 1910k|256163 | 3836k| 2.0 | 218M| 34 | - | 40 |7058 | 0 | 0 | 22 |1067k|7104 | 0.000000e+00 | -- | Inf
441.24/441.49 c 441s| 1920k|256746 | 3856k| 2.0 | 219M| 34 | 5 | 40 |6933 | 40 | 16 | 22 |1073k|7122 | 0.000000e+00 | -- | Inf
443.93/444.18 c 444s| 1930k|257286 | 3876k| 2.0 | 219M| 34 | - | 40 |7157 | 0 | 0 | 22 |1079k|7145 | 0.000000e+00 | -- | Inf
446.73/446.97 c 447s| 1940k|257850 | 3896k| 2.0 | 220M| 34 | 5 | 40 |7331 | 40 | 16 | 22 |1085k|7167 | 0.000000e+00 | -- | Inf
449.24/449.43 c 449s| 1950k|258794 | 3916k| 2.0 | 221M| 34 | 5 | 40 |7921 | 40 | 16 | 22 |1091k|7188 | 0.000000e+00 | -- | Inf
451.63/451.89 c 452s| 1960k|259793 | 3936k| 2.0 | 222M| 34 | - | 40 |8644 | 0 | 0 | 22 |1097k|7200 | 0.000000e+00 | -- | Inf
454.04/454.23 c 454s| 1970k|261097 | 3955k| 2.0 | 224M| 34 | 5 | 40 | 10k| 40 | 16 | 22 |1103k|7212 | 0.000000e+00 | -- | Inf
457.03/457.25 c 457s| 1980k|261753 | 3975k| 2.0 | 224M| 34 | - | 40 |8767 | 0 | 0 | 22 |1109k|7235 | 0.000000e+00 | -- | Inf
459.93/460.17 c 460s| 1990k|262207 | 3995k| 2.0 | 225M| 34 | 5 | 40 |7233 | 40 | 16 | 22 |1115k|7263 | 0.000000e+00 | -- | Inf
462.63/462.87 c 463s| 2000k|262764 | 4015k| 2.0 | 225M| 34 | - | 40 |6909 | 40 | 16 | 22 |1121k|7277 | 0.000000e+00 | -- | Inf
465.14/465.38 c 465s| 2010k|263393 | 4034k| 2.0 | 226M| 35 | 5 | 40 |7398 | 40 | 16 | 22 |1127k|7298 | 0.000000e+00 | -- | Inf
467.93/468.17 c 468s| 2020k|263963 | 4054k| 2.0 | 227M| 35 | 5 | 40 |7310 | 40 | 16 | 22 |1133k|7313 | 0.000000e+00 | -- | Inf
470.53/470.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.53/470.75 c 471s| 2030k|264698 | 4074k| 2.0 | 227M| 35 | 5 | 40 |6940 | 40 | 16 | 22 |1139k|7326 | 0.000000e+00 | -- | Inf
472.84/473.08 c 473s| 2040k|265482 | 4094k| 2.0 | 229M| 35 | 5 | 40 |8187 | 40 | 16 | 22 |1145k|7352 | 0.000000e+00 | -- | Inf
475.53/475.71 c 476s| 2050k|266004 | 4114k| 2.0 | 229M| 35 | - | 40 |6237 | 40 | 16 | 22 |1151k|7376 | 0.000000e+00 | -- | Inf
477.93/478.13 c 478s| 2060k|266726 | 4134k| 2.0 | 230M| 35 | 5 | 40 |6902 | 40 | 16 | 22 |1157k|7390 | 0.000000e+00 | -- | Inf
480.44/480.69 c 481s| 2070k|267361 | 4154k| 2.0 | 230M| 35 | - | 40 |7055 | 0 | 0 | 22 |1163k|7410 | 0.000000e+00 | -- | Inf
483.13/483.36 c 483s| 2080k|267920 | 4174k| 2.0 | 231M| 35 | 5 | 40 |6939 | 40 | 16 | 22 |1170k|7430 | 0.000000e+00 | -- | Inf
485.83/486.04 c 486s| 2090k|268424 | 4194k| 2.0 | 232M| 35 | 5 | 40 |6886 | 40 | 16 | 22 |1176k|7440 | 0.000000e+00 | -- | Inf
488.63/488.85 c 489s| 2100k|268872 | 4214k| 2.0 | 232M| 35 | 5 | 40 |6594 | 40 | 16 | 22 |1182k|7459 | 0.000000e+00 | -- | Inf
491.32/491.54 c 492s| 2110k|269326 | 4234k| 2.0 | 233M| 35 | 5 | 40 |7092 | 40 | 16 | 22 |1188k|7476 | 0.000000e+00 | -- | Inf
493.73/493.92 c 494s| 2120k|270630 | 4253k| 2.0 | 234M| 35 | 5 | 40 |7397 | 40 | 16 | 22 |1193k|7488 | 0.000000e+00 | -- | Inf
495.72/495.90 c 496s| 2130k|273071 | 4274k| 2.0 | 236M| 35 | 5 | 40 |9305 | 40 | 16 | 22 |1199k|7508 | 0.000000e+00 | -- | Inf
498.03/498.22 c 498s| 2140k|274775 | 4294k| 2.0 | 238M| 35 | 5 | 40 |9939 | 40 | 16 | 22 |1204k|7522 | 0.000000e+00 | -- | Inf
500.53/500.77 c 501s| 2150k|276265 | 4313k| 2.0 | 239M| 35 | - | 40 | 10k| 0 | 0 | 22 |1209k|7530 | 0.000000e+00 | -- | Inf
503.13/503.39 c 503s| 2160k|277551 | 4333k| 2.0 | 241M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1215k|7547 | 0.000000e+00 | -- | Inf
506.03/506.26 c 506s| 2170k|278531 | 4352k| 2.0 | 242M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1221k|7562 | 0.000000e+00 | -- | Inf
509.03/509.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.03/509.24 c 509s| 2180k|279385 | 4371k| 2.0 | 242M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1227k|7585 | 0.000000e+00 | -- | Inf
511.82/512.01 c 512s| 2190k|280480 | 4391k| 2.0 | 244M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1232k|7606 | 0.000000e+00 | -- | Inf
514.63/514.89 c 515s| 2200k|281394 | 4410k| 2.0 | 245M| 35 | - | 40 | 11k| 0 | 0 | 22 |1238k|7628 | 0.000000e+00 | -- | Inf
517.93/518.12 c 518s| 2210k|281970 | 4429k| 2.0 | 245M| 35 | - | 40 | 10k| 40 | 16 | 22 |1244k|7646 | 0.000000e+00 | -- | Inf
520.73/520.95 c 521s| 2220k|282807 | 4447k| 2.0 | 246M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1250k|7660 | 0.000000e+00 | -- | Inf
524.02/524.25 c 524s| 2230k|283421 | 4465k| 2.0 | 247M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1256k|7686 | 0.000000e+00 | -- | Inf
527.42/527.64 c 528s| 2240k|283809 | 4484k| 2.0 | 247M| 35 | - | 40 | 10k| 0 | 0 | 22 |1262k|7696 | 0.000000e+00 | -- | Inf
530.72/530.92 c 531s| 2250k|284428 | 4504k| 2.0 | 248M| 35 | - | 40 |9618 | 0 | 0 | 22 |1268k|7716 | 0.000000e+00 | -- | Inf
533.81/534.03 c 534s| 2260k|285032 | 4525k| 2.0 | 248M| 35 | 5 | 40 |9312 | 40 | 16 | 22 |1274k|7735 | 0.000000e+00 | -- | Inf
536.31/536.53 c 537s| 2270k|286186 | 4545k| 2.0 | 250M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1280k|7762 | 0.000000e+00 | -- | Inf
539.10/539.32 c 539s| 2280k|287129 | 4565k| 2.0 | 250M| 35 | - | 40 | 10k| 40 | 16 | 22 |1286k|7772 | 0.000000e+00 | -- | Inf
542.41/542.63 c 543s| 2290k|287686 | 4584k| 2.0 | 251M| 35 | 5 | 40 |8484 | 40 | 16 | 22 |1292k|7797 | 0.000000e+00 | -- | Inf
544.60/544.87 c 545s| 2300k|288641 | 4605k| 2.0 | 253M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1298k|7807 | 0.000000e+00 | -- | Inf
547.61/547.88 c 548s| 2310k|289340 | 4626k| 2.0 | 253M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1305k|7822 | 0.000000e+00 | -- | Inf
551.20/551.46 c 551s| 2320k|289682 | 4646k| 2.0 | 253M| 35 | 5 | 40 |8542 | 40 | 16 | 22 |1312k|7836 | 0.000000e+00 | -- | Inf
553.70/553.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.70/553.96 c 554s| 2330k|290625 | 4666k| 2.0 | 254M| 35 | - | 40 |9317 | 40 | 16 | 22 |1317k|7854 | 0.000000e+00 | -- | Inf
555.99/556.28 c 556s| 2340k|291691 | 4686k| 2.0 | 256M| 35 | - | 40 | 10k| 0 | 0 | 22 |1323k|7881 | 0.000000e+00 | -- | Inf
558.99/559.21 c 559s| 2350k|292237 | 4706k| 2.0 | 256M| 35 | - | 40 |9462 | 40 | 16 | 22 |1329k|7893 | 0.000000e+00 | -- | Inf
561.19/561.41 c 561s| 2360k|293623 | 4727k| 2.0 | 258M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1334k|7911 | 0.000000e+00 | -- | Inf
563.79/564.02 c 564s| 2370k|294453 | 4748k| 2.0 | 259M| 35 | - | 40 | 12k| 0 | 0 | 22 |1341k|7921 | 0.000000e+00 | -- | Inf
566.99/567.21 c 567s| 2380k|294765 | 4768k| 2.0 | 259M| 35 | - | 40 | 11k| 0 | 0 | 22 |1347k|7942 | 0.000000e+00 | -- | Inf
569.68/569.93 c 570s| 2390k|295720 | 4788k| 2.0 | 260M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1353k|7958 | 0.000000e+00 | -- | Inf
572.69/572.98 c 573s| 2400k|296415 | 4809k| 2.0 | 261M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1359k|7979 | 0.000000e+00 | -- | Inf
575.88/576.10 c 576s| 2410k|296784 | 4828k| 2.0 | 261M| 35 | - | 40 |8471 | 40 | 16 | 22 |1365k|7998 | 0.000000e+00 | -- | Inf
577.88/578.13 c 578s| 2420k|298501 | 4848k| 2.0 | 263M| 35 | - | 40 | 11k| 40 | 16 | 22 |1371k|8016 | 0.000000e+00 | -- | Inf
580.29/580.58 c 581s| 2430k|299701 | 4869k| 2.0 | 264M| 35 | - | 40 | 11k| 40 | 16 | 22 |1376k|8028 | 0.000000e+00 | -- | Inf
583.28/583.52 c 584s| 2440k|300159 | 4889k| 2.0 | 264M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1382k|8046 | 0.000000e+00 | -- | Inf
586.09/586.34 c 586s| 2450k|300827 | 4909k| 2.0 | 265M| 35 | - | 40 |9312 | 0 | 0 | 22 |1388k|8054 | 0.000000e+00 | -- | Inf
588.59/588.88 c 589s| 2460k|301640 | 4929k| 2.0 | 266M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1395k|8076 | 0.000000e+00 | -- | Inf
591.08/591.31 c 591s| 2470k|302698 | 4948k| 2.0 | 267M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1400k|8087 | 0.000000e+00 | -- | Inf
594.28/594.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.28/594.56 c 595s| 2480k|303269 | 4968k| 2.0 | 267M| 35 | - | 40 |8575 | 0 | 0 | 22 |1406k|8102 | 0.000000e+00 | -- | Inf
597.09/597.34 c 597s| 2490k|303833 | 4987k| 2.0 | 267M| 35 | - | 40 |7427 | 0 | 0 | 22 |1412k|8113 | 0.000000e+00 | -- | Inf
599.68/600.00 c 600s| 2500k|304351 | 5008k| 2.0 | 268M| 35 | 5 | 40 |7413 | 40 | 16 | 22 |1418k|8133 | 0.000000e+00 | -- | Inf
601.78/602.05 c 602s| 2510k|305752 | 5028k| 2.0 | 270M| 35 | - | 40 |9797 | 0 | 0 | 22 |1424k|8142 | 0.000000e+00 | -- | Inf
604.18/604.47 c 604s| 2520k|306401 | 5047k| 2.0 | 271M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1430k|8158 | 0.000000e+00 | -- | Inf
607.18/607.46 c 607s| 2530k|307098 | 5067k| 2.0 | 271M| 35 | - | 40 |8080 | 40 | 16 | 22 |1436k|8176 | 0.000000e+00 | -- | Inf
610.08/610.31 c 610s| 2540k|307385 | 5086k| 2.0 | 271M| 35 | 5 | 40 |6360 | 40 | 16 | 22 |1442k|8187 | 0.000000e+00 | -- | Inf
612.28/612.52 c 613s| 2550k|308183 | 5107k| 2.0 | 272M| 35 | - | 40 |8656 | 40 | 16 | 22 |1449k|8201 | 0.000000e+00 | -- | Inf
615.18/615.44 c 615s| 2560k|308627 | 5127k| 2.0 | 273M| 35 | - | 40 |7554 | 40 | 16 | 22 |1455k|8219 | 0.000000e+00 | -- | Inf
617.58/617.89 c 618s| 2570k|309652 | 5147k| 2.0 | 274M| 35 | 5 | 40 |7952 | 40 | 16 | 22 |1460k|8233 | 0.000000e+00 | -- | Inf
620.19/620.45 c 620s| 2580k|310215 | 5167k| 2.0 | 274M| 35 | 5 | 40 |7683 | 40 | 16 | 22 |1467k|8246 | 0.000000e+00 | -- | Inf
622.77/623.06 c 623s| 2590k|310824 | 5187k| 2.0 | 275M| 35 | - | 40 |8110 | 0 | 0 | 22 |1473k|8271 | 0.000000e+00 | -- | Inf
625.48/625.77 c 626s| 2600k|311469 | 5206k| 2.0 | 276M| 35 | 5 | 40 |7582 | 40 | 16 | 22 |1479k|8282 | 0.000000e+00 | -- | Inf
628.07/628.31 c 628s| 2610k|312061 | 5227k| 2.0 | 277M| 35 | - | 40 |8551 | 0 | 0 | 22 |1485k|8299 | 0.000000e+00 | -- | Inf
630.78/631.04 c 631s| 2620k|312693 | 5246k| 2.0 | 278M| 35 | 5 | 40 |8319 | 40 | 16 | 22 |1491k|8321 | 0.000000e+00 | -- | Inf
633.08/633.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.08/633.37 c 633s| 2630k|313610 | 5267k| 2.0 | 279M| 35 | - | 40 | 11k| 40 | 16 | 22 |1497k|8340 | 0.000000e+00 | -- | Inf
636.38/636.61 c 637s| 2640k|314121 | 5287k| 2.0 | 279M| 35 | - | 40 |8781 | 40 | 16 | 22 |1503k|8361 | 0.000000e+00 | -- | Inf
639.37/639.67 c 640s| 2650k|314385 | 5308k| 2.0 | 280M| 35 | 5 | 40 |7661 | 40 | 16 | 22 |1510k|8372 | 0.000000e+00 | -- | Inf
641.97/642.30 c 642s| 2660k|315071 | 5328k| 2.0 | 281M| 35 | 5 | 40 |8640 | 40 | 16 | 22 |1516k|8388 | 0.000000e+00 | -- | Inf
644.97/645.25 c 645s| 2670k|315693 | 5348k| 2.0 | 281M| 35 | - | 40 |8108 | 40 | 16 | 22 |1522k|8410 | 0.000000e+00 | -- | Inf
647.47/647.78 c 648s| 2680k|316492 | 5368k| 2.0 | 282M| 35 | - | 40 |8151 | 40 | 16 | 22 |1528k|8421 | 0.000000e+00 | -- | Inf
650.17/650.41 c 650s| 2690k|317188 | 5388k| 2.0 | 283M| 35 | 5 | 40 |9233 | 40 | 16 | 22 |1534k|8436 | 0.000000e+00 | -- | Inf
653.18/653.43 c 653s| 2700k|317604 | 5407k| 2.0 | 283M| 35 | 5 | 40 |8069 | 40 | 16 | 22 |1541k|8454 | 0.000000e+00 | -- | Inf
655.97/656.21 c 656s| 2710k|318156 | 5427k| 2.0 | 284M| 35 | 5 | 40 |7652 | 40 | 16 | 22 |1547k|8471 | 0.000000e+00 | -- | Inf
658.58/658.86 c 659s| 2720k|318704 | 5446k| 2.0 | 285M| 35 | - | 40 |7776 | 40 | 16 | 22 |1553k|8492 | 0.000000e+00 | -- | Inf
661.37/661.62 c 662s| 2730k|319182 | 5466k| 2.0 | 285M| 35 | 5 | 40 |7299 | 40 | 16 | 22 |1559k|8507 | 0.000000e+00 | -- | Inf
664.17/664.45 c 664s| 2740k|319582 | 5486k| 2.0 | 286M| 35 | 5 | 40 |7370 | 40 | 16 | 22 |1565k|8527 | 0.000000e+00 | -- | Inf
666.87/667.19 c 667s| 2750k|319972 | 5506k| 2.0 | 286M| 35 | - | 40 |7208 | 0 | 0 | 22 |1572k|8539 | 0.000000e+00 | -- | Inf
669.17/669.49 c 669s| 2760k|320744 | 5526k| 2.0 | 288M| 35 | 5 | 40 |8965 | 40 | 16 | 22 |1578k|8557 | 0.000000e+00 | -- | Inf
671.37/671.66 c 672s| 2770k|322652 | 5547k| 2.0 | 289M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1583k|8577 | 0.000000e+00 | -- | Inf
673.77/674.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.77/674.05 c 674s| 2780k|324183 | 5568k| 2.0 | 291M| 35 | - | 40 | 11k| 40 | 16 | 22 |1589k|8602 | 0.000000e+00 | -- | Inf
676.36/676.64 c 677s| 2790k|325524 | 5588k| 2.0 | 292M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1595k|8626 | 0.000000e+00 | -- | Inf
679.16/679.43 c 679s| 2800k|326341 | 5609k| 2.0 | 293M| 35 | - | 40 | 11k| 40 | 16 | 22 |1601k|8642 | 0.000000e+00 | -- | Inf
681.97/682.22 c 682s| 2810k|327126 | 5629k| 2.0 | 294M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1607k|8651 | 0.000000e+00 | -- | Inf
685.07/685.39 c 685s| 2820k|327488 | 5650k| 2.0 | 295M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1613k|8669 | 0.000000e+00 | -- | Inf
688.28/688.58 c 689s| 2830k|328100 | 5669k| 2.0 | 294M| 35 | 5 | 40 |8602 | 40 | 16 | 22 |1619k|8674 | 0.000000e+00 | -- | Inf
690.47/690.72 c 691s| 2840k|330037 | 5689k| 2.0 | 297M| 35 | - | 40 | 11k| 0 | 0 | 22 |1624k|8695 | 0.000000e+00 | -- | Inf
693.27/693.53 c 694s| 2850k|331069 | 5710k| 2.0 | 297M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1630k|8713 | 0.000000e+00 | -- | Inf
696.07/696.31 c 696s| 2860k|331877 | 5730k| 2.0 | 299M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1636k|8743 | 0.000000e+00 | -- | Inf
699.56/699.87 c 700s| 2870k|332270 | 5750k| 2.0 | 298M| 35 | - | 40 |8386 | 40 | 16 | 22 |1642k|8764 | 0.000000e+00 | -- | Inf
702.67/702.99 c 703s| 2880k|332604 | 5770k| 2.0 | 298M| 35 | - | 40 |7292 | 40 | 16 | 22 |1648k|8787 | 0.000000e+00 | -- | Inf
705.66/705.92 c 706s| 2890k|332749 | 5790k| 2.0 | 299M| 35 | - | 40 |6969 | 40 | 16 | 22 |1655k|8803 | 0.000000e+00 | -- | Inf
708.07/708.32 c 708s| 2900k|333491 | 5809k| 2.0 | 300M| 35 | 5 | 40 |9059 | 40 | 16 | 22 |1660k|8818 | 0.000000e+00 | -- | Inf
710.86/711.16 c 711s| 2910k|334204 | 5830k| 2.0 | 301M| 35 | 5 | 40 |8600 | 40 | 16 | 22 |1667k|8831 | 0.000000e+00 | -- | Inf
713.57/713.82 c 714s| 2920k|335262 | 5850k| 2.0 | 302M| 35 | - | 40 |8644 | 40 | 16 | 22 |1673k|8842 | 0.000000e+00 | -- | Inf
715.87/716.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.87/716.19 c 716s| 2930k|336411 | 5870k| 2.0 | 303M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1679k|8863 | 0.000000e+00 | -- | Inf
718.86/719.19 c 719s| 2940k|336957 | 5890k| 2.0 | 304M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1685k|8882 | 0.000000e+00 | -- | Inf
721.96/722.29 c 722s| 2950k|337524 | 5909k| 2.0 | 304M| 35 | - | 40 |8371 | 40 | 16 | 22 |1691k|8889 | 0.000000e+00 | -- | Inf
724.76/725.00 c 725s| 2960k|338262 | 5929k| 2.0 | 305M| 35 | 5 | 40 |9086 | 40 | 16 | 22 |1697k|8903 | 0.000000e+00 | -- | Inf
726.96/727.22 c 727s| 2970k|339880 | 5948k| 2.0 | 307M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1702k|8912 | 0.000000e+00 | -- | Inf
729.46/729.75 c 730s| 2980k|341039 | 5967k| 2.0 | 308M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1707k|8922 | 0.000000e+00 | -- | Inf
732.46/732.77 c 733s| 2990k|341567 | 5986k| 2.0 | 308M| 35 | - | 40 | 10k| 40 | 16 | 22 |1712k|8939 | 0.000000e+00 | -- | Inf
735.46/735.71 c 736s| 3000k|342286 | 6006k| 2.0 | 309M| 35 | - | 40 | 10k| 40 | 16 | 22 |1718k|8960 | 0.000000e+00 | -- | Inf
738.86/739.18 c 739s| 3010k|342626 | 6026k| 2.0 | 309M| 35 | 5 | 40 |9170 | 40 | 16 | 22 |1725k|8969 | 0.000000e+00 | -- | Inf
741.55/741.87 c 742s| 3020k|343316 | 6045k| 2.0 | 310M| 35 | - | 40 |9791 | 0 | 0 | 22 |1730k|8982 | 0.000000e+00 | -- | Inf
744.76/745.07 c 745s| 3030k|343657 | 6064k| 2.0 | 310M| 35 | - | 40 |7628 | 40 | 16 | 22 |1736k|8998 | 0.000000e+00 | -- | Inf
747.56/747.83 c 748s| 3040k|344258 | 6084k| 2.0 | 311M| 35 | - | 40 |9010 | 0 | 0 | 22 |1743k|9005 | 0.000000e+00 | -- | Inf
749.86/750.13 c 750s| 3050k|345931 | 6105k| 2.0 | 313M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1748k|9023 | 0.000000e+00 | -- | Inf
752.46/752.75 c 753s| 3060k|346918 | 6125k| 2.0 | 314M| 35 | - | 40 | 11k| 0 | 0 | 22 |1754k|9034 | 0.000000e+00 | -- | Inf
755.46/755.75 c 756s| 3070k|347654 | 6144k| 2.0 | 315M| 35 | - | 40 | 11k| 40 | 16 | 22 |1760k|9047 | 0.000000e+00 | -- | Inf
758.96/759.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.96/759.22 c 759s| 3080k|348127 | 6164k| 2.0 | 315M| 35 | - | 40 |9280 | 40 | 16 | 22 |1767k|9062 | 0.000000e+00 | -- | Inf
762.06/762.32 c 762s| 3090k|348661 | 6184k| 2.0 | 316M| 35 | - | 40 |8657 | 0 | 0 | 22 |1773k|9078 | 0.000000e+00 | -- | Inf
764.65/764.98 c 765s| 3100k|349593 | 6203k| 2.0 | 317M| 35 | 5 | 40 |9230 | 40 | 16 | 22 |1779k|9087 | 0.000000e+00 | -- | Inf
767.66/767.98 c 768s| 3110k|350040 | 6223k| 2.0 | 317M| 35 | - | 40 |9672 | 40 | 16 | 22 |1785k|9105 | 0.000000e+00 | -- | Inf
770.66/770.97 c 771s| 3120k|350572 | 6243k| 2.0 | 318M| 35 | - | 40 |9911 | 40 | 16 | 22 |1792k|9128 | 0.000000e+00 | -- | Inf
773.76/774.08 c 774s| 3130k|351075 | 6262k| 2.0 | 319M| 35 | - | 40 |8828 | 0 | 0 | 22 |1797k|9141 | 0.000000e+00 | -- | Inf
776.55/776.85 c 777s| 3140k|351819 | 6283k| 2.0 | 319M| 35 | - | 40 |8807 | 0 | 0 | 22 |1804k|9158 | 0.000000e+00 | -- | Inf
778.85/779.15 c 779s| 3150k|353151 | 6304k| 2.0 | 321M| 35 | - | 40 | 10k| 40 | 16 | 22 |1809k|9180 | 0.000000e+00 | -- | Inf
781.76/782.00 c 782s| 3160k|353635 | 6324k| 2.0 | 321M| 35 | - | 40 |9889 | 40 | 16 | 22 |1816k|9192 | 0.000000e+00 | -- | Inf
784.95/785.21 c 785s| 3170k|354209 | 6343k| 2.0 | 322M| 35 | 5 | 40 |8746 | 40 | 16 | 22 |1822k|9206 | 0.000000e+00 | -- | Inf
787.45/787.75 c 788s| 3180k|355182 | 6363k| 2.0 | 323M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1828k|9222 | 0.000000e+00 | -- | Inf
790.95/791.28 c 791s| 3190k|355403 | 6383k| 2.0 | 323M| 35 | 5 | 40 |7736 | 40 | 16 | 22 |1834k|9235 | 0.000000e+00 | -- | Inf
794.05/794.31 c 794s| 3200k|355771 | 6402k| 2.0 | 324M| 35 | - | 40 |8286 | 40 | 16 | 22 |1840k|9250 | 0.000000e+00 | -- | Inf
796.85/797.19 c 797s| 3210k|356418 | 6422k| 2.0 | 325M| 35 | - | 40 |9186 | 40 | 16 | 22 |1846k|9261 | 0.000000e+00 | -- | Inf
800.05/800.32 c 800s| 3220k|356816 | 6442k| 2.0 | 325M| 35 | 5 | 40 |7876 | 40 | 16 | 22 |1852k|9271 | 0.000000e+00 | -- | Inf
802.85/803.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.85/803.14 c 803s| 3230k|357441 | 6461k| 2.0 | 326M| 35 | - | 40 |8165 | 40 | 16 | 22 |1858k|9285 | 0.000000e+00 | -- | Inf
805.84/806.20 c 806s| 3240k|357866 | 6481k| 2.0 | 326M| 35 | - | 40 |8060 | 40 | 16 | 22 |1864k|9299 | 0.000000e+00 | -- | Inf
808.75/809.01 c 809s| 3250k|358321 | 6500k| 2.0 | 327M| 35 | - | 40 |8698 | 0 | 0 | 22 |1870k|9315 | 0.000000e+00 | -- | Inf
811.56/811.89 c 812s| 3260k|358899 | 6520k| 2.0 | 328M| 35 | 5 | 40 |7872 | 40 | 16 | 22 |1877k|9327 | 0.000000e+00 | -- | Inf
814.05/814.39 c 814s| 3270k|359795 | 6541k| 2.0 | 329M| 35 | 5 | 40 |9645 | 40 | 16 | 22 |1883k|9347 | 0.000000e+00 | -- | Inf
817.15/817.48 c 817s| 3280k|360194 | 6561k| 2.0 | 329M| 35 | - | 40 |7473 | 40 | 16 | 22 |1889k|9360 | 0.000000e+00 | -- | Inf
820.04/820.38 c 820s| 3290k|360568 | 6581k| 2.0 | 330M| 35 | 5 | 40 |7182 | 40 | 16 | 22 |1895k|9378 | 0.000000e+00 | -- | Inf
822.94/823.26 c 823s| 3300k|360898 | 6602k| 2.0 | 330M| 35 | 5 | 40 |7087 | 40 | 16 | 22 |1902k|9390 | 0.000000e+00 | -- | Inf
825.63/825.94 c 826s| 3310k|361335 | 6621k| 2.0 | 331M| 35 | 5 | 40 |7650 | 40 | 16 | 22 |1908k|9406 | 0.000000e+00 | -- | Inf
827.94/828.22 c 828s| 3320k|362258 | 6642k| 2.0 | 332M| 35 | 5 | 40 |9661 | 40 | 16 | 22 |1914k|9411 | 0.000000e+00 | -- | Inf
830.93/831.21 c 831s| 3330k|362794 | 6661k| 2.0 | 332M| 35 | 5 | 40 |8249 | 40 | 16 | 22 |1919k|9427 | 0.000000e+00 | -- | Inf
833.94/834.26 c 834s| 3340k|363122 | 6682k| 2.0 | 333M| 35 | - | 40 |6924 | 40 | 16 | 22 |1926k|9444 | 0.000000e+00 | -- | Inf
836.73/837.09 c 837s| 3350k|363398 | 6702k| 2.0 | 333M| 35 | 5 | 40 |6529 | 40 | 16 | 22 |1933k|9461 | 0.000000e+00 | -- | Inf
839.62/839.94 c 840s| 3360k|363594 | 6721k| 2.0 | 333M| 35 | 5 | 40 |5942 | 40 | 16 | 22 |1939k|9475 | 0.000000e+00 | -- | Inf
842.13/842.41 c 842s| 3370k|364050 | 6741k| 2.0 | 334M| 35 | - | 40 |7006 | 40 | 16 | 22 |1945k|9491 | 0.000000e+00 | -- | Inf
844.72/845.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.72/845.03 c 845s| 3380k|364558 | 6760k| 2.0 | 335M| 35 | 5 | 40 |6711 | 40 | 16 | 22 |1951k|9510 | 0.000000e+00 | -- | Inf
847.21/847.58 c 848s| 3390k|365108 | 6780k| 2.0 | 336M| 35 | 5 | 40 |7298 | 40 | 16 | 22 |1957k|9525 | 0.000000e+00 | -- | Inf
850.02/850.32 c 850s| 3400k|365473 | 6800k| 2.0 | 336M| 35 | - | 40 |7083 | 40 | 16 | 22 |1964k|9531 | 0.000000e+00 | -- | Inf
852.62/852.99 c 853s| 3410k|366038 | 6820k| 2.0 | 337M| 35 | 5 | 40 |8176 | 40 | 16 | 22 |1970k|9549 | 0.000000e+00 | -- | Inf
855.31/855.69 c 856s| 3420k|366645 | 6839k| 2.0 | 338M| 35 | - | 40 |7773 | 40 | 16 | 22 |1975k|9567 | 0.000000e+00 | -- | Inf
858.01/858.30 c 858s| 3430k|367139 | 6859k| 2.0 | 339M| 35 | 5 | 40 |8165 | 40 | 16 | 22 |1981k|9581 | 0.000000e+00 | -- | Inf
860.51/860.88 c 861s| 3440k|367648 | 6878k| 2.0 | 339M| 35 | - | 40 |8312 | 40 | 16 | 22 |1987k|9595 | 0.000000e+00 | -- | Inf
863.40/863.75 c 864s| 3450k|367916 | 6898k| 2.0 | 339M| 35 | - | 40 |7152 | 40 | 16 | 22 |1994k|9607 | 0.000000e+00 | -- | Inf
866.01/866.36 c 866s| 3460k|368387 | 6918k| 2.0 | 340M| 35 | 5 | 40 |6780 | 40 | 16 | 22 |2000k|9617 | 0.000000e+00 | -- | Inf
868.51/868.86 c 869s| 3470k|368965 | 6937k| 2.0 | 341M| 35 | - | 40 |6805 | 0 | 0 | 22 |2006k|9632 | 0.000000e+00 | -- | Inf
871.10/871.47 c 871s| 3480k|369356 | 6957k| 2.0 | 341M| 35 | 5 | 40 |7164 | 40 | 16 | 22 |2012k|9649 | 0.000000e+00 | -- | Inf
873.61/873.93 c 874s| 3490k|369935 | 6978k| 2.0 | 343M| 35 | 5 | 40 |8539 | 40 | 16 | 22 |2018k|9664 | 0.000000e+00 | -- | Inf
876.41/876.74 c 877s| 3500k|370382 | 6997k| 2.0 | 343M| 35 | - | 40 |7954 | 0 | 0 | 22 |2024k|9673 | 0.000000e+00 | -- | Inf
879.30/879.63 c 880s| 3510k|370717 | 7017k| 2.0 | 343M| 35 | - | 40 |7582 | 0 | 0 | 22 |2031k|9681 | 0.000000e+00 | -- | Inf
881.81/882.13 c 882s| 3520k|371192 | 7036k| 2.0 | 344M| 35 | 5 | 40 |8898 | 40 | 16 | 22 |2037k|9690 | 0.000000e+00 | -- | Inf
884.70/885.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.70/885.04 c 885s| 3530k|371570 | 7056k| 2.0 | 345M| 35 | 5 | 40 |7552 | 40 | 16 | 22 |2043k|9704 | 0.000000e+00 | -- | Inf
886.90/887.23 c 887s| 3540k|372604 | 7076k| 2.0 | 346M| 35 | - | 40 | 10k| 0 | 0 | 22 |2048k|9721 | 0.000000e+00 | -- | Inf
889.40/889.80 c 890s| 3550k|373547 | 7095k| 2.0 | 347M| 35 | 5 | 40 |9717 | 40 | 16 | 22 |2054k|9736 | 0.000000e+00 | -- | Inf
892.10/892.45 c 892s| 3560k|374220 | 7115k| 2.0 | 348M| 35 | 5 | 40 |9611 | 40 | 16 | 22 |2060k|9745 | 0.000000e+00 | -- | Inf
895.11/895.43 c 895s| 3570k|374617 | 7135k| 2.0 | 348M| 35 | - | 40 |8658 | 0 | 0 | 22 |2067k|9759 | 0.000000e+00 | -- | Inf
897.99/898.32 c 898s| 3580k|375058 | 7154k| 2.0 | 349M| 35 | - | 40 |8199 | 40 | 16 | 22 |2073k|9767 | 0.000000e+00 | -- | Inf
900.70/901.03 c 901s| 3590k|375861 | 7175k| 2.0 | 349M| 35 | - | 40 |8205 | 0 | 0 | 22 |2079k|9785 | 0.000000e+00 | -- | Inf
903.00/903.38 c 903s| 3600k|376948 | 7193k| 2.0 | 351M| 35 | 5 | 40 |9823 | 40 | 16 | 22 |2084k|9800 | 0.000000e+00 | -- | Inf
905.80/906.13 c 906s| 3610k|377537 | 7211k| 2.0 | 351M| 35 | - | 40 |9569 | 40 | 16 | 22 |2090k|9816 | 0.000000e+00 | -- | Inf
908.90/909.29 c 909s| 3620k|377572 | 7230k| 2.0 | 351M| 35 | - | 40 |8348 | 40 | 16 | 22 |2096k|9827 | 0.000000e+00 | -- | Inf
911.39/911.74 c 912s| 3630k|378309 | 7250k| 2.0 | 353M| 35 | 5 | 40 |9981 | 40 | 16 | 22 |2102k|9841 | 0.000000e+00 | -- | Inf
914.59/914.99 c 915s| 3640k|378581 | 7270k| 2.0 | 353M| 35 | - | 40 |8244 | 40 | 16 | 22 |2108k|9849 | 0.000000e+00 | -- | Inf
917.49/917.88 c 918s| 3650k|378978 | 7290k| 2.0 | 353M| 35 | - | 40 |8595 | 40 | 16 | 22 |2115k|9865 | 0.000000e+00 | -- | Inf
920.30/920.63 c 921s| 3660k|379447 | 7309k| 2.0 | 354M| 35 | 5 | 40 |9179 | 40 | 16 | 22 |2121k|9876 | 0.000000e+00 | -- | Inf
923.29/923.61 c 924s| 3670k|379767 | 7329k| 2.0 | 354M| 35 | - | 40 |8282 | 40 | 16 | 22 |2127k|9888 | 0.000000e+00 | -- | Inf
925.99/926.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.99/926.38 c 926s| 3680k|380234 | 7349k| 2.0 | 355M| 35 | 5 | 40 |8405 | 40 | 16 | 22 |2133k|9901 | 0.000000e+00 | -- | Inf
928.89/929.24 c 929s| 3690k|380657 | 7369k| 2.0 | 356M| 35 | 5 | 40 |8725 | 40 | 16 | 22 |2139k|9914 | 0.000000e+00 | -- | Inf
931.79/932.11 c 932s| 3700k|381077 | 7389k| 2.0 | 356M| 35 | 5 | 40 |8397 | 40 | 16 | 22 |2145k|9924 | 0.000000e+00 | -- | Inf
934.80/935.11 c 935s| 3710k|381266 | 7409k| 2.0 | 357M| 35 | 5 | 40 |7710 | 40 | 16 | 22 |2152k|9940 | 0.000000e+00 | -- | Inf
937.19/937.59 c 938s| 3720k|381866 | 7430k| 2.0 | 358M| 35 | 5 | 40 |9468 | 40 | 16 | 22 |2158k|9950 | 0.000000e+00 | -- | Inf
940.60/940.91 c 941s| 3730k|382057 | 7449k| 2.0 | 358M| 35 | - | 40 |7978 | 40 | 16 | 22 |2164k|9967 | 0.000000e+00 | -- | Inf
943.09/943.42 c 943s| 3740k|382772 | 7470k| 2.0 | 359M| 35 | - | 40 |9610 | 40 | 16 | 22 |2171k|9977 | 0.000000e+00 | -- | Inf
945.79/946.19 c 946s| 3750k|383237 | 7490k| 2.0 | 360M| 35 | - | 40 | 10k| 0 | 0 | 22 |2177k|9995 | 0.000000e+00 | -- | Inf
949.39/949.79 c 950s| 3760k|383297 | 7509k| 2.0 | 359M| 35 | 5 | 40 |7666 | 40 | 16 | 22 |2184k| 10k| 0.000000e+00 | -- | Inf
952.09/952.43 c 952s| 3770k|383781 | 7530k| 2.0 | 361M| 35 | 5 | 40 |9221 | 40 | 16 | 22 |2190k| 10k| 0.000000e+00 | -- | Inf
954.69/955.07 c 955s| 3780k|384534 | 7550k| 2.0 | 362M| 35 | - | 40 | 10k| 40 | 16 | 22 |2196k| 10k| 0.000000e+00 | -- | Inf
957.99/958.39 c 958s| 3790k|384910 | 7570k| 2.0 | 362M| 35 | 5 | 40 |8908 | 40 | 16 | 22 |2202k| 10k| 0.000000e+00 | -- | Inf
960.89/961.27 c 961s| 3800k|385499 | 7589k| 2.0 | 363M| 35 | 5 | 40 |9134 | 40 | 16 | 22 |2208k| 10k| 0.000000e+00 | -- | Inf
963.58/963.97 c 964s| 3810k|386138 | 7608k| 2.0 | 363M| 35 | 5 | 40 |9785 | 40 | 16 | 22 |2214k| 10k| 0.000000e+00 | -- | Inf
966.60/966.97 c 967s| 3820k|386667 | 7627k| 2.0 | 364M| 35 | - | 40 |8451 | 0 | 0 | 22 |2220k| 10k| 0.000000e+00 | -- | Inf
969.79/970.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.79/970.17 c 970s| 3830k|386877 | 7647k| 2.0 | 364M| 35 | 5 | 40 |7853 | 40 | 16 | 22 |2226k| 10k| 0.000000e+00 | -- | Inf
972.59/972.99 c 973s| 3840k|387336 | 7667k| 2.0 | 365M| 35 | - | 40 |7776 | 40 | 16 | 22 |2232k| 10k| 0.000000e+00 | -- | Inf
975.09/975.46 c 975s| 3850k|388251 | 7686k| 2.0 | 366M| 35 | 5 | 40 |9608 | 40 | 16 | 22 |2238k| 10k| 0.000000e+00 | -- | Inf
977.98/978.33 c 978s| 3860k|388745 | 7705k| 2.0 | 366M| 35 | 5 | 40 |9232 | 40 | 16 | 22 |2244k| 10k| 0.000000e+00 | -- | Inf
980.79/981.15 c 981s| 3870k|389432 | 7726k| 2.0 | 367M| 35 | - | 40 |9320 | 0 | 0 | 22 |2250k| 10k| 0.000000e+00 | -- | Inf
983.48/983.81 c 984s| 3880k|389951 | 7746k| 2.0 | 368M| 35 | - | 40 |9426 | 0 | 0 | 22 |2256k| 10k| 0.000000e+00 | -- | Inf
986.68/987.08 c 987s| 3890k|390054 | 7766k| 2.0 | 368M| 35 | - | 40 |8116 | 0 | 0 | 22 |2263k| 10k| 0.000000e+00 | -- | Inf
989.48/989.90 c 990s| 3900k|390531 | 7786k| 2.0 | 369M| 35 | 5 | 40 |8722 | 40 | 16 | 22 |2269k| 10k| 0.000000e+00 | -- | Inf
992.18/992.59 c 993s| 3910k|391243 | 7806k| 2.0 | 370M| 35 | - | 40 | 10k| 0 | 0 | 22 |2275k| 10k| 0.000000e+00 | -- | Inf
994.89/995.27 c 995s| 3920k|392069 | 7826k| 2.0 | 371M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2281k| 10k| 0.000000e+00 | -- | Inf
998.39/998.80 c 999s| 3930k|392318 | 7846k| 2.0 | 371M| 35 | - | 40 |8128 | 40 | 16 | 22 |2288k| 10k| 0.000000e+00 | -- | Inf
1001.49/1001.81 c 1002s| 3940k|392718 | 7866k| 2.0 | 371M| 35 | 5 | 40 |7802 | 40 | 16 | 22 |2294k| 10k| 0.000000e+00 | -- | Inf
1004.38/1004.76 c 1005s| 3950k|393099 | 7887k| 2.0 | 372M| 35 | 5 | 40 |8672 | 40 | 16 | 22 |2300k| 10k| 0.000000e+00 | -- | Inf
1006.88/1007.29 c 1007s| 3960k|393863 | 7906k| 2.0 | 373M| 35 | 5 | 40 |9721 | 40 | 16 | 22 |2306k| 10k| 0.000000e+00 | -- | Inf
1009.98/1010.37 c 1010s| 3970k|394302 | 7925k| 2.0 | 374M| 35 | 5 | 40 |9148 | 40 | 16 | 22 |2312k| 10k| 0.000000e+00 | -- | Inf
1012.98/1013.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.98/1013.34 c 1013s| 3980k|394737 | 7945k| 2.0 | 374M| 35 | - | 40 |9102 | 40 | 16 | 22 |2319k| 10k| 0.000000e+00 | -- | Inf
1015.88/1016.28 c 1016s| 3990k|395184 | 7965k| 2.0 | 375M| 35 | 5 | 40 |8859 | 40 | 16 | 22 |2325k| 10k| 0.000000e+00 | -- | Inf
1018.78/1019.14 c 1019s| 4000k|395682 | 7985k| 2.0 | 375M| 35 | - | 40 |9369 | 40 | 16 | 22 |2331k| 10k| 0.000000e+00 | -- | Inf
1022.18/1022.55 c 1023s| 4010k|395776 | 8005k| 2.0 | 376M| 35 | 5 | 40 |8456 | 40 | 16 | 22 |2338k| 10k| 0.000000e+00 | -- | Inf
1025.28/1025.64 c 1026s| 4020k|396109 | 8025k| 2.0 | 376M| 35 | 5 | 40 |8225 | 40 | 16 | 22 |2344k| 10k| 0.000000e+00 | -- | Inf
1027.88/1028.24 c 1028s| 4030k|396660 | 8045k| 2.0 | 377M| 35 | - | 40 | 10k| 40 | 16 | 22 |2350k| 10k| 0.000000e+00 | -- | Inf
1031.08/1031.42 c 1031s| 4040k|397146 | 8064k| 2.0 | 377M| 35 | 5 | 40 |8500 | 40 | 16 | 22 |2356k| 10k| 0.000000e+00 | -- | Inf
1033.78/1034.17 c 1034s| 4050k|397702 | 8085k| 2.0 | 378M| 35 | - | 40 |9439 | 40 | 16 | 22 |2363k| 10k| 0.000000e+00 | -- | Inf
1036.88/1037.22 c 1037s| 4060k|398149 | 8104k| 2.0 | 379M| 35 | 5 | 40 |8880 | 40 | 16 | 22 |2369k| 10k| 0.000000e+00 | -- | Inf
1039.87/1040.29 c 1040s| 4070k|398495 | 8124k| 2.0 | 379M| 35 | 5 | 40 |8392 | 40 | 16 | 22 |2375k| 10k| 0.000000e+00 | -- | Inf
1042.68/1043.05 c 1043s| 4080k|399111 | 8143k| 2.0 | 380M| 35 | - | 40 |9870 | 0 | 0 | 22 |2381k| 10k| 0.000000e+00 | -- | Inf
1045.58/1045.90 c 1046s| 4090k|399641 | 8162k| 2.0 | 381M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2387k| 10k| 0.000000e+00 | -- | Inf
1048.99/1049.31 c 1049s| 4100k|399809 | 8182k| 2.0 | 381M| 35 | - | 40 |8823 | 0 | 0 | 22 |2394k| 10k| 0.000000e+00 | -- | Inf
1052.08/1052.49 c 1052s| 4110k|400068 | 8202k| 2.0 | 381M| 35 | 5 | 40 |8571 | 40 | 16 | 22 |2400k| 10k| 0.000000e+00 | -- | Inf
1054.67/1055.01 c 1055s| 4120k|400709 | 8222k| 2.0 | 383M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2406k| 10k| 0.000000e+00 | -- | Inf
1057.98/1058.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1057.98/1058.37 c 1058s| 4130k|400978 | 8242k| 2.0 | 383M| 35 | - | 40 |9751 | 0 | 0 | 22 |2413k| 10k| 0.000000e+00 | -- | Inf
1061.57/1061.92 c 1062s| 4140k|401129 | 8261k| 2.0 | 383M| 35 | - | 40 |8341 | 40 | 16 | 22 |2419k| 10k| 0.000000e+00 | -- | Inf
1064.28/1064.62 c 1065s| 4150k|401775 | 8282k| 2.0 | 384M| 35 | 5 | 40 |9968 | 40 | 16 | 22 |2425k| 10k| 0.000000e+00 | -- | Inf
1066.87/1067.29 c 1067s| 4160k|402237 | 8302k| 2.0 | 385M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2431k| 10k| 0.000000e+00 | -- | Inf
1070.37/1070.78 c 1071s| 4170k|402524 | 8321k| 2.0 | 385M| 35 | 5 | 40 |9082 | 40 | 16 | 22 |2437k| 10k| 0.000000e+00 | -- | Inf
1073.67/1074.05 c 1074s| 4180k|402759 | 8341k| 2.0 | 385M| 35 | - | 40 |7887 | 40 | 16 | 22 |2443k| 10k| 0.000000e+00 | -- | Inf
1076.38/1076.70 c 1077s| 4190k|403369 | 8360k| 2.0 | 386M| 35 | - | 40 |9836 | 0 | 0 | 22 |2450k| 10k| 0.000000e+00 | -- | Inf
1079.37/1079.73 c 1080s| 4200k|403803 | 8380k| 2.0 | 387M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2456k| 10k| 0.000000e+00 | -- | Inf
1081.87/1082.29 c 1082s| 4210k|405147 | 8399k| 2.0 | 389M| 35 | - | 40 | 11k| 40 | 16 | 22 |2461k| 10k| 0.000000e+00 | -- | Inf
1084.67/1085.06 c 1085s| 4220k|405896 | 8419k| 2.0 | 390M| 35 | - | 40 | 12k| 40 | 16 | 22 |2467k| 10k| 0.000000e+00 | -- | Inf
1087.67/1088.04 c 1088s| 4230k|406452 | 8439k| 2.0 | 390M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2473k| 10k| 0.000000e+00 | -- | Inf
1091.27/1091.68 c 1092s| 4240k|406712 | 8459k| 2.0 | 390M| 35 | 5 | 40 |9811 | 40 | 16 | 22 |2479k| 10k| 0.000000e+00 | -- | Inf
1094.77/1095.17 c 1095s| 4250k|406939 | 8479k| 2.0 | 390M| 35 | - | 40 |8490 | 40 | 16 | 22 |2486k| 10k| 0.000000e+00 | -- | Inf
1097.57/1097.91 c 1098s| 4260k|407574 | 8500k| 2.0 | 391M| 35 | 5 | 40 |9716 | 40 | 16 | 22 |2492k| 10k| 0.000000e+00 | -- | Inf
1100.47/1100.82 c 1101s| 4270k|407966 | 8520k| 2.0 | 392M| 35 | - | 40 |9596 | 0 | 0 | 22 |2498k| 10k| 0.000000e+00 | -- | Inf
1103.57/1103.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.57/1103.99 c 1104s| 4280k|408456 | 8539k| 2.0 | 392M| 35 | 5 | 40 |9268 | 40 | 16 | 22 |2504k| 10k| 0.000000e+00 | -- | Inf
1106.76/1107.13 c 1107s| 4290k|408926 | 8558k| 2.0 | 393M| 35 | 5 | 40 |8734 | 40 | 16 | 22 |2510k| 10k| 0.000000e+00 | -- | Inf
1109.57/1109.95 c 1110s| 4300k|409622 | 8578k| 2.0 | 394M| 35 | - | 40 |9900 | 40 | 16 | 22 |2517k| 10k| 0.000000e+00 | -- | Inf
1112.26/1112.68 c 1113s| 4310k|410303 | 8597k| 2.0 | 395M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2523k| 10k| 0.000000e+00 | -- | Inf
1115.46/1115.80 c 1116s| 4320k|410762 | 8617k| 2.0 | 396M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2529k| 10k| 0.000000e+00 | -- | Inf
1118.77/1119.16 c 1119s| 4330k|411307 | 8636k| 2.0 | 396M| 35 | - | 40 | 11k| 40 | 16 | 22 |2535k| 10k| 0.000000e+00 | -- | Inf
1122.06/1122.41 c 1122s| 4340k|411817 | 8657k| 2.0 | 397M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2541k| 10k| 0.000000e+00 | -- | Inf
1125.46/1125.80 c 1126s| 4350k|412262 | 8677k| 2.0 | 397M| 35 | - | 40 |9593 | 40 | 16 | 22 |2548k| 10k| 0.000000e+00 | -- | Inf
1128.47/1128.82 c 1129s| 4360k|412487 | 8697k| 2.0 | 397M| 35 | - | 40 |9587 | 40 | 16 | 22 |2554k| 10k| 0.000000e+00 | -- | Inf
1131.57/1131.95 c 1132s| 4370k|412875 | 8716k| 2.0 | 398M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2560k| 10k| 0.000000e+00 | -- | Inf
1134.87/1135.28 c 1135s| 4380k|413289 | 8736k| 2.0 | 399M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2567k| 10k| 0.000000e+00 | -- | Inf
1138.26/1138.61 c 1139s| 4390k|413651 | 8756k| 2.0 | 399M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2573k| 10k| 0.000000e+00 | -- | Inf
1141.76/1142.18 c 1142s| 4400k|413719 | 8775k| 2.0 | 400M| 35 | 5 | 40 |9045 | 40 | 16 | 22 |2579k| 10k| 0.000000e+00 | -- | Inf
1145.06/1145.45 c 1145s| 4410k|413873 | 8795k| 2.0 | 400M| 35 | - | 40 |8181 | 0 | 0 | 22 |2585k| 10k| 0.000000e+00 | -- | Inf
1148.36/1148.79 c 1149s| 4420k|414031 | 8814k| 2.0 | 400M| 35 | - | 40 |7937 | 0 | 0 | 22 |2592k| 10k| 0.000000e+00 | -- | Inf
1151.56/1151.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1151.56/1151.95 c 1152s| 4430k|414341 | 8834k| 2.0 | 401M| 35 | 5 | 40 |8198 | 40 | 16 | 22 |2598k| 10k| 0.000000e+00 | -- | Inf
1154.76/1155.15 c 1155s| 4440k|414574 | 8853k| 2.0 | 401M| 35 | 5 | 40 |8200 | 40 | 16 | 22 |2604k| 10k| 0.000000e+00 | -- | Inf
1157.96/1158.38 c 1158s| 4450k|414729 | 8873k| 2.0 | 401M| 35 | - | 40 |8272 | 40 | 16 | 22 |2611k| 10k| 0.000000e+00 | -- | Inf
1160.96/1161.32 c 1161s| 4460k|415150 | 8893k| 2.0 | 402M| 35 | 5 | 40 |8557 | 40 | 16 | 22 |2617k| 10k| 0.000000e+00 | -- | Inf
1163.85/1164.27 c 1164s| 4470k|415481 | 8913k| 2.0 | 403M| 35 | 5 | 40 |8970 | 40 | 16 | 22 |2623k| 10k| 0.000000e+00 | -- | Inf
1166.86/1167.20 c 1167s| 4480k|415889 | 8932k| 2.0 | 403M| 35 | - | 40 |9309 | 40 | 16 | 22 |2629k| 10k| 0.000000e+00 | -- | Inf
1169.86/1170.25 c 1170s| 4490k|416332 | 8952k| 2.0 | 404M| 35 | 5 | 40 |9778 | 40 | 16 | 22 |2635k| 10k| 0.000000e+00 | -- | Inf
1172.76/1173.13 c 1173s| 4500k|416673 | 8972k| 2.0 | 405M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2642k| 10k| 0.000000e+00 | -- | Inf
1176.26/1176.61 c 1177s| 4510k|416986 | 8992k| 2.0 | 405M| 35 | - | 40 |9699 | 40 | 16 | 22 |2649k| 10k| 0.000000e+00 | -- | Inf
1179.36/1179.74 c 1180s| 4520k|417356 | 9011k| 2.0 | 406M| 35 | 5 | 40 |9431 | 40 | 16 | 22 |2654k| 10k| 0.000000e+00 | -- | Inf
1182.96/1183.32 c 1183s| 4530k|417414 | 9032k| 2.0 | 406M| 35 | 5 | 40 |8756 | 40 | 16 | 22 |2661k| 10k| 0.000000e+00 | -- | Inf
1185.55/1185.93 c 1186s| 4540k|418334 | 9053k| 2.0 | 407M| 35 | 5 | 40 |9419 | 40 | 16 | 22 |2667k| 10k| 0.000000e+00 | -- | Inf
1188.05/1188.43 c 1188s| 4550k|418896 | 9074k| 2.0 | 408M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2674k| 11k| 0.000000e+00 | -- | Inf
1191.26/1191.65 c 1192s| 4560k|418912 | 9094k| 2.0 | 408M| 35 | - | 40 |9160 | 40 | 16 | 22 |2681k| 11k| 0.000000e+00 | -- | Inf
1193.75/1194.14 c 1194s| 4570k|420198 | 9114k| 2.0 | 410M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2687k| 11k| 0.000000e+00 | -- | Inf
1196.46/1196.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.46/1196.80 c 1197s| 4580k|421019 | 9134k| 2.0 | 410M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2693k| 11k| 0.000000e+00 | -- | Inf
1198.95/1199.34 c 1199s| 4590k|421756 | 9154k| 2.0 | 412M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2699k| 11k| 0.000000e+00 | -- | Inf
1201.75/1202.18 c 1202s| 4600k|422188 | 9173k| 2.0 | 412M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2705k| 11k| 0.000000e+00 | -- | Inf
1205.55/1205.95 c 1206s| 4610k|422251 | 9193k| 2.0 | 412M| 35 | - | 40 |9595 | 40 | 16 | 22 |2712k| 11k| 0.000000e+00 | -- | Inf
1208.95/1209.35 c 1209s| 4620k|422565 | 9212k| 2.0 | 412M| 35 | 5 | 40 |9439 | 40 | 16 | 22 |2718k| 11k| 0.000000e+00 | -- | Inf
1211.65/1212.05 c 1212s| 4630k|423145 | 9233k| 2.0 | 413M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2725k| 11k| 0.000000e+00 | -- | Inf
1214.75/1215.15 c 1215s| 4640k|423607 | 9255k| 2.0 | 414M| 35 | - | 40 | 11k| 40 | 16 | 22 |2732k| 11k| 0.000000e+00 | -- | Inf
1217.95/1218.30 c 1218s| 4650k|424206 | 9275k| 2.0 | 415M| 35 | - | 40 | 10k| 40 | 16 | 22 |2737k| 11k| 0.000000e+00 | -- | Inf
1221.15/1221.52 c 1222s| 4660k|424553 | 9295k| 2.0 | 415M| 35 | 5 | 40 |9837 | 40 | 16 | 22 |2744k| 11k| 0.000000e+00 | -- | Inf
1224.05/1224.48 c 1224s| 4670k|425111 | 9315k| 2.0 | 416M| 35 | - | 40 | 11k| 40 | 16 | 22 |2750k| 11k| 0.000000e+00 | -- | Inf
1227.34/1227.79 c 1228s| 4680k|425530 | 9336k| 2.0 | 416M| 35 | 5 | 40 |9843 | 40 | 16 | 22 |2757k| 11k| 0.000000e+00 | -- | Inf
1229.84/1230.29 c 1230s| 4690k|426499 | 9355k| 2.0 | 417M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2762k| 11k| 0.000000e+00 | -- | Inf
1232.94/1233.37 c 1233s| 4700k|427008 | 9376k| 2.0 | 419M| 35 | - | 40 | 12k| 0 | 0 | 22 |2769k| 11k| 0.000000e+00 | -- | Inf
1235.84/1236.25 c 1236s| 4710k|427988 | 9395k| 2.0 | 420M| 35 | 5 | 40 | 14k| 40 | 16 | 22 |2775k| 11k| 0.000000e+00 | -- | Inf
1239.93/1240.39 c 1240s| 4720k|428147 | 9415k| 2.0 | 419M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2782k| 11k| 0.000000e+00 | -- | Inf
1243.64/1244.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.64/1244.07 c 1244s| 4730k|428231 | 9436k| 2.0 | 419M| 35 | 5 | 40 |9407 | 40 | 16 | 22 |2788k| 11k| 0.000000e+00 | -- | Inf
1246.92/1247.33 c 1247s| 4740k|428484 | 9455k| 2.0 | 420M| 35 | 5 | 40 |9340 | 40 | 16 | 22 |2794k| 11k| 0.000000e+00 | -- | Inf
1250.12/1250.52 c 1251s| 4750k|428963 | 9475k| 2.0 | 421M| 35 | - | 40 |9609 | 0 | 0 | 22 |2800k| 11k| 0.000000e+00 | -- | Inf
1253.03/1253.44 c 1253s| 4760k|429407 | 9495k| 2.0 | 422M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2807k| 11k| 0.000000e+00 | -- | Inf
1256.72/1257.13 c 1257s| 4770k|429399 | 9515k| 2.0 | 421M| 35 | - | 40 |8443 | 0 | 0 | 22 |2814k| 11k| 0.000000e+00 | -- | Inf
1259.72/1260.19 c 1260s| 4780k|429548 | 9534k| 2.0 | 422M| 35 | - | 40 |8305 | 40 | 16 | 22 |2820k| 11k| 0.000000e+00 | -- | Inf
1263.02/1263.43 c 1263s| 4790k|429553 | 9554k| 2.0 | 422M| 35 | 5 | 40 |7570 | 40 | 16 | 22 |2826k| 11k| 0.000000e+00 | -- | Inf
1266.01/1266.42 c 1266s| 4800k|429672 | 9573k| 2.0 | 422M| 35 | 5 | 40 |7471 | 40 | 16 | 22 |2833k| 11k| 0.000000e+00 | -- | Inf
1268.61/1269.02 c 1269s| 4810k|430288 | 9594k| 2.0 | 423M| 35 | 5 | 40 |8856 | 40 | 16 | 22 |2839k| 11k| 0.000000e+00 | -- | Inf
1271.01/1271.50 c 1271s| 4820k|430977 | 9613k| 2.0 | 425M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2845k| 11k| 0.000000e+00 | -- | Inf
1274.01/1274.46 c 1274s| 4830k|431560 | 9633k| 2.0 | 425M| 35 | - | 40 | 11k| 40 | 16 | 22 |2851k| 11k| 0.000000e+00 | -- | Inf
1277.21/1277.68 c 1278s| 4840k|431964 | 9653k| 2.0 | 426M| 35 | - | 40 | 11k| 40 | 16 | 22 |2858k| 11k| 0.000000e+00 | -- | Inf
1280.51/1280.96 c 1281s| 4850k|432293 | 9673k| 2.0 | 426M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2864k| 11k| 0.000000e+00 | -- | Inf
1283.90/1284.32 c 1284s| 4860k|432484 | 9693k| 2.0 | 426M| 35 | 5 | 40 |9223 | 40 | 16 | 22 |2870k| 11k| 0.000000e+00 | -- | Inf
1286.41/1286.87 c 1287s| 4870k|432953 | 9711k| 2.0 | 427M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2876k| 11k| 0.000000e+00 | -- | Inf
1289.81/1290.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.81/1290.24 c 1290s| 4880k|433168 | 9730k| 2.0 | 427M| 35 | 5 | 40 |8994 | 40 | 16 | 22 |2882k| 11k| 0.000000e+00 | -- | Inf
1292.80/1293.20 c 1293s| 4890k|433532 | 9750k| 2.0 | 428M| 35 | - | 40 |8551 | 40 | 16 | 22 |2888k| 11k| 0.000000e+00 | -- | Inf
1295.80/1296.27 c 1296s| 4900k|433645 | 9769k| 2.0 | 428M| 35 | 5 | 40 |7703 | 40 | 16 | 22 |2895k| 11k| 0.000000e+00 | -- | Inf
1298.61/1299.05 c 1299s| 4910k|434006 | 9789k| 2.0 | 429M| 35 | - | 40 |8160 | 40 | 16 | 22 |2901k| 11k| 0.000000e+00 | -- | Inf
1300.81/1301.27 c 1301s| 4920k|435144 | 9806k| 2.0 | 430M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2906k| 11k| 0.000000e+00 | -- | Inf
1303.81/1304.28 c 1304s| 4930k|435335 | 9825k| 2.0 | 431M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2912k| 11k| 0.000000e+00 | -- | Inf
1306.61/1307.00 c 1307s| 4940k|435920 | 9846k| 2.0 | 432M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2919k| 11k| 0.000000e+00 | -- | Inf
1310.20/1310.66 c 1311s| 4950k|436012 | 9866k| 2.0 | 431M| 35 | - | 40 |8068 | 40 | 16 | 22 |2925k| 11k| 0.000000e+00 | -- | Inf
1313.40/1313.82 c 1314s| 4960k|436055 | 9886k| 2.0 | 431M| 35 | 5 | 40 |7649 | 40 | 16 | 22 |2932k| 11k| 0.000000e+00 | -- | Inf
1316.21/1316.61 c 1317s| 4970k|436303 | 9906k| 2.0 | 432M| 35 | 5 | 40 |9060 | 40 | 16 | 22 |2939k| 11k| 0.000000e+00 | -- | Inf
1319.40/1319.90 c 1320s| 4980k|436342 | 9925k| 2.0 | 432M| 35 | - | 40 |7604 | 0 | 0 | 22 |2945k| 11k| 0.000000e+00 | -- | Inf
1322.30/1322.70 c 1323s| 4990k|436791 | 9946k| 2.0 | 433M| 35 | 5 | 40 |8640 | 40 | 16 | 22 |2951k| 11k| 0.000000e+00 | -- | Inf
1325.40/1325.86 c 1326s| 5000k|437022 | 9966k| 2.0 | 433M| 35 | - | 40 |8346 | 0 | 0 | 22 |2958k| 11k| 0.000000e+00 | -- | Inf
1328.20/1328.64 c 1329s| 5010k|437594 | 9985k| 2.0 | 434M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2964k| 11k| 0.000000e+00 | -- | Inf
1331.00/1331.49 c 1331s| 5020k|438208 | 10004k| 2.0 | 435M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2969k| 11k| 0.000000e+00 | -- | Inf
1334.10/1334.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.10/1334.58 c 1335s| 5030k|438753 | 10023k| 2.0 | 435M| 35 | 5 | 40 |9088 | 40 | 16 | 22 |2975k| 11k| 0.000000e+00 | -- | Inf
1337.20/1337.65 c 1338s| 5040k|438986 | 10043k| 2.0 | 436M| 35 | 5 | 40 |8430 | 40 | 16 | 22 |2982k| 11k| 0.000000e+00 | -- | Inf
1339.40/1339.89 c 1340s| 5050k|440258 | 10063k| 2.0 | 438M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2988k| 11k| 0.000000e+00 | -- | Inf
1342.29/1342.70 c 1343s| 5060k|440593 | 10082k| 2.0 | 438M| 35 | - | 40 | 12k| 40 | 16 | 22 |2994k| 11k| 0.000000e+00 | -- | Inf
1345.69/1346.13 c 1346s| 5070k|440769 | 10103k| 2.0 | 438M| 35 | - | 40 | 10k| 0 | 0 | 22 |3001k| 11k| 0.000000e+00 | -- | Inf
1348.99/1349.43 c 1349s| 5080k|441025 | 10122k| 2.0 | 438M| 35 | 5 | 40 |8968 | 40 | 16 | 22 |3007k| 11k| 0.000000e+00 | -- | Inf
1351.99/1352.47 c 1352s| 5090k|441337 | 10142k| 2.0 | 438M| 35 | 5 | 40 |8104 | 40 | 16 | 22 |3013k| 11k| 0.000000e+00 | -- | Inf
1354.89/1355.36 c 1355s| 5100k|441592 | 10162k| 2.0 | 439M| 35 | 5 | 40 |8172 | 40 | 16 | 22 |3020k| 11k| 0.000000e+00 | -- | Inf
1357.80/1358.27 c 1358s| 5110k|441913 | 10182k| 2.0 | 439M| 35 | 5 | 40 |7820 | 40 | 16 | 22 |3026k| 11k| 0.000000e+00 | -- | Inf
1360.70/1361.15 c 1361s| 5120k|442171 | 10201k| 2.0 | 440M| 35 | 5 | 40 |8074 | 40 | 16 | 22 |3032k| 11k| 0.000000e+00 | -- | Inf
1363.90/1364.34 c 1364s| 5130k|442141 | 10221k| 2.0 | 440M| 35 | 5 | 40 |7427 | 40 | 16 | 22 |3039k| 11k| 0.000000e+00 | -- | Inf
1366.90/1367.31 c 1367s| 5140k|442325 | 10240k| 2.0 | 441M| 35 | 5 | 40 |8158 | 40 | 16 | 22 |3045k| 11k| 0.000000e+00 | -- | Inf
1369.69/1370.17 c 1370s| 5150k|442617 | 10260k| 2.0 | 441M| 35 | 5 | 40 |8364 | 40 | 16 | 22 |3051k| 11k| 0.000000e+00 | -- | Inf
1373.09/1373.55 c 1374s| 5160k|442492 | 10280k| 2.0 | 441M| 35 | 5 | 40 |7064 | 40 | 16 | 22 |3058k| 11k| 0.000000e+00 | -- | Inf
1376.19/1376.61 c 1377s| 5170k|442509 | 10300k| 2.0 | 441M| 35 | - | 40 |7379 | 0 | 0 | 22 |3065k| 11k| 0.000000e+00 | -- | Inf
1378.79/1379.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.79/1379.29 c 1379s| 5180k|443018 | 10319k| 2.0 | 443M| 35 | 5 | 40 |8731 | 40 | 16 | 22 |3071k| 11k| 0.000000e+00 | -- | Inf
1381.69/1382.17 c 1382s| 5190k|443346 | 10339k| 2.0 | 443M| 35 | - | 40 |9184 | 0 | 0 | 22 |3077k| 11k| 0.000000e+00 | -- | Inf
1384.99/1385.43 c 1385s| 5200k|443439 | 10359k| 2.0 | 443M| 35 | 5 | 40 |8639 | 40 | 16 | 22 |3083k| 11k| 0.000000e+00 | -- | Inf
1387.99/1388.43 c 1388s| 5210k|443690 | 10379k| 2.0 | 444M| 35 | 5 | 40 |8306 | 40 | 16 | 22 |3090k| 11k| 0.000000e+00 | -- | Inf
1391.29/1391.74 c 1392s| 5220k|443686 | 10398k| 2.0 | 444M| 35 | 5 | 40 |7823 | 40 | 16 | 22 |3096k| 11k| 0.000000e+00 | -- | Inf
1394.29/1394.76 c 1395s| 5230k|443902 | 10418k| 2.0 | 445M| 35 | 5 | 40 |8689 | 40 | 16 | 22 |3102k| 11k| 0.000000e+00 | -- | Inf
1396.89/1397.38 c 1397s| 5240k|444357 | 10438k| 2.0 | 446M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3109k| 11k| 0.000000e+00 | -- | Inf
1400.29/1400.76 c 1401s| 5250k|444463 | 10458k| 2.0 | 445M| 35 | - | 40 |8237 | 40 | 16 | 22 |3115k| 11k| 0.000000e+00 | -- | Inf
1403.29/1403.72 c 1404s| 5260k|444792 | 10477k| 2.0 | 446M| 35 | 5 | 40 |8831 | 40 | 16 | 22 |3122k| 11k| 0.000000e+00 | -- | Inf
1406.69/1407.10 c 1407s| 5270k|444758 | 10497k| 2.0 | 446M| 35 | 5 | 40 |7632 | 40 | 16 | 22 |3128k| 11k| 0.000000e+00 | -- | Inf
1409.70/1410.19 c 1410s| 5280k|444748 | 10517k| 2.0 | 446M| 35 | - | 40 |7433 | 40 | 16 | 22 |3135k| 11k| 0.000000e+00 | -- | Inf
1412.28/1412.70 c 1413s| 5290k|445218 | 10536k| 2.0 | 448M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3141k| 11k| 0.000000e+00 | -- | Inf
1415.69/1416.14 c 1416s| 5300k|445254 | 10556k| 2.0 | 448M| 35 | - | 40 |9540 | 0 | 0 | 22 |3147k| 11k| 0.000000e+00 | -- | Inf
1418.28/1418.78 c 1419s| 5310k|445867 | 10575k| 2.0 | 449M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3153k| 11k| 0.000000e+00 | -- | Inf
1421.89/1422.35 c 1422s| 5320k|446016 | 10595k| 2.0 | 449M| 35 | 5 | 40 |9917 | 40 | 16 | 22 |3160k| 11k| 0.000000e+00 | -- | Inf
1425.09/1425.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.09/1425.52 c 1426s| 5330k|446359 | 10615k| 2.0 | 449M| 35 | 5 | 40 |9254 | 40 | 16 | 22 |3166k| 11k| 0.000000e+00 | -- | Inf
1427.99/1428.45 c 1428s| 5340k|446719 | 10634k| 2.0 | 450M| 35 | 5 | 40 |9767 | 40 | 16 | 22 |3172k| 11k| 0.000000e+00 | -- | Inf
1430.59/1431.03 c 1431s| 5350k|447498 | 10654k| 2.0 | 451M| 35 | - | 40 | 11k| 40 | 16 | 22 |3178k| 11k| 0.000000e+00 | -- | Inf
1433.19/1433.68 c 1434s| 5360k|448771 | 10673k| 2.0 | 452M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3183k| 11k| 0.000000e+00 | -- | Inf
1435.89/1436.34 c 1436s| 5370k|449390 | 10693k| 2.0 | 453M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3189k| 11k| 0.000000e+00 | -- | Inf
1439.49/1439.99 c 1440s| 5380k|449435 | 10713k| 2.0 | 453M| 35 | - | 40 |9749 | 0 | 0 | 22 |3195k| 11k| 0.000000e+00 | -- | Inf
1442.48/1442.98 c 1443s| 5390k|450069 | 10732k| 2.0 | 454M| 35 | - | 40 | 10k| 0 | 0 | 22 |3201k| 11k| 0.000000e+00 | -- | Inf
1444.99/1445.48 c 1445s| 5400k|450865 | 10751k| 2.0 | 455M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3207k| 11k| 0.000000e+00 | -- | Inf
1448.08/1448.55 c 1449s| 5410k|451110 | 10770k| 2.0 | 455M| 35 | 5 | 40 |9961 | 40 | 16 | 22 |3213k| 11k| 0.000000e+00 | -- | Inf
1450.78/1451.28 c 1451s| 5420k|451913 | 10790k| 2.0 | 456M| 35 | - | 40 | 11k| 40 | 16 | 22 |3219k| 11k| 0.000000e+00 | -- | Inf
1453.98/1454.48 c 1454s| 5430k|452102 | 10809k| 2.0 | 456M| 35 | - | 40 |9356 | 40 | 16 | 22 |3226k| 12k| 0.000000e+00 | -- | Inf
1457.28/1457.71 c 1458s| 5440k|452291 | 10829k| 2.0 | 456M| 35 | 5 | 40 |8664 | 40 | 16 | 22 |3232k| 12k| 0.000000e+00 | -- | Inf
1460.08/1460.59 c 1461s| 5450k|452816 | 10851k| 2.0 | 457M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3238k| 12k| 0.000000e+00 | -- | Inf
1462.98/1463.42 c 1463s| 5460k|453256 | 10870k| 2.0 | 458M| 35 | - | 40 | 11k| 40 | 16 | 22 |3245k| 12k| 0.000000e+00 | -- | Inf
1466.38/1466.89 c 1467s| 5470k|453472 | 10891k| 2.0 | 458M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3251k| 12k| 0.000000e+00 | -- | Inf
1469.98/1470.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.98/1470.44 c 1470s| 5480k|453557 | 10911k| 2.0 | 459M| 35 | 5 | 40 |9475 | 40 | 16 | 22 |3258k| 12k| 0.000000e+00 | -- | Inf
1472.48/1472.99 c 1473s| 5490k|454408 | 10929k| 2.0 | 460M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3264k| 12k| 0.000000e+00 | -- | Inf
1476.08/1476.59 c 1477s| 5500k|454549 | 10948k| 2.0 | 460M| 35 | - | 40 |9975 | 40 | 16 | 22 |3270k| 12k| 0.000000e+00 | -- | Inf
1479.88/1480.32 c 1480s| 5510k|454526 | 10968k| 2.0 | 460M| 35 | - | 40 |8349 | 0 | 0 | 22 |3276k| 12k| 0.000000e+00 | -- | Inf
1482.68/1483.19 c 1483s| 5520k|454929 | 10989k| 2.0 | 461M| 35 | - | 40 | 10k| 0 | 0 | 22 |3283k| 12k| 0.000000e+00 | -- | Inf
1486.37/1486.85 c 1487s| 5530k|454960 | 11009k| 2.0 | 461M| 35 | - | 40 |8202 | 0 | 0 | 22 |3290k| 12k| 0.000000e+00 | -- | Inf
1489.78/1490.25 c 1490s| 5540k|455052 | 11030k| 2.0 | 461M| 35 | 5 | 40 |8414 | 40 | 16 | 22 |3296k| 12k| 0.000000e+00 | -- | Inf
1492.78/1493.29 c 1493s| 5550k|455364 | 11049k| 2.0 | 462M| 35 | - | 40 |9335 | 40 | 16 | 22 |3302k| 12k| 0.000000e+00 | -- | Inf
1495.77/1496.27 c 1496s| 5560k|455823 | 11069k| 2.0 | 463M| 35 | - | 40 | 10k| 40 | 16 | 22 |3309k| 12k| 0.000000e+00 | -- | Inf
1499.07/1499.57 c 1500s| 5570k|456174 | 11088k| 2.0 | 463M| 35 | 5 | 40 |9879 | 40 | 16 | 22 |3315k| 12k| 0.000000e+00 | -- | Inf
1502.47/1502.92 c 1503s| 5580k|456401 | 11108k| 2.0 | 463M| 35 | 5 | 40 |9764 | 40 | 16 | 22 |3321k| 12k| 0.000000e+00 | -- | Inf
1505.77/1506.26 c 1506s| 5590k|456652 | 11128k| 2.0 | 464M| 35 | - | 40 |9636 | 40 | 16 | 22 |3327k| 12k| 0.000000e+00 | -- | Inf
1508.97/1509.44 c 1509s| 5600k|456868 | 11148k| 2.0 | 464M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3334k| 12k| 0.000000e+00 | -- | Inf
1512.37/1512.86 c 1513s| 5610k|457043 | 11167k| 2.0 | 465M| 35 | 5 | 40 |9759 | 40 | 16 | 22 |3340k| 12k| 0.000000e+00 | -- | Inf
1515.77/1516.24 c 1516s| 5620k|457217 | 11187k| 2.0 | 465M| 35 | - | 40 |8955 | 0 | 0 | 22 |3346k| 12k| 0.000000e+00 | -- | Inf
1519.17/1519.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.17/1519.69 c 1520s| 5630k|457253 | 11207k| 2.0 | 465M| 35 | 5 | 40 |8748 | 40 | 16 | 22 |3353k| 12k| 0.000000e+00 | -- | Inf
1522.47/1522.97 c 1523s| 5640k|457269 | 11227k| 2.0 | 465M| 35 | - | 40 |8537 | 40 | 16 | 22 |3359k| 12k| 0.000000e+00 | -- | Inf
1525.97/1526.44 c 1526s| 5650k|457206 | 11246k| 2.0 | 465M| 35 | 5 | 40 |8080 | 40 | 16 | 22 |3366k| 12k| 0.000000e+00 | -- | Inf
1528.67/1529.17 c 1529s| 5660k|457764 | 11266k| 2.0 | 466M| 35 | 5 | 40 |9300 | 40 | 16 | 22 |3372k| 12k| 0.000000e+00 | -- | Inf
1531.67/1532.11 c 1532s| 5670k|458317 | 11288k| 2.0 | 468M| 35 | - | 40 | 11k| 0 | 0 | 22 |3379k| 12k| 0.000000e+00 | -- | Inf
1535.08/1535.54 c 1536s| 5680k|458767 | 11308k| 2.0 | 468M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3385k| 12k| 0.000000e+00 | -- | Inf
1537.56/1538.04 c 1538s| 5690k|459794 | 11328k| 2.0 | 469M| 35 | - | 40 | 11k| 0 | 0 | 22 |3391k| 12k| 0.000000e+00 | -- | Inf
1540.16/1540.64 c 1541s| 5700k|461059 | 11348k| 2.0 | 471M| 35 | - | 40 | 12k| 40 | 16 | 22 |3397k| 12k| 0.000000e+00 | -- | Inf
1543.17/1543.61 c 1544s| 5710k|461755 | 11367k| 2.0 | 472M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3402k| 12k| 0.000000e+00 | -- | Inf
1546.57/1547.09 c 1547s| 5720k|461993 | 11386k| 2.0 | 472M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3409k| 12k| 0.000000e+00 | -- | Inf
1549.97/1550.43 c 1550s| 5730k|462373 | 11405k| 2.0 | 473M| 35 | 5 | 40 | 14k| 40 | 16 | 22 |3415k| 12k| 0.000000e+00 | -- | Inf
1553.67/1554.19 c 1554s| 5740k|462594 | 11424k| 2.0 | 473M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3421k| 12k| 0.000000e+00 | -- | Inf
1557.86/1558.34 c 1558s| 5750k|462670 | 11444k| 2.0 | 472M| 35 | 5 | 40 |8357 | 40 | 16 | 22 |3428k| 12k| 0.000000e+00 | -- | Inf
1561.57/1562.02 c 1562s| 5760k|462584 | 11464k| 2.0 | 472M| 35 | 5 | 40 |8207 | 40 | 16 | 22 |3434k| 12k| 0.000000e+00 | -- | Inf
1564.57/1565.07 c 1565s| 5770k|462833 | 11483k| 2.0 | 473M| 35 | 5 | 40 |9589 | 40 | 16 | 22 |3441k| 12k| 0.000000e+00 | -- | Inf
1567.56/1568.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.56/1568.09 c 1568s| 5780k|463086 | 11503k| 2.0 | 473M| 35 | - | 40 |9519 | 40 | 16 | 22 |3447k| 12k| 0.000000e+00 | -- | Inf
1570.26/1570.77 c 1571s| 5790k|463690 | 11524k| 2.0 | 475M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3453k| 12k| 0.000000e+00 | -- | Inf
1573.87/1574.31 c 1574s| 5800k|463942 | 11544k| 2.0 | 475M| 35 | - | 40 | 10k| 40 | 16 | 22 |3460k| 12k| 0.000000e+00 | -- | Inf
1576.66/1577.19 c 1577s| 5810k|464590 | 11563k| 2.0 | 476M| 35 | - | 40 | 12k| 40 | 16 | 22 |3466k| 12k| 0.000000e+00 | -- | Inf
1580.77/1581.30 c 1581s| 5820k|464538 | 11584k| 2.0 | 476M| 35 | - | 40 |9936 | 40 | 16 | 22 |3473k| 12k| 0.000000e+00 | -- | Inf
1584.76/1585.21 c 1585s| 5830k|464315 | 11603k| 2.0 | 475M| 35 | - | 40 |8164 | 0 | 0 | 22 |3479k| 12k| 0.000000e+00 | -- | Inf
1588.06/1588.57 c 1589s| 5840k|464319 | 11623k| 2.0 | 476M| 35 | - | 40 |8032 | 40 | 16 | 22 |3486k| 12k| 0.000000e+00 | -- | Inf
1590.75/1591.25 c 1591s| 5850k|464915 | 11643k| 2.0 | 477M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3492k| 12k| 0.000000e+00 | -- | Inf
1594.47/1594.96 c 1595s| 5860k|464906 | 11663k| 2.0 | 477M| 35 | - | 40 |8377 | 40 | 16 | 22 |3499k| 12k| 0.000000e+00 | -- | Inf
1597.46/1597.95 c 1598s| 5870k|465352 | 11683k| 2.0 | 478M| 35 | - | 40 |9592 | 40 | 16 | 22 |3505k| 12k| 0.000000e+00 | -- | Inf
1601.07/1601.57 c 1602s| 5880k|465325 | 11703k| 2.0 | 478M| 35 | - | 40 |8510 | 0 | 0 | 22 |3511k| 12k| 0.000000e+00 | -- | Inf
1604.26/1604.70 c 1605s| 5890k|465509 | 11722k| 2.0 | 478M| 35 | - | 40 |8465 | 40 | 16 | 22 |3518k| 12k| 0.000000e+00 | -- | Inf
1607.05/1607.54 c 1608s| 5900k|465930 | 11743k| 2.0 | 479M| 35 | - | 40 |9499 | 0 | 0 | 22 |3524k| 12k| 0.000000e+00 | -- | Inf
1610.66/1611.14 c 1611s| 5910k|465800 | 11763k| 2.0 | 478M| 35 | - | 40 |7720 | 40 | 16 | 22 |3531k| 12k| 0.000000e+00 | -- | Inf
1613.16/1613.68 c 1614s| 5920k|466374 | 11783k| 2.0 | 480M| 35 | 5 | 40 |9332 | 40 | 16 | 22 |3537k| 12k| 0.000000e+00 | -- | Inf
1616.56/1617.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.56/1617.00 c 1617s| 5930k|466485 | 11803k| 2.0 | 480M| 35 | - | 40 |9792 | 40 | 16 | 22 |3543k| 12k| 0.000000e+00 | -- | Inf
1619.95/1620.42 c 1620s| 5940k|466581 | 11823k| 2.0 | 480M| 35 | 5 | 40 |9691 | 40 | 16 | 22 |3550k| 12k| 0.000000e+00 | -- | Inf
1623.06/1623.59 c 1624s| 5950k|466910 | 11843k| 2.0 | 481M| 35 | - | 40 |9657 | 40 | 16 | 22 |3556k| 12k| 0.000000e+00 | -- | Inf
1625.95/1626.49 c 1626s| 5960k|467370 | 11862k| 2.0 | 482M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3562k| 12k| 0.000000e+00 | -- | Inf
1629.26/1629.78 c 1630s| 5970k|467637 | 11882k| 2.0 | 482M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3569k| 12k| 0.000000e+00 | -- | Inf
1632.65/1633.19 c 1633s| 5980k|467865 | 11902k| 2.0 | 482M| 35 | - | 40 |9632 | 0 | 0 | 22 |3575k| 12k| 0.000000e+00 | -- | Inf
1635.86/1636.36 c 1636s| 5990k|468092 | 11922k| 2.0 | 483M| 35 | - | 40 | 10k| 0 | 0 | 22 |3582k| 12k| 0.000000e+00 | -- | Inf
1639.15/1639.67 c 1640s| 6000k|468506 | 11942k| 2.0 | 484M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3588k| 12k| 0.000000e+00 | -- | Inf
1641.56/1642.06 c 1642s| 6010k|469709 | 11964k| 2.0 | 485M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3594k| 12k| 0.000000e+00 | -- | Inf
1644.56/1645.07 c 1645s| 6020k|470156 | 11984k| 2.0 | 486M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3600k| 12k| 0.000000e+00 | -- | Inf
1647.45/1647.96 c 1648s| 6030k|470863 | 12004k| 2.0 | 487M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3606k| 12k| 0.000000e+00 | -- | Inf
1650.66/1651.12 c 1651s| 6040k|471017 | 12025k| 2.0 | 487M| 35 | - | 40 | 13k| 40 | 16 | 22 |3612k| 12k| 0.000000e+00 | -- | Inf
1654.05/1654.58 c 1655s| 6050k|472071 | 12046k| 2.0 | 488M| 35 | - | 40 | 11k| 0 | 0 | 22 |3619k| 12k| 0.000000e+00 | -- | Inf
1657.05/1657.57 c 1658s| 6060k|473072 | 12067k| 2.0 | 489M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3625k| 12k| 0.000000e+00 | -- | Inf
1660.25/1660.75 c 1661s| 6070k|473846 | 12089k| 2.0 | 490M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3632k| 12k| 0.000000e+00 | -- | Inf
1663.75/1664.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.75/1664.28 c 1664s| 6080k|474274 | 12110k| 2.0 | 491M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3639k| 12k| 0.000000e+00 | -- | Inf
1668.25/1668.73 c 1669s| 6090k|474174 | 12130k| 2.0 | 490M| 35 | - | 40 | 10k| 40 | 16 | 22 |3646k| 12k| 0.000000e+00 | -- | Inf
1671.85/1672.36 c 1672s| 6100k|474386 | 12149k| 2.0 | 491M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3652k| 12k| 0.000000e+00 | -- | Inf
1675.85/1676.33 c 1676s| 6110k|474426 | 12169k| 2.0 | 491M| 35 | - | 40 |9186 | 40 | 16 | 22 |3659k| 12k| 0.000000e+00 | -- | Inf
1678.34/1678.84 c 1679s| 6120k|475409 | 12189k| 2.0 | 493M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3665k| 12k| 0.000000e+00 | -- | Inf
1682.04/1682.54 c 1683s| 6130k|475486 | 12209k| 2.0 | 492M| 35 | - | 40 |9995 | 40 | 16 | 22 |3672k| 12k| 0.000000e+00 | -- | Inf
1685.84/1686.31 c 1686s| 6140k|475467 | 12228k| 2.0 | 492M| 35 | 5 | 40 |8921 | 40 | 16 | 22 |3678k| 12k| 0.000000e+00 | -- | Inf
1688.93/1689.43 c 1689s| 6150k|475703 | 12248k| 2.0 | 493M| 35 | 5 | 40 |9359 | 40 | 16 | 22 |3684k| 12k| 0.000000e+00 | -- | Inf
1691.93/1692.42 c 1692s| 6160k|476378 | 12268k| 2.0 | 494M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3690k| 12k| 0.000000e+00 | -- | Inf
1694.53/1695.09 c 1695s| 6170k|476726 | 12288k| 2.0 | 495M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3697k| 12k| 0.000000e+00 | -- | Inf
1698.12/1698.67 c 1699s| 6180k|476769 | 12308k| 2.0 | 495M| 35 | - | 40 |9851 | 40 | 16 | 22 |3704k| 12k| 0.000000e+00 | -- | Inf
1701.82/1702.34 c 1702s| 6190k|476753 | 12327k| 2.0 | 494M| 35 | 5 | 40 |8355 | 40 | 16 | 22 |3710k| 12k| 0.000000e+00 | -- | Inf
1705.21/1705.76 c 1706s| 6200k|476786 | 12347k| 2.0 | 495M| 35 | - | 40 |8311 | 40 | 16 | 22 |3717k| 12k| 0.000000e+00 | -- | Inf
1708.21/1708.75 c 1709s| 6210k|477021 | 12366k| 2.0 | 495M| 35 | - | 40 |8891 | 40 | 16 | 22 |3723k| 12k| 0.000000e+00 | -- | Inf
1710.92/1711.48 c 1711s| 6220k|477761 | 12386k| 2.0 | 496M| 35 | - | 40 |9679 | 40 | 16 | 22 |3728k| 12k| 0.000000e+00 | -- | Inf
1713.82/1714.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.82/1714.34 c 1714s| 6230k|477732 | 12405k| 2.0 | 496M| 35 | 5 | 40 |9203 | 40 | 16 | 22 |3735k| 12k| 0.000000e+00 | -- | Inf
1717.11/1717.65 c 1718s| 6240k|477861 | 12425k| 2.0 | 497M| 35 | - | 40 |9419 | 0 | 0 | 22 |3741k| 12k| 0.000000e+00 | -- | Inf
1720.31/1720.87 c 1721s| 6250k|478157 | 12445k| 2.0 | 497M| 35 | 5 | 40 |9433 | 40 | 16 | 22 |3748k| 12k| 0.000000e+00 | -- | Inf
1722.91/1723.44 c 1723s| 6260k|478809 | 12465k| 2.0 | 498M| 35 | - | 40 | 11k| 0 | 0 | 22 |3753k| 12k| 0.000000e+00 | -- | Inf
1726.61/1727.14 c 1727s| 6270k|478782 | 12484k| 2.0 | 498M| 35 | - | 40 |9230 | 40 | 16 | 22 |3759k| 12k| 0.000000e+00 | -- | Inf
1729.72/1730.29 c 1730s| 6280k|478970 | 12504k| 2.0 | 499M| 35 | 5 | 40 |9822 | 40 | 16 | 22 |3766k| 12k| 0.000000e+00 | -- | Inf
1732.81/1733.36 c 1733s| 6290k|479183 | 12525k| 2.0 | 499M| 35 | - | 40 |9442 | 40 | 16 | 22 |3773k| 12k| 0.000000e+00 | -- | Inf
1736.01/1736.57 c 1737s| 6300k|479160 | 12545k| 2.0 | 499M| 35 | - | 40 |7885 | 40 | 16 | 22 |3779k| 12k| 0.000000e+00 | -- | Inf
1738.81/1739.36 c 1739s| 6310k|479359 | 12564k| 2.0 | 499M| 35 | 5 | 40 |8558 | 40 | 16 | 22 |3786k| 12k| 0.000000e+00 | -- | Inf
1741.20/1741.78 c 1742s| 6320k|480883 | 12585k| 2.0 | 501M| 35 | 5 | 40 |9622 | 40 | 16 | 22 |3792k| 12k| 0.000000e+00 | -- | Inf
1743.71/1744.25 c 1744s| 6330k|482013 | 12607k| 2.0 | 502M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3799k| 13k| 0.000000e+00 | -- | Inf
1746.50/1747.02 c 1747s| 6340k|482897 | 12628k| 2.0 | 503M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3805k| 13k| 0.000000e+00 | -- | Inf
1749.51/1750.08 c 1750s| 6350k|483386 | 12648k| 2.0 | 504M| 35 | - | 40 | 11k| 40 | 16 | 22 |3812k| 13k| 0.000000e+00 | -- | Inf
1752.70/1753.23 c 1753s| 6360k|483594 | 12669k| 2.0 | 505M| 35 | - | 40 | 11k| 0 | 0 | 22 |3819k| 13k| 0.000000e+00 | -- | Inf
1755.90/1756.44 c 1756s| 6370k|483654 | 12689k| 2.0 | 505M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3826k| 13k| 0.000000e+00 | -- | Inf
1758.81/1759.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1758.81/1759.32 c 1759s| 6380k|484143 | 12709k| 2.0 | 506M| 35 | - | 40 | 12k| 0 | 0 | 22 |3833k| 13k| 0.000000e+00 | -- | Inf
1762.00/1762.57 c 1763s| 6390k|484354 | 12730k| 2.0 | 507M| 35 | - | 40 | 12k| 40 | 16 | 22 |3840k| 13k| 0.000000e+00 | -- | Inf
1765.60/1766.17 c 1766s| 6400k|484494 | 12750k| 2.0 | 506M| 35 | 5 | 40 |9063 | 40 | 16 | 22 |3847k| 13k| 0.000000e+00 | -- | Inf
1768.90/1769.41 c 1769s| 6410k|484523 | 12769k| 2.0 | 507M| 35 | 5 | 40 |9296 | 40 | 16 | 22 |3854k| 13k| 0.000000e+00 | -- | Inf
1772.30/1772.87 c 1773s| 6420k|484606 | 12788k| 2.0 | 507M| 35 | - | 40 |8667 | 40 | 16 | 22 |3860k| 13k| 0.000000e+00 | -- | Inf
1775.10/1775.68 c 1776s| 6430k|485454 | 12808k| 2.0 | 508M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3866k| 13k| 0.000000e+00 | -- | Inf
1778.01/1778.56 c 1779s| 6440k|486145 | 12829k| 2.0 | 509M| 35 | - | 40 | 11k| 40 | 16 | 22 |3872k| 13k| 0.000000e+00 | -- | Inf
1781.10/1781.67 c 1782s| 6450k|486354 | 12849k| 2.0 | 510M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3879k| 13k| 0.000000e+00 | -- | Inf
1784.80/1785.39 c 1785s| 6460k|486377 | 12869k| 2.0 | 509M| 35 | - | 40 | 10k| 0 | 0 | 22 |3885k| 13k| 0.000000e+00 | -- | Inf
1788.60/1789.17 c 1789s| 6470k|486371 | 12889k| 2.0 | 509M| 35 | 5 | 40 |9160 | 40 | 16 | 22 |3892k| 13k| 0.000000e+00 | -- | Inf
1791.50/1792.07 c 1792s| 6480k|486772 | 12909k| 2.0 | 510M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3898k| 13k| 0.000000e+00 | -- | Inf
1795.10/1795.65 c 1796s| 6490k|486874 | 12929k| 2.0 | 510M| 35 | - | 40 | 10k| 40 | 16 | 22 |3904k| 13k| 0.000000e+00 | -- | Inf
1796.50/1797.00 c
1796.50/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.50/1797.00 c Solving Time (sec) : 1797.00
1796.50/1797.00 c Solving Nodes : 6494492
1796.50/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.50/1797.00 c Dual Bound : +0.00000000000000e+00
1796.50/1797.00 c Gap : infinite
1796.50/1797.00 s UNKNOWN
1796.50/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.50/1797.00 c Total Time : 1797.00
1796.50/1797.00 c solving : 1797.00
1796.50/1797.00 c presolving : 0.00 (included in solving)
1796.50/1797.00 c reading : 0.00 (included in solving)
1796.50/1797.00 c Original Problem :
1796.50/1797.00 c Problem name : HOME/instance-3735000-1338715778.opb
1796.50/1797.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.50/1797.00 c Constraints : 11 initial, 11 maximal
1796.50/1797.00 c Presolved Problem :
1796.50/1797.00 c Problem name : t_HOME/instance-3735000-1338715778.opb
1796.50/1797.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.50/1797.00 c Constraints : 5 initial, 18335 maximal
1796.50/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.50/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1796.50/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1796.50/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c root node : - 0 - - 0 - - - - -
1796.50/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.50/1797.00 c integral : 0 0 0 3793656 0 4 0 1540 6747 0 0 7572032
1796.50/1797.00 c linear : 5+ 7 15513775 0 0 3 12360250 1532812 12935356 0 0 0
1796.50/1797.00 c logicor : 0+ 6 7718225 0 0 0 6780873 32636 3067128 0 0 0
1796.50/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.50/1797.00 c integral : 21.36 0.00 0.00 21.36 0.00 0.00 0.00
1796.50/1797.00 c linear : 164.46 0.00 141.16 0.00 0.00 0.00 23.30
1796.50/1797.00 c logicor : 521.99 0.00 514.70 0.00 0.00 0.00 7.29
1796.50/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.50/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.50/1797.00 c vbounds : 0 0 0 0
1796.50/1797.00 c rootredcost : 0 0 0 0
1796.50/1797.00 c pseudoobj : 0 0 0 0
1796.50/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.50/1797.00 c vbounds : 1.93 1.93 0.00
1796.50/1797.00 c rootredcost : 2.07 2.07 0.00
1796.50/1797.00 c pseudoobj : 1.37 1.37 0.00
1796.50/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.50/1797.00 c propagation : 42.18 1565448 1137169 3382622 28.2 152 23.7 -
1796.50/1797.00 c infeasible LP : 38.45 1707345 1707311 3006348 18.5 22092 23.4 0
1796.50/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.50/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.50/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.50/1797.00 c applied globally : - - - 3868792 20.3 - - -
1796.50/1797.00 c applied locally : - - - 39199 31.6 - - -
1796.50/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.50/1797.00 c cut pool : 0.00 5 - - 37 - (maximal pool size: 94)
1796.50/1797.00 c redcost : 3.77 3793661 0 0 0 0
1796.50/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1796.50/1797.00 c intobj : 0.00 0 0 0 0 0
1796.50/1797.00 c gomory : 0.00 6 0 0 0 0
1796.50/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.50/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.50/1797.00 c strongcg : 0.00 6 0 0 29 0
1796.50/1797.00 c cmir : 0.01 6 0 0 36 0
1796.50/1797.00 c flowcover : 0.01 6 0 0 51 0
1796.50/1797.00 c clique : 0.00 1 0 0 0 0
1796.50/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.50/1797.00 c mcf : 0.00 1 0 0 0 0
1796.50/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.50/1797.00 c rapidlearning : 0.02 1 0 0 0 15
1796.50/1797.00 c Pricers : Time Calls Vars
1796.50/1797.00 c problem variables: 0.00 0 0
1796.50/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.50/1797.00 c relpscost : 19.47 3793656 1540 6747 0 0 7572032
1796.50/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.50/1797.00 c inference : 0.00 0 0 0 0 0 0
1796.50/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.50/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.50/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.50/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.50/1797.00 c random : 0.00 0 0 0 0 0 0
1796.50/1797.00 c Primal Heuristics : Time Calls Found
1796.50/1797.00 c LP solutions : 0.00 - 0
1796.50/1797.00 c pseudo solutions : 0.00 - 0
1796.50/1797.00 c oneopt : 1.50 0 0
1796.50/1797.00 c crossover : 1.04 0 0
1796.50/1797.00 c guideddiving : 0.15 0 0
1796.50/1797.00 c rootsoldiving : 0.17 122 0
1796.50/1797.00 c linesearchdiving : 0.18 244 0
1796.50/1797.00 c coefdiving : 0.15 244 0
1796.50/1797.00 c pscostdiving : 0.16 244 0
1796.50/1797.00 c fracdiving : 0.15 244 0
1796.50/1797.00 c veclendiving : 0.15 244 0
1796.50/1797.00 c feaspump : 0.14 122 0
1796.50/1797.00 c objpscostdiving : 0.12 123 0
1796.50/1797.00 c trivial : 0.00 2 0
1796.50/1797.00 c shiftandpropagate: 0.00 1 0
1796.50/1797.00 c simplerounding : 0.57 0 0
1796.50/1797.00 c zirounding : 8.10 0 0
1796.50/1797.00 c rounding : 1.31 27661 0
1796.50/1797.00 c shifting : 1.81 7882 0
1796.50/1797.00 c intshifting : 0.07 0 0
1796.50/1797.00 c twoopt : 0.00 0 0
1796.50/1797.00 c fixandinfer : 0.00 0 0
1796.50/1797.00 c clique : 0.00 0 0
1796.50/1797.00 c intdiving : 0.00 0 0
1796.50/1797.00 c actconsdiving : 0.00 0 0
1796.50/1797.00 c octane : 0.00 0 0
1796.50/1797.00 c rens : 0.02 1 0
1796.50/1797.00 c rins : 0.00 0 0
1796.50/1797.00 c localbranching : 0.00 0 0
1796.50/1797.00 c mutation : 0.00 0 0
1796.50/1797.00 c dins : 0.00 0 0
1796.50/1797.00 c vbounds : 0.00 0 0
1796.50/1797.00 c undercover : 0.00 0 0
1796.50/1797.00 c subnlp : 0.80 0 0
1796.50/1797.00 c trysol : 0.93 0 0
1796.50/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.50/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.50/1797.00 c dual LP : 222.41 5383391 12933212 2.40 58150.20
1796.50/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.50/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.50/1797.00 c diving/probing LP: 0.13 2829 4712 1.67 35199.12
1796.50/1797.00 c strong branching : 0.94 13188 43542 3.30 46491.22
1796.50/1797.00 c (at root node) : - 10 276 27.60 -
1796.50/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.50/1797.00 c B&B Tree :
1796.50/1797.00 c number of runs : 1
1796.50/1797.00 c nodes : 6494492
1796.50/1797.00 c nodes (total) : 6494492
1796.50/1797.00 c nodes left : 486961
1796.50/1797.00 c max depth : 35
1796.50/1797.00 c max depth (total): 35
1796.50/1797.00 c backtracks : 1498194 (23.1%)
1796.50/1797.00 c delayed cutoffs : 590580
1796.50/1797.00 c repropagations : 4855566 (6854066 domain reductions, 562961 cutoffs)
1796.50/1797.00 c avg switch length: 5.76
1796.50/1797.00 c switching time : 528.80
1796.50/1797.00 c Solution :
1796.50/1797.00 c Solutions found : 0 (0 improvements)
1796.50/1797.00 c Primal Bound : -
1796.50/1797.00 c Dual Bound : +0.00000000000000e+00
1796.50/1797.00 c Gap : infinite
1796.50/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.50/1797.00 c Root Iterations : 123
1798.40/1798.99 c Time complete: 1798.49.
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-3735000-1338715778/watcher-3735000-1338715778 -o /tmp/evaluation-result-3735000-1338715778/solver-3735000-1338715778 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3735000-1338715778.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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: 1.92 1.99 1.99 3/176 15119
/proc/meminfo: memFree=28256024/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 1506 0 0 0 0 0 0 0 20 0 1 0 337702144 9818112 1461 33554432000 4194304 9016284 140735418309424 140734057116888 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 2397 1462 311 1178 0 1215 0
[startup+0.0836411 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 15119
/proc/meminfo: memFree=28256024/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=26200 CPUtime=0.07 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 7004 0 0 0 6 1 0 0 20 0 1 0 337702144 26828800 5508 33554432000 4194304 9016284 140735418309424 140734057116888 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 6550 5508 681 1178 0 5368 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26200
[startup+0.100331 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 15119
/proc/meminfo: memFree=28256024/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=26200 CPUtime=0.09 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 7006 0 0 0 8 1 0 0 20 0 1 0 337702144 26828800 5510 33554432000 4194304 9016284 140735418309424 140734057116888 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 6550 5510 683 1178 0 5368 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26200
[startup+0.300223 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 15119
/proc/meminfo: memFree=28256024/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=26200 CPUtime=0.29 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 7008 0 0 0 27 2 0 0 20 0 1 0 337702144 26828800 5512 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 6550 5512 684 1178 0 5368 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26200
[startup+0.700225 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 15119
/proc/meminfo: memFree=28256024/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=26200 CPUtime=0.69 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 7012 0 0 0 66 3 0 0 20 0 1 0 337702144 26828800 5516 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 6550 5516 684 1178 0 5368 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26200
[startup+1.50022 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 15120
/proc/meminfo: memFree=28234448/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=26200 CPUtime=1.49 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 7020 0 0 0 144 5 0 0 20 0 1 0 337702144 26828800 5524 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 6550 5524 684 1178 0 5368 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26200
[startup+3.10022 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 15120
/proc/meminfo: memFree=28234184/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=26512 CPUtime=3.09 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 7037 0 0 0 300 9 0 0 20 0 1 0 337702144 27148288 5541 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 6628 5541 684 1178 0 5446 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26512
[startup+6.30023 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 15120
/proc/meminfo: memFree=28232324/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=30248 CPUtime=6.29 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 7954 0 0 0 611 18 0 0 20 0 1 0 337702144 30973952 6458 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 7562 6458 684 1178 0 6380 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30248
[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 15120
/proc/meminfo: memFree=28224272/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=37796 CPUtime=12.69 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 9840 0 0 0 1235 34 0 0 20 0 1 0 337702144 38703104 8344 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 9449 8344 684 1178 0 8267 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37796
[startup+25.5002 s]
/proc/loadavg: 1.95 1.99 1.99 3/178 15123
/proc/meminfo: memFree=28212824/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=49320 CPUtime=25.49 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 12768 0 0 0 2485 64 0 0 20 0 1 0 337702144 50503680 11272 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 12330 11272 684 1178 0 11148 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49320
[startup+51.1003 s]
/proc/loadavg: 2.10 2.02 2.01 3/178 15124
/proc/meminfo: memFree=28192356/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=69104 CPUtime=51.08 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 17798 0 0 0 4991 117 0 0 20 0 1 0 337702144 70762496 16302 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 17276 16302 684 1178 0 16094 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69104
[startup+102.306 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 15124
/proc/meminfo: memFree=28156968/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=104944 CPUtime=102.26 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 26249 0 0 0 10017 209 0 0 20 0 1 0 337702144 107462656 24949 33554432000 4194304 9016284 140735418309424 140735418303752 4320904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 26236 24949 684 1178 0 25054 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 104944
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 15124
/proc/meminfo: memFree=28122372/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=137632 CPUtime=162.22 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 34602 0 0 0 15894 328 0 0 20 0 1 0 337702144 140935168 33528 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 34408 33528 684 1178 0 33226 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 137632
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 15124
/proc/meminfo: memFree=28092860/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=167316 CPUtime=222.21 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 42096 0 0 0 21783 438 0 0 20 0 1 0 337702144 171331584 41022 33554432000 4194304 9016284 140735418309424 140735418303752 4347628 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 41829 41022 684 1178 0 40647 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 167316
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 15124
/proc/meminfo: memFree=28067680/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=191604 CPUtime=282.19 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 48305 0 0 0 27680 539 0 0 20 0 1 0 337702144 196202496 47258 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 47901 47258 684 1178 0 46719 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 191604
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15125
/proc/meminfo: memFree=28041564/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=221280 CPUtime=342.15 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 54806 0 0 0 33574 641 0 0 20 0 1 0 337702144 226590720 53728 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 55320 53728 684 1178 0 54138 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 221280
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 15125
/proc/meminfo: memFree=28016764/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=246496 CPUtime=402.14 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 61083 0 0 0 39488 726 0 0 20 0 1 0 337702144 252411904 60005 33554432000 4194304 9016284 140735418309424 140735418303752 4349783 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 61624 60005 684 1178 0 60442 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 246496
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15125
/proc/meminfo: memFree=28002256/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=260856 CPUtime=462.13 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 64677 0 0 0 45403 810 0 0 20 0 1 0 337702144 267116544 63599 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 65214 63599 684 1178 0 64032 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 260856
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 15125
/proc/meminfo: memFree=27980804/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=282524 CPUtime=522.12 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 70219 0 0 0 51315 897 0 0 20 0 1 0 337702144 289304576 69141 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 70631 69141 684 1178 0 69449 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 282524
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15125
/proc/meminfo: memFree=27960264/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=301736 CPUtime=582.09 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 74969 0 0 0 57221 988 0 0 20 0 1 0 337702144 308977664 74141 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 75434 74141 684 1178 0 74252 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 301736
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27720804/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=421548 CPUtime=1061.97 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 105250 0 0 0 104539 1658 0 0 20 0 1 0 337702144 431665152 104571 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 105387 104571 684 1178 0 104205 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 421548
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 15206
/proc/meminfo: memFree=27707660/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=434284 CPUtime=1121.97 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 108487 0 0 0 110460 1737 0 0 20 0 1 0 337702144 444706816 107808 33554432000 4194304 9016284 140735418309424 140735418303752 4349783 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 108571 107808 684 1178 0 107389 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 434284
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15206
/proc/meminfo: memFree=27698112/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=443308 CPUtime=1181.96 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 110790 0 0 0 116384 1812 0 0 20 0 1 0 337702144 453947392 110111 33554432000 4194304 9016284 140735418309424 140735418303752 5315544 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 110827 110111 684 1178 0 109645 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 443308
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15209
/proc/meminfo: memFree=27682568/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=458464 CPUtime=1241.93 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 114477 0 0 0 122300 1893 0 0 20 0 1 0 337702144 469467136 113783 33554432000 4194304 9016284 140735418309424 140735418303752 4889380 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 114616 113783 684 1178 0 113434 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 458464
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15210
/proc/meminfo: memFree=27672736/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=468192 CPUtime=1301.91 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 116958 0 0 0 128210 1981 0 0 20 0 1 0 337702144 479428608 116245 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 117048 116245 684 1178 0 115866 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 468192
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15210
/proc/meminfo: memFree=27663560/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=477564 CPUtime=1361.9 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 119282 0 0 0 134130 2060 0 0 20 0 1 0 337702144 489025536 118569 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 119391 118569 684 1178 0 118209 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 477564
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15210
/proc/meminfo: memFree=27653392/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=487680 CPUtime=1421.89 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 121840 0 0 0 140054 2135 0 0 20 0 1 0 337702144 499384320 121127 33554432000 4194304 9016284 140735418309424 140735418303752 4322192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 121920 121127 684 1178 0 120738 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 487680
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15210
/proc/meminfo: memFree=27641736/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=499120 CPUtime=1481.88 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 124742 0 0 0 145975 2213 0 0 20 0 1 0 337702144 511098880 124029 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 124780 124029 684 1178 0 123598 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 499120
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15210
/proc/meminfo: memFree=27630328/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=518836 CPUtime=1541.86 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 127667 0 0 0 151897 2289 0 0 20 0 1 0 337702144 531288064 126954 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 129709 126954 684 1178 0 128527 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 518836
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15211
/proc/meminfo: memFree=27623384/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=525860 CPUtime=1601.85 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 129452 0 0 0 157821 2364 0 0 20 0 1 0 337702144 538480640 128739 33554432000 4194304 9016284 140735418309424 140735418303592 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 131465 128739 684 1178 0 130283 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 525860
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15211
/proc/meminfo: memFree=27608068/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=537816 CPUtime=1661.84 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 132320 0 0 0 163741 2443 0 0 20 0 1 0 337702144 550723584 131607 33554432000 4194304 9016284 140735418309424 140735418303752 6469440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 134454 131607 684 1178 0 133272 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 537816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15211
/proc/meminfo: memFree=27597572/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=544476 CPUtime=1721.81 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 134042 0 0 0 169664 2517 0 0 20 0 1 0 337702144 557543424 134189 33554432000 4194304 9016284 140735418309424 140735418303752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 136119 134189 684 1178 0 134937 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 544476
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15211
/proc/meminfo: memFree=27585172/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=554520 CPUtime=1781.8 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 136553 0 0 0 175585 2595 0 0 20 0 1 0 337702144 567828480 136700 33554432000 4194304 9016284 140735418309424 140735418303752 4320805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 138630 136700 684 1178 0 137448 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 554520
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15211
/proc/meminfo: memFree=27585728/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=555032 CPUtime=1791.41 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 136681 0 0 0 176535 2606 0 0 20 0 1 0 337702144 568352768 136828 33554432000 4194304 9016284 140735418309424 140735418302840 4320792 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 138758 136828 684 1178 0 137576 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 555032
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15211
/proc/meminfo: memFree=27585728/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=555032 CPUtime=1794.61 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 136681 0 0 0 176852 2609 0 0 20 0 1 0 337702144 568352768 136828 33554432000 4194304 9016284 140735418309424 140735418303384 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 138758 136828 684 1178 0 137576 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 555032
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15211
/proc/meminfo: memFree=27585168/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=555416 CPUtime=1796.2 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 136811 0 0 0 177009 2611 0 0 20 0 1 0 337702144 568745984 136958 33554432000 4194304 9016284 140735418309424 140735418303752 6466192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 138854 136958 684 1178 0 137672 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (KiB) 555416
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15211
/proc/meminfo: memFree=27585292/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=555416 CPUtime=1797.8 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 136812 0 0 0 177169 2611 0 0 20 0 1 0 337702144 568745984 136959 33554432000 4194304 9016284 140735418309424 140735418305224 4839919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 138854 136959 685 1178 0 137672 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 555416
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15211
/proc/meminfo: memFree=27585292/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=555416 CPUtime=1798.2 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 136812 0 0 0 177209 2611 0 0 20 0 1 0 337702144 568745984 136959 33554432000 4194304 9016284 140735418309424 140735418305224 4841534 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 138854 136959 685 1178 0 137672 0
Current children cumulated CPU time (s) 1798.2
Current children cumulated vsize (KiB) 555416
[startup+1798.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15211
/proc/meminfo: memFree=27585292/32873844 swapFree=7632/7632
[pid=15119] ppid=15117 vsize=555416 CPUtime=1798.4 cores=1,3,5,7
/proc/15119/stat : 15119 (scip-2.0.1.4b_2) R 15117 15119 12480 0 -1 4202496 136812 0 0 0 177229 2611 0 0 20 0 1 0 337702144 568745984 136959 33554432000 4194304 9016284 140735418309424 140735418305224 6812671 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 138854 136959 685 1178 0 137672 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 555416
Child status: 0
Real time (s): 1798.99
CPU time (s): 1798.5
CPU user time (s): 1772.38
CPU system time (s): 26.122
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 555416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.38
system time used= 26.122
maximum resident set size= 547836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136817
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= 241
involuntary context switches= 1842
runsolver used 3.37949 second user time and 8.16376 second system time
The end