0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665250-1276661693.opb>
0.09/0.19 c original problem has 16820 variables (16820 bin, 0 int, 0 impl, 0 cont) and 16820 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.40/0.41 o 0
0.40/0.41 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.40/0.41 c presolving:
0.89/0.90 c (round 1) 15820 del vars, 1000 del conss, 15820 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63280 impls, 0 clqs
1.10/1.15 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.10/1.15 c presolving (2 rounds):
1.10/1.15 c 15820 deleted vars, 1000 deleted constraints, 15820 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.15 c 94920 implications, 0 cliques
1.10/1.15 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15820 constraints
1.10/1.15 c 15820 constraints of type <logicor>
1.10/1.15 c transformed objective value is always integral (scale: 1)
1.10/1.15 c Presolving Time: 0.72
1.10/1.15 c - non default parameters ----------------------------------------------------------------------
1.10/1.15 c # SCIP version 1.2.1.2
1.10/1.15 c
1.10/1.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15 c conflict/interconss = 0
1.10/1.15 c
1.10/1.15 c # should binary conflicts be preferred?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c conflict/preferbinary = TRUE
1.10/1.15 c
1.10/1.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15 c constraints/agelimit = 1
1.10/1.15 c
1.10/1.15 c # should enforcement of pseudo solution be disabled?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/disableenfops = TRUE
1.10/1.15 c
1.10/1.15 c # frequency for displaying node information lines
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15 c display/freq = 10000
1.10/1.15 c
1.10/1.15 c # maximal time in seconds to run
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/time = 1799.82
1.10/1.15 c
1.10/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/memory = 1620
1.10/1.15 c
1.10/1.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15 c lp/solvefreq = 0
1.10/1.15 c
1.10/1.15 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.10/1.15 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.15 c lp/pricing = a
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify inequalities
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/linear/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify knapsacks
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # priority of node selection rule <dfs> in standard mode
1.10/1.15 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.15 c nodeselection/dfs/stdpriority = 1000000
1.10/1.15 c
1.10/1.15 c -----------------------------------------------------------------------------------------------
1.10/1.15 c start solving
1.10/1.15 c
1.39/1.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.40 c t 1.0s| 1 | 0 | 1093 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.39/1.48 o -1
1.39/1.48 c R 1.1s| 1 | 0 | 1093 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.49/1.57 o -2
1.49/1.57 c s 1.2s| 1 | 0 | 1093 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.09/2.11 c 1.7s| 1 | 0 | 1193 | - | 44M| 0 | 990 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.950000e+02 |-2.000000e+00 | 99.60%
2.09/2.13 o -99
2.09/2.13 c b 1.7s| 1 | 0 | 1193 | - | 44M| 0 | 990 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.950000e+02 |-9.900000e+01 | 80.00%
2.99/3.00 c 2.6s| 1 | 0 | 1371 | - | 44M| 0 | 981 |1000 | 15k|1000 | 15k| 23 | 0 | 0 |-4.905000e+02 |-9.900000e+01 | 79.82%
3.59/3.65 c 3.2s| 1 | 0 | 1456 | - | 44M| 0 | 975 |1000 | 15k|1000 | 15k| 32 | 0 | 0 |-4.875000e+02 |-9.900000e+01 | 79.69%
4.19/4.26 c 3.9s| 1 | 0 | 1510 | - | 44M| 0 | 970 |1000 | 15k|1000 | 15k| 41 | 0 | 0 |-4.850000e+02 |-9.900000e+01 | 79.59%
5.19/5.26 c 4.8s| 1 | 0 | 1696 | - | 44M| 0 | 964 |1000 | 15k|1000 | 15k| 50 | 0 | 0 |-4.820000e+02 |-9.900000e+01 | 79.46%
5.89/5.99 c 5.5s| 1 | 0 | 1786 | - | 44M| 0 | 962 |1000 | 15k|1000 | 15k| 56 | 0 | 0 |-4.810000e+02 |-9.900000e+01 | 79.42%
6.99/7.07 c 6.6s| 1 | 0 | 2003 | - | 44M| 0 | 957 |1000 | 15k|1000 | 15k| 66 | 0 | 0 |-4.785000e+02 |-9.900000e+01 | 79.31%
8.70/8.80 c 8.3s| 1 | 0 | 2305 | - | 44M| 0 | 954 |1000 | 15k|1000 | 15k| 74 | 0 | 0 |-4.765000e+02 |-9.900000e+01 | 79.22%
11.49/11.52 c 11.0s| 1 | 0 | 2891 | - | 45M| 0 | 950 |1000 | 15k|1000 | 15k| 81 | 0 | 0 |-4.745000e+02 |-9.900000e+01 | 79.14%
14.38/14.44 c 13.9s| 1 | 0 | 3509 | - | 45M| 0 | 946 |1000 | 15k|1000 | 15k| 91 | 0 | 0 |-4.720000e+02 |-9.900000e+01 | 79.03%
16.79/16.89 c 16.4s| 1 | 0 | 4187 | - | 45M| 0 | 939 |1000 | 15k|1000 |1353 | 102 | 0 | 0 |-4.695000e+02 |-9.900000e+01 | 78.91%
17.39/17.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.39/17.46 c 16.9s| 1 | 0 | 4732 | - | 45M| 0 | 908 |1000 | 15k|1000 |1360 | 109 | 0 | 0 |-4.685000e+02 |-9.900000e+01 | 78.87%
18.49/18.57 c 18.0s| 1 | 0 | 5357 | - | 46M| 0 | 936 |1000 | 15k|1000 |3028 |1777 | 0 | 0 |-4.680000e+02 |-9.900000e+01 | 78.85%
19.28/19.33 c 18.8s| 1 | 0 | 6048 | - | 46M| 0 | 928 |1000 | 15k|1000 |3035 |1784 | 0 | 0 |-4.660000e+02 |-9.900000e+01 | 78.76%
19.89/19.97 c 19.4s| 1 | 0 | 6812 | - | 46M| 0 | 924 |1000 | 15k|1000 |3092 |1841 | 0 | 0 |-4.640000e+02 |-9.900000e+01 | 78.66%
20.58/20.66 c 20.1s| 1 | 0 | 7343 | - | 46M| 0 | 928 |1000 | 15k|1000 |3143 |1892 | 0 | 0 |-4.624091e+02 |-9.900000e+01 | 78.59%
21.19/21.23 c 20.7s| 1 | 0 | 7853 | - | 46M| 0 | 921 |1000 | 15k|1000 |2960 |2100 | 0 | 0 |-4.608636e+02 |-9.900000e+01 | 78.52%
22.69/22.71 c 22.1s| 1 | 0 | 9446 | - | 46M| 0 | 921 |1000 | 15k|1000 |3004 |2144 | 0 | 0 |-4.599091e+02 |-9.900000e+01 | 78.47%
23.09/23.18 c 22.6s| 1 | 0 | 9880 | - | 46M| 0 | 916 |1000 | 15k|1000 |3012 |2152 | 0 | 0 |-4.590000e+02 |-9.900000e+01 | 78.43%
23.99/24.03 c 23.4s| 1 | 0 | 10824 | - | 46M| 0 | 952 |1000 | 15k|1000 |3038 |2178 | 0 | 0 |-4.573000e+02 |-9.900000e+01 | 78.35%
27.59/27.65 c 27.1s| 1 | 0 | 11498 | - | 48M| 0 | 913 |1000 | 15k|1000 |5038 |4178 | 0 | 0 |-4.565000e+02 |-9.900000e+01 | 78.31%
28.18/28.25 c 27.6s| 1 | 0 | 11924 | - | 48M| 0 | 910 |1000 | 15k|1000 |5049 |4189 | 0 | 0 |-4.550000e+02 |-9.900000e+01 | 78.24%
28.88/28.93 c 28.3s| 1 | 0 | 12435 | - | 48M| 0 | 913 |1000 | 15k|1000 |3445 |4197 | 0 | 0 |-4.535000e+02 |-9.900000e+01 | 78.17%
29.59/29.70 c 29.1s| 1 | 0 | 13096 | - | 48M| 0 | 904 |1000 | 15k|1000 |3502 |4254 | 0 | 0 |-4.530000e+02 |-9.900000e+01 | 78.15%
30.98/31.09 c 30.5s| 1 | 0 | 14501 | - | 48M| 0 | 892 |1000 | 15k|1000 |3534 |4286 | 0 | 0 |-4.515000e+02 |-9.900000e+01 | 78.07%
32.08/32.11 c 31.5s| 1 | 0 | 15476 | - | 49M| 0 | 898 |1000 | 15k|1000 |3700 |4452 | 0 | 0 |-4.495000e+02 |-9.900000e+01 | 77.98%
33.08/33.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.08/33.17 c 32.5s| 1 | 0 | 16436 | - | 49M| 0 | 899 |1000 | 15k|1000 |3731 |4483 | 0 | 0 |-4.480000e+02 |-9.900000e+01 | 77.90%
33.99/34.09 c 33.4s| 1 | 0 | 17184 | - | 49M| 0 | 901 |1000 | 15k|1000 |3839 |4591 | 0 | 0 |-4.475000e+02 |-9.900000e+01 | 77.88%
35.38/35.44 c 34.8s| 1 | 0 | 18419 | - | 49M| 0 | 880 |1000 | 15k|1000 |3303 |4663 | 0 | 0 |-4.460000e+02 |-9.900000e+01 | 77.80%
36.47/36.59 c 35.9s| 1 | 0 | 19529 | - | 49M| 0 | 882 |1000 | 15k|1000 |3451 |4811 | 0 | 0 |-4.438333e+02 |-9.900000e+01 | 77.69%
37.67/37.70 c 37.0s| 1 | 0 | 21145 | - | 49M| 0 | 891 |1000 | 15k|1000 |3589 |4949 | 0 | 0 |-4.425000e+02 |-9.900000e+01 | 77.63%
39.17/39.27 c 38.5s| 1 | 0 | 23134 | - | 49M| 0 | 892 |1000 | 15k|1000 |3900 |5260 | 0 | 0 |-4.407500e+02 |-9.900000e+01 | 77.54%
40.07/40.18 c 39.4s| 1 | 0 | 24215 | - | 50M| 0 | 880 |1000 | 15k|1000 |4264 |5624 | 0 | 0 |-4.395891e+02 |-9.900000e+01 | 77.48%
40.87/40.92 c 40.2s| 1 | 0 | 24999 | - | 50M| 0 | 878 |1000 | 15k|1000 |4274 |5634 | 0 | 0 |-4.390000e+02 |-9.900000e+01 | 77.45%
41.87/41.92 c 41.1s| 1 | 0 | 25966 | - | 50M| 0 | 879 |1000 | 15k|1000 |2477 |5752 | 0 | 0 |-4.382500e+02 |-9.900000e+01 | 77.41%
42.67/42.71 c 41.9s| 1 | 0 | 26781 | - | 50M| 0 | 863 |1000 | 15k|1000 |2511 |5786 | 0 | 0 |-4.375000e+02 |-9.900000e+01 | 77.37%
43.77/43.81 c 43.0s| 1 | 0 | 27864 | - | 50M| 0 | 876 |1000 | 15k|1000 |2652 |5927 | 0 | 0 |-4.356667e+02 |-9.900000e+01 | 77.28%
44.57/44.63 c 43.8s| 1 | 0 | 28759 | - | 50M| 0 | 850 |1000 | 15k|1000 |2711 |5986 | 0 | 0 |-4.336667e+02 |-9.900000e+01 | 77.17%
45.37/45.45 c 44.6s| 1 | 0 | 29507 | - | 50M| 0 | 859 |1000 | 15k|1000 |2950 |6225 | 0 | 0 |-4.325000e+02 |-9.900000e+01 | 77.11%
46.17/46.22 c 45.4s| 1 | 0 | 30372 | - | 50M| 0 | 860 |1000 | 15k|1000 |3018 |6293 | 0 | 0 |-4.310000e+02 |-9.900000e+01 | 77.03%
47.28/47.32 c 46.5s| 1 | 0 | 31587 | - | 51M| 0 | 866 |1000 | 15k|1000 |2405 |6322 | 0 | 0 |-4.305000e+02 |-9.900000e+01 | 77.00%
48.67/48.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.67/48.78 c 47.9s| 1 | 0 | 33229 | - | 51M| 0 | 923 |1000 | 15k|1000 |2491 |6408 | 0 | 0 |-4.295035e+02 |-9.900000e+01 | 76.95%
51.17/51.25 c 50.4s| 1 | 0 | 34317 | - | 51M| 0 | 861 |1000 | 15k|1000 |4491 |8408 | 0 | 0 |-4.290000e+02 |-9.900000e+01 | 76.92%
53.27/53.32 c 52.4s| 1 | 0 | 35903 | - | 51M| 0 | 866 |1000 | 15k|1000 |4500 |8417 | 0 | 0 |-4.290000e+02 |-9.900000e+01 | 76.92%
55.16/55.24 c 54.3s| 1 | 0 | 37222 | - | 52M| 0 | 867 |1000 | 15k|1000 |4552 |8469 | 0 | 0 |-4.285000e+02 |-9.900000e+01 | 76.90%
56.97/57.01 c 56.1s| 1 | 0 | 38657 | - | 52M| 0 | 859 |1000 | 15k|1000 |4582 |8499 | 0 | 0 |-4.275000e+02 |-9.900000e+01 | 76.84%
58.97/59.06 c 58.1s| 1 | 0 | 40264 | - | 52M| 0 | 871 |1000 | 15k|1000 |3643 |8551 | 0 | 0 |-4.255556e+02 |-9.900000e+01 | 76.74%
59.97/60.02 c 59.1s| 1 | 0 | 41171 | - | 52M| 0 | 843 |1000 | 15k|1000 |3685 |8593 | 0 | 0 |-4.248333e+02 |-9.900000e+01 | 76.70%
62.67/62.75 c 61.8s| 1 | 0 | 43594 | - | 52M| 0 | 849 |1000 | 15k|1000 |3819 |8727 | 0 | 0 |-4.236667e+02 |-9.900000e+01 | 76.63%
65.26/65.31 c 64.3s| 1 | 0 | 45769 | - | 53M| 0 | 844 |1000 | 15k|1000 |3828 |8736 | 0 | 0 |-4.226667e+02 |-9.900000e+01 | 76.58%
68.47/68.56 c 67.5s| 1 | 0 | 48411 | - | 53M| 0 | 842 |1000 | 15k|1000 |3854 |8762 | 0 | 0 |-4.210000e+02 |-9.900000e+01 | 76.48%
69.66/69.71 c 68.7s| 1 | 0 | 49296 | - | 53M| 0 | 846 |1000 | 15k|1000 |3860 |8768 | 0 | 0 |-4.203571e+02 |-9.900000e+01 | 76.45%
70.56/70.60 c 69.6s| 1 | 0 | 50042 | - | 53M| 0 | 847 |1000 | 15k|1000 |3175 |8805 | 0 | 0 |-4.190000e+02 |-9.900000e+01 | 76.37%
71.96/72.01 c 71.0s| 1 | 0 | 51381 | - | 53M| 0 | 832 |1000 | 15k|1000 |3208 |8838 | 0 | 0 |-4.180000e+02 |-9.900000e+01 | 76.32%
73.46/73.60 c 72.5s| 1 | 0 | 53125 | - | 53M| 0 | 848 |1000 | 15k|1000 |3351 |8981 | 0 | 0 |-4.160000e+02 |-9.900000e+01 | 76.20%
75.46/75.59 c 74.5s| 1 | 0 | 55094 | - | 53M| 0 | 843 |1000 | 15k|1000 |3564 |9194 | 0 | 0 |-4.146250e+02 |-9.900000e+01 | 76.12%
77.06/77.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.06/77.16 c 76.0s| 1 | 0 | 56658 | - | 54M| 0 | 867 |1000 | 15k|1000 |3714 |9344 | 0 | 0 |-4.133750e+02 |-9.900000e+01 | 76.05%
79.86/79.94 c 78.8s| 1 | 0 | 58721 | - | 54M| 0 | 825 |1000 | 15k|1000 |4030 |9660 | 0 | 0 |-4.130000e+02 |-9.900000e+01 | 76.03%
82.36/82.43 c 81.3s| 1 | 0 | 60172 | - | 54M| 0 | 829 |1000 | 15k|1000 |3702 |9682 | 0 | 0 |-4.125000e+02 |-9.900000e+01 | 76.00%
83.95/84.09 c 82.9s| 1 | 0 | 61235 | - | 54M| 0 | 821 |1000 | 15k|1000 |3708 |9688 | 0 | 0 |-4.110000e+02 |-9.900000e+01 | 75.91%
86.77/86.82 c 85.6s| 1 | 0 | 63615 | - | 54M| 0 | 823 |1000 | 15k|1000 |3800 |9780 | 0 | 0 |-4.097500e+02 |-9.900000e+01 | 75.84%
88.06/88.15 c 86.9s| 1 | 0 | 64681 | - | 55M| 0 | 826 |1000 | 15k|1000 |3885 |9865 | 0 | 0 |-4.095000e+02 |-9.900000e+01 | 75.82%
89.56/89.66 c 88.4s| 1 | 0 | 65984 | - | 55M| 0 | 816 |1000 | 15k|1000 |4026 | 10k| 0 | 0 |-4.085000e+02 |-9.900000e+01 | 75.76%
92.26/92.32 c 91.0s| 1 | 0 | 68361 | - | 55M| 0 | 840 |1000 | 15k|1000 |4073 | 10k| 0 | 0 |-4.078125e+02 |-9.900000e+01 | 75.72%
94.56/94.61 c 93.3s| 1 | 0 | 70398 | - | 55M| 0 | 840 |1000 | 15k|1000 |4058 | 10k| 0 | 0 |-4.065000e+02 |-9.900000e+01 | 75.65%
96.96/97.07 c 95.7s| 1 | 0 | 72302 | - | 55M| 0 | 812 |1000 | 15k|1000 |4188 | 10k| 0 | 0 |-4.058333e+02 |-9.900000e+01 | 75.61%
101.26/101.39 c 100s| 1 | 0 | 76111 | - | 56M| 0 | 816 |1000 | 15k|1000 |4257 | 10k| 0 | 0 |-4.045000e+02 |-9.900000e+01 | 75.53%
103.26/103.37 c 102s| 1 | 0 | 77470 | - | 56M| 0 | 815 |1000 | 15k|1000 |4270 | 10k| 0 | 0 |-4.040000e+02 |-9.900000e+01 | 75.50%
108.25/108.36 c 107s| 1 | 0 | 81293 | - | 56M| 0 | 820 |1000 | 15k|1000 |4299 | 10k| 0 | 0 |-4.035000e+02 |-9.900000e+01 | 75.46%
111.75/111.81 c 110s| 1 | 0 | 83676 | - | 56M| 0 | 800 |1000 | 15k|1000 |4364 | 10k| 0 | 0 |-4.030000e+02 |-9.900000e+01 | 75.43%
115.65/115.73 c 114s| 1 | 0 | 86412 | - | 57M| 0 | 902 |1000 | 15k|1000 |3915 | 10k| 0 | 0 |-4.028706e+02 |-9.900000e+01 | 75.43%
117.25/117.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.25/117.34 c 116s| 1 | 0 | 87673 | - | 58M| 0 | 840 |1000 | 15k|1000 |4695 | 11k| 0 | 0 |-4.010000e+02 |-9.900000e+01 | 75.31%
119.05/119.16 c 118s| 1 | 0 | 88975 | - | 58M| 0 | 842 |1000 | 15k|1000 |4757 | 11k| 0 | 0 |-4.003804e+02 |-9.900000e+01 | 75.27%
122.35/122.40 c 121s| 1 | 0 | 91344 | - | 58M| 0 | 846 |1000 | 15k|1000 |4839 | 11k| 0 | 0 |-3.998750e+02 |-9.900000e+01 | 75.24%
123.85/123.99 c 122s| 1 | 0 | 92628 | - | 59M| 0 | 815 |1000 | 15k|1000 |4868 | 11k| 0 | 0 |-3.989000e+02 |-9.900000e+01 | 75.18%
126.05/126.10 c 124s| 1 | 0 | 94088 | - | 60M| 0 | 835 |1000 | 15k|1000 |4878 | 11k| 0 | 0 |-3.986136e+02 |-9.900000e+01 | 75.16%
131.74/131.81 c 130s| 1 | 0 | 97417 | - | 60M| 0 | 832 |1000 | 15k|1000 |4391 | 11k| 0 | 0 |-3.979286e+02 |-9.900000e+01 | 75.12%
133.54/133.63 c 132s| 1 | 0 | 98895 | - | 60M| 0 | 794 |1000 | 15k|1000 |4434 | 11k| 0 | 0 |-3.970000e+02 |-9.900000e+01 | 75.06%
134.64/134.75 c 133s| 1 | 0 | 99765 | - | 61M| 0 | 819 |1000 | 15k|1000 |4442 | 11k| 0 | 0 |-3.964286e+02 |-9.900000e+01 | 75.03%
138.94/139.08 c 137s| 1 | 0 |102716 | - | 61M| 0 | 838 |1000 | 15k|1000 |4480 | 11k| 0 | 0 |-3.951875e+02 |-9.900000e+01 | 74.95%
140.74/140.88 c 139s| 1 | 0 |104213 | - | 63M| 0 | 801 |1000 | 15k|1000 |4610 | 11k| 0 | 0 |-3.940000e+02 |-9.900000e+01 | 74.87%
142.64/142.73 c 141s| 1 | 0 |105445 | - | 63M| 0 | 786 |1000 | 15k|1000 |4716 | 12k| 0 | 0 |-3.930000e+02 |-9.900000e+01 | 74.81%
144.84/144.97 c 143s| 1 | 0 |107180 | - | 64M| 0 | 816 |1000 | 15k|1000 |4255 | 12k| 0 | 0 |-3.920000e+02 |-9.900000e+01 | 74.74%
146.54/146.66 c 145s| 1 | 0 |108564 | - | 66M| 0 | 823 |1000 | 15k|1000 |4290 | 12k| 0 | 0 |-3.914375e+02 |-9.900000e+01 | 74.71%
147.84/147.93 c 146s| 1 | 0 |109691 | - | 67M| 0 | 818 |1000 | 15k|1000 |4338 | 12k| 0 | 0 |-3.911250e+02 |-9.900000e+01 | 74.69%
150.03/150.19 c 148s| 1 | 0 |112022 | - | 67M| 0 | 833 |1000 | 15k|1000 |4412 | 12k| 0 | 0 |-3.905000e+02 |-9.900000e+01 | 74.65%
152.13/152.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.13/152.27 c 150s| 1 | 0 |113751 | - | 69M| 0 | 856 |1000 | 15k|1000 |4477 | 12k| 0 | 0 |-3.896250e+02 |-9.900000e+01 | 74.59%
158.73/158.83 c 157s| 1 | 0 |118063 | - | 69M| 0 | 938 |1000 | 15k|1000 |4593 | 12k| 0 | 0 |-3.882634e+02 |-9.900000e+01 | 74.50%
161.93/162.00 c 160s| 1 | 0 |120123 | - | 72M| 0 | 910 |1000 | 15k|1000 |5166 | 13k| 0 | 0 |-3.865290e+02 |-9.900000e+01 | 74.39%
163.63/163.77 c 162s| 1 | 0 |121254 | - | 73M| 0 | 884 |1000 | 15k|1000 |5251 | 13k| 0 | 0 |-3.861134e+02 |-9.900000e+01 | 74.36%
165.64/165.79 c 164s| 1 | 0 |122853 | - | 74M| 0 | 889 |1000 | 15k|1000 |5277 | 13k| 0 | 0 |-3.850145e+02 |-9.900000e+01 | 74.29%
167.92/168.05 c 166s| 1 | 0 |124499 | - | 76M| 0 | 881 |1000 | 15k|1000 |5360 | 13k| 0 | 0 |-3.839547e+02 |-9.900000e+01 | 74.22%
170.22/170.33 c 168s| 1 | 0 |126170 | - | 77M| 0 | 906 |1000 | 15k|1000 |5471 | 13k| 0 | 0 |-3.826649e+02 |-9.900000e+01 | 74.13%
173.22/173.30 c 171s| 1 | 0 |128072 | - | 77M| 0 | 907 |1000 | 15k|1000 |5530 | 13k| 0 | 0 |-3.811558e+02 |-9.900000e+01 | 74.03%
176.13/176.20 c 174s| 1 | 0 |129553 | - | 77M| 0 | 899 |1000 | 15k|1000 |5322 | 13k| 0 | 0 |-3.805471e+02 |-9.900000e+01 | 73.98%
178.73/178.89 c 177s| 1 | 0 |131075 | - | 78M| 0 | 914 |1000 | 15k|1000 |5358 | 13k| 0 | 0 |-3.800642e+02 |-9.900000e+01 | 73.95%
181.53/181.66 c 179s| 1 | 0 |132351 | - | 78M| 0 | 903 |1000 | 15k|1000 |5394 | 13k| 0 | 0 |-3.797642e+02 |-9.900000e+01 | 73.93%
184.63/184.74 c 182s| 1 | 0 |134029 | - | 78M| 0 | 900 |1000 | 15k|1000 |5450 | 13k| 0 | 0 |-3.791143e+02 |-9.900000e+01 | 73.89%
187.82/187.95 c 186s| 1 | 0 |135976 | - | 78M| 0 | 892 |1000 | 15k|1000 |5504 | 13k| 0 | 0 |-3.780860e+02 |-9.900000e+01 | 73.82%
190.12/190.26 c 188s| 1 | 0 |137275 | - | 78M| 0 | 906 |1000 | 15k|1000 |5583 | 13k| 0 | 0 |-3.776526e+02 |-9.900000e+01 | 73.79%
193.12/193.21 c 191s| 1 | 0 |138779 | - | 78M| 0 | 904 |1000 | 15k|1000 |5083 | 13k| 0 | 0 |-3.770299e+02 |-9.900000e+01 | 73.74%
195.51/195.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.51/195.69 c 193s| 1 | 0 |140504 | - | 80M| 0 | 883 |1000 | 15k|1000 |5149 | 13k| 0 | 0 |-3.763333e+02 |-9.900000e+01 | 73.69%
198.61/198.75 c 196s| 1 | 0 |142730 | - | 84M| 0 | 894 |1000 | 15k|1000 |5261 | 14k| 0 | 0 |-3.745797e+02 |-9.900000e+01 | 73.57%
201.01/201.14 c 199s| 1 | 0 |144424 | - | 89M| 0 | 881 |1000 | 15k|1000 |5384 | 14k| 0 | 0 |-3.740581e+02 |-9.900000e+01 | 73.53%
204.32/204.43 c 202s| 1 | 0 |146582 | - | 90M| 0 | 907 |1000 | 15k|1000 |5431 | 14k| 0 | 0 |-3.730678e+02 |-9.900000e+01 | 73.46%
207.62/207.71 c 205s| 1 | 0 |148815 | - | 91M| 0 | 936 |1000 | 15k|1000 |5475 | 14k| 0 | 0 |-3.722322e+02 |-9.900000e+01 | 73.40%
212.21/212.35 c 210s| 1 | 0 |151476 | - | 91M| 0 | 915 |1000 | 15k|1000 |5380 | 14k| 0 | 0 |-3.704208e+02 |-9.900000e+01 | 73.27%
214.01/214.16 c 212s| 1 | 0 |152466 | - | 92M| 0 | 908 |1000 | 15k|1000 |5417 | 14k| 0 | 0 |-3.702960e+02 |-9.900000e+01 | 73.26%
217.41/217.56 c 215s| 1 | 0 |154291 | - | 92M| 0 | 923 |1000 | 15k|1000 |5459 | 14k| 0 | 0 |-3.691073e+02 |-9.900000e+01 | 73.18%
221.41/221.55 c 219s| 1 | 0 |156662 | - | 92M| 0 | 915 |1000 | 15k|1000 |5523 | 14k| 0 | 0 |-3.677350e+02 |-9.900000e+01 | 73.08%
224.21/224.40 c 222s| 1 | 0 |158585 | - | 93M| 0 | 923 |1000 | 15k|1000 |5605 | 14k| 0 | 0 |-3.669625e+02 |-9.900000e+01 | 73.02%
228.10/228.25 c 226s| 1 | 0 |160659 | - | 94M| 0 | 910 |1000 | 15k|1000 |5701 | 14k| 0 | 0 |-3.662813e+02 |-9.900000e+01 | 72.97%
232.20/232.34 c 230s| 1 | 0 |163031 | - | 94M| 0 | 918 |1000 | 15k|1000 |5443 | 14k| 0 | 0 |-3.650492e+02 |-9.900000e+01 | 72.88%
235.21/235.30 c 232s| 1 | 0 |164822 | - | 96M| 0 | 941 |1000 | 15k|1000 |5503 | 14k| 0 | 0 |-3.641845e+02 |-9.900000e+01 | 72.82%
239.10/239.27 c 236s| 1 | 0 |166458 | - | 96M| 0 | 963 |1000 | 15k|1000 |5547 | 14k| 0 | 0 |-3.633723e+02 |-9.900000e+01 | 72.76%
244.19/244.33 c 241s| 1 | 0 |168474 | - | 96M| 0 | 954 |1000 | 15k|1000 |5597 | 14k| 0 | 0 |-3.622206e+02 |-9.900000e+01 | 72.67%
249.29/249.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.29/249.49 c 247s| 1 | 0 |170685 | - | 96M| 0 | 950 |1000 | 15k|1000 |5676 | 14k| 0 | 0 |-3.610818e+02 |-9.900000e+01 | 72.58%
254.39/254.50 c 252s| 1 | 0 |172744 | - | 96M| 0 | 954 |1000 | 15k|1000 |5765 | 15k| 0 | 0 |-3.600355e+02 |-9.900000e+01 | 72.50%
259.79/259.95 c 257s| 1 | 0 |174622 | - | 96M| 0 | 962 |1000 | 15k|1000 |5574 | 15k| 0 | 0 |-3.592035e+02 |-9.900000e+01 | 72.44%
264.59/264.71 c 262s| 1 | 0 |176118 | - | 96M| 0 | 960 |1000 | 15k|1000 |5635 | 15k| 0 | 0 |-3.586871e+02 |-9.900000e+01 | 72.40%
270.29/270.45 c 267s| 1 | 0 |178424 | - | 96M| 0 | 970 |1000 | 15k|1000 |5685 | 15k| 0 | 0 |-3.577310e+02 |-9.900000e+01 | 72.33%
276.48/276.62 c 273s| 1 | 0 |180391 | - | 95M| 0 | 958 |1000 | 15k|1000 |5820 | 15k| 0 | 0 |-3.567404e+02 |-9.900000e+01 | 72.25%
281.98/282.12 c 279s| 1 | 0 |182340 | - | 95M| 0 | 979 |1000 | 15k|1000 |5848 | 15k| 0 | 0 |-3.560166e+02 |-9.900000e+01 | 72.19%
288.48/288.64 c 285s| 1 | 0 |184213 | - | 95M| 0 | 963 |1000 | 15k|1000 |6042 | 15k| 0 | 0 |-3.552486e+02 |-9.900000e+01 | 72.13%
295.08/295.20 c 292s| 1 | 0 |186210 | - | 95M| 0 | 963 |1000 | 15k|1000 |5916 | 15k| 0 | 0 |-3.544838e+02 |-9.900000e+01 | 72.07%
300.77/300.97 c 298s| 1 | 0 |187902 | - | 95M| 0 | 971 |1000 | 15k|1000 |5965 | 15k| 0 | 0 |-3.539753e+02 |-9.900000e+01 | 72.03%
307.18/307.30 c 304s| 1 | 0 |189970 | - | 95M| 0 | 971 |1000 | 15k|1000 |6035 | 15k| 0 | 0 |-3.529318e+02 |-9.900000e+01 | 71.95%
313.07/313.20 c 310s| 1 | 0 |191354 | - | 95M| 0 | 972 |1000 | 15k|1000 |6089 | 15k| 0 | 0 |-3.523673e+02 |-9.900000e+01 | 71.90%
319.57/319.78 c 316s| 1 | 0 |193185 | - | 95M| 0 | 975 |1000 | 15k|1000 |6113 | 15k| 0 | 0 |-3.514792e+02 |-9.900000e+01 | 71.83%
327.27/327.43 c 324s| 1 | 0 |195623 | - | 94M| 0 | 969 |1000 | 15k|1000 |6137 | 15k| 0 | 0 |-3.503258e+02 |-9.900000e+01 | 71.74%
333.86/334.03 c 330s| 1 | 0 |197399 | - | 94M| 0 | 986 |1000 | 15k|1000 |5971 | 15k| 0 | 0 |-3.497407e+02 |-9.900000e+01 | 71.69%
340.07/340.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.07/340.24 c 337s| 1 | 0 |199064 | - | 94M| 0 | 980 |1000 | 15k|1000 |6011 | 15k| 0 | 0 |-3.491942e+02 |-9.900000e+01 | 71.65%
346.96/347.16 c 344s| 1 | 0 |201221 | - | 94M| 0 | 987 |1000 | 15k|1000 |6096 | 16k| 0 | 0 |-3.486104e+02 |-9.900000e+01 | 71.60%
354.26/354.45 c 351s| 1 | 0 |203327 | - | 94M| 0 | 990 |1000 | 15k|1000 |6156 | 16k| 0 | 0 |-3.480512e+02 |-9.900000e+01 | 71.56%
361.36/361.56 c 358s| 1 | 0 |205170 | - | 94M| 0 | 989 |1000 | 15k|1000 |6200 | 16k| 0 | 0 |-3.473011e+02 |-9.900000e+01 | 71.49%
368.66/368.85 c 365s| 1 | 0 |207172 | - | 94M| 0 | 991 |1000 | 15k|1000 |6236 | 16k| 0 | 0 |-3.463590e+02 |-9.900000e+01 | 71.42%
376.66/376.86 c 373s| 1 | 0 |209446 | - | 94M| 0 | 993 |1000 | 15k|1000 |6074 | 16k| 0 | 0 |-3.453482e+02 |-9.900000e+01 | 71.33%
384.55/384.71 c 381s| 1 | 0 |211695 | - | 94M| 0 | 994 |1000 | 15k|1000 |6116 | 16k| 0 | 0 |-3.443555e+02 |-9.900000e+01 | 71.25%
392.05/392.23 c 388s| 1 | 0 |213655 | - | 93M| 0 | 993 |1000 | 15k|1000 |6204 | 16k| 0 | 0 |-3.435817e+02 |-9.900000e+01 | 71.19%
399.64/399.83 c 396s| 1 | 0 |215533 | - | 93M| 0 | 996 |1000 | 15k|1000 |6230 | 16k| 0 | 0 |-3.430130e+02 |-9.900000e+01 | 71.14%
406.55/406.77 c 403s| 1 | 0 |216900 | - | 93M| 0 | 994 |1000 | 15k|1000 |6283 | 16k| 0 | 0 |-3.425938e+02 |-9.900000e+01 | 71.10%
413.94/414.17 c 410s| 1 | 0 |218547 | - | 93M| 0 | 992 |1000 | 15k|1000 |6327 | 16k| 0 | 0 |-3.421139e+02 |-9.900000e+01 | 71.06%
421.54/421.78 c 418s| 1 | 0 |220406 | - | 93M| 0 | 992 |1000 | 15k|1000 |6242 | 16k| 0 | 0 |-3.415217e+02 |-9.900000e+01 | 71.01%
428.93/429.14 c 425s| 1 | 0 |222155 | - | 93M| 0 | 993 |1000 | 15k|1000 |6280 | 16k| 0 | 0 |-3.408997e+02 |-9.900000e+01 | 70.96%
436.34/436.57 c 432s| 1 | 0 |223969 | - | 93M| 0 | 992 |1000 | 15k|1000 |6312 | 16k| 0 | 0 |-3.403130e+02 |-9.900000e+01 | 70.91%
444.43/444.60 c 440s| 1 | 0 |226050 | - | 92M| 0 | 995 |1000 | 15k|1000 |6351 | 16k| 0 | 0 |-3.396037e+02 |-9.900000e+01 | 70.85%
452.12/452.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.12/452.31 c 448s| 1 | 0 |227829 | - | 92M| 0 | 994 |1000 | 15k|1000 |6408 | 16k| 0 | 0 |-3.390726e+02 |-9.900000e+01 | 70.80%
459.12/459.35 c 455s| 1 | 0 |229264 | - | 91M| 0 | 994 |1000 | 15k|1000 |6442 | 16k| 0 | 0 |-3.387219e+02 |-9.900000e+01 | 70.77%
466.93/467.10 c 463s| 1 | 0 |231255 | - | 91M| 0 | 997 |1000 | 15k|1000 |6296 | 16k| 0 | 0 |-3.380681e+02 |-9.900000e+01 | 70.72%
473.62/473.84 c 469s| 1 | 0 |232531 | - | 91M| 0 | 996 |1000 | 15k|1000 |6324 | 16k| 0 | 0 |-3.378280e+02 |-9.900000e+01 | 70.70%
481.63/481.85 c 477s| 1 | 0 |234572 | - | 91M| 0 | 996 |1000 | 15k|1000 |6348 | 16k| 0 | 0 |-3.371205e+02 |-9.900000e+01 | 70.63%
489.91/490.15 c 486s| 1 | 0 |236764 | - | 91M| 0 | 992 |1000 | 15k|1000 |6388 | 16k| 0 | 0 |-3.362499e+02 |-9.900000e+01 | 70.56%
496.62/496.89 c 492s| 1 | 0 |237781 | - | 91M| 0 | 996 |1000 | 15k|1000 |6438 | 16k| 0 | 0 |-3.360734e+02 |-9.900000e+01 | 70.54%
503.81/504.07 c 500s| 1 | 0 |239004 | - | 91M| 0 | 995 |1000 | 15k|1000 |6462 | 16k| 0 | 0 |-3.358061e+02 |-9.900000e+01 | 70.52%
511.50/511.74 c 507s| 1 | 0 |240559 | - | 91M| 0 | 997 |1000 | 15k|1000 |6388 | 16k| 0 | 0 |-3.354265e+02 |-9.900000e+01 | 70.49%
519.01/519.29 c 515s| 1 | 0 |242125 | - | 91M| 0 | 996 |1000 | 15k|1000 |6430 | 16k| 0 | 0 |-3.349542e+02 |-9.900000e+01 | 70.44%
525.70/525.94 c 521s| 1 | 0 |243036 | - | 91M| 0 | 996 |1000 | 15k|1000 |6465 | 17k| 0 | 0 |-3.347717e+02 |-9.900000e+01 | 70.43%
532.80/533.03 c 528s| 1 | 0 |244248 | - | 90M| 0 | 995 |1000 | 15k|1000 |6486 | 17k| 0 | 0 |-3.344390e+02 |-9.900000e+01 | 70.40%
539.59/539.80 c 535s| 1 | 0 |245075 | - | 90M| 0 | 996 |1000 | 15k|1000 |6511 | 17k| 0 | 0 |-3.342914e+02 |-9.900000e+01 | 70.39%
546.89/547.17 c 542s| 1 | 0 |246278 | - | 90M| 0 | 995 |1000 | 15k|1000 |6529 | 17k| 0 | 0 |-3.339577e+02 |-9.900000e+01 | 70.36%
554.20/554.47 c 550s| 1 | 0 |247303 | - | 90M| 0 | 996 |1000 | 15k|1000 |6465 | 17k| 0 | 0 |-3.335858e+02 |-9.900000e+01 | 70.32%
561.59/561.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.59/561.84 c 557s| 1 | 0 |248378 | - | 90M| 0 | 996 |1000 | 15k|1000 |6490 | 17k| 0 | 0 |-3.333055e+02 |-9.900000e+01 | 70.30%
568.88/569.17 c 564s| 1 | 0 |249558 | - | 89M| 0 | 997 |1000 | 15k|1000 |6507 | 17k| 0 | 0 |-3.329489e+02 |-9.900000e+01 | 70.27%
576.98/577.21 c 572s| 1 | 0 |251130 | - | 89M| 0 | 996 |1000 | 15k|1000 |6530 | 17k| 0 | 0 |-3.323656e+02 |-9.900000e+01 | 70.21%
584.27/584.54 c 580s| 1 | 0 |252000 | - | 89M| 0 | 997 |1000 | 15k|1000 |6558 | 17k| 0 | 0 |-3.321309e+02 |-9.900000e+01 | 70.19%
591.68/591.99 c 587s| 1 | 0 |252959 | - | 89M| 0 | 996 |1000 | 15k|1000 |6578 | 17k| 0 | 0 |-3.317728e+02 |-9.900000e+01 | 70.16%
599.77/600.09 c 595s| 1 | 0 |254412 | - | 89M| 0 | 995 |1000 | 15k|1000 |6529 | 17k| 0 | 0 |-3.313444e+02 |-9.900000e+01 | 70.12%
606.97/607.24 c 602s| 1 | 0 |255199 | - | 89M| 0 | 996 |1000 | 15k|1000 |6551 | 17k| 0 | 0 |-3.311346e+02 |-9.900000e+01 | 70.10%
614.46/614.72 c 610s| 1 | 0 |256328 | - | 89M| 0 | 999 |1000 | 15k|1000 |6571 | 17k| 0 | 0 |-3.308327e+02 |-9.900000e+01 | 70.08%
621.77/622.06 c 617s| 1 | 0 |257194 | - | 88M| 0 | 995 |1000 | 15k|1000 |6593 | 17k| 0 | 0 |-3.305590e+02 |-9.900000e+01 | 70.05%
628.97/629.28 c 624s| 1 | 0 |257916 | - | 88M| 0 | 998 |1000 | 15k|1000 |6615 | 17k| 0 | 0 |-3.303588e+02 |-9.900000e+01 | 70.03%
636.56/636.87 c 632s| 1 | 0 |258857 | - | 87M| 0 | 998 |1000 | 15k|1000 |6631 | 17k| 0 | 0 |-3.300256e+02 |-9.900000e+01 | 70.00%
643.95/644.21 c 639s| 1 | 0 |259583 | - | 87M| 0 | 997 |1000 | 15k|1000 |6579 | 17k| 0 | 0 |-3.297583e+02 |-9.900000e+01 | 69.98%
651.46/651.77 c 646s| 1 | 0 |260396 | - | 86M| 0 | 996 |1000 | 15k|1000 |6602 | 17k| 0 | 0 |-3.295320e+02 |-9.900000e+01 | 69.96%
658.56/658.89 c 654s| 1 | 0 |260993 | - | 86M| 0 | 998 |1000 | 15k|1000 |6624 | 17k| 0 | 0 |-3.293683e+02 |-9.900000e+01 | 69.94%
665.85/666.12 c 661s| 1 | 0 |261780 | - | 85M| 0 | 995 |1000 | 15k|1000 |6640 | 17k| 0 | 0 |-3.290714e+02 |-9.900000e+01 | 69.92%
672.54/672.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.54/672.81 c 667s| 1 | 0 |262300 | - | 85M| 0 | 995 |1000 | 15k|1000 |6656 | 17k| 0 | 0 |-3.289538e+02 |-9.900000e+01 | 69.90%
679.25/679.59 c 674s| 1 | 0 |262753 | - | 85M| 0 | 996 |1000 | 15k|1000 |6669 | 17k| 0 | 0 |-3.288334e+02 |-9.900000e+01 | 69.89%
687.15/687.47 c 682s| 1 | 0 |263817 | - | 85M| 0 | 995 |1000 | 15k|1000 |6635 | 17k| 0 | 0 |-3.283976e+02 |-9.900000e+01 | 69.85%
693.94/694.28 c 689s| 1 | 0 |264190 | - | 85M| 0 | 994 |1000 | 15k|1000 |6647 | 17k| 0 | 0 |-3.282962e+02 |-9.900000e+01 | 69.84%
700.84/701.10 c 696s| 1 | 0 |264676 | - | 84M| 0 | 997 |1000 | 15k|1000 |6659 | 17k| 0 | 0 |-3.280756e+02 |-9.900000e+01 | 69.82%
707.74/708.06 c 703s| 1 | 0 |265148 | - | 84M| 0 | 996 |1000 | 15k|1000 |6676 | 17k| 0 | 0 |-3.279211e+02 |-9.900000e+01 | 69.81%
714.64/714.97 c 709s| 1 | 0 |265729 | - | 82M| 0 | 997 |1000 | 15k|1000 |6688 | 17k| 0 | 0 |-3.277623e+02 |-9.900000e+01 | 69.80%
721.34/721.64 c 716s| 1 | 0 |266200 | - | 81M| 0 | 997 |1000 | 15k|1000 |6706 | 17k| 0 | 0 |-3.276688e+02 |-9.900000e+01 | 69.79%
728.23/728.52 c 723s| 1 | 0 |266869 | - | 80M| 0 | 998 |1000 | 15k|1000 |6656 | 17k| 0 | 0 |-3.275217e+02 |-9.900000e+01 | 69.77%
734.93/735.23 c 730s| 1 | 0 |267438 | - | 79M| 0 | 996 |1000 | 15k|1000 |6676 | 17k| 0 | 0 |-3.273773e+02 |-9.900000e+01 | 69.76%
741.63/741.94 c 736s| 1 | 0 |267938 | - | 78M| 0 | 997 |1000 | 15k|1000 |6694 | 17k| 0 | 0 |-3.272429e+02 |-9.900000e+01 | 69.75%
748.02/748.31 c 743s| 1 | 0 |268432 | - | 77M| 0 | 999 |1000 | 15k|1000 |6706 | 17k| 0 | 0 |-3.271851e+02 |-9.900000e+01 | 69.74%
754.12/754.45 c 749s| 1 | 0 |268793 | - | 76M| 0 | 998 |1000 | 15k|1000 |6720 | 17k| 0 | 0 |-3.271362e+02 |-9.900000e+01 | 69.74%
760.51/760.83 c 755s| 1 | 0 |269319 | - | 76M| 0 | 998 |1000 | 15k|1000 |6732 | 17k| 0 | 0 |-3.270777e+02 |-9.900000e+01 | 69.73%
767.02/767.36 c 762s| 1 | 0 |269705 | - | 73M| 0 | 999 |1000 | 15k|1000 |6699 | 17k| 0 | 0 |-3.270607e+02 |-9.900000e+01 | 69.73%
773.21/773.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.21/773.50 c 768s| 1 | 0 |269902 | - | 72M| 0 | 999 |1000 | 15k|1000 |6706 | 17k| 0 | 0 |-3.270560e+02 |-9.900000e+01 | 69.73%
779.52/779.90 c 774s| 1 | 0 |270235 | - | 71M| 0 | 998 |1000 | 15k|1000 |6712 | 17k| 0 | 0 |-3.270416e+02 |-9.900000e+01 | 69.73%
785.61/785.98 c 780s| 1 | 0 |270340 | - | 69M| 0 | 980 |1000 | 15k|1000 |6721 | 17k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 69.72%
870.28/870.60 c 864s| 1 | 2 |270340 | - | 68M| 0 | 980 |1000 | 15k|1000 |6721 | 17k| 0 | 55 |-3.270000e+02 |-9.900000e+01 | 69.72%
873.67/874.06 c 867s| 10000 | 64 |270340 | 0.0 | 68M| 80 | - |1000 | 15k| 0 | 0 | 17k| 53 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
877.17/877.58 c 871s| 20000 | 63 |270340 | 0.0 | 68M| 81 | - |1000 | 15k| 0 | 0 | 17k| 72 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
880.68/881.04 c 874s| 30000 | 64 |270340 | 0.0 | 68M| 83 | - |1000 | 15k| 0 | 0 | 17k| 96 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
883.87/884.20 c 877s| 40000 | 63 |270340 | 0.0 | 68M| 83 | - |1000 | 15k| 0 | 0 | 17k| 105 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
886.97/887.36 c 880s| 50000 | 65 |270340 | 0.0 | 68M| 83 | - |1000 | 15k| 0 | 0 | 17k| 110 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
890.17/890.54 c 883s| 60000 | 66 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 124 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
893.27/893.69 c 886s| 70000 | 64 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 135 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
896.26/896.65 c 889s| 80000 | 63 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 141 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
899.16/899.51 c 892s| 90000 | 65 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 154 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
902.06/902.42 c 894s|100000 | 64 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 168 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
904.87/905.29 c 897s|110000 | 66 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 179 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
907.97/908.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.97/908.31 c 900s|120000 | 65 |270340 | 0.0 | 68M| 84 | - |1000 | 15k| 0 | 0 | 17k| 188 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
910.95/911.33 c 903s|130000 | 65 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 199 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
913.96/914.39 c 906s|140000 | 66 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 213 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
917.06/917.42 c 909s|150000 | 62 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 220 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
919.96/920.35 c 911s|160000 | 64 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 223 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
922.95/923.39 c 914s|170000 | 63 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 257 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
926.06/926.43 c 917s|180000 | 64 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 274 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
929.16/929.53 c 920s|190000 | 62 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 286 | 55 |-3.266886e+02 |-9.900000e+01 | 69.70%
931.26/931.65 o -100
931.26/931.65 c * 922s|196785 | 73 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 305 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
932.15/932.58 c 923s|200000 | 70 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 319 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
935.05/935.47 c 926s|210000 | 70 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 356 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
938.05/938.42 c 929s|220000 | 65 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 395 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
941.05/941.41 c 932s|230000 | 68 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 420 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
943.95/944.37 c 934s|240000 | 65 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 430 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
947.05/947.42 c 937s|250000 | 67 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 432 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
950.14/950.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.14/950.51 c 940s|260000 | 65 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 443 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
953.25/953.65 c 943s|270000 | 65 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 453 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
956.34/956.71 c 946s|280000 | 64 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 465 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
959.44/959.89 c 949s|290000 | 64 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 477 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
962.64/963.05 c 952s|300000 | 67 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 496 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
965.65/966.00 c 955s|310000 | 64 |270340 | 0.0 | 68M| 86 | - |1000 | 15k| 0 | 0 | 17k| 503 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
968.65/969.07 c 958s|320000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 518 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
971.84/972.24 c 961s|330000 | 67 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 528 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
975.04/975.40 c 964s|340000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 545 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
978.14/978.59 c 967s|350000 | 66 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 556 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
981.44/981.87 c 970s|360000 | 66 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 559 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
984.84/985.25 c 974s|370000 | 61 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 571 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
988.04/988.40 c 977s|380000 | 69 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 586 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
991.13/991.50 c 980s|390000 | 69 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 607 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
994.23/994.60 c 982s|400000 | 65 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 622 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
997.34/997.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.34/997.77 c 985s|410000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 633 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1000.43/1000.84 c 988s|420000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 645 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1003.53/1003.94 c 991s|430000 | 64 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 654 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1006.62/1007.06 c 994s|440000 | 69 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 664 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1009.73/1010.12 c 997s|450000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 675 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1012.73/1013.13 c 1000s|460000 | 64 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 687 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1015.82/1016.24 c 1003s|470000 | 61 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 700 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1019.23/1019.64 c 1006s|480000 | 69 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 707 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1022.53/1022.98 c 1010s|490000 | 65 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 712 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1025.83/1026.30 c 1013s|500000 | 62 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 718 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1029.13/1029.60 c 1016s|510000 | 65 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 727 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1032.12/1032.57 c 1019s|520000 | 64 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 739 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1035.22/1035.68 c 1022s|530000 | 64 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 742 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1038.31/1038.79 c 1025s|540000 | 64 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 743 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1041.52/1041.99 c 1028s|550000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 748 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1044.52/1044.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.52/1044.98 c 1031s|560000 | 62 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 761 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1047.62/1048.06 c 1034s|570000 | 63 |270340 | 0.0 | 68M| 88 | - |1000 | 15k| 0 | 0 | 17k| 784 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1050.71/1051.14 c 1037s|580000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 793 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1053.71/1054.13 c 1039s|590000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 803 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1056.81/1057.22 c 1042s|600000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 815 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1059.92/1060.36 c 1045s|610000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 825 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1063.11/1063.54 c 1048s|620000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 838 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1066.31/1066.71 c 1051s|630000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 868 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1069.40/1069.82 c 1054s|640000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 882 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1072.50/1072.92 c 1057s|650000 | 62 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 892 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1075.51/1075.99 c 1060s|660000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 904 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1078.72/1079.15 c 1063s|670000 | 59 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 913 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1081.91/1082.36 c 1066s|680000 | 65 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 923 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1085.21/1085.65 c 1070s|690000 | 66 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 940 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1088.40/1088.86 c 1073s|700000 | 68 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 949 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1091.60/1092.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.60/1092.07 c 1076s|710000 | 69 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 958 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1094.90/1095.34 c 1079s|720000 | 65 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 969 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1098.19/1098.63 c 1082s|730000 | 62 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k| 981 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1101.50/1101.90 c 1085s|740000 | 65 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k|1009 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1104.60/1105.06 c 1088s|750000 | 63 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k|1021 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1108.00/1108.42 c 1091s|760000 | 64 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k|1027 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1111.29/1111.78 c 1095s|770000 | 64 |270340 | 0.0 | 68M| 89 | - |1000 | 15k| 0 | 0 | 17k|1038 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1114.59/1115.08 c 1098s|780000 | 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1055 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1117.69/1118.19 c 1101s|790000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1063 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1120.90/1121.36 c 1104s|800000 | 66 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1074 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1124.09/1124.51 c 1107s|810000 | 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1089 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1127.29/1127.77 c 1110s|820000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1099 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1130.79/1131.23 c 1113s|830000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1112 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1133.89/1134.37 c 1116s|840000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1125 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1137.09/1137.55 c 1119s|850000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1138 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1140.29/1140.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.29/1140.75 c 1122s|860000 | 67 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1152 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1143.38/1143.89 c 1125s|870000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1161 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1146.68/1147.16 c 1129s|880000 | 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1171 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1149.88/1150.39 c 1132s|890000 | 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1189 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1153.08/1153.55 c 1135s|900000 | 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1208 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1156.28/1156.76 c 1138s|910000 | 62 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1224 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1159.48/1159.92 c 1141s|920000 | 60 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1232 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1162.58/1163.04 c 1144s|930000 | 61 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1238 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1165.77/1166.23 c 1147s|940000 | 61 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1252 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1168.88/1169.37 c 1150s|950000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1266 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1172.08/1172.51 c 1153s|960000 | 62 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1278 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1175.17/1175.65 c 1156s|970000 | 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1292 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1178.47/1178.90 c 1159s|980000 | 66 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1301 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1181.47/1181.99 c 1162s|990000 | 62 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1311 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1184.77/1185.21 c 1165s| 1000k| 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1326 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1187.96/1188.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.96/1188.41 c 1168s| 1010k| 66 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1349 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1191.16/1191.61 c 1171s| 1020k| 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1364 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1194.26/1194.70 c 1174s| 1030k| 64 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1375 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1197.47/1197.99 c 1177s| 1040k| 63 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1394 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1200.77/1201.22 c 1180s| 1050k| 63 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1407 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1203.97/1204.47 c 1183s| 1060k| 62 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1423 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1207.27/1207.75 c 1187s| 1070k| 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1438 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1210.35/1210.84 c 1190s| 1080k| 63 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1452 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1213.66/1214.18 c 1193s| 1090k| 66 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1459 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1216.96/1217.47 c 1196s| 1100k| 71 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1468 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1220.26/1220.78 c 1199s| 1110k| 68 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1485 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1223.46/1223.91 c 1202s| 1120k| 65 |270340 | 0.0 | 68M| 90 | - |1000 | 15k| 0 | 0 | 17k|1492 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1226.75/1227.27 c 1205s| 1130k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1503 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1230.25/1230.71 c 1209s| 1140k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1522 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1233.35/1233.87 c 1212s| 1150k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1532 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1236.55/1237.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.55/1237.10 c 1215s| 1160k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1543 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1239.95/1240.44 c 1218s| 1170k| 67 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1569 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1243.15/1243.65 c 1221s| 1180k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1584 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1246.34/1246.85 c 1224s| 1190k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1597 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1249.54/1250.04 c 1227s| 1200k| 65 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1613 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1252.84/1253.33 c 1230s| 1210k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1620 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1256.14/1256.64 c 1233s| 1220k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1628 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1259.44/1259.91 c 1237s| 1230k| 65 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1636 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1262.64/1263.12 c 1240s| 1240k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1644 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1265.94/1266.44 c 1243s| 1250k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1662 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1269.34/1269.80 c 1246s| 1260k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1681 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1272.53/1273.01 c 1249s| 1270k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1706 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1275.73/1276.21 c 1252s| 1280k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1724 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1278.74/1279.22 c 1255s| 1290k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1737 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1281.83/1282.34 c 1258s| 1300k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1751 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1284.93/1285.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.93/1285.43 c 1261s| 1310k| 61 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1763 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1288.13/1288.63 c 1264s| 1320k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1779 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1291.23/1291.77 c 1267s| 1330k| 59 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1813 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1294.52/1295.01 c 1270s| 1340k| 65 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1837 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1297.63/1298.15 c 1273s| 1350k| 61 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1853 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1300.74/1301.27 c 1276s| 1360k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1867 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1303.72/1304.28 c 1279s| 1370k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1881 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1307.02/1307.57 c 1282s| 1380k| 63 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1899 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1310.32/1310.82 c 1285s| 1390k| 62 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1916 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1313.53/1314.06 c 1288s| 1400k| 64 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1931 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1316.82/1317.33 c 1292s| 1410k| 75 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|1977 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1320.12/1320.60 c 1295s| 1420k| 69 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2000 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1323.32/1323.84 c 1298s| 1430k| 69 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2017 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1326.72/1327.20 c 1301s| 1440k| 70 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2043 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1330.02/1330.55 c 1304s| 1450k| 68 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2068 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1333.41/1333.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1333.41/1333.91 c 1307s| 1460k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2081 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1336.61/1337.11 c 1311s| 1470k| 71 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2110 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1339.92/1340.40 c 1314s| 1480k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2121 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1343.12/1343.64 c 1317s| 1490k| 67 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2144 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1346.41/1346.90 c 1320s| 1500k| 71 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2170 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1349.51/1350.08 c 1323s| 1510k| 66 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2193 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1352.71/1353.24 c 1326s| 1520k| 69 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2211 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1355.91/1356.41 c 1329s| 1530k| 69 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2222 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1359.01/1359.57 c 1332s| 1540k| 68 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2238 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1362.21/1362.78 c 1335s| 1550k| 67 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2254 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1365.62/1366.16 c 1338s| 1560k| 68 |270340 | 0.0 | 68M| 92 | - |1000 | 15k| 0 | 0 | 17k|2263 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1368.70/1369.26 c 1341s| 1570k| 69 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2275 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1371.90/1372.41 c 1344s| 1580k| 65 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2289 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1374.90/1375.48 c 1347s| 1590k| 69 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2298 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1378.10/1378.67 c 1350s| 1600k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2321 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1381.20/1381.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1381.20/1381.71 c 1353s| 1610k| 69 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2338 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1384.30/1384.87 c 1356s| 1620k| 67 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2352 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1387.61/1388.16 c 1359s| 1630k| 65 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2370 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1391.00/1391.55 c 1363s| 1640k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2384 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1394.20/1394.77 c 1366s| 1650k| 68 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2394 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1397.29/1397.87 c 1369s| 1660k| 67 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2409 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1400.50/1401.09 c 1372s| 1670k| 68 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2425 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1403.89/1404.40 c 1375s| 1680k| 71 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2441 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1407.09/1407.67 c 1378s| 1690k| 68 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2468 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1410.29/1410.85 c 1381s| 1700k| 72 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2485 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1413.49/1414.06 c 1384s| 1710k| 70 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2496 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1416.79/1417.31 c 1387s| 1720k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2508 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1420.09/1420.60 c 1390s| 1730k| 70 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2529 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1423.39/1423.96 c 1394s| 1740k| 67 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2542 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1426.89/1427.47 c 1397s| 1750k| 70 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2566 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1430.18/1430.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.18/1430.73 c 1400s| 1760k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2580 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1433.48/1434.02 c 1403s| 1770k| 71 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2596 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1436.58/1437.16 c 1406s| 1780k| 67 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2609 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1439.88/1440.43 c 1409s| 1790k| 65 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2629 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1443.08/1443.69 c 1412s| 1800k| 64 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2642 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1446.38/1446.92 c 1416s| 1810k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2662 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1449.58/1450.14 c 1419s| 1820k| 66 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2677 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1452.78/1453.38 c 1422s| 1830k| 70 |270340 | 0.0 | 68M| 94 | - |1000 | 15k| 0 | 0 | 17k|2690 | 55 |-3.266886e+02 |-1.000000e+02 | 69.39%
1453.37/1453.98 o -101
1453.37/1453.98 c *1422s| 1831k| 71 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2692 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1456.17/1456.77 c 1425s| 1840k| 73 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2701 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1459.57/1460.14 c 1428s| 1850k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2715 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1462.88/1463.46 c 1431s| 1860k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2734 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1466.07/1466.62 c 1434s| 1870k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2750 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1469.16/1469.71 c 1437s| 1880k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2768 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1472.27/1472.88 c 1440s| 1890k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2776 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1475.66/1476.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.66/1476.26 c 1444s| 1900k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2791 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1479.16/1479.72 c 1447s| 1910k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2802 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1482.46/1483.07 c 1450s| 1920k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2812 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1485.86/1486.40 c 1453s| 1930k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2821 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1489.05/1489.66 c 1457s| 1940k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2830 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1492.45/1493.08 c 1460s| 1950k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2841 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1496.05/1496.61 c 1463s| 1960k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2842 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1499.26/1499.81 c 1466s| 1970k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2852 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1502.66/1503.22 c 1470s| 1980k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2859 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1505.65/1506.29 c 1472s| 1990k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2867 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1508.75/1509.35 c 1475s| 2000k| 70 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2884 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1511.85/1512.41 c 1478s| 2010k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2898 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1514.85/1515.49 c 1481s| 2020k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2911 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1518.14/1518.73 c 1484s| 2030k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2920 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1521.45/1522.01 c 1487s| 2040k| 70 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2934 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1524.55/1525.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.55/1525.19 c 1491s| 2050k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2946 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1527.85/1528.42 c 1494s| 2060k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2959 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1531.04/1531.68 c 1497s| 2070k| 70 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2966 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1534.34/1534.96 c 1500s| 2080k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2976 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1537.63/1538.23 c 1503s| 2090k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2985 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1540.84/1541.48 c 1506s| 2100k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|2997 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1544.14/1544.75 c 1509s| 2110k| 62 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3004 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1547.43/1548.07 c 1512s| 2120k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3021 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1550.64/1551.29 c 1515s| 2130k| 70 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3047 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1553.83/1554.43 c 1518s| 2140k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3072 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1557.13/1557.78 c 1522s| 2150k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3096 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1560.53/1561.15 c 1525s| 2160k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3112 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1564.03/1564.64 c 1528s| 2170k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3137 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1567.53/1568.10 c 1532s| 2180k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3153 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1570.63/1571.28 c 1535s| 2190k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3169 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1574.02/1574.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.02/1574.65 c 1538s| 2200k| 70 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3187 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1577.63/1578.21 c 1541s| 2210k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3203 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1581.13/1581.72 c 1545s| 2220k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3217 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1584.43/1585.03 c 1548s| 2230k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3233 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1587.62/1588.25 c 1551s| 2240k| 62 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3244 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1590.82/1591.49 c 1554s| 2250k| 72 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3259 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1594.22/1594.84 c 1557s| 2260k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3271 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1597.51/1598.19 c 1561s| 2270k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3283 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1600.93/1601.53 c 1564s| 2280k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3302 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1604.12/1604.72 c 1567s| 2290k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3316 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1607.52/1608.12 c 1570s| 2300k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3332 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1610.82/1611.44 c 1573s| 2310k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3341 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1614.12/1614.70 c 1576s| 2320k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3362 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1617.31/1617.97 c 1579s| 2330k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3377 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1620.72/1621.35 c 1583s| 2340k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3388 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1624.12/1624.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.12/1624.79 c 1586s| 2350k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3412 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1627.61/1628.26 c 1589s| 2360k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3448 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1631.10/1631.70 c 1593s| 2370k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3472 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1634.41/1635.07 c 1596s| 2380k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3487 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1637.60/1638.27 c 1599s| 2390k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3509 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1641.01/1641.66 c 1602s| 2400k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3526 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1644.21/1644.89 c 1605s| 2410k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3544 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1647.50/1648.17 c 1608s| 2420k| 62 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3560 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1650.60/1651.29 c 1611s| 2430k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3569 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1653.81/1654.49 c 1614s| 2440k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3586 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1657.01/1657.63 c 1617s| 2450k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3594 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1660.19/1660.82 c 1621s| 2460k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3611 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1663.40/1664.00 c 1624s| 2470k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3620 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1666.60/1667.24 c 1627s| 2480k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3636 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1669.99/1670.61 c 1630s| 2490k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3649 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1673.19/1673.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.19/1673.81 c 1633s| 2500k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3662 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1676.39/1677.08 c 1636s| 2510k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3674 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1679.69/1680.38 c 1639s| 2520k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3686 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1682.99/1683.68 c 1642s| 2530k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3692 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1686.19/1686.88 c 1646s| 2540k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3702 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1689.58/1690.24 c 1649s| 2550k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3715 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1692.89/1693.58 c 1652s| 2560k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3727 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1696.28/1696.98 c 1655s| 2570k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3750 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1699.58/1700.21 c 1658s| 2580k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3764 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1702.98/1703.62 c 1662s| 2590k| 68 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3771 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1706.38/1707.00 c 1665s| 2600k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3787 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1709.58/1710.21 c 1668s| 2610k| 61 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3798 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1712.78/1713.44 c 1671s| 2620k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3809 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1715.97/1716.62 c 1674s| 2630k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3824 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1719.08/1719.77 c 1677s| 2640k| 69 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3833 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1722.38/1723.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.38/1723.04 c 1680s| 2650k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3849 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1725.67/1726.33 c 1683s| 2660k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3856 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1728.97/1729.60 c 1686s| 2670k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3862 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1732.07/1732.79 c 1690s| 2680k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3880 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1735.47/1736.13 c 1693s| 2690k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3889 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1738.67/1739.33 c 1696s| 2700k| 62 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3903 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1742.07/1742.72 c 1699s| 2710k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3910 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1745.37/1746.08 c 1702s| 2720k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3914 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1748.77/1749.41 c 1705s| 2730k| 60 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3925 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1751.96/1752.66 c 1709s| 2740k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3931 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1755.17/1755.80 c 1712s| 2750k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3934 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1758.36/1759.02 c 1715s| 2760k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3937 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1761.66/1762.39 c 1718s| 2770k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3948 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1765.07/1765.74 c 1721s| 2780k| 66 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3959 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1768.36/1769.03 c 1724s| 2790k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3960 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1771.56/1772.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.56/1772.29 c 1727s| 2800k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3967 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1774.86/1775.59 c 1731s| 2810k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3969 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1778.15/1778.86 c 1734s| 2820k| 65 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3981 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1781.46/1782.14 c 1737s| 2830k| 67 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|3986 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1784.76/1785.45 c 1740s| 2840k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|4000 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1787.86/1788.56 c 1743s| 2850k| 64 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|4026 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1791.15/1791.86 c 1746s| 2860k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|4045 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1794.35/1795.06 c 1749s| 2870k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|4053 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1797.64/1798.34 c 1752s| 2880k| 63 |270340 | 0.0 | 68M| 102 | - |1000 | 15k| 0 | 0 | 17k|4066 | 55 |-3.266886e+02 |-1.010000e+02 | 69.08%
1800.06/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.71 c
1800.06/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.71 c Solving Time (sec) : 1754.64
1800.06/1800.71 c Solving Nodes : 2887198
1800.06/1800.71 c Primal Bound : -1.01000000000000e+02 (47 solutions)
1800.06/1800.71 c Dual Bound : -3.26688610042784e+02
1800.06/1800.71 c Gap : 69.08 %
1800.06/1800.75 s SATISFIABLE
1800.06/1800.75 v -x1000 -x999 -x998 x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.06/1800.75 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
1800.06/1800.75 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938
1800.06/1800.75 v -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916
1800.06/1800.75 v x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895
1800.06/1800.75 v -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.06/1800.75 v -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 x855 -x854 -x853
1800.06/1800.75 v -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1800.06/1800.75 v -x831 -x830 -x829 x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 x817 -x816 -x815 -x814 -x813 -x812 x811 -x810
1800.06/1800.75 v -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 x791 -x790 -x789
1800.06/1800.75 v -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1800.06/1800.75 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 x751 -x750 -x749 -x748 -x747
1800.06/1800.75 v -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1800.06/1800.75 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1800.06/1800.75 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 x685 -x684
1800.06/1800.75 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1800.06/1800.75 v -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1800.06/1800.75 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1800.06/1800.75 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599
1800.06/1800.75 v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580 -x579 -x578
1800.06/1800.75 v x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557
1800.06/1800.75 v -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1800.06/1800.75 v -x535 x534 x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
1800.06/1800.75 v -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1800.06/1800.75 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473
1800.06/1800.75 v -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452
1800.06/1800.75 v x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1800.06/1800.75 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 x414 -x413 -x412 -x411 -x410
1800.06/1800.75 v -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
1800.06/1800.75 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1800.06/1800.75 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346
1800.06/1800.75 v -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325
1800.06/1800.75 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304
1800.06/1800.75 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283
1800.06/1800.75 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262
1800.06/1800.75 v -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 x241
1800.06/1800.75 v -x240 x239 -x238 x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
1800.06/1800.75 v -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 x211 x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1800.06/1800.75 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177
1800.06/1800.75 v -x176 -x175 -x174 x173 -x172 -x171 -x170 x169 x168 -x167 -x166 x165 x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155
1800.06/1800.75 v -x154 -x153 -x152 x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 x136 -x135 -x134
1800.06/1800.75 v -x133 -x132 x131 -x130 x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112
1800.06/1800.75 v -x111 -x110 x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
1800.06/1800.75 v -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1800.06/1800.75 v x62 x61 -x60 -x59 x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 x38 -x37 -x36
1800.06/1800.75 v -x35 -x34 x33 x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.06/1800.75 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.06/1800.75 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.75 c Solving Time : 1754.64
1800.06/1800.75 c Original Problem :
1800.06/1800.75 c Problem name : HOME/instance-2665250-1276661693.opb
1800.06/1800.75 c Variables : 16820 (16820 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.75 c Constraints : 16820 initial, 16820 maximal
1800.06/1800.75 c Presolved Problem :
1800.06/1800.75 c Problem name : t_HOME/instance-2665250-1276661693.opb
1800.06/1800.75 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.75 c Constraints : 15820 initial, 15827 maximal
1800.06/1800.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.75 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.75 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.75 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.75 c probing : 0.10 0 0 0 0 0 0 0 0
1800.06/1800.75 c linear : 0.10 15820 0 0 15820 0 1000 0 0
1800.06/1800.75 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.06/1800.75 c root node : - 0 - - 0 - - - -
1800.06/1800.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.75 c integral : 0 0 0 1 0 0 0 0 0 2
1800.06/1800.75 c logicor : 15820+ 195 2821784 0 2 11157 3638849 18544 0 0
1800.06/1800.75 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.06/1800.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.75 c integral : 78.03 0.00 0.00 78.03 0.00
1800.06/1800.75 c logicor : 53.59 0.93 52.65 0.00 0.01
1800.06/1800.75 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.75 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.75 c vbounds : 2.55 2 0 0
1800.06/1800.75 c rootredcost : 2.18 2 0 0
1800.06/1800.75 c pseudoobj : 389.23 5092037 1213405 5763334
1800.06/1800.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.75 c propagation : 11.06 11157 4073 4073 76.7 0 0.0 -
1800.06/1800.75 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.75 c pseudo solution : 300.04 189731 0 0 0.0 0 0.0 -
1800.06/1800.75 c applied globally : - - - 4073 76.7 - - -
1800.06/1800.75 c applied locally : - - - 0 0.0 - - -
1800.06/1800.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.75 c cut pool : 1.75 194 - - 5442 - (maximal pool size: 14311)
1800.06/1800.75 c redcost : 0.01 195 0 0 0 0
1800.06/1800.75 c impliedbounds : 0.37 194 0 0 25581 0
1800.06/1800.75 c intobj : 0.00 0 0 0 0 0
1800.06/1800.75 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.75 c gomory : 419.32 192 0 0 65786 0
1800.06/1800.75 c strongcg : 1.46 20 0 0 10000 0
1800.06/1800.75 c cmir : 1.06 10 0 0 0 0
1800.06/1800.75 c flowcover : 0.85 10 0 0 0 0
1800.06/1800.75 c clique : 6.96 192 0 0 1587 0
1800.06/1800.75 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.75 c mcf : 0.03 1 0 0 0 0
1800.06/1800.75 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.75 c Pricers : Time Calls Vars
1800.06/1800.75 c problem variables: 0.00 0 0
1800.06/1800.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.75 c relpscost : 78.03 1 0 0 0 0 2
1800.06/1800.75 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.75 c inference : 17.95 1474583 0 0 0 0 2949166
1800.06/1800.75 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.75 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.75 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.75 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.75 c random : 0.00 0 0 0 0 0 0
1800.06/1800.75 c Primal Heuristics : Time Calls Found
1800.06/1800.75 c LP solutions : 0.00 - 0
1800.06/1800.75 c pseudo solutions : 0.00 - 2
1800.06/1800.75 c crossover : 0.00 0 0
1800.06/1800.75 c oneopt : 2.37 2 1
1800.06/1800.75 c trivial : 0.04 2 2
1800.06/1800.75 c simplerounding : 0.24 195 40
1800.06/1800.75 c zirounding : 0.01 1 0
1800.06/1800.75 c rounding : 12.22 195 1
1800.06/1800.75 c shifting : 12.86 195 1
1800.06/1800.75 c intshifting : 0.00 0 0
1800.06/1800.75 c twoopt : 0.00 0 0
1800.06/1800.75 c fixandinfer : 0.00 0 0
1800.06/1800.75 c feaspump : 0.00 0 0
1800.06/1800.75 c coefdiving : 0.00 0 0
1800.06/1800.75 c pscostdiving : 0.00 0 0
1800.06/1800.75 c fracdiving : 0.00 0 0
1800.06/1800.75 c veclendiving : 0.00 0 0
1800.06/1800.75 c intdiving : 0.00 0 0
1800.06/1800.75 c actconsdiving : 0.00 0 0
1800.06/1800.75 c objpscostdiving : 0.00 0 0
1800.06/1800.75 c rootsoldiving : 0.00 0 0
1800.06/1800.75 c linesearchdiving : 0.00 0 0
1800.06/1800.75 c guideddiving : 0.00 0 0
1800.06/1800.75 c octane : 0.00 0 0
1800.06/1800.75 c rens : 0.00 0 0
1800.06/1800.75 c rins : 0.00 0 0
1800.06/1800.75 c localbranching : 0.00 0 0
1800.06/1800.75 c mutation : 0.00 0 0
1800.06/1800.75 c dins : 0.00 0 0
1800.06/1800.75 c undercover : 0.00 0 0
1800.06/1800.75 c nlp : 1.24 0 0
1800.06/1800.75 c trysol : 1.40 0 0
1800.06/1800.75 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.75 c primal LP : 0.23 0 0 0.00 0.00
1800.06/1800.75 c dual LP : 320.23 195 270340 1386.36 844.21
1800.06/1800.75 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.75 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.75 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.75 c strong branching : 78.02 55 52506 954.65 672.98
1800.06/1800.75 c (at root node) : - 55 52506 954.65 -
1800.06/1800.75 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.75 c B&B Tree :
1800.06/1800.75 c number of runs : 1
1800.06/1800.75 c nodes : 2887198
1800.06/1800.75 c nodes (total) : 2887198
1800.06/1800.75 c nodes left : 64
1800.06/1800.75 c max depth : 102
1800.06/1800.75 c max depth (total): 102
1800.06/1800.75 c backtracks : 737120 (25.5%)
1800.06/1800.75 c delayed cutoffs : 2739
1800.06/1800.75 c repropagations : 4534 (14194 domain reductions, 1681 cutoffs)
1800.06/1800.75 c avg switch length: 2.00
1800.06/1800.75 c switching time : 46.43
1800.06/1800.75 c Solution :
1800.06/1800.75 c Solutions found : 47 (6 improvements)
1800.06/1800.75 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.16 seconds, depth 0, found by <trivial>)
1800.06/1800.75 c Primal Bound : -1.01000000000000e+02 (in run 1, after 1831695 nodes, 1422.35 seconds, depth 102, found by <relaxation>)
1800.06/1800.75 c Dual Bound : -3.26688610042784e+02
1800.06/1800.75 c Gap : 69.08 %
1800.06/1800.75 c Root Dual Bound : -3.26999999999999e+02
1800.06/1800.75 c Root Iterations : 270340
1800.15/1800.90 c Time complete: 1800.25.