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-3488791-1307774046.opb>
0.00/0.00 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c presolving (3 rounds):
0.00/0.00 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.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.00 c 5 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 2.0.1.5
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = 1797
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = 13950
0.00/0.00 c
0.00/0.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.00 c # [type: int, range: [1,2], default: 1]
0.00/0.00 c timing/clocktype = 2
0.00/0.00 c
0.00/0.00 c # belongs reading time to solving time?
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c timing/reading = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/indicator/addCouplingCons = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 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.02 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.03 c 0.0s| 1 | 0 | 96 | - | 369k| 0 | 13 | 40 | 33 | 40 | 20 | 15 | 13 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 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.04 c 0.0s| 1 | 0 | 123 | - | 403k| 0 | 16 | 40 | 33 | 40 | 27 | 22 | 13 | 0 | 0.000000e+00 | -- | Inf
0.04/0.06 c 0.1s| 1 | 2 | 123 | - | 404k| 0 | 16 | 40 | 33 | 40 | 27 | 22 | 13 | 10 | 0.000000e+00 | -- | Inf
1.39/1.43 c 1.4s| 10000 | 3668 | 21383 | 2.1 |3816k| 34 | 5 | 40 |3503 | 40 | 16 | 22 |4067 | 493 | 0.000000e+00 | -- | Inf
2.89/2.91 c 2.9s| 20000 | 6906 | 42273 | 2.1 |5651k| 34 | - | 40 |3065 | 40 | 16 | 22 |8481 | 684 | 0.000000e+00 | -- | Inf
4.29/4.40 c 4.4s| 30000 | 9814 | 62811 | 2.1 |7453k| 34 | 5 | 40 |3174 | 40 | 16 | 22 | 12k| 845 | 0.000000e+00 | -- | Inf
5.89/5.91 c 5.9s| 40000 | 12622 | 83359 | 2.1 |9294k| 34 | 5 | 40 |3642 | 40 | 16 | 22 | 17k| 988 | 0.000000e+00 | -- | Inf
7.39/7.47 c 7.5s| 50000 | 15251 |104052 | 2.1 | 10M| 34 | 5 | 40 |3607 | 40 | 16 | 22 | 22k|1098 | 0.000000e+00 | -- | Inf
9.09/9.11 c 9.1s| 60000 | 17621 |124143 | 2.1 | 12M| 34 | 5 | 40 |3957 | 40 | 16 | 22 | 27k|1219 | 0.000000e+00 | -- | Inf
10.59/10.60 c 10.6s| 70000 | 20553 |144922 | 2.1 | 14M| 34 | - | 40 |5139 | 0 | 0 | 22 | 31k|1313 | 0.000000e+00 | -- | Inf
12.29/12.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.29/12.39 c 12.4s| 80000 | 22830 |164730 | 2.1 | 15M| 34 | 5 | 40 |3891 | 40 | 16 | 22 | 36k|1421 | 0.000000e+00 | -- | Inf
13.99/14.04 c 14.0s| 90000 | 25099 |184330 | 2.0 | 17M| 34 | 5 | 40 |3947 | 40 | 16 | 22 | 41k|1500 | 0.000000e+00 | -- | Inf
15.69/15.74 c 15.7s|100000 | 27390 |204606 | 2.0 | 19M| 34 | 5 | 40 |4480 | 40 | 16 | 22 | 46k|1598 | 0.000000e+00 | -- | Inf
17.39/17.47 c 17.5s|110000 | 29625 |224669 | 2.0 | 20M| 34 | - | 40 |4143 | 40 | 16 | 22 | 51k|1674 | 0.000000e+00 | -- | Inf
19.09/19.13 c 19.1s|120000 | 31866 |245379 | 2.0 | 22M| 34 | 5 | 40 |4709 | 40 | 16 | 22 | 56k|1751 | 0.000000e+00 | -- | Inf
20.90/20.96 c 21.0s|130000 | 33772 |265451 | 2.0 | 23M| 34 | - | 40 |4375 | 0 | 0 | 22 | 61k|1856 | 0.000000e+00 | -- | Inf
22.69/22.74 c 22.7s|140000 | 35802 |286540 | 2.0 | 24M| 34 | - | 40 |4549 | 40 | 16 | 22 | 66k|1924 | 0.000000e+00 | -- | Inf
24.49/24.50 c 24.5s|150000 | 37833 |306822 | 2.0 | 26M| 34 | 5 | 40 |5201 | 40 | 16 | 22 | 71k|1991 | 0.000000e+00 | -- | Inf
26.39/26.41 c 26.4s|160000 | 39665 |326463 | 2.0 | 27M| 34 | 5 | 40 |4647 | 40 | 16 | 22 | 76k|2042 | 0.000000e+00 | -- | Inf
28.19/28.22 c 28.2s|170000 | 41449 |346582 | 2.0 | 29M| 34 | 5 | 40 |4551 | 40 | 16 | 22 | 82k|2117 | 0.000000e+00 | -- | Inf
29.99/30.01 c 30.0s|180000 | 43389 |366980 | 2.0 | 30M| 34 | - | 40 |5810 | 40 | 16 | 22 | 87k|2180 | 0.000000e+00 | -- | Inf
31.89/31.91 c 31.9s|190000 | 45353 |387020 | 2.0 | 32M| 34 | 5 | 40 |5575 | 40 | 16 | 22 | 92k|2231 | 0.000000e+00 | -- | Inf
33.79/33.85 c 33.9s|200000 | 47154 |407184 | 2.0 | 33M| 34 | 5 | 40 |5402 | 40 | 16 | 22 | 98k|2280 | 0.000000e+00 | -- | Inf
35.70/35.75 c 35.8s|210000 | 48736 |426661 | 2.0 | 34M| 34 | - | 40 |5298 | 40 | 16 | 22 | 103k|2326 | 0.000000e+00 | -- | Inf
37.59/37.63 c 37.6s|220000 | 50490 |446602 | 2.0 | 36M| 34 | 5 | 40 |5259 | 40 | 16 | 22 | 108k|2381 | 0.000000e+00 | -- | Inf
39.50/39.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.50/39.58 c 39.6s|230000 | 52143 |466490 | 2.0 | 37M| 34 | 5 | 40 |5449 | 40 | 16 | 22 | 113k|2432 | 0.000000e+00 | -- | Inf
41.49/41.57 c 41.6s|240000 | 53782 |486506 | 2.0 | 38M| 34 | - | 40 |5584 | 40 | 16 | 22 | 119k|2475 | 0.000000e+00 | -- | Inf
43.49/43.50 c 43.5s|250000 | 55325 |506656 | 2.0 | 40M| 34 | 5 | 40 |6681 | 40 | 16 | 22 | 124k|2542 | 0.000000e+00 | -- | Inf
45.59/45.63 c 45.6s|260000 | 56748 |526669 | 2.0 | 41M| 34 | - | 40 |5717 | 40 | 16 | 22 | 130k|2590 | 0.000000e+00 | -- | Inf
47.49/47.53 c 47.5s|270000 | 58460 |548285 | 2.0 | 42M| 34 | 5 | 40 |7267 | 40 | 16 | 22 | 136k|2642 | 0.000000e+00 | -- | Inf
49.50/49.58 c 49.6s|280000 | 60019 |568836 | 2.0 | 44M| 34 | 5 | 40 |7363 | 40 | 16 | 22 | 141k|2696 | 0.000000e+00 | -- | Inf
51.70/51.71 c 51.7s|290000 | 61547 |588766 | 2.0 | 45M| 34 | 5 | 40 |6588 | 40 | 16 | 22 | 146k|2755 | 0.000000e+00 | -- | Inf
53.39/53.48 c 53.5s|300000 | 63752 |608313 | 2.0 | 47M| 34 | 5 | 40 |8985 | 40 | 16 | 22 | 151k|2808 | 0.000000e+00 | -- | Inf
55.69/55.79 c 55.8s|310000 | 65511 |628130 | 2.0 | 48M| 34 | 5 | 40 |7086 | 40 | 16 | 22 | 156k|2846 | 0.000000e+00 | -- | Inf
57.89/57.93 c 57.9s|320000 | 67119 |647804 | 2.0 | 49M| 34 | - | 40 |7266 | 40 | 16 | 22 | 162k|2901 | 0.000000e+00 | -- | Inf
60.00/60.00 c 60.0s|330000 | 68809 |667681 | 2.0 | 51M| 34 | 5 | 40 |8667 | 40 | 16 | 22 | 167k|2943 | 0.000000e+00 | -- | Inf
62.19/62.21 c 62.2s|340000 | 70324 |687683 | 2.0 | 52M| 34 | 5 | 40 |8605 | 40 | 16 | 22 | 172k|3001 | 0.000000e+00 | -- | Inf
64.59/64.67 c 64.7s|350000 | 71536 |708005 | 2.0 | 53M| 34 | - | 40 |6457 | 40 | 16 | 22 | 178k|3051 | 0.000000e+00 | -- | Inf
66.69/66.76 c 66.8s|360000 | 73087 |728382 | 2.0 | 54M| 34 | - | 40 |6990 | 40 | 16 | 22 | 184k|3092 | 0.000000e+00 | -- | Inf
68.99/69.01 c 69.0s|370000 | 74398 |748335 | 2.0 | 55M| 34 | 5 | 40 |6354 | 40 | 16 | 22 | 189k|3138 | 0.000000e+00 | -- | Inf
70.99/71.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.99/71.05 c 71.1s|380000 | 75903 |768138 | 2.0 | 57M| 34 | - | 40 |7464 | 0 | 0 | 22 | 195k|3174 | 0.000000e+00 | -- | Inf
73.19/73.23 c 73.2s|390000 | 77565 |788533 | 2.0 | 58M| 34 | - | 40 |7360 | 40 | 16 | 22 | 200k|3214 | 0.000000e+00 | -- | Inf
75.09/75.17 c 75.2s|400000 | 79485 |809475 | 2.0 | 59M| 34 | - | 40 |8281 | 0 | 0 | 22 | 205k|3259 | 0.000000e+00 | -- | Inf
77.00/77.09 c 77.1s|410000 | 81653 |829049 | 2.0 | 61M| 34 | 5 | 40 |9477 | 40 | 16 | 22 | 210k|3291 | 0.000000e+00 | -- | Inf
79.10/79.17 c 79.2s|420000 | 83658 |849353 | 2.0 | 63M| 34 | - | 40 | 10k| 0 | 0 | 22 | 215k|3333 | 0.000000e+00 | -- | Inf
81.39/81.47 c 81.5s|430000 | 85225 |868981 | 2.0 | 64M| 34 | - | 40 |9991 | 0 | 0 | 22 | 221k|3378 | 0.000000e+00 | -- | Inf
83.69/83.72 c 83.7s|440000 | 86976 |888797 | 2.0 | 65M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 226k|3411 | 0.000000e+00 | -- | Inf
85.89/85.94 c 85.9s|450000 | 88698 |908649 | 2.0 | 67M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 231k|3464 | 0.000000e+00 | -- | Inf
88.29/88.32 c 88.3s|460000 | 90463 |929042 | 2.0 | 69M| 34 | - | 40 | 11k| 40 | 16 | 22 | 237k|3497 | 0.000000e+00 | -- | Inf
91.09/91.15 c 91.1s|470000 | 91765 |948678 | 2.0 | 69M| 34 | 5 | 40 |7710 | 40 | 16 | 22 | 242k|3527 | 0.000000e+00 | -- | Inf
93.19/93.26 c 93.3s|480000 | 93378 |968650 | 2.0 | 70M| 34 | 5 | 40 |8887 | 40 | 16 | 22 | 248k|3559 | 0.000000e+00 | -- | Inf
95.48/95.55 c 95.6s|490000 | 95010 |989660 | 2.0 | 71M| 34 | 5 | 40 |8106 | 40 | 16 | 22 | 254k|3590 | 0.000000e+00 | -- | Inf
97.90/97.94 c 97.9s|500000 | 96273 | 1010k| 2.0 | 72M| 34 | 5 | 40 |6685 | 40 | 16 | 22 | 260k|3629 | 0.000000e+00 | -- | Inf
99.99/100.04 c 100s|510000 | 97767 | 1030k| 2.0 | 74M| 34 | 5 | 40 |7199 | 40 | 16 | 22 | 265k|3662 | 0.000000e+00 | -- | Inf
102.08/102.13 c 102s|520000 | 99447 | 1050k| 2.0 | 75M| 34 | - | 40 |7091 | 0 | 0 | 22 | 271k|3703 | 0.000000e+00 | -- | Inf
104.18/104.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.18/104.27 c 104s|530000 |101058 | 1070k| 2.0 | 76M| 34 | 5 | 40 |7287 | 40 | 16 | 22 | 276k|3740 | 0.000000e+00 | -- | Inf
106.39/106.45 c 106s|540000 |102698 | 1089k| 2.0 | 77M| 34 | 5 | 40 |6035 | 40 | 16 | 22 | 281k|3772 | 0.000000e+00 | -- | Inf
108.49/108.51 c 109s|550000 |104192 | 1109k| 2.0 | 79M| 34 | 5 | 40 |6944 | 40 | 16 | 22 | 287k|3815 | 0.000000e+00 | -- | Inf
110.69/110.71 c 111s|560000 |105480 | 1130k| 2.0 | 80M| 34 | - | 40 |6615 | 40 | 16 | 22 | 292k|3842 | 0.000000e+00 | -- | Inf
112.79/112.86 c 113s|570000 |106958 | 1151k| 2.0 | 81M| 34 | 5 | 40 |7460 | 40 | 16 | 22 | 298k|3876 | 0.000000e+00 | -- | Inf
114.99/115.04 c 115s|580000 |108427 | 1171k| 2.0 | 82M| 34 | - | 40 |6646 | 40 | 16 | 22 | 304k|3924 | 0.000000e+00 | -- | Inf
117.09/117.12 c 117s|590000 |110054 | 1193k| 2.0 | 84M| 34 | - | 40 |8203 | 0 | 0 | 22 | 310k|3961 | 0.000000e+00 | -- | Inf
119.59/119.60 c 120s|600000 |111212 | 1214k| 2.0 | 84M| 34 | 5 | 40 |6229 | 40 | 16 | 22 | 316k|3988 | 0.000000e+00 | -- | Inf
121.79/121.85 c 122s|610000 |112403 | 1234k| 2.0 | 86M| 34 | 5 | 40 |6538 | 40 | 16 | 22 | 321k|4022 | 0.000000e+00 | -- | Inf
123.99/124.07 c 124s|620000 |113760 | 1254k| 2.0 | 87M| 34 | 5 | 40 |6449 | 40 | 16 | 22 | 327k|4045 | 0.000000e+00 | -- | Inf
125.89/125.94 c 126s|630000 |115862 | 1273k| 2.0 | 89M| 34 | - | 40 |7990 | 0 | 0 | 22 | 332k|4073 | 0.000000e+00 | -- | Inf
127.99/128.05 c 128s|640000 |117230 | 1293k| 2.0 | 90M| 34 | 5 | 40 |8740 | 40 | 16 | 22 | 337k|4100 | 0.000000e+00 | -- | Inf
130.39/130.47 c 130s|650000 |118499 | 1313k| 2.0 | 90M| 34 | 5 | 40 |6495 | 40 | 16 | 22 | 342k|4125 | 0.000000e+00 | -- | Inf
132.58/132.61 c 133s|660000 |119887 | 1333k| 2.0 | 92M| 34 | - | 40 |7051 | 0 | 0 | 22 | 348k|4162 | 0.000000e+00 | -- | Inf
134.79/134.82 c 135s|670000 |121185 | 1353k| 2.0 | 92M| 34 | - | 40 |6025 | 0 | 0 | 22 | 354k|4199 | 0.000000e+00 | -- | Inf
136.88/136.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.88/136.96 c 137s|680000 |122632 | 1373k| 2.0 | 94M| 34 | - | 40 |6672 | 40 | 16 | 22 | 359k|4238 | 0.000000e+00 | -- | Inf
139.09/139.17 c 139s|690000 |124032 | 1393k| 2.0 | 95M| 34 | 5 | 40 |7273 | 40 | 16 | 22 | 364k|4261 | 0.000000e+00 | -- | Inf
141.28/141.38 c 141s|700000 |125449 | 1413k| 2.0 | 96M| 34 | 5 | 40 |7669 | 40 | 16 | 22 | 370k|4301 | 0.000000e+00 | -- | Inf
143.68/143.74 c 144s|710000 |126742 | 1433k| 2.0 | 97M| 34 | 5 | 40 |6692 | 40 | 16 | 22 | 376k|4338 | 0.000000e+00 | -- | Inf
145.88/145.98 c 146s|720000 |128005 | 1453k| 2.0 | 98M| 34 | - | 40 |7022 | 0 | 0 | 22 | 381k|4365 | 0.000000e+00 | -- | Inf
147.99/148.03 c 148s|730000 |129600 | 1474k| 2.0 | 100M| 34 | - | 40 |8147 | 0 | 0 | 22 | 387k|4390 | 0.000000e+00 | -- | Inf
150.28/150.34 c 150s|740000 |130778 | 1495k| 2.0 | 101M| 34 | - | 40 |7243 | 40 | 16 | 22 | 393k|4421 | 0.000000e+00 | -- | Inf
152.58/152.69 c 153s|750000 |131853 | 1515k| 2.0 | 102M| 34 | 5 | 40 |7088 | 40 | 16 | 22 | 398k|4451 | 0.000000e+00 | -- | Inf
154.99/155.05 c 155s|760000 |132994 | 1535k| 2.0 | 103M| 34 | 5 | 40 |6228 | 40 | 16 | 22 | 404k|4472 | 0.000000e+00 | -- | Inf
157.18/157.30 c 157s|770000 |134168 | 1556k| 2.0 | 104M| 34 | - | 40 |7263 | 40 | 16 | 22 | 410k|4507 | 0.000000e+00 | -- | Inf
159.58/159.63 c 160s|780000 |135398 | 1576k| 2.0 | 105M| 34 | 5 | 40 |6967 | 40 | 16 | 22 | 416k|4535 | 0.000000e+00 | -- | Inf
161.88/161.97 c 162s|790000 |136534 | 1596k| 2.0 | 106M| 34 | - | 40 |6534 | 40 | 16 | 22 | 422k|4563 | 0.000000e+00 | -- | Inf
164.08/164.16 c 164s|800000 |137869 | 1616k| 2.0 | 107M| 34 | - | 40 |6697 | 40 | 16 | 22 | 427k|4593 | 0.000000e+00 | -- | Inf
166.47/166.51 c 167s|810000 |139011 | 1636k| 2.0 | 108M| 34 | - | 40 |6117 | 0 | 0 | 22 | 433k|4614 | 0.000000e+00 | -- | Inf
168.77/168.82 c 169s|820000 |140082 | 1655k| 2.0 | 109M| 34 | 5 | 40 |5984 | 40 | 16 | 22 | 439k|4645 | 0.000000e+00 | -- | Inf
170.88/170.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.88/170.95 c 171s|830000 |141245 | 1676k| 2.0 | 110M| 34 | - | 40 |6707 | 40 | 16 | 22 | 445k|4676 | 0.000000e+00 | -- | Inf
172.98/173.06 c 173s|840000 |142594 | 1696k| 2.0 | 112M| 34 | 5 | 40 |7842 | 40 | 16 | 22 | 450k|4711 | 0.000000e+00 | -- | Inf
175.27/175.30 c 175s|850000 |143910 | 1716k| 2.0 | 113M| 34 | 5 | 40 |8542 | 40 | 16 | 22 | 456k|4750 | 0.000000e+00 | -- | Inf
177.58/177.63 c 178s|860000 |145205 | 1735k| 2.0 | 114M| 34 | - | 40 |7313 | 40 | 16 | 22 | 461k|4775 | 0.000000e+00 | -- | Inf
179.78/179.85 c 180s|870000 |146667 | 1755k| 2.0 | 115M| 34 | 5 | 40 |8077 | 40 | 16 | 22 | 466k|4799 | 0.000000e+00 | -- | Inf
182.27/182.30 c 182s|880000 |147666 | 1776k| 2.0 | 116M| 34 | - | 40 |6505 | 40 | 16 | 22 | 472k|4838 | 0.000000e+00 | -- | Inf
184.47/184.55 c 185s|890000 |148847 | 1796k| 2.0 | 118M| 34 | - | 40 |8602 | 0 | 0 | 22 | 478k|4874 | 0.000000e+00 | -- | Inf
186.88/186.92 c 187s|900000 |149988 | 1815k| 2.0 | 118M| 34 | 5 | 40 |7446 | 40 | 16 | 22 | 484k|4902 | 0.000000e+00 | -- | Inf
189.28/189.33 c 189s|910000 |151002 | 1836k| 2.0 | 119M| 34 | 5 | 40 |6667 | 40 | 16 | 22 | 490k|4937 | 0.000000e+00 | -- | Inf
191.38/191.47 c 191s|920000 |152353 | 1856k| 2.0 | 121M| 34 | - | 40 |8343 | 40 | 16 | 22 | 496k|4970 | 0.000000e+00 | -- | Inf
193.78/193.82 c 194s|930000 |153446 | 1876k| 2.0 | 121M| 34 | 5 | 40 |7740 | 40 | 16 | 22 | 501k|4994 | 0.000000e+00 | -- | Inf
196.18/196.22 c 196s|940000 |154517 | 1896k| 2.0 | 122M| 34 | 5 | 40 |6342 | 40 | 16 | 22 | 507k|5010 | 0.000000e+00 | -- | Inf
198.57/198.64 c 199s|950000 |155372 | 1915k| 2.0 | 123M| 34 | - | 40 |6714 | 40 | 16 | 22 | 513k|5036 | 0.000000e+00 | -- | Inf
201.08/201.11 c 201s|960000 |156098 | 1935k| 2.0 | 124M| 34 | - | 40 |5738 | 40 | 16 | 22 | 519k|5069 | 0.000000e+00 | -- | Inf
203.18/203.29 c 203s|970000 |157285 | 1956k| 2.0 | 125M| 34 | 5 | 40 |6779 | 40 | 16 | 22 | 525k|5090 | 0.000000e+00 | -- | Inf
205.47/205.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.47/205.59 c 206s|980000 |158336 | 1976k| 2.0 | 126M| 34 | - | 40 |6667 | 40 | 16 | 22 | 530k|5113 | 0.000000e+00 | -- | Inf
207.78/207.82 c 208s|990000 |159464 | 1996k| 2.0 | 127M| 34 | - | 40 |7120 | 40 | 16 | 22 | 536k|5147 | 0.000000e+00 | -- | Inf
210.08/210.19 c 210s| 1000k|160511 | 2016k| 2.0 | 128M| 34 | - | 40 |6825 | 40 | 16 | 22 | 542k|5167 | 0.000000e+00 | -- | Inf
212.58/212.63 c 213s| 1010k|161367 | 2036k| 2.0 | 129M| 34 | - | 40 |6353 | 40 | 16 | 22 | 548k|5192 | 0.000000e+00 | -- | Inf
214.67/214.75 c 215s| 1020k|162606 | 2056k| 2.0 | 130M| 34 | 5 | 40 |7691 | 40 | 16 | 22 | 553k|5217 | 0.000000e+00 | -- | Inf
217.18/217.26 c 217s| 1030k|163290 | 2076k| 2.0 | 131M| 34 | - | 40 |6338 | 40 | 16 | 22 | 560k|5238 | 0.000000e+00 | -- | Inf
219.67/219.72 c 220s| 1040k|164181 | 2096k| 2.0 | 132M| 34 | - | 40 |6678 | 0 | 0 | 22 | 566k|5257 | 0.000000e+00 | -- | Inf
221.98/222.01 c 222s| 1050k|165208 | 2116k| 2.0 | 133M| 34 | 5 | 40 |6913 | 40 | 16 | 22 | 572k|5279 | 0.000000e+00 | -- | Inf
224.39/224.41 c 224s| 1060k|166080 | 2136k| 2.0 | 134M| 34 | 5 | 40 |6702 | 40 | 16 | 22 | 577k|5311 | 0.000000e+00 | -- | Inf
226.49/226.58 c 227s| 1070k|167525 | 2157k| 2.0 | 135M| 34 | 5 | 40 |8942 | 40 | 16 | 22 | 583k|5323 | 0.000000e+00 | -- | Inf
229.18/229.23 c 229s| 1080k|168442 | 2176k| 2.0 | 136M| 34 | 5 | 40 |8041 | 40 | 16 | 22 | 589k|5350 | 0.000000e+00 | -- | Inf
231.48/231.56 c 232s| 1090k|169619 | 2195k| 2.0 | 137M| 34 | - | 40 |8407 | 40 | 16 | 22 | 594k|5380 | 0.000000e+00 | -- | Inf
233.98/234.08 c 234s| 1100k|170518 | 2215k| 2.0 | 138M| 34 | 5 | 40 |7683 | 40 | 16 | 22 | 600k|5398 | 0.000000e+00 | -- | Inf
236.48/236.55 c 237s| 1110k|171429 | 2235k| 2.0 | 139M| 34 | 5 | 40 |6480 | 40 | 16 | 22 | 606k|5421 | 0.000000e+00 | -- | Inf
238.78/238.80 c 239s| 1120k|172471 | 2255k| 2.0 | 140M| 34 | - | 40 |7153 | 40 | 16 | 22 | 612k|5458 | 0.000000e+00 | -- | Inf
240.97/241.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.97/241.08 c 241s| 1130k|173615 | 2274k| 2.0 | 141M| 34 | - | 40 |7610 | 0 | 0 | 22 | 617k|5477 | 0.000000e+00 | -- | Inf
243.68/243.71 c 244s| 1140k|174239 | 2295k| 2.0 | 141M| 34 | 5 | 40 |6605 | 40 | 16 | 22 | 623k|5504 | 0.000000e+00 | -- | Inf
246.07/246.19 c 246s| 1150k|175002 | 2315k| 2.0 | 142M| 34 | 5 | 40 |6488 | 40 | 16 | 22 | 629k|5519 | 0.000000e+00 | -- | Inf
248.58/248.65 c 249s| 1160k|175697 | 2335k| 2.0 | 143M| 34 | 5 | 40 |6596 | 40 | 16 | 22 | 635k|5547 | 0.000000e+00 | -- | Inf
250.98/251.08 c 251s| 1170k|176407 | 2355k| 2.0 | 144M| 34 | 5 | 40 |6223 | 40 | 16 | 22 | 641k|5575 | 0.000000e+00 | -- | Inf
253.48/253.51 c 254s| 1180k|177135 | 2375k| 2.0 | 145M| 34 | - | 40 |6640 | 40 | 16 | 22 | 647k|5597 | 0.000000e+00 | -- | Inf
255.68/255.79 c 256s| 1190k|178040 | 2394k| 2.0 | 146M| 34 | 5 | 40 |7584 | 40 | 16 | 22 | 653k|5624 | 0.000000e+00 | -- | Inf
258.18/258.24 c 258s| 1200k|178866 | 2414k| 2.0 | 147M| 34 | - | 40 |6862 | 0 | 0 | 22 | 659k|5642 | 0.000000e+00 | -- | Inf
260.37/260.46 c 260s| 1210k|180024 | 2434k| 2.0 | 148M| 34 | 5 | 40 |7278 | 40 | 16 | 22 | 665k|5665 | 0.000000e+00 | -- | Inf
262.48/262.57 c 263s| 1220k|181694 | 2456k| 2.0 | 150M| 34 | - | 40 |9104 | 0 | 0 | 22 | 670k|5686 | 0.000000e+00 | -- | Inf
264.88/264.90 c 265s| 1230k|183362 | 2476k| 2.0 | 151M| 34 | 5 | 40 |9001 | 40 | 16 | 22 | 676k|5705 | 0.000000e+00 | -- | Inf
267.08/267.17 c 267s| 1240k|184733 | 2496k| 2.0 | 152M| 34 | - | 40 |9675 | 40 | 16 | 22 | 681k|5729 | 0.000000e+00 | -- | Inf
269.49/269.56 c 270s| 1250k|185988 | 2516k| 2.0 | 153M| 34 | - | 40 | 10k| 0 | 0 | 22 | 687k|5748 | 0.000000e+00 | -- | Inf
271.98/272.06 c 272s| 1260k|187132 | 2537k| 2.0 | 154M| 34 | 5 | 40 |8954 | 40 | 16 | 22 | 693k|5769 | 0.000000e+00 | -- | Inf
274.57/274.60 c 275s| 1270k|187964 | 2557k| 2.0 | 155M| 34 | - | 40 |8819 | 40 | 16 | 22 | 699k|5788 | 0.000000e+00 | -- | Inf
277.18/277.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.18/277.23 c 277s| 1280k|188798 | 2577k| 2.0 | 156M| 34 | 5 | 40 |7666 | 40 | 16 | 22 | 705k|5816 | 0.000000e+00 | -- | Inf
279.39/279.49 c 279s| 1290k|189912 | 2597k| 2.0 | 157M| 34 | - | 40 |8105 | 0 | 0 | 22 | 710k|5853 | 0.000000e+00 | -- | Inf
281.98/282.09 c 282s| 1300k|190759 | 2616k| 2.0 | 157M| 34 | 5 | 40 |7183 | 40 | 16 | 22 | 716k|5880 | 0.000000e+00 | -- | Inf
284.37/284.41 c 284s| 1310k|191657 | 2634k| 2.0 | 158M| 34 | - | 40 |7553 | 40 | 16 | 22 | 721k|5895 | 0.000000e+00 | -- | Inf
286.78/286.81 c 287s| 1320k|192528 | 2655k| 2.0 | 159M| 34 | 5 | 40 |7851 | 40 | 16 | 22 | 727k|5915 | 0.000000e+00 | -- | Inf
289.28/289.39 c 289s| 1330k|193281 | 2674k| 2.0 | 160M| 34 | 5 | 40 |6586 | 40 | 16 | 22 | 733k|5938 | 0.000000e+00 | -- | Inf
291.38/291.42 c 291s| 1340k|194749 | 2694k| 2.0 | 162M| 34 | 5 | 40 |9376 | 40 | 16 | 22 | 739k|5963 | 0.000000e+00 | -- | Inf
293.68/293.73 c 294s| 1350k|196109 | 2714k| 2.0 | 163M| 34 | 5 | 40 |9308 | 40 | 16 | 22 | 745k|5979 | 0.000000e+00 | -- | Inf
295.98/296.09 c 296s| 1360k|197316 | 2736k| 2.0 | 164M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 750k|5998 | 0.000000e+00 | -- | Inf
298.67/298.75 c 299s| 1370k|198165 | 2756k| 2.0 | 165M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 756k|6026 | 0.000000e+00 | -- | Inf
301.08/301.13 c 301s| 1380k|199753 | 2777k| 2.0 | 167M| 34 | - | 40 | 11k| 40 | 16 | 22 | 762k|6054 | 0.000000e+00 | -- | Inf
303.78/303.87 c 304s| 1390k|200742 | 2798k| 2.0 | 168M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 768k|6084 | 0.000000e+00 | -- | Inf
306.67/306.80 c 307s| 1400k|201696 | 2817k| 2.0 | 168M| 34 | 5 | 40 |8877 | 40 | 16 | 22 | 774k|6107 | 0.000000e+00 | -- | Inf
309.48/309.55 c 310s| 1410k|202464 | 2838k| 2.0 | 169M| 34 | - | 40 |8385 | 40 | 16 | 22 | 780k|6124 | 0.000000e+00 | -- | Inf
311.87/311.95 c 312s| 1420k|203496 | 2857k| 2.0 | 170M| 34 | 5 | 40 |9105 | 40 | 16 | 22 | 785k|6152 | 0.000000e+00 | -- | Inf
314.48/314.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.48/314.57 c 315s| 1430k|204317 | 2877k| 2.0 | 170M| 34 | - | 40 |7713 | 0 | 0 | 22 | 791k|6168 | 0.000000e+00 | -- | Inf
317.08/317.14 c 317s| 1440k|205192 | 2897k| 2.0 | 171M| 34 | - | 40 |7368 | 40 | 16 | 22 | 797k|6200 | 0.000000e+00 | -- | Inf
319.48/319.52 c 320s| 1450k|206216 | 2917k| 2.0 | 172M| 34 | 5 | 40 |8215 | 40 | 16 | 22 | 803k|6222 | 0.000000e+00 | -- | Inf
321.67/321.79 c 322s| 1460k|207476 | 2937k| 2.0 | 174M| 34 | - | 40 |9074 | 0 | 0 | 22 | 808k|6243 | 0.000000e+00 | -- | Inf
324.38/324.46 c 324s| 1470k|208237 | 2956k| 2.0 | 174M| 34 | 5 | 40 |7536 | 40 | 16 | 22 | 814k|6261 | 0.000000e+00 | -- | Inf
326.78/326.87 c 327s| 1480k|209071 | 2976k| 2.0 | 175M| 34 | 5 | 40 |7597 | 40 | 16 | 22 | 820k|6289 | 0.000000e+00 | -- | Inf
329.38/329.47 c 329s| 1490k|209808 | 2996k| 2.0 | 175M| 34 | 5 | 40 |6508 | 40 | 16 | 22 | 826k|6303 | 0.000000e+00 | -- | Inf
331.87/331.93 c 332s| 1500k|210613 | 3016k| 2.0 | 177M| 34 | - | 40 |7166 | 40 | 16 | 22 | 832k|6317 | 0.000000e+00 | -- | Inf
334.28/334.39 c 334s| 1510k|211387 | 3036k| 2.0 | 178M| 34 | 5 | 40 |8184 | 40 | 16 | 22 | 838k|6342 | 0.000000e+00 | -- | Inf
336.49/336.52 c 337s| 1520k|212868 | 3056k| 2.0 | 179M| 34 | 5 | 40 |9760 | 40 | 16 | 22 | 843k|6354 | 0.000000e+00 | -- | Inf
338.97/339.02 c 339s| 1530k|213680 | 3074k| 2.0 | 180M| 34 | - | 40 |9555 | 0 | 0 | 22 | 849k|6371 | 0.000000e+00 | -- | Inf
341.88/341.98 c 342s| 1540k|214272 | 3094k| 2.0 | 180M| 34 | 5 | 40 |7453 | 40 | 16 | 22 | 855k|6390 | 0.000000e+00 | -- | Inf
344.47/344.59 c 345s| 1550k|214871 | 3115k| 2.0 | 181M| 34 | 5 | 40 |7022 | 40 | 16 | 22 | 861k|6411 | 0.000000e+00 | -- | Inf
346.87/346.96 c 347s| 1560k|215741 | 3134k| 2.0 | 182M| 34 | - | 40 |8394 | 40 | 16 | 22 | 867k|6432 | 0.000000e+00 | -- | Inf
349.48/349.52 c 350s| 1570k|216639 | 3154k| 2.0 | 183M| 34 | - | 40 |7265 | 40 | 16 | 22 | 874k|6452 | 0.000000e+00 | -- | Inf
352.08/352.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.08/352.10 c 352s| 1580k|217389 | 3174k| 2.0 | 184M| 34 | 5 | 40 |8001 | 40 | 16 | 22 | 880k|6472 | 0.000000e+00 | -- | Inf
354.28/354.35 c 354s| 1590k|218422 | 3194k| 2.0 | 185M| 34 | - | 40 | 10k| 40 | 16 | 22 | 886k|6491 | 0.000000e+00 | -- | Inf
356.68/356.75 c 357s| 1600k|219575 | 3213k| 2.0 | 187M| 34 | - | 40 | 11k| 40 | 16 | 22 | 891k|6505 | 0.000000e+00 | -- | Inf
359.28/359.31 c 359s| 1610k|220829 | 3232k| 2.0 | 188M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 896k|6529 | 0.000000e+00 | -- | Inf
361.58/361.66 c 362s| 1620k|222997 | 3253k| 2.0 | 189M| 34 | - | 40 | 12k| 40 | 16 | 22 | 902k|6542 | 0.000000e+00 | -- | Inf
363.98/364.08 c 364s| 1630k|225223 | 3273k| 2.0 | 191M| 34 | 5 | 40 | 13k| 40 | 16 | 22 | 907k|6571 | 0.000000e+00 | -- | Inf
366.68/366.77 c 367s| 1640k|227013 | 3293k| 2.0 | 193M| 34 | - | 40 | 13k| 40 | 16 | 22 | 912k|6587 | 0.000000e+00 | -- | Inf
369.59/369.63 c 370s| 1650k|228619 | 3313k| 2.0 | 194M| 34 | - | 40 | 13k| 40 | 16 | 22 | 917k|6603 | 0.000000e+00 | -- | Inf
372.08/372.15 c 372s| 1660k|230870 | 3334k| 2.0 | 196M| 34 | 5 | 40 | 14k| 40 | 16 | 22 | 922k|6622 | 0.000000e+00 | -- | Inf
374.68/374.74 c 375s| 1670k|233094 | 3355k| 2.0 | 197M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 927k|6640 | 0.000000e+00 | -- | Inf
377.58/377.64 c 378s| 1680k|234755 | 3375k| 2.0 | 199M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 932k|6659 | 0.000000e+00 | -- | Inf
380.58/380.68 c 381s| 1690k|236193 | 3395k| 2.0 | 200M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 938k|6682 | 0.000000e+00 | -- | Inf
384.08/384.15 c 384s| 1700k|237456 | 3415k| 2.0 | 201M| 34 | 5 | 40 | 14k| 40 | 16 | 22 | 943k|6695 | 0.000000e+00 | -- | Inf
387.37/387.46 c 387s| 1710k|238683 | 3435k| 2.0 | 202M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 949k|6711 | 0.000000e+00 | -- | Inf
390.77/390.88 c 391s| 1720k|239990 | 3456k| 2.0 | 203M| 34 | - | 40 | 15k| 40 | 16 | 22 | 955k|6727 | 0.000000e+00 | -- | Inf
394.28/394.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.28/394.39 c 394s| 1730k|240955 | 3476k| 2.0 | 204M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 961k|6751 | 0.000000e+00 | -- | Inf
397.68/397.76 c 398s| 1740k|242116 | 3496k| 2.0 | 205M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 966k|6768 | 0.000000e+00 | -- | Inf
401.67/401.71 c 402s| 1750k|242791 | 3517k| 2.0 | 206M| 34 | - | 40 | 15k| 40 | 16 | 22 | 972k|6794 | 0.000000e+00 | -- | Inf
405.08/405.16 c 405s| 1760k|243803 | 3537k| 2.0 | 207M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 978k|6811 | 0.000000e+00 | -- | Inf
408.78/408.80 c 409s| 1770k|244670 | 3557k| 2.0 | 208M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 984k|6836 | 0.000000e+00 | -- | Inf
412.49/412.51 c 413s| 1780k|245452 | 3578k| 2.0 | 209M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 990k|6850 | 0.000000e+00 | -- | Inf
415.98/416.02 c 416s| 1790k|246321 | 3599k| 2.0 | 210M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 996k|6882 | 0.000000e+00 | -- | Inf
419.68/419.74 c 420s| 1800k|247286 | 3619k| 2.0 | 211M| 34 | 5 | 40 | 16k| 40 | 16 | 22 |1002k|6908 | 0.000000e+00 | -- | Inf
423.49/423.54 c 424s| 1810k|248259 | 3639k| 2.0 | 211M| 34 | 5 | 40 | 12k| 40 | 16 | 22 |1008k|6922 | 0.000000e+00 | -- | Inf
426.88/426.91 c 427s| 1820k|249008 | 3659k| 2.0 | 211M| 34 | 5 | 40 |8455 | 40 | 16 | 22 |1014k|6934 | 0.000000e+00 | -- | Inf
429.78/429.85 c 430s| 1830k|249582 | 3679k| 2.0 | 211M| 34 | - | 40 |6861 | 0 | 0 | 22 |1020k|6948 | 0.000000e+00 | -- | Inf
432.28/432.32 c 432s| 1840k|250543 | 3699k| 2.0 | 212M| 34 | 5 | 40 |7311 | 40 | 16 | 22 |1026k|6965 | 0.000000e+00 | -- | Inf
434.58/434.64 c 435s| 1850k|251618 | 3718k| 2.0 | 214M| 34 | 5 | 40 |9199 | 40 | 16 | 22 |1031k|6990 | 0.000000e+00 | -- | Inf
437.18/437.27 c 437s| 1860k|252615 | 3737k| 2.0 | 215M| 34 | - | 40 | 10k| 40 | 16 | 22 |1037k|7005 | 0.000000e+00 | -- | Inf
440.18/440.21 c 440s| 1870k|253510 | 3757k| 2.0 | 215M| 34 | 5 | 40 |7817 | 40 | 16 | 22 |1043k|7024 | 0.000000e+00 | -- | Inf
442.98/443.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.98/443.00 c 443s| 1880k|254061 | 3776k| 2.0 | 216M| 34 | - | 40 |7160 | 40 | 16 | 22 |1049k|7046 | 0.000000e+00 | -- | Inf
445.39/445.44 c 445s| 1890k|255036 | 3797k| 2.0 | 217M| 34 | 5 | 40 |8818 | 40 | 16 | 22 |1055k|7075 | 0.000000e+00 | -- | Inf
448.37/448.41 c 448s| 1900k|255558 | 3816k| 2.0 | 217M| 34 | 5 | 40 |7260 | 40 | 16 | 22 |1061k|7084 | 0.000000e+00 | -- | Inf
451.08/451.12 c 451s| 1910k|256163 | 3836k| 2.0 | 218M| 34 | - | 40 |7058 | 0 | 0 | 22 |1067k|7104 | 0.000000e+00 | -- | Inf
453.88/453.92 c 454s| 1920k|256746 | 3856k| 2.0 | 219M| 34 | 5 | 40 |6933 | 40 | 16 | 22 |1073k|7122 | 0.000000e+00 | -- | Inf
456.58/456.69 c 457s| 1930k|257286 | 3876k| 2.0 | 219M| 34 | - | 40 |7157 | 0 | 0 | 22 |1079k|7145 | 0.000000e+00 | -- | Inf
459.48/459.57 c 460s| 1940k|257850 | 3896k| 2.0 | 220M| 34 | 5 | 40 |7331 | 40 | 16 | 22 |1085k|7167 | 0.000000e+00 | -- | Inf
462.08/462.10 c 462s| 1950k|258794 | 3916k| 2.0 | 221M| 34 | 5 | 40 |7921 | 40 | 16 | 22 |1091k|7188 | 0.000000e+00 | -- | Inf
464.58/464.63 c 465s| 1960k|259793 | 3936k| 2.0 | 222M| 34 | - | 40 |8644 | 0 | 0 | 22 |1097k|7200 | 0.000000e+00 | -- | Inf
466.98/467.04 c 467s| 1970k|261097 | 3955k| 2.0 | 224M| 34 | 5 | 40 | 10k| 40 | 16 | 22 |1103k|7212 | 0.000000e+00 | -- | Inf
469.98/470.07 c 470s| 1980k|261753 | 3975k| 2.0 | 224M| 34 | - | 40 |8767 | 0 | 0 | 22 |1109k|7235 | 0.000000e+00 | -- | Inf
472.99/473.02 c 473s| 1990k|262207 | 3995k| 2.0 | 225M| 34 | 5 | 40 |7233 | 40 | 16 | 22 |1115k|7263 | 0.000000e+00 | -- | Inf
475.68/475.78 c 476s| 2000k|262764 | 4015k| 2.0 | 225M| 34 | - | 40 |6909 | 40 | 16 | 22 |1121k|7277 | 0.000000e+00 | -- | Inf
478.28/478.37 c 478s| 2010k|263393 | 4034k| 2.0 | 226M| 35 | 5 | 40 |7398 | 40 | 16 | 22 |1127k|7298 | 0.000000e+00 | -- | Inf
481.19/481.22 c 481s| 2020k|263963 | 4054k| 2.0 | 227M| 35 | 5 | 40 |7310 | 40 | 16 | 22 |1133k|7313 | 0.000000e+00 | -- | Inf
483.78/483.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.78/483.87 c 484s| 2030k|264698 | 4074k| 2.0 | 227M| 35 | 5 | 40 |6940 | 40 | 16 | 22 |1139k|7326 | 0.000000e+00 | -- | Inf
486.18/486.28 c 486s| 2040k|265482 | 4094k| 2.0 | 229M| 35 | 5 | 40 |8187 | 40 | 16 | 22 |1145k|7352 | 0.000000e+00 | -- | Inf
488.88/488.98 c 489s| 2050k|266004 | 4114k| 2.0 | 229M| 35 | - | 40 |6237 | 40 | 16 | 22 |1151k|7376 | 0.000000e+00 | -- | Inf
491.38/491.48 c 491s| 2060k|266726 | 4134k| 2.0 | 230M| 35 | 5 | 40 |6902 | 40 | 16 | 22 |1157k|7390 | 0.000000e+00 | -- | Inf
494.08/494.11 c 494s| 2070k|267361 | 4154k| 2.0 | 230M| 35 | - | 40 |7055 | 0 | 0 | 22 |1163k|7410 | 0.000000e+00 | -- | Inf
496.78/496.84 c 497s| 2080k|267920 | 4174k| 2.0 | 231M| 35 | 5 | 40 |6939 | 40 | 16 | 22 |1170k|7430 | 0.000000e+00 | -- | Inf
499.48/499.58 c 500s| 2090k|268424 | 4194k| 2.0 | 232M| 35 | 5 | 40 |6886 | 40 | 16 | 22 |1176k|7440 | 0.000000e+00 | -- | Inf
502.39/502.45 c 502s| 2100k|268872 | 4214k| 2.0 | 232M| 35 | 5 | 40 |6594 | 40 | 16 | 22 |1182k|7459 | 0.000000e+00 | -- | Inf
505.18/505.20 c 505s| 2110k|269326 | 4234k| 2.0 | 233M| 35 | 5 | 40 |7092 | 40 | 16 | 22 |1188k|7476 | 0.000000e+00 | -- | Inf
507.58/507.64 c 508s| 2120k|270630 | 4253k| 2.0 | 234M| 35 | 5 | 40 |7397 | 40 | 16 | 22 |1193k|7488 | 0.000000e+00 | -- | Inf
509.58/509.68 c 510s| 2130k|273071 | 4274k| 2.0 | 236M| 35 | 5 | 40 |9305 | 40 | 16 | 22 |1199k|7508 | 0.000000e+00 | -- | Inf
511.98/512.04 c 512s| 2140k|274775 | 4294k| 2.0 | 238M| 35 | 5 | 40 |9939 | 40 | 16 | 22 |1204k|7522 | 0.000000e+00 | -- | Inf
514.59/514.60 c 515s| 2150k|276265 | 4313k| 2.0 | 239M| 35 | - | 40 | 10k| 0 | 0 | 22 |1209k|7530 | 0.000000e+00 | -- | Inf
517.18/517.24 c 517s| 2160k|277551 | 4333k| 2.0 | 241M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1215k|7547 | 0.000000e+00 | -- | Inf
519.98/520.09 c 520s| 2170k|278531 | 4352k| 2.0 | 242M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1221k|7562 | 0.000000e+00 | -- | Inf
522.98/523.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.98/523.04 c 523s| 2180k|279385 | 4371k| 2.0 | 242M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1227k|7585 | 0.000000e+00 | -- | Inf
525.79/525.82 c 526s| 2190k|280480 | 4391k| 2.0 | 244M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1232k|7606 | 0.000000e+00 | -- | Inf
528.58/528.67 c 529s| 2200k|281394 | 4410k| 2.0 | 245M| 35 | - | 40 | 11k| 0 | 0 | 22 |1238k|7628 | 0.000000e+00 | -- | Inf
531.78/531.84 c 532s| 2210k|281970 | 4429k| 2.0 | 245M| 35 | - | 40 | 10k| 40 | 16 | 22 |1244k|7646 | 0.000000e+00 | -- | Inf
534.59/534.66 c 535s| 2220k|282807 | 4447k| 2.0 | 246M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1250k|7660 | 0.000000e+00 | -- | Inf
537.79/537.88 c 538s| 2230k|283421 | 4465k| 2.0 | 247M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1256k|7686 | 0.000000e+00 | -- | Inf
541.09/541.18 c 541s| 2240k|283809 | 4484k| 2.0 | 247M| 35 | - | 40 | 10k| 0 | 0 | 22 |1262k|7696 | 0.000000e+00 | -- | Inf
544.28/544.39 c 544s| 2250k|284428 | 4504k| 2.0 | 248M| 35 | - | 40 |9618 | 0 | 0 | 22 |1268k|7716 | 0.000000e+00 | -- | Inf
547.38/547.46 c 547s| 2260k|285032 | 4525k| 2.0 | 248M| 35 | 5 | 40 |9312 | 40 | 16 | 22 |1274k|7735 | 0.000000e+00 | -- | Inf
549.88/550.00 c 550s| 2270k|286186 | 4545k| 2.0 | 250M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1280k|7762 | 0.000000e+00 | -- | Inf
552.78/552.83 c 553s| 2280k|287129 | 4565k| 2.0 | 250M| 35 | - | 40 | 10k| 40 | 16 | 22 |1286k|7772 | 0.000000e+00 | -- | Inf
556.09/556.14 c 556s| 2290k|287686 | 4584k| 2.0 | 251M| 35 | 5 | 40 |8484 | 40 | 16 | 22 |1292k|7797 | 0.000000e+00 | -- | Inf
558.38/558.48 c 558s| 2300k|288641 | 4605k| 2.0 | 253M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1298k|7807 | 0.000000e+00 | -- | Inf
561.48/561.50 c 561s| 2310k|289340 | 4626k| 2.0 | 253M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1305k|7822 | 0.000000e+00 | -- | Inf
564.98/565.06 c 565s| 2320k|289682 | 4646k| 2.0 | 253M| 35 | 5 | 40 |8542 | 40 | 16 | 22 |1312k|7836 | 0.000000e+00 | -- | Inf
567.58/567.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.58/567.68 c 568s| 2330k|290625 | 4666k| 2.0 | 254M| 35 | - | 40 |9317 | 40 | 16 | 22 |1317k|7854 | 0.000000e+00 | -- | Inf
570.08/570.13 c 570s| 2340k|291691 | 4686k| 2.0 | 256M| 35 | - | 40 | 10k| 0 | 0 | 22 |1323k|7881 | 0.000000e+00 | -- | Inf
573.09/573.18 c 573s| 2350k|292237 | 4706k| 2.0 | 256M| 35 | - | 40 |9462 | 40 | 16 | 22 |1329k|7893 | 0.000000e+00 | -- | Inf
575.48/575.55 c 576s| 2360k|293623 | 4727k| 2.0 | 258M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1334k|7911 | 0.000000e+00 | -- | Inf
578.28/578.30 c 578s| 2370k|294453 | 4748k| 2.0 | 259M| 35 | - | 40 | 12k| 0 | 0 | 22 |1341k|7921 | 0.000000e+00 | -- | Inf
581.59/581.64 c 582s| 2380k|294765 | 4768k| 2.0 | 259M| 35 | - | 40 | 11k| 0 | 0 | 22 |1347k|7942 | 0.000000e+00 | -- | Inf
584.48/584.59 c 585s| 2390k|295720 | 4788k| 2.0 | 260M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1353k|7958 | 0.000000e+00 | -- | Inf
587.78/587.82 c 588s| 2400k|296415 | 4809k| 2.0 | 261M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1359k|7979 | 0.000000e+00 | -- | Inf
591.09/591.11 c 591s| 2410k|296784 | 4828k| 2.0 | 261M| 35 | - | 40 |8471 | 40 | 16 | 22 |1365k|7998 | 0.000000e+00 | -- | Inf
593.28/593.35 c 593s| 2420k|298501 | 4848k| 2.0 | 263M| 35 | - | 40 | 11k| 40 | 16 | 22 |1371k|8016 | 0.000000e+00 | -- | Inf
595.99/596.00 c 596s| 2430k|299701 | 4869k| 2.0 | 264M| 35 | - | 40 | 11k| 40 | 16 | 22 |1376k|8028 | 0.000000e+00 | -- | Inf
599.08/599.13 c 599s| 2440k|300159 | 4889k| 2.0 | 264M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1382k|8046 | 0.000000e+00 | -- | Inf
602.08/602.13 c 602s| 2450k|300827 | 4909k| 2.0 | 265M| 35 | - | 40 |9312 | 0 | 0 | 22 |1388k|8054 | 0.000000e+00 | -- | Inf
604.78/604.87 c 605s| 2460k|301640 | 4929k| 2.0 | 266M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1395k|8076 | 0.000000e+00 | -- | Inf
607.39/607.48 c 607s| 2470k|302698 | 4948k| 2.0 | 267M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1400k|8087 | 0.000000e+00 | -- | Inf
610.78/610.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.78/610.85 c 611s| 2480k|303269 | 4968k| 2.0 | 267M| 35 | - | 40 |8575 | 0 | 0 | 22 |1406k|8102 | 0.000000e+00 | -- | Inf
613.69/613.80 c 614s| 2490k|303833 | 4987k| 2.0 | 267M| 35 | - | 40 |7427 | 0 | 0 | 22 |1412k|8113 | 0.000000e+00 | -- | Inf
616.58/616.63 c 617s| 2500k|304351 | 5008k| 2.0 | 268M| 35 | 5 | 40 |7413 | 40 | 16 | 22 |1418k|8133 | 0.000000e+00 | -- | Inf
618.79/618.87 c 619s| 2510k|305752 | 5028k| 2.0 | 270M| 35 | - | 40 |9797 | 0 | 0 | 22 |1424k|8142 | 0.000000e+00 | -- | Inf
621.39/621.48 c 621s| 2520k|306401 | 5047k| 2.0 | 271M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1430k|8158 | 0.000000e+00 | -- | Inf
624.59/624.62 c 625s| 2530k|307098 | 5067k| 2.0 | 271M| 35 | - | 40 |8080 | 40 | 16 | 22 |1436k|8176 | 0.000000e+00 | -- | Inf
627.58/627.62 c 628s| 2540k|307385 | 5086k| 2.0 | 271M| 35 | 5 | 40 |6360 | 40 | 16 | 22 |1442k|8187 | 0.000000e+00 | -- | Inf
629.98/630.00 c 630s| 2550k|308183 | 5107k| 2.0 | 272M| 35 | - | 40 |8656 | 40 | 16 | 22 |1449k|8201 | 0.000000e+00 | -- | Inf
632.98/633.07 c 633s| 2560k|308627 | 5127k| 2.0 | 273M| 35 | - | 40 |7554 | 40 | 16 | 22 |1455k|8219 | 0.000000e+00 | -- | Inf
635.58/635.69 c 636s| 2570k|309652 | 5147k| 2.0 | 274M| 35 | 5 | 40 |7952 | 40 | 16 | 22 |1460k|8233 | 0.000000e+00 | -- | Inf
638.38/638.40 c 638s| 2580k|310215 | 5167k| 2.0 | 274M| 35 | 5 | 40 |7683 | 40 | 16 | 22 |1467k|8246 | 0.000000e+00 | -- | Inf
641.08/641.14 c 641s| 2590k|310824 | 5187k| 2.0 | 275M| 35 | - | 40 |8110 | 0 | 0 | 22 |1473k|8271 | 0.000000e+00 | -- | Inf
643.88/643.98 c 644s| 2600k|311469 | 5206k| 2.0 | 276M| 35 | 5 | 40 |7582 | 40 | 16 | 22 |1479k|8282 | 0.000000e+00 | -- | Inf
646.59/646.66 c 647s| 2610k|312061 | 5227k| 2.0 | 277M| 35 | - | 40 |8551 | 0 | 0 | 22 |1485k|8299 | 0.000000e+00 | -- | Inf
649.38/649.49 c 649s| 2620k|312693 | 5246k| 2.0 | 278M| 35 | 5 | 40 |8319 | 40 | 16 | 22 |1491k|8321 | 0.000000e+00 | -- | Inf
651.88/651.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.88/651.94 c 652s| 2630k|313610 | 5267k| 2.0 | 279M| 35 | - | 40 | 11k| 40 | 16 | 22 |1497k|8340 | 0.000000e+00 | -- | Inf
655.18/655.23 c 655s| 2640k|314121 | 5287k| 2.0 | 279M| 35 | - | 40 |8781 | 40 | 16 | 22 |1503k|8361 | 0.000000e+00 | -- | Inf
658.28/658.37 c 658s| 2650k|314385 | 5308k| 2.0 | 280M| 35 | 5 | 40 |7661 | 40 | 16 | 22 |1510k|8372 | 0.000000e+00 | -- | Inf
661.09/661.12 c 661s| 2660k|315071 | 5328k| 2.0 | 281M| 35 | 5 | 40 |8640 | 40 | 16 | 22 |1516k|8388 | 0.000000e+00 | -- | Inf
664.08/664.18 c 664s| 2670k|315693 | 5348k| 2.0 | 281M| 35 | - | 40 |8108 | 40 | 16 | 22 |1522k|8410 | 0.000000e+00 | -- | Inf
666.79/666.83 c 667s| 2680k|316492 | 5368k| 2.0 | 282M| 35 | - | 40 |8151 | 40 | 16 | 22 |1528k|8421 | 0.000000e+00 | -- | Inf
669.48/669.56 c 670s| 2690k|317188 | 5388k| 2.0 | 283M| 35 | 5 | 40 |9233 | 40 | 16 | 22 |1534k|8436 | 0.000000e+00 | -- | Inf
672.59/672.68 c 673s| 2700k|317604 | 5407k| 2.0 | 283M| 35 | 5 | 40 |8069 | 40 | 16 | 22 |1541k|8454 | 0.000000e+00 | -- | Inf
675.49/675.56 c 676s| 2710k|318156 | 5427k| 2.0 | 284M| 35 | 5 | 40 |7652 | 40 | 16 | 22 |1547k|8471 | 0.000000e+00 | -- | Inf
678.29/678.33 c 678s| 2720k|318704 | 5446k| 2.0 | 285M| 35 | - | 40 |7776 | 40 | 16 | 22 |1553k|8492 | 0.000000e+00 | -- | Inf
681.19/681.21 c 681s| 2730k|319182 | 5466k| 2.0 | 285M| 35 | 5 | 40 |7299 | 40 | 16 | 22 |1559k|8507 | 0.000000e+00 | -- | Inf
684.09/684.16 c 684s| 2740k|319582 | 5486k| 2.0 | 286M| 35 | 5 | 40 |7370 | 40 | 16 | 22 |1565k|8527 | 0.000000e+00 | -- | Inf
686.99/687.03 c 687s| 2750k|319972 | 5506k| 2.0 | 286M| 35 | - | 40 |7208 | 0 | 0 | 22 |1572k|8539 | 0.000000e+00 | -- | Inf
689.38/689.46 c 689s| 2760k|320744 | 5526k| 2.0 | 288M| 35 | 5 | 40 |8965 | 40 | 16 | 22 |1578k|8557 | 0.000000e+00 | -- | Inf
691.69/691.71 c 692s| 2770k|322652 | 5547k| 2.0 | 289M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1583k|8577 | 0.000000e+00 | -- | Inf
694.09/694.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
694.09/694.18 c 694s| 2780k|324183 | 5568k| 2.0 | 291M| 35 | - | 40 | 11k| 40 | 16 | 22 |1589k|8602 | 0.000000e+00 | -- | Inf
696.79/696.82 c 697s| 2790k|325524 | 5588k| 2.0 | 292M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1595k|8626 | 0.000000e+00 | -- | Inf
699.60/699.67 c 700s| 2800k|326341 | 5609k| 2.0 | 293M| 35 | - | 40 | 11k| 40 | 16 | 22 |1601k|8642 | 0.000000e+00 | -- | Inf
702.49/702.50 c 703s| 2810k|327126 | 5629k| 2.0 | 294M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1607k|8651 | 0.000000e+00 | -- | Inf
705.59/705.68 c 706s| 2820k|327488 | 5650k| 2.0 | 295M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1613k|8669 | 0.000000e+00 | -- | Inf
708.79/708.89 c 709s| 2830k|328100 | 5669k| 2.0 | 294M| 35 | 5 | 40 |8602 | 40 | 16 | 22 |1619k|8674 | 0.000000e+00 | -- | Inf
711.08/711.11 c 711s| 2840k|330037 | 5689k| 2.0 | 297M| 35 | - | 40 | 11k| 0 | 0 | 22 |1624k|8695 | 0.000000e+00 | -- | Inf
713.89/713.95 c 714s| 2850k|331069 | 5710k| 2.0 | 297M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1630k|8713 | 0.000000e+00 | -- | Inf
716.68/716.76 c 717s| 2860k|331877 | 5730k| 2.0 | 299M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1636k|8743 | 0.000000e+00 | -- | Inf
720.18/720.26 c 720s| 2870k|332270 | 5750k| 2.0 | 298M| 35 | - | 40 |8386 | 40 | 16 | 22 |1642k|8764 | 0.000000e+00 | -- | Inf
723.39/723.42 c 723s| 2880k|332604 | 5770k| 2.0 | 298M| 35 | - | 40 |7292 | 40 | 16 | 22 |1648k|8787 | 0.000000e+00 | -- | Inf
726.39/726.45 c 726s| 2890k|332749 | 5790k| 2.0 | 299M| 35 | - | 40 |6969 | 40 | 16 | 22 |1655k|8803 | 0.000000e+00 | -- | Inf
728.89/728.96 c 729s| 2900k|333491 | 5809k| 2.0 | 300M| 35 | 5 | 40 |9059 | 40 | 16 | 22 |1660k|8818 | 0.000000e+00 | -- | Inf
731.78/731.87 c 732s| 2910k|334204 | 5830k| 2.0 | 301M| 35 | 5 | 40 |8600 | 40 | 16 | 22 |1667k|8831 | 0.000000e+00 | -- | Inf
734.58/734.60 c 735s| 2920k|335262 | 5850k| 2.0 | 302M| 35 | - | 40 |8644 | 40 | 16 | 22 |1673k|8842 | 0.000000e+00 | -- | Inf
736.99/737.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.99/737.07 c 737s| 2930k|336411 | 5870k| 2.0 | 303M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1679k|8863 | 0.000000e+00 | -- | Inf
739.98/740.09 c 740s| 2940k|336957 | 5890k| 2.0 | 304M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1685k|8882 | 0.000000e+00 | -- | Inf
743.19/743.20 c 743s| 2950k|337524 | 5909k| 2.0 | 304M| 35 | - | 40 |8371 | 40 | 16 | 22 |1691k|8889 | 0.000000e+00 | -- | Inf
745.89/745.96 c 746s| 2960k|338262 | 5929k| 2.0 | 305M| 35 | 5 | 40 |9086 | 40 | 16 | 22 |1697k|8903 | 0.000000e+00 | -- | Inf
748.19/748.28 c 748s| 2970k|339880 | 5948k| 2.0 | 307M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1702k|8912 | 0.000000e+00 | -- | Inf
750.78/750.88 c 751s| 2980k|341039 | 5967k| 2.0 | 308M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1707k|8922 | 0.000000e+00 | -- | Inf
753.89/753.93 c 754s| 2990k|341567 | 5986k| 2.0 | 308M| 35 | - | 40 | 10k| 40 | 16 | 22 |1712k|8939 | 0.000000e+00 | -- | Inf
756.80/756.87 c 757s| 3000k|342286 | 6006k| 2.0 | 309M| 35 | - | 40 | 10k| 40 | 16 | 22 |1718k|8960 | 0.000000e+00 | -- | Inf
760.28/760.32 c 760s| 3010k|342626 | 6026k| 2.0 | 309M| 35 | 5 | 40 |9170 | 40 | 16 | 22 |1725k|8969 | 0.000000e+00 | -- | Inf
762.99/763.06 c 763s| 3020k|343316 | 6045k| 2.0 | 310M| 35 | - | 40 |9791 | 0 | 0 | 22 |1730k|8982 | 0.000000e+00 | -- | Inf
766.19/766.26 c 766s| 3030k|343657 | 6064k| 2.0 | 310M| 35 | - | 40 |7628 | 40 | 16 | 22 |1736k|8998 | 0.000000e+00 | -- | Inf
768.98/769.08 c 769s| 3040k|344258 | 6084k| 2.0 | 311M| 35 | - | 40 |9010 | 0 | 0 | 22 |1743k|9005 | 0.000000e+00 | -- | Inf
771.38/771.45 c 771s| 3050k|345931 | 6105k| 2.0 | 313M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1748k|9023 | 0.000000e+00 | -- | Inf
774.09/774.11 c 774s| 3060k|346918 | 6125k| 2.0 | 314M| 35 | - | 40 | 11k| 0 | 0 | 22 |1754k|9034 | 0.000000e+00 | -- | Inf
777.09/777.10 c 777s| 3070k|347654 | 6144k| 2.0 | 315M| 35 | - | 40 | 11k| 40 | 16 | 22 |1760k|9047 | 0.000000e+00 | -- | Inf
780.49/780.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.49/780.52 c 781s| 3080k|348127 | 6164k| 2.0 | 315M| 35 | - | 40 |9280 | 40 | 16 | 22 |1767k|9062 | 0.000000e+00 | -- | Inf
783.59/783.63 c 784s| 3090k|348661 | 6184k| 2.0 | 316M| 35 | - | 40 |8657 | 0 | 0 | 22 |1773k|9078 | 0.000000e+00 | -- | Inf
786.28/786.34 c 786s| 3100k|349593 | 6203k| 2.0 | 317M| 35 | 5 | 40 |9230 | 40 | 16 | 22 |1779k|9087 | 0.000000e+00 | -- | Inf
789.29/789.36 c 789s| 3110k|350040 | 6223k| 2.0 | 317M| 35 | - | 40 |9672 | 40 | 16 | 22 |1785k|9105 | 0.000000e+00 | -- | Inf
792.29/792.37 c 792s| 3120k|350572 | 6243k| 2.0 | 318M| 35 | - | 40 |9911 | 40 | 16 | 22 |1792k|9128 | 0.000000e+00 | -- | Inf
795.49/795.51 c 796s| 3130k|351075 | 6262k| 2.0 | 319M| 35 | - | 40 |8828 | 0 | 0 | 22 |1797k|9141 | 0.000000e+00 | -- | Inf
798.28/798.32 c 798s| 3140k|351819 | 6283k| 2.0 | 319M| 35 | - | 40 |8807 | 0 | 0 | 22 |1804k|9158 | 0.000000e+00 | -- | Inf
800.59/800.70 c 801s| 3150k|353151 | 6304k| 2.0 | 321M| 35 | - | 40 | 10k| 40 | 16 | 22 |1809k|9180 | 0.000000e+00 | -- | Inf
803.49/803.57 c 804s| 3160k|353635 | 6324k| 2.0 | 321M| 35 | - | 40 |9889 | 40 | 16 | 22 |1816k|9192 | 0.000000e+00 | -- | Inf
806.69/806.74 c 807s| 3170k|354209 | 6343k| 2.0 | 322M| 35 | 5 | 40 |8746 | 40 | 16 | 22 |1822k|9206 | 0.000000e+00 | -- | Inf
809.29/809.34 c 809s| 3180k|355182 | 6363k| 2.0 | 323M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1828k|9222 | 0.000000e+00 | -- | Inf
812.79/812.85 c 813s| 3190k|355403 | 6383k| 2.0 | 323M| 35 | 5 | 40 |7736 | 40 | 16 | 22 |1834k|9235 | 0.000000e+00 | -- | Inf
815.78/815.89 c 816s| 3200k|355771 | 6402k| 2.0 | 324M| 35 | - | 40 |8286 | 40 | 16 | 22 |1840k|9250 | 0.000000e+00 | -- | Inf
818.79/818.81 c 819s| 3210k|356418 | 6422k| 2.0 | 325M| 35 | - | 40 |9186 | 40 | 16 | 22 |1846k|9261 | 0.000000e+00 | -- | Inf
821.89/821.97 c 822s| 3220k|356816 | 6442k| 2.0 | 325M| 35 | 5 | 40 |7876 | 40 | 16 | 22 |1852k|9271 | 0.000000e+00 | -- | Inf
824.78/824.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.78/824.85 c 825s| 3230k|357441 | 6461k| 2.0 | 326M| 35 | - | 40 |8165 | 40 | 16 | 22 |1858k|9285 | 0.000000e+00 | -- | Inf
827.89/827.97 c 828s| 3240k|357866 | 6481k| 2.0 | 326M| 35 | - | 40 |8060 | 40 | 16 | 22 |1864k|9299 | 0.000000e+00 | -- | Inf
830.79/830.85 c 831s| 3250k|358321 | 6500k| 2.0 | 327M| 35 | - | 40 |8698 | 0 | 0 | 22 |1870k|9315 | 0.000000e+00 | -- | Inf
833.70/833.80 c 834s| 3260k|358899 | 6520k| 2.0 | 328M| 35 | 5 | 40 |7872 | 40 | 16 | 22 |1877k|9327 | 0.000000e+00 | -- | Inf
836.29/836.38 c 836s| 3270k|359795 | 6541k| 2.0 | 329M| 35 | 5 | 40 |9645 | 40 | 16 | 22 |1883k|9347 | 0.000000e+00 | -- | Inf
839.49/839.51 c 840s| 3280k|360194 | 6561k| 2.0 | 329M| 35 | - | 40 |7473 | 40 | 16 | 22 |1889k|9360 | 0.000000e+00 | -- | Inf
842.39/842.47 c 842s| 3290k|360568 | 6581k| 2.0 | 330M| 35 | 5 | 40 |7182 | 40 | 16 | 22 |1895k|9378 | 0.000000e+00 | -- | Inf
845.39/845.43 c 845s| 3300k|360898 | 6602k| 2.0 | 330M| 35 | 5 | 40 |7087 | 40 | 16 | 22 |1902k|9390 | 0.000000e+00 | -- | Inf
848.09/848.19 c 848s| 3310k|361335 | 6621k| 2.0 | 331M| 35 | 5 | 40 |7650 | 40 | 16 | 22 |1908k|9406 | 0.000000e+00 | -- | Inf
850.49/850.58 c 851s| 3320k|362258 | 6642k| 2.0 | 332M| 35 | 5 | 40 |9661 | 40 | 16 | 22 |1914k|9411 | 0.000000e+00 | -- | Inf
853.60/853.61 c 854s| 3330k|362794 | 6661k| 2.0 | 332M| 35 | 5 | 40 |8249 | 40 | 16 | 22 |1919k|9427 | 0.000000e+00 | -- | Inf
856.69/856.72 c 857s| 3340k|363122 | 6682k| 2.0 | 333M| 35 | - | 40 |6924 | 40 | 16 | 22 |1926k|9444 | 0.000000e+00 | -- | Inf
859.59/859.65 c 860s| 3350k|363398 | 6702k| 2.0 | 333M| 35 | 5 | 40 |6529 | 40 | 16 | 22 |1933k|9461 | 0.000000e+00 | -- | Inf
862.59/862.62 c 863s| 3360k|363594 | 6721k| 2.0 | 333M| 35 | 5 | 40 |5942 | 40 | 16 | 22 |1939k|9475 | 0.000000e+00 | -- | Inf
865.19/865.23 c 865s| 3370k|364050 | 6741k| 2.0 | 334M| 35 | - | 40 |7006 | 40 | 16 | 22 |1945k|9491 | 0.000000e+00 | -- | Inf
867.90/867.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.90/867.96 c 868s| 3380k|364558 | 6760k| 2.0 | 335M| 35 | 5 | 40 |6711 | 40 | 16 | 22 |1951k|9510 | 0.000000e+00 | -- | Inf
870.59/870.66 c 871s| 3390k|365108 | 6780k| 2.0 | 336M| 35 | 5 | 40 |7298 | 40 | 16 | 22 |1957k|9525 | 0.000000e+00 | -- | Inf
873.49/873.55 c 874s| 3400k|365473 | 6800k| 2.0 | 336M| 35 | - | 40 |7083 | 40 | 16 | 22 |1964k|9531 | 0.000000e+00 | -- | Inf
876.29/876.33 c 876s| 3410k|366038 | 6820k| 2.0 | 337M| 35 | 5 | 40 |8176 | 40 | 16 | 22 |1970k|9549 | 0.000000e+00 | -- | Inf
879.09/879.15 c 879s| 3420k|366645 | 6839k| 2.0 | 338M| 35 | - | 40 |7773 | 40 | 16 | 22 |1975k|9567 | 0.000000e+00 | -- | Inf
881.89/881.96 c 882s| 3430k|367139 | 6859k| 2.0 | 339M| 35 | 5 | 40 |8165 | 40 | 16 | 22 |1981k|9581 | 0.000000e+00 | -- | Inf
884.69/884.72 c 885s| 3440k|367648 | 6878k| 2.0 | 339M| 35 | - | 40 |8312 | 40 | 16 | 22 |1987k|9595 | 0.000000e+00 | -- | Inf
887.70/887.79 c 888s| 3450k|367916 | 6898k| 2.0 | 339M| 35 | - | 40 |7152 | 40 | 16 | 22 |1994k|9607 | 0.000000e+00 | -- | Inf
890.49/890.59 c 891s| 3460k|368387 | 6918k| 2.0 | 340M| 35 | 5 | 40 |6780 | 40 | 16 | 22 |2000k|9617 | 0.000000e+00 | -- | Inf
893.29/893.31 c 893s| 3470k|368965 | 6937k| 2.0 | 341M| 35 | - | 40 |6805 | 0 | 0 | 22 |2006k|9632 | 0.000000e+00 | -- | Inf
896.09/896.13 c 896s| 3480k|369356 | 6957k| 2.0 | 341M| 35 | 5 | 40 |7164 | 40 | 16 | 22 |2012k|9649 | 0.000000e+00 | -- | Inf
898.70/898.79 c 899s| 3490k|369935 | 6978k| 2.0 | 343M| 35 | 5 | 40 |8539 | 40 | 16 | 22 |2018k|9664 | 0.000000e+00 | -- | Inf
901.69/901.79 c 902s| 3500k|370382 | 6997k| 2.0 | 343M| 35 | - | 40 |7954 | 0 | 0 | 22 |2024k|9673 | 0.000000e+00 | -- | Inf
904.79/904.87 c 905s| 3510k|370717 | 7017k| 2.0 | 343M| 35 | - | 40 |7582 | 0 | 0 | 22 |2031k|9681 | 0.000000e+00 | -- | Inf
907.49/907.56 c 908s| 3520k|371192 | 7036k| 2.0 | 344M| 35 | 5 | 40 |8898 | 40 | 16 | 22 |2037k|9690 | 0.000000e+00 | -- | Inf
910.59/910.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.59/910.66 c 911s| 3530k|371570 | 7056k| 2.0 | 345M| 35 | 5 | 40 |7552 | 40 | 16 | 22 |2043k|9704 | 0.000000e+00 | -- | Inf
912.99/913.01 c 913s| 3540k|372604 | 7076k| 2.0 | 346M| 35 | - | 40 | 10k| 0 | 0 | 22 |2048k|9721 | 0.000000e+00 | -- | Inf
915.69/915.74 c 916s| 3550k|373547 | 7095k| 2.0 | 347M| 35 | 5 | 40 |9717 | 40 | 16 | 22 |2054k|9736 | 0.000000e+00 | -- | Inf
918.49/918.55 c 919s| 3560k|374220 | 7115k| 2.0 | 348M| 35 | 5 | 40 |9611 | 40 | 16 | 22 |2060k|9745 | 0.000000e+00 | -- | Inf
921.59/921.66 c 922s| 3570k|374617 | 7135k| 2.0 | 348M| 35 | - | 40 |8658 | 0 | 0 | 22 |2067k|9759 | 0.000000e+00 | -- | Inf
924.59/924.69 c 925s| 3580k|375058 | 7154k| 2.0 | 349M| 35 | - | 40 |8199 | 40 | 16 | 22 |2073k|9767 | 0.000000e+00 | -- | Inf
927.49/927.57 c 928s| 3590k|375861 | 7175k| 2.0 | 349M| 35 | - | 40 |8205 | 0 | 0 | 22 |2079k|9785 | 0.000000e+00 | -- | Inf
929.99/930.05 c 930s| 3600k|376948 | 7193k| 2.0 | 351M| 35 | 5 | 40 |9823 | 40 | 16 | 22 |2084k|9800 | 0.000000e+00 | -- | Inf
932.89/932.93 c 933s| 3610k|377537 | 7211k| 2.0 | 351M| 35 | - | 40 |9569 | 40 | 16 | 22 |2090k|9816 | 0.000000e+00 | -- | Inf
936.20/936.20 c 936s| 3620k|377572 | 7230k| 2.0 | 351M| 35 | - | 40 |8348 | 40 | 16 | 22 |2096k|9827 | 0.000000e+00 | -- | Inf
938.79/938.80 c 939s| 3630k|378309 | 7250k| 2.0 | 353M| 35 | 5 | 40 |9981 | 40 | 16 | 22 |2102k|9841 | 0.000000e+00 | -- | Inf
942.09/942.16 c 942s| 3640k|378581 | 7270k| 2.0 | 353M| 35 | - | 40 |8244 | 40 | 16 | 22 |2108k|9849 | 0.000000e+00 | -- | Inf
945.09/945.17 c 945s| 3650k|378978 | 7290k| 2.0 | 353M| 35 | - | 40 |8595 | 40 | 16 | 22 |2115k|9865 | 0.000000e+00 | -- | Inf
947.99/948.05 c 948s| 3660k|379447 | 7309k| 2.0 | 354M| 35 | 5 | 40 |9179 | 40 | 16 | 22 |2121k|9876 | 0.000000e+00 | -- | Inf
951.09/951.16 c 951s| 3670k|379767 | 7329k| 2.0 | 354M| 35 | - | 40 |8282 | 40 | 16 | 22 |2127k|9888 | 0.000000e+00 | -- | Inf
953.99/954.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.99/954.06 c 954s| 3680k|380234 | 7349k| 2.0 | 355M| 35 | 5 | 40 |8405 | 40 | 16 | 22 |2133k|9901 | 0.000000e+00 | -- | Inf
957.00/957.05 c 957s| 3690k|380657 | 7369k| 2.0 | 356M| 35 | 5 | 40 |8725 | 40 | 16 | 22 |2139k|9914 | 0.000000e+00 | -- | Inf
959.99/960.06 c 960s| 3700k|381077 | 7389k| 2.0 | 356M| 35 | 5 | 40 |8397 | 40 | 16 | 22 |2145k|9924 | 0.000000e+00 | -- | Inf
963.19/963.21 c 963s| 3710k|381266 | 7409k| 2.0 | 357M| 35 | 5 | 40 |7710 | 40 | 16 | 22 |2152k|9940 | 0.000000e+00 | -- | Inf
965.80/965.83 c 966s| 3720k|381866 | 7430k| 2.0 | 358M| 35 | 5 | 40 |9468 | 40 | 16 | 22 |2158k|9950 | 0.000000e+00 | -- | Inf
969.19/969.27 c 969s| 3730k|382057 | 7449k| 2.0 | 358M| 35 | - | 40 |7978 | 40 | 16 | 22 |2164k|9967 | 0.000000e+00 | -- | Inf
971.89/971.91 c 972s| 3740k|382772 | 7470k| 2.0 | 359M| 35 | - | 40 |9610 | 40 | 16 | 22 |2171k|9977 | 0.000000e+00 | -- | Inf
974.79/974.80 c 975s| 3750k|383237 | 7490k| 2.0 | 360M| 35 | - | 40 | 10k| 0 | 0 | 22 |2177k|9995 | 0.000000e+00 | -- | Inf
978.39/978.49 c 978s| 3760k|383297 | 7509k| 2.0 | 359M| 35 | 5 | 40 |7666 | 40 | 16 | 22 |2184k| 10k| 0.000000e+00 | -- | Inf
981.20/981.26 c 981s| 3770k|383781 | 7530k| 2.0 | 361M| 35 | 5 | 40 |9221 | 40 | 16 | 22 |2190k| 10k| 0.000000e+00 | -- | Inf
983.99/984.03 c 984s| 3780k|384534 | 7550k| 2.0 | 362M| 35 | - | 40 | 10k| 40 | 16 | 22 |2196k| 10k| 0.000000e+00 | -- | Inf
987.39/987.40 c 987s| 3790k|384910 | 7570k| 2.0 | 362M| 35 | 5 | 40 |8908 | 40 | 16 | 22 |2202k| 10k| 0.000000e+00 | -- | Inf
990.29/990.38 c 990s| 3800k|385499 | 7589k| 2.0 | 363M| 35 | 5 | 40 |9134 | 40 | 16 | 22 |2208k| 10k| 0.000000e+00 | -- | Inf
993.09/993.20 c 993s| 3810k|386138 | 7608k| 2.0 | 363M| 35 | 5 | 40 |9785 | 40 | 16 | 22 |2214k| 10k| 0.000000e+00 | -- | Inf
996.19/996.28 c 996s| 3820k|386667 | 7627k| 2.0 | 364M| 35 | - | 40 |8451 | 0 | 0 | 22 |2220k| 10k| 0.000000e+00 | -- | Inf
999.50/999.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.50/999.59 c 1000s| 3830k|386877 | 7647k| 2.0 | 364M| 35 | 5 | 40 |7853 | 40 | 16 | 22 |2226k| 10k| 0.000000e+00 | -- | Inf
1002.49/1002.52 c 1003s| 3840k|387336 | 7667k| 2.0 | 365M| 35 | - | 40 |7776 | 40 | 16 | 22 |2232k| 10k| 0.000000e+00 | -- | Inf
1005.09/1005.11 c 1005s| 3850k|388251 | 7686k| 2.0 | 366M| 35 | 5 | 40 |9608 | 40 | 16 | 22 |2238k| 10k| 0.000000e+00 | -- | Inf
1007.99/1008.06 c 1008s| 3860k|388745 | 7705k| 2.0 | 366M| 35 | 5 | 40 |9232 | 40 | 16 | 22 |2244k| 10k| 0.000000e+00 | -- | Inf
1010.90/1010.96 c 1011s| 3870k|389432 | 7726k| 2.0 | 367M| 35 | - | 40 |9320 | 0 | 0 | 22 |2250k| 10k| 0.000000e+00 | -- | Inf
1013.69/1013.73 c 1014s| 3880k|389951 | 7746k| 2.0 | 368M| 35 | - | 40 |9426 | 0 | 0 | 22 |2256k| 10k| 0.000000e+00 | -- | Inf
1016.99/1017.05 c 1017s| 3890k|390054 | 7766k| 2.0 | 368M| 35 | - | 40 |8116 | 0 | 0 | 22 |2263k| 10k| 0.000000e+00 | -- | Inf
1019.89/1019.98 c 1020s| 3900k|390531 | 7786k| 2.0 | 369M| 35 | 5 | 40 |8722 | 40 | 16 | 22 |2269k| 10k| 0.000000e+00 | -- | Inf
1022.69/1022.77 c 1023s| 3910k|391243 | 7806k| 2.0 | 370M| 35 | - | 40 | 10k| 0 | 0 | 22 |2275k| 10k| 0.000000e+00 | -- | Inf
1025.50/1025.54 c 1026s| 3920k|392069 | 7826k| 2.0 | 371M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2281k| 10k| 0.000000e+00 | -- | Inf
1028.99/1029.06 c 1029s| 3930k|392318 | 7846k| 2.0 | 371M| 35 | - | 40 |8128 | 40 | 16 | 22 |2288k| 10k| 0.000000e+00 | -- | Inf
1032.09/1032.14 c 1032s| 3940k|392718 | 7866k| 2.0 | 371M| 35 | 5 | 40 |7802 | 40 | 16 | 22 |2294k| 10k| 0.000000e+00 | -- | Inf
1035.10/1035.17 c 1035s| 3950k|393099 | 7887k| 2.0 | 372M| 35 | 5 | 40 |8672 | 40 | 16 | 22 |2300k| 10k| 0.000000e+00 | -- | Inf
1037.79/1037.81 c 1038s| 3960k|393863 | 7906k| 2.0 | 373M| 35 | 5 | 40 |9721 | 40 | 16 | 22 |2306k| 10k| 0.000000e+00 | -- | Inf
1040.89/1040.94 c 1041s| 3970k|394302 | 7925k| 2.0 | 374M| 35 | 5 | 40 |9148 | 40 | 16 | 22 |2312k| 10k| 0.000000e+00 | -- | Inf
1043.90/1043.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.90/1043.99 c 1044s| 3980k|394737 | 7945k| 2.0 | 374M| 35 | - | 40 |9102 | 40 | 16 | 22 |2319k| 10k| 0.000000e+00 | -- | Inf
1046.99/1047.00 c 1047s| 3990k|395184 | 7965k| 2.0 | 375M| 35 | 5 | 40 |8859 | 40 | 16 | 22 |2325k| 10k| 0.000000e+00 | -- | Inf
1049.89/1049.95 c 1050s| 4000k|395682 | 7985k| 2.0 | 375M| 35 | - | 40 |9369 | 40 | 16 | 22 |2331k| 10k| 0.000000e+00 | -- | Inf
1053.40/1053.41 c 1053s| 4010k|395776 | 8005k| 2.0 | 376M| 35 | 5 | 40 |8456 | 40 | 16 | 22 |2338k| 10k| 0.000000e+00 | -- | Inf
1056.49/1056.57 c 1057s| 4020k|396109 | 8025k| 2.0 | 376M| 35 | 5 | 40 |8225 | 40 | 16 | 22 |2344k| 10k| 0.000000e+00 | -- | Inf
1059.20/1059.27 c 1059s| 4030k|396660 | 8045k| 2.0 | 377M| 35 | - | 40 | 10k| 40 | 16 | 22 |2350k| 10k| 0.000000e+00 | -- | Inf
1062.39/1062.50 c 1062s| 4040k|397146 | 8064k| 2.0 | 377M| 35 | 5 | 40 |8500 | 40 | 16 | 22 |2356k| 10k| 0.000000e+00 | -- | Inf
1065.30/1065.33 c 1065s| 4050k|397702 | 8085k| 2.0 | 378M| 35 | - | 40 |9439 | 40 | 16 | 22 |2363k| 10k| 0.000000e+00 | -- | Inf
1068.39/1068.42 c 1068s| 4060k|398149 | 8104k| 2.0 | 379M| 35 | 5 | 40 |8880 | 40 | 16 | 22 |2369k| 10k| 0.000000e+00 | -- | Inf
1071.50/1071.56 c 1072s| 4070k|398495 | 8124k| 2.0 | 379M| 35 | 5 | 40 |8392 | 40 | 16 | 22 |2375k| 10k| 0.000000e+00 | -- | Inf
1074.30/1074.39 c 1074s| 4080k|399111 | 8143k| 2.0 | 380M| 35 | - | 40 |9870 | 0 | 0 | 22 |2381k| 10k| 0.000000e+00 | -- | Inf
1077.29/1077.31 c 1077s| 4090k|399641 | 8162k| 2.0 | 381M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2387k| 10k| 0.000000e+00 | -- | Inf
1080.69/1080.74 c 1081s| 4100k|399809 | 8182k| 2.0 | 381M| 35 | - | 40 |8823 | 0 | 0 | 22 |2394k| 10k| 0.000000e+00 | -- | Inf
1083.90/1083.97 c 1084s| 4110k|400068 | 8202k| 2.0 | 381M| 35 | 5 | 40 |8571 | 40 | 16 | 22 |2400k| 10k| 0.000000e+00 | -- | Inf
1086.49/1086.58 c 1087s| 4120k|400709 | 8222k| 2.0 | 383M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2406k| 10k| 0.000000e+00 | -- | Inf
1089.90/1089.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.90/1089.95 c 1090s| 4130k|400978 | 8242k| 2.0 | 383M| 35 | - | 40 |9751 | 0 | 0 | 22 |2413k| 10k| 0.000000e+00 | -- | Inf
1093.49/1093.50 c 1094s| 4140k|401129 | 8261k| 2.0 | 383M| 35 | - | 40 |8341 | 40 | 16 | 22 |2419k| 10k| 0.000000e+00 | -- | Inf
1096.20/1096.29 c 1096s| 4150k|401775 | 8282k| 2.0 | 384M| 35 | 5 | 40 |9968 | 40 | 16 | 22 |2425k| 10k| 0.000000e+00 | -- | Inf
1098.99/1099.04 c 1099s| 4160k|402237 | 8302k| 2.0 | 385M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2431k| 10k| 0.000000e+00 | -- | Inf
1102.49/1102.57 c 1103s| 4170k|402524 | 8321k| 2.0 | 385M| 35 | 5 | 40 |9082 | 40 | 16 | 22 |2437k| 10k| 0.000000e+00 | -- | Inf
1105.79/1105.88 c 1106s| 4180k|402759 | 8341k| 2.0 | 385M| 35 | - | 40 |7887 | 40 | 16 | 22 |2443k| 10k| 0.000000e+00 | -- | Inf
1108.60/1108.64 c 1109s| 4190k|403369 | 8360k| 2.0 | 386M| 35 | - | 40 |9836 | 0 | 0 | 22 |2450k| 10k| 0.000000e+00 | -- | Inf
1111.70/1111.72 c 1112s| 4200k|403803 | 8380k| 2.0 | 387M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2456k| 10k| 0.000000e+00 | -- | Inf
1114.30/1114.35 c 1114s| 4210k|405147 | 8399k| 2.0 | 389M| 35 | - | 40 | 11k| 40 | 16 | 22 |2461k| 10k| 0.000000e+00 | -- | Inf
1117.19/1117.22 c 1117s| 4220k|405896 | 8419k| 2.0 | 390M| 35 | - | 40 | 12k| 40 | 16 | 22 |2467k| 10k| 0.000000e+00 | -- | Inf
1120.20/1120.26 c 1120s| 4230k|406452 | 8439k| 2.0 | 390M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2473k| 10k| 0.000000e+00 | -- | Inf
1123.80/1123.88 c 1124s| 4240k|406712 | 8459k| 2.0 | 390M| 35 | 5 | 40 |9811 | 40 | 16 | 22 |2479k| 10k| 0.000000e+00 | -- | Inf
1127.29/1127.37 c 1127s| 4250k|406939 | 8479k| 2.0 | 390M| 35 | - | 40 |8490 | 40 | 16 | 22 |2486k| 10k| 0.000000e+00 | -- | Inf
1130.09/1130.19 c 1130s| 4260k|407574 | 8500k| 2.0 | 391M| 35 | 5 | 40 |9716 | 40 | 16 | 22 |2492k| 10k| 0.000000e+00 | -- | Inf
1133.10/1133.19 c 1133s| 4270k|407966 | 8520k| 2.0 | 392M| 35 | - | 40 |9596 | 0 | 0 | 22 |2498k| 10k| 0.000000e+00 | -- | Inf
1136.39/1136.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.39/1136.41 c 1136s| 4280k|408456 | 8539k| 2.0 | 392M| 35 | 5 | 40 |9268 | 40 | 16 | 22 |2504k| 10k| 0.000000e+00 | -- | Inf
1139.50/1139.58 c 1140s| 4290k|408926 | 8558k| 2.0 | 393M| 35 | 5 | 40 |8734 | 40 | 16 | 22 |2510k| 10k| 0.000000e+00 | -- | Inf
1142.39/1142.46 c 1142s| 4300k|409622 | 8578k| 2.0 | 394M| 35 | - | 40 |9900 | 40 | 16 | 22 |2517k| 10k| 0.000000e+00 | -- | Inf
1145.29/1145.30 c 1145s| 4310k|410303 | 8597k| 2.0 | 395M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2523k| 10k| 0.000000e+00 | -- | Inf
1148.40/1148.45 c 1148s| 4320k|410762 | 8617k| 2.0 | 396M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2529k| 10k| 0.000000e+00 | -- | Inf
1151.70/1151.80 c 1152s| 4330k|411307 | 8636k| 2.0 | 396M| 35 | - | 40 | 11k| 40 | 16 | 22 |2535k| 10k| 0.000000e+00 | -- | Inf
1155.00/1155.05 c 1155s| 4340k|411817 | 8657k| 2.0 | 397M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2541k| 10k| 0.000000e+00 | -- | Inf
1158.40/1158.44 c 1158s| 4350k|412262 | 8677k| 2.0 | 397M| 35 | - | 40 |9593 | 40 | 16 | 22 |2548k| 10k| 0.000000e+00 | -- | Inf
1161.50/1161.53 c 1162s| 4360k|412487 | 8697k| 2.0 | 397M| 35 | - | 40 |9587 | 40 | 16 | 22 |2554k| 10k| 0.000000e+00 | -- | Inf
1164.60/1164.69 c 1165s| 4370k|412875 | 8716k| 2.0 | 398M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2560k| 10k| 0.000000e+00 | -- | Inf
1168.00/1168.03 c 1168s| 4380k|413289 | 8736k| 2.0 | 399M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2567k| 10k| 0.000000e+00 | -- | Inf
1171.30/1171.39 c 1171s| 4390k|413651 | 8756k| 2.0 | 399M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2573k| 10k| 0.000000e+00 | -- | Inf
1174.90/1174.99 c 1175s| 4400k|413719 | 8775k| 2.0 | 400M| 35 | 5 | 40 |9045 | 40 | 16 | 22 |2579k| 10k| 0.000000e+00 | -- | Inf
1178.29/1178.32 c 1178s| 4410k|413873 | 8795k| 2.0 | 400M| 35 | - | 40 |8181 | 0 | 0 | 22 |2585k| 10k| 0.000000e+00 | -- | Inf
1181.69/1181.75 c 1182s| 4420k|414031 | 8814k| 2.0 | 400M| 35 | - | 40 |7937 | 0 | 0 | 22 |2592k| 10k| 0.000000e+00 | -- | Inf
1184.99/1185.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.99/1185.00 c 1185s| 4430k|414341 | 8834k| 2.0 | 401M| 35 | 5 | 40 |8198 | 40 | 16 | 22 |2598k| 10k| 0.000000e+00 | -- | Inf
1188.30/1188.30 c 1188s| 4440k|414574 | 8853k| 2.0 | 401M| 35 | 5 | 40 |8200 | 40 | 16 | 22 |2604k| 10k| 0.000000e+00 | -- | Inf
1191.60/1191.63 c 1192s| 4450k|414729 | 8873k| 2.0 | 401M| 35 | - | 40 |8272 | 40 | 16 | 22 |2611k| 10k| 0.000000e+00 | -- | Inf
1194.60/1194.65 c 1195s| 4460k|415150 | 8893k| 2.0 | 402M| 35 | 5 | 40 |8557 | 40 | 16 | 22 |2617k| 10k| 0.000000e+00 | -- | Inf
1197.70/1197.70 c 1198s| 4470k|415481 | 8913k| 2.0 | 403M| 35 | 5 | 40 |8970 | 40 | 16 | 22 |2623k| 10k| 0.000000e+00 | -- | Inf
1200.70/1200.72 c 1201s| 4480k|415889 | 8932k| 2.0 | 403M| 35 | - | 40 |9309 | 40 | 16 | 22 |2629k| 10k| 0.000000e+00 | -- | Inf
1203.80/1203.83 c 1204s| 4490k|416332 | 8952k| 2.0 | 404M| 35 | 5 | 40 |9778 | 40 | 16 | 22 |2635k| 10k| 0.000000e+00 | -- | Inf
1206.80/1206.82 c 1207s| 4500k|416673 | 8972k| 2.0 | 405M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2642k| 10k| 0.000000e+00 | -- | Inf
1210.30/1210.33 c 1210s| 4510k|416986 | 8992k| 2.0 | 405M| 35 | - | 40 |9699 | 40 | 16 | 22 |2649k| 10k| 0.000000e+00 | -- | Inf
1213.49/1213.52 c 1214s| 4520k|417356 | 9011k| 2.0 | 406M| 35 | 5 | 40 |9431 | 40 | 16 | 22 |2654k| 10k| 0.000000e+00 | -- | Inf
1217.09/1217.14 c 1217s| 4530k|417414 | 9032k| 2.0 | 406M| 35 | 5 | 40 |8756 | 40 | 16 | 22 |2661k| 10k| 0.000000e+00 | -- | Inf
1219.81/1219.85 c 1220s| 4540k|418334 | 9053k| 2.0 | 407M| 35 | 5 | 40 |9419 | 40 | 16 | 22 |2667k| 10k| 0.000000e+00 | -- | Inf
1222.40/1222.45 c 1222s| 4550k|418896 | 9074k| 2.0 | 408M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2674k| 11k| 0.000000e+00 | -- | Inf
1225.69/1225.72 c 1226s| 4560k|418912 | 9094k| 2.0 | 408M| 35 | - | 40 |9160 | 40 | 16 | 22 |2681k| 11k| 0.000000e+00 | -- | Inf
1228.30/1228.30 c 1228s| 4570k|420198 | 9114k| 2.0 | 410M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2687k| 11k| 0.000000e+00 | -- | Inf
1231.00/1231.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.00/1231.03 c 1231s| 4580k|421019 | 9134k| 2.0 | 410M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2693k| 11k| 0.000000e+00 | -- | Inf
1233.59/1233.63 c 1234s| 4590k|421756 | 9154k| 2.0 | 412M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2699k| 11k| 0.000000e+00 | -- | Inf
1236.49/1236.52 c 1237s| 4600k|422188 | 9173k| 2.0 | 412M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2705k| 11k| 0.000000e+00 | -- | Inf
1240.20/1240.20 c 1240s| 4610k|422251 | 9193k| 2.0 | 412M| 35 | - | 40 |9595 | 40 | 16 | 22 |2712k| 11k| 0.000000e+00 | -- | Inf
1243.59/1243.60 c 1244s| 4620k|422565 | 9212k| 2.0 | 412M| 35 | 5 | 40 |9439 | 40 | 16 | 22 |2718k| 11k| 0.000000e+00 | -- | Inf
1246.30/1246.39 c 1246s| 4630k|423145 | 9233k| 2.0 | 413M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2725k| 11k| 0.000000e+00 | -- | Inf
1249.50/1249.53 c 1250s| 4640k|423607 | 9255k| 2.0 | 414M| 35 | - | 40 | 11k| 40 | 16 | 22 |2732k| 11k| 0.000000e+00 | -- | Inf
1252.70/1252.70 c 1253s| 4650k|424206 | 9275k| 2.0 | 415M| 35 | - | 40 | 10k| 40 | 16 | 22 |2737k| 11k| 0.000000e+00 | -- | Inf
1255.90/1255.94 c 1256s| 4660k|424553 | 9295k| 2.0 | 415M| 35 | 5 | 40 |9837 | 40 | 16 | 22 |2744k| 11k| 0.000000e+00 | -- | Inf
1258.90/1258.95 c 1259s| 4670k|425111 | 9315k| 2.0 | 416M| 35 | - | 40 | 11k| 40 | 16 | 22 |2750k| 11k| 0.000000e+00 | -- | Inf
1262.20/1262.28 c 1262s| 4680k|425530 | 9336k| 2.0 | 416M| 35 | 5 | 40 |9843 | 40 | 16 | 22 |2757k| 11k| 0.000000e+00 | -- | Inf
1264.91/1264.90 c 1265s| 4690k|426499 | 9355k| 2.0 | 417M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2762k| 11k| 0.000000e+00 | -- | Inf
1268.00/1268.01 c 1268s| 4700k|427008 | 9376k| 2.0 | 419M| 35 | - | 40 | 12k| 0 | 0 | 22 |2769k| 11k| 0.000000e+00 | -- | Inf
1270.90/1270.91 c 1271s| 4710k|427988 | 9395k| 2.0 | 420M| 35 | 5 | 40 | 14k| 40 | 16 | 22 |2775k| 11k| 0.000000e+00 | -- | Inf
1274.91/1274.96 c 1275s| 4720k|428147 | 9415k| 2.0 | 419M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2782k| 11k| 0.000000e+00 | -- | Inf
1278.60/1278.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.60/1278.63 c 1279s| 4730k|428231 | 9436k| 2.0 | 419M| 35 | 5 | 40 |9407 | 40 | 16 | 22 |2788k| 11k| 0.000000e+00 | -- | Inf
1281.90/1281.96 c 1282s| 4740k|428484 | 9455k| 2.0 | 420M| 35 | 5 | 40 |9340 | 40 | 16 | 22 |2794k| 11k| 0.000000e+00 | -- | Inf
1285.19/1285.22 c 1285s| 4750k|428963 | 9475k| 2.0 | 421M| 35 | - | 40 |9609 | 0 | 0 | 22 |2800k| 11k| 0.000000e+00 | -- | Inf
1288.20/1288.26 c 1288s| 4760k|429407 | 9495k| 2.0 | 422M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2807k| 11k| 0.000000e+00 | -- | Inf
1292.00/1292.04 c 1292s| 4770k|429399 | 9515k| 2.0 | 421M| 35 | - | 40 |8443 | 0 | 0 | 22 |2814k| 11k| 0.000000e+00 | -- | Inf
1295.20/1295.27 c 1295s| 4780k|429548 | 9534k| 2.0 | 422M| 35 | - | 40 |8305 | 40 | 16 | 22 |2820k| 11k| 0.000000e+00 | -- | Inf
1298.60/1298.68 c 1299s| 4790k|429553 | 9554k| 2.0 | 422M| 35 | 5 | 40 |7570 | 40 | 16 | 22 |2826k| 11k| 0.000000e+00 | -- | Inf
1301.80/1301.88 c 1302s| 4800k|429672 | 9573k| 2.0 | 422M| 35 | 5 | 40 |7471 | 40 | 16 | 22 |2833k| 11k| 0.000000e+00 | -- | Inf
1304.70/1304.74 c 1305s| 4810k|430288 | 9594k| 2.0 | 423M| 35 | 5 | 40 |8856 | 40 | 16 | 22 |2839k| 11k| 0.000000e+00 | -- | Inf
1307.40/1307.47 c 1307s| 4820k|430977 | 9613k| 2.0 | 425M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2845k| 11k| 0.000000e+00 | -- | Inf
1310.60/1310.66 c 1311s| 4830k|431560 | 9633k| 2.0 | 425M| 35 | - | 40 | 11k| 40 | 16 | 22 |2851k| 11k| 0.000000e+00 | -- | Inf
1313.99/1314.09 c 1314s| 4840k|431964 | 9653k| 2.0 | 426M| 35 | - | 40 | 11k| 40 | 16 | 22 |2858k| 11k| 0.000000e+00 | -- | Inf
1317.50/1317.58 c 1318s| 4850k|432293 | 9673k| 2.0 | 426M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2864k| 11k| 0.000000e+00 | -- | Inf
1321.11/1321.11 c 1321s| 4860k|432484 | 9693k| 2.0 | 426M| 35 | 5 | 40 |9223 | 40 | 16 | 22 |2870k| 11k| 0.000000e+00 | -- | Inf
1323.80/1323.86 c 1324s| 4870k|432953 | 9711k| 2.0 | 427M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2876k| 11k| 0.000000e+00 | -- | Inf
1327.40/1327.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1327.40/1327.43 c 1327s| 4880k|433168 | 9730k| 2.0 | 427M| 35 | 5 | 40 |8994 | 40 | 16 | 22 |2882k| 11k| 0.000000e+00 | -- | Inf
1330.60/1330.61 c 1331s| 4890k|433532 | 9750k| 2.0 | 428M| 35 | - | 40 |8551 | 40 | 16 | 22 |2888k| 11k| 0.000000e+00 | -- | Inf
1333.90/1333.90 c 1334s| 4900k|433645 | 9769k| 2.0 | 428M| 35 | 5 | 40 |7703 | 40 | 16 | 22 |2895k| 11k| 0.000000e+00 | -- | Inf
1336.80/1336.89 c 1337s| 4910k|434006 | 9789k| 2.0 | 429M| 35 | - | 40 |8160 | 40 | 16 | 22 |2901k| 11k| 0.000000e+00 | -- | Inf
1339.20/1339.29 c 1339s| 4920k|435144 | 9806k| 2.0 | 430M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2906k| 11k| 0.000000e+00 | -- | Inf
1342.40/1342.48 c 1342s| 4930k|435335 | 9825k| 2.0 | 431M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2912k| 11k| 0.000000e+00 | -- | Inf
1345.30/1345.36 c 1345s| 4940k|435920 | 9846k| 2.0 | 432M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2919k| 11k| 0.000000e+00 | -- | Inf
1349.10/1349.16 c 1349s| 4950k|436012 | 9866k| 2.0 | 431M| 35 | - | 40 |8068 | 40 | 16 | 22 |2925k| 11k| 0.000000e+00 | -- | Inf
1352.40/1352.48 c 1352s| 4960k|436055 | 9886k| 2.0 | 431M| 35 | 5 | 40 |7649 | 40 | 16 | 22 |2932k| 11k| 0.000000e+00 | -- | Inf
1355.40/1355.46 c 1355s| 4970k|436303 | 9906k| 2.0 | 432M| 35 | 5 | 40 |9060 | 40 | 16 | 22 |2939k| 11k| 0.000000e+00 | -- | Inf
1358.90/1358.94 c 1359s| 4980k|436342 | 9925k| 2.0 | 432M| 35 | - | 40 |7604 | 0 | 0 | 22 |2945k| 11k| 0.000000e+00 | -- | Inf
1361.90/1361.93 c 1362s| 4990k|436791 | 9946k| 2.0 | 433M| 35 | 5 | 40 |8640 | 40 | 16 | 22 |2951k| 11k| 0.000000e+00 | -- | Inf
1365.20/1365.26 c 1365s| 5000k|437022 | 9966k| 2.0 | 433M| 35 | - | 40 |8346 | 0 | 0 | 22 |2958k| 11k| 0.000000e+00 | -- | Inf
1368.09/1368.19 c 1368s| 5010k|437594 | 9985k| 2.0 | 434M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2964k| 11k| 0.000000e+00 | -- | Inf
1371.10/1371.18 c 1371s| 5020k|438208 | 10004k| 2.0 | 435M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2969k| 11k| 0.000000e+00 | -- | Inf
1374.40/1374.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.40/1374.42 c 1374s| 5030k|438753 | 10023k| 2.0 | 435M| 35 | 5 | 40 |9088 | 40 | 16 | 22 |2975k| 11k| 0.000000e+00 | -- | Inf
1377.60/1377.65 c 1378s| 5040k|438986 | 10043k| 2.0 | 436M| 35 | 5 | 40 |8430 | 40 | 16 | 22 |2982k| 11k| 0.000000e+00 | -- | Inf
1380.00/1380.03 c 1380s| 5050k|440258 | 10063k| 2.0 | 438M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2988k| 11k| 0.000000e+00 | -- | Inf
1382.90/1382.96 c 1383s| 5060k|440593 | 10082k| 2.0 | 438M| 35 | - | 40 | 12k| 40 | 16 | 22 |2994k| 11k| 0.000000e+00 | -- | Inf
1386.40/1386.45 c 1386s| 5070k|440769 | 10103k| 2.0 | 438M| 35 | - | 40 | 10k| 0 | 0 | 22 |3001k| 11k| 0.000000e+00 | -- | Inf
1389.80/1389.85 c 1390s| 5080k|441025 | 10122k| 2.0 | 438M| 35 | 5 | 40 |8968 | 40 | 16 | 22 |3007k| 11k| 0.000000e+00 | -- | Inf
1393.00/1393.01 c 1393s| 5090k|441337 | 10142k| 2.0 | 438M| 35 | 5 | 40 |8104 | 40 | 16 | 22 |3013k| 11k| 0.000000e+00 | -- | Inf
1396.00/1396.06 c 1396s| 5100k|441592 | 10162k| 2.0 | 439M| 35 | 5 | 40 |8172 | 40 | 16 | 22 |3020k| 11k| 0.000000e+00 | -- | Inf
1399.11/1399.12 c 1399s| 5110k|441913 | 10182k| 2.0 | 439M| 35 | 5 | 40 |7820 | 40 | 16 | 22 |3026k| 11k| 0.000000e+00 | -- | Inf
1402.10/1402.17 c 1402s| 5120k|442171 | 10201k| 2.0 | 440M| 35 | 5 | 40 |8074 | 40 | 16 | 22 |3032k| 11k| 0.000000e+00 | -- | Inf
1405.50/1405.54 c 1406s| 5130k|442141 | 10221k| 2.0 | 440M| 35 | 5 | 40 |7427 | 40 | 16 | 22 |3039k| 11k| 0.000000e+00 | -- | Inf
1408.60/1408.68 c 1409s| 5140k|442325 | 10240k| 2.0 | 441M| 35 | 5 | 40 |8158 | 40 | 16 | 22 |3045k| 11k| 0.000000e+00 | -- | Inf
1411.70/1411.72 c 1412s| 5150k|442617 | 10260k| 2.0 | 441M| 35 | 5 | 40 |8364 | 40 | 16 | 22 |3051k| 11k| 0.000000e+00 | -- | Inf
1415.20/1415.29 c 1415s| 5160k|442492 | 10280k| 2.0 | 441M| 35 | 5 | 40 |7064 | 40 | 16 | 22 |3058k| 11k| 0.000000e+00 | -- | Inf
1418.50/1418.53 c 1419s| 5170k|442509 | 10300k| 2.0 | 441M| 35 | - | 40 |7379 | 0 | 0 | 22 |3065k| 11k| 0.000000e+00 | -- | Inf
1421.40/1421.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.40/1421.40 c 1421s| 5180k|443018 | 10319k| 2.0 | 443M| 35 | 5 | 40 |8731 | 40 | 16 | 22 |3071k| 11k| 0.000000e+00 | -- | Inf
1424.40/1424.42 c 1424s| 5190k|443346 | 10339k| 2.0 | 443M| 35 | - | 40 |9184 | 0 | 0 | 22 |3077k| 11k| 0.000000e+00 | -- | Inf
1427.80/1427.81 c 1428s| 5200k|443439 | 10359k| 2.0 | 443M| 35 | 5 | 40 |8639 | 40 | 16 | 22 |3083k| 11k| 0.000000e+00 | -- | Inf
1430.90/1430.94 c 1431s| 5210k|443690 | 10379k| 2.0 | 444M| 35 | 5 | 40 |8306 | 40 | 16 | 22 |3090k| 11k| 0.000000e+00 | -- | Inf
1434.31/1434.38 c 1434s| 5220k|443686 | 10398k| 2.0 | 444M| 35 | 5 | 40 |7823 | 40 | 16 | 22 |3096k| 11k| 0.000000e+00 | -- | Inf
1437.50/1437.53 c 1438s| 5230k|443902 | 10418k| 2.0 | 445M| 35 | 5 | 40 |8689 | 40 | 16 | 22 |3102k| 11k| 0.000000e+00 | -- | Inf
1440.30/1440.30 c 1440s| 5240k|444357 | 10438k| 2.0 | 446M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3109k| 11k| 0.000000e+00 | -- | Inf
1443.70/1443.78 c 1444s| 5250k|444463 | 10458k| 2.0 | 445M| 35 | - | 40 |8237 | 40 | 16 | 22 |3115k| 11k| 0.000000e+00 | -- | Inf
1446.80/1446.86 c 1447s| 5260k|444792 | 10477k| 2.0 | 446M| 35 | 5 | 40 |8831 | 40 | 16 | 22 |3122k| 11k| 0.000000e+00 | -- | Inf
1450.30/1450.38 c 1450s| 5270k|444758 | 10497k| 2.0 | 446M| 35 | 5 | 40 |7632 | 40 | 16 | 22 |3128k| 11k| 0.000000e+00 | -- | Inf
1453.60/1453.64 c 1454s| 5280k|444748 | 10517k| 2.0 | 446M| 35 | - | 40 |7433 | 40 | 16 | 22 |3135k| 11k| 0.000000e+00 | -- | Inf
1456.31/1456.33 c 1456s| 5290k|445218 | 10536k| 2.0 | 448M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3141k| 11k| 0.000000e+00 | -- | Inf
1459.80/1459.89 c 1460s| 5300k|445254 | 10556k| 2.0 | 448M| 35 | - | 40 |9540 | 0 | 0 | 22 |3147k| 11k| 0.000000e+00 | -- | Inf
1462.70/1462.70 c 1463s| 5310k|445867 | 10575k| 2.0 | 449M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3153k| 11k| 0.000000e+00 | -- | Inf
1466.31/1466.36 c 1466s| 5320k|446016 | 10595k| 2.0 | 449M| 35 | 5 | 40 |9917 | 40 | 16 | 22 |3160k| 11k| 0.000000e+00 | -- | Inf
1469.61/1469.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.61/1469.63 c 1470s| 5330k|446359 | 10615k| 2.0 | 449M| 35 | 5 | 40 |9254 | 40 | 16 | 22 |3166k| 11k| 0.000000e+00 | -- | Inf
1472.60/1472.69 c 1473s| 5340k|446719 | 10634k| 2.0 | 450M| 35 | 5 | 40 |9767 | 40 | 16 | 22 |3172k| 11k| 0.000000e+00 | -- | Inf
1475.30/1475.38 c 1475s| 5350k|447498 | 10654k| 2.0 | 451M| 35 | - | 40 | 11k| 40 | 16 | 22 |3178k| 11k| 0.000000e+00 | -- | Inf
1478.10/1478.13 c 1478s| 5360k|448771 | 10673k| 2.0 | 452M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3183k| 11k| 0.000000e+00 | -- | Inf
1480.90/1480.90 c 1481s| 5370k|449390 | 10693k| 2.0 | 453M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3189k| 11k| 0.000000e+00 | -- | Inf
1484.60/1484.60 c 1485s| 5380k|449435 | 10713k| 2.0 | 453M| 35 | - | 40 |9749 | 0 | 0 | 22 |3195k| 11k| 0.000000e+00 | -- | Inf
1487.60/1487.67 c 1488s| 5390k|450069 | 10732k| 2.0 | 454M| 35 | - | 40 | 10k| 0 | 0 | 22 |3201k| 11k| 0.000000e+00 | -- | Inf
1490.30/1490.31 c 1490s| 5400k|450865 | 10751k| 2.0 | 455M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3207k| 11k| 0.000000e+00 | -- | Inf
1493.40/1493.47 c 1493s| 5410k|451110 | 10770k| 2.0 | 455M| 35 | 5 | 40 |9961 | 40 | 16 | 22 |3213k| 11k| 0.000000e+00 | -- | Inf
1496.30/1496.31 c 1496s| 5420k|451913 | 10790k| 2.0 | 456M| 35 | - | 40 | 11k| 40 | 16 | 22 |3219k| 11k| 0.000000e+00 | -- | Inf
1499.51/1499.58 c 1500s| 5430k|452102 | 10809k| 2.0 | 456M| 35 | - | 40 |9356 | 40 | 16 | 22 |3226k| 12k| 0.000000e+00 | -- | Inf
1502.91/1502.93 c 1503s| 5440k|452291 | 10829k| 2.0 | 456M| 35 | 5 | 40 |8664 | 40 | 16 | 22 |3232k| 12k| 0.000000e+00 | -- | Inf
1505.91/1505.95 c 1506s| 5450k|452816 | 10851k| 2.0 | 457M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3238k| 12k| 0.000000e+00 | -- | Inf
1508.94/1509.02 c 1509s| 5460k|453256 | 10870k| 2.0 | 458M| 35 | - | 40 | 11k| 40 | 16 | 22 |3245k| 12k| 0.000000e+00 | -- | Inf
1512.44/1512.53 c 1513s| 5470k|453472 | 10891k| 2.0 | 458M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3251k| 12k| 0.000000e+00 | -- | Inf
1516.04/1516.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.04/1516.14 c 1516s| 5480k|453557 | 10911k| 2.0 | 459M| 35 | 5 | 40 |9475 | 40 | 16 | 22 |3258k| 12k| 0.000000e+00 | -- | Inf
1518.73/1518.81 c 1519s| 5490k|454408 | 10929k| 2.0 | 460M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3264k| 12k| 0.000000e+00 | -- | Inf
1522.34/1522.44 c 1522s| 5500k|454549 | 10948k| 2.0 | 460M| 35 | - | 40 |9975 | 40 | 16 | 22 |3270k| 12k| 0.000000e+00 | -- | Inf
1526.14/1526.22 c 1526s| 5510k|454526 | 10968k| 2.0 | 460M| 35 | - | 40 |8349 | 0 | 0 | 22 |3276k| 12k| 0.000000e+00 | -- | Inf
1529.14/1529.20 c 1529s| 5520k|454929 | 10989k| 2.0 | 461M| 35 | - | 40 | 10k| 0 | 0 | 22 |3283k| 12k| 0.000000e+00 | -- | Inf
1532.83/1532.93 c 1533s| 5530k|454960 | 11009k| 2.0 | 461M| 35 | - | 40 |8202 | 0 | 0 | 22 |3290k| 12k| 0.000000e+00 | -- | Inf
1536.34/1536.40 c 1536s| 5540k|455052 | 11030k| 2.0 | 461M| 35 | 5 | 40 |8414 | 40 | 16 | 22 |3296k| 12k| 0.000000e+00 | -- | Inf
1539.44/1539.57 c 1540s| 5550k|455364 | 11049k| 2.0 | 462M| 35 | - | 40 |9335 | 40 | 16 | 22 |3302k| 12k| 0.000000e+00 | -- | Inf
1542.54/1542.65 c 1543s| 5560k|455823 | 11069k| 2.0 | 463M| 35 | - | 40 | 10k| 40 | 16 | 22 |3309k| 12k| 0.000000e+00 | -- | Inf
1545.93/1546.02 c 1546s| 5570k|456174 | 11088k| 2.0 | 463M| 35 | 5 | 40 |9879 | 40 | 16 | 22 |3315k| 12k| 0.000000e+00 | -- | Inf
1549.33/1549.43 c 1549s| 5580k|456401 | 11108k| 2.0 | 463M| 35 | 5 | 40 |9764 | 40 | 16 | 22 |3321k| 12k| 0.000000e+00 | -- | Inf
1552.73/1552.84 c 1553s| 5590k|456652 | 11128k| 2.0 | 464M| 35 | - | 40 |9636 | 40 | 16 | 22 |3327k| 12k| 0.000000e+00 | -- | Inf
1556.04/1556.13 c 1556s| 5600k|456868 | 11148k| 2.0 | 464M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3334k| 12k| 0.000000e+00 | -- | Inf
1559.53/1559.61 c 1560s| 5610k|457043 | 11167k| 2.0 | 465M| 35 | 5 | 40 |9759 | 40 | 16 | 22 |3340k| 12k| 0.000000e+00 | -- | Inf
1562.93/1563.06 c 1563s| 5620k|457217 | 11187k| 2.0 | 465M| 35 | - | 40 |8955 | 0 | 0 | 22 |3346k| 12k| 0.000000e+00 | -- | Inf
1566.43/1566.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.43/1566.58 c 1567s| 5630k|457253 | 11207k| 2.0 | 465M| 35 | 5 | 40 |8748 | 40 | 16 | 22 |3353k| 12k| 0.000000e+00 | -- | Inf
1569.83/1569.98 c 1570s| 5640k|457269 | 11227k| 2.0 | 465M| 35 | - | 40 |8537 | 40 | 16 | 22 |3359k| 12k| 0.000000e+00 | -- | Inf
1573.44/1573.57 c 1574s| 5650k|457206 | 11246k| 2.0 | 465M| 35 | 5 | 40 |8080 | 40 | 16 | 22 |3366k| 12k| 0.000000e+00 | -- | Inf
1576.33/1576.43 c 1576s| 5660k|457764 | 11266k| 2.0 | 466M| 35 | 5 | 40 |9300 | 40 | 16 | 22 |3372k| 12k| 0.000000e+00 | -- | Inf
1579.44/1579.50 c 1580s| 5670k|458317 | 11288k| 2.0 | 468M| 35 | - | 40 | 11k| 0 | 0 | 22 |3379k| 12k| 0.000000e+00 | -- | Inf
1582.93/1583.00 c 1583s| 5680k|458767 | 11308k| 2.0 | 468M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3385k| 12k| 0.000000e+00 | -- | Inf
1585.53/1585.61 c 1586s| 5690k|459794 | 11328k| 2.0 | 469M| 35 | - | 40 | 11k| 0 | 0 | 22 |3391k| 12k| 0.000000e+00 | -- | Inf
1588.13/1588.28 c 1588s| 5700k|461059 | 11348k| 2.0 | 471M| 35 | - | 40 | 12k| 40 | 16 | 22 |3397k| 12k| 0.000000e+00 | -- | Inf
1591.13/1591.29 c 1591s| 5710k|461755 | 11367k| 2.0 | 472M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3402k| 12k| 0.000000e+00 | -- | Inf
1594.63/1594.74 c 1595s| 5720k|461993 | 11386k| 2.0 | 472M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3409k| 12k| 0.000000e+00 | -- | Inf
1597.93/1598.06 c 1598s| 5730k|462373 | 11405k| 2.0 | 473M| 35 | 5 | 40 | 14k| 40 | 16 | 22 |3415k| 12k| 0.000000e+00 | -- | Inf
1601.63/1601.75 c 1602s| 5740k|462594 | 11424k| 2.0 | 473M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3421k| 12k| 0.000000e+00 | -- | Inf
1605.73/1605.81 c 1606s| 5750k|462670 | 11444k| 2.0 | 472M| 35 | 5 | 40 |8357 | 40 | 16 | 22 |3428k| 12k| 0.000000e+00 | -- | Inf
1609.43/1609.50 c 1609s| 5760k|462584 | 11464k| 2.0 | 472M| 35 | 5 | 40 |8207 | 40 | 16 | 22 |3434k| 12k| 0.000000e+00 | -- | Inf
1612.54/1612.63 c 1613s| 5770k|462833 | 11483k| 2.0 | 473M| 35 | 5 | 40 |9589 | 40 | 16 | 22 |3441k| 12k| 0.000000e+00 | -- | Inf
1615.63/1615.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.63/1615.75 c 1616s| 5780k|463086 | 11503k| 2.0 | 473M| 35 | - | 40 |9519 | 40 | 16 | 22 |3447k| 12k| 0.000000e+00 | -- | Inf
1618.43/1618.55 c 1619s| 5790k|463690 | 11524k| 2.0 | 475M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3453k| 12k| 0.000000e+00 | -- | Inf
1622.03/1622.12 c 1622s| 5800k|463942 | 11544k| 2.0 | 475M| 35 | - | 40 | 10k| 40 | 16 | 22 |3460k| 12k| 0.000000e+00 | -- | Inf
1624.93/1625.06 c 1625s| 5810k|464590 | 11563k| 2.0 | 476M| 35 | - | 40 | 12k| 40 | 16 | 22 |3466k| 12k| 0.000000e+00 | -- | Inf
1629.03/1629.12 c 1629s| 5820k|464538 | 11584k| 2.0 | 476M| 35 | - | 40 |9936 | 40 | 16 | 22 |3473k| 12k| 0.000000e+00 | -- | Inf
1632.93/1633.06 c 1633s| 5830k|464315 | 11603k| 2.0 | 475M| 35 | - | 40 |8164 | 0 | 0 | 22 |3479k| 12k| 0.000000e+00 | -- | Inf
1636.33/1636.49 c 1636s| 5840k|464319 | 11623k| 2.0 | 476M| 35 | - | 40 |8032 | 40 | 16 | 22 |3486k| 12k| 0.000000e+00 | -- | Inf
1639.13/1639.28 c 1639s| 5850k|464915 | 11643k| 2.0 | 477M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3492k| 12k| 0.000000e+00 | -- | Inf
1642.93/1643.04 c 1643s| 5860k|464906 | 11663k| 2.0 | 477M| 35 | - | 40 |8377 | 40 | 16 | 22 |3499k| 12k| 0.000000e+00 | -- | Inf
1646.03/1646.14 c 1646s| 5870k|465352 | 11683k| 2.0 | 478M| 35 | - | 40 |9592 | 40 | 16 | 22 |3505k| 12k| 0.000000e+00 | -- | Inf
1649.73/1649.86 c 1650s| 5880k|465325 | 11703k| 2.0 | 478M| 35 | - | 40 |8510 | 0 | 0 | 22 |3511k| 12k| 0.000000e+00 | -- | Inf
1653.04/1653.11 c 1653s| 5890k|465509 | 11722k| 2.0 | 478M| 35 | - | 40 |8465 | 40 | 16 | 22 |3518k| 12k| 0.000000e+00 | -- | Inf
1655.93/1656.09 c 1656s| 5900k|465930 | 11743k| 2.0 | 479M| 35 | - | 40 |9499 | 0 | 0 | 22 |3524k| 12k| 0.000000e+00 | -- | Inf
1659.63/1659.77 c 1660s| 5910k|465800 | 11763k| 2.0 | 478M| 35 | - | 40 |7720 | 40 | 16 | 22 |3531k| 12k| 0.000000e+00 | -- | Inf
1662.33/1662.43 c 1662s| 5920k|466374 | 11783k| 2.0 | 480M| 35 | 5 | 40 |9332 | 40 | 16 | 22 |3537k| 12k| 0.000000e+00 | -- | Inf
1665.73/1665.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.73/1665.83 c 1666s| 5930k|466485 | 11803k| 2.0 | 480M| 35 | - | 40 |9792 | 40 | 16 | 22 |3543k| 12k| 0.000000e+00 | -- | Inf
1669.23/1669.33 c 1669s| 5940k|466581 | 11823k| 2.0 | 480M| 35 | 5 | 40 |9691 | 40 | 16 | 22 |3550k| 12k| 0.000000e+00 | -- | Inf
1672.43/1672.58 c 1673s| 5950k|466910 | 11843k| 2.0 | 481M| 35 | - | 40 |9657 | 40 | 16 | 22 |3556k| 12k| 0.000000e+00 | -- | Inf
1675.43/1675.59 c 1676s| 5960k|467370 | 11862k| 2.0 | 482M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3562k| 12k| 0.000000e+00 | -- | Inf
1678.84/1678.94 c 1679s| 5970k|467637 | 11882k| 2.0 | 482M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3569k| 12k| 0.000000e+00 | -- | Inf
1682.24/1682.39 c 1682s| 5980k|467865 | 11902k| 2.0 | 482M| 35 | - | 40 |9632 | 0 | 0 | 22 |3575k| 12k| 0.000000e+00 | -- | Inf
1685.53/1685.63 c 1686s| 5990k|468092 | 11922k| 2.0 | 483M| 35 | - | 40 | 10k| 0 | 0 | 22 |3582k| 12k| 0.000000e+00 | -- | Inf
1688.84/1688.98 c 1689s| 6000k|468506 | 11942k| 2.0 | 484M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3588k| 12k| 0.000000e+00 | -- | Inf
1691.33/1691.47 c 1691s| 6010k|469709 | 11964k| 2.0 | 485M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3594k| 12k| 0.000000e+00 | -- | Inf
1694.43/1694.54 c 1695s| 6020k|470156 | 11984k| 2.0 | 486M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3600k| 12k| 0.000000e+00 | -- | Inf
1697.33/1697.47 c 1697s| 6030k|470863 | 12004k| 2.0 | 487M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3606k| 12k| 0.000000e+00 | -- | Inf
1700.54/1700.66 c 1701s| 6040k|471017 | 12025k| 2.0 | 487M| 35 | - | 40 | 13k| 40 | 16 | 22 |3612k| 12k| 0.000000e+00 | -- | Inf
1703.93/1704.07 c 1704s| 6050k|472071 | 12046k| 2.0 | 488M| 35 | - | 40 | 11k| 0 | 0 | 22 |3619k| 12k| 0.000000e+00 | -- | Inf
1706.93/1707.07 c 1707s| 6060k|473072 | 12067k| 2.0 | 489M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3625k| 12k| 0.000000e+00 | -- | Inf
1710.13/1710.26 c 1710s| 6070k|473846 | 12089k| 2.0 | 490M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3632k| 12k| 0.000000e+00 | -- | Inf
1713.64/1713.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.64/1713.76 c 1714s| 6080k|474274 | 12110k| 2.0 | 491M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3639k| 12k| 0.000000e+00 | -- | Inf
1717.94/1718.05 c 1718s| 6090k|474174 | 12130k| 2.0 | 490M| 35 | - | 40 | 10k| 40 | 16 | 22 |3646k| 12k| 0.000000e+00 | -- | Inf
1721.53/1721.67 c 1722s| 6100k|474386 | 12149k| 2.0 | 491M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3652k| 12k| 0.000000e+00 | -- | Inf
1725.43/1725.59 c 1726s| 6110k|474426 | 12169k| 2.0 | 491M| 35 | - | 40 |9186 | 40 | 16 | 22 |3659k| 12k| 0.000000e+00 | -- | Inf
1728.04/1728.19 c 1728s| 6120k|475409 | 12189k| 2.0 | 493M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3665k| 12k| 0.000000e+00 | -- | Inf
1731.84/1731.90 c 1732s| 6130k|475486 | 12209k| 2.0 | 492M| 35 | - | 40 |9995 | 40 | 16 | 22 |3672k| 12k| 0.000000e+00 | -- | Inf
1735.54/1735.68 c 1736s| 6140k|475467 | 12228k| 2.0 | 492M| 35 | 5 | 40 |8921 | 40 | 16 | 22 |3678k| 12k| 0.000000e+00 | -- | Inf
1738.84/1738.90 c 1739s| 6150k|475703 | 12248k| 2.0 | 493M| 35 | 5 | 40 |9359 | 40 | 16 | 22 |3684k| 12k| 0.000000e+00 | -- | Inf
1741.84/1741.99 c 1742s| 6160k|476378 | 12268k| 2.0 | 494M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3690k| 12k| 0.000000e+00 | -- | Inf
1744.73/1744.80 c 1745s| 6170k|476726 | 12288k| 2.0 | 495M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3697k| 12k| 0.000000e+00 | -- | Inf
1748.33/1748.47 c 1748s| 6180k|476769 | 12308k| 2.0 | 495M| 35 | - | 40 |9851 | 40 | 16 | 22 |3704k| 12k| 0.000000e+00 | -- | Inf
1752.14/1752.25 c 1752s| 6190k|476753 | 12327k| 2.0 | 494M| 35 | 5 | 40 |8355 | 40 | 16 | 22 |3710k| 12k| 0.000000e+00 | -- | Inf
1755.74/1755.82 c 1756s| 6200k|476786 | 12347k| 2.0 | 495M| 35 | - | 40 |8311 | 40 | 16 | 22 |3717k| 12k| 0.000000e+00 | -- | Inf
1758.93/1759.08 c 1759s| 6210k|477021 | 12366k| 2.0 | 495M| 35 | - | 40 |8891 | 40 | 16 | 22 |3723k| 12k| 0.000000e+00 | -- | Inf
1761.93/1762.04 c 1762s| 6220k|477761 | 12386k| 2.0 | 496M| 35 | - | 40 |9679 | 40 | 16 | 22 |3728k| 12k| 0.000000e+00 | -- | Inf
1765.04/1765.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.04/1765.15 c 1765s| 6230k|477732 | 12405k| 2.0 | 496M| 35 | 5 | 40 |9203 | 40 | 16 | 22 |3735k| 12k| 0.000000e+00 | -- | Inf
1768.64/1768.73 c 1769s| 6240k|477861 | 12425k| 2.0 | 497M| 35 | - | 40 |9419 | 0 | 0 | 22 |3741k| 12k| 0.000000e+00 | -- | Inf
1772.04/1772.19 c 1772s| 6250k|478157 | 12445k| 2.0 | 497M| 35 | 5 | 40 |9433 | 40 | 16 | 22 |3748k| 12k| 0.000000e+00 | -- | Inf
1774.94/1775.02 c 1775s| 6260k|478809 | 12465k| 2.0 | 498M| 35 | - | 40 | 11k| 0 | 0 | 22 |3753k| 12k| 0.000000e+00 | -- | Inf
1778.83/1778.91 c 1779s| 6270k|478782 | 12484k| 2.0 | 498M| 35 | - | 40 |9230 | 40 | 16 | 22 |3759k| 12k| 0.000000e+00 | -- | Inf
1782.13/1782.29 c 1782s| 6280k|478970 | 12504k| 2.0 | 499M| 35 | 5 | 40 |9822 | 40 | 16 | 22 |3766k| 12k| 0.000000e+00 | -- | Inf
1785.53/1785.60 c 1786s| 6290k|479183 | 12525k| 2.0 | 499M| 35 | - | 40 |9442 | 40 | 16 | 22 |3773k| 12k| 0.000000e+00 | -- | Inf
1788.93/1789.05 c 1789s| 6300k|479160 | 12545k| 2.0 | 499M| 35 | - | 40 |7885 | 40 | 16 | 22 |3779k| 12k| 0.000000e+00 | -- | Inf
1791.93/1792.08 c 1792s| 6310k|479359 | 12564k| 2.0 | 499M| 35 | 5 | 40 |8558 | 40 | 16 | 22 |3786k| 12k| 0.000000e+00 | -- | Inf
1794.64/1794.71 c 1795s| 6320k|480883 | 12585k| 2.0 | 501M| 35 | 5 | 40 |9622 | 40 | 16 | 22 |3792k| 12k| 0.000000e+00 | -- | Inf
1796.93/1797.00 c
1796.93/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.93/1797.00 c Solving Time (sec) : 1797.00
1796.93/1797.00 c Solving Nodes : 6328517
1796.93/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.93/1797.00 c Dual Bound : +0.00000000000000e+00
1796.93/1797.00 c Gap : infinite
1796.93/1797.00 s UNKNOWN
1796.93/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.93/1797.00 c Total Time : 1797.00
1796.93/1797.00 c solving : 1797.00
1796.93/1797.00 c presolving : 0.00 (included in solving)
1796.93/1797.00 c reading : 0.00 (included in solving)
1796.93/1797.00 c Original Problem :
1796.93/1797.00 c Problem name : HOME/instance-3488791-1307774046.opb
1796.93/1797.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.93/1797.00 c Constraints : 11 initial, 11 maximal
1796.93/1797.00 c Presolved Problem :
1796.93/1797.00 c Problem name : t_HOME/instance-3488791-1307774046.opb
1796.93/1797.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.93/1797.00 c Constraints : 5 initial, 18335 maximal
1796.93/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.93/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.93/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1796.93/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.93/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.93/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.93/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.93/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.93/1797.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1796.93/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.93/1797.00 c root node : - 0 - - 0 - - - - -
1796.93/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.93/1797.00 c integral : 0 0 0 3700123 0 4 0 1517 6640 0 0 7385220
1796.93/1797.00 c linear : 5+ 7 15097027 0 1 3 12046973 1493777 12603080 0 0 0
1796.93/1797.00 c logicor : 0+ 6 7510661 0 0 0 6584888 31620 2977124 0 0 0
1796.93/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1796.93/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.93/1797.00 c integral : 20.70 0.00 0.00 20.70 0.00 0.00 0.00
1796.93/1797.00 c linear : 163.20 0.00 140.31 0.00 0.00 0.00 22.89
1796.93/1797.00 c logicor : 522.83 0.00 515.52 0.00 0.00 0.00 7.31
1796.93/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.93/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.93/1797.00 c vbounds : 0 0 0 0
1796.93/1797.00 c rootredcost : 0 0 0 0
1796.93/1797.00 c pseudoobj : 0 0 0 0
1796.93/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.93/1797.00 c vbounds : 2.24 2.24 0.00
1796.93/1797.00 c rootredcost : 2.34 2.34 0.00
1796.93/1797.00 c pseudoobj : 1.62 1.62 0.00
1796.93/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.93/1797.00 c propagation : 41.73 1525397 1107447 3292986 28.2 149 23.7 -
1796.93/1797.00 c infeasible LP : 37.25 1660058 1660024 2917693 18.4 21456 23.4 0
1796.93/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.93/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.93/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.93/1797.00 c applied globally : - - - 3759965 20.3 - - -
1796.93/1797.00 c applied locally : - - - 38079 31.6 - - -
1796.93/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.93/1797.00 c cut pool : 0.00 5 - - 37 - (maximal pool size: 94)
1796.93/1797.00 c redcost : 3.72 3700128 0 0 0 0
1796.93/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1796.93/1797.00 c intobj : 0.00 0 0 0 0 0
1796.93/1797.00 c gomory : 0.00 6 0 0 0 0
1796.93/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.93/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.93/1797.00 c strongcg : 0.00 6 0 0 29 0
1796.93/1797.00 c cmir : 0.01 6 0 0 36 0
1796.93/1797.00 c flowcover : 0.01 6 0 0 51 0
1796.93/1797.00 c clique : 0.00 1 0 0 0 0
1796.93/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.93/1797.00 c mcf : 0.00 1 0 0 0 0
1796.93/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.93/1797.00 c rapidlearning : 0.01 1 0 0 0 15
1796.93/1797.00 c Pricers : Time Calls Vars
1796.93/1797.00 c problem variables: 0.00 0 0
1796.93/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.93/1797.00 c relpscost : 18.80 3700123 1517 6640 0 0 7385220
1796.93/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.93/1797.00 c inference : 0.00 1 0 0 0 0 2
1796.93/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.93/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.93/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.93/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.93/1797.00 c random : 0.00 0 0 0 0 0 0
1796.93/1797.00 c Primal Heuristics : Time Calls Found
1796.93/1797.00 c LP solutions : 0.00 - 0
1796.93/1797.00 c pseudo solutions : 0.00 - 0
1796.93/1797.00 c oneopt : 1.63 0 0
1796.93/1797.00 c crossover : 1.11 0 0
1796.93/1797.00 c guideddiving : 0.15 0 0
1796.93/1797.00 c intshifting : 0.06 0 0
1796.93/1797.00 c coefdiving : 0.16 240 0
1796.93/1797.00 c pscostdiving : 0.17 240 0
1796.93/1797.00 c fracdiving : 0.16 240 0
1796.93/1797.00 c veclendiving : 0.17 240 0
1796.93/1797.00 c linesearchdiving : 0.18 240 0
1796.93/1797.00 c feaspump : 0.15 120 0
1796.93/1797.00 c objpscostdiving : 0.13 121 0
1796.93/1797.00 c rootsoldiving : 0.17 121 0
1796.93/1797.00 c trivial : 0.00 2 0
1796.93/1797.00 c shiftandpropagate: 0.00 1 0
1796.93/1797.00 c simplerounding : 0.65 0 0
1796.93/1797.00 c zirounding : 8.48 0 0
1796.93/1797.00 c rounding : 1.35 27319 0
1796.93/1797.00 c shifting : 1.77 7790 0
1796.93/1797.00 c twoopt : 0.00 0 0
1796.93/1797.00 c fixandinfer : 0.00 0 0
1796.93/1797.00 c clique : 0.00 0 0
1796.93/1797.00 c intdiving : 0.00 0 0
1796.93/1797.00 c actconsdiving : 0.00 0 0
1796.93/1797.00 c octane : 0.00 0 0
1796.93/1797.00 c rens : 0.02 1 0
1796.93/1797.00 c rins : 0.00 0 0
1796.93/1797.00 c localbranching : 0.00 0 0
1796.93/1797.00 c mutation : 0.00 0 0
1796.93/1797.00 c dins : 0.00 0 0
1796.93/1797.00 c vbounds : 0.00 0 0
1796.93/1797.00 c undercover : 0.00 0 0
1796.93/1797.00 c subnlp : 0.90 0 0
1796.93/1797.00 c trysol : 1.13 0 0
1796.93/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.93/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.93/1797.00 c dual LP : 229.09 5245907 12599172 2.40 54995.92
1796.93/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.93/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.93/1797.00 c diving/probing LP: 0.14 2793 4665 1.67 33418.34
1796.93/1797.00 c strong branching : 0.98 13002 43022 3.31 44052.34
1796.93/1797.00 c (at root node) : - 10 276 27.60 -
1796.93/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.93/1797.00 c B&B Tree :
1796.93/1797.00 c number of runs : 1
1796.93/1797.00 c nodes : 6328517
1796.93/1797.00 c nodes (total) : 6328517
1796.93/1797.00 c nodes left : 481850
1796.93/1797.00 c max depth : 35
1796.93/1797.00 c max depth (total): 35
1796.93/1797.00 c backtracks : 1456041 (23.0%)
1796.93/1797.00 c delayed cutoffs : 574856
1796.93/1797.00 c repropagations : 4720930 (6668234 domain reductions, 548215 cutoffs)
1796.93/1797.00 c avg switch length: 5.76
1796.93/1797.00 c switching time : 513.68
1796.93/1797.00 c Solution :
1796.93/1797.00 c Solutions found : 0 (0 improvements)
1796.93/1797.00 c Primal Bound : -
1796.93/1797.00 c Dual Bound : +0.00000000000000e+00
1796.93/1797.00 c Gap : infinite
1796.93/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.93/1797.00 c Root Iterations : 123
1798.63/1798.73 c Time complete: 1798.67.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488791-1307774046/watcher-3488791-1307774046 -o /tmp/evaluation-result-3488791-1307774046/solver-3488791-1307774046 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488791-1307774046.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: 2.00 2.01 2.00 3/175 26368
/proc/meminfo: memFree=30607192/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=12568 CPUtime=0 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 2142 0 0 0 0 0 0 0 25 0 1 0 889004290 12869632 2097 33554432000 4194304 9016284 140733973047168 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26368/statm: 3142 2097 360 1178 0 1960 0
[startup+0.049418 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26368
/proc/meminfo: memFree=30607192/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=28240 CPUtime=0.04 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 6742 0 0 0 4 0 0 0 18 0 1 0 889004290 28917760 5734 33554432000 4194304 9016284 140733973047168 18446744073709551615 5200304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 7316 5745 679 1178 0 6134 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28240
[startup+0.100412 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26368
/proc/meminfo: memFree=30607192/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=26192 CPUtime=0.08 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 7007 0 0 0 7 1 0 0 18 0 1 0 889004290 26820608 5511 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 6548 5511 683 1178 0 5366 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26192
[startup+0.300376 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26368
/proc/meminfo: memFree=30607192/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=26192 CPUtime=0.29 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 7009 0 0 0 25 4 0 0 18 0 1 0 889004290 26820608 5513 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 6548 5513 684 1178 0 5366 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26192
[startup+0.700305 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26368
/proc/meminfo: memFree=30607192/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=26192 CPUtime=0.69 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 7013 0 0 0 61 8 0 0 18 0 1 0 889004290 26820608 5517 33554432000 4194304 9016284 140733973047168 18446744073709551615 4985872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 6548 5517 684 1178 0 5366 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26192
[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26369
/proc/meminfo: memFree=30587496/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=26192 CPUtime=1.49 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 7021 0 0 0 132 17 0 0 19 0 1 0 889004290 26820608 5525 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 6548 5525 684 1178 0 5366 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26192
[startup+3.10089 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26369
/proc/meminfo: memFree=30587248/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=26504 CPUtime=3.09 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 7038 0 0 0 278 31 0 0 25 0 1 0 889004290 27140096 5542 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 6626 5542 684 1178 0 5444 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26504
[startup+6.30033 s]
/proc/loadavg: 2.16 2.04 2.01 3/176 26369
/proc/meminfo: memFree=30585032/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=30240 CPUtime=6.29 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 7955 0 0 0 567 62 0 0 25 0 1 0 889004290 30965760 6459 33554432000 4194304 9016284 140733973047168 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 7560 6459 684 1178 0 6378 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30240
[startup+12.7002 s]
/proc/loadavg: 2.15 2.04 2.01 3/176 26369
/proc/meminfo: memFree=30576916/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=37788 CPUtime=12.69 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 9836 0 0 0 1154 115 0 0 25 0 1 0 889004290 38694912 8340 33554432000 4194304 9016284 140733973047168 18446744073709551615 6466192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 9447 8340 684 1178 0 8265 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37788
[startup+25.501 s]
/proc/loadavg: 2.11 2.04 2.01 3/176 26370
/proc/meminfo: memFree=30565028/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=49180 CPUtime=25.49 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 12733 0 0 0 2329 220 0 0 25 0 1 0 889004290 50360320 11237 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 12295 11237 684 1178 0 11113 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49180
[startup+51.1006 s]
/proc/loadavg: 2.07 2.04 2.01 3/176 26371
/proc/meminfo: memFree=30544812/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=68752 CPUtime=51.09 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 17746 0 0 0 4707 402 0 0 25 0 1 0 889004290 70402048 16250 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 17188 16250 684 1178 0 16006 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 68752
[startup+102.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 26372
/proc/meminfo: memFree=30509420/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=104568 CPUtime=102.3 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 26139 0 0 0 9477 753 0 0 25 0 1 0 889004290 107077632 24643 33554432000 4194304 9016284 140733973047168 18446744073709551615 5325856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 26142 24643 684 1178 0 24960 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 104568
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26373
/proc/meminfo: memFree=30473648/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=136220 CPUtime=162.28 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 34206 0 0 0 15058 1170 0 0 25 0 1 0 889004290 139489280 32710 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 34055 32710 684 1178 0 32873 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 136220
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 26375
/proc/meminfo: memFree=30442240/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=163848 CPUtime=222.28 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 41160 0 0 0 20685 1543 0 0 25 0 1 0 889004290 167780352 39664 33554432000 4194304 9016284 140733973047168 18446744073709551615 6469475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 40962 39664 684 1178 0 39780 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 163848
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26377
/proc/meminfo: memFree=30417036/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=187828 CPUtime=282.28 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 47253 0 0 0 26342 1886 0 0 25 0 1 0 889004290 192335872 45757 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 46957 45757 684 1178 0 45775 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 187828
[startup+342.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 26379
/proc/meminfo: memFree=30385144/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=216736 CPUtime=342.28 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 53546 0 0 0 32022 2206 0 0 25 0 1 0 889004290 221937664 52050 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 54184 52050 684 1178 0 53002 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 216736
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26380
/proc/meminfo: memFree=30343836/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=241572 CPUtime=402.28 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 59933 0 0 0 37729 2499 0 0 25 0 1 0 889004290 247369728 58437 33554432000 4194304 9016284 140733973047168 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 60393 58437 684 1178 0 59211 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 241572
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26381
/proc/meminfo: memFree=30313312/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=257840 CPUtime=462.28 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 63889 0 0 0 43453 2775 0 0 25 0 1 0 889004290 264028160 62393 33554432000 4194304 9016284 140733973047168 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 64460 62393 684 1178 0 63278 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 257840
[startup+522.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 26383
/proc/meminfo: memFree=30272104/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=279540 CPUtime=522.28 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 69470 0 0 0 49141 3087 0 0 25 0 1 0 889004290 286248960 67974 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 69885 67974 684 1178 0 68703 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 279540
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 26385
/proc/meminfo: memFree=30242060/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=296048 CPUtime=582.28 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 73470 0 0 0 54864 3364 0 0 25 0 1 0 889004290 303153152 71974 33554432000 4194304 9016284 140733973047168 18446744073709551615 5325542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 74012 71974 684 1178 0 72830 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 296048
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=29871768/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=415420 CPUtime=1062.3 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 103760 0 0 0 100614 5616 0 0 25 0 1 0 889004290 425390080 102264 33554432000 4194304 9016284 140733973047168 18446744073709551615 5325948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 103855 102264 684 1178 0 102673 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 415420
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26399
/proc/meminfo: memFree=29831056/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=428516 CPUtime=1122.29 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 107072 0 0 0 106342 5887 0 0 25 0 1 0 889004290 438800384 105576 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 107129 105576 684 1178 0 105947 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 428516
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 26401
/proc/meminfo: memFree=29801392/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=438180 CPUtime=1182.29 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 109534 0 0 0 112089 6140 0 0 25 0 1 0 889004290 448696320 108038 33554432000 4194304 9016284 140733973047168 18446744073709551615 6469459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 109545 108038 684 1178 0 108363 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 438180
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26403
/proc/meminfo: memFree=29769380/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=451852 CPUtime=1242.3 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 112856 0 0 0 117818 6412 0 0 25 0 1 0 889004290 462696448 111360 33554432000 4194304 9016284 140733973047168 18446744073709551615 6469475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 112963 111360 684 1178 0 111781 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 451852
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26404
/proc/meminfo: memFree=29741704/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=460760 CPUtime=1302.3 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 115139 0 0 0 123560 6670 0 0 25 0 1 0 889004290 471818240 113643 33554432000 4194304 9016284 140733973047168 18446744073709551615 5325559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 115190 113643 684 1178 0 114008 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 460760
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26405
/proc/meminfo: memFree=29714388/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=471396 CPUtime=1362.3 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 117799 0 0 0 129306 6924 0 0 25 0 1 0 889004290 482709504 116303 33554432000 4194304 9016284 140733973047168 18446744073709551615 6469453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 117849 116303 684 1178 0 116667 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 471396
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26407
/proc/meminfo: memFree=29687068/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=479732 CPUtime=1422.3 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 119928 0 0 0 135054 7176 0 0 25 0 1 0 889004290 491245568 118432 33554432000 4194304 9016284 140733973047168 18446744073709551615 6468899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 119933 118432 684 1178 0 118751 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 479732
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26409
/proc/meminfo: memFree=29652324/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=490360 CPUtime=1482.3 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 122636 0 0 0 140793 7437 0 0 25 0 1 0 889004290 502128640 121140 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 122590 121140 684 1178 0 121408 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 490360
[startup+1542.3 s]
/proc/loadavg: 2.45 2.14 2.05 3/176 26449
/proc/meminfo: memFree=28979924/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=499496 CPUtime=1542.23 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 124999 0 0 0 146551 7672 0 0 25 0 1 0 889004290 511483904 123503 33554432000 4194304 9016284 140733973047168 18446744073709551615 6469463 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26368/statm: 124874 123503 684 1178 0 123692 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 499496
[startup+1602.3 s]
/proc/loadavg: 2.16 2.12 2.04 3/176 26450
/proc/meminfo: memFree=28841908/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=521500 CPUtime=1602.23 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 128472 0 0 0 152311 7912 0 0 25 0 1 0 889004290 534016000 126976 33554432000 4194304 9016284 140733973047168 18446744073709551615 4653864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 130375 126976 684 1178 0 129193 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 521500
[startup+1662.3 s]
/proc/loadavg: 2.06 2.09 2.04 3/176 26460
/proc/meminfo: memFree=28830328/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=527644 CPUtime=1662.23 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 130034 0 0 0 158082 8141 0 0 25 0 1 0 889004290 540307456 128538 33554432000 4194304 9016284 140733973047168 18446744073709551615 4347632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 131911 128538 684 1178 0 130729 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 527644
[startup+1722.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/176 26462
/proc/meminfo: memFree=28820048/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=538516 CPUtime=1722.23 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 132628 0 0 0 163827 8396 0 0 25 0 1 0 889004290 551440384 131132 33554432000 4194304 9016284 140733973047168 18446744073709551615 4857297 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 134629 131132 684 1178 0 133447 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 538516
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.02 3/176 26464
/proc/meminfo: memFree=28813560/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=544656 CPUtime=1782.24 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 134200 0 0 0 169582 8642 0 0 25 0 1 0 889004290 557727744 132704 33554432000 4194304 9016284 140733973047168 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 136164 132704 684 1178 0 134982 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 544656
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.05 2.02 3/176 26464
/proc/meminfo: memFree=28812708/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=545488 CPUtime=1791.84 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 134408 0 0 0 170499 8685 0 0 25 0 1 0 889004290 558579712 132912 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 136372 132912 684 1178 0 135190 0
Current children cumulated CPU time (s) 1791.84
Current children cumulated vsize (KiB) 545488
[startup+1795.1 s]
/proc/loadavg: 2.00 2.05 2.02 3/176 26464
/proc/meminfo: memFree=28811096/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=547024 CPUtime=1795.04 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 134800 0 0 0 170803 8701 0 0 25 0 1 0 889004290 560152576 133304 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 136756 133304 684 1178 0 135574 0
Current children cumulated CPU time (s) 1795.04
Current children cumulated vsize (KiB) 547024
[startup+1796.7 s]
/proc/loadavg: 2.00 2.05 2.02 3/176 26464
/proc/meminfo: memFree=28810476/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=548048 CPUtime=1796.63 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 135061 0 0 0 170953 8710 0 0 25 0 1 0 889004290 561201152 133565 33554432000 4194304 9016284 140733973047168 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26368/statm: 137012 133565 684 1178 0 135830 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (KiB) 548048
[startup+1797.5 s]
/proc/loadavg: 2.00 2.05 2.02 3/176 26464
/proc/meminfo: memFree=28810104/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=548048 CPUtime=1797.43 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 135064 0 0 0 171031 8712 0 0 25 0 1 0 889004290 561201152 133568 33554432000 4194304 9016284 140733973047168 18446744073709551615 4839196 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26368/statm: 137012 133568 685 1178 0 135830 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 548048
[startup+1798.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/176 26464
/proc/meminfo: memFree=28810104/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=548048 CPUtime=1798.23 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 135064 0 0 0 171111 8712 0 0 25 0 1 0 889004290 561201152 133568 33554432000 4194304 9016284 140733973047168 18446744073709551615 6812690 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26368/statm: 137012 133568 685 1178 0 135830 0
Current children cumulated CPU time (s) 1798.23
Current children cumulated vsize (KiB) 548048
[startup+1798.7 s]
/proc/loadavg: 2.00 2.05 2.02 3/176 26464
/proc/meminfo: memFree=28810104/32951132 swapFree=67054616/67111528
[pid=26368] ppid=26366 vsize=548048 CPUtime=1798.63 cores=1,3,5,7
/proc/26368/stat : 26368 (scip-2.0.1.4b_2) R 26366 26368 24772 0 -1 4202496 135064 0 0 0 171151 8712 0 0 25 0 1 0 889004290 561201152 133568 33554432000 4194304 9016284 140733973047168 18446744073709551615 6817545 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26368/statm: 137012 133568 685 1178 0 135830 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 548048
Child status: 0
Real time (s): 1798.74
CPU time (s): 1798.68
CPU user time (s): 1711.53
CPU system time (s): 87.1497
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 548048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1711.53
system time used= 87.1498
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135069
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= 6
involuntary context switches= 2750
runsolver used 2.41163 second user time and 5.88511 second system time
The end