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-2693768-1277973317.wbo>
0.00/0.01 c original problem has 2820 variables (2785 bin, 0 int, 0 impl, 35 cont) and 141 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.01 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, 35 impls, 36 clqs
0.00/0.02 c (round 2) 0 del vars, 1 del conss, 35 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 35 impls, 36 clqs
0.00/0.02 c (round 3) 0 del vars, 1 del conss, 35 chg bounds, 0 chg sides, 0 chg coeffs, 34 upgd conss, 35 impls, 36 clqs
0.00/0.02 c (round 4) 0 del vars, 1 del conss, 35 chg bounds, 0 chg sides, 0 chg coeffs, 70 upgd conss, 35 impls, 36 clqs
0.00/0.04 c (0.0s) probing: 101/2785 (3.6%) - 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, 35 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 35 implications, 36 cliques
0.00/0.04 c presolved problem has 2820 variables (2785 bin, 0 int, 0 impl, 35 cont) and 140 constraints
0.00/0.04 c 35 constraints of type <indicator>
0.00/0.04 c 36 constraints of type <setppc>
0.00/0.04 c 35 constraints of type <linear>
0.00/0.04 c 34 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.02
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.04 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.04 c 0.0s| 1 | 2 | 0 | - |5541k| 0 | - |2820 | 140 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.91 c 1.9s| 10000 | 9972 | 0 | 0.0 |8864k|1992 | - |2820 | 219 | 0 | 0 | 0 | 132 | 0 | 0.000000e+00 | -- | Inf
3.89/3.93 c 3.8s| 20000 | 19944 | 0 | 0.0 | 11M|1992 | - |2820 | 198 | 0 | 0 | 0 | 272 | 0 | 0.000000e+00 | -- | Inf
5.99/6.03 c 5.9s| 30000 | 29909 | 0 | 0.0 | 14M|1992 | - |2820 | 229 | 0 | 0 | 0 | 442 | 0 | 0.000000e+00 | -- | Inf
8.19/8.27 c 8.1s| 40000 | 39880 | 0 | 0.0 | 17M|1992 | - |2820 | 277 | 0 | 0 | 0 | 582 | 0 | 0.000000e+00 | -- | Inf
10.39/10.47 c 10.2s| 50000 | 49862 | 0 | 0.0 | 20M|1992 | - |2820 | 256 | 0 | 0 | 0 | 681 | 0 | 0.000000e+00 | -- | Inf
12.59/12.64 c 12.3s| 60000 | 59836 | 0 | 0.0 | 23M|1992 | - |2820 | 247 | 0 | 0 | 0 | 813 | 0 | 0.000000e+00 | -- | Inf
14.79/14.80 c 14.4s| 70000 | 69803 | 0 | 0.0 | 26M|1992 | - |2820 | 283 | 0 | 0 | 0 | 977 | 0 | 0.000000e+00 | -- | Inf
16.89/16.95 c 16.5s| 80000 | 79774 | 0 | 0.0 | 28M|2028 | - |2820 | 285 | 0 | 0 | 0 |1127 | 0 | 0.000000e+00 | -- | Inf
19.09/19.12 c 18.6s| 90000 | 89748 | 0 | 0.0 | 31M|2056 | - |2820 | 277 | 0 | 0 | 0 |1266 | 0 | 0.000000e+00 | -- | Inf
21.29/21.30 c 20.7s|100000 | 99723 | 0 | 0.0 | 34M|2056 | - |2820 | 295 | 0 | 0 | 0 |1395 | 0 | 0.000000e+00 | -- | Inf
23.39/23.44 c 22.8s|110000 |109705 | 0 | 0.0 | 37M|2056 | - |2820 | 281 | 0 | 0 | 0 |1495 | 0 | 0.000000e+00 | -- | Inf
25.59/25.67 c 25.0s|120000 |119663 | 0 | 0.0 | 40M|2056 | - |2820 | 328 | 0 | 0 | 0 |1705 | 0 | 0.000000e+00 | -- | Inf
27.79/27.85 c 27.1s|130000 |129636 | 0 | 0.0 | 43M|2056 | - |2820 | 322 | 0 | 0 | 0 |1845 | 0 | 0.000000e+00 | -- | Inf
30.00/30.01 c 29.2s|140000 |139604 | 0 | 0.0 | 45M|2056 | - |2820 | 322 | 0 | 0 | 0 |2005 | 0 | 0.000000e+00 | -- | Inf
32.09/32.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.09/32.15 c 31.3s|150000 |149570 | 0 | 0.0 | 48M|2070 | - |2820 | 349 | 0 | 0 | 0 |2175 | 0 | 0.000000e+00 | -- | Inf
34.29/34.34 c 33.4s|160000 |159540 | 0 | 0.0 | 51M|2070 | - |2820 | 361 | 0 | 0 | 0 |2325 | 0 | 0.000000e+00 | -- | Inf
36.49/36.54 c 35.5s|170000 |169504 | 0 | 0.0 | 54M|2070 | - |2820 | 403 | 0 | 0 | 0 |2505 | 0 | 0.000000e+00 | -- | Inf
38.69/38.71 c 37.6s|180000 |179475 | 0 | 0.0 | 56M|2083 | - |2820 | 402 | 0 | 0 | 0 |2655 | 0 | 0.000000e+00 | -- | Inf
40.80/40.87 c 39.8s|190000 |189441 | 0 | 0.0 | 59M|2083 | - |2820 | 424 | 0 | 0 | 0 |2823 | 0 | 0.000000e+00 | -- | Inf
42.99/43.08 c 41.9s|200000 |199413 | 0 | 0.0 | 62M|2083 | - |2820 | 428 | 0 | 0 | 0 |2965 | 0 | 0.000000e+00 | -- | Inf
45.20/45.27 c 44.0s|210000 |209383 | 0 | 0.0 | 65M|2086 | - |2820 | 483 | 0 | 0 | 0 |3122 | 0 | 0.000000e+00 | -- | Inf
47.40/47.45 c 46.2s|220000 |219362 | 0 | 0.0 | 67M|2086 | - |2820 | 446 | 0 | 0 | 0 |3232 | 0 | 0.000000e+00 | -- | Inf
49.50/49.59 c 48.2s|230000 |229330 | 0 | 0.0 | 70M|2086 | - |2820 | 470 | 0 | 0 | 0 |3392 | 0 | 0.000000e+00 | -- | Inf
51.70/51.80 c 50.4s|240000 |239307 | 0 | 0.0 | 73M|2086 | - |2820 | 460 | 0 | 0 | 0 |3515 | 0 | 0.000000e+00 | -- | Inf
53.90/53.95 c 52.5s|250000 |249273 | 0 | 0.0 | 76M|2086 | - |2820 | 508 | 0 | 0 | 0 |3685 | 0 | 0.000000e+00 | -- | Inf
55.99/56.07 c 54.6s|260000 |259241 | 0 | 0.0 | 78M|2086 | - |2820 | 503 | 0 | 0 | 0 |3845 | 0 | 0.000000e+00 | -- | Inf
58.20/58.21 c 56.6s|270000 |269217 | 0 | 0.0 | 81M|2086 | - |2820 | 509 | 0 | 0 | 0 |3965 | 0 | 0.000000e+00 | -- | Inf
60.29/60.33 c 58.7s|280000 |279177 | 0 | 0.0 | 84M|2086 | - |2820 | 540 | 0 | 0 | 0 |4165 | 0 | 0.000000e+00 | -- | Inf
62.39/62.41 c 60.8s|290000 |289154 | 0 | 0.0 | 87M|2086 | - |2820 | 518 | 0 | 0 | 0 |4285 | 0 | 0.000000e+00 | -- | Inf
64.50/64.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.50/64.56 c 62.9s|300000 |299121 | 0 | 0.0 | 90M|2086 | - |2820 | 545 | 0 | 0 | 0 |4455 | 0 | 0.000000e+00 | -- | Inf
66.59/66.68 c 64.9s|310000 |309083 | 0 | 0.0 | 92M|2086 | - |2820 | 581 | 0 | 0 | 0 |4645 | 0 | 0.000000e+00 | -- | Inf
68.69/68.77 c 66.9s|320000 |319048 | 0 | 0.0 | 95M|2086 | - |2820 | 594 | 0 | 0 | 0 |4825 | 0 | 0.000000e+00 | -- | Inf
70.79/70.85 c 69.0s|330000 |329000 | 0 | 0.0 | 98M|2086 | - |2820 | 597 | 0 | 0 | 0 |5062 | 0 | 0.000000e+00 | -- | Inf
72.89/72.90 c 70.9s|340000 |338966 | 0 | 0.0 | 101M|2086 | - |2820 | 610 | 0 | 0 | 0 |5232 | 0 | 0.000000e+00 | -- | Inf
74.90/74.97 c 73.0s|350000 |348930 | 0 | 0.0 | 104M|2086 | - |2820 | 613 | 0 | 0 | 0 |5412 | 0 | 0.000000e+00 | -- | Inf
76.99/77.03 c 75.0s|360000 |358902 | 0 | 0.0 | 106M|2086 | - |2820 | 595 | 0 | 0 | 0 |5552 | 0 | 0.000000e+00 | -- | Inf
79.09/79.10 c 77.0s|370000 |368871 | 0 | 0.0 | 109M|2086 | - |2820 | 619 | 0 | 0 | 0 |5712 | 0 | 0.000000e+00 | -- | Inf
81.09/81.18 c 79.0s|380000 |378840 | 0 | 0.0 | 112M|2086 | - |2820 | 608 | 0 | 0 | 0 |5879 | 0 | 0.000000e+00 | -- | Inf
83.19/83.20 c 81.0s|390000 |388801 | 0 | 0.0 | 115M|2086 | - |2820 | 660 | 0 | 0 | 0 |6087 | 0 | 0.000000e+00 | -- | Inf
85.19/85.25 c 83.0s|400000 |398753 | 0 | 0.0 | 118M|2086 | - |2820 | 665 | 0 | 0 | 0 |6327 | 0 | 0.000000e+00 | -- | Inf
87.19/87.28 c 85.0s|410000 |408704 | 0 | 0.0 | 121M|2086 | - |2820 | 691 | 0 | 0 | 0 |6577 | 0 | 0.000000e+00 | -- | Inf
89.30/89.35 c 87.0s|420000 |418671 | 0 | 0.0 | 123M|2086 | - |2820 | 670 | 0 | 0 | 0 |6747 | 0 | 0.000000e+00 | -- | Inf
91.40/91.43 c 89.0s|430000 |428632 | 0 | 0.0 | 126M|2086 | - |2820 | 663 | 0 | 0 | 0 |6938 | 0 | 0.000000e+00 | -- | Inf
93.40/93.43 c 91.0s|440000 |438599 | 0 | 0.0 | 129M|2086 | - |2820 | 633 | 0 | 0 | 0 |7107 | 0 | 0.000000e+00 | -- | Inf
95.30/95.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.30/95.37 c 92.8s|450000 |448561 | 0 | 0.0 | 132M|2086 | - |2820 | 679 | 0 | 0 | 0 |7306 | 0 | 0.000000e+00 | -- | Inf
97.29/97.38 c 94.8s|460000 |458523 | 0 | 0.0 | 135M|2086 | - |2820 | 680 | 0 | 0 | 0 |7496 | 0 | 0.000000e+00 | -- | Inf
99.39/99.40 c 96.7s|470000 |468484 | 0 | 0.0 | 138M|2086 | - |2820 | 702 | 0 | 0 | 0 |7696 | 0 | 0.000000e+00 | -- | Inf
101.39/101.43 c 98.7s|480000 |478453 | 0 | 0.0 | 140M|2086 | - |2820 | 666 | 0 | 0 | 0 |7854 | 0 | 0.000000e+00 | -- | Inf
103.30/103.33 c 101s|490000 |488419 | 0 | 0.0 | 143M|2086 | - |2820 | 696 | 0 | 0 | 0 |8024 | 0 | 0.000000e+00 | -- | Inf
105.20/105.29 c 102s|500000 |498378 | 0 | 0.0 | 146M|2086 | - |2820 | 701 | 0 | 0 | 0 |8234 | 0 | 0.000000e+00 | -- | Inf
107.20/107.24 c 104s|510000 |508338 | 0 | 0.0 | 149M|2086 | - |2820 | 673 | 0 | 0 | 0 |8434 | 0 | 0.000000e+00 | -- | Inf
109.09/109.19 c 106s|520000 |518301 | 0 | 0.0 | 152M|2086 | - |2820 | 677 | 0 | 0 | 0 |8624 | 0 | 0.000000e+00 | -- | Inf
111.10/111.15 c 108s|530000 |528259 | 0 | 0.0 | 155M|2086 | - |2820 | 654 | 0 | 0 | 0 |8834 | 0 | 0.000000e+00 | -- | Inf
112.99/113.09 c 110s|540000 |538225 | 0 | 0.0 | 158M|2086 | - |2820 | 653 | 0 | 0 | 0 |9004 | 0 | 0.000000e+00 | -- | Inf
114.99/115.05 c 112s|550000 |548185 | 0 | 0.0 | 161M|2086 | - |2820 | 656 | 0 | 0 | 0 |9204 | 0 | 0.000000e+00 | -- | Inf
116.99/117.02 c 114s|560000 |558147 | 0 | 0.0 | 163M|2086 | - |2820 | 680 | 0 | 0 | 0 |9394 | 0 | 0.000000e+00 | -- | Inf
118.99/119.01 c 116s|570000 |568107 | 0 | 0.0 | 166M|2086 | - |2820 | 675 | 0 | 0 | 0 |9594 | 0 | 0.000000e+00 | -- | Inf
120.90/120.95 c 118s|580000 |578071 | 0 | 0.0 | 169M|2086 | - |2820 | 659 | 0 | 0 | 0 |9774 | 0 | 0.000000e+00 | -- | Inf
122.90/122.96 c 120s|590000 |588025 | 0 | 0.0 | 172M|2086 | - |2820 | 676 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
124.90/124.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.90/124.96 c 122s|600000 |597978 | 0 | 0.0 | 175M|2086 | - |2820 | 707 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
126.89/126.95 c 124s|610000 |607934 | 0 | 0.0 | 178M|2086 | - |2820 | 649 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
128.80/128.88 c 125s|620000 |617884 | 0 | 0.0 | 181M|2086 | - |2820 | 695 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
130.80/130.89 c 127s|630000 |627841 | 0 | 0.0 | 184M|2086 | - |2820 | 673 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
132.79/132.86 c 129s|640000 |637799 | 0 | 0.0 | 187M|2086 | - |2820 | 661 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
134.90/134.91 c 131s|650000 |647757 | 0 | 0.0 | 190M|2086 | - |2820 | 659 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
136.80/136.86 c 133s|660000 |657713 | 0 | 0.0 | 192M|2086 | - |2820 | 643 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
138.90/138.91 c 135s|670000 |667664 | 0 | 0.0 | 195M|2086 | - |2820 | 671 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
140.90/140.93 c 137s|680000 |677623 | 0 | 0.0 | 198M|2086 | - |2820 | 663 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
142.89/142.92 c 139s|690000 |687572 | 0 | 0.0 | 201M|2086 | - |2820 | 657 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
144.90/144.92 c 141s|700000 |697535 | 0 | 0.0 | 204M|2086 | - |2820 | 639 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
146.89/146.99 c 143s|710000 |707495 | 0 | 0.0 | 207M|2086 | - |2820 | 655 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
148.99/149.06 c 145s|720000 |717444 | 0 | 0.0 | 210M|2086 | - |2820 | 697 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
151.09/151.14 c 147s|730000 |727397 | 0 | 0.0 | 213M|2086 | - |2820 | 704 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
153.19/153.25 c 149s|740000 |737358 | 0 | 0.0 | 216M|2086 | - |2820 | 714 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
155.20/155.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.20/155.28 c 151s|750000 |747313 | 0 | 0.0 | 219M|2086 | - |2820 | 716 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
157.30/157.39 c 153s|760000 |757264 | 0 | 0.0 | 222M|2086 | - |2820 | 756 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
159.50/159.51 c 155s|770000 |767226 | 0 | 0.0 | 225M|2086 | - |2820 | 717 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
161.59/161.64 c 157s|780000 |777181 | 0 | 0.0 | 228M|2086 | - |2820 | 748 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
163.80/163.80 c 159s|790000 |787128 | 0 | 0.0 | 231M|2086 | - |2820 | 762 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
165.89/165.96 c 161s|800000 |797079 | 0 | 0.0 | 234M|2086 | - |2820 | 756 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
168.09/168.11 c 164s|810000 |807040 | 0 | 0.0 | 237M|2086 | - |2820 | 769 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
170.19/170.27 c 166s|820000 |817000 | 0 | 0.0 | 240M|2086 | - |2820 | 766 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
172.40/172.46 c 168s|830000 |826953 | 0 | 0.0 | 243M|2086 | - |2820 | 790 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
174.59/174.66 c 170s|840000 |836904 | 0 | 0.0 | 246M|2086 | - |2820 | 791 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
176.90/176.91 c 172s|850000 |846854 | 0 | 0.0 | 248M|2086 | - |2820 | 771 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
179.09/179.15 c 174s|860000 |856805 | 0 | 0.0 | 251M|2086 | - |2820 | 771 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
181.39/181.40 c 177s|870000 |866745 | 0 | 0.0 | 254M|2086 | - |2820 | 810 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
183.59/183.64 c 179s|880000 |876690 | 0 | 0.0 | 257M|2086 | - |2820 | 789 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
185.70/185.79 c 181s|890000 |886640 | 0 | 0.0 | 260M|2086 | - |2820 | 776 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
187.90/187.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.90/187.93 c 183s|900000 |896603 | 0 | 0.0 | 263M|2086 | - |2820 | 773 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
190.10/190.11 c 185s|910000 |906548 | 0 | 0.0 | 266M|2086 | - |2820 | 781 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
192.19/192.22 c 187s|920000 |916509 | 0 | 0.0 | 269M|2086 | - |2820 | 750 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
194.30/194.36 c 189s|930000 |926464 | 0 | 0.0 | 272M|2086 | - |2820 | 767 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
196.39/196.48 c 191s|940000 |936416 | 0 | 0.0 | 275M|2086 | - |2820 | 762 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
198.60/198.62 c 193s|950000 |946363 | 0 | 0.0 | 278M|2086 | - |2820 | 755 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
200.70/200.71 c 195s|960000 |956318 | 0 | 0.0 | 281M|2086 | - |2820 | 761 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
202.80/202.80 c 197s|970000 |966268 | 0 | 0.0 | 284M|2086 | - |2820 | 753 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
204.90/204.91 c 199s|980000 |976210 | 0 | 0.0 | 287M|2086 | - |2820 | 782 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
206.91/206.98 c 201s|990000 |986164 | 0 | 0.0 | 290M|2086 | - |2820 | 762 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
209.00/209.04 c 203s| 1000k|996114 | 0 | 0.0 | 293M|2086 | - |2820 | 774 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
211.09/211.12 c 205s| 1010k| 1006k| 0 | 0.0 | 296M|2086 | - |2820 | 767 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
213.10/213.18 c 207s| 1020k| 1016k| 0 | 0.0 | 299M|2086 | - |2820 | 795 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
215.19/215.22 c 209s| 1030k| 1025k| 0 | 0.0 | 302M|2086 | - |2820 | 743 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
217.20/217.23 c 211s| 1040k| 1035k| 0 | 0.0 | 305M|2086 | - |2820 | 777 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
219.19/219.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.19/219.25 c 213s| 1050k| 1045k| 0 | 0.0 | 308M|2086 | - |2820 | 769 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
221.20/221.29 c 215s| 1060k| 1055k| 0 | 0.0 | 311M|2086 | - |2820 | 780 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
223.19/223.29 c 217s| 1070k| 1065k| 0 | 0.0 | 314M|2086 | - |2820 | 779 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
225.20/225.28 c 219s| 1080k| 1075k| 0 | 0.0 | 317M|2086 | - |2820 | 738 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
227.20/227.29 c 221s| 1090k| 1085k| 0 | 0.0 | 320M|2086 | - |2820 | 757 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
229.29/229.31 c 223s| 1100k| 1095k| 0 | 0.0 | 323M|2086 | - |2820 | 784 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
231.20/231.29 c 225s| 1110k| 1105k| 0 | 0.0 | 326M|2086 | - |2820 | 794 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
233.20/233.27 c 227s| 1120k| 1115k| 0 | 0.0 | 329M|2086 | - |2820 | 777 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
235.20/235.25 c 229s| 1130k| 1125k| 0 | 0.0 | 332M|2086 | - |2820 | 775 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
237.20/237.22 c 231s| 1140k| 1135k| 0 | 0.0 | 335M|2086 | - |2820 | 774 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
239.09/239.18 c 233s| 1150k| 1145k| 0 | 0.0 | 339M|2086 | - |2820 | 783 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
241.09/241.13 c 235s| 1160k| 1155k| 0 | 0.0 | 342M|2086 | - |2820 | 802 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
242.99/243.06 c 236s| 1170k| 1165k| 0 | 0.0 | 345M|2086 | - |2820 | 790 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
244.89/244.95 c 238s| 1180k| 1175k| 0 | 0.0 | 348M|2086 | - |2820 | 813 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
246.79/246.81 c 240s| 1190k| 1185k| 0 | 0.0 | 351M|2086 | - |2820 | 800 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
248.60/248.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.60/248.62 c 242s| 1200k| 1195k| 0 | 0.0 | 354M|2086 | - |2820 | 813 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
250.39/250.47 c 244s| 1210k| 1205k| 0 | 0.0 | 357M|2086 | - |2820 | 803 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
252.29/252.30 c 245s| 1220k| 1214k| 0 | 0.0 | 360M|2086 | - |2820 | 831 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
253.99/254.10 c 247s| 1230k| 1224k| 0 | 0.0 | 364M|2086 | - |2820 | 837 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
255.80/255.87 c 249s| 1240k| 1234k| 0 | 0.0 | 367M|2086 | - |2820 | 832 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
257.60/257.65 c 251s| 1250k| 1244k| 0 | 0.0 | 370M|2086 | - |2820 | 828 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
259.30/259.37 c 252s| 1260k| 1254k| 0 | 0.0 | 373M|2086 | - |2820 | 831 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
261.00/261.03 c 254s| 1270k| 1264k| 0 | 0.0 | 376M|2086 | - |2820 | 865 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
262.70/262.71 c 255s| 1280k| 1274k| 0 | 0.0 | 380M|2086 | - |2820 | 834 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
264.40/264.40 c 257s| 1290k| 1284k| 0 | 0.0 | 383M|2086 | - |2820 | 858 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
265.99/266.08 c 259s| 1300k| 1294k| 0 | 0.0 | 386M|2086 | - |2820 | 842 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
267.60/267.64 c 260s| 1310k| 1304k| 0 | 0.0 | 390M|2086 | - |2820 | 877 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
269.20/269.20 c 262s| 1320k| 1314k| 0 | 0.0 | 393M|2086 | - |2820 | 871 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
270.70/270.78 c 263s| 1330k| 1324k| 0 | 0.0 | 397M|2086 | - |2820 | 910 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
272.20/272.29 c 265s| 1340k| 1333k| 0 | 0.0 | 400M|2086 | - |2820 | 953 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
273.80/273.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.80/273.81 c 266s| 1350k| 1343k| 0 | 0.0 | 404M|2086 | - |2820 | 923 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
275.30/275.33 c 268s| 1360k| 1353k| 0 | 0.0 | 407M|2086 | - |2820 | 934 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
276.70/276.79 c 269s| 1370k| 1363k| 0 | 0.0 | 411M|2086 | - |2820 | 954 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
278.20/278.29 c 270s| 1380k| 1373k| 0 | 0.0 | 415M|2086 | - |2820 |1004 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
279.70/279.73 c 272s| 1390k| 1383k| 0 | 0.0 | 419M|2086 | - |2820 |1000 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
281.10/281.14 c 273s| 1400k| 1393k| 0 | 0.0 | 423M|2086 | - |2820 | 998 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
282.60/282.65 c 275s| 1410k| 1403k| 0 | 0.0 | 427M|2086 | - |2820 |1072 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
284.00/284.06 c 276s| 1420k| 1412k| 0 | 0.0 | 431M|2086 | - |2820 |1133 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
285.40/285.47 c 277s| 1430k| 1422k| 0 | 0.0 | 436M|2086 | - |2820 |1191 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
286.90/286.98 c 279s| 1440k| 1432k| 0 | 0.0 | 440M|2086 | - |2820 |1284 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
288.39/288.44 c 280s| 1450k| 1442k| 0 | 0.0 | 446M|2086 | - |2820 |1223 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
290.40/290.50 c 282s| 1460k| 1451k| 0 | 0.0 | 453M|2086 | - |2820 |1228 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
293.00/293.00 c 285s| 1470k| 1461k| 0 | 0.0 | 457M|2276 | - |2820 |1100 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
295.09/295.18 c 287s| 1480k| 1470k| 0 | 0.0 | 459M|2276 | - |2820 | 895 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
297.30/297.37 c 289s| 1490k| 1480k| 0 | 0.0 | 462M|2276 | - |2820 | 766 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
299.40/299.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.40/299.47 c 291s| 1500k| 1490k| 0 | 0.0 | 464M|2276 | - |2820 | 763 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
301.59/301.67 c 293s| 1510k| 1500k| 0 | 0.0 | 467M|2276 | - |2820 | 769 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
303.70/303.77 c 295s| 1520k| 1510k| 0 | 0.0 | 470M|2276 | - |2820 | 726 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
305.81/305.89 c 297s| 1530k| 1520k| 0 | 0.0 | 473M|2276 | - |2820 | 698 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
308.11/308.11 c 299s| 1540k| 1530k| 0 | 0.0 | 475M|2276 | - |2820 | 702 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
310.20/310.27 c 301s| 1550k| 1540k| 0 | 0.0 | 478M|2276 | - |2820 | 689 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
312.40/312.43 c 304s| 1560k| 1550k| 0 | 0.0 | 481M|2276 | - |2820 | 687 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
314.50/314.55 c 306s| 1570k| 1560k| 0 | 0.0 | 484M|2276 | - |2820 | 659 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
316.70/316.76 c 308s| 1580k| 1570k| 0 | 0.0 | 486M|2276 | - |2820 | 660 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
318.90/318.90 c 310s| 1590k| 1580k| 0 | 0.0 | 489M|2276 | - |2820 | 675 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
321.00/321.09 c 312s| 1600k| 1590k| 0 | 0.0 | 492M|2276 | - |2820 | 654 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
323.20/323.25 c 314s| 1610k| 1600k| 0 | 0.0 | 495M|2276 | - |2820 | 651 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
325.40/325.45 c 316s| 1620k| 1610k| 0 | 0.0 | 498M|2276 | - |2820 | 635 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
327.59/327.62 c 318s| 1630k| 1620k| 0 | 0.0 | 500M|2276 | - |2820 | 621 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
329.79/329.83 c 320s| 1640k| 1630k| 0 | 0.0 | 503M|2276 | - |2820 | 635 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
331.90/331.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.90/331.96 c 322s| 1650k| 1640k| 0 | 0.0 | 506M|2276 | - |2820 | 595 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
334.09/334.14 c 325s| 1660k| 1650k| 0 | 0.0 | 509M|2276 | - |2820 | 589 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
336.29/336.34 c 327s| 1670k| 1660k| 0 | 0.0 | 511M|2276 | - |2820 | 587 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
338.50/338.56 c 329s| 1680k| 1670k| 0 | 0.0 | 514M|2276 | - |2820 | 599 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
340.70/340.73 c 331s| 1690k| 1680k| 0 | 0.0 | 517M|2276 | - |2820 | 578 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
342.90/342.91 c 333s| 1700k| 1690k| 0 | 0.0 | 520M|2276 | - |2820 | 573 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
345.00/345.04 c 335s| 1710k| 1700k| 0 | 0.0 | 522M|2276 | - |2820 | 527 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
347.10/347.18 c 337s| 1720k| 1710k| 0 | 0.0 | 525M|2276 | - |2820 | 534 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
349.30/349.39 c 339s| 1730k| 1720k| 0 | 0.0 | 528M|2276 | - |2820 | 506 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
351.50/351.58 c 342s| 1740k| 1730k| 0 | 0.0 | 530M|2276 | - |2820 | 520 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
353.80/353.81 c 344s| 1750k| 1740k| 0 | 0.0 | 533M|2276 | - |2820 | 507 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
356.00/356.02 c 346s| 1760k| 1750k| 0 | 0.0 | 536M|2276 | - |2820 | 515 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
358.10/358.16 c 348s| 1770k| 1760k| 0 | 0.0 | 539M|2276 | - |2820 | 532 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
360.30/360.32 c 350s| 1780k| 1770k| 0 | 0.0 | 541M|2276 | - |2820 | 541 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
362.50/362.51 c 352s| 1790k| 1780k| 0 | 0.0 | 544M|2276 | - |2820 | 533 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
364.60/364.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.60/364.66 c 354s| 1800k| 1790k| 0 | 0.0 | 547M|2276 | - |2820 | 547 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
366.80/366.85 c 356s| 1810k| 1799k| 0 | 0.0 | 550M|2276 | - |2820 | 565 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
369.00/369.01 c 359s| 1820k| 1809k| 0 | 0.0 | 552M|2276 | - |2820 | 549 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
371.20/371.22 c 361s| 1830k| 1819k| 0 | 0.0 | 555M|2276 | - |2820 | 552 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
373.29/373.39 c 363s| 1840k| 1829k| 0 | 0.0 | 558M|2276 | - |2820 | 582 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
375.50/375.55 c 365s| 1850k| 1839k| 0 | 0.0 | 560M|2276 | - |2820 | 550 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
377.70/377.71 c 367s| 1860k| 1849k| 0 | 0.0 | 563M|2276 | - |2820 | 550 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
379.80/379.86 c 369s| 1870k| 1859k| 0 | 0.0 | 566M|2276 | - |2820 | 545 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
382.00/382.02 c 371s| 1880k| 1869k| 0 | 0.0 | 569M|2276 | - |2820 | 567 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
384.20/384.28 c 373s| 1890k| 1879k| 0 | 0.0 | 571M|2276 | - |2820 | 596 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
386.39/386.48 c 376s| 1900k| 1889k| 0 | 0.0 | 574M|2276 | - |2820 | 550 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
388.50/388.58 c 378s| 1910k| 1899k| 0 | 0.0 | 577M|2276 | - |2820 | 539 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
390.70/390.79 c 380s| 1920k| 1909k| 0 | 0.0 | 580M|2276 | - |2820 | 572 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
392.89/392.98 c 382s| 1930k| 1919k| 0 | 0.0 | 582M|2276 | - |2820 | 550 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
395.10/395.13 c 384s| 1940k| 1929k| 0 | 0.0 | 585M|2276 | - |2820 | 563 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
397.21/397.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.21/397.28 c 386s| 1950k| 1939k| 0 | 0.0 | 588M|2276 | - |2820 | 542 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
399.40/399.49 c 388s| 1960k| 1949k| 0 | 0.0 | 591M|2276 | - |2820 | 549 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
401.61/401.69 c 390s| 1970k| 1959k| 0 | 0.0 | 593M|2276 | - |2820 | 550 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
403.80/403.87 c 393s| 1980k| 1969k| 0 | 0.0 | 596M|2276 | - |2820 | 544 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
406.00/406.03 c 395s| 1990k| 1979k| 0 | 0.0 | 599M|2276 | - |2820 | 549 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
408.21/408.27 c 397s| 2000k| 1989k| 0 | 0.0 | 602M|2276 | - |2820 | 544 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
410.50/410.50 c 399s| 2010k| 1999k| 0 | 0.0 | 604M|2276 | - |2820 | 536 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
412.60/412.65 c 401s| 2020k| 2009k| 0 | 0.0 | 607M|2276 | - |2820 | 524 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
414.70/414.76 c 403s| 2030k| 2019k| 0 | 0.0 | 610M|2276 | - |2820 | 540 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
416.90/416.93 c 405s| 2040k| 2029k| 0 | 0.0 | 612M|2276 | - |2820 | 525 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
419.00/419.08 c 407s| 2050k| 2039k| 0 | 0.0 | 615M|2276 | - |2820 | 522 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
421.20/421.26 c 409s| 2060k| 2049k| 0 | 0.0 | 618M|2276 | - |2820 | 530 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
423.40/423.43 c 412s| 2070k| 2059k| 0 | 0.0 | 621M|2276 | - |2820 | 512 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
425.50/425.58 c 414s| 2080k| 2069k| 0 | 0.0 | 623M|2276 | - |2820 | 541 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
427.70/427.76 c 416s| 2090k| 2079k| 0 | 0.0 | 626M|2276 | - |2820 | 529 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
430.00/430.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.00/430.01 c 418s| 2100k| 2089k| 0 | 0.0 | 629M|2276 | - |2820 | 559 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
432.20/432.20 c 420s| 2110k| 2099k| 0 | 0.0 | 632M|2276 | - |2820 | 566 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
434.30/434.39 c 422s| 2120k| 2109k| 0 | 0.0 | 634M|2276 | - |2820 | 552 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
436.50/436.54 c 424s| 2130k| 2119k| 0 | 0.0 | 637M|2276 | - |2820 | 526 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
438.60/438.67 c 426s| 2140k| 2128k| 0 | 0.0 | 640M|2276 | - |2820 | 528 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
440.90/440.93 c 429s| 2150k| 2138k| 0 | 0.0 | 643M|2276 | - |2820 | 569 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
443.10/443.11 c 431s| 2160k| 2148k| 0 | 0.0 | 645M|2276 | - |2820 | 521 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
445.20/445.25 c 433s| 2170k| 2158k| 0 | 0.0 | 648M|2276 | - |2820 | 525 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
447.40/447.41 c 435s| 2180k| 2168k| 0 | 0.0 | 651M|2276 | - |2820 | 527 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
449.50/449.60 c 437s| 2190k| 2178k| 0 | 0.0 | 654M|2276 | - |2820 | 501 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
451.70/451.77 c 439s| 2200k| 2188k| 0 | 0.0 | 656M|2276 | - |2820 | 557 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
453.90/453.95 c 441s| 2210k| 2198k| 0 | 0.0 | 659M|2276 | - |2820 | 522 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
456.10/456.12 c 443s| 2220k| 2208k| 0 | 0.0 | 662M|2276 | - |2820 | 550 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
458.30/458.31 c 446s| 2230k| 2218k| 0 | 0.0 | 665M|2276 | - |2820 | 550 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
460.50/460.53 c 448s| 2240k| 2228k| 0 | 0.0 | 667M|2276 | - |2820 | 549 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
462.60/462.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.60/462.68 c 450s| 2250k| 2238k| 0 | 0.0 | 670M|2276 | - |2820 | 559 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
464.80/464.84 c 452s| 2260k| 2248k| 0 | 0.0 | 673M|2276 | - |2820 | 548 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
467.00/467.06 c 454s| 2270k| 2258k| 0 | 0.0 | 676M|2276 | - |2820 | 563 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
469.20/469.29 c 456s| 2280k| 2268k| 0 | 0.0 | 678M|2276 | - |2820 | 549 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
471.60/471.69 c 459s| 2290k| 2278k| 0 | 0.0 | 681M|2276 | - |2820 | 532 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
474.00/474.07 c 461s| 2300k| 2288k| 0 | 0.0 | 684M|2276 | - |2820 | 563 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
476.41/476.44 c 463s| 2310k| 2298k| 0 | 0.0 | 686M|2276 | - |2820 | 535 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
478.80/478.84 c 466s| 2320k| 2308k| 0 | 0.0 | 689M|2276 | - |2820 | 533 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
481.29/481.30 c 468s| 2330k| 2318k| 0 | 0.0 | 692M|2276 | - |2820 | 524 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
483.60/483.69 c 470s| 2340k| 2328k| 0 | 0.0 | 695M|2276 | - |2820 | 544 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
485.99/486.02 c 473s| 2350k| 2338k| 0 | 0.0 | 697M|2276 | - |2820 | 546 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
488.40/488.43 c 475s| 2360k| 2348k| 0 | 0.0 | 700M|2276 | - |2820 | 539 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
490.80/490.83 c 477s| 2370k| 2358k| 0 | 0.0 | 703M|2276 | - |2820 | 544 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
493.19/493.26 c 480s| 2380k| 2368k| 0 | 0.0 | 706M|2276 | - |2820 | 552 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
495.59/495.63 c 482s| 2390k| 2378k| 0 | 0.0 | 708M|2276 | - |2820 | 521 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
497.99/498.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.99/498.01 c 484s| 2400k| 2388k| 0 | 0.0 | 711M|2276 | - |2820 | 520 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
500.29/500.39 c 487s| 2410k| 2398k| 0 | 0.0 | 714M|2276 | - |2820 | 527 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
502.80/502.84 c 489s| 2420k| 2408k| 0 | 0.0 | 717M|2276 | - |2820 | 540 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
505.20/505.21 c 491s| 2430k| 2418k| 0 | 0.0 | 719M|2276 | - |2820 | 556 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
507.60/507.62 c 494s| 2440k| 2428k| 0 | 0.0 | 722M|2276 | - |2820 | 538 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
510.00/510.05 c 496s| 2450k| 2438k| 0 | 0.0 | 725M|2276 | - |2820 | 556 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
512.39/512.45 c 498s| 2460k| 2448k| 0 | 0.0 | 728M|2276 | - |2820 | 521 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
514.80/514.87 c 501s| 2470k| 2457k| 0 | 0.0 | 730M|2276 | - |2820 | 532 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
517.19/517.22 c 503s| 2480k| 2467k| 0 | 0.0 | 733M|2276 | - |2820 | 538 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
519.60/519.62 c 505s| 2490k| 2477k| 0 | 0.0 | 736M|2276 | - |2820 | 498 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
522.00/522.03 c 508s| 2500k| 2487k| 0 | 0.0 | 738M|2276 | - |2820 | 504 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
524.29/524.37 c 510s| 2510k| 2497k| 0 | 0.0 | 741M|2276 | - |2820 | 490 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
526.69/526.74 c 512s| 2520k| 2507k| 0 | 0.0 | 744M|2276 | - |2820 | 505 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
529.21/529.22 c 515s| 2530k| 2517k| 0 | 0.0 | 747M|2276 | - |2820 | 510 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
531.59/531.62 c 517s| 2540k| 2527k| 0 | 0.0 | 749M|2276 | - |2820 | 528 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
534.00/534.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.00/534.03 c 519s| 2550k| 2537k| 0 | 0.0 | 752M|2276 | - |2820 | 516 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
536.10/536.14 c 521s| 2560k| 2547k| 0 | 0.0 | 755M|2276 | - |2820 | 489 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
538.30/538.36 c 524s| 2570k| 2557k| 0 | 0.0 | 758M|2276 | - |2820 | 514 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
540.49/540.57 c 526s| 2580k| 2567k| 0 | 0.0 | 760M|2276 | - |2820 | 510 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
542.70/542.73 c 528s| 2590k| 2577k| 0 | 0.0 | 763M|2276 | - |2820 | 495 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
544.89/544.94 c 530s| 2600k| 2587k| 0 | 0.0 | 766M|2276 | - |2820 | 537 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
547.10/547.10 c 532s| 2610k| 2597k| 0 | 0.0 | 769M|2276 | - |2820 | 520 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
549.20/549.26 c 534s| 2620k| 2607k| 0 | 0.0 | 771M|2276 | - |2820 | 528 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
551.40/551.41 c 536s| 2630k| 2617k| 0 | 0.0 | 774M|2276 | - |2820 | 544 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
553.60/553.64 c 538s| 2640k| 2627k| 0 | 0.0 | 777M|2276 | - |2820 | 569 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
555.80/555.82 c 541s| 2650k| 2637k| 0 | 0.0 | 780M|2276 | - |2820 | 586 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
558.00/558.00 c 543s| 2660k| 2647k| 0 | 0.0 | 782M|2276 | - |2820 | 575 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
560.20/560.20 c 545s| 2670k| 2657k| 0 | 0.0 | 785M|2276 | - |2820 | 585 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
562.40/562.40 c 547s| 2680k| 2667k| 0 | 0.0 | 788M|2276 | - |2820 | 536 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
564.50/564.59 c 549s| 2690k| 2677k| 0 | 0.0 | 791M|2276 | - |2820 | 540 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
566.70/566.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.70/566.74 c 551s| 2700k| 2687k| 0 | 0.0 | 793M|2276 | - |2820 | 542 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
568.90/568.94 c 553s| 2710k| 2697k| 0 | 0.0 | 796M|2276 | - |2820 | 561 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
571.10/571.15 c 556s| 2720k| 2707k| 0 | 0.0 | 799M|2276 | - |2820 | 558 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
573.30/573.36 c 558s| 2730k| 2717k| 0 | 0.0 | 802M|2276 | - |2820 | 569 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
575.60/575.61 c 560s| 2740k| 2727k| 0 | 0.0 | 804M|2276 | - |2820 | 565 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
577.80/577.82 c 562s| 2750k| 2737k| 0 | 0.0 | 807M|2276 | - |2820 | 538 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
580.00/580.01 c 564s| 2760k| 2747k| 0 | 0.0 | 810M|2276 | - |2820 | 553 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
582.10/582.15 c 566s| 2770k| 2757k| 0 | 0.0 | 812M|2276 | - |2820 | 596 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
584.30/584.38 c 568s| 2780k| 2767k| 0 | 0.0 | 815M|2276 | - |2820 | 563 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
586.50/586.57 c 571s| 2790k| 2777k| 0 | 0.0 | 818M|2276 | - |2820 | 590 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
588.60/588.69 c 573s| 2800k| 2787k| 0 | 0.0 | 821M|2276 | - |2820 | 570 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
590.81/590.89 c 575s| 2810k| 2796k| 0 | 0.0 | 823M|2276 | - |2820 | 580 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
593.00/593.08 c 577s| 2820k| 2806k| 0 | 0.0 | 826M|2276 | - |2820 | 578 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
595.20/595.25 c 579s| 2830k| 2816k| 0 | 0.0 | 829M|2276 | - |2820 | 598 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
597.41/597.46 c 581s| 2840k| 2826k| 0 | 0.0 | 832M|2276 | - |2820 | 579 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
599.61/599.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.61/599.66 c 583s| 2850k| 2836k| 0 | 0.0 | 834M|2276 | - |2820 | 601 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
601.80/601.84 c 586s| 2860k| 2846k| 0 | 0.0 | 837M|2276 | - |2820 | 569 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
604.00/604.01 c 588s| 2870k| 2856k| 0 | 0.0 | 840M|2276 | - |2820 | 587 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
606.10/606.20 c 590s| 2880k| 2866k| 0 | 0.0 | 843M|2276 | - |2820 | 594 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
608.30/608.36 c 592s| 2890k| 2876k| 0 | 0.0 | 845M|2276 | - |2820 | 581 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
610.39/610.48 c 594s| 2900k| 2886k| 0 | 0.0 | 848M|2276 | - |2820 | 573 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
612.71/612.74 c 596s| 2910k| 2896k| 0 | 0.0 | 851M|2276 | - |2820 | 587 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
614.91/614.94 c 598s| 2920k| 2906k| 0 | 0.0 | 853M|2276 | - |2820 | 571 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
617.10/617.13 c 600s| 2930k| 2916k| 0 | 0.0 | 856M|2276 | - |2820 | 585 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
619.19/619.25 c 603s| 2940k| 2926k| 0 | 0.0 | 859M|2276 | - |2820 | 575 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
621.40/621.40 c 605s| 2950k| 2936k| 0 | 0.0 | 862M|2276 | - |2820 | 569 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
623.59/623.60 c 607s| 2960k| 2946k| 0 | 0.0 | 864M|2276 | - |2820 | 585 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
625.80/625.80 c 609s| 2970k| 2956k| 0 | 0.0 | 867M|2276 | - |2820 | 582 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
628.00/628.01 c 611s| 2980k| 2966k| 0 | 0.0 | 870M|2276 | - |2820 | 592 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
630.10/630.15 c 613s| 2990k| 2976k| 0 | 0.0 | 873M|2276 | - |2820 | 570 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
632.30/632.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.30/632.39 c 615s| 3000k| 2986k| 0 | 0.0 | 875M|2276 | - |2820 | 568 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
634.50/634.59 c 618s| 3010k| 2996k| 0 | 0.0 | 878M|2276 | - |2820 | 582 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
636.70/636.77 c 620s| 3020k| 3006k| 0 | 0.0 | 881M|2276 | - |2820 | 578 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
638.80/638.88 c 622s| 3030k| 3016k| 0 | 0.0 | 884M|2276 | - |2820 | 549 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
641.00/641.02 c 624s| 3040k| 3026k| 0 | 0.0 | 886M|2276 | - |2820 | 542 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
643.20/643.27 c 626s| 3050k| 3036k| 0 | 0.0 | 889M|2276 | - |2820 | 588 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
645.40/645.42 c 628s| 3060k| 3046k| 0 | 0.0 | 892M|2276 | - |2820 | 545 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
647.50/647.57 c 630s| 3070k| 3056k| 0 | 0.0 | 895M|2276 | - |2820 | 567 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
649.69/649.73 c 632s| 3080k| 3066k| 0 | 0.0 | 897M|2276 | - |2820 | 543 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
651.90/651.90 c 634s| 3090k| 3076k| 0 | 0.0 | 900M|2276 | - |2820 | 555 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
654.00/654.08 c 636s| 3100k| 3086k| 0 | 0.0 | 903M|2276 | - |2820 | 542 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
656.20/656.26 c 639s| 3110k| 3096k| 0 | 0.0 | 905M|2276 | - |2820 | 519 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
658.40/658.43 c 641s| 3120k| 3106k| 0 | 0.0 | 908M|2276 | - |2820 | 526 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
660.60/660.65 c 643s| 3130k| 3116k| 0 | 0.0 | 911M|2276 | - |2820 | 515 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
662.80/662.83 c 645s| 3140k| 3126k| 0 | 0.0 | 914M|2276 | - |2820 | 514 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
664.90/664.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.90/664.98 c 647s| 3150k| 3136k| 0 | 0.0 | 916M|2276 | - |2820 | 502 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
667.10/667.11 c 649s| 3160k| 3145k| 0 | 0.0 | 919M|2276 | - |2820 | 510 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
669.20/669.24 c 651s| 3170k| 3155k| 0 | 0.0 | 922M|2276 | - |2820 | 513 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
671.40/671.45 c 653s| 3180k| 3165k| 0 | 0.0 | 925M|2276 | - |2820 | 541 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
673.60/673.64 c 656s| 3190k| 3175k| 0 | 0.0 | 927M|2276 | - |2820 | 539 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
675.80/675.80 c 658s| 3200k| 3185k| 0 | 0.0 | 930M|2276 | - |2820 | 520 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
677.90/677.97 c 660s| 3210k| 3195k| 0 | 0.0 | 933M|2276 | - |2820 | 537 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
680.10/680.10 c 662s| 3220k| 3205k| 0 | 0.0 | 936M|2276 | - |2820 | 509 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
682.20/682.23 c 664s| 3230k| 3215k| 0 | 0.0 | 938M|2276 | - |2820 | 503 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
684.40/684.40 c 666s| 3240k| 3225k| 0 | 0.0 | 941M|2276 | - |2820 | 520 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
686.51/686.54 c 668s| 3250k| 3235k| 0 | 0.0 | 944M|2276 | - |2820 | 500 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
688.71/688.77 c 670s| 3260k| 3245k| 0 | 0.0 | 947M|2276 | - |2820 | 522 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
690.91/690.94 c 672s| 3270k| 3255k| 0 | 0.0 | 949M|2276 | - |2820 | 516 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
693.00/693.10 c 674s| 3280k| 3265k| 0 | 0.0 | 952M|2276 | - |2820 | 524 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
695.21/695.29 c 677s| 3290k| 3275k| 0 | 0.0 | 955M|2276 | - |2820 | 528 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
697.51/697.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.51/697.52 c 679s| 3300k| 3285k| 0 | 0.0 | 958M|2276 | - |2820 | 517 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
699.60/699.68 c 681s| 3310k| 3295k| 0 | 0.0 | 960M|2276 | - |2820 | 556 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
701.81/701.83 c 683s| 3320k| 3305k| 0 | 0.0 | 963M|2276 | - |2820 | 507 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
704.01/704.01 c 685s| 3330k| 3315k| 0 | 0.0 | 966M|2276 | - |2820 | 538 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
706.21/706.21 c 687s| 3340k| 3325k| 0 | 0.0 | 969M|2276 | - |2820 | 542 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
708.30/708.37 c 689s| 3350k| 3335k| 0 | 0.0 | 971M|2276 | - |2820 | 551 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
710.50/710.54 c 691s| 3360k| 3345k| 0 | 0.0 | 974M|2276 | - |2820 | 564 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
712.60/712.70 c 694s| 3370k| 3355k| 0 | 0.0 | 977M|2276 | - |2820 | 553 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
714.80/714.87 c 696s| 3380k| 3365k| 0 | 0.0 | 980M|2276 | - |2820 | 589 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
717.10/717.10 c 698s| 3390k| 3375k| 0 | 0.0 | 982M|2276 | - |2820 | 549 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
719.20/719.25 c 700s| 3400k| 3385k| 0 | 0.0 | 985M|2276 | - |2820 | 570 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
721.40/721.44 c 702s| 3410k| 3395k| 0 | 0.0 | 988M|2276 | - |2820 | 546 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
723.50/723.56 c 704s| 3420k| 3405k| 0 | 0.0 | 991M|2276 | - |2820 | 597 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
725.70/725.75 c 706s| 3430k| 3415k| 0 | 0.0 | 993M|2276 | - |2820 | 605 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
727.90/727.98 c 709s| 3440k| 3425k| 0 | 0.0 | 996M|2276 | - |2820 | 582 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
730.10/730.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.10/730.17 c 711s| 3450k| 3435k| 0 | 0.0 | 999M|2276 | - |2820 | 604 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
732.30/732.34 c 713s| 3460k| 3445k| 0 | 0.0 |1002M|2276 | - |2820 | 578 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
734.50/734.56 c 715s| 3470k| 3455k| 0 | 0.0 |1004M|2276 | - |2820 | 617 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
736.70/736.77 c 717s| 3480k| 3465k| 0 | 0.0 |1007M|2276 | - |2820 | 601 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
738.90/738.94 c 719s| 3490k| 3474k| 0 | 0.0 |1010M|2276 | - |2820 | 611 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
741.10/741.11 c 721s| 3500k| 3484k| 0 | 0.0 |1012M|2276 | - |2820 | 582 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
743.30/743.31 c 723s| 3510k| 3494k| 0 | 0.0 |1015M|2276 | - |2820 | 576 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
745.50/745.53 c 726s| 3520k| 3504k| 0 | 0.0 |1018M|2276 | - |2820 | 583 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
747.70/747.71 c 728s| 3530k| 3514k| 0 | 0.0 |1021M|2276 | - |2820 | 632 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
749.90/749.93 c 730s| 3540k| 3524k| 0 | 0.0 |1023M|2276 | - |2820 | 603 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
752.00/752.07 c 732s| 3550k| 3534k| 0 | 0.0 |1026M|2276 | - |2820 | 593 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
754.10/754.19 c 734s| 3560k| 3544k| 0 | 0.0 |1029M|2276 | - |2820 | 605 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
756.30/756.37 c 736s| 3570k| 3554k| 0 | 0.0 |1032M|2276 | - |2820 | 616 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
758.41/758.48 c 738s| 3580k| 3564k| 0 | 0.0 |1034M|2276 | - |2820 | 626 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
760.60/760.67 c 740s| 3590k| 3574k| 0 | 0.0 |1037M|2276 | - |2820 | 634 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
762.80/762.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.80/762.84 c 743s| 3600k| 3584k| 0 | 0.0 |1040M|2276 | - |2820 | 640 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
765.00/765.02 c 745s| 3610k| 3594k| 0 | 0.0 |1043M|2276 | - |2820 | 611 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
767.21/767.23 c 747s| 3620k| 3604k| 0 | 0.0 |1045M|2276 | - |2820 | 615 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
769.30/769.37 c 749s| 3630k| 3614k| 0 | 0.0 |1048M|2276 | - |2820 | 631 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
771.50/771.60 c 751s| 3640k| 3624k| 0 | 0.0 |1051M|2276 | - |2820 | 606 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
773.70/773.75 c 753s| 3650k| 3634k| 0 | 0.0 |1054M|2276 | - |2820 | 594 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
775.80/775.89 c 755s| 3660k| 3644k| 0 | 0.0 |1056M|2276 | - |2820 | 602 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
778.00/778.04 c 757s| 3670k| 3654k| 0 | 0.0 |1059M|2276 | - |2820 | 624 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
780.10/780.19 c 759s| 3680k| 3664k| 0 | 0.0 |1062M|2276 | - |2820 | 597 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
782.40/782.44 c 762s| 3690k| 3674k| 0 | 0.0 |1065M|2276 | - |2820 | 626 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
784.70/784.73 c 764s| 3700k| 3684k| 0 | 0.0 |1067M|2276 | - |2820 | 611 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
786.91/786.91 c 766s| 3710k| 3694k| 0 | 0.0 |1070M|2276 | - |2820 | 583 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
789.00/789.06 c 768s| 3720k| 3704k| 0 | 0.0 |1073M|2276 | - |2820 | 618 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
791.20/791.24 c 770s| 3730k| 3714k| 0 | 0.0 |1076M|2276 | - |2820 | 617 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
793.40/793.44 c 772s| 3740k| 3724k| 0 | 0.0 |1078M|2276 | - |2820 | 611 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
795.61/795.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.61/795.60 c 774s| 3750k| 3734k| 0 | 0.0 |1081M|2276 | - |2820 | 607 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
797.70/797.74 c 777s| 3760k| 3744k| 0 | 0.0 |1084M|2276 | - |2820 | 601 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
799.80/799.89 c 779s| 3770k| 3754k| 0 | 0.0 |1087M|2276 | - |2820 | 619 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
802.00/802.06 c 781s| 3780k| 3764k| 0 | 0.0 |1089M|2276 | - |2820 | 599 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
804.11/804.20 c 783s| 3790k| 3774k| 0 | 0.0 |1092M|2276 | - |2820 | 615 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
806.31/806.32 c 785s| 3800k| 3784k| 0 | 0.0 |1095M|2276 | - |2820 | 593 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
808.51/808.57 c 787s| 3810k| 3794k| 0 | 0.0 |1097M|2276 | - |2820 | 607 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
810.70/810.75 c 789s| 3820k| 3804k| 0 | 0.0 |1100M|2276 | - |2820 | 592 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
812.81/812.90 c 791s| 3830k| 3813k| 0 | 0.0 |1103M|2276 | - |2820 | 650 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
815.01/815.01 c 793s| 3840k| 3823k| 0 | 0.0 |1106M|2276 | - |2820 | 599 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
817.21/817.22 c 796s| 3850k| 3833k| 0 | 0.0 |1108M|2276 | - |2820 | 605 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
819.31/819.39 c 798s| 3860k| 3843k| 0 | 0.0 |1111M|2276 | - |2820 | 618 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
821.50/821.55 c 800s| 3870k| 3853k| 0 | 0.0 |1114M|2276 | - |2820 | 607 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
823.60/823.68 c 802s| 3880k| 3863k| 0 | 0.0 |1117M|2276 | - |2820 | 620 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
825.80/825.87 c 804s| 3890k| 3873k| 0 | 0.0 |1119M|2276 | - |2820 | 617 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
828.10/828.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.10/828.13 c 806s| 3900k| 3883k| 0 | 0.0 |1122M|2276 | - |2820 | 605 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
830.30/830.35 c 808s| 3910k| 3893k| 0 | 0.0 |1125M|2276 | - |2820 | 653 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
832.50/832.51 c 810s| 3920k| 3903k| 0 | 0.0 |1128M|2276 | - |2820 | 621 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
834.60/834.64 c 813s| 3930k| 3913k| 0 | 0.0 |1130M|2276 | - |2820 | 630 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
836.81/836.88 c 815s| 3940k| 3923k| 0 | 0.0 |1133M|2276 | - |2820 | 633 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
839.00/839.06 c 817s| 3950k| 3933k| 0 | 0.0 |1136M|2276 | - |2820 | 652 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
841.20/841.23 c 819s| 3960k| 3943k| 0 | 0.0 |1139M|2276 | - |2820 | 601 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
843.30/843.38 c 821s| 3970k| 3953k| 0 | 0.0 |1141M|2276 | - |2820 | 603 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
845.60/845.61 c 823s| 3980k| 3963k| 0 | 0.0 |1144M|2276 | - |2820 | 595 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
847.80/847.82 c 825s| 3990k| 3973k| 0 | 0.0 |1147M|2276 | - |2820 | 592 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
849.91/849.97 c 828s| 4000k| 3983k| 0 | 0.0 |1150M|2276 | - |2820 | 593 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
852.11/852.12 c 830s| 4010k| 3993k| 0 | 0.0 |1152M|2276 | - |2820 | 607 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
854.20/854.24 c 832s| 4020k| 4003k| 0 | 0.0 |1155M|2276 | - |2820 | 588 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
856.40/856.47 c 834s| 4030k| 4013k| 0 | 0.0 |1158M|2276 | - |2820 | 619 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
858.60/858.63 c 836s| 4040k| 4023k| 0 | 0.0 |1161M|2276 | - |2820 | 581 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
860.70/860.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.70/860.79 c 838s| 4050k| 4033k| 0 | 0.0 |1163M|2276 | - |2820 | 576 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
862.90/862.95 c 840s| 4060k| 4043k| 0 | 0.0 |1166M|2276 | - |2820 | 594 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
865.11/865.16 c 842s| 4070k| 4053k| 0 | 0.0 |1169M|2276 | - |2820 | 578 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
867.30/867.31 c 844s| 4080k| 4063k| 0 | 0.0 |1172M|2276 | - |2820 | 573 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
869.40/869.48 c 847s| 4090k| 4073k| 0 | 0.0 |1174M|2276 | - |2820 | 584 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
871.70/871.71 c 849s| 4100k| 4083k| 0 | 0.0 |1177M|2276 | - |2820 | 534 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
873.80/873.89 c 851s| 4110k| 4093k| 0 | 0.0 |1180M|2276 | - |2820 | 547 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
876.01/876.03 c 853s| 4120k| 4103k| 0 | 0.0 |1182M|2276 | - |2820 | 550 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
878.20/878.20 c 855s| 4130k| 4113k| 0 | 0.0 |1185M|2276 | - |2820 | 552 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
880.40/880.45 c 857s| 4140k| 4123k| 0 | 0.0 |1188M|2276 | - |2820 | 550 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
882.60/882.66 c 859s| 4150k| 4133k| 0 | 0.0 |1191M|2276 | - |2820 | 559 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
884.71/884.77 c 861s| 4160k| 4143k| 0 | 0.0 |1193M|2276 | - |2820 | 541 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
887.01/887.01 c 864s| 4170k| 4152k| 0 | 0.0 |1196M|2276 | - |2820 | 587 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
889.21/889.20 c 866s| 4180k| 4162k| 0 | 0.0 |1199M|2276 | - |2820 | 559 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
891.31/891.32 c 868s| 4190k| 4172k| 0 | 0.0 |1202M|2276 | - |2820 | 553 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
893.51/893.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.51/893.53 c 870s| 4200k| 4182k| 0 | 0.0 |1205M|2276 | - |2820 | 595 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
895.80/895.81 c 872s| 4210k| 4192k| 0 | 0.0 |1207M|2276 | - |2820 | 563 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
898.01/898.07 c 874s| 4220k| 4202k| 0 | 0.0 |1210M|2276 | - |2820 | 541 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
900.10/900.19 c 876s| 4230k| 4212k| 0 | 0.0 |1213M|2276 | - |2820 | 559 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
902.41/902.42 c 879s| 4240k| 4222k| 0 | 0.0 |1215M|2276 | - |2820 | 557 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
904.50/904.55 c 881s| 4250k| 4232k| 0 | 0.0 |1218M|2276 | - |2820 | 554 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
906.70/906.76 c 883s| 4260k| 4242k| 0 | 0.0 |1221M|2276 | - |2820 | 609 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
908.81/908.88 c 885s| 4270k| 4252k| 0 | 0.0 |1224M|2276 | - |2820 | 571 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
911.01/911.06 c 887s| 4280k| 4262k| 0 | 0.0 |1227M|2276 | - |2820 | 564 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
913.20/913.28 c 889s| 4290k| 4272k| 0 | 0.0 |1229M|2276 | - |2820 | 572 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
915.31/915.39 c 891s| 4300k| 4282k| 0 | 0.0 |1232M|2276 | - |2820 | 561 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
917.61/917.60 c 893s| 4310k| 4292k| 0 | 0.0 |1235M|2276 | - |2820 | 562 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
919.71/919.78 c 896s| 4320k| 4302k| 0 | 0.0 |1238M|2276 | - |2820 | 576 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
921.91/921.97 c 898s| 4330k| 4312k| 0 | 0.0 |1240M|2276 | - |2820 | 584 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
924.11/924.20 c 900s| 4340k| 4322k| 0 | 0.0 |1243M|2276 | - |2820 | 579 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
926.41/926.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.41/926.40 c 902s| 4350k| 4332k| 0 | 0.0 |1246M|2276 | - |2820 | 598 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
928.51/928.59 c 904s| 4360k| 4342k| 0 | 0.0 |1249M|2276 | - |2820 | 586 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
930.81/930.80 c 906s| 4370k| 4352k| 0 | 0.0 |1251M|2276 | - |2820 | 560 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
933.00/933.02 c 908s| 4380k| 4362k| 0 | 0.0 |1254M|2276 | - |2820 | 569 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
935.12/935.15 c 911s| 4390k| 4372k| 0 | 0.0 |1257M|2276 | - |2820 | 594 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
937.31/937.37 c 913s| 4400k| 4382k| 0 | 0.0 |1259M|2276 | - |2820 | 579 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
939.41/939.50 c 915s| 4410k| 4392k| 0 | 0.0 |1262M|2276 | - |2820 | 586 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
941.62/941.69 c 917s| 4420k| 4402k| 0 | 0.0 |1265M|2276 | - |2820 | 617 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
943.71/943.79 c 919s| 4430k| 4412k| 0 | 0.0 |1268M|2276 | - |2820 | 577 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
946.01/946.01 c 921s| 4440k| 4422k| 0 | 0.0 |1271M|2276 | - |2820 | 564 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
948.11/948.13 c 923s| 4450k| 4432k| 0 | 0.0 |1273M|2276 | - |2820 | 562 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
950.20/950.27 c 925s| 4460k| 4442k| 0 | 0.0 |1276M|2276 | - |2820 | 560 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
952.41/952.46 c 927s| 4470k| 4452k| 0 | 0.0 |1279M|2276 | - |2820 | 561 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
954.71/954.71 c 930s| 4480k| 4462k| 0 | 0.0 |1282M|2276 | - |2820 | 591 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
956.91/956.91 c 932s| 4490k| 4472k| 0 | 0.0 |1284M|2276 | - |2820 | 548 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
959.01/959.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.01/959.00 c 934s| 4500k| 4482k| 0 | 0.0 |1287M|2276 | - |2820 | 540 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
961.21/961.22 c 936s| 4510k| 4492k| 0 | 0.0 |1290M|2276 | - |2820 | 539 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
963.31/963.36 c 938s| 4520k| 4502k| 0 | 0.0 |1293M|2276 | - |2820 | 520 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
965.41/965.48 c 940s| 4530k| 4511k| 0 | 0.0 |1295M|2276 | - |2820 | 541 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
967.61/967.68 c 942s| 4540k| 4521k| 0 | 0.0 |1298M|2276 | - |2820 | 538 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
969.81/969.84 c 944s| 4550k| 4531k| 0 | 0.0 |1301M|2276 | - |2820 | 523 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
971.91/971.99 c 946s| 4560k| 4541k| 0 | 0.0 |1304M|2276 | - |2820 | 540 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
974.11/974.17 c 949s| 4570k| 4551k| 0 | 0.0 |1306M|2276 | - |2820 | 533 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
976.31/976.30 c 951s| 4580k| 4561k| 0 | 0.0 |1309M|2276 | - |2820 | 538 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
978.41/978.46 c 953s| 4590k| 4571k| 0 | 0.0 |1312M|2276 | - |2820 | 555 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
980.61/980.63 c 955s| 4600k| 4581k| 0 | 0.0 |1315M|2276 | - |2820 | 543 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
982.71/982.73 c 957s| 4610k| 4591k| 0 | 0.0 |1317M|2276 | - |2820 | 536 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
984.91/984.93 c 959s| 4620k| 4601k| 0 | 0.0 |1320M|2276 | - |2820 | 578 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
987.01/987.07 c 961s| 4630k| 4611k| 0 | 0.0 |1323M|2276 | - |2820 | 528 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
989.31/989.32 c 963s| 4640k| 4621k| 0 | 0.0 |1326M|2276 | - |2820 | 590 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
991.50/991.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.50/991.50 c 965s| 4650k| 4631k| 0 | 0.0 |1328M|2276 | - |2820 | 549 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
993.61/993.64 c 968s| 4660k| 4641k| 0 | 0.0 |1331M|2276 | - |2820 | 516 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
995.80/995.81 c 970s| 4670k| 4651k| 0 | 0.0 |1334M|2276 | - |2820 | 530 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
998.01/998.02 c 972s| 4680k| 4661k| 0 | 0.0 |1337M|2276 | - |2820 | 513 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1000.11/1000.15 c 974s| 4690k| 4671k| 0 | 0.0 |1339M|2276 | - |2820 | 507 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1002.21/1002.28 c 976s| 4700k| 4681k| 0 | 0.0 |1342M|2276 | - |2820 | 558 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1004.41/1004.44 c 978s| 4710k| 4691k| 0 | 0.0 |1345M|2276 | - |2820 | 549 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1006.51/1006.57 c 980s| 4720k| 4701k| 0 | 0.0 |1348M|2276 | - |2820 | 536 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1008.60/1008.70 c 982s| 4730k| 4711k| 0 | 0.0 |1350M|2276 | - |2820 | 551 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1010.91/1010.93 c 984s| 4740k| 4721k| 0 | 0.0 |1353M|2276 | - |2820 | 619 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1013.01/1013.10 c 987s| 4750k| 4731k| 0 | 0.0 |1356M|2276 | - |2820 | 558 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1015.20/1015.22 c 989s| 4760k| 4741k| 0 | 0.0 |1359M|2276 | - |2820 | 529 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1017.30/1017.38 c 991s| 4770k| 4751k| 0 | 0.0 |1361M|2276 | - |2820 | 550 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1019.51/1019.55 c 993s| 4780k| 4761k| 0 | 0.0 |1364M|2276 | - |2820 | 540 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1021.61/1021.69 c 995s| 4790k| 4771k| 0 | 0.0 |1367M|2276 | - |2820 | 558 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1023.81/1023.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.81/1023.84 c 997s| 4800k| 4781k| 0 | 0.0 |1370M|2276 | - |2820 | 573 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1026.01/1026.06 c 999s| 4810k| 4791k| 0 | 0.0 |1372M|2276 | - |2820 | 574 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1028.21/1028.24 c 1001s| 4820k| 4801k| 0 | 0.0 |1375M|2276 | - |2820 | 569 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1030.41/1030.43 c 1003s| 4830k| 4811k| 0 | 0.0 |1378M|2276 | - |2820 | 555 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1032.51/1032.59 c 1005s| 4840k| 4821k| 0 | 0.0 |1381M|2276 | - |2820 | 581 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1034.80/1034.81 c 1008s| 4850k| 4831k| 0 | 0.0 |1383M|2276 | - |2820 | 553 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1036.91/1036.98 c 1010s| 4860k| 4841k| 0 | 0.0 |1386M|2276 | - |2820 | 571 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1039.11/1039.14 c 1012s| 4870k| 4851k| 0 | 0.0 |1389M|2276 | - |2820 | 541 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1041.21/1041.29 c 1014s| 4880k| 4860k| 0 | 0.0 |1391M|2276 | - |2820 | 551 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1043.41/1043.46 c 1016s| 4890k| 4870k| 0 | 0.0 |1394M|2276 | - |2820 | 554 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1045.60/1045.66 c 1018s| 4900k| 4880k| 0 | 0.0 |1397M|2276 | - |2820 | 566 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1047.81/1047.82 c 1020s| 4910k| 4890k| 0 | 0.0 |1400M|2276 | - |2820 | 551 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1049.91/1049.93 c 1022s| 4920k| 4900k| 0 | 0.0 |1402M|2276 | - |2820 | 542 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1052.01/1052.07 c 1024s| 4930k| 4910k| 0 | 0.0 |1405M|2276 | - |2820 | 586 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1054.21/1054.22 c 1027s| 4940k| 4920k| 0 | 0.0 |1408M|2276 | - |2820 | 569 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1056.31/1056.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.31/1056.39 c 1029s| 4950k| 4930k| 0 | 0.0 |1411M|2276 | - |2820 | 569 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1058.51/1058.54 c 1031s| 4960k| 4940k| 0 | 0.0 |1413M|2276 | - |2820 | 559 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1060.71/1060.77 c 1033s| 4970k| 4950k| 0 | 0.0 |1416M|2276 | - |2820 | 572 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1062.91/1062.95 c 1035s| 4980k| 4960k| 0 | 0.0 |1419M|2276 | - |2820 | 545 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1065.11/1065.10 c 1037s| 4990k| 4970k| 0 | 0.0 |1422M|2276 | - |2820 | 528 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1067.21/1067.24 c 1039s| 5000k| 4980k| 0 | 0.0 |1424M|2276 | - |2820 | 537 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1069.41/1069.41 c 1041s| 5010k| 4990k| 0 | 0.0 |1427M|2276 | - |2820 | 533 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1071.61/1071.60 c 1044s| 5020k| 5000k| 0 | 0.0 |1430M|2276 | - |2820 | 545 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1073.72/1073.78 c 1046s| 5030k| 5010k| 0 | 0.0 |1432M|2276 | - |2820 | 527 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1075.92/1075.97 c 1048s| 5040k| 5020k| 0 | 0.0 |1435M|2276 | - |2820 | 563 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1078.12/1078.15 c 1050s| 5050k| 5030k| 0 | 0.0 |1438M|2276 | - |2820 | 545 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1080.31/1080.37 c 1052s| 5060k| 5040k| 0 | 0.0 |1441M|2276 | - |2820 | 584 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1082.51/1082.57 c 1054s| 5070k| 5050k| 0 | 0.0 |1443M|2276 | - |2820 | 561 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1084.61/1084.70 c 1056s| 5080k| 5060k| 0 | 0.0 |1446M|2276 | - |2820 | 565 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1086.81/1086.86 c 1058s| 5090k| 5070k| 0 | 0.0 |1449M|2276 | - |2820 | 577 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1089.01/1089.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.01/1089.07 c 1061s| 5100k| 5080k| 0 | 0.0 |1452M|2276 | - |2820 | 583 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1091.31/1091.30 c 1063s| 5110k| 5090k| 0 | 0.0 |1454M|2276 | - |2820 | 580 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1093.51/1093.51 c 1065s| 5120k| 5100k| 0 | 0.0 |1457M|2276 | - |2820 | 553 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1095.72/1095.71 c 1067s| 5130k| 5110k| 0 | 0.0 |1460M|2276 | - |2820 | 543 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1097.92/1097.94 c 1069s| 5140k| 5120k| 0 | 0.0 |1463M|2276 | - |2820 | 574 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1100.01/1100.08 c 1071s| 5150k| 5130k| 0 | 0.0 |1465M|2276 | - |2820 | 556 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1102.22/1102.28 c 1073s| 5160k| 5140k| 0 | 0.0 |1468M|2276 | - |2820 | 570 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1104.41/1104.48 c 1076s| 5170k| 5150k| 0 | 0.0 |1471M|2276 | - |2820 | 582 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1106.62/1106.68 c 1078s| 5180k| 5160k| 0 | 0.0 |1474M|2276 | - |2820 | 580 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1108.92/1108.91 c 1080s| 5190k| 5170k| 0 | 0.0 |1476M|2276 | - |2820 | 643 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1111.01/1111.04 c 1082s| 5200k| 5180k| 0 | 0.0 |1479M|2276 | - |2820 | 558 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1113.22/1113.28 c 1084s| 5210k| 5190k| 0 | 0.0 |1482M|2276 | - |2820 | 585 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1115.41/1115.47 c 1086s| 5220k| 5200k| 0 | 0.0 |1485M|2276 | - |2820 | 568 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1117.61/1117.64 c 1088s| 5230k| 5209k| 0 | 0.0 |1487M|2276 | - |2820 | 610 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1119.82/1119.88 c 1091s| 5240k| 5219k| 0 | 0.0 |1490M|2276 | - |2820 | 634 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1122.01/1122.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1122.01/1122.07 c 1093s| 5250k| 5229k| 0 | 0.0 |1493M|2276 | - |2820 | 579 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1124.32/1124.32 c 1095s| 5260k| 5239k| 0 | 0.0 |1496M|2276 | - |2820 | 619 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1126.52/1126.54 c 1097s| 5270k| 5249k| 0 | 0.0 |1498M|2276 | - |2820 | 608 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1128.71/1128.74 c 1099s| 5280k| 5259k| 0 | 0.0 |1501M|2276 | - |2820 | 624 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1130.92/1130.95 c 1101s| 5290k| 5269k| 0 | 0.0 |1504M|2276 | - |2820 | 637 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1133.01/1133.07 c 1103s| 5300k| 5279k| 0 | 0.0 |1506M|2276 | - |2820 | 617 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1135.22/1135.26 c 1106s| 5310k| 5289k| 0 | 0.0 |1509M|2276 | - |2820 | 645 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1137.42/1137.43 c 1108s| 5320k| 5299k| 0 | 0.0 |1512M|2276 | - |2820 | 616 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1139.71/1139.74 c 1110s| 5330k| 5309k| 0 | 0.0 |1515M|2276 | - |2820 | 633 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1141.81/1141.89 c 1112s| 5340k| 5319k| 0 | 0.0 |1517M|2276 | - |2820 | 620 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1144.02/1144.06 c 1114s| 5350k| 5329k| 0 | 0.0 |1520M|2276 | - |2820 | 636 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1146.22/1146.28 c 1116s| 5360k| 5339k| 0 | 0.0 |1523M|2276 | - |2820 | 631 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1148.41/1148.48 c 1118s| 5370k| 5349k| 0 | 0.0 |1526M|2276 | - |2820 | 616 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1150.62/1150.66 c 1121s| 5380k| 5359k| 0 | 0.0 |1528M|2276 | - |2820 | 612 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1152.81/1152.84 c 1123s| 5390k| 5369k| 0 | 0.0 |1531M|2276 | - |2820 | 615 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1155.02/1155.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.02/1155.02 c 1125s| 5400k| 5379k| 0 | 0.0 |1534M|2276 | - |2820 | 605 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1157.22/1157.20 c 1127s| 5410k| 5389k| 0 | 0.0 |1537M|2276 | - |2820 | 624 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1159.31/1159.39 c 1129s| 5420k| 5399k| 0 | 0.0 |1539M|2276 | - |2820 | 638 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1161.62/1161.60 c 1131s| 5430k| 5409k| 0 | 0.0 |1542M|2276 | - |2820 | 623 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1163.71/1163.77 c 1133s| 5440k| 5419k| 0 | 0.0 |1545M|2276 | - |2820 | 617 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1166.02/1166.01 c 1136s| 5450k| 5429k| 0 | 0.0 |1548M|2276 | - |2820 | 621 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1168.22/1168.21 c 1138s| 5460k| 5439k| 0 | 0.0 |1550M|2276 | - |2820 | 611 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1170.42/1170.43 c 1140s| 5470k| 5449k| 0 | 0.0 |1553M|2276 | - |2820 | 610 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1172.51/1172.58 c 1142s| 5480k| 5459k| 0 | 0.0 |1556M|2276 | - |2820 | 600 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1174.71/1174.70 c 1144s| 5490k| 5469k| 0 | 0.0 |1559M|2276 | - |2820 | 592 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1176.81/1176.89 c 1146s| 5500k| 5479k| 0 | 0.0 |1561M|2276 | - |2820 | 607 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1179.01/1179.05 c 1148s| 5510k| 5489k| 0 | 0.0 |1564M|2276 | - |2820 | 592 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1181.22/1181.23 c 1150s| 5520k| 5499k| 0 | 0.0 |1567M|2276 | - |2820 | 623 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1183.31/1183.35 c 1152s| 5530k| 5509k| 0 | 0.0 |1569M|2276 | - |2820 | 587 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1185.51/1185.55 c 1155s| 5540k| 5519k| 0 | 0.0 |1572M|2276 | - |2820 | 596 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1187.61/1187.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.61/1187.68 c 1157s| 5550k| 5529k| 0 | 0.0 |1575M|2276 | - |2820 | 594 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1189.82/1189.85 c 1159s| 5560k| 5538k| 0 | 0.0 |1578M|2276 | - |2820 | 602 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1192.01/1192.04 c 1161s| 5570k| 5548k| 0 | 0.0 |1580M|2276 | - |2820 | 598 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1194.11/1194.18 c 1163s| 5580k| 5558k| 0 | 0.0 |1583M|2276 | - |2820 | 591 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1196.31/1196.34 c 1165s| 5590k| 5568k| 0 | 0.0 |1586M|2276 | - |2820 | 562 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1198.51/1198.56 c 1167s| 5600k| 5578k| 0 | 0.0 |1589M|2276 | - |2820 | 602 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1200.71/1200.74 c 1169s| 5610k| 5588k| 0 | 0.0 |1591M|2276 | - |2820 | 591 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1202.91/1202.95 c 1172s| 5620k| 5598k| 0 | 0.0 |1594M|2276 | - |2820 | 617 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1205.11/1205.17 c 1174s| 5630k| 5608k| 0 | 0.0 |1597M|2276 | - |2820 | 605 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1207.31/1207.35 c 1176s| 5640k| 5618k| 0 | 0.0 |1600M|2276 | - |2820 | 609 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1209.51/1209.50 c 1178s| 5650k| 5628k| 0 | 0.0 |1602M|2276 | - |2820 | 602 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1211.62/1211.66 c 1180s| 5660k| 5638k| 0 | 0.0 |1605M|2276 | - |2820 | 620 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1213.81/1213.88 c 1182s| 5670k| 5648k| 0 | 0.0 |1608M|2276 | - |2820 | 649 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1216.02/1216.09 c 1184s| 5680k| 5658k| 0 | 0.0 |1611M|2276 | - |2820 | 657 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1218.21/1218.22 c 1186s| 5690k| 5668k| 0 | 0.0 |1613M|2276 | - |2820 | 635 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1220.42/1220.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.42/1220.40 c 1189s| 5700k| 5678k| 0 | 0.0 |1616M|2276 | - |2820 | 641 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1222.51/1222.60 c 1191s| 5710k| 5688k| 0 | 0.0 |1619M|2276 | - |2820 | 624 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1224.72/1224.75 c 1193s| 5720k| 5698k| 0 | 0.0 |1621M|2276 | - |2820 | 651 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1226.92/1226.94 c 1195s| 5730k| 5708k| 0 | 0.0 |1624M|2276 | - |2820 | 684 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1229.11/1229.14 c 1197s| 5740k| 5718k| 0 | 0.0 |1627M|2276 | - |2820 | 653 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1231.31/1231.33 c 1199s| 5750k| 5728k| 0 | 0.0 |1630M|2276 | - |2820 | 672 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1233.42/1233.49 c 1201s| 5760k| 5738k| 0 | 0.0 |1632M|2276 | - |2820 | 630 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1235.61/1235.66 c 1203s| 5770k| 5748k| 0 | 0.0 |1635M|2276 | - |2820 | 652 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1237.72/1237.79 c 1205s| 5780k| 5758k| 0 | 0.0 |1638M|2276 | - |2820 | 666 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1239.91/1239.98 c 1208s| 5790k| 5768k| 0 | 0.0 |1641M|2276 | - |2820 | 692 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1242.31/1242.30 c 1210s| 5800k| 5778k| 0 | 0.0 |1643M|2276 | - |2820 | 693 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1244.51/1244.50 c 1212s| 5810k| 5788k| 0 | 0.0 |1646M|2276 | - |2820 | 664 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1246.61/1246.69 c 1214s| 5820k| 5798k| 0 | 0.0 |1649M|2276 | - |2820 | 657 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1248.81/1248.85 c 1216s| 5830k| 5808k| 0 | 0.0 |1651M|2276 | - |2820 | 667 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1251.02/1251.07 c 1218s| 5840k| 5818k| 0 | 0.0 |1654M|2276 | - |2820 | 683 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1253.21/1253.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.21/1253.21 c 1221s| 5850k| 5828k| 0 | 0.0 |1657M|2276 | - |2820 | 662 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1255.42/1255.41 c 1223s| 5860k| 5838k| 0 | 0.0 |1660M|2276 | - |2820 | 659 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1257.61/1257.65 c 1225s| 5870k| 5848k| 0 | 0.0 |1662M|2276 | - |2820 | 670 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1259.81/1259.81 c 1227s| 5880k| 5858k| 0 | 0.0 |1665M|2276 | - |2820 | 660 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1262.01/1262.01 c 1229s| 5890k| 5868k| 0 | 0.0 |1668M|2276 | - |2820 | 641 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1264.11/1264.14 c 1231s| 5900k| 5877k| 0 | 0.0 |1671M|2276 | - |2820 | 632 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1266.32/1266.33 c 1233s| 5910k| 5887k| 0 | 0.0 |1673M|2276 | - |2820 | 663 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1268.51/1268.56 c 1235s| 5920k| 5897k| 0 | 0.0 |1676M|2276 | - |2820 | 624 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1270.71/1270.76 c 1238s| 5930k| 5907k| 0 | 0.0 |1679M|2276 | - |2820 | 641 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1272.82/1272.88 c 1240s| 5940k| 5917k| 0 | 0.0 |1681M|2276 | - |2820 | 623 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1275.02/1275.02 c 1242s| 5950k| 5927k| 0 | 0.0 |1684M|2276 | - |2820 | 609 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1277.22/1277.26 c 1244s| 5960k| 5937k| 0 | 0.0 |1687M|2276 | - |2820 | 623 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1279.42/1279.43 c 1246s| 5970k| 5947k| 0 | 0.0 |1690M|2276 | - |2820 | 602 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1281.52/1281.58 c 1248s| 5980k| 5957k| 0 | 0.0 |1692M|2276 | - |2820 | 597 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1283.61/1283.68 c 1250s| 5990k| 5967k| 0 | 0.0 |1695M|2276 | - |2820 | 583 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1285.81/1285.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.81/1285.90 c 1252s| 6000k| 5977k| 0 | 0.0 |1698M|2276 | - |2820 | 593 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1288.12/1288.12 c 1255s| 6010k| 5987k| 0 | 0.0 |1701M|2276 | - |2820 | 573 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1290.21/1290.22 c 1257s| 6020k| 5997k| 0 | 0.0 |1703M|2276 | - |2820 | 576 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1292.41/1292.43 c 1259s| 6030k| 6007k| 0 | 0.0 |1706M|2276 | - |2820 | 596 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1294.52/1294.58 c 1261s| 6040k| 6017k| 0 | 0.0 |1709M|2276 | - |2820 | 578 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1296.72/1296.75 c 1263s| 6050k| 6027k| 0 | 0.0 |1712M|2276 | - |2820 | 595 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1298.82/1298.87 c 1265s| 6060k| 6037k| 0 | 0.0 |1714M|2276 | - |2820 | 547 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1301.02/1301.05 c 1267s| 6070k| 6047k| 0 | 0.0 |1717M|2276 | - |2820 | 599 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1303.22/1303.23 c 1269s| 6080k| 6057k| 0 | 0.0 |1720M|2276 | - |2820 | 557 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1305.42/1305.42 c 1271s| 6090k| 6067k| 0 | 0.0 |1722M|2276 | - |2820 | 559 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1307.51/1307.58 c 1273s| 6100k| 6077k| 0 | 0.0 |1725M|2276 | - |2820 | 539 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1309.71/1309.71 c 1276s| 6110k| 6087k| 0 | 0.0 |1728M|2276 | - |2820 | 526 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1311.92/1311.92 c 1278s| 6120k| 6097k| 0 | 0.0 |1731M|2276 | - |2820 | 552 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1314.12/1314.13 c 1280s| 6130k| 6107k| 0 | 0.0 |1733M|2276 | - |2820 | 560 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1316.21/1316.28 c 1282s| 6140k| 6117k| 0 | 0.0 |1736M|2276 | - |2820 | 557 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1318.42/1318.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.42/1318.41 c 1284s| 6150k| 6127k| 0 | 0.0 |1739M|2276 | - |2820 | 550 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1320.61/1320.61 c 1286s| 6160k| 6137k| 0 | 0.0 |1742M|2276 | - |2820 | 572 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1322.71/1322.80 c 1288s| 6170k| 6147k| 0 | 0.0 |1744M|2276 | - |2820 | 568 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1324.91/1324.98 c 1290s| 6180k| 6157k| 0 | 0.0 |1747M|2276 | - |2820 | 572 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1327.12/1327.15 c 1293s| 6190k| 6167k| 0 | 0.0 |1750M|2276 | - |2820 | 577 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1329.31/1329.36 c 1295s| 6200k| 6177k| 0 | 0.0 |1753M|2276 | - |2820 | 572 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1331.51/1331.53 c 1297s| 6210k| 6187k| 0 | 0.0 |1755M|2276 | - |2820 | 548 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1333.71/1333.71 c 1299s| 6220k| 6197k| 0 | 0.0 |1758M|2276 | - |2820 | 576 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1335.91/1335.97 c 1301s| 6230k| 6207k| 0 | 0.0 |1761M|2276 | - |2820 | 601 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1338.12/1338.15 c 1303s| 6240k| 6217k| 0 | 0.0 |1764M|2276 | - |2820 | 571 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1340.32/1340.33 c 1305s| 6250k| 6226k| 0 | 0.0 |1766M|2276 | - |2820 | 597 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1342.51/1342.51 c 1308s| 6260k| 6236k| 0 | 0.0 |1769M|2276 | - |2820 | 571 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1344.71/1344.74 c 1310s| 6270k| 6246k| 0 | 0.0 |1772M|2276 | - |2820 | 607 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1346.91/1346.90 c 1312s| 6280k| 6256k| 0 | 0.0 |1774M|2276 | - |2820 | 621 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1349.12/1349.16 c 1314s| 6290k| 6266k| 0 | 0.0 |1777M|2276 | - |2820 | 637 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1351.31/1351.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.31/1351.34 c 1316s| 6300k| 6276k| 0 | 0.0 |1780M|2276 | - |2820 | 618 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1353.51/1353.55 c 1318s| 6310k| 6286k| 0 | 0.0 |1783M|2276 | - |2820 | 639 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1355.72/1355.75 c 1320s| 6320k| 6296k| 0 | 0.0 |1785M|2276 | - |2820 | 625 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1357.81/1357.89 c 1323s| 6330k| 6306k| 0 | 0.0 |1788M|2276 | - |2820 | 611 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1360.02/1360.03 c 1325s| 6340k| 6316k| 0 | 0.0 |1791M|2276 | - |2820 | 617 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1362.11/1362.16 c 1327s| 6350k| 6326k| 0 | 0.0 |1794M|2276 | - |2820 | 637 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1364.31/1364.36 c 1329s| 6360k| 6336k| 0 | 0.0 |1796M|2276 | - |2820 | 660 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1366.51/1366.54 c 1331s| 6370k| 6346k| 0 | 0.0 |1799M|2276 | - |2820 | 646 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1368.61/1368.64 c 1333s| 6380k| 6356k| 0 | 0.0 |1802M|2276 | - |2820 | 656 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1370.72/1370.76 c 1335s| 6390k| 6366k| 0 | 0.0 |1804M|2276 | - |2820 | 701 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1372.83/1372.87 c 1337s| 6400k| 6376k| 0 | 0.0 |1807M|2276 | - |2820 | 676 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1375.12/1375.13 c 1339s| 6410k| 6386k| 0 | 0.0 |1810M|2276 | - |2820 | 685 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1377.22/1377.28 c 1341s| 6420k| 6396k| 0 | 0.0 |1813M|2276 | - |2820 | 669 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1379.32/1379.40 c 1343s| 6430k| 6406k| 0 | 0.0 |1815M|2276 | - |2820 | 652 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1381.52/1381.58 c 1346s| 6440k| 6416k| 0 | 0.0 |1818M|2276 | - |2820 | 667 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1383.72/1383.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.72/1383.74 c 1348s| 6450k| 6426k| 0 | 0.0 |1821M|2276 | - |2820 | 656 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1385.92/1385.91 c 1350s| 6460k| 6436k| 0 | 0.0 |1824M|2276 | - |2820 | 660 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1388.02/1388.06 c 1352s| 6470k| 6446k| 0 | 0.0 |1826M|2276 | - |2820 | 667 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1390.21/1390.27 c 1354s| 6480k| 6456k| 0 | 0.0 |1829M|2276 | - |2820 | 663 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1392.41/1392.49 c 1356s| 6490k| 6466k| 0 | 0.0 |1832M|2276 | - |2820 | 672 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1394.71/1394.71 c 1358s| 6500k| 6476k| 0 | 0.0 |1834M|2276 | - |2820 | 694 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1396.81/1396.80 c 1360s| 6510k| 6486k| 0 | 0.0 |1837M|2276 | - |2820 | 625 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1399.01/1399.06 c 1363s| 6520k| 6496k| 0 | 0.0 |1840M|2276 | - |2820 | 669 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1401.32/1401.32 c 1365s| 6530k| 6506k| 0 | 0.0 |1843M|2276 | - |2820 | 631 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1403.42/1403.48 c 1367s| 6540k| 6516k| 0 | 0.0 |1845M|2276 | - |2820 | 629 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1405.61/1405.62 c 1369s| 6550k| 6526k| 0 | 0.0 |1848M|2276 | - |2820 | 623 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1407.81/1407.83 c 1371s| 6560k| 6535k| 0 | 0.0 |1851M|2276 | - |2820 | 629 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1410.01/1410.00 c 1373s| 6570k| 6545k| 0 | 0.0 |1854M|2276 | - |2820 | 598 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1412.12/1412.13 c 1375s| 6580k| 6555k| 0 | 0.0 |1856M|2276 | - |2820 | 615 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1414.22/1414.27 c 1377s| 6590k| 6565k| 0 | 0.0 |1859M|2276 | - |2820 | 601 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1416.41/1416.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.41/1416.46 c 1380s| 6600k| 6575k| 0 | 0.0 |1862M|2276 | - |2820 | 618 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1418.72/1418.70 c 1382s| 6610k| 6585k| 0 | 0.0 |1865M|2276 | - |2820 | 611 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1420.82/1420.84 c 1384s| 6620k| 6595k| 0 | 0.0 |1867M|2276 | - |2820 | 585 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1423.02/1423.08 c 1386s| 6630k| 6605k| 0 | 0.0 |1870M|2276 | - |2820 | 610 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1425.22/1425.29 c 1388s| 6640k| 6615k| 0 | 0.0 |1873M|2276 | - |2820 | 589 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1427.31/1427.38 c 1390s| 6650k| 6625k| 0 | 0.0 |1876M|2276 | - |2820 | 557 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1429.61/1429.60 c 1392s| 6660k| 6635k| 0 | 0.0 |1878M|2276 | - |2820 | 560 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1431.72/1431.77 c 1395s| 6670k| 6645k| 0 | 0.0 |1881M|2276 | - |2820 | 584 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1433.92/1433.94 c 1397s| 6680k| 6655k| 0 | 0.0 |1884M|2276 | - |2820 | 591 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1436.01/1436.09 c 1399s| 6690k| 6665k| 0 | 0.0 |1886M|2276 | - |2820 | 581 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1438.22/1438.26 c 1401s| 6700k| 6675k| 0 | 0.0 |1889M|2276 | - |2820 | 590 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1440.42/1440.40 c 1403s| 6710k| 6685k| 0 | 0.0 |1892M|2276 | - |2820 | 584 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1442.52/1442.54 c 1405s| 6720k| 6695k| 0 | 0.0 |1895M|2276 | - |2820 | 600 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1444.72/1444.70 c 1407s| 6730k| 6705k| 0 | 0.0 |1897M|2276 | - |2820 | 599 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1446.81/1446.85 c 1409s| 6740k| 6715k| 0 | 0.0 |1900M|2276 | - |2820 | 585 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1448.92/1448.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.92/1448.98 c 1411s| 6750k| 6725k| 0 | 0.0 |1903M|2276 | - |2820 | 624 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1451.12/1451.19 c 1413s| 6760k| 6735k| 0 | 0.0 |1906M|2276 | - |2820 | 605 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1453.32/1453.33 c 1416s| 6770k| 6745k| 0 | 0.0 |1908M|2276 | - |2820 | 557 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1455.43/1455.47 c 1418s| 6780k| 6755k| 0 | 0.0 |1911M|2276 | - |2820 | 594 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1457.62/1457.69 c 1420s| 6790k| 6765k| 0 | 0.0 |1914M|2276 | - |2820 | 623 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1459.83/1459.85 c 1422s| 6800k| 6775k| 0 | 0.0 |1917M|2276 | - |2820 | 605 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1462.03/1462.01 c 1424s| 6810k| 6785k| 0 | 0.0 |1919M|2276 | - |2820 | 612 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1464.13/1464.15 c 1426s| 6820k| 6795k| 0 | 0.0 |1922M|2276 | - |2820 | 596 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1466.32/1466.37 c 1428s| 6830k| 6805k| 0 | 0.0 |1925M|2276 | - |2820 | 638 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1468.53/1468.55 c 1430s| 6840k| 6815k| 0 | 0.0 |1928M|2276 | - |2820 | 604 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1470.72/1470.70 c 1432s| 6850k| 6825k| 0 | 0.0 |1930M|2276 | - |2820 | 594 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1472.82/1472.83 c 1435s| 6860k| 6835k| 0 | 0.0 |1933M|2276 | - |2820 | 565 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1474.91/1474.98 c 1437s| 6870k| 6845k| 0 | 0.0 |1936M|2276 | - |2820 | 571 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1477.12/1477.15 c 1439s| 6880k| 6855k| 0 | 0.0 |1938M|2276 | - |2820 | 589 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1479.32/1479.36 c 1441s| 6890k| 6865k| 0 | 0.0 |1941M|2276 | - |2820 | 592 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1481.52/1481.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.52/1481.52 c 1443s| 6900k| 6875k| 0 | 0.0 |1944M|2276 | - |2820 | 597 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1483.62/1483.64 c 1445s| 6910k| 6884k| 0 | 0.0 |1947M|2276 | - |2820 | 604 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1485.81/1485.87 c 1447s| 6920k| 6894k| 0 | 0.0 |1949M|2276 | - |2820 | 618 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1488.02/1488.09 c 1449s| 6930k| 6904k| 0 | 0.0 |1952M|2276 | - |2820 | 611 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1490.22/1490.26 c 1452s| 6940k| 6914k| 0 | 0.0 |1955M|2276 | - |2820 | 584 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1492.42/1492.43 c 1454s| 6950k| 6924k| 0 | 0.0 |1958M|2276 | - |2820 | 587 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1494.62/1494.65 c 1456s| 6960k| 6934k| 0 | 0.0 |1960M|2276 | - |2820 | 590 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1496.82/1496.81 c 1458s| 6970k| 6944k| 0 | 0.0 |1963M|2276 | - |2820 | 585 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1498.92/1498.95 c 1460s| 6980k| 6954k| 0 | 0.0 |1966M|2276 | - |2820 | 573 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1501.02/1501.09 c 1462s| 6990k| 6964k| 0 | 0.0 |1968M|2276 | - |2820 | 577 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1503.32/1503.30 c 1464s| 7000k| 6974k| 0 | 0.0 |1971M|2276 | - |2820 | 593 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1505.52/1505.50 c 1466s| 7010k| 6984k| 0 | 0.0 |1974M|2276 | - |2820 | 588 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1507.62/1507.67 c 1468s| 7020k| 6994k| 0 | 0.0 |1977M|2276 | - |2820 | 590 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1509.82/1509.85 c 1471s| 7030k| 7004k| 0 | 0.0 |1979M|2276 | - |2820 | 598 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1512.12/1512.11 c 1473s| 7040k| 7014k| 0 | 0.0 |1982M|2276 | - |2820 | 595 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1514.32/1514.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.32/1514.32 c 1475s| 7050k| 7024k| 0 | 0.0 |1985M|2276 | - |2820 | 580 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1516.52/1516.53 c 1477s| 7060k| 7034k| 0 | 0.0 |1988M|2276 | - |2820 | 620 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1518.72/1518.71 c 1479s| 7070k| 7044k| 0 | 0.0 |1990M|2276 | - |2820 | 596 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1520.82/1520.85 c 1481s| 7080k| 7054k| 0 | 0.0 |1993M|2276 | - |2820 | 605 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1523.02/1523.03 c 1483s| 7090k| 7064k| 0 | 0.0 |1996M|2276 | - |2820 | 626 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1525.22/1525.24 c 1486s| 7100k| 7074k| 0 | 0.0 |1998M|2276 | - |2820 | 579 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1527.32/1527.36 c 1488s| 7110k| 7084k| 0 | 0.0 |2001M|2276 | - |2820 | 579 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1529.62/1529.63 c 1490s| 7120k| 7094k| 0 | 0.0 |2004M|2276 | - |2820 | 598 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1531.82/1531.83 c 1492s| 7130k| 7104k| 0 | 0.0 |2006M|2276 | - |2820 | 630 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1534.01/1534.03 c 1494s| 7140k| 7114k| 0 | 0.0 |2009M|2276 | - |2820 | 593 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1536.12/1536.19 c 1496s| 7150k| 7124k| 0 | 0.0 |2012M|2276 | - |2820 | 556 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1538.32/1538.33 c 1498s| 7160k| 7134k| 0 | 0.0 |2015M|2276 | - |2820 | 552 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1540.42/1540.43 c 1500s| 7170k| 7144k| 0 | 0.0 |2017M|2276 | - |2820 | 552 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1542.52/1542.59 c 1502s| 7180k| 7154k| 0 | 0.0 |2020M|2276 | - |2820 | 588 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1544.72/1544.76 c 1505s| 7190k| 7164k| 0 | 0.0 |2023M|2276 | - |2820 | 608 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1546.91/1546.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.91/1546.94 c 1507s| 7200k| 7174k| 0 | 0.0 |2026M|2276 | - |2820 | 604 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1549.02/1549.08 c 1509s| 7210k| 7184k| 0 | 0.0 |2028M|2276 | - |2820 | 583 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1551.22/1551.27 c 1511s| 7220k| 7194k| 0 | 0.0 |2031M|2276 | - |2820 | 590 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1553.42/1553.42 c 1513s| 7230k| 7204k| 0 | 0.0 |2034M|2276 | - |2820 | 578 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1555.62/1555.62 c 1515s| 7240k| 7213k| 0 | 0.0 |2036M|2276 | - |2820 | 601 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1557.73/1557.79 c 1517s| 7250k| 7223k| 0 | 0.0 |2039M|2276 | - |2820 | 577 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1559.93/1559.95 c 1519s| 7260k| 7233k| 0 | 0.0 |2042M|2276 | - |2820 | 581 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1562.13/1562.14 c 1522s| 7270k| 7243k| 0 | 0.0 |2045M|2276 | - |2820 | 585 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1564.22/1564.27 c 1524s| 7280k| 7253k| 0 | 0.0 |2047M|2276 | - |2820 | 594 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1566.43/1566.41 c 1526s| 7290k| 7263k| 0 | 0.0 |2050M|2276 | - |2820 | 592 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1568.63/1568.60 c 1528s| 7300k| 7273k| 0 | 0.0 |2053M|2276 | - |2820 | 603 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1570.72/1570.76 c 1530s| 7310k| 7283k| 0 | 0.0 |2056M|2276 | - |2820 | 591 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1572.92/1572.91 c 1532s| 7320k| 7293k| 0 | 0.0 |2058M|2276 | - |2820 | 613 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1575.12/1575.12 c 1534s| 7330k| 7303k| 0 | 0.0 |2061M|2276 | - |2820 | 590 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1577.22/1577.27 c 1536s| 7340k| 7313k| 0 | 0.0 |2064M|2276 | - |2820 | 569 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1579.43/1579.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1579.43/1579.40 c 1538s| 7350k| 7323k| 0 | 0.0 |2067M|2276 | - |2820 | 554 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1581.62/1581.62 c 1541s| 7360k| 7333k| 0 | 0.0 |2069M|2276 | - |2820 | 633 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1583.82/1583.82 c 1543s| 7370k| 7343k| 0 | 0.0 |2072M|2276 | - |2820 | 585 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1585.92/1585.98 c 1545s| 7380k| 7353k| 0 | 0.0 |2075M|2276 | - |2820 | 573 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1588.12/1588.14 c 1547s| 7390k| 7363k| 0 | 0.0 |2077M|2276 | - |2820 | 627 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1590.22/1590.28 c 1549s| 7400k| 7373k| 0 | 0.0 |2080M|2276 | - |2820 | 596 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1592.52/1592.50 c 1551s| 7410k| 7383k| 0 | 0.0 |2083M|2276 | - |2820 | 609 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1594.62/1594.67 c 1553s| 7420k| 7393k| 0 | 0.0 |2086M|2276 | - |2820 | 586 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1596.82/1596.83 c 1555s| 7430k| 7403k| 0 | 0.0 |2088M|2276 | - |2820 | 574 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1599.02/1599.02 c 1557s| 7440k| 7413k| 0 | 0.0 |2091M|2276 | - |2820 | 575 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1601.12/1601.18 c 1560s| 7450k| 7423k| 0 | 0.0 |2094M|2276 | - |2820 | 564 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1603.32/1603.35 c 1562s| 7460k| 7433k| 0 | 0.0 |2096M|2276 | - |2820 | 550 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1605.52/1605.50 c 1564s| 7470k| 7443k| 0 | 0.0 |2099M|2276 | - |2820 | 563 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1607.72/1607.74 c 1566s| 7480k| 7453k| 0 | 0.0 |2102M|2276 | - |2820 | 564 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1609.92/1609.92 c 1568s| 7490k| 7463k| 0 | 0.0 |2105M|2276 | - |2820 | 583 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1612.03/1612.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.03/1612.10 c 1570s| 7500k| 7473k| 0 | 0.0 |2107M|2276 | - |2820 | 578 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1614.22/1614.29 c 1572s| 7510k| 7483k| 0 | 0.0 |2110M|2276 | - |2820 | 545 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1616.42/1616.49 c 1575s| 7520k| 7493k| 0 | 0.0 |2113M|2276 | - |2820 | 562 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1618.62/1618.66 c 1577s| 7530k| 7503k| 0 | 0.0 |2116M|2276 | - |2820 | 574 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1620.93/1620.91 c 1579s| 7540k| 7513k| 0 | 0.0 |2118M|2276 | - |2820 | 556 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1623.02/1623.02 c 1581s| 7550k| 7523k| 0 | 0.0 |2121M|2276 | - |2820 | 543 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1625.12/1625.16 c 1583s| 7560k| 7533k| 0 | 0.0 |2124M|2276 | - |2820 | 553 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1627.32/1627.32 c 1585s| 7570k| 7542k| 0 | 0.0 |2126M|2276 | - |2820 | 531 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1629.52/1629.55 c 1587s| 7580k| 7552k| 0 | 0.0 |2129M|2276 | - |2820 | 571 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1631.73/1631.72 c 1589s| 7590k| 7562k| 0 | 0.0 |2132M|2276 | - |2820 | 580 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1633.82/1633.88 c 1592s| 7600k| 7572k| 0 | 0.0 |2135M|2276 | - |2820 | 581 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1636.02/1636.01 c 1594s| 7610k| 7582k| 0 | 0.0 |2137M|2276 | - |2820 | 561 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1638.22/1638.20 c 1596s| 7620k| 7592k| 0 | 0.0 |2140M|2276 | - |2820 | 589 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1640.42/1640.41 c 1598s| 7630k| 7602k| 0 | 0.0 |2143M|2276 | - |2820 | 558 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1642.52/1642.55 c 1600s| 7640k| 7612k| 0 | 0.0 |2146M|2276 | - |2820 | 593 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1644.72/1644.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.72/1644.72 c 1602s| 7650k| 7622k| 0 | 0.0 |2148M|2276 | - |2820 | 588 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1646.82/1646.85 c 1604s| 7660k| 7632k| 0 | 0.0 |2151M|2276 | - |2820 | 585 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1649.12/1649.18 c 1606s| 7670k| 7642k| 0 | 0.0 |2154M|2276 | - |2820 | 630 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1651.33/1651.39 c 1609s| 7680k| 7652k| 0 | 0.0 |2156M|2276 | - |2820 | 610 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1653.52/1653.54 c 1611s| 7690k| 7662k| 0 | 0.0 |2159M|2276 | - |2820 | 606 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1655.72/1655.70 c 1613s| 7700k| 7672k| 0 | 0.0 |2162M|2276 | - |2820 | 619 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1657.83/1657.83 c 1615s| 7710k| 7682k| 0 | 0.0 |2165M|2276 | - |2820 | 608 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1660.03/1660.03 c 1617s| 7720k| 7692k| 0 | 0.0 |2167M|2276 | - |2820 | 618 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1662.23/1662.24 c 1619s| 7730k| 7702k| 0 | 0.0 |2170M|2276 | - |2820 | 704 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1664.33/1664.40 c 1621s| 7740k| 7712k| 0 | 0.0 |2173M|2276 | - |2820 | 713 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1666.53/1666.58 c 1623s| 7750k| 7722k| 0 | 0.0 |2176M|2276 | - |2820 | 686 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1668.73/1668.74 c 1625s| 7760k| 7732k| 0 | 0.0 |2178M|2276 | - |2820 | 672 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1670.82/1670.86 c 1628s| 7770k| 7742k| 0 | 0.0 |2181M|2276 | - |2820 | 660 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1673.03/1673.03 c 1630s| 7780k| 7752k| 0 | 0.0 |2184M|2276 | - |2820 | 659 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1675.12/1675.19 c 1632s| 7790k| 7762k| 0 | 0.0 |2186M|2276 | - |2820 | 652 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1677.32/1677.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.32/1677.37 c 1634s| 7800k| 7772k| 0 | 0.0 |2189M|2276 | - |2820 | 678 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1679.42/1679.49 c 1636s| 7810k| 7782k| 0 | 0.0 |2192M|2276 | - |2820 | 649 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1681.73/1681.74 c 1638s| 7820k| 7792k| 0 | 0.0 |2195M|2276 | - |2820 | 673 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1683.93/1683.96 c 1640s| 7830k| 7802k| 0 | 0.0 |2197M|2276 | - |2820 | 667 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1686.02/1686.09 c 1642s| 7840k| 7812k| 0 | 0.0 |2200M|2276 | - |2820 | 657 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1688.33/1688.31 c 1645s| 7850k| 7822k| 0 | 0.0 |2203M|2276 | - |2820 | 641 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1690.42/1690.44 c 1647s| 7860k| 7832k| 0 | 0.0 |2205M|2276 | - |2820 | 657 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1692.62/1692.60 c 1649s| 7870k| 7842k| 0 | 0.0 |2208M|2276 | - |2820 | 670 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1694.72/1694.72 c 1651s| 7880k| 7852k| 0 | 0.0 |2211M|2276 | - |2820 | 636 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1696.92/1696.92 c 1653s| 7890k| 7862k| 0 | 0.0 |2214M|2276 | - |2820 | 645 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1699.03/1699.08 c 1655s| 7900k| 7871k| 0 | 0.0 |2216M|2276 | - |2820 | 655 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1701.22/1701.27 c 1657s| 7910k| 7881k| 0 | 0.0 |2219M|2276 | - |2820 | 642 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1703.43/1703.41 c 1659s| 7920k| 7891k| 0 | 0.0 |2222M|2276 | - |2820 | 646 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1705.62/1705.63 c 1661s| 7930k| 7901k| 0 | 0.0 |2224M|2276 | - |2820 | 636 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1707.82/1707.81 c 1664s| 7940k| 7911k| 0 | 0.0 |2227M|2276 | - |2820 | 632 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1709.92/1709.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.92/1709.95 c 1666s| 7950k| 7921k| 0 | 0.0 |2230M|2276 | - |2820 | 630 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1712.13/1712.15 c 1668s| 7960k| 7931k| 0 | 0.0 |2233M|2276 | - |2820 | 628 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1714.32/1714.30 c 1670s| 7970k| 7941k| 0 | 0.0 |2235M|2276 | - |2820 | 639 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1716.43/1716.48 c 1672s| 7980k| 7951k| 0 | 0.0 |2238M|2276 | - |2820 | 617 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1718.62/1718.65 c 1674s| 7990k| 7961k| 0 | 0.0 |2241M|2276 | - |2820 | 617 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1720.73/1720.79 c 1676s| 8000k| 7971k| 0 | 0.0 |2244M|2276 | - |2820 | 608 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1722.92/1722.93 c 1678s| 8010k| 7981k| 0 | 0.0 |2246M|2276 | - |2820 | 619 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1725.13/1725.18 c 1680s| 8020k| 7991k| 0 | 0.0 |2249M|2276 | - |2820 | 640 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1727.33/1727.37 c 1683s| 8030k| 8001k| 0 | 0.0 |2252M|2276 | - |2820 | 619 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1729.52/1729.58 c 1685s| 8040k| 8011k| 0 | 0.0 |2254M|2276 | - |2820 | 608 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1731.72/1731.74 c 1687s| 8050k| 8021k| 0 | 0.0 |2257M|2276 | - |2820 | 601 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1733.83/1733.86 c 1689s| 8060k| 8031k| 0 | 0.0 |2260M|2276 | - |2820 | 599 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1736.02/1736.08 c 1691s| 8070k| 8041k| 0 | 0.0 |2263M|2276 | - |2820 | 607 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1738.22/1738.28 c 1693s| 8080k| 8051k| 0 | 0.0 |2265M|2276 | - |2820 | 600 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1740.33/1740.38 c 1695s| 8090k| 8061k| 0 | 0.0 |2268M|2276 | - |2820 | 599 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1742.63/1742.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.63/1742.60 c 1697s| 8100k| 8071k| 0 | 0.0 |2271M|2276 | - |2820 | 623 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1744.83/1744.80 c 1700s| 8110k| 8081k| 0 | 0.0 |2274M|2276 | - |2820 | 601 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1746.93/1746.94 c 1702s| 8120k| 8091k| 0 | 0.0 |2276M|2276 | - |2820 | 590 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1749.03/1749.09 c 1704s| 8130k| 8101k| 0 | 0.0 |2279M|2276 | - |2820 | 601 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1751.23/1751.30 c 1706s| 8140k| 8111k| 0 | 0.0 |2282M|2276 | - |2820 | 608 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1753.43/1753.42 c 1708s| 8150k| 8121k| 0 | 0.0 |2285M|2276 | - |2820 | 597 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1755.53/1755.59 c 1710s| 8160k| 8131k| 0 | 0.0 |2287M|2276 | - |2820 | 588 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1757.72/1757.75 c 1712s| 8170k| 8141k| 0 | 0.0 |2290M|2276 | - |2820 | 604 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1759.93/1759.94 c 1714s| 8180k| 8151k| 0 | 0.0 |2293M|2276 | - |2820 | 609 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1762.12/1762.18 c 1717s| 8190k| 8161k| 0 | 0.0 |2295M|2276 | - |2820 | 609 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1764.32/1764.36 c 1719s| 8200k| 8171k| 0 | 0.0 |2298M|2276 | - |2820 | 603 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1766.43/1766.47 c 1721s| 8210k| 8181k| 0 | 0.0 |2301M|2276 | - |2820 | 584 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1768.63/1768.62 c 1723s| 8220k| 8191k| 0 | 0.0 |2304M|2276 | - |2820 | 591 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1770.82/1770.82 c 1725s| 8230k| 8200k| 0 | 0.0 |2306M|2276 | - |2820 | 634 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1772.93/1772.97 c 1727s| 8240k| 8210k| 0 | 0.0 |2309M|2276 | - |2820 | 569 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1775.13/1775.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.13/1775.11 c 1729s| 8250k| 8220k| 0 | 0.0 |2312M|2276 | - |2820 | 593 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1777.22/1777.22 c 1731s| 8260k| 8230k| 0 | 0.0 |2315M|2276 | - |2820 | 594 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1779.32/1779.37 c 1733s| 8270k| 8240k| 0 | 0.0 |2317M|2276 | - |2820 | 578 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1781.43/1781.49 c 1735s| 8280k| 8250k| 0 | 0.0 |2320M|2276 | - |2820 | 571 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1783.62/1783.65 c 1738s| 8290k| 8260k| 0 | 0.0 |2323M|2276 | - |2820 | 570 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1785.82/1785.85 c 1740s| 8300k| 8270k| 0 | 0.0 |2326M|2276 | - |2820 | 594 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1787.93/1787.98 c 1742s| 8310k| 8280k| 0 | 0.0 |2328M|2276 | - |2820 | 578 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1790.03/1790.09 c 1744s| 8320k| 8290k| 0 | 0.0 |2331M|2276 | - |2820 | 603 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1792.32/1792.32 c 1746s| 8330k| 8300k| 0 | 0.0 |2334M|2276 | - |2820 | 622 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1794.42/1794.47 c 1748s| 8340k| 8310k| 0 | 0.0 |2336M|2276 | - |2820 | 597 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1796.63/1796.62 c 1750s| 8350k| 8320k| 0 | 0.0 |2339M|2276 | - |2820 | 597 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1798.83/1798.87 c 1752s| 8360k| 8330k| 0 | 0.0 |2342M|2276 | - |2820 | 611 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1753.00
1800.03/1800.00 c Solving Nodes : 8365248
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1753.00
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693768-1277973317.wbo
1800.03/1800.00 c Variables : 2820 (2785 binary, 0 integer, 0 implicit integer, 35 continuous)
1800.03/1800.00 c Constraints : 141 initial, 141 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693768-1277973317.wbo
1800.03/1800.00 c Variables : 2820 (2785 binary, 0 integer, 0 implicit integer, 35 continuous)
1800.03/1800.00 c Constraints : 140 initial, 1341 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 35 0 1 0 0
1800.03/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 35 0 2530 0 2283 0 42 0 0 0
1800.03/1800.00 c setppc : 36 0 8753357 0 8350707 9629 3540406 0 0 0
1800.03/1800.00 c linear : 35 0 8746521 0 8351624 4178 846300 0 0 0
1800.03/1800.00 c logicor : 34+ 0 1154295 0 8351624 1865 192991 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 8351624 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 0.01 0.00 0.00 0.00 0.01
1800.03/1800.00 c setppc : 263.40 0.00 54.56 0.00 208.84
1800.03/1800.00 c linear : 48.40 0.00 44.55 0.00 3.85
1800.03/1800.00 c logicor : 157.20 0.00 10.45 0.00 146.75
1800.03/1800.00 c countsols : 1.45 0.00 0.00 0.00 1.45
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 2.37 2 0 0
1800.03/1800.00 c rootredcost : 2.20 0 0 0
1800.03/1800.00 c pseudoobj : 11.61 8755951 0 0
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 78.56 15672 15672 381858 487.2 162925 47.5 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 148952 54.6 - - -
1800.03/1800.00 c applied locally : - - - 1529 382.6 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 1140.61 8351624 0 0 0 0 16703248
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 1.83 0 0
1800.03/1800.00 c trivial : 0.01 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 2.21 0 0
1800.03/1800.00 c trysol : 1.61 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 8365248
1800.03/1800.00 c nodes (total) : 8365248
1800.03/1800.00 c nodes left : 8335838
1800.03/1800.00 c max depth : 2276
1800.03/1800.00 c max depth (total): 2276
1800.03/1800.00 c backtracks : 5989 (0.1%)
1800.03/1800.00 c delayed cutoffs : 2163
1800.03/1800.00 c repropagations : 13439 (167319 domain reductions, 2048 cutoffs)
1800.03/1800.00 c avg switch length: 2.24
1800.03/1800.00 c switching time : 31.65
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/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-2693768-1277973317/watcher-2693768-1277973317 -o /tmp/evaluation-result-2693768-1277973317/solver-2693768-1277973317 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693768-1277973317.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: 1.93 1.97 1.68 4/178 20331
/proc/meminfo: memFree=31203352/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=9168 CPUtime=0
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 1767 0 0 0 0 0 0 0 25 0 1 0 138626295 9388032 1690 4089446400 4194304 7136930 140736795112336 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/20331/statm: 2292 1704 275 719 0 1571 0
[startup+0.104778 s]
/proc/loadavg: 1.93 1.97 1.68 4/178 20331
/proc/meminfo: memFree=31203352/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=19524 CPUtime=0.1
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 5863 0 0 0 9 1 0 0 25 0 1 0 138626295 19992576 4147 4089446400 4194304 7136930 140736795112336 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 4881 4147 390 719 0 4160 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19524
[startup+0.200751 s]
/proc/loadavg: 1.93 1.97 1.68 4/178 20331
/proc/meminfo: memFree=31203352/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=19524 CPUtime=0.19
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 5872 0 0 0 18 1 0 0 25 0 1 0 138626295 19992576 4156 4089446400 4194304 7136930 140736795112336 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 4881 4156 390 719 0 4160 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19524
[startup+0.300734 s]
/proc/loadavg: 1.93 1.97 1.68 4/178 20331
/proc/meminfo: memFree=31203352/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=19940 CPUtime=0.29
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 5961 0 0 0 28 1 0 0 25 0 1 0 138626295 20418560 4245 4089446400 4194304 7136930 140736795112336 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 4985 4245 390 719 0 4264 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19940
[startup+0.700663 s]
/proc/loadavg: 1.93 1.97 1.68 4/178 20331
/proc/meminfo: memFree=31203352/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=21128 CPUtime=0.69
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 6277 0 0 0 67 2 0 0 25 0 1 0 138626295 21635072 4561 4089446400 4194304 7136930 140736795112336 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 5282 4561 394 719 0 4561 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21128
[startup+1.50053 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 20332
/proc/meminfo: memFree=31178808/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=22696 CPUtime=1.49
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 6672 0 0 0 145 4 0 0 25 0 1 0 138626295 23240704 4955 4089446400 4194304 7136930 140736795112336 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 5674 4955 394 719 0 4953 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22696
[startup+3.10024 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 20332
/proc/meminfo: memFree=31168764/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=25728 CPUtime=3.09
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 7485 0 0 0 301 8 0 0 25 0 1 0 138626295 26345472 5768 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 6432 5768 394 719 0 5711 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25728
[startup+6.30068 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 20332
/proc/meminfo: memFree=31148692/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=30432 CPUtime=6.29
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 8718 0 0 0 612 17 0 0 25 0 1 0 138626295 31162368 7001 4089446400 4194304 7136930 140736795112336 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 7608 7001 394 719 0 6887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30432
[startup+12.7006 s]
/proc/loadavg: 1.94 1.97 1.68 3/179 20333
/proc/meminfo: memFree=31105360/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=40500 CPUtime=12.69
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 11326 0 0 0 1234 35 0 0 25 0 1 0 138626295 41472000 9609 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 10125 9609 394 719 0 9404 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40500
[startup+25.5003 s]
/proc/loadavg: 1.95 1.97 1.68 3/179 20333
/proc/meminfo: memFree=31028308/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=61132 CPUtime=25.49
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 16217 0 0 0 2479 70 0 0 25 0 1 0 138626295 62599168 14500 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 15283 14500 394 719 0 14562 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61132
[startup+51.1016 s]
/proc/loadavg: 1.97 1.97 1.69 3/179 20333
/proc/meminfo: memFree=30889336/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=99780 CPUtime=51.09
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 25284 0 0 0 4971 138 0 0 25 0 1 0 138626295 102174720 23567 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 24945 23567 394 719 0 24224 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99780
[startup+102.301 s]
/proc/loadavg: 1.98 1.97 1.71 3/179 20335
/proc/meminfo: memFree=30682700/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=182584 CPUtime=102.3
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 44833 0 0 0 9957 273 0 0 25 0 1 0 138626295 186966016 43116 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 45646 43116 394 719 0 44925 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 182584
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/179 20337
/proc/meminfo: memFree=30366828/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=272168 CPUtime=162.3
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 68345 0 0 0 15790 440 0 0 25 0 1 0 138626295 278700032 66628 4089446400 4194304 7136930 140736795112336 18446744073709551615 4643257 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 68042 66628 394 719 0 67321 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 272168
[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 20338
/proc/meminfo: memFree=30066932/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=377744 CPUtime=222.3
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 91650 0 0 0 21628 602 0 0 25 0 1 0 138626295 386809856 89933 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 94436 89933 394 719 0 93715 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 377744
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 20339
/proc/meminfo: memFree=29765540/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=498544 CPUtime=282.29
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 123078 0 0 0 27428 801 0 0 25 0 1 0 138626295 510509056 121361 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 124636 121361 394 719 0 123915 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 498544
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.76 3/179 20341
/proc/meminfo: memFree=29486980/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=594052 CPUtime=342.3
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 147945 0 0 0 33257 973 0 0 25 0 1 0 138626295 608309248 146228 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 148513 146228 394 719 0 147792 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 594052
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 20343
/proc/meminfo: memFree=29253796/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=666724 CPUtime=402.29
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 167202 0 0 0 39101 1128 0 0 25 0 1 0 138626295 682725376 165485 4089446400 4194304 7136930 140736795112336 18446744073709551615 4407876 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 166681 165485 394 719 0 165960 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 666724
[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.78 3/179 20345
/proc/meminfo: memFree=29010812/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=786540 CPUtime=462.3
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 190002 0 0 0 44941 1289 0 0 25 0 1 0 138626295 805416960 188285 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20331/statm: 196635 188285 394 719 0 195914 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 786540
[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.80 3/179 20346
/proc/meminfo: memFree=28797736/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=852844 CPUtime=522.3
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 207561 0 0 0 50791 1439 0 0 25 0 1 0 138626295 873312256 205844 4089446400 4194304 7136930 140736795112336 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20331/statm: 213211 205844 394 719 0 212490 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 852844
[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.81 3/179 20347
/proc/meminfo: memFree=28581804/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=923976 CPUtime=582.29
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 226374 0 0 0 56646 1583 0 0 25 0 1 0 138626295 946151424 224657 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 230994 224657 394 719 0 230273 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 923976
[startup+642.301 s]
/proc/loadavg: 1.99 1.97 1.82 3/179 20349
/proc/meminfo: memFree=28385320/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=997160 CPUtime=642.3
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 245712 0 0 0 62501 1729 0 0 25 0 1 0 138626295 1021091840 243995 4089446400 4194304 7136930 140736795112336 18446744073709551615 5902222 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 249290 243995 394 719 0 248569 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 997160
[startup+702.301 s]
################
# More data... #
################
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 387327 0 0 0 103445 2785 0 0 25 0 1 0 138626295 1637482496 385610 4089446400 4194304 7136930 140736795112336 18446744073709551615 5922830 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 399776 385610 394 719 0 399055 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1599104
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 20362
/proc/meminfo: memFree=26962804/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=1671540 CPUtime=1122.31
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 406457 0 0 0 109291 2940 0 0 25 0 1 0 138626295 1711656960 404740 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 417885 404740 394 719 0 417164 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1671540
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 20363
/proc/meminfo: memFree=26808248/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=1747244 CPUtime=1182.31
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 426452 0 0 0 115139 3092 0 0 25 0 1 0 138626295 1789177856 424735 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 436811 424735 394 719 0 436090 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1747244
[startup+1242.3 s]
/proc/loadavg: 2.07 2.00 1.89 3/179 20365
/proc/meminfo: memFree=26652948/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=1820616 CPUtime=1242.31
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 445838 0 0 0 120989 3242 0 0 25 0 1 0 138626295 1864310784 444121 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 455154 444121 394 719 0 454433 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1820616
[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 1.89 3/179 20367
/proc/meminfo: memFree=26509796/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=1895728 CPUtime=1302.32
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 465717 0 0 0 126833 3399 0 0 25 0 1 0 138626295 1941225472 464000 4089446400 4194304 7136930 140736795112336 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 473932 464000 394 719 0 473211 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1895728
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.90 3/179 20369
/proc/meminfo: memFree=26358716/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=1973636 CPUtime=1362.32
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 486229 0 0 0 132683 3549 0 0 25 0 1 0 138626295 2021003264 484512 4089446400 4194304 7136930 140736795112336 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 493409 484512 394 719 0 492688 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1973636
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20370
/proc/meminfo: memFree=26256864/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2049492 CPUtime=1422.32
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 506262 0 0 0 138531 3701 0 0 25 0 1 0 138626295 2098679808 504545 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 512373 504545 394 719 0 511652 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 2049492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20371
/proc/meminfo: memFree=26181784/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2120352 CPUtime=1482.32
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 525074 0 0 0 144374 3858 0 0 25 0 1 0 138626295 2171240448 523357 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 530088 523357 394 719 0 529367 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2120352
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20373
/proc/meminfo: memFree=26102124/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2195144 CPUtime=1542.33
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 544822 0 0 0 150221 4012 0 0 25 0 1 0 138626295 2247827456 543105 4089446400 4194304 7136930 140736795112336 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 548786 543105 394 719 0 548065 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2195144
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 20384
/proc/meminfo: memFree=26026056/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2267312 CPUtime=1602.32
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 563965 0 0 0 156069 4163 0 0 25 0 1 0 138626295 2321727488 562248 4089446400 4194304 7136930 140736795112336 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 566828 562248 394 719 0 566107 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2267312
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 20386
/proc/meminfo: memFree=25945636/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2342424 CPUtime=1662.32
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 583792 0 0 0 161918 4314 0 0 25 0 1 0 138626295 2398642176 582075 4089446400 4194304 7136930 140736795112336 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 585606 582075 394 719 0 584885 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2342424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20387
/proc/meminfo: memFree=25865360/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2418848 CPUtime=1722.33
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 603949 0 0 0 167769 4464 0 0 25 0 1 0 138626295 2476900352 602232 4089446400 4194304 7136930 140736795112336 18446744073709551615 5892370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 604712 602232 394 719 0 603991 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2418848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20388
/proc/meminfo: memFree=25785068/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2494224 CPUtime=1782.32
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 623825 0 0 0 173618 4614 0 0 25 0 1 0 138626295 2554085376 622108 4089446400 4194304 7136930 140736795112336 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20331/statm: 623556 622108 394 719 0 622835 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2494224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 2.00 1.91 2/171 20411
/proc/meminfo: memFree=28747208/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2647064 CPUtime=1800.03
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 629592 0 0 0 175300 4703 0 0 25 0 1 0 138626295 2710593536 627875 4089446400 4194304 7136930 140736795112336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20331/statm: 661766 627875 394 719 0 661045 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2647064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20331
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 1.99 2.00 1.91 2/172 20412
/proc/meminfo: memFree=28747820/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2647104 CPUtime=1800.73
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 629622 0 0 0 175370 4703 0 0 18 0 1 0 138626295 2710634496 627905 4089446400 4194304 7136930 140736795112336 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20331/statm: 661776 627905 399 719 0 661055 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 2647104
[startup+1801.5 s]
/proc/loadavg: 1.99 2.00 1.91 2/172 20412
/proc/meminfo: memFree=28747820/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2647112 CPUtime=1801.52
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 629624 0 0 0 175449 4703 0 0 20 0 1 0 138626295 2710642688 627907 4089446400 4194304 7136930 140736795112336 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20331/statm: 661778 627907 399 719 0 661057 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 2647112
[startup+1801.91 s]
/proc/loadavg: 1.99 2.00 1.91 2/172 20412
/proc/meminfo: memFree=28747696/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2647112 CPUtime=1801.93
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 629624 0 0 0 175490 4703 0 0 20 0 1 0 138626295 2710642688 627907 4089446400 4194304 7136930 140736795112336 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20331/statm: 661778 627907 399 719 0 661057 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 2647112
[startup+1802 s]
/proc/loadavg: 1.99 2.00 1.91 2/172 20412
/proc/meminfo: memFree=28747696/32951124 swapFree=67111528/67111528
[pid=20331] ppid=20329 vsize=2647112 CPUtime=1802.02
/proc/20331/stat : 20331 (pbscip.linux.x8) R 20329 20331 19954 0 -1 4202496 629624 0 0 0 175499 4703 0 0 21 0 1 0 138626295 2710642688 627907 4089446400 4194304 7136930 140736795112336 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20331/statm: 661778 627907 399 719 0 661057 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 2647112
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.13
CPU user time (s): 1755
CPU system time (s): 47.1248
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2647112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755
system time used= 47.1248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629624
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= 4
involuntary context switches= 2790
runsolver used 3.2645 second user time and 6.31004 second system time
The end
Begin job on node144 at 2010-07-01 10:35:17
IDJOB=2693768
IDBENCH=78709
IDSOLVER=1206
FILE ID=node144/2693768-1277973317
PBS_JOBID= 11197879
Free space on /tmp= 74176 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50--soft-66-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-2693768-1277973317/watcher-2693768-1277973317 -o /tmp/evaluation-result-2693768-1277973317/solver-2693768-1277973317 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693768-1277973317.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d7a0ad39836c923faf2776c1a468a22d
RANDOM SEED=1056443355
node144.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.848
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.69
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.848
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.83
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.848
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.848
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 : 5332.82
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.848
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.75
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.848
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.75
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.848
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.75
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.848
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 : 5230.90
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31203872 kB
Buffers: 219808 kB
Cached: 1260292 kB
SwapCached: 0 kB
Active: 638412 kB
Inactive: 960104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31203872 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6620 kB
Writeback: 0 kB
AnonPages: 118548 kB
Mapped: 15952 kB
Slab: 83504 kB
PageTables: 4956 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 262708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74176 MiB
End job on node144 at 2010-07-01 11:05:19