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-2693711-1277890149.wbo>
0.00/0.01 c original problem has 2504 variables (2452 bin, 0 int, 0 impl, 52 cont) and 193 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, 52 impls, 42 clqs
0.01/0.02 c (round 2) 0 del vars, 1 del conss, 52 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 52 impls, 42 clqs
0.01/0.02 c (round 3) 0 del vars, 1 del conss, 52 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 52 impls, 42 clqs
0.01/0.02 c (round 4) 0 del vars, 1 del conss, 52 chg bounds, 0 chg sides, 0 chg coeffs, 88 upgd conss, 52 impls, 42 clqs
0.01/0.04 c (0.0s) probing: 101/2452 (4.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.04 c presolving (5 rounds):
0.01/0.04 c 0 deleted vars, 1 deleted constraints, 52 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.04 c 52 implications, 42 cliques
0.01/0.04 c presolved problem has 2504 variables (2452 bin, 0 int, 0 impl, 52 cont) and 192 constraints
0.01/0.04 c 52 constraints of type <indicator>
0.01/0.04 c 42 constraints of type <setppc>
0.01/0.04 c 52 constraints of type <linear>
0.01/0.04 c 46 constraints of type <logicor>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.03
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 1.2.1.2
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1800
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 3420
0.01/0.04 c
0.01/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c lp/solvefreq = -1
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/rapidlearning/freq = 0
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.01/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.01/0.04 c 0.0s| 1 | 2 | 0 | - |4982k| 0 | - |2504 | 192 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.01 c 1.9s| 10000 | 9929 | 0 | 0.0 |8499k|1596 | - |2504 | 444 | 0 | 0 | 0 | 375 | 0 | 0.000000e+00 | -- | Inf
4.19/4.27 c 4.1s| 20000 | 19849 | 0 | 0.0 | 11M|1596 | - |2504 | 396 | 0 | 0 | 0 | 725 | 0 | 0.000000e+00 | -- | Inf
6.50/6.52 c 6.3s| 30000 | 29789 | 0 | 0.0 | 14M|1596 | - |2504 | 433 | 0 | 0 | 0 |1067 | 0 | 0.000000e+00 | -- | Inf
8.69/8.78 c 8.4s| 40000 | 39702 | 0 | 0.0 | 17M|1596 | - |2504 | 448 | 0 | 0 | 0 |1566 | 0 | 0.000000e+00 | -- | Inf
10.99/11.05 c 10.7s| 50000 | 49627 | 0 | 0.0 | 20M|1596 | - |2504 | 502 | 0 | 0 | 0 |2007 | 0 | 0.000000e+00 | -- | Inf
13.20/13.28 c 12.9s| 60000 | 59547 | 0 | 0.0 | 23M|1596 | - |2504 | 497 | 0 | 0 | 0 |2458 | 0 | 0.000000e+00 | -- | Inf
15.40/15.50 c 15.0s| 70000 | 69430 | 0 | 0.0 | 26M|1596 | - |2504 | 616 | 0 | 0 | 0 |3070 | 0 | 0.000000e+00 | -- | Inf
17.69/17.70 c 17.1s| 80000 | 79336 | 0 | 0.0 | 30M|1596 | - |2504 | 668 | 0 | 0 | 0 |3594 | 0 | 0.000000e+00 | -- | Inf
19.79/19.86 c 19.2s| 90000 | 89245 | 0 | 0.0 | 33M|1596 | - |2504 | 713 | 0 | 0 | 0 |4117 | 0 | 0.000000e+00 | -- | Inf
21.90/21.99 c 21.2s|100000 | 99146 | 0 | 0.0 | 36M|1596 | - |2504 | 718 | 0 | 0 | 0 |4674 | 0 | 0.000000e+00 | -- | Inf
23.99/24.08 c 23.3s|110000 |109027 | 0 | 0.0 | 39M|1596 | - |2504 | 785 | 0 | 0 | 0 |5355 | 0 | 0.000000e+00 | -- | Inf
26.09/26.18 c 25.3s|120000 |118906 | 0 | 0.0 | 42M|1596 | - |2504 | 843 | 0 | 0 | 0 |6030 | 0 | 0.000000e+00 | -- | Inf
28.19/28.27 c 27.3s|130000 |128754 | 0 | 0.0 | 46M|1596 | - |2504 | 963 | 0 | 0 | 0 |6801 | 0 | 0.000000e+00 | -- | Inf
30.29/30.37 c 29.4s|140000 |138622 | 0 | 0.0 | 49M|1596 | - |2504 | 948 | 0 | 0 | 0 |7532 | 0 | 0.000000e+00 | -- | Inf
32.49/32.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.49/32.52 c 31.4s|150000 |148463 | 0 | 0.0 | 52M|1596 | - |2504 |1088 | 0 | 0 | 0 |8406 | 0 | 0.000000e+00 | -- | Inf
34.59/34.66 c 33.5s|160000 |158329 | 0 | 0.0 | 56M|1596 | - |2504 |1032 | 0 | 0 | 0 |9191 | 0 | 0.000000e+00 | -- | Inf
36.79/36.88 c 35.7s|170000 |168183 | 0 | 0.0 | 59M|1596 | - |2504 |1041 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
38.99/39.07 c 37.8s|180000 |178033 | 0 | 0.0 | 63M|1596 | - |2504 |1002 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
41.19/41.23 c 39.9s|190000 |187880 | 0 | 0.0 | 66M|1596 | - |2504 | 990 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
43.29/43.36 c 41.9s|200000 |197713 | 0 | 0.0 | 70M|1596 | - |2504 |1032 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
45.39/45.44 c 43.9s|210000 |207574 | 0 | 0.0 | 73M|1596 | - |2504 |1003 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
47.49/47.50 c 45.9s|220000 |217414 | 0 | 0.0 | 77M|1596 | - |2504 |1019 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
49.49/49.52 c 47.9s|230000 |227267 | 0 | 0.0 | 80M|1596 | - |2504 |1017 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
51.60/51.64 c 49.9s|240000 |237111 | 0 | 0.0 | 84M|1596 | - |2504 | 978 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
53.69/53.73 c 51.9s|250000 |246965 | 0 | 0.0 | 87M|1596 | - |2504 |1013 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
55.69/55.77 c 53.8s|260000 |256796 | 0 | 0.0 | 91M|1596 | - |2504 |1042 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
57.69/57.78 c 55.6s|270000 |266618 | 0 | 0.0 | 94M|1596 | - |2504 |1051 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
59.68/59.77 c 57.5s|280000 |276421 | 0 | 0.0 | 98M|1596 | - |2504 |1204 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
61.69/61.70 c 59.3s|290000 |286237 | 0 | 0.0 | 101M|1596 | - |2504 |1199 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
63.48/63.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.48/63.59 c 61.0s|300000 |296015 | 0 | 0.0 | 105M|1596 | - |2504 |1290 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
65.49/65.51 c 62.8s|310000 |305693 | 0 | 0.0 | 109M|1596 | - |2504 |1229 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
67.59/67.60 c 64.8s|320000 |314825 | 0 | 0.0 | 114M|1596 | - |2504 |1249 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
69.79/69.87 c 66.9s|330000 |323960 | 0 | 0.0 | 117M|1800 | - |2504 | 973 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
72.09/72.19 c 69.1s|340000 |333873 | 0 | 0.0 | 120M|1800 | - |2504 | 884 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
74.49/74.51 c 71.3s|350000 |343788 | 0 | 0.0 | 123M|1800 | - |2504 | 822 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
76.79/76.86 c 73.5s|360000 |353716 | 0 | 0.0 | 126M|1800 | - |2504 | 790 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
79.19/79.22 c 75.7s|370000 |363642 | 0 | 0.0 | 129M|1800 | - |2504 | 761 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
81.49/81.56 c 77.9s|380000 |373571 | 0 | 0.0 | 132M|1800 | - |2504 | 685 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
83.89/83.91 c 80.1s|390000 |383503 | 0 | 0.0 | 135M|1800 | - |2504 | 682 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
86.19/86.25 c 82.3s|400000 |393435 | 0 | 0.0 | 138M|1800 | - |2504 | 630 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
88.48/88.59 c 84.5s|410000 |403365 | 0 | 0.0 | 141M|1800 | - |2504 | 604 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
90.89/90.94 c 86.7s|420000 |413290 | 0 | 0.0 | 144M|1800 | - |2504 | 550 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
93.19/93.29 c 89.0s|430000 |423216 | 0 | 0.0 | 147M|1800 | - |2504 | 594 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
95.59/95.65 c 91.2s|440000 |433147 | 0 | 0.0 | 149M|1800 | - |2504 | 561 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
97.99/98.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.99/98.03 c 93.4s|450000 |443050 | 0 | 0.0 | 152M|1800 | - |2504 | 623 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
100.28/100.39 c 95.6s|460000 |452978 | 0 | 0.0 | 155M|1800 | - |2504 | 590 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
102.68/102.75 c 97.9s|470000 |462899 | 0 | 0.0 | 158M|1800 | - |2504 | 603 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
104.99/105.09 c 100s|480000 |472826 | 0 | 0.0 | 161M|1800 | - |2504 | 621 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
107.39/107.41 c 102s|490000 |482751 | 0 | 0.0 | 164M|1800 | - |2504 | 627 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
109.69/109.72 c 105s|500000 |492661 | 0 | 0.0 | 167M|1800 | - |2504 | 701 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
111.99/112.03 c 107s|510000 |502596 | 0 | 0.0 | 170M|1800 | - |2504 | 635 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
114.30/114.34 c 109s|520000 |512520 | 0 | 0.0 | 173M|1800 | - |2504 | 629 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
116.59/116.65 c 111s|530000 |522451 | 0 | 0.0 | 176M|1800 | - |2504 | 656 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
118.89/118.93 c 113s|540000 |532377 | 0 | 0.0 | 179M|1800 | - |2504 | 642 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
121.19/121.21 c 115s|550000 |542307 | 0 | 0.0 | 182M|1800 | - |2504 | 651 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
123.49/123.52 c 118s|560000 |552232 | 0 | 0.0 | 185M|1800 | - |2504 | 696 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
125.79/125.85 c 120s|570000 |562148 | 0 | 0.0 | 188M|1800 | - |2504 | 665 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
128.09/128.15 c 122s|580000 |572076 | 0 | 0.0 | 191M|1800 | - |2504 | 666 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
130.39/130.44 c 124s|590000 |582007 | 0 | 0.0 | 194M|1800 | - |2504 | 641 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
132.69/132.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.69/132.75 c 126s|600000 |591933 | 0 | 0.0 | 197M|1800 | - |2504 | 680 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
134.99/135.05 c 128s|610000 |601860 | 0 | 0.0 | 200M|1800 | - |2504 | 666 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
137.29/137.35 c 131s|620000 |611793 | 0 | 0.0 | 203M|1800 | - |2504 | 600 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
139.59/139.65 c 133s|630000 |621711 | 0 | 0.0 | 206M|1800 | - |2504 | 624 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
141.90/141.96 c 135s|640000 |631643 | 0 | 0.0 | 209M|1800 | - |2504 | 575 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
144.19/144.27 c 137s|650000 |641573 | 0 | 0.0 | 212M|1800 | - |2504 | 629 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
146.49/146.58 c 139s|660000 |651484 | 0 | 0.0 | 215M|1800 | - |2504 | 660 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
148.79/148.86 c 141s|670000 |661419 | 0 | 0.0 | 217M|1800 | - |2504 | 602 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
151.09/151.17 c 143s|680000 |671346 | 0 | 0.0 | 220M|1800 | - |2504 | 650 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
153.39/153.46 c 145s|690000 |681287 | 0 | 0.0 | 223M|1800 | - |2504 | 607 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
155.69/155.76 c 148s|700000 |691220 | 0 | 0.0 | 226M|1800 | - |2504 | 617 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
157.99/158.07 c 150s|710000 |701142 | 0 | 0.0 | 229M|1800 | - |2504 | 616 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
160.29/160.38 c 152s|720000 |711067 | 0 | 0.0 | 232M|1800 | - |2504 | 583 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
162.70/162.70 c 154s|730000 |720989 | 0 | 0.0 | 235M|1800 | - |2504 | 620 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
165.00/165.02 c 156s|740000 |730916 | 0 | 0.0 | 238M|1800 | - |2504 | 536 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
167.29/167.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.29/167.30 c 158s|750000 |740838 | 0 | 0.0 | 241M|1800 | - |2504 | 620 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
169.59/169.60 c 160s|760000 |750758 | 0 | 0.0 | 244M|1800 | - |2504 | 622 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
171.79/171.86 c 162s|770000 |760696 | 0 | 0.0 | 247M|1800 | - |2504 | 597 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
174.09/174.14 c 164s|780000 |770624 | 0 | 0.0 | 250M|1800 | - |2504 | 595 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
176.39/176.41 c 167s|790000 |780553 | 0 | 0.0 | 253M|1800 | - |2504 | 604 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
178.59/178.68 c 169s|800000 |790473 | 0 | 0.0 | 256M|1800 | - |2504 | 623 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
180.89/180.93 c 171s|810000 |800417 | 0 | 0.0 | 259M|1800 | - |2504 | 549 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
183.09/183.19 c 173s|820000 |810344 | 0 | 0.0 | 262M|1800 | - |2504 | 600 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
185.39/185.47 c 175s|830000 |820272 | 0 | 0.0 | 265M|1800 | - |2504 | 554 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
187.69/187.72 c 177s|840000 |830208 | 0 | 0.0 | 268M|1800 | - |2504 | 586 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
189.89/189.96 c 179s|850000 |840138 | 0 | 0.0 | 271M|1800 | - |2504 | 587 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
192.19/192.21 c 181s|860000 |850070 | 0 | 0.0 | 274M|1800 | - |2504 | 600 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
194.39/194.47 c 183s|870000 |860002 | 0 | 0.0 | 276M|1800 | - |2504 | 579 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
196.69/196.71 c 185s|880000 |869933 | 0 | 0.0 | 280M|1800 | - |2504 | 571 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
198.89/198.96 c 187s|890000 |879868 | 0 | 0.0 | 282M|1800 | - |2504 | 559 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
201.20/201.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.20/201.23 c 189s|900000 |889780 | 0 | 0.0 | 286M|1800 | - |2504 | 615 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
203.40/203.49 c 191s|910000 |899703 | 0 | 0.0 | 288M|1800 | - |2504 | 602 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
205.70/205.76 c 193s|920000 |909634 | 0 | 0.0 | 291M|1800 | - |2504 | 542 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
207.99/208.03 c 196s|930000 |919551 | 0 | 0.0 | 294M|1800 | - |2504 | 577 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
210.19/210.29 c 198s|940000 |929477 | 0 | 0.0 | 297M|1800 | - |2504 | 594 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
212.49/212.55 c 200s|950000 |939414 | 0 | 0.0 | 300M|1800 | - |2504 | 535 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
214.79/214.81 c 202s|960000 |949334 | 0 | 0.0 | 303M|1800 | - |2504 | 626 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
216.99/217.09 c 204s|970000 |959248 | 0 | 0.0 | 306M|1800 | - |2504 | 613 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
219.29/219.36 c 206s|980000 |969174 | 0 | 0.0 | 309M|1800 | - |2504 | 619 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
221.59/221.62 c 208s|990000 |979094 | 0 | 0.0 | 312M|1800 | - |2504 | 644 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
223.79/223.88 c 210s| 1000k|989014 | 0 | 0.0 | 315M|1800 | - |2504 | 665 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
226.09/226.16 c 212s| 1010k|998933 | 0 | 0.0 | 318M|1800 | - |2504 | 660 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
228.39/228.42 c 214s| 1020k| 1008k| 0 | 0.0 | 321M|1800 | - |2504 | 634 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
230.60/230.68 c 216s| 1030k| 1018k| 0 | 0.0 | 324M|1800 | - |2504 | 626 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
232.89/232.93 c 219s| 1040k| 1028k| 0 | 0.0 | 327M|1800 | - |2504 | 649 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
235.19/235.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.19/235.20 c 221s| 1050k| 1038k| 0 | 0.0 | 330M|1800 | - |2504 | 627 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
237.39/237.47 c 223s| 1060k| 1048k| 0 | 0.0 | 333M|1800 | - |2504 | 640 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
239.69/239.73 c 225s| 1070k| 1058k| 0 | 0.0 | 336M|1800 | - |2504 | 619 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
241.90/241.98 c 227s| 1080k| 1068k| 0 | 0.0 | 339M|1800 | - |2504 | 585 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
244.20/244.28 c 229s| 1090k| 1078k| 0 | 0.0 | 342M|1800 | - |2504 | 658 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
246.59/246.60 c 231s| 1100k| 1088k| 0 | 0.0 | 345M|1800 | - |2504 | 641 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
248.79/248.88 c 233s| 1110k| 1098k| 0 | 0.0 | 348M|1800 | - |2504 | 653 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
251.10/251.18 c 235s| 1120k| 1108k| 0 | 0.0 | 350M|1800 | - |2504 | 627 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
253.39/253.46 c 237s| 1130k| 1118k| 0 | 0.0 | 353M|1800 | - |2504 | 596 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
255.69/255.73 c 239s| 1140k| 1127k| 0 | 0.0 | 356M|1800 | - |2504 | 629 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
257.99/258.02 c 242s| 1150k| 1137k| 0 | 0.0 | 359M|1800 | - |2504 | 626 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
260.19/260.29 c 244s| 1160k| 1147k| 0 | 0.0 | 362M|1800 | - |2504 | 580 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
262.50/262.53 c 246s| 1170k| 1157k| 0 | 0.0 | 365M|1800 | - |2504 | 649 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
264.79/264.81 c 248s| 1180k| 1167k| 0 | 0.0 | 368M|1800 | - |2504 | 649 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
266.99/267.09 c 250s| 1190k| 1177k| 0 | 0.0 | 371M|1800 | - |2504 | 683 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
269.29/269.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.29/269.36 c 252s| 1200k| 1187k| 0 | 0.0 | 374M|1800 | - |2504 | 677 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
271.60/271.62 c 254s| 1210k| 1197k| 0 | 0.0 | 377M|1800 | - |2504 | 651 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
273.80/273.89 c 256s| 1220k| 1207k| 0 | 0.0 | 380M|1800 | - |2504 | 670 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
276.10/276.15 c 258s| 1230k| 1217k| 0 | 0.0 | 383M|1800 | - |2504 | 701 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
278.39/278.42 c 260s| 1240k| 1227k| 0 | 0.0 | 386M|1800 | - |2504 | 699 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
280.69/280.70 c 262s| 1250k| 1237k| 0 | 0.0 | 389M|1800 | - |2504 | 686 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
282.89/282.94 c 264s| 1260k| 1247k| 0 | 0.0 | 392M|1800 | - |2504 | 641 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
285.10/285.19 c 267s| 1270k| 1256k| 0 | 0.0 | 395M|1800 | - |2504 | 648 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
287.39/287.45 c 269s| 1280k| 1266k| 0 | 0.0 | 398M|1800 | - |2504 | 663 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
289.69/289.71 c 271s| 1290k| 1276k| 0 | 0.0 | 401M|1800 | - |2504 | 656 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
291.90/291.96 c 273s| 1300k| 1286k| 0 | 0.0 | 404M|1800 | - |2504 | 664 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
294.20/294.22 c 275s| 1310k| 1296k| 0 | 0.0 | 406M|1800 | - |2504 | 651 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
296.39/296.48 c 277s| 1320k| 1306k| 0 | 0.0 | 409M|1800 | - |2504 | 670 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
298.70/298.79 c 279s| 1330k| 1316k| 0 | 0.0 | 412M|1800 | - |2504 | 677 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
301.09/301.18 c 281s| 1340k| 1326k| 0 | 0.0 | 415M|1800 | - |2504 | 667 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
303.49/303.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.49/303.52 c 284s| 1350k| 1336k| 0 | 0.0 | 418M|1800 | - |2504 | 705 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
305.79/305.88 c 286s| 1360k| 1346k| 0 | 0.0 | 421M|1800 | - |2504 | 626 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
308.18/308.23 c 288s| 1370k| 1356k| 0 | 0.0 | 424M|1800 | - |2504 | 634 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
310.48/310.58 c 290s| 1380k| 1366k| 0 | 0.0 | 427M|1800 | - |2504 | 630 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
312.88/312.95 c 292s| 1390k| 1376k| 0 | 0.0 | 430M|1800 | - |2504 | 680 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
315.28/315.32 c 294s| 1400k| 1386k| 0 | 0.0 | 433M|1800 | - |2504 | 627 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
317.69/317.70 c 297s| 1410k| 1395k| 0 | 0.0 | 436M|1800 | - |2504 | 615 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
319.99/320.07 c 299s| 1420k| 1405k| 0 | 0.0 | 439M|1800 | - |2504 | 636 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
322.38/322.43 c 301s| 1430k| 1415k| 0 | 0.0 | 442M|1800 | - |2504 | 642 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
324.68/324.79 c 303s| 1440k| 1425k| 0 | 0.0 | 445M|1800 | - |2504 | 683 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
327.09/327.14 c 305s| 1450k| 1435k| 0 | 0.0 | 448M|1800 | - |2504 | 644 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
329.49/329.53 c 308s| 1460k| 1445k| 0 | 0.0 | 451M|1800 | - |2504 | 646 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
331.78/331.87 c 310s| 1470k| 1455k| 0 | 0.0 | 454M|1800 | - |2504 | 640 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
334.18/334.22 c 312s| 1480k| 1465k| 0 | 0.0 | 457M|1800 | - |2504 | 649 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
336.49/336.57 c 314s| 1490k| 1475k| 0 | 0.0 | 460M|1800 | - |2504 | 691 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
338.89/338.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.89/338.92 c 317s| 1500k| 1485k| 0 | 0.0 | 463M|1800 | - |2504 | 679 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
341.18/341.27 c 319s| 1510k| 1495k| 0 | 0.0 | 466M|1800 | - |2504 | 684 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
343.58/343.63 c 321s| 1520k| 1505k| 0 | 0.0 | 468M|1800 | - |2504 | 647 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
345.88/345.97 c 323s| 1530k| 1514k| 0 | 0.0 | 471M|1800 | - |2504 | 682 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
348.29/348.31 c 325s| 1540k| 1524k| 0 | 0.0 | 474M|1800 | - |2504 | 692 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
350.59/350.69 c 328s| 1550k| 1534k| 0 | 0.0 | 477M|1800 | - |2504 | 700 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
352.99/353.08 c 330s| 1560k| 1544k| 0 | 0.0 | 480M|1800 | - |2504 | 670 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
355.39/355.41 c 332s| 1570k| 1554k| 0 | 0.0 | 483M|1800 | - |2504 | 681 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
357.68/357.74 c 334s| 1580k| 1564k| 0 | 0.0 | 486M|1800 | - |2504 | 651 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
360.08/360.10 c 337s| 1590k| 1574k| 0 | 0.0 | 489M|1800 | - |2504 | 668 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
362.38/362.43 c 339s| 1600k| 1584k| 0 | 0.0 | 492M|1800 | - |2504 | 630 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
364.68/364.79 c 341s| 1610k| 1594k| 0 | 0.0 | 495M|1800 | - |2504 | 624 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
367.09/367.15 c 343s| 1620k| 1604k| 0 | 0.0 | 498M|1800 | - |2504 | 665 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
369.49/369.51 c 346s| 1630k| 1614k| 0 | 0.0 | 501M|1800 | - |2504 | 701 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
371.79/371.85 c 348s| 1640k| 1624k| 0 | 0.0 | 504M|1800 | - |2504 | 683 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
374.18/374.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.18/374.23 c 350s| 1650k| 1634k| 0 | 0.0 | 507M|1800 | - |2504 | 689 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
376.57/376.63 c 352s| 1660k| 1643k| 0 | 0.0 | 510M|1800 | - |2504 | 743 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
378.88/378.98 c 355s| 1670k| 1653k| 0 | 0.0 | 513M|1800 | - |2504 | 725 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
381.28/381.36 c 357s| 1680k| 1663k| 0 | 0.0 | 516M|1800 | - |2504 | 712 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
383.57/383.69 c 359s| 1690k| 1673k| 0 | 0.0 | 519M|1800 | - |2504 | 701 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
385.88/385.96 c 362s| 1700k| 1683k| 0 | 0.0 | 522M|1800 | - |2504 | 689 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
388.19/388.22 c 364s| 1710k| 1693k| 0 | 0.0 | 525M|1800 | - |2504 | 713 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
390.39/390.50 c 366s| 1720k| 1703k| 0 | 0.0 | 528M|1800 | - |2504 | 772 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
392.68/392.78 c 368s| 1730k| 1713k| 0 | 0.0 | 531M|1800 | - |2504 | 687 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
394.98/395.05 c 370s| 1740k| 1723k| 0 | 0.0 | 534M|1800 | - |2504 | 740 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
397.28/397.31 c 373s| 1750k| 1733k| 0 | 0.0 | 537M|1800 | - |2504 | 714 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
399.58/399.60 c 375s| 1760k| 1743k| 0 | 0.0 | 539M|1800 | - |2504 | 730 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
401.78/401.87 c 377s| 1770k| 1753k| 0 | 0.0 | 542M|1800 | - |2504 | 728 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
404.08/404.12 c 379s| 1780k| 1762k| 0 | 0.0 | 545M|1800 | - |2504 | 748 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
406.28/406.36 c 381s| 1790k| 1772k| 0 | 0.0 | 548M|1800 | - |2504 | 693 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
408.58/408.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.58/408.62 c 383s| 1800k| 1782k| 0 | 0.0 | 551M|1800 | - |2504 | 676 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
410.78/410.89 c 386s| 1810k| 1792k| 0 | 0.0 | 554M|1800 | - |2504 | 679 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
413.08/413.17 c 388s| 1820k| 1802k| 0 | 0.0 | 557M|1800 | - |2504 | 743 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
415.38/415.40 c 390s| 1830k| 1812k| 0 | 0.0 | 560M|1800 | - |2504 | 730 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
417.58/417.66 c 392s| 1840k| 1822k| 0 | 0.0 | 563M|1800 | - |2504 | 713 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
419.88/419.91 c 394s| 1850k| 1832k| 0 | 0.0 | 566M|1800 | - |2504 | 714 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
422.08/422.16 c 397s| 1860k| 1842k| 0 | 0.0 | 569M|1800 | - |2504 | 685 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
424.38/424.41 c 399s| 1870k| 1852k| 0 | 0.0 | 572M|1800 | - |2504 | 673 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
426.58/426.65 c 401s| 1880k| 1862k| 0 | 0.0 | 575M|1800 | - |2504 | 708 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
428.88/428.91 c 403s| 1890k| 1872k| 0 | 0.0 | 578M|1800 | - |2504 | 629 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
431.08/431.15 c 405s| 1900k| 1882k| 0 | 0.0 | 581M|1800 | - |2504 | 670 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
433.28/433.38 c 408s| 1910k| 1891k| 0 | 0.0 | 584M|1800 | - |2504 | 739 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
435.59/435.61 c 410s| 1920k| 1901k| 0 | 0.0 | 587M|1800 | - |2504 | 695 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
437.78/437.87 c 412s| 1930k| 1911k| 0 | 0.0 | 590M|1800 | - |2504 | 756 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
440.08/440.12 c 414s| 1940k| 1921k| 0 | 0.0 | 593M|1800 | - |2504 | 680 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
442.37/442.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.37/442.42 c 416s| 1950k| 1931k| 0 | 0.0 | 596M|1800 | - |2504 | 708 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
444.68/444.72 c 418s| 1960k| 1941k| 0 | 0.0 | 599M|1800 | - |2504 | 679 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
446.98/447.00 c 421s| 1970k| 1951k| 0 | 0.0 | 602M|1800 | - |2504 | 718 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
449.18/449.27 c 423s| 1980k| 1961k| 0 | 0.0 | 605M|1800 | - |2504 | 707 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
451.47/451.55 c 425s| 1990k| 1971k| 0 | 0.0 | 608M|1800 | - |2504 | 673 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
453.77/453.82 c 427s| 2000k| 1981k| 0 | 0.0 | 610M|1800 | - |2504 | 682 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
455.98/456.07 c 430s| 2010k| 1991k| 0 | 0.0 | 613M|1800 | - |2504 | 686 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
458.17/458.30 c 432s| 2020k| 2001k| 0 | 0.0 | 616M|1800 | - |2504 | 678 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
460.47/460.55 c 434s| 2030k| 2011k| 0 | 0.0 | 619M|1800 | - |2504 | 687 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
462.77/462.80 c 436s| 2040k| 2020k| 0 | 0.0 | 622M|1800 | - |2504 | 752 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
465.08/465.11 c 438s| 2050k| 2030k| 0 | 0.0 | 625M|1800 | - |2504 | 701 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
467.28/467.36 c 440s| 2060k| 2040k| 0 | 0.0 | 628M|1800 | - |2504 | 707 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
469.48/469.60 c 443s| 2070k| 2050k| 0 | 0.0 | 631M|1800 | - |2504 | 779 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
471.78/471.84 c 445s| 2080k| 2060k| 0 | 0.0 | 634M|1800 | - |2504 | 726 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
474.08/474.14 c 447s| 2090k| 2070k| 0 | 0.0 | 637M|1800 | - |2504 | 724 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
476.37/476.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.37/476.41 c 449s| 2100k| 2080k| 0 | 0.0 | 640M|1800 | - |2504 | 770 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
478.58/478.68 c 451s| 2110k| 2090k| 0 | 0.0 | 643M|1800 | - |2504 | 721 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
480.88/480.93 c 454s| 2120k| 2100k| 0 | 0.0 | 646M|1800 | - |2504 | 724 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
483.18/483.20 c 456s| 2130k| 2110k| 0 | 0.0 | 649M|1800 | - |2504 | 695 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
485.38/485.42 c 458s| 2140k| 2120k| 0 | 0.0 | 652M|1800 | - |2504 | 741 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
487.57/487.67 c 460s| 2150k| 2130k| 0 | 0.0 | 655M|1800 | - |2504 | 735 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
489.88/489.91 c 462s| 2160k| 2139k| 0 | 0.0 | 658M|1800 | - |2504 | 763 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
492.07/492.17 c 465s| 2170k| 2149k| 0 | 0.0 | 661M|1800 | - |2504 | 771 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
494.38/494.40 c 467s| 2180k| 2159k| 0 | 0.0 | 664M|1800 | - |2504 | 734 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
496.58/496.64 c 469s| 2190k| 2169k| 0 | 0.0 | 667M|1800 | - |2504 | 736 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
498.78/498.87 c 471s| 2200k| 2179k| 0 | 0.0 | 670M|1800 | - |2504 | 693 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
501.08/501.15 c 473s| 2210k| 2189k| 0 | 0.0 | 673M|1800 | - |2504 | 724 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
503.38/503.43 c 475s| 2220k| 2199k| 0 | 0.0 | 676M|1800 | - |2504 | 653 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
505.68/505.71 c 478s| 2230k| 2209k| 0 | 0.0 | 679M|1800 | - |2504 | 712 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
507.88/507.99 c 480s| 2240k| 2219k| 0 | 0.0 | 682M|1800 | - |2504 | 791 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
510.18/510.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.18/510.23 c 482s| 2250k| 2229k| 0 | 0.0 | 685M|1800 | - |2504 | 734 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
512.38/512.47 c 484s| 2260k| 2239k| 0 | 0.0 | 688M|1800 | - |2504 | 759 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
514.58/514.70 c 486s| 2270k| 2249k| 0 | 0.0 | 690M|1800 | - |2504 | 742 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
516.88/516.93 c 489s| 2280k| 2259k| 0 | 0.0 | 693M|1800 | - |2504 | 745 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
519.08/519.17 c 491s| 2290k| 2268k| 0 | 0.0 | 696M|1800 | - |2504 | 760 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
521.38/521.47 c 493s| 2300k| 2278k| 0 | 0.0 | 699M|1800 | - |2504 | 741 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
523.68/523.71 c 495s| 2310k| 2288k| 0 | 0.0 | 702M|1800 | - |2504 | 782 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
525.87/525.93 c 497s| 2320k| 2298k| 0 | 0.0 | 705M|1800 | - |2504 | 769 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
528.08/528.16 c 499s| 2330k| 2308k| 0 | 0.0 | 708M|1800 | - |2504 | 732 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
530.28/530.39 c 502s| 2340k| 2318k| 0 | 0.0 | 711M|1800 | - |2504 | 716 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
532.58/532.65 c 504s| 2350k| 2328k| 0 | 0.0 | 714M|1800 | - |2504 | 746 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
534.78/534.89 c 506s| 2360k| 2338k| 0 | 0.0 | 717M|1800 | - |2504 | 670 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
537.08/537.14 c 508s| 2370k| 2348k| 0 | 0.0 | 720M|1800 | - |2504 | 722 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
539.28/539.37 c 510s| 2380k| 2358k| 0 | 0.0 | 723M|1800 | - |2504 | 797 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
541.57/541.64 c 512s| 2390k| 2368k| 0 | 0.0 | 726M|1800 | - |2504 | 776 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
543.78/543.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.78/543.89 c 515s| 2400k| 2378k| 0 | 0.0 | 729M|1800 | - |2504 | 730 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
546.08/546.14 c 517s| 2410k| 2388k| 0 | 0.0 | 732M|1800 | - |2504 | 738 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
548.28/548.38 c 519s| 2420k| 2397k| 0 | 0.0 | 735M|1800 | - |2504 | 712 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
550.57/550.63 c 521s| 2430k| 2407k| 0 | 0.0 | 738M|1800 | - |2504 | 702 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
552.77/552.88 c 523s| 2440k| 2417k| 0 | 0.0 | 741M|1800 | - |2504 | 751 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
554.98/555.09 c 525s| 2450k| 2427k| 0 | 0.0 | 744M|1800 | - |2504 | 698 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
557.27/557.34 c 528s| 2460k| 2437k| 0 | 0.0 | 747M|1800 | - |2504 | 705 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
559.58/559.61 c 530s| 2470k| 2447k| 0 | 0.0 | 750M|1800 | - |2504 | 672 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
561.78/561.88 c 532s| 2480k| 2457k| 0 | 0.0 | 753M|1800 | - |2504 | 713 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
564.08/564.11 c 534s| 2490k| 2467k| 0 | 0.0 | 756M|1800 | - |2504 | 694 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
566.28/566.35 c 536s| 2500k| 2477k| 0 | 0.0 | 759M|1800 | - |2504 | 691 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
568.48/568.59 c 539s| 2510k| 2487k| 0 | 0.0 | 762M|1800 | - |2504 | 683 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
570.79/570.85 c 541s| 2520k| 2497k| 0 | 0.0 | 765M|1800 | - |2504 | 722 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
572.98/573.09 c 543s| 2530k| 2507k| 0 | 0.0 | 768M|1800 | - |2504 | 728 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
575.28/575.35 c 545s| 2540k| 2516k| 0 | 0.0 | 771M|1800 | - |2504 | 742 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
577.49/577.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.49/577.59 c 547s| 2550k| 2526k| 0 | 0.0 | 774M|1800 | - |2504 | 769 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
579.78/579.86 c 550s| 2560k| 2536k| 0 | 0.0 | 777M|1800 | - |2504 | 751 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
582.08/582.13 c 552s| 2570k| 2546k| 0 | 0.0 | 780M|1800 | - |2504 | 734 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
584.28/584.36 c 554s| 2580k| 2556k| 0 | 0.0 | 783M|1800 | - |2504 | 744 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
586.58/586.62 c 556s| 2590k| 2566k| 0 | 0.0 | 786M|1800 | - |2504 | 750 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
588.78/588.85 c 558s| 2600k| 2576k| 0 | 0.0 | 789M|1800 | - |2504 | 772 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
591.07/591.10 c 560s| 2610k| 2586k| 0 | 0.0 | 792M|1800 | - |2504 | 729 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
593.28/593.34 c 563s| 2620k| 2596k| 0 | 0.0 | 795M|1800 | - |2504 | 738 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
595.47/595.57 c 565s| 2630k| 2606k| 0 | 0.0 | 798M|1800 | - |2504 | 776 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
597.78/597.81 c 567s| 2640k| 2616k| 0 | 0.0 | 801M|1800 | - |2504 | 799 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
599.98/600.06 c 569s| 2650k| 2626k| 0 | 0.0 | 804M|1800 | - |2504 | 782 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
602.27/602.31 c 571s| 2660k| 2635k| 0 | 0.0 | 807M|1800 | - |2504 | 865 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
604.47/604.55 c 574s| 2670k| 2645k| 0 | 0.0 | 809M|1800 | - |2504 | 774 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
606.68/606.78 c 576s| 2680k| 2655k| 0 | 0.0 | 812M|1800 | - |2504 | 800 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
608.98/609.04 c 578s| 2690k| 2665k| 0 | 0.0 | 815M|1800 | - |2504 | 823 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
611.18/611.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.18/611.29 c 580s| 2700k| 2675k| 0 | 0.0 | 818M|1800 | - |2504 | 799 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
613.48/613.53 c 582s| 2710k| 2685k| 0 | 0.0 | 821M|1800 | - |2504 | 805 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
615.67/615.76 c 584s| 2720k| 2695k| 0 | 0.0 | 824M|1800 | - |2504 | 795 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
617.98/618.04 c 587s| 2730k| 2705k| 0 | 0.0 | 827M|1800 | - |2504 | 773 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
620.18/620.29 c 589s| 2740k| 2715k| 0 | 0.0 | 830M|1800 | - |2504 | 729 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
622.48/622.55 c 591s| 2750k| 2725k| 0 | 0.0 | 833M|1800 | - |2504 | 761 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
624.68/624.80 c 593s| 2760k| 2735k| 0 | 0.0 | 836M|1800 | - |2504 | 739 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
627.08/627.10 c 595s| 2770k| 2745k| 0 | 0.0 | 839M|1800 | - |2504 | 745 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
629.27/629.35 c 598s| 2780k| 2755k| 0 | 0.0 | 842M|1800 | - |2504 | 728 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
631.58/631.60 c 600s| 2790k| 2764k| 0 | 0.0 | 845M|1800 | - |2504 | 749 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
633.77/633.88 c 602s| 2800k| 2774k| 0 | 0.0 | 848M|1800 | - |2504 | 759 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
636.08/636.15 c 604s| 2810k| 2784k| 0 | 0.0 | 851M|1800 | - |2504 | 788 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
638.38/638.41 c 606s| 2820k| 2794k| 0 | 0.0 | 854M|1800 | - |2504 | 739 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
640.58/640.67 c 609s| 2830k| 2804k| 0 | 0.0 | 857M|1800 | - |2504 | 738 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
642.87/642.95 c 611s| 2840k| 2814k| 0 | 0.0 | 860M|1800 | - |2504 | 769 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
645.17/645.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.17/645.23 c 613s| 2850k| 2824k| 0 | 0.0 | 863M|1800 | - |2504 | 770 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
647.38/647.49 c 615s| 2860k| 2834k| 0 | 0.0 | 866M|1800 | - |2504 | 778 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
649.68/649.74 c 617s| 2870k| 2844k| 0 | 0.0 | 869M|1800 | - |2504 | 758 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
651.88/651.97 c 620s| 2880k| 2854k| 0 | 0.0 | 872M|1800 | - |2504 | 731 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
654.18/654.24 c 622s| 2890k| 2864k| 0 | 0.0 | 875M|1800 | - |2504 | 770 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
656.38/656.49 c 624s| 2900k| 2874k| 0 | 0.0 | 877M|1800 | - |2504 | 744 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
658.68/658.73 c 626s| 2910k| 2883k| 0 | 0.0 | 880M|1800 | - |2504 | 792 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
660.88/660.97 c 628s| 2920k| 2893k| 0 | 0.0 | 883M|1800 | - |2504 | 783 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
663.18/663.23 c 630s| 2930k| 2903k| 0 | 0.0 | 886M|1800 | - |2504 | 781 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
665.38/665.48 c 633s| 2940k| 2913k| 0 | 0.0 | 889M|1800 | - |2504 | 798 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
667.68/667.74 c 635s| 2950k| 2923k| 0 | 0.0 | 892M|1800 | - |2504 | 798 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
669.98/670.05 c 637s| 2960k| 2933k| 0 | 0.0 | 895M|1800 | - |2504 | 867 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
672.17/672.29 c 639s| 2970k| 2943k| 0 | 0.0 | 898M|1800 | - |2504 | 824 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
674.47/674.51 c 641s| 2980k| 2953k| 0 | 0.0 | 901M|1800 | - |2504 | 798 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
676.67/676.75 c 644s| 2990k| 2963k| 0 | 0.0 | 904M|1800 | - |2504 | 771 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
678.88/678.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.88/678.99 c 646s| 3000k| 2973k| 0 | 0.0 | 907M|1800 | - |2504 | 734 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
681.17/681.23 c 648s| 3010k| 2983k| 0 | 0.0 | 910M|1800 | - |2504 | 798 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
683.47/683.50 c 650s| 3020k| 2993k| 0 | 0.0 | 913M|1800 | - |2504 | 795 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
685.68/685.73 c 652s| 3030k| 3002k| 0 | 0.0 | 916M|1800 | - |2504 | 746 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
687.87/687.97 c 654s| 3040k| 3012k| 0 | 0.0 | 919M|1800 | - |2504 | 773 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
690.18/690.21 c 657s| 3050k| 3022k| 0 | 0.0 | 922M|1800 | - |2504 | 778 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
692.37/692.46 c 659s| 3060k| 3032k| 0 | 0.0 | 925M|1800 | - |2504 | 764 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
694.68/694.71 c 661s| 3070k| 3042k| 0 | 0.0 | 928M|1800 | - |2504 | 769 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
696.88/696.94 c 663s| 3080k| 3052k| 0 | 0.0 | 931M|1800 | - |2504 | 754 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
699.17/699.25 c 665s| 3090k| 3062k| 0 | 0.0 | 934M|1800 | - |2504 | 823 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
701.48/701.50 c 668s| 3100k| 3072k| 0 | 0.0 | 937M|1800 | - |2504 | 767 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
703.67/703.74 c 670s| 3110k| 3082k| 0 | 0.0 | 939M|1800 | - |2504 | 713 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
705.98/706.01 c 672s| 3120k| 3092k| 0 | 0.0 | 943M|1800 | - |2504 | 789 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
708.18/708.29 c 674s| 3130k| 3102k| 0 | 0.0 | 945M|1800 | - |2504 | 758 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
710.48/710.55 c 676s| 3140k| 3112k| 0 | 0.0 | 948M|1800 | - |2504 | 675 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
712.79/712.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.79/712.82 c 679s| 3150k| 3121k| 0 | 0.0 | 951M|1800 | - |2504 | 778 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
714.98/715.07 c 681s| 3160k| 3131k| 0 | 0.0 | 954M|1800 | - |2504 | 733 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
717.18/717.28 c 683s| 3170k| 3141k| 0 | 0.0 | 957M|1800 | - |2504 | 707 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
719.47/719.54 c 685s| 3180k| 3151k| 0 | 0.0 | 960M|1800 | - |2504 | 723 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
721.67/721.76 c 687s| 3190k| 3161k| 0 | 0.0 | 963M|1800 | - |2504 | 748 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
723.88/723.98 c 689s| 3200k| 3171k| 0 | 0.0 | 966M|1800 | - |2504 | 785 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
726.18/726.21 c 692s| 3210k| 3181k| 0 | 0.0 | 969M|1800 | - |2504 | 762 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
728.38/728.42 c 694s| 3220k| 3191k| 0 | 0.0 | 972M|1800 | - |2504 | 771 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
730.58/730.67 c 696s| 3230k| 3201k| 0 | 0.0 | 975M|1800 | - |2504 | 805 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
732.98/733.01 c 698s| 3240k| 3211k| 0 | 0.0 | 978M|1800 | - |2504 | 816 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
735.18/735.22 c 700s| 3250k| 3221k| 0 | 0.0 | 981M|1800 | - |2504 | 836 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
737.37/737.48 c 703s| 3260k| 3231k| 0 | 0.0 | 984M|1800 | - |2504 | 805 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
739.68/739.70 c 705s| 3270k| 3240k| 0 | 0.0 | 987M|1800 | - |2504 | 767 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
741.88/741.93 c 707s| 3280k| 3250k| 0 | 0.0 | 990M|1800 | - |2504 | 806 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
744.07/744.18 c 709s| 3290k| 3260k| 0 | 0.0 | 993M|1800 | - |2504 | 749 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
746.38/746.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.38/746.41 c 711s| 3300k| 3270k| 0 | 0.0 | 996M|1800 | - |2504 | 770 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
748.58/748.67 c 713s| 3310k| 3280k| 0 | 0.0 | 999M|1800 | - |2504 | 764 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
750.87/750.91 c 716s| 3320k| 3290k| 0 | 0.0 |1002M|1800 | - |2504 | 723 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
753.07/753.17 c 718s| 3330k| 3300k| 0 | 0.0 |1005M|1800 | - |2504 | 730 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
755.38/755.42 c 720s| 3340k| 3310k| 0 | 0.0 |1008M|1800 | - |2504 | 738 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
757.58/757.68 c 722s| 3350k| 3320k| 0 | 0.0 |1011M|1800 | - |2504 | 710 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
759.87/759.92 c 724s| 3360k| 3330k| 0 | 0.0 |1014M|1800 | - |2504 | 726 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
762.07/762.14 c 727s| 3370k| 3340k| 0 | 0.0 |1017M|1800 | - |2504 | 739 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
764.28/764.39 c 729s| 3380k| 3350k| 0 | 0.0 |1020M|1800 | - |2504 | 754 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
766.58/766.60 c 731s| 3390k| 3359k| 0 | 0.0 |1023M|1800 | - |2504 | 730 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
768.78/768.85 c 733s| 3400k| 3369k| 0 | 0.0 |1026M|1800 | - |2504 | 810 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
770.98/771.08 c 735s| 3410k| 3379k| 0 | 0.0 |1029M|1800 | - |2504 | 787 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
773.28/773.32 c 737s| 3420k| 3389k| 0 | 0.0 |1032M|1800 | - |2504 | 841 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
775.58/775.60 c 740s| 3430k| 3399k| 0 | 0.0 |1035M|1800 | - |2504 | 821 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
777.78/777.86 c 742s| 3440k| 3409k| 0 | 0.0 |1038M|1800 | - |2504 | 842 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
780.08/780.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.08/780.11 c 744s| 3450k| 3419k| 0 | 0.0 |1041M|1800 | - |2504 | 822 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
782.38/782.42 c 746s| 3460k| 3429k| 0 | 0.0 |1044M|1800 | - |2504 | 836 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
784.68/784.70 c 748s| 3470k| 3439k| 0 | 0.0 |1046M|1800 | - |2504 | 819 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
786.88/786.95 c 751s| 3480k| 3449k| 0 | 0.0 |1049M|1800 | - |2504 | 766 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
789.18/789.25 c 753s| 3490k| 3459k| 0 | 0.0 |1052M|1800 | - |2504 | 820 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
791.48/791.54 c 755s| 3500k| 3469k| 0 | 0.0 |1055M|1800 | - |2504 | 795 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
793.78/793.80 c 757s| 3510k| 3478k| 0 | 0.0 |1058M|1800 | - |2504 | 784 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
795.97/796.03 c 759s| 3520k| 3488k| 0 | 0.0 |1061M|1800 | - |2504 | 821 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
798.28/798.30 c 762s| 3530k| 3498k| 0 | 0.0 |1064M|1800 | - |2504 | 800 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
800.48/800.56 c 764s| 3540k| 3508k| 0 | 0.0 |1067M|1800 | - |2504 | 827 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
802.78/802.81 c 766s| 3550k| 3518k| 0 | 0.0 |1070M|1800 | - |2504 | 835 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
804.98/805.07 c 768s| 3560k| 3528k| 0 | 0.0 |1073M|1800 | - |2504 | 835 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
807.28/807.30 c 770s| 3570k| 3538k| 0 | 0.0 |1076M|1800 | - |2504 | 825 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
809.48/809.54 c 772s| 3580k| 3548k| 0 | 0.0 |1079M|1800 | - |2504 | 840 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
811.78/811.81 c 775s| 3590k| 3558k| 0 | 0.0 |1082M|1800 | - |2504 | 893 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
813.98/814.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.98/814.06 c 777s| 3600k| 3568k| 0 | 0.0 |1085M|1800 | - |2504 | 818 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
816.28/816.33 c 779s| 3610k| 3578k| 0 | 0.0 |1088M|1800 | - |2504 | 863 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
818.48/818.59 c 781s| 3620k| 3587k| 0 | 0.0 |1091M|1800 | - |2504 | 895 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
820.78/820.81 c 783s| 3630k| 3597k| 0 | 0.0 |1093M|1800 | - |2504 | 855 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
822.98/823.04 c 786s| 3640k| 3607k| 0 | 0.0 |1097M|1800 | - |2504 | 899 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
825.18/825.28 c 788s| 3650k| 3617k| 0 | 0.0 |1099M|1800 | - |2504 | 963 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
827.48/827.51 c 790s| 3660k| 3627k| 0 | 0.0 |1102M|1800 | - |2504 | 939 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
829.68/829.76 c 792s| 3670k| 3637k| 0 | 0.0 |1105M|1800 | - |2504 | 912 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
831.88/831.99 c 794s| 3680k| 3647k| 0 | 0.0 |1108M|1800 | - |2504 | 875 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
834.18/834.21 c 796s| 3690k| 3657k| 0 | 0.0 |1111M|1800 | - |2504 | 866 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
836.38/836.44 c 799s| 3700k| 3667k| 0 | 0.0 |1114M|1800 | - |2504 | 870 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
838.57/838.66 c 801s| 3710k| 3677k| 0 | 0.0 |1117M|1800 | - |2504 | 852 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
840.88/840.92 c 803s| 3720k| 3687k| 0 | 0.0 |1120M|1800 | - |2504 | 912 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
843.08/843.18 c 805s| 3730k| 3697k| 0 | 0.0 |1123M|1800 | - |2504 | 860 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
845.38/845.42 c 807s| 3740k| 3707k| 0 | 0.0 |1126M|1800 | - |2504 | 827 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
847.58/847.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.58/847.65 c 809s| 3750k| 3716k| 0 | 0.0 |1129M|1800 | - |2504 | 857 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
849.78/849.86 c 812s| 3760k| 3726k| 0 | 0.0 |1132M|1800 | - |2504 | 873 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
851.98/852.07 c 814s| 3770k| 3736k| 0 | 0.0 |1135M|1800 | - |2504 | 868 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
854.27/854.33 c 816s| 3780k| 3746k| 0 | 0.0 |1138M|1800 | - |2504 | 872 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
856.58/856.61 c 818s| 3790k| 3756k| 0 | 0.0 |1141M|1800 | - |2504 | 925 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
858.78/858.86 c 820s| 3800k| 3766k| 0 | 0.0 |1144M|1800 | - |2504 | 860 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
860.98/861.09 c 822s| 3810k| 3776k| 0 | 0.0 |1147M|1800 | - |2504 | 834 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
863.27/863.31 c 825s| 3820k| 3786k| 0 | 0.0 |1150M|1800 | - |2504 | 802 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
865.48/865.55 c 827s| 3830k| 3796k| 0 | 0.0 |1153M|1800 | - |2504 | 862 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
867.68/867.78 c 829s| 3840k| 3806k| 0 | 0.0 |1156M|1800 | - |2504 | 799 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
869.98/870.01 c 831s| 3850k| 3816k| 0 | 0.0 |1159M|1800 | - |2504 | 813 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
872.18/872.22 c 833s| 3860k| 3826k| 0 | 0.0 |1162M|1800 | - |2504 | 797 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
874.38/874.47 c 835s| 3870k| 3835k| 0 | 0.0 |1165M|1800 | - |2504 | 816 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
876.69/876.72 c 838s| 3880k| 3845k| 0 | 0.0 |1168M|1800 | - |2504 | 800 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
878.89/878.94 c 840s| 3890k| 3855k| 0 | 0.0 |1171M|1800 | - |2504 | 783 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
881.18/881.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.18/881.21 c 842s| 3900k| 3865k| 0 | 0.0 |1174M|1800 | - |2504 | 820 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
883.38/883.48 c 844s| 3910k| 3875k| 0 | 0.0 |1177M|1800 | - |2504 | 871 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
885.68/885.70 c 846s| 3920k| 3885k| 0 | 0.0 |1180M|1800 | - |2504 | 794 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
887.88/887.93 c 848s| 3930k| 3895k| 0 | 0.0 |1183M|1800 | - |2504 | 798 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
890.08/890.14 c 851s| 3940k| 3905k| 0 | 0.0 |1186M|1800 | - |2504 | 821 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
892.27/892.36 c 853s| 3950k| 3915k| 0 | 0.0 |1189M|1800 | - |2504 | 859 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
894.58/894.62 c 855s| 3960k| 3925k| 0 | 0.0 |1192M|1800 | - |2504 | 888 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
896.78/896.86 c 857s| 3970k| 3935k| 0 | 0.0 |1195M|1800 | - |2504 | 932 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
899.08/899.10 c 859s| 3980k| 3945k| 0 | 0.0 |1198M|1800 | - |2504 | 912 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
901.28/901.37 c 861s| 3990k| 3954k| 0 | 0.0 |1201M|1800 | - |2504 | 929 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
903.58/903.60 c 864s| 4000k| 3964k| 0 | 0.0 |1204M|1800 | - |2504 | 944 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
905.78/905.83 c 866s| 4010k| 3974k| 0 | 0.0 |1207M|1800 | - |2504 | 954 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
907.98/908.09 c 868s| 4020k| 3984k| 0 | 0.0 |1210M|1800 | - |2504 | 926 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
910.18/910.29 c 870s| 4030k| 3994k| 0 | 0.0 |1213M|1800 | - |2504 | 964 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
912.48/912.51 c 872s| 4040k| 4004k| 0 | 0.0 |1216M|1800 | - |2504 | 923 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
914.68/914.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.68/914.72 c 874s| 4050k| 4014k| 0 | 0.0 |1219M|1800 | - |2504 | 896 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
916.88/916.96 c 877s| 4060k| 4024k| 0 | 0.0 |1221M|1800 | - |2504 | 893 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
919.08/919.17 c 879s| 4070k| 4034k| 0 | 0.0 |1224M|1800 | - |2504 | 876 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
921.38/921.41 c 881s| 4080k| 4044k| 0 | 0.0 |1227M|1800 | - |2504 | 859 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
923.58/923.64 c 883s| 4090k| 4054k| 0 | 0.0 |1230M|1800 | - |2504 | 862 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
925.78/925.86 c 885s| 4100k| 4064k| 0 | 0.0 |1233M|1800 | - |2504 | 889 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
928.09/928.15 c 887s| 4110k| 4073k| 0 | 0.0 |1236M|1800 | - |2504 | 876 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
930.28/930.38 c 890s| 4120k| 4083k| 0 | 0.0 |1239M|1800 | - |2504 | 857 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
932.58/932.64 c 892s| 4130k| 4093k| 0 | 0.0 |1242M|1800 | - |2504 | 888 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
934.88/934.91 c 894s| 4140k| 4103k| 0 | 0.0 |1245M|1800 | - |2504 | 910 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
937.09/937.16 c 896s| 4150k| 4113k| 0 | 0.0 |1248M|1800 | - |2504 | 880 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
939.29/939.39 c 898s| 4160k| 4123k| 0 | 0.0 |1251M|1800 | - |2504 | 850 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
941.59/941.61 c 900s| 4170k| 4133k| 0 | 0.0 |1254M|1800 | - |2504 | 845 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
943.79/943.81 c 903s| 4180k| 4143k| 0 | 0.0 |1257M|1800 | - |2504 | 851 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
945.98/946.04 c 905s| 4190k| 4153k| 0 | 0.0 |1260M|1800 | - |2504 | 794 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
948.19/948.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.19/948.28 c 907s| 4200k| 4163k| 0 | 0.0 |1263M|1800 | - |2504 | 779 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
950.48/950.53 c 909s| 4210k| 4173k| 0 | 0.0 |1266M|1800 | - |2504 | 820 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
952.68/952.78 c 911s| 4220k| 4183k| 0 | 0.0 |1269M|1800 | - |2504 | 829 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
954.98/955.00 c 913s| 4230k| 4192k| 0 | 0.0 |1272M|1800 | - |2504 | 820 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
957.18/957.24 c 916s| 4240k| 4202k| 0 | 0.0 |1275M|1800 | - |2504 | 794 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
959.48/959.55 c 918s| 4250k| 4212k| 0 | 0.0 |1278M|1800 | - |2504 | 857 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
961.68/961.78 c 920s| 4260k| 4222k| 0 | 0.0 |1281M|1800 | - |2504 | 820 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
963.98/964.05 c 922s| 4270k| 4232k| 0 | 0.0 |1284M|1800 | - |2504 | 848 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
966.28/966.30 c 924s| 4280k| 4242k| 0 | 0.0 |1287M|1800 | - |2504 | 860 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
968.48/968.55 c 927s| 4290k| 4252k| 0 | 0.0 |1290M|1800 | - |2504 | 860 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
970.68/970.77 c 929s| 4300k| 4262k| 0 | 0.0 |1293M|1800 | - |2504 | 860 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
972.98/973.00 c 931s| 4310k| 4272k| 0 | 0.0 |1296M|1800 | - |2504 | 843 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
975.18/975.25 c 933s| 4320k| 4282k| 0 | 0.0 |1299M|1800 | - |2504 | 904 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
977.48/977.50 c 935s| 4330k| 4292k| 0 | 0.0 |1302M|1800 | - |2504 | 853 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
979.68/979.76 c 937s| 4340k| 4301k| 0 | 0.0 |1305M|1800 | - |2504 | 878 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
981.98/982.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.98/982.01 c 940s| 4350k| 4311k| 0 | 0.0 |1308M|1800 | - |2504 | 857 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
984.18/984.24 c 942s| 4360k| 4321k| 0 | 0.0 |1311M|1800 | - |2504 | 827 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
986.38/986.46 c 944s| 4370k| 4331k| 0 | 0.0 |1314M|1800 | - |2504 | 834 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
988.68/988.70 c 946s| 4380k| 4341k| 0 | 0.0 |1317M|1800 | - |2504 | 828 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
990.88/990.96 c 948s| 4390k| 4351k| 0 | 0.0 |1320M|1800 | - |2504 | 762 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
993.08/993.19 c 950s| 4400k| 4361k| 0 | 0.0 |1323M|1800 | - |2504 | 789 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
995.38/995.44 c 953s| 4410k| 4371k| 0 | 0.0 |1326M|1800 | - |2504 | 836 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
997.58/997.69 c 955s| 4420k| 4381k| 0 | 0.0 |1329M|1800 | - |2504 | 802 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
999.89/999.91 c 957s| 4430k| 4391k| 0 | 0.0 |1332M|1800 | - |2504 | 799 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1002.09/1002.19 c 959s| 4440k| 4401k| 0 | 0.0 |1335M|1800 | - |2504 | 820 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1004.38/1004.46 c 961s| 4450k| 4411k| 0 | 0.0 |1337M|1800 | - |2504 | 900 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1006.68/1006.72 c 964s| 4460k| 4420k| 0 | 0.0 |1340M|1800 | - |2504 | 866 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1008.88/1008.94 c 966s| 4470k| 4430k| 0 | 0.0 |1343M|1800 | - |2504 | 832 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1011.18/1011.25 c 968s| 4480k| 4440k| 0 | 0.0 |1346M|1800 | - |2504 | 866 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1013.48/1013.54 c 970s| 4490k| 4450k| 0 | 0.0 |1349M|1800 | - |2504 | 878 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1015.78/1015.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.78/1015.80 c 972s| 4500k| 4460k| 0 | 0.0 |1352M|1800 | - |2504 | 904 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1017.98/1018.01 c 974s| 4510k| 4470k| 0 | 0.0 |1355M|1800 | - |2504 | 806 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1020.18/1020.24 c 977s| 4520k| 4480k| 0 | 0.0 |1358M|1800 | - |2504 | 832 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1022.38/1022.47 c 979s| 4530k| 4490k| 0 | 0.0 |1361M|1800 | - |2504 | 838 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1024.68/1024.71 c 981s| 4540k| 4500k| 0 | 0.0 |1364M|1800 | - |2504 | 838 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1026.98/1027.01 c 983s| 4550k| 4510k| 0 | 0.0 |1367M|1800 | - |2504 | 929 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1029.18/1029.23 c 985s| 4560k| 4520k| 0 | 0.0 |1370M|1800 | - |2504 | 840 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1031.38/1031.45 c 988s| 4570k| 4529k| 0 | 0.0 |1373M|1800 | - |2504 | 812 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1033.58/1033.66 c 990s| 4580k| 4539k| 0 | 0.0 |1376M|1800 | - |2504 | 867 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1035.88/1035.90 c 992s| 4590k| 4549k| 0 | 0.0 |1379M|1800 | - |2504 | 902 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1038.08/1038.13 c 994s| 4600k| 4559k| 0 | 0.0 |1382M|1800 | - |2504 | 865 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1040.28/1040.38 c 996s| 4610k| 4569k| 0 | 0.0 |1385M|1800 | - |2504 | 928 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1042.58/1042.62 c 998s| 4620k| 4579k| 0 | 0.0 |1388M|1800 | - |2504 | 894 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1044.78/1044.87 c 1001s| 4630k| 4589k| 0 | 0.0 |1391M|1800 | - |2504 | 869 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1046.98/1047.08 c 1003s| 4640k| 4599k| 0 | 0.0 |1394M|1800 | - |2504 | 838 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1049.29/1049.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.29/1049.31 c 1005s| 4650k| 4609k| 0 | 0.0 |1397M|1800 | - |2504 | 824 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1051.48/1051.56 c 1007s| 4660k| 4619k| 0 | 0.0 |1400M|1800 | - |2504 | 844 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1053.68/1053.77 c 1009s| 4670k| 4629k| 0 | 0.0 |1403M|1800 | - |2504 | 807 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1055.99/1056.02 c 1011s| 4680k| 4639k| 0 | 0.0 |1406M|1800 | - |2504 | 879 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1058.18/1058.28 c 1014s| 4690k| 4648k| 0 | 0.0 |1409M|1800 | - |2504 | 844 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1060.48/1060.52 c 1016s| 4700k| 4658k| 0 | 0.0 |1412M|1800 | - |2504 | 840 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1062.68/1062.74 c 1018s| 4710k| 4668k| 0 | 0.0 |1415M|1800 | - |2504 | 846 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1064.89/1064.97 c 1020s| 4720k| 4678k| 0 | 0.0 |1418M|1800 | - |2504 | 810 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1067.08/1067.19 c 1022s| 4730k| 4688k| 0 | 0.0 |1421M|1800 | - |2504 | 834 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1069.38/1069.41 c 1024s| 4740k| 4698k| 0 | 0.0 |1424M|1800 | - |2504 | 826 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1071.58/1071.63 c 1027s| 4750k| 4708k| 0 | 0.0 |1427M|1800 | - |2504 | 879 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1073.78/1073.86 c 1029s| 4760k| 4718k| 0 | 0.0 |1430M|1800 | - |2504 | 826 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1076.08/1076.11 c 1031s| 4770k| 4728k| 0 | 0.0 |1433M|1800 | - |2504 | 815 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1078.28/1078.35 c 1033s| 4780k| 4738k| 0 | 0.0 |1436M|1800 | - |2504 | 787 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1080.48/1080.58 c 1035s| 4790k| 4748k| 0 | 0.0 |1439M|1800 | - |2504 | 901 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1082.69/1082.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.69/1082.78 c 1037s| 4800k| 4758k| 0 | 0.0 |1442M|1800 | - |2504 | 887 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1084.98/1085.02 c 1040s| 4810k| 4767k| 0 | 0.0 |1445M|1800 | - |2504 | 850 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1087.28/1087.32 c 1042s| 4820k| 4777k| 0 | 0.0 |1448M|1800 | - |2504 | 875 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1089.48/1089.53 c 1044s| 4830k| 4787k| 0 | 0.0 |1451M|1800 | - |2504 | 911 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1091.68/1091.76 c 1046s| 4840k| 4797k| 0 | 0.0 |1454M|1800 | - |2504 | 953 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1093.89/1093.97 c 1048s| 4850k| 4807k| 0 | 0.0 |1457M|1800 | - |2504 | 862 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1096.18/1096.22 c 1050s| 4860k| 4817k| 0 | 0.0 |1460M|1800 | - |2504 | 924 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1098.38/1098.46 c 1053s| 4870k| 4827k| 0 | 0.0 |1463M|1800 | - |2504 | 918 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1100.58/1100.69 c 1055s| 4880k| 4837k| 0 | 0.0 |1465M|1800 | - |2504 | 899 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1102.88/1102.92 c 1057s| 4890k| 4847k| 0 | 0.0 |1469M|1800 | - |2504 | 950 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1105.08/1105.19 c 1059s| 4900k| 4857k| 0 | 0.0 |1472M|1800 | - |2504 | 970 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1107.38/1107.49 c 1061s| 4910k| 4866k| 0 | 0.0 |1475M|1800 | - |2504 |1001 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1109.68/1109.73 c 1064s| 4920k| 4876k| 0 | 0.0 |1477M|1800 | - |2504 | 942 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1111.88/1111.96 c 1066s| 4930k| 4886k| 0 | 0.0 |1480M|1800 | - |2504 | 919 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1114.19/1114.21 c 1068s| 4940k| 4896k| 0 | 0.0 |1483M|1800 | - |2504 | 913 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1116.39/1116.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.39/1116.48 c 1070s| 4950k| 4906k| 0 | 0.0 |1486M|1800 | - |2504 | 922 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1118.69/1118.72 c 1072s| 4960k| 4916k| 0 | 0.0 |1489M|1800 | - |2504 | 950 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1120.89/1120.96 c 1074s| 4970k| 4926k| 0 | 0.0 |1492M|1800 | - |2504 | 891 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1123.18/1123.23 c 1077s| 4980k| 4936k| 0 | 0.0 |1495M|1800 | - |2504 | 946 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1125.38/1125.48 c 1079s| 4990k| 4946k| 0 | 0.0 |1498M|1800 | - |2504 | 880 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1127.68/1127.70 c 1081s| 5000k| 4956k| 0 | 0.0 |1501M|1800 | - |2504 | 887 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1129.88/1129.91 c 1083s| 5010k| 4966k| 0 | 0.0 |1504M|1800 | - |2504 | 888 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1131.98/1132.09 c 1085s| 5020k| 4976k| 0 | 0.0 |1507M|1800 | - |2504 | 915 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1134.28/1134.34 c 1087s| 5030k| 4985k| 0 | 0.0 |1510M|1800 | - |2504 | 953 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1136.48/1136.54 c 1090s| 5040k| 4995k| 0 | 0.0 |1513M|1800 | - |2504 | 913 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1138.68/1138.78 c 1092s| 5050k| 5005k| 0 | 0.0 |1516M|1800 | - |2504 | 912 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1140.98/1141.04 c 1094s| 5060k| 5015k| 0 | 0.0 |1519M|1800 | - |2504 | 941 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1143.19/1143.26 c 1096s| 5070k| 5025k| 0 | 0.0 |1522M|1800 | - |2504 | 981 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1145.38/1145.46 c 1098s| 5080k| 5035k| 0 | 0.0 |1525M|1800 | - |2504 | 973 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1147.58/1147.68 c 1100s| 5090k| 5045k| 0 | 0.0 |1528M|1800 | - |2504 | 987 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1149.78/1149.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.78/1149.89 c 1102s| 5100k| 5055k| 0 | 0.0 |1531M|1800 | - |2504 | 973 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1152.08/1152.13 c 1105s| 5110k| 5065k| 0 | 0.0 |1534M|1800 | - |2504 |1052 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1154.39/1154.41 c 1107s| 5120k| 5075k| 0 | 0.0 |1537M|1800 | - |2504 | 971 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1156.58/1156.64 c 1109s| 5130k| 5084k| 0 | 0.0 |1540M|1800 | - |2504 |1010 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1158.78/1158.86 c 1111s| 5140k| 5094k| 0 | 0.0 |1543M|1800 | - |2504 |1022 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1160.99/1161.06 c 1113s| 5150k| 5104k| 0 | 0.0 |1546M|1800 | - |2504 |1023 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1163.28/1163.33 c 1115s| 5160k| 5114k| 0 | 0.0 |1549M|1800 | - |2504 |1042 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1165.59/1165.61 c 1118s| 5170k| 5124k| 0 | 0.0 |1552M|1800 | - |2504 |1065 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1167.79/1167.84 c 1120s| 5180k| 5134k| 0 | 0.0 |1555M|1800 | - |2504 |1055 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1169.99/1170.09 c 1122s| 5190k| 5144k| 0 | 0.0 |1558M|1800 | - |2504 |1094 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1172.28/1172.31 c 1124s| 5200k| 5154k| 0 | 0.0 |1561M|1800 | - |2504 |1052 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1174.58/1174.60 c 1126s| 5210k| 5164k| 0 | 0.0 |1564M|1800 | - |2504 |1068 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1176.79/1176.81 c 1129s| 5220k| 5174k| 0 | 0.0 |1567M|1800 | - |2504 |1034 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1178.98/1179.08 c 1131s| 5230k| 5184k| 0 | 0.0 |1570M|1800 | - |2504 |1077 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1181.29/1181.34 c 1133s| 5240k| 5193k| 0 | 0.0 |1573M|1800 | - |2504 |1077 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1183.49/1183.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.49/1183.55 c 1135s| 5250k| 5203k| 0 | 0.0 |1575M|1800 | - |2504 |1038 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1185.68/1185.75 c 1137s| 5260k| 5213k| 0 | 0.0 |1579M|1800 | - |2504 |1064 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1187.98/1188.01 c 1139s| 5270k| 5223k| 0 | 0.0 |1581M|1800 | - |2504 |1028 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1190.19/1190.27 c 1142s| 5280k| 5233k| 0 | 0.0 |1584M|1800 | - |2504 |1071 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1192.39/1192.47 c 1144s| 5290k| 5243k| 0 | 0.0 |1587M|1800 | - |2504 |1056 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1194.59/1194.67 c 1146s| 5300k| 5253k| 0 | 0.0 |1590M|1800 | - |2504 |1080 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1196.88/1196.93 c 1148s| 5310k| 5263k| 0 | 0.0 |1593M|1800 | - |2504 |1056 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1199.09/1199.14 c 1150s| 5320k| 5273k| 0 | 0.0 |1596M|1800 | - |2504 |1041 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1201.28/1201.38 c 1152s| 5330k| 5283k| 0 | 0.0 |1599M|1800 | - |2504 |1030 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1203.48/1203.57 c 1155s| 5340k| 5293k| 0 | 0.0 |1602M|1800 | - |2504 | 990 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1205.79/1205.80 c 1157s| 5350k| 5303k| 0 | 0.0 |1605M|1800 | - |2504 | 962 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1207.98/1208.05 c 1159s| 5360k| 5312k| 0 | 0.0 |1608M|1800 | - |2504 | 954 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1210.18/1210.24 c 1161s| 5370k| 5322k| 0 | 0.0 |1611M|1800 | - |2504 | 970 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1212.38/1212.44 c 1163s| 5380k| 5332k| 0 | 0.0 |1614M|1800 | - |2504 | 967 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1214.58/1214.66 c 1165s| 5390k| 5342k| 0 | 0.0 |1617M|1800 | - |2504 | 976 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1216.88/1216.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.88/1216.92 c 1168s| 5400k| 5352k| 0 | 0.0 |1620M|1800 | - |2504 | 982 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1219.08/1219.18 c 1170s| 5410k| 5362k| 0 | 0.0 |1623M|1800 | - |2504 | 973 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1221.38/1221.43 c 1172s| 5420k| 5372k| 0 | 0.0 |1626M|1800 | - |2504 | 914 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1223.58/1223.62 c 1174s| 5430k| 5382k| 0 | 0.0 |1629M|1800 | - |2504 | 964 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1225.78/1225.88 c 1176s| 5440k| 5392k| 0 | 0.0 |1632M|1800 | - |2504 | 985 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1228.08/1228.15 c 1178s| 5450k| 5402k| 0 | 0.0 |1635M|1800 | - |2504 | 991 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1230.28/1230.35 c 1180s| 5460k| 5412k| 0 | 0.0 |1638M|1800 | - |2504 | 979 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1232.58/1232.61 c 1183s| 5470k| 5421k| 0 | 0.0 |1641M|1800 | - |2504 |1010 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1234.78/1234.82 c 1185s| 5480k| 5431k| 0 | 0.0 |1644M|1800 | - |2504 |1040 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1236.98/1237.08 c 1187s| 5490k| 5441k| 0 | 0.0 |1647M|1800 | - |2504 |1019 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1239.18/1239.29 c 1189s| 5500k| 5451k| 0 | 0.0 |1650M|1800 | - |2504 |1056 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1241.38/1241.48 c 1191s| 5510k| 5461k| 0 | 0.0 |1653M|1800 | - |2504 |1046 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1243.68/1243.70 c 1193s| 5520k| 5471k| 0 | 0.0 |1656M|1800 | - |2504 |1064 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1245.89/1245.90 c 1196s| 5530k| 5481k| 0 | 0.0 |1659M|1800 | - |2504 |1095 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1248.08/1248.16 c 1198s| 5540k| 5491k| 0 | 0.0 |1662M|1800 | - |2504 |1059 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1250.38/1250.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.38/1250.40 c 1200s| 5550k| 5501k| 0 | 0.0 |1665M|1800 | - |2504 |1062 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1252.58/1252.60 c 1202s| 5560k| 5511k| 0 | 0.0 |1668M|1800 | - |2504 |1052 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1254.78/1254.83 c 1204s| 5570k| 5521k| 0 | 0.0 |1671M|1800 | - |2504 |1114 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1257.09/1257.11 c 1206s| 5580k| 5530k| 0 | 0.0 |1674M|1800 | - |2504 |1071 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1259.29/1259.33 c 1209s| 5590k| 5540k| 0 | 0.0 |1677M|1800 | - |2504 |1068 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1261.48/1261.59 c 1211s| 5600k| 5550k| 0 | 0.0 |1680M|1800 | - |2504 |1097 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1263.79/1263.80 c 1213s| 5610k| 5560k| 0 | 0.0 |1683M|1800 | - |2504 |1003 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1265.99/1266.02 c 1215s| 5620k| 5570k| 0 | 0.0 |1686M|1800 | - |2504 |1027 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1268.19/1268.22 c 1217s| 5630k| 5580k| 0 | 0.0 |1689M|1800 | - |2504 |1080 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1270.39/1270.43 c 1219s| 5640k| 5590k| 0 | 0.0 |1692M|1800 | - |2504 |1133 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1272.69/1272.70 c 1222s| 5650k| 5600k| 0 | 0.0 |1695M|1800 | - |2504 |1062 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1274.98/1275.01 c 1224s| 5660k| 5610k| 0 | 0.0 |1698M|1800 | - |2504 |1085 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1277.19/1277.25 c 1226s| 5670k| 5620k| 0 | 0.0 |1701M|1800 | - |2504 |1075 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1279.38/1279.47 c 1228s| 5680k| 5630k| 0 | 0.0 |1704M|1800 | - |2504 |1031 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1281.68/1281.74 c 1230s| 5690k| 5639k| 0 | 0.0 |1707M|1800 | - |2504 |1117 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1283.89/1283.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.89/1283.95 c 1232s| 5700k| 5649k| 0 | 0.0 |1710M|1800 | - |2504 |1065 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1286.18/1286.25 c 1235s| 5710k| 5659k| 0 | 0.0 |1713M|1800 | - |2504 |1075 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1288.38/1288.47 c 1237s| 5720k| 5669k| 0 | 0.0 |1716M|1800 | - |2504 |1039 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1290.58/1290.69 c 1239s| 5730k| 5679k| 0 | 0.0 |1719M|1800 | - |2504 |1042 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1292.78/1292.88 c 1241s| 5740k| 5689k| 0 | 0.0 |1722M|1800 | - |2504 |1054 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1295.08/1295.13 c 1243s| 5750k| 5699k| 0 | 0.0 |1725M|1800 | - |2504 |1021 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1297.29/1297.34 c 1245s| 5760k| 5709k| 0 | 0.0 |1728M|1800 | - |2504 |1036 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1299.49/1299.55 c 1248s| 5770k| 5719k| 0 | 0.0 |1731M|1800 | - |2504 |1013 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1301.69/1301.79 c 1250s| 5780k| 5729k| 0 | 0.0 |1734M|1800 | - |2504 | 978 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1303.99/1304.04 c 1252s| 5790k| 5739k| 0 | 0.0 |1737M|1800 | - |2504 |1046 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1306.18/1306.25 c 1254s| 5800k| 5749k| 0 | 0.0 |1740M|1800 | - |2504 |1018 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1308.38/1308.46 c 1256s| 5810k| 5758k| 0 | 0.0 |1743M|1800 | - |2504 |1095 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1310.59/1310.67 c 1258s| 5820k| 5768k| 0 | 0.0 |1746M|1800 | - |2504 |1031 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1312.88/1312.90 c 1261s| 5830k| 5778k| 0 | 0.0 |1749M|1800 | - |2504 |1051 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1314.98/1315.09 c 1263s| 5840k| 5788k| 0 | 0.0 |1752M|1800 | - |2504 |1095 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1317.28/1317.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.28/1317.33 c 1265s| 5850k| 5798k| 0 | 0.0 |1755M|1800 | - |2504 |1011 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1319.49/1319.56 c 1267s| 5860k| 5808k| 0 | 0.0 |1758M|1800 | - |2504 |1038 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1321.68/1321.77 c 1269s| 5870k| 5818k| 0 | 0.0 |1761M|1800 | - |2504 |1015 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1323.89/1323.96 c 1271s| 5880k| 5828k| 0 | 0.0 |1764M|1800 | - |2504 |1045 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1326.18/1326.24 c 1274s| 5890k| 5838k| 0 | 0.0 |1767M|1800 | - |2504 |1120 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1328.38/1328.48 c 1276s| 5900k| 5848k| 0 | 0.0 |1770M|1800 | - |2504 |1077 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1330.68/1330.71 c 1278s| 5910k| 5858k| 0 | 0.0 |1773M|1800 | - |2504 |1092 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1332.88/1332.91 c 1280s| 5920k| 5867k| 0 | 0.0 |1776M|1800 | - |2504 |1074 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1335.08/1335.15 c 1282s| 5930k| 5877k| 0 | 0.0 |1778M|1800 | - |2504 |1034 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1337.28/1337.39 c 1284s| 5940k| 5887k| 0 | 0.0 |1781M|1800 | - |2504 |1061 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1339.58/1339.61 c 1286s| 5950k| 5897k| 0 | 0.0 |1784M|1800 | - |2504 |1012 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1341.78/1341.85 c 1289s| 5960k| 5907k| 0 | 0.0 |1787M|1800 | - |2504 |1051 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1343.98/1344.05 c 1291s| 5970k| 5917k| 0 | 0.0 |1790M|1800 | - |2504 |1003 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1346.18/1346.26 c 1293s| 5980k| 5927k| 0 | 0.0 |1793M|1800 | - |2504 |1030 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1348.49/1348.52 c 1295s| 5990k| 5937k| 0 | 0.0 |1796M|1800 | - |2504 |1082 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1350.69/1350.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.69/1350.75 c 1297s| 6000k| 5947k| 0 | 0.0 |1799M|1800 | - |2504 |1086 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1352.88/1352.95 c 1299s| 6010k| 5957k| 0 | 0.0 |1802M|1800 | - |2504 |1080 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1355.08/1355.19 c 1302s| 6020k| 5967k| 0 | 0.0 |1805M|1800 | - |2504 |1043 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1357.29/1357.36 c 1304s| 6030k| 5976k| 0 | 0.0 |1808M|1800 | - |2504 |1071 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1359.59/1359.61 c 1306s| 6040k| 5986k| 0 | 0.0 |1811M|1800 | - |2504 |1152 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1361.69/1361.80 c 1308s| 6050k| 5996k| 0 | 0.0 |1814M|1800 | - |2504 |1123 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1363.98/1364.03 c 1310s| 6060k| 6006k| 0 | 0.0 |1817M|1800 | - |2504 |1142 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1366.18/1366.24 c 1312s| 6070k| 6016k| 0 | 0.0 |1820M|1800 | - |2504 |1167 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1368.38/1368.49 c 1315s| 6080k| 6026k| 0 | 0.0 |1823M|1800 | - |2504 |1186 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1370.68/1370.77 c 1317s| 6090k| 6036k| 0 | 0.0 |1826M|1800 | - |2504 |1113 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1372.88/1372.98 c 1319s| 6100k| 6046k| 0 | 0.0 |1829M|1800 | - |2504 |1081 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1375.18/1375.23 c 1321s| 6110k| 6056k| 0 | 0.0 |1832M|1800 | - |2504 |1098 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1377.38/1377.44 c 1323s| 6120k| 6066k| 0 | 0.0 |1835M|1800 | - |2504 |1071 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1379.68/1379.73 c 1325s| 6130k| 6075k| 0 | 0.0 |1838M|1800 | - |2504 |1079 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1381.89/1381.95 c 1328s| 6140k| 6085k| 0 | 0.0 |1841M|1800 | - |2504 |1111 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1384.08/1384.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.08/1384.13 c 1330s| 6150k| 6095k| 0 | 0.0 |1844M|1800 | - |2504 |1118 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1386.28/1386.35 c 1332s| 6160k| 6105k| 0 | 0.0 |1847M|1800 | - |2504 |1081 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1388.48/1388.56 c 1334s| 6170k| 6115k| 0 | 0.0 |1850M|1800 | - |2504 |1145 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1390.69/1390.78 c 1336s| 6180k| 6125k| 0 | 0.0 |1853M|1800 | - |2504 |1096 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1392.98/1393.06 c 1338s| 6190k| 6135k| 0 | 0.0 |1856M|1800 | - |2504 |1131 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1395.28/1395.32 c 1341s| 6200k| 6145k| 0 | 0.0 |1859M|1800 | - |2504 |1147 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1397.49/1397.52 c 1343s| 6210k| 6155k| 0 | 0.0 |1862M|1800 | - |2504 |1080 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1399.68/1399.77 c 1345s| 6220k| 6165k| 0 | 0.0 |1865M|1800 | - |2504 |1140 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1401.88/1401.97 c 1347s| 6230k| 6175k| 0 | 0.0 |1868M|1800 | - |2504 |1095 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1404.19/1404.20 c 1349s| 6240k| 6184k| 0 | 0.0 |1871M|1800 | - |2504 |1133 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1406.38/1406.44 c 1351s| 6250k| 6194k| 0 | 0.0 |1874M|1800 | - |2504 |1091 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1408.58/1408.67 c 1353s| 6260k| 6204k| 0 | 0.0 |1877M|1800 | - |2504 |1071 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1410.88/1410.91 c 1356s| 6270k| 6214k| 0 | 0.0 |1880M|1800 | - |2504 |1124 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1413.08/1413.11 c 1358s| 6280k| 6224k| 0 | 0.0 |1883M|1800 | - |2504 |1152 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1415.28/1415.36 c 1360s| 6290k| 6234k| 0 | 0.0 |1886M|1800 | - |2504 |1175 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1417.59/1417.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.59/1417.64 c 1362s| 6300k| 6244k| 0 | 0.0 |1889M|1800 | - |2504 |1159 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1419.79/1419.84 c 1364s| 6310k| 6254k| 0 | 0.0 |1891M|1800 | - |2504 |1180 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1421.99/1422.05 c 1366s| 6320k| 6264k| 0 | 0.0 |1894M|1800 | - |2504 |1186 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1424.19/1424.26 c 1369s| 6330k| 6274k| 0 | 0.0 |1897M|1800 | - |2504 |1157 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1426.38/1426.44 c 1371s| 6340k| 6284k| 0 | 0.0 |1900M|1800 | - |2504 |1176 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1428.58/1428.65 c 1373s| 6350k| 6293k| 0 | 0.0 |1903M|1800 | - |2504 |1148 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1430.78/1430.87 c 1375s| 6360k| 6303k| 0 | 0.0 |1906M|1800 | - |2504 |1106 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1433.08/1433.11 c 1377s| 6370k| 6313k| 0 | 0.0 |1909M|1800 | - |2504 |1098 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1435.29/1435.36 c 1379s| 6380k| 6323k| 0 | 0.0 |1912M|1800 | - |2504 |1105 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1437.59/1437.63 c 1382s| 6390k| 6333k| 0 | 0.0 |1915M|1800 | - |2504 |1079 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1439.79/1439.85 c 1384s| 6400k| 6343k| 0 | 0.0 |1918M|1800 | - |2504 |1137 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1441.99/1442.07 c 1386s| 6410k| 6353k| 0 | 0.0 |1921M|1800 | - |2504 |1154 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1444.19/1444.28 c 1388s| 6420k| 6363k| 0 | 0.0 |1924M|1800 | - |2504 |1091 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1446.39/1446.48 c 1390s| 6430k| 6373k| 0 | 0.0 |1927M|1800 | - |2504 |1090 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1448.69/1448.73 c 1392s| 6440k| 6383k| 0 | 0.0 |1930M|1800 | - |2504 |1137 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1450.89/1450.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.89/1450.92 c 1394s| 6450k| 6393k| 0 | 0.0 |1933M|1800 | - |2504 |1050 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1453.09/1453.13 c 1397s| 6460k| 6402k| 0 | 0.0 |1936M|1800 | - |2504 |1092 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1455.29/1455.36 c 1399s| 6470k| 6412k| 0 | 0.0 |1939M|1800 | - |2504 |1045 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1457.59/1457.60 c 1401s| 6480k| 6422k| 0 | 0.0 |1942M|1800 | - |2504 |1050 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1459.79/1459.80 c 1403s| 6490k| 6432k| 0 | 0.0 |1945M|1800 | - |2504 |1091 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1461.98/1462.03 c 1405s| 6500k| 6442k| 0 | 0.0 |1948M|1800 | - |2504 |1088 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1464.28/1464.30 c 1407s| 6510k| 6452k| 0 | 0.0 |1951M|1800 | - |2504 |1098 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1466.48/1466.52 c 1410s| 6520k| 6462k| 0 | 0.0 |1954M|1800 | - |2504 |1086 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1468.69/1468.79 c 1412s| 6530k| 6472k| 0 | 0.0 |1957M|1800 | - |2504 |1123 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1470.98/1471.01 c 1414s| 6540k| 6482k| 0 | 0.0 |1960M|1800 | - |2504 |1146 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1473.18/1473.22 c 1416s| 6550k| 6492k| 0 | 0.0 |1963M|1800 | - |2504 |1152 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1475.38/1475.44 c 1418s| 6560k| 6502k| 0 | 0.0 |1966M|1800 | - |2504 |1168 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1477.68/1477.71 c 1420s| 6570k| 6511k| 0 | 0.0 |1969M|1800 | - |2504 |1148 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1479.88/1479.95 c 1423s| 6580k| 6521k| 0 | 0.0 |1972M|1800 | - |2504 |1153 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1482.09/1482.15 c 1425s| 6590k| 6531k| 0 | 0.0 |1975M|1800 | - |2504 |1181 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1484.38/1484.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.38/1484.40 c 1427s| 6600k| 6541k| 0 | 0.0 |1978M|1800 | - |2504 |1182 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1486.58/1486.63 c 1429s| 6610k| 6551k| 0 | 0.0 |1981M|1800 | - |2504 |1176 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1488.78/1488.88 c 1431s| 6620k| 6561k| 0 | 0.0 |1984M|1800 | - |2504 |1193 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1491.09/1491.12 c 1433s| 6630k| 6571k| 0 | 0.0 |1987M|1800 | - |2504 |1150 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1493.29/1493.38 c 1436s| 6640k| 6581k| 0 | 0.0 |1990M|1800 | - |2504 |1155 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1495.58/1495.62 c 1438s| 6650k| 6591k| 0 | 0.0 |1993M|1800 | - |2504 |1204 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1497.79/1497.82 c 1440s| 6660k| 6601k| 0 | 0.0 |1996M|1800 | - |2504 |1185 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1499.98/1500.05 c 1442s| 6670k| 6610k| 0 | 0.0 |1999M|1800 | - |2504 |1167 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1502.29/1502.37 c 1444s| 6680k| 6620k| 0 | 0.0 |2002M|1800 | - |2504 |1107 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1504.58/1504.62 c 1446s| 6690k| 6630k| 0 | 0.0 |2005M|1800 | - |2504 |1121 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1506.79/1506.82 c 1449s| 6700k| 6640k| 0 | 0.0 |2008M|1800 | - |2504 |1092 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1508.99/1509.06 c 1451s| 6710k| 6650k| 0 | 0.0 |2011M|1800 | - |2504 |1119 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1511.19/1511.26 c 1453s| 6720k| 6660k| 0 | 0.0 |2014M|1800 | - |2504 |1106 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1513.39/1513.47 c 1455s| 6730k| 6670k| 0 | 0.0 |2017M|1800 | - |2504 |1107 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1515.59/1515.65 c 1457s| 6740k| 6680k| 0 | 0.0 |2020M|1800 | - |2504 |1082 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1517.78/1517.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1517.78/1517.85 c 1459s| 6750k| 6690k| 0 | 0.0 |2023M|1800 | - |2504 |1123 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1519.98/1520.06 c 1461s| 6760k| 6700k| 0 | 0.0 |2026M|1800 | - |2504 |1084 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1522.19/1522.25 c 1464s| 6770k| 6710k| 0 | 0.0 |2029M|1800 | - |2504 |1137 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1524.39/1524.48 c 1466s| 6780k| 6719k| 0 | 0.0 |2032M|1800 | - |2504 |1113 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1526.58/1526.66 c 1468s| 6790k| 6729k| 0 | 0.0 |2035M|1800 | - |2504 |1129 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1528.79/1528.84 c 1470s| 6800k| 6739k| 0 | 0.0 |2038M|1800 | - |2504 |1192 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1530.99/1531.06 c 1472s| 6810k| 6749k| 0 | 0.0 |2041M|1800 | - |2504 |1125 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1533.18/1533.28 c 1474s| 6820k| 6759k| 0 | 0.0 |2044M|1800 | - |2504 |1136 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1535.39/1535.50 c 1476s| 6830k| 6769k| 0 | 0.0 |2047M|1800 | - |2504 |1107 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1537.69/1537.72 c 1479s| 6840k| 6779k| 0 | 0.0 |2050M|1800 | - |2504 |1124 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1539.89/1539.91 c 1481s| 6850k| 6789k| 0 | 0.0 |2053M|1800 | - |2504 |1120 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1542.09/1542.12 c 1483s| 6860k| 6799k| 0 | 0.0 |2055M|1800 | - |2504 |1118 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1544.29/1544.38 c 1485s| 6870k| 6809k| 0 | 0.0 |2059M|1800 | - |2504 |1150 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1546.49/1546.59 c 1487s| 6880k| 6819k| 0 | 0.0 |2061M|1800 | - |2504 |1144 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1548.69/1548.78 c 1489s| 6890k| 6828k| 0 | 0.0 |2064M|1800 | - |2504 |1164 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1550.99/1551.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.99/1551.05 c 1491s| 6900k| 6838k| 0 | 0.0 |2067M|1800 | - |2504 |1129 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1553.29/1553.31 c 1494s| 6910k| 6848k| 0 | 0.0 |2070M|1800 | - |2504 |1173 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1555.49/1555.55 c 1496s| 6920k| 6858k| 0 | 0.0 |2073M|1800 | - |2504 |1128 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1557.79/1557.85 c 1498s| 6930k| 6868k| 0 | 0.0 |2076M|1800 | - |2504 |1179 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1560.08/1560.12 c 1500s| 6940k| 6878k| 0 | 0.0 |2079M|1800 | - |2504 |1165 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1562.29/1562.33 c 1502s| 6950k| 6888k| 0 | 0.0 |2082M|1800 | - |2504 |1157 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1564.49/1564.58 c 1505s| 6960k| 6898k| 0 | 0.0 |2085M|1800 | - |2504 |1160 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1566.79/1566.82 c 1507s| 6970k| 6908k| 0 | 0.0 |2088M|1800 | - |2504 |1073 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1568.99/1569.08 c 1509s| 6980k| 6918k| 0 | 0.0 |2091M|1800 | - |2504 |1135 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1571.28/1571.33 c 1511s| 6990k| 6927k| 0 | 0.0 |2094M|1800 | - |2504 |1148 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1573.48/1573.56 c 1513s| 7000k| 6937k| 0 | 0.0 |2097M|1800 | - |2504 |1146 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1575.78/1575.81 c 1515s| 7010k| 6947k| 0 | 0.0 |2100M|1800 | - |2504 |1125 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1577.98/1578.09 c 1518s| 7020k| 6957k| 0 | 0.0 |2103M|1800 | - |2504 |1181 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1580.29/1580.30 c 1520s| 7030k| 6967k| 0 | 0.0 |2106M|1800 | - |2504 |1133 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1582.48/1582.53 c 1522s| 7040k| 6977k| 0 | 0.0 |2109M|1800 | - |2504 |1102 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1584.69/1584.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.69/1584.75 c 1524s| 7050k| 6987k| 0 | 0.0 |2112M|1800 | - |2504 |1130 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1586.99/1587.01 c 1526s| 7060k| 6997k| 0 | 0.0 |2115M|1800 | - |2504 |1084 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1589.19/1589.27 c 1529s| 7070k| 7007k| 0 | 0.0 |2118M|1800 | - |2504 |1148 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1591.49/1591.52 c 1531s| 7080k| 7017k| 0 | 0.0 |2121M|1800 | - |2504 |1160 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1593.68/1593.71 c 1533s| 7090k| 7026k| 0 | 0.0 |2124M|1800 | - |2504 |1119 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1595.89/1595.93 c 1535s| 7100k| 7036k| 0 | 0.0 |2127M|1800 | - |2504 |1154 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1598.09/1598.13 c 1537s| 7110k| 7046k| 0 | 0.0 |2130M|1800 | - |2504 |1186 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1600.28/1600.40 c 1539s| 7120k| 7056k| 0 | 0.0 |2133M|1800 | - |2504 |1210 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1602.59/1602.60 c 1541s| 7130k| 7066k| 0 | 0.0 |2136M|1800 | - |2504 |1177 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1604.79/1604.80 c 1544s| 7140k| 7076k| 0 | 0.0 |2139M|1800 | - |2504 |1147 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1606.89/1606.99 c 1546s| 7150k| 7086k| 0 | 0.0 |2142M|1800 | - |2504 |1161 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1609.19/1609.21 c 1548s| 7160k| 7096k| 0 | 0.0 |2145M|1800 | - |2504 |1181 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1611.39/1611.40 c 1550s| 7170k| 7106k| 0 | 0.0 |2148M|1800 | - |2504 |1140 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1613.59/1613.64 c 1552s| 7180k| 7116k| 0 | 0.0 |2151M|1800 | - |2504 |1209 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1615.79/1615.83 c 1554s| 7190k| 7125k| 0 | 0.0 |2154M|1800 | - |2504 |1173 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1617.99/1618.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1617.99/1618.01 c 1556s| 7200k| 7135k| 0 | 0.0 |2157M|1800 | - |2504 |1203 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1620.20/1620.21 c 1559s| 7210k| 7145k| 0 | 0.0 |2160M|1800 | - |2504 |1209 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1622.29/1622.39 c 1561s| 7220k| 7155k| 0 | 0.0 |2163M|1800 | - |2504 |1189 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1624.59/1624.60 c 1563s| 7230k| 7165k| 0 | 0.0 |2166M|1800 | - |2504 |1167 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1626.79/1626.81 c 1565s| 7240k| 7175k| 0 | 0.0 |2169M|1800 | - |2504 |1169 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1628.99/1629.03 c 1567s| 7250k| 7185k| 0 | 0.0 |2172M|1800 | - |2504 |1183 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1631.19/1631.22 c 1569s| 7260k| 7195k| 0 | 0.0 |2175M|1800 | - |2504 |1191 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1633.40/1633.44 c 1571s| 7270k| 7205k| 0 | 0.0 |2178M|1800 | - |2504 |1170 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1635.60/1635.63 c 1573s| 7280k| 7215k| 0 | 0.0 |2181M|1800 | - |2504 |1157 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1637.80/1637.88 c 1576s| 7290k| 7225k| 0 | 0.0 |2184M|1800 | - |2504 |1154 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1640.00/1640.08 c 1578s| 7300k| 7234k| 0 | 0.0 |2187M|1800 | - |2504 |1200 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1642.30/1642.33 c 1580s| 7310k| 7244k| 0 | 0.0 |2190M|1800 | - |2504 |1180 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1644.50/1644.56 c 1582s| 7320k| 7254k| 0 | 0.0 |2193M|1800 | - |2504 |1197 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1646.69/1646.77 c 1584s| 7330k| 7264k| 0 | 0.0 |2196M|1800 | - |2504 |1268 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1648.89/1648.98 c 1586s| 7340k| 7274k| 0 | 0.0 |2199M|1800 | - |2504 |1246 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1651.10/1651.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.10/1651.19 c 1589s| 7350k| 7284k| 0 | 0.0 |2202M|1800 | - |2504 |1265 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1653.39/1653.43 c 1591s| 7360k| 7294k| 0 | 0.0 |2205M|1800 | - |2504 |1238 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1655.59/1655.65 c 1593s| 7370k| 7304k| 0 | 0.0 |2208M|1800 | - |2504 |1245 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1657.79/1657.86 c 1595s| 7380k| 7314k| 0 | 0.0 |2210M|1800 | - |2504 |1268 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1659.99/1660.07 c 1597s| 7390k| 7324k| 0 | 0.0 |2213M|1800 | - |2504 |1212 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1662.19/1662.29 c 1599s| 7400k| 7333k| 0 | 0.0 |2216M|1800 | - |2504 |1201 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1664.39/1664.46 c 1601s| 7410k| 7343k| 0 | 0.0 |2219M|1800 | - |2504 |1200 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1666.69/1666.70 c 1604s| 7420k| 7353k| 0 | 0.0 |2222M|1800 | - |2504 |1265 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1668.89/1668.95 c 1606s| 7430k| 7363k| 0 | 0.0 |2225M|1800 | - |2504 |1234 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1671.09/1671.14 c 1608s| 7440k| 7373k| 0 | 0.0 |2228M|1800 | - |2504 |1208 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1673.29/1673.39 c 1610s| 7450k| 7383k| 0 | 0.0 |2231M|1800 | - |2504 |1245 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1675.49/1675.60 c 1612s| 7460k| 7393k| 0 | 0.0 |2234M|1800 | - |2504 |1223 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1677.69/1677.79 c 1614s| 7470k| 7403k| 0 | 0.0 |2237M|1800 | - |2504 |1208 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1679.89/1679.99 c 1616s| 7480k| 7413k| 0 | 0.0 |2240M|1800 | - |2504 |1196 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1682.19/1682.28 c 1619s| 7490k| 7423k| 0 | 0.0 |2243M|1800 | - |2504 |1277 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1684.39/1684.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.39/1684.48 c 1621s| 7500k| 7432k| 0 | 0.0 |2246M|1800 | - |2504 |1184 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1686.69/1686.75 c 1623s| 7510k| 7442k| 0 | 0.0 |2249M|1800 | - |2504 |1225 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1688.89/1688.96 c 1625s| 7520k| 7452k| 0 | 0.0 |2252M|1800 | - |2504 |1168 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1691.08/1691.15 c 1627s| 7530k| 7462k| 0 | 0.0 |2255M|1800 | - |2504 |1103 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1693.29/1693.34 c 1629s| 7540k| 7472k| 0 | 0.0 |2258M|1800 | - |2504 |1145 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1695.49/1695.58 c 1632s| 7550k| 7482k| 0 | 0.0 |2261M|1800 | - |2504 |1162 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1697.69/1697.79 c 1634s| 7560k| 7492k| 0 | 0.0 |2264M|1800 | - |2504 |1125 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1699.99/1700.05 c 1636s| 7570k| 7502k| 0 | 0.0 |2267M|1800 | - |2504 |1114 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1702.19/1702.28 c 1638s| 7580k| 7512k| 0 | 0.0 |2270M|1800 | - |2504 |1152 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1704.39/1704.44 c 1640s| 7590k| 7522k| 0 | 0.0 |2273M|1800 | - |2504 |1126 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1706.69/1706.70 c 1642s| 7600k| 7532k| 0 | 0.0 |2276M|1800 | - |2504 |1145 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1708.89/1708.93 c 1644s| 7610k| 7541k| 0 | 0.0 |2279M|1800 | - |2504 |1124 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1711.09/1711.13 c 1647s| 7620k| 7551k| 0 | 0.0 |2282M|1800 | - |2504 |1145 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1713.29/1713.32 c 1649s| 7630k| 7561k| 0 | 0.0 |2285M|1800 | - |2504 |1160 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1715.49/1715.52 c 1651s| 7640k| 7571k| 0 | 0.0 |2288M|1800 | - |2504 |1175 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1717.69/1717.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.69/1717.73 c 1653s| 7650k| 7581k| 0 | 0.0 |2291M|1800 | - |2504 |1124 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1719.89/1719.96 c 1655s| 7660k| 7591k| 0 | 0.0 |2294M|1800 | - |2504 |1204 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1722.19/1722.20 c 1657s| 7670k| 7601k| 0 | 0.0 |2297M|1800 | - |2504 |1206 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1724.29/1724.39 c 1659s| 7680k| 7611k| 0 | 0.0 |2300M|1800 | - |2504 |1202 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1726.49/1726.56 c 1662s| 7690k| 7621k| 0 | 0.0 |2303M|1800 | - |2504 |1199 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1728.69/1728.77 c 1664s| 7700k| 7631k| 0 | 0.0 |2306M|1800 | - |2504 |1191 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1730.89/1730.94 c 1666s| 7710k| 7641k| 0 | 0.0 |2310M|1800 | - |2504 |1167 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1733.09/1733.13 c 1668s| 7720k| 7650k| 0 | 0.0 |2313M|1800 | - |2504 |1150 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1735.29/1735.36 c 1670s| 7730k| 7660k| 0 | 0.0 |2316M|1800 | - |2504 |1152 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1737.49/1737.56 c 1672s| 7740k| 7670k| 0 | 0.0 |2319M|1800 | - |2504 |1118 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1739.70/1739.71 c 1674s| 7750k| 7680k| 0 | 0.0 |2322M|1800 | - |2504 |1150 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1741.89/1741.90 c 1676s| 7760k| 7690k| 0 | 0.0 |2325M|1800 | - |2504 |1169 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1744.09/1744.10 c 1678s| 7770k| 7700k| 0 | 0.0 |2328M|1800 | - |2504 |1152 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1746.29/1746.31 c 1681s| 7780k| 7710k| 0 | 0.0 |2331M|1800 | - |2504 |1179 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1748.49/1748.58 c 1683s| 7790k| 7720k| 0 | 0.0 |2334M|1800 | - |2504 |1177 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1750.69/1750.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1750.69/1750.79 c 1685s| 7800k| 7730k| 0 | 0.0 |2337M|1800 | - |2504 |1151 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1752.89/1753.00 c 1687s| 7810k| 7740k| 0 | 0.0 |2340M|1800 | - |2504 |1174 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1755.09/1755.18 c 1689s| 7820k| 7750k| 0 | 0.0 |2343M|1800 | - |2504 |1222 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1757.29/1757.38 c 1691s| 7830k| 7759k| 0 | 0.0 |2346M|1800 | - |2504 |1232 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1759.59/1759.60 c 1694s| 7840k| 7769k| 0 | 0.0 |2349M|1800 | - |2504 |1205 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1761.79/1761.80 c 1696s| 7850k| 7779k| 0 | 0.0 |2352M|1800 | - |2504 |1153 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1763.99/1764.01 c 1698s| 7860k| 7789k| 0 | 0.0 |2355M|1800 | - |2504 |1208 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1766.19/1766.22 c 1700s| 7870k| 7799k| 0 | 0.0 |2358M|1800 | - |2504 |1218 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1768.39/1768.41 c 1702s| 7880k| 7809k| 0 | 0.0 |2361M|1800 | - |2504 |1178 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1770.49/1770.58 c 1704s| 7890k| 7819k| 0 | 0.0 |2364M|1800 | - |2504 |1204 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1772.69/1772.76 c 1706s| 7900k| 7829k| 0 | 0.0 |2367M|1800 | - |2504 |1230 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1774.89/1774.97 c 1708s| 7910k| 7839k| 0 | 0.0 |2370M|1800 | - |2504 |1253 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1777.09/1777.20 c 1711s| 7920k| 7849k| 0 | 0.0 |2373M|1800 | - |2504 |1268 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1779.29/1779.38 c 1713s| 7930k| 7858k| 0 | 0.0 |2376M|1800 | - |2504 |1223 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1781.49/1781.59 c 1715s| 7940k| 7868k| 0 | 0.0 |2379M|1800 | - |2504 |1236 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1783.79/1783.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.79/1783.80 c 1717s| 7950k| 7878k| 0 | 0.0 |2382M|1800 | - |2504 |1207 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1785.98/1786.02 c 1719s| 7960k| 7888k| 0 | 0.0 |2385M|1800 | - |2504 |1195 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1788.19/1788.23 c 1721s| 7970k| 7898k| 0 | 0.0 |2388M|1800 | - |2504 |1205 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1790.39/1790.42 c 1723s| 7980k| 7908k| 0 | 0.0 |2391M|1800 | - |2504 |1209 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1792.49/1792.59 c 1725s| 7990k| 7918k| 0 | 0.0 |2394M|1800 | - |2504 |1187 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1794.69/1794.79 c 1728s| 8000k| 7928k| 0 | 0.0 |2397M|1800 | - |2504 |1172 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1796.99/1797.01 c 1730s| 8010k| 7938k| 0 | 0.0 |2400M|1800 | - |2504 |1207 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1799.19/1799.28 c 1732s| 8020k| 7948k| 0 | 0.0 |2403M|1800 | - |2504 |1265 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1732.80
1800.09/1800.10 c Solving Nodes : 8023651
1800.09/1800.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.10 s UNKNOWN
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time : 1732.80
1800.09/1800.10 c Original Problem :
1800.09/1800.10 c Problem name : HOME/instance-2693711-1277890149.wbo
1800.09/1800.10 c Variables : 2504 (2452 binary, 0 integer, 0 implicit integer, 52 continuous)
1800.09/1800.10 c Constraints : 193 initial, 193 maximal
1800.09/1800.10 c Presolved Problem :
1800.09/1800.10 c Problem name : t_HOME/instance-2693711-1277890149.wbo
1800.09/1800.10 c Variables : 2504 (2452 binary, 0 integer, 0 implicit integer, 52 continuous)
1800.09/1800.10 c Constraints : 192 initial, 1381 maximal
1800.09/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.10 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c probing : 0.02 0 0 0 0 0 0 0 0
1800.09/1800.10 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c linear : 0.00 0 0 0 52 0 1 0 0
1800.09/1800.10 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c root node : - 0 - - 0 - - - -
1800.09/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.10 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.10 c indicator : 52 0 1135 0 887 0 102 0 0 0
1800.09/1800.10 c setppc : 42 0 8772621 0 7996397 21218 5852674 0 0 0
1800.09/1800.10 c linear : 52 0 8751403 0 7996397 18076 2706785 0 0 0
1800.09/1800.10 c logicor : 46+ 0 1958799 0 7996397 4616 469151 0 0 0
1800.09/1800.10 c countsols : 0 0 0 0 7996397 0 0 0 0 0
1800.09/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.10 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.10 c indicator : 0.01 0.00 0.01 0.00 0.00
1800.09/1800.10 c setppc : 197.35 0.00 27.56 0.00 169.79
1800.09/1800.10 c linear : 48.08 0.00 44.90 0.00 3.18
1800.09/1800.10 c logicor : 133.54 0.00 9.20 0.00 124.34
1800.09/1800.10 c countsols : 1.37 0.00 0.00 0.00 1.37
1800.09/1800.10 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.10 c vbounds : 1.92 2 0 0
1800.09/1800.10 c rootredcost : 1.57 0 0 0
1800.09/1800.10 c pseudoobj : 13.01 8772421 0 0
1800.09/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.10 c propagation : 45.43 43910 43910 675772 253.6 275964 29.0 -
1800.09/1800.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.10 c applied globally : - - - 377398 60.6 - - -
1800.09/1800.10 c applied locally : - - - 5665 292.4 - - -
1800.09/1800.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.10 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.10 c redcost : 0.00 0 0 0 0 0
1800.09/1800.10 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.10 c intobj : 0.00 0 0 0 0 0
1800.09/1800.10 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.10 c gomory : 0.00 0 0 0 0 0
1800.09/1800.10 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.10 c cmir : 0.00 0 0 0 0 0
1800.09/1800.10 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.10 c clique : 0.00 0 0 0 0 0
1800.09/1800.10 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.10 c mcf : 0.00 0 0 0 0 0
1800.09/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.10 c Pricers : Time Calls Vars
1800.09/1800.10 c problem variables: 0.00 0 0
1800.09/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.10 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.10 c inference : 1210.80 7996397 0 0 0 0 15992794
1800.09/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.10 c random : 0.00 0 0 0 0 0 0
1800.09/1800.10 c Primal Heuristics : Time Calls Found
1800.09/1800.10 c LP solutions : 0.00 - 0
1800.09/1800.10 c pseudo solutions : 0.00 - 0
1800.09/1800.10 c oneopt : 1.63 0 0
1800.09/1800.10 c trivial : 0.00 2 0
1800.09/1800.10 c simplerounding : 0.00 0 0
1800.09/1800.10 c zirounding : 0.00 0 0
1800.09/1800.10 c rounding : 0.00 0 0
1800.09/1800.10 c shifting : 0.00 0 0
1800.09/1800.10 c intshifting : 0.00 0 0
1800.09/1800.10 c twoopt : 0.00 0 0
1800.09/1800.10 c fixandinfer : 0.00 0 0
1800.09/1800.10 c feaspump : 0.00 0 0
1800.09/1800.10 c coefdiving : 0.00 0 0
1800.09/1800.10 c pscostdiving : 0.00 0 0
1800.09/1800.10 c fracdiving : 0.00 0 0
1800.09/1800.10 c veclendiving : 0.00 0 0
1800.09/1800.10 c intdiving : 0.00 0 0
1800.09/1800.10 c actconsdiving : 0.00 0 0
1800.09/1800.10 c objpscostdiving : 0.00 0 0
1800.09/1800.10 c rootsoldiving : 0.00 0 0
1800.09/1800.10 c linesearchdiving : 0.00 0 0
1800.09/1800.10 c guideddiving : 0.00 0 0
1800.09/1800.10 c octane : 0.00 0 0
1800.09/1800.10 c rens : 0.00 0 0
1800.09/1800.10 c rins : 0.00 0 0
1800.09/1800.10 c localbranching : 0.00 0 0
1800.09/1800.10 c mutation : 0.00 0 0
1800.09/1800.10 c crossover : 0.00 0 0
1800.09/1800.10 c dins : 0.00 0 0
1800.09/1800.10 c undercover : 0.00 0 0
1800.09/1800.10 c nlp : 1.71 0 0
1800.09/1800.10 c trysol : 1.71 1 0
1800.09/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.10 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.10 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.10 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.10 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.10 c (at root node) : - 0 0 0.00 -
1800.09/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.10 c B&B Tree :
1800.09/1800.10 c number of runs : 1
1800.09/1800.10 c nodes : 8023651
1800.09/1800.10 c nodes (total) : 8023651
1800.09/1800.10 c nodes left : 7951753
1800.09/1800.10 c max depth : 1800
1800.09/1800.10 c max depth (total): 1800
1800.09/1800.10 c backtracks : 17642 (0.2%)
1800.09/1800.10 c delayed cutoffs : 17391
1800.09/1800.10 c repropagations : 48970 (994834 domain reductions, 16656 cutoffs)
1800.09/1800.10 c avg switch length: 2.50
1800.09/1800.10 c switching time : 43.18
1800.09/1800.10 c Solution :
1800.09/1800.10 c Solutions found : 0 (0 improvements)
1800.09/1800.10 c Primal Bound : -
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.10 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.10 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-2693711-1277890149/watcher-2693711-1277890149 -o /tmp/evaluation-result-2693711-1277890149/solver-2693711-1277890149 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693711-1277890149.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: 2.06 2.89 3.81 4/186 22010
/proc/meminfo: memFree=31466012/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=8796 CPUtime=0
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 1685 0 0 0 0 0 0 0 25 0 1 0 162606660 9007104 1607 4089446400 4194304 7136930 140734851453024 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22010/statm: 2199 1607 275 719 0 1478 0
[startup+0.020819 s]
/proc/loadavg: 2.06 2.89 3.81 4/186 22010
/proc/meminfo: memFree=31466012/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=18128 CPUtime=0.01
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 4207 0 0 0 1 0 0 0 25 0 1 0 162606660 18563072 3518 4089446400 4194304 7136930 140734851453024 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22010/statm: 4532 3538 345 719 0 3811 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18128
[startup+0.100805 s]
/proc/loadavg: 2.06 2.89 3.81 4/186 22010
/proc/meminfo: memFree=31466012/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=19376 CPUtime=0.09
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 5822 0 0 0 8 1 0 0 25 0 1 0 162606660 19841024 4105 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22010/statm: 4844 4105 390 719 0 4123 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19376
[startup+0.300769 s]
/proc/loadavg: 2.06 2.89 3.81 4/186 22010
/proc/meminfo: memFree=31466012/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=19800 CPUtime=0.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 5923 0 0 0 27 2 0 0 25 0 1 0 162606660 20275200 4206 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22010/statm: 4950 4206 390 719 0 4229 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19800
[startup+0.700706 s]
/proc/loadavg: 2.06 2.89 3.81 4/186 22010
/proc/meminfo: memFree=31466012/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=20856 CPUtime=0.69
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 6217 0 0 0 64 5 0 0 25 0 1 0 162606660 21356544 4500 4089446400 4194304 7136930 140734851453024 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22010/statm: 5214 4500 394 719 0 4493 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20856
[startup+1.50056 s]
/proc/loadavg: 2.06 2.89 3.81 3/187 22011
/proc/meminfo: memFree=31449132/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=22568 CPUtime=1.49
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 6639 0 0 0 139 10 0 0 25 0 1 0 162606660 23109632 4922 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22010/statm: 5642 4922 394 719 0 4921 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22568
[startup+3.10028 s]
/proc/loadavg: 2.06 2.89 3.81 3/187 22011
/proc/meminfo: memFree=31446528/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=24668 CPUtime=3.09
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 7218 0 0 0 294 15 0 0 25 0 1 0 162606660 25260032 5501 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22010/statm: 6167 5501 394 719 0 5446 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24668
[startup+6.30072 s]
/proc/loadavg: 2.06 2.88 3.80 3/187 22011
/proc/meminfo: memFree=31441884/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=29792 CPUtime=6.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 8555 0 0 0 606 23 0 0 25 0 1 0 162606660 30507008 6838 4089446400 4194304 7136930 140734851453024 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22010/statm: 7448 6838 394 719 0 6727 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29792
[startup+12.7006 s]
/proc/loadavg: 2.05 2.86 3.79 3/187 22011
/proc/meminfo: memFree=31432464/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=39272 CPUtime=12.69
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 11004 0 0 0 1229 40 0 0 25 0 1 0 162606660 40214528 9287 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22010/statm: 9818 9287 394 719 0 9097 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39272
[startup+25.5004 s]
/proc/loadavg: 2.04 2.82 3.76 3/187 22012
/proc/meminfo: memFree=31409784/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=60992 CPUtime=25.49
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 16152 0 0 0 2466 83 0 0 25 0 1 0 162606660 62455808 14435 4089446400 4194304 7136930 140734851453024 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22010/statm: 15248 14435 394 719 0 14527 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60992
[startup+51.1009 s]
/proc/loadavg: 2.03 2.75 3.71 10/187 22013
/proc/meminfo: memFree=31157884/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=111800 CPUtime=51.09
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 28253 0 0 0 4937 172 0 0 25 0 1 0 162606660 114483200 26536 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22010/statm: 27950 26536 394 719 0 27229 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111800
[startup+102.307 s]
/proc/loadavg: 5.41 3.58 3.95 8/187 22014
/proc/meminfo: memFree=31040024/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=203080 CPUtime=102.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 49898 0 0 0 9746 483 0 0 25 0 1 0 162606660 207953920 48181 4089446400 4194304 7136930 140734851453024 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22010/statm: 50770 48181 394 719 0 50049 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 203080
[startup+162.3 s]
/proc/loadavg: 4.55 3.71 3.97 4/187 22015
/proc/meminfo: memFree=30943212/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=285100 CPUtime=162.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 71379 0 0 0 15358 871 0 0 25 0 1 0 162606660 291942400 69662 4089446400 4194304 7136930 140734851453024 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22010/statm: 71275 69662 394 719 0 70554 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 285100
[startup+222.301 s]
/proc/loadavg: 2.97 3.41 3.85 3/187 22017
/proc/meminfo: memFree=30856848/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=365176 CPUtime=222.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 92432 0 0 0 20872 1357 0 0 25 0 1 0 162606660 373940224 90715 4089446400 4194304 7136930 140734851453024 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22010/statm: 91294 90715 394 719 0 90573 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 365176
[startup+282.3 s]
/proc/loadavg: 2.39 3.16 3.73 3/187 22019
/proc/meminfo: memFree=30774728/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=458948 CPUtime=282.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 112766 0 0 0 26388 1841 0 0 25 0 1 0 162606660 469962752 111049 4089446400 4194304 7136930 140734851453024 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22010/statm: 114737 111049 394 719 0 114016 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 458948
[startup+342.301 s]
/proc/loadavg: 5.55 3.83 3.92 10/187 22021
/proc/meminfo: memFree=30670776/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=535560 CPUtime=342.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 132915 0 0 0 31971 2258 0 0 25 0 1 0 162606660 548413440 131198 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 133890 131198 394 719 0 133169 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 535560
[startup+402.3 s]
/proc/loadavg: 6.27 4.45 4.13 3/179 22050
/proc/meminfo: memFree=31121544/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=606716 CPUtime=402.28
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 151647 0 0 0 37737 2491 0 0 25 0 1 0 162606660 621277184 149930 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 151679 149930 394 719 0 150958 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 606716
[startup+462.301 s]
/proc/loadavg: 3.57 4.00 4.00 3/179 22051
/proc/meminfo: memFree=31032412/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=691860 CPUtime=462.28
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 173945 0 0 0 43556 2672 0 0 25 0 1 0 162606660 708464640 172228 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 172965 172228 394 719 0 172244 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 691860
[startup+522.3 s]
/proc/loadavg: 2.57 3.64 3.87 3/179 22053
/proc/meminfo: memFree=30950160/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=804200 CPUtime=522.28
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 194894 0 0 0 49375 2853 0 0 25 0 1 0 162606660 823500800 193177 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 201050 193177 394 719 0 200329 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 804200
[startup+582.301 s]
/proc/loadavg: 2.21 3.34 3.75 3/179 22055
/proc/meminfo: memFree=30864932/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=882888 CPUtime=582.28
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 215569 0 0 0 55189 3039 0 0 25 0 1 0 162606660 904077312 213852 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 220722 213852 394 719 0 220001 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 882888
[startup+642.3 s]
/proc/loadavg: 2.07 3.09 3.64 3/179 22057
/proc/meminfo: memFree=30779200/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=963932 CPUtime=642.28
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 236869 0 0 0 61018 3210 0 0 25 0 1 0 162606660 987066368 235152 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 240983 235152 394 719 0 240262 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 963932
[startup+702.301 s]
################
# More data... #
################
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 383941 0 0 0 101750 4478 0 0 25 0 1 0 162606660 1627762688 382224 4089446400 4194304 7136930 140734851453024 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 397403 382224 394 719 0 396682 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 1589612
[startup+1122.3 s]
/proc/loadavg: 2.00 2.21 2.96 3/179 22069
/proc/meminfo: memFree=30106552/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=1668876 CPUtime=1122.28
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 404778 0 0 0 107571 4657 0 0 25 0 1 0 162606660 1708929024 403061 4089446400 4194304 7136930 140734851453024 18446744073709551615 4407876 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 417219 403061 394 719 0 416498 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 1668876
[startup+1182.3 s]
/proc/loadavg: 2.00 2.17 2.89 3/179 22071
/proc/meminfo: memFree=30023548/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=1748292 CPUtime=1182.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 425663 0 0 0 113392 4837 0 0 25 0 1 0 162606660 1790251008 423946 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 437073 423946 394 719 0 436352 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 1748292
[startup+1242.3 s]
/proc/loadavg: 2.00 2.13 2.84 3/179 22076
/proc/meminfo: memFree=29936500/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=1829348 CPUtime=1242.28
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 446915 0 0 0 119205 5023 0 0 25 0 1 0 162606660 1873252352 445198 4089446400 4194304 7136930 140734851453024 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 457337 445198 394 719 0 456616 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 1829348
[startup+1302.3 s]
/proc/loadavg: 2.00 2.11 2.78 3/179 22077
/proc/meminfo: memFree=29855232/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=1905652 CPUtime=1302.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 467088 0 0 0 125032 5197 0 0 25 0 1 0 162606660 1951387648 465371 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 476413 465371 394 719 0 475692 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 1905652
[startup+1362.3 s]
/proc/loadavg: 2.00 2.08 2.73 3/179 22078
/proc/meminfo: memFree=29769500/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=1987796 CPUtime=1362.28
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 488632 0 0 0 130849 5379 0 0 25 0 1 0 162606660 2035503104 486915 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 496949 486915 394 719 0 496228 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 1987796
[startup+1422.31 s]
/proc/loadavg: 2.00 2.07 2.68 3/179 22080
/proc/meminfo: memFree=29690316/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2062264 CPUtime=1422.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 508219 0 0 0 136665 5564 0 0 25 0 1 0 162606660 2111758336 506502 4089446400 4194304 7136930 140734851453024 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 515566 506502 394 719 0 514845 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 2062264
[startup+1482.3 s]
/proc/loadavg: 2.00 2.05 2.63 3/179 22082
/proc/meminfo: memFree=29605312/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2143556 CPUtime=1482.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 529594 0 0 0 142487 5742 0 0 25 0 1 0 162606660 2195001344 527877 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 535889 527877 394 719 0 535168 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 2143556
[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.59 3/179 22084
/proc/meminfo: memFree=29520068/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2224256 CPUtime=1542.28
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 550800 0 0 0 148301 5927 0 0 25 0 1 0 162606660 2277638144 549083 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 556064 549083 394 719 0 555343 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 2224256
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.55 3/179 22085
/proc/meminfo: memFree=29439540/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2300272 CPUtime=1602.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 570866 0 0 0 154115 6114 0 0 25 0 1 0 162606660 2355478528 569149 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 575068 569149 394 719 0 574347 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 2300272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.52 3/179 22086
/proc/meminfo: memFree=29352188/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2384632 CPUtime=1662.28
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 592933 0 0 0 159930 6298 0 0 25 0 1 0 162606660 2441863168 591216 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 596158 591216 394 719 0 595437 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 2384632
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.48 3/179 22088
/proc/meminfo: memFree=29261240/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2470608 CPUtime=1722.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 615437 0 0 0 165738 6491 0 0 25 0 1 0 162606660 2529902592 613720 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 617652 613720 394 719 0 616931 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 2470608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.45 3/179 22090
/proc/meminfo: memFree=29179720/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2547220 CPUtime=1782.29
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 635642 0 0 0 171550 6679 0 0 25 0 1 0 162606660 2608353280 633925 4089446400 4194304 7136930 140734851453024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 636805 633925 394 719 0 636084 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 2547220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.44 3/179 22090
/proc/meminfo: memFree=29153032/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2571632 CPUtime=1800.09
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 642046 0 0 0 173280 6729 0 0 25 0 1 0 162606660 2633351168 640329 4089446400 4194304 7136930 140734851453024 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22010/statm: 642908 640329 394 719 0 642187 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2571632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22010
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.44 3/180 22091
/proc/meminfo: memFree=29153024/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2571116 CPUtime=1801.38
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 642066 0 0 0 173409 6729 0 0 25 0 1 0 162606660 2632822784 640220 4089446400 4194304 7136930 140734851453024 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22010/statm: 642779 640220 399 719 0 642058 0
Current children cumulated CPU time (s) 1801.38
Current children cumulated vsize (KiB) 2571116
[startup+1801.81 s]
/proc/loadavg: 2.00 2.01 2.44 3/180 22091
/proc/meminfo: memFree=29153016/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2571116 CPUtime=1801.79
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 642066 0 0 0 173450 6729 0 0 25 0 1 0 162606660 2632822784 640220 4089446400 4194304 7136930 140734851453024 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22010/statm: 642779 640220 399 719 0 642058 0
Current children cumulated CPU time (s) 1801.79
Current children cumulated vsize (KiB) 2571116
[startup+1802 s]
/proc/loadavg: 2.00 2.01 2.44 3/180 22091
/proc/meminfo: memFree=29153016/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2571116 CPUtime=1801.98
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 642066 0 0 0 173469 6729 0 0 25 0 1 0 162606660 2632822784 640220 4089446400 4194304 7136930 140734851453024 18446744073709551615 4616621 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22010/statm: 642779 640220 399 719 0 642058 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 2571116
[startup+1802.1 s]
/proc/loadavg: 2.00 2.01 2.44 3/180 22091
/proc/meminfo: memFree=29153016/32950940 swapFree=67111528/67111528
[pid=22010] ppid=22008 vsize=2571116 CPUtime=1802.08
/proc/22010/stat : 22010 (pbscip.linux.x8) R 22008 22010 20946 0 -1 4202496 642066 0 0 0 173479 6729 0 0 25 0 1 0 162606660 2632822784 640220 4089446400 4194304 7136930 140734851453024 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22010/statm: 642779 640220 399 719 0 642058 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 2571116
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.19
CPU time (s): 1802.19
CPU user time (s): 1734.8
CPU system time (s): 67.3828
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 2571632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1734.8
system time used= 67.3828
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 642066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3080
runsolver used 2.69659 second user time and 5.64014 second system time
The end
Begin job on node117 at 2010-06-30 11:29:09
IDJOB=2693711
IDBENCH=78679
IDSOLVER=1206
FILE ID=node117/2693711-1277890149
PBS_JOBID= 11197119
Free space on /tmp= 74192 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr--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-2693711-1277890149/watcher-2693711-1277890149 -o /tmp/evaluation-result-2693711-1277890149/solver-2693711-1277890149 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693711-1277890149.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 077a21624aa2f6aaa0c1ba2d37648916
RANDOM SEED=633717276
node117.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.799
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.59
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.799
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.799
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.82
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.799
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.75
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.799
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.85
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.799
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.799
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.82
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.799
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950940 kB
MemFree: 31466540 kB
Buffers: 173644 kB
Cached: 861360 kB
SwapCached: 0 kB
Active: 755132 kB
Inactive: 585260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950940 kB
LowFree: 31466540 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3120 kB
Writeback: 0 kB
AnonPages: 305024 kB
Mapped: 19060 kB
Slab: 78552 kB
PageTables: 5660 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586996 kB
Committed_AS: 646292 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= 74208 MiB
End job on node117 at 2010-06-30 11:59:12