0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450871-1307096786.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 = 1800
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.03/0.04 c 0.0s| 1 | 0 | 110 | - | 398k| 0 | 15 | 40 | 33 | 40 | 25 | 20 | 13 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 123 | - | 403k| 0 | 16 | 40 | 33 | 40 | 27 | 22 | 13 | 0 | 0.000000e+00 | -- | Inf
0.03/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.41 c 1.4s| 10000 | 3668 | 21383 | 2.1 |3816k| 34 | 5 | 40 |3503 | 40 | 16 | 22 |4067 | 493 | 0.000000e+00 | -- | Inf
2.79/2.89 c 2.9s| 20000 | 6906 | 42273 | 2.1 |5651k| 34 | - | 40 |3065 | 40 | 16 | 22 |8481 | 684 | 0.000000e+00 | -- | Inf
4.30/4.36 c 4.4s| 30000 | 9814 | 62811 | 2.1 |7453k| 34 | 5 | 40 |3174 | 40 | 16 | 22 | 12k| 845 | 0.000000e+00 | -- | Inf
5.79/5.86 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.41 c 7.4s| 50000 | 15251 |104052 | 2.1 | 10M| 34 | 5 | 40 |3607 | 40 | 16 | 22 | 22k|1098 | 0.000000e+00 | -- | Inf
8.99/9.03 c 9.0s| 60000 | 17621 |124143 | 2.1 | 12M| 34 | 5 | 40 |3957 | 40 | 16 | 22 | 27k|1219 | 0.000000e+00 | -- | Inf
10.49/10.50 c 10.5s| 70000 | 20553 |144922 | 2.1 | 14M| 34 | - | 40 |5139 | 0 | 0 | 22 | 31k|1313 | 0.000000e+00 | -- | Inf
12.19/12.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.19/12.28 c 12.3s| 80000 | 22830 |164730 | 2.1 | 15M| 34 | 5 | 40 |3891 | 40 | 16 | 22 | 36k|1421 | 0.000000e+00 | -- | Inf
13.89/13.91 c 13.9s| 90000 | 25099 |184330 | 2.0 | 17M| 34 | 5 | 40 |3947 | 40 | 16 | 22 | 41k|1500 | 0.000000e+00 | -- | Inf
15.59/15.60 c 15.6s|100000 | 27390 |204606 | 2.0 | 19M| 34 | 5 | 40 |4480 | 40 | 16 | 22 | 46k|1598 | 0.000000e+00 | -- | Inf
17.29/17.31 c 17.3s|110000 | 29625 |224669 | 2.0 | 20M| 34 | - | 40 |4143 | 40 | 16 | 22 | 51k|1674 | 0.000000e+00 | -- | Inf
18.89/18.96 c 19.0s|120000 | 31866 |245379 | 2.0 | 22M| 34 | 5 | 40 |4709 | 40 | 16 | 22 | 56k|1751 | 0.000000e+00 | -- | Inf
20.69/20.77 c 20.8s|130000 | 33772 |265451 | 2.0 | 23M| 34 | - | 40 |4375 | 0 | 0 | 22 | 61k|1856 | 0.000000e+00 | -- | Inf
22.49/22.53 c 22.5s|140000 | 35802 |286540 | 2.0 | 24M| 34 | - | 40 |4549 | 40 | 16 | 22 | 66k|1924 | 0.000000e+00 | -- | Inf
24.21/24.27 c 24.3s|150000 | 37833 |306822 | 2.0 | 26M| 34 | 5 | 40 |5201 | 40 | 16 | 22 | 71k|1991 | 0.000000e+00 | -- | Inf
26.09/26.17 c 26.2s|160000 | 39665 |326463 | 2.0 | 27M| 34 | 5 | 40 |4647 | 40 | 16 | 22 | 76k|2042 | 0.000000e+00 | -- | Inf
27.89/27.96 c 28.0s|170000 | 41449 |346582 | 2.0 | 29M| 34 | 5 | 40 |4551 | 40 | 16 | 22 | 82k|2117 | 0.000000e+00 | -- | Inf
29.71/29.73 c 29.7s|180000 | 43389 |366980 | 2.0 | 30M| 34 | - | 40 |5810 | 40 | 16 | 22 | 87k|2180 | 0.000000e+00 | -- | Inf
31.59/31.61 c 31.6s|190000 | 45353 |387020 | 2.0 | 32M| 34 | 5 | 40 |5575 | 40 | 16 | 22 | 92k|2231 | 0.000000e+00 | -- | Inf
33.49/33.54 c 33.5s|200000 | 47154 |407184 | 2.0 | 33M| 34 | 5 | 40 |5402 | 40 | 16 | 22 | 98k|2280 | 0.000000e+00 | -- | Inf
35.39/35.42 c 35.4s|210000 | 48736 |426661 | 2.0 | 34M| 34 | - | 40 |5298 | 40 | 16 | 22 | 103k|2326 | 0.000000e+00 | -- | Inf
37.19/37.29 c 37.3s|220000 | 50490 |446602 | 2.0 | 36M| 34 | 5 | 40 |5259 | 40 | 16 | 22 | 108k|2381 | 0.000000e+00 | -- | Inf
39.19/39.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.19/39.22 c 39.2s|230000 | 52143 |466490 | 2.0 | 37M| 34 | 5 | 40 |5449 | 40 | 16 | 22 | 113k|2432 | 0.000000e+00 | -- | Inf
41.18/41.20 c 41.2s|240000 | 53782 |486506 | 2.0 | 38M| 34 | - | 40 |5584 | 40 | 16 | 22 | 119k|2475 | 0.000000e+00 | -- | Inf
43.09/43.10 c 43.1s|250000 | 55325 |506656 | 2.0 | 40M| 34 | 5 | 40 |6681 | 40 | 16 | 22 | 124k|2542 | 0.000000e+00 | -- | Inf
45.19/45.22 c 45.2s|260000 | 56748 |526669 | 2.0 | 41M| 34 | - | 40 |5717 | 40 | 16 | 22 | 130k|2590 | 0.000000e+00 | -- | Inf
47.08/47.11 c 47.1s|270000 | 58460 |548285 | 2.0 | 42M| 34 | 5 | 40 |7267 | 40 | 16 | 22 | 136k|2642 | 0.000000e+00 | -- | Inf
49.08/49.14 c 49.1s|280000 | 60019 |568836 | 2.0 | 44M| 34 | 5 | 40 |7363 | 40 | 16 | 22 | 141k|2696 | 0.000000e+00 | -- | Inf
51.18/51.26 c 51.3s|290000 | 61547 |588766 | 2.0 | 45M| 34 | 5 | 40 |6588 | 40 | 16 | 22 | 146k|2755 | 0.000000e+00 | -- | Inf
52.98/53.01 c 53.0s|300000 | 63752 |608313 | 2.0 | 47M| 34 | 5 | 40 |8985 | 40 | 16 | 22 | 151k|2808 | 0.000000e+00 | -- | Inf
55.29/55.31 c 55.3s|310000 | 65511 |628130 | 2.0 | 48M| 34 | 5 | 40 |7086 | 40 | 16 | 22 | 156k|2846 | 0.000000e+00 | -- | Inf
57.39/57.43 c 57.4s|320000 | 67119 |647804 | 2.0 | 49M| 34 | - | 40 |7266 | 40 | 16 | 22 | 162k|2901 | 0.000000e+00 | -- | Inf
59.41/59.49 c 59.5s|330000 | 68809 |667681 | 2.0 | 51M| 34 | 5 | 40 |8667 | 40 | 16 | 22 | 167k|2943 | 0.000000e+00 | -- | Inf
61.61/61.69 c 61.7s|340000 | 70324 |687683 | 2.0 | 52M| 34 | 5 | 40 |8605 | 40 | 16 | 22 | 172k|3001 | 0.000000e+00 | -- | Inf
64.09/64.13 c 64.1s|350000 | 71536 |708005 | 2.0 | 53M| 34 | - | 40 |6457 | 40 | 16 | 22 | 178k|3051 | 0.000000e+00 | -- | Inf
66.18/66.21 c 66.2s|360000 | 73087 |728382 | 2.0 | 54M| 34 | - | 40 |6990 | 40 | 16 | 22 | 184k|3092 | 0.000000e+00 | -- | Inf
68.39/68.45 c 68.4s|370000 | 74398 |748335 | 2.0 | 55M| 34 | 5 | 40 |6354 | 40 | 16 | 22 | 189k|3138 | 0.000000e+00 | -- | Inf
70.40/70.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.40/70.47 c 70.5s|380000 | 75903 |768138 | 2.0 | 57M| 34 | - | 40 |7464 | 0 | 0 | 22 | 195k|3174 | 0.000000e+00 | -- | Inf
72.60/72.63 c 72.6s|390000 | 77565 |788533 | 2.0 | 58M| 34 | - | 40 |7360 | 40 | 16 | 22 | 200k|3214 | 0.000000e+00 | -- | Inf
74.48/74.56 c 74.6s|400000 | 79485 |809475 | 2.0 | 59M| 34 | - | 40 |8281 | 0 | 0 | 22 | 205k|3259 | 0.000000e+00 | -- | Inf
76.38/76.46 c 76.5s|410000 | 81653 |829049 | 2.0 | 61M| 34 | 5 | 40 |9477 | 40 | 16 | 22 | 210k|3291 | 0.000000e+00 | -- | Inf
78.49/78.53 c 78.5s|420000 | 83658 |849353 | 2.0 | 63M| 34 | - | 40 | 10k| 0 | 0 | 22 | 215k|3333 | 0.000000e+00 | -- | Inf
80.79/80.82 c 80.8s|430000 | 85225 |868981 | 2.0 | 64M| 34 | - | 40 |9991 | 0 | 0 | 22 | 221k|3378 | 0.000000e+00 | -- | Inf
82.98/83.05 c 83.1s|440000 | 86976 |888797 | 2.0 | 65M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 226k|3411 | 0.000000e+00 | -- | Inf
85.18/85.26 c 85.3s|450000 | 88698 |908649 | 2.0 | 67M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 231k|3464 | 0.000000e+00 | -- | Inf
87.59/87.63 c 87.6s|460000 | 90463 |929042 | 2.0 | 69M| 34 | - | 40 | 11k| 40 | 16 | 22 | 237k|3497 | 0.000000e+00 | -- | Inf
90.39/90.47 c 90.5s|470000 | 91765 |948678 | 2.0 | 69M| 34 | 5 | 40 |7710 | 40 | 16 | 22 | 242k|3527 | 0.000000e+00 | -- | Inf
92.49/92.57 c 92.6s|480000 | 93378 |968650 | 2.0 | 70M| 34 | 5 | 40 |8887 | 40 | 16 | 22 | 248k|3559 | 0.000000e+00 | -- | Inf
94.78/94.85 c 94.9s|490000 | 95010 |989660 | 2.0 | 71M| 34 | 5 | 40 |8106 | 40 | 16 | 22 | 254k|3590 | 0.000000e+00 | -- | Inf
97.19/97.23 c 97.2s|500000 | 96273 | 1010k| 2.0 | 72M| 34 | 5 | 40 |6685 | 40 | 16 | 22 | 260k|3629 | 0.000000e+00 | -- | Inf
99.28/99.32 c 99.3s|510000 | 97767 | 1030k| 2.0 | 74M| 34 | 5 | 40 |7199 | 40 | 16 | 22 | 265k|3662 | 0.000000e+00 | -- | Inf
101.28/101.40 c 101s|520000 | 99447 | 1050k| 2.0 | 75M| 34 | - | 40 |7091 | 0 | 0 | 22 | 271k|3703 | 0.000000e+00 | -- | Inf
103.48/103.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.48/103.52 c 104s|530000 |101058 | 1070k| 2.0 | 76M| 34 | 5 | 40 |7287 | 40 | 16 | 22 | 276k|3740 | 0.000000e+00 | -- | Inf
105.61/105.68 c 106s|540000 |102698 | 1089k| 2.0 | 77M| 34 | 5 | 40 |6035 | 40 | 16 | 22 | 281k|3772 | 0.000000e+00 | -- | Inf
107.69/107.75 c 108s|550000 |104192 | 1109k| 2.0 | 79M| 34 | 5 | 40 |6944 | 40 | 16 | 22 | 287k|3815 | 0.000000e+00 | -- | Inf
109.88/109.92 c 110s|560000 |105480 | 1130k| 2.0 | 80M| 34 | - | 40 |6615 | 40 | 16 | 22 | 292k|3842 | 0.000000e+00 | -- | Inf
111.97/112.06 c 112s|570000 |106958 | 1151k| 2.0 | 81M| 34 | 5 | 40 |7460 | 40 | 16 | 22 | 298k|3876 | 0.000000e+00 | -- | Inf
114.16/114.23 c 114s|580000 |108427 | 1171k| 2.0 | 82M| 34 | - | 40 |6646 | 40 | 16 | 22 | 304k|3924 | 0.000000e+00 | -- | Inf
116.17/116.28 c 116s|590000 |110054 | 1193k| 2.0 | 84M| 34 | - | 40 |8203 | 0 | 0 | 22 | 310k|3961 | 0.000000e+00 | -- | Inf
118.68/118.76 c 119s|600000 |111212 | 1214k| 2.0 | 84M| 34 | 5 | 40 |6229 | 40 | 16 | 22 | 316k|3988 | 0.000000e+00 | -- | Inf
120.88/120.99 c 121s|610000 |112403 | 1234k| 2.0 | 86M| 34 | 5 | 40 |6538 | 40 | 16 | 22 | 321k|4022 | 0.000000e+00 | -- | Inf
123.08/123.20 c 123s|620000 |113760 | 1254k| 2.0 | 87M| 34 | 5 | 40 |6449 | 40 | 16 | 22 | 327k|4045 | 0.000000e+00 | -- | Inf
124.97/125.05 c 125s|630000 |115862 | 1273k| 2.0 | 89M| 34 | - | 40 |7990 | 0 | 0 | 22 | 332k|4073 | 0.000000e+00 | -- | Inf
127.06/127.15 c 127s|640000 |117230 | 1293k| 2.0 | 90M| 34 | 5 | 40 |8740 | 40 | 16 | 22 | 337k|4100 | 0.000000e+00 | -- | Inf
129.47/129.56 c 130s|650000 |118499 | 1313k| 2.0 | 90M| 34 | 5 | 40 |6495 | 40 | 16 | 22 | 342k|4125 | 0.000000e+00 | -- | Inf
131.57/131.69 c 132s|660000 |119887 | 1333k| 2.0 | 92M| 34 | - | 40 |7051 | 0 | 0 | 22 | 348k|4162 | 0.000000e+00 | -- | Inf
133.76/133.89 c 134s|670000 |121185 | 1353k| 2.0 | 92M| 34 | - | 40 |6025 | 0 | 0 | 22 | 354k|4199 | 0.000000e+00 | -- | Inf
135.96/136.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.96/136.01 c 136s|680000 |122632 | 1373k| 2.0 | 94M| 34 | - | 40 |6672 | 40 | 16 | 22 | 359k|4238 | 0.000000e+00 | -- | Inf
138.17/138.21 c 138s|690000 |124032 | 1393k| 2.0 | 95M| 34 | 5 | 40 |7273 | 40 | 16 | 22 | 364k|4261 | 0.000000e+00 | -- | Inf
140.36/140.42 c 140s|700000 |125449 | 1413k| 2.0 | 96M| 34 | 5 | 40 |7669 | 40 | 16 | 22 | 370k|4301 | 0.000000e+00 | -- | Inf
142.67/142.77 c 143s|710000 |126742 | 1433k| 2.0 | 97M| 34 | 5 | 40 |6692 | 40 | 16 | 22 | 376k|4338 | 0.000000e+00 | -- | Inf
144.97/145.01 c 145s|720000 |128005 | 1453k| 2.0 | 98M| 34 | - | 40 |7022 | 0 | 0 | 22 | 381k|4365 | 0.000000e+00 | -- | Inf
146.97/147.05 c 147s|730000 |129600 | 1474k| 2.0 | 100M| 34 | - | 40 |8147 | 0 | 0 | 22 | 387k|4390 | 0.000000e+00 | -- | Inf
149.27/149.34 c 149s|740000 |130778 | 1495k| 2.0 | 101M| 34 | - | 40 |7243 | 40 | 16 | 22 | 393k|4421 | 0.000000e+00 | -- | Inf
151.56/151.69 c 152s|750000 |131853 | 1515k| 2.0 | 102M| 34 | 5 | 40 |7088 | 40 | 16 | 22 | 398k|4451 | 0.000000e+00 | -- | Inf
153.98/154.05 c 154s|760000 |132994 | 1535k| 2.0 | 103M| 34 | 5 | 40 |6228 | 40 | 16 | 22 | 404k|4472 | 0.000000e+00 | -- | Inf
156.18/156.28 c 156s|770000 |134168 | 1556k| 2.0 | 104M| 34 | - | 40 |7263 | 40 | 16 | 22 | 410k|4507 | 0.000000e+00 | -- | Inf
158.57/158.60 c 159s|780000 |135398 | 1576k| 2.0 | 105M| 34 | 5 | 40 |6967 | 40 | 16 | 22 | 416k|4535 | 0.000000e+00 | -- | Inf
160.87/160.93 c 161s|790000 |136534 | 1596k| 2.0 | 106M| 34 | - | 40 |6534 | 40 | 16 | 22 | 422k|4563 | 0.000000e+00 | -- | Inf
163.07/163.12 c 163s|800000 |137869 | 1616k| 2.0 | 107M| 34 | - | 40 |6697 | 40 | 16 | 22 | 427k|4593 | 0.000000e+00 | -- | Inf
165.37/165.46 c 165s|810000 |139011 | 1636k| 2.0 | 108M| 34 | - | 40 |6117 | 0 | 0 | 22 | 433k|4614 | 0.000000e+00 | -- | Inf
167.67/167.77 c 168s|820000 |140082 | 1655k| 2.0 | 109M| 34 | 5 | 40 |5984 | 40 | 16 | 22 | 439k|4645 | 0.000000e+00 | -- | Inf
169.77/169.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.77/169.88 c 170s|830000 |141245 | 1676k| 2.0 | 110M| 34 | - | 40 |6707 | 40 | 16 | 22 | 445k|4676 | 0.000000e+00 | -- | Inf
171.87/171.99 c 172s|840000 |142594 | 1696k| 2.0 | 112M| 34 | 5 | 40 |7842 | 40 | 16 | 22 | 450k|4711 | 0.000000e+00 | -- | Inf
174.17/174.21 c 174s|850000 |143910 | 1716k| 2.0 | 113M| 34 | 5 | 40 |8542 | 40 | 16 | 22 | 456k|4750 | 0.000000e+00 | -- | Inf
176.46/176.53 c 177s|860000 |145205 | 1735k| 2.0 | 114M| 34 | - | 40 |7313 | 40 | 16 | 22 | 461k|4775 | 0.000000e+00 | -- | Inf
178.67/178.74 c 179s|870000 |146667 | 1755k| 2.0 | 115M| 34 | 5 | 40 |8077 | 40 | 16 | 22 | 466k|4799 | 0.000000e+00 | -- | Inf
181.06/181.19 c 181s|880000 |147666 | 1776k| 2.0 | 116M| 34 | - | 40 |6505 | 40 | 16 | 22 | 472k|4838 | 0.000000e+00 | -- | Inf
183.37/183.42 c 183s|890000 |148847 | 1796k| 2.0 | 118M| 34 | - | 40 |8602 | 0 | 0 | 22 | 478k|4874 | 0.000000e+00 | -- | Inf
185.67/185.79 c 186s|900000 |149988 | 1815k| 2.0 | 118M| 34 | 5 | 40 |7446 | 40 | 16 | 22 | 484k|4902 | 0.000000e+00 | -- | Inf
188.08/188.19 c 188s|910000 |151002 | 1836k| 2.0 | 119M| 34 | 5 | 40 |6667 | 40 | 16 | 22 | 490k|4937 | 0.000000e+00 | -- | Inf
190.28/190.32 c 190s|920000 |152353 | 1856k| 2.0 | 121M| 34 | - | 40 |8343 | 40 | 16 | 22 | 496k|4970 | 0.000000e+00 | -- | Inf
192.56/192.66 c 193s|930000 |153446 | 1876k| 2.0 | 121M| 34 | 5 | 40 |7740 | 40 | 16 | 22 | 501k|4994 | 0.000000e+00 | -- | Inf
194.97/195.07 c 195s|940000 |154517 | 1896k| 2.0 | 122M| 34 | 5 | 40 |6342 | 40 | 16 | 22 | 507k|5010 | 0.000000e+00 | -- | Inf
197.37/197.48 c 197s|950000 |155372 | 1915k| 2.0 | 123M| 34 | - | 40 |6714 | 40 | 16 | 22 | 513k|5036 | 0.000000e+00 | -- | Inf
199.87/199.95 c 200s|960000 |156098 | 1935k| 2.0 | 124M| 34 | - | 40 |5738 | 40 | 16 | 22 | 519k|5069 | 0.000000e+00 | -- | Inf
202.06/202.12 c 202s|970000 |157285 | 1956k| 2.0 | 125M| 34 | 5 | 40 |6779 | 40 | 16 | 22 | 525k|5090 | 0.000000e+00 | -- | Inf
204.36/204.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.36/204.41 c 204s|980000 |158336 | 1976k| 2.0 | 126M| 34 | - | 40 |6667 | 40 | 16 | 22 | 530k|5113 | 0.000000e+00 | -- | Inf
206.57/206.64 c 207s|990000 |159464 | 1996k| 2.0 | 127M| 34 | - | 40 |7120 | 40 | 16 | 22 | 536k|5147 | 0.000000e+00 | -- | Inf
208.88/209.00 c 209s| 1000k|160511 | 2016k| 2.0 | 128M| 34 | - | 40 |6825 | 40 | 16 | 22 | 542k|5167 | 0.000000e+00 | -- | Inf
211.36/211.43 c 211s| 1010k|161367 | 2036k| 2.0 | 129M| 34 | - | 40 |6353 | 40 | 16 | 22 | 548k|5192 | 0.000000e+00 | -- | Inf
213.47/213.54 c 214s| 1020k|162606 | 2056k| 2.0 | 130M| 34 | 5 | 40 |7691 | 40 | 16 | 22 | 553k|5217 | 0.000000e+00 | -- | Inf
215.96/216.04 c 216s| 1030k|163290 | 2076k| 2.0 | 131M| 34 | - | 40 |6338 | 40 | 16 | 22 | 560k|5238 | 0.000000e+00 | -- | Inf
218.46/218.50 c 218s| 1040k|164181 | 2096k| 2.0 | 132M| 34 | - | 40 |6678 | 0 | 0 | 22 | 566k|5257 | 0.000000e+00 | -- | Inf
220.67/220.79 c 221s| 1050k|165208 | 2116k| 2.0 | 133M| 34 | 5 | 40 |6913 | 40 | 16 | 22 | 572k|5279 | 0.000000e+00 | -- | Inf
223.07/223.18 c 223s| 1060k|166080 | 2136k| 2.0 | 134M| 34 | 5 | 40 |6702 | 40 | 16 | 22 | 577k|5311 | 0.000000e+00 | -- | Inf
225.26/225.33 c 225s| 1070k|167525 | 2157k| 2.0 | 135M| 34 | 5 | 40 |8942 | 40 | 16 | 22 | 583k|5323 | 0.000000e+00 | -- | Inf
227.87/227.98 c 228s| 1080k|168442 | 2176k| 2.0 | 136M| 34 | 5 | 40 |8041 | 40 | 16 | 22 | 589k|5350 | 0.000000e+00 | -- | Inf
230.26/230.30 c 230s| 1090k|169619 | 2195k| 2.0 | 137M| 34 | - | 40 |8407 | 40 | 16 | 22 | 594k|5380 | 0.000000e+00 | -- | Inf
232.77/232.82 c 233s| 1100k|170518 | 2215k| 2.0 | 138M| 34 | 5 | 40 |7683 | 40 | 16 | 22 | 600k|5398 | 0.000000e+00 | -- | Inf
235.17/235.29 c 235s| 1110k|171429 | 2235k| 2.0 | 139M| 34 | 5 | 40 |6480 | 40 | 16 | 22 | 606k|5421 | 0.000000e+00 | -- | Inf
237.48/237.52 c 238s| 1120k|172471 | 2255k| 2.0 | 140M| 34 | - | 40 |7153 | 40 | 16 | 22 | 612k|5458 | 0.000000e+00 | -- | Inf
239.68/239.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.68/239.79 c 240s| 1130k|173615 | 2274k| 2.0 | 141M| 34 | - | 40 |7610 | 0 | 0 | 22 | 617k|5477 | 0.000000e+00 | -- | Inf
242.36/242.41 c 242s| 1140k|174239 | 2295k| 2.0 | 141M| 34 | 5 | 40 |6605 | 40 | 16 | 22 | 623k|5504 | 0.000000e+00 | -- | Inf
244.76/244.88 c 245s| 1150k|175002 | 2315k| 2.0 | 142M| 34 | 5 | 40 |6488 | 40 | 16 | 22 | 629k|5519 | 0.000000e+00 | -- | Inf
247.26/247.33 c 247s| 1160k|175697 | 2335k| 2.0 | 143M| 34 | 5 | 40 |6596 | 40 | 16 | 22 | 635k|5547 | 0.000000e+00 | -- | Inf
249.68/249.75 c 250s| 1170k|176407 | 2355k| 2.0 | 144M| 34 | 5 | 40 |6223 | 40 | 16 | 22 | 641k|5575 | 0.000000e+00 | -- | Inf
252.06/252.16 c 252s| 1180k|177135 | 2375k| 2.0 | 145M| 34 | - | 40 |6640 | 40 | 16 | 22 | 647k|5597 | 0.000000e+00 | -- | Inf
254.36/254.44 c 254s| 1190k|178040 | 2394k| 2.0 | 146M| 34 | 5 | 40 |7584 | 40 | 16 | 22 | 653k|5624 | 0.000000e+00 | -- | Inf
256.77/256.87 c 257s| 1200k|178866 | 2414k| 2.0 | 147M| 34 | - | 40 |6862 | 0 | 0 | 22 | 659k|5642 | 0.000000e+00 | -- | Inf
258.97/259.08 c 259s| 1210k|180024 | 2434k| 2.0 | 148M| 34 | 5 | 40 |7278 | 40 | 16 | 22 | 665k|5665 | 0.000000e+00 | -- | Inf
261.07/261.17 c 261s| 1220k|181694 | 2456k| 2.0 | 150M| 34 | - | 40 |9104 | 0 | 0 | 22 | 670k|5686 | 0.000000e+00 | -- | Inf
263.37/263.49 c 263s| 1230k|183362 | 2476k| 2.0 | 151M| 34 | 5 | 40 |9001 | 40 | 16 | 22 | 676k|5705 | 0.000000e+00 | -- | Inf
265.67/265.74 c 266s| 1240k|184733 | 2496k| 2.0 | 152M| 34 | - | 40 |9675 | 40 | 16 | 22 | 681k|5729 | 0.000000e+00 | -- | Inf
268.07/268.13 c 268s| 1250k|185988 | 2516k| 2.0 | 153M| 34 | - | 40 | 10k| 0 | 0 | 22 | 687k|5748 | 0.000000e+00 | -- | Inf
270.59/270.62 c 271s| 1260k|187132 | 2537k| 2.0 | 154M| 34 | 5 | 40 |8954 | 40 | 16 | 22 | 693k|5769 | 0.000000e+00 | -- | Inf
273.07/273.15 c 273s| 1270k|187964 | 2557k| 2.0 | 155M| 34 | - | 40 |8819 | 40 | 16 | 22 | 699k|5788 | 0.000000e+00 | -- | Inf
275.66/275.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.66/275.78 c 276s| 1280k|188798 | 2577k| 2.0 | 156M| 34 | 5 | 40 |7666 | 40 | 16 | 22 | 705k|5816 | 0.000000e+00 | -- | Inf
277.96/278.03 c 278s| 1290k|189912 | 2597k| 2.0 | 157M| 34 | - | 40 |8105 | 0 | 0 | 22 | 710k|5853 | 0.000000e+00 | -- | Inf
280.56/280.63 c 281s| 1300k|190759 | 2616k| 2.0 | 157M| 34 | 5 | 40 |7183 | 40 | 16 | 22 | 716k|5880 | 0.000000e+00 | -- | Inf
282.87/282.93 c 283s| 1310k|191657 | 2634k| 2.0 | 158M| 34 | - | 40 |7553 | 40 | 16 | 22 | 721k|5895 | 0.000000e+00 | -- | Inf
285.27/285.33 c 285s| 1320k|192528 | 2655k| 2.0 | 159M| 34 | 5 | 40 |7851 | 40 | 16 | 22 | 727k|5915 | 0.000000e+00 | -- | Inf
287.86/287.91 c 288s| 1330k|193281 | 2674k| 2.0 | 160M| 34 | 5 | 40 |6586 | 40 | 16 | 22 | 733k|5938 | 0.000000e+00 | -- | Inf
289.87/289.91 c 290s| 1340k|194749 | 2694k| 2.0 | 162M| 34 | 5 | 40 |9376 | 40 | 16 | 22 | 739k|5963 | 0.000000e+00 | -- | Inf
292.17/292.21 c 292s| 1350k|196109 | 2714k| 2.0 | 163M| 34 | 5 | 40 |9308 | 40 | 16 | 22 | 745k|5979 | 0.000000e+00 | -- | Inf
294.47/294.55 c 295s| 1360k|197316 | 2736k| 2.0 | 164M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 750k|5998 | 0.000000e+00 | -- | Inf
297.16/297.20 c 297s| 1370k|198165 | 2756k| 2.0 | 165M| 34 | 5 | 40 | 10k| 40 | 16 | 22 | 756k|6026 | 0.000000e+00 | -- | Inf
299.46/299.57 c 300s| 1380k|199753 | 2777k| 2.0 | 167M| 34 | - | 40 | 11k| 40 | 16 | 22 | 762k|6054 | 0.000000e+00 | -- | Inf
302.27/302.30 c 302s| 1390k|200742 | 2798k| 2.0 | 168M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 768k|6084 | 0.000000e+00 | -- | Inf
305.17/305.23 c 305s| 1400k|201696 | 2817k| 2.0 | 168M| 34 | 5 | 40 |8877 | 40 | 16 | 22 | 774k|6107 | 0.000000e+00 | -- | Inf
307.88/307.99 c 308s| 1410k|202464 | 2838k| 2.0 | 169M| 34 | - | 40 |8385 | 40 | 16 | 22 | 780k|6124 | 0.000000e+00 | -- | Inf
310.26/310.38 c 310s| 1420k|203496 | 2857k| 2.0 | 170M| 34 | 5 | 40 |9105 | 40 | 16 | 22 | 785k|6152 | 0.000000e+00 | -- | Inf
312.96/313.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.96/313.01 c 313s| 1430k|204317 | 2877k| 2.0 | 170M| 34 | - | 40 |7713 | 0 | 0 | 22 | 791k|6168 | 0.000000e+00 | -- | Inf
315.46/315.57 c 316s| 1440k|205192 | 2897k| 2.0 | 171M| 34 | - | 40 |7368 | 40 | 16 | 22 | 797k|6200 | 0.000000e+00 | -- | Inf
317.88/317.95 c 318s| 1450k|206216 | 2917k| 2.0 | 172M| 34 | 5 | 40 |8215 | 40 | 16 | 22 | 803k|6222 | 0.000000e+00 | -- | Inf
320.16/320.21 c 320s| 1460k|207476 | 2937k| 2.0 | 174M| 34 | - | 40 |9074 | 0 | 0 | 22 | 808k|6243 | 0.000000e+00 | -- | Inf
322.76/322.87 c 323s| 1470k|208237 | 2956k| 2.0 | 174M| 34 | 5 | 40 |7536 | 40 | 16 | 22 | 814k|6261 | 0.000000e+00 | -- | Inf
325.16/325.28 c 325s| 1480k|209071 | 2976k| 2.0 | 175M| 34 | 5 | 40 |7597 | 40 | 16 | 22 | 820k|6289 | 0.000000e+00 | -- | Inf
327.78/327.88 c 328s| 1490k|209808 | 2996k| 2.0 | 175M| 34 | 5 | 40 |6508 | 40 | 16 | 22 | 826k|6303 | 0.000000e+00 | -- | Inf
330.26/330.32 c 330s| 1500k|210613 | 3016k| 2.0 | 177M| 34 | - | 40 |7166 | 40 | 16 | 22 | 832k|6317 | 0.000000e+00 | -- | Inf
332.66/332.77 c 333s| 1510k|211387 | 3036k| 2.0 | 178M| 34 | 5 | 40 |8184 | 40 | 16 | 22 | 838k|6342 | 0.000000e+00 | -- | Inf
334.76/334.89 c 335s| 1520k|212868 | 3056k| 2.0 | 179M| 34 | 5 | 40 |9760 | 40 | 16 | 22 | 843k|6354 | 0.000000e+00 | -- | Inf
337.26/337.38 c 337s| 1530k|213680 | 3074k| 2.0 | 180M| 34 | - | 40 |9555 | 0 | 0 | 22 | 849k|6371 | 0.000000e+00 | -- | Inf
340.26/340.34 c 340s| 1540k|214272 | 3094k| 2.0 | 180M| 34 | 5 | 40 |7453 | 40 | 16 | 22 | 855k|6390 | 0.000000e+00 | -- | Inf
342.86/342.96 c 343s| 1550k|214871 | 3115k| 2.0 | 181M| 34 | 5 | 40 |7022 | 40 | 16 | 22 | 861k|6411 | 0.000000e+00 | -- | Inf
345.27/345.32 c 345s| 1560k|215741 | 3134k| 2.0 | 182M| 34 | - | 40 |8394 | 40 | 16 | 22 | 867k|6432 | 0.000000e+00 | -- | Inf
347.76/347.87 c 348s| 1570k|216639 | 3154k| 2.0 | 183M| 34 | - | 40 |7265 | 40 | 16 | 22 | 874k|6452 | 0.000000e+00 | -- | Inf
350.37/350.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.37/350.46 c 350s| 1580k|217389 | 3174k| 2.0 | 184M| 34 | 5 | 40 |8001 | 40 | 16 | 22 | 880k|6472 | 0.000000e+00 | -- | Inf
352.56/352.69 c 353s| 1590k|218422 | 3194k| 2.0 | 185M| 34 | - | 40 | 10k| 40 | 16 | 22 | 886k|6491 | 0.000000e+00 | -- | Inf
354.96/355.08 c 355s| 1600k|219575 | 3213k| 2.0 | 187M| 34 | - | 40 | 11k| 40 | 16 | 22 | 891k|6505 | 0.000000e+00 | -- | Inf
357.56/357.65 c 358s| 1610k|220829 | 3232k| 2.0 | 188M| 34 | 5 | 40 | 11k| 40 | 16 | 22 | 896k|6529 | 0.000000e+00 | -- | Inf
359.87/359.99 c 360s| 1620k|222997 | 3253k| 2.0 | 189M| 34 | - | 40 | 12k| 40 | 16 | 22 | 902k|6542 | 0.000000e+00 | -- | Inf
362.36/362.41 c 362s| 1630k|225223 | 3273k| 2.0 | 191M| 34 | 5 | 40 | 13k| 40 | 16 | 22 | 907k|6571 | 0.000000e+00 | -- | Inf
364.96/365.09 c 365s| 1640k|227013 | 3293k| 2.0 | 193M| 34 | - | 40 | 13k| 40 | 16 | 22 | 912k|6587 | 0.000000e+00 | -- | Inf
367.86/367.96 c 368s| 1650k|228619 | 3313k| 2.0 | 194M| 34 | - | 40 | 13k| 40 | 16 | 22 | 917k|6603 | 0.000000e+00 | -- | Inf
370.36/370.48 c 370s| 1660k|230870 | 3334k| 2.0 | 196M| 34 | 5 | 40 | 14k| 40 | 16 | 22 | 922k|6622 | 0.000000e+00 | -- | Inf
372.96/373.09 c 373s| 1670k|233094 | 3355k| 2.0 | 197M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 927k|6640 | 0.000000e+00 | -- | Inf
375.96/376.00 c 376s| 1680k|234755 | 3375k| 2.0 | 199M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 932k|6659 | 0.000000e+00 | -- | Inf
378.96/379.05 c 379s| 1690k|236193 | 3395k| 2.0 | 200M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 938k|6682 | 0.000000e+00 | -- | Inf
382.47/382.54 c 383s| 1700k|237456 | 3415k| 2.0 | 201M| 34 | 5 | 40 | 14k| 40 | 16 | 22 | 943k|6695 | 0.000000e+00 | -- | Inf
385.77/385.87 c 386s| 1710k|238683 | 3435k| 2.0 | 202M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 949k|6711 | 0.000000e+00 | -- | Inf
389.16/389.30 c 389s| 1720k|239990 | 3456k| 2.0 | 203M| 34 | - | 40 | 15k| 40 | 16 | 22 | 955k|6727 | 0.000000e+00 | -- | Inf
392.77/392.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.77/392.83 c 393s| 1730k|240955 | 3476k| 2.0 | 204M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 961k|6751 | 0.000000e+00 | -- | Inf
396.17/396.22 c 396s| 1740k|242116 | 3496k| 2.0 | 205M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 966k|6768 | 0.000000e+00 | -- | Inf
400.16/400.21 c 400s| 1750k|242791 | 3517k| 2.0 | 206M| 34 | - | 40 | 15k| 40 | 16 | 22 | 972k|6794 | 0.000000e+00 | -- | Inf
403.57/403.70 c 404s| 1760k|243803 | 3537k| 2.0 | 207M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 978k|6811 | 0.000000e+00 | -- | Inf
407.26/407.38 c 407s| 1770k|244670 | 3557k| 2.0 | 208M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 984k|6836 | 0.000000e+00 | -- | Inf
411.06/411.12 c 411s| 1780k|245452 | 3578k| 2.0 | 209M| 34 | 5 | 40 | 15k| 40 | 16 | 22 | 990k|6850 | 0.000000e+00 | -- | Inf
414.57/414.67 c 415s| 1790k|246321 | 3599k| 2.0 | 210M| 34 | 5 | 40 | 16k| 40 | 16 | 22 | 996k|6882 | 0.000000e+00 | -- | Inf
418.36/418.43 c 418s| 1800k|247286 | 3619k| 2.0 | 211M| 34 | 5 | 40 | 16k| 40 | 16 | 22 |1002k|6908 | 0.000000e+00 | -- | Inf
422.17/422.27 c 422s| 1810k|248259 | 3639k| 2.0 | 211M| 34 | 5 | 40 | 12k| 40 | 16 | 22 |1008k|6922 | 0.000000e+00 | -- | Inf
425.58/425.68 c 426s| 1820k|249008 | 3659k| 2.0 | 211M| 34 | 5 | 40 |8455 | 40 | 16 | 22 |1014k|6934 | 0.000000e+00 | -- | Inf
428.56/428.64 c 429s| 1830k|249582 | 3679k| 2.0 | 211M| 34 | - | 40 |6861 | 0 | 0 | 22 |1020k|6948 | 0.000000e+00 | -- | Inf
430.96/431.11 c 431s| 1840k|250543 | 3699k| 2.0 | 212M| 34 | 5 | 40 |7311 | 40 | 16 | 22 |1026k|6965 | 0.000000e+00 | -- | Inf
433.38/433.43 c 433s| 1850k|251618 | 3718k| 2.0 | 214M| 34 | 5 | 40 |9199 | 40 | 16 | 22 |1031k|6990 | 0.000000e+00 | -- | Inf
435.96/436.05 c 436s| 1860k|252615 | 3737k| 2.0 | 215M| 34 | - | 40 | 10k| 40 | 16 | 22 |1037k|7005 | 0.000000e+00 | -- | Inf
438.97/439.03 c 439s| 1870k|253510 | 3757k| 2.0 | 215M| 34 | 5 | 40 |7817 | 40 | 16 | 22 |1043k|7024 | 0.000000e+00 | -- | Inf
441.77/441.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.77/441.83 c 442s| 1880k|254061 | 3776k| 2.0 | 216M| 34 | - | 40 |7160 | 40 | 16 | 22 |1049k|7046 | 0.000000e+00 | -- | Inf
444.16/444.27 c 444s| 1890k|255036 | 3797k| 2.0 | 217M| 34 | 5 | 40 |8818 | 40 | 16 | 22 |1055k|7075 | 0.000000e+00 | -- | Inf
447.16/447.25 c 447s| 1900k|255558 | 3816k| 2.0 | 217M| 34 | 5 | 40 |7260 | 40 | 16 | 22 |1061k|7084 | 0.000000e+00 | -- | Inf
449.88/449.96 c 450s| 1910k|256163 | 3836k| 2.0 | 218M| 34 | - | 40 |7058 | 0 | 0 | 22 |1067k|7104 | 0.000000e+00 | -- | Inf
452.67/452.77 c 453s| 1920k|256746 | 3856k| 2.0 | 219M| 34 | 5 | 40 |6933 | 40 | 16 | 22 |1073k|7122 | 0.000000e+00 | -- | Inf
455.46/455.54 c 456s| 1930k|257286 | 3876k| 2.0 | 219M| 34 | - | 40 |7157 | 0 | 0 | 22 |1079k|7145 | 0.000000e+00 | -- | Inf
458.36/458.42 c 458s| 1940k|257850 | 3896k| 2.0 | 220M| 34 | 5 | 40 |7331 | 40 | 16 | 22 |1085k|7167 | 0.000000e+00 | -- | Inf
460.88/460.95 c 461s| 1950k|258794 | 3916k| 2.0 | 221M| 34 | 5 | 40 |7921 | 40 | 16 | 22 |1091k|7188 | 0.000000e+00 | -- | Inf
463.36/463.48 c 463s| 1960k|259793 | 3936k| 2.0 | 222M| 34 | - | 40 |8644 | 0 | 0 | 22 |1097k|7200 | 0.000000e+00 | -- | Inf
465.76/465.89 c 466s| 1970k|261097 | 3955k| 2.0 | 224M| 34 | 5 | 40 | 10k| 40 | 16 | 22 |1103k|7212 | 0.000000e+00 | -- | Inf
468.87/468.93 c 469s| 1980k|261753 | 3975k| 2.0 | 224M| 34 | - | 40 |8767 | 0 | 0 | 22 |1109k|7235 | 0.000000e+00 | -- | Inf
471.78/471.90 c 472s| 1990k|262207 | 3995k| 2.0 | 225M| 34 | 5 | 40 |7233 | 40 | 16 | 22 |1115k|7263 | 0.000000e+00 | -- | Inf
474.57/474.68 c 475s| 2000k|262764 | 4015k| 2.0 | 225M| 34 | - | 40 |6909 | 40 | 16 | 22 |1121k|7277 | 0.000000e+00 | -- | Inf
477.17/477.28 c 477s| 2010k|263393 | 4034k| 2.0 | 226M| 35 | 5 | 40 |7398 | 40 | 16 | 22 |1127k|7298 | 0.000000e+00 | -- | Inf
480.06/480.15 c 480s| 2020k|263963 | 4054k| 2.0 | 227M| 35 | 5 | 40 |7310 | 40 | 16 | 22 |1133k|7313 | 0.000000e+00 | -- | Inf
482.66/482.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.66/482.80 c 483s| 2030k|264698 | 4074k| 2.0 | 227M| 35 | 5 | 40 |6940 | 40 | 16 | 22 |1139k|7326 | 0.000000e+00 | -- | Inf
485.16/485.21 c 485s| 2040k|265482 | 4094k| 2.0 | 229M| 35 | 5 | 40 |8187 | 40 | 16 | 22 |1145k|7352 | 0.000000e+00 | -- | Inf
487.86/487.92 c 488s| 2050k|266004 | 4114k| 2.0 | 229M| 35 | - | 40 |6237 | 40 | 16 | 22 |1151k|7376 | 0.000000e+00 | -- | Inf
490.36/490.42 c 490s| 2060k|266726 | 4134k| 2.0 | 230M| 35 | 5 | 40 |6902 | 40 | 16 | 22 |1157k|7390 | 0.000000e+00 | -- | Inf
492.96/493.06 c 493s| 2070k|267361 | 4154k| 2.0 | 230M| 35 | - | 40 |7055 | 0 | 0 | 22 |1163k|7410 | 0.000000e+00 | -- | Inf
495.66/495.79 c 496s| 2080k|267920 | 4174k| 2.0 | 231M| 35 | 5 | 40 |6939 | 40 | 16 | 22 |1170k|7430 | 0.000000e+00 | -- | Inf
498.46/498.54 c 499s| 2090k|268424 | 4194k| 2.0 | 232M| 35 | 5 | 40 |6886 | 40 | 16 | 22 |1176k|7440 | 0.000000e+00 | -- | Inf
501.37/501.42 c 501s| 2100k|268872 | 4214k| 2.0 | 232M| 35 | 5 | 40 |6594 | 40 | 16 | 22 |1182k|7459 | 0.000000e+00 | -- | Inf
504.06/504.18 c 504s| 2110k|269326 | 4234k| 2.0 | 233M| 35 | 5 | 40 |7092 | 40 | 16 | 22 |1188k|7476 | 0.000000e+00 | -- | Inf
506.56/506.63 c 507s| 2120k|270630 | 4253k| 2.0 | 234M| 35 | 5 | 40 |7397 | 40 | 16 | 22 |1193k|7488 | 0.000000e+00 | -- | Inf
508.56/508.65 c 509s| 2130k|273071 | 4274k| 2.0 | 236M| 35 | 5 | 40 |9305 | 40 | 16 | 22 |1199k|7508 | 0.000000e+00 | -- | Inf
510.96/511.01 c 511s| 2140k|274775 | 4294k| 2.0 | 238M| 35 | 5 | 40 |9939 | 40 | 16 | 22 |1204k|7522 | 0.000000e+00 | -- | Inf
513.46/513.57 c 514s| 2150k|276265 | 4313k| 2.0 | 239M| 35 | - | 40 | 10k| 0 | 0 | 22 |1209k|7530 | 0.000000e+00 | -- | Inf
516.17/516.22 c 516s| 2160k|277551 | 4333k| 2.0 | 241M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1215k|7547 | 0.000000e+00 | -- | Inf
518.96/519.08 c 519s| 2170k|278531 | 4352k| 2.0 | 242M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1221k|7562 | 0.000000e+00 | -- | Inf
521.96/522.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.96/522.04 c 522s| 2180k|279385 | 4371k| 2.0 | 242M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1227k|7585 | 0.000000e+00 | -- | Inf
524.76/524.83 c 525s| 2190k|280480 | 4391k| 2.0 | 244M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1232k|7606 | 0.000000e+00 | -- | Inf
527.56/527.69 c 528s| 2200k|281394 | 4410k| 2.0 | 245M| 35 | - | 40 | 11k| 0 | 0 | 22 |1238k|7628 | 0.000000e+00 | -- | Inf
530.76/530.88 c 531s| 2210k|281970 | 4429k| 2.0 | 245M| 35 | - | 40 | 10k| 40 | 16 | 22 |1244k|7646 | 0.000000e+00 | -- | Inf
533.67/533.72 c 534s| 2220k|282807 | 4447k| 2.0 | 246M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1250k|7660 | 0.000000e+00 | -- | Inf
536.86/536.96 c 537s| 2230k|283421 | 4465k| 2.0 | 247M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1256k|7686 | 0.000000e+00 | -- | Inf
540.26/540.30 c 540s| 2240k|283809 | 4484k| 2.0 | 247M| 35 | - | 40 | 10k| 0 | 0 | 22 |1262k|7696 | 0.000000e+00 | -- | Inf
543.46/543.55 c 544s| 2250k|284428 | 4504k| 2.0 | 248M| 35 | - | 40 |9618 | 0 | 0 | 22 |1268k|7716 | 0.000000e+00 | -- | Inf
546.58/546.66 c 547s| 2260k|285032 | 4525k| 2.0 | 248M| 35 | 5 | 40 |9312 | 40 | 16 | 22 |1274k|7735 | 0.000000e+00 | -- | Inf
549.16/549.21 c 549s| 2270k|286186 | 4545k| 2.0 | 250M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1280k|7762 | 0.000000e+00 | -- | Inf
551.96/552.05 c 552s| 2280k|287129 | 4565k| 2.0 | 250M| 35 | - | 40 | 10k| 40 | 16 | 22 |1286k|7772 | 0.000000e+00 | -- | Inf
555.26/555.37 c 555s| 2290k|287686 | 4584k| 2.0 | 251M| 35 | 5 | 40 |8484 | 40 | 16 | 22 |1292k|7797 | 0.000000e+00 | -- | Inf
557.58/557.70 c 558s| 2300k|288641 | 4605k| 2.0 | 253M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1298k|7807 | 0.000000e+00 | -- | Inf
560.66/560.74 c 561s| 2310k|289340 | 4626k| 2.0 | 253M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1305k|7822 | 0.000000e+00 | -- | Inf
564.27/564.35 c 564s| 2320k|289682 | 4646k| 2.0 | 253M| 35 | 5 | 40 |8542 | 40 | 16 | 22 |1312k|7836 | 0.000000e+00 | -- | Inf
566.86/566.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.86/566.96 c 567s| 2330k|290625 | 4666k| 2.0 | 254M| 35 | - | 40 |9317 | 40 | 16 | 22 |1317k|7854 | 0.000000e+00 | -- | Inf
569.36/569.41 c 569s| 2340k|291691 | 4686k| 2.0 | 256M| 35 | - | 40 | 10k| 0 | 0 | 22 |1323k|7881 | 0.000000e+00 | -- | Inf
572.36/572.48 c 572s| 2350k|292237 | 4706k| 2.0 | 256M| 35 | - | 40 |9462 | 40 | 16 | 22 |1329k|7893 | 0.000000e+00 | -- | Inf
574.76/574.82 c 575s| 2360k|293623 | 4727k| 2.0 | 258M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1334k|7911 | 0.000000e+00 | -- | Inf
577.48/577.57 c 578s| 2370k|294453 | 4748k| 2.0 | 259M| 35 | - | 40 | 12k| 0 | 0 | 22 |1341k|7921 | 0.000000e+00 | -- | Inf
580.86/580.92 c 581s| 2380k|294765 | 4768k| 2.0 | 259M| 35 | - | 40 | 11k| 0 | 0 | 22 |1347k|7942 | 0.000000e+00 | -- | Inf
583.77/583.86 c 584s| 2390k|295720 | 4788k| 2.0 | 260M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1353k|7958 | 0.000000e+00 | -- | Inf
587.06/587.12 c 587s| 2400k|296415 | 4809k| 2.0 | 261M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1359k|7979 | 0.000000e+00 | -- | Inf
590.35/590.45 c 590s| 2410k|296784 | 4828k| 2.0 | 261M| 35 | - | 40 |8471 | 40 | 16 | 22 |1365k|7998 | 0.000000e+00 | -- | Inf
592.55/592.68 c 593s| 2420k|298501 | 4848k| 2.0 | 263M| 35 | - | 40 | 11k| 40 | 16 | 22 |1371k|8016 | 0.000000e+00 | -- | Inf
595.26/595.33 c 595s| 2430k|299701 | 4869k| 2.0 | 264M| 35 | - | 40 | 11k| 40 | 16 | 22 |1376k|8028 | 0.000000e+00 | -- | Inf
598.38/598.46 c 598s| 2440k|300159 | 4889k| 2.0 | 264M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1382k|8046 | 0.000000e+00 | -- | Inf
601.36/601.48 c 601s| 2450k|300827 | 4909k| 2.0 | 265M| 35 | - | 40 |9312 | 0 | 0 | 22 |1388k|8054 | 0.000000e+00 | -- | Inf
604.16/604.22 c 604s| 2460k|301640 | 4929k| 2.0 | 266M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1395k|8076 | 0.000000e+00 | -- | Inf
606.75/606.82 c 607s| 2470k|302698 | 4948k| 2.0 | 267M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1400k|8087 | 0.000000e+00 | -- | Inf
610.16/610.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.16/610.22 c 610s| 2480k|303269 | 4968k| 2.0 | 267M| 35 | - | 40 |8575 | 0 | 0 | 22 |1406k|8102 | 0.000000e+00 | -- | Inf
613.05/613.19 c 613s| 2490k|303833 | 4987k| 2.0 | 267M| 35 | - | 40 |7427 | 0 | 0 | 22 |1412k|8113 | 0.000000e+00 | -- | Inf
615.97/616.04 c 616s| 2500k|304351 | 5008k| 2.0 | 268M| 35 | 5 | 40 |7413 | 40 | 16 | 22 |1418k|8133 | 0.000000e+00 | -- | Inf
618.17/618.27 c 618s| 2510k|305752 | 5028k| 2.0 | 270M| 35 | - | 40 |9797 | 0 | 0 | 22 |1424k|8142 | 0.000000e+00 | -- | Inf
620.75/620.87 c 621s| 2520k|306401 | 5047k| 2.0 | 271M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1430k|8158 | 0.000000e+00 | -- | Inf
623.95/624.02 c 624s| 2530k|307098 | 5067k| 2.0 | 271M| 35 | - | 40 |8080 | 40 | 16 | 22 |1436k|8176 | 0.000000e+00 | -- | Inf
626.97/627.04 c 627s| 2540k|307385 | 5086k| 2.0 | 271M| 35 | 5 | 40 |6360 | 40 | 16 | 22 |1442k|8187 | 0.000000e+00 | -- | Inf
629.35/629.41 c 629s| 2550k|308183 | 5107k| 2.0 | 272M| 35 | - | 40 |8656 | 40 | 16 | 22 |1449k|8201 | 0.000000e+00 | -- | Inf
632.36/632.50 c 633s| 2560k|308627 | 5127k| 2.0 | 273M| 35 | - | 40 |7554 | 40 | 16 | 22 |1455k|8219 | 0.000000e+00 | -- | Inf
635.06/635.13 c 635s| 2570k|309652 | 5147k| 2.0 | 274M| 35 | 5 | 40 |7952 | 40 | 16 | 22 |1460k|8233 | 0.000000e+00 | -- | Inf
637.75/637.84 c 638s| 2580k|310215 | 5167k| 2.0 | 274M| 35 | 5 | 40 |7683 | 40 | 16 | 22 |1467k|8246 | 0.000000e+00 | -- | Inf
640.45/640.59 c 641s| 2590k|310824 | 5187k| 2.0 | 275M| 35 | - | 40 |8110 | 0 | 0 | 22 |1473k|8271 | 0.000000e+00 | -- | Inf
643.37/643.44 c 643s| 2600k|311469 | 5206k| 2.0 | 276M| 35 | 5 | 40 |7582 | 40 | 16 | 22 |1479k|8282 | 0.000000e+00 | -- | Inf
646.05/646.12 c 646s| 2610k|312061 | 5227k| 2.0 | 277M| 35 | - | 40 |8551 | 0 | 0 | 22 |1485k|8299 | 0.000000e+00 | -- | Inf
648.86/648.96 c 649s| 2620k|312693 | 5246k| 2.0 | 278M| 35 | 5 | 40 |8319 | 40 | 16 | 22 |1491k|8321 | 0.000000e+00 | -- | Inf
651.35/651.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.35/651.40 c 651s| 2630k|313610 | 5267k| 2.0 | 279M| 35 | - | 40 | 11k| 40 | 16 | 22 |1497k|8340 | 0.000000e+00 | -- | Inf
654.65/654.72 c 655s| 2640k|314121 | 5287k| 2.0 | 279M| 35 | - | 40 |8781 | 40 | 16 | 22 |1503k|8361 | 0.000000e+00 | -- | Inf
657.77/657.89 c 658s| 2650k|314385 | 5308k| 2.0 | 280M| 35 | 5 | 40 |7661 | 40 | 16 | 22 |1510k|8372 | 0.000000e+00 | -- | Inf
660.55/660.65 c 661s| 2660k|315071 | 5328k| 2.0 | 281M| 35 | 5 | 40 |8640 | 40 | 16 | 22 |1516k|8388 | 0.000000e+00 | -- | Inf
663.65/663.72 c 664s| 2670k|315693 | 5348k| 2.0 | 281M| 35 | - | 40 |8108 | 40 | 16 | 22 |1522k|8410 | 0.000000e+00 | -- | Inf
666.25/666.39 c 666s| 2680k|316492 | 5368k| 2.0 | 282M| 35 | - | 40 |8151 | 40 | 16 | 22 |1528k|8421 | 0.000000e+00 | -- | Inf
669.05/669.13 c 669s| 2690k|317188 | 5388k| 2.0 | 283M| 35 | 5 | 40 |9233 | 40 | 16 | 22 |1534k|8436 | 0.000000e+00 | -- | Inf
672.14/672.27 c 672s| 2700k|317604 | 5407k| 2.0 | 283M| 35 | 5 | 40 |8069 | 40 | 16 | 22 |1541k|8454 | 0.000000e+00 | -- | Inf
675.05/675.16 c 675s| 2710k|318156 | 5427k| 2.0 | 284M| 35 | 5 | 40 |7652 | 40 | 16 | 22 |1547k|8471 | 0.000000e+00 | -- | Inf
677.85/677.95 c 678s| 2720k|318704 | 5446k| 2.0 | 285M| 35 | - | 40 |7776 | 40 | 16 | 22 |1553k|8492 | 0.000000e+00 | -- | Inf
680.77/680.84 c 681s| 2730k|319182 | 5466k| 2.0 | 285M| 35 | 5 | 40 |7299 | 40 | 16 | 22 |1559k|8507 | 0.000000e+00 | -- | Inf
683.75/683.81 c 684s| 2740k|319582 | 5486k| 2.0 | 286M| 35 | 5 | 40 |7370 | 40 | 16 | 22 |1565k|8527 | 0.000000e+00 | -- | Inf
686.55/686.69 c 687s| 2750k|319972 | 5506k| 2.0 | 286M| 35 | - | 40 |7208 | 0 | 0 | 22 |1572k|8539 | 0.000000e+00 | -- | Inf
689.05/689.11 c 689s| 2760k|320744 | 5526k| 2.0 | 288M| 35 | 5 | 40 |8965 | 40 | 16 | 22 |1578k|8557 | 0.000000e+00 | -- | Inf
691.25/691.37 c 691s| 2770k|322652 | 5547k| 2.0 | 289M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1583k|8577 | 0.000000e+00 | -- | Inf
693.75/693.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.75/693.83 c 694s| 2780k|324183 | 5568k| 2.0 | 291M| 35 | - | 40 | 11k| 40 | 16 | 22 |1589k|8602 | 0.000000e+00 | -- | Inf
696.34/696.47 c 696s| 2790k|325524 | 5588k| 2.0 | 292M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1595k|8626 | 0.000000e+00 | -- | Inf
699.25/699.32 c 699s| 2800k|326341 | 5609k| 2.0 | 293M| 35 | - | 40 | 11k| 40 | 16 | 22 |1601k|8642 | 0.000000e+00 | -- | Inf
702.05/702.16 c 702s| 2810k|327126 | 5629k| 2.0 | 294M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1607k|8651 | 0.000000e+00 | -- | Inf
705.25/705.35 c 705s| 2820k|327488 | 5650k| 2.0 | 295M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1613k|8669 | 0.000000e+00 | -- | Inf
708.45/708.59 c 709s| 2830k|328100 | 5669k| 2.0 | 294M| 35 | 5 | 40 |8602 | 40 | 16 | 22 |1619k|8674 | 0.000000e+00 | -- | Inf
710.75/710.81 c 711s| 2840k|330037 | 5689k| 2.0 | 297M| 35 | - | 40 | 11k| 0 | 0 | 22 |1624k|8695 | 0.000000e+00 | -- | Inf
713.55/713.65 c 714s| 2850k|331069 | 5710k| 2.0 | 297M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1630k|8713 | 0.000000e+00 | -- | Inf
716.35/716.46 c 716s| 2860k|331877 | 5730k| 2.0 | 299M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |1636k|8743 | 0.000000e+00 | -- | Inf
719.85/719.99 c 720s| 2870k|332270 | 5750k| 2.0 | 298M| 35 | - | 40 |8386 | 40 | 16 | 22 |1642k|8764 | 0.000000e+00 | -- | Inf
723.05/723.18 c 723s| 2880k|332604 | 5770k| 2.0 | 298M| 35 | - | 40 |7292 | 40 | 16 | 22 |1648k|8787 | 0.000000e+00 | -- | Inf
726.14/726.23 c 726s| 2890k|332749 | 5790k| 2.0 | 299M| 35 | - | 40 |6969 | 40 | 16 | 22 |1655k|8803 | 0.000000e+00 | -- | Inf
728.65/728.74 c 729s| 2900k|333491 | 5809k| 2.0 | 300M| 35 | 5 | 40 |9059 | 40 | 16 | 22 |1660k|8818 | 0.000000e+00 | -- | Inf
731.55/731.67 c 732s| 2910k|334204 | 5830k| 2.0 | 301M| 35 | 5 | 40 |8600 | 40 | 16 | 22 |1667k|8831 | 0.000000e+00 | -- | Inf
734.34/734.41 c 734s| 2920k|335262 | 5850k| 2.0 | 302M| 35 | - | 40 |8644 | 40 | 16 | 22 |1673k|8842 | 0.000000e+00 | -- | Inf
736.75/736.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.75/736.87 c 737s| 2930k|336411 | 5870k| 2.0 | 303M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1679k|8863 | 0.000000e+00 | -- | Inf
739.85/739.90 c 740s| 2940k|336957 | 5890k| 2.0 | 304M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1685k|8882 | 0.000000e+00 | -- | Inf
742.95/743.04 c 743s| 2950k|337524 | 5909k| 2.0 | 304M| 35 | - | 40 |8371 | 40 | 16 | 22 |1691k|8889 | 0.000000e+00 | -- | Inf
745.66/745.81 c 746s| 2960k|338262 | 5929k| 2.0 | 305M| 35 | 5 | 40 |9086 | 40 | 16 | 22 |1697k|8903 | 0.000000e+00 | -- | Inf
748.05/748.12 c 748s| 2970k|339880 | 5948k| 2.0 | 307M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1702k|8912 | 0.000000e+00 | -- | Inf
750.65/750.71 c 751s| 2980k|341039 | 5967k| 2.0 | 308M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |1707k|8922 | 0.000000e+00 | -- | Inf
753.65/753.77 c 754s| 2990k|341567 | 5986k| 2.0 | 308M| 35 | - | 40 | 10k| 40 | 16 | 22 |1712k|8939 | 0.000000e+00 | -- | Inf
756.66/756.74 c 757s| 3000k|342286 | 6006k| 2.0 | 309M| 35 | - | 40 | 10k| 40 | 16 | 22 |1718k|8960 | 0.000000e+00 | -- | Inf
760.15/760.21 c 760s| 3010k|342626 | 6026k| 2.0 | 309M| 35 | 5 | 40 |9170 | 40 | 16 | 22 |1725k|8969 | 0.000000e+00 | -- | Inf
762.85/762.96 c 763s| 3020k|343316 | 6045k| 2.0 | 310M| 35 | - | 40 |9791 | 0 | 0 | 22 |1730k|8982 | 0.000000e+00 | -- | Inf
766.05/766.19 c 766s| 3030k|343657 | 6064k| 2.0 | 310M| 35 | - | 40 |7628 | 40 | 16 | 22 |1736k|8998 | 0.000000e+00 | -- | Inf
768.95/769.02 c 769s| 3040k|344258 | 6084k| 2.0 | 311M| 35 | - | 40 |9010 | 0 | 0 | 22 |1743k|9005 | 0.000000e+00 | -- | Inf
771.25/771.38 c 771s| 3050k|345931 | 6105k| 2.0 | 313M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1748k|9023 | 0.000000e+00 | -- | Inf
773.95/774.04 c 774s| 3060k|346918 | 6125k| 2.0 | 314M| 35 | - | 40 | 11k| 0 | 0 | 22 |1754k|9034 | 0.000000e+00 | -- | Inf
776.95/777.05 c 777s| 3070k|347654 | 6144k| 2.0 | 315M| 35 | - | 40 | 11k| 40 | 16 | 22 |1760k|9047 | 0.000000e+00 | -- | Inf
780.35/780.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.35/780.49 c 780s| 3080k|348127 | 6164k| 2.0 | 315M| 35 | - | 40 |9280 | 40 | 16 | 22 |1767k|9062 | 0.000000e+00 | -- | Inf
783.55/783.62 c 784s| 3090k|348661 | 6184k| 2.0 | 316M| 35 | - | 40 |8657 | 0 | 0 | 22 |1773k|9078 | 0.000000e+00 | -- | Inf
786.25/786.33 c 786s| 3100k|349593 | 6203k| 2.0 | 317M| 35 | 5 | 40 |9230 | 40 | 16 | 22 |1779k|9087 | 0.000000e+00 | -- | Inf
789.25/789.36 c 789s| 3110k|350040 | 6223k| 2.0 | 317M| 35 | - | 40 |9672 | 40 | 16 | 22 |1785k|9105 | 0.000000e+00 | -- | Inf
792.24/792.38 c 792s| 3120k|350572 | 6243k| 2.0 | 318M| 35 | - | 40 |9911 | 40 | 16 | 22 |1792k|9128 | 0.000000e+00 | -- | Inf
795.45/795.53 c 796s| 3130k|351075 | 6262k| 2.0 | 319M| 35 | - | 40 |8828 | 0 | 0 | 22 |1797k|9141 | 0.000000e+00 | -- | Inf
798.25/798.35 c 798s| 3140k|351819 | 6283k| 2.0 | 319M| 35 | - | 40 |8807 | 0 | 0 | 22 |1804k|9158 | 0.000000e+00 | -- | Inf
800.66/800.72 c 801s| 3150k|353151 | 6304k| 2.0 | 321M| 35 | - | 40 | 10k| 40 | 16 | 22 |1809k|9180 | 0.000000e+00 | -- | Inf
803.45/803.59 c 804s| 3160k|353635 | 6324k| 2.0 | 321M| 35 | - | 40 |9889 | 40 | 16 | 22 |1816k|9192 | 0.000000e+00 | -- | Inf
806.65/806.79 c 807s| 3170k|354209 | 6343k| 2.0 | 322M| 35 | 5 | 40 |8746 | 40 | 16 | 22 |1822k|9206 | 0.000000e+00 | -- | Inf
809.25/809.38 c 809s| 3180k|355182 | 6363k| 2.0 | 323M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |1828k|9222 | 0.000000e+00 | -- | Inf
812.76/812.91 c 813s| 3190k|355403 | 6383k| 2.0 | 323M| 35 | 5 | 40 |7736 | 40 | 16 | 22 |1834k|9235 | 0.000000e+00 | -- | Inf
815.85/815.98 c 816s| 3200k|355771 | 6402k| 2.0 | 324M| 35 | - | 40 |8286 | 40 | 16 | 22 |1840k|9250 | 0.000000e+00 | -- | Inf
818.85/818.90 c 819s| 3210k|356418 | 6422k| 2.0 | 325M| 35 | - | 40 |9186 | 40 | 16 | 22 |1846k|9261 | 0.000000e+00 | -- | Inf
822.05/822.10 c 822s| 3220k|356816 | 6442k| 2.0 | 325M| 35 | 5 | 40 |7876 | 40 | 16 | 22 |1852k|9271 | 0.000000e+00 | -- | Inf
824.87/824.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.87/824.99 c 825s| 3230k|357441 | 6461k| 2.0 | 326M| 35 | - | 40 |8165 | 40 | 16 | 22 |1858k|9285 | 0.000000e+00 | -- | Inf
828.04/828.12 c 828s| 3240k|357866 | 6481k| 2.0 | 326M| 35 | - | 40 |8060 | 40 | 16 | 22 |1864k|9299 | 0.000000e+00 | -- | Inf
830.94/831.02 c 831s| 3250k|358321 | 6500k| 2.0 | 327M| 35 | - | 40 |8698 | 0 | 0 | 22 |1870k|9315 | 0.000000e+00 | -- | Inf
833.85/833.99 c 834s| 3260k|358899 | 6520k| 2.0 | 328M| 35 | 5 | 40 |7872 | 40 | 16 | 22 |1877k|9327 | 0.000000e+00 | -- | Inf
836.45/836.58 c 837s| 3270k|359795 | 6541k| 2.0 | 329M| 35 | 5 | 40 |9645 | 40 | 16 | 22 |1883k|9347 | 0.000000e+00 | -- | Inf
839.65/839.73 c 840s| 3280k|360194 | 6561k| 2.0 | 329M| 35 | - | 40 |7473 | 40 | 16 | 22 |1889k|9360 | 0.000000e+00 | -- | Inf
842.65/842.72 c 843s| 3290k|360568 | 6581k| 2.0 | 330M| 35 | 5 | 40 |7182 | 40 | 16 | 22 |1895k|9378 | 0.000000e+00 | -- | Inf
845.65/845.72 c 846s| 3300k|360898 | 6602k| 2.0 | 330M| 35 | 5 | 40 |7087 | 40 | 16 | 22 |1902k|9390 | 0.000000e+00 | -- | Inf
848.35/848.49 c 848s| 3310k|361335 | 6621k| 2.0 | 331M| 35 | 5 | 40 |7650 | 40 | 16 | 22 |1908k|9406 | 0.000000e+00 | -- | Inf
850.74/850.88 c 851s| 3320k|362258 | 6642k| 2.0 | 332M| 35 | 5 | 40 |9661 | 40 | 16 | 22 |1914k|9411 | 0.000000e+00 | -- | Inf
853.84/853.95 c 854s| 3330k|362794 | 6661k| 2.0 | 332M| 35 | 5 | 40 |8249 | 40 | 16 | 22 |1919k|9427 | 0.000000e+00 | -- | Inf
857.05/857.11 c 857s| 3340k|363122 | 6682k| 2.0 | 333M| 35 | - | 40 |6924 | 40 | 16 | 22 |1926k|9444 | 0.000000e+00 | -- | Inf
859.95/860.07 c 860s| 3350k|363398 | 6702k| 2.0 | 333M| 35 | 5 | 40 |6529 | 40 | 16 | 22 |1933k|9461 | 0.000000e+00 | -- | Inf
862.95/863.07 c 863s| 3360k|363594 | 6721k| 2.0 | 333M| 35 | 5 | 40 |5942 | 40 | 16 | 22 |1939k|9475 | 0.000000e+00 | -- | Inf
865.57/865.68 c 866s| 3370k|364050 | 6741k| 2.0 | 334M| 35 | - | 40 |7006 | 40 | 16 | 22 |1945k|9491 | 0.000000e+00 | -- | Inf
868.34/868.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.34/868.44 c 868s| 3380k|364558 | 6760k| 2.0 | 335M| 35 | 5 | 40 |6711 | 40 | 16 | 22 |1951k|9510 | 0.000000e+00 | -- | Inf
871.06/871.15 c 871s| 3390k|365108 | 6780k| 2.0 | 336M| 35 | 5 | 40 |7298 | 40 | 16 | 22 |1957k|9525 | 0.000000e+00 | -- | Inf
873.94/874.06 c 874s| 3400k|365473 | 6800k| 2.0 | 336M| 35 | - | 40 |7083 | 40 | 16 | 22 |1964k|9531 | 0.000000e+00 | -- | Inf
876.74/876.86 c 877s| 3410k|366038 | 6820k| 2.0 | 337M| 35 | 5 | 40 |8176 | 40 | 16 | 22 |1970k|9549 | 0.000000e+00 | -- | Inf
879.54/879.70 c 880s| 3420k|366645 | 6839k| 2.0 | 338M| 35 | - | 40 |7773 | 40 | 16 | 22 |1975k|9567 | 0.000000e+00 | -- | Inf
882.45/882.53 c 883s| 3430k|367139 | 6859k| 2.0 | 339M| 35 | 5 | 40 |8165 | 40 | 16 | 22 |1981k|9581 | 0.000000e+00 | -- | Inf
885.25/885.30 c 885s| 3440k|367648 | 6878k| 2.0 | 339M| 35 | - | 40 |8312 | 40 | 16 | 22 |1987k|9595 | 0.000000e+00 | -- | Inf
888.35/888.40 c 888s| 3450k|367916 | 6898k| 2.0 | 339M| 35 | - | 40 |7152 | 40 | 16 | 22 |1994k|9607 | 0.000000e+00 | -- | Inf
891.15/891.22 c 891s| 3460k|368387 | 6918k| 2.0 | 340M| 35 | 5 | 40 |6780 | 40 | 16 | 22 |2000k|9617 | 0.000000e+00 | -- | Inf
893.84/893.95 c 894s| 3470k|368965 | 6937k| 2.0 | 341M| 35 | - | 40 |6805 | 0 | 0 | 22 |2006k|9632 | 0.000000e+00 | -- | Inf
896.65/896.79 c 897s| 3480k|369356 | 6957k| 2.0 | 341M| 35 | 5 | 40 |7164 | 40 | 16 | 22 |2012k|9649 | 0.000000e+00 | -- | Inf
899.34/899.46 c 899s| 3490k|369935 | 6978k| 2.0 | 343M| 35 | 5 | 40 |8539 | 40 | 16 | 22 |2018k|9664 | 0.000000e+00 | -- | Inf
902.34/902.48 c 902s| 3500k|370382 | 6997k| 2.0 | 343M| 35 | - | 40 |7954 | 0 | 0 | 22 |2024k|9673 | 0.000000e+00 | -- | Inf
905.55/905.60 c 906s| 3510k|370717 | 7017k| 2.0 | 343M| 35 | - | 40 |7582 | 0 | 0 | 22 |2031k|9681 | 0.000000e+00 | -- | Inf
908.24/908.31 c 908s| 3520k|371192 | 7036k| 2.0 | 344M| 35 | 5 | 40 |8898 | 40 | 16 | 22 |2037k|9690 | 0.000000e+00 | -- | Inf
911.35/911.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.35/911.43 c 911s| 3530k|371570 | 7056k| 2.0 | 345M| 35 | 5 | 40 |7552 | 40 | 16 | 22 |2043k|9704 | 0.000000e+00 | -- | Inf
913.64/913.78 c 914s| 3540k|372604 | 7076k| 2.0 | 346M| 35 | - | 40 | 10k| 0 | 0 | 22 |2048k|9721 | 0.000000e+00 | -- | Inf
916.45/916.52 c 917s| 3550k|373547 | 7095k| 2.0 | 347M| 35 | 5 | 40 |9717 | 40 | 16 | 22 |2054k|9736 | 0.000000e+00 | -- | Inf
919.25/919.33 c 919s| 3560k|374220 | 7115k| 2.0 | 348M| 35 | 5 | 40 |9611 | 40 | 16 | 22 |2060k|9745 | 0.000000e+00 | -- | Inf
922.35/922.46 c 922s| 3570k|374617 | 7135k| 2.0 | 348M| 35 | - | 40 |8658 | 0 | 0 | 22 |2067k|9759 | 0.000000e+00 | -- | Inf
925.44/925.52 c 926s| 3580k|375058 | 7154k| 2.0 | 349M| 35 | - | 40 |8199 | 40 | 16 | 22 |2073k|9767 | 0.000000e+00 | -- | Inf
928.36/928.42 c 928s| 3590k|375861 | 7175k| 2.0 | 349M| 35 | - | 40 |8205 | 0 | 0 | 22 |2079k|9785 | 0.000000e+00 | -- | Inf
930.84/930.91 c 931s| 3600k|376948 | 7193k| 2.0 | 351M| 35 | 5 | 40 |9823 | 40 | 16 | 22 |2084k|9800 | 0.000000e+00 | -- | Inf
933.76/933.82 c 934s| 3610k|377537 | 7211k| 2.0 | 351M| 35 | - | 40 |9569 | 40 | 16 | 22 |2090k|9816 | 0.000000e+00 | -- | Inf
937.06/937.13 c 937s| 3620k|377572 | 7230k| 2.0 | 351M| 35 | - | 40 |8348 | 40 | 16 | 22 |2096k|9827 | 0.000000e+00 | -- | Inf
939.65/939.75 c 940s| 3630k|378309 | 7250k| 2.0 | 353M| 35 | 5 | 40 |9981 | 40 | 16 | 22 |2102k|9841 | 0.000000e+00 | -- | Inf
943.04/943.14 c 943s| 3640k|378581 | 7270k| 2.0 | 353M| 35 | - | 40 |8244 | 40 | 16 | 22 |2108k|9849 | 0.000000e+00 | -- | Inf
946.05/946.18 c 946s| 3650k|378978 | 7290k| 2.0 | 353M| 35 | - | 40 |8595 | 40 | 16 | 22 |2115k|9865 | 0.000000e+00 | -- | Inf
948.94/949.08 c 949s| 3660k|379447 | 7309k| 2.0 | 354M| 35 | 5 | 40 |9179 | 40 | 16 | 22 |2121k|9876 | 0.000000e+00 | -- | Inf
952.15/952.22 c 952s| 3670k|379767 | 7329k| 2.0 | 354M| 35 | - | 40 |8282 | 40 | 16 | 22 |2127k|9888 | 0.000000e+00 | -- | Inf
955.05/955.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.05/955.14 c 955s| 3680k|380234 | 7349k| 2.0 | 355M| 35 | 5 | 40 |8405 | 40 | 16 | 22 |2133k|9901 | 0.000000e+00 | -- | Inf
958.06/958.15 c 958s| 3690k|380657 | 7369k| 2.0 | 356M| 35 | 5 | 40 |8725 | 40 | 16 | 22 |2139k|9914 | 0.000000e+00 | -- | Inf
961.05/961.17 c 961s| 3700k|381077 | 7389k| 2.0 | 356M| 35 | 5 | 40 |8397 | 40 | 16 | 22 |2145k|9924 | 0.000000e+00 | -- | Inf
964.25/964.35 c 964s| 3710k|381266 | 7409k| 2.0 | 357M| 35 | 5 | 40 |7710 | 40 | 16 | 22 |2152k|9940 | 0.000000e+00 | -- | Inf
966.87/966.97 c 967s| 3720k|381866 | 7430k| 2.0 | 358M| 35 | 5 | 40 |9468 | 40 | 16 | 22 |2158k|9950 | 0.000000e+00 | -- | Inf
970.34/970.44 c 970s| 3730k|382057 | 7449k| 2.0 | 358M| 35 | - | 40 |7978 | 40 | 16 | 22 |2164k|9967 | 0.000000e+00 | -- | Inf
972.95/973.09 c 973s| 3740k|382772 | 7470k| 2.0 | 359M| 35 | - | 40 |9610 | 40 | 16 | 22 |2171k|9977 | 0.000000e+00 | -- | Inf
975.84/975.99 c 976s| 3750k|383237 | 7490k| 2.0 | 360M| 35 | - | 40 | 10k| 0 | 0 | 22 |2177k|9995 | 0.000000e+00 | -- | Inf
979.65/979.73 c 980s| 3760k|383297 | 7509k| 2.0 | 359M| 35 | 5 | 40 |7666 | 40 | 16 | 22 |2184k| 10k| 0.000000e+00 | -- | Inf
982.45/982.51 c 983s| 3770k|383781 | 7530k| 2.0 | 361M| 35 | 5 | 40 |9221 | 40 | 16 | 22 |2190k| 10k| 0.000000e+00 | -- | Inf
985.15/985.28 c 985s| 3780k|384534 | 7550k| 2.0 | 362M| 35 | - | 40 | 10k| 40 | 16 | 22 |2196k| 10k| 0.000000e+00 | -- | Inf
988.55/988.69 c 989s| 3790k|384910 | 7570k| 2.0 | 362M| 35 | 5 | 40 |8908 | 40 | 16 | 22 |2202k| 10k| 0.000000e+00 | -- | Inf
991.65/991.70 c 992s| 3800k|385499 | 7589k| 2.0 | 363M| 35 | 5 | 40 |9134 | 40 | 16 | 22 |2208k| 10k| 0.000000e+00 | -- | Inf
994.45/994.54 c 995s| 3810k|386138 | 7608k| 2.0 | 363M| 35 | 5 | 40 |9785 | 40 | 16 | 22 |2214k| 10k| 0.000000e+00 | -- | Inf
997.56/997.66 c 998s| 3820k|386667 | 7627k| 2.0 | 364M| 35 | - | 40 |8451 | 0 | 0 | 22 |2220k| 10k| 0.000000e+00 | -- | Inf
1000.86/1001.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.86/1001.01 c 1001s| 3830k|386877 | 7647k| 2.0 | 364M| 35 | 5 | 40 |7853 | 40 | 16 | 22 |2226k| 10k| 0.000000e+00 | -- | Inf
1003.84/1003.96 c 1004s| 3840k|387336 | 7667k| 2.0 | 365M| 35 | - | 40 |7776 | 40 | 16 | 22 |2232k| 10k| 0.000000e+00 | -- | Inf
1006.47/1006.56 c 1007s| 3850k|388251 | 7686k| 2.0 | 366M| 35 | 5 | 40 |9608 | 40 | 16 | 22 |2238k| 10k| 0.000000e+00 | -- | Inf
1009.44/1009.53 c 1010s| 3860k|388745 | 7705k| 2.0 | 366M| 35 | 5 | 40 |9232 | 40 | 16 | 22 |2244k| 10k| 0.000000e+00 | -- | Inf
1012.35/1012.46 c 1012s| 3870k|389432 | 7726k| 2.0 | 367M| 35 | - | 40 |9320 | 0 | 0 | 22 |2250k| 10k| 0.000000e+00 | -- | Inf
1015.16/1015.24 c 1015s| 3880k|389951 | 7746k| 2.0 | 368M| 35 | - | 40 |9426 | 0 | 0 | 22 |2256k| 10k| 0.000000e+00 | -- | Inf
1018.46/1018.60 c 1019s| 3890k|390054 | 7766k| 2.0 | 368M| 35 | - | 40 |8116 | 0 | 0 | 22 |2263k| 10k| 0.000000e+00 | -- | Inf
1021.45/1021.54 c 1022s| 3900k|390531 | 7786k| 2.0 | 369M| 35 | 5 | 40 |8722 | 40 | 16 | 22 |2269k| 10k| 0.000000e+00 | -- | Inf
1024.25/1024.33 c 1024s| 3910k|391243 | 7806k| 2.0 | 370M| 35 | - | 40 | 10k| 0 | 0 | 22 |2275k| 10k| 0.000000e+00 | -- | Inf
1027.05/1027.10 c 1027s| 3920k|392069 | 7826k| 2.0 | 371M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2281k| 10k| 0.000000e+00 | -- | Inf
1030.56/1030.66 c 1031s| 3930k|392318 | 7846k| 2.0 | 371M| 35 | - | 40 |8128 | 40 | 16 | 22 |2288k| 10k| 0.000000e+00 | -- | Inf
1033.65/1033.77 c 1034s| 3940k|392718 | 7866k| 2.0 | 371M| 35 | 5 | 40 |7802 | 40 | 16 | 22 |2294k| 10k| 0.000000e+00 | -- | Inf
1036.74/1036.81 c 1037s| 3950k|393099 | 7887k| 2.0 | 372M| 35 | 5 | 40 |8672 | 40 | 16 | 22 |2300k| 10k| 0.000000e+00 | -- | Inf
1039.36/1039.45 c 1039s| 3960k|393863 | 7906k| 2.0 | 373M| 35 | 5 | 40 |9721 | 40 | 16 | 22 |2306k| 10k| 0.000000e+00 | -- | Inf
1042.54/1042.61 c 1043s| 3970k|394302 | 7925k| 2.0 | 374M| 35 | 5 | 40 |9148 | 40 | 16 | 22 |2312k| 10k| 0.000000e+00 | -- | Inf
1045.55/1045.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.55/1045.66 c 1046s| 3980k|394737 | 7945k| 2.0 | 374M| 35 | - | 40 |9102 | 40 | 16 | 22 |2319k| 10k| 0.000000e+00 | -- | Inf
1048.55/1048.69 c 1049s| 3990k|395184 | 7965k| 2.0 | 375M| 35 | 5 | 40 |8859 | 40 | 16 | 22 |2325k| 10k| 0.000000e+00 | -- | Inf
1051.56/1051.66 c 1052s| 4000k|395682 | 7985k| 2.0 | 375M| 35 | - | 40 |9369 | 40 | 16 | 22 |2331k| 10k| 0.000000e+00 | -- | Inf
1055.05/1055.15 c 1055s| 4010k|395776 | 8005k| 2.0 | 376M| 35 | 5 | 40 |8456 | 40 | 16 | 22 |2338k| 10k| 0.000000e+00 | -- | Inf
1058.25/1058.32 c 1058s| 4020k|396109 | 8025k| 2.0 | 376M| 35 | 5 | 40 |8225 | 40 | 16 | 22 |2344k| 10k| 0.000000e+00 | -- | Inf
1060.94/1061.02 c 1061s| 4030k|396660 | 8045k| 2.0 | 377M| 35 | - | 40 | 10k| 40 | 16 | 22 |2350k| 10k| 0.000000e+00 | -- | Inf
1064.14/1064.26 c 1064s| 4040k|397146 | 8064k| 2.0 | 377M| 35 | 5 | 40 |8500 | 40 | 16 | 22 |2356k| 10k| 0.000000e+00 | -- | Inf
1067.05/1067.10 c 1067s| 4050k|397702 | 8085k| 2.0 | 378M| 35 | - | 40 |9439 | 40 | 16 | 22 |2363k| 10k| 0.000000e+00 | -- | Inf
1070.05/1070.21 c 1070s| 4060k|398149 | 8104k| 2.0 | 379M| 35 | 5 | 40 |8880 | 40 | 16 | 22 |2369k| 10k| 0.000000e+00 | -- | Inf
1073.25/1073.37 c 1073s| 4070k|398495 | 8124k| 2.0 | 379M| 35 | 5 | 40 |8392 | 40 | 16 | 22 |2375k| 10k| 0.000000e+00 | -- | Inf
1076.14/1076.22 c 1076s| 4080k|399111 | 8143k| 2.0 | 380M| 35 | - | 40 |9870 | 0 | 0 | 22 |2381k| 10k| 0.000000e+00 | -- | Inf
1079.07/1079.15 c 1079s| 4090k|399641 | 8162k| 2.0 | 381M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2387k| 10k| 0.000000e+00 | -- | Inf
1082.54/1082.62 c 1083s| 4100k|399809 | 8182k| 2.0 | 381M| 35 | - | 40 |8823 | 0 | 0 | 22 |2394k| 10k| 0.000000e+00 | -- | Inf
1085.75/1085.89 c 1086s| 4110k|400068 | 8202k| 2.0 | 381M| 35 | 5 | 40 |8571 | 40 | 16 | 22 |2400k| 10k| 0.000000e+00 | -- | Inf
1088.44/1088.51 c 1089s| 4120k|400709 | 8222k| 2.0 | 383M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2406k| 10k| 0.000000e+00 | -- | Inf
1091.85/1091.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.85/1091.92 c 1092s| 4130k|400978 | 8242k| 2.0 | 383M| 35 | - | 40 |9751 | 0 | 0 | 22 |2413k| 10k| 0.000000e+00 | -- | Inf
1095.45/1095.52 c 1096s| 4140k|401129 | 8261k| 2.0 | 383M| 35 | - | 40 |8341 | 40 | 16 | 22 |2419k| 10k| 0.000000e+00 | -- | Inf
1098.25/1098.32 c 1098s| 4150k|401775 | 8282k| 2.0 | 384M| 35 | 5 | 40 |9968 | 40 | 16 | 22 |2425k| 10k| 0.000000e+00 | -- | Inf
1100.96/1101.09 c 1101s| 4160k|402237 | 8302k| 2.0 | 385M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2431k| 10k| 0.000000e+00 | -- | Inf
1104.54/1104.66 c 1105s| 4170k|402524 | 8321k| 2.0 | 385M| 35 | 5 | 40 |9082 | 40 | 16 | 22 |2437k| 10k| 0.000000e+00 | -- | Inf
1107.94/1108.01 c 1108s| 4180k|402759 | 8341k| 2.0 | 385M| 35 | - | 40 |7887 | 40 | 16 | 22 |2443k| 10k| 0.000000e+00 | -- | Inf
1110.65/1110.78 c 1111s| 4190k|403369 | 8360k| 2.0 | 386M| 35 | - | 40 |9836 | 0 | 0 | 22 |2450k| 10k| 0.000000e+00 | -- | Inf
1113.84/1113.90 c 1114s| 4200k|403803 | 8380k| 2.0 | 387M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2456k| 10k| 0.000000e+00 | -- | Inf
1116.47/1116.54 c 1117s| 4210k|405147 | 8399k| 2.0 | 389M| 35 | - | 40 | 11k| 40 | 16 | 22 |2461k| 10k| 0.000000e+00 | -- | Inf
1119.34/1119.40 c 1119s| 4220k|405896 | 8419k| 2.0 | 390M| 35 | - | 40 | 12k| 40 | 16 | 22 |2467k| 10k| 0.000000e+00 | -- | Inf
1122.34/1122.44 c 1122s| 4230k|406452 | 8439k| 2.0 | 390M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2473k| 10k| 0.000000e+00 | -- | Inf
1125.95/1126.08 c 1126s| 4240k|406712 | 8459k| 2.0 | 390M| 35 | 5 | 40 |9811 | 40 | 16 | 22 |2479k| 10k| 0.000000e+00 | -- | Inf
1129.44/1129.61 c 1130s| 4250k|406939 | 8479k| 2.0 | 390M| 35 | - | 40 |8490 | 40 | 16 | 22 |2486k| 10k| 0.000000e+00 | -- | Inf
1132.35/1132.45 c 1132s| 4260k|407574 | 8500k| 2.0 | 391M| 35 | 5 | 40 |9716 | 40 | 16 | 22 |2492k| 10k| 0.000000e+00 | -- | Inf
1135.35/1135.45 c 1135s| 4270k|407966 | 8520k| 2.0 | 392M| 35 | - | 40 |9596 | 0 | 0 | 22 |2498k| 10k| 0.000000e+00 | -- | Inf
1138.55/1138.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1138.55/1138.68 c 1139s| 4280k|408456 | 8539k| 2.0 | 392M| 35 | 5 | 40 |9268 | 40 | 16 | 22 |2504k| 10k| 0.000000e+00 | -- | Inf
1141.76/1141.86 c 1142s| 4290k|408926 | 8558k| 2.0 | 393M| 35 | 5 | 40 |8734 | 40 | 16 | 22 |2510k| 10k| 0.000000e+00 | -- | Inf
1144.64/1144.74 c 1145s| 4300k|409622 | 8578k| 2.0 | 394M| 35 | - | 40 |9900 | 40 | 16 | 22 |2517k| 10k| 0.000000e+00 | -- | Inf
1147.44/1147.57 c 1148s| 4310k|410303 | 8597k| 2.0 | 395M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2523k| 10k| 0.000000e+00 | -- | Inf
1150.64/1150.73 c 1151s| 4320k|410762 | 8617k| 2.0 | 396M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2529k| 10k| 0.000000e+00 | -- | Inf
1153.94/1154.09 c 1154s| 4330k|411307 | 8636k| 2.0 | 396M| 35 | - | 40 | 11k| 40 | 16 | 22 |2535k| 10k| 0.000000e+00 | -- | Inf
1157.25/1157.35 c 1157s| 4340k|411817 | 8657k| 2.0 | 397M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2541k| 10k| 0.000000e+00 | -- | Inf
1160.65/1160.75 c 1161s| 4350k|412262 | 8677k| 2.0 | 397M| 35 | - | 40 |9593 | 40 | 16 | 22 |2548k| 10k| 0.000000e+00 | -- | Inf
1163.77/1163.83 c 1164s| 4360k|412487 | 8697k| 2.0 | 397M| 35 | - | 40 |9587 | 40 | 16 | 22 |2554k| 10k| 0.000000e+00 | -- | Inf
1166.84/1167.00 c 1167s| 4370k|412875 | 8716k| 2.0 | 398M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2560k| 10k| 0.000000e+00 | -- | Inf
1170.26/1170.36 c 1170s| 4380k|413289 | 8736k| 2.0 | 399M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2567k| 10k| 0.000000e+00 | -- | Inf
1173.66/1173.73 c 1174s| 4390k|413651 | 8756k| 2.0 | 399M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2573k| 10k| 0.000000e+00 | -- | Inf
1177.24/1177.35 c 1177s| 4400k|413719 | 8775k| 2.0 | 400M| 35 | 5 | 40 |9045 | 40 | 16 | 22 |2579k| 10k| 0.000000e+00 | -- | Inf
1180.64/1180.70 c 1181s| 4410k|413873 | 8795k| 2.0 | 400M| 35 | - | 40 |8181 | 0 | 0 | 22 |2585k| 10k| 0.000000e+00 | -- | Inf
1184.04/1184.15 c 1184s| 4420k|414031 | 8814k| 2.0 | 400M| 35 | - | 40 |7937 | 0 | 0 | 22 |2592k| 10k| 0.000000e+00 | -- | Inf
1187.34/1187.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.34/1187.42 c 1187s| 4430k|414341 | 8834k| 2.0 | 401M| 35 | 5 | 40 |8198 | 40 | 16 | 22 |2598k| 10k| 0.000000e+00 | -- | Inf
1190.64/1190.73 c 1191s| 4440k|414574 | 8853k| 2.0 | 401M| 35 | 5 | 40 |8200 | 40 | 16 | 22 |2604k| 10k| 0.000000e+00 | -- | Inf
1193.94/1194.07 c 1194s| 4450k|414729 | 8873k| 2.0 | 401M| 35 | - | 40 |8272 | 40 | 16 | 22 |2611k| 10k| 0.000000e+00 | -- | Inf
1197.04/1197.10 c 1197s| 4460k|415150 | 8893k| 2.0 | 402M| 35 | 5 | 40 |8557 | 40 | 16 | 22 |2617k| 10k| 0.000000e+00 | -- | Inf
1200.06/1200.15 c 1200s| 4470k|415481 | 8913k| 2.0 | 403M| 35 | 5 | 40 |8970 | 40 | 16 | 22 |2623k| 10k| 0.000000e+00 | -- | Inf
1203.04/1203.17 c 1203s| 4480k|415889 | 8932k| 2.0 | 403M| 35 | - | 40 |9309 | 40 | 16 | 22 |2629k| 10k| 0.000000e+00 | -- | Inf
1206.24/1206.30 c 1206s| 4490k|416332 | 8952k| 2.0 | 404M| 35 | 5 | 40 |9778 | 40 | 16 | 22 |2635k| 10k| 0.000000e+00 | -- | Inf
1209.14/1209.28 c 1209s| 4500k|416673 | 8972k| 2.0 | 405M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2642k| 10k| 0.000000e+00 | -- | Inf
1212.64/1212.79 c 1213s| 4510k|416986 | 8992k| 2.0 | 405M| 35 | - | 40 |9699 | 40 | 16 | 22 |2649k| 10k| 0.000000e+00 | -- | Inf
1215.94/1216.01 c 1216s| 4520k|417356 | 9011k| 2.0 | 406M| 35 | 5 | 40 |9431 | 40 | 16 | 22 |2654k| 10k| 0.000000e+00 | -- | Inf
1219.54/1219.64 c 1220s| 4530k|417414 | 9032k| 2.0 | 406M| 35 | 5 | 40 |8756 | 40 | 16 | 22 |2661k| 10k| 0.000000e+00 | -- | Inf
1222.24/1222.35 c 1222s| 4540k|418334 | 9053k| 2.0 | 407M| 35 | 5 | 40 |9419 | 40 | 16 | 22 |2667k| 10k| 0.000000e+00 | -- | Inf
1224.85/1224.94 c 1225s| 4550k|418896 | 9074k| 2.0 | 408M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2674k| 11k| 0.000000e+00 | -- | Inf
1228.14/1228.22 c 1228s| 4560k|418912 | 9094k| 2.0 | 408M| 35 | - | 40 |9160 | 40 | 16 | 22 |2681k| 11k| 0.000000e+00 | -- | Inf
1230.64/1230.79 c 1231s| 4570k|420198 | 9114k| 2.0 | 410M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2687k| 11k| 0.000000e+00 | -- | Inf
1233.44/1233.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.44/1233.51 c 1234s| 4580k|421019 | 9134k| 2.0 | 410M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2693k| 11k| 0.000000e+00 | -- | Inf
1236.04/1236.10 c 1236s| 4590k|421756 | 9154k| 2.0 | 412M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |2699k| 11k| 0.000000e+00 | -- | Inf
1238.84/1238.97 c 1239s| 4600k|422188 | 9173k| 2.0 | 412M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2705k| 11k| 0.000000e+00 | -- | Inf
1242.54/1242.69 c 1243s| 4610k|422251 | 9193k| 2.0 | 412M| 35 | - | 40 |9595 | 40 | 16 | 22 |2712k| 11k| 0.000000e+00 | -- | Inf
1246.04/1246.10 c 1246s| 4620k|422565 | 9212k| 2.0 | 412M| 35 | 5 | 40 |9439 | 40 | 16 | 22 |2718k| 11k| 0.000000e+00 | -- | Inf
1248.75/1248.89 c 1249s| 4630k|423145 | 9233k| 2.0 | 413M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2725k| 11k| 0.000000e+00 | -- | Inf
1251.95/1252.03 c 1252s| 4640k|423607 | 9255k| 2.0 | 414M| 35 | - | 40 | 11k| 40 | 16 | 22 |2732k| 11k| 0.000000e+00 | -- | Inf
1255.14/1255.24 c 1255s| 4650k|424206 | 9275k| 2.0 | 415M| 35 | - | 40 | 10k| 40 | 16 | 22 |2737k| 11k| 0.000000e+00 | -- | Inf
1258.44/1258.51 c 1259s| 4660k|424553 | 9295k| 2.0 | 415M| 35 | 5 | 40 |9837 | 40 | 16 | 22 |2744k| 11k| 0.000000e+00 | -- | Inf
1261.43/1261.53 c 1262s| 4670k|425111 | 9315k| 2.0 | 416M| 35 | - | 40 | 11k| 40 | 16 | 22 |2750k| 11k| 0.000000e+00 | -- | Inf
1264.74/1264.88 c 1265s| 4680k|425530 | 9336k| 2.0 | 416M| 35 | 5 | 40 |9843 | 40 | 16 | 22 |2757k| 11k| 0.000000e+00 | -- | Inf
1267.33/1267.49 c 1267s| 4690k|426499 | 9355k| 2.0 | 417M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2762k| 11k| 0.000000e+00 | -- | Inf
1270.54/1270.61 c 1271s| 4700k|427008 | 9376k| 2.0 | 419M| 35 | - | 40 | 12k| 0 | 0 | 22 |2769k| 11k| 0.000000e+00 | -- | Inf
1273.44/1273.51 c 1274s| 4710k|427988 | 9395k| 2.0 | 420M| 35 | 5 | 40 | 14k| 40 | 16 | 22 |2775k| 11k| 0.000000e+00 | -- | Inf
1277.54/1277.62 c 1278s| 4720k|428147 | 9415k| 2.0 | 419M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2782k| 11k| 0.000000e+00 | -- | Inf
1281.24/1281.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.24/1281.35 c 1281s| 4730k|428231 | 9436k| 2.0 | 419M| 35 | 5 | 40 |9407 | 40 | 16 | 22 |2788k| 11k| 0.000000e+00 | -- | Inf
1284.54/1284.71 c 1285s| 4740k|428484 | 9455k| 2.0 | 420M| 35 | 5 | 40 |9340 | 40 | 16 | 22 |2794k| 11k| 0.000000e+00 | -- | Inf
1287.84/1287.99 c 1288s| 4750k|428963 | 9475k| 2.0 | 421M| 35 | - | 40 |9609 | 0 | 0 | 22 |2800k| 11k| 0.000000e+00 | -- | Inf
1290.94/1291.03 c 1291s| 4760k|429407 | 9495k| 2.0 | 422M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2807k| 11k| 0.000000e+00 | -- | Inf
1294.74/1294.87 c 1295s| 4770k|429399 | 9515k| 2.0 | 421M| 35 | - | 40 |8443 | 0 | 0 | 22 |2814k| 11k| 0.000000e+00 | -- | Inf
1298.04/1298.13 c 1298s| 4780k|429548 | 9534k| 2.0 | 422M| 35 | - | 40 |8305 | 40 | 16 | 22 |2820k| 11k| 0.000000e+00 | -- | Inf
1301.44/1301.58 c 1302s| 4790k|429553 | 9554k| 2.0 | 422M| 35 | 5 | 40 |7570 | 40 | 16 | 22 |2826k| 11k| 0.000000e+00 | -- | Inf
1304.74/1304.80 c 1305s| 4800k|429672 | 9573k| 2.0 | 422M| 35 | 5 | 40 |7471 | 40 | 16 | 22 |2833k| 11k| 0.000000e+00 | -- | Inf
1307.53/1307.68 c 1308s| 4810k|430288 | 9594k| 2.0 | 423M| 35 | 5 | 40 |8856 | 40 | 16 | 22 |2839k| 11k| 0.000000e+00 | -- | Inf
1310.24/1310.39 c 1310s| 4820k|430977 | 9613k| 2.0 | 425M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2845k| 11k| 0.000000e+00 | -- | Inf
1313.54/1313.60 c 1314s| 4830k|431560 | 9633k| 2.0 | 425M| 35 | - | 40 | 11k| 40 | 16 | 22 |2851k| 11k| 0.000000e+00 | -- | Inf
1316.94/1317.04 c 1317s| 4840k|431964 | 9653k| 2.0 | 426M| 35 | - | 40 | 11k| 40 | 16 | 22 |2858k| 11k| 0.000000e+00 | -- | Inf
1320.44/1320.54 c 1321s| 4850k|432293 | 9673k| 2.0 | 426M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2864k| 11k| 0.000000e+00 | -- | Inf
1324.04/1324.10 c 1324s| 4860k|432484 | 9693k| 2.0 | 426M| 35 | 5 | 40 |9223 | 40 | 16 | 22 |2870k| 11k| 0.000000e+00 | -- | Inf
1326.74/1326.86 c 1327s| 4870k|432953 | 9711k| 2.0 | 427M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2876k| 11k| 0.000000e+00 | -- | Inf
1330.34/1330.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1330.34/1330.46 c 1330s| 4880k|433168 | 9730k| 2.0 | 427M| 35 | 5 | 40 |8994 | 40 | 16 | 22 |2882k| 11k| 0.000000e+00 | -- | Inf
1333.53/1333.65 c 1334s| 4890k|433532 | 9750k| 2.0 | 428M| 35 | - | 40 |8551 | 40 | 16 | 22 |2888k| 11k| 0.000000e+00 | -- | Inf
1336.84/1336.96 c 1337s| 4900k|433645 | 9769k| 2.0 | 428M| 35 | 5 | 40 |7703 | 40 | 16 | 22 |2895k| 11k| 0.000000e+00 | -- | Inf
1339.84/1339.96 c 1340s| 4910k|434006 | 9789k| 2.0 | 429M| 35 | - | 40 |8160 | 40 | 16 | 22 |2901k| 11k| 0.000000e+00 | -- | Inf
1342.23/1342.37 c 1342s| 4920k|435144 | 9806k| 2.0 | 430M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2906k| 11k| 0.000000e+00 | -- | Inf
1345.44/1345.57 c 1346s| 4930k|435335 | 9825k| 2.0 | 431M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2912k| 11k| 0.000000e+00 | -- | Inf
1348.34/1348.46 c 1348s| 4940k|435920 | 9846k| 2.0 | 432M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2919k| 11k| 0.000000e+00 | -- | Inf
1352.24/1352.30 c 1352s| 4950k|436012 | 9866k| 2.0 | 431M| 35 | - | 40 |8068 | 40 | 16 | 22 |2925k| 11k| 0.000000e+00 | -- | Inf
1355.54/1355.64 c 1356s| 4960k|436055 | 9886k| 2.0 | 431M| 35 | 5 | 40 |7649 | 40 | 16 | 22 |2932k| 11k| 0.000000e+00 | -- | Inf
1358.54/1358.64 c 1359s| 4970k|436303 | 9906k| 2.0 | 432M| 35 | 5 | 40 |9060 | 40 | 16 | 22 |2939k| 11k| 0.000000e+00 | -- | Inf
1362.03/1362.14 c 1362s| 4980k|436342 | 9925k| 2.0 | 432M| 35 | - | 40 |7604 | 0 | 0 | 22 |2945k| 11k| 0.000000e+00 | -- | Inf
1365.05/1365.14 c 1365s| 4990k|436791 | 9946k| 2.0 | 433M| 35 | 5 | 40 |8640 | 40 | 16 | 22 |2951k| 11k| 0.000000e+00 | -- | Inf
1368.35/1368.49 c 1368s| 5000k|437022 | 9966k| 2.0 | 433M| 35 | - | 40 |8346 | 0 | 0 | 22 |2958k| 11k| 0.000000e+00 | -- | Inf
1371.34/1371.43 c 1371s| 5010k|437594 | 9985k| 2.0 | 434M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2964k| 11k| 0.000000e+00 | -- | Inf
1374.33/1374.42 c 1374s| 5020k|438208 | 10004k| 2.0 | 435M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |2969k| 11k| 0.000000e+00 | -- | Inf
1377.54/1377.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.54/1377.68 c 1378s| 5030k|438753 | 10023k| 2.0 | 435M| 35 | 5 | 40 |9088 | 40 | 16 | 22 |2975k| 11k| 0.000000e+00 | -- | Inf
1380.84/1380.92 c 1381s| 5040k|438986 | 10043k| 2.0 | 436M| 35 | 5 | 40 |8430 | 40 | 16 | 22 |2982k| 11k| 0.000000e+00 | -- | Inf
1383.23/1383.30 c 1383s| 5050k|440258 | 10063k| 2.0 | 438M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |2988k| 11k| 0.000000e+00 | -- | Inf
1386.14/1386.23 c 1386s| 5060k|440593 | 10082k| 2.0 | 438M| 35 | - | 40 | 12k| 40 | 16 | 22 |2994k| 11k| 0.000000e+00 | -- | Inf
1389.64/1389.74 c 1390s| 5070k|440769 | 10103k| 2.0 | 438M| 35 | - | 40 | 10k| 0 | 0 | 22 |3001k| 11k| 0.000000e+00 | -- | Inf
1393.03/1393.17 c 1393s| 5080k|441025 | 10122k| 2.0 | 438M| 35 | 5 | 40 |8968 | 40 | 16 | 22 |3007k| 11k| 0.000000e+00 | -- | Inf
1396.23/1396.35 c 1396s| 5090k|441337 | 10142k| 2.0 | 438M| 35 | 5 | 40 |8104 | 40 | 16 | 22 |3013k| 11k| 0.000000e+00 | -- | Inf
1399.34/1399.41 c 1399s| 5100k|441592 | 10162k| 2.0 | 439M| 35 | 5 | 40 |8172 | 40 | 16 | 22 |3020k| 11k| 0.000000e+00 | -- | Inf
1402.35/1402.49 c 1402s| 5110k|441913 | 10182k| 2.0 | 439M| 35 | 5 | 40 |7820 | 40 | 16 | 22 |3026k| 11k| 0.000000e+00 | -- | Inf
1405.44/1405.55 c 1406s| 5120k|442171 | 10201k| 2.0 | 440M| 35 | 5 | 40 |8074 | 40 | 16 | 22 |3032k| 11k| 0.000000e+00 | -- | Inf
1408.84/1408.94 c 1409s| 5130k|442141 | 10221k| 2.0 | 440M| 35 | 5 | 40 |7427 | 40 | 16 | 22 |3039k| 11k| 0.000000e+00 | -- | Inf
1412.04/1412.11 c 1412s| 5140k|442325 | 10240k| 2.0 | 441M| 35 | 5 | 40 |8158 | 40 | 16 | 22 |3045k| 11k| 0.000000e+00 | -- | Inf
1415.04/1415.15 c 1415s| 5150k|442617 | 10260k| 2.0 | 441M| 35 | 5 | 40 |8364 | 40 | 16 | 22 |3051k| 11k| 0.000000e+00 | -- | Inf
1418.63/1418.75 c 1419s| 5160k|442492 | 10280k| 2.0 | 441M| 35 | 5 | 40 |7064 | 40 | 16 | 22 |3058k| 11k| 0.000000e+00 | -- | Inf
1421.93/1422.01 c 1422s| 5170k|442509 | 10300k| 2.0 | 441M| 35 | - | 40 |7379 | 0 | 0 | 22 |3065k| 11k| 0.000000e+00 | -- | Inf
1424.73/1424.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.73/1424.89 c 1425s| 5180k|443018 | 10319k| 2.0 | 443M| 35 | 5 | 40 |8731 | 40 | 16 | 22 |3071k| 11k| 0.000000e+00 | -- | Inf
1427.84/1427.92 c 1428s| 5190k|443346 | 10339k| 2.0 | 443M| 35 | - | 40 |9184 | 0 | 0 | 22 |3077k| 11k| 0.000000e+00 | -- | Inf
1431.23/1431.34 c 1431s| 5200k|443439 | 10359k| 2.0 | 443M| 35 | 5 | 40 |8639 | 40 | 16 | 22 |3083k| 11k| 0.000000e+00 | -- | Inf
1434.35/1434.48 c 1434s| 5210k|443690 | 10379k| 2.0 | 444M| 35 | 5 | 40 |8306 | 40 | 16 | 22 |3090k| 11k| 0.000000e+00 | -- | Inf
1437.83/1437.95 c 1438s| 5220k|443686 | 10398k| 2.0 | 444M| 35 | 5 | 40 |7823 | 40 | 16 | 22 |3096k| 11k| 0.000000e+00 | -- | Inf
1441.04/1441.13 c 1441s| 5230k|443902 | 10418k| 2.0 | 445M| 35 | 5 | 40 |8689 | 40 | 16 | 22 |3102k| 11k| 0.000000e+00 | -- | Inf
1443.83/1443.90 c 1444s| 5240k|444357 | 10438k| 2.0 | 446M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3109k| 11k| 0.000000e+00 | -- | Inf
1447.33/1447.41 c 1447s| 5250k|444463 | 10458k| 2.0 | 445M| 35 | - | 40 |8237 | 40 | 16 | 22 |3115k| 11k| 0.000000e+00 | -- | Inf
1450.43/1450.52 c 1451s| 5260k|444792 | 10477k| 2.0 | 446M| 35 | 5 | 40 |8831 | 40 | 16 | 22 |3122k| 11k| 0.000000e+00 | -- | Inf
1453.93/1454.07 c 1454s| 5270k|444758 | 10497k| 2.0 | 446M| 35 | 5 | 40 |7632 | 40 | 16 | 22 |3128k| 11k| 0.000000e+00 | -- | Inf
1457.23/1457.36 c 1457s| 5280k|444748 | 10517k| 2.0 | 446M| 35 | - | 40 |7433 | 40 | 16 | 22 |3135k| 11k| 0.000000e+00 | -- | Inf
1459.93/1460.04 c 1460s| 5290k|445218 | 10536k| 2.0 | 448M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3141k| 11k| 0.000000e+00 | -- | Inf
1463.53/1463.65 c 1464s| 5300k|445254 | 10556k| 2.0 | 448M| 35 | - | 40 |9540 | 0 | 0 | 22 |3147k| 11k| 0.000000e+00 | -- | Inf
1466.33/1466.45 c 1466s| 5310k|445867 | 10575k| 2.0 | 449M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3153k| 11k| 0.000000e+00 | -- | Inf
1470.03/1470.15 c 1470s| 5320k|446016 | 10595k| 2.0 | 449M| 35 | 5 | 40 |9917 | 40 | 16 | 22 |3160k| 11k| 0.000000e+00 | -- | Inf
1473.33/1473.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.33/1473.44 c 1473s| 5330k|446359 | 10615k| 2.0 | 449M| 35 | 5 | 40 |9254 | 40 | 16 | 22 |3166k| 11k| 0.000000e+00 | -- | Inf
1476.43/1476.51 c 1477s| 5340k|446719 | 10634k| 2.0 | 450M| 35 | 5 | 40 |9767 | 40 | 16 | 22 |3172k| 11k| 0.000000e+00 | -- | Inf
1479.13/1479.21 c 1479s| 5350k|447498 | 10654k| 2.0 | 451M| 35 | - | 40 | 11k| 40 | 16 | 22 |3178k| 11k| 0.000000e+00 | -- | Inf
1481.83/1481.97 c 1482s| 5360k|448771 | 10673k| 2.0 | 452M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3183k| 11k| 0.000000e+00 | -- | Inf
1484.63/1484.75 c 1485s| 5370k|449390 | 10693k| 2.0 | 453M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3189k| 11k| 0.000000e+00 | -- | Inf
1488.43/1488.50 c 1488s| 5380k|449435 | 10713k| 2.0 | 453M| 35 | - | 40 |9749 | 0 | 0 | 22 |3195k| 11k| 0.000000e+00 | -- | Inf
1491.45/1491.60 c 1492s| 5390k|450069 | 10732k| 2.0 | 454M| 35 | - | 40 | 10k| 0 | 0 | 22 |3201k| 11k| 0.000000e+00 | -- | Inf
1494.14/1494.24 c 1494s| 5400k|450865 | 10751k| 2.0 | 455M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3207k| 11k| 0.000000e+00 | -- | Inf
1497.33/1497.43 c 1497s| 5410k|451110 | 10770k| 2.0 | 455M| 35 | 5 | 40 |9961 | 40 | 16 | 22 |3213k| 11k| 0.000000e+00 | -- | Inf
1500.13/1500.26 c 1500s| 5420k|451913 | 10790k| 2.0 | 456M| 35 | - | 40 | 11k| 40 | 16 | 22 |3219k| 11k| 0.000000e+00 | -- | Inf
1503.44/1503.56 c 1504s| 5430k|452102 | 10809k| 2.0 | 456M| 35 | - | 40 |9356 | 40 | 16 | 22 |3226k| 12k| 0.000000e+00 | -- | Inf
1506.85/1506.93 c 1507s| 5440k|452291 | 10829k| 2.0 | 456M| 35 | 5 | 40 |8664 | 40 | 16 | 22 |3232k| 12k| 0.000000e+00 | -- | Inf
1509.83/1509.97 c 1510s| 5450k|452816 | 10851k| 2.0 | 457M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3238k| 12k| 0.000000e+00 | -- | Inf
1512.84/1512.92 c 1513s| 5460k|453256 | 10870k| 2.0 | 458M| 35 | - | 40 | 11k| 40 | 16 | 22 |3245k| 12k| 0.000000e+00 | -- | Inf
1516.33/1516.47 c 1516s| 5470k|453472 | 10891k| 2.0 | 458M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3251k| 12k| 0.000000e+00 | -- | Inf
1519.93/1520.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.93/1520.11 c 1520s| 5480k|453557 | 10911k| 2.0 | 459M| 35 | 5 | 40 |9475 | 40 | 16 | 22 |3258k| 12k| 0.000000e+00 | -- | Inf
1522.64/1522.78 c 1523s| 5490k|454408 | 10929k| 2.0 | 460M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3264k| 12k| 0.000000e+00 | -- | Inf
1526.33/1526.43 c 1526s| 5500k|454549 | 10948k| 2.0 | 460M| 35 | - | 40 |9975 | 40 | 16 | 22 |3270k| 12k| 0.000000e+00 | -- | Inf
1530.13/1530.25 c 1530s| 5510k|454526 | 10968k| 2.0 | 460M| 35 | - | 40 |8349 | 0 | 0 | 22 |3276k| 12k| 0.000000e+00 | -- | Inf
1533.13/1533.23 c 1533s| 5520k|454929 | 10989k| 2.0 | 461M| 35 | - | 40 | 10k| 0 | 0 | 22 |3283k| 12k| 0.000000e+00 | -- | Inf
1536.83/1536.99 c 1537s| 5530k|454960 | 11009k| 2.0 | 461M| 35 | - | 40 |8202 | 0 | 0 | 22 |3290k| 12k| 0.000000e+00 | -- | Inf
1540.33/1540.49 c 1540s| 5540k|455052 | 11030k| 2.0 | 461M| 35 | 5 | 40 |8414 | 40 | 16 | 22 |3296k| 12k| 0.000000e+00 | -- | Inf
1543.53/1543.68 c 1544s| 5550k|455364 | 11049k| 2.0 | 462M| 35 | - | 40 |9335 | 40 | 16 | 22 |3302k| 12k| 0.000000e+00 | -- | Inf
1546.63/1546.77 c 1547s| 5560k|455823 | 11069k| 2.0 | 463M| 35 | - | 40 | 10k| 40 | 16 | 22 |3309k| 12k| 0.000000e+00 | -- | Inf
1550.03/1550.17 c 1550s| 5570k|456174 | 11088k| 2.0 | 463M| 35 | 5 | 40 |9879 | 40 | 16 | 22 |3315k| 12k| 0.000000e+00 | -- | Inf
1553.53/1553.61 c 1554s| 5580k|456401 | 11108k| 2.0 | 463M| 35 | 5 | 40 |9764 | 40 | 16 | 22 |3321k| 12k| 0.000000e+00 | -- | Inf
1556.93/1557.05 c 1557s| 5590k|456652 | 11128k| 2.0 | 464M| 35 | - | 40 |9636 | 40 | 16 | 22 |3327k| 12k| 0.000000e+00 | -- | Inf
1560.23/1560.35 c 1560s| 5600k|456868 | 11148k| 2.0 | 464M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3334k| 12k| 0.000000e+00 | -- | Inf
1563.73/1563.87 c 1564s| 5610k|457043 | 11167k| 2.0 | 465M| 35 | 5 | 40 |9759 | 40 | 16 | 22 |3340k| 12k| 0.000000e+00 | -- | Inf
1567.23/1567.35 c 1567s| 5620k|457217 | 11187k| 2.0 | 465M| 35 | - | 40 |8955 | 0 | 0 | 22 |3346k| 12k| 0.000000e+00 | -- | Inf
1570.83/1570.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.83/1570.90 c 1571s| 5630k|457253 | 11207k| 2.0 | 465M| 35 | 5 | 40 |8748 | 40 | 16 | 22 |3353k| 12k| 0.000000e+00 | -- | Inf
1574.23/1574.33 c 1574s| 5640k|457269 | 11227k| 2.0 | 465M| 35 | - | 40 |8537 | 40 | 16 | 22 |3359k| 12k| 0.000000e+00 | -- | Inf
1577.83/1577.95 c 1578s| 5650k|457206 | 11246k| 2.0 | 465M| 35 | 5 | 40 |8080 | 40 | 16 | 22 |3366k| 12k| 0.000000e+00 | -- | Inf
1580.73/1580.83 c 1581s| 5660k|457764 | 11266k| 2.0 | 466M| 35 | 5 | 40 |9300 | 40 | 16 | 22 |3372k| 12k| 0.000000e+00 | -- | Inf
1583.73/1583.89 c 1584s| 5670k|458317 | 11288k| 2.0 | 468M| 35 | - | 40 | 11k| 0 | 0 | 22 |3379k| 12k| 0.000000e+00 | -- | Inf
1587.33/1587.41 c 1587s| 5680k|458767 | 11308k| 2.0 | 468M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3385k| 12k| 0.000000e+00 | -- | Inf
1589.93/1590.02 c 1590s| 5690k|459794 | 11328k| 2.0 | 469M| 35 | - | 40 | 11k| 0 | 0 | 22 |3391k| 12k| 0.000000e+00 | -- | Inf
1592.53/1592.69 c 1593s| 5700k|461059 | 11348k| 2.0 | 471M| 35 | - | 40 | 12k| 40 | 16 | 22 |3397k| 12k| 0.000000e+00 | -- | Inf
1595.63/1595.71 c 1596s| 5710k|461755 | 11367k| 2.0 | 472M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3402k| 12k| 0.000000e+00 | -- | Inf
1599.03/1599.17 c 1599s| 5720k|461993 | 11386k| 2.0 | 472M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3409k| 12k| 0.000000e+00 | -- | Inf
1602.43/1602.52 c 1603s| 5730k|462373 | 11405k| 2.0 | 473M| 35 | 5 | 40 | 14k| 40 | 16 | 22 |3415k| 12k| 0.000000e+00 | -- | Inf
1606.13/1606.24 c 1606s| 5740k|462594 | 11424k| 2.0 | 473M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3421k| 12k| 0.000000e+00 | -- | Inf
1610.25/1610.37 c 1610s| 5750k|462670 | 11444k| 2.0 | 472M| 35 | 5 | 40 |8357 | 40 | 16 | 22 |3428k| 12k| 0.000000e+00 | -- | Inf
1614.03/1614.11 c 1614s| 5760k|462584 | 11464k| 2.0 | 472M| 35 | 5 | 40 |8207 | 40 | 16 | 22 |3434k| 12k| 0.000000e+00 | -- | Inf
1617.13/1617.27 c 1617s| 5770k|462833 | 11483k| 2.0 | 473M| 35 | 5 | 40 |9589 | 40 | 16 | 22 |3441k| 12k| 0.000000e+00 | -- | Inf
1620.33/1620.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1620.33/1620.42 c 1620s| 5780k|463086 | 11503k| 2.0 | 473M| 35 | - | 40 |9519 | 40 | 16 | 22 |3447k| 12k| 0.000000e+00 | -- | Inf
1623.13/1623.22 c 1623s| 5790k|463690 | 11524k| 2.0 | 475M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3453k| 12k| 0.000000e+00 | -- | Inf
1626.75/1626.83 c 1627s| 5800k|463942 | 11544k| 2.0 | 475M| 35 | - | 40 | 10k| 40 | 16 | 22 |3460k| 12k| 0.000000e+00 | -- | Inf
1629.63/1629.79 c 1630s| 5810k|464590 | 11563k| 2.0 | 476M| 35 | - | 40 | 12k| 40 | 16 | 22 |3466k| 12k| 0.000000e+00 | -- | Inf
1633.83/1633.91 c 1634s| 5820k|464538 | 11584k| 2.0 | 476M| 35 | - | 40 |9936 | 40 | 16 | 22 |3473k| 12k| 0.000000e+00 | -- | Inf
1637.75/1637.90 c 1638s| 5830k|464315 | 11603k| 2.0 | 475M| 35 | - | 40 |8164 | 0 | 0 | 22 |3479k| 12k| 0.000000e+00 | -- | Inf
1641.23/1641.37 c 1641s| 5840k|464319 | 11623k| 2.0 | 476M| 35 | - | 40 |8032 | 40 | 16 | 22 |3486k| 12k| 0.000000e+00 | -- | Inf
1644.03/1644.19 c 1644s| 5850k|464915 | 11643k| 2.0 | 477M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3492k| 12k| 0.000000e+00 | -- | Inf
1647.93/1648.00 c 1648s| 5860k|464906 | 11663k| 2.0 | 477M| 35 | - | 40 |8377 | 40 | 16 | 22 |3499k| 12k| 0.000000e+00 | -- | Inf
1650.94/1651.11 c 1651s| 5870k|465352 | 11683k| 2.0 | 478M| 35 | - | 40 |9592 | 40 | 16 | 22 |3505k| 12k| 0.000000e+00 | -- | Inf
1654.73/1654.89 c 1655s| 5880k|465325 | 11703k| 2.0 | 478M| 35 | - | 40 |8510 | 0 | 0 | 22 |3511k| 12k| 0.000000e+00 | -- | Inf
1658.03/1658.17 c 1658s| 5890k|465509 | 11722k| 2.0 | 478M| 35 | - | 40 |8465 | 40 | 16 | 22 |3518k| 12k| 0.000000e+00 | -- | Inf
1661.03/1661.17 c 1661s| 5900k|465930 | 11743k| 2.0 | 479M| 35 | - | 40 |9499 | 0 | 0 | 22 |3524k| 12k| 0.000000e+00 | -- | Inf
1664.73/1664.89 c 1665s| 5910k|465800 | 11763k| 2.0 | 478M| 35 | - | 40 |7720 | 40 | 16 | 22 |3531k| 12k| 0.000000e+00 | -- | Inf
1667.44/1667.55 c 1668s| 5920k|466374 | 11783k| 2.0 | 480M| 35 | 5 | 40 |9332 | 40 | 16 | 22 |3537k| 12k| 0.000000e+00 | -- | Inf
1670.85/1670.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.85/1670.98 c 1671s| 5930k|466485 | 11803k| 2.0 | 480M| 35 | - | 40 |9792 | 40 | 16 | 22 |3543k| 12k| 0.000000e+00 | -- | Inf
1674.43/1674.51 c 1675s| 5940k|466581 | 11823k| 2.0 | 480M| 35 | 5 | 40 |9691 | 40 | 16 | 22 |3550k| 12k| 0.000000e+00 | -- | Inf
1677.72/1677.80 c 1678s| 5950k|466910 | 11843k| 2.0 | 481M| 35 | - | 40 |9657 | 40 | 16 | 22 |3556k| 12k| 0.000000e+00 | -- | Inf
1680.64/1680.81 c 1681s| 5960k|467370 | 11862k| 2.0 | 482M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3562k| 12k| 0.000000e+00 | -- | Inf
1684.05/1684.17 c 1684s| 5970k|467637 | 11882k| 2.0 | 482M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3569k| 12k| 0.000000e+00 | -- | Inf
1687.52/1687.66 c 1688s| 5980k|467865 | 11902k| 2.0 | 482M| 35 | - | 40 |9632 | 0 | 0 | 22 |3575k| 12k| 0.000000e+00 | -- | Inf
1690.83/1690.92 c 1691s| 5990k|468092 | 11922k| 2.0 | 483M| 35 | - | 40 | 10k| 0 | 0 | 22 |3582k| 12k| 0.000000e+00 | -- | Inf
1694.23/1694.31 c 1694s| 6000k|468506 | 11942k| 2.0 | 484M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3588k| 12k| 0.000000e+00 | -- | Inf
1696.63/1696.79 c 1697s| 6010k|469709 | 11964k| 2.0 | 485M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3594k| 12k| 0.000000e+00 | -- | Inf
1699.73/1699.87 c 1700s| 6020k|470156 | 11984k| 2.0 | 486M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3600k| 12k| 0.000000e+00 | -- | Inf
1702.65/1702.80 c 1703s| 6030k|470863 | 12004k| 2.0 | 487M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3606k| 12k| 0.000000e+00 | -- | Inf
1705.83/1706.01 c 1706s| 6040k|471017 | 12025k| 2.0 | 487M| 35 | - | 40 | 13k| 40 | 16 | 22 |3612k| 12k| 0.000000e+00 | -- | Inf
1709.34/1709.46 c 1709s| 6050k|472071 | 12046k| 2.0 | 488M| 35 | - | 40 | 11k| 0 | 0 | 22 |3619k| 12k| 0.000000e+00 | -- | Inf
1712.33/1712.48 c 1712s| 6060k|473072 | 12067k| 2.0 | 489M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3625k| 12k| 0.000000e+00 | -- | Inf
1715.53/1715.68 c 1716s| 6070k|473846 | 12089k| 2.0 | 490M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3632k| 12k| 0.000000e+00 | -- | Inf
1719.14/1719.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.14/1719.23 c 1719s| 6080k|474274 | 12110k| 2.0 | 491M| 35 | 5 | 40 | 13k| 40 | 16 | 22 |3639k| 12k| 0.000000e+00 | -- | Inf
1723.43/1723.59 c 1724s| 6090k|474174 | 12130k| 2.0 | 490M| 35 | - | 40 | 10k| 40 | 16 | 22 |3646k| 12k| 0.000000e+00 | -- | Inf
1727.13/1727.26 c 1727s| 6100k|474386 | 12149k| 2.0 | 491M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3652k| 12k| 0.000000e+00 | -- | Inf
1731.12/1731.24 c 1731s| 6110k|474426 | 12169k| 2.0 | 491M| 35 | - | 40 |9186 | 40 | 16 | 22 |3659k| 12k| 0.000000e+00 | -- | Inf
1733.73/1733.85 c 1734s| 6120k|475409 | 12189k| 2.0 | 493M| 35 | 5 | 40 | 12k| 40 | 16 | 22 |3665k| 12k| 0.000000e+00 | -- | Inf
1737.42/1737.59 c 1738s| 6130k|475486 | 12209k| 2.0 | 492M| 35 | - | 40 |9995 | 40 | 16 | 22 |3672k| 12k| 0.000000e+00 | -- | Inf
1741.32/1741.43 c 1741s| 6140k|475467 | 12228k| 2.0 | 492M| 35 | 5 | 40 |8921 | 40 | 16 | 22 |3678k| 12k| 0.000000e+00 | -- | Inf
1744.54/1744.67 c 1745s| 6150k|475703 | 12248k| 2.0 | 493M| 35 | 5 | 40 |9359 | 40 | 16 | 22 |3684k| 12k| 0.000000e+00 | -- | Inf
1747.63/1747.78 c 1748s| 6160k|476378 | 12268k| 2.0 | 494M| 35 | 5 | 40 | 10k| 40 | 16 | 22 |3690k| 12k| 0.000000e+00 | -- | Inf
1750.42/1750.58 c 1751s| 6170k|476726 | 12288k| 2.0 | 495M| 35 | 5 | 40 | 11k| 40 | 16 | 22 |3697k| 12k| 0.000000e+00 | -- | Inf
1754.12/1754.28 c 1754s| 6180k|476769 | 12308k| 2.0 | 495M| 35 | - | 40 |9851 | 40 | 16 | 22 |3704k| 12k| 0.000000e+00 | -- | Inf
1758.02/1758.11 c 1758s| 6190k|476753 | 12327k| 2.0 | 494M| 35 | 5 | 40 |8355 | 40 | 16 | 22 |3710k| 12k| 0.000000e+00 | -- | Inf
1761.62/1761.70 c 1762s| 6200k|476786 | 12347k| 2.0 | 495M| 35 | - | 40 |8311 | 40 | 16 | 22 |3717k| 12k| 0.000000e+00 | -- | Inf
1764.82/1764.99 c 1765s| 6210k|477021 | 12366k| 2.0 | 495M| 35 | - | 40 |8891 | 40 | 16 | 22 |3723k| 12k| 0.000000e+00 | -- | Inf
1767.82/1767.97 c 1768s| 6220k|477761 | 12386k| 2.0 | 496M| 35 | - | 40 |9679 | 40 | 16 | 22 |3728k| 12k| 0.000000e+00 | -- | Inf
1771.02/1771.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.02/1771.10 c 1771s| 6230k|477732 | 12405k| 2.0 | 496M| 35 | 5 | 40 |9203 | 40 | 16 | 22 |3735k| 12k| 0.000000e+00 | -- | Inf
1774.62/1774.70 c 1775s| 6240k|477861 | 12425k| 2.0 | 497M| 35 | - | 40 |9419 | 0 | 0 | 22 |3741k| 12k| 0.000000e+00 | -- | Inf
1778.12/1778.20 c 1778s| 6250k|478157 | 12445k| 2.0 | 497M| 35 | 5 | 40 |9433 | 40 | 16 | 22 |3748k| 12k| 0.000000e+00 | -- | Inf
1780.92/1781.01 c 1781s| 6260k|478809 | 12465k| 2.0 | 498M| 35 | - | 40 | 11k| 0 | 0 | 22 |3753k| 12k| 0.000000e+00 | -- | Inf
1784.82/1784.96 c 1785s| 6270k|478782 | 12484k| 2.0 | 498M| 35 | - | 40 |9230 | 40 | 16 | 22 |3759k| 12k| 0.000000e+00 | -- | Inf
1788.22/1788.36 c 1788s| 6280k|478970 | 12504k| 2.0 | 499M| 35 | 5 | 40 |9822 | 40 | 16 | 22 |3766k| 12k| 0.000000e+00 | -- | Inf
1791.52/1791.69 c 1792s| 6290k|479183 | 12525k| 2.0 | 499M| 35 | - | 40 |9442 | 40 | 16 | 22 |3773k| 12k| 0.000000e+00 | -- | Inf
1795.04/1795.16 c 1795s| 6300k|479160 | 12545k| 2.0 | 499M| 35 | - | 40 |7885 | 40 | 16 | 22 |3779k| 12k| 0.000000e+00 | -- | Inf
1798.12/1798.20 c 1798s| 6310k|479359 | 12564k| 2.0 | 499M| 35 | 5 | 40 |8558 | 40 | 16 | 22 |3786k| 12k| 0.000000e+00 | -- | Inf
1799.92/1800.00 c
1799.92/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.92/1800.00 c Solving Time (sec) : 1800.00
1799.92/1800.00 c Solving Nodes : 6316862
1799.92/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.92/1800.00 c Dual Bound : +0.00000000000000e+00
1799.92/1800.00 c Gap : infinite
1799.92/1800.00 s UNKNOWN
1799.92/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.92/1800.00 c Total Time : 1800.00
1799.92/1800.00 c solving : 1800.00
1799.92/1800.00 c presolving : 0.00 (included in solving)
1799.92/1800.00 c reading : 0.00 (included in solving)
1799.92/1800.00 c Original Problem :
1799.92/1800.00 c Problem name : HOME/instance-3450871-1307096786.opb
1799.92/1800.00 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.92/1800.00 c Constraints : 11 initial, 11 maximal
1799.92/1800.00 c Presolved Problem :
1799.92/1800.00 c Problem name : t_HOME/instance-3450871-1307096786.opb
1799.92/1800.00 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.92/1800.00 c Constraints : 5 initial, 18335 maximal
1799.92/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.92/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1799.92/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c linear : 0.00 0 0 0 0 0 6 0 0 0
1799.92/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c root node : - 0 - - 0 - - - - -
1799.92/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.92/1800.00 c integral : 0 0 0 3693193 0 4 0 1515 6633 0 0 7371376
1799.92/1800.00 c linear : 5+ 7 15068721 0 1 3 12030048 1491742 12584450 0 0 0
1799.92/1800.00 c logicor : 0+ 6 7496343 0 0 0 6572581 31574 2970996 0 0 0
1799.92/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1799.92/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.92/1800.00 c integral : 20.89 0.00 0.00 20.89 0.00 0.00 0.00
1799.92/1800.00 c linear : 166.24 0.00 142.56 0.00 0.00 0.00 23.68
1799.92/1800.00 c logicor : 541.90 0.00 534.63 0.00 0.00 0.00 7.27
1799.92/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.92/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.92/1800.00 c vbounds : 0 0 0 0
1799.92/1800.00 c rootredcost : 0 0 0 0
1799.92/1800.00 c pseudoobj : 0 0 0 0
1799.92/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1799.92/1800.00 c vbounds : 2.31 2.31 0.00
1799.92/1800.00 c rootredcost : 2.70 2.70 0.00
1799.92/1800.00 c pseudoobj : 1.55 1.55 0.00
1799.92/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.92/1800.00 c propagation : 41.78 1523316 1105712 3287673 28.2 148 23.7 -
1799.92/1800.00 c infeasible LP : 36.03 1656609 1656575 2911279 18.4 21419 23.4 0
1799.92/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.92/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.92/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.92/1800.00 c applied globally : - - - 3752370 20.3 - - -
1799.92/1800.00 c applied locally : - - - 38037 31.6 - - -
1799.92/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.92/1800.00 c cut pool : 0.00 5 - - 37 - (maximal pool size: 94)
1799.92/1800.00 c redcost : 3.81 3693198 0 0 0 0
1799.92/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1799.92/1800.00 c intobj : 0.00 0 0 0 0 0
1799.92/1800.00 c gomory : 0.00 6 0 0 0 0
1799.92/1800.00 c cgmip : 0.00 0 0 0 0 0
1799.92/1800.00 c closecuts : 0.00 0 0 0 0 0
1799.92/1800.00 c strongcg : 0.00 6 0 0 29 0
1799.92/1800.00 c cmir : 0.01 6 0 0 36 0
1799.92/1800.00 c flowcover : 0.01 6 0 0 51 0
1799.92/1800.00 c clique : 0.00 1 0 0 0 0
1799.92/1800.00 c zerohalf : 0.00 0 0 0 0 0
1799.92/1800.00 c mcf : 0.00 1 0 0 0 0
1799.92/1800.00 c oddcycle : 0.00 0 0 0 0 0
1799.92/1800.00 c rapidlearning : 0.01 1 0 0 0 15
1799.92/1800.00 c Pricers : Time Calls Vars
1799.92/1800.00 c problem variables: 0.00 0 0
1799.92/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.92/1800.00 c relpscost : 18.93 3693193 1515 6633 0 0 7371376
1799.92/1800.00 c pscost : 0.00 0 0 0 0 0 0
1799.92/1800.00 c inference : 0.00 1 0 0 0 0 2
1799.92/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1799.92/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1799.92/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1799.92/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1799.92/1800.00 c random : 0.00 0 0 0 0 0 0
1799.92/1800.00 c Primal Heuristics : Time Calls Found
1799.92/1800.00 c LP solutions : 0.00 - 0
1799.92/1800.00 c pseudo solutions : 0.00 - 0
1799.92/1800.00 c oneopt : 1.71 0 0
1799.92/1800.00 c crossover : 1.26 0 0
1799.92/1800.00 c guideddiving : 0.14 0 0
1799.92/1800.00 c intshifting : 0.07 0 0
1799.92/1800.00 c rootsoldiving : 0.17 120 0
1799.92/1800.00 c coefdiving : 0.17 240 0
1799.92/1800.00 c pscostdiving : 0.18 240 0
1799.92/1800.00 c fracdiving : 0.19 240 0
1799.92/1800.00 c veclendiving : 0.18 240 0
1799.92/1800.00 c linesearchdiving : 0.17 240 0
1799.92/1800.00 c feaspump : 0.16 120 0
1799.92/1800.00 c objpscostdiving : 0.14 121 0
1799.92/1800.00 c trivial : 0.00 2 0
1799.92/1800.00 c shiftandpropagate: 0.00 1 0
1799.92/1800.00 c simplerounding : 0.58 0 0
1799.92/1800.00 c zirounding : 8.80 0 0
1799.92/1800.00 c rounding : 1.52 27297 0
1799.92/1800.00 c shifting : 1.81 7784 0
1799.92/1800.00 c twoopt : 0.00 0 0
1799.92/1800.00 c fixandinfer : 0.00 0 0
1799.92/1800.00 c clique : 0.00 0 0
1799.92/1800.00 c intdiving : 0.00 0 0
1799.92/1800.00 c actconsdiving : 0.00 0 0
1799.92/1800.00 c octane : 0.00 0 0
1799.92/1800.00 c rens : 0.02 1 0
1799.92/1800.00 c rins : 0.00 0 0
1799.92/1800.00 c localbranching : 0.00 0 0
1799.92/1800.00 c mutation : 0.00 0 0
1799.92/1800.00 c dins : 0.00 0 0
1799.92/1800.00 c vbounds : 0.00 0 0
1799.92/1800.00 c undercover : 0.00 0 0
1799.92/1800.00 c subnlp : 0.88 0 0
1799.92/1800.00 c trysol : 1.07 0 0
1799.92/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1799.92/1800.00 c primal LP : 0.00 0 0 0.00 -
1799.92/1800.00 c dual LP : 223.37 5235777 12574514 2.40 56294.45
1799.92/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1799.92/1800.00 c barrier LP : 0.00 0 0 0.00 -
1799.92/1800.00 c diving/probing LP: 0.13 2791 4660 1.67 34605.93
1799.92/1800.00 c strong branching : 0.94 12988 42981 3.31 45884.72
1799.92/1800.00 c (at root node) : - 10 276 27.60 -
1799.92/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1799.92/1800.00 c B&B Tree :
1799.92/1800.00 c number of runs : 1
1799.92/1800.00 c nodes : 6316862
1799.92/1800.00 c nodes (total) : 6316862
1799.92/1800.00 c nodes left : 480511
1799.92/1800.00 c max depth : 35
1799.92/1800.00 c max depth (total): 35
1799.92/1800.00 c backtracks : 1453617 (23.0%)
1799.92/1800.00 c delayed cutoffs : 574006
1799.92/1800.00 c repropagations : 4711932 (6657291 domain reductions, 547418 cutoffs)
1799.92/1800.00 c avg switch length: 5.76
1799.92/1800.00 c switching time : 521.92
1799.92/1800.00 c Solution :
1799.92/1800.00 c Solutions found : 0 (0 improvements)
1799.92/1800.00 c Primal Bound : -
1799.92/1800.00 c Dual Bound : +0.00000000000000e+00
1799.92/1800.00 c Gap : infinite
1799.92/1800.00 c Root Dual Bound : +0.00000000000000e+00
1799.92/1800.00 c Root Iterations : 123
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450871-1307096786/watcher-3450871-1307096786 -o /tmp/evaluation-result-3450871-1307096786/solver-3450871-1307096786 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450871-1307096786.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.04 2.00 2/498 10743
/proc/meminfo: memFree=28957708/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=20932 CPUtime=0 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 4078 0 0 0 0 0 0 0 25 0 1 0 821278262 21434368 3774 33554432000 4194304 9163163 140734644611760 18446744073709551615 8041965 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 5233 3786 669 1214 0 4015 0
[startup+0.039098 s]
/proc/loadavg: 2.02 2.04 2.00 2/498 10743
/proc/meminfo: memFree=28957708/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=26308 CPUtime=0.03 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 6168 0 0 0 3 0 0 0 25 0 1 0 821278262 26939392 5158 33554432000 4194304 9163163 140734644611760 18446744073709551615 6673646 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 6577 5158 695 1214 0 5359 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26308
[startup+0.101108 s]
/proc/loadavg: 2.02 2.04 2.00 2/498 10743
/proc/meminfo: memFree=28957708/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=26332 CPUtime=0.09 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 7030 0 0 0 9 0 0 0 25 0 1 0 821278262 26963968 5532 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 6583 5532 703 1214 0 5365 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26332
[startup+0.301068 s]
/proc/loadavg: 2.02 2.04 2.00 2/498 10743
/proc/meminfo: memFree=28957708/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=26332 CPUtime=0.29 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 7033 0 0 0 28 1 0 0 25 0 1 0 821278262 26963968 5535 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 6583 5535 705 1214 0 5365 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26332
[startup+0.701004 s]
/proc/loadavg: 2.02 2.04 2.00 2/498 10743
/proc/meminfo: memFree=28957708/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=26332 CPUtime=0.69 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 7037 0 0 0 67 2 0 0 25 0 1 0 821278262 26963968 5539 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 6583 5539 705 1214 0 5365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26332
[startup+1.50087 s]
/proc/loadavg: 2.02 2.04 2.00 2/497 10745
/proc/meminfo: memFree=29080724/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=26332 CPUtime=1.49 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 7045 0 0 0 144 5 0 0 25 0 1 0 821278262 26963968 5547 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 6583 5547 705 1214 0 5365 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26332
[startup+3.10059 s]
/proc/loadavg: 2.02 2.04 2.00 3/496 10754
/proc/meminfo: memFree=29081820/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=26644 CPUtime=3.09 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 7062 0 0 0 300 9 0 0 25 0 1 0 821278262 27283456 5564 33554432000 4194304 9163163 140734644611760 18446744073709551615 6527976 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 6661 5564 705 1214 0 5443 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26644
[startup+6.30106 s]
/proc/loadavg: 2.02 2.04 2.00 2/495 10762
/proc/meminfo: memFree=29094296/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=30360 CPUtime=6.29 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 7975 0 0 0 612 17 0 0 25 0 1 0 821278262 31088640 6477 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 7590 6477 705 1214 0 6372 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30360
[startup+12.701 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 10772
/proc/meminfo: memFree=29049476/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=37912 CPUtime=12.7 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 9862 0 0 0 1236 34 0 0 25 0 1 0 821278262 38821888 8364 33554432000 4194304 9163163 140734644611760 18446744073709551615 6781440 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 9478 8364 705 1214 0 8260 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 37912
[startup+25.5008 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 10772
/proc/meminfo: memFree=29011952/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=49308 CPUtime=25.49 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 12788 0 0 0 2488 61 0 0 25 0 1 0 821278262 50491392 11290 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 12327 11290 705 1214 0 11109 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49308
[startup+51.1005 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 10774
/proc/meminfo: memFree=28971792/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=69192 CPUtime=51.08 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 17812 0 0 0 4999 109 0 0 25 0 1 0 821278262 70852608 16314 33554432000 4194304 9163163 140734644611760 18446744073709551615 4548105 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 17298 16314 705 1214 0 16080 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69192
[startup+102.319 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 10774
/proc/meminfo: memFree=28901764/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=105060 CPUtime=102.3 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 26265 0 0 0 10033 197 0 0 25 0 1 0 821278262 107581440 24767 33554432000 4194304 9163163 140734644611760 18446744073709551615 4553508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 26265 24767 705 1214 0 25047 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 105060
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10776
/proc/meminfo: memFree=28841280/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=136344 CPUtime=162.26 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 34230 0 0 0 15919 307 0 0 25 0 1 0 821278262 139616256 32732 33554432000 4194304 9163163 140734644611760 18446744073709551615 4241255 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 34086 32732 705 1214 0 32868 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 136344
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 10778
/proc/meminfo: memFree=28797852/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=163972 CPUtime=222.26 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 41181 0 0 0 21818 408 0 0 25 0 1 0 821278262 167907328 39683 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 40993 39683 705 1214 0 39775 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 163972
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 10780
/proc/meminfo: memFree=28750464/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=189428 CPUtime=282.27 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 47646 0 0 0 27726 501 0 0 25 0 1 0 821278262 193974272 46148 33554432000 4194304 9163163 140734644611760 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 47357 46148 705 1214 0 46139 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 189428
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 10780
/proc/meminfo: memFree=28692676/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=216860 CPUtime=342.26 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 53566 0 0 0 33634 592 0 0 25 0 1 0 821278262 222064640 52068 33554432000 4194304 9163163 140734644611760 18446744073709551615 4240214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 54215 52068 705 1214 0 52997 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 216860
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 10782
/proc/meminfo: memFree=28634492/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=241700 CPUtime=402.26 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 59958 0 0 0 39550 676 0 0 25 0 1 0 821278262 247500800 58460 33554432000 4194304 9163163 140734644611760 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 60425 58460 705 1214 0 59207 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 241700
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/499 10784
/proc/meminfo: memFree=28592448/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=258352 CPUtime=462.26 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 64015 0 0 0 45473 753 0 0 25 0 1 0 821278262 264552448 62517 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 64588 62517 705 1214 0 63370 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 258352
[startup+522.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/499 10786
/proc/meminfo: memFree=28550524/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=280180 CPUtime=522.26 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 69591 0 0 0 51387 839 0 0 25 0 1 0 821278262 286904320 68093 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 70045 68093 705 1214 0 68827 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 280180
[startup+582.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/499 10788
/proc/meminfo: memFree=28518512/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=296172 CPUtime=582.26 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 73497 0 0 0 57305 921 0 0 25 0 1 0 821278262 303280128 71999 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 74043 71999 705 1214 0 72825 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 296172
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10796
/proc/meminfo: memFree=28420964/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=377212 CPUtime=882.25 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 94085 0 0 0 86902 1323 0 0 25 0 1 0 821278262 386265088 92587 33554432000 4194304 9163163 140734644611760 18446744073709551615 4449296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 94303 92587 705 1214 0 93085 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 377212
[startup+942.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 10796
/proc/meminfo: memFree=28405832/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=390096 CPUtime=942.25 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 97252 0 0 0 92826 1399 0 0 25 0 1 0 821278262 399458304 95754 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 97524 95754 705 1214 0 96306 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 390096
[startup+1002.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/499 10798
/proc/meminfo: memFree=28384492/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=404040 CPUtime=1002.25 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 100798 0 0 0 98745 1480 0 0 25 0 1 0 821278262 413736960 99300 33554432000 4194304 9163163 140734644611760 18446744073709551615 4240214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 101010 99300 705 1214 0 99792 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 404040
[startup+1062.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/499 10800
/proc/meminfo: memFree=28366620/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=415544 CPUtime=1062.25 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 103786 0 0 0 104663 1562 0 0 25 0 1 0 821278262 425517056 102288 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 103886 102288 705 1214 0 102668 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 415544
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/499 10802
/proc/meminfo: memFree=28326176/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=428640 CPUtime=1122.24 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 107094 0 0 0 110590 1634 0 0 25 0 1 0 821278262 438927360 105596 33554432000 4194304 9163163 140734644611760 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 107160 105596 705 1214 0 105942 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 428640
[startup+1182.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/499 10804
/proc/meminfo: memFree=28290944/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=438308 CPUtime=1182.25 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 109559 0 0 0 116520 1705 0 0 25 0 1 0 821278262 448827392 108061 33554432000 4194304 9163163 140734644611760 18446744073709551615 6555922 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 109577 108061 705 1214 0 108359 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 438308
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/499 10804
/proc/meminfo: memFree=28237488/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=451464 CPUtime=1242.24 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 112753 0 0 0 122443 1781 0 0 25 0 1 0 821278262 462299136 111255 33554432000 4194304 9163163 140734644611760 18446744073709551615 4553220 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 112866 111255 705 1214 0 111648 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 451464
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 10806
/proc/meminfo: memFree=28184400/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=460888 CPUtime=1302.25 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 115166 0 0 0 128371 1854 0 0 25 0 1 0 821278262 471949312 113668 33554432000 4194304 9163163 140734644611760 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 115222 113668 705 1214 0 114004 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 460888
[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/499 10808
/proc/meminfo: memFree=28144200/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=470496 CPUtime=1362.23 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 117601 0 0 0 134298 1925 0 0 25 0 1 0 821278262 481787904 116103 33554432000 4194304 9163163 140734644611760 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 117624 116103 705 1214 0 116406 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 470496
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 10810
/proc/meminfo: memFree=28102144/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=479860 CPUtime=1422.25 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 119951 0 0 0 140225 2000 0 0 25 0 1 0 821278262 491376640 118453 33554432000 4194304 9163163 140734644611760 18446744073709551615 6555954 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 119965 118453 705 1214 0 118747 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 479860
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 10812
/proc/meminfo: memFree=28062308/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=489524 CPUtime=1482.23 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 122453 0 0 0 146147 2076 0 0 25 0 1 0 821278262 501272576 120955 33554432000 4194304 9163163 140734644611760 18446744073709551615 4219851 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 122381 120955 705 1214 0 121163 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 489524
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 10812
/proc/meminfo: memFree=28026068/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=499620 CPUtime=1542.23 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 124987 0 0 0 152080 2143 0 0 25 0 1 0 821278262 511610880 123489 33554432000 4194304 9163163 140734644611760 18446744073709551615 4219851 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 124905 123489 705 1214 0 123687 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 499620
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10814
/proc/meminfo: memFree=27989608/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=520360 CPUtime=1602.23 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 128217 0 0 0 158009 2214 0 0 25 0 1 0 821278262 532848640 126719 33554432000 4194304 9163163 140734644611760 18446744073709551615 5275496 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 130090 126719 705 1214 0 128872 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 520360
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/499 10816
/proc/meminfo: memFree=27954488/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=527128 CPUtime=1662.23 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 129899 0 0 0 163947 2276 0 0 25 0 1 0 821278262 539779072 128401 33554432000 4194304 9163163 140734644611760 18446744073709551615 4241255 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 131782 128401 705 1214 0 130564 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 527128
[startup+1722.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/499 10818
/proc/meminfo: memFree=27920364/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=538320 CPUtime=1722.23 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 132578 0 0 0 169871 2352 0 0 25 0 1 0 821278262 551239680 131080 33554432000 4194304 9163163 140734644611760 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 134580 131080 705 1214 0 133362 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 538320
[startup+1782.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/499 10820
/proc/meminfo: memFree=27893304/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=544592 CPUtime=1782.22 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 134212 0 0 0 175800 2422 0 0 25 0 1 0 821278262 557662208 132714 33554432000 4194304 9163163 140734644611760 18446744073709551615 4214503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10743/statm: 136148 132714 705 1214 0 134930 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 544592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.09 2.07 2.01 3/499 10820
/proc/meminfo: memFree=27885368/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=545996 CPUtime=1800.03 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 134575 0 0 0 177562 2441 0 0 18 0 1 0 821278262 559099904 133077 33554432000 4194304 9163163 140734644611760 18446744073709551615 6918460 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10743/statm: 136499 133077 708 1214 0 135281 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 545996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.09 2.07 2.01 3/499 10820
/proc/meminfo: memFree=27885368/32951132 swapFree=57925096/67111528
[pid=10743] ppid=10741 vsize=545996 CPUtime=1800.03 cores=0,2,4,6
/proc/10743/stat : 10743 (scip-2.0.1.4b.l) R 10741 10743 10513 0 -1 4202496 134575 0 0 0 177562 2441 0 0 18 0 1 0 821278262 559099904 133077 33554432000 4194304 9163163 140734644611760 18446744073709551615 6918460 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10743/statm: 136499 133077 708 1214 0 135281 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 545996
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.07
CPU user time (s): 1775.63
CPU system time (s): 24.4413
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 545996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.63
system time used= 24.4413
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134575
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= 7
involuntary context switches= 2621
runsolver used 9.50255 second user time and 20.02 second system time
The end