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-2693710-1277890094.wbo>
0.00/0.01 c original problem has 3514 variables (3397 bin, 0 int, 0 impl, 117 cont) and 280 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 117 impls, 17 clqs
0.00/0.02 c (round 2) 0 del vars, 1 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 117 impls, 17 clqs
0.00/0.02 c (round 3) 0 del vars, 1 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 28 upgd conss, 117 impls, 17 clqs
0.00/0.03 c (round 4) 0 del vars, 1 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 45 upgd conss, 117 impls, 17 clqs
0.00/0.05 c (0.0s) probing: 101/3397 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (5 rounds):
0.00/0.05 c 0 deleted vars, 1 deleted constraints, 117 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 117 implications, 17 cliques
0.00/0.05 c presolved problem has 3514 variables (3397 bin, 0 int, 0 impl, 117 cont) and 279 constraints
0.00/0.05 c 117 constraints of type <indicator>
0.00/0.05 c 17 constraints of type <setppc>
0.00/0.05 c 117 constraints of type <linear>
0.00/0.05 c 28 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c lp/solvefreq = -1
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.0s| 1 | 2 | 0 | - |6549k| 0 | - |3514 | 279 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.09/2.12 c 2.0s| 10000 | 9976 | 0 | 0.0 | 10M|2864 | - |3514 | 355 | 0 | 0 | 0 | 104 | 0 | 0.000000e+00 | -- | Inf
4.59/4.65 c 4.5s| 20000 | 19923 | 0 | 0.0 | 13M|2864 | - |3514 | 376 | 0 | 0 | 0 | 364 | 0 | 0.000000e+00 | -- | Inf
7.09/7.18 c 7.0s| 30000 | 29881 | 0 | 0.0 | 16M|2864 | - |3514 | 409 | 0 | 0 | 0 | 574 | 0 | 0.000000e+00 | -- | Inf
9.69/9.71 c 9.4s| 40000 | 39833 | 0 | 0.0 | 18M|2864 | - |3514 | 486 | 0 | 0 | 0 | 814 | 0 | 0.000000e+00 | -- | Inf
12.19/12.28 c 11.9s| 50000 | 49798 | 0 | 0.0 | 21M|2864 | - |3514 | 509 | 0 | 0 | 0 |1000 | 0 | 0.000000e+00 | -- | Inf
14.79/14.87 c 14.5s| 60000 | 59747 | 0 | 0.0 | 24M|2864 | - |3514 | 617 | 0 | 0 | 0 |1256 | 0 | 0.000000e+00 | -- | Inf
17.50/17.51 c 17.0s| 70000 | 69695 | 0 | 0.0 | 27M|2864 | - |3514 | 651 | 0 | 0 | 0 |1519 | 0 | 0.000000e+00 | -- | Inf
20.09/20.11 c 19.6s| 80000 | 79641 | 0 | 0.0 | 30M|2864 | - |3514 | 652 | 0 | 0 | 0 |1789 | 0 | 0.000000e+00 | -- | Inf
22.69/22.71 c 22.1s| 90000 | 89589 | 0 | 0.0 | 32M|2864 | - |3514 | 708 | 0 | 0 | 0 |2049 | 0 | 0.000000e+00 | -- | Inf
25.20/25.30 c 24.6s|100000 | 99542 | 0 | 0.0 | 35M|2864 | - |3514 | 735 | 0 | 0 | 0 |2286 | 0 | 0.000000e+00 | -- | Inf
27.79/27.85 c 27.1s|110000 |109498 | 0 | 0.0 | 38M|2864 | - |3514 | 789 | 0 | 0 | 0 |2506 | 0 | 0.000000e+00 | -- | Inf
30.39/30.42 c 29.6s|120000 |119458 | 0 | 0.0 | 41M|2864 | - |3514 | 790 | 0 | 0 | 0 |2706 | 0 | 0.000000e+00 | -- | Inf
32.90/33.00 c 32.1s|130000 |129400 | 0 | 0.0 | 43M|2864 | - |3514 | 845 | 0 | 0 | 0 |2996 | 0 | 0.000000e+00 | -- | Inf
35.49/35.56 c 34.6s|140000 |139346 | 0 | 0.0 | 46M|2864 | - |3514 | 877 | 0 | 0 | 0 |3266 | 0 | 0.000000e+00 | -- | Inf
37.99/38.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.99/38.07 c 37.0s|150000 |149298 | 0 | 0.0 | 49M|2864 | - |3514 | 892 | 0 | 0 | 0 |3506 | 0 | 0.000000e+00 | -- | Inf
40.49/40.60 c 39.5s|160000 |159247 | 0 | 0.0 | 52M|2864 | - |3514 | 919 | 0 | 0 | 0 |3766 | 0 | 0.000000e+00 | -- | Inf
43.09/43.10 c 42.0s|170000 |169191 | 0 | 0.0 | 54M|2864 | - |3514 | 926 | 0 | 0 | 0 |4046 | 0 | 0.000000e+00 | -- | Inf
45.60/45.60 c 44.4s|180000 |179148 | 0 | 0.0 | 57M|2864 | - |3514 | 915 | 0 | 0 | 0 |4266 | 0 | 0.000000e+00 | -- | Inf
47.99/48.06 c 46.8s|190000 |189098 | 0 | 0.0 | 60M|2864 | - |3514 | 945 | 0 | 0 | 0 |4516 | 0 | 0.000000e+00 | -- | Inf
50.50/50.55 c 49.2s|200000 |199039 | 0 | 0.0 | 63M|2864 | - |3514 | 935 | 0 | 0 | 0 |4816 | 0 | 0.000000e+00 | -- | Inf
52.99/53.06 c 51.6s|210000 |208973 | 0 | 0.0 | 65M|2864 | - |3514 | 974 | 0 | 0 | 0 |5146 | 0 | 0.000000e+00 | -- | Inf
55.49/55.55 c 54.0s|220000 |218920 | 0 | 0.0 | 68M|2864 | - |3514 | 952 | 0 | 0 | 0 |5416 | 0 | 0.000000e+00 | -- | Inf
57.99/58.02 c 56.5s|230000 |228880 | 0 | 0.0 | 71M|2864 | - |3514 | 919 | 0 | 0 | 0 |5616 | 0 | 0.000000e+00 | -- | Inf
60.40/60.50 c 58.9s|240000 |238828 | 0 | 0.0 | 74M|2864 | - |3514 | 939 | 0 | 0 | 0 |5876 | 0 | 0.000000e+00 | -- | Inf
62.89/62.97 c 61.3s|250000 |248770 | 0 | 0.0 | 76M|2864 | - |3514 | 919 | 0 | 0 | 0 |6165 | 0 | 0.000000e+00 | -- | Inf
65.40/65.46 c 63.7s|260000 |258716 | 0 | 0.0 | 79M|2864 | - |3514 | 946 | 0 | 0 | 0 |6435 | 0 | 0.000000e+00 | -- | Inf
67.90/67.94 c 66.1s|270000 |268667 | 0 | 0.0 | 82M|2864 | - |3514 | 925 | 0 | 0 | 0 |6685 | 0 | 0.000000e+00 | -- | Inf
70.30/70.38 c 68.5s|280000 |278619 | 0 | 0.0 | 85M|2864 | - |3514 | 931 | 0 | 0 | 0 |6925 | 0 | 0.000000e+00 | -- | Inf
72.79/72.81 c 70.9s|290000 |288567 | 0 | 0.0 | 88M|2864 | - |3514 | 950 | 0 | 0 | 0 |7185 | 0 | 0.000000e+00 | -- | Inf
75.19/75.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.19/75.24 c 73.3s|300000 |298519 | 0 | 0.0 | 90M|2864 | - |3514 | 951 | 0 | 0 | 0 |7425 | 0 | 0.000000e+00 | -- | Inf
77.59/77.63 c 75.6s|310000 |308467 | 0 | 0.0 | 93M|2864 | - |3514 | 970 | 0 | 0 | 0 |7685 | 0 | 0.000000e+00 | -- | Inf
79.99/80.06 c 78.0s|320000 |318413 | 0 | 0.0 | 96M|2864 | - |3514 | 968 | 0 | 0 | 0 |7955 | 0 | 0.000000e+00 | -- | Inf
82.39/82.47 c 80.3s|330000 |328357 | 0 | 0.0 | 99M|2864 | - |3514 | 981 | 0 | 0 | 0 |8235 | 0 | 0.000000e+00 | -- | Inf
84.80/84.87 c 82.7s|340000 |338305 | 0 | 0.0 | 101M|2864 | - |3514 | 936 | 0 | 0 | 0 |8495 | 0 | 0.000000e+00 | -- | Inf
87.19/87.26 c 85.0s|350000 |348253 | 0 | 0.0 | 104M|2864 | - |3514 | 963 | 0 | 0 | 0 |8753 | 0 | 0.000000e+00 | -- | Inf
89.59/89.69 c 87.4s|360000 |358197 | 0 | 0.0 | 107M|2864 | - |3514 | 989 | 0 | 0 | 0 |9039 | 0 | 0.000000e+00 | -- | Inf
92.00/92.07 c 89.7s|370000 |368133 | 0 | 0.0 | 110M|2864 | - |3514 |1016 | 0 | 0 | 0 |9357 | 0 | 0.000000e+00 | -- | Inf
94.39/94.44 c 92.0s|380000 |378081 | 0 | 0.0 | 113M|2864 | - |3514 |1023 | 0 | 0 | 0 |9617 | 0 | 0.000000e+00 | -- | Inf
96.70/96.80 c 94.3s|390000 |388029 | 0 | 0.0 | 115M|2864 | - |3514 | 988 | 0 | 0 | 0 |9877 | 0 | 0.000000e+00 | -- | Inf
99.10/99.13 c 96.5s|400000 |397982 | 0 | 0.0 | 118M|2864 | - |3514 | 974 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
101.40/101.48 c 98.8s|410000 |407918 | 0 | 0.0 | 121M|2864 | - |3514 |1012 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
103.80/103.81 c 101s|420000 |417860 | 0 | 0.0 | 124M|2864 | - |3514 |1012 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
106.09/106.13 c 103s|430000 |427804 | 0 | 0.0 | 127M|2864 | - |3514 |1037 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
108.39/108.42 c 106s|440000 |437750 | 0 | 0.0 | 130M|2864 | - |3514 |1004 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
110.69/110.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.69/110.72 c 108s|450000 |447693 | 0 | 0.0 | 132M|2864 | - |3514 | 978 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
112.90/112.98 c 110s|460000 |457632 | 0 | 0.0 | 135M|2864 | - |3514 | 988 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
115.19/115.25 c 112s|470000 |467574 | 0 | 0.0 | 138M|2864 | - |3514 | 978 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
117.79/117.84 c 115s|480000 |476902 | 0 | 0.0 | 142M|2864 | - |3514 | 958 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
120.90/120.93 c 118s|490000 |484712 | 0 | 0.0 | 148M|2864 | - |3514 | 932 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
123.60/123.62 c 120s|500000 |492574 | 0 | 0.0 | 154M|2864 | - |3514 | 918 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
125.89/125.92 c 123s|510000 |500425 | 0 | 0.0 | 160M|2864 | - |3514 | 921 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
128.09/128.10 c 125s|520000 |508730 | 0 | 0.0 | 165M|2864 | - |3514 | 959 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
130.49/130.55 c 127s|530000 |518671 | 0 | 0.0 | 167M|2864 | - |3514 | 913 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
132.89/133.00 c 129s|540000 |528625 | 0 | 0.0 | 170M|2864 | - |3514 | 888 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
135.40/135.43 c 132s|550000 |538585 | 0 | 0.0 | 173M|2864 | - |3514 | 889 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
137.89/137.90 c 134s|560000 |548546 | 0 | 0.0 | 176M|2864 | - |3514 | 937 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
140.29/140.35 c 137s|570000 |558512 | 0 | 0.0 | 178M|2864 | - |3514 | 928 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
142.80/142.85 c 139s|580000 |568460 | 0 | 0.0 | 181M|2864 | - |3514 | 963 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
145.29/145.31 c 141s|590000 |578412 | 0 | 0.0 | 184M|2864 | - |3514 | 952 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
147.79/147.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.79/147.81 c 144s|600000 |588358 | 0 | 0.0 | 187M|2864 | - |3514 | 963 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
150.20/150.27 c 146s|610000 |598310 | 0 | 0.0 | 189M|2864 | - |3514 | 970 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
152.70/152.79 c 149s|620000 |608262 | 0 | 0.0 | 192M|2864 | - |3514 | 958 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
155.19/155.28 c 151s|630000 |618212 | 0 | 0.0 | 195M|2864 | - |3514 | 982 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
157.70/157.79 c 154s|640000 |628160 | 0 | 0.0 | 198M|2864 | - |3514 | 982 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
160.19/160.29 c 156s|650000 |638122 | 0 | 0.0 | 200M|2864 | - |3514 | 944 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
162.70/162.80 c 158s|660000 |648078 | 0 | 0.0 | 203M|2864 | - |3514 | 954 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
165.29/165.30 c 161s|670000 |658040 | 0 | 0.0 | 206M|2864 | - |3514 | 961 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
167.79/167.81 c 163s|680000 |667996 | 0 | 0.0 | 208M|2864 | - |3514 | 946 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
170.29/170.34 c 166s|690000 |677948 | 0 | 0.0 | 211M|2864 | - |3514 | 922 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
172.79/172.86 c 168s|700000 |687910 | 0 | 0.0 | 214M|2864 | - |3514 | 924 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
175.40/175.40 c 171s|710000 |697856 | 0 | 0.0 | 217M|2864 | - |3514 | 923 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
177.89/177.95 c 173s|720000 |707816 | 0 | 0.0 | 219M|2864 | - |3514 | 855 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
180.40/180.48 c 176s|730000 |717772 | 0 | 0.0 | 222M|2864 | - |3514 | 844 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
182.99/183.00 c 178s|740000 |727726 | 0 | 0.0 | 225M|2864 | - |3514 | 839 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
185.50/185.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.50/185.53 c 181s|750000 |737682 | 0 | 0.0 | 227M|2864 | - |3514 | 823 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
188.01/188.06 c 183s|760000 |747630 | 0 | 0.0 | 230M|2864 | - |3514 | 826 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
190.60/190.63 c 185s|770000 |757574 | 0 | 0.0 | 233M|2864 | - |3514 | 854 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
193.10/193.17 c 188s|780000 |767530 | 0 | 0.0 | 236M|2864 | - |3514 | 805 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
195.70/195.70 c 190s|790000 |777496 | 0 | 0.0 | 238M|2864 | - |3514 | 765 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
198.19/198.22 c 193s|800000 |787454 | 0 | 0.0 | 241M|2864 | - |3514 | 788 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
200.70/200.76 c 195s|810000 |797398 | 0 | 0.0 | 244M|2864 | - |3514 | 800 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
203.20/203.29 c 198s|820000 |807350 | 0 | 0.0 | 247M|2864 | - |3514 | 811 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
205.79/205.85 c 200s|830000 |817302 | 0 | 0.0 | 249M|2864 | - |3514 | 797 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
208.30/208.39 c 203s|840000 |827258 | 0 | 0.0 | 252M|2864 | - |3514 | 766 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
210.89/210.92 c 205s|850000 |837222 | 0 | 0.0 | 255M|2864 | - |3514 | 753 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
213.40/213.46 c 208s|860000 |847172 | 0 | 0.0 | 257M|2864 | - |3514 | 782 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
216.00/216.01 c 210s|870000 |857118 | 0 | 0.0 | 260M|2864 | - |3514 | 798 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
218.50/218.56 c 213s|880000 |867076 | 0 | 0.0 | 263M|2864 | - |3514 | 768 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
221.00/221.09 c 215s|890000 |877030 | 0 | 0.0 | 266M|2864 | - |3514 | 778 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
223.60/223.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.60/223.63 c 218s|900000 |886976 | 0 | 0.0 | 268M|2864 | - |3514 | 799 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
226.09/226.18 c 220s|910000 |896938 | 0 | 0.0 | 271M|2864 | - |3514 | 782 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
228.70/228.71 c 223s|920000 |906898 | 0 | 0.0 | 274M|2864 | - |3514 | 776 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
231.20/231.27 c 225s|930000 |916844 | 0 | 0.0 | 277M|2864 | - |3514 | 804 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
233.79/233.81 c 228s|940000 |926798 | 0 | 0.0 | 279M|2864 | - |3514 | 803 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
236.30/236.34 c 230s|950000 |936754 | 0 | 0.0 | 282M|2864 | - |3514 | 838 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
238.89/238.90 c 232s|960000 |946702 | 0 | 0.0 | 285M|2864 | - |3514 | 825 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
241.40/241.45 c 235s|970000 |956662 | 0 | 0.0 | 287M|2864 | - |3514 | 822 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
243.89/243.99 c 237s|980000 |966616 | 0 | 0.0 | 290M|2864 | - |3514 | 832 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
246.50/246.54 c 240s|990000 |976566 | 0 | 0.0 | 293M|2864 | - |3514 | 839 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
249.00/249.10 c 242s| 1000k|986516 | 0 | 0.0 | 296M|2864 | - |3514 | 865 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
251.60/251.66 c 245s| 1010k|996462 | 0 | 0.0 | 298M|2864 | - |3514 | 865 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
254.11/254.19 c 247s| 1020k| 1006k| 0 | 0.0 | 301M|2864 | - |3514 | 832 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
256.70/256.72 c 250s| 1030k| 1016k| 0 | 0.0 | 304M|2864 | - |3514 | 863 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
259.20/259.27 c 252s| 1040k| 1026k| 0 | 0.0 | 306M|2864 | - |3514 | 872 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
261.81/261.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.81/261.83 c 255s| 1050k| 1036k| 0 | 0.0 | 309M|2864 | - |3514 | 884 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
264.29/264.35 c 257s| 1060k| 1046k| 0 | 0.0 | 312M|2864 | - |3514 | 830 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
266.90/266.92 c 260s| 1070k| 1056k| 0 | 0.0 | 315M|2864 | - |3514 | 881 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
269.41/269.48 c 262s| 1080k| 1066k| 0 | 0.0 | 317M|2864 | - |3514 | 865 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
272.00/272.05 c 265s| 1090k| 1076k| 0 | 0.0 | 320M|2864 | - |3514 | 891 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
274.60/274.60 c 267s| 1100k| 1086k| 0 | 0.0 | 323M|2864 | - |3514 | 857 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
277.10/277.13 c 270s| 1110k| 1095k| 0 | 0.0 | 325M|2864 | - |3514 | 845 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
279.60/279.69 c 272s| 1120k| 1105k| 0 | 0.0 | 328M|2864 | - |3514 | 855 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
282.20/282.25 c 275s| 1130k| 1115k| 0 | 0.0 | 331M|2864 | - |3514 | 841 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
284.69/284.79 c 277s| 1140k| 1125k| 0 | 0.0 | 334M|2864 | - |3514 | 863 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
287.30/287.32 c 280s| 1150k| 1135k| 0 | 0.0 | 336M|2864 | - |3514 | 898 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
289.80/289.89 c 282s| 1160k| 1145k| 0 | 0.0 | 339M|2864 | - |3514 | 860 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
292.40/292.45 c 285s| 1170k| 1155k| 0 | 0.0 | 342M|2864 | - |3514 | 908 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
294.90/294.99 c 287s| 1180k| 1165k| 0 | 0.0 | 344M|2864 | - |3514 | 892 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
297.50/297.50 c 290s| 1190k| 1175k| 0 | 0.0 | 347M|2864 | - |3514 | 879 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
300.00/300.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.00/300.02 c 292s| 1200k| 1185k| 0 | 0.0 | 350M|2864 | - |3514 | 867 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
302.50/302.57 c 294s| 1210k| 1195k| 0 | 0.0 | 353M|2864 | - |3514 | 845 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
305.10/305.13 c 297s| 1220k| 1205k| 0 | 0.0 | 355M|2864 | - |3514 | 851 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
307.60/307.67 c 299s| 1230k| 1215k| 0 | 0.0 | 358M|2864 | - |3514 | 873 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
310.20/310.22 c 302s| 1240k| 1225k| 0 | 0.0 | 361M|2864 | - |3514 | 875 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
312.70/312.76 c 304s| 1250k| 1235k| 0 | 0.0 | 363M|2864 | - |3514 | 838 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
315.29/315.30 c 307s| 1260k| 1245k| 0 | 0.0 | 366M|2864 | - |3514 | 834 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
317.81/317.87 c 309s| 1270k| 1255k| 0 | 0.0 | 369M|2864 | - |3514 | 865 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
320.40/320.43 c 312s| 1280k| 1265k| 0 | 0.0 | 372M|2864 | - |3514 | 867 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
322.90/322.99 c 314s| 1290k| 1275k| 0 | 0.0 | 374M|2864 | - |3514 | 880 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
325.50/325.53 c 317s| 1300k| 1285k| 0 | 0.0 | 377M|2864 | - |3514 | 876 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
328.00/328.09 c 319s| 1310k| 1295k| 0 | 0.0 | 380M|2864 | - |3514 | 873 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
330.60/330.65 c 322s| 1320k| 1305k| 0 | 0.0 | 382M|2864 | - |3514 | 867 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
333.10/333.18 c 324s| 1330k| 1314k| 0 | 0.0 | 385M|2864 | - |3514 | 845 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
335.70/335.71 c 327s| 1340k| 1324k| 0 | 0.0 | 388M|2864 | - |3514 | 851 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
338.20/338.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.20/338.27 c 329s| 1350k| 1334k| 0 | 0.0 | 391M|2864 | - |3514 | 845 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
340.80/340.82 c 332s| 1360k| 1344k| 0 | 0.0 | 393M|2864 | - |3514 | 872 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
343.30/343.37 c 334s| 1370k| 1354k| 0 | 0.0 | 396M|2864 | - |3514 | 869 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
345.90/345.91 c 337s| 1380k| 1364k| 0 | 0.0 | 399M|2864 | - |3514 | 856 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
348.40/348.47 c 339s| 1390k| 1374k| 0 | 0.0 | 401M|2864 | - |3514 | 887 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
351.00/351.03 c 342s| 1400k| 1384k| 0 | 0.0 | 404M|2864 | - |3514 | 901 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
353.50/353.57 c 344s| 1410k| 1394k| 0 | 0.0 | 407M|2864 | - |3514 | 881 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
356.10/356.12 c 347s| 1420k| 1404k| 0 | 0.0 | 410M|2864 | - |3514 | 891 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
358.61/358.68 c 349s| 1430k| 1414k| 0 | 0.0 | 412M|2864 | - |3514 | 878 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
361.20/361.23 c 352s| 1440k| 1424k| 0 | 0.0 | 415M|2864 | - |3514 | 888 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
363.70/363.79 c 354s| 1450k| 1434k| 0 | 0.0 | 418M|2864 | - |3514 | 912 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
366.30/366.33 c 357s| 1460k| 1444k| 0 | 0.0 | 420M|2864 | - |3514 | 875 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
368.80/368.87 c 359s| 1470k| 1454k| 0 | 0.0 | 423M|2864 | - |3514 | 876 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
371.40/371.40 c 362s| 1480k| 1464k| 0 | 0.0 | 426M|2864 | - |3514 | 842 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
373.90/373.95 c 364s| 1490k| 1474k| 0 | 0.0 | 429M|2864 | - |3514 | 882 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
376.40/376.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.40/376.48 c 366s| 1500k| 1484k| 0 | 0.0 | 431M|2864 | - |3514 | 840 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
379.01/379.08 c 369s| 1510k| 1494k| 0 | 0.0 | 434M|2864 | - |3514 | 841 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
381.61/381.63 c 371s| 1520k| 1504k| 0 | 0.0 | 437M|2864 | - |3514 | 828 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
384.10/384.18 c 374s| 1530k| 1514k| 0 | 0.0 | 439M|2864 | - |3514 | 822 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
386.70/386.72 c 376s| 1540k| 1523k| 0 | 0.0 | 442M|2864 | - |3514 | 812 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
389.20/389.28 c 379s| 1550k| 1533k| 0 | 0.0 | 445M|2864 | - |3514 | 834 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
391.81/391.82 c 381s| 1560k| 1543k| 0 | 0.0 | 447M|2864 | - |3514 | 834 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
394.30/394.38 c 384s| 1570k| 1553k| 0 | 0.0 | 450M|2864 | - |3514 | 820 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
396.91/396.96 c 386s| 1580k| 1563k| 0 | 0.0 | 453M|2864 | - |3514 | 838 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
399.50/399.51 c 389s| 1590k| 1573k| 0 | 0.0 | 456M|2864 | - |3514 | 806 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
402.00/402.08 c 391s| 1600k| 1583k| 0 | 0.0 | 458M|2864 | - |3514 | 790 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
404.60/404.67 c 394s| 1610k| 1593k| 0 | 0.0 | 461M|2864 | - |3514 | 792 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
407.20/407.23 c 396s| 1620k| 1603k| 0 | 0.0 | 464M|2864 | - |3514 | 773 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
409.71/409.77 c 399s| 1630k| 1613k| 0 | 0.0 | 466M|2864 | - |3514 | 771 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
412.31/412.34 c 401s| 1640k| 1623k| 0 | 0.0 | 469M|2864 | - |3514 | 786 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
414.80/414.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.80/414.89 c 404s| 1650k| 1633k| 0 | 0.0 | 472M|2864 | - |3514 | 810 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
417.40/417.44 c 406s| 1660k| 1643k| 0 | 0.0 | 475M|2864 | - |3514 | 802 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
420.01/420.00 c 409s| 1670k| 1653k| 0 | 0.0 | 477M|2864 | - |3514 | 823 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
422.50/422.57 c 411s| 1680k| 1663k| 0 | 0.0 | 480M|2864 | - |3514 | 791 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
425.10/425.13 c 414s| 1690k| 1673k| 0 | 0.0 | 483M|2864 | - |3514 | 804 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
427.61/427.66 c 416s| 1700k| 1683k| 0 | 0.0 | 486M|2864 | - |3514 | 811 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
430.20/430.22 c 419s| 1710k| 1693k| 0 | 0.0 | 488M|2864 | - |3514 | 811 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
432.71/432.78 c 421s| 1720k| 1703k| 0 | 0.0 | 491M|2864 | - |3514 | 821 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
435.31/435.33 c 424s| 1730k| 1713k| 0 | 0.0 | 494M|2864 | - |3514 | 827 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
437.81/437.89 c 426s| 1740k| 1723k| 0 | 0.0 | 496M|2864 | - |3514 | 829 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
440.40/440.45 c 429s| 1750k| 1733k| 0 | 0.0 | 499M|2864 | - |3514 | 824 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
443.00/443.02 c 431s| 1760k| 1742k| 0 | 0.0 | 502M|2864 | - |3514 | 837 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
445.51/445.58 c 434s| 1770k| 1752k| 0 | 0.0 | 505M|2864 | - |3514 | 839 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
448.11/448.12 c 436s| 1780k| 1762k| 0 | 0.0 | 507M|2864 | - |3514 | 841 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
450.60/450.67 c 439s| 1790k| 1772k| 0 | 0.0 | 510M|2864 | - |3514 | 838 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
453.21/453.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.21/453.24 c 441s| 1800k| 1782k| 0 | 0.0 | 513M|2864 | - |3514 | 845 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
455.80/455.81 c 444s| 1810k| 1792k| 0 | 0.0 | 516M|2864 | - |3514 | 869 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
458.31/458.36 c 446s| 1820k| 1802k| 0 | 0.0 | 518M|2864 | - |3514 | 826 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
460.91/460.93 c 449s| 1830k| 1812k| 0 | 0.0 | 521M|2864 | - |3514 | 863 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
463.41/463.48 c 451s| 1840k| 1822k| 0 | 0.0 | 524M|2864 | - |3514 | 863 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
466.00/466.04 c 454s| 1850k| 1832k| 0 | 0.0 | 526M|2864 | - |3514 | 835 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
468.51/468.58 c 456s| 1860k| 1842k| 0 | 0.0 | 529M|2864 | - |3514 | 831 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
471.10/471.13 c 459s| 1870k| 1852k| 0 | 0.0 | 532M|2864 | - |3514 | 819 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
473.70/473.70 c 461s| 1880k| 1862k| 0 | 0.0 | 535M|2864 | - |3514 | 853 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
476.21/476.26 c 464s| 1890k| 1872k| 0 | 0.0 | 537M|2864 | - |3514 | 856 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
478.80/478.82 c 466s| 1900k| 1882k| 0 | 0.0 | 540M|2864 | - |3514 | 797 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
481.40/481.42 c 469s| 1910k| 1892k| 0 | 0.0 | 543M|2864 | - |3514 | 830 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
483.91/483.99 c 471s| 1920k| 1902k| 0 | 0.0 | 545M|2864 | - |3514 | 858 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
486.51/486.55 c 474s| 1930k| 1912k| 0 | 0.0 | 548M|2864 | - |3514 | 848 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
489.11/489.11 c 476s| 1940k| 1922k| 0 | 0.0 | 551M|2864 | - |3514 | 863 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
491.61/491.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.61/491.66 c 479s| 1950k| 1932k| 0 | 0.0 | 554M|2864 | - |3514 | 829 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
494.20/494.23 c 481s| 1960k| 1942k| 0 | 0.0 | 556M|2864 | - |3514 | 863 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
496.70/496.77 c 484s| 1970k| 1951k| 0 | 0.0 | 559M|2864 | - |3514 | 821 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
499.31/499.32 c 486s| 1980k| 1961k| 0 | 0.0 | 562M|2864 | - |3514 | 876 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
501.90/501.91 c 489s| 1990k| 1971k| 0 | 0.0 | 565M|2864 | - |3514 | 839 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
504.41/504.45 c 491s| 2000k| 1981k| 0 | 0.0 | 567M|2864 | - |3514 | 832 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
507.01/507.05 c 494s| 2010k| 1991k| 0 | 0.0 | 570M|2864 | - |3514 | 868 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
509.60/509.63 c 496s| 2020k| 2001k| 0 | 0.0 | 573M|2864 | - |3514 | 876 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
512.10/512.18 c 499s| 2030k| 2011k| 0 | 0.0 | 575M|2864 | - |3514 | 859 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
514.71/514.73 c 501s| 2040k| 2021k| 0 | 0.0 | 578M|2864 | - |3514 | 841 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
517.21/517.28 c 504s| 2050k| 2031k| 0 | 0.0 | 581M|2864 | - |3514 | 836 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
519.80/519.83 c 506s| 2060k| 2041k| 0 | 0.0 | 584M|2864 | - |3514 | 852 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
522.31/522.37 c 509s| 2070k| 2051k| 0 | 0.0 | 586M|2864 | - |3514 | 838 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
524.90/524.94 c 511s| 2080k| 2061k| 0 | 0.0 | 589M|2864 | - |3514 | 851 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
527.50/527.50 c 514s| 2090k| 2071k| 0 | 0.0 | 592M|2864 | - |3514 | 834 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
530.01/530.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.01/530.03 c 516s| 2100k| 2081k| 0 | 0.0 | 594M|2864 | - |3514 | 803 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
532.61/532.60 c 519s| 2110k| 2091k| 0 | 0.0 | 597M|2864 | - |3514 | 828 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
535.11/535.16 c 521s| 2120k| 2101k| 0 | 0.0 | 600M|2864 | - |3514 | 838 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
537.70/537.70 c 524s| 2130k| 2111k| 0 | 0.0 | 602M|2864 | - |3514 | 815 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
540.21/540.24 c 526s| 2140k| 2121k| 0 | 0.0 | 605M|2864 | - |3514 | 838 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
542.70/542.79 c 528s| 2150k| 2131k| 0 | 0.0 | 608M|2864 | - |3514 | 804 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
545.30/545.37 c 531s| 2160k| 2141k| 0 | 0.0 | 611M|2864 | - |3514 | 819 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
547.91/547.93 c 533s| 2170k| 2151k| 0 | 0.0 | 613M|2864 | - |3514 | 838 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
550.40/550.46 c 536s| 2180k| 2161k| 0 | 0.0 | 616M|2864 | - |3514 | 819 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
553.00/553.01 c 538s| 2190k| 2170k| 0 | 0.0 | 619M|2864 | - |3514 | 808 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
555.51/555.58 c 541s| 2200k| 2180k| 0 | 0.0 | 621M|2864 | - |3514 | 847 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
558.10/558.12 c 543s| 2210k| 2190k| 0 | 0.0 | 624M|2864 | - |3514 | 814 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
560.61/560.69 c 546s| 2220k| 2200k| 0 | 0.0 | 627M|2864 | - |3514 | 801 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
563.22/563.24 c 548s| 2230k| 2210k| 0 | 0.0 | 630M|2864 | - |3514 | 784 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
565.71/565.79 c 551s| 2240k| 2220k| 0 | 0.0 | 632M|2864 | - |3514 | 859 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
568.30/568.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.30/568.36 c 553s| 2250k| 2230k| 0 | 0.0 | 635M|2864 | - |3514 | 797 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
570.91/570.91 c 556s| 2260k| 2240k| 0 | 0.0 | 638M|2864 | - |3514 | 828 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
573.41/573.44 c 558s| 2270k| 2250k| 0 | 0.0 | 640M|2864 | - |3514 | 769 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
576.00/576.04 c 561s| 2280k| 2260k| 0 | 0.0 | 643M|2864 | - |3514 | 842 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
578.61/578.60 c 563s| 2290k| 2270k| 0 | 0.0 | 646M|2864 | - |3514 | 803 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
581.11/581.14 c 566s| 2300k| 2280k| 0 | 0.0 | 649M|2864 | - |3514 | 816 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
583.61/583.66 c 568s| 2310k| 2290k| 0 | 0.0 | 651M|2864 | - |3514 | 762 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
586.21/586.22 c 571s| 2320k| 2300k| 0 | 0.0 | 654M|2864 | - |3514 | 853 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
588.71/588.78 c 573s| 2330k| 2310k| 0 | 0.0 | 657M|2864 | - |3514 | 812 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
591.31/591.32 c 576s| 2340k| 2320k| 0 | 0.0 | 659M|2864 | - |3514 | 790 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
593.80/593.88 c 578s| 2350k| 2330k| 0 | 0.0 | 662M|2864 | - |3514 | 835 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
596.41/596.43 c 581s| 2360k| 2340k| 0 | 0.0 | 665M|2864 | - |3514 | 835 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
598.91/598.99 c 583s| 2370k| 2350k| 0 | 0.0 | 668M|2864 | - |3514 | 830 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
601.51/601.56 c 586s| 2380k| 2360k| 0 | 0.0 | 670M|2864 | - |3514 | 846 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
604.10/604.13 c 588s| 2390k| 2370k| 0 | 0.0 | 673M|2864 | - |3514 | 831 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
606.70/606.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.70/606.70 c 591s| 2400k| 2379k| 0 | 0.0 | 676M|2864 | - |3514 | 843 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
609.21/609.27 c 593s| 2410k| 2389k| 0 | 0.0 | 678M|2864 | - |3514 | 842 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
611.81/611.84 c 596s| 2420k| 2399k| 0 | 0.0 | 681M|2864 | - |3514 | 840 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
614.41/614.44 c 598s| 2430k| 2409k| 0 | 0.0 | 684M|2864 | - |3514 | 815 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
616.91/616.99 c 601s| 2440k| 2419k| 0 | 0.0 | 687M|2864 | - |3514 | 801 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
619.51/619.55 c 603s| 2450k| 2429k| 0 | 0.0 | 689M|2864 | - |3514 | 825 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
622.10/622.12 c 606s| 2460k| 2439k| 0 | 0.0 | 692M|2864 | - |3514 | 820 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
624.60/624.68 c 608s| 2470k| 2449k| 0 | 0.0 | 695M|2864 | - |3514 | 854 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
627.21/627.22 c 611s| 2480k| 2459k| 0 | 0.0 | 697M|2864 | - |3514 | 812 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
629.81/629.80 c 613s| 2490k| 2469k| 0 | 0.0 | 700M|2864 | - |3514 | 794 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
632.31/632.34 c 616s| 2500k| 2479k| 0 | 0.0 | 703M|2864 | - |3514 | 761 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
634.91/634.90 c 618s| 2510k| 2489k| 0 | 0.0 | 706M|2864 | - |3514 | 787 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
637.40/637.46 c 621s| 2520k| 2499k| 0 | 0.0 | 708M|2864 | - |3514 | 745 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
640.01/640.05 c 623s| 2530k| 2509k| 0 | 0.0 | 711M|2864 | - |3514 | 824 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
642.61/642.61 c 626s| 2540k| 2519k| 0 | 0.0 | 714M|2864 | - |3514 | 786 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
645.11/645.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.11/645.18 c 628s| 2550k| 2529k| 0 | 0.0 | 716M|2864 | - |3514 | 802 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
647.71/647.70 c 631s| 2560k| 2539k| 0 | 0.0 | 719M|2864 | - |3514 | 782 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
650.21/650.28 c 633s| 2570k| 2549k| 0 | 0.0 | 722M|2864 | - |3514 | 810 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
652.81/652.83 c 636s| 2580k| 2559k| 0 | 0.0 | 724M|2864 | - |3514 | 813 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
655.31/655.36 c 638s| 2590k| 2569k| 0 | 0.0 | 727M|2864 | - |3514 | 823 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
657.90/657.91 c 641s| 2600k| 2578k| 0 | 0.0 | 730M|2864 | - |3514 | 800 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
660.40/660.47 c 643s| 2610k| 2588k| 0 | 0.0 | 733M|2864 | - |3514 | 823 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
663.01/663.02 c 646s| 2620k| 2598k| 0 | 0.0 | 735M|2864 | - |3514 | 825 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
665.52/665.57 c 648s| 2630k| 2608k| 0 | 0.0 | 738M|2864 | - |3514 | 833 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
668.11/668.12 c 650s| 2640k| 2618k| 0 | 0.0 | 741M|2864 | - |3514 | 814 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
670.61/670.65 c 653s| 2650k| 2628k| 0 | 0.0 | 743M|2864 | - |3514 | 827 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
673.11/673.20 c 655s| 2660k| 2638k| 0 | 0.0 | 746M|2864 | - |3514 | 833 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
675.71/675.75 c 658s| 2670k| 2648k| 0 | 0.0 | 749M|2864 | - |3514 | 857 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
678.31/678.31 c 660s| 2680k| 2658k| 0 | 0.0 | 752M|2864 | - |3514 | 871 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
680.81/680.87 c 663s| 2690k| 2668k| 0 | 0.0 | 754M|2864 | - |3514 | 846 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
683.41/683.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.41/683.41 c 665s| 2700k| 2678k| 0 | 0.0 | 757M|2864 | - |3514 | 839 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
685.91/685.93 c 668s| 2710k| 2688k| 0 | 0.0 | 760M|2864 | - |3514 | 825 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
688.41/688.49 c 670s| 2720k| 2698k| 0 | 0.0 | 763M|2864 | - |3514 | 820 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
691.01/691.05 c 673s| 2730k| 2708k| 0 | 0.0 | 765M|2864 | - |3514 | 784 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
693.61/693.61 c 675s| 2740k| 2718k| 0 | 0.0 | 768M|2864 | - |3514 | 835 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
696.11/696.16 c 678s| 2750k| 2728k| 0 | 0.0 | 771M|2864 | - |3514 | 844 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
698.71/698.73 c 680s| 2760k| 2738k| 0 | 0.0 | 773M|2864 | - |3514 | 806 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
701.21/701.27 c 683s| 2770k| 2748k| 0 | 0.0 | 776M|2864 | - |3514 | 856 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
703.81/703.83 c 685s| 2780k| 2758k| 0 | 0.0 | 779M|2864 | - |3514 | 850 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
706.31/706.38 c 688s| 2790k| 2768k| 0 | 0.0 | 782M|2864 | - |3514 | 866 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
708.91/708.95 c 690s| 2800k| 2778k| 0 | 0.0 | 784M|2864 | - |3514 | 877 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
711.51/711.50 c 693s| 2810k| 2787k| 0 | 0.0 | 787M|2864 | - |3514 | 849 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
714.01/714.09 c 695s| 2820k| 2797k| 0 | 0.0 | 790M|2864 | - |3514 | 871 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
716.61/716.63 c 698s| 2830k| 2807k| 0 | 0.0 | 792M|2864 | - |3514 | 889 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
719.21/719.20 c 700s| 2840k| 2817k| 0 | 0.0 | 795M|2864 | - |3514 | 883 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
721.71/721.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.71/721.75 c 703s| 2850k| 2827k| 0 | 0.0 | 798M|2864 | - |3514 | 893 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
724.31/724.31 c 705s| 2860k| 2837k| 0 | 0.0 | 801M|2864 | - |3514 | 858 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
726.81/726.88 c 708s| 2870k| 2847k| 0 | 0.0 | 803M|2864 | - |3514 | 856 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
729.41/729.40 c 710s| 2880k| 2857k| 0 | 0.0 | 806M|2864 | - |3514 | 852 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
731.91/731.99 c 713s| 2890k| 2867k| 0 | 0.0 | 809M|2864 | - |3514 | 895 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
734.51/734.55 c 715s| 2900k| 2877k| 0 | 0.0 | 812M|2864 | - |3514 | 871 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
737.11/737.11 c 718s| 2910k| 2887k| 0 | 0.0 | 814M|2864 | - |3514 | 846 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
739.61/739.66 c 720s| 2920k| 2897k| 0 | 0.0 | 817M|2864 | - |3514 | 873 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
742.21/742.23 c 723s| 2930k| 2907k| 0 | 0.0 | 820M|2864 | - |3514 | 865 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
744.72/744.78 c 725s| 2940k| 2917k| 0 | 0.0 | 822M|2864 | - |3514 | 843 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
747.31/747.34 c 728s| 2950k| 2927k| 0 | 0.0 | 825M|2864 | - |3514 | 834 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
749.91/749.91 c 730s| 2960k| 2937k| 0 | 0.0 | 828M|2864 | - |3514 | 840 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
752.51/752.50 c 733s| 2970k| 2947k| 0 | 0.0 | 831M|2864 | - |3514 | 824 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
755.01/755.08 c 735s| 2980k| 2957k| 0 | 0.0 | 833M|2864 | - |3514 | 861 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
757.61/757.62 c 738s| 2990k| 2967k| 0 | 0.0 | 836M|2864 | - |3514 | 848 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
760.12/760.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.12/760.18 c 740s| 3000k| 2977k| 0 | 0.0 | 839M|2864 | - |3514 | 868 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
762.71/762.76 c 743s| 3010k| 2986k| 0 | 0.0 | 841M|2864 | - |3514 | 862 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
765.31/765.33 c 745s| 3020k| 2996k| 0 | 0.0 | 844M|2864 | - |3514 | 886 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
767.82/767.86 c 748s| 3030k| 3006k| 0 | 0.0 | 847M|2864 | - |3514 | 861 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
770.41/770.44 c 750s| 3040k| 3016k| 0 | 0.0 | 850M|2864 | - |3514 | 874 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
772.91/772.99 c 753s| 3050k| 3026k| 0 | 0.0 | 852M|2864 | - |3514 | 876 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
775.51/775.58 c 755s| 3060k| 3036k| 0 | 0.0 | 855M|2864 | - |3514 | 898 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
778.11/778.14 c 758s| 3070k| 3046k| 0 | 0.0 | 858M|2864 | - |3514 | 891 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
780.71/780.72 c 760s| 3080k| 3056k| 0 | 0.0 | 860M|2864 | - |3514 | 940 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
783.22/783.28 c 763s| 3090k| 3066k| 0 | 0.0 | 863M|2864 | - |3514 | 883 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
785.81/785.81 c 765s| 3100k| 3076k| 0 | 0.0 | 866M|2864 | - |3514 | 879 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
788.31/788.39 c 768s| 3110k| 3086k| 0 | 0.0 | 869M|2864 | - |3514 | 878 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
790.92/790.95 c 770s| 3120k| 3096k| 0 | 0.0 | 871M|2864 | - |3514 | 864 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
793.51/793.53 c 773s| 3130k| 3106k| 0 | 0.0 | 874M|2864 | - |3514 | 881 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
796.01/796.08 c 775s| 3140k| 3116k| 0 | 0.0 | 877M|2864 | - |3514 | 825 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
798.62/798.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.62/798.65 c 778s| 3150k| 3126k| 0 | 0.0 | 879M|2864 | - |3514 | 861 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
801.21/801.22 c 780s| 3160k| 3136k| 0 | 0.0 | 882M|2864 | - |3514 | 895 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
803.81/803.80 c 783s| 3170k| 3146k| 0 | 0.0 | 885M|2864 | - |3514 | 837 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
806.31/806.36 c 785s| 3180k| 3156k| 0 | 0.0 | 888M|2864 | - |3514 | 823 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
808.91/808.92 c 788s| 3190k| 3166k| 0 | 0.0 | 890M|2864 | - |3514 | 848 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
811.41/811.49 c 790s| 3200k| 3176k| 0 | 0.0 | 893M|2864 | - |3514 | 834 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
814.02/814.04 c 793s| 3210k| 3186k| 0 | 0.0 | 896M|2864 | - |3514 | 831 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
816.51/816.59 c 795s| 3220k| 3195k| 0 | 0.0 | 898M|2864 | - |3514 | 834 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
819.11/819.16 c 798s| 3230k| 3205k| 0 | 0.0 | 901M|2864 | - |3514 | 845 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
821.72/821.74 c 800s| 3240k| 3215k| 0 | 0.0 | 904M|2864 | - |3514 | 863 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
824.32/824.31 c 803s| 3250k| 3225k| 0 | 0.0 | 907M|2864 | - |3514 | 860 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
826.81/826.85 c 805s| 3260k| 3235k| 0 | 0.0 | 909M|2864 | - |3514 | 872 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
829.41/829.45 c 808s| 3270k| 3245k| 0 | 0.0 | 912M|2864 | - |3514 | 911 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
832.02/832.02 c 810s| 3280k| 3255k| 0 | 0.0 | 915M|2864 | - |3514 | 922 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
834.51/834.55 c 813s| 3290k| 3265k| 0 | 0.0 | 918M|2864 | - |3514 | 928 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
837.12/837.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.12/837.14 c 815s| 3300k| 3275k| 0 | 0.0 | 920M|2864 | - |3514 | 924 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
839.71/839.71 c 818s| 3310k| 3285k| 0 | 0.0 | 923M|2864 | - |3514 | 917 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
842.21/842.26 c 820s| 3320k| 3295k| 0 | 0.0 | 926M|2864 | - |3514 | 916 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
844.82/844.83 c 823s| 3330k| 3305k| 0 | 0.0 | 928M|2864 | - |3514 | 945 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
847.32/847.37 c 825s| 3340k| 3315k| 0 | 0.0 | 931M|2864 | - |3514 | 939 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
849.92/849.91 c 828s| 3350k| 3325k| 0 | 0.0 | 934M|2864 | - |3514 | 940 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
852.42/852.48 c 830s| 3360k| 3335k| 0 | 0.0 | 936M|2864 | - |3514 | 954 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
855.01/855.04 c 833s| 3370k| 3345k| 0 | 0.0 | 939M|2864 | - |3514 | 953 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
857.61/857.60 c 835s| 3380k| 3355k| 0 | 0.0 | 942M|2864 | - |3514 | 957 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
860.12/860.18 c 838s| 3390k| 3365k| 0 | 0.0 | 945M|2864 | - |3514 | 964 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
862.71/862.75 c 840s| 3400k| 3375k| 0 | 0.0 | 947M|2864 | - |3514 |1010 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
865.22/865.29 c 843s| 3410k| 3385k| 0 | 0.0 | 950M|2864 | - |3514 | 983 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
867.81/867.86 c 845s| 3420k| 3394k| 0 | 0.0 | 953M|2864 | - |3514 | 981 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
870.31/870.39 c 848s| 3430k| 3404k| 0 | 0.0 | 955M|2864 | - |3514 | 972 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
872.91/872.93 c 850s| 3440k| 3414k| 0 | 0.0 | 958M|2864 | - |3514 | 998 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
875.41/875.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.41/875.49 c 853s| 3450k| 3424k| 0 | 0.0 | 961M|2864 | - |3514 | 978 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
878.01/878.05 c 855s| 3460k| 3434k| 0 | 0.0 | 964M|2864 | - |3514 |1032 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
880.52/880.59 c 858s| 3470k| 3444k| 0 | 0.0 | 966M|2864 | - |3514 |1012 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
883.11/883.12 c 860s| 3480k| 3454k| 0 | 0.0 | 969M|2864 | - |3514 |1022 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
885.61/885.69 c 863s| 3490k| 3464k| 0 | 0.0 | 972M|2864 | - |3514 |1034 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
888.21/888.24 c 865s| 3500k| 3474k| 0 | 0.0 | 974M|2864 | - |3514 |1036 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
890.81/890.80 c 868s| 3510k| 3484k| 0 | 0.0 | 977M|2864 | - |3514 |1021 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
893.31/893.34 c 870s| 3520k| 3494k| 0 | 0.0 | 980M|2864 | - |3514 |1015 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
895.92/895.91 c 873s| 3530k| 3504k| 0 | 0.0 | 983M|2864 | - |3514 |1040 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
898.41/898.47 c 875s| 3540k| 3514k| 0 | 0.0 | 985M|2864 | - |3514 |1043 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
901.01/901.00 c 877s| 3550k| 3524k| 0 | 0.0 | 988M|2864 | - |3514 |1005 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
903.51/903.58 c 880s| 3560k| 3534k| 0 | 0.0 | 991M|2864 | - |3514 | 991 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
906.11/906.14 c 882s| 3570k| 3544k| 0 | 0.0 | 993M|2864 | - |3514 |1000 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
908.62/908.69 c 885s| 3580k| 3554k| 0 | 0.0 | 996M|2864 | - |3514 | 940 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
911.21/911.25 c 887s| 3590k| 3564k| 0 | 0.0 | 999M|2864 | - |3514 | 943 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
913.81/913.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.81/913.80 c 890s| 3600k| 3574k| 0 | 0.0 |1002M|2864 | - |3514 | 945 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
916.32/916.35 c 892s| 3610k| 3584k| 0 | 0.0 |1004M|2864 | - |3514 | 964 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
918.91/918.91 c 895s| 3620k| 3593k| 0 | 0.0 |1007M|2864 | - |3514 | 913 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
921.41/921.47 c 897s| 3630k| 3603k| 0 | 0.0 |1010M|2864 | - |3514 | 917 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
924.02/924.05 c 900s| 3640k| 3613k| 0 | 0.0 |1012M|2864 | - |3514 | 959 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
926.51/926.58 c 902s| 3650k| 3623k| 0 | 0.0 |1015M|2864 | - |3514 | 942 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
929.12/929.14 c 905s| 3660k| 3633k| 0 | 0.0 |1018M|2864 | - |3514 | 920 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
931.72/931.73 c 907s| 3670k| 3643k| 0 | 0.0 |1021M|2864 | - |3514 | 939 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
934.21/934.28 c 910s| 3680k| 3653k| 0 | 0.0 |1023M|2864 | - |3514 | 918 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
936.82/936.84 c 912s| 3690k| 3663k| 0 | 0.0 |1026M|2864 | - |3514 | 930 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
939.43/939.41 c 915s| 3700k| 3673k| 0 | 0.0 |1029M|2864 | - |3514 | 930 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
941.92/941.97 c 917s| 3710k| 3683k| 0 | 0.0 |1032M|2864 | - |3514 | 914 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
944.52/944.53 c 920s| 3720k| 3693k| 0 | 0.0 |1034M|2864 | - |3514 | 893 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
947.12/947.12 c 922s| 3730k| 3703k| 0 | 0.0 |1037M|2864 | - |3514 | 935 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
949.61/949.66 c 925s| 3740k| 3713k| 0 | 0.0 |1040M|2864 | - |3514 | 924 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
952.21/952.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.21/952.23 c 927s| 3750k| 3723k| 0 | 0.0 |1042M|2864 | - |3514 | 931 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
954.73/954.77 c 930s| 3760k| 3733k| 0 | 0.0 |1045M|2864 | - |3514 | 914 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
957.31/957.34 c 932s| 3770k| 3743k| 0 | 0.0 |1048M|2864 | - |3514 | 931 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
959.91/959.90 c 935s| 3780k| 3753k| 0 | 0.0 |1051M|2864 | - |3514 | 946 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
962.42/962.46 c 937s| 3790k| 3763k| 0 | 0.0 |1053M|2864 | - |3514 | 939 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
965.02/965.01 c 940s| 3800k| 3773k| 0 | 0.0 |1056M|2864 | - |3514 | 933 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
967.52/967.57 c 942s| 3810k| 3783k| 0 | 0.0 |1059M|2864 | - |3514 | 915 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
970.12/970.15 c 945s| 3820k| 3793k| 0 | 0.0 |1061M|2864 | - |3514 | 899 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
972.62/972.69 c 947s| 3830k| 3802k| 0 | 0.0 |1064M|2864 | - |3514 | 897 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
975.21/975.25 c 950s| 3840k| 3812k| 0 | 0.0 |1067M|2864 | - |3514 | 896 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
977.83/977.80 c 952s| 3850k| 3822k| 0 | 0.0 |1070M|2864 | - |3514 | 897 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
980.31/980.34 c 955s| 3860k| 3832k| 0 | 0.0 |1072M|2864 | - |3514 | 899 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
982.91/982.90 c 957s| 3870k| 3842k| 0 | 0.0 |1075M|2864 | - |3514 | 905 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
985.42/985.47 c 960s| 3880k| 3852k| 0 | 0.0 |1078M|2864 | - |3514 | 952 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
988.02/988.04 c 962s| 3890k| 3862k| 0 | 0.0 |1080M|2864 | - |3514 | 931 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
990.62/990.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.62/990.64 c 965s| 3900k| 3872k| 0 | 0.0 |1083M|2864 | - |3514 | 930 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
993.22/993.20 c 967s| 3910k| 3882k| 0 | 0.0 |1086M|2864 | - |3514 | 907 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
995.72/995.77 c 970s| 3920k| 3892k| 0 | 0.0 |1089M|2864 | - |3514 | 904 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
998.32/998.36 c 972s| 3930k| 3902k| 0 | 0.0 |1091M|2864 | - |3514 | 884 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1000.92/1000.93 c 975s| 3940k| 3912k| 0 | 0.0 |1094M|2864 | - |3514 | 929 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1003.52/1003.51 c 977s| 3950k| 3922k| 0 | 0.0 |1097M|2864 | - |3514 | 897 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1006.12/1006.10 c 980s| 3960k| 3932k| 0 | 0.0 |1099M|2864 | - |3514 | 915 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1008.62/1008.69 c 982s| 3970k| 3942k| 0 | 0.0 |1102M|2864 | - |3514 | 919 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1011.21/1011.24 c 985s| 3980k| 3952k| 0 | 0.0 |1105M|2864 | - |3514 | 897 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1013.82/1013.80 c 987s| 3990k| 3962k| 0 | 0.0 |1108M|2864 | - |3514 | 921 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1016.33/1016.36 c 990s| 4000k| 3972k| 0 | 0.0 |1110M|2864 | - |3514 | 919 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1018.92/1018.94 c 992s| 4010k| 3982k| 0 | 0.0 |1113M|2864 | - |3514 | 897 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1021.41/1021.49 c 995s| 4020k| 3992k| 0 | 0.0 |1116M|2864 | - |3514 | 878 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1024.02/1024.04 c 997s| 4030k| 4001k| 0 | 0.0 |1118M|2864 | - |3514 | 881 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1026.52/1026.57 c 1000s| 4040k| 4011k| 0 | 0.0 |1121M|2864 | - |3514 | 876 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1029.12/1029.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.12/1029.15 c 1002s| 4050k| 4021k| 0 | 0.0 |1124M|2864 | - |3514 | 896 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1031.72/1031.72 c 1005s| 4060k| 4031k| 0 | 0.0 |1127M|2864 | - |3514 | 903 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1034.32/1034.30 c 1007s| 4070k| 4041k| 0 | 0.0 |1129M|2864 | - |3514 | 903 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1036.81/1036.84 c 1010s| 4080k| 4051k| 0 | 0.0 |1132M|2864 | - |3514 | 883 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1039.42/1039.41 c 1012s| 4090k| 4061k| 0 | 0.0 |1135M|2864 | - |3514 | 895 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1041.92/1041.96 c 1015s| 4100k| 4071k| 0 | 0.0 |1137M|2864 | - |3514 | 867 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1044.52/1044.54 c 1017s| 4110k| 4081k| 0 | 0.0 |1140M|2864 | - |3514 | 877 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1047.13/1047.11 c 1020s| 4120k| 4091k| 0 | 0.0 |1143M|2864 | - |3514 | 871 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1049.62/1049.65 c 1022s| 4130k| 4101k| 0 | 0.0 |1145M|2864 | - |3514 | 829 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1052.22/1052.20 c 1025s| 4140k| 4111k| 0 | 0.0 |1148M|2864 | - |3514 | 864 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1054.71/1054.75 c 1027s| 4150k| 4121k| 0 | 0.0 |1151M|2864 | - |3514 | 867 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1057.32/1057.34 c 1030s| 4160k| 4131k| 0 | 0.0 |1154M|2864 | - |3514 | 898 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1059.82/1059.87 c 1032s| 4170k| 4141k| 0 | 0.0 |1156M|2864 | - |3514 | 899 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1062.41/1062.43 c 1035s| 4180k| 4151k| 0 | 0.0 |1159M|2864 | - |3514 | 900 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1065.02/1065.00 c 1037s| 4190k| 4161k| 0 | 0.0 |1162M|2864 | - |3514 | 873 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1067.52/1067.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.52/1067.56 c 1040s| 4200k| 4171k| 0 | 0.0 |1164M|2864 | - |3514 | 882 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1070.12/1070.14 c 1042s| 4210k| 4181k| 0 | 0.0 |1167M|2864 | - |3514 | 871 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1072.62/1072.69 c 1045s| 4220k| 4191k| 0 | 0.0 |1170M|2864 | - |3514 | 845 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1075.22/1075.26 c 1047s| 4230k| 4201k| 0 | 0.0 |1173M|2864 | - |3514 | 838 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1077.82/1077.82 c 1050s| 4240k| 4210k| 0 | 0.0 |1175M|2864 | - |3514 | 865 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1080.32/1080.39 c 1052s| 4250k| 4220k| 0 | 0.0 |1178M|2864 | - |3514 | 881 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1082.92/1082.94 c 1055s| 4260k| 4230k| 0 | 0.0 |1181M|2864 | - |3514 | 872 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1085.42/1085.49 c 1057s| 4270k| 4240k| 0 | 0.0 |1183M|2864 | - |3514 | 860 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1088.02/1088.04 c 1060s| 4280k| 4250k| 0 | 0.0 |1186M|2864 | - |3514 | 898 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1090.62/1090.60 c 1062s| 4290k| 4260k| 0 | 0.0 |1189M|2864 | - |3514 | 886 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1093.12/1093.13 c 1065s| 4300k| 4270k| 0 | 0.0 |1192M|2864 | - |3514 | 887 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1095.72/1095.71 c 1067s| 4310k| 4280k| 0 | 0.0 |1194M|2864 | - |3514 | 942 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1098.22/1098.24 c 1070s| 4320k| 4290k| 0 | 0.0 |1197M|2864 | - |3514 | 908 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1100.82/1100.81 c 1072s| 4330k| 4300k| 0 | 0.0 |1200M|2864 | - |3514 | 943 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1103.33/1103.34 c 1074s| 4340k| 4310k| 0 | 0.0 |1202M|2864 | - |3514 | 926 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1105.82/1105.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.82/1105.89 c 1077s| 4350k| 4320k| 0 | 0.0 |1205M|2864 | - |3514 | 932 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1108.42/1108.44 c 1079s| 4360k| 4330k| 0 | 0.0 |1208M|2864 | - |3514 | 916 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1110.92/1110.99 c 1082s| 4370k| 4340k| 0 | 0.0 |1211M|2864 | - |3514 | 922 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1113.52/1113.52 c 1084s| 4380k| 4350k| 0 | 0.0 |1213M|2864 | - |3514 | 920 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1116.02/1116.06 c 1087s| 4390k| 4360k| 0 | 0.0 |1216M|2864 | - |3514 | 923 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1118.63/1118.61 c 1089s| 4400k| 4370k| 0 | 0.0 |1219M|2864 | - |3514 | 913 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1121.13/1121.16 c 1092s| 4410k| 4380k| 0 | 0.0 |1221M|2864 | - |3514 | 886 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1123.72/1123.74 c 1094s| 4420k| 4390k| 0 | 0.0 |1224M|2864 | - |3514 | 930 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1126.22/1126.29 c 1097s| 4430k| 4400k| 0 | 0.0 |1227M|2864 | - |3514 | 921 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1128.82/1128.86 c 1099s| 4440k| 4409k| 0 | 0.0 |1230M|2864 | - |3514 | 914 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1131.43/1131.41 c 1102s| 4450k| 4419k| 0 | 0.0 |1232M|2864 | - |3514 | 928 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1133.92/1133.99 c 1104s| 4460k| 4429k| 0 | 0.0 |1235M|2864 | - |3514 | 947 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1136.52/1136.52 c 1107s| 4470k| 4439k| 0 | 0.0 |1238M|2864 | - |3514 | 916 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1139.02/1139.06 c 1109s| 4480k| 4449k| 0 | 0.0 |1240M|2864 | - |3514 | 887 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1141.63/1141.63 c 1112s| 4490k| 4459k| 0 | 0.0 |1243M|2864 | - |3514 | 879 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1144.12/1144.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.12/1144.19 c 1114s| 4500k| 4469k| 0 | 0.0 |1246M|2864 | - |3514 | 886 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1146.72/1146.73 c 1117s| 4510k| 4479k| 0 | 0.0 |1249M|2864 | - |3514 | 888 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1149.22/1149.28 c 1119s| 4520k| 4489k| 0 | 0.0 |1251M|2864 | - |3514 | 868 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1151.82/1151.82 c 1122s| 4530k| 4499k| 0 | 0.0 |1254M|2864 | - |3514 | 870 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1154.32/1154.38 c 1124s| 4540k| 4509k| 0 | 0.0 |1257M|2864 | - |3514 | 870 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1156.92/1156.95 c 1127s| 4550k| 4519k| 0 | 0.0 |1259M|2864 | - |3514 | 848 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1159.52/1159.54 c 1129s| 4560k| 4529k| 0 | 0.0 |1262M|2864 | - |3514 | 919 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1162.12/1162.10 c 1132s| 4570k| 4539k| 0 | 0.0 |1265M|2864 | - |3514 | 885 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1164.62/1164.67 c 1134s| 4580k| 4549k| 0 | 0.0 |1268M|2864 | - |3514 | 874 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1167.22/1167.20 c 1137s| 4590k| 4559k| 0 | 0.0 |1270M|2864 | - |3514 | 866 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1169.72/1169.73 c 1139s| 4600k| 4569k| 0 | 0.0 |1273M|2864 | - |3514 | 845 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1172.22/1172.27 c 1142s| 4610k| 4579k| 0 | 0.0 |1276M|2864 | - |3514 | 851 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1174.83/1174.84 c 1144s| 4620k| 4589k| 0 | 0.0 |1279M|2864 | - |3514 | 848 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1177.42/1177.42 c 1147s| 4630k| 4599k| 0 | 0.0 |1281M|2864 | - |3514 | 870 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1179.92/1179.99 c 1149s| 4640k| 4609k| 0 | 0.0 |1284M|2864 | - |3514 | 869 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1182.53/1182.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.53/1182.53 c 1152s| 4650k| 4619k| 0 | 0.0 |1287M|2864 | - |3514 | 855 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1185.03/1185.09 c 1154s| 4660k| 4628k| 0 | 0.0 |1289M|2864 | - |3514 | 864 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1187.62/1187.68 c 1157s| 4670k| 4638k| 0 | 0.0 |1292M|2864 | - |3514 | 867 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1190.23/1190.23 c 1159s| 4680k| 4648k| 0 | 0.0 |1295M|2864 | - |3514 | 857 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1192.72/1192.78 c 1162s| 4690k| 4658k| 0 | 0.0 |1298M|2864 | - |3514 | 882 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1195.32/1195.31 c 1164s| 4700k| 4668k| 0 | 0.0 |1300M|2864 | - |3514 | 939 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1197.83/1197.87 c 1167s| 4710k| 4678k| 0 | 0.0 |1303M|2864 | - |3514 | 946 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1200.43/1200.44 c 1169s| 4720k| 4688k| 0 | 0.0 |1306M|2864 | - |3514 | 965 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1202.92/1202.98 c 1172s| 4730k| 4698k| 0 | 0.0 |1308M|2864 | - |3514 | 955 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1205.53/1205.53 c 1174s| 4740k| 4708k| 0 | 0.0 |1311M|2864 | - |3514 | 952 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1208.02/1208.07 c 1176s| 4750k| 4718k| 0 | 0.0 |1314M|2864 | - |3514 | 961 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1210.62/1210.60 c 1179s| 4760k| 4728k| 0 | 0.0 |1317M|2864 | - |3514 | 986 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1213.12/1213.18 c 1181s| 4770k| 4738k| 0 | 0.0 |1319M|2864 | - |3514 |1032 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1215.72/1215.72 c 1184s| 4780k| 4748k| 0 | 0.0 |1322M|2864 | - |3514 |1011 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1218.23/1218.27 c 1186s| 4790k| 4758k| 0 | 0.0 |1325M|2864 | - |3514 |1003 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1220.82/1220.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.82/1220.81 c 1189s| 4800k| 4768k| 0 | 0.0 |1327M|2864 | - |3514 |1023 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1223.32/1223.37 c 1191s| 4810k| 4778k| 0 | 0.0 |1330M|2864 | - |3514 |1048 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1225.82/1225.89 c 1194s| 4820k| 4788k| 0 | 0.0 |1333M|2864 | - |3514 |1007 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1228.43/1228.44 c 1196s| 4830k| 4798k| 0 | 0.0 |1336M|2864 | - |3514 |1030 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1230.93/1230.98 c 1199s| 4840k| 4808k| 0 | 0.0 |1338M|2864 | - |3514 |1003 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1233.52/1233.55 c 1201s| 4850k| 4818k| 0 | 0.0 |1341M|2864 | - |3514 |1005 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1236.13/1236.10 c 1204s| 4860k| 4828k| 0 | 0.0 |1344M|2864 | - |3514 | 999 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1238.63/1238.66 c 1206s| 4870k| 4837k| 0 | 0.0 |1346M|2864 | - |3514 | 995 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1241.23/1241.21 c 1209s| 4880k| 4847k| 0 | 0.0 |1349M|2864 | - |3514 | 961 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1243.72/1243.77 c 1211s| 4890k| 4857k| 0 | 0.0 |1352M|2864 | - |3514 | 984 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1246.33/1246.32 c 1214s| 4900k| 4867k| 0 | 0.0 |1355M|2864 | - |3514 |1014 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1248.82/1248.88 c 1216s| 4910k| 4877k| 0 | 0.0 |1357M|2864 | - |3514 | 953 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1251.42/1251.45 c 1219s| 4920k| 4887k| 0 | 0.0 |1360M|2864 | - |3514 | 990 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1254.03/1254.02 c 1221s| 4930k| 4897k| 0 | 0.0 |1363M|2864 | - |3514 | 975 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1256.53/1256.56 c 1224s| 4940k| 4907k| 0 | 0.0 |1365M|2864 | - |3514 | 988 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1259.13/1259.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1259.13/1259.10 c 1226s| 4950k| 4917k| 0 | 0.0 |1368M|2864 | - |3514 | 948 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1261.63/1261.66 c 1229s| 4960k| 4927k| 0 | 0.0 |1371M|2864 | - |3514 | 955 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1264.22/1264.20 c 1231s| 4970k| 4937k| 0 | 0.0 |1373M|2864 | - |3514 | 959 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1266.73/1266.75 c 1234s| 4980k| 4947k| 0 | 0.0 |1376M|2864 | - |3514 | 962 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1269.33/1269.31 c 1236s| 4990k| 4957k| 0 | 0.0 |1379M|2864 | - |3514 | 976 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1271.82/1271.85 c 1239s| 5000k| 4967k| 0 | 0.0 |1382M|2864 | - |3514 | 968 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1274.42/1274.40 c 1241s| 5010k| 4977k| 0 | 0.0 |1384M|2864 | - |3514 | 992 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1276.93/1276.95 c 1244s| 5020k| 4987k| 0 | 0.0 |1387M|2864 | - |3514 | 956 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1279.42/1279.48 c 1246s| 5030k| 4997k| 0 | 0.0 |1390M|2864 | - |3514 | 977 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1282.02/1282.04 c 1248s| 5040k| 5007k| 0 | 0.0 |1392M|2864 | - |3514 | 966 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1284.52/1284.59 c 1251s| 5050k| 5017k| 0 | 0.0 |1395M|2864 | - |3514 | 968 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1287.12/1287.15 c 1253s| 5060k| 5027k| 0 | 0.0 |1398M|2864 | - |3514 | 965 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1289.73/1289.71 c 1256s| 5070k| 5036k| 0 | 0.0 |1401M|2864 | - |3514 | 941 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1292.22/1292.29 c 1258s| 5080k| 5046k| 0 | 0.0 |1403M|2864 | - |3514 | 934 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1294.83/1294.84 c 1261s| 5090k| 5056k| 0 | 0.0 |1406M|2864 | - |3514 | 961 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1297.33/1297.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.33/1297.38 c 1263s| 5100k| 5066k| 0 | 0.0 |1409M|2864 | - |3514 | 951 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1299.92/1299.93 c 1266s| 5110k| 5076k| 0 | 0.0 |1411M|2864 | - |3514 | 932 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1302.43/1302.49 c 1268s| 5120k| 5086k| 0 | 0.0 |1414M|2864 | - |3514 | 937 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1305.02/1305.03 c 1271s| 5130k| 5096k| 0 | 0.0 |1417M|2864 | - |3514 | 927 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1307.52/1307.58 c 1273s| 5140k| 5106k| 0 | 0.0 |1420M|2864 | - |3514 | 950 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1310.13/1310.15 c 1276s| 5150k| 5116k| 0 | 0.0 |1422M|2864 | - |3514 | 968 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1312.62/1312.68 c 1278s| 5160k| 5126k| 0 | 0.0 |1425M|2864 | - |3514 | 952 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1315.22/1315.23 c 1281s| 5170k| 5136k| 0 | 0.0 |1428M|2864 | - |3514 | 923 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1317.73/1317.77 c 1283s| 5180k| 5146k| 0 | 0.0 |1430M|2864 | - |3514 | 906 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1320.33/1320.34 c 1286s| 5190k| 5156k| 0 | 0.0 |1433M|2864 | - |3514 | 915 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1322.82/1322.86 c 1288s| 5200k| 5166k| 0 | 0.0 |1436M|2864 | - |3514 | 938 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1325.43/1325.41 c 1291s| 5210k| 5176k| 0 | 0.0 |1439M|2864 | - |3514 | 902 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1327.92/1327.98 c 1293s| 5220k| 5186k| 0 | 0.0 |1441M|2864 | - |3514 | 940 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1330.52/1330.53 c 1296s| 5230k| 5196k| 0 | 0.0 |1444M|2864 | - |3514 | 930 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1333.03/1333.05 c 1298s| 5240k| 5206k| 0 | 0.0 |1447M|2864 | - |3514 | 933 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1335.63/1335.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.63/1335.61 c 1301s| 5250k| 5216k| 0 | 0.0 |1449M|2864 | - |3514 | 952 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1338.13/1338.16 c 1303s| 5260k| 5226k| 0 | 0.0 |1452M|2864 | - |3514 | 952 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1340.73/1340.71 c 1306s| 5270k| 5235k| 0 | 0.0 |1455M|2864 | - |3514 | 952 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1343.22/1343.25 c 1308s| 5280k| 5245k| 0 | 0.0 |1458M|2864 | - |3514 | 941 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1345.82/1345.80 c 1311s| 5290k| 5255k| 0 | 0.0 |1460M|2864 | - |3514 | 906 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1348.33/1348.38 c 1313s| 5300k| 5265k| 0 | 0.0 |1463M|2864 | - |3514 | 940 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1350.92/1350.93 c 1316s| 5310k| 5275k| 0 | 0.0 |1466M|2864 | - |3514 | 956 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1353.42/1353.49 c 1318s| 5320k| 5285k| 0 | 0.0 |1468M|2864 | - |3514 | 943 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1356.02/1356.03 c 1320s| 5330k| 5295k| 0 | 0.0 |1471M|2864 | - |3514 | 948 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1358.53/1358.59 c 1323s| 5340k| 5305k| 0 | 0.0 |1474M|2864 | - |3514 | 985 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1361.13/1361.14 c 1325s| 5350k| 5315k| 0 | 0.0 |1477M|2864 | - |3514 | 989 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1363.62/1363.67 c 1328s| 5360k| 5325k| 0 | 0.0 |1479M|2864 | - |3514 | 963 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1366.23/1366.25 c 1330s| 5370k| 5335k| 0 | 0.0 |1482M|2864 | - |3514 | 970 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1368.73/1368.78 c 1333s| 5380k| 5345k| 0 | 0.0 |1485M|2864 | - |3514 | 982 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1371.33/1371.33 c 1335s| 5390k| 5355k| 0 | 0.0 |1487M|2864 | - |3514 | 966 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1373.83/1373.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.83/1373.85 c 1338s| 5400k| 5365k| 0 | 0.0 |1490M|2864 | - |3514 | 945 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1376.43/1376.42 c 1340s| 5410k| 5375k| 0 | 0.0 |1493M|2864 | - |3514 | 996 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1378.93/1378.95 c 1343s| 5420k| 5385k| 0 | 0.0 |1496M|2864 | - |3514 | 960 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1381.43/1381.49 c 1345s| 5430k| 5395k| 0 | 0.0 |1498M|2864 | - |3514 | 954 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1384.03/1384.03 c 1348s| 5440k| 5405k| 0 | 0.0 |1501M|2864 | - |3514 | 940 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1386.53/1386.57 c 1350s| 5450k| 5415k| 0 | 0.0 |1504M|2864 | - |3514 | 958 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1389.12/1389.10 c 1353s| 5460k| 5425k| 0 | 0.0 |1506M|2864 | - |3514 | 934 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1391.63/1391.63 c 1355s| 5470k| 5435k| 0 | 0.0 |1509M|2864 | - |3514 | 926 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1394.13/1394.19 c 1358s| 5480k| 5444k| 0 | 0.0 |1512M|2864 | - |3514 | 948 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1396.72/1396.74 c 1360s| 5490k| 5454k| 0 | 0.0 |1514M|2864 | - |3514 | 922 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1399.23/1399.28 c 1363s| 5500k| 5464k| 0 | 0.0 |1517M|2864 | - |3514 | 952 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1401.83/1401.88 c 1365s| 5510k| 5474k| 0 | 0.0 |1520M|2864 | - |3514 | 917 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1404.43/1404.45 c 1368s| 5520k| 5484k| 0 | 0.0 |1523M|2864 | - |3514 | 902 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1406.93/1406.99 c 1370s| 5530k| 5494k| 0 | 0.0 |1525M|2864 | - |3514 | 896 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1409.53/1409.51 c 1372s| 5540k| 5504k| 0 | 0.0 |1528M|2864 | - |3514 | 875 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1412.03/1412.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.03/1412.06 c 1375s| 5550k| 5514k| 0 | 0.0 |1531M|2864 | - |3514 | 858 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1414.63/1414.62 c 1377s| 5560k| 5524k| 0 | 0.0 |1533M|2864 | - |3514 | 869 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1417.13/1417.18 c 1380s| 5570k| 5534k| 0 | 0.0 |1536M|2864 | - |3514 | 862 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1419.73/1419.73 c 1382s| 5580k| 5544k| 0 | 0.0 |1539M|2864 | - |3514 | 891 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1422.23/1422.26 c 1385s| 5590k| 5554k| 0 | 0.0 |1542M|2864 | - |3514 | 916 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1424.83/1424.81 c 1387s| 5600k| 5564k| 0 | 0.0 |1544M|2864 | - |3514 | 898 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1427.33/1427.37 c 1390s| 5610k| 5574k| 0 | 0.0 |1547M|2864 | - |3514 | 894 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1429.94/1429.94 c 1392s| 5620k| 5584k| 0 | 0.0 |1550M|2864 | - |3514 | 906 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1432.43/1432.47 c 1395s| 5630k| 5594k| 0 | 0.0 |1552M|2864 | - |3514 | 891 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1435.02/1435.03 c 1397s| 5640k| 5604k| 0 | 0.0 |1555M|2864 | - |3514 | 917 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1437.53/1437.58 c 1400s| 5650k| 5614k| 0 | 0.0 |1558M|2864 | - |3514 | 897 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1440.13/1440.12 c 1402s| 5660k| 5624k| 0 | 0.0 |1561M|2864 | - |3514 | 878 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1442.63/1442.65 c 1405s| 5670k| 5634k| 0 | 0.0 |1563M|2864 | - |3514 | 854 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1445.13/1445.19 c 1407s| 5680k| 5643k| 0 | 0.0 |1566M|2864 | - |3514 | 852 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1447.73/1447.74 c 1410s| 5690k| 5653k| 0 | 0.0 |1569M|2864 | - |3514 | 857 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1450.33/1450.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.33/1450.31 c 1412s| 5700k| 5663k| 0 | 0.0 |1572M|2864 | - |3514 | 874 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1452.83/1452.84 c 1415s| 5710k| 5673k| 0 | 0.0 |1574M|2864 | - |3514 | 864 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1455.34/1455.37 c 1417s| 5720k| 5683k| 0 | 0.0 |1577M|2864 | - |3514 | 866 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1457.93/1457.91 c 1420s| 5730k| 5693k| 0 | 0.0 |1580M|2864 | - |3514 | 875 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1460.43/1460.47 c 1422s| 5740k| 5703k| 0 | 0.0 |1582M|2864 | - |3514 | 887 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1463.03/1463.03 c 1425s| 5750k| 5713k| 0 | 0.0 |1585M|2864 | - |3514 | 888 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1465.53/1465.59 c 1427s| 5760k| 5723k| 0 | 0.0 |1588M|2864 | - |3514 | 840 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1468.13/1468.12 c 1430s| 5770k| 5733k| 0 | 0.0 |1591M|2864 | - |3514 | 886 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1470.63/1470.63 c 1432s| 5780k| 5743k| 0 | 0.0 |1593M|2864 | - |3514 | 875 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1473.13/1473.17 c 1435s| 5790k| 5753k| 0 | 0.0 |1596M|2864 | - |3514 | 854 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1475.73/1475.70 c 1437s| 5800k| 5763k| 0 | 0.0 |1599M|2864 | - |3514 | 854 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1478.24/1478.27 c 1440s| 5810k| 5773k| 0 | 0.0 |1601M|2864 | - |3514 | 922 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1480.83/1480.82 c 1442s| 5820k| 5783k| 0 | 0.0 |1604M|2864 | - |3514 | 866 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1483.34/1483.37 c 1444s| 5830k| 5793k| 0 | 0.0 |1607M|2864 | - |3514 | 877 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1485.93/1485.90 c 1447s| 5840k| 5803k| 0 | 0.0 |1610M|2864 | - |3514 | 907 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1488.43/1488.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.43/1488.47 c 1449s| 5850k| 5813k| 0 | 0.0 |1612M|2864 | - |3514 | 876 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1491.03/1491.01 c 1452s| 5860k| 5823k| 0 | 0.0 |1615M|2864 | - |3514 | 879 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1493.53/1493.52 c 1454s| 5870k| 5833k| 0 | 0.0 |1618M|2864 | - |3514 | 878 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1496.03/1496.03 c 1457s| 5880k| 5843k| 0 | 0.0 |1620M|2864 | - |3514 | 852 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1498.53/1498.57 c 1459s| 5890k| 5852k| 0 | 0.0 |1623M|2864 | - |3514 | 885 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1501.13/1501.11 c 1462s| 5900k| 5862k| 0 | 0.0 |1626M|2864 | - |3514 | 890 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1503.64/1503.66 c 1464s| 5910k| 5872k| 0 | 0.0 |1629M|2864 | - |3514 | 858 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1506.13/1506.18 c 1467s| 5920k| 5882k| 0 | 0.0 |1631M|2864 | - |3514 | 861 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1508.73/1508.73 c 1469s| 5930k| 5892k| 0 | 0.0 |1634M|2864 | - |3514 | 884 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1511.23/1511.29 c 1472s| 5940k| 5902k| 0 | 0.0 |1637M|2864 | - |3514 | 915 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1513.83/1513.84 c 1474s| 5950k| 5912k| 0 | 0.0 |1639M|2864 | - |3514 | 878 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1516.33/1516.38 c 1477s| 5960k| 5922k| 0 | 0.0 |1642M|2864 | - |3514 | 832 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1518.93/1518.95 c 1479s| 5970k| 5932k| 0 | 0.0 |1645M|2864 | - |3514 | 871 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1521.43/1521.49 c 1482s| 5980k| 5942k| 0 | 0.0 |1648M|2864 | - |3514 | 830 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1524.03/1524.02 c 1484s| 5990k| 5952k| 0 | 0.0 |1650M|2864 | - |3514 | 838 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1526.54/1526.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.54/1526.56 c 1487s| 6000k| 5962k| 0 | 0.0 |1653M|2864 | - |3514 | 842 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1529.04/1529.08 c 1489s| 6010k| 5972k| 0 | 0.0 |1656M|2864 | - |3514 | 813 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1531.63/1531.61 c 1491s| 6020k| 5982k| 0 | 0.0 |1658M|2864 | - |3514 | 817 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1534.13/1534.16 c 1494s| 6030k| 5992k| 0 | 0.0 |1661M|2864 | - |3514 | 793 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1536.64/1536.70 c 1496s| 6040k| 6002k| 0 | 0.0 |1664M|2864 | - |3514 | 774 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1539.23/1539.26 c 1499s| 6050k| 6012k| 0 | 0.0 |1667M|2864 | - |3514 | 786 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1541.83/1541.81 c 1501s| 6060k| 6022k| 0 | 0.0 |1669M|2864 | - |3514 | 808 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1544.34/1544.37 c 1504s| 6070k| 6032k| 0 | 0.0 |1672M|2864 | - |3514 | 765 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1546.93/1546.91 c 1506s| 6080k| 6042k| 0 | 0.0 |1675M|2864 | - |3514 | 778 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1549.43/1549.44 c 1509s| 6090k| 6052k| 0 | 0.0 |1677M|2864 | - |3514 | 769 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1551.94/1551.99 c 1511s| 6100k| 6061k| 0 | 0.0 |1680M|2864 | - |3514 | 800 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1554.53/1554.51 c 1514s| 6110k| 6071k| 0 | 0.0 |1683M|2864 | - |3514 | 779 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1557.03/1557.04 c 1516s| 6120k| 6081k| 0 | 0.0 |1686M|2864 | - |3514 | 772 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1559.63/1559.61 c 1519s| 6130k| 6091k| 0 | 0.0 |1688M|2864 | - |3514 | 793 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1562.13/1562.15 c 1521s| 6140k| 6101k| 0 | 0.0 |1691M|2864 | - |3514 | 813 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1564.73/1564.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.73/1564.71 c 1524s| 6150k| 6111k| 0 | 0.0 |1694M|2864 | - |3514 | 818 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1567.23/1567.26 c 1526s| 6160k| 6121k| 0 | 0.0 |1697M|2864 | - |3514 | 793 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1569.83/1569.81 c 1529s| 6170k| 6131k| 0 | 0.0 |1699M|2864 | - |3514 | 773 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1572.33/1572.35 c 1531s| 6180k| 6141k| 0 | 0.0 |1702M|2864 | - |3514 | 793 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1574.93/1574.91 c 1534s| 6190k| 6151k| 0 | 0.0 |1705M|2864 | - |3514 | 840 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1577.44/1577.43 c 1536s| 6200k| 6161k| 0 | 0.0 |1707M|2864 | - |3514 | 799 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1579.93/1579.98 c 1539s| 6210k| 6171k| 0 | 0.0 |1710M|2864 | - |3514 | 831 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1582.53/1582.52 c 1541s| 6220k| 6181k| 0 | 0.0 |1713M|2864 | - |3514 | 812 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1585.04/1585.07 c 1543s| 6230k| 6191k| 0 | 0.0 |1716M|2864 | - |3514 | 836 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1587.63/1587.63 c 1546s| 6240k| 6201k| 0 | 0.0 |1718M|2864 | - |3514 | 824 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1590.24/1590.22 c 1548s| 6250k| 6211k| 0 | 0.0 |1721M|2864 | - |3514 | 825 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1592.73/1592.76 c 1551s| 6260k| 6221k| 0 | 0.0 |1724M|2864 | - |3514 | 845 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1595.23/1595.29 c 1553s| 6270k| 6231k| 0 | 0.0 |1726M|2864 | - |3514 | 869 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1597.83/1597.83 c 1556s| 6280k| 6241k| 0 | 0.0 |1729M|2864 | - |3514 | 878 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1600.33/1600.37 c 1558s| 6290k| 6250k| 0 | 0.0 |1732M|2864 | - |3514 | 897 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1602.94/1602.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.94/1602.93 c 1561s| 6300k| 6260k| 0 | 0.0 |1735M|2864 | - |3514 | 915 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1605.44/1605.49 c 1563s| 6310k| 6270k| 0 | 0.0 |1737M|2864 | - |3514 | 940 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1608.03/1608.05 c 1566s| 6320k| 6280k| 0 | 0.0 |1740M|2864 | - |3514 | 925 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1610.63/1610.62 c 1568s| 6330k| 6290k| 0 | 0.0 |1743M|2864 | - |3514 | 986 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1613.14/1613.13 c 1571s| 6340k| 6300k| 0 | 0.0 |1745M|2864 | - |3514 | 960 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1615.64/1615.67 c 1573s| 6350k| 6310k| 0 | 0.0 |1748M|2864 | - |3514 | 984 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1618.14/1618.18 c 1576s| 6360k| 6320k| 0 | 0.0 |1751M|2864 | - |3514 | 995 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1620.73/1620.74 c 1578s| 6370k| 6330k| 0 | 0.0 |1754M|2864 | - |3514 | 983 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1623.23/1623.27 c 1581s| 6380k| 6340k| 0 | 0.0 |1756M|2864 | - |3514 |1029 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1625.74/1625.79 c 1583s| 6390k| 6350k| 0 | 0.0 |1759M|2864 | - |3514 |1029 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1628.33/1628.39 c 1586s| 6400k| 6360k| 0 | 0.0 |1762M|2864 | - |3514 |1053 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1630.93/1630.93 c 1588s| 6410k| 6370k| 0 | 0.0 |1764M|2864 | - |3514 |1004 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1633.44/1633.47 c 1591s| 6420k| 6380k| 0 | 0.0 |1767M|2864 | - |3514 |1004 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1636.03/1636.01 c 1593s| 6430k| 6390k| 0 | 0.0 |1770M|2864 | - |3514 |1006 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1638.53/1638.55 c 1596s| 6440k| 6400k| 0 | 0.0 |1773M|2864 | - |3514 |1013 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1641.03/1641.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1641.03/1641.09 c 1598s| 6450k| 6410k| 0 | 0.0 |1775M|2864 | - |3514 | 952 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1643.64/1643.65 c 1601s| 6460k| 6420k| 0 | 0.0 |1778M|2864 | - |3514 | 973 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1646.13/1646.18 c 1603s| 6470k| 6430k| 0 | 0.0 |1781M|2864 | - |3514 | 981 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1648.74/1648.72 c 1605s| 6480k| 6439k| 0 | 0.0 |1783M|2864 | - |3514 | 973 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1651.23/1651.27 c 1608s| 6490k| 6449k| 0 | 0.0 |1786M|2864 | - |3514 | 962 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1653.83/1653.80 c 1610s| 6500k| 6459k| 0 | 0.0 |1789M|2864 | - |3514 | 971 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1656.34/1656.33 c 1613s| 6510k| 6469k| 0 | 0.0 |1791M|2864 | - |3514 | 931 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1658.93/1658.90 c 1615s| 6520k| 6479k| 0 | 0.0 |1794M|2864 | - |3514 | 966 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1661.44/1661.45 c 1618s| 6530k| 6489k| 0 | 0.0 |1797M|2864 | - |3514 | 941 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1664.04/1664.01 c 1620s| 6540k| 6499k| 0 | 0.0 |1800M|2864 | - |3514 | 913 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1666.54/1666.55 c 1623s| 6550k| 6509k| 0 | 0.0 |1802M|2864 | - |3514 | 918 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1669.03/1669.05 c 1625s| 6560k| 6519k| 0 | 0.0 |1805M|2864 | - |3514 | 929 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1671.63/1671.60 c 1628s| 6570k| 6529k| 0 | 0.0 |1808M|2864 | - |3514 | 948 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1674.14/1674.11 c 1630s| 6580k| 6539k| 0 | 0.0 |1810M|2864 | - |3514 | 925 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1676.63/1676.65 c 1633s| 6590k| 6549k| 0 | 0.0 |1813M|2864 | - |3514 | 957 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1679.14/1679.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.14/1679.19 c 1635s| 6600k| 6559k| 0 | 0.0 |1816M|2864 | - |3514 | 965 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1681.73/1681.75 c 1638s| 6610k| 6569k| 0 | 0.0 |1818M|2864 | - |3514 | 973 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1684.23/1684.27 c 1640s| 6620k| 6579k| 0 | 0.0 |1821M|2864 | - |3514 | 971 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1686.83/1686.81 c 1643s| 6630k| 6589k| 0 | 0.0 |1824M|2864 | - |3514 | 970 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1689.33/1689.35 c 1645s| 6640k| 6599k| 0 | 0.0 |1827M|2864 | - |3514 | 960 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1691.84/1691.89 c 1648s| 6650k| 6609k| 0 | 0.0 |1829M|2864 | - |3514 |1004 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1694.44/1694.45 c 1650s| 6660k| 6619k| 0 | 0.0 |1832M|2864 | - |3514 | 992 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1696.94/1696.99 c 1653s| 6670k| 6629k| 0 | 0.0 |1835M|2864 | - |3514 | 992 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1699.54/1699.53 c 1655s| 6680k| 6639k| 0 | 0.0 |1837M|2864 | - |3514 |1014 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1702.14/1702.10 c 1657s| 6690k| 6648k| 0 | 0.0 |1840M|2864 | - |3514 |1042 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1704.64/1704.63 c 1660s| 6700k| 6658k| 0 | 0.0 |1843M|2864 | - |3514 |1031 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1707.14/1707.14 c 1662s| 6710k| 6668k| 0 | 0.0 |1845M|2864 | - |3514 | 979 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1709.63/1709.65 c 1665s| 6720k| 6678k| 0 | 0.0 |1848M|2864 | - |3514 | 958 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1712.24/1712.20 c 1667s| 6730k| 6688k| 0 | 0.0 |1851M|2864 | - |3514 | 965 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1714.73/1714.74 c 1670s| 6740k| 6698k| 0 | 0.0 |1854M|2864 | - |3514 | 987 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1717.34/1717.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.34/1717.30 c 1672s| 6750k| 6708k| 0 | 0.0 |1856M|2864 | - |3514 | 964 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1719.84/1719.87 c 1675s| 6760k| 6718k| 0 | 0.0 |1859M|2864 | - |3514 |1035 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1722.44/1722.41 c 1677s| 6770k| 6728k| 0 | 0.0 |1862M|2864 | - |3514 | 961 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1724.93/1724.95 c 1680s| 6780k| 6738k| 0 | 0.0 |1864M|2864 | - |3514 | 985 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1727.53/1727.50 c 1682s| 6790k| 6748k| 0 | 0.0 |1867M|2864 | - |3514 | 977 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1730.04/1730.03 c 1685s| 6800k| 6758k| 0 | 0.0 |1870M|2864 | - |3514 | 937 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1732.55/1732.58 c 1687s| 6810k| 6768k| 0 | 0.0 |1873M|2864 | - |3514 | 952 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1735.14/1735.12 c 1690s| 6820k| 6778k| 0 | 0.0 |1875M|2864 | - |3514 | 995 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1737.64/1737.62 c 1692s| 6830k| 6788k| 0 | 0.0 |1878M|2864 | - |3514 | 947 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1740.14/1740.16 c 1694s| 6840k| 6798k| 0 | 0.0 |1881M|2864 | - |3514 | 968 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1742.64/1742.69 c 1697s| 6850k| 6808k| 0 | 0.0 |1883M|2864 | - |3514 | 938 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1745.13/1745.19 c 1699s| 6860k| 6818k| 0 | 0.0 |1886M|2864 | - |3514 | 966 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1747.73/1747.76 c 1702s| 6870k| 6828k| 0 | 0.0 |1889M|2864 | - |3514 | 929 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1750.23/1750.28 c 1704s| 6880k| 6838k| 0 | 0.0 |1892M|2864 | - |3514 | 924 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1752.84/1752.80 c 1707s| 6890k| 6847k| 0 | 0.0 |1894M|2864 | - |3514 | 942 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1755.34/1755.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.34/1755.32 c 1709s| 6900k| 6857k| 0 | 0.0 |1897M|2864 | - |3514 | 918 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1757.85/1757.85 c 1712s| 6910k| 6867k| 0 | 0.0 |1900M|2864 | - |3514 | 911 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1760.34/1760.39 c 1714s| 6920k| 6877k| 0 | 0.0 |1903M|2864 | - |3514 | 915 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1762.94/1762.90 c 1717s| 6930k| 6887k| 0 | 0.0 |1905M|2864 | - |3514 | 869 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1765.44/1765.43 c 1719s| 6940k| 6897k| 0 | 0.0 |1908M|2864 | - |3514 | 825 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1767.94/1767.97 c 1722s| 6950k| 6907k| 0 | 0.0 |1911M|2864 | - |3514 | 886 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1770.54/1770.52 c 1724s| 6960k| 6917k| 0 | 0.0 |1913M|2864 | - |3514 | 863 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1773.03/1773.05 c 1726s| 6970k| 6927k| 0 | 0.0 |1916M|2864 | - |3514 | 838 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1775.54/1775.55 c 1729s| 6980k| 6937k| 0 | 0.0 |1919M|2864 | - |3514 | 803 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1778.13/1778.10 c 1731s| 6990k| 6947k| 0 | 0.0 |1922M|2864 | - |3514 | 779 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1780.63/1780.62 c 1734s| 7000k| 6957k| 0 | 0.0 |1924M|2864 | - |3514 | 798 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1783.15/1783.16 c 1736s| 7010k| 6967k| 0 | 0.0 |1927M|2864 | - |3514 | 795 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1785.64/1785.70 c 1739s| 7020k| 6977k| 0 | 0.0 |1930M|2864 | - |3514 | 773 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1788.24/1788.21 c 1741s| 7030k| 6987k| 0 | 0.0 |1932M|2864 | - |3514 | 782 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1790.74/1790.73 c 1744s| 7040k| 6997k| 0 | 0.0 |1935M|2864 | - |3514 | 783 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1793.24/1793.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1793.24/1793.24 c 1746s| 7050k| 7007k| 0 | 0.0 |1938M|2864 | - |3514 | 776 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1795.74/1795.76 c 1749s| 7060k| 7017k| 0 | 0.0 |1941M|2864 | - |3514 | 795 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1798.23/1798.29 c 1751s| 7070k| 7027k| 0 | 0.0 |1943M|2864 | - |3514 | 796 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1752.79
1800.04/1800.00 c Solving Nodes : 7076685
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1752.79
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693710-1277890094.wbo
1800.04/1800.00 c Variables : 3514 (3397 binary, 0 integer, 0 implicit integer, 117 continuous)
1800.04/1800.00 c Constraints : 280 initial, 280 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693710-1277890094.wbo
1800.04/1800.00 c Variables : 3514 (3397 binary, 0 integer, 0 implicit integer, 117 continuous)
1800.04/1800.00 c Constraints : 279 initial, 1094 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 117 0 1 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 117 0 3038 0 2785 0 304 0 0 0
1800.04/1800.00 c setppc : 17 0 7456392 0 7056594 6821 1006583 0 0 0
1800.04/1800.00 c linear : 117 0 7449571 0 7056594 13674 2164073 0 0 0
1800.04/1800.00 c logicor : 28+ 0 991103 0 7056594 2239 149813 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 7056594 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 0.01 0.00 0.00 0.00 0.01
1800.04/1800.00 c setppc : 78.17 0.00 7.51 0.00 70.66
1800.04/1800.00 c linear : 64.97 0.00 62.21 0.00 2.76
1800.04/1800.00 c logicor : 96.07 0.00 7.43 0.00 88.64
1800.04/1800.00 c countsols : 1.40 0.00 0.00 0.00 1.40
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 1.95 2 0 0
1800.04/1800.00 c rootredcost : 1.53 0 0 0
1800.04/1800.00 c pseudoobj : 23.67 7456192 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 41.34 22734 22734 375945 335.2 302282 36.1 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 198851 43.4 - - -
1800.04/1800.00 c applied locally : - - - 46 419.8 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 1379.26 7056594 0 0 0 0 14113188
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 1.63 0 0
1800.04/1800.00 c trivial : 0.02 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 2.09 0 0
1800.04/1800.00 c trysol : 1.58 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 7076685
1800.04/1800.00 c nodes (total) : 7076685
1800.04/1800.00 c nodes left : 7033777
1800.04/1800.00 c max depth : 2864
1800.04/1800.00 c max depth (total): 2864
1800.04/1800.00 c backtracks : 9212 (0.1%)
1800.04/1800.00 c delayed cutoffs : 2727
1800.04/1800.00 c repropagations : 7562 (193740 domain reductions, 2643 cutoffs)
1800.04/1800.00 c avg switch length: 2.29
1800.04/1800.00 c switching time : 29.92
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693710-1277890094/watcher-2693710-1277890094 -o /tmp/evaluation-result-2693710-1277890094/solver-2693710-1277890094 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693710-1277890094.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: 4.66 3.17 3.21 4/178 10661
/proc/meminfo: memFree=31428160/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=9180 CPUtime=0
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 1758 0 0 0 0 0 0 0 25 0 1 0 130306140 9400320 1681 4089446400 4194304 7136930 140733225247296 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10661/statm: 2295 1699 275 719 0 1574 0
[startup+0.084357 s]
/proc/loadavg: 4.66 3.17 3.21 4/178 10661
/proc/meminfo: memFree=31428160/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=21072 CPUtime=0.08
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 6276 0 0 0 8 0 0 0 25 0 1 0 130306140 21577728 4560 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 5268 4560 390 719 0 4547 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21072
[startup+0.100291 s]
/proc/loadavg: 4.66 3.17 3.21 4/178 10661
/proc/meminfo: memFree=31428160/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=21332 CPUtime=0.09
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 6340 0 0 0 9 0 0 0 25 0 1 0 130306140 21843968 4624 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 5333 4624 390 719 0 4612 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21332
[startup+0.300318 s]
/proc/loadavg: 4.66 3.17 3.21 4/178 10661
/proc/meminfo: memFree=31428160/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=21728 CPUtime=0.29
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 6440 0 0 0 29 0 0 0 25 0 1 0 130306140 22249472 4724 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 5432 4724 390 719 0 4711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21728
[startup+0.700242 s]
/proc/loadavg: 4.66 3.17 3.21 4/178 10661
/proc/meminfo: memFree=31428160/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=23260 CPUtime=0.69
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 6826 0 0 0 67 2 0 0 25 0 1 0 130306140 23818240 5110 4089446400 4194304 7136930 140733225247296 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 5815 5110 394 719 0 5094 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23260
[startup+1.5011 s]
/proc/loadavg: 4.45 3.15 3.21 3/179 10662
/proc/meminfo: memFree=31407804/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=24640 CPUtime=1.49
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 7170 0 0 0 144 5 0 0 25 0 1 0 130306140 25231360 5454 4089446400 4194304 7136930 140733225247296 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 6160 5454 394 719 0 5439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24640
[startup+3.10081 s]
/proc/loadavg: 4.45 3.15 3.21 3/179 10662
/proc/meminfo: memFree=31405324/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=26728 CPUtime=3.09
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 7709 0 0 0 301 8 0 0 25 0 1 0 130306140 27369472 5993 4089446400 4194304 7136930 140733225247296 18446744073709551615 5892370 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 6682 5993 394 719 0 5961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26728
[startup+6.30018 s]
/proc/loadavg: 4.45 3.15 3.21 3/179 10662
/proc/meminfo: memFree=31397452/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=31688 CPUtime=6.29
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 8996 0 0 0 612 17 0 0 25 0 1 0 130306140 32448512 7280 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 7922 7280 394 719 0 7201 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31688
[startup+12.7011 s]
/proc/loadavg: 4.07 3.11 3.19 3/179 10662
/proc/meminfo: memFree=31382584/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=40464 CPUtime=12.69
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 11291 0 0 0 1235 34 0 0 25 0 1 0 130306140 41435136 9575 4089446400 4194304 7136930 140733225247296 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 10116 9575 394 719 0 9395 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40464
[startup+25.5008 s]
/proc/loadavg: 3.75 3.08 3.18 3/179 10663
/proc/meminfo: memFree=31359412/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=57448 CPUtime=25.49
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 15221 0 0 0 2482 67 0 0 25 0 1 0 130306140 58826752 13505 4089446400 4194304 7136930 140733225247296 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 14362 13505 394 719 0 13641 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57448
[startup+51.1002 s]
/proc/loadavg: 3.16 2.99 3.15 3/179 10664
/proc/meminfo: memFree=31311260/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=90852 CPUtime=51.1
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 22933 0 0 0 4974 136 0 0 25 0 1 0 130306140 93032448 21217 4089446400 4194304 7136930 140733225247296 18446744073709551615 4643155 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 22713 21217 394 719 0 21992 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 90852
[startup+102.306 s]
/proc/loadavg: 2.46 2.82 3.08 3/179 10665
/proc/meminfo: memFree=31210284/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=152552 CPUtime=102.3
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 39163 0 0 0 9965 265 0 0 25 0 1 0 130306140 156213248 37447 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 38138 37447 394 719 0 37417 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 152552
[startup+162.3 s]
/proc/loadavg: 2.17 2.67 3.01 3/179 10666
/proc/meminfo: memFree=31084976/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=243852 CPUtime=162.3
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 60809 0 0 0 15795 435 0 0 25 0 1 0 130306140 249704448 59093 4089446400 4194304 7136930 140733225247296 18446744073709551615 4643192 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 60963 59093 394 719 0 60242 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 243852
[startup+222.301 s]
/proc/loadavg: 2.06 2.54 2.94 3/179 10671
/proc/meminfo: memFree=30972168/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=310316 CPUtime=222.3
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 78345 0 0 0 21627 603 0 0 25 0 1 0 130306140 317763584 76629 4089446400 4194304 7136930 140733225247296 18446744073709551615 5892216 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 77579 76629 394 719 0 76858 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 310316
[startup+282.301 s]
/proc/loadavg: 2.02 2.44 2.88 3/179 10673
/proc/meminfo: memFree=30863524/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=390716 CPUtime=282.3
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 95258 0 0 0 27473 757 0 0 25 0 1 0 130306140 400093184 93542 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 97679 93542 394 719 0 96958 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 390716
[startup+342.3 s]
/proc/loadavg: 2.01 2.36 2.82 3/179 10675
/proc/meminfo: memFree=30757296/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=453940 CPUtime=342.3
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 111977 0 0 0 33318 912 0 0 25 0 1 0 130306140 464834560 110261 4089446400 4194304 7136930 140733225247296 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 113485 110261 394 719 0 112764 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 453940
[startup+402.301 s]
/proc/loadavg: 2.00 2.29 2.77 3/179 10676
/proc/meminfo: memFree=30647240/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=519428 CPUtime=402.3
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 129294 0 0 0 39164 1066 0 0 25 0 1 0 130306140 531894272 127578 4089446400 4194304 7136930 140733225247296 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 129857 127578 394 719 0 129136 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 519428
[startup+462.301 s]
/proc/loadavg: 2.00 2.24 2.72 3/179 10677
/proc/meminfo: memFree=30531960/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=586496 CPUtime=462.31
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 146971 0 0 0 45005 1226 0 0 25 0 1 0 130306140 600571904 145255 4089446400 4194304 7136930 140733225247296 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 146624 145255 394 719 0 145903 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 586496
[startup+522.3 s]
/proc/loadavg: 2.00 2.19 2.67 3/179 10679
/proc/meminfo: memFree=30421272/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=683052 CPUtime=522.31
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 163807 0 0 0 50853 1378 0 0 25 0 1 0 130306140 699445248 162091 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 170763 162091 394 719 0 170042 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 683052
[startup+582.3 s]
/proc/loadavg: 2.00 2.15 2.63 3/179 10681
/proc/meminfo: memFree=30307748/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=747684 CPUtime=582.31
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 180887 0 0 0 56692 1539 0 0 25 0 1 0 130306140 765628416 179171 4089446400 4194304 7136930 140733225247296 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 186921 179171 394 719 0 186200 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 747684
[startup+642.301 s]
/proc/loadavg: 2.00 2.12 2.58 3/179 10683
/proc/meminfo: memFree=30196312/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=808916 CPUtime=642.31
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 197110 0 0 0 62538 1693 0 0 25 0 1 0 130306140 828329984 195394 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 202229 195394 394 719 0 201508 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 808916
[startup+702.301 s]
################
# More data... #
################
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 297754 0 0 0 97612 2620 0 0 25 0 1 0 130306140 1218199552 296038 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 297412 296038 394 719 0 296691 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1189648
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.35 3/179 10693
/proc/meminfo: memFree=29369816/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1319852 CPUtime=1062.32
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 314822 0 0 0 103449 2783 0 0 25 0 1 0 130306140 1351528448 313106 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 329963 313106 394 719 0 329242 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1319852
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.33 3/179 10695
/proc/meminfo: memFree=29240652/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1382532 CPUtime=1122.32
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 331409 0 0 0 109294 2938 0 0 25 0 1 0 130306140 1415712768 329693 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 345633 329693 394 719 0 344912 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1382532
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/179 10697
/proc/meminfo: memFree=29106540/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1445776 CPUtime=1182.32
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 348135 0 0 0 115135 3097 0 0 25 0 1 0 130306140 1480474624 346419 4089446400 4194304 7136930 140733225247296 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 361444 346419 394 719 0 360723 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1445776
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.28 3/179 10699
/proc/meminfo: memFree=28960132/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1511644 CPUtime=1242.33
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 365516 0 0 0 120979 3254 0 0 25 0 1 0 130306140 1547923456 363800 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 377911 363800 394 719 0 377190 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1511644
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.26 3/179 10700
/proc/meminfo: memFree=28787320/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1572480 CPUtime=1302.33
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 381600 0 0 0 126821 3412 0 0 25 0 1 0 130306140 1610219520 379884 4089446400 4194304 7136930 140733225247296 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 393120 379884 394 719 0 392399 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1572480
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.25 3/179 10701
/proc/meminfo: memFree=28679868/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1636132 CPUtime=1362.33
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 398445 0 0 0 132659 3574 0 0 25 0 1 0 130306140 1675399168 396729 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 409033 396729 394 719 0 408312 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1636132
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.23 3/179 10703
/proc/meminfo: memFree=28572144/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1701672 CPUtime=1422.33
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 415758 0 0 0 138498 3735 0 0 25 0 1 0 130306140 1742512128 414042 4089446400 4194304 7136930 140733225247296 18446744073709551615 4407876 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 425418 414042 394 719 0 424697 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1701672
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.21 3/179 10705
/proc/meminfo: memFree=28467920/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1765636 CPUtime=1482.33
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 432667 0 0 0 144343 3890 0 0 25 0 1 0 130306140 1808011264 430951 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 441409 430951 394 719 0 440688 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1765636
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.19 3/179 10707
/proc/meminfo: memFree=28364796/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1826276 CPUtime=1542.33
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 448744 0 0 0 150182 4051 0 0 25 0 1 0 130306140 1870106624 447028 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 456569 447028 394 719 0 455848 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1826276
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/179 10708
/proc/meminfo: memFree=28256720/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1893152 CPUtime=1602.33
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 466355 0 0 0 156025 4208 0 0 25 0 1 0 130306140 1938587648 464639 4089446400 4194304 7136930 140733225247296 18446744073709551615 4407795 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 473288 464639 394 719 0 472567 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1893152
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/179 10709
/proc/meminfo: memFree=28154836/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=1953812 CPUtime=1662.33
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 482431 0 0 0 161870 4363 0 0 25 0 1 0 130306140 2000703488 480715 4089446400 4194304 7136930 140733225247296 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 488453 480715 394 719 0 487732 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1953812
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 10711
/proc/meminfo: memFree=28051848/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=2017292 CPUtime=1722.34
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 499233 0 0 0 167711 4523 0 0 25 0 1 0 130306140 2065707008 497517 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 504323 497517 394 719 0 503602 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2017292
[startup+1782.3 s]
/proc/loadavg: 1.90 1.97 2.13 3/197 10759
/proc/meminfo: memFree=29268876/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=2082256 CPUtime=1782.34
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 516407 0 0 0 173552 4682 0 0 25 0 1 0 130306140 2132230144 514691 4089446400 4194304 7136930 140733225247296 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 520564 514691 394 719 0 519843 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2082256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.92 1.97 2.13 3/197 10759
/proc/meminfo: memFree=29248856/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=2101284 CPUtime=1800.04
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 521404 0 0 0 175280 4724 0 0 25 0 1 0 130306140 2151714816 519688 4089446400 4194304 7136930 140733225247296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10661/statm: 525321 519688 394 719 0 524600 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2101284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10661
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.93 1.97 2.13 3/198 10760
/proc/meminfo: memFree=29248600/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=2101352 CPUtime=1801.43
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 521441 0 0 0 175419 4724 0 0 25 0 1 0 130306140 2151784448 519725 4089446400 4194304 7136930 140733225247296 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10661/statm: 525338 519725 399 719 0 524617 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 2101352
[startup+1801.81 s]
/proc/loadavg: 1.93 1.97 2.13 3/198 10760
/proc/meminfo: memFree=29241656/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=2101352 CPUtime=1801.84
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 521441 0 0 0 175460 4724 0 0 25 0 1 0 130306140 2151784448 519725 4089446400 4194304 7136930 140733225247296 18446744073709551615 4670081 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10661/statm: 525338 519725 399 719 0 524617 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2101352
[startup+1802 s]
/proc/loadavg: 1.93 1.97 2.13 3/198 10760
/proc/meminfo: memFree=29241656/32950904 swapFree=67111528/67111528
[pid=10661] ppid=10659 vsize=2101352 CPUtime=1802.03
/proc/10661/stat : 10661 (pbscip.linux.x8) R 10659 10661 9833 0 -1 4202496 521441 0 0 0 175479 4724 0 0 25 0 1 0 130306140 2151784448 519725 4089446400 4194304 7136930 140733225247296 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10661/statm: 525338 519725 399 719 0 524617 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2101352
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.12
CPU user time (s): 1754.8
CPU system time (s): 47.3178
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2101352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.8
system time used= 47.3178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521441
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= 3
involuntary context switches= 2837
runsolver used 2.54361 second user time and 5.85711 second system time
The end
Begin job on node121 at 2010-06-30 11:28:14
IDJOB=2693710
IDBENCH=78678
IDSOLVER=1206
FILE ID=node121/2693710-1277890094
PBS_JOBID= 11197112
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693710-1277890094/watcher-2693710-1277890094 -o /tmp/evaluation-result-2693710-1277890094/solver-2693710-1277890094 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693710-1277890094.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f511ebc8ef7d333a60d28a0c67ab699d
RANDOM SEED=118585346
node121.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.876
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.75
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.876
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 : 5226.23
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.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
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.83
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.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
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.82
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.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950904 kB
MemFree: 31428556 kB
Buffers: 170784 kB
Cached: 1094792 kB
SwapCached: 0 kB
Active: 595576 kB
Inactive: 780332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950904 kB
LowFree: 31428556 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3480 kB
Writeback: 0 kB
AnonPages: 110476 kB
Mapped: 15960 kB
Slab: 81456 kB
PageTables: 4940 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586980 kB
Committed_AS: 253052 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 node121 at 2010-06-30 11:58:16