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-2665234-1276660067.opb>
0.19/0.20 c original problem has 16796 variables (16796 bin, 0 int, 0 impl, 0 cont) and 16796 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.39/0.42 o 0
0.39/0.42 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.42 c presolving:
0.89/0.90 c (round 1) 15796 del vars, 1000 del conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63184 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 15796 deleted vars, 1000 deleted constraints, 15796 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.15 c 94776 implications, 0 cliques
1.10/1.15 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15796 constraints
1.10/1.15 c 15796 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.81
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.29/1.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.39 c t 1.0s| 1 | 0 | 1092 | - | 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 | 1092 | - | 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 | 1092 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.10/2.16 c 1.8s| 1 | 0 | 1231 | - | 44M| 0 | 989 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | 99.60%
2.10/2.17 o -98
2.10/2.17 c b 1.8s| 1 | 0 | 1231 | - | 44M| 0 | 989 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.945000e+02 |-9.800000e+01 | 80.18%
2.79/2.90 c 2.5s| 1 | 0 | 1343 | - | 44M| 0 | 984 |1000 | 15k|1000 | 15k| 20 | 0 | 0 |-4.920000e+02 |-9.800000e+01 | 80.08%
3.59/3.62 c 3.2s| 1 | 0 | 1465 | - | 44M| 0 | 977 |1000 | 15k|1000 | 15k| 30 | 0 | 0 |-4.885000e+02 |-9.800000e+01 | 79.94%
4.49/4.55 c 4.1s| 1 | 0 | 1633 | - | 44M| 0 | 973 |1000 | 15k|1000 | 15k| 39 | 0 | 0 |-4.857500e+02 |-9.800000e+01 | 79.83%
5.99/6.02 c 5.6s| 1 | 0 | 2005 | - | 44M| 0 | 968 |1000 | 15k|1000 | 15k| 47 | 0 | 0 |-4.835000e+02 |-9.800000e+01 | 79.73%
7.60/7.68 c 7.2s| 1 | 0 | 2271 | - | 44M| 0 | 962 |1000 | 15k|1000 | 15k| 56 | 0 | 0 |-4.810000e+02 |-9.800000e+01 | 79.63%
10.08/10.17 c 9.7s| 1 | 0 | 2823 | - | 44M| 0 | 961 |1000 | 15k|1000 | 15k| 65 | 0 | 0 |-4.792500e+02 |-9.800000e+01 | 79.55%
11.89/11.90 c 11.4s| 1 | 0 | 3133 | - | 44M| 0 | 957 |1000 | 15k|1000 | 15k| 75 | 0 | 0 |-4.775000e+02 |-9.800000e+01 | 79.48%
14.09/14.17 c 13.7s| 1 | 0 | 3669 | - | 44M| 0 | 951 |1000 | 15k|1000 | 15k| 91 | 0 | 0 |-4.740000e+02 |-9.800000e+01 | 79.32%
17.39/17.47 c 16.9s| 1 | 0 | 4289 | - | 47M| 0 | 948 |1000 | 15k|1000 | 15k| 100 | 0 | 0 |-4.725000e+02 |-9.800000e+01 | 79.26%
19.69/19.76 c 19.2s| 1 | 0 | 5047 | - | 47M| 0 | 943 |1000 | 15k|1000 |1397 | 107 | 0 | 0 |-4.707500e+02 |-9.800000e+01 | 79.18%
20.49/20.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.49/20.51 c 19.9s| 1 | 0 | 5789 | - | 47M| 0 | 923 |1000 | 15k|1000 |1411 | 121 | 0 | 0 |-4.690000e+02 |-9.800000e+01 | 79.10%
21.29/21.35 c 20.8s| 1 | 0 | 6563 | - | 48M| 0 | 912 |1000 | 15k|1000 |1891 | 601 | 0 | 0 |-4.670000e+02 |-9.800000e+01 | 79.01%
22.18/22.27 c 21.7s| 1 | 0 | 7494 | - | 48M| 0 | 942 |1000 | 15k|1000 |2161 | 871 | 0 | 0 |-4.650000e+02 |-9.800000e+01 | 78.92%
22.99/23.10 c 22.5s| 1 | 0 | 8239 | - | 48M| 0 | 915 |1000 | 15k|1000 |2442 |1152 | 0 | 0 |-4.635000e+02 |-9.800000e+01 | 78.86%
24.48/24.56 c 24.0s| 1 | 0 | 9711 | - | 48M| 0 | 967 |1000 | 15k|1000 |2609 |1319 | 0 | 0 |-4.618462e+02 |-9.800000e+01 | 78.78%
27.78/27.87 c 27.3s| 1 | 0 | 10219 | - | 50M| 0 | 930 |1000 | 15k|1000 |4237 |3319 | 0 | 0 |-4.615000e+02 |-9.800000e+01 | 78.76%
28.69/28.71 c 28.1s| 1 | 0 | 10885 | - | 50M| 0 | 922 |1000 | 15k|1000 |4246 |3328 | 0 | 0 |-4.600000e+02 |-9.800000e+01 | 78.70%
30.58/30.61 c 30.0s| 1 | 0 | 12536 | - | 50M| 0 | 918 |1000 | 15k|1000 |4256 |3338 | 0 | 0 |-4.580000e+02 |-9.800000e+01 | 78.60%
31.68/31.70 c 31.1s| 1 | 0 | 13472 | - | 50M| 0 | 915 |1000 | 15k|1000 |4289 |3371 | 0 | 0 |-4.565000e+02 |-9.800000e+01 | 78.53%
33.48/33.55 c 32.9s| 1 | 0 | 14842 | - | 50M| 0 | 910 |1000 | 15k|1000 |4318 |3400 | 0 | 0 |-4.547143e+02 |-9.800000e+01 | 78.45%
34.48/34.54 c 33.9s| 1 | 0 | 15825 | - | 50M| 0 | 921 |1000 | 15k|1000 |4347 |3429 | 0 | 0 |-4.525000e+02 |-9.800000e+01 | 78.34%
36.48/36.52 c 35.8s| 1 | 0 | 17494 | - | 50M| 0 | 903 |1000 | 15k|1000 |3862 |3628 | 0 | 0 |-4.505000e+02 |-9.800000e+01 | 78.25%
38.18/38.23 c 37.5s| 1 | 0 | 18876 | - | 50M| 0 | 898 |1000 | 15k|1000 |3964 |3730 | 0 | 0 |-4.480000e+02 |-9.800000e+01 | 78.12%
39.59/39.65 c 38.9s| 1 | 0 | 20107 | - | 51M| 0 | 894 |1000 | 15k|1000 |4108 |3874 | 0 | 0 |-4.460000e+02 |-9.800000e+01 | 78.03%
40.88/40.90 c 40.2s| 1 | 0 | 21073 | - | 51M| 0 | 888 |1000 | 15k|1000 |4225 |3991 | 0 | 0 |-4.450000e+02 |-9.800000e+01 | 77.98%
42.89/42.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.89/42.95 c 42.2s| 1 | 0 | 23018 | - | 51M| 0 | 886 |1000 | 15k|1000 |4266 |4032 | 0 | 0 |-4.425000e+02 |-9.800000e+01 | 77.85%
45.98/46.05 c 45.3s| 1 | 0 | 25515 | - | 51M| 0 | 870 |1000 | 15k|1000 |4276 |4042 | 0 | 0 |-4.410000e+02 |-9.800000e+01 | 77.78%
47.29/47.38 c 46.6s| 1 | 0 | 26616 | - | 51M| 0 | 875 |1000 | 15k|1000 |2002 |4177 | 0 | 0 |-4.395000e+02 |-9.800000e+01 | 77.70%
48.38/48.41 c 47.6s| 1 | 0 | 27669 | - | 51M| 0 | 884 |1000 | 15k|1000 |2099 |4274 | 0 | 0 |-4.386667e+02 |-9.800000e+01 | 77.66%
49.98/50.04 c 49.2s| 1 | 0 | 29133 | - | 52M| 0 | 860 |1000 | 15k|1000 |2775 |4950 | 0 | 0 |-4.380000e+02 |-9.800000e+01 | 77.63%
52.08/52.14 c 51.3s| 1 | 0 | 31046 | - | 52M| 0 | 877 |1000 | 15k|1000 |2972 |5147 | 0 | 0 |-4.372500e+02 |-9.800000e+01 | 77.59%
53.68/53.79 c 52.9s| 1 | 0 | 32448 | - | 52M| 0 | 871 |1000 | 15k|1000 |3055 |5230 | 0 | 0 |-4.355000e+02 |-9.800000e+01 | 77.50%
54.77/54.84 c 54.0s| 1 | 0 | 33411 | - | 52M| 0 | 869 |1000 | 15k|1000 |3064 |5239 | 0 | 0 |-4.340000e+02 |-9.800000e+01 | 77.42%
56.47/56.57 c 55.7s| 1 | 0 | 35169 | - | 52M| 0 | 866 |1000 | 15k|1000 |2329 |5251 | 0 | 0 |-4.322500e+02 |-9.800000e+01 | 77.33%
57.47/57.54 c 56.6s| 1 | 0 | 36266 | - | 52M| 0 | 859 |1000 | 15k|1000 |2418 |5340 | 0 | 0 |-4.307500e+02 |-9.800000e+01 | 77.25%
58.37/58.40 c 57.5s| 1 | 0 | 37239 | - | 52M| 0 | 865 |1000 | 15k|1000 |2618 |5540 | 0 | 0 |-4.290000e+02 |-9.800000e+01 | 77.16%
59.77/59.87 c 58.9s| 1 | 0 | 38915 | - | 52M| 0 | 853 |1000 | 15k|1000 |2669 |5591 | 0 | 0 |-4.275000e+02 |-9.800000e+01 | 77.08%
61.17/61.28 c 60.3s| 1 | 0 | 40566 | - | 52M| 0 | 926 |1000 | 15k|1000 |2699 |5621 | 0 | 0 |-4.268463e+02 |-9.800000e+01 | 77.04%
63.47/63.55 c 62.6s| 1 | 0 | 41129 | - | 52M| 0 | 853 |1000 | 15k|1000 |4699 |7621 | 0 | 0 |-4.265000e+02 |-9.800000e+01 | 77.02%
65.08/65.14 c 64.2s| 1 | 0 | 42051 | - | 53M| 0 | 847 |1000 | 15k|1000 |3770 |7629 | 0 | 0 |-4.245000e+02 |-9.800000e+01 | 76.91%
66.87/66.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.87/66.93 c 65.9s| 1 | 0 | 43684 | - | 53M| 0 | 850 |1000 | 15k|1000 |3801 |7660 | 0 | 0 |-4.235000e+02 |-9.800000e+01 | 76.86%
68.37/68.49 c 67.5s| 1 | 0 | 45099 | - | 53M| 0 | 835 |1000 | 15k|1000 |3853 |7712 | 0 | 0 |-4.225000e+02 |-9.800000e+01 | 76.80%
71.07/71.16 c 70.1s| 1 | 0 | 47364 | - | 53M| 0 | 860 |1000 | 15k|1000 |3996 |7855 | 0 | 0 |-4.210000e+02 |-9.800000e+01 | 76.72%
73.37/73.48 c 72.4s| 1 | 0 | 49440 | - | 54M| 0 | 865 |1000 | 15k|1000 |4111 |7970 | 0 | 0 |-4.185000e+02 |-9.800000e+01 | 76.58%
74.97/75.08 c 74.0s| 1 | 0 | 50751 | - | 54M| 0 | 860 |1000 | 15k|1000 |4260 |8119 | 0 | 0 |-4.180000e+02 |-9.800000e+01 | 76.56%
78.08/78.14 c 77.0s| 1 | 0 | 53045 | - | 54M| 0 | 825 |1000 | 15k|1000 |3712 |8286 | 0 | 0 |-4.165000e+02 |-9.800000e+01 | 76.47%
79.08/79.12 c 78.0s| 1 | 0 | 54030 | - | 54M| 0 | 864 |1000 | 15k|1000 |3854 |8428 | 0 | 0 |-4.152209e+02 |-9.800000e+01 | 76.40%
79.87/79.97 c 78.8s| 1 | 0 | 54812 | - | 55M| 0 | 845 |1000 | 15k|1000 |4227 |8801 | 0 | 0 |-4.147500e+02 |-9.800000e+01 | 76.37%
81.97/82.05 c 80.9s| 1 | 0 | 56602 | - | 55M| 0 | 833 |1000 | 15k|1000 |4258 |8832 | 0 | 0 |-4.142193e+02 |-9.800000e+01 | 76.34%
83.07/83.17 c 82.0s| 1 | 0 | 57735 | - | 55M| 0 | 848 |1000 | 15k|1000 |4326 |8900 | 0 | 0 |-4.130000e+02 |-9.800000e+01 | 76.27%
84.77/84.84 c 83.7s| 1 | 0 | 59169 | - | 56M| 0 | 845 |1000 | 15k|1000 |4565 |9139 | 0 | 0 |-4.121000e+02 |-9.800000e+01 | 76.22%
86.17/86.26 c 85.1s| 1 | 0 | 60238 | - | 56M| 0 | 839 |1000 | 15k|1000 |4256 |9225 | 0 | 0 |-4.110000e+02 |-9.800000e+01 | 76.16%
87.66/87.72 c 86.5s| 1 | 0 | 61396 | - | 57M| 0 | 823 |1000 | 15k|1000 |4399 |9368 | 0 | 0 |-4.090000e+02 |-9.800000e+01 | 76.04%
89.17/89.22 c 88.0s| 1 | 0 | 62473 | - | 57M| 0 | 852 |1000 | 15k|1000 |4490 |9459 | 0 | 0 |-4.082500e+02 |-9.800000e+01 | 76.00%
91.76/91.84 c 90.6s| 1 | 0 | 64424 | - | 57M| 0 | 818 |1000 | 15k|1000 |4562 |9531 | 0 | 0 |-4.065000e+02 |-9.800000e+01 | 75.89%
94.57/94.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.57/94.66 c 93.4s| 1 | 0 | 66288 | - | 58M| 0 | 826 |1000 | 15k|1000 |4592 |9561 | 0 | 0 |-4.060000e+02 |-9.800000e+01 | 75.86%
97.66/97.74 c 96.4s| 1 | 0 | 68184 | - | 58M| 0 | 830 |1000 | 15k|1000 |4618 |9587 | 0 | 0 |-4.055000e+02 |-9.800000e+01 | 75.83%
101.36/101.40 c 100s| 1 | 0 | 70725 | - | 58M| 0 | 922 |1000 | 15k|1000 |3934 |9631 | 0 | 0 |-4.045190e+02 |-9.800000e+01 | 75.77%
103.87/103.94 c 103s| 1 | 0 | 72121 | - | 58M| 0 | 811 |1000 | 15k|1000 |5349 | 11k| 0 | 0 |-4.045000e+02 |-9.800000e+01 | 75.77%
107.56/107.67 c 106s| 1 | 0 | 74040 | - | 59M| 0 | 810 |1000 | 15k|1000 |5358 | 11k| 0 | 0 |-4.040000e+02 |-9.800000e+01 | 75.74%
111.96/112.02 c 111s| 1 | 0 | 76694 | - | 59M| 0 | 805 |1000 | 15k|1000 |5366 | 11k| 0 | 0 |-4.035000e+02 |-9.800000e+01 | 75.71%
115.15/115.28 c 114s| 1 | 0 | 78634 | - | 60M| 0 | 805 |1000 | 15k|1000 |5392 | 11k| 0 | 0 |-4.023226e+02 |-9.800000e+01 | 75.64%
118.76/118.82 c 117s| 1 | 0 | 81139 | - | 60M| 0 | 820 |1000 | 15k|1000 |5426 | 11k| 0 | 0 |-4.015000e+02 |-9.800000e+01 | 75.59%
121.75/121.83 c 120s| 1 | 0 | 82902 | - | 60M| 0 | 821 |1000 | 15k|1000 |4870 | 11k| 0 | 0 |-4.010000e+02 |-9.800000e+01 | 75.56%
124.85/124.94 c 123s| 1 | 0 | 84945 | - | 60M| 0 | 825 |1000 | 15k|1000 |4908 | 11k| 0 | 0 |-4.002500e+02 |-9.800000e+01 | 75.52%
126.95/127.01 c 125s| 1 | 0 | 86355 | - | 60M| 0 | 820 |1000 | 15k|1000 |4949 | 11k| 0 | 0 |-3.987500e+02 |-9.800000e+01 | 75.42%
129.05/129.19 c 128s| 1 | 0 | 87852 | - | 60M| 0 | 824 |1000 | 15k|1000 |5007 | 11k| 0 | 0 |-3.977500e+02 |-9.800000e+01 | 75.36%
130.65/130.71 c 129s| 1 | 0 | 88799 | - | 60M| 0 | 801 |1000 | 15k|1000 |5042 | 11k| 0 | 0 |-3.975000e+02 |-9.800000e+01 | 75.35%
134.16/134.27 c 133s| 1 | 0 | 90787 | - | 61M| 0 | 811 |1000 | 15k|1000 |5113 | 11k| 0 | 0 |-3.970000e+02 |-9.800000e+01 | 75.31%
138.15/138.22 c 137s| 1 | 0 | 92999 | - | 61M| 0 | 792 |1000 | 15k|1000 |4197 | 11k| 0 | 0 |-3.970000e+02 |-9.800000e+01 | 75.31%
141.04/141.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.04/141.18 c 139s| 1 | 0 | 95383 | - | 61M| 0 | 840 |1000 | 15k|1000 |4301 | 11k| 0 | 0 |-3.963750e+02 |-9.800000e+01 | 75.28%
143.05/143.16 c 141s| 1 | 0 | 97178 | - | 61M| 0 | 832 |1000 | 15k|1000 |4370 | 11k| 0 | 0 |-3.955000e+02 |-9.800000e+01 | 75.22%
144.45/144.54 c 143s| 1 | 0 | 98516 | - | 62M| 0 | 816 |1000 | 15k|1000 |4490 | 11k| 0 | 0 |-3.937500e+02 |-9.800000e+01 | 75.11%
146.05/146.14 c 144s| 1 | 0 |100241 | - | 62M| 0 | 824 |1000 | 15k|1000 |4502 | 11k| 0 | 0 |-3.927500e+02 |-9.800000e+01 | 75.05%
148.14/148.23 c 146s| 1 | 0 |102017 | - | 62M| 0 | 843 |1000 | 15k|1000 |4538 | 11k| 0 | 0 |-3.917500e+02 |-9.800000e+01 | 74.98%
151.05/151.14 c 149s| 1 | 0 |104371 | - | 62M| 0 | 818 |1000 | 15k|1000 |4333 | 11k| 0 | 0 |-3.912500e+02 |-9.800000e+01 | 74.95%
153.34/153.48 c 152s| 1 | 0 |106652 | - | 63M| 0 | 869 |1000 | 15k|1000 |4385 | 11k| 0 | 0 |-3.903375e+02 |-9.800000e+01 | 74.89%
155.35/155.43 c 153s| 1 | 0 |108405 | - | 65M| 0 | 864 |1000 | 15k|1000 |4517 | 12k| 0 | 0 |-3.893148e+02 |-9.800000e+01 | 74.83%
157.04/157.17 c 155s| 1 | 0 |109805 | - | 65M| 0 | 859 |1000 | 15k|1000 |4648 | 12k| 0 | 0 |-3.882045e+02 |-9.800000e+01 | 74.76%
158.54/158.63 c 157s| 1 | 0 |111075 | - | 66M| 0 | 777 |1000 | 15k|1000 |4685 | 12k| 0 | 0 |-3.872500e+02 |-9.800000e+01 | 74.69%
159.65/159.79 c 158s| 1 | 0 |111935 | - | 67M| 0 | 847 |1000 | 15k|1000 |4710 | 12k| 0 | 0 |-3.864583e+02 |-9.800000e+01 | 74.64%
162.04/162.10 c 160s| 1 | 0 |114066 | - | 68M| 0 | 866 |1000 | 15k|1000 |4582 | 12k| 0 | 0 |-3.851349e+02 |-9.800000e+01 | 74.55%
163.64/163.78 c 162s| 1 | 0 |115630 | - | 69M| 0 | 845 |1000 | 15k|1000 |4778 | 12k| 0 | 0 |-3.835417e+02 |-9.800000e+01 | 74.45%
165.35/165.45 c 163s| 1 | 0 |117079 | - | 70M| 0 | 877 |1000 | 15k|1000 |4870 | 12k| 0 | 0 |-3.818161e+02 |-9.800000e+01 | 74.33%
168.15/168.23 c 166s| 1 | 0 |119206 | - | 72M| 0 | 832 |1000 | 15k|1000 |4976 | 12k| 0 | 0 |-3.804688e+02 |-9.800000e+01 | 74.24%
169.84/169.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.84/169.98 c 168s| 1 | 0 |120732 | - | 73M| 0 | 880 |1000 | 15k|1000 |5036 | 12k| 0 | 0 |-3.793200e+02 |-9.800000e+01 | 74.16%
171.34/171.48 c 169s| 1 | 0 |121821 | - | 73M| 0 | 884 |1000 | 15k|1000 |5084 | 12k| 0 | 0 |-3.785699e+02 |-9.800000e+01 | 74.11%
173.34/173.44 c 171s| 1 | 0 |123344 | - | 74M| 0 | 897 |1000 | 15k|1000 |4882 | 12k| 0 | 0 |-3.784199e+02 |-9.800000e+01 | 74.10%
175.64/175.78 c 174s| 1 | 0 |125166 | - | 75M| 0 | 907 |1000 | 15k|1000 |5001 | 12k| 0 | 0 |-3.773730e+02 |-9.800000e+01 | 74.03%
178.14/178.22 c 176s| 1 | 0 |127017 | - | 76M| 0 | 855 |1000 | 15k|1000 |5180 | 13k| 0 | 0 |-3.760000e+02 |-9.800000e+01 | 73.94%
181.44/181.58 c 179s| 1 | 0 |129434 | - | 77M| 0 | 899 |1000 | 15k|1000 |5276 | 13k| 0 | 0 |-3.750540e+02 |-9.800000e+01 | 73.87%
183.34/183.49 c 181s| 1 | 0 |131015 | - | 78M| 0 | 909 |1000 | 15k|1000 |5334 | 13k| 0 | 0 |-3.744792e+02 |-9.800000e+01 | 73.83%
185.63/185.73 c 183s| 1 | 0 |132806 | - | 80M| 0 | 915 |1000 | 15k|1000 |5370 | 13k| 0 | 0 |-3.735238e+02 |-9.800000e+01 | 73.76%
187.95/188.08 c 186s| 1 | 0 |134637 | - | 83M| 0 | 901 |1000 | 15k|1000 |5165 | 13k| 0 | 0 |-3.722014e+02 |-9.800000e+01 | 73.67%
190.34/190.40 c 188s| 1 | 0 |136729 | - | 84M| 0 | 897 |1000 | 15k|1000 |5312 | 13k| 0 | 0 |-3.716955e+02 |-9.800000e+01 | 73.63%
192.53/192.68 c 190s| 1 | 0 |138857 | - | 86M| 0 | 903 |1000 | 15k|1000 |5381 | 13k| 0 | 0 |-3.711197e+02 |-9.800000e+01 | 73.59%
194.64/194.75 c 192s| 1 | 0 |140466 | - | 87M| 0 | 899 |1000 | 15k|1000 |5441 | 13k| 0 | 0 |-3.708790e+02 |-9.800000e+01 | 73.58%
197.14/197.28 c 195s| 1 | 0 |142252 | - | 89M| 0 | 890 |1000 | 15k|1000 |5453 | 13k| 0 | 0 |-3.697866e+02 |-9.800000e+01 | 73.50%
199.14/199.26 c 197s| 1 | 0 |143801 | - | 91M| 0 | 915 |1000 | 15k|1000 |5481 | 13k| 0 | 0 |-3.689343e+02 |-9.800000e+01 | 73.44%
201.93/202.09 c 200s| 1 | 0 |145925 | - | 94M| 0 | 913 |1000 | 15k|1000 |5217 | 13k| 0 | 0 |-3.679019e+02 |-9.800000e+01 | 73.36%
203.93/204.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.93/204.09 c 202s| 1 | 0 |147393 | - | 96M| 0 | 927 |1000 | 15k|1000 |5280 | 13k| 0 | 0 |-3.675500e+02 |-9.800000e+01 | 73.34%
206.53/206.63 c 204s| 1 | 0 |149092 | - | 100M| 0 | 907 |1000 | 15k|1000 |5362 | 13k| 0 | 0 |-3.668892e+02 |-9.800000e+01 | 73.29%
209.43/209.52 c 207s| 1 | 0 |150655 | - | 101M| 0 | 923 |1000 | 15k|1000 |5378 | 14k| 0 | 0 |-3.664600e+02 |-9.800000e+01 | 73.26%
212.93/213.01 c 210s| 1 | 0 |152541 | - | 101M| 0 | 933 |1000 | 15k|1000 |5392 | 14k| 0 | 0 |-3.653787e+02 |-9.800000e+01 | 73.18%
216.03/216.18 c 214s| 1 | 0 |154150 | - | 101M| 0 | 922 |1000 | 15k|1000 |5534 | 14k| 0 | 0 |-3.645658e+02 |-9.800000e+01 | 73.12%
219.03/219.19 c 217s| 1 | 0 |155690 | - | 101M| 0 | 929 |1000 | 15k|1000 |5325 | 14k| 0 | 0 |-3.638642e+02 |-9.800000e+01 | 73.07%
222.23/222.39 c 220s| 1 | 0 |157086 | - | 101M| 0 | 930 |1000 | 15k|1000 |5377 | 14k| 0 | 0 |-3.627778e+02 |-9.800000e+01 | 72.99%
224.93/225.05 c 222s| 1 | 0 |158873 | - | 103M| 0 | 934 |1000 | 15k|1000 |5405 | 14k| 0 | 0 |-3.619923e+02 |-9.800000e+01 | 72.93%
227.72/227.86 c 225s| 1 | 0 |160275 | - | 103M| 0 | 935 |1000 | 15k|1000 |5431 | 14k| 0 | 0 |-3.615786e+02 |-9.800000e+01 | 72.90%
231.73/231.87 c 229s| 1 | 0 |162451 | - | 101M| 0 | 949 |1000 | 15k|1000 |5467 | 14k| 0 | 0 |-3.602802e+02 |-9.800000e+01 | 72.80%
236.21/236.33 c 234s| 1 | 0 |164143 | - | 101M| 0 | 947 |1000 | 15k|1000 |5578 | 14k| 0 | 0 |-3.596193e+02 |-9.800000e+01 | 72.75%
240.11/240.26 c 237s| 1 | 0 |165620 | - | 100M| 0 | 950 |1000 | 15k|1000 |5410 | 14k| 0 | 0 |-3.589154e+02 |-9.800000e+01 | 72.70%
244.61/244.76 c 242s| 1 | 0 |167771 | - | 101M| 0 | 957 |1000 | 15k|1000 |5442 | 14k| 0 | 0 |-3.579400e+02 |-9.800000e+01 | 72.62%
249.31/249.48 c 247s| 1 | 0 |169779 | - | 101M| 0 | 958 |1000 | 15k|1000 |5550 | 14k| 0 | 0 |-3.570674e+02 |-9.800000e+01 | 72.55%
254.21/254.38 c 251s| 1 | 0 |171959 | - | 101M| 0 | 951 |1000 | 15k|1000 |5590 | 14k| 0 | 0 |-3.561322e+02 |-9.800000e+01 | 72.48%
258.91/259.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.91/259.07 c 256s| 1 | 0 |173897 | - | 100M| 0 | 956 |1000 | 15k|1000 |5611 | 14k| 0 | 0 |-3.553225e+02 |-9.800000e+01 | 72.42%
264.20/264.36 c 261s| 1 | 0 |176049 | - | 100M| 0 | 959 |1000 | 15k|1000 |5702 | 14k| 0 | 0 |-3.543762e+02 |-9.800000e+01 | 72.35%
270.42/270.59 c 268s| 1 | 0 |178779 | - | 100M| 0 | 954 |1000 | 15k|1000 |5640 | 14k| 0 | 0 |-3.529102e+02 |-9.800000e+01 | 72.23%
275.21/275.31 c 272s| 1 | 0 |181137 | - | 100M| 0 | 957 |1000 | 15k|1000 |5671 | 14k| 0 | 0 |-3.519428e+02 |-9.800000e+01 | 72.15%
279.50/279.69 c 277s| 1 | 0 |182509 | - | 100M| 0 | 971 |1000 | 15k|1000 |5777 | 14k| 0 | 0 |-3.514526e+02 |-9.800000e+01 | 72.12%
284.10/284.26 c 281s| 1 | 0 |183713 | - | 100M| 0 | 953 |1000 | 15k|1000 |5843 | 15k| 0 | 0 |-3.511210e+02 |-9.800000e+01 | 72.09%
288.80/288.99 c 286s| 1 | 0 |185242 | - | 100M| 0 | 966 |1000 | 15k|1000 |5865 | 15k| 0 | 0 |-3.507980e+02 |-9.800000e+01 | 72.06%
294.19/294.35 c 291s| 1 | 0 |186886 | - | 100M| 0 | 966 |1000 | 15k|1000 |5919 | 15k| 0 | 0 |-3.503339e+02 |-9.800000e+01 | 72.03%
299.90/300.08 c 297s| 1 | 0 |188815 | - | 100M| 0 | 982 |1000 | 15k|1000 |5801 | 15k| 0 | 0 |-3.498462e+02 |-9.800000e+01 | 71.99%
306.00/306.14 c 303s| 1 | 0 |191038 | - | 100M| 0 | 957 |1000 | 15k|1000 |5939 | 15k| 0 | 0 |-3.488785e+02 |-9.800000e+01 | 71.91%
311.50/311.68 c 308s| 1 | 0 |192889 | - | 100M| 0 | 965 |1000 | 15k|1000 |6016 | 15k| 0 | 0 |-3.482201e+02 |-9.800000e+01 | 71.86%
316.89/317.00 c 314s| 1 | 0 |194344 | - | 100M| 0 | 973 |1000 | 15k|1000 |6072 | 15k| 0 | 0 |-3.477915e+02 |-9.800000e+01 | 71.82%
322.79/322.93 c 320s| 1 | 0 |196403 | - | 100M| 0 | 983 |1000 | 15k|1000 |6108 | 15k| 0 | 0 |-3.471315e+02 |-9.800000e+01 | 71.77%
328.49/328.61 c 325s| 1 | 0 |197898 | - | 99M| 0 | 976 |1000 | 15k|1000 |6125 | 15k| 0 | 0 |-3.468087e+02 |-9.800000e+01 | 71.74%
334.89/335.02 c 332s| 1 | 0 |199815 | - | 99M| 0 | 971 |1000 | 15k|1000 |6012 | 15k| 0 | 0 |-3.463442e+02 |-9.800000e+01 | 71.70%
341.68/341.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.68/341.82 c 338s| 1 | 0 |202131 | - | 99M| 0 | 969 |1000 | 15k|1000 |6057 | 15k| 0 | 0 |-3.456735e+02 |-9.800000e+01 | 71.65%
347.88/348.04 c 345s| 1 | 0 |203794 | - | 99M| 0 | 978 |1000 | 15k|1000 |6085 | 15k| 0 | 0 |-3.452282e+02 |-9.800000e+01 | 71.61%
354.78/354.98 c 351s| 1 | 0 |205831 | - | 99M| 0 | 979 |1000 | 15k|1000 |6144 | 15k| 0 | 0 |-3.445961e+02 |-9.800000e+01 | 71.56%
362.88/363.07 c 359s| 1 | 0 |208497 | - | 99M| 0 | 987 |1000 | 15k|1000 |6256 | 15k| 0 | 0 |-3.436509e+02 |-9.800000e+01 | 71.48%
370.17/370.38 c 367s| 1 | 0 |210520 | - | 98M| 0 | 985 |1000 | 15k|1000 |6319 | 15k| 0 | 0 |-3.431647e+02 |-9.800000e+01 | 71.44%
378.18/378.38 c 375s| 1 | 0 |212986 | - | 98M| 0 | 990 |1000 | 15k|1000 |6222 | 15k| 0 | 0 |-3.418738e+02 |-9.800000e+01 | 71.33%
386.18/386.37 c 383s| 1 | 0 |215161 | - | 98M| 0 | 987 |1000 | 15k|1000 |6262 | 15k| 0 | 0 |-3.412610e+02 |-9.800000e+01 | 71.28%
393.07/393.23 c 389s| 1 | 0 |216571 | - | 98M| 0 | 986 |1000 | 15k|1000 |6286 | 15k| 0 | 0 |-3.409116e+02 |-9.800000e+01 | 71.25%
400.77/400.95 c 397s| 1 | 0 |218422 | - | 98M| 0 | 989 |1000 | 15k|1000 |6313 | 15k| 0 | 0 |-3.403560e+02 |-9.800000e+01 | 71.21%
409.07/409.25 c 405s| 1 | 0 |220662 | - | 98M| 0 | 990 |1000 | 15k|1000 |6372 | 15k| 0 | 0 |-3.396500e+02 |-9.800000e+01 | 71.15%
416.27/416.46 c 413s| 1 | 0 |222010 | - | 98M| 0 | 993 |1000 | 15k|1000 |6395 | 16k| 0 | 0 |-3.392687e+02 |-9.800000e+01 | 71.11%
423.96/424.11 c 420s| 1 | 0 |223589 | - | 97M| 0 | 990 |1000 | 15k|1000 |6325 | 16k| 0 | 0 |-3.388804e+02 |-9.800000e+01 | 71.08%
431.56/431.71 c 428s| 1 | 0 |225014 | - | 97M| 0 | 990 |1000 | 15k|1000 |6354 | 16k| 0 | 0 |-3.383167e+02 |-9.800000e+01 | 71.03%
439.16/439.30 c 435s| 1 | 0 |226234 | - | 97M| 0 | 992 |1000 | 15k|1000 |6391 | 16k| 0 | 0 |-3.380090e+02 |-9.800000e+01 | 71.01%
446.96/447.18 c 443s| 1 | 0 |227590 | - | 97M| 0 | 991 |1000 | 15k|1000 |6428 | 16k| 0 | 0 |-3.375659e+02 |-9.800000e+01 | 70.97%
456.15/456.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.15/456.33 c 452s| 1 | 0 |229775 | - | 97M| 0 | 989 |1000 | 15k|1000 |6465 | 16k| 0 | 0 |-3.367988e+02 |-9.800000e+01 | 70.90%
464.45/464.63 c 460s| 1 | 0 |231506 | - | 97M| 0 | 992 |1000 | 15k|1000 |6527 | 16k| 0 | 0 |-3.363333e+02 |-9.800000e+01 | 70.86%
472.75/472.96 c 469s| 1 | 0 |233274 | - | 96M| 0 | 992 |1000 | 15k|1000 |6476 | 16k| 0 | 0 |-3.357542e+02 |-9.800000e+01 | 70.81%
481.35/481.55 c 477s| 1 | 0 |235275 | - | 96M| 0 | 984 |1000 | 15k|1000 |6507 | 16k| 0 | 0 |-3.351002e+02 |-9.800000e+01 | 70.76%
489.14/489.30 c 485s| 1 | 0 |236674 | - | 96M| 0 | 992 |1000 | 15k|1000 |6537 | 16k| 0 | 0 |-3.345907e+02 |-9.800000e+01 | 70.71%
497.75/498.00 c 494s| 1 | 0 |238433 | - | 95M| 0 | 993 |1000 | 15k|1000 |6577 | 16k| 0 | 0 |-3.339544e+02 |-9.800000e+01 | 70.65%
506.74/506.91 c 502s| 1 | 0 |240144 | - | 95M| 0 | 991 |1000 | 15k|1000 |6603 | 16k| 0 | 0 |-3.332006e+02 |-9.800000e+01 | 70.59%
515.65/515.81 c 511s| 1 | 0 |241812 | - | 95M| 0 | 990 |1000 | 15k|1000 |6631 | 16k| 0 | 0 |-3.325840e+02 |-9.800000e+01 | 70.53%
524.04/524.23 c 520s| 1 | 0 |243344 | - | 94M| 0 | 992 |1000 | 15k|1000 |6584 | 16k| 0 | 0 |-3.322042e+02 |-9.800000e+01 | 70.50%
532.34/532.50 c 528s| 1 | 0 |244653 | - | 94M| 0 | 994 |1000 | 15k|1000 |6607 | 16k| 0 | 0 |-3.317189e+02 |-9.800000e+01 | 70.46%
540.53/540.72 c 536s| 1 | 0 |245993 | - | 94M| 0 | 992 |1000 | 15k|1000 |6629 | 16k| 0 | 0 |-3.310795e+02 |-9.800000e+01 | 70.40%
549.23/549.41 c 545s| 1 | 0 |247559 | - | 93M| 0 | 995 |1000 | 15k|1000 |6654 | 16k| 0 | 0 |-3.304933e+02 |-9.800000e+01 | 70.35%
556.82/557.09 c 552s| 1 | 0 |248586 | - | 93M| 0 | 995 |1000 | 15k|1000 |6681 | 16k| 0 | 0 |-3.301740e+02 |-9.800000e+01 | 70.32%
565.63/565.80 c 561s| 1 | 0 |250091 | - | 93M| 0 | 993 |1000 | 15k|1000 |6707 | 16k| 0 | 0 |-3.294023e+02 |-9.800000e+01 | 70.25%
573.83/574.01 c 569s| 1 | 0 |251476 | - | 93M| 0 | 990 |1000 | 15k|1000 |6639 | 16k| 0 | 0 |-3.287817e+02 |-9.800000e+01 | 70.19%
582.32/582.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.32/582.54 c 578s| 1 | 0 |253191 | - | 93M| 0 | 991 |1000 | 15k|1000 |6679 | 16k| 0 | 0 |-3.282279e+02 |-9.800000e+01 | 70.14%
589.92/590.17 c 585s| 1 | 0 |254173 | - | 93M| 0 | 992 |1000 | 15k|1000 |6694 | 16k| 0 | 0 |-3.279451e+02 |-9.800000e+01 | 70.12%
597.71/597.91 c 593s| 1 | 0 |255299 | - | 92M| 0 | 993 |1000 | 15k|1000 |6712 | 16k| 0 | 0 |-3.276483e+02 |-9.800000e+01 | 70.09%
605.61/605.85 c 601s| 1 | 0 |256564 | - | 92M| 0 | 993 |1000 | 15k|1000 |6735 | 16k| 0 | 0 |-3.272488e+02 |-9.800000e+01 | 70.05%
613.01/613.28 c 608s| 1 | 0 |257508 | - | 91M| 0 | 994 |1000 | 15k|1000 |6754 | 16k| 0 | 0 |-3.270037e+02 |-9.800000e+01 | 70.03%
620.31/620.55 c 616s| 1 | 0 |258227 | - | 91M| 0 | 993 |1000 | 15k|1000 |6688 | 16k| 0 | 0 |-3.268210e+02 |-9.800000e+01 | 70.01%
627.70/627.97 c 623s| 1 | 0 |259035 | - | 91M| 0 | 995 |1000 | 15k|1000 |6707 | 16k| 0 | 0 |-3.265790e+02 |-9.800000e+01 | 69.99%
635.51/635.76 c 631s| 1 | 0 |260066 | - | 91M| 0 | 995 |1000 | 15k|1000 |6733 | 16k| 0 | 0 |-3.262653e+02 |-9.800000e+01 | 69.96%
643.00/643.23 c 638s| 1 | 0 |261044 | - | 91M| 0 | 996 |1000 | 15k|1000 |6745 | 16k| 0 | 0 |-3.260718e+02 |-9.800000e+01 | 69.95%
650.40/650.64 c 646s| 1 | 0 |261948 | - | 91M| 0 | 995 |1000 | 15k|1000 |6764 | 16k| 0 | 0 |-3.257607e+02 |-9.800000e+01 | 69.92%
658.20/658.46 c 653s| 1 | 0 |263000 | - | 90M| 0 | 996 |1000 | 15k|1000 |6785 | 16k| 0 | 0 |-3.254016e+02 |-9.800000e+01 | 69.88%
665.60/665.84 c 661s| 1 | 0 |263752 | - | 90M| 0 | 996 |1000 | 15k|1000 |6721 | 16k| 0 | 0 |-3.251578e+02 |-9.800000e+01 | 69.86%
672.69/672.97 c 668s| 1 | 0 |264501 | - | 90M| 0 | 990 |1000 | 15k|1000 |6734 | 16k| 0 | 0 |-3.249372e+02 |-9.800000e+01 | 69.84%
679.50/679.79 c 675s| 1 | 0 |264919 | - | 90M| 0 | 994 |1000 | 15k|1000 |6747 | 16k| 0 | 0 |-3.248674e+02 |-9.800000e+01 | 69.83%
686.69/686.99 c 682s| 1 | 0 |265654 | - | 90M| 0 | 992 |1000 | 15k|1000 |6761 | 16k| 0 | 0 |-3.247118e+02 |-9.800000e+01 | 69.82%
693.99/694.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.99/694.27 c 689s| 1 | 0 |266297 | - | 90M| 0 | 995 |1000 | 15k|1000 |6780 | 16k| 0 | 0 |-3.245502e+02 |-9.800000e+01 | 69.80%
701.49/701.79 c 697s| 1 | 0 |267015 | - | 89M| 0 | 997 |1000 | 15k|1000 |6797 | 16k| 0 | 0 |-3.243890e+02 |-9.800000e+01 | 69.79%
708.58/708.81 c 704s| 1 | 0 |267470 | - | 89M| 0 | 997 |1000 | 15k|1000 |6758 | 16k| 0 | 0 |-3.242907e+02 |-9.800000e+01 | 69.78%
715.58/715.82 c 710s| 1 | 0 |268054 | - | 88M| 0 | 998 |1000 | 15k|1000 |6769 | 16k| 0 | 0 |-3.241323e+02 |-9.800000e+01 | 69.77%
722.28/722.55 c 717s| 1 | 0 |268469 | - | 87M| 0 | 997 |1000 | 15k|1000 |6782 | 16k| 0 | 0 |-3.240517e+02 |-9.800000e+01 | 69.76%
728.98/729.24 c 724s| 1 | 0 |268819 | - | 87M| 0 | 997 |1000 | 15k|1000 |6797 | 16k| 0 | 0 |-3.239590e+02 |-9.800000e+01 | 69.75%
736.48/736.79 c 731s| 1 | 0 |269676 | - | 86M| 0 | 995 |1000 | 15k|1000 |6810 | 16k| 0 | 0 |-3.236776e+02 |-9.800000e+01 | 69.72%
743.58/743.85 c 738s| 1 | 0 |270142 | - | 84M| 0 | 996 |1000 | 15k|1000 |6817 | 16k| 0 | 0 |-3.235307e+02 |-9.800000e+01 | 69.71%
750.27/750.59 c 745s| 1 | 0 |270566 | - | 84M| 0 | 995 |1000 | 15k|1000 |6777 | 17k| 0 | 0 |-3.234614e+02 |-9.800000e+01 | 69.70%
757.17/757.45 c 752s| 1 | 0 |271025 | - | 83M| 0 | 996 |1000 | 15k|1000 |6788 | 17k| 0 | 0 |-3.233613e+02 |-9.800000e+01 | 69.69%
764.27/764.52 c 759s| 1 | 0 |271517 | - | 82M| 0 | 995 |1000 | 15k|1000 |6803 | 17k| 0 | 0 |-3.232560e+02 |-9.800000e+01 | 69.68%
771.36/771.64 c 766s| 1 | 0 |272139 | - | 80M| 0 | 997 |1000 | 15k|1000 |6819 | 17k| 0 | 0 |-3.231471e+02 |-9.800000e+01 | 69.67%
777.86/778.13 c 773s| 1 | 0 |272572 | - | 79M| 0 | 996 |1000 | 15k|1000 |6834 | 17k| 0 | 0 |-3.230920e+02 |-9.800000e+01 | 69.67%
784.46/784.74 c 779s| 1 | 0 |273024 | - | 78M| 0 | 998 |1000 | 15k|1000 |6844 | 17k| 0 | 0 |-3.230511e+02 |-9.800000e+01 | 69.66%
791.46/791.70 c 786s| 1 | 0 |273834 | - | 78M| 0 | 996 |1000 | 15k|1000 |6810 | 17k| 0 | 0 |-3.229238e+02 |-9.800000e+01 | 69.65%
797.95/798.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
797.95/798.27 c 793s| 1 | 0 |274330 | - | 77M| 0 | 997 |1000 | 15k|1000 |6824 | 17k| 0 | 0 |-3.228480e+02 |-9.800000e+01 | 69.65%
804.55/804.86 c 799s| 1 | 0 |274863 | - | 76M| 0 | 996 |1000 | 15k|1000 |6834 | 17k| 0 | 0 |-3.227684e+02 |-9.800000e+01 | 69.64%
811.24/811.59 c 806s| 1 | 0 |275451 | - | 75M| 0 | 996 |1000 | 15k|1000 |6844 | 17k| 0 | 0 |-3.227028e+02 |-9.800000e+01 | 69.63%
817.44/817.78 c 812s| 1 | 0 |275699 | - | 74M| 0 | 966 |1000 | 15k|1000 |6855 | 17k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
822.84/823.18 c 817s| 1 | 0 |275702 | - | 72M| 0 | 966 |1000 | 15k|1000 |6859 | 17k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
828.34/828.60 c 823s| 1 | 0 |275703 | - | 69M| 0 | 966 |1000 | 15k|1000 |6824 | 17k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
833.74/834.06 c 828s| 1 | 0 |275704 | - | 68M| 0 | 967 |1000 | 15k|1000 |6830 | 17k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
885.32/885.70 c 879s| 1 | 2 |275704 | - | 66M| 0 | 967 |1000 | 15k|1000 |6830 | 17k| 0 | 37 |-3.226667e+02 |-9.800000e+01 | 69.63%
889.03/889.31 c 883s| 10000 | 65 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 80 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
892.32/892.68 c 886s| 20000 | 64 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 105 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
895.52/895.88 c 889s| 30000 | 63 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 146 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
898.92/899.25 c 892s| 40000 | 67 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 183 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
902.22/902.50 c 896s| 50000 | 66 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 208 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
905.72/906.01 c 899s| 60000 | 65 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 234 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
909.22/909.52 c 902s| 70000 | 69 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 267 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
912.62/912.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.62/912.91 c 906s| 80000 | 67 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 308 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
915.72/916.08 c 909s| 90000 | 67 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 330 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
919.22/919.56 c 912s|100000 | 64 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 368 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
922.72/923.02 c 915s|110000 | 65 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 399 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
926.22/926.54 c 919s|120000 | 68 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 421 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
929.81/930.10 c 922s|130000 | 64 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 455 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
933.32/933.62 c 926s|140000 | 65 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 486 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
936.51/936.82 c 929s|150000 | 65 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 527 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
939.71/940.02 c 932s|160000 | 66 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 583 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
943.11/943.43 c 935s|170000 | 67 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 622 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
946.41/946.75 c 938s|180000 | 64 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 656 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
949.61/949.94 c 941s|190000 | 63 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 696 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
953.11/953.50 c 945s|200000 | 63 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 729 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
956.51/956.87 c 948s|210000 | 63 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 758 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
959.91/960.25 c 951s|220000 | 63 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 806 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
963.31/963.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.31/963.62 c 954s|230000 | 65 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 832 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
966.90/967.23 c 958s|240000 | 64 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 842 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
970.10/970.45 c 961s|250000 | 63 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 849 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
973.30/973.60 c 964s|260000 | 59 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 853 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
976.41/976.72 c 967s|270000 | 63 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 865 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
979.60/979.98 c 970s|280000 | 63 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 881 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
982.70/983.05 c 973s|290000 | 62 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 891 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
986.00/986.36 c 976s|300000 | 61 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 895 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
989.30/989.64 c 979s|310000 | 63 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 904 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
992.80/993.12 c 983s|320000 | 61 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 917 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
996.09/996.43 c 986s|330000 | 62 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 928 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
999.40/999.78 c 989s|340000 | 65 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 938 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1002.80/1003.12 c 992s|350000 | 64 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 952 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1006.39/1006.70 c 996s|360000 | 64 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 969 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1009.69/1010.06 c 999s|370000 | 68 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 985 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1012.80/1013.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.80/1013.11 c 1002s|380000 | 65 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k|1000 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1015.69/1016.06 c 1005s|390000 | 61 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k|1008 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1018.99/1019.35 c 1008s|400000 | 64 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k|1026 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1021.99/1022.39 c 1011s|410000 | 59 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k|1034 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1025.29/1025.67 c 1014s|420000 | 66 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k|1044 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1028.79/1029.14 c 1017s|430000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1060 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1032.18/1032.59 c 1020s|440000 | 62 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1069 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1035.68/1036.05 c 1024s|450000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1073 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1039.19/1039.52 c 1027s|460000 | 65 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1081 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1042.58/1042.97 c 1030s|470000 | 63 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1097 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1045.79/1046.16 c 1033s|480000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1111 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1048.98/1049.39 c 1037s|490000 | 63 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1118 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1052.29/1052.64 c 1040s|500000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1133 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1055.68/1056.08 c 1043s|510000 | 63 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1152 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1058.99/1059.35 c 1046s|520000 | 61 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1159 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1062.58/1062.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.58/1062.97 c 1050s|530000 | 65 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1164 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1065.88/1066.30 c 1053s|540000 | 66 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1171 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1069.08/1069.47 c 1056s|550000 | 62 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1192 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1072.38/1072.78 c 1059s|560000 | 63 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1202 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1075.57/1075.94 c 1062s|570000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1227 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1078.68/1079.10 c 1065s|580000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1243 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1081.87/1082.23 c 1068s|590000 | 60 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1256 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1084.77/1085.18 c 1071s|600000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1265 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1087.77/1088.18 c 1074s|610000 | 62 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1280 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1090.97/1091.39 c 1077s|620000 | 63 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1294 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1094.67/1095.07 c 1080s|630000 | 65 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1314 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1098.27/1098.64 c 1084s|640000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1325 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1101.77/1102.15 c 1087s|650000 | 59 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1338 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1104.97/1105.33 c 1090s|660000 | 61 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1348 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1107.96/1108.37 c 1093s|670000 | 62 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1367 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1111.06/1111.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.06/1111.50 c 1096s|680000 | 59 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1382 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1114.16/1114.58 c 1099s|690000 | 66 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1400 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1117.36/1117.70 c 1102s|700000 | 64 |275704 | 0.0 | 66M| 92 | - |1000 | 15k| 0 | 0 | 17k|1407 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1120.57/1120.92 c 1105s|710000 | 65 |275704 | 0.0 | 66M| 92 | - |1000 | 15k| 0 | 0 | 17k|1419 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1123.86/1124.22 c 1108s|720000 | 62 |275704 | 0.0 | 66M| 92 | - |1000 | 15k| 0 | 0 | 17k|1440 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1127.06/1127.46 c 1111s|730000 | 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1454 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1130.15/1130.51 c 1114s|740000 | 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1468 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1133.35/1133.72 c 1117s|750000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1486 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1136.36/1136.79 c 1120s|760000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1499 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1139.66/1140.05 c 1123s|770000 | 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1502 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1142.96/1143.32 c 1127s|780000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1509 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1146.15/1146.59 c 1130s|790000 | 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1518 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1149.56/1149.95 c 1133s|800000 | 69 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1526 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1152.86/1153.24 c 1136s|810000 | 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1540 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1155.85/1156.24 c 1139s|820000 | 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1550 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1159.15/1159.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.15/1159.52 c 1142s|830000 | 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1558 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1162.75/1163.15 c 1146s|840000 | 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1559 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1166.15/1166.54 c 1149s|850000 | 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1572 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1169.85/1170.23 c 1152s|860000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1588 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1173.45/1173.84 c 1156s|870000 | 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1601 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1176.94/1177.34 c 1159s|880000 | 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1613 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1180.44/1180.84 c 1163s|890000 | 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1635 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1184.35/1184.76 c 1166s|900000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1657 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1187.94/1188.31 c 1170s|910000 | 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1684 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1191.74/1192.15 c 1173s|920000 | 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1704 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1195.25/1195.70 c 1177s|930000 | 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1723 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1198.74/1199.12 c 1180s|940000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1736 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1202.14/1202.59 c 1184s|950000 | 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1756 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1205.84/1206.21 c 1187s|960000 | 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1766 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1209.34/1209.76 c 1190s|970000 | 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1775 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1212.94/1213.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.94/1213.33 c 1194s|980000 | 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1791 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1216.34/1216.74 c 1197s|990000 | 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1805 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1220.23/1220.67 c 1201s| 1000k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1817 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1223.84/1224.20 c 1204s| 1010k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1828 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1227.63/1228.04 c 1208s| 1020k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1836 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1231.64/1232.04 c 1212s| 1030k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1850 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1235.33/1235.70 c 1215s| 1040k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1867 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1238.83/1239.27 c 1219s| 1050k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1884 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1242.32/1242.79 c 1222s| 1060k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1899 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1246.12/1246.55 c 1226s| 1070k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1906 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1249.93/1250.31 c 1230s| 1080k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1914 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1253.72/1254.19 c 1233s| 1090k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1929 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1257.33/1257.76 c 1237s| 1100k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1943 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1261.12/1261.52 c 1240s| 1110k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1952 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1264.22/1264.61 c 1243s| 1120k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1965 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1267.22/1267.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.22/1267.65 c 1246s| 1130k| 69 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1973 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1270.42/1270.82 c 1249s| 1140k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1981 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1273.72/1274.11 c 1252s| 1150k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1991 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1276.82/1277.20 c 1255s| 1160k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2003 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1280.02/1280.45 c 1258s| 1170k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2011 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1283.52/1283.96 c 1262s| 1180k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2024 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1287.01/1287.42 c 1265s| 1190k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2031 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1290.22/1290.67 c 1268s| 1200k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2036 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1293.42/1293.85 c 1271s| 1210k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2037 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1296.61/1297.03 c 1274s| 1220k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2040 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1299.82/1300.24 c 1277s| 1230k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2057 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1302.81/1303.20 c 1280s| 1240k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2064 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1305.81/1306.27 c 1283s| 1250k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2069 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1308.81/1309.29 c 1286s| 1260k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2079 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1311.82/1312.24 c 1289s| 1270k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2096 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1314.81/1315.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.81/1315.26 c 1292s| 1280k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2112 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1317.90/1318.39 c 1295s| 1290k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2134 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1321.21/1321.62 c 1298s| 1300k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2151 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1324.21/1324.66 c 1301s| 1310k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2162 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1327.71/1328.13 c 1304s| 1320k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2176 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1331.00/1331.44 c 1307s| 1330k| 69 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2187 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1334.51/1334.93 c 1311s| 1340k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2194 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1337.80/1338.26 c 1314s| 1350k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2203 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1341.10/1341.56 c 1317s| 1360k| 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2208 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1344.40/1344.81 c 1320s| 1370k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2217 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1347.40/1347.89 c 1323s| 1380k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2223 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1350.80/1351.28 c 1326s| 1390k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2236 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1354.09/1354.54 c 1329s| 1400k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2243 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1357.60/1358.07 c 1333s| 1410k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2249 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1360.69/1361.15 c 1336s| 1420k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2259 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1363.79/1364.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1363.79/1364.24 c 1339s| 1430k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2263 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1366.99/1367.48 c 1342s| 1440k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2276 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1370.29/1370.75 c 1345s| 1450k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2281 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1373.58/1374.02 c 1348s| 1460k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2292 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1377.09/1377.58 c 1351s| 1470k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2303 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1380.28/1380.79 c 1354s| 1480k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2313 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1383.58/1384.09 c 1358s| 1490k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2323 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1387.18/1387.69 c 1361s| 1500k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2334 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1390.88/1391.37 c 1365s| 1510k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2341 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1394.48/1394.90 c 1368s| 1520k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2347 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1397.98/1398.40 c 1371s| 1530k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2354 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1401.07/1401.54 c 1374s| 1540k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2366 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1404.58/1405.02 c 1378s| 1550k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2384 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1408.17/1408.64 c 1381s| 1560k| 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2395 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1411.48/1412.00 c 1384s| 1570k| 58 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2396 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1414.97/1415.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.97/1415.49 c 1388s| 1580k| 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2403 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1418.17/1418.69 c 1391s| 1590k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2413 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1421.27/1421.77 c 1394s| 1600k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2423 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1424.77/1425.28 c 1397s| 1610k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2437 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1428.17/1428.61 c 1400s| 1620k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2453 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1431.47/1431.91 c 1404s| 1630k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2466 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1434.57/1435.05 c 1407s| 1640k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2475 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1437.67/1438.10 c 1409s| 1650k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2488 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1440.97/1441.48 c 1413s| 1660k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2492 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1444.16/1444.69 c 1416s| 1670k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2498 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1447.67/1448.11 c 1419s| 1680k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2503 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1450.97/1451.48 c 1422s| 1690k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2508 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1454.97/1455.43 c 1426s| 1700k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2526 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1458.17/1458.65 c 1429s| 1710k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2529 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1461.36/1461.85 c 1432s| 1720k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2536 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1464.46/1464.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1464.46/1464.98 c 1435s| 1730k| 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2538 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1467.56/1468.03 c 1438s| 1740k| 58 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2545 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1470.76/1471.20 c 1441s| 1750k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2562 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1474.05/1474.50 c 1444s| 1760k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2579 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1477.25/1477.80 c 1447s| 1770k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2603 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1480.76/1481.27 c 1451s| 1780k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2622 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1483.95/1484.49 c 1454s| 1790k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2643 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1486.95/1487.41 c 1457s| 1800k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2658 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1490.05/1490.52 c 1460s| 1810k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2679 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1493.26/1493.79 c 1463s| 1820k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2705 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1496.85/1497.31 c 1466s| 1830k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2730 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1499.85/1500.40 c 1469s| 1840k| 70 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2747 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1503.25/1503.74 c 1472s| 1850k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2759 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1506.74/1507.23 c 1476s| 1860k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2782 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1510.14/1510.68 c 1479s| 1870k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2798 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1514.04/1514.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.04/1514.57 c 1483s| 1880k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2811 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1517.45/1517.95 c 1486s| 1890k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2823 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1520.85/1521.34 c 1489s| 1900k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2834 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1524.15/1524.68 c 1492s| 1910k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2856 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1527.84/1528.34 c 1496s| 1920k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2867 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1531.04/1531.55 c 1499s| 1930k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2879 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1534.64/1535.11 c 1502s| 1940k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2893 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1538.24/1538.70 c 1506s| 1950k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2909 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1541.34/1541.82 c 1509s| 1960k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2922 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1544.83/1545.38 c 1512s| 1970k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2935 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1548.03/1548.57 c 1515s| 1980k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2951 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1551.53/1552.01 c 1519s| 1990k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2967 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1554.72/1555.29 c 1522s| 2000k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3001 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1558.14/1558.66 c 1525s| 2010k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3023 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1561.62/1562.12 c 1528s| 2020k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3032 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1565.13/1565.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.13/1565.70 c 1532s| 2030k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3043 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1569.24/1569.74 c 1536s| 2040k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3051 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1573.13/1573.60 c 1539s| 2050k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3076 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1576.32/1576.88 c 1542s| 2060k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3086 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1579.53/1580.09 c 1546s| 2070k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3096 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1582.82/1583.38 c 1549s| 2080k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3106 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1586.42/1586.99 c 1552s| 2090k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3121 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1589.82/1590.39 c 1555s| 2100k| 70 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3137 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1592.92/1593.48 c 1558s| 2110k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3151 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1596.31/1596.82 c 1562s| 2120k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3169 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1599.82/1600.38 c 1565s| 2130k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3179 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1603.11/1603.61 c 1568s| 2140k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3188 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1606.41/1606.94 c 1571s| 2150k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3209 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1609.92/1610.43 c 1575s| 2160k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3216 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1613.32/1613.88 c 1578s| 2170k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3230 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1616.81/1617.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.81/1617.34 c 1581s| 2180k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3237 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1620.21/1620.79 c 1585s| 2190k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3248 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1623.61/1624.13 c 1588s| 2200k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3259 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1627.01/1627.58 c 1591s| 2210k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3264 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1630.51/1631.02 c 1594s| 2220k| 70 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3283 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1634.02/1634.54 c 1598s| 2230k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3294 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1637.60/1638.17 c 1601s| 2240k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3309 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1640.91/1641.48 c 1604s| 2250k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3331 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1644.50/1645.02 c 1608s| 2260k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3349 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1647.90/1648.48 c 1611s| 2270k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3364 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1651.31/1651.84 c 1614s| 2280k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3381 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1654.70/1655.23 c 1618s| 2290k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3419 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1657.90/1658.48 c 1621s| 2300k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3440 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1661.80/1662.31 c 1624s| 2310k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3458 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1665.20/1665.79 c 1628s| 2320k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3475 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1668.70/1669.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.70/1669.29 c 1631s| 2330k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3500 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1672.40/1672.96 c 1635s| 2340k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3522 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1675.99/1676.57 c 1638s| 2350k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3547 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1679.99/1680.58 c 1642s| 2360k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3554 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1684.20/1684.76 c 1646s| 2370k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3565 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1688.19/1688.72 c 1650s| 2380k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3585 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1691.79/1692.32 c 1653s| 2390k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3604 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1695.49/1696.04 c 1657s| 2400k| 69 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3618 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1699.00/1699.57 c 1660s| 2410k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3626 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1702.69/1703.22 c 1664s| 2420k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3640 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1706.19/1706.73 c 1667s| 2430k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3654 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1709.68/1710.23 c 1671s| 2440k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3666 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1713.20/1713.75 c 1674s| 2450k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3678 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1716.68/1717.24 c 1677s| 2460k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3691 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1720.18/1720.70 c 1681s| 2470k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3704 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1723.88/1724.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.88/1724.47 c 1684s| 2480k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3722 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1727.49/1728.10 c 1688s| 2490k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3736 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1731.28/1731.81 c 1691s| 2500k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3752 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1734.98/1735.54 c 1695s| 2510k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3771 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1738.37/1738.95 c 1698s| 2520k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3782 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1741.79/1742.33 c 1701s| 2530k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3798 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1745.47/1746.06 c 1705s| 2540k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3804 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1749.08/1749.65 c 1708s| 2550k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3816 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1752.68/1753.26 c 1712s| 2560k| 70 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3826 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1756.47/1757.00 c 1716s| 2570k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3836 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1760.17/1760.71 c 1719s| 2580k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3851 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1763.97/1764.59 c 1723s| 2590k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3866 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1767.87/1768.41 c 1727s| 2600k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3880 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1771.17/1771.76 c 1730s| 2610k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3890 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1774.77/1775.40 c 1733s| 2620k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3898 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1778.08/1778.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.08/1778.64 c 1736s| 2630k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3907 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1781.27/1781.86 c 1739s| 2640k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3915 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1784.67/1785.20 c 1743s| 2650k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3920 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1788.07/1788.68 c 1746s| 2660k| 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3928 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1791.56/1792.18 c 1749s| 2670k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3969 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1795.06/1795.70 c 1753s| 2680k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3987 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1798.46/1799.09 c 1756s| 2690k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3995 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1757.49
1800.07/1800.61 c Solving Nodes : 2694448
1800.07/1800.61 c Primal Bound : -9.80000000000000e+01 (43 solutions)
1800.07/1800.61 c Dual Bound : -3.22469358192913e+02
1800.07/1800.61 c Gap : 69.61 %
1800.07/1800.65 s SATISFIABLE
1800.07/1800.65 v x1000 x999 -x998 -x997 -x996 x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.07/1800.65 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.07/1800.65 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.07/1800.65 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.07/1800.65 v -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.07/1800.65 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.07/1800.65 v x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1800.07/1800.65 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.07/1800.65 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1800.07/1800.65 v -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1800.07/1800.65 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769
1800.07/1800.65 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748
1800.07/1800.65 v -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1800.07/1800.65 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1800.07/1800.65 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1800.07/1800.65 v -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664
1800.07/1800.65 v -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1800.07/1800.65 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1800.07/1800.65 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601
1800.07/1800.65 v -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580
1800.07/1800.65 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1800.07/1800.65 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538
1800.07/1800.65 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517
1800.07/1800.65 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1800.07/1800.65 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1800.07/1800.65 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1800.07/1800.65 v -x453 -x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433
1800.07/1800.65 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412
1800.07/1800.65 v -x411 -x410 -x409 x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1800.07/1800.65 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369
1800.07/1800.65 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1800.07/1800.65 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1800.07/1800.65 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1800.07/1800.65 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1800.07/1800.65 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1800.07/1800.65 v -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
1800.07/1800.65 v -x242 x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1800.07/1800.65 v -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
1800.07/1800.65 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180
1800.07/1800.65 v -x179 -x178 x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 x163 -x162 -x161 -x160 x159 -x158
1800.07/1800.65 v -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1800.07/1800.65 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116
1800.07/1800.65 v -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94
1800.07/1800.65 v x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 x72 -x71 x70 -x69 -x68
1800.07/1800.65 v -x67 -x66 -x65 x64 x63 x62 x61 -x60 -x59 -x58 -x57 x56 x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 x41
1800.07/1800.65 v -x40 x39 -x38 -x37 -x36 -x35 x34 x33 x32 x31 x30 -x29 -x28 x27 -x26 -x25 x24 -x23 x22 -x21 x20 x19 -x18 x17 -x16 x15 x14 x13
1800.07/1800.65 v x12 x11 -x10 x9 -x8 -x7 x6 x5 x4 x3 x2 x1
1800.07/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.65 c Solving Time : 1757.49
1800.07/1800.65 c Original Problem :
1800.07/1800.65 c Problem name : HOME/instance-2665234-1276660067.opb
1800.07/1800.65 c Variables : 16796 (16796 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.65 c Constraints : 16796 initial, 16796 maximal
1800.07/1800.65 c Presolved Problem :
1800.07/1800.65 c Problem name : t_HOME/instance-2665234-1276660067.opb
1800.07/1800.65 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.65 c Constraints : 15796 initial, 15802 maximal
1800.07/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c probing : 0.10 0 0 0 0 0 0 0 0
1800.07/1800.65 c linear : 0.10 15796 0 0 15796 0 1000 0 0
1800.07/1800.65 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.07/1800.65 c root node : - 0 - - 0 - - - -
1800.07/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.65 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.65 c logicor : 15796+ 199 2705274 0 0 9052 3820039 18145 0 0
1800.07/1800.65 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.65 c integral : 45.75 0.00 0.00 45.75 0.00
1800.07/1800.65 c logicor : 53.65 0.73 52.92 0.00 0.00
1800.07/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.65 c vbounds : 2.45 2 0 0
1800.07/1800.65 c rootredcost : 2.17 0 0 0
1800.07/1800.65 c pseudoobj : 366.91 4733187 1130140 5011895
1800.07/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.65 c propagation : 9.65 9052 4000 4000 74.6 0 0.0 -
1800.07/1800.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c pseudo solution : 312.42 205818 0 0 0.0 0 0.0 -
1800.07/1800.65 c applied globally : - - - 4000 74.6 - - -
1800.07/1800.65 c applied locally : - - - 0 0.0 - - -
1800.07/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.65 c cut pool : 2.20 198 - - 5198 - (maximal pool size: 14115)
1800.07/1800.65 c redcost : 0.02 199 0 0 0 0
1800.07/1800.65 c impliedbounds : 0.40 198 0 0 24290 0
1800.07/1800.65 c intobj : 0.00 0 0 0 0 0
1800.07/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.65 c gomory : 455.58 196 0 0 66224 0
1800.07/1800.65 c strongcg : 1.56 20 0 0 10000 0
1800.07/1800.65 c cmir : 1.75 10 0 0 0 0
1800.07/1800.65 c flowcover : 1.50 10 0 0 0 0
1800.07/1800.65 c clique : 7.17 196 0 0 1619 0
1800.07/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.65 c mcf : 0.02 1 0 0 0 0
1800.07/1800.65 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.65 c Pricers : Time Calls Vars
1800.07/1800.65 c problem variables: 0.00 0 0
1800.07/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.65 c relpscost : 45.75 1 0 0 0 0 2
1800.07/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.65 c inference : 16.88 1351725 0 0 0 0 2703450
1800.07/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.65 c random : 0.00 0 0 0 0 0 0
1800.07/1800.65 c Primal Heuristics : Time Calls Found
1800.07/1800.65 c LP solutions : 0.00 - 0
1800.07/1800.65 c pseudo solutions : 0.00 - 0
1800.07/1800.65 c crossover : 0.00 0 0
1800.07/1800.65 c oneopt : 1.66 2 1
1800.07/1800.65 c trivial : 0.04 2 2
1800.07/1800.65 c simplerounding : 0.25 199 38
1800.07/1800.65 c zirounding : 0.00 1 0
1800.07/1800.65 c rounding : 12.58 199 1
1800.07/1800.65 c shifting : 13.04 199 1
1800.07/1800.65 c intshifting : 0.00 0 0
1800.07/1800.65 c twoopt : 0.00 0 0
1800.07/1800.65 c fixandinfer : 0.00 0 0
1800.07/1800.65 c feaspump : 0.00 0 0
1800.07/1800.65 c coefdiving : 0.00 0 0
1800.07/1800.65 c pscostdiving : 0.00 0 0
1800.07/1800.65 c fracdiving : 0.00 0 0
1800.07/1800.65 c veclendiving : 0.00 0 0
1800.07/1800.65 c intdiving : 0.00 0 0
1800.07/1800.65 c actconsdiving : 0.00 0 0
1800.07/1800.65 c objpscostdiving : 0.00 0 0
1800.07/1800.65 c rootsoldiving : 0.00 0 0
1800.07/1800.65 c linesearchdiving : 0.00 0 0
1800.07/1800.65 c guideddiving : 0.00 0 0
1800.07/1800.65 c octane : 0.00 0 0
1800.07/1800.65 c rens : 0.01 0 0
1800.07/1800.65 c rins : 0.00 0 0
1800.07/1800.65 c localbranching : 0.00 0 0
1800.07/1800.65 c mutation : 0.00 0 0
1800.07/1800.65 c dins : 0.00 0 0
1800.07/1800.65 c undercover : 0.00 0 0
1800.07/1800.65 c nlp : 1.45 0 0
1800.07/1800.65 c trysol : 1.28 0 0
1800.07/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.65 c primal LP : 0.28 0 0 0.00 0.00
1800.07/1800.65 c dual LP : 329.00 199 275704 1385.45 838.01
1800.07/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.65 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.65 c strong branching : 45.75 37 34010 919.19 743.39
1800.07/1800.65 c (at root node) : - 37 34010 919.19 -
1800.07/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.65 c B&B Tree :
1800.07/1800.65 c number of runs : 1
1800.07/1800.65 c nodes : 2694448
1800.07/1800.65 c nodes (total) : 2694448
1800.07/1800.65 c nodes left : 63
1800.07/1800.65 c max depth : 93
1800.07/1800.65 c max depth (total): 93
1800.07/1800.65 c backtracks : 657532 (24.4%)
1800.07/1800.65 c delayed cutoffs : 2701
1800.07/1800.65 c repropagations : 3159 (17146 domain reductions, 2288 cutoffs)
1800.07/1800.65 c avg switch length: 2.00
1800.07/1800.65 c switching time : 47.23
1800.07/1800.65 c Solution :
1800.07/1800.65 c Solutions found : 43 (4 improvements)
1800.07/1800.65 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.16 seconds, depth 0, found by <trivial>)
1800.07/1800.65 c Primal Bound : -9.80000000000000e+01 (in run 1, after 1 nodes, 1.76 seconds, depth 0, found by <oneopt>)
1800.07/1800.65 c Dual Bound : -3.22469358192913e+02
1800.07/1800.65 c Gap : 69.61 %
1800.07/1800.65 c Root Dual Bound : -3.22666666666666e+02
1800.07/1800.65 c Root Iterations : 275704
1800.17/1800.79 c Time complete: 1800.26.