0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693727-1277971544.wbo>
0.00/0.01 c original problem has 2716 variables (2618 bin, 0 int, 0 impl, 98 cont) and 241 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 98 impls, 21 clqs
0.00/0.02 c (round 2) 0 del vars, 1 del conss, 98 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 98 impls, 21 clqs
0.00/0.02 c (round 3) 0 del vars, 1 del conss, 98 chg bounds, 0 chg sides, 0 chg coeffs, 23 upgd conss, 98 impls, 21 clqs
0.00/0.02 c (round 4) 0 del vars, 1 del conss, 98 chg bounds, 0 chg sides, 0 chg coeffs, 44 upgd conss, 98 impls, 21 clqs
0.00/0.04 c (0.0s) probing: 101/2618 (3.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 0 deleted vars, 1 deleted constraints, 98 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 98 implications, 21 cliques
0.00/0.04 c presolved problem has 2716 variables (2618 bin, 0 int, 0 impl, 98 cont) and 240 constraints
0.00/0.04 c 98 constraints of type <indicator>
0.00/0.04 c 21 constraints of type <setppc>
0.00/0.04 c 98 constraints of type <linear>
0.00/0.04 c 23 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 3420
0.00/0.04 c
0.00/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c lp/solvefreq = -1
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 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.05 c 0.0s| 1 | 2 | 0 | - |5190k| 0 | - |2716 | 240 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.04 c 2.0s| 10000 | 9951 | 0 | 0.0 |8701k|2077 | - |2716 | 340 | 0 | 0 | 0 | 234 | 0 | 0.000000e+00 | -- | Inf
4.30/4.33 c 4.2s| 20000 | 19892 | 0 | 0.0 | 11M|2077 | - |2716 | 370 | 0 | 0 | 0 | 534 | 0 | 0.000000e+00 | -- | Inf
6.59/6.64 c 6.5s| 30000 | 29832 | 0 | 0.0 | 14M|2077 | - |2716 | 432 | 0 | 0 | 0 | 848 | 0 | 0.000000e+00 | -- | Inf
8.89/8.95 c 8.7s| 40000 | 39773 | 0 | 0.0 | 17M|2077 | - |2716 | 489 | 0 | 0 | 0 |1136 | 0 | 0.000000e+00 | -- | Inf
11.19/11.27 c 11.0s| 50000 | 49713 | 0 | 0.0 | 20M|2077 | - |2716 | 488 | 0 | 0 | 0 |1434 | 0 | 0.000000e+00 | -- | Inf
13.49/13.57 c 13.2s| 60000 | 59653 | 0 | 0.0 | 23M|2077 | - |2716 | 535 | 0 | 0 | 0 |1734 | 0 | 0.000000e+00 | -- | Inf
15.79/15.84 c 15.4s| 70000 | 69595 | 0 | 0.0 | 25M|2077 | - |2716 | 530 | 0 | 0 | 0 |2024 | 0 | 0.000000e+00 | -- | Inf
18.09/18.15 c 17.7s| 80000 | 79535 | 0 | 0.0 | 28M|2077 | - |2716 | 553 | 0 | 0 | 0 |2324 | 0 | 0.000000e+00 | -- | Inf
20.39/20.44 c 19.9s| 90000 | 89466 | 0 | 0.0 | 31M|2077 | - |2716 | 591 | 0 | 0 | 0 |2670 | 0 | 0.000000e+00 | -- | Inf
22.59/22.68 c 22.1s|100000 | 99411 | 0 | 0.0 | 34M|2077 | - |2716 | 579 | 0 | 0 | 0 |2950 | 0 | 0.000000e+00 | -- | Inf
24.89/24.95 c 24.3s|110000 |109337 | 0 | 0.0 | 36M|2077 | - |2716 | 641 | 0 | 0 | 0 |3327 | 0 | 0.000000e+00 | -- | Inf
27.19/27.21 c 26.5s|120000 |119280 | 0 | 0.0 | 39M|2077 | - |2716 | 644 | 0 | 0 | 0 |3627 | 0 | 0.000000e+00 | -- | Inf
29.39/29.44 c 28.7s|130000 |129210 | 0 | 0.0 | 42M|2077 | - |2716 | 646 | 0 | 0 | 0 |3977 | 0 | 0.000000e+00 | -- | Inf
31.59/31.68 c 30.9s|140000 |139153 | 0 | 0.0 | 45M|2077 | - |2716 | 659 | 0 | 0 | 0 |4267 | 0 | 0.000000e+00 | -- | Inf
33.79/33.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.79/33.88 c 33.0s|150000 |149089 | 0 | 0.0 | 48M|2077 | - |2716 | 609 | 0 | 0 | 0 |4587 | 0 | 0.000000e+00 | -- | Inf
35.99/36.07 c 35.2s|160000 |159014 | 0 | 0.0 | 50M|2077 | - |2716 | 630 | 0 | 0 | 0 |4967 | 0 | 0.000000e+00 | -- | Inf
38.20/38.25 c 37.3s|170000 |168943 | 0 | 0.0 | 53M|2077 | - |2716 | 662 | 0 | 0 | 0 |5318 | 0 | 0.000000e+00 | -- | Inf
40.39/40.42 c 39.4s|180000 |178858 | 0 | 0.0 | 56M|2077 | - |2716 | 697 | 0 | 0 | 0 |5748 | 0 | 0.000000e+00 | -- | Inf
42.49/42.52 c 41.5s|190000 |188797 | 0 | 0.0 | 59M|2077 | - |2716 | 663 | 0 | 0 | 0 |6058 | 0 | 0.000000e+00 | -- | Inf
44.59/44.64 c 43.5s|200000 |198722 | 0 | 0.0 | 62M|2077 | - |2716 | 704 | 0 | 0 | 0 |6437 | 0 | 0.000000e+00 | -- | Inf
46.69/46.77 c 45.6s|210000 |208640 | 0 | 0.0 | 65M|2077 | - |2716 | 713 | 0 | 0 | 0 |6847 | 0 | 0.000000e+00 | -- | Inf
48.79/48.85 c 47.6s|220000 |218555 | 0 | 0.0 | 68M|2077 | - |2716 | 749 | 0 | 0 | 0 |7277 | 0 | 0.000000e+00 | -- | Inf
50.89/50.95 c 49.6s|230000 |228468 | 0 | 0.0 | 70M|2077 | - |2716 | 804 | 0 | 0 | 0 |7717 | 0 | 0.000000e+00 | -- | Inf
52.99/53.03 c 51.6s|240000 |238375 | 0 | 0.0 | 73M|2077 | - |2716 | 787 | 0 | 0 | 0 |8185 | 0 | 0.000000e+00 | -- | Inf
54.99/55.05 c 53.6s|250000 |248298 | 0 | 0.0 | 76M|2077 | - |2716 | 825 | 0 | 0 | 0 |8575 | 0 | 0.000000e+00 | -- | Inf
56.99/57.09 c 55.6s|260000 |258210 | 0 | 0.0 | 79M|2077 | - |2716 | 892 | 0 | 0 | 0 |9025 | 0 | 0.000000e+00 | -- | Inf
59.09/59.10 c 57.5s|270000 |268127 | 0 | 0.0 | 82M|2077 | - |2716 | 843 | 0 | 0 | 0 |9442 | 0 | 0.000000e+00 | -- | Inf
61.09/61.12 c 59.5s|280000 |278029 | 0 | 0.0 | 85M|2077 | - |2716 | 926 | 0 | 0 | 0 |9962 | 0 | 0.000000e+00 | -- | Inf
63.09/63.10 c 61.4s|290000 |287937 | 0 | 0.0 | 88M|2077 | - |2716 | 897 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
64.99/65.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.99/65.08 c 63.4s|300000 |297849 | 0 | 0.0 | 91M|2077 | - |2716 | 915 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
67.00/67.06 c 65.3s|310000 |307765 | 0 | 0.0 | 94M|2077 | - |2716 | 880 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
68.99/69.02 c 67.2s|320000 |317660 | 0 | 0.0 | 97M|2077 | - |2716 | 953 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
70.89/70.97 c 69.1s|330000 |327576 | 0 | 0.0 | 100M|2077 | - |2716 | 901 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
72.89/72.90 c 70.9s|340000 |337478 | 0 | 0.0 | 103M|2077 | - |2716 | 880 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
74.70/74.77 c 72.7s|350000 |347380 | 0 | 0.0 | 106M|2077 | - |2716 | 892 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
76.59/76.68 c 74.6s|360000 |357269 | 0 | 0.0 | 109M|2077 | - |2716 | 890 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
78.49/78.59 c 76.4s|370000 |367155 | 0 | 0.0 | 112M|2077 | - |2716 | 857 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
80.99/81.01 c 78.8s|380000 |376562 | 0 | 0.0 | 116M|2077 | - |2716 | 927 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
83.30/83.34 c 81.1s|390000 |385945 | 0 | 0.0 | 121M|2077 | - |2716 | 911 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
85.50/85.52 c 83.2s|400000 |395355 | 0 | 0.0 | 125M|2077 | - |2716 | 898 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
87.50/87.55 c 85.2s|410000 |404733 | 0 | 0.0 | 130M|2077 | - |2716 | 878 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
89.39/89.43 c 87.0s|420000 |414113 | 0 | 0.0 | 134M|2077 | - |2716 | 917 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
91.09/91.19 c 88.6s|430000 |423504 | 0 | 0.0 | 138M|2077 | - |2716 | 896 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
92.70/92.77 c 90.2s|440000 |432877 | 0 | 0.0 | 143M|2077 | - |2716 | 937 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
94.29/94.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.29/94.39 c 91.7s|450000 |442020 | 0 | 0.0 | 147M|2077 | - |2716 |1025 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
96.50/96.58 c 93.8s|460000 |451956 | 0 | 0.0 | 150M|2077 | - |2716 | 917 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
98.69/98.80 c 96.0s|470000 |461905 | 0 | 0.0 | 153M|2077 | - |2716 | 896 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
100.99/101.03 c 98.2s|480000 |471824 | 0 | 0.0 | 155M|2077 | - |2716 | 926 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
103.20/103.26 c 100s|490000 |481762 | 0 | 0.0 | 158M|2077 | - |2716 | 936 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
105.50/105.51 c 103s|500000 |491704 | 0 | 0.0 | 161M|2077 | - |2716 | 935 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
107.70/107.75 c 105s|510000 |501635 | 0 | 0.0 | 164M|2077 | - |2716 | 961 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
109.90/109.98 c 107s|520000 |511574 | 0 | 0.0 | 166M|2077 | - |2716 | 932 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
112.20/112.22 c 109s|530000 |521521 | 0 | 0.0 | 169M|2077 | - |2716 | 916 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
114.40/114.45 c 111s|540000 |531458 | 0 | 0.0 | 172M|2077 | - |2716 | 887 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
116.60/116.69 c 113s|550000 |541398 | 0 | 0.0 | 175M|2077 | - |2716 | 865 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
118.89/118.94 c 116s|560000 |551329 | 0 | 0.0 | 177M|2077 | - |2716 | 880 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
121.09/121.16 c 118s|570000 |561271 | 0 | 0.0 | 180M|2077 | - |2716 | 877 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
123.40/123.40 c 120s|580000 |571203 | 0 | 0.0 | 183M|2077 | - |2716 | 836 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
125.60/125.64 c 122s|590000 |581143 | 0 | 0.0 | 186M|2077 | - |2716 | 853 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
127.80/127.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.80/127.83 c 124s|600000 |591088 | 0 | 0.0 | 188M|2077 | - |2716 | 808 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
130.00/130.07 c 126s|610000 |601026 | 0 | 0.0 | 191M|2077 | - |2716 | 816 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
132.29/132.30 c 129s|620000 |610966 | 0 | 0.0 | 194M|2077 | - |2716 | 846 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
134.49/134.53 c 131s|630000 |620892 | 0 | 0.0 | 197M|2077 | - |2716 | 867 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
136.70/136.77 c 133s|640000 |630824 | 0 | 0.0 | 200M|2077 | - |2716 | 855 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
138.99/139.01 c 135s|650000 |640767 | 0 | 0.0 | 202M|2077 | - |2716 | 867 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
141.20/141.22 c 137s|660000 |650704 | 0 | 0.0 | 205M|2077 | - |2716 | 896 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
143.39/143.47 c 139s|670000 |660641 | 0 | 0.0 | 208M|2077 | - |2716 | 880 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
145.70/145.71 c 142s|680000 |670582 | 0 | 0.0 | 211M|2077 | - |2716 | 848 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
147.90/147.93 c 144s|690000 |680515 | 0 | 0.0 | 213M|2077 | - |2716 | 883 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
150.10/150.18 c 146s|700000 |690444 | 0 | 0.0 | 216M|2077 | - |2716 | 860 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
152.40/152.42 c 148s|710000 |700390 | 0 | 0.0 | 219M|2077 | - |2716 | 824 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
154.59/154.63 c 150s|720000 |710330 | 0 | 0.0 | 222M|2077 | - |2716 | 843 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
156.80/156.85 c 152s|730000 |720280 | 0 | 0.0 | 224M|2077 | - |2716 | 808 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
159.09/159.10 c 155s|740000 |730214 | 0 | 0.0 | 227M|2077 | - |2716 | 866 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
161.30/161.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.30/161.32 c 157s|750000 |740165 | 0 | 0.0 | 230M|2077 | - |2716 | 806 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
163.50/163.57 c 159s|760000 |750099 | 0 | 0.0 | 232M|2077 | - |2716 | 832 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
165.79/165.82 c 161s|770000 |760038 | 0 | 0.0 | 235M|2077 | - |2716 | 826 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
168.00/168.04 c 163s|780000 |769984 | 0 | 0.0 | 238M|2077 | - |2716 | 781 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
170.20/170.28 c 166s|790000 |779927 | 0 | 0.0 | 241M|2077 | - |2716 | 772 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
172.49/172.52 c 168s|800000 |789863 | 0 | 0.0 | 243M|2077 | - |2716 | 783 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
174.70/174.74 c 170s|810000 |799815 | 0 | 0.0 | 246M|2077 | - |2716 | 743 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
177.00/177.01 c 172s|820000 |809742 | 0 | 0.0 | 249M|2077 | - |2716 | 792 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
179.20/179.25 c 174s|830000 |819676 | 0 | 0.0 | 252M|2077 | - |2716 | 780 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
181.40/181.49 c 176s|840000 |829619 | 0 | 0.0 | 254M|2077 | - |2716 | 772 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
183.71/183.72 c 179s|850000 |839561 | 0 | 0.0 | 257M|2077 | - |2716 | 776 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
185.90/185.96 c 181s|860000 |849501 | 0 | 0.0 | 260M|2077 | - |2716 | 767 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
188.10/188.17 c 183s|870000 |859443 | 0 | 0.0 | 263M|2077 | - |2716 | 781 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
190.39/190.43 c 185s|880000 |869379 | 0 | 0.0 | 265M|2077 | - |2716 | 764 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
192.60/192.68 c 187s|890000 |879319 | 0 | 0.0 | 268M|2077 | - |2716 | 792 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
194.90/194.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.90/194.92 c 190s|900000 |889254 | 0 | 0.0 | 271M|2077 | - |2716 | 833 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
197.10/197.16 c 192s|910000 |899194 | 0 | 0.0 | 274M|2077 | - |2716 | 810 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
199.29/199.38 c 194s|920000 |909132 | 0 | 0.0 | 276M|2077 | - |2716 | 815 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
201.60/201.62 c 196s|930000 |919068 | 0 | 0.0 | 279M|2077 | - |2716 | 791 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
203.79/203.86 c 198s|940000 |929009 | 0 | 0.0 | 282M|2077 | - |2716 | 819 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
206.10/206.10 c 200s|950000 |938946 | 0 | 0.0 | 285M|2077 | - |2716 | 795 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
208.30/208.33 c 203s|960000 |948891 | 0 | 0.0 | 287M|2077 | - |2716 | 791 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
210.49/210.59 c 205s|970000 |958829 | 0 | 0.0 | 290M|2077 | - |2716 | 819 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
212.80/212.81 c 207s|980000 |968772 | 0 | 0.0 | 293M|2077 | - |2716 | 807 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
214.99/215.05 c 209s|990000 |978710 | 0 | 0.0 | 296M|2077 | - |2716 | 792 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
217.19/217.28 c 211s| 1000k|988653 | 0 | 0.0 | 298M|2077 | - |2716 | 806 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
219.50/219.53 c 214s| 1010k|998577 | 0 | 0.0 | 301M|2077 | - |2716 | 828 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
221.69/221.77 c 216s| 1020k| 1008k| 0 | 0.0 | 304M|2077 | - |2716 | 783 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
224.00/224.02 c 218s| 1030k| 1018k| 0 | 0.0 | 307M|2077 | - |2716 | 849 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
226.19/226.26 c 220s| 1040k| 1028k| 0 | 0.0 | 309M|2077 | - |2716 | 804 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
228.50/228.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.50/228.50 c 222s| 1050k| 1038k| 0 | 0.0 | 312M|2077 | - |2716 | 777 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
230.70/230.76 c 224s| 1060k| 1048k| 0 | 0.0 | 315M|2077 | - |2716 | 797 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
232.90/232.96 c 227s| 1070k| 1058k| 0 | 0.0 | 318M|2077 | - |2716 | 786 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
235.20/235.23 c 229s| 1080k| 1068k| 0 | 0.0 | 320M|2077 | - |2716 | 810 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
237.40/237.49 c 231s| 1090k| 1078k| 0 | 0.0 | 323M|2077 | - |2716 | 826 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
239.71/239.72 c 233s| 1100k| 1088k| 0 | 0.0 | 326M|2077 | - |2716 | 802 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
241.90/241.97 c 235s| 1110k| 1097k| 0 | 0.0 | 329M|2077 | - |2716 | 786 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
244.20/244.22 c 238s| 1120k| 1107k| 0 | 0.0 | 331M|2077 | - |2716 | 769 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
246.40/246.43 c 240s| 1130k| 1117k| 0 | 0.0 | 334M|2077 | - |2716 | 787 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
248.60/248.67 c 242s| 1140k| 1127k| 0 | 0.0 | 337M|2077 | - |2716 | 763 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
250.90/250.93 c 244s| 1150k| 1137k| 0 | 0.0 | 340M|2077 | - |2716 | 779 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
253.10/253.15 c 246s| 1160k| 1147k| 0 | 0.0 | 342M|2077 | - |2716 | 784 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
255.30/255.39 c 248s| 1170k| 1157k| 0 | 0.0 | 345M|2077 | - |2716 | 797 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
257.60/257.63 c 251s| 1180k| 1167k| 0 | 0.0 | 348M|2077 | - |2716 | 754 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
259.80/259.85 c 253s| 1190k| 1177k| 0 | 0.0 | 351M|2077 | - |2716 | 758 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
262.10/262.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.10/262.12 c 255s| 1200k| 1187k| 0 | 0.0 | 353M|2077 | - |2716 | 768 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
264.30/264.36 c 257s| 1210k| 1197k| 0 | 0.0 | 356M|2077 | - |2716 | 771 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
266.49/266.58 c 259s| 1220k| 1207k| 0 | 0.0 | 359M|2077 | - |2716 | 773 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
268.80/268.81 c 261s| 1230k| 1217k| 0 | 0.0 | 362M|2077 | - |2716 | 776 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
271.00/271.05 c 264s| 1240k| 1227k| 0 | 0.0 | 364M|2077 | - |2716 | 773 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
273.30/273.30 c 266s| 1250k| 1237k| 0 | 0.0 | 367M|2077 | - |2716 | 772 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
275.50/275.54 c 268s| 1260k| 1247k| 0 | 0.0 | 370M|2077 | - |2716 | 773 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
277.70/277.77 c 270s| 1270k| 1256k| 0 | 0.0 | 373M|2077 | - |2716 | 791 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
280.00/280.03 c 272s| 1280k| 1266k| 0 | 0.0 | 375M|2077 | - |2716 | 752 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
282.20/282.26 c 274s| 1290k| 1276k| 0 | 0.0 | 378M|2077 | - |2716 | 744 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
284.50/284.50 c 277s| 1300k| 1286k| 0 | 0.0 | 381M|2077 | - |2716 | 774 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
286.70/286.74 c 279s| 1310k| 1296k| 0 | 0.0 | 383M|2077 | - |2716 | 776 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
289.00/289.01 c 281s| 1320k| 1306k| 0 | 0.0 | 386M|2077 | - |2716 | 782 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
291.20/291.23 c 283s| 1330k| 1316k| 0 | 0.0 | 389M|2077 | - |2716 | 847 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
293.40/293.46 c 285s| 1340k| 1326k| 0 | 0.0 | 392M|2077 | - |2716 | 828 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
295.70/295.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.70/295.72 c 288s| 1350k| 1336k| 0 | 0.0 | 394M|2077 | - |2716 | 846 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
297.90/297.96 c 290s| 1360k| 1346k| 0 | 0.0 | 397M|2077 | - |2716 | 846 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
300.20/300.20 c 292s| 1370k| 1356k| 0 | 0.0 | 400M|2077 | - |2716 | 889 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
302.40/302.46 c 294s| 1380k| 1366k| 0 | 0.0 | 403M|2077 | - |2716 | 818 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
304.60/304.69 c 296s| 1390k| 1376k| 0 | 0.0 | 405M|2077 | - |2716 | 853 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
306.91/306.93 c 299s| 1400k| 1386k| 0 | 0.0 | 408M|2077 | - |2716 | 858 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
309.10/309.19 c 301s| 1410k| 1396k| 0 | 0.0 | 411M|2077 | - |2716 | 914 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
311.40/311.40 c 303s| 1420k| 1406k| 0 | 0.0 | 413M|2077 | - |2716 | 864 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
313.60/313.64 c 305s| 1430k| 1415k| 0 | 0.0 | 416M|2077 | - |2716 | 878 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
315.90/315.91 c 307s| 1440k| 1425k| 0 | 0.0 | 419M|2077 | - |2716 | 851 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
318.10/318.12 c 309s| 1450k| 1435k| 0 | 0.0 | 422M|2077 | - |2716 | 868 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
320.30/320.35 c 312s| 1460k| 1445k| 0 | 0.0 | 424M|2077 | - |2716 | 894 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
322.50/322.59 c 314s| 1470k| 1455k| 0 | 0.0 | 427M|2077 | - |2716 | 845 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
324.80/324.80 c 316s| 1480k| 1465k| 0 | 0.0 | 430M|2077 | - |2716 | 850 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
327.01/327.04 c 318s| 1490k| 1475k| 0 | 0.0 | 433M|2077 | - |2716 | 872 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
329.21/329.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.21/329.28 c 320s| 1500k| 1485k| 0 | 0.0 | 435M|2077 | - |2716 | 886 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
331.50/331.54 c 322s| 1510k| 1495k| 0 | 0.0 | 438M|2077 | - |2716 | 860 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
333.70/333.77 c 325s| 1520k| 1505k| 0 | 0.0 | 441M|2077 | - |2716 | 847 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
336.00/336.01 c 327s| 1530k| 1515k| 0 | 0.0 | 443M|2077 | - |2716 | 795 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
338.20/338.22 c 329s| 1540k| 1525k| 0 | 0.0 | 446M|2077 | - |2716 | 802 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
340.40/340.45 c 331s| 1550k| 1535k| 0 | 0.0 | 449M|2077 | - |2716 | 811 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
342.60/342.67 c 333s| 1560k| 1545k| 0 | 0.0 | 452M|2077 | - |2716 | 810 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
344.90/344.90 c 335s| 1570k| 1555k| 0 | 0.0 | 454M|2077 | - |2716 | 790 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
347.10/347.14 c 338s| 1580k| 1565k| 0 | 0.0 | 457M|2077 | - |2716 | 779 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
349.30/349.39 c 340s| 1590k| 1575k| 0 | 0.0 | 460M|2077 | - |2716 | 756 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
351.60/351.62 c 342s| 1600k| 1584k| 0 | 0.0 | 463M|2077 | - |2716 | 813 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
353.81/353.87 c 344s| 1610k| 1594k| 0 | 0.0 | 465M|2077 | - |2716 | 805 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
356.10/356.13 c 346s| 1620k| 1604k| 0 | 0.0 | 468M|2077 | - |2716 | 791 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
358.31/358.38 c 349s| 1630k| 1614k| 0 | 0.0 | 471M|2077 | - |2716 | 797 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
360.60/360.63 c 351s| 1640k| 1624k| 0 | 0.0 | 473M|2077 | - |2716 | 836 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
362.80/362.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.80/362.87 c 353s| 1650k| 1634k| 0 | 0.0 | 476M|2077 | - |2716 | 815 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
365.11/365.12 c 355s| 1660k| 1644k| 0 | 0.0 | 479M|2077 | - |2716 | 819 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
367.31/367.39 c 357s| 1670k| 1654k| 0 | 0.0 | 482M|2077 | - |2716 | 845 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
369.60/369.63 c 360s| 1680k| 1664k| 0 | 0.0 | 484M|2077 | - |2716 | 879 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
371.81/371.89 c 362s| 1690k| 1674k| 0 | 0.0 | 487M|2077 | - |2716 | 872 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
374.10/374.11 c 364s| 1700k| 1684k| 0 | 0.0 | 490M|2077 | - |2716 | 898 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
376.31/376.36 c 366s| 1710k| 1694k| 0 | 0.0 | 493M|2077 | - |2716 | 897 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
378.60/378.61 c 368s| 1720k| 1704k| 0 | 0.0 | 495M|2077 | - |2716 | 902 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
380.81/380.87 c 371s| 1730k| 1714k| 0 | 0.0 | 498M|2077 | - |2716 | 911 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
383.10/383.10 c 373s| 1740k| 1724k| 0 | 0.0 | 501M|2077 | - |2716 | 912 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
385.30/385.36 c 375s| 1750k| 1734k| 0 | 0.0 | 504M|2077 | - |2716 | 892 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
387.60/387.63 c 377s| 1760k| 1743k| 0 | 0.0 | 506M|2077 | - |2716 | 896 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
389.80/389.88 c 379s| 1770k| 1753k| 0 | 0.0 | 509M|2077 | - |2716 | 904 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
392.10/392.14 c 381s| 1780k| 1763k| 0 | 0.0 | 512M|2077 | - |2716 | 898 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
394.40/394.41 c 384s| 1790k| 1773k| 0 | 0.0 | 515M|2077 | - |2716 | 854 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
396.61/396.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.61/396.64 c 386s| 1800k| 1783k| 0 | 0.0 | 517M|2077 | - |2716 | 809 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
398.90/398.90 c 388s| 1810k| 1793k| 0 | 0.0 | 520M|2077 | - |2716 | 818 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
401.10/401.17 c 390s| 1820k| 1803k| 0 | 0.0 | 523M|2077 | - |2716 | 824 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
403.41/403.41 c 392s| 1830k| 1813k| 0 | 0.0 | 526M|2077 | - |2716 | 832 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
405.61/405.68 c 395s| 1840k| 1823k| 0 | 0.0 | 528M|2077 | - |2716 | 812 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
407.91/407.93 c 397s| 1850k| 1833k| 0 | 0.0 | 531M|2077 | - |2716 | 799 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
410.11/410.20 c 399s| 1860k| 1843k| 0 | 0.0 | 534M|2077 | - |2716 | 852 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
412.41/412.46 c 401s| 1870k| 1853k| 0 | 0.0 | 536M|2077 | - |2716 | 811 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
414.61/414.70 c 403s| 1880k| 1863k| 0 | 0.0 | 539M|2077 | - |2716 | 808 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
416.91/416.95 c 406s| 1890k| 1873k| 0 | 0.0 | 542M|2077 | - |2716 | 826 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
419.11/419.19 c 408s| 1900k| 1883k| 0 | 0.0 | 545M|2077 | - |2716 | 817 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
421.41/421.45 c 410s| 1910k| 1892k| 0 | 0.0 | 547M|2077 | - |2716 | 826 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
423.61/423.68 c 412s| 1920k| 1902k| 0 | 0.0 | 550M|2077 | - |2716 | 798 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
425.90/425.95 c 414s| 1930k| 1912k| 0 | 0.0 | 553M|2077 | - |2716 | 825 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
428.21/428.21 c 417s| 1940k| 1922k| 0 | 0.0 | 556M|2077 | - |2716 | 782 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
430.40/430.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.40/430.46 c 419s| 1950k| 1932k| 0 | 0.0 | 558M|2077 | - |2716 | 786 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
432.71/432.72 c 421s| 1960k| 1942k| 0 | 0.0 | 561M|2077 | - |2716 | 782 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
434.90/434.98 c 423s| 1970k| 1952k| 0 | 0.0 | 564M|2077 | - |2716 | 781 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
437.21/437.24 c 425s| 1980k| 1962k| 0 | 0.0 | 567M|2077 | - |2716 | 775 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
439.41/439.49 c 428s| 1990k| 1972k| 0 | 0.0 | 569M|2077 | - |2716 | 773 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
441.70/441.71 c 430s| 2000k| 1982k| 0 | 0.0 | 572M|2077 | - |2716 | 800 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
443.91/443.94 c 432s| 2010k| 1992k| 0 | 0.0 | 575M|2077 | - |2716 | 774 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
446.20/446.21 c 434s| 2020k| 2002k| 0 | 0.0 | 577M|2077 | - |2716 | 783 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
448.40/448.45 c 436s| 2030k| 2012k| 0 | 0.0 | 580M|2077 | - |2716 | 812 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
450.71/450.71 c 438s| 2040k| 2022k| 0 | 0.0 | 583M|2077 | - |2716 | 788 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
452.91/452.95 c 441s| 2050k| 2032k| 0 | 0.0 | 586M|2077 | - |2716 | 776 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
455.10/455.18 c 443s| 2060k| 2042k| 0 | 0.0 | 588M|2077 | - |2716 | 812 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
457.40/457.45 c 445s| 2070k| 2051k| 0 | 0.0 | 591M|2077 | - |2716 | 792 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
459.71/459.71 c 447s| 2080k| 2061k| 0 | 0.0 | 594M|2077 | - |2716 | 815 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
461.91/461.94 c 449s| 2090k| 2071k| 0 | 0.0 | 597M|2077 | - |2716 | 812 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
464.11/464.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.11/464.19 c 452s| 2100k| 2081k| 0 | 0.0 | 599M|2077 | - |2716 | 798 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
466.41/466.45 c 454s| 2110k| 2091k| 0 | 0.0 | 602M|2077 | - |2716 | 752 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
468.61/468.68 c 456s| 2120k| 2101k| 0 | 0.0 | 605M|2077 | - |2716 | 773 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
470.90/470.93 c 458s| 2130k| 2111k| 0 | 0.0 | 607M|2077 | - |2716 | 782 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
473.10/473.19 c 460s| 2140k| 2121k| 0 | 0.0 | 610M|2077 | - |2716 | 813 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
475.41/475.43 c 463s| 2150k| 2131k| 0 | 0.0 | 613M|2077 | - |2716 | 805 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
477.61/477.68 c 465s| 2160k| 2141k| 0 | 0.0 | 616M|2077 | - |2716 | 824 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
479.90/479.91 c 467s| 2170k| 2151k| 0 | 0.0 | 618M|2077 | - |2716 | 829 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
482.10/482.16 c 469s| 2180k| 2161k| 0 | 0.0 | 621M|2077 | - |2716 | 842 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
484.41/484.40 c 471s| 2190k| 2171k| 0 | 0.0 | 624M|2077 | - |2716 | 844 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
486.60/486.68 c 474s| 2200k| 2181k| 0 | 0.0 | 627M|2077 | - |2716 | 887 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
488.90/488.92 c 476s| 2210k| 2191k| 0 | 0.0 | 629M|2077 | - |2716 | 861 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
491.11/491.14 c 478s| 2220k| 2201k| 0 | 0.0 | 632M|2077 | - |2716 | 855 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
493.31/493.37 c 480s| 2230k| 2210k| 0 | 0.0 | 635M|2077 | - |2716 | 852 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
495.50/495.58 c 482s| 2240k| 2220k| 0 | 0.0 | 637M|2077 | - |2716 | 854 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
497.81/497.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.81/497.82 c 484s| 2250k| 2230k| 0 | 0.0 | 640M|2077 | - |2716 | 826 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
500.00/500.05 c 487s| 2260k| 2240k| 0 | 0.0 | 643M|2077 | - |2716 | 812 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
502.21/502.29 c 489s| 2270k| 2250k| 0 | 0.0 | 646M|2077 | - |2716 | 820 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
504.51/504.56 c 491s| 2280k| 2260k| 0 | 0.0 | 648M|2077 | - |2716 | 815 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
506.70/506.79 c 493s| 2290k| 2270k| 0 | 0.0 | 651M|2077 | - |2716 | 783 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
509.01/509.02 c 495s| 2300k| 2280k| 0 | 0.0 | 654M|2077 | - |2716 | 783 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
511.21/511.29 c 498s| 2310k| 2290k| 0 | 0.0 | 657M|2077 | - |2716 | 816 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
513.50/513.54 c 500s| 2320k| 2300k| 0 | 0.0 | 659M|2077 | - |2716 | 811 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
515.71/515.80 c 502s| 2330k| 2310k| 0 | 0.0 | 662M|2077 | - |2716 | 796 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
518.01/518.06 c 504s| 2340k| 2320k| 0 | 0.0 | 665M|2077 | - |2716 | 780 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
520.31/520.31 c 506s| 2350k| 2330k| 0 | 0.0 | 668M|2077 | - |2716 | 790 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
522.52/522.54 c 509s| 2360k| 2340k| 0 | 0.0 | 670M|2077 | - |2716 | 809 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
524.81/524.81 c 511s| 2370k| 2350k| 0 | 0.0 | 673M|2077 | - |2716 | 807 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
527.01/527.04 c 513s| 2380k| 2360k| 0 | 0.0 | 676M|2077 | - |2716 | 802 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
529.21/529.29 c 515s| 2390k| 2370k| 0 | 0.0 | 679M|2077 | - |2716 | 809 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
531.51/531.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.51/531.56 c 517s| 2400k| 2379k| 0 | 0.0 | 681M|2077 | - |2716 | 815 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
533.81/533.81 c 519s| 2410k| 2389k| 0 | 0.0 | 684M|2077 | - |2716 | 813 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
536.01/536.05 c 522s| 2420k| 2399k| 0 | 0.0 | 687M|2077 | - |2716 | 813 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
538.31/538.31 c 524s| 2430k| 2409k| 0 | 0.0 | 689M|2077 | - |2716 | 834 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
540.51/540.58 c 526s| 2440k| 2419k| 0 | 0.0 | 692M|2077 | - |2716 | 822 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
542.81/542.84 c 528s| 2450k| 2429k| 0 | 0.0 | 695M|2077 | - |2716 | 872 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
545.10/545.13 c 531s| 2460k| 2439k| 0 | 0.0 | 698M|2077 | - |2716 | 868 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
547.31/547.36 c 533s| 2470k| 2449k| 0 | 0.0 | 700M|2077 | - |2716 | 856 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
549.61/549.62 c 535s| 2480k| 2459k| 0 | 0.0 | 703M|2077 | - |2716 | 870 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
551.81/551.89 c 537s| 2490k| 2469k| 0 | 0.0 | 706M|2077 | - |2716 | 872 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
554.11/554.12 c 539s| 2500k| 2479k| 0 | 0.0 | 709M|2077 | - |2716 | 870 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
556.41/556.41 c 541s| 2510k| 2489k| 0 | 0.0 | 711M|2077 | - |2716 | 939 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
558.61/558.68 c 544s| 2520k| 2499k| 0 | 0.0 | 714M|2077 | - |2716 | 891 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
560.92/560.95 c 546s| 2530k| 2509k| 0 | 0.0 | 717M|2077 | - |2716 | 939 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
563.22/563.23 c 548s| 2540k| 2519k| 0 | 0.0 | 720M|2077 | - |2716 | 894 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
565.41/565.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.41/565.48 c 550s| 2550k| 2528k| 0 | 0.0 | 722M|2077 | - |2716 | 917 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
567.70/567.72 c 553s| 2560k| 2538k| 0 | 0.0 | 725M|2077 | - |2716 | 938 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
569.91/569.96 c 555s| 2570k| 2548k| 0 | 0.0 | 728M|2077 | - |2716 | 903 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
572.21/572.23 c 557s| 2580k| 2558k| 0 | 0.0 | 730M|2077 | - |2716 | 891 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
574.41/574.46 c 559s| 2590k| 2568k| 0 | 0.0 | 733M|2077 | - |2716 | 889 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
576.70/576.74 c 561s| 2600k| 2578k| 0 | 0.0 | 736M|2077 | - |2716 | 895 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
579.01/579.00 c 563s| 2610k| 2588k| 0 | 0.0 | 739M|2077 | - |2716 | 871 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
581.21/581.25 c 566s| 2620k| 2598k| 0 | 0.0 | 741M|2077 | - |2716 | 905 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
583.50/583.51 c 568s| 2630k| 2608k| 0 | 0.0 | 744M|2077 | - |2716 | 871 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
585.71/585.78 c 570s| 2640k| 2618k| 0 | 0.0 | 747M|2077 | - |2716 | 857 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
588.00/588.04 c 572s| 2650k| 2628k| 0 | 0.0 | 750M|2077 | - |2716 | 844 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
590.31/590.31 c 574s| 2660k| 2638k| 0 | 0.0 | 752M|2077 | - |2716 | 843 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
592.51/592.56 c 577s| 2670k| 2648k| 0 | 0.0 | 755M|2077 | - |2716 | 844 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
594.71/594.79 c 579s| 2680k| 2658k| 0 | 0.0 | 758M|2077 | - |2716 | 810 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
597.01/597.06 c 581s| 2690k| 2668k| 0 | 0.0 | 760M|2077 | - |2716 | 858 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
599.31/599.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.31/599.30 c 583s| 2700k| 2678k| 0 | 0.0 | 763M|2077 | - |2716 | 843 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
601.51/601.53 c 585s| 2710k| 2687k| 0 | 0.0 | 766M|2077 | - |2716 | 795 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
603.81/603.80 c 588s| 2720k| 2697k| 0 | 0.0 | 769M|2077 | - |2716 | 837 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
606.02/606.05 c 590s| 2730k| 2707k| 0 | 0.0 | 771M|2077 | - |2716 | 822 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
608.32/608.32 c 592s| 2740k| 2717k| 0 | 0.0 | 774M|2077 | - |2716 | 851 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
610.51/610.58 c 594s| 2750k| 2727k| 0 | 0.0 | 777M|2077 | - |2716 | 907 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
612.81/612.80 c 596s| 2760k| 2737k| 0 | 0.0 | 780M|2077 | - |2716 | 870 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
615.01/615.04 c 599s| 2770k| 2747k| 0 | 0.0 | 782M|2077 | - |2716 | 913 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
617.20/617.29 c 601s| 2780k| 2757k| 0 | 0.0 | 785M|2077 | - |2716 | 879 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
619.51/619.50 c 603s| 2790k| 2767k| 0 | 0.0 | 788M|2077 | - |2716 | 899 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
621.71/621.75 c 605s| 2800k| 2777k| 0 | 0.0 | 790M|2077 | - |2716 | 865 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
623.91/624.00 c 607s| 2810k| 2787k| 0 | 0.0 | 793M|2077 | - |2716 | 870 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
626.21/626.21 c 609s| 2820k| 2797k| 0 | 0.0 | 796M|2077 | - |2716 | 840 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
628.41/628.45 c 612s| 2830k| 2807k| 0 | 0.0 | 799M|2077 | - |2716 | 862 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
630.61/630.68 c 614s| 2840k| 2817k| 0 | 0.0 | 801M|2077 | - |2716 | 835 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
632.91/632.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.91/632.93 c 616s| 2850k| 2827k| 0 | 0.0 | 804M|2077 | - |2716 | 867 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
635.11/635.17 c 618s| 2860k| 2837k| 0 | 0.0 | 807M|2077 | - |2716 | 885 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
637.41/637.41 c 620s| 2870k| 2846k| 0 | 0.0 | 810M|2077 | - |2716 | 854 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
639.61/639.64 c 622s| 2880k| 2856k| 0 | 0.0 | 812M|2077 | - |2716 | 819 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
641.81/641.87 c 625s| 2890k| 2866k| 0 | 0.0 | 815M|2077 | - |2716 | 816 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
644.11/644.13 c 627s| 2900k| 2876k| 0 | 0.0 | 818M|2077 | - |2716 | 797 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
646.31/646.35 c 629s| 2910k| 2886k| 0 | 0.0 | 820M|2077 | - |2716 | 797 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
648.61/648.61 c 631s| 2920k| 2896k| 0 | 0.0 | 823M|2077 | - |2716 | 804 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
650.81/650.84 c 633s| 2930k| 2906k| 0 | 0.0 | 826M|2077 | - |2716 | 796 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
653.01/653.05 c 636s| 2940k| 2916k| 0 | 0.0 | 829M|2077 | - |2716 | 797 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
655.31/655.32 c 638s| 2950k| 2926k| 0 | 0.0 | 831M|2077 | - |2716 | 822 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
657.52/657.56 c 640s| 2960k| 2936k| 0 | 0.0 | 834M|2077 | - |2716 | 799 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
659.71/659.79 c 642s| 2970k| 2946k| 0 | 0.0 | 837M|2077 | - |2716 | 823 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
662.01/662.04 c 644s| 2980k| 2956k| 0 | 0.0 | 840M|2077 | - |2716 | 816 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
664.21/664.29 c 646s| 2990k| 2966k| 0 | 0.0 | 842M|2077 | - |2716 | 801 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
666.51/666.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.51/666.52 c 649s| 3000k| 2976k| 0 | 0.0 | 845M|2077 | - |2716 | 772 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
668.72/668.76 c 651s| 3010k| 2986k| 0 | 0.0 | 848M|2077 | - |2716 | 846 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
671.02/671.02 c 653s| 3020k| 2995k| 0 | 0.0 | 851M|2077 | - |2716 | 814 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
673.22/673.25 c 655s| 3030k| 3005k| 0 | 0.0 | 853M|2077 | - |2716 | 818 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
675.41/675.48 c 657s| 3040k| 3015k| 0 | 0.0 | 856M|2077 | - |2716 | 818 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
677.71/677.75 c 660s| 3050k| 3025k| 0 | 0.0 | 859M|2077 | - |2716 | 842 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
680.01/680.00 c 662s| 3060k| 3035k| 0 | 0.0 | 862M|2077 | - |2716 | 849 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
682.21/682.25 c 664s| 3070k| 3045k| 0 | 0.0 | 864M|2077 | - |2716 | 833 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
684.41/684.48 c 666s| 3080k| 3055k| 0 | 0.0 | 867M|2077 | - |2716 | 807 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
686.71/686.72 c 668s| 3090k| 3065k| 0 | 0.0 | 870M|2077 | - |2716 | 817 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
688.92/688.98 c 670s| 3100k| 3075k| 0 | 0.0 | 872M|2077 | - |2716 | 824 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
691.21/691.22 c 673s| 3110k| 3085k| 0 | 0.0 | 875M|2077 | - |2716 | 802 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
693.41/693.49 c 675s| 3120k| 3095k| 0 | 0.0 | 878M|2077 | - |2716 | 877 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
695.71/695.77 c 677s| 3130k| 3105k| 0 | 0.0 | 881M|2077 | - |2716 | 831 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
698.01/698.00 c 679s| 3140k| 3115k| 0 | 0.0 | 883M|2077 | - |2716 | 815 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
700.22/700.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.22/700.29 c 682s| 3150k| 3125k| 0 | 0.0 | 886M|2077 | - |2716 | 839 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
702.52/702.56 c 684s| 3160k| 3135k| 0 | 0.0 | 889M|2077 | - |2716 | 816 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
704.71/704.79 c 686s| 3170k| 3144k| 0 | 0.0 | 892M|2077 | - |2716 | 836 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
707.01/707.03 c 688s| 3180k| 3154k| 0 | 0.0 | 894M|2077 | - |2716 | 848 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
709.22/709.27 c 690s| 3190k| 3164k| 0 | 0.0 | 897M|2077 | - |2716 | 877 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
711.52/711.51 c 692s| 3200k| 3174k| 0 | 0.0 | 900M|2077 | - |2716 | 911 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
713.72/713.77 c 695s| 3210k| 3184k| 0 | 0.0 | 903M|2077 | - |2716 | 861 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
716.02/716.03 c 697s| 3220k| 3194k| 0 | 0.0 | 905M|2077 | - |2716 | 914 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
718.21/718.27 c 699s| 3230k| 3204k| 0 | 0.0 | 908M|2077 | - |2716 | 894 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
720.52/720.52 c 701s| 3240k| 3214k| 0 | 0.0 | 911M|2077 | - |2716 | 902 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
722.72/722.77 c 703s| 3250k| 3224k| 0 | 0.0 | 914M|2077 | - |2716 | 934 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
724.92/724.99 c 706s| 3260k| 3234k| 0 | 0.0 | 916M|2077 | - |2716 | 906 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
727.22/727.26 c 708s| 3270k| 3244k| 0 | 0.0 | 919M|2077 | - |2716 | 966 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
729.51/729.51 c 710s| 3280k| 3254k| 0 | 0.0 | 922M|2077 | - |2716 | 963 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
731.71/731.72 c 712s| 3290k| 3264k| 0 | 0.0 | 925M|2077 | - |2716 | 967 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
734.01/734.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.01/734.00 c 714s| 3300k| 3274k| 0 | 0.0 | 927M|2077 | - |2716 |1003 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
736.21/736.25 c 717s| 3310k| 3284k| 0 | 0.0 | 930M|2077 | - |2716 | 943 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
738.52/738.50 c 719s| 3320k| 3294k| 0 | 0.0 | 933M|2077 | - |2716 | 979 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
740.71/740.76 c 721s| 3330k| 3303k| 0 | 0.0 | 936M|2077 | - |2716 | 997 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
743.01/743.00 c 723s| 3340k| 3313k| 0 | 0.0 | 938M|2077 | - |2716 | 966 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
745.21/745.23 c 725s| 3350k| 3323k| 0 | 0.0 | 941M|2077 | - |2716 | 953 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
747.41/747.47 c 727s| 3360k| 3333k| 0 | 0.0 | 944M|2077 | - |2716 | 944 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
749.71/749.73 c 730s| 3370k| 3343k| 0 | 0.0 | 946M|2077 | - |2716 | 967 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
751.91/751.95 c 732s| 3380k| 3353k| 0 | 0.0 | 949M|2077 | - |2716 | 914 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
754.21/754.23 c 734s| 3390k| 3363k| 0 | 0.0 | 952M|2077 | - |2716 | 899 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
756.42/756.47 c 736s| 3400k| 3373k| 0 | 0.0 | 955M|2077 | - |2716 | 911 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
758.72/758.75 c 738s| 3410k| 3383k| 0 | 0.0 | 957M|2077 | - |2716 | 915 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
760.92/760.99 c 741s| 3420k| 3393k| 0 | 0.0 | 960M|2077 | - |2716 | 895 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
763.22/763.27 c 743s| 3430k| 3403k| 0 | 0.0 | 963M|2077 | - |2716 | 911 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
765.52/765.50 c 745s| 3440k| 3413k| 0 | 0.0 | 965M|2077 | - |2716 | 858 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
767.72/767.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.72/767.74 c 747s| 3450k| 3423k| 0 | 0.0 | 968M|2077 | - |2716 | 853 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
769.92/769.98 c 749s| 3460k| 3433k| 0 | 0.0 | 971M|2077 | - |2716 | 875 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
772.22/772.21 c 752s| 3470k| 3443k| 0 | 0.0 | 974M|2077 | - |2716 | 848 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
774.42/774.46 c 754s| 3480k| 3453k| 0 | 0.0 | 976M|2077 | - |2716 | 853 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
776.72/776.71 c 756s| 3490k| 3462k| 0 | 0.0 | 979M|2077 | - |2716 | 881 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
778.92/778.96 c 758s| 3500k| 3472k| 0 | 0.0 | 982M|2077 | - |2716 | 875 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
781.21/781.21 c 760s| 3510k| 3482k| 0 | 0.0 | 985M|2077 | - |2716 | 893 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
783.41/783.44 c 762s| 3520k| 3492k| 0 | 0.0 | 987M|2077 | - |2716 | 865 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
785.61/785.68 c 765s| 3530k| 3502k| 0 | 0.0 | 990M|2077 | - |2716 | 885 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
787.91/787.95 c 767s| 3540k| 3512k| 0 | 0.0 | 993M|2077 | - |2716 | 913 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
790.11/790.17 c 769s| 3550k| 3522k| 0 | 0.0 | 995M|2077 | - |2716 | 896 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
792.41/792.41 c 771s| 3560k| 3532k| 0 | 0.0 | 998M|2077 | - |2716 | 880 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
794.62/794.68 c 773s| 3570k| 3542k| 0 | 0.0 |1001M|2077 | - |2716 | 950 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
796.92/796.94 c 776s| 3580k| 3552k| 0 | 0.0 |1004M|2077 | - |2716 | 908 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
799.11/799.20 c 778s| 3590k| 3562k| 0 | 0.0 |1006M|2077 | - |2716 | 904 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
801.42/801.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.42/801.45 c 780s| 3600k| 3572k| 0 | 0.0 |1009M|2077 | - |2716 | 917 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
803.61/803.68 c 782s| 3610k| 3582k| 0 | 0.0 |1012M|2077 | - |2716 | 918 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
805.91/805.92 c 784s| 3620k| 3592k| 0 | 0.0 |1015M|2077 | - |2716 | 945 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
808.11/808.17 c 787s| 3630k| 3602k| 0 | 0.0 |1017M|2077 | - |2716 | 892 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
810.32/810.39 c 789s| 3640k| 3611k| 0 | 0.0 |1020M|2077 | - |2716 | 878 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
812.61/812.66 c 791s| 3650k| 3621k| 0 | 0.0 |1023M|2077 | - |2716 | 840 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
814.92/814.90 c 793s| 3660k| 3631k| 0 | 0.0 |1025M|2077 | - |2716 | 881 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
817.11/817.14 c 795s| 3670k| 3641k| 0 | 0.0 |1028M|2077 | - |2716 | 892 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
819.31/819.37 c 797s| 3680k| 3651k| 0 | 0.0 |1031M|2077 | - |2716 | 870 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
821.51/821.59 c 800s| 3690k| 3661k| 0 | 0.0 |1034M|2077 | - |2716 | 866 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
823.82/823.81 c 802s| 3700k| 3671k| 0 | 0.0 |1036M|2077 | - |2716 | 865 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
826.02/826.05 c 804s| 3710k| 3681k| 0 | 0.0 |1039M|2077 | - |2716 | 849 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
828.22/828.29 c 806s| 3720k| 3691k| 0 | 0.0 |1042M|2077 | - |2716 | 848 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
830.52/830.53 c 808s| 3730k| 3701k| 0 | 0.0 |1045M|2077 | - |2716 | 841 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
832.72/832.77 c 810s| 3740k| 3711k| 0 | 0.0 |1047M|2077 | - |2716 | 836 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
835.01/835.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.01/835.00 c 813s| 3750k| 3721k| 0 | 0.0 |1050M|2077 | - |2716 | 813 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
837.22/837.24 c 815s| 3760k| 3731k| 0 | 0.0 |1053M|2077 | - |2716 | 811 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
839.42/839.49 c 817s| 3770k| 3741k| 0 | 0.0 |1056M|2077 | - |2716 | 822 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
841.71/841.74 c 819s| 3780k| 3751k| 0 | 0.0 |1058M|2077 | - |2716 | 864 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
843.92/843.98 c 821s| 3790k| 3761k| 0 | 0.0 |1061M|2077 | - |2716 | 864 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
846.21/846.23 c 824s| 3800k| 3770k| 0 | 0.0 |1064M|2077 | - |2716 | 841 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
848.42/848.46 c 826s| 3810k| 3780k| 0 | 0.0 |1066M|2077 | - |2716 | 885 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
850.62/850.69 c 828s| 3820k| 3790k| 0 | 0.0 |1069M|2077 | - |2716 | 842 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
852.91/852.91 c 830s| 3830k| 3800k| 0 | 0.0 |1072M|2077 | - |2716 | 850 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
855.12/855.19 c 832s| 3840k| 3810k| 0 | 0.0 |1075M|2077 | - |2716 | 888 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
857.42/857.43 c 834s| 3850k| 3820k| 0 | 0.0 |1077M|2077 | - |2716 | 893 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
859.62/859.65 c 837s| 3860k| 3830k| 0 | 0.0 |1080M|2077 | - |2716 | 865 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
861.82/861.87 c 839s| 3870k| 3840k| 0 | 0.0 |1083M|2077 | - |2716 | 890 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
864.01/864.08 c 841s| 3880k| 3850k| 0 | 0.0 |1086M|2077 | - |2716 | 868 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
866.32/866.31 c 843s| 3890k| 3860k| 0 | 0.0 |1088M|2077 | - |2716 | 843 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
868.52/868.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.52/868.55 c 845s| 3900k| 3870k| 0 | 0.0 |1091M|2077 | - |2716 | 846 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
870.72/870.76 c 847s| 3910k| 3880k| 0 | 0.0 |1094M|2077 | - |2716 | 830 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
873.01/873.00 c 850s| 3920k| 3890k| 0 | 0.0 |1097M|2077 | - |2716 | 861 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
875.22/875.23 c 852s| 3930k| 3900k| 0 | 0.0 |1099M|2077 | - |2716 | 879 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
877.42/877.44 c 854s| 3940k| 3910k| 0 | 0.0 |1102M|2077 | - |2716 | 857 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
879.62/879.67 c 856s| 3950k| 3920k| 0 | 0.0 |1105M|2077 | - |2716 | 890 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
881.82/881.86 c 858s| 3960k| 3929k| 0 | 0.0 |1107M|2077 | - |2716 | 857 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
884.12/884.10 c 860s| 3970k| 3939k| 0 | 0.0 |1110M|2077 | - |2716 | 898 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
886.32/886.34 c 863s| 3980k| 3949k| 0 | 0.0 |1113M|2077 | - |2716 | 869 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
888.52/888.55 c 865s| 3990k| 3959k| 0 | 0.0 |1116M|2077 | - |2716 | 849 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
890.72/890.78 c 867s| 4000k| 3969k| 0 | 0.0 |1118M|2077 | - |2716 | 915 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
893.02/893.01 c 869s| 4010k| 3979k| 0 | 0.0 |1121M|2077 | - |2716 | 888 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
895.22/895.22 c 871s| 4020k| 3989k| 0 | 0.0 |1124M|2077 | - |2716 | 869 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
897.42/897.45 c 873s| 4030k| 3999k| 0 | 0.0 |1127M|2077 | - |2716 | 862 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
899.62/899.68 c 876s| 4040k| 4009k| 0 | 0.0 |1129M|2077 | - |2716 | 833 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
901.92/901.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
901.92/901.92 c 878s| 4050k| 4019k| 0 | 0.0 |1132M|2077 | - |2716 | 862 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
904.13/904.16 c 880s| 4060k| 4029k| 0 | 0.0 |1135M|2077 | - |2716 | 864 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
906.32/906.38 c 882s| 4070k| 4039k| 0 | 0.0 |1138M|2077 | - |2716 | 842 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
908.53/908.60 c 884s| 4080k| 4049k| 0 | 0.0 |1140M|2077 | - |2716 | 869 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
910.83/910.84 c 886s| 4090k| 4059k| 0 | 0.0 |1143M|2077 | - |2716 | 822 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
913.02/913.07 c 889s| 4100k| 4069k| 0 | 0.0 |1146M|2077 | - |2716 | 874 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
915.32/915.32 c 891s| 4110k| 4079k| 0 | 0.0 |1148M|2077 | - |2716 | 872 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
917.52/917.55 c 893s| 4120k| 4088k| 0 | 0.0 |1151M|2077 | - |2716 | 854 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
919.72/919.79 c 895s| 4130k| 4098k| 0 | 0.0 |1154M|2077 | - |2716 | 874 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
922.02/922.01 c 897s| 4140k| 4108k| 0 | 0.0 |1157M|2077 | - |2716 | 877 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
924.22/924.26 c 900s| 4150k| 4118k| 0 | 0.0 |1159M|2077 | - |2716 | 887 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
926.52/926.51 c 902s| 4160k| 4128k| 0 | 0.0 |1162M|2077 | - |2716 | 862 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
928.72/928.73 c 904s| 4170k| 4138k| 0 | 0.0 |1165M|2077 | - |2716 | 937 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
930.92/930.97 c 906s| 4180k| 4148k| 0 | 0.0 |1168M|2077 | - |2716 | 935 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
933.22/933.22 c 908s| 4190k| 4158k| 0 | 0.0 |1170M|2077 | - |2716 | 901 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
935.42/935.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.42/935.46 c 910s| 4200k| 4168k| 0 | 0.0 |1173M|2077 | - |2716 | 930 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
937.72/937.70 c 913s| 4210k| 4178k| 0 | 0.0 |1176M|2077 | - |2716 | 929 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
939.92/939.96 c 915s| 4220k| 4188k| 0 | 0.0 |1179M|2077 | - |2716 | 937 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
942.22/942.21 c 917s| 4230k| 4198k| 0 | 0.0 |1181M|2077 | - |2716 | 948 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
944.42/944.44 c 919s| 4240k| 4208k| 0 | 0.0 |1184M|2077 | - |2716 | 974 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
946.62/946.69 c 921s| 4250k| 4218k| 0 | 0.0 |1187M|2077 | - |2716 | 970 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
948.92/948.92 c 924s| 4260k| 4228k| 0 | 0.0 |1190M|2077 | - |2716 | 989 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
951.12/951.17 c 926s| 4270k| 4237k| 0 | 0.0 |1192M|2077 | - |2716 | 970 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
953.32/953.38 c 928s| 4280k| 4247k| 0 | 0.0 |1195M|2077 | - |2716 | 972 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
955.62/955.65 c 930s| 4290k| 4257k| 0 | 0.0 |1198M|2077 | - |2716 | 969 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
957.82/957.88 c 932s| 4300k| 4267k| 0 | 0.0 |1200M|2077 | - |2716 | 940 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
960.12/960.14 c 934s| 4310k| 4277k| 0 | 0.0 |1203M|2077 | - |2716 | 984 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
962.32/962.35 c 937s| 4320k| 4287k| 0 | 0.0 |1206M|2077 | - |2716 | 994 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
964.52/964.58 c 939s| 4330k| 4297k| 0 | 0.0 |1209M|2077 | - |2716 | 949 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
966.82/966.81 c 941s| 4340k| 4307k| 0 | 0.0 |1211M|2077 | - |2716 | 956 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
969.02/969.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.02/969.07 c 943s| 4350k| 4317k| 0 | 0.0 |1214M|2077 | - |2716 | 964 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
971.22/971.29 c 945s| 4360k| 4327k| 0 | 0.0 |1217M|2077 | - |2716 | 910 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
973.53/973.52 c 948s| 4370k| 4337k| 0 | 0.0 |1220M|2077 | - |2716 | 942 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
975.72/975.75 c 950s| 4380k| 4347k| 0 | 0.0 |1222M|2077 | - |2716 | 921 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
977.93/977.99 c 952s| 4390k| 4357k| 0 | 0.0 |1225M|2077 | - |2716 | 905 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
980.22/980.20 c 954s| 4400k| 4367k| 0 | 0.0 |1228M|2077 | - |2716 | 932 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
982.42/982.43 c 956s| 4410k| 4377k| 0 | 0.0 |1231M|2077 | - |2716 | 896 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
984.72/984.71 c 958s| 4420k| 4387k| 0 | 0.0 |1233M|2077 | - |2716 | 942 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
986.92/986.93 c 961s| 4430k| 4396k| 0 | 0.0 |1236M|2077 | - |2716 | 946 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
989.12/989.16 c 963s| 4440k| 4406k| 0 | 0.0 |1239M|2077 | - |2716 | 916 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
991.32/991.39 c 965s| 4450k| 4416k| 0 | 0.0 |1241M|2077 | - |2716 | 910 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
993.62/993.64 c 967s| 4460k| 4426k| 0 | 0.0 |1244M|2077 | - |2716 | 904 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
995.82/995.86 c 969s| 4470k| 4436k| 0 | 0.0 |1247M|2077 | - |2716 | 907 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
998.12/998.10 c 971s| 4480k| 4446k| 0 | 0.0 |1250M|2077 | - |2716 | 873 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1000.32/1000.32 c 974s| 4490k| 4456k| 0 | 0.0 |1252M|2077 | - |2716 | 892 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1002.52/1002.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.52/1002.55 c 976s| 4500k| 4466k| 0 | 0.0 |1255M|2077 | - |2716 | 868 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1004.72/1004.79 c 978s| 4510k| 4476k| 0 | 0.0 |1258M|2077 | - |2716 | 844 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1007.02/1007.03 c 980s| 4520k| 4486k| 0 | 0.0 |1261M|2077 | - |2716 | 835 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1009.22/1009.27 c 982s| 4530k| 4496k| 0 | 0.0 |1263M|2077 | - |2716 | 813 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1011.42/1011.48 c 985s| 4540k| 4506k| 0 | 0.0 |1266M|2077 | - |2716 | 801 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1013.72/1013.70 c 987s| 4550k| 4516k| 0 | 0.0 |1269M|2077 | - |2716 | 790 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1015.92/1015.95 c 989s| 4560k| 4526k| 0 | 0.0 |1272M|2077 | - |2716 | 792 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1018.12/1018.18 c 991s| 4570k| 4536k| 0 | 0.0 |1274M|2077 | - |2716 | 763 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1020.32/1020.39 c 993s| 4580k| 4546k| 0 | 0.0 |1277M|2077 | - |2716 | 822 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1022.62/1022.65 c 995s| 4590k| 4555k| 0 | 0.0 |1280M|2077 | - |2716 | 832 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1024.92/1024.91 c 998s| 4600k| 4565k| 0 | 0.0 |1283M|2077 | - |2716 | 874 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1027.13/1027.13 c 1000s| 4610k| 4575k| 0 | 0.0 |1285M|2077 | - |2716 | 874 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1029.32/1029.35 c 1002s| 4620k| 4585k| 0 | 0.0 |1288M|2077 | - |2716 | 869 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1031.52/1031.59 c 1004s| 4630k| 4595k| 0 | 0.0 |1291M|2077 | - |2716 | 903 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1033.82/1033.81 c 1006s| 4640k| 4605k| 0 | 0.0 |1293M|2077 | - |2716 | 954 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1036.03/1036.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.03/1036.06 c 1008s| 4650k| 4615k| 0 | 0.0 |1296M|2077 | - |2716 | 929 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1038.33/1038.32 c 1011s| 4660k| 4625k| 0 | 0.0 |1299M|2077 | - |2716 | 939 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1040.53/1040.54 c 1013s| 4670k| 4635k| 0 | 0.0 |1302M|2077 | - |2716 | 953 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1042.73/1042.78 c 1015s| 4680k| 4645k| 0 | 0.0 |1304M|2077 | - |2716 | 918 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1045.02/1045.04 c 1017s| 4690k| 4655k| 0 | 0.0 |1307M|2077 | - |2716 | 924 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1047.23/1047.27 c 1019s| 4700k| 4665k| 0 | 0.0 |1310M|2077 | - |2716 | 945 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1049.52/1049.54 c 1022s| 4710k| 4675k| 0 | 0.0 |1313M|2077 | - |2716 | 944 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1051.72/1051.74 c 1024s| 4720k| 4685k| 0 | 0.0 |1315M|2077 | - |2716 | 947 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1054.02/1054.00 c 1026s| 4730k| 4695k| 0 | 0.0 |1318M|2077 | - |2716 | 903 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1056.22/1056.21 c 1028s| 4740k| 4704k| 0 | 0.0 |1321M|2077 | - |2716 | 876 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1058.42/1058.44 c 1030s| 4750k| 4714k| 0 | 0.0 |1323M|2077 | - |2716 | 840 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1060.62/1060.69 c 1032s| 4760k| 4724k| 0 | 0.0 |1326M|2077 | - |2716 | 837 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1062.92/1062.94 c 1035s| 4770k| 4734k| 0 | 0.0 |1329M|2077 | - |2716 | 878 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1065.12/1065.17 c 1037s| 4780k| 4744k| 0 | 0.0 |1332M|2077 | - |2716 | 887 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1067.43/1067.42 c 1039s| 4790k| 4754k| 0 | 0.0 |1334M|2077 | - |2716 | 869 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1069.63/1069.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.63/1069.66 c 1041s| 4800k| 4764k| 0 | 0.0 |1337M|2077 | - |2716 | 924 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1071.82/1071.88 c 1043s| 4810k| 4774k| 0 | 0.0 |1340M|2077 | - |2716 | 900 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1074.12/1074.10 c 1046s| 4820k| 4784k| 0 | 0.0 |1343M|2077 | - |2716 | 874 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1076.32/1076.33 c 1048s| 4830k| 4794k| 0 | 0.0 |1345M|2077 | - |2716 | 868 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1078.53/1078.54 c 1050s| 4840k| 4804k| 0 | 0.0 |1348M|2077 | - |2716 | 900 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1080.73/1080.79 c 1052s| 4850k| 4814k| 0 | 0.0 |1351M|2077 | - |2716 | 906 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1083.02/1083.05 c 1054s| 4860k| 4824k| 0 | 0.0 |1354M|2077 | - |2716 | 941 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1085.23/1085.27 c 1056s| 4870k| 4834k| 0 | 0.0 |1356M|2077 | - |2716 | 948 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1087.52/1087.51 c 1059s| 4880k| 4844k| 0 | 0.0 |1359M|2077 | - |2716 | 913 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1089.72/1089.75 c 1061s| 4890k| 4854k| 0 | 0.0 |1362M|2077 | - |2716 | 880 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1091.92/1091.97 c 1063s| 4900k| 4863k| 0 | 0.0 |1364M|2077 | - |2716 | 903 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1094.22/1094.22 c 1065s| 4910k| 4873k| 0 | 0.0 |1367M|2077 | - |2716 | 877 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1096.43/1096.45 c 1067s| 4920k| 4883k| 0 | 0.0 |1370M|2077 | - |2716 | 910 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1098.62/1098.69 c 1069s| 4930k| 4893k| 0 | 0.0 |1373M|2077 | - |2716 | 915 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1100.92/1100.93 c 1072s| 4940k| 4903k| 0 | 0.0 |1375M|2077 | - |2716 | 889 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1103.12/1103.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.12/1103.18 c 1074s| 4950k| 4913k| 0 | 0.0 |1378M|2077 | - |2716 | 901 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1105.33/1105.40 c 1076s| 4960k| 4923k| 0 | 0.0 |1381M|2077 | - |2716 | 879 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1107.63/1107.65 c 1078s| 4970k| 4933k| 0 | 0.0 |1384M|2077 | - |2716 | 873 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1109.83/1109.89 c 1080s| 4980k| 4943k| 0 | 0.0 |1386M|2077 | - |2716 | 854 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1112.13/1112.15 c 1083s| 4990k| 4953k| 0 | 0.0 |1389M|2077 | - |2716 | 918 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1114.34/1114.38 c 1085s| 5000k| 4963k| 0 | 0.0 |1392M|2077 | - |2716 | 878 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1116.62/1116.62 c 1087s| 5010k| 4973k| 0 | 0.0 |1395M|2077 | - |2716 | 922 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1118.82/1118.83 c 1089s| 5020k| 4983k| 0 | 0.0 |1397M|2077 | - |2716 | 900 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1121.02/1121.06 c 1091s| 5030k| 4993k| 0 | 0.0 |1400M|2077 | - |2716 | 920 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1123.23/1123.28 c 1093s| 5040k| 5003k| 0 | 0.0 |1403M|2077 | - |2716 | 865 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1125.52/1125.51 c 1096s| 5050k| 5012k| 0 | 0.0 |1405M|2077 | - |2716 | 910 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1127.73/1127.75 c 1098s| 5060k| 5022k| 0 | 0.0 |1408M|2077 | - |2716 | 890 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1130.03/1130.00 c 1100s| 5070k| 5032k| 0 | 0.0 |1411M|2077 | - |2716 | 907 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1132.22/1132.21 c 1102s| 5080k| 5042k| 0 | 0.0 |1414M|2077 | - |2716 | 884 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1134.42/1134.44 c 1104s| 5090k| 5052k| 0 | 0.0 |1416M|2077 | - |2716 | 890 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1136.62/1136.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.62/1136.68 c 1106s| 5100k| 5062k| 0 | 0.0 |1419M|2077 | - |2716 | 888 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1138.93/1138.90 c 1109s| 5110k| 5072k| 0 | 0.0 |1422M|2077 | - |2716 | 917 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1141.12/1141.15 c 1111s| 5120k| 5082k| 0 | 0.0 |1425M|2077 | - |2716 | 918 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1143.43/1143.40 c 1113s| 5130k| 5092k| 0 | 0.0 |1427M|2077 | - |2716 | 938 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1145.63/1145.64 c 1115s| 5140k| 5102k| 0 | 0.0 |1430M|2077 | - |2716 | 890 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1147.83/1147.89 c 1117s| 5150k| 5112k| 0 | 0.0 |1433M|2077 | - |2716 | 880 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1150.13/1150.13 c 1120s| 5160k| 5122k| 0 | 0.0 |1436M|2077 | - |2716 | 847 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1152.33/1152.35 c 1122s| 5170k| 5132k| 0 | 0.0 |1438M|2077 | - |2716 | 851 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1154.53/1154.59 c 1124s| 5180k| 5142k| 0 | 0.0 |1441M|2077 | - |2716 | 873 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1156.83/1156.81 c 1126s| 5190k| 5152k| 0 | 0.0 |1444M|2077 | - |2716 | 858 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1159.02/1159.04 c 1128s| 5200k| 5162k| 0 | 0.0 |1447M|2077 | - |2716 | 843 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1161.23/1161.28 c 1130s| 5210k| 5171k| 0 | 0.0 |1449M|2077 | - |2716 | 866 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1163.42/1163.48 c 1133s| 5220k| 5181k| 0 | 0.0 |1452M|2077 | - |2716 | 851 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1165.73/1165.74 c 1135s| 5230k| 5191k| 0 | 0.0 |1455M|2077 | - |2716 | 903 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1167.93/1167.99 c 1137s| 5240k| 5201k| 0 | 0.0 |1457M|2077 | - |2716 | 902 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1170.22/1170.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.22/1170.21 c 1139s| 5250k| 5211k| 0 | 0.0 |1460M|2077 | - |2716 | 850 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1172.42/1172.43 c 1141s| 5260k| 5221k| 0 | 0.0 |1463M|2077 | - |2716 | 901 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1174.62/1174.65 c 1143s| 5270k| 5231k| 0 | 0.0 |1466M|2077 | - |2716 | 891 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1176.83/1176.89 c 1146s| 5280k| 5241k| 0 | 0.0 |1468M|2077 | - |2716 | 867 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1179.14/1179.15 c 1148s| 5290k| 5251k| 0 | 0.0 |1471M|2077 | - |2716 | 881 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1181.43/1181.41 c 1150s| 5300k| 5261k| 0 | 0.0 |1474M|2077 | - |2716 | 874 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1183.63/1183.62 c 1152s| 5310k| 5271k| 0 | 0.0 |1477M|2077 | - |2716 | 826 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1185.83/1185.85 c 1154s| 5320k| 5281k| 0 | 0.0 |1479M|2077 | - |2716 | 852 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1188.12/1188.11 c 1157s| 5330k| 5291k| 0 | 0.0 |1482M|2077 | - |2716 | 883 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1190.32/1190.34 c 1159s| 5340k| 5301k| 0 | 0.0 |1485M|2077 | - |2716 | 849 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1192.53/1192.55 c 1161s| 5350k| 5311k| 0 | 0.0 |1487M|2077 | - |2716 | 844 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1194.83/1194.80 c 1163s| 5360k| 5321k| 0 | 0.0 |1490M|2077 | - |2716 | 823 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1196.93/1196.99 c 1165s| 5370k| 5331k| 0 | 0.0 |1493M|2077 | - |2716 | 826 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1199.22/1199.25 c 1167s| 5380k| 5340k| 0 | 0.0 |1496M|2077 | - |2716 | 803 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1201.53/1201.54 c 1170s| 5390k| 5350k| 0 | 0.0 |1498M|2077 | - |2716 | 825 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1203.73/1203.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.73/1203.74 c 1172s| 5400k| 5360k| 0 | 0.0 |1501M|2077 | - |2716 | 843 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1206.03/1206.00 c 1174s| 5410k| 5370k| 0 | 0.0 |1504M|2077 | - |2716 | 829 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1208.23/1208.23 c 1176s| 5420k| 5380k| 0 | 0.0 |1507M|2077 | - |2716 | 866 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1210.43/1210.46 c 1178s| 5430k| 5390k| 0 | 0.0 |1509M|2077 | - |2716 | 826 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1212.73/1212.70 c 1180s| 5440k| 5400k| 0 | 0.0 |1512M|2077 | - |2716 | 878 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1214.93/1214.92 c 1183s| 5450k| 5410k| 0 | 0.0 |1515M|2077 | - |2716 | 850 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1217.13/1217.15 c 1185s| 5460k| 5420k| 0 | 0.0 |1518M|2077 | - |2716 | 886 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1219.32/1219.39 c 1187s| 5470k| 5430k| 0 | 0.0 |1520M|2077 | - |2716 | 870 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1221.63/1221.63 c 1189s| 5480k| 5440k| 0 | 0.0 |1523M|2077 | - |2716 | 851 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1223.82/1223.83 c 1191s| 5490k| 5450k| 0 | 0.0 |1526M|2077 | - |2716 | 869 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1226.02/1226.07 c 1193s| 5500k| 5460k| 0 | 0.0 |1528M|2077 | - |2716 | 827 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1228.33/1228.30 c 1196s| 5510k| 5470k| 0 | 0.0 |1531M|2077 | - |2716 | 847 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1230.53/1230.52 c 1198s| 5520k| 5480k| 0 | 0.0 |1534M|2077 | - |2716 | 864 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1232.72/1232.77 c 1200s| 5530k| 5489k| 0 | 0.0 |1537M|2077 | - |2716 | 863 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1235.03/1235.00 c 1202s| 5540k| 5499k| 0 | 0.0 |1539M|2077 | - |2716 | 853 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1237.23/1237.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.23/1237.20 c 1204s| 5550k| 5509k| 0 | 0.0 |1542M|2077 | - |2716 | 909 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1239.43/1239.42 c 1206s| 5560k| 5519k| 0 | 0.0 |1545M|2077 | - |2716 | 853 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1241.63/1241.66 c 1209s| 5570k| 5529k| 0 | 0.0 |1548M|2077 | - |2716 | 870 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1243.93/1243.90 c 1211s| 5580k| 5539k| 0 | 0.0 |1550M|2077 | - |2716 | 894 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1246.12/1246.11 c 1213s| 5590k| 5549k| 0 | 0.0 |1553M|2077 | - |2716 | 856 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1248.33/1248.37 c 1215s| 5600k| 5559k| 0 | 0.0 |1556M|2077 | - |2716 | 870 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1250.53/1250.55 c 1217s| 5610k| 5569k| 0 | 0.0 |1559M|2077 | - |2716 | 863 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1252.72/1252.79 c 1219s| 5620k| 5579k| 0 | 0.0 |1561M|2077 | - |2716 | 909 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1255.03/1255.02 c 1222s| 5630k| 5589k| 0 | 0.0 |1564M|2077 | - |2716 | 920 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1257.23/1257.23 c 1224s| 5640k| 5599k| 0 | 0.0 |1567M|2077 | - |2716 | 929 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1259.43/1259.44 c 1226s| 5650k| 5609k| 0 | 0.0 |1569M|2077 | - |2716 | 911 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1261.63/1261.68 c 1228s| 5660k| 5619k| 0 | 0.0 |1572M|2077 | - |2716 | 909 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1263.94/1263.92 c 1230s| 5670k| 5629k| 0 | 0.0 |1575M|2077 | - |2716 | 915 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1266.14/1266.16 c 1233s| 5680k| 5639k| 0 | 0.0 |1578M|2077 | - |2716 | 918 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1268.34/1268.37 c 1235s| 5690k| 5648k| 0 | 0.0 |1580M|2077 | - |2716 | 896 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1270.53/1270.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.53/1270.59 c 1237s| 5700k| 5658k| 0 | 0.0 |1583M|2077 | - |2716 | 900 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1272.83/1272.83 c 1239s| 5710k| 5668k| 0 | 0.0 |1586M|2077 | - |2716 | 885 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1275.03/1275.03 c 1241s| 5720k| 5678k| 0 | 0.0 |1589M|2077 | - |2716 | 866 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1277.23/1277.27 c 1243s| 5730k| 5688k| 0 | 0.0 |1591M|2077 | - |2716 | 889 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1279.43/1279.48 c 1245s| 5740k| 5698k| 0 | 0.0 |1594M|2077 | - |2716 | 903 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1281.73/1281.72 c 1248s| 5750k| 5708k| 0 | 0.0 |1597M|2077 | - |2716 | 902 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1283.93/1283.94 c 1250s| 5760k| 5718k| 0 | 0.0 |1600M|2077 | - |2716 | 875 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1286.13/1286.16 c 1252s| 5770k| 5728k| 0 | 0.0 |1602M|2077 | - |2716 | 872 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1288.43/1288.40 c 1254s| 5780k| 5738k| 0 | 0.0 |1605M|2077 | - |2716 | 837 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1290.63/1290.64 c 1256s| 5790k| 5748k| 0 | 0.0 |1608M|2077 | - |2716 | 859 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1292.93/1292.90 c 1258s| 5800k| 5758k| 0 | 0.0 |1611M|2077 | - |2716 | 881 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1295.03/1295.10 c 1261s| 5810k| 5768k| 0 | 0.0 |1613M|2077 | - |2716 | 851 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1297.33/1297.33 c 1263s| 5820k| 5778k| 0 | 0.0 |1616M|2077 | - |2716 | 877 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1299.53/1299.55 c 1265s| 5830k| 5788k| 0 | 0.0 |1619M|2077 | - |2716 | 886 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1301.73/1301.76 c 1267s| 5840k| 5798k| 0 | 0.0 |1621M|2077 | - |2716 | 867 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1303.93/1303.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1303.93/1303.98 c 1269s| 5850k| 5807k| 0 | 0.0 |1624M|2077 | - |2716 | 858 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1306.23/1306.23 c 1271s| 5860k| 5817k| 0 | 0.0 |1627M|2077 | - |2716 | 901 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1308.43/1308.46 c 1274s| 5870k| 5827k| 0 | 0.0 |1630M|2077 | - |2716 | 875 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1310.73/1310.70 c 1276s| 5880k| 5837k| 0 | 0.0 |1632M|2077 | - |2716 | 862 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1312.93/1312.94 c 1278s| 5890k| 5847k| 0 | 0.0 |1635M|2077 | - |2716 | 883 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1315.13/1315.16 c 1280s| 5900k| 5857k| 0 | 0.0 |1638M|2077 | - |2716 | 911 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1317.43/1317.40 c 1282s| 5910k| 5867k| 0 | 0.0 |1641M|2077 | - |2716 | 891 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1319.63/1319.61 c 1284s| 5920k| 5877k| 0 | 0.0 |1643M|2077 | - |2716 | 917 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1321.83/1321.82 c 1287s| 5930k| 5887k| 0 | 0.0 |1646M|2077 | - |2716 | 956 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1324.03/1324.05 c 1289s| 5940k| 5897k| 0 | 0.0 |1649M|2077 | - |2716 |1013 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1326.23/1326.29 c 1291s| 5950k| 5907k| 0 | 0.0 |1651M|2077 | - |2716 | 975 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1328.54/1328.50 c 1293s| 5960k| 5917k| 0 | 0.0 |1654M|2077 | - |2716 | 988 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1330.73/1330.72 c 1295s| 5970k| 5927k| 0 | 0.0 |1657M|2077 | - |2716 |1006 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1333.03/1333.00 c 1298s| 5980k| 5937k| 0 | 0.0 |1660M|2077 | - |2716 | 998 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1335.23/1335.24 c 1300s| 5990k| 5947k| 0 | 0.0 |1662M|2077 | - |2716 | 970 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1337.43/1337.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.43/1337.46 c 1302s| 6000k| 5957k| 0 | 0.0 |1665M|2077 | - |2716 | 937 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1339.73/1339.70 c 1304s| 6010k| 5966k| 0 | 0.0 |1668M|2077 | - |2716 | 983 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1341.93/1341.92 c 1306s| 6020k| 5976k| 0 | 0.0 |1671M|2077 | - |2716 |1028 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1344.14/1344.12 c 1308s| 6030k| 5986k| 0 | 0.0 |1673M|2077 | - |2716 |1029 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1346.34/1346.37 c 1311s| 6040k| 5996k| 0 | 0.0 |1676M|2077 | - |2716 |1000 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1348.54/1348.58 c 1313s| 6050k| 6006k| 0 | 0.0 |1679M|2077 | - |2716 | 969 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1350.84/1350.83 c 1315s| 6060k| 6016k| 0 | 0.0 |1682M|2077 | - |2716 | 941 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1353.04/1353.07 c 1317s| 6070k| 6026k| 0 | 0.0 |1684M|2077 | - |2716 | 966 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1355.24/1355.27 c 1319s| 6080k| 6036k| 0 | 0.0 |1687M|2077 | - |2716 | 965 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1357.53/1357.50 c 1321s| 6090k| 6046k| 0 | 0.0 |1690M|2077 | - |2716 | 928 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1359.73/1359.72 c 1324s| 6100k| 6056k| 0 | 0.0 |1693M|2077 | - |2716 | 930 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1361.93/1361.94 c 1326s| 6110k| 6066k| 0 | 0.0 |1695M|2077 | - |2716 | 877 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1364.14/1364.16 c 1328s| 6120k| 6076k| 0 | 0.0 |1698M|2077 | - |2716 | 889 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1366.33/1366.38 c 1330s| 6130k| 6086k| 0 | 0.0 |1701M|2077 | - |2716 | 887 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1368.63/1368.62 c 1332s| 6140k| 6096k| 0 | 0.0 |1704M|2077 | - |2716 | 877 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1370.83/1370.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.83/1370.88 c 1334s| 6150k| 6106k| 0 | 0.0 |1706M|2077 | - |2716 | 882 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1373.13/1373.11 c 1337s| 6160k| 6115k| 0 | 0.0 |1709M|2077 | - |2716 | 868 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1375.33/1375.36 c 1339s| 6170k| 6125k| 0 | 0.0 |1712M|2077 | - |2716 | 897 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1377.53/1377.59 c 1341s| 6180k| 6135k| 0 | 0.0 |1714M|2077 | - |2716 | 866 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1379.83/1379.86 c 1343s| 6190k| 6145k| 0 | 0.0 |1717M|2077 | - |2716 | 897 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1382.13/1382.10 c 1345s| 6200k| 6155k| 0 | 0.0 |1720M|2077 | - |2716 | 889 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1384.33/1384.32 c 1347s| 6210k| 6165k| 0 | 0.0 |1723M|2077 | - |2716 | 872 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1386.53/1386.56 c 1350s| 6220k| 6175k| 0 | 0.0 |1725M|2077 | - |2716 | 917 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1388.73/1388.79 c 1352s| 6230k| 6185k| 0 | 0.0 |1728M|2077 | - |2716 | 895 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1391.03/1391.05 c 1354s| 6240k| 6195k| 0 | 0.0 |1731M|2077 | - |2716 | 868 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1393.23/1393.27 c 1356s| 6250k| 6205k| 0 | 0.0 |1734M|2077 | - |2716 | 874 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1395.54/1395.50 c 1358s| 6260k| 6215k| 0 | 0.0 |1736M|2077 | - |2716 | 925 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1397.73/1397.74 c 1361s| 6270k| 6225k| 0 | 0.0 |1739M|2077 | - |2716 | 862 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1399.93/1399.99 c 1363s| 6280k| 6235k| 0 | 0.0 |1742M|2077 | - |2716 | 897 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1402.24/1402.23 c 1365s| 6290k| 6245k| 0 | 0.0 |1744M|2077 | - |2716 | 828 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1404.44/1404.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.44/1404.47 c 1367s| 6300k| 6255k| 0 | 0.0 |1747M|2077 | - |2716 | 898 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1406.63/1406.69 c 1369s| 6310k| 6264k| 0 | 0.0 |1750M|2077 | - |2716 | 824 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1408.93/1408.91 c 1371s| 6320k| 6274k| 0 | 0.0 |1753M|2077 | - |2716 | 810 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1411.14/1411.12 c 1374s| 6330k| 6284k| 0 | 0.0 |1755M|2077 | - |2716 | 815 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1413.33/1413.35 c 1376s| 6340k| 6294k| 0 | 0.0 |1758M|2077 | - |2716 | 829 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1415.54/1415.58 c 1378s| 6350k| 6304k| 0 | 0.0 |1761M|2077 | - |2716 | 802 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1417.83/1417.84 c 1380s| 6360k| 6314k| 0 | 0.0 |1764M|2077 | - |2716 | 798 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1420.03/1420.08 c 1382s| 6370k| 6324k| 0 | 0.0 |1766M|2077 | - |2716 | 815 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1422.34/1422.33 c 1384s| 6380k| 6334k| 0 | 0.0 |1769M|2077 | - |2716 | 813 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1424.54/1424.53 c 1387s| 6390k| 6344k| 0 | 0.0 |1772M|2077 | - |2716 | 807 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1426.74/1426.73 c 1389s| 6400k| 6354k| 0 | 0.0 |1775M|2077 | - |2716 | 824 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1428.94/1428.96 c 1391s| 6410k| 6364k| 0 | 0.0 |1777M|2077 | - |2716 | 825 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1431.14/1431.19 c 1393s| 6420k| 6374k| 0 | 0.0 |1780M|2077 | - |2716 | 852 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1433.34/1433.36 c 1395s| 6430k| 6384k| 0 | 0.0 |1783M|2077 | - |2716 | 821 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1435.54/1435.58 c 1397s| 6440k| 6394k| 0 | 0.0 |1786M|2077 | - |2716 | 841 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1437.83/1437.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.83/1437.82 c 1400s| 6450k| 6404k| 0 | 0.0 |1788M|2077 | - |2716 | 863 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1440.04/1440.05 c 1402s| 6460k| 6413k| 0 | 0.0 |1791M|2077 | - |2716 | 888 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1442.23/1442.27 c 1404s| 6470k| 6423k| 0 | 0.0 |1794M|2077 | - |2716 | 887 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1444.54/1444.50 c 1406s| 6480k| 6433k| 0 | 0.0 |1796M|2077 | - |2716 | 889 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1446.73/1446.74 c 1408s| 6490k| 6443k| 0 | 0.0 |1799M|2077 | - |2716 | 902 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1448.94/1448.93 c 1410s| 6500k| 6453k| 0 | 0.0 |1802M|2077 | - |2716 | 868 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1451.14/1451.17 c 1413s| 6510k| 6463k| 0 | 0.0 |1805M|2077 | - |2716 | 885 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1453.34/1453.36 c 1415s| 6520k| 6473k| 0 | 0.0 |1807M|2077 | - |2716 | 864 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1455.54/1455.56 c 1417s| 6530k| 6483k| 0 | 0.0 |1810M|2077 | - |2716 | 871 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1457.74/1457.79 c 1419s| 6540k| 6493k| 0 | 0.0 |1813M|2077 | - |2716 | 866 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1459.93/1459.99 c 1421s| 6550k| 6503k| 0 | 0.0 |1816M|2077 | - |2716 | 858 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1462.23/1462.21 c 1423s| 6560k| 6513k| 0 | 0.0 |1818M|2077 | - |2716 | 884 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1464.43/1464.43 c 1425s| 6570k| 6523k| 0 | 0.0 |1821M|2077 | - |2716 | 897 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1466.63/1466.64 c 1428s| 6580k| 6533k| 0 | 0.0 |1824M|2077 | - |2716 | 920 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1468.83/1468.88 c 1430s| 6590k| 6543k| 0 | 0.0 |1827M|2077 | - |2716 | 915 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1471.14/1471.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.14/1471.10 c 1432s| 6600k| 6553k| 0 | 0.0 |1829M|2077 | - |2716 | 916 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1473.23/1473.28 c 1434s| 6610k| 6562k| 0 | 0.0 |1832M|2077 | - |2716 | 878 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1475.53/1475.53 c 1436s| 6620k| 6572k| 0 | 0.0 |1835M|2077 | - |2716 | 946 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1477.74/1477.75 c 1438s| 6630k| 6582k| 0 | 0.0 |1838M|2077 | - |2716 | 882 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1479.94/1479.94 c 1441s| 6640k| 6592k| 0 | 0.0 |1840M|2077 | - |2716 | 934 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1482.13/1482.17 c 1443s| 6650k| 6602k| 0 | 0.0 |1843M|2077 | - |2716 | 909 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1484.44/1484.41 c 1445s| 6660k| 6612k| 0 | 0.0 |1846M|2077 | - |2716 | 952 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1486.63/1486.63 c 1447s| 6670k| 6622k| 0 | 0.0 |1849M|2077 | - |2716 | 937 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1488.83/1488.85 c 1449s| 6680k| 6632k| 0 | 0.0 |1851M|2077 | - |2716 | 933 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1491.04/1491.07 c 1451s| 6690k| 6642k| 0 | 0.0 |1854M|2077 | - |2716 | 989 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1493.23/1493.29 c 1454s| 6700k| 6652k| 0 | 0.0 |1857M|2077 | - |2716 | 993 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1495.44/1495.49 c 1456s| 6710k| 6662k| 0 | 0.0 |1860M|2077 | - |2716 | 994 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1497.73/1497.70 c 1458s| 6720k| 6672k| 0 | 0.0 |1862M|2077 | - |2716 | 967 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1499.84/1499.88 c 1460s| 6730k| 6682k| 0 | 0.0 |1865M|2077 | - |2716 | 953 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1502.13/1502.12 c 1462s| 6740k| 6692k| 0 | 0.0 |1868M|2077 | - |2716 | 965 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1504.33/1504.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.33/1504.38 c 1464s| 6750k| 6702k| 0 | 0.0 |1870M|2077 | - |2716 | 974 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1506.54/1506.59 c 1466s| 6760k| 6712k| 0 | 0.0 |1873M|2077 | - |2716 | 949 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1508.84/1508.84 c 1469s| 6770k| 6721k| 0 | 0.0 |1876M|2077 | - |2716 | 964 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1511.03/1511.06 c 1471s| 6780k| 6731k| 0 | 0.0 |1879M|2077 | - |2716 | 946 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1513.23/1513.27 c 1473s| 6790k| 6741k| 0 | 0.0 |1881M|2077 | - |2716 | 988 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1515.53/1515.50 c 1475s| 6800k| 6751k| 0 | 0.0 |1884M|2077 | - |2716 | 958 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1517.74/1517.73 c 1477s| 6810k| 6761k| 0 | 0.0 |1887M|2077 | - |2716 | 923 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1519.93/1519.93 c 1479s| 6820k| 6771k| 0 | 0.0 |1890M|2077 | - |2716 | 927 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1522.14/1522.15 c 1482s| 6830k| 6781k| 0 | 0.0 |1892M|2077 | - |2716 | 942 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1524.34/1524.35 c 1484s| 6840k| 6791k| 0 | 0.0 |1895M|2077 | - |2716 | 906 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1526.54/1526.58 c 1486s| 6850k| 6801k| 0 | 0.0 |1898M|2077 | - |2716 | 949 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1528.84/1528.83 c 1488s| 6860k| 6811k| 0 | 0.0 |1901M|2077 | - |2716 | 933 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1531.04/1531.04 c 1490s| 6870k| 6821k| 0 | 0.0 |1903M|2077 | - |2716 | 898 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1533.24/1533.27 c 1492s| 6880k| 6831k| 0 | 0.0 |1906M|2077 | - |2716 | 901 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1535.55/1535.51 c 1495s| 6890k| 6841k| 0 | 0.0 |1909M|2077 | - |2716 | 906 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1537.75/1537.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1537.75/1537.73 c 1497s| 6900k| 6851k| 0 | 0.0 |1911M|2077 | - |2716 | 916 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1539.94/1539.96 c 1499s| 6910k| 6861k| 0 | 0.0 |1914M|2077 | - |2716 | 942 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1542.14/1542.16 c 1501s| 6920k| 6870k| 0 | 0.0 |1917M|2077 | - |2716 | 937 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1544.34/1544.34 c 1503s| 6930k| 6880k| 0 | 0.0 |1920M|2077 | - |2716 | 889 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1546.55/1546.53 c 1505s| 6940k| 6890k| 0 | 0.0 |1922M|2077 | - |2716 | 923 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1548.74/1548.78 c 1507s| 6950k| 6900k| 0 | 0.0 |1925M|2077 | - |2716 | 910 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1550.95/1551.00 c 1510s| 6960k| 6910k| 0 | 0.0 |1928M|2077 | - |2716 | 909 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1553.24/1553.22 c 1512s| 6970k| 6920k| 0 | 0.0 |1931M|2077 | - |2716 | 954 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1555.45/1555.43 c 1514s| 6980k| 6930k| 0 | 0.0 |1933M|2077 | - |2716 | 935 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1557.65/1557.65 c 1516s| 6990k| 6940k| 0 | 0.0 |1936M|2077 | - |2716 | 941 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1559.84/1559.87 c 1518s| 7000k| 6950k| 0 | 0.0 |1939M|2077 | - |2716 | 913 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1562.04/1562.07 c 1520s| 7010k| 6960k| 0 | 0.0 |1941M|2077 | - |2716 | 909 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1564.24/1564.28 c 1522s| 7020k| 6970k| 0 | 0.0 |1944M|2077 | - |2716 | 965 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1566.44/1566.48 c 1525s| 7030k| 6980k| 0 | 0.0 |1947M|2077 | - |2716 | 890 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1568.64/1568.69 c 1527s| 7040k| 6990k| 0 | 0.0 |1950M|2077 | - |2716 | 915 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1570.85/1570.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.85/1570.87 c 1529s| 7050k| 7000k| 0 | 0.0 |1952M|2077 | - |2716 | 900 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1573.04/1573.08 c 1531s| 7060k| 7010k| 0 | 0.0 |1955M|2077 | - |2716 | 928 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1575.25/1575.29 c 1533s| 7070k| 7019k| 0 | 0.0 |1958M|2077 | - |2716 | 923 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1577.54/1577.51 c 1535s| 7080k| 7029k| 0 | 0.0 |1960M|2077 | - |2716 | 900 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1579.73/1579.76 c 1538s| 7090k| 7039k| 0 | 0.0 |1963M|2077 | - |2716 | 879 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1581.94/1581.97 c 1540s| 7100k| 7049k| 0 | 0.0 |1966M|2077 | - |2716 | 868 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1584.13/1584.19 c 1542s| 7110k| 7059k| 0 | 0.0 |1969M|2077 | - |2716 | 877 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1586.44/1586.41 c 1544s| 7120k| 7069k| 0 | 0.0 |1971M|2077 | - |2716 | 853 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1588.63/1588.62 c 1546s| 7130k| 7079k| 0 | 0.0 |1974M|2077 | - |2716 | 818 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1590.84/1590.82 c 1548s| 7140k| 7089k| 0 | 0.0 |1977M|2077 | - |2716 | 851 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1593.04/1593.05 c 1550s| 7150k| 7099k| 0 | 0.0 |1980M|2077 | - |2716 | 831 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1595.24/1595.24 c 1553s| 7160k| 7109k| 0 | 0.0 |1982M|2077 | - |2716 | 858 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1597.44/1597.43 c 1555s| 7170k| 7119k| 0 | 0.0 |1985M|2077 | - |2716 | 829 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1599.64/1599.63 c 1557s| 7180k| 7129k| 0 | 0.0 |1988M|2077 | - |2716 | 830 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1601.84/1601.84 c 1559s| 7190k| 7139k| 0 | 0.0 |1991M|2077 | - |2716 | 834 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1604.04/1604.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.04/1604.05 c 1561s| 7200k| 7149k| 0 | 0.0 |1993M|2077 | - |2716 | 807 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1606.24/1606.26 c 1563s| 7210k| 7158k| 0 | 0.0 |1996M|2077 | - |2716 | 853 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1608.44/1608.46 c 1565s| 7220k| 7168k| 0 | 0.0 |1999M|2077 | - |2716 | 840 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1610.64/1610.65 c 1568s| 7230k| 7178k| 0 | 0.0 |2001M|2077 | - |2716 | 862 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1612.84/1612.86 c 1570s| 7240k| 7188k| 0 | 0.0 |2004M|2077 | - |2716 | 861 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1615.14/1615.10 c 1572s| 7250k| 7198k| 0 | 0.0 |2007M|2077 | - |2716 | 864 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1617.34/1617.32 c 1574s| 7260k| 7208k| 0 | 0.0 |2010M|2077 | - |2716 | 899 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1619.54/1619.55 c 1576s| 7270k| 7218k| 0 | 0.0 |2012M|2077 | - |2716 | 901 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1621.74/1621.76 c 1578s| 7280k| 7228k| 0 | 0.0 |2015M|2077 | - |2716 | 951 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1623.94/1623.97 c 1581s| 7290k| 7238k| 0 | 0.0 |2018M|2077 | - |2716 | 943 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1626.14/1626.17 c 1583s| 7300k| 7248k| 0 | 0.0 |2021M|2077 | - |2716 | 906 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1628.34/1628.39 c 1585s| 7310k| 7258k| 0 | 0.0 |2023M|2077 | - |2716 | 946 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1630.54/1630.57 c 1587s| 7320k| 7268k| 0 | 0.0 |2026M|2077 | - |2716 | 924 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1632.74/1632.78 c 1589s| 7330k| 7278k| 0 | 0.0 |2029M|2077 | - |2716 | 952 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1634.94/1634.98 c 1591s| 7340k| 7288k| 0 | 0.0 |2032M|2077 | - |2716 | 925 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1637.14/1637.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.14/1637.15 c 1593s| 7350k| 7298k| 0 | 0.0 |2034M|2077 | - |2716 | 935 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1639.34/1639.34 c 1595s| 7360k| 7307k| 0 | 0.0 |2037M|2077 | - |2716 | 963 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1641.54/1641.56 c 1598s| 7370k| 7317k| 0 | 0.0 |2040M|2077 | - |2716 | 938 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1643.74/1643.72 c 1600s| 7380k| 7327k| 0 | 0.0 |2043M|2077 | - |2716 | 916 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1645.94/1645.95 c 1602s| 7390k| 7337k| 0 | 0.0 |2045M|2077 | - |2716 | 890 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1648.14/1648.15 c 1604s| 7400k| 7347k| 0 | 0.0 |2048M|2077 | - |2716 | 858 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1650.34/1650.35 c 1606s| 7410k| 7357k| 0 | 0.0 |2051M|2077 | - |2716 | 835 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1652.54/1652.58 c 1608s| 7420k| 7367k| 0 | 0.0 |2053M|2077 | - |2716 | 878 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1654.84/1654.81 c 1611s| 7430k| 7377k| 0 | 0.0 |2056M|2077 | - |2716 | 841 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1656.94/1656.98 c 1613s| 7440k| 7387k| 0 | 0.0 |2059M|2077 | - |2716 | 846 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1659.14/1659.18 c 1615s| 7450k| 7397k| 0 | 0.0 |2062M|2077 | - |2716 | 878 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1661.34/1661.39 c 1617s| 7460k| 7407k| 0 | 0.0 |2064M|2077 | - |2716 | 858 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1663.54/1663.58 c 1619s| 7470k| 7417k| 0 | 0.0 |2067M|2077 | - |2716 | 884 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1665.84/1665.81 c 1621s| 7480k| 7427k| 0 | 0.0 |2070M|2077 | - |2716 | 870 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1668.04/1668.02 c 1623s| 7490k| 7437k| 0 | 0.0 |2073M|2077 | - |2716 | 899 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1670.24/1670.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.24/1670.24 c 1626s| 7500k| 7447k| 0 | 0.0 |2075M|2077 | - |2716 | 897 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1672.44/1672.45 c 1628s| 7510k| 7456k| 0 | 0.0 |2078M|2077 | - |2716 | 919 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1674.65/1674.67 c 1630s| 7520k| 7466k| 0 | 0.0 |2081M|2077 | - |2716 | 968 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1676.84/1676.87 c 1632s| 7530k| 7476k| 0 | 0.0 |2084M|2077 | - |2716 | 951 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1679.14/1679.11 c 1634s| 7540k| 7486k| 0 | 0.0 |2086M|2077 | - |2716 | 947 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1681.34/1681.30 c 1636s| 7550k| 7496k| 0 | 0.0 |2089M|2077 | - |2716 | 920 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1683.55/1683.50 c 1638s| 7560k| 7506k| 0 | 0.0 |2092M|2077 | - |2716 | 944 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1685.74/1685.70 c 1641s| 7570k| 7516k| 0 | 0.0 |2095M|2077 | - |2716 | 960 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1687.94/1687.92 c 1643s| 7580k| 7526k| 0 | 0.0 |2097M|2077 | - |2716 | 987 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1690.14/1690.11 c 1645s| 7590k| 7536k| 0 | 0.0 |2100M|2077 | - |2716 | 964 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1692.34/1692.31 c 1647s| 7600k| 7546k| 0 | 0.0 |2103M|2077 | - |2716 | 972 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1694.54/1694.55 c 1649s| 7610k| 7556k| 0 | 0.0 |2105M|2077 | - |2716 |1025 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1696.74/1696.78 c 1651s| 7620k| 7566k| 0 | 0.0 |2108M|2077 | - |2716 | 999 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1699.05/1699.00 c 1654s| 7630k| 7576k| 0 | 0.0 |2111M|2077 | - |2716 | 984 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1701.24/1701.22 c 1656s| 7640k| 7586k| 0 | 0.0 |2114M|2077 | - |2716 |1011 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1703.44/1703.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.44/1703.42 c 1658s| 7650k| 7596k| 0 | 0.0 |2116M|2077 | - |2716 |1014 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1705.65/1705.62 c 1660s| 7660k| 7605k| 0 | 0.0 |2119M|2077 | - |2716 |1057 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1707.84/1707.84 c 1662s| 7670k| 7615k| 0 | 0.0 |2122M|2077 | - |2716 |1013 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1710.05/1710.01 c 1664s| 7680k| 7625k| 0 | 0.0 |2125M|2077 | - |2716 | 989 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1712.25/1712.23 c 1666s| 7690k| 7635k| 0 | 0.0 |2127M|2077 | - |2716 |1015 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1714.44/1714.42 c 1668s| 7700k| 7645k| 0 | 0.0 |2130M|2077 | - |2716 | 983 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1716.64/1716.64 c 1671s| 7710k| 7655k| 0 | 0.0 |2133M|2077 | - |2716 |1014 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1718.85/1718.89 c 1673s| 7720k| 7665k| 0 | 0.0 |2135M|2077 | - |2716 | 989 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1721.14/1721.10 c 1675s| 7730k| 7675k| 0 | 0.0 |2138M|2077 | - |2716 |1002 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1723.35/1723.32 c 1677s| 7740k| 7685k| 0 | 0.0 |2141M|2077 | - |2716 | 987 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1725.54/1725.53 c 1679s| 7750k| 7695k| 0 | 0.0 |2144M|2077 | - |2716 | 975 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1727.74/1727.71 c 1681s| 7760k| 7705k| 0 | 0.0 |2146M|2077 | - |2716 | 942 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1729.94/1729.91 c 1684s| 7770k| 7715k| 0 | 0.0 |2149M|2077 | - |2716 | 959 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1732.14/1732.11 c 1686s| 7780k| 7725k| 0 | 0.0 |2152M|2077 | - |2716 | 952 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1734.24/1734.29 c 1688s| 7790k| 7735k| 0 | 0.0 |2155M|2077 | - |2716 | 978 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1736.45/1736.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.45/1736.47 c 1690s| 7800k| 7745k| 0 | 0.0 |2157M|2077 | - |2716 | 931 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1738.65/1738.66 c 1692s| 7810k| 7754k| 0 | 0.0 |2160M|2077 | - |2716 | 933 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1740.94/1740.91 c 1694s| 7820k| 7764k| 0 | 0.0 |2163M|2077 | - |2716 | 970 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1743.14/1743.15 c 1696s| 7830k| 7774k| 0 | 0.0 |2166M|2077 | - |2716 |1021 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1745.35/1745.38 c 1699s| 7840k| 7784k| 0 | 0.0 |2168M|2077 | - |2716 | 977 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1747.65/1747.62 c 1701s| 7850k| 7794k| 0 | 0.0 |2171M|2077 | - |2716 | 980 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1749.84/1749.86 c 1703s| 7860k| 7804k| 0 | 0.0 |2174M|2077 | - |2716 | 978 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1752.04/1752.07 c 1705s| 7870k| 7814k| 0 | 0.0 |2176M|2077 | - |2716 | 952 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1754.24/1754.26 c 1707s| 7880k| 7824k| 0 | 0.0 |2179M|2077 | - |2716 | 978 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1756.44/1756.47 c 1709s| 7890k| 7834k| 0 | 0.0 |2182M|2077 | - |2716 |1024 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1758.65/1758.68 c 1712s| 7900k| 7844k| 0 | 0.0 |2185M|2077 | - |2716 |1008 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1760.85/1760.89 c 1714s| 7910k| 7854k| 0 | 0.0 |2187M|2077 | - |2716 | 979 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1763.15/1763.12 c 1716s| 7920k| 7864k| 0 | 0.0 |2190M|2077 | - |2716 | 953 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1765.34/1765.35 c 1718s| 7930k| 7874k| 0 | 0.0 |2193M|2077 | - |2716 | 982 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1767.55/1767.58 c 1720s| 7940k| 7884k| 0 | 0.0 |2196M|2077 | - |2716 |1007 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1769.85/1769.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.85/1769.83 c 1722s| 7950k| 7894k| 0 | 0.0 |2198M|2077 | - |2716 |1048 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1772.05/1772.03 c 1725s| 7960k| 7903k| 0 | 0.0 |2201M|2077 | - |2716 | 981 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1774.25/1774.25 c 1727s| 7970k| 7913k| 0 | 0.0 |2204M|2077 | - |2716 |1001 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1776.45/1776.47 c 1729s| 7980k| 7923k| 0 | 0.0 |2207M|2077 | - |2716 | 996 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1778.65/1778.67 c 1731s| 7990k| 7933k| 0 | 0.0 |2209M|2077 | - |2716 | 954 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1780.85/1780.87 c 1733s| 8000k| 7943k| 0 | 0.0 |2212M|2077 | - |2716 | 967 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1783.05/1783.09 c 1735s| 8010k| 7953k| 0 | 0.0 |2215M|2077 | - |2716 | 940 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1785.25/1785.28 c 1737s| 8020k| 7963k| 0 | 0.0 |2218M|2077 | - |2716 | 926 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1787.55/1787.50 c 1740s| 8030k| 7973k| 0 | 0.0 |2220M|2077 | - |2716 | 929 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1789.75/1789.73 c 1742s| 8040k| 7983k| 0 | 0.0 |2223M|2077 | - |2716 | 947 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1791.95/1791.96 c 1744s| 8050k| 7993k| 0 | 0.0 |2226M|2077 | - |2716 | 942 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1794.24/1794.21 c 1746s| 8060k| 8003k| 0 | 0.0 |2228M|2077 | - |2716 | 925 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1796.55/1796.51 c 1748s| 8070k| 8013k| 0 | 0.0 |2231M|2077 | - |2716 | 991 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1798.74/1798.78 c 1751s| 8080k| 8023k| 0 | 0.0 |2234M|2077 | - |2716 | 978 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1751.80
1800.05/1800.00 c Solving Nodes : 8085474
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1751.80
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693727-1277971544.wbo
1800.05/1800.00 c Variables : 2716 (2618 binary, 0 integer, 0 implicit integer, 98 continuous)
1800.05/1800.00 c Constraints : 241 initial, 241 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693727-1277971544.wbo
1800.05/1800.00 c Variables : 2716 (2618 binary, 0 integer, 0 implicit integer, 98 continuous)
1800.05/1800.00 c Constraints : 240 initial, 1098 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 98 0 1 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 98 0 1437 0 1182 0 163 0 0 0
1800.05/1800.00 c setppc : 21 0 8594633 0 8058192 7921 1376487 0 0 0
1800.05/1800.00 c linear : 98 0 8586712 0 8058192 16783 2294454 0 0 0
1800.05/1800.00 c logicor : 23+ 0 1462211 0 8058192 4820 190957 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 8058192 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c setppc : 104.46 0.00 13.87 0.00 90.59
1800.05/1800.00 c linear : 63.04 0.00 58.50 0.00 4.54
1800.05/1800.00 c logicor : 93.41 0.00 12.81 0.00 80.60
1800.05/1800.00 c countsols : 1.76 0.00 0.00 0.00 1.76
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 2.36 2 0 0
1800.05/1800.00 c rootredcost : 2.60 0 0 0
1800.05/1800.00 c pseudoobj : 27.44 8594433 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 42.99 29524 29524 506429 267.1 367597 32.5 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 287460 38.9 - - -
1800.05/1800.00 c applied locally : - - - 227 332.5 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 1314.44 8058192 0 0 0 0 16116384
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 2.16 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 2.25 0 0
1800.05/1800.00 c trysol : 1.66 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 8085474
1800.05/1800.00 c nodes (total) : 8085474
1800.05/1800.00 c nodes left : 8028574
1800.05/1800.00 c max depth : 2077
1800.05/1800.00 c max depth (total): 2077
1800.05/1800.00 c backtracks : 11939 (0.1%)
1800.05/1800.00 c delayed cutoffs : 2337
1800.05/1800.00 c repropagations : 10461 (113262 domain reductions, 2242 cutoffs)
1800.05/1800.00 c avg switch length: 2.36
1800.05/1800.00 c switching time : 39.52
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693727-1277971544/watcher-2693727-1277971544 -o /tmp/evaluation-result-2693727-1277971544/solver-2693727-1277971544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693727-1277971544.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.03 0.03 0.00 4/182 19404
/proc/meminfo: memFree=31406448/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=8796 CPUtime=0
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 1683 0 0 0 0 0 0 0 25 0 1 0 138450611 9007104 1606 4089446400 4194304 7136930 140736098731888 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19404/statm: 2199 1608 275 719 0 1478 0
[startup+0.0745249 s]
/proc/loadavg: 0.03 0.03 0.00 4/182 19404
/proc/meminfo: memFree=31406448/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=18840 CPUtime=0.07
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 5687 0 0 0 6 1 0 0 25 0 1 0 138450611 19292160 3971 4089446400 4194304 7136930 140736098731888 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 4710 3971 390 719 0 3989 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18840
[startup+0.10052 s]
/proc/loadavg: 0.03 0.03 0.00 4/182 19404
/proc/meminfo: memFree=31406448/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=18840 CPUtime=0.09
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 5693 0 0 0 8 1 0 0 25 0 1 0 138450611 19292160 3977 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 4710 3977 390 719 0 3989 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18840
[startup+0.300487 s]
/proc/loadavg: 0.03 0.03 0.00 4/182 19404
/proc/meminfo: memFree=31406448/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=19792 CPUtime=0.29
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 5921 0 0 0 28 1 0 0 25 0 1 0 138450611 20267008 4205 4089446400 4194304 7136930 140736098731888 18446744073709551615 5892370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 4948 4205 390 719 0 4227 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19792
[startup+0.700412 s]
/proc/loadavg: 0.03 0.03 0.00 4/182 19404
/proc/meminfo: memFree=31406448/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=20972 CPUtime=0.69
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 6230 0 0 0 66 3 0 0 25 0 1 0 138450611 21475328 4514 4089446400 4194304 7136930 140736098731888 18446744073709551615 6122426 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 5243 4514 394 719 0 4522 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20972
[startup+1.50027 s]
/proc/loadavg: 0.03 0.03 0.00 3/183 19405
/proc/meminfo: memFree=31385080/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=22404 CPUtime=1.49
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 6594 0 0 0 145 4 0 0 25 0 1 0 138450611 22941696 4878 4089446400 4194304 7136930 140736098731888 18446744073709551615 4414743 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 5601 4878 394 719 0 4880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22404
[startup+3.10097 s]
/proc/loadavg: 0.35 0.09 0.02 3/183 19406
/proc/meminfo: memFree=31375656/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=24412 CPUtime=3.09
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 7140 0 0 0 301 8 0 0 25 0 1 0 138450611 24997888 5424 4089446400 4194304 7136930 140736098731888 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 6103 5424 394 719 0 5382 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24412
[startup+6.30039 s]
/proc/loadavg: 0.35 0.09 0.02 3/183 19406
/proc/meminfo: memFree=31363768/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=29512 CPUtime=6.29
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 8450 0 0 0 612 17 0 0 25 0 1 0 138450611 30220288 6734 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436499 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 7378 6734 394 719 0 6657 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29512
[startup+12.7002 s]
/proc/loadavg: 0.48 0.12 0.03 3/183 19406
/proc/meminfo: memFree=31336928/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=37988 CPUtime=12.69
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 10675 0 0 0 1236 33 0 0 25 0 1 0 138450611 38899712 8959 4089446400 4194304 7136930 140736098731888 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 9497 8959 394 719 0 8776 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37988
[startup+25.5009 s]
/proc/loadavg: 0.82 0.22 0.06 3/183 19406
/proc/meminfo: memFree=31268788/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=56964 CPUtime=25.49
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 15128 0 0 0 2487 62 0 0 25 0 1 0 138450611 58331136 13412 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 14241 13412 394 719 0 13520 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56964
[startup+51.1002 s]
/proc/loadavg: 1.22 0.36 0.11 3/183 19407
/proc/meminfo: memFree=31160552/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=95932 CPUtime=51.09
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 24312 0 0 0 4977 132 0 0 25 0 1 0 138450611 98234368 22596 4089446400 4194304 7136930 140736098731888 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 23983 22596 394 719 0 23262 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 95932
[startup+102.307 s]
/proc/loadavg: 1.69 0.63 0.22 3/183 19408
/proc/meminfo: memFree=30931236/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=198528 CPUtime=102.3
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 48832 0 0 0 9941 289 0 0 25 0 1 0 138450611 203292672 47116 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 49632 47116 394 719 0 48911 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 198528
[startup+162.301 s]
/proc/loadavg: 1.87 0.86 0.32 3/183 19410
/proc/meminfo: memFree=30783492/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=273420 CPUtime=162.3
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 68604 0 0 0 15781 449 0 0 25 0 1 0 138450611 279982080 66888 4089446400 4194304 7136930 140736098731888 18446744073709551615 5892349 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 68355 66888 394 719 0 67634 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 273420
[startup+222.301 s]
/proc/loadavg: 1.95 1.08 0.43 3/183 19411
/proc/meminfo: memFree=30597312/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=365572 CPUtime=222.3
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 88584 0 0 0 21621 609 0 0 25 0 1 0 138450611 374345728 86868 4089446400 4194304 7136930 140736098731888 18446744073709551615 4641950 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 91393 86868 394 719 0 90672 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 365572
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/183 19413
/proc/meminfo: memFree=30388820/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=436200 CPUtime=282.3
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 107273 0 0 0 27452 778 0 0 25 0 1 0 138450611 446668800 105557 4089446400 4194304 7136930 140736098731888 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 109050 105557 394 719 0 108329 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 436200
[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.61 3/183 19415
/proc/meminfo: memFree=30228804/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=513404 CPUtime=342.3
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 127627 0 0 0 33292 938 0 0 25 0 1 0 138450611 525725696 125911 4089446400 4194304 7136930 140736098731888 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 128351 125911 394 719 0 127630 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 513404
[startup+402.3 s]
/proc/loadavg: 1.99 1.48 0.69 3/183 19416
/proc/meminfo: memFree=30029732/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=587900 CPUtime=402.3
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 147272 0 0 0 39137 1093 0 0 25 0 1 0 138450611 602009600 145556 4089446400 4194304 7136930 140736098731888 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 146975 145556 394 719 0 146254 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 587900
[startup+462.3 s]
/proc/loadavg: 1.99 1.57 0.77 3/183 19418
/proc/meminfo: memFree=29872192/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=691816 CPUtime=462.3
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 166102 0 0 0 44976 1254 0 0 25 0 1 0 138450611 708419584 164386 4089446400 4194304 7136930 140736098731888 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 172954 164386 394 719 0 172233 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 691816
[startup+522.3 s]
/proc/loadavg: 1.99 1.65 0.84 3/183 19419
/proc/meminfo: memFree=29717752/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=763968 CPUtime=522.3
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 185154 0 0 0 50828 1402 0 0 25 0 1 0 138450611 782303232 183438 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 190992 183438 394 719 0 190271 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 763968
[startup+582.301 s]
/proc/loadavg: 1.99 1.71 0.91 3/183 19421
/proc/meminfo: memFree=29583164/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=839344 CPUtime=582.31
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 205042 0 0 0 56668 1563 0 0 25 0 1 0 138450611 859488256 203326 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436340 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 209836 203326 394 719 0 209115 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 839344
[startup+642.301 s]
/proc/loadavg: 1.99 1.76 0.98 3/183 19423
/proc/meminfo: memFree=29469144/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=911028 CPUtime=642.31
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 224010 0 0 0 62504 1727 0 0 25 0 1 0 138450611 932892672 222294 4089446400 4194304 7136930 140736098731888 18446744073709551615 5892263 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 227757 222294 394 719 0 227036 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 911028
[startup+702.301 s]
################
# More data... #
################
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 338203 0 0 0 97555 2677 0 0 25 0 1 0 138450611 1442209792 336487 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 352102 336487 394 719 0 351381 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1408408
[startup+1062.3 s]
/proc/loadavg: 1.99 1.93 1.33 3/183 19434
/proc/meminfo: memFree=28473028/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=1483512 CPUtime=1062.32
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 358019 0 0 0 103402 2830 0 0 25 0 1 0 138450611 1519116288 356303 4089446400 4194304 7136930 140736098731888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 370878 356303 394 719 0 370157 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1483512
[startup+1122.3 s]
/proc/loadavg: 2.14 1.97 1.39 3/183 19435
/proc/meminfo: memFree=28300368/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=1557336 CPUtime=1122.32
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 377504 0 0 0 109244 2988 0 0 25 0 1 0 138450611 1594712064 375788 4089446400 4194304 7136930 140736098731888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 389334 375788 394 719 0 388613 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1557336
[startup+1182.3 s]
/proc/loadavg: 2.09 1.99 1.42 3/183 19437
/proc/meminfo: memFree=28113444/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=1630608 CPUtime=1182.33
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 396882 0 0 0 115085 3148 0 0 25 0 1 0 138450611 1669742592 395166 4089446400 4194304 7136930 140736098731888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 407652 395166 394 719 0 406931 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1630608
[startup+1242.3 s]
/proc/loadavg: 2.03 1.99 1.46 3/183 19439
/proc/meminfo: memFree=27955528/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=1703548 CPUtime=1242.33
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 416159 0 0 0 120928 3305 0 0 25 0 1 0 138450611 1744433152 414443 4089446400 4194304 7136930 140736098731888 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 425887 414443 394 719 0 425166 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1703548
[startup+1302.3 s]
/proc/loadavg: 2.01 1.99 1.49 3/183 19440
/proc/meminfo: memFree=27765132/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=1776616 CPUtime=1302.33
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 435471 0 0 0 126765 3468 0 0 25 0 1 0 138450611 1819254784 433755 4089446400 4194304 7136930 140736098731888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 444154 433755 394 719 0 443433 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1776616
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.52 3/183 19442
/proc/meminfo: memFree=27566180/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=1849096 CPUtime=1362.34
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 454607 0 0 0 132604 3630 0 0 25 0 1 0 138450611 1893474304 452891 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 462274 452891 394 719 0 461553 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1849096
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.55 3/183 19443
/proc/meminfo: memFree=27402068/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=1923876 CPUtime=1422.34
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 474368 0 0 0 138448 3786 0 0 25 0 1 0 138450611 1970049024 472652 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 480969 472652 394 719 0 480248 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1923876
[startup+1482.3 s]
/proc/loadavg: 2.06 2.00 1.58 3/183 19445
/proc/meminfo: memFree=27284456/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=1993896 CPUtime=1482.34
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 492926 0 0 0 144284 3950 0 0 25 0 1 0 138450611 2041749504 491210 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 498474 491210 394 719 0 497753 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1993896
[startup+1542.3 s]
/proc/loadavg: 2.10 2.02 1.61 3/183 19447
/proc/meminfo: memFree=27172060/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=2067492 CPUtime=1542.33
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 512370 0 0 0 150115 4118 0 0 25 0 1 0 138450611 2117111808 510654 4089446400 4194304 7136930 140736098731888 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 516873 510654 394 719 0 516152 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2067492
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 1.63 3/183 19451
/proc/meminfo: memFree=27037172/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=2139836 CPUtime=1602.34
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 531509 0 0 0 155945 4289 0 0 25 0 1 0 138450611 2191192064 529793 4089446400 4194304 7136930 140736098731888 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 534959 529793 394 719 0 534238 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2139836
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.65 3/183 19453
/proc/meminfo: memFree=26882240/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=2213732 CPUtime=1662.35
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 551041 0 0 0 161784 4451 0 0 25 0 1 0 138450611 2266861568 549325 4089446400 4194304 7136930 140736098731888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 553433 549325 394 719 0 552712 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2213732
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.67 3/183 19454
/proc/meminfo: memFree=26737104/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=2286584 CPUtime=1722.34
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 570280 0 0 0 167616 4618 0 0 25 0 1 0 138450611 2341462016 568564 4089446400 4194304 7136930 140736098731888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 571646 568564 394 719 0 570925 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2286584
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.69 3/183 19456
/proc/meminfo: memFree=26564448/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=2363720 CPUtime=1782.35
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 590617 0 0 0 173455 4780 0 0 25 0 1 0 138450611 2420449280 588901 4089446400 4194304 7136930 140736098731888 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 590930 588901 394 719 0 590209 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2363720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.04 1.70 2/181 19457
/proc/meminfo: memFree=29034772/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=2386624 CPUtime=1800.05
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 596648 0 0 0 175180 4825 0 0 25 0 1 0 138450611 2443902976 594932 4089446400 4194304 7136930 140736098731888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19404/statm: 596656 594932 394 719 0 595935 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2386624
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19404
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.08 2.04 1.70 2/179 19475
/proc/meminfo: memFree=29036632/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=2386648 CPUtime=1801.45
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 596674 0 0 0 175320 4825 0 0 25 0 1 0 138450611 2443927552 594958 4089446400 4194304 7136930 140736098731888 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19404/statm: 596662 594958 399 719 0 595941 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 2386648
[startup+1801.81 s]
/proc/loadavg: 1.99 2.02 1.70 2/179 19476
/proc/meminfo: memFree=29036632/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=2386648 CPUtime=1801.85
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 596674 0 0 0 175360 4825 0 0 25 0 1 0 138450611 2443927552 594958 4089446400 4194304 7136930 140736098731888 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19404/statm: 596662 594958 399 719 0 595941 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2386648
[startup+1802 s]
/proc/loadavg: 1.99 2.02 1.70 2/179 19476
/proc/meminfo: memFree=29036632/32951124 swapFree=67111528/67111528
[pid=19404] ppid=19402 vsize=2386648 CPUtime=1802.05
/proc/19404/stat : 19404 (pbscip.linux.x8) R 19402 19404 19314 0 -1 4202496 596674 0 0 0 175380 4825 0 0 25 0 1 0 138450611 2443927552 594958 4089446400 4194304 7136930 140736098731888 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19404/statm: 596662 594958 399 719 0 595941 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 2386648
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.14
CPU user time (s): 1753.81
CPU system time (s): 48.3287
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2386648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.81
system time used= 48.3287
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596674
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= 1
involuntary context switches= 2940
runsolver used 3.19051 second user time and 6.61499 second system time
The end
Begin job on node134 at 2010-07-01 10:05:44
IDJOB=2693727
IDBENCH=78689
IDSOLVER=1206
FILE ID=node134/2693727-1277971544
PBS_JOBID= 11197899
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693727-1277971544/watcher-2693727-1277971544 -o /tmp/evaluation-result-2693727-1277971544/solver-2693727-1277971544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693727-1277971544.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e9a64a9fd994118a8a7cda3ac40963c5
RANDOM SEED=1678326783
node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.63
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 7397.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.818
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31406976 kB
Buffers: 224008 kB
Cached: 1097864 kB
SwapCached: 0 kB
Active: 677880 kB
Inactive: 720432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31406976 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5896 kB
Writeback: 0 kB
AnonPages: 76440 kB
Mapped: 14768 kB
Slab: 81240 kB
PageTables: 5004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 219964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74208 MiB
End job on node134 at 2010-07-01 10:35:47